Transversal Difference Numbers in Finite Abelian Quotients

• URL: http://arxiv.org/abs/2606.27961v1
• Date: Fri, 26 Jun 2026 11:03:47 GMT
• Title: Transversal Difference Numbers in Finite Abelian Quotients
• Abstract summary: Given (Hleq G) finite abelian groups, a (Tsubseteq G) for (G/H) has fixed size (|G/H|), but its ambient difference support (D(T)=T-T) can vary with the embedding of (H) in (G)
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Given \(H\leq G\) finite abelian groups, a transversal \(T\subseteq G\) for \(G/H\) has fixed size \(|G/H|\), but its ambient difference support \(D(T)=T-T\) can vary with the embedding of \(H\) in \(G\). We call $ δ(G,H)=\min_T |D(T)| $ the transversal difference number of the pair \((G,H)\). This invariant is related to finite abelian factorisation, tiling complements, and small-sumset questions, and is motivated by recent work regarding ambient Galois labels in CRT transforms for cyclotomic-subfield homomorphic encryption. We prove various results regarding this invariant, including a general lower bound $δ(G,H)\geq 2|G/H|-m(G,H), $ where \(m(G,H)\) is the largest order of a subgroup of \(G\) disjoint from \(H\). The bound is sharp for cyclic quotients, and Kneser's theorem gives a cross-transversal estimate leading to exact product families with one nonsplit cyclic coordinate and arbitrary split factors. These results isolate the first genuinely new residual obstruction, namely the same-prime square plane \[ G=(\mathbb Z/p^2\mathbb Z)^2,\qquad H=pG. \] For odd \(p\), this case is the technical core of the paper. Here transversals are graphs of functions \(\mathbb F_p^2\to \mathbb F_p^2\), and \(D(T)\) decomposes into carry-corrected finite-field derivative images. We conjecture that \[ δ(G,H)=(2p-1)^2 \] for all odd primes \(p\), prove the unconditional lower bound \(3p^2-p-1\), and give small-prime, probabilistic, and fixed-polynomial evidence for the conjecture.

Related papers

• The Hidden Subgroup Problem in Semidirect Products and Quasi-Hamiltonian Groups [0.0]
  Several early quantum algorithms are instances of the hidden problem (HSP) over finite abelian groups.<n>No-time quantum modularity is known for the HSP over arbitrary non-abelian finite groups.<n>We give a nil-time quantum algorithm for finite quasi-Hamiltonian groups under a mild assumption on the input structure.
  arXiv  Detail & Related papers  (2026-08-05T18:25:25Z)
• The Collapse of Unentangled Stoquastic Merlin-Arthur Proof Systems [46.657699628769336]
  Entanglement and interference are among the most fundamental properties of quantum mechanics.<n>We prove that entanglement gives no additional power to stoquastic verification.
  arXiv  Detail & Related papers  (2026-05-15T17:52:33Z)
