arXiv++ Combinatorics

There are two objectives to this work: to classify all tame integer tilings and to classify all tame integer hypertilings. Motivation for the first objective comes from Conway and Coxeter's modelling of positive integer friezes using triangulated polygons, which has received significant attention since the discovery of cluster algebras by Fomin and Zelevinsky in 2002. Assem, Reutenauer, and Smith introduced $\text{SL}_2$-tilings as generalisations of friezes, and Bessenrodt, Holm, and Jørgensen classified positive integer $\text{SL}_2$-tilings using infinite triangulated polygons. Here we consider $N$-tilings, of which $\text{SL}_2$-tilings are the case $N=1$. We provide a geometric model for all tame integer $N$-tilings using a generalisation of the Farey graph in the hyperbolic plane. Highlights of this model include classifications of all positive integer $N$-tilings and of all positive rational friezes, with entries encoded by lambda lengths or weight data of triangulated polygons. The second objective is motivated by Bhargava's celebrated study of binary quadratic forms using integer cubes and by an observation of Demonet et al. that there is essentially only one three-dimensional positive integer tiling with $\text{SL}_2$ cross sections. We consider a richer class of three-dimensional tilings, which we call hypertilings, using the Cayley hyperdeterminant. We classify all tame integer hypertilings using generalised Farey graphs; remarkably, those with Cayley hyperdeterminant 1 prove to have a simple description in terms of triple Hadamard products of integer pairs.

We study non-additive rank-metric codes contained in the space of symmetric matrices over a finite field. Our main focus is on symmetric $2$-codes. For odd $q$, we introduce a quotient construction for $\mathrm{Sym}_3(q)$ in which rank-one differences are described by isotropic vectors of a nondegenerate quadratic form on $\mathbb F_q^4$. This leads to a correspondence with partial ovoids of the elliptic quadric $Q^-(5,q)$. Using a construction of Cossidente and Pavese, we obtain a non-additive symmetric $2$-code in $\mathrm{Sym}_3(q)$ of cardinality $q^4+2q^3$, improving the previously known general lower bound. We also give an explicit matrix description of this family. Lastly, we present a block-based construction for symmetric $2$-codes that extends the three-dimensional improvement to all odd dimensions. In particular, for every odd $n\geq3$ and every prime power $q>2$, we obtain \begin{equation*} A_q^{\rm sym}(n,2) \ge q^{(n^2-1)/2}+q^{(n^2-3)/2}+q^{(n^2-9)/2}, \end{equation*} which is strictly larger than the maximum cardinality of an additive symmetric $2$-code with the same parameters. This yields the first infinite family (as the matrix dimension $n$ varies) of non-additive symmetric $2$-codes whose size is larger than the largest achievable size of an additive code with the same parameters; before this, such a gap had only been established for $n=3$.

We characterize non-commutative polynomials of degree 2 which preserve free infinite divisibility as self-adjoint Lie polynomials of degree 2. This extends previous results which characterized homogeneous quadratic forms only. The proof is based on an involution of colored noncrossing partitions cancelling many terms; positive definiteness of the remaining terms is established by an explicit operator model on Fock space. Examples show that higher order Lie polynomials do not preserve free infinite divisibility.

A Deza graph is a regular graph in which the number of common neighbours of two distinct vertices takes at most two values, regardless of adjacency. Its children are the graphs on the same vertex set in which adjacency is determined by these two common-neighbour counts. A Deza graph is called strongly Deza if both children are strongly regular. We construct an infinite family of edge-regular strongly Deza graphs using non-degenerate quadratic forms over the field with five elements. For every odd dimension greater than three and each of the two determinant square classes, we obtain a graph on the projective points represented by vectors of norm one. Its children are complementary strongly regular graphs with the parameters of the corresponding orthogonality graph on non-isotropic points and its complement. We determine the parameters by counting solutions to systems involving the associated bilinear form. These counts also yield symmetric association schemes over finite fields of odd characteristic. Further constructions include Deza graphs in dimension four, orthogonality graphs in odd dimensions, unions of relations in even dimensions over the field with nine elements, and an odd-dimensional family over the field with thirteen elements. We also give low-dimensional examples, including one whose children are a triangular graph and its complement.

