polynomial
11422 papers tagged with this keyword
Gamma positivity, PL homeomorphism types, and orthogonal polynomials
Using preservations of PL homeomorphism types under edge contractions (the link condition) as a topological proxy for flagness, we give a quantitative description of the effect flagness on on gamma positivity of simplicial spheres. In particular, we show that the link condition has a trivial effect on the $g$-vectors (and thus gamma vectors) of high-dimensional simplicial spheres with nonnegative gamma vectors in many cases. Note that this reflects a dichotomy between quantitative behavior arising from $g_1$ components that are linear in $d$ and those that are superlinear in $d$. When the link condition is nontrivial, we show that it gives a lower bound for growth rates of $g$-vector components. This lower bound increases with the number of edges and the distance of the $M$-vector condition on $g$-vectors of simplicial spheres from equality. These lower bounds translate to ones on top gamma vector components and give lower bounds on gamma vector growth rates when the gamma vector components are dominant terms in the $g$-vector components with the same index (e.g. $g$-vectors with components increasing quickly compared to $d$). Finally, we show that the same results apply to positivity properties generalizing gamma positivity arising from connections between orthogonal polynomials and lattice paths. In the course of doing this, we describe gamma vector components in terms of monomer/dimer covers and point out connections between repeated (stellar) edge subdivisions (Tchebyshev subdivisions) and dimer covers.
Counting Strict Gridlock on Graphs
Graph colorings have been of interest to mathematicians for a long time, but relatively recently, social scientists have also found them to be interesting tools for studying group behavior. In the last 20 years, scientists have begun to study how coloring problems can be solved by groups of individuals on a graph, which has led to new insights into network structure, group dynamics, and individual human behavior. Despite this newfound utility, the exact nature of these distributed coloring problems is not well-understood, and established mathematical tools like the chromatic polynomial miss the unique challenges that arise in these social problem-solving situations with limited information. In this paper, we provide a new framework for understanding these distributed problems by defining a new kind of graph coloring with particular relevance to consensus formation on networks, in which all vertices are trying to agree on a common color. These strict gridlock colorings represent roadblocks to consensus where the group will not reach a uniform coloring using natural update processes. We describe a recurrence relation that provides an algorithm for counting these gridlocked colorings, which establishes a mathematical measure of how much a given graph hinders consensus in a group.
Lattice Structure and Efficient Basis Construction for Strongly Connected Orientations
Published
• View Publication
• BIB
Let $\vec{G}=(V,E^+\cup E^-)$ be a bidirected graph whose underlying undirected graph $G=(V,E)$ is $2$-edge-connected. A strongly connected orientation (SCO) is defined as a subset of arcs that contains exactly one of $e^+,e^-$ for every $e\in E$ and induces a strongly connected subgraph of $\vec{G}$. Given a family $\mathcal{F}$ of proper subsets of $V$, we call an SCO tight if there is exactly one arc entering $U$ for every $U\in \mathcal{F}$. We give a polynomial-time algorithm to construct a set $\mathcal{B}$ consisting of tight SCO's which forms an integral basis for the linear hull of tight SCO's. This means that $\mathcal{B}$ is a linearly independent subset of tight SCO's, and every integer vector in the linear hull of tight SCO's can be written as an integral combination of $\mathcal{B}$. This extends the main result of Abdi, Conuéjols, Liu and Silina (IPCO 2025), who gave a non-constructive proof of the existence of such a basis in an equivalent setting. While their proof uses polyhedral theory, our proof is purely combinatorial and yields a polynomial-time algorithm. As an application of our algorithm, we show that parity-constrained tight strongly connected orientation can be solved in deterministic polynomial time. Along the way, we discover appealing connections to the theory of perfect matching lattices.
Explicit Betti Numbers for Skeletons of Chordal Clique Complexes and Their Alexander Duals
We study the homological properties of $Δ_{\mathbf{r}}(n_1, \dots, n_e)$, a simplicial complex formed by sequentially gluing complete graphs along $(r_i-1)$-simplices. This construction generates precisely the chordal clique complexes, whose Stanley-Reisner ideals admit 2-linear resolutions. By computing the $f$-vector and evaluating the Hilbert series, we establish explicit graded Betti numbers for all $k$-skeletons. We show that the regularity of these skeletons is $k+1$ and the projective dimension stabilizes at $N_{\mathbf{r}} - r_{\min} - 1$ for $k \ge r_{\min}$, providing a complete classification of when the complex is Cohen-Macaulay, sequentially Cohen-Macaulay, or initially Cohen-Macaulay. We also obtain explicit formulas for the ring multiplicity and reduced Euler characteristic. Applying Alexander duality, we derive the $f$-vector, rational $h$-polynomial, and exact graded Betti numbers of the dual and its skeletons. Furthermore, analyzing these dual skeletons yields a family of complexes that resolve recent open bounds on regularity. Finally, equating the topological and rational evaluations of the Hilbert series produces a new family of combinatorial binomial identities.
Closing Trees into Unicyclic Counterexamples
We develop a family-based route to unicyclic graphs whose independence polynomials are unimodal but not log-concave. The paper is organized around one flagship statement: for the explicit KL-closure family $U_{k,r}$, with $r\in\{0,1,2\}$ and admissible $k$, the independence polynomial is unimodal but not log-concave. The proof separates the closure polynomial into a dominant convolution term and a real-rooted correction term. On the non-log-concavity side, we prove symbolically that the penultimate log-concavity inequality fails for every admissible parameter. On the unimodality side, we prove that the main convolution term $H_{k,r}=G_kF_{k+r}$ is unimodal with a controlled mode, using a combination of exact coefficient formulas, Ibragimov's strong-unimodality principle, and a residue-class growth argument. Darroch localization and an adjacent-mode bridge lemma then transfer that mode statement to the full KL closure polynomial. This yields an explicit infinite family of unicyclic graphs with unimodal but non-log-concave independence polynomials. In the exact range $k\le 400$, we further verify that the penultimate break is unique and determine exact mode formulas for $H_{k,r}$, the binomial correction term, and $I(U_{k,r};x)$ itself. The paper also places the KL family inside a broader reservoir program involving Galvin, Ramos-Sun, and Bautista-Ramos trees, from which we obtain substantial universal exact theorems for finite ranges.
Hypergraph Ramsey numbers with quasipolynomial growth rate
For a 3-uniform hypergraph (3-graph) $F$, let $r(F,n)$ be the smallest $N$ such that any $N$-vertex $F$-free 3-graph has an independent set of size $n$. We construct a $3$-graph $H_2$ with six vertices and five edges such that $r(H_2,n)=n^{Θ(\log n)}$, and a more general family of $3$-graphs $F$ for which $r(F,n)=n^{\log^{Θ(1)}(n)}$. These are the first examples of such Ramsey number known to be neither polynomial nor exponential.
Super Major Index Cyclic Sieving
Recently, Armon and Swanson introduced signed standard tableaux and a corresponding super major index that refines the classical major index. In this paper, we prove that signed standard tableaux of rectangular shape exhibit a cyclic sieving phenomenon (CSP) under the combined action of Schützenberger promotion and cyclic shift of the signs, with the sieving polynomial given by the super major index generating function. This extends Rhoades's celebrated CSP for standard Young tableaux. Furthermore, by considering Cartesian products of tableaux, we generalize this result to arbitrary non-rectangular shapes.
Independence polynomials of graphs
In this paper, we study the independence polynomial $P_G(x)$ of a finite simple graph $G$, with emphasis on the evaluation at $x=-1$, symmetry, and its connection with the $h$-polynomial of the edge ideal of $G$. For big star graphs, we determine exactly when $P_G(-1)$ is $0, 1$, or $-1$, characterize the pseudo-Gorenstein$^*$ members, and show that there is a unique big star with symmetric independence polynomial. We also study graphs obtained from a graph $H$ by attaching leaves to selected vertices. We derive an explicit formula for the resulting independence polynomial, determine the corresponding value at $-1$, and prove that if every vertex of $H$ receives at least one leaf, then the independence polynomial is symmetric if and only if each vertex receives exactly two leaves. As an application, we obtain exact criteria for the values of $P_G(-1)$ and for the pseudo-Gorenstein$^*$ members of caterpillar graphs. For cochordal graphs, we classify all symmetric independence polynomials. Finally, for connected graphs on $n$ vertices with small independence numbers, we determine the exact range of possible values of $P_G(-1)$.
General multi-Novikov algebras, multi-differential algebras and their free constructions
Published
• View Publication
• BIB
Motivated by the recent development of noncommutative Novikov algebras and multi-Novikov algebras from the study of regularity structures of stochastic PDEs, this paper gives a general approach to study various multi-Novikov algebras and multi-differential algebras, with close connection with Poisson algebras. The construction of S. Gelfand of Novikov algebras from differential commutative algebras is generalized to this context. Free noncommuting multi-Novikov algebras are constructed from typed decorated rooted trees and from noncommuting multi-differential polynomials with populated conditions.
Nearly-polynomial inverse theorem for the U^d norm in degree d+1
We prove a nearly polynomial inverse theorem for the Gowers $U^d$ norm, over finite fields of non-small characteristic, for polynomials of degree $d+1$. The case of degree $d$ was very recently settled by Milićević and Randelović with a fully polynomial bound. We moreover provide a nearly polynomial inverse theorem for homogeneous polynomials of any degree smaller than $2d$.
Drazin Inverses and Walk Structure of Oriented Dutch Windmill Graphs
Published
• View Publication
• BIB
We investigate the Drazin invertibility of adjacency matrices associated with a class of oriented graphs known as oriented Dutch windmill graphs. By analyzing walks of prescribed lengths and exploiting the structure of the minimal polynomial, we obtain explicit expressions for the Drazin inverse and determine its index. The approach combines combinatorial enumeration with algebraic matrix analysis, offering a constructive characterization that generalizes known results for paths, cycles, and bipartite graphs. Beyond its intrinsic theoretical value, the framework provides insight into discrete models governed by cyclic feedback and may serve as a basis for symbolic computation of generalized inverses in structured networks.
Linear recurrences for non-log-concave independence polynomials of trees
Published
• View Publication
• BIB
We identify a structural pattern in the construction of known infinite families of trees whose independence polynomials are not log-concave. Using this pattern and properties of polynomial ring ideals, we derive linear recurrences for these polynomials. As a consequence, we prove that the set of non-isolated limit points of their zeros lies on the circle $|z+1/3|=1/3$ in the complex plane. Building on these recurrences, we also exhibit infinite families of trees whose independence polynomials break log-concavity at one, two, and three consecutive indices, as well as finite families that break log-concavity at four and five consecutive indices. Our approach suggests that arbitrarily many consecutive breaks may be achievable, offering further insight into a question posed by Galvin [D. Galvin, Trees with non log-concave independent set sequences, arXiv:2502.10654v1, 2025].
Covering Hypercube $mB^n$
We generalize the problem of hyperplane coverings from the Boolean cube to the $m$-fold hypercube $mB^n = \{0,1,\ldots,m\}^n$. Let $f_m(n,k)$ denote the minimum number of hyperplanes such that each point of $mB^n$ is covered at least $k$ times while the origin is uncovered. We derive upper and lower bounds for $f_m(n,k)$, and further determine the exact value: $f_m(n,2) = mn + m$. To achieve this, we establish a version of Sauermann--Wigderson Combinatorial Nullstellensatz for $mB^n$, which enables us to construct polynomials with prescribed vanishing multiplicities.
Group and algebra hyperdeterminant
In 1896, Dedekind posed the problem of factoring the group determinant in the non-abelian case to Frobenius, whose solution sparked the birth of finite-group representation theory. Several decades earlier, Cayley introduced the notion of the combinatorial hyperdeterminant of a $d$-way tensor, which is the most natural generalization of an ordinary determinant. In this note, we solve the problem of factoring the group hyperdeterminant. We reduce the computation of the group hyperdeterminant to the computation of the hyperdeterminant at the matrix multiplication tensor and derive a nice closed formula. Further, we extend this notion to associative algebra tensors and show that this polynomial is nonzero if and only if the algebra is semisimple.
Characterizing the optimum bases of a convex geometry using quasi-closed hypergraphs
Published
• View Publication
• BIB
Optimizing an implicational base of a closure system consists in turning this implicational base into an equivalent one with premises and conclusions as small as possible. This task is known to be hard in general but tractable for a number of classes of closure systems. In particular, several classes of convex geometries are known to have tractable optimization, while the problem was recently claimed to remain hard in general convex geometries. Continuing this line of research, we give a characterization of the optimum bases of a convex geometry in terms of what we call quasi-closed hypergraphs. We then use this characterization to show that when each quasi-closed hypergraph has disjoint edges, any implicational base of the convex geometry can be optimized in polynomial time with existing minimization and reduction algorithms. Finally, we prove that this property applies to double-shelling, acyclic, affine and acceptant convex geometries, thus unifying the existing results regarding the tractability of optimization for the first three classes.
Heights of butterfly trees
Published in Random Structures & Algorithms 68, no. 3: e70068, 2026
• View Publication
• BIB
Binary search trees (BSTs) are fundamental data structures whose performance is largely governed by tree height. We introduce a block model for constructing BSTs by embedding internal BSTs into the nodes of an external BST -- a structure motivated by parallel data architectures -- corresponding to composite permutations formed via Kronecker or wreath products. Extending Devroye's result that the height $h_n$ of a random BST satisfies $h_n / \log n \to c^* \approx 4.311$, we show that block BSTs with $nm$ nodes and fixed external size $m$ satisfy $h_{n,m} / \log n \to c^* + h_m$ in distribution. We then study butterfly trees: BSTs with $N = 2^n$ nodes generated from permutations built using iterated Kronecker or wreath products. For simple butterfly trees (from iterated Kronecker products of $S_2$), we give a full distributional description showing polynomial height growth: $\mathbb{E} h_n^{\operatorname{B}} = Θ(N^α)$ with $α= \log_2(3/2) \approx 0.58496$. For nonsimple butterfly trees (from wreath products), we prove power-law bounds: $cN^α\cdot (1 + o(1)) \le \mathbb{E} h_n^{\operatorname{B}} \le dN^β\cdot (1 + o(1))$, with $β\approx 0.913189$.
Structural and Polynomial-Time Results on Core and Corona in Odd-Bicyclic Graphs
Let $\core G$ and $\corona G$ denote the intersection and the union, respectively, of all maximum independent sets of a graph $G$.
In this work, we show that for a graph with at most two odd cycles, $\a{\core G}+\a{\corona G}$ is equal to $2α(G)$, $2α(G)+1$, or $2α(G)+2$, and we precisely characterize when each value occurs.
We further characterize graphs with at most two odd cycles that admit the core--corona partition $V(G)=\corona G\ud N(\core G)$, extending known results for König--Egerváry and almost bipartite graphs.
Deciding whether $\core G=\emptyset$ is known to be \textbf{NP}-hard. As an algorithmic consequence of the obtained results, we show that the core, independence number and the corona can be computed in polynomial time for this class of graphs.
Lattice point enumeration of some arbor polytopes
The $n$-dimensional lattice polytopes $\mathcal{Q}_{n,k}$ obtained by intersecting the $n$th dilate of the standard $n$-dimensional simplex in $\mathbb{R}^n$ with the half-spaces $x_i \le 1$ for $1 \le i \le k$ form an interesting special case of Chapoton's arbor polytopes. They interpolate between the $n$th dilate of the standard $n$-dimensional simplex and the standard $n$-dimensional cube in $\mathbb{R}^n$. This paper provides an explicit combinatorial interpretation of the $h^\ast$-polynomial of $\mathcal{Q}_{n,k}$, as the ascent enumerator of certain words, and partly confirms some of Chapoton's conjectures on the lattice point enumeration of arbor polytopes in this special case. More specifically, the Ehrhart polynomial of $\mathcal{Q}_{n,k}$ is shown to be magic positive, by means of a new combinatorial parking model for cars, and the real-rootedness of its $h^\ast$-polynomial is deduced. The polynomial whose coefficients count the lattice points of $\mathcal{Q}_{n,k}$ by the number of their nonzero coordinates is shown to be gamma-positive and a combinatorial interpretation of the $h^\ast$-polynomial of any arbor polytope is conjectured.
Decoding universal cycles for t-subsets and t-multisets by decoding bounded-weight de Bruijn sequences
A universal cycle for a set S of combinatorial objects is a cyclic sequence of length |S| that contains a representative of each element in S exactly once as a substring. Despite the many universal cycle constructions known in the literature for various sets including k-ary strings of length n, permutations of order n, t-subsets of an n-set, and t-multisets of an n-set, remarkably few have efficient decoding (ranking/unranking) algorithms. In this paper we develop the first polynomial time/space decoding algorithms for bounded-weight de Bruijn sequences for strings of length nover an alphabet of size k. The results are then applied to decode universal cycles for t-subsets and t-multisets.
Maximum-Entropy Random Walks on Hypergraphs
Random walks are fundamental tools for analyzing complex networked systems, including social networks, biological systems, and communication infrastructures. While classical random walks focus on pairwise interactions, many real-world systems exhibit higher-order interactions naturally modeled by hypergraphs. Existing random walk models on hypergraphs often focus on undirected structures or do not incorporate entropy-based inference, limiting their ability to capture directional flows, uncertainty, or information diffusion in complex systems. In this article, we develop a maximum-entropy random walk framework on directed hypergraphs with two interaction mechanisms: broadcasting where a pivot node activates multiple receiver nodes and merging where multiple pivot nodes jointly influence a receiver node. We infer a transition kernel via a Kullback--Leibler divergence projection onto constraints enforcing stochasticity and stationarity. The resulting optimality conditions yield a multiplicative scaling form, implemented using Sinkhorn--Schrödinger-type iterations with tensor contractions. We further analyze ergodicity, including projected linear kernels for broadcasting and tensor spectral criteria for polynomial dynamics in merging. The effectiveness of our framework is demonstrated with both synthetic and real-world examples.