SearcharxivSearch

arXiv subjects

Lior Silberman

Publications and source records attributed to Lior Silberman.

At least 19 recordsLinked to original sources

The High Cost of Data Augmentation for Learning Equivariant Models

According to Noether's theorem the presence of a continuous symmetry in a Hamiltonian systems is equivalent to the existence of a conserved quantity, yet these symmetries are not always explicitly enforced in data-driven models. There remains a debate whether or not encoding of symmetry into a model architecture is the optimal approach. A competing approach is to target approximate symmetry through data augmentation. In this work, we study two approaches aimed at improving the symmetry properties of such an approximation scheme: one based on a quadrature rule for the Haar measure on the compact Lie group encoding the continuous symmetry of interest and one based on a random sampling of that Haar measure. We demonstrate both theoretically and empirically that the quadrature augmentation leads to exact symmetry preservation in polynomial models, while the random augmentation has only square-root convergence of the symmetrization error.

math.NA

Homogeneity of arithmetic quantum limits for hyperbolic $4$-manifolds

We work toward the arithmetic quantum unique ergodicity (AQUE) conjecture for sequences of Hecke--Maass forms on hyperbolic $4$-manifolds. We show that limits of such forms can only scar on totally geodesic $3$-submanifolds, and in fact that all ergodic components of the microlocal lift other than the uniform measure arise from the uniform measures on these submanifolds.

math.NT

A General Framework for Equivariant Neural Networks on Reductive Lie Groups

Reductive Lie Groups, such as the orthogonal groups, the Lorentz group, or the unitary groups, play essential roles across scientific fields as diverse as high energy physics, quantum mechanics, quantum chromodynamics, molecular dynamics, computer vision, and imaging. In this paper, we present a general Equivariant Neural Network architecture capable of respecting the symmetries of the finite-dimensional representations of any reductive Lie Group G. Our approach generalizes the successful ACE and MACE architectures for atomistic point clouds to any data equivariant to a reductive Lie group action. We also introduce the lie-nn software library, which provides all the necessary tools to develop and implement such general G-equivariant neural networks. It implements routines for the reduction of generic tensor products of representations into irreducible representations, making it easy to apply our architecture to a wide range of problems and groups. The generality and performance of our approach are demonstrated by applying it to the tasks of top quark decay tagging (Lorentz group) and shape recognition (orthogonal group).

stat.ML

Arithmetic quantum unique ergodicity for products of hyperbolic $2$- and $3$-spaces

We prove the arithemtic quantum unique ergodicity (AQUE) conjecture for sequences of Hecke--Maass forms on quotients $\Gamma\backslash (\mathbb{H}^{(2)})^r \times (\mathbb{H}^{(3)})^s$. An argument by induction on dimension of the orbit allows us to rule out the limit measure concentrating on closed orbits of proper subgroups despite many returns of the Hecke correspondence to neighborhoods of the orbit.

math.DS

The topology of Baumslag-Solitar representations

Let $Γ=\langle a,b | a b^{p} a^{-1} = b^{q}\rangle$ be a Baumslag--Solitar group and $G$ be a complex reductive algebraic group with maximal compact subgroup $K<G$. We show that, when $p$ and $q$ are relatively prime with distinct absolute values, there is a strong deformation retraction retraction of $Hom(Γ,G)$ onto $Hom(Γ,K)$.

math.AT

Singularities of Intertwining Operators and Decompositions of Principal Series Representations

In this paper, we show that, under certain assumptions, a parabolic induction $Ind_B^Gλ$ from the Borel subgroup $B$ of a (real or $p$-adic) reductive group $G$ decomposes into a direct sum of the form: \[ Ind_B^Gλ= \left(Ind_P^G St_M\otimes χ_0\right) \oplus \left(Ind_P^G \mathbf{1}_M\otimes χ_0\right), \] where $P$ is a parabolic subgroup of $G$ with Levi subgroup $M$ of semi-simple rank $1$, $\mathbf{1}_M$ is the trivial representation of $M$, $St_M$ is the Steinberg representation of $M$ and $χ_0$ is a certain character of $M$. We construct examples of this phenomenon for all simply-connected simple groups of rank at least $2$.

math.RT

Volumes of hyperbolic three-manifolds associated to modular links

Periodic geodesics on the modular surface correspond to periodic orbits of the geodesic flow in its unit tangent bundle $\mathrm{PSL}_2(\mathbb{Z})\backslash\mathrm{PSL}_2(\mathbb{R})$. The complement of any finite number of orbits is a hyperbolic $3$-manifold, which thus has a well-defined volume. We present strong numerical evidence that, in the case of the set of geodesics corresponding to the ideal class group of a real quadratic field, the volume has linear asymptotics in terms of the total length of the geodesics. This is not the case for general sets of geodesics

math.GT

Scarring of quasimodes on hyperbolic manifolds

Let $N$ be a compact hyperbolic manifold, $M\subset N$ an embedded totally geodesic submanifold, and let $-\hbar^2Δ_{N}$ be the semiclassical Laplace--Beltrami operator. For any $\varepsilon>0$, we explicitly construct families of \emph{quasimodes} of spectral width at most $\varepsilon\frac{\hbar}{|\log\hbar|}$ which exhibit a "strong scar" on $M$ in that their microlocal lifts converge weakly to a probability measure which places positive weight on $S^*M$ ($\hookrightarrow S^*N$). An immediate corollary is that \emph{any} invariant measure on $S^*N$ occurs in the ergodic decomposition of the semiclassical limit of certain quasimodes of width $\varepsilon \frac{\hbar}{|\log\hbar|}$

