graph
34726 papers tagged with this keyword
Cluster algebras and binary subwords
Published in Order (2021)
• View Publication
• BIB
This paper establishes a connection between binary subwords and perfect matchings of a snake graph, an important tool in the theory of cluster algebras. Every binary expansion w can be associated to a piecewise-linear poset P and a snake graph G. We construct a tree structure called the antichain trie which is isomorphic to the trie of subwords introduced by Leroy, Rigo, and Stipulanti. We then present bijections from the subwords of w to the antichains of P and to the perfect matchings of G.
Generic properties of dispersion relations for discrete periodic operators
Published
• View Publication
• BIB
An old problem in mathematical physics deals with the structure of the dispersion relation of the Schrödinger operator $-Δ+V(x)$ in $R^n$ with periodic potential near the edges of the spectrum. A well known conjecture says that generically (with respect to perturbations of the periodic potential) the extrema are attained by a single branch of the dispersion relation, are isolated, and have non-degenerate Hessian (i.e., dispersion relations are graphs of Morse functions). The important notion of effective masses in solid state physics, as well as Liouville property, Green's function asymptotics, etc. hinge upon this property. The progress in proving this conjecture has been slow. It is natural to try to look at discrete problems, where the dispersion relation is (in appropriate coordinates) an algebraic, rather than analytic, variety. Such models are often used for computation in solid state physics (the tight binding model). Alas, counterexamples exist in some discrete situations. We start establishing the following dichotomy: the non-degeneracy of extrema either fails or holds in the complement of a proper algebraic subset of the parameters.
The known counterexample has only two free parameters. This might be too tight for genericity to hold. We consider the maximal $Z^2$-periodic two-atomic nearest-cell interaction graph, with nine edges per unit cell and the discrete "Laplace-Beltrami" operator on it. We then use methods from computational and combinatorial algebraic geometry to prove the genericity conjecture for this graph. We show three different approaches to the genericity, which might be suitable in various situations.
It is also proven in this case that adding more parameters does not destroy the genericity result. We list all "bad" periodic subgraphs of the one we consider and discover that in all these cases genericity fails for "trivial" reasons only.
On edge-primitive 3-arc-transitive graphs
Published
• View Publication
• BIB
This paper begins the classification of all edge-primitive 3-arc-transitive graphs by classifying all such graphs where the automorphism group is an almost simple group with socle an alternating or sporadic group, and all such graphs where the automorphism group is an almost simple classical group with a vertex-stabiliser acting faithfully on the set of neighbours.
On the connectivity and independence number of power graphs of groups
Published
• View Publication
• BIB
Let $G$ be a group. The power graph of $G$ is a graph with vertex set $G$ in which two distinct elements $x,y$ are adjacent if one of them is a power of the other. We characterize all groups whose power graphs have finite independence number, show that they have clique cover number equal to their independence number, and calculate this number.
The proper power graph is the induced subgraph of the power graph on the set $G-\{1\}$. A group whose proper power graph is connected must be either a torsion group or a torsion-free group; we give characterizations of some groups whose proper power graphs are connected.
Colouring the normalized Laplacian
Published in Electronic Notes in Theoretical Computer Science, 346, 345 - 354 (2019)
• View Publication
• BIB
We apply Cauchy's interlacing theorem to derive some eigenvalue bounds to the chromatic number using the normalized Laplacian matrix, including a combinatorial characterization of when equality occurs. Further, we introduce some new expansion type of parameters which generalize the Cheeger constant of a graph, and relate them to the colourings which meet our eigenvalue bound with equality. Finally, we exhibit a family of examples, which include the graphs that appear in the statement of the Erdős-Faber-Lovász conjecture.
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.