sequence
6966 papers tagged with this keyword
A power series expansion of the Wilf function
In this work, the author employs the Faà di Bruno formula, identities for the partial Bell polynomials, two combinatorial identities, and the (logarithmically) complete monotonicity of generating functions for several integer sequences, together with the Wronski theorem, to investigate a collection of analytic and combinatorial structures. The study establishes Taylor series expansions for various functions involving the inverse (hyperbolic) tangent function and derives the Maclaurin expansion of the Wilf function, a composite of the inverse tangent, square root, and exponential functions. The coefficients in this expansion are expressed in terms of Stirling numbers of the second kind, and their generating functions, limits, positivity, monotonicity, and logarithmic convexity are analyzed. The paper further presents closed-form formulas for special values of the Gauss hypergeometric function and for certain partial Bell polynomials, along with several infinite series representations of the circular constant and related sequences. An asymptotic rational approximation to the circular constant is recovered, and connections among several integer sequences are established via determinants.
Obtaining the Chamanara Surface from the van der Corput sequence
We investigate a family of $4$-regular graphs constructed to test for the presence of combinatorial structure in a sequence of distinct real numbers. We show that the graphs constructed from the Kronecker sequence can be embedded into the torus, while the graphs constructed from the binary van der Corput sequence can be embedded into the Chamanara surface, in both cases with the possible removal of one edge. These results generalize to embeddings of sequence graphs coming from interval exchange transformations into associated translation surfaces.
A combinatorial interpolation between the hypercube and the associahedron
We study a family of polytopes interpolating between the hypercube and the associahedron. We give an explicit description of their normal fans and describe their combinatorics in terms of chord diagrams associated to their vertices. This yields interesting number sequences generalizing Pell numbers and asymptotic to Catalan numbers. We describe the transition between the normal fans in terms of star subdivisions and relate them to polytopes associated to Dyck paths as in [Veronica Calvo Cortes and Hadleigh Frost. Dyck paths, Configuration Spaces and Polytopes for Linear Nakayama algebras. https://arxiv.org/abs/2602.04571] and hypergraphic polytopes defined in [Carolina Benedetti, Nantel Bergeron, and John Machacek. Hypergraphic polytopes: combinatorial properties and antipode. Journal of Combinatorics. 2019]. Furthermore, all polytopes in our families yield binary geometries.
Peaks and peak-nestings on unit interval graphs
Unit interval graphs admit a classical Catalan encoding by area sequences, or equivalently by Dyck paths. We introduce a new statistic on these graphs, called peak-nesting, defined as the largest number of peak-cliques containing a common vertex. Through the correspondence with area sequences, peak-nesting also defines a new statistic on Dyck paths. We construct a bijection between Dyck paths and bicolored Motzkin paths which simultaneously records peak-nesting and the number of peaks. This yields a refinement of Touchard's identity, coefficient formulas involving Dyck paths of given height, and new combinatorial interpretations for several sequences recorded in the OEIS. We study the peak and peak-nesting polynomials over all unit interval graphs and over the subclasses of connected, Abelian, $2$-nested, and reduced unit interval graphs. For these families we obtain closed formulas, recurrences, and, for the symmetric cases, nonnegative expansions in the gamma-basis with explicit combinatorial interpretations. We also investigate questions regarding the location of zeros and the log-concavity of the corresponding coefficient sequences: some of the polynomial families form generalized Sturm sequences, whereas others fail to be real-rooted but appear nevertheless to have log-concave coefficients. Finally, we relate the peak-clique presentation of a unit interval graph to lattice path matroids.
Real-rootedness and ultra log-concavity of rank-two matroid Ehrhart $h^*$-polynomials
We prove that the Ehrhart $h^*$-polynomial of a rank-two matroid with exactly three parallel classes is real-rooted whenever its smallest parallel class has size at most three. This bound is sharp: the rank-two matroids with parallel-class sizes $(4,561,600)$ and $(4,a,a+29)$, for all sufficiently large integers $a$, have $h^*$-polynomials that are not real-rooted. These counterexamples disprove Ferroni's real-rootedness conjecture. Their duals are cycle matroids of theta graphs and have the same $h^*$-polynomials. Nevertheless, every matroid of rank two or corank two has a positive $h^*$-coefficient sequence that is ultra log-concave of order equal to the polynomial's degree. In particular, the unimodality conjecture holds in both cases.
The Reach of Abelian Covers in Hypergraphs
Covers in hypergraphs are frequently studied to capture various forms of dependence between hyperedges. For example, even covers--which check if each vertex appears in an even number of hyperedges--have found much success recently in the study of locally decodable codes. Inspired by a recently-emerging line of work on the non-redundancy of constraint satisfaction problems (CSPs), we introduce and study two novel families of covers of hypergraphs which are stricter than even covers: \emph{Abelian} covers and Catalan covers. Abelian covers are similar to even covers, except that arithmetic is now done over the integers rather than modulo 2, allowing us to capture dependences over arbitrary Abelian groups. Catalan covers capture the behavior of non-Abelian groups by only allowing local cancellations in a sequence of hyperedges.
We prove three main results about Abelian and Catalan covers. First, using tools from lattice theory, we show that any $r$-uniform hypergraph with $n$ vertices and $n \log(r)$ hyperedges has an Abelian cover. Second, using tools from algebraic topology, we show that in any $3$-uniform hypergraph, Abelian covers and Catalan covers are equivalent; thereby showing that Catalan covers emerge after $O(n)$ hyperedges in $3$-uniform hypergraphs. Finally, using the theory of nilpotent groups, we show that there exists a $4$-uniform hypergraph which has an Abelian cover but not a Catalan cover. Collectively, these results exactly characterize the reach that Abelian covers have in deducing dependences in hypergraphs. As our primary application, we show that any arity-$3$ CSP with an infinite-domain Mal'tsev extension has linear non-redundancy. This implies near optimal streaming, sparsification, and kernelization algorithms for this family of CSPs. Previously, such a result was only known for the much simpler case of arity-$2$ CSPs.
On the Realizability of Edge-Girth Sequences
The edge-girth of an edge $e$ in a simple connected graph is the length of a shortest cycle containing $e$, with $g_e = \infty$ if no such cycle exists, and the edge-girth sequence of a graph is the nondecreasing sequence of the edge-girths of its edges. We characterize the sequences that are realizable as the edge-girth sequence of a simple connected graph. A constant sequence $(g^{(m)})$ with $g$ finite and $m \geq 1$ is realizable if and only if $m = g$ or $m \geq \lceil 3g/2 \rceil$. Otherwise, writing $S = S_0 \uplus (g^{(m)})$, where $g$ is the maximum value of $S$ and $m$ its multiplicity, we prove that $S$ is realizable if and only if $S_0$ is realizable and $m$ lies in an explicit set determined by $g$ and by the maximum diameters of the graphs realizing $S_0$, alone or extended by fewer than $g$ edges of edge-girth $g$. The proof rests on a chaining lemma, which turns a shortest cycle of a realization into a lower bound on the maximum diameter of the realizations of a shorter sequence.
Whitney's 2-isomorphism theorem for graphings
We prove measurable analogues of Whitney's classical theorems on weak isomorphisms of finite graphs. For locally finite graphings, we define a weak isomorphism to be an edge-measure-preserving Borel bijection that preserves cycles and hyperfinite subgraphs, modulo null sets. Our rigidity theorem shows that every weak isomorphism of a weakly $3$-connected, infinitely-ended graphing is induced by an isomorphism of graphings. To our knowledge, this is the first general sufficient condition in measurable combinatorics for two given graphings to be isomorphic. We then prove a full measurable Whitney theorem, namely that every weak isomorphism between graphings is implemented by a finite composition of locally finite sequences of six measurable Whitney operations.
The proofs combine measurable-combinatorial techniques, applications of spanning forests from percolation theory, and graph decomposition arguments. A central ingredient is the construction and analysis of infinitely-ended leafless subforests. With these tools we also show that, between weakly $2$-connected, infinitely-ended graphings, preservation of hyperfiniteness alone forces preservation of cycles, which is of independent interest.
This work further develops the limit theory of matroids recently initiated by Lovász and provides its first application in finite graph theory. We show that Whitney's rigidity theorem is robust under sublinear errors for sequences of finite graphs with uniformly bounded degrees and suitable connectivity.
Gårding Polynomials
We introduce Gårding polynomials, a class of real multivariate polynomials characterized by positivity regions that are invariant under translation by positive vectors and closed under strictly positive affine transformations. We prove that this geometric formulation is equivalent both to a reduction to the multi-affine setting via polarization and to a recursive criterion in terms of partial derivatives.
The class of Gårding polynomials strictly extends that of real stable polynomials while preserving many of their structural properties. In particular, multi-affine Gårding polynomials with nonnegative coefficients satisfy the Rayleigh property, and their positive univariate specializations have ultra log-concave coefficient sequences.
The Gårding property for several matroid generating functions is preserved under natural matroid operations. As applications, we derive new negative dependence results for generating functions associated with various classes of matroids and graphs, including examples previously beyond the scope of real stability and Lorentzian methods. We further obtain analogous results for characteristic polynomials arising from certain matrix classes.
The Combinatorics of the Leading Root of the Partial Theta Function
Let $x_0(q)=-ξ_0(q)$ be the leading formal root of $Θ_0(x,q)=\sum_{n\geq0}x^nq^{\binom n2}$. I give here explicit combinatorial interpretations of the positive integer coefficients of $ξ_0(q)=1+q+2q^2+4q^3+9q^4+\cdots$ in terms of rooted trees enriched by stack polyominoes or certain Ferrers diagrams, weighted by total area. The two enrichments may be chosen independently at each level of the tree. A decomposition along the first-child path gives a combinatorial interpretation of $1-ξ_0^{-1}$. By reserving two successor slots at the root, I also obtain an interpretation of $1-ξ_0^{-2}$ and its zero coefficient in degree three. The sequence decomposition gives a Lyndon-word interpretation of the Euler-product exponents and proves their positivity and weak monotonicity. Finally, I derive the coefficient asymptotic $[q^n]ξ_0(q)\sim ξ_0(ρ)ρ^{-n}n^{-3/2}/(2\sqrtπ)$, where $ρ$ is the radius of convergence. The tree models are equinumerous with the braid classes studied by Flores and González-Meneses.
Two poset polytopes are mutation-equivalent
The combinatorial mutation $\mathrm{mut}_w(P,F)$ for a lattice polytope $P$ was introduced in the context of mirror symmetry for Fano manifolds in [1]. It was also proved in \cite{ACGK} that for a lattice polytope $P \subseteq N_\mathbb{R}$ containing the origin in its interior, the polar dual $P^* \subseteq M_\mathbb{R}$ and $\mathrm{mut}_w(P,F)^* \subseteq M_\mathbb{R}$ have the same Ehrhart quasi-polynomial. To extend this framework, we introduce combinatorial mutation for rational pointed polyhedra in $N_\mathbb{R}$ containing the origin in their interiors. Such polyhedra are Minkowski sums of rational polytopes and rational polyhedral pointed cones. On the dual side $M_\mathbb{R}$, the construction applies to full-dimensional rational polytopes containing the origin, not necessarily in their interiors. As an application of this extension of the combinatorial mutation, we prove that the chain polytope of a poset $Π$ can be obtained by a sequence of combinatorial mutations in $M_\mathbb{R}$ from the order polytope of $Π$. Namely, the order polytope and the chain polytope of the same poset $Π$ are mutation-equivalent.
Tensorial free convolution, semicircular, free Poisson and R-transform in high order
This work builds on our previous developments regarding a notion of freeness for tensors. We aim to establish a tensorial free convolution. We aggregate all connected rooted $p$-regular trace invariants with a fixed number of vertices into moments. First, we define higher-order analogues of the semicircular (or Wigner) law and the free Poisson (or Marčenko-Pastur) law, giving their moments and free cumulants. We prove the convergence of the moments of a Wishart-type tensor to the ones of the free Poisson law and recall the convergence of the moments of a Wigner tensor to the moments of the semicircular law. We also present a free Central Limit Theorem in this context. Next, we introduce a tensorial free convolution at the level of exponentially bounded moment and cumulant sequences.
Pin Classes I: Growth Rates
Pin sequences play an important role in the structural study of permutation classes. In this paper, we study the permutation classes that comprise all the finite subpermutations contained in an infinite pin sequence. We prove that these permutation classes have proper growth rates and establish a procedure for calculating these growth rates.
Completing the enumeration of inversion sequences avoiding triples of relations
An inversion sequence of length $n$ is an integer sequence $(a_1, \ldots, a_n)$ such that $0 \le a_i < i$ for all $i$. The study of pattern-avoiding inversion sequences was initiated in 2015 by Mansour and Shattuck and in 2016 by Corteel, Martinez, Savage and Weselcouch. Martinez and Savage later defined a new type of pattern, a triple of binary relations, of which there are currently 14 uncounted avoidance classes. We complete the enumeration for all of these classes using generating tree methods "growing on the left" and "growing on the right". For many of these classes we are able to find algebraic generating functions. We also discuss the asymptotic behaviour of the counting sequences.
Strengthened upper bound on the third eigenvalue of graphs
Let $G$ be a graph on $n \ge 3$ vertices, whose adjacency matrix has eigenvalues $λ_1 \ge λ_2 \ge \dots \ge λ_n$. The problem of bounding $λ_k$ in terms of $n$ was first proposed by Hong and was studied by Nikiforov, who demonstrated strong upper and lower bounds for arbitrary $k$. Nikiforov also claimed a strengthened upper bound for $k \ge 3$, namely that $\frac{λ_k}{n} < \frac{1}{2\sqrt{k-1}} - \varepsilon_k$ for some positive $\varepsilon_k$, but omitted the proof due to its length. In this paper, we give a proof of this bound for $k = 3$. We achieve this by instead looking at $λ_{n-1} + λ_n$ and introducing a new graph operation which provides structure to minimising graphs, including $ω\le 3$ and $χ\le 4$. Then we reduce the hypothetical worst case to a graph that is $n/2$-regular and invariant under said operation. By considering a series of inequalities on the restricted eigenvector components, we prove that a sequence of graphs with $\frac{λ_{n-1} + λ_n}{n}$ converging to $-\frac{\sqrt{2}}{2}$ cannot exist.
Parking with Frustrated Drivers
Imagine there are $n$ cars lined up along a one-way street containing $n$ spots. Each car contains a group of friends, including a reluctant driver. Each car has a preferred spot and cars enter one by one. The cars drive to their preferred spot and if it is empty park there. If it is not empty, a friend in the back yells out ``Hey! You should have driven faster!". Frustrated by this, the driver continues down the road until they find the last unoccupied spot (if one exists) and parks there. We say a sequence $(a_1,a_2,\dots, a_n)$ of preferred spots is a frustrated parking function if all cars can park under this rule.
In this paper, we study the enumerative properties of frustrated parking functions. In particular, we show that the number of frustrated parking functions of length $n$ is $(2n-1)!!$. This is done by associating frustrated parking functions with height labeled Dyck paths. Using this association, we are then able to better understand the sets of lucky cars and lucky spots for frustrated parking functions. We show that the frustrated parking functions of length $n$ where the first $k$ cars (or first $k$ spots) are lucky is given by $k!S(n,k)$ where $S(n,k)$ is the Stirling number of the second kind. This in turn implies that the number of frustrated parking functions where once a car (or spot) is unlucky, the remaining cars (or spots) are unlucky is counted by the $n^{th}$ Fubini number. We also show that the number of frustrated parking functions with $k$ lucky cars (or spots) is given by the second order Eulerian number.
Zeros of the independence polynomial on recursive sequences of graphs
We study the hard-core model on recursively defined sequences $(G_n)_{n\geq0}$ of graphs with a fixed number $k\geq 1$ of labeled vertices in each graph. The next graph in the sequence is constructed by taking a fixed number $m\geq 2$ of copies of the previous graph, connecting these copies by identifying some labeled vertices according to a fixed rule, and afterward choosing $k$ labeled vertices in the resulting graph, again in accordance with a fixed rule. Examples of such sequences include the Sierpiński gasket graphs, hierarchical lattices, and many more. We prove that, when the vertex degrees of the graphs $G_n$ are uniformly bounded and the distances between the labeled vertices in $G_n$ diverge, the complex zeros of the univariate independence polynomials $Z_{G_n}(λ)$ avoid a neighborhood of the non-negative real axis. By the Lee--Yang theory this implies that no phase transitions occur for the hard-core model on these recursive sequences of graphs, independently of the starting graph $G_0$.
The proof relies on the study of the dynamical properties of a one-parameter family of rational maps $F_λ$ on the $(2^k-1)$-dimensional complex projective space induced by the graph recursion operator. The dynamical framework developed in this paper can be naturally extended to other classical models in statistical mechanics (such as the Ising or Potts models) and to more general notions of graph recursions.
Polynomially superlinear growth of set-coloring Ramsey numbers
The set-coloring Ramsey number $R(k;r,s)$ is the least $N$ such that every assignment of an $s$-element subset of $[r]$ to each edge of $K_N$ yields a copy of $K_k$ whose edges share a common color. For every fixed prime power $q$, we construct infinitely many positive integer triples $(r,j,s)$ with $j\sim(q-1)^{-2/3}r^{1/3}$ and $s=(1-1/q)(r-j)$ such that $R(q+1;r,s)=Θ_q(r^{4/3})$. For $q=3$, this answers in the affirmative a question of Conlon, Fox, Pham and Zhao, showing that polynomially superlinear growth for $R(4;r,2(r-j)/3)$ already occurs at the scale \(j=Θ(r^{1/3})\). Moreover, along the same sequence, the maximum size of a $q$-ary code of length $r$ and minimum Hamming distance at least $s$ is $(1+o(1))(q-1)^{4/3}r^{4/3}$.
Defective chromatic polynomials
For a graph $G$ and an integer $d\geq 0$, the defective chromatic polynomial $χ_d(G;k)$ counts the $k$-colorings of $G$ in which each vertex has at most $d$ neighbors of its own color. We investigate which structural properties of $G$ are determined by the full family $\{χ_d(G;k)\}_{d\geq 0}$. We establish a contraction formula expressing $χ_d(G;k)$ as a sum of ordinary chromatic polynomials of the edge contractions of $G$. As a first application, we prove that for triangle-free graphs, the full family determines the degree sequence. For trees, we show further that the family $\{χ_d(T;k)\}_{d\geq 0}$ determines the path-subgraph counts $N(P_j,T)$ for $j=1,2,3,4$, but not for $j=5$. For each $n\geq 9$, we construct a pair of nonisomorphic trees of order $n$ that share the same defective chromatic polynomials for every $d\geq 0$.
Arc-disjoint Hamiltonian paths in Cayley digraphs with a normal difference subgroup
Let $G=\langle a,b\rangle$ be a finite group with distinct nonidentity generators, and suppose that $H=\langle ba^{-1}\rangle$ is normal. We determine exactly which complementary generator choices on the nonterminal cosets of $H$ extend to two arc-disjoint Hamiltonian paths with both terminal vertices in $H$. The associated return residue must avoid an explicit set of at most six residues. When $[G:H]\ge3$, any two nonterminal cosets may be left free while all other choices are prescribed; two is best possible. Every such Cayley digraph has two arc-disjoint Hamiltonian paths; this includes all two-generator Cayley digraphs of finite abelian groups. The criterion follows from a complete distance formula for the Hamiltonian cut spectra of $\mathrm{Cay}(\mathbb{Z}_q;\{D,D+1\})$. Their unique nondegenerate exception comes from the odd central coefficient $(q-1)/2$. The geometric ingredient is a confinement theorem: two sector-filled integer sequences satisfying a length inequality, with overlapping ranges and distance at least two, have one sequence contained in a single gap of the other. Sector filling bounds alternation, and the length inequality excludes interlacing. A self-contained proof of the primitive-ray cycle profile follows the intersection geometry of Curran and Witte.