polynomial
11184 papers tagged with this keyword
Towards the classification of maximum scattered linear sets of $\mathrm{PG}(1,q^5)$
Every maximum scattered linear set in $\mathrm{PG}(1,q^5)$ is the projection of an $\mathbb{F}_q$-subgeometry $Σ$ of $\mathrm{PG}(4,q^5)$ from a plane $Γ$ external to the secant variety to $Σ$. The pair $(Γ,Σ)$ will be called a projecting configuration for the linear set. The projecting configurations for the only known maximum scattered linear sets in $\mathrm{PG}(1,q^5)$, namely those of pseudoregulus and LP type, have been characterized in the literature by B. Csajbók, C. Zanella in 2016 and by C. Zanella, F. Zullo in 2020. Let $(Γ,Σ)$ be a projecting configuration for a maximum scattered linear set in $\mathrm{PG}(1,q^5)$, let $σ$ be a generator of $\mathbb{G}=\mathrm{P}Γ\mathrm{L}(5,q^5)_Σ$, and $A=Γ\capΓ^{σ^4}$, $B=Γ\capΓ^{σ^3}$. If $A$ and $B$ are not both points, then the projected linear set is of pseudoregulus type. Then, suppose that they are points. The rank of a point $X$ is the vectorial dimension of the span of the orbit of $X$ under the action of $\mathbb{G}$. In this paper, by investigating the geometric properties of projecting configurations, it is proved that if at least one of the points $A$ and $B$ has rank 5, the associated maximum scattered linear set must be of LP type. Then, if a maximum scattered linear set of a new type exists, it must be such that $\mathrm{rk} A=\mathrm{rk} B=4$. In this paper we derive two possible polynomial forms that such a linear set must have. An exhaustive analysis by computer shows that for $q\leq 25$, no new maximum scattered linear set exists.
Tree-indexed sums of Catalan numbers
We consider a family of infinite sums of products of Catalan numbers, indexed by trees. We show that these sums are polynomials in $1/π$ with rational coefficients; the proof is effective and provides an algorithm to explicitly compute these sums. Along the way we introduce parametric liftings of our sums, and show that they are polynomials in the complete elliptic integrals of the first and second kind. Moreover, the degrees of these polynomials are at most half of the number of vertices of the tree. The computation of these tree-indexed sums is motivated by the study of large meandric systems, which are non-crossing configurations of loops in the plane.
On simultaneous $(s, s+t, s+2t, \dots)$-core partitions
We consider simultaneous $(s,s+t,s+2t,\dots,s+pt)$-core partitions in the large-$p$ limit, or (when $s<t$), partitions in which no hook may be of length $s \pmod{t}$. We study generating functions, containment properties, and congruences when $s$ is not coprime to $t$. As a boundary case of the general study made by Cho, Huh and Sohn, we provide enumerations when $s$ is coprime to $t$, and answer positively a conjecture of Fayers on the polynomial behavior of the size of the set of simultaneous $(s,s+t,s+2t,\dots,s+pt)$-core partitions when $p$ grows arbitrarily large. Of particular interest throughout is the comparison to the behavior of simultaneous $(s,t)$-cores.
A Supergeometric Faà di Bruno Formula
We extend the multivariate Faà di Bruno formula to the super case, where anticommuting odd coordinates are considered. The formula takes the same form as the classical case but contains some nontrivial signs, which essentially measure the failure to order the odd factors and derivatives optimally. As a quick application, we obtain an explicit combinatorial formula for the generalized super Bell polynomials, defined by Fan and Hon.
Rook sums in the symmetric group algebra
Let $\mathcal{A}$ be the group algebra $\mathbf{k}[S_n]$ of the $n$-th symmetric group $S_n$ over a commutative ring $\mathbf{k}$. For any two subsets $A$ and $B$ of $[n]$, we define the elements \[ \nabla_{B,A}:=\sum_{\substack{w\in S_n;\\w\left( A\right) =B}} w \qquad \text{and} \qquad \widetilde{\nabla}_{B,A}:=\sum_{\substack{w\in S_n;\\w\left( A\right) \subseteq B}}w \] of $\mathcal{A}$. We study these elements, showing in particular that their minimal polynomials factor into linear factors (with integer coefficients). We express the product $\nabla_{D,C}\nabla_{B,A}$ as a $\mathbb{Z}$-linear combination of $\nabla_{U,V}$'s.
More generally, for any two set compositions (i.e., ordered set partitions) $\mathbf{A}$ and $\mathbf{B}$ of $\left\{ 1,2,\ldots,n\right\} $, we define $\nabla_{\mathbf{B},\mathbf{A}}\in\mathcal{A}$ to be the sum of all permutations $w\in S_n$ that send each block of $\mathbf{A}$ to the corresponding block of $\mathbf{B}$. This generalizes $\nabla_{B,A}$. The factorization property of minimal polynomials does not extend to the $\nabla_{\mathbf{B},\mathbf{A}}$, but we describe the ideal spanned by the $\nabla_{\mathbf{B},\mathbf{A}}$ and a further ideal complementary to it. These two ideals have a "mutually annihilative" relationship, are free as $\mathbf{k}$-modules, and appear as annihilators of tensor product $S_n$-representations; they are also closely related to Murphy's cellular bases, Specht modules, pattern-avoiding permutations and even some algebras appearing in quantum information theory.
Supersymmetric Schur polynomials have saturated Newton polytopes
We prove that every supersymmetric Schur polynomial has a saturated Newton polytope (SNP). Our approach begins with a tableau-theoretic description of the support, which we encode as a polyhedron with a totally unimodular constraint matrix. The integrality of this polyhedron follows from the Hoffman-Kruskal criterion, thereby establishing the SNP property.
Algorithm for computing the partition function of the Potts model for SP-graphs
The q-state Potts model is a fundamental framework in statistical physics and graph theory, with its partition function encoding rich information about spin configurations. The multivariate Tutte polynomial (known as the partition function of the Potts model) can be defined on an arbitrary finite graph $G$ and encodes a lot of important combinatorial information about the graph. As a special case, it contains the familiar Tutte polynomial with two variables and, consequently, its specialization with one variable, such as the chromatic polynomial, the flow polynomial and the reliability polynomial. The main goal of this paper is to present an efficient algorithm for computing the Potts model partition function on SP-graphs (series-parallel graphs) with arbitrary weights. The algorithm for SP-graphs is based on simplifying the graph by replacing several edges with a single edge of equivalent weight, which significantly reduces computational complexity. In this paper, we present a linear-time algorithm for exactly computing the Potts model partition function on series-parallel graphs (SP-graphs).
On the DP-chromatic Number of Cartesian Products of Critical Graphs
DP-coloring (also called correspondence coloring) is a well-studied generalization of list coloring introduced by Dvořák and Postle in 2015. The following sharp bound on the DP-chromatic number of the Cartesian product of graphs $G$ and $H$ is known: $χ_{DP}(G \square H) \leq \text{min}\{χ_{DP}(G) + \text{col}(H), χ_{DP}(H) + \text{col}(G) \} - 1$ where $χ_{DP}(G)$ is the DP-chromatic number of $G$ and $\text{col}(H)$ is the coloring number of $H$. We seek to understand when $χ_{DP}(G \square K_{l,t})$ is far from its chromatic number: $χ(G \square K_{l,t}) = \max \{χ(G), 2 \}$ in the case that $G$ is a $k$-critical graph with $χ_{DP}(G)=k$. In particular, we have $χ_{DP}(G \square K_{l,t}) \leq k + l$, and for fixed $l$ we wish to find the smallest $t$ for which this upper bound is achieved. This can be viewed as an extension of the classic result that the list chromatic number of $K_{l,t}$ is $l+1$ if and only if $t \geq l^l$. Our results illustrate that the DP color function of $G$, the DP analogue of the chromatic polynomial, provides a concept and tool that is useful for making progress on this problem.
Partial Deranged Bell Numbers and Their Combinatorial Properties
We introduce a novel generalization of deranged Bell numbers by defining the partial deranged Bell numbers $w_{n,r}$, which count the number of set partitions of $\left[ n\right] $ with exactly $r$ fixed blocks, while the remaining blocks are deranged. This construction provides a unified framework that connects partial derangements, Stirling numbers, and ordered Bell numbers. We investigate their combinatorial properties, including explicit formulas, generating functions, and recurrence relations. Moreover, we demonstrate that these numbers are expressible in terms of classical sequences such as deranged Bell numbers and ordered Bell numbers, and reveal their relationship to complementary Bell numbers, offering insights relevant to Wilf's conjecture. Notably, we derive the identity \[ \tildeφ_{n}=\Tilde{w}_{n,0}-\Tilde{w}_{n,1}=\tilde{w}_{n-1,0}-2\tilde {w}_{n-1,2}, \] which illustrates their structural connection to complementary Bell numbers. We also introduce a polynomial expansion for these numbers and explore their connections with exponential polynomials, geometric polynomials, and Bernoulli numbers. These relationships facilitate the derivation of closed-form expressions for certain finite summations involving Stirling numbers of the second kind, Bernoulli numbers, and binomial coefficients, articulated through partial derangement numbers.
Perfect Graph Modification Problems: An Integer Programming Approach
Graph modification problems, which aim to find a small set of modifications to a graph so that it satisfies a desired property, have been studied for several special graph classes. The literature is rather rich in NP-completeness results and polynomial time solvable cases. However, to the best of our knowledge, only a few exact algorithms have been suggested to address NP-hard cases. In this work, we propose exact solution methods based on integer programming for three perfect graph modification problems: minimum perfect editing, minimum perfect completion and the perfect sandwich problem. The minimum perfect editing problem inquires the smallest number of edge additions and deletions to make a graph perfect, while the completion problem allows only edge additions. In the perfect sandwich problem, only a given subset of non-edges can be changed to edges, and the problem asks whether a perfect graph can be obtained in this way. The proposed methods are based on the Strong Perfect Graph Theorem. We represent odd holes and odd antiholes as linear inequalities, and formulate an integer programming model to solve minimum perfect editing problem. To address the exponential number of constraints, we propose a cutting plane algorithm which relies on finding odd holes and odd antiholes. To enhance the practical efficiency of the cutting plane algorithm, we address the expected number of odd holes and odd antiholes in random graphs. In addition, we propose a heuristic algorithm to make a given graph perfect, which is used to obtain improved upper bounds for the editing and the completion problems. Finally, we demonstrate empirical effectiveness of the proposed methods through computational experiments.
On the $l_\infty$-analog of Algebraic Connectivity
The algebraic connectivity $a(G)$ of a graph $G$ is defined as the second smallest eigenvalue of its Laplacian matrix $L(G)$. It also admits a variational characterization as the minimum of a quadratic form associated with $L(G)$, subject to $l_2$-norm constraints. In 2024, Andrade and Dahl investigated an analogous parameter $γ(G)$, defined using the $l_\infty$-norm instead of the $l_2$-norm. They demonstrated that $γ(G)$ can be computed in polynomial time using linear programming. In this article, we study the combinatorial significance of $γ(G)$, revealing that it can be efficiently computed using a breadth-first search (BFS) algorithm. We show that $γ(G)$ characterizes the connectedness of the graph $G$. We further establish new bounds on $γ(G)$, and analyze the graphs that attain extremal values. Finally, we derive an elegant formula for $γ(G)$ when $G$ is the Cartesian product of finitely many graphs. Applying this formula, we explicitly compute $γ(G)$ for various families of graphs, including hypercube graphs, Hamming graphs, and others.
A note on multiplicative-inverse chaining in finite fields
We consider chaining multiplicative-inverse operations in finite fields under alternating polynomial bases. When using two distinct polynomial bases to alternate the inverse operation we obtain a partition of $\mathbb F_{p^n}\setminus \mathbb F_p$ into disjoint cycles of even length. This allows a natural interpretation of the cycles as permutation cycles. Finally, we explore chaining under more than two polynomial bases.
Marked multi-colorings and marked chromatic polynomials of hypergraphs and subspace arrangements
We introduce the concepts of marked multi-colorings, marked chromatic polynomials, and marked (multivariate) independence series for hypergraphs. We show that the coefficients of the q-th power of the marked independence series of a hypergraph coincide with its marked chromatic polynomials in q, thereby generalizing a corresponding result for graphs established in Chaithra et al. 2025 (arXiv:2503.11230). These notions are then naturally extended to subspace arrangements. In particular, we prove that the number of marked multi q-colorings of a subspace arrangement is a polynomial in q. We also define the (marked) independence series for subspace arrangements and prove that the (-q)-th power of the independence series of a hyperplane arrangement has non-negative coefficients. We further conjecture that the (-q)-th power of the independence series of a hypergraph has non-negative coefficients if and only if all its edges have even cardinality.
Derangements in finite classical groups and characteristic polynomials of random matrices
We first obtain explicit upper bounds for the proportion of elements in a finite classical group G with a given characteristic polynomial. We use this to complete the proof that the proportion of elements of a finite classical group G which lie in a proper irreducible subgroup tends to 0 as the dimension of the natural module goes to infinity. This result is analogous to the result of Luczak and Pyber [15] that the proportion of elements of the symmetric group S_n which are contained in a proper transitive subgroup other than the alternating group goes to 0 as n goes to infinity. We also show that the probability that 3 random elements of SL(n,q) invariably generate goes to 0 as n goes to infinity.
Finite Interpretations of a Hyper-Catalan Series Solution to Polynomial Equations and Visualizations
The solution to the general univariate polynomial equation has been sought for centuries. It is well known there is no general solution in radicals for degrees five and above.
The hyper-Catalan numbers $C[m_2,m_3,m_4,\ldots]$ count the ways to subdivide a planar polygon into exactly $m_2$ triangles, $m_3$ quadrilaterals, $m_4$ pentagons, etc. Wildberger and Rubine (2025) show the generating series $\mathbf{S}$ of the hyper-Catalan numbers is a formal series zero of the general geometric polynomial (meaning, general except for a constant of $1$ and a linear coefficient of $-1$).
Using a variant of the series solution to the geometric polynomial that has the number of vertices, edges, and faces explicitly shown, We prove their infinite series result may be viewed as a finite identity at each level, where a level is a truncation of $\mathbf{S}$ to a given maximum number of vertices, edges, or faces (bounded by degree).
We illustrate this result, as well as the general correspondence between operations on sets of subdivided polygons and the algebra of polynomials, with figures and animations generated using Python.
Higher-order Stirling cycle and subset triangles: Total positivity, continued fractions and real-rootedness
Given a lower-triangular matrix of real numbers, one can ask the following four total-positivity questions: total positivity of the triangle itself; total positivity of its row-reversal; Toeplitz-total positivity of its row sequences (equivalent to negative-real-rootedness of the row-generating polynomials); and coefficientwise Hankel-total positivity of the sequence of row-generating polynomials. In this paper, we introduce two infinite families of lower-triangular matrices generalising the Stirling cycle and subset triangles, parametrised by an integer $r \ge 1$; we call these the $r$th-order Stirling cycle and subset numbers. We then ask the foregoing four questions for each of these triangles, leading us to several conjectures. We then prove some of these conjectures for the case $r=2$.
On $q$-deformed Markov numbers. Cohn matrices and perfect matchings with weighted edges
We consider a natural $q$-deformation of the classical Markov numbers. This $q$-deformation is closely related to $q$-deformed rational numbers recently introduced by two of us. Both notions, those of $q$-rationals and $q$-Markov numbers, are based on invariance with respect to the action of the modular group $mathrm{PSL}(2,\mathbb{Z})$. We prove that every Markov number has a unique $q$-deformation, which is a monic unimodal palindromic Laurent polynomial with positive integer coefficients. The $q$-Markov numbers can be calculated in terms of the traces of $q$-deformed Cohn matrices, and we show that $q$-Markov numbers are independent of the choice of such matrices. We construct a combinatorial model counting perfect matchings of snake graphs with weighted edges.
Fano schemes of sub-maximal elementary symmetric functions
Denote by $E_r$ the $r^{th}$ elementary symmetric polynomial in $\dim V$ variables for a vector space $V$ over an infinite field $\Bbbk$. We describe the rational points on the Fano scheme $F_{d-1}(Z(E_{\dim V-1}))$ of projective $(d-1)$-spaces contained in the zero locus of $E_{\dim V-1}$. Isolated points exist precisely for $\dim V=2d$, in which case they are in bijection with the $1\cdot 3\cdots (2d-1)$ pairings on a $2d$-element set. This, in particular, confirming a conjecture of Ambartsoumian, Auel and Jebelli to the effect that (over $\mathbb{R}$) all isolated points are recoverable via integral star transforms with appropriate symbols.
Spectral analysis of $q$-deformed unitary ensembles with the Al-Salam--Carlitz weight
We study $q$-deformed random unitary ensembles associated with the weight function of the Al-Salam--Carlitz orthogonal polynomials, indexed by a parameter $a < 0$. In the special case $a = -1$, the model reduces to the $q$-deformed Gaussian unitary ensemble. Employing the Flajolet--Viennot theory together with the combinatorics of matchings, we derive an explicit positive-sum expression for the spectral moments. In the double-scaling regime $q = e^{-λ/N}$, where $N$ denotes the ensemble size and $λ> 0$ is fixed, we derive the first two terms in the large-$N$ expansion of the spectral moments. As a consequence, we obtain a closed-form expression for the limiting spectral density. Notably, this density exhibits two successive phase transitions as $λ$ increases, characterised by a reduction in the number of soft edges from two, to one, and eventually to none. Furthermore, we show that the limiting density coincides with the limiting zero distribution of the Al-Salam--Carlitz orthogonal polynomials under the same scaling.
Guessing sequences of eigenvectors for LMPs defining spectrahedral relaxations of Eulerian rigidly convex sets
Stable multivariate Eulerian polynomials were introduced by Brändén. Particularizing some variables, it is possible to extract real zero multivariate Eulerian polynomials from them. These real zero multivariate Eulerian polynomials can be fed into constructions of spectrahedral relaxations providing therefore approximations to the (Eulerian) rigidly convex sets defined by these polynomials. The accuracy of these approximations is measured through the behaviour in the diagonal, where the usual univariate Eulerian polynomials sit. In particular, in this sense, the accuracy of the global spectrahedral approximation produced by the spectrahedral relaxation can be measured in terms of bounds for the extreme roots of univariate Eulerian polynomials. The bounds thus obtained beat the previous bounds found in the literature. However, the bound explicitly studied and obtained before beat the previously known bounds by a quantity going to $0$ when $n$ goes to infinity. Here we use numerical experiments to construct a sequence of vectors providing a (linearized) bound whose difference with the previous known bounds is a growing exponential function (going therefore fast to infinity when $n$ grows). This allows us to establish a better (diagonal) measure of accuracy for the spectrahedral relaxation of the Eulerian rigidly convex sets. In particular, we will achieve this by linearizing through the sequence of vectors $\{(y,(-2^{m-i})_{i=3}^{m},(0,\frac{1}{2}),(1)_{i=1}^{m})\in\mathbb{R}^{n+1}\}_{n=1}^{\infty}$ for even $n=2m$.