group
10258 papers tagged with this keyword
On quasi-orthogonal cocycles
Published in Journal of Combinatorial Designs 2018; 26: 401-411
• View Publication
• BIB
We introduce the notion of quasi-orthogonal cocycle. This is motivated in part by the maximal determinant problem for square $\{\pm 1\}$-matrices of size congruent to $2$ modulo $4$. Quasi-orthogonal cocycles are analogous to the orthogonal cocycles of algebraic design theory. Equivalences with new and known combinatorial objects afforded by this analogy, such as quasi-Hadamard groups, relative quasi-difference sets, and certain partially balanced incomplete block designs, are proved.
The Absolute Orders on the Coxeter Groups $A_n$ and $B_n$ are Sperner
Over 50 years ago, Rota posted the following celebrated `Research Problem': prove or disprove that the partial order of partitions on an $n$-set (i.e., the refinement order) is Sperner. A counterexample was eventually discovered by Canfield in 1978. However, Harper and Kim recently proved that a closely related order --- i.e., the refinement order on the symmetric group --- is not only Sperner, but strong Sperner. Equivalently, the well-known absolute order on the symmetric group is strong Sperner. In this paper, we extend these results by giving a concise, elegant proof that the absolute orders on the Coxeter groups $A_n$ and $B_n$ are strong Sperner.
On the existence of dense substructures in finite groups
Fix $k \geq 6$. We prove that any large enough finite group $G$ contains $k$ elements which span quadratically many triples of the form $(a,b,ab) \in S \times G$, given any dense set $S \subseteq G \times G$. The quadratic bound is asymptotically optimal. In particular, this provides an elementary proof of a special case of a conjecture of Brown, Erdős and Sós. We remark that the result was recently discovered independently by Nenadov, Sudakov and Tyomkyn.
Proof of the Brown-Erdős-Sós conjecture in groups
The conjecture of Brown, Erdős and Sós from 1973 states that, for any $k \ge 3$, if a $3$-uniform hypergraph $H$ with $n$ vertices does not contain a set of $k+3$ vertices spanning at least $k$ edges then it has $o(n^2)$ edges. The case $k=3$ of this conjecture is the celebrated $(6,3)$-theorem of Ruzsa and Szemerédi which implies Roth's theorem on $3$-term arithmetic progressions in dense sets of integers. Solymosi observed that, in order to prove the conjecture, one can assume that $H$ consists of triples $(a, b, ab)$ of some finite quasigroup $Γ$. Since this problem remains open for all $k \geq 4$, he further proposed to study triple systems coming from finite groups. In this case he proved that the conjecture holds also for $k = 4$. Here we completely resolve the Brown-Erdős-Sós conjecture for all finite groups and values of $k$. Moreover, we prove that the hypergraphs coming from groups contain sets of size $Θ(\sqrt{k})$ which span $k$ edges. This is best possible and goes far beyond the conjecture.
A note on the Brown--Erdős--Sós conjecture in groups
We show that a dense subset of a sufficiently large group multiplication table contains either a large part of the addition table of the integers modulo some $k$, or the entire multiplication table of a certain large abelian group, as a subgrid. As a consequence, we show that triples systems coming from a finite group contain configurations with $t$ triples spanning $\mathcal{O}(\sqrt{t})$ vertices, which is the best possible up to the implied constant. We confirm that for all $t$ we can find a collection of $t$ triples spanning at most $t+3$ vertices, resolving the Brown--Erd\H os--Sós conjecture in this context. The proof applies well-known arithmetic results including the multidimensional versions of Szemerédi's theorem and the density Hales--Jewett theorem.
Stability in a group
Published in Groups, Geometry, and Dynamics 15 (2021) no. 4, 1297-1330
• Search Publication
We develop local stable group theory directly from topological dynamics, and extend the main results in this subject to the setting of stability "in a model". Specifically, given a group $G$, we analyze the structure of sets $A\subseteq G$ such that the bipartite relation $xy\in A$ omits infinite half-graphs. Our proofs rely on the characterization of stability via Grothendieck's "double-limit" theorem (as shown by Ben Yaacov), and the work of Ellis and Nerurkar on weakly almost periodic $G$-flows.
Fourier and Circulant Matrices are Not Rigid
The concept of matrix rigidity was first introduced by Valiant in 1977. Roughly speaking, a matrix is rigid if its rank cannot be reduced significantly by changing a small number of entries. There has been extensive interest in rigid matrices as Valiant showed in his MFCS'77 paper that rigidity can be used to prove arithmetic circuit lower bounds.
In a surprising result, Alman and Williams (FOCS'19) showed that the (real valued) Hadamard matrix, which was conjectured to be rigid, is actually not very rigid. This line of work was extended by Dvir and Edelman (\emph{Theory of Computing}, 2019) to a family of matrices related to the Hadamard matrix, but over finite fields. In our work, we take another step in this direction and show that for any abelian group $G$ and function $f:G \rightarrow \mathbb{C}$, the matrix given by $M_{xy} = f(x - y)$ for $x,y \in G$ is not rigid. In particular, we get that complex valued Fourier matrices, circulant matrices, and Toeplitz matrices are all not rigid and cannot be used to carry out Valiant's approach to proving circuit lower bounds. Our results also hold when we consider matrices over a fixed finite field instead of the complex numbers. This complements a recent result of Goldreich and Tal (\emph{Comp. Complexity}, 2018) who showed that Toeplitz matrices are nontrivially rigid (but not enough for Valiant's method). Our work differs from previous non-rigidity results in that those works considered matrices whose underlying group of symmetries was of the form $\mathbb{F}_p^n$ with $p$ fixed and $n$ tending to infinity, while in the families of matrices we study, the underlying group of symmetries can be any abelian group and, in particular, the cyclic group $\mathbb{Z}_N$, which has very different structure. Our results also suggest natural new candidates for rigidity in the form of matrices whose symmetry groups are highly non-abelian.
Asymptotic Hecke algebras and Lusztig-Vogan bijection via affine matrix-ball construction
Affine matrix-ball construction (abbreviated AMBC) was developed by Chmutov, Lewis, Pylyavskyy, and Yudovina as an affine generalization of Robinson-Schensted correspondence. We show that AMBC gives a simple way to compute a distinguished (or Duflo) involution in each Kazhdan-Lusztig cell of affine symmetric groups. We then use AMBC to give the first known canonical presentation for the asymptotic Hecke algebras of extended affine symmetric groups. As an application, we show that AMBC gives a conceptual way to compute Lusztig-Vogan bijection. For the latter we build upon prior works of Achar and Rush.
Reflexponents
Certain classical generating functions for elements of reflection groups can be expressed using fundamental invariants called exponents. We give new analogues of such generating functions that accommodate orbits of reflecting hyperplanes using similar invariants we call reflexponents. Our verifications are case-by-case.
On semilinear sets and asymptotically approximate groups
Let $G$ be any group and $A$ be an arbitrary subset of $G$ (not necessarily symmetric and not necessarily containing the identity). The $h$-fold product set of $A$ is defined as $$A^{h} :=\lbrace a_{1}.a_{2}...a_{h} : a_{1},\ldots,a_n \in A \rbrace.$$ Nathanson considered the concept of an asymptotic approximate group. Let $r,l \in \mathbb{N}$. The set $A$ is said to be an $(r,l)$ approximate group in $G$ if there exists a subset $X$ in $G$ such that $|X|\leqslant l$ and $A^{r}\subseteq XA$. The set $A$ is an asymptotic $(r,l)$-approximate group if the product set $A^{h}$ is an $(r,l)$-approximate group for all sufficiently large $h$. Recently, Nathanson showed that every finite subset $A$ of an abelian group is an asymptotic $(r,l')$ approximate group (with the constant $l'$ explicitly depending on $r$ and $A$). We generalise the result and show that, in an arbitrary abelian group $G$, the union of $k$ (unbounded) generalised arithmetic progressions is an asymptotic $(r,(4rk)^k)$-approximate group.
Prescribing Symmetries and Automorphisms for Polytopes
We study finite groups that occur as combinatorial automorphism groups or geometric symmetry groups of convex polytopes. When $Γ$ is a subgroup of the combinatorial automorphism group of a convex $d$-polytope, $d\geq 3$, then there exists a convex $d$-polytope related to the original polytope with combinatorial automorphism group exactly $Γ$. When $Γ$ is a subgroup of the geometric symmetry group of a convex $d$-polytope, $d\geq 3$, then there exists a convex $d$-polytope related to the original polytope with both geometric symmetry group and combinatorial automorphism group exactly $Γ$. These symmetry-breaking results then are applied to show that for every abelian group $Γ$ of even order and every involution $σ$ of $Γ$, there is a centrally symmetric convex polytope with geometric symmetry group $Γ$ such that $σ$ corresponds to the central symmetry.
Surface Words are Determined by Word Measures on Groups
Published in Israel Journal of Mathematics 241, 749--774, 2021
• View Publication
• BIB
Every word $w$ in a free group naturally induces a probability measure on every compact group $G$. For example, if $w=\left[x,y\right]$ is the commutator word, a random element sampled by the $w$-measure is given by the commutator $\left[g,h\right]$ of two independent, Haar-random elements of $G$. Back in 1896, Frobenius showed that if $G$ is a finite group and $ψ$ an irreducible character, then the expected value of $ψ\left(\left[g,h\right]\right)$ is $\frac{1}{ψ\left(e\right)}$. This is true for any compact group, and completely determines the $\left[x,y\right]$-measure on these groups. An analogous result holds with the commutator word replaced by any surface word.
We prove a converse to this theorem: if $w$ induces the same measure as $\left[x,y\right]$ on every compact group, then, up to an automorphism of the free group, $w$ is equal to $\left[x,y\right]$. The same holds when $\left[x,y\right]$ is replaced by any surface word.
The proof relies on the analysis of word measures on unitary groups and on orthogonal groups, which appears in separate papers, and on new analysis of word measures on generalized symmetric groups that we develop here.
Topological dynamics of Polish group extensions
We consider a short exact sequence $1\to H\to G\to K\to 1$ of Polish groups and consider what can be deduced about the dynamics of $G$ given information about the dynamics of $H$ and $K$. We prove that if the respective universal minimal flows $M(H)$ and $M(K)$ are metrizable, then so is $M(G)$. Furthermore, we show that if $M(H)$ and $M(K)$ are metrizable and both $H$ and $K$ are uniquely ergodic, then so is $G$. We then discuss several examples of these phenomena
Unique ergodicity of the automorphism group of the semigeneric directed graph
We prove that the automorphism group of the semigeneric directed graph (in the sense of Cherlin's classification) is uniquely ergodic.
A Sundaram type bijection for $\mathrm{SO}(2k+1)$: vacillating tableaux and pairs consisting of a standard Young tableau and an orthogonal Littlewood-Richardson tableau
We present a bijection between vacillating tableaux and pairs consisting of a standard Young tableau and an orthogonal Littlewood-Richardson tableau for the special orthogonal group $\mathrm{SO}(2k+1)$. This bijection is motivated by the direct-sum-decomposition of the $r$th tensor power of the defining representation of $\mathrm{SO}(2k+1)$. To formulate it, we use Kwon's orthogonal Littlewood-Richardson tableaux and introduce new alternative tableaux they are in bijection with. Moreover we use a suitably defined descent set for vacillating tableaux to determine the quasi-symmetric expansion of the Frobenius characters of the isotypic components.
All those EPPA classes (Strengthenings of the Herwig-Lascar theorem)
In this paper we prove a general theorem showing the extension property for partial automorphisms (EPPA, also called the Hrushovski property) for classes of structures containing relations and unary functions, optionally equipped with a permutation group of the language. The proof is elementary, combinatorial and fully self-contained. Our result is a common strengthening of the Herwig-Lascar theorem on EPPA for relational classes with forbidden homomorphisms, the Hodkinson-Otto theorem on EPPA for relational free amalgamation classes, its strengthening for unary functions by Evans, Hubička and Nešetřil and their coherent variants by Siniora and Solecki. We also prove an EPPA analogue of the main results of J. Hubička and J. Nešetřil: All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms), thereby establishing a common framework for proving EPPA and the Ramsey property.
Our results have numerous applications, we include a solution of a problem related to a class constructed by the Hrushovski predimension construction.
Embedding onto Wheel-like Networks
One of the important features of an interconnection network is its ability to efficiently simulate programs or parallel algorithms written for other architectures. Such a simulation problem can be mathematically formulated as a graph embedding problem. In this paper we compute the lower bound for dilation and congestion of embedding onto wheel-like networks. Further, we compute the exact dilation of embedding wheel-like networks into hypertrees, proving that the lower bound obtained is sharp. Again, we compute the exact congestion of embedding windmill graphs into circulant graphs, proving that the lower bound obtained is sharp. Further, we compute the exact wirelength of embedding wheels and fans into 1,2-fault hamiltonian graphs. Using this we estimate the exact wirelength of embedding wheels and fans into circulant graphs, generalized Petersen graphs, augmented cubes, crossed cubes, Möbius cubes, twisted cubes, twisted $n$-cubes, locally twisted cubes, generalized twisted cubes, odd-dimensional cube connected cycle, hierarchical cubic networks, alternating group graphs, arrangement graphs, 3-regular planer hamiltonian graphs, star graphs, generalised matching networks, fully connected cubic networks, tori and 1-fault traceable graphs.
On expander Cayley graphs from Galois rings
In this paper, we study new Cayley graphs over the additive group of Galois rings. First we prove that they are expander graphs by using a Weil-Carlitz-Uchiyama type estimation of character sums for Galois rings. We also show that Cayley graphs from Galois rings of characteristic 4 form a new infinite family of Ramanujan graphs by an elementary eigenvalue estimation. Moreover some other spectral properties of our graphs are also discussed.
An Euler phi function for the Eisenstein integers and some applications
Published in Electronic Journal of Combinatorial Number Theory, 20, Paper No. A20 (2020), 28pp
• Search Publication
The Euler phi function on a given integer $n$ yields the number of positive integers less than $n$ that are relatively prime to $n$. Equivalently, it gives the order of the group of units in the quotient ring $\mathbb{Z}/(n)$. We generalize the Euler phi function to the Eisenstein integer ring $\mathbb{Z}[ρ]$ where $ρ$ is the primitive third root of unity $e^{2πi/3}$ by finding the order of the group of units in the ring $\mathbb{Z}[ρ]/(θ)$ for any given Eisenstein integer $θ$. As one application we investigate a sufficiency criterion for when certain unit groups $\left(\mathbb{Z}[ρ]/(γ^n)\right)^\times$ are cyclic where $γ$ is prime in $\mathbb{Z}[ρ]$ and $n \in \mathbb{N}$, thereby generalizing well-known results of similar applications in the integers and some lesser known results in the Gaussian integers. As another application, we prove that the celebrated Euler-Fermat theorem holds for the Eisenstein integers.
On divisibility by primes in columns of character tables of symmetric groups
For an arbitrary prime $p$ we prove that the proportion of entries divisible by $p$ in certain columns of the character table of the symmetric group $S_n$ tends to 1 as $n\to\infty$. This is done by finding lower bounds on the number of $k$-cores, for $k$ large enough with respect to $n$.