group
10224 papers tagged with this keyword
Exact Periodicity, Surjectivity, and a Haar Limit Law for a Restarting Josephus Process
We study a restarting Josephus process in which the participants retain their linear order and counting restarts at the current leftmost survivor after every deletion. For step size $m$, put $q=m-1$, and let $F_n(q)$ denote the initial position of the survivor. Reverse insertion gives $F_1(q)=1$ and $F_k(q)=F_{k-1}(q)+\mathbf{1}_{\{q\bmod k<F_{k-1}(q)\}}$. Writing $L_n=\operatorname{lcm}(1,\ldots,n)$, we establish three results for the compatible residue system in this recurrence. First, the full period group of $F_n$ is exactly $L_n\mathbb{Z}$. Second, $F_n$ is surjective onto $\{1,\ldots,n\}$. The proof is constructive and unconditional but computer-assisted: a Chinese-remainder construction and explicit prime estimates reduce it to a finite exact certificate. Third, if $\widetilde Q_n$ is uniform modulo $L_n$, then $(F_n(\widetilde Q_n)-1)/(n-1)$ converges to a symmetric, nondegenerate law on $[0,1]$. A common Haar coupling yields almost-sure and $L^r$ convergence for every $1\le r<\infty$, together with an $O(n^{-1/4})$ bound in $W_1$. Logarithmic boundary-mass estimates rule out every symmetric beta law. We also formulate endpoint dominance as an open problem, prove strict dominance over the two nearest internal positions for every $n\ge4$, exclude prime levels as minimal counterexamples, and verify the claim exactly through $n=49$.
Commuting Graph of Unitriangular Group UT(4; p)
Let G = UT(4; p) be the group of all 4 ? 4 unitriangular matrices over the fi?nite fi?eld Fp, where p is a prime. Using the six-parameter form of the elements of G, we describe the commutativity relation explicitly and use it to analyse the struc- ture of the graph. We prove that the reduced commuting graph is connected and has diameter 3. We also determine the size of its maximal cliques, chromatic number, independence number, per- fectness, etc. by decomposing the graph into cosets, layers, and direction parts.
Factorization of Schur polynomials twisted by roots of unity and a reciprocal pair
Let $μ_t$ be the full set of $t$-th roots of unity and $(z,z^{-1})$ a free reciprocal pair. We determine how much of a partition $s_λ(μ_t,z,z^{-1})$ can see: a multiset of three integers and a sign, and nothing else, so partitions of any sizes agreeing on it share the value. The evaluation, for every $t\ge2$ and every $λ$ with no hypothesis on its shape, is a signed product of exactly three factors over a fixed denominator, or zero, the three arguments read off the $t$-quotient. The proof is a Laplace expansion along the $t$ frozen rows of the bialternant with one cancellation lemma in the symmetric group, and delivers the sign, the one already in Littlewood's evaluation at $μ_t$. Three consequences follow. A vanishing criterion: it vanishes exactly when a residue class modulo $t$ is empty, or two distinguished classes are concentric as intervals, the second only for $t$ even. An extension of a recent independence criterion of Ayyer-Kumari: for two-row shapes on the reciprocal locus it acquires exactly one further family, classified by core and quotient. And an enumerative reading: at $t=2$ a $(-1)$-enumeration of plane partitions in a box refined by a parameter that stays free. The factorization is isolated: it fails under each of four deformations of the alphabet, for one reason. A last section treats the zero locus, which survives further pairs. Two conditions make $Ψ_r=s_λ(1,-1,z_1^{\pm1},\dots,z_r^{\pm1})$ vanish: the beta set having constant parity, and $λ$ being self-complementary of odd width. That direction is a corollary of the complementation identity over an index family Ayyer and Behrend single out. The new content is the converse, that nothing else vanishes, proved for one pair, for every $r$ inside Littlewood's range, and for every $r$ when $|λ|\le2r+2$. The rest is conjectural, verified over every shape in the tabulated ranges.
Diameter and Length of Metric Graphs
A metric graph is a metric space obtained from a finite collection of intervals whose endpoints are identified in groups. It can also be seen as a finite, edge-weighted graph where the continuum of points along the interior of each edge is taken into consideration, and each edge is locally isometric to an interval whose length is the edge-weight. The diameter of a metric graph $G$ is the maximum distance between all pairs of points of $G$. We show that the total length of a metric graph $G$ with $\ell(G)$ leaves, cyclomatic number $cyc(G)$, and diameter $diam(G)$ is at most $(cyc(G) + max\{1, \ell(G)/2\}) \cdot diam(G)$. Furthermore, we show that his bound is tight, and we characterize the metric graphs where equality holds. As an application, we provide tight bounds in certain cases for the diameter of metric graphs obtained from a cycle or a star by the identification of a fixed number of points (pairwise or in groups).
A Second-Logarithm Lower Bound for Sets with No Unique Sums
For an odd prime $p$, let $m(p)$ be the minimum cardinality of a set $A\subseteq \mathbb Z/p\mathbb Z$, with $|A|\geq2$, such that no sum in $A+A$ has a unique representation as an unordered pair from $A$, with repetition allowed. Bedert proved \[
m(p)\gg
\log p\,
\frac{\sqrt{\log^{(3)}p}}{\log^{(4)}p}. \] We prove the stronger lower bound \[
m(p)\gg \log p\,\log\log p. \] More generally, if $G$ is a finite Abelian group and $q(G)$ is the least prime divisor of $|G|$, then the same explicit estimate holds whenever $q(G)>2$, and in particular every subset $A\subseteq G$ with $|A|\geq2$ and no unique sum has cardinality $\gg \log q(G)\,\log\log q(G)$ as $q(G)\to\infty$.
The proof has two structural inputs. First, a maximum subset of $A$ whose distinct-element subset sums of size at most four are all different has cardinality $\gg\log p$. This follows from a short-coordinate lemma and a collision-lattice determinant argument. Second, we refine Bedert's density increment. Alternative representations are oriented toward an uncovered endpoint, coalesced by their translation, and separated into wide, exposed, and recurrent batches. A load-sensitive entropy lemma codes the recurrent translations using their actual final fibre multiplicities. The resulting global shift-set complexity is $\exp(O(K))$, where $K$ is the ratio of $|A|$ to the level-four additive dimension. This forces $K\gg\log\log p$, and the theorem follows. All headline statements and the structural implications used to derive them have also been checked in Lean~4 with explicit integer constants. As a secondary and logically independent result, we construct weakly ternary-balanced sets and obtain \[
m(p)\leq
\frac{(\log p)^2}{2(\log 3)^2}
+\left(\frac{2}{\log 3}+o(1)\right)
\frac{(\log p)^2}{\log\log p}. \]
Khajuraho's magic square is an hypercube
The panmagic square engraved in a temple in Khajuraho, India, and studied by Narayana Pandita in the 14th century, closely guards a secret: its group of symmetries is isomorphic to that of the hypercube, the four-dimensional analogue of the standard cube.
The basic tropical polynomials generate the semifield of $r$-symmetric tropical rational functions
Let the symmetric group $S_n$ act on the space of $n \times r$ real matrices by permuting rows, so orbits are multisets of $n$ points in $\mathbb{R}^r$. The basic $r$-symmetric tropical polynomials form a family of $\binom{n+r}{r}-1$ nonconstant invariants of degree at most $n$ that separates orbits and embeds the orbit space bi-Lipschitzly. We prove that this family generates the semifield of all $r$-symmetric tropical rational functions, answering a question raised in [J. Pure Appl. Algebra 223 (2019) 72-85]. Derksen showed that the invariant semifield of any permutation group $G \le S_N$ is generated in degree at most $N p_1 \cdots p_{|G|}$ ($p_i$ the $i$th prime), which for the row action is $nr p_1 \cdots p_{n!}$; the present result replaces this by generators of degree at most $n$. The generating expression is a finite minimum over the ways of re-assembling a multiset from its sorted columns, with penalties from the basic values that, via the bi-Lipschitz inequality, dominate a wrong re-assembly. The same penalties describe the image of the basic coordinate map as the zero set of a single tropical rational function and yield an expression algorithm. Subfamilies of the basic family containing the single-column values generate if and only if they separate. For any permutation group $G \le S_N$ the same mechanism generates the invariant semifield in degree at most $\max\{N, \binom{N}{2}\}$, a quadratic bound independent of the group order; combined with a genericity theorem of Cahill, Iverson, Mixon, and Packer, it yields $2N+1$ invariant tropical polynomials that separate orbits and $3N$ that generate, with at least $N$ necessary for each task. The quadratic bound is optimal: every $A_N$-invariant tropical polynomial of degree less than $\binom{N}{2}$ is $S_N$-invariant, so every separating family for the alternating group $A_N$ contains a member of degree at least $\binom{N}{2}$.
Improved Bounds for Nested Orthogonal Arrays
Nested orthogonal arrays (NOAs) have found increasing application in various experimental design problems. A central challenge in this field is the derivation of lower bounds on the number of runs. These bounds serve as a powerful criterion to prove the nonexistence of specific arrays. For symmetric NOAs, Mukerjee, Qian, and Wu developed statistical arguments that yield fairly tight bounds. By contrast, the bounds for asymmetric NOAs proposed by Lin, Pang and Chen, which are obtained via a recursive column deletion technique that reduces the general problem to NOAs of strength 2, are not optimal. Consequently, improving these bounds remains a significant open problem.
In this paper, we reformulate the Rao bound and establish a new bound for NOAs under a group theoretic framework. Using the character theory of finite abelian groups, we obtain an equivalent characterization via group characters. This framework allows us to give a new proof of Rao bound for orthogonal arrays and to derive significantly sharper lower bounds for asymmetric NOAs than those of Lin et al. In the case where all factor levels are equal, our bounds reduce naturally to the symmetric bounds of Mukerjee, Qian, and Wu. We also confirm their optimality by explicitly two constructions of NOAs that achieve these bounds.
Beyond transversality: structure of Clifford circuits for CSS codes
We characterize four groups of Clifford circuits for Calderbank--Shor--Steane (CSS) codes that are relevant to fault-tolerant logical operations. First, we show that every code-preserving Clifford circuit is a product of Z-diagonal circuits, composed of S and CZ gates, and their X-basis analogues. Second, we define the two-fold transversal group, generated by depth-one two-local code-preserving circuits, and show that each of its elements can be expressed as a product of layers consisting of either Z-diagonal, X-diagonal, or CNOT gates. As a corollary, every transversal gate is a product of three transversal diagonal circuits; for connected non-self-dual codes, two such circuits suffice.
We further show that every code-preserving automorphism circuit, consisting of single-qubit Clifford gates and permutations, has a normal form comprising a Hadamard layer, a permutation, and two diagonal circuits. We also define a two-fold automorphism group, in which a depth-one two-local circuit may be code-preserving up to a permutation, and show that its logical image can be larger than that of the two-fold transversal group.
For 136 CSS codes, we provide explicit generators and determine the logical image of the two-fold transversal group. We find 78 codes whose full logical Clifford group is generated by two-fold-transversal circuits, including codes of distances 3, 4, 5, 6, 8, and 12, with respective rates $2/5$, $3/4$, $1/9$, $1/5$, $2/5$, and $3/56$. We construct three families of CSS codes from bipartite grids, cut-complements, and quadrics, many of which realize the full logical Clifford group in this way. More generally, the induced logical group can be large even when it is not full logical Clifford group: it has order at least $460\,800$ for the gross code and roughly $10^{26}$ for a clustered-cyclic code.
Noncrossing Combinatorics, the Full Twist, and Decategorification of Knot Invariants
Much work in knot theory has consisted of categorifying, and thereby strengthening, knot invariants. We take the opposite approach: decategorification, more commonly called combinatorics. We introduce a technique that relates the dual braid group generators, the Hecke images of pure braids, and factorization problems in reflection groups to knot invariants. We prove that the $(a,z{=}0)$-HOMFLYPT polynomial can be computed as a solution to such a problem. This technique was motivated by Coxeter--Catalan combinatorics. For example, we give a new proof of EL-shellability of the noncrossing partition lattice using the image of the full twist in the Hecke algebra; in a surprising sort of combinatorial reciprocity, its inverse computes the homotopy type. Similarly, noncrossing partitions naturally arise from our construction applied to positive powers of the full twist, while cluster complexes come from the same construction applied to negative powers. In crystallographic type, we exploit the conjugacy of all Coxeter elements to give the first reflection subword models for rational noncrossing Catalan objects. Our reciprocity gives two models: one generalizing noncrossing partitions, and one generalizing clusters. Applying the same method produces two (rational) noncrossing parking models.
Circular sorting in the alternating group
The symmetric group $S_n$ is generated by transpositions, and problems of sorting permutations using transpositions are well studied. In recent work, Adin, Alon, and Roichman studied the related problem of sorting $n$ points on a circle, and gave a formula for the maximum number of adjacent swaps required. This is equivalent to the number of adjacent transpositions required to transform any permutation into a power of the cyclic permutation $(1,2,\ldots, n)$.
The focus of this work is an analogous question in the alternating group $A_n$, which is generated by $3$-cycles. That is, using 3-cycles instead of transpositions, what is the maximum number of steps required to transform an even permutation into a power of $(1,2,\ldots, n)$ in the alternating group? We determine this number exactly for even $n$ and $n \equiv 1 \pmod{4}$. For $n \equiv 3 \pmod{4}$, we show that the sorting number can take one of two possible values and give explicit constructions demonstrating that the larger value occurs infinitely often.
Shifted lower Bruhat intervals are EL-shellable
Let $W$ be an arbitrary Coxeter group. The shifted Bruhat interval $[w_1,w_2]\,x^{-1}$, the translate of the Bruhat interval $[w_1,w_2]$ by an element $x$, is partially ordered by the Bruhat order of $W$. These posets arise from affine pavings of Richardson varieties, and in general they are neither twisted intervals nor tilted Bruhat intervals. Our main result is that the shifted lower intervals $[e,w]\,x^{-1}$ are EL-shellable for every Coxeter group, via an explicit labeling of each cover by a reflection. Along the way we show that $[e,w]\,x^{-1}$ is a graded poset with a unique maximum given by the Demazure product and a unique minimum given by an opposite Demazure operator that we introduce.
Information and Locality in Cayley Graphs
A de Bruijn sequence is the cyclic prototype of a Cayley-graph observation problem: when does the ordered label word on a translated window $gY$ determine the vertex $g$? We distinguish three parameters. The unrestricted number $\operatorname{sep}_q(G)$ minimizes an arbitrary separating pattern; the connected number $\operatorname{csep}_q(G,S)$ requires a connected Cayley window containing $Y_S=\{1\}\cup S$; and the one-step number $χ_1(G,S)$ fixes $Y_S$ and minimizes the alphabet. Thus $\operatorname{sep}_q$ is a group-level baseline, $\operatorname{csep}_q$ measures the cost of locality, and $χ_1$ tests the smallest prescribed local window.
The organizing theme is the tension between information and locality. Carbon tori test the gap between $\operatorname{sep}_q$ and $\operatorname{csep}_q$: for generalized dihedral groups $\mathbb{F}_{\ell^d}^{\times}\rtimes C_2$ we prove, for odd prime powers $\ell$, the sharp baseline $\operatorname{sep}_\ell=d+1$ and construct connected zig-zag windows, while the order-$14$ Heawood torus satisfies $\operatorname{sep}_4=2$ and $\operatorname{csep}_4=4$. The spherical $A_5$ example and a finite simple-group comparison test the fixed one-step window: explicit symmetric cubic generating tuples give $χ_1(A_5,S)=3$ and $χ_1(\operatorname{PSL}_2(\mathbb{F}_7),S)=4$, both at the counting bound, with structured matrix-coefficient certificates. Cyclic-coset packings, finite-field coordinates, and restricted matrix coefficients are used only as the construction tools these two examples require.
Discrete homology computations by reduction to zero differentials
We develop a new algorithm for computing (persistent) discrete homology of graphs using reduction to zero differentials and active enumeration. This allows us to compute the fourth homology group of the Greene sphere, along with several previously unknown groups. We also show that persistent discrete homology computes faster than simplicial homology of Vietoris-Rips complex in the high-noise non-metric settings, making it a better choice for noisy data sets.
Product sets in sets of returns and positivity of symmetric ergodic averages
We study sets of (measurable) returns in countable groups $G$, namely sets of the form $\{g\in G:μ(A\cap T_gA)>0\}$ arising from measure-preserving actions. Extending a result of Bergelson, we show that sets of returns in $G\times G$ contain subsets of the form $B\times B$, where $B$ is large with respect to suitable notions of largeness that remain meaningful even for non-amenable groups. As a consequence, if $G$ is amenable, then every sufficiently large subset $A\subseteq G\times G$ satisfies $B\times B\subseteq AA^{-1}$ for some large set $B\subseteq G$.
We also investigate when sets of returns in $G$ contain product sets $BB$ with $B$ large. In contrast with the Cartesian-product phenomenon above, this problem is considerably subtler in non-abelian groups and is closely connected to `symmetric correlation functions', namely functions of the form $g\mapsto μ(T_g^{-1}A\cap T_gA)$. We use this connection to show that, for broad classes of amenable groups - including finitely generated nilpotent groups and certain solvable non-nilpotent groups, every sufficiently large set $A\subseteq G$ contains a large subset $B$ satisfying $BB\subseteq AA^{-1}$.
Finally, we establish polynomial analogues of these results for finitely generated nilpotent groups, extending earlier work of Bergelson and Ruzsa.
Type $B$ fermionic coinvariant rings
Let $\mathfrak{B}_n$ denote the hyperoctahedral group. The type $B$ coinvariant rings $R_{\mathfrak{B}_n}^{(k,j)}$ are quotients of the ring of polynomials in $k$ sets of $n$ commuting variables and $j$ sets of $n$ anticommuting variables by the ideal generated by the diagonal $\mathfrak{B}_n$-invariants without constant term. Building upon the work of Kim--Rhoades (2022), we give an explicit formula for the bigraded Frobenius series of $R_{\mathfrak{B}_n}^{(0,2)}$: the bigraded multiplicity of each irreducible $\mathfrak{B}_n$-character is a single Schur polynomial, so $R_{\mathfrak{B}_n}^{(0,2)}$ is multiplicity-free as a $\operatorname{GL}_2 \times \mathfrak{B}_n$-module. We then determine that the trigraded multiplicity of the sign character of $R_{\mathfrak{B}_n}^{(0,3)}$ is given by a single Schur function. Finally, for all $k$ and $j$, we determine the multiplicity of the standard character in the type $A$ coinvariant ring $R_{n}^{(k,j)}$, as well as the multiplicities of the characters indexed by the bipartitions $((n-1),(1))$ and $((n-1,1),\varnothing)$ in $R_{\mathfrak{B}_n}^{(k,j)}$. These are the first nontrivial characters established for all $(k,j)$ in either of types $A$ or $B$.
A graph-theoretical characterisation of subgroups of Thompson's group $V$
We prove a graph-theoretical characterisation of finitely generated subgroups of Thompson's group $V$: a finitely generated group embeds in $V$ if and only if it admits a faithful context-free action, or equivalently if it belongs to the class CF-TR of transition groups of context-free graphs recently introduced by Matucci and the three last authors. Using this characterisation, we prove results in different directions:
- All known examples of groups with co-context-free Word Problem do embed in $V$, providing evidence towards Lehnert's conjecture.
- Each finitely generated subgroup of $V$ is either virtually abelian, or contains a free non-abelian semigroup. It follows that groups of intermediate growth do not embed in Thompson's $V$.
We further study the relation between transition groups defined by graphs that are limits or covers of each others, and prove properties of transition groups of context-free graphs of polynomial growth. Finally, we prove that the Basilica and Hanoï Towers groups do not embed in $V$. This uses the geometry of Schreier graphs of the natural actions of these groups and of Thompson's $V$.
Spectral Properties of Power Graphs of Metacyclic Groups
For a group $Ω$, the associated power graph $P(Ω)$ is defined as the graph whose vertices are the elements of $Ω$, with two distinct vertices $u,v\in Ω$ being adjacent if either $u=v^m$ or $v=u^n$ for some $m,n \in \mathbb{N}$. In this paper, we completely characterise the structure of the power graph associated with the class of metacyclic groups. Building on this structural description, we derive explicit expressions for the characteristic polynomials of the adjacency, Laplacian, and signless Laplacian matrices. Moreover, we obtain lower and upper bounds for the spectral radii of the adjacency and signless Laplacian matrices.
Lattice point sumsets and asymptotic approximate groups
We establish new quantitative bounds for asymptotic approximate groups arising from finite subsets of lattices and, more generally, semi-linear subsets of abelian groups. Our approach combines Khovanskii's theorem on sumsets with Rogers and Zong bounds for the covering numbers.
Square roots in the Appell group and Sprugnoli arrays
We introduce a special mapping from pairs of power series to the group of Sprugnoli matrices. This mapping has the property when the second argument is an even power series, then the square of the resulting Sprugnoli array is an aerated element of the Appell subgroup of the Riordan group. This allows us to explore the square roots of elements in the aerated Appell subgroup. As the identity is an element of this subgroup, we are led to explore related involutions in the Sprugnoli group.