Showing 1–18 of 18 results for author: O'Meara, C

Evaluating Quantum Optimization for Dynamic Self-Reliant Community Detection

Authors: David Bucher, Daniel Porawski, Benedikt Wimmer, Jonas Nüßlein, Corey O'Meara, Naeimeh Mohseni, Giorgio Cortiana, Claudia Linnhoff-Popien

Abstract: Power grid partitioning is an important requirement for resilient distribution grids. Since electricity production is progressively shifted to the distribution side, dynamic identification of self-reliant grid subsets becomes crucial for operation. This problem can be represented as a modification to the well-known NP-hard Community Detection (CD) problem. We formulate it as a Quadratic Unconstrai… ▽ More Power grid partitioning is an important requirement for resilient distribution grids. Since electricity production is progressively shifted to the distribution side, dynamic identification of self-reliant grid subsets becomes crucial for operation. This problem can be represented as a modification to the well-known NP-hard Community Detection (CD) problem. We formulate it as a Quadratic Unconstrained Binary Optimization (QUBO) problem suitable for solving using quantum computation{\color{blue}, which is expected to find better-quality partitions faster. The formulation aims to find communities with maximal self-sufficiency and minimal power flowing between them}. To assess quantum optimization for sizeable problems, we develop a hierarchical divisive method that solves sub-problem QUBOs to perform grid bisections. Furthermore, we propose a customization of the Louvain heuristic that includes self-reliance. In the evaluation, we first demonstrate that this problem examines exponential runtime scaling classically. Then, using different IEEE power system test cases, we benchmark the solution quality for multiple approaches: D-Wave's hybrid quantum-classical solvers, classical heuristics, and a branch-and-bound solver. As a result, we observe that the hybrid solvers provide very promising results, both with and without the divisive algorithm, regarding solution quality achieved within a given time frame. Directly utilizing D-Wave's Quantum Annealing (QA) hardware shows inferior partitioning. △ Less

Submitted 9 July, 2024; originally announced July 2024.

Regular Ring Properties Degraded Through Inverse Limits

Authors: Pere Ara, Ken Goodearl, Kevin C. O'Meara, Enrique Pardo, Francesc Perera

Abstract: We give a number of constructions where inverse limits seriously degrade properties of regular rings, such as unit-regularity, diagonalisation of matrices, and finite stable rank. This raises the possibility of using inverse limits to answer the long standing Separativity Problem (in the negative). We give a number of constructions where inverse limits seriously degrade properties of regular rings, such as unit-regularity, diagonalisation of matrices, and finite stable rank. This raises the possibility of using inverse limits to answer the long standing Separativity Problem (in the negative). △ Less

Submitted 10 May, 2024; originally announced May 2024.

MSC Class: Primary 16E50; Secondary 16E20; 18A30; 20M14

Quantum Optimization for the Future Energy Grid: Summary and Quantum Utility Prospects

Authors: Jonas Blenninger, David Bucher, Giorgio Cortiana, Kumar Ghosh, Naeimeh Mohseni, Jonas Nüßlein, Corey O'Meara, Daniel Porawski, Benedikt Wimmer

Abstract: In this project summary paper, we summarize the key results and use-cases explored in the German Federal Ministry of Education and Research (BMBF) funded project "Q-GRID" which aims to assess potential quantum utility optimization applications in the electrical grid. The project focuses on two layers of optimization problems relevant to decentralized energy generation and transmission as well as n… ▽ More In this project summary paper, we summarize the key results and use-cases explored in the German Federal Ministry of Education and Research (BMBF) funded project "Q-GRID" which aims to assess potential quantum utility optimization applications in the electrical grid. The project focuses on two layers of optimization problems relevant to decentralized energy generation and transmission as well as novel energy transportation/exchange methods such as Peer-2-Peer energy trading and microgrid formation. For select energy grid optimization problems, we demonstrate exponential classical optimizer runtime scaling even for small problem instances, and present initial findings that variational quantum algorithms such as QAOA and hybrid quantum annealing solvers may provide more favourable runtime scaling to obtain similar solution quality. These initial results suggest that quantum computing may be a key enabling technology in the future energy transition insofar that they may be able to solve business problems which are already challenging at small problem instance sizes. △ Less

