group
10394 papers tagged with this keyword
Equivariant Poincaré polynomial of type B Wonderful Models
We study the actions of hyperoctahedral groups on the cohomology of the minimal De Concini-Procesi wonderful models associated with reflection arrangements of type $B$. We express the generating series of their equivariant Poincaré polynomials in terms of the corresponding type $A$ series and the equivariant reduced characteristic series of type $B$. The key ingredient is a general inversion formula in equivariant incidence algebras relating equivariant Chow functions and super-reduced characteristic functions. Applying this formula to partition and signed partition lattices, we recover Getzler's compositional identity in type $A$ and establish its type $B$ analogue. We also obtain explicit plethystic and infinite-product formulas for the equivariant characteristic series of type $B$.
The Wang--Sun Sum over Affine Derangements
Let $n$ be even, let $ζ$ be a primitive $n$-th root of unity, and let $Δ_n$ be the set of derangements in the affine group $\overrightarrow{GL}(\mathbb{Z}/n\mathbb{Z})$. We evaluate the Wang--Sun type sum \[
S_n=\sum_{π\inΔ_n}\mathrm{sign}(π)
\prod_{x\in\mathbb{Z}/n\mathbb{Z}}
\frac{1+ζ^{x-π(x)}}{1-ζ^{x-π(x)}}. \]
The main step is an arithmetic grouping: for an affine map $π(x)=vx+u$, the product depends only on $σ=\gcd(1-v,n)$ and on the residue class of $u$ modulo $σ$. After summing the translation signs, the full sum becomes a sum over even divisors with explicit local multiplicities. The only remaining analytic blocks are alternating even cotangent power sums; a recent formula of Liu and Xin then gives a closed expression in Bernoulli polynomials and universal coefficients. Moreover, using results by Cvijović and Klinowski we can evaluate the cotangent power sums using exclusively rational arithmetic. This supplies a general formula for the full affine sum whose initial values were computed using the definition only in an earlier work. The formula also lets us prove some general patterns of the sum: it has integral value for powers of $2$, prime denominator for $2p$ for primes $p>3$ and it has alternating signs.
A quantitative version of the non-abelian idempotent theorem
Published in Geom. Funct. Anal. 21 (2011), no. 1, 141-221
• View Publication
• BIB
Suppose that G is a finite group and A is a subset of G such that 1_A has algebra norm at most M. Then 1_A is a plus/minus sum of at most L cosets of subgroups of G, and L can be taken to be triply tower in O(M^2). This is a quantitative version of the non-abelian idempotent theorem.
Coset decision trees and the Fourier algebra
Published in J. Anal. Math. 144 (2021), 227-259
• View Publication
• BIB
We show that if G is a finite group and f is a {0,1}-valued function on G with Fourier algebra norm at most M then f may be computed by a coset decision tree (that is a decision tree in which at each vertex we query membership of a given coset) having at most \exp(\exp(\exp(O(M^2)))) leaves. A short calculation shows that any {0,1}-valued function which may be computed by a coset decision tree with m leaves has Fourier algebra norm at most \exp(O(m)).
Homotopy groups and quantitative Sperner-type lemma
Sperner's lemma guarantees a fully labeled simplex under a boundary labeling rule. We ask how many fully labeled simplices are forced by the homotopy class of the boundary map. For a geometrically triangulated convex ball, we compare this number with the least number of simplices over a target facet among representatives of the boundary class on smoothly triangulated spheres. The comparison holds in equal and consecutive dimensions, and whenever the number of fully labeled simplices is at most twice the number of colors. A pyramid construction gives a comparison with the suspended class in all dimensions.
If the boundary sphere has dimension one or two greater than the target sphere, a nonzero boundary class forces at least nine fully labeled simplices. We construct geometric examples attaining nine when the difference is one. When the difference is two, we prove that the spherical minima eventually become constant as the dimensions increase. We also show that the choice of triangulation matters: the smooth Hopf minimum is nine for every nonzero Hopf invariant, whereas for convex polytopal spheres the minimum grows as the square root of its absolute value. The proofs use framed fibres, monochromatic cycles, and maps on vertex links.
Symmetries of the q-deformed real projective line
We generalize in two steps the quantized action of the modular group on q-deformed real numbers introduced by Morier-Genoud and Ovsienko. First, we let the projective general linear group PGL(2,Z) act on q-real numbers via a q-deformed action. The deformed matrices we get have combinatorial interpretations, and we show that their traces are palindromic polynomials. Then we consider an extension of the group PGL(2,Z) by the 2-elements cyclic group, and define a deformed action of this extension on q-real numbers. We deduce from these actions some underlying relations between q-real numbers, and between left and right versions of q-deformed rational numbers. In particular we investigate the case of some algebraic numbers of degree 4 and 6. We also prove that the deformation of real numbers is an injective process.
Generic solutions to symmetric linear equations
In 1993, Ruzsa showed that for every $k \geq 2$, there exists a constant $C$ such that every subset $A \subseteq [N]$ of size at least $C N^{1/k}$ contains $2k$ distinct elements $a_1, \ldots, a_k, b_1, \ldots, b_k \in A$ such that $a_1 + \cdots + a_k = b_1 + \cdots + b_k$. We strengthen this result by proving that the elements $a_1, \ldots, a_k, b_1, \ldots, b_k$ can be chosen to have the additional property that $\{a_1, \ldots, a_k, b_1, \ldots, b_k\}$ has $2^{2k}-1$ distinct subset sums, with the only coincidence being that $\{a_1, \ldots, a_k\}$ and $\{b_1, \ldots, b_k\}$ have the same sum.
Our proof also applies to any finite Abelian group of odd order $N$, and it provides a corresponding supersaturation result: that whenever $|A| \geq CN^{1/k}$, there are at least $Ω(|A|^{2k}/N)$ choices for $a_1, \ldots, a_k, b_1, \ldots, b_k \in A$ satisfying these properties. We prove a slightly weaker statement for Abelian groups of even order.
We also apply our methods to the vector space setting and prove the following $\mathbb F_q$-analogue of the Bondy-Simonovits Theorem on the extremal number of even cycles in graphs: Any rank-$n$, simple, $\mathbb F_q$-representable matroid with no circuit of size exactly $2k$ has size at most $C q^{n/k}$ for some constant $C$ depending only on $q$ and $k$. When $q=2$, this is best possible up to the constant $C$ for all $k \geq 2$. Our methods also apply to the original graph setting and give a new proof of the Bondy-Simonovits Theorem and its supersaturation version.
Recovery Set Structures and Service Rates of Codes Obtained by the Plotkin-type Construction
In distributed storage systems, redundancy enables a single data object to be reconstructed using several disjoint groups of servers. The resulting service rate region (SRR) captures all combinations of object request rates that the system can support simultaneously without overloading any individual server. We analyze the SRR of binary codes obtained via the Plotkin-type construction. We demonstrate that each recovery set for an information object of the Plotkin-type code $\mathcal{C}_p$ induces a corresponding recovery set for the same data object characterized by the underlying code $\mathcal{C}$. Furthermore, by characterizing the recovery sets structure of $\mathcal{C}_p$ in terms of the recovery set structure of $\mathcal{C}$, we identify the additional recovery sets introduced by this construction. Using the associated recovery hypergraphs, we establish bounds on the SRRs of $\mathcal{C}_p$ and iterated code $\mathcal{C}_{p^m}$ in terms of the SRR of $\mathcal{C}$. We consider the family of first-order binary Reed-Muller codes and show how the recovery structure, and consequently, the service rates of R$(1,m)$ for arbitrary $m$ can be recursively derived from a generator matrix of R$(1,2)$ through our results for successive Plotkin-type constructions.
Automorphisms of pentagonal geometries with block size 3
A pentagonal geometry PENT(k,r) is a k-uniform, r-regular partial linear space with the property that the set of points not collinear with a given point x is itself a line in the geometry. The existence spectrum of these geometries is known; we begin the study of automorphisms of these structures in the case k=3. We determine the spectrum of pentagonal geometries PENT(3,r) with either a cyclic or reverse automorphism to be r = 1 or 10 (mod 12). In addition, we show that there are 584 pairwise non-isomorphic PENT(3,7)s and classify them by the orders of their automorphism groups.
Morley Simplices in Higher Dimensions: Regularity, Reflections, and Counterexamples
Trisecting the dihedral angles of an $n$-simplex defines its Morley simplex. We study the original simplices for which this simplex is regular. A criterion in terms of the Gram matrix of the facet normals reduces the problem to a matrix equation. The derivative of the Morley map at the regular simplex has two explicit eigenvalues, both nonzero for $n\ge3$; thus the regular simplex is an isolated solution. We conjecture that in dimensions four and five a regular Morley simplex forces two hyperplane reflections interchanging disjoint pairs of vertices. We prove that this conclusion fails in every dimension $6\le n\le200$ and in every dimension $n=\binom k2-1$ with $k\ge9$: in these dimensions there are simplices with regular Morley simplex and no hyperplane reflection symmetry. The examples for $8\le n\le200$ have dihedral symmetry of order $2(n+1)$, while the infinite family is based on the Johnson scheme. In dimension four we give exact constructions of two nonregular examples, defined by irreducible polynomials of degrees $18$ and $8$ with Galois groups $S_{18}$ and $S_8$. Neither example is expressible by radicals. The computer assisted existence proofs use exact rational arithmetic and intervals with outward rounding.
Coloring 3-colorable graphs with $O(n^{4/23})$ colors via a Gaussian-cover recursion
We give a randomized polynomial-time algorithm that colors any promised $3$-colorable graph on $n$ vertices with $\smash{O(n^{4/23}) = O(n^{0.17391\ldots})}$ colors, improving on the recent bounds of $O(n^{0.19539})$ by Bansal, Huang, and Lee and Narang and Tang who obtained $O(n^{(13-\sqrt{97})/18+ε})=O(n^{0.17506\dots + ε})$ colors for every fixed $\smash{ε>0}$.
To prove our result, we start from a fixed-level semidefinite relaxation, where we use a finite-depth recursion on Gaussian covers. Fixing a root vertex, we group vertices by correlation with the root vector. Here, each step extends a cover of directions by one edge and transfers it to a successor group. Our key analytic ingredient is a variance bound for Gaussian maxima: for a maximum of $m\geq 2$ centered linear forms with coefficient norms at most $r$, mean $μ$, and variance $v$, we prove $v\leq r^2-μ^2/(2\log m)$ using Chen's Gaussian convexity theorem. Together with a variance-scale lower-tail estimate, this controls the threshold loss at each extension, which shows that root-conditioned vector colorings can either extract a large independent set from a group or bound its size, forcing a contradiction after constantly many steps. The resulting sparse-case guarantee combines with the dense progress bound of Kawarabayashi, Thorup, and Yoneda, and the recursion's numerical inequalities are verified via rational interval arithmetic.
Exact Counts of Binary Phylogenetic Networks with Four Reticulations
Phylogenetic networks provide a flexible framework for representing reticulate evolutionary processes, such as hybridization, introgression, recombination, and horizontal gene transfer. However, their combinatorial complexity makes even basic enumeration problems difficult. Building on our previous work for networks with up to three reticulations, we derive an explicit closed-form formula for the number of unrestricted rooted binary phylogenetic networks with four reticulations on \(n\) labeled taxa.
Our approach is based on tree-component graphs. We classify the 79 possible component graphs corresponding to networks with four reticulations into ten groups. We then enumerate the networks associated with each group by combining known counts of one-component networks, forests, and networks with fewer reticulations. Summing these contributions yields the desired formula. This result extends the exact enumeration of unrestricted binary phylogenetic networks to four reticulations and further demonstrates the effectiveness of component graphs for systematically organizing and counting increasingly complex network classes.
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 231 CSS codes, we provide explicit generators and determine the logical image of the two-fold transversal group. We tabulate 173 codes whose full logical Clifford group is generated by two-fold-transversal circuits, including codes of distances 3, 4, 5, 6, 8, 10, 12, and 13, with respective best rates 2/5, 3/4, 34/77, 17/28, 14/25, 1/27, 3/56, and 1/33. We construct families of CSS codes from bipartite grids, cut-complements, and quadrics, and census the self-dual codes invariant under rank-3 permutation groups. Many of these codes realize the full logical Clifford group in this way.
Minimal Submanifolds and Waists of Locally Symmetric Spaces
We show that compact locally symmetric manifolds $M$ with universal cover the symmetric space $X$ for $SL(n,\mathbb{R})$ form a topological higher $d$-expander family for $d\leq n/8$. We prove the same statement for $SL(n,\mathbb{R})$ replaced by a split simple non-compact real Lie group $G$ and for $d$ linear in the rank of $G$. We accomplish this by showing that minimal submanifolds of low codimension in such $M$ must have volume comparable to the volume of $M$. Our proof is based on a new monotonicity formula for minimal submanifolds of $X$, together with bounds on the decay of matrix coefficients for unitary representations of higher rank Lie groups. We also give the first locally symmetric example of power-law systolic freedom. This paper partially supersedes \cite{fl24}.
Continuous graph homomorphisms of higher dimensional abelian group actions
For every fixed integer $d\geq2$, we prove that the finite graphs receiving a continuous homomorphism from the standard Schreier graph $F(2^{\mathbb Z^d})$ form a $Σ^0_1$-complete set. This extends a theorem of Gao, Jackson, Krohne and Seward when $d=2$. For the positive part of the reduction, we show that if a graph $H$ satisfies a certain property then there is a continuous graph homomorphism from $F(2^{\mathbb Z^d})$ to $H$, in particular, the complete graph $K_4$ satisfies this property. This extends a theorem of Gao and Jackson. We also prove that $\big (\mathcal H_d\big )$ is a strictly decreasing sequence.
Lower affine MV polytopes of rank 2
When $G$ is a complex reductive algebraic group, MV polytopes are in bijection with the non-negative tropical points of the unipotent group of $G$. In this paper, we prove a similar theorem for certain subclasses of rank 2 affine MV polytopes.
For the Kac-Moody group $\widehat{SL_2}$, an affine MV polytopes splits into three subpolytopes: a lower, a middle and an upper polytope. The lower polytopes are natural generalizations of finite-type polytopes with highest vertex labelled by an arbitrary Weyl element. We extend the known results from this subclass of finite-type MV polytopes to the case of lower affine MV polytopes of rank 2. We prove that for an element $w$ of the affine Weyl group, the class of lower affine MV polytopes with highest vertex $w$ are in bijection with the non-negative tropical points of the reduced double Bruhat cell labelled by $w^{-1}$. To do this, we describe the BZ data of a rank 2 affine MV polytope and show that certain generalized minor functions satisfy the conditions of a lower polytope. As any upper polytope is a reflection of some lower polytope, a analogous result will hold for the class of upper affine MV polytopes of rank 2.
Unequal-parameter Kostka--Foulkes polynomials of type $C_n$ at fundamental weights
We establish an explicit formula for the Kostka--Foulkes polynomial of type $C_n$ with unequal parameters at fundamental weights. As an application, we deduce an explicit Lusztig--Kato formula for the Hecke algebra of the special (but not hyperspecial) maximal compact subgroup of a quasi-split but non-split special orthogonal group over a $p$-adic field.
Explicit Witnesses at Every Gap of the Depth Filtration of $β\mathbb{N}$
Let $Σ_{1} = \mathbb{N}^*$ and $Σ_{k+1} = \overline{\mathbb{N}^* + Σ_{k}}$ be the cumulative depth filtration of $β\mathbb{N}$, the analogue for $(\mathbb{N},+)$ of a chain of closed ideals that Protasov and Protasova studied for discrete groups, where strict descent follows from a theorem of Lutsenko and Protasov. For every $k$ we give an explicit set whose closure meets $Σ_{k}$ but not $Σ_{k+1}$. Fix the doubly exponential sequence $e_{n} = 2^{2^{n}}$, partition it into $k$ subsequences $E_{0}, \dots, E_{k-1}$ by the residue of the index modulo $k$, and set $A_{k} = E_{0} + \cdots + E_{k-1}$. We prove that any sum $q_{0} + \cdots + q_{k-1}$ of free ultrafilters with $E_{t} \in q_{t}$ lies in $Σ_{k} \setminus Σ_{k+1}$. The engine is a master lemma, proved by induction on $j$: if a sum $F_{1} + \cdots + F_{j}$ of subsequences of $\{e_{n}\}$ with pairwise disjoint index sets belongs to a free ultrafilter $s$, then $s \notin Σ_{j+1}$. The proof rests on a single rigidity of the doubly exponential sequence: a fixed difference forces the largest index in any shift-intersection, once it is large, to cancel within its own subsequence, which makes every shift-intersection descend by at least one level. The same witnesses lie in the gaps of the pure filtration.
A new group in the Riordan family of matrix groups: the Sprugnoli group
We define a group of lower-triangular matrices whose columns are defined by power series. This group can be seen as a generalization of the (ordinary) Riordan group and the double Riordan group. Elements of this group are defined by three power series. Sequence bisections and vertically stretched Riordan arrays play an important role in the formulation of this group. We give a production matrix characterization of this new group. We also indicate how higher order groups can be defined, based on $n$-tuples of power series. We have chosen to name this group in memory of Renzo Sprugnoli, who was a pioneer in the application of the Riordan group to combinatorial problems as well as contributing to an understanding of the rich structure of Riordan arrays.
Arithmetic Nonexistence Conditions for Tight Spherical $5$-Designs
We prove two arithmetic nonexistence conditions for tight spherical $5$-designs in dimension $(2m+1)^2-2$. Let $m$ be a positive even integer satisfying $ν_2(m(m+1))\leq5$, where $ν_p(a)$ denotes the exponent of the prime $p$ in the positive integer $a$. We show that such a design does not exist if either (i) $m\equiv1\pmod3$ and $ν_p(m(m+1))\leq1$ for every prime $p\geq7$ with $p\equiv3\pmod4$, or (ii) $m\equiv0\pmod3$, $ν_3(m(m+1))=1$, and $ν_p(m(m+1))\leq1$ for every prime $p\geq5$ with $p\not\equiv1\pmod{12}$. Together, these conditions recover the corresponding nonexistence results of Bannai, Munemasa, and Venkov and of Nebe and Venkov, and exclude parameters not covered by either earlier result, including $m=16,40,88,96,100$. The proofs use lattice theory to constrain the discriminant groups of the associated lattices, and derive contradictions through Gauss sums and determinant congruences.