arXiv subjects

Shintaro Sato

Publications and source records attributed to Shintaro Sato.

At least 19 recordsLinked to original sources

arXiv2026

Implementation and verification of coherent error suppression using randomized compiling for Grover's algorithm on a trapped-ion device

In near-term quantum computations that do not employ fault tolerant error correction, noise can proliferate rapidly, corrupting the quantum state and making results unreliable. These errors originate from both decoherence and control imprecision and the latter can manifest as coherent error that is especially detrimental. In the pre-fault tolerant setting, previous work has shown that different error suppression methods have shown promising complementary advantages but highly variable performance under different algorithmic and error model conditions. Here, we evaluate the effectiveness of several error suppression methods under varying algorithmic settings, both theoretically with numerical simulations and experimentally on a trapped-ion quantum computer. For our case study, we explore a range of output states under Grover's algorithm quantum circuits containing up to 10 qubits and 28 two-qubit gates with varying output state features. We explore the complementary effectiveness of randomized compiling and algorithm error detection, where the latter is realized via post-selection on ancillary qubits that ideally return to the ground state at the end of each circuit. In all settings, combining randomized compiling and error detection yields the largest suppression of error, indicating that these methods are most effective when combined to extend the capabilities of near-term devices for moderately deep circuits. We demonstrate for the first time significant suppression of coherent error on a trapped-ion platform, and moreover achieve this outcome via cloud access. However our results highlight that the degree of error suppression depends sensitively on the nature of the error model and the algorithm instance.

quant-ph↗

arXiv2026

Beyond Problem Solving: Large Language Models for Emotional and Reflective Support in Mathematics Learning

Intelligent Tutoring Systems (ITSs) traditionally focus their adaptive support on cognitive aspects of learning. Although effective, little is known about how such systems can be enhanced by addressing students' emotional states. In particular, the role of mindful interventions for supporting student learning and experiences in adaptive math learning remains underexplored. We developed "Math with Matt", an ITS that leverages Large Language Models (LLMs) to provide both cognitive and emotional support in algebra learning. The system offers 1) an LLM-based mindful chat that delivers context-sensitive emotional support through a pedagogical agent Matt, and 2) mindful feedback and hint messages (not just evaluative) to enhance learning experiences and reduce math anxiety. We conducted a classroom study with 7th graders, comparing a Mindful version against a version with cognitive support only. Overall, the ITS reduced executive state-math anxiety and improved students' math learning, though no significant differences emerged between the conditions. However, students with the mindfulness interventions showed higher learning efficiency and well-balanced problem-solving behavior, since they achieve a similar level of math learning with less learning time and fewer requested hints compared to the Cognitive version. Additionally, they reported that the pedagogical agent felt more supportive and caring than students in the cognitive condition. Our study demonstrates the feasibility and scalability of integrating mindfulness into ITSs through LLM-based interactions and positions LLMs as an adaptive, socio-emotional layer within cognitive math tutoring.

cs.HC↗

arXiv2026

Low-dimensional structure and online tracking of POD subspaces on the Grassmann manifold: application to flow around an airfoil

Representing flow states over a wide range of flow parameters and control inputs in a low-dimensional state space is a central challenge in fluid mechanics. Rather than representing the instantaneous flow field in a fixed subspace spanned by the leading proper orthogonal decomposition (POD) modes, this study regards the POD subspace itself as the flow state at each flow condition. The set of POD subspaces associated with flow conditions defines a state space on the Grassmann manifold. Diffusion maps identify the intrinsic low-dimensional structure of the family of POD subspaces, while Grassmannian rank-one update subspace estimation tracks the temporal evolution of a POD subspace online. The framework is experimentally demonstrated for flow around an airfoil. POD subspaces are extracted from wall-pressure fluctuations measured by a microphone array over a range of angles of attack and under different control inputs. The subspaces are found to lie on a one-dimensional submanifold of the Grassmann manifold. Moreover, the transition from separated to attached flow, induced by a plasma actuator, follows a reproducible trajectory along the same submanifold identified from statistically stationary flow data. The temporal evolution of the subspace is consistent with the transient evolution of the flow field observed using particle image velocimetry. These results show that POD subspaces can serve as representative flow states, enabling their temporal evolution across a wide range of flow conditions to be tracked online in a low-dimensional space based on wall-pressure fluctuations. This low-dimensional representation provides a basis for real-time flow-state estimation and feedback control.

physics.flu-dyn↗

arXiv2026

Idling error suppression through gate scheduling

