Source author record

Matthew Kennedy

Matthew Kennedy appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

20works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

20 published item(s)

preprint2025arXiv

Inverted-Mode Scanning Tunneling Microscopy for Atomically Precise Fabrication

Scanning Tunneling Microscopy (STM) enables fabrication of atomically precise structures with unique properties and growing technological potential. However, reproducible manipulation of covalently bonded atoms requires control over the atomic configuration of both sample and probe - a longstanding challenge in STM. Here, we introduce inverted-mode STM, an approach that enables mechanically controlled chemical reactions for atomically precise fabrication. Tailored molecules on a Si(100) surface image the probe apex, and the usual challenge of understanding the probe structure is effectively solved. The molecules can also react with the probe, with the two sides of the tunnel junction acting as reagents positioned with sub-angstrom precision. This allows abstraction or donation of atoms from or to the probe apex. We demonstrate this by using a novel alkynyl-terminated molecule to reproducibly abstract hydrogen atoms from the probe. The approach is expected to extend to other elements and moieties, opening a new avenue for scalable atomically precise fabrication.

preprint2021arXiv

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.

preprint2016arXiv

Reduced twisted crossed products over C*-simple groups

We consider reduced crossed products of twisted C*-dynamical systems over C*-simple groups. We prove there is a bijective correspondence between maximal ideals of the reduced crossed product and maximal invariant ideals of the underlying C*-algebra, and a bijective correspondence between tracial states on the reduced crossed product and invariant tracial states on the underlying C*-algebra. In particular, the reduced crossed product is simple if and only if the underlying C*-algebra has no proper non-trivial invariant ideals, and the reduced crossed product has a unique tracial state if and only if the underlying C*-algebra has a unique invariant tracial state. We also show that the reduced crossed product satisfies an averaging property analogous to Powers' averaging property.

preprint2015arXiv

Corrigendum to: Essential normality, essential norms and hyperrigidity

In our paper "Essential normality, essential norms and hyperrigidity" we claimed that the restriction of the identity representation of a certain operator system (constructed from a polynomial ideal) has the unique extension property, however the justification we gave was insufficient. In this note we provide the required justification under some additional assumptions. Fortunately, homogeneous ideals that are "sufficiently non-trivial" are covered by these assumptions. This affects the section of our paper relating essential normality and hyperrigidity. We show here that Proposition 4.11 and Theorem 4.12 hold under the additional assumptions. We do not know if they hold in the generality considered in our paper.

preprint2015arXiv

The classification problem for finitely generated operator systems and spaces

The classification of separable operator spaces and systems is commonly believed to be intractable. We analyze this belief from the point of view of Borel complexity theory. On one hand we confirm that the classification problems for arbitrary separable operator systems and spaces are intractable. On the other hand we show that the finitely generated operator systems and spaces are completely classifiable (or smooth); in fact a finitely generated operator system is classified by its complete theory when regarded as a structure in continuous logic. In the particular case of operator systems generated by a single unitary, a complete invariant is given by the spectrum of the unitary up to a rigid motion of the circle, provided that the spectrum contains at least 5 points. As a consequence of these results we show that the relation on compact subsets of $\mathbb{C}^{n}$, given by homeomorphism via a degree 1 polynomial, is smooth.

preprint2015arXiv

The Schur-Horn Problem for Normal Operators

We consider the Schur-Horn problem for normal operators in von Neumann algebras, which is the problem of characterizing the possible diagonal values of a given normal operator based on its spectral data. For normal matrices, this problem is well-known to be extremely difficult, and in fact, it remains open for matrices of size greater than $3$. We show that the infinite dimensional version of this problem is more tractable, and establish approximate solutions for normal operators in von Neumann factors of type I$_\infty$, II and III. A key result is an approximation theorem that can be seen as an approximate multivariate analogue of Kadison's Carpenter Theorem.

preprint2014arXiv

Boundaries of reduced C*-algebras of discrete groups

