Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Thresholds for contagious sets in random graphs
Published in Ann. Appl. Probab. 28(2): 1052-1098 (April 2018)
• View Publication
• BIB
For fixed $r\geq 2$, we consider bootstrap percolation with threshold $r$ on the Erdős-Rényi graph ${\cal G}_{n,p}$. We identify a threshold for $p$ above which there is with high probability a set of size $r$ which can infect the entire graph. This improves a result of Feige, Krivelevich and Reichman, which gives bounds for this threshold, up to multiplicative constants.
As an application of our results, we also obtain an upper bound for the threshold for $K_4$-bootstrap percolation on ${\cal G}_{n,p}$, as studied by Balogh, Bollobás and Morris. We conjecture that our bound is asymptotically sharp.
These thresholds are closely related to the survival probabilities of certain time-varying branching processes, and we derive asymptotic formulae for these survival probabilities which are of interest in their own right.
Defective 2-colorings of planar graphs without 4-cycles and 5-cycles
Published
• View Publication
• BIB
Let $G$ be a graph without 4-cycles and 5-cycles. We show that the problem to determine whether $G$ is $(0,k)$-colorable is NP-complete for each positive integer $k.$ Moreover, we construct non-$(1,k)$-colorable planar graphs without 4-cycles and 5-cycles for each positive integer $k.$ Finally, we prove that $G$ is $(d_1,d_2)$-colorable where $(d_1,d_2)=(4,4), (3,5),$ and $(2,9).$
On metric convexity, the discrete Hahn-Banach theorem, separating systems and sets of points forming only acute angles
Published
• View Publication
• BIB
This text has three parts.
The first one is largely autobiographical, hence my use of the first person. There I recall how Gerard Cohen influenced important parts of my research.
The second is of a more classic mathematical nature. I present a discrete analogue of the Hahn-Banach theorem, which serves as a basis for generalizing the notion of separating systems in the context of metric convexity.
The third one aims at building a bridge between two communities of researchers, those interested in separating systems, and those interested in a certain question in combinatorial geometry --- sets of points forming only acute angles --- who seem not to be aware of each other, while they are working on precisely the same problem!
Of course, these three themes are closely intertwined.
Oriented Bipartite Graphs and the Goldbach Graph
Published
• View Publication
• BIB
In this paper, we study oriented bipartite graphs. In particular, we introduce "bitransitive" graphs. Several characterizations of bitransitive bitournaments are obtained. We show that bitransitive bitounaments are equivalent to acyclic bitournaments. As applications, we characterize acyclic bitournaments with Hamiltonian paths, determine number of non-isomorphic acyclic bitournaments of a given order, and solve the graph-isomorphism problem in linear time for acyclic bitournaments. Next, we prove the well-known Caccetta-H$\ddot{\textrm{a}}$ggkvist Conjecture for oriented bipartite graphs for some cases for which it is unsolved in general oriented graphs. We also introduce the concept of undirected as well as oriented "odd-even" graphs. We characterize bipartite graphs and acyclic oriented bipartite graphs in terms of them. In fact, we show that any bipartite graph (acyclic oriented bipartite graph) can be represented by some odd-even graph (oriented odd-even graph). We obtain some conditions for connectedness of odd-even graphs. This study of odd-even graphs and their connectedness is motivated by a special family of odd-even graphs which we call "Goldbach graphs". We show that the famous Goldbach's conjecture is equivalent to the connectedness of Goldbach graphs. Several other number theoretic conjectures (e.g., the twin prime conjecture) are related to various parameters of Goldbach graphs, motivating us to study the nature of vertex-degrees and independent sets of these graphs. Finally, we observe Hamiltonian properties of some odd-even graphs related to Goldbach graphs for small number of vertices.
Configuration Spaces of Equal Spheres Touching a Given Sphere: The Twelve Spheres Problem
Published in pp. 219--277 in: G. Ambrus, I. Barany, K. J. Boroczky, G. Fejes-Toth, J. Pach (Eds.) New Trends in Intuitive Geometry, Bolyai Society Mathematical Studies No. 27, Springer-Verlag GMBH, Germany 2018
• View Publication
• BIB
The problem of twelve spheres is to understand, as a function of $r \in (0,r_{max}(12)]$, the configuration space of $12$ non-overlapping equal spheres of radius $r$ touching a central unit sphere. It considers to what extent, and in what fashion, touching spheres can be varied, subject to the constraint of always touching the central sphere. Such constrained motion problems are of interest in physics and materials science, and the problem involves topology and geometry. This paper reviews the history of work on this problem, presents some new results, and formulates some conjectures. It also presents general results on configuration spaces of $N$ spheres of radius $r$ touching a central unit sphere, with emphasis on $3 \le N \le 14$. The problem of determining the maximal radius $r_{max}(N)$ is a version of the Tammes problem, to which László Fejes Tóth made significant contributions.
Monochromatic trees in random graphs
Published in Math. Proc. Camb. Phil. Soc. 166 (2019) 191-208
• View Publication
• BIB
Bal and DeBiasio [Partitioning random graphs into monochromatic components, Electron. J. Combin. 24 (2017), Paper 1.18] put forward a conjecture concerning the threshold for the following Ramsey-type property for graphs $G$: every $k$-colouring of the edge set of $G$ yields $k$ pairwise vertex disjoint monochromatic trees that partition the whole vertex set of $G$. We determine the threshold for this property for two colours.
Removal Lemmas with Polynomial Bounds
Published
• View Publication
• BIB
A common theme in many extremal problems in graph theory is the relation between local and global properties of graphs. One of the most celebrated results of this type is the Ruzsa-Szemerédi triangle removal lemma, which states that if a graph is $\varepsilon$-far from being triangle free, then most subsets of vertices of size $C(\varepsilon)$ are not triangle free. Unfortunately, the best known upper bound on $C(\varepsilon)$ is given by a tower-type function, and it is known that $C(\varepsilon)$ is not polynomial in $\varepsilon^{-1}$. The triangle removal lemma has been extended to many other graph properties, and for some of them the corresponding function $C(\varepsilon)$ is polynomial. This raised the natural question, posed by Goldreich in 2005 and more recently by Alon and Fox, of characterizing the properties for which one can prove removal lemmas with polynomial bounds.
Our main results in this paper are new sufficient and necessary criteria for guaranteeing that a graph property admits a removal lemma with a polynomial bound. Although both are simple combinatorial criteria, they imply almost all prior positive and negative results of this type. Moreover, our new sufficient conditions allow us to obtain polynomially bounded removal lemmas for many properties for which the previously known bounds were of tower-type. In particular, we show that every {\em semi-algebraic} graph property admits a polynomially bounded removal lemma. This confirms a conjecture of Alon.
Toric Geometry of the Regular Convex Polyhedra
Published
• View Publication
• BIB
In this article, we describe symplectic and complex toric spaces associated to the five regular convex polyhedra. The regular tetrahedron and the cube are rational and simple, the regular octahedron is not simple, the regular dodecahedron is not rational and the regular icosahedron is neither simple nor rational. We remark that the last two cases cannot be treated via standard toric geometry.
Cospan construction of the graph category of Borisov and Manin
Published in Publ. Mat. 62 (2018), 331-353
• View Publication
• BIB
It is shown how the graph category of Borisov and Manin can be constructed from (a variant of) the graph category of Joyal and Kock, essentially by reversing the generic morphisms. More precisely, the morphisms in the Borisov-Manin category are exhibited as cospans of reduced covers and refinement morphisms.
On the number of maximum independent sets in Doob graphs
Published in Sib. Elektron. Mat. Izv. (Siberian Electronic Mathematical Reports) 12, 2015, 508-512
• View Publication
• BIB
The Doob graph $D(m,n)$ is a distance-regular graph with the same parameters as the Hamming graph $H(2m+n,4)$. The maximum independent sets in the Doob graphs are analogs of the distance-$2$ MDS codes in the Hamming graphs. We prove that the logarithm of the number of the maximum independent sets in $D(m,n)$ grows as $2^{2m+n-1}(1+o(1))$. The main tool for the upper estimation is constructing an injective map from the class of maximum independent sets in $D(m,n)$ to the class of distance-$2$ MDS codes in $H(2m+n,4)$.
Completely regular codes in the infinite hexagonal grid
Published in Sib. Elektron. Mat. Izv. (Siberian Electronic Mathematical Reports) 13, 2016, 987-1016
• View Publication
• BIB
A set $C$ of vertices of a simple graph is called a completely regular code if for each $i=0$, $1$, $2$, \ldots and $j = i-1$, $i$, $i+1$, all vertices at distance $i$ from $C$ have the same number $s_{ij}$ of neighbors at distance $j$ from $C$. We characterize the completely regular codes in the infinite hexagonal grid graph.
Sparse generalised polynomials
Published
• View Publication
• BIB
We investigate generalised polynomials (i.e. polynomial-like expressions involving the use of the floor function) which take the value $0$ on all integers except for a set of density $0$.
Our main result is that the set of integers where a sparse generalised polynomial takes non-zero value cannot contain a translate of an IP set. We also study some explicit constructions, and show that the characteristic functions of the Fibonacci and Tribonacci numbers are given by generalised polynomails. Finally, we show that any sufficiently sparse $\{0,1\}$-valued sequence is given by a generalised polynomial.
(This paper is essentially the first half of our earlier submission arXiv:1610.03900 [math.NT]. Because the material in arXiv:1610.03900 [math.NT] touches upon many different subjects, we believe it is preferable to split it into two independent papers.)
kirchhoff index and degree kirchhoff index of complete multipartite graph
Published
• View Publication
• BIB
The Kirchhoff index of a graph is defined as half of the sum of all effective resistance distances between any two vertices. Assuming a complete multipartite graph G, by methods from linear algebra we explicitly formulate effective resistance distances between any two vertices of G, and its Kirchhoff index. In rest of paper we explore extremal value of Kirchhoff index for multipartite graphs
On Komlós' tiling theorem in random graphs
Published
• View Publication
• BIB
Conlon, Gowers, Samotij, and Schacht showed that for a given graph $H$ and a constant $γ> 0$, there exists $C > 0$ such that if $p \ge Cn^{-1/m_2(H)}$ then asymptotically almost surely every spanning subgraph $G$ of the random graph $\mathcal{G}(n,p)$ with minimum degree at least $δ(G) \ge (1 - 1/χ_{\mathrm{cr}}(H) + γ)np$ contains an $H$-packing that covers all but at most $γn$ vertices. Here, $χ_{\mathrm{cr}}(H)$ denotes the critical chromatic threshold, a parameter introduced by Komlós. We show that this theorem can be bootstraped to obtain an $H$-packing covering all but at most $γ(C/p)^{m_2(H)}$ vertices, which is strictly smaller when $p > C n^{-1/m_2(H)}$. In the case where $H = K_3$ this answers the question of Balogh, Lee, and Samotij. Furthermore, we give an upper bound on the size of an $H$-packing for certain ranges of $p$.
Plurigraph coloring and scheduling problems
Published in Electron. J. Combin. 24(2) (2017), #P2.29
• View Publication
• BIB
We define a new type of vertex coloring which generalizes vertex coloring in graphs, hypergraphs, and simplicial complexes. This coloring also generalizes oriented coloring, acyclic coloring, and star coloring. There is an associated symmetric function in noncommuting variables for which we give a deletion-contraction formula. In the case of graphs this symmetric function in noncommuting variables agrees with the chromatic symmetric function in noncommuting variables of Gebhard and Sagan. Our vertex coloring is a special case of the scheduling problems defined by Breuer and Klivans. We show how the deletion-contraction law can be applied to scheduling problems. Also, we show that the chromatic symmetric function determines the degree sequence of uniform hypertrees, but there exist pairs on $3$-uniform hypertrees which are not isomorphic yet have the same chromatic symmetric function.
Upper bounds for $s$-distance sets and equiangular lines
Published
• View Publication
• BIB
The set of points in a metric space is called an $s$-distance set if pairwise distances between these points admit only $s$ distinct values. Two-distance spherical sets with the set of scalar products $\{α, -α\}$, $α\in[0,1)$, are called equiangular. The problem of determining the maximum size of $s$-distance sets in various spaces has a long history in mathematics. We suggest a new method of bounding the size of an $s$-distance set in compact two-point homogeneous spaces via zonal spherical functions. This method allows us to prove that the maximum size of a spherical two-distance set in $\mathbb{R}^n$, $n\geq 7$, is $\frac{n(n+1)}2$ with possible exceptions for some $n=(2k+1)^2-3$, $k \in \mathbb{N}$. We also prove the universal upper bound $\sim \frac 2 3 n a^2$ for equiangular sets with $α=\frac 1 a$ and, employing this bound, prove a new upper bound on the size of equiangular sets in all dimensions. Finally, we classify all equiangular sets reaching this new bound.
A $p$-adic supercongruence for truncated hypergeometric series ${}_7F_6$
Published in Results Math. 72 (2017), 2057--2066
• View Publication
• BIB
Using an identity due to Gessel and Stanton and some properties of the $p$-adic Gamma function, we establish a $p$-adic supercongruence for truncated hypergeometric series ${}_7F_6$. From it we deduce some related supercongruences, which extend certain recent results and confirm a supercongruence conjecture.
Between the stochastic six vertex model and Hall-Littlewood processes
We prove that the joint distribution of the values of the height function for the stochastic six vertex model in a quadrant along a down-right path coincides with that for the lengths of the first columns of partitions distributed according to certain Hall-Littlewood processes. In the limit when one of the quadrant axes becomes continuous, we also show that the two-dimensional random field of the height function values has the same distribution as the lengths of the first columns of partitions from certain ascending Hall-Littlewood processes evolving under a Robinson-Schensted-Knuth type Markovian evolution.
Degree sum conditions for graphs to have proper connection number 2
A path $P$ in an edge-colored graph $G$ is a \emph{proper path} if no two adjacent edges of $P$ are colored with the same color. The graph $G$ is \emph{proper connected} if, between every pair of vertices, there exists a proper path in $G$. The \emph{proper connection number} $pc(G)$ of a connected graph $G$ is defined as the minimum number of colors to make $G$ proper connected. In this paper, we study the degree sum condition for a general graph or a bipartite graph to have proper connection number 2. First, we show that if $G$ is a connected noncomplete graph of order $n\geq 5$ such that $d(x)+d(y)\geq \frac{n}{2}$ for every pair of nonadjacent vertices $x,y\in V(G)$, then $pc(G)=2$ except for three small graphs on 6, 7 and 8 vertices. In addition, we obtain that if $G$ is a connected bipartite graph of order $n\geq 4$ such that $d(x)+d(y)\geq \frac{n+6}{4}$ for every pair of nonadjacent vertices $x,y\in V(G)$, then $pc(G)=2$. Examples are given to show that the above conditions are best possible.
On the real roots of $σ$-Polynomials
Published in Graphs and Combinatorics, 32(5) (2016), 1723-1730
• View Publication
• BIB
The $σ$-polynomial is given by $σ(G,x) = \sum_{i=χ(G)}^{n} a_{i}(G)\, x^{i}$, where $a_{i}(G)$ is the number of partitions of the vertices of $G$ into $i$ nonempty independent sets. These polynomials are closely related to chromatic polynomials, as the chromatic polynomial of $G$ is given by $\sum_{i=χ(G)}^{n} a_{i}(G)\, x(x-1) \cdots (x-(i-1))$. It is known that the closure of the real roots of chromatic polynomials is precisely $\{0,~1\} \bigcup [32/27,\infty)$, with $(-\infty,0)$, $(0,1)$ and $(1,32/27)$ being maximal zero-free intervals for roots of chromatic polynomials. We ask here whether such maximal zero-free intervals exist for $σ$-polynomials, and show that the only such interval is $[0,\infty)$ -- that is, the closure of the real roots of $σ$-polynomials is $(-\infty,0]$.