group
10394 papers tagged with this keyword
On finite groups whose coprime graph is a divisor graph
In this paper, we first characterize which generalized lexicographic products are divisor graphs. As applications, we show that power graphs, reduced power graphs and order graphs are all divisor graphs, which also implies the main result in [Power graph of a finite group is always divisor graph, Asian-European Journal of Mathematics 16 (2023)]. We then show that, the coprime graph of a group is a generalized lexicographic product, and characterize which coprime graphs are divisor graphs. Finally, we classify the finite groups $G$ having at most four prime divisors, whose coprime graphs are divisor graphs, and we also classify the finite groups $G$ whose coprime graphs are divisor graphs, if $G$ is a nilpotent group, a dihedral group, a generalized quaternion group, a symmetric group, an alternating group, a direct product of two non-trivial groups, and a sporadic simple group.
Certified exact bounds for adaptive quantitative group testing with two defectives
We determine the maximum population size for which exactly two defective items can always be identified using at most $k$ adaptive quantitative tests, for every $0\le k\le10$. Each test reports the number of defectives in a chosen subset. The exact maxima for eight, nine and ten tests are 65, 112 and 192, respectively. We also classify all pairs of sizes of two disjoint sets, each containing exactly one defective, that can be resolved within each test budget through eight. These exact results are supported by explicit strategies and maximality certificates checked by programs separate from the search implementation. Additional results include partial nine-test boundaries and an eleven-test strategy for 328 items; maximality of the latter remains open.
Counterexamples to Aigner's majorization conjecture for star-forest search
In adaptive quantitative group testing with exactly two defective items, each test reports how many defectives lie in a chosen subset. We study configurations in which the possible defective pairs form the edges of a star forest. Aigner proved a necessary majorization condition on the ordered star sizes for identifying the defective pair within a prescribed number of tests, and conjectured that this condition was sufficient. We disprove the conjecture by an explicit six-test counterexample and give an analytic family of counterexamples for every test budget $k\ge6$. The obstruction uses two tight prefix sums to force incompatible demands on the outcomes of the first test. We also prove, by exhaustive computation combined with analytic reductions, that the converse holds for $0\le k\le5$. Thus six is the first test budget at which majorization alone fails. The counterexamples and their infinite extension do not depend on the exhaustive computation.
A nearly linear bound for the Lovász conjecture
The celebrated conjecture of Lovász from 1969 asks whether every connected vertex-transitive graph has a Hamiltonian path. Bucić, Christoph, Pokrovskiy and Steiner recently proved that every such graph on $n$ vertices contains a cycle of length $n^{2/3-o(1)}$.
In this paper, we improve this bound to $n^{1-o(1)}$. Our proof uses a structure theorem of Tessera and Tointon to first obtain a partition of the vertex set into sets of small diameter in the original graph. When the parts are large, we repeatedly traverse a spanning tree of maximum degree at most three in the quotient graph, and use the Lovász local lemma to join random short paths along this traversal and extract a long path in the original graph. When the parts are small, we apply Babai's contraction lemma to reduce the problem to finding a long path in a connected Cayley graph of a nilpotent group with boundedly many generators and bounded nilpotency class, and then show that such a Cayley graph on $m$ vertices contains a path on $m^{1-o(1)}$ vertices.
Low discrepancy and spectral gap for directed hypergraphs via spectral regularity lemma for tensors
We show that low discrepancy is equivalent to spectral gap for directed $k$-uniform hypergraphs. For undirected hypergraphs this recovers a theorem of Lenz and Mubayi, with a considerably shorter proof. At the heart of our argument is a Frieze--Kannan type spectral regularity lemma for hypergraphs based on the variational notion of hypergraph eigenvalues by Friedman--Wigderson, which decomposes any tensor into a bounded number of rank-one tensors plus a quasi-random tensor with small top eigenvalue. This lemma may be of independent interest, and we prove it for complex-valued, not necessarily symmetric tensors.
We also briefly discuss a Szemerédi-type variant and the regularization of Cayley-type hypergraphs over finite abelian groups.
Absolute moved spaces and noncrossing partition posets in arbitrary Coxeter groups
The interval $[1,c]_T$ between the identity element and a Coxeter element $c$ in the absolute order on a Coxeter group $W$ is a generalization of the poset of noncrossing partitions arising when $W$ is the symmetric group. When $W$ is finite, this poset is always a lattice, and it is natural to associate to every element $w\in [1,c]_T$ its \textit{moved space} $\mathsf{Mov}(w)=\mathrm{Im}(w - \mathrm{Id}_V)$ in the geometric representation $V$ of $W$. It has dimension equal to the reflection length $\ell_T(w)$ of $w$, and gives a realization of $[1,c]_T$ inside the lattice of subspaces of $V$. It is an important tool in the study of $[1,c]_T$. When $W$ is infinite, the moved space of an element $w\in [1,c]_T$ no longer has dimension $\ell_T(w)$ in general, and distinct elements may have the same moved space.
We propose a replacement for the moved space of an element $w\in [1,c]_T$ in an arbitrary Coxeter group, that we call \textit{absolute moved space} of $w$. This subspace $\mathsf{AM}(w)$ of $V$ always contains $\mathsf{Mov}(w)$ and has dimension equal to $\ell_T(w)$, and distinct elements have distinct absolute moved spaces. This allows us to derive several properties of noncrossing partition posets that hold in full generality, and to show that the natural map from $[1,c]_T$ to reflection subgroups of $W$, which to $w\in [1,c]_T$ associates the subgroup $P(w)$ generated by reflections lying below $w$ in the absolute order, is always injective. Among others, we also derive a new proof of the lattice property of $[1,c]_T$ when $W$ has rank three, and exhibit infinitely many new examples of infinite Coxeter groups of rank four and choices of Coxeter elements for which $[1,c]_T$ fails to be a lattice.
The small Davenport constant of $E_2\times C_3^r$ for $0\le r\le3$
Let $E_2$ be the extraspecial group of order $3^5$ and exponent three. We prove that $d(E_2\times C_3^r)=2r+10$ for $0\le r\le3$. The upper bounds follow from signed zero-block identities and two finite statements in the four-dimensional symplectic space over $\mathbb F_3$. The first supplies edge weights for all completable balanced triangles on any indexed list of at most sixteen nonzero vectors. The second supplies weights for the direction families that can occur in a critical list with no central terms. We give complete coverage arguments, exact certificate files, and separately implemented checking programs. A compression argument removes any need for an induction through smaller list lengths in the sixteen-term potential theorem. The formula for $r\ge4$ remains open.
The Reach of Abelian Covers in Hypergraphs
Covers in hypergraphs are frequently studied to capture various forms of dependence between hyperedges. For example, even covers--which check if each vertex appears in an even number of hyperedges--have found much success recently in the study of locally decodable codes. Inspired by a recently-emerging line of work on the non-redundancy of constraint satisfaction problems (CSPs), we introduce and study two novel families of covers of hypergraphs which are stricter than even covers: \emph{Abelian} covers and Catalan covers. Abelian covers are similar to even covers, except that arithmetic is now done over the integers rather than modulo 2, allowing us to capture dependences over arbitrary Abelian groups. Catalan covers capture the behavior of non-Abelian groups by only allowing local cancellations in a sequence of hyperedges.
We prove three main results about Abelian and Catalan covers. First, using tools from lattice theory, we show that any $r$-uniform hypergraph with $n$ vertices and $n \log(r)$ hyperedges has an Abelian cover. Second, using tools from algebraic topology, we show that in any $3$-uniform hypergraph, Abelian covers and Catalan covers are equivalent; thereby showing that Catalan covers emerge after $O(n)$ hyperedges in $3$-uniform hypergraphs. Finally, using the theory of nilpotent groups, we show that there exists a $4$-uniform hypergraph which has an Abelian cover but not a Catalan cover. Collectively, these results exactly characterize the reach that Abelian covers have in deducing dependences in hypergraphs. As our primary application, we show that any arity-$3$ CSP with an infinite-domain Mal'tsev extension has linear non-redundancy. This implies near optimal streaming, sparsification, and kernelization algorithms for this family of CSPs. Previously, such a result was only known for the much simpler case of arity-$2$ CSPs.
Block-Transitive $5$-$(v,k,2)$ Designs with $k$ divides $v$
The classification of block-transitive 5-designs remains an open problem. The additional parameter condition that $k$ divides $v$ is called the Camina-Gagen condition. In this paper, we investigate block-transitive simple $5$-$(v,k,2)$ designs satisfying the Camina-Gagen condition. Using the classification of finite $2$-homogeneous permutation groups, we consider the affine and almost simple cases separately. We prove that no such design admits a block-transitive automorphism group of affine type. For the almost simple case, up to isomorphism, there are exactly two possibilities: a $5$-$(12,6,2)$ design admitting PGL(2,11) as a block-transitive automorphism group and a $5$-$(24,8,2)$ design admitting PGL(2,23) as a block-transitive automorphism group.
Quasi-Fuchsian groups and complex realisations of $q$-deformed real numbers
We relate the theory of $q$-rational and $q$-real numbers introduced by Morier-Genoud and Ovsienko to the classical theory of Kleinian groups and their Teichmüller spaces. This provides a geometric point of view on several recent results about realisations of $q$-rationals for particular values of $ q \in \mathbb{C} $. As an application we resolve a conjecture of Bapat, Becker, and Licata on the topology of the $q$-deformed Farey tessellation.
Uniquely labelled geodesics of Coxeter groups
Studying geodesics in Cayley graphs of groups has been a very active area of research over the last decades. We introduce the notion of a uniquely labelled geodesic, abbreviated with u.l.g. These will be studied first in finite Coxeter groups of type $A_n$. Here we introduce a generating function, and hence are able to precisely describe how many u.l.g.'s we have of a certain length and with which label combination. These results generalize several results about unique geodesics in Coxeter groups. In the second part of the paper, we expand our investigation to infinite Coxeter groups described by simply laced trees. We show that any u.l.g. of finite branching index has finite length. We use the example of the group $\widetilde{D}_6$ to show the existence of infinite u.l.g.'s in groups which do not have any infinite unique geodesics. We conclude by exhibiting a detailed description of the geometry of such u.l.g.'s and their relation to each other in the group $\widetilde{D}_6$.
Top to random and reverse: analysis of a new descent algebra shuffle
We study the "top-to-random-and-reverse shuffle", defined as the top-to-random shuffle in the symmetric group algebra composed with the permutation $w_0$ (which sends each $i$ to $n+1-i$). More generally, we analyze the composition of any B-basis element of the descent algebra with $w_0$. We show that the minimal polynomial of any such composition (over $\mathbb{Q}$) factors into distinct linear factors, which correspond to the "signed knapsack numbers" of set compositions. This is a counterpart to an analogous property of the B-basis elements themselves, which was proved by Brown using Bidigare's face monoid. In the case of the top-to-random-and-reverse shuffle, the minimal polynomial turns out to be $\prod_{k \in \{-n+2\} \cup [-n+4, n-3] \cup \{0\} \cup \{n\}} (x-k)$.
Parking with Frustrated Drivers
Imagine there are $n$ cars lined up along a one-way street containing $n$ spots. Each car contains a group of friends, including a reluctant driver. Each car has a preferred spot and cars enter one by one. The cars drive to their preferred spot and if it is empty park there. If it is not empty, a friend in the back yells out ``Hey! You should have driven faster!". Frustrated by this, the driver continues down the road until they find the last unoccupied spot (if one exists) and parks there. We say a sequence $(a_1,a_2,\dots, a_n)$ of preferred spots is a frustrated parking function if all cars can park under this rule.
In this paper, we study the enumerative properties of frustrated parking functions. In particular, we show that the number of frustrated parking functions of length $n$ is $(2n-1)!!$. This is done by associating frustrated parking functions with height labeled Dyck paths. Using this association, we are then able to better understand the sets of lucky cars and lucky spots for frustrated parking functions. We show that the frustrated parking functions of length $n$ where the first $k$ cars (or first $k$ spots) are lucky is given by $k!S(n,k)$ where $S(n,k)$ is the Stirling number of the second kind. This in turn implies that the number of frustrated parking functions where once a car (or spot) is unlucky, the remaining cars (or spots) are unlucky is counted by the $n^{th}$ Fubini number. We also show that the number of frustrated parking functions with $k$ lucky cars (or spots) is given by the second order Eulerian number.
Indistinguishability of Sum of Permutations: A Fourier Analytic Route to Classical and Quantum Security
We study classical and quantum indistinguishability of sums of independent random permutations and related transformations from permutations to functions. Let $G$ be a finite abelian group of order $N$, and let $π^k_+(x)=π_1(x)+\cdots+π_k(x)$ for $k\geq2$ independent uniform random permutations of $G$. We give a unified Fourier analytic treatment in which the construction is represented by its probability density and a distinguisher by its acceptance function, with the classical and quantum query models imposing different restrictions on the Fourier support of the latter.
Classically, we obtain the bound $O_k(q/N^{k-1/2})$ for every $q<N$, and refine it below the birthday threshold to $O_k(q^2/N^k)$. In the quantum model, a simulation argument gives $O_k(N^{-(k-3/2)})$ for $q\leq(N-1)/2$, while Fourier interpolation gives concrete finite bounds up to $q\leq4N/15$ and the query-dependent bounds $O\left(\min\left\{N^{-1/2},q^3/N^2 + 1/N\right\}\right)$ and $O_k\left(\min\left\{q^3/N^k,N^{-(k-3/2)}\right\}\right)$, for $k=2$ and $k \geq 3$, respectively, throughout $1\leq q\leq(N-1)/2$. For $q = 1$, the first bound sharpens to $O(N^{-2})$. Over $G=\mathbb F_2^n$, a one-query Fourier attack matches the order of our one-query bound, while an $N/2$-query parity attack with advantage $1/2$ shows that our bounds reach the constant-advantage query threshold.
We further study two variants of sum of permutations over binary vector spaces. First, we allow arbitrary surjective linear postprocessing, which includes truncation, and obtain classical and quantum bounds that retain the output-size dependence. Second, we analyse Dinur's variable-output single-permutation construction, $\mathsf{LXoP}$, for every fixed output width, and derive its classical and quantum security bounds; for one- and two-block outputs, we give concrete quantum security bounds.
Bounded-orbit lattice representations of finite groups
For a finite group $G$, let $λ(G)$ denote the minimum number of orbits on the elements of a finite lattice $L$ with $\operatorname{Aut}(L)\cong G$. Babai and Goodman conjectured that $λ(G)$ is bounded by an absolute constant. We prove that $λ(G)\leq 50$ for every finite group $G$, thereby confirming their conjecture. Moreover, the lattice can be chosen to have a regular orbit. The main algebraic ingredient is a decomposition of a generating set of an arbitrary finite $2$-group into an elementary abelian part and two sets in which no quotient of distinct elements is an involution.
Remarks on DAG exchangeability and generalized wreath products
Motivated by the structure of various standard statistical arrays, Bailey, Praeger, Rowley and Speed (1983) described the automorphism groups of poset block structures as generalized wreath products. We observe that these are exactly the groups used to define DAG exchangeability in Jung, Lee, Staton and Yang (2021), and we restate the representation theorem of the latter work in this language. As a concrete example, we write out the resulting representation for block matrices whose block rows and block columns are separately exchangeable, and whose rows and columns may also be permuted independently inside each block.
Bounded joins of biclosed sets
Dyer conjectured that the join of two biclosed sets of positive roots can be described by increasing Bruhat paths whose reflection labels belong to their union. We give a type-uniform proof of this conjecture for all finite Coxeter groups. More generally, for a $2$-coclosed set $C$ of positive roots contained in an inversion set, we show that its $2$-closure is an inversion set $I(w)$ and that the elements reachable from the identity using reflections labeled by roots in $C$ form exactly the set $[e,w]_B w^{-1}$. The proof combines Dyer's closure criteria with a root-selection argument.
The Orlik--Solomon algebra of a locally geometric poset and cohomology of complex abelian arrangements
We construct an Orlik--Solomon algebra for any locally geometric poset as a natural generalization of the one for geometric lattices. This algebra has several interesting features, including a combinatorial no-broken-circuit basis that we obtain through Gröbner basis theory. When the poset captures the intersection data of an arrangement of certain subgroups in a complex abelian Lie group, we infuse the Orlik--Solomon algebra with topological information to compute the cohomology of the arrangement complement. In particular, when the Lie group is compact, we present an explicit differential graded algebra whose cohomology is the rational cohomology of the arrangement complement. We further exhibit a family of abelian arrangements whose integer cohomology has torsion.
Borsuk-Ulam type theorem for Stiefel manifolds and orthogonal mass partitions
We prove a Borsuk--Ulam-type zero theorem for the Stiefel manifold $V_{n,k}$ with the free action of the hyperoctahedral group $B_k=(\mathbb{Z}/2)^k\rtimes S_k$. The theorem gives a nonvanishing criterion for explicit polynomials in ${R}_{n,k}=\mathbb{F}_2[a_1,\ldots,a_k]/(a_1^n,a_2^{n-1},\ldots,a_k^{n-k+1})$.
We apply this criterion to equipartitions by mutually orthogonal hyperplanes. If $(P_{k,n})^m\ne0$ in ${R}_{d,k}=\mathbb{F}_2[a_1,\ldots,a_k]/(a_1^{d+1},a_2^d,\ldots,a_k^{d-k+2})$, then any $m$ finite Borel measures in $\mathbb{R}^d$ that vanish on affine hyperplanes admit $k$ mutually orthogonal hyperplanes such that every $n$-element subfamily divides each measure into $2^n$ equal parts. For the least possible dimension $Δ^*(m,k,n)$, we obtain general lower bounds and prove upper bounds in several cases. These give exact values, including $Δ^*(2^j-1,k,2)=2^{j-1}(k+1)-1$ for all $j\ge1$ and $k\ge2$. In the case $n=k$, the upper bound of Mani-Levitska, Vrećica, and Zivaljević [18], originally obtained without an orthogonality requirement, remains valid under the stronger requirement that all $k$ hyperplanes be mutually orthogonal.
Edge-Coloring Power Graphs
In this paper, we investigate the edge-coloring number of various graphs defined on finite groups. We notably show that the power graph of a finite group $G$ is overfull if and only if the power graph of $G$ is of Class $2$ (has edge-coloring number one more than its maximum vertex degree) if and only if $G$ is a cyclic group of odd prime power order. We find the equivalent necessary and sufficient conditions to be Class $2$ for the intersection power graph and enhanced power graph (respectively cyclic of odd prime power order, and cyclic of odd order), and investigate the situation for the proper power graph. Finally, we give conditions for the power graph of a finite group to have the universal edge pre-coloring extension property: every optimal coloring of the power graph extending to another graph without modifying the existing colors (the enhanced power graph in our case).