polynomial
11422 papers tagged with this keyword
Graph covers and semi-covers: Who is stronger?
The notion of graph cover, also known as locally bijective homomorphism, is a discretization of covering spaces known from general topology. It is a pair of incidence-preserving vertex- and edge-mappings between two graphs, the edge-component being bijective on the edge-neighborhoods of every vertex and its image. In line with the current trends in topological graph theory and its applications in mathematical physics, graphs are considered in the most relaxed form and as such they may contain multiple edges, loops and semi-edges.
Nevertheless, simple graphs (binary structures without multiple edges, loops, or semi-edges) play an important role. It has been conjectured in [Bok et al.: List covering of regular multigraphs, Proceedings IWOCA 2022, LNCS 13270, pp. 228--242] that for every fixed graph $H$, deciding if a graph covers $H$ is either polynomial time solvable for arbitrary input graphs, or NP-complete for simple ones. A graph $A$ is called stronger than a graph $B$ if every simple graph that covers $A$ also covers $B$. This notion was defined and found useful for NP-hardness reductions for disconnected graphs in [Bok et al.: Computational complexity of covering disconnected multigraphs, Proceedings FCT 2022, LNCS 12867, pp. 85--99]. It was conjectured in [Kratochvíl: Towards strong dichotomy of graphs covers, GROW 2022 - Book of open problems, p. 10, {\tt https://grow.famnit.upr.si/GROW-BOP.pdf}] that if $A$ has no semi-edges, then $A$ is stronger than $B$ if and only if $A$ covers $B$. We prove this conjecture for cubic one-vertex graphs, and we also justify it for all cubic graphs $A$ with at most 4 vertices.
Morphisms and BWT-run Sensitivity
We study how the application of injective morphisms affects the number $r$ of equal-letter runs in the Burrows-Wheeler Transform (BWT). This parameter has emerged as a key repetitiveness measure in compressed indexing. We focus on the notion of BWT-run sensitivity after application of an injective morphism. For binary alphabets, we characterize the class of morphisms that preserve the number of BWT-runs up to a bounded additive increase, by showing that it coincides with the known class of primitivity-preserving morphisms, which are those that map primitive words to primitive words. We further prove that deciding whether a given binary morphism has bounded BWT-run sensitivity is possible in polynomial time with respect to the total length of the images of the two letters. Additionally, we explore new structural and combinatorial properties of synchronizing and recognizable morphisms. These results establish new connections between BWT-based compressibility, code theory, and symbolic dynamics.
Log-concavity of inverse Kazhdan-Lusztig polynomials of paving matroids
Published
• View Publication
• BIB
Gao and Xie (2021) conjectured that the inverse Kazhdan-Lusztig polynomial of any matroid is log-concave. Although the inverse Kazhdan-Lusztig polynomial may not always have only real roots, we conjecture that the Hadamard product of an inverse Kazhdan-Lusztig polynomial of degree $n$ and $(1+t)^n$ has only real roots. Using interlacing polynomials and multiplier sequences, we confirm this conjecture for paving matroids. This result allows us to confirm the log-concavity conjecture for these matroids by applying Newton's inequalities.
Uniform treatments of Bernoulli numbers, Stirling numbers, and their generating functions
In this paper, by virtue of a determinantal formula for derivatives of the ratio between two differentiable functions, in view of the Faà di Bruno formula, and with the help of several identities and closed-form formulas for the partial Bell polynomials $\operatorname{B}_{n,k}$, the author establishes thirteen Maclaurin series expansions of the functions \begin{align*} &\ln\frac{\operatorname{e}^x+1}{2}, && \ln\frac{\operatorname{e}^x-1}{x}, && \ln\cosh x, \\ &\ln\frac{\sinh x}{x}, && \biggl[\frac{\ln(1+x)}{x}\biggr]^r, && \biggl(\frac{\operatorname{e}^x-1}{x}\biggr)^r \end{align*} for $r=\pm\frac{1}{2}$ and $r\in\mathbb{R}$ in terms of the Dirichlet eta function $η(1-2k)$, the Riemann zeta function $ζ(1-2k)$, and the Stirling numbers of the first and second kinds $s(n,k)$ and $S(n,k)$. presents four determinantal expressions and three recursive relations for the Bernoulli numbers $B_{2n}$. finds out three closed-form formulas for the Bernoulli numbers $B_{2n}$ and the generalized Bernoulli numbers $B_n^{(r)}$ in terms of the Stirling numbers of the second kind $S(n,k)$, and deduce two combinatorial identities for the Stirling numbers of the second kind $S(n,k)$. acquires two combinatorial identities, which can be regarded as diagonal recursive relations, involving the Stirling numbers of the first and second kinds $s(n,k)$ and $S(n,k)$. recovers an integral representation and a closed-form formula, and establish an alternative explicit and closed-form formula, for the Bernoulli numbers of the second kind $b_n$ in terms of the Stirling numbers of the first kind $s(n,k)$. obtains three identities connecting the Stirling numbers of the first and second kinds $s(n,k)$ and $S(n,k)$.
Building sets, Chow rings, and their Hilbert series
Published
• View Publication
• BIB
We establish formulas for the Hilbert series of the Feichtner--Yuzvinsky Chow ring of a polymatroid using arbitrary building sets. For braid matroids and minimal building sets, our results produce new formulas for the Poincaré polynomial of the moduli space $\overline{\mathcal{M}}_{0,n+1}$ of pointed stable rational curves, and recover several previous results by Keel, Getzler, Manin, and Aluffi--Marcolli--Nascimento. We also use our methods to produce examples of matroids and building sets for which the corresponding Chow ring has Hilbert series with non-log-concave coefficients. This contrasts with the real-rootedness and log-concavity conjectures of Ferroni--Schröter for matroids with maximal building sets, and of Aluffi--Chen--Marcolli for braid matroids with minimal building sets.
The Ehrhart polynomial of a matroid specializes to the beta invariant
Published
• View Publication
• BIB
We show that the linear coefficient of the Ehrhart polynomial of a matroid base polytope evaluated at $t-1$ is equal to, up to normalization, the $β$-invariant of the matroid. This yields a lattice-point counting formula for the $β$-invariant and establishes a new and unexpected positivity property of Ehrhart polynomials of matroid polytopes.
Equivariant quasisymmetry and noncrossing partitions
We introduce a definition of ``equivariant quasisymmetry'' for polynomials in two sets of variables. Using this definition we define quasisymmetric generalizations of the theory of double Schur and double Schubert polynomials that we call double fundamental polynomials and double forest polynomials, where the subset of ``noncrossing partitions'' plays the role of $S_n$. In subsequent work we will show this combinatorics is governed by a new geometric construction we call the ``quasisymmetric flag variety'' which plays the same role for equivariant quasisymmetry as the usual flag variety plays in the classical story.
There are finitely many $5$-vertex-critical $(P_6,\text{bull})$-free graphs
Published
• View Publication
• BIB
In this paper, we are interested in $4$-colouring algorithms for graphs that do not contain an induced path on $6$ vertices nor an induced bull, i.e., the graph with vertex set $\{v_1,v_2,v_3,v_4,v_5\}$ and edge set $\{v_1v_2,v_2v_3,v_3v_4,v_2v_5,v_3v_5\}$. Such graphs are referred to as $(P_6,\text{bull})$-free graphs. A graph $G$ is \emph{$k$-vertex-critical} if $χ(G)=k$, and every proper induced subgraph $H$ of $G$ has $χ(H)<k$. In the current paper, we investigate the structure of $5$-vertex-critical $(P_6,\text{bull})$-free graphs and show that there are only finitely many such graphs, thereby answering a question of Maffray and Pastor. A direct corollary of this is that there exists a polynomial-time algorithm to decide if a $(P_6,\text{bull})$-free graph is $4$-colourable such that this algorithm can also provide a certificate that can be verified in polynomial time and serves as a proof of 4-colourability or non-4-colourability.
On Refined Vogel's universality
Published in Phys.Lett. B867 (2025) 139596
• View Publication
• BIB
In accordance with P. Vogel, a set of algebra structures in Chern-Simons theory can be made universal, independent of a particular family of simple Lie algebras. In particular, this means that various quantities in the adjoint representations of these simple Lie algebras such as dimensions and quantum dimensions, Racah coefficients, etc. are simple rational functions of two parameters on Vogel's plane, giving three lines associated with $sl$, $so/sp$ and exceptional algebras correspondingly. By analyzing the partition function of refined of Chern-Simons theory, it was suggested earlier that the refinement may preserve the universality for simply laced algebras. Here we support this conjecture by analysing the Macdonald dimensions, i.e. values of Macdonald polynomials at $q^ρ$, where $ρ$ is the Weyl vector: there is a universality formula that describes these dimensions for the simply laced algebras as a function on the Vogel's plane.
Counting degree-constrained orientations
Published
• View Publication
• BIB
We study the enumeration of graph orientations under local degree constraints. Given a finite graph $G = (V, E)$ and a family of admissible sets $\{\mathsf P_v \subseteq \mathbb{Z} : v \in V\}$, let $\mathcal N (G; \prod_{v \in V} \mathsf P_v)$ denote the number of orientations in which the out-degree of each vertex $v$ lies in $P_v$. We prove a general duality formula expressing $\mathcal N(G; \prod_{v \in V} \mathsf P_v)$ as a signed sum over edge subsets, involving products of coefficient sums associated with $\{\mathsf P_v\}_{v \in V}$, from a family of polynomials. Our approach employs gauge transformations, a technique rooted in statistical physics and holographic algorithms. We also present a probabilistic derivation of the same identity, interpreting the orientation-generating polynomial as the expectation of a random polynomial product. As applications, we obtain explicit formulas for the number of even orientations and for mixed Eulerian-even orientations on general graphs. Our formula generalizes a result of Borbényi and Csikvári on Eulerian orientations of graphs.
The $h$-vectors of toric ideals of odd cycle compositions revisited
Published
• View Publication
• BIB
Let $G$ be a graph consisting of $s$ odd cycles that all share a common vertex. Bhaskara, Higashitani, and Shibu Deepthi recently computed the $h$-polynomial for the quotient ring $R/I_G$, where $I_G$ is the toric ideal of $G$, in terms of the number and sizes of odd cycles in the graph. The purpose of this note is to prove the stronger result that these toric ideals are geometrically vertex decomposable, which allows us to deduce the result of Bhaskara, Higashitani, and Shibu Deepthi about the $h$-polyhomial as a corollary.
Asymptotic normality of coefficients of P-recursive polynomial sequences
In recent years, the asymptotic normality of some famous combinatorial sequences has been the subject of extensive study. However, the methods used to prove the asymptotic normality of various combinatorial sequences differ significantly. In this paper, we present a sufficient condition for establishing the asymptotic normality of the coefficients of a general P-recursive polynomial sequence. Additionally, we provide two examples that illustrate the application of this sufficient condition.
Dividing sums of cycles in the semiring of functional digraphs
Published
• View Publication
• BIB
Functional digraphs are unlabelled finite digraphs where each vertex has exactly one out-neighbor. They are isomorphic classes of finite discrete-time dynamical systems. Endowed with the direct sum and product, functional digraphs form a semiring with an interesting multiplicative structure. For instance, we do not know if the following division problem can be solved in polynomial time: given two functional digraphs $A$ and $B$, does $A$ divide $B$? That $A$ divides $B$ means that there exists a functional digraph $X$ such that $AX$ is isomorphic to $B$, and many such $X$ can exist. We can thus ask for the number of solutions $X$. In this paper, we focus on the case where $B$ is a sum of cycles (a disjoint union of cycles, corresponding to the limit behavior of finite discrete-time dynamical systems). There is then a naïve sub-exponential algorithm to compute the non-isomorphic solutions $X$, and our main result is an improvement of this algorithm which has the property to be polynomial when $A$ is fixed. It uses a divide-and-conquer technique that should be useful for further developments on the division problem.
Ideal Decomposition of Hyperplane Arrangements
Let $\mathcal{A}$ be an affine hyperplane arrangement, $L(\mathcal{A})$ its intersection poset, and $χ_{\mathcal{A}}(t)$ its characteristic polynomial. This paper aims to propose combinatorial structures for the factorization of $χ_{\mathcal{A}}(t)$. To this end, we introduce the notion of an ideal decomposition of $L(\mathcal{A})$ and use the Möbius algebra as a key tool to derive such a factorization. This concept provides a unified and substantial generalization of both the modular elements proposed by Stanley (1971) and the nice partitions proposed by Terao (1992). We also define modular ideals of $L(\mathcal{A})$, which yield a tensor decomposition of the Orlik-Solomon algebra of $\mathcal{A}$. We further show that every modular ideal can be realized as the intersection poset of some hyperplane arrangement.
Set families: restricted distances via restricted intersections
Published
• View Publication
• BIB
Denote by $f_D(n)$ the maximum size of a set family $\mathcal{F}$ on $[n] \stackrel{\mbox{\normalfont\tiny def}}{=} \{1, \dots, n\}$ with distance set $D$. That is, $|A \bigtriangleup B| \in D$ holds for every pair of distinct sets $A, B \in \mathcal{F}$. Kleitman's celebrated discrete isodiametric inequality states that $f_D(n)$ is maximized at Hamming balls of radius $d/2$ when $D = \{1, \dots, d\}$. We study the generalization where $D$ is a set of arithmetic progression and determine $f_D(n)$ asymptotically for all homogeneous $D$. In the special case when $D$ is an interval, our result confirms a conjecture of Huang, Klurman, and Pohoata. Moreover, we demonstrate a dichotomy in the growth of $f_D(n)$, showing linear growth in $n$ when $D$ is a non-homogeneous arithmetic progression. Different from previous combinatorial and spectral approaches, we deduce our results by converting the restricted distance problems to restricted intersection problems.
Our proof ideas can be adapted to prove upper bounds on $t$-distance sets in Hamming cubes (also known as binary $t$-codes), which has been extensively studied by algebraic combinatorialists community, improving previous bounds from polynomial methods and optimization approaches.
Groups with pairings, Hall modules, and Hall-Littlewood polynomials
Published
• View Publication
• BIB
We relate the combinatorics of Hall-Littlewood polynomials to that of abelian $p$-groups with alternating or Hermitian perfect pairings. Our main result is an analogue of the classical relationship between the Hall algebra of abelian $p$-groups (without pairings) and Hall-Littlewood polynomials. Specifically, we define a module over the classical Hall algebra with basis indexed by groups with pairings, and explicitly relate its structure constants to Hall-Littlewood polynomials at different values of the parameter $t$. We also show certain expectation formulas with respect to Cohen-Lenstra type measures on groups with pairings. In the alternating case this gives a new and simpler proof of previous results of Delaunay-Jouhet.
Target Pebbling in Trees
Published
• View Publication
• BIB
Graph pebbling is a game played on graphs with pebbles on their vertices. A pebbling move removes two pebbles from one vertex and places one pebble on an adjacent vertex. A configuration $C$ is a supply of pebbles at various vertices of a graph $G$, and a distribution $D$ is a demand of pebbles at various vertices of $G$. The $D$-pebbling number, $π(G, D)$, of a graph $G$ is defined to be the minimum number $m$ such that every configuration of $m$ pebbles can satisfy the demand $D$ via pebbling moves. The special case in which $t$ pebbles are demanded on vertex $v$ is denoted $D=v^t$, and the $t$-fold pebbling number, $π_{t}(G)$, equals $\max_{v\in G}π(G,v^t)$. It was conjectured by Alcón, Gutierrez, and Hurlbert that the pebbling numbers of chordal graphs forbidding the pyramid graph can be calculated in polynomial time. Trees, of course, are the most prominent of such graphs. In 1989, Chung determined $π_t(T)$ for all trees $T$. In this paper, we provide a polynomial-time algorithm to compute the pebbling numbers $π(T,D)$ for all distributions $D$ on any tree $T$, and characterize maximum-size configurations that do not satisfy $D$.
The characteristic polynomials of $r$-uniform hypercycles with length $l$
Published
• View Publication
• BIB
Let $C_{l}$ be a cycle with length $l.$ The $r$-uniform hypercycle with length $l$ is obtained by adding $r-2$ new vertices in every edge of $C_{l},$ denoted by $C_l^{(r)}$. In this paper, we deduce some higher-order traces for the adjacent tensor of $C_l^{(r)}$ by BEST Theorem. Then we obtain higher-order spectral moments according to the relationship between eigenvalues of power hypergraphs and eigenvalues of signed graphs. Finally, the general expression of the characteristic polynomials of $C_l^{(r)}$ is given. Furthermore, by using this general expression, we present the characteristic polynomials of $C_5^{(r)}$ and $C_6^{(r)}$ as examples.
Iwasawa theory and the representations of finite groups
Published
• View Publication
• BIB
In this note, I develop a representation-theoretic refinement of the Iwasawa theory of finite Cayley graphs. Building on analogies between graph zeta functions and number-theoretic L-functions, I study $\mathbb{Z}_\ell$-towers of Cayley graphs and the asymptotic growth of their Jacobians. My main result establishes that the Iwasawa polynomial associated to such a tower admits a canonical factorization indexed by the irreducible representations of the underlying group. This leads to the definition of representation-theoretic Iwasawa polynomials, whose properties are studied.
Real-rooted integer polynomial enumeration algorithms and interlacing polynomials via linear programming
We extend the algorithms of Robinson, Smyth, and McKee--Smyth to enumerate all real-rooted integer polynomials of a fixed degree, where the first few (at least three) leading coefficients are specified. Additionally, we introduce new linear programming algorithms to enumerate all feasible interlacing polynomials of a given polynomial that comes from a certain family of real-rooted integer polynomials. These algorithms are further specialised for the study of real equiangular lines, incorporating additional number-theoretic constraints to restrict the enumeration. Our improvements significantly enhance the efficiency of the methods presented in previous work by the authors.