arXiv subjects

Naoki Ishikawa

Publications and source records attributed to Naoki Ishikawa.

At least 19 recordsLinked to original sources

arXiv2026

Efficient Quantum Circuit Construction of Controlled Time-Evolution for Arbitrary Pauli-Sum Hamiltonians

Controlled time-evolution circuits select forward or backward Hamiltonian time evolution according to the state of an ancilla qubit. They are fundamental building blocks in quantum eigenvalue transformation of unitaries, Hamiltonian filtering, and related quantum algorithms. A direct realization adds ancilla control to the elementary gates of the time-evolution circuit and therefore increases the two-qubit gate count, compiled T depth and CX depth. We develop an efficient recursive algorithm that, for an arbitrary Pauli-sum Hamiltonian, partitions the input Pauli terms into groups and assigns to each group a sign-flip Pauli string that anti-commutes with the in-group terms, thereby removing ancilla control from the grouped time-evolution blocks. Numerical benchmarks on random Hamiltonians and structured spin Hamiltonians show reductions in compiled T depth and compiled CX depth. For a Kagome Hamiltonian with 24 spins under full connectivity, the proposed construction reduces the compiled T depth by 85.2% and the compiled CX depth by 68.9%, compared with a conventional implementation that decomposes the Hamiltonian into individual Pauli terms and implements the controlled time evolution of each term by directly adding the ancilla qubit to the corresponding Pauli-rotation circuit.

quant-ph↗

arXiv2026

Quantum-Native Maximum Likelihood Detection in Random Access Channel with Overloaded MIMO

In this paper, we propose a quantum-native formulation of maximum likelihood detection (MLD) for overloaded multiple-input multiple-output (MIMO) systems in a random access channel, where numerous user terminals share the same channel resource and asynchronously transmit signals. Classical linear detectors suffer from significant performance degradation in this scenario, whereas the exhaustive-search MLD achieves the optimal performance but incurs an exponential computational complexity. To overcome this trade-off, we formulate the MLD as a binary optimization problem and solve it via Grover adaptive search (GAS) -- a quantum exhaustive search algorithm offering quadratic speedup in fault-tolerant quantum computing. We then introduce a search space reduction technique to substantially decrease the required computational resources. In addition, we investigate efficient parameter settings for GAS through probability analysis to improve convergence performance. We demonstrate that the proposed detector achieves the optimal detection performance while reducing the required Grover rotation count to reach the solution by up to approximately 65% compared with the conventional GAS, showing its potential as a viable solution for future quantum-accelerated wireless systems.

eess.SP↗

arXiv2026

Z-Opt: A Near-Optimal Reduced-Complexity Two-Dimensional Grassmannian Constellation

Grassmannian constellations are known to achieve the capacity of noncoherent communications over Rayleigh fading channels in the high-SNR regime, yet their efficient construction remains challenging. In this paper, we propose two construction methods for Grassmannian constellations of one-dimensional subspaces in a two-dimensional space, termed S-Opt and Z-Opt, along with two low-complexity detectors. Both the construction and detection procedures are performed on the unit sphere, known as the Bloch sphere in quantum computing. We show that the chordal distance on the Grassmann manifold is proportional to the Euclidean distance on the Bloch sphere and derive a corresponding theoretical upper bound based on the Fejes--T\'oth bound on the minimum chordal distance. The S-Opt constellation is constructed from sphere-packing solutions and attains the derived upper bound for the optimal Bloch-sphere packings considered. The S-Opt detector can be applied to arbitrary Grassmannian constellations on $\mathcal{G}(2,1)$, and its time complexity scales linearly with the number of receive antennas and logarithmically with the constellation size, while yielding the same detection performance as the GLRT detector. Furthermore, based on the insight obtained through the S-Opt construction, the Z-Opt constellation is constructed by stacking regular polygons on the Bloch sphere, and its minimum chordal distance approaches the derived upper bound over the evaluated constellation sizes. The Z-Opt detector's time complexity scales linearly with the number of receive antennas, while yielding the same detection performance as the GLRT detector for Z-Opt.

cs.IT↗

arXiv2026

Sparsification of Precoding Codebooks for PAPR Reduction via Grassmannian Representations

In this letter, we propose a sparsification method for precoding codebooks that reduces the peak-to-average power ratio (PAPR) while preserving the achievable rate. By exploiting the fact that precoder matrices lie on the Grassmann manifold, we formulate a codebook design problem that enables sparsification without modifying the existing feedback mechanism. We develop two sparsification approaches, namely exact sparsification via unitary transformation and approximate sparsification via sparse principal component analysis, and integrate them into a unified design algorithm. The proposed sparsified codebooks incur negligible performance loss while reducing PAPR by more than 1 dB in uplink scenarios.

