Showing 20 papers (Total: 82851 papers, 47869 authors in database)
The face lattice of any simplicial polytope is Hamiltonian
We show that the face lattice of any simplicial polytope is Hamiltonian. This proves a major part of a recent conjecture by \citeauthor{Listingfaces} which states that the face lattice of any polytope is Hamiltonian (SODA26). We use a line shelling in both directions to obtain two different decompositions of the face lattice into disjoint cubes, which allows the application of a theorem by Gregor to obtain the Hamilton cycle.
Fractal Hyper-Trees: Combinatorial Enumeration, Symmetry Properties, and Ultrametric Structures
This paper introduces and formalizes Fractal Hyper-Trees (FHT), a novel class of hypergraphs characterized by deep recursive inclusion hierarchies and controlled relational textures. Moving beyond classical graph-theoretic frameworks, we establish an axiomatic foundation for FHTs and investigate their combinatorial enumeration, revealing explicit connections to OEIS sequence A398931. Furthermore, we analyze the structural symmetry properties via automorphism groups, examine the resulting global hierarchical ultrametric topologies, and discuss asymptotic perspectives, including vertex substitution operators and heuristic parallels with $p$-adic integer rings.
Local unitary equivalence of orthogonal arrays and related linear codes
Orthogonal arrays (OAs) are combinatorial configurations with applications in experimental design, error-correcting codes, and quantum information. Local unitary (LU) equivalence provides a natural framework for classifying multipartite entangled states. Using the correspondence between OAs and quantum states, Goyeneche and Życzkowski [Phys. Rev. A, 2014, 90: 022316] posed the problem of determining when OAs are $LU$ equivalent. In this paper, we construct OAs from generator matrices and establish conditions for Fourier-based $LU$ equivalence of OAs and irredundant orthogonal arrays (IrOAs). For prime alphabets, we identify the Fourier partners of the linear OAs considered here with the arrays of their corresponding dual codes. This gives an explicit connection between $LU$ equivalence and coding theory. We also identify families of $LU$ equivalent OAs arising from specific classes of linear codes.
The small Davenport constant of $H_{27}\times C_3^r$
Let $H_{27}=\mathrm{UT}_3(\mathbb{F}_3)$ be the nonabelian group of order $27$ and exponent $3$. We prove that $\mathsf{d}(H_{27}\times C_3^r)=2r+6$ for every integer $r\geq0$. The proof combines an affine coefficient identity in the group algebra of an elementary abelian group with a decomposition of the nonorthogonality graph of $\mathbb{F}_3^2$ into eight edge-disjoint zero-sum triangles. It is uniform in $r$, does not use the value of the small Davenport constant for a smaller nonabelian group, and requires no computational enumeration.
Nearly Spanning Regular Subgraphs
Alon and Mubayi asked whether, for every integer $k\ge1$ and every $\varepsilon>0$, there exists $r_0=r_0(k,\varepsilon)$ such that every $r$-regular graph on $n$ vertices with $r\ge r_0$ contains a $k$-regular subgraph covering at least $(1-\varepsilon)n$ vertices. Previously, the conjecture was known for $k\in\{1,2\}$ and for $k$ and $r$ both even. We answer this question affirmatively for general $k$ and $r$ with $\varepsilon=O_k(r^{-1/2})$. For $k=2$ and every odd $r\ge3$, we show that $\varepsilon=1/(r^2-3)$ suffices which is best possible.
The resonance graphs of nanotubes and toroidal polyhexes
Coronoid systems, nanotubes and toroidal polyhexes (or fullerenes) can all be regarded as carbon networks composed of carbon atoms linked in hexagonal shapes. The resonance graphs of coronoid systems and nanotubes are not necessarily connected. For coronoid systems and elementary nanotubes, by using flow across cuts the present authors gave criteria for two perfect matchings lying in the same connected component of the resonance graph (Discrete Appl. Math. 395 (2026) 443-455). However, the sufficiency of such criterion does not hold for general nanotubes and toroidal polyhexes. In this paper we strengthen this requirement to obtain valid criteria for two perfect matchings of a nanotube (resp. toroidal polyhex) to lie in the same connected component of its resonance graph: they have the same flows across cuts along the $x$-axis (resp. longitude and latitude) and the same ladders. For toroidal polyhexes, our method uses homotopic classes of simple loops on the torus, and the above criterion can be simplified by using only simple flows, for the case in which two perfect matchings have alternating hexagons.
Spreads of degrees in graphs
For a graph $G$ and a set $B\subseteq V(G)$, the spread $\mathrm{sp}(B)$ of $B$ is the difference between the largest and the smallest degree in $G$ of a vertex of $B$, and for an integer $k\geq0$ the parameter $\mathrm{sp}(G,k)$ is the largest cardinality of a set $B$ with $\mathrm{sp}(B)\leq k$. Caro, Lauri and Zarb derived a lower bound for $\mathrm{sp}(G,k)$ and, among several families of graphs, considered \[ \mathrm{MOP}(n,k)=\min \{\mathrm{sp}(G,k):G\text{ is a maximal outerplanar graph of order }n\} \] and determined $\mathrm{MOP}(n,k)$ up to an additive constant for every $k\not =2,$ leaving the case $k=2$ open, with the bounds $4n/9\leq \mathrm{MOP}(n,2)\leq (5n+19)/11$. We first prove a lower bound on $\mathrm{sp}(G,k)$ for an arbitrary graph $G$ in terms of its order $n$, its number of edges $m$ and its minimum degree $δ$. This lower bound contains the bounds of Caro, Lauri and Zarb and, for $k=0$, the bound $\mathrm{rep}(G)\geq \left\lceil n/(2d-2δ+1)\right\rceil $ of Caro and West, where $d=2m/n$. We determine when this lower bound is attained, exhibit explicit graphs attaining it, and show that it is exact for all graphs once $n\geq n_{0}(δ,k,d)$. We then apply the bound to maximal outerplanar graphs: adjusting the count to this class we prove \[ \mathrm{MOP}(n,2)\geq \left\lceil \frac{4n+10}{9}\right\rceil \qquad \text{for every }n\geq 14, \] with equality for $n\equiv 2\ (\mathrm{mod}\ 18)$, and $\mathrm{MOP}(n,2)=4n/9+O(1)$ for every $n$.
Chow Vanishing and Motives of Cluster Varieties
We prove that the integral Chow groups $CH^i$ and mixed Hodge degree $H^{2i, (i, i)}$ cohomology groups of really full rank (RFR) sink-recurrent cluster varieties vanish for $i > 0$. In particular this applies to braid varieties and open Richardson varieties in any Lie type. Our main tool is the construction of a stratification of any RFR sink-recurrent cluster variety $\mathcal{A}(Σ)$ into (affine spaces times) RFR sink-recurrent cluster varieties of seeds with fewer mutable vertices than $Σ$.
We employ the theory of Voevodsky motives, and towards this end we prove that the cycle class maps are isomorphisms onto the lowest-weight part of rational Borel-Moore homology for any mixed Tate variety over a number field. We then show that RFR sink-recurrent cluster varieties have mixed Tate and, in fact, split motives. Finally, we use our results to deduce vanishing theorems about the Khovanov-Rozansky homology groups of closures of positive braids and generation properties of the cohomology of closed Richardson, projected Richardson, and brick varieties.
On 2-distance-transitive circulant digraphs
Circulant digraphs form a prominent class of Cayley digraphs defined on finite cyclic groups. Building on the existing classification of $2$-arc-transitive circulant graphs, this paper presents a complete classification of $2$-distance-transitive circulant digraphs. Our main theorem establishes that every connected $2$-distance-transitive circulant digraph is isomorphic to one of the following: the undirected cycle $C_n$, the complete bipartite graph $\K_{\frac{n}{2},\frac{n}{2}}$, the complete multipartite graph $\K_{m[b]}$ with $m\geq 3,b\geq 2$, the graph $\K_{\frac{n}{2},\frac{n}{2}}-\frac{n}{2}\K_2$ for odd $\frac{n}{2}$, prime-order Paley graphs, the directed cycle $\overrightarrow{C}_n$, the oriented graph \(G(p^m,r)\) satisfying Condition~\ref{p-power-normal-2dt-cond}, the oriented graph \( C_r(b,1)\) with $r\geq 3,b\geq 2$ and $rb=n$, the lexicographic product oriented graph \( G(p^m,r)[\overline{\K}_d]\) where \(G(p^m,r)\) obeys Condition~\ref{p-power-normal-2dt-cond}.
Paths maximize the expected range of graph-indexed random walks
We prove that a path maximizes the expected range of a uniformly chosen graph homomorphism into the integers, with one vertex pinned at zero, among all connected bipartite graphs of the same order. This establishes the expectation form of the Benjamini--Häggström--Mossel conjecture. The proof restricts and rescales a homomorphism on each bipartition class, then contracts the edges on which the resulting height function is constant. A quantitative estimate for the rank of these zero edges compensates for a parity term in the expected range of a simple random walk, allowing an induction on the number of vertices. We then prove that the BHM inequality implies the Loebl--Ne\v set\v ril--Reed inequality for uniformly chosen integer 1-Lipschitz functions on arbitrary connected graphs, and hence obtain the LNR conjecture as a corollary of BHM. The proof was obtained through interaction with OpenAI GPT-6 Astra and verified by the author. The main results have also been formalized and checked in Lean~4.
Improved Algorithms for Beck--Fiala with Bounded Sets
We give an efficient algorithm with improved algorithmic guarantees for the (offline) Beck--Fiala problem when the sets have bounded size. Let $A$ be an arbitrary matrix $A\in\{0,1\}^{m\times n}$ with at most $d$ ones per column and at most $s$ ones per row. Let $\log^*$ denote the iterated logarithm and $\ell_j$ denote the $j$-fold composition of log. Assume $s\le\exp(O(\sqrt d))$. We provide an efficient algorithm that, for arbitrary sparsity $d$, gives $O(\sqrt d(1+\log^*n))$ discrepancy. Moreover, if $d\ge\ell_j(n)$ for a fixed integer $j\ge1$, the algorithm gives $O_j(\sqrt d)$ discrepancy. The proof is a bootstrapping scheme using the Bansal-Jiang algorithm.
On integral polytopes related to Edmonds' problem
In this paper, we study polyhedral aspects on commutative and noncommutative Edmonds' problems for computing the rank of linear symbolic matrix $A = \sum_{k=1}^m A_k x_k$. We regard them as linear optimization over integral polytopes ${\cal P}(A)$ and ${\cal Q}(A)$, respectively, which are obtained by the convex hulls of exponent vectors of subdeterminants of~$A$ and its blow-ups $A^{\{d\}} = \sum_{k=1}^m A_k \otimes X_k$ $(d=1,2,\ldots)$. By extending previously known results on nc-rank, we establish a hierarchy of integral polytopes ${\cal P}(A) \subseteq {\cal P}^{\leq 2}(A) \subseteq {\cal P}^{\leq 3}(A) \subseteq \cdots = {\cal Q}(A)$ and show that the integrality gap of ${\cal Q}(A)$ relative to ${\cal P}(A)$ is at least $1/2$. Further, we show that if each $A_k$ is rank-2 skew-symmetric, then the above hierarchy terminates at the second level and the integrality gap is improved to $2/3$.
Maximum and Minimum Spectral Radii in an Exceptional Family for Edge-Disjoint Spanning Trees
For a connected graph $G$, let $τ(G)$ denote the maximum number of pairwise edge-disjoint spanning trees, and let $ρ(G)$ be its adjacency spectral radius. For integers $n\ge1$, $k\ge2$, and $k\leδ\le2k-1$, let $\mathcal{G}_{n,δ}$ be the class of connected $n$-vertex graphs with minimum degree $δ$, and let $\mathcal{L}_{\mathcal{H}}^{2}(n,k,δ)\subseteq\mathcal{G}_{n,δ}$ be the exceptional family introduced by Chang, Li, and Zhang. For sufficiently large $n$, the sharp adjacency-spectral threshold for $τ(G)\ge k$ is determined by maximizing $ρ(G)$ over this family.
Set $h=δ-k$. For each fixed admissible pair $(k,δ)$ and all sufficiently large $n$, we determine the maximum and minimum adjacency spectral radii in $\mathcal{L}_{\mathcal{H}}^{2}(n,k,δ)$. In the core--placement representation, let $M$ be the missing-edge graph of the bounded core. For $h\ge2$, the unique maximizer, up to isomorphism, satisfies $M\cong K_{1,h}\cup(h+1)K_1$, with the exceptional edges nested on the large-clique side. Hence the matching configuration proposed in Conjecture~2 of Chang--Li--Zhang is not extremal. For every $h\ge1$, the unique minimizer satisfies $M\cong hK_2\cup2K_1$, with the $2h$ exceptional edges having distinct endpoints on the large-clique side. We also settle the cases $h=0,1$ and all equality cases.
The proof combines an exact core--placement parametrization with a uniform Schur-complement resolvent expansion. The first candidate-dependent coefficient is affine in $\sum_{x\in V(M)}d_M(x)^2$, while the first placement-sensitive coefficient is a squared-load functional. Equitable quotient matrices yield the two extremal radii, and the maximizing graph gives the sharp global adjacency-spectral threshold.
Unimodality for IDP Lattice Simplices of Prime Normalized Volume
Recently, Ferroni constructed a family of counterexamples to the well-known conjecture in Ehrhart theory stating that the $h^*$-polynomial of a lattice polytope with the integer decomposition property is unimodal. This raises the question of whether the $h^*$-polynomial of a lattice simplex with the integer decomposition property remains unimodal. In this note, we prove that every lattice simplex with the integer decomposition property and prime normalized volume has a unimodal $h^*$-polynomial. Furthermore, we establish several sufficient conditions for the unimodality of the $h^*$-polynomial of such simplices.
Ordered matchings versus triangles via pseudorandom triangle-free graphs
For ordered graphs $H_1,\ldots,H_t$, let $\rt(H_1,\ldots,H_t)$ denote the least integer $N$ such that every $t$-coloring of the edges of the naturally ordered complete graph on $[N]$ contains an ordered copy of $H_i$ in color $i$ for some $i\in[t]$. We prove that a uniformly random ordered matching $M$ on $n$ vertices with interval chromatic number two asymptotically almost surely satisfies \[
\rt(K_3,M)
=Ω\left(\frac{n^{4/3}}{(\log n)^{1/3}}\right). \] This strengthens the lower bound $Ω((n/\log n)^{5/4})$ of Balko and Poljak for such random matchings and improves the general existential lower bound of Conlon, Fox, Lee and Sudakov by a factor of $\log n$. The proof combines pseudorandom triangle-free graphs, a coarse encoding of order-preserving embeddings, and a permutation avoidance estimate derived from Brègman's inequality.
Condorcet-type properties of the linear ordering problem with ties
The Kemeny rule aggregates multiple strict rankings into a single strict ranking that minimizes the sum of its distances from the input rankings. The resulting optimization problem, called the Kemeny problem (\texttt{KP}), is a special case of the linear ordering problem (\texttt{LOP}). The Kemeny rule satisfies several desirable properties in social choice theory, including the extended Condorcet criterion (\texttt{XCC}). Ando et al. strengthened this result by introducing the strong Condorcet criterion (\texttt{SCC}) and showing that it holds for every optimal solution to an arbitrary \texttt{LOP} instance. Yoo and Escobedo extended the Kemeny rule to rankings with ties and showed that the resulting rule satisfies the non-strict extended Condorcet criterion (\texttt{NXCC}). This criterion gives a condition under which one candidate must be ranked strictly above another in every optimal solution. In this paper, we introduce the non-strict strong Condorcet criterion (\texttt{NSCC}), a counterpart of the \texttt{SCC} for rankings with ties, and show that it holds for every optimal solution to an arbitrary instance of the linear ordering problem with ties (\texttt{LOPT}). We also establish a complementary structural property that gives conditions under which two candidates must be tied in every optimal solution to an arbitrary \texttt{LOPT} instance.
Peeling sequences: a directional method for the three-block construction
A \emph{peeling sequence} of a finite planar point set is an ordering of point removals, in which
each point is a vertex of the convex hull of the points not yet removed. Write $g(S)$ for the number of such sequences, and $g(n)$ for the minimum of $g(S)$ over $n$-point sets in general position. We present a method which can be used to prove better upper bounds on the previously analysed recursive 3-branch constructions $S_n$. In fact, we prove $g(n)\leq g(S_n)=O(6.57^n)$, using directional restrictions and a weighted prefix-tree argument.
The smallest square tileable by pairwise incomparable integer rectangles
Croft, Falconer and Guy ({Unsolved Problems in Geometry}, Problem~C5) exhibit a tiling of the $27\times27$ square by eight pairwise incomparable integer rectangles and remark that it is not known whether $27$ is the smallest side length of a square that can be tiled by pairwise incomparable integer rectangles, no restriction being placed on the number of tiles. We show that it is: for every integer $n\le26$ and every $k\ge2$, the $n\times n$ square admits no tiling by $k$ pairwise incomparable integer rectangles. The proof combines two structural reductions with an exhaustive search over the $167\,538$ surviving candidate tile sets, carried out by two independently written programs. The complete software, build instructions and output logs are included as ancillary files.
Spectral Gap of Down-Up Walks via Trickle-Down: A Simplified and Sharpened Analysis
Local-to-global techniques for establishing spectral gaps have played a central role in the modern theory of Markov chain mixing times and the theory of high-dimensional expanders. One of the most striking results in this burgeoning literature is that a spectral gap for the global down-up walk on the facets of a pure simplicial complex can be reduced to sufficiently strong spectral expansion of just the codimension-2 links of the complex, a phenomenon colloquially referred to as "trickle-down". These types of theorems have had many important applications, including rapid mixing of the exchange walk on the bases of any matroid. In this primarily expository article, we give streamlined proofs of two such theorems in the literature, one by Oppenheim (2018) and one by Leake and Oveis Gharan (2025), via an integrated Bochner method. Moreover, in the latter setting, we quantitatively strengthen the dependence of the global spectral gap on the dimension of the complex and the spectral influence, resolving an open question of Leake and Oveis Gharan.
Disclaimer: The proofs were developed through a couple of rounds of interaction with GPT-5.6 Sol Ultra. We later discovered that Guo and Zhang (2026) had independently proven the same strengthening of the trickle-down theorem of Leake and Oveis Gharan using an extremely similar argument, also found by GPT-5.6 Sol Ultra. The focus of their paper is the complexity of approximating the partition function of spin systems on planar graphs, not on the trickle-down phenomenon itself. In contrast, our motivation is primarily expository, and we hope to bring Bochner-type methods and their connections with the trickle-down phenomenon to the attention of a wider community of researchers.
On colorful Helly numbers and the growth of Tverberg numbers
In this paper, we obtain new upper and lower bounds on the colorful Helly number and the Tverberg number in an abstract convexity space with Radon number $r$. We prove an upper bound of $(r-1)2^r$ on the colorful Helly number, which is a factor $O(r)$ far from the lower bound, $2^{r-1}-1$. The best previous bound, by Holmsen and Lee (2021), was $r^{r^{\log r}}$. As a consequence, we obtain improved quantitative bounds for fractional Helly numbers, the selection lemma, weak $\varepsilon$-nets, and the $(p,q)$-theorem, in abstract convexity spaces. Furthermore, using the improved colorful Helly bound, we prove that the Tverberg number $r_k$ is at most $O(r^{\lceil \log_2 r \rceil})k$. The best previous bound, by Pálvölgyi (2022), was $r^{r^{r^{\log r}}}k$. We also study the $t$-wise Tverberg number $r_{k,t}$, which is the least $\ell$ for which any $\ell$ points can be divided into $k$ parts such that the convex hulls of any $t$ parts intersect. We prove the optimal bound $r_{k,t} = O_t(kr)$, in any $S_4$ separable space. In the other direction, we construct a separable space in which $r_k = Θ(r^2 k)$, while $r_{k,2}=Θ(rk)$. This proves that the weak version of Eckhoff's conjecture, which suggested that $r_k=O(rk)$ in any abstract convexity space, fails even in separable spaces. In addition, this shows that the abstract analogue of Reay's conjecture (1979), suggesting that $r_{k,2}=r_k$ in Euclidean spaces, already fails in separable convexity spaces.