Showing 20 papers (Total: 82311 papers, 47607 authors in database)
Large matchings in bipartite graphs have a rainbow matching
Published in European Journal of Combinatorics. Vol. 38, 97-101 (2013)
• View Publication
• BIB
Let $g(n)$ be the least number such that every collection of $n$ matchings, each of size at least $g(n)$, in a bipartite graph, has a full rainbow matching. Aharoni and Berger \cite{AhBer} conjectured that $g(n)=n+1$ for every $n>1$. This generalizes famous conjectures of Ryser, Brualdi and Stein. Recently, Aharoni, Charbit and Howard \cite{ACH} proved that $g(n)\le\lfloor\frac{7}{4}n\rfloor$. We prove that $g(n)\le\lfloor\frac{5}{3} n\rfloor$.
Domination Polynomials of Graph Products
The domination polynomials of binary graph operations, aside from union, join and corona, have not been widely studied. We compute and prove recurrence formulae and properties of the domination polynomials of families of graphs obtained by various products, ranging from explicit formulae and recurrences for specific families to more general results. As an application, we show the domination polynomial is computationally hard to evaluate.
A solution to the Pyjama Problem
Published in Inventiones mathematicae, 10/2015, vol. 202, issue 1, pp. 239-270
• View Publication
• BIB
The "pyjama stripe" is the subset of $\mathbb{R}^2$ consisting of a vertical strip of width $2 \varepsilon$ around every integer $x$-coordinate. The "pyjama problem" asks whether finitely many rotations of the pyjama stripe around the origin can cover the plane.
The purpose of this paper is to answer this question in the affirmative, for all positive $\varepsilon$. The problem is reduced to a statement closely related to Furstenberg's $\times 2,\, \times 3$ Theorem from topological dynamics, and is proved by analogy with that result.
A note on the acquaintance time of random graphs
Published
• View Publication
• BIB
In this short note, we prove the conjecture of Benjamini, Shinkar, and Tsur on the acquaintance time $AC(G)$ of a random graph $G \in G(n,p)$. It is shown that asymptotically almost surely $AC(G) = O(\log n / p)$ for $G \in G(n,p)$, provided that $pn > (1+ε) \log n$ for some $ε> 0$ (slightly above the threshold for connectivity). Moreover, we show a matching lower bound for dense random graphs, which also implies that asymptotically almost surely $K_n$ cannot be covered with $o(\log n / p)$ copies of a random graph $G \in G(n,p)$, provided that $pn > n^{1/2+ε}$ and $p < 1-ε$ for some $ε>0$. We conclude the paper with a small improvement on the general upper bound showing that for any $n$-vertex graph $G$, we have $AC(G) = O(n^2/\log n)$.
Almost all k-cop-win graphs contain a dominating set of cardinality k
We consider $k$-cop-win graphs in the binomial random graph $G(n,1/2).$ It is known that almost all cop-win graphs contain a universal vertex. We generalize this result and prove that for every $k \in N$, almost all $k$-cop-win graphs contain a dominating set of cardinality $k$. From this it follows that the asymptotic number of labelled $k$-cop-win graphs of order $n$ is equal to $(1+o(1)) (1-2^{-k})^{-k} {n \choose k} 2^{n^2/2 - (1/2-\log_2(1-2^{-k})) n}$.
Toppling numbers of complete and random graphs
Published
• View Publication
• BIB
We study a two-person game played on graphs based on the widely studied chip-firing game. Players Max and Min alternately place chips on the vertices of a graph. When a vertex accumulates as many chips as its degree, it fires, sending one chip to each neighbour; this may in turn cause other vertices to fire. The game ends when vertices continue firing forever. Min seeks to minimize the number of chips played during the game, while Max seeks to maximize it. When both players play optimally, the length of the game is the {\em toppling number} of a graph $G$, and is denoted by $\tg(G)$.
By considering strategies for both players and investigating the evolution of the game with differential equations, we provide asymptotic bounds on the toppling number of the complete graph. In particular, we prove that for sufficiently large $n$ $$0.596400 n^2 < \tg(K_n) < 0.637152 n^2.$$ Using a fractional version of the game, we couple the toppling numbers of complete graphs and the binomial random graph $G(n,p)$. It is shown that for $pn \ge n^{2/\sqrt{\log n}}$ asymptotically almost surely $t(G(n,p))=(1+o(1))p\tg(K_n)$.
Some extremal problems for hereditary properties of graphs
Published
• View Publication
• BIB
This note answers extremal questions like: what is the maximum number of edges in a graph of order n, which belongs to some hereditary property. The same question is answered also for the spectral radius and other similar parameters.
An analytic theory of extremal hypergraph problems
In this paper extremal problems for uniform hypergraphs are studied in the general setting of hereditary properties. It turns out that extremal problems about edges are particular cases of a general analyic problem about a recently introduced graph parameter. The paper builds a basis for the systematic study of this parameter and illustrates a range of various proof tools. It is shown that extremal problems about the number of edges of uniform hypergraphs are asymptotically equivalent to extremal problems about the largest eigenvalue; this result is new even for 2-graphs. Several concrete problems are adressed and solutions to many more are suggested. A number of open problems are raised and directions for further studies are outlined.
Graphs with large generalized (edge-)connectivity
Published
• View Publication
• BIB
The generalized $k$-connectivity $κ_k(G)$ of a graph $G$, introduced by Hager in 1985, is a nice generalization of the classical connectivity. Recently, as a natural counterpart, we proposed the concept of generalized $k$-edge-connectivity $λ_k(G)$. In this paper, graphs of order $n$ such that $κ_k(G)=n-\frac{k}{2}-1$ and $λ_k(G)=n-\frac{k}{2}-1$ for even $k$ are characterized.
Generalized frieze pattern determinants and higher angulations of polygons
Published in Journal of Combinatorial Theory, Series A, vol. 123 (2014), pp. 30-42
• View Publication
• BIB
Frieze patterns (in the sense of Conway and Coxeter) are in close connection to triangulations of polygons. Broline, Crowe and Isaacs have assigned a symmetric matrix to each polygon triangulation and computed the determinant. In this paper we consider d-angulations of polygons and generalize the combinatorial algorithm for computing the entries in the associated symmetric matrices; we compute their determinants and the Smith normal forms. It turns out that both are independent of the particular d-angulation, the determinant is a power of d-1, and the elementary divisors only take values d-1 and 1. We also show that in the generalized frieze patterns obtained in our setting every adjacent 2x2-determinant is 0 or 1, and we give a combinatorial criterion for when they are 1, which in the case d=3 gives back the Conway-Coxeter condition on frieze patterns.
Counting Spectral Radii of Matrices with Positive Entries
Published
• View Publication
• BIB
The sum-product conjecture of Erd\H os and Szemerédi states that, given a finite set $A$ of positive numbers, one can find asymptotic lower bounds for $\max\{|A+A|,|A\cdot A|\}$ of the order of $|A|^{1+δ}$ for every $δ<1$. In this paper we consider the set of all spectral radii of $n\times n$ matrices with entries in $A$, and find lower bounds for the cardinality of this set. In the case $n=2$, this cardinality is necessarily larger than $\max\{|A+A|,|A\cdot A|\}$.
Efficient computation of trees with minimal atom-bond connectivity index
Published
• View Publication
• BIB
The {\em atom-bond connectivity (ABC) index} is one of the recently most investigated degree-based molecular structure descriptors, that have applications in chemistry. For a graph $G$, the ABC index is defined as $\sum_{uv\in E(G)}\sqrt{\frac{(d(u) +d(v)-2)}{d(u)d(v)}}$, where $d(u)$ is the degree of vertex $u$ in $G$ and $E(G)$ is the set of edges of $G$. Despite many attempts in the last few years, it is still an open problem to characterize trees with minimal $ABC$ index. In this paper, we present an efficient approach of computing trees with minimal ABC index, by considering the degree sequences of trees and some known properties of the graphs with minimal $ABC$ index. The obtained results disprove some existing conjectures end suggest new ones to be set.
On polymorphism-homogeneous relational structures and their clones
Published
• View Publication
• BIB
A relational structure is homomorphism-homogeneous if every homomorphism between finite substructures extends to an endomorphism of the structure. This notion was introduced recently by Cameron and Nešetřil. In this paper we consider a strengthening of homomorphism-homogeneity --- we call a relational structure polymorphism-homogeneous if every partial polymorphism with a finite domain extends to a global polymorphism of the structure. It turns out that this notion (under various names and in completely different contexts) has been existing in algebraic literature for at least 30 years. Motivated by this observation, we dedicate this paper to the topic of polymorphism-homogeneous structures. We study polymorphism-homogeneity from a model-theoretic, an algebraic, and a combinatorial point of view. E.g., we study structures that have quantifier elimination for positive primitive formulae, and show that this notion is equivalent to polymorphism-homogeneity for weakly oligomorphic structures. We demonstrate how the Baker-Pixley theorem can be used to show that polymorphism-homogeneity is a decidable property for finite relational structures. Eventually, we completely characterize the countable polymorphism-homogeneous graphs, the polymorphism-homogeneous posets of arbitrary size, and the countable polymorphism-homogeneous strict posets.
Cubic symmetric graphs having an abelian automorphism group with two orbits
Finite connected cubic symmetric graphs of girth 6 have been classified by K. Kutnar and D. Marušič, in particular, each of these graphs has an abelian automorphism group with two orbits on the vertex set. In this paper all cubic symmetric graphs with the latter property are determined. In particular, with the exception of the graphs K_4, K_{3,3}, Q_3, GP(5,2), GP(10,2), F40 and GP(24,5), all the obtained graphs are of girth 6.
Canonical Forms and Automorphisms in the Projective Space
Let $\C$ be a sequence of multisets of subspaces of a vector space $\F_q^k$. We describe a practical algorithm which computes a canonical form and the stabilizer of $\C$ under the group action of the general semilinear group. It allows us to solve canonical form problems in coding theory, i.e. we are able to compute canonical forms of linear codes, $\F_{q}$-linear block codes over the alphabet $\F_{q^s}$ and random network codes under their natural notion of equivalence. The algorithm that we are going to develop is based on the partition refinement method and generalizes a previous work by the author on the computation of canonical forms of linear codes.
On the probability that self-avoiding walk ends at a given point
Published in Ann. Probab. 44(2): 955-983 (2016)
• View Publication
• BIB
We prove two results on the delocalization of the endpoint of a uniform self-avoiding walk on Z^d for d>1. We show that the probability that a walk of length n ends at a point x tends to 0 as n tends to infinity, uniformly in x. Also, for any fixed x in Z^d, this probability decreases faster than n^{-1/4 + epsilon} for any epsilon >0. When |x|= 1, we thus obtain a bound on the probability that self-avoiding walk is a polygon.
Generic method for bijections between blossoming trees and planar maps
Published in Electron. J. Comb. vol.22 (2015), paper #P2.38
• View Publication
• BIB
This article presents a unified bijective scheme between planar maps and blossoming trees, where a blossoming tree is defined as a spanning tree of the map decorated with some dangling half-edges that enable to reconstruct its faces. Our method generalizes a previous construction of Bernardi by loosening its conditions of applications so as to include annular maps, that is maps embedded in the plane with a root face different from the outer face.
The bijective construction presented here relies deeply on the theory of α-orientations introduced by Felsner, and in particular on the existence of minimal and accessible orientations. Since most of the families of maps can be characterized by such orientations, our generic bijective method is proved to capture as special cases all previously known bijections involving blossoming trees: for example Eulerian maps, m-Eulerian maps, non separable maps and simple triangulations and quadrangulations of a k-gon. Moreover, it also permits to obtain new bijective constructions for bipolar orientations and d-angulations of girth d of a k-gon.
As for applications, each specialization of the construction translates into enumerative by-products, either via a closed formula or via a recursive computational scheme. Besides, for every family of maps described in the paper, the construction can be implemented in linear time. It yields thus an effective way to encode and generate planar maps.
In a recent work, Bernardi and Fusy introduced another unified bijective scheme, we adopt here a different strategy which allows us to capture different bijections. These two approaches should be seen as two complementary ways of unifying bijections between planar maps and decorated trees.
Enumerations of lozenge tilings, lattice paths, and perfect matchings and the weak Lefschetz property
MacMahon enumerated the plane partitions in an $a \times b \times c$ box. These are in bijection to lozenge tilings of a hexagon, to certain perfect matchings, and to families of non-intersecting lattice paths. In this work we consider more general regions, called triangular regions, and establish signed versions of the latter three bijections. Indeed, we use perfect matchings and families of non-intersecting lattice paths to define two signs of a lozenge tiling. A combinatorial argument involving a new method, called resolution of a puncture, then shows that the signs are in fact equivalent. This provides in particular two different determinantal enumerations of these families. These results are then applied to study the weak Lefschetz property of Artinian quotients by monomial ideals of a three-dimensional polynomial ring. We establish sufficient conditions guaranteeing the weak Lefschetz property as well as the semistability of the syzygy bundle of the ideal, classify the type two algebras with the weak Lefschetz property, and study monomial almost complete intersections in depth. Furthermore, we develop a general method that often associates to an algebra that fails the weak Lefschetz property a toric surface that satisfies a Laplace equation. We also present examples of toric varieties that satisfy arbitrarily many Laplace equations. Our combinatorial methods allow us to address the dependence on the characteristic of the base field for many of our results.
Immersions in highly edge connected graphs
Published
• View Publication
• BIB
We consider the problem of how much edge connectivity is necessary to force a graph G to contain a fixed graph H as an immersion. We show that if the maximum degree in H is D, then all the examples of D-edge connected graphs which do not contain H as a weak immersion must have a tree-like decomposition called a tree-cut decomposition of bounded width. If we consider strong immersions, then it is easy to see that there are arbitrarily highly edge connected graphs which do not contain a fixed clique K_t as a strong immersion. We give a structure theorem which roughly characterizes those highly edge connected graphs which do not contain K_t as a strong immersion.
On a conjecture of Dekking : The sum of digits of even numbers
Published
• View Publication
• BIB
Let $q\geq 2$ and denote by $s_q$ the sum-of-digits function in base $q$. For $j=0,1,...,q-1$ consider $$# \{0 \le n < N : \;\;s_q(2n) \equiv j \pmod q \}.$$ In 1983, F. M. Dekking conjectured that this quantity is greater than $N/q$ and, respectively, less than $N/q$ for infinitely many $N$, thereby claiming an absence of a drift (or Newman) phenomenon. In this paper we prove his conjecture.