eess.SP↗

arXiv2026

Penalty-Free Two-Step Optimization of Higher-Order Ising Problems for Two-Dimensional Line-Controlled RIS

Reconfigurable intelligent surfaces (RISs) are often assumed to allow continuous phase control over all elements, leading to hardware cost that scales with the number of elements. Treating the phase of each element as a discrete variable is essential for improving cost effectiveness toward ubiquitous RIS deployment. However, the resulting discrete optimization problem is inherently difficult to solve. To address this challenge, this letter proposes a two-dimensional line-control method to reduce the degrees of freedom of the phase variables. The formulation yields a fourth-order objective function and is not directly compatible with physical optimizers such as coherent Ising machines and quantum annealers, which are designed for quadratic interactions. Conventional methods for reducing the order of the objective function with additional auxiliary variables increase the number of variables and require additional penalty parameters, limiting scalability. We therefore propose a two-step optimization method that transforms the fourth-order objective into two successive quadratic optimization problems. For a RIS with 5,476 elements, the required number of discrete variables is reduced from 11,100 to 5,476. Experiments using a real coherent Ising machine demonstrated that the proposed approach solved the discrete-phase optimization problem with 5,476 elements, while limiting the beamforming-gain loss to 2 dB compared with the full continuous-control case.

eess.SP↗

arXiv2026

Scalable and Near-Optimal Discrete Phase Shift Optimization for Reconfigurable Intelligent Surfaces with Over 20,000 Elements

This paper proposes a novel optimization framework for discrete phase shifts of a reconfigurable intelligent surface (RIS) using a coherent Ising machine (CIM). Unlike conventional methods based on iterative convex approximation or combinatorial search with exponentially increasing complexity, the CIM physically explores the solution space of Ising Hamiltonians through collective mode competition in a network of optical oscillators, enabling efficient large-scale discrete optimization. We formulate the RIS discrete phase optimization problem as a quadratic Ising model, which supports both binary and quaternary phase shifts by appropriately mapping quantized phase states to spin variables. Using a real hardware CIM, we experimentally solve quadratic optimization problems for RISs with up to 22,201 elements. The results demonstrate that the proposed method achieves physically consistent beam patterns under both line-of-sight and non-line-of-sight environments and attains the theoretical gain when transitioning from binary to quaternary phase shift. To further enhance scalability, we introduce a spin-size reduction approach that removes spins deterministically fixed by dominant channel components. This technique efficiently reduces the problem size for CIM in line-of-sight conditions without performance loss. These results confirm that CIM-based optimization offers a practical and highly scalable solution for large RIS deployments with discrete phase shift constraints.

cs.IT↗

arXiv2026

Low-Complexity and Power-Efficient Precoding Codebook Design on Sparse Grassmannian

We propose a sparse Grassmannian design for precoding codebooks. Due to their sparse structure, our proposed codebooks achieve low peak-to-average power ratio (PAPR), low complexity of precoder multiplication, and low storage cost, while demonstrating performance comparable to the optimal codebook. Specifically, we introduce a method for constructing codebooks based on Schubert cell decomposition on the Grassmann manifold. Designing an optimal Grassmannian precoding codebook generally requires high computational complexity. In the proposed approach, by exploiting its sparsity, the objective function can be simplified, and the search space can also be significantly reduced compared to state-of-the-art codebooks. Numerical simulations in uplink systems demonstrate that the proposed sparse codebook asymptotically approaches the optimal codebook and outperforms the codebook currently adopted in 5G NR, in terms of achievable rate under uncorrelated Rayleigh fading channels, while maintaining substantially lower PAPR than conventional dense designs. These results confirm that the proposed sparse codebook can be a practical and power-efficient alternative to conventional codebooks for a wide range of uplink transmission scenarios.

eess.SP↗

arXiv2026

Sparse Grassmannian Design for Noncoherent Codes via Schubert Cell Decomposition

In this paper, we propose a method for designing sparse Grassmannian codes for noncoherent multiple-input multiple-output systems. Conventional pairwise error probability formulations under uncorrelated Rayleigh fading channels fail to account for rank deficiency induced by sparse configurations. We revise these formulations to handle such cases in a unified manner. Furthermore, we derive a closed-form metric that effectively maximizes the noncoherent average mutual information (AMI) at a given signal-to-noise ratio. We focus on the fact that the Schubert cell decomposition of the Grassmann manifold provides a mathematically sparse property, and establish design criteria for sparse noncoherent codes based on our analyses. In numerical results, the proposed sparse noncoherent codes outperform conventional methods in terms of both symbol error rate and AMI, and asymptotically approach the performance of the optimal Grassmannian constellations in the high-signal-to-noise ratio regime. Moreover, they reduce the time and space complexity, which does not scale with the number of transmit antennas.

