Showing 20 papers (Total: 82851 papers, 47869 authors in database)
The Theta Number of Simplicial Complexes
Published
• View Publication
• BIB
We introduce a generalization of the celebrated Lovász theta number of a graph to simplicial complexes of arbitrary dimension. Our generalization takes advantage of real simplicial cohomology theory, in particular combinatorial Laplacians, and provides a semidefinite programming upper bound of the independence number of a simplicial complex. We consider properties of the graph theta number such as the relationship to Hoffman's ratio bound and to the chromatic number and study how they extend to higher dimensions. Like in the case of graphs, the higher dimensional theta number can be extended to a hierarchy of semidefinite programming upper bounds reaching the independence number. We analyze the value of the theta number and of the hierarchy for dense random simplicial complexes.
On the wildness of cambrian lattices
Published
• View Publication
• BIB
In this note, we investigate the representation type of the cambrian lattices and some other related lattices. The result is expressed as a very simple trichotomy. When the rank of the underlined Coxeter group is at most 2, the lattices are of finite representation type. When the Coxeter group is a reducible group of type A 3 1 , the lattices are of tame representation type. In all the other cases they are of wild representation type.
Disjointness graphs of segments
Published
• View Publication
• BIB
The {\em disjointness graph} $G=G({\cal S})$ of a set of segments ${\cal S}$ in $R^d$, $d\ge 2,$ is a graph whose vertex set is ${\cal S}$ and two vertices are connected by an edge if and only if the corresponding segments are disjoint. We prove that the chromatic number of $G$ satisfies $χ(G)\le(ω(G))^4+(ω(G))^3$, where $ω(G)$ denotes the clique number of $G$. It follows, that $\cal S$ has $Ω(n^{1/5})$ pairwise intersecting or pairwise disjoint elements. Stronger bounds are established for lines in space, instead of segments.
We show that computing $ω(G)$ and $χ(G)$ for disjointness graphs of lines in space are NP-hard tasks. However, we can design efficient algorithms to compute proper colorings of $G$ in which the number of colors satisfies the above upper bounds. One cannot expect similar results for sets of continuous arcs, instead of segments, even in the plane. We construct families of arcs whose disjointness graphs are triangle-free ($ω(G)=2$), but whose chromatic numbers are arbitrarily large.
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.
The Matching Problem in General Graphs is in Quasi-NC
Published in Proc. of 58th Annual IEEE Symposium on Foundations of Computer Science (FOCS), 2017, pages 696-707
• View Publication
• BIB
We show that the perfect matching problem in general graphs is in Quasi-NC. That is, we give a deterministic parallel algorithm which runs in $O(\log^3 n)$ time on $n^{O(\log^2 n)}$ processors. The result is obtained by a derandomization of the Isolation Lemma for perfect matchings, which was introduced in the classic paper by Mulmuley, Vazirani and Vazirani [1987] to obtain a Randomized NC algorithm.
Our proof extends the framework of Fenner, Gurjar and Thierauf [2016], who proved the analogous result in the special case of bipartite graphs. Compared to that setting, several new ingredients are needed due to the significantly more complex structure of perfect matchings in general graphs. In particular, our proof heavily relies on the laminar structure of the faces of the perfect matching polytope.
Swap connectivity for two graph spaces between simple and pseudo graphs and disconnectivity for triangle constraints
With sufficient time, double edge-swap Markov chain Monte Carlo (MCMC) methods are able to sample uniformly at random from many different and important graph spaces. For instance, for a fixed degree sequence, MCMC methods can sample any graph from: simple graphs; multigraphs (which may have multiedges); and pseudographs (which may have multiedges and/or multiple self-loops). In this note we extend these MCMC methods to `multiloop-graphs', which allow multiple self-loops but not multiedges and `loopy-multigraphs' which allow multiedges and single self-loops. We demonstrate that there are degree sequences on which the standard MCMC methods cannot uniformly sample multiloop-graphs, and exactly characterize which degree sequences can and cannot be so sampled. In contrast, we prove that such MCMC methods can sample all loopy-multigraphs. Taken together with recent work on graphs which allow single self-loops but no multiedges, this work completes the study of the connectivity (irreducibility) of double edge-swap Markov chains for all combinations of allowing self-loops, multiple self-loops and/or multiedges. Looking toward other possible directions to extend edge swap sampling techniques, we produce examples of degree and triangle constraints which have disconnected spaces for all edges swaps on less than or equal to 8 edges.
Conflict-Free Coloring of Intersection Graphs of Geometric Objects
Published
• View Publication
• BIB
In FOCS'2002, Even et al. introduced and studied the notion of conflict-free colorings of geometrically defined hypergraphs. They motivated it by frequency assignment problems in cellular networks. This notion has been extensively studied since then.
A conflict-free coloring of a graph is a coloring of its vertices such that the neighborhood (pointed or closed) of each vertex contains a vertex whose color differs from the colors of all other vertices in that neighborhood. In this paper we study conflict-colorings of intersection graphs of geometric objects. We show that any intersection graph of n pseudo-discs in the plane admits a conflict-free coloring with O(\log n) colors, with respect to both closed and pointed neighborhoods. We also show that the latter bound is asymptotically sharp. Using our methods, we also obtain a strengthening of the two main results of Even et al. which we believe is of independent interest. In particular, in view of the original motivation to study such colorings, this strengthening suggests further applications to frequency assignment in wireless networks.
Finally, we present bounds on the number of colors needed for conflict-free colorings of other classes of intersection graphs, including intersection graphs of axis-parallel rectangles and of ρ-fat objects in the plane.
The Type Defect of a Simplicial Complex
Published
• View Publication
• BIB
Fix a field $k$. When $Δ$ is a simplicial complex on $n$ vertices with Stanley-Reisner ideal $I_Δ$, we define and study an invariant called the $\textit{type defect}$ of $Δ$. Except when $Δ$ is of a single simplex, the type defect of $Δ$, $\textrm{td}(Δ)$, is the difference $ \dim_k \textrm{Tor}_c^S(S/ I_Δ,k) - c$, where $c$ is the codimension of $Δ$ and $S = k[x_1, \ldots x_n]$. We show that this invariant admits surprisingly nice properties. For example, it is well-behaved when one glues two complexes together along a face. Furthermore, $Δ$ is Cohen-Macaulay if $\textrm{td}(Δ) \leq 0$. On the other hand, if $Δ$ is a simple graph (viewed as a one-dimensional complex), then $\textrm{td}(Δ') \geq 0$ for every induced subgraph $Δ'$ of $Δ$ if and only if $Δ$ is chordal. Requiring connected induced subgraphs to have type defect zero allows us to define a class of graphs that we call $\textit{treeish}$, and which we generalize to simplicial complexes. We then extend some of our chordality results to higher dimensions, proving sharp lower bounds for most Betti numbers of ideals with linear resolution, and classifying when equalities occur. As an application, we prove sharp lower bounds for Betti numbers of graded ideals (not necessarily monomial) with linear resolution.
Proof of a conjecture of Kløve on permutation codes under the Chebychev distance
Published in Des. Codes Cryptogr. 83 (2017), 685-690
• View Publication
• BIB
Let $d$ be a positive integer and $x$ a real number. Let $A_{d, x}$ be a $d\times 2d$ matrix with its entries $$ a_{i,j}=\left\{ \begin{array}{ll} x\ \ & \mbox{for} \ 1\leqslant j\leqslant d+1-i, 1\ \ & \mbox{for} \ d+2-i\leqslant j\leqslant d+i, 0\ \ & \mbox{for} \ d+1+i\leqslant j\leqslant 2d. \end{array} \right. $$ Further, let $R_d$ be a set of sequences of integers as follows: $$R_d=\{(ρ_1, ρ_2,\ldots, ρ_d)|1\leqslant ρ_i\leqslant d+i, 1\leqslant i \leqslant d,\ \mbox{and}\ ρ_r\neq ρ_s\ \mbox{for}\ r\neq s\}.$$ and define $$Ω_d(x)=\sum_{ρ\in R_d}a_{1,ρ_1}a_{2, ρ_2}\ldots a_{d,ρ_d}.$$ In order to give a better bound on the size of spheres of permutation codes under the Chebychev distance, Kløve introduced the above function and conjectured that $$Ω_d(x)=\sum_{m=0}^d{d\choose m}(m+1)^d(x-1)^{d-m}.$$ In this paper, we settle down this conjecture positively.
Seymour's second neighbourhood conjecture for quasi-transitive oriented graphs
Seymour's second neighbourhood conjecture asserts that every oriented graph has a vertex whose second out-neighbourhood is at least as large as its out-neighbourhood. In this paper, we prove that the conjecture holds for quasi-transitive oriented graphs, which is a superclass of tournaments and transitive acyclic digraphs. A digraph $D$ is called quasi-transitive is for every pair $xy,yz$ of arcs between distinct vertices $x,y,z$, $xz$ or $zx$ ("or" is inclusive here) is in $D$.
A Simple Explanation for the Reconstruction of Graphs
The graph reconstruction conjecture states that all graphs on at least three vertices are determined up to isomorphism by their deck. In this paper, a general framework for this problem is proposed to simply explain the reconstruction of graphs. Here, we do not prove or reject the reconstruction conjecture. But, we explain why a graph is reconstructible. For instance, the reconstruction of small graphs which have been shown by computer, is explained in this framework. We show that any non-regular graph has a proper induced subgraph which is unique due to either its structure or the way of its connection to the rest of the graph. Here, the former subgraph is defined an anchor and the latter a connectional anchor, if it is distinguishable in the deck. We show that if a graph has an orbit with at least three vertices whose removal leaves an anchor, or it has two vertices whose removal leaves an anchor with the mentioned condition in the paper, then it is reconstructible. This simple statement can easily explain the reconstruction of a graph from its deck.
The serpent nest conjecture for accordion complexes
Published
• View Publication
• BIB
Consider 2n points on the unit circle and a reference dissection D of the convex hull of the odd points. The accordion complex of D is the simplicial complex of subsets of pairwise noncrossing diagonals with even endpoints that cross a connected set of diagonals of the dissection D. In particular, this complex is an associahedron when D is a triangulation, and a Stokes complex when D is a quadrangulation. We exhibit a bijection between the facets of the accordion complex of D and some dual objects called the serpent nests of D, settling in particular a conjecture stated by F.~Chapoton (2016) in the case of Stokes complexes.
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.
Khovanov-Rozansky homology and higher Catalan sequences
We give a simple recursion which computes the triply graded Khovanov-Rozansky homology of several infinite families of knots and links, including the $(n,nm\pm 1)$ and $(n,nm)$ torus links for $n,m\geq 1$. We interpret our results in terms of Catalan combinatorics, proving a conjecture of Gorsky's. Our computations agree with predictions coming from Hilbert schemes and rational DAHA, which also proves the Gorsky-Oblomkov-Rasmussen-Shende conjectures in these cases. Additionally, our results suggest a topological interpretation of the symmetric functions which appear in the context of the $m$-shuffle conjecture of Haglund-Haiman-Loehr-Remmel-Ulyanov.
Positive Semidefiniteness of Matrices arising from Ramsey Theory
We resolve a conjecture of Cooper-Fenner-Purewal that a certain sequence of combinatorial matrices which can be used to bound small product-Ramsey numbers is positive semidefinite. Because the connection to Ramsey Theory involves solving quadratic integer programs associated to these matrices, this implies that there are relatively efficient algorithms for bounding said numbers. The proof is direct, and yields important structural information: we enumerate the eigenvalues and eigenspaces explicitly by employing hypergeometric identities.
No two starlikes have equal index
Published
• View Publication
• BIB
The index of a graph is the largest eigenvalue of its adjacency matrix. A starlike is a tree having a unique vertex of degree $r>2$. We show how to order the starlike trees with $n>3$ by their indices. In particular, the indices of starlike trees are all distinct.
Optimal transport and integer partitions
Published in Discrete Applied Mathematics 190/191 (2015), 75 - 85
• View Publication
• BIB
We link the theory of optimal transportation to the theory of integer partitions. Let $\mathscr P(n)$ denote the set of integer partitions of $n \in \mathbb N$ and write partitions $π\in \mathscr P(n)$ as $(n_1, \dots, n_{k(π)})$. Using terminology from optimal transport, we characterize certain classes of partitions like symmetric partitions and those in Euler's identity
$|\{ π\in \mathscr P(n) |$ all $ n_i $ distinct $ \} | = | \{ π\in \mathscr P(n) | $ all $ n_i $ odd $ \}|$.
Then we sketch how optimal transport might help to understand higher dimensional partitions.
$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.
Polytopes close to being simple
Published
• View Publication
• BIB
It is known that polytopes with at most two nonsimple vertices are reconstructible from their graphs, and that $d$-polytopes with at most $d-2$ nonsimple vertices are reconstructible from their 2-skeletons. Here we close the gap between 2 and $d-2$, showing that certain polytopes with more than two nonsimple vertices are reconstructible from their graphs. In particular, we prove that reconstructibility from graphs also holds for $d$-polytopes with $d+k$ vertices and at most $d-k+3$ nonsimple vertices, provided $k\ge 5$. For $k\le4$, the same conclusion holds under a slightly stronger assumption.
Another measure of deviation from simplicity is the {\it excess degree} of a polytope, defined as $ξ(P):=2f_1-df_0$, where $f_k$ denotes the number of $k$-dimensional faces of the polytope. Simple polytopes are those with excess zero. We prove that polytopes with excess at most $d-1$ are reconstructible from their graphs, and this is best possible. An interesting intermediate result is that $d$-polytopes with less than $2d$ vertices, and at most $d-1$ nonsimple vertices, are necessarily pyramids.