Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Splicing positroid varieties
Published
• View Publication
• BIB
We construct an explicit isomorphism between an open subset in the open positroid variety $Π_{k,n}^{\circ}$ in the Grassmannian $\mathrm{Gr}(k,n)$ and the product of two open positroid varieties $Π_{k,n-a+1}^{\circ}\times Π_{k,a+k-1}^{\circ}$. In the respective cluster structures, this isomorphism is given by freezing a certain subset of cluster variables and applying a cluster quasi-equivalence.
The generalized 4-connectivity of godan graphs
The generalized $k$-connectivity of a graph $G$, denoted by $κ_k(G)$, is the minimum number of internally edge disjoint $S$-trees for any $S\subseteq V(G)$ and $|S|=k$. The generalized $k$-connectivity is a natural extension of the classical connectivity and plays a key role in applications related to the modern interconnection networks. The godan graph $EA_n$ is a kind of Cayley graphs which posses many desirable properties. In this paper, we shall study the generalized 4-connectivity of $EA_n$ and show that $κ_4(EA_n)=n-1$ for $n\ge 3$.
Clonal cores and flexipaths in matroids
Published
• View Publication
• BIB
A partitioned matroid $(M, \{X_1,X_2,\dots,X_n\})$ consists of a matroid $M$ and a partition $\{X_1,X_2,\dots,X_n\}$ of its ground set. As such structures arise frequently in structural matroid theory, this paper introduces a general technique for analyzing those special properties of partitioned matroids that depend solely on the values of the connectivities $λ(X_i)$, the local connectivities $\sqcap(\cup_{j\in J}X_j, \cup_{k\in K}X_k,)$, and the dual local connectivities $\sqcap^*(\cup_{h\in H}X_h, \cup_{g\in G}X_g)$. In particular, we consider those partitioned matroids in which each $X_i$ is an independent, coindependent set of clones of cardinality $λ(X_i)$. Calling such partitioned matroids clonal-core matroids, we show that special results of the above type for partitioned matroids can be verified in general by proving them just for clonal-core matroids. Aiming at the long-term goal of finding the unavoidable minors of $4$-connected matroids, we illustrate this technique by studying $4$-paths. These are sequences $(L,P_1,P_2,\ldots, P_n,R)$ of sets that partition the ground set of a matroid so that the union of any proper initial segment of parts is $4$-separating. Viewing the ends $L$ and $R$ as fixed, we call such a partition a $4$-flexipath if $(L,Q_1,Q_2,\ldots, Q_n,R)$ is a $4$-path for all permutations $(Q_1,Q_2,\ldots, Q_n)$ of $(P_1,P_2,\ldots, P_n)$. A straightforward simplification enables us to focus on $(4,c)$-flexipaths for some $c$ in $\{1,2,3\}$, that is, those $4$-flexipaths for which $λ(Q_i) = c$ and $λ(Q_i \cup Q_j) > c$ for all distinct $i$ and $j$. Our main result for $4$-paths is that the only non-trivial case that arises here is when $c=2$. In that case, there are essentially only two possible dual pairs of $(4,c)$-flexipaths when $n \ge 5$.
Tropical hyperplane arrangements and combinatorial mutations of the matching field polytopes of Grassmannians
Published
• View Publication
• BIB
A sequence of combinatorial mutations of matching field polytopes preserves the property of giving rise to a toric degeneration of Grassmannians. In this paper, we find a way to check that two matching field polytopes are combinatorial mutation equivalence using tropical hyperplane arrangements, ``literally at a glance". Our way can prove that block diagonal matching fields are combinatorial mutations equivalent to diagonal matching fields. This is one of main results in \cite{clarke2021combinatorial}. Our result can be regarded as a generalization of that result.
Connectoids II: existence of normal trees
In this series, we introduce and investigate the concept of connectoids, which captures the connectivity structure of various discrete objects such as undirected graphs, directed graphs, bidirected graphs, hypergraphs and finitary matroids. In the first paper, we developed a universal end space theory based on connectoids that unifies the existing end spaces of undirected and directed graphs. In this paper, we establish normal trees of connectoids as a natural generalisation of normal trees of undirected graphs, which are one of the most important tools in infinite graph theory. More precisely, we show that the existence of normal trees of connectoids can be characterised in the same way as for normal trees of undirected graphs: We extend Jung's famous characterisation via dispersed sets to connectoids, and prove that normal spanning trees exist if they exist in some neighbourhood of each end. Furthermore, we show that a connectoid has a normal spanning tree if and only if its groundset can be well-ordered in a certain way, called countable separation number.
Sharing tea on a graph
Motivated by the analysis of consensus formation in the Deffuant model for social interaction, we consider the following procedure on a graph $G$. Initially, there is one unit of tea at a fixed vertex $r \in V(G)$, and all other vertices have no tea. At any time in the procedure, we can choose a connected subset of vertices $T$ and equalize the amount of tea among vertices in $T$. We prove that if $x \in V(G)$ is at distance $d$ from $r$, then $x$ will have at most $\frac{1}{d+1}$ units of tea during any step of the procedure. This bound is best possible and answers a question of Gantert.
We also consider arbitrary initial weight distributions. For every finite graph $G$ and $w \in \mathbb{R}_{\geq 0}^{V(G)}$, we prove that the set of weight distributions reachable from $w$ is a compact subset of $\mathbb{R}_{\geq 0}^{V(G)}$.
Embedding clique subdivisions via crux
Published
• View Publication
• BIB
For a graph $G$ and a constant $α>0$, we denote by $C_α(G)$ the minimum order of a subgraph $H\subseteq G$ with $d(H)\ge αd(G)$. Liu and Montgomery conjectured that every graph $G$ contains $K_{Ω(t)}$ as a subdivision for $t=\min \{d(G), \sqrt{\tfrac{C_α(G)}{\log C_α(G)}}\}$. In the paper, we prove this conjecture.
Planar cycle-extendable graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:2, Graph Theory (May 13, 2025) dmtcs:13929
• View Publication
• BIB
For most problems pertaining to perfect matchings, one may restrict attention to matching covered graphs - that is, connected nontrivial graphs with the property that each edge belongs to some perfect matching. There is extensive literature on these graphs that are also known as 1-extendable graphs (since each edge extends to a perfect matching) including an ear decomposition theorem due to Lovász and Plummer.
A cycle $C$ of a graph $G$ is conformal if $G-V(C)$ has a perfect matching; such cycles play an important role in the study of perfect matchings, especially when investigating the Pfaffian orientation problem. A matching covered graph $G$ is cycle-extendable if - for each even cycle $C$ - the cycle $C$ is conformal, or equivalently, each perfect matching of $C$ extends to a perfect matching of $G$, or equivalently, $C$ is the symmetric difference of two perfect matchings of $G$, or equivalently, $C$ extends to an ear decomposition of $G$. In the literature, these are also known as cycle-nice or as 1-cycle resonant graphs.
Zhang, Wang, Yuan, Ng and Cheng, 2022, provided a characterization of claw-free cycle-extendable graphs. Guo and Zhang, 2004, and independently Zhang and Li, 2012, provided characterizations of bipartite planar cycle-extendable graphs. In this paper, we establish a characterization of all planar cycle-extendable graphs - in terms of $K_2$ and four infinite families.
A tame vs. feral dichotomy for graph classes excluding an induced minor or induced topological minor
A minimal separator in a graph is an inclusion-minimal set of vertices that separates some fixed pair of nonadjacent vertices. A graph class is said to be tame if there exists a polynomial upper bound for the number of minimal separators of every graph in the class, and feral if it contains arbitrarily large graphs with exponentially many minimal separators. Building on recent works of Gartland and Lokshtanov [SODA 2023] and Gajarský, Jaffke, Lima, Novotná, Pilipczuk, Rzążewski, and Souza [arXiv, 2022], we show that every graph class defined by a single forbidden induced minor or induced topological minor is either tame or feral, and classify the two cases. This leads to new graph classes in which Maximum Weight Independent Set and many other problems are solvable in polynomial time. We complement the classification results with polynomial-time recognition algorithms for the maximal tame graph classes appearing in the obtained classifications.
Positivity and universal Plücker coordinates for spaces of quasi-exponentials
Published
• View Publication
• BIB
A quasi-exponential is an entire function of the form $e^{cu}p(u)$, where $p(u)$ is a polynomial and $c \in \mathbb{C}$. Let $V = \langle e^{h_1u}p_1(u), \dots, e^{h_Nu}p_N(u) \rangle$ be a vector space with a basis of quasi-exponentials. We show that if $h_1, \dots, h_N$ are nonnegative and all of the complex zeros of the Wronskian $\operatorname{Wr}(V)$ are real, then $V$ is totally nonnegative in the sense that all of its Grassmann-Plücker coordinates defined by the Taylor expansion about $u=t$ are nonnegative, for any real $t$ greater than all of the zeros of $\operatorname{Wr}(V)$. Our proof proceeds by showing that the higher Gaudin Hamiltonians $T_λ^G(t)$ introduced in [ALTZ14] are universal Plücker coordinates about $u=t$ for the Wronski map on spaces of quasi-exponentials. The result that $V$ is totally nonnegative follows from the fact that $T_λ^G(t)$ is positive semidefinite, which we establish using partial traces. We also show that if $h_1 = \cdots = h_N = 0$ then $T_λ^G(t)$ equals $β^λ(t)$, which is the universal Plücker coordinate for the Wronski map on spaces of polynomials introduced in [KP23].
Embedding Nearly Spanning Trees
Published
• View Publication
• BIB
The Erdős-Sós Conjecture states that every graph with average degree exceeding $k-1$ contains every tree with $k$ edges as a subgraph. We prove that there are $δ>0$ and $k_0\in\mathbb N$ such that the conjecture holds for every tree $T$ with $k \ge k_0$ edges and every graph $G$ with $|V(G)| \le (1+δ)|V(T)|$.
A skew Specht perspective of RoCK blocks and cuspidal systems for KLR algebras in affine type A
Published
• View Publication
• BIB
Cuspidal systems parameterize KLR algebra representations via root partitions $π$, where simple modules $L(π)$ arise as heads of proper standard modules. Working in affine type A with an arbitrary convex preorder, we construct explicit skew diagrams $ζ(π)$ such that the skew Specht module $S^{ζ(π)}$ has simple head $L(π)$ and a filtration by proper standard modules. A key ingredient in this construction is the development of `core-truncation' functors, which take module categories of level one RoCK blocks to the category of imaginary semicuspidal KLR modules. Every simple imaginary semicuspidal module arises in the image of these functors. This result stems from an in-depth study of the combinatorial interplay between cuspidal systems and RoCK cyclotomic KLR algebras, in which we characterize core blocks and RoCK blocks in arbitrary level via cuspidal tiling properties of multipartitions in these blocks.
On the path ideals of chordal graphs
Published in Journal of Algebraic Combinatorics, 62(27), 2025
• View Publication
• BIB
In this article, we give combinatorial formulas for the regularity and the projective dimension of $3$-path ideals of chordal graphs, extending the well-known formulas for the edge ideals of chordal graphs given in terms of the induced matching number and the big height, respectively. As a consequence, we get that the $3$-path ideal of a chordal graph is Cohen-Macaulay if and only if it is unmixed. Additionally, we show that the Alexander dual of the $3$-path ideal of a tree is vertex splittable, thereby resolving the $t=3$ case of a recent conjecture in [Internat. J. Algebra Comput., 33(3):481--498, 2023]. Also, we give examples of chordal graphs where the duals of their $t$-path ideals are not vertex splittable for $t\ge 3$. Furthermore, we extend the formula of the regularity of $3$-path ideals of chordal graphs to all $t$-path ideals of caterpillar graphs. We then provide some families of graphs to show that these formulas for the regularity and the projective dimension cannot be extended to higher $t$-path ideals of chordal graphs (even in the case of trees).
Generalized Ramsey numbers of cycles, paths, and hypergraphs
Published
• View Publication
• BIB
Given a $k$-uniform hypergraph $G$ and a set of $k$-uniform hypergraphs $\mathcal{H}$, the generalized Ramsey number $f(G,\mathcal{H},q)$ is the minimum number of colors needed to edge-color $G$ so that every copy of every hypergraph $H\in \mathcal{H}$ in $G$ receives at least $q$ different colors. In this note we obtain bounds, some asymptotically sharp, on several generalized Ramsey numbers, when $G=K_n$ or $G=K_{n,n}$ and $\mathcal{H}$ is a set of cycles or paths, and when $G=K_n^k$ and $\mathcal{H}$ contains a clique on $k+2$ vertices or a tight cycle.
Weighted Schreier-type Sets and the Fibonacci Sequence
Published
• View Publication
• BIB
For a finite set $A\subset\mathbb{N}$ and $k\in \mathbb{N}$, let $ω_k(A) = \sum_{i\in A, i\neq k}1$. For each $n\in \mathbb{N}$, define $$a_{k, n}\ =\ |\{E\subset \mathbb{N}\,:\, E = \emptyset\mbox{ or } ω_k(E) < \min E\leqslant \max E\leqslant n\}|.$$ First, we prove that $$a_{k,k+\ell} \ =\ 2F_{k+\ell},\mbox{ for all }\ell\geqslant 0\mbox{ and }k\geqslant \ell+2,$$ where $F_n$ is the $n$th Fibonacci number. Second, we show that $$|\{E\subset \mathbb{N}\,:\, \max E = n+1, \min E > ω_{2,3}(E), \mbox{ and }|E|\neq 2\}|\ =\ F_{n},$$ where $ω_{2,3}(E) = \sum_{i\in E, i\neq 2, 3}1$.
Putatively optimal projective spherical designs with little apparent symmetry
Published in Journal of Combinatorial Designs (2025)
• View Publication
• BIB
We give some new explicit examples of putatively optimal projective spherical designs. i.e., ones for which there is numerical evidence that they are of minimal size. These form continuous families, and so have little apparent symmetry in general, which requires the introduction of new techniques for their construction. New examples of interest include an 11-point spherical (3, 3)-design for R 3 , and a 12-point spherical (2, 2)-design for R 4 given by four Mercedes-Benz frames that lie on equi-isoclinic planes. We also give results of an extensive numerical study to determine the nature of the real algebraic variety of optimal projective real spherical designs, and in particular when it is a single point (a unique design) or corresponds to an infinite family of designs.
Oriented or signed Cayley graphs with all eigenvalues integer multiples of $\sqrtΔ$
Let $G$ be a finite abelian group. Bridges and Mena characterized the Cayley graphs of $G$ that have only integer eigenvalues. Here we consider the $(0,1,-1)$ adjacency matrix of an oriented Cayley graph or of a signed Cayley graph $X$ on $G$. We give a characterization of when all the eigenvalues of $X$ are integer multiples of $\sqrtΔ$ for some square-free integer $Δ$. These are exactly the oriented or signed Cayley graphs on which the continuous quantum walks are periodic, a necessary condition for walks on such graphs to admit perfect state transfer. This also has applications in the study of uniform mixing on oriented Cayley graphs, as the occurrence of local uniform mixing at vertex $a$ in an oriented graph $X$ implies periodicity of the walk at $a$. We give examples of oriented Cayley graphs which admit uniform mixing or multiple state transfer.
The Boolean polynomial polytope with multiple choice constraints
We consider a class of $0$-$1$ polynomial programming termed multiple choice polynomial programming (MCPP) where the constraint requires exact one component per subset of the partition to be $1$ after all the entries are partitioned. Compared to the unconstrained counterpart, there are few polyhedral studies of MCPP in general form. This paper serves as the first attempt to propose a polytope associated with a hypergraph to study MCPP, which is the convex hull of $0$-$1$ vectors satisfying multiple choice constraints and production constraints. With the help of the decomposability property, we obtain an explicit half-space representation of the MCPP polytope when the underlying hypergraph is $α$-acyclic by induction on the number of hyperedges, which is an analogy of the acyclicity results on the multilinear polytope by Del Pia and Khajavirad (SIAM J Optim 28 (2018) 1049) when the hypergraph is $γ$-acyclic. We also present a necessary and sufficient condition for the inequalities lifted from the facet-inducing ones for the multilinear polytope to be still facet-inducing for the MCPP polytope. This result covers the particular cases by Bärmann, Martin and Schneider (SIAM J Optim 33 (2023) 2909).
$t$-Balanced Codes with the Kendall-$τ$ Metric
We investigate the maximum cardinality and the mathematical structure of error-correcting codes endowed with the Kendall-$τ$ metric. We establish an averaging bound for the cardinality of a code with prescribed minimum distance, discuss its sharpness, and characterize codes attaining it. This leads to introducing the family of $t$-balanced codes in the Kendall-$τ$ metric. The results are based on novel arguments that shed new light on the structure of the Kendall-$τ$ metric space.
A Language-Theoretic Approach to the Heapability of Signed Permutations
Published in Proceedings of the Prague Stringology Club (PSC 2024)
• Search Publication
We investigate a signed version of the Hammersley process, a discrete process on words related to a property of integer sequences called heapability (Byers et al., ANALCO 2011). The specific version that we investigate corresponds to a version of this property for signed sequences.
We give a characterization of the words that can appear as images the signed Hammersley process. In particular we show that the language of such words is the intersection of two deterministic one-counter languages.