polynomial
11257 papers tagged with this keyword
Hardness of Permutation Pattern Matching
Permutation Pattern Matching (or PPM) is a decision problem whose input is a pair of permutations $π$ and $τ$, represented as sequences of integers, and the task is to determine whether $τ$ contains a subsequence order-isomorphic to $π$. Bose, Buss and Lubiw proved that PPM is NP-complete on general inputs.
We show that PPM is NP-complete even when $π$ has no decreasing subsequence of length 3 and $τ$ has no decreasing subsequence of length 4. This provides the first known example of PPM being hard when one or both of $π$ and $σ$ are restricted to a proper hereditary class of permutations.
This hardness result is tight in the sense that PPM is known to be polynomial when both $π$ and $τ$ avoid a decreasing subsequence of length 3, as well as when $π$ avoids a decreasing subsequence of length 2. The result is also tight in another sense: we will show that for any hereditary proper subclass C of the class of permutations avoiding a decreasing sequence of length 3, there is a polynomial algorithm solving PPM instances where $π$ is from C and $τ$ is arbitrary.
We also obtain analogous hardness and tractability results for the class of so-called skew-merged patterns.
From these results, we deduce a complexity dichotomy for the PPM problem restricted to $π$ belonging to $Av(ρ)$, where $Av(ρ)$ denotes the class of permutations avoiding a permutation $ρ$. Specifically, we show that the problem is polynomial when $ρ$ is in the set {1, 12, 21, 132, 213, 231, 312}, and it is NP-complete for any other $ρ$.
Equivalent characterizations of the spectra of graphs and applications to measures of distance-regularity
Published
• View Publication
• BIB
As it is well known, the spectrum $ {\rm sp\,} Γ$ (of the adjacency matrix $A$) of a graph $Γ$, with $d$ distinct eigenvalues other than its spectral radius $λ_0$, usually provides a lot of information about the structure of $G$. Moreover, from ${\rm sp\,}Γ$ we can define the so-called predistance polynomials $p_0,\ldots,p_d\in {\mathbb R}_d[x]$, with ${\rm dgr\,} p_i=i$, $i=0,\ldots,d$, which are orthogonal with respect to the scalar product $\langle f, g\rangle_Γ =\frac{1}{n}{\rm tr\,}(f(A)g(A))$ and normalized in such a way that $\|p_i\|_Γ^2=p_i(λ_0)$. They can be seen as a generalization for any graph of the distance polynomials of a distance-regular graph. Going further, we consider the preintersection numbers $ξ_{ij}^h$ for $i,j,h\in\{0,\ldots,d\}$, which generalize the intersection numbers of a distance-regular graph, and they are the Fourier coefficients of $p_ip_j$ in terms of the basis $\{p_h\}_{0\le h\le d}$. The aim of this paper is to show that, for any graph $Γ$, the information contained in its spectrum, predistance polynomials, and preintersection numbers is equivalent. Also, we give some characterizations of distance-regularity which are based on the above concepts. For instance, we comment upon the so-called spectral excess theorem stating that a connected regular graph $G$ is distance-regular if and only if its spectral excess, which is the value of $p_d$ at $λ_0$, equals the average excess, that is, the mean of the numbers of vertices at extremal distance $d$ from every vertex.
A note on the order of iterated line digraphs
Given a digraph $G$, we propose a new method to find the recurrence equation for the number of vertices $n_k$ of the $k$-iterated line digraph $L^k(G)$, for $k\geq0$, where $L^0(G)=G$. We obtain this result by using the minimal polynomial of a quotient digraph $π(G)$ of $G$. We show some examples of this method applied to the so-called cyclic Kautz, the unicyclic, and the acyclic digraphs. In the first case, our method gives the enumeration of the ternary length-2 squarefree words of any length.
On the roots of the node reliability polynomial
Published in Networks, 68(3): 238-246 (2016)
• View Publication
• BIB
Given a graph $G$ whose edges are perfectly reliable and whose nodes each operate independently with probability $p\in[0,1],$ the node reliability of $G$ is the probability that at least one node is operational and that the operational nodes can all communicate in the subgraph that they induce; it is the analogous node measure of robustness to the well studied \textit{all-terminal reliability}, where the nodes are perfectly reliable but the edges fail randomly. In sharp contrast to what is known about the roots of the all-terminal reliability polynomial, we show that the node reliability polynomial of any connected graph on at least three nodes has a nonreal polynomial root, the collection of real roots of all node reliability polynomials is unbounded, and the collection of complex roots of all node reliability polynomials is dense in the entire complex plane.
Report from the Open Problems Session at OPSFA13
Published in SIGMA 12 (2016), 071, 13 pages
• View Publication
• BIB
These are the open problems presented at the 13th International Symposium on Orthogonal Polynomials, Special Functions and Applications (OPSFA13), Gaithersburg, Maryland, on June 4, 2015.
Doubly Balanced Connected Graph Partitioning
Published
• View Publication
• BIB
We introduce and study the Doubly Balanced Connected graph Partitioning (DBCP) problem: Let $G=(V,E)$ be a connected graph with a weight (supply/demand) function $p:V\rightarrow \{-1,+1\}$ satisfying $p(V)=\sum_{j\in V} p(j)=0$. The objective is to partition $G$ into $(V_1,V_2)$ such that $G[V_1]$ and $G[V_2]$ are connected, $|p(V_1)|,|p(V_2)|\leq c_p$, and $\max\{\frac{|V_1|}{|V_2|},\frac{|V_2|}{|V_1|}\}\leq c_s$, for some constants $c_p$ and $c_s$. When $G$ is 2-connected, we show that a solution with $c_p=1$ and $c_s=3$ always exists and can be found in polynomial time. Moreover, when $G$ is 3-connected, we show that there is always a `perfect' solution (a partition with $p(V_1)=p(V_2)=0$ and $|V_1|=|V_2|$, if $|V|\equiv 0 (\mathrm{mod}~4)$), and it can be found in polynomial time. Our techniques can be extended, with similar results, to the case in which the weights are arbitrary (not necessarily $\pm 1$), and to the case that $p(V)\neq 0$ and the excess supply/demand should be split evenly. They also apply to the problem of partitioning a graph with two types of nodes into two large connected subgraphs that preserve approximately the proportion of the two types.
On the dimension of twisted centralizer codes
Published
• View Publication
• BIB
Given a field $F$, a scalar $λ\in F$ and a matrix $A\in F^{n\times n}$, the twisted centralizer code $C_F(A,λ):=\{B\in F^{n\times n}\mid AB-λBA=0\}$ is a linear code of length $n^2$. When $A$ is cyclic and $λ\ne0$ we prove that $\dim C_F(A,λ)=\mathrm{deg}(\gcd(c_A(t),λ^n c_A(λ^{-1}t)))$ where $c_A(t)$ denotes the characteristic polynomial of $A$. We also show how $C_F(A,λ)$ decomposes, and we estimate the probability that $C_F(A,λ)$ is nonzero when $|F|$ is finite. Finally, we prove $\dim C_F(A,λ)\leqslant n^2/2$ for $λ\not\in\{0,1\}$ and `almost all' matrices $A$.
Enumerative Aspects of Nullstellensatz Certificates
Using polynomial equations to model combinatorial problems has been a popular tool both in computational combinatorics as well as an approach to proving new theorems. In this paper, we look at several combinatorics problems modeled by systems of polynomial equations satisfying special properties. If the equations are infeasible, Hilbert's Nullstellensatz gives a certificate of this fact. These certificates have been studied and exhibit combinatorial meaning. In this paper, we generalize some known results and show that the Nullstellensatz certificate can be viewed as enumerating combinatorial structures. As such, Gröbner basis algorithms for solving these decision problems may implicitly be solving the enumeration problem as well.
Revisiting the nilpotent polynomial Hales-Jewett theorem
Published in Adv. Math. 321 (Dec 2017), pp. 269--286
• View Publication
• BIB
Answering a question posed by Bergelson and Leibman in [6], we establish a nilpotent version of the polynomial Hales-Jewett theorem that contains the main theorem in [6] as a special case. Important to the formulation and the proof of our main theorem is the notion of a relative syndetic set (relative with respect to a closed non-empty subsets of $β\mathbf{G}$) [25]. As a corollary of our main theorem we prove an extension of the restricted van der Waerden Theorem to nilpotent groups, which involves nilprogressions.
Identities involving (doubly) symmetric polynomials and integrals over Grassmannians
Published
• View Publication
• BIB
We obtain identities involving symmetric and doubly symmetric polynomials. These identities provide a way of handling expressions appearing in the Atiyah-Bott-Berline-Vergne formula for Grassmannians. As corollaries, we obtain formulas for integrals over Grassmannians of characteristic classes of the tautological bundles. Moreover, we provide a valid proof of the Martin formula for the classical Grassmannian.
Self dual reflexive simplices with Eulerian polynomials
Published in Graphs and Combinatorics (2017) 33: 1401-1404
• View Publication
• BIB
A lattice polytope $\mathcal{P}$ is called reflexive if its dual $\mathcal{P}^\vee$ is a lattice polytope. The property that $\mathcal{P}$ is unimodularly equivalent to $\mathcal{P}^\vee$ does not hold in general, and in fact there are few examples of such polytopes. In this note, we introduce a new reflexive simplex $Q_n$ which has this property. Additionally, we show that $δ$-polynomalial of $Q_n$ is the Eulerian polynomial and show the existence of a regular, flag, unimodular triangulation.
Sigma-Adequate Link Diagrams and the Tutte Polynomial
In this paper, we characterize the sigma-adequacy of a link diagram in two ways: in terms of a certain edge subset of its Tait graph and in terms of a certain product of Tutte polynomials. Furthermore, we show that the symmetrized Tutte polynomial of the Tait graph of a link diagram can be written as a sum of these products of Tutte polynomials, where the sum is over the sigma-adequate states of the given link diagram. Using this state sum, we show that the number of sigma-adequate states of a link diagram is bounded above by the number of spanning trees in its associated Tait graph. By combining results, we give a method to find all of the sigma-adequate states of a link diagram. Finally, we give necessary and sufficient conditions for a link diagram to be sigma-adequate and sigma-homogeneous (also called homogeneously adequate) with respect to a given state.
The Elekes-Szabó Theorem in four dimensions
Published
• View Publication
• BIB
Let $F\in\mathbb{C}[x,y,s,t]$ be an irreducible constant-degree polynomial, and let $A,B,C,D\subset\mathbb{C}$ be finite sets of size $n$. We show that $F$ vanishes on at most $O(n^{8/3})$ points of the Cartesian product $A\times B\times C\times D$, unless $F$ has a special group-related form. A similar statement holds for $A,B,C,D$ of unequal sizes. This is a four-dimensional extension of our recent improved analysis of the original Elekes-Szabó theorem in three dimensions. We give three applications: an expansion bound for three-variable real polynomials that do not have a special form, a bound on the number of coplanar quadruples on a space curve that is neither planar nor quartic, and a bound on the number of four-point circles on a plane curve that has degree at least five.
$r-$Bell polynomials in combinatorial Hopf algebras
Published in Comptes Rendus de l'Académie des sciences Volume 355, Issue 3, Pages 243-247 (2017)
• View Publication
• BIB
We introduce partial $r$-Bell polynomials in three combinatorial Hopf algebras. We prove a factorization formula for the generating functions which is a consequence of the Zassenhauss formula.
Dimensions of multi-fan algebras
Published in J. Math. Soc. Japan 72:3 (2020), 777-794
• View Publication
• BIB
Given an arbitrary non-zero simplicial cycle and a generic vector coloring of its vertices, there is a way to produce a graded Poincare duality algebra associated with these data. The procedure relies on the theory of volume polynomials and multi-fans. This construction includes many important examples, such as cohomology of toric varieties and quasitoric manifolds, and Gorenstein algebras of triangulated homology manifolds, introduced by Novik and Swartz. In all these examples the dimensions of graded components of such duality algebras do not depend on the vector coloring. It was conjectured that the same holds for any simplicial cycle. We disprove this conjecture by showing that the colors of singular points of the cycle may affect the dimensions. However, the colors of smooth points are irrelevant. By using bistellar moves we show that the number of different dimension vectors arising on a given 3-dimensional pseudomanifold with isolated singularities is a topological invariant. This invariant is trivial on manifolds, but nontrivial in general.
On Multi Poly-Bernoulli Polynomials
In this paper, we define multi poly-Bernoulli polynomials using multiple polylogarithm and derive some properties parallel to those of poly-Bernoulli polynomials. Furthermore, an explicit formula for certain Hurwitz-Lerch type multi poly-Bernoulli polynomials is established using the $r$-Whitney numbers of the second kind.
A polynomial time algorithm to compute quantum invariants of 3-manifolds with bounded first Betti number
Published in Proceedings of the ACM-SIAM Symposium on Discrete Algorithms (SODA 2017), Society for Industrial and Applied Mathematics, 2721-2732, 2017, and Foundations of Computational Mathematics, 2019
• View Publication
• BIB
In this article, we introduce a fixed parameter tractable algorithm for computing the Turaev-Viro invariants TV(4,q), using the dimension of the first homology group of the manifold as parameter.
This is, to our knowledge, the first parameterised algorithm in computational 3-manifold topology using a topological parameter. The computation of TV(4,q) is known to be #P-hard in general; using a topological parameter provides an algorithm polynomial in the size of the input triangulation for the extremely large family of 3-manifolds with first homology group of bounded rank.
Our algorithm is easy to implement and running times are comparable with running times to compute integral homology groups for standard libraries of triangulated 3-manifolds. The invariants we can compute this way are powerful: in combination with integral homology and using standard data sets we are able to roughly double the pairs of 3-manifolds we can distinguish.
We hope this qualifies TV(4,q) to be added to the short list of standard properties (such as orientability, connectedness, Betti numbers, etc.) that can be computed ad-hoc when first investigating an unknown triangulation.
Waiter-Client and Client-Waiter colourability games on a $k$-uniform hypergraph and the $k$-SAT game
Published
• View Publication
• BIB
Waiter-Client and Client-Waiter games are two-player, perfect information games, with no chance moves, played on a finite set (board) with special subsets known as the winning sets. Each round of the biased $(1:q)$ game begins with Waiter offering $q+1$ previously unclaimed elements of the board to Client, who claims one. The $q$ elements remaining are then claimed by Waiter. If Client fully claims a winning set by the time all board elements have been offered, he wins in the Client-Waiter game and loses in the Waiter-Client game. We give an estimate for the threshold bias of the $(1:q)$ Waiter-Client and Client-Waiter versions of two different games: the non-2-colourability game, played on the complete $k$-uniform hypergraph, and the $k$-SAT game. In particular, we show that the unique value of $q$ at which the winner of the Client-Waiter version of the non-2-colourability game changes is $\frac{1}{n}\binom{n}{k}2^{-k(1+o_k(1))}$ and, for the Waiter-Client version, the corresponding value of $q$ is $\frac{1}{n}\binom{n}{k}2^{Θ_k(k)}$. Additionally, we show that the threshold bias for the Waiter-Client and Client-Waiter versions of the $k$-SAT game is $\frac{1}{n}\binom{n}{k}$ up to a factor that is exponential and polynomial in $k$ respectively. This shows that these games exhibit the "probabilistic intuition".
Poset structures on (m + 2)-angulations and polynomial bases of the quotient by G^m -quasisymmetric functions
For integers m, n $\ge$ 1, we describe a bijection sending dissections of the (mn + 2)-regular polygon into (m + 2)-sided polygons to a new basis of the quotient of the polynomial algebra in mn variables by an ideal generated by some kind of higher quasi-symmetric functions. We show that divisibility of the basis elements corresponds to a new partial order on dissections, which is studied in some detail.
Littlewood-Richardson coefficients for Grothendieck polynomials from integrability
Published
• View Publication
• BIB
We study the Littlewood-Richardson coefficients of double Grothendieck polynomials indexed by Grassmannian permutations. Geometrically, these are the structure constants of the equivariant $K$-theory ring of Grassmannians. Representing the double Grothendieck polynomials as partition functions of an integrable vertex model, we use its Yang-Baxter equation to derive a series of product rules for the former polynomials and their duals. The Littlewood-Richardson coefficients that arise can all be expressed in terms of puzzles without gashes, which generalize previous puzzles obtained by Knutson-Tao and Vakil.