math.AP

Entropy bounds and quantum unique ergodicity for Hecke eigenfunctions on division algebras

We prove the arithmetic quantum unique ergodicity (AQUE) conjecture for non-degenerate sequences of Hecke eigenfunctions on quotients $Γ\backslash G/K$, where $G\simeq\mathrm{PGL}_{d}(\mathbb{R})$, $K$ is a maximal compact subgroup of $G$ and $Γ<G$ is a lattice associated to a division algebra over $\mathbb{Q}$ of prime degree $d$. More generally, we introduce a new method of proving positive entropy of quantum limits, which applies to higher-rank groups. The result on AQUE is obtained by combining this with a measure-rigidity theorem due to Einsiedler-Katok, following a strategy first pioneered by Lindenstrauss

math.NT

An upper bound for the volumes of complements of periodic geodesics

A periodic geodesic on a surface has a natural lift to the unit tangent bundle; when the complement of this lift is hyperbolic, its volume typically grows as the geodesic gets longer. We give an upper bound for this volume which is linear in the geometric length of the geodesic.

math.GT

Abelian Girth and Girth

We show that the abelian girth of a graph is at least three times its girth. We prove an analogue of the Moore bound for the abelian girth of regular graphs, where the degree of the graph is fixed and the number of vertices is large. We conclude that one could try to improve the Moore bound for graphs of fixed degree and many vertices by trying to improve its analogue concerning the abelian girth.

math.CO

Gaussian measures on the of space of Riemannian metrics

We introduce Gaussian-type measures on the manifold of all metrics with a fixed volume form on a compact Riemannian manifold of dimension $\geq 3$. For this random model we compute the characteristic function for the $L^2$ (Ebin) distance to the reference metric. In the Appendix, we study Lipschitz-type distance between Riemannian metrics and give applications to the diameter, eigenvalue and volume entropy functionals.

math.DG

A Note On Nilpotent Representations

Let $Γ$ be a finitely generated nilpotent group and let G be a complex reductive algebraic group. The representation variety $\mathrm{Hom}(Γ,G)$ and the character variety $\mathrm{Hom}(Γ,G)//G$ each carry a natural topology, and we describe the topology of their connected components in terms of representations factoring through quotients of $Γ$ by elements of its lower central series.

math.AT

Finding Minimal Permutation Representations of Finite Groups

A minimal permutation representation of a finite group G is a faithful G-set with the smallest possible size. We study the structure of such representations and show that for certain groups they may be obtained by a greedy construction. In these situations (except when central involutions intervene) all minimal permutation representations have the same set of orbit sizes. Using the same ideas we also show that if the size d(G) of a minimal faithful G-set is at least c|G| for some c>0 then d(G) = |G|/m + O(1) for an integer m, with the implied constant depending on c.

math.GR

Quantum unique ergodicity on locally symmetric spaces: the degenerate lift

Given a measure $\barμ$ on a locally symmetric space $Y=Γ\backslash G/K$, obtained as a weak-{*} limit of probability measures associated to eigenfunctions of the ring of invariant differential operators, we construct a measure $μ$ on the homogeneous space $X=Γ\backslash G$ which lifts $\barμ$ and which is invariant by a connected subgroup $A_{1}\subset A$ of positive dimension, where $G=NAK$ is an Iwasawa decomposition. If the functions are, in addition, eigenfunctions of the Hecke operators, then $μ$ is also the limit of measures associated to Hecke eigenfunctions on $X$. This generalizes previous results of the author and A.\ Venkatesh to the case of "degenerate" limiting spectral parameters.

math.RT

Poincaré inequalities, embeddings, and wild groups

We present geometric conditions on a metric space $(Y,d_Y)$ ensuring that almost surely, any isometric action on $Y$ by Gromov's expander-based random group has a common fixed point. These geometric conditions involve uniform convexity and the validity of nonlinear Poincaré inequalities, and they are stable under natural operations such as scaling, Gromov-Hausdorff limits, and Cartesian products. We use methods from metric embedding theory to establish the validity of these conditions for a variety of classes of metric spaces, thus establishing new fixed point results for actions of Gromov's "wild groups".

math.GR

A uniform spectral gap for congruence covers of a hyperbolic manifold

Let $G$ be $\SO(n,1)$ or $\SU(n,1)$ and let $Γ\subset G$ denote an arithmetic lattice. The hyperbolic manifold $Γ\backslash \calH$ comes with a natural family of covers, coming from the congruence subgroups of $Γ$. In many applications, it is useful to have a bound for the spectral gap that is uniform for this family. When $Γ$ is itself a congruence lattice, there are very good bounds coming from known results towards the Ramanujan conjectures. In this paper, we establish an effective bound that is uniform for congruence subgroups of a non-congruence lattice.

math.NT

A Haar component for quantum limits on locally symmetric spaces

We prove lower bounds for the entropy of limit measures associated to non-degenerate sequences of eigenfunctions on locally symmetric spaces of non-positive curvature. In the case of certain compact quotients of the space of positive definite $n\times n$ matrices (any quotient for $n=3$, quotients associated to inner forms in general), measure classification results then show that the limit measures must have a Lebesgue component. This is consistent with the conjecture that the limit measures are absolutely continuous.

math.AP