polynomial
11184 papers tagged with this keyword
Quantum $K$-theoretic Whitney relations for type $C$ flag manifolds
We study relations of $λ_{y}$-classes associated to tautological bundles over the flag manifold of type $C$ in the quantum $K$-ring. These relations are called the quantum $K$-theoretic Whitney relations. The strategy of the proof of the quantum $K$-theoretic Whitney relations is based on the method of semi-infinite flag manifolds and the Borel-type presentation. In addition, we observe that the quantum $K$-theoretic Whitney relations give a complete set of the defining relations of the quantum $K$-ring. This gives a presentation of the quantum $K$-ring of the flag manifold of type $C$, called the Whitney-type presentation, as a quotient of a polynomial ring, different from the Borel-type presentation.
Chamber zeta function and closed galleries in the standard non-uniform complex from $\operatorname{PGL}_3$
We introduce the \emph{chamber zeta function} for a complex of groups, defined via an Euler product over primitive tailless chamber galleries, extending the Ihara--Bass framework from weighted graphs to higher-rank settings. Let $\mathcal{B}$ be the Bruhat--Tits building of $\mathrm{PGL}_{3}(F)$ for a non-archimedean local field $F$ with residue field $\mathbb{F}_{q}$. For the standard arithmetic quotient $Γ\backslash\mathcal{B}$ with $Γ=\mathrm{PGL}_{3}(\mathbb{F}_{q}[t])$, we prove an Ihara--Bass type \emph{determinant formula} expressing the chamber zeta function as the reciprocal of a characteristic polynomial of a naturally defined chamber transfer operator. In particular, the chamber zeta function is \emph{rational} in its complex parameter. As an application of the determinant formula, we obtain explicit counting results for closed gallery classes arising from tailless galleries in $\mathcal{B}$, including exact identities and spectral asymptotics governed by the chamber operator.
Extremal orthogonal arrays
It is known that a Delsarte $t$-design in a $Q$-polynomial association scheme has degree at least $\left \lceil{\frac{t}{2}}\right \rceil $. Following Ionin and Shrikhande who studied combinatorial $(2s-1)$-designs (i.e., Delsarte designs in Johnson association schemes) having exactly $s$ block intersection numbers, we call a Delsarte $(2s-1)$-design with degree $s$ extremal and study extremal orthogonal arrays, which are Delsarte designs in Hamming association schemes.
It was shown by Delsarte that a $t$-design with degree $s$ and $t\geq 2s-2$ in a Hamming association scheme induces an $s$-class association scheme. We prove that an extremal orthogonal array gives rise to a fission scheme of the latter one, which has $2s-1$ or $2s$ classes. As a corollary, a new necessary condition for the existence of tight orthogonal arrays of strength $3$ is obtained.
Furthermore, as a counterpart to a result of Ionin and Shrikhande, we prove an inequality for Hamming distances in extremal orthogonal arrays. The inequality is tight as shown by examples related to the Golay codes.
The Minimum Subgraph Complementation Problem
Subgraph complementation is an operation that toggles all adjacencies inside a selected vertex set. Given a graph \(G\) and a target class \(\mathcal{C}\), the Minimum Subgraph Complementation problem asks for a minimum-size vertex set \(S\) such that complementing the subgraph induced by \(S\) transforms \(G\) into a graph belonging to \(\mathcal{C}\). While the decision version of Subgraph Complementation has been extensively studied and is NP-complete for many graph classes, the algorithmic complexity of its optimization variant has remained largely unexplored.
In this paper, we study MSC from an algorithmic perspective. We present polynomial-time algorithms for MSC in several nontrivial settings. Our results include polynomial-time solvability for transforming graphs between bipartite, co-bipartite, and split graphs, as well as for complementing bipartite regular graphs into chordal graphs. We also show that MSC to the class of graphs of fixed degeneracy can be solved in polynomial time when the input graph is a forest. Moreover, we investigate MSC with respect to connectivity and prove that MSC to the class of disconnected graphs and to the class of 2-connected graphs can be solved in polynomial time for arbitrary inputs.
Multigraphs and Time Ordered Isserlis-Wick formulae
Given a m-dimensional Gaussian process and polynomial m variables with real coefficients, we calculate the induced path odered exponenial in two different ways: one is purely algebraic in spirit and the other one is diagrammatic in spirit and uses multigraph labelings (and is inspired by the use of Feynman diagrams in quantum field theory).
The Grothendieck Group of the Variety of Spanning Line Configurations
We study the Grothendieck group of the variety $X_{n,k}$ of spanning line configurations introduced by Pawlowski--Rhoades [arXiv:1711.08301] as a geometric model for the generalized coinvariant algebra $R_{n,k}$. Our first result is a localization statement in $K$-theory for the complements of cell closures in smooth cellular varieties. Combining with the Fulton--Lascoux degeneracy loci formula, we prove that $K_0(X_{n,k})$ is canonically isomorphic to $R_{n,k}$, extending classical isomorphisms for the flag variety. We next identify the classes of the Pawlowski--Rhoades varieties with Grothendieck polynomials associated to words $w \in [k]^n$. Motivated by this identification, we develop models of classical and bumpless pipe dreams for words. We show that Schubert and Grothendieck polynomials of words are monomial-weight generating functions for these pipe dreams, extending the classical story from permutations to words and ordered set partitions.
Lovász--Saks--Schrijver Ideals and the Irreducible Components of the Variety of Orthogonal Representations of a Graph
Given a finite simple graph $G$ and a positive integer $d$, one can associate to $G$ the Lovász--Saks--Schrijver ideal $L_{G}(d)$, an ideal generated by quadratic polynomials coming from orthogonality conditions. The corresponding variety $\mathbb{V}(L_{G}(d))$, denoted $\mathrm{OR}_{d}(\overline{G})$, is the variety of orthogonal representations of the complement graph $\overline{G}$: its points are maps from the vertex set of $G$ to $\mathbb{K}^{d}$ that send adjacent vertices of $G$ to orthogonal vectors. In this paper we study the irreducible decomposition of $\mathrm{OR}_{d}(\overline{G})$ and the primary decomposition of $L_{G}(d)$. Our main focus is the case in which $G$ is a forest. Under this assumption, we determine the irreducible components of $\mathrm{OR}_{d}(\overline{G})$, compute their dimensions, and describe their defining equations, thereby obtaining the primary decomposition of $L_{G}(d)$. The key ingredient is a matroid-theoretic framework in which we associate to every forest $G$ a paving matroid $\mathcal{M}(G)$.
Computing parameters that generalize interval graphs using restricted modular partitions
Recently, Lafond and Luo [MFCS 2023] defined the $\mathcal{G}$-modular cardinality of a graph $G$ as the minimum size of a partition of $V(G)$ into modules that belong to a graph class $\mathcal{G}$. We analyze the complexity of calculating parameters that generalize interval graphs when parameterized by the $\mathcal{G}$-modular cardinality, where $\mathcal{G}$ corresponds either to the class of interval graphs or to the union of complete graphs. Namely, we analyze the complexity of computing the thinness and the simultaneous interval number of a graph.
We present a linear kernel for the Thinness problem parameterized by the interval-modular cardinality and an FPT algorithm for Simultaneous Interval Number when parameterized by the cluster-modular cardinality plus the solution size. The interval-modular cardinality of a graph is not greater than the cluster-modular cardinality, which in turn generalizes the neighborhood diversity and the twin-cover number. Thus, our results imply a linear kernel for Thinness when parameterized by the neighborhood diversity of the input graph, FPT algorithms for Thinness when parameterized by the twin-cover number and vertex cover number, and FPT algorithms for Simultaneous Interval Number when parameterized by the neighborhood diversity plus the solution size, twin-cover number, and vertex cover number. To the best of our knowledge, prior to our work no parameterized algorithms (FPT or XP) for computing the thinness or the simultaneous interval number were known.
On the negative side, we observe that Thinness and Simultaneous Interval Number parameterized by treewidth, pathwidth, bandwidth, (linear) mim-width, clique-width, modular-width, or even the thinness or simultaneous interval number themselves, admit no polynomial kernels assuming NP $\not\subseteq$ coNP/poly.
An exceptional set of uniformly spread Kakutani tilings of the line
The α-Kakutani substitution rule splits the unit interval into two subintervals of lengths alpha and 1 - α, for a fixed α in (0,1). A simple inflation-substitution procedure produces tilings of the real line and their associated Delone sets. We show that there are precisely five distinct values of min(α, 1 - α) for which these sets are uniformly spread, meaning that they are a bounded displacement of a lattice. The proof of this surprising fact combines the construction and analysis of a related family of primitive substitution tilings, Solomon's criterion for uniform spreadness, and a classification of Pisot-Vijayaraghavan polynomials.
Distinctive power and comparability of Harary polynomial
Let $\mathcal{P}$ be a graph property. A $\mathcal{P}$-coloring with at most $k$ colors is a coloring of the vertices of a simple graph $G$ such that each color class induces a graph in $\mathcal{P}$. Harary polynomials are generalizations of the chromatic polynomial for simple graphs based on conditional colorings. We denote by $χ_{\mathcal{P}}(G; k)$ the number of $\mathcal{P}$-colorings of $G$ with at most $k$ colors. $χ_{\mathcal{P}}(G; k)$ is a polynomial in $\Z[k]$. A first paper studying Harary polynomials systematically was published in 2021 by O.Herscovici, J.A. Makowsky and V. Rakita. It studies under which conditions on $\mathcal{P}$ is $χ_{\mathcal{P}}(G; k)$ definable in Monadic Second Order Logic and under which conditions is $χ_{\mathcal{P}}(G; k)$ a chromatic invariant. Let $\mathcal{P}, \mathcal{Q}$ be two graph properties. Two graphs $G, H$ are $\mathcal{P}$-mates if $χ_{\mathcal{P}}(G; k) = χ_{\mathcal{P}}(H; k)$. $χ_{\mathcal{Q}}$ is at least as distinctive as $χ_{\mathcal{P}}$, $χ_{\mathcal{P}} \leq χ_{\mathcal{Q}}$, if for all graphs $G, H$ we have that $χ_{\mathcal{Q}}(G; k) = χ_{\mathcal{Q}}(H; k)$ implies $χ_{\mathcal{P}}(G; k) = χ_{\mathcal{P}}(H; k)$. In this paper we study under which conditions on $\mathcal{P}$ are there any (many) $\mathcal{P}$-mates and under which conditions on $\mathcal{P}, \mathcal{Q}$ is $χ_{\mathcal{Q}}$ is at least as distinctive as $χ_{\mathcal{P}}$.
Combinatorial characterzations of $T$-designs in the nonbinary Johnson scheme
We study $T$-designs in the nonbinary Johnson scheme. This scheme generalizes both the Johnson and Hamming schemes and admits a bivariate $Q$-polynomial structure. Zhu (2021) provided a combinatorial characterization of $T$-designs in this scheme for certain index sets $T$, using a relationship between $T$-designs in the nonbinary Johnson scheme and relative designs in the nonbinary Hamming scheme. In this paper, we obtain a characterization that applies to a strictly larger class of index sets $T$, based on a methodological extension of Delsarte's original framework (1973). This new characterization naturally recovers classical block designs and orthogonal arrays as special cases. To describe these designs uniformly, we introduce $(r,s)$-designs, a new family of combinatorial objects that arise naturally from our characterization. We also derive absolute lower bounds on the cardinality of $(r,s)$-designs from the multiplicities of the primitive idempotents of the nonbinary Johnson scheme, and construct examples with index $λ=1$ that attain certain natural lower bounds.
Tableaux and orbit harmonics quotients for finite transformation monoids
We extend Grood's tableau construction of irreducible representations of the rook monoid and Steinberg's analogous result for the full transformation monoid. Our approach is characteristic-free and applies to any submonoid $\mathcal{M}(n)$ of the partial transformation monoid on an $n$-element set that contains the symmetric group. To achieve this, we introduce and study a functor from the category of rational representations of the monoid of $n \times n$ matrices to the category of finite dimensional representations of $\mathcal{M}(n)$. We establish two branching rules. Our main results describe graded module structures of orbit harmonics quotients for the rook, partial transformation, and full transformation monoids. This yields analogs of the Cauchy decomposition for polynomial rings in $n\times n$ variables.
Littlewood-Offord bounds on the symmetric groups and applications
The anti-concentration phenomenon in probability theory has been intensively studied in recent years, with applications across many areas of mathematics. In most existing works, the ambient probability space is a product space generated by independent random variables. In this paper, we initiate a systematic study of anti-concentration when the ambient space is the symmetric group, equipped with the uniform measure. Concretely, we focus on the random sum $S_π = \sum_{i=1}^{n} w_i\, v_{π(i)}$, where $w=(w_1,\dots,w_n)$ and $v=(v_1,\dots,v_n)$ are fixed vectors and $π$ is a uniformly random permutation.
The paper contains several new results, addressing both discrete and continuous anti-concentration phenomena. On the discrete side, we establish a near-optimal structural characterization of the vectors $w$ and $v$ under the assumption that the concentration probability $\sup_x P(S_π=x)$ is polynomially large. As applications, we derive and strengthen a number of previous results. In particular, we show that if both $w$ and $v$ have distinct entries, then $\sup_x P(S_π=x) \le n^{-5/2+o(1)}$. This bound serves as a permutation-space analogue of the classical Erdős--Moser bound in the product-space setting and answers a question posed by Alon--Pohoata--Zhu.
From the continuous perspective, we study the small-ball event $|S_π-L|\le δ$. We establish sharp bounds in various settings, including results exhibiting sub-gaussian decay in $L$. With additional effort, we are also able to treat the joint distribution of these events. Moreover, we provide a characterization of the vectors $w$ and $v$ for which these small-ball probabilities are large. As an application, we prove that the number of extremal points of random permutation polynomials is bounded by $O(\log n)$, extending results of S{ö}ze on the number of real roots.
Computing the 4D Geode
The closed form for the hyper-Catalan number C[m2,m3,m4,...], which counts the number of subdivisions of a roofed polygon into m2 triangles, m3 quadrilaterals, m4 pentagons, etc., has been known since 1940. In 2025, Wildberger and Rubine showed its generating series S[t2,t3,t4,...] is a zero of the general geometric univariate polynomial. They note the factorization S=(t2 + t3 + t4 + ...)G, where the factor G is called the Geode. Later in 2025, Amderberhan, Kauers and Zeilberger issued a challenge to compute G[1000,1000,1000,1000], the coefficient of $t_2^{1000}t_3^{1000}t_4^{1000}t_5^{1000}$ in G. The reward is a donation to OEIS. We describe the computation, give the value and claim the reward.
Chromatic numbers from edge ideals: Graph classes with vanishing syzygies are polynomially $χ$-bounded
The chromatic number $χ$ of a graph is bounded from below by its clique number $ω,$ but it can be arbitrary large. Perfect graphs are defined by $χ=ω$ for all induced subgraphs. An interesting relaxation are $χ$-bounded graph classes, where $χ\leq f(ω).$ It is not always possible to achieve this with a polynomial $f.$
The edge ideal $I_G$ of a graph $G$ is generated by monomials $x_ux_v$ for each edge $uv$ of $G.$ The bi-graded betti numbers $β_{i,j}(I)$ are central algebraic geometric invariants. We study the graph classes where for some fixed $i,j$ that syzygy vanishes, that is, $β_{i,j}(I_G)=0.$
We prove that $χ\leq f(ω),$ where $f$ is a polynomial of degree $2j-2i-4.$ For the elementary special case $β_{i,2i+2}(I_G)=0,$ this amounts to that $(i+1)K_2$-free graphs are ${ω-1+2i \choose 2i}$-colorable, improving on an old combinatorial result by Wagon. We also show that triangle-free graphs with $β_{i,j}(I_G)=0$ are $(j-1)$-colorable.
Complexity wise, we show that these colorings can be derived in time $O(n^3)$ for graphs on $n$ vertices. Moreover, we show that for almost all graphs with parabolic $i,j,$ there are better bounds on $χ.$
Categorification of Chromatic, Dichromatic and Penrose Polynomials
This paper discusses ways to categorify chromatic, dichromatic and Penrose polynomials, including categorifications of integer evaluations of chromatic polynomials.
We show that with an appropriate choice of variables the coefficients of the Potts partition function at different energy levels are given by Euler characteristics of appropriate parts of a bigraded homology theory associated with the model. In the case of the dichromatic polynomial for graphs, we show that the two variable polynomial can be seen as a sum of powers of one variable multiplied by coefficients that are "impropriety" coloring polynomials for the underlying graph. An impropriety polynomial $C_{G}^{i}(n)$ counts the number of colorings in $n$ colors of the graph that are not proper at a given number $i$ of edges in the graph. The last section of the paper categorifies coloring evaluations rather than coloring polynomials. We then obtain a range of possible chain complexes and homology theories such that the chromatic evaluation is equal to the Euler characteristic of the homology. The freedom of choice in making such chain complexes is related to possible associative algebra structures on the set of colors.
The Degenerate Three-Variable Hermite-Based Apostol-Frobenius-type Poly-Genocchi Polynomials with Parameters a and b
In this paper, we introduce the degenerate three-variable Hermite-based Apostol{Frobenius-type poly-Genocchi polynomials by integrating the modified degenerate polyexponential function with three-variable Hermite polynomials and Frobenius polynomials. We investigate several fundamental properties of these polynomials and derive a variety of identities and formulas, including explicit formulas, addition formula and expression in polynomial form. Moreover, we establish meaningful connections between these polynomials and the r-Whitney numbers of both the first and second kinds.
Properties of plactic monoid centralizers
Let u be a word over the positive integers P. Motivated by a question involving crystal graphs, Sagan and Wilson initiated the study of the centralizer of u in the plactic monoid which is the set
C(u) = {w | uw is Knuth equivalent to wu}.
In particular, they conjectured the following stability phenomenon: for any u there is a positive integer K depending only on u such that C(u^k) = C(u^K) for k >= K. We prove that this property holds for various u including words consisting of only ones and twos, as well as permutations. Sagan and Wilson also considered c_{n,m}(u) which is the number of w in C(u) of length n and maximum at most m. They showed that c_{n,m}(1) is a polynomial in m of degree n-1 and conjectured properties of the coefficients when it is expanded in a binomial coefficient basis. We prove some of these conjectures, for example, that the coefficients are always nonnegative integers.
A Proof of a conjecture of Watanabe--Yoshida via Ehrhart Theory
In 2005, Watanabe and Yoshida formulated a conjecture for a lower bound of the Hilbert-Kunz multiplicity of local rings that was recently settled by Meng using analytic methods. More recently, Pak-Shapiro-Smirnov-Yoshida used Ehrhart theory to compute explicitly the multiplicity and reduced the conjecture to showing an inequality of the values of the Ehrhart polynomial of a zigzag poset shifted to $t - 1/2$. We completely realize their approach to give another proof of this Watanabe--Yoshida conjecture. The main ingredient of the proof relies on a new explicit combinatorial formula for the coefficients of this shifted Ehrhart polynomial. In terms of the generating function of the shifted polynomial, this formula manifests itself as a Hadamard product of the exponential generating function of Euler numbers and an explicit algebraic function.
Brion atoms for classical types
Let $G$ be a classical group defined over the complex numbers with a Borel subgroup $B$. Choose a holomorphic involution of $G$ and let $K$ be its set of fixed points. The group $K$ acts on the flag variety $G/B$ with finitely many orbits and Brion has derived a general formula for the cohomology classes of the corresponding orbit closures as linear combinations of Schubert classes. This article provide a uniform description of the sets of Weyl group elements (which we refer to as Brion atoms) indexing the terms in this formula. This builds on prior work addressing types A, B, and C. The main novelty of our results is a thorough treatment of type D. As one application, we introduce a notion of involution Schubert polynomials for all classical types and present several conjectures related to these objects.