Showing 1–50 of 86 results for author: Nakahara, M

Observation of Declination Dependence in the Cosmic Ray Energy Spectrum

Authors: The Telescope Array Collaboration, R. U. Abbasi, T. Abu-Zayyad, M. Allen, J. W. Belz, D. R. Bergman, I. Buckland, W. Campbell, B. G. Cheon, K. Endo, A. Fedynitch, T. Fujii, K. Fujisue, K. Fujita, M. Fukushima, G. Furlich, Z. Gerber, N. Globus, W. Hanlon, N. Hayashida, H. He, K. Hibino, R. Higuchi, D. Ikeda, T. Ishii , et al. (101 additional authors not shown)

Abstract: We report on an observation of the difference between northern and southern skies of the ultrahigh energy cosmic ray energy spectrum with a significance of ${\sim}8σ$. We use measurements from the two largest experiments$\unicode{x2014}$the Telescope Array observing the northern hemisphere and the Pierre Auger Observatory viewing the southern hemisphere. Since the comparison of two measurements fr… ▽ More We report on an observation of the difference between northern and southern skies of the ultrahigh energy cosmic ray energy spectrum with a significance of ${\sim}8σ$. We use measurements from the two largest experiments$\unicode{x2014}$the Telescope Array observing the northern hemisphere and the Pierre Auger Observatory viewing the southern hemisphere. Since the comparison of two measurements from different observatories introduces the issue of possible systematic differences between detectors and analyses, we validate the methodology of the comparison by examining the region of the sky where the apertures of the two observatories overlap. Although the spectra differ in this region, we find that there is only a $1.8σ$ difference between the spectrum measurements when anisotropic regions are removed and a fiducial cut in the aperture is applied. △ Less

Submitted 12 June, 2024; originally announced June 2024.

Comments: 8 pages, 6 figures

Self-adaptive Traffic Anomaly Detection System for IoT Smart Home Environments

Authors: Naoto Watanabe, Taku Yamazaki, Takumi Miyoshi, Ryo Yamamoto, Masataka Nakahara, Norihiro Okui, Ayumu Kubota

Abstract: With the growth of internet of things (IoT) devices, cyberattacks, such as distributed denial of service, that exploit vulnerable devices infected with malware have increased. Therefore, vendors and users must keep their device firmware updated to eliminate vulnerabilities and quickly handle unknown cyberattacks. However, it is difficult for both vendors and users to continually keep the devices s… ▽ More With the growth of internet of things (IoT) devices, cyberattacks, such as distributed denial of service, that exploit vulnerable devices infected with malware have increased. Therefore, vendors and users must keep their device firmware updated to eliminate vulnerabilities and quickly handle unknown cyberattacks. However, it is difficult for both vendors and users to continually keep the devices safe because vendors must provide updates quickly and the users must continuously manage the conditions of all deployed devices. Therefore, to ensure security, it is necessary for a system to adapt autonomously to changes in cyberattacks. In addition, it is important to consider network-side security that detects and filters anomalous traffic at the gateway to comprehensively protect those devices. This paper proposes a self-adaptive anomaly detection system for IoT traffic, including unknown attacks. The proposed system comprises a honeypot server and a gateway. The honeypot server continuously captures traffic and adaptively generates an anomaly detection model using real-time captured traffic. Thereafter, the gateway uses the generated model to detect anomalous traffic. Thus, the proposed system can adapt to unknown attacks to reflect pattern changes in anomalous traffic based on real-time captured traffic. Three experiments were conducted to evaluate the proposed system: a virtual experiment using pre-captured traffic from various regions across the world, a demonstration experiment using real-time captured traffic, and a virtual experiment using a public dataset containing the traffic generated by malware. The experimental results indicate that a system adaptable in real time to evolving cyberattacks is a novel approach for ensuring the comprehensive security of IoT devices against both known and unknown attacks. △ Less

Submitted 5 March, 2024; originally announced March 2024.

Comments: 12 pages, 43 figures

On-Premises Superconducting Quantum Computer for Education and Research

Authors: Jami Rönkkö, Olli Ahonen, Ville Bergholm, Alessio Calzona, Attila Geresdi, Hermanni Heimonen, Johannes Heinsoo, Vladimir Milchakov, Stefan Pogorzalek, Matthew Sarsby, Mykhailo Savytskyi, Stefan Seegerer, Fedor Šimkovic IV, P. V. Sriluckshmy, Panu T. Vesanen, Mikio Nakahara

Abstract: With a growing interest in quantum technology globally, there is an increasing need for accessing relevant physical systems for education and research. In this paper we introduce a commercially available on-site quantum computer utilizing superconducting technology, offering insights into its fundamental hardware and software components. We show how this system can be used in education to teach qu… ▽ More With a growing interest in quantum technology globally, there is an increasing need for accessing relevant physical systems for education and research. In this paper we introduce a commercially available on-site quantum computer utilizing superconducting technology, offering insights into its fundamental hardware and software components. We show how this system can be used in education to teach quantum concepts and deepen understanding of quantum theory and quantum computing. It offers learning opportunities for future talent and contributes to technological progress. Additionally, we demonstrate its use in research by replicating some notable recent achievements. △ Less

Submitted 4 March, 2024; v1 submitted 11 February, 2024; originally announced February 2024.

Comments: 47 pages and 23 figures. Several typos corrected. Reference [50] added

A note on Majorana representation of quantum states

Authors: Chi-Kwong Li, Mikio Nakahara

Abstract: By the Majorana representation, for any $d > 1$ there is a one-one correspondence between a quantum state of dimension $d$ and $d-1$ qubits represented as $d-1$ points in the Bloch sphere. Using the theory of symmetry class of tensors, we present a simple scheme for constructing $d-1$ points on the Bloch sphere and the corresponding $d-1$ qubits representing a $d$-dimensional quantum state. Additi… ▽ More By the Majorana representation, for any $d > 1$ there is a one-one correspondence between a quantum state of dimension $d$ and $d-1$ qubits represented as $d-1$ points in the Bloch sphere. Using the theory of symmetry class of tensors, we present a simple scheme for constructing $d-1$ points on the Bloch sphere and the corresponding $d-1$ qubits representing a $d$-dimensional quantum state. Additionally, we demonstrate how the inner product of two $d$-dimensional quantum states can be expressed as a permanent of a matrix related to their $(d-1)$-qubit state representations. Extension of the result to mixed states is also considered. △ Less

Submitted 2 July, 2024; v1 submitted 27 August, 2023; originally announced August 2023.

Comments: 6 pages

MSC Class: 15A90; 15A60

Unified Derivation of Uncertainty Relations and Their Saturation Conditions

Authors: Chi-Kwong Li, Mikio Nakahara

Abstract: We analyze uncertainty relations due to Kennard, Robertson, Schrödinger, Maccone and Pati in a unified way from matrix theory point of view. Short proofs are given to these uncertainty relations and characterizations of the saturation conditions are given. We analyze uncertainty relations due to Kennard, Robertson, Schrödinger, Maccone and Pati in a unified way from matrix theory point of view. Short proofs are given to these uncertainty relations and characterizations of the saturation conditions are given. △ Less

Submitted 1 October, 2023; v1 submitted 12 February, 2023; originally announced February 2023.

Comments: 6 pages

Quantifying and Managing Impacts of Concept Drifts on IoT Traffic Inference in Residential ISP Networks

Authors: Arman Pashamokhtari, Norihiro Okui, Masataka Nakahara, Ayumu Kubota, Gustavo Batista, Hassan Habibi Gharakheili

