-
CayleyPy RL: Pathfinding and Reinforcement Learning on Cayley Graphs
Authors:
A. Chervov,
A. Soibelman,
S. Lytkin,
I. Kiselev,
S. Fironov,
A. Lukyanenko,
A. Dolgorukova,
A. Ogurtsov,
F. Petrov,
S. Krymskii,
M. Evseev,
L. Grunvald,
D. Gorodkov,
G. Antiufeev,
G. Verbii,
V. Zamkovoy,
L. Cheldieva,
I. Koltsov,
A. Sychev,
M. Obozov,
A. Eliseev,
S. Nikolenko,
N. Narynbaev,
R. Turtayev,
N. Rokotyan
, et al. (9 additional authors not shown)
Abstract:
This paper is the second in a series of studies on developing efficient artificial intelligence-based approaches to pathfinding on extremely large graphs (e.g. $10^{70}$ nodes) with a focus on Cayley graphs and mathematical applications. The open-source CayleyPy project is a central component of our research. The present paper proposes a novel combination of a reinforcement learning approach with…
▽ More
This paper is the second in a series of studies on developing efficient artificial intelligence-based approaches to pathfinding on extremely large graphs (e.g. $10^{70}$ nodes) with a focus on Cayley graphs and mathematical applications. The open-source CayleyPy project is a central component of our research. The present paper proposes a novel combination of a reinforcement learning approach with a more direct diffusion distance approach from the first paper. Our analysis includes benchmarking various choices for the key building blocks of the approach: architectures of the neural network, generators for the random walks and beam search pathfinding. We compared these methods against the classical computer algebra system GAP, demonstrating that they "overcome the GAP" for the considered examples. As a particular mathematical application we examine the Cayley graph of the symmetric group with cyclic shift and transposition generators. We provide strong support for the OEIS-A186783 conjecture that the diameter is equal to n(n-1)/2 by machine learning and mathematical methods. We identify the conjectured longest element and generate its decomposition of the desired length. We prove a diameter lower bound of n(n-1)/2-n/2 and an upper bound of n(n-1)/2+ 3n by presenting the algorithm with given complexity. We also present several conjectures motivated by numerical experiments, including observations on the central limit phenomenon (with growth approximated by a Gumbel distribution), the uniform distribution for the spectrum of the graph, and a numerical study of sorting networks. To stimulate crowdsourcing activity, we create challenges on the Kaggle platform and invite contributions to improve and benchmark approaches on Cayley graph pathfinding and other tasks.
△ Less
Submitted 25 February, 2025;
originally announced February 2025.
-
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 open 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. 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 29 July, 2025; 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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
On possible growth of Toeplitz languages
Authors:
Julien Cassaigne,
Anna Frid,
Fedor Petrov
Abstract:
We consider a new family of factorial languages whose subword complexity grows as $Θ(n^α)$, where $α$ is the root of some transcendent equation. Analytical methods and in particular, a corollary of the Wiener-Pitt theorem, are used to find the asymptotic growth of the complexity. Factorial languages considered are languages of arithmetical factors of some Toeplitz words. So, we describe a new fami…
▽ More
We consider a new family of factorial languages whose subword complexity grows as $Θ(n^α)$, where $α$ is the root of some transcendent equation. Analytical methods and in particular, a corollary of the Wiener-Pitt theorem, are used to find the asymptotic growth of the complexity. Factorial languages considered are languages of arithmetical factors of some Toeplitz words. So, we describe a new family of words with an unusual growth of arithmetical complexity.
△ Less
Submitted 28 December, 2010; v1 submitted 7 March, 2010;
originally announced March 2010.
-
A remark on the Mahler conjecture: local minimality of the unit cube
Authors:
Fedor Nazarov,
Fedor Petrov,
Dmitry Ryabogin,
Artem Zvavitch
Abstract:
We prove that the unit cube $B^n_{\infty}$ is a strict local minimizer for the Mahler volume product $vol_n(K)vol_n(K^*)$ in the class of origin symmetric convex bodies endowed with the Banach-Mazur distance.
We prove that the unit cube $B^n_{\infty}$ is a strict local minimizer for the Mahler volume product $vol_n(K)vol_n(K^*)$ in the class of origin symmetric convex bodies endowed with the Banach-Mazur distance.
△ Less
Submitted 6 May, 2009;
originally announced May 2009.
-
On embeddings of finite metric spaces in $l_\infty^n$
Authors:
Fedor Petrov,
Dmitri Stolyarov,
Pavel Zatitskiy
Abstract:
We prove that for any given integer $c>0$ any metric space on $n$ points may be isometrically embedded into $l_{\infty}^{n-c}$ provided $n$ is large enough.
We prove that for any given integer $c>0$ any metric space on $n$ points may be isometrically embedded into $l_{\infty}^{n-c}$ provided $n$ is large enough.
△ Less
Submitted 25 March, 2009;
originally announced March 2009.
-
Uncountable Graphs and Invariant Measures on the Set of Universal Countable Graphs
Authors:
F. V. Petrov,
A. M. Vershik
Abstract:
We give new examples and describe the complete lists of all measures on the set of countable homogeneous universal graphs and $K_s$-free homogeneous universal graphs (for $s\geq 3$) that are invariant with respect to the group of all permutations of the vertices. Such measures can be regarded as random graphs (respectively, random $K_s$-free graphs). The well-known example of Erdös--Rényi (ER) o…
▽ More
We give new examples and describe the complete lists of all measures on the set of countable homogeneous universal graphs and $K_s$-free homogeneous universal graphs (for $s\geq 3$) that are invariant with respect to the group of all permutations of the vertices. Such measures can be regarded as random graphs (respectively, random $K_s$-free graphs). The well-known example of Erdös--Rényi (ER) of the random graph corresponds to the Bernoulli measure on the set of adjacency matrices. For the case of the universal $K_s$-free graphs there were no previously known examples of the invariant measures on the space of such graphs.
The main idea of our construction is based on the new notions of {\it measurable universal}, and {\it topologically universal} graphs, which are interesting themselves. The realization of the construction can be regarded as two-step randomization for universal measurable graph : {\it "randomization in vertices"} and {\it "randomization in edges"}. For $K_s$-free, $s\geq 3$ there is only randomization in vertices of the measurable graphs. The completeness of our lists is proved using the important theorem by D. Aldous about $S_{\infty}$-invariant matrices, which we reformulate in appropriate way.
△ Less
Submitted 30 June, 2009; v1 submitted 21 April, 2008;
originally announced April 2008.
-
Linearly rigid metric spaces and the embedding problem
Authors:
J. Melleray,
F. V. Petrov,
A. M. Vershik
Abstract:
We consider the problem of isometric embedding of metric spaces to the Banach spaces; and introduce and study the remarkable class of so-called linearly rigid metric spaces: these are the spaces that admit a unique, up to isometry, linearly dense isometric embedding into a Banach space. The first nontrivial example of such a space was given by R. Holmes; he proved that the universal Urysohn spac…
▽ More
We consider the problem of isometric embedding of metric spaces to the Banach spaces; and introduce and study the remarkable class of so-called linearly rigid metric spaces: these are the spaces that admit a unique, up to isometry, linearly dense isometric embedding into a Banach space. The first nontrivial example of such a space was given by R. Holmes; he proved that the universal Urysohn space has this property. We give a criterion of linear rigidity of a metric space, which allows us to give a simple proof of the linear rigidity of the Urysohn space and some other metric spaces. The various properties of linearly rigid spaces and related spaces are considered.
△ Less
Submitted 11 April, 2008; v1 submitted 2 November, 2006;
originally announced November 2006.
