Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Graph Spanners: A Tutorial Review
Published
• View Publication
• BIB
This tutorial review provides a guiding reference to researchers who want to have an overview of the large body of literature about graph spanners. It reviews the current literature covering various research streams about graph spanners, such as different formulations, sparsity and lightness results, computational complexity, dynamic algorithms, and applications. As an additional contribution, we offer a list of open problems on graph spanners.
Perfect Matchings, Rank of Connection Tensors and Graph Homomorphisms
Published
• View Publication
• BIB
We develop a theory of graph algebras over general fields. This is modeled after the theory developed by Freedman, Lovász and Schrijver in [22] for connection matrices, in the study of graph homomorphism functions over real edge weight and positive vertex weight. We introduce connection tensors for graph properties. This notion naturally generalizes the concept of connection matrices. It is shown that counting perfect matchings, and a host of other graph properties naturally defined as Holant problems (edge models), cannot be expressed by graph homomorphism functions with both complex vertex and edge weights (or even from more general fields). Our necessary and sufficient condition in terms of connection tensors is a simple exponential rank bound. It shows that positive semidefiniteness is not needed in the more general setting.
Simple proofs for Furstenberg sets over finite fields
Published in Discrete Analysis 2021:22
• Search Publication
A $(k,m)$-Furstenberg set $S \subset \mathbb{F}_q^n$ over a finite field is a set that has at least $m$ points in common with a $k$-flat in every direction. The question of determining the smallest size of such sets is a natural generalization of the finite field Kakeya problem. The only previously known bound for these sets is due to Ellenberg-Erman and requires sophisticated machinery from algebraic geometry. In this work we give new, completely elementary and simple, proofs which significantly improve the known bounds. Our main result relies on an equivalent formulation of the problem using the notion of min-entropy, which could be of independent interest.
Average eccentricity, minimum degree and maximum degree in graphs
Published
• View Publication
• BIB
Let $G$ be a connected finite graph with vertex set $V(G)$. The eccentricity $e(v)$ of a vertex $v$ is the distance from $v$ to a vertex farthest from $v$. The average eccentricity of $G$ is defined as $\frac{1}{|V(G)|}\sum_{v \in V(G)}e(v)$. We show that the average eccentricity of a connected graph of order $n$, minimum degree $δ$ and maximum degree $Δ$ does not exceed $\frac{9}{4} \frac{n-Δ-1}{δ+1}
\big( 1 + \frac{Δ-δ}{3n} \big) + 7$, and this bound is sharp apart from an additive constant. We give improved bounds for triangle-free graphs and for graphs not containing a $4$-cycles.
Some Bounds on Zeroth-Order General Randić$ Index
Published
• View Publication
• BIB
For a graph $G$ without isolated vertices, the inverse degree of a graph $G$ is defined as $ID(G)=\sum_{u\in V(G)}d(u)^{-1}$ where $d(u)$ is the number of vertices adjacent to the vertex $u$ in $G$. By replacing $-1$ by any non-zero real number we obtain zeroth-order general Randić index, i.e. $^0R_γ(G)=\sum_{u\in V(G)}d(u)^γ$ where $γ$ is any non-zero real number. In \cite{xd}, Xu et. al. determined some upper and lower bounds on the inverse degree for a connected graph $G$ in terms of chromatic number, clique number, connectivity, number of cut edges. In this paper, we extend their results and investigate if the same results hold for $γ<0$. The corresponding extremal graphs have been also characterized.
Cyclic Permutations: Degrees and Combinatorial Types
Published in J. Comb. Theory Ser. A. 184 (2021) 105518
• View Publication
• BIB
This note will give an enumeration of $n$-cycles in the symmetric group ${\mathcal S}_n$ by their degree (also known as their cyclic descent number) and studies similar counting problems for the conjugacy classes of $n$-cycles under the action of the rotation subgroup of ${\mathcal S}_n$. This is achieved by relating such cycles to periodic orbits of an associated dynamical system acting on the circle. We also compute the mean and variance of the degree of a random $n$-cycle and show that its distribution is asymptotically normal as $n \to \infty$.
Minimal flag triangulations of lower-dimensional manifolds
Published in Involve 13 (2020) 683-703
• View Publication
• BIB
We prove the following results on flag triangulations of 2- and 3-manifolds. In dimension 2, we prove that the vertex-minimal flag triangulations of $\mathbb{R} P^2$ and $\mathbb{S}^1\times \mathbb{S}^1$ have 11 and 12 vertices, respectively. In general, we show that $8+3k$ (resp. $8+4k$) vertices suffice to obtain a flag triangulation of the connected sum of $k$ copies of $\mathbb{R} P^2$ (resp. $\mathbb{S}^1\times \mathbb{S}^1$). In dimension 3, we describe an algorithm based on the Lutz-Nevo theorem which provides supporting computational evidence for the following generalization of the Charney-Davis conjecture: for any flag 3-manifold, $γ_2:=f_1-5f_0+16\geq 16 β_1$, where $f_i$ is the number of $i$-dimensional faces and $β_1$ is the first Betti number over a field. The conjecture is tight in the sense that for any value of $β_1$, there exists a flag 3-manifold for which the equality holds.
Solution of minimum spanning forest problems with reliability constraints
Published
• View Publication
• BIB
We propose the reliability constrained k-rooted minimum spanning forest, a relevant optimization problem whose aim is to find a k-rooted minimum cost forest that connects given customers to a number of supply vertices, in such a way that a minimum required reliability on each path between a customer and a supply vertex is satisfied and the cost is a minimum. The reliability of an edge is the probability that no failure occurs on that edge, whereas the reliability of a path is the product of the reliabilities of the edges in such path. The problem has relevant applications in the design of networks, in fields such as telecommunications, electricity and transports. For its solution, we propose a mixed integer linear programming model, and an adaptive large neighborhood search metaheuristic which invokes several shaking and local search operators. Extensive computational tests prove that the metaheuristic can provide good quality solutions in very short computing times.
Bounds on Ramsey Games via Alterations
Published in Journal of Graph Theory 104 (2023), 470-484
• View Publication
• BIB
We present a refinement of the classical alteration method for constructing $H$-free graphs: for suitable edge-probabilities $p$, we show that removing all edges in $H$-copies of the binomial random graph $G_{n,p}$ does not significantly change the independence number. This differs from earlier alteration approaches of Erdős and Krivelevich, who obtained similar guarantees by removing one edge from each $H$-copy (instead of all of them). We demonstrate the usefulness of our refined alternation method via two applications to online graph Ramsey games, where it enables easier analysis.
Stable structure on safe set problems in vertex-weighted graphs
Published
• View Publication
• BIB
Let $G$ be a graph, and let $w$ be a positive real-valued weight function on $V(G)$. For every subset $S$ of $V(G)$, let $w(S)=\sum_{v \in S} w(v).$ A non-empty subset $S \subset V(G)$ is a weighted safe set of $(G,w)$ if, for every component $C$ of the subgraph induced by $S$ and every component $D$ of $G-S$, we have $w(C) \geq w(D)$ whenever there is an edge between $C$ and $D$. If the subgraph of $G$ induced by a weighted safe set $S$ is connected, then the set $S$ is called a connected weighted safe set of $(G,w)$. The weighted safe number $\mathrm{s}(G,w)$ and connected weighted safe number $\mathrm{cs}(G,w)$ of $(G,w)$ are the minimum weights $w(S)$ among all weighted safe sets and all connected weighted safe sets of $(G,w)$, respectively. Note that for every pair $(G,w)$, $\mathrm{s}(G,w) \le \mathrm{cs}(G,w)$ by their definitions. Recently, it was asked which pair $(G,w)$ satisfies the equality and shown that every weighted cycle satisfies the equality. In this paper, we give a complete list of connected bipartite graphs $G$ such that $\mathrm{s}(G,w)=\mathrm{cs}(G,w)$ for every weight function $w$ on $V(G)$.
Joins, Ears and Castelnuovo-Mumford regularity
Published
• View Publication
• BIB
We introduce a new class of polynomial ideals associated to a simple graph, $G$. Let $K[E_G]$ be the polynomial ring on the edges of $G$ and $K[V_G]$ the polynomial ring on the vertices of $G$. We associate to $G$ an ideal, $I(X_G)$, defined as the preimage of $(x_i^2-x_j^2 : i,j\in V_G)\subseteq K[V_G]$ by the map $K[E_G]\to K[V_G]$ which sends a variable, $t_e$, associated to an edge $e=\{i,j\}$, to the product $x_ix_j$ of the variables associated to its vertices. We show that $K[E_G]/I(X_G)$ is a one-dimensional, Cohen-Macaulay, graded ring, that $I(X_G)$ is a binomial ideal and that, with respect to a fixed monomial order, its initial ideal has a generating set independent of the field $K$. We focus on the Castelnuovo-Mumford regularity of $I(X_G)$ providing the following sharp upper and lower bounds: $$ μ(G) \leq \operatorname{reg} I(X_G) \leq |V_G|-b_0(G)+1, $$ where $μ(G)$ is the maximum vertex join number of the graph and $b_0(G)$ is the number of its connected components. We show that the lower bound is attained for a bipartite graph and use this to derive a new combinatorial result on the number of even length ears of nested ear decomposition.
An Effective Upperbound on Treewidth Using Partial Fill-in of Separators
Partitioning a graph using graph separators, and particularly clique separators, are well-known techniques to decompose a graph into smaller units which can be treated independently. It was previously known that the treewidth was bounded above by the sum of the size of the separator plus the treewidth of disjoint components, and this was obtained by the heuristic of filling in all edges of the separator making it into a clique.
In this paper, we present a new, tighter upper bound on the treewidth of a graph obtained by only partially filling in the edges of a separator. In particular, the method completes just those pairs of separator vertices that are adjacent to a common component, and indicates a more effective heuristic than filling in the entire separator. We discuss the relevance of this result for combinatorial algorithms and give an example of how the tighter bound can be exploited in the domain of constraint satisfaction problems.
On the vertices belonging to all, some, none minimum dominating set
Published
• View Publication
• BIB
We characterize the vertices belonging to all minimum dominating sets, to some minimum dominating sets but not all, and to no minimum dominating set. We refine this characterization for some well studied sub-classes of graphs: chordal, claw-free, triangle-free. Also we exhibit some graphs answering to some open questions of the literature on minimum dominating sets.
On the upper chromatic number and multiplte blocking sets of PG($n,q$)
We investigate the upper chromatic number of the hypergraph formed by the points and the $k$-dimensional subspaces of $\mathrm{PG}(n,q)$; that is, the most number of colors that can be used to color the points so that every $k$-subspace contains at least two points of the same color. Clearly, if one colors the points of a double blocking set with the same color, the rest of the points may get mutually distinct colors. This gives a trivial lower bound, and we prove that it is sharp in many cases. Due to this relation with double blocking sets, we also prove that for $t\leq \frac38p+1$, a small $t$-fold (weighted) $(n-k)$-blocking set of $\mathrm{PG}(n,p)$, $p$ prime, must contain the weighted sum of $t$ not necessarily distinct $(n-k)$-spaces.
Relative Heffter arrays and biembeddings
Published
• View Publication
• BIB
Relative Heffter arrays, denoted by $\mathrm{H}_t(m,n; s,k)$, have been introduced as a generalization of the classical concept of Heffter array. A $\mathrm{H}_t(m,n; s,k)$ is an $m\times n$ partially filled array with elements in $\mathbb{Z}_v$, where $v=2nk+t$, whose rows contain $s$ filled cells and whose columns contain $k$ filled cells, such that the elements in every row and column sum to zero and, for every $x\in \mathbb{Z}_v$ not belonging to the subgroup of order $t$, either $x$ or $-x$ appears in the array. In this paper we show how relative Heffter arrays can be used to construct biembeddings of cyclic cycle decompositions of the complete multipartite graph $K_{\frac{2nk+t}{t}\times t}$ into an orientable surface. In particular, we construct such biembeddings providing integer globally simple square relative Heffter arrays for $t=k=3,5,7,9$ and $n\equiv 3 \pmod 4$ and for $k=3$ with $t=n,2n$, any odd $n$.
On the vanishing of discrete singular cubical homology for graphs
Published
• View Publication
• BIB
We prove that if G is a graph without 3-cycles and 4-cycles, then the discrete cubical homology of G is trivial in dimension d, for all d\ge 2. We also construct a sequence { G_d } of graphs such that this homology is non-trivial in dimension d for d\ge 1. Finally, we show that the discrete cubical homology induced by certain coverings of G equals the ordinary singular homology of a 2-dimensional cell complex built from G, although in general it differs from the discrete cubical homology of the graph as a whole.
A graphon counter example
Published
• View Publication
• BIB
We give an example of a graphon such that there is no equivalent graphon with a degree function that is (weakly) increasing.
IB-homogeneous graphs
Published
• View Publication
• BIB
The Lachlan-Woodrow Theorem identifies ultrahomogeneous graphs up to isomorphism. Recently, the present author and D. Hartman classified MB-homogeneous graphs up to bimorphism-equivalence. We extend those results in this paper, showing that every IB-homogeneous graph is either ultrahomogeneous or MB-homogeneous, and thus all the IB-homogeneous graphs are known up to bimorphism-equivalence.
A refinement of Christol's theorem for algebraic power series
Published
• View Publication
• BIB
A famous result of Christol gives that a power series $F(t)=\sum_{n\ge 0} f(n)t^n$ with coefficients in a finite field $\mathbb{F}_q$ of characteristic $p$ is algebraic over the field of rational functions in $t$ if and only if there is a finite-state automaton accepting the base-$p$ digits of $n$ as input and giving $f(n)$ as output for every $n\ge 0$. An extension of Christol's theorem, giving a complete description of the algebraic closure of $\mathbb{F}_q(t)$, was later given by Kedlaya. When one looks at the support of an algebraic power series, that is the set of $n$ for which $f(n)\neq 0$, a well-known dichotomy for sets generated by finite-state automata shows that the support set is either sparse---with the number of $n\le x$ for which $f(n)\neq 0$ bounded by a polynomial in $\log(x)$---or it is reasonably large in the sense that the number of $n\le x$ with $f(n)\neq 0$ grows faster than $x^α$ for some positive $α$. The collection of algebraic power series with sparse supports forms a ring and we give a purely algebraic characterization of this ring in terms of Artin-Schreier extensions and we extend this to the context of Kedlaya's work on generalized power series.
Meyniel Extremal Families of Abelian Cayley Graphs
Published
• View Publication
• BIB
We study the game of Cops and Robbers, where cops try to capture a robber on the vertices of a graph. Meyniel's conjecture states that for every connected graph $G$ on $n$ vertices, the cop number of $G$ is upper bounded by $O(\sqrt{n})$, i.e., that $O(\sqrt{n})$ suffice to catch the robber. We present several families of abelian Cayley graphs that are Meyniel extremal, i.e., graphs whose cop number is $O(\sqrt{n})$. This proves that the $O(\sqrt{n})$ upper bound for Cayley graphs proved by Bradshaw is tight up to a multiplicative constant. In particular, this shows that Meyniel's conjecture, if true, is tight to a multiplicative constant even for abelian Cayley graphs.
In order to prove the result, we construct Cayley graphs on $n$ vertices with $Ω(\sqrt{n})$ generators that are $K_{2,3}$-free. This shows that the Kövári, Sós, and Turán theorem, stating that any $K_{2,3}$-free graph of $n$ vertices has at most $O(n^{3/2})$ edges, is tight up to a multiplicative constant even for abelian Cayley graphs.