group
10226 papers tagged with this keyword
Capturing Polytopal Symmetries by Coloring the Edge-Graph
Published
• View Publication
• BIB
A general (convex) polytope $P\subset\mathbb R^d$ and its edge-graph $G_P$ can have very distinct symmetry properties. We construct a coloring (of the vertices and edges) of the edge-graph so that the combinatorial symmetry group of the colored edge-graph is isomorphic (in a natural way) to $\mathrm{Aut}_{\mathrm{GL}}(P)$, the group of linear symmetries of the polytope. We also construct an analogous coloring for $\mathrm{Aut}_{\mathrm{O}}(P)$, the group of orthogonal symmetries of $P$.
The spectral property of hypergraph coverings
Published in Discrete Mathematics, Volume 347, Issue 3, March 2024, 113830
• View Publication
• BIB
Let $H$ be a connected $m$-uniform hypergraph, and let $\mathcal{A}(H)$ be the adjacency tensor of $H$ whose spectrum is simply called the spectrum of $H$. Let $s(H)$ denote the number of eigenvectors of $\mathcal{A}(H)$ associated with the spectral radius, and $c(H)$ denote the number of eigenvalues of $\mathcal{A}(H)$ with modulus equal to the spectral radius, which are respectively called the stabilizing index and cyclic index of $H$. Let $\bar{H}$ be a $k$-fold covering of $H$ which can be obtained from some permutation assignment in the symmetric group $\mathbf{S}_k$ on $H$. In this paper, we first characterize the connectedness of $\bar{H}$ by its incidence graph and the permutation assignment, and then investigate the relationship between the spectral property of $H$ and that of $\bar{H}$. By applying module theory and group representation, if $\bar{H}$ is connected, we prove that $s(H) \mid s(\bar{H})$ and $c(H) \mid c(\bar{H})$. In particular, when $\bar{H}$ is a $2$-fold covering of $H$, if $m$ is even, we show that regardless of multiplicities, the spectrum of $\bar{H}$ contains the spectrum of $H$ and the spectrum of a signed hypergraph with $H$ as underlying hypergraph; if $m$ is odd, we give an explicit formula for $s(\bar{H})$. We also find some differences on the spectral property between hypergraph coverings and graph coverings by examples.
Visible Rank and Codes with Locality
We propose a framework to study the effect of local recovery requirements of codeword symbols on the dimension of linear codes, based on a combinatorial proxy that we call \emph{visible rank}. The locality constraints of a linear code are stipulated by a matrix $H$ of $\star$'s and $0$'s (which we call a "stencil"), whose rows correspond to the local parity checks (with the $\star$'s indicating the support of the check). The visible rank of $H$ is the largest $r$ for which there is a $r \times r$ submatrix in $H$ with a unique generalized diagonal of $\star$'s. The visible rank yields a field-independent combinatorial lower bound on the rank of $H$ and thus the co-dimension of the code.
We prove a rank-nullity type theorem relating visible rank to the rank of an associated construct called \emph{symmetric spanoid}, which was introduced by Dvir, Gopi, Gu, and Wigderson~\cite{DGGW20}. Using this connection and a construction of appropriate stencils, we answer a question posed in \cite{DGGW20} and demonstrate that symmetric spanoid rank cannot improve the currently best known $\widetilde{O}(n^{(q-2)/(q-1)})$ upper bound on the dimension of $q$-query locally correctable codes (LCCs) of length $n$.
We also study the $t$-Disjoint Repair Group Property ($t$-DRGP) of codes where each codeword symbol must belong to $t$ disjoint check equations. It is known that linear $2$-DRGP codes must have co-dimension $Ω(\sqrt{n})$. We show that there are stencils corresponding to $2$-DRGP with visible rank as small as $O(\log n)$. However, we show the second tensor of any $2$-DRGP stencil has visible rank $Ω(n)$, thus recovering the $Ω(\sqrt{n})$ lower bound for $2$-DRGP. For $q$-LCC, however, the $k$'th tensor power for $k\le n^{o(1)}$ is unable to improve the $\widetilde{O}(n^{(q-2)/(q-1)})$ upper bound on the dimension of $q$-LCCs by a polynomial factor.
Annihilators and associated varieties of Harish-Chandra modules for $SO^*(2n)$
Given a simple Harish-Chandra module for this group of trivial infinitesimal character, parametrized by a signed involution, we produce combinatorial recipes for attaching to it a pair of tableaux from which its annihilator and associated variety can be read off.
Orbital varieties in types $B$ and $C$
We correct the proof of the main result of an earlier paper, parametrizing orbital varieties in a complex simple Lie algebra of type $B$ or $C$ in terms of domino tableaux and showing how to compute the orbital variety attached to an element of the Weyl group in either of these types.
Orbital varieties in type $D$
We correct the proof of the main result in an earlier paper, showing how to parametrize orbital varieties in a complex simple Lie algebra of type $D$ in terms of domino tableaux and showing how to compute variety attached to any element of the Weyl group in this type.
Exceptional sequences of 8 line bundles on (P^1)^3
Published
• View Publication
• BIB
We investigate maximal exceptional sequences of line bundles on (P^1)^3, i.e. those consisting of 2^r elements. For r=3 we show that they are always full, meaning that they generate the derived category. Everything is done in the discrete setup: Exceptional sequences of line bundles appear as special finite subsets s of the Picard group Z^r of (P^1)^r, and the question of generation is understood like a process of contamination of the whole Z^r out of an infectious seed s.
Cutoff for Rewiring Dynamics on Perfect Matchings
Published in Ann. Appl. Probab. 33(1): 641-676 (February 2023)
• View Publication
• BIB
We establish cutoff for a natural random walk (RW) on the set of perfect matchings (PMs). An $n$-PM is a pairing of $2n$ objects. The $k$-PM RW selects $k$ pairs uniformly at random, disassociates the corresponding $2k$ objects, then chooses a new pairing on these $2k$ objects uniformly at random. The equilibrium distribution is uniform over the set of all $n$-PM.
We establish cutoff for the $k$-PM RW whenever $2 \le k \ll n$. If $k \gg 1$, then the mixing time is $\tfrac nk \log n$ to leading order. The case $k = 2$ was established by Diaconis and Holmes (2002) by relating the $2$-PM RW to the random transpositions card shuffle and also by Ceccherini-Silberstein, Scarabotti and Tolli (2007, 2008) using representation theory. We are the first to handle $k > 2$. Our argument builds on previous work of Berestycki, Schramm, Şengül and Zeitouni (2005, 2011, 2019) regarding conjugacy-invariant RWs on the permutation group.
Extending a word property for twisted Coxeter systems
Published in Adv. Appl. Math. 145 (2023) 102477
• View Publication
• BIB
We prove two extensions of Hansson and Hultman's word property for certain analogues of reduced words associated to twisted involutions in Coxeter groups. Our first extension concerns the superset of such words in which terms with a natural commutativity property may be optionally primed. Our other extension involves variants of these words in which a defining minimal length condition is relaxed. In type A the sets considered are closely related to generating functions for Schur Q-functions and K-theoretic Schur P-functions.
Exceptional sequences and rooted labeled forests
Published in Journal of Algebra and Its Applications, March 2024
• View Publication
• BIB
We give a representation-theoretic bijection between rooted labeled forests with $n$ vertices and complete exceptional sequences for the quiver of type $A_n$ with straight orientation. The ascending and descending vertices in the forest correspond to relatively injective and relatively projective objects in the exceptional sequence. We conclude that every object in an exceptional sequence for linearly oriented $A_n$ is either relatively projective or relatively injective or both. We construct a natural action of the extended braid group on rooted labeled forests and show that it agrees with the known action of the braid group on complete exceptional sequences. We also describe the action of $Δ$, the Garside element of the braid group, on rooted labeled forests using representation theory and show how this relates to cluster theory.
On some modules supported in the Chow variety
Published in Vietnam J. Math. 50 (2022), Special issue celebrating the 60th birthday of Bernd Sturmfels, 501-521
• View Publication
• BIB
The study of Chow varieties of decomposable forms lies at the confluence of algebraic geometry, commutative algebra, representation theory and combinatorics. There are many open questions about homological properties of Chow varieties and interesting classes of modules supported on them. The goal of this note is to survey some fundamental constructions and properties of these objects, and to propose some new directions of research. Our main focus will be on the study of certain maximal Cohen-Macaulay modules of covariants supported on Chow varieties, and on defining equations and syzygies. We also explain how to assemble Tor groups over Veronese subalgebras into modules over a Chow variety, leading to a result on the polynomial growth of these groups.
Totally nonnegative Grassmannians, Grassmann necklaces and quiver Grassmannians
Published
• View Publication
• BIB
Postnikov constructed a cellular decomposition of the totally nonnegative Grassmannians. The poset of cells can be described (in particular) via Grassmann necklaces. We study certain quiver Grassmannians for the cyclic quiver admitting a cellular decomposition, whose cells are naturally labeled by Grassmann necklaces. We show that the posets of cells coincide with the reversed cell posets of the cellular decomposition of the totally nonnegative Grassmannians. We investigate algebro-geometric and combinatorial properties of these quiver Grassmannians. In particular, we describe the irreducible components, study the action of the automorphism groups of the underlying representations and describe the moment graphs. We also construct a resolution of singularities for each irreducible component; the resolutions are defined as quiver Grassmannians for an extended cyclic quiver.
Smallest graphs with given automorphism group
Published
• View Publication
• BIB
For a finite group $G$, denote by $α(G)$ the minimum number of vertices of any graph $Γ$ having $\text{Aut}(Γ)\cong G$. In this paper, we prove that $α(G)\leq |G|$, with specified exceptions. The exceptions include four infinite families of groups, and 17 other small groups. Additionally, we compute $α(G)$ for the groups $G$ such that $α(G)> |G|$ where the value $α(G)$ was previously unknown.
Morse subgroups and boundaries of random right-angled Coxeter groups
Published
• View Publication
• BIB
We study Morse subgroups and Morse boundaries of random right-angled Coxeter groups in the Erdős--Rényi model. We show that at densities below $\left(\sqrt{\frac{1}{2}}-ε\right)\sqrt{\frac{\log{n}}{n}}$ random right-angled Coxeter groups almost surely have Morse hyperbolic surface subgroups. This implies their Morse boundaries contain embedded circles and they cannot be quasi-isometric to a right-angled Artin group. Further, at densities above $\left(\sqrt{\frac{1}{2}}+ε\right)\sqrt{\frac{\log{n}}{n}}$ we show that, almost surely, the hyperbolic Morse special subgroups of a random right-angled Coxeter group are virtually free.
We also apply these methods to show that for a random graph $Γ$ at densities below $(1-ε)\sqrt{\frac{\log{n}}{n}}$, $\square(Γ)$ almost surely contains an isolated vertex. As a consequence, this provides infinitely many examples of right-angled Coxeter groups with no one-ended hyperbolic Morse special subgroups that are not quasi-isometric to a right-angled Artin group.
Spherical objects and stability conditions on 2-Calabi--Yau quiver categories
Published
• View Publication
• BIB
Consider a 2-Calabi--Yau triangulated category with a Bridgeland stability condition. We devise an effective procedure to reduce the phase spread of an object by applying spherical twists. Using this, we give new proofs of the following theorems for 2-Calabi--Yau categories associated to ADE quivers: (1) all spherical objects lie in a single orbit of the braid group, and (2) the space of Bridgeland stability conditions is connected.
Gromov-Witten theory and invariants of matroids
Published
• View Publication
• BIB
We use techniques from Gromov-Witten theory to construct new invariants of matroids taking value in the Chow groups of spaces of rational curves in the permutohedral toric variety. When the matroid is realizable by a complex hyperplane arrangement, our invariants coincide with virtual fundamental classes used to define the logarithmic Gromov-Witten theory of wonderful models of arrangement complements, for any logarithmic structure supported on the wonderful boundary. When the boundary is empty, this implies that the quantum cohomology ring of a hyperplane arrangement's wonderful model is a combinatorial invariant, i.e., it depends only on the matroid. When the boundary divisor is maximal, we use toric intersection theory to convert the virtual fundamental class into a balanced weighted fan in a vector space, having the expected dimension. We explain how the associated Gromov-Witten theory is completely encoded by intersections with this weighted fan. We include a number of questions whose positive answers would lead to a well-defined Gromov-Witten theory of non-realizable matroids.
On prime character degree graphs occurring within a family of graphs (ii)
Published
• View Publication
• BIB
In this paper, we continue the classification work done in the first paper of the same name. With careful modifications of our previous approach, we are able to deduce (with two notable exceptions) which members of the previously introduced graph family manifest as the prime character degree graph of some solvable group.
Semifinite harmonic functions on branching graphs
Published
• View Publication
• BIB
We study semifinite harmonic functions on arbitrary branching graphs. We give a detailed exposition of an algebraic method which allows one to classify semifinite indecomposable harmonic functions on some multiplicative branching graphs. This method was proposed by A. Wassermann in terms of operator algebras, while we rephrase, clarify, and simplify the main arguments, working only with combinatorial objects. This work was inspired by the theory of traceable factor representations of the infinite symmetric group $S(\infty)$.
Undecidable translational tilings with only two tiles, or one nonabelian tile
Published
• View Publication
• BIB
We construct an example of a group $G = \mathbb{Z}^2 \times G_0$ for a finite abelian group $G_0$, a subset $E$ of $G_0$, and two finite subsets $F_1,F_2$ of $G$, such that it is undecidable in ZFC whether $\mathbb{Z}^2\times E$ can be tiled by translations of $F_1,F_2$. In particular, this implies that this tiling problem is aperiodic, in the sense that (in the standard universe of ZFC) there exist translational tilings of $E$ by the tiles $F_1,F_2$, but no periodic tilings. Previously, such aperiodic or undecidable translational tilings were only constructed for sets of eleven or more tiles (mostly in $\mathbb{Z}^2$). A similar construction also applies for $G = \mathbb{Z}^d$ for sufficiently large $d$. If one allows the group $G_0$ to be non-abelian, a variant of the construction produces an undecidable translational tiling with only one tile $F$.
The argument proceeds by first observing that a single tiling equation is able to encode an arbitrary system of tiling equations, which in turn can encode an arbitrary system of certain functional equations once one has two or more tiles. In particular, one can use two tiles to encode tiling problems for an arbitrary number of tiles.
On Kostant's weight $q$-multiplicity formula for $\mathfrak{sp}_6(\mathbb{C})$
Published
• View Publication
• BIB
Kostant's weight $q$-multiplicity formula is an alternating sum over a finite group known as the Weyl group, whose terms involve the $q$-analog of Kostant's partition function. The $q$-analog of the partition function is a polynomial-valued function defined by $\wp_q(ξ)=\sum_{i=0}^k c_i q^i$, where $c_i$ is the number of ways the weight $ξ$ can be written as a sum of exactly $i$ positive roots of a Lie algebra $\mathfrak{g}$. The evaluation of the $q$-multiplicity formula at $q = 1$ recovers the multiplicity of a weight in an irreducible highest weight representation of $\mathfrak{g}$. In this paper, we specialize to the Lie algebra $\mathfrak{sp}_6(\mathbb{C})$ and we provide a closed formula for the $q$-analog of Kostant's partition function, which extends recent results of Shahi, Refaghat, and Marefat. We also describe the supporting sets of the multiplicity formula (known as the Weyl alternation sets of $\mathfrak{sp}_6(\mathbb{C})$), and use these results to provide a closed formula for the $q$-multiplicity for any pair of dominant integral weights of $\mathfrak{sp}_6(\mathbb{C})$. Throughout this work, we provide code to facilitate these computations.