polynomial
11184 papers tagged with this keyword
Ehrhart quasi-polynomials of rational polytopes by real dilations
This paper is to study the Ehrhart function $L(P,t)$ of a rational $n$-polytope $P$, defined as the number of lattice points of dilated polytopes $tP$ with real numbers $t\geq 0$. It turns out that $L(P,t)$ is a quasi-polynomial of real variable $t$ in the sense that \[ L(P,t)=\sum_{k=0}^{n} c_k(P,t)t^k, \quad t\geq 0, \] where $c_k(P,t)$ are periodic piecewise polynomials of degree $n-k$ if ${\rm aff}\,P$ contains the origin, and are periodic functions vanishing almost everywhere otherwise. When $P$ is a rational simplex $σ$, the coefficient functions $c_k(σ,t)$ are given explicitly in terms of vertex information of the simplex $σ$. Moreover, the reciprocity law still holds.
Hidden Structure of Jack Littlewood-Richardson Coefficients
We argue that Jack Littlewood-Richardson coefficients $g_{μν}^λ(α)$ are specialisations of certain novel polynomials. For the triple of partitions $(μ,ν,λ)=(21,21,321)$, we prove the corresponding polynomial is invariant under $S_6 \times \mathbb{Z}_2$, which is identified as the automorphism group of the Johnson graph $J(6,3)$. We conjecture that these polynomials exhibit a factorization property on certain hyperplanes, which is a consequence of compatibility relations between polynomials associated to adjacent triples in the Young graph. As a consequence of this, we conjecture that the difference of adjacent Jack Littlewood-Richardson coefficients is divisible by the shared hook length.
Enumeratively Chromatic-Choosable Theta Graphs
Chromatic choosability is a notion of fundamental importance in list coloring. A graph $G$ is chromatic-choosable when its chromatic number, $χ(G)$, is equal to its list chromatic number $χ_{\ell}(G)$. In 1990, Kostochka and Sidorenko introduced the list color function of a graph $G$, denoted $P_{\ell}(G,m)$, which is the list analogue of the chromatic polynomial of $G$, $P(G,m)$. A graph $G$ is said to be enumeratively chromatic-choosable when $P_{\ell}(G,m)=P(G,m)$ for every $m \in \mathbb{N}$. Theta graphs and their generalizations have played an important role in graph coloring problems over the years; for example, they appear in the characterization of chromatic-choosable graphs with chromatic number 2. In this paper we characterize the enumeratively chromatic-choosable theta graphs. Our proof utilizes ideas from DP-coloring (a.k.a. correspondence coloring), providing yet another example of how the more general setting of DP-coloring can be leveraged to attack a problem in list coloring.
Highly connected non-formal Milnor fibers via polyhedral products
We show that the realization theorem of Fernández de Bobadilla, which identifies the Milnor fiber of a weighted-homogeneous polynomial with the complement of a germ of analytic set, can be combined with the systematic Massey product constructions of Grbić-Linton for moment-angle complexes $\mathcal{Z}_K = \mathcal{Z}_K(D^2, S^1)$ to produce weighted-homogeneous polynomials whose Milnor fibers are arbitrarily highly connected and non-formal. The original application of this strategy, due to Fernández de Bobadilla, used the Denham-Suciu classification of lowest-degree triple Massey products and yielded only $2$-connected non-formal Milnor fibers. The Grbić-Linton framework, which constructs non-trivial $n$-fold Massey products in $H^*(\mathcal{Z}_K;\mathbb{Z})$ for arbitrary $n$ and in arbitrary cohomological degrees, removes this connectivity restriction entirely.
Rook theory, normal ordering in the $q$-deformed Ore algebra and the polynomial generalization
For words in the variables $X$ and $Y$ satisfying the commutation relation of the $q$-deformed generalized Ore algebra, $XY-qYX= μI + νY$, we show that the corresponding normal ordering coefficients can be given an interpretation in terms of mixed placements of rooks and files. In particular, the associated $q$-deformed Ore-Stirling and Ore-Lah numbers are treated in detail. We show that the $q$-deformed Ore-Stirling numbers (resp., $q$-deformed Ore-Lah numbers) are given as mixed placement numbers of rooks and files on the staircase board (resp., Laguerre board). Using this combinatorial interpretation, their recurrence relations are derived. In addition, the normal ordered form of the binomial $(X+Y)^m$ in the $q$-deformed generalized Ore algebra is determined. These considerations are then extended to the $q$-deformed polynomial Weyl algebra generated by $X$ and $Y$ satisfying $XY-qYX=f(Y)$ for some polynomial $f\in \mathbb{C}[Y]$. In particular, associated $q$-deformed polynomial Stirling and Lah numbers are introduced and their properties studied. The normal ordered form of the binomial is also extended to the $q$-deformed polynomial Weyl algebra.
Ramsey-type $χ$-bounds for $χ$-bounded graph classes
We prove that for every path $P$, the class of graphs with no induced $P$ and no induced four-cycle $C_4$ is linearly $χ$-bounded. More generally, we ask for which pairs $\{T,H\}$ where $T$ is a forest and $H$ is a complete multipartite graph, every graph $G$ with no induced $T$ and no induced $H$ has chromatic number at most $C \cdot R(α(H),ω(G)+1)$ for some constant $C$ depending only on $T$ and $H$, where $R(\cdot,\cdot)$ denotes the usual Ramsey numbers. We show that this holds in the following two instances, which strengthen the case $T=P$ and $H=C_4$ mentioned above:
(1) every component of $T$ is a broom and $H$ is complete multipartite; or
(2) $T$ is a forest and $H$ is complete bipartite.
These two unify and substantially extend a number of previous results on linear and polynomial $χ$-boundedness for various graph classes.
For case (2), we also provide a new proof (with better bounds) of a recent result of Fox, Nenadov, and Pham on the existence of an induced copy of a fixed tree in a graph satisfying certain sparsity conditions.
Proofs of four generating function conjectures for arbor polytopes
This paper proves four conjectured generating series, due to Chapoton, which concern invariants of posets and polytopes associated with a specific sequence of arbors. Two of these conjectures provide closed-form formulas for the generating series of the Zeta polynomial and the generating series of the M-triangle of the poset, respectively. The remaining two conjectures pertain, respectively, to the Ehrhart polynomial and the Laplace transform of the volume function of the associated arbor polytope.
Average Hitting Times and Recurrence STRUCTURES I: Powers of Cycle Graphs
We investigate the average hitting times of simple random walks on the $k$-th power graph $C_N^k$ of the cycle graph $C_N$. First, we show that the average hitting times are characterized by a difference equation corresponding to the graph Laplacian. Next, by using the cyclic symmetry of $C_N^k$, we derive a spectral representation via Fourier analysis. Furthermore, by applying factorization and partial fraction decomposition of the corresponding difference operator, we obtain an explicit formula for the average hitting times consisting of a quadratic term and finitely many correction terms. These correction terms are described by second-order linear recurrence sequences associated with the characteristic polynomials, and can be regarded as natural generalizations of Fibonacci-type sequences. As a consequence, our formulas recover the known results for cycle graphs and squares of cycle graphs in a unified way. Moreover, from the formulas obtained for average hitting times, we derive explicit formulas for the effective resistances, the numbers of spanning trees, the numbers of two-component spanning forests, and the numbers of spanning trees of vertex-identified graphs. In particular, for the third power graph $C_N^3$ of the cycle graph, all of these quantities are written explicitly in terms of complex conjugate Fibonacci-type sequences. Our results clarify structural relations between random walk quantities and combinatorial quantities on cycle power graphs.
New results on the odd- and unique-Ramsey numbers
The odd-Ramsey number $r_{\text{odd}}(n,H)$ of a graph $H$ is the minimum number of colors needed to edge-color $K_n$ so that in every copy of $H$ some color occurs an odd number of times, and the unique-Ramsey number $r_{\text{u}}(n,H)$ is the corresponding notion in which some color is required to occur not only an odd number of times but exactly once.
In this paper, we address three questions from previous papers. We show $r_{\text{odd}}(n,K_{s,t})> n^{1/\left(\frac s2+\frac 1{2\lfloor t/8 \rfloor}\right)}$ when $s\leq t$ and $s$ is odd and $t$ is even, which is log-asymptotically tight when $s$ is fixed and $t\to\infty$. Next, we consider the odd-Ramsey number when the host graph to be edge-colored is a super-Dirac graph, and show that in any host graph with minimum degree at least $n/2+2$, the odd-Ramsey number of Hamilton cycles is non-trivial. Finally, we show that $r_\text{u}(n,C_n)> n/4$, which leads to a polynomial gap between $r_\text{odd}(n,C_n)$ and $r_\text{u}(n,C_n)$.
Counting LEGO configurations
We discuss the problem of counting certain LEGO structures, primarily those comprising parallel $w \times 1$ tiles. These can be combined, as a single LEGO structure, by interlocking the tiles. %Alternatively, if the interlocking condition is relaxed, so that tiles can also be placed end-to-end, a greater number of possible configurations results. We also study the historically earlier problem of counting the number of ways to combine $2 \times 4$ LEGO tiles, which in this case gives a 3-dimensional structure.
In all cases the number of configurations is dominated by an exponential growth term, $μ^n$ where $n$ is the number of tiles. We present an algorithm for counting these various LEGO configurations, and use the data to estimate the asymptotics.
We analyse the data so generated, and conjecture that, for the two-dimensional structures, the number of possible configurations grows like $A(w)μ(w)^n/n,$ and we give numerical estimates for $A(w)$ and $μ(w)$ for $w < 11,$ while for the three-dimensional structure the number of possible configurations is conjectured to grow like $Aμ^n/n^{3/2},$ where $μ= 117.25 \pm 0.05.$
We also study the sequences that arise when we fix the number of tiles $n,$ and vary the tile size $w.$ We prove that the sequences are polynomials of degree $n-1,$ and we give these explicitly for $n=1 \ldots 14.$
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$.
Twist polynomial interpolation for binary delta-matroids
Gross, Mansour and Tucker introduced the partial-dual polynomial of a ribbon graph and asked under what conditions such a polynomial is even-interpolating, odd-interpolating, or both. In this paper, we provide an answer to this open problem.Using the framework of delta-matroids, we prove that the twist polynomial of any binary delta-matroid is either an even polynomial, an odd polynomial, or both even-interpolating and odd-interpolating. Applying this to ribbon graphs, we deduce that the partial-dual polynomial of any ribbon graph satisfies the same conclusion.
Algorithmic Phase Transition for Large Independent Sets in Dense Hypergraphs
We study the algorithmic tractability of finding large independent sets in dense random hypergraphs. In the sparse regime, much of the natural algorithms can be formulated within either the local or the low-degree polynomial (LDP) framework, and a rich literature has subsequently identified nearly sharp algorithmic thresholds within these classes by exploiting their stability. In the dense setting, however, the algorithmic paradigms are fundamentally different: they are online and thus need not be stable. Perhaps more crucially, even for the classical Erdős-Rényi random graph $G(n,p)$, LDPs are conjectured to fail in the 'easy' regime accessible to online algorithms, thereby challenging their viability for dense models.
Our focus is on two models: (i) finding large independent sets in dense $r$-uniform Erdős-Rényi hypergraphs, and (ii) the more challenging problem of finding large $γ$-balanced independent sets in dense $r$-uniform $r$-partite hypergraphs, where the $i$-th coordinate of $γ\in\mathbb{Q}^r$ specifies the proportion of vertices from $V_i$ in the independent set. For both models, we pinpoint the size of the largest independent set and design online algorithms that achieve a multiplicative approximation factor of $r^{1/(r-1)}$ in the uniform and $(\max_i γ_i)^{-1/(r-1)}$ in the $r$-partite model. Furthermore, we establish matching algorithmic lower bounds, showing that these computational gaps are sharp: no online algorithms can breach these gaps.
A $μ$-distance for semidirected orchard phylogenetic networks
In evolutionary biology, phylogenetic networks are now widely used to represent the historical relationships between species and population, when this history includes reticulation events such as hybridization, gene flow and admixture between populations. Semidirected phylogenetic networks are appropriate models when the direction of some edges and the root position are not identifiable from data. Comparing semidirected networks is important in many applications. For rooted and directed networks, a $μ$-representation was originally introduced to distinguish tree-child networks, and has since been extended in two different directions: to the larger class of orchard directed networks by adding an extra component that counts paths to reticulations; and to semidirected networks, through an edge-based variant. However, the latter does not provide a distance between semidirected and orchard networks. We introduce here a new edge-based $μ$-representation capable of distinguishing distinct orchard binary semidirected networks. For this class, we provide a reconstruction algorithm and therefore obtain a true distance that is computable in polynomial time.
Double-sum Rogers-Ramanujan type identities
As the $q$-analog of Chebyshev polynomials, $q$-Hermite polynomials form a cornerstone in the family of $q$-orthogonal polynomials, which play a fundamental role in quantum algebra and mathematical physics. Recently, Andrews obtained a series of Rogers-Ramanujan type identities by constructing Bailey pairs from Chebyshev polynomials. In this paper, by applying the expansion formula of Chebyshev polynomials in terms of $q$-Hermite polynomials and using the orthogonality relations, we derive a series of Rogers-Ramanujan type identities on double sums, which further generalized the known results due to Andrews, Shi, Sun and Yao.
Geometry of multilinear varieties over infinite fields and its applications
Multilinear varieties, defined as the sets of rational points of varieties cut out by multilinear functions, were first introduced and studied by Gowers and Milićević[Proc. Edinb. Math. Soc., 2021] for finite $\mathbb{K}$. In this paper, we investigate multilinear varieties over infinite fields from a geometric perspective. We establish two fundamental results: a codimension formula for the Zariski closure of a multilinear variety, and the existence of a high-dimensional irreducible subvariety passing through any given $\mathbb{K}$-rational point. These results serve as a geometric foundation for analyzing various ranks of tensors and homogeneous polynomials, including partition rank, analytic rank, geometric rank, (collective) strength and (collective) Birch rank. As applications, we resolve the Adiprasito-Kazhdan-Ziegler conjecture [arXiv:2102.03659, 2021] on the stability of partition rank for perfect infinite fields. We thereby settle the stability conjecture for collective strength [Selecta Math., 2024], as well as the conjecture on the linear equivalence between strength and Birch rank [arXiv:2410.00248, 2024] for such fields. Moreover, our results immediately yield a strengthening of the theorems of Bik-Draisma-Snowden [arXiv:2401.02067, 2024] and Lampert-Snowden [arXiv:2406.18498, 2024], for multilinear varieties over infinite fields.
Induced Lorentzian and volume polynomials
Suppose one has a party of $m$ people, whose expertise collectively covers $n$ topics. Given a subset $T$ of the topics, one wishes to form a panel of $|T|$ people from the party such that $T$ can be covered by assigning a distinct topic to each panel member with the expertise. We show that the numbers of such panels, as $T$ varies, form a Lorentzian polynomial. We achieve this by showing that a certain linear operator on polynomials, which we call the ``inducing operator'' for its connection to induced (poly)matroids, preserves Lorentzian polynomials and realizable volume polynomials.
A short proof of Mathar's 2016 recurrence conjecture for OEIS A176677
For the OEIS sequence A176677, defined by the quadratic convolution recurrence $a(0) = a(1) = 1$ and $a(n+1) = \sum_{p=0}^n a(p) a(n-p) - 1$ for $n \ge 1$, R.~J.~Mathar contributed in March 2016 the conjectured order-4 P-recursive recurrence \[ (n+1)\,a(n) + 2(-3n+1)\,a(n-1) + (9n-13)\,a(n-2) - 4\,a(n-3) + 4(-n+4)\,a(n-4) = 0. \] We give a short proof. The convolution recurrence translates directly into the algebraic equation $z(1-z) G(z)^2 - (1-z) G(z) + (1 - z - z^2) = 0$ for the ordinary generating function $G(z)$, and Mathar's recurrence then drops out as the coefficient form of a 1st-order linear inhomogeneous ODE $q_0(z) G(z) + q_1(z) G'(z) = R(z)$ that we verify by polynomial division modulo the algebraic equation. The polynomial $q_1(z)$ admits the factorization $q_1(z) = -z(z-1)(2z-1)(2z^2 + 3z - 1)$, whose roots are exactly the singularities of $G$. Deutsch's combinatorial interpretation (Motzkin paths of length $n-1$ with two-coloured level-zero horizontal steps) is preserved.
Depth of edge ideals and vertex connectivity of finite graphs
Let $G$ be a finite graph on $[n]:=\{1, \ldots, n\}$ and $κ(G)$ its vertex connectivity. Let $S=K[x_1, \ldots, x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I(G^c)$ the edge ideal of the complementary graph $G^c$ of $G$. It is a classical result that ${\rm depth} S/I(G^c) \leq κ(G) + 1$. We give a sharp lower bound of ${\rm depth} S/I(G^c)$ in terms of $n$ and $κ(G)$. Furthermore, a sharp lower bound of ${\rm depth} S/I(G^c)^2$ as well as that of ${\rm depth} S/I(G^c)^{(2)}$ in terms of $n$ and $κ(G)$ is given.
Determinantal formulae for a symmetric generating function of totally symmetric plane partitions
Ilse Fischer and the second author introduced in [Algebr. Comb. 7 (2024), no. 5, 1319-1345] a two parameter family of polynomials defined as sums over totally symmetric plane partitions and connected to alternating sign matrices and cyclically symmetric lozenge tilings of a hexagon with a triangular hole. In this paper we present several determinantal formulae leading to new lattice path models and a novel family of tableaux. The later illustrates that the polynomials of our interest can be thought of as generalisations of the three dual Littlewood identities.