contain ↗ reference
7689 papers tagged with this keyword
Lower bounds for on-line graph colorings
Published
• View Publication
• BIB
We propose two strategies for Presenter in on-line graph coloring games. The first one constructs bipartite graphs and forces any on-line coloring algorithm to use $2\log_2 n - 10$ colors, where $n$ is the number of vertices in the constructed graph. This is best possible up to an additive constant. The second strategy constructs graphs that contain neither $C_3$ nor $C_5$ as a subgraph and forces $Ω(\frac{n}{\log n}^\frac{1}{3})$ colors. The best known on-line coloring algorithm for these graphs uses $O(n^{\frac{1}{2}})$ colors.
On the pseudolinear crossing number
Published
• View Publication
• BIB
A drawing of a graph is {\em pseudolinear} if there is a pseudoline arrangement such that each pseudoline contains exactly one edge of the drawing. The {\em pseudolinear crossing number} of a graph $G$ is the minimum number of pairwise crossings of edges in a pseudolinear drawing of $G$. We establish several facts on the pseudolinear crossing number, including its computational complexity and its relationship to the usual crossing number and to the rectilinear crossing number. This investigation was motivated by open questions and issues raised by Marcus Schaefer in his comprehensive survey of the many variants of the crossing number of a graph.
Topics in Ramsey Theory
Ramsey theory is the study of conditions under which mathematical objects show order when partitioned. Ramsey theory on the integers concerns itself with partitions of $[1,n]$ into $r$ subsets and asks the question whether one (or more) of these $r$ subsets contains a $k$-term member of $\mathcal{F}$, where $[1,n]=\{1,2,3,\ldots,n\}$ and $\mathcal{F}$ is a certain family of subsets of $\mathbb{Z}^+$. When $\mathcal{F}$ is fixed to be the set of arithmetic progressions, the corresponding Ramsey-type numbers are called the van der Waerden numbers.
I started the project choosing $\mathcal{F}$ to be the set of semi-progressions of scope $m$. A semi-progression of scope $m\in \mathbb{Z}^+$ is a set of integers $\{x_1,x_2,\ldots,x_k\}$ such that for some $d\in\mathbb{Z}^+$, $x_{i}-x_{i-1}\in\{d,2d,\ldots,md\}$ for all $i\in\{2,3,\ldots,k\}$. The exact values of Ramsey-type functions corresponding to semi-progressions are not known. We use $SP_m(k)$ to denote these numbers as a Ramsey-type function of $k$ for a fixed scope $m$. During this project, I used the probabilistic method to get an exponential lower bound for any fixed $m$. The first chapter starts with a brief introduction to Ramsey theory and then explains the problem considered. In the second chapter, I give the results obtained on semi-progressions. In the third chapter, I will discuss the lower bound obtained on $Q_1(k)$. When $\mathcal{F}$ is chosen to be quasi-progressions of diameter $n$, the corresponding Ramsey-type numbers obtained are denoted as $Q_n(k)$. The last chapter gives an exposition of advanced probabilistic techniques, in particular concentration inequalities and how to apply them.
On Coupon Colorings of Graphs
Published
• View Publication
• BIB
Let $G$ be a graph with no isolated vertices. A {\em $k$-coupon coloring} of $G$ is an assignment of colors from $[k] := \{1,2,\dots,k\}$ to the vertices of $G$ such that the neighborhood of every vertex of $G$ contains vertices of all colors from $[k]$. The maximum $k$ for which a $k$-coupon coloring exists is called the {\em coupon coloring number} of $G$, and is denoted $χ_{c}(G)$. In this paper, we prove that every $d$-regular graph $G$ has $χ_{c}(G) \geq (1 - o(1))d/\log d$ as $d \rightarrow \infty$, and the proportion of $d$-regular graphs $G$ for which $χ_c(G) \leq (1 + o(1))d/\log d$ tends to $1$ as $|V(G)| \rightarrow \infty$.
On Hamiltonian Bypasses in one Class of Hamiltonian Digraphs
Let $D$ be a strongly connected directed graph of order $n\geq 4$ which satisfies the following condition (*): for every pair of non-adjacent vertices $x, y$ with a common in-neighbour $d(x)+d(y)\geq 2n-1$ and $min \{ d(x), d(y)\}\geq n-1$. In \cite{[2]} (J. of Graph Theory 22 (2) (1996) 181-187)) J. Bang-Jensen, G. Gutin and H. Li proved that $D$ is Hamiltonian. In [9] it was shown that if $D$ satisfies the condition (*) and the minimum semi-degree of $D$ at least two, then either $D$ contains a pre-Hamiltonian cycle (i.e., a cycle of length $n-1$) or $n$ is even and $D$ is isomorphic to the complete bipartite digraph (or to the complete bipartite digraph minus one arc) with partite sets of cardinalities of $n/2$ and $n/2$. In this paper we show that if the minimum out-degree of $D$ at least two and the minimum in-degree of $D$ at least three, then $D$ contains also a Hamiltonian bypass, (i.e., a subdigraph is obtained from a Hamiltonian cycle by reversing exactly one arc).
On Cycles through Vertices of Large Semidegree in Digraphs
Published in Mathematical Problems of Computer Science 39 (2013) 106-118
• Search Publication
Let $D$ be a strong digraph on $n=2m+1\geq 5$ vertices. In this paper we show that if $D$ contains a cycle of length $n-1$, then $D$ has also a cycle which contains all vertices with in-degree and out-degree at least $m$ (unless some extremal cases).
Linear Turan numbers of r-uniform linear cycles and related Ramsey numbers
Published
• View Publication
• BIB
An $r$-uniform hypergraph is called an $r$-graph. A hypergraph is linear if every two edges intersect in at most one vertex. Given a linear $r$-graph $H$ and a positive integer $n$, the linear Turán number $ex_L(n,H)$ is the maximum number of edges in a linear $r$-graph $G$ that does not contain $H$ as a subgraph. For each $\ell\geq 3$, let $C^r_\ell$ denote the $r$-uniform linear cycle of length $\ell$, which is an $r$-graph with edges $e_1,\ldots, e_\ell$ such that $\forall i\in [\ell-1]$, $|e_i\cap e_{i+1}|=1$, $|e_\ell\cap e_1|=1$ and $e_i\cap e_j=\emptyset$ for all other pairs $\{i,j\}, i\neq j$. For all $r\geq 3$ and $\ell\geq 3$, we show that there exist positive constants $c_{m,r}$ and $c'_{m,r}$, depending only $m$ and $r$, such that $ex_L(n,C^r_{2m})\leq c_{m,r} n^{1+\frac{1}{m}}$ and $ex_L(n,C^r_{2m+1})\leq c'_{m,r} n^{1+\frac{1}{m}}$. This answers a question of Kostochka, Mubayi, and Verstraëte. For even cycles, our result extends the result of Bondy and Simonovits on the Turán numbers of even cycles to linear hypergraphs.
Using our results on linear Turán numbers we also obtain bounds on the cycle-complete hypergraph Ramsey numbers. We show that there are positive constants $a_{m,r}$ and $b_{m,r}$, depending only on $m$ and $r$, such that $R(C^r_{2m}, K^r_t)\leq a_{m,r} (\frac{t}{\ln t})^\frac{m}{m-1}$ and $R(C^r_{2m+1}, K^r_t)\leq b_{m,r} t^\frac{m}{m-1}$.
Towards $k$-connectivity of the random graph induced by a pairwise key predistribution scheme with unreliable links
Published in IEEE Transactions on Information Theory, 61(11):6251-6271, November 2015
• View Publication
• BIB
We study the secure and reliable connectivity of wireless sensor networks. Security is assumed to be ensured by the random pairwise key predistribution scheme of Chan, Perrig, and Song, and unreliable wireless links are represented by independent on/off channels. Modeling the network by an intersection of a random $K$-out graph and an Erdős-Rényi graph, we present scaling conditions (on the number of nodes, the scheme parameter $K$, and the probability of a wireless channel being on) such that the resulting graph contains no nodes with degree less than $k$ with high probability, when the number of nodes gets large. Results are given in the form of zero-one laws and are shown to improve the previous results by Yağan and Makowski on the absence of isolated nodes (i.e., absence of nodes with degree zero). Via simulations, the established zero-one laws are shown to hold also for the property of $k$-connectivity; i.e., the property that graph remains connected despite the deletion of any $k-1$ nodes or edges.
Random directed graphs are robustly Hamiltonian
Published
• View Publication
• BIB
A classical theorem of Ghouila-Houri from 1960 asserts that every directed graph on $n$ vertices with minimum out-degree and in-degree at least $n/2$ contains a directed Hamilton cycle. In this paper we extend this theorem to a random directed graph ${\mathcal D}(n,p)$, that is, a directed graph in which every ordered pair $(u,v)$ becomes an arc with probability $p$ independently of all other pairs. Motivated by the study of resilience of properties of random graphs, we prove that if $p \gg \log n/\sqrt{n}$, then a.a.s. every subdigraph of ${\mathcal D}(n,p)$ with minimum out-degree and in-degree at least $(1/2 + o(1)) n p$ contains a directed Hamilton cycle. The constant $1/2$ is asymptotically best possible. Our result also strengthens classical results about the existence of directed Hamilton cycles in random directed graphs.
A non-trivial upper bound on the threshold bias of the Oriented-cycle game
Published
• View Publication
• BIB
In the Oriented-cycle game, introduced by Bollobás and Szabó, two players, called OMaker and OBreaker, alternately direct edges of $K_n$. OMaker directs exactly one edge, whereas OBreaker is allowed to direct between one and $b$ edges. OMaker wins if the final tournament contains a directed cycle, otherwise OBreaker wins. Bollobás and Szabó conjectured that for a bias as large as $n-3$ OMaker has a winning strategy if OBreaker must take exactly $b$ edges in each round. It was shown recently by Ben-Eliezer, Krivelevich and Sudakov, that OMaker has a winning strategy for this game whenever $b\leq \frac{n}{2}-2$. In this paper, we show that OBreaker has a winning strategy whenever $b\geq \frac{5n}{6}+2$. Moreover, in case OBreaker is required to direct exactly $b$ edges in each move, we show that OBreaker wins for $b\geq \frac{19n}{20}$, provided that $n$ is large enough. This refutes the conjecture by Bollobás and Szabó.
Cycles in triangle-free graphs of large chromatic number
Published
• View Publication
• BIB
More than twenty years ago Erdős conjectured~\cite{E1} that a triangle-free graph $G$ of chromatic number $k \geq k_0(\varepsilon)$ contains cycles of at least $k^{2 - \varepsilon}$ different lengths as $k \rightarrow \infty$. In this paper, we prove the stronger fact that every triangle-free graph $G$ of chromatic number $k \geq k_0(\varepsilon)$ contains cycles of $(\frac{1}{64} - \varepsilon)k^2 \log k$ consecutive lengths, and a cycle of length at least $(\tfrac{1}{4} - \varepsilon)k^2 \log k$. As there exist triangle-free graphs of chromatic number $k$ with at most roughly $4k^2 \log k$ vertices for large $k$, theses results are tight up to a constant factor. We also give new lower bounds on the circumference and the number of different cycle lengths for $k$-chromatic graphs in other monotone classes, in particular, for $K_r$-free graphs and graphs without odd cycles $C_{2s+1}$.
A complete classification of the $(15_4 20_3)$-configurations with at least three $K_5$-graphs
Published
• View Publication
• BIB
The class of $\left(\binom{n+1}{2}_{n-1} \binom{n+1}{3}_3\right)$-configurations which contain at least $n-2$ $K_n$-graphs coincides with the class of so called systems of triangle perspectives i.e. of configurations which contain a bundle of $n-2$ Pasch configurations with a common line. For $n=5$ the class consists of all binomial partial Steiner triple systems on $15$ points, that contain at least three $K_5$-graphs. In this case a complete classification of respective configurations is given and their automorphisms are determined.
A simple SVD algorithm for finding hidden partitions
Published
• View Publication
• BIB
Finding a hidden partition in a random environment is a general and important problem, which contains as subproblems many famous questions, such as finding a hidden clique, finding a hidden coloring, finding a hidden bipartition etc.
In this paper, we provide a simple SVD algorithm for this purpose, answering a question of McSherry. This algorithm is very easy to implement and works for sparse graphs with optimal density.
Binomial partial Steiner triple systems containing complete graphs
We propose a new approach to studies on partial Steiner triple systems consisting in determining complete graphs contained in them. We establish the structure which complete graphs yield in a minimal PSTS that contains them. As a by-product we introduce the notion of a binomial PSTS as a configuration with parameters of a minimal PSTS with a complete subgraph. A representation of binomial PSTS with at least a given number of its maximal complete subgraphs is given in terms of systems of perspectives. Finally, we prove that for each admissible integer there is a binomial PSTS with this number of maximal complete subgraphs.
Tropical geometry, the motivic nearby fiber and limit mixed Hodge numbers of hypersurfaces
Published in Res. Math. Sci. 3 (2014), 1-36
• View Publication
• BIB
The motivic nearby fiber is an invariant obtained from degenerating a complex variety over a disc. It specializes to the Euler characteristic of the original variety but also contains information on the variation of Hodge structure associated to the degeneration which is encoded as a limit mixed Hodge structure. However, this invariant is difficult to compute in practice. Using the techniques of tropical geometry we present a new formula for the motivic nearby fiber. Moreover, since there is a range of available software implementing the main algorithms in tropical geometry, our formula can be computed in practice. We specialize to the case of families of schön complex hypersurfaces of tori where we provide explicit formulas describing the action of the unipotent part of monodromy on the graded pieces (with respect to the Deligne weight filtration) of the cohomology with compact supports. These families are described combinatorially by a polyhedral subdivision of the associated Newton polytope. We develop new mixed Hodge theory-inspired combinatorial invariants of such subdivisions, among them the `refined limit mixed $h^*$-polynomial'. These invariants are related to Stanley's combinatorial study of subdivisions: in a companion combinatorial paper whose results are applied here, we situate our invariants in Stanley's theory where they become multi-variable extensions of his invariants. Our results generalize work of Danilov and Khovanski{\uı} and Batyrev and Borisov on the Hodge numbers of hypersurfaces. We also present analogous formulas describing the action of the unipotent part of monodromy on the intersection cohomology groups of a family of schön hypersurfaces of a projective toric variety.
Decomposition Spaces, Incidence Algebras and Möbius Inversion
We introduce the notion of decomposition space as a general framework for incidence algebras and Möbius inversion: it is a simplicial infinity-groupoid satisfying an exactness condition weaker than the Segal condition, which expresses decomposition. We work on the objective level of homotopy linear algebra with coefficients in infinity-groupoids, developed along the way. To any (complete) decomposition space there is associated an incidence (co)algebra (with coefficients in infinity-groupoids), shown to satisfy a sign-free version of the Möbius inversion principle. Examples of decomposition spaces beyond Segal spaces are given by the Waldhausen S-construction and by Schmitt restriction species. Imposing certain homotopy finiteness conditions yields the notion of Möbius decomposition space, an extension of the notion of Möbius category of Leroux. We take a functorial viewpoint throughout, emphasising conservative ULF functors, and show that most reduction procedures in the classical theory are examples of this notion, and in particular that many are examples of decalage of decomposition spaces. Our main theorem concerns the Lawvere-Menni Hopf algebra of Möbius intervals, which contains the universal Möbius function (but does not come from a Möbius category): we establish that Möbius intervals form a decomposition space, which is in some sense universal.
NOTE: The notion of decomposition space was arrived at independently by Dyckerhoff and Kapranov (arXiv:1212.3563) who call it unital 2-Segal space. Our theory is quite orthogonal to theirs.
A Simple Algorithm for Hamiltonicity
We develop a new algebraic technique that solves the following problem: Given a black box that contains an arithmetic circuit $f$ over a field of characteristic $2$ of degree~$d$. Decide whether $f$, expressed as an equivalent multivariate polynomial, contains a multilinear monomial of degree $d$.
This problem was solved by Williams \cite{W} and Björklund et. al. \cite{BHKK} for a white box (the circuit is given as an input) that contains arithmetic circuit. We show a simple black box algorithm that solves the problem with the same time complexity.
This gives a simple randomized algorithm for the simple $k$-path problem for directed graphs of the same time complexity\footnote{$O^*(f(k))$ is $O(poly(n)\cdot f(k))$} $O^*(2^k)$ as in \cite{W} and with reusing the same ideas from \cite{BHKK} with the above gives another algorithm (probably not simpler) for undirected graphs of the same time complexity $O^*(1.657^k)$ as in \cite{B10,BHKK}.
The set of minimal distances in Krull monoids
Published
• View Publication
• BIB
Let $H$ be a Krull monoid with finite class group $G$. Then every non-unit $a \in H$ can be written as a finite product of atoms, say $a=u_1 \cdot \ldots \cdot u_k$. The set $\mathsf L (a)$ of all possible factorization lengths $k$ is called the set of lengths of $a$. If $G$ is finite, then there is a constant $M \in \mathbb N$ such that all sets of lengths are almost arithmetical multiprogressions with bound $M$ and with difference $d \in Δ^* (H)$, where $Δ^* (H)$ denotes the set of minimal distances of $H$. We show that $\max Δ^* (H) \le \max \{\exp (G)-2, \mathsf r (G)-1\}$ and that equality holds if every class of $G$ contains a prime divisor, which holds true for holomorphy rings in global fields.
On Topological Minors in Random Simplicial Complexes
Published
• View Publication
• BIB
For random graphs, the containment problem considers the probability that a binomial random graph $G(n,p)$ contains a given graph as a substructure. When asking for the graph as a topological minor, i.e., for a copy of a subdivision of the given graph, it is well-known that the (sharp) threshold is at $p=1/n$. We consider a natural analogue of this question for higher-dimensional random complexes $X^k(n,p)$, first studied by Cohen, Costa, Farber and Kappeler for $k=2$.
Improving previous results, we show that $p=Θ(1/\sqrt{n})$ is the (coarse) threshold for containing a subdivision of any fixed complete $2$-complex. For higher dimensions $k>2$, we get that $p=O(n^{-1/k})$ is an upper bound for the threshold probability of containing a subdivision of a fixed $k$-dimensional complex.
Distinct distance estimates and low degree polynomial partitioning
Published
• View Publication
• BIB
We give a shorter proof of a slightly weaker version of a theorem of Nets Katz and the author. We prove that if a set of $L$ lines in $\mathbb{R}^3$ contains at most $L^{1/2}$ lines in any low degree algebraic surface, then the number of $r$-rich points is at most $C_εL^{(3/2) + ε} r^{-2}$. Nets and I used this estimate to prove a distinct distance estimate for points in the plane. With the slightly weaker theorem in this paper, we get a slightly weaker distinct distance estimate: any set of $N$ points in $\mathbb{R}^2$ determines at least $c_εN^{1 - ε}$ distinct distances.