graph
34516 papers tagged with this keyword
A graph isomorphism invariant based on neighborhood aggregation
This paper presents a new graph isomorphism invariant, called $\mathfrak{w}$-labeling, that can be used to design a polynomial-time algorithm for solving the graph isomorphism problem for various graph classes. For example, all non-cospectral graph pairs are distinguished by the proposed combinatorial method, furthermore, even non-isomorphic cospectral graphs can be distinguished assuming certain properties of their eigenspaces.
We also investigate a refinement of the aforementioned labeling, called $\mathfrak{s}^k$-labeling, which has both theoretical and practical applications. Among others, it can be used to generate graph fingerprints, which uniquely identify all graphs in the considered databases, including all strongly regular graphs on at most 64 nodes and all graphs on at most 12 nodes. It provably identifies all trees and 3-connected planar graphs up to isomorphism, which -- as a byproduct -- gives a new isomorphism algorithm for both graph classes. The practical importance of this fingerprint lies in significantly speeding up searching in graph databases, which is a commonly required task in biological and chemical applications.
A combinatorial formula for LLT cumulants of melting lollipops in terms of spanning trees
We prove a combinatorial formula for LLT cumulants of melting lollipops as a positive combination of LLT polynomials indexed by spanning trees. The result gives an affirmative answer to a general positivity question for this class of unicellular LLT cumulants, and gives an independent proof of their Schur-positivity. In the special case of the complete graph, we also express the formula in terms of parking functions.
The Generalized Terwilliger Algebra of the Hypercube
In the year 2000, Eric Egge introduced the generalized Terwilliger algebra $\mathcal T$ of a distance-regular graph $Γ$. For any vertex $x$ of $Γ,$ there is a surjective algebra homomorphism $\natural$ from $\mathcal T$ to the Terwilliger algebra $T(x)$. If $Γ$ is complete, then $\natural$ is an isomorphism. If $Γ$ is not complete, then $\natural$ may or may not be an isomorphism, and in general the details are unknown. We show that if $Γ$ is a hypercube, then the algebra homomorphism $\natural:\mathcal T \to T(x)$ is an isomorphism for all vertices $x$ of $Γ$.
Eigenvectors of graph Laplacians: a landscape
We review the properties of eigenvectors for the graph Laplacian matrix, aiming at predicting a specific eigenvalue/vector from the geometry of the graph. After considering classical graphs for which the spectrum is known, we focus on eigenvectors that have zero components and extend the pioneering results of Merris (1998) on graph transformations that preserve a given eigenvalue $λ$ or shift it in a simple way. These transformations enable us to obtain eigenvalues/vectors combinatorially instead of numerically; in particular we show that graphs having eigenvalues $λ= 1,2,\dots,6$ up to six vertices can be obtained from a short list of graphs. For the converse problem of a $λ$ subgraph $G$ of a $λ$ graph $G"$, we prove results and conjecture that $G$ and $G"$ are connected by two of the simple transformations described above.
Triangle processes on graphs with given degree sequence
The switch chain is a well-studied Markov chain which generates random graphs with a given degree sequence and has uniform stationary distribution. Motivated by the high number of triangles seen in some real-world networks, we study a variant of the switch chain which is more likely to produce graphs with higher numbers of triangles. Specifically, we apply a Metropolis scheme designed to have the following stationary distribution: graph $G$ has probability proportional to $λ^{\min\{t(G),ν\}}$, where $t(G)$ is the number of triangles in $G$ and $ν$ is a cut-off value introduced to moderate the impact of graphs with a very high number of triangles. We assume that the "activity" $λ$ satisfies $λ\geq 1$, and call the resulting chain the modified Metropolis switch chain. We prove that the modified Metropolis switch chain is rapidly mixing whenever the (standard) switch chain is rapidly mixing, provided that the activity and maximum degree are not too large.
The triangle switch (or "$\triangle$-switch") chain is a restriction of the switch chain which only performs switches that change the set of triangles in the graph. We prove that the $\triangle$-switch chain is irreducible for any degree sequence with minimum degree at least 3, and prove a rapid mixing result for the modified Metropolis $\triangle$-switch chain.
Finally, we investigate the distribution of triangles in random graphs with given degrees, under both the uniform distribution and the distribution in which graph $G$ has probability proportional to $λ^{t(G)}$. Our analysis implies that the imposition of the cut-off $ν$ does not significantly impact the behaviour of these modified Metropolis chains over polynomially many steps
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
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
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$
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
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
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
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
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
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
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
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.