Arie Bialostocki

Arie received his BSc, MSc, and PhD (1984) degrees from Tel-Aviv University in Israel.[1] His dissertation was done under the supervision of Marcel Herzog.[3] After a year of postdoc at University of Calgary, Canada, he took a faculty position at the University of Idaho, became a professor in 1992, and continued to work there until he retired at the end of 2011.[2] At Idaho, Arie maintained correspondence and collaborations with researchers from around the world who would share similar interests in mathematics.[2] His Erdős number is 1.[4] He has supervised seven PhD students and numerous undergraduate students who enjoyed his colorful anecdotes and advice.[2] He organized the Research Experience for Undergraduates (REU) program at the University of Idaho from 1999 to 2003 attracting many promising undergraduates who themselves have gone on to their outstanding research careers.[2]

Arie has published more than 50 publications in reputed mathematics journals.[5][6] The following are some of Arie's most important contributions:

• Bialostocki[7] redefined[8] a ${\displaystyle B}$-injector in a finite group G to be any maximal nilpotent subgroup ${\displaystyle B}$ of ${\displaystyle G}$ satisfying ${\displaystyle d_{2}(B)=d_{2}(G)}$, where ${\displaystyle d_{2}(X)}$ is the largest cardinality of a subgroup of ${\displaystyle G}$ which is nilpotent of class at most ${\displaystyle 2}$. Using his definition, it was proved by several authors[9][10][11][12] that in many non-solvable groups the nilpotent injectors form a unique conjugacy class.

• Bialostocki contributed to the generalization of the Erdős-Ginzburg-Ziv theorem (also known as the EGZ theorem).[13][14] He conjectured: if ${\displaystyle A=(a_{1},a_{2},\ldots ,a_{n})}$ is a sequence of elements of ${\displaystyle {\mathbb {Z} }_{m}}$, then ${\displaystyle A}$ contains at least ${\displaystyle {\lfloor {n/2}\rfloor \choose {m}}+{\lceil {n/2}\rceil \choose {m}}}$ zero sums of length ${\displaystyle m}$. The EGZ theorem is a special case where ${\displaystyle n=2m-1}$. The conjecture was partially confirmed by Kisin,[15] Füredi and Kleitman,[16] and Grynkiewicz.[17]

• Bialostocki introduced the EGZ polynomials and contributed to generalize the EGZ theorem for higher degree polynomials.[18][19] The EGZ theorem is associated with the first degree elementary polynomial.

• Bialostocki and Dierker[20][21] introduced[22] the relationship of EGZ theorem to Ramsey Theory on graphs.

• Bialostocki, Erdős, and Lefmann[4] introduced[23] the relationship of EGZ theorem to Ramsey Theory on the positive integers.

• In Jakobs and Jungnickel's book "Einführung in die Kombinatorik",[24] Bialostocki and Dierker are attributed for introducing Zero-sum Ramsey theory. In Landman and Robertson's book "Ramsey Theory on the Integers",[25] the number ${\displaystyle b(m,k;r)}$ is defined in honor of Bialostocki's contributions to the Zero-sum Ramsey theory.

• Bialostocki, Dierker, and Voxman[26] suggested[27] a conjecture offering a modular strengthening of the Erdős–Szekeres theorem proving that the number of points in the interior of the polygon is divisible by ${\displaystyle k}$, provided that total number of points ${\displaystyle n\geqslant k+2}$. Károlyi, Pach and Tóth[28] made further progress toward the proof of the conjecture.
• In Recreational Mathematics, Arie's paper[1] on application of elementary group theory to Peg Solitaire is a suggested reading in Joseph Gallian's book[29] on Abstract Algebra.