group
10226 papers tagged with this keyword
A central limit theorem in the framework of the Thompson group $F$
We discuss a central limit theorem in the framework of the group algebra of the Thompson group $F$. We consider the sequence of self-adjoint elements given by $a_n=\frac{g_n+g_n^{*}}{\sqrt{2}}$ in the noncommutative probability space $(\mathbb{C}(F),\varphi)$, where the expectation functional $\varphi$ is the trace associated to the left regular representation of $F$, and the $g_n$-s are the generators of $F$ in its standard infinite presentation. We show that the limit law of the sequence $s_n = \frac{a_0+\cdots+a_{n-1}}{\sqrt{n}}$ is the standard normal distribution.
Universal Plücker coordinates for the Wronski map and positivity in real Schubert calculus
Given a $d$-dimensional vector space $V \subset \mathbb{C}[u]$ of polynomials, its Wronskian is the polynomial $(u + z_1) \cdots (u + z_n)$ whose zeros $-z_i$ are the points of $\mathbb{C}$ such that $V$ contains a nonzero polynomial with a zero of order at least $d$ at $-z_i$. Equivalently, $V$ is a solution to the Schubert problem defined by osculating planes to the moment curve at $z_1, \dots, z_n$. The inverse Wronski problem involves finding all $V$ with a given Wronskian $(u + z_1) \cdots (u + z_n)$. We solve this problem by providing explicit formulas for the Grassmann-Plücker coordinates of the general solution $V$, as commuting operators in the group algebra $\mathbb{C}[\mathfrak{S}_n]$ of the symmetric group. The Plücker coordinates of individual solutions over $\mathbb{C}$ are obtained by restricting to an eigenspace and replacing each operator by its eigenvalue. This generalizes work of Mukhin, Tarasov, and Varchenko (2013) and of Purbhoo (2022), which give formulas in $\mathbb{C}[\mathfrak{S}_n]$ for the differential equation satisfied by $V$. Moreover, if $z_1, \dots, z_n$ are real and nonnegative, then our operators are positive semidefinite, implying that the Plücker coordinates of $V$ are all real and nonnegative. This verifies several outstanding conjectures in real Schubert calculus, including the positivity conjectures of Mukhin and Tarasov (2017) and of Karp (2021), the disconjugacy conjecture of Eremenko (2015), and the divisor form of the secant conjecture of Sottile (2003). The proofs involve the representation theory of $\mathfrak{S}_n$, symmetric functions, and $τ$-functions of the KP hierarchy.
Burau representation of braid groups and $q$-rationals
We establish a link between the new theory of $q$-deformed rational numbers and the classical Burau representation of the braid group $\mathrm{B}_3$. We apply this link to the open problem of classification of faithful complex specializations of this representation. As a result we provide an answer to this problem in terms of the singular set of the $q$-rationals and prove the faithfulness of the Burau representation specialized at complex $t\in \mathbb{C}^*$ outside the annulus $3-2\sqrt2 \leq |t| \leq 3+2\sqrt2.$
Essentially tight bounds for rainbow cycles in proper edge-colourings
An edge-coloured graph is said to be rainbow if no colour appears more than once. Extremal problems involving rainbow objects have been a focus of much research over the last decade as they capture the essence of a number of interesting problems in a variety of areas. A particularly intensively studied question due to Keevash, Mubayi, Sudakov and Verstraëte from 2007 asks for the maximum possible average degree of a properly edge-coloured graph on $n$ vertices without a rainbow cycle. Improving upon a series of earlier bounds, Tomon proved an upper bound of $(\log n)^{2+o(1)}$ for this question. Very recently, Janzer-Sudakov and Kim-Lee-Liu-Tran independently removed the $o(1)$ term in Tomon's bound, showing a bound of $O(\log^2 n)$. We prove an upper bound of $(\log n)^{1+o(1)}$ for this maximum possible average degree when there is no rainbow cycle. Our result is tight up to the $o(1)$ term, and so it essentially resolves this question. In addition, we observe a connection between this problem and several questions in additive number theory, allowing us to extend existing results on these questions for abelian groups to the case of non-abelian groups.
Thresholds for zero-sums with small cross numbers in abelian groups
For an additive group $Γ$ the sequence $S = (g_1, \ldots, g_t)$ of elements of $Γ$ is a zero-sum sequence if $g_1 + \cdots + g_t = 0_Γ$. The cross number of $S$ is defined to be the sum $\sum_{i=1}^k 1/|g_i|$, where $|g_i|$ denotes the order of $g_i$ in $Γ$. Call $S$ good if it contains a zero-sum subsequence with cross number at most 1. In 1993, Geroldinger proved that if $Γ$ is abelian then every length $|Γ|$ sequence of its elements is good, generalizing a 1989 result of Lemke and Kleitman that had proved an earlier conjecture of Erdős and Lemke. In 1989 Chung re-proved the Lemke and Kleitman result by applying a theorem of graph pebbling, and in 2005, Elledge and Hurlbert used graph pebbling to re-prove and generalize Geroldinger's result. Here we use probabilistic theorems from graph pebbling to derive a threshold version of Geroldinger's theorem for abelian groups of a certain form. Specifically, we prove that if $p_1, \ldots, p_d$ are (not necessarily distinct) primes and $Γ_k$ has the form $\prod_{i=1}^d {\mathbb Z}_{p_i^k}$ then there is a function $τ=τ(k)$ (which we specify in Theorem 4) with the following property: if $t-τ\rightarrow\infty$ as $k\rightarrow\infty$ then the probability that $S$ is good in $Γ_k$ tends to 1.
Compact metric spaces with infinite cop number
Mohar recently adapted the classical game of Cops and Robber from graphs to metric spaces, thereby unifying previously studied pursuit-evasion games. He conjectured that finitely many cops can win on any compact geodesic metric space, and that their number can be upper-bounded in terms of the ranks of the homology groups when the space is a simplicial pseudo-manifold. We disprove these conjectures by constructing a metric on $\mathbb{S}^3$ with infinite cop number. More problems are raised than settled.
On generalized corners and matrix multiplication
Suppose that $S \subseteq [n]^2$ contains no three points of the form $(x,y), (x,y+δ), (x+δ,y')$, where $δ\neq 0$. How big can $S$ be? Trivially, $n \le |S| \le n^2$. Slight improvements on these bounds are obtained from Shkredov's upper bound for the corners problem [Shk06], which shows that $|S| \le O(n^2/(\log \log n)^c)$ for some small $c > 0$, and a construction due to Petrov [Pet23], which shows that $|S| \ge Ω(n \log n/\sqrt{\log \log n})$.
Could it be that for all $\varepsilon > 0$, $|S| \le O(n^{1+\varepsilon})$? We show that if so, this would rule out obtaining $ω= 2$ using a large family of abelian groups in the group-theoretic framework of Cohn, Kleinberg, Szegedy and Umans [CU03,CKSU05] (which is known to capture the best bounds on $ω$ to date), for which no barriers are currently known. Furthermore, an upper bound of $O(n^{4/3 - \varepsilon})$ for any fixed $\varepsilon > 0$ would rule out a conjectured approach to obtain $ω= 2$ of [CKSU05]. Along the way, we encounter several problems that have much stronger constraints and that would already have these implications.
The Rhodes semilattice of a biased graph
We reinterpret the Rhodes semilattices $R_n(\mathfrak{G})$ of a group $\mathfrak{G}$ in terms of gain graphs and generalize them to all gain graphs, both as sets of partition-potential pairs and as sets of subgraphs, and for the latter, further to biased graphs. Based on this we propose four different natural lattices in which the Rhodes semilattices and its generalizations are order ideals.
On the size of the Schur multiplier of finite groups
Published in J. Algebra Volume 668, 420-446(2025)
• View Publication
• BIB
We obtain bounds for the size of the Schur multiplier of finite $p$-groups and finite groups, which improve all existing bounds. Moreover, we obtain bounds for the size of the second cohomology group $H^2(G,\mathbb{Z}/p\mathbb{Z})$ of a $p$-group with coefficients in $\mathbb{Z}/p\mathbb{Z}$. Denoting the minimal number of generators of a $p$-group $G$ by $d(G)$, our bound depends on the parameters $|G|=p^n$, $|γ_2G|=p^k$, $d(G)=d$, $d(G/Z)=δ$ and $d(γ_2G/γ_3G)=k'$. For special $p$-groups, we further improve our bound when $δ-1 > k'$. Moreover, given natural numbers $d$, $δ$, $k$ and $k'$ satisfying $k=k'$ and $δ-1 \leq k'$, we construct a capable $p$-group $H$ of nilpotency class two and exponent $p$ such that the size of the Schur multiplier attains our bound.
Separable elements and splittings in Weyl groups of Type $B$
Separable elements in Weyl groups are generalizations of the well-known class of separable permutations in symmetric groups. Gaetz and Gao showed that for any pair $(X,Y)$ of subsets of the symmetric group $\mathfrak{S}_n$, the multiplication map $X\times Y\rightarrow \mathfrak{S}_n$ is a splitting (i.e., a length-additive bijection) of $\mathfrak{S}_n$ if and only if $X$ is the generalized quotient of $Y$ and $Y$ is a principal lower order ideal in the right weak order generated by a separable element. They conjectured this result can be extended to all finite Weyl groups. In this paper, we classify all separable and minimal non-separable signed permutations in terms of forbidden patterns and confirm the conjecture of Gaetz and Gao for Weyl groups of type $B$.
Big Tiles in Hyperbolic Groups
We prove that if $Γ$ is a word hyperbolic group and $K$ is a finite subset of $Γ$, then $Γ$ admits a tile containing $K$.
Quantum Bruhat graphs and tilted Richardson varieties
Quantum Bruhat graph is a weighted directed graph on a finite Weyl group first defined by Brenti-Fomin-Postnikov. It encodes quantum Monk's rule and can be utilized to study the $3$-point Gromov-Witten invariants of the flag variety. In this paper, we provide an explicit formula for the minimal weights between any pair of permutations on the quantum Bruhat graph, and consequently obtain an Ehresmann-like characterization for the tilted Bruhat order. Moreover, for any ordered pair of permutations $u$ and $v$, we define the tilted Richardson variety $T_{u,v}$, with a stratification that gives a geometric meaning to intervals in the tilted Bruhat order. We provide a few equivalent definitions to this new family of varieties that include Richardson varieties, and establish some fundamental geometric properties including their dimensions and closure relations.
Surprising occurrences of order structures in mathematics
Order and symmetry are main structural principles in mathematics. We give five examples where on the face of it order is not apparent, but deeper investigations reveal that they are governed by order structures. These examples are finite topologies, associative algebras, subgroups of matrix groups, ideals in polynomial rings, and classes of bipartite graphs.
Integral expressions for derivations of multiarrangements
The construction of an explicit basis for a free multiarrangement is not easy in general. Inspired by the integral expressions for quasi-invariants of quantum Calogero-Moser systems, we present integral expressions for specific bases of certain multiarrangements. Our construction covers the cases of three lines in dimension $2$ (previously examined by Wakamiko) and free multiarrangements associated with complex reflection groups (Hoge, Mano, Röhrle, Stump). Furthermore, we propose a conjectural basis for the module of logarithmic vector fields of the extended Catalan arrangement of type $B_2$.
On the Kronecker product of Schur functions of square shapes
Motivated by the Saxl conjecture and the tensor square conjecture, which states that the tensor squares of certain irreducible representations of the symmetric group contain all irreducible representations, we study the tensor squares of irreducible representations associated with square Young diagrams. We give a formula for computing Kronecker coefficients, which are indexed by two square partitions and a three-row partition, specifically one with a short second row and the smallest part equal to 1. We also prove the positivity of square Kronecker coefficients for particular families of partitions, including three-row partitions and near-hooks.
Further study on forbidden subgraphs of power graph
The undirected power graph (or simply power graph) of a group $G$, denoted by $P(G)$, is a graph whose vertices are the elements of the group $G$, in which two vertices $u$ and $v$ are adjacent if and only if either $u=v^m$ or $v=u^n$ for some positive integers $m$, $n$. Forbidden subgraph has a significant role in graph theory. In our previous work \cite{cmm}, we consider five important classes of forbidden subgraphs of power graph which include perfect graphs, cographs, chordal graphs, split graphs and threshold graphs. In this communication, we go even further in that way. This study, inspired by the articles \cite{celmmp,dong,ck}, examines additional $4$ significant forbidden classes, including chain graphs, diamond-free graphs, $\{P_{5}, \overline{P_{5}}\}$-free graphs and $\{P_{2}\cup P_{3}, \overline{P_{2}\cup P_{3}}\}$-free graph. The finite groups whose power graphs are chain graphs, diamond-free graphs, and $\{P_{2}\cup P_{3}, \overline{P_{2}\cup P_{3}}\}$-free graphs have been successfully identified in this work. In case of $\{P_{5}, \overline{P_{5}}\}$-free graphs, we completely determine all the nilpotent groups, direct product of two groups, finite simple groups whose power graph is $\{P_{5}, \overline{P_{5}}\}$-free.
Higher resonance schemes and Koszul modules of simplicial complexes
Published in Journal of Algebraic Combinatorics 59 (2024), no. 4, 787-805
• View Publication
• BIB
Each connected graded, graded-commutative algebra $A$ of finite type over a field $\Bbbk$ of characteristic zero defines a complex of finitely generated, graded modules over a symmetric algebra, whose homology graded modules are called the (higher) Koszul modules of $A$. In this note, we investigate the geometry of the support loci of these modules, called the resonance schemes of the algebra. When $A=\Bbbk\langle Δ\rangle$ is the exterior Stanley-Reisner algebra associated to a finite simplicial complex $Δ$, we show that the resonance schemes are reduced. We also compute the Hilbert series of the Koszul modules and give bounds on the regularity and projective dimension of these graded modules. This leads to a relationship between resonance and Hilbert series that generalizes a known formula for the Chen ranks of a right-angled Artin group.
GDD type Spanning Bipartite Block Designs
There is a one-to-one correspondence between the point set of a group divisible design (GDD) with $v_1$ groups of $v_2$ points and the edge set of a complete bipartite graph $K_{v_1,v_2}$. A block of GDD corresponds to a subgraph of $K_{v_1,v_2}$. A set of subgraphs of $K_{v_1,v_2}$ is constructed from a block set of GDDs. If the GDD satisfies the $λ_1, λ_2$ concurrence condition, then the set of subgraphs also satisfies the spanning bipartite block design (SBBD) conditions. We also propose a method to construct SBBD directly from an $(r,λ)$-design and a difference matrix over a group. Suppose the $(r,λ)$-design consists of $v_2$ points and $v_1$ blocks. When $v_1 >> v_2$, we show a method to construct a SBBD with $v_1$ is close to $v_2$ by partitioning the block set.
On arrangements of smooth plane quartics and their bitangents
Published in Fundamenta Mathematicae 268: 151 - 170 (2025)
• View Publication
• BIB
In the present paper, we revisit the geometry of smooth plane quartics and their bitangents from several perspectives. First, we study in detail the weak combinatorics of arrangements of bitangents associated with highly symmetric quartic curves. We consider quartic curves from the point of view of the order of their automorphism groups, in order to establish a lower bound on the number of quadruple intersection points for arrangements of bitangents associated with smooth plane quartics, which are smooth members of Ciani's pencil. We then construct new examples of $3$-syzygy reduced plane curves using smooth plane quartics and their bitangents.
Sketches, moves and partitions: counting regions of deformations of reflection arrangements
The collection of reflecting hyperplanes of a finite Coxeter group is called a reflection arrangement and it appears in many subareas of combinatorics and representation theory. We focus on the problem of counting regions of reflection arrangements and their deformations. Inspired by the recent work of Bernardi, we show that the notion of moves and sketches can be used to provide a uniform and explicit bijection between regions of (the Catalan deformation of) a reflection arrangement and certain non-nesting partitions. We then use the exponential formula to describe a statistic on these partitions such that distribution is given by the coefficients of the characteristic polynomial. Finally, we consider a sub-arrangement of type C arrangement called the threshold arrangement and its Catalan and Shi deformations.