Abstract: Millions of vulnerable consumer IoT devices in home networks are the enabler for cyber crimes putting user privacy and Internet security at risk. Internet service providers (ISPs) are best poised to play key roles in mitigating risks by automatically inferring active IoT devices per household and notifying users of vulnerable ones. Develo** a scalable inference method that can perform robustly a… ▽ More Millions of vulnerable consumer IoT devices in home networks are the enabler for cyber crimes putting user privacy and Internet security at risk. Internet service providers (ISPs) are best poised to play key roles in mitigating risks by automatically inferring active IoT devices per household and notifying users of vulnerable ones. Develo** a scalable inference method that can perform robustly across thousands of home networks is a non-trivial task. This paper focuses on the challenges of develo** and applying data-driven inference models when labeled data of device behaviors is limited and the distribution of data changes (concept drift) across time and space domains. Our contributions are three-fold: (1) We collect and analyze network traffic of 24 types of consumer IoT devices from 12 real homes over six weeks to highlight the challenge of temporal and spatial concept drifts in network behavior of IoT devices; (2) We analyze the performance of two inference strategies, namely "global inference" (a model trained on a combined set of all labeled data from training homes) and "contextualized inference" (several models each trained on the labeled data from a training home) in the presence of concept drifts; and (3) To manage concept drifts, we develop a method that dynamically applies the ``closest'' model (from a set) to network traffic of unseen homes during the testing phase, yielding better performance in 20% of scenarios. △ Less

Submitted 30 January, 2023; v1 submitted 16 January, 2023; originally announced January 2023.

Comments: Submitted to IEEE IoT Journal

ACM Class: I.2; G.3

Semi-integral Brauer-Manin obstruction and quadric orbifold pairs

Authors: Vladimir Mitankin, Masahiro Nakahara, Sam Streeter

Abstract: We study local-global principles for two notions of semi-integral points, termed Campana points and Darmon points. In particular, we develop a semi-integral version of the Brauer-Manin obstruction interpolating between Manin's classical version for rational points and the integral version developed by Colliot-Thélène and Xu. We determine the status of local-global principles, and obstructions to t… ▽ More We study local-global principles for two notions of semi-integral points, termed Campana points and Darmon points. In particular, we develop a semi-integral version of the Brauer-Manin obstruction interpolating between Manin's classical version for rational points and the integral version developed by Colliot-Thélène and Xu. We determine the status of local-global principles, and obstructions to them, in two families of orbifolds naturally associated to quadric hypersurfaces. Further, we establish a quantitative result measuring the failure of the semi-integral Brauer-Manin obstruction to account for its integral counterpart for affine quadrics. △ Less

Submitted 5 March, 2024; v1 submitted 30 September, 2022; originally announced September 2022.

Comments: 40 pages

MSC Class: 14G12; 14G05; 11G35

Counterdiabatic Formalism of Shortcuts to Adiabaticity

Authors: Mikio Nakahara

Abstract: Pedagogical introduction to counterdiabatic formalism of shortcuts to adiabaticity is given so that the readers are accessible to some of more specialized articles in the rest of this theme issue without a much barrier. A guide to references is given so that this article also serves as a mini-review. Pedagogical introduction to counterdiabatic formalism of shortcuts to adiabaticity is given so that the readers are accessible to some of more specialized articles in the rest of this theme issue without a much barrier. A guide to references is given so that this article also serves as a mini-review. △ Less

Submitted 15 August, 2022; originally announced August 2022.

Comments: 21 pages, 5 figures, article submitted to the special issue "Shortcuts to Adiabaticity: Theoretical, Experimental and Interdisciplinary Perspectives" of the Philosophical Transactions A

Weak approximation on Châtelet surfaces

Authors: Masahiro Nakahara, Samuel Roven

Abstract: We study weak approximation for Châtelet surfaces over number fields when all singular fibers are defined over rational points. We consider Châtelet surfaces which satisfy weak approximation over every finite extension of the ground field. We prove many of these results by showing that the Brauer-Manin obstruction vanishes, then apply results of Colliot-Thélène, Sansuc, and Swinnerton-Dyer. We study weak approximation for Châtelet surfaces over number fields when all singular fibers are defined over rational points. We consider Châtelet surfaces which satisfy weak approximation over every finite extension of the ground field. We prove many of these results by showing that the Brauer-Manin obstruction vanishes, then apply results of Colliot-Thélène, Sansuc, and Swinnerton-Dyer. △ Less

Submitted 21 June, 2022; originally announced June 2022.

Comments: 14 pages

MSC Class: 14G05 (primary); 14F22 (secondary)

The elliptic sieve and Brauer groups

Authors: Subham Bhakta, Daniel Loughran, Simon L. Rydin Myerson, Masahiro Nakahara

Abstract: A theorem of Serre states that almost all plane conics over $\mathbb{Q}$ have no rational point. We prove an analogue of this for families of conics parametrised by elliptic curves using elliptic divisibility sequences and a version of the Selberg sieve for elliptic curves. We also give more general results for specialisations of Brauer groups, which yields applications to norm form equations. A theorem of Serre states that almost all plane conics over $\mathbb{Q}$ have no rational point. We prove an analogue of this for families of conics parametrised by elliptic curves using elliptic divisibility sequences and a version of the Selberg sieve for elliptic curves. We also give more general results for specialisations of Brauer groups, which yields applications to norm form equations. △ Less

Submitted 17 March, 2023; v1 submitted 8 September, 2021; originally announced September 2021.

Comments: 32 pages

MSC Class: 14G05; 11N36; 14F22; 11G05

Weak approximation and the Hilbert property for Campana points

Authors: Masahiro Nakahara, Sam Streeter

Abstract: We study weak approximation and the Hilbert property for Campana points, both of importance in recent work on a Manin-type conjecture by Pieropan, Smeets, Tanimoto and Varilly-Alvarado. We show that weak weak approximation implies the Hilbert property for Campana points, and we exploit this to exhibit Campana orbifolds whose sets of Campana points are not thin. We study weak approximation and the Hilbert property for Campana points, both of importance in recent work on a Manin-type conjecture by Pieropan, Smeets, Tanimoto and Varilly-Alvarado. We show that weak weak approximation implies the Hilbert property for Campana points, and we exploit this to exhibit Campana orbifolds whose sets of Campana points are not thin. △ Less

Submitted 3 May, 2023; v1 submitted 23 October, 2020; originally announced October 2020.

Comments: 23 pages, minor revisions; to appear in Michigan Mathematical Journal

MSC Class: 14G05 (Primary) 11G35 (Secondary)

Uniform potential density for rational points on algebraic groups and elliptic K3 surfaces

Authors: Kuan-Wen Lai, Masahiro Nakahara

Abstract: A collection of varieties satisfies uniform potential density if each of them contains a dense subset of rational points after extending its ground field by a bounded degree. In this paper, we prove that uniform potential density holds for connected algebraic groups of a fixed dimension over fields of characteristic zero as well as elliptic K3 surfaces over number fields. A collection of varieties satisfies uniform potential density if each of them contains a dense subset of rational points after extending its ground field by a bounded degree. In this paper, we prove that uniform potential density holds for connected algebraic groups of a fixed dimension over fields of characteristic zero as well as elliptic K3 surfaces over number fields. △ Less

Submitted 4 September, 2021; v1 submitted 1 October, 2020; originally announced October 2020.

Comments: Final version, accepted by International Mathematics Research Notices

MSC Class: 14G05; 14J27; 14J28; 14K15; 14L10

Controllable non-Markovianity in phase relaxation

Authors: Shingo Kukita, Yasushi Kondo, Mikio Nakahara

Abstract: Recently remarkable progress in quantum technology has been witnessed. In view of this it is important to investigate an open quantum system as a model of such quantum devices. Quantum devices often require extreme conditions such as very low temperature for the devices to operate. Dynamics can be non-Markovian in such a situation in contrast with Markovian dynamics in high temperature regime. Thi… ▽ More Recently remarkable progress in quantum technology has been witnessed. In view of this it is important to investigate an open quantum system as a model of such quantum devices. Quantum devices often require extreme conditions such as very low temperature for the devices to operate. Dynamics can be non-Markovian in such a situation in contrast with Markovian dynamics in high temperature regime. This observation necessitates us to investigate a non-Markovian open quantum system, both theoretically and experimentally. In this paper, we report two important results: 1) Exact solution of a simple but non-trivial theoretical model and 2) demonstration of this model by NMR experiments, where non-Markovianity is continuously controllable. We observe qualitative agreement between theory and experiment. △ Less

Submitted 22 July, 2020; originally announced July 2020.

Comments: 19 pages, 5 figures

Quantitative arithmetic of diagonal degree $2$ K3 surfaces

Authors: Damián Gvirtz-Chen, Daniel Loughran, Masahiro Nakahara

