Related papers: On commuting pairs in arbitrary sets of 2x2 matric…
We first study i.i.d. products of finitely many invertible $2 \times 2$ matrices with positive entries, and prove that the top Lyapunov exponent admits an explicit, rapidly convergent Neumann-series-type representation involving an infinite…
Given tuples of properly normalized independent $N\times N$ G.U.E. matrices $(X_N^{(1)},\dots,X_N^{(r_1)})$ and $(Y_N^{(1)},\dots,Y_N^{(r_2)})$, we show that the tuple $(X_N^{(1)}\otimes I_N,\dots,X_N^{(r_1)}\otimes I_N,I_N\otimes…
We extend Latimer and MacDuffee's theorem to a general commutative domain and apply this result to study similarity of matrices over integral rings of number fields. We also conjecture similarity over discrete valuation rings can be descent…
J.C.Lagarias (2000) conjectured that if $\mu$ is a complex measure on p-dimensional Euclidean space with a uniformly discrete support and its spectrum (Fourier transform) is also a measure with a uniformly discrete support, then the support…
Motivated by an influential result of Bourgain and Tzafriri, we consider continuous matrix functions $A:\mathbb{R}\to M_{n\times n}$ and lower $\ell_2$-norm bounds associated with their restriction to certain subspaces. We prove that for…
Let $A(\cdot)$ be an $(n+1)\times (n+1)$ uniformly elliptic matrix with H\"older continuous real coefficients and let $\mathcal E_A(x,y)$ be the fundamental solution of the PDE $\mathrm{div} A(\cdot) \nabla u =0$ in $\mathbb R^{n+1}$. Let…
It is well known that if $G/K$ is any irreducible symmetric space and $\mu _{a}$ is a continuous orbital measure supported on the double coset $KaK,$ then the convolution product, $\mu _{a}^{k},$ is absolutely continuous for some suitably…
Coupling probability measures lies at the core of many problems in statistics and machine learning, from domain adaptation to transfer learning and causal inference. Yet, even when restricted to deterministic transports, such couplings are…
We study measures $\mu$ on the plane with two independent Alberti representations. It is known, due to Alberti, Cs\"ornyei, and Preiss, that such measures are absolutely continuous with respect to Lebesgue measure. The purpose of this paper…
We show that the set of all commuting probabilities in finite rings is a subset of the set of all commuting probabilities in finite nilpotent groups of class $\le2$. We believe that these two sets are equal; we prove they are equal, when…
We develop a new, group-theoretic approach to bounding the exponent of matrix multiplication. There are two components to this approach: (1) identifying groups G that admit a certain type of embedding of matrix multiplication into the group…
Given two subgroups $H,K$ of a finite group $G$, the probability that a pair of random elements from $H$ and $K$ commutes is denoted by $Pr(H,K)$. Suppose that a finite group $G$ admits a group of coprime automorphisms $A$ and let…
A question going back to Halmos asks when two approximately commuting matrices of a certain kind are close to exactly commuting matrices of the same kind. It has long been known that there is a winding number obstruction for approximately…
Given two Hermitian matrices, $A$ and $B$, we introduce a new type of spectral measure, a $\textit{tracial joint spectral measure}$ $\mu_{A, B}$ on the plane. Existence of this measure implies the following two results: 1) any…
In this paper we characterize the so called uniformly rectifiable sets of David and Semmes in terms of the Wasserstein distance $W_2$ from optimal mass transport. To obtain this result, we first prove a localization theorem for the distance…
We show that if $(X,\mathcal{X},\mu,S,T)$ is an ergodic measure preserving system with commuting transformations $S$ and $T$, then the average \[\frac{1}{N^3} \sum_{i,j,k=0}^{N-1} f_0(S^j T^k x) f_1 (S^{i+j} T^k x) f_2 (S^j T^{i+k} x)\]…
We provide a numerical scheme to approximate as closely as desired the Gaussian or exponential measure $\mu(\om)$ of (not necessarily compact) basic semi-algebraic sets$\om\subset\R^n$. We obtain two monotone (non increasing and non…
In this note we study when an invariant probability measure lifts to an invariant measure. Consider a standard Borel space $X$, a Borel probability measure $\mu$ on $X$, a Borel map $T \colon X \to X$ preserving $\mu$, a compact metric…
Finite mixture models are statistical models which appear in many problems in statistics and machine learning. In such models it is assumed that data are drawn from random probability measures, called mixture components, which are…
We show that every balanced pair (see Definition 1.1) of real $2\times 2$ matrices admits a unique Lyapunov maximizing measure, and the measure is always Sturmian.