graph
35367 papers tagged with this keyword
Separating the edges of a graph by a linear number of paths
Published in Advances in Combinatorics 2023:6, 7pp
• View Publication
• BIB
Recently, Letzter proved that any graph of order $n$ contains a collection $\mathcal{P}$ of $O(n\log^\star n)$ paths with the following property: for all distinct edges $e$ and $f$ there exists a path in $\mathcal{P}$ which contains $e$ but not $f$. We improve this upper bound to $19 n$, thus answering a question of G.O.H. Katona and confirming a conjecture independently posed by Balogh, Csaba, Martin, and Pluhár and by Falgas-Ravry, Kittipassorn, Korándi, Letzter, and Narayanan. Our proof is elementary and self-contained.
4-clique Network Minor Embedding for Quantum Annealers
Published
• View Publication
• BIB
Quantum annealing is a quantum algorithm for computing solutions to combinatorial optimization problems. This study proposes a method for minor embedding optimization problems onto sparse quantum annealing hardware graphs called 4-clique network minor embedding. This method is in contrast to the standard minor embedding technique of using a path of linearly connected qubits in order to represent a logical variable state. The 4-clique minor embedding is possible on Pegasus graph connectivity, which is the native hardware graph for some of the current D-Wave quantum annealers. The Pegasus hardware graph contains many cliques of size 4, making it possible to form a graph composed entirely of paths of connected 4-cliques on which a problem can be minor embedded. The 4-clique chains come at the cost of additional qubit usage on the hardware graph, but they allow for stronger coupling within each chain thereby increasing chain integrity, reducing chain breaks, and allow for greater usage of the available energy scale for programming logical problem coefficients on current quantum annealers. The 4-clique minor embedding technique is compared against the standard linear path minor embedding with experiments on two D-Wave quantum annealing processors with Pegasus hardware graphs. We show proof of concept experiments where the 4-clique minor embeddings can use weak chain strengths while successfully carrying out the computation of minimizing random all-to-all spin glass problem instances.
Bounds for the geometric-arithmetic index of unicyclic graphs
Published
• View Publication
• BIB
We present lower and upper bounds for the geometric-arithmetic index of unicyclic graphs and provide extremal graphs for the corresponding bounds.
Vertex degrees close to the average degree
Published
• View Publication
• BIB
Let $G$ be a finite, simple, and undirected graph of order $n$ and average degree $d$. Up to terms of smaller order, we characterize the minimal intervals $I$ containing $d$ that are guaranteed to contain some vertex degree. In particular, for $d_+\in \left(\sqrt{dn},n-1\right]$, we show the existence of a vertex in $G$ of degree between $d_+-\left(\frac{(d_+-d)n}{n-d_++\sqrt{d_+^2-dn}}\right)$ and $d_+$.
On unigraphic polyhedra with one vertex of degree $p-2$
Published
• View Publication
• BIB
A sequence $σ$ of $p$ non-negative integers is unigraphic if it is the degree sequence of exactly one graph, up to isomorphism. A polyhedral graph is a $3$-connected, planar graph. We investigate which sequences are unigraphic with respect to the class of polyhedral graphs, meaning that they admit exactly one realisation as a polyhedron.
We focus on the case of sequences with largest entry $p-2$. We give a classification of polyhedral unigraphic sequences starting with $p-2,p-2$, as well as those starting with $p-2$ and containing exactly one $3$. Moreover, we characterise the unigraphic sequences where a few vertices are of high degree. We conclude with a few other examples of families of unigraphic polyhedra.
Integer eigenvalues of the $n$-Queens graph
Published
• View Publication
• BIB
The $n$-Queens graph, $\mathcal{Q}(n)$, is the graph obtained from a $n\times n$ chessboard where each of its $n^2$ squares is a vertex and two vertices are adjacent if and only if they are in the same row, column or diagonal. In a previous work the authors have shown that, for $n\ge4$, the least eigenvalue of $\mathcal{Q}(n)$ is $-4$ and its multiplicity is $(n-3)^2$. In this paper we prove that $n-4$ is also an eigenvalue of $\mathcal{Q}(n)$ and its multiplicity is at least $\frac{n+1}{2}$ or $\frac{n-2}{2}$ when $n$ is odd or even, respectively. Furthermore, when $n$ is odd, it is proved that $-3,-2\ldots,\frac{n-11}{2}$ and $\frac{n-5}{2},\ldots,n-5$ are additional integer eigenvalues of $\mathcal{Q}(n)$ and a family of eigenvectors associated with them is presented. Finally, conjectures about the multiplicity of the aforementioned eigenvalues and about the non-existence of any other integer eigenvalue are stated.
Almost all Cayley maps are mapical regular representations
Published
• View Publication
• BIB
Cayley maps are combinatorial structures built upon Cayley graphs on a group. As such the original group embeds in their group of automorphisms, and one can ask in which situation the two coincide (one then calls the Cayley map a mapical regular representation or MRR) and with what probability. The first question was answered by Jajcay. In this paper we tackle the probabilistic version, and prove that as groups get larger the proportion of MRRs among all Cayley Maps approaches 1.
A Note on the $k$-colored Crossing Ratio of Dense Geometric Graphs
Published
• View Publication
• BIB
A \emph{geometric graph} is a graph whose vertex set is a set of points in general position in the plane, and its edges are straight line segments joining these points. We show that for every integer $k \ge 2$, there exists a constat $c>0$ such that the following holds. The edges of every dense geometric graph can be colored with $k$ colors, such that the number of pairs of edges of the same color that cross is at most $(1/k-c)$ times the total number of pairs of edges that cross. The case when $k=2$ and $G$ is a complete geometric graph, was proved by Aichholzer et al.[\emph{GD} 2019].
Large simplicial complexes: Universality, Randomness, and Ampleness
Published
• View Publication
• BIB
The paper surveys recent progress in understanding geometric, topological and combinatorial properties of large simplicial complexes, focusing mainly on ampleness, connectivity and universality. In the first part of the paper we concentrate on $r$-ample simplicial complexes which are high dimensional analogues of the $r$-e.c. graphs introduced originally by Erd\H os and Réniy. The class of $r$-ample complexes is useful for applications since these complexes allow extensions of subcomplexes of certain type in all possible ways; besides, $r$-ample complexes exhibit remarkable robustness properties. We discuss results about the existence of $r$-ample complexes and describe their probabilistic and deterministic constructions. The properties of random simplicial complexes in medial regime are important for this discussion since these complexes are ample, in certain range. We prove that the topological complexity of a random simplicial complex in the medial regime satisfies ${\sf TC}(X)\le 4$, with probability tending to $1$ as $n\to\infty$. There exists a unique (up to isomorphism) $\infty$-ample complex on countable set of vertexes (the Rado complex), and the second part of the paper surveys the results about universality, homogeneity, indestructibility and other important properties of this complex.
The Appendix written by J.A. Barmak discusses connectivity of conic and ample complexes.
Many Hamiltonian subsets in large graphs with given density
Published
• View Publication
• BIB
A set of vertices in a graph is a Hamiltonian subset if it induces a subgraph containing a Hamiltonian cycle. Kim, Liu, Sharifzadeh and Staden proved that among all graphs with minimum degree $d$, $K_{d+1}$ minimises the number of Hamiltonian subsets. We prove a near optimal lower bound that takes also the order and the structure of a graph into account. For many natural graph classes, it provides a much better bound than the extremal one ($\approx 2^{d+1}$). Among others, our bound implies that an $n$-vertex $C_4$-free graphs with minimum degree $d$ contains at least $n2^{d^{2-o(1)}}$ Hamiltonian subsets.
Three aspects of the MSTCI problem
Published
• View Publication
• BIB
Consider a connected graph $G$ and let $T$ be a spanning tree of $G$. Every edge $e \in G-T$ induces a cycle in $T \cup \{e\}$. The intersection of two distinct such cycles is the set of edges of $T$ that belong to both cycles. The MSTCI problem consists in finding a spanning tree that has the least number of such non-empty intersections and the instersection number is the number of non-empty intersections of a solution. In this article we consider three aspects of the problem in a general context (i.e. for arbitrary connected graphs). The first presents two lower bounds of the intersection number. The second compares the intersection number of graphs that differ in one edge. The last is an attempt to generalize a recent result for graphs with a universal vertex.
An efficient asymmetric removal lemma and its limitations
Published in Forum of Mathematics, Sigma 13 (2025) e38
• View Publication
• BIB
The triangle removal states that if $G$ contains $\varepsilon n^2$ edge-disjoint triangles, then $G$ contains $δ(\varepsilon)n^3$ triangles. Unfortunately, there are no sensible bounds on the order of growth of $δ(\varepsilon)$, and at any rate, it is known that $δ(\varepsilon)$ is not polynomial in $\varepsilon$. Csaba recently obtained an asymmetric variant of the triangle removal, stating that if $G$ contains $\varepsilon n^2$ edge-disjoint triangles, then $G$ contains $2^{-\mathrm{poly}(1/\varepsilon)}\cdot n^5$ copies of $C_5$. To this end, he devised a new variant of Szemerédi's regularity lemma. We obtain the following results:
- We first give a regularity-free proof of Csaba's theorem, which improves the number of copies of $C_5$ to the optimal number $\mathrm{poly}(\varepsilon)\cdot n^5$.
- We say that $H$ is $K_3$-abundant if every graph containing $\varepsilon n^2$ edge-disjoint triangles has $\mathrm{poly}(\varepsilon)\cdot n^{|V(H)|}$ copies of $H$. It is easy to see that a $K_3$-abundant graph must be triangle-free and tripartite. Given our first result, it is natural to ask if all triangle-free tripartite graphs are $K_3$-abundant. Our second result is that assuming a well-known conjecture of Ruzsa in additive number theory, the answer to this question is negative.
Our proofs use a mix of combinatorial, number-theoretic, probabilistic, and Ramsey-type arguments.
A new approach for the Brown-Erdos-Sos problem
Published
• View Publication
• BIB
The celebrated Brown-Erdős-Sós conjecture states that for every fixed $e$, every $3$-uniform hypergraph with $Ω(n^2)$ edges contains $e$ edges spanned by $e+3$ vertices. Up to this date all the approaches towards resolving this problem relied on highly involved applications of the hypergraph regularity method, and yet they supplied only approximate versions of the conjecture, producing $e$ edges spanned by $e+O(\log e/\log \log e)$ vertices.
In this short paper we describe a completely different approach, which reduces the problem to a variant of another well-known conjecture in extremal graph theory. A resolution of the latter would resolve the Brown-Erdős-Sós conjecture up to an absolute additive constant.
A Random Graph Growth Model
Published in Bulletin of the London Mathematical Society 56, Issue 2 (2024) pp. 662-680
• View Publication
• BIB
A growing random graph is constructed by successively sampling without replacement an element from the pool of virtual vertices and edges. At start of the process the pool contains $N$ virtual vertices and no edges. Each time a vertex is sampled and occupied, the edges linking the vertex to previously occupied vertices are added to the pool of virtual elements. We focus on the edge-counting at times when the graph has $n\leq N$ occupied vertices. Two different Poisson limits are identified for $n\asymp N^{1/3}$ and $N-n\asymp 1$. For the bulk of the process, when $n\asymp N$, the scaled number of edges is shown to fluctuate about a deterministic curve, with fluctuations being of the order of $N^{3/2}$ and approximable by a Gaussian bridge.
Mathematical results on harmonic polynomials
Some years ago, the harmonic polynomial was introduced in order to understand better the harmonic topological index; for instance, it allows to obtain bounds of the harmonic index of the main products of graphs. Here, we obtain several properties of this polynomial, and we prove that several properties of graphs can be deduced from their harmonic polynomials. Also, we show that two graphs with the same harmonic polynomial have to be similar.
The Effect of Symmetry-preserving Operations on 3-Connectivity
Published
• View Publication
• BIB
In 2017, Brinkmann, Goetschalckx and Schein introduced a very general way of describing operations on embedded graphs that preserve all orientation-preserving symmetries of the graph. This description includes all well-known operations such as Dual, Truncation and Ambo. As these operations are applied locally, they are called local orientation-preserving symmetry-preserving operations (lopsp-operations). In this text we will use the general description of these operations to determine their effect on 3-connectivity. Recently it was proved that all lopsp-operations preserve 3-connectivity of graphs that have face-width at least three. We present a simple condition that characterises exactly which lopsp-operations preserve 3-connectivity for all embedded graphs, even for those with face-width less than three.
Splittings of Tangles and Spatial Graphs
Published
• View Publication
• BIB
Menasco proved the surprising result that if $G$ is a reduced, alternating, connected projection of a link $L$ and $G$ is prime then $L$ is prime. This result has been generalized to other classes of links, tangles, and spatial graphs. We draw attention to some issues with previous splitting results about tangles and spatial graphs, and obtain new more general results for tangles and spatial graphs.
On distance graphs in rational spaces
Published in Moscow J. Comb. Number Th. 12 (2023) 165-173
• View Publication
• BIB
For any positive definite rational quadratic form $q$ of $n$ variables let $G(\mathbb{Q}^n, q)$ denote the graph with vertices $\mathbb{Q}^n$ and $x, y \in \mathbb{Q}^n$ connected iff $q(x - y) = 1$. This notion generalises standard Euclidean distance graphs. In this article we study these graphs and show how to find the exact value of clique number of the $G(\mathbb{Q}^n, q)$.
We also prove rational analogue of the Beckman--Quarles theorem that any unit-preserving mapping of $\mathbb{Q}^n$ is an isometry.
Cliques of orders three and four in the Paley-type graphs
Published
• View Publication
• BIB
Let $n=2^s p_{1}^{α_{1}}\cdots p_{k}^{α_{k}}$, where $s=0$ or $1$, $α_i\geq 1$, and the distinct primes $p_i$ satisfy $p_i\equiv 1\pmod{4}$ for all $i=1, \ldots, k$. Let $\mathbb{Z}_n^\ast$ denote the group of units in the commutative ring $\mathbb{Z}_n$. Recently, we defined a Paley-type graph $G_n$ of order $n$ as the graph whose vertex set is $\mathbb{Z}_n$ and $xy$ is an edge if $x-y\equiv a^2\pmod n$ for some $a\in\mathbb{Z}_n^\ast$. The Paley-type graph $G_n$ resembles the classical Paley graph in a number of ways, and adds to the list of generalizations of the Paley graph. Computing the number of cliques of a particular order in a Paley graph or its generalizations has been of considerable interest. For primes $p\equiv 1\pmod 4$ and $α\geq 1$, by evaluating certain character sums, we found the number of cliques of order $3$ in $G_{p^α}$ and expressed the number of cliques of order $4$ in $G_{p^α}$ in terms of Jacobi sums. In this article we give combinatorial proofs and find the number of cliques of orders $3$ and $4$ in $G_n$ for all $n$ for which the graph is defined.
Counting graphic sequences via integrated random walks
Published
• View Publication
• BIB
Given an integer $n$, let $G(n)$ be the number of integer sequences $n-1\ge d_1\ge d_2\ge\dotsb\ge d_n\ge 0$ that are the degree sequence of some graph. We show that $G(n)=(c+o(1))4^n/n^{3/4}$ for some constant $c>0$, improving both the previously best upper and lower bounds by a factor of $n^{1/4}$ (up to polylog-factors).
Additionally, we answer a question of Royle, extend the values of $n$ for which the exact value of $G(n)$ is known from $n\le290$ to $n\le 1651$ and determine the asymptotic probability that the integral of a (lazy) simple symmetric random walk bridge remains non-negative.