Abstract: In this paper we study the existence of rational points for the family of K3 surfaces over $\mathbb{Q}$ given by $$w^2 = A_1x_1^6 + A_2x_2^6 + A_3x_3^6.$$ When the coefficients are ordered by height, we show that the Brauer group is almost always trivial, and find the exact order of magnitude of surfaces for which there is a Brauer-Manin obstruction to the Hasse principle. Our results show definit… ▽ More In this paper we study the existence of rational points for the family of K3 surfaces over $\mathbb{Q}$ given by $$w^2 = A_1x_1^6 + A_2x_2^6 + A_3x_3^6.$$ When the coefficients are ordered by height, we show that the Brauer group is almost always trivial, and find the exact order of magnitude of surfaces for which there is a Brauer-Manin obstruction to the Hasse principle. Our results show definitively that K3 surfaces can have a Brauer-Manin obstruction to the Hasse principle that is only explained by odd order torsion. △ Less

Submitted 28 September, 2021; v1 submitted 14 October, 2019; originally announced October 2019.

Comments: 57 pages. To appear in Mathematische Annalen

MSC Class: 14G05 (primary); 14F22 (secondary)

Bijective Cremona transformations of the plane

Authors: Shamil Asgarli, Kuan-Wen Lai, Masahiro Nakahara, Susanna Zimmermann

Abstract: We study the birational self-maps of the projective plane over finite fields that induce permutations on the set of rational points. As a main result, we prove that no odd permutation arises over a non-prime finite field of characteristic two, which completes the investigation initiated by Cantat about which permutations can be realized this way. Main ingredients in our proof include the invarianc… ▽ More We study the birational self-maps of the projective plane over finite fields that induce permutations on the set of rational points. As a main result, we prove that no odd permutation arises over a non-prime finite field of characteristic two, which completes the investigation initiated by Cantat about which permutations can be realized this way. Main ingredients in our proof include the invariance of parity under groupoid conjugations by birational maps, and a list of generators for the group of such maps. △ Less

Submitted 21 March, 2022; v1 submitted 11 October, 2019; originally announced October 2019.

Comments: 51 pages, removed section 5.A and made improvements on exposition, to appear in Selecta Mathematica

MSC Class: 14E07 (Primary) 14G15; 20B30 (Secondary)

Rational points on conic bundles over elliptic curves

Authors: Jennifer Berg, Masahiro Nakahara

Abstract: We study rational points on conic bundles over elliptic curves with positive rank over a number field. We show that the etale Brauer-Manin obstruction is insufficient to explain failures of the Hasse principle for such varieties. We then further consider properties of the distribution of the set of rational points with respect to its image in the rational points of the elliptic curve. In the proce… ▽ More We study rational points on conic bundles over elliptic curves with positive rank over a number field. We show that the etale Brauer-Manin obstruction is insufficient to explain failures of the Hasse principle for such varieties. We then further consider properties of the distribution of the set of rational points with respect to its image in the rational points of the elliptic curve. In the process, we prove results on a local-to-global principle for torsion points on elliptic curves over $\mathbb{Q}$. △ Less

Submitted 29 September, 2019; v1 submitted 23 June, 2019; originally announced June 2019.

Comments: 22 pages; Updated with change in exposition and some new results

MSC Class: 14G05 (primary) 14F22; 11G05 (secondary)

On the explicit constructions of certain unitary $t$-designs

Authors: Eiichi Bannai, Mikio Nakahara, Da Zhao, Yan Zhu

Abstract: Unitary $t$-designs are `good' finite subsets of the unitary group $U(d)$ that approximate the whole unitary group $U(d)$ well. Unitary $t$-designs have been applied in randomized benchmarking, tomography, quantum cryptography and many other areas of quantum information science. If a unitary $t$-design itself is a group then it is called a unitary $t$-group. Although it is known that unitary $t$-d… ▽ More Unitary $t$-designs are `good' finite subsets of the unitary group $U(d)$ that approximate the whole unitary group $U(d)$ well. Unitary $t$-designs have been applied in randomized benchmarking, tomography, quantum cryptography and many other areas of quantum information science. If a unitary $t$-design itself is a group then it is called a unitary $t$-group. Although it is known that unitary $t$-designs in $U(d)$ exist for any $t$ and $d$, the unitary $t$-groups do not exist for $t\geq 4$ if $d\geq 3$, as it is shown by Guralnick-Tiep (2005) and Bannai-Navarro-Rizo-Tiep (BNRT, 2018). Explicit constructions of exact unitary $t$-designs in $U(d)$ are not easy in general. In particular, explicit constructions of unitary $4$-designs in $U(4)$ have been an open problem in quantum information theory. We prove that some exact unitary $(t+1)$-designs in the unitary group $U(d)$ are constructed from unitary $t$-groups in $U(d)$ that satisfy certain specific conditions. Based on this result, we specifically construct exact unitary $3$-designs in $U(3)$ from the unitary $2$-group $SL(3,2)$ in $U(3),$ and also unitary $4$-designs in $U(4)$ from the unitary $3$-group $Sp(4,3)$ in $U(4)$ numerically. We also discuss some related problems. △ Less

Submitted 11 June, 2019; originally announced June 2019.

Comments: 17 pages, 1 figure

Acoustic black holes in curved spacetime and emergence of analogue Minkowski metric

Authors: Xian-Hui Ge, Mikio Nakahara, Sang-** Sin, Yu Tian, Shao-Feng Wu

Abstract: Gravity is not only able to be mimicked in flat spacetimes, but also in curved spacetimes. We study analogue gravity models in curved spacetime by considering the relativistic Gross-Pitaevskii theory and Yang-Mills theory in the fixed background spacetime geometry. The results show that acoustic metrics can be emergent from curved spacetimes yielding a Hadamard product of a real metric-tensor and… ▽ More Gravity is not only able to be mimicked in flat spacetimes, but also in curved spacetimes. We study analogue gravity models in curved spacetime by considering the relativistic Gross-Pitaevskii theory and Yang-Mills theory in the fixed background spacetime geometry. The results show that acoustic metrics can be emergent from curved spacetimes yielding a Hadamard product of a real metric-tensor and an analogue metric-tensor. Taking \emph{quantum vortices} as \emph{test particles}, we evaluate their released energy ratio during the "gravitational binding". The $2+1$-dimensional flat Minkowski metric is derived from the $3+1$-dimensional Anti-de Sitter space by considering perturbations of the Yang-Mills field, which implies that Minkowski spacetime can be also simulated and the derivations presented here have some deep connections with the holographic principle. △ Less

Submitted 14 March, 2019; v1 submitted 28 February, 2019; originally announced February 2019.

Comments: 17 pages, 3 tables, 1 figure, references added

Journal ref: Phys. Rev. D 99, 104047 (2019)

Effects of a magnetic field on vortex states in superfluid $^3$He-B

Authors: Kenichi Kasamatsu, Ryota Mizuno, Tetsuo Ohmi, Mikio Nakahara

Abstract: Superfluid $^3$He-B possesses three locally stable vortices known as a normal-core vortex ($o$-vortex), an A-phase-core vortex ($v$-vortex), and a double-core vortex ($d$-vortex). In this work, we study the effects of a magnetic field parallel or perpendicular to the vortex axis on these structures by solving the two-dimensional Ginzburg-Landau equation for two different sets of strong coupling co… ▽ More Superfluid $^3$He-B possesses three locally stable vortices known as a normal-core vortex ($o$-vortex), an A-phase-core vortex ($v$-vortex), and a double-core vortex ($d$-vortex). In this work, we study the effects of a magnetic field parallel or perpendicular to the vortex axis on these structures by solving the two-dimensional Ginzburg-Landau equation for two different sets of strong coupling correction. The energies of the $v$- and $d$-vortices have nontrivial dependence on the magnetic field. As a longitudinal magnetic field increases, the $v$-vortex is energetically unstable even for high pressures and the $d$-vortex becomes energetically most stable for all possible range of pressure. For a transverse magnetic field the energy of the $v$-vortex becomes lower than that of the $d$-vortex in the high pressure side. In addition, the orientation of the double cores in the $d$-vortex prefers to be parallel to the magnetic field at low pressures, while the $d$-vortex with the double cores perpendicular to the magnetic field is allowed to continuously deform into the $v$-vortex by increasing the pressure. △ Less

