polynomial
11422 papers tagged with this keyword
A Characterization of Oriented Hypergraphic Laplacian and Adjacency Matrix Coefficients
Published
• View Publication
• BIB
An oriented hypergraph is an oriented incidence structure that generalizes and unifies graph and hypergraph theoretic results by examining its locally signed graphic substructure. In this paper we obtain a combinatorial characterization of the coefficients of the characteristic polynomials of oriented hypergraphic Laplacian and adjacency matrices via a signed hypergraphic generalization of basic figures of graphs. Additionally, we provide bounds on the determinant and permanent of the Laplacian matrix, characterize the oriented hypergraphs in which the upper bound is sharp, and demonstrate that the lower bound is never achieved.
Degrees of irreducible polynomials over binary field
An algorithm for factoring polynomials over finite fields is given by Berlekamp in 1967. The main tool was the matrix Q corresponding to each polynomial. This paper studies the degrees of polynomials over binary field that associated with their corresponding matrices Q and irreducibility.
Approximating the Largest Root and Applications to Interlacing Families
Published
• View Publication
• BIB
We study the problem of approximating the largest root of a real-rooted polynomial of degree $n$ using its top $k$ coefficients and give nearly matching upper and lower bounds. We present algorithms with running time polynomial in $k$ that use the top $k$ coefficients to approximate the maximum root within a factor of $n^{1/k}$ and $1+O(\tfrac{\log n}{k})^2$ when $k\leq \log n$ and $k>\log n$ respectively. We also prove corresponding information-theoretic lower bounds of $n^{Ω(1/k)}$ and $1+Ω\left(\frac{\log \frac{2n}{k}}{k}\right)^2$, and show strong lower bounds for noisy version of the problem in which one is given access to approximate coefficients.
This problem has applications in the context of the method of interlacing families of polynomials, which was used for proving the existence of Ramanujan graphs of all degrees, the solution of the Kadison-Singer problem, and bounding the integrality gap of the asymmetric traveling salesman problem. All of these involve computing the maximum root of certain real-rooted polynomials for which the top few coefficients are accessible in subexponential time. Our results yield an algorithm with the running time of $2^{\tilde O(\sqrt[3]n)}$ for all of them.
Simply Exponential Approximation of the Permanent of Positive Semidefinite Matrices
Published
• View Publication
• BIB
We design a deterministic polynomial time $c^n$ approximation algorithm for the permanent of positive semidefinite matrices where $c=e^{γ+1}\simeq 4.84$. We write a natural convex relaxation and show that its optimum solution gives a $c^n$ approximation of the permanent. We further show that this factor is asymptotically tight by constructing a family of positive semidefinite matrices.
Orthogonal polynomials and Smith normal form
Published
• View Publication
• BIB
Smith normal form evaluations found by Bessenrodt and Stanley for some Hankel matrices of q-Catalan numbers are proven in two ways. One argument generalizes the Bessenrodt-Stanley results for the Smith normal form of a certain multivariate matrix that refines one studied by Berlekamp, Carlitz, Roselle, and Scoville. The second argument, which uses orthogonal polynomials, generalizes to a number of other Hankel matrices, Toeplitz matrices, and Gram matrices. It gives new results for q-Catalan numbers, q-Motzkin numbers, q-Schröder numbers, q-Stirling numbers, q-matching numbers, q-factorials, q-double factorials, as well as generating functions for permutations with eight statistics.
Proof of the $(α,β)$--inversion formula conjectured by Hsu and Ma
In light of the well-known fact that the $n$th divided difference of any polynomial of degree $m$ must be zero while $m<n$,the present paper proves the $(α,β)$-inversion formula conjectured by Hsu and Ma [J. Math. Res. $\&$ Exposition 25(4) (2005) 624].
As applications of $(α,β)$-inversion, we not only recover some known matrix inversions due to Gasper, Schlosser, and Warnaar, but also fin three new matrix inversions related to elliptic divisibility sequence and theta functions.
The Kth Traveling Salesman Problem is Pseudopolynomial when TSP is polynomial
Published
• View Publication
• BIB
Given an undirected graph $G=(V, E)$ with a weight function $c\in R^E$, and a positive integer $K$, the Kth Traveling Salesman Problem (KthTSP) is to find $K$ Hamilton cycles $H_1, H_2, , ..., H_K$ such that, for any Hamilton cycle $H\not \in \{H_1, H_2, , ..., H_K \}$, we have $c(H)\geq c(H_i), i=1, 2, ..., K$. This problem is NP-hard even for $K$ fixed. We prove that KthTSP is pseudopolynomial when TSP is polynomial.
Tail positive words and generalized coinvariant algebras
Published
• View Publication
• BIB
Let $n,k,$ and $r$ be nonnegative integers and let $S_n$ be the symmetric group. We introduce a quotient $R_{n,k,r}$ of the polynomial ring $\mathbb{Q}[x_1, \dots, x_n]$ in $n$ variables which carries the structure of a graded $S_n$-module. When $r \geq n$ or $k = 0$ the quotient $R_{n,k,r}$ reduces to the classical coinvariant algebra $R_n$ attached to the symmetric group. Just as algebraic properties of $R_n$ are controlled by combinatorial properties of permutations in $S_n$, the algebra of $R_{n,k,r}$ is controlled by the combinatorics of objects called {\em tail positive words}. We calculate the standard monomial basis of $R_{n,k,r}$ and its graded $S_n$-isomorphism type. We also view $R_{n,k,r}$ as a module over the 0-Hecke algebra $H_n(0)$, prove that $R_{n,k,r}$ is a projective 0-Hecke module, and calculate its quasisymmetric and nonsymmetric 0-Hecke characteristics. We conjecture a relationship between our quotient $R_{n,k,r}$ and the delta operators of the theory of Macdonald polynomials.
Asymptotic Formulas for Macdonald Polynomials and the Boundary of the $(q,t)$-Gelfand-Tsetlin Graph
Published in SIGMA 14 (2018), 001, 66 pages
• View Publication
• BIB
We introduce Macdonald characters and use algebraic properties of Macdonald polynomials to study them. As a result, we produce several formulas for Macdonald characters, which are generalizations of those obtained by Gorin and Panova in [Ann. Probab. 43 (2015), 3052-3132, arXiv:1301.0634], and are expected to provide tools for the study of statistical mechanical models, representation theory and random matrices. As first application of our formulas, we characterize the boundary of the $(q,t)$-deformation of the Gelfand-Tsetlin graph when $t=q^θ$ and $θ$ is a positive integer.
Pieri Integral Formula and Asymptotics of Jack Unitary Characters
Published
• View Publication
• BIB
We introduce Jack (unitary) characters and prove two kinds of formulas that are suitable for their asymptotics, as the lengths of the signatures that parametrize them go to infinity. The first kind includes several integral representations for Jack characters of one variable. The second identity we prove is the Pieri integral formula for Jack characters which, in a sense, is dual to the well known Pieri rule for Jack polynomials. The Pieri integral formula can also be seen as a functional equation for irreducible spherical functions of virtual Gelfand pairs.
As an application of our formulas, we study the asymptotics of Jack characters as the corresponding signatures grow to infinity in the sense of Vershik-Kerov. We prove the existence of a small $δ> 0$ such that the Jack characters of $m$ variables have a uniform limit on the $δ$-neighborhood of the $m$-dimensional torus. Our result specializes to a theorem of Okounkov and Olshanski.
Ordering of bicyclic graphs by matching energy
Let $G$ be a simple graph of order $n$ and $μ_{1},μ_{2},\ldots,μ_{n}$ be the roots of its matching polynomial. The matching energy is defined as the sum $\sum^{n}_{i=1}|μ_{i}|$, which was introduced by Gutman and Wagner in 2012. In this paper, the graphs with the first five smallest matching energies among all bicyclic graphs for order $n>5$ are determined.
Gaussian fluctuations of Jack-deformed random Young diagrams
Published in Probab. Theory Relat. Fields 174, 133-176 (2019)
• View Publication
• BIB
We introduce a large class of random Young diagrams which can be regarded as a natural one-parameter deformation of some classical Young diagram ensembles; a deformation which is related to Jack polynomials and Jack characters. We show that each such a random Young diagram converges asymptotically to some limit shape and that the fluctuations around the limit are asymptotically Gaussian.
Noether resolutions in dimension $2$
Published
• View Publication
• BIB
Let $R:= K[x_1,\ldots,x_{n}]$ be a polynomial ring over an infinite field $K$, and let $I \subset R$ be a homogeneous ideal with respect to a weight vector $ω= (ω_1,\ldots,ω_n) \in (\mathbb{Z}^+)^n$ such that $\dim(R/I) = d$. In this paper we study the minimal graded free resolution of $R/I$ as $A$-module, that we call the Noether resolution of $R/I$, whenever $A :=K[x_{n-d+1},\ldots,x_n]$ is a Noether normalization of $R/I$. When $d=2$ and $I$ is saturated, we give an algorithm for obtaining this resolution that involves the computation of a minimal Gröbner basis of $I$ with respect to the weighted degree reverse lexicographic order. In the particular case when $R/I$ is a $2$-dimensional semigroup ring, we also describe the multigraded version of this resolution in terms of the underlying semigroup. Whenever we have the Noether resolution of $R/I$ or its multigraded version, we obtain formulas for the corresponding Hilbert series of $R/I$, and when $I$ is homogeneous, we obtain a formula for the Castelnuovo-Mumford regularity of $R/I$. Moreover, in the more general setting that $R/I$ is a simplicial semigroup ring of any dimension, we provide its Macaulayfication.
As an application of the results for $2$-dimensional semigroup rings, we provide a new upper bound for the Castelnuovo-Mumford regularity of the coordinate ring of a projective monomial curve. Finally, we describe the multigraded Noether resolution and the Macaulayfication of either the coordinate ring of a projective monomial curve $\mathcal{C} \subseteq \mathbb{P}_K^{n}$ associated to an arithmetic sequence or the coordinate ring of any canonical projection $π_{r}(\mathcal{C})$ of $\mathcal{C}$ to $\mathbb{P}_K^{n-1}$.
Sandwiches Missing Two Ingredients of Order Four
Published
• View Publication
• BIB
For a set ${\cal F}$ of graphs, an instance of the ${\cal F}$-{\sc free Sandwich Problem} is a pair $(G_1,G_2)$ consisting of two graphs $G_1$ and $G_2$ with the same vertex set such that $G_1$ is a subgraph of $G_2$, and the task is to determine an ${\cal F}$-free graph $G$ containing $G_1$ and contained in $G_2$, or to decide that such a graph does not exist. Initially motivated by the graph sandwich problem for trivially perfect graphs, which are the $\{ P_4,C_4\}$-free graphs, we study the complexity of the ${\cal F}$-{\sc free Sandwich Problem} for sets ${\cal F}$ containing two non-isomorphic graphs of order four. We show that if ${\cal F}$ is one of the sets $\left\{ {\rm diamond},K_4\right\}$, $\left\{ {\rm diamond},C_4\right\}$, $\left\{ {\rm diamond},{\rm paw}\right\}$, $\left\{ K_4,\overline{K_4}\right\}$, $\left\{ P_4,C_4\right\}$, $\left\{ P_4,\overline{\rm claw}\right\}$, $\left\{ P_4,\overline{\rm paw}\right\}$, $\left\{ P_4,\overline{\rm diamond}\right\}$, $\left\{ {\rm paw},C_4\right\}$, $\left\{ {\rm paw},{\rm claw}\right\}$, $\left\{ {\rm paw},\overline{\rm claw}\right\}$, $\left\{ {\rm paw},\overline{\rm paw}\right\}$, $\left\{ C_4,\overline{C_4}\right\}$, $\left\{ {\rm claw},\overline{\rm claw}\right\}$, and $\left\{ {\rm claw},\overline{C_4}\right\}$, then the ${\cal F}$-{\sc free Sandwich Problem} can be solved in polynomial time, and, if ${\cal F}$ is one of the sets $\left\{ C_4,K_4\right\}$, $\left\{ {\rm paw},K_4\right\}$, $\left\{ {\rm paw},\overline{K_4}\right\}$, $\left\{ {\rm paw},\overline{C_4}\right\}$, $\left\{ {\rm diamond},\overline{C_4}\right\}$, $\left\{ {\rm paw},\overline{\rm diamond}\right\}$, and $\left\{ {\rm diamond},\overline{\rm diamond}\right\}$, then the decision version of the ${\cal F}$-{\sc free Sandwich Problem} is NP-complete.
A polynomial Roth theorem on the real line
Published in Trans. Amer. Math. Soc. 371 (2019), 6973-6993
• View Publication
• BIB
For a polynomial $P$ of degree greater than one, we show the existence of patterns of the form $(x,x+t,x+P(t))$ with a gap estimate on $t$ in positive density subsets of the reals. This is an extension of an earlier result of Bourgain. Our proof is a combination of Bourgain's approach and more recent methods that were originally developed for the study of the bilinear Hilbert transform along curves.
$t$-Unique Reductions for Mészáros's Subdivision Algebra
Published in SIGMA 14 (2018), 078, 34 pages
• View Publication
• BIB
Fix a commutative ring $\mathbf{k}$, two elements $β,α\in\mathbf{k}$ and a positive integer $n$. Let $\mathcal{X}$ be the polynomial ring over $\mathbf{k}$ in the $n(n-1)/2$ indeterminates $x_{i,j}$ for all $1\leq i<j\leq n$. Consider the ideal $\mathcal{J}$ of $\mathcal{X}$ generated by all polynomials of the form $x_{i,j}x_{j,k}-x_{i,k}(x_{i,j}+x_{j,k}+β)-α$ for $1\leq i<j<k\leq n$. The quotient algebra $\mathcal{X}/\mathcal{J}$ (at least for a certain choice of $\mathbf{k}$, $β$ and $α$) has been introduced by Karola Mészáros as a commutative analogue of Anatol Kirillov's quasi-classical Yang-Baxter algebra. A monomial in $\mathcal{X}$ is said to be pathless if it has no divisors of the form $x_{i,j}x_{j,k}$ with $1\leq i<j<k\leq n$. The residue classes of these pathless monomials span the $\mathbf{k}$-module $\mathcal{X}/\mathcal{J}$, but (in general) are $\mathbf{k}$-linearly dependent. Recently, the study of Grothendieck polynomials has led Laura Escobar and Karola Mészáros to defining a $\mathbf{k}$-algebra homomorphism $D$ from $\mathcal{X}$ into the polynomial ring $\mathbf{k}[t_{1},t_{2},\ldots,t_{n-1}]$ that sends each $x_{i,j}$ to $t_{i}$. We show the following fact (generalizing a conjecture of Mészáros): If $p\in\mathcal{X}$, and if $q\in\mathcal{X}$ is a $\mathbf{k}$-linear combination of pathless monomials satisfying $p\equiv q\operatorname{mod}\mathcal{J}$, then $D(q)$ does not depend on $q$ (as long as $β$, $α$ and $p$ are fixed). Thus, reducing a $p\in\mathcal{X}$ modulo $\mathcal{J}$ may lead to different results depending on the choices made in the reduction process, but all of them become identical once $D$ is applied. We also find an actual basis of the $\mathbf{k}$-module $\mathcal{X}/\mathcal{J}$, using what we call forkless monomials.
Some Schubert shenanigans
We give a conjectured evaluation of the determinant of a certain matrix $\tilde{D}(n,k)$. The entries of $\tilde{D}(n,k)$ are either 0 or specializations $\mathfrak{S}_w(1,\dots,1)$ of Schubert polynomials. The conjecture implies that the weak order of the symmetric group $S_n$ has the strong Sperner property. A number of peripheral results and problems are also discussed.
Testing isomorphism of central Cayley graphs over almost simple groups in polynomial time
Published in J Math Sci., Vol. 234, no. 2 (2018) 219-236
• View Publication
• BIB
A Cayley graph over a group G is said to be central if its connection set is a normal subset of G. It is proved that for any two central Cayley graphs over explicitly given almost simple groups of order n, the set of all isomorphisms from the first graph onto the second can be found in time poly(n).
Transfer-Matrix Methods meet Ehrhart Theory
Transfer-Matrix Methods originated in physics where they were used to count the number of allowed particle states on a structure whose width $n$ is a parameter. Typically, the number of states is exponential in $n.$ One more mathematical instance of this methodology is to enumerate the proper vertex colorings of a graph of growing size by a fixed number of colors.
In Ehrhart theory, lattice points in the dilation of a fixed polytope by a factor $k$ are enumerated. By inclusion-exclusion, relevant conditions on how the lattice points interact with hyperplanes are enforced. Typically, the number of points are (quasi-) polynomial in $k.$ The text-book example is that for a fixed graph, the number of proper vertex colorings with $k$ colors is polynomial in $k.$
This paper investigates the joint enumeration problem with both parameters $n$ and $k$ free. We start off with the classical graph colorings and then explore the common situations in combinatorics related to Ehrhart theory. We show how symmetries can be explored to reduce calculations and explain the interactions with Discrete Geometry.
A DG-extension of symmetric functions arising from higher representation theory
Published in Journal of Combinatorial Algebra, Volume 2, Issue 2, 2018, pp. 169-214
• View Publication
• BIB
We investigate analogs of symmetric functions arising from an extension of the nilHecke algebra defined by Naisse and Vaz. These extended symmetric functions form a subalgebra of the polynomial ring tensored with an exterior algebra. We define families of bases for this algebra and show that it admits a family of differentials making it a sub-DG-algebra of the extended nilHecke algebra. The ring of extended symmetric functions equipped with this differential is quasi-isomorphic to the cohomology of a Grassmannian. We also introduce new deformed differentials on the extended nilHecke algebra that when restricted makes extended symmetric functions quasi-isomorphic to $GL(N)$-equivariant cohomology of Grassmannians.