Related papers: Algorithms for experimenting with Zariski dense su…

We give necessary and sufficient conditions for a linear reflection group in the sense of Vinberg to be Zariski-dense in the ambient projective general linear group. As an application, we show that every irreducible right-angled Coxeter…

We show that finite quasisimple groups of Lie type in characteristic $p$ with an irreducible representation of prime degree $r$ over a finite field of characteristic $p$ have orders bounded above by a function of $r$, independent of $p$. We…

Using the Kuznetsov formula, we prove several density theorems for exceptional Hecke and Laplacian eigenvalues of Maass cusp forms of weight 0 or 1 for the congruence subgroups $\Gamma_0(q)$, $\Gamma_1(q)$, and $\Gamma(q)$. These improve…

We define Lie subalgebras of the group algebra of a finite pseudo-reflection group that are involved in the definition of the Cherednik KZ-systems, and determine their structure. We provide applications for computing the Zariski closure of…

Let $X$ be a scheme of finite type over $\mathbf{Z}$. For $p \in \mathcal{P}$ the set of prime numbers, let $N_{X}(p)$ be the number of $\mathbf{F}_{p}$-points of $X/\mathbf{F}_{p}$. For fixed $n\geq 1$ and $a_{1}, \ldots, a_{n} \in…

Our main result is that the image of the quantum representation of a central extension of the mapping class group of the genus $g\geq 3$ closed orientable surface at a prime $p\geq 5$ is a Zariski dense discrete subgroup of some higher rank…

In this paper we propose a new inexact dual decomposition algorithm for solving separable convex optimization problems. This algorithm is a combination of three techniques: dual Lagrangian decomposition, smoothing and excessive gap. The…

Let $\Gamma$ be a discrete subgroup of a simply connected, solvable Lie group~$G$, such that $\Ad_G\Gamma$ has the same Zariski closure as $\Ad G$. If $\alpha \colon \Gamma \to \GL_n(\real)$ is any finite-dimensional representation…

We investigate for which linear-algebraic groups (over the complex numbers or any local field) there exists subgroups which are dense in the Zariski topology, but discrete in the Hausdorff topology. For instance, such subgroups exist for…

The article demonstrates the procedure how to compute the Zariski closure of an orbit by an algebraic action of finitely generated group on the affine plane. First half of the algorithm is about deciding whether given finitely generated…

We construct generating pairs of simple Lie algebras in characteristic zero. We apply this construction to exhibit infinite series of 2-generator Zariski dense subgroups that are free of rank 2 of the simple algebraic groups SL(n, C), Sp(n,…

Let $\rho : \Gamma \longrightarrow G$ be a Zariski dense irreducible convex representation of the hyperbolic group $\Gamma$, where G is a connected real semisimple algebraic Lie group. We establish a central limit type theorem for the…

We propose a new fast algorithm to estimate any sparse generalized linear model with convex or non-convex separable penalties. Our algorithm is able to solve problems with millions of samples and features in seconds, by relying on…

Finitely generated Z-modules have canonical decompositions. When such modules are given in a finitely presented form there is a classical algorithm for computing a canonical decomposition. This is the algorithm for computing the Smith…

Let $G$ be a simple algebraic group over an algebraically closed field and let $X$ be an irreducible subvariety of $G^r$ with $r \geqslant 2$. In this paper, we consider the general problem of determining if there exists a tuple $(x_1,…

We prove in a large number of cases, that a Zariski dense discrete subgroup of a simple real algebraic group $G$ which contains a higher rank lattice is a lattice in the group $G$. For example, we show that a Zariski dense subgroup of…

We prove that all lattices of Sp(2n,R), except those commensurable with Sp(4k+2,Z) when n=2k+1, contain the image of infinitely many mapping class group orbits of Zariski-dense maximal representation that are continuous deformations of…

A supercongruence is a congruence between rational numbers modulo a power of a prime. In this paper, we give a technique for finding and algorithmically proving supercongruences by expressing terms as infinite series involving certain…

We discuss various methods and their effectiveness for solving linear equations over finitely generated abelian groups. More precisely, if $\varphi\colon G\to H$ is a homomorphism of finitely generated abelian groups and $b\in H$, we…

We present an approach to detecting Zariski pairs in conic line arrangements. Our method introduces a combinatorial condition that reformulates the tubular neighborhood homeomorphism criterion arising in the definition of Zariski pairs.…