-
Performance Upper Bound of Grover-Mixer Quantum Alternating Operator Ansatz
Authors:
Ningyi Xie,
Jiahua Xu,
Tie** Chen,
Xinwei Lee,
Yoshiyuki Saito,
Nobuyoshi Asai,
Dongsheng Cai
Abstract:
The Quantum Alternating Operator Ansatz (QAOA) represents a branch of quantum algorithms for solving combinatorial optimization problems. A specific variant, the Grover-Mixer Quantum Alternating Operator Ansatz (GM-QAOA), ensures uniform amplitude across states that share equivalent objective values. This property makes the algorithm independent of the problem structure, focusing instead on the di…
▽ More
The Quantum Alternating Operator Ansatz (QAOA) represents a branch of quantum algorithms for solving combinatorial optimization problems. A specific variant, the Grover-Mixer Quantum Alternating Operator Ansatz (GM-QAOA), ensures uniform amplitude across states that share equivalent objective values. This property makes the algorithm independent of the problem structure, focusing instead on the distribution of objective values within the problem. In this work, we prove the probability upper bound for measuring a computational basis state from a GM-QAOA circuit with a given depth, which is a critical factor in QAOA cost. Using this, we derive the upper bounds for the probability of sampling an optimal solution, and for the approximation ratio of maximum optimization problems, both dependent on the objective value distribution. Through numerical analysis, we link the distribution to the problem size and build the regression models that relate the problem size, QAOA depth, and performance upper bound. Our results suggest that the GM-QAOA provides a quadratic enhancement in sampling probability and requires circuit depth that scales exponentially with problem size to maintain consistent performance.
△ Less
Submitted 24 May, 2024; v1 submitted 6 May, 2024;
originally announced May 2024.
-
Feed-Forward Probabilistic Error Cancellation with Noisy Recovery Gates
Authors:
Leo Kurosawa,
Yoshiyuki Saito,
Xinwei Lee,
Xinjian Yan,
Ningyi Xie,
Dongsheng Cai,
Nobuyoshi Asai
Abstract:
Probabilistic Error Cancellation (PEC) aims to improve the accuracy of expectation values for observables.This is accomplished using the probabilistic insertion of recovery gates, which correspond to the inverse of errors.However, the inserted recovery gates also induce errors. Thus, it is difficult to obtain accurate expectation values with PEC since the estimator of PEC has a bias due to noise i…
▽ More
Probabilistic Error Cancellation (PEC) aims to improve the accuracy of expectation values for observables.This is accomplished using the probabilistic insertion of recovery gates, which correspond to the inverse of errors.However, the inserted recovery gates also induce errors. Thus, it is difficult to obtain accurate expectation values with PEC since the estimator of PEC has a bias due to noise induced by recovery gates.To address this challenge, we propose an improved version of PEC that considers the noise resulting from gate insertion, called Feed-Forward PEC (FFPEC). FFPEC provides an unbiased estimator of expectation values by cancelling out the noise induced by recovery gates.We demonstrate that FFPEC yields more accurate expectation values compared to conventional PEC method through numerical simulations with bit-flip and depolarizing noises.
△ Less
Submitted 2 May, 2024;
originally announced May 2024.
-
Light Cone Cancellation for Variational Quantum Eigensolver Ansatz
Authors:
Xinjian Yan,
Xinwei Lee,
Ningyi Xie,
Yoshiyuki Saito,
Leo Kurosawa,
Nobuyoshi Asai,
Dongsheng Cai,
HoongChuin Lau
Abstract:
Variational Quantum Algorithms (VQAs) represent a class of algorithms that utilize a hybrid approach, combining classical and quantum computing techniques. In this approach, classical computers serve as optimizers that update circuit parameters to find approximate solutions to complex problems. In this study, we apply a method known as Light Cone Cancellation (LCC) to optimize variational circuits…
▽ More
Variational Quantum Algorithms (VQAs) represent a class of algorithms that utilize a hybrid approach, combining classical and quantum computing techniques. In this approach, classical computers serve as optimizers that update circuit parameters to find approximate solutions to complex problems. In this study, we apply a method known as Light Cone Cancellation (LCC) to optimize variational circuits, effectively reducing the required number of qubits and gates for circuit simulation. We then evaluate the performance of LCC one of the VQAs -- the Variational Quantum Eigensolver (VQE) -- to address the Max-Cut problem. Compared with the Quantum Approximate Optimization Algorithm (QAOA), VQE offers greater degrees of freedom at lower circuit depths. By applying LCC to VQE, we can shift the complexity of circuit simulation from the number of qubits to the number of edges in the graph, i.e., from exponential time to polynomial time. This enables us to solve large problems up to 50 vertices, without actually simulating the entire circuit. From our simulation in a 7-qubit and a 27-qubit noisy devices, we show that LCC yields higher approximation ratios than those cases without LCC, implying that the effect of noise is reduced when LCC is applied.
△ Less
Submitted 30 April, 2024;
originally announced April 2024.
-
Iterative Layerwise Training for Quantum Approximate Optimization Algorithm
Authors:
Xinwei Lee,
Xinjian Yan,
Ningyi Xie,
Yoshiyuki Saito,
Dongsheng Cai,
Nobuyoshi Asai
Abstract:
The capability of the quantum approximate optimization algorithm (QAOA) in solving the combinatorial optimization problems has been intensively studied in recent years due to its application in the quantum-classical hybrid regime. Despite having difficulties that are innate in the variational quantum algorithms (VQA), such as barren plateaus and the local minima problem, QAOA remains one of the ap…
▽ More
The capability of the quantum approximate optimization algorithm (QAOA) in solving the combinatorial optimization problems has been intensively studied in recent years due to its application in the quantum-classical hybrid regime. Despite having difficulties that are innate in the variational quantum algorithms (VQA), such as barren plateaus and the local minima problem, QAOA remains one of the applications that is suitable for the recent noisy intermediate scale quantum (NISQ) devices. Recent works have shown that the performance of QAOA largely depends on the initial parameters, which motivate parameter initialization strategies to obtain good initial points for the optimization of QAOA. On the other hand, optimization strategies focus on the optimization part of QAOA instead of the parameter initialization. Instead of having absolute advantages, these strategies usually impose trade-offs to the performance of the optimization problems. One of such examples is the layerwise optimization strategy, in which the QAOA parameters are optimized layer-by-layer instead of the full optimization. The layerwise strategy costs less in total compared to the full optimization, in exchange of lower approximation ratio. In this work, we propose the iterative layerwise optimization strategy and explore the possibility for the reduction of optimization cost in solving problems with QAOA. Using numerical simulations, we found out that by combining the iterative layerwise with proper initialization strategies, the optimization cost can be significantly reduced in exchange for a minor reduction in the approximation ratio. We also show that in some cases, the approximation ratio given by the iterative layerwise strategy is even higher than that given by the full optimization.
△ Less
Submitted 24 September, 2023;
originally announced September 2023.
-
A Feasibility-Preserved Quantum Approximate Solver for the Capacitated Vehicle Routing Problem
Authors:
Ningyi Xie,
Xinwei Lee,
Dongsheng Cai,
Yoshiyuki Saito,
Nobuyoshi Asai,
Hoong Chuin Lau
Abstract:
The Capacitated Vehicle Routing Problem (CVRP) is an NP-optimization problem (NPO) that arises in various fields including transportation and logistics. The CVRP extends from the Vehicle Routing Problem (VRP), aiming to determine the most efficient plan for a fleet of vehicles to deliver goods to a set of customers, subject to the limited carrying capacity of each vehicle. As the number of possibl…
▽ More
The Capacitated Vehicle Routing Problem (CVRP) is an NP-optimization problem (NPO) that arises in various fields including transportation and logistics. The CVRP extends from the Vehicle Routing Problem (VRP), aiming to determine the most efficient plan for a fleet of vehicles to deliver goods to a set of customers, subject to the limited carrying capacity of each vehicle. As the number of possible solutions skyrockets when the number of customers increases, finding the optimal solution remains a significant challenge. Recently, the Quantum Approximate Optimization Algorithm (QAOA), a quantum-classical hybrid algorithm, has exhibited enhanced performance in certain combinatorial optimization problems compared to classical heuristics. However, its ability diminishes notably in solving constrained optimization problems including the CVRP. This limitation primarily arises from the typical approach of encoding the given problems as penalty-inclusive binary optimization problems. In this case, the QAOA faces challenges in sampling solutions satisfying all constraints. Addressing this, our work presents a new binary encoding for the CVRP, with an alternative objective function of minimizing the shortest path that bypasses the vehicle capacity constraint of the CVRP. The search space is further restricted by the constraint-preserving mixing operation. We examine and discuss the effectiveness of the proposed encoding under the framework of the variant of the QAOA, Quantum Alternating Operator Ansatz (AOA), through its application to several illustrative examples. Compared to the typical QAOA approach, the proposed method not only preserves the feasibility but also achieves a significant enhancement in the probability of measuring optimal solutions.
△ Less
Submitted 21 April, 2024; v1 submitted 17 August, 2023;
originally announced August 2023.
-
Quantum Multi-Resolution Measurement with application to Quantum Linear Solver
Authors:
Yoshiyuki Saito,
Xinwei Lee,
Dongsheng Cai,
Nobuyoshi Asai
Abstract:
Quantum computation consists of a quantum state corresponding to a solution, and measurements with some observables. To obtain a solution with an accuracy $ε$, measurements $O(n/ε^2)$ are required, where $n$ is the size of a problem. The cost of these measurements requires a large computing time for an accurate solution. In this paper, we propose a quantum multi-resolution measurement (QMRM), whic…
▽ More
Quantum computation consists of a quantum state corresponding to a solution, and measurements with some observables. To obtain a solution with an accuracy $ε$, measurements $O(n/ε^2)$ are required, where $n$ is the size of a problem. The cost of these measurements requires a large computing time for an accurate solution. In this paper, we propose a quantum multi-resolution measurement (QMRM), which is a hybrid quantum-classical algorithm that gives a solution with an accuracy $ε$ in $O(n\log(1/ε))$ measurements using a pair of functions. The QMRM computational cost with an accuracy $ε$ is smaller than $O(n/ε^2)$. We also propose an algorithm entitled QMRM-QLS (quantum linear solver) for solving a linear system of equations using the Harrow-Hassidim-Lloyd (HHL) algorithm as one of the examples. We perform some numerical experiments that QMRM gives solutions to with an accuracy $ε$ in $O(n\log(1/ε))$ measurements.
△ Less
Submitted 12 April, 2023;
originally announced April 2023.
-
Quantum Approximate Optimization Algorithm Parameter Prediction Using a Convolutional Neural Network
Authors:
Ningyi Xie,
Xinwei Lee,
Dongsheng Cai,
Yoshiyuki Saito,
Nobuyoshi Asai
Abstract:
The Quantum approximate optimization algorithm (QAOA) is a quantum-classical hybrid algorithm aiming to produce approximate solutions for combinatorial optimization problems. In the QAOA, the quantum part prepares a quantum parameterized state that encodes the solution, where the parameters are optimized by a classical optimizer. However, it is difficult to find optimal parameters when the quantum…
▽ More
The Quantum approximate optimization algorithm (QAOA) is a quantum-classical hybrid algorithm aiming to produce approximate solutions for combinatorial optimization problems. In the QAOA, the quantum part prepares a quantum parameterized state that encodes the solution, where the parameters are optimized by a classical optimizer. However, it is difficult to find optimal parameters when the quantum circuit becomes deeper. Hence, there is numerous active research on the performance and the optimization cost of QAOA. In this work, we build a convolutional neural network to predict parameters of depth QAOA instance by the parameters from the depth QAOA counterpart. We propose two strategies based on this model. First, we recurrently apply the model to generate a set of initial values for a certain depth QAOA. It successfully initiates depth 10 QAOA instances, whereas each model is only trained with the parameters from depths less than 6. Second, the model is applied repetitively until the maximum expected value is reached. An average approximation ratio of 0.9759 for Max-Cut over 264 Erdős-Rényi graphs is obtained, while the optimizer is only adopted for generating the first input of the model.
△ Less
Submitted 16 February, 2023; v1 submitted 17 November, 2022;
originally announced November 2022.
-
A Depth-Progressive Initialization Strategy for Quantum Approximate Optimization Algorithm
Authors:
Xinwei Lee,
Ningyi Xie,
Yoshiyuki Saito,
Dongsheng Cai,
Nobuyoshi Asai
Abstract:
The quantum approximate optimization algorithm (QAOA) is known for its capability and universality in solving combinatorial optimization problems on near-term quantum devices. The results yielded by QAOA depend strongly on its initial variational parameters. Hence, parameters selection for QAOA becomes an active area of research as bad initialization might deteriorate the quality of the results, e…
▽ More
The quantum approximate optimization algorithm (QAOA) is known for its capability and universality in solving combinatorial optimization problems on near-term quantum devices. The results yielded by QAOA depend strongly on its initial variational parameters. Hence, parameters selection for QAOA becomes an active area of research as bad initialization might deteriorate the quality of the results, especially at great circuit depths. We first discuss on the patterns of optimal parameters in QAOA in two directions: the angle index and the circuit depth. Then, we discuss on the symmetries and periodicity of the expectation that is used to determine the bounds of the search space. Based on the patterns in optimal parameters and the bounds restriction, we propose a strategy which predicts the new initial parameters by taking the difference between previous optimal parameters. Unlike most other strategies, the strategy we propose does not require multiple trials to ensure success. It only requires one prediction when progressing to the next depth. We compare this strategy with our previously proposed strategy and the layerwise strategy on solving the Max-cut problem, in terms of the approximation ratio and the optimization cost. We also address the non-optimality in previous parameters, which is seldom discussed in other works, despite its importance in explaining the behavior of variational quantum algorithms.
△ Less
Submitted 27 September, 2022; v1 submitted 22 September, 2022;
originally announced September 2022.
-
An Iterative Improvement Method for HHL algorithm for Solving Linear System of Equations
Authors:
Yoshiyuki Saito,
Xinwei Lee,
Dongsheng Cai,
Nobuyoshi Asai
Abstract:
We propose an iterative improvement method for the Harrow-Hassidim-Lloyd (HHL) algorithm to solve a linear system of equations. This is a quantum-classical hybrid algorithm. The accuracy is essential to solve the linear system of equations. However, the accuracy of the HHL algorithm is limited by the number of quantum bits used to express the eigenvalues of the matrix. Our iterative method improve…
▽ More
We propose an iterative improvement method for the Harrow-Hassidim-Lloyd (HHL) algorithm to solve a linear system of equations. This is a quantum-classical hybrid algorithm. The accuracy is essential to solve the linear system of equations. However, the accuracy of the HHL algorithm is limited by the number of quantum bits used to express the eigenvalues of the matrix. Our iterative method improves the accuracy of the HHL solutions, and gives higher accuracy which surpasses the accuracy limited by the number of quantum bits. In practical HHL algorithm, a huge number of measurements is required to obtain good accuracy, even if we provide a sufficient number of quantum bits for the eigenvalue expression, since the solution is statistically processed from the measurements. Our improved iterative method can reduce the number of measurements. Moreover, the sign information for each eigenstate of the solution is lost once the measurement is made, although the sign is significant. Therefore, the naïve iterative method of the HHL algorithm may slow down, especially, when the solution includes wrong signs. In this paper, we propose and evaluate an improved iterative method for the HHL algorithm that is robust against the sign information loss, in terms of the number of iterations and the computational accuracy.
△ Less
Submitted 17 August, 2021;
originally announced August 2021.
-
Parameters Fixing Strategy for Quantum Approximate Optimization Algorithm
Authors:
Xinwei Lee,
Yoshiyuki Saito,
Dongsheng Cai,
Nobuyoshi Asai
Abstract:
The quantum approximate optimization algorithm (QAOA) has numerous promising applications in solving the combinatorial optimization problems on near-term Noisy Intermediate Scalable Quantum (NISQ) devices. QAOA has a quantum-classical hybrid structure. Its quantum part consists of a parameterized alternating operator ansatz, and its classical part comprises an optimization algorithm, which optimiz…
▽ More
The quantum approximate optimization algorithm (QAOA) has numerous promising applications in solving the combinatorial optimization problems on near-term Noisy Intermediate Scalable Quantum (NISQ) devices. QAOA has a quantum-classical hybrid structure. Its quantum part consists of a parameterized alternating operator ansatz, and its classical part comprises an optimization algorithm, which optimizes the parameters to maximize the expectation value of the problem Hamiltonian. This expectation value depends highly on the parameters, this implies that a set of good parameters leads to an accurate solution. However, at large circuit depth of QAOA, it is difficult to achieve global optimization due to the multiple occurrences of local minima or maxima. In this paper, we propose a parameters fixing strategy which gives high approximation ratio on average, even at large circuit depths, by initializing QAOA with the optimal parameters obtained from the previous depths. We test our strategy on the Max-cut problem of certain classes of graphs such as the 3-regular graphs and the Erdös-Rényi graphs.
△ Less
Submitted 11 August, 2021;
originally announced August 2021.
-
Nonlinear dance motion analysis and motion editing using Hilbert-Huang transform
Authors:
Ran Dong,
Dongsheng Cai,
Nobuyoshi Asai
Abstract:
Human motions (especially dance motions) are very noisy, and it is hard to analyze and edit the motions. To resolve this problem, we propose a new method to decompose and modify the motions using the Hilbert-Huang transform (HHT). First, HHT decomposes a chromatic signal into "monochromatic" signals that are the so-called Intrinsic Mode Functions (IMFs) using an Empirical Mode Decomposition (EMD)…
▽ More
Human motions (especially dance motions) are very noisy, and it is hard to analyze and edit the motions. To resolve this problem, we propose a new method to decompose and modify the motions using the Hilbert-Huang transform (HHT). First, HHT decomposes a chromatic signal into "monochromatic" signals that are the so-called Intrinsic Mode Functions (IMFs) using an Empirical Mode Decomposition (EMD) [6]. After applying the Hilbert Transform to each IMF, the instantaneous frequencies of the "monochromatic" signals can be obtained. The HHT has the advantage to analyze non-stationary and nonlinear signals such as human-joint-motions over FFT or Wavelet transform.
In the present paper, we propose a new framework to analyze and extract some new features from a famous Japanese threesome pop singer group called "Perfume", and compare it with Waltz and Salsa dance. Using the EMD, their dance motions can be decomposed into motion (choreographic) primitives or IMFs. Therefore we can scale, combine, subtract, exchange, and modify those IMFs, and can blend them into new dance motions self-consistently. Our analysis and framework can lead to a motion editing and blending method to create a new dance motion from different dance motions.
△ Less
Submitted 6 July, 2017;
originally announced July 2017.
-
Radial Bargmann representation for the Fock space of type B
Authors:
Nobuhiro Asai,
Marek Bożejko,
Takahiro Hasebe
Abstract:
Let $ν_{α,q}$ be the probability and orthogonality measure for the $q$-Meixner-Pollaczek orthogonal polynomials, which has appeared in \cite{BEH15} as the distribution of the $(α,q)$-Gaussian process (the Gaussian process of type B) over the $(α,q)$-Fock space (the Fock space of type B). The main purpose of this paper is to find the radial Bargmann representation of $ν_{α,q}$. Our main results cov…
▽ More
Let $ν_{α,q}$ be the probability and orthogonality measure for the $q$-Meixner-Pollaczek orthogonal polynomials, which has appeared in \cite{BEH15} as the distribution of the $(α,q)$-Gaussian process (the Gaussian process of type B) over the $(α,q)$-Fock space (the Fock space of type B). The main purpose of this paper is to find the radial Bargmann representation of $ν_{α,q}$. Our main results cover not only the representation of $q$-Gaussian distribution by \cite{LM95}, but also of $q^2$-Gaussian and symmetric free Meixner distributions on $\mathbb R$. In addition, non-trivial commutation relations satisfied by $(α,q)$-operators are presented.
△ Less
Submitted 18 January, 2016; v1 submitted 30 December, 2015;
originally announced December 2015.
-
Three-dimensional Magnetohydrodynamic Simulations of Cold Fronts in Magnetically Turbulent ICM
Authors:
Naoki Asai,
Naoya Fukuda,
Ryoji Matsumoto
Abstract:
Steep gradients of temperature and density, called cold fronts, are observed by Chandra in a leading edge of subclusters moving through the intracluster medium (ICM). The presence of cold fronts indicates that thermal conduction across the front is suppressed by magnetic fields. We carried out three-dimensional magnetohydrodynamic (MHD) simulations including anisotropic thermal conduction of a s…
▽ More
Steep gradients of temperature and density, called cold fronts, are observed by Chandra in a leading edge of subclusters moving through the intracluster medium (ICM). The presence of cold fronts indicates that thermal conduction across the front is suppressed by magnetic fields. We carried out three-dimensional magnetohydrodynamic (MHD) simulations including anisotropic thermal conduction of a subcluster moving through a magnetically turbulent ICM. We found that turbulent magnetic fields are stretched and amplified by shear flows along the interface between the subcluster and the ambient ICM. Since magnetic fields reduce the efficiency of thermal conduction across the front, the cold front survives at least 1 Gyr. We also found that a moving subcluster works as an amplifier of magnetic fields. Numerical results indicate that stretched turbulent magnetic fields accumulate behind the subcluster and are further amplified by vortex motions. The moving subcluster creates a long tail of ordered magnetic fields, in which the magnetic field strength attains plasma beta < 10.
△ Less
Submitted 20 March, 2007;
originally announced March 2007.
-
Three-dimensional MHD simulations of X-ray emitting subcluster plasmas in cluster of galaxies
Authors:
Naoki Asai,
Naoya Fukuda,
Ryoji Matsumoto
Abstract:
Recent high resolution observations by the {\it Chandra} X-ray satellite revealed various substructures in hot X-ray emitting plasmas in cluster of galaxies. For example, {\it Chandra} revealed the existence of sharp discontinuities in the surface brightness at the leading edge of subclusters in merging clusters (e.g., Abell 3667), where the temperature drops sharply across the fronts. These sha…
▽ More
Recent high resolution observations by the {\it Chandra} X-ray satellite revealed various substructures in hot X-ray emitting plasmas in cluster of galaxies. For example, {\it Chandra} revealed the existence of sharp discontinuities in the surface brightness at the leading edge of subclusters in merging clusters (e.g., Abell 3667), where the temperature drops sharply across the fronts. These sharp edges are called cold fronts. We present results of three-dimensional (3D) magnetohydrodynamic simulations of the interaction between a dense subcluster plasma and ambient magnetized intracluster medium. Anisotropic heat conduction along magnetic field lines is included. At the initial state, magnetic fields are assumed to be uniform and transverse to the motion of the dense subcluster. Since magnetic fields ahead of the subcluster slip toward the third direction in the 3D case, the strength of magnetic fields in this region can be reduced compared to that in the 2D case. Nevertheless, a cold front can be maintained because the magnetic field lines wrap** around the forehead of the subcluster suppress the heat conduction across them. On the other hand, when the magnetic field is absent, a cold front cannot be maintained because isotropic heat conduction from the hot ambient plasma rapidly heats the cold subcluster plasma.
△ Less
Submitted 9 April, 2005;
originally announced April 2005.
-
MHD Simulations of a Moving Subclump with Heat Conduction
Authors:
Naoki Asai,
Naoya Fukuda,
Ryoji Matsumoto
Abstract:
High resolution observations of cluster of galaxies by Chandra have revealed the existence of an X-ray emitting comet-like galaxy C153 in the core of cluster of galaxies A2125. The galaxy C153 moving fast in the cluster core has a distinct X-ray tail on one side, obviously due to ram pressure strip**, since the galaxy C153 crossed the central region of A2125. The X-ray emitting plasma in the t…
▽ More
High resolution observations of cluster of galaxies by Chandra have revealed the existence of an X-ray emitting comet-like galaxy C153 in the core of cluster of galaxies A2125. The galaxy C153 moving fast in the cluster core has a distinct X-ray tail on one side, obviously due to ram pressure strip**, since the galaxy C153 crossed the central region of A2125. The X-ray emitting plasma in the tail is substantially cooler than the ambient plasma. We present results of two-dimensional magnetohydrodynamic simulations of the time evolution of a subclump like C153 moving in magnetized intergalactic matter. Anisotropic heat conduction is included. We found that the magnetic fields are essential for the existence of the cool X-ray tail, because in non-magnetized plasma the cooler subclump tail is heated up by isotropic heat conduction from the hot ambient plasma and does not form such a comet-like tail.
△ Less
Submitted 15 December, 2004;
originally announced December 2004.
-
Magnetohydrodynamic Simulations of the Formation of Cold Fronts in Clusters of Galaxies including Heat Conduction
Authors:
Naoki Asai,
Naoya Fukuda,
Ryoji Matsumoto
Abstract:
Recent Chandra observations of clusters of galaxies revealed the existence of a sharp ridge in the X-ray surface brightness where the temperature drops across the front. This front is called the cold front. We present the results of two-dimensional magnetohydrodynamic simulations of the time evolution of a dense subcluster plasma moving in a cluster of galaxies. Anisotropic heat conduction along…
▽ More
Recent Chandra observations of clusters of galaxies revealed the existence of a sharp ridge in the X-ray surface brightness where the temperature drops across the front. This front is called the cold front. We present the results of two-dimensional magnetohydrodynamic simulations of the time evolution of a dense subcluster plasma moving in a cluster of galaxies. Anisotropic heat conduction along the magnetic field lines is included. In the models without magnetic fields, the numerical results indicate that the heat conduction from the hot ambient plasma heats the cold dense plasma of the subcluster and diffuses out the cold front. When magnetic fields exist in a cluster of galaxies, however, cold fronts can be maintained because the heat conduction across the magnetic field lines is suppressed. We found that, even when the magnetic fields in a cluster of galaxies are disordered, heat conduction across the front is restricted because the magnetic field lines are stretched along the front. Numerical results reproduced the X-ray intensity distribution observed in the A3667 cluster of galaxies.
△ Less
Submitted 7 April, 2004;
originally announced April 2004.
-
A note on general setting of white noise triple and positive generalized functions
Authors:
Nobuhiro Asai
Abstract:
Let $\ce^{*}$ be the space of tempered distributions and $\m$ be the standard Gaussian measure on $\ce^{*}$. Being motivated by the distribution theory on infinite dimensional space by Cochran, Kuo and Sengupta (CKS) \cite{cks}, Asai, Kubo and Kuo (AKK) have recently determined the best possible class $C_{+,{1\over 2},1}^{(2)}$ of functions $u$ to constract white noise triple, [\ce]_u\subset L^2…
▽ More
Let $\ce^{*}$ be the space of tempered distributions and $\m$ be the standard Gaussian measure on $\ce^{*}$. Being motivated by the distribution theory on infinite dimensional space by Cochran, Kuo and Sengupta (CKS) \cite{cks}, Asai, Kubo and Kuo (AKK) have recently determined the best possible class $C_{+,{1\over 2},1}^{(2)}$ of functions $u$ to constract white noise triple, [\ce]_u\subset L^2(\ce^{*},\m) \subset [\ce]^{*}_u, and to characterize white noise test function space $[\ce]_u$ and generalized function space $[\ce]_u^{*}$ in the series of papers \cite{akk1}, \citeakk2}, \cite{akk3}, \cite{akk4}, \cite{akk5}. The notion of Legendre transformation plays important roles to examine relationships between the growth order of holomorphic functions (S-transform) and the CKS-space of white noise test and generalized functions. It is well-known that a positive generalized function is induced by a Hida measure $ν$ (generalized measure). A Hida measure can be characterized by integrability conditions on a function inducing the above triple (\cite{akk5}). See also \cite{kuo99-1}, \cite{kuo99-2}, \cite{ob99} for an overview of other recent developments in white noise analysis.
△ Less
Submitted 12 October, 2001;
originally announced October 2001.
-
Segal-Bargmann Transforms of One-mode Interacting Fock Spaces Associated with Gaussian and Poisson Measures
Authors:
Nobuhiro Asai,
Izumi Kubo,
Hui-Hsiung Kuo
Abstract:
Let $μ_{g}$ and $μ_{p}$ denote the Gaussian and Poisson measures on ${\Bbb R}$, respectively. We show that there exists a unique measure $\widetildeμ_{g}$ on ${\Bbb C}$ such that under the Segal-Bargmann transform $S_{μ_g}$ the space $L^2({\Bbb R},μ_g)$ is isomorphic to the space ${\cal H}L^2({\Bbb C}, \widetildeμ_{g})$ of analytic $L^2$-functions on ${\Bbb C}$ with respect to $\widetildeμ_{g}$.…
▽ More
Let $μ_{g}$ and $μ_{p}$ denote the Gaussian and Poisson measures on ${\Bbb R}$, respectively. We show that there exists a unique measure $\widetildeμ_{g}$ on ${\Bbb C}$ such that under the Segal-Bargmann transform $S_{μ_g}$ the space $L^2({\Bbb R},μ_g)$ is isomorphic to the space ${\cal H}L^2({\Bbb C}, \widetildeμ_{g})$ of analytic $L^2$-functions on ${\Bbb C}$ with respect to $\widetildeμ_{g}$. We also introduce the Segal-Bargmann transform $S_{μ_p}$ for the Poisson measure $μ_{p}$ and prove the corresponding result. As a consequence, when $μ_{g}$ and $μ_{p}$ have the same variance, $L^2({\Bbb R},μ_g)$ and $L^2({\Bbb R},μ_p)$ are isomorphic to the same space ${\cal H}L^2({\Bbb C}, \widetildeμ_{g})$ under the $S_{μ_g}$ and $S_{μ_p}$-transforms, respectively. However, we show that the multiplication operators by $x$ on $L^2({\Bbb R}, μ_g)$ and on $L^2({\Bbb R}, μ_p)$ act quite differently on ${\cal H}L^2({\Bbb C}, \widetildeμ_{g})$.
△ Less
Submitted 1 October, 2001;
originally announced October 2001.
-
Integral Transform and Segal-Bargmann Representation Associated to q-Charlier Polynomials
Authors:
Nobuhiro Asai
Abstract:
Let $μ_p^{(q)}$ be the q-deformed Poisson measure in the sense of Saitoh Yoshida and $ν_p$ be the measure given by Equation \eqref{eq:nu-q}. In this short paper, we introduce the q-deformed analogue of the Segal-Bargmann transform associated with $μ_p^{(q)}$. We prove that our Segal-Bargmann transform is a unitary map of $L^2(μ_p^{(q)})$ onto the q-deformed Hardy space ${\cal H}^2(ν_q)$. Moreove…
▽ More
Let $μ_p^{(q)}$ be the q-deformed Poisson measure in the sense of Saitoh Yoshida and $ν_p$ be the measure given by Equation \eqref{eq:nu-q}. In this short paper, we introduce the q-deformed analogue of the Segal-Bargmann transform associated with $μ_p^{(q)}$. We prove that our Segal-Bargmann transform is a unitary map of $L^2(μ_p^{(q)})$ onto the q-deformed Hardy space ${\cal H}^2(ν_q)$. Moreover, we give the Segal-Bargmann representation of the multiplication operator by $x$ in $L^2(μ_p^{(q)})$, which is a linear combination of the q-creation, q-annihilation, q-number, and scalar operators.
△ Less
Submitted 29 November, 2001; v1 submitted 27 April, 2001;
originally announced April 2001.
-
CKS-space in terms of growth functions
Authors:
Nobuhiro Asai,
Izumi Kubo,
Hui-Hsiung Kuo
Abstract:
A class of growth functions $u$ is introduced to construct Hida distributions and test functions. The Legendre transform $\ell_{u}$ of $u$ is used to define a sequence $\a(n)=(\ell_{u}(n) n!)^{-1}, n\geq 0$, of positive numbers. From this sequence we get a CKS-space. Under various conditions on $u$ we show that the associated sequence $\{\a(n)\}$ satisfies those conditions for carrying out the w…
▽ More
A class of growth functions $u$ is introduced to construct Hida distributions and test functions. The Legendre transform $\ell_{u}$ of $u$ is used to define a sequence $\a(n)=(\ell_{u}(n) n!)^{-1}, n\geq 0$, of positive numbers. From this sequence we get a CKS-space. Under various conditions on $u$ we show that the associated sequence $\{\a(n)\}$ satisfies those conditions for carrying out the white noise distribution theory on the CKS-space. We show that $u$ and its dual Legendre transform $u^{*}$ are growth functions for test and generalized functions, respectively, in the characterization theorems.
△ Less
Submitted 13 April, 2001;
originally announced April 2001.
-
Characterization of Hida Measures in white noise analysis
Authors:
Nobuhiro Asai,
Izumi Kubo,
Hui-Hsiung Kuo
Abstract:
The main purpose of this work is to prove Theorem 4.4, so-called, the characterization theorem of Hida measures (generalized measures). As examples of such measures, we shall present the Poisson noise measure and the Grey noise measure in Example 4.5 and 4.6, respectively.
The main purpose of this work is to prove Theorem 4.4, so-called, the characterization theorem of Hida measures (generalized measures). As examples of such measures, we shall present the Poisson noise measure and the Grey noise measure in Example 4.5 and 4.6, respectively.
△ Less
Submitted 12 April, 2001;
originally announced April 2001.
-
Bell numbers, log-concavity, and log-convexity
Authors:
Nobuhiro Asai,
Izumi Kubo,
Hui-Hsiung Kuo
Abstract:
Let $\{b_{k}(n)\}_{n=0}^{\infty}$ be the Bell numbers of order $k$. It is proved that the sequence $\{b_{k}(n)/n!\}_{n=0}^{\infty}$ is log-concave and the sequence $\{b_{k}(n)\}_{n=0}^{\infty}$ is log-convex, or equivalently, the following inequalities hold for all $n\geq 0$, $$1\leq {b_{k}(n+2) b_{k}(n) \over b_{k}(n+1)^{2}} \leq {n+2 \over n+1}.$$ Let $\{\a(n)\}_{n=0}^{\infty}$ be a sequence o…
▽ More
Let $\{b_{k}(n)\}_{n=0}^{\infty}$ be the Bell numbers of order $k$. It is proved that the sequence $\{b_{k}(n)/n!\}_{n=0}^{\infty}$ is log-concave and the sequence $\{b_{k}(n)\}_{n=0}^{\infty}$ is log-convex, or equivalently, the following inequalities hold for all $n\geq 0$, $$1\leq {b_{k}(n+2) b_{k}(n) \over b_{k}(n+1)^{2}} \leq {n+2 \over n+1}.$$ Let $\{\a(n)\}_{n=0}^{\infty}$ be a sequence of positive numbers with $\a(0)=1$. We show that if $\{\a(n)\}_{n=0}^{\infty}$ is log-convex, then $$\a (n) \a (m) \leq \a(n+m), \quad \forall n, m\geq 0.$$ On the other hand, if $\{\a(n)/n!\}_{n=0}^{\infty}$ is log-concave, then $$\a (n+m) \leq {n+m \choose n} \a (n) \a (m), \quad \forall n, m\geq 0.$$ In particular, we have the following inequalities for the Bell numbers $$b_{k}(n) b_{k}(m) \leq b_{k}(n+m) \leq {n+m \choose n} b_{k}(n) b_{k}(m), \quad \forall n, m\geq 0.$$ Then we apply these results to white noise distribution theory.
△ Less
Submitted 12 April, 2001;
originally announced April 2001.
-
Characterization of test functions in CKS-space
Authors:
Nobuhiro Asai,
Izumi Kubo,
Hui-Hsiung Kuo
Abstract:
We prove a characterization theorem for the test functions in a CKS-space. Some crucial ideas concerning the growth condition are given.
We prove a characterization theorem for the test functions in a CKS-space. Some crucial ideas concerning the growth condition are given.
△ Less
Submitted 12 April, 2001;
originally announced April 2001.
-
General characterization theorems and intrinsic topologies in white noise analysis
Authors:
Nobuhiro Asai,
Izumi Kubo,
Hui-Hsiung Kuo
Abstract:
Let $u$ be a positive continuous function on $[0, \infty)$ satisfying the conditions: (i) $\lim_{r\to\infty} r^{-1/2}\log u(r)=\infty$, (ii) $\inf_{r\geq 0} u(r)=1$, (iii) $\lim_{r\to \infty}\break r^{-1}\log u(r)<\infty$, (iv) the function $\log u(x^{2}), x\geq 0$, is convex. A Gel'fand triple $[\ce]_{u} \subset (L^{2}) \subset [\ce]_{u}^{*}$ is constructed by making use of the Legendre transfo…
▽ More
Let $u$ be a positive continuous function on $[0, \infty)$ satisfying the conditions: (i) $\lim_{r\to\infty} r^{-1/2}\log u(r)=\infty$, (ii) $\inf_{r\geq 0} u(r)=1$, (iii) $\lim_{r\to \infty}\break r^{-1}\log u(r)<\infty$, (iv) the function $\log u(x^{2}), x\geq 0$, is convex. A Gel'fand triple $[\ce]_{u} \subset (L^{2}) \subset [\ce]_{u}^{*}$ is constructed by making use of the Legendre transform of $u$ discussed in \cite {akk3}. We prove a characterization theorem for generalized functions in $[\ce]_{u}^{*}$ and also for test functions in $[\ce]_{u}$ in terms of their $S$-transforms under the same assumptions on $u$. Moreover, we give an intrinsic topology for the space$[\ce]_{u}$ of test functions and prove a characterization theorem for measures. We briefly mention the relationship between our method and a recent work by Gannoun et al.\cite{ghor}. Finally, conditions for carrying out white noise operator theory and Wick products are given.
△ Less
Submitted 12 April, 2001;
originally announced April 2001.
-
Roles of Log-concavity, log-convexity, and growth order in white noise analysis
Authors:
Nobuhiro Asai,
Izumi Kubo,
Hui-Hsiung Kuo
Abstract:
In this paper we will develop a systematic method to answer the questions $(Q1)(Q2)(Q3)(Q4)$ (stated in Section 1) with complete generality. As a result, we can solve the difficulties $(D1)(D2)$ (discussed in Section 1) without uncertainty. For these purposes we will introduce certain classes of growth functions $u$ and apply the Legendre transform to obtain a sequence which leads to the weight…
▽ More
In this paper we will develop a systematic method to answer the questions $(Q1)(Q2)(Q3)(Q4)$ (stated in Section 1) with complete generality. As a result, we can solve the difficulties $(D1)(D2)$ (discussed in Section 1) without uncertainty. For these purposes we will introduce certain classes of growth functions $u$ and apply the Legendre transform to obtain a sequence which leads to the weight sequence $\{\a(n)\}$ first studied by Cochran et al. \cite{cks}. The notion of (nearly) equivalent functions, (nearly) equivalent sequences and dual Legendre functions will be defined in a very natural way. An application to the growth order of holomorphic functions on $\ce_c$ will also be discussed.
△ Less
Submitted 12 April, 2001;
originally announced April 2001.
-
Characterization of Product Measures by Integrability Condition
Authors:
Nobuhiro Asai
Abstract:
It is natural to ask whether "positivity" of white noise operators can be discussed in some sense and characterized. To answer this question, we consider the Gel'fand triple over the Complex Gaussian space $(\ce'_c,\m_c)$, i.e. $\ce'_c=\ce'+i\ce'$ equipped with the product measure $\m_c=\m'\times\m'$ where $\m'$ is the Gaussian measure on $\ce'$ with variance 1/2 (Section \ref{sec:2-2}). Followi…
▽ More
It is natural to ask whether "positivity" of white noise operators can be discussed in some sense and characterized. To answer this question, we consider the Gel'fand triple over the Complex Gaussian space $(\ce'_c,\m_c)$, i.e. $\ce'_c=\ce'+i\ce'$ equipped with the product measure $\m_c=\m'\times\m'$ where $\m'$ is the Gaussian measure on $\ce'$ with variance 1/2 (Section \ref{sec:2-2}). Following AKK's Legendre transform technique, we have $\cw_{u_1,u_2}\subset L^2(\ce'_c,\m_c)\subset [\cw]^{*}_{u_1,u_2}$ for functions $u_1,u_2\in C_{+,1/2}$ satisfying (U0)(U2)(U3). Several examples for $u_1, u_2$ are given in Section \ref{sec:2-3}. We remark that Ouerdiane \cite{oue} studied a special case $u_1(r^2)=u_2(r^2)=\exp(k^{-1}r^k)$, where $1\leq k\leq 2$. In Section \ref{sec:3}, the characterization theorem for measures can be extended to the case of positive product Radon measures on $\ce'\times \ce'$. In addition, the notion of pseudo-positive operators is naturally introduced via kernel theorem and characterized by an integrability condition. Lemma \ref{lem:3-2} plays crucial roles in Section \ref{sec:3}.
△ Less
Submitted 10 April, 2001;
originally announced April 2001.