-
On the rank of the communication matrix for deterministic two-way finite automata
Authors:
Semyon Petrov,
Fedor Petrov,
Alexander Okhotin
Abstract:
The communication matrix for two-way deterministic finite automata (2DFA) with $n$ states is defined for an automaton over a full alphabet of all $(2n+1)^n$ possible symbols: its rows and columns are indexed by strings, and the entry $(u, v)$ is $1$ if $uv$ is accepted by the automaton, and $0$ otherwise. With duplicate rows and columns removed, this is a square matrix of order $n(n^n-(n-1)^n)+1$,…
▽ More
The communication matrix for two-way deterministic finite automata (2DFA) with $n$ states is defined for an automaton over a full alphabet of all $(2n+1)^n$ possible symbols: its rows and columns are indexed by strings, and the entry $(u, v)$ is $1$ if $uv$ is accepted by the automaton, and $0$ otherwise. With duplicate rows and columns removed, this is a square matrix of order $n(n^n-(n-1)^n)+1$, and its rank is known to be a lower bound on the number of states necessary to transform an $n$-state 2DFA to a one-way unambiguous finite automaton (UFA). This paper determines this rank, showing that it is exactly $f(n)=\sum_{k=1}^n \binom{n}{k-1} \binom{n}{k} \binom{2k-2}{k-1} =(1+o(1)) \frac{3\sqrt{3}}{8πn} 9^n$, and this function becomes the new lower bound on the state complexity of the 2DFA to UFA transformation, thus improving a recent lower bound by S. Petrov and Okhotin (``On the transformation of two-way deterministic finite automata to unambiguous finite automata'', Inf. Comput., 2023). The key element of the proof is determining the rank of a $k! \times k!$ submatrix, with its rows and columns indexed by permutations, where the entry $(π, σ)$ is $1$ if $σ\circ π$ is a cycle of length $k$, and 0 otherwise; using the methods of group representation theory it is shown that its rank is exactly $\binom{2k-2}{k-1}$, and this implies the above formula for $f(n)$.
△ Less
Submitted 10 December, 2023;
originally announced December 2023.
-
Tight lower bound on $|A+λA|$ for algebraic integer $λ$
Authors:
D. Krachun,
F. Petrov
Abstract:
We prove an asymptotically tight lower bound on $|A+λA|$ for $A\subset \mathbb{C}$ and algebraic integer $λ$. The proof combines strong version of Freiman's theorem, structural theorem on dense subsets of a hypercubic lattice and a generalisation of the continuous result on tight bound for the measure of $K+τK$ for a compact subset $K\subset \mathbb{R}^d$ of unit Lebesgue measure and a fixed linea…
▽ More
We prove an asymptotically tight lower bound on $|A+λA|$ for $A\subset \mathbb{C}$ and algebraic integer $λ$. The proof combines strong version of Freiman's theorem, structural theorem on dense subsets of a hypercubic lattice and a generalisation of the continuous result on tight bound for the measure of $K+τK$ for a compact subset $K\subset \mathbb{R}^d$ of unit Lebesgue measure and a fixed linear operator $τ\colon\mathbb{R}^d\to \mathbb{R}^d$, obtained in our previous work.
△ Less
Submitted 15 November, 2023;
originally announced November 2023.
-
Branching points in the planar Gilbert--Steiner problem have degree 3
Authors:
Danila Cherkashin,
Fedor Petrov
Abstract:
Gilbert--Steiner problem is a generalization of the Steiner tree problem on a specific optimal mass transportation.
We show that every branching point in a solution of the planar Gilbert--Steiner problem has degree 3.
Gilbert--Steiner problem is a generalization of the Steiner tree problem on a specific optimal mass transportation.
We show that every branching point in a solution of the planar Gilbert--Steiner problem has degree 3.
△ Less
Submitted 22 December, 2023; v1 submitted 8 September, 2023;
originally announced September 2023.
-
Limit spectral measures of matrix distributions of metric triples
Authors:
A. Vershik,
F. Petrov
Abstract:
A notion of the limit spectral measure of a metric triple (i.e., a metric measure space) is defined. If the metric is square integrable, then the limit spectral measure is deterministic and coinsides with the spectrum of the integral operator in $L^2(μ)$ with kernel $ρ$. We construct an example in which there is no deterministic spectral measure.
A notion of the limit spectral measure of a metric triple (i.e., a metric measure space) is defined. If the metric is square integrable, then the limit spectral measure is deterministic and coinsides with the spectrum of the integral operator in $L^2(μ)$ with kernel $ρ$. We construct an example in which there is no deterministic spectral measure.
△ Less
Submitted 26 June, 2023;
originally announced June 2023.
-
Classification of integral modular data up to rank 13
Authors:
Max A. Alekseyev,
Winfried Bruns,
Sebastien Palcoux,
Fedor V. Petrov
Abstract:
This paper classifies all modular data of integral modular fusion categories up to rank 13. Furthermore, it also classifies all integral half-Frobenius fusion rings up to rank 12. We find that each perfect integral modular fusion category up to rank 13, as well as every perfect integral half-Frobenius fusion ring up to rank 12, is trivial. We have also refined the non-pointed odd-dimensional modul…
▽ More
This paper classifies all modular data of integral modular fusion categories up to rank 13. Furthermore, it also classifies all integral half-Frobenius fusion rings up to rank 12. We find that each perfect integral modular fusion category up to rank 13, as well as every perfect integral half-Frobenius fusion ring up to rank 12, is trivial. We have also refined the non-pointed odd-dimensional modular data at ranks below 25 to three items, all of rank 17, FPdim 225, and type [[1,3],[3,8],[5,6]], filling gaps in the literature. For rank 25, we have narrowed down the perfect case to 3 types.
Our initial key insight is that the Egyptian fractions, which are typically employed to list possible types, can be chosen with squared denominators. We then develop several type criteria as initial filters. In particular, we establish that the number of distinct basic FPdims in a non-trivial perfect fusion ring must be at least 4. To obtain the fusion rings, we solve the dimension and associativity equations using new features on Normaliz created specifically for this purpose. The S-matrices (if they exist) are obtained by self-transposing the character table, while the T-matrices are derived by solving the Anderson-Moore-Vafa equations. Finally, we verify the extended axioms of modular data.
From rank 13 onward, the types were further restricted by additional properties unique to the modular case, which involved the universal grading, congruence representations of the modular group and Galois action, leading to critical arithmetic constraints. In particular, we get that, up to rank 21, a prime divisor of the global FPdim does not exceed the rank, and more strongly up to rank 15 in the non-pointed case, does not exceed half the rank.
Ultimately, we narrowed down the classification at rank 14 to 35 possible types, 8 of which are non-perfect.
△ Less
Submitted 30 May, 2024; v1 submitted 3 February, 2023;
originally announced February 2023.
-
Central Measures of Continuous Graded Graphs:\\ the Case of Distinct Frequencies
Authors:
A. Vershik,
F. Petrov
Abstract:
We define a class of continuous graded graphs similar to the graph of Gelfand--Tsetlin patterns, and describe the set of all ergodic central measures of discrete type on the path spaces of such graphs. The main observation is that an ergodic central measure on a subgraph of a Pascal-type graph can often be obtained as the restriction of the standard Bernoulli measure to the path space of the subgr…
▽ More
We define a class of continuous graded graphs similar to the graph of Gelfand--Tsetlin patterns, and describe the set of all ergodic central measures of discrete type on the path spaces of such graphs. The main observation is that an ergodic central measure on a subgraph of a Pascal-type graph can often be obtained as the restriction of the standard Bernoulli measure to the path space of the subgraph. This observation dramatically changes the approach to finding central measures also on discrete graphs, such as the famous Young graph.
The simplest example of this type is given by the theorem on the weak limits of normalized Lebesgue measures on simplices; these are the so-called Cesàro measures, which are concentrated on the sequences with prescribed Cesàro limits (this limit parametrizes the corresponding measure).
More complicated examples are the graphs of continuous Young diagrams with fixed number of rows and the graphs of spectra of infinite Hermitian matrices of finite rank. We prove existence and uniqueness theorems for ergodic central measures and describe their structure. In particular, our results 1) give a new spectral description of the so-called infinite-dimensional Wishart measures~\cite{W}~ -- ergodic unitarily invariant measures of discrete type on the set of infinite Hermitian matrices; 2) describe the structure of continuous analogs of measures on discrete graded graphs.
New problems and connections which appear are to be considered in new publications.
△ Less
Submitted 23 September, 2022;
originally announced September 2022.
-
Asymptotics of Landau--Okhotin function
Authors:
F. Petrov
Abstract:
Landau function $g(n)$ is the maximal possible least common multiple of several positive integers with sum not exceeding $n$. Under additional assumptions that these numbers are the differences of disjoint bi-infinite arithmetic progressions the maximum is denoted $\tilde{g}(n)$, it was introduced by Okhotin. We find a sharp logarithmic asymptotics of $\tilde{g}(n)$.
Landau function $g(n)$ is the maximal possible least common multiple of several positive integers with sum not exceeding $n$. Under additional assumptions that these numbers are the differences of disjoint bi-infinite arithmetic progressions the maximum is denoted $\tilde{g}(n)$, it was introduced by Okhotin. We find a sharp logarithmic asymptotics of $\tilde{g}(n)$.
△ Less
Submitted 15 September, 2022;
originally announced September 2022.
-
On stability of spanning tree degree enumerators
Authors:
Danila Cherkashin,
Fedor Petrov,
Pavel Prozorov
Abstract:
We show that the spanning tree degree enumerator polynomial of a connected graph $G$ is a real stable polynomial if and only if $G$ is distance-hereditary.
We show that the spanning tree degree enumerator polynomial of a connected graph $G$ is a real stable polynomial if and only if $G$ is distance-hereditary.
△ Less
Submitted 6 April, 2023; v1 submitted 9 September, 2022;
originally announced September 2022.
-
A combinatorial proof of the Burdzy-Pitman conjecture
Authors:
Stanisław Cichomski,
Fedor Petrov
Abstract:
We prove a sharp upper bound for the number of high degree differences in bipartite graphs: let $ (U, V, E)$ be a bipartite graph with $U=\{u_1, u_2, \dots, u_n\}$ and $V=\{v_1, v_2, \dots, v_n\}$; for $n\ge k>\frac{n}{2}$ we show that $\sum_{1\le i,j \le n} 1 {\Big\{|\text{deg}(u_i)-\text{deg}(v_j)|\ge k}\Big\} \le 2k(n-k).$ As a direct application we show a slightly stronger, probabilistic versi…
▽ More
We prove a sharp upper bound for the number of high degree differences in bipartite graphs: let $ (U, V, E)$ be a bipartite graph with $U=\{u_1, u_2, \dots, u_n\}$ and $V=\{v_1, v_2, \dots, v_n\}$; for $n\ge k>\frac{n}{2}$ we show that $\sum_{1\le i,j \le n} 1 {\Big\{|\text{deg}(u_i)-\text{deg}(v_j)|\ge k}\Big\} \le 2k(n-k).$ As a direct application we show a slightly stronger, probabilistic version of this theorem and thus confirm the Burdzy-Pitman conjecture about the maximal spread of coherent and independent distributions.
△ Less
Submitted 14 April, 2022;
originally announced April 2022.
-
Influence of Temporal Variations in Plasma Conditions on the Electric Potential Near Self-Organized Dust Chains
Authors:
Katrina Vermillion,
Dustin L. Sanford,
Lorin S. Matthews,
Peter Hartmann,
Marlene Rosenberg,
Evdokiya Kostadinova,
Jorge Carmona-Reyes,
Truell Hyde,
Andrey M. Lipaev,
Alexandr D. Usachev,
Andrey V. Zobnin,
Oleg F. Petrov,
Markus H. Thoma,
Mikhail Y. Pustilnik,
Hubertus M. Thomas,
Alexey Ovchinin
Abstract:
The self-organization of dust grains into stable filamentary dust structures (or "chains") largely depends on dynamic interactions between the individual charged dust grains and the complex electric potential arising from the distribution of charges within the local plasma environment. Recent studies have shown that the positive column of the gas discharge plasma in the Plasmakristall-4 (PK-4) exp…
▽ More
The self-organization of dust grains into stable filamentary dust structures (or "chains") largely depends on dynamic interactions between the individual charged dust grains and the complex electric potential arising from the distribution of charges within the local plasma environment. Recent studies have shown that the positive column of the gas discharge plasma in the Plasmakristall-4 (PK-4) experiment onboard the International Space Station (ISS) supports the presence of fast-moving ionization waves, which lead to variations of plasma parameters by up to an order of magnitude from the average background values. The highly-variable environment resulting from ionization waves may have interesting implications for the dynamics and self-organization of dust particles, particularly concerning the formation and stability of dust chains. Here we investigate the electric potential surrounding dust chains in the PK-4 by employing a molecular dynamics model of the dust and ions with boundary conditions supplied by a Particle-in-Cell with Monte Carlo collisions (PIC-MCC) simulation of the ionization waves. The model is used to examine the effects of the plasma conditions within different regions of the ionization wave and compare the resulting dust structure to that obtained by employing the time-averaged plasma conditions. Comparison between simulated dust chains and experimental data from the PK-4 shows that the time-averaged plasma conditions do not accurately reproduce observed results for dust behavior, indicating that more careful treatment of plasma conditions in the presence of ionization waves is required. It is further shown that commonly used analytic forms of the electric potential do not accurately describe the electric potential near charged dust grains under these plasma conditions.
△ Less
Submitted 2 March, 2022; v1 submitted 30 October, 2021;
originally announced November 2021.
-
A generalization of Kruskal's theorem on tensor decomposition
Authors:
Benjamin Lovitz,
Fedor Petrov
Abstract:
Kruskal's theorem states that a sum of product tensors constitutes a unique tensor rank decomposition if the so-called k-ranks of the product tensors are large. We prove a "splitting theorem" for sets of product tensors, in which the k-rank condition of Kruskal's theorem is weakened to the standard notion of rank, and the conclusion of uniqueness is relaxed to the statement that the set of product…
▽ More
Kruskal's theorem states that a sum of product tensors constitutes a unique tensor rank decomposition if the so-called k-ranks of the product tensors are large. We prove a "splitting theorem" for sets of product tensors, in which the k-rank condition of Kruskal's theorem is weakened to the standard notion of rank, and the conclusion of uniqueness is relaxed to the statement that the set of product tensors splits (i.e. is disconnected as a matroid). Our splitting theorem implies a generalization of Kruskal's theorem. While several extensions of Kruskal's theorem are already present in the literature, all of these use Kruskal's original permutation lemma, and hence still cannot certify uniqueness when the k-ranks are below a certain threshold. Our generalization uses a completely new proof technique, contains many of these extensions, and can certify uniqueness below this threshold. We obtain several other useful results on tensor decompositions as consequences of our splitting theorem. We prove sharp lower bounds on tensor rank and Waring rank, which extend Sylvester's matrix rank inequality to tensors. We also prove novel uniqueness results for non-rank tensor decompositions.
△ Less
Submitted 15 September, 2021; v1 submitted 29 March, 2021;
originally announced March 2021.
-
On the size of $A+λA$ for algebraic $λ$
Authors:
Dmitry Krachun,
Fedor Petrov
Abstract:
For a finite set $A\subset \mathbb{R}$ and real $λ$, let $A+λA:=\{a+λb :\, a,b\in A\}$. Combining a structural theorem of Freiman on sets with small doubling constants together with a discrete analogue of Prékopa--Leindler inequality we prove a lower bound $|A+\sqrt{2} A|\geq (1+\sqrt{2})^2|A|-O({|A|}^{1-\varepsilon})$ which is essentially tight. We also formulate a conjecture about the value of…
▽ More
For a finite set $A\subset \mathbb{R}$ and real $λ$, let $A+λA:=\{a+λb :\, a,b\in A\}$. Combining a structural theorem of Freiman on sets with small doubling constants together with a discrete analogue of Prékopa--Leindler inequality we prove a lower bound $|A+\sqrt{2} A|\geq (1+\sqrt{2})^2|A|-O({|A|}^{1-\varepsilon})$ which is essentially tight. We also formulate a conjecture about the value of $\liminf |A+λA|/|A|$ for an arbitrary algebraic $λ$. Finally, we prove a tight lower bound on the Lebesgue measure of $K+\mathcal{T} K$ for a given linear operator $\mathcal{T}\in \operatorname{End}(\mathbb{R}^d)$ and a compact set $K\subset \mathbb{R}^d$ with fixed measure. This continuous result supports the conjecture and yields an upper bound in it.
△ Less
Submitted 30 September, 2020;
originally announced October 2020.
-
Alon -- Tarsi numbers of direct products
Authors:
Alexey Gordeev,
Fedor Petrov
Abstract:
We provide a general framework on the coefficients of the graph polynomials of graphs which are Cartesian products. As a corollary, we prove that if $G=(V,E)$ is a graph with degrees of vertices $2d(v), v\in V$, and the graph polynomial $\prod_{(i,j)\in E} (x_j-x_i)$ contains an "almost central" monomial (that means a monomial $\prod_v x_v^{c_v}$, where $|c_v-d(v)|\leqslant 1$ for all $v\in V$), t…
▽ More
We provide a general framework on the coefficients of the graph polynomials of graphs which are Cartesian products. As a corollary, we prove that if $G=(V,E)$ is a graph with degrees of vertices $2d(v), v\in V$, and the graph polynomial $\prod_{(i,j)\in E} (x_j-x_i)$ contains an "almost central" monomial (that means a monomial $\prod_v x_v^{c_v}$, where $|c_v-d(v)|\leqslant 1$ for all $v\in V$), then the Cartesian product $G\square C_{2n}$ is $(d(\cdot)+2)$-choosable.
△ Less
Submitted 5 February, 2021; v1 submitted 14 July, 2020;
originally announced July 2020.
-
Hidden symmetries of weighted lozenge tilings
Authors:
Igor Pak,
Fedor Petrov
Abstract:
We study the weighted partition function for lozenge tilings, with weights given by multivariate rational functions originally defined by Morales, Pak and Panova (2019) in the context of the factorial Schur functions. We prove that this partition function is symmetric for large families of regions. We employ both combinatorial and algebraic proofs.
We study the weighted partition function for lozenge tilings, with weights given by multivariate rational functions originally defined by Morales, Pak and Panova (2019) in the context of the factorial Schur functions. We prove that this partition function is symmetric for large families of regions. We employ both combinatorial and algebraic proofs.
△ Less
Submitted 9 September, 2020; v1 submitted 31 March, 2020;
originally announced March 2020.
-
Three-dimensional structure of a string-fluid complex plasma
Authors:
M. Y. Pustylnik,
B. Klumov,
M. Rubin-Zuzic,
A. M. Lipaev,
V. Nosenko,
D. Erdle,
A. D. Usachev,
A. V. Zobnin,
V. I. Molotkov,
G. Joyce,
H. M. Thomas,
M. H. Thoma,
O. F. Petrov,
V. E. Fortov,
O. Kononenko
Abstract:
Three-dimensional structure of complex (dusty) plasmas was investigated under long-term microgravity conditions in the International-Space-Station-based Plasmakristall-4 facility. The microparticle suspensions were confined in a polarity-switched dc discharge. The experimental results were compared to the results of the molecular dynamics simulations with the interparticle interaction potential re…
▽ More
Three-dimensional structure of complex (dusty) plasmas was investigated under long-term microgravity conditions in the International-Space-Station-based Plasmakristall-4 facility. The microparticle suspensions were confined in a polarity-switched dc discharge. The experimental results were compared to the results of the molecular dynamics simulations with the interparticle interaction potential represented as a superposition of isotropic Yukawa and anisotropic quadrupole terms. Both simulated and experimental data exhibited qualitatively similar structural features indicating the bulk liquid-like order with the inclusion of solid-like strings aligned with the axial electric field. Individual strings were identified and their size spectrum was calculated. The decay rate of the size spectrum was found to decrease with the enhancement of string-like structural features.
△ Less
Submitted 11 May, 2020; v1 submitted 6 March, 2020;
originally announced March 2020.
-
The bounds for the number of linear extensions via chain and antichain coverings
Authors:
I. A. Bochkov,
F. V. Petrov
Abstract:
Let $(\mathcal{P},\leqslant)$ be a finite poset. Define the numbers $a_1,a_2,\ldots$ (respectively, $c_1,c_2,\ldots$) so that $a_1+\ldots+a_k$ (respectively, $c_1+\ldots+c_k$) is the maximal number of elements of $\mathcal{P}$ which may be covered by $k$ antichains (respectively, $k$ chains.) Then the number $e(\mathcal{P})$ of linear extensions of poset $\mathcal{P}$ is not less than…
▽ More
Let $(\mathcal{P},\leqslant)$ be a finite poset. Define the numbers $a_1,a_2,\ldots$ (respectively, $c_1,c_2,\ldots$) so that $a_1+\ldots+a_k$ (respectively, $c_1+\ldots+c_k$) is the maximal number of elements of $\mathcal{P}$ which may be covered by $k$ antichains (respectively, $k$ chains.) Then the number $e(\mathcal{P})$ of linear extensions of poset $\mathcal{P}$ is not less than $\prod a_i!$ and not more than $n!/\prod c_i!$. A corollary: if $\mathcal{P}$ is partitioned onto disjoint antichains of size $b_1,b_2, \ldots$, then $e(\mathcal{P})\geqslant \prod b_i!$.
△ Less
Submitted 10 January, 2020;
originally announced January 2020.
-
The Alon-Tarsi Number of A Toroidal Grid
Authors:
Zhiguo Li,
Zeling Shao,
Fedor Petrov,
Alexey Gordeev
Abstract:
The Alon-Tarsi number $AT(G)$ of a graph $G$ is the smallest $k$ for which there is an orientation $D$ of $G$ with max indegree $k-1$ such that the number of even and odd circulations contained in D are different. In this paper, we show that the Alon--Tarsi number of toroidal grids $T_{m,n}=C_m\Box C_n$ equals $4$ when $m,n$ are both odd and $3$ otherwise.
The Alon-Tarsi number $AT(G)$ of a graph $G$ is the smallest $k$ for which there is an orientation $D$ of $G$ with max indegree $k-1$ such that the number of even and odd circulations contained in D are different. In this paper, we show that the Alon--Tarsi number of toroidal grids $T_{m,n}=C_m\Box C_n$ equals $4$ when $m,n$ are both odd and $3$ otherwise.
△ Less
Submitted 28 December, 2019;
originally announced December 2019.
-
A remark on sets with few distances in $\mathbb{R}^{d}$
Authors:
Fedor Petrov,
Cosmin Pohoata
Abstract:
A celebrated theorem due to Bannai-Bannai-Stanton says that if $A$ is a set of points in $\mathbb{R}^{d}$, which determines $s$ distinct distances, then $$|A| \leq {d+s \choose s}.$$ In this note, we give a new simple proof of this result by combining Sylvester's Law of Inertia for quadratic forms with the proof of the so-called Croot-Lev-Pach Lemma from additive combinatorics.
A celebrated theorem due to Bannai-Bannai-Stanton says that if $A$ is a set of points in $\mathbb{R}^{d}$, which determines $s$ distinct distances, then $$|A| \leq {d+s \choose s}.$$ In this note, we give a new simple proof of this result by combining Sylvester's Law of Inertia for quadratic forms with the proof of the so-called Croot-Lev-Pach Lemma from additive combinatorics.
△ Less
Submitted 17 December, 2019;
originally announced December 2019.
-
A greedoid and a matroid inspired by Bhargava's $p$-orderings
Authors:
Darij Grinberg,
Fedor Petrov
Abstract:
Consider a finite set $E$. Assume that each $e \in E$ has a "weight" $w \left(e\right) \in \mathbb{R}$ assigned to it, and any two distinct $e, f \in E$ have a "distance" $d \left(e, f\right) = d \left(f, e\right) \in \mathbb{R}$ assigned to them, such that the distances satisfy the ultrametric triangle inequality $d(a,b)\leqslant \max \left\{d(a,c),d(b,c)\right\}$. We look for a subset of $E$ of…
▽ More
Consider a finite set $E$. Assume that each $e \in E$ has a "weight" $w \left(e\right) \in \mathbb{R}$ assigned to it, and any two distinct $e, f \in E$ have a "distance" $d \left(e, f\right) = d \left(f, e\right) \in \mathbb{R}$ assigned to them, such that the distances satisfy the ultrametric triangle inequality $d(a,b)\leqslant \max \left\{d(a,c),d(b,c)\right\}$. We look for a subset of $E$ of given size with maximum perimeter (where the perimeter is defined by summing the weights of all elements and their pairwise distances). We show that any such subset can be found by a greedy algorithm (which starts with the empty set, and then adds new elements one by one, maximizing the perimeter at each step). We use this to define numerical invariants, and also to show that the maximum-perimeter subsets of all sizes form a strong greedoid, and the maximum-perimeter subsets of any given size are the bases of a matroid. This essentially generalizes the "$P$-orderings" constructed by Bhargava in order to define his generalized factorials, and is also similar to the strong greedoid of maximum diversity subsets in phylogenetic trees studied by Moulton, Semple and Steel.
We further discuss some numerical invariants of $E, w, d$ stemming from this construction, as well as an analogue where maximum-perimeter subsets are replaced by maximum-perimeter tuples (i.e., elements can appear multiple times).
△ Less
Submitted 29 March, 2021; v1 submitted 4 September, 2019;
originally announced September 2019.
-
Proof of some conjectures involving quadratic residues
Authors:
Fedor Petrov,
Zhi-Wei Sun
Abstract:
We confirm several conjectures of Sun involving quadratic residues modulo odd primes. For any prime $p\equiv 1\pmod 4$ and integer $a\not\equiv0\pmod p$, we prove that \begin{align*}&(-1)^{|\{1\le k<\frac p4:\ (\frac kp)=-1\}|}\prod_{1\le j<k\le(p-1)/2}(e^{2πiaj^2/p}+e^{2πiak^2/p}) \\=&\begin{cases}1&\text{if}\ p\equiv1\pmod 8,\\\left(\frac ap\right)\varepsilon_p^{-(\frac ap)h(p)}&\text{if}\ p\equ…
▽ More
We confirm several conjectures of Sun involving quadratic residues modulo odd primes. For any prime $p\equiv 1\pmod 4$ and integer $a\not\equiv0\pmod p$, we prove that \begin{align*}&(-1)^{|\{1\le k<\frac p4:\ (\frac kp)=-1\}|}\prod_{1\le j<k\le(p-1)/2}(e^{2πiaj^2/p}+e^{2πiak^2/p}) \\=&\begin{cases}1&\text{if}\ p\equiv1\pmod 8,\\\left(\frac ap\right)\varepsilon_p^{-(\frac ap)h(p)}&\text{if}\ p\equiv5\pmod8,\end{cases} \end{align*} and that \begin{align*}&\left|\left\{(j,k):\ 1\le j<k\le\frac{p-1}2\ \&\ \{aj^2\}_p>\{ak^2\}_p\right\}\right| \\&+\left|\left\{(j,k):\ 1\le j<k\le\frac{p-1}2\ \&\ \{ak^2-aj^2\}_p>\frac p2\right\}\right| \\\equiv&\left|\left\{1\le k<\frac p4:\ \left(\frac kp\right)=\left(\frac ap\right)\right\}\right|\pmod2. \end{align*} where $(\frac{a}p)$ is the Legendre symbol, $\varepsilon_p$ and $h(p)$ are the fundamental unit and the class number of the real quadratic field $\mathbb Q(\sqrt p)$ respectively, and $\{x\}_p$ is the least nonnegative residue of an integer $x$ modulo $p$. Also, for any prime $p\equiv3\pmod4$ and $δ=1,2$, we determine $$(-1)^{\left|\left\{(j,k): \ 1\le j<k\le(p-1)/2\ \text{and}\ \{δT_j\}_p>\{δT_k\}_p\right\}\right|},$$ where $T_m$ denotes the triangular number $m(m+1)/2$.
△ Less
Submitted 12 March, 2020; v1 submitted 30 July, 2019;
originally announced July 2019.
-
Uniqueness of a 3D ellipsoid with given intrinsic volumes
Authors:
Fedor Petrov,
Alexander Tarasov
Abstract:
Let $\mathcal{E}$ be an ellipsoid in $\mathbb{R}^n$. A. Gusakova and D. Zaporozhets conjectured that $\mathcal{E}$ is uniquely (up to rigid motions) determined by its intrinsic volumes. We prove this conjecture for $n = 3$.
Let $\mathcal{E}$ be an ellipsoid in $\mathbb{R}^n$. A. Gusakova and D. Zaporozhets conjectured that $\mathcal{E}$ is uniquely (up to rigid motions) determined by its intrinsic volumes. We prove this conjecture for $n = 3$.
△ Less
Submitted 5 May, 2019;
originally announced May 2019.
-
Hook inequalities
Authors:
Igor Pak,
Fedor Petrov,
Viacheslav Sokolov
Abstract:
We give an elementary proof of the recent hook inequality given in [MPP3]: $\prod_{u\in λ} h(u) \, \le \, \prod_{u\in λ} h^\ast(u),$ where $h(u)$ is the usual hook in Young diagram $λ$, and $h^\ast(i,j)=i+j-1$. We then obtain a large variety of similar inequalities and their high-dimensional generalizations.
We give an elementary proof of the recent hook inequality given in [MPP3]: $\prod_{u\in λ} h(u) \, \le \, \prod_{u\in λ} h^\ast(u),$ where $h(u)$ is the usual hook in Young diagram $λ$, and $h^\ast(i,j)=i+j-1$. We then obtain a large variety of similar inequalities and their high-dimensional generalizations.
△ Less
Submitted 29 March, 2019; v1 submitted 28 March, 2019;
originally announced March 2019.
-
Congruences on sums of $q$-binomial coefficients
Authors:
Ji-Cai Liu,
Fedor Petrov
Abstract:
We establish a $q$-analogue of Sun--Zhao's congruence on harmonic sums. Based on this $q$-congruence and a $q$-series identity, we prove a congruence conjecture on sums of central $q$-binomial coefficients, which was recently proposed by Guo. We also deduce a $q$-analogue of a congruence due to Apagodu and Zeilberger from Guo's $q$-congruence.
We establish a $q$-analogue of Sun--Zhao's congruence on harmonic sums. Based on this $q$-congruence and a $q$-series identity, we prove a congruence conjecture on sums of central $q$-binomial coefficients, which was recently proposed by Guo. We also deduce a $q$-analogue of a congruence due to Apagodu and Zeilberger from Guo's $q$-congruence.
△ Less
Submitted 11 February, 2019;
originally announced February 2019.
-
On a question of Sidorenko
Authors:
D. Cherkashin,
F. Petrov,
V. Sokolov
Abstract:
For a positive integer $n>1$ denote by $ω(n)$ the maximal possible number $k$ of different functions $f_1,\dots,f_k:\mathbb{Z}/n\mathbb{Z}\mapsto \mathbb{Z}/n\mathbb{Z}$ such that each function $f_i-f_j,i<j$, is bijective. Recently A. Sidorenko conjectured that $ω(n)$ equals to the minimal prime divisor of $n$. We disprove it for $n=15,21,27$ by several counterexamples found by computer.
For a positive integer $n>1$ denote by $ω(n)$ the maximal possible number $k$ of different functions $f_1,\dots,f_k:\mathbb{Z}/n\mathbb{Z}\mapsto \mathbb{Z}/n\mathbb{Z}$ such that each function $f_i-f_j,i<j$, is bijective. Recently A. Sidorenko conjectured that $ω(n)$ equals to the minimal prime divisor of $n$. We disprove it for $n=15,21,27$ by several counterexamples found by computer.
△ Less
Submitted 20 December, 2018;
originally announced January 2019.
-
On some determinants involving Jacobi symbols
Authors:
Dmitry Krachun,
Fedor Petrov,
Zhi-Wei Sun,
Maxim Vsemirnov
Abstract:
In this paper we study some conjectures on determinants with Jacobi symbol entries posed by Z.-W. Sun. For any positive integer $n\equiv3\pmod4$, we show that $$(6,1)_n=[6,1]_n=(3,2)_n=[3,2]_n=0$$ and $$(4,2)_n=(8,8)_n=(3,3)_n=(21,112)_n=0$$ as conjectured by Sun, where $$(c,d)_n=\bigg|\left(\frac{i^2+cij+dj^2}n\right)\bigg|_{1\le i,j\le n-1}$$ and…
▽ More
In this paper we study some conjectures on determinants with Jacobi symbol entries posed by Z.-W. Sun. For any positive integer $n\equiv3\pmod4$, we show that $$(6,1)_n=[6,1]_n=(3,2)_n=[3,2]_n=0$$ and $$(4,2)_n=(8,8)_n=(3,3)_n=(21,112)_n=0$$ as conjectured by Sun, where $$(c,d)_n=\bigg|\left(\frac{i^2+cij+dj^2}n\right)\bigg|_{1\le i,j\le n-1}$$ and $$[c,d]_n=\bigg|\left(\frac{i^2+cij+dj^2}n\right)\bigg|_{0\le i,j\le n-1}$$ with $(\frac{\cdot}n)$ the Jacobi symbol. We also prove that $(10,9)_p=0$ for any prime $p\equiv5\pmod{12}$, and $[5,5]_p=0$ for any prime $p\equiv 13,17\pmod{20}$, which were also conjectured by Sun. Our proofs involve character sums over finite fields.
△ Less
Submitted 23 March, 2020; v1 submitted 19 December, 2018;
originally announced December 2018.
-
Regular behaviour of the maximal hypergraph chromatic number
Authors:
Danila Cherkashin,
Fedor Petrov
Abstract:
Let $m(n,r)$ denote the minimal number of edges in an $n$-uniform hypergraph which is not $r$-colorable. It is known that for a fixed $n$ one has \[ c_n r^n < m(n,r) < C_n r^n. \] We prove that for any fixed $n$ the sequence $a_r := m(n,r)/r^n$ has a limit, which was conjectured by Alon. We also prove the list colorings analogue of this statement.
Let $m(n,r)$ denote the minimal number of edges in an $n$-uniform hypergraph which is not $r$-colorable. It is known that for a fixed $n$ one has \[ c_n r^n < m(n,r) < C_n r^n. \] We prove that for any fixed $n$ the sequence $a_r := m(n,r)/r^n$ has a limit, which was conjectured by Alon. We also prove the list colorings analogue of this statement.
△ Less
Submitted 17 August, 2019; v1 submitted 4 August, 2018;
originally announced August 2018.
-
Improved Bounds for Progression-Free Sets in $C_{8}^{n}$
Authors:
Fedor Petrov,
Cosmin Pohoata
Abstract:
Let $G$ be a finite group, and let $r_{3}(G)$ represent the size of the largest subset of $G$ without non-trivial three-term progressions. In a recent breakthrough, Croot, Lev and Pach proved that $r_{3}(C_{4}^{n}) \leqslant (3.61)^{n}$, where $C_{m}$ denotes the cyclic group of order $m$. For finite abelian groups $G \cong \prod_{i=1}^{n} C_{m_{i}}$, where $m_{1},\ldots,m_{n}$ denote positive int…
▽ More
Let $G$ be a finite group, and let $r_{3}(G)$ represent the size of the largest subset of $G$ without non-trivial three-term progressions. In a recent breakthrough, Croot, Lev and Pach proved that $r_{3}(C_{4}^{n}) \leqslant (3.61)^{n}$, where $C_{m}$ denotes the cyclic group of order $m$. For finite abelian groups $G \cong \prod_{i=1}^{n} C_{m_{i}}$, where $m_{1},\ldots,m_{n}$ denote positive integers such that $m_{1} | \ldots | m_{n}$, this also yields a bound of the form $r_{3}(G) \leqslant (0.903)^{\operatorname{rk}_{4}(G)} |G|$, with $\operatorname{rk}_{4}(G)$ representing the number of indices $i \in \left\{1,\ldots,n\right\}$ with $4\ |\ m_{i}$. In particular, $r_{3}(C_{8}^{n}) \leqslant (7.22)^{n}$. In this paper, we provide an exponential improvement for this bound, namely $r_{3}(C_{8}^{n}) \leq (7.09)^{n}$.
△ Less
Submitted 14 May, 2018;
originally announced May 2018.
-
On small $n$-uniform hypergraphs with positive discrepancy
Authors:
Danila Cherkashin,
Fedor Petrov
Abstract:
A two-coloring of the vertices $V$ of the hypergraph $H=(V, E)$ by red and blue has discrepancy $d$ if $d$ is the largest difference between the number of red and blue points in any edge. Let $f(n)$ be the fewest number of edges in an $n$-uniform hypergraph without a coloring with discrepancy $0$. Erdős and Sós asked: is $f(n)$ unbounded?
N. Alon, D. J. Kleitman, C. Pomerance, M. Saks and P. Sey…
▽ More
A two-coloring of the vertices $V$ of the hypergraph $H=(V, E)$ by red and blue has discrepancy $d$ if $d$ is the largest difference between the number of red and blue points in any edge. Let $f(n)$ be the fewest number of edges in an $n$-uniform hypergraph without a coloring with discrepancy $0$. Erdős and Sós asked: is $f(n)$ unbounded?
N. Alon, D. J. Kleitman, C. Pomerance, M. Saks and P. Seymour proved upper and lower bounds in terms of the smallest non-divisor ($\mbox{snd}$) of $n$. We refine the upper bound as follows: $$f (n) \leq c \log \mbox{snd}\ {n}.$$
△ Less
Submitted 3 April, 2019; v1 submitted 17 June, 2017;
originally announced June 2017.
-
Combinatorics of the Lipschitz polytope
Authors:
J. Gordon,
F. Petrov
Abstract:
Let $ρ$ be a metric on the set $X=\{1,2,\dots,n+1\}$. Consider the $n$-dimensional polytope of functions $f:X\rightarrow \mathbb{R}$, which satisfy the conditions $f(n+1)=0$, $|f(x)-f(y)|\leq ρ(x,y)$. The question on classifying metrics depending on the combinatorics of this polytope have been recently posed by A. M. Vershik \cite{V}. We prove that for any "generic" metric the number of $(n-m)$-di…
▽ More
Let $ρ$ be a metric on the set $X=\{1,2,\dots,n+1\}$. Consider the $n$-dimensional polytope of functions $f:X\rightarrow \mathbb{R}$, which satisfy the conditions $f(n+1)=0$, $|f(x)-f(y)|\leq ρ(x,y)$. The question on classifying metrics depending on the combinatorics of this polytope have been recently posed by A. M. Vershik \cite{V}. We prove that for any "generic" metric the number of $(n-m)$-dimensional faces, $0\leq m\leq n$, equals $\binom{n+m}{m,m,n-m}=(n+m)!/m!m!(n-m)!$. This fact is intimately related to regular triangulations of the root polytope (the convex hull of the roots of $A_n$ root system). Also we get two-sided estimates for the logarithm of the number of Vershik classes of metrics: $n^3\log n$ from above and $n^2$ from below.
△ Less
Submitted 24 August, 2016;
originally announced August 2016.
-
Combinatorial results implied by many zero divisors in a group ring
Authors:
Fedor Petrov
Abstract:
It has been recently proved (by Croot, Lev and Pach and the subsequent work by Ellenberg and Gijswijt) that for a group $G=G_0^n$, where $G_0\ne \{1,-1\}^m$ is a fixed finite Abelian group and $n$ is large, any subset $A$ without 3-progressions (triples $x,y,z$ of different elements with $xy=z^2$) contains at most $|G|^{1-c}$ elements, where $c>0$ is a constant depending only on $G_0$. This is kno…
▽ More
It has been recently proved (by Croot, Lev and Pach and the subsequent work by Ellenberg and Gijswijt) that for a group $G=G_0^n$, where $G_0\ne \{1,-1\}^m$ is a fixed finite Abelian group and $n$ is large, any subset $A$ without 3-progressions (triples $x,y,z$ of different elements with $xy=z^2$) contains at most $|G|^{1-c}$ elements, where $c>0$ is a constant depending only on $G_0$. This is known to be false when $G$ is, say, large cyclic group. The aim of this note is to show that algebraic property which corresponds to this difference is the following: in the first case a group algebra $\mathbb{F}[G]$ over suitable field $\mathbb{F}$ contains a subspace $X$ with codimension at most $|X|^{1-c}$ such that $X^3=0$. We discuss which bounds are obtained for finite Abelian $p$-groups and for some matrix $p$-groups: Heisenberg group over $\mathbb{F}_p$ and the unitriangular group over $\mathbb{F}_p$. Also we show how the method works for further generalizations by Kleinberg--Sawin--Speyer and Ellenberg.
△ Less
Submitted 16 April, 2020; v1 submitted 10 June, 2016;
originally announced June 2016.
-
Combinatorial and Probabilistic Formulae for Divided Symmetrization
Authors:
Fedor V. Petrov
Abstract:
Divided symmetrization of a function $f(x_1,\dots,x_n)$ is symmetrization of the ratio $$DS_G(f)=\frac{f(x_1,\dots,x_n)}{\prod (x_i-x_j)},$$ where the product is taken over the set of edges of some graph $G$. We concentrate on the case when $G$ is a tree and $f$ is a polynomial of degree $n-1$, in this case $DS_G(f)$ is a constant function. We give a combinatorial interpretation of the divided sym…
▽ More
Divided symmetrization of a function $f(x_1,\dots,x_n)$ is symmetrization of the ratio $$DS_G(f)=\frac{f(x_1,\dots,x_n)}{\prod (x_i-x_j)},$$ where the product is taken over the set of edges of some graph $G$. We concentrate on the case when $G$ is a tree and $f$ is a polynomial of degree $n-1$, in this case $DS_G(f)$ is a constant function. We give a combinatorial interpretation of the divided symmetrization of monomials for general trees and probabilistic game interpretation for a tree which is a path. In particular, this implies a result by Postnikov originally proved by computing volumes of special polytopes, and suggests its generalization.
△ Less
Submitted 5 August, 2017; v1 submitted 22 December, 2015;
originally announced December 2015.
-
General Parity Result and Cycle-plus-Triangles Graphs
Authors:
Fedor V. Petrov
Abstract:
We generalize a parity result of Fleishner and Stiebitz that being combined with Alon--Tarsi polynomial method allowed them to prove that a 4-regular graph formed by a Hamiltonian cycle and several disjoint triangles is always 3-choosable. Also we present a modification of polynomial method and show how it gives slightly more combinatorial information about colourings than direct application of Al…
▽ More
We generalize a parity result of Fleishner and Stiebitz that being combined with Alon--Tarsi polynomial method allowed them to prove that a 4-regular graph formed by a Hamiltonian cycle and several disjoint triangles is always 3-choosable. Also we present a modification of polynomial method and show how it gives slightly more combinatorial information about colourings than direct application of Alon's Combinatorial Nullstellensatz.
△ Less
Submitted 19 December, 2015;
originally announced December 2015.
-
Restricted Product Sets under Unique Representability
Authors:
Fedor Petrov
Abstract:
We prove some results of Kemperman--Scherk type for restricted product sets in multiplicative groups of fields (in particular, for cyclic groups). The proofs use polynomial method.
We prove some results of Kemperman--Scherk type for restricted product sets in multiplicative groups of fields (in particular, for cyclic groups). The proofs use polynomial method.
△ Less
Submitted 5 December, 2015;
originally announced December 2015.
-
Polynomial Approach to Explicit Formulae for Generalized Binomial Coefficients
Authors:
Fedor Petrov
Abstract:
We extend the polynomial approach to hook length formula proposed in a recent joint paper with Károlyi, Nagy and Volkov to several other problems of the same type, including number of paths formula in the Young graph of strict partitions.
We extend the polynomial approach to hook length formula proposed in a recent joint paper with Károlyi, Nagy and Volkov to several other problems of the same type, including number of paths formula in the Young graph of strict partitions.
△ Less
Submitted 4 April, 2015;
originally announced April 2015.
-
Virtual Continuity of Measurable Functions and Its Applications
Authors:
A. Vershik,
F. Petrov,
P. Zatitskiy
Abstract:
Classical theorem of Luzin states that a measurable function of one real variable is "almost" continuous. For measurable functions of several variables the analogous statement (continuity on the product of sets having almost full measure) does not hold in general. Searching for a right analogue of Luzin theorem leads to a notion of virtually continuous functions of several variables. This probably…
▽ More
Classical theorem of Luzin states that a measurable function of one real variable is "almost" continuous. For measurable functions of several variables the analogous statement (continuity on the product of sets having almost full measure) does not hold in general. Searching for a right analogue of Luzin theorem leads to a notion of virtually continuous functions of several variables. This probably new notion implicitly appears in the statements of embedding theorems and trace theorems for Sobolev spaces. In fact it reveals the nature of such theorems as statements about virtual continuity. Our results imply that under conditions of Sobolev theorems there is a well-defined integration of a function over wide class of singular measures, including the measures concentrated on submanifolds. The notion of virtual continuity is used also for the classification of measurable functions of several variables and in some questions on dynamical systems, theory of polymorphisms and bistochastic measures. In this paper we recall necessary definitions and properties of admissible metrics, give several definitions of virtual continuity and discuss some applications. Revised version (without the proofs) is published in \cite{VZPFA}.
△ Less
Submitted 16 October, 2014; v1 submitted 3 October, 2014;
originally announced October 2014.
-
Bang's problem and symplectic invariants
Authors:
Arseniy Akopyan,
Roman Karasev,
Fedor Petrov
Abstract:
We consider the Tarski--Bang problem about covering of convex bodies by planks. The results of this kind give a lower bound on the sum of widths of planks (regions between a pair of parallel hyperplanes) covering a given convex body.
Previously we have applied some notions of symplectic geometry to study convex bodies, and here we show that the symplectic techniques may be useful in this problem…
▽ More
We consider the Tarski--Bang problem about covering of convex bodies by planks. The results of this kind give a lower bound on the sum of widths of planks (regions between a pair of parallel hyperplanes) covering a given convex body.
Previously we have applied some notions of symplectic geometry to study convex bodies, and here we show that the symplectic techniques may be useful in this problem as well. We are able to handle some particular cases with the symplectic techniques, and show that the general cases would follow from a certain ``subadditivity conjecture'' in symplectic geometry, motivated by the results of K.~Ball. We also prove several related results by more elementary methods.
△ Less
Submitted 29 December, 2019; v1 submitted 3 April, 2014;
originally announced April 2014.
-
A new approach to constant term identities and Selberg-type integrals
Authors:
Gyula Károlyi,
Zoltán Lóránt Nagy,
Fedor Petrov,
Vladislav Volkov
Abstract:
Selberg-type integrals that can be turned into constant term identities for Laurent polynomials arise naturally in conjunction with random matrix models in statistical mechanics. Built on a recent idea of Karasev and Petrov we develop a general interpolation based method that is powerful enough to establish many such identities in a simple manner. The main consequence is the proof of a conjecture…
▽ More
Selberg-type integrals that can be turned into constant term identities for Laurent polynomials arise naturally in conjunction with random matrix models in statistical mechanics. Built on a recent idea of Karasev and Petrov we develop a general interpolation based method that is powerful enough to establish many such identities in a simple manner. The main consequence is the proof of a conjecture of Forrester related to the Calogero--Sutherland model. In fact we prove a more general theorem, which includes Aomoto's constant term identity at the same time. We also demonstrate the relevance of the method in additive combinatorics.
△ Less
Submitted 22 December, 2013;
originally announced December 2013.
-
Combinatorial Nullstellensatz Approach to Polynomial Expanding
Authors:
Fedor Petrov
Abstract:
Applying techniques similar to Combinatorial Nullstellensatz we prove a lower estimate of $|f(A,B)|$ for finite subsets $A$, $B$ of a field, and polynomial $f(x,y)$ of the form $f(x,y)=g(x)+yh(x)$, where degree of $g$ is greater then degree of $h$.
Applying techniques similar to Combinatorial Nullstellensatz we prove a lower estimate of $|f(A,B)|$ for finite subsets $A$, $B$ of a field, and polynomial $f(x,y)$ of the form $f(x,y)=g(x)+yh(x)$, where degree of $g$ is greater then degree of $h$.
△ Less
Submitted 16 September, 2013;
originally announced September 2013.
-
General removal lemma
Authors:
Fedor Petrov
Abstract:
We formulate and prove a general result in spirit of hypergraph removal lemma for measurable functions of several variables.
We formulate and prove a general result in spirit of hypergraph removal lemma for measurable functions of several variables.
△ Less
Submitted 15 September, 2013;
originally announced September 2013.
-
Virtual continuity of the measurable functions of several variables, and Sobolev embedding theorems
Authors:
Anatoly Vershik,
Pavel Zatitskiy,
Fedor Petrov
Abstract:
Classical Luzin's theorem states that the measurable function of one variable is "almost" continuous. This is not so anymore for functions of several variables. The search of right analogue of the Luzin theorem leads to a notion of virtually continuous functions of several variables. This probably new notion appears implicitly in the statements like embeddings theorems and traces theorems for Sobo…
▽ More
Classical Luzin's theorem states that the measurable function of one variable is "almost" continuous. This is not so anymore for functions of several variables. The search of right analogue of the Luzin theorem leads to a notion of virtually continuous functions of several variables. This probably new notion appears implicitly in the statements like embeddings theorems and traces theorems for Sobolev spaces. In fact, it reveals their nature as theorems about virtual continuity. This notion is especially useful for the study and classification of measurable functions, aswell as in some questions on dynamical systems, polymorphisms and bistochastic measures. In this work we recall necessary definitions and properties of admissible metrics, define virtual continuity, describe some of applications. Detailed analysis is to be presented in another paper.
△ Less
Submitted 16 July, 2013; v1 submitted 12 July, 2013;
originally announced July 2013.
-
Particle flows in a dc discharge in laboratory and microgravity conditions
Authors:
S. A. Khrapak,
M. H. Thoma,
M. Chaudhuri,
G. E. Morfill,
A. V. Zobnin,
A. D. Usachev,
O. F. Petrov,
V. E. Fortov
Abstract:
We describe a series of experiments on dust particles flows in a positive column of a horizontal dc discharge operating in laboratory and microgravity conditions. The main observation is that the particle flow velocities in laboratory experiments are systematically higher than in microgravity experiments, for otherwise identical discharge conditions. The paper provides an explanation for this inte…
▽ More
We describe a series of experiments on dust particles flows in a positive column of a horizontal dc discharge operating in laboratory and microgravity conditions. The main observation is that the particle flow velocities in laboratory experiments are systematically higher than in microgravity experiments, for otherwise identical discharge conditions. The paper provides an explanation for this interesting and unexpected observation. The explanation is based on a physical model, which properly takes into account main plasma-particle interaction mechanisms relevant to the described experimental study. Comparison of experimentally measured particle velocities and those calculated using the proposed model demonstrates reasonable agreement, both in laboratory and microgravity conditions, in the entire range of discharge parameters investigated.
△ Less
Submitted 9 April, 2013;
originally announced April 2013.
-
Convex curves and a Poisson imitation of lattices
Authors:
Nick Gravin,
Fedor Petrov,
Sinai Robins,
Dmitry Shiryaev
Abstract:
We solve a randomized version of the following open question: is there a strictly convex, bounded curve γin the plane such that the number of rational points on γ, with denominator $n$, approaches infinity with $n$? Although this natural problem appears to be out of reach using current methods, we consider a probabilistic analogue using a spatial Poisson-process that simulates the refined rational…
▽ More
We solve a randomized version of the following open question: is there a strictly convex, bounded curve γin the plane such that the number of rational points on γ, with denominator $n$, approaches infinity with $n$? Although this natural problem appears to be out of reach using current methods, we consider a probabilistic analogue using a spatial Poisson-process that simulates the refined rational lattice $\frac{1}{d} Z^2$, which we call $M_d$, for each natural number $d$. The main result here is that with probability 1 there exists a strictly convex, bounded curve γsuch that the number of spatial Poisson points on γ, with intensity $d$, approaches infinity with $d$. The methods include the notion of a generalized affine length of a convex curve, defined by Petrov (2007).
△ Less
Submitted 26 November, 2012;
originally announced November 2012.
-
Geometry and Dynamics of Admissible Metrics in Measure Spaces
Authors:
A. Vershik,
F. Petrov,
P. Zatitskiy
Abstract:
We study a wide class of metrics in a Lebesgue space with a standard measure, the class of so-called admissible metrics. We consider the cone of admissible metrics, introduce a special norm in it, prove compactness criteria, define the "-entropy of a measure space with an admissible metric, etc. These notions and related results are applied to the theory of transformations with invariant measure;…
▽ More
We study a wide class of metrics in a Lebesgue space with a standard measure, the class of so-called admissible metrics. We consider the cone of admissible metrics, introduce a special norm in it, prove compactness criteria, define the "-entropy of a measure space with an admissible metric, etc. These notions and related results are applied to the theory of transformations with invariant measure; namely, we study the asymptotic properties of orbits in the cone of admissible metrics with respect to a given transformation or a group of transformations. The main result of this paper is a new discreteness criterion for the spectrum of an ergodic transformation: we prove that the spectrum is discrete if and only if the "-entropy of the averages of some (and hence any) admissible metric over fragments of its trajectory is uniformly bounded.
△ Less
Submitted 25 October, 2012; v1 submitted 5 May, 2012;
originally announced May 2012.
-
Fluid-solid phase transitions in 3D complex plasmas under microgravity conditions
Authors:
S. A. Khrapak,
B. A. Klumov,
P. Huber,
V. I. Molotkov,
A. M. Lipaev,
V. N. Naumkin,
A. V. Ivlev,
H. M. Thomas,
M. Schwabe,
G. E. Morfill,
O. F. Petrov,
V. E. Fortov,
Yu. Malentschenko,
S. Volkov
Abstract:
Phase behavior of large three-dimensional complex plasma systems under microgravity conditions onboard the International Space Station is investigated. The neutral gas pressure is used as a control parameter to trigger phase changes. Detailed analysis of structural properties and evaluation of three different melting/freezing indicators reveal that complex plasmas can exhibit melting by increasing…
▽ More
Phase behavior of large three-dimensional complex plasma systems under microgravity conditions onboard the International Space Station is investigated. The neutral gas pressure is used as a control parameter to trigger phase changes. Detailed analysis of structural properties and evaluation of three different melting/freezing indicators reveal that complex plasmas can exhibit melting by increasing the gas pressure. Theoretical estimates of complex plasma parameters allow us to identify main factors responsible for the observed behavior. The location of phase states of the investigated systems on a relevant equilibrium phase diagram is estimated. Important differences between the melting process of 3D complex plasmas under microgravity conditions and that of flat 2D complex plasma crystals in ground based experiments are discussed.
△ Less
Submitted 19 March, 2012;
originally announced March 2012.
-
On Shirshov bases of graded algebras
Authors:
Fedor Petrov,
Pasha Zusmanovich
Abstract:
We prove that if the neutral component in a finitely-generated associative algebra graded by a finite group has a Shirshov base, then so does the whole algebra.
We prove that if the neutral component in a finitely-generated associative algebra graded by a finite group has a Shirshov base, then so does the whole algebra.
△ Less
Submitted 13 March, 2013; v1 submitted 27 January, 2012;
originally announced January 2012.
-
Correction of metrics
Authors:
F. V. Petrov,
P. B. Zatitskiy
Abstract:
We prove that a symmetric nonnegative function of two variables on a Lebesgue space that satisfies the triangle inequality for almost all triples of points is equivalent to some semimetric. Some other properties of metric triples (spaces with structures of a measure space and a metric space) are discussed.
We prove that a symmetric nonnegative function of two variables on a Lebesgue space that satisfies the triangle inequality for almost all triples of points is equivalent to some semimetric. Some other properties of metric triples (spaces with structures of a measure space and a metric space) are discussed.
△ Less
Submitted 11 December, 2011;
originally announced December 2011.
-
On the interpolation of integer-valued polynomials
Authors:
Fedor Petrov,
Vladislav Volkov
Abstract:
It is well known, that if polynomial with rational coefficients of degree $n$ takes integer values in points $0,1,...,n$ then it takes integer values in all integer points. Are there sets of $n+1$ points with the same property in other integral domains? We show that answer is negative for the ring of Gaussian integers $\mathbb{Z}[i]$ when $n$ is large enough. Also we discuss the question about min…
▽ More
It is well known, that if polynomial with rational coefficients of degree $n$ takes integer values in points $0,1,...,n$ then it takes integer values in all integer points. Are there sets of $n+1$ points with the same property in other integral domains? We show that answer is negative for the ring of Gaussian integers $\mathbb{Z}[i]$ when $n$ is large enough. Also we discuss the question about minimal possible size of set, such that if polynomial takes integer values in all points of this set then it is integer-valued.
△ Less
Submitted 16 August, 2011;
originally announced August 2011.
-
Freezing and melting of 3D complex plasma structures under microgravity conditions driven by neutral gas pressure manipulation
Authors:
S. A. Khrapak,
B. A. Klumov,
P. Huber,
V. I. Molotkov,
A. M. Lipaev,
V. N. Naumkin,
H. M. Thomas,
A. V. Ivlev,
G. E. Morfill,
O. F. Petrov,
V. E. Fortov,
Yu. Malentschenko,
S. Volkov
Abstract:
Freezing and melting of large three-dimensional complex plasmas under microgravity conditions is investigated. The neutral gas pressure is used as a control parameter to trigger the phase changes: Complex plasma freezes (melts) by decreasing (increasing) the pressure. Evolution of complex plasma structural properties upon pressure variation is studied. Theoretical estimates allow us to identify ma…
▽ More
Freezing and melting of large three-dimensional complex plasmas under microgravity conditions is investigated. The neutral gas pressure is used as a control parameter to trigger the phase changes: Complex plasma freezes (melts) by decreasing (increasing) the pressure. Evolution of complex plasma structural properties upon pressure variation is studied. Theoretical estimates allow us to identify main factors responsible for the observed behavior.
△ Less
Submitted 12 April, 2011;
originally announced April 2011.
-
Partitions of nonzero elements of a finite field into pairs
Authors:
R. N. Karasev,
F. V. Petrov
Abstract:
In this paper we prove that the nonzero elements of a finite field with odd characteristic can be partitioned into pairs with prescribed difference (maybe, with some alternatives) in each pair. The algebraic and topological approaches to such problems are considered. We also give some generalizations of these results to packing translates in a finite or infinite field, and give a short proof of a…
▽ More
In this paper we prove that the nonzero elements of a finite field with odd characteristic can be partitioned into pairs with prescribed difference (maybe, with some alternatives) in each pair. The algebraic and topological approaches to such problems are considered. We also give some generalizations of these results to packing translates in a finite or infinite field, and give a short proof of a particular case of the Eliahou--Kervaire--Plaigne theorem about sum-sets.
△ Less
Submitted 11 March, 2011; v1 submitted 7 May, 2010;
originally announced May 2010.
-
Diffusion in a Time-dependent External Field
Authors:
S. A. Trigger,
G. J. F. van Heijst,
O. F. Petrov,
P. P. J. M. Schram
Abstract:
The problem of diffusion in a time-dependent (and generally inhomogeneous) external field is considered on the basis of a generalized master equation with two times, introduced in [1,2]. We consider the case of the quasi Fokker-Planck approximation, when the probability transition function for diffusion (PTD-function) does not possess a long tail in coordinate space and can be expanded as a functi…
▽ More
The problem of diffusion in a time-dependent (and generally inhomogeneous) external field is considered on the basis of a generalized master equation with two times, introduced in [1,2]. We consider the case of the quasi Fokker-Planck approximation, when the probability transition function for diffusion (PTD-function) does not possess a long tail in coordinate space and can be expanded as a function of instantaneous displacements. The more complicated case of long tails in the PTD will be discussed separately. We also discuss diffusion on the basis of hydrodynamic and kinetic equations and show the validity of the phenomenological approach. A new type of "collision" integral is introduced for the description of diffusion in a system of particles, which can transfer from a moving state to the rest state (with some waiting time distribution). The solution of the appropriate kinetic equation in the external field also confirms the phenomenological approach of the generalized master equation.
△ Less
Submitted 8 April, 2010;
originally announced April 2010.