Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Three-dimensional Catalan numbers and product-coproduct prographs
We present the new combinatorial class of product-coproduct prographs which are planar assemblies of two types of operators: products having two inputs and a single output and coproducts having a single input and two outputs. We show that such graphs are enumerated by the $3$-dimensional Catalan numbers. We present some combinatorial bijections positioning product-coproduct prographs as key objects to probe families of objects enumerated by the $3$-dimensional Catalan numbers.
The Ramsey theory of the universal homogeneous triangle-free graph
Published in Journal of Mathematical Logic, 2020
• View Publication
• BIB
The universal homogeneous triangle-free graph, constructed by Henson and denoted $\mathcal{H}_3$, is the triangle-free analogue of the Rado graph. While the Ramsey theory of the Rado graph has been completely established, beginning with Erdős-Hajnal-Posá and culminating in work of Sauer and Laflamme-Sauer-Vuksanovic, the Ramsey theory of $\mathcal{H}_3$ had only progressed to bounds for vertex colorings (Komjáth-Rödl) and edge colorings (Sauer). This was due to a lack of broadscale techniques. We solve this problem in general: For each finite triangle-free graph $G$, there is a finite number $T(G)$ such that for any coloring of all copies of $G$ in $\mathcal{H}_3$ into finitely many colors, there is a subgraph of $\mathcal{H}_3$ which is again universal homogeneous triangle-free in which the coloring takes no more than $T(G)$ colors. This is the first such result for a homogeneous structure omitting copies of some non-trivial finite structure. The proof entails developments of new broadscale techniques, including a flexible method for constructing trees which code $\mathcal{H}_3$ and the development of their Ramsey theory.
Dense point sets with many halving lines
A planar point set of $n$ points is called {\em $γ$-dense} if the ratio of the largest and smallest distances among the points is at most $γ\sqrt{n}$. We construct a dense set of $n$ points in the plane with $ne^{Ω\left({\sqrt{\log n}}\right)}$ halving lines. This improves the bound $Ω(n\log n)$ of Edelsbrunner, Valtr and Welzl from 1997.
Our construction can be generalized to higher dimensions, for any $d$ we construct a dense point set of $n$ points in $\mathbb{R}^d$ with $n^{d-1}e^{Ω\left({\sqrt{\log n}}\right)}$ halving hyperplanes. Our lower bounds are asymptotically the same as the best known lower bounds for general point sets.
A Euclidean Ramsey result in the plane
Published
• View Publication
• BIB
An old question in Euclidean Ramsey theory asks, if the points in the plane are red-blue coloured, does there always exist a red pair of points at unit distance or five blue points in line separated by unit distances? An elementary proof answers this question in affirmative.
Minimum degree conditions for small percolating sets in bootstrap percolation
Published
• View Publication
• BIB
The $r$-neighbour bootstrap process is an update rule for the states of vertices in which `uninfected' vertices with at least $r$ `infected' neighbours become infected and a set of initially infected vertices is said to \emph{percolate} if eventually all vertices are infected. For every $r \geq 3$, a sharp condition is given for the minimum degree of a sufficiently large graph that guarantees the existence of a percolating set of size $r$. In the case $r=3$, for $n$ large enough, any graph on $n$ vertices with minimum degree $\lfloor n/2 \rfloor +1$ has a percolating set of size $3$ and for $r \geq 4$ and $n$ large enough (in terms of $r$), every graph on $n$ vertices with minimum degree $\lfloor n/2 \rfloor + (r-3)$ has a percolating set of size $r$. A class of examples are given to show the sharpness of these results.
A note on graphs with disjoint maximal cliques ans a link with evasiveness
In this note, we prove that a finite vertex-transitive graph which has a clique which intersects all maximal cliques is a complete graph. This gives a positive answer in the case of vertex-transitive graphs to a question raised by Berge and Payan. It also gives a positive answer to a special case of the evasiveness conjecture.
A Note on the Polytope of Bipartite TSP
The main result of this paper is that the polytope of the bipartite TSP is significantly different from that of the general TSP. Comb inequalities are known as facet defining ones in the general case. In the bipartite case, however, many of them are satisfied whenever all degree and subtour elimination constraints are satisfied, {\em i.e.}\ these comb inequalities are not facet defining. The inequalities in question belong to the cases where vertices of one of the two classes occur in less than the half of the intersections of the teeth and the hand. Such side conditions are necessary, as simple example shows that the comb inequality can be violated when each class has vertices in more than the half of the intersections.
A computational algebraic geometry approach to classify partial Latin rectangles
Published in Mathematical Methods in the Applied Sciences 41:17 (2018) 7236-7262
• View Publication
• BIB
This paper provides an in-depth analysis of how computational algebraic geometry can be used to deal with the problem of counting and classifying $r\times s$ partial Latin rectangles based on $n$ symbols of a given size, shape, type or structure. The computation of Hilbert functions and triangular systems of radical ideals enables us to solve this problem for all $r,s,n\leq 6$. As a by-product, explicit formulas are determined for the number of partial Latin rectangles of size up to six. We focus then on the study of non-compressible regular partial Latin squares and their equivalent incidence structure called seminet, whose distribution into main classes is explicitly determined for point rank up to eight. We prove in particular the existence of two new configurations of point rank eight.
Geometric Symmetric Chain Decompositions
We create a framework for studying symmetric chain decompositions of families of finite posets based on the geometry of polytopes. Our framework unifies almost all known results regarding symmetric chain decompositions of the Young posets $L(m,n)$ --- arising as cells in the Bruhat decomposition of quotients of $SL_{m+n+1}$ --- and yields unexpected new results. The methods we provide are geometric in nature, systematic, and totally amenable to human analysis. This allows us to discover new phenomena which are impenetrable to casework and brute force computer search. In particular, our method yields perfect and near perfect decompositions of various families of posets, which are intractable by known methods. A fundamental tool we use is geometrical projection, which in our framework cleanly unifies many different types of induction; as we move a point from which we project between faces of our polytope, we alter the type of induction. Moreover, projection allows us to decrease dimension and therefore obtain a clear geometric intuition. We also provide additional tools for producing decompositions, and discuss how the various decompositions behave under products.
On hypergraphs without loose cycles
Published
• View Publication
• BIB
Recently, Mubayi and Wang showed that for $r\ge 4$ and $\ell \ge 3$, the number of $n$-vertex $r$-graphs that do not contain any loose cycle of length $\ell$ is at most $2^{O( n^{r-1} (\log n)^{(r-3)/(r-2)})}$. We improve this bound to $2^{O( n^{r-1} \log \log n) }$.
Polychromatic Colorings on the Integers
Published in Integers: Electronic Journal of Combinatorial Number Theory 19 (2019) A18
• Search Publication
We show that for any set $S\subseteq \mathbb{Z}$, $|S|=4$ there exists a 3-coloring of $\mathbb{Z}$ in which every translate of $S$ receives all three colors. This implies that $S$ has a codensity of at most $1/3$, proving a conjecture of Newman [D. J. Newman, Complements of finite sets of integers, Michigan Math. J. 14 (1967) 481--486]. We also consider related questions in $\mathbb{Z}^d$, $d\geq 2$.
Many edge-disjoint rainbow spanning trees in general graphs
A rainbow spanning tree in an edge-colored graph is a spanning tree in which each edge is a different color. Carraher, Hartke, and Horn showed that for $n$ and $C$ large enough, if $G$ is an edge-colored copy of $K_n$ in which each color class has size at most $n/2$, then $G$ has at least $\lfloor n/(C\log n)\rfloor$ edge-disjoint rainbow spanning trees. Here we strengthen this result by showing that if $G$ is any edge-colored graph with $n$ vertices in which each color appears on at most $δ\cdotλ_1/2$ edges, where $δ\geq C\log n$ for $n$ and $C$ sufficiently large and $λ_1$ is the second-smallest eigenvalue of the normalized Laplacian matrix of $G$, then $G$ contains at least $\left\lfloor\frac{δ\cdotλ_1}{C\log n}\right\rfloor$ edge-disjoint rainbow spanning trees.
Minimum Weight Flat Antichains of Subsets
Published in Order 38, 441-453 (2021)
• View Publication
• BIB
Building on classical theorems of Sperner and Kruskal-Katona, we investigate antichains $\mathcal F$ in the Boolean lattice $B_n$ of all subsets of $[n]:=\{1,2,\dots,n\}$, where $\mathcal F$ is flat, meaning that it contains sets of at most two consecutive sizes, say $\mathcal F=\mathcal{A}\cup\mathcal{B}$, where $\mathcal{A}$ contains only $k$-subsets, while $\mathcal{B}$ contains only $(k-1)$-subsets. Moreover, we assume $\mathcal{A}$ consists of the first $m$ $k$-subsets in squashed (colexicographic) order, while $\mathcal{B}$ consists of all $(k-1)$-subsets not contained in the subsets in $\mathcal{A}$. Given reals $α,β>0$, we say the weight of $\mathcal F$ is $α\cdot|\mathcal{A}|+β\cdot|\mathcal{B}|$. We characterize the minimum weight antichains $\mathcal F$ for any given $n,k,α,β$, and we do the same when in addition $\mathcal F$ is a maximal antichain. We can then derive asymptotic results on both the minimum size and the minimum Lubell function.
Weight multiplicities and Young tableaux through affine crystals
Published
• View Publication
• BIB
The weight multiplicities of finite dimensional simple Lie algebras can be computed individually using various methods. Still, it is hard to derive explicit closed formulas. Similarly, explicit closed formulas for the multiplicities of maximal weights of affine Kac--Moody algebras are not known in most cases. In this paper, we study weight multiplicities for both finite and affine cases of classical types for certain infinite families of highest weights modules. We introduce new classes of Young tableaux, called the {\em $($spin$)$ rigid tableaux}, and prove that they are equinumerous to the weight multiplicities of the highest weight modules under our consideration. These new classes of Young tableaux arise from crystal basis elements for dominant maximal weights of the integrable highest weight modules over affine Kac--Moody algebras. By applying combinatorics of tableaux such as the Robinson--Schensted algorithm and new insertion schemes, and using integrals over orthogonal groups, we reveal hidden structures in the sets of weight multiplicities and obtain explicit closed formulas for the weight multiplicities. In particular we show that some special families of weight multiplicities form the Pascal, Catalan, Motzkin, Riordan and Bessel triangles.
Monochromatic paths in random tournaments
Published in Random Structures and Algorithms 54.1 (2019), 69-81
• View Publication
• BIB
We prove that, with high probability, any $2$-edge-colouring of a random tournament on $n$ vertices contains a monochromatic path of length $Ω(n / \sqrt{\log n})$. This resolves a conjecture of Ben-Eliezer, Krivelevich and Sudakov and implies a nearly tight upper bound on the oriented size Ramsey number of a directed path.
Braid relations for involution words in affine Coxeter groups
We describe an algorithm to identify a minimal set of "braid relations" which span and preserve all sets of involution words for twisted Coxeter systems of finite or affine type. We classify the cases in which adding the smallest possible set of "half-braid" relations to the ordinary braid relations produces a spanning set: in the untwisted case, this occurs for the Coxeter systems which are finite with rank two or type $A_n$, or affine with rank three or type $\tilde A_n$. These results generalize recent work of Hu and Zhang on the finite classical cases.
On the spectrum of linear dependence graph of finite dimensional vector spaces
Published
• View Publication
• BIB
In this paper, we introduce a graph structure called linear dependence graph of a finite dimensional vector space over a finite field. Some basic properties of the graph like connectedness, completeness, planarity, clique number, chromatic number etc. have been studied. It is shown that two vector spaces are isomorphic if and only if their corresponding linear dependence graphs are isomorphic. Also adjacency spectrum, Laplacian spectrum and distance spectrum of the linear dependence graph have been studied.
On powers of Plücker coordinates and representability of arithmetic matroids
Published
• View Publication
• BIB
The first problem we investigate is the following: given $k\in \mathbb{R}_{\ge 0}$ and a vector $v$ of Plücker coordinates of a point in the real Grassmannian, is the vector obtained by taking the $k$th power of each entry of $v$ again a vector of Plücker coordinates? For $k\neq 1$, this is true if and only if the corresponding matroid is regular. Similar results hold over other fields. We also describe the subvariety of the Grassmannian that consists of all the points that define a regular matroid.
The second topic is a related problem for arithmetic matroids. Let $\mathcal{A} = (E, rk, m)$ be an arithmetic matroid and let $k\neq 1 $ be a non-negative integer. We prove that if $\mathcal{A}$ is representable and the underlying matroid is non-regular, then $\mathcal{A}^k := (E, rk, m^k)$ is not representable. This provides a large class of examples of arithmetic matroids that are not representable. On the other hand, if the underlying matroid is regular and an additional condition is satisfied, then $\mathcal{A}^k$ is representable. Bajo-Burdick-Chmutov have recently discovered that arithmetic matroids of type $\mathcal{A}^2$ arise naturally in the study of colourings and flows on CW complexes. In the last section, we prove a family of necessary conditions for representability of arithmetic matroids.
On avoidability of formulas with reversal
Published in RAIRO - Theor. Inform. Appl., online first, 2018
• View Publication
• BIB
While a characterization of unavoidable formulas (without reversal) is well-known, little is known about the avoidability of formulas with reversal in general. In this article, we characterize the unavoidable formulas with reversal that have at most two one-way variables ($x$ is a one-way variable in formula with reversal $φ$ if exactly one of $x$ and $x^R$ appears in $φ$).
Proof of László Fejes Tóth's zone conjecture
Published in Geom. Funct. Anal. Vol. 27 (2017) 1367-1377
• View Publication
• BIB
A zone of width $ω$ on the unit sphere is the set of points within spherical distance $ω/2$ of a given great circle. We show that the total width of any collection of zones covering the unit sphere is at least $π$, answering a question of Fejes Tóth from 1973.