arXiv++ Combinatorics

Exceptional CR-quadrics are studied. An example of an exceptional (4,4)-quadric is constructed; it realizes the minimum exceptional type with respect to both n and k. Its graded Lie algebra is described. The available information on exceptional types is summarized, and the lattice of CR-types is decomposed into the disjoint union of three sets: A, the types for which exceptional quadrics are impossible; B, the types for which examples of exceptional quadrics are known; and C, the types whose status is currently unknown (neither an example nor a nonexistence proof is known). Several questions are posed.

Let $(a_n)_{n\geq0}$ be a sequence of complex numbers, and define \[ b_n=\sum_{k=0}^n \binom{n}{k} a_k, \qquad c_n=\sum_{k=0}^n \binom{n}{k}(-1)^{n-k}a_k. \] Let $β>1$, put $α=\sqrt{β^2-1}$, and suppose that $b_n,c_n=O(β^n)$. Mashreghi and Ransford proved that \[ \limsup_{n\to\infty}\frac{|a_n|}{α^n} \leq κ\left(\limsup_{n\to\infty}\frac{|b_n|}{β^n}\right)^{\!1/2}\! \left(\limsup_{n\to\infty}\frac{|c_n|}{β^n}\right)^{\!1/2} \] with a universal constant satisfying $2/\sqrt{3} \leq κ\leq2$. We prove that the optimal constant is indeed $κ=2/\sqrt{3}$. The proof, which uses exponential generating functions, Phragmén-Lindelöf estimates, and Cauchy's formula, is compared to the classical one of Mashreghi and Ransford.

The objective of this work is to determine optimal local restrictions on the coefficients of integer and Gaussian integer continued fractions that imply convergence. We identify all minimal restrictions involving words of length two in the integer case, and we identify all reversible minimal restrictions of length two in the Gaussian integer case. In the integer setting, our classification is equivalent to a classification of minimal unavoidable words of length two in Conway--Coxeter quiddity sequences. We also construct a canonical set of restrictions of infinite cardinality that is strictly stronger than every finite set of restrictions.

We prove that every full-dimensional compact convex body in $\mathbb R^n$ whose barycenter is its unique interior lattice point and whose volume is $(n+1)^n/n!$ is a unimodular image of the simplex $(n+1)Δ_n-(1,\dots,1)$. This resolves the equality case of Ehrhart's volume conjecture, as a counterpart of the inequality part recently proved by OpenAI. The main result of this paper is obtained by generative AI, particularly GPT-5.6-sol, Fable 5, and the Danus system.

We show that a variety of known and new results concerning connected plane graphs whose vertex and face degrees satisfy prescribed uniformity conditions with at most two exceptions can be deduced from recent results on the Hurwitz existence problem regarding the realizability of branch patterns of rational functions. Our method also yields a description of the Belyi functions corresponding to such graphs.

We calculate the asymptotics of the number of connected, labeled, genus $g$ Eulerian maps with an arbitrary degree sequence, in the limit as the total number of vertices tends to infinity. This asymptotic is universal, in the sense that the leading order term depends on only finitely many map characteristics. The constant factor in this formula is related to the Painlevé I equation. Our methods combine the analysis of the recurrence coefficients associated to a particular family of orthogonal polynomials, and the theory of analytic combinatorics of several variables. We also derive an exact formula for the number of connected, labeled, genus $1$ Eulerian maps. These are the first results on this kind of enumeration problem for $g\geq 1$, non-regular (mixed-valence) maps.

The independence polynomial of a graph encapsulates all independent sets of differing sizes, a task classified as NP-hard in theoretical computer science. This article examines the independence polynomial of zero divisor graphs in commutative rings. We demonstrate that the independent sets, represented as a sequence of coefficients of the independence polynomial, exhibit unimodality and log-concavity. Therefore, for the independence polynomial of some zero divisor graphs, the unimodal conjecture is true. Additionally, the characteristics of the zeros of the independence polynomial are delineated, along with their corresponding annular regions on the plane.

We give a straightforward, self-contained, and natural construction of the Big Witt ring using the eñe product that is defined through the action on zeros of polynomials. This is in contrast with classical constructions of the Big Witt ring that use formulas out of nowhere.

