Showing 1–50 of 76 results for author: Cortiñas, G

Unraveling the switching dynamics in a quantum double-well potential

Authors: Qile Su, Rodrigo G. Cortiñas, Jayameenakshi Venkatraman, Shruti Puri

Abstract: The spontaneous switching of a quantum particle between the wells of a double-well potential is a phenomenon of general interest to physics and chemistry. It was broadly believed that the switching rate decreases steadily with the size of the energy barrier. This view was challenged by a recent experiment on a driven superconducting Kerr nonlinear oscillator (often called the Kerr-cat qubit or the… ▽ More The spontaneous switching of a quantum particle between the wells of a double-well potential is a phenomenon of general interest to physics and chemistry. It was broadly believed that the switching rate decreases steadily with the size of the energy barrier. This view was challenged by a recent experiment on a driven superconducting Kerr nonlinear oscillator (often called the Kerr-cat qubit or the Kerr parametric oscillator), whose energy barrier can be increased by ramping up the drive. Remarkably, as the drive amplitude increases, the switching rate exhibits a step-like decrease termed the "staircase". The view challenged by the experiment demands a deep review of our understanding of quantum effects in double wells. In this work, we derive a semi-analytical formula for the switching rate that resolves a continuous transition between tunneling- and dissipation-dominated dynamics. These two dynamics are observed respectively in the flat and the steep parts of each step in the staircase. Our formula exposes two distinct dissipative processes that limit tunneling: dephasing and decay. This allows us to predict the critical drive amplitudes where steps occur. In addition, we show that in the regime of a few states in the well and under moderate to low temperatures, highly excited states are populated predominantly via cascaded and direct thermal heating rather than quantum heating. At very low temperatures, however, the perturbation induced by the nonhermitian Hamiltonian becomes important and facilitates a new form of quantum heating. We numerically map the activation mechanism as a function of drive amplitude, damping rate, and temperature. Our theory deepens the understanding of switching dynamics between metastable quantum states, highlights the importance of a general interplay between tunneling and dissipation, and identifies a novel quantum regime in activated transitions. △ Less

Submitted 30 December, 2024; originally announced January 2025.

Homology of Steinberg algebras

Authors: Guido Arnone, Guillermo Cortiñas, Devarshi Mukherjee

Abstract: We study homological invariants of the Steinberg algebra $\mathcal{A}_k(\mathcal{G})$ of an ample groupoid $\mathcal{G}$ over a commutative ring $k$. For $\mathcal{G}$ principal or Hausdorff with ${\mathcal{G}}^{\rm{Iso}}\setminus{\mathcal{G}}^{(0)}$ discrete, we compute Hochschild and cyclic homology of $\mathcal{A}_k(\mathcal{G})$ in terms of groupoid homology. For any ample Hausdorff groupoid… ▽ More We study homological invariants of the Steinberg algebra $\mathcal{A}_k(\mathcal{G})$ of an ample groupoid $\mathcal{G}$ over a commutative ring $k$. For $\mathcal{G}$ principal or Hausdorff with ${\mathcal{G}}^{\rm{Iso}}\setminus{\mathcal{G}}^{(0)}$ discrete, we compute Hochschild and cyclic homology of $\mathcal{A}_k(\mathcal{G})$ in terms of groupoid homology. For any ample Hausdorff groupoid $\mathcal{G}$, we find that $H_*(\mathcal{G})$ is a direct summand of $HH_*(\mathcal{A}_k(\mathcal{G}))$; using this and the Dennis trace we obtain a map $\overline{D}_*:K_*(\mathcal{A}_k(\mathcal{G}))\to H_n(\mathcal{G},k)$. We study this map when $\mathcal{G}$ is the (twisted) Exel-Pardo groupoid associated to a self-similar action of a group $G$ on a graph, and compute $HH_*(\mathcal{A}_k(\mathcal{G}))$ and $H_*(\mathcal{G},k)$ in terms of the homology of $G$, and the $K$-theory of $\mathcal{A}_k(\mathcal{G})$ in terms of that of $k[G]$. △ Less

Submitted 28 May, 2025; v1 submitted 19 December, 2024; originally announced December 2024.

Comments: 53 pages. References added in second version and minor corrections in the third. Fourth version fixes a mistake in Theorem 1.1, and adds some minor structural changes in the preliminary sections

MSC Class: 19D55; 22A22; 16E40

A Roadmap for Simulating Chemical Dynamics on a Parametrically Driven Bosonic Quantum Device

Authors: Delmar G. A. Cabral, Pouya Khazaei, Brandon C. Allen, Pablo E. Videla, Max Schäfer, Rodrigo G. Cortiñas, Alejandro Cros Carrillo de Albornoz, Jorge Chávez-Carlos, Lea F. Santos, Eitan Geva, Victor S. Batista

Abstract: Chemical reactions are commonly described by the reactive flux transferring population from reactants to products across a double-well free energy barrier. Dynamics often involves barrier recrossing and quantum effects like tunneling, zero-point energy motion and interference, which traditional rate theories, such as transition-state theory, do not consider. In this study, we investigate the feasi… ▽ More Chemical reactions are commonly described by the reactive flux transferring population from reactants to products across a double-well free energy barrier. Dynamics often involves barrier recrossing and quantum effects like tunneling, zero-point energy motion and interference, which traditional rate theories, such as transition-state theory, do not consider. In this study, we investigate the feasibility of simulating reaction dynamics using a parametrically driven bosonic superconducting Kerr-cat device. This approach provides control over parameters defining the double-well free energy profile, as well as external factors like temperature and the coupling strength between the reaction coordinate and the thermal bath of non-reactive degrees of freedom. We demonstrate the effectiveness of this protocol by showing that the dynamics of proton transfer reactions in prototypical benchmark model systems, such as hydrogen bonded dimers of malonaldehyde and DNA base pairs, could be accurately simulated on currently accessible Kerr-cat devices. △ Less

Submitted 22 January, 2025; v1 submitted 19 September, 2024; originally announced September 2024.

Comments: 53 pages including references and supporting material, 19 figures, revised

Oscillatory dissipative tunneling in an asymmetric double-well potential

Authors: Alejandro Cros Carrillo de Albornoz, Rodrigo G. Cortiñas, Max Schäfer, Nicholas E. Frattini, Brandon Allen, Delmar G. A. Cabral, Pablo E. Videla, Pouya Khazaei, Eitan Geva, Victor S. Batista, Michel H. Devoret

Abstract: Dissipative tunneling remains a cornerstone effect in quantum mechanics. In chemistry, it plays a crucial role in governing the rates of chemical reactions, often modeled as the motion along the reaction coordinate from one potential well to another. The relative positions of energy levels in these wells strongly influence the reaction dynamics. Chemical research will benefit from a fully adjustab… ▽ More Dissipative tunneling remains a cornerstone effect in quantum mechanics. In chemistry, it plays a crucial role in governing the rates of chemical reactions, often modeled as the motion along the reaction coordinate from one potential well to another. The relative positions of energy levels in these wells strongly influence the reaction dynamics. Chemical research will benefit from a fully adjustable, asymmetric double-well equipped with precise measurement capabilities of the tunneling rates. In this paper, we show a quantum simulator system that consists of a continuously driven Kerr parametric oscillator with a third order non-linearity that can be operated in the quantum regime to create a fully tunable asymmetric double-well. Our experiment leverages a low-noise, all-microwave control system with a high-efficiency readout, based on a tunnel Josephson junction circuit, of the which-well information. We explore the reaction rates across the landscape of tunneling resonances in parameter space. We uncover two new and counter-intuitive effects: (i) a weak asymmetry can significantly decrease the activation rates, even though the well in which the system is initialized is made shallower, and (ii) the width of the tunneling resonances alternates between narrow and broad lines as a function of the well depth and asymmetry. We predict by numerical simulations that both effects will also manifest themselves in ordinary chemical double-well systems in the quantum regime. Our work is a first step for the development of analog molecule simulators of proton transfer reactions based on quantum superconducting circuits. △ Less

Submitted 30 December, 2024; v1 submitted 19 September, 2024; originally announced September 2024.

Comments: Edited some of the text and figures for clarity and corrected typos

Controlled-squeeze gate in superconducting quantum circuits

Authors: Nicolás F. Del Grosso, Rodrigo G. Cortiñas, Paula I. Villar, Fernando C. Lombardo, Juan Pablo Paz

Abstract: We present a method to prepare non-classical states of the electromagnetic field in a microwave resonator. It is based on a controlled gate that applies a squeezing operation on a SQUID-terminated resonator conditioned on the state of a dispersively coupled qubit. This controlled-squeeze gate, when combined with Gaussian operations on the resonator, is universal. We explore the use of this tool to… ▽ More We present a method to prepare non-classical states of the electromagnetic field in a microwave resonator. It is based on a controlled gate that applies a squeezing operation on a SQUID-terminated resonator conditioned on the state of a dispersively coupled qubit. This controlled-squeeze gate, when combined with Gaussian operations on the resonator, is universal. We explore the use of this tool to map an arbitrary qubit state into a superposition of squeezed states. In particular, we target a bosonic code with well-defined superparity which makes photon losses detectable by non-demolition parity measurements. We analyze the possibility of implementing this using state-of-the-art circuit QED tools and conclude that it is within reach of current technologies. △ Less

Submitted 7 April, 2025; v1 submitted 15 August, 2024; originally announced August 2024.

Comments: 2 figures

Journal ref: Phys. Rev. A 111, 042606 (2025)

Impact of chaos on the excited-state quantum phase transition of the Kerr parametric oscillator

Authors: Ignacio García-Mata, Miguel A. Prado Reynoso, Rodrigo G. Cortiñas, Jorge Chávez-Carlos, Victor S. Batista, Lea F. Santos, Diego A. Wisniacki

Abstract: The driven Kerr parametric oscillator, of interest to fundamental physics and quantum technologies, exhibits an excited state quantum phase transition (ESQPT) originating in an unstable classical periodic orbit. The main signature of this type of ESQPT is a singularity in the level density in the vicinity of the energy of the classical separatrix that divides the phase space into two distinct regi… ▽ More The driven Kerr parametric oscillator, of interest to fundamental physics and quantum technologies, exhibits an excited state quantum phase transition (ESQPT) originating in an unstable classical periodic orbit. The main signature of this type of ESQPT is a singularity in the level density in the vicinity of the energy of the classical separatrix that divides the phase space into two distinct regions. The quantum states with energies below the separatrix are useful for quantum technologies, because they show a cat-like structure that protects them against local decoherence processes. In this work, we show how chaos arising from the interplay between the external drive and the nonlinearities of the system destroys the ESQPT and eventually eliminates the cat states. Our results demonstrate the importance of the analysis of theoretical models for the design of new parametric oscillators with ever larger nonlinearities. △ Less

Submitted 6 March, 2025; v1 submitted 1 August, 2024; originally announced August 2024.

Comments: Closest to published version. 4 + pages, 4 figures + Supplemental Material (2 Figs.)

Journal ref: PHYS. REV. A 111, L031502 (2025)

Quantum Control of an Oscillator with a Kerr-cat Qubit

Authors: Andy Z. Ding, Benjamin L. Brock, Alec Eickbusch, Akshay Koottandavida, Nicholas E. Frattini, Rodrigo G. Cortinas, Vidul R. Joshi, Stijn J. de Graaf, Benjamin J. Chapman, Suhas Ganjam, Luigi Frunzio, Robert J. Schoelkopf, Michel H. Devoret

Abstract: Bosonic codes offer a hardware-efficient strategy for quantum error correction by redundantly encoding quantum information in the large Hilbert space of a harmonic oscillator. However, experimental realizations of these codes are often limited by ancilla errors propagating to the encoded logical qubit during syndrome measurements. The Kerr-cat qubit has been proposed as an ancilla for these codes… ▽ More Bosonic codes offer a hardware-efficient strategy for quantum error correction by redundantly encoding quantum information in the large Hilbert space of a harmonic oscillator. However, experimental realizations of these codes are often limited by ancilla errors propagating to the encoded logical qubit during syndrome measurements. The Kerr-cat qubit has been proposed as an ancilla for these codes due to its theoretically-exponential noise bias, which would enable fault-tolerant error syndrome measurements, but the coupling required to perform these syndrome measurements has not yet been demonstrated. In this work, we experimentally realize driven parametric coupling of a Kerr-cat qubit to a high-quality-factor microwave cavity and demonstrate a gate set enabling universal quantum control of the cavity. We measure the decoherence of the cavity in the presence of the Kerr-cat and discover excess dephasing due to heating of the Kerr-cat to excited states. By engineering frequency-selective dissipation to counteract this heating, we are able to eliminate this dephasing, thereby demonstrating a high on-off ratio of control. Our results pave the way toward using the Kerr-cat to fault-tolerantly measure error syndromes of bosonic codes. △ Less

Submitted 15 July, 2024; originally announced July 2024.

Simulating Chemistry on Bosonic Quantum Devices

Authors: Rishab Dutta, Delmar G. A. Cabral, Ningyi Lyu, Nam P. Vu, Yuchen Wang, Brandon Allen, Xiaohan Dan, Rodrigo G. Cortiñas, Pouya Khazaei, Max Schäfer, Alejandro C. C. d. Albornoz, Scott E. Smart, Scott Nie, Michel H. Devoret, David A. Mazziotti, Prineha Narang, Chen Wang, James D. Whitfield, Angela K. Wilson, Heidi P. Hendrickson, Daniel A. Lidar, Francisco Pérez-Bernal, Lea F. Santos, Sabre Kais, Eitan Geva , et al. (1 additional authors not shown)

Abstract: Bosonic quantum devices offer a novel approach to realize quantum computations, where the quantum two-level system (qubit) is replaced with the quantum (an)harmonic oscillator (qumode) as the fundamental building block of the quantum simulator. The simulation of chemical structure and dynamics can then be achieved by representing or mapping the system Hamiltonians in terms of bosonic operators. In… ▽ More Bosonic quantum devices offer a novel approach to realize quantum computations, where the quantum two-level system (qubit) is replaced with the quantum (an)harmonic oscillator (qumode) as the fundamental building block of the quantum simulator. The simulation of chemical structure and dynamics can then be achieved by representing or mapping the system Hamiltonians in terms of bosonic operators. In this perspective, we review recent progress and future potential of using bosonic quantum devices for addressing a wide range of challenging chemical problems, including the calculation of molecular vibronic spectra, the simulation of gas-phase and solution-phase adiabatic and nonadiabatic chemical dynamics, the efficient solution of molecular graph theory problems, and the calculations of electronic structure. △ Less

Submitted 5 July, 2024; v1 submitted 15 April, 2024; originally announced April 2024.

Comments: 40 pages including references, 13 figures, revised

Journal ref: J. Chem. Th. and Comp. 20, 6426 (2024)

Threading an atom with light

Authors: Rodrigo G. Cortiñas

Abstract: We propose a ponderomotive trapping mechanism for circular Rydberg atoms that consists in threading the Rydberg orbital with a tightly focused Gaussian laser beam. The trap exhibits remarkable properties: it can be made effectively linear, extremely nonlinear, or have the same trapping frequency, depth, or nonlinearity for distant Rydberg states. The mechanism is capable of trapping efficiently hi… ▽ More We propose a ponderomotive trapping mechanism for circular Rydberg atoms that consists in threading the Rydberg orbital with a tightly focused Gaussian laser beam. The trap exhibits remarkable properties: it can be made effectively linear, extremely nonlinear, or have the same trapping frequency, depth, or nonlinearity for distant Rydberg states. The mechanism is capable of trapping efficiently highly excited Rydberg states with a single active electron, as well as ground state atoms using a single beam. Alternatively, the Rydberg atom can be trapped efficiently by the same beam used to excite it, relaxing optical constraints in well-shielded environments. △ Less

Submitted 22 January, 2024; originally announced January 2024.

Journal ref: Phys. Rev. A 109, L011102, 2024

Classification conjectures for Leavitt path algebras

Authors: Guillermo Cortiñas, Roozbeh Hazrat

Abstract: The theory of Leavitt path algebras is intrinsically related, via graphs, to the theory of symbolic dynamics and $C^*$-algebras where the major classification programs have been a domain of intense research in the last 50 years. In this survey article, we gather together current lines of research in the classification of Leavitt path algebras, questions, conjectures, and some of the results about… ▽ More The theory of Leavitt path algebras is intrinsically related, via graphs, to the theory of symbolic dynamics and $C^*$-algebras where the major classification programs have been a domain of intense research in the last 50 years. In this survey article, we gather together current lines of research in the classification of Leavitt path algebras, questions, conjectures, and some of the results about them that have been obtained so far. △ Less

Submitted 11 July, 2024; v1 submitted 8 January, 2024; originally announced January 2024.

Comments: Final version

Journal ref: Bull. Lond. Math. Soc. (2024) 56:10, 3011-3267

Symmetries of the squeeze-driven Kerr oscillator

Authors: Francesco Iachello, Rodrigo G. Cortiñas, Francisco Pérez-Bernal, Lea F. Santos

Abstract: We study the symmetries of the static effective Hamiltonian of a driven superconducting nonlinear oscillator, the so-called squeeze-driven Kerr Hamiltonian, and discover a remarkable quasi-spin symmetry $su(2)$ at integer values of the ratio $η=Δ/K$ of the detuning parameter $Δ$ to the Kerr coefficient $K$. We investigate the stability of this newly discovered symmetry to high-order perturbations… ▽ More We study the symmetries of the static effective Hamiltonian of a driven superconducting nonlinear oscillator, the so-called squeeze-driven Kerr Hamiltonian, and discover a remarkable quasi-spin symmetry $su(2)$ at integer values of the ratio $η=Δ/K$ of the detuning parameter $Δ$ to the Kerr coefficient $K$. We investigate the stability of this newly discovered symmetry to high-order perturbations arising from the static effective expansion of the driven Hamiltonian. Our finding may find applications in the generation and stabilization of states useful for quantum computing. Finally, we discuss other Hamiltonians with similar properties and within reach of current technologies. △ Less

Submitted 13 October, 2023; originally announced October 2023.

Comments: 19 pages, 14 figures

Exel-Pardo algebras with a twist

Authors: Guillermo Cortiñas

Abstract: Katsura associated a $C^*$-algebra $C^*_{A,B}$ to integral matrices $A\ge 0$ and $B$ of the same size, gave sufficient conditions on $(A,B)$ making it simple purely infinite (SPI), and proved that any separable $C^*$-algebra $KK$-isomorphic to a cone of an element $ξ\in KK(C(S^1)^n,C(S^1)^n)$ in Kasparov's $KK$ is $KK$-isomorphic to an SPI $C^*_{A,B}$. Here we introduce, for the data of a commutat… ▽ More Katsura associated a $C^*$-algebra $C^*_{A,B}$ to integral matrices $A\ge 0$ and $B$ of the same size, gave sufficient conditions on $(A,B)$ making it simple purely infinite (SPI), and proved that any separable $C^*$-algebra $KK$-isomorphic to a cone of an element $ξ\in KK(C(S^1)^n,C(S^1)^n)$ in Kasparov's $KK$ is $KK$-isomorphic to an SPI $C^*_{A,B}$. Here we introduce, for the data of a commutative ring $\ell$, matrices $A,B$ as above and $C$ of the same size with coefficients in the group $\mathcal{U}(\ell)$ of invertible elements, an $\ell$-algebra $\mathcal{O}_{A,B}^C$, the twisted Katsura algebra of the triple $(A,B,C)$, show it is SPI whenever $\ell\supset\mathbb{Q}$ is a field and $(A,B)$ satisfy Katsura conditions, and that any $\ell$-algebra which is a cone of a map $ξ\in kk(\ell[t,t^{-1}]^n,\ell[t,t^{-1}]^n)$ in the bivariant algebraic $K$-theory category $kk$ is $kk$-isomorphic to an SPI $\mathcal{O}_{A,B}^C$. Twisted Katsura $\ell$-algebras are twisted Exel-Pardo algebras $L(G,E,φ_c)$ associated to a group $G$ acting on a graph $E$, and $1$-cocycles $φ:G\times E^1\to G$ and $c:G\times E^1\to \mathcal{U}(\ell)$. We describe $L(G,E,φ_c)$ by generators and relations, as a quotient of a twisted semigroup algebra, as a twisted Steinberg algebra, as a corner skew Laurent polynomial algebra, and as a universal localization of a tensor algebra. We use each of these guises of $L(G,E,φ_c)$ to study its $K$-theoretic, regularity and simplicity properties. For example we show that if $\ell\supset \mathbb{Q}$ is a field, $G$ and $E$ are countable and $E$ is regular, then $L(G,E,φ_c)$ is simple whenever the Exel-Pardo $C^*$-algebra $C^*(G,E,φ)$ is, and is SPI if in addition the Leavitt path algebra $L(E)$ is SPI. △ Less

Submitted 13 October, 2023; v1 submitted 25 September, 2023; originally announced September 2023.

Comments: 39 pages. Version 2: typos corrected, references added

MSC Class: Primary: 16S88; 37A55; Secondary: 19K35

Effective versus Floquet theory for the Kerr parametric oscillator

Authors: Ignacio García-Mata, Rodrigo G. Cortiñas, Xu Xiao, Jorge Chávez-Carlos, Victor S. Batista, Lea F. Santos, Diego A. Wisniacki

Abstract: Parametric gates and processes engineered from the perspective of the static effective Hamiltonian of a driven system are central to quantum technology. However, the perturbative expansions used to derive static effective models may not be able to efficiently capture all the relevant physics of the original system. In this work, we investigate the conditions for the validity of the usual low-order… ▽ More Parametric gates and processes engineered from the perspective of the static effective Hamiltonian of a driven system are central to quantum technology. However, the perturbative expansions used to derive static effective models may not be able to efficiently capture all the relevant physics of the original system. In this work, we investigate the conditions for the validity of the usual low-order static effective Hamiltonian used to describe a Kerr oscillator under a squeezing drive. This system is of fundamental and technological interest. In particular, it has been used to stabilize Schrödinger cat states, which have applications for quantum computing. We compare the states and energies of the effective static Hamiltonian with the exact Floquet states and quasi-energies of the driven system and determine the parameter regime where the two descriptions agree. Our work brings to light the physics that is left out by ordinary static effective treatments and that can be explored by state-of-the-art experiments. △ Less

Submitted 21 March, 2024; v1 submitted 21 September, 2023; originally announced September 2023.

Comments: 13 pages, 8 Figures. Version accepted in Quantum Journal. (added missing DOI links)

Journal ref: Quantum 8, 1298 (2024)

Simplicity of $L^p$-graph algebras

Authors: Guillermo Cortiñas, Diego Montero, María Eugenia Rodríguez

Abstract: For each $1\le p<\infty$ and each countable directed graph $E$ we consider the Leavitt path $\mathbb{C}$-algebra $L(E)$ and the $L^p$-operator graph algebra $\mathcal{O}^p(E)$. We show that the (purely infinite) simplicity of $\mathcal{O}^p(E)$ as a Banach algebra is equivalent to the (purely infinite) simplicity of $L(E)$ as a ring. For each $1\le p<\infty$ and each countable directed graph $E$ we consider the Leavitt path $\mathbb{C}$-algebra $L(E)$ and the $L^p$-operator graph algebra $\mathcal{O}^p(E)$. We show that the (purely infinite) simplicity of $\mathcal{O}^p(E)$ as a Banach algebra is equivalent to the (purely infinite) simplicity of $L(E)$ as a ring. △ Less

Submitted 9 July, 2023; originally announced July 2023.

Comments: 12 pages

MSC Class: 47L10; 46L55; 16G20

Quantum tunneling and level crossings in the squeeze-driven Kerr oscillator

Authors: Miguel A. Prado Reynoso, D. J. Nader, Jorge Chávez-Carlos, B. E. Ordaz-Mendoza, Rodrigo G. Cortiñas, Victor S. Batista, S. Lerma-Hernández, Francisco Pérez-Bernal, Lea F. Santos

Abstract: The quasi-energy spectrum recently measured in experiments with a squeeze-driven superconducting Kerr oscillator showed good agreement with the energy spectrum of its corresponding static effective Hamiltonian. The experiments also demonstrated that the dynamics of low-energy states can be explained with the same emergent static effective model. The spectrum exhibits real (avoided) level crossings… ▽ More The quasi-energy spectrum recently measured in experiments with a squeeze-driven superconducting Kerr oscillator showed good agreement with the energy spectrum of its corresponding static effective Hamiltonian. The experiments also demonstrated that the dynamics of low-energy states can be explained with the same emergent static effective model. The spectrum exhibits real (avoided) level crossings for specific values of the Hamiltonian parameters, which can then be chosen to suppress (enhance) quantum tunneling. Here, we analyze the spectrum and the dynamics of the effective model up to high energies, which should soon be within experimental reach. We show that the parameters values for the crossings, which can be obtained from a semiclassical approach, can also be identified directly from the dynamics. Our analysis of quantum tunneling is done with the effective flux of the Husimi volume of the evolved states between different regions of the phase space. Both initial coherent states and quench dynamics are considered. We argue that the level crossings and their consequences to the dynamics are typical to any quantum system with one degree of freedom, whose density of states presents a local logarithmic divergence and a local step discontinuity. △ Less

Submitted 17 May, 2023; originally announced May 2023.

Comments: 13 pages, 8 figures

Journal ref: PhysRevA.108.033709 (2023)

A diagrammatic method to compute the effective Hamiltonian of driven nonlinear oscillators

Authors: Xu Xiao, Jayameenakshi Venkatraman, Rodrigo G. Cortiñas, Shoumik Chowdhury, Michel H. Devoret

Abstract: In this work, we present a new diagrammatic method for computing the effective Hamiltonian of driven nonlinear oscillators. At the heart of our method is a self-consistent perturbation expansion developed in phase space, which establishes a direct correspondence between the diagram and algebra. Each diagram corresponds to a Hamiltonian term, the prefactor of which, like those in Feynman diagrams,… ▽ More In this work, we present a new diagrammatic method for computing the effective Hamiltonian of driven nonlinear oscillators. At the heart of our method is a self-consistent perturbation expansion developed in phase space, which establishes a direct correspondence between the diagram and algebra. Each diagram corresponds to a Hamiltonian term, the prefactor of which, like those in Feynman diagrams, involves a simple counting of topologically equivalent diagrams. Leveraging the algorithmic simplicity of our diagrammatic method, we provide a readily available computer program that generates the effective Hamiltonian to arbitrary order. We show the consistency of our schemes with existing perturbation methods such as the Schrieffer-Wolff method. Furthermore, we recover the classical harmonic balance scheme from our result in the limit of $\hbar\rightarrow0$. Our method contributes to the understanding of dynamic control within quantum systems and achieves precision essential for advancing future quantum information processors. To demonstrate its value and versatility, we analyze five examples from the field of superconducting circuits. These include an experimental proposal for the Hamiltonian stabilization of a three-legged Schrödinger cat, modeling of energy renormalization phenomena in superconducting circuits experiments, a comprehensive characterization of multiphoton resonances in a driven transmon, a proposal for an inductively shunted transmon circuit, and a characterization of classical ultra-subharmonic bifurcation in driven oscillators. Lastly, we benchmark the performance of our method by comparing it with experimental data and exact Floquet numerical diagonalization. △ Less

Submitted 24 December, 2024; v1 submitted 26 April, 2023; originally announced April 2023.

A driven quantum superconducting circuit with multiple tunable degeneracies

Authors: Jayameenakshi Venkatraman, Rodrigo G. Cortinas, Nicholas E. Frattini, Xu Xiao, Michel H. Devoret

Abstract: We present the experimental discovery of multiple simultaneous degeneracies in the spectrum of a Kerr oscillator subjected to a squeezing drive. This squeezing, in combination with the Kerr interaction creates an effective static two-well potential in the frame rotating at half the frequency of the sinusoidal driving force. Remarkably, these degeneracies can be turned on-and-off on demand, and the… ▽ More We present the experimental discovery of multiple simultaneous degeneracies in the spectrum of a Kerr oscillator subjected to a squeezing drive. This squeezing, in combination with the Kerr interaction creates an effective static two-well potential in the frame rotating at half the frequency of the sinusoidal driving force. Remarkably, these degeneracies can be turned on-and-off on demand, and their number is tunable. We find that when the detuning $Δ$ between the frequency of the oscillator and characteristic frequency of the drive equals an even multiple of the Kerr coefficient $K$, $Δ/K = 2m$, the oscillator displays $m + 1$ exact, parity-protected, spectral degeneracies, insensitive to the drive amplitude. The degeneracies stem from the unusual destructive interference of tunnel paths in the classically forbidden region of the double well static effective potential that models our experiment. Exploiting this interference, we measure a peaked enhancement of the incoherent well-switching lifetime creating a super-protected cat qubit in the ground state manifold of our oscillator. {Our results demonstrate the relationship between degeneracies and noise protection in quantum systems. △ Less

Submitted 10 May, 2023; v1 submitted 8 November, 2022; originally announced November 2022.

Spectral kissing and its dynamical consequences in the squeeze-driven Kerr oscillator

Authors: Jorge Chávez-Carlos, Talía L. M. Lezama, Rodrigo G. Cortiñas, Jayameenakshi Venkatraman, Michel H. Devoret, Victor S. Batista, Francisco Pérez-Bernal, Lea F. Santos

Abstract: Transmon qubits are the predominant element in circuit-based quantum information processing, such as existing quantum computers, due to their controllability and ease of engineering implementation. But more than qubits, transmons are multilevel nonlinear oscillators that can be used to investigate fundamental physics questions. Here, they are explored as simulators of excited state quantum phase t… ▽ More Transmon qubits are the predominant element in circuit-based quantum information processing, such as existing quantum computers, due to their controllability and ease of engineering implementation. But more than qubits, transmons are multilevel nonlinear oscillators that can be used to investigate fundamental physics questions. Here, they are explored as simulators of excited state quantum phase transitions (ESQPTs), which are generalizations of quantum phase transitions to excited states. We show that the spectral kissing (coalescence of pairs of energy levels) experimentally observed in the effective Hamiltonian of a driven SNAIL-transmon is an ESQPT precursor. We explore the dynamical consequences of the ESQPT, which include the exponential growth of out-of-time-ordered correlators, followed by periodic revivals, and the slow evolution of the survival probability due to localization. These signatures of ESQPT are within reach for current superconducting circuits platforms and are of interest to experiments with cold atoms and ion traps. △ Less

Submitted 14 July, 2023; v1 submitted 13 October, 2022; originally announced October 2022.

Comments: 18 pages, 7 figures

Journal ref: npj Quantum Information volume 9, Article number: 76 (2023)

On the static effective Lindbladian of the squeezed Kerr oscillator

Authors: Jayameenakshi Venkatraman, Xu Xiao, Rodrigo G. Cortiñas, Michel H. Devoret

Abstract: We derive the static effective Lindbladian beyond the rotating wave approximation (RWA) for a driven nonlinear oscillator coupled to a bath of harmonic oscillators. The associated dissipative effects may explain orders of magnitude differences between the predictions of the ordinary RWA model and results from recent superconducting circuits experiments on the Kerr-cat qubit. The higher-order dissi… ▽ More We derive the static effective Lindbladian beyond the rotating wave approximation (RWA) for a driven nonlinear oscillator coupled to a bath of harmonic oscillators. The associated dissipative effects may explain orders of magnitude differences between the predictions of the ordinary RWA model and results from recent superconducting circuits experiments on the Kerr-cat qubit. The higher-order dissipators found in our calculations have important consequences for quantum error-correction protocols and parametric processses. △ Less

Submitted 23 September, 2022; v1 submitted 22 September, 2022; originally announced September 2022.

The squeezed Kerr oscillator: spectral kissing and phase-flip robustness

Authors: Nicholas E. Frattini, Rodrigo G. Cortiñas, Jayameenakshi Venkatraman, Xu Xiao, Qile Su, Chan U Lei, Benjamin J. Chapman, Vidul R. Joshi, S. M. Girvin, Robert J. Schoelkopf, Shruti Puri, Michel H. Devoret

Abstract: By applying a microwave drive to a specially designed Josephson circuit, we have realized an elementary quantum optics model, the squeezed Kerr oscillator. This model displays, as the squeezing amplitude is increased, a cross-over from a single ground state regime to a doubly-degenerate ground state regime. In the latter case, the ground state manifold is spanned by Schrödinger-cat states, i.e. qu… ▽ More By applying a microwave drive to a specially designed Josephson circuit, we have realized an elementary quantum optics model, the squeezed Kerr oscillator. This model displays, as the squeezing amplitude is increased, a cross-over from a single ground state regime to a doubly-degenerate ground state regime. In the latter case, the ground state manifold is spanned by Schrödinger-cat states, i.e. quantum superpositions of coherent states with opposite phases. For the first time, having resolved up to the tenth excited state in a spectroscopic experiment, we confirm that the proposed emergent static effective Hamiltonian correctly describes the system, despite its driven character. We also find that the lifetime of the coherent state components of the cat states increases in steps as a function of the squeezing amplitude. We interpret the staircase pattern as resulting from pairwise level kissing in the excited state spectrum. Considering the Kerr-cat qubit encoded in this ground state manifold, we achieve for the first time quantum nondemolition readout fidelities greater than 99%, and enhancement of the phase-flip lifetime by more than two orders of magnitude, while retaining universal quantum control. Our experiment illustrates the crucial role of parametric drive Hamiltonian engineering for hardware-efficient quantum computation. △ Less

Submitted 8 September, 2022; originally announced September 2022.

A Quillen model structure of local homotopy equivalences

Authors: Devarshi Mukherjee, Guillermo Cortiñas

Abstract: In this note, we construct a closed model structure on the category of $\mathbb{Z}/2\mathbb{Z}$-graded complexes of projective systems of ind-Banach spaces. When the base field is the fraction field $F$ of a complete discrete valuation ring $V$, the homotopy category of this model structure is the derived category of the quasi-abelian category $\overleftarrow{\mathsf{Ind}(\mathsf{Ban}_F)}$. This h… ▽ More In this note, we construct a closed model structure on the category of $\mathbb{Z}/2\mathbb{Z}$-graded complexes of projective systems of ind-Banach spaces. When the base field is the fraction field $F$ of a complete discrete valuation ring $V$, the homotopy category of this model structure is the derived category of the quasi-abelian category $\overleftarrow{\mathsf{Ind}(\mathsf{Ban}_F)}$. This homotopy category is the appropriate target of the local and analytic cyclic homology theories for complete, torsionfree $V$-algebras and $\mathbb{F}$-algebras. When the base field is $\mathbb{C}$, the homotopy category is the target of local and analytic cyclic homology for pro-bornological $\mathbb{C}$-algebras, which includes the subcategory of pro-$C^*$-algebras. △ Less

Submitted 26 March, 2024; v1 submitted 6 July, 2022; originally announced July 2022.

Comments: Some improvements, new section added. Final version

Journal ref: Theory and Applications of Categories 41:9 (2024) 268-287

Graded $K$-theory and Leavitt path algebras

Authors: Guido Arnone, Guillermo Cortiñas

Abstract: Let $G$ be a group and $\ell$ a commutative unital $\ast$-ring with an element $λ\in \ell$ such that $λ+ λ^\ast = 1$. We introduce variants of hermitian bivariant $K$-theory for $\ast$-algebras equipped with a $G$-action or a $G$-grading. For any graph $E$ with finitely many vertices and any weight function $ω\colon E^1 \to G$, a distinguished triangle for $L(E)=L_\ell(E)$ in the hermitian $G$-gra… ▽ More Let $G$ be a group and $\ell$ a commutative unital $\ast$-ring with an element $λ\in \ell$ such that $λ+ λ^\ast = 1$. We introduce variants of hermitian bivariant $K$-theory for $\ast$-algebras equipped with a $G$-action or a $G$-grading. For any graph $E$ with finitely many vertices and any weight function $ω\colon E^1 \to G$, a distinguished triangle for $L(E)=L_\ell(E)$ in the hermitian $G$-graded bivariant $K$-theory category $kk^h_{G_{\mathrm{gr}}}$ is obtained, describing $L(E)$ as a cone of a matrix with coefficients in $\mathbb{Z}[G]$ associated to the incidence matrix of $E$ and the weight $ω$. In the particular case of the standard $\mathbb{Z}$-grading, and under mild assumptions on $\ell$, we show that the isomorphism class of $L(E)$ in $kk^h_{\mathbb{Z}_{\mathrm{gr}}}$ is determined by the graded Bowen-Franks module of $E$. We also obtain results for the graded and hermitian graded $K$-theory of $\ast$-algebras in general and Leavitt path algebras in particular which are of independent interest, including hermitian and bivariant versions of Dade's theorem and of Van den Bergh's exact sequence relating graded and ungraded $K$-theory. △ Less

Submitted 28 January, 2022; originally announced January 2022.

Comments: 26 pages

Lifting graph $C^*$-algebra maps to Leavitt path algebra maps

Authors: Guillermo Cortiñas

Abstract: Let $ξ:C^*(E)\to C^*(F)$ be a unital $*$-homomorphism between simple purely infinite Cuntz-Krieger algebras of finite graphs. We prove that there exists a unital $*$-homomorphism $φ:L(E)\to L(F)$ between the corresponding Leavitt path-algebras such that $ξ$ is homotopic to the map $\hatφ:C^*(E)\to C^*(F)$ induced by completion. We show moreover that $\hatφ$ is a homotopy equivalence in the $C^*$-a… ▽ More Let $ξ:C^*(E)\to C^*(F)$ be a unital $*$-homomorphism between simple purely infinite Cuntz-Krieger algebras of finite graphs. We prove that there exists a unital $*$-homomorphism $φ:L(E)\to L(F)$ between the corresponding Leavitt path-algebras such that $ξ$ is homotopic to the map $\hatφ:C^*(E)\to C^*(F)$ induced by completion. We show moreover that $\hatφ$ is a homotopy equivalence in the $C^*$-algebraic sense if and only if $φ$ is a homotopy equivalence in the algebraic, polynomial sense. We deduce, in particular, that any isomorphism between simple purely infinite Cuntz-Krieger algebras is homotopic to the completion of a unital algebraic homotopy equivalence. △ Less

Submitted 7 October, 2021; originally announced October 2021.

Comments: 11 pages

MSC Class: 16S88; 19K35

On the static effective Hamiltonian of a rapidly driven nonlinear system

Authors: Jayameenakshi Venkatraman, Xu Xiao, Rodrigo G. Cortiñas, Alec Eickbusch, Michel H. Devoret

Abstract: We present a recursive formula for the computation of the static effective Hamiltonian of a system under a fast-oscillating drive. Our analytical result is well-suited to symbolic calculations performed by a computer and can be implemented to arbitrary order, thus overcoming limitations of existing time-dependent perturbation methods and allowing computations that were impossible before. We also p… ▽ More We present a recursive formula for the computation of the static effective Hamiltonian of a system under a fast-oscillating drive. Our analytical result is well-suited to symbolic calculations performed by a computer and can be implemented to arbitrary order, thus overcoming limitations of existing time-dependent perturbation methods and allowing computations that were impossible before. We also provide a simple diagrammatic tool for calculation and treat illustrative examples. By construction, our method applies directly to both quantum and classical systems; the difference is left to a low-level subroutine. This aspect sheds light on the relationship between seemingly disconnected independently developed methods in the literature and has direct applications in quantum engineering. △ Less

Submitted 12 January, 2022; v1 submitted 5 August, 2021; originally announced August 2021.

Comments: 5 pages, 3 figures

Nonexistence of graded unital homomorphisms between Leavitt algebras and their Cuntz splices

Authors: Guido Arnone, Guillermo Cortiñas

Abstract: Let $n\ge 2$, let $\mathcal{R}_n$ be the graph consisting of one vertex and $n$ loops and let $\mathcal{R}_{n^-}$ be its Cuntz splice. Let $L_n=L(\mathcal{R}_n)$ and $L_{n^-}=L(\mathcal{R}_{n^-})$ be the Leavitt path algebras over a unital ring $\ell$. Let $C_m$ be the cyclic group on $2\le m\le \infty$ elements. Equip $L_n$ and $L_{n^-}$ with their natural $C_m$-gradings. We show that under mild… ▽ More Let $n\ge 2$, let $\mathcal{R}_n$ be the graph consisting of one vertex and $n$ loops and let $\mathcal{R}_{n^-}$ be its Cuntz splice. Let $L_n=L(\mathcal{R}_n)$ and $L_{n^-}=L(\mathcal{R}_{n^-})$ be the Leavitt path algebras over a unital ring $\ell$. Let $C_m$ be the cyclic group on $2\le m\le \infty$ elements. Equip $L_n$ and $L_{n^-}$ with their natural $C_m$-gradings. We show that under mild conditions on $\ell$, which are satisfied for example when $\ell$ is a field or a PID, there are no unital $C_m$-graded ring homomorphisms $L_n\to L_{n^-}$ nor in the opposite direction. △ Less

Submitted 27 August, 2021; v1 submitted 3 June, 2021; originally announced June 2021.

Comments: 7 pages. Second version fixes the statement of old Proposition 6.4, now Proposition 6.3

MSC Class: 16S88; 19A49

Classifying Leavitt path algebras up to involution preserving homotopy

Authors: Guillermo Cortiñas

Abstract: We prove that the Bowen-Franks group classifies the Leavitt path algebras of purely infinite simple finite graphs over a regular supercoherent commutative ring with involution where $2$ is invertible, equipped with their standard involutions, up to matricial stabilization and involution preserving homotopy equivalence. We also consider a twisting of the standard involution on Leavitt path algebras… ▽ More We prove that the Bowen-Franks group classifies the Leavitt path algebras of purely infinite simple finite graphs over a regular supercoherent commutative ring with involution where $2$ is invertible, equipped with their standard involutions, up to matricial stabilization and involution preserving homotopy equivalence. We also consider a twisting of the standard involution on Leavitt path algebras and obtain partial results in the same direction for purely infinite simple graphs. Our tools are $K$-theoretic, and we prove several results about (Hermitian, bivariant) $K$-theory of Leavitt path algebras. △ Less

Submitted 11 July, 2021; v1 submitted 14 January, 2021; originally announced January 2021.

Comments: 39 pages, no figures. Second version is fully re-written. Third version clarifies the relevance of classic results of Joachim Cuntz to the present work. Fourth version corrects a typo and adds reference to Cuntz' homotopy classification of Cuntz-Krieger algebras [20]

MSC Class: 16E20; 19K35; 19G38

Bivariant Hermitian $K$-theory and Karoubi's fundamental theorem

Authors: Guillermo Cortiñas, Santiago Vega

Abstract: Let $\ell$ be a commutative ring with involution $*$ containing an element $λ$ such that $λ+λ^*=1$ and let $\operatorname{Alg}^*_\ell$ be the category of $\ell$-algebras equipped with a semilinear involution and involution preserving homomorphisms. We construct a triangulated category $kk^h$ and a functor $j^h:\operatorname{Alg}^*_\ell\to kk^h$ that is homotopy invariant, matricially and hermitian… ▽ More Let $\ell$ be a commutative ring with involution $*$ containing an element $λ$ such that $λ+λ^*=1$ and let $\operatorname{Alg}^*_\ell$ be the category of $\ell$-algebras equipped with a semilinear involution and involution preserving homomorphisms. We construct a triangulated category $kk^h$ and a functor $j^h:\operatorname{Alg}^*_\ell\to kk^h$ that is homotopy invariant, matricially and hermitian stable and excisive and is universal initial with these properties. We prove that a version of Karoubi's fundamental theorem holds in $kk^h$. By the universal property of the latter, this implies that any functor $H:\operatorname{Alg}^*_\ell\to\mathfrak{T}$ with values in a triangulated category which is homotopy invariant, matricially and hermitian stable and excisive satisfies the fundamental theorem. We also prove a bivariant version of Karoubi's $12$-term exact sequence. △ Less

Submitted 23 January, 2021; v1 submitted 16 December, 2020; originally announced December 2020.

Comments: 27 pages. Various minor, mostly expository changes in second version

MSC Class: 19G38; 19K35

Long-lived circular Rydberg states of laser-cooled Rubidium atoms in a cryostat

Authors: Tigrane Cantat-Moltrecht, Rodrigo Cortiñas, Brice Ravon, Paul Méhaignerie, Serge Haroche, Jean-Michel Raimond, Maxime Favier, Michel Brune, Clément Sayrin

Abstract: The exquisite properties of Rydberg levels make them particularly appealing for emerging quantum technologies. The lifetime of low-angular-momentum laser-accessible levels is however limited to a few $100\,μ\mathrm{s}$ by optical transitions and microwave blackbody radiation (BBR) induced transfers at room temperature. A considerable improvement would be obtained with the few $10\,\mathrm{ms}$ lif… ▽ More The exquisite properties of Rydberg levels make them particularly appealing for emerging quantum technologies. The lifetime of low-angular-momentum laser-accessible levels is however limited to a few $100\,μ\mathrm{s}$ by optical transitions and microwave blackbody radiation (BBR) induced transfers at room temperature. A considerable improvement would be obtained with the few $10\,\mathrm{ms}$ lifetime of circular Rydberg levels in a cryogenic environment reducing the BBR temperature. We demonstrate the preparation of long-lived circular Rydberg levels of laser-cooled Rubidium atoms in a cryostat. We observe a $3.7\,\mathrm{ms}$ lifetime for the circular level of principal quantum number $n=52$. By monitoring the transfers between adjacent circular levels, we estimate in situ the microwave BBR temperature to be $(11\pm 2)\,\mathrm{K}$. The measured atomic coherence time ($270\,μ\mathrm{s}$) is limited here only by technical magnetic field fluctuations. This work opens interesting perspectives for quantum simulation and sensing with cold circular Rydberg atoms. △ Less

Submitted 12 March, 2020; v1 submitted 7 February, 2020; originally announced February 2020.

Comments: 6 pages, 4 figures T. Cantat-Moltrecht and R. Cortiñas contributed equally to this work

Journal ref: Phys. Rev. Research 2, 022032 (2020)

Non-Archimedean analytic cyclic homology

Authors: Guillermo Cortiñas, Ralf Meyer, Devarshi Mukherjee

Abstract: Let $V$ be a complete discrete valuation ring with fraction field $F$ of characteristic zero and with residue field $\mathbb{F}$. We introduce analytic cyclic homology of complete torsion-free bornological algebras over $V$. We prove that it is homotopy invariant, stable, invariant under certain nilpotent extensions, and satisfies excision. We use these properties to compute it for tensor products… ▽ More Let $V$ be a complete discrete valuation ring with fraction field $F$ of characteristic zero and with residue field $\mathbb{F}$. We introduce analytic cyclic homology of complete torsion-free bornological algebras over $V$. We prove that it is homotopy invariant, stable, invariant under certain nilpotent extensions, and satisfies excision. We use these properties to compute it for tensor products with dagger completions of Leavitt path algebras. If $R$ is a smooth commutative $V$-algebra of relative dimension $1$, then we identify its analytic cyclic homology with Berthelot's rigid cohomology of $R\otimes_{V}\mathbb{F}$. △ Less

Submitted 19 December, 2019; originally announced December 2019.

Comments: 52 pages

MSC Class: 19D55; 18G60

Journal ref: Doc. Math. 25 (2020), p. 1353-1419

Laser Trapping of Circular Rydberg Atoms

Authors: R. G. Cortiñas, M. Favier, B. Ravon, P. Méhaignerie, Y. Machu, J. M. Raimond, C. Sayrin, M. Brune

Abstract: Rydberg atoms are remarkable tools for quantum simulation and computation. They are the focus of an intense experimental activity mainly based on low-angular-momentum Rydberg states. Unfortunately, atomic motion and levels lifetime limit the experimental time-scale to about 100$μ$s. Here, we demonstrate laser trapping of long-lived circular Rydberg states for up to 10ms. Our method is very general… ▽ More Rydberg atoms are remarkable tools for quantum simulation and computation. They are the focus of an intense experimental activity mainly based on low-angular-momentum Rydberg states. Unfortunately, atomic motion and levels lifetime limit the experimental time-scale to about 100$μ$s. Here, we demonstrate laser trapping of long-lived circular Rydberg states for up to 10ms. Our method is very general and opens many opportunities for quantum simulation. The 10ms trapping time corresponds to thousands of interaction cycles in a circular-state-based quantum simulator. It is also promising for quantum metrology and quantum information with Rydberg atoms. △ Less

Submitted 6 November, 2019; originally announced November 2019.

Journal ref: Phys. Rev. Lett. 124, 123201 (2020)

Homotopy classification of Leavitt path algebras

Authors: Guillermo Cortiñas, Diego Montero

Abstract: In this paper we address the classification problem for purely infinite simple Leavitt path algebras of finite graphs over a field $\ell$. Each graph $E$ has associated a Leavitt path $\ell$-algebra $L(E)$. There is an open question which asks whether the pair $(K_0(L(E)), [1_{L(E)}])$, consisting of the Grothendieck group together with the class $[1_{L(E)}]$ of the identity, is a complete invaria… ▽ More In this paper we address the classification problem for purely infinite simple Leavitt path algebras of finite graphs over a field $\ell$. Each graph $E$ has associated a Leavitt path $\ell$-algebra $L(E)$. There is an open question which asks whether the pair $(K_0(L(E)), [1_{L(E)}])$, consisting of the Grothendieck group together with the class $[1_{L(E)}]$ of the identity, is a complete invariant for the classification, up to algebra isomorphism, of those Leavitt path algebras of finite graphs which are purely infinite simple. We show that $(K_0(L(E)), [1_{L(E)}])$ is a complete invariant for the classification of such algebras up to polynomial homotopy equivalence. To prove this we develop the bivariant algebraic $K$-theory of Leavitt path algebras and obtain several results of independent interest. △ Less

Submitted 5 August, 2018; v1 submitted 24 June, 2018; originally announced June 2018.

Comments: 24 pages. Version 2 streamlined; shortened to 22 pages

Journal ref: Advances in Mathematics 364 (2020)

Algebraic bivariant $K$-theory and Leavitt path algebras

Authors: Guillermo Cortiñas, Diego Montero

Abstract: This article is the first of two where we investigate to what extent homotopy invariant, excisive and matrix stable homology theories help one distinguish between the Leavitt path algebras $L(E)$ and $L(F)$ of graphs $E$ and $F$ over a commutative ground ring $\ell$. In this first article we consider Leavitt path algebras of general graphs over general ground rings; the second article will focus m… ▽ More This article is the first of two where we investigate to what extent homotopy invariant, excisive and matrix stable homology theories help one distinguish between the Leavitt path algebras $L(E)$ and $L(F)$ of graphs $E$ and $F$ over a commutative ground ring $\ell$. In this first article we consider Leavitt path algebras of general graphs over general ground rings; the second article will focus mostly on purely infinite simple unital Leavitt path algebras over a field. Bivariant algebraic $K$-theory $kk$ is the universal homology theory with the properties above; we prove a structure theorem for unital Leavitt path algebras in $kk$. We show that under very mild assumptions on $\ell$, for a graph $E$ with finitely many vertices and reduced incidence matrix $A_E$, the structure of $L(E)$ depends only on the isomorphism classes of the cokernels of the matrix $I-A_E$ and of its transpose, which are respectively the $kk$ groups $KH^1(L(E))=kk_{-1}(L(E),\ell)$ and $KH_0(L(E))=kk_0(\ell,L(E))$. Hence if $L(E)$ and $L(F)$ are unital Leavitt path algebras such that $KH_0(L(E))\cong KH_0(L(F))$ and $KH^1(L(E))\cong KH^1(L(F))$ then no homology theory with the above properties can distinguish them. We also prove that for Leavitt path algebras, $kk$ has several properties similar to those that Kasparov's bivariant $K$-theory has for $C^*$-graph algebras, including analogues of the Universal coefficient and Künneth theorems of Rosenberg and Schochet. △ Less

Submitted 5 August, 2018; v1 submitted 24 June, 2018; originally announced June 2018.

Comments: 26 pages. Version 2 has a few minor changes

$L^p$-operator algebras associated with oriented graphs

Authors: Guillermo Cortiñas, Ma. Eugenia Rodrí guez

Abstract: For each $1\le p<\infty$ and each countable oriented graph $Q$ we introduce an $L^p$-operator algebra $\mathcal{O}^p(Q)$ which contains the Leavitt path $\mathbb{C}$-algebra $L_Q$ as a dense subalgebra and is universal for those $L^p$-representations of $L_Q$ which are spatial in the sense of N.C. Phillips. For $\mathcal{R}_n$ the graph with one vertex and $n$ loops ($2\le n\le \infty$),… ▽ More For each $1\le p<\infty$ and each countable oriented graph $Q$ we introduce an $L^p$-operator algebra $\mathcal{O}^p(Q)$ which contains the Leavitt path $\mathbb{C}$-algebra $L_Q$ as a dense subalgebra and is universal for those $L^p$-representations of $L_Q$ which are spatial in the sense of N.C. Phillips. For $\mathcal{R}_n$ the graph with one vertex and $n$ loops ($2\le n\le \infty$), $\mathcal{O}^p(\mathcal{R}_n)=\mathcal{O}^p_n$, the $L^p$-Cuntz algebra introduced by Phillips. If $p\notin\{1,2\}$ and $\mathcal{S}(Q)$ is the inverse semigroup generated by $Q$, $\mathcal{O}^p(Q)=F_{\operatorname{tight}}^p(\mathcal{S}(Q))$ is the tight semigroup $L^p$-operator algebra introduced by Gardella and Lupini. We prove that $\mathcal{O}^p(Q)$ is simple as an $L^p$-operator algebra if and only if $L_Q$ is simple, and that in this case it is isometrically isomorphic to the closure $\overline{ρ(L_Q)}$ of the image of any nonzero spatial $L^p$-representation $ρ:L_Q\to\mathscr{L}(L^p(X))$. We also show that if $L_Q$ is purely infinite simple and $p\ne p'$, then there is no nonzero continuous homomorphism $\mathcal{O}^p(Q)\to\mathcal{O}^{p'}(Q)$. Our results generalize those obtained by Phillips for $L^p$-Cuntz algebras. △ Less

Submitted 19 January, 2018; v1 submitted 23 December, 2017; originally announced December 2017.

Comments: 21 pages

Weak completions, bornologies and rigid cohomology

Authors: Guillermo Cortiñas, Joachim Cuntz, Ralf Meyer, Georg Tamme

Abstract: Let $V$ be a complete discrete valuation ring with residue field $k$ of positive characteristic and with fraction field $K$ of characteristic 0. We clarify the analysis behind the Monsky--Washnitzer completion of a commutative $V$-algebra using completions of bornological $V$-algebras. This leads us to a functorial chain complex for a finitely generated commutative algebra over the residue field… ▽ More Let $V$ be a complete discrete valuation ring with residue field $k$ of positive characteristic and with fraction field $K$ of characteristic 0. We clarify the analysis behind the Monsky--Washnitzer completion of a commutative $V$-algebra using completions of bornological $V$-algebras. This leads us to a functorial chain complex for a finitely generated commutative algebra over the residue field $k$ that computes its rigid cohomology in the sense of Berthelot. △ Less

Submitted 20 December, 2017; originally announced December 2017.

Comments: 14 pages. arXiv admin note: text overlap with arXiv:1708.00357

MSC Class: 14F30; 14F40; 13D03

Journal ref: J. Geom. Phys. 129 (2018), pp. 192-199

Nonarchimedean bornologies, cyclic homology and rigid cohomology

Authors: Guillermo Cortiñas, Joachim Cuntz, Ralf Meyer, Georg Tamme

Abstract: Let $V$ be a complete discrete valuation ring with residue field $k$ and with fraction field $K$ of characteristic 0. We clarify the analysis behind the Monsky--Washnitzer completion of a commutative $V$-algebra using spectral radius estimates for bounded subsets in complete bornological $V$-algebras. This leads us to a functorial chain complex for commutative $k$-algebras that computes Berthelot'… ▽ More Let $V$ be a complete discrete valuation ring with residue field $k$ and with fraction field $K$ of characteristic 0. We clarify the analysis behind the Monsky--Washnitzer completion of a commutative $V$-algebra using spectral radius estimates for bounded subsets in complete bornological $V$-algebras. This leads us to a functorial chain complex for commutative $k$-algebras that computes Berthelot's rigid cohomology. This chain complex is related to the periodic cyclic homology of certain complete bornological $V$-algebras. △ Less

Submitted 1 August, 2017; originally announced August 2017.

Comments: 51 pages

MSC Class: 14F30; 14F40; 19D55 (Primary); 14G22; 13D03 (Secondary)

Journal ref: Doc. Math. 23 (2018), pp. 1197-1245

Towards quantum simulation with circular Rydberg atoms

Authors: Thanh Long Nguyen, Jean-Michel Raimond, Clément Sayrin, Rodrigo Cortinas, Tigrane Cantat-Moltrecht, Fédéric Assemat, Igor Dotsenko, Sébastien Gleyzes, Serge Haroche, Guillaume Roux, Thierry Jolicoeur, Michel Brune

Abstract: The main objective of quantum simulation is an in-depth understanding of many-body physics. It is important for fundamental issues (quantum phase transitions, transport, . . . ) and for the development of innovative materials. Analytic approaches to many-body systems are limited and the huge size of their Hilbert space makes numerical simulations on classical computers intractable. A quantum simul… ▽ More The main objective of quantum simulation is an in-depth understanding of many-body physics. It is important for fundamental issues (quantum phase transitions, transport, . . . ) and for the development of innovative materials. Analytic approaches to many-body systems are limited and the huge size of their Hilbert space makes numerical simulations on classical computers intractable. A quantum simulator avoids these limitations by transcribing the system of interest into another, with the same dynamics but with interaction parameters under control and with experimental access to all relevant observables. Quantum simulation of spin systems is being explored with trapped ions, neutral atoms and superconducting devices. We propose here a new paradigm for quantum simulation of spin-1/2 arrays providing unprecedented flexibility and allowing one to explore domains beyond the reach of other platforms. It is based on laser-trapped circular Rydberg atoms. Their long intrinsic lifetimes combined with the inhibition of their microwave spontaneous emission and their low sensitivity to collisions and photoionization make trapping lifetimes in the minute range realistic with state-of-the-art techniques. Ultra-cold defect-free circular atom chains can be prepared by a variant of the evaporative cooling method. This method also leads to the individual detection of arbitrary spin observables. The proposed simulator realizes an XXZ spin-1/2 Hamiltonian with nearest-neighbor couplings ranging from a few to tens of kHz. All the model parameters can be tuned at will, making a large range of simulations accessible. The system evolution can be followed over times in the range of seconds, long enough to be relevant for ground-state adiabatic preparation and for the study of thermalization, disorder or Floquet time crystals. This platform presents unrivaled features for quantum simulation. △ Less

Submitted 14 March, 2018; v1 submitted 14 July, 2017; originally announced July 2017.

Journal ref: Phys. Rev. X 8, 011032 (2018)

The $K$-theory of toric schemes over regular rings of mixed characteristic

Authors: Guillermo Cortiñas, Christian Haesemeyer, Mark E. Walker, Charles Weibel

Abstract: We show that if $X$ is a toric scheme over a regular commutative ring $k$ then the direct limit of the $K$-groups of $X$ taken over any infinite sequence of nontrivial dilations is homotopy invariant. This theorem was previously known for regular commutative rings containing a field. The affine case of our result was conjectured by Gubeladze. We prove analogous results when $k$ is replaced by an a… ▽ More We show that if $X$ is a toric scheme over a regular commutative ring $k$ then the direct limit of the $K$-groups of $X$ taken over any infinite sequence of nontrivial dilations is homotopy invariant. This theorem was previously known for regular commutative rings containing a field. The affine case of our result was conjectured by Gubeladze. We prove analogous results when $k$ is replaced by an appropriate $K$-regular, not necessarily commutative $k$-algebra. △ Less

Submitted 22 March, 2017; originally announced March 2017.

MSC Class: 14F20; 19E08; 19D55

Singular coefficients in the K-theoretic Farrell-Jones conjecture

Authors: Guillermo Cortiñas, Emanuel Rodríguez Cirone

Abstract: Let G be a group and k a field of characteristic zero. We prove that if the Farrell-Jones conjecture for the K-theory of R[G] is satisfied for every smooth k-algebra R, then it is also satisfied for every commutative k-algebra R. Let G be a group and k a field of characteristic zero. We prove that if the Farrell-Jones conjecture for the K-theory of R[G] is satisfied for every smooth k-algebra R, then it is also satisfied for every commutative k-algebra R. △ Less

Submitted 6 April, 2015; v1 submitted 7 March, 2014; originally announced March 2014.

Comments: Minor changes. Subsection 2.3 was rewritten and some references were deleted to avoid ambiguity in the definition of dg-category. Subsection 2.5 was rewritten: we only give an idea of the construction of a dg-enhancement of the derived category of perfect complexes on a scheme and provide references for the details. The proof of Theorem 3.1 (former 3.2) was shortened. 14 pages

Journal ref: Algebr. Geom. Topol. 16 (2016) 129-147

Algebraic K-theory and properly infinite C*-algebras

Authors: Guillermo Cortiñas, N. Christopher Phillips

Abstract: We show that several known results about the algebraic K-theory of tensor products of algebras with the C*-algebra of compact operators in Hilbert space remain valid for tensor products with any properly infinite C*-algebra. We show that several known results about the algebraic K-theory of tensor products of algebras with the C*-algebra of compact operators in Hilbert space remain valid for tensor products with any properly infinite C*-algebra. △ Less

Submitted 13 February, 2014; originally announced February 2014.

Comments: AMSLaTeX; 9 pages

MSC Class: 19D50; 46L80 (Primary) 19D25; 46H99 (Secondary)

Excision, descent, and singularity in algebraic $K$-theory

Authors: Guillermo Cortiñas

Abstract: Algebraic $K$-theory is a homology theory that behaves very well on sufficiently nice objects such as stable $C^*$-algebras or smooth algebraic varieties, and very badly in singular situations. This survey explains how to exploit this to detect singularity phenomena using $K$-theory and cyclic homology. Algebraic $K$-theory is a homology theory that behaves very well on sufficiently nice objects such as stable $C^*$-algebras or smooth algebraic varieties, and very badly in singular situations. This survey explains how to exploit this to detect singularity phenomena using $K$-theory and cyclic homology. △ Less

Submitted 5 March, 2014; v1 submitted 5 December, 2013; originally announced December 2013.

Comments: 20 pages. To be presented at the algebra session of ICM 2014. Submitted version

MSC Class: Primary 19D55; Secondary 19D50; 19E08

Compact operators and algebraic $K$-theory for groups which act properly and isometrically on Hilbert space

Authors: Guillermo Cortiñas, Gisela Tartaglia

Abstract: We prove the $K$-theoretic Farrell-Jones conjecture for groups as in the title with coefficient rings and $C^*$-algebras which are stable with respect to compact operators. We use this and Higson-Kasparov's result that the Baum-Connes conjecture with coefficients holds for such groups, to show that if $G$ is as in the title then the algebraic and the $C^*$-crossed products of $G$ with a stable… ▽ More We prove the $K$-theoretic Farrell-Jones conjecture for groups as in the title with coefficient rings and $C^*$-algebras which are stable with respect to compact operators. We use this and Higson-Kasparov's result that the Baum-Connes conjecture with coefficients holds for such groups, to show that if $G$ is as in the title then the algebraic and the $C^*$-crossed products of $G$ with a stable $C^*$-algebra have the same $K$-theory. △ Less

Submitted 15 December, 2014; v1 submitted 25 November, 2013; originally announced November 2013.

Comments: Final version, to appear in Journal für die reine und angewandte Mathematik

MSC Class: 19D50; 19K56

Trace class operators, regulators, and assembly maps in K-theory

Authors: Guillermo Cortiñas, Gisela Tartaglia

Abstract: Let G be a group, Fin the family of its finite subgroups, and E(G,Fin) the classifying space. Let L^1 be the algebra of trace-class operators in an infinite dimensional, separable Hilbert space over the complex numbers. Consider the rational assembly map in homotopy algebraic K-theory H_p^G(E(G,Fin),KH(L^1))\otimes\Q \to KH_p(L^1[G])\otimes\Q. The rational KH-isomorphism conjecture predicts that t… ▽ More Let G be a group, Fin the family of its finite subgroups, and E(G,Fin) the classifying space. Let L^1 be the algebra of trace-class operators in an infinite dimensional, separable Hilbert space over the complex numbers. Consider the rational assembly map in homotopy algebraic K-theory H_p^G(E(G,Fin),KH(L^1))\otimes\Q \to KH_p(L^1[G])\otimes\Q. The rational KH-isomorphism conjecture predicts that the map above is an isomorphism; it follows from a theorem of Yu (see arXiv:1106.3796, arXiv:1202.4999) that it is always injective. In the current article we prove the following. Theorem: Assume that the map above is surjective. Let n\equiv p+1\mod 2. Then: i) The assembly map for the trivial family H_n^G(E(G,{1}),K(\Z)) \to K_n(\Z[G]) is rationally injective. ii) For every number field F, the assembly map H_n^G(E(G,Fin),K(F)) \to K_n(F[G]) is rationally injective. We remark that the K-theory Novikov conjecture asserts that part i) of the theorem above holds for all G, and that part ii) is equivalent to the rational injectivity part of the K-theory Farrell-Jones conjecture for number fields. The idea of the proof of the Theorem is to use an algebraic, equivariant version of Karoubi's multiplicative K-theory, which we introduce in this article. △ Less

