Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Acyclicity in finite groups and groupoids
We expound a concise construction of finite groups and groupoids whose Cayley graphs satisfy graded acyclicity requirements. Our acyclicity criteria concern cyclic patterns formed by coset-like configurations w.r.t. subsets of the generator set rather than just by individual generators. The proposed constructions correspondingly yield finite groups and groupoids whose Cayley graphs satisfy much stronger acyclicity conditions than large girth. We thus obtain generic and canonical constructions of highly homogeneous graph structures with strong acyclicity properties, which support known applications in finite graph and hypergraph coverings that locally unfold cyclic configurations.
Graph-counting polynomials for oriented graphs
Published
• View Publication
• BIB
If ${\cal F}$ is a set of subgraphs $F$ of a finite graph $E$ we define a graph-counting polynomial $$ p_{\cal F}(z)=\sum_{F\in{\cal F}}z^{|F|} $$ In the present note we consider oriented graphs and discuss some cases where ${\cal F}$ consists of unbranched subgraphs $E$. We find several situations where something can be said about the location of the zeros of $p_{\cal F}$.
Generic Unlabeled Global Rigidity
Published in Forum of Mathematics, Sigma 7 (2019) e21
• View Publication
• BIB
Let $\mathbf{p}$ be a configuration of $n$ points in $\mathbb{R}^d$ for some $n$ and some $d \ge 2$. Each pair of points has a Euclidean length in the configuration. Given some graph $G$ on $n$ vertices, we measure the point-pair lengths corresponding to the edges of $G$.
In this paper, we study the question of when a generic $\mathbf{p}$ in $d$ dimensions will be uniquely determined (up to an unknowable Euclidean transformation) from a given set of point-pair lengths together with knowledge of $d$ and $n$. In this setting the lengths are given simply as a set of real numbers; they are not labeled with the combinatorial data that describes which point-pair gave rise to which length, nor is data about $G$ given.
We show, perhaps surprisingly, that in terms of generic uniqueness, labels have no effect. A generic configuration is determined by an unlabeled set of point-pair lengths (together with $d$ and $n$) iff it is determined by the labeled edge lengths.
Improved bounds for multipass pairing heaps and path-balanced binary search trees
We revisit multipass pairing heaps and path-balanced binary search trees (BSTs), two classical algorithms for data structure maintenance. The pairing heap is a simple and efficient "self-adjusting" heap, introduced in 1986 by Fredman, Sedgewick, Sleator, and Tarjan. In the multipass variant (one of the original pairing heap variants described by Fredman et al.) the minimum item is extracted via repeated pairing rounds in which neighboring siblings are linked.
Path-balanced BSTs, proposed by Sleator (Subramanian, 1996), are a natural alternative to Splay trees (Sleator and Tarjan, 1983). In a path-balanced BST, whenever an item is accessed, the search path leading to that item is re-arranged into a balanced tree.
Despite their simplicity, both algorithms turned out to be difficult to analyse. Fredman et al. showed that operations in multipass pairing heaps take amortized $O(\log{n} \cdot \log\log{n} / \log\log\log{n})$ time. For searching in path-balanced BSTs, Balasubramanian and Raman showed in 1995 the same amortized time bound of $O(\log{n} \cdot \log\log{n} / \log\log\log{n})$, using a different argument.
In this paper we show an explicit connection between the two algorithms and improve the two bounds to $O\left(\log{n} \cdot 2^{\log^{\ast}{n}} \cdot \log^{\ast}{n}\right)$, respectively $O\left(\log{n} \cdot 2^{\log^{\ast}{n}} \cdot (\log^{\ast}{n})^2 \right)$, where $\log^{\ast}(\cdot)$ denotes the very slowly growing iterated logarithm function. These are the first improvements in more than three, resp. two decades, approaching in both cases the information-theoretic lower bound of $Ω(\log{n})$.
Theorems of Carathéodory, Helly, and Tverberg without dimension
Published
• View Publication
• BIB
We prove a no-dimensional version of Carathédory's theorem: given an $n$-element set $P\subset \Re^d$, a point $a \in \conv P$, and an integer $r\le d$, $r \le n$, there is a subset $Q\subset P$ of $r$ elements such that the distance between $a$ and $\conv Q$ is less than $\diam P/\sqrt {2r}$. A general no-dimension Helly type result is also proved with colourful and fractional consequences. Similar versions of Tverberg's theorem and some of their extensions are also established.
Perfect 3-Colorings on 4-Regular Graph of Order 8
Published
• View Publication
• BIB
We study the perfect $3$-colorings on 4-regular graphs of order 8.
Domination and regularity
Published in Bull. symb. log 26 (2020) 103-117
• View Publication
• BIB
We discuss the close relationship between structural theorems in generalized stability theory and graph regularity theorems.
Packing and covering directed triangles
Published
• View Publication
• BIB
We prove that if a directed multigraph $D$ has at most $t$ pairwise arc-disjoint directed triangles, then there exists a set of less than $2t$ arcs in $D$ which meets all directed triangles in $D$, except in the trivial case $t=0$. This answers affirmatively a question of Tuza from 1990.
Finding Certain Arithmetic Progressions in 2-Coloured Cyclic Groups
Published
• View Publication
• BIB
We say a pair of integers $(a, b)$ is findable if the following is true. For any $δ> 0$ there exists a $p_0$ such that for any prime $p \ge p_0$ and any red-blue colouring of $\mathbb{Z} /p\mathbb{Z}$ in which each colour has density at least $δ$, we can find an arithmetic progression of length $a+b$ inside $\mathbb{Z}/p\mathbb{Z}$ whose first $a$ elements are red and whose last $b$ elements are blue.
Szemerédi's Theorem on arithmetic progressions implies that $(0,k)$ and $(1,k)$ are findable for any $k$. We prove that $(2, k)$ is also findable for any $k$. However, the same is not true of $(3, k)$. Indeed, we give a construction showing that $(3, 30000)$ is not findable. We also show that $(14, 14)$ is not findable.
The Erdős Matching Conjecture and concentration inequalities
Published
• View Publication
• BIB
More than 50 years ago, Erd\H os asked the following question: what is the maximum size of a family $\mathcal F$ of $k$-element subsets of an $n$-element set if it has no $s+1$ pairwise disjoint sets? This question attracted a lot of attention recently, in particular, due to its connection to various combinatorial, probabilistic and theoretical computer science problems. Improving the previous best bound due to the first author, we prove that $|\mathcal F|\le {n\choose k}-{n-s\choose k}$, provided $n\ge \frac 53sk -\frac 23 s$ and $s$ is sufficiently large. We derive several corollaries concerning Dirac thresholds and deviations of sums of random variables. We also obtain several related results.
A Note on Minimal Senders
In this paper we prove that if a pair of graphs G,H have senders, then they necessarily have connected minimal senders; we also prove that given two fixed graphs that are either 3-connected or triangles there are minimal (G,H)-senders with arbitrarily distant signal edges and (G,H)-minimal graphs with arbitrarily large cycles, thus showing there is no upper bound for the diameters of (G,H)-minimal graphs.
Coloring of the dth power of the face-centered cubic grid
Published
• View Publication
• BIB
The face-centered cubic grid is a three dimensional 12-regular infinite grid. This graph represents an optimal way to pack spheres in the three-dimensional space. In this grid, the vertices represent the spheres and the edges represent the contact between spheres. We give lower and upper bounds on the chromatic number of the d th power of the face-centered cubic grid. In particular, in the case d = 2 we prove that the chromatic number of this grid is 13. We also determine sharper bounds for d = 3 and for subgraphs of of the face-centered cubic grid.
Bounds on Erd{ő}s - Faber - Lovász Conjecture - the Uniform and Regular Cases
Published
• View Publication
• BIB
We consider the Erd{ő}s - Faber - Lovász (EFL) conjecture for hypergraphs. This paper gives an upper bound for the chromatic number of $r$ regular linear hypergraphs $\textbf{H}$ of size $n$. If $r \ge 4$, $χ(\textbf{H}) \le 1.181n$ and if $r=3$, $χ(\textbf{H}) \le 1.281n$
Interlacing Polynomials and the Veronese Construction for Rational Formal Power Series
Published
• View Publication
• BIB
Fixing a positive integer $r$ and $0 \le k \le r-1$, define $f^{\langle r,k \rangle}$ for every formal power series $f$ as $ f(x) = f^{\langle r,0 \rangle}(x^r)+xf^{\langle r,1 \rangle}(x^r)+ \cdots +x^{r-1}f^{\langle r,r-1 \rangle}(x^r).$ Jochemko recently showed that the polynomial $U^{n}_{r,k}\, h(x) := \left( (1+x+\cdots+x^{r-1})^{n} h(x) \right)^{\langle r,k \rangle}$ has only nonpositive zeros for any $r \ge °h(x) -k$ and any positive integer $n$. As a consequence, Jochemko confirmed a conjecture of Beck and Stapledon on the Ehrhart polynomial $h(x)$ of a lattice polytope of dimension $n$, which states that $U^{n}_{r,0}\,h(x)$ has only negative, real zeros whenever $r\ge n$. In this paper, we provide an alternative approach to Beck and Stapledon's conjecture by proving the following general result: if the polynomial sequence $\left( h^{\langle r,r-i \rangle}(x)\right)_{1\le i \le r}$ is interlacing, so is $\left( U^{n}_{r,r-i}\, h(x) \right)_{1\le i \le r}$. Our result has many other interesting applications. In particular, this enables us to give a new proof of Savage and Visontai's result on the interlacing property of some refinements of the descent generating functions for colored permutations. Besides, we derive a Carlitz identity for refined colored permutations.
M-Polynomial Revisited: Bethe Cacti and an Extension of Gutman's Approach
Published
• View Publication
• BIB
The $M$-polynomial of a graph $G$ is defined as $\sum_{i\le j} m_{i,j}(G)x^iy^j$, where $m_{i,j}(G)$, $i,j\ge 1$, is the number of edges $uv$ of $G$ such that $\{d_v(G), d_u(G)\} = \{i,j\}$. Knowing the $M$-polynomial, formulas for bond incident degree indices (an important subclass of degree-based topological indices) can be obtained by means of specific operators defined on differentiable functions in two variables. This is illustrated on three infinite families of Bethe cacti. Gutman's approach for the computation of the coefficients of the $M$-polynomial is also recalled and an extension of it is given. This extension is used to determine the $M$-polynomial of a two-parameter infinite family of lattice graphs.
A note on log-concave random graphs
Published in Electron. J. Combin. 26 (2019), no. 3, Paper No. 3.36, 9 pp
• View Publication
• BIB
We establish a threshold for the connectivity of certain random graphs whose (dependent) edges are determined by the uniform distributions on generalized Orlicz balls, crucially using their negative correlation properties. We also show the existence of a unique giant component for such random graphs.
Minimum degree and size conditions for the proper connection number of graphs
Published
• View Publication
• BIB
An edge-coloured graph $G$ is called $properly$ $connected$ if every two vertices are connected by a proper path. The $proper$ $connection$ $number$ of a connected graph $G$, denoted by $pc(G)$, is the smallest number of colours that are needed in order to make $G$ properly connected. Susan A. van Aardt et al. gave a sufficient condition for the proper connection number to be at most $k$ in terms of the size of graphs. In this note, %optimizes the boundary of the number of edges %we study the $proper$ $connection$ $number$ is under the conditions of adding the minimum degree and optimizing the number of edges. our main result is the following, by adding a minimum degree condition: Let $G$ be a connected graph of order $n$, $k\geq3$. If $|E(G)|\geq \binom{n-m-(k+1-m)(δ+1)}{2} +(k+1-m)\binom{δ+1}{2}+k+2$, then $pc(G)\leq k$, where $m$ takes the value $t$ if $δ=1$ and $\lfloor \frac{k}{δ-1} \rfloor$ if $δ\geq2$. Furthermore, if $k=2$ and $δ=2$, %(i.e., $|E(G)|\geq \binom{n-5}{2} +7$) $pc(G)\leq 2$, except $G\in \{G_{1}, G_{n}\}$ ($n\geq8$), where $G_{1}=K_{1}\vee 3K_{2}$ and $G_{n}$ is obtained by taking a complete graph $K_{n-5}$ and $K_{1}\vee (2K_{2}$) with an arbitrary vertex of $K_{n-5}$ and a vertex with $d(v)=4$ in $K_{1}\vee (2K_{2}$) being joined. If $k=2$, $δ\geq 3$, we conjecture $pc(G)\leq 2$, where $m$ takes the value $1$ if $δ=3$ and $0$ if $δ\geq4$ in the assumption.
Pancyclic zero divisor graph over the ring $\mathbb{Z}_n[i]$
Published
• View Publication
• BIB
Let $Γ(\mathbb{Z}_n[i])$ be the zero divisor graph over the ring $\mathbb{Z}_n[i]$. In this article, we study pancyclic properties of $Γ(\mathbb{Z}_n[i])$ and $\overline{Γ(\mathbb{Z}_n[i])}$ for different $n$. Also, we prove some results in which $L(Γ(\mathbb{Z}_n[i]))$ and $\overline{L(Γ(\mathbb{Z}_n[i]))}$ to be pancyclic for different values of $n$.
Shortest Reconfiguration Sequence for Sliding Tokens on Spiders
Published
• View Publication
• BIB
Suppose that two independent sets $I$ and $J$ of a graph with $\vert I \vert = \vert J \vert$ are given, and a token is placed on each vertex in $I$. The Sliding Token problem is to determine whether there exists a sequence of independent sets which transforms $I$ into $J$ so that each independent set in the sequence results from the previous one by sliding exactly one token along an edge in the graph. It is one of the representative reconfiguration problems that attract the attention from the viewpoint of theoretical computer science. For a yes-instance of a reconfiguration problem, finding a shortest reconfiguration sequence has a different aspect. In general, even if it is polynomial time solvable to decide whether two instances are reconfigured with each other, it can be $\mathsf{NP}$-hard to find a shortest sequence between them. In this paper, we show that the problem for finding a shortest sequence between two independent sets is polynomial time solvable for spiders (i.e., trees having exactly one vertex of degree at least three).
Notes on Spreads of Degrees in Graphs
Perhaps the very first elementary exercise one encounters in graph theory is the result that any graph on at least two vertices must have at least two vertices with the same degree. There are various ways in which this result can be non-trivially generalised. For example, one can interpret this result as saying that in any graph $G$ on at least two vertices there is a set $B$ of at least two vertices such that the difference between the largest and the smallest degrees (in $G$) of the vertices of $B$ is zero. In this vein we make the following definition. For any $B\subset V(G)$, let the spread $sp(B)$ of $B$ be defined to be the difference between the largest and the smallest of the degrees of the vertices in $B$. For any $k\geq 0$, let $sp(G,k)$ be the largest cardinality of a set of vertices $B$ such that $sp(B)\leq k$. Therefore the first elementary result in graph theory says that, for any graph $G$ on at least two vertices, $sp(G,0)\geq 2$.
In this paper we first give a proof of a result of Erd\" os, Chen, Rousseau and Schelp which generalises the above to $sp(G,k)\geq k+2$ for any graph on at least $k+2$ vertices. Our proof is short and elementary and does not use the famous Erd\" os-Gallai Theorem on vertex degrees. We then develop lower bounds for $sp(G,k)$ in terms of the order of $G$ and its minimum, maximum and average degree. We then use these results to give lower bounds on $sp(G,k)$ for trees and maximal outerplanar graphs, most of which we show to be sharp.