-
Beating Grover search for low-energy estimation and state preparation
Authors:
Harry Buhrman,
Sevag Gharibian,
Zeph Landau,
François Le Gall,
Norbert Schuch,
Suguru Tamaki
Abstract:
Estimating ground state energies of many-body Hamiltonians is a central task in many areas of quantum physics. In this work, we give quantum algorithms which, given any $k$-body Hamiltonian $H$, compute an estimate for the ground state energy and prepare a quantum state achieving said energy, respectively. Specifically, for any $\varepsilon>0$, our algorithms return, with high probability, an esti…
▽ More
Estimating ground state energies of many-body Hamiltonians is a central task in many areas of quantum physics. In this work, we give quantum algorithms which, given any $k$-body Hamiltonian $H$, compute an estimate for the ground state energy and prepare a quantum state achieving said energy, respectively. Specifically, for any $\varepsilon>0$, our algorithms return, with high probability, an estimate of the ground state energy of $H$ within additive error $\varepsilon M$, or a quantum state with the corresponding energy. Here, $M$ is the total strength of all interaction terms, which in general is extensive in the system size. Our approach makes no assumptions about the geometry or spatial locality of interaction terms of the input Hamiltonian and thus handles even long-range or all-to-all interactions, such as in quantum chemistry, where lattice-based techniques break down. In this fully general setting, the runtime of our algorithms scales as $2^{cn/2}$ for $c<1$, yielding the first quantum algorithms for low-energy estimation breaking the natural bound based on Grover search. The core of our approach is remarkably simple, and relies on showing that any $k$-body Hamiltonian has a low-energy subspace of exponential dimension.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Transmission properties of microwaves at an optical Weyl point in a three-dimensional chiral photonic crystal
Authors:
S. Takahashi,
S. Tamaki,
K. Yamashita,
T. Yamaguchi,
T. Ueda,
S. Iwamoto
Abstract:
Microwave transmission measurements were performed for a three-dimensional (3D) layer-by-layer chiral photonic crystal (PhC), whose photonic band structure contains 3D singular points, Weyl points. For the frequency and wavevector in the vicinity of a Weyl point, the transmitted intensity was found to be inversely proportional to the square of the propagation length. In addition, the transmitted w…
▽ More
Microwave transmission measurements were performed for a three-dimensional (3D) layer-by-layer chiral photonic crystal (PhC), whose photonic band structure contains 3D singular points, Weyl points. For the frequency and wavevector in the vicinity of a Weyl point, the transmitted intensity was found to be inversely proportional to the square of the propagation length. In addition, the transmitted wave was well-collimated in the plane parallel to the PhC layers, even for point-source incidence. When a plane wave was incident on the PhC containing metal scatters, the planar wavefront was reconstructed after the transmission, indicating a cloaking effect.
△ Less
Submitted 19 October, 2021;
originally announced October 2021.
-
Nonlocal inelastic scattering of light: Enhanced and noiseless signals in remote-coupled optomechanical systems
Authors:
Sho Tamaki,
Tomohiro Yokoyama,
Hajime Ishihara
Abstract:
The inelastic scatterings of matter systems, such as Raman scattering, contain rich information on mechanical vibrations like as resonant frequencies, which lead to various applications, for example, a sensor for specific molecules. However, observing output signals requires a sensitive setup because an inelastic signal is inherently weak and is disturbed by strong input. In this study, we theoret…
▽ More
The inelastic scatterings of matter systems, such as Raman scattering, contain rich information on mechanical vibrations like as resonant frequencies, which lead to various applications, for example, a sensor for specific molecules. However, observing output signals requires a sensitive setup because an inelastic signal is inherently weak and is disturbed by strong input. In this study, we theoretically investigate a physical scheme to avoid detrimental impact of the input by distancing it from the emitter and greatly enhancing the output signals. If two bodies are coupled mechanically and direct optical communication is forbidden, the nonlocal inelastic scattering signals can be considerably boosted. We demonstrate this mechanism by considering coupled optomechanical systems as a typical example that enables control of the two-body interaction strength. The results present a general scheme to boost nonlocal inelastic scattering for noiseless and pure signals.
△ Less
Submitted 30 September, 2021;
originally announced October 2021.
-
Additive-error fine-grained quantum supremacy
Authors:
Tomoyuki Morimae,
Suguru Tamaki
Abstract:
It is known that several sub-universal quantum computing models, such as the IQP model, the Boson sampling model, the one-clean qubit model, and the random circuit model, cannot be classically simulated in polynomial time under certain conjectures in classical complexity theory. Recently, these results have been improved to "fine-grained" versions where even exponential-time classical simulations…
▽ More
It is known that several sub-universal quantum computing models, such as the IQP model, the Boson sampling model, the one-clean qubit model, and the random circuit model, cannot be classically simulated in polynomial time under certain conjectures in classical complexity theory. Recently, these results have been improved to "fine-grained" versions where even exponential-time classical simulations are excluded assuming certain classical fine-grained complexity conjectures. All these fine-grained results are, however, about the hardness of strong simulations or multiplicative-error sampling. It was open whether any fine-grained quantum supremacy result can be shown for additive-error sampling. In this paper, we show the additive-error fine-grained quantum supremacy. As examples, we consider the IQP model, a mixture of the IQP model and log-depth Boolean circuits, and Clifford+$T$ circuits. Similar results should hold for other sub-universal models.
△ Less
Submitted 22 September, 2020; v1 submitted 13 December, 2019;
originally announced December 2019.
-
On Computing a Center Persistence Diagram
Authors:
Yuya Higashikawa,
Naoki Katoh,
Guohui Lin,
Eiji Miyano,
Suguru Tamaki,
Junichi Teruyama,
Binhai Zhu
Abstract:
Throughout this paper, a persistence diagram ${\cal P}$ is composed of a set $P$ of planar points (each corresponding to a topological feature) above the line $Y=X$, as well as the line $Y=X$ itself, i.e., ${\cal P}=P\cup\{(x,y)|y=x\}$. Given a set of persistence diagrams ${\cal P}_1,...,{\cal P}_m$, for the data reduction purpose, one way to summarize their topological features is to compute the…
▽ More
Throughout this paper, a persistence diagram ${\cal P}$ is composed of a set $P$ of planar points (each corresponding to a topological feature) above the line $Y=X$, as well as the line $Y=X$ itself, i.e., ${\cal P}=P\cup\{(x,y)|y=x\}$. Given a set of persistence diagrams ${\cal P}_1,...,{\cal P}_m$, for the data reduction purpose, one way to summarize their topological features is to compute the {\em center} ${\cal C}$ of them first under the bottleneck distance. We consider two discrete versions and one continuous version. For technical reasons, we first focus on the case when $|P_i|$'s are all the same (i.e., all have the same size $n$), and the problem is to compute a center point set $C$ under the bottleneck matching distance. We show, by a non-trivial reduction from the Planar 3D-Matching problem, that this problem is NP-hard even when $m=3$ diagrams are given. This implies that the general center problem for persistence diagrams under the bottleneck distance, when $P_i$'s possibly have different sizes, is also NP-hard when $m\geq 3$. On the positive side, we show that this problem is polynomially solvable when $m=2$ and admits a factor-2 approximation for $m\geq 3$. These positive results hold for any $L_p$ metric when $P_i$'s are point sets of the same size, and also hold for the case when $P_i$'s have different sizes in the $L_\infty$ metric (i.e., for the Center Persistence Diagram problem). This is the best possible in polynomial time for the Center Persistence Diagram under the bottleneck distance unless P = NP. All these results hold for both of the discrete versions as well as the continuous version; in fact, the NP-hardness and approximation results also hold under the Wasserstein distance for the continuous version.
△ Less
Submitted 9 February, 2020; v1 submitted 3 October, 2019;
originally announced October 2019.
-
Energy current correlation in solvable long-range interacting systems
Authors:
Shuji Tamaki,
Keiji Saito
Abstract:
We consider heat transfer in one-dimensional systems with long-range interactions. It is known that typical short-range interacting systems shows anomalous behavior in heat transport when total momentum is conserved, whereas momentum-nonconserving systems do not exhibit anomaly. In this study, we focus on the effect of long-range interaction. We propose an exactly solvable model that reduces to th…
▽ More
We consider heat transfer in one-dimensional systems with long-range interactions. It is known that typical short-range interacting systems shows anomalous behavior in heat transport when total momentum is conserved, whereas momentum-nonconserving systems do not exhibit anomaly. In this study, we focus on the effect of long-range interaction. We propose an exactly solvable model that reduces to the so-called momentum-exchange model in the short-range interaction limit. We exactly calculate the asymptotic time-decay in the energy current correlation function, which is related to the thermal conductivity via the Green--Kubo formula. From the time-decay of the current correlation, we show three qualitatively crucial results. First, the anomalous exponent in the time-decay {\it continuously} changes as a function of the index of the long-range interaction. Second, there is a regime where the current correlation diverges as increasing the system size with fixed time, and hence the exponent of the time-decay cannot be defined. Third, even momentum-nonconserving systems can show the anomalous exponent indicating anomalous heat transport. Higher-dimensions are also considered, and we found that long-range interaction can induce anomalous exponent even in the three-dimensional systems.
△ Less
Submitted 30 April, 2020; v1 submitted 20 June, 2019;
originally announced June 2019.
-
Magnetic stability of massive star forming clumps in RCW 106
Authors:
Shohei Tamaoki,
Koji Sugitani,
Quang Nguyen-Luong,
Fumitaka Nakamura,
Takayoshi Kusune,
Makoto Watanabe,
Shogo Nishiyama,
Motohide Tamura
Abstract:
The RCW 106 molecular cloud complex is an active massive star-forming region where a ministarburst is taking place. We examined its magnetic structure by near-IR polarimetric observations with the imaging polarimeter SIRPOL on the IRSF 1.4 m telescope. The global magnetic field is nearly parallel to the direction of the Galactic plane and the cloud elongation. We derived the magnetic field strengt…
▽ More
The RCW 106 molecular cloud complex is an active massive star-forming region where a ministarburst is taking place. We examined its magnetic structure by near-IR polarimetric observations with the imaging polarimeter SIRPOL on the IRSF 1.4 m telescope. The global magnetic field is nearly parallel to the direction of the Galactic plane and the cloud elongation. We derived the magnetic field strength of $\sim100$-$1600~μ$G for 71 clumps with the Davis-Chandrasekhar-Fermi method. We also evaluated the magnetic stability of these clumps and found massive star-forming clumps tend to be magnetically unstable and gravitationally unstable. Therefore, we propose a new criterion to search for massive star-forming clumps. These details suggest that the process enhancing the clump density without an increase of the magnetic flux is essential for the formation of massive stars and the necessity for accreting mass along the magnetic field lines.
△ Less
Submitted 16 April, 2019; v1 submitted 12 April, 2019;
originally announced April 2019.
-
An FPT Algorithm for Max-Cut Parameterized by Crossing Number
Authors:
Yasuaki Kobayashi,
Yusuke Kobayashi,
Shuichi Miyazaki,
Suguru Tamaki
Abstract:
The Max-Cut problem is known to be NP-hard on general graphs, while it can be solved in polynomial time on planar graphs. In this paper, we present a fixed-parameter tractable algorithm for the problem on `almost' planar graphs: Given an $n$-vertex graph and its drawing with $k$ crossings, our algorithm runs in time $O(2^k(n+k)^{3/2} \log (n + k))$. Previously, Dahn, Kriege and Mutzel (IWOCA 2018)…
▽ More
The Max-Cut problem is known to be NP-hard on general graphs, while it can be solved in polynomial time on planar graphs. In this paper, we present a fixed-parameter tractable algorithm for the problem on `almost' planar graphs: Given an $n$-vertex graph and its drawing with $k$ crossings, our algorithm runs in time $O(2^k(n+k)^{3/2} \log (n + k))$. Previously, Dahn, Kriege and Mutzel (IWOCA 2018) obtained an algorithm that, given an $n$-vertex graph and its $1$-planar drawing with $k$ crossings, runs in time $O(3^k n^{3/2} \log n)$. Our result simultaneously improves the running time and removes the $1$-planarity restriction.
△ Less
Submitted 24 May, 2019; v1 submitted 10 April, 2019;
originally announced April 2019.
-
Fine-grained quantum supremacy based on Orthogonal Vectors, 3-SUM and All-Pairs Shortest Paths
Authors:
Ryu Hayakawa,
Tomoyuki Morimae,
Suguru Tamaki
Abstract:
Fine-grained quantum supremacy is a study of proving (nearly) tight time lower bounds for classical simulations of quantum computing under "fine-grained complexity" assumptions. We show that under conjectures on Orthogonal Vectors (OV), 3-SUM, All-Pairs Shortest Paths (APSP) and their variants, strong and weak classical simulations of quantum computing are impossible in certain exponential time wi…
▽ More
Fine-grained quantum supremacy is a study of proving (nearly) tight time lower bounds for classical simulations of quantum computing under "fine-grained complexity" assumptions. We show that under conjectures on Orthogonal Vectors (OV), 3-SUM, All-Pairs Shortest Paths (APSP) and their variants, strong and weak classical simulations of quantum computing are impossible in certain exponential time with respect to the number of qubits. Those conjectures are widely used in classical fine-grained complexity theory in which polynomial time hardness is conjectured. All previous results of fine-grained quantum supremacy are based on ETH, SETH, or their variants that are conjectures for SAT in which exponential time hardness is conjectured. We show that there exist quantum circuits which cannot be classically simulated in certain exponential time with respect to the number of qubits first by considering a Quantum Random Access Memory (QRAM) based quantum computing model and next by considering a non-QRAM model quantum computation. In the case of the QRAM model, the size of quantum circuits is linear with respect to the number of qubits and in the case of the non-QRAM model, the size of the quantum circuits is exponential with respect to the number of qubits but the results are still non-trivial.
△ Less
Submitted 7 November, 2019; v1 submitted 22 February, 2019;
originally announced February 2019.
-
Fine-grained quantum computational supremacy
Authors:
Tomoyuki Morimae,
Suguru Tamaki
Abstract:
Output probability distributions of several sub-universal quantum computing models cannot be classically efficiently sampled unless some unlikely consequences occur in classical complexity theory, such as the collapse of the polynomial-time hierarchy. These results, so called quantum supremacy, however, do not rule out possibilities of super-polynomial-time classical simulations. In this paper, we…
▽ More
Output probability distributions of several sub-universal quantum computing models cannot be classically efficiently sampled unless some unlikely consequences occur in classical complexity theory, such as the collapse of the polynomial-time hierarchy. These results, so called quantum supremacy, however, do not rule out possibilities of super-polynomial-time classical simulations. In this paper, we study "fine-grained" version of quantum supremacy that excludes some exponential-time classical simulations. First, we focus on two sub-universal models, namely, the one-clean-qubit model (or the DQC1 model) and the HC1Q model. Assuming certain conjectures in fine-grained complexity theory, we show that for any $a>0$ output probability distributions of these models cannot be classically sampled within a constant multiplicative error and in $2^{(1-a)N+o(N)}$ time, where $N$ is the number of qubits. Next, we consider universal quantum computing. For example, we consider quantum computing over Clifford and $T$ gates, and show that under another fine-grained complexity conjecture, output probability distributions of Clifford-$T$ quantum computing cannot be classically sampled in $2^{o(t)}$ time within a constant multiplicative error, where $t$ is the number of $T$ gates.
△ Less
Submitted 18 October, 2019; v1 submitted 6 January, 2019;
originally announced January 2019.
-
Nernst-like Effect in a Flexible Chain
Authors:
Shuji Tamaki,
Keiji Saito
Abstract:
We investigate heat transport via a charged flexible chain in the presence of magnetic fields. We focus on the Nernst-like effect, where the average positions of particles deviate in the perpendicular direction to the heat flow. This phenomenon is induced by the nonlinear dynamics as well as nonequilibrium state. We develop a linear response formalism to derive a thermodynamic force which induces…
▽ More
We investigate heat transport via a charged flexible chain in the presence of magnetic fields. We focus on the Nernst-like effect, where the average positions of particles deviate in the perpendicular direction to the heat flow. This phenomenon is induced by the nonlinear dynamics as well as nonequilibrium state. We develop a linear response formalism to derive a thermodynamic force which induces the Nernst-like effect, and show that the phenomenon is quantitatively explained. We also discuss the inverse effect, where an external ac-driving force induces finite net heat current in the homogeneous system attached to heat baths with the same temperature.
△ Less
Submitted 21 November, 2018; v1 submitted 27 February, 2018;
originally announced February 2018.
-
Heat transport via low-dimensional systems with broken time-reversal symmetry
Authors:
Shuji Tamaki,
Makiko Sasada,
Keiji Saito
Abstract:
We consider heat transport through systems with broken time-reversal symmetry. We apply strong magnetic fields to weakly charged particle systems, where the dynamics are dominated by the Lorentz force and spring forces. The standard momentum conservation is not satisfied and the sound wave disappears depending on the charge structure. We introduce an exactly solvable model and demonstrate the appe…
▽ More
We consider heat transport through systems with broken time-reversal symmetry. We apply strong magnetic fields to weakly charged particle systems, where the dynamics are dominated by the Lorentz force and spring forces. The standard momentum conservation is not satisfied and the sound wave disappears depending on the charge structure. We introduce an exactly solvable model and demonstrate the appearance of a new universality class. The absence of sound waves affects the relation between equilibrium correlation and the diverging thermal conductivity in the open system.
△ Less
Submitted 18 September, 2017; v1 submitted 8 June, 2017;
originally announced June 2017.
-
Derandomizing HSSW Algorithm for 3-SAT
Authors:
Kazuhisa Makino,
Suguru Tamaki,
Masaki Yamamoto
Abstract:
We present a (full) derandomization of HSSW algorithm for 3-SAT, proposed by Hofmeister, Schöning, Schuler, and Watanabe in [STACS'02]. Thereby, we obtain an O(1.3303^n)-time deterministic algorithm for 3-SAT, which is currently fastest.
We present a (full) derandomization of HSSW algorithm for 3-SAT, proposed by Hofmeister, Schöning, Schuler, and Watanabe in [STACS'02]. Thereby, we obtain an O(1.3303^n)-time deterministic algorithm for 3-SAT, which is currently fastest.
△ Less
Submitted 18 February, 2011;
originally announced February 2011.