SearcharxivSearch

arXiv subjects

Tron Omland

Publications and source records attributed to Tron Omland.

At least 19 recordsLinked to original sources

Selflessness for twisted group C*-algebras of amenable groups and their inclusions

For a discrete amenable group $G$ with a two-cocycle $σ$, we record a few results on when the twisted group $C^*$-algebra $C^*_r(G,σ)$ is selfless, in the sense of Robert. In particular, for an infinite finitely generated virtually nilpotent $G$, this holds exactly when $(G,σ)$ satisfies Kleppner's condition. For countably infinite FC-hypercentral groups, selflessness is equivalent to Kleppner's condition together with either $\mathcal{Z}$-stability or, equivalently, finite nuclear dimension. We also settle one case outside the finitely generated setting, namely the free abelian group of countably infinite rank with a particular root-of-unity-valued cocycle, where the associated algebra is selfless and has nuclear dimension one. Further, using the relative Kleppner condition, we obtain corresponding selflessness results for inclusions $C^*_r(H,σ')\subseteq C^*_r(G,σ)$ when $H$ is a normal subgroup of $G$. For amenable $G$, such an inclusion is selfless precisely when $C^*_r(H,σ')$ is selfless and $(H\leq G,σ)$ satisfies the relative Kleppner condition. As a consequence, for an infinite finitely generated virtually nilpotent $G$, selflessness of the inclusion $C^*_r(H,σ')\subseteq C^*_r(G,σ)$ is equivalent to the relative Kleppner condition. As applications, we obtain selfless twisted group $C^*$-algebras of the lamplighter group and of the wreath product $\mathbb{Z}\wr\mathbb{Z}$.

math.OA

Universal Quantum Computation with Multi-Mode Schrödinger Cat States Stabilized by Non-Local Dissipation Engineering

Schrödinger cat states provide a hardware-efficient platform for bosonic quantum error correction by encoding logical information in protected manifolds of harmonic oscillators. While previous work has demonstrated the dissipative stabilization of multi-mode Schrödinger cat states as robust quantum memories, a framework for universal quantum computation has remained unavailable. Here we extend this approach by introducing a universal gate set for dissipatively stabilized multi-mode cat qubits. Using a chain of Kerr non-linear oscillators coupled through engineered non-local dissipation and an effective low-dimensional description, we show how arbitrary single-qubit control can be achieved through arbitrary rotation around the $X$-axis and $π/2$-rotation around the $Z$-axis. We further show how coupling two such stabilized arrays through just one oscillator on each respective array enables coherent entangling operations through implementation of the $XX(π/2)$ gate. Numerical simulations demonstrate high-fidelity gate dynamics and entanglement generation under realistic parameters. Finally, we analyze the effects of induced and intrinsic photon loss, disorder, and the validity regime of the effective low-dimensional theory. Our results establish dissipatively stabilized multi-mode Schrödinger cat states as a potential architecture for universal bosonic quantum computation.

quant-ph

Metrics on completely positive maps via noncommutative geometry

We study methods of inducing metrics on unital completely positive maps by employing seminorms arising in noncommutative geometry. Our main approach relies on the development of an infinite-dimensional $C^*$-algebraic analogue of the Choi-Jamiołkowski isomorphism. Under suitable conditions, we show that the induced metrics satisfy the quantum information theoretic properties of stability and chaining. Moreover, we show how to generate such metrics using constructions native to noncommutative geometry, by for example using external Kasparov products of spectral triples.

math.OA

The Bures metric and the quantum metric on the density space of a C*-algebra: the non-unital case

Building off work of Farenick and Rahaman, we extend the definition of the density space and the Bures metric to the setting of non-unital C*-algebras equipped with a faithful trace and prove that the Bures metric is also a metric in this case and show that its topology is weaker than the topology induced by the C*-norm. Furthermore, we prove a Heine-Borel type theorem for C*-algebras and the density space. In particular, we prove that for any C*-algebra (unital or non-unital) equipped with a faithful trace, the density space equipped with the Bures metric topology is not compact if and only if the C*-algebra is infinite dimensional. We also exhibit several examples of sequences that have no converging sequence in the unital and non-unital case including both commutative and noncommutative C*-algebras. Next, building off work from some of the authors, we extend the definition of the quantum metric on the density space to the non-unital C*-algebra case by introducing the notion of a quantum Lipschitz triple, which form a subclass of quantum locally compact metric spaces of Latrémolière that utilize Rieffel's notion of a quantum metric (we also introduce new classes of quantum locally compact metric spaces that include certain noncommutative homogeneous C*-algebras). Furthermore, we prove that this quantum metric topology is weaker than the topology of the one induced by the C*-norm and finish the article with an analysis of matrix-valued functions on the quantized interval, which provides commutative and noncommuataive examples where the quantum metric topology on the density space is not compact and is not uniformly equivalent to both the Bures metric and the metric induced by the C*-norm.

math.OA

Shift-invariant transformations and almost liftings

We investigate shift-invariant transformations, also known as rotation-symmetric vectorial Boolean functions, on $n$ bits that are induced from Boolean functions on $k$ bits, for $k\leq n$. We consider such transformations that are not necessarily permutations, but are, in some sense, almost bijective, and study their cryptographic properties. In this context, we define an almost lifting as a Boolean function for which there is an upper bound on the number of collisions of its induced transformation that does not depend on $n$. We show that if a Boolean function with diameter $k$ is an almost lifting, then the maximum number of collisions of its induced transformation is $2^{k-1}$ for any $n$. Moreover, we search for functions in the class of almost liftings that have good cryptographic properties and for which the non-bijectivity does not cause major security weaknesses. These functions generalize the well-known map $χ$ used in the Keccak hash function.

math.CO

New classes of reversible cellular automata

A Boolean function $f$ on $k$~bits induces a shift-invariant vectorial Boolean function $F$ from $n$ bits to $n$ bits for every $n\geq k$. If $F$ is bijective for every $n$, we say that $f$ is a proper lifting, and it is known that proper liftings are exactly those functions that arise as local rules of reversible cellular automata. We construct new families of such liftings for arbitrary large $k$ and discuss whether all have been identified for $k\leq 6$.

math.CO

On the Bures metric, C*-norm, and the quantum metric

We prove that the topology on the density space with respect to a unital C*-algebra and a faithful induced by the C*-norm is finer than the Bures metric topology. We also provide an example when this containment is strict. Next, we provide a metric on the density space induced by a quantum metric in the sense of Rieffel and prove that the induced topology is the same as the topology induced by the Bures metric and C*-norm when the C*-algebra is assumed to be finite dimensional. Finally, we provide an example of when the Bures metric and induced quantum metric are not metric equivalent. Thus, we provide a bridge between these aspects of quantum information theory and noncommutative metric geometry.

math.OA

Strong Pedersen rigidity for coactions of compact groups

We prove a version of Pedersen's outer conjugacy theorem for coactions of compact groups, which characterizes outer conjugate coactions of a compact group in terms of properties of the dual actions. In fact, we show that every isomorphism of a dual action comes from a unique outer conjugacy of a coaction, which in this context should be called strong Pedersen rigidity. We promote this to a category equivalence.

math.OA

C*-irreducibility for reduced twisted group C*-algebras

We study C*-irreducibility of inclusions of reduced twisted group C*-algebras and of reduced group C*-algebras. We characterize C*-irreducibility in the case of an inclusion arising from a normal subgroup, and exhibit many new examples of C*-irreducible inclusions.

math.OA

Deformations and Balian-Low theorems for Gabor frames on the adeles

We generalize Feichtinger and Kaiblinger's theorem on linear deformations of uniform Gabor frames to the setting of a locally compact abelian group $G$. More precisely, we show that Gabor frames over lattices in the time-frequency plane of $G$ with windows in the Feichtinger algebra are stable under small deformations of the lattice by an automorphism of $G \times \widehat{G}$. The topology we use on the automorphisms is the Braconnier topology. We characterize the groups in which the Balian--Low theorem for the Feichtinger algebra holds as exactly the groups with noncompact identity component. This generalizes a theorem of Kaniuth and Kutyniok on the zeros of the Zak transform on locally compact abelian groups. We apply our results to a class of number-theoretic groups, including the adele group associated to a global field.

math.FA

Permutation rotation-symmetric S-boxes, liftings and affine equivalence

In this paper, we investigate permutation rotation-symmetric (shift-invariant) vectorial Boolean functions on $n$ bits that are liftings from Boolean functions on $k$ bits, for $k\leq n$. These functions generalize the well-known map used in the current Keccak hash function, which is generated via the Boolean function on $3$ variables, $x_1+(x_2+1)x_3$. We provide some general constructions, and also study the affine equivalence between rotation-symmetric S-boxes and describe the corresponding relationship between the Boolean function they are associated with.

math.CO

C*-algebras of right LCM one-relator monoids and Artin-Tits monoids of finite type

We study C*-algebras generated by left regular representations of right LCM one-relator monoids and Artin-Tits monoids of finite type. We obtain structural results concerning nuclearity, ideal structure and pure infiniteness. Moreover, we compute K-theory. Based on our K-theory results, we develop a new way of computing K-theory for certain group C*-algebras and crossed products.

math.OA

Dynamical systems and operator algebras associated to Artin's representation of braid groups

Artin's representation is an injective homomorphism from the braid group $B_n$ on $n$ strands into $\operatorname{Aut}\mathbb{F}_n$, the automorphism group of the free group $\mathbb{F}_n$ on $n$ generators. The representation induces maps $B_n\to\operatorname{Aut}C^*_r(\mathbb{F}_n)$ and $B_n\to\operatorname{Aut}C^*(\mathbb{F}_n)$ into the automorphism groups of the corresponding group $C^*$-algebras of $\mathbb{F}_n$. These maps also have natural restrictions to the pure braid group $P_n$. In this paper, we consider twisted versions of the actions by cocycles with values in the circle, and discuss the ideal structure of the associated crossed products. Additionally, we make use of Artin's representation to show that the braid groups $B_\infty$ and $P_\infty$ on infinitely many strands are both $C^*$-simple.

math.OA

Free nilpotent groups are C*-superrigid

The free nilpotent group $G_{m,n}$ of class $m$ and rank $n$ is the free object on $n$ generators in the category of nilpotent groups of class at most $m$. We show that $G_{m,n}$ can be recovered from its reduced group $C^*$-algebra, in the sense that if $H$ is any group such that $C^*_r(H)$ is isomorphic to $C^*_r(G_{m,n})$, then $H$ must be isomorphic to $G_{m,n}$.

math.OA

Rigidity theory for $C^*$-dynamical systems and the "Pedersen Rigidity Problem", II

This is a follow-up to a paper with the same title and by the same authors. In that paper, all groups were assumed to be abelian, and we are now aiming to generalize the results to nonabelian groups. The motivating point is Pedersen's theorem, which does hold for an arbitrary locally compact group $G$, saying that two actions $(A,α)$ and $(B,β)$ of $G$ are outer conjugate if and only if the dual coactions $(A\rtimes_αG,\widehatα)$ and $(B\rtimes_βG,\widehatβ)$ of $G$ are conjugate via an isomorphism that maps the image of $A$ onto the image of $B$ (inside the multiplier algebras of the respective crossed products). We do not know of any examples of a pair of non-outer-conjugate actions such that their dual coactions are conjugate, and our interest is therefore exploring the necessity of latter condition involving the images, and we have decided to use the term "Pedersen rigid" for cases where this condition is indeed redundant. There is also a related problem, concerning the possibility of a so-called equivariant coaction having a unique generalized fixed-point algebra, that we call "fixed-point rigidity". In particular, if the dual coaction of an action is fixed-point rigid, then the action itself is Pedersen rigid, and no example of non-fixed-point-rigid coaction is known.

math.OA

C*-simplicity of HNN extensions and groups acting on trees

We study non-ascending HNN extensions acting on their Bass-Serre trees, and characterize C*-simplicity and the unique trace property by means of the kernel and quasi-kernels of the HNN extension in question. We also present a concrete example of an HNN extension that is a new example of a group that is not C*-simple but does have the unique trace property. Additionally, we include certain more general results, mostly based on previous work of various authors, concerning C*-simplicity of groups admitting extreme boundary actions, and in particular, groups acting on trees.

math.OA

Rigidity theory for $C^*$-dynamical systems and the "Pedersen Rigidity Problem"

Let $G$ be a locally compact abelian group. By modifying a theorem of Pedersen, it follows that actions of $G$ on $C^*$-algebras $A$ and $B$ are outer conjugate if and only if there is an isomorphism of the crossed products that is equivariant for the dual actions and preserves the images of $A$ and $B$ in the multiplier algebras of the crossed products. The rigidity problem discussed in this paper deals with the necessity of the last condition concerning the images of $A$ and $B$. There is an alternative formulation of the problem: an action of the dual group $\hat G$ together with a suitably equivariant unitary homomorphism of $G$ give rise to a generalized fixed-point algebra via Landstad's theorem, and a problem related to the above is to produce an action of $\hat G$ and two such equivariant unitary homomorphisms of $G$ that give distinct generalized fixed-point algebras. We present several situations where the condition on the images of $A$ and $B$ is redundant, and where having distinct generalized fixed-point algebras is impossible. For example, if $G$ is discrete, this will be the case for all actions of $G$.

math.OA

C*-simplicity of free products with amalgamation and radical classes of groups

We give new characterizations to ensure that a free product of groups with amalgamation has a simple reduced group C*-algebra, and provide a concrete example of an amalgam with trivial kernel, such that its reduced group C*-algebra has a unique tracial state, but is not simple. Moreover, we show that there is a radical class of groups for which the reduced group C*-algebra of any group is simple precisely when the group has a trivial radical corresponding to this class.

math.OA