Showing 20 papers (Total: 84046 papers, 48445 authors in database)
Kempe equivalence and quadratic toric rings
Published
• View Publication
• BIB
Kempe equivalence is a classical and fundamental notion in graph coloring theory. In the present paper we establish a connection between Kempe equivalence and quadratic stable set ring, which are toric rings associated to graphs. In fact, we characterize when the stable set ring of a graph is quadratic by using Kempe equivalence. As an application, we relate our theorem to the theory of perfectly contractile graphs, a hereditary subclass of perfect graphs introduced by Bertschi. In particular, our characterization implies that the conjecture of Everett and Reed on perfectly contractile graphs entails the conjecture of the authors and Shibata on quadratic stable set rings. Furthermore, we show that the stable set rings of several important subclasses of perfectly contractile graphs including weakly chordal graphs are quadratic. Finally, we propose a new combinatorial conjecture characterizing perfectly contractile graphs purely in terms of Kempe equivalence on replication graphs.
On Akemann-Weaver Conjecture
Published
• View Publication
• BIB
Akemann and Weaver showed Lyapunov-type theorem for rank one positive semidefinite matrices which is an extension of Weaver's KS$_2$ conjecture that was proven by Marcus, Spielman, and Srivastava in their breakthrough solution of the Kadison-Singer problem. They conjectured that a similar result holds for higher rank matrices. We prove the conjecture of Akemann and Weaver by establishing Lyapunov-type theorem for trace class operators. In the process we prove a matrix discrepancy result for sums of hermitian matrices. This extends rank one result of Kyng, Luh, and Song who established an improved bound in Lyapunov-type theorem of Akemann and Weaver.
$τ$-exceptional sequences and the shard intersection order in type A
Published
• View Publication
• BIB
Reading's "shard intersection order" on the symmetric group can be realized as the "lattice of wide subcategories" of the corresponding preprojective algebra. In this paper, we first use Bancroft's combinatorial model for the shard intersection order to associate a unique shard to each downward cover relation. We then show that, under the correspondence with wide subcategories, this process coincides with Jasso's "$τ$-tilting reduction". In particular, this yields a combinatorial model for this algebras's $τ$-exceptional sequences" (defined by Buan and Marsh). We formulate this model using the combinatorics of arc diagrams. Finally, we use our model to give a new representation-theoretic proof that the shard intersection order is EL-shellable in type A.
The Cut Method on Hypergraphs for the Wiener Index
The cut method has been proved to be extremely useful in chemical graph theory. In this paper the cut method is extended to hypergraphs. More precisely, the method is developed for the Wiener index of $k$-uniform partial cube-hypergraphs. The method is applied to cube-hypergraphs and hypertrees. Extensions of the method to hypergraphs arising in chemistry which are not necessary $k$-uniform and/or not necessary linear are also developed.
Block-transitive 2-designs with a chain of imprimitive partitions
Published
• View Publication
• BIB
More than $30$ years ago, Delandtsheer and Doyen showed that the automorphism group of a block-transitive $2$-design, with blocks of size $k$, could leave invariant a nontrivial point-partition, but only if the number of points was bounded in terms of $k$. Since then examples have been found where there are two nontrivial point partitions, either forming a chain of partitions, or forming a grid structure on the point set. We show, by construction of infinite families of designs, that there is no limit on the length of a chain of invariant point partitions for a block-transitive $2$-design. We introduce the notion of an `array' of a set of points which describes how the set interacts with parts of the various partitions, and we obtain necessary and sufficient conditions in terms of the `array' of a point set, relative to a partition chain, for it to be a block of such a design.
Posets and Fractional Calabi-Yau Categories
Published
• View Publication
• BIB
This article deals with a relationship between derived categories of modules over some partially ordered sets and triangulated categories arising from quasi-homogeneous isolated singularities. It produces heuristics for the existence of derived equivalences between posets, using the geometric category as an auxiliary intermediate. The notion of Weight plays a central role as a simple footprint of the derived categories under consideration.
Generalized regular representations of big wreath products
Published
• View Publication
• BIB
Let $G$ be a finite group with $k$ conjugacy classes, and $S(\infty)$ be the infinite symmetric group, i.e. the group of finite permutations of $\left\{1,2,3,\ldots\right\}$. Then the wreath product $G_{\infty}=G\sim S(\infty)$ of $G$ with $S(\infty)$ (called the big wreath product) can be defined. The group $G_{\infty}$ is a generalization of the infinite symmetric group, and it is an example of a ``big'' group, in Vershik's terminology. For such groups the two-sided regular representations are irreducible, the conventional scheme of harmonic analysis is not applicable, and the problem of harmonic analysis is a nontrivial problem with connections to different areas of mathematics and mathematical physics.
Harmonic analysis on the infinite symmetric group was developed in the works by Kerov, Olshanski, and Vershik, and Borodin and Olshanski. The goal of this paper is to extend this theory to the case of $G_{\infty}$. In particular, we construct an analogue $\mathfrak{S}_{G}$ of the space of virtual permutations. We then formulate and prove a theorem characterizing all central probability measures on $\mathfrak{S}_{G}$, and introduce generalized regular representations $T_{z_1,\ldots,z_k}$ of the big wreath product $G_{\infty}$. The paper solves a natural problem of harmonic analysis for the big wreath products: our results describe the decomposition of $T_{z_1,\ldots,z_k}$ into irreducible components.
On the minimum number of inversions to make a digraph $k$-(arc-)strong
Published
• View Publication
• BIB
The {\it inversion} of a set $X$ of vertices in a digraph $D$ consists of reversing the direction of all arcs of $D\langle X\rangle$. We study $sinv'_k(D)$ (resp. $sinv_k(D)$) which is the minimum number of inversions needed to transform $D$ into a $k$-arc-strong (resp. $k$-strong) digraph and $sinv'_k(n) = \max\{sinv'_k(D) \mid D~\mbox{is a $2k$-edge-connected digraph of order $n$}\}$. We show :
$(i): \frac{1}{2} \log (n - k+1) \leq sinv'_k(n) \leq \log n + 4k -3$ ;
$(ii):$ for any fixed positive integers $k$ and $t$, deciding whether a given oriented graph $D$ with $sinv'_k(D)<+\infty$ satisfies $sinv'_k(D) \leq t$ is NP-complete;
$(iii):$ for any fixed positive integers $k$ and $t$, deciding whether a given oriented graph $D$ with $sinv_k(D)<+\infty$ satisfies $sinv_k(D) \leq t$ is NP-complete;
$(iv):$ if $T$ is a tournament of order at least $2k+1$, then $sinv'_k(T) \leq sinv_k(T) \leq 2k$, and $sinv'_k(T) \leq \frac{4}{3}k+o(k)$;
$(v):\frac{1}{2}\log(2k+1) \leq sinv'_k(T) \leq sinv_k(T)$ for some tournament $T$ of order $2k+1$;
$(vi):$ if $T$ is a tournament of order at least $19k-2$ (resp. $11k-2$), then $sinv'_k(T) \leq sinv_k(T) \leq 1$ (resp. $sinv_k(T) \leq 3$);
$(vii):$ for every $ε>0$, there exists $C$ such that $sinv'_k(T) \leq sinv_k(T) \leq C$ for every tournament $T$ on at least $2k+1 + εk$ vertices.
Polynomial bounds for chromatic number VIII. Excluding a path and a complete multipartite graph
Published
• View Publication
• BIB
We prove that for every path H, and every integer d, there is a polynomial f such that every graph G with chromatic number greater than f(t) either contains H as an induced subgraph, or contains as a subgraph the complete d-partite graph with parts of cardinality t. For t = 1 and general d this is a classical theorem of Gyárfás, and for d = 2 and general t this is a theorem of Bonamy et al.
On the distribution of eigenvalues in families of Cayley graphs
Published in European J. of Mathematics (2024) Volume 10, article number 49
• View Publication
• BIB
We consider the family of undirected Cayley graphs associated with odd cyclic groups, and study statistics for the eigenvalues in their spectra. Our results are motivated by analogies between arithmetic geometry and graph theory.
Some results on the saturation number for unions of cliques
Published
• View Publication
• BIB
Graph $G$ is $H$-saturated if $H$ is not a subgraph of $G$ and $H$ is a subgraph of $G+e$ for any edge $e$ not in $G$. The saturation number for a graph $H$ is the minimal number of edges in any $H$-saturated graph of order $n$. In this paper, the saturation number for $K_p\cup (t-1)K_q$ ($t\geqslant 3$ and $2\leqslant p<q$) is determined, and the extremal graph for $K_p\cup 2K_q$ is determined. Moreover, the saturation number and the extremal graph for $K_p\cup K_q\cup K_r$ ($ r\geqslant p+q$) are completely determined.
Counting Finite Topologies
Published
• View Publication
• BIB
In this paper we study the number of finite topologies on an $n$-element set subject to various restrictions.
Positive and Negative Square Energies of Graphs
Published in Electron. J. Linear Algebra 39 (2023)
• View Publication
• BIB
The energy of a graph $G$ is the sum of the absolute values of the eigenvalues of the adjacency matrix of $G$. Let $s^+(G), s^-(G)$ denote the sum of the squares of the positive and negative eigenvalues of $G$, respectively. It was conjectured by [Elphick, Farber, Goldberg, Wocjan, Discrete Math. (2016)] that if $G$ is a connected graph of order $n$, then $s^+(G)\geq n-1$ and $s^-(G) \geq n-1$. In this paper, we show partial results towards this conjecture. In particular, numerous structural results that may help in proving the conjecture are derived, including the effect of various graph operations. These are then used to establish the conjecture for several graph classes, including graphs with certain fraction of positive eigenvalues and unicyclic graphs.
On the Homotopy Type of the Polyhedral Join over the Independence Complex of a Forest
Published
• View Publication
• BIB
We consider a certain class of simplicial complexes which includes the independence complexes of forests. We show that if a simplicial complex $K$ belongs to this class, then the polyhedral join $\mathcal{Z}^*_{K}(\underline{X}, \emptyset)$ is homotopy equivalent to a wedge sum of CW complexes of the form $Σ^r X_{i_1} * X_{i_2} * \cdots * X_{i_k}$, where $\underline{X}$ is a family $\{X_i\}_{i \in V(K)}$ of CW complexes and $Σ$ denotes the unreduced suspension. This result is applied to study the homotopy type of the independence complex of the lexicographic product $G[H]$ of a graph $H$ over a forest $G$. We denote by $L_m$ a tree on $m$ vertices with no branches. We show that the geometric realization of the independence complex of $L_m [H]$ is homotopy equivalent to a wedge sum of spheres if $m \neq 2,3$ and the geometric realization of the independence complex of $H$ is homotopy equivalent to a wedge sum of same dimensional spheres.
On regular graphs with Šoltés vertices
Let $W(G)$ be the Wiener index of a graph $G$. We say that a vertex $v \in V(G)$ is a Šoltés vertex in $G$ if $W(G - v) = W(G)$, i.e. the Wiener index does not change if the vertex $v$ is removed. In 1991, Šoltés posed the problem of identifying all connected graphs $G$ with the property that all vertices of $G$ are Šoltés vertices. The only such graph known to this day is $C_{11}$. As the original problem appears to be too challenging, several relaxations were studied: one may look for graphs with at least $k$ Šoltés vertices; or one may look for $α$-Šoltés graphs, i.e. graphs where the ratio between the number of Šoltés vertices and the order of the graph is at least $α$. Note that the original problem is, in fact, to find all $1$-Šoltés graphs. We intuitively believe that every $1$-Šoltés graph has to be regular and has to possess a high degree of symmetry. Therefore, we are interested in regular graphs that contain one or more Šoltés vertices. In this paper, we present several partial results. For every $r\ge 1$ we describe a construction of an infinite family of cubic $2$-connected graphs with at least $2^r$ Šoltés vertices. Moreover, we report that a computer search on publicly available collections of vertex-transitive graphs did not reveal any $1$-Šoltés graph. We are only able to provide examples of large $\frac{1}{3}$-Šoltés graphs that are obtained by truncating certain cubic vertex-transitive graphs. This leads us to believe that no $1$-Šoltés graph other than $C_{11}$ exists.
A topological quantum field theory approach to graph coloring
In this paper, we use a topological quantum field theory (TQFT) to define families of new homology theories of a $2$-dimensional CW complex of a smooth closed surface. The dimensions of these homology groups can be used to count the number of ways that each face of the CW complex can be colored with one of $n$ colors so that no two adjacent faces have the same color. We use these homologies to define new invariants of graphs, give new characterizations of well-known polynomial invariants of graphs, and rephrase and offer new approaches to famous conjectures about graph coloring. In particular, we show that the TQFT has the potential to generate $4$-face colorings of a bridgeless planar graph, leading to a constructive approach to the four color theorem. The TQFT has ramifications for the study of smooth surfaces and provides examples of new types of Frobenius algebras.
A Jump of the Saturation Number in Random Graphs?
Published
• View Publication
• BIB
For graphs $G$ and $F$, the saturation number $\textit{sat}(G,F)$ is the minimum number of edges in an inclusion-maximal $F$-free subgraph of $G$. In 2017, Korándi and Sudakov initiated the study of saturation in random graphs. They showed that for constant $p\in (0,1)$, whp $\textit{sat}\left(G(n,p),K_s\right)=\left(1+o(1)\right)n\log_{\frac{1}{1-p}}n$.
We show that for every graph $F$ and every constant $p\in (0,1)$, whp $\textit{sat}\left(G(n,p), F\right)=O(n\ln n)$. Furthermore, if every edge of $F$ belongs to a triangle, then the above is the right asymptotic order of magnitude, that is, whp $\textit{sat}\left(G(n,p),F\right)=Θ(n\ln n)$. We further show that for a large family of graphs $\mathcal{F}$ with an edge that does not belong to a triangle, which includes all the bipartite graphs, for every $F\in \mathcal{F}$ and constant $p\in(0,1)$, whp $\textit{sat}\left(G(n,p),F\right)=O(n)$. We conjecture that this sharp transition from $O(n)$ to $Θ(n\ln n)$ depends only on this property, that is, that for any graph $F$ with at least one edge that does not belong to a triangle, whp $\textit{sat}\left(G(n,p),F\right)=O(n)$.
We further generalise the result of Korándi and Sudakov, and show that for a more general family of graphs $\mathcal{F}'$, including all complete graphs $K_s$ and all complete multipartite graphs of the form $K_{1,1,s_3,\ldots, s_{\ell}}$, for every $F\in \mathcal{F}'$ and every constant $p\in(0,1)$, whp $\textit{sat}\left(G(n,p),F\right)=\left(1+o(1)\right)n\log_{\frac{1}{1-p}}n$. Finally, we show that for every complete multipartite graph $K_{s_1, s_2, \ldots, s_{\ell}}$ and every $p\in \left[\frac{1}{2},1\right)$, $\textit{sat}\left(G(n,p),K_{s_1,s_2,\ldots,s_{\ell}}\right)=\left(1+o(1)\right)n\log_{\frac{1}{1-p}}n$.
Identifiability of the Rooted Tree Parameter under the Cavender-Farris-Neyman Model with a Molecular Clock
Identifiability of the discrete tree parameter is a key property for phylogenetic models since it is necessary for statistically consistent estimation of the tree from sequence data. Algebraic methods have proven to be very effective at showing that tree and network parameters of phylogenetic models are identifiable, especially when the underlying models are group-based. However, since group-based models are time-reversible, only the unrooted tree topology is identifiable and the location of the root is not. In this note we show that the rooted tree parameter of the Cavender-Farris-Neyman Model with a Molecular Clock is generically identifiable by using the invariants of the model which were characterized by Coons and Sullivant.
Linkages and removable paths avoiding vertices
Published
• View Publication
• BIB
We say that a graph $G$ is $(2,m)$-linked if, for any distinct vertices $a_1,\ldots, a_m, b_1,b_2$ in $G$, there exist vertex disjoint connected subgraphs $A,B$ of $G$ such that $\{a_1, \ldots, a_m\}$ is contained in $A$ and $\{b_1,b_2\}$ is contained in $B$. A fundamental result in structural graph theory is the characterization of $(2,2)$-linked graphs, with different versions obtained independently by Robertson and Chakravarty, Seymour, and Thomassen. It appears to be very difficult to characterize $(2,m)$-linked graphs for $m\ge 3$. In this paper, we provide a partial characterization of $(2,m)$-linked graphs by adding an average degree condition. This implies that $(2m+2)$-connected graphs are $(2,m)$-linked. Moreover, if $G$ is a $(2m+2)$-connected graph and $a_1, \ldots, a_m, b_1,b_2$ are distinct vertices of $G$, then there is a path $P$ in $G$ between $b_1$ and $b_2$ and avoiding $\{a_1, \ldots, a_m\}$ such that $G-P$ is connected, improving a previous connectivity bound of $10m$.
The quantum detection of projectors in finite-dimensional algebras and holography
Published in J. High Energ. Phys. 2023, 191 (2023)
• View Publication
• BIB
We define the computational task of detecting projectors in finite dimensional associative algebras with a combinatorial basis, labelled by representation theory data, using combinatorial central elements in the algebra. In the first example, the projectors belong to the centre of a symmetric group algebra and are labelled by Young diagrams with a fixed number of boxes $n$. We describe a quantum algorithm for the task based on quantum phase estimation (QPE) and obtain estimates of the complexity as a function of $n$. We compare to a classical algorithm related to the projector identification problem by the AdS/CFT correspondence. This gives a concrete proof of concept for classical/quantum comparisons of the complexity of a detection task, based in holographic correspondences. A second example involves projectors labelled by triples of Young diagrams, all having $n$ boxes, with non-vanishing Kronecker coefficient. The task takes as input the projector, and consists of identifying the triple of Young diagrams. In both of the above cases the standard QPE complexities are polynomial in $n$. A third example of quantum projector detection involves projectors labelled by a triple of Young diagrams, with $m,n$ and $m+n$ boxes respectively, such that the associated Littlewood-Richardson coefficient is non-zero. The projector detection task is to identify the triple of Young diagrams associated with the projector which is given as input. This is motivated by a two-matrix model, related via the AdS/CFT correspondence, to systems of strings attached to giant gravitons. The QPE complexity in this case is polynomial in $m$ and $n$.