-
Disturbance Evaluation Circuit in Quantum Measurement
Authors:
Haruki Emori,
Masanao Ozawa,
Akihisa Tomita
Abstract:
According to the uncertainty principle, every quantum measurement accompanies disturbance. In particular, accurate sequential measurements need the accurate control of disturbance. However, the correct role of disturbance in the uncertainty principle has been known only recently. Understanding the disturbance is crucial for understanding the fundamentals of physics, and accurately evaluating the d…
▽ More
According to the uncertainty principle, every quantum measurement accompanies disturbance. In particular, accurate sequential measurements need the accurate control of disturbance. However, the correct role of disturbance in the uncertainty principle has been known only recently. Understanding the disturbance is crucial for understanding the fundamentals of physics, and accurately evaluating the disturbance is important for quantum technologies such as quantum information processing and quantum metrology. Therefore, the experimental evaluation of the disturbance is a significant challenge in those fields. In this study, we propose a novel evaluation method for the quantum root-mean-square (QRMS) disturbance and compare its performance with the existing approaches, known as the three-state method (TSM) and the weak measurement method (WMM). Our method establishes a correspondence between the QRMS disturbance of the measurement and the second-order derivative of the decoherence induced in a newly introduced weak probe system with respect to the coupling strength of the weak interaction at its zero-limit. Furthermore, we demonstrate the effectiveness of our method in comparison with the other two through a simulation and experiment using a quantum computer. The results capture the key features of the TSM, WMM, and our method, providing insights into the strengths and limitations of these methods.
△ Less
Submitted 19 May, 2024;
originally announced May 2024.
-
A unified view of direct measurement of quantum states, processes, and measurements
Authors:
Kazuhisa Ogawa,
Takumi Matsuura,
Akihisa Tomita
Abstract:
The dynamics of a quantum system are characterized by three components: quantum state, quantum process, and quantum measurement. The proper measurement of these components is a crucial issue in quantum information processing. Recently, direct measurement methods have been proposed and demonstrated wherein each complex matrix element of these three components is obtained separately, without the nee…
▽ More
The dynamics of a quantum system are characterized by three components: quantum state, quantum process, and quantum measurement. The proper measurement of these components is a crucial issue in quantum information processing. Recently, direct measurement methods have been proposed and demonstrated wherein each complex matrix element of these three components is obtained separately, without the need for quantum tomography of the entire matrix. Since these direct measurement methods have been proposed independently, no theoretical framework has been presented to unify them despite the time symmetry of quantum dynamics. In this study, we propose a theoretical framework to systematically derive direct measurement methods for these three components. Following this framework and further utilizing the basis-shift unitary transformation, we have derived the most efficient direct measurement method using qubit probes. Additionally, we have experimentally demonstrated the feasibility of the direct measurement method of quantum states using optical pulse trains.
△ Less
Submitted 26 March, 2024;
originally announced March 2024.
-
A Wallace semigroup whose every finite power is countably compact
Authors:
Juan Luis Jaisuño Fuentes-Maguiña,
Vinicius de Oliveira Rodrigues,
Artur Hideyuki Tomita
Abstract:
We show that, assuming the existence of $\mathfrak{c}$ incomparable selective ultrafilters, there exists a Wallace semigroup whose infinite countable power is the least power which fails to be countably compact. This answers positively Question 9.4 of \cite{Tomita15}.
We show that, assuming the existence of $\mathfrak{c}$ incomparable selective ultrafilters, there exists a Wallace semigroup whose infinite countable power is the least power which fails to be countably compact. This answers positively Question 9.4 of \cite{Tomita15}.
△ Less
Submitted 7 March, 2024; v1 submitted 29 February, 2024;
originally announced March 2024.
-
Remarks on SHD spaces and more divergence properties
Authors:
Carlos David Jiménez-Flores,
Alejandro Ríos-Herrejón,
Alejandro Darío Rojas-Sánchez,
Artur Hideyuki Tomita,
Elmer Enrique Tovar-Acosta
Abstract:
The class of SHD spaces was recently introduced in [12]. The first part of this paper focuses on answering most of the questions presented in that article. For instance, we exhibit an example of a non-SHD Tychonoff space $X$ such that $\mathscr{F}[X]$, the Pixley-Roy hyperspace of $X$, $βX$, the Stone-Čech compactification of $X$, and $C_p(X)$, the ring of continuous functions over $X$ equipped wi…
▽ More
The class of SHD spaces was recently introduced in [12]. The first part of this paper focuses on answering most of the questions presented in that article. For instance, we exhibit an example of a non-SHD Tychonoff space $X$ such that $\mathscr{F}[X]$, the Pixley-Roy hyperspace of $X$, $βX$, the Stone-Čech compactification of $X$, and $C_p(X)$, the ring of continuous functions over $X$ equipped with the topology of pointwise convergence, are SHD.
In the second part of this work we will present some variations of the SHD notion, namely, the WSHD property and the OHD property. Furthermore, we will pay special attention to the relationships between $X$ and $\mathscr{F}[X]$ regarding these new concepts.
△ Less
Submitted 29 November, 2023; v1 submitted 28 November, 2023;
originally announced November 2023.
-
On powers of countably pracompact groups
Authors:
Artur Hideyuki Tomita,
Juliane Trianon-Fraga
Abstract:
In 1990, Comfort asked: is there, for every cardinal number $α\leq 2^{\mathfrak{c}}$, a topological group $G$ such that $G^γ$ is countably compact for all cardinals $γ<α$, but $G^α$ is not countably compact? A similar question can also be asked for countably pracompact groups: for which cardinals $α$ is there a topological group $G$ such that $G^γ$ is countably pracompact for all cardinals $γ< α$,…
▽ More
In 1990, Comfort asked: is there, for every cardinal number $α\leq 2^{\mathfrak{c}}$, a topological group $G$ such that $G^γ$ is countably compact for all cardinals $γ<α$, but $G^α$ is not countably compact? A similar question can also be asked for countably pracompact groups: for which cardinals $α$ is there a topological group $G$ such that $G^γ$ is countably pracompact for all cardinals $γ< α$, but $G^α$ is not countably pracompact? In this paper we construct such group in the case $α= ω$, assuming the existence of $\mathfrak{c}$ incomparable selective ultrafilters, and in the case $α= κ^{+}$, with $ω\leq κ\leq 2^{\mathfrak{c}}$, assuming the existence of $2^{\mathfrak{c}}$ incomparable selective ultrafilters. In particular, under the second assumption, there exists a topological group $G$ so that $G^{2^\mathfrak{c}}$ is countably pracompact, but $G^{(2^{\mathfrak{c}})^{+}}$ is not countably pracompact, unlike the countably compact case.
△ Less
Submitted 26 November, 2022;
originally announced November 2022.
-
Comfort's question on powers in $\mathbb Q ^{(2^\mathfrak c)}$ and a Wallace semigroup whose cube is countably compact
Authors:
J. L. J. Fuentes-Maguiña,
A. H. Tomita
Abstract:
We prove that the existence of $\mathfrak{c}$ incomparable selective ultrafilters implies the existence of a Wallace semigroup whose cube is countably compact. In addition, assuming the existence of $2^{\mathfrak c}$ incomparable selective ultrafilters and $2^{< 2^{\mathfrak{c}}} = 2^{\mathfrak{c}}$, we obtain torsion-free topological groups with respect to Comfort's question on the countable comp…
▽ More
We prove that the existence of $\mathfrak{c}$ incomparable selective ultrafilters implies the existence of a Wallace semigroup whose cube is countably compact. In addition, assuming the existence of $2^{\mathfrak c}$ incomparable selective ultrafilters and $2^{< 2^{\mathfrak{c}}} = 2^{\mathfrak{c}}$, we obtain torsion-free topological groups with respect to Comfort's question on the countable compactness of (infinite) powers of a topological group.
△ Less
Submitted 18 October, 2022; v1 submitted 16 October, 2022;
originally announced October 2022.
-
$\mathcal{U}$-compact group topologies without convergent sequences on countably cofinal torsion-free Abelian groups
Authors:
Matheus Koveroff Bellini,
Artur Hideyuki Tomita
Abstract:
We obtain a forcing construction that shows that it is consistent that the torsion-free Abelian group $\mathbb{Q}^{(λ)}$ admits a Hausdorff group topology which is also $\mathcal{U}$-compact and contains no non-trivial convergent sequences, where $λ$ is a cardinal whose cofinality is $ω$ and $\mathcal{U}$ is a selective ultrafilter. This answers a question posed in arXiv:1904.05928.
We obtain a forcing construction that shows that it is consistent that the torsion-free Abelian group $\mathbb{Q}^{(λ)}$ admits a Hausdorff group topology which is also $\mathcal{U}$-compact and contains no non-trivial convergent sequences, where $λ$ is a cardinal whose cofinality is $ω$ and $\mathcal{U}$ is a selective ultrafilter. This answers a question posed in arXiv:1904.05928.
△ Less
Submitted 25 September, 2022;
originally announced September 2022.
-
Translatory and rotatory motion of Exchange-Bias capped Janus particles controlled by dynamic magnetic field landscapes
Authors:
Rico Huhnstock,
Meike Reginka,
Andreea Tomita,
Maximilian Merkel,
Kristina Dingel,
Dennis Holzinger,
Bernhard Sick,
Michael Vogel,
Arno Ehresmann
Abstract:
Magnetic Janus particles (MJPs), fabricated by covering a non-magnetic spherical particle with a hemispherical magnetic in-plane exchange-bias layer system cap, display an onion magnetization state for comparably large diameters of a few microns. In this work, the motion characteristics of these MJPs will be investigated when they are steered by a magnetic field landscape over prototypical paralle…
▽ More
Magnetic Janus particles (MJPs), fabricated by covering a non-magnetic spherical particle with a hemispherical magnetic in-plane exchange-bias layer system cap, display an onion magnetization state for comparably large diameters of a few microns. In this work, the motion characteristics of these MJPs will be investigated when they are steered by a magnetic field landscape over prototypical parallel-stripe domains, dynamically varied by superposed external magnetic field pulse sequences, in an aqueous medium. We demonstrate, that due to the engineered magnetization state in the hemispherical cap, a comparably fast, directed particle transport and particle rotation can be induced. Additionally, by modifying the frequency of the applied pulse sequence and the strengths of the individual field components, we observe a possible separation between a combined or an individual occurrence of these two types of motion. Our findings bear importance for lab-on-a-chip systems, where particle immobilization on a surface via analyte bridges shall be used for low concentration analyte detection and a particle rotation over a defined position of a substrate may dramatically increase the immobilization (and therefore analyte detection) probability.
△ Less
Submitted 23 September, 2021;
originally announced September 2021.
-
Some pseudocompact-like properties in certain topological groups
Authors:
Artur Hideyuki Tomita,
Juliane Trianon-Fraga
Abstract:
We construct in ZFC a countably compact group without non-trivial convergent sequences of size $2^{\mathfrak{c}}$, answering a question of Bellini, Rodrigues and Tomita. We also construct in ZFC a selectively pseudocompact group which is not countably pracompact, showing that these two properties are not equivalent in the class of topological groups. Using the same technique, we construct a group…
▽ More
We construct in ZFC a countably compact group without non-trivial convergent sequences of size $2^{\mathfrak{c}}$, answering a question of Bellini, Rodrigues and Tomita. We also construct in ZFC a selectively pseudocompact group which is not countably pracompact, showing that these two properties are not equivalent in the class of topological groups. Using the same technique, we construct a group which has all powers selectively pseudocompact but is not countably pracompact, assuming the existence of a selective ultrafilter.
△ Less
Submitted 30 August, 2021;
originally announced August 2021.
-
Countably compact group topologies on arbitrarily large free Abelian groups
Authors:
M. K. Bellini,
K. P. Hart,
V. O. Rodrigues,
A. H. Tomita
Abstract:
We prove that if there are $\mathfrak c$ incomparable selective ultrafilters then, for every infinite cardinal $κ$ such that $κ^ω=κ$, there exists a group topology on the free Abelian group of cardinality $κ$ without nontrivial convergent sequences and such that every finite power is countably compact. In particular, there are arbitrarily large countably compact groups. This answers a 1992 questio…
▽ More
We prove that if there are $\mathfrak c$ incomparable selective ultrafilters then, for every infinite cardinal $κ$ such that $κ^ω=κ$, there exists a group topology on the free Abelian group of cardinality $κ$ without nontrivial convergent sequences and such that every finite power is countably compact. In particular, there are arbitrarily large countably compact groups. This answers a 1992 question of D. Dikranjan and D. Shakhmatov.
△ Less
Submitted 23 March, 2021;
originally announced March 2021.
-
Direct measurement of ultrafast temporal wavefunctions
Authors:
Kazuhisa Ogawa,
Takumi Okazaki,
Hirokazu Kobayashi,
Toshihiro Nakanishi,
Akihisa Tomita
Abstract:
The large capacity and robustness of information encoding in the temporal mode of photons is important in quantum information processing, in which characterizing temporal quantum states with high usability and time resolution is essential. We propose and demonstrate a direct measurement method of temporal complex wavefunctions for weak light at a single-photon level with subpicosecond time resolut…
▽ More
The large capacity and robustness of information encoding in the temporal mode of photons is important in quantum information processing, in which characterizing temporal quantum states with high usability and time resolution is essential. We propose and demonstrate a direct measurement method of temporal complex wavefunctions for weak light at a single-photon level with subpicosecond time resolution. Our direct measurement is realized by ultrafast metrology of the interference between the light under test and self-generated monochromatic reference light; no external reference light or complicated post-processing algorithms are required. Hence, this method is versatile and potentially widely applicable for temporal state characterization.
△ Less
Submitted 1 March, 2021;
originally announced March 2021.
-
Complex counterpart of variance in quantum measurements for pre- and post-selected systems
Authors:
Kazuhisa Ogawa,
Natsuki Abe,
Hirokazu Kobayashi,
Akihisa Tomita
Abstract:
The variance of an observable in a pre-selected quantum system, which is always real and non-negative, appears as an increase in the probe wave packet width in indirect measurements. Extending this framework to pre- and post-selected systems, we formulate a complex-valued counterpart of the variance called "weak variance." In our formulation, the real and imaginary parts of the weak variance appea…
▽ More
The variance of an observable in a pre-selected quantum system, which is always real and non-negative, appears as an increase in the probe wave packet width in indirect measurements. Extending this framework to pre- and post-selected systems, we formulate a complex-valued counterpart of the variance called "weak variance." In our formulation, the real and imaginary parts of the weak variance appear as changes in the probe wave packet width in the vertical-horizontal and diagonal-antidiagonal directions, respectively, on the quadrature phase plane. Using an optical system, we experimentally demonstrate these changes in the probe wave packet width caused by the real negative and purely imaginary weak variances. Furthermore, we show that the weak variance can be expressed as the variance of the weak-valued probability distribution in pre- and post-selected systems. These operational and statistical interpretations support the rationality of formulating the weak variance as a complex counterpart of the variance in pre- and post-selected systems.
△ Less
Submitted 12 March, 2021; v1 submitted 12 February, 2021;
originally announced February 2021.
-
Forcing a classification of non-torsion Abelian groups of size at most $2^\mathfrak c$ with non-trivial convergent sequences
Authors:
Matheus Koveroff Bellini,
Vinicius de Oliveira Rodrigues,
Artur Hideyuki Tomita
Abstract:
We force a classification of all the Abelian groups of cardinality at most $2^\mathfrak c$ that admit a countably compact group with a non-trivial convergent sequence. In particular, we answer (consistently) Question 24 of Dikranjan and Shakhmatov for cardinality at most $2^{\mathfrak c}$, by showing that if a non-torsion Abelian group of size at most $2^\mathfrak c$ admits a countably compact Hau…
▽ More
We force a classification of all the Abelian groups of cardinality at most $2^\mathfrak c$ that admit a countably compact group with a non-trivial convergent sequence. In particular, we answer (consistently) Question 24 of Dikranjan and Shakhmatov for cardinality at most $2^{\mathfrak c}$, by showing that if a non-torsion Abelian group of size at most $2^\mathfrak c$ admits a countably compact Hausdorff group topology, then it admits a countably compact Hausdorff group topology with non-trivial convergent sequences.
△ Less
Submitted 17 June, 2020;
originally announced June 2020.
-
Maximal almost disjoint families and pseudocompactness of hyperspaces
Authors:
Osvaldo Guzmán,
Michael Hrušák,
Vinicius de Oliveira Rodrigues,
Stevo Todorčević,
Artur Hideyuki Tomita
Abstract:
We show that all maximal almost disjoint families have pseudocompact Vietoris hyperspace if and only if $\mathsf{MA}_\mathfrak c (\mathcal P(ω)/\mathrm{fin})$ holds. We further study the question whether there is a maximal almost disjoint family whose hyperspace is pseudocompact and prove that consistently such families do not exist \emph{genericaly}, by constructing a consistent example of a maxi…
▽ More
We show that all maximal almost disjoint families have pseudocompact Vietoris hyperspace if and only if $\mathsf{MA}_\mathfrak c (\mathcal P(ω)/\mathrm{fin})$ holds. We further study the question whether there is a maximal almost disjoint family whose hyperspace is pseudocompact and prove that consistently such families do not exist \emph{genericaly}, by constructing a consistent example of a maximal almost disjoint family $\mathcal A$ of size less than $\mathfrak c$ whose hyperspace is not pseudocompact.
△ Less
Submitted 18 April, 2020;
originally announced April 2020.
-
Operational formulation of weak values without probe systems
Authors:
Kazuhisa Ogawa,
Hirokazu Kobayashi,
Akihisa Tomita
Abstract:
Weak values are the fundamental values for observables in a pre- and post-selected system. Weak values are typically measured by weak measurement, in which weak values appear in the change of not the pre- and post-selected system but the probe system. This indirect characteristic of weak measurement obscures the meaning of weak values for the pre- and post-selected system, in contrast to conventio…
▽ More
Weak values are the fundamental values for observables in a pre- and post-selected system. Weak values are typically measured by weak measurement, in which weak values appear in the change of not the pre- and post-selected system but the probe system. This indirect characteristic of weak measurement obscures the meaning of weak values for the pre- and post-selected system, in contrast to conventional physical quantities, which have a clear operational meaning. In this study, we operationally formulate weak values as the sensitivity of post-selection probability amplitude to small transformation in a pre- and post-selected system. This formulation of weak values, which is free from the concept of probe shift assumed in weak measurement, gives a direct interpretation of strange weak values for the pre- and post-selected system. We further explain that this formulation can simplify weak-value measurement experiments because no probe system is required.
△ Less
Submitted 21 December, 2019;
originally announced December 2019.
-
Colloidal trains
Authors:
Mahla Mirzaee-Kakhki,
Adrian Ernst,
Daniel de las Heras,
Maciej Urbaniak,
Feliks Stobiecki,
Andreea Tomita,
Rico Huhnstock,
Iris Koch,
Jendrik Gördes,
Arno Ehresmann,
Dennis Holzinger,
Meike Reginka,
Thomas M. Fischer
Abstract:
Single and double paramagnetic colloidal particles are placed above a magnetic square pattern and are driven with an external magnetic field precessing around a high symmetry direction of the pattern. The external magnetic field and that of the pattern confine the colloids into lanes parallel to a lattice vector of the pattern. The precession of the external field causes traveling minima of the ma…
▽ More
Single and double paramagnetic colloidal particles are placed above a magnetic square pattern and are driven with an external magnetic field precessing around a high symmetry direction of the pattern. The external magnetic field and that of the pattern confine the colloids into lanes parallel to a lattice vector of the pattern. The precession of the external field causes traveling minima of the magnetic potential along the direction of the lanes. At sufficiently high frequencies of modulation only the doublets respond to the external field and move in direction of the traveling minima along the lanes, while the single colloids cannot follow and remain static. We show how the doublets can induce a coordinated motion of the single colloids building colloidal trains made of a chain of several single colloids transported by doublets.
△ Less
Submitted 15 November, 2019;
originally announced November 2019.
-
Countably compact group topologies on the free Abelian group of size continuum (and a Wallace semigroup) from a selective ultrafilter
Authors:
A. C. Boero,
I. Castro-Pereira,
A. H. Tomita
Abstract:
We prove that the existence of a selective ultrafilter implies the existence of a countably compact Hausdorff group topology on the free Abelian group of size continuum. As a consequence, we show that the existence of a selective ultrafilter implies the existence of a Wallace semigroup (i.e., a countably compact both-sided cancellative topological semigroup which is not a topological group).
We prove that the existence of a selective ultrafilter implies the existence of a countably compact Hausdorff group topology on the free Abelian group of size continuum. As a consequence, we show that the existence of a selective ultrafilter implies the existence of a Wallace semigroup (i.e., a countably compact both-sided cancellative topological semigroup which is not a topological group).
△ Less
Submitted 8 September, 2019;
originally announced September 2019.
-
A van Douwen-like ZFC theorem for small powers of countably compact groups without non-trivial convergent sequences
Authors:
Artur Hideyuki Tomita
Abstract:
We show that if $κ\leq ω$ and there exists a group topology without non-trivial convergent sequences on an Abelian group $H$ such that $H^n$ is countably compact for each $n<κ$ then there exists a topological group $G$ such that $G^n$ is countably compact for each $n <κ$ and $G^κ$ is not countably compact. If in addition $H$ is torsion, then the result above holds for $κ=ω_1$. Combining with other…
▽ More
We show that if $κ\leq ω$ and there exists a group topology without non-trivial convergent sequences on an Abelian group $H$ such that $H^n$ is countably compact for each $n<κ$ then there exists a topological group $G$ such that $G^n$ is countably compact for each $n <κ$ and $G^κ$ is not countably compact. If in addition $H$ is torsion, then the result above holds for $κ=ω_1$. Combining with other results in the literature, we show that:
$a)$ Assuming ${\mathfrak c}$ incomparable selective ultrafilters, for each $n \in ω$, there exists a group topology on the free Abelian group $G$ such that $G^n$ is countably compact and $G^{n+1}$ is not countably compact. (It was already know for $ω$).
$b)$ If $κ\in ω\cup \{ω\} \cup \{ω_1\}$, there exists in ZFC a topological group $G$ such that $G^γ$ is countably compact for each cardinal $γ<κ$ and $G^κ$ is not countably compact.
△ Less
Submitted 7 September, 2019;
originally announced September 2019.
-
Algebraic structure of countably compact non-torsion Abelian groups of size continuum from selective ultrafilters
Authors:
M. K. Bellini,
A. C. Boero,
V. O. Rodrigues,
A. H. Tomita
Abstract:
Assuming the existence of $\mathfrak c$ incomparable selective ultrafilters, we classify the non-torsion Abelian groups of cardinality $\mathfrak c$ that admit a countably compact group topology. We show that for each $κ\in [\mathfrak c, 2^\mathfrak c]$ each of these groups has a countably compact group topology of weight $κ$ without non-trivial convergent sequences and another that has convergent…
▽ More
Assuming the existence of $\mathfrak c$ incomparable selective ultrafilters, we classify the non-torsion Abelian groups of cardinality $\mathfrak c$ that admit a countably compact group topology. We show that for each $κ\in [\mathfrak c, 2^\mathfrak c]$ each of these groups has a countably compact group topology of weight $κ$ without non-trivial convergent sequences and another that has convergent sequences.
Assuming the existence of $2^\mathfrak c$ selective ultrafilters, there are at least $2^\mathfrak c$ non homeomorphic such topologies in each case and we also show that every Abelian group of cardinality at most $2^\mathfrak c$ is algebraically countably compact. We also show that it is consistent that every Abelian group of cardinality $\mathfrak c$ that admits a countably compact group topology admits a countably compact group topology without non-trivial convergent sequences whose weight has countable cofinality.
△ Less
Submitted 22 April, 2021; v1 submitted 7 September, 2019;
originally announced September 2019.
-
On $p$-compact group topologies on direct sums of ${\mathbb Q}$
Authors:
Matheus Koveroff Bellini,
Vinicius de Oliveira Rodrigues,
Artur Hideyuki Tomita
Abstract:
We prove that if $p$ is a selective ultrafilter then ${\mathbb Q}^{(κ)}$ has a $p$-compact group topology without non-trivial convergent sequences, for each infinite cardinal $κ=κ^ω$. In particular, this gives the first arbitrarily large examples of countably compact groups without non-trivial convergent sequences that are torsion-free.
We prove that if $p$ is a selective ultrafilter then ${\mathbb Q}^{(κ)}$ has a $p$-compact group topology without non-trivial convergent sequences, for each infinite cardinal $κ=κ^ω$. In particular, this gives the first arbitrarily large examples of countably compact groups without non-trivial convergent sequences that are torsion-free.
△ Less
Submitted 11 April, 2019;
originally announced April 2019.
-
Countably compact group topologies on non-torsion abelian groups of size continuum with non-trivial convergent sequences
Authors:
{Matheus Koveroff Bellini,
Ana Carolina Boero,
Irene Castro Pereira,
Vinicius de Oliveira Rodrigues,
Artur Hideyuki Tomita
Abstract:
Under $\mathfrak{p} = \mathfrak{c}$, we answer Question 24 of \cite{dikranjan&shakhmatov3} for cardinality ${\mathfrak c}$ , by showing that if a non-torsion Abelian group of size continuum admits a countably compact Hausdorff group topology, then it admits a countably compact Hausdorff group topology with non-trivial convergent sequences.
Under $\mathfrak{p} = \mathfrak{c}$, we answer Question 24 of \cite{dikranjan&shakhmatov3} for cardinality ${\mathfrak c}$ , by showing that if a non-torsion Abelian group of size continuum admits a countably compact Hausdorff group topology, then it admits a countably compact Hausdorff group topology with non-trivial convergent sequences.
△ Less
Submitted 11 October, 2018;
originally announced October 2018.
-
A framework for measuring weak values without weak interactions and its diagrammatic representation
Authors:
Kazuhisa Ogawa,
Osamu Yasuhiko,
Hirokazu Kobayashi,
Toshihiro Nakanishi,
Akihisa Tomita
Abstract:
Weak values are typically obtained experimentally by performing weak measurements, which involve weak interactions between the measured system and a probe. However, the determination of weak values does not necessarily require weak measurements, and several methods without weak system-probe interactions have been developed previously. In this work, a framework for measuring weak values is proposed…
▽ More
Weak values are typically obtained experimentally by performing weak measurements, which involve weak interactions between the measured system and a probe. However, the determination of weak values does not necessarily require weak measurements, and several methods without weak system-probe interactions have been developed previously. In this work, a framework for measuring weak values is proposed to describe the relationship between various weak measurement techniques in a unified manner. This framework, which uses a probe-controlled system transformation instead of the weak system-probe interaction, improves the understanding of the currently used weak value measurement methods. Furthermore, a diagrammatic representation of the proposed framework is introduced to intuitively identify the complex values obtained in each measurement system. By using this diagram, a new method for measuring weak values with a desired function can be systematically derived. As an example, a scan-free and more efficient direct measurement method of wavefunctions than the conventional techniques using weak measurements is developed.
△ Less
Submitted 27 September, 2018;
originally announced September 2018.
-
Edge states at the boundary between topologically equivalent lattices
Authors:
Helena Massana-Cid,
Adrian Ernst,
Daniel de las Heras,
Adam Jarosz,
Maciej Urbaniak,
Feliks Stobiecki,
Andreea Tomita,
Rico Huhnstock,
Iris Koch,
Arno Ehresmann,
Dennis Holzinger,
Thomas M. Fischer
Abstract:
Edge currents of paramagnetic colloidal particles propagate at the edge between two topologically equivalent magnetic lattices of different lattice constant when the system is driven with periodic modulation loops of an external magnetic field. The number of topologically protected particle edge transport modes is not determined by a bulk-boundary correspondence. Instead, we find a rich variety of…
▽ More
Edge currents of paramagnetic colloidal particles propagate at the edge between two topologically equivalent magnetic lattices of different lattice constant when the system is driven with periodic modulation loops of an external magnetic field. The number of topologically protected particle edge transport modes is not determined by a bulk-boundary correspondence. Instead, we find a rich variety of edge transport modes that depend on the symmetry of both the edge and the modulation loop. The edge transport can be ratchet-like or adiabatic, and time or non-time reversal symmetric.
△ Less
Submitted 18 September, 2018;
originally announced September 2018.
-
Small MAD families whose Isbell-Mrówka spaces are pseudocompact
Authors:
Vinicius de Oliveira Rodrigues,
Artur Hideyuki Tomita
Abstract:
Given a countable transitive model $M$ for ZFC+CH, we prove that one can produce a maximal almost disjoint family in $M$ whose Vietoris Hyperspace of its Isbell-Mrówka space is pseudocompact on every Cohen extension of $M$. We also show that a classical example of $ω_1$-sized maximal almost disjoint family obtained by a forcing iteration of length $ω_1$ in a model of non CH is such that the Vietor…
▽ More
Given a countable transitive model $M$ for ZFC+CH, we prove that one can produce a maximal almost disjoint family in $M$ whose Vietoris Hyperspace of its Isbell-Mrówka space is pseudocompact on every Cohen extension of $M$. We also show that a classical example of $ω_1$-sized maximal almost disjoint family obtained by a forcing iteration of length $ω_1$ in a model of non CH is such that the Vietoris Hyperspace of its Isbell-Mrówka space is pseudocompact.
△ Less
Submitted 4 June, 2018;
originally announced June 2018.
-
Tracking Quantum Error Correction
Authors:
Kosuke Fukui,
Akihisa Tomita,
Atsushi Okamoto
Abstract:
To implement fault-tolerant quantum computation with continuous variables, the Gottesman--Kitaev--Preskill (GKP) qubit has been recognized as an important technological element. We have proposed a method to reduce the required squeezing level to realize large scale quantum computation with the GKP qubit [Phys. Rev. X. {\bf 8}, 021054 (2018)], harnessing the virtue of analog information in the GKP…
▽ More
To implement fault-tolerant quantum computation with continuous variables, the Gottesman--Kitaev--Preskill (GKP) qubit has been recognized as an important technological element. We have proposed a method to reduce the required squeezing level to realize large scale quantum computation with the GKP qubit [Phys. Rev. X. {\bf 8}, 021054 (2018)], harnessing the virtue of analog information in the GKP qubits. In the present work, to reduce the number of qubits required for large scale quantum computation, we propose the tracking quantum error correction, where the logical-qubit level quantum error correction is partially substituted by the single-qubit level quantum error correction. In the proposed method, the analog quantum error correction is utilized to make the performances of the single-qubit level quantum error correction almost identical to those of the logical-qubit level quantum error correction in a practical noise level. The numerical results show that the proposed tracking quantum error correction reduces the number of qubits during a quantum error correction process by the reduction rate $\left\{{2(n-1)\times4^{l-1}-n+1}\right\}/({2n \times 4^{l-1}})$ for $n$-cycles of the quantum error correction process using the Knill's $C_{4}/C_{6}$ code with the concatenation level $l$. Hence, the proposed tracking quantum error correction has great advantage in reducing the required number of physical qubits, and will open a new way to bring up advantage of the GKP qubits in practical quantum computation.
△ Less
Submitted 20 August, 2018; v1 submitted 11 April, 2018;
originally announced April 2018.
-
Quantum key distribution with an efficient countermeasure against correlated intensity fluctuations in optical pulses
Authors:
Ken-ichiro Yoshino,
Mikio Fujiwara,
Kensuke Nakata,
Tatsuya Sumiya,
Toshihiko Sasaki,
Masahiro Takeoka,
Masahide Sasaki,
Akio Tajima,
Masato Koashi,
Akihisa Tomita
Abstract:
Quantum key distribution (QKD) allows two distant parties to share secret keys with the proven security even in the presence of an eavesdropper with unbounded computational power. Recently, GHz-clock decoy QKD systems have been realized by employing ultrafast optical communication devices. However, security loopholes of high-speed systems have not been fully explored yet. Here we point out a secur…
▽ More
Quantum key distribution (QKD) allows two distant parties to share secret keys with the proven security even in the presence of an eavesdropper with unbounded computational power. Recently, GHz-clock decoy QKD systems have been realized by employing ultrafast optical communication devices. However, security loopholes of high-speed systems have not been fully explored yet. Here we point out a security loophole at the transmitter of the GHz-clock QKD, which is a common problem in high-speed QKD systems using practical band-width limited devices. We experimentally observe the inter-pulse intensity correlation and modulation-pattern dependent intensity deviation in a practical high-speed QKD system. Such correlation violates the assumption of most security theories. We also provide its countermeasure which does not require significant changes of hardware and can generate keys secure over 100 km fiber transmission. Our countermeasure is simple, effective and applicable to wide range of high-speed QKD systems, and thus paves the way to realize ultrafast and security-certified commercial QKD systems.
△ Less
Submitted 19 February, 2018;
originally announced February 2018.
-
High-threshold fault-tolerant quantum computation with analog quantum error correction
Authors:
Kosuke Fukui,
Akihisa Tomita,
Atsushi Okamoto,
Keisuke Fujii
Abstract:
To implement fault-tolerant quantum computation with continuous variables, the Gottesman-Kitaev-Preskill (GKP) qubit has been recognized as an important technological element. However,it is still challenging to experimentally generate the GKP qubit with the required squeezing level, 14.8 dB, of the existing fault-tolerant quantum computation. To reduce this requirement, we propose a high-threshold…
▽ More
To implement fault-tolerant quantum computation with continuous variables, the Gottesman-Kitaev-Preskill (GKP) qubit has been recognized as an important technological element. However,it is still challenging to experimentally generate the GKP qubit with the required squeezing level, 14.8 dB, of the existing fault-tolerant quantum computation. To reduce this requirement, we propose a high-threshold fault-tolerant quantum computation with GKP qubits using topologically protected measurement-based quantum computation with the surface code. By harnessing analog information contained in the GKP qubits, we apply analog quantum error correction to the surface code.Furthermore, we develop a method to prevent the squeezing level from decreasing during the construction of the large scale cluster states for the topologically protected measurement based quantum computation. We numerically show that the required squeezing level can be relaxed to less than 10 dB, which is within the reach of the current experimental technology. Hence, this work can considerably alleviate this experimental requirement and take a step closer to the realization of large scale quantum computation.
△ Less
Submitted 6 March, 2018; v1 submitted 1 December, 2017;
originally announced December 2017.
-
Colloidal topological insulators
Authors:
Johannes Loehr,
Daniel de las Heras,
Adam Jarosz,
Maciej Urbaniak,
Feliks Stobiecki,
Andreea Tomita,
Rico Huhnstock,
Iris Koch,
Arno Ehresmann,
Dennis Holzinger,
Thomas M. Fischer
Abstract:
Topological insulators insulate in the bulk but exhibit robust conducting edge states protected by the topology of the bulk material. Here, we design a colloidal topological insulator and demonstrate experimentally the occurrence of edge states in a classical particle system. Magnetic colloidal particles travel along the edge of two distinct magnetic lattices. We drive the colloids with a uniform…
▽ More
Topological insulators insulate in the bulk but exhibit robust conducting edge states protected by the topology of the bulk material. Here, we design a colloidal topological insulator and demonstrate experimentally the occurrence of edge states in a classical particle system. Magnetic colloidal particles travel along the edge of two distinct magnetic lattices. We drive the colloids with a uniform external magnetic field that performs a topologically non-trivial modulation loop. The loop induces closed orbits in the bulk of the magnetic lattices. At the edge, where both lattices merge, the colloids perform skipping orbits trajectories and hence edge-transport. We also observe paramagnetic and diamagnetic colloids moving in opposite directions along the edge between two inverted patterns; the analogue of a quantum spin Hall effect in topological insulators. We present a new, robust, and versatile way of transporting colloidal particles, enabling new pathways towards lab on a chip applications.
△ Less
Submitted 14 November, 2017;
originally announced November 2017.
-
Classical reconstruction of interference patterns of position-wavevector-entangled photon pairs by time-reversal method
Authors:
Kazuhisa Ogawa,
Hirokazu Kobayashi,
Akihisa Tomita
Abstract:
The quantum interference of entangled photons forms a key phenomenon underlying various quantum-optical technologies. It is known that the quantum interference patterns of entangled photon pairs can be reconstructed classically by the time-reversal method; however, the time-reversal method has been applied only to time-frequency-entangled two-photon systems in previous experiments. Here, for the f…
▽ More
The quantum interference of entangled photons forms a key phenomenon underlying various quantum-optical technologies. It is known that the quantum interference patterns of entangled photon pairs can be reconstructed classically by the time-reversal method; however, the time-reversal method has been applied only to time-frequency-entangled two-photon systems in previous experiments. Here, for the first time, we apply the time-reversal method to the position-wavevector-entangled two-photon systems: the two-photon Young interferometer and the two-photon beam focusing system. We experimentally demonstrate that the time-reversed systems classically reconstruct the same interference patterns as the position-wavevector-entangled two-photon systems.
△ Less
Submitted 8 November, 2017;
originally announced November 2017.
-
Small Cardinals and the Pseudocompactness of Hyperspaces of Subspaces of $βω$
Authors:
Y. F. Ortiz-Castillo,
V. O. Rodrigues,
A. H. Tomita
Abstract:
We study the relations between a generalization of pseudocompactness, named $(κ, M)$-pseudocompactness, the countably compactness of subspaces of $βω$ and the pseudocompactness of their hyperspaces. We show, by assuming the existence of $\mathfrak c$-many selective ultrafilters, that there exists a subspace of $βω$ that is $(κ, ω^*)$-pseudocompact for all $κ<\mathfrak c$, but $\text{CL}(X)$ isn't…
▽ More
We study the relations between a generalization of pseudocompactness, named $(κ, M)$-pseudocompactness, the countably compactness of subspaces of $βω$ and the pseudocompactness of their hyperspaces. We show, by assuming the existence of $\mathfrak c$-many selective ultrafilters, that there exists a subspace of $βω$ that is $(κ, ω^*)$-pseudocompact for all $κ<\mathfrak c$, but $\text{CL}(X)$ isn't pseudocompact. We prove in ZFC that if $ω\subseteq X\subseteq βω$ is such that $X$ is $(\mathfrak c, ω^*)$-pseudocompact, then $\text{CL}(X)$ is pseudocompact, and we further explore this relation by replacing $\mathfrak c$ for some small cardinals. We provide an example of a subspace of $βω$ for which all powers below $\mathfrak h$ are countably compact whose hyperspace is not pseudocompact, we show that if $ω\subseteq X$, the pseudocompactness of $\text{CL}(X)$ implies that $X$ is $(κ, ω^*)$-pseudocompact for all $κ<\mathfrak h$, and provide an example of such an $X$ that is not $(\mathfrak b, ω^*)$-pseudocompact.
△ Less
Submitted 5 November, 2017; v1 submitted 17 October, 2017;
originally announced October 2017.
-
Lattice symmetries and the topological protected transport of colloidal particles
Authors:
Johannes Loehr,
Daniel de las Heras,
Michael Loenne,
Jonas Bugase,
Adam Jarosz,
Maciej Urbaniak,
Feliks Stobiecki,
Andreea Tomita,
Rico Huhnstock,
Iris Koch,
Arno Ehresmann,
Dennis Holzinger,
Thomas M. Fischer
Abstract:
The topologically protected transport of colloidal particles on top of magnetic patterns of all possible single lattice constant two dimensional magnetic point group symmetries is studied experimentally, theoretically, and with numerical simulations. We examine the transport of colloidal particles in response to modulation loops of the external field. We classify the modulation loops into topologi…
▽ More
The topologically protected transport of colloidal particles on top of magnetic patterns of all possible single lattice constant two dimensional magnetic point group symmetries is studied experimentally, theoretically, and with numerical simulations. We examine the transport of colloidal particles in response to modulation loops of the external field. We classify the modulation loops into topologically distinct classes causing different transport. We show that the lattice symmetry has a profound influence on the transport modes, the accessibility of transport networks, and the individual addressability of paramagnetic versus diamagnetic colloidal particles. We show how the transport of colloidal particles above a two fold symmetric stripe pattern changes from universal adiabatic transport at large elevations via a topologically protected ratchet motion at intermediate elevations toward a non-transport regime at low elevations. Transport above four fold symmetric patterns is closely related to the transport above two fold symmetric patterns. There exists a family of three fold symmetric patterns that vary as a function of the phase of the pattern. We show how this family can be divided into two topologically distinct classes supporting different transport modes and being protected by proper and improper six fold symmetries. Both classes support individual control over the transport of paramagnetic and diamagnetic particles. We discuss the topological transition when moving the phase from one class of pattern to the other class. The similarities and the differences in the lattice symmetry protected transport of classical over-damped colloidal particles versus the topologically protected transport in quantum mechanical systems are emphasized
△ Less
Submitted 4 July, 2017;
originally announced July 2017.
-
Finite powers of selectively pseudocompact groups
Authors:
S. Garcia-Ferreira,
A. H. Tomita
Abstract:
A space $X$ is called {\it selectively pseudocompact} if for each sequence $(U_{n})_{n\in \mathbb{N}}$ of pairwise disjoint nonempty open subsets of $X$ there is a sequence $(x_{n})_{n\in \mathbb{N}}$ of points in $X$ such that $cl_X(\{x_n : n < ω\}) \setminus \big(\bigcup_{n < ω}U_n \big) \neq \emptyset$ and $x_{n}\in U_{n}$, for each $n < ω$. Countably compact space spaces are selectively pseudo…
▽ More
A space $X$ is called {\it selectively pseudocompact} if for each sequence $(U_{n})_{n\in \mathbb{N}}$ of pairwise disjoint nonempty open subsets of $X$ there is a sequence $(x_{n})_{n\in \mathbb{N}}$ of points in $X$ such that $cl_X(\{x_n : n < ω\}) \setminus \big(\bigcup_{n < ω}U_n \big) \neq \emptyset$ and $x_{n}\in U_{n}$, for each $n < ω$. Countably compact space spaces are selectively pseudocompact and every selectively pseudocompact space is pseudocompact. We show, under the assumption of $CH$, that for every positive integer $k > 2$ there exists a topological group whose $k$-th power is countably compact but its $(k+1)$-st power is not selectively pseudocompact. This provides a positive answer to a question posed in \cite{gt} in any model of $ZFC+CH$.
△ Less
Submitted 15 June, 2017;
originally announced June 2017.
-
Analog quantum error correction with encoding a qubit into an oscillator
Authors:
Kosuke Fukui,
Akihisa Tomita,
Atsushi Okamoto
Abstract:
To implement fault-tolerant quantum computation with continuous variables, Gottesman-Kitaev-Preskill (GKP) qubits have been recognized as an important technological element. However, the analog outcome of GKP qubits, which includes beneficial information to improve the error tolerance, has been wasted, because the GKP qubits have been treated as only discrete variables. In this paper, we propose a…
▽ More
To implement fault-tolerant quantum computation with continuous variables, Gottesman-Kitaev-Preskill (GKP) qubits have been recognized as an important technological element. However, the analog outcome of GKP qubits, which includes beneficial information to improve the error tolerance, has been wasted, because the GKP qubits have been treated as only discrete variables. In this paper, we propose a hybrid quantum error correction approach that combines digital information with the analog information of the GKP qubits using the maximum-likelihood method. As an example, we demonstrate that the three-qubit bit-flip code can correct double errors, whereas the conventional method based on majority voting on the binary measurement outcome can correct only a single error. As another example, a concatenated code known as Knill's C4/C6 code can achieve the hashing bound for the quantum capacity of the Gaussian quantum channel. To the best of our knowledge, this approach is the first attempt to draw both digital and analog information from a single quantum state to improve quantum error correction performance.
△ Less
Submitted 10 November, 2017; v1 submitted 9 June, 2017;
originally announced June 2017.
-
$σ$-Ideals and outer measures on the real line
Authors:
S. García-Ferreira,
A. H. Tomita,
Y. F. Ortiz-Castillo
Abstract:
A {\it weak selection} on $\mathbb{R}$ is a function $f: [\mathbb{R}]^2 \to \mathbb{R}$ such that $f(\{x,y\}) \in \{x,y\}$ for each $\{x,y\} \in [\mathbb{R}]^2$. In this article, we continue with the study (which was initiated in \cite{ag}) of the outer measures $λ_f$ on the real line $\mathbb{R}$ defined by weak selections $f$. One of the main results is to show that $CH$ is equivalent to the exi…
▽ More
A {\it weak selection} on $\mathbb{R}$ is a function $f: [\mathbb{R}]^2 \to \mathbb{R}$ such that $f(\{x,y\}) \in \{x,y\}$ for each $\{x,y\} \in [\mathbb{R}]^2$. In this article, we continue with the study (which was initiated in \cite{ag}) of the outer measures $λ_f$ on the real line $\mathbb{R}$ defined by weak selections $f$. One of the main results is to show that $CH$ is equivalent to the existence of a weak selection $f$ for which: \[ \mathcal λ_f(A)= \begin{cases} 0 & \text{if $|A| \leq ω$,}\\ \infty & \text{otherwise.} \end{cases} \] Some conditions are given for a $σ$-ideal of $\mathbb{R}$ in order to be exactly the family $\mathcal{N}_f$ of $λ_f$-null subsets for some weak selection $f$. It is shown that there are $2^\mathfrak{c}$ pairwise distinct ideals on $\mathbb{R}$ of the form $\mathcal{N}_f$, where $f$ is a weak selection. Also we prove that Martin Axiom implies the existence of a weak selection $f$ such that $\mathcal{N}_f$ is exactly the $σ$-ideal of meager subsets of $\mathbb{R}$. Finally, we shall study pairs of weak selections which are "almost equal" but they have different families of $λ_f$-measurable sets.
△ Less
Submitted 12 August, 2016;
originally announced August 2016.
-
On topological groups admitting a base at identity indexed with $ω^ω$
Authors:
Arkady G. Leiderman,
Vladimir G. Pestov,
Artur H. Tomita
Abstract:
A topological group $G$ is said to have a local $ω^ω$-base if the neighbourhood system at identity admits a monotone cofinal map from the directed set $ω^ω$. In particular, every metrizable group is such, but the class of groups with a local $ω^ω$-base is significantly wider. The aim of this article is to better understand the boundaries of this class, by presenting new examples and counter-exampl…
▽ More
A topological group $G$ is said to have a local $ω^ω$-base if the neighbourhood system at identity admits a monotone cofinal map from the directed set $ω^ω$. In particular, every metrizable group is such, but the class of groups with a local $ω^ω$-base is significantly wider. The aim of this article is to better understand the boundaries of this class, by presenting new examples and counter-examples. Ultraproducts and non-arichimedean ordered fields lead to natural families of non-metrizable groups with a local $ω^ω$-base which nevertheless are Baire topological spaces.
More examples come from such constructions as the free topological group $F(X)$ and the free Abelian topological group $A(X)$ of a Tychonoff (more generally uniform) space $X$, as well as the free product of topological groups. We show that 1) the free product of countably many separable topological groups with a local $ω^ω$-base admits a local $ω^ω$-base; 2) the group $A(X)$ of a Tychonoff space $X$ admits a local $ω^ω$-base if and only if the finest uniformity of $X$ has a $ω^ω$-base; 3) the group $F(X)$ of a Tychonoff space $X$ admits a local $ω^ω$-base provided $X$ is separable and the finest uniformity of $X$ has a $ω^ω$-base.
△ Less
Submitted 8 September, 2016; v1 submitted 22 November, 2015;
originally announced November 2015.
-
Modified E91 protocol demonstration with hybrid entanglement photon source
Authors:
Mikio Fujiwara,
Ken-ichiro Yoshino,
Yoshihiro Nambu,
Taro Yamashita,
Shigehito Miki,
Hirotaka Terai,
Zhen Wang,
Morio Toyoshima,
Akihisa Tomita,
Masahide Sasaki
Abstract:
We report on an experimental demonstration of the modified Ekert 91 protocol of quantum key distribution using a hybrid entanglement source with two different degrees of freedoms, a 1550 nm time-bin qubit and 810 nm polarization qubit. The violation of the Clauser-Horne-Shimony-Holt inequality could be demonstrated for the entanglement between the polarization qubit in free space and the time-bin…
▽ More
We report on an experimental demonstration of the modified Ekert 91 protocol of quantum key distribution using a hybrid entanglement source with two different degrees of freedoms, a 1550 nm time-bin qubit and 810 nm polarization qubit. The violation of the Clauser-Horne-Shimony-Holt inequality could be demonstrated for the entanglement between the polarization qubit in free space and the time-bin qubit through 20 km fiber transmission. The secure key rate in our system is estimated 70-150 bps.
△ Less
Submitted 22 January, 2015;
originally announced January 2015.
-
Entanglement Generation by Communication using Phase-Squeezed Light with Photon Loss
Authors:
Fumiaki Matsuoka,
Akihisa Tomita,
Atsushi Okamoto
Abstract:
In order to implement fault-tolerant quantum computation, entanglement generation with low error probability and high success probability is required. We have proposed the use of squeezed coherent light as a probe to generate entanglement between two atoms by communication, and shown that the error probability is reduced well below the threshold of fault-tolerant quantum computation [Phys. Rev. A.…
▽ More
In order to implement fault-tolerant quantum computation, entanglement generation with low error probability and high success probability is required. We have proposed the use of squeezed coherent light as a probe to generate entanglement between two atoms by communication, and shown that the error probability is reduced well below the threshold of fault-tolerant quantum computation [Phys. Rev. A. {\bf 88}, 022313 (2013)]. Here, we investigate the effect of photon loss mainly due to finite coupling efficiency to the cavity. The error probability with the photon loss is calculated by the beam-splitter model for homodyne measurement on probe light. Optimum condition on the amplitude of probe light to minimize the error probability is examined. It is shown that the phase-squeezed probe light yields lower error probability than coherent-light probe. A fault-tolerant quantum computation algorithm can be implemented under 0.59 dB loss by concatenating five-qubit error correction code.
△ Less
Submitted 23 October, 2015; v1 submitted 26 December, 2014;
originally announced December 2014.
-
Generation of phase-squeezed optical pulses with large coherent amplitudes by post-selection of single photon and weak cross-Kerr non-linearity
Authors:
Fumiaki Matsuoka,
Akihisa Tomita,
Yutaka Shikano
Abstract:
Phase-squeezed light can enhance the precision of optical phase estimation. The larger the photon numbers are and the stronger the squeezing is, the better the precision will be. We propose an experimental scheme for generating phase-squeezed light pulses with large coherent amplitudes. In our scheme, one arm of a single-photon Mach-Zehnder interferometer interacts with coherent light via a non-li…
▽ More
Phase-squeezed light can enhance the precision of optical phase estimation. The larger the photon numbers are and the stronger the squeezing is, the better the precision will be. We propose an experimental scheme for generating phase-squeezed light pulses with large coherent amplitudes. In our scheme, one arm of a single-photon Mach-Zehnder interferometer interacts with coherent light via a non-linear optical Kerr medium to generate a coherent superposition state. Post-selecting the single photon by properly tuning a variable beam splitter in the interferometer yields a phase-squeezed output.
△ Less
Submitted 27 May, 2017; v1 submitted 29 October, 2014;
originally announced October 2014.
-
Kiso Supernova Survey (KISS): Survey Strategy
Authors:
Tomoki Morokuma,
Nozomu Tominaga,
Masaomi Tanaka,
Kensho Mori,
Emiko Matsumoto,
Yuki Kikuchi,
Takumi Shibata,
Shigeyuki Sako,
Tsutomu Aoki,
Mamoru Doi,
Naoto Kobayashi,
Hiroyuki Maehara,
Noriyuki Matsunaga,
Hiroyuki Mito,
Takashi Miyata,
Yoshikazu Nakada,
Takao Soyano,
Ken'ichi Tarusawa,
Satoshi Miyazaki,
Fumiaki Nakata,
Norio Okada,
Yuki Sarugaku,
Michael W. Richmond,
Hiroshi Akitaya,
Greg Aldering
, et al. (36 additional authors not shown)
Abstract:
The Kiso Supernova Survey (KISS) is a high-cadence optical wide-field supernova (SN) survey. The primary goal of the survey is to catch the very early light of a SN, during the shock breakout phase. Detection of SN shock breakouts combined with multi-band photometry obtained with other facilities would provide detailed physical information on the progenitor stars of SNe. The survey is performed us…
▽ More
The Kiso Supernova Survey (KISS) is a high-cadence optical wide-field supernova (SN) survey. The primary goal of the survey is to catch the very early light of a SN, during the shock breakout phase. Detection of SN shock breakouts combined with multi-band photometry obtained with other facilities would provide detailed physical information on the progenitor stars of SNe. The survey is performed using a 2.2x2.2 deg field-of-view instrument on the 1.05-m Kiso Schmidt telescope, the Kiso Wide Field Camera (KWFC). We take a three-minute exposure in g-band once every hour in our survey, reaching magnitude g~20-21. About 100 nights of telescope time per year have been spent on the survey since April 2012. The number of the shock breakout detections is estimated to be of order of 1 during our 3-year project. This paper summarizes the KISS project including the KWFC observing setup, the survey strategy, the data reduction system, and CBET-reported SNe discovered so far by KISS.
△ Less
Submitted 3 September, 2014;
originally announced September 2014.
-
Evaluation of the phase randomness of the light source in quantum key distribution systems with an attenuated laser
Authors:
Toshiya Kobayashi,
Akihisa Tomita,
Atsushi Okamoto
Abstract:
The phase randomized light is one of the key assumptions in the security proof of Bennett-Brassard 1984 (BB84) quantum key distribution (QKD) protocol implemented with an attenuated laser. Though the assumption has been believed to be satisfied for conventional systems, it should be reexamined for current high speed QKD systems. The phase correlation may be induced by the overlap of the optical pu…
▽ More
The phase randomized light is one of the key assumptions in the security proof of Bennett-Brassard 1984 (BB84) quantum key distribution (QKD) protocol implemented with an attenuated laser. Though the assumption has been believed to be satisfied for conventional systems, it should be reexamined for current high speed QKD systems. The phase correlation may be induced by the overlap of the optical pulses, the interval of which decreases as the clock frequency. The phase randomness was investigated experimentally by measuring the visibility of interference. An asymmetric Mach-Zehnder interferometer was used to observe the interference between adjacent pulses from a gain-switched distributed feedback laser diode driven at 10 GHz. Low visibility was observed when the minimum drive current was set far below the threshold, while the interference emerged when the minimum drive current was close to the threshold. Theoretical evaluation on the impact of the imperfect phase randomization provides target values for the visibility to guarantee the phase randomness. The experimental and theoretical results show that secure implementation of decoy BB84 protocol is achievable even for the 10-GHz clock frequency, by using the laser diode under proper operating conditions.
△ Less
Submitted 7 July, 2014;
originally announced July 2014.
-
Bornoligies, Topological Games and Function Spaces
Authors:
Jiling Cao,
Artur H. Tomita
Abstract:
In this paper, we continue the study of function spaces equipped with topologies of (strong) uniform convergence on bornologies initiated by Beer and Levi \cite{beer-levi:09}. In particular, we investigate some topological properties these function spaces defined by topological games. In addition, we also give further characterizations of metrizability and completeness properties of these function…
▽ More
In this paper, we continue the study of function spaces equipped with topologies of (strong) uniform convergence on bornologies initiated by Beer and Levi \cite{beer-levi:09}. In particular, we investigate some topological properties these function spaces defined by topological games. In addition, we also give further characterizations of metrizability and completeness properties of these function spaces.
△ Less
Submitted 26 March, 2014;
originally announced March 2014.
-
Density waves and star formation in grand design spirals
Authors:
B. Cedrés,
J. Cepa,
Á. Bongiovanni,
H. Castañeda,
M. Sáchez-Portal,
A Tomita
Abstract:
HII regions in the arms of spiral galaxies are indicators of recent star-forming processes. They may have been caused by the passage of the density wave or simply created by other means near the arms. The study of these regions may give us clues to clarifying the controversy over the existence of a triggering scenario, as proposed in the density wave theory. Using H$α$ direct imaging, we character…
▽ More
HII regions in the arms of spiral galaxies are indicators of recent star-forming processes. They may have been caused by the passage of the density wave or simply created by other means near the arms. The study of these regions may give us clues to clarifying the controversy over the existence of a triggering scenario, as proposed in the density wave theory. Using H$α$ direct imaging, we characterize the HII regions from a sample of three grand design galaxies: NGC5457, NGC628 and NGC6946. Broad band images in R and I were used to determine the position of the arms. The HII regions found to be associated with arms were selected for the study. The age and the star formation rate of these HII regions was obtained using measures on the H$α$ line. The distance between the current position of the selected HII regions and the position they would have if they had been created in the centre of the arm is calculated. A parameter, T, which measures whether a region was created in the arm or in the disc, is defined. With the help of the T parameter we determine that the majority of regions were formed some time after the passage of the density wave, with the regions located `behind the arm' (in the direction of the rotation of the galaxy) the zone they should have occupied had they been formed in the centre of the arm. The presence of the large number of regions created after the passage of the arm may be explained by the effect of the density wave, which helps to create the star-forming regions after its passage. There is clear evidence of triggering for NGC5457 and a co-rotation radius is proposed. A more modest triggering seems to exist for NGC628 and non significant evidence of triggering are found for NGC6946.
△ Less
Submitted 16 October, 2013;
originally announced October 2013.
-
Field test of quantum key distribution in the Tokyo QKD Network
Authors:
M. Sasaki,
M. Fujiwara,
H. Ishizuka,
W. Klaus,
K. Wakui,
M. Takeoka,
A. Tanaka,
K. Yoshino,
Y. Nambu,
S. Takahashi,
A. Tajima,
A. Tomita,
T. Domeki,
T. Hasegawa,
Y. Sakai,
H. Kobayashi,
T. Asai,
K. Shimizu,
T. Tokura,
T. Tsurumaru,
M. Matsui,
T. Honjo,
K. Tamaki,
H. Takesue,
Y. Tokura
, et al. (18 additional authors not shown)
Abstract:
A novel secure communication network with quantum key distribution in a metropolitan area is reported. Different QKD schemes are integrated to demonstrate secure TV conferencing over a distance of 45km, stable long-term operation, and application to secure mobile phones.
A novel secure communication network with quantum key distribution in a metropolitan area is reported. Different QKD schemes are integrated to demonstrate secure TV conferencing over a distance of 45km, stable long-term operation, and application to secure mobile phones.
△ Less
Submitted 18 March, 2011;
originally announced March 2011.
-
Performance of hybrid entanglement photon pair source for quantum key distribution
Authors:
M. Fujiwara,
M. Toyoshima,
M. Sasaki,
K. Yoshino,
Y. Nambu,
A. Tomita
Abstract:
We report on the experimental demonstration of a source of hybrid entanglement pairs between two different degrees of freedom, a 1550 nm time-bin qubit and an 810 nm polarization qubit. The polarization qubit at 810 nm is transformed by an asymmetric Mach-Zehnder interferometer consisted of a Glan laser prism and a polarization-maintaining fiber. We obtained visibilities of 95.8% and 88% along Z…
▽ More
We report on the experimental demonstration of a source of hybrid entanglement pairs between two different degrees of freedom, a 1550 nm time-bin qubit and an 810 nm polarization qubit. The polarization qubit at 810 nm is transformed by an asymmetric Mach-Zehnder interferometer consisted of a Glan laser prism and a polarization-maintaining fiber. We obtained visibilities of 95.8% and 88% along Z-Z and X-X axes on the Poincare sphere, respectively with a coincidence count rate of more than 800 c/s after entanglement format transformation. These values are well above the threshold of 70.7% needed to violate a Bell inequality and allow distilling a secure key in the quantum key distribution.
△ Less
Submitted 22 February, 2010;
originally announced February 2010.
-
Updating Quantum Cryptography Report ver. 1
Authors:
Donna Dodson,
Mikio Fujiwara,
Philippe Grangier,
Masahito Hayashi,
Kentaro Imafuku,
Ken-ichi Kitayama,
Prem Kumar,
Christian Kurtsiefer,
Gaby Lenhart,
Norbert Luetkenhaus,
Tsutomu Matsumoto,
William J. Munro,
Tsuyoshi Nishioka,
Momtchil Peev,
Masahide Sasaki,
Yutaka Sata,
Atsushi Takada,
Masahiro Takeoka,
Kiyoshi Tamaki,
Hidema Tanaka,
Yasuhiro Tokura,
Akihisa Tomita,
Morio Toyoshima,
Rodney van Meter,
Atsuhiro Yamagishi
, et al. (2 additional authors not shown)
Abstract:
Quantum cryptographic technology (QCT) is expected to be a fundamental technology for realizing long-term information security even against as-yet-unknown future technologies. More advanced security could be achieved using QCT together with contemporary cryptographic technologies. To develop and spread the use of QCT, it is necessary to standardize devices, protocols, and security requirements a…
▽ More
Quantum cryptographic technology (QCT) is expected to be a fundamental technology for realizing long-term information security even against as-yet-unknown future technologies. More advanced security could be achieved using QCT together with contemporary cryptographic technologies. To develop and spread the use of QCT, it is necessary to standardize devices, protocols, and security requirements and thus enable interoperability in a multi-vendor, multi-network, and multi-service environment. This report is a technical summary of QCT and related topics from the viewpoints of 1) consensual establishment of specifications and requirements of QCT for standardization and commercialization and 2) the promotion of research and design to realize New-Generation Quantum Cryptography.
△ Less
Submitted 27 May, 2009;
originally announced May 2009.
-
Photon-arrival detector with a controlled phase flip operation between a photon and a V-type atomic system
Authors:
Kunihiro Kojima,
Akihisa Tomita
Abstract:
We propose a photon-arrival detector (PAD), which detects the arrival of a signal photon and simultaneously projects the signal input state to a single photon state, with an atom-cavity system. In this proposal, use of a V-type system as the intracavity atom is discussed for implementing the PAD, since V-type systems have been widely studied in the field of solid state, enabling us to miniaturiz…
▽ More
We propose a photon-arrival detector (PAD), which detects the arrival of a signal photon and simultaneously projects the signal input state to a single photon state, with an atom-cavity system. In this proposal, use of a V-type system as the intracavity atom is discussed for implementing the PAD, since V-type systems have been widely studied in the field of solid state, enabling us to miniaturize and integrate that implementation. The performance of the proposed PAD is evaluated for a specific method of the detection process. The proposed PAD is capable of repeating the procedure for detecting the arrival of input photons and it has improves the detection probability so that it has a higher quantum efficiency than those of conventional photodetectors.
△ Less
Submitted 24 June, 2008; v1 submitted 22 June, 2008;
originally announced June 2008.
-
Proposal of an eavesdropping experiment for BB84 QKD protocol with 1-3 phase-covariant quantum cloner
Authors:
Yuta Okubo,
Francesco Buscemi,
Akihisa Tomita
Abstract:
We propose an eavesdropping experiment with linear optical 1-3 phase-covariant quantum cloner. In this paper, we have designed an optical circuit of the cloner and shown how the eavesdropper (Eve) utilizes her clones. We have also optimized the measurement scheme for Eve by numerical calculation. The optimized measurement is easy to implement with liner optics.
We propose an eavesdropping experiment with linear optical 1-3 phase-covariant quantum cloner. In this paper, we have designed an optical circuit of the cloner and shown how the eavesdropper (Eve) utilizes her clones. We have also optimized the measurement scheme for Eve by numerical calculation. The optimized measurement is easy to implement with liner optics.
△ Less
Submitted 10 June, 2008;
originally announced June 2008.
-
Ultra fast quantum key distribution over a 97 km installed telecom fiber with wavelength-division multiplexing clock synchronization
Authors:
Akihiro Tanaka,
Mikio Fujiwara,
Sae Woo Nam,
Yoshihiro Nambu,
Seigo Takahashi,
Wakako Maeda,
Ken-ichiro Yoshino,
Shigehito Miki,
Burm Baek,
Zhen Wang,
Akio Tajima,
Masahide Sasaki,
Akihisa Tomita
Abstract:
We demonstrated ultra fast BB84 quantum key distribution (QKD) transmission at 625 MHz clock rate through a 97 km field-installed fiber using practical clock synchronization based on wavelength-division multiplexing (WDM). We succeeded in over-one-hour stable key generation at a high sifted key rate of 2.4 kbps and a low quantum bit error rate (QBER) of 2.9%. The asymptotic secure key rate was e…
▽ More
We demonstrated ultra fast BB84 quantum key distribution (QKD) transmission at 625 MHz clock rate through a 97 km field-installed fiber using practical clock synchronization based on wavelength-division multiplexing (WDM). We succeeded in over-one-hour stable key generation at a high sifted key rate of 2.4 kbps and a low quantum bit error rate (QBER) of 2.9%. The asymptotic secure key rate was estimated to be 0.78-0.82 kbps from the transmission data with the decoy method of average photon numbers 0, 0.15, and 0.4 photons/pulse.
△ Less
Submitted 23 June, 2008; v1 submitted 14 May, 2008;
originally announced May 2008.
-
Cross-talk suppressed multi-anode MCP-PMT
Authors:
K. Inami,
T. Mori,
T. Matsumura,
K. Kurimoto,
S. Hasegawa,
Y. Suzuki,
T. Murase,
Y. Yurikusa,
M. Akatsu,
Y. Enari,
T. Hokuue,
A. Tomita,
N. Kishimoto,
T. Ohshima,
T. Ihara,
H. Nishizawa
Abstract:
We have developed a 4-channel multi-anode MCP-PMT, SL10, which exhibits a performance of sigma_TTS ~ 30 ps for single photons with G ~ 10^6 and QE=20% under a magnetic field of B <= 1.5 T. The cross-talk among anodes has been extensively studied. We have taken two measures to suppress it: one is to configure the SL10 to an effectively independent 4 small pieces of MCP-PMT's by segmenting an elec…
▽ More
We have developed a 4-channel multi-anode MCP-PMT, SL10, which exhibits a performance of sigma_TTS ~ 30 ps for single photons with G ~ 10^6 and QE=20% under a magnetic field of B <= 1.5 T. The cross-talk among anodes has been extensively studied. We have taken two measures to suppress it: one is to configure the SL10 to an effectively independent 4 small pieces of MCP-PMT's by segmenting an electrode of the second MCP-layer; the other is to use a constant fractional discriminator. Remarkable improvement has been achieved.
△ Less
Submitted 5 March, 2008;
originally announced March 2008.
-
Quantum information with Gaussian states
Authors:
X. -B. Wang,
T. Hiroshima,
A. Tomita,
M. Hayashi
Abstract:
Quantum optical Gaussian states are a type of important robust quantum states which are manipulatable by the existing technologies. So far, most of the important quantum information experiments are done with such states, including bright Gaussian light and weak Gaussian light. Extending the existing results of quantum information with discrete quantum states to the case of continuous variable qu…
▽ More
Quantum optical Gaussian states are a type of important robust quantum states which are manipulatable by the existing technologies. So far, most of the important quantum information experiments are done with such states, including bright Gaussian light and weak Gaussian light. Extending the existing results of quantum information with discrete quantum states to the case of continuous variable quantum states is an interesting theoretical job. The quantum Gaussian states play a central role in such a case. We review the properties and applications of Gaussian states in quantum information with emphasis on the fundamental concepts, the calculation techniques and the effects of imperfections of the real-life experimental setups.
Topics here include the elementary properties of Gaussian states and relevant quantum information device, entanglement-based quantum tasks such as quantum teleportation, quantum cryptography with weak and strong Gaussian states and the quantum channel capacity, mathematical theory of quantum entanglement and state estimation for Gaussian states.
△ Less
Submitted 30 January, 2008;
originally announced January 2008.