Showing 1–9 of 9 results for author: Grebennikov, A

Geometric Littlewood-Offord problems via lattice point counting

Authors: Alexandr Grebennikov, Matthew Kwan

Abstract: Consider nonzero vectors $a_{1},\dots,a_{n}\in\mathbb{C}^{k}$, independent Rademacher random variables $ξ_{1},\dots,ξ_{n}$, and a set $S\subseteq\mathbb{C}^{k}$. What upper bounds can we prove on the probability that the random sum $ξ_{1}a_{1}+\dots+ξ_{n}a_{n}$ lies in $S$? We develop a general framework that allows us to reduce problems of this type to counting lattice points in $S$. We apply thi… ▽ More Consider nonzero vectors $a_{1},\dots,a_{n}\in\mathbb{C}^{k}$, independent Rademacher random variables $ξ_{1},\dots,ξ_{n}$, and a set $S\subseteq\mathbb{C}^{k}$. What upper bounds can we prove on the probability that the random sum $ξ_{1}a_{1}+\dots+ξ_{n}a_{n}$ lies in $S$? We develop a general framework that allows us to reduce problems of this type to counting lattice points in $S$. We apply this framework with known results from diophantine geometry to prove various bounds when $S$ is a set of points in convex position, an algebraic variety, or a semialgebraic set. In particular, this resolves conjectures of Fox-Kwan-Spink and Kwan-Sauermann. We also obtain some corollaries for the polynomial Littlewood-Offord problem, for polynomials that have bounded Chow rank (i.e., can be written as a polynomial of a bounded number of linear forms). For example, one of our results confirms a conjecture of Nguyen and Vu in the special case of polynomials with bounded Chow rank: if a bounded-degree polynomial $F\in\mathbb{C}[x_{1},\dots,x_{n}]$ has bounded Chow rank and ''robustly depends on at least $b$ of its variables'', then $\mathbb{P}[F(ξ_{1},\dots,ξ_{n})=0]\le O(1/\sqrt{b})$. We also prove significantly stronger bounds when $F$ is ''robustly irreducible'', towards a conjecture of Costello. △ Less

Submitted 30 May, 2025; originally announced May 2025.

On almost Gallai colourings in complete graphs

Authors: Alexandr Grebennikov, Letícia Mattos, Tibor Szabó

Abstract: For $t \in \mathbb{N}$, we say that a colouring of $E(K_n)$ is $\textit{almost}$ $t$-$\textit{Gallai}$ if no two rainbow $t$-cliques share an edge. Motivated by a lemma of Berkowitz on bounding the modulus of the characteristic function of clique counts in random graphs, we study the maximum number $τ_t(n)$ of rainbow $t$-cliques in an almost $t$-Gallai colouring of $E(K_n)$. For every $t \ge 4$,… ▽ More For $t \in \mathbb{N}$, we say that a colouring of $E(K_n)$ is $\textit{almost}$ $t$-$\textit{Gallai}$ if no two rainbow $t$-cliques share an edge. Motivated by a lemma of Berkowitz on bounding the modulus of the characteristic function of clique counts in random graphs, we study the maximum number $τ_t(n)$ of rainbow $t$-cliques in an almost $t$-Gallai colouring of $E(K_n)$. For every $t \ge 4$, we show that $n^{2-o(1)} \leq τ_t(n) = o(n^2)$. For $t=3$, surprisingly, the behaviour is substantially different. Our main result establishes that $$\left ( \frac{1}{2}-o(1) \right ) n\log n \le τ_3(n) = O\big (n^{\sqrt{2}}\log n \big ),$$ which gives the first non-trivial improvements over the simple lower and upper bounds. Our proof combines various applications of the probabilistic method and a generalisation of the edge-isoperimetric inequality for the hypercube. △ Less

Submitted 24 March, 2025; v1 submitted 21 March, 2025; originally announced March 2025.

Comments: 23 pages

$C_{10}$ has positive Turán density in the hypercube

Authors: Alexandr Grebennikov, João Pedro Marciano

