group
10226 papers tagged with this keyword
Sidon sets in algebraic geometry
We report new examples of Sidon sets in abelian groups arising from generalized jacobians of curves, and discuss some of their properties with respect to size and structure.
The quotient set of the quadratic distance set over finite fields
Let $\mathbb F_q^d$ be the $d$-dimensional vector space over the finite field $\mathbb F_q$ with $q$ elements. For each non-zero $r$ in $\mathbb F_q$ and $E\subset \mathbb F_q^d$, we define $W(r)$ as the number of quadruples $(x,y,z,w)\in E^4$ such that $ Q(x-y)/Q(z-w)=r,$ where $Q$ is a non-degenerate quadratic form in $d$ variables over $\mathbb F_q.$ When $Q(α)=\sum_{i=1}^d α_i^2$ with $α=(α_1, \ldots, α_d)\in \mathbb F_q^d,$ Pham (2022) recently used the machinery of group actions and proved that if $E\subset \mathbb F_q^2$ with $q\equiv 3 \pmod{4}$ and $|E|\ge C q$, then we have $W(r)\ge c |E|^4/q$ for any non-zero square number $r \in \mathbb F_q,$ where $C$ is a sufficiently large constant, $ c$ is some number between $0$ and $1,$ and $|E|$ denotes the cardinality of the set $E.$
In this article, we improve and extend Pham's result in two dimensions to arbitrary dimensions with general non-degenerate quadratic distances. As a corollary of our results, we also generalize the sharp results on the Falconer type problem for the quotient set of distance set due to the first two authors and Parshall (2019). Furthermore, we provide improved constants for the size conditions of the underlying sets.
The key new ingredient is to relate the estimate of the $W(r)$ to a quadratic homogeneous variety in $2d$-dimensional vector space. This approach is fruitful because it allows us to take advantage of Gauss sums which are more handleable than the Kloosterman sums appearing in the standard distance type problems.
Periodicity of joint co-tiles in $\mathbb{Z}^d$
Published in DISCRETE ANALYSIS, 2024:13
• Search Publication
An old theorem of Newman asserts that any tiling of $\mathbb{Z}$ by a finite set is periodic. A few years ago, Bhattacharya proved the periodic tiling conjecture in $\mathbb{Z}^2$. Namely, he proved that for a finite subset $F$ of $\mathbb{Z}^2$, if there exists $A \subseteq \mathbb{Z}^2$ such that $F \oplus A = \mathbb{Z}^2$ then there exists a periodic $A' \subseteq \mathbb{Z}^2$ such that $F \oplus A' = \mathbb{Z}^2$. The recent refutation of the periodic tiling conjecture in high dimensions due to Greenfeld and Tao motivates finding different generalizations of Newman's theorem and of Bhattacharya's theorem that hold in arbitrary dimension $d$. In this paper, we formulate and prove such generalizations. We do so by studying the structure of joint co-tiles in $\mathbb{Z}^d$. Our generalization of Newman's theorem states that for any $d \ge 1$, any joint co-tile for $d$ independent tiles is periodic. For a $(d-1)$-tuple of finite subsets of $\mathbb{Z}^d$ that satisfy a certain technical condition that we call property $(\star)$, we prove that any joint co-tile decomposes into disjoint $(d-1)$-periodic sets. Consequently, we show that for a $(d-1)$-tuple of finite subsets of $\mathbb{Z}^d$ that satisfy property $(\star)$, the existence of a joint co-tile implies the existence of periodic joint co-tile. Conversely, we prove that if a finite subset $F$ in $\mathbb{Z}^d$ admits a periodic co-tile $A$, then there exist $(d-1)$ additional tiles that together with $F$ are independent and admit $A$ as a joint co-tile, so that the first $(d-2)$ of these tiles together with $F$ satisfy property $(\star)$. Combined, our results give a new necessary and sufficient condition for a subset of $\mathbb{Z}^d$ to tile periodically. We also discuss tilings and joint tilings in other countable abelian groups.
Forbidden Subgraphs of co-prime Graphs of finite Groups
For a finite group $G$ the co-prime graph $Γ(G)$ is defined as a graph with vertex set $G$ in which two distinct vertices $x$ and $y$ are adjacent if and only if $gcd(o(x),o(y))=1$ where $o(x)$ and $o(y)$ denote the orders of the elements $x$ and $y$ respectively. In this paper we find properties of groups whose co-prime graphs forbid graphs such as $C_4,K_{1,3},P_4$ and asteroidal triples.
MV polytopes and reduced double Bruhat cells
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$. By fixing $w$ from the Weyl group, we can define MV polytopes whose highest vertex is labelled by $w$. We show that these polytopes are in bijection with the non-negative tropical points of the reduced double Bruhat cell labelled by $w^{-1}$. To do this, we define a collection of generalized minor functions $Δ_γ^\text{new}$ which tropicalize on the reduced Bruhat cell to the BZ data of an MV polytope of highest vertex $w$.
We also describe the combinatorial structure of MV polytopes of highest vertex $w$. We explicitly describe the map from the Weyl group to the subset of elements bounded by $w$ in the Bruhat order which sends $u \mapsto v$ if the vertex labelled by $u$ coincides with the vertex labelled by $v$ for every MV polytope of highest vertex $w$. As a consequence of this map, we prove that these polytopes have vertices labelled by Weyl group elements less than $w$ in the Bruhat order.
The Hilbert series of the superspace coinvariant ring
Published in Forum of Mathematics, Pi 12 (2024) e16
• View Publication
• BIB
Let $Ω_n$ be the ring of polynomial-valued holomorphic differential forms on complex $n$-space, referred to in physics as the superspace ring of rank $n$. The symmetric group $\mathfrak{S}_n$ acts diagonally on $Ω_n$ by permuting commuting and anticommuting generators simultaneously. We let $SI_n \subseteq Ω_n$ be the ideal generated by $\mathfrak{S}_n$-invariants with vanishing constant term and study the quotient $SR_n = Ω_n / SI_n$ of superspace by this ideal. We calculate the doubly-graded Hilbert series of $SR_n$ and prove an `operator theorem' which characterizes the harmonic space $SH_n \subseteq Ω_n$ attached to $SR_n$ in terms of the Vandermonde determinant and certain differential operators. Our methods employ commutative algebra results which were used in the study of Hessenberg varieties. Our results prove conjectures of N. Bergeron, Li, Machacek, Sulzgruber, Swanson, Wallach, and Zabrocki.
On the finiteness of certain factorization invariants
Published in Arkiv för Matematik 62 (2024), No. 1, 21-38
• View Publication
• BIB
Let $H$ be a monoid, $\mathscr F(X)$ be the free monoid on a set $X$, and $π_H$ be the unique extension of the identity map on $H$ to a monoid homomorphism $\mathscr F(H) \to H$. Given $A \subseteq H$, an $A$-word $\mathfrak z$ (i.e., an element of $\mathscr F(A)$) is minimal if $π_H(\mathfrak z) \ne π_H(\mathfrak z')$ for every permutation $\mathfrak z'$ of a proper subword of $\mathfrak z$. The minimal $A$-elasticity of $H$ is then the supremum of all rational numbers $m/n$ with $m, n \in \mathbb N^+$ such that there exist minimal $A$-words $\mathfrak a$ and $\mathfrak b$ of length $m$ and $n$, resp., with $π_H(\mathfrak a) = π_H(\mathfrak b)$.
Among other things, we show that if $H$ is commutative and $A$ is finite, then the minimal $A$-elasticity of $H$ is finite. This yields a non-trivial generalization of the finiteness part of a classical theorem of Anderson et al. from the case where $H$ is cancellative, commutative, and finitely generated (f.g.) modulo units and $A$ is the set $\mathscr A(H)$ of its atoms. We also check that commutativity is somewhat essential here, by proving the existence of an atomic, cancellative, f.g. monoid with trivial group of units whose minimal $\mathscr A(H)$-elasticity is infinite.
How Jellyfish Characterise Alternating Group Equivariant Neural Networks
We provide a full characterisation of all of the possible alternating group ($A_n$) equivariant neural networks whose layers are some tensor power of $\mathbb{R}^{n}$. In particular, we find a basis of matrices for the learnable, linear, $A_n$-equivariant layer functions between such tensor power spaces in the standard basis of $\mathbb{R}^{n}$. We also describe how our approach generalises to the construction of neural networks that are equivariant to local symmetries.
Sequencings in Semidirect Products via the Polynomial Method
The partial sums of a sequence ${\mathbf x} = x_1, x_2, \ldots, x_k$ of distinct non-identity elements of a group $(G,\cdot)$ are $s_0 = id_G$ and $s_j = \prod_{i=1}^j x_i$ for $0 < j \leq k$. If the partial sums are all different then ${\mathbf x}$ is a linear sequencing and if the partial sums are all different when $|i-j| \leq t$ then ${\mathbf x}$ is a $t$-weak sequencing. We investigate these notions of sequenceability in semidirect products using the polynomial method. We show that every subset of order $k$ of the non-identity elements of the dihedral group of order $2m$ has a linear sequencing when $k \leq 12$ and either $m>3$ is prime or every prime factor of $m$ is larger than $k!$, unless $s_k$ is unavoidably the identity; that every subset of order $k$ of a non-abelian group of order three times a prime has a linear sequencing when $5 < k \leq 10$, unless $s_k$ is unavoidably the identity; and that if the order of a group is $pe$ then all sufficiently large subsets of the non-identity elements are $t$-weakly sequenceable when $p>3$ is prime, $e \leq 3$ and $t \leq 6$.
Probability theory for random groups arising in number theory
We consider the probability theory, and in particular the moment problem and universality theorems, for random groups of the sort of that arise or are conjectured to arise in number theory, and in related situations in topology and combinatorics. The distributions of random groups that are discussed include those conjectured in the Cohen-Lenstra-Martinet heuristics to be the distributions of class groups of random number fields, as well as distributions of non-abelian generalizations, and those conjectured to be the distributions of Selmer groups of random elliptic curves. For these sorts of distributions on finite and profinite groups, we survey what is known about the moment problem and universality, give a few new results including new applications, and suggest open problems.
Cutting a Cake Fairly for Groups Revisited
Published in American Mathematical Monthly, 130(3):203-213 (2023)
• View Publication
• BIB
Cake cutting is a classic fair division problem, with the cake serving as a metaphor for a heterogeneous divisible resource. Recently, it was shown that for any number of players with arbitrary preferences over a cake, it is possible to partition the players into groups of any desired size and divide the cake among the groups so that each group receives a single contiguous piece and every player is envy-free. For two groups, we characterize the group sizes for which such an assignment can be computed by a finite algorithm, showing that the task is possible exactly when one of the groups is a singleton. We also establish an analogous existence result for chore division, and show that the result does not hold for a mixed cake.
Modified Erdős-Ginzburg-Ziv constants for $\mathbb{Z}_2^d$
Published
• View Publication
• BIB
Let $G$ be a finite abelian group written additively, and let $r$ be a multiple of its exponent. The modified Erdős-Ginzburg-Ziv constant $\mathsf{s}_r'(G)$ is the smallest integer $s$ such that every zero-sum sequence of length $s$ over $G$ has a zero-sum subsequence of length $r$. We find exact values of $\mathsf{s}_{2k}'(\mathbb{Z}_2^d)$ for $d \leq 2k+1$.
Smallest posets with given cyclic automorphism group
For each $n\ge 1$ we determine the minimum number of points in a poset with cyclic automorphism group of order $n$.
Ungarian Markov Chains
Published in Electron. J. Probab. 28:1-39 (2023)
• View Publication
• BIB
We introduce the Ungarian Markov chain ${\bf U}_L$ associated to a finite lattice $L$. The states of this Markov chain are the elements of $L$. When the chain is in a state $x\in L$, it transitions to the meet of $\{x\}\cup T$, where $T$ is a random subset of the set of elements covered by $x$. We focus on estimating $\mathcal E(L)$, the expected number of steps of ${\bf U}_L$ needed to get from the top element of $L$ to the bottom element of $L$. Using direct combinatorial arguments, we provide asymptotic estimates when $L$ is the weak order on the symmetric group $S_n$ and when $L$ is the $n$-th Tamari lattice. When $L$ is distributive, the Markov chain ${\bf U}_L$ is equivalent to an instance of the well-studied random process known as last-passage percolation with geometric weights. One of our main results states that if $L$ is a trim lattice, then $\mathcal E(L)\leq\mathcal E(\text{spine}(L))$, where $\text{spine}(L)$ is a specific distributive sublattice of $L$ called the spine of $L$. Combining this lattice-theoretic theorem with known results about last-passage percolation yields a powerful method for proving upper bounds for $\mathcal E(L)$ when $L$ is trim. We apply this method to obtain uniform asymptotic upper bounds for the expected number of steps in the Ungarian Markov chains of Cambrian lattices of classical types and the Ungarian Markov chains of $ν$-Tamari lattices.
Almost all Cayley maps are mapical regular representations
Cayley maps are combinatorial structures built upon Cayley graphs on a group. As such the original group embeds in their group of automorphisms, and one can ask in which situation the two coincide (one then calls the Cayley map a mapical regular representation or MRR) and with what probability. The first question was answered by Jajcay. In this paper we tackle the probabilistic version, and prove that as groups get larger the proportion of MRRs among all Cayley Maps approaches 1.
Braid variety cluster structures, II: general type
We show that braid varieties for any complex simple algebraic group $G$ are cluster varieties. This includes open Richardson varieties inside the flag variety $G/B$.
Infinite product of power series
We give an exact coefficients formula of any infinite product of power series with constant term equal to $1$, by using structures from partitions of integers and permutation groups. This is an universal theorem for various of Binomial-type theorems in many sense. In particular, we give the new formulas as the double counting of Bell polynomial, Binomial Theorem and Multinomial Theorem.
Cliques of orders three and four in the Paley-type graphs
Let $n=2^s p_{1}^{α_{1}}\cdots p_{k}^{α_{k}}$, where $s=0$ or $1$, $α_i\geq 1$, and the distinct primes $p_i$ satisfy $p_i\equiv 1\pmod{4}$ for all $i=1, \ldots, k$. Let $\mathbb{Z}_n^\ast$ denote the group of units in the commutative ring $\mathbb{Z}_n$. Recently, we defined a Paley-type graph $G_n$ of order $n$ as the graph whose vertex set is $\mathbb{Z}_n$ and $xy$ is an edge if $x-y\equiv a^2\pmod n$ for some $a\in\mathbb{Z}_n^\ast$. The Paley-type graph $G_n$ resembles the classical Paley graph in a number of ways, and adds to the list of generalizations of the Paley graph. Computing the number of cliques of a particular order in a Paley graph or its generalizations has been of considerable interest. For primes $p\equiv 1\pmod 4$ and $α\geq 1$, by evaluating certain character sums, we found the number of cliques of order $3$ in $G_{p^α}$ and expressed the number of cliques of order $4$ in $G_{p^α}$ in terms of Jacobi sums. In this article we give combinatorial proofs and find the number of cliques of orders $3$ and $4$ in $G_n$ for all $n$ for which the graph is defined.
A modular idealizer chain and unrefinability of partitions with repeated parts
Recently Aragona et al. have introduced a chain of normalizers in a Sylow 2-subgroup of Sym(2^n), starting from an elementary abelian regular subgroup. They have shown that the indices of consecutive groups in the chain depend on the number of partitions into distinct parts and have given a description, by means of rigid commutators, of the first n-2 terms in the chain. Moreover, they proved that the (n-1)-th term of the chain is described by means of rigid commutators corresponding to unrefinable partitions into distinct parts. Although the mentioned chain can be defined in a Sylow p-subgroup of Sym(p^n), for p > 2 computing the chain of normalizers becomes a challenging task, in the absence of a suitable notion of rigid commutators. This problem is addressed here from an alternative point of view. We propose a more general framework for the normalizer chain, defining a chain of idealizers in a Lie ring over Z_m whose elements are represented by integer partitions. We show how the corresponding idealizers are generated by subsets of partitions into at most m-1 parts and we conjecture that the idealizer chain grows as the normalizer chain in the symmetric group. As an evidence of this, we establish a correspondence between the two constructions in the case m=2.
Self-complementary distance-regular Cayley graphs over abelian groups
In this paper, we study self-complementary distance-regular Cayley graphs over abelian groups. We prove that if a regular graph is self-complementary distance-regular, then it is self-complementary strongly regular. We also deal with self-complementary strongly regular Cayley graphs over abelian groups and give an example of a self-complementary strongly regular Cayley graph over a non-elementary abelian group.