Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Generating functions of $W_{1+\infty}$ action on symmetric functions
We describe the action of the infinite-dimensional Lie algebra $W_{1+\infty}$ and its B-type analogue on Schur and Schur Q-functions, respectively, using formal distributions framework. We observe an interesting self-duality property possessed by these compact formulas.
Improved lower bounds for the maximum order of an induced acyclic subgraph
Published
• View Publication
• BIB
Computing the cardinality of a maximum induced acyclic vertex set in a digraph is NP-hard. Since finding an exact solution is computationally difficult, a fruitful approach is to establish high-quality lower bounds that are efficiently computable. We build on the Akbari--Ghodrati--Jabalameli--Saghafian (AGJS) bound for digraphs by adapting refinement techniques used by (a) Selkow and Harant--Mohr and (b) Angel--Campigotto--Laforest in their respective improvements of the Caro--Wei bound for undirected graphs. First, inspired by (a), we prove a neighborhood-based refinement of the AGJS bound that incorporates local degree data of each vertex. Second, inspired by (b), we compute the variance of the size of a feedback vertex set returned by a randomized algorithm. This result, combined with the Bhatia--Davis inequality, yields a tighter lower bound than the AGJS bound.
Matroid adjoints and the minimum rank of zero-nonzero matrix patterns
The problem of finding the minimum rank of a matrix with a given zero-nonzero pattern has been generalized to a class of matroids associated to the pattern. The fundamental lower bound known as the triangle number still holds in this generalized setting. But the matroid minimum rank of a pattern need not match that of its transpose.
We associate to each pattern $X$ a lattice $L(X)$. We define the fundamental pattern of a matroid $M$ to be the complement of its hyperplane-point incidence pattern and note that when $X$ is the fundamental pattern of $M$, the lattice of flats of $M$ is $L(X)$. We then prove that, for every pattern $X$, the dual lattice of $L(X)$ is isomorphic to $L(X^T)$.
We show that a matroid $M'$ of the same rank as $M$ is an adjoint of $M$ if and only if $M'$ is associated with the transpose of the fundamental pattern of $M$. Our main result ties together the notion of a matroid adjoint with the phenomenon of a gap between the triangle number $k$ and the matroid minimum rank of a pattern. Namely, we show that, if any matroid of rank $k$ associated with a pattern has an adjoint, then there is no such gap for the pattern's transpose.
We show that the matroid of minimum rank associated with the fundamental pattern is unique. Using this, we prove that the matrix minimum rank of the fundamental pattern of a matroid over different fields depends on the representability of the matroid over those fields. This allows us to recover and improve upon a construction of Berman et al. We also give a smaller example than any previously known of a pattern with a matroid minimum rank smaller than its matrix minimum rank over every field. Finally, we establish that, for the fundamental pattern, a converse holds to our main result. In particular, a matroid with fundamental pattern $X$ has an adjoint if and only if the matroid minimum rank of $X^T$ is equal to its triangle number.
Graphs with asymmetric Ramsey properties
Given positive integers $k$ and $\ell$ we write $G \rightarrow (K_k,K_\ell)$ if every 2-colouring of the edges of $G$ yields a red copy of $K_k$ or a blue copy of $K_\ell$ and we denote by $R(k)$ the minimum $n$ such that $K_n\rightarrow (K_k,K_k)$. By using probabilistic methods and hypergraph containers we prove that for every integer $k \geq 3$, there exists a graph $G$ such that $G \nrightarrow (K_k,K_k)$ and $G \rightarrow (K_{R(k)-1},K_{k-1})$. This result can be viewed as a variation of a classical theorem of Nešetřil and Rödl [The Ramsey property for graphs with forbidden complete subgraphs, Journal of Combinatorial Theory, Series B, 20 (1976), 243-249], who proved that for every integer $k\geq 2$ there exists a graph $G$ with no copies of $K_k$ such that $G\rightarrow(K_{k-1}, K_{k-1})$.
The Formal Context of Saturated Transfer Systems on Finite Abelian Groups
We describe the reduced formal context of the lattice of saturated transfer systems on a finite abelian group. As an application, we compute that there are 13,784,538,270,571 saturated transfer systems on the elementary abelian group $C_5^3$.
A classification of unitals in nearfield planes with maximal automorphism group
We classify the parabolic unitals in regular nearfield planes of odd order $q^2$ whose linear collineation group has the maximal size of $q^3-q$. We also establish a number of more general results concerning parabolic unitals in regular nearfield planes under weaker assumptions.
Commuting graphs and semigroup constructions
The aim of this paper is to see how commuting graphs interact with two semigroup constructions: the zero-union and the direct product. For both semigroup constructions, we investigate the diameter, clique number, girth, chromatic number and knit degree of their commuting graphs and, when possible, we exhibit the relationship between each one of these properties and the corresponding properties of the commuting graphs of the original semigroups.
Triangular gaps in the most frequent sizes of $hA$ for $|A|=4$
We explain the triangular gaps observed experimentally in the most popular sizes of the $h$-fold iterated sumset, $hA,$ when $A$ is a randomly chosen four-element subset of the first $q$ natural numbers, for $q$ much larger than $h.$
AdditiveToricVarieties: A Macaulay2 package for working with additive complete toric varieties
We introduce the AdditiveToricVarieties package for Macaulay2, a software system for algebraic geometry and commutative algebra, with methods for working with additive group actions on complete toric varieties. More precisely, we implement algorithms, based on results by Arzhantsev, Dzhunusov and Romaskevich, to determine whether a complete toric variety admits an action of the commutative unipotent group and whether it is unique or not. We also observe that every smooth complete toric variety of Picard rank two is additive. We apply our methods to the class of smooth Fano toric varieties and notably determine all such varieties of dimension up to 6 admitting an additive action.
Chromatic numbers of rank-two Abelian Cayley graphs
A connected Cayley graph for an Abelian group generated by a finite symmetric subset $S$ can be represented by an integer matrix, its Heuberger matrix. We call the number of columns of that matrix its rank and the number of rows its dimension. Several previous papers have dealt with the question of finding a formula for the chromatic number of an Abelian Cayley graph in terms of an associated Heuberger matrix. In this paper, we fully resolve this matter for all integer matrices of rank $\leq 2$. Prior results provide such formulas when the rank is 1, as well as when the rank is 2 and the dimension is no more than 4. Here, we complete the picture for the rank-two case by showing that when the rank is 2 and the dimension is at least 5, then the chromatic number equals 3 unless the graph has loops (in which case it is uncolorable); the graph is bipartite (in which case the chromatic number is 2); or the matrix has a zero row (in which case, the chromatic number does not change when that row is deleted).
A labeling of the Simplex-Lattice Hypergraph with at most 2 colors on each hyperedge
This paper provides a positive answer to the question of Mirzakhani and Vondrak that asks if there is a Sperner-admissible labeling of the simplex-lattice hypergraph such that each hyperedge uses at most 2 colors.
A partial order on the 240 packings of PG(3,2)
It has long been known that the most symmetrical solutions of Kirkman's Schoolgirl Problem can be constructed from the $240$ packings of the projective space $PG(3, 2)$, but it seems to have escaped notice that these packings have the structure of a partially ordered set. In this paper, we construct a shellable Bruhat-like graded partial order on the packings of $PG(3, 2)$ that refines the partial order on the product of four chains $[8]\times[5]\times[3]\times[2]$ and defines a Lehmer code on the packings. The partial order exists because the packings of $PG(3, 2)$ form a quasiparabolic set (in the sense of Rains--Vazirani) that is in bijective correspondence with a certain collection of maximal orthogonal subsets of the $E_8$ root system. The $E_8$ construction also induces transitive actions of the Weyl groups of type $D_n$ on the packings for $5 \leq n \leq 8$, and these actions are faithful for $n < 8$. It is possible to define both the signed permutation action and the partial order using the combinatorics of labelled Fano planes.
Ramsey numbers of grid graphs
Let the grid graph $G_{M\times N}$ denote the Cartesian product $K_M \square K_N$. For a fixed subgraph $H$ of a grid, we study the off-diagonal Ramsey number $\operatorname{gr}(H, K_k)$, which is the smallest $N$ such that any red/blue edge coloring of $G_{N\times N}$ contains either a red copy of $H$ (a copy must preserve each edge's horizontal/vertical orientation), or a blue copy of $K_k$ contained inside a single row or column. Conlon, Fox, Mubayi, Suk, Verstraëte, and the first author recently showed that such grid Ramsey numbers are closely related to off-diagonal Ramsey numbers of bipartite $3$-uniform hypergraphs, and proved that $2^{Ω(\log ^2 k)} \le \operatorname{gr}(G_{2\times 2}, K_k) \le 2^{O(k^{2/3}\log k)}$. We prove that the square $G_{2\times 2}$ is exceptional in this regard, by showing that $\operatorname{gr}(C,K_k) = k^{O_C(1)}$ for any cycle $C \ne G_{2\times 2}$. We also obtain that a larger class of grid subgraphs $H$ obtained via a recursive blowup procedure satisfies $\operatorname{gr}(H,K_k) = k^{O_H(1)}$. Finally, we show that conditional on the multicolor Erdős-Hajnal conjecture, $\operatorname{gr}(H,K_k) = k^{O_H(1)}$ for any $H$ with two rows that does not contain $G_{2\times 2}$.
A curiously slowly mixing Markov chain
We study a Markov chain with very different mixing rates depending on how mixing is measured. The chain is the "Burnside process on the hypercube $C_2^n$." Started at the all-zeros state, it mixes in a bounded number of steps, no matter how large $n$ is, in $\ell^1$ and in $\ell^2$. And started at general $x$, it mixes in at most $\log n$ steps in $\ell^1$. But, in $\ell^2$, it takes $\frac{n}{\log n}$ steps for most starting $x$. The $\ell^2$ mixing results follow from an explicit diagonalization of the Markov chain into binomial-coefficient-valued eigenvectors.
On the enumeration of connected sets in finite cylindrical lattice graphs
A connected set in a graph is a non-empty set of vertices that induces a connected subgraph. In an infinite lattice, a connected set is often referred to as a lattice animal, whose enumeration up to isomorphism is a classical problem in both combinatorics and statistical physics. In this paper, we focus on the enumeration of connected sets in finite lattice graphs, providing a link between combinatorial counting and structural connectivity in the system.
For any positive integers $m,n$, let $N(P_m\times P_n)$ and $N(C_m\times P_n)$ denote the number of all connected sets in the $(m\times n)$-lattice graph $P_m\times P_n$ and $(m\times n)$-cylindrical lattice graph $C_m\times P_n $, respectively. In 2020, Vince derived enumeration formulas for $N(P_m\times P_2)$ and $N(C_m\times P_2)$, and highlighted the increasing difficulty of extending these calculation results to larger (cylindrical) lattice graphs. Recently, the authors of this paper have developed a method based on multi-step recurrence formulas to obtain the enumeration formula for $N(P_m\times P_n)$ with $m\le 4$. In this article, we apply a similar approach to derive the enumeration formula for $N(C_m\times P_n)$ with $m\le 7$. Further, for the general case, we establish an explicit and tight lower bound on the number of connected sets in the Cartesian product graph $G\times P_n $ for any connected graph $G$, by employing the transfer matrix method on a subclass of connected sets. Based on this, we perform an asymptotic analysis on several lattice graphs and show that $O(N(P_3\times P_n))=1.6694^{3n}$, $O(N(C_4\times P_n))=1.8014^{4n}$, and $O(N(C_5\times P_n))=1.7877^{5n}$.
Reliability evaluation of Cayley graph generated by unicyclic graphs based on cyclic fault pattern
Graph connectivity serves as a fundamental metric for evaluating the reliability and fault tolerance of interconnection networks. To more precisely characterize network robustness, the concept of cyclic connectivity has been introduced, requiring that there are at least two components containing cycles after removing the vertex set. This property ensures the preservation of essential cyclic communication structures under faulty conditions. Cayley graphs exhibit several ideal properties for interconnection networks, which permits identical routing protocols at all vertices, facilitates recursive constructions, and ensures operational robustness. In this paper, we investigate the cyclic connectivity of Cayley graphs generated by unicyclic triangle free graphs. Given an symmetric group $Sym(n)$ on $\left\{ 1,2,\dots,n\right\}$ and a set $\mathcal{T}$ of transpositions of $Sym(n)$. Let $G(\mathcal{T})$ be the graph on vertex set $\left\{ 1,2,\dots,n\right\}$ and edge set $\left\{ij\colon(ij)\in \mathcal{T}\right\}$. If $G(\mathcal{T})$ is a unicyclic triangle free graphs, then denoted the Cayley graph Cay$(Sym(n),\mathcal{T})$ by $UG_{n}$. As a result, we determine the exact value of cyclic connectivity of $UG_{n}$ as $κ_{c}(UG_{n})=4n-8$ for $n\ge 4 $.
Exact Turán numbers of two vertex-disjoint paths
The Turán number of a graph $H$ is the maximum number of edges in any graph of order $n$ that does not contain $H$ as a subgraph. In 1959, Erd\H os and Gallai obtained a sharp upper bound of Turán numbers for a path of arbitrary length. In 1975, Faudree and Schelp, and independently in 1977, Kopylov determined the exact values of Turán numbers of paths with arbitrary length. In this paper, we determine the Turán number of two vertex-disjoint paths of odd order at least 4. Together with previous works, we determine the exact Turán numbers of two vertex-disjoint paths completely. This confirms the first $k=2$ case of a conjecture proposed by Yuan and Zhang in 2021, which generalizes the Turán number formula of paths due to Faudree-Schelp, and Kopylov in a broader setting. Our main tools include a refinement of Pósa's rotation lemma, a stability result of Kopylov's theorem on cycles, and a recent inequality on circumference, minimum degree, and clique number of a 2-connected graph.
On acyclic b-chromatic number of cubic graphs
Let $G$ be a graph. An acyclic $k$-coloring of $G$ is a map $c:V(G)\rightarrow \{1,\dots,k\}$ such that $c(u)\neq c(v)$ for any $uv\in E(G)$ and the subgraph induced by the vertices of any two colors $i,j\in \{1,\dots,k\}$ is a forest. If every vertex $v$ of a color class $V_i$ misses a color $\ell_v\in\{1,\dots,k\}$ in its closed neighborhood, then every $v\in V_i$ can be recolored with $\ell_v$ and we obtain a $(k-1)$-coloring of $G$. If a new coloring $c'$ is also acyclic, then such a recoloring is an acyclic recoloring step and $c'$ is in relation $\triangleleft_a$ with $c$. The acyclic b-chromatic number $A_b(G)$ of $G$ is the maximum number of colors in an acyclic coloring where no acyclic recoloring step is possible. Equivalently, it is the maximum number of colors in a minimum element of the transitive closure of $\triangleleft_a$. In this paper, we consider $A_b(G)$ of cubic graphs.
On the directed normalizing graph associated with a group
In this paper we investigate the $directed$ $normalizing$ $graph$ associated with a group $G$, defined as the simple directed graph whose vertices are the elements of $G$, with an arrow from $x$ to $y$ whenever the subgroup $\langle x \rangle$ is normal in $\langle x, y \rangle$. Our analysis focuses on the set of bidirectional universal vertices and, in particular, on the induced subgraph obtained by removing them, where the most interesting connectivity phenomena occur. We characterize the groups for which this induced subgraph is strongly connected and determine bounds for its diameter. Finally, we show how properties of this graph reflect algebraic features of the underlying group.
On removable edge subsets in graphs with a nowhere-zero $4$-flow
A set $R\subseteq E(G)$ of a graph $G$ is $k$-removable if $G-R$ has a nowhere-zero $k$-flow. We prove that every graph $G$ admitting a nowhere-zero $4$-flow has a $3$-removable subset consisting of at most $\frac{1}{6}|E(G)|$ edges. This gives a positive answer to a conjecture of M. DeVos, J. McDonald, I. Pivotto, E. Rollová and R. Šámal [$3$-Flows with large support, J. Comb. Theory Ser. B 144 (2020), 32-80] in the case of graphs admitting a nowhere-zero $4$-flow.
Moreover, Hoffmann-Ostenhof recently conjectured that every cubic graph with a nowhere-zero $4$-flow has a $4$-removable edge. Bipartite cubic graphs verify this conjecture. Our result gives an approximation for Hoffmann-Ostenhof's Conjecture in the non-bipartite case.
Finally, for cubic graphs, our result implies that every $3$-edge-colorable cubic graph $G$ contains a subgraph $H$ whose connected components are either cycles or subdivisions of bipartite cubic graphs, such that $|E(H)|\ge \frac{5}{6}|E(G)|$.