eess.SP↗

arXiv2025

Quantum-Accelerated Wireless Communications: Concepts, Connections, and Implications

Quantum computing is poised to redefine the algorithmic foundations of communication systems. While quantum superposition and entanglement enable quadratic or exponential speedups for specific problems, identifying use cases where these advantages yield engineering benefits is still nontrivial. This article presents the fundamentals of quantum computing in a style familiar to the communications society, outlining the current limits of fault-tolerant quantum computing and clarifying a mathematical harmony between quantum and wireless systems, which makes the topic more enticing to wireless researchers. Based on a systematic review of pioneering and state-of-the-art studies indicating speedup opportunities, we distill common design trends for the research and development of quantum-accelerated communication systems and highlight lessons learned. The key insight is that quantum algorithms, including their gate-level realizations, can benefit from the design intuition applied in communication engineering. This article aims to catalyze interdisciplinary research at the frontier of quantum information processing and future communication systems.

eess.SP↗

arXiv2025

Grover Adaptive Search for the Higher-Order Formulation of Quadratic Assignment Problems

We demonstrate that the search space of the quadratic assignment problem (QAP), known as an NP-hard combinatorial optimization problem, can be reduced using Grover adaptive search (GAS) with permutation preparation operator (PPO). To that end, we first revise the traditional quadratic unconstrained binary optimization (QUBO) formulation of the QAP into a higher-order unconstrained binary optimization (HUBO) formulation, introducing a binary encoding method. Algebraic analyses in terms of the number of qubits, quantum gates, circuit depth, and query complexity are performed, which indicate that our proposed approach significantly reduces the search space size, improving convergence performance to the optimal solution compared to the conventional one. Furthermore, although the PPO for HUBO has a greater circuit depth than the PPO for QUBO, when the analysis is extended to the entire state preparation operator, both HUBO and QUBO exhibit comparable depths. Therefore, owing to its smaller number of variables, HUBO can be concluded to be more effective.

quant-ph↗

arXiv2025

Grover Adaptive Search with Spin Variables

This paper presents a novel approach to Grover adaptive search (GAS) for a combinatorial optimization problem whose objective function involves spin variables. While the GAS algorithm with a conventional design of a quantum dictionary subroutine handles a problem associated with an objective function with binary variables $\{0,1\}$, we reformulate the problem using spin variables $\{+1,-1\}$ to simplify the algorithm. Specifically, we introduce a novel quantum dictionary subroutine that is designed for this spin-based formulation. A key benefit of this approach is the substantial reduction in the number of CNOT gates required to construct the quantum circuit. We theoretically demonstrate that, for certain problems, our proposed approach can reduce the gate complexity from an exponential order to a polynomial order, compared to the conventional binary-based approach. This improvement has the potential to enhance the scalability and efficiency of GAS, particularly in larger quantum computations.

quant-ph↗

arXiv2025

Maximizing Spectrum Efficiency of Data-Carrying Reference Signals via Bayesian Optimization

Data-carrying reference signals are a type of reference signal (RS) constructed on the Grassmann manifold, which allows for simultaneous data transmission and channel estimation to achieve boosted spectral efficiency at high signal-to-noise ratios (SNRs). However, they do not improve spectral efficiency at low to middle SNRs compared with conventional RSs. To address this problem, we propose a numerical optimization-based Grassmann constellation design on the Grassmann manifold that accounts for both data transmission and channel estimation. In our numerical optimization, we derive an upper bound on the normalized mean squared error (NMSE) of estimated channel matrices and a lower bound on the noncoherent average mutual information (AMI), and these bounds are optimized simultaneously by using a Bayesian optimization technique. The proposed objective function outperforms conventional design metrics in obtaining Pareto-optimal constellations for NMSE and AMI. The constellation obtained by our method achieves an NMSE comparable to conventional non-data-carrying RSs while enabling data transmission, resulting in superior AMI performance and improved spectral efficiency even at middle SNRs.

eess.SP↗

arXiv2025

Covert Communications Without Pre-Sharing of Side Information and Channel Estimation Over Quasi-Static Fading Channels

We propose a new covert communication scheme that operates without pre-sharing side information and channel estimation, utilizing a Gaussian-distributed Grassmann constellation for noncoherent detection. By designing constant-amplitude symbols on the Grassmann manifold and multiplying them by random variables, we generate signals that follow an arbitrary probability distribution, such as Gaussian or skew-normal distributions. The mathematical property of the manifold enables the transmitter's random variables to remain unshared with the receiver, and the elimination of pilot symbols that could compromise covertness. The proposed scheme achieved higher covertness and achievable rates compared to conventional coherent Gaussian signaling schemes, without any penalty in terms of complexity.

