Showing 20 papers (Total: 82661 papers, 47773 authors in database)
Sparse multivariate polynomial interpolation in the basis of Schubert polynomials
Published in Computational Complexity, 2017 Dec, 26(4), pp. 881-909
• View Publication
• BIB
Schubert polynomials were discovered by A. Lascoux and M. Schützenberger in the study of cohomology rings of flag manifolds in 1980's. These polynomials generalize Schur polynomials, and form a linear basis of multivariate polynomials. In 2003, Lenart and Sottile introduced skew Schubert polynomials, which generalize skew Schur polynomials, and expand in the Schubert basis with the generalized Littlewood-Richardson coefficients.
In this paper we initiate the study of these two families of polynomials from the perspective of computational complexity theory. We first observe that skew Schubert polynomials, and therefore Schubert polynomials, are in $\CountP$ (when evaluating on non-negative integral inputs) and $\VNP$.
Our main result is a deterministic algorithm that computes the expansion of a polynomial $f$ of degree $d$ in $\Z[x_1, \dots, x_n]$ in the basis of Schubert polynomials, assuming an oracle computing Schubert polynomials. This algorithm runs in time polynomial in $n$, $d$, and the bit size of the expansion. This generalizes, and derandomizes, the sparse interpolation algorithm of symmetric polynomials in the Schur basis by Barvinok and Fomin (Advances in Applied Mathematics, 18(3):271--285). In fact, our interpolation algorithm is general enough to accommodate any linear basis satisfying certain natural properties.
Applications of the above results include a new algorithm that computes the generalized Littlewood-Richardson coefficients.
New realization of cyclotomic $q$-Schur algebras I
Published
• View Publication
• BIB
We introduce a Lie algebra $\mathfrak{g}_{\mathbf{Q}}(\mathbf{m})$ and an associative algebra $\mathcal{U}_{q,\mathbf{Q}}(\mathbf{m})$ associated with the Cartan data of $\mathfrak{gl}_m$ which is separated into $r$ parts with respect to $\mathbf{m}=(m_1, \dots, m_r)$ such that $m_1+ \dots + m_r =m$. We show that the Lie algebra $\mathfrak{g}_{\mathbf{Q}} (\mathbf{m})$ is a filtered deformation of the current Lie algebra of $\mathfrak{gl}_m$, and we can regard the algebra $\mathcal{U}_{q, \mathbf{Q}}(\mathbf{m})$ as a "$q$-analogue" of $U(\mathfrak{g}_{\mathbf{Q}}(\mathbf{m}))$. Then, we realize a cyclotomic $q$-Schur algebra as a quotient algebra of $\mathcal{U}_{q, \mathbf{Q}}(\mathbf{m})$ under a certain mild condition. We also study the representation theory for $\mathfrak{g}_{\mathbf{Q}}(\mathbf{m})$ and $\mathcal{U}_{q,\mathbf{Q}}(\mathbf{m})$, and we apply them to the representations of the cyclotomic $q$-Schur algebras.
Extended Formulations for Independence Polytopes of Regular Matroids
Published in Graphs and Combinatorics (2016) 32: 1931-1944
• View Publication
• BIB
The ancillary file Corrigendum.pdf contains an explanation why our proof does not work.
Torus fixed points in Schubert varieties and normalized median Genocchi numbers
Published in Séminaire Lotharingien de Combinatoire 75 (2016), Article B75f
• Search Publication
We give a new proof for the fact that the number of torus fixed points for the degenerated flag variety is equal to the normalized median Genocchi number, using the identification with a certain Schubert variety. We further study the torus fixed points for the symplectic degenerated flag variety and develop a combinatorial model, symplectic Dellac configurations, so parametrize them. The number of these symplectic fixed points is conjectured to be the median Euler number.
Edgewise Cohen-Macaulay connectivity of partially ordered sets
Published
• View Publication
• BIB
The proper parts of face lattices of convex polytopes are shown to satisfy a strong form of the Cohen--Macaulay property, namely that removing from their Hasse diagram all edges in any closed interval results in a Cohen--Macaulay poset of the same rank. A corresponding notion of edgewise Cohen--Macaulay connectivity for partially ordered sets is investigated. Examples and open questions are discussed.
Critical exponents of graphs
Published in Journal of Combinatorial Theory, Series A 139 (2016), 30-58
• View Publication
• BIB
The study of entrywise powers of matrices was originated by Loewner in the pursuit of the Bieberbach conjecture. Since the work of FitzGerald and Horn (1977), it is known that $A^{\circ α} := (a_{ij}^α)$ is positive semidefinite for every entrywise nonnegative $n \times n$ positive semidefinite matrix $A = (a_{ij})$ if and only if $α$ is a positive integer or $α\geq n-2$. This surprising result naturally extends the Schur product theorem, and demonstrates the existence of a sharp phase transition in preserving positivity. In this paper, we study when entrywise powers preserve positivity for matrices with structure of zeros encoded by graphs. To each graph is associated an invariant called its "critical exponent", beyond which every power preserves positivity. In our main result, we determine the critical exponents of all chordal/decomposable graphs, and relate them to the geometry of the underlying graphs. We then examine the critical exponent of important families of non-chordal graphs such as cycles and bipartite graphs. Surprisingly, large families of dense graphs have small critical exponents that do not depend on the number of vertices of the graphs.
Weighted Hurwitz numbers and hypergeometric $τ$-functions: an overview
Published in Proc. Symp. Pure Math. 93. 289-333 (2016)
• View Publication
• BIB
This is an overview of recent results on the use of 2D Toda $τ$-functions as generating functions for multiparametric families of weighted Hurwitz numbers. The Bose-Fermi equivalence composed with the characteristic map provides an isomorphism between the zero charge sector of the Fermionic Fock space and the direct sum of the centers of the group algebra of the symmetric groups $S_n$. Specializing the fermionic formula to the case of diagonal group elements gives $τ$-functions of hypergeometric type, for which the expansion over products of Schur functions is diagonal, with coefficients of {\em content product} type. The corresponding abelian group action on the centre of the $S_n$ group algebra is determined by forming symmetric functions multiplicatively from a weight generating function $G(z)$ and evaluating on the Jucys-Murphy elements of the group algebra. The resulting central elements act diagonally on the basis of orthogonal idempotents and the eigenvalues $r^{G(z)}_λ$ are the {\em content product} coefficients appearing in the double Schur function expansion. Both the geometrical meaning of weighted Hurwitz numbers, as weighted sums over $n$-sheeted branched coverings, and the combinatorial one, as weighted enumeration of paths in the Cayley graph of $S_n$ generated by transpositions follow from expansion of the Cauchy-Littlewood generating functions over dual pairs of bases of the algebra of symmetric functions. The coefficients in the resulting $τ$-function expansion over products of power sum symmetric functions are the weighted Hurwitz numbers. Replacement of the Cauchy-Littlewood generating function by that for Macdonald polynomials provides $(q,t)$-deformations that yield generating functions for quantum weighted Hurwitz numbers.
A note on relative hemisystems of Hermitian generalised quadrangles
Published
• View Publication
• BIB
In this paper we introduce a set of sufficient criteria for the construction of relative hemisystems of the Hermitian space $\mathrm{H}(3,q^2)$, unifying all known infinite families. We use these conditions to provide new proofs of the existence of the known infinite families of relative hemisystems. Reproving these results has allowed us to find new relative hemisystems closely related to an infinite family of Cossidente's, and develop techniques that are likely to be useful in finding relative hemisystems in future.
Toric networks, geometric $R$-matrices and generalized discrete Toda lattices
Published
• View Publication
• BIB
We use the combinatorics of toric networks and the double affine geometric $R$-matrix to define a three-parameter family of generalizations of the discrete Toda lattice. We construct the integrals of motion and a spectral map for this system. The family of commuting time evolutions arising from the action of the $R$-matrix is explicitly linearized on the Jacobian of the spectral curve. The solution to the initial value problem is constructed using Riemann theta functions.
Flows and bisections in cubic graphs
Published in Journal of Graph Theory 86(2) (2017), 149-158
• View Publication
• BIB
A $k$-weak bisection of a cubic graph $G$ is a partition of the vertex-set of $G$ into two parts $V_1$ and $V_2$ of equal size, such that each connected component of the subgraph of $G$ induced by $V_i$ ($i=1,2$) is a tree of at most $k-2$ vertices. This notion can be viewed as a relaxed version of nowhere-zero flows, as it directly follows from old results of Jaeger that every cubic graph $G$ with a circular nowhere-zero $r$-flow has a $\lfloor r \rfloor$-weak bisection. In this paper we study problems related to the existence of $k$-weak bisections. We believe that every cubic graph which has a perfect matching, other than the Petersen graph, admits a 4-weak bisection and we present a family of cubic graphs with no perfect matching which do not admit such a bisection. The main result of this article is that every cubic graph admits a 5-weak bisection. When restricted to bridgeless graphs, that result would be a consequence of the assertion of the 5-flow Conjecture and as such it can be considered a (very small) step toward proving that assertion. However, the harder part of our proof focuses on graphs which do contain bridges.
On binary codes related to mutually quasi-unbiased weighing matrices
Published in Australasian J. Combin. 66 (2016), 10-22
• Search Publication
Some mutually quasi-unbiased weighing matrices are constructed from binary codes satisfying certain conditions. Motivated by this, in this note, we study binary codes satisfying the conditions. The weight distributions of binary codes satisfying the conditions are determined. We also give a classification of binary codes of lengths $8,16$ and binary maximal codes of length $32$ satisfying the conditions. As an application, sets of $8$ mutually quasi-unbiased weighing matrices for parameters $(16,16,4,64)$ and $4$ mutually quasi-unbiased weighing matrices for parameters $(32,32,4,256)$ are constructed for the first time.
Spectral analogues of Erdős' and Moon-Moser's theorems on Hamilton cycles
Published in Linear Multilinear Algebra 64(2016), no.11, 1152--1169
• View Publication
• BIB
In 1962, Erdős gave a sufficient condition for Hamilton cycles in terms of the vertex number, edge number, and minimum degree of graphs which generalized Ore's theorem. One year later, Moon and Moser gave an analogous result for Hamilton cycles in balanced bipartite graphs. In this paper we present the spectral analogues of Erdős' theorem and Moon-Moser's theorem, respectively. Let $\mathcal{G}_n^k$ be the class of non-Hamiltonian graphs of order $n$ and minimum degree at least $k$. We determine the maximum (signless Laplacian) spectral radius of graphs in $\mathcal{G}_n^k$ (for large enough $n$), and the minimum (signless Laplacian) spectral radius of the complements of graphs in $\mathcal{G}_n^k$. All extremal graphs with the maximum (signless Laplacian) spectral radius and with the minimum (signless Laplacian) spectral radius of the complements are determined, respectively. We also solve similar problems for balanced bipartite graphs and the quasi-complements.
Classification of finite metric spaces and combinatorics of convex polytopes
Published in Arnold Math Journ,v.1:1 2015
• View Publication
• BIB
We describe the canonical correspondence between set of all finite metric spaces and set of special symmetric convex polytopes, and formulate the problem about classification of the metric spaces in terms of combinatorial structure of those polytopes.
Large Supports are required for Well-Supported Nash Equilibria
We prove that for any constant $k$ and any $ε<1$, there exist bimatrix win-lose games for which every $ε$-WSNE requires supports of cardinality greater than $k$. To do this, we provide a graph-theoretic characterization of win-lose games that possess $ε$-WSNE with constant cardinality supports. We then apply a result in additive number theory of Haight to construct win-lose games that do not satisfy the requirements of the characterization. These constructions disprove graph theoretic conjectures of Daskalakis, Mehta and Papadimitriou, and Myers.
Chern class formulas for classical-type degeneracy loci
Published in Compositio Math. 154 (2018) 1746-1774
• View Publication
• BIB
In previous work, we employed a geometric method of Kazarian to prove Pfaffian formulas for a certain class of degeneracy loci in types B, C, and D. Here we refine that approach to obtain formulas for more general loci, including those coming from all isotropic Grassmannians. In these cases, the formulas recover the remarkable theta- and eta-polynomials of Buch, Kresch, Tamvakis, and Wilson. The streamlined geometric approch yields simple and direct proofs, which proceed in parallel for all four classical types.
In an appendix, we develop some foundational algebra and prove several Pfaffian identities. Another appendix establishes a basic formula for classes in quadric bundles.
Resource convertibility and ordered commutative monoids
Published in Math. Struct. Comp. Sci. 27(6), 850--938 (2017)
• View Publication
• BIB
Resources and their use and consumption form a central part of our life. Many branches of science and engineering are concerned with the question of which given resource objects can be converted into which target resource objects. For example, information theory studies the conversion of a noisy communication channel instance into an exchange of information. Inspired by work in quantum information theory, we develop a general mathematical toolbox for this type of question. The convertibility of resources into other ones and the possibility of combining resources is accurately captured by the mathematics of ordered commutative monoids. As an intuitive example, we consider chemistry, where chemical reaction equations such as \[ \mathrm{2H_2 + O_2} \to \mathrm{2H_2O} \] are concerned both with a convertibility relation "$\to$" and a combination operation "$+$". We study ordered commutative monoids from an algebraic and functional-analytic perspective and derive a wealth of results which should have applications to concrete resource theories, such as a formula for rates of conversion. As a running example showing that ordered commutative monoids are also of purely mathematical interest, we exemplify our results with the ordered commutative monoid of graphs.
While closely related to both Girard's linear logic and to Deutsch's constructor theory, our framework also produces results very reminiscent of the utility theorem of von Neumann and Morgenstern in decision theory and of a theorem of Lieb and Yngvason on thermodynamics.
Concerning pure algebra, our observation is that some pieces of algebra can be developed in a context in which equality is not necessarily symmetric, i.e. in which the equality relation is replaced by an ordering relation. For example, notions like cancellativity or torsion-freeness are still sensible and very natural concepts in our ordered setting.
Orthogonal Representation of Graphs
Orthogonal Graph Representations are essential tools for testing existence of hidden variables in quantum theory. As required by the interpretation of Copenhaghe on the foundations of quantum mechanics, a physical observable is not determined before its observation. Conducting experiments quantum contextuality or the information capacity of a quantum system are closely related to the orthogonal representations.
The Ramsey number of loose cycles versus cliques
Recently Kostochka, Mubayi and Verstraëte initiated the study of the Ramsey numbers of uniform loose cycles versus cliques. In particular they proved that $R(C^r_3,K^r_n) = \tildeθ(n^{3/2})$ for all fixed $r\geq 3$. For the case of loose cycles of length five they proved that $R(C_5^r,K_n^r)=Ω((n/\log n)^{5/4})$ and conjectured that $R(C^r_5,K_n^r) = O(n^{5/4})$ for all fixed $r\geq 3$. Our main result is that $R(C_5^3,K_n^3) = O(n^{4/3})$ and more generally for any fixed $l\geq 3$ that $R(C_l^3,K_n^3) = O(n^{1 + 1/\lfloor(l+1)/2 \rfloor})$.
We also explain why for every fixed $l\geq 5$, $r\geq 4$, $R(C^r_l,K^r_n) = O(n^{1+1/\lfloor l/2 \rfloor})$ if $l$ is odd, which improves upon the result of Collier-Cartaino, Graber and Jiang who proved that for every fixed $r\geq 3$, $l\geq 4$, we have $R(C_l^r,K_n^r) = O(n^{1 + 1/(\lfloor l/2 \rfloor-1)})$.
Connected components of meanders: I. Bi-rainbow meanders
Published
• View Publication
• BIB
Closed meanders are planar configurations of one or several disjoint closed Jordan curves intersecting a given line or curve transversely. They arise as shooting curves of parabolic PDEs in one space dimension, as trajectories of Cartesian billiards, and as representations of elements of Temperley-Lieb algebras.
Given the configuration of intersections, for example as a permutation or an arc collection, the number of Jordan curves is unknown and needs to be determined.
We address this question in the special case of bi-rainbow meanders, which are given as non-branched families (rainbows) of nested arcs. Easily obtainable results for small bi-rainbow meanders containing up to four families suggest an expression of the number of curves by the greatest common divisor (gcd) of polynomials in the sizes of the rainbow families.
We prove however, that this is not the case. In fact, the number of connected components of bi-rainbow meanders with more than four families cannot be expressed as the gcd of polynomials in the sizes of the rainbows.
On the other hand, we provide a complexity analysis of nose-retraction algorithms. They determine the number of connected components of arbitrary bi-rainbow meanders in logarithmic time. In fact, the nose-retraction algorithms resemble the Euclidean algorithm, which is used to determine the gcd, in structure and complexity.
Looking for a closed formula of the number of connected components, the nose-retraction algorithm is as good as a gcd-formula and therefore as good as we can possibly expect.
On the number of k-dominating independent sets
Published
• View Publication
• BIB
We study the existence and the number of $k$-dominating independent sets in certain graph families. While the case $k=1$ namely the case of maximal independent sets - which is originated from Erdős and Moser - is widely investigated, much less is known in general. In this paper we settle the question for trees and prove that the maximum number of $k$-dominating independent sets in $n$-vertex graphs is between $c_k\cdot\sqrt[2k]{2}^n$ and $c_k'\cdot\sqrt[k+1]{2}^n$ if $k\geq 2$, moreover the maximum number of $2$-dominating independent sets in $n$-vertex graphs is between $c\cdot 1.22^n$ and $c'\cdot1.246^n$. Graph constructions containing a large number of $k$-dominating independent sets are coming from product graphs, complete bipartite graphs and with finite geometries. The product graph construction is associated with the number of certain MDS codes.