Abstract: The $n$-dimensional hypercube $Q_n$ is a graph with vertex set $\{0,1\}^n$ such that there is an edge between two vertices if and only if they differ in exactly one coordinate. For any graph $H$, define $\text{ex}(Q_n,H)$ to be the maximum number of edges of a subgraph of $Q_n$ without a copy of $H$. In this short note, we prove that for any $n \in \mathbb{N}$… ▽ More The $n$-dimensional hypercube $Q_n$ is a graph with vertex set $\{0,1\}^n$ such that there is an edge between two vertices if and only if they differ in exactly one coordinate. For any graph $H$, define $\text{ex}(Q_n,H)$ to be the maximum number of edges of a subgraph of $Q_n$ without a copy of $H$. In this short note, we prove that for any $n \in \mathbb{N}$ $$\text{ex}(Q_n, C_{10}) > 0.024 \cdot e(Q_n).$$ Our construction is strongly inspired by the recent breakthrough work of Ellis, Ivan, and Leader, who showed that "daisy" hypergraphs have positive Turán density with an extremely clever and simple linear-algebraic argument. △ Less

Submitted 6 January, 2025; v1 submitted 29 February, 2024; originally announced February 2024.

Comments: 6 pages

Multiplicities in the length spectrum and growth rate of Salem numbers

Authors: Alexandr Grebennikov

Abstract: We prove that mean multiplicities in the length spectrum of a non-compact arithmetic hyperbolic orbifold of dimension $n \geqslant 4$ have exponential growth rate $$ \langle g(L) \rangle \geqslant c \frac{e^{([n/2] - 1)L}}{L^{1 + δ_{5, 7}(n) }}, $$ extending the analogous result for even dimensions of Belolipetsky, Lalín, Murillo and Thompson. Our proof is based on the study of (square-rootable) S… ▽ More We prove that mean multiplicities in the length spectrum of a non-compact arithmetic hyperbolic orbifold of dimension $n \geqslant 4$ have exponential growth rate $$ \langle g(L) \rangle \geqslant c \frac{e^{([n/2] - 1)L}}{L^{1 + δ_{5, 7}(n) }}, $$ extending the analogous result for even dimensions of Belolipetsky, Lalín, Murillo and Thompson. Our proof is based on the study of (square-rootable) Salem numbers. As a counterpart, we also prove an asymptotic formula for the distribution of square-rootable Salem numbers by adapting the argument of Götze and Gusakova. It shows that one can not obtain a better estimate on mean multiplicities using our approach. △ Less

Submitted 1 July, 2024; v1 submitted 5 September, 2023; originally announced September 2023.

Comments: v3: 20 pages, final version; more detailed, used as Master's thesis. v2: 18 pages, journal version; introduction expanded, statements of the main results slightly modified, other minor corrections

MSC Class: 11F06; 11K16; 20H10

Journal ref: Bulletin of the Brazilian Mathematical Society, New Series, volume 55, article number 25 (2024)

Non-surjective Milnor patching diagrams

Authors: Alexandr Grebennikov

Abstract: Milnor patching diagram is essentially the commutative square of rings, over which gluing of finitely generated projective modules is possible in the strongest sense. Necessary and sufficient conditions for a square to be Milnor patching diagram were studied by Milnor, Beauville-Laszlo and Landsburg. We relate this question to determinant-induced factorization in matrix rings to construct a series… ▽ More Milnor patching diagram is essentially the commutative square of rings, over which gluing of finitely generated projective modules is possible in the strongest sense. Necessary and sufficient conditions for a square to be Milnor patching diagram were studied by Milnor, Beauville-Laszlo and Landsburg. We relate this question to determinant-induced factorization in matrix rings to construct a series of non-surjective Milnor patching diagrams, settling the question of Landsburg, and make a step towards the classification of such examples. Also we consider a possible generalization of the notion of Milnor patching diagram to arbitrary subcategories of modules and obtain a classification result for this setting. △ Less

Submitted 19 June, 2023; originally announced June 2023.

Comments: 13 pages

MSC Class: 13C60; 13C10

On the sequence $n! \bmod p$

Authors: A. Grebennikov, A. Sagdeev, A. Semchankau, A. Vasilevskii

Abstract: We prove, that the sequence $1!, 2!, 3!, \dots$ produces at least $(\sqrt{2} + o(1))\sqrt{p}$ distinct residues modulo prime $p$. Moreover, factorials on an interval $\mathcal{I} \subseteq \{0, 1, \dots, p - 1\}$ of length $N > p^{7/8 + \varepsilon}$ produce at least $(1 + o(1))\sqrt{p}$ distinct residues modulo $p$. As a corollary, we prove that every non-zero residue class can be expressed as a… ▽ More We prove, that the sequence $1!, 2!, 3!, \dots$ produces at least $(\sqrt{2} + o(1))\sqrt{p}$ distinct residues modulo prime $p$. Moreover, factorials on an interval $\mathcal{I} \subseteq \{0, 1, \dots, p - 1\}$ of length $N > p^{7/8 + \varepsilon}$ produce at least $(1 + o(1))\sqrt{p}$ distinct residues modulo $p$. As a corollary, we prove that every non-zero residue class can be expressed as a product of seven factorials $n_1! \dots n_7!$ modulo $p$, where $n_i = O(p^{6/7+\varepsilon})$ for all $i=1,\dots,7$, which provides a polynomial improvement upon the preceding results. △ Less