Let $p$ be an odd prime, let $m\geq1$ be an integer, and let $Q$ be a nondegenerate quadratic form on $\mathbb F_p^{2m}$. For a nonempty set $E\subseteq\mathbb F_p^{2m}$, write $Δ_Q(E)=\{Q(x-y):x,y\in E\}$. We prove that, whenever $|E|>p^m$, \[ |Δ_Q(E)|\gg \min\left\{\frac{p}{L_E},\, \frac{|E|}{p^{m-1}L_E^2}\right\}, \qquad L_E=\log\left(2+\frac{p^{m+1}}{|E|}\right), \] with an absolute implied constant independent of $p$, $m$ and $Q$. This confirms the Erdős--Falconer distance conjecture up to a logarithmic factor. In the anisotropic planar case $m=1$, for small sets, we also prove that \[ |Δ_Q(E)|\gg\frac{|E|}{\log(2|E|)}, \qquad (1\leq |E|\leq p), \] which is also optimal up to a logarithmic factor.

Let $q$ be an odd prime power and $m\geq 1$. Let $Q$ be a nondegenerate quadratic form on $\mathbb F_q^{2m}$. For every sphere $S_j=\{Q=j\}$ with $j\in \mathbb F_q^\times$, we prove the sharp extension estimate $R_{S_j}^*(2\to r)\lesssim_m1$ for $r\ge 2(m+1)/m$, uniformly in $q$, $Q$, and $j$. As an application, we show that if $E\subseteq\mathbb F_q^{2m}$ satisfies $|E|/q^{m+1/3}\to\infty$, then almost every pin $y\in E$ determines $(1-o(1))q$ values of $Q(x-y)$. The proof combines two arithmetic Hecke operator estimates with an induction in the dimension, a centered sphere--cone estimate, and an orthogonal decomposition.

This text is a self-contained expository survey of the Lagrange and Markov spectra, centered on a comprehensive exposition of Markov's theorem and its generalizations. Its purpose is to provide a systematic text for learning the theory, with detailed proofs and explanations of the connections among its arithmetic, combinatorial, and geometric descriptions. The necessary background in continued fractions, quadratic irrationals, binary quadratic forms, and bi-infinite sequences is developed step by step, followed by an exposition of generalized Markov numbers, fence posets, curve lengths, and generalized Cohn matrices. One goal of this exposition is to explain the formula connecting generalized Markov numbers with the two spectra. For nonnegative integer parameters $(k_1,k_2,k_3)$, a permutation $σ\in\mathfrak S_3$, and a fraction label $t\in\mathbb Q_{\geq0}\cup\{\infty\}$, let $m_t$ be the associated generalized Markov number and let $k_t=k_{i_t}$ be the parameter assigned to its position $i_t\in\{1,2,3\}$. The text explains the construction of an associated finite sequence $S(t)$ of positive integers and the identity \[ \mathcal L(α_{S(t)}) =\mathcal M(Q_{S(t)}) =\frac{\sqrt{((3+k_1+k_2+k_3)m_t-k_t)^2-4}}{m_t}, \] where $α_{S(t)}=[\overline{S(t)}]$ and $Q_{S(t)}=(x-α_{S(t)}y)(x-α'_{S(t)}y)$, with the prime denoting quadratic conjugation. Here $\mathcal L$ and $\mathcal M$ denote the Lagrange and Markov constants, respectively. The survey explains how this identity relates generalized discrete Markov spectra to the classical theory and how Markov's theorem is recovered when the parameters vanish. The account also includes boundary values arising from irrational slopes and generalizations of Frobenius's uniqueness conjecture, providing a unified perspective on the classical theorem and its extensions.

