Showing 20 papers (Total: 82736 papers, 47815 authors in database)
Covering the large spectrum and generalized Riesz products
Published
• View Publication
• BIB
Chang's Lemma is a widely employed result in additive combinatorics. It gives bounds on the dimension of the large spectrum of probability distributions on finite abelian groups. Recently, Bloom (2016) presented a powerful variant of Chang's Lemma that yields the strongest known quantitative version of Roth's theorem on 3-term arithmetic progressions in dense subsets of the integers. In this note, we show how such theorems can be derived from the approximation of probability measures via entropy maximization.
Bi-Cohen-Macaulay graphs
Published
• View Publication
• BIB
In this paper we consider bi-Cohen-Macaulay graphs, and give a complete classification of such graphs in the case they are bipartite or chordal. General bi-Cohen-Macaulay graphs are classified up to separation. The inseparable bi-Cohen-Macaulay graphs are determined. We establish a bijection between the set of all trees and the set of inseparable bi-Cohen-Macaulay graphs.
A note-question on partitions of semigroups
Published
• View Publication
• BIB
Given a semigroup $S$ and an $n$-partition $\mathcal{P}$ of $S$, $n\in \mathbb{N}$, do there exist $A\in \mathcal{P}$ and a subset $F$ of $S$ such that $S=F ^{-1} \{x \in S: x A \bigcap A\neq\emptyset\}$ and $|F |\leq n$?
We give an affirmative answer provided that either $S$ is finite or $n=2$.
On the pedant tree-connectivity of graphs
The concept of pedant tree-connectivity was introduced by Hager in 1985. For a graph $G=(V,E)$ and a set $S\subseteq V(G)$ of at least two vertices, \emph{an $S$-Steiner tree} or \emph{a Steiner tree connecting $S$} (or simply, \emph{an $S$-tree}) is a such subgraph $T=(V',E')$ of $G$ that is a tree with $S\subseteq V'$. For an $S$-Steiner tree, if the degree of each vertex in $S$ is equal to one, then this tree is called a \emph{pedant $S$-Steiner tree}. Two pedant $S$-Steiner trees $T$ and $T'$ are said to be \emph{internally disjoint} if $E(T)\cap E(T')=\varnothing$ and $V(T)\cap V(T')=S$. For $S\subseteq V(G)$ and $|S|\geq 2$, the \emph{local pedant-tree connectivity} $τ_G(S)$ is the maximum number of internally disjoint pedant $S$-Steiner trees in $G$. For an integer $k$ with $2\leq k\leq n$, \emph{$k$-pedant tree-connectivity} is defined as $τ_k(G)=\min\{τ_G(S)\,|\,S\subseteq V(G),|S|=k\}$. In this paper, we first study the sharp bounds of pedant tree-connectivity. Next, we obtain the exact value of a threshold graph, and give an upper bound of the pedant-tree $k$-connectivity of a complete multipartite graph. For a connected graph $G$, we show that $0\leq τ_k(G)\leq n-k$, and graphs with $τ_k(G)=n-k,n-k-1,n-k-2,0$ are characterized in this paper. In the end, we obtain the Nordhaus-Guddum type results for pedant tree-connectivity.
The Ramsey number of mixed-parity cycles I
Denote by $R(G_1, G_2, G_3)$ the minimum integer $N$ such that any three-colouring of the edges of the complete graph on $N$ vertices contains a monochromatic copy of a graph $G_i$ coloured with colour $i$ for some $i\in{1,2,3}$. In a series of three papers of which this is the first, we consider the case where $G_1, G_2$ and $G_3$ are cycles of mixed parity. Specifically, in this and the subsequent paper, we consider $R(C_n,C_m,C_{\ell})$, where $n$ and $m$ are even and $\ell$ is odd. Figaj and Łuczak determined an asymptotic result for this case, which we improve upon to give an exact result. We prove that for $n,m$ and $\ell$ sufficiently large $R(C_n,C_m,C_\ell)=\max\{2n+m-3, n+2m-3, \tfrac{1}{2} n +\tfrac{1}{2} m + \ell - 2\}$. In the case that the longest cycle is of even length, the proof in this paper is self-contained. However, in the case that the longest cycle is of odd length, we require an additional technical result, the proof of which makes up the majority of the subsequent paper.
The Ramsey number of mixed-parity cycles II
Denote by $R(G_1, G_2, G_3)$ the minimum integer $N$ such that any three-colouring of the edges of the complete graph on $N$ vertices contains a monochromatic copy of a graph $G_i$ coloured with colour $i$ for some $i\in{1,2,3}$. In a series of three papers of which this is the second, we consider the case where $G_1, G_2$ and $G_3$ are cycles of mixed parity. Here and in the previous paper, we consider $R(C_n,C_m,C_{\ell})$, where $n$ and $m$ are even and $\ell$ is odd. Figaj and Łuczak determined an asymptotic result for this case, which we improve upon to give an exact result. We prove that for $n,m$ and $\ell$ sufficiently large $R(C_n,C_m,C_\ell)=\max\{2n+m-3, n+2m-3, \tfrac{1}{2} n +\tfrac{1}{2} m + \ell - 2\}$. The proof of this result is mostly contained within the first paper in this series, however, in the case that the longest cycle is of odd length, we require an additional technical result, the proof of which makes up the majority of this paper.
The Ramsey number of mixed-parity cycles III
Denote by $R(G_1, G_2, G_3)$ the minimum integer $N$ such that any three-colouring of the edges of the complete graph on $N$ vertices contains a monochromatic copy of a graph $G_i$ coloured with colour $i$ for some $i\in{1,2,3}$. In a series of three papers of which this is the third, we consider the case where $G_1, G_2$ and $G_3$ are cycles of mixed parity. Specifically, in this in this paper, we consider $R(C_n,C_m,C_{\ell})$, where $n$ is even and $m$ and $\ell$ are odd. Figaj and Łuczak determined an asymptotic result for this case, which we improve upon to give an exact result. We prove that for $n,m$ and $\ell$ sufficiently large $R(C_n,C_m,C_\ell)=\max\{4n-3, n+2m-3, n+2\ell-3\}$.
Constructing Internally Disjoint Pendant Steiner Trees in Cartesian Product Networks
The concept of pedant tree-connectivity was introduced by Hager in 1985. For a graph $G=(V,E)$ and a set $S\subseteq V(G)$ of at least two vertices, \emph{an $S$-Steiner tree} or \emph{a Steiner tree connecting $S$} (or simply, \emph{an $S$-tree}) is a such subgraph $T=(V',E')$ of $G$ that is a tree with $S\subseteq V'$. For an $S$-Steiner tree, if the degree of each vertex in $S$ is equal to one, then this tree is called a \emph{pedant $S$-Steiner tree}. Two pedant $S$-Steiner trees $T$ and $T'$ are said to be \emph{internally disjoint} if $E(T)\cap E(T')=\varnothing$ and $V(T)\cap V(T')=S$. For $S\subseteq V(G)$ and $|S|\geq 2$, the \emph{local pedant tree-connectivity} $τ_G(S)$ is the maximum number of internally disjoint pedant $S$-Steiner trees in $G$. For an integer $k$ with $2\leq k\leq n$, \emph{pedant tree $k$-connectivity} is defined as $τ_k(G)=\min\{τ_G(S)\,|\,S\subseteq V(G),|S|=k\}$. In this paper, we prove that for any two connected graphs $G$ and $H$, $τ_3(G\Box H)\geq \min\{3\lfloor\frac{τ_3(G)}{2}\rfloor,3\lfloor\frac{τ_3(H)}{2}\rfloor\}$. Moreover, the bound is sharp.
Tait colorings, and an instanton homology for webs and foams
Published
• View Publication
• BIB
We use SO(3) gauge theory to define a functor from a category of unoriented webs and foams to the category of finite-dimensional vector spaces over the field of two elements. We prove a non-vanishing theorem for this SO(3) instanton homology of webs, using Gabai's sutured manifold theory. It is hoped that the non-vanishing theorem may support a program to provide a new proof of the four-color theorem.
Exact triangles for SO(3) instanton homology of webs
Published
• View Publication
• BIB
The SO(3) instanton homology recently introduced by the authors associates a finite-dimensional vector space over the field of two elements to every embedded trivalent graph (or "web"). The present paper establishes a skein exact triangle for this instanton homology, as well as a realization of the octahedral axiom. From the octahedral diagram, one can derive equivalent reformulations of the authors' conjecture that, for planar webs, the rank of the instanton homology is equal to the number of Tait colorings.
Polyhedral studies of vertex coloring problems: The asymmetric representatives formulation
Despite the fact that some vertex coloring problems are polynomially solvable on certain graph classes, most of these problems are not "under control" from a polyhedral point of view. The equivalence between \emph{optimization} and \emph{polyhedral separation} suggests that, for these problems, there must exist formulations admitting some elegant characterization for the polytopes associated to them. Therefore, it is interesting to study known formulations for vertex coloring with the goal of finding such characterizations. In this work we study the asymmetric representatives formulation and we show that the corresponding coloring polytope, for a given graph $G$, can be interpreted as the stable set polytope of another graph obtained from $G$. This result allows us to derive complete characterizations for the corresponding coloring polytope for some families of graphs, based on known complete characterizations for the stable set polytope.
On ultralimits of sparse graph classes
Published
• View Publication
• BIB
The notion of nowhere denseness is one of the central concepts of the recently developed theory of sparse graphs. We study the properties of nowhere dense graph classes by investigating appropriate limit objects defined using the ultraproduct construction. It appears that different equivalent definitions of nowhere denseness, for example via quasi-wideness or the splitter game, correspond to natural notions for the limit objects that are conceptually simpler and allow for less technically involved reasonings.
On Tverberg partitions
Published in Israel Journal of Mathematics, 219(2), 2017, 549-553
• View Publication
• BIB
A theorem of Tverberg from 1966 asserts that every set $X\subset\mathbb{R}^d$ of $n=T(d,r)=(d+1)(r-1)+1$ points can be partitioned into $r$ pairwise disjoint subsets, whose convex hulls have a point in common. Thus every such partition induces an integer partition of $n$ into $r$ parts (that is, $r$ integers $a_1,\ldots,a_r$ satisfying $n=a_1+\cdots+a_r$), where the parts $a_i$ correspond to the number of points in every subset. In this paper, we prove that for any partition $a_i\le d+1$, $i=1,\ldots,r$, there exists a set $X\subset\mathbb{R}^d$ of $n$ points, such that every Tverberg partition of $X$ induces the same partition on $n$, given by the parts $a_1,\ldots,a_r$.
Functional van den Berg-Kesten-Reimer Inequalities and their Duals, with Applications
Published in Jour. Theor. Probab. (2007) , vol 20, pp. 275--293
• Search Publication
The BKR inequality conjectured by van den Berg and Kesten in [11], and proved by Reimer in [8], states that for $A$ and $B$ events on $S$, a finite product of finite sets $S_i,i=1,\ldots,n$, and $P$ any product measure on $S$, $$ P(A \Box B) \le P(A)P(B),$$ where the set $A \Box B$ consists of the elementary events which lie in both $A$ and $B$ for `disjoint reasons.' Precisely, with ${\bf n}:=\{1,\ldots,n\}$ and $K \subset {\bf n}$, for ${\bf x} \in S$ letting $[{\bf x}]_K=\{{\bf y} \in S: y_i = x_i, i \in K\}$, the set $A \Box B$ consists of all ${\bf x} \in S$ for which there exist disjoint subsets $K$ and $L$ of ${\bf n}$ for which $[{\bf x}]_K \subset A$ and $[{\bf x}]_L \subset B$.
The BKR inequality is extended to the following functional version on a general finite product measure space $(S,\mathbb{S})$ with product probability measure $P$, $$E\left\{ \max_{\stackrel{K \cap L = \emptyset}{K \subset {\bf n}, L \subset {\bf n}}}
\underline{f}_K({\bf X})\underline{g}_L({\bf
X})\right\} \leq E\left\{f({\bf X})\right\}\,E\left\{g({\bf
X})\right\},$$ where $f$ and $g$ are non-negative measurable functions, $\underline{f}_K({\bf x}) = {\rm ess} \inf_{{\bf y} \in [{\bf x}]_K}f({\bf y})$ and $\underline{g}_L({\bf x}) = {\rm ess} \inf_{{\bf y} \in [{\bf x}]_L}g({\bf y}).$ The original BKR inequality is recovered by taking $f({\bf x})={\bf 1}_A({\bf x})$ and $g({\bf x})={\bf 1}_B({\bf x})$, and applying the fact that in general ${\bf 1}_{A \Box B} \le \max_{K \cap L = \emptyset} \underline{f}_K({\bf x}) \underline{g}_L({\bf x})$.
Related formulations, and functional versions of the dual inequality on events by Kahn, Saks, and Smyth [6], are also considered. Applications include order statistics, assignment problems, and paths in random graphs.
Dense binary $PG(t-1,2)$-free matroids have critical number $t-1$ or $t$
Published in J. Combin. Theory Ser. B 124 (2017), 165--179
• View Publication
• BIB
The critical threshold of a (simple binary) matroid $N$ is the infimum over all $ρ$ such that any $N$-free matroid $M$ with $|M|>\rho2^{r(M)}$ has bounded critical number. In this paper, we resolve two conjectures of Geelen and Nelson, showing that the critical threshold of the projective geometry $PG(t-1,2)$ is $1-3\cdot2^{-t}$. We do so by proving the following stronger statement: if $M$ is $PG(t-1,2)$-free with $|M|>(1-3\cdot2^{-t})2^{r(M)}$, then the critical number of $M$ is $t-1$ or $t$. Together with earlier results of Geelen and Nelson [GN14] and Govaerts and Storme [GS06], this completes the classification of dense $PG(t-1,2)$-free matroids.
Unitals in shift planes of odd order
Published
• View Publication
• BIB
A finite shift plane can be equivalently defined via abelian relative difference sets as well as planar functions. In this paper, we present a generic way to construct unitals in finite shift planes of odd orders $q^2$. We investigate various geometric and combinatorial properties of them, such as the self-duality, the existences of O'Nan configurations, the Wilbrink's conditions, the designs formed by circles and so on. We also show that our unitals are inequivalent to the unitals derived from unitary polarities in the same shift planes. As designs, our unitals are also not isomorphic to the classical unitals (the Hermitian curves).
Problems on Track Runners
Published
• View Publication
• BIB
Consider the circle $C$ of length 1 and a circular arc $A$ of length $\ell\in (0,1)$.
It is shown that there exists $k=k(\ell) \in \mathbb{N}$, and a schedule for $k$ runners along the circle with $k$ constant but distinct positive speeds so that at any time $t \geq 0$, at least one of the $k$ runners is not in $A$.
On the other hand, we show the following:
Assume that $k$ runners $1,2,\ldots,k$, with constant rationally independent (thus distinct) speeds $ξ_1,ξ_2,\ldots,ξ_k$, run clockwise along a circle of length $1$, starting from arbitrary points. For every circular arc $A\subset C$ and for every $T>0$, there exists $t>T$ such that all runners are in $A$ at time $t$.
Several other problems of a similar nature are investigated.
Modified Linear Programming and Class 0 Bounds for Graph Pebbling
Published in J. Combinatorial Optimization. 34(1), July 2017, pp. 114-132
• View Publication
• BIB
Given a configuration of pebbles on the vertices of a connected graph $G$, a \emph{pebbling move} removes two pebbles from some vertex and places one pebble on an adjacent vertex. The \emph{pebbling number} of a graph $G$ is the smallest integer $k$ such that for each vertex $v$ and each configuration of $k$ pebbles on $G$ there is a sequence of pebbling moves that places at least one pebble on $v$.
First, we improve on results of Hurlbert, who introduced a linear optimization technique for graph pebbling. In particular, we use a different set of weight functions, based on graphs more general than trees. We apply this new idea to some graphs from Hurlbert's paper to give improved bounds on their pebbling numbers.
Second, we investigate the structure of Class 0 graphs with few edges. We show that every $n$-vertex Class 0 graph has at least $\frac53n - \frac{11}3$ edges. This disproves a conjecture of Blasiak et al. For diameter 2 graphs, we strengthen this lower bound to $2n - 5$, which is best possible. Further, we characterize the graphs where the bound holds with equality and extend the argument to obtain an identical bound for diameter 2 graphs with no cut-vertex.
On linear equations arising in Combinatorics (Part II)
In one of his papers, the author introduces the class of Farkas-related vectors for which a version of Farkas' lemma over integers is derived. In this paper, two similar classes are introduced and studied.
Khovanov-Rozansky homology and Directed Cycles
Published
• View Publication
• BIB
We determine the cycle packing number of a directed graph using elementary projective algebraic geometry. Our idea is rooted in the Khovanov-Rozansky theory. In fact, using the Khovanov-Rozansky homology of a graph, we also obtain algebraic methods of detecting directed and undirected cycles containing a particular vertex or edge.