group
10226 papers tagged with this keyword
A strange five vertex model and multispecies ASEP on a ring
We revisit the problem of constructing the stationary states of the multispecies asymmetric simple exclusion process on a one-dimensional periodic lattice. Central to our approach is a quantum oscillator weighted five vertex model which features a strange weight conservation distinct from the conventional one. Our results clarify the interrelations among several known results and refine their derivations. For instance, the stationary probability derived from the multiline queue construction by Martin (2020) and Corteel--Mandelshtam--Williams (2022) is identified with the partition function of a three-dimensional system. The matrix product operators by Prolhac--Evans--Mallick (2009) acquire a natural diagrammatic interpretation as corner transfer matrices (CTM). The origin of their recursive tensor structure, as questioned by Aggarwal--Nicoletti--Petrov (2023), is revealed through the CTM diagrams. Finally, the derivation of the Zamolodchikov--Faddeev algebra by Cantini--de Gier--Wheeler (2015) is made intrinsic by elucidating its precise connection to a solution to the Yang--Baxter equation originating from quantum group representations.
Fixed Points and Cycles of the Kaprekar Transformation: 2. Even bases
We develop a classification of the fixed points and cycles of the Kaprekar transformation in even bases. The most numerous fixed points and cycles are those we denote symmetric and almost-symmetric; the structure of the cycles of these classes in base $b$ is determined by subgroups and cosets in the multiplicative group modulo $b-1$. We provide methods and formulae for enumerating the fixed points and cycles of these and other classes. A detailed survey of the fixed points and cycles is provided for bases 4, 6 and 8, including a rigorous proof that the classification is complete in base 4.
More Heffter Spaces via finite fields
A $(v,k;r)$ Heffter space is a resolvable $(v_r,b_k)$ configuration whose points form a half-set of an abelian group $G$ and whose blocks are all zero-sum in $G$. It was recently proved that there are infinitely many orders $v$ for which, given any pair $(k,r)$ with $k\geq3$ odd, a $(v,k;r)$ Heffter space exists. This was obtained by imposing a point-regular automorphism group. Here we relax this request by asking for a point-semiregular automorphism group. In this way the above result is extended also to the case $k$ even.
A note on large torsion in $\mathbb{Q}$-acyclic complexes
New upper bounds on the size of the torsion group of a $\mathbb{Q}$-acyclic simplicial complex are introduced which depend only on the vertex degree sequence of the complex and its dimension.
Soft planes and groups
Finite projective planes are constructed using groups that satisfy simple-looking conditions.
The resulting projective planes include many known planes and possibly new ones, and are precisely those having a collineation group fixing a flag $(\infty,L_ \infty )$ and transitive on the flags $ (w,W )$ with $w\notin L_ \infty $ and $\infty\notin W$.
Rationality of the multivariate growth series for algebraic sets of virtually abelian groups
We prove the rationality of the multivariate relative growth series for algebraic sets of virtually abelian groups, which had been conjectured by Evetts and Levine.
On the minimal (edge) connectivity of graphs and its applications to power graphs of finite groups
In an earlier work, finite groups whose power graphs are minimally edge connected have been classified. In this article, first we obtain a necessary and sufficient condition for an arbitrary graph to be minimally edge connected. Consequently, we characterize finite groups whose enhanced power graphs and order superpower graphs, respectively, are minimally edge connected. Moreover, for a finite non-cyclic group $G$, we prove that $G$ is an elementary abelian $2$-group if and only if its enhanced power graph is minimally connected. Also, we show that $G$ is a finite $p$-group if and only if its order superpower graph is minimally connected. Finally, we characterize all the finite nilpotent groups such that the minimum degree and the vertex connectivity of their order superpower graphs are equal.
Decorated square paths at q=-1
The valley Delta square conjecture states that the symmetric function $\frac{[n-k]_q}{[n]_q}Δ_{e_{n-k}}ω(p_n)$ can be expressed as the enumerator of a certain class of decorated square paths with respect to the bistatistic (dinv,area). Inspired by recent positivity results of Corteel, Josuat-Vergès, and Vanden Wyngaerd, we study the evaluation of this enumerator at $q=-1$. By considering a cyclic group action on the decorated square paths which we call cutting and pasting, we show that $\left.\left\langle \frac{[n-k]_q}{[n]_q}Δ_{e_{n-k}}ω(p_n), h_1^n\right\rangle\right|_{q=-1}$ is $0$ whenever $n-k$ is even, and is a positive polynomial related to the Euler numbers when $n-k$ is odd. We also show that the combinatorics of this enumerator is closely connected to that of the Dyck path enumerator for $\langleΔ_{e_{n-k-1}}'e_n,h_1^n\rangle$ considered by Corteel-Josuat Vergès-Vanden Wyngaerd.
Fat minors in finitely presented groups
We show that a finitely presented group virtually admits a planar Cayley graph if and only if it is asymptotically minor-excluded, partially answering a conjecture of Georgakopoulos and Papasoglu in the affirmative.
Equivariant $K$-homology of affine Grassmannian and $K$-theoretic double $k$-Schur functions
We study the torus equivariant K-homology ring of the affine Grassmannian $\mathrm{Gr}_G$ where $G$ is a connected reductive linear algebraic group. In type $A$, we introduce equivariantly deformed symmetric functions called the K-theoretic double $k$-Schur functions as the Schubert bases. The functions are constructed by Demazure operators acting on equivariant parameters. As an application, we provide a Ginzburg-Peterson type realization of the torus-equivariant K-homology ring of $\mathrm{Gr}_{{SL}_n}$ as the coordinate ring of a centralizer family for $PGL_n(\mathbb{C})$.
A point-variety incidence theorem over finite fields, and its applications
Incidence problems between geometric objects is a key area of focus in the field of discrete geometry. Among them, the study of incidence problems over finite fields have received a considerable amount of attention in recent years.
In this paper, by characterizing the singular values and singular vectors of the corresponding incidence matrix through group algebras, we prove a bound on the number of incidences between points and varieties of a certain form over finite fields. Our result leads to a new incidence bound for points and flats in finite geometries, which improves previous results for certain parameter regimes. As another application of our point-variety incidence bound, we extend a result on pinned distance problems by Phuong, Thang, and Vinh, and independently by Cilleruelo, Iosevich, Lund, Roche-Newton, and Rudnev, under a weaker condition.
On the Cop Number of String Graphs
Cops and Robber is a well-studied two-player pursuit-evasion game played on a graph, where a group of cops tries to capture the robber. The \emph{cop number} of a graph is the minimum number of cops required to capture the robber. Gavenčiak et al.~[Eur. J. of Comb. 72, 45--69 (2018)] studied the game on intersection graphs and established that the cop number for the class of string graphs is at most 15, and asked as an open question to improve this bound for string graphs and subclasses of string graphs. We address this question and establish that the cop number of a string graph is at most 13. To this end, we develop a novel \textit{guarding} technique. We further establish that this technique can be useful for other Cops and Robber games on graphs admitting a representation. In particular, we show that four cops have a winning strategy for a variant of Cops and Robber, named Fully Active Cops and Robber, on planar graphs, addressing an open question of Gromovikov et al.~[Austr. J. Comb. 76(2), 248--265 (2020)]. In passing, we also improve the known bounds on the cop number of boxicity 2 graphs. Finally, as a corollary of our result on the cop number of string graphs, we establish that the chromatic number of string graphs with girth at least $5$ is at most $14$.
A q-analogue of graph independence polynomials with a group-theoretic interpretation
We define totally-isotropic polynomials of alternating matrix spaces over finite fields, by analogy with independence polynomials of graphs. Our main result shows that totally-isotropic polynomials of graphical alternating matrix spaces give rise to a natural q-analogue of graph independence polynomials.
For p-groups of class 2 and exponent p, this family of polynomials over fields of order p can be naturally interpreted as enumerating their abelian subgroups containing the commutator subgroup according to the orders. With this interpretation, our main result has implications to graphical groups over finite fields, in the same spirit as the results in (Bull. Lond. Math. Soc., 2022) by Rossmann, who studied enumerating conjugacy classes of graphical groups over finite fields.
On digital H-spaces
In this article, we investigate properties of digital H-spaces in the graph theoretic model of digital topology. As in prior work, the results obtained often depend fundamentally on the choice between NP$_1$ and NP$_2$ product adjacencies. We explore algebraic properties of digital H-spaces preserved under digital homotopy equivalence, and we give a general construction that produces examples of digital H-spaces which are not homotopy-equivalent to digital topological groups in both categories. Further, we show that this construction essentially classifies all NP$_2$-digital H-spaces. In a short appendix, we resolve a question that was left unresolved in [17], and complete the full classification of digital topological groups.
Completing the proof of the Liebeck--Nikolov--Shalev conjecture
Liebeck, Nikolov, and Shalev conjectured the existence of an absolute constant $C>0$, such that for every subset $A$ of a finite simple group $G$ with $|A|\ge 2$, there exists $C\log|G|/\log|A|$ conjugates of $A$ whose product is $G$. This paper is a companion to \cite{GLPS}, and together they prove the conjecture.
To prove the conjecture, we establish the following skew-product theorem. We show that there exists $ c > 0 $ such that for all $ ε> 0 $ and subsets $ A, B \subseteq G $ of finite simple groups of Lie type, if $ |B| < |G|^{1 - ε} $, then $ |A^σ B| > |B||A|^{c ε} $ for some $ σ\in G $. This result, along with its more involved analogue for alternating groups, constitutes the main contribution of this paper.
Our proof leverages deep results from character theory alongside the probabilistic method.
On Bott--Samelson rings for Coxeter groups
We study the cohomology ring of the Bott--Samelson variety. We compute an explicit presentation of this ring via Soergel's result, which implies that it is a purely combinatorial invariant. We use the presentation to introduce the Bott--Samelson ring associated with a word in arbitrary Coxeter system by generators and relations. In general, it is a split quadratic complete intersection algebra with a triangular pattern of relations. By a result of Tate, it follows that it is a Koszul algebra and we provide a quadratic (reduced) Gr{ö}bner basis. Furthermore, we prove that it satisfies the whole Kähler package, including the Poincaré duality, the hard Lefschetz theorem, and the Hodge--Riemann bilinear relations.
Eternally surrounding a robber
We introduce the bodyguard problem for graphs. This is a variation of Surrounding Cops and Robber but, in this model, a smallest possible group of bodyguards must surround the president and then maintain this protection indefinitely. We investigate some elementary bounds, then solve this problem for the infinite graph families of complete graphs, wheels, trees, cycles, complete multipartite graphs, and two-dimensional grids. We also examine the problem in more general Cartesian, strong, and lexicographic products.
A Novel Approach to Counting Perfect Matchings of Graphs
We build a new perspective to count perfect matchings of a given graph. This idea is motivated by a construction on the relative cohomology group of surfaces. As an application of our theory, we reprove the celebrated Aztec Diamond theorem, and show how alternating sign matrices naturally arises through this framework.
On sets with missing differences in compact abelian groups
A much-studied problem posed by Motzkin asks to determine, given a finite set $D$ of integers, the so-called Motzkin density for $D$, i.e., the supremum of upper densities of sets of integers whose difference set avoids $D$. We study the natural analogue of this problem in compact abelian groups. Using ergodic-theoretic tools, this is shown to be equivalent to the following discrete problem: given a lattice $Λ\subset \mathbb{Z}^r$, letting $D$ be the image in $\mathbb{Z}^r/Λ$ of the standard basis, determine the Motzkin density for $D$ in $\mathbb{Z}^r/Λ$. We study in particular the periodicity question: is there a periodic $D$-avoiding set of maximal density in $\mathbb{Z}^r/Λ$? The Greenfeld--Tao counterexample to the periodic tiling conjecture implies that the answer can be negative. On the other hand, we prove that the answer is positive in several cases, including the case rank$(Λ)=1$ (in which we give a formula for the Motzkin density), the case rank$(Λ)=r-1$, and hence also the case $r\leq 3$. It follows that, for up to three missing differences, the Motzkin density in a compact abelian group is always a rational number.
Reduced words for reflections in Weyl groups
The reflections in a Coxeter group are defined as conjugates of a single generator, and thus admit palindromic expressions as products of generators. Our main result gives closed formulas providing a palindromic reduced expression for each reflection in any finite Weyl group. There exist algorithmic methods for determining such reduced expressions, but explicit formulas have not been recorded outside of well-known special cases.