For a discrete group G, we consider the minimal C*-subalgebra of $\ell^\infty(G)$ that arises as the image of a unital positive G-equivariant projection. This algebra always exists and is unique up to isomorphism. It is trivial if and only if G is amenable. We prove that, more generally, it can be identified with the algebra $C(\partial_F G)$ of continuous functions on Furstenberg's universal G-boundary $\partial_F G$. This operator-algebraic construction of the Furstenberg boundary has a number of interesting consequences. We prove that G is exact precisely when the G-action on $\partial_F G$ is amenable, and use this fact to prove Ozawa's conjecture that if G is exact, then there is an embedding of the reduced C*-algebra $\mathrm{C}_r^*(G)$ of G into a nuclear C*-algebra which is contained in the injective envelope of $\mathrm{C}_r^*(G)$. It is a longstanding open problem to determine which groups are C*-simple, in the sense that the algebra $\mathrm{C}_r^*(G)$ is simple. We prove that this problem can be reformulated as a problem about the structure of the G-action on the Furstenberg boundary. Specifically, we prove that a discrete group G is C*-simple if and only if the G-action on the Furstenberg boundary is topologically free. We apply this result to prove that Tarski monster groups are C*-simple. This provides another solution to a problem of de la Harpe (recently answered by Olshanskii and Osin) about the existence of C*-simple groups with no free subgroups.

preprint2014arXiv

Essential normality, essential norms and hyperrigidity

Let $S = (S_1, \ldots, S_d)$ denote the compression of the $d$-shift to the complement of a homogeneous ideal $I$ of $\mathbb{C}[z_1, \ldots, z_d]$. Arveson conjectured that $S$ is essentially normal. In this paper, we establish new results supporting this conjecture, and connect the notion of essential normality to the theory of the C*-envelope and the noncommutative Choquet boundary. The unital norm closed algebra $\mathcal{B}_I$ generated by $S_1,\ldots,S_d$ modulo the compact operators is shown to be completely isometrically isomorphic to the uniform algebra generated by polynomials on $\overline{V} := \overline{\mathcal{Z}(I) \cap \mathbb{B}_d}$, where $\mathcal{Z}(I)$ is the variety corresponding to $I$. Consequently, the essential norm of an element in $\mathcal{B}_I$ is equal to the sup norm of its Gelfand transform, and the C*-envelope of $\mathcal{B}_I$ is identified as the algebra of continuous functions on $\overline{V} \cap \partial \mathbb{B}_d$, which means it is a complete invariant of the topology of the variety determined by $I$ in the ball. Motivated by this determination of the C*-envelope of $\mathcal{B}_I$, we suggest a new, more qualitative approach to the problem of essential normality. We prove the tuple $S$ is essentially normal if and only if it is hyperrigid as the generating set of a C*-algebra, which is a property closely connected to Arveson's notion of a boundary representation. We show that most of our results hold in a much more general setting. In particular, for most of our results, the ideal $I$ can be replaced by an arbitrary (not necessarily homogeneous) invariant subspace of the $d$-shift.

preprint2013arXiv

A non-self-adjoint Lebesgue decomposition

We study the structure of bounded linear functionals on a class of non-self-adjoint operator algebras that includes the multiplier algebra of every complete Nevanlinna-Pick space, and in particular the multiplier algebra of the Drury-Arveson space. Our main result is a Lebesgue decomposition expressing every linear functional as the sum of an absolutely continuous (i.e. weak-* continuous) linear functional, and a singular linear functional that is far from being absolutely continuous. This is a non-self-adjoint analogue of Takesaki's decomposition theorem for linear functionals on von Neumann algebras. We apply our decomposition theorem to prove that the predual of every algebra in this class is (strongly) unique.

preprint2013arXiv

Essential normality and the decomposability of homogeneous submodules

We establish the essential normality of a large new class of homogeneous submodules of the finite rank d-shift Hilbert module. The main idea is a notion of essential decomposability that determines when an arbitrary submodule can be decomposed into the sum of essentially normal submodules. We prove that every essentially decomposable submodule is essentially normal, and using ideas from convex geometry, we introduce methods for establishing that a submodule is essentially decomposable. It turns out that many homogeneous submodules of the finite rank d-shift Hilbert module have this property. We prove that many of the submodules considered by other authors are essentially decomposable, and in addition establish the essential decomposability of a large new class of homogeneous submodules. Our results support Arveson's conjecture that every homogeneous submodule of the finite rank d-shift Hilbert module is essentially normal.

