math.CO ↗ arXiv
7121 papers in this category
An $O(t\log^2 t)$ Bound for $k$-Connected Subgraphs in Dense $K_t$-Minor-Free Graphs
Delcourt and Postle reduced the Linear Hadwiger Conjecture to coloring $K_t$-minor-free graphs on $O(t\log^4 t)$ vertices. An important theorem in their proof process asserts that every sufficiently dense $K_t$-minor-free graph contains a small, highly connected subgraph. In this paper, we show that such a subgraph can be chosen to be smaller. More precisely, there exists an integer constant $C \ge 1$ such that, for all integers $t \ge 3$ and $k \ge t$, every $K_t$-minor-free graph $G$ with $d(G) \ge Ck$ contains a nonempty $k$-connected subgraph $H$ satisfying $v(H) \le C^2 t\log^2 t$. Thus the structural bound improves from $O(t\log^3 t)$ to $O(t\log^2 t)$, and the graphs occurring in the reduction have order $O(t\log^3 t)$ rather than $O(t\log^4 t)$.
Critical-exponent stratification and inverse realization on biregular trees
For free type-preserving discrete actions on the biregular tree $\mathcal T_{r+1,s+1}$, we stratify the critical-exponent spectrum by quotient complexity. The unrestricted spectrum is the full interval $[0,\frac12\log(rs)]$, whereas the finitely generated spectrum is countable and dense and is encoded by the Hashimoto radii of finite typed cores. At fixed rank, finitely many typed kernels parametrize all values, and every nonzero accumulation belongs to a lower-rank stratum. Rank two admits a complete effective inverse classification through the figure-eight, theta, and dumbbell polynomial families.
The Ehrhart series of magic squares of order seven
Let $\mathrm{IMS}_n(m)$ denote the number of $n\times n$ nonnegative integer matrices whose row sums, column sums, and two main diagonal sums are all equal to $m$. We determine the Ehrhart series $F_7(q)=\sum_{m\ge 0}\mathrm{IMS}_7(m)q^m$ as a reduced rational function. The denominator has degree $373$ and cyclotomic factors of order at most $15$; the numerator is a palindromic polynomial of degree $366$ with nonnegative integer coefficients.
Using the SimpCone decomposition, the associated polytope is represented as a sum of $166$ million signed simplicial cones. The LRQC evaluator computes their generating functions over finite fields; a typical cone requires only one or two quotient characters, and the cost per character is nearly linear in the truncation degree $T$. An explicit common denominator together with Ehrhart reciprocity reduces the rational reconstruction to the prefix up to $T=1256$, while an explicit counting bound supplies the coefficient bounds needed for deterministic lifting from the prime fields to $\mathbb Z$. This prefix is independently computed for the whole cone family in eight prime fields. Exact Chinese remaindering lifts the verified residues to equality over $\mathbb Z$, the finite-prefix criterion proves the rational identity, and exact polynomial gcds prove that the displayed denominator is reduced.
Frieze patterns and aperiodic tilings of the plane
This short note provides two examples of aperiodic frieze patterns of the plane, supported on the rhombic Penrose tiling and the Godrèche--Lançon--Billard tiling. That is, we provide a decoration of their vertices with positive integers which satisfy the diamond rule, in analogy to the usual (in)finite frieze patterns as defined by Conway and Coxeter.
A Weighted Sum Formula for Double Eisenstein Series
We prove a weighted sum formula for double Eisenstein series. Its corresponding identity for the generating series of multiple divisor sums was conjectured by the author in his master's thesis. The double Eisenstein series identity follows from the restricted double-shuffle relations proved by the author and Tasaka, while the proof of the divisor-sum identity is combinatorial and uses generating series.
A six-neuron counterexample to the target-free clique conjecture
The target-free clique conjecture asserts that the supports of stable fixed points of a nondegenerate combinatorial threshold-linear network (CTLN) are exactly its target-free cliques: bidirected cliques for which no outside vertex receives an edge from every clique vertex. We give an explicit six-neuron counterexample. For every sufficiently small $\varepsilon>0$, the CTLN defined by one fixed graph at $δ=29\varepsilon/25$ is nondegenerate and has a stable fixed point with nonclique full support. Its values of $q=δ(1-\varepsilon)/\varepsilon$ tend to $29/25$. In the complementary direction, for any CTLN on $n\geq3$ vertices, we prove that in the parameter range \[
q\geq n-2-\frac{n-3}{2}\varepsilon, \] no nonclique support can satisfy both the fixed-point positivity and linear stability conditions. Consequently, throughout this range, every nondegenerate CTLN has exactly its target-free cliques as supports of stable fixed points. In particular, this holds when $\varepsilon\leqδ/(δ+n-2)$.
Selection-structure generalizations of the Borsuk-Ulam theorem
We prove Borsuk-Ulam-type results governed by selection structures. Selection structures extend the matroidal framework for colorful theorems in discrete geometry and include non-matroidal examples such as chessboard complexes.
Motivated by Frick and Wellner's Radon-type strengthening of Fan's theorem and its colorful variants, we prove selection-structure analogues whose conclusions are determined by Radon partitions. We also prove a prime-power selection-structure covering version of Volovikov's theorem, governed by Tverberg partitions. We include applications to fair partitions, including selection-structure versions of the ham sandwich and necklace splitting theorems.
Homotopy types of intervals in corank-three higher Bruhat orders
We prove Reiner's conjecture for higher Bruhat orders in corank 3: the facial intervals of B(n,n-3) are precisely the spherical intervals, and all other intervals are contractible.
A lower bound on the growth rate of $(132,213)$-avoiding cyclic permutations
We construct a new reduction process which takes a $(132,213)$-avoiding permutation to a shorter one that is cyclic if and only if the original was. Iterating it determines whether a given $(132,213)$-avoiding permutation is cyclic. Reversing it gives four moves that build every cyclic $(132,213)$-avoiding permutation, uniquely, from $1$ if $n$ is odd, and $21$ if $n$ is even. Our main application is the first non-trivial lower bound for the growth rate of $\mathcal{C}_n(132,213)$, the cyclic permutations of length $n$ avoiding $132$ and $213$. We also give several other consequences of the reduction, including a bijection between the odd and even size classes and an exact enumeration for those permutations with a restricted number of layers.
Fatness and Flatness
Fat minors are the metric analog of graph minors that are tailored to the analysis of metric (edge-weighted) graphs and, more generally, metric spaces having a suitable notion of shortest paths. Despite a large interest in this notion, not much is known about the structure of metric graphs excluding a fixed fat minor.
We prove that if a metric graph $G$ excludes a fixed graph $H$ as a $δ$-fat minor, for some $δ>0$, then $G$ enjoys the metric analog of flatness (aka uniform quasi-wideness) - a structural property from the field of Sparsity. In essence, our flatness result says that for any $α\geq β$ large enough compared to $δ$, in every large enough set $A$ in $G$ one can find a sizable subset $B$ that becomes $α$-scattered after removing a bounded number of balls of radius $β$. We call this property drill-flatness. Notably, the proof only relies on excluding shallow fat minors: every branch set has radius at most $2α$.
As a corollary, we prove that metric graphs that exclude a fixed $δ$-fat minor have bounded $\varepsilon$-scatter dimension if we consider only $\varepsilon$-scatters at distances large enough compared to $δ$. By combining this with the results of Abbasi et al. [FOCS 2023], we infer that the $k$-Center problem on instances excluding $H$ as a $δ$-fat minor admits an approximation algorithm that finds a solution of cost at most $(1+\varepsilon)\cdot\mathsf{OPT}+{\cal O}(δ/\varepsilon^2)$ in time ${\cal O}_{H,\varepsilon}(n^{{\cal O}(1)})$. This is one of the first algorithmic results for general fat-minor-free metrics.
We also study drill-flatness in hereditary classes of (unweighted) graphs, where we obtain a characterization equating drill-flatness with excluding shallow induced minors. This is an induced analog of the equivalence between flatness and nowhere denseness - one of central results of Sparsity.
Symmetries of (3, 6)-Fullerenes
A (3, 6)-fullerene is a cubic planar graph whose faces all have 3 or 6 sides. We give an exact enumeration of (3, 6)-fullerenes with V vertices and each of five possible symmetry types: *332, 332, 2*2, *222, and 222, in orbifold notation. We use this enumeration, together with some constructions, to resolve three conjectures about the existence of (3, 6)-fullerenes with 2*2$, *222, and 222 symmetry for given numbers of vertices.
Adjacency-degree algebras and spectral determination of graphs
McKay proved that the spectra of all polynomial functions of the adjacency matrix $A$ and the diagonal degree matrix $D$ determine a tree. We prove a principal version of this theorem. Let $\mathcal A(G)=\langle I,A_G,D_G\rangle$ and let $M_G=\mathcal A(G)\mathbf1$ be the cyclic module generated by the all-ones vector. For connected graphs the ideal $\mathcal A(G)J\mathcal A(G)$, where $J=\mathbf1\mathbf1^T$, acts on $M_G$ as the full endomorphism algebra. We show that every forest satisfies $M_G=U_G$, the automorphism-orbit module, and that the induced algebra on the orbit quotient of a tree is a full matrix algebra. It follows that the scalar moments $\mathbf1^Tw(A_T,D_T)\mathbf1$ determine every tree. For general graphs these moments are degree-decorated caterpillar homomorphism counts. The resulting moment-rigidity class lies inside the amenable, compact, refinable hierarchy of color refinement, and its first small-order failures are ten-vertex integral switchings invisible to $M_G$.
Chromatic symmetric functions of claw-free graphs are not Schur positive
Chromatic symmetric functions are well-studied symmetric functions in algebraic combinatorics that generalize chromatic polynomials of graphs. In 1995, Stanley introduced these symmetric functions and conjectured that they are Schur positive for claw-free graphs. We give examples of a line graphs, which are thus claw-free, whose chromatic symmetric function have a negative coefficient in its Schur expansion. We also give a counterexample to the 2018 conjecture of Monical that Schur positive chromatic symmetric functions have saturated Newton polytope when expanded in any finite number of variables. Both of these examples were found using ChatGPT-5.6 Sol Pro.
Interval Garside groups arising from involutions in finite reflection groups
We identify and study the interval Garside groups arising from the restriction of the absolute order on a Coxeter group to a lattice $[1,w]_T$, where $w$ is an involution. Those involutions $w$ for which $[1,w]_T$ is a lattice were previously classified by the second author; every such involution lies in the center of the parabolic subgroup generated by $[1,w]_T$. Except in type $B_n$, the obtained groups are isomorphic to (decomposable) right-angled Artin groups. We also investigate the situation for some finite complex reflection groups, mostly in rank two, taking for $w$ a (not necessarily involutive) central element.
Improved lower bounds for the Shannon capacity of odd cycles
The Shannon capacity $Θ(G)$ of a graph $G$ quantifies the maximum rate at which information can be transmitted with zero error over a noisy channel. It is lower bounded by $α(G^d)^{1/d}$ for any $d$, where $α(G^d)$ is the independence number of the $d$-th strong power of $G$. We construct independent sets of size $134753$ in $C_7^{10}$, $21909$ in $C_{11}^{6}$, and $62530$ in $C_{13}^{6}$, improving the best known lower bounds for the Shannon capacity of these graphs to $Θ(C_7)\geq 134753^{1/10}>3.258020$, $Θ(C_{11})\geq 21909^{1/6}>5.289773$, and $Θ(C_{13})\geq 62530^{1/6}>6.300109$. We also improve the best known lower bounds on the independence numbers of several individual strong powers of odd cycles that do not improve the Shannon capacity lower bound. The constructions were discovered through iterative interactions with a Large Language Model (LLM), illustrating the potential of LLMs for finding explicit combinatorial constructions.
A new recursive construction for large sets of Kirkman triple systems
We give a recursive construction of an LKTS(7q + 2) from an LKTS(q + 2) and an auxiliary permutation structure on an abelian group of order q, which we call a cubic orthomorphism. We prove that cubic orthomorphisms exist whenever q is a product of prime powers congruent to 1 modulo 6. The construction yields, in particular, LKTSs of orders 93, 177, 219, 261, and 303.
Arithmetic progressions in a random set on a budget
A restricted-budget version of the random graph process, introduced by Frieze, Krivelevich, and Michaeli in 2025, studies the construction of structures by an online player who can purchase only a limited number of random edges. In this paper, we transfer this framework from random graphs to random subsets of integers, focusing on the construction of $k$-term arithmetic progressions. A player, Builder, is presented with a sequence of $t$ integers drawn uniformly at random from $[n]$. As the elements are revealed one by one, Builder must immediately and irrevocably decide whether to select the current integer, subject to a maximum budget of $b$ selected elements in total. We establish the optimal thresholds for this process, proving that for $t = ω(n^{1-2/k})$, a budget of $b = Θ((n/t)^{\frac{k-2}{2}})$ is both necessary and sufficient for Builder to successfully construct a $k$-term arithmetic progression with high probability.
Tight Hamilton Cycles in Linearly Quasirandom 3-Graphs
We study tight Hamilton cycles in linearly quasirandom 3-graphs. An $n$-vertex 3-graph $H$ is $(p,μ)$-dense if $e_H(X,Y,Z)\ge p|X||Y||Z|-μn^3$ for all $X,Y,Z\subseteq V(H)$. Ara{ú}jo, Piga and Schacht asked whether $p,α>1/4$ together with $δ_2(H)\geαn$ force a tight Hamilton cycle. We give a negative answer: for every $\varepsilon,μ>0$ and all sufficiently large $n$, there exists an $n$-vertex $(p_0-\varepsilon,μ)$-dense 3-graph $H$ with $δ_2(H)\ge(p_0-\varepsilon)n$ and no tight Hamilton cycle, where $p_0:=\max_{0\le x\le1}\min\{x^3,1-x\}\approx0.317672$.
For every $p>1/3$, we determine the asymptotically sharp minimum-codegree threshold. Writing \[
δ_0(p)=
\left(\frac{1-\sqrt{(4p-1)/3}}{2}\right)^2, \] we prove that every sufficiently large $(p,μ)$-dense 3-graph $H$ with $δ_2(H)\geαn$ contains a tight Hamilton cycle whenever $α>δ_0(p)$ and $μ$ is sufficiently small. A matching construction shows that this threshold is best possible. The proof uses absorption together with a new fixed-length connecting lemma based on a regular slice, a directed pair-state graph, and a finite scalar lemma.
The Frankl--Tokushige product conjectures for $r$-cross-intersecting families
We settle the uniform and biased product conjectures of Frankl and Tokushige for $r$-cross-intersecting families. Let $r\geq2$, let $0\leq k_i\leq(r-1)n/r$, and let $\mathcal{F}_i\subseteq\binom{[n]}{k_i}$ be $r$-cross-intersecting. We prove the sharp inequality $$\prod_{i=1}^r\frac{|\mathcal{F}_i|}{\binom{n}{k_i}}\leq \prod_{i=1}^r\frac{k_i}{n},$$ with equality attained by the corresponding levels of a common $1$-star. As a consequence, we obtain the analogous $p_i$-biased measure theorem for $0\leq p_i\leq(r-1)/r$, $$ \prod_{i=1}^rμ_{p_i}(\mathcal{F}_i)\leq \prod_{i=1}^r p_i.$$The main difficulty is that unequal parameters do not determine a single common target level; instead, the target levels $\ell_1,\ldots,\ell_r$ must satisfy $\sum_{i=1}^r \ell_i=(r-1)n$. We overcome this asymmetry in three steps. An ordered-partition coupling gives a sharp additive inequality for every such choice of target levels. A star-calibrated upper-shadow inequality relates the density of a family on its original level to the density of its upper shadow on a suitably chosen target level; it is proved by induction on $n$, with the induction step reduced to a two-point inequality. Finally, an analytic inequality shows that the resulting asymmetric additive estimate implies the required product bound. Perhaps surprisingly, the coupling captures all the combinatorial information of cross-intersection, reducing the remainder of the proof to an analytic argument.
Gauss Circle Lattices with Geometric Convolutions for Synthesizing High Dimensional Image-Source Room Impulse Responses
Published in Proceedings of the 29th International Conference on Digital Audio Effects 2026. ISSN: 2413-6689
• Search Publication
The image-source model (ISM) is a widely adopted method for efficiently simulating acoustic room impulse responses (RIRs) under specular reflection assumptions. Acoustic paths between source and receiver are traced to lattice points computed from successive reflections over bounding planes of the room. Rectangular rooms bound the total number of image-sources to be polynomial in the RIR's duration or distance $k$ equivalent, with degree equal the number of room dimensions $N$. Direct ISM simulations are therefore compute upper-bound by $O \left ( k^N \right )$, and consider only cases of $N \leq 3$ for tractability and real-world applications. This work proposes an alternative computational method that lowers the asymptotic compute bound to $O \left ( N k^2 \log k \right )$ for integer coordinates and room dimensions via reducing ISM lattice point counting to the classic Gauss circle problem (GCP). We extend the lattice counting model to frequency-dependent and reflection weighted image-sources in higher dimensions, relating solutions between successive dimensions via the convolution operator. Two constructions for realizing RIRs are presented, along with time-frequency controls, error and run-time analysis, and RIR statistics.