Let $d,K,N\in \mathbb{N}$ with $K\geq 3$ and $d\geq 4K+4$. Let $Δ\subset \mathbb{Z}^d$ be the vertex set of a nondegenerate $(K-1)$-simplex, and let $A\subseteq[N]^d$ contain no nontrivial similar copy of $Δ$. We prove that \[ |A|\ll_{Δ,d} N^d\exp\!\left(-c_{Δ,d}\sqrt{\log N}\right) \] improving upon a polylogarithmic bound due to Magyar. We perform a density increment argument using the circle method, and we introduce a ``cut operator'' method to decouple the weighted exponential sum over the system of quadratic forms describing the simplex. Our proof combines ideas from graph theory, functional analysis, and the geometry of numbers. In the process, we apply Finner's fractional form of Hölder's inequality, the analytic large sieve, and Kim's mean value formula for primitive lattice flags.

Let $f_{0,1,4}(n)$ denote the number of partitions of $n$ into parts congruent to 0, 1 or 4 modulo 5 with each part used at most twice, and let $f_{0,2,3}(n)$ be defined analogously for parts congruent to 0, 2 or 3 modulo 5. We prove that for every prime $p \equiv 3 \pmod 4$ there are explicit non-negative integers $a(p)$ and $b(p)$, determined by $20a(p) \equiv -9$ and $20b(p) \equiv -1 \pmod{p^2}$, such that $f_{0,1,4}(p^2m + a(p))$ and $f_{0,2,3}(p^2m + b(p))$ are congruent modulo 3 to $f_{0,1,4}(m)$ and $f_{0,2,3}(m)$ when $p \equiv \pm 1 \pmod 5$, and to $f_{0,2,3}(m)$ and $f_{0,1,4}(m)$ when $p \equiv \pm 2 \pmod 5$. By quadratic reciprocity the two functions are preserved exactly when 5 is a quadratic residue modulo $p$, and interchanged otherwise. The smallest cases are $f_{0,1,4}(9m) \equiv f_{0,2,3}(m)$ and $f_{0,2,3}(9m+4) \equiv f_{0,1,4}(m)$. The proof reduces each generating function modulo 3 to the square of a Rogers-Ramanujan-type theta function by means of $(1-x)^{\ell} \equiv 1-x^{\ell} \pmod{\ell}$ and the Jacobi triple product, and then dissects the resulting binary quadratic form using the fact that $-1$ is a quadratic non-residue modulo $p$. As corollaries we obtain, for each such $p$, a congruence with exceptions on a progression of modulus $p$, and an infinite family of self-similarity congruences on progressions of modulus $p^{dn}$ with $d = 2$ or $d = 4$ and constants $9(p^{dn}-1)/20$ and $(p^{dn}-1)/20$.

In this paper, we settle a conjecture of Polujan and Pott by constructing an explicit, infinite family of Maiorana--McFarland bent functions $f_t$ in $2(2^t-1)$ variables with algebraic degree $°(f_t) = t + 1$ for any integer $t \ge 2$. Our construction builds upon a minimal commutative algebra $I_t$, which naturally induces a triangular set-partition polynomial permutation $P_t$. By identifying an elementary abelian subgroup within the direct sum $ I_t \oplus I_t^*$, we establish an explicit nonlinear coordinate transformation that pulls $f_t$ back to a canonical quadratic form. This linearizes the translation development $\operatorname{Dev}(D_{f_t})$ under an exotic group structure and proves that it is isomorphic to the classical symplectic design $S^\pm(2(2^t-1))$, thereby fully resolving the conjecture.

We develop a generalized Markov theory for the Markov--Lagrange and Markov spectra. The classical discrete Markov spectrum is governed by Markov numbers, the positive integers occurring in solutions of the Markov equation. We show that this relation admits a cluster-combinatorial extension governed by generalized Markov numbers. Replacing the Christoffel-word formalism by snake graphs, we construct generalized discrete Markov spectra attached to the generalized Markov equations \[ x^2+y^2+z^2+k_1yz+k_2zx+k_3xy=(3+k_1+k_2+k_3)xyz. \] Every element of these spectra is realized simultaneously as a Lagrange constant of a quadratic irrational and as a Markov constant of a real indefinite binary quadratic form. We also prove structural results for these spectra, determine their contribution in the transition interval below Freiman's constant, and identify the boundary value obtained from regular lines of irrational slope, again realizing it both as a Lagrange constant and as a Markov constant.

