polynomial
11250 papers tagged with this keyword
On Inverses of Permutation Polynomials of Small Degree over Finite Fields
Published in IEEE Transactions on Information Theory, 66(2):914--922, Feb 2020
• View Publication
• BIB
Permutation polynomials (PPs) and their inverses have applications in cryptography, coding theory and combinatorial design theory. In this paper, we make a brief summary of the inverses of PPs of finite fields, and give the inverses of all PPs of degree $\leq 6$ over finite fields $\mathbb{F}_{q}$ for all $q$ and the inverses of all PPs of degree $7$ over $\mathbb{F}_{2^n}$. The explicit inverse of a class of fifth degree PPs is the main result, which is obtained by using Lucas' theorem, some congruences of binomial coefficients, and a known formula for the inverses of PPs of finite fields.
Generalized minimum distance functions and algebraic invariants of Geramita ideals
Published in Adv. in Appl. Math. 112 (2020), 101940
• Search Publication
Motivated by notions from coding theory, we study the generalized minimum distance (GMD) function $δ_I(d,r)$ of a graded ideal $I$ in a polynomial ring over an arbitrary field using commutative algebraic methods. It is shown that $δ_I$ is non-decreasing as a function of $r$ and non-increasing as a function of $d$. For vanishing ideals over finite fields, we show that $δ_I$ is strictly decreasing as a function of $d$ until it stabilizes. We also study algebraic invariants of Geramita ideals. Those ideals are graded, unmixed, $1$-dimensional and their associated primes are generated by linear forms. We also examine GMD functions of complete intersections and show some special cases of two conjectures of Tohăneanu--Van Tuyl and Eisenbud-Green-Harris.
Harer-Zagier generating functions, the Redfield-Polya cycle index and Cohen semilinear congruences
Harer-Zagier generating functions for Euler characteristics of moduli spaces of curves contain $n$-necklace polynomials. Taylor expansions for these polynomials depend on numbers of solutions of Cohen semilinear congruences.
Testing isomorphism of circulant objects in polynomial time
Published in J. Combin. Theory, A169, 105128 (2020)
• Search Publication
Let ${\frak K}$ be a class of combinatorial objects invariant with respect to a given regular cyclic group. It is proved that the isomorphism of any two objects $X,Y\in{\frak K}$ can be tested in polynomial time in sizes of $X$ and $Y$.
Some $q$-supercongruences from transformation formulas for basic hypergeometric series
Several new $q$-supercongruences are obtained using transformation formulas for basic hypergeometric series, together with various techniques such as suitably combining terms, and creative microscoping, a method recently developed by the first author in collaboration with Wadim Zudilin. More concretely, the results in this paper include $q$-analogues of supercongruences (referring to $p$-adic identities remaining valid for some higher power of $p$) established by Long, by Long and Ramakrishna, and several other $q$-supercongruences. The six basic hypergeometric transformation formulas which are made use of are Watson's transformation, a quadratic transformation of Rahman, a cubic transformation of Gasper and Rahman, a quartic transformation of Gasper and Rahman, a double series transformation of Ismail, Rahman and Suslov, and a new transformation formula for a nonterminating very-well-poised ${}_{12}φ_{11}$ series. Also, the nonterminating $q$-Dixon summation formula is used. A special case of the new ${}_{12}φ_{11}$ transformation formula is further utilized to obtain a generalization of Rogers' linearization formula for the continuous $q$-ultraspherical polynomials.
Graph classes and forbidden patterns on three vertices
This paper deals with graph classes characterization and recognition. A popular way to characterize a graph class is to list a minimal set of forbidden induced subgraphs. Unfortunately this strategy usually does not lead to an efficient recognition algorithm. On the other hand, many graph classes can be efficiently recognized by techniques based on some interesting orderings of the nodes, such as the ones given by traversals.
We study specifically graph classes that have an ordering avoiding some ordered structures. More precisely, we consider what we call patterns on three nodes, and the recognition complexity of the associated classes. In this domain, there are two key previous works. Damashke started the study of the classes defined by forbidden patterns, a set that contains interval, chordal and bipartite graphs among others. On the algorithmic side, Hell, Mohar and Rafiey proved that any class defined by a set of forbidden patterns can be recognized in polynomial time. We improve on these two works, by characterizing systematically all the classes defined sets of forbidden patterns (on three nodes), and proving that among the 23 different classes (up to complementation) that we find, 21 can actually be recognized in linear time.
Beyond this result, we consider that this type of characterization is very useful, leads to a rich structure of classes, and generates a lot of open questions worth investigating.
Mind the Independence Gap
The independence gap of a graph was introduced by Ekim et al. (2018) as a measure of how far a graph is from being well-covered. It is defined as the difference between the maximum and minimum size of a maximal independent set.
We investigate the independence gap of a graph from structural and algorithmic points of view, with a focus on classes of perfect graphs. Generalizing results on well-covered graphs due to Dean and Zito (1994) and Hujdurović et al. (2018), we express the independence gap of a perfect graph in terms of clique partitions and use this characterization to develop a polynomial-time algorithm for recognizing graphs of constant independence gap in any class of perfect graphs of bounded clique number. Next, we introduce a hereditary variant of the parameter, which we call hereditary independence gap and which measures the maximum independence gap over all induced subgraphs of the graph. We show that determining whether a given graph has hereditary independence gap at most $k$ is polynomial-time solvable if $k$ is fixed and co-NP-complete if $k$ is part of input. We also investigate the complexity of the independent set problem in graph classes related to independence gap, showing that the problem is NP-complete in the class of graphs of independence gap at most one and polynomial-time solvable in any class of graphs with bounded hereditary independence gap. Combined with some known results on claw-free graphs, our results imply that the independent domination problem is solvable in polynomial time in the class of $\{$claw, 2$P_3\}$-free graphs.
A geometric criterion on the equality between BKK bound and intersection index
The Bernshtein-Kushnirenko-Khovanskii theorem provides a generic root count for system of Laurent polynomials in terms of the mixed volume of their Newton polytopes (i.e., the BKK bound). A recent and far-reaching generalization of this theorem is the study of birationally invariant intersection index by Kaveh and Khovanskii. This short note establishes a simple geometric condition on the equality between the BKK bound and the intersection index for a system of vector spaces of Laurent polynomials. Applying this, we show that the intersection index for the algebraic Kuramoto equations equals their BKK bound.
The Tight Cut Decomposition of Matching Covered Uniformable Hypergraphs
The perfect matching polytope, i.e. the convex hull of (incidence vectors of) perfect matchings of a graph is used in many combinatorial algorithms. Kotzig, Lovász and Plummer developed a decomposition theory for graphs with perfect matchings and their corresponding polytopes known as the tight cut decomposition which breaks down every graph into a number of indecomposable graphs, so called bricks. For many properties that are of interest on graphs with perfect matchings, including the description of the perfect matching polytope, it suffices to consider these bricks. A key result by Lovász on the tight cut decomposition is that the list of bricks obtained is the same independent of the choice of tight cuts made during the tight cut decomposition procedure. This implies that finding a tight cut decomposition is polynomial time equivalent to finding a single tight cut.
We generalise the notions of a tight cut, a tight cut contraction and a tight cut decomposition to hypergraphs. By providing an example, we show that the outcome of the tight cut decomposition on general hypergraphs is no longer unique. However, we are able to prove that the uniqueness of the tight cut decomposition is preserved on a slight generalisation of uniform hypergraphs. Moreover, we show how the tight cut decomposition leads to a decomposition of the perfect matching polytope of uniformable hypergraphs and that the recognition problem for tight cuts in uniformable hypergraphs is polynomial time solvable.
The Glauber dynamics for edge-colourings of trees
Let $T$ be a tree on $n$ vertices and with maximum degree $Δ$. We show that for $k\geq Δ+1$ the Glauber dynamics for $k$-edge-colourings of $T$ mixes in polynomial time in $n$. The bound on the number of colours is best possible as the chain is not even ergodic for $k \leq Δ$. Our proof uses a recursive decomposition of the tree into subtrees; we bound the relaxation time of the original tree in terms of the relaxation time of its subtrees using block dynamics and chain comparison techniques. Of independent interest, we also introduce a monotonicity result for Glauber dynamics that simplifies our proof.
Graphs that are cospectral for the distance Laplacian
The distance matrix $\mathcal{D}(G)$ of a graph $G$ is the matrix containing the pairwise distances between vertices, and the distance Laplacian matrix is $\mathcal{D}^L(G)=T(G)-\mathcal{D}(G)$, where $T(G)$ is the diagonal matrix of row sums of $\mathcal{D}(G)$. We establish several general methods for producing $\mathcal{D}^L$-cospectral graphs that can be used to construct infinite families. We provide examples showing that various properties are not preserved by $\mathcal{D}^L$-cospectrality, including examples of $\mathcal{D}^L$-cospectral strongly regular and circulant graphs. We establish that the absolute values of coefficients of the distance Laplacian characteristic polynomial are decreasing, i.e., $|δ^L_{1}|\geq \dots \geq |δ^L_{n}|$ where $δ^L_{k}$ is the coefficient of $x^k$.
Krawtchouk polynomials and quadratic semi-regular sequences
Published in ISSAC 2019, Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2019, 243-250
• View Publication
• BIB
We derive lower und upper bounds for the degree of regularity of an overdetermined, zero-dimensional and homogeneous quadratic semi-regular system of polynomial equations. The analysis is based on the interpretation of the associated Hilbert series as the truncation of the generating function of values of a certain family of orthogonal polynomials, the Krawtchouk polynomials.
2413-balloon permutations and the growth of the Möbius function
We show that the growth of the principal Möbius function on the permutation poset is exponential. This improves on previous work, which has shown that the growth is at least polynomial. We define a method of constructing a permutation from a smaller permutation which we call "ballooning". We show that if $β$ is a 2413-balloon, and $π$ is the 2413-balloon of $β$, then $μ[1, π] = 2 μ[1, β]$. This allows us to construct a sequence of permutations $π_1, π_2, π_3\ldots$ with lengths $n, n+4, n+8, \ldots$ such that $μ[1, π_{i+1}] = 2 μ[1, π_{i}]$, and this gives us exponential growth. Further, our construction method gives permutations that lie within a hereditary class with finitely many simple permutations. We also find an expression for the value of $μ[1, π]$, where $π$ is a 2413-balloon, with no restriction on the permutation being ballooned.
A combinatorial duality between the weak and strong Bruhat orders
Published in J. Combin. Theory Ser. A, Volume 171, 2020
• View Publication
• BIB
In recent work, the authors used an order lowering operator $\nabla$, introduced by Stanley, to prove the strong Sperner property for the weak Bruhat order on the symmetric group. Hamaker, Pechenik, Speyer, and Weigandt interpreted $\nabla$ as a differential operator on Schubert polynomials and used this to prove a new identity for Schubert polynomials and a determinant conjecture of Stanley. In this paper we study a raising operator $Δ$ for the \emph{strong} Bruhat order, which is in many ways dual to $\nabla$. We prove a Schubert identity dual to that of Hamaker et al. and derive formulas for counting weighted paths in the Hasse diagrams of the strong order which agree with path counting formulas for the weak order. We also show that powers of $\nabla$ and $Δ$ have the same Smith normal forms, which we describe explicitly, answering a question of Stanley.
Identities on Factorial Grothendieck Polynomials
Gustafson and Milne proved an identity on the Schur function indexed by a partition of the form $(λ_1-n+k,λ_2-n+k,\ldots,λ_k-n+k)$. On the other hand, Fehér, Némethi and Rimányi found an identity on the Schur function indexed by a partition of the form $(m-k,\ldots,m-k, λ_1,\ldots,λ_k)$. Fehér, Némethi and Rimányi gave a geometric explanation of their identity, and they raised the question of finding a combinatorial proof. In this paper, we establish a Gustafson-Milne type identity as well as a Fehér-Némethi-Rimányi type identity for factorial Grothendieck polynomials. Specializing a factorial Grothendieck polynomial to a Schur function, we obtain a combinatorial proof of the Fehér-Némethi-Rimányi identity.
Finding Tutte paths in linear time
It is well-known that every planar graph has a Tutte path, i.e., a path $P$ such that any component of $G-P$ has at most three attachment points on $P$. However, it was only recently shown that such Tutte paths can be found in polynomial time. In this paper, we give a new proof that 3-connected planar graphs have Tutte paths, which leads to a linear-time algorithm to find Tutte paths. Furthermore, our Tutte path has special properties: it visits all exterior vertices, all components of $G-P$ have exactly three attachment points, and we can assign distinct representatives to them that are interior vertices. Finally, our running time bound is slightly stronger; we can bound it in terms of the degrees of the faces that are incident to $P$. This allows us to find some applications of Tutte paths (such as binary spanning trees and 2-walks) in linear time as well.
Parity-Unimodality and a Cyclic Sieving Phenomenon for Necklaces
We discuss two surprising properties of a family of polynomials that generalize the Mahonian $q$-Catalan polynomials, and more generally the $q$-Schröder polynomials. By interpreting them as $\mathfrak{sl}_2$-characters, we show that the rational $q$-Schröder polynomials are parity-unimodal, which means that the even- and odd-degree coefficients are separately unimodal. Second, we show that they exhibit a $q=-1$ phenomenon. This is a special case of a more general cyclic sieving phenomenon for certain transitive $S_n$-actions, deduced from Molien's formula.
Complexity of circulant graphs with non-fixed jumps, its arithmetic properties and asymptotics
In the present paper, we investigate a family of circulant graphs with non-fixed jumps $$G_n=C_{βn}(s_1, \ldots,s_k,α_1n,\ldots,α_\ell n),\, 1\le s_1<\ldots<s_k\le[\frac{βn}{2}],\, 1\le α_1< \ldots<α_\ell\le[\fracβ{2}].$$ Here $n$ is an arbitrary large natural number and integers $s_1, \ldots,s_k,α_1, \ldots,α_\ell$ are supposed to be fixed.
First, we present an explicit formula for the number of spanning trees in the graph $G_n.$ This formula is a product of $βs_k-1$ factors, each given by the $n$-th Chebyshev polynomial of the first kind evaluated at the roots of some prescribed polynomial of degree $s_k.$ Next, we provide some arithmetic properties of the complexity function. We show that the number of spanning trees in $G_n$ can be represented in the form $τ(n)=p \,n \,a(n)^2,$ where $a(n)$ is an integer sequence and $p$ is a prescribed natural number depending of parity of $β$ and $n.$ Finally, we find an asymptotic formula for $τ(n)$ through the Mahler measure of the Laurent polynomials differing by a constant from $2k-\sum\limits_{i=1}^k(z^{s_i}+z^{-s_i}).$
Stability of depth and Stanley depth of symbolic powers of squarefree monomial ideals
Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over $\mathbb{K}$. Assume that $I\subset S$ is a squarefree monomial ideal. For every integer $k\geq 1$, we denote the $k$-th symbolic power of $I$ by $I^{(k)}$. Recently, Montaño and Núñez-Betancourt \cite{mn} proved that for every pair of integers $m, k\geq 1$,$${\rm depth}(S/I^{(m)})\leq {\rm depth}(S/I^{(\lceil\frac{m}{k}\rceil)}).$$We provide an alternative proof for this inequality. Moreover, we reprove the known results that the sequence $\{{\rm depth}(S/I^{(k)})\}_{k=1}^{\infty}$ is convergent and$$\min_k{\rm depth}(S/I^{(k)})=\lim_{k\rightarrow \infty}{\rm depth}(S/I^{(k)})=n-\ell_s(I),$$where $\ell_s(I)$ denotes the symbolic analytic spread of $I$. We also determine an upper bound for the index of depth stability of symbolic powers of $I$. Next, we consider the Stanley depth of symbolic powers and prove that the sequences $\{{\rm sdepth}(S/I^{(k)})\}_{k=1}^{\infty}$ and $\{{\rm sdepth}(I^{(k)})\}_{k=1}^{\infty}$ are convergent and the limit of each sequence is equal to its minimum. Furthermore, we determine an upper bound for the indices of sdepth stability of symbolic powers.
On the adjacency matrix of a complex unit gain graph
A complex unit gain graph is a simple graph in which each orientation of an edge is given a complex number with modulus 1 and its inverse is assigned to the opposite orientation of the edge. In this article, first we establish bounds for the eigenvalues of the complex unit gain graphs. Then we study some of the properties of the adjacency matrix of complex unit gain graph in connection with the characteristic and the permanental polynomials. Then we establish spectral properties of the adjacency matrices of complex unit gain graphs. In particular, using Perron-Frobenius theory, we establish a characterization for bipartite graphs in terms of the set of eigenvalues of gain graph and the set of eigenvalues of the underlying graph. Also, we derive an equivalent condition on the gain so that the eigenvalues of the gain graph and the eigenvalues of the underlying graph are the same.