graph
34516 papers tagged with this keyword
Strong Brandt-Thomassé Theorems
Solving a long standing conjecture of Erdős and Simonovits, Brandt and Thomassé proved that the chromatic number of each triangle-free graph $G$ such that $δ(G)>|V(G)|/3$ is at most four. In fact, they showed the much stronger result that every maximal triangle-free graph $G$ satisfying this minimum degree condition is a blow-up of either an Andrásfai or a Vega graph.
Here we establish the same structural conclusion on $G$ under the weaker assumption that for $m\in\{2, 3, 4\}$ every sequence of $3m$ vertices has a subsequence of length $m+1$ with a common neighbour. In forthcoming work this will be used to solve an old problem of Andrásfai in Ramsey-Turán theory.
Graphs of Reduced Words and Some Connections
The family of graphs of reduced words of a certain subcollection of permutations in the union $\cup_{n\geq 4}\frak{S}_{n}$ of symmetic groups is investigated. The subcollection is characterised by the hook cycle type $(n-2,1,1)$ with consecutive fixed points. A closed formula for counting the vertices of each member of the family is given and the vertex-degree polynomials for the graphs with their generating series is realised. Lastly, some isomorphisms of these graphs with various combinatorial objects are established.
Eigenvalues of the Hodge Laplacian on digraphs
Published in Communications in Analysis and Geometry, Vol. 33, Issue 4 (2025), pp. 981-1023
• View Publication
• BIB
This paper aims to compute and estimate the eigenvalues of the Hodge Laplacians on directed graphs. We have devised a new method for computing Hodge spectra with the following two ingredients.
(I) We have observed that the product rule does work for the so-called normalized Hodge operator, denoted by $Δ_{p}^{(a)},$ where $a$ refers to the weight that is used to redefine the inner product in the spaces $Ω_{p}$. This together with the Künneth formula for product allows us to compute inductively the spectra of all normalized Hodge operators $Δ_{p}^{(a)}$ on Cartesian powers including $n$-cubes and $n$-tori.
(II) We relate in a certain way the spectra of $Δ_{p}$ and $Δ_{p}^{(a)}$ to those of operators $\mathcal{L}_{p}=\partial ^{\ast }\partial$ also acting on $Ω_{p}$. Knowing the spectra of $Δ_{p}^{(a)}$ for all values of $p$, we compute the spectra of $\mathcal{L}_{p} $ and then the spectra of $Δ_{p}.$ This program yields the spectra of all operators $Δ_{p}$ on all $n$-cubes and $n$-tori.
On the local resilience of random geometric graphs with respect to connectivity and long cycles
Given an increasing graph property $\mathcal{P}$, a graph $G$ is $α$-resilient with respect to $\mathcal{P}$ if, for every spanning subgraph $H\subseteq G$ where each vertex keeps more than a $(1-α)$-proportion of its neighbours, $H$ has property $\mathcal{P}$. We study the above notion of local resilience with $G$ being a random geometric graph $G_d(n,r)$ obtained by embedding $n$ vertices independently and uniformly at random in $[0,1]^d$, and connecting two vertices by an edge if the distance between them is at most $r$.
First, we focus on connectivity. We show that, for every $\varepsilon>0$, for $r$ a constant factor above the sharp threshold for connectivity $r_c$ of $G_d(n,r)$, the random geometric graph is $(1/2-\varepsilon)$-resilient for the property of being $k$-connected, with $k$ of the same order as the expected degree. However, contrary to binomial random graphs, for sufficiently small $\varepsilon>0$, connectivity is not born $(1/2-\varepsilon)$-resilient in $2$-dimensional random geometric graphs.
Second, we study local resilience with respect to the property of containing long cycles. We show that, for $r$ a constant factor above $r_c$, $G_d(n,r)$ is $(1/2-\varepsilon)$-resilient with respect to containing cycles of all lengths between constant and $2n/3$. Proving $(1/2-\varepsilon)$-resilience for Hamiltonicity remains elusive with our techniques. Nevertheless, we show that $G_d(n,r)$ is $α$-resilient with respect to Hamiltonicity for a fixed constant $α= α(d)<1/2$.
$B_{n-1}$-orbits on the flag variety and the Bruhat graph of the symmetric group
Let $G=G_{n}=GL(n)$ be the $n\times n$ complex general linear group and embed $G_{n-1}=GL(n-1)$ in the top left hand corner of $G$. The standard Borel subgroup of upper triangular matrices $B_{n-1}$ of $G_{n-1}$ acts on the flag variety of $G$ with finitely many orbits. In this paper, we show that each $B_{n-1}$-orbit is the intersection of orbits of two Borel subgroups of $G$ acting on the flag variety of $G$. This allows us to give a new combinatorial description of the $B_{n-1}$-orbits by associating to each orbit a pair of Weyl group elements. The closure relations for the $B_{n-1}$-orbits can then be understood in terms of the Bruhat order on the Weyl group, and the Richardson-Springer monoid action on the orbits can be understood in terms of the classical monoid action of the Weyl group on itself. This approach makes the closure relation more transparent than in earlier work of Magyar and the monoid action significantly more computable than in our earlier papers, and also allows us to obtain new information about the orbits including a simple formula for the dimension of an orbit.
On Graph Odd Edge-Colorings and Odd Edge-Coverings
An odd $k$-edge-coloring of a graph $G$ is a (not necessarily proper) edge-coloring with at most $k$ colors such that each non-empty color class induces a graph in which every vertex is of odd degree; similarly, if more than one color per edge is allowed, we speak of an odd $k$-edge-covering of $G$. In this paper, we fully resolve two major conjectures on odd edge-colorings and odd edge-coverings of graphs, proposed by Petru{š}evski and {Š}krekovski ({\it European Journal of Combinatorics,} 91:103225, 2021). The first conjecture states that, apart from two particular exceptions which are respectively odd $5$- and odd-$6$-edge-colorable, for any other loopless and connected graph $G$ there exists an edge $e$ such that $G\backslash \{e\}$ is odd $3$-edge-colorable. The second conjecture states that any simple graph $G$ admits an odd $3$-edge-covering in which at most one edge receives more than one color. In addition, we strongly confirm the second conjecture by demonstrating that there exists an odd $3$-edge-covering in which at most one edge receives two colors and the rest of the edges receive unique colors.
A comprehensive generalization of the Friendship Paradox to weights and attributes
Published in Sci Rep 14, 13730 (2024)
• View Publication
• BIB
The Friendship Paradox is a simple and powerful statement about node degrees in a graph (Feld 1991). However, it only applies to undirected graphs with no edge weights, and the only node characteristic it concerns is degree. Since many social networks are more complex than that, it is useful to generalize this phenomenon, if possible, and a number of papers have proposed different generalizations. Here, we unify these generalizations in a common framework, retaining the focus on undirected graphs and allowing for weighted edges and for numeric node attributes other than degree to be considered, since this extension allows for a clean characterization and links to the original concepts most naturally. While the original Friendship Paradox and the Weighted Friendship Paradox hold for all graphs, considering non-degree attributes actually makes the extensions fail around 50% of the time, given random attribute assignment. We provide simple correlation-based rules to see whether an attribute-based version of the paradox holds. In addition to theory, our simulation and data results show how all the concepts can be applied to synthetic and real networks. Where applicable, we draw connections to prior work to make this an accessible and comprehensive paper that lets one understand the math behind the Friendship Paradox and its basic extensions.
Lower bounds for the total (distance) $k$-domination number of a graph
For $k \geq 1$ and a graph $G$ without isolated vertices, a \emph{total (distance) $k$-dominating set} of $G$ is a set of vertices $S \subseteq V(G)$ such that every vertex in $G$ is within distance $k$ to some vertex of $S$ other than itself. The \emph{total (distance) $k$-domination number} of $G$ is the minimum cardinality of a total $k$-dominating set in $G$, and is denoted by $γ_{k}^t(G)$. When $k=1$, the total $k$-domination number reduces to the \emph{total domination number}, written $γ_t(G)$; that is, $γ_t(G) = γ_{1}^t(G)$. This paper shows that several known lower bounds on the total domination number generalize nicely to lower bounds on total (distance) $k$-domination.
Maximizing the Maximum Degree in Ordered Nearest Neighbor Graphs
Published in Computational Geometry, 2026, Vol. 132, 102229, 7 pp
• View Publication
• BIB
For an ordered point set in a Euclidean space or, more generally, in an abstract metric space, the ordered Nearest Neighbor Graph is obtained by connecting each of the points to its closest predecessor by a directed edge. We show that for every set of $n$ points in $\mathbb{R}^d$, there exists an order such that the corresponding ordered Nearest Neighbor Graph has maximum degree at least $\log{n}/(4d)$. Apart from the $1/(4d)$ factor, this bound is the best possible. As for the abstract setting, we show that for every $n$-element metric space, there exists an order such that the corresponding ordered Nearest Neighbor Graph has maximum degree $Ω(\sqrt{\log{n}/\log\log{n}})$.
Quotient-convergence of Submodular Setfunctions
We introduce the concept of quotient-convergence for sequences of submodular set functions, providing, among others, a new framework for the study of convergence of matroids through their rank functions. Extending the limit theory of bounded degree graphs, which analyzes graph sequences via neighborhood sampling, we address the challenge posed by the absence of a neighborhood concept in matroids. We show that any bounded set function can be approximated by a sequence of finite set functions that quotient-converges to it. In addition, we explicitly construct such sequences for increasing, submodular, and upper continuous set functions, and prove the completeness of the space under quotient-convergence.
Cycle Matroids of Graphings: From Convergence to Duality
A recent line of research has concentrated on exploring the links between analytic and combinatorial theories of submodularity, uncovering several key connections between them. In this context, Lovász initiated the study of matroids from an analytic point of view and introduced the cycle matroid of a graphing. Motivated by the limit theory of graphs, the authors introduced a form of right-convergence, called quotient-convergence, for a sequence of submodular setfunctions, leading to a notion of convergence for matroids through their rank functions. In this paper, we study the connection between local-global convergence of graphs and quotient-convergence of their cycle matroids. We characterize the exposed points of associated convex sets, forming an analytic counterpart of matroid independence- and base-polytopes. Finally, we consider dual planar graphings and show that the cycle matroid of one is the cocycle matroid of its dual if and only if the underlying graphings are hyperfinite.
Strong External Difference Families and Classification of $α$-valuations
One method of constructing $(a^2+1, 2,a, 1)$-SEDFs (i.e., strong external difference families) in $\mathbb{Z}_{a^2+1}$ makes use of $α$-valuations of complete bipartite graphs $K_{a,a}$. We explore this approach and we provide a classification theorem which shows that all such $α$-valuations can be constructed recursively via a sequence of ``blow-up'' operations. We also enumerate all $(a^2+1, 2,a, 1)$-SEDFs in $\mathbb{Z}_{a^2+1}$ for $a \leq 14$ and we show that all these SEDFs are equivalent to $α$-valuations via affine transformations. Whether this holds for all $a > 14$ as well is an interesting open problem. We also study SEDFs in dihedral groups, where we show that two known constructions are equivalent.
Sparse reconstruction in spin systems II: Ising and other factor of IID measures
For a sequence of Boolean functions $f_n : \{-1, 1\}^{V_n} \longrightarrow \{-1, 1\}$, with random input given by some probability measure $\mathbb{P}_n$, we say that there is sparse reconstruction for $f_n$ if there is a sequence of subsets $U_n \subseteq V_n$ of coordinates satisfying $|U_n| = o(|V_n|)$ such that knowing the spins in $U_n$ gives us a non-vanishing amount of information about the value of $f_n$.
In the first part of this work, we showed that if the $\mathbb{P}_n$s are product measures, then no sparse reconstruction is possible for any sequence of transitive functions. In this sequel, we consider spin systems that are relatives of IID measures in one way or another, with our main focus being on the Ising model on finite transitive graphs or exhaustions of lattices. We prove that no sparse reconstruction is possible for the entire high temperature regime on Euclidean boxes and the Curie-Weiss model, while sparse reconstruction for the majority function of the spins is possible in the critical and low temperature regimes. We give quantitative bounds for two-dimensional boxes and the Curie-Weiss model, sharp in the latter case.
The proofs employ several different methods, including factor of IID and FK random cluster representations, strong spatial mixing, a generalization of discrete Fourier analysis to Divide-and-Color models, and entropy inequalities.
On the Expressibility of the Reconstructional Color Refinement
One of the most basic facts related to the famous Ulam reconstruction conjecture is that the connectedness of a graph can be determined by the deck of its vertex-deleted subgraphs, which are considered up to isomorphism. We strengthen this result by proving that connectedness can still be determined when the subgraphs in the deck are given up to equivalence under the color refinement isomorphism test. Consequently, this implies that connectedness is recognizable by Reconstruction Graph Neural Networks, a recently introduced GNN architecture inspired by the reconstruction conjecture (Cotta, Morris, Ribeiro 2021).
On the independence number of sparser random Cayley graphs
Published in J. Lond. Math. Soc. 110 (2024)
• View Publication
• BIB
The Cayley sum graph $Γ_A$ of a set $A \subseteq \mathbb{Z}_n$ is defined to have vertex set $\mathbb{Z}_n$ and an edge between two distinct vertices $x, y \in \mathbb{Z}_n$ if $x + y \in A$. Green and Morris proved that if the set $A$ is a $p$-random subset of $\mathbb{Z}_n$ with $p = 1/2$, then the independence number of $Γ_A$ is asymptotically equal to $α(G(n, 1/2))$ with high probability. Our main theorem is the first extension of their result to $p = o(1)$: we show that, with high probability, $$α(Γ_A) = (1 + o(1)) α(G(n, p))$$ as long as $p \ge (\log n)^{-1/80}$.
One of the tools in our proof is a geometric-flavoured theorem that generalises Freĭman's lemma, the classical lower bound on the size of high dimensional sumsets. We also give a short proof of this result up to a constant factor; this version yields a much simpler proof of our main theorem at the expense of a worse constant.
New Strongly Regular Graphs Found via Local Search for Partial Difference Sets
Strongly regular graphs (SRGs) are highly symmetric combinatorial objects, with connections to many areas of mathematics including finite fields, finite geometries, and number theory. One can construct an SRG via the Cayley Graph of a regular partial difference set (PDS). Local search is a common class of search algorithm that iteratively adjusts a state to (locally) minimize an error function. In this work, we use local search to find PDSs. We found PDSs with 62 different parameter values in 1254 nonisomorphic groups of orders at most 147. Many of these PDSs replicate known results. In two cases, (144,52,16,20) and (147,66,25,33), the PDSs found give the first known construction of SRGs with these parameters. In some other cases, the SRG was already known but a PDS in that group was unknown. This work also corroborates the existence of (64,18,2,6) PDSs in precisely 73 groups of order 64.
The irregularity strength of dense graphs -- on asymptotically optimal solutions of problems of Faudree, Jacobson, Kinch and Lehel
The irregularity strength of a graph $G$, $s(G)$, is the least $k$ such that there exists a $\{1,2,\ldots,k\}$-weighting of the edges of $G$ attributing distinct weighted degrees to all vertices, or equivalently the least $k$ enabling obtaining a multigraph with nonrecurring degrees by blowing each edge $e$ of $G$ to at most $k$ copies of $e$. In 1991 Faudree, Jacobson, Kinch and Lehel asked for the optimal lower bound for the minimum degree of a graph $G$ of order $n$ which implies that $s(G)\leq 3$. More generally, they also posed a similar question regarding the upper bound $s(G)\leq K$ for any given constant $K$. We provide asymptotically tight solutions of these problems by proving that such optimal lower bound is of order $\frac{1}{K-1}n$ for every fixed integer $K\geq 3$.
The smith normal form of the walk matrix of the Dynkin graph $A_n$
Published in Linear Algebra and its Applications 698(2024), 26-39
• Search Publication
In this paper, we give the rank of the walk matrix of the Dynkin graph $A_n$, and prove that its Smith normal form is $$\diag(\underbrace{1,\ldots,1}_{\lceil\frac{n}{2}\rceil},0,\ldots,0).$$
Counting independent sets in structured graphs
Published
• View Publication
• BIB
Counting independent sets in graphs and hypergraphs under a variety of restrictions is a classical question with a long history. It is the subject of the celebrated container method which found numerous spectacular applications over the years. We consider the question of how many independent sets we can have in a graph under structural restrictions. We show that any $n$-vertex graph with independence number $α$ without $bK_a$ as an induced subgraph has at most $n^{O(1)} \cdot α^{O(α)}$ independent sets. This substantially improves the trivial upper bound of $n^α,$ whenever $α\le n^{o(1)}$ and gives a characterization of graphs forbidding of which allows for such an improvement. It is also in general tight up to a constant in the exponent since there exist triangle-free graphs with $α^{Ω(α)}$ independent sets. We also prove that if one in addition assumes the ground graph is chi-bounded one can improve the bound to $n^{O(1)} \cdot 2^{O(α)}$ which is tight up to a constant factor in the exponent.
Bottlenecking in graphs and a coarse Menger-type theorem
We expand upon the notion of bottlenecking introduced in our earlier work, characterizing a spectrum of graphs and showing that this naturally extends to a concept of coarse bottlenecking. We show how the notion of bottlenecking provides a different approach to coarsening measures of connectedness than the Coarse Menger Conjecture proposed independently by Georgakopoulos and Papasoglu as well as Albrechtsen, Huynh, Jacobs, Knappe, and Wollan - which was recently disproved by a counterexample. We formulate and prove a Coarse Menger-type theorem, and also propose a coarse Erdős-Menger-type Conjecture, in the spirit of the Erdős-Menger conjecture which was proven after decades by Aharoni and Berger.