Showing 20 papers (Total: 82901 papers, 47900 authors in database)
Thieves can make sandwiches
Published
• View Publication
• BIB
We prove a common generalization of the Ham Sandwich theorem and Alon's Necklace Splitting theorem. Our main results show the existence of fair distributions of $m$ measures in $R^d$ among $r$ thieves using roughly $mr/d$ convex pieces, even in the cases when $m$ is larger than the dimension. The main proof relies on a construction of a geometric realization of the topological join of two spaces of partitions of $R^d$ into convex parts, and the computation of the Fadell-Husseini ideal valued index of the resulting spaces.
An improved bound in Vizing's conjecture
Published
• View Publication
• BIB
A well-known conjecture of Vizing is that $γ(G \square H) \ge γ(G)γ(H)$ for any pair of graphs $G, H$, where $γ$ is the domination number and $G \square H$ is the Cartesian product of $G$ and $H$. Suen and Tarr, improving a result of Clark and Suen, showed $γ(G \square H) \ge \frac{1}{2}γ(G)γ(H) + \frac{1}{2}\min(γ(G),γ(H))$. We further improve their result by showing $γ(G \square H) \ge \frac{1}{2}γ(G)γ(H) + \frac{1}{2}\max(γ(G),γ(H)).$
Asymptotically Optimal Multi-Paving
Published
• View Publication
• BIB
Anderson's paving conjecture, now known to hold due to the resolution of the Kadison-Singer problem asserts that every zero diagonal Hermitian matrix admits non-trivial pavings with dimension independent bounds. In this paper, we develop a technique extending the arguments of Marcus, Spielman and Srivastava in their solution of the Kadison-Singer problem to show the existence of non-trivial pavings for collections of matrices. We show that given zero diagonal Hermitian contractions $A^{(1)}, \cdots, A^{(k)} \in M_n(\mathbb{C})$ and $ε> 0$, one may find a paving $X_1 \amalg \cdots \amalg X_r = [n]$ where $r \leq 18kε^{-2}$ such that, \[λ_{max} (P_{X_i} A^{(j)} P_{X_i}) < ε, \quad i \in [r], \, j \in [k].\] As a consequence, we get the correct asymptotic estimates for paving general zero diagonal matrices; zero diagonal contractions can be $(O(ε^{-2}),ε)$ paved. As an application, we give a simplified proof wth slightly better estimates of a theorem of Johnson, Ozawa and Schechtman concerning commutator representations of zero trace matrices.
Forbidden vector-valued intersections
Published
• View Publication
• BIB
We solve a generalised form of a conjecture of Kalai motivated by attempts to improve the bounds for Borsuk's problem. The conjecture can be roughly understood as asking for an analogue of the Frankl-Rödl forbidden intersection theorem in which set intersections are vector-valued. We discover that the vector world is richer in surprising ways: in particular, Kalai's conjecture is false, but we prove a corrected statement that is essentially best possible, and applies to a considerably more general setting. Our methods include the use of maximum entropy measures, VC-dimension, Dependent Random Choice and a new correlation inequality for product measures.
Contracting Bipartite Graphs to Paths and Cycles
Published
• View Publication
• BIB
Testing if a given graph $G$ contains the $k$-vertex path $P_k$ as a minor or as an induced minor is trivial for every fixed integer $k\geq 1$. However, the situation changes for the problem of checking if a graph can be modified into $P_k$ by using only edge contractions. In this case the problem is known to be NP-complete even if $k=4$. This led to an intensive investigation for testing contractibility on restricted graph classes. We focus on bipartite graphs. Heggernes, van 't Hof, Lévêque and Paul proved that the problem stays NP-complete for bipartite graphs if $k=6$. We strengthen their result from $k=6$ to $k=5$. We also show that the problem of contracting a bipartite graph to the $6$-vertex cycle $C_6$ is NP-complete. The cyclicity of a graph is the length of the longest cycle the graph can be contracted to. As a consequence of our second result, determining the cyclicity of a bipartite graph is NP-hard.
Shorter signed circuit covers of graphs
Published
• View Publication
• BIB
A signed circuit is a minimal signed graph (with respect to inclusion) that admits a nowhere-zero flow. We show that each flow-admissible signed graph on $m$ edges can be covered by signed circuits of total length at most $(3+2/3)\cdot m$, improving a recent result of Cheng et al. [manuscript, 2015]. To obtain this improvement we prove several results on signed circuit covers of trees of Eulerian graphs, which are connected signed graphs such that removing all bridges results in a collection of Eulerian graphs.
Polynomial Relations Between Matrices of Graphs
Published
• View Publication
• BIB
We derive a correspondence between the eigenvalues of the adjacency matrix $A$ and the signless Laplacian matrix $Q$ of a graph $G$ when $G$ is $(d_1,d_2)$-biregular by using the relation $A^2=(Q-d_1I)(Q-d_2I)$. This motivates asking when it is possible to have $X^r=f(Y)$ for $f$ a polynomial, $r>0$, and $X,\ Y$ matrices associated to a graph $G$. It turns out that, essentially, this can only happen if $G$ is either regular or biregular.
Sparse hypergraphs: new bounds and constructions
Published
• View Publication
• BIB
Let $f_r(n,v,e)$ denote the maximum number of edges in an $r$-uniform hypergraph on $n$ vertices, in which the union of any $e$ distinct edges contains at least $v+1$ vertices. The study of $f_r(n,v,e)$ was initiated by Brown, Erd{ő}s and S{ó}s more than forty years ago. In the literature, the following conjecture is well known.
Conjecture: $n^{k-o(1)}<f_r(n,er-(e-1)k+1,e)=o(n^k)$ holds for all fixed integers $r>k\ge 2$ and $e\ge 3$ as $n\rightarrow\infty$.
For $r=3, e=3, k=2$, the bound $n^{2-o(1)}<f_3(n,6,3)=o(n^2)$ was proved by the celebrated (6,3)-theorem of Ruzsa and Szemer{é}di. In this paper, we add more evidence for the validity of the conjecture. On one hand, using the hypergraph removal lemma we show that the upper bound part of the conjecture is true for all fixed integers $r\ge k+1\ge e\ge3$.
On the other hand, using tools from additive number theory we present several constructions showing that the lower bound part of the conjecture is true for $r\ge3$, $k=2$ and $e=4,5,7,8$.
Prior to our results, all known constructions that match the conjectured lower bound satisfy either $r=3$ or $e=3$. Our constructions are the first ones in the literature that break this barrier.
The face numbers of homology spheres
The $g$-theorem is a momentous result in combinatorics that gives a complete numerical characterization of the face numbers of simplicial convex polytopes. The $g$-conjecture asserts that the same numerical conditions given in the $g$-theorem also characterizes the face numbers of all simplicial spheres, or even more generally, all simplicial homology spheres.
In this paper, we prove the $g$-conjecture for simplicial $\mathbb{R}$-homology spheres. A key idea in our proof is a new algebra structure for polytopal complexes. Given a polytopal $d$-complex $Δ$, we use ideas from rigidity theory to construct a graded Artinian $\mathbb{R}$-algebra $Ψ(Δ,ν)$ of stresses on a PL realization $ν$ of $Δ$ in $\mathbb{R}^d$, where overlapping realized $d$-faces are allowed. In particular, we prove that if $Δ$ is a simplicial $\mathbb{R}$-homology sphere, then for generic PL realizations $ν$, the stress algebra $Ψ(Δ,ν)$ is Gorenstein and has the weak Lefschetz property.
Extensions of partial cyclic orders, Euler numbers and multidimensional boustrophedons
Published in Electron. J. Combin. 25(1), #P1.66, 2018
• View Publication
• BIB
We enumerate total cyclic orders on $\left\{1,\ldots,n\right\}$ where we prescribe the relative cyclic order of consecutive triples $(i,{i+1},{i+2})$, these integers being taken modulo $n$. In some cases, the problem reduces to the enumeration of descent classes of permutations, which is done via the boustrophedon construction. In other cases, we solve the question by introducing multidimensional versions of the boustrophedon. In particular we find new interpretations for the Euler up/down numbers and the Entringer numbers.
Connectivity of the k-out Hypercube
Published
• View Publication
• BIB
In this paper we study the connectivity properties of the random subgraph of the $n$-cube generated by the $k$-out model and denoted by $Q^n(k)$. Let $k$ be an integer, $1\leq k \leq n-1$. We let $Q^n(k)$ be the graph that is generated by independently including for every $v\in V(Q^n)$ a set of $k$ distinct edges chosen uniformly from all the $\binom{n}{k}$ sets of distinct edges that are incident to $v$. We study connectivity the properties of $Q^n(k)$ as $k$ varies. We show that w.h.p. $Q^n(1)$ does not contain a giant component i.e. a component that spans $Ω(2^n)$ vertices. Thereafter we show that such a component emerges when $k=2$. In addition the giant component spans all but $o(2^n)$ vertices and hence it is unique. We then establish the connectivity threshold found at $k_0= \log_2 n -2\log_2\log_2 n $. The threshold is sharp in the sense that $Q^n(\lfloor k_0\rfloor )$ is disconnected but $Q^n(\lceil k_0\rceil+1)$ is connected w.h.p. Furthermore we show that w.h.p. $Q^n(k)$ is $k$-connected for every $k\geq \lceil k_0\rceil+1$.
Introduction to tropical series and wave dynamic on them
Published in Discrete and continuous dynamical systems, A, 38(6) (2018): 2843--2865
• View Publication
• BIB
The theory of tropical series, that we develop here, firstly appeared in the study of the growth of pluriharmonic functions. Motivated by waves in sandpile models we introduce a dynamic on the set of tropical series, and it is experimentally observed that this dynamic obeys a power law. So, this paper serves as a compilation of results we need for other articles and also introduces several objects interesting by themselves.
Advances on the Conjecture of Erdős-Sós for spiders
- A hamiltonian graph $G$ verifying $e(G)>n(k-1)/2$ %with a vertex of degree greater or equal than $k$ contains any $k$-spider.
- If $G$ is a graph with average degree $\bar{d} > k-1$, then every spider of size $k$ is contained in $G$ for $k\le 10$.
- A $2$-connected graph with average degree $\bar{d} > \ell_2+\ell_3+\ell_4$ contains every spider of $4$ legs $S_{1,\ell_2,\ell_3,\ell_4}$. We claim also that the condition of $2$-connection is not needed, but the proof is very long and it is not included in this document.
Growth Diagrams and Minuscule Polygon Configurations in the Affine Grassmannian
We define affine growth diagrams consisting of $GL_m$ dominant weights that label the vertices of a staircase-shaped grid. These are also called cylindrical growth diagrams as defined by Speyer and White in the case of partitions. The weights labelling each adjacent pair of vertices differ by a vertical strip and the weights around each unit square satisfy a local condition that appeared in van Leeuwen's work on the Littelmann path model for crystals.
We prove two main results. For a sequence of minuscule weights $\vecλ=(λ^1,\ldots,λ^n)$ let Poly$(\vecλ)$ denote the configuration space of $n$-tuples of points $(g_1,\ldots,g_n)$ in the affine Grassmannian such that the weight-valued distances satisfy $d(g_i,g_{i+1})=λ^i$. This is the convolution variety arising in the geometric Satake correspondence. We show that for a generic point $(g_1,\ldots,g_n)$ of a component the distances $d(g_i,g_j)$ form an affine growth diagram and that this gives a bijection between components of Poly$(\vecλ)$ and affine growth diagrams of type $\vecλ$. The main tool used in the proof is the Knutson--Tao hive.
In the second part, we give a purely combinatorial construction of affine growth diagrams from natural number entries by applying Greene's theorem to certain subrectangles of the staircase. From this construction it follows that affine growth diagrams contain the classical Fomin growth diagrams and realize the RS-correspondence when $\vecλ=(ω_1,\ldots,ω_1,ω_1^*,\ldots,ω_1^*)$.
Sets of lengths in atomic unit-cancellative finitely presented monoids
Published
• View Publication
• BIB
For an element $a$ of a monoid $H$, its set of lengths $\mathsf L (a) \subset \mathbb N$ is the set of all positive integers $k$ for which there is a factorization $a=u_1 \cdot \ldots \cdot u_k$ into $k$ atoms. We study the system $\mathcal L (H) = \{\mathsf L (a) \mid a \in H \}$ with a focus on the unions $\mathcal U_k (H) \subset \mathbb N$ which are the unions of all sets of lengths containing a given $k \in \mathbb N$. The Structure Theorem for Unions -- stating that for all sufficiently large $k$, the sets $\mathcal U_k (H)$ are almost arithmetical progressions with the same difference and global bound -- has found much attention for commutative monoids and domains. We show that it holds true for the not necessarily commutative monoids in the title satisfying suitable algebraic finiteness conditions. Furthermore, we give an explicit description of the system of sets of lengths of monoids $B_{n} = \langle a,b \mid ba=b^{n} \rangle$ for $n \in \N_{\ge 2}$. Based on this description, we show that the monoids $B_n$ are not transfer Krull, which implies that their systems $\mathcal L (B_n)$ are distinct from systems of sets of lengths of commutative Krull monoids and others.
Extremal Type II $\mathbb{Z}_4$-codes constructed from binary doubly even self-dual codes of length $40$
In this note, we demonstrate that every binary doubly even self-dual code of length $40$ can be realized as the residue code of some extremal Type II $\mathbb{Z}_4$-code. As a consequence, it is shown that there are at least $94356$ inequivalent extremal Type II $\mathbb{Z}_4$-codes of length $40$.
Example of C-rigid polytopes which are not B-rigid
Published
• View Publication
• BIB
A simple polytope $P$ is said to be \emph{B-rigid} if its combinatorial structure is characterized by its Tor-algebra, and is said to be \emph{C-rigid} if its combinatorial structure is characterized by the cohomology ring of a quasitoric manifold over $P$. It is known that a B-rigid simple polytope is C-rigid. In this paper, we, further, show that the B-rigidity is not equivalent to the C-rigidity.
Interval orders, semiorders and ordered groups
Published
• View Publication
• BIB
We prove that the order of an ordered group is an interval order if and only if it is a semiorder. Next, we prove that every semiorder is isomorphic to a collection $\mathcal J$ of intervals of some totally ordered abelian group, these intervals being of the form $[x, x+ α[$ for some positive $α$. We describe ordered groups such that the ordering is a semiorder and we introduce threshold groups generalizing totally ordered groups. We show that the free group on finitely many generators and the Thompson group $\mathbb F$ can be equipped with a compatible semiorder which is not a weak order. On another hand, a group introduced by Clifford cannot.
Asymptotic behaviors in the homology of symmetric group and finite general linear group quandles
Published
• View Publication
• BIB
A quandle is an algebraic structure which attempts to generalize group conjugation. These structures have been studied extensively due to their connections with knot theory, algebraic combinatorics, and other fields. In this work, we approach the study of quandles from the perspective of the representation theory of categories. Namely, we look at collections of conjugacy classes of the symmetric groups and the finite general linear groups, and prove that they carry the structure of FI-quandles (resp. VIC$(q)$-quandles). As applications, we prove statements about the homology of these quandles, and construct FI-module and VIC$(q)$-module invariants of links.
A note on the maximum number of triangles in a $C_5$-free graph
Published
• View Publication
• BIB
We prove that the maximum number of triangles in a $C_5$-free graph on $n$ vertices is at most $\frac{1}{2 \sqrt 2} (1 + o(1)) n^{3/2}$, improving an estimate of Alon and Shikhelman.