polynomial
11422 papers tagged with this keyword
Euler dynamic H-trails in edge-colored graphs
Published
• View Publication
• BIB
Alternating Euler trails has been extensively studied for its diverse applications, for example, in genetic and molecular biology, social science and channel assignment in wireless networks, as well as for theoretical reasons. We will consider the following edge-coloring. Let $H$ be a graph possibly with loops and $G$ a graph without loops. An $H$-coloring of $G$ is a function $c: E(G) \rightarrow V(H)$. We will say that $G$ is an $H$-colored graph whenever we are taking a fixed $H$-coloring of $G$. A sequence $W=(v_0,e_0^1, \ldots, e_0^{k_0},v_1,e_1^1,\ldots,e_{n-1}^{k_{n-1}},v_n)$ in $G$, where for each $i \in \{0,\ldots, n-1\}$, $k_i \geq 1$ and $e_i^j = v_iv_{i+1}$ is an edge in $G$, for every $j \in \{1,\ldots, k_i \}$, is a dynamic $H$-trail if $W$ does not repeat edges and $c(e_i^{k_i})c(e_{i+1}^1)$ is an edge in $H$, for each $i \in \{0,\ldots,n-2\}$. In particular a dynamic $H$-trail is an alternating Euler trail when $H$ is a complete graph without loops and $k_i=1$, for every $i \in \{1,\ldots,n-1\}$.
In this paper, we introduce the concept of dynamic $H$-trail, which arises in a natural way in the modeling of many practical problems, in particular, in theoretical computer science.
We provide necessary and sufficient conditions for the existence of closed Euler dynamic $H$-trail in $H$-colored multigraphs. Also we provide polynomial time algorithms that allows us to convert a cycle in an auxiliary graph, $L_2^H(G)$, in a closed dynamic H-trail in $G$, and vice versa, where $L_2^H(G)$ is a non-colored simple graph obtained from $G$ in a polynomial time.
Expansion of random $0/1$ polytopes
Published
• View Publication
• BIB
A conjecture of Mihail and Vazirani states that the edge expansion of the graph of every $0/1$ polytope is at least one. Any lower bound on the edge expansion gives an upper bound for the mixing time of a random walk on the graph of the polytope. Such random walks are important because they can be used to generate an element from a set of combinatorial objects uniformly at random. A weaker form of the conjecture of Mihail and Vazirani says that the edge expansion of the graph of a $0/1$ polytope in $\mathbb{R}^d$ is greater than 1 over some polynomial function of $d$. This weaker version of the conjecture would suffice for all applications. Our main result is that the edge expansion of the graph of a $\textit{random}$ $0/1$ polytope in $\mathbb{R}^d$ is at least $\frac{1}{12d}$ with high probability.
Grassmannians in the Lattice points of Dilations of the Standard Simplex
A remarkable connection between the cohomology ring ${\rm H^{\ast}(Gr}(d, d+r),\Z)$ of the Grasssmannian ${\rm Gr}(d,d+r)$ and the lattice points of the dilation $rΔ_{d}$ of the standard d-simplex is investigated. The natural grading on the cohomology induces different gradings of the lattice points of $rΔ_{d}$. This leads to different refinements of the Ehrhart polynomial $L_{Δ_{d}}(r)$ of the standard $d$-simplex. We study two of these refinements which are defined by the weights $(1,1,\dots,1)$ and $(1,2,\dots, d)$. One of the refinements interprets the Poincaré polynomial ${\rm P(Gr}(d,d+r),z)$ as the counting of the lattice points which lie on the slicing hyperplanes of the dilation $rΔ_d$. Therefore, on the combinatorial level the Poincaré polynomial of the Grassmannian Gr$(d,d+r)$ is a refinement of the Ehrhart polynomial $L_{Δ_d}(r)$ of the standard $d$-simplex $Δ_{d}$.
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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)$.