arXiv++ Combinatorics

We introduce ideal Gårding polynomials, a convexity-enhanced subclass of Gårding polynomials whose Gårding components are recursively convex under partial differentiation. This class strictly contains real stable polynomials and, after translation and homogenization, lies in the Lorentzian class. Our main result is that ideal Gårding polynomials still admit a robust structure theory despite this additional convexity: they are preserved under polarization, satisfy natural closure properties, and support a linear preserver theory. A key contribution of this paper is a universal model for univariate Gårding polynomials, described by monotone root sequences and equivalently by volume polynomials of Pitman--Stanley polytopes. We establish quotient concavity, and Newton--Maclaurin type inequalities, which leads to the polarization theorem, and suggests further connections with convex geometry and Lorentzian polynomials.

Fuglede's conjecture asserts that a measurable set of positive and finite measure is spectral if and only if it tiles Euclidean space by translations. Counterexamples are known in every dimension $d\ge3$, whereas the one- and two-dimensional cases have remained unresolved. We construct two explicit $60$-point subsets of the rank-two finite Abelian group $\Z_{60}\times\Z_{12}$: one is a translational tile with no spectrum, and the other is spectral but does not tile. A finite-to-infinite transference principle lifts them to bounded subsets of $\R^2$ that are finite unions of unit squares. Consequently, both implications in Fuglede's conjecture fail in dimension two.

It is conjectured that every idempotent Schur multiplier can be written as a finite sum of contractive idempotents. This conjecture is equivalent to the statement that any boolean matrix $A$ with factorization norm $\lVert A\rVert_{γ_2}$ at most $γ$ can be expressed as a signed sum $$A = \sum_{i=1}^L \pm B_i,$$ where, up to permutation of rows and columns, each $B_i$ is a blow-up of an identity matrix, and $L$ depends only on $γ$. In this note we show that if $A$ is an $n\times n$ boolean matrix with $\lVert A\rVert_{γ_2} \le γ$, then it admits such an expression with $L = 2^{O(γ^9) + \log^*\! n}$, where $\log^*$ is the iterated logarithm function. As an application, any sequence of matrices with bounded factorization norm belongs to the complexity class $\mathrm{P}^\mathrm{EQ}$ of communication problems with polylogarithmic equality-oracle complexity.

In this paper, we establish some curious identities involving Legendre polynomials and the first kind of Apéry-like numbers. As applications, many new supercongruences are deduced.

In this paper, we study pinned $k$-star distance sets associated to compact subsets of $\mathbb{R}^n$, $n\geq 2$. For pins $x_1,\dots,x_k\in E$, the pinned $k$-star distance set is \[ Δ_{x_1,\dots,x_k}^{k\text{-star}}(E) = \{(|x_1-x|,\dots,|x_k-x|):x\in E\}\subset\mathbb{R}^k. \] We obtain improved Hausdorff-dimension thresholds on $E$ guaranteeing that pinned $k$-star distance sets have positive $k$-dimensional Lebesgue measure. The main analytic input is a reformulation of the connection, first observed in \cite{IPPS22}, between $k$-stars in $\mathbb{R}^n$ and pinned dot products on the paraboloid in $\mathbb{R}^{n+1}$. In our framework, $L^2(\mathbb{R}^k)$ estimates for the densities of pinned $k$-star distance measures are reduced to a weighted Fourier extension estimate for the paraboloid whose weight is defined explicitly in terms of Frostman measures on $E$. For $1\leq k<n$, this yields the threshold \[\dim(E)>α_{+}(n,k):=\frac{n^2+nk+k}{2n+1}=\frac{n+k-1}{2}+\frac14 +\frac{2k+1}{4(2n+1)}.\] Using the graph-building machinery of \cite{BFOPR2026}, our positive-measure results for $k$-stars can be used as building blocks for finite distance graph configurations with prescribed pins. As a consequence, we improve the best-known positive-measure thresholds for pinned $k$-simplices in every dimension $n\geq 3$ and for necklace graphs (cycles) in every dimension $n\geq 3$. We further prove nonempty interior results for $k$-stars. In the special case $k=1$, corresponding to the pinned nonempty interior of the distance set $Δ_{x}(E)=\{|x-y|\colon y\in E\}$, we use a sharper argument to improve the pinned nonempty-interior thresholds of \cite{BFOP2026} in all dimensions $n\geq 4$.

