Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Pairs of lattice complements with complementary homology
In this paper we study whether there is a global to local principle for the homology of order complexes of finite lattices. We explore whether the non-vanishing of the homology of a lattice in degree $a+b-2$ forces the existence of a pair of lattice-complements whose open intervals below have non-vanishing homology in degrees $a$ and $b$ respectively. We consider the same question also in the language of multigraded free resolutions. We provide positive evidence for the existence of such pairs and give counterexamples to strengthenings of the question.
The parameterised complexity of generalised temporal domination on temporal graphs with modular structure
Inspired by the static problem $(α,β)$-Dominating Set, we propose a general temporal domination problem, called $(α,β)$-Temporal Dominating Set ($(α,β)$-TDS). We show that this problem encompasses Temporal Dominating Set, and additionally provides first temporal extensions of problems such as $k$-Dominating Set and $α$-Dominating Set. In this paper, we study the parameterised complexity of $(α,β)$-TDS with respect to temporal neighbourhood diversity (TND), temporal modular-width (TMW), and temporal cliquewidth (TCW). We obtain fixed parameter tractability results for all values of $α$ and $β$ with respect to TND; W[1]-hardness with respect to TMW and TCW whenever $β$ is in the problem input, or whenever $α\in (0,1)$ and $β$ is a fixed constant; and para-NP-hardness with respect to TCW when $α= 0$ and $β= 1$, or $α= 1$ and $β= 0$.
Proofs of two conjectures of Berkovich and Dhar on hook lengths
We prove stronger forms of two conjectures of Berkovich and Dhar concerning a coefficientwise inequality and pairs of hooks of length two in bounded partitions. The coefficientwise inequality implies the corresponding inequality for hook pairs. In particular, for each fixed size and common bound on the largest part, the total number of such pairs in odd partitions is at least that in distinct partitions. We give combinatorial proofs by explicit weight-preserving injections based on Glaisher's bijection and analytic proofs using finite product identities and known hook generating functions.
On the OpenAI whole-cube bound
This is an essentially derivative note, whose goal is to interpret the 'whole-cube' bound of OpenAI for binary codes in a possibly somewhat more accessible way. This is attained, in part, by connecting it to some previously known results. All of the heavy technical lifting in the interpretation below is also due to the OpenAI language models ChatGPT 5.6 and ChatGPT 6. With that, we hope that the statements of the main results, the ensuing discussion, and the arguments themselves may be of some interest.
On the limiting distribution of the number of improper edges for random trees
Improper edges were introduced by Shor to refine Cayley's formula for rooted labeled trees. Zeng established a connection between Shor's refinement and the Ramanujan polynomials. Let $\mathscr{T}_n$ denote the set of rooted labeled trees on $[n]=\{1,\ldots,n\}$. We prove that the number of improper edges in a uniformly random tree in $\mathscr{T}_n$ is asymptotically normal as $n\to\infty$, with mean and variance asymptotic to $μn$ and $σ^2 n$, respectively, where $μ=e-2$ and $σ^2=e^2-3e+1$. This phenomenon was observed by Chen, and the proof presented here was developed through human--AI collaboration.
Extremal spectral radius of nonregular graphs with a fixed odd maximum degree
For integers $n\ge3$ and $2\leΔ\le n-1$, let $λ_1(n,Δ)$ be the maximum adjacency spectral radius among all connected nonregular graphs of order $n$ and maximum degree $Δ$. Liu conjectured that for each fixed integer $Δ\ge3$, \[ \lim_{n\to\infty}n^2\bigl(Δ-λ_1(n,Δ)\bigr)= \begin{cases} (Δ-1)π^2/4,&\text{if $Δ$ is odd};\\ (Δ-2)π^2/2,&\text{if $Δ$ is even}. \end{cases} \] He proved the case $Δ=3$ and $Δ=4$. We prove the conjecture when $Δ\ge5$ is odd.
A sharp density bound for 5-connected graphs with no $\Ke$ minor
Let $\Ke$ be obtained from $K_7$ by deleting two independent edges. We prove that every 5-connected graph on $n\ge7$ vertices with at least $4n-9$ edges contains a $\Ke$ minor, settling Conjecture~1.4 of Dvo\v rák, Norin and Rahman (arXiv preprint 2609.17760v1). The bound is sharp. We prove the stronger statement that every $4$-bilight graph on $n\ge4$ vertices with at least $4n-9$ edges contains either a $\Ke$ minor or a $K_6$ subgraph. Within their reduction framework, we strengthen the rooted-minor theorem. We show that every $4$-light 5-rooted graph of rooted $4$-density at least two has a model with two nonroot vertices and at most one missing edge incident with them. At the critical density, reductions preserve density exactly, which prevents them from creating a new $K_6$ subgraph.
Equal subset sums and close divisors
For $k\geq2$, let $α_k$ be the supremum of the exponents $a$ for which almost every integer $n$ has $k$ distinct divisors in a multiplicative interval of relative length $(\log n)^{-a}$. Select each positive integer $i$ independently with probability $1/i$, forming a random set $\mathbf A$, and let $β_k$ be the supremum of the $c<1$ for which, with probability tending to one as $D\to\infty$, the set $\mathbf A\cap[D^c,D]$ has $k$ distinct subsets with the same sum. We prove that $α_k=β_k/(1-β_k)$, resolving a conjecture of Ford, Green and Koukoulopoulos [Invent. Math. 232 (2023), 1027--1160]. We also prove that their weak and strict entropy thresholds coincide. The proof combines flag refinement and entropy concavity with an upper bound for approximate subset sums that is uniform in arbitrary translations. A model with independent geometric prime exponents then transfers this bound to divisors.
Graphs of Moore-Penrose inverse of matrices possessing the treeangle property
It is known that the inverse of an invertible real square matrix satisfying the treeangle property, is a treediagonal matrix. A converse statement also holds. We show that the verbatim analogues are not true for the Moore-Penrose inverse, and obtain the precise structure of graphs corresponding to the Moore-Penrose inverse of matrices possessing the treeangle property.
Structural Characterizations and Algebraic Realizations of a Family of Regular Integral Graphs
All the eigenvalues of an integral graphs are integers. Integral graphs are extremely rare. They form an asymptotically vanishing fraction $2^{-Ω(n)}$ among all graphs on $n$ vertices. It makes the construction of a new family of integral graphs a challenging task. Also, most of the known infinite family of integral graphs rely on Cayley graphs over Abelian groups. In this article, we introduce a new family of integral graphs obtained from the groups. The construction of our graphs from groups is different from the construction of Cayley graphs. A spectral uniqueness theorem is established, which shows that each member of the infinite family is determined by its adjacency spectrum among all finite simple graphs. We also present recursive constructions that generates larger members of the family from smaller ones, providing a scalable class of integral graphs. Finally, we investigate algebraic realizations of these graphs as complements of Proper Prime Order Element Graphs of finite $2$-groups and obtain conditions characterizing such realizations. We also observe that the graphs obtained from different non-isomorphic groups have cospectral graphs.
A Bounded Degree SOS Plus SONC Hierarchy for Polynomial Optimization
We propose a bounded degree SOS+SONC hierarchy for constrained polynomial optimization, termed B-SOS+SONC. Starting from Lasserre's bounded-degree SOS framework, we enlarge the certificate cone from SOS to the recently introduced SOS+SONC cone, thereby combining the algebraic strength of semidefinite relaxations with the sparse structure captured by circuit polynomials. We show that, for each fixed certificate degree, the resulting hierarchy is complete, that is, its optimal values are monotone and converge to the global optimum. Moreover, we derive an explicit SDP-REP reformulation, so that each relaxation can be solved within a tractable convex optimization framework over semidefinite and relative entropy cones.
Beyond the optimization hierarchy itself, we investigate structural properties of the SONC cone and introduce the notions of first-order and second-order SONC-convexity. This leads to a new sufficient condition for first-level exactness of the B-SOS+SONC hierarchy. Numerical experiments illustrate that the proposed hierarchy often yields tighter lower bounds than the B-SOS relaxation while remaining tractable.
Exact Ehrhart Series of Birkhoff Polytopes via Constant Terms and Finite-Field Evaluation
The Ehrhart series of the $n$th Birkhoff polytope is $\sum_{r\geq0}H_n(r)z^r$, where $H_n(r)$ counts nonnegative integer $n\times n$ matrices whose row and column sums all equal $r$. We present an exact method for computing this series using constant terms and finite fields. A root filter expresses $H_n(r)$ as a weighted sum of the values $h_r(M)^n$, where $h_r$ is the complete homogeneous symmetric polynomial and $M$ ranges over multisets of $m$th roots of unity with $m=r+1$. Constant-term cancellation reduces the evaluation of $h_r(M)$ to a sum over repeated elements $a$ of $M$. For a particular $a$ of multiplicity $μ_a$, the computation uses a generalized Todd coefficient of degree $μ_a-2$. Sums of $h_r(M)^n$ over selected multiplicity classes are handled using symmetric function techniques. Together with the remaining individual evaluations, this gives $O_n(m^{n-5}+m^4)$ field operations for each admissible prime and fixed $n\geq5$. An explicit bound and the Chinese remainder theorem recover the integer counts, and Ehrhart symmetry determines the full series. The same method applies to the World Cup problem, which counts the same matrices with diagonal entries required to be $0$. We prove correctness and compute complete series for both families through order $12$. The Birkhoff series for orders $10$--$12$ and the World Cup series for orders $9$--$12$ are tabulated in the appendices.
Some results on the distance spectral radius and edge-disjoint spanning trees of graphs
Let $τ(G)$ denote the maximum number of edge-disjoint spanning trees in a connected graph $G$ of order $n$, and let $ρ_D(G)$ denote its distance spectral radius. For an integer $k\ge2$, Fan, He and Zhao [Discrete Appl. Math. 376 (2025) 31--40] obtained a sharp distance spectral radius condition for $τ(G)\ge k$ when $n\ge2k+6$. In this paper, we fill the gap $2k\le n\le2k+5$ and thus complete the result for all $n\ge2k$. The extremal graph given by Fan, He and Zhao remains valid for $n\ge2k+2$, while we determine the unique extremal graph for each of the orders $n=2k$ and $n=2k+1$. We further obtain sharp distance spectral radius conditions and characterize all extremal graphs under the minimum degree condition $δ(G)\ge k$ for all $n\ge2k$. Finally, for graphs with the stronger minimum degree condition $δ(G)\ge6k-4$ and order $n\ge2δ(G)+2$, we obtain a sharp distance spectral radius condition ensuring $τ(G)\ge k$ and determine the unique extremal graph.
Zero-Run Spectra of the $(3,2)$ Raney numbers Modulo Primes
We study the zero-run structure of the $(3,2)$-Raney numbers modulo a prime $p$. For every prime $p$, we determine the left-to-right maxima of the zero-run lengths, the complete zero-run spectrum, and the exact number of nonzero entries in $0\le n<p^m$.
Interestingly, these results fall into three cases: $p=2$, $p=3$, and $p\geq5$, and the behaviors in these three cases are very different. For $p=2$, we characterize exactly the odd terms and determine the positions of the left-to-right maxima and the results involve Fibbinary integers, Fibonacci numbers, and Jacobsthal numbers. For $p=3$, we characterize exactly the nonzero terms and determine their residues. For $p\ge 5$, the zero runs are governed by a multiscale system of residue intervals modulo powers of $p$, from which both the record values and the complete zero-run spectrum are obtained.
On the positivity of truncated pentagonal number series and some conjectures of Merca
Let $ν_2(m)$ denote the $2$-adic valuation of a positive integer $m$ and set $N_m=m\bigl(1+ν_2(m)/2\bigr)$. We prove four conjectures of Merca on the nonnegativity of truncated pentagonal number series weighted by the infinite products $\prod_{m\ge 1}(1-q^{2N_m})$ and $\prod_{r\ge 1}\bigl(q^{2^r r};q^{2^{r+1}r}\bigr)_\infty$. Our method is to regard the exponent map $m\mapsto m(ν_2(m)+2)$ as a dynamical system on the positive integers: the factors of the associated quotient link into chains along its forward orbits, and the three orbits seeded at $1$, $4$ and $5$ are pairwise disjoint and telescope to exactly $1/\bigl((1-q)(1-q^4)(1-q^5)\bigr)$. The exponent triple $(1,4,5)$ is admissible in the sense of earlier work by Liu, which yields the desired factorization into two series with nonnegative coefficients. This orbit telescoping technique appears to be a mechanism complementary to the Pólya--Szeg\H o criterion that underlies most existing positivity results of this kind in the literature.
Large Planar Point Sets Contain 4 Collinear Points or Almost 7-Cliques, and Related Results
We prove that every sufficiently large finite planar point set contains either four collinear points or seven points with at most one non-visible pair. More generally, we show that for every fixed graph $H$ with chromatic number at most five, or with chromatic number six and a color-critical edge, the visibility graph of every sufficiently large finite planar point set with no four collinear points contains a copy of $H$. These results extend the recent breakthrough of Bonnet (2026), guaranteeing six pairwise visible points, and come within one visibility edge of the next open case of the big-line-big-clique conjecture.
A common interleaver for two antichain polynomials on $[k]$$\times$ $P_{n,s}$
The first author and Dong \cite{DD} proposed three conjectures on antichain generating polynomials. Jiang \cite{Jiang} recently proved Conjectures 4.3 and 4.5, concerning real-rootedness and \(γ\)-positivity. We prove Conjecture 4.2 by adapting his method from \([k]\times [2] \times [n]\) to \([k]\times P_{n,s} \), where \(P_{n,s}\) is a two-row Ferrers shape. We establish real stability for a family of bivariate polynomials associated with adjacent shapes, then apply the Chudnovsky-Seymour compatibility criterion to obtain a common interleaver. As noted in \cite{DD}, Conjecture 4.2 also implies Conjecture 4.3.
A Refined Sum-Product Estimate via Higher Energies
Let $A\subset\mathbb{R}$ be a finite set. Combining the multiplicative slope estimate of Rudnev--Stevens, Cushman's higher-energy regularization, Shakan's $d^+$--$d^\times$ decomposition, and Solymosi's classical sum--product estimate, we prove \[ |AA|^{204}|A+A|^{301}\gtrsim |A|^{675}, \] where $\gtrsim$ suppresses a fixed polylogarithmic factor in $|A|$. Consequently, for every $\varepsilon>0$, \[ \max\{|A+A|,|AA|\}\gg_\varepsilon |A|^{135/101-\varepsilon}. \] The proof is organized around two intermediate estimates. For every nonempty finite set $B\subset\mathbb{R}_{>0}$, \[ d^\times(B)|BB|^{12}|B+B|^{16}\gtrsim |B|^{38}, \] whereas for every nonempty finite set $U\subset\mathbb{R}$, \[ d^+(U)^{17}|U+U|^{29}\gtrsim |U|^{46}. \]
Enumerating pattern-avoiding translation-invariant total orders
Let $n$ be a positive integer. A translation-invariant total order (TITO) with period $n$ is a total order of the integers that is invariant under translations by multiples of $n$. These structures arise naturally in the study of Coxeter groups. In particular, real $n$-TITOs are in bijection with biclosed sets of positive roots of the affine symmetric group $\widetilde S_n$. Barkley and Defant recently introduced pattern avoidance for TITOs and used it to define the affine Tamari lattice.
The enumeration of TITOs avoiding a single pattern of length $3$ is due to Crites and Barkley--Defant. We extend this work to TITOs avoiding two patterns. Our main results include a complete enumeration of TITOs that avoid a pair of patterns in $S_3\times S_3$, as well as of TITOs that avoid a pair $(p, q)$ with $p \in S_3 \setminus \{123, 321\}$ and $q \in S_4$. Furthermore, we provide an explicit construction of the inverse of the bijection between $312$-avoiding TITOs and noncrossing arc diagrams, thereby extending the combinatorial framework introduced by Barkley.
A Quaternary Legendre Pair of Length 64
We construct an explicit quaternary Legendre pair of length $64$. To the best of our knowledge, this is the first reported construction at this length.