graph
34516 papers tagged with this keyword
Marked multi-colorings, partially commutative Lie superalgebras and right-angled Coxeter groups
Infinite-dimensional Lie superalgebras, particularly Borcherds-Kac-Moody (BKM) superalgebras, play a fundamental role in mathematical physics, number theory, and representation theory. In this paper, we study the root multiplicities of BKM superalgebras via their denominator identities, deriving explicit combinatorial formulas in terms of graph invariants associated with marked (quasi) Dynkin diagrams. We introduce partially commutative Lie superalgebras (PCLSAs) and provide a direct combinatorial proof of their denominator identity, where the generating set runs over the super heaps monoid. A key notation in our approach is marked multi-colorings and their associated polynomials, which generalize chromatic polynomials and offer a method for computing root multiplicities. As applications, we characterize the roots of PCLSAs and establish connections between their universal enveloping algebras and right-angled Coxeter groups, leading to explicit formulas for their Hilbert series. These results further deepen the interplay between Lie superalgebras, graph theory, and algebraic combinatorics.
Universality of the matching number in percolated regular graphs
Fix a sequence of $d$-regular graphs $(G_d)_{d\in \mathbb{N}}$ and denote by $G_{d,p}$ the graph obtained from $G_d$ after edge-percolation with probability $p=c/d$, for a constant $c>0$. We prove a quantitative local convergence of $(G_{d,p})_{d\in \mathbb{N}}$. In combination with results of Bordenave, Lelarge and Salez, it implies that the rescaled matching number of $G_{d,p}$ is asymptotically equivalent to that of the binomial random graph $G(n,c/n)$.
Permutation Equivariant Neural Networks for Symmetric Tensors
Incorporating permutation equivariance into neural networks has proven to be useful in ensuring that models respect symmetries that exist in data. Symmetric tensors, which naturally appear in statistics, machine learning, and graph theory, are essential for many applications in physics, chemistry, and materials science, amongst others. However, existing research on permutation equivariant models has not explored symmetric tensors as inputs, and most prior work on learning from these tensors has focused on equivariance to Euclidean groups. In this paper, we present two different characterisations of all linear permutation equivariant functions between symmetric power spaces of $\mathbb{R}^n$. We show on two tasks that these functions are highly data efficient compared to standard MLPs and have potential to generalise well to symmetric tensors of different sizes.
Edge ideals with linear quotients and without homological linear quotients
Published in Mediterranean Journal of Mathematics, Volume 23, Article 31 (2026)
• View Publication
• BIB
A monomial ideal $I$ is said to have homological linear quotients if for each $k\geq 0$, the homological shift ideal $\mathrm{HS}_k(I)$ has linear quotients. It is a well-known fact that if an edge ideal $I(G)$ has homological linear quotients, then $G$ is co-chordal. We construct a family of co-chordal graphs $\{\mathrm{H}_n^c\}_{n\geq 6}$ and propose a conjecture that an edge ideal $I(G)$ has homological linear quotients if and only if $G$ is co-chordal and $\mathrm{H}_n^c$-free for any $n\geq 6$. In this paper, we prove one direction of the conjecture. Moreover, we study possible patterns of pairs $(G,k)$ of a co-chordal graph $G$ and integer $k$ such that $\mathrm{HS}_k(I(G))$ has linear quotients.
The saturation number of W 4
For a fixed graph $H$, a graph $G$ is called $H$-saturated if $G$ does not contain $H$ as a (not necessarily induced) subgraph, but $G+e$ contains a copy of $H$ for any $e\in E(\overline{G})$. The saturation number of $H$, denoted by ${\rm sat}(n,H)$, is the minimum number of edges in an $n$-vertex $H$-saturated graph. A wheel $W_n$ is a graph obtained from a cycle of length $n$ by adding a new vertex and joining it to every vertex of the cycle. A well-known result of Erdős, Hajnal and Moon shows that ${\rm sat}(n,W_3)=2n-3$ for all $n\geq 4$ and $K_2\vee \overline{K_{n-2}}$ is the unique extremal graph, where $\vee$ denotes the graph join operation. In this paper, we study the saturation number of $W_4$. We prove that ${\rm sat}(n,W_4)=\lfloor\frac{5n-10}{2}\rfloor$ for all $n\geq 6$ and give a complete characterization of the extremal graphs.
From de Bruijn graphs to variation graphs-relationships between pangenome models
Published
• View Publication
• BIB
Pangenomes serve as a framework for joint analysis of genomes of related organisms. Several pangenome models were proposed, offering different functionalities, applications provided by available tools, their efficiency etc. Among them, two graph-based models are particularly widely used: variation graphs and de Bruijn graphs. In the current paper we propose an axiomatization of the desirable properties of a graph representation of a collection of strings. We show the relationship between variation graphs satisfying these criteria and de Bruijn graphs. This relationship can be used to efficiently build a variation graph representing a given set of genomes, transfer annotations between both models, compare the results of analyzes based on each model etc.
Counting of lattices containing up to five comparable reducible elements and having nullity up to three
In 2020 Bhavale and Waphare introduced the concept of a nullity of a poset as nullity of its cover graph. In 2003 Pawar and Waphare counted all non-isomorphic lattices on n elements and n edges, which are precisely lattices of nullity one. In 2002 Thakare et al. counted all non-isomorphic lattices on n elements containing two reducible elements. In the same paper, Thakare et al. counted lattices on n elements containing up to n+1 edges, which are precisely lattices of nullity up to two. In 2024 Bhavale and Aware counted all non-isomorphic lattices on n elements, containing up to three reducible elements. Recently, Aware and Bhavale counted all non-isomorphic lattices on n elements, containing four comparable reducible elements, and having nullity three. In this paper, we count up to isomorphism the class of all lattices on n elements containing five comparable reducible elements, and having nullity three.
Elusive properties of countably infinite graphs
A graph property is elusive (or evasive) if any algorithm testing it by asking questions of the form ''Is there an edge between vertices x and y?'' must, in the worst case, examine all pairs of vertices. Elusiveness for infinite vertex sets has been first studied by Csernák and Soukup, who proved that the long-standing Aanderaa-Karp-Rosenberg Conjecture -- which states that every nontrivial monotone graph property is elusive -- fails for infinite vertex sets. We extend their work by giving a closer look to the case when the vertex set is countably infinite and the ''algorithm'' terminates after infinitely many steps. Among others, we prove that connectedness is elusive, which strengthens a result of Csernák and Soukup. We give counterexamples to the infinite version of the Aanderaa-Karp-Rosenberg Conjecture even if the ''algorithm'' is required to terminate after infinitely many steps, which strengthens results of Csernák and Soukup.
Thresholds for the biased Maker-Breaker domination games
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:3, Combinatorics (October 22, 2025) dmtcs:15392
• View Publication
• BIB
In the $(a,b)$-biased Maker-Breaker domination game, two players alternately select unplayed vertices in a graph $G$ such that Dominator selects $a$ and Staller selects $b$ vertices per move. Dominator wins if the vertices he selected during the game form a dominating set of $G$, while Staller wins if she can prevent Dominator from achieving this goal. Given a positive integer $b$, Dominator's threshold, $\textrm{a}_b$, is the minimum $a$ such that Dominator wins the $(a,b)$-biased game on $G$ when he starts the game. Similarly, $\textrm{a}'_b$ denotes the minimum $a$ such that Dominator wins when Staller starts the $(a,b)$-biased game. Staller's thresholds, $\textrm{b}_a$ and $\textrm{b}'_a$, are defined analogously. It is proved that Staller wins the $(k-1,k)$-biased games in a graph $G$ if its order is sufficiently large with respect to a function of $k$ and the maximum degree of $G$. Along the way, the $\ell$-local domination number of a graph is introduced. This new parameter is proved to bound Dominator's thresholds $\textrm{a}_\ell$ and $\textrm{a}_\ell'$ from above. As a consequence, $\textrm{a}_1'(G)\le 2$ holds for every claw-free graph $G$. More specific results are obtained for thresholds in line graphs and Cartesian grids. Based on the concept of $[1,k]$-factor of a graph $G$, we introduce the star partition width $σ(G)$ of $G$, and prove that $\textrm{a}_1'(G)\le σ(G)$ holds for any nontrivial graph $G$, while $\textrm{a}_1'(G)=σ(G)$ if $G$ is a tree.
Criticality for Maker-Breaker domination games with predomination
A predominated graph is a pair $(G,D)$, where $G$ is a graph and the vertices in $D\subseteq V(G)$ are considered already dominated. Maker-Breaker domination game critical (MBD critical) predominated graphs are introduced as the predominated graphs $(G,D)$ on which Staller wins the game, but Dominator wins on $(G, D \cup \{v\})$ for every vertex $v \in V(G) \setminus D$.
Tools are developed for handling the Maker-Breaker domination game on trees which lead to a characterization of Staller-win predominated trees. MBD critical predominated trees are characterized and an algorithm is designed which verifies in linear time whether a given predominated tree is MBD critical. A large class of MBD critical predominated cacti is presented and Maker-Breaker critical hypergraphs constructed.
Cliques in Paley graphs of square order and in Peisert graphs
We study maximal cliques in the collinearity graphs of Desarguesian nets, give some structural results and some numerical information.
Triangle-free graphs with the fewest independent sets
Given $d>0$ and a positive integer $n$, let $G$ be a triangle-free graph on $n$ vertices with average degree $d$. With an elegant induction, Shearer (1983) tightened a seminal result of Ajtai, Komlós and Szemerédi (1980/1981) by proving that $G$ contains an independent set of size at least $(1+o(1))\frac{\log d}{d}n$ as $d\to\infty$.
By a generalisation of Shearer's method, we prove that the number of independent sets in $G$ must be at least $\exp\left((1+o(1))\frac{(\log d)^2}{2d}n\right)$ as $d\to\infty$. This improves upon results of Cooper and Mubayi (2014) and Davies, Jenssen, Perkins, and Roberts (2018). Our method also provides good lower bounds on the independence polynomial of $G$, one of which implies Shearer's result itself. As certified by a classic probabilistic construction, our bound on the number of independent sets is sharp to several leading terms as $d\to\infty$.
A Max-Min problem on spectral radius and connectedness of graphs
In the past decades, many scholars concerned which edge-extremal problems have spectral analogues? Recently, Wang, Kang and Xue showed an interesting result on $F$-free graphs [J. Combin. Theory Ser. B 159 (2023) 20--41]. In this paper, we study the above problem on critical graphs.Let $P$ be a property defined on a family $\mathbb{G}$ of graphs. A graph $G$ in $\mathbb{G}$ is said to be $P$-critical,if it has the property $P$ but $G-e$ no longer has for any edge $e\in E(G)$. Especially, a graph is minimally $k$-(edge)-connected,if it is $k$-connected (respectively, $k$-edge connected) and deleting an arbitrary edge always leaves a graph which is not $k$-connected (respectively, $k$-edge-connected). An interesting Max-Min problem asks what is the maximal spectral radius of an $n$-vertex minimally $k$-(edge)-connected graphs? In 2019, Chen and Guo [Discrete Math. 342 (2019) 2092--2099] gave the answer for $k=2$. In 2021, Fan, Goryainov and Lin [Discrete Appl. Math. 305 (2021) 154--163] determined the extremal spectral radius for minimally $3$-connected graphs. We obtain some structural properties of minimally $k$-(edge)-connected graphs. Furthermore, we solve the above Max-Min problem for $k\geq3$, which implies that every minimally $k$-(edge)-connected graph with maximal spectral radius also has maximal number of edges. Finally, a general problem is posed for further research.
On the perfect $k$-divisibility of graphs
A graph $G$ is perfectly divisible if, for every induced subgraph $H$ of $G$, either $V(H)$ is a stable set or admits a partition into two sets $X_1$ and $X_2$ such that $ω(H[X_1]) < ω(H)$ and $H[X_2]$ is a perfect graph. In this article, we propose the following generalisation of perfectly divisible graphs. A graph $G$ is perfectly $1$-divisible if $G$ is perfect and perfectly $k$-divisible if, for every induced subgraph $H$ of $G$, either $V(H)$ is a stable set or admits a partition into two sets $X_1$ and $X_2$ such that $ω(H[X_1]) < ω(H)$ and $H[X_2]$ is perfectly $(k-1)$-divisible, $k \in \mathbb{N}_{> 1}$. Our main result establishes that every perfectly $k$-divisible graph $G$ satisfies $χ(G) \leq \binom{ω(G)+k-1}{k}$ which generalises the known bound for perfectly divisible graphs.
The saturation number of wheels
A graph $G$ is said to be $F$-free, if $G$ does not contain any copy of $F$. $G$ is said to be $F$-semi-saturated, if the addition of any nonedge $e \not \in E(G)$ would create a new copy of $F$ in $G+e$. $G$ is said to be $F$-saturated, if $G$ is $F$-free and $F$-semi-saturated. The saturation number $sat(n,F)$ (resp. semi-saturation number $ssat(n,F)$) is the minimum number of edges in an $F$-saturated (resp. $F$-semi-saturated) graph of order $n$. In this paper we proved several results on the (semi)-saturation number of the wheel graph $W_k=K_1 \vee C_k$. Let $k,n$ be positive integers with $k \geq 8$ and $n \geq 56k^3$, we showed that $(s)sat(n,W_k)=n-1+(s)sat(n-1,C_k)$. We also establish the lower bound of semi-saturation number of $W_k$ with restriction on maximum degree.
On the $k$-linkage problem for generalizations of semicomplete digraphs
A directed graph (digraph) $ D $ is $ k $-linked if $ |D| \geq 2k $, and for any $ 2k $ distinct vertices $ x_1, \ldots, x_k, y_1, \ldots, y_k $ of $ D $, there exist vertex-disjoint paths $ P_1, \ldots, P_k $ such that $ P_i $ is a path from $ x_i $ to $ y_i $ for each $ i \in [k] $. In 1980, Thomassen conjectured that there exists a function $ f(k) $ such that every $ f(k) $-strong digraph is $ k $-linked. He later disproved this conjecture by showing that $ f(2) $ does not exist for general digraphs and proved that the function $f(k)$ exists for the class of tournaments. In this paper we consider a large class $\mathcal{ D} $ of digraphs which includes all semicomplete digraphs (digraphs with no pair of non-adjacent vertices) and all quasi-transitive digraphs (a digraph $D$ is quasi-transitive if for any three vertices $x, y, z$ of $D$, whenever $xy$ and $yz$ are arcs, then $x$ and $z$ are adjacent). We prove that every $ 3k $-strong digraph $D\in \mathcal{D}$ with minimum out-degree at least $ 23k $ is $ k $-linked. A digraph $D$ is $l$-quasi-transitive if whenever there is a path of length $l$ between vertices $u$ and $v$ in $D$ the vertices $u$ and $v$ are adjacent. Hence 2-quasi-transitive digraphs are exactly the quasi-transitive digraphs. We prove that there is a function $f(k,l)$ so that every $f(k,l)$-strong $l$-quasi-transitive digraph is $k$-linked. The main new tool in our proofs significantly strengthens an important property of vertices with maximum in-degree in a tournament. While Landau in 1953 already proved that such a vertex $v$ is reachable by all other vertices by paths of length at most 2, we show that, in fact, the structure of these paths is much richer. In general there are many such paths for almost all out-neighbours of $v$ and this property is crucial in our proofs.
Geometric realizations of $ν$-associahedra via brick polyhedra
Brick polytopes constitute a remarkable family of polytopes associated to the spherical subword complexes of Knutson and Miller. They were introduced for finite Coxeter groups by Pilaud and Stump, who used them to produce geometric realizations of generalized associahedra arising from the theory of cluster algebras of finite types. In this paper, we present an application of the vast generalization of brick polyhedra for general subword complexes (not necessarily spherical) recently introduced by Jahn and Stump.
More precisely, we show that the $ν$-associahedron, a polytopal complex whose edge graph is the Hasse diagram of the $ν$-Tamari lattice introduced by Préville-Ratelle and Viennot, can be geometrically realized as the complex of bounded faces of the brick polyhedron of a well chosen subword complex. We also present a suitable projection to the appropriate dimension, which leads to an elegant vertex-coordinate description.
Towards Transitive-free Digraphs
In a digraph $D$, an arc $e=(x,y) $ in $D$ is considered transitive if there is a path from $x$ to $y$ in $D- e$. A digraph is transitive-free if it does not contain any transitive arc. In the Transitive-free Vertex Deletion (TVD) problem, the goal is to find at most $k$ vertices $S$ such that $D-S$ has no transitive arcs. In our work, we study a more general version of the TVD problem, denoted by $\ell$-Relaxed Transitive-free Vertex Deletion ($\ell$-RTVD), where we look for at most $k$ vertices $S$ such that $D-S$ has no more than $\ell$ transitive arcs. We explore $\ell$-RTVD on various well-known graph classes of digraphs such as directed acyclic graphs (DAGs), planar DAGs, $α$-bounded digraphs, tournaments, and their multiple generalizations such as in-tournaments, out-tournaments, local tournaments, acyclic local tournaments, and obtain the following results. Although the problem admits polynomial-time algorithms in tournaments, $α$-bounded digraphs, and acyclic local tournaments for fixed values of $\ell$, it remains NP-hard even in planar DAGs with maximum degree 6. In the parameterized realm, for $\ell$-RTVD on in-tournaments and out-tournaments, we obtain polynomial kernels parameterized by $k+\ell$ for bounded independence number. But the problem remains fixed-parameter intractable on DAGs when parameterized by $k$.
Nut digraphs
A nut graph is a simple graph whose kernel is spanned by a single full vector (i.e. the adjacency matrix has a single zero eigenvalue and all non-zero kernel eigenvectors have no zero entry). We classify generalisations of nut graphs to nut digraphs: a digraph whose kernel (resp. co-kernel) is spanned by a full vector is dextro-nut (resp. laevo-nut); a bi-nut digraph is both laevo- and dextro-nut; an ambi-nut digraph is a bi-nut digraph where kernel and co-kernel are spanned by the same vector; a digraph is inter-nut if the intersection of the kernel and co-kernel is spanned by a full vector. It is known that a nut graph is connected, leafless and non-bipartite. It is shown here that an ambi-nut digraph is strongly connected, non-bipartite (i.e. has a non-bipartite underlying graph) and has minimum in-degree and minimum out-degree of at least $2$. Refined notions of core and core-forbidden vertices apply to singular digraphs. Infinite families of nut digraphs and systematic coalescence, cross-over and multiplier constructions are introduced. Relevance of nut digraphs to topological physics is discussed.
Matrix Scaling: a New Heuristic for the Feedback Vertex Set Problem
For a digraph $G$, a set $F\subseteq V(G)$ is said to be a feedback vertex set (FVS) if $G-F$ is acyclic. The problem of finding a smallest FVS is NP-hard. We present a matrix scaling technique for finding feedback vertex sets in un-weighted directed graphs that runs in $O(|F|\log(|V|)|V|^{2})$ time. Our technique is empirically shown to produce smaller feedback vertex sets than other known heuristics and in a shorter amount of time.