Submitted 26 March, 2024; originally announced March 2024.

Comments: 12 pages. arXiv admin note: text overlap with arXiv:2309.05502

Quantum Optimization: Potential, Challenges, and the Path Forward

Authors: Amira Abbas, Andris Ambainis, Brandon Augustino, Andreas Bärtschi, Harry Buhrman, Carleton Coffrin, Giorgio Cortiana, Vedran Dunjko, Daniel J. Egger, Bruce G. Elmegreen, Nicola Franco, Filippo Fratini, Bryce Fuller, Julien Gacon, Constantin Gonciulea, Sander Gribling, Swati Gupta, Stuart Hadfield, Raoul Heese, Gerhard Kircher, Thomas Kleinert, Thorsten Koch, Georgios Korpas, Steve Lenk, Jakub Marecek , et al. (21 additional authors not shown)

Abstract: Recent advances in quantum computers are demonstrating the ability to solve problems at a scale beyond brute force classical simulation. As such, a widespread interest in quantum algorithms has developed in many areas, with optimization being one of the most pronounced domains. Across computer science and physics, there are a number of algorithmic approaches, often with little linkage. This is fur… ▽ More Recent advances in quantum computers are demonstrating the ability to solve problems at a scale beyond brute force classical simulation. As such, a widespread interest in quantum algorithms has developed in many areas, with optimization being one of the most pronounced domains. Across computer science and physics, there are a number of algorithmic approaches, often with little linkage. This is further complicated by the fragmented nature of the field of mathematical optimization, where major classes of optimization problems, such as combinatorial optimization, convex optimization, non-convex optimization, and stochastic extensions, have devoted communities. With these aspects in mind, this work draws on multiple approaches to study quantum optimization. Provably exact versus heuristic settings are first explained using computational complexity theory - highlighting where quantum advantage is possible in each context. Then, the core building blocks for quantum optimization algorithms are outlined to subsequently define prominent problem classes and identify key open questions that, if answered, will advance the field. The effects of scaling relevant problems on noisy quantum devices are also outlined in detail, alongside meaningful benchmarking problems. We underscore the importance of benchmarking by proposing clear metrics to conduct appropriate comparisons with classical optimization techniques. Lastly, we highlight two domains - finance and sustainability - as rich sources of optimization problems that could be used to benchmark, and eventually validate, the potential real-world impact of quantum optimization. △ Less

Submitted 4 December, 2023; originally announced December 2023.

Comments: 70 pages, 9 Figures, 4 Tables

Incentivising Demand Side Response through Discount Scheduling using Hybrid Quantum Optimization

Authors: David Bucher, Jonas Nüßlein, Corey O'Meara, Ivan Angelov, Benedikt Wimmer, Kumar Ghosh, Giorgio Cortiana, Claudia Linnhoff-Popien

