arXiv subjects

Guy Salomon

Publications and source records attributed to Guy Salomon.

14 recordsLinked to original sources

arXiv2026

$\mathbb{Z}^2$ is flexibly stable in the operator norm

A cornerstone of stability theory is Voiculescu's 1983 counterexample: he constructed a sequence of pairs of unitary matrices whose commutators converge to zero in the operator norm, but whose distances from the set of commuting unitary pairs remain bounded away from zero. Namely, the group $\mathbb{Z}^2$ is not stable in the operator norm. We prove, somewhat surprisingly, that stability is restored after an asymptotically negligible enlargement of the dimension. That is, the group $\mathbb{Z}^2$ is flexibly stable in the operator norm. This provides the first example, in any context, of a flexibly stable group that is not stable. Building on a construction of Eckhardt, who produced finitely generated amenable groups that are very-flexibly stable but not flexibly stable in the normalized Hilbert-Schmidt norm, we show that the same groups exhibit the analogous separation in the operator norm: they are very-flexibly stable but not flexibly stable.

math.OA↗

arXiv2025

Completely Syndetic Sets in Discrete Groups

We study completely syndetic (CS) sets in discrete groups - subsets that for every natural n admit finitely many left translates that jointly cover every n-tuple of group elements. While for finitely-generated groups, the non-virtually nilpotent ones admit a partition into two CS sets, we show that virtually abelian groups do not. We also characterize CS subsets of the group of integers Z, and as a result characterize subsets of Z whose closure in the Stone-Cech compactification contains the smallest two sided ideal. Finally, we show that CS sets can have an arbitrarily small density.

math.GR↗

arXiv2021

Amenability, proximality and higher order syndeticity

We show that the universal minimimal proximal flow and the universal minimal strongly proximal flow of a discrete group can be realized as the Stone spaces of translation invariant Boolean algebras of subsets of the group satisfying a higher order notion of syndeticity. We establish algebraic, combinatorial and topological dynamical characterizations of these subsets that we use to obtain new necessary and sufficient conditions for strong amenability and amenability. We also characterize dense orbit sets, answering a question of Glasner, Tsankov, Weiss and Zucker.

math.GR↗

arXiv2019

Algebras of noncommutative functions on subvarieties of the noncommutative ball: the bounded and completely bounded isomorphism problem

Given a noncommutative (nc) variety $\mathfrak{V}$ in the nc unit ball $\mathfrak{B}_d$, we consider the algebra $H^\infty(\mathfrak{V})$ of bounded nc holomorphic functions on $\mathfrak{V}$. We investigate the problem of when two algebras $H^\infty(\mathfrak{V})$ and $H^\infty(\mathfrak{W})$ are isomorphic. We prove that these algebras are weak-$*$ continuously isomorphic if and only if there is an nc biholomorphism $G : \widetilde{\mathfrak{W}} \to \widetilde{\mathfrak{V}}$ between the similarity envelopes that is bi-Lipschitz with respect to the free pseudo-hyperbolic metric. Moreover, such an isomorphism always has the form $f \mapsto f \circ G$, where $G$ is an nc biholomorphism. These results also shed some new light on automorphisms of the noncommutative analytic Toeplitz algebras $H^\infty(\mathfrak{B}_d)$ studied by Davidson--Pitts and by Popescu. In particular, we find that $\operatorname{Aut}(H^\infty(\mathfrak{B}_d))$ is a proper subgroup of $\operatorname{Aut}(\widetilde{\mathfrak{B}}_d)$. When $d<\infty$ and the varieties are homogeneous, we remove the weak-$*$ continuity assumption, showing that two such algebras are boundedly isomorphic if and only if there is a bi-Lipschitz nc biholomorphism between the similarity envelopes of the nc varieties. We provide two proofs. In the noncommutative setting, our main tool is the noncommutative spectral radius, about which we prove several new results. In the free commutative case, we use a new free commutative Nullstellensatz that allows us to bootstrap techniques from the fully commutative case.

math.OA↗

arXiv2018

Hyperrigid subsets of Cuntz-Krieger algebras and the property of rigidity at zero