Submitted 20 June, 2013; v1 submitted 8 May, 2013; originally announced May 2013.

Comments: 13 pages

Cyclic homology, tight crossed products, and small stabilizations

Authors: Guillermo Cortiñas

Abstract: In \verb|arXiv:1212.5901| we associated an algebra $\Gami(\fA)$ to every bornological algebra $\fA$ and an ideal $I_{S(\fA)}\triqui\Gami(\fA)$ to every symmetric ideal $S\triqui\elli$. We showed that $I_{S(\fA)}$ has $K$-theoretical properties which are similar to those of the usual stabilization with respect to the ideal $J_S\triqui\cB$ of the algebra $\cB$ of bounded operators in Hilbert space w… ▽ More In \verb|arXiv:1212.5901| we associated an algebra $\Gami(\fA)$ to every bornological algebra $\fA$ and an ideal $I_{S(\fA)}\triqui\Gami(\fA)$ to every symmetric ideal $S\triqui\elli$. We showed that $I_{S(\fA)}$ has $K$-theoretical properties which are similar to those of the usual stabilization with respect to the ideal $J_S\triqui\cB$ of the algebra $\cB$ of bounded operators in Hilbert space which corresponds to $S$ under Calkin's correspondence. In the current article we compute the relative cyclic homology $HC_*(\Gami(\fA):I_{S(\fA)})$. Using these calculations, and the results of \emph{loc. cit.}, we prove that if $\fA$ is a $C^*$-algebra and $c_0$ the symmetric ideal of sequences vanishing at infinity, then $K_*(I_{c_0(\fA)})$ is homotopy invariant, and that if $*\ge 0$, it contains $K^{\top}_*(\fA)$ as a direct summand. This is a weak analogue of the Suslin-Wodzicki theorem (\cite{sw1}) that says that for the ideal $\cK=J_{c_0}$ of compact operators and the $C^*$-algebra tensor product $\fA\sotimes\cK$, we have $K_*(\fA\sotimes\cK)=K^{\top}_*(\fA)$. Similarly, we prove that if $\fA$ is a unital Banach algebra and $\ell^{\infty-}=\bigcup_{q<\infty}\ell^q$, then $K_*(I_{\ell^{\infty-}(\fA)})$ is invariant under Hölder continuous homotopies, and that for $*\ge 0$ it contains $K^{\top}_*(\fA)$ as a direct summand. These $K$-theoretic results are obtained from cyclic homology computations. We also compute the relative cyclic homology groups $HC_*(\Gami(\fA):I_{S(\fA)})$ in terms of $HC_*(\elli(\fA):S(\fA))$ for general $\fA$ and $S$. For $\fA=\C$ and general $S$, we further compute the latter groups in terms of algebraic differential forms. We prove that the map $HC_n(\Gami(\C):I_{S(\C)})\to HC_n(\cB:J_S)$ is an isomorphism in many cases. △ Less

