group
10258 papers tagged with this keyword
3k-4 theorem for ordered groups
Published
• View Publication
• BIB
Recently, G. A. Freiman, M. Herzog, P. Longobardi, M. Maj proved two `structure theorems' for ordered groups \cite{FHLM}. We give elementary proof of these two theorems.
Big Ramsey degrees and topological dynamics
Published
• View Publication
• BIB
We consider Fraïssé structures whose objects have finite big Ramsey degree and ask what consequences this has for the dynamics of the automorphism group. Motivated by a theorem of D. Devlin about the partition properties of the rationals, we define the notion of a big Ramsey structure, a single structure which codes the big Ramsey degrees of a given Fraïssé structure. This in turn leads to the definition of a completion flow; we show that if a Fraïssé structure admits a big Ramsey structure, then the automorphism group admits a unique universal completion flow. We also discuss the problem of when big Ramsey structures exist and explore connections to the notion of oscillation stability defined by Kechris, Pestov, and Todorčević
Gorenstein simplices and the associated finite abelian groups
Published in European Journal of Combinatorics 67 (2018) 145-157
• View Publication
• BIB
It is known that a lattice simplex of dimension $d$ corresponds a finite abelian subgroup of $(\mathbb{R}/\mathbb{Z})^{d+1}$. Conversely, given a finite abelian subgroup of $(\mathbb{R}/\mathbb{Z})^{d+1}$ such that the sum of all entries of each element is an integer, we can obtain a lattice simplex of dimension $d$. In this paper, we discuss a characterization of Gorenstein simplices in terms of the associated finite abelian groups. In particular, we present complete characterizations of Gorenstein simplices whose normalized volume equals $p,p^2$ and $pq$, where $p$ and $q$ are prime numbers with $p \neq q$. Moreover, we compute the volume of the dual simplices of Gorenstein simplices.
Free Subshifts with Invariant Measures from the Lovász Local Lemma
Gao, Jackson, and Seward (see arXiv:1201.0513) proved that every countably infinite group $Γ$ admits a nonempty free subshift $X \subseteq \{0,1\}^Γ$. Furthermore, a theorem of Seward and Tucker-Drob (see arXiv:1402.4184) implies that every countably infinite group $Γ$ admits a free subshift $X \subseteq \{0,1\}^Γ$ that supports an invariant probability measure. Aubrun, Barbieri, and Thomassé (see arXiv:1507.03369) used the Lovász Local Lemma to give a short alternative proof of the Gao--Jackson--Seward theorem. Recently, Elek (see arXiv:1702.01631) followed another approach involving the Lovász Local Lemma to obtain a different proof of the existence of free subshifts with invariant probability measures for finitely generated sofic groups. Using the measurable version of the Lovász Local Lemma for shift actions established by the author (see arXiv:1604.07349), we give a short alternative proof of the existence of such subshifts for arbitrary groups. Moreover, we can find such subshifts in any nonempty invariant open set.
The Noether numbers and the Davenport constants of the groups of order less than 32
Published
• View Publication
• BIB
The computation of the Noether numbers of all groups of order less than thirty-two is completed. It turns out that for these groups in non-modular characteristic the Noether number is attained on a multiplicity free representation, it is strictly monotone on subgroups and factor groups, and it does not depend on the characteristic. Algorithms are developed and used to determine the small and large Davenport constants of these groups. For each of these groups the Noether number is greater than the small Davenport constant, whereas the first example of a group whose Noether number exceeds the large Davenport constant is found, answering partially a question posed by Geroldinger and Grynkiewicz.
A note on the automorphism groups of Johnson graphs
The Johnson graph $J(n, i)$ is defined as the graph whose vertex set is the set of all $i$-element subsets of $\{1, . . ., n \}$, and two vertices are adjacent whenever the cardinality of their intersection is equal to $i$-1. In Ramras and Donovan [SIAM J. Discrete Math, 25(1): 267-270, 2011], it is proved that if $ n \neq 2i$, then the automorphism group of $J(n, i)$ is isomorphic with the group $Sym(n)$ and it is conjectured that if $n = 2i$, then the automorphism group of $J(n, i)$ is isomorphic with the group $ Sym(n) \times \mathbb{Z}_2$. In this paper, we will find these results by different methods. We will prove the conjecture in the affirmative.
On symmetric intersecting families
Published
• View Publication
• BIB
We make some progress on a question of Babai from the 1970s, namely: for $n, k \in \mathbb{N}$ with $k \le n/2$, what is the largest possible cardinality $s(n,k)$ of an intersecting family of $k$-element subsets of $\{1,2,\ldots,n\}$ admitting a transitive group of automorphisms? We give upper and lower bounds for $s(n,k)$, and show in particular that $s(n,k) = o (\binom{n-1}{k-1})$ as $n \to \infty$ if and only if $k = n/2 - ω(n)(n/\log n)$ for some function $ω(\cdot)$ that increases without bound, thereby determining the threshold at which `symmetric' intersecting families are negligibly small compared to the maximum-sized intersecting families. We also exhibit connections to some basic questions in group theory and additive number theory, and pose a number of problems.
Difference bases in cyclic groups
Published in J. Algebra and its Appl. 18:05 (2019) 1950081
• View Publication
• BIB
A subset $B$ of an Abelian group $G$ is called a difference basis of $G$ if each element $g\in G$ can be written as the difference $g=a-b$ of some elements $a,b\in B$. The smallest cardinality $|B|$ of a difference basis $B\subset G$ is called the difference size of $G$ and is denoted by $Δ[G]$. We prove that for every $n\in\mathbb N$ the cyclic group $C_n$ of order $n$ has difference size $\frac{1+\sqrt{4|n|-3}}2\le Δ[C_n]\le\frac32\sqrt{n}$. If $n\ge 9$ (and $n\ge 2\cdot 10^{15}$), then $Δ[C_n]\le\frac{12}{\sqrt{73}}\sqrt{n}$ (and $Δ[C_n]<\frac2{\sqrt{3}}\sqrt{n}$). Also we calculate the difference sizes of all cyclic groups of cardinality $\le 100$.
Ore's theorem on cyclic subfactor planar algebras and beyond
Published in Pacific Journal of Mathematics 292-1 (2018), 203-221
• View Publication
• BIB
Ore proved that a finite group is cyclic if and only if its subgroup lattice is distributive. Now, since every subgroup of a cyclic group is normal, we call a subfactor planar algebra cyclic if all its biprojections are normal and form a distributive lattice. The main result generalizes one side of Ore's theorem and shows that a cyclic subfactor is singly generated in the sense that there is a minimal 2-box projection generating the identity biprojection. We conjecture that this result holds without assuming the biprojections to be normal, and we show that it is true for small lattices. We finally exhibit a dual version of another theorem of Ore and a non-trivial upper bound for the minimal number of irreducible components for a faithful complex representation of a finite group.
Appoximate Cohomology
Published
• View Publication
• BIB
Let $k$ be a field, $G$ be an abelian group and $r\in \mathbb N$. Let $L$ be an infinite dimensional $k$-vector space. For any $m\in End_k(L)$ we denote by $r(m)\in [0,\infty ]$ the rank of $m$. We define by $R(G,r,k)\in [0,\infty]$ the minimal $R$ such that for any map $A:G \to End_k(L)$ with $r(A(g'+g'')-A(g')-A(g''))\leq r$, $g',g''\in G$ there exists a homomorphism $χ:G\to End_k(L)$ such that $r(A(g)-χ(g))\leq R(G, r, k)$ for all $g\in G$. We show the finiteness of $R(G,r,k)$ for the case when $k$ is a finite field, $G=V$ is a $k$-vector space $V$ of countable dimension. We actually prove a generalization of this result. In addition we introduce a notion of {\it Approximate Cohomology} groups $H^k_{\mathcal F} (V,M)$ (which is a purely algebraic analogue of the notion of $ε$-representation (\cite{ep})) and interperate our result as a computation of the group $H^1_{\mathcal F} (V,M)$ for some $V$-modules $M$.
Bounds for Matchings in Nonabelian Groups
Published
• View Publication
• BIB
We give upper bounds for triples of subsets of a finite group such that the triples of elements that multiply to 1 form a perfect matching. Our bounds are the first to give exponential savings in powers of an arbitrary finite group. Previously, Blasiak-Church-Cohn-Grochow-Naslund-Sawin-Umans gave similar bounds in abelian groups of bounded exponent, and Petrov gave exponential bounds in certain p-groups.
Generating sets of Reidemeister moves of oriented singular links and quandles
Published
• View Publication
• BIB
We give a generating set of the generalized Reidemeister moves for oriented singular links. We use it to introduce an algebraic structure arising from the study of oriented singular knots. We give some examples, including some non-isomorphic families of such structures over non-abelian groups. We show that the set of colorings of a singular knot by this new structure is an invariant of oriented singular knots and use it to distinguish some singular links.
Zero-sum invariants of finite abelian groups
The purpose of the article is to provide an unified way to formulate zero-sum invariants. Let $G$ be a finite additive abelian group. Let $B(G)$ denote the set consisting of all nonempty zero-sum sequences over G. For
$Ω\subset B(G$), let $d_Ω(G)$ be the smallest integer $t$ such that every sequence $S$ over $G$ of length $|S|\geq t$ has a subsequence in $Ω$.We provide some first results and open problems on $d_Ω(G)$.
Braid group symmetries of Grassmannian cluster algebras
Published
• View Publication
• BIB
We define an action of the extended affine d-strand braid group on the open positroid stratum in the Grassmannian Gr(k,n), for d the greatest common divisor of k and n. The action is by quasi-automorphisms of the cluster structure on the Grassmannian, determining a homomorphism from the extended affine braid group to the cluster modular group. We also define a quasi-isomorphism between the Grassmannian Gr(k,rk) and the Fock-Goncharov configuration space of 2r-tuples of affine flags for SL(k). This identifies the cluster variables, clusters, and cluster modular groups, in these two cluster structures.
Fomin and Pylyavskyy proposed a description of the cluster combinatorics for Gr(3,n) in terms of Kuperberg's basis of non-elliptic webs. As our main application, we prove many of their conjectures for Gr(3,9) and give a presentation for its cluster modular group. We establish similar results for Gr(4,8). These results rely on the fact that both of these Grassmannians have finite mutation type.
The anti-spherical category
Published
• View Publication
• BIB
We study a diagrammatic categorification (the "anti-spherical category") of the anti-spherical module for any Coxeter group. We deduce that Deodhar's (sign) parabolic Kazhdan-Lusztig polynomials have non-negative coefficients, and that a monotonicity conjecture of Brenti's holds. The main technical observation is a localisation procedure for the anti-spherical category, from which we construct a "light leaves" basis of morphisms. Our techniques may be used to calculate many new elements of the $p$-canonical basis in the anti-spherical module.
Musical intervals under 12-note equal temperament: a geometrical interpretation
Published in Applied Mathematical Sciences, Vol. 11, 2017, no. 3, 101 - 152
• View Publication
• BIB
Musical intervals in multiple of semitones under 12-note equal temperament, or more specifically pitch-class subsets of assigned cardinality ($n$-chords) are conceived as positive integer points within an Euclidean $n$-space. The number of distinct $n$-chords is inferred from combinatorics with the extension to $n=0$, involving an Euclidean 0-space. The number of repeating $n$-chords, or points which are turned into themselves during a circular permutation, $T_n$, of their coordinates, is inferred from algebraic considerations. Finally, the total number of $n$-chords and the number of $T_n$ set classes are determined. Palindrome and pseudo palindrome $n$-chords are defined and included among repeating $n$-chords, with regard to an equivalence relation, $T_n/T_nI$, where reflection is added to circular permutation. To this respect, the number of $T_n$ set classes is inferred concerning palindrome and pseudo palindrome $n$-chords and the remaining $n$-chords. The above results are reproduced within the framework of a geometrical interpretation, where positive integer points related to $n$-chords of cardinality, $n$, belong to a regular inclined $n$-hedron, $Ψ_{12}^n$, the vertexes lying on the coordinate axes of a Cartesian orthogonal reference frame at a distance, $x_i=12$, $1\le i\le n$, from the origin. Considering $Ψ_{12}^n$ as special cases of lattice polytopes, the number of related nonnegative integer points is also determined for completeness. A comparison is performed with the results inferred from group theory.
Paley and the Paley graphs
Published
• View Publication
• BIB
This paper discusses some aspects of the history of the Paley graphs and their automorphism groups.
Conjugation of Transitive Permutation Pairs and Dessins d'Enfants
Let E be a finite set. Given permutations x and y of E that together generate a transitive subgroup, for which s is it true that x and the conjugate of y by s also generate a transitive subgroup? Such transitive permutation pairs encode dessins d'enfants, important graph-theoretic objects which are also known to have great arithmetic significance. The absolute Galois group acts on dessins d'enfants and permutes them in a very mysterious way. Two dessins d'enfants that share certain elementary combinatorial features are related by conjugations as above, and dessins d'enfants in the same Galois-orbit share these features and more, so it seems worthwhile to have a good answer to the above question. I classify, relative to x and y, exactly those transpositions s for which the new pair is guaranteed to be transitive. I also provide examples of the "exceptional" s which show the range of possible behavior and prove that the above question for the exceptional cases is equivalent to a natural question about deletion in graphs that may have a good answer in this more structured world of topological graphs. Finally, I classify transpositions s according to how they change the genus of the surface underlying the dessin d'enfant of x, y. Some of the tools, like the Reroute Operation/Theorem, may have use beyond Dessins d'Enfants.
A Combinatorial Problem from Group Theory
Keller proposed a combinatorial conjecture on construction of an n-by-infinite matrix, which comes from showing the existence of many orbits of different sizes in certain linear group actions. He proved it for the case n=4, and we show that conjecture is true in the general case. We also propose a combinatorial game version of the conjecture which even further generalizes the problem.
Equal relation between the extra connectivity and pessimistic diagnosability for some regular graphs
Published
• View Publication
• BIB
Extra connectivity and the pessimistic diagnosis are two crucial subjects for a multiprocessor system's ability to tolerate and diagnose faulty processor. The pessimistic diagnosis strategy is a classic strategy based on the PMC model in which isolates all faulty vertices within a set containing at most one fault-free vertex. In this paper, the result that the pessimistic diagnosability $t_p(G)$ equals the extra connectivity $κ_{1}(G)$ of a regular graph $G$ under some conditions are shown. Furthermore, the following new results are gotten: the pessimistic diagnosability $t_p(S_n^2)=4n-9$ for split-star networks $S_n^2$, $t_p(Γ_n)=2n-4$ for Cayley graphs generated by transposition trees $Γ_n$, $t_p(Γ_{n}(Δ))=4n-11$ for Cayley graph generated by the $2$-tree $Γ_{n}(Δ)$, $t_{p}(BP_n)=2n-2$ for the burnt pancake networks $BP_n$. As corollaries, the known results about the extra connectivity and the pessimistic diagnosability of many famous networks including the alternating group graphs, the alternating group networks, BC networks, the $k$-ary $n$-cube networks etc. are obtained directly.