Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Hamiltonicity in infinite tournaments
We prove that for all countable tournaments $D$ the recently discovered compactification $|D|$ by their ends and limit edges contains a topological Hamilton path: a topological arc that contains every vertex. If $D$ is strongly connected, then $|D|$ contains a topological Hamilton circle. These results extend well-known theorems about finite tournaments, which we show do not extend to the infinite in a purely combinatorial setting.
Characterizing extremal graphs for open neighbourhood location-domination
Published in Discrete Applied Mathematics 302:76-79, 2021
• View Publication
• BIB
An open neighbourhood locating-dominating set is a set $S$ of vertices of a graph $G$ such that each vertex of $G$ has a neighbour in $S$, and for any two vertices $u,v$ of $G$, there is at least one vertex in $S$ that is a neighbour of exactly one of $u$ and $v$. We characterize those graphs whose only open neighbourhood locating-dominating set is the whole set of vertices. More precisely, we prove that these graphs are exactly the graphs all whose connected components are half-graphs (a half-graph is a special bipartite graph with both parts of the same size, where each part can be ordered so that the open neighbourhoods of consecutive vertices differ by exactly one vertex). This corrects a wrong characterization from the literature.
Pandemic Spread in Communities via Random Graphs
Published
• View Publication
• BIB
Working in the multi-type Galton-Watson branching-process framework we analyse the spread of a pandemic via a general multi-type random contact graph. Our model consists of several communities, and takes, as input, parameters that outline the contacts between individuals in distinct communities. Given these parameters, we determine whether there will be an outbreak and if yes, we calculate the size of the giant connected component of the graph, thereby, determining the fraction of the population of each type that would be infected before it ends. We show that the pandemic spread has a natural evolution direction given by the Perron-Frobenius eigenvector of a matrix whose entries encode the average number of individuals of one type expected to be infected by an individual of another type. The corresponding eigenvalue is the basic reproduction number of the pandemic. We perform numerical simulations that compare homogeneous and heterogeneous spread graphs and quantify the difference between them. We elaborate on the difference between herd immunity and the end of the pandemic and the effect of countermeasures on the fraction of infected population.
Unusually large components in near-critical Erdős-Rényi graphs via ballot theorems
Published
• View Publication
• BIB
We consider the near-critical Erdős-Rényi random graph $G(n,p)$ and provide a new probabilistic proof of the fact that, when $p$ is of the form $p=p(n)=1/n+λ/n^{4/3}$ and $A$ is large, \[\mathbb{P}(|\mathcal{C}_{\max}|>An^{2/3})\asymp A^{-3/2}e^{-\frac{A^3}{8}+\frac{λA^2}{2}-\frac{λ^2A}{2}}\] where $\mathcal{C}_{\max}$ is the largest connected component of the graph. Our result allows $A$ and $λ$ to depend on $n$. While this result is already known, our proof relies only on conceptual and adaptable tools such as ballot theorems, whereas the existing proof relies on a combinatorial formula specific to Erdős-Rényi graphs, together with analytic estimates.
Independent sets in hypergraphs omitting an intersection
Published
• View Publication
• BIB
A $k$-uniform hypergraph with $n$ vertices is an $(n,k,\ell)$-omitting system if it does not contain two edges whose intersection has size exactly $\ell$. If in addition it does not contain two edges whose intersection has size greater than $\ell$, then it is an $(n,k,\ell)$-system. Rödl and Šiňajová proved a lower bound for the independence number of $(n,k,\ell)$-systems that is sharp in order of magnitude for fixed $2 \le \ell \le k-1$. We consider the same question for the larger class of $(n,k,\ell)$-omitting systems.
For $k\le 2\ell+1$, we believe that the behavior is similar to the case of $(n,k,\ell)$-systems and prove a nontrivial lower bound for the first open case $\ell=k-2$. For $k>2\ell+1$ we give new lower and upper bounds which show that the minimum independence number of $(n,k,\ell)$-omitting systems has a very different behavior than for $(n,k,\ell)$-systems. Our lower bound for $\ell=k-2$ uses some adaptations of the random greedy independent set algorithm, and our upper bounds (constructions) for $k> 2\ell+1$ are obtained from some pseudorandom graphs.
We also prove some related results where we forbid more than two edges with a prescribed common intersection size and this leads to some applications in Ramsey theory. For example, we obtain good bounds for the Ramsey number $r_{k}(F^{k},t)$, where $F^{k}$ is the $k$-uniform Fan. Here the behavior is quite different than the case $k=2$ which reduces to the classical graph Ramsey number $r(3,t)$.
Finite permutation groups containing a regular dihedral subgroup
We present a characterization of finite permutation groups which contain a transitive dihedral subgroup.
On a two-player transversal game on a square grid
We give a short analysis of the \emph{transversal achievement game} on a square grid due to M. Erickson (2010).
Arc transitive circulants
This short paper presents characterisations of normal arc-transitive circulants and arc-transitive normal circulants, that is, for a connected arc-transitive circulant $Γ=\Cay(C,S)$, it is shown that 1. Aut(C,S) is transitive on S if and only if each element of S has order n; 2. $AutΓ\rhd C$ if and only if S does not contain a coset of any subgroup.
This completes the classification of arc-transitive circulants given by Li-Xia-Zhou.
Dihedral and cyclic symmetric maps on surfaces
Published
• View Publication
• BIB
If the face\mbox{-}cycles at all the vertices in a map are of the same type, then the map is said to be a semi-equivelar map. Automorphism (symmetry) of a map can be thought of as a permutation of the vertices which preserves the vertex\mbox{-}edge\mbox{-}face incidences in the embedding. The set of all symmetries forms the symmetry group. In this article, we discuss the maps' symmetric groups on higher genus surfaces. In particular, we show that there are at least $39$ types of the semi-equivelar maps on the surface with Euler char. $-2m, m \ge 2$ and the symmetry groups of the maps are isomorphic to the dihedral group or cyclic group. Further, we prove that these $39$ types of semi-equivelar maps are the only types on the surface with Euler char. $-2$. Moreover, we know the complete list of semi-equivelar maps (up to isomorphism) for a few types. We extend this list to one more type and can classify others similarly. We skip this part in this article.
Weighted Sylvester sums on the Frobenius set in more variables
Published
• View Publication
• BIB
Let $a_1,a_2,\dots,a_k$ be positive integers with $\gcd(a_1,a_2,\dots,a_k)=1$. Let ${\rm NR}={\rm NR}(a_1,a_2,\dots,a_k)$ denote the set of positive integers nonrepresentable in terms of $a_1,a_2,\dots,a_k$. The largest nonrepresentable integer $\max{\rm NR}$, the number of nonrepresentable positive integers $\sum_{n\in{\rm NR}}1$ and the sum of nonrepresentable positive integers $\sum_{n\in{\rm NR}}n$ have been widely studied for a long time as related to the famous Frobenius problem. In this paper by using Eulerian numbers, we give formulas for the weighted sum $\sum_{n\in{\rm NR}}λ^{n}n^μ$, where $μ$ is a nonnegative integer and $λ$ is a complex number. We also examine power sums of nonrepresentable numbers and some formulae for three variables. Several examples illustrate and support our results.
On finite subnormal Cayley graphs
Published
• View Publication
• BIB
In this paper we introduce and study a type of Cayley graph -- subnormal Cayley graph. We prove that a subnormal 2-arc transitive Cayley graph is a normal Cayley graph or a normal cover of a complete bipartite graph $K_{p^d,p^d}$ with $p$ prime. Then we obtain a generic method for constructing half-symmetric (namely edge transitive but not arc transitive) Cayley graphs.
Perfect matching and distance spectral radius in graphs and bipartite graphs
Published
• View Publication
• BIB
A perfect matching in a graph $G$ is a set of nonadjacent edges covering every vertex of $G$. Motivated by recent progress on the relations between the eigenvalues and the matching number of a graph, in this paper, we aim to present a distance spectral radius condition to guarantee the existence of a perfect matching. Let $G$ be an $n$-vertex connected graph where $n$ is even and $λ_{1}(D(G))$ be the distance spectral radius of $G$. Then the following statements are true.
\noindent$\rm{I)}$ If $4\le n\le10$ and ${λ}_{1} (D\left(G\right))\le {λ}_{1} (D(S_{n,{\frac{n}{2}}-1}))$, then $G$ contains a perfect matching unless $G\cong S_{n,{\frac{n}{2}-1}}$ where $S_{n,{\frac{n}{2}-1}}\cong K_{{\frac{n}{2}-1}}\vee ({\frac{n}{2}+1})K_1$.
\noindent$\rm{II)}$ If $n\ge 12$ and ${λ}_{1} (D\left(G\right))\le {λ}_{1} (D(G^*))$, then $G$ contains a perfect matching unless $G\cong G^*$ where $G^*\cong K_1\vee (K_{n-3}\cup2K_1)$.
Moreover, if $G$ is a connected $2n$-vertex balanced bipartite graph with $λ_{1}(D(G))\le λ_{1}(D(B_{n-1,n-2})) $, then $G$ contains a perfect matching, unless $G\cong B_{n-1,n-2}$ where $B_{n-1,n-2}$ is obtained from $K_{n,n-2}$ by attaching two pendent vertices to a vertex in the $n$-vertex part.
A continuous generalization of domination-like invariants
Published
• View Publication
• BIB
In this paper, we define a new domination-like invariant of graphs. Let $\mathbb{R}^{+}$ be the set of non-negative numbers. Let $c\in \mathbb{R}^{+}-\{0\}$ be a number, and let $G$ be a graph. A function $f:V(G)\rightarrow \mathbb{R}^{+}$ is a $c$-self-dominating function of $G$ if for every $u\in V(G)$, $f(u)\geq c$ or $\max\{f(v):v\in N_{G}(u)\}\geq 1$. The $c$-self-domination number $γ^{c}(G)$ of $G$ is defined as $γ^{c}(G):=\min\{\sum_{u\in V(G)}f(u):f$ is a $c$-self-dominating function of $G\}$. Then $γ^{1}(G)$, $γ^{\infty }(G)$ and $γ^{\frac{1}{2}}(G)$ are equal to the domination number, the total domination number and the half of the Roman domination number of $G$, respectively. Our main aim is to continuously fill in the gaps among such three invariants. In this paper, we give a sharp upper bound of the $c$-self-domination number for all $c\geq \frac{1}{2}$.
On the number of isolate dominating sets of certain graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a simple graph. A dominating set of $G$ is a subset $S\subseteq V$ such that every vertex not in $S$ is adjacent to at least one vertex in $S$. The cardinality of a smallest dominating set of $G$, denoted by $γ(G)$, is the domination number of $G$. A dominating set $S$ is an isolate dominating set of $G$, if the induced subgraph $G[S]$ has at least one isolated vertex. The isolate domination number, $γ_0(G)$, is the minimum cardinality of an isolate dominating set of $G$. In this paper, we count the number of isolate dominating sets of some specific graphs.
Covering hypergraphs are eulerian
An Euler tour in a hypergraph (also called a rank-2 universal cycle or 1-overlap cycle in the context of designs) is a closed walk that traverses every edge exactly once. In this paper, we define a covering $k$-hypergraph to be a non-empty $k$-uniform hypergraph in which every $(k-1)$-subset of vertices appear together in at least one edge. We then show that every covering $k$-hypergraph, for $k\geq 3$, admits an Euler tour if and only if it has at least two edges.
Complete minors in digraphs with given dichromatic number
The dichromatic number $\vecχ(D)$ of a digraph $D$ is the smallest $k$ for which it admits a $k$-coloring where every color class induces an acyclic subgraph. Inspired by Hadwiger's conjecture for undirected graphs, several groups of authors have recently studied the containment of directed graph minors in digraphs with given dichromatic number. In this short note we improve several of the existing bounds and prove almost linear bounds by reducing the problem to a recent result of Postle on Hadwiger's conjecture.
A proof of the Erdős-Faber-Lovász conjecture
Published
• View Publication
• BIB
The Erdős-Faber-Lovász conjecture (posed in 1972) states that the chromatic index of any linear hypergraph on $n$ vertices is at most $n$. In this paper, we prove this conjecture for every large $n$. We also provide stability versions of this result, which confirm a prediction of Kahn.
The Matching Ramsey Number of Hypergraphs, Revisited
Suppose that a hypergraph ${\mathcal H}$ and an arbitrary nonempty (finite or infinite) set of available colors are given. Each color $x$ is associated with a frequency $τ(x)$, where the set of all such frequencies is bounded. We define a new parameter called the {\it $τ$-matching chromatic number}, denoted by $χ_M(τ, {\mathcal H})$, as the least possible number of colors required to color the edges of ${\mathcal H}$ in such a way that the size of each nonempty monochromatic matching does not exceed the frequency of the corresponding color associated to its edges. The well-known and extensively well-studied chromatic number of general Kneser hypergraph $χ\left( {\rm KG}^r({\mathcal H}) \right)$ is a special case of $χ_M(τ, {\mathcal H})$ when all color frequencies are the fixed constant $r-1$.
In this paper, we establish sharp lower bounds for the parameter $χ_M(τ, {\mathcal H})$, utilizing the concepts of the alternation number and the equitable colorability defect.
On the depth of binomial edge ideals of graphs
Published
• View Publication
• BIB
Let $G$ be a graph on the vertex set $[n]$ and $J_G$ the associated binomial edge ideal in the polynomial ring $S=\mathbb{K}[x_1,\ldots,x_n,y_1,\ldots,y_n]$. In this paper we investigate the depth of binomial edge ideals. More precisely, we first establish a combinatorial lower bound for the depth of $S/J_G$ based on some graphical invariants of $G$. Next, we combinatorially characterize all binomial edge ideals $J_G$ with $\mathrm{depth}\hspace{1.2mm}S/J_G=5$. To achieve this goal, we associate a new poset $\mathcal{M}_G$ with the binomial edge ideal of $G$, and then elaborate some topological properties of certain subposets of $\mathcal{M}_G$ in order to compute some local cohomology modules of $S/J_G$.
On transversal numbers of intersecting straight line systems and intersecting segment systems
An intersecting $r$-uniform straight line system is an intersecting linear system whose lines consist of $r$ points on straight line segment of $\mathbb{R}^2$ and any two lines share a point. Recently, the author [A. Vázquez-Ávila, \emph{On intersecting straight line systems}, J. Discret. Math. Sci. Cryptogr. Accepted] proved that any intersecting $r$-uniform straight line system $(P,\mathcal{L})$ has transversal number at most $ν_2-1$, with $r\geqν_2$, where $ν_2$ is the maximum cardinality of a subset of lines $R\subseteq\mathcal{L}$ such that every triplet of different elements of $R$ does not have a common point.
In this paper, we improve such upper bound if the intersecting $r$-uniform straight line system satisfies $r=ν_2$. This result has immediate consequences for some questions given by Oliveros et al. [D. Oliveros, C. O'Neill and S. Zerbib, \emph{The geometry and combinatorics of discrete line segment hypergraphs}, Discrete Math. {\bf 343} (2020), no. 6, 111825].