graph
35299 papers tagged with this keyword
Fast computation of permutation equivariant layers with the partition algebra
Linear neural network layers that are either equivariant or invariant to permutations of their inputs form core building blocks of modern deep learning architectures. Examples include the layers of DeepSets, as well as linear layers occurring in attention blocks of transformers and some graph neural networks. The space of permutation equivariant linear layers can be identified as the invariant subspace of a certain symmetric group representation, and recent work parameterized this space by exhibiting a basis whose vectors are sums over orbits of standard basis elements with respect to the symmetric group action. A parameterization opens up the possibility of learning the weights of permutation equivariant linear layers via gradient descent. The space of permutation equivariant linear layers is a generalization of the partition algebra, an object first discovered in statistical physics with deep connections to the representation theory of the symmetric group, and the basis described above generalizes the so-called orbit basis of the partition algebra. We exhibit an alternative basis, generalizing the diagram basis of the partition algebra, with computational benefits stemming from the fact that the tensors making up the basis are low rank in the sense that they naturally factorize into Kronecker products. Just as multiplication by a rank one matrix is far less expensive than multiplication by an arbitrary matrix, multiplication with these low rank tensors is far less expensive than multiplication with elements of the orbit basis. Finally, we describe an algorithm implementing multiplication with these basis elements.
Multiple 3-Coloring, an Approach to 4-Coloring of Planar Graphs
A planar graph can be embedded in a piecewise linear manifold, and the lattice on each linear piece can be colored with 3-coloring. If a planar graph can be colored with multiple 3-coloring, i.e. coloring the graph in pieces with different 3-color subsets of 4 colors, then the graph is 4-colorable. In this paper, multiple 3-coloring was introduced, and then the combination and partition of planar graphs for multiple 3-coloring was studied. The study reveals that planar graphs can generally be decomposed into independent subgraphs, and each subgraph can be triangulated into a symmetric structure for multiple 3-coloring.
Hamilton cycles in pseudorandom graphs
Published
• View Publication
• BIB
Finding general conditions which ensure that a graph is Hamiltonian is a central topic in graph theory. An old and well known conjecture in the area states that any $d$-regular $n$-vertex graph $G$ whose second largest eigenvalue in absolute value $λ(G)$ is at most $\frac{d}{C}$, for some universal constant $C>0$, has a Hamilton cycle. In this paper, we obtain two main results which make substantial progress towards this problem. Firstly, we settle this conjecture in full when the degree $d$ is at least a small power of $n$. Secondly, in the general case we show that $λ(G) \leq \frac{d}{C(\log n)^{1/3}}$ implies the existence of a Hamilton cycle, improving the 20-year old bound of $\frac{d}{ \log^{1-o(1)} n}$ of Krivelevich and Sudakov. We use in a novel way a variety of methods, such as a robust Pósa rotation-extension technique, the Friedman-Pippenger tree embedding with rollbacks and the absorbing method, combined with additional tools and ideas.
Our results have several interesting applications, giving best bounds on the number of generators which guarantee the Hamiltonicity of random Cayley graphs, which is an important partial case of the well known Hamiltonicity conjecture of Lovász. They can also be used to improve a result of Alon and Bourgain on additive patterns in multiplicative subgroups.
On the cop number and the weak Meyniel conjecture for algebraic graphs
Published in European Journal of Combinatorics (2025)
• View Publication
• BIB
We show that the cop number of the Cayley sum graph of a finite group $G$ with respect to a symmetric subset $S$ is at most twice its degree when the graph is connected, undirected. We also prove that a similar bound holds for the cop number of generalised Cayley graphs and twisted Cayley sum graphs under some conditions. These extend a result of Frankl to such graphs. Using the above bounds and a result of Bollobás--Janson--Riordan, we show that the weak Meyniel conjecture holds for these algebraic graphs.
Fast algorithms for Vizing's theorem on bounded degree graphs
Published
• View Publication
• BIB
Vizing's theorem states that every graph $G$ of maximum degree $Δ$ can be properly edge-colored using $Δ+ 1$ colors. The fastest currently known $(Δ+1)$-edge-coloring algorithm for general graphs is due to Sinnamon and runs in time $O(m\sqrt{n})$, where $n :=|V(G)|$ and $m :=|E(G)|$. We investigate the case when $Δ$ is constant, i.e., $Δ= O(1)$. In this regime, the runtime of Sinnamon's algorithm is $O(n^{3/2})$, which can be improved to $O(n \log n)$, as shown by Gabow, Nishizeki, Kariv, Leven, and Terada. Here we give an algorithm whose running time is only $O(n)$, which is obviously best possible. Prior to this work, no linear-time $(Δ+1)$-edge-coloring algorithm was known for any $Δ\geq 4$. Using some of the same ideas, we also develop new algorithms for $(Δ+1)$-edge-coloring in the $\mathsf{LOCAL}$ model of distributed computation. Namely, when $Δ$ is constant, we design a deterministic $\mathsf{LOCAL}$ algorithm with running time $\tilde{O}(\log^5 n)$ and a randomized $\mathsf{LOCAL}$ algorithm with running time $O(\log ^2 n)$. Although our focus is on the constant $Δ$ regime, our results remain interesting for $Δ$ up to $\log^{o(1)} n$, since the dependence of their running time on $Δ$ is polynomial. The key new ingredient in our algorithms is a novel application of the entropy compression method.
The Exact Rank of Sparse Random Graphs
Published
• View Publication
• BIB
Two landmark results in combinatorial random matrix theory, due to Komlós and Costello-Tao-Vu, show that discrete random matrices and symmetric discrete random matrices are typically nonsingular. In particular, in the language of graph theory, when $p$ is a fixed constant, the biadjacency matrix of a random Erdős-Rényi bipartite graph $\mathbb{G}(n,n,p)$ and the adjacency matrix of an Erdős-Rényi random graph $\mathbb{G}(n,p)$ are both nonsingular with high probability. However, very sparse random graphs (i.e., where $p$ is allowed to decay rapidly with $n$) are typically singular, due to the presence of "local" dependencies such as isolated vertices and pairs of degree-1 vertices with the same neighbour.
In this paper we give a combinatorial description of the rank of a sparse random graph $\mathbb{G}(n,n,c/n)$ or $\mathbb{G}(n,c/n)$ in terms of such local dependencies, for all constants $c\ne e$ (and we present some evidence that the situation is very different for $c=e$). This gives an essentially complete answer to a question raised by Vu at the 2014 International Congress of Mathematicians.
As applications of our main theorem and its proof, we also determine the asymptotic singularity probability of the 2-core of a sparse random graph, we show that the rank of a sparse random graph is extremely well-approximated by its matching number, and we deduce a central limit theorem for the rank of $\mathbb{G}(n,c/n)$.
On interval colourings of graphs
An interval colouring of a graph $G=(V,E)$ is a proper colouring $c\colon E\to \mathbb{Z}$ such that the set of colours of edges incident to any given vertex forms an interval of $\mathbb{Z}$. The interval thickness $θ(G)$ of a graph $G$ is the smallest integer $k$ such that $G$ can be edge-partitioned into $k$ interval colourable graphs, and $θ(n)$ is the largest interval thickness over graphs on $n$ vertices. We show that $c \frac{\log n}{\log \log n} \leq θ(n) \leq n^{8/9+o(1)}$ for some $c>0$. In particular this answers a question by Asratian, Casselgren, and Petrosyan.
In the second part of the paper, we confirm a conjecture of Axenovich that the maximum number of colours used in an interval colouring of a planar graph on $n$ vertices is at most $3n/2-2$.
Extending partial edge colorings of cartesian products of graphs
Published
• View Publication
• BIB
We consider the problem of extending partial edge colorings of cartesian products of graphs. More specifically, we suggest the following Evans-type conjecture: If $G$ is a graph where every precoloring of at most $k$ precolored edges can be extended to a proper $χ'(G)$-edge coloring, then every precoloring of at most $k+1$ edges of $G \square K_2$ is extendable to a proper $(χ'(G) +1)$-edge coloring of $G \square K_2$. In this paper we verify that this conjecture holds for trees, complete and complete bipartite graphs, as well as for graphs with small maximum degree. We also prove versions of the conjecture for general regular graphs where the precolored edges are required to be independent.
Extending partial edge colorings of iterated cartesian products of cycles and paths
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:2, Graph Theory (June 4, 2024) dmtcs:11377
• View Publication
• BIB
We consider the problem of extending partial edge colorings of iterated cartesian products of even cycles and paths, focusing on the case when the precolored edges satisfy either an Evans-type condition or is a matching. In particular, we prove that if $G=C^d_{2k}$ is the $d$th power of the cartesian product of the even cycle $C_{2k}$ with itself, and at most $2d-1$ edges of $G$ are precolored, then there is a proper $2d$-edge coloring of $G$ that agrees with the partial coloring. We show that the same conclusion holds, without restrictions on the number of precolored edges, if any two precolored edges are at distance at least $4$ from each other. For odd cycles of length at least $5$, we prove that if $G=C^d_{2k+1}$ is the $d$th power of the cartesian product of the odd cycle $C_{2k+1}$ with itself ($k\geq2$), and at most $2d$ edges of $G$ are precolored, then there is a proper $(2d+1)$-edge coloring of $G$ that agrees with the partial coloring. Our results generalize previous ones on precoloring extension of hypercubes [Journal of Graph Theory 95 (2020) 410--444].
Embedded graph 3-coloring and flows
A graph drawn in a surface is a near-quadrangulation if the sum of the lengths of the faces different from 4-faces is bounded by a fixed constant. We leverage duality between colorings and flows to design an efficient algorithm for 3-precoloring-extension in near-quadrangulations of orientable surfaces. Furthermore, we use this duality to strengthen previously known sufficient conditions for 3-colorability of triangle-free graphs drawn in orientable surfaces.
Number of cliques of Paley-type graphs over finite commutative local rings
Published
• View Publication
• BIB
In this work, given $(R,\frak m)$ a finite commutative local ring with identity and $k \in \mathbb{N}$ with $(k,|R|)=1$, we study the number of cliques of any size in the Cayley graph $G_R(k)=Cay(R,U_R(k))$ %and $W_R(k)=Cay(R,S_R(k))$ with $U_R(k)=\{x^k : x\in R^*\}$. Using the known fact that the graph $G_R(k)$ can be obtained by blowing-up the vertices of $G_{\mathbb{F}_{q}}(k)$ a number $|\frak{m}|$ of times, with independence sets the cosets of $\frak{m}$, where $q$ is the size of the residue field $R/\frak m$. Then, by using the above blowing-up, we reduce the study of the number of cliques in $G_R(k)$ over the local ring $R$ to the computation of the number of cliques of $G_{R/\frak{m}}(k)$ over the finite residue field $R/\frak m \simeq \mathbb{F}_q$. In this way, using known numbers of cliques of generalized Paley graphs ($k=2,3,4$ and $\ell=3,4$), we obtain several explicit results for the number of cliques over finite commutative local rings with identity.
Graph parameters, implicit representations and factorial properties
Published
• View Publication
• BIB
How to efficiently represent a graph in computer memory is a fundamental data structuring question. In the present paper, we address this question from a combinatorial point of view. A representation of an $n$-vertex graph $G$ is called implicit if it assigns to each vertex of $G$ a binary code of length $O(\log n)$ so that the adjacency of two vertices is a function of their codes. A necessary condition for a hereditary class $X$ of graphs to admit an implicit representation is that $X$ has at most factorial speed of growth. This condition, however, is not sufficient, as was recently shown in [Hatami & Hatami, FOCS 2022]. Several sufficient conditions for the existence of implicit representations deal with boundedness of some parameters, such as degeneracy or clique-width. In the present paper, we analyze more graph parameters and prove a number of new results related to implicit representation and factorial properties.
The group vertex magicness of unicyclic and bicyclic graphs
In this paper, we give a characterization of unicyclic graphs with diameter at most 4 which are A-vertex magic. Moreover, let G be a bicyclic graph of diameter 3, then G is group vertex magic if and only if G = M11(0, 0).
(I,F)-partition of planar graphs without cycles of length 4, 6, or 9
Published
• View Publication
• BIB
A graph $G$ is $(I,F)$-partitionable if its vertex set can be partitioned into two parts such that one part is an independent set, and the other induces a forest. In this paper, we prove that every planar graph without cycles of length $4, 6, 9$ is $(I,F)$-partitionable.
DP-3-colorability of planar graphs without cycles of length 4, 7 or 9
This paper proves that every planar graph without cycles of length 4, 7, or 9 is DP-3-colorable.
Edge chromatic index and edge-sum chromatic index for families of integral sum graphs
We consider class of integral sum graphs $H^{-i,s}_{m,j}$ subject to the conditions $-i<0<s$, $1\leq m < i$ and $1\leq j < s$ for all $i,s, m,j\in \mathbb{N}$. We apply edge-sum coloring and edge coloring on $H^{-i,s}_{m,j}$. Since the graphs fully depend on $i$ and $s$, therefore it is not easy to derive the theoretical as well as numerical results for all values of $i$ and $s$. Here, we derive the general formula for computing the minimum number of independent color classes. We compute the edge chromatic as well as edge-sum chromatic number of $H^{-i,s}_{m,j}$ corresponding to different values of $i$, $s$, $m$ and $j$. We also compare these two techniques. We place the numerical results to verify the theoretical results.
A note on interval colourings of graphs
Published in European Journal of Combinatorics, 120 (2024)
• View Publication
• BIB
A graph is said to be interval colourable if it admits a proper edge-colouring using palette $\mathbb{N}$ in which the set of colours incident to each vertex is an interval. The interval colouring thickness of a graph $G$ is the minimum $k$ such that $G$ can be edge-decomposed into $k$ interval colourable graphs. We show that $θ(n)$, the maximum interval colouring thickness of an $n$-vertex graph, satisfies $θ(n) =Ω(\log(n)/\log\log(n))$ and $θ(n)\leq n^{5/6+o(1)}$, which improves on the trivial lower bound and an upper bound of the first author and Zheng. As a corollary, we answer a question of Asratian, Casselgren, and Petrosyan and disprove a conjecture of Borowiecka-Olszewska, Drgas-Burchardt, Javier-Nol, and Zuazua. We also confirm a conjecture of the first author that any interval colouring of an $n$-vertex planar graph uses at most $3n/2-2$ colours.
Richardson varieties, projected Richardson varieties and positroid varieties
Published
• View Publication
• BIB
This is a survey article on Richardson varieties and their combinatorics. A Richardson variety is the intersection, inside the flag manifold GL_n/B_+, of a Schubert cell (B_- u B_+)/B_+ and an opposite Schubert cell (B_+ w B_+)/B_+ (or the similar intersection of Schubert varieties). In this survey, we provide an overview of what is known about (1) homogeneous coordinate rings of Richardson varieties, their bases and degenerations (2) parametrizations of Richardson varieties using Bott-Samelson varieties (3) Deodhar's decompositions of the flag manifold and of Richardson varieties within it and (4) total positivity in the flag manifold. We also provide an overview of the combinatorics of positroid varieties, their relations to Richardson varieties, and how they are parametrized using plabic graphs. Most of this survey is an overview of other authors' work over the last forty years, but there are also some minor original results: For example, that coordinate rings of open Richardson varieties are UFD's (Corollary 3.23), that the Deodhar decomposition is not a stratification in Lie type A (Section 4.3) and explicit descriptions of the Deodhar decomposition in terms of ranks of submatrices (Section 4.4).
Fractional revival between twin vertices
Published in Linear Algebra Appl. 676 (2023) 25-43
• View Publication
• BIB
In this paper, we provide a characterization of fractional revival between twin vertices in a weighted graph with respect to its adjacency, Laplacian and signless Laplacian matrices. As an application, we characterize fractional revival between apexes of double cones.
Ramsey Achievement Games on Graphs : Algorithms and Bounds
Published
• View Publication
• BIB
In 1982, Harary introduced the concept of Ramsey achievement game on graphs. Given a graph $F$ with no isolated vertices. Consider the following game played on the complete graph $K_n$ by two players Alice and Bob. First, Alice colors one of the edges of $K_n$ blue, then Bob colors a different edge red, and so on. The first player who can complete the formation of $F$ in his color is the winner. The minimum $n$ for which Alice has a winning strategy is the achievement number of $F$, denoted by $a(F)$. If we replace $K_n$ in the game by the completed bipartite graph $K_{n,n}$, we get the bipartite achievement number, denoted by $\operatorname{ba}(F)$. In his seminal paper, Harary proposed an open problem of determining bipartite achievement numbers for trees. In this paper, we correct $\operatorname{ba}(mK_2)=m+1$ to $m$ and disprove $\operatorname{ba}(K_{1,m})=2m-2$ from Erickson and Harary, and extend their results on bipartite achievement numbers. We also find the exact values of achievement numbers for matchings, and the exact values or upper and lower bounds of bipartite achievement numbers on matchings, stars, and double stars. Our upper bounds are obtained by deriving efficient winning strategies for Alice.