• A Bundle Isomorphism Relating Complex Velocity to Quantum Fisher Operators [0.0]
  We show that averaging matter dynamics over gravitational fluctuations gives rise to a complex velocity field (_ = _ - i u_) living as a section of the pullback bundle (E = _2*(T*M)to mathcalCtimes M.<n>We prove that (_) is isomorphic, via the Schrdinger representation, to the symmetric logarithmic derivative (SLD) operator (L_) on the Hilbert space (mathcalH
  arXiv  Detail & Related papers  (2026-04-14T01:35:43Z)
• Universal Coefficients and Mayer-Vietoris for Moore Homology of Ample Groupoids [0.0]
  We prove a universal coefficient theorem relating the homology groups $H_n(mathcalG;A)$ to the integral Moore homology of $mathcalG$.<n>For a decomposition of the unit space into clopen saturated subsets, we prove a Mayer-Vietoris long exact sequence in Moore homology.
  arXiv  Detail & Related papers  (2026-03-21T15:42:51Z)
• Generalized Reduction to the Isotropy for Flexible Equivariant Neural Fields [43.58107597764876]
  We show that, when a group $G$ acts transitively on a space $M$, any $G$-invariant function on a product space $X times M$ can be reduced to an invariant of the isotropy subgroup $H$ of $M$ acting on $X$ alone.<n>We apply this characterization to Equivariant Neural Fields, extending them to arbitrary group actions and homogeneous conditioning spaces.
  arXiv  Detail & Related papers  (2026-03-08T10:41:23Z)
• Universal Coefficients and Mayer-Vietoris Sequence for Groupoid Homology [0.0]
  We study ample groupoids via the compactly supported Moore complex of the nerve.<n>The theory is functorial for continuous étale homomorphisms.<n>For a locally compact totally disconnected Hausdorff space $X with a basis of compact open sets, the image of $_X:C_c(X,mathbb Z)otimes_mathbb ZAto C_c(X,A)$ is exactly the compactly supported functions with finite image.
  arXiv  Detail & Related papers  (2026-02-09T18:43:31Z)
• Geometric bound on structure factor [44.99833362998488]
  We show that a quadratic form of quantum geometric tensor in $k$-space sets a bound on the $q4$ term in the static structure factor $S(q)$ at small $vecq$.<n> Bands that saturate this bound satisfy a condition similar to Laplace's equation, leading us to refer to them as $textitharmonic bands$.
  arXiv  Detail & Related papers  (2024-12-03T18:30:36Z)
• Antiparticles in non-relativistic quantum mechanics [55.2480439325792]
  Non-relativistic quantum mechanics was originally formulated to describe particles.<n>We show how the concept of antiparticles can and should be introduced in the non-relativistic case without appealing to quantum field theory.
  arXiv  Detail & Related papers  (2024-04-02T09:16:18Z)
• A Unified Framework for Uniform Signal Recovery in Nonlinear Generative Compressed Sensing [68.80803866919123]
  Under nonlinear measurements, most prior results are non-uniform, i.e., they hold with high probability for a fixed $mathbfx*$ rather than for all $mathbfx*$ simultaneously. Our framework accommodates GCS with 1-bit/uniformly quantized observations and single index models as canonical examples. We also develop a concentration inequality that produces tighter bounds for product processes whose index sets have low metric entropy.
  arXiv  Detail & Related papers  (2023-09-25T17:54:19Z)
• Quantum and classical low-degree learning via a dimension-free Remez inequality [52.12931955662553]
  We show a new way to relate functions on the hypergrid to their harmonic extensions over the polytorus. We show the supremum of a function $f$ over products of the cyclic group $exp(2pi i k/K)_k=1K$. We extend to new spaces a recent line of work citeEI22, CHP, VZ22 that gave similarly efficient methods for learning low-degrees on hypercubes and observables on qubits.
  arXiv  Detail & Related papers  (2023-01-04T04:15:40Z)
• Algebraic Aspects of Boundaries in the Kitaev Quantum Double Model [77.34726150561087]
  We provide a systematic treatment of boundaries based on subgroups $Ksubseteq G$ with the Kitaev quantum double $D(G)$ model in the bulk. The boundary sites are representations of a $*$-subalgebra $Xisubseteq D(G)$ and we explicate its structure as a strong $*$-quasi-Hopf algebra. As an application of our treatment, we study patches with boundaries based on $K=G$ horizontally and $K=e$ vertically and show how these could be used in a quantum computer
  arXiv  Detail & Related papers  (2022-08-12T15:05:07Z)
• A covariant Stinespring theorem [0.0]
  We prove a finite-dimensional covariant Stinespring theorem for compact quantum groups. We show that finite-dimensional G-C*-algebras can be identified with equivalence classes of 1-morphisms out of the object T in Mod(T)
  arXiv  Detail & Related papers  (2021-08-23T00:20:04Z)
• Stochastic behavior of outcome of Schur-Weyl duality measurement [45.41082277680607]
  We focus on the measurement defined by the decomposition based on Schur-Weyl duality on $n$ qubits. We derive various types of distribution including a kind of central limit when $n$ goes to infinity.
  arXiv  Detail & Related papers  (2021-04-26T15:03:08Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.