We study external difference families arising from cyclotomic classes in finite fields from the viewpoint of a fixed number of blocks. For families consisting of even-indexed cyclotomic classes, the EDF condition can be expressed in terms of relations among cyclotomic numbers. We first study the two-block case and recover a classical characterization in terms of quadratic forms. Our main result shows that, for a prime $p=12k+1$, the family $\{C_0^6,C_2^6,C_4^6\}$ forms an EDF in $\mathbb{F}_p$ if and only if $k$ is a square. The proofs combine symmetry relations of cyclotomic numbers with their explicit evaluations.

We establish a uniform product-difference theorem for dense subsets of $\mathbb Z^2$, which gives an affirmative answer to Problem~2 of Fish and, as consequences, to both parts of his Problem~1. More precisely, we prove that for every $δ>0$ there exists an integer $K(δ)\geq 1$ such that every set $E\subseteq\mathbb Z^2$ with upper Banach density $d^\star(E)\geqδ$ satisfies \[ K(δ)\mathbb Z \subseteq \{ab:(a,b)\in E-E\}. \] As consequences, we obtain affirmative answers to both parts of Fish's Problem~1: for positive-density sets $E_1,E_2\subseteq\mathbb Z$ and $E\subseteq\mathbb Z^2$, respectively, the sets \[ (E_1-E_1)^2-(E_2-E_2)^2 \quad\text{and}\quad \{x^2-y^2:(x,y)\in E-E\} \] contain nontrivial ideals of $\mathbb Z$, with generators depending only on the corresponding density thresholds. In particular, the latter result also settles a conjecture of Davies concerning differences of the indefinite quadratic form $x^2-y^2$ in dense subsets of $\mathbb Z^2$.

In this note we count the number of solutions to a non-degenerate quadratic form in eight prime variables of off-diagonal rank $3$. It is a continuation of work by L. Zhao, who counted solutions to forms in at least nine variables, by B. Green, who counted solutions to 'generic' (which implies off-diagonal rank $4$) forms in eight variables, and by J. Dobrowolski, who counted solutions to forms in eight variables of off-diagonal rank at most $2$.

We evaluate the series $\sum_{n\ge1} z^n\big/\!\big(n^2\binom{4n}{n}\big)$, equal to $-\tfrac{z}{4}\,{}_5F_4\!\left(1,1,1,\tfrac43,\tfrac53;\tfrac54,\tfrac32,\tfrac74,2;\tfrac{27z}{256}\right)$, in closed form at an infinite family of algebraic points indexed by a rational angle $θ=jπ/N$. Each value equals $c\,π^2$ plus a universal rational quadratic form in three logarithms, with $c=-\tfrac13\left(1-\tfrac{2j}{N}\right)^2$. This is the quartic-base case reached but not evaluated by D'Aurizio and Di Trani. The proof is self-contained: an exact integer factor relating two weights, followed by Landen's identity, reduces the integral to a sum of squared logarithms.

The Bethe-Hessian is a symmetric matrix for which the negative spectrum has been observed to encode the informative structure of sparse stochastic block models. We prove that, in the stochastic block model where all vertices have expected degree $d>1$, the number of negative eigenvalues of the Bethe-Hessian is exactly the number predicted by the eigenvalues of the planted model lying outside the bulk spectrum. The condition $d>1$ is optimal, and matches a regime in which existing spectral approaches based on larger non-Hermitian matrices apply. Our result extends a theorem of Stephan and Zhu, who established the same conclusion under the assumption $d\geq 2$. Our improvement relies on two main ideas. First, we construct test vectors on the $2$-core, where degree fluctuations are substantially smaller, and then extend them to the entire graph while controlling the quadratic form. Second, we construct the test vectors using an isotropic basis of the underlying Markov random field, with coefficients adapted to each relevant planted eigenvalue. This allows us to control the fluctuations of the test vectors throughout the sparse regime.