Abstract: Demand Side Response (DSR) is a strategy that enables consumers to actively participate in managing electricity demand. It aims to alleviate strain on the grid during high demand and promote a more balanced and efficient use of (renewable) electricity resources. We implement DSR through discount scheduling, which involves offering discrete price incentives to consumers to adjust their electricity… ▽ More Demand Side Response (DSR) is a strategy that enables consumers to actively participate in managing electricity demand. It aims to alleviate strain on the grid during high demand and promote a more balanced and efficient use of (renewable) electricity resources. We implement DSR through discount scheduling, which involves offering discrete price incentives to consumers to adjust their electricity consumption patterns to times when their local energy mix consists of more renewable energy. Since we tailor the discounts to individual customers' consumption, the Discount Scheduling Problem (DSP) becomes a large combinatorial optimization task. Consequently, we adopt a hybrid quantum computing approach, using D-Wave's Leap Hybrid Cloud. We benchmark Leap against Gurobi, a classical Mixed Integer optimizer in terms of solution quality at fixed runtime and fairness in terms of discount allocation. Furthermore, we propose a large-scale decomposition algorithm/heuristic for the DSP, applied with either quantum or classical computers running the subroutines, which significantly reduces the problem size while maintaining solution quality. Using synthetic data generated from real-world data, we observe that the classical decomposition method obtains the best overall \newp{solution quality for problem sizes up to 3200 consumers, however, the hybrid quantum approach provides more evenly distributed discounts across consumers. △ Less

Submitted 29 May, 2024; v1 submitted 11 September, 2023; originally announced September 2023.

Energy risk analysis with Dynamic Amplitude Estimation and Piecewise Approximate Quantum Compiling

Authors: Kumar J. B. Ghosh, Kavitha Yogaraj, Gabriele Agliardi, Piergiacomo Sabino, Marina Fernández-Campoamor, Juan Bernabé-Moreno, Giorgio Cortiana, Omar Shehab, Corey O'Meara

Abstract: We generalize the Approximate Quantum Compiling algorithm into a new method for CNOT-depth reduction, which is apt to process wide target quantum circuits. Combining this method with state-of-the-art techniques for error mitigation and circuit compiling, we present a 10-qubit experimental demonstration of Iterative Amplitude Estimation on a quantum computer. The target application is the derivatio… ▽ More We generalize the Approximate Quantum Compiling algorithm into a new method for CNOT-depth reduction, which is apt to process wide target quantum circuits. Combining this method with state-of-the-art techniques for error mitigation and circuit compiling, we present a 10-qubit experimental demonstration of Iterative Amplitude Estimation on a quantum computer. The target application is the derivation of the Expected Value of contract portfolios in the energy industry. In parallel, we also introduce a new variant of the Quantum Amplitude Estimation algorithm which we call Dynamic Amplitude Estimation, as it is based on the dynamic circuit capability of quantum devices. The algorithm achieves a reduction in the circuit width in the order of the binary precision compared to the typical implementation of Quantum Amplitude Estimation, while simultaneously decreasing the number of quantum-classical iterations (again in the order of the binary precision) compared to the Iterative Amplitude Estimation. The calculation of the Expected Value, VaR and CVaR of contract portfolios on quantum hardware provides a proof of principle of the new algorithm. △ Less

Submitted 6 June, 2023; v1 submitted 16 May, 2023; originally announced May 2023.

Comments: 25 pages, 11 figures, 5 tables

Quadratic quantum speedup in evaluating bilinear risk functions

Authors: Gabriele Agliardi, Corey O'Meara, Kavitha Yogaraj, Kumar Ghosh, Piergiacomo Sabino, Marina Fernández-Campoamor, Giorgio Cortiana, Juan Bernabé-Moreno, Francesco Tacchino, Antonio Mezzacapo, Omar Shehab

Abstract: Computing nonlinear functions over multilinear forms is a general problem with applications in risk analysis. For instance in the domain of energy economics, accurate and timely risk management demands for efficient simulation of millions of scenarios, largely benefiting from computational speedups. We develop a novel hybrid quantum-classical algorithm based on polynomial approximation of nonlinea… ▽ More Computing nonlinear functions over multilinear forms is a general problem with applications in risk analysis. For instance in the domain of energy economics, accurate and timely risk management demands for efficient simulation of millions of scenarios, largely benefiting from computational speedups. We develop a novel hybrid quantum-classical algorithm based on polynomial approximation of nonlinear functions and compare different implementation variants. We prove a quadratic quantum speedup, up to polylogarithmic factors, when forms are bilinear and approximating polynomials have second degree, if efficient loading unitaries are available for the input data sets. We also enhance the bidirectional encoding, that allows tuning the balance between circuit depth and width, proposing an improved version that can be exploited for the calculation of inner products. Lastly, we exploit the dynamic circuit capabilities, recently introduced on IBM Quantum devices, to reduce the average depth of the Quantum Hadamard Product circuit. A proof of principle is implemented and validated on IBM Quantum systems. △ Less

Submitted 20 April, 2023; v1 submitted 20 April, 2023; originally announced April 2023.

ACM Class: F.1.3

Towards AutoQML: A Cloud-Based Automated Circuit Architecture Search Framework

Authors: Raúl Berganza Gómez, Corey O'Meara, Giorgio Cortiana, Christian B. Mendl, Juan Bernabé-Moreno

Abstract: The learning process of classical machine learning algorithms is tuned by hyperparameters that need to be customized to best learn and generalize from an input dataset. In recent years, Quantum Machine Learning (QML) has been gaining traction as a possible application of quantum computing which may provide quantum advantage in the future. However, quantum versions of classical machine learning alg… ▽ More The learning process of classical machine learning algorithms is tuned by hyperparameters that need to be customized to best learn and generalize from an input dataset. In recent years, Quantum Machine Learning (QML) has been gaining traction as a possible application of quantum computing which may provide quantum advantage in the future. However, quantum versions of classical machine learning algorithms introduce a plethora of additional parameters and circuit variations that have their own intricacies in being tuned. In this work, we take the first steps towards Automated Quantum Machine Learning (AutoQML). We propose a concrete description of the problem, and then develop a classical-quantum hybrid cloud architecture that allows for parallelized hyperparameter exploration and model training. As an application use-case, we train a quantum Generative Adversarial neural Network (qGAN) to generate energy prices that follow a known historic data distribution. Such a QML model can be used for various applications in the energy economics sector. △ Less

Submitted 16 February, 2022; originally announced February 2022.

Comments: 8 pages, to appear in QSA 2022 (IEEE ICSA 2022)

Journal ref: 2022 IEEE 19th International Conference on Software Architecture Companion (ICSA-C), 129-136 (2022)

Hybrid Classical-Quantum Autoencoder for Anomaly Detection

Authors: Alona Sakhnenko, Corey O'Meara, Kumar J. B. Ghosh, Christian B. Mendl, Giorgio Cortiana, Juan Bernabé-Moreno

Abstract: We propose a Hybrid classical-quantum Autoencoder (HAE) model, which is a synergy of a classical autoencoder (AE) and a parametrized quantum circuit (PQC) that is inserted into its bottleneck. The PQC augments the latent space, on which a standard outlier detection method is applied to search for anomalous data points within a classical dataset. Using this model and applying it to both standard be… ▽ More We propose a Hybrid classical-quantum Autoencoder (HAE) model, which is a synergy of a classical autoencoder (AE) and a parametrized quantum circuit (PQC) that is inserted into its bottleneck. The PQC augments the latent space, on which a standard outlier detection method is applied to search for anomalous data points within a classical dataset. Using this model and applying it to both standard benchmarking datasets, and a specific use-case dataset which relates to predictive maintenance of gas power plants, we show that the addition of the PQC leads to a performance enhancement in terms of precision, recall, and F1 score. Furthermore, we probe different PQC Ansätze and analyse which PQC features make them effective for this task. △ Less

Submitted 16 December, 2021; originally announced December 2021.

Comments: 17 pages, 11 figures

Journal ref: Quantum Mach. Intell. 4, 27 (2022)

Practical Quantum K-Means Clustering: Performance Analysis and Applications in Energy Grid Classification

Authors: Stephen DiAdamo, Corey O'Meara, Giorgio Cortiana, Juan Bernabé-Moreno

Abstract: In this work, we aim to solve a practical use-case of unsupervised clustering which has applications in predictive maintenance in the energy operations sector using quantum computers. Using only cloud access to quantum computers, we complete a thorough performance analysis of what some current quantum computing systems are capable of for practical applications involving non-trivial mid-to-high dim… ▽ More In this work, we aim to solve a practical use-case of unsupervised clustering which has applications in predictive maintenance in the energy operations sector using quantum computers. Using only cloud access to quantum computers, we complete a thorough performance analysis of what some current quantum computing systems are capable of for practical applications involving non-trivial mid-to-high dimensional datasets. We first benchmark how well distance estimation can be performed using two different metrics based on the swap-test, using angle and amplitude data embedding. Next, for the clustering performance analysis, we generate sets of synthetic data with varying cluster variance and compare simulation to physical hardware results using the two metrics. From the results of this performance analysis, we propose a general, competitive, and parallelized version of quantum $k$-means clustering to avoid some pitfalls discovered due to noisy hardware and apply the approach to a real energy grid clustering scenario. Using real-world German electricity grid data, we show that the new approach improves the balanced accuracy of the standard quantum $k$-means clustering by $67.8\%$ with respect to the labeling of the classical algorithm. △ Less

Submitted 11 September, 2022; v1 submitted 15 December, 2021; originally announced December 2021.

Journal ref: IEEE Transactions on Quantum Engineering 2022

Community Detection in Electrical Grids Using Quantum Annealing

Authors: Marina Fernández-Campoamor, Corey O'Meara, Giorgio Cortiana, Vedran Peric, Juan Bernabé-Moreno

Abstract: With the increase of intermittent renewable generation resources feeding into the electrical grid, Distribution System Operators (DSOs) must find ways to incorporate these new actors and adapt the grid to ensure stability and enable flexibility. Dividing the grid into logical clusters entails several organization and technical benefits, hel** overcome these challenges.However, finding the optima… ▽ More With the increase of intermittent renewable generation resources feeding into the electrical grid, Distribution System Operators (DSOs) must find ways to incorporate these new actors and adapt the grid to ensure stability and enable flexibility. Dividing the grid into logical clusters entails several organization and technical benefits, hel** overcome these challenges.However, finding the optimal grid partitioning remains a challenging task due to its complexity. At the same time, a new technology has gained traction in the last decades for its promising speed-up potential in solving non-trivial combinatorial optimization problems: quantum computing. This work explores its application in Graph Partitioning using electrical modularity. We benchmarked several quantum annealing and hybrid methods on IEEE well-known test cases. The results obtained for the IEEE 14-bus test case show that quantum annealing DWaveSampler brings equal solutions or, for the optimal number partitions, a 1% improvement. For the more significant test cases, hybrid quantum annealing shows a relative error of less than 0.02% compared to the classical benchmark and for IEEE 118-bus test case shows time performance speed-up. The increment in performance would enable real time planning and operations of electrical grids in real time. This work intends to be the first step to showcase the potentials of quantum computing towards the modernization and adaption of electrical grids to the decentralized future of energy systems. △ Less

Submitted 16 December, 2021; v1 submitted 15 December, 2021; originally announced December 2021.

Comments: 7 pages, 5 figures, conference

A Comprehensive Line-Spread Function Error Budget for the Off-Plane Grating Rocket Experiment

Authors: Benjamin D. Donovan, Randall L. McEntaffer, James H. Tutt, Bridget C. O'Meara, Fabien Grisé, William W. Zhang, Michael P. Biskach, Timo T. Saha, Andrew D. Holland, Daniel Evan, Matthew R. Lewis, Matthew R. Soman, Karen Holland, David Colebrook, Fraser Cooper, David Farn

Abstract: The Off-plane Grating Rocket Experiment (OGRE) is a soft X-ray grating spectrometer to be flown on a suborbital rocket. The payload is designed to obtain the highest-resolution soft X-ray spectrum of Capella to date with a resolution goal of $R(λ/Δλ)>2000$ at select wavelengths in its 10--55 Angstrom bandpass of interest. The optical design of the spectrometer realizes a theoretical maximum resolu… ▽ More The Off-plane Grating Rocket Experiment (OGRE) is a soft X-ray grating spectrometer to be flown on a suborbital rocket. The payload is designed to obtain the highest-resolution soft X-ray spectrum of Capella to date with a resolution goal of $R(λ/Δλ)>2000$ at select wavelengths in its 10--55 Angstrom bandpass of interest. The optical design of the spectrometer realizes a theoretical maximum resolution of $R\approx5000$, but this performance does not consider the finite performance of the individual spectrometer components, misalignments between components, and in-flight pointing errors. These errors all degrade the performance of the spectrometer from its theoretical maximum. A comprehensive line-spread function (LSF) error budget has been constructed for the OGRE spectrometer to identify contributions to the LSF, to determine how each of these affects the LSF, and to inform performance requirements and alignment tolerances for the spectrometer. In this document, the comprehensive LSF error budget for the OGRE spectrometer is presented, the resulting errors are validated via raytrace simulations, and the implications of these results are discussed. △ Less

Submitted 5 January, 2021; originally announced January 2021.

Comments: 26 pages, 9 figures, preprint of a manuscript accepted for publication in the Journal of Astronomical Telescopes, Instruments, and Systems (JATIS)

A computing strategy and programs to resolve the Gerstenhaber Problem for commuting triples of matrices

Authors: John Holbrook, Kevin C. O'Meara

Abstract: We describe a MATLAB program that could produce a negative answer to the Gerstenhaber Problem by the construction of three commuting $n \times n$ matrices $A,B,C$ over a field $F$ such that the subalgebra $F[A,B,C]$ they generate has dimension greater than $n$. This problem has remained open for nearly 60 years, following Gerstenhaber's surprising result (Annals Math.) that $\dim F[A,B] \le n$ for… ▽ More We describe a MATLAB program that could produce a negative answer to the Gerstenhaber Problem by the construction of three commuting $n \times n$ matrices $A,B,C$ over a field $F$ such that the subalgebra $F[A,B,C]$ they generate has dimension greater than $n$. This problem has remained open for nearly 60 years, following Gerstenhaber's surprising result (Annals Math.) that $\dim F[A,B] \le n$ for any two commuting matrices $A,B$. The property fails for four or more commuting matrices. We also make the MATLAB files freely available. △ Less

Submitted 15 June, 2020; originally announced June 2020.

MSC Class: 13E15; 15A27; 68-04; 13E10; 15A21

The nilpotent regular element problem

Authors: P. Ara, K. C. O'Meara

Abstract: We use George Bergman's recent normal form for universally adjoining an inner inverse to show that, for general rings, a nilpotent regular element $x$ need not be unit-regular. This contrasts sharply with the situation for nilpotent regular elements in exchange rings (a large class of rings), and for general rings when all powers of the nilpotent element $x$ are regular. We use George Bergman's recent normal form for universally adjoining an inner inverse to show that, for general rings, a nilpotent regular element $x$ need not be unit-regular. This contrasts sharply with the situation for nilpotent regular elements in exchange rings (a large class of rings), and for general rings when all powers of the nilpotent element $x$ are regular. △ Less

Submitted 9 January, 2017; v1 submitted 29 September, 2015; originally announced September 2015.

Comments: 13 pages

MSC Class: 16E50; 16U99 (Primary); 16S10; 16S15 (Secondary)

Journal ref: Canadian Mathematical Bulletin 59 (3), (2016), 461-471

Self-Dual Maps and Symmetric Bistochastic Matrices

Authors: Corey O'Meara, Rajesh Pereira

Abstract: The H-unistochastic matrices are a special class of symmetric bistochastic matrices obtained by taking the square of the absolute value of each entry of a Hermitian unitary matrix. We examine the geometric relationship of the convex hull of the n by n H-unistochastic matrices relative to the larger convex set of n by n symmetric bistochastic matrices. We show that any line segment in the convex se… ▽ More The H-unistochastic matrices are a special class of symmetric bistochastic matrices obtained by taking the square of the absolute value of each entry of a Hermitian unitary matrix. We examine the geometric relationship of the convex hull of the n by n H-unistochastic matrices relative to the larger convex set of n by n symmetric bistochastic matrices. We show that any line segment in the convex set of the n by n symmetric bistochastic matrices which passes through the centroid of this convex set must spend at least two-thirds of its length in the convex hull of the n by n H-unistochastic matrices when n is either three or four and we prove a partial result for higher n. A class of completely positive linear maps called the self-dual doubly stochastic maps is useful for studying this problem. Some results on self-dual doubly stochastic maps are given including a self-dual version of the Laudau-Streater theorem. △ Less

Submitted 13 November, 2012; v1 submitted 9 October, 2012; originally announced October 2012.

Comments: 11 pages, to appear in Linear Multilinear Algebra. Updated version with further references

Illustrating the Geometry of Coherently Controlled Quantum Channels

Authors: C. O'Meara, G. Dirr, T. Schulte-Herbrueggen

Abstract: We extend standard Markovian open quantum systems (quantum channels) by allowing for Hamiltonian controls and elucidate their geometry in terms of Lie semigroups. For standard dissipative interactions with the environment and different coherent controls, we particularly specify the tangent cones (Lie wedges) of the respective Lie semigroups of quantum channels. These cones are the counterpart of t… ▽ More We extend standard Markovian open quantum systems (quantum channels) by allowing for Hamiltonian controls and elucidate their geometry in terms of Lie semigroups. For standard dissipative interactions with the environment and different coherent controls, we particularly specify the tangent cones (Lie wedges) of the respective Lie semigroups of quantum channels. These cones are the counterpart of the infinitesimal generator of a single one-parameter semigroup. They comprise all directions the underlying open quantum system can be steered to and thus give insight into the geometry of controlled open quantum dynamics. Such a differential characterisation is highly valuable for approximating reachable sets of given initial quantum states in a plethora of experimental implementations. △ Less

Submitted 16 August, 2011; v1 submitted 14 March, 2011; originally announced March 2011.

Comments: condensed and updated version; 14 pages; comments welcome

Journal ref: IEEE Trans. Autom. Contr. (IEEE TAC) 57 (2012), 2050-2055

$K_1$ of separative exchange rings and C*-algebras with real rank zero

Authors: P. Ara, K. R. Goodearl, K. C. O'Meara, R. Raphael

Abstract: For any (unital) exchange ring $R$ whose finitely generated projective modules satisfy the separative cancellation property ($A\oplus A\cong A\oplus B\cong B\oplus B$ implies $A\cong B$), it is shown that all invertible square matrices over $R$ can be diagonalized by elementary row and column operations. Consequently, the natural homomorphism $GL_1(R) \to K_1(R)$ is surjective. In combination wi… ▽ More For any (unital) exchange ring $R$ whose finitely generated projective modules satisfy the separative cancellation property ($A\oplus A\cong A\oplus B\cong B\oplus B$ implies $A\cong B$), it is shown that all invertible square matrices over $R$ can be diagonalized by elementary row and column operations. Consequently, the natural homomorphism $GL_1(R) \to K_1(R)$ is surjective. In combination with a result of Huaxin Lin, it follows that for any separative, unital C*-algebra $A$ with real rank zero, the topological $K_1(A)$ is naturally isomorphic to the unitary group $U(A)$ modulo the connected component of the identity. This verifies, in the separative case, a conjecture of Shuang Zhang. △ Less

Submitted 21 June, 1999; originally announced June 1999.

Comments: 12 pages; to appear in Pacific J. Math

Report number: UCSB Math P-4; see http://www.math.ucsb.edu/~mgscharl/preprints/UCSBpreprints.htm MSC Class: 15A33; 16E50; 19B14; 46L80

A new measure of growth for countable-dimensional algebras

Authors: John Hannah, K. C. O'Meara

Abstract: A new dimension function on countable-dimensional algebras (over a field) is described. Its dimension values for finitely generated algebras exactly fill the unit interval $[0,1]$. Since the free algebra on two generators turns out to have dimension 0 (although conceivably some Noetherian algebras might have positive dimension!), this dimension function promises to distinguish among algebras of… ▽ More A new dimension function on countable-dimensional algebras (over a field) is described. Its dimension values for finitely generated algebras exactly fill the unit interval $[0,1]$. Since the free algebra on two generators turns out to have dimension 0 (although conceivably some Noetherian algebras might have positive dimension!), this dimension function promises to distinguish among algebras of infinite GK-dimension. △ Less

Submitted 30 September, 1993; originally announced October 1993.

Comments: 5 pages

Report number: Bulletin migration 11/99

Journal ref: Bull. Amer. Math. Soc. (N.S.) 29 (1993) 223-227