polynomial
11422 papers tagged with this keyword
Enumeration of splitting subsets of endofunctions on finite sets
Published
• View Publication
• BIB
Let $d$ and $n$ be positive integers such that $d|n$. Let $[n]=\{1,2,\ldots,n\}$ and $T$ be an endofunction on $[n]$. A subset $W$ of $[n]$ of cardinality $n/d$ is said to be $d$-splitting if $W \cup TW \cup \cdots \cup T^{d-1}W =[n]$. Let $σ(d;T)$ denote the number of $d$-splitting subsets. If $σ(2;T)>0$, then we show that $σ(2;T)=g_T(-1)$, where $g_T(t)$ is the generating function for the number of $T$-invariant subsets of $[n]$. It is interesting to note that substituting a root of unity into a polynomial with integer coefficients has an enumerative meaning. More generally, let $g_T(t_1,\ldots,t_d)$ be the generating function for the number of $d$-flags of $T$-invariant subsets. We prove for certain endofunctions $T$, if $σ(d;T)>0$, then $σ(d;T)=g_T(ζ,ζ^2,\ldots,ζ^d)$, where $ζ$ is a primitive $d^{th}$ root of unity.
New scattered sequences of order 3
Scattered sequences are a generalization of scattered polynomials. So far, only scattered sequences of order one and two have been constructed. In this paper an infinite family of scattered sequences of order three is obtained. Equivalence issues are also considered.
Representative set statements for delta-matroids and the Mader delta-matroid
We present representative sets-style statements for linear delta-matroids, which are set systems that generalize matroids, with important connections to matching theory and graph embeddings. Furthermore, our proof uses a new approach of sieving polynomial families, which generalizes the linear algebra approach of the representative sets lemma to a setting of bounded-degree polynomials. The representative sets statements for linear delta-matroids then follow by analyzing the Pfaffian of the skew-symmetric matrix representing the delta-matroid. Applying the same framework to the determinant instead of the Pfaffian recovers the representative sets lemma for linear matroids. Altogether, this significantly extends the toolbox available for kernelization.
As an application, we show an exact sparsification result for Mader networks: Let $G=(V,E)$ be a graph and $\mathcal{T}$ a partition of a set of terminals $T \subseteq V(G)$, $|T|=k$. A $\mathcal{T}$-path in $G$ is a path with endpoints in distinct parts of $\mathcal{T}$ and internal vertices disjoint from $T$. In polynomial time, we can derive a graph $G'=(V',E')$ with $T \subseteq V(G')$, such that for every subset $S \subseteq T$ there is a packing of $\mathcal{T}$-paths with endpoints $S$ in $G$ if and only if there is one in $G'$, and $|V(G')|=O(k^3)$. This generalizes the (undirected version of the) cut-covering lemma, which corresponds to the case that $\mathcal{T}$ contains only two blocks.
To prove the Mader network sparsification result, we furthermore define the class of Mader delta-matroids, and show that they have linear representations. This should be of independent interest.
Asymptotic expansions relating to the lengths of longest monotone subsequences of involutions
Published in Exp. Math. 34: 578-622 (2025)
• View Publication
• BIB
We study the distribution of the length of longest monotone subsequences in random (fixed-point free) involutions of $n$ integers as $n$ grows large, establishing asymptotic expansions in powers of $n^{-1/6}$ in the general case and in powers of $n^{-1/3}$ in the fixed-point free cases. Whilst the limit laws were shown by Baik and Rains to be one of the Tracy-Widom distributions $F_β$ for $β=1$ or $β=4$, we find explicit analytic expressions of the first few expansion terms as linear combinations of higher order derivatives of $F_β$ with rational polynomial coefficients. Our derivation is based on a concept of generalized analytic de-Poissonization and is subject to the validity of certain hypotheses for which we provide compelling (computational) evidence. In a preparatory step expansions of the hard-to-soft edge transition laws of L$β$E are studied, which are lifted into expansions of the generalized Poissonized length distributions for large intensities. (This paper continues our work arXiv:2301.02022, which established similar results in the case of general permutations and $β=2$.)
Realizable Dimension of Periodic Frameworks
Published
• View Publication
• BIB
Belk and Connelly introduced the realizable dimension $\textrm{rd}(G)$ of a finite graph $G$, which is the minimum nonnegative integer $d$ such that every framework $(G,p)$ in any dimension admits a framework in $\mathbb{R}^d$ with the same edge lengths. They characterized finite graphs with realizable dimension at most $1$, $2$, or $3$ in terms of forbidden minors. In this paper, we consider periodic frameworks and extend the notion to $\mathbb{Z}$-symmetric graphs. We give a forbidden minor characterization of $\mathbb{Z}$-symmetric graphs with realizable dimension at most $1$ or $2$, and show that the characterization can be checked in polynomial time for given quotient $\mathbb{Z}$-labelled graphs.
Make a graph singly connected by edge orientations
Published
• View Publication
• BIB
A directed graph $D$ is singly connected if for every ordered pair of vertices $(s,t)$, there is at most one path from $s$ to $t$ in $D$. Graph orientation problems ask, given an undirected graph $G$, to find an orientation of the edges such that the resultant directed graph $D$ has a certain property. In this work, we study the graph orientation problem where the desired property is that $D$ is singly connected. Our main result concerns graphs of a fixed girth $g$ and coloring number $c$. For every $g,c\geq 3$, the problem restricted to instances of girth $g$ and coloring number $c$, is either NP-complete or in P. As further algorithmic results, we show that the problem is NP-hard on planar graphs and polynomial time solvable distance-hereditary graphs.
Decompositions of Nonlinear Input-Output Systems to Zero the Output
Published in Systems & Control Letters, Volume 187, May 2024, 105783
• View Publication
• BIB
Consider an input-output system where the output is the tracking error given some desired reference signal. It is natural to consider under what conditions the problem has an exact solution, that is, the tracking error is exactly the zero function. If the system has a well defined relative degree and the zero function is in the range of the input-output map, then it is well known that the system is locally left invertible, and thus, the problem has a unique exact solution. A system will fail to have relative degree when more than one exact solution exists. The general goal of this paper is to describe a decomposition of an input-output system having a Chen-Fliess series representation into a parallel product of subsystems in order to identify possible solutions to the problem of zeroing the output. For computational purposes, the focus is on systems whose generating series are polynomials. It is shown that the shuffle algebra on the set of generating polynomials is a unique factorization domain so that any polynomial can be uniquely factored modulo a permutation into its irreducible elements for the purpose of identifying the subsystems in a parallel product decomposition. This is achieved using the fact that this shuffle algebra is isomorphic to the symmetric algebra over the vector space spanned by Lyndon words. A specific algorithm for factoring generating polynomials into its irreducible factors is presented based on the Chen-Fox-Lyndon factorization of words.
Gauss diagram formulae for Vassiliev invariants from Kauffman polynomial
Published
• View Publication
• BIB
A state model for Kauffman polynomial of Dubrovnik-version is given. Based on the state model, the Gauss diagram formulae for Vassiliev invariants are given from the coefficients of Kauffman polynomial following the method of Chmutov and Polyak. Some arrow diagram identities are given to simplify the Gauss diagram formulae of order 3, which give Polyak-Viro and Chmutov-Polyak formulae for the Vassiliev invariant of order 3. The models of Kauffman polynomial and HOMFLY-PT polynomial give different Gauss diagram expressions when specializing to Jones poynomial.
A bivariate $Q$-polynomial structure for the non-binary Johnson scheme
The notion of multivariate $P$- and $Q$-polynomial association scheme has been introduced recently, generalizing the well-known univariate case. Numerous examples of such association schemes have already been exhibited. In particular, it has been demonstrated that the non-binary Johnson scheme is a bivariate $P$-polynomial association scheme. We show here that it is also a bivariate $Q$-polynomial association scheme for some parameters. This provides, with the $P$-polynomial structure, the bispectral property (i.e. the recurrence and difference relations) of a family of bivariate orthogonal polynomials made out of univariate Krawtchouk and dual Hahn polynomials. The algebra based on the bispectral operators is also studied together with the subconstituent algebra of this association scheme.
Bipartite Determinantal Ideals and concurrent vertex maps
Published
• View Publication
• BIB
Bipartite determinantal ideals are introduced by Illian and the author as a vast generalization of the classical determinantal ideals intensively studied in commutative algebra, algebraic geometry, representation theory and combinatorics. We introduce a combinatorial model called concurrent vertex maps to describe the Stanley-Reisner complex of the initial ideal of any bipartite determinantal ideal, and study properties and applications of this model including vertex decomposability, shelling orders, formulas of the Hilbert series and $h$-polynomials.
On flagged $K$-theoretic symmetric polynomials
Published in RIMS Kokyuroku, 2258, 48--56, (2023)
• Search Publication
We provide a fermionic description of flagged skew Grothendieck polynomials, which can be seen as a $K$-theoretic counterpart of flagged skew Schur polynomials. Our proof relies on the Jacobi-Trudi type formula established by Matsumura. This result generalizes the author's previous works on a fermionic description of skew Grothendieck polynomials and multi-Schur functions.
Crystals for shifted key polynomials
Published in Algebras and Representation Theory 28 (2025), 921-979
• View Publication
• BIB
This article continues our study of $P$- and $Q$-key polynomials, which are (non-symmetric) "partial" Schur $P$- and $Q$-functions as well as "shifted" versions of key polynomials. Our main results provide a crystal interpretation of $P$- and $Q$-key polynomials, namely, as the characters of certain connected subcrystals of normal crystals associated to the queer Lie superalgebra $\mathfrak{q}_n$. In the $P$-key case, the ambient normal crystals are the $\mathfrak{q}_n$-crystals studied by Grantcharov et al., while in the $Q$-key case, these are replaced by the extended $\mathfrak{q}_n$-crystals recently introduced by the first author and Tong. Using these constructions, we propose a crystal-theoretic lift of several conjectures about the decomposition of involution Schubert polynomials into $P$- and $Q$-key polynomials. We verify these generalized conjectures in a few special cases. Along the way, we establish some miscellaneous results about normal $\mathfrak{q}_n$-crystals and Demazure $\mathfrak{gl}_n$-crystals.
Graph decomposition techniques for solving combinatorial optimization problems with variational quantum algorithms
Published
• View Publication
• BIB
The quantum approximate optimization algorithm (QAOA) has the potential to approximately solve complex combinatorial optimization problems in polynomial time. However, current noisy quantum devices cannot solve large problems due to hardware constraints. In this work, we develop an algorithm that decomposes the QAOA input problem graph into a smaller problem and solves MaxCut using QAOA on the reduced graph. The algorithm requires a subroutine that can be classical or quantum--in this work, we implement the algorithm twice on each graph. One implementation uses the classical solver Gurobi in the subroutine and the other uses QAOA. We solve these reduced problems with QAOA. On average, the reduced problems require only approximately 1/10 of the number of vertices than the original MaxCut instances. Furthermore, the average approximation ratio of the original MaxCut problems is 0.75, while the approximation ratios of the decomposed graphs are on average of 0.96 for both Gurobi and QAOA. With this decomposition, we are able to measure optimal solutions for ten 100-vertex graphs by running single-layer QAOA circuits on the Quantinuum trapped-ion quantum computer H1-1, sampling each circuit only 500 times. This approach is best suited for sparse, particularly $k$-regular graphs, as $k$-regular graphs on $n$ vertices can be decomposed into a graph with at most $\frac{nk}{k+1}$ vertices in polynomial time. Further reductions can be obtained with a potential trade-off in computational time. While this paper applies the decomposition method to the MaxCut problem, it can be applied to more general classes of combinatorial optimization problems.
Low-complexity approximations for sets defined by generalizations of affine conditions
Let $p$ be a prime, let $S$ be a non-empty subset of $\mathbb{F}_p$ and let $0<ε\leq 1$. We show that there exists a constant $C=C(p, ε)$ such that for every positive integer $k$, whenever $φ_1, \dots, φ_k: \mathbb{F}_p^n \rightarrow \mathbb{F}_p$ are linear forms and $E_1, \dots, E_k$ are subsets of $\mathbb{F}_p$, there exist linear forms $ψ_1, \dots, ψ_C: \mathbb{F}_p^n \rightarrow \mathbb{F}_p$ and subsets $F_1, \dots, F_C$ of $\mathbb{F}_p$ such that the set $U=\{x \in S^n: ψ_1(x) \in F_1, \dots, ψ_C(x) \in F_C\}$ is contained inside the set $V=\{x \in S^n: φ_1(x) \in E_1, \dots, φ_k(x) \in E_k\}$, and the difference $V \setminus U$ has density at most $ε$ inside $S^n$. We then generalize this result to one where $φ_1, \dots, φ_k$ are replaced by homomorphisms $G^n \to H$ for some pair of finite Abelian groups $G$ and $H$, and to another where they are replaced by polynomial maps $\mathbb{F}_p^n \to \mathbb{F}_p$ of small degree.
Inequalities among Symmetric Polynomial Functions: Counter-examples and New Conjectures
Inequalities among symmetric polynomial functions are fundamental questions in mathematics and have various applications in science and engineering. This paper investigates a beautiful and inspiring conjecture, proposed by Cuttler, Greene and Skandera in 2011, on inequalities among the complete homogeneous symmetric polynomial function $H_{n,λ}$: It states that the inequality $H_{n,λ}\leq H_{n,μ}$ implies majorization order $λ\preceqμ$. The conjecture is a close analogy with other known results on Muirhead-type inequalities. In 2021, Heaton and Shankar disproved the conjecture by showing a counterexample for number of variables $n=3$ and degree $d=8$. They then asked whether the conjecture is true when $n$ is sufficiently large. In this paper, we show, by a family of counter-examples, that the conjecture does not hold for any $n$ and any $d$ as long as $n\geq2$ and $d\geq8$. Based on the insights gained from the counter-examples, we propose a new conjecture for the inequality $H_{n,λ}\leq H_{n,μ}$.
On Newton's identities in positive characteristic
Published
• View Publication
• BIB
Newton's identities provide a way to express elementary symmetric polynomials in terms of power polynomials over fields of characteristic zero. In this article, we study the failure of this relation in positive characteristic and what can be recovered. In particular, we show how one can write the elementary symmetric polynomials as rational functions in the power polynomials over any commutative unital ring.
Turán problems for oriented graphs
Published
• View Publication
• BIB
A classical Turán problem asks for the maximum possible number of edges in a graph of a given order that does not contain a particular graph $H$ as a subgraph. It is well-known that the chromatic number of $H$ is the graph parameter which describes the asymptotic behavior of this maximum. Here, we consider an analogous problem for oriented graphs, where compressibility plays the role of the chromatic number. Since any oriented graph having a directed cycle is not contained in any transitive tournament, it makes sense to consider only acyclic oriented graphs as forbidden subgraphs. We provide basic properties of the compressibility, show that the compressibility of acyclic oriented graphs with out-degree at most 2 is polynomial with respect to the maximum length of a directed path, and that the same holds for a larger out-degree bound if the Erdős-Hajnal conjecture is true. Additionally, generalizing previous results on powers of paths and arbitrary orientations of cycles, we determine the compressibility of acyclic oriented graphs with a restricted structure.
Condensation and densification for sets of large diameter
Published
• View Publication
• BIB
Consider a set of integers $\mathscr A$ having finite diameter $X$, and a system of simultaneous polynomial equations to be solved over $\mathscr A$. In many circumstances, it is known that the number of solutions of this system is $O(X^ε|\mathscr A|^θ)$ for a suitable $θ>0$ and any $ε>0$. These estimates become worse than trivial when the diameter $X$ is very large compared to $|\mathscr A|$, or equivalently, when the set $\mathscr A$ is very sparse. This motivates the problem of seeking a new set of integers $\mathscr B$, in a certain sense isomorphic to $\mathscr A$, having the property that the diameter $X'$ of $\mathscr B$ is smaller than $X$, and at the same time the set $\mathscr B$ preserves the salient features of the solution set of the system of equations in question. We report on our speculative investigations concerning this problem closely associated with the topic of Freiman homomorphisms.
Topological model for q-deformed rational number and categorification
Published
• View Publication
• BIB
Let $\mathbf{D}_{3}$ be a bigraded 3-decorated disk with an arc system $\mathbf{A}$. We associate a bigraded simple closed arc $\widehatη_{\frac{r}{s}}$ on $\mathbf{D}_{3}$ to any rational number $\frac{r}{s}\in\overline{\mathbb{Q}}=\mathbb{Q}\cup\{\infty\}$. We show that the right (resp. left) $q$-deformed rational numbers associated to $\frac{r}{s}$, in the sense of Morier-Genoud-Ovsienko (resp. Bapat-Becker-Licata) can be naturally calculated by the $\mathfrak{q}$-intersection between $\widehatη_{\frac{r}{s}}$ and $\mathbf{A}$ (resp. dual arc system $\mathbf{A}^*$). The Jones polynomials of rational knots can be also given by such intersections. Moreover, the categorification of $\widehatη_{\frac{r}{s}}$ is given by the spherical object $X_{\frac{r}{s}}$ in the Calabi-Yau-$\mathbb{X}$ category of Ginzburg dga of type $A_2$. Reduce to CY-2 case, we recover result of Bapat-Becker-Licata with a slight improvement.
Optimal zero-free regions for the independence polynomial of bounded degree hypergraphs
Published
• View Publication
• BIB
In this paper we investigate the distribution of zeros of the independence polynomial of hypergraphs of maximum degree $Δ$. For graphs the largest zero-free disk around zero was described by Shearer as having radius $λ_s(Δ)=(Δ-1)^{Δ-1}/Δ^Δ$. Recently it was shown by Galvin et al. that for hypergraphs the disk of radius $λ_s(Δ+1)$ is zero-free; however, it was conjectured that the actual truth should be $λ_s(Δ)$. We show that this is indeed the case. We also show that there exists an open region around the interval $[0,(Δ-1)^{Δ-1}/(Δ-2)^Δ)$ that is zero-free for hypergraphs of maximum degree $Δ$, which extends the result of Peters and Regts from graphs to hypergraphs. Finally, we determine the radius of the largest zero-free disk for the family of bounded degree $k$-uniform linear hypertrees in terms of $k$ and $Δ$.