A subset $\mathcal{G}$ generating a $C^*$-algebra $A$ is said to be hyperrigid if for every faithful nondegenerate $*$-representation $A\subseteq B(H)$ and a sequence $ϕ_n:B(H) \to B(H)$ of unital completely positive maps, we have that \[ \lim_{n\to\infty}ϕ_n(g)= g~~\text{for all } g\in \mathcal{G} ~~ \implies ~~ \lim_{n\to\infty}ϕ_n(a)= a~~\text{for all } a\in A \] where all convergence are in norm. In this paper, we show that for the Cuntz-Krieger algebra $\mathcal{O}(G)$ associated to a row-finite directed graph $G$ with no isolated vertices, the set of partial isometries $\mathcal{E}=\{S_e:e\in E\}$ is hyperrigid. In addition, we define and examine a closely related notion: the property of rigidity at $0$. A generating subset $\mathcal{G}$ of a $C^*$-algebra $A$ is said to be rigid at $0$ if for every sequence of contractive positive maps $φ_n:A\to \mathbb C$ satisfying $\lim_{n\to \infty}φ_n(g)=0$ for every $g\in \mathcal{G}$, we have that $\lim_{n\to \infty}φ_n(a)=0$ for every $a\in A$. We show that, when combined, hyperrigidity and rigidity at $0$ are equivalent to a somewhat stronger notion of hyperrigidity, and we connect this to the unique extension property. This, however, is not the case for the generating set $\mathcal{E}$. More precisely, we show that for any graph $G$, subsets of the Cuntz-Krieger family generating $\mathcal{O}(G)$ are rigid at $0$ if and only if they contain every vertex projection.

math.OA↗

arXiv2018

Algebras of bounded noncommutative analytic functions on subvarieties of the noncommutative unit ball

We study algebras of bounded, noncommutative (nc) analytic functions on nc subvarieties of the nc unit ball. Given a nc variety $\mathfrak{V}$ in the nc unit ball $\mathfrak{B}_d$, we identify the algebra of bounded analytic functions on $\mathfrak{V}$ --- denoted $H^\infty(\mathfrak{V})$ --- as the multiplier algebra $\operatorname{Mult} \mathcal{H}_{\mathfrak{V}}$ of a certain reproducing kernel Hilbert space $\mathcal{H}_{\mathfrak{V}}$ consisting of nc functions on $\mathfrak{V}$. We find that every such algebra $H^\infty(\mathfrak{V})$ is completely isometrically isomorphic to the quotient $H^\infty(\mathfrak{B}_d)/ \mathcal{J}_{\mathfrak{V}}$ of the algebra of bounded nc holomorphic functions on the ball by the ideal $\mathcal{J}_{\mathfrak{V}}$ of bounded nc holomorphic functions which vanish on $\mathfrak{V}$. We investigate the problem of when two algebras $H^\infty(\mathfrak{V})$ and $H^\infty(\mathfrak{W})$ are isometrically isomorphic. If the variety $\mathfrak{W}$ is the image of $\mathfrak{V}$ under a nc analytic automorphism of $\mathfrak{B}_d$, then $H^\infty(\mathfrak{V})$ and $H^\infty(\mathfrak{W})$ are (completely) isometrically isometric. We prove that the converse holds in the case where the varieties are homogeneous; in general we can only show that if the algebras are isometrically isomorphic, then there must be nc holomorphic maps between the varieties. Along the way we are led to consider some interesting problems on function theory in the nc unit ball. For example, we study various versions of the Nullstellensatz (that is, the problem of to what extent an ideal is determined by its zero set), and we obtain perfect Nullstellensatz in both the homogeneous as well as the commutative cases. We also consider similar problems regarding the bounded analytic functions that extend continuously to the boundary of $\mathfrak{B}_d$.

math.OA↗

arXiv2018

Full Cuntz-Krieger dilations via non-commutative boundaries

We apply Arveson's non-commutative boundary theory to dilate every Toeplitz-Cuntz-Krieger family of a directed graph $G$ to a full Cuntz-Krieger family for $G$. We do this by describing all representations of the Toeplitz algebra $\mathcal{T}(G)$ that have unique extension when restricted to the tensor algebra $\mathcal{T}_+(G)$. This yields an alternative proof to a result of Katsoulis and Kribs that the $C^*$-envelope of $\mathcal T_+(G)$ is the Cuntz-Krieger algebra $\mathcal O(G)$. We then generalize our dilation results further, to the context of colored directed graphs, by investigating free products of operator algebras. These generalizations rely on results of independent interest on complete injectivity and a characterization of representations with the unique extension property for free products of operator algebras.

math.OA↗

arXiv2014