Submitted 9 January, 2019; originally announced January 2019.

Comments: 12 pages, 12 figures

Journal ref: Phys. Rev. B 99, 104513 (2019)

Three-dimensional skyrmions in spin-2 Bose-Einstein condensates

Authors: K. Tiurev, T. Ollikainen, P. Kuopanportti, M. Nakahara, D. S. Hall, M. Möttönen

Abstract: We introduce topologically stable three-dimensional skyrmions in the cyclic and biaxial nematic phases of a spin-2 Bose-Einstein condensate. These skyrmions exhibit exceptionally high map** degrees resulting from the versatile symmetries of the corresponding order parameters. We show how these structures can be created in existing experimental setups and study their temporal evolution and lifeti… ▽ More We introduce topologically stable three-dimensional skyrmions in the cyclic and biaxial nematic phases of a spin-2 Bose-Einstein condensate. These skyrmions exhibit exceptionally high map** degrees resulting from the versatile symmetries of the corresponding order parameters. We show how these structures can be created in existing experimental setups and study their temporal evolution and lifetime by numerically solving the three-dimensional Gross-Pitaevskii equations for realistic parameter values. Although the biaxial nematic and cyclic phases are observed to be unstable against transition towards the ferromagnetic phase, their lifetimes are long enough for the skyrmions to be imprinted and detected experimentally. △ Less

Submitted 2 July, 2018; v1 submitted 3 November, 2017; originally announced November 2017.

Comments: 6 pages, 4 figures

Journal ref: New J. Phys. 20, 055011 (2018)

Brauer-Manin obstructions on degree 2 K3 surfaces

Authors: Patrick Corn, Masahiro Nakahara

Abstract: We analyze the Brauer-Manin obstruction to rational points on the K3 surfaces over $\mathbb{Q}$ given by double covers of $\mathbb{P}^2$ ramified over a diagonal sextic. After finding an explicit set of generators for the geometric Picard group of such a surface, we find two types of infinite families of counterexamples to the Hasse principle explained by the algebraic Brauer-Manin obstruction. Th… ▽ More We analyze the Brauer-Manin obstruction to rational points on the K3 surfaces over $\mathbb{Q}$ given by double covers of $\mathbb{P}^2$ ramified over a diagonal sextic. After finding an explicit set of generators for the geometric Picard group of such a surface, we find two types of infinite families of counterexamples to the Hasse principle explained by the algebraic Brauer-Manin obstruction. The first type of obstruction comes from a quaternion algebra, and the second type comes from a 3-torsion element of the Brauer group, which gives an affirmative answer to a question asked by Ieronymou and Skorobogatov. △ Less

Submitted 15 October, 2019; v1 submitted 30 October, 2017; originally announced October 2017.

Comments: Fixed a minor error in computing the Brauer group on page 12. Relabeled the section numbers to match with published version

MSC Class: 14G05; 11G35; 14F22

Journal ref: Res. Number Theory (2018) 4: 33

Quantum knots in Bose-Einstein condensates created by counterdiabatic control

Authors: T. Ollikainen, S. Masuda, M. Möttönen, M. Nakahara

Abstract: We theoretically study the creation of knot structures in the polar phase of spin-1 BECs using the counterdiabatic protocol in an unusual fashion. We provide an analytic solution to the evolution of the external magnetic field that is used to imprint the knots. As confirmed by our simulations using the full three-dimensional spin-1 Gross-Pitaevskii equation, our method allows for the precise contr… ▽ More We theoretically study the creation of knot structures in the polar phase of spin-1 BECs using the counterdiabatic protocol in an unusual fashion. We provide an analytic solution to the evolution of the external magnetic field that is used to imprint the knots. As confirmed by our simulations using the full three-dimensional spin-1 Gross-Pitaevskii equation, our method allows for the precise control of the Hopf charge as well as the creation time of the knots. The knots with Hopf charge exceeding unity display multiple nested Hopf links. △ Less

Submitted 29 September, 2017; v1 submitted 17 September, 2017; originally announced September 2017.

Comments: 7 pages, 6 figures

Journal ref: Phys. Rev. A 96, 063609 (2017)

Index of fibrations and Brauer classes that never obstruct the Hasse principle

Authors: Masahiro Nakahara

Abstract: Let $X$ be a smooth projective variety with a fibration into varieties that either satisfy a condition on representability of zero-cycles or that are torsors under an abelian variety. We study the classes in the Brauer group that never obstruct the Hasse principle for $X$. We prove that if the generic fiber has a zero-cycle of degree $d$ over the generic point, then the Brauer classes whose orders… ▽ More Let $X$ be a smooth projective variety with a fibration into varieties that either satisfy a condition on representability of zero-cycles or that are torsors under an abelian variety. We study the classes in the Brauer group that never obstruct the Hasse principle for $X$. We prove that if the generic fiber has a zero-cycle of degree $d$ over the generic point, then the Brauer classes whose orders are prime to $d$ do not play a role in the Brauer--Manin obstruction. As a result we show that the odd torsion Brauer classes never obstruct the Hasse principle for del Pezzo surfaces of degree 2, certain K3 surfaces, and Kummer varieties. △ Less

Submitted 4 July, 2017; v1 submitted 21 June, 2017; originally announced June 2017.

Comments: 9 pages, minor changes in text and presentation

MSC Class: 14G05; 11G35; 14F22

Journal ref: Adv. Math., 348 (2019), 512-522

Spin-selective electron transfer in quantum dot array

Authors: Shumpei Masuda, Kuan Yen Tan, Mikio Nakahara

Abstract: We propose a spin-selective coherent electron transfer in a silicon-quantum-dot array. Oscillating magnetic fields and temporally controlled gate voltages are utilised to separate the electron wave function into different quantum dots depending on the spin state. We introduce non-adiabatic and adiabatic protocols which offer fast electron transfer and the robustness against the error in the contro… ▽ More We propose a spin-selective coherent electron transfer in a silicon-quantum-dot array. Oscillating magnetic fields and temporally controlled gate voltages are utilised to separate the electron wave function into different quantum dots depending on the spin state. We introduce non-adiabatic and adiabatic protocols which offer fast electron transfer and the robustness against the error in the control-field pulse area, respectively. We also study a shortcut-to-adiabaticity protocol which compromises these two protocols. We show that this scheme can be extended to multi-electron systems straightforwardly and used for non-local manipulations of the electrons. △ Less

Submitted 20 November, 2017; v1 submitted 26 December, 2016; originally announced December 2016.

Journal ref: Phys. Rev. B 97, 045418 (2018)

Counter-diabatic vortex pump in spinor Bose-Einstein condensates

Authors: T. Ollikainen, S. Masuda, M. Möttönen, M. Nakahara

Abstract: Topological phase imprinting is a well-established technique for deterministic vortex creation in spinor Bose-Einstein condensates of alkali metal atoms. It was recently shown that counter-diabatic quantum control may accelerate vortex creation in comparison to the standard adiabatic protocol and suppress the atom loss due to nonadiabatic transitions. Here we apply this technique, assisted by an o… ▽ More Topological phase imprinting is a well-established technique for deterministic vortex creation in spinor Bose-Einstein condensates of alkali metal atoms. It was recently shown that counter-diabatic quantum control may accelerate vortex creation in comparison to the standard adiabatic protocol and suppress the atom loss due to nonadiabatic transitions. Here we apply this technique, assisted by an optical plug, for vortex pum** to theoretically show that sequential phase imprinting up to 20 cycles generates a vortex with a very large winding number. Our method significantly increases the fidelity of the pump for rapid pum** compared to the case without the counter-diabatic control, leading to the highest angular momentum per particle reported to date for the vortex pump. Our studies are based on numerical integration of the three-dimensional multi-component Gross-Pitaevskii equation which conveniently yields the density profiles, phase profiles, angular momentum, and other physically important quantities of the spin-1 system. Our results motivate the experimental realization of the vortex pump and studies of the rich physics it involves. △ Less

Submitted 13 October, 2016; originally announced October 2016.

Comments: 8 pages, 5 figures

Journal ref: Phys. Rev. A 95, 013615 (2017)

