graph
34516 papers tagged with this keyword
Neumaier Cayley graphs
A Neumaier graph is a non-complete edge-regular graph with the property that it has a regular clique. In this paper, we study Neumaier Cayley graphs. We give a necessary and sufficient condition under which a Neumaier Cayley graph is a strongly regular Neumaier Cayley graph. We also characterize Neumaier Cayley graphs with small valency at most $10$.
Graph-like Scheduling Problems and Property B
Breuer and Klivans defined a diverse class of scheduling problems in terms of Boolean formulas with atomic clauses that are inequalities. We consider what we call graph-like scheduling problems. These are Boolean formulas that are conjunctions of disjunctions of atomic clauses $(x_i \neq x_j)$. These problems generalize proper coloring in graphs and hypergraphs. We focus on the existence of a solution with all $x_i$ taking the value of $0$ or $1$ (i.e. problems analogous to the bipartite case). When a graph-like scheduling problem has such a solution, we say it has property B just as is done for $2$-colorable hypergraphs. We define the notion of a $λ$-uniform graph-like scheduling problem for any integer partition $λ$. Some bounds are attained for the size of the smallest $λ$-uniform graph-like scheduling problems without property B. We make use of both random and constructive methods to obtain bounds. Just as in the case of hypergraphs finding tight bounds remains an open problem.
Ascending Subgraph Decomposition
A typical theme for many well-known decomposition problems is to show that some obvious necessary conditions for decomposing a graph $G$ into copies $H_1, \ldots, H_m$ are also sufficient. One such problem was posed in 1987, by Alavi, Boals, Chartrand, Erdős, and Oellerman. They conjectured that the edges of every graph with $\binom{m+1}2$ edges can be decomposed into subgraphs $H_1, \dots, H_m$ such that each $H_i$ has $i$ edges and is isomorphic to a subgraph of $H_{i+1}$. In this paper we prove this conjecture for sufficiently large $m$.
Lifted Inference beyond First-Order Logic
Published in Artificial Intelligence,Volume 342,2025
• View Publication
• BIB
Weighted First Order Model Counting (WFOMC) is fundamental to probabilistic inference in statistical relational learning models. As WFOMC is known to be intractable in general ($\#$P-complete), logical fragments that admit polynomial time WFOMC are of significant interest. Such fragments are called domain liftable. Recent works have shown that the two-variable fragment of first order logic extended with counting quantifiers ($\mathrm{C^2}$) is domain-liftable. However, many properties of real-world data, like acyclicity in citation networks and connectivity in social networks, cannot be modeled in $\mathrm{C^2}$, or first order logic in general. In this work, we expand the domain liftability of $\mathrm{C^2}$ with multiple such properties. We show that any $\mathrm{C^2}$ sentence remains domain liftable when one of its relations is restricted to represent a directed acyclic graph, a connected graph, a tree (resp. a directed tree) or a forest (resp. a directed forest). All our results rely on a novel and general methodology of "counting by splitting". Besides their application to probabilistic inference, our results provide a general framework for counting combinatorial structures. We expand a vast array of previous results in discrete mathematics literature on directed acyclic graphs, phylogenetic networks, etc.
The Jacobian of a Sixth-Root-of-Unity Matroid
The Jacobian group (also called the sandpile group, Picard group, or critical group) of a graph or, more generally, of a regular matroid has been well studied. Sixth-root-of-unity matroids, also called complex unimodular matroids, are generalizations of regular matroids. This paper provides a definition, and establishes some basic properties, of the Jacobian group of a sixth-root-of-unity matroid.
Efficient set-theoretic algorithms for computing high-order Forman-Ricci curvature on abstract simplicial complexes
Forman-Ricci curvature (FRC) is a potent and powerful tool for analysing empirical networks, as the distribution of the curvature values can identify structural information that is not readily detected by other geometrical methods. Crucially, FRC captures higher-order structural information of clique complexes of a graph or Vietoris-Rips complexes, which is not readily accessible to alternative methods. However, existing FRC platforms are prohibitively computationally expensive. Therefore, herein we develop an efficient set-theoretic formulation for computing such high-order FRC in simplicial complexes. Significantly, our set theory representation reveals previous computational bottlenecks and also accelerates the computation of FRC. Finally, We provide a pseudo-code, a software implementation coined FastForman, as well as a benchmark comparison with alternative implementations. We envisage that FastForman will be used in Topological and Geometrical Data analysis for high-dimensional complex data sets. Moreover, our development paves the way for future generalisations towards efficient computations of FRC on cell complexes.
Apportionable matrices and gracefully labelled graphs
To apportion a complex matrix means to apply a similarity so that all entries of the resulting matrix have the same magnitude. We initiate the study of apportionment, both by unitary matrix similarity and general matrix similarity. There are connections between apportionment and classical graph decomposition problems, including graceful labelings of graphs, Hadamard matrices, and equiangluar lines, and potential applications to instantaneous uniform mixing in quantum walks. The connection between apportionment and graceful labelings allows the construction of apportionable matrices from trees. A generalization of the well-known Eigenvalue Interlacing Inequalities using graceful labelings is also presented. It is shown that every rank one matrix can be apportioned by a unitary similarity, but there are $2\x 2$ matrices that cannot be apportioned. A necessary condition for a matrix to be apportioned by unitary matrix is established. This condition is used to construct a set of matrices with nonzero Lebesgue measure that are not apportionable by a unitary matrix.
On the index of depth stability of symbolic powers of cover ideals of graphs
Let $G$ be a graph with $n$ vertices and let $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over a field $\mathbb{K}$. Assume that $I(G)$ and $J(G)$ denote the edge ideal and the cover ideal of $G$, respectively. We provide a combinatorial upper bound for the index of depth stability of symbolic powers of $J(G)$. As a consequence, we compute the depth of symbolic powers of cover ideals of fully clique-whiskered graphs. Meanwhile, we determine a class of graphs $G$ with the property that the Castelnuovo--Mumford regularity of $S/I(G)$ is equal to the induced matching number of $G$.
Ramsey numbers of color critical graphs versus large generalized fans
Given two graphs $G$ and $H$, the {Ramsey number} $R(G,H)$ is the smallest positive integer $N$ such that every 2-coloring of the edges of $K_{N}$ contains either a red $G$ or a blue $H$. Let $K_{N-1}\sqcup K_{1,k}$ be the graph obtained from $K_{N-1}$ by adding a new vertex $v$ connecting $k$ vertices of $K_{N-1}$. Hook and Isaak (2011) defined the {\em star-critical Ramsey number} $r_{*}(G,H)$ as the smallest integer $k$ such that every 2-coloring of the edges of $K_{N-1}\sqcup K_{1,k}$ contains either a red $G$ or a blue $H$, where $N=R(G, H)$. For sufficiently large $n$, Li and Rousseau~(1996) proved that $R(K_{k+1},K_{1}+nK_{t})=knt +1$, Hao, Lin~(2018) showed that $r_{*}(K_{k+1},K_{1}+nK_{t})=(k-1)tn+t$;
Li and Liu~(2016) proved that $R(C_{2k+1}, K_{1}+nK_{t})=2nt+1$, and Li, Li, and Wang~(2020) showed that $r_{*}(C_{2m+1},K_{1}+nK_{t})=nt+t$. A graph $G$ with $χ(G)=k+1$ is called edge-critical if $G$ contains an edge $e$ such that $χ(G-e)=k$. In this paper, we extend the above results by showing that for an edge-critical graph $G$ with $χ(G)=k+1$, when $k\geq 2$, $t\geq 2$ and $n$ is sufficiently large, $R(G, K_{1}+nK_{t})=knt+1$ and $r_{*}(G,K_{1}+nK_{t})=(k-1)nt+t$.
On the super edge-magicness of graphs with a specific degree sequence
A graph $G$ is said to be super edge-magic if there exists a bijective function $f:V\left(G\right) \cup E\left(G\right)\rightarrow \left\{1, 2, \ldots , \left\vert V\left( G\right) \right\vert +\left\vert E\left( G\right) \right\vert \right\}$ such that $f\left(V \left(G\right)\right) =\left\{1, 2, \ldots , \left\vert V\left( G\right) \right\vert \right\}$ and $f\left(u\right) + f\left(v\right) + f\left(uv\right)$ is a constant for each $uv\in E\left( G\right) $. In this paper, we study the super edge-magicness of graphs of order $n$ with degree sequence $s:4, 2, 2, \ldots, 2$. We also investigate the super edge-magic properties of certain families of graphs. This leads us to propose some open problems.
Degenerate crossing number and signed reversal distance
Given a graph drawn in the plane, the degenerate crossing number of the drawing is the number of points in the plane which are contained in the relative interior of at least two edges, where each edge is required to be drawn as a simple arc. The degenerate crossing number of a graph is the minimum degenerate crossing number among all its drawings.
Given a drawing, cutting a neighborhood of the surface around each crossing and pasting a Möbius band gives a non-orientable surface, on which the drawing of the graph can be extended to an embedding. From this observation, Mohar derived that the degenerate crossing number of a graph is at most its non-orientable genus, and conjectured that these quantities are equal for every graph. He also made a stronger conjecture for loopless pseudo-triangulations with a fixed embedding scheme.
In this paper, we prove a structure theorem that allows to understand when the degenerate crossing number and non-orientable genus coincide in a large class of loopless bipartite embedding schemes. In particular, we provide a counterexample to Mohar's stronger conjecture, but show that in the vast majority of the 2-vertex cases, as well as for many bipartite graphs, Mohar's conjecture is satisfied.
The reversal distance between two signed permutations is the minimum number of reversals that transform one permutation to the other one. If we represent the trajectory of each element of a signed permutation under successive reversals by a simple arc, we obtain a drawing of a 2-vertex embedding scheme with degenerate crossings. Our main result is proved by leveraging this connection and a classical result in genome rearrangement (the Hannenhalli--Pevzner algorithm) and can also be understood as an extension of this algorithm when the reversals do not necessarily happen in a monotone order.
Some applications of linear algebraic methods in combinatorics
In this note, we intend to produce all latin squares from one of them using suitable move which is defined by small trades and do the similar work on 4-cycle systems. These problems, reformulate as finding basis for the kernel of special matrices, representef to some graphs.
Eigenvalue Interlacing of Bipartite Graphs and Construction of Expander Code using Vertex-split of a Bipartite Graph
The second largest eigenvalue of a graph is an important algebraic parameter which is related with the expansion, connectivity and randomness properties of a graph. Expanders are highly connected sparse graphs. In coding theory, Expander codes are Error Correcting codes made up of bipartite expander graphs. In this paper, first we prove the interlacing of the eigenvalues of the adjacency matrix of the bipartite graph with the eigenvalues of the bipartite quotient matrices of the corresponding graph matrices. Then we obtain bounds for the second largest and second smallest eigenvalues. Since the graph is bipartite, the results for Laplacian will also hold for Signless Laplacian matrix. We then introduce a new method called vertex-split of a bipartite graph to construct asymptotically good expander codes with expansion factor $\frac{D}{2}<α< D$ and $ε<\frac{1}{2}$ and prove a condition for the vertex-split of a bipartite graph to be $k-$connected with respect to $λ_{2}.$ Further, we prove that the vertex-split of $G$ is a bipartite expander. Finally, we construct an asymptotically good expander code whose factor graph is a graph obtained by the vertex-split of a bipartite graph.
Computing Optimal Leaf Roots of Chordal Cographs in Linear Time
A graph G is a k-leaf power, for an integer k >= 2, if there is a tree T with leaf set V(G) such that, for all vertices x, y in V(G), the edge xy exists in G if and only if the distance between x and y in T is at most k. Such a tree T is called a k-leaf root of G. The computational problem of constructing a k-leaf root for a given graph G and an integer k, if any, is motivated by the challenge from computational biology to reconstruct phylogenetic trees. For fixed k, Lafond [SODA 2022] recently solved this problem in polynomial time.
In this paper, we propose to study optimal leaf roots of graphs G, that is, the k-leaf roots of G with minimum k value. Thus, all k'-leaf roots of G satisfy k <= k'. In terms of computational biology, seeking optimal leaf roots is more justified as they yield more probable phylogenetic trees. Lafond's result does not imply polynomial-time computability of optimal leaf roots, because, even for optimal k-leaf roots, k may (exponentially) depend on the size of G. This paper presents a linear-time construction of optimal leaf roots for chordal cographs (also known as trivially perfect graphs). Additionally, it highlights the importance of the parity of the parameter k and provides a deeper insight into the differences between optimal k-leaf roots of even versus odd k.
Keywords: k-leaf power, k-leaf root, optimal k-leaf root, trivially perfect leaf power, chordal cograph
Ramsey numbers of hypergraphs of a given size
The $q$-color Ramsey number of a $k$-uniform hypergraph $H$ is the minimum integer $N$ such that any $q$-coloring of the complete $k$-uniform hypergraph on $N$ vertices contains a monochromatic copy of $H$. The study of these numbers is one of the central topics in Combinatorics. In 1973, Erdős and Graham asked to maximize the Ramsey number of a graph as a function of the number of its edges. Motivated by this problem, we study the analogous question for hypergaphs. For fixed $k \ge 3$ and $q \ge 2$ we prove that the largest possible $q$-color Ramsey number of a $k$-uniform hypergraph with $m$ edges is at most $\mathrm{tw}_k(O(\sqrt{m})),$ where $\mathrm{tw}$ denotes the tower function. We also present a construction showing that this bound is tight for $q \ge 4$. This resolves a problem by Conlon, Fox and Sudakov. They previously proved the upper bound for $k \geq 4$ and the lower bound for $k=3$. Although in the graph case the tightness follows simply by considering a clique of appropriate size, for higher uniformities the construction is rather involved and is obtained by using paths in expander graphs.
Generalized point configurations in ${\mathbb F}_q^d$
In this paper, we generalize \cite{IosevichParshall}, \cite{LongPaths} and \cite{cycles} by allowing the \emph{distance} between two points in a finite field vector space to be defined by a general non-degenerate bilinear form or quadratic form. We prove the same bounds on the sizes of large subsets of $\F_q^d$ for them to contain distance graphs with a given maximal vertex degree, under the more general notion of distance. We also prove the same results for embedding paths, trees and cycles in the general setting.
A study of $4-$cycle systems
A $4-$cycle system is a partition of the edges of the complete graph $K_n$ into $4-$cycles. Let ${ C}$ be a collection of cycles of length 4 whose edges partition the edges of $K_n$. A set of 4-cycles $T_1 \subset C$ is called a 4-cycle trade if there exists a set $T_2$ of edge-disjoint 4-cycles on the same vertices, such that $({C} \setminus T_1)\cup T_2$ also is a collection of cycles of length 4 whose edges partition the edges of $K_n$.
We study $4-$cycle trades of volume two (double-diamonds) and three and show that the set of all 4-CS(9) is connected with respect of trading with trades of volume 2 (double-diamond) and 3.
In addition, we present a full rank matrix whose null-space is containing trade-vectors.
Triangle-degree and triangle-distinct graphs
Let $G$ be a simple graph and $v$ be a vertex of $G$. The triangle-degree of $v$ in $G$ is the number of triangles that contain $v$. While every graph has at least two vertices with the same degree, there are graphs in which every vertex has a distinct triangle-degree. In this paper, we construct an infinite family of graphs with this property. We also study the vertex degrees and size of graphs with this property.
Spin models and distance-regular graphs of $q$-Racah type
Published
• View Publication
• BIB
Let $Γ$ denote a distance-regular graph, with vertex set $X$ and diameter $D\geq 3$. We assume that $Γ$ is formally self-dual and $q$-Racah type. We also assume that for each $x \in X$ the subconstituent algebra $T=T(x)$ contains a certain central element $Z=Z(x)$. We use $Z$ to construct a spin model $\sf W$ afforded by $Γ$. We investigate the combinatorial implications of $Z$. We reverse the logical direction and recover $Z$ from $\sf W$. We finish with some open problems.
Computational complexity of counting coincidences
Published in Theoret. Comput. Sci. 1015 (2024) 114776
• View Publication
• BIB
Can you decide if there is a coincidence in the numbers counting two different combinatorial objects? For example, can you decide if two regions in $\mathbb{R}^3$ have the same number of domino tilings? There are two versions of the problem, with $2\times 1 \times 1$ and $2\times 2 \times 1$ boxes. We prove that in both cases the coincidence problem is not in the polynomial hierarchy unless the polynomial hierarchy collapses to a finite level. While the conclusions are the same, the proofs are notably different and generalize in different directions.
We proceed to explore the coincidence problem for counting independent sets and matchings in graphs, matroid bases, order ideals and linear extensions in posets, permutation patterns, and the Kronecker coefficients. We also make a number of conjectures for counting other combinatorial objects such as plane triangulations, contingency tables, standard Young tableaux, reduced factorizations and the Littlewood--Richardson coefficients.