Here I will give a summary of the research I have done so far.

## Homogeneous dynamics in the space of lattices

- The space of lattices and diagonal orbits – Introduction: basic definitions and notations on lattices.
- Equidistribution of divergent orbits – It is well known that for almost every , if we write in its continued fraction expansion (c.f.e) , then the statistics of the sequence approaches to the Gauss-Kuzmin statistics (e.g. for every we have that as ). Indeed, this claim is a special case of the pointwise ergodic theorem. However, this is not true for
**all**and in particular it fails for rational numbers, which have finite c.f.e. In this work we formulate and prove a counterpart to the claim above which works for finite continued fractions, where the proof relies on the connection of c.f.e and the dynamics of the space of 2-dimensional lattices. More specifically, we use entropy arguments to show that certain families of divergent geodesics equidistribute, and we give partial results for divergent orbits in high dimensional spaces. Finally we show how to interpret these results using the language of the adeles. - Shapes of unit lattices and escape of mass – Given a totally real number field of dimension there is a natural embedding defined by where the are the distinct n embeddings of in . Under this map, full modules in (e.g. its ring of integers) are mapped to lattices in . Moreover, their orbits under the group of diagonal matrices produces a periodic orbit (i.e. compact), and any such orbit can be constructed in this way – indeed, this follows from Dirichlet’s unit theorem which states that after “linearizing” the group of units in “full” rings in we obtain a lattice. Since , the shape of this orbit is defined by the stabilizer in which is in itself a lattice of dimension and corresponds to the unit group of the ring . In this joint work with Uri Shapira we investigate these periodic orbits for , and we construct many families of lattices (i.e. cubic rings) for which we can compute the shapes of their orbits (i.e. their group of units).

## Machine Learning

- Learning and compression – A learning algorithm is an algorithm that receives as input a finite (large) sample for some function where the are generated independently by some distribution , and outputs a hypothesis function which is “close” to as possible (with respect to the probability ).

On the other hand, a compression algorithm receives as an input a sample , and outputs a subsample from which it can recover a function which agrees with on the original sample.

For example, given a sample of (at least two distinct) points where is linear, it is easy to recover the function , namely the set of linear functions is learnable. On the other hand, we can always compress each such sample to two points and recover the function from them.

In this joint work with Amir Yehudayoff and Shay Moran, we consider the connection between learnability and several variants of compression algorithms, and conclude that for “natural” definitions, learnability and compressionability are equivalent.

## Polynomial Identities

- Graded Algebras and PI theory: an Introduction – Some preliminaries about graded algebras and polynomial identities.
- Group Gradings on Algebras – Given a PI algebra , what can be said on all the groups which grade under some “nice” conditions? For example, grading on (not necessarily commutative) algebra where the homogeneous elements commute up to nonzero scalars.
- Embeddings of Graded Simple Algebras – If there is a graded embedding , then every graded polynomial identity of is an identity of , or in other words . Is the other direction also true, namely does imply a graded embedding ?

## Generic crossed products and their center

Generic Algebras and Generic Crossed Products – The central simple algebras, which are matrix algebras over division algebras, are the building blocks of finite dimensional noncommutative algebras. Indeed, modulo the Jacobson radical, any such algebras is a product of central simple algebras.

The generic division algebra is a universal object which is used in order to study these algebras. A more specialized construction is the generic -crossed product which is the universal object in the class of -crossed products. In this work we study the center of the generic crossed product and try to determine how close it is to being a purely transcendental extension of the base field. This involves computing the invariants of some Galois action on a field of rational function in several variables, which is closely related to Noether’s problem and the inverse Galois problem.