Showing 20 papers (Total: 83342 papers, 48132 authors in database)
On a class of toric manifolds arising from simplicial complexes
Given an arbitrary abstract simplicial complex $K$ on $[m]:=\{1,2,\ldots,m\}$, different from the simplex $Δ_{[m]}$ with $m$ vertices, we introduce and study a canonical $(2m-2)$-dimensional toric manifold $X_K$, associated to the canonical $(m-1)$-dimensional complete regular fan $Σ_K$. This construction yields an infinite family of toric manifolds that are not quasitoric and provides a topological proof of the Dehn-Sommerville relations for the associated Bier sphere $\mathrm{Bier}(K)$. Finally, we prove a criterion for orientability of canonical real toric manifolds.
Standard posets and integral weight bases for symmetric powers of minuscule representations
This paper extends our earlier work where we constructed ``minuscule'' representations of Kac--Moody algebras from colored posets in a way that maintains key properties of the well-known minuscule representations of simple Lie algebras. In this paper we work only with finite posets. We define standard posets here as ones that can be used to construct weight bases of $m^\text{th}$ symmetric powers ($m \ge 1$) of these minuscule Kac--Moody representations over the integers in a certain fashion. Our main result is to show that our ``$Γ$-colored $d$-complete'' and ``$Γ$-colored minuscule'' posets are standard. When the algebra at hand is a simply laced simple Lie algebra and the representation minuscule in the classic sense (i.e. isomorphic to irreducible $V(λ)$ for minuscule highest weight $λ$), our result produces a concrete combinatorially described weight basis for the irreducible representation $V(mλ)$ that is indexed in a natural fashion by $m$-multichains in the weight lattice for $V(λ)$. C.S. Seshadri first showed such an indexing of a basis is possible. Our work here is entirely combinatorial and does not use results or techniques from algebraic geometry. Constructions in this paper are independent of Lie type and actions of Kac--Moody algebra elements on basis vectors are effectively specified.
Non-exchangeable mean-field theory for adaptive weights: propagation of dissociatedness and graphon sampling lemma
We develop a mean-field theory for large, non-exchangeable particle (agent) systems where the states and interaction weights co-evolve in a coupled system of SDEs. A first main result is the establishment of the propagation of dissociatedness, a conceptual generalization of the classical propagation of chaos that accommodates the intrinsic local correlations between particles and their weights. The limiting McKean-Vlasov process is characterized by an Aldous-Hoover representation on a filtered probability space, beyond the standard one-particle law (or a family thereof). Paralleling the classical equivalence between propagation of chaos and the convergence of empirical measures to the one-particle law, we show that the propagation of dissociatedness corresponds to the convergence of the empirical structure under a distance unifying the Wasserstein distance for particles and the cut distance for weights. This quantitative stability is grounded in an adaptation of the sampling lemma from dense graph theory, analogous to the classical concentration results for empirical measures in the Wasserstein distance.
Brick-splitting Torsion Pairs and Left Modularity
We introduce the notion of brick-splitting torsion pairs as a modern analogue and generalization of the classical notion of splitting torsion pairs. A torsion pair is called brick-splitting if any given brick is either torsion or torsion-free with respect to that torsion pair. After giving some properties of these pairs, we fully characterize them in terms of some lattice-theoretical properties, including left modularity. This leads to the notion of brick-directed algebras, which are those for which there does not exist any cycle of non-zero non-isomorphisms between bricks. This class of algebras is a novel generalization of representation-directed algebras. We show that brick-directed algebras have many interesting properties and give several characterizations of them. In particular, we prove that a brick-finite algebra is brick-directed if and only if the lattice of torsion classes is left modular (or equivalently, extremal). We also give a characterization of brick-directed algebras in terms of their wall-and-chamber structure, as well as of a certain Newton polytope associated to them. Moreover, we introduce an explicit construction of an abundance of brick-directed algebras, both of the tame and wild representation types.
Largest dyadic dual VC-dimension of non-piercing families
The dyadic dual VC-dimension of a set system \( \mathcal{F} \) is the largest integer \( \ell \) such that there exist \( \ell \) sets \( F_1, F_{2}, \dots, F_\ell \in \mathcal{F} \), where every pair \( \{i, j\} \in \binom{[\ell]}{2} \) is witnessed by an element \( a_{i,j} \in F_i \cap F_j \) that does not belong to any other set \( F_k \) with \( k \in [\ell] \setminus \{i, j\} \). In this paper, we determine the largest dyadic dual VC-dimension of a non-piercing family is exactly $4$, providing a rare example where the maximum of this parameter can be determined for a natural family arising from geometry. As an application, we give a short and direct proof that the transversal number \( τ(\mathcal{F}) \) of any non-piercing family is at most \(Cν(\mathcal{F})^9 \), where \( ν(\mathcal{F}) \) is the matching number and $C$ is a constant. This improves a recent result of Pálvölgyi and Zólomy.
Counting homomorphisms in antiferromagnetic graphs via Lorentzian polynomials
An edge-weighted graph $G$, possibly with loops, is said to be antiferromagnetic if it has nonnegative weights and at most one positive eigenvalue, counting multiplicities. The number of graph homomorphisms from a graph $H$ to an antiferromagnetic graph $G$ generalises various important parameters in graph theory, including the number of independent sets and proper vertex-colourings, as well as their relaxations in statistical physics.
We obtain homomorphism inequalities for various graphs $H$ and antiferromagnetic graphs~$G$ of the form \[ \lvert\operatorname{Hom}(H,G)\rvert^2 \leq \lvert\operatorname{Hom}(H\times K_2,G)\rvert, \] where $H\times K_2$ denotes the tensor product of $H$ and $K_2$. Firstly, we show that the inequality holds for any $H$ obtained by blowing up vertices of a bipartite graph into complete graphs and any antiferromagnetic $G$. In particular, one can take $H=K_{d+1}$, which already implies a new result for the Sah--Sawhney--Stoner--Zhao conjecture on the maximum number of $d$-regular graphs in antiferromagnetic graphs. Secondly, the inequality also holds for $G=K_q$ and those $H$ obtained by blowing up vertices of a bipartite graph into complete multipartite graphs, paths or even cycles.
Both results can be seen as the first progress towards Zhao's conjecture on $q$-colourings, which states that the inequality holds for any $H$ and $G=K_q$, after his own work. Our method leverages on the emerging theory of Lorentzian polynomials due to Brändén and Huh and log-concavity of the list colourings of bipartite graphs, which may be of independent interest.
Sums of Schubert structure constants with bounded Coxeter length
Published
• View Publication
• BIB
Pak-Robichaux recently introduced a signed puzzle rule for Schubert structure constants, which they use to show that sums $γ_k(n)$ of these constants with a bounded number of inversions are polynomial. We give a different, conceptual proof of their theorem. Our argument computes the lead term of $γ_k(n)$ and extends to all classical Lie types.
A quasi-tree expansion for the surface Tutte polynomial
Published
• View Publication
• BIB
The surface Tutte polynomial has recently been generalised to pseudo-surfaces equipping it with recursive deletion-contraction relations. We use these relations to show that this generalisation naturally possesses a quasi-tree expansion. This extends quasi-tree expansions of the Bollobás-Riordan, Las Vergnas and Krushkal polynomials, which we recover from our main result.
Careful synchronisation and the diameter of transformation semigroups with few generators
A word is called carefully synchronising for a partial deterministic finite semi-automaton if it maps all states to the same state. Equivalently, it is a composition of partial transformations equal to a constant total transformation. There is a sequence of several papers providing stronger and stronger lower bounds on the length of shortest carefully synchronising words for $n$-state partial DFAs over small alphabets. It resulted in the lower bounds of $Ω(\frac{2^{n/3}}{n\sqrt{n}})$ and $Ω(\frac{4^{n/5}}{n})$ for alphabets of two and three letters respectively, obtained by de Bondt, Don, and Zantema. Using a significantly simpler construction, we improve these lower bounds to $2^{(n - 4)/3}$ and $4^{(n - 4)/5}$ respectively.
We then consider a tightly related question of the diameter of a partial DFA, which is the smallest $\ell \ge 0$ such that words of length at most $\ell$ express all the transformations induced by words in this DFA. We show that an alphabet of large enough constant size already asymptotically matches the upper bound on the diameter for arbitrary alphabet size, extending the construction of Panteleev that requires an alphabet of size exponential in the number of states. We then discuss an application to the diameter of finite semigroups of nonnegative matrices, and some open problems.
Distinguishing symmetric digraphs by proper arc-colourings of type I
Published
• View Publication
• BIB
A symmetric digraph $\overleftrightarrow{G}$ is obtained from a simple graph $G$ by replacing each edge $uv$ with a pair of opposite arcs $\vec{uv}$, $\overrightarrow{vu}$. An arc-colouring $c$ of a digraph $\overleftrightarrow{G}$ is distinguishing if the only automorphism of $\overleftrightarrow{G}$ preserving the colouring $c$ is the identity. Behzad introduced the proper arc-colouring of type I as an arc-colouring such that any two consecutive arcs $\overrightarrow{uv}$, $\overrightarrow{vw}$ have distinct colours. We establish an optimal upper bound $\lceil 2\sqrt{Δ(G)}\rceil$ for the least number of colours in a distinguishing proper colouring of type I of a connected symmetric digraph $\overleftrightarrow{G}$. Furthermore, we prove that the same upper bound $\lceil 2\sqrt{Δ(G)}\rceil$ is optimal for another type of proper colouring of $\overleftrightarrow{G}$, when only monochromatic 2-paths are forbidden.
Separating edges by linearly many subdivisions
Published
• View Publication
• BIB
We prove that for any two graphs $G$ and $H$, the edges of $G$ can be strongly separated by a collection of linearly many subdivisions of $H$ and single edges. This confirms a conjecture of Botler and Naia.
Hamilton cycles in tough $(2P_2 \cup P_1)$-free graphs
Published
• View Publication
• BIB
In 1973, Chvátal conjectured that there exists a constant $t_0$ such that every $t_0$-tough graph on at least three vertices is Hamiltonian. While this conjecture is still open, work has been done to confirm it for several graph classes, including all $F$-free graphs for every 5-vertex linear forest $F$ other than $P_5$ and $2P_2\cup P_1$. In this note, we show that 11-tough $(2P_2 \cup P_1)$-free graphs on at least three vertices are Hamiltonian.
Undecidability of Translational Tiling of the Plane with Orthogonally Convex Polyominoes
The first undecidability result on the tiling is the undecidability of translational tiling of the plane with Wang tiles, where there is an additional color matching requirement. Later, researchers obtained several undecidability results on translational tiling problems where the tilings are subject to the geometric shapes of the tiles only. However, all these results are proved by constructing tiles with extremely concave shapes. It is natural to ask: can we obtain undecidability results of translational tiling with convex tiles? Towards answering this question, we prove the undecidability of translational tiling of the plane with a set of 7 orthogonally convex polyominoes.
A note on the second-largest number of dissociation sets in connected graphs
Published
• View Publication
• BIB
A subset of vertices is called a dissociation set if it induces a subgraph with vertex degree at most one. Recently, Yuan et al. established the upper bound of the maximum number of dissociation sets among all connected graphs of order n and characterized the corresponding extremal graphs.They also proposed a question regarding the second-largest number of dissociation sets among all connected graphs of order n and the corresponding extremal graphs. In this paper, we give a positive answer to this question.
On the Vertices of Delta-modular Polyhedra
Let $P$ be a polytope defined by the system $A x \leq b$, where $A \in R^{m \times n}$, $b \in R^m$, and $\text{rank}(A) = n$. We give a short geometric proof of the following tight upper bound on the number of vertices of $P$: $$
n! \cdot \fracΔ{Δ_{\text{average}}} \cdot \text{vol}(B_2) \sim \frac{1}{\sqrt{πn}} \cdot \left(\frac{2 π}{e}\right)^{n/2} \cdot n^{n/2} \cdot \fracΔ{Δ_{\text{average}}}, $$ where $Δ$ is the maximum absolute value of $n \times n$ subdeterminants of $A$, and $Δ_{\text{average}}$ is the average absolute value of subdeterminants of $A$ corresponding to a triangulation of $P$'s normal fan. Assuming that $A$ is integer, such polyhedra are called $Δ$-modular polyhedra. Note that in the integer case, the bound can be simplified via the inequality $Δ_{\text{average}} \geq Δ_{\min} \geq 1$, where $Δ_{\min}$ is the minimum absolute value of subdeterminants of $A$ corresponding to feasible bases of $A x \leq b$. For this, we prove and use a symmetric variant of Macbeath's theorem.
Additionally, we give a direct argument based on prior results in the field, showing that the graph diameter of $P$ is bounded by $O\bigl(n^3 \cdot \fracΔ{Δ_{\min}} \cdot \ln (n \fracΔ{Δ_{\min}}) \bigr)$. Thus, both characteristic of $P$ are linear in $Δ/Δ_{\min}$.
From an algorithmic perspective, we demonstrate that:
Given $A \in Q^{m \times n}$, $b \in Q^m$, and an initial feasible solution to $A x \leq b$, the convex hull of $P$ can be constructed in $O(n)^{n/2} \cdot m^2 \cdot \fracΔ{Δ_{\text{average}}}$ operations. For simple polyhedra, the dependence on $m$ reduces to linear;
Given $A \in Z^{m \times n}$ and $b \in Q^m$, the number $|P \cap Z^n|$ can be computed in $O(n)^n \cdot \frac{Δ^4}{Δ_{\text{average}}}$ arithmetic operations.
Powers of 2 in High-Dimensional Lattice Walks
Published
• View Publication
• BIB
Let $W_d(n)$ be the number of $2n$-step walks in $\mathbb{Z}^d$ which begin and end at the origin. We study the exponent of $2$ in the prime factorisation of this number; i.e., $w_d(n) = ν_2(W_d(n))$. We show that, for each $d$, there is a relationship between $w_d(n)$ and the number $s_2(n)$ of $1$s in the binary expansion of $n$. For example, $w_d(n) = s_2(n)$ if $d$ is odd and $w_d(n) = 2s_2(n)$ if $ν_2(d) = 1$; while $w_d(n) \ge 3s_2(n)$ if $ν_2(d) = 2$. The pattern changes further when $ν_2(d) \ge 3$. However, for each $d$, we give the best analogous estimate of $w_d(n)$ together with a description of all $n$ where equality is attained. The methods we develop apply to a wider range of problems as well, and so might be of independent interest.
The peak algebra in noncommuting variables
The well-known descent-to-peak map $Θ_{\mathrm{QSym}}$ for the Hopf algebra of quasisymmetric functions, $\mathrm{QSym}$, and the peak algebra $Π$ were originally defined by Stembridge in 1997. We introduce their noncommutative analogues, the labelled descent-to-peak map $Θ_{\mathrm{NCQSym}}$ for the Hopf algebra of quasisymmetric functions in noncommuting variables, $\mathrm{NCQSym}$, and the peak algebra in noncommuting variables $\mathrm{NC}Π$. Then, we define the Hopf algebra of Schur $Q$-functions in noncommuting variables. We show that our generalizations possess many properties analogous to their classical counterparts. Furthermore, we show that the coefficients in the expansion of certain elements of $\mathrm{NC}Π$ in the monomial basis of $\mathrm{NCQSym}$ satisfy the generalized Dehn-Sommerville equation of Bayer and Billera. In the end, we give representation-theoretic interpretations of the descent-to-peak map for the Hopf algebras of symmetric functions and noncommutative symmetric functions.
Optimal Reconstruction Codes with Given Reads in Multiple Burst-Substitutions Channels
We study optimal reconstruction codes over the multiple-burst substitution channel. Our main contribution is establishing a trade-off between the error-correction capability of the code, the number of reads used in the reconstruction process, and the decoding list size. We show that over a channel that introduces at most $t$ bursts, we can use a length-$n$ code capable of correcting $ε$ errors, with $Θ(n^ρ)$ reads, and decoding with a list of size $O(n^λ)$, where $t-1=ε+ρ+λ$. In the process of proving this, we establish sharp asymptotic bounds on the size of error balls in the burst metric. More precisely, we prove a Johnson-type lower bound via Kahn's Theorem on large matchings in hypergraphs, and an upper bound via a novel variant of Kleitman's Theorem under the burst metric, which might be of independent interest.
Beyond this main trade-off, we derive several related results using a variety of combinatorial techniques. In particular, along with tools from recent advances in discrete geometry, we improve the classical Gilbert-Varshamov bound in the asymptotic regime for multiple bursts, and determine the minimum redundancy required for reconstruction codes with polynomially many reads. We also propose an efficient list-reconstruction algorithm that achieves the above guarantees, based on a majority-with-threshold decoding scheme.
Locating-dominating partitions for some classes of graphs
Published
• View Publication
• BIB
A dominating set of a graph $G$ is a set $D \subseteq V(G)$ such that every vertex in $V(G) \setminus D$ is adjacent to at least one vertex in $D$. A set $L\subseteq V(G)$ is a locating set of $G$ if every vertex in $V(G) \setminus L$ has pairwise distinct open neighborhoods in $L$. A set $D\subseteq V(G)$ is a locating-dominating set of $G$ if $D$ is a dominating set and a locating set of $G$. The location-domination number of $G$, denoted by $γ_{LD}(G)$, is the minimum cardinality among all locating-dominating sets of $G$. A well-known conjecture in the study of locating-dominating sets is that if $G$ is an isolate-free and twin-free graph of order $n$, then $γ_{LD}(G)\le \frac{n}{2}$. Recently, Bousquet et al. [Discrete Math. 348 (2025), 114297] proved that if $G$ is an isolate-free and twin-free graph of order $n$, then $γ_{LD}(G)\le \lceil\frac{5n}{8}\rceil$ and posed the question whether the vertex set of such a graph can be partitioned into two locating sets. We answer this question affirmatively for twin-free distance-hereditary graphs, maximal outerplanar graphs, split graphs, and co-bipartite graphs. In fact, we prove a stronger result that for any graph $G$ without isolated vertices and twin vertices, if $G$ is a distance-hereditary graph or a maximal outerplanar graph or a split graph or a co-bipartite graph, then the vertex set of $G$ can be partitioned into two locating-dominating sets. Consequently, this also confirms the original conjecture for these graph classes.
On kernel isomorphisms of $m$-Cayley digraphs and finite $2$PCI-groups
The isomorphism problem for digraphs is a fundamental problem in graph theory. In this paper, we consider this problem for $m$-Cayley digraphs which are generalization of Cayley digraphs. Let $m$ be a positive integer. A digraph admitting a group $G$ of automorphisms acting semiregularly on the vertices with exactly $m$ orbits is called an $m$-Cayley digraph of $G$. In our previous paper, we developed a theory for $m$-Cayley isomorphisms of $m$-Cayley digraphs, and classified finite $m$CI-groups for each $m\geq 2$, and finite $m$PCI-groups for each $m\geq 4$. The next natural step is to classify finite $m$PCI-groups for $m=2$ or $3$. Note that BCI-groups form an important subclass of the $2$PCI-groups, which were introduced in 2008 by Xu et al. Despite much effort having been made on the study of BCI-groups, the problem of classifying finite BCI-groups is still widely open.
In this paper, we prove that every finite $2$PCI-group is solvable, and its Sylow $3$-subgroup is isomorphic to $Z_3, Z_3\times Z_3$ or $Z_9$, and Sylow $p$-subgroup with $p\not=3$ is either elementary abelian, or isomorphic to $Z_4$ or $Q_8$. We also introduce the kernel isomorphisms of $m$-Cayley digraphs, and establish some useful theory for studying this kind of isomorphisms. Using the results of kernel isomorphisms of $m$-Cayley digraphs together with the results on $2$PCI-groups, we give a proper description of finite BCI-groups, and in particular, we obtain a complete classification of finite non-abelian BCI-groups.