Concatenated Composite Pulses Applied to Liquid-State Nuclear Magnetic Resonance Spectroscopy

Authors: Masamitsu Bando, Tsubasa Ichikawa, Yasushi Kondo, Nobuaki Nemoto, Mikio Nakahara, Yutaka Shikano

Abstract: The error-robust and short composite operations named ConCatenated Composite Pulses (CCCPs), developed as high-precision unitary operations in quantum information processing (QIP), are derived from composite pulses widely employed in nuclear magnetic resonance (NMR). CCCPs simultaneously compensate for two types of systematic errors, which was not possible with the known composite pulses in NMR. O… ▽ More The error-robust and short composite operations named ConCatenated Composite Pulses (CCCPs), developed as high-precision unitary operations in quantum information processing (QIP), are derived from composite pulses widely employed in nuclear magnetic resonance (NMR). CCCPs simultaneously compensate for two types of systematic errors, which was not possible with the known composite pulses in NMR. Our experiments demonstrate that CCCPs are powerful and versatile tools not only in QIP but also in NMR. △ Less

Submitted 9 January, 2020; v1 submitted 12 August, 2015; originally announced August 2015.

Comments: 11 pages, 11 figures, 1 table

Journal ref: Scientific Reports 10, 2126 (2020)

Fast control of topological vortex formation in BEC by counter-diabatic driving

Authors: Shumpei Masuda, Utkan Güngördü, Xi Chen, Tetsuo Ohmi, Mikio Nakahara

Abstract: Topological vortex formation has been known as the simplest method for vortex formation in BEC of alkali atoms. This scheme requires inversion of the bias magnetic field along the axis of the condensate, which leads to atom loss when the bias field crosses zero. In this Letter, we propose a scheme with which the atom loss is greatly suppressed by adding counter-diabatic magnetic field. A naive cou… ▽ More Topological vortex formation has been known as the simplest method for vortex formation in BEC of alkali atoms. This scheme requires inversion of the bias magnetic field along the axis of the condensate, which leads to atom loss when the bias field crosses zero. In this Letter, we propose a scheme with which the atom loss is greatly suppressed by adding counter-diabatic magnetic field. A naive counter-diabatic field violates the Maxwell equations and we need to introduce an approximation to make it physically feasible. The resulting field requires an extra currents, which is experimentally challenging. Finally we solve this problem by applying a gauge transformation so that the counter-diabatic field is generated by controlling the original trap field with the additional control of the bias field. △ Less

Submitted 27 July, 2015; v1 submitted 10 July, 2015; originally announced July 2015.

Comments: 5 pages, 6 figures

Journal ref: Phys. Rev. A 93, 013626 (2016)

Construction of Arbitrary Robust One-Qubit Operations Using Planar Geometry

Authors: Tsubasa Ichikawa, Jefferson G. Filgueiras, Masamitsu Bando, Yasushi Kondo, Mikio Nakahara, Dieter Suter

Abstract: We show how to construct an arbitrary robust one-qubit unitary operation with a control Hamiltonian of $A_x(t) σ_x + A_y(t) σ_y$, where $σ_i$ is a Pauli matrix and $A_i(t)$ is piecewise constant. Our method, based on planar geometry, admits a simple and intuitive interpretation. Furthermore, the total execution time and the number of elementary gates of the obtained sequence are comparable to thos… ▽ More We show how to construct an arbitrary robust one-qubit unitary operation with a control Hamiltonian of $A_x(t) σ_x + A_y(t) σ_y$, where $σ_i$ is a Pauli matrix and $A_i(t)$ is piecewise constant. Our method, based on planar geometry, admits a simple and intuitive interpretation. Furthermore, the total execution time and the number of elementary gates of the obtained sequence are comparable to those of the shortest known concatenated composite pulses. △ Less

Submitted 28 October, 2014; v1 submitted 11 August, 2014; originally announced August 2014.

Comments: 7 pages, 4 figures. To appear in PRA

Journal ref: Phys. Rev. A 90, 052330 (2014)

Nonadiabatic holonomic one-qubit gates

Authors: Takumi Nitanda, Utkan Güngördü, Mikio Nakahara

Abstract: Adiabatic quantum gate implementation generally takes longer time, which is disadvantageous in view of decoherence. In this report we implement several essential one-qubit quantum gates nonadiabatically by making use of a dynamical invariant associated with a Hamiltonian. Moreover we require that these gates be holonomic, that is, the dynamical phases associated with the gates vanish. Our implemen… ▽ More Adiabatic quantum gate implementation generally takes longer time, which is disadvantageous in view of decoherence. In this report we implement several essential one-qubit quantum gates nonadiabatically by making use of a dynamical invariant associated with a Hamiltonian. Moreover we require that these gates be holonomic, that is, the dynamical phases associated with the gates vanish. Our implementation is based on our recent work [J. Phys. Soc. Jpn. 83, 034001 (2014)] and the gate parameters required for the implementations are found by numerical optimization. △ Less

Submitted 9 April, 2014; v1 submitted 7 April, 2014; originally announced April 2014.

Journal ref: Bulletin of Science and Technology, Kinki University, No. 26, 1-5 (2014)

Two-Qubit Gate Operation on Selected Nearest-Neighbor Neutral Atom Qubits

Authors: Elham Hosseini Lapasar, Kenichi Kasamatsu, Sile Nic Chormaic, Takeji Takui, Yasushi Kondo, Mikio Nakahara, Tetsuo Ohmi

Abstract: We have previously discussed the design of a neutral atom quantum computer with an on-demand interaction [E. Hosseini Lapasar, et al., J. Phys. Soc. Jpn. 80, 114003 (2011)]. In this contribution, we propose an experimental method to demonstrate a selective two-qubit gate operation that is less demanding than our original proposal, although the gate operation is limited to act between two neighbori… ▽ More We have previously discussed the design of a neutral atom quantum computer with an on-demand interaction [E. Hosseini Lapasar, et al., J. Phys. Soc. Jpn. 80, 114003 (2011)]. In this contribution, we propose an experimental method to demonstrate a selective two-qubit gate operation that is less demanding than our original proposal, although the gate operation is limited to act between two neighboring atoms. We evaluate numerically the process of a two-qubit gate operation that is applied to a selected pair of nearest-neighbor, trapped atoms and we estimate the upper bound of the gate operation time and corresponding gate fidelity. The proposed scheme is scalable and, though challenging, is feasible with current experimental capabilities. △ Less

Submitted 2 April, 2014; v1 submitted 23 October, 2013; originally announced October 2013.

Comments: 10 pages, 7 figures. arXiv admin note: text overlap with arXiv:1101.4300

Journal ref: J. Phys. Soc. Jpn. 83 (2014) 044005

Efficient entanglement operator for a multi-qubit system

Authors: Chiara Bagnasco, Yasushi Kondo, Mikio Nakahara

Abstract: In liquid-state NMR quantum computation, a selective entanglement operator between qubits 2 and 3 of a three-qubit molecule is conventionally realized by applying a pair of short $π$-pulses to qubit 1. This method, called refocusing, is well suited for heteronuclear molecules. When the molecule is homonuclear, however, the $π$-pulses applied to qubit 1 often induce unwanted $z$-rotations on qubits… ▽ More In liquid-state NMR quantum computation, a selective entanglement operator between qubits 2 and 3 of a three-qubit molecule is conventionally realized by applying a pair of short $π$-pulses to qubit 1. This method, called refocusing, is well suited for heteronuclear molecules. When the molecule is homonuclear, however, the $π$-pulses applied to qubit 1 often induce unwanted $z$-rotations on qubits 2 and 3, even if the $z$-components of qubits 2 and 3 are left unchanged. This phenomenon is known as the transient Bloch-Siegert effect, and compensation thereof is required for precise gate operation. We propose an alternative refocusing method, in which a weak square pulse is applied to qubit 1. This technique has the advantage of curbing the Bloch-Siegert effect, making it suitable for both hetero- and homonuclear molecules. △ Less

Submitted 21 October, 2013; originally announced October 2013.

Comments: 11 pages, 4 figures

Recursive encoding and decoding of the noiseless subsystem for qudits

Authors: Utkan Güngördü, Chi-Kwong Li, Mikio Nakahara, Yiu-Tung Poon, Nung-Sing Sze

