polynomial
11184 papers tagged with this keyword
Intermediate symplectic $Q$-functions
We introduce an intermediate family of Laurent polynomials between Schur's $Q$-functions and S. Okada's symplectic $Q$-functions. It can also be regarded as a $Q$-function analogue of Proctor's intermediate symplectic characters, and is named the family of intermediate symplectic $Q$-functions. We also derive a tableau-sum formula and a Józefiak-Pragacz-type Pfaffian formula of the Laurent polynomials.
Counting rotational subsets of the circle $\mathbb{R}/\mathbb{Z}$ under the angle multiplying map $t\mapsto dt$
A rotational set is a finite subset $A$ of the unit circle $\mathbb{T}=\mathbb{R}/ \mathbb{Z}$ such that the angle-multiplying map $σ_{d}:t\mapsto dt$ maps $A$ onto itself by a cyclic permutation of its elements. Each rotational set has a geometric rotation number $p/q$. These sets were introduced by Lisa Goldberg to study the dynamics of complex polynomial maps. In this paper we provide a necessary and sufficient condition for a set to be $σ_{d}$-rotational with rotation number $p/q$. As applications of our condition, we recover two classical results and enumerate $σ_d$-rotational sets with rotation number $p/q$ that consist of a given number of orbits.
Reforming an Envy-Free Matching
Published
• View Publication
• BIB
We consider the problem of reforming an envy-free matching when each agent is assigned a single item. Given an envy-free matching, we consider an operation to exchange the item of an agent with an unassigned item preferred by the agent that results in another envy-free matching. We repeat this operation as long as we can. We prove that the resulting envy-free matching is uniquely determined up to the choice of an initial envy-free matching, and can be found in polynomial time. We call the resulting matching a reformist envy-free matching, and then we study a shortest sequence to obtain the reformist envy-free matching from an initial envy-free matching. We prove that a shortest sequence is computationally hard to obtain even when each agent accepts at most four items and each item is accepted by at most three agents. On the other hand, we give polynomial-time algorithms when each agent accepts at most three items or each item is accepted by at most two agents. Inapproximability and fixed-parameter (in)tractability are also discussed.
A Three-parameter Family Of Involutions In The Riordan Group Defined By Orthogonal Polynomials
We show how to define, for every Riordan group element $(g(x), f(x))$, an involution in the Riordan group. More generally, we show that for every pseudo-involution $P$ in the Riordan group, we can define a new involution beginning with an arbitrary element $(g(x), f(x))$ in the Riordan group. We then use this result to show that certain two-parameter families of orthogonal polynomials defined by a Riordan array can lead to involutions in the Riordan group, and we give an explicit form of these involutions.
Probabilistic intuition holds for a class of small subgraph games
Published
• View Publication
• BIB
Consider the following two-player game on the edges of $K_n$, the complete graph with $n$ vertices: Starting with an empty graph $G$ on the vertex set of $K_n$, in each round the first player chooses $b \in \mathbb{N}$ edges from $K_n$ which have not previously been chosen, and the second player immediately and irrevocably picks one of these edges and adds it to $G$. We show that for any graph $H$ with at least one edge, if $b < c n^{1/m(H)}$, where $c = c(H) > 0$ only depends on $H$ and $m(H)$ is the usual density function, then the first player can ensure the resulting graph $G$ contains $Ω(n^{v(H)} / b^{e(H)})$ copies of $H$. The bound on $b$ is the best possible apart from the constant $c$ and shows that the density of the resulting graph for which it is possible to enforce the appearance of $H$ coincides with a threshold for the appearance in the Erdős-Rényi random graph. This resolves a conjecture by Bednarska-Bzdȩga, Hefetz, and Luczak and provides a prominent class of games for which probabilistic intuition accurately predicts the outcome. The strategy of the first player is deterministic with polynomial running time, with the degree depending on the size of $H$.
Tableau formulas for skew Grothendieck polynomials
Published in J. Math. Soc. Japan 76 (2024), 147-172
• View Publication
• BIB
An element of a Weyl group of classical type is skew if it is the left factor in a reduced factorization of a Grassmannian element. The skew Grothendieck polynomials are those which are indexed by skew elements of the Weyl group. We define set-valued tableaux which are fillings of the associated skew Young diagrams and use them to prove tableau formulas for the skew double Grothendieck polynomials in all four classical Lie types. We deduce tableau formulas for the Grassmannian Grothendieck polynomials and the K-theoretic analogues of the (double mixed) skew Stanley functions in the respective Lie types.
The Terwilliger algebra of the doubled Odd graph
Let $2.O_{m+1}$ denote the doubled Odd graph with vertex set $X$ on a set of cardinality $2m+1$, where $m\geq 1$. Fix a vertex $x_0\in X$. Let $\mathcal{A}:=\mathcal{A}(x_0)$ denote the centralizer algebra of the stabilizer of $x_0$ in the automorphism group of $2.O_{m+1}$, and $T:=T(x_0)$ the Terwilliger algebra of $2.O_{m+1}$. In this paper, we first give a basis of $\mathcal{A}$ by considering the action of the stabilizer of $x_0$ on $X\times X$ and determine the dimension of $\mathcal{A}$. Furthermore, we give three subalgebras of $\mathcal{A}$ such that their direct sum is $\mathcal{A}$ as vector space. Next, for $m\geq 3$ we find all isomorphism classes of irreducible $T$-modules to display the decomposition of $T$ in a block-diagonalization form. Finally, we show that the two algebras $\mathcal{A}$ and $T$ coincide. This result tells us that the graph $2.O_{m+1}$ may be the first example of bipartite but not $Q$-polynomial distance-transitive graph for which the corresponding centralizer algebra and Terwilliger algebra are equal.
Another Approach on Power Sums
We show that explicit forms for certain polynomials~$ψ^{(a)}_m(n)$ with the property \[ ψ^{(a+1)}_m(n) = \sum_{ν=1}^n ψ_m^{(a)}(ν) \] can be found (here, $a,m,n\in\mathbb{N}_0$). We use these polynomials as a basis to express the monomials~$n^m$. Once the expansion coefficients are determined, we can express the $m$-th power sums~$S^{(a)}_m(n)$ of any order $a$, \[ S^{(a)}_m(n) = \sum_{ν_a = 1}^n \cdots \sum_{ν_2 = 1}^{ν_3} \sum_{ν_1=1}^{ν_2} ν_1^m, \] in a very convenient way by exploiting the summation property of the $ψ_m^{(a)}$, \[ S^{(a)}_m(n) = \sum_k c_{mk} ψ_k^{(a)}(n). \]
Non-normal edge rings satisfying $(S_2)$-condition
Let $G$ be a finite simple connected graph on the vertex set $V(G)=[d]=\{1,\dots ,d\}$, with edge set $E(G)=\{e_{1},\dots , e_{n}\}$. Let $K[\mathbf{t}]=K[t_{1},\dots , t_{d}]$ be the polynomial ring in $d$ variables over a field $K$. The edge ring of $G$ is the semigroup ring $K[G]$ generated by monomials $\mathbf{t}^{e}:=t_{i}t_{j}$, for $e=\{i,j\} \in E(G)$. In this paper, we will prove that, given integers $d$ and $n$, where $d\geq 7$ and $d+1\leq n\leq \frac{d^{2}-7d+24}{2}$, there exists a finite simple connected graph $G$ with $|V(G)|=d$ and $|E(G)|=n$, such that $K[G]$ is non-normal and satisfies $(S_{2})$-condition.
On $\mathbb{Z}_{\ell}^{d}$-towers of graphs
Published
• View Publication
• BIB
Let $\ell$ be a rational prime. We show that an analogue of a conjecture of Greenberg in graph theory holds true. More precisely, we show that when $n$ is sufficiently large, the $\ell$-adic valuation of the number of spanning trees at the $n$th layer of a $\mathbb{Z}_{\ell}^{d}$-tower of graphs is given by a polynomial in $\ell^{n}$ and $n$ with rational coefficients of total degree at most $d$ and of degree in $n$ at most one.
The tropical non-properness set of a polynomial map
We study some discrete invariants of Newton non-degenerate polynomial maps $f : \mathbb{K}^n \to \mathbb{K}^n$ defined over an algebraically closed field of Puiseux series $\mathbb{K}$, equipped with a non-trivial valuation. It is known that the set $\mathcal{S}(f)$ of points at which $f$ is not finite forms an algebraic hypersurface in $\mathbb{K}^n$. The coordinate-wise valuation of $\mathcal{S}(f)\cap (\mathbb{K}^*)^n$ is a piecewise-linear object in $\mathbb{R}^n$, which we call the tropical non-properness set of $f$. We show that the tropical polynomial map corresponding to $f$ has fibers satisfying a particular combinatorial degeneracy condition exactly over points in the tropical non-properness set of $f$. We then use this description to outline a polyhedral method for computing this set, and to recover the fan dual to the Newton polytope of the set at which a complex polynomial map is not finite. The proofs rely on classical correspondence and structural results from tropical geometry, combined with a new description of $\mathcal{S}(f)$ in terms of multivariate resultants.
Computing Vanishing Ideals for Toric Codes
Motivated by applications to the theory of error-correcting codes, we give methods for computing a generating set for the ideal generated by $β$-graded polynomials vanishing on certain subsets of a simplicial complete toric variety $X$ over a finite field $\mathbb{F}_q$, where $β$ is a $d\times r$ matrix whose columns generate a subsemigroup $\mathbb{N}β$ of $\mathbb{N}^d$. We also give a method for computing the vanishing ideal of the set of $\mathbb{F}_q$-rational points of $X$. When $β=[w_1 \cdots w_r]$ is a row matrix corresponding to a numerical semigroup $\mathbb{N}β=\langle w_1,\dots,w_r \rangle$, $X$ is a weighted projective space and generators of the relevant vanishing ideal is given using generators of defining (toric) ideals of numerical semigroup rings corresponding to semigroups generated by subsets of $\{w_1,\dots,w_r\}$.
On Polynomial Kernels for Traveling Salesperson Problem and its Generalizations
For many problems, the important instances from practice possess certain structure that one should reflect in the design of specific algorithms. As data reduction is an important and inextricable part of today's computation, we employ one of the most successful models of such precomputation -- the kernelization. Within this framework, we focus on Traveling Salesperson Problem (TSP) and some of its generalizations.
We provide a kernel for TSP with size polynomial in either the feedback edge set number or the size of a modulator to constant-sized components. For its generalizations, we also consider other structural parameters such as the vertex cover number and the size of a modulator to constant-sized paths. We complement our results from the negative side by showing that the existence of a polynomial-sized kernel with respect to the fractioning number, the combined parameter maximum degree and treewidth, and, in the case of Subset-TSP, modulator to disjoint cycles (i.e., the treewidth two graphs) is unlikely.
Remarkable relations between the central binomial series, Eulerian polynomials, and poly-Bernoulli numbers
The central binomial series at negative integers are expressed as a linear combination of values of certain two polynomials. We show that one of the polynomials is a special value of the bivariate Eulerian polynomial and the other polynomial is related to the antidiagonal sum of poly-Bernoulli numbers. As an application, we prove Stephan's observation from 2004.
On the Lie superalgebra $\mathfrak{gl}(m|n)$ weight system
Published
• View Publication
• BIB
To a finite type knot invariant, a weight system can be associated, which is a function on chord diagrams satisfying so-called $4$-term relations. In the opposite direction, each weight system determines a finite type knot invariant. In particular, a weight system can be associated to any metrized Lie algebra, and any metrized Lie superalgebra. However, computation of these weight systems is complicated. In the recent paper by the present author, an extension of the $\mathfrak{gl}(N)$-weight system to arbitrary permutations is defined, which allows one to develop a recurrence relation for an efficient computation of its values. In addition, the result proves to be universal, valid for all values of $N$ and allowing thus to define a unifying $\mathfrak{gl}$-weight system taking values in the ring of polynomials in infinitely many variables $C_0=N,C_1,C_2,\dots$. In the present paper, we extend this construction to the weight system associated to the Lie superalgebra $\mathfrak{gl}(m|n)$. Then we prove that the $\mathfrak{gl}(m|n)$-weight system is equivalent to the $\mathfrak{gl}$-one, under the substitution $C_0=m-n$.
An Enumeration Algorithm for Binary Coprime Polynomials with Nonzero Constant Term
We address the enumeration of coprime polynomial pairs over $\F_2$ where both polynomials have a nonzero constant term, motivated by the construction of orthogonal Latin squares via cellular automata. To this end, we leverage on Benjamin and Bennett's bijection between coprime and non-coprime pairs, which is based on the sequences of quotients visited by dilcuE's algorithm (i.e. Euclid's algorithm ran backward). This allows us to break our analysis of the quotients in three parts, namely the enumeration and count of: (1) sequences of constant terms, (2) sequences of degrees, and (3) sequences of intermediate terms. For (1), we show that the sequences of constant terms form a regular language, and use classic results from algebraic language theory to count them. Concerning (2), we remark that the sequences of degrees correspond to compositions of natural numbers, which have a simple combinatorial description. Finally, we show that for (3) the intermediate terms can be freely chosen. Putting these three obeservations together, we devise a combinatorial algorithm to enumerate all such coprime pairs of a given degree, and present an alternative derivation of their counting formula.
Polynomization of the Liu-Zhang inequality for overpartition function
Published
• View Publication
• BIB
Let $\overline{p}(n)$ denote the overpartition function. Liu and Zhang showed that $\overline{p}(a) \overline{p}(b)>\overline{p}(a+b)$ for all integers $a,b>1$ by using an analytic result of Engle. We offer in this paper a combinatorial proof to the Liu-Zhang inequaity. More precisely, motivated by the polynomials $P_{n}(x)$ , which generalize the $k$-colored partitions function $p_{-k}(n)$, we introduce the polynomials $\overline{P}_{n}(x)$, which take the number of $k$-colored overpartitions of $n$ as their special values. And by combining combinatorial and analytic approaches, we obtain that $\overline{P}_{a}(x) \overline{P}_{b}(x)>\overline{P}_{a+b}(x)$ for all positive integers $a,b$ and real numbers $x \ge 1$ , except for $(a,b,x)=(1,1,1),(2,1,1),(1,2,1)$.
Refined Ehrhart series and bigraded rings
Published
• View Publication
• BIB
We study a natural set of refinements of the Ehrhart series of a closed polytope, first considered by Chapoton. We compute the refined series in full generality for a simplex of dimension d, a cross-polytope of dimension d, respectively a hypercube of dimension d<4, using commutative algebra. We deduce summation formulae for products of q-integers with different arguments, generalizing a classical identity due to MacMahon and Carlitz. We also present a characterisation of a certain refined Eulerian polynomial in algebraic terms.
Intersective sets over abelian groups
Published in Des. Codes Cryptogr. 94 (2026), no. 1, Paper No. 19, 19pp
• View Publication
• BIB
Given a finite abelian group $G$ and a subset $J\subset G$ with $0\in J$, let $D_{G}(J,N)$ be the maximum size of $A\subset G^{N}$ such that the difference set $A-A$ and $J^{N}$ have no non-trivial intersection. Recently, this extremal problem has been widely studied for different groups $G$ and subsets $J$. In this paper, we generalize and improve the relevant results by Alon and by Hegedűs by building a bridge between this problem and cyclotomic polynomials with the help of algebraic graph theory. In particular, we construct infinitely many non-trivial families of $G$ and $J$ for which the current known upper bounds on $D_{G}(J, N)$ can be improved exponentially.
Simultaneous approximation in nilsystems and the multiplicative thickness of return-time sets
Published in Adv. Math. 457 (2024)
• View Publication
• BIB
In the topological dynamical system $(X,T)$, a point $x$ simultaneously approximates a point $y$ if there exists a sequence $n_1$, $n_2$, ... of natural numbers for which $T^{n_i} x$, $T^{2n_i}x$, ..., $T^{k n_i} x$ all tend to $y$. In 1978, Furstenberg and Weiss showed that every system possesses a point which simultaneously approximates itself (a multiply recurrent point) and deduced refinements of van der Waerden's theorem on arithmetic progressions. In this paper, we study the denseness of the set of points that are simultaneously approximated by a given point. We show that in a minimal nilsystem, all points simultaneously approximate a $δ$-dense set of points under a necessarily restricted set of powers of $T$. We tie this theorem to the multiplicative combinatorial properties of return-time sets, showing that all nil-Bohr sets and typical return-time sets in a minimal system are multiplicatively thick in a coset of a multiplicative subsemigroup of the natural numbers. This yields an inhomogeneous multiple recurrence result that generalizes Furstenberg and Weiss' theorem and leads to new enhancements of van der Waerden's theorem. This work relies crucially on continuity in the prolongation relation (the closure of the orbit-closure relation) developed by Auslander, Akin, and Glasner; the theory of rational points and polynomials on nilmanifolds developed by Leibman, Green, and Tao; and the machinery of topological characteristic factors developed recently by Glasner, Huang, Shao, Weiss, and Ye.