polynomial
11422 papers tagged with this keyword
Linear rank-width of distance-hereditary graphs II. Vertex-minor obstructions
In the companion paper [Linear rank-width of distance-hereditary graphs I. A polynomial-time algorithm, Algorithmica 78(1):342--377, 2017], we presented a characterization of the linear rank-width of distance-hereditary graphs, from which we derived an algorithm to compute it in polynomial time. In this paper, we investigate structural properties of distance-hereditary graphs based on this characterization.
First, we prove that for a fixed tree $T$, every distance-hereditary graph of sufficiently large linear rank-width contains a vertex-minor isomorphic to $T$. We extend this property to bigger graph classes, namely, classes of graphs whose prime induced subgraphs have bounded linear rank-width. Here, prime graphs are graphs containing no splits. We conjecture that for every tree $T$, every graph of sufficiently large linear rank-width contains a vertex-minor isomorphic to $T$. Our result implies that it is sufficient to prove this conjecture for prime graphs.
For a class $Φ$ of graphs closed under taking vertex-minors, a graph $G$ is called a vertex-minor obstruction for $Φ$ if $G\notin Φ$ but all of its proper vertex-minors are contained in $Φ$. Secondly, we provide, for each $k\ge 2$, a set of distance-hereditary graphs that contains all distance-hereditary vertex-minor obstructions for graphs of linear rank-width at most $k$. Also, we give a simpler way to obtain the known vertex-minor obstructions for graphs of linear rank-width at most $1$.
The Smith Normal Form of a Specialized Jacobi-Trudi Matrix
Published
• View Publication
• BIB
Let $\mathrm{JT}_λ$ be the Jacobi-Trudi matrix corresponding to the partition $λ$, so $\det\mathrm{JT}_λ$ is the Schur function $s_λ$ in the variables $x_1,x_2,\dots$. Set $x_1=\cdots=x_n=1$ and all other $x_i=0$. Then the entries of $\mathrm{JT}_λ$ become polynomials in $n$ of the form ${n+j-1\choose j}$. We determine the Smith normal form over the ring $\mathbb{Q}[n]$ of this specialization of $\mathrm{JT}_λ$. The proof carries over to the specialization $x_i=q^{i-1}$ for $1\leq i\leq n$ and $x_i=0$ for $i>n$, where we set $q^n=y$ and work over the ring $\mathbb{Q}(q)[y]$.
The odd Hadwiger's conjecture is "almost'' decidable
The odd Hadwiger's conjecture, made by Gerads and Seymour in early 1990s, is an analogue of the famous Hadwiger's conjecture. It says that every graph with no odd $K_t$-minor is $(t-1)$-colorable. This conjecture is known to be true for $t \leq 5$, but the cases $t \geq 5$ are wide open. So far, the most general result says that every graph with no odd $K_t$-minor is $O(t \sqrt{\log t})$-colorable.
In this paper, we tackle this conjecture from an algorithmic view, and show the following:
For a given graph $G$ and any fixed $t$, there is a polynomial time algorithm to output one of the following:
\begin{enumerate} \item a $(t-1)$-coloring of $G$, or \item an odd $K_{t}$-minor of $G$, or \item after making all "reductions" to $G$, the resulting graph $H$ (which is an odd minor of $G$ and which has no reductions) has a tree-decomposition $(T, Y)$ such that torso of each bag $Y_t$ is either \begin{itemize} \item of size at most $f_1(t) \log n$ for some function $f_1$ of $t$, or \item a graph that has a vertex $X$ of order at most $f_2(t)$ for some function $f_2$ of $t$ such that $Y_t-X$ is bipartite. Moreover, degree of $t$ in $T$ is at most $f_3(t)$ for some function $f_3$ of $t$. \end{itemize} \end{enumerate}
Let us observe that the last odd minor $H$ is indeed a minimal counterexample to the odd Hadwiger's conjecture for the case $t$. So our result says that a minimal counterexample satisfies the lsat conclusion.
Max Point-Tolerance Graphs
Published
• View Publication
• BIB
A graph $G$ is a \emph{max point-tolerance (MPT)} graph if each vertex $v$ of $G$ can be mapped to a \emph{pointed-interval} $(I_v, p_v)$ where $I_v$ is an interval of $\mathbb{R}$ and $p_v \in I_v$ such that $uv$ is an edge of $G$ iff $I_u \cap I_v \supseteq \{p_u, p_v\}$. MPT graphs model relationships among DNA fragments in genome-wide association studies as well as basic transmission problems in telecommunications. We formally introduce this graph class, characterize it, study combinatorial optimization problems on it, and relate it to several well known graph classes. We characterize MPT graphs as a special case of several 2D geometric intersection graphs; namely, triangle, rectangle, L-shape, and line segment intersection graphs. We further characterize MPT as having certain linear orders on their vertex set. Our last characterization is that MPT graphs are precisely obtained by intersecting special pairs of interval graphs. We also show that, on MPT graphs, the maximum weight independent set problem can be solved in polynomial time, the coloring problem is NP-complete, and the clique cover problem has a 2-approximation. Finally, we demonstrate several connections to known graph classes; e.g., MPT graphs strictly contain interval graphs and outerplanar graphs, but are incomparable to permutation, chordal, and planar graphs.
Distance mean-regular graphs
Published
• View Publication
• BIB
We introduce the concept of distance mean-regular graph, which can be seen as a generalization of both vertex-transitive and distance-regular graphs. Let $Γ$ be a graph with vertex set $V$, diameter $D$, adjacency matrix $A$, and adjacency algebra ${\cal A}$. Then, $Γ$ is $distance$ $mean$-$regular$ when, for a given $u\in V$, the averages of the intersection numbers $p_{ij}^h(u,v)=|Γ_i(u)\cap Γ_j(v)|$ (number of vertices at distance $i$ from $u$ and distance $j$ from $v$) computed over all vertices $v$ at a given distance $h\in \{0,1,\ldots,D\}$ from $u$, do not depend on $u$. In this work we study some properties and characterizations of these graphs. For instance, it is shown that a distance mean-regular graph is always distance degree-regular, and we give a condition for the converse to be also true. Some algebraic and spectral properties of distance mean-regular graphs are also investigated. We show that, for distance mean regular-graphs, the role of the distance matrices of distance-regular graphs is played for the so-called distance mean-regular matrices. These matrices are computed from a sequence of orthogonal polynomials evaluated at the adjacency matrix of $Γ$ and, hence, they generate a subalgebra of ${\cal A}$. Some other algebras associated to distance mean-regular graphs are also characterized.
A polynomially solvable case of the pooling problem
Published in Journal of Global Optimization, Volume 67, Issue 3, pp 621-630, 2017
• View Publication
• BIB
Answering a question of Haugland, we show that the pooling problem with one pool and a bounded number of inputs can be solved in polynomial time by solving a polynomial number of linear programs of polynomial size. We also give an overview of known complexity results and remaining open problems to further characterize the border between (strongly) NP-hard and polynomially solvable cases of the pooling problem.
Binary words avoiding xx^Rx and strongly unimodal sequences
In previous work, Currie and Rampersad showed that the growth of the number of binary words avoiding the pattern xxx^R was intermediate between polynomial and exponential. We now show that the same holds for the growth of the number of binary words avoiding the pattern xx^Rx. Curiously, the analysis for xx^Rx is much simpler than that for xxx^R. We derive our results by giving a bijection between the set of binary words avoiding xx^Rx and a class of sequences closely related to the class of "strongly unimodal sequences."
The complexity of cyber attacks in a new layered-security model and the maximum-weight, rooted-subtree problem
Published
• View Publication
• BIB
In our cyber security model we define the concept of {\em penetration cost}, which is the cost that must be paid in order to break into the next layer of security. Given a tree $T$ rooted at a vertex $r$, a {\em penetrating cost} edge function $c$ on $T$, a {\em target-acquisition} vertex function $p$ on $T$, the attacker's {\em budget} and the {\em game-over threshold} $B,G \in {\mathbb{Q}}^{+}$ respectively, we consider the problem of determining the existence of a rooted subtree $T'$ of $T$ within the attacker's budget (that is, the sum of the costs of the edges in $T'$ is less than or equal to $B$) with total acquisition value more than the game-over threshold (that is, the sum of the target values of the nodes in $T'$ is greater than or equal to $G$). We prove that the general version of this problem is intractable, but does admit a polynomial time approximation scheme. We also analyze the complexity of three restricted versions of the problems, where the penetration cost is the constant function, integer-valued, and rational-valued among a given fixed number of distinct values.
Random Partitions and the Quantum Benjamin-Ono Hierarchy
We derive exact and asymptotic results for random partitions from general results in the semi-classical analysis of coherent states applied to the classical periodic Benjamin-Ono equation at critical regularity $s= -1/2$. We find classical $dF_{\star |v} (c| \overline{\varepsilon})$ and quantum $d\hat{F}^{η_{NS}}( c | \hbar, \overline{\varepsilon})|_Ψ$ conserved densities for this system with dispersion coefficient $\overline{\varepsilon}$ extending Nazarov-Sklyanin (2013). For quantum stationary states, this conserved density is $dF_λ(c | \varepsilon_2, \varepsilon_1)$ the Rayleigh measure of the profile of a partition $λ$ of anisotropy $(\varepsilon_2, \varepsilon_1) \in \mathbb{C}^2$ for $\hbar = - \varepsilon_1 \varepsilon_2$, $\overline{\varepsilon}= \varepsilon_1 + \varepsilon_2$ invariant under $\varepsilon_2 \longleftrightarrow \varepsilon_1$. As Jack polynomials are the quantum stationary states and Stanley's Cauchy kernel (1989) is the reproducing kernel, the random values of the quantum periodic Benjamin-Ono hierarchy in a coherent state $Υ_v ( \cdot | \hbar)$ are a "Jack measure" on partitions, a dispersive generalization of Okounkov's Schur measures (1999). By our general results for coherent states, we have concentration on a limit shape as $\hbar \rightarrow 0$, the classical conserved density at $v$, and quantum fluctuations are an explicit Gaussian field. Our results follow from an enumerative asymptotic expansion in $\hbar$ and $\overline{\varepsilon}$ of joint cumulants over new combinatorial objects we call "ribbon paths". Our results reflect the fact that at fixed $\hbar>0$ the weight defining Fock space is already a fractional Brownian motion of variance $\hbar$ and Hurst index $(-s) - \tfrac{1}{2} \dim \mathbb{T} = + \tfrac{1}{2} - \tfrac{1}{2} = 0.$
Accessible Proof of Standard Monomial Basis for Coordinatization of Schubert Sets of Flags
Published
• View Publication
• BIB
The main results of this paper are accessible with only basic linear algebra. Given an increasing sequence of dimensions, a flag in a vector space is an increasing sequence of subspaces with those dimensions. The set of all such flags (the flag manifold) can be projectively coordinatized using products of minors of a matrix. These products are indexed by tableaux on a Young diagram. A basis of "standard monomials" for the vector space generated by such projective coordinates over the entire flag manifold has long been known. A Schubert variety is a subset of flags specified by a permutation. Lakshmibai, Musili, and Seshadri gave a standard monomial basis for the smaller vector space generated by the projective coordinates restricted to a Schubert variety. Reiner and Shimozono made this theory more explicit by giving a straightening algorithm for the products of the minors in terms of the right key of a Young tableau. Since then, Willis introduced scanning tableaux as a more direct way to obtain right keys. This paper uses scanning tableaux to give more-direct proofs of the spanning and the linear independence of the standard monomials. In the appendix it is noted that this basis is a weight basis for the dual of a Demazure module for a Borel subgroup of GL(n). This paper contains a complete proof that the characters of these modules (the key polynomials) can be expressed as the sums of the weights for the tableaux used to index the standard monomial bases.
A Cauchy-Davenport theorem for linear maps
Published
• View Publication
• BIB
We prove a version of the Cauchy-Davenport theorem for general linear maps. For subsets $A,B$ of the finite field $\mathbb{F}_p$, the classical Cauchy-Davenport theorem gives a lower bound for the size of the sumset $A+B$ in terms of the sizes of the sets $A$ and $B$. Our theorem considers a general linear map $L: \mathbb{F}_p^n \to \mathbb{F}_p^m$, and subsets $A_1, \ldots, A_n \subseteq \mathbb{F}_p$, and gives a lower bound on the size of $L(A_1 \times A_2 \times \ldots \times A_n)$ in terms of the sizes of the sets $A_1, \ldots, A_n$.
Our proof uses Alon's Combinatorial Nullstellensatz and a variation of the polynomial method.
Refined Cauchy/Littlewood identities and six-vertex model partition functions: III. Deformed bosons
Published in Advances in Mathematics, Volume 299, 20 August 2016, Pages 543-600
• View Publication
• BIB
We study Hall-Littlewood polynomials using an integrable lattice model of $t$-deformed bosons. Working with row-to-row transfer matrices, we review the construction of Hall-Littlewood polynomials (of the $A_n$ root system) within the framework of this model. Introducing appropriate double-row transfer matrices, we extend this formalism to Hall-Littlewood polynomials based on the $BC_n$ root system, and obtain a new combinatorial formula for them. We then apply our methods to prove a series of refined Cauchy and Littlewood identities involving Hall-Littlewood polynomials. The last two of these identities are new, and relate infinite sums over hyperoctahedrally symmetric Hall-Littlewood polynomials with partition functions of the six-vertex model on finite domains.
Higher determinants and the matrix-tree theorem
The classical matrix-tree theorem was discovered by G.~Kirchhoff in 1847. It relates the principal minor of the Laplace (nxn)-matrix to a particular sum of monomials indexed by the set of trees with n vertices. The aim of this paper is to present a generalization of the (nonsymmetric) matrix-tree theorem containing no trees and essentially no matrices. Instead of trees we consider acyclic directed graphs with a prescribed set of sinks, and instead of determinant, a polynomial invariant of the matrix determined by directed graph such that any two vertices of the same connected component are mutually reacheable.
Approximate polynomial structure in additively large sets
Published in Integers 16 (2016), Paper No. A49, 11 pp
• Search Publication
We show that any subset of the natural numbers with positive logarithmic Banach density contains a set that is within a factor of two of a geometric progression, improving the bound on a previous result of the authors. Density conditions on subsets of the natural numbers that imply the existence of approximate powers of arithmetic progressions are developed and explored.
Non-commutative lattice problems
Published
• View Publication
• BIB
We consider several subgroup-related algorithmic questions in groups, modeled after the classic computational lattice problems, and study their computational complexity. We find polynomial time solutions to problems like finding a subgroup element closest to a given group element, or finding a shortest non-trivial element of a subgroup in the case of nilpotent groups, and a large class of surface groups and Coxeter groups. We also provide polynomial time algorithm to compute geodesics in given generators of a subgroup of a free group.
Plane partitions with bounded size of parts and biorthogonal polynomials
Nice formulae for plane partitions with bounded size of parts (or boxed plane partitions), which generalize the norm-trace generating function by Stanley and the trace generating function by Gansner, are exhibited. The derivation of the nice formulae is based on lattice path combinatorics of biorthogonal polynomials, especially of the little $q$-Laguerre polynomials and a generalization of the little $q$-Laguerre polynomials. A summation formula which generalizes the $q$-Chu-Vandermonde identity is also shown and utilized to prove the orthogonality of the generalized little $q$-Laguerre polynomials.
Involution words: counting problems and connections to Schubert calculus for symmetric orbit closures
Published in J. Combin. Theory Ser. A 160 (2018), 217-260
• View Publication
• BIB
Involution words are variations of reduced words for involutions in Coxeter groups, first studied under the name of "admissible sequences" by Richardson and Springer. They are maximal chains in Richardson and Springer's weak order on involutions. This article is the first in a series of papers on involution words, and focuses on their enumerative properties. We define involution analogues of several objects associated to permutations, including Rothe diagrams, the essential set, Schubert polynomials, and Stanley symmetric functions. These definitions have geometric interpretations for certain intervals in the weak order on involutions. In particular, our definition of "involution Schubert polynomials" can be viewed as a Billey-Jockusch-Stanley type formula for cohomology class representatives of $\mathrm{O}_n$- and $\mathrm{Sp}_{2n}$-orbit closures in the flag variety, defined inductively in recent work of Wyser and Yong. As a special case of a more general theorem, we show that the involution Stanley symmetric function for the longest element of a finite symmetric group is a product of staircase-shaped Schur functions. This implies that the number of involution words for the longest element of a finite symmetric group is equal to the dimension of a certain irreducible representation of a Weyl group of type $B$.
The boundary value problem for Laplacian on differential forms and conformally Einstein infinity
We completely resolve the boundary value problem for differential forms and conformally Einstein infinity in terms of the dual Hahn polynomials. Consequently, we produce explicit formulas for the Branson-Gover operators on Einstein manifolds and prove their representation as a product of second order operators. This leads to an explicit description of $Q$-curvature and gauge companion operators on differential forms.
Mitosis algorithm for Grothendieck polynomials
Published
• View Publication
• BIB
In this article we will introduce the way to extend the mitosis algorithm for Schubert polynomials, developed by Ezra Miller, to the case of Grothendieck polynomials.
Difference operators for partitions and some applications
Published
• View Publication
• BIB
Motivated by the Nekrasov-Okounkov formula on hook lengths, the first author conjectured that the Plancherel average of the $2k$-th power sum of hook lengths of partitions with size $n$ is always a polynomial of $n$ for any $k\in \mathbb{N}$. This conjecture was generalized and proved by Stanley (Ramanujan J., 23(1--3): 91--105, 2010). In this paper, inspired by the work of Stanley and Olshanski on the differential poset of Young lattice, we study the properties of two kinds of difference operators $D$ and $D^-$ defined on functions of partitions. Even though the calculations for higher orders of $D$ are extremely complex, we prove that several well-known families of functions of partitions are annihilated by a power of the difference operator $D$. As an application, our results lead to several generalizations of classic results on partitions, including the marked hook formula, Stanley Theorem, Okada-Panova hook length formula, and Fujii-Kanno-Moriyama-Okada content formula. We insist that the Okada constants $K_r$ arise directly from the computation for a single partition $λ$, without the summation ranging over all partitions of size~$n$.