Abstract: We give a full explanation of the noiseless subsystem that protects a single-qubit against collective errors and the corresponding recursive scheme described by C.-K. Li et. al. [Phys. Rev. A 84, 044301 (2011)] from a representation theory point of view. Furthermore, we extend the construction to qudits under the influence of collective SU($d$) errors. We find that under this recursive scheme, the… ▽ More We give a full explanation of the noiseless subsystem that protects a single-qubit against collective errors and the corresponding recursive scheme described by C.-K. Li et. al. [Phys. Rev. A 84, 044301 (2011)] from a representation theory point of view. Furthermore, we extend the construction to qudits under the influence of collective SU($d$) errors. We find that under this recursive scheme, the asymptotic encoding rate is $1/d$. △ Less

Submitted 3 April, 2014; v1 submitted 16 October, 2013; originally announced October 2013.

Journal ref: Phys. Rev. A 89, 042301 (2014)

Multiple Half-Quantum Vortices in Rotating Superfluid $^3$He

Authors: Mikio Nakahara, Tetsuo Ohmi

Abstract: Half-quantum votices and ordinary vortices in a rotating thin film superfluid $^3$He under a strong magnetic field are considered. It is shown that $2n+1$ half-quantum vortices interpolates between $n$ singular vortices and $n+1$ singular vortices as the angular velocity is changed. The phase diagram of the vortex configurations in the angular velocity-magnetic field space is obtained for a parama… ▽ More Half-quantum votices and ordinary vortices in a rotating thin film superfluid $^3$He under a strong magnetic field are considered. It is shown that $2n+1$ half-quantum vortices interpolates between $n$ singular vortices and $n+1$ singular vortices as the angular velocity is changed. The phase diagram of the vortex configurations in the angular velocity-magnetic field space is obtained for a paramagnon parameter $δ=0.05$. △ Less

Submitted 5 August, 2013; originally announced August 2013.

Comments: 5 pages, 4 figures

Journal ref: Phys. Rev. B 89, 104515 (2014)

Non-Adiabatic Universal Holonomic Quantum Gates Based on Abelian Holonomies

Authors: Utkan Güngördü, Yidun Wan, Mikio Nakahara

Abstract: We implement a non-adiabatic universal set of holonomic quantum gates based on abelian holonomies using dynamical invariants, by Lie-algebraic methods. Unlike previous implementations, presented scheme does not rely on secondary methods such as double-loop or spin-echo and avoids associated experimental difficulties. It turns out that such gates exist purely in the non-adiabatic regime for these s… ▽ More We implement a non-adiabatic universal set of holonomic quantum gates based on abelian holonomies using dynamical invariants, by Lie-algebraic methods. Unlike previous implementations, presented scheme does not rely on secondary methods such as double-loop or spin-echo and avoids associated experimental difficulties. It turns out that such gates exist purely in the non-adiabatic regime for these systems. △ Less

Submitted 7 February, 2014; v1 submitted 30 July, 2013; originally announced July 2013.

Comments: 6 pages

Journal ref: J. Phys. Soc. Jpn. 83, 034001 (2014)

Maximal noiseless code rates for collective rotation channels on qudits

Authors: Chi-Kwong Li, Mikio Nakahara, Yiu-Tung Poon, Nung-Sing Sze

Abstract: We study noiseless subsystems on collective rotation channels of qudits, i.e., quantum channels with operators in the set ${\mathcal E}(d,n) = \{ U^{\otimes n}: U \in {\mathrm{SU}}(d)\}.$ This is done by analyzing the decomposition of the algebra ${\mathcal A}(d,n)$ generated by ${\mathcal E}(d,n)$. We summarize the results for the channels on qubits ($d=2$), and obtain the maximum dimension of th… ▽ More We study noiseless subsystems on collective rotation channels of qudits, i.e., quantum channels with operators in the set ${\mathcal E}(d,n) = \{ U^{\otimes n}: U \in {\mathrm{SU}}(d)\}.$ This is done by analyzing the decomposition of the algebra ${\mathcal A}(d,n)$ generated by ${\mathcal E}(d,n)$. We summarize the results for the channels on qubits ($d=2$), and obtain the maximum dimension of the noiseless subsystem that can be used as the quantum error correction code for the channel. Then we extend our results to general $d$. In particular, it is shown that the code rate, i.e., the number of protected qudits over the number of physical qudits, always approaches 1 for a suitable noiseless subsystem. Moreover, one can determine the maximum dimension of the noiseless subsystem by solving a non-trivial discrete optimization problem. The maximum dimension of the noiseless subsystem for $d = 3$ (qutrits) is explicitly determined by a combination of mathematical analysis and the symbolic software Mathematica. △ Less

Submitted 20 August, 2015; v1 submitted 5 June, 2013; originally announced June 2013.

Comments: 16 pages, proofs are put in Appendix for clearer presentation. Title has been changed and some related materials, such as quantum secret sharing and erasure errors, are mentioned

Entanglement of Multipartite Fermionic Coherent States for Pseudo Hermitian Hamiltonians

Authors: G. Najarbashi, M. A. Fasihi, M. Nakahara, F. Mirmasoudi, S. Mirzaei

Abstract: In this paper the entanglement of multi-qubit fermionic pseudo Hermitian coherent states (FPHCS) described by anticommutative Grassmann numbers is studied. The pseudo-Hermitian versions of the well known maximally entangled pure states such as Bell and GHZ, W and biseparable states are introduced through integrating over the tensor products of FPHCSs with suitable choice of Grassmannian weight fun… ▽ More In this paper the entanglement of multi-qubit fermionic pseudo Hermitian coherent states (FPHCS) described by anticommutative Grassmann numbers is studied. The pseudo-Hermitian versions of the well known maximally entangled pure states such as Bell and GHZ, W and biseparable states are introduced through integrating over the tensor products of FPHCSs with suitable choice of Grassmannian weight functions. Meanwhile as an illustration, the method is applied to tensor product of 2 and 3 qubit pseudo Hermitian systems. Then the measures of concurrence and average entropy are applied to quantify the entanglement of the pseudo two and three qubit states respectively. △ Less

Submitted 22 December, 2012; originally announced December 2012.

Enhancement of Curie temperature due to the coupling between Fe itinerant electrons and Dy localized electrons in DyFe2Zn20

Authors: Yosikazu Isikawa, Toshio Mizushima, Souta Miyamoto, Keigou Kumagai, Mako Nakahara, Hiroaki Okuyama, Takashi Tayama, Tomohiko Kuwai, Pascal Lejay

Abstract: The temperature dependence of magnetization and specific heat of the ferromagnetic compound DyFe2Zn20 has been measured in detail in various magnetic fields. We have observed anomalous magnetic behavior, i.e., a strong anisotropy at 2 K, disappearance of this anisotropy between approximately 30 K and T_c, and anomalous behavior of the specific heat in the magnetic fields near 20 K. These anomalous… ▽ More The temperature dependence of magnetization and specific heat of the ferromagnetic compound DyFe2Zn20 has been measured in detail in various magnetic fields. We have observed anomalous magnetic behavior, i.e., a strong anisotropy at 2 K, disappearance of this anisotropy between approximately 30 K and T_c, and anomalous behavior of the specific heat in the magnetic fields near 20 K. These anomalous phenomena have been analyzed based on the strong exchange interaction between the Fe itinerant electrons and the Dy localized electrons as well as the crystalline electric field, Zeeman energy, and an usual exchange interaction between two Dy atoms. The higher T_c of DyFe2Zn20 compared with that of DyRu2Zn20 is caused by this exchange interaction between the Fe and Dy atoms. △ Less

Submitted 30 October, 2012; originally announced October 2012.

Comments: presented in ICM2012, 7/8-13, 2012, Busan, to be published in Journal of the Korean Physical Society

Concatenated composite pulses compensating simultaneous systematic errors

Authors: Masamitsu Bando, Tsubasa Ichikawa, Yasushi Kondo, Mikio Nakahara

