Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Chromatic classical symmetric functions
Published in J. Comb. 9:401--409 (2018)
• View Publication
• BIB
In this note we classify when a skew Schur function is a positive linear combination of power sum symmetric functions. We then use this to determine precisely when any scalar multiple of a skew Schur function is the chromatic symmetric function of some graph. From here we are able to prove that of the classical bases for symmetric functions only certain scalar multiples of the elementary symmetric functions can be realised as the chromatic symmetric function of some graph, namely a particular union of complete graphs.
Top degree part in $b$-conjecture for unicellular bipartite maps
Published in Electron. J. Combin. 24, no. 3, Paper 3.24 (2017)
• Search Publication
Goulden and Jackson (1996) introduced, using Jack symmetric functions, some multivariate generating series $ψ(x, y, z; 1, 1+β)$ with an additional parameter $β$ that may be interpreted as a continuous deformation of the rooted bipartite maps generating series. Indeed, it has the property that for $β\in \{0,1\}$, it specializes to the rooted, orientable (general, i.e. orientable or not, respectively) bipartite maps generating series. They made the following conjecture: coefficients of $ψ$ are polynomials in $β$ with positive integer coefficients that can be written as a multivariate generating series of rooted, general bipartite maps, where the exponent of $β$ is an integer-valued statistic that in some sense "measures the non-orientability" of the corresponding bipartite map.
We show that except for two special values of $β= 0,1$ for which the combinatorial interpretation of the coefficients of $ψ$ is known, there exists a third special value $β= -1$ for which the coefficients of $ψ$ indexed by two partitions $μ,ν$, and one partition with only one part are given by rooted, orientable bipartite maps with arbitrary face degrees and black/white vertex degrees given by $μ$/$ν$, respectively. We show that this evaluation corresponds, up to a sign, to a top-degree part of the coefficients of $ψ$. As a consequence, we introduce a collection of integer-valued statistics of maps $(η)$ such that the top-degree of the multivariate generating series of rooted bipartite maps with only one face (called unicellular) with respect to $η$ gives the top-degree of the appropriate coefficients of $ψ$. Finally, we show that the $b$-conjecture holds true for all rooted, unicellular bipartite maps of genus at most $2$.
Asymptotic Behavior of the Expectation Value of Permanent Products, a Sequel
Continuing the computations of the previous paper,[1], we calculate another approximation to the expectation value of the product of two permanents in the ensemble of 0-1 n x n matrices with like row and column sums equal r uniformly weighted. Here we consider the Bernoulli random matrix ensemble where each entry independently has a probability p=r/n of being one, otherwise zero. We denote the expectations of the approximation ensemble of [1] by E, and the expectations of the present approximation ensemble, the Bernoulli random matrix ensemble, by E*. One has for these
lim_{r to infinity}( lim_{n to infinity} (1/n) ln(E(perm_m(A)))
-lim_{n to infinity} (1/n) ln(E*(perm_m(A))) ) = 0 and
lim_{n to infinity} (1/n) ln(E(perm_m(A)perm_m'(A))) =
lim_{n to infinity} (1/n) ln(E(perm_m(A))) +
lim_{n to infinity} (1/n) ln(E(perm_m'(A)))
Here and in all such formulas the subscripts m,m' are assumed proportional to n. It seems likely to us that
lim_{r to infinity}( lim_{n to infinity} (1/n) ln(E*(perm_m(A)perm_m'(A)))
- lim_{n to infinity} (1/n) ln(E*(perm_m(A))) +
- lim_{n to infinity} (1/n) ln(E*(perm_m'(A))) ) = 0
We believe: "E gives us the `correct' expectations in these equations, and E* is only `correct' in the r to infinity limit."
Graph Matrices: Norm Bounds and Applications
In this paper, we derive nearly tight probabilistic norm bounds for a class of random matrices we call graph matrices. While the classical case of symmetric matrices with independent random entries (Wigner's matrices) is a special case, in general, the entries of our matrices will be dependent in a way that can be specified in terms of a fixed-size graph we refer to as the shape. For Wigner's matrices, this shape is $K_2$, the clique on 2 vertices. To prove our norm bounds, we use the trace power method.
In a recent series of papers by Potechin and coauthors, graph matrices played a crucial role in proving average-case lower bounds for the Sum-of-Squares (SoS) hierarchy of proof systems, one of the most powerful, but difficult to analyze, techniques in combinatorial optimization. In particular, graph matrices played a crucial role in proving that low-degree SoS cannot refute the existence of a large clique in a random graph and proving that low-degree SoS cannot prove a tight lower bound on the ground state energy of the Sherrington-Kirkpatrick Hamiltonian. In this paper, we give several additional applications of graph matrices. We show that for several technical lemmas in the literature, while the original analyses were quite involved, we can give direct proofs using graph matrices and our norm bounds.
Higher Nakayama algebras I: Construction
Published in Adv. Math. 351 (2019), 1139-1200
• View Publication
• BIB
We introduce higher dimensional analogues of the Nakayama algebras from the viewpoint of Iyama's higher Auslander--Reiten theory. More precisely, for each Nakayama algebra $A$ and each positive integer $d$, we construct a finite dimensional algebra $A^{(d)}$ having a distinguished $d$-cluster-tilting $A^{(d)}$-module whose endomorphism algebra is a higher dimensional analogue of the Auslander algebra of $A$. We also construct higher dimensional analogues of the mesh category of type $\mathbb{ZA}_\infty$ and the tubes.
Ramanujan Graphs in Polynomial Time
Published
• View Publication
• BIB
The recent work by Marcus, Spielman and Srivastava proves the existence of bipartite Ramanujan (multi)graphs of all degrees and all sizes. However, that paper did not provide a polynomial time algorithm to actually compute such graphs. Here, we provide a polynomial time algorithm to compute certain expected characteristic polynomials related to this construction. This leads to a deterministic polynomial time algorithm to compute bipartite Ramanujan (multi)graphs of all degrees and all sizes.
Five Essays on the Geometry of László Fejes Tóth
Published
• View Publication
• BIB
In this paper we consider the following topics related to results of László Fejes Tóth: (1) The Tammes problem and Fejes Tóth's bound on circle packings; (2) Fejes Tóth's problem on maximizing the minimum distance between antipodal pairs of points on the sphere; (3) Fejes Tóth's problem on the maximum kissing number of packings on the sphere; (4) The Fejes Tóth -- Sachs problem on the one--sided kissing numbers; (5) Fejes Tóth's papers on the isoperimetric problem for polyhedra.
Covering complete partite hypergraphs by monochromatic components
A well-known special case of a conjecture attributed to Ryser states that k-partite intersecting hypergraphs have transversals of at most k-1 vertices. An equivalent form was formulated by Gyárfás: if the edges of a complete graph K are colored with k colors then the vertex set of K can be covered by at most k-1 sets, each connected in some color. It turned out that the analogue of the conjecture for hypergraphs can be answered: Z. Király proved that in every k-coloring of the edges of the r-uniform complete hypergraph K^r (r >= 3), the vertex set of K^r can be covered by at most $\lceil k/r \rceil$ sets, each connected in some color.
Here we investigate the analogue problem for complete r-uniform r-partite hypergraphs. An edge coloring of a hypergraph is called spanning if every vertex is incident to edges of any color used in the coloring. We propose the following analogue of Ryser conjecture.
In every spanning (r+t)-coloring of the edges of a complete r-uniform r-partite hypergraph, the vertex set can be covered by at most t+1 sets, each connected in some color.
Our main result is that the conjecture is true for 1 <= t <= r-1. We also prove a slightly weaker result for t >= r, namely that t+2 sets, each connected in some color, are enough to cover the vertex set.
To build a bridge between complete r-uniform and complete r-uniform r-partite hypergraphs, we introduce a new notion. A hypergraph is complete r-uniform (r,l)-partite if it has all r-sets that intersect each partite class in at most l vertices.
Extending our results achieved for l=1, we prove that for any r >= 3, 2 <= l <= r, k >= 1+r-l, in every spanning k-coloring of the edges of a complete r-uniform (r,l)-partite hypergraph, the vertex set can be covered by at most 1+\lfloor \frac{k-r+\ell-1}{\ell}\rfloor sets, each connected in some color.
The topological transversal Tverberg theorem plus constraints
In this paper we use the strength of the constraint method in combination with a generalized Borsuk-Ulam type theorem and a cohomological intersection lemma to show how one can obtain many new topological transversal theorems of Tverberg type. In particular, we derive a topological generalized transversal Van Kampen-Flores theorem and a topological transversal weak colored Tverberg theorem.
Star operations on numerical semigroups: antichains and explicit results
Published
• View Publication
• BIB
We introduce an order on the set of non-divisorial ideals of a numerical semigroup $S$, and link antichains of this order with the star operations on $S$; subsequently, we use this order to find estimates on the number of star operations on $S$. We then use them to find an asymptotic estimate on the number of nonsymmetric numerical semigroups with $n$ or less star operations, and to determine these semigroups explicitly when $n=10$.
Counting triangulations of some classes of subdivided convex polygons
Published in Europ. J. Combin. 62 (2017), 92-114
• View Publication
• BIB
We compute the number of triangulations of a convex $k$-gon each of whose sides is subdivided by $r-1$ points. We find explicit formulas and generating functions, and we determine the asymptotic behaviour of these numbers as $k$ and/or $r$ tend to infinity. We connect these results with the question of finding the planar set of points in general position that has the minimum possible number of triangulations - a well-known open problem from computational geometry.
The vulnerability of the diameter of enhanced hypercubes
Published
• View Publication
• BIB
For an interconnection network $G$, the {\it $ω$-wide diameter} $d_ω(G)$ is the least $\ell$ such that any two vertices are joined by $ω$ internally-disjoint paths of length at most $\ell$, and the {\it $(ω-1)$-fault diameter} $D_ω(G)$ is the maximum diameter of a subgraph obtained by deleting fewer than $ω$ vertices of $G$.
The enhanced hypercube $Q_{n,k}$ is a variant of the well-known hypercube. Yang, Chang, Pai, and Chan gave an upper bound for $d_{n+1}(Q_{n,k})$ and $D_{n+1}(Q_{n,k})$ and posed the problem of finding the wide diameters and fault diameters of $Q_{n,k}$. By constructing internally disjoint paths between any two vertices in the enhanced hypercube, for $n\ge3$ and $2\le k\le n$ we prove $$ D_ω(Q_{n,k})=d_ω(Q_{n,k})=\begin{cases} d(Q_{n,k}) & \textrm{for $1 \leq ω< n-\lfloor\frac{k}{2}\rfloor$;}\\ d(Q_{n,k})+1 & \textrm{for $n-\lfloor\frac{k}{2}\rfloor \leq ω\leq n+1$.} \end{cases} $$ where $d(Q_{n,k})$ is the diameter of $Q_{n,k}$. These results mean that interconnection networks modelled by enhanced hypercubes are extremely robust.
Degree-associated edge-reconstruction numbers of double-brooms
An edge-deleted subgraph of a graph $G$ is an {\it edge-card}. A {\it decard} consists of an edge-card and the degree of the missing edge. The {\it degree-associated edge-reconstruction number} of a graph $G$, denoted $\dern(G)$, is the minimum number of decards that suffice to reconstruct $G$. The {\it adversary degree-associated edge-reconstruction number} $\adern(G)$ is the least $k$ such that every set of $k$ decards determines $G$. We determine these two parameters for all double-brooms. The answer is usually $1$ for $\dern(G)$, and $2$ for $\adern(G)$ when $G$ is double-broom. But there are exceptions in each case.
Flawlessness of $h$-vectors of broken circuit complexes
Published in Int. Math. Res. Not. IMRN 2018, no. 5, 1347-1367
• View Publication
• BIB
One of the major open questions in matroid theory asks whether the $h$-vector $(h_0,h_1,\ldots,h_s)$ of the broken circuit complex of a matroid $M$ satisfies the following inequalities: $$ h_0\leq h_1\leq \cdots\leq h_{\lfloor s/2\rfloor} \quad \text{and}\qua h_i\le h_{s-i}\ \text{ for }\ 0\leq i \leq \lfloor s/2\rfloor. $$ This paper affirmatively answers the question for matroids that are representable over a field of characteristic zero.
High Dimensional Random Walks and Colorful Expansion
Random walks on bounded degree expander graphs have numerous applications, both in theoretical and practical computational problems. A key property of these walks is that they converge rapidly to their stationary distribution.
In this work we {\em define high order random walks}: These are generalizations of random walks on graphs to high dimensional simplicial complexes, which are the high dimensional analogues of graphs. A simplicial complex of dimension $d$ has vertices, edges, triangles, pyramids, up to $d$-dimensional cells. For any $0 \leq i < d$, a high order random walk on dimension $i$ moves between neighboring $i$-faces (e.g., edges) of the complex, where two $i$-faces are considered neighbors if they share a common $(i+1)$-face (e.g., a triangle). The case of $i=0$ recovers the well studied random walk on graphs.
We provide a {\em local-to-global criterion} on a complex which implies {\em rapid convergence of all high order random walks} on it. Specifically, we prove that if the $1$-dimensional skeletons of all the links of a complex are spectral expanders, then for {\em all} $0 \le i < d$ the high order random walk on dimension $i$ converges rapidly to its stationary distribution.
We derive our result through a new notion of high dimensional combinatorial expansion of complexes which we term {\em colorful expansion}. This notion is a natural generalization of combinatorial expansion of graphs and is strongly related to the convergence rate of the high order random walks.
We further show an explicit family of {\em bounded degree} complexes which satisfy this criterion. Specifically, we show that Ramanujan complexes meet this criterion, and thus form an explicit family of bounded degree high dimensional simplicial complexes in which all of the high order random walks converge rapidly to their stationary distribution.
The Bernstein homomorphism via Aguiar-Bergeron-Sottile universality
If H is a commutative connected graded Hopf algebra over a commutative ring k, then a certain canonical k-algebra homomorphism H -> H (x) QSym is defined, where QSym denotes the Hopf algebra of quasisymmetric functions over k. This homomorphism generalizes the "internal comultiplication" on QSym, and extends what Hazewinkel (in Section 18.24 of his "Witt vectors") calls the Bernstein homomorphism.
We construct this homomorphism with the help of the universal property of QSym as a combinatorial Hopf algebra (a well-known result by Aguiar, Bergeron and Sottile) and extension of scalars (the commutativity of H allows us to consider, for example, H (x) QSym as an H-Hopf algebra, and this change of viewpoint significantly extends the reach of the universal property).
An asymptotic multipartite Kühn-Osthus theorem
Published in SIAM J. Discrete Math 31(3) 1498--1513 (2017)
• View Publication
• BIB
In this paper we prove an asymptotic multipartite version of a well-known theorem of Kühn and Osthus by establishing, for any graph $H$ with chromatic number $r$, the asymptotic multipartite minimum degree threshold which ensures that a large $r$-partite graph $G$ admits a perfect $H$-tiling. We also give the threshold for an $H$-tiling covering all but a linear number of vertices of $G$, in a multipartite analogue of results of Komlós and of Shokoufandeh and Zhao.
Face monoid actions and tropical hyperplane arrangements
Published
• View Publication
• BIB
We study the combinatorics of tropical hyperplane arrangements, and their relationship to (classical) hyperplane face monoids. We show that the refinement operation on the faces of a tropical hyperplane arrangement, introduced by Ardila and Develin in their definition of a tropical oriented matroid, induces an action of the hyperplane face monoid of the classical braid arrangement on the arrangement, and hence on a number of interesting related structures. Along the way, we introduce a new characterization of the types (in the sense of Develin and Sturmfels) of points with respect to a tropical hyperplane arrangement, in terms of partial bijections which attain permanents of submatrices of a matrix which naturally encodes the arrangement.
Generalized Whitney formulas for broken circuits in ambigraphs and matroids
We explore several generalizations of Whitney's theorem -- a classical formula for the chromatic polynomial of a graph. Following Stanley, we replace the chromatic polynomial by the chromatic symmetric function. Following Dohmen and Trinks, we exclude not all but only an (arbitrarily selected) set of broken circuits, or even weigh these broken circuits with weight monomials instead of excluding them. Following Crew and Spirkl, we put weights on the vertices of the graph. Following Gebhard and Sagan, we lift the chromatic symmetric function to noncommuting variables. In addition, we replace the graph by an "ambigraph", an apparently new concept that includes both hypergraphs and multigraphs as particular cases.
We show that Whitney's formula endures all these generalizations, and a fairly simple sign-reversing involution can be used to prove it in each setting. Furthermore, if we restrict ourselves to the chromatic polynomial, then the graph can be replaced by a matroid.
We discuss an application to transitive digraphs (i.e., posets), and reprove an alternating-sum identity by Dahlberg and van Willigenburg.
A broad class of shellable lattices
Published in Adv. Math. 313 (2017), 537-563
• View Publication
• BIB
We introduce a new class of lattices, the modernistic lattices, and their duals, the comodernistic lattices. We show that every modernistic or comodernistic lattice has shellable order complex. We go on to exhibit a large number of examples of (co)modernistic lattices. We show comodernism for two main families of lattices that were not previously known to be shellable: the order congruence lattices of finite posets, and a weighted generalization of the k-equal partition lattices.
We also exhibit many examples of (co)modernistic lattices that were already known to be shellable. To start with, the definition of modernistic is a common weakening of the definitions of semimodular and supersolvable. We thus obtain a unified proof that lattice in these classes are shellable.
Subgroup lattices of solvable groups form another family of comodernistic lattices that were already proved to be shellable. We show not only that subgroup lattices of solvable groups are comodernistic, but that solvability of a group is equivalent to the comodernistic property on its subgroup lattice. Indeed, the definition of comodernistic exactly requires on every interval a lattice-theoretic analogue of the composition series in a solvable group. Thus, the relation between comodernistic lattices and solvable groups resembles, in several respects, that between supersolvable lattices and supersolvable groups.