We study two closely related objects associated with plane domains bounded by rational algebraic arcs: canonical forms in the sense of positive geometry and normalized moment-generating functions, or Fantappie transforms. For polygons these objects are related by polarity: the normalized Fantappie transform of a polygon is the canonical form of the polar polygon. For genuinely curved polypols the same dual-geometric mechanism survives, but the transform is no longer a rational logarithmic canonical form; rather, it is a holonomic, generally branched period whose singularities are controlled by vertex hyperplanes and by the projective dual curves of the nonlinear boundary components. We give explicit examples, including sectors and half-disks, and explain how harmonic moment generating functions arise as one-dimensional restrictions of the same Fantappi`e transform.

This paper considers functional series whose terms are higher-order derivatives of Chebyshev polynomials of the second kind, where the degree of the polynomial is related to the order of the derivative. Analytic summation is used to determine the rational functions to which these series converge. These functions are expressed in terms of Chebyshev polynomials evaluated at a specific argument. Connections are established between derivatives of Chebyshev polynomials of the second kind and special numerical sequences generated by linear recurrence relations. New closed-form formulas are obtained for the sums of the series at various values of the argument. As consequences, combinatorial identities are derived for the Fibonacci, Lucas, and Pell numbers, for sections of the Fibonacci sequence, and for their convolutions. By means of analytic continuation, sums of formally divergent series are obtained, which in special cases correspond to the classical Euler formulas.

This study examines the domination polynomials of friendship graphs and book graphs, focusing on unanswered questions related to these families. For the friendship graph $F_n$, with even $n$, we show that the polynomial $D(F_n,x)$ has exactly three real zeros: $0$ and two simple zeros in the intervals $(-2,-1)$ and $(-1,0)$. We further show that these two nonzero zeros have monotonic variation and converge to $-1-\frac{1}{\sqrt2}$ and $-1+\frac{1}{\sqrt2}$, respectively. We obtain the quantitative approximation $(|z|-1)^2\log |z|\le n$ for any complex zeros of $D(F_n,x)$, resulting in the explicit bound $|z|\le 1+\sqrt{\tfrac{n}{\log 2}}$. For book graphs $B_n$, we ascertain the comprehensive limit set of domination roots and establish results about the presence of real roots contingent on parity. We provide a partial answer to the integer-root an issue by establishing that friendship and book graphs have no nonzero integer domination roots, whereas for corona families, the only nonzero integer root is $-2$.

In a recent paper the last author proved that absence of complex zeros of the partition function of the hard-core model near a parameter $λ>0$ implies a form of correlation decay called strong spacial mixing. In this paper we investigate the reverse implication. We introduce a strengthening of strong spatial mixing that we call very strong spatial mixing (VSSM). Our main result is that if VSSM holds at a parameter $λ>0$ for a family of graphs, this implies that the partition function has no zeros near that parameter for each graph in the family. We also demonstrate that a closely related variant of very strong spatial mixing does not imply zero-freeness. As a consequence of our main result, we moreover obtain that VSSM implies spectral independence. Our proof relies on transforming the problem to the analysis of an induced non-autonomous dynamical system given by Möbius transformations.

Analogous to Weil-Petersson quasicircles, we investigate infinite circle patterns in the Euclidean plane parameterized by discrete harmonic functions of finite Dirichlet energy. The space of such circle patterns forms an infinite-dimensional Hilbert manifold homeomorphic to the Sobolev space of half-differentiable functions on the unit circle. The Hilbert manifold is equipped with a Riemannian metric induced from the Hessian of a hyperbolic volume functional. We relate this Riemannian metric to the symplectic form on the Sobolev space of half-differentiable functions via an analogue of the Hilbert transform. Every such circle pattern induces a quasiconformal homeomorphism from the unit disk to itself, whose boundary extension belongs to the Weil-Petersson class of the universal Teichmüller space. Our results shed light on Jordan domains packed by infinite circle patterns of hyperbolic type, a subject highlighted by He and Schramm.

We consider a problem posed by Erdős, Herzog and Piranian on the maximum product of distances of a point set of order $n$ with a given diameter. We prove that it is sufficient to consider convex polygons and obtain results on the structure of the diameter graph. We also give constructions that drastically improve on the regular $n$-gons, sketching what the extremal polygons should look like, while presenting results indicating that one cannot hope to characterize the extremal polygons in general for even orders.