Submitted 20 February, 2023; v1 submitted 3 April, 2022; originally announced April 2022.

Comments: 10 pages

MSC Class: 11N56; 11L03; 11B65

Journal ref: Revista Matemática Iberoamericana, 2024, Vol. 40, No. 2, pp. 637--648

A note on the concurrent normal conjecture

Authors: A. Grebennikov, G. Panina

Abstract: It is conjectured since long that for any convex body $K \in \mathbb{R}^n$ there exists a point in the interior of $K$ which belongs to at least $2n$ normals from different points on the boundary of $K$. The conjecture is known to be true for $n=2,3,4$. Motivated by a recent preprint of Y. Martinez-Maure, we give a short proof of his result: for dimension $n\geq 3$, under mild conditions, almost e… ▽ More It is conjectured since long that for any convex body $K \in \mathbb{R}^n$ there exists a point in the interior of $K$ which belongs to at least $2n$ normals from different points on the boundary of $K$. The conjecture is known to be true for $n=2,3,4$. Motivated by a recent preprint of Y. Martinez-Maure, we give a short proof of his result: for dimension $n\geq 3$, under mild conditions, almost every normal through a boundary point to a smooth convex body $K\in \mathbb{R}^n$ contains an intersection point of at least $6$ normals from different points on the boundary of $K$. △ Less

Submitted 8 February, 2022; v1 submitted 3 February, 2022; originally announced February 2022.

Journal ref: Acta Mathematica Hungarica, volume 167, pages 529-532 (2022)

Logarithmic algorithms for fair division problems

Authors: Alexandr Grebennikov, Xenia Isaeva, Andrei V. Malyutin, Mikhail Mikhailov, Oleg R. Musin

Abstract: We study the algorithmic complexity of fair division problems with a focus on minimizing the number of queries needed to find an approximate solution with desired accuracy. We show for several classes of fair division problems that under certain natural conditions on sets of preferences, a logarithmic number of queries with respect to accuracy is sufficient. We study the algorithmic complexity of fair division problems with a focus on minimizing the number of queries needed to find an approximate solution with desired accuracy. We show for several classes of fair division problems that under certain natural conditions on sets of preferences, a logarithmic number of queries with respect to accuracy is sufficient. △ Less

Submitted 15 November, 2023; v1 submitted 27 December, 2021; originally announced December 2021.

Comments: 13 pages, 6 figures

On the palindromic Hosoya polynomial of trees

Authors: Dmitry Badulin, Alexandr Grebennikov, Konstantin Vorob'ev

Abstract: A graph $G$ on $n$ vertices of diameter $D$ is called $H$-palindromic if $α(G,k) = α(G,D-k)$ for all $k=0, 1, \dots, \left \lfloor{\frac{D}{2}}\right \rfloor$, where $α(G,k)$ is the number of unordered pairs of vertices at distance $k$. Quantities $α(G,k)$ form coefficients of the Hosoya polynomial. In 1999, Caporossi, Dobrynin, Gutman and Hansen showed that there are exactly five $H$-palindromic… ▽ More A graph $G$ on $n$ vertices of diameter $D$ is called $H$-palindromic if $α(G,k) = α(G,D-k)$ for all $k=0, 1, \dots, \left \lfloor{\frac{D}{2}}\right \rfloor$, where $α(G,k)$ is the number of unordered pairs of vertices at distance $k$. Quantities $α(G,k)$ form coefficients of the Hosoya polynomial. In 1999, Caporossi, Dobrynin, Gutman and Hansen showed that there are exactly five $H$-palindromic trees of even diameter and conjectured that there are no such trees of odd diameter. We prove this conjecture for bipartite graphs. An infinite family of $H$-palindromic trees of diameter $6$ is also constructed. △ Less

Submitted 21 December, 2021; originally announced December 2021.

Comments: 5 pages, 1 figure, 2 tables

MSC Class: 05C09