polynomial
11250 papers tagged with this keyword
Schubert structure operators and K_T(G/B)
Published
• View Publication
• BIB
We prove a formula for the structure constants of multiplication of equivariant Schubert classes in both equivariant cohomology and equivariant K-theory of Kac-Moody flag manifolds G/B. We introduce new operators whose coefficients compute these (in a manifestly polynomial, but not positive, way), resulting in a formula much like and generalizing the positive Andersen-Jantzen-Soergel/Billey and Graham/Willems formulae for the restriction of classes to fixed points. Our proof involves Bott-Samelson manifolds, and in particular, the (K-)cohomology basis dual to the (K-)homology basis consisting of classes of sub-Bott-Samelson manifolds.
On parametrized families of numerical semigroups
Published
• View Publication
• BIB
A numerical semigroup is an additive subsemigroup of the non-negative integers. In this paper, we consider parametrized families of numerical semigroups of the form $P_n = \langle f_1(n), \ldots, f_k(n) \rangle$ for polynomial functions $f_i$. We conjecture that for large $n$, the Betti numbers, Frobenius number, genus, and type of $P_n$ each coincide with a quasipolynomial. This conjecture has already been proven in general for Frobenius numbers, and for the remaining quantities in the special case when $P_n = \langle n, n + r_2, \ldots, n + r_k \rangle$. Our main result is to prove our conjecture in the case where each $f_i$ is linear. In the process, we develop the notion of weighted factorization length, and generalize several known results for standard factorization lengths and delta sets to this weighted setting.
Regularity of S_n-invariant monomial ideals
For a polynomial ring S in n variables, we consider the natural action of the symmetric group S_n on S by permuting the variables. For an S_n-invariant monomial ideal I in S and j >= 0, we give an explicit recipe for computing the modules Ext^j(S/I,S), and use this to describe the projective dimension and regularity of I. We classify the S_n-invariant monomial ideals that have a linear free resolution, and also characterize those which are Cohen-Macaulay. We then consider two settings for analyzing the asymptotic behavior of regularity: one where we look at powers of a fixed ideal I, and another where we vary the dimension of the ambient polynomial ring and examine the invariant monomial ideals induced by I. In the first case we determine the asymptotic regularity for those ideals I that are generated by the S_n-orbit of a single monomial by solving an integer linear optimization problem. In the second case we describe the behavior of regularity for any I, recovering a recent result of Murai.
A parametric version of LLL and some consequences: parametric shortest and closest vector problems
Published
• View Publication
• BIB
Given a parametric lattice with a basis given by polynomials in Z[t], we give an algorithm to construct an LLL-reduced basis whose elements are eventually quasi-polynomial in t: that is, they are given by formulas that are piecewise polynomial in t (for sufficiently large t), such that each piece is given by a congruence class modulo a period. As a consequence, we show that there are parametric solutions of the shortest vector problem (SVP) and closest vector problem (CVP) that are also eventually quasi-polynomial in t.
Strongly chordal digraphs and $Γ$-free matrices
We define strongly chordal digraphs, which generalize strongly chordal graphs and chordal bipartite graphs, and are included in the class of chordal digraphs. They correspond to square 0,1 matrices that admit a simultaneous row and column permutation avoiding the Γ matrix. In general, it is not clear if these digraphs can be recognized in polynomial time, and we focus on symmetric digraphs (i.e., graphs with possible loops), tournaments with possible loops, and balanced digraphs. In each of these cases we give a polynomial-time recognition algorithm and a forbidden induced subgraph characterization. We also discuss an algorithm for minimum general dominating set in strongly chordal graphs with possible loops, extending and unifying similar algorithms for strongly chordal graphs and chordal bipartite graphs.
Coefficients of Wronskian Hermite polynomials
Published in Studies in Applied Mathematics 144 (2020), 245-288
• View Publication
• BIB
We study Wronskians of Hermite polynomials labelled by partitions and use the combinatorial concepts of cores and quotients to derive explicit expressions for their coefficients. These coefficients can be expressed in terms of the characters of irreducible representations of the symmetric group, and also in terms of hook lengths. Further, we derive the asymptotic behaviour of the Wronskian Hermite polynomials when the length of the core tends to infinity, while fixing the quotient. Via this combinatorial setting, we obtain in a natural way the generalization of the correspondence between Hermite and Laguerre polynomials to Wronskian Hermite polynomials and Wronskians involving Laguerre polynomials. Lastly, we generalize most of our results to polynomials that have zeros on the $p$-star.
Counting weighted independent sets beyond the permanent
Published in SIAM Journal on Discrete Mathematics 35-2 (2021), 1503-1524
• View Publication
• BIB
Jerrum, Sinclair and Vigoda (2004) showed that the permanent of any square matrix can be estimated in polynomial time. This computation can be viewed as approximating the partition function of edge-weighted matchings in a bipartite graph. Equivalently, this may be viewed as approximating the partition function of vertex-weighted independent sets in the line graph of a bipartite graph. Line graphs of bipartite graphs are perfect graphs, and are known to be precisely the class of (claw, diamond, odd hole)-free graphs. So how far does the result of Jerrum, Sinclair and Vigoda extend? We first show that it extends to (claw, odd hole)-free graphs, and then show that it extends to the even larger class of (fork, odd hole)-free graphs. Our techniques are based on graph decompositions, which have been the focus of much recent work in structural graph theory, and on structural results of Chvatal and Sbihi (1988), Maffray and Reed (1999) and Lozin and Milanic (2008).
(GL_k x S_n)-modules and nabla of hook-indexed Schur functions
The aim of this paper is to describe structural properties of spaces of diagonal rectangular harmonic polynomials in several sets (say $k$) of $n$ variables, both as $GL_k$-modules and $S_n$-modules. We construct explicit such modules associated to any hook shape partitions. For the two sets of variables case, we conjecture that the associated graded Frobenius characteristic corresponds to the effect of the operator Nabla on the corresponding hook-indexed Schur function, up to a usual renormalization. We prove identities that give indirect support to this conjecture, and show that its restriction to one set of variables holds. We further give indications on how the several sets context gives a better understanding of questions regarding the structures of these modules and the links between them.
Joins, Ears and Castelnuovo-Mumford regularity
Published
• View Publication
• BIB
We introduce a new class of polynomial ideals associated to a simple graph, $G$. Let $K[E_G]$ be the polynomial ring on the edges of $G$ and $K[V_G]$ the polynomial ring on the vertices of $G$. We associate to $G$ an ideal, $I(X_G)$, defined as the preimage of $(x_i^2-x_j^2 : i,j\in V_G)\subseteq K[V_G]$ by the map $K[E_G]\to K[V_G]$ which sends a variable, $t_e$, associated to an edge $e=\{i,j\}$, to the product $x_ix_j$ of the variables associated to its vertices. We show that $K[E_G]/I(X_G)$ is a one-dimensional, Cohen-Macaulay, graded ring, that $I(X_G)$ is a binomial ideal and that, with respect to a fixed monomial order, its initial ideal has a generating set independent of the field $K$. We focus on the Castelnuovo-Mumford regularity of $I(X_G)$ providing the following sharp upper and lower bounds: $$ μ(G) \leq \operatorname{reg} I(X_G) \leq |V_G|-b_0(G)+1, $$ where $μ(G)$ is the maximum vertex join number of the graph and $b_0(G)$ is the number of its connected components. We show that the lower bound is attained for a bipartite graph and use this to derive a new combinatorial result on the number of even length ears of nested ear decomposition.
A refinement of Christol's theorem for algebraic power series
Published
• View Publication
• BIB
A famous result of Christol gives that a power series $F(t)=\sum_{n\ge 0} f(n)t^n$ with coefficients in a finite field $\mathbb{F}_q$ of characteristic $p$ is algebraic over the field of rational functions in $t$ if and only if there is a finite-state automaton accepting the base-$p$ digits of $n$ as input and giving $f(n)$ as output for every $n\ge 0$. An extension of Christol's theorem, giving a complete description of the algebraic closure of $\mathbb{F}_q(t)$, was later given by Kedlaya. When one looks at the support of an algebraic power series, that is the set of $n$ for which $f(n)\neq 0$, a well-known dichotomy for sets generated by finite-state automata shows that the support set is either sparse---with the number of $n\le x$ for which $f(n)\neq 0$ bounded by a polynomial in $\log(x)$---or it is reasonably large in the sense that the number of $n\le x$ with $f(n)\neq 0$ grows faster than $x^α$ for some positive $α$. The collection of algebraic power series with sparse supports forms a ring and we give a purely algebraic characterization of this ring in terms of Artin-Schreier extensions and we extend this to the context of Kedlaya's work on generalized power series.
Integrability approach to Feher-Nemethi-Rimanyi-Guo-Sun type identities for factorial Grothendieck polynomials
Published in Nucl. Phys. B 954 (2020) 114998
• View Publication
• BIB
Recently, Guo and Sun derived an identity for factorial Grothendieck polynomials which is a generalization of the one for Schur polynomials by Fehér, Némethi and Rimányi. We analyze the identity from the point of view of quantum integrability, based on the correspondence between the wavefunctions of a five-vertex model and the Grothendieck polynomials. We give another proof using the quantum inverse scattering method. We also apply the same idea and technique to derive an identity for factorial Grothendieck polynomials for rectangular Young diagrams. Combining with the Guo-Sun identity, we get a duality formula. We also discuss a $q$-deformation of the Guo-Sun identity.
New expressions for order polynomials and chromatic polynomials
Published
• View Publication
• BIB
Let $G=(V,E)$ be a simple graph with $V=\{1,2,\cdots,n\}$ and $χ(G,x)$ be its chromatic polynomial. For an ordering $π=(v_1,v_2,\cdots,v_n)$ of elements of $V$, let $δ_G(π)$ be the number of $i$'s, where $1\le i\le n-1$, with either $v_i<v_{i+1}$ or $v_iv_{i+1}\in E$. Let ${\cal W}(G)$ be the set of subsets $\{a,b,c\}$ of $V$, where $a<b<c$, which induces a subgraph with $ac$ as its only edge. We show that ${\cal W}(G)=\emptyset$ if and only if $(-1)^nχ(G,-x)=\sum_π {x+δ_G(π)\choose n}$, where the sum runs over all $n!$ orderings $π$ of $V$. To prove this result, we establish an analogous result on order polynomials of posets and apply Stanley's work on the relation between chromatic polynomials and order polynomials.
Cosmological Polytopes and the Wavefuncton of the Universe for Light States
We extend the investigation of the structure of the late-time wavefunction of the universe to a class of toy models of scalars with time-dependent masses and polynomial couplings, which contains general massive scalars in FRW cosmologies. We associate a universal integrand to each Feynman diagram contributing to the wavefunction of the universe. For certain (light) masses, such an integrand satisfies recursion relations involving differential operators, connecting states with different masses and having, as a seed, the massless scalar (which describes a conformally coupled scalar as a special case). We show that it is a degenerate limit of the canonical form of a generalisation of the cosmological polytopes describing the wavefunction for massless scalars. Intriguingly, the flat-space scattering amplitude appears as a higher codimension face: it is encoding the leading term in the Laurent expansion as the total energy is taken to zero, with the codimension of the face providing the order of the total energy pole. The same connection between the other faces and the Laurent expansion coefficients holds for the other singularities of the wavefunction of the universe, all of them connectable to flat-space processes. As the degenerate limit is taken, some of the singularities of the canonical form of the polytope collapse onto each other generating higher order poles. Finally, we consider the mass as a perturbative coupling, showing that the contribution to the wavefunction coming from graphs with mass two-point couplings can be identified with a degenerate limit of the canonical form of the cosmological polytope, if the perturbative expansion is done around the conformally coupled state; or as double degenerate limit of the canonical form of the extension of the cosmological polytopes introduced in the present paper, if the perturbative expansion is done around minimally coupled states.
Lucas atoms
Published
• View Publication
• BIB
Given two variables $s$ and $t$, the associated sequence of Lucas polynomials is defined inductively by $\{0\}=0$, $\{1\}=1$, and $\{n\}=s\{n-1\}+t\{n-2\}$ for $n\ge2$. An integer (e.g., a Catalan number) defined by an expression of the form $\prod_i n_i/\prod_j k_j$ has a Lucas analogue obtained by replacing each factor with the corresponding Lucas polynomial. There has been interest in deciding when such expressions, which are a priori only rational functions, are actually polynomials in $s,t$. The approaches so far have been combinatorial. We introduce a powerful algebraic method for answering this question by factoring $\{n\}=\prod_{d|n} P_d(s,t)$, where we call the polynomials $P_d(s,t)$ Lucas atoms. This permits us to show that the Lucas analogues of the Fuss-Catalan and Fuss-Narayana numbers for all irreducible Coxeter groups are polynomials in $s,t$. Using gamma expansions, a technique which has recently become popular in combinatorics and geometry, one can show that the Lucas atoms have a close relationship with cyclotomic polynomials $Φ_d(q)$. Certain results about the $Φ_d(q)$ can then be lifted to Lucas atoms. In particular, one can prove analogues of theorems of Gauss and Lucas, deduce reduction formulas, and evaluate the $P_d(s,t)$ at various specific values of the variables.
Zeta functions of graphs, their symmetries and extended Catalan numbers
In this paper we study spectral zeta functions associated to finite and infinite graphs. First we establish a meromorphic continuation of these functions under some general conditions. Then we study special values in the case of standard lattice graphs associated to free abelian groups. In particular we connect it to Catalan numbers in several ways, and obtain some non-trivial special values and functional symmetries. Furthermore we relate the values at the negative integers with the more studied Ihara zeta functions, and prove a few minor results that seem not to have been recorded before. Finally we consider the characteristic polynomial of the graph Laplacians, and in particular completely determine its coefficients for cyclic graphs using new analytical methods.
An algebraic inverse theorem for the quadratic Littlewood-Offord problem, and an application to Ramsey graphs
Consider a quadratic polynomial $f\left(ξ_{1},\dots,ξ_{n}\right)$ of independent Bernoulli random variables. What can be said about the concentration of $f$ on any single value? This generalises the classical Littlewood--Offord problem, which asks the same question for linear polynomials. As in the linear case, it is known that the point probabilities of $f$ can be as large as about $1/\sqrt{n}$, but still poorly understood is the "inverse" question of characterising the algebraic and arithmetic features $f$ must have if it has point probabilities comparable to this bound. In this paper we prove some results of an algebraic flavour, showing that if $f$ has point probabilities much larger than $1/n$ then it must be close to a quadratic form with low rank. We also give an application to Ramsey graphs, asymptotically answering a question of Kwan, Sudakov and Tran.
Negami's like splitting formula for the Jones polynomial
Negami's splitting formula cannot be directly applied to get a Jones polynomial splitting formula for the contraction of certain planar graphs in the decomposition become non planar. Therefore, we build a Negami's like splitting formula from the scratch. Now, the new splitting matrix doesn't have the form of a Lindström matrix and it would be interesting to have similar results for it.
On the inequalities in Hermite's theorem for a real polynomial to have real zeros
We prove expressions for the inequalities in Hermite's theorem which are conditions for a real polynomial to have real zeros. These expressions generalize the discriminant of a quadratic polynomial and the expression of J. Marík for a cubic polynomial. We show that the $(k+1)$-th minor of the Hermite matrix associated a polynomial $p(x)$ is equal to the $k$-th minor of another matrix we call $E(n)$ times $n^{k-1}$ and a simple integer. To prove this equivalence, we prove generalizations of the discriminant of a polynomial and analyze certain labeled directed graphs. To define this matrix $E(n)$ we define functions $M(m_2,m_1,n)$ which are positive if the zeros of $p(x)$ are positive.
On the number of roots of some linearized polynomials
Published
• View Publication
• BIB
Linearized polynomials appear in many different contexts, such as rank metric codes, cryptography and linear sets, and the main issue regards the characterization of the number of roots from their coefficients. Results of this type have been already proved in [7,10,24]. In this paper we provide bounds and characterizations on the number of roots of linearized polynomials of this form \[ ax+b_0x^σ+b_1x^{σq^n}+b_2x^{σq^{2n}}+\ldots+b_{t-1}x^{σq^{n(t-1)}} \in \mathbb{F}_{q^{nt}}[x], \] with $σ$ a generator of the Galois group $\mathrm{Gal}(\mathbb{F}_{q^n}\colon\mathbb{F}_q)$. Also, we characterize the number of roots of such polynomials directly from their coefficients, dealing with matrices which are much smaller than the relative Dickson matrices and the companion matrices used in the previous papers. Furthermore, we develop a method to find explicitly the roots of a such polynomial by finding the roots of a $q^n$-polynomial. Finally, as an applications of the above results, we present a family of linear sets of the projective line whose points have a small spectrum of possible weights, containing most of the known families of scattered linear sets. In particular, we carefully study the linear sets in $\mathrm{PG}(1,q^6)$ presented in [9].
Bounds for sets with no polynomial progressions
Published in Forum of Mathematics, Pi 8 (2020) e16
• View Publication
• BIB
Let $P_1,\dots,P_m\in\mathbb{Z}[y]$ be polynomials with distinct degrees, each having zero constant term. We show that any subset $A$ of $\{1,\dots,N\}$ with no nontrivial progressions of the form $x,x+P_1(y),\dots,x+P_m(y)$ has size $|A|\ll N/(\log\log{N})^{c_{P_1,\dots,P_m}}$. Along the way, we prove a general result controlling weighted counts of polynomial progressions by Gowers norms.