Achieving high-precision quantum computation requires effective suppression of idling errors that occur when qubits remain inactive during waiting periods within a quantum circuit. Conventional mitigation techniques, such as dynamical decoupling, suppress decoherence by periodically refreshing quantum states through the insertion of additional control gates. In this paper, we propose an alternative approach that suppresses idling errors through quantum circuit scheduling without introducing any additional gate operations. By appropriately adjusting the execution timing of quantum gates with scheduling flexibility, we demonstrate through both numerical simulations and hardware experiments that the overall computational accuracy can be significantly influenced and, in many cases, improved. In addition, we analytically derive the density-matrix evolution under idling noise and provide a theoretical framework that explains the observed behavior.

quant-ph↗

arXiv2026

Mind the Trust Gap: Identifying (Mis)alignments in Teacher-Student Views Toward Control and Agency in K-12 Classroom AI

As Artificial Intelligence (AI)-based technologies have been integrated into school classrooms where multiple stakeholders (with different roles) interact with each other, it is critical to deeply understand stakeholder views in the classroom. In particular, prior work has not fully uncovered how teachers' and school students' views might or might not align well with each other, especially in K-12 classrooms. We conducted a speed-dating study using storyboards with 16 school students and 15 school teachers in Germany to investigate alignments and misalignments between their views on student-AI decision-making control in K-12 classroom. Through an explicit pair-matching analysis, we found that students and teachers had misaligned views on several key topics, including how much they trust AI and social and emotional aspects of student learning with AI. Findings also revealed the importance of teacher-student relationships outside of AI use that shape stakeholders' views and interactions. We discuss potential reasons for the observed misaligned views and strategies to fill the perspective gaps. This study illustrates the complexities of preferences in teacher-student-AI interactions that depend on the dynamic relations among the stakeholders.

cs.HC↗

arXiv2026

Integration of diamond nanobeams with SnVs on Al2O3 waveguides for scalable quantum photonic chip application

Tin vacancy (SnV) centers in diamond are promising solid state qubits for integrated quantum photonics. Here, we fabricate and characterize a diamond on Al2O3 dual taper waveguide structure containing SnV centers, demonstrating optical coupling between the diamond nanobeam and the underlying Al2O3 waveguide. The devices are realized using a bilayer fabrication approach compatible with wafer scale lithography. Clear guided SnV- emission is observed in all optically active devices, indicating effective optical coupling in the integrated structure. These results demonstrate a scalable fabrication approach toward integrating diamond color centers with photonic waveguides.

physics.optics↗

arXiv2026

Invariants of Sequential Circuits and Generalized Non-Abelian Statistics

Non-invertible symmetries in quantum many-body systems generally give rise to sequential unitary circuits that move symmetry defects. In this paper, we investigate invariants defined by sequences of such circuits, which move non-invertible defects and generate a Berry phase evaluated on quantum states with defects. We show that this Berry phase generally defines an invariant under local deformations, provided that the sequential circuits preserve the locality of those deformations. This invariant also rules out a short-range-entangled state that preserves the non-invertible symmetry, thereby signaling the 't Hooft anomaly of a non-invertible symmetry purely in terms of unitary operators acting on a state. We then apply this framework to loop excitations in three spatial dimensions and identify a new loop excitation in the (3+1)D $\mathbb{D}_4$ topological order, which we dub a non-Abelian fermionic loop. Using the invariant of sequential circuits, we characterize the statistics of non-Abelian fermionic loops. In addition, we find a new (3+1)D mixed topological order with a single non-Abelian fermionic loop, whose long-range entanglement is protected by an invariant of sequential circuits.

cond-mat.str-el↗

arXiv2026

Adaptive Window Decoding based on Spatiotemporal Complementary Gap

Real-time decoding plays a crucial role in practical fault-tolerant quantum computing. Window decoding, in which the decoding problem is divided into windows, is a promising approach. While reducing the window size is desirable for faster decoding, each window contains a buffer region whose size must typically be at least the code distance to avoid degrading the logical error rate, which limits how much the window can shrink. In this paper, we propose an adaptive decoding scheme in which window decoding is first performed with a small buffer size and a decoding confidence (soft information) is computed; if the confidence is low, the buffer size is enlarged and decoding is redone. This approach reduces the average decoding time, since most shots are decoded with a small buffer. A central challenge in realizing this scheme is that existing forms of soft information are not directly applicable to window decoding, especially with a small buffer. We address this challenge by introducing a new form of soft information, the spatiotemporal complementary gap, specifically designed for this setting. Numerical simulations demonstrate that the proposed scheme reduces the average buffer size by approximately 40% while maintaining the logical error rate.

quant-ph↗

arXiv2026

STAR-Magic Mutation: Even More Efficient Analog Rotation Gates for Early Fault-Tolerant Quantum Computer

