graph
35436 papers tagged with this keyword
Quantum isomorphism is equivalent to equality of homomorphism counts from planar graphs
Published
• View Publication
• BIB
Over 50 years ago, Lovász proved that two graphs are isomorphic if and only if they admit the same number of homomorphisms from any graph [Acta Math. Hungar. 18 (1967), pp. 321--328]. In this work we prove that two graphs are quantum isomorphic (in the commuting operator framework) if and only if they admit the same number of homomorphisms from any planar graph. As there exist pairs of non-isomorphic graphs that are quantum isomorphic, this implies that homomorphism counts from planar graphs do not determine a graph up to isomorphism. Another immediate consequence is that determining whether there exists some planar graph that has a different number of homomorphisms to two given graphs is an undecidable problem, since quantum isomorphism is known to be undecidable. Our characterization of quantum isomorphism is proven via a combinatorial characterization of the intertwiner spaces of the quantum automorphism group of a graph based on counting homomorphisms from planar graphs. This result inspires the definition of "graph categories" which are analogous to, and a generalization of, partition categories that are the basis of the definition of easy quantum groups. Thus we introduce a new class of "graph-theoretic quantum groups" whose intertwiner spaces are spanned by maps associated to (bi-labeled) graphs. Finally, we use our result on quantum isomorphism to prove an interesting reformulation of the Four Color Theorem: that any planar graph is 4-colorable if and only if it has a homomorphism to a specific Cayley graph on the symmetric group $S_4$ which contains a complete subgraph on four vertices but is not 4-colorable.
Bounding the tripartite-circle crossing number of complete tripartite graphs
Published in J. Graph Theory. 2022; 100: 5-27
• View Publication
• BIB
A tripartite-circle drawing of a tripartite graph is a drawing in the plane, where each part of a vertex partition is placed on one of three disjoint circles, and the edges do not cross the circles. We present upper and lower bounds on the minimum number of crossings in tripartite-circle drawings of $K_{m,n,p}$. In contrast to 1- and 2-circle drawings, which may attain the Harary-Hill bound, our results imply that balanced restricted 3-circle drawings of the complete graph are not optimal.
Symmetric binary Steinhaus triangles and parity-regular Steinhaus graphs
Published
• View Publication
• BIB
A binary Steinhaus triangle is a triangle of zeroes and ones that points down and with the same local rule as the Pascal triangle modulo 2. A binary Steinhaus triangle is said to be rotationally symmetric, horizontally symmetric or dihedrally symmetric if it is invariant under the 120 degrees rotation, the horizontal reflection or both, respectively. The first part of this paper is devoted to the study of linear subspaces of rotationally symmetric, horizontally symmetric and dihedrally symmetric binary Steinhaus triangles. We obtain simple explicit bases for each of them by using elementary properties of the binomial coefficients. A Steinhaus graph is a simple graph with an adjacency matrix whose upper-triangular part is a binary Steinhaus triangle. A Steinhaus graph is said to be even or odd if all its vertex degrees are even or odd, respectively. One of the main results of this paper is the existence of an isomorphism between the linear subspace of even Steinhaus graphs and a certain linear subspace of dihedrally symmetric binary Steinhaus triangles. This permits us to give, in the second part of this paper, an explicit basis for even Steinhaus graphs and for the vector space of parity-regular Steinhaus graphs; i.e., the linear subspace of Steinhaus graphs that are even or odd. Finally, in the last part of this paper, we consider the generalized Pascal triangles, that are triangles of zeroes and ones, that point up now, and always with the same local rule as the Pascal triangle modulo 2. New simple bases for each linear subspace of symmetric generalized Pascal triangles are deduced from the results of the first part.
Graphical Designs and Extremal Combinatorics
Published in Konstantin Golubev,Graphical designs and extremal combinatorics, Linear Algebra and its Applications, Volume 604, 1 November 2020, Pages 490-506
• View Publication
• BIB
A graphical design is a proper subset of vertices of a graph on which many eigenfunctions of the Laplacian operator have mean value zero. In this paper, we show that extremal independent sets make extremal graphical designs, that is, a design on which the maximum possible number of eigenfunctions have mean value zero. We then provide examples of such graphs and sets, which arise naturally in extremal combinatorics. We also show that sets which realize the isoperimetric constant of a graph make extremal graphical designs, and provide examples for them as well. We investigate the behavior of graphical designs under the operation of weak graph product. In addition, we present a family of extremal graphical designs for the hypercube graph.
On conjugacy of diagonalizable integral matrices
Published
• View Publication
• BIB
It is shown that under some additional assumption two diagonalizable integral matrices X and Y with only rational eigenvalues are conjugate in GL(n,Z) if and only if they are conjugate over all localizations. This is used to prove that for a prime p == 3 (mod 4) the adjacency matrices of the Paley graph and the Peisert graph on p^2 vertices are conjugate in GL(p^2,Z), answering a question by Peter Sin.
Distance formulas in Bruhat-Tits building of $\mathrm{SL}_d(\mathbb{Q}_p)$
Published
• View Publication
• BIB
We study the distance on the Bruhat-Tits building of the group $\mathrm{SL}_d(\mathbb{Q}_p)$ (and its other combinatorial properties). Coding its vertices by certain matrix representatives, we introduce a way how to build formulas with combinatorial meanings. In Theorem 1, we give an explicit formula for the graph distance $δ(α,β)$ of two vertices $α$ and $β$ (without having to specify their common apartment).Our main result, Theorem 2, then extends the distance formula to a formula for the smallest total distance of a vertex from a given finite set of vertices. In the appendix we consider the case of $\mathrm{SL}_2(\mathbb{Q}_p)$ and give a formula for the number of edges shared by two given apartments.
The classification of local m-GCI-group on finite nonabelian simple groups
Li and Praeger classified finite nonabelian simple groups, it has only one or two fusion classes of any certain value. As a by-product, they classified m-CI-groups, which is critical in the research of Cayley graphs. In the paper, we will consider generalized Cayley graphs. This concept is proposed by Marusic et al. In the paper, (local) m- GCI-group is defined, and we get many properties and characterizations based on the generalized Cayley isomorphism, which are the key measures for the classification of (local) m-GCI-group. And above all, we will give a classification of local 2-GCI-groups and 2-GCI-groups for finite nonabelian simple groups.
Negative closed walks in signed graphs: A note
Recently Naserasr, Sopena, and Zaslavsky [R. Naserasr, É. Sopena, T. Zaslavsky,Homomorphisms of signed graphs: An update, arXiv: 1909.05982v1 [math.CO] 12 Sep 2019.] published a report on closed walks in signed graphs. They gave a characterization of the sets of closed walks in a graph $G$ which corespond to the set of negative walks in some signed graph on $G$. In this note we show that their characterization is not valid and give a new characterization.
Weakly Distinguishing Graph Polynomials on Addable Properties
Published in Moscow J. Comb. Number Th. 9 (2020) 333-349
• View Publication
• BIB
A graph polynomial $P$ is weakly distinguishing if for almost all finite graphs $G$ there is a finite graph $H$ that is not isomorphic to $G$ with $P(G)=P(H)$. It is weakly distinguishing on a graph property $\mathcal{C}$ if for almost all finite graphs $G\in\mathcal{C}$ there is $H \in \mathcal{C}$ that is not isomorphic to $G$ with $P(G)=P(H)$. We give sufficient conditions on a graph property $\mathcal{C}$ for the characteristic, clique, independence, matching, and domination and $ξ$ polynomials, as well as the Tutte polynomial and its specialisations, to be weakly distinguishing on $\mathcal{C}$. One such condition is to be addable and small in the sense of C. McDiarmid, A. Steger and D. Welsh (2005). Another one is to be of genus at most $k$.
Graphs in which the Maxine heuristic produces a maximum independent set
The residue of a graph is the number of zeros left after iteratively applying the Havel-Hakimi algorithm to its degree sequence. Favaron, Mahéo, and Saclé showed that the residue is a lower bound on the independence number. The Maxine heuristic reduces a graph to an independent set of size $M$. It has been shown that given a graph $G$, $M$ is bounded between the independence number and the residue of a graph for any application of the Maxine heuristic. We improve upon a forbidden subgraph classification of graphs such that $M$ is equal to the independence number given by Barrus and Molnar in 2015.
Algebras, graphs and thetas
Published in Electronic Notes in Theoretical Computer Science, 346, 275 - 283 (2019)
• View Publication
• BIB
We extend the clique-coclique inequality, previously known to hold for graphs in association schemes and vertex-transitive graphs, to graphs in homogeneous coherent configurations and 1-walk regular graphs. We further generalize it to a stronger inequality involving the Lovász theta number of such graphs, and some theta variants, including characterizations of the equality.
Multicolor Ramsey numbers via pseudorandom graphs
Published in Electron. J. Combin. 27 (2020)
• View Publication
• BIB
A weakly optimal $K_s$-free $(n,d,λ)$-graph is a $d$-regular $K_s$-free graph on $n$ vertices with $d=Θ(n^{1-α})$ and spectral expansion $λ=Θ(n^{1-(s-1)α})$, for some fixed $α>0$. Such a graph is called optimal if additionally $α= \frac{1}{2s-3}$. We prove that if $s_{1},\ldots,s_{k}\ge3$ are fixed positive integers and weakly optimal $K_{s_{i}}$-free pseudorandom graphs exist for each $1\le i\le k$, then the multicolor Ramsey numbers satisfy \[ Ω\Big(\frac{t^{S+1}}{\log^{2S}t}\Big)\le r(s_{1},\ldots,s_{k},t)\le O\Big(\frac{t^{S+1}}{\log^{S}t}\Big), \] as $t\rightarrow\infty$, where $S=\sum_{i=1}^{k}(s_{i}-2)$. This generalizes previous results of Mubayi and Verstraëte, who proved the case $k=1$, and Alon and Rödl, who proved the case $s_1=\cdots = s_k = 3$. Both previous results used the existence of optimal rather than weakly optimal $K_{s_i}$-free graphs.
Spectral properties of the exponential distance matrix
Published in Involve 15 (2022) 739-762
• View Publication
• BIB
Given a graph $G$, the exponential distance matrix is defined entry-wise by letting the $(u,v)$-entry be $q^{\text{dist}(u,v)}$, where $\text{dist}(u,v)$ is the distance between the vertices $u$ and $v$ with the convention that if vertices are in different components, then $q^{\text{dist}(u,v)}=0$. In this paper, we will establish several properties of the characteristic polynomial (spectrum) for this matrix, give some families of graphs which are uniquely determined by their spectrum, and produce cospectral constructions.
Cayley Graphs on Billiard Surfaces, and Their Genus
Published in Involve 18 (2025) 567-582
• View Publication
• BIB
In this article we discuss a connection between two famous constructions in mathematics: a Cayley graph of a group and a (rational) billiard surface. For each rational billiard surface, there is a natural way to draw a Cayley graph of a dihedral group on that surface. Both of these objects have the concept of "genus" attached to them. For the Cayley graph, the genus is defined to be the lowest genus amongst all surfaces that the graph can be drawn on without edge crossings. We prove that the genus of the Cayley graph associated to a billiard surface arising from a triangular billiard table is always zero or one. One reason this is interesting is that there exist triangular billiard surfaces of arbitrarily high genus , so the genus of the associated graph is usually much lower than the genus of the billiard surface.
Decomposition of complete tripartite graphs into 5-cycles using the graph adjacency matrix
The problem of decomposing a complete tripartite graph into 5-cycles was first proposed in 1995 by Mahmoodian and Mirzakhani and since then many attempts have been made to decompose such graphs into 5-cycles. Such attempts were partially successful but parts of the problem still remain open. In this paper, we investigate the problem deeper, decompose more tripartite graphs into 5-cycles, and introduce the Graph Adjacency Matrix (GAM) method for cycle decomposition in general. GAM method transforms the cycle decomposition problem to covering squares with certain polygons. This new formulation is easier to solve and enables us to find explicit decompositions for numerous cases that were not decomposed before.
Turn Skipping and the Game Coloring Number
The game coloring number gcol($G$) of a graph $G$ is a two player competitive variant of the coloring number. We introduce the preordered game coloring number to study the consequences of either player skipping any number of turns. In particular, we show that neither player can improve their performance by doing so. We use this result to show that for any induced subgraph $H \subset G$, $|G-H| = k$ implies the tight bound gcol($H$) $\leq$ gcol($G$) $-$ $2k$ and if $d_G(x)$ $\leq$ gcol($G-x$), then gcol($G-x$) $\leq$ gcol($G$) $-$ $1$.
Algorithm and hardness results on neighborhood total domination in graphs
Published in Theoretical Computer Science 2020
• View Publication
• BIB
A set $D\subseteq V$ of a graph $G=(V,E)$ is called a neighborhood total dominating set of $G$ if $D$ is a dominating set and the subgraph of $G$ induced by the open neighborhood of $D$ has no isolated vertex. Given a graph $G$, \textsc{Min-NTDS} is the problem of finding a neighborhood total dominating set of $G$ of minimum cardinality. The decision version of \textsc{Min-NTDS} is known to be \textsf{NP}-complete for bipartite graphs and chordal graphs. In this paper, we extend this \textsf{NP}-completeness result to undirected path graphs, chordal bipartite graphs, and planar graphs. We also present a linear time algorithm for computing a minimum neighborhood total dominating set in proper interval graphs. We show that for a given graph $G=(V,E)$, \textsc{Min-NTDS} cannot be approximated within a factor of $(1-\varepsilon)\log |V|$, unless \textsf{NP$\subseteq$DTIME($|V|^{O(\log \log |V|)}$)} and can be approximated within a factor of $O(\log Δ)$, where $Δ$ is the maximum degree of the graph $G$. Finally, we show that \textsc{Min-NTDS} is \textsf{APX}-complete for graphs of degree at most $3$.
Exponents of Jacobians of Graphs and Regular Matroids
Let $G$ be a finite undirected multigraph with no self-loops. The Jacobian $\operatorname{Jac}(G)$ is a finite abelian group associated with $G$ whose cardinality is equal to the number of spanning trees of $G$. There are only a finite number of biconnected graphs $G$ such that the exponent of $\operatorname{Jac}(G)$ equals $2$ or $3$. The definition of a Jacobian can also be extended to regular matroids as a generalization of graphs. We prove that there are finitely many connected regular matroids $M$ such that $\operatorname{Jac}(M)$ has exponent $2$ and characterize all such matroids.
Face flips in origami tessellations
Published in Journal of Computational Geometry, Vol. 11, No. 1, 2020, pages 397-417
• View Publication
• BIB
Given a flat-foldable origami crease pattern $G=(V,E)$ (a straight-line drawing of a planar graph on a region of the plane) with a mountain-valley (MV) assignment $μ:E\to\{-1,1\}$ indicating which creases in $E$ bend convexly (mountain) or concavely (valley), we may \emph{flip} a face $F$ of $G$ to create a new MV assignment $μ_F$ which equals $μ$ except for all creases $e$ bordering $F$, where we have $μ_F(e)=-μ(e)$. In this paper we explore the configuration space of face flips for a variety of crease patterns $G$ that are tilings of the plane, proving examples where $μ_F$ results in a MV assignment that is either never, sometimes, or always flat-foldable for various choices of $F$. We also consider the problem of finding, given two foldable MV assignments $μ_1$ and $μ_2$ of a given crease pattern $G$, a minimal sequence of face flips to turn $μ_1$ into $μ_2$. We find polynomial-time algorithms for this in the cases where $G$ is either a square grid or the Miura-ori, and show that this problem is NP-hard in the case where $G$ is the triangle lattice.
On the Fibonacci $(p,r)$-cubes
In this paper, first it is shown that the "FSibonacci $(p,r)$-cube"(denoted as $IΓ_{n}^{(p,r)}$) studied in many papers, such as \cite{OZY}, \cite{K1}, \cite{OZ}, \cite{KR} and \cite{JZ}, is a new topological structure different from the original one (denoted as $OΓ_{n}^{(p,r)}$) presented by Egiazarian and Astola $\cite{EA}$. Then some topological properties of $IΓ_{n}^{(p,r)}$ and $OΓ_{n}^{(p,r)}$ are studied, including the recursive structure of them, the cubes $OΓ_{n}^{(p,r)}$ which are partial cubes and median graphs, some distance invariants of $IΓ_{n}^{(p,r)}$ and $OΓ_{n}^{(p,r)}$, and the maximum and minimum degree of these two types of cubes. Finally, several problems and conjectures on $IΓ_{n}^{(p,r)}$ and $OΓ_{n}^{(p,r)}$ are listed