-
Review of Distributed Quantum Computing. From single QPU to High Performance Quantum Computing
Authors:
David Barral,
F. Javier Cardama,
Guillermo Díaz,
Daniel Faílde,
Iago F. Llovo,
Mariamo Mussa Juane,
Jorge Vázquez-Pérez,
Juan Villasuso,
César Piñeiro,
Natalia Costas,
Juan C. Pichel,
Tomás F. Pena,
Andrés Gómez
Abstract:
The emerging field of quantum computing has shown it might change how we process information by using the unique principles of quantum mechanics. As researchers continue to push the boundaries of quantum technologies to unprecedented levels, distributed quantum computing raises as an obvious path to explore with the aim of boosting the computational power of current quantum systems. This paper pre…
▽ More
The emerging field of quantum computing has shown it might change how we process information by using the unique principles of quantum mechanics. As researchers continue to push the boundaries of quantum technologies to unprecedented levels, distributed quantum computing raises as an obvious path to explore with the aim of boosting the computational power of current quantum systems. This paper presents a comprehensive survey of the current state of the art in the distributed quantum computing field, exploring its foundational principles, landscape of achievements, challenges, and promising directions for further research. From quantum communication protocols to entanglement-based distributed algorithms, each aspect contributes to the mosaic of distributed quantum computing, making it an attractive approach to address the limitations of classical computing. Our objective is to provide an exhaustive overview for experienced researchers and field newcomers.
△ Less
Submitted 1 April, 2024;
originally announced April 2024.
-
A unified framework to improve the interoperability between HPC and Big Data languages and programming models
Authors:
César Piñeiro,
Juan C. Pichel
Abstract:
One of the most important issues in the path to the convergence of HPC and Big Data is caused by the differences in their software stacks. Despite some research efforts, the interoperability between their programming models and languages is still limited. To deal with this problem we introduce a new computing framework called IgnisHPC, whose main objective is to unify the execution of Big Data and…
▽ More
One of the most important issues in the path to the convergence of HPC and Big Data is caused by the differences in their software stacks. Despite some research efforts, the interoperability between their programming models and languages is still limited. To deal with this problem we introduce a new computing framework called IgnisHPC, whose main objective is to unify the execution of Big Data and HPC workloads in the same framework. IgnisHPC has native support for multi-language applications using JVM and non-JVM-based languages. Since MPI was used as its backbone technology, IgnisHPC takes advantage of many communication models and network architectures. Moreover, MPI applications can be directly executed in a efficient way in the framework. The main consequence is that users could combine in the same multi-language code HPC tasks (using MPI) with Big Data tasks (using MapReduce operations). The experimental evaluation demonstrates the benefits of our proposal in terms of performance and productivity with respect to other frameworks such as Apache Spark. IgnisHPC is publicly available for the Big Data and HPC research community.
△ Less
Submitted 1 December, 2021;
originally announced December 2021.
-
The Bartle-Dunford-Schwartz and the Dinculeanu-Singer theorems revisited
Authors:
Fernando Muñoz,
Eve Oja,
Cándido Piñeiro
Abstract:
Let $X$ and $Y$ be Banach spaces and let $Ω$ be a compact Hausdorff space. Denote by $\mathcal{C}_{p}(Ω,X)$ the space of $p$-continous $X$-valued functions, $1\leq p\leq \infty$. For operators $S\in\mathcal{L}(\mathcal{C}(Ω),\mathcal{L}(X,Y))$ and $U\in\mathcal{L}(\mathcal{C}_{p}(Ω,X),Y)$, we establish integral representation theorems with respect to a vector measure…
▽ More
Let $X$ and $Y$ be Banach spaces and let $Ω$ be a compact Hausdorff space. Denote by $\mathcal{C}_{p}(Ω,X)$ the space of $p$-continous $X$-valued functions, $1\leq p\leq \infty$. For operators $S\in\mathcal{L}(\mathcal{C}(Ω),\mathcal{L}(X,Y))$ and $U\in\mathcal{L}(\mathcal{C}_{p}(Ω,X),Y)$, we establish integral representation theorems with respect to a vector measure $m:Σ\rightarrow \mathcal{L}(X,Y^{**})$, where $Σ$ denotes the $σ$-algebra of Borel subsets of $Ω$. The first theorem extends the classical Bartle-Dunford-Schwartz representation theorem. It is used to prove the second theorem, which extends the classical Dinculeanu-Singer representation theorem, also providing to it an alternative simpler proof. For the latter (and the main) result, we build the needed integration theory, relying on a new concept of the $q$-semivariation, $1\leq q\leq \infty$, of a vector measure $m:Σ\rightarrow \mathcal{L}(X,Y^{**})$.
△ Less
Submitted 21 December, 2016;
originally announced December 2016.
-
Operators on the Banach space of $p$-continuous vector-valued functions
Authors:
Fernando Muñoz,
Eve Oja,
Cándido Piñeiro
Abstract:
Let $X$, $Y$, and $Z$ be Banach spaces, and let $α$ be a tensor norm. Let a bounded linear operator $S\in\mathcal{L}(Z,\mathcal{L}(X,Y))$ be given. We obtain (necessary and/or sufficient) conditions for the existence of an operator $U\in\mathcal{L}(Z\hat{\otimes}_αX,Y)$ such that $(Sz)x = U(z\otimes x)$, for all $z\in Z$ and $x\in X$, i.e., $S= U^{#}$, the associated operator to $U$. Let $Ω$ be a…
▽ More
Let $X$, $Y$, and $Z$ be Banach spaces, and let $α$ be a tensor norm. Let a bounded linear operator $S\in\mathcal{L}(Z,\mathcal{L}(X,Y))$ be given. We obtain (necessary and/or sufficient) conditions for the existence of an operator $U\in\mathcal{L}(Z\hat{\otimes}_αX,Y)$ such that $(Sz)x = U(z\otimes x)$, for all $z\in Z$ and $x\in X$, i.e., $S= U^{#}$, the associated operator to $U$. Let $Ω$ be a compact Hausdorff space and denote by $\mathcal{C}(Ω)$ the space of continuous functions from $Ω$ into $\mathbb{K}$. We apply these results to $S\in\mathcal{L}(\mathcal{C}(Ω),\mathcal{L}(X, Y))$ for characterizing the existence of an operator $U\in\mathcal{L}(\mathcal{C}_{p}(Ω,X),Y)$ such that $U^{#}=S$, where $\mathcal{C}_{p}(Ω,X)$ is the space of $p$-continuous $X$-valued functions, $1\leq p \leq \infty$.
△ Less
Submitted 23 June, 2016;
originally announced June 2016.