eess.SP↗

arXiv2025

Superimposed Pilot-Based OTFS: Will It Work?

Orthogonal time frequency space (OTFS) modulation is a promising solution to handle doubly-selective fading, but its channel estimation is a nontrivial task in terms of maximizing spectral efficiency. Conventional pilot assignment approaches face challenges: the standard embedded pilot-based scheme suffers from low transmission rates, and the single superimposed pilot (SP)-based scheme experiences inevitable data-pilot interference, leading to coarse channel estimation. To cope with this issue, focusing on the SP-based OTFS system in channel coded scenarios, we propose a novel pilot assignment scheme and an iterative algorithm. The proposed scheme allocates multiple SPs per frame to estimate channel coefficients accurately. Furthermore, the proposed algorithm performs refined interference cancellation, utilizing a replica of data symbols generated from soft-decision outputs provided by a decoder. Assuming fair and unified conditions, we evaluate each pilot assignment scheme in terms of reliability, channel estimation accuracy, effective throughput, and computational complexity. Our numerical simulations demonstrate that the multiple SP-based scheme, which balances the transmission rate and the interference cancellation performance, has the best throughput at the expense of slightly increased complexity. In addition, we confirm that the multiple SP-based scheme achieves further improved throughput due to the proposed interference cancellation algorithm.

eess.SP↗

arXiv2024

Quantum Speedup for Polar Maximum Likelihood Decoding

Conventional decoding algorithms for polar codes strive to balance achievable performance and computational complexity in classical computing. While maximum likelihood (ML) decoding guarantees optimal performance, its NP-hard nature makes it impractical for real-world systems. In this letter, we propose a novel ML decoding architecture for polar codes based on the Grover adaptive search, a quantum exhaustive search algorithm. Unlike conventional studies, our approach, enabled by a newly formulated objective function, uniquely supports Gray-coded multi-level modulation without expanding the search space size compared to the classical ML decoding. Simulation results demonstrate that our proposed quantum decoding achieves ML performance while providing a pure quadratic speedup in query complexity.

quant-ph↗

arXiv2024

Quantum Speedup of the Dispersion and Codebook Design Problems

We propose new formulations of max-sum and max-min dispersion problems that enable solutions via the Grover adaptive search (GAS) quantum algorithm, offering quadratic speedup. Dispersion problems are combinatorial optimization problems classified as NP-hard, which appear often in coding theory and wireless communications applications involving optimal codebook design. In turn, GAS is a quantum exhaustive search algorithm that can be used to implement full-fledged maximum-likelihood optimal solutions. In conventional naive formulations however, it is typical to rely on a binary vector spaces, resulting in search space sizes prohibitive even for GAS. To circumvent this challenge, we instead formulate the search of optimal dispersion problem over Dicke states, an equal superposition of binary vectors with equal Hamming weights, which significantly reduces the search space leading to a simplification of the quantum circuit via the elimination of penalty terms. Additionally, we propose a method to replace distance coefficients with their ranks, contributing to the reduction of the number of qubits. Our analysis demonstrates that as a result of the proposed techniques a reduction in query complexity compared to the conventional GAS using Hadamard transform is achieved, enhancing the feasibility of the quantum-based solution of the dispersion problem.

quant-ph↗

arXiv2024

Grover Adaptive Search for Maximum Likelihood Detection of Generalized Spatial Modulation

We propose a quantum-assisted solution for the maximum likelihood detection (MLD) of generalized spatial modulation (GSM) signals. Specifically, the MLD of GSM is first formulated as a novel polynomial optimization problem, followed by the application of a quantum algorithm, namely, the Grover adaptive search. The performance in terms of query complexity of the proposed method is evaluated and compared to the classical alternative via a numerical analysis, which reveals that under fault-tolerant quantum computation, the proposed method outperforms the classical solution if the number of data symbols and the constellation size are relatively large.

eess.SP↗

arXiv2024

Accelerating Grover Adaptive Search: Qubit and Gate Count Reduction Strategies with Higher-Order Formulations

Grover adaptive search (GAS) is a quantum exhaustive search algorithm designed to solve binary optimization problems. In this paper, we propose higher-order binary formulations that can simultaneously reduce the numbers of qubits and gates required for GAS. Specifically, we consider two novel strategies: one that reduces the number of gates through polynomial factorization, and the other that halves the order of the objective function, subsequently decreasing circuit runtime and implementation cost. Our analysis demonstrates that the proposed higher-order formulations improve the convergence performance of GAS by both reducing the search space size and the number of quantum gates. Our strategies are also beneficial for general combinatorial optimization problems using one-hot encoding.

quant-ph↗