Showing 20 papers (Total: 82432 papers, 47671 authors in database)
A proof of Zhil'tsov's theorem on decidability of equational theory of epigroups
Epigroups are semigroups equipped with an additional unary operation called pseudoinversion. Each finite semigroup can be considered as epigroup. We prove the following theorem announced by Zhil'tsov in 2000: the equational theory of the class of all epigroups coincides with the equational theory of the class of all finite epigroups and is decidable. We show that the theory is not finitely based but provide a transparent infinite basis for it.
Random Walks on Simplicial Complexes and Harmonics
Published
• View Publication
• BIB
In this paper, we introduce random walks with absorbing states on simplicial complexes. Given a simplicial complex of dimension $d$, a random walk with an absorbing state is defined which relates to the spectrum of the $k$-dimensional Laplacian for $1 \leq k \leq d$ and which relates to the local random walk on a graph defined by Fan Chung. We also examine an application of random walks on simplicial complexes to a semi-supervised learning problem. Specifically, we consider a label propagation algorithm on oriented edges, which applies to a generalization of the partially labelled classification problem on graphs.
Cycle-maximal triangle-free graphs
Published in Discrete Mathematics 338 (2015) pp. 274-290
• View Publication
• BIB
We conjecture that the balanced complete bipartite graph $K_{\lfloor n/2 \rfloor,\lceil n/2 \rceil}$ contains more cycles than any other $n$-vertex triangle-free graph, and we make some progress toward proving this. We give equivalent conditions for cycle-maximal triangle-free graphs; show bounds on the numbers of cycles in graphs depending on numbers of vertices and edges, girth, and homomorphisms to small fixed graphs; and use the bounds to show that among regular graphs, the conjecture holds. We also consider graphs that are close to being regular, with the minimum and maximum degrees differing by at most a positive integer $k$. For $k=1$, we show that any such counterexamples have $n\le 91$ and are not homomorphic to $C_5$; and for any fixed $k$ there exists a finite upper bound on the number of vertices in a counterexample. Finally, we describe an algorithm for efficiently computing the matrix permanent (a #P-complete problem in general) in a special case used by our bounds.
Local law for eigenvalues of random regular bipartite graphs
Published
• View Publication
• BIB
In this paper we study the local law for eigenvalues of large random regular bipartite graphs with degree growing arbitrarily fast. We prove that the empirical spectral distribution of the adjacency matrix converges to a scaled down copy of the Marchenko - Pastur distribution on intervals of short length.
Bounding Helly numbers via Betti numbers
Published
• View Publication
• BIB
We show that very weak topological assumptions are enough to ensure the existence of a Helly-type theorem. More precisely, we show that for any non-negative integers $b$ and $d$ there exists an integer $h(b,d)$ such that the following holds. If $\mathcal F$ is a finite family of subsets of $\mathbb R^d$ such that $\tildeβ_i\left(\bigcap\mathcal G\right) \le b$ for any $\mathcal G \subsetneq \mathcal F$ and every $0 \le i \le \lceil d/2 \rceil-1$ then $\mathcal F$ has Helly number at most $h(b,d)$. Here $\tildeβ_i$ denotes the reduced $\mathbb Z_2$-Betti numbers (with singular homology). These topological conditions are sharp: not controlling any of these $\lceil d/2 \rceil$ first Betti numbers allow for families with unbounded Helly number.
Our proofs combine homological non-embeddability results with a Ramsey-based approach to build, given an arbitrary simplicial complex $K$, some well-behaved chain map $C_*(K) \to C_*(\mathbb R^d)$.
Secret sharing on the $d$-dimensional cube
Published
• View Publication
• BIB
We prove that for $d>1$ the best information ratio of the perfect secret sharing scheme based on the edge set of the $d$-dimensional cube is exactly $d/2$. Using the technique developed, we also prove that the information ratio of the infinite $d$-dimensional lattice is $d$.
Large monochromatic triple stars in edge colourings
Published
• View Publication
• BIB
Following problems posed by Gyárfás, we show that for every $r$-edge-colouring of $K_n$ there is a monochromatic triple star of order at least $n/(r-1)$, improving a previous result by Ruszinkó.
An edge colouring of a graph is called a local $r$-colouring if every vertex spans edges of at most $r$ distinct colours. We prove the existence of a monochromatic triple star with at least $rn/(r^2-r+1)$ vertices in every local $r$-colouring of $K_n$.
The domination number and the least $Q$-eigenvalue
Published
• View Publication
• BIB
A vertex set $D$ of a graph $G$ is said to be a dominating set if every vertex of $V(G)\setminus D$ is adjacent to at least a vertex in $D$, and the domination number $γ(G)$ ($γ$, for short) is the minimum cardinality of all dominating sets of $G$. For a graph, the least $Q$-eigenvalue is the least eigenvalue of its signless Laplacian matrix. In this paper, for a nonbipartite graph with both order $n$ and domination number $γ$, we show that $n\geq 3γ-1$, and show that it contains a unicyclic spanning subgraph with the same domination number $γ$. By investigating the relation between the domination number and the least $Q$-eigenvalue of a graph, we minimize the least $Q$-eigenvalue among all the nonbipartite graphs with given domination number.
Sphere equivalence, Banach expanders, and extrapolation
Published in Int. Math. Res. Notices, Vol. 2015, 4392--4420, 2015
• View Publication
• BIB
We study the Banach spectral gap lambda_1(G;X,p) of finite graphs G for pairs (X,p) of Banach spaces and exponents. We define the notion of sphere equivalence between Banach spaces and show a generalization of Matousek's extrapolation for Banach spaces sphere equivalent to uniformly convex ones. As a byproduct, we prove that expanders are automatically expanders with respects to (X,p) for any X sphere equivalent to a uniformly curved Banach space and for any p strictly bigger than 1.
Avoiding 2-binomial squares and cubes
Published
• View Publication
• BIB
Two finite words $u,v$ are 2-binomially equivalent if, for all words $x$ of length at most 2, the number of occurrences of $x$ as a (scattered) subword of $u$ is equal to the number of occurrences of $x$ in $v$. This notion is a refinement of the usual abelian equivalence. A 2-binomial square is a word $uv$ where $u$ and $v$ are 2-binomially equivalent.
In this paper, considering pure morphic words, we prove that 2-binomial squares (resp. cubes) are avoidable over a 3-letter (resp. 2-letter) alphabet. The sizes of the alphabets are optimal.
Quenched invariance principle for simple random walk on clusters in correlated percolation models
Published
• View Publication
• BIB
We prove quenched invariance principle for simple random walk on the unique infinite percolation cluster for a general class of percolation models on Z^d, d>=2, with long-range correlations introduced in arXiv:1212.2885, solving one of the open problems from there. This gives new results for random interlacements in dimension d>=3 at every level, as well as for the vacant set of random interlacements and the level sets of the Gaussian free field in the regime of the so-called local uniqueness (which is believed to coincide with the whole supercritical regime). An essential ingredient of our proof is a new isoperimetric inequality for correlated percolation models.
Properties of metrics and infinite geometric graphs
Published
• View Publication
• BIB
We consider isomorphism properties of infinite random geometric graphs defined over a variety of metrics. In previous work, it was shown that for $\mathbb{R}^n$ with the $L_{\infty}$-metric, the infinite random geometric graph is, with probability 1, unique up to isomorphism. However, in the case $n=2$ this is false with either of the $L_2$-metric. We generalize this result to a large family of metrics induced by norms. Within this class of metric spaces, we show that the infinite geometric graph is not unique up to isomorphism if it has the new property which we name truncating: each step-isometry from a dense set to itself is an isometry. As a corollary, we derive that the infinite random geometric graph defined in $L_p$ space is not unique up to isomorphism with probability 1 for all finite $p>1.$
The Property of Having a $k$-Regular Subgraph Has a Sharp Threshold
Published in Random Struct. Algorithms 42(4): 509-519 (2013)
• View Publication
• BIB
We prove that the property of containing a $k$-regular subgraph in the random graph model $G(n,p)$ has a sharp threshold for $k\ge3$. We also show how to use similar methods to obtain an easy prove for the (known fact of) sharpness of having a non empty $k$-core for $k\ge3$.
Anti-Ramsey numbers of small graphs
Published in Ars Combinatoria 123 (2015), 41-53
• Search Publication
The anti-Ramsey number $AR(n,G$), for a graph $G$ and an integer $n\geq|V(G)|$, is defined to be the minimal integer $r$ such that in any edge-colouring of $K_n$ by at least $r$ colours there is a multicoloured copy of $G$, namely, a copy of $G$ whose edges have distinct colours. In this paper we determine the anti-Ramsey numbers of all graphs having at most four edges.
Anti-Ramsey numbers of graphs with small connected components
Published in Graphs and Combinatorics 32 (2016), 649--662
• View Publication
• BIB
The anti-Ramsey number, $AR(n,G)$, for a graph $G$ and an integer $n\geq|V(G)|$, is defined to be the minimal integer $r$ such that in any edge-colouring of $K_n$ by at least $r$ colours there is a multicoloured copy of $G$, namely, a copy of $G$ that each of its edges has a distinct colour. In this paper we determine, for large enough $n$, $AR(n,L\cup tP_2)$ and $AR(n,L\cup kP_3)$ for any large enough $t$ and $k$, and a graph $L$ satisfying some conditions. Consequently, we determine $AR(n,G)$, for large enough $n$, where $G$ is $P_3\cup tP_2$ for any $t\geq 3$, $P_4\cup tP_2$ and $C_3\cup tP_2$ for any $t\geq 2$, $kP_3$ for any $k\geq 3$, $tP_2\cup kP_3$ for any $t\geq 1$, $k\geq 2$, and $P_{t+1}\cup kP_3$ for any $t\geq 3$, $k\geq 1$. Furthermore, we obtain upper and lower bounds for $AR(n,G)$, for large enough $n$, where $G$ is $P_{k+1}\cup tP_2$ and $C_k\cup tP_2$ for any $k\geq 4$, $t\geq 1$.
Hadwiger's conjecture for 3-arc graphs
Published in Electronic J. Combinatorics 23:4.21, 2016
• View Publication
• BIB
The 3-arc graph of a digraph $D$ is defined to have vertices the arcs of $D$ such that two arcs $uv, xy$ are adjacent if and only if $uv$ and $xy$ are distinct arcs of $D$ with $v\ne x$, $y\ne u$ and $u,x$ adjacent.
We prove that Hadwiger's conjecture holds for 3-arc graphs.
On the Union of Arithmetic Progressions
Published in SIAM J. Discrete Math. 28 (2014), 1062--1073
• View Publication
• BIB
We show that for every $\varepsilon>0$ there is an absolute constant $c(\varepsilon)>0$ such that the following is true. The union of any $n$ arithmetic progressions, each of length $n$, with pairwise distinct differences must consist of at least $c(\varepsilon)n^{2-\varepsilon}$ elements. We observe, by construction, that one can find $n$ arithmetic progressions, each of length $n$, with pairwise distinct differences such that the cardinality of their union is $o(n^2)$. We refer also to the non-symmetric case of $n$ arithmetic progressions, each of length $\ell$, for various regimes of $n$ and $\ell$.
Recursively-Regular Subdivisions and Applications
Published in Journal of Computational Geometry 7 (2016), 185-220
• View Publication
• BIB
We generalize regular subdivisions (polyhedral complexes resulting from the projection of the lower faces of a polyhedron) introducing the class of recursively-regular subdivisions. Informally speaking, a recursively-regular subdivision is a subdivision that can be obtained by splitting some faces of a regular subdivision by other regular subdivisions (and continue recursively). We also define the \emph{finest regular coarsening} and the \emph{regularity tree} of a polyhedral complex. We prove that recursively-regular subdivisions are not necessarily connected by flips and that they are acyclic with respect to the in-front relation. We show that the finest regular coarsening of a subdivision can be efficiently computed, and that whether a subdivision is recursively regular can be efficiently decided. As an application, we also extend a theorem known since 1981 on illuminating space by cones and present connections of recursive regularity to tensegrity theory and graph-embedding problems.
On the crossing number of some complete multipartite graphs
Published in Utilitas Mathematica 79 (2009), p.125-143
• Search Publication
In this paper, we find the crossing number of the complete multipartite graphs $K_{1,1,1,1,n}$, $K_{1,2,2,n}$, $K_{1,1,1,2,n}$ and $K_{1,4,n}$.
Two Approaches to Sidorenko's Conjecture
Published
• View Publication
• BIB
Sidorenko's conjecture states that for every bipartite graph $H$ on $\{1,\cdots,k\}$, $\int \prod_{(i,j)\in E(H)} h(x_i, y_j) dμ^{|V(H)|} \ge \left( \int h(x,y) \,dμ^2 \right)^{|E(H)|}$ holds, where $μ$ is the Lebesgue measure on $[0,1]$ and $h$ is a bounded, non-negative, symmetric, measurable function on $[0,1]^2$. An equivalent discrete form of the conjecture is that the number of homomorphisms from a bipartite graph $H$ to a graph $G$ is asymptotically at least the expected number of homomorphisms from $H$ to the Erdős-Rényi random graph with the same expected edge density as $G$. In this paper, we present two approaches to the conjecture. First, we introduce the notion of tree-arrangeability, where a bipartite graph $H$ with bipartition $A \cup B$ is tree-arrangeable if neighborhoods of vertices in $A$ have a certain tree-like structure. We show that Sidorenko's conjecture holds for all tree-arrangeable bipartite graphs. In particular, this implies that Sidorenko's conjecture holds if there are two vertices $a_1, a_2$ in $A$ such that each vertex $a \in A$ satisfies $N(a) \subseteq N(a_1)$ or $N(a) \subseteq N(a_2)$, and also implies a recent result of Conlon, Fox, and Sudakov \cite{CoFoSu}. Second, if $T$ is a tree and $H$ is a bipartite graph satisfying Sidorenko's conjecture, then it is shown that the Cartesian product $T \Box H$ of $T$ and $H$ also satisfies Sidorenko's conjecture. This result implies that, for all $d \ge 2$, the $d$-dimensional grid with arbitrary side lengths satisfies Sidorenko's conjecture.