Showing 20 papers (Total: 84285 papers, 48548 authors in database)
Morsifications and mutations
Published in J. London Math. Soc., 105(2022), 2478--2554
• View Publication
• BIB
We describe and investigate a connection between the topology of isolated singularities of plane curves and the mutation equivalence, in the sense of cluster algebra theory, of the quivers associated with their morsifications.
Cycle double covers and non-separating cycles
Published
• View Publication
• BIB
Which $2$-regular subgraph $R$ of a cubic graph $G$ can be extended to a cycle double cover of $G$? We provide a condition which ensures that every $R$ satisfying this condition is part of a cycle double cover of $G$. As one consequence, we prove that every $2$-connected cubic graph which has a decomposition into a spanning tree and a $2$-regular subgraph $C$ consisting of $k$ circuits with $k\leq 3$, has a cycle double cover containing $C$.
Kohnert polynomials
Published
• View Publication
• BIB
We associate a polynomial to any diagram of unit cells in the first quadrant of the plane using Kohnert's algorithm for moving cells down. In this way, for every weak composition one can choose a cell diagram with corresponding row-counts, with each choice giving rise to a combinatorially-defined basis of polynomials. These Kohnert bases provide a simultaneous generalization of Schubert polynomials and Demazure characters for the general linear group. Using the monomial and fundamental slide bases defined earlier by the authors, we show that Kohnert polynomials stabilize to quasisymmetric functions that are nonnegative on the fundamental basis for quasisymmetric functions. For initial applications, we define and study two new Kohnert bases. The elements of one basis are conjecturally Schubert-positive and stabilize to the skew-Schur functions; the elements of the other basis stabilize to a new basis of quasisymmetric functions that contains the Schur functions.
Spanning Lattice Polytopes and the Uniform Position Principle
A lattice polytope $P$ is called IDP if any lattice point in its $k$th dilate is a sum of $k$ lattice points in $P$. In 1991 Stanley proved a strong inequality in Ehrhart theory for IDP lattice polytopes. We show that his conclusion holds under much milder assumptions, namely if the lattice polytope $P$ is spanning, i.e., any lattice point of the ambient lattice is an integer affine combination of lattice points in $P$. As an application, we get a generalization of Hibi's Lower Bound Theorem. Our proof relies on generalizing Bertini's theorem to the semistandard situation and Harris' Uniform Position Principle to certain curves in weighted projective space.
An infinite quantum Ramsey theorem
Published
• View Publication
• BIB
We prove an infinite Ramsey theorem for noncommutative graphs realized as unital self-adjoint subspaces of linear operators acting on an infinite dimensional Hilbert space. Specifically, we prove that if V is such a subspace, then provided there is no obvious obstruction, there is an infinite rank projection P with the property that the compression PVP is either maximal or minimal in a certain natural sense.
One can hear the Euler characteristic of a simplicial complex
We prove that that the number p of positive eigenvalues of the connection Laplacian L of a finite abstract simplicial complex G matches the number b of even dimensional simplices in G and that the number n of negative eigenvalues matches the number f of odd-dimensional simplices in G. The Euler characteristic X(G) of G therefore can be spectrally described as X(G)=p-n. This is in contrast to the more classical Hodge Laplacian H which acts on the same Hilbert space, where X(G) is not yet known to be accessible from the spectrum of H. Given an ordering of G coming from a build-up as a CW complex, every simplex x in G is now associated to a unique eigenvector of L and the correspondence is computable. The Euler characteristic is now not only the potential energy summing over all g(x,y) with g=L^{-1} but also agrees with a logarithmic energy tr(log(i L)) 2/(i pi) of the spectrum of L. We also give here examples of L-isospectral but non-isomorphic abstract finite simplicial complexes. One example shows that we can not hear the cohomology of the complex.
Symmetric Grothendieck polynomials, skew Cauchy identities, and dual filtered Young graphs
Published
• View Publication
• BIB
Symmetric Grothendieck polynomials are analogues of Schur polynomials in the K-theory of Grassmannians. We build dual families of symmetric Grothendieck polynomials using Schur operators. With this approach we prove skew Cauchy identity and then derive various applications: skew Pieri rules, dual filtrations of Young's lattice, generating series and enumerative identities. We also give a new explanation of the finite expansion property for products of Grothendieck polynomials.
Inverse Perron values and connectivity of a uniform hypergraph
Published
• View Publication
• BIB
In this paper, we show that a uniform hypergraph $\mathcal{G}$ is connected if and only if one of its inverse Perron values is larger than $0$. We give some bounds on the bipartition width, isoperimetric number and eccentricities of $\mathcal{G}$ in terms of inverse Perron values. By using the inverse Perron values, we give an estimation of the edge connectivity of a $2$-design, and determine the explicit edge connectivity of a symmetric design. Moreover, relations between the inverse Perron values and resistance distance of a connected graph are presented.
A combinatorial model for tame frieze patterns
Let $R$ be an arbitrary subset of a commutative ring. We introduce a combinatorial model for the set of tame frieze patterns with entries in $R$ based on a notion of irreducibility of frieze patterns. When $R$ is a ring, then a frieze pattern is reducible if and only if it contains an entry (not on the border) which is $1$ or $-1$. To my knowledge, this model generalizes simultaneously all previously presented models for tame frieze patterns bounded by $0$'s and $1$'s.
On the Threshold Problem for Latin Boxes
Published
• View Publication
• BIB
Let $m \leq n \leq k$. An $m \times n \times k$ 0-1 array is a Latin box if it contains exactly $mn$ ones, and has at most one $1$ in each line. As a special case, Latin boxes in which $m = n = k$ are equivalent to Latin squares.
Let $\mathcal{M}(m,n,k;p)$ be the distribution on $m \times n \times k$ 0-1 arrays where each entry is $1$ with probability $p$, independently of the other entries. The threshold question for Latin squares asks when $\mathcal{M}(n,n,n;p)$ contains a Latin square with high probability. More generally, when does $\mathcal{M}(m,n,k;p)$ support a Latin box with high probability?
Let $\varepsilon>0$. We give an asymptotically tight answer to this question in the special cases where $n=k$ and $m \leq \left(1-\varepsilon \right) n$, and where $n=m$ and $k \geq \left(1+\varepsilon \right) n$. In both cases, the threshold probability is $Θ\left( \log \left( n \right) / n \right)$. This implies threshold results for Latin rectangles and proper edge-colorings of $K_{n,n}$.
Eigenvalue monotonicity of $q$-Laplacians of trees along a poset
Published in Linear Algebra and its Applications Volume 571, 15 June 2019, Pages 110-131
• View Publication
• BIB
Let $T$ be a tree on $n$ vertices with $q$-Laplacian $L_{T}^{q}$. Let $GTS_n$ be the generalized tree shift poset on the set of unlabelled trees with $n$ vertices. We prove that for all $q \in R$, going up on $GTS_n$ has the following effect: the spectral radius and the second smallest eigenvalue of $L_{T}^{q}$ increase while the smallest eigenvalue of $L_{T}^{q}$ decreases. These generalize known results for eigenvalues of the Laplacian. As a corollary, we obtain consequences about the eigenvalues of $q,t$-Laplacians and exponential distance matrices of trees.
The local limit of the uniform spanning tree on dense graphs
Published in Journal of Statistical Physics 173 (2018), no. 3-4, 502-545
• View Publication
• BIB
Let $G$ be a connected graph in which almost all vertices have linear degrees and let $T$ be a uniform spanning tree of $G$. For any fixed rooted tree $F$ of height $r$ we compute the asymptotic density of vertices $v$ for which the $r$-ball around $v$ in $T$ is isomorphic to $F$. We deduce from this that if $\{G_n\}$ is a sequence of such graphs converging to a graphon $W$, then the uniform spanning tree of $G_n$ locally converges to a multi-type branching process defined in terms of $W$.
As an application, we prove that in a graph with linear minimum degree, with high probability, the density of leaves in a uniform spanning tree is at least $1/e-o(1)$, the density of vertices of degree $2$ is at most $1/e+o(1)$ and the density of vertices of degree $k\geq 3$ is at most ${(k-2)^{k-2} \over (k-1)! e^{k-2}} + o(1)$. These bounds are sharp.
Invariants of partitions and representative elements
The symbol invariant is used to describe the Springer correspondence for the classical groups by Lusztig. And the fingerprint invariant can be used to describe the Kazhdan-Lusztig map. They are invariants of rigid semisimple operators described by pairs of partitions $(λ^{'}, λ^{"})$. We construct a nice representative element of the rigid semisimple operators with the same symbol invariant. The fingerprint of the representative element can be obtained immediately. We also discuss the representative element of rigid semisimple operator with the same fingerprint invariant. Our construction can be regarded as the maps between these two invariants.
Maximal determinants of combinatorial matrices
Published
• View Publication
• BIB
We prove that $\det A\leq 6^\frac{n}{6}$ whenever $A\in\{0,1\}^{n\times n}$ contains at most $2n$ ones. We also prove an upper bound on the determinant of matrices with the $k$-consecutive ones property, a generalisation of the consecutive ones property, where each row is allowed to have up to $k$ blocks of ones. Finally, we prove an upper bound on the determinant of a path-edge incidence matrix in a tree and use that to bound the leaf rank of a graph in terms of its order.
On positivity of Ehrhart polynomials
Published
• View Publication
• BIB
Ehrhart discovered that the function that counts the number of lattice points in dilations of an integral polytope is a polynomial. We call the coefficients of this polynomial Ehrhart coefficients, and say a polytope is Ehrhart positive if all Ehrhart coefficients are positive (which is not true for all integral polytopes). The main purpose of this article is to survey interesting families of polytopes that are known to be Ehrhart positive and discuss the reasons from which their Ehrhart positivity follows. We also include examples of polytopes that have negative Ehrhart coefficients and polytopes that are conjectured to be Ehrhart positive, as well as pose a few relevant questions.
Quiver mutations and Boolean reflection monoids
Published in Journal of Algebra, Volume 544, 15 February 2020, Pages 417-453
• View Publication
• BIB
In 2010, Everitt and Fountain introduced the concept of reflection monoids. The Boolean reflection monoids form a family of reflection monoids (symmetric inverse semigroups are Boolean reflection monoids of type $A$). In this paper, we give a family of presentations of Boolean reflection monoids and show how these presentations are compatible with quiver mutations of orientations of Dynkin diagrams with frozen vertices. Our results recover the presentations of Boolean reflection monoids given by Everitt and Fountain and the presentations of symmetric inverse semigroups given by Popova respectively. Surprisingly, inner by diagram automorphisms of irreducible Weyl groups and Boolean reflection monoids can be constructed by sequences of mutations preserving the same underlying diagrams. Besides, we show that semigroup algebras of Boolean reflection monoids are cellular algebras.
Necessary conditions for Schur-maximality
Published in Electron. J. Combin. 25 50pp (2018)
• View Publication
• BIB
McNamara and Pylyavskyy conjectured precisely which connected skew shapes are maximal in the Schur-positivity order, which says that $B\leq _s A$ if $s_A-s_B$ is Schur-positive. Towards this, McNamara and van Willigenburg proved that it suffices to study equitable ribbons, namely ribbons whose row lengths are all of length $a$ or $(a+1)$ for $a\geq 2$. In this paper we confirm the conjecture of McNamara and Pylyavskyy in all cases where the comparable equitable ribbons form a chain. We also confirm a conjecture of McNamara and van Willigenburg regarding which equitable ribbons in general are minimal.
Additionally, we establish two sufficient conditions for the difference of two ribbons to be Schur-positive, which manifest as diagrammatic operations on ribbons. We also deduce two necessary conditions for the difference of two equitable ribbons to be Schur-positive that rely on rows of length $a$ being at the end, or on rows of length $(a+1)$ being evenly distributed.
A generalization of a 1998 unimodality conjecture of Reiner and Stanton
Published in Journal of Combinatorics, Vol. 11, no. 1 (2020), 111--126
• View Publication
• BIB
An interesting, and still wide open, conjecture of Reiner and Stanton predicts that certain "strange" symmetric differences of $q$-binomial coefficients are always nonnegative and unimodal. We extend their conjecture to a broader, and perhaps more natural, framework, by conjecturing that, for each $k\ge 5$, the polynomials $$f(k,m,b)(q)=\binom{m}{k}_q-q^{\frac{k(m-b)}{2}+b-2k+2}\cdot\binom{b}{k-2}_q$$ are nonnegative and unimodal for all $m\gg_k 0$ and $b\le \frac{km-4k+4}{k-2}$ such that $kb\equiv km$ (mod 2), with the only exception of $b=\frac{km-4k+2}{k-2}$ when this is an integer.
Using the KOH theorem, we combinatorially show the case $k=5$. In fact, we completely characterize the nonnegativity and unimodality of $f(k,m,b)$ for $k\le 5$. (This also provides an isolated counterexample to Reiner-Stanton's conjecture when $k=3$.) Further, we prove that, for each $k$ and $m$, it suffices to show our conjecture for the largest $2k-6$ values of $b$.
New Covering Array Numbers
Published
• View Publication
• BIB
A covering array CA(N; t; k; v) is an N x k array on v symbols such that every N x t subarray contains as a row each t-tuple over the v symbols at least once. The minimum N for which a CA(N; t; k; v) exists is called the covering array number of t, k, and v, and it is denoted by CAN(t; k; v). In this work we prove new CANs using an optimized procedure.
Circuit Preserving Edge Maps
Published in Journal of Combinatorial Theory (B) 22, 91-96 (1977)
• View Publication
• BIB
It is proved that any one-to-one edge map f from a 3-connected graph G onto a graph H, G and H possibly infinite, satisfying f(C) is a circuit in H whenever C is a circuit in G is induced by a vertex isomorphism. This generalizes a result of Whitney which hypothesizes f(C) is a circuit in H if and only if C is a circuit in G.