
The objective of this series is to study metric geometric properties of
(coarse) disjoint unions of amenable Cayley graphs. We employ the Cayley
topology and observe connections between large scale structure of metric spaces
and group properties of Cayley accumulation points. In this Part I, we prove
that a disjoint union has property A of G. Yu if and only if all groups
appearing as Cayley accumulation points in the space of marked groups are
amenable. As an application, we construct two disjoint unions of finite special
linear groups (and unimodular linear groups) with respect to two systems of
generators that look similar such that one has property A and the other does
not admit (fibred) coarse embeddings into any Banach space with nontrivial
type (for instance, any uniformly convex Banach space).

We provide an example of a compact group $K$, a fourgenerated dense subgroup
$\Lambda_1$ in $K$ and an element $u$ in $K$ such that $\Lambda_1$ is amenable,
but that the group $\Lambda_2$ generated by $\Lambda_1$ and $u$ is
non($C^{\ast}$)exact. Our construction is built upon a construction of
nonexact groups that are LEF (Locally Embeddable into Finite groups) by Osajda
and ArzhantsevaOsajda.

The objective of this series is to study metric geometric properties of
disjoint unions of amenable Cayley graphs by group properties of the Cayley
accumulation points in the space of marked groups. In this Part II, we prove
that a disjoint union admits a fibred coarse embedding into a Hilbert space (in
a generalized sense) if and only if the Cayley boundary of the sequence in the
space of marked groups is uniformly aTmenable. We furthermore extend this
result to ones with other target spaces. By combining our main results with
constructions of ArzhantsevaOsajda and Osajda, we construct two systems of
markings of a certain sequence of finite groups with two opposite extreme
behaviors of the resulting two disjoint unions: With respect to one marking,
the space has property A. On the other hand, with respect to the other, the
space does not admit fibred coarse embeddings into Banach spaces with
nontrivial type (for instance, uniformly convex Banach spaces) or Hadamard
manifolds; the Cayley limit group is, furthermore, nonexact.

This paper presents a statistical method of singlechannel speech enhancement
that uses a variational autoencoder (VAE) as a prior distribution on clean
speech. A standard approach to speech enhancement is to train a deep neural
network (DNN) to take noisy speech as input and output clean speech. Although
this supervised approach requires a very large amount of pair data for
training, it is not robust against unknown environments. Another approach is to
use nonnegative matrix factorization (NMF) based on basis spectra trained on
clean speech in advance and those adapted to noise on the fly. This
semisupervised approach, however, causes considerable signal distortion in
enhanced speech due to the unrealistic assumption that speech spectrograms are
linear combinations of the basis spectra. Replacing the poor linear generative
model of clean speech in NMF with a VAEa powerful nonlinear deep generative
modeltrained on clean speech, we formulate a unified probabilistic
generative model of noisy speech. Given noisy speech as observed data, we can
sample clean speech from its posterior distribution. The proposed method
outperformed the conventional DNNbased method in unseen noisy environments.

In 2010, Invent. Math., Ershov and JaikinZapirain proved Kazhdan's property
(T) for elementary groups. This expository article focuses on presenting an
alternative simpler proof of that. Unlike the original one, our proof supplies
no estimate of Kazhdan constants. It may be regarded as a specific example of
the results in the paper "Upgrading fixed points without bounded generation"
(arXiv:1505.06728, forthcoming version) by the author.

We prove that every homomorphism from the elementary Chevalley group over a
finitely generated unital commutative ring associated with reduced irreducible
classical root system of rank at least 2, and ME analogues of such groups, into
acylindrically hyperbolic groups has an absolutely elliptic image. This result
provides a nonarithmetic generalization of homomorphism superrigidity of
FarbKaimanovichMasur and BridsonWade.

The following natural question arises from Shalom's innovational work (1999,
Publ. IHES): "Can we establish an intrinsic criterion to synthesize relative
fixed point properties into the whole fixed point property without assuming
Bounded Generation?" This paper resolves this question in the affirmative. Our
criterion works for ones with respect to certain classes of Busemann NPC
spaces. It, moreover, suggests a further step toward constructing
superexpanders from finite simple groups of Lie type.

We consider certain strengthenings of property (T) relative to Banach spaces
that are satisfied by high rank Lie groups. Let X be a Banach space for which,
for all k, the BanachMazur distance to a Hilbert space of all kdimensional
subspaces is bounded above by a power of k strictly less than one half. We
prove that every connected simple Lie group of sufficiently large real rank
depending on X has strong property (T) of Lafforgue with respect to X. As a
consequence, we obtain that every continuous affine isometric action of such a
high rank group (or a lattice in such a group) on X has a fixed point. This
result corroborates a conjecture of Bader, Furman, Gelander and Monod. For the
special linear Lie groups, we also present a more direct approach to fixed
point properties, or, more precisely, to the boundedness of quasicocycles.
Without appealing to strong property (T), we prove that given a Banach space X
as above, every special linear group of sufficiently large rank satisfies the
following property: every quasi1cocycle with values in an isometric
representation on X is bounded.