preprint2013arXiv

The Hopf structure of some dual operator algebras

We study the Hopf structure of a class of dual operator algebras corresponding to certain semigroups. This class of algebras arises in dilation theory, and includes the noncommutative analytic Toeplitz algebra and the multiplier algebra of the Drury-Arveson space, which correspond to the free semigroup and the free commutative semigroup respectively. The preduals of the algebras in this class naturally form Hopf (convolution) algebras. The original algebras and their preduals form (non-self-adjoint) dual Hopf algebras in the sense of Effros and Ruan. We study these algebras from this perspective, and obtain a number of results about their structure.

preprint2012arXiv

Essential normality and the decomposability of algebraic varieties

We consider the Arveson-Douglas conjecture on the essential normality of homogeneous submodules corresponding to algebraic subvarieties of the unit ball. We prove that the property of essential normality is preserved by isomorphisms between varieties, and we establish a similar result for maps between varieties that are not necessarily invertible. We also relate the decomposability of an algebraic variety to the problem of establishing the essential normality of the corresponding submodule. These results are applied to prove that the Arveson-Douglas conjecture holds for submodules corresponding to varieties that decompose into linear subspaces, and varieties that decompose into components with mutually disjoint linear spans.

preprint2011arXiv

The structure of an isometric tuple

An $n$-tuple of operators $(V_1,...,V_n)$ acting on a Hilbert space $H$ is said to be isometric if the operator $[V_1\...\ V_n]:H^n\to H$ is an isometry. We prove a decomposition for an isometric tuple of operators that generalizes the classical Lebesgue-von Neumann-Wold decomposition of an isometry into the direct sum of a unilateral shift, an absolutely continuous unitary and a singular unitary. We show that, as in the classical case, this decomposition determines the weakly closed algebra and the von Neumann algebra generated by the tuple.

preprint2010arXiv

Exactness of the Fock space representation of the q-commutation relations

We show that for all q in the interval (-1,1), the Fock representation of the q-commutation relations can be unitarily embedded into the Fock representation of the extended Cuntz algebra. In particular, this implies that the C*-algebra generated by the Fock representation of the q-commutation relations is exact. An immediate consequence is that the q-Gaussian von Neumann algebra is weakly exact for all q in the interval (-1,1).

preprint2009arXiv

Wandering vectors and the reflexivity of free semigroup algebras

A free semigroup algebra S is the weak-operator-closed (non-self-adjoint) operator algebra generated by n isometries with pairwise orthogonal ranges. A unit vector x is said to be wandering for S if the set of images of x under non-commuting words in the generators of S is orthonormal. We establish the following dichotomy: either a free semigroup algebra has a wandering vector, or it is a von Neumann algebra. Consequences include that every free semigroup algebra is reflexive, and that certain free semigroup algebras are hyper-reflexive with a very small hyper-reflexivity constant.

preprint2008arXiv

Invariant subspaces of subgraded Lie algebras of compact operators

We show that finitely subgraded Lie algebras of compact operators have invariant subspaces when conditions of quasinilpotence are imposed on certain components of the subgrading. This allows us to obtain some useful information about the structure of such algebras. As an application, we prove a number of results on the existence of invariant subspaces for algebraic structures of compact operators. Along the way we obtain new criteria for the triangularizability of a Lie algebra of compact operators.

preprint2008arXiv

Spectral conditions on Lie and Jordan algebras of compact operators

We investigate the properties of bounded operators which satisfy a certain spectral additivity condition, and use our results to study Lie and Jordan algebras of compact operators. We prove that these algebras have nontrivial invariant subspaces when their elements have sublinear or submultiplicative spectrum, and when they satisfy simple trace conditions. In certain cases we show that these conditions imply that the algebra is (simultaneously) triangularizable.