The Rogers--Ramanujan identities equate a $q$-series whose exponents are governed by a quadratic form with an infinite product supported on two residue classes modulo~$5$. Identities of this shape are scarce, and a central problem is to identify the structures that produce them in families. Huang, Jiang, and Oblomkov have proposed a source of a new kind: to each pair of coprime integers $a,b>1$ they attach an infinite-rank $q$-series $Z_{a,b}(q)$, assembled from counts of commuting nilpotent matrix pairs $(A,B)$ with $A^a=B^b$ over finite fields, and they conjecture that it equals an explicit product of $(a-1)(b-1)/2$ modular units of level $a+b$. The $a=2$ cases are the Andrews--Gordon identities; no case with $a>2$ was known. We prove the conjecture for $(a,b)=(3,4)$, $(3,5)$, $(3,7)$, and $(3,8)$. Our proofs pass through a finer sum-to-sum identity, which we conjecture for all $b$ coprime to $3$ and establish for all $b$ when $q=1$. Lau and Ono have since proved that identity in general, and with it the full $a=3$ case. These identities have been formalized and verified in Lean by AxiomProver.

In this paper, we study the distribution of simplices in both discrete and continuous settings. Let $q$ be an odd prime power, let $Q$ be a nondegenerate quadratic form on $\mathbb F_q^d$, and let $2\leq k\leq d-1$. We prove that every set $E\subset\mathbb F_q^d$ with \[ |E|\geq C_{d,k}q^{β_{d,k}}, \qquad β_{d,k}= \begin{cases} \displaystyle \frac{d+k}{2}-\frac{k-1}{k+1}, & d-k\ \text{even},\\[2mm] \displaystyle \frac{d+k-1}{2}, & d-k\ \text{odd}, \end{cases} \] determines a positive proportion of all ordered nondegenerate $k$-simplex congruence classes. This improves the previous exponent due to Bennett, Hart, Iosevich, Pakianathan, and Rudnev (2017), and is sharp when $d-k$ is odd. In the Euclidean setting, we prove that if $E\subset\mathbb R^d$ is compact and $\dim_{\mathrm H}(E)>d-1$, then there exists a Frostman probability measure $μ$, supported on $E$, and a set of pins of full $μ$-measure such that the pinned distance configuration measure for labeled $(d-1)$-simplices is absolutely continuous at every such pin. We also show that the same conclusion holds when $E\subset\mathbb R^d$ is a compact Salem set with $\dim_{\mathrm H}(E)>k$.

We study asymptotic versions of the Brill-Noether existence conjecture on graphs via techniques inspired by the geometry of numbers. We confirm an asymptotic version of the conjecture at (and near) the half-canonical degree in several well-connected families of graphs. They include expander graphs of even valence, almost-Ramanujan graphs of a fixed valence at least five and certain random graphs. In particular, for any fixed $k \geq 5$, almost all simple, connected, $k$-regular graphs satisfy the Brill-Noether existence conjecture at the half-canonical degree up to a constant factor. The key tool is a Cheeger-style inequality for the covering radius of a certain periodic set with respect to the energy quadratic form associated with the graph. As an application, we lower bound the diameter of graphs associated with certain dynamical systems called reversal systems. We conclude with a suggestion to tackle the asymptotic version of the conjecture, in general, i.e. beyond half-canonical degrees.

In this paper, we prove a conjecture of Andrews and El Bachraoui concerning the parity of certain two-color partitions. Precisely, we show that if the Fourier coefficient $t_o(n)$ of the corresponding $q$-series is odd, then $8n+9$ is represented by the binary quadratic form $x^2+2y^2$.