math.CO ↗ arXiv
5274 papers in this category
A Sharp Small-Coefficient Variant of Khintchine's Inequality and the Sharp $π/2$ Theorem
We prove a refined quadratic normal approximation for the first absolute moment of normalized weighted Rademacher sums with bounded maximal coefficients. For any weight vector $w\in\mathbb{R}^{n}$ satisfying $\|w\|_{2}=1$ and $\|w\|_{\infty}\leqβ$ with sufficiently small $β>0$, we establish the uniform error bound $|\mathbb{E}|\sum_{i=1}^{n}w_{i}X_{i}|-\sqrt{2/π}|=O(β^{2})$ over all admissible weight configurations. Our proof combines zero-bias Stein's method and refined small-ball probability estimates to exploit symmetry cancellation and control the non-smooth residual of the absolute-value test function. An explicit extremal construction further verifies the optimality of this quadratic convergence rate. As an application, we establish an asymptotically sharp refinement of the Friedgut--Kalai--Naor (FKN) theorem for Boolean functions, also known as the sharp $π/2$ theorem, characterizing the level-1 Fourier energy for functions deviating far from dictatorships.
Orthogonal adjointness in posets with $0$
Motivated by the concept of polarity introduced by G. Birkhoff for a binary relation on a set, we introduce a concept of orthogonality in a poset with $0$. A pair of operators $f$, $g$ on a poset with $0$ is called orthogonally adjoint if $f(x)$ is orthogonal to $y$ if and only if $x$ is orthogonal to $g(y)$. We characterize the existence and the uniqueness of $g$ for given $f$ and describe basic properties of orthogonal adjointness. We present constructions of orthogonally adjoint pairs in pseudocomplemented posets. If a given operator $f$ is an order-isomorphism of a pseudocomplemented poset satisfying some natural properties then the corresponding adjoint $g$ can be described explicitly. Moreover, if $f$ and $f^{-1}$ are bijective $\perp$-morphisms then they are orthogonally adjoint, too. Finally we show that a given pair of orthogonally adjoint mappings on a poset $\mathbf P$ may not be extendable to the Dedekind-McNeille completion of $\mathbf P$ and we present sufficient conditions for the existence of such an extension. We also provide sufficient conditions for the existence of an extension of orthogonally adjoint mappings to the lattice of ideals. Our results are illustrated by numerous examples.
Wallis-type products with polynomial exponents and the Dirichlet beta function at negative integers
We develop a methodology for designing infinite products of rational blocks whose exponents are polynomials in the index $k$. Matching power sums of the slot constants through order $n$ forces the Type-$N$ product with binomial exponent $\binom{n+k-2}{n-1}$ to converge to a ratio of Vignéras multiple gamma values $Γ_n$; an analogue finder lifts any Type-1 evaluation to every higher type, and integer combinations of binomial exponents then realise arbitrary integer-valued polynomial exponents, yielding explicit products with exponents $k$, $k^2$, $k^3$, ... for constants such as $π/2$, $\sqrt{2}$, $e^{2K/π}$, and rational multiples of $π^{M!}$ (Part I). As the main application (Part II) we prove that for every positive integer $n$, a finite multiple-gamma template $\mathcal{S}_n$ with generalised Eulerian weights $T(n,k)$ (OEIS A225118) evaluates the Duke-Imamoğlu expression $\mathcal{D}_n = β'(-n) + (\log 4)\,β(-n)$. For odd $n$ this yields a convergent Wallis-Eulerian product for $e^{β'(-n)}$; for even $n$ the raw product diverges. The proof expands the template through the multiple-gamma functional equation, evaluates the quarter-integer coefficients in closed form, and identifies the resulting Eulerian-binomial sums with Duke's polynomials $P_{n+1,\ell}$.
The S-matrix conjecture
Harwit and Sloane conjectured that every nonsingular entrywise-nonnegative matrix $A\in\mathbb R^{n\times n}$ satisfies $\|A^{-1}\|_F\ge 2n(n+1)^{-1}\|A\|_{\max}^{-1}$, with equality precisely for positive multiples of $S$-matrices. Cheng proved the conjecture in odd dimensions, while Frankel and Urschel proved the even-dimensional case for $n\ge1000$. We complete the remaining even-dimensional cases. Starting from the structural identities in Frankel--Urschel Lemma 2.1, we derive an exact global defect budget and combine binary rounding with Gram projection. A refined ten-row obstruction handles every even $n\ge66$; a finite exact calculation handles $4\le n\le64$, $n\ne6$; and a separate multi-column energy argument treats $n=6$. The order-two case follows from a direct calculation. The new even-dimensional proof has been formalized in Lean 4, with Frankel--Urschel Lemma 2.1 as its sole external mathematical input. Together with Cheng's odd-dimensional theorem, this proves the S-matrix conjecture in every dimension.
Divisor lattices and Schur positivity in cyclic induction
We classify Schur positivity in two families of symmetric functions $f_n^T$ introduced by Sundaram. For $k\ge2$, $f_n^{\{1,k\}}$ fails to be Schur-positive exactly when $n=k$ and $k$ is an even integer greater than $2$. For $T_k=\{k^i:i\ge0\}$, $f_n^{T_k}$ fails to be Schur-positive exactly when $k$ is an even integer greater than $2$ and $n=k^a$ for some $a\ge1$. In every exceptional degree, the coefficient of $s_{(1^n)}$ is $-1$, and all other Schur coefficients are nonnegative. Together with Sundaram's product implication, these classifications settle her Conjectures~1--3.
We also recast Sundaram's plethystic identities in divisor-indexed coordinates and classify nonnegative Foulkes coordinates in each fixed degree and globally. If a composite $k$ divides $n$, both $f_n^{\{1,k\}}$ and $f_n^{T_k}$ have a negative Foulkes coordinate even when they are Schur-positive. Extending Hou's bounded-interval argument, we prove a uniform criterion for real divisor weights for $n\ge18$. If $1\in T$ and the Möbius weight $ψ^T$ satisfies the required bounds, $f_n^T$ is Schur-positive for every odd $n\ge18$. For even $n\ge18$, it fails exactly when $n\in T$ and $n/2\notin T$; then $s_{(1^n)}$ indexes the unique negative Schur coefficient, equal to $-1$. Finally, for $k=q^s$ with $q$ prime, $s\ge2$, $k\mid n$, and $n>k$, we derive major-index residue inequalities and classify all equality cases. For $n\ge18$, we also obtain a uniform quantitative estimate for partitions whose first row and first column each have length at most $n/2$.
Fair Division of Graphs: Beyond Traceability
In this paper, we study fair division problems in which resources are structured as graphs and agents must receive connected bundles. This connectivity requirement fundamentally alters the problem, making it significantly more challenging than its classical counterpart. We focus on the fairness notion of $\mathrm{EF1}_{\mathrm{outer}}$, where envy can be eliminated by removing at most one vertex whose deletion does not disconnect the bundle -- a critical constraint for applications such as land division and network allocation.
Our first result extends prior work by establishing the existence of $\mathrm{EF1}_{\mathrm{outer}}$ allocations for an infinite family of non-traceable graphs (that is, graphs that do not admit a Hamiltonian path), answering a central open question and generalizing Bilò et al.'s result for traceable graphs. We then make progress on a conjecture concerning the $\mathrm{EF1}_{\mathrm{outer}}$ spectrum of trees due to Chen and Zwicker. Finally, we complement our structural results with algorithmic insights, showing that deciding the existence of an $\mathrm{EF1}_{\mathrm{outer}}$ allocation is NP-complete even for binary additive valuations, thereby resolving an open complexity question. Taken together, our results deepen the connection between graph theory and fair division, and offer new tools for studying fairness in structured resource environments.
Recovering Laplacian Lattices from $L$-Functions of Graphs
We introduce $L$-functions associated with characters of the Jacobian of a finite graph, as a graph-theoretic analogue of the $L$-functions arising from unramified coverings of algebraic curves. These $L$-functions are defined using the Riemann--Roch structure on the graph and extend Lorenzini's two-variable zeta function. We show that if two graphs without bridges have isomorphic Jacobians and their $L$-functions agree under the induced correspondence of characters, then their Laplacian lattices coincide. We also show that Lorenzini's zeta function is invariant under contraction of bridges, explaining the necessity of the bridge-free hypothesis in the main theorem. Finally, we give examples showing that neither the Jacobian nor the Lorenzini zeta function alone determine the Laplacian lattice.
Equivariant Analytic Spectral Invariants of Açıkmeşe Lifts of Graphs with Self-Loops
We introduce and study equivariant analytic spectral invariants associated with the Açıkmeşe lift of a graph with self-loops $G_S$. The canonical $\mathbb{Z}_2$-action yields an orthogonal isotypic decomposition of the lifted Laplacian into the anti-symmetric part $\mathcal{L}(G_S)$ and the symmetric part $M_{sym}$, from which we prove that the spectrum of $\mathcal{L}(G_S)$ is exactly the even-indexed spectrum of the lifted Laplacian. We express twisted moments of these blocks as traces of the generalised twisted moment operator against the corresponding $\mathbb{Z}_2$-projections, and obtain a tight upper bound under certain restriction with a characterization of the equality case. We introduce the equivariant heat character and establish a trace-norm stability estimate. For the matrix element of the resolvent $(pI+\mathcal{L}(G_S))^{-1}$ associated with the loop vector, we derive a Laplace-transform identity for the equivariant heat character, a determinant formula, a spectral representation, and a Laurent expansion. We further characterize the case where $S$ is a union of connected components through resolvent and equivariant heat-character identities, and obtain explicit equivariant heat characters for joins of full-loop graphs and the line graph of a full-loop connected regular graph. Finally, we introduce the regularized equivariant heat integral and derive spectral and trace formulas for it.
Avoiding patterns with three distinct letters in Canon permutations
We study avoidance of patterns of length $3$ with three distinct letters in canon permutations. We reduce the problem to studying pattern avoidance in lattice words and show that there are $6$ such pattern avoiding classes. This shows that there are $12$ classes for the original Canon permutation pattern avoidance problem. We also give descent refinements for these classes and classify the patterns for which the descent enumeration gives palindromic and $γ$-positive polynomials. When the polynomials are $γ$-positive, we explain the $γ$-positivity through a group action analogous to Foata-Strehl valley hopping. Additionally, we study the avoidance of patterns in the relabelling orbit of $1213, 12112, 1231$ after a conjecture about their cardinalities by Laudone and give bijective proofs for the results.
A Categorical Framework for the Negami Polynomial and Its Splitting Formula
I give an elementary categorical lift of the three-variable Negami polynomial and of the boundary state structure underlying the splitting formula.
Sets whose differences avoid a bracket quadratic
Suppose a set of integers $A\subseteq\{1,\dots,N\}$ has no solutions to $a-a'=n\lfloor\sqrt[3]2n\rfloor,$ for distinct $a,a'\in A,$ and $n\in \mathbb{N}.$ We show that $|A|\ll N^{1-c}$ for some absolute constant $c>0.$ To do this, we prove quantitative bounds on the van der Corput property for certain sets of bracket quadratics. This comes as a consequence of establishing exponential sum estimates for these sets, utilising a theorem of Green and Tao on the quantitative equidistribution of polynomial orbits on nilmanifolds, closely following the approach of Neale who went on to prove a Waring-type result. We also extend our result to differences avoiding a family of bracket polynomials (also known as generalised polynomials).
Mutually orthogonal anti-Latin squares
Anti-Latin squares were introduced in connection with non-linear secure network coding, and the extremal problem for large mutually orthogonal families is motivated by that setting. We study the maximum size $N_A(d)$ of a family of mutually orthogonal anti-Latin squares of order $d$. We prove that $N_L(d)+1\le N_A(d)\le N_L(d)+2$ for every $d\ge 3$, where $N_L(d)$ denotes the classical maximum size of a family of mutually orthogonal Latin squares of order $d$, and we show that in fact $N_A(3)=N_L(3)+1$ whereas $N_A(d)=N_L(d)+2$ for every $d\ge 4$. The upper bound is obtained by passing through balanced matrices, while the lower bound is given by a deterministic permutation argument. For all $d\ge 8$, and also for the exceptional order $d=6$, the upper bound is shown to be attainable by a general probabilistic construction. On the structural side, we show that a saturated family of size $d+1$ induces an affine plane of order $d$, and that the saturated case is characterized by the existence of an anti-coordinate grid decomposition; after transporting this condition to the fixed cell set $[d]^2$, it becomes a direction-completeness condition on the corresponding row-blocks and column-blocks. The remaining small orders are treated separately: $d=3$ is handled by direct analysis and classification of orthogonal triples, $d=4$ by an explicit saturated construction and an analysis of its finite-geometric structure, and $d=5$ and $d=7$ by explicit saturated examples arising from the random-grid framework. Thus $N_A(d)$ is determined in terms of $N_L(d)$ for every $d\ge3$, and its numerical value is obtained explicitly for every $3\le d\le9$.
Calculus of the Facial Distance
We develop a few calculus rules to compute or lower bound the facial distance of a polytope. We illustrate our calculus rules on various popular polytopes. In particular, we provide a provide a lower bound on the facial distance of the Birkhoff polytope.
A Chvátal--Erdős type condition for supereulerian digraphs with $α_{2}=4$
A digraph is \textbf{supereulerian} if it contains a spanning closed trail. Let $α_2(D)$ denote the maximum cardinality of a vertex set inducing no 2-cycle. In this paper, we characterize supereulerianity in a strong digraph $D$ with $α_2(D)=4$ by proving that a strong digraph $D$ with $α_2(D)=4$ and $λ(D)\ge 2$ is supereulerian if and only if $D$ does not belong to an exceptional family $\mathcal H$ of $2$-arc-strong digraphs with $α_2(D)=4$. Furthermore, every strong digraph satisfying $α_2(D)=4$ and $λ(D)\geq3$ is supereulerian.
Cluster Geometry of Universal Schubert Polynomials I: Geometric Bases and Schubert Transitions
We study Fulton's universal Schubert polynomials $\mathfrak S_w(c)$ as regular functions on the upper unitriangular group $U_N$. The standard triangular cluster structure associates a Schubert $\sf g$-vector to every permutation. Their convex hull is unimodularly equivalent to $Δ_1\times\cdots\timesΔ_{N-1}$, and their root-degree fibers are parabolic Bruhat intervals realized by the strata of staircase quiver Grassmannians. The geometric (i.e., generic, canonical, and Mirković--Vilonen) elements indexed by these vectors form integral bases of Fulton's standard-elementary module. We prove that $\mathfrak S_w(c)$ is homogeneous under diagonal conjugation if and only if it is the corresponding canonical element, and that homogeneity of $\mathfrak S_w(c)$ implies $Λ_Q$-rigidity of $Z_{\sf g_w}$. We also classify simultaneously the unit columns of the geometric-to-Schubert transitions, determine support components of the PBW-to-geometric and code-to-Schubert transitions, and exhibit a permutation $w\in S_{10}$ for which the three geometric basis elements are distinct.
On $(1,2^4)$ and $(1,2^5)$-packing edge-coloring of sparse subcubic graphs
A $(1^j,2^k)$-packing edge-coloring of a graph $G$ is a partition of the edge set $E(G)$ into $j$ matchings and $k$ induced matchings. Hocquard, Lajou, and Lu\v zar found a subcubic planar graph of girth $3$ that has no $(1,2^5)$-packing edge-coloring and also conjectured that every subcubic planar graph has a $(1,2^6)$-packing edge-coloring. We also notice that for every fixed positive integer $k$ there exists a subcubic planar graph with girth $k$ that is not $(1,2^3)$-packing edge-colorable.
It is natural to consider what is the minimum positive integer $k_1$ such that every subcubic planar graph with girth at least $k_1$ is $(1,2^5)$-packing edge-colorable. Furthermore, we also consider what is the minimum positive integer $k_2$ such that every subcubic planar graph with girth at least $k_2$ is $(1,2^4)$-packing edge-colorable. In this paper, we show both $k_1$ and $k_2$ are finite, and in fact $5 \le k_1 \le 12$ and $6 \le k_2 \le 16$.
Resolvable quantum Latin squares with maximal cardinality
A resolvable quantum Latin square of order $n$, denoted by $\text{RQLS}(n)$, is a quantum Latin square admitting $n$ pairwise disjoint transversals. By employing complete mappings and extending the classical singular direct product construction to the quantum setting, we determine the existence of maximal-cardinality $\text{RQLS}(n)$s with $17$ possible exceptions.
Cyclically Compatible Deformations of the Braid Arrangement
We prove a characteristic-polynomial shift formula for two-sided extensions of cyclically compatible deformations of the braid arrangement. For a nonnegative integer matrix $M=(m_{ij})$ with zero diagonal, let $\mathcal{A}_M$ be the arrangement \[
x_i-x_j=s,\qquad 1\le i<j\le n,\quad
s\in[-m_{ij},m_{ji}]_{\mathbb{Z}}. \] Given $α,β\in\mathbb{N}^n$, define its two-sided extension $\mathcal{A}_M(α,β)$ by replacing this interval with \[
[-m_{ij}-α_i-β_j,\,
m_{ji}+α_j+β_i]_{\mathbb{Z}}. \] Call $M$ cyclically compatible if all pairwise distinct $a,b,c$ with $1\le a,b,c\le n$ satisfy \[
m_{ac}\le m_{ab}+m_{bc}+1. \] Under this condition, for the reduced characteristic polynomial $\widetildeχ(\mathcal{A},t) =\dfrac{χ(\mathcal{A},t)}{t}$, we have \[
\widetildeχ(\mathcal{A}_M(α,β),t)
=
\widetildeχ(\mathcal{A}_M,t-|α|-|β|). \] The proof uses the finite-field method and a cyclic-gap enumeration formula. We also establish redistribution invariance, study weak-sum perturbations, and give applications to Shi, uniform interval, graphical, and Ferrers-type deformations.
On Some More Problems from the Kourovka Notebook
We give solutions to several problems in combinatorial group theory recorded as open in the literature. Our main source is the Kourovka Notebook, although we also consider questions from elsewhere. All solutions were found with the assistance of large language models and checked by the authors.
Eulerian triangle is totally positive of order 3
Brenti conjectured that the Eulerian triangle is totally positive. In this paper, we prove that the Eulerian triangle is totally positive of order 3, thereby providing a partial affirmative answer to Brenti's conjecture. In addition, we establish total positivity of order 3 for several families of generalized Eulerian triangles.