graph
34793 papers tagged with this keyword
Local Properties in Colored Graphs, Distinct Distances, and Difference Sets
Published
• View Publication
• BIB
We study Extremal Combinatorics problems where local properties are used to derive global properties. That is, we consider a given configuration where every small piece of the configuration satisfies some restriction, and use this local property to derive global properties of the entire configuration. We study one such Ramsey problem of Erdős and Shelah, where the configurations are complete graphs with colored edges and every small induced subgraph contains many distinct colors. Our bounds for this Ramsey problem show that the known probabilistic construction is tight in various cases. We study one Discrete Geometry variant, also by Erdős, where we have a set of points in the plane such that every small subset spans many distinct distances. Finally, we consider an Additive Combinatorics problem, where we are given sets of real numbers such that every small subset has a large difference set.
We derive new bounds for all of the above problems. Our proof technique is based on introducing an non-algebraic variant of additive energies. This abstract energy variant is based on edge colors in graphs.
Rock, Paper, Scissors, Etc -- Topics in the Theory of Regular Tournaments
The classic Rock-Paper-Scissors game of size 3 and its extension, Rock-Paper-Scissors-Lizard-Spock, are modeled by directed graphs called tournaments. They can be further extended to any odd size. The extended games are regular tournaments where each strategy beats and is beaten by exactly half of the alternatives. We survey the properties of regular tournaments, which we will call games. In the process we describe a number of constructions for such games. These include games on groups of odd order and the associated games on coset spaces. We obtain a new lower bound for the number of games of size 2n+1.
A Graphon Approach to Limiting Spectral Distributions of Wigner-type Matrices
Published in Random Struct Alg. 2020; 56: 251-279
• View Publication
• BIB
We present a new approach, based on graphon theory, to finding the limiting spectral distributions of general Wigner-type matrices. This approach determines the moments of the limiting measures and the equations of their Stieltjes transforms explicitly with weaker assumptions on the convergence of variance profiles than previous results. As applications, we give a new proof of the semicircle law for generalized Wigner matrices and determine the limiting spectral distributions for three sparse inhomogeneous random graph models with sparsity $ω(1/n)$: inhomogeneous random graphs with roughly equal expected degrees, $W$-random graphs and stochastic block models with a growing number of blocks. Furthermore, we show our theorems can be applied to random Gram matrices with a variance profile for which we can find the limiting spectral distributions under weaker assumptions than previous results.
A Simple Characterization of Proportionally 2-choosable Graphs
Published
• View Publication
• BIB
We recently introduced proportional choosability, a new list analogue of equitable coloring. Like equitable coloring, and unlike list equitable coloring (a.k.a. equitable choosability), proportional choosability bounds sizes of color classes both from above and from below. In this note, we show that a graph is proportionally 2-choosable if and only if it is a linear forest such that its largest component has at most 5 vertices and all of its other components have two or fewer vertices. We also construct examples that show that characterizing equitably 2-choosable graphs is still open.
Approximation Algorithms for Complex-Valued Ising Models on Bounded Degree Graphs
Published in Quantum 3, 162 (2019)
• View Publication
• BIB
We study the problem of approximating the Ising model partition function with complex parameters on bounded degree graphs. We establish a deterministic polynomial-time approximation scheme for the partition function when the interactions and external fields are absolutely bounded close to zero. Furthermore, we prove that for this class of Ising models the partition function does not vanish. Our algorithm is based on an approach due to Barvinok for approximating evaluations of a polynomial based on the location of the complex zeros and a technique due to Patel and Regts for efficiently computing the leading coefficients of graph polynomials on bounded degree graphs. Finally, we show how our algorithm can be extended to approximate certain output probability amplitudes of quantum circuits.
On the integrability of strongly regular graphs
Published
• View Publication
• BIB
Koolen et al. showed that if a connected graph with smallest eigenvalue at least $-3$ has large minimal valency, then it is $2$-integrable. In this paper, we will prove that a lower bound for the minimal valency is 166.
Embeddings of 3-connected 3-regular planar graphs on surfaces of non-negative Euler characteristic
Published in Discrete Mathematics & Theoretical Computer Science, vol. 21 no. 4, Graph Theory (September 27, 2019) dmtcs:4656
• View Publication
• BIB
Whitney's theorem states that every 3-connected planar graph is uniquely embeddable on the sphere. On the other hand, it has many inequivalent embeddings on another surface. We shall characterize structures of a $3$-connected $3$-regular planar graph $G$ embedded on the projective-plane, the torus and the Klein bottle, and give a one-to-one correspondence between inequivalent embeddings of $G$ on each surface and some subgraphs of the dual of $G$ embedded on the sphere. These results enable us to give explicit bounds for the number of inequivalent embeddings of $G$ on each surface, and propose effective algorithms for enumerating and counting these embeddings.
Neighbor-Locating Colorings in Graphs
Published
• View Publication
• BIB
A $k$-coloring of a graph $G$ is a $k$-partition $Π=\{S_1,\ldots,S_k\}$ of $V(G)$ into independent sets, called \emph{colors}. A $k$-coloring is called \emph{neighbor-locating} if for every pair of vertices $u,v$ belonging to the same color $S_i$, the set of colors of the neighborhood of $u$ is different from the set of colors of the neighborhood of $v$. The neighbor-locating chromatic number $χ_{_{NL}}(G)$ is the minimum cardinality of a neighbor-locating coloring of $G$.
We establish some tight bounds for the neighbor-locating chromatic number of a graph, in terms of its order, maximum degree and independence number. We determine all connected graphs of order $n\geq 5$ with neighbor-locating chromatic number $n$ or $n-1$. We examine the neighbor-locating chromatic number for two graph operations: join and disjoint union, and also for two graph families: split graphs and Mycielski graphs.
A degree condition for diameter two orientability of graphs
Published
• View Publication
• BIB
For $n \in \mathbb{N}$ let $δ_n$ be the smallest value such that every graph of order $n$ and minimum degree at least $δ_n$ admits an orientation of diameter two. We show that $δ_n=\frac{n}{2} + Θ(\ln n)$.
Condensation in preferential attachment models with location-based choice
Published in Random Structures and Algorithms 56 no. 3 (2020)
• View Publication
• BIB
We introduce a model of a preferential attachment based random graph which extends the family of models in which condensation phenomena can occur. Each vertex has an associated uniform random variable which we call its location. Our model evolves in discrete time by selecting $r$ vertices from the graph with replacement, with probabilities proportional to their degrees plus a constant $α$. A new vertex joins the network and attaches to one of these vertices according to a given probability associated to the ranking of their locations. We give conditions for the occurrence of condensation, showing the existence of phase transitions in $α$ below which condensation occurs. The condensation in our model differs from that in preferential attachment models with fitness in that the condensation can occur at a random location, that it can be due to a persistent hub, and that there can be more than one point of condensation.
A variant of the Erdos-Renyi random graph process
Published
• View Publication
• BIB
We consider a natural variant of the Erdős-Rényi random graph process in which $k$ vertices are special and are never put into the same connected component. The model is natural and interesting on its own, but is actually inspired by the combinatorial data fusion problem that itself is connected to a number of important problems in graph theory. We will show that a phase transition occurs when the number of special vertices is roughly $n^{1/3}$, where $n$ is the number of vertices.
Decomposing Claw-free Subcubic Graphs and $4$-Chordal Subcubic Graphs
Published
• View Publication
• BIB
Hoffmann-Ostenhof's Conjecture states that the edge set of every connected cubic graph can be decomposed into a spanning tree, a matching and a $2$-regular subgraph. In this paper, we show that the conjecture holds for claw-free subcubic graphs and $4$-chordal subcubic graphs.
Uniqueness in Harper's vertex-isoperimetric theorem
Published
• View Publication
• BIB
For a set $A\subseteq Q_{n}=\left\{ 0,1\right\} ^{n}$ the $t$-neighbourhood of $A$ is $N^{t}\left(A\right)=\left\{ x\,:\,d\left(x,A\right)\leq t\right\}$, where $d$ denotes the usual graph distance on $Q_{n}$. Harper's vertex-isoperimetric theorem states that among the subsets $A\subseteq Q_{n}$ of given size, the size of the $t$-neighbourhood is minimised when $A$ is taken to be an initial segment of the simplicial order. Aubrun and Szarek asked the following question: if $A\subseteq Q_{n}$ is a subset of given size for which the sizes of both $N^{t}\left(A\right)$ and $N^{t}\left(A^{c}\right)$ are minimal for all $t>0$, does it follow that $A$ is isomorphic to an initial segment of the simplicial order?
Our aim is to give a counterexample. Surprisingly it turns out that there is no counterexample that is a Hamming ball, meaning a set that lies between two consecutive exact Hamming balls, i.e.\ a set $A$ with $B\left(x,r\right)\subseteq A\subseteq B\left(x,r+1\right)$ for some $x\in Q_{n}$. We go further to classify all the sets $A\subseteq Q_{n}$ for which the sizes of both $N^{t}\left(A\right)$ and $N^{t}\left(A^{c}\right)$ are minimal for all $t>0$ among the subsets of $Q_{n}$ of given size. We also prove that, perhaps surprisingly, if $A\subseteq Q_{n}$ for which the sizes of $N\left(A\right)$ and $N\left(A^{c}\right)$ are minimal among the subsets of $Q_{n}$ of given size, then the sizes of both $N^{t}\left(A\right)$ and $N^{t}\left(A^{c}\right)$ are also minimal for all $t>0$ among the subsets of $Q_{n}$ of given size. Hence the same classification also holds when we only require $N\left(A\right)$ and $N\left(A^{c}\right)$ to have minimal size among the subsets $A\subseteq Q_{n}$ of given size.
Decomposable twofold triple systems with non-Hamiltonian 2-block intersection graphs
Published
• View Publication
• BIB
The 2-block intersection graph (2-BIG) of a twofold triple system (TTS) is the graph whose vertex set is composed of the blocks of the TTS and two vertices are joined by an edge if the corresponding blocks intersect in exactly two elements. The 2-BIGs are themselves interesting graphs: each component is cubic and 3-connected, and a 2-BIG is bipartite exactly when the TTS is decomposable to two Steiner triple systems. Any connected bipartite 2-BIG with no Hamilton cycle is a counter-example to a conjecture posed by Tutte in 1971. Our main result is that there exists an integer $N$ such that for all $v\geq N$, if $v\equiv 1$ or $3\mod{6}$ then there exists a TTS($v$) whose 2-BIG is bipartite and connected but not Hamiltonian. Furthermore, $13<N\leq 663$. Our approach is to construct a TTS($u$) whose 2-BIG is connected bipartite and non-Hamiltonian and embed it within a TTS($v$) where $v>2u$ in such a way that, after a single trade, the 2-BIG of the resulting TTS($v$) is bipartite connected and non-Hamiltonian.
List-three-coloring graphs with no induced $P_6+rP_3$
Published
• View Publication
• BIB
For an integer $r$, the graph $P_6+rP_3$ has $r+1$ components, one of which is a path on $6$ vertices, and each of the others is a path on $3$ vertices. In this paper we provide a polynomial-time algorithm to test if a graph with no induced subgraph isomorphic to $P_6+rP_3$ is three-colorable. We also solve the list version of this problem, where each vertex is assigned a list of possible colors, which is a subset of $\{1,2,3\}$.
Computing the metric dimension by decomposing graphs into extended biconnected components
Published
• View Publication
• BIB
A vertex set $U \subseteq V$ of an undirected graph $G=(V,E)$ is a $\textit{resolving set}$ for $G$, if for every two distinct vertices $u,v \in V$ there is a vertex $w \in U$ such that the distances between $u$ and $w$ and the distance between $v$ and $w$ are different. The $\textit{Metric Dimension}$ of $G$ is the size of a smallest resolving set for $G$. Deciding whether a given graph $G$ has Metric Dimension at most $k$ for some integer $k$ is well-known to be NP-complete. Many research has been done to understand the complexity of this problem on restricted graph classes. In this paper, we decompose a graph into its so called $\textit{extended biconnected components}$ and present an efficient algorithm for computing the metric dimension for a class of graphs having a minimum resolving set with a bounded number of vertices in every extended biconnected component. Further we show that the decision problem METRIC DIMENSION remains NP-complete when the above limitation is extended to usual biconnected components.
On the maximum number of maximum independent sets in connected graphs
Published
• View Publication
• BIB
We characterize the connected graphs of given order $n$ and given independence number $α$ that maximize the number of maximum independent sets. For $3\leq α\leq n/2$, there is a unique such graph that arises from the disjoint union of $α$ cliques of orders $\left\lceil\frac{n}α\right\rceil$ and $\left\lfloor\frac{n}α\right\rfloor$, by selecting a vertex $x$ in a largest clique and adding an edge between $x$ and a vertex in each of the remaining $α-1$ cliques. Our result confirms a conjecture of Derikvand and Oboudi [On the number of maximum independent sets of graphs, Transactions on Combinatorics 3 (2014) 29-36].
On $K_{2,t}$-bootstrap percolation
Published
• View Publication
• BIB
Given two graphs $G$ and $H$, it is said that $G$ percolates in $H$-bootstrap process if one could join all the nonadjacent pairs of vertices of $G$ in some order such that a new copy of $H$ is created at each step. Balogh, Bollobás and Morris in 2012 investigated the threshold of $H$-bootstrap percolation in the Erdős-Rényi model for the complete graph $H$ and proposed the similar problem for $H=K_{s,t}$, the complete bipartite graph. In this paper, we provide lower and upper bounds on the threshold of $K_{2, t}$-bootstrap percolation. In addition, a threshold function is derived for $K_{2, 4}$-bootstrap percolation.
Product irregularity strength of graphs with small clique cover number
Published
• View Publication
• BIB
For a graph $X$ without isolated vertices and without isolated edges, a product-irregular labelling $ω:E(X)\rightarrow \{1,2,\ldots,s\}$, first defined by Anholcer in 2009, is a labelling of the edges of $X$ such that for any two distinct vertices $u$ and $v$ of $X$ the product of labels of the edges incident with $u$ is different from the product of labels of the edges incident with $v$. The minimal $s$ for which there exist a product irregular labeling is called the product irregularity strength of $X$ and is denoted by $ps(X)$. Clique cover number of a graph is the minimum number of cliques that partition its vertex-set. In this paper we prove that connected graphs with clique cover number $2$ or $3$ have the product-irregularity strength equal to $3$, with some small exceptions.
$2$-Neighbour-Transitive Codes with Small Blocks of Imprimitivity
Published
• View Publication
• BIB
A code $C$ in the Hamming graph $\varGamma=H(m,q)$ is $2\it{\text{-neighbour-transitive}}$ if ${\rm Aut}(C)$ acts transitively on each of $C=C_0$, $C_1$ and $C_2$, the first three parts of the distance partition of $V\varGamma$ with respect to $C$. Previous classifications of families of $2$-neighbour-transitive codes leave only those with an affine action on the alphabet to be investigated. Here, $2$-neighbour-transitive codes with minimum distance at least $5$ and that contain "small" subcodes as blocks of imprimitivity are classified. When considering codes with minimum distance at least $5$, completely transitive codes are a proper subclass of $2$-neighbour-transitive codes. Thus, as a corollary of the main result, completely transitive codes satisfying the above conditions are also classified.