The isomorphism problem for complete Pick algebras: a survey

Complete Pick algebras - these are, roughly, the multiplier algebras in which Pick's interpolation theorem holds true - have been the focus of much research in the last twenty years or so. All (irreducible) complete Pick algebras may be realized concretely as the algebras obtained by restricting multipliers on Drury-Arveson space to a subvariety of the unit ball; to be precise: every irreducible complete Pick algebra has the form $M_V = \{f|_V : f \in M_d\}$, where $M_d$ denotes the multiplier algebra of the Drury-Arveson space $H^2_d$, and $V$ is the joint zero set of some functions in $M_d$. In recent years several works were devoted to the classification of complete Pick algebras in terms of the complex geometry of the varieties with which they are associated. The purpose of this survey is to give an account of this research in a comprehensive and unified way. We describe the array of tools and methods that were developed for this program, and take the opportunity to clarify, improve, and correct some parts of the literature.

math.OA↗

arXiv2014

The Fock space in the slice hyperholomorphic setting

In this paper we introduce and study some basic properties of the Fock space (also known as Segal-Bargmann space) in the slice hyperholomorphic setting. We discuss both the case of slice regular functions over quaternions and also the case of slice monogenic functions with values in a Clifford algebra. In the specific setting of quaternions, we also introduce the full Fock space. This paper can be seen as the beginning of the study of infinite dimensional analysis in the quaternionic setting.

math.CV↗

arXiv2013

On free stochastic processes and their derivatives

We study a family of free stochastic processes whose covariance kernels $K$ may be derived as a transform of a tempered measure $σ$. These processes arise, for example, in consideration non-commutative analysis involving free probability. Hence our use of semi-circle distributions, as opposed to Gaussians. In this setting we find an orthonormal bases in the corresponding non-commutative $L^2$ of sample-space. We define a stochastic integral for our family of free processes.

math.OA↗

arXiv2013

On algebras which are inductive limits of Banach spaces

We introduce algebras which are inductive limits of Banach spaces and carry inequalities which are counterparts of the inequality for the norm in a Banach algebra. We then define an associated Wiener algebra, and prove the corresponding version of the well-known Wiener theorem. Finally, we consider factorization theory in these algebra, and in particular, in the associated Wiener algebra.

math.FA↗

arXiv2013

Topological convolution algebras

In this paper we introduce a new family of topological convolution algebras of the form $\bigcup_{p\in\mathbb N} L_2(S,μ_p)$, where $S$ is a Borel semi-group in a locally compact group $G$, which carries an inequality of the type $\|f*g\|_p\le A_{p,q}\|f\|_q\|g\|_p$ for $p > q+d$ where $d$ pre-assigned, and $A_{p,q}$ is a constant. We give a sufficient condition on the measures $μ_p$ for such an inequality to hold. We study the functional calculus and the spectrum of the elements of these algebras, and present two examples, one in the setting of non commutative stochastic distributions, and the other related to Dirichlet series.

math.FA↗

arXiv2013

Non-commutative stochastic distributions and applications to linear systems theory

In this paper, we introduce a non-commutative space of stochastic distributions, which contains the non-commutative white noise space, and forms, together with a natural multiplication, a topological algebra. A special inequality which holds in this space allows to characterize its invertible elements and to develop an appropriate framework of non-commutative stochastic linear systems.

math.FA↗

arXiv2012

New Topological C-Algebras with Applications in Linear Systems Theory

Motivated by the Schwartz space of tempered distributions $\mathscr S^\prime$ and the Kondratiev space of stochastic distributions $\mathcal S_{-1}$ we define a wide family of nuclear spaces which are increasing unions of (duals of) Hilbert spaces $\mathscr H_p^\prime,p\in\mathbb N$, with decreasing norms $|\cdot|_{p}$. The elements of these spaces are functions on a free commutative monoid. We characterize those rings in this family which satisfy an inequality of the form $|f * g|_{p} \leq A(p-q) |f|_{q}|g|_{p}$ for all $p\ge q+d$, where * denotes the convolution in the monoid, $A(p-q)$ is a strictly positive number and $d$ is a fixed natural number (in this case we obtain commutative topological $\mathbb C$-algebras). Such an inequality holds in $\mathcal S_{-1}$, but not in $\mathscr S^\prime$. We give an example of such a ring which contains $\mathscr S^\prime$. We characterize invertible elements in these rings and present applications to linear system theory

math.FA↗