group
10399 papers tagged with this keyword
The automorphism group of the derangement graph of $\operatorname{PGL}_{2}(q)$ acting on the projective line
Given a finite transitive group $G\leq \operatorname{Sym}(Ω)$, the derangement graph $Γ_G$ is the graph whose vertex set is $G$, and two vertices $g$ and $h$ are adjacent if the ratio $h^{-1}g$ is a fixed-point-free permutation. In this paper, we show that the automorphism group of the derangement graph of the transitive permutation group corresponding to the natural action of $\operatorname{PGL}_{2}(q)$ on the projective line $\operatorname{PG}_{1}(q)$ is \begin{align*}
\operatorname{Aut}(Γ_{\operatorname{PGL}_{2}({q})}) = \left(L_{\operatorname{PGL}_2(q)}\times R_{\operatorname{PGL}_2(q)}\right) \rtimes \left(\langle ψ\rangle \times γ_{\operatorname{Aut}(\mathbb{F}_q)}\right), \end{align*} where $L_{\operatorname{PGL}_2(q)}$ is the left-regular representation of $\operatorname{PGL}_2(q)$, $R_{\operatorname{PGL}_2(q)}$ is the right-regular representation of $\operatorname{PGL}_2(q)$, $γ_{\operatorname{Aut}(\mathbb{F}_q)}$ is the group of conjugation by elements of $\operatorname{Aut}(\mathbb{F}_q)$, and $ψ: \operatorname{PGL}_2(q) \to \operatorname{PGL}_2(q)$ such that $ψ(x) = x^{-1}$.
Intersection Orbital Graphs of Permutation Groups and Reconstruction of Simple Groups
We introduce the \emph{intersection orbital graph} $Γ(G_1, G_2; Ω)$ associated with two permutation groups $G_1, G_2 \leq \mathrm{Sym}(Ω)$ on a finite set $Ω$.
Methods of free probability
This is an introduction to free probability, with all the needed preliminaries included. We first discuss the most basic noncommuting variables, namely the usual matrices, followed by the basic random matrices, and with a look into Lie groups too. Then we present, following Voiculescu, the main concepts and tools of free probability, notably with the various limiting theorems that can be obtained. We then go on a more technical discussion, featuring cumulants, functional transforms and group theory, on the correspondence between classical and free. Finally, we discuss matrix modeling questions for the various more specialized free laws and objects that can be imagined.
A Bipartite Graph Linking Units and Zero-Divisors
Let $R$ be a commutative ring with identity. We introduce a novel bipartite graph $\mathcal{B}(R)$, the \textit{bipartite zero-divisor--unit graph}, whose vertex set is the disjoint union of the nonzero zero-divisors $Z(R)^*$ and the unit group $U(R)$. A vertex $z \in Z(R)^*$ is adjacent to $u \in U(R)$ if and only if $z + u \in Z(R)$. This construction provides an \textit{additive} counterpart to the well-established \textit{multiplicative} zero-divisor graphs. We investigate fundamental graph-theoretic properties of $\mathcal{B}(R)$, including connectedness, diameter, girth, chromatic number, and planarity. Explicit descriptions are given for rings such as $\mathbb{Z}_n$, finite products of fields, and local rings. Our results are sharpest for \textit{finite reduced rings}, where $\mathcal{B}(R)$ yields a graphical characterization of fields and serves as a complete invariant: $\mathcal{B}(R) \cong \mathcal{B}(S)$ implies $R \cong S$ for finite reduced rings $R$ and $S$. The graph also reveals structural distinctions between reduced and non-reduced rings, underscoring its utility in the interplay between ring-theoretic and combinatorial properties.
Branch-Sensitive Density Increments for $k$-Configurations
We refine the density-increment argument for $k$-configurations developed by Beker. The point is not to introduce a new inverse theorem, but to retain information that is lost when the graph-counting output is compressed into a single uniform alternative. For the transitive $K_k$ appearing in the $k$-configuration problem we keep a fixed moment throughout the graph recursion and obtain three genuinely different outputs: a row-degree anomaly, a non-centred grid anomaly, and a centred grid anomaly. The centred case is treated directly through positivity of the associated Gram moments, avoiding the usual unbalancing step. Each output is then routed through the appropriate local Kelley--Meka mechanism with its own density gain, rank cost, and width cost. A weighted iteration budget prevents the most expensive local branches from being charged the maximal number of times.
For a finite abelian group $G$ of odd order and $A\subseteq G$ of density $α$, write $L=\log(2/α)$ and $Λ=L+\log(2k)$. We obtain a lower bound of the form \[ \Pp_{x_1,\ldots,x_k\in G}\!\left(\frac{x_i+x_j}{2}\in A\ \text{for all }1\le i\le j\le k\right) \ge \exp\!\bigl(-CΦ(k,L,Λ)\bigr), \] where \[ Φ(k,L,Λ)=k^{36}L^6Λ^6+k^{34}L^8Λ^5+k^{32}L^{14}Λ+k^{30}L^{16}. \] Consequently, in the Erdős--Moser application one may replace the exponent $68$ in Beker's $k$-configuration route by $36$; in particular the same reduction yields the sum-free lower bound with every exponent $c<1/36$.
Discounted Hitting Domination on Graphs with Submodularity, Complexity and Exact Algorithms
On a network with a fixed set of verified sources, discounted averaging induces an equilibrium support $h_i^S=\mathbb{E}_i[λ^{T_S}]$, the discounted probability that a random walk reaches $S$ before attenuation. We define the \emph{discounted hitting domination number} $δ_{λ,τ}(G)$ as the minimum number of sources required to guarantee $h_i^S\geτ$ at every vertex. Although this potential is known through penalized and group hitting probabilities, the associated minimum-cardinality uniform-coverage problem appears to be new. Aggregate support is monotone submodular, while the uniform-floor problem is an exact submodular-cover problem. Moreover, if $λ^{r+1}<τ\le\left(\fracλΔ\right)^r$, then $δ_{λ,τ}(G)$ equals the distance-$r$ domination number. This yields NP-completeness and APX-completeness at $(λ,τ)=(1/4,1/14)$ on graphs of maximum degree three. For spiders, we obtain an exact finite-state characterization and a polynomial-time algorithm for every fixed rational pair $(λ,τ)$, and show that the branching vertex need not belong to a minimum source set. Finally, an exact mixed-integer linear formulation certifies optimal placements on a real network and a synthetic graph and demonstrates substantial differences from degree, closeness, and classical domination.
The Robust Thompson's Conjecture for Alternating Groups
We show that there exists a constant $ε> 0$ such that if $C$ is a conjugacy class in $A_n$ of size at least $|A_n|^{1-ε}$, then $A_n \setminus \{1\} \subseteq C^2$. This proves the robust version of Thompson's conjecture for the alternating group, conjectured by Shalev (Annals of Math., 2009). Our proof combines character bounds and combinatorial cancellation techniques with the recent theory of hypercontractivity for functions over symmetric groups.
Induced Representations in Cooperative Games with Homogeneous Groups of Players
Oftentimes, the Shapley value, a measure of the contribution of a player to a game, becomes infeasible for games with many players. However, establishing symmetry allows for polynomial-time computation. To examine this reduction, we identify the spectrum of a homogeneous group game by using an induced representation from a Young subgroup. We prove that the depth of interaction of a two-group game is limited by the size of the minority group. Therefore, the algebraic structure of the game filters out a large space of irrelevant complexities. We then show that this filtration constrains any symmetric linear value to a specific subspace. This recovers the Shapley value uniquely for games consisting of exactly two homogeneous groups under standard axioms. Finally, we explore applications to the UN Security Council and complementary goods markets to illustrate the practical power of this approach.
Nowhere-zero $3$-flows in Cayley graphs on solvable groups of twice square-free order
We verify Tutte's $3$-flow conjecture in the class of Cayley graphs on solvable groups of order $2n$, where $n$ is square-free. The proof relies on a new necessary and sufficient condition for a simple $5$-valent graph to admit a nowhere-zero $3$-flow in terms of a special pseudoforest decomposition.
Webs and smooth components of two column Springer fibers
Webs and Springer fibers are separately important objects in representation theory: webs give a diagrammatic calculus for tensor invariants of $\mathfrak{sl}_k$, and the cohomology group of Springer fibers can be used to construct the irreducible representations of the symmetric group. Fung's 1997 thesis gave the first evidence of a connection between $\mathfrak{sl}_2$ webs and Springer fibers, showing that webs naturally index and describe the components of certain "two row" Springer fibers. However, this case is known to be far from generic.
This paper deepens this connection with a similar correspondence in the substantially more complicated "two column" case. In particular, and building on works of Fresse, Melnikov, and Sakas-Obeid, we use webs to give a clean characterization of the smooth components of two column rectangle Springer fibers and a simple description of the geometry of these smooth components. We also show that the Poincaré polynomial of the smooth components is invariant under the natural dihedral action on the corresponding webs.
Minuscule Coxeter Dressians
We study tropical prevarieties associated with minuscule representations of reductive groups. Recently, the defining equations of these prevarieties were used to detect the strong exchange property for Coxeter matroids. In type $A$, this reduces to the well known symmetric exchange property for usual matroids, and the tropical prevarieties in question are the classical Dressians. We study the analogous objects in all Lie types beyond type $A$ which admit minuscule parabolics. Our main results show that points on these prevarieties induce subdivisions of Coxeter matroid polytopes into cells which posses the strong exchange property. Furthermore, we establish conditions for a subdivision to be strong matroidal which are detectable on the induced subdivision of lower dimensional skeleta. We include results concerning explicit computations of the relevant polyhedral complexes and their $f$-vectors.
The Lehmer complex of a Bruhat interval
We introduce Lehmer codes for several finite Coxeter groups, including all classical Weyl groups. These codes correspond to embed products of chains in the Bruhat order, which allow us to associate to each lower Bruhat interval of these groups a multicomplex whose $f$-polynomial is the Poincaré polynomial of the interval. Via a general construction, we prove that these polynomials are $h$-polynomials of vertex-decomposable simplicial complexes, which we call Lehmer complexes. Moreover we provide a classification, in terms of unimodal permutations, of Poincaré polynomials of smooth Schubert varieties in flag manifolds.
Torsion proliferation
This paper considers the generic behaviour of sheaves supported on Schubert varieties in finite flag varieties. Our main results are that, for any fixed prime $p$, as the rank of the associated algebraic group grows, almost every intersection cohomology sheaf admits $p$-torsion in its stalks or costalks, and almost every indecomposable parity sheaf is not perverse. For certain families of partial flag varieties we also determine explicit asymptotics for this growth.
A quasisymmetric analog of Grassmannian Schubert varieties
We show that the cohomology rings of toric Richardson varieties in the Grassmannian are finite truncations of the ring of quasisymmetric functions. We exhibit an affine paving of each such variety whose cell closures give rise to the basis of fundamental quasisymmetric functions. We similarly interpret the homology of these varieties in terms of the ring of noncommutative symmetric functions and show that the expansion of the homological class of any torus-invariant subvariety into the affine paving basis agrees with the expansion of a corresponding generalized noncommutative ribbon function into the ribbon basis. By taking the direct limit of all toric Richardson varieties, we obtain an ind-variety equipped with a weak $H$-group structure whose cohomology is the Hopf algebra of quasisymmetric functions. We conjecture that it is isomorphic to a similar $H$-group constructed by Baker--Richter.
As a byproduct, we deduce that the $f$-vectors of shard polytopes are log-concave, making the first progress on a question of Ferroni--Schröter for matroid base polytopes.
Orthogonal Quantum Latin Squares with Maximal Cardinality from Full-Rank Factorizations
In this paper, we investigate the existence of pairs of orthogonal quantum Latin squares, each with maximal cardinality. Using characters and full-rank factorizations of finite abelian groups, together with a product construction, we establish two infinite families of orders for which such pairs exist.
Parabolic Homotopy Colimits and Coxeter Descents
Let $G$ be a compact, connected, simply connected semisimple Lie group with Weyl group $W$ and simple reflections $S$. For a simplicial complex $\mathcal K$ on $S$, form the homotopy colimit $X_{\mathcal K}(G)=\operatorname*{hocolim}_{I\in\mathcal K}G/G_I$ of standard partial flag manifolds. We compute its integral homology. If $\operatorname{Des}_R(w)$ is the right descent set of $w\in W$ and $\ell(w)$ its Coxeter length, then $$ H_n(X_{\mathcal K}(G);\mathbb Z)\cong \bigoplus_{w\in W}\widetilde H_{n-2\ell(w)-1}(\mathcal K_{\operatorname{Des}_R(w)};\mathbb Z). $$ Thus the induced subcomplexes of $\mathcal K$ supply the topological data, while the Weyl group determines which subcomplex occurs and the Schubert-degree shift. The proof gives a chain-level splitting and an integral Morse reduction. We derive homotopy detection, duality and rigidity results, and recover polyhedral products, matroid--Tutte formulas, and the adjoint sphere as special cases.
Vertex-transitive quantum graphs
We define a quantum graph to be vertex-transitive if the join of its automorphism group is the maximum quantum relation on its quantum vertex set, in direct analogy with the classical case. All simple quantum graphs in $M_2(\mathbb C)$ are vertex-transitive, but many simple quantum graphs in $M_3(\mathbb C)$ are not vertex-transitive. We provide a complete classification of vertex-transitive quantum graphs in $M_3(\mathbb C)$ up to isomorphism. To do this, we introduce a polynomial invariant for quantum graphs in $M_n(\mathbb C)$, which we call the panoramic polynomial.
Combinatorics of Schur ultrafilters
In this paper, we provide a combinatorial characterization of the elements of Schur ultrafilters on countable commutative groups. Using this characterization, we construct a Schur ultrafilter on $\mathbb Z$ that is not infinitary Schur. Moreover, assuming the Continuum Hypothesis, we establish the existence of Schur P-points in $β(\mathbb Z)$. On the other hand, it is consistent with ZFC that there exist P-points in $β(\mathbb Z)$, but none of them are Schur. Also, we extend the result of Fernández-Bretón, Navarro-Castillo, and Soria-Rojas by showing that no Schur ultrafilter on $\mathbb Z$ is a Q-point.
Depth-Based Local Recentering of Maxmin Landmarks for Lazy Witness Persistence
We study a local post-processing rule for maxmin (farthest-point) landmark selection in lazy witness persistence. Maxmin landmarks induce nearest-landmark cells. Within each cell, the landmark is moved toward a data point of maximum empirical halfspace depth, with smaller moves in sparsely populated cells, and is then projected back to a data point in the same cell. The resulting support-weighted rule preserves one landmark per original maxmin cell.
We prove a convex-core guarantee for the depth target and explicit worst-case cover bounds for the recentered landmarks. Experiments on planar synthetic loops and 120 MPEG-7 (Moving Picture Experts Group 7) silhouettes separate average landmark fit from extremal coverage. On the synthetic benchmark, recentering reduces mean nearest-landmark distance in all 900 matched trials; after aggregation over landmark budgets, the mean change is $-0.0138$ across 300 dataset/noise/seed blocks, while maximum cover increases by $0.0067$ on average and a thresholded first homology ($H_1$) count is unchanged. On MPEG-7, the image-level mean distance decreases for all 120 silhouettes, while maximum cover increases for 118. Thus the correction consistently improves average landmark representativeness but does not improve worst-case coverage; on the controlled synthetic benchmark, this trade-off occurs without a detectable change in the coarse $H_1$ summary.
Unitary and Modular Fourier Transforms of the Symmetric Group over Finite Fields
Published
• View Publication
• BIB
We give explicit constructions of Fourier transforms for cyclic and symmetric groups over finite fields of characteristic $p$. For a cyclic group of order $N$ in the modular case $p \mid N$, we factor $x^N-1$ and use Bézout's identity to construct a Fourier transform and its inverse. For the symmetric group $S_n$ in the modular case $p \mid n!$, we compute the Peirce decomposition from central primitive orthogonal idempotents, obtaining a change-of-basis matrix that generalizes the DFT. We also construct unitary realizations of the Specht representations of $S_n$ over finite fields by computing an invariant Hermitian form and factoring its Gram matrix using an extended Cholesky decomposition. These representations provide the matrix coefficients for a unitary DFT in the semisimple case $p \nmid n!$. All constructions are implemented in SageMath.