[Paper Review] Remarks to Arsovski's proof of Snevily's conjecture

Gergely Harcos, Gyula Károlyi+1 more|arXiv (Cornell University)|Apr 1, 2010

Graph Labeling and Dimension Problems6 references3 citations

TL;DR

This paper provides a simplified and complete proof of Snevily's conjecture for finite Abelian groups of odd order, confirming that for any two k-element subsets A and B of such a group, there exists a permutation π such that the sums a_i + b_π(i) are all distinct. The proof relies on character theory, exterior algebra, and a novel application of algebraic independence in function fields to show that the determinant of a matrix formed by group characters cannot vanish under the conjectured conditions.

ABSTRACT

Based on the recent work of Arsovski, we confirm a conjecture of Feng, Sun, and Xiang, and we give a shortened proof of Snevily's conjecture.

Motivation & Objective

• To provide a concise and simplified proof of Snevily's conjecture for finite Abelian groups of odd order.
• To confirm a conjecture by Feng, Sun, and Xiang on the existence of common non-singular character matrices for any two k-element subsets of a finite Abelian group.
• To establish that the matroids formed by character independence over the group characters have a common basis, ensuring the existence of non-vanishing determinant matrices.
• To resolve a long-standing open problem in additive combinatorics using algebraic and representation-theoretic techniques.
• To offer a self-contained argument that avoids the complexity of prior proofs while maintaining full rigor and generality.

Proposed method

• Utilizes the character group of a finite Abelian group G, identifying it with G via Pontryagin duality.
• Applies the Cauchy–Binet formula to express the determinant of a matrix M_ij = φ(a_i + b_j) as a sum over products of determinants of character matrices.
• Constructs a function φ: G → F' (a purely transcendental extension of a field F) with Fourier coefficients in F', enabling algebraic independence of variables.
• Employs the multilinearity and multiplicativity of characters to expand det(M) into a sum over permutations and character indices.
• Uses the algebraic independence of the variables t_i (assigned to group elements) to argue that the determinant can only vanish if monomial terms cancel in a way that contradicts a combinatorial lemma.
• Applies a key lemma asserting that for any two k-element subsets A and B in an Abelian group, there exists a unique permutation π such that the multiset {a_i + b_π(i)} is distinct from all others, which contradicts the assumption of determinant vanishing.

Experimental results

Research questions

• RQ1 Does there exist a common basis for the matroids of character independence associated with two k-element subsets A and B in a finite Abelian group G?
• RQ2 Can the conjecture of Feng, Sun, and Xiang be proven, which asserts that for any two k-element subsets A and B of a finite Abelian group G, there exist k characters such that both (χ_i(a_j)) and (χ_i(b_j)) are non-singular?
• RQ3 Is Snevily's conjecture true for all finite Abelian groups of odd order, i.e., does there exist a permutation π such that the sums a_i + b_π(i) are all distinct?
• RQ4 Can the determinant of a matrix formed by evaluating a group function φ on a_i + b_j vanish identically under the assumption that all character matrix determinants vanish?
• RQ5 What is the role of algebraic independence in function fields in proving the non-vanishing of such determinants?

Key findings

• The conjecture of Feng, Sun, and Xiang is confirmed: for any two k-element subsets A and B of a finite Abelian group G, there exist k characters χ_1, ..., χ_k such that both matrices (χ_i(a_j)) and (χ_i(b_j)) are non-singular.
• A simplified proof of Snevily’s conjecture is established, showing that for any two k-element subsets A and B of a finite Abelian group of odd order, there exists a permutation π such that the elements a_i + b_π(i) are pairwise distinct.
• The proof relies on the fact that the determinant of the matrix (φ(a_i + b_j)) cannot vanish identically when the Fourier coefficients are algebraically independent, contradicting the assumption that all character matrix determinants vanish.
• The existence of a unique permutation π for which the multiset {a_i + b_π(i)} is distinct from all others ensures that the determinant cannot vanish due to term cancellation.
• The argument holds over any field F whose multiplicative group contains an element of order equal to the exponent of G, and the result extends to all such fields via field extension arguments.
• The proof demonstrates that the exterior algebra method, combined with character theory and algebraic independence, provides a powerful and streamlined approach to additive combinatorics problems in abelian groups.