Abstract: In NMR experiments and quantum computation, many pulse (quantum gate) sequences called the composite pulses, were developed to suppress one of two dominant errors; a pulse length error and an off-resonance error. We describe, in this paper, a general prescription to design a single-qubit concatenated composite pulse (CCCP) that is robust against two types of errors simultaneously. To this end, we… ▽ More In NMR experiments and quantum computation, many pulse (quantum gate) sequences called the composite pulses, were developed to suppress one of two dominant errors; a pulse length error and an off-resonance error. We describe, in this paper, a general prescription to design a single-qubit concatenated composite pulse (CCCP) that is robust against two types of errors simultaneously. To this end, we introduce a new property, which is satisfied by some composite pulses and is sufficient to obtain a CCCP. Then we introduce a general method to design CCCPs with shorter execution time and less number of pulses. △ Less

Submitted 5 November, 2012; v1 submitted 19 September, 2012; originally announced September 2012.

Comments: 18 pages, 5 figures

Journal ref: J. Phys. Soc. Jpn. 82, 014004 (2013)

Quantum Error Correction with Uniformly Mixed State Ancillae

Authors: Yasushi Kondo, Chiara Bagnasco, Mikio Nakahara

Abstract: It is often assumed that the ancilla qubits required for encoding a qubit in quantum error correction (QEC) have to be in pure states, $|00...0>$ for example. In this letter, we seek an encoding scheme, in which the ancillae may be in a uniformly mixed state. We demonstrate our scheme experimentally by making use of a three-qubit NMR quantum computer. Moreover, the encoded state has an interesting… ▽ More It is often assumed that the ancilla qubits required for encoding a qubit in quantum error correction (QEC) have to be in pure states, $|00...0>$ for example. In this letter, we seek an encoding scheme, in which the ancillae may be in a uniformly mixed state. We demonstrate our scheme experimentally by making use of a three-qubit NMR quantum computer. Moreover, the encoded state has an interesting nature in terms of Quantum Discord, or purely quantum correlations between the data-qubit and ancillae. △ Less

Submitted 4 October, 2012; v1 submitted 4 September, 2012; originally announced September 2012.

Comments: 5 pages, 5 figures

Half-Quantum Vortices in Thin Film of Superfluid $^3$He

Authors: Kenji Kondo, Tetsuo Ohmi, Mikio Nakahara, Takuto Kawakami, Yasumasa Tsutsumi, Kazushige Machida

Abstract: Stability of a half-quantum vortex (HQV) in superfluid $^3$He has been discussed recently by Kawakami, Tsutsumi and Machida in Phys. Rev. B {\bf 79}, 092506 (2009). We further extend this work here and consider the A$_2$ phase of superfluid $^3$He confined in thin slab geometry and analyze the HQV realized in this setting. Solutions of HQV and singly quantized singular vortex are evaluated numeric… ▽ More Stability of a half-quantum vortex (HQV) in superfluid $^3$He has been discussed recently by Kawakami, Tsutsumi and Machida in Phys. Rev. B {\bf 79}, 092506 (2009). We further extend this work here and consider the A$_2$ phase of superfluid $^3$He confined in thin slab geometry and analyze the HQV realized in this setting. Solutions of HQV and singly quantized singular vortex are evaluated numerically by solving the Ginzburg-Landau (GL) equation and respective first critical angular velocities are obtained by employing these solutions. We show that the HQV in the A$_2$ phase is stable near the boundary between the A$_2$ and A$_1$ phases. It is found that temperature and magnetic field must be fixed first in the stable region and subsequently the angular velocity of the system should be increased from zero to a sufficiently large value to create a HQV with sufficiently large probability. A HQV does not form if the system starts with a fixed angular velocity and subsequently the temperature is lowered down to the A$_2$ phase. It is estimated that the external magnetic field with strength on the order of 1 T is required to have a sufficiently large domain in the temperature-magnetic field phase diagram to have a stable HQV. △ Less

Submitted 13 June, 2012; originally announced June 2012.

Comments: 5 pages, 5 figures

Dynamical invariants for quantum control of four-level systems

Authors: Utkan Güngördü, Yidun Wan, Mohammad Ali Fasihi, Mikio Nakahara

Abstract: We present a Lie-algebraic classification and detailed construction of the dynamical invariants, also known as Lewis-Riesenfeld invariants, of the four-level systems including two-qubit systems which are most relevant and sufficiently general for quantum control and computation. These invariants not only solve the time-dependent Schrödinger equation of four-level systems exactly but also enable th… ▽ More We present a Lie-algebraic classification and detailed construction of the dynamical invariants, also known as Lewis-Riesenfeld invariants, of the four-level systems including two-qubit systems which are most relevant and sufficiently general for quantum control and computation. These invariants not only solve the time-dependent Schrödinger equation of four-level systems exactly but also enable the control, and hence quantum computation based on which, of four-level systems fast and beyond adiabatic regimes. △ Less

Submitted 8 January, 2013; v1 submitted 14 May, 2012; originally announced May 2012.

Comments: 11 pages, 5 tables

Journal ref: Phys. Rev. A 86, 062312 (2012)

Minimal and Robust Composite Two-Qubit Gates with Ising-Type Interaction

Authors: Tsubasa Ichikawa, Utkan Güngördü, Masamitsu Bando, Yasushi Kondo, Mikio Nakahara

Abstract: We construct a minimal robust controlled-NOT gate with an Ising-type interaction by which elementary two-qubit gates are implemented. It is robust against inaccuracy of the coupling strength and the obtained quantum circuits are constructed with the minimal number (N=3) of elementary two-qubit gates and several one-qubit gates. It is noteworthy that all the robust circuits can be mapped to one-qub… ▽ More We construct a minimal robust controlled-NOT gate with an Ising-type interaction by which elementary two-qubit gates are implemented. It is robust against inaccuracy of the coupling strength and the obtained quantum circuits are constructed with the minimal number (N=3) of elementary two-qubit gates and several one-qubit gates. It is noteworthy that all the robust circuits can be mapped to one-qubit circuits robust against a pulse length error. We also prove that a minimal robust SWAP gate cannot be constructed with N=3, but requires N=6 elementary two-qubit gates. △ Less

Submitted 30 January, 2013; v1 submitted 12 April, 2012; originally announced April 2012.

Comments: 7 pages, 2 figures

Journal ref: Phys. Rev. A 87 (2013) 022323

Geometric Aspects of Composite Pulses

Authors: Tsubasa Ichikawa, Masamitsu Bando, Yasushi Kondo, Mikio Nakahara

Abstract: Unitary operations acting on a quantum system must be robust against systematic errors in control parameters for reliable quantum computing. Composite pulse technique in nuclear magnetic resonance (NMR) realises such a robust operation by employing a sequence of possibly poor quality pulses. In this article, we demonstrate that two kinds of composite pulses, one compensates for a pulse length erro… ▽ More Unitary operations acting on a quantum system must be robust against systematic errors in control parameters for reliable quantum computing. Composite pulse technique in nuclear magnetic resonance (NMR) realises such a robust operation by employing a sequence of possibly poor quality pulses. In this article, we demonstrate that two kinds of composite pulses, one compensates for a pulse length error in a one-qubit system and the other compensates for a J-coupling error in a twoqubit system, have vanishing dynamical phase and thereby can be seen as geometric quantum gates, which implement unitary gates by the holonomy associated with dynamics of cyclic vectors defined in the text. △ Less

Submitted 11 April, 2012; originally announced April 2012.

Comments: 20 pages, 4 figures. Accepted for publication in Philosophical Transactions of the Royal Society A

Journal ref: Phil. Trans. R. Soc. A 370 (2012) 4671

A quantum genetic algorithm with quantum crossover and mutation operations

Authors: Akira SaiToh, Robabeh Rahimi, Mikio Nakahara

Abstract: In the context of evolutionary quantum computing in the literal meaning, a quantum crossover operation has not been introduced so far. Here, we introduce a novel quantum genetic algorithm which has a quantum crossover procedure performing crossovers among all chromosomes in parallel for each generation. A complexity analysis shows that a quadratic speedup is achieved over its classical counterpart… ▽ More In the context of evolutionary quantum computing in the literal meaning, a quantum crossover operation has not been introduced so far. Here, we introduce a novel quantum genetic algorithm which has a quantum crossover procedure performing crossovers among all chromosomes in parallel for each generation. A complexity analysis shows that a quadratic speedup is achieved over its classical counterpart in the dominant factor of the run time to handle each generation. △ Less

