polynomial
11432 papers tagged with this keyword
A bracket polynomial for 2-tangle shadows
We compute the Kauffman bracket polynomial of the numerator and denominator closures of A + A + ... + A ( A is repeated n times), where A is a 2-tangle shadow that has at most 4 crossings.
Poincare polynomials of generic torus orbit closures in Schubert varieties
Published
• View Publication
• BIB
The closure of a generic torus orbit in the flag variety $G/B$ of type $A$ is known to be a permutohedral variety and its Poincare polynomial agrees with the Eulerian polynomial. In this paper, we study the Poincare polynomial of a generic torus orbit closure in a Schubert variety in $G/B$. When the generic torus orbit closure in a Schubert variety is smooth, its Poincare polynomial is known to agree with a certain generalization of the Eulerian polynomial. We extend this result to an arbitrary generic torus orbit closure which is not necessarily smooth.
Singular loci of reflection arrangements and the containment problem
Published
• View Publication
• BIB
This paper provides insights into the role of symmetry in studying polynomial functions vanishing to high order on an algebraic variety. The varieties we study are singular loci of hyperplane arrangements in projective space, with emphasis on arrangements arising from complex reflection groups. We provide minimal sets of equations for the radical ideals defining these singular loci and study containments between the ordinary and symbolic powers of these ideals.
Drawing Graphs as Spanners
Published
• View Publication
• BIB
We study the problem of embedding graphs in the plane as good geometric spanners. That is, for a graph $G$, the goal is to construct a straight-line drawing $Γ$ of $G$ in the plane such that, for any two vertices $u$ and $v$ of $G$, the ratio between the minimum length of any path from $u$ to $v$ and the Euclidean distance between $u$ and $v$ is small. The maximum such ratio, over all pairs of vertices of $G$, is the spanning ratio of $Γ$.
First, we show that deciding whether a graph admits a straight-line drawing with spanning ratio $1$, a proper straight-line drawing with spanning ratio $1$, and a planar straight-line drawing with spanning ratio $1$ are NP-complete, $\exists \mathbb R$-complete, and linear-time solvable problems, respectively, where a drawing is proper if no two vertices overlap and no edge overlaps a vertex.
Second, we show that moving from spanning ratio $1$ to spanning ratio $1+ε$ allows us to draw every graph. Namely, we prove that, for every $ε>0$, every (planar) graph admits a proper (resp. planar) straight-line drawing with spanning ratio smaller than $1+ε$.
Third, our drawings with spanning ratio smaller than $1+ε$ have large edge-length ratio, that is, the ratio between the length of the longest edge and the length of the shortest edge is exponential. We show that this is sometimes unavoidable. More generally, we identify having bounded toughness as the criterion that distinguishes graphs that admit straight-line drawings with constant spanning ratio and polynomial edge-length ratio from graphs that require exponential edge-length ratio in any straight-line drawing with constant spanning ratio.
Simple eigenvalues of cubic vertex-transitive graphs
Published in Can. J. Math.-J. Can. Math. 76 (2024) 1496-1519
• View Publication
• BIB
If $v$ is an eigenvector for eigenvalue $λ$ of a graph $X$ and $α$ is an automorphism of $X$, then $α(v)$ is also an eigenvector for $λ$. Thus it is rather exceptional for an eigenvalue of a vertex-transitive graph to be simple. We study cubic vertex-transitive graphs with a non-trivial simple eigenvalue, and discover remarkable connections to arc-transitivity, regular maps and Chebyshev polynomials.
Affine Demazure crystals for specialized nonsymmetric Macdonald polynomials
Published in Algebr. Comb. 4 (2021), no 5, 777-793
• View Publication
• BIB
We give a crystal-theoretic proof that nonsymmetric Macdonald polynomials specialized to $t=0$ are affine Demazure characters. We explicitly construct an affine Demazure crystal on semistandard key tabloids such that removing the affine edges recovers the finite Demazure crystals constructed earlier by the authors. We also realize the filtration on highest weight modules by Demazure modules by defining explicit embedding operators which, at the level of characters, parallels the recursion operators of Knop and Sahi for specialized nonsymmetric Macdonald polynomials. Thus we prove combinatorially in type A that every affine Demazure module admits a finite Demazure flag.
Maximizing Products of Linear Forms, and The Permanent of Positive Semidefinite Matrices
Published in Math. Program. (2021)
• View Publication
• BIB
We study the convex relaxation of a polynomial optimization problem, maximizing a product of linear forms over the complex sphere. We show that this convex program is also a relaxation of the permanent of Hermitian positive semidefinite (HPSD) matrices. By analyzing a constructive randomized rounding algorithm, we obtain an improved multiplicative approximation factor to the permanent of HPSD matrices, as well as computationally efficient certificates for this approximation. We also propose an analog of van der Waerden's conjecture for HPSD matrices, where the polynomial optimization problem is interpreted as a relaxation of the permanent.
Acyclic matchings in graphs of bounded maximum degree
Published
• View Publication
• BIB
A matching $M$ in a graph $G$ is acyclic if the subgraph of $G$ induced by the set of vertices that are incident to an edge in $M$ is a forest. We prove that every graph with $n$ vertices, maximum degree at most $Δ$, and no isolated vertex, has an acyclic matching of size at least $(1-o(1))\frac{6n}{Δ^2},$ and we explain how to find such an acyclic matching in polynomial time.
Rational polytopes with Ehrhart coefficients of arbitrary period
Published
• View Publication
• BIB
A seminal result of E. Ehrhart states that the number of integer lattice points in the dilation of a rational polytope by a positive integer $k$ is a quasi-polynomial function of $k$ --- that is, a "polynomial" in which the coefficients are themselves periodic functions of $k$. Using a result of F. Liu on the Ehrhart polynomials of cyclic polytopes, we construct not-necessarily-convex rational polytopes of arbitrary dimension in which the periods of the coefficient functions appearing in the Ehrhart quasi-polynomial take on arbitrary values.
A Simulated Annealing Algorithm for the Directed Steiner Tree Problem
In \cite{siebert2019linear} the authors present a set of integer programs (IPs) for the Steiner tree problem, which can be used for both, the directed and the undirected setting of the problem. Each IP finds an optimal Steiner tree with a specific structure. A solution with the lowest cost, corresponds to an optimal solution to the entire problem. The authors show that the linear programming relaxation of each IP is integral and, also, that each IP is polynomial in the size of the instance, consequently, they can be solved in polynomial time. The main issue is that the number of IPs to solve grows exponentially with the number of terminal nodes, which makes this approach impractical for large instances. In this paper, we propose a local search procedure to solve the directed Steiner tree problem using the approach presented in \cite{siebert2019linear}. In order to do this, we present a dynamic programming algorithm to solve each IP efficiently. Then we provide a characterization of the neighborhood of each tree structure. Finally, we use the proposed algorithm and the neighborhood characterization to solve the problem using a simulated annealing framework. Computational experiments show that the quality of the solutions delivered by our approach is better than the ones presented in the literature for the directed Steiner tree problem.
Cohomology ring of manifold arrangements
We study the cohomology ring of the complement $\mathcal{M}(\mathcal{A})$ of a manifold arrangement $\mathcal{A}$ in a smooth manifold $M$ without boundary. We first give the concept of monoidal cosheaf on a locally geometric poset $\mathfrak{L}$, and then define the generalized Orlik--Solomon algebra $A^*(\mathfrak{L}, \mathcal{C})$ over a commutative ring with unit, which is built by the classical Orlik--Solomon algebra and a monoidal cosheaf $\mathcal{C}$ as coefficients. Furthermore, we construct a monoidal cosheaf $\hat{\mathcal{C}}(\mathcal{A})$ associated with $\mathcal{A}$, so that the generalized Orlik--Solomon algebra $A^*(\mathfrak{L}, \hat{\mathcal{C}}(\mathcal{A}))$ becomes a double complex with suitable multiplication structure and the associated total complex $Tot(A^*(\mathfrak{L}, \hat{\mathcal{C}}(\mathcal{A})))$ is a differential algebra. Our main result is that $H^*(Tot(A^*(\mathfrak{L}, \hat{\mathcal{C}}(\mathcal{A}))))$ is isomorphic to $H^*(\mathcal{M}(\mathcal{A}))$ as algebras. Our argument is of topological with the use of a spectral sequence induced by a geometric filtration associated with $\mathcal{A}$. In particular, we also discuss the mixed Hodge complex structure on our model if $M$ and all elements in $\mathcal{A}$ are complex smooth varieties, and show that it induces the canonical mixed Hodge structure of $\mathcal{M}(\mathcal{A})$. As an application, we calculate the cohomology of chromatic configuration spaces, which agrees with many known results in some special cases. In addition, some explicit formulas with respect to Poincaré polynomial and chromatic polynomial are also given.
On List k-Coloring Convex Bipartite Graphs
List k-Coloring (Li k-Col) is the decision problem asking if a given graph admits a proper coloring compatible with a given list assignment to its vertices with colors in {1,2,..,k}. The problem is known to be NP-hard even for k=3 within the class of 3-regular planar bipartite graphs and for k=4 within the class of chordal bipartite graphs. In 2015, Huang, Johnson and Paulusma asked for the complexity of Li 3-Col in the class of chordal bipartite graphs. In this paper we give a partial answer to this question by showing that Li k-Col is polynomial in the class of convex bipartite graphs. We show first that biconvex bipartite graphs admit a multichain ordering, extending the classes of graphs where a polynomial algorithm of Enright, Stewart and Tardos (2014) can be applied to the problem. We provide a dynamic programming algorithm to solve the Li k-Col in the calss of convex bipartite graphs. Finally we show how our algorithm can be modified to solve the more general Li H-Col problem on convex bipartite graphs.
On bipartite graphs having minimal fourth adjacency coefficient
Published
• View Publication
• BIB
Let $G$ be a simple graph with order $n$ and adjacency matrix $\mathbf{A}(G)$. Let $φ(G; λ)=\det(λI-\mathbf{A}(G))=\sum_{i=0}^n\mathbf{a}_i(G)λ^{n-i}$ be the characteristic polynomial of $G$, where $\mathbf{a}_i(G)$ is called the $i$-th adjacency coefficient of $G$. Denote by $\mathfrak{B}_{n,m}$ the set of all connected graphs having $n$ vertices and $m$ edges. A bipartite graph $G$ is referred as bipartite optimal if $$\mathbf{a}_4(G)=min\{\mathbf{a}_4(H)|H\in \mathfrak{B}_{n,m}\}.$$ The value $min\{\mathbf{a}_4(H)|H\in \mathfrak{B}_{n,m}\}$ is called the minimal $4$-Sachs number in $\mathfrak{B}_{n,m}$, denoted by $\bar{\mathbf{a}}_4(\mathfrak{B}_{n,m})$. \vspace{2mm} For any given integer pair $(n,m)$, we in this paper investigate the bipartite optimal graphs. Firstly, we show that each bipartite optimal graph is a difference graph (see Theorem 10). Then we deduce some structural properties on bipartite optimal graphs. As applications of those properties, we determine all bipartite optimal $(n,m)$-graphs together with the corresponding minimal $4$-Sachs number for $n\ge 5$ and $n-1\le m\le 3(n-3)$. Finally, we express the problem of computing the minimal $4$-Sachs number as a class of combinatorial optimization problem, which relates to the partitions of positive integers.
On graphs having minimal fourth adjacency coefficient
Let $G$ be a graph with order $n$ and adjacency matrix $\mathbf{A}(G)$. The adjacency polynomial of $G$ is defined as $φ(G;λ) =det(λ\mathbf{I}-\mathbf{A}(G))=\sum_{i=0}^n\mathbf{a_i}(G)λ^{n-i}$. Hereafter, $\mathbf{a}_i(G)$ is called the $i$-th adjacency coefficient of $G$. Denote by $\mathfrak{G}_{n,m}$ the set of all connected graphs having $n$ vertices and $m$ edges. A graph $G$ is said $4$-Sachs minimal if $$\mathbf{a}_4(G)=min\{\mathbf{a}_4(H)|H\in \mathfrak{G}_{n,m}\}.$$ The value $min\{\mathbf{a}_4(H)|H\in \mathfrak{G}_{n,m}\}$ is called the minimal $4$-Sachs number in $\mathfrak{G}_{n,m}$, denoted by $\bar{\mathbf{a}}_4(\mathfrak{G}_{n,m})$. In this paper, we study the relationship between the value $\mathbf{a}_4(G)$ and its structural properties. Especially, we give a structural characterization on $4$-Sachs minimal graphs, showing that each $4$-Sachs minimal graph contains a difference graph as its spanning subgraph (see Theorem 8). Then, for $n\ge 4$ and $n-1\le m\le 2n-4$, we determine all $4$-Sachs minimal graphs together with the corresponding minimal $4$-Sachs number $\bar{\mathbf{a}}_4(\mathfrak{G}_{n,m})$.
Branching Rules for Koornwinder Polynomials with One Column Diagrams and Matrix Inversions
Published in SIGMA 16 (2020), 084, 28 pages
• View Publication
• BIB
We present an explicit formula for the transition matrix $\mathcal{C}$ from the type $BC_n$ Koornwinder polynomials $P_{(1^r)}(x|a,b,c,d|q,t)$ with one column diagrams, to the type $BC_n$ monomial symmetric polynomials $m_{(1^{r})}(x)$. The entries of the matrix $\mathcal{C}$ enjoy a set of four terms recursion relations. These recursions provide us with the branching rules for the Koornwinder polynomials with one column diagrams, namely the restriction rules from $BC_n$ to $BC_{n-1}$. To have a good description of the transition matrices involved, we introduce the following degeneration scheme of the Koornwinder polynomials: $P_{(1^r)}(x|a,b,c,d|q,t) \longleftrightarrow P_{(1^r)}(x|a,-a,c,d|q,t)\longleftrightarrow P_{(1^r)}(x|a,-a,c,-c|q,t) \longleftrightarrow P_{(1^r)}\big(x|t^{1/2}c,-t^{1/2}c,c,-c|q,t\big) \longleftrightarrow P_{(1^r)}\big(x|t^{1/2},-t^{1/2},1,-1|q,t\big)$. We prove that the transition matrices associated with each of these degeneration steps are given in terms of the matrix inversion formula of Bressoud. As an application, we give an explicit formula for the Kostka polynomials of type $B_n$, namely the transition matrix from the Schur polynomials $P^{(B_n,B_n)}_{(1^r)}(x|q;q,q)$ to the Hall-Littlewood polynomials $P^{(B_n,B_n)}_{(1^r)}(x|t;0,t)$. We also present a conjecture for the asymptotically free eigenfunctions of the $B_n$ $q$-Toda operator, which can be regarded as a branching formula from the $B_n$ $q$-Toda eigenfunction restricted to the $A_{n-1}$ $q$-Toda eigenfunctions.
Recognizing Cartesian products of matrices and polytopes
Published
• View Publication
• BIB
The 1-product of matrices $S_1 \in \mathbb{R}^{m_1 \times n_1}$ and $S_2 \in \mathbb{R}^{m_2 \times n_2}$ is the matrix in $\mathbb{R}^{(m_1+m_2) \times (n_1n_2)}$ whose columns are the concatenation of each column of $S_1$ with each column of $S_2$. Our main result is a polynomial time algorithm for the following problem: given a matrix $S$, is $S$ a 1-product, up to permutation of rows and columns? Our main motivation is a close link between the 1-product of matrices and the Cartesian product of polytopes, which goes through the concept of slack matrix. Determining whether a given matrix is a slack matrix is an intriguing problem whose complexity is unknown, and our algorithm reduces the problem to irreducible instances. Our algorithm is based on minimizing a symmetric submodular function that expresses mutual information in information theory. We also give a polynomial time algorithm to recognize a more complicated matrix product, called the 2-product. Finally, as a corollary of our 1-product and 2-product recognition algorithms, we obtain a polynomial time algorithm to recognize slack matrices of $2$-level matroid base polytopes.
The Genius Conjectures (via Bell Polynomials)
We present two related conjectures, arising in work on i-matchings in random r-regular bipartite graphs. The conjectures themselves are easily stated and involve only basic properties of convergent power series. One formulation involves Bell's polynomials. The conjectures name was chosen since we earnestly believe only a truly genius mathematician will prove them. We advise others not to try. A further belief is that the proof will arise from some deep properties of partitions.
$P$-Schur positive $P$-Grothendieck Polynomials
Published in Australasian Journal of Combinatorics 85(2) (2023), 106-130
• Search Publication
The symmetric Grothendieck polynomials generalize Schur polynomials and are Schur-positive by degree. Combinatorially this is manifested as the generalization of semistandard Young tableaux by set-valued tableaux. We define a (weak) symmetric $P$-Grothendieck polynomial which generalizes $P$-Schur polynomials in the same way. Combinatorially this is manifested as the generalization of shifted semistandard Young tableaux by a new type of tableaux which we call shifted multiset tableaux.
Combinatorial formulas for the coefficients of the Al-Salam-Chihara polynomials
The Al-Salam-Chihara polynomials are an important family of orthogonal polynomials in one variable $x$ depending on 3 parameters $α$, $β$ and $q$. They are closely connected to a model from statistical mechanics called the partially asymmetric simple exclusion process (PASEP) and they can be obtained as a specialization of the Askey-Wilson polynomials. We give two different combinatorial formulas for the coefficients of the (transformed) Al-Salam-Chihara polynomials. Our formulas make manifest the fact that the coefficients are polynomials in $α$, $β$ and $q$ with positive coefficients.
A two-sided Faulhaber-like formula involving Bernoulli polynomials
Published in Comptes Rendus Mathématique, 357 (2020) 1
• View Publication
• BIB
We give a new identity involving Bernoulli polynomials and combinatorial numbers. This provides, in particular, a Faulhaber-like formula for sums of the form $1^m (n-1)^m + 2^m (n-2)^m + \cdots + (n-1)^m 1^m$ for positive integers $m$ and $n$.