Submitted 6 May, 2013; v1 submitted 11 April, 2013; originally announced April 2013.

Comments: 30 pages. Most of the material was originally part of arXiv:1212.5901v1

Homotopy invariance through small stabilizations

Authors: Beatriz Abadie, Guillermo Cortiñas

Abstract: We associate an algebra $\Gami(\fA)$ to each bornological algebra $\fA$. The algebra $\Gami(\fA)$ contains a two-sided ideal $I_{S(\fA)}$ for each symmetric ideal $S\triqui\elli$ of bounded sequences of complex numbers. In the case of $\Gami=\Gami(\C)$, these are all the two-sided ideals, and $I_S\mapsto J_S=\cB I_S\cB$ gives a bijection between the two-sided ideals of $\Gami$ and those of… ▽ More We associate an algebra $\Gami(\fA)$ to each bornological algebra $\fA$. The algebra $\Gami(\fA)$ contains a two-sided ideal $I_{S(\fA)}$ for each symmetric ideal $S\triqui\elli$ of bounded sequences of complex numbers. In the case of $\Gami=\Gami(\C)$, these are all the two-sided ideals, and $I_S\mapsto J_S=\cB I_S\cB$ gives a bijection between the two-sided ideals of $\Gami$ and those of $\cB=\cB(\ell^2)$. We prove that Weibel's $K$-theory groups $KH_*(I_{S(\fA)})$ are homotopy invariant for certain ideals $S$ including $c_0$ and $\ell^p$. Moreover, if either $S=c_0$ and $\fA$ is a local $C^*$-algebra or $S=\ell^p,\ell^{p\pm}$ and $\fA$ is a local Banach algebra, then $KH_*(I_{S(\fA)})$ contains $K_*^{\top}(\fA)$ as a direct summand. Furthermore, we prove that for $S\in\{c_0,\ell^p,\ell^{p\pm}\}$ the map $K_*(Γ^\infty(\fA):I_{S(\fA)})\to KH_*(I_{S(\fA)})$ fits into a long exact sequence with the relative cyclic homology groups $HC_*(Γ^\infty(\fA):I_{S(\fA)})$. Thus the latter groups measure the failure of the former map to be an isomorphism. △ Less