We introduce STAR-magic mutation, an efficient protocol for implementing logical rotation gates on early fault-tolerant quantum computers. This protocol judiciously combines two of the latest state preparation protocols: transversal multi-rotation protocol and magic state cultivation. It achieves a logical rotation gate with a favorable error scaling of $\mathcal{O}(θ_L^{2(1-Θ(1/d))}p_{\text{ph}})$, while requiring only the ancillary space of a single surface code patch. Here, $θ_L$ is the logical rotation angle, $p_{\text{ph}}$ is the physical error rate, and $d$ is the code distance. This scaling marks a significant improvement over the previous state-of-the-art, $\mathcal{O}(θ_L p_{\text{ph}})$, making our protocol particularly powerful for implementing a sequence of small-angle rotation gates, like Trotter-based circuits. Notably, for $θ_L \lesssim 10^{-5}$, our protocol achieves a two-order-of-magnitude reduction in both the execution time and the error rate of analog rotation gates compared to the standard $T$-gate synthesis using cultivated magic states. Building upon this protocol, we also propose a novel quantum computing architecture designed for early fault-tolerant quantum computers, dubbed ``STAR ver.~3". It employs a refined circuit compilation strategy based on Clifford+$T$+$ϕ$ gate set, rather than the conventional Clifford+$T$ or Clifford+$ϕ$ gate sets. We establish a theoretical bound on the feasible circuit size on this architecture and illustrate its capabilities by analyzing the spacetime costs for simulating the dynamics of quantum many-body systems. Specifically, we demonstrate that our architecture can simulate biologically-relevant molecules or lattice models at scales beyond the reach of exact classical simulation, with only a few hundred thousand physical qubits, even assuming a realistic error rate of $p_{\text{ph}}=10^{-3}$.

quant-ph↗

arXiv2026

Improvement of reduced-order model for two-dimensional cylinder flow based on global proper orthogonal decomposition in terms of robustness and computational speed

Reduced-order models (ROMs) are widely used in fluid engineering to enable rapid prediction of flow fields for parametric analysis, design optimization, and control applications. Proper orthogonal decomposition (POD) is commonly employed to construct ROMs because it provides an optimal basis for representing a given flow dataset. However, POD-based ROMs often lack robustness when applied to flow conditions that differ from those included in the training data. Incorporating multiple flow conditions can improve robustness, but this generally increases the computational cost of ROM prediction, which limits practical applicability in engineering workflows. In this study, we propose a ROM framework that achieves fast and robust flow prediction even when the dataset contains a large number of flow conditions. The proposed approach employs a novel two-step order-reduction strategy based on POD. In the second reduction step, flow conditions that are most relevant to the target prediction are selectively retained, thereby reducing the computational cost without sacrificing accuracy. The performance of the proposed ROM is evaluated for a two-dimensional unsteady flow past a circular cylinder, a canonical benchmark problem in fluid engineering. The model accurately reproduces the relationship between vortex-shedding frequency and Reynolds number obtained from full numerical simulations. Furthermore, the proposed ROM reduces the computational cost by approximately 50% compared with a conventional POD-based ROM constructed using flow data at 27 different Reynolds numbers.

physics.flu-dyn↗

arXiv2026

Even More Efficient Soft-Output Decoding with Extra-Cluster Growth and Early Stopping

In fault-tolerant quantum computing, soft outputs from real-time decoders play a crucial role in improving decoding accuracy, post-selecting magic states, and accelerating lattice surgery. A recent paper by Meister et al. [arXiv:2405.07433 (2024)] proposed an efficient method to evaluate soft outputs for cluster-based decoders, including the Union-Find (UF) decoder. However, in parallel computing environments, its computational complexity is comparable to or even surpasses that of the UF decoder itself, resulting in a substantial overhead. Furthermore, this method requires global information about the decoding graph, making it poorly suited for existing hardware implementations of the UF decoder on Field-Programmable Gate Arrays (FPGAs). In this paper, to alleviate these issues, we develop more efficient methods for evaluating high-quality soft outputs in cluster-based decoders by introducing several early-stopping techniques. Our central idea is that the precise value of a large soft output is often unnecessary in practice. Based on this insight, we introduce two types of novel soft-outputs: the bounded cluster gap and the extra-cluster gap. The former reduces the computational complexity of Meister's method by terminating the calculation at an early stage. Our numerical simulations show that this method achieves improved scaling with code distance $d$ compared to the original proposal. The latter, the extra-cluster gap, quantifies decoder reliability by performing a small, additional growth of the clusters obtained by the decoder. This approach offers the significant advantage of enabling soft-output computation without modifying the existing architecture of FPGA-implemented UF decoders. These techniques offer lower computational complexity and higher hardware compatibility, laying a crucial foundation for future real-time decoders with soft outputs.