Submitted 21 November, 2013; v1 submitted 9 February, 2012; originally announced February 2012.

Comments: 21 pages, 1 table, v2: typos corrected, minor modifications in sections 3.5 and 4, v3: minor revision, title changed (original title: Semiclassical genetic algorithm with quantum crossover and mutation operations), v4: minor revision, v5: minor grammatical corrections, to appear in QIP

MSC Class: 68Q12

Journal ref: Quantum Inf. Process. 13, 737-755 (2014)

Estimation of Coupling Constants of a Three-Spin Chain: Case Study of Hamiltonian Tomography with NMR

Authors: Elham Hosseini Lapasar, Koji Maruyama, Daniel Burgarth, Takeji Takui, Yasushi Kondo, Mikio Nakahara

Abstract: It has been shown that inter-spin interaction strengths in a spins-1/2 chain can be evaluated by accessing one of the edge spins only. We demonstrate this experimentally for the simplest case, a three-spin chain, with nuclear magnetic resonance (NMR) technique. The three spins in the chain interact through nearest-neighbor Ising interactions under site-dependent transverse fields. The employed mol… ▽ More It has been shown that inter-spin interaction strengths in a spins-1/2 chain can be evaluated by accessing one of the edge spins only. We demonstrate this experimentally for the simplest case, a three-spin chain, with nuclear magnetic resonance (NMR) technique. The three spins in the chain interact through nearest-neighbor Ising interactions under site-dependent transverse fields. The employed molecule is an alanine containing three $^{13}$C nuclei, each of which has spin-1/2. △ Less

Submitted 6 November, 2011; originally announced November 2011.

Comments: 7 pages, 18 figures

Journal ref: New J. Phys. 14 (2012) 013043

Non-adiabatic Fast Control of Mixed States based on Lewis-Riesenfeld Invariant

Authors: Mohammad-Ali Fasihi, Yidun Wan, Mikio Nakahara

Abstract: We apply the inversely-engineered control method based on Lewis-Riesenfeld invariants to control mixed states of a two-level quantum system. We show that the inversely-engineered control passages of mixed states - and pure states as special cases - can be made significantly faster than the conventional adiabatic control passages, which renders the method applicable to quantum computation. We devis… ▽ More We apply the inversely-engineered control method based on Lewis-Riesenfeld invariants to control mixed states of a two-level quantum system. We show that the inversely-engineered control passages of mixed states - and pure states as special cases - can be made significantly faster than the conventional adiabatic control passages, which renders the method applicable to quantum computation. We devise a new type of inversely-engineered control passages, to be coined the antedated control passages, which further speed up the control significantly. We also demonstrate that by carefully tuning the control parameters, the inversely-engineered control passages can be optimized in terms of speed and energy cost. △ Less

Submitted 13 December, 2011; v1 submitted 31 October, 2011; originally announced October 2011.

Comments: 9 pages, 9 figures, version to appear in J. Phys. Soc. Jpn

Journal ref: J. Phys. Soc. Jpn. 81 (2012) 024007

Recursive Encoding and Decoding of Noiseless Subsystem and Decoherence Free Subspace

Authors: Chi-Kwong Li, Mikio Nakahara, Yiu-Tung Poon, Nung-Sing Sze, Hiroyuki Tomita

Abstract: When the environmental disturbace to a quantum system has a wavelength much larger than the system size, all qubits localized within a small area are under action of the same error operators. Noiseless subsystem and decoherence free subspace are known to correct such collective errors. We construct simple quantum circuits, which implement these collective error correction codes, for a small number… ▽ More When the environmental disturbace to a quantum system has a wavelength much larger than the system size, all qubits localized within a small area are under action of the same error operators. Noiseless subsystem and decoherence free subspace are known to correct such collective errors. We construct simple quantum circuits, which implement these collective error correction codes, for a small number $n$ of physical qubits. A single logical qubit is encoded with $n=3$ and $n=4$, while two logical qubits are encoded with $n=5$. The recursive relations among the subspaces employed in noiseless subsystem and decoherence free subspace play essential rôles in our implementation. The recursive relations also show that the number of gates required to encode $m$ logical qubits increases linearly in $m$. △ Less

Submitted 26 June, 2011; originally announced June 2011.

Comments: 9 pages, 3 figures

Designing Robust Unitary Gates: Application to Concatenated Composite Pulse

Authors: Tsubasa Ichikawa, Masamitsu Bando, Yasushi Kondo, Mikio Nakahara

Abstract: We propose a simple formalism to design unitary gates robust against given systematic errors. This formalism generalizes our previous observation [Y. Kondo and M. Bando, J. Phys. Soc. Jpn. 80, 054002 (2011)] that vanishing dynamical phase in some composite gates is essential to suppress amplitude errors. By employing our formalism, we naturally derive a new composite unitary gate which can be seen… ▽ More We propose a simple formalism to design unitary gates robust against given systematic errors. This formalism generalizes our previous observation [Y. Kondo and M. Bando, J. Phys. Soc. Jpn. 80, 054002 (2011)] that vanishing dynamical phase in some composite gates is essential to suppress amplitude errors. By employing our formalism, we naturally derive a new composite unitary gate which can be seen as a concatenation of two known composite unitary operations. The obtained unitary gate has high fidelity over a wider range of the error strengths compared to existing composite gates. △ Less

Submitted 23 November, 2011; v1 submitted 4 May, 2011; originally announced May 2011.

Comments: 7 pages, 4 figures. Major revision: improved presentation in Sec. 3, references and appendix added

Journal ref: Phys. Rev. A 84 (2011) 062311

Efficient Quantum Error Correction for Fully Correlated Noise

Authors: Chi-Kwong Li, Mikio Nakahara, Yiu-Tung Poon, Nung-Sing Sze, Hiroyuki Tomita

Abstract: We investigate an efficient quantum error correction of a fully correlated noise. Suppose the noise is characterized by a quantum channel whose error operators take fully correlated forms given by $σ_x^{\otimes n}$, $σ_y^{\otimes n}$ and $σ_z^{\otimes n}$, where $n>2$ is the number of qubits encoding the codeword. It is proved that (i) $n$ qubits codeword encodes $(n-1)$ data qubits when $n$ is od… ▽ More We investigate an efficient quantum error correction of a fully correlated noise. Suppose the noise is characterized by a quantum channel whose error operators take fully correlated forms given by $σ_x^{\otimes n}$, $σ_y^{\otimes n}$ and $σ_z^{\otimes n}$, where $n>2$ is the number of qubits encoding the codeword. It is proved that (i) $n$ qubits codeword encodes $(n-1)$ data qubits when $n$ is odd and (ii) $n$ qubits codeword implements a noiseless subsystem encoding $(n-2)$ data qubits when $n$ is even. Quantum circuits implementing these schemes are constructed. △ Less

Submitted 22 August, 2011; v1 submitted 25 April, 2011; originally announced April 2011.

Comments: 11 pages, 2 figures

Journal ref: Phys. Lett. A, 375:3255-3258 (2011)

Recovery in quantum error correction for general noise without measurement

Authors: Chi-Kwong Li, Mikio Nakahara, Yiu-Tung Poon, Nung-Sing Sze, Hiroyuki Tomita

Abstract: It is known that one can do quantum error correction without syndrome measurement, which is often done in operator quantum error correction (OQEC). However, the physical realization could be challenging, especially when the recovery process involves high-rank projection operators and a superoperator. We use operator theory to improve OQEC so that the implementation can always be done by unitary ga… ▽ More It is known that one can do quantum error correction without syndrome measurement, which is often done in operator quantum error correction (OQEC). However, the physical realization could be challenging, especially when the recovery process involves high-rank projection operators and a superoperator. We use operator theory to improve OQEC so that the implementation can always be done by unitary gates followed by a partial trace operation. Examples are given to show that our error correction scheme outperforms the existing ones in various scenarios. △ Less

Submitted 24 November, 2011; v1 submitted 8 February, 2011; originally announced February 2011.

Comments: 10 pages

MSC Class: 15A60; 15A90; 47N50; 81P68

Journal ref: Quantum Information & Computation, 12:149-158, 2012