For n at least 2, the concept of nway expanders was defined by various
researchers. Bigger n gives a weaker notion in general, and 2way expanders
coincide with expanders in usual sense. Koji Fujiwara asked whether these
concepts are equivalent to that of ordinary expanders for all n for a sequence
of Cayley graphs. In this paper, we answer his question in the affirmative.
Furthermore, we obtain universal inequalities on multiway isoperimetric
constants on any finite connected vertextransitive graph, and show that gaps
between these constants imply the imprimitivity of the group action on the
graph.

We study the Banach spectral gap lambda_1(G;X,p) of finite graphs G for pairs
(X,p) of Banach spaces and exponents. We define the notion of sphere
equivalence between Banach spaces and show a generalization of Matousek's
extrapolation for Banach spaces sphere equivalent to uniformly convex ones. As
a byproduct, we prove that expanders are automatically expanders with respects
to (X,p) for any X sphere equivalent to a uniformly curved Banach space and for
any p strictly bigger than 1.

In this series of papers, we study correspondence between the following: (1)
large scale structure of the metric space bigsqcup_m {Cay(G(m))} consisting of
Cayley graphs of finite groups with k generators; (2) structure of groups which
appear in the boundary of the set {G(m)}_m in the space of kmarked groups. In
this third part of the series, we show the correspondence among the metric
properties `geometric property (T),' `cohomological property (T),' and the
group property `Kazhdan's property (T).' Geometric property (T) of WillettYu
is stronger than being expander graphs. Cohomological property (T) is stronger
than geometric property (T) for general coarse spaces.

Every homomorphism from finite index subgroups of a universal lattices to
mapping class groups of orientable surfaces (possibly with punctures), or to
outer automorphism groups of finitely generated nonabelian free groups must
have finite image. Here the universal lattice denotes the special linear group
G=SL_m(Z[x1,...,xk]) with m at least 3 and k finite. Moreover, the same results
hold ture if universal lattices are replaced with symplectic universal lattices
Sp_{2m}(Z[x1,...,xk]) with m at least 2. These results can be regarded as a
nonarithmetization of the theorems of FarbKaimanovichMasur and
BridsonWade. A certain measure equivalence analogue is also established. To
show the statements above, we introduce a notion of property (TT)/T ("/T"
stands for "modulo trivial part"), which is a weakening of property (TT) of N.
Monod. Furthermore, symplectic universal lattices Sp_{2m}(Z[x1,...,xk]) with m
at least 3 has the fixed point property for L^pspaces for any p in
(1,infinity).

The special linear group G=SL_n(Z[x1,...,xk]) (n at least 3 and k finite) is
called the universal lattice. Let n be at least 4, p be any real number in
(1,\infty). The main result is the following: any finite index subgroup of G
has the fixed point property with respect to every affine isometric action on
the space of pSchatten class operators. It is in addition shown that higher
rank lattices have the same property. These results are generalization of
previous theorems repsectively of the author and of
BaderFurmanGelanderMonod, which treated commutative Lpsetting.

Let B be any Lp space for p in (1,infty) or any Banach space isomorphic to a
Hilbert space, and k be a nonnegative integer. We show that if n is at least 4,
then the universal lattice Gamma =SL_n (Z[x1,...,xk]) has property (F_B) in the
sense of BaderFurmanGelanderMonod. Namely, any affine isometric action of
Gamma on B has a global fixed point. The property of having (F_B) for all B
above is known to be strictly stronger than Kazhdan's property (T). We also
define the following generalization of property (F_B)$ for a group: the
boundedness property of all affine quasiactions on B. We name it property
(FF_B) and prove that the group Gamma above also has this property modulo
trivial part. The conclusion above in particular implies that the comparison
map in degree two H^2_b (Gamma; B) \to H^2(Gamma; B) from bounded to ordinary
cohomology is injective, provided that the associated linear representation
does not contain the trivial representation.

We prove that for any euclidean ring R and n at least 6, Gamma=SL_n(R) has no
unbounded quasihomomorphisms. From Bavard's duality theorem, this means that
the stable commutator length vanishes on Gamma. The result is particularly
interesting for R = F[x] for a certain field F (such as the field C of complex
numbers, because in this case the commutator length on Gamma is known to be
unbounded. This answers a question of M. Ab\'ert and N. Monod for n at least 6.