quant-ph↗

arXiv2025

On the conservation of physical properties in operator interpolation of parameterized hydrodynamic systems

Reduced-order models (ROMs) that capture changes in fluid systems due to variations in parameters, such as the Reynolds number or the shape of a stationary body placed in the flow, are attracting increasing attention in engineering applications. In this study, we identify linear operators that characterize the behavior of fluid systems across a wide parameter range by using flow field datasets at several representative parameter values. We then comprehensively assess the applicability of ROMs constructed through the interpolation of these operators. Specifically, we consider two intrusive operator-based ROMs: one derived from Galerkin projection and the other based on operator inference using dynamic mode decomposition (DMD). The performance of these ROMs is evaluated for flows around circular and elliptical cylinders over a range of Reynolds numbers and aspect ratios. The Galerkin-based ROM successfully predicts only the eigenvalue and eigenmode corresponding to the fundamental frequency of the Kármán vortex shedding, while other frequencies are not captured and show a decaying behavior. In contrast, the DMD-based ROM accurately predicts both the fundamental frequency and its higher harmonics. Furthermore, visualization of the linear operator matrix elements reveals that interpolation fails when the subspace includes bases contaminated by numerical errors. However, by carefully selecting the subspace dimension and reference conditions, it is possible to accurately predict eigenvalues and corresponding modes even under conditions where multiple low-frequency modes exist outside the harmonic structure of the fundamental frequency. These findings underscore the robustness of the DMD-based parametric operator ROM approach.

physics.flu-dyn↗

arXiv2025

Energy transfer and budget analysis for transient process with phase-averaged reduced-order model

We derive a phase-averaged representation of transient flows based on the eigenmodes of a data-driven linear operator that approximates the Navier-Stokes dynamics. In performing phase averaging, it is assumed that, at each instant during the transient evolution, the eigenmode amplitude remains invariant, while only the complex phase angle differs among distinct realizations of the transient process. From this modal-phase perspective, the linear operator is defined as the best-fit operator that represents phase-different transient evolutions. By introducing a time-varying dynamic mode decomposition with a phase-control strategy formulated from this modal-phase perspective, time-varying eigenmodes are extracted from numerical simulations. In this formulation, the transient process is decomposed into time-varying eigenmodes, phase-shift angles, and amplitude coefficients. Furthermore, by averaging the Navier-Stokes equations over the phase-shift angle, a frequency-domain form of the equations can be derived at any given instant, assuming that the phase-shift angle is time-independent. This frequency-domain representation reveals the instantaneous energy budget and the presence of energy transfer through triadic interactions. The proposed analysis is demonstrated using a canonical example of two-dimensional flow around a circular cylinder transitioning from a steady to an unsteady state. The time-varying dynamic mode decomposition with phase control is shown to capture the transient evolution of the frequency components accurately. In addition, the temporal evolution of the energy budget and transfer distribution reveals that transient growth processes exhibit different time-dependent characteristics of energy transfer, even in cylinder flows at Reynolds numbers that eventually lead to a periodic state.

physics.flu-dyn↗

arXiv2025

Decoder Switching: Breaking the Speed-Accuracy Tradeoff in Real-Time Quantum Error Correction

The realization of fault-tolerant quantum computers hinges on the construction of high-speed, high-accuracy, real-time decoding systems. The persistent challenge lies in the fundamental trade-off between speed and accuracy: efforts to improve the decoder's accuracy often lead to unacceptable increases in decoding time and hardware complexity, while attempts to accelerate decoding result in a significant degradation in logical error rate. To overcome this challenge, we propose a novel framework, decoder switching, which balances these competing demands by combining a faster, soft-output decoder ("weak decoder") with a slower, high-accuracy decoder ("strong decoder"). In usual rounds, the weak decoder processes error syndromes and simultaneously evaluates its reliability via soft information. Only when encountering a decoding window with low reliability do we switch to the strong decoder to achieve more accurate decoding. Numerical simulations suggest that this framework can achieve accuracy comparable to, or even surpassing, that of the strong decoder, while maintaining an average decoding time on par with the weak decoder. We also develop an online decoding scheme tailored to our framework, named double window decoding, and elucidate the criteria for preventing an exponential slowdown of quantum computation. These findings break the long-standing speed-accuracy trade-off, paving the way for scalable real-time decoding devices.

quant-ph↗

arXiv2025

Runtime reduction in lattice surgery utilizing time-like soft information