We prove asymptotic formulae for positive real $(p,q)$-Rogers-Szegő polynomials when the quadratic term in the expansion about the middle coefficient vanishes. For coefficient indices whose distance from $n/2$ is of order $n^{3/4}$, the coefficient ratios have a quadratic-quartic exponential limit. A uniform bound valid for all indices allows the ratios to be summed and gives locally uniform convergence of the centred generating polynomials to a Fourier--Laplace integral. We also obtain an asymptotic formula for the sum of the coefficients, convergence of all rescaled moments, weak convergence of the normalised coefficient measures, and convergence with multiplicity of the zeros tending to $w=1$.

We prove local asymptotics for near-central complex $(p,q)$-binomial coefficient moduli ratios allowing an imaginary parameter perturbation of order $n^{-3/4}$ at a $\sqrt{n}$ length scale from the centre. Moreover, we obtain ratio asymptotics for a smaller imaginary perturbation of order $n^{-5/4}$ at the length scale $n^{3/4}$. These results were obtained by reducing the two-parameter coefficients to just one parameter, giving a branch-free logarithmic representation of the second-order ratio and, hence, uniform complex curvature asymptotes for near-central ratios.

We generalise the recent two-ends Furstenberg inequality due to Wang and the second author from lines to a family of transversal curves, and give a much simplified proof. As an application, we present a result pertaining to the Fourier decay of fractal measures on convex curves.

We prove a sharp lower bound for the cardinality of sumsets of subsets of $\mathbb{Z}^d$ confined to a hypercube, resolving in strong form a conjecture that was made explicit by Becker, Ivanisvili, Krachun and Madrid and had circulated in the folklore of the field for some time. Specifically, for sets $A_j\subseteq \{0,1,2,\dots,m\}^d$ we show that \[|A_1+\dots+A_n|\;\geq\; (|A_1|\cdots|A_n|)^{1/p},\qquad p=\frac{n\log(m+1)}{\log(nm+1)},\] with the exponent best possible. The only previously known sharp cases were $A_j\subseteq \{0,1\}^d$, for all $n\ge1$, and $A_j\subseteq \{0,1,2\}^d$ for $n=2$. We also prove a sharp inequality in the case when $A_j\subseteq\{0,1,\dots,m_j\}^d$ for different $m_j$. We obtain the above inequality as a corollary of a stronger result on sup-convolution of functions on $\mathbb{Z}^d$, whose proof is based on a novel mixed volume representation of a lattice path norm, together with a sharp one-dimensional functional inequality.

We investigate the Peres--Schlag nonempty interior problem for orthogonal projections in both the finite-field and Euclidean settings. Over finite fields $\mathbb F_q^n$, we employ the polynomial method to establish sharp projection results, and uncover a new connection with stability versions of the finite-field \((n,m)\)-set problem. Over Euclidean spaces $\mathbb R^n$, we obtain improved nonempty interior results beyond those of Peres and Schlag in certain parameter ranges. Our proof combines techniques from geometric measure theory and harmonic analysis, including $L^p$-estimates for Kakeya maximal operators and maximal $k$-plane transforms.

We study finite-field analogues of the Peres--Schlag nonempty-interior problem for product sets. Given \(A\subseteq\mathbb F_p\), we ask when a suitable one-dimensional linear image of \(A^n\) is full; equivalently, when there exist coefficients \(t_1,\ldots,t_n\in\mathbb F_p\) such that \[ t_1A+\cdots+t_nA=\mathbb F_p. \] For \(n\ge3\), we prove that, for every \(η>0\), this holds whenever \[ |A|\gg_{n,η} p^{\frac{3}{2n-1}+η}. \] This improves the exponent predicted by the direct product-set analogue of the Peres--Schlag threshold, namely \(|A|\gg p^{2/n}\). We also prove a two-dimensional near-half-density result. Motivated by sum-product phenomena, we also introduce and study a product-type variant in which linear forms are replaced by shifted product maps. We prove finite-field covering results for shifted products \[ (t_1 + A)(t_2 + A)\cdots(t_n + A) \] at the same density scale as in the linear case. Finally, we prove a Euclidean shifted-product analogue: if \(A\subseteq\mathbb R\) is Borel and \(\dim_H A>2/n\), then some shifted product of \(n\) copies of \(A\) contains a nonempty open interval.