Submitted 17 April, 2013; v1 submitted 24 December, 2012; originally announced December 2012.

Comments: 32 pages. The original paper has been split into two parts, of which this is the first part. The second part is now arXiv:1304.3508

The K-theory of toric varieties in positive characteristic

Authors: Guillermo Cortiñas, Christian Haesemeyer, Mark E. Walker, Charles A. Weibel

Abstract: We show that if X is a toric scheme over a regular ring containing a field then the direct limit of the K-groups of X taken over any infinite sequence of nontrivial dilations is homotopy invariant. This theorem was known in characteristic 0. The affine case of our result was conjectured by Gubeladze. We show that if X is a toric scheme over a regular ring containing a field then the direct limit of the K-groups of X taken over any infinite sequence of nontrivial dilations is homotopy invariant. This theorem was known in characteristic 0. The affine case of our result was conjectured by Gubeladze. △ Less

Submitted 12 July, 2012; originally announced July 2012.

Comments: Companion paper to arXiv:1106.1389

MSC Class: 14F20; 19E08; 19D55

Operator ideals and assembly maps in $K$-theory

Authors: Guillermo Cortiñas, Gisela Tartaglia

Abstract: Let $\cB$ be the ring of bounded operators in a complex, separable Hilbert space. For $p>0$ consider the Schatten ideal $\cL^p$ consisting of those operators whose sequence of singular values is $p$-summable; put $\cS=\bigcup_p\cL^p$. Let $G$ be a group and $\vcyc$ the family of virtually cyclic subgroups. Guoliang Yu proved that the $K$-theory assembly map \[ H_*^G(\cE(G,\vcyc),K(\cS))\to K_*(\cS… ▽ More Let $\cB$ be the ring of bounded operators in a complex, separable Hilbert space. For $p>0$ consider the Schatten ideal $\cL^p$ consisting of those operators whose sequence of singular values is $p$-summable; put $\cS=\bigcup_p\cL^p$. Let $G$ be a group and $\vcyc$ the family of virtually cyclic subgroups. Guoliang Yu proved that the $K$-theory assembly map \[ H_*^G(\cE(G,\vcyc),K(\cS))\to K_*(\cS[G]) \] is rationally injective. His proof involves the construction of a certain Chern character tailored to work with coefficients $\cS$ and the use of some results about algebraic $K$-theory of operator ideals and about controlled topology and coarse geometry. In this paper we give a different proof of Yu's result. Our proof uses the usual Chern character to cyclic homology. Like Yu's, it relies on results on algebraic $K$-theory of operator ideals, but no controlled topology or coarse geometry techniques are used. We formulate the result in terms of homotopy $K$-theory. We prove that the rational assembly map \[ H_*^G(\cE(G,\fin),KH(\cL^p))\otimes\Q\to KH_*(\cL^p[G])\otimes\Q \] is injective. We show that the latter map is equivalent to the assembly map considered by Yu, and thus obtain his result as a corollary. △ Less

Submitted 5 December, 2012; v1 submitted 22 February, 2012; originally announced February 2012.

Comments: 11 pages. Version accepted for publication in Proc. Amer. Math. Soc

MSC Class: 19D55

Journal ref: Proc. Amer. Math. Soc. 142 (2014), 1089-1099

Isomorphism conjectures with proper coefficients

Authors: Guillermo Cortiñas, Eugenia Ellis

Abstract: Let $G$ be a group and let $E$ be a functor from small $\Z$-linear categories to spectra. Also let $A$ be a ring with a $G$-action. Under mild conditions on $E$ and $A$ one can define an equivariant homology theory of $G$-simplicial sets $H^G(-,E(A))$ with the property that if $H\subset G$ is a subgroup, then \[ H^G_*(G/H,E(A))=E_*(A\rtimes H) \] If now $\cF$ is a nonempty family of subgroups of… ▽ More Let $G$ be a group and let $E$ be a functor from small $\Z$-linear categories to spectra. Also let $A$ be a ring with a $G$-action. Under mild conditions on $E$ and $A$ one can define an equivariant homology theory of $G$-simplicial sets $H^G(-,E(A))$ with the property that if $H\subset G$ is a subgroup, then \[ H^G_*(G/H,E(A))=E_*(A\rtimes H) \] If now $\cF$ is a nonempty family of subgroups of $G$, closed under conjugation and under subgroups, then there is a model category structure on $G$-simplicial sets such that a map $X\to Y$ is a weak equivalence (resp. a fibration) if and only if $X^H\to Y^H$ is an equivalence (resp. a fibration) for all $H\in\cF$. The strong isomorphism conjecture for the quadruple $(G,\cF,E,A)$ asserts that if $cX\to X$ is the $(G,\cF)$-cofibrant replacement then \[ H^G(cX,E(A))\to H^G(X,E(A)) \] is an equivalence. The isomorphism conjecture says that this holds when $X$ is the one point space, in which case $cX$ is the classifying space $\cE(G,\cF)$. In this paper we introduce an algebraic notion of $(G,\cF)$-properness for $G$-rings, modelled on the analogous notion for $G$-$C^*$-algebras, and show that the strong $(G,\cF,E,P)$ isomorphism conjecture for $(G,\cF)$-proper $P$ is true in several cases of interest in the algebraic $K$-theory context. Thus we give a purely algebraic, discrete counterpart to a result of Guentner, Higson and Trout in the $C^*$-algebraic case. We apply this to show that under rather general hypothesis, the assembly map $H_*^G(\cE(G,\cF),E(A))\to E_*(A\rtimes G)$ can be identified with the boundary map in the long exact sequence of $E$-groups associated to certain exact sequence of rings. Along the way we prove several results on excision in algebraic $K$-theory and cyclic homology which are of independent interest. △ Less

Submitted 29 September, 2011; v1 submitted 25 August, 2011; originally announced August 2011.

Comments: 55 pages. Minor changes

Journal ref: J. Pure Appl. Algebra 218 (2014) no. 7, 1224-1263

Tensor products of Leavitt path algebras

Authors: Pere Ara, Guillermo Cortiñas

Abstract: We compute the Hochschild homology of Leavitt path algebras over a field $k$. As an application, we show that $L_2$ and $L_2\otimes L_2$ have different Hochschild homologies, and so they are not Morita equivalent; in particular they are not isomorphic. Similarly, $L_\infty$ and $L_\infty\otimes L_\infty$ are distinguished by their Hochschild homologies and so they are not Morita equivalent either.… ▽ More We compute the Hochschild homology of Leavitt path algebras over a field $k$. As an application, we show that $L_2$ and $L_2\otimes L_2$ have different Hochschild homologies, and so they are not Morita equivalent; in particular they are not isomorphic. Similarly, $L_\infty$ and $L_\infty\otimes L_\infty$ are distinguished by their Hochschild homologies and so they are not Morita equivalent either. By contrast, we show that $K$-theory cannot distinguish these algebras; we have $K_*(L_2)=K_*(L_2\otimes L_2)=0$ and $K_*(L_\infty)=K_*(L_\infty\otimes L_\infty)=K_*(k)$. △ Less

Submitted 1 December, 2011; v1 submitted 1 August, 2011; originally announced August 2011.

Comments: 10 pages. Added hypothesis to Corolary 4.5; Example 5.2 expanded, other cosmetic changes, including an e-mail address and some dashes. Final version, to appear in PAMS

Report number: Centre de Recerca Matematica, Preprint 1042, 2011

Journal ref: Proc.Amer. Math. Soc., 141(2013) 2629-2639

Toric varieties, monoid schemes and $cdh$ descent

Authors: Guillermo Cortiñas, Christian Haesemeyer, Mark E. Walker, Charles A. Weibel

Abstract: We give conditions for the Mayer-Vietoris property to hold for the algebraic K-theory of blow-up squares of toric varieties in any characteristic, using the theory of monoid schemes. These conditions are used to relate algebraic K-theory to topological cyclic homology in characteristic p. To achieve our goals, we develop for monoid schemes many notions from classical algebraic geometry, such as se… ▽ More We give conditions for the Mayer-Vietoris property to hold for the algebraic K-theory of blow-up squares of toric varieties in any characteristic, using the theory of monoid schemes. These conditions are used to relate algebraic K-theory to topological cyclic homology in characteristic p. To achieve our goals, we develop for monoid schemes many notions from classical algebraic geometry, such as separated and proper maps. △ Less

Submitted 12 July, 2012; v1 submitted 7 June, 2011; originally announced June 2011.

Comments: v2 changes: field of positive characteristic replaced by regular ring containing such a field at appropriate places. Minor changes in exposition

MSC Class: 19D55 (Primary) 14M25; 19D25; 14L32 (Secondary)

A negative answer to a question of Bass

Authors: G. Cortiñas, C. Haesemeyer, Mark E. Walker, C. Weibel

Abstract: In this companion paper to arXiv:0802.1928 we provide an example of an isolated surface singularity $R$ over a number field such that $K_0(R) = K_0(R[t])$ but $K_0(R) \neq K_0(R[t_1,t_2])$. This answers, negatively, a question of Bass. In this companion paper to arXiv:0802.1928 we provide an example of an isolated surface singularity $R$ over a number field such that $K_0(R) = K_0(R[t])$ but $K_0(R) \neq K_0(R[t_1,t_2])$. This answers, negatively, a question of Bass. △ Less

Submitted 21 April, 2010; originally announced April 2010.

Comments: The paper was previously part of arXiv:0802.1928

MSC Class: 19D35 (Primary) 14F10; 14J17; 19D55 (Secondary)