Runtime optimization of the quantum computing within a given computational resource is important to achieve practical quantum advantage. In this paper, we propose a runtime reduction protocol for the lattice surgery, which utilizes the soft information corresponding to the logical measurement error. Our proposal is a simple two-step protocol: operating the lattice surgery with the small number of syndrome measurement cycles, and reexecuting it with full syndrome measurement cycles in cases where the time-like soft information catches logical error symptoms. We firstly discuss basic features of the time-like complementary gap as the concrete example of the time-like soft information based on numerical results. Then, we show that our protocol surpasses the existing runtime reduction protocol called temporally encoded lattice surgery (TELS) for the most cases. In addition, we confirm that the combination of our protocol and the TELS protocol can reduce the runtime further, over 50% in comparison to the naive serial execution of the lattice surgery. The proposed protocol in this paper can be applied to any quantum computing architecture based on the lattice surgery, and we expect that this will be one of the fundamental building blocks of runtime optimization to achieve practical scale quantum computing.

quant-ph↗

arXiv2025

Scheduling of syndrome measurements with a few ancillary qubits

Quantum error-correcting codes are a vital technology for demonstrating reliable quantum computation. They require data qubits for encoding quantum information and ancillary qubits for taking error syndromes necessary for error correction. The need for a large number of ancillary qubits is an overhead specific to quantum computing, and it prevents the scaling of quantum computers to a useful size. In this work, we propose a framework for generating efficient syndrome measurement circuits with a few ancillary qubits in CSS codes and provide a method to minimize the total number of physical qubits in general settings. We demonstrated our proposal by applying it to surface codes, and we generated syndrome measurement circuits under several constraints of total qubit count. As a result, we find that balanced data and ancillary qubit counts achieve the lower logical error rates under a fixed total number of physical qubits. This result indicates that using fewer ancillary qubits than the number of stabilizers can be effective for reducing logical error rates in a practical noise model.

quant-ph↗

arXiv2025

Uncovering triadic interaction relationships latent in Mode A behind a circular cylinder

Coherence between multiple low-frequency components latent in the flow fields characterizes the nonlinear aspects of fluid dynamics. This study reveals the existance of the distinct frequency components and their interaction relation of the classical Mode A of the cylinder wake. Primaries are one-third of the Karman vortex shedding frequency (third-subharmonic) and bubble pumping, known as the previous study. However, when the spanwise domain size in numerical simulations is sufficiently large, their interaction is obscured by the presence of numerous frequency components. To address this, we introduce a process in which distinct frequency components gradually emerge by starting with a small spanwise domain size and then gradually increasing it from 3.3D to 4.7D, where D represents the diameter of the cylinder. From 3.3D to 3.5D, only the vortex shedding frequency harmonics are present. Third-subharmonic frequency appeared ranging from 3.5D to 3.7D. Bispectral mode decomposition reveals that the harmonics of the third-subharmonic frequency govern the flow in this domain size. The bubble pumping is emergence in the flow fields between 3.7D and 3.8D. The frequency component after this emergence is not only the harmonics of bubble pumping and periodic nature is disrupt. Nonlinear interactions between bubble pumping, the Karman vortex, and the third-subharmonic component complicate the temporal behavior of the flow field. Utilizing the constraint of the spanwise domain size, our approach effectively reveals the interaction relationship between frequency components inherent a flow field with a significant number of frequency components.

physics.flu-dyn↗

arXiv2025

Quantum many-body simulation of finite-temperature systems with sampling a series expansion of a quantum imaginary-time evolution

Simulating thermal-equilibrium properties at finite temperature is crucial for studying quantum many-body systems. Quantum computers are expected to enable us to simulate large systems at finite temperatures, overcoming challenges faced by classical computers, like the sign problem of the quantum Monte-Carlo technique. Conventional methods suitable for fault-tolerant quantum computing (FTQC) devices are designed for studying large-scale quantum many-body systems but require a large number of ancilla qubits and a deep quantum circuit with many basic gates, making them unsuitable for the early stage of the FTQC era, at which the availability of qubits and quantum gates is limited. In this paper, we propose a method suitable for quantum devices in this early stage to calculate the thermal-equilibrium expectation value of an observable at finite temperatures. Our proposal, named the Markov-chain Monte Carlo with sampled pairs of unitaries (MCMC-SPU) algorithm, involves sampling simple quantum circuits and generating the corresponding statistical ensembles. This approach addresses the issues of resource demand and the decay in probability associated with postselection of measurement outcomes on ancilla qubits. We validate our proposal with numerical simulation on the one-dimensional transverse-field Ising model as an illustrative example.

quant-ph↗