The success of deep learning models in classification and regression is widely attributed to the low-dimensional structure that real-world data tend to exhibit, despite their high-dimensional representation. This work attempts to provide a mathematical framework for binary classification on low-dimensional data, building on Cover's (1965) function-counting theory. With our framework, we aim to address the question of how the low-dimensional structure of the data affects the classification capabilities of learning models. Cover's theory relies on a general position assumption that blinds it to the underlying data structure. We refine this assumption to account for the low-dimensionality of the data and derive dichotomy counts that reflect the data structure. We further extend Cover's separation capacity and problem of generalization to the low-dimensional setting, enabling the impact of the underlying data structure on both to be analyzed.

We introduce a Delsarte linear programming approach to the finite field Erdős--Falconer distance problem. Let \(q\) be an odd prime power, let \(n\) be even, and let \(Q\) be a non-degenerate quadratic form on \(\mathbb{F}_q^n\). For \(E\subset \mathbb{F}_q^n\), define \[ Δ_Q(E)=\{Q(x-y):\ x,y\in E\}. \] We prove that, for every fixed \(0<α<\frac{1}{2}\), there exist constants \(C_α>0\) and \(q_α\) such that if \(q\ge q_α\) and $|E|\ge C_αq^{\frac n2+\frac13},$ then \[ |Δ_Q(E)|>1+α(q-1). \] In particular, \(Δ_Q(E)\) contains a positive proportion of the elements of \(\mathbb{F}_q\), and hence \(|Δ_Q(E)|\gg q\). Our result applies uniformly to all non-degenerate quadratic forms in even-dimensional finite field vector spaces. In the Euclidean case \[ Q(x)=x_1^2+\cdots+x_n^2, \] it improves, for every even \(n\ge 4\) over arbitrary finite fields, the general exponent \(\frac{n+1}{2}\) obtained by Iosevich and Rudnev to $\frac n2+\frac13.$ The proof is based on the association scheme arising from the level sets of \(Q\). By analyzing the corresponding eigenvalues through Gauss sums and Kloosterman sums, we construct a suitable feasible solution to the Delsarte linear program. This provides a new algebraic-combinatorial method for obtaining distance set estimates over finite fields.

Let $[0, 1]^{n} \subseteq \mathbb{R}^{n}$ be endowed with its pointwise order, and let $k$ be a positive integer. A subset $A$ of $[0, 1]^{n}$ is said to be a \emph{$k$-antichain} if $\operatorname{card}(A \cap C) \leq k$ for each chain $C \subseteq [0, 1]^{n}$. Letting $\mathcal{H}^{m}$ denote the $m$-dimensional Hausdorff outer measure, Pelekis and Vlasák [Publ.\ Math.\ Debrecen, 2020] conjectured that there exists a $k$-antichain $A \subseteq [0, 1]^{n}$ satisfying $\mathcal{H}^{n-1}(A) = k n$, and proved the special case of this conjecture for $n = 2$, whereas Janzer [Mathematika, 2020] proved the $k = 1$ case of Pelekis and Vlasák's conjecture. This conjecture is motivated by a result due to Erdős on $k$-antichains in $\{ 0, 1 \}^{n}$. We prove Pelekis and Vlasák's conjecture in full generality, thus establishing that their upper bound $\mathcal{H}^{n-1}(A) \leq k n$ is sharp for $k$-antichains $A$ in $[0, 1]^{n}$.

There are many formulas in the literature providing roots of a real cubic that avoid some of the well-known pathologies of Cardano's formulas. Among these, we identify two that consistently provide the unique roots of a depressed cubic that have the greatest and smallest absolute value, whenever those exist. We call these the longest and shortest roots. The existence conditions are elementary and are in terms of the signs of the coefficients and the discriminant. Our proofs use two algebraic identities satisfied by hypergeometric functions; once the standard real branches are fixed, the root comparisons are entirely real. As an application, the longest-root formula gives an explicit factorization of all but a vanishing proportion of depressed real quartics.

We study the discrete space-time wave equation on a $(q+1)$-regular graph $X$ associated with the affine Laplace-type operator. For the forward time-difference scheme we derive explicit formulas for the two fundamental solutions (wave kernels) in terms of discrete modified Bessel functions and the non-backtracking walk counts on $X$ thus providing a direct and explicit link between wave propagation and combinatorial graph data. Utilizing uniqueness property of the wave kernel, we prove a new trace-type formula associated to the affine Laplace-type operator on $X$ and apply it to deduce many combinatorial identities. For example, we derive a closed-form expression for evaluation of some trigonometric sums twisted by an additive character as well as evaluations of finite sums of Chebyshev polynomials twisted by binomial coefficients.

We prove that the Opdam-Cherednik kernel, also known as the nonsymmetric Opdam hypergeometric function, can be written as the Laplace transform of a positive measure supported on the convex hull of the Weyl group orbit of its argument. As a consequence, the trigonometric Dunkl intertwining operator is positivity preserving. The main ingredient in the proof is a new formula for the Opdam-Cherednik kernel as a degeneration of nonsymmetric Macdonald polynomials. As a further application, we prove majorization inequalities for Macdonald polynomials and Heckman-Opdam hypergeometric functions associated with arbitrary root systems.

The asymmetric simple exclusion process (ASEP) is an important particle model with deep connections to orthogonal polynomials. Motivated by this connection, Corteel and Williams introduced the Koornwinder moments $M^{Z}_λ$ at $ t=q $, which generalize the moments of Askey--Wilson polynomials. They showed that the partition function of the two-species ASEP is equal to $M^{Z}_λ$ for a one-row partition $ λ$. In this paper, we investigate a conjecture of Rains on the positivity of the minimal numerator of the Koornwinder moment $M^{Z}_λ$. We derive the first explicit formula for this moment, thereby obtaining a precise formulation of the conjecture by determining the minimal denominator of $M^{Z}_λ$. We also propose a generalization of the conjecture for the more general Koornwinder moments $M^{Z}_{λ,μ}$ indexed by two partitions at special parameter values. We prove the generalized Rains' conjecture in two special cases: $(ξ,q)=(1,0)$ and $(ξ,q)=(1,1)$. For $(ξ,q)=(1,0)$, we construct a lattice path model and obtain a combinatorial formula for $M^{Z}_{λ,μ}$ in terms of non-intersecting lattice paths. For $(ξ,q)=(1,1)$, we establish an explicit product formula for $M^{Z}_{λ,μ}$ and give a combinatorial interpretation using lecture hall tableaux.

Let $K \subset \mathbb{R}^{2}$ be a compact set. For $θ\in S^{1}$, let $\mathrm{Vis}_θ(K) \subset K$ be the visible part of $K$ in direction $θ$. We prove that $\operatorname{dim}_{\mathrm{H}} \mathrm{Vis}_θ(K) \leq \tfrac{3}{2}$ for $\mathcal{H}^{1}$ almost every $θ\in S^{1}$. The previous record was $\operatorname{dim}_{\mathrm{H}}\mathrm{Vis}_θ(K) \leq 11/6 \approx 1.833$, due to D. Dąbrowski. Our main tool is a variant of a recent incidence lower bound theorem due to Cohen, Pohoata, and Zakharov where, roughly speaking, lines have been replaced by rays, and $δ^{\varepsilon}$-separated incidences are replaced by $1$-separated incidences.

We introduce a method based on horizontal slicing and a plane-then-line stopping-time decomposition for the prime field spherical restriction problem in four dimensions. The method is designed to overcome the Kloosterman obstruction in the spherical Bochner--Riesz kernel by decomposing each critical horizontal slice into rich-plane, rich-line-and-poor-plane, and poor-line-and-poor-plane components, which are then treated by distinct affine-geometric mechanisms. As a quantitative consequence of this structural method, we prove that \[ R_{S_j}^*(2\to r)\lesssim 1 \] for every nonzero sphere $S_j\subset\mathbb{F}^4$ and every $r>23/7$. As an application, we obtain the first improvement over the twenty-year-old $(d+1)/2$ threshold in the four-dimensional prime field Erdős-Falconer distance problem.