Showing 20 papers (Total: 84285 papers, 48548 authors in database)
On basic graphs of symmetric graphs of valency five
Published
• View Publication
• BIB
A graph $\G$ is {\em symmetric} or {\em arc-transitive} if its automorphism group $\Aut(\G)$ is transitive on the arc set of the graph, and $\G$ is {\em basic} if $\Aut(\G)$ has no non-trivial normal subgroup $N$ such that the quotient graph $\G_N$ has the same valency with $\G$. In this paper, we classify symmetric basic graphs of order $2qp^n$ and valency 5, where $q<p$ are two primes and $n$ is a positive integer. It is shown that such a graph is isomorphic to a family of Cayley graphs on dihedral groups of order $2q$ with $5\di (q-1)$, the complete graph $K_6$ of order $6$, the complete bipartite graph $K_{5,5}$ of order 10, or one of the nine sporadic coset graphs associated with non-abelian simple groups. As an application, connected pentavalent symmetric graphs of order $kp^n$ for some small integers $k$ and $n$ are classified.
Fully polynomial FPT algorithms for some classes of bounded clique-width graphs
Published
• View Publication
• BIB
Parameterized complexity theory has enabled a refined classification of the difficulty of NP-hard optimization problems on graphs with respect to key structural properties, and so to a better understanding of their true difficulties. More recently, hardness results for problems in P were achieved using reasonable complexity theoretic assumptions such as: Strong Exponential Time Hypothesis (SETH), 3SUM and All-Pairs Shortest-Paths (APSP). According to these assumptions, many graph theoretic problems do not admit truly subquadratic algorithms, nor even truly subcubic algorithms (Williams and Williams, FOCS 2010 and Abboud, Grandoni, Williams, SODA 2015). A central technique used to tackle the difficulty of the above mentioned problems is fixed-parameter algorithms for polynomial-time problems with polynomial dependency in the fixed parameter (P-FPT). This technique was introduced by Abboud, Williams and Wang in SODA 2016 and continued by Husfeldt (IPEC 2016) and Fomin et al. (SODA 2017), using the treewidth as a parameter. Applying this technique to clique-width, another important graph parameter, remained to be done. In this paper we study several graph theoretic problems for which hardness results exist such as cycle problems (triangle detection, triangle counting, girth, diameter), distance problems (diameter, eccentricities, Gromov hyperbolicity, betweenness centrality) and maximum matching. We provide hardness results and fully polynomial FPT algorithms, using clique-width and some of its upper-bounds as parameters (split-width, modular-width and $P\_4$-sparseness). We believe that our most important result is an ${\cal O}(k^4 \cdot n + m)$-time algorithm for computing a maximum matching where $k$ is either the modular-width or the $P\_4$-sparseness. The latter generalizes many algorithms that have been introduced so far for specific subclasses such as cographs, $P\_4$-lite graphs, $P\_4$-extendible graphs and $P\_4$-tidy graphs. Our algorithms are based on preprocessing methods using modular decomposition, split decomposition and primeval decomposition. Thus they can also be generalized to some graph classes with unbounded clique-width.
Every finite non-solvable group admits an Oriented Regular Representation
Published
• View Publication
• BIB
In this paper we give a partial answer to a 1980 question of Lazslo Babai: "Which [finite] groups admit an oriented graph as a DRR?" That is, which finite groups admit an oriented regular representation (ORR)? We show that every finite non-solvable group admits an ORR, and provide a tool that may prove useful in showing that some families of finite solvable groups admit ORRs. We also completely characterize all finite groups that can be generated by at most three elements, according to whether or not they admit ORRs.
Perfect Resolution of Strong Conflict-Free Colouring of Interval Hypergraphs
Published
• View Publication
• BIB
The $k$-Strong Conflict-Free ($k$-SCF, in short) colouring problem seeks to find a colouring of the vertices of a hypergraph $H$ using minimum number of colours so that in every hyperedge $e$ of $H$, there are at least $\min\{|e|,k\}$ vertices whose colour is different from that of all other vertices in $e$. In the case of interval hypergraphs, we present an exact $P$-time algorithm for the $k$-SCF problem thus solving an open problem posed by Cheilaris et al. (2014). We achieve our results by showing that for any hypergraph a $k$-SCF colouring is a proper colouring of a related simple graph which we refer to as a co-occurrence graph. We then show that a co-occurrence graph is obtained by identifying an induced subgraph of a second simple graph that we introduce, which we refer to as the conflict graph. For interval hypergraphs, we show that each co-occurrence graph and the conflict graph are perfect graphs. This property plays a crucial role in our polynomial time algorithm. Secondly, we show that for an interval hypergraph, the $1$-SCF colouring number is the minimum partition of its intervals into sets such that each set has an exact hitting set (a hitting set in which each interval is hit exactly once).
Lower Bounds for Searching Robots, some Faulty
Published
• View Publication
• BIB
Suppose we are sending out $k$ robots from $0$ to search the real line at constant speed (with turns) to find a target at an unknown location; $f$ of the robots are faulty, meaning that they fail to report the target although visiting its location (called crash type). The goal is to find the target in time at most $λ|d|$, if the target is located at $d$, $|d| \ge 1$, for $λ$ as small as possible. We show that this cannot be achieved for $$λ< 2\frac{ρ^ρ}{(ρ-1)^{ρ-1}}+1,~~ ρ:= \frac{2(f+1)}{k}~, $$ which is tight due to earlier work (see J. Czyzowitz, E. Kranakis, D. Krizanc, L. Narayanan, J. Opatrny, PODC'16, where this problem was introduced). This also gives some better than previously known lower bounds for so-called Byzantine-type faulty robots that may actually wrongly report a target.
In the second part of the paper, we deal with the $m$-rays generalization of the problem, where the hidden target is to be detected on $m$ rays all emanating at the same point. Using a generalization of our methods, along with a useful relaxation of the original problem, we establish a tight lower for this setting as well (as above, with $ρ:= m(f+1)/k$). When specialized to the case $f=0$, this resolves the question on parallel search on $m$ rays, posed by three groups of scientists some 15 to 30 years ago: by Baeza-Yates, Culberson, and Rawlins; by Kao, Ma, Sipser, and Yin; and by Bernstein, Finkelstein, and Zilberstein. The $m$-rays generalization is known to have connections to other, seemingly unrelated, problems, including hybrid algorithms for on-line problems, and so-called contract algorithms.
Eigenvalues and Wiener index of the Zero Divisor graph $Γ[\mathbb {Z}_n]$
The Zero divisor Graph of a commutative ring $R$, denoted by $Γ[R]$, is a graph whose vertices are non-zero zero divisors of $R$ and two vertices are adjacent if their product is zero. In this paper, we consider the zero divisor graph $Γ[\mathbb{Z}_n]$ for $n=p^3$ and $n=p^2q$ with $p$ and $q$ primes. We discuss the adjacency matrix and eigenvalues of the zero divisor graph $Γ[\mathbb{Z}_n]$. We also calculate the energy of the graph $Γ[\mathbb{Z}_n]$.
Classification of finite groups that admit an oriented regular representation
Published
• View Publication
• BIB
This is the third, and last, of a series of papers dealing with oriented regular representations. Here we complete the classification of finite groups that admit an oriented regular representation (or ORR for short), and give a complete answer to a 1980 question of Laszlo Babai: "Which [finite] groups admit an oriented graph as a DRR?" It is easy to see and well-understood that generalised dihedral groups do not admit ORRs. We prove that, with 11 small exceptions (having orders ranging from 8 to 64), every finite group that is not generalised dihedral has an ORR.
Weak Modular Product of Bipartite Graphs, Bicliques and Isomorphism
A 1978 theorem of Kozen states that two graphs on $n$ vertices are isomorphic if and only if there is a clique of size $n$ in the weak modular product between the two graphs. Restricting to bipartite graphs and considering complete bipartite subgraphs (bicliques) therein, we study the combinatorics of the weak modular product. We identify cases where isomorphism is tractable using this approach, which we call Isomorphism via Biclique Enumeration (IvBE). We find that IvBE is polynomial for bipartite $2K_2$-free graphs and quasi-polynomial for families of bipartite graphs, where the largest induced matching and largest induced crown graph grows slowly in $n$, that is, $O(\mathrm{polylog }\, n)$. Furthermore, as expected a straightforward corollary of Kozen's theorem and Lovász's sandwich theorem is if the weak modular product between two graphs is perfect, then checking if the graphs are isomorphic is polynomial in $n$. However, we show that for balanced, bipartite graphs this is only true in a few trivial cases. In doing so we define a new graph product on bipartite graphs, the very weak modular product. The results pertaining to bicliques in bipartite graphs proved here may be of independent interest.
Spanning Euler tours and spanning Euler families in hypergraphs with particular vertex cuts
An Euler tour in a hypergraph is a closed walk that traverses each edge of the hypergraph exactly once, while an Euler family, first defined by Bahmanian and Sajna, is a family of closed walks that jointly traverse each edge exactly once and cannot be concatenated. In this paper, we study the notions of a spanning Euler tour and a spanning Euler family, that is, an Euler tour (family) that also traverses each vertex of the hypergraph at least once. We examine necessary and sufficient conditions for a hypergraph to admit a spanning Euler family, most notably, when the hypergraph possesses a vertex cut consisting of vertices of degree two. Moreover, we characterise hypergraphs with a vertex cut of cardinality at most two that admit a spanning Euler tour (family). This result enables us to reduce the problem of existence of a spanning Euler tour (which is NP-complete), as well as the problem of a spanning Euler family, to smaller hypergraphs.
Random eigenfunctions on flat tori: universality for the number of intersections
Published
• View Publication
• BIB
We show that several statistics of the number of intersections between random eigenfunctions of general eigenvalues with a given smooth curve in flat tori are universal under various families of randomness.
Cyclic pseudo-{L}oupekine snarks
In 1976, Loupekine introduced (via Isaacs) a very general way of constructing new snarks from old snarks by cyclically connecting multipoles constructed from smaller snarks. In this paper, we generalize Loupekine's construction to produce a variety of snarks which can be drawn with $m$-fold rotational symmetry for $m\geq 3$ (and often, $m$ odd), constructed as $\mathbb{Z}_{m}$ lifts of \emph{voltage graphs} with certain properties; we call these snarks \emph{cyclic pseudo-Loupekine snarks}. In particular, we discuss three infinite families of snarks which can be drawn with $\mathbb{Z}_{m}$ rotational symmetry whose smallest element is constructed from 3 snarks with 3-fold rotational symmetry on 28 vertices; one family has the property that the oddness of the family increases with $m$. We also develop a new infinite family of snarks, of order $12m$ for each odd $m\geq 3$, which can be drawn with $m$-fold rotational symmetry and which are constructed beginning with a 3-edge-colorable graph, instead of a snark.
On weak $ε$-nets and the Radon number
Published
• View Publication
• BIB
We show that the Radon number characterizes the existence of weak nets in separable convexity spaces (an abstraction of the euclidean notion of convexity). The construction of weak nets when the Radon number is finite is based on Helly's property and on metric properties of VC classes. The lower bound on the size of weak nets when the Radon number is large relies on the chromatic number of the Kneser graph. As an application, we prove a boosting-type result for weak $ε$-nets.
Suboptimality of local algorithms for a class of max-cut problems
Published in Annals of Probability 2019, Vol. 47, No. 3, 1587-1618
• View Publication
• BIB
We show that in random $K$-uniform hypergraphs of constant average degree, for even $K \geq 4$, local algorithms defined as factors of i.i.d. can not find nearly maximal cuts, when the average degree is sufficiently large. These algorithms have been used frequently to obtain lower bounds for the max-cut problem on random graphs, but it was not known whether they could be successful in finding nearly maximal cuts. This result follows from the fact that the overlap of any two nearly maximal cuts in such hypergraphs does not take values in a certain non-trivial interval - a phenomenon referred to as the overlap gap property - which is proved by comparing diluted models with large average degree with appropriate fully connected spin glass models and showing the overlap gap property in the latter setting.
Linear dependence between hereditary quasirandomness conditions
Published in Electronic Journal of Combinatorics 25 (2018), P4.12
• View Publication
• BIB
Answering a question of Simonovits and S\' os, Conlon, Fox, and Sudakov proved that for any nonempty graph $H$, and any $\varepsilon>0$, there exists $δ>0$ polynomial in $\varepsilon$, such that if $G$ is an $n$-vertex graph with the property that every $U\subseteq V(G)$ contains $p^{e(H)}|U|^{v(H)}\pmδn^{v(H)}$ labeled copies of $H$, then $G$ is $(p,\varepsilon)$-quasirandom in the sense that every subset $U\subseteq G$ contains $\frac{1}{2}p|U|^{2}\pm\varepsilon n^{2}$ edges. They conjectured that $δ$ may be taken to be linear in $\varepsilon$ and proved this in the case that $H$ is a complete graph. We study a labelled version of this quasirandomness property proposed by Reiher and Schacht. Let $H$ be any nonempty graph on $r$ vertices $v_{1},\ldots,v_{r}$, and $\varepsilon>0$. We show that there exists $δ=δ(\varepsilon)>0$ linear in $\varepsilon$, such that if $G$ is an $n$-vertex graph with the property that every sequence of $r$ subsets $U_{1},\ldots,U_{r}\subseteq V(G)$, the number of copies of $H$ with each $v_{i}$ in $U_{i}$ is $p^{e(H)}\prod|U_{i}|\pmδn^{v(H)}$, then $G$ is $(p,\varepsilon)$-quasirandom.
Enumerating Cliques in Direct Product Graphs
Published
• View Publication
• BIB
The unitary Cayley graph of $\mathbb Z/n\mathbb Z$, denoted $G_{\mathbb Z/n\mathbb Z}$, is the graph with vertices $0,1,\ldots,$ $n-1$ in which two vertices are adjacent if and only if their difference is relatively prime to $n$. These graphs are central to the study of graph representations modulo integers, which were originally introduced by Erdős and Evans. We give a brief account of some results concerning these beautiful graphs and provide a short proof of a simple formula for the number of cliques of any order $m$ in the unitary Cayley graph $G_{\mathbb Z/n\mathbb Z}$. This formula involves an exciting class of arithmetic functions known as Schemmel totient functions, which we also briefly discuss. More generally, the proof yields a formula for the number of cliques of order $m$ in a direct product of balanced complete multipartite graphs.
The spectral radius of graphs without long cycles
Published
• View Publication
• BIB
Nikiforov conjectured that for a given integer $k\ge 2$, any graph $G$ of sufficiently large order $n$ with spectral radius $μ(G)\geq μ(S_{n,k})$ (or $μ(G)\ge μ(S_{n,k}^+))$ contains $C_{2k+1}$ or $C_{2k+2}$(or $C_{2k+2}$), unless $G=S_{n,k}$ (or $G=S_{n,k}^+)$, where $C_\ell$ is a cycle of length $\ell$ and $S_{n,k}=K_k\vee \overline{K_{n-k}}$, the join graph of a complete graph of order $k$ and an empty graph on $n-k$ vertices, and $S_{n,k}^+$ is the graph obtained from $S_{n,k}$ by adding an edge in the independent set of $S_{n,k}$. %This can be vie as spectral version of Erdös and Sós conjecture. In this paper, a weaker version of Nikiforov's conjecture is considered, we prove that for a given integer $k\ge 2$, any graph $G$ of sufficiently large order $n$ with spectral radius $μ(G)\geq μ(S_{n,k})$ (or $μ(G)\ge μ(S_{n,k}^+))$ %$C_{2k+1}$ or $C_{2k+2}$(or $C_{2k+2}$), unless $G=S_{n,k}$ (or $G=S_{n,k}^+)$$S_{n,k}$ ( or $S_{n,k}^+$) is the unique extremal graph with maximum radius among all of the graphs of order $n$ and contains a cycle $C_{\ell}$ with $\ell \geq 2k+1$ (or $C_{\ell}$ with $\ell \geq 2k+2$), unless $G=S_{n,k}$ (or $G=S_{n,k}^+)$. These results also imply a result of Nikiforov given in [Theorem 2, The spectral radius of graphs without paths and cycles of specified length, LAA, 2010].
Odd induced subgraphs in graphs with treewidth at most two
Published
• View Publication
• BIB
A long-standing conjecture asserts that there exists a constant $c>0$ such that every graph of order $n$ without isolated vertices contains an induced subgraph of order at least $cn$ with all degrees odd. Scott (1992) proved that every graph $G$ has an induced subgraph of order at least $|V(G)|/(2χ(G))$ with all degrees odd, where $χ(G)$ is the chromatic number of $G$, this implies the conjecture for graphs with { bounded} chromatic number. But the factor $1/(2χ(G))$ seems to be not best possible, for example, Radcliffe and Scott (1995) proved $c=\frac 23$ for trees, Berman, Wang and Wargo (1997) showed that $c=\frac 25$ for graphs with maximum degree $3$, so it is interesting to determine the exact value of $c$ for special family of graphs. In this paper, we further confirm the conjecture for graphs with treewidth at most 2 with $c=\frac{2}{5}$, and the bound is best possible.
Asymptotic Analysis of Expectations of Plane Partition Statistics
Published
• View Publication
• BIB
Assuming that a plane partition of the positive integer $n$ is chosen uniformly at random from the set of all such partitions, we propose a general asymptotic scheme for the computation of expectations of various plane partition statistics as $n$ becomes large. The generating functions that arise in this study are of the form $Q(x)F(x)$, where $Q(x)=\prod_{j=1}^\infty (1-x^j)^{-j}$ is the generating function for the number of plane partitions. We show how asymptotics of such expectations can be obtained directly from the asymptotic expansion of the function $F(x)$ around $x=1$. The representation of a plane partition as a solid diagram of volume $n$ allows interpretations of these statistics in terms of its dimensions and shape. As an application of our main result, we obtain the asymptotic behavior of the expected values of the largest part (the height of the solid diagram) and the trace (the number of cubes in the wall on the main diagonal of the solid diagram). Our results are similar to those of Grabner et al. (2014) related to linear integer partition statistics. We base our study on Hayman's method for admissible power series.
A fractal perspective on optimal antichains and intersecting subsets of the unit $n$-cube
An \emph{$n$-cube antichain} is a subset of the unit $n$-cube $[0,1]^n$ that does not contain two elements $\mathbf{x}=(x_1, x_2,\ldots, x_n)$ and $\mathbf{y}=(y_1, y_2,\ldots, y_n)$ satisfying $x_i\le y_i$ for all $i\in \{1,\ldots,n\}$. Using a chain partition of an adequate finite poset we show that the Hausdorff dimension of an $n$-cube antichain is at most $n-1$.We conjecture that the $(n-1)$-dimensional Hausdorff measure of an $n$-cube antichain is at most $n$ times the Hausdorff measure of a facet of the unit $n$-cube and we verify this conjecture for $n=2$ as well as under the assumption that the $n$-cube antichain is a smooth surface. Our proofs employ estimates on the Hausdorff measure of an $n$-cube antichain in terms of the sum of the Hausdorff measures of its injective projections. Moreover, by proceeding along devil's staircase, we construct a $2$-cube antichain whose $1$-dimensional Hausdorff measure equals $2$. Additionally, we discuss a problem with an intersection condition in a similar setting.
Regularity of Powers of edge ideal of very well-covered graphs
Let $k\geq 3$ be an integer and $G$ be a very well-covered graph with ${\rm odd-girth}(G)\geq 2k+1$. Assume that $I(G)$ is the edge ideal of $G$. We show that for every integer $s$ with $1\leq s\leq k-2$, we have ${\rm reg}(I(G)^s)=2s+ν(G)-1$, where $ν(G)$ is the induced matching number of $G$.