BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Keiji Matsumoto contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We give an analogy of Jacobi's formula, which relates the hypergeometric function with parameters $(1/4,1/4,1)$ and theta constants. By using this analogy and twice formulas of theta constants, we obtain a transformation formula for this hypergeometric function. As its application, we express the limit of a pair of sequences defined by a mean iteration by this hypergeometric function.
By considering Schwarz's map for the hypergeometric differential equation with parameters $(a,b,c)=(1/6,1/2,1)$ or $(1/12,5/12,1)$, we give some analogies of Jacobi's formula $\vartheta_{00}(τ)^2= F(1/2,1/2,1;λ(τ))$, where $\vartheta_{00}(τ)$ and $λ(τ)$ are the theta constant and the lambda function defined on the upper-half plane, and $F(a,b,c;z)$ is the hypergeometric series defined on the unit disk. As applications of our formulas, we give several functional equations for $F(a,b,c;z)$.
Multiparameter quantum estimation is made difficult by the following three obstacles. First, incompatibility among different physical quantities poses a limit on the attainable precision. Second, the ultimate precision is not saturated until you discover the optimal measurement. Third, the optimal measurement may generally depend on the target values of parameters, and thus may be impossible to perform for unknown target states. We present a method to circumvent these three obstacles. A class of quantum statistical models, which utilizes antiunitary symmetries or, equivalently, real density matrices, offers compatible multiparameter estimations. The symmetries accompany the target-independent optimal measurements for pure-state models. Based on this finding, we propose methods to implement antiunitary symmetries for quantum metrology schemes. We further introduce a function which measures antiunitary asymmetry of quantum statistical models as a potential tool to characterize quantumness of phase transitions.
It is known that the high-dimensional quantum state space is notoriously complicated in contrast with the beautiful Bloch ball of the qubit. We examined the mechanism behind this fact in the frame work of general probabilistic theory (GPT), and found rather general quantitative relations between the geometry of the state space and its information storing capability. The main result is the information-asymmetry identity, which (up to the constant term) equates the {\it Minkowski measure of asymmetry} with the {\it information storability} which, in addition to its own operational meaning, serves as an upper bound to common information measures such as semi-classical capacity. As a consequence, the asymmetry measure is lower-bounded by information storing capability of the state space, so the increase in the latter enhances the former. Coming back to the quantum systems, the $d$-level state space cannot be symmetric "because" it can store more than a single bit of information. Also, the Holevo capacity of any quantum channel with point-symmetric image is at most a single bit. In the course of the research, we applied Shannon theory to GPT, producing a couple of new results. Also presented is a new geometrical proof of known upper bounds to information measures.
We study a hypergeometric function in two variables and a system of hypergeometric differential equations associated with this function. This is a regular holonomic system of rank $9$. We give a fundamental system of solutions to this system in terms of this hypergeometric series. We give circuit matrices along generators of the fundamental group of the complement of its singular locus with respect to our fundamental system.
This manuscript is inspired by the paper [2]. In the paper, they investigate a method to detect existence of an object with arbitrarily small interaction. Below, we sketch their protocol to motivate the present manuscript. The object of their protocol is to detect whether the given blackbox interact with input states or not, with negligible distortion of the blackbox, and high detection probability. In this paper, we do two things. First, we prove the above mentioned protocol is optimal in a certain setting. The main tool here is adversary method, a classical method in query complexity. Second, we present a protocol to detect unitary operations with negligible error and no distortion of the input at all.
This paper deals with maximization of classical $f$-divergence between the distributions of a measurement outputs of a given pair of quantum states. $f$-divergence $D_{f}$ between the probability density functions $p_{1}$ and $p_{2}$ over a discrete set is defined as $D_{f}( p_{1}||p_{2}) :=\sum_{x}p_{2}(x) f\left(p_{1}(x)/p_{2}( x) \right) $. For example, Kullback-Leibler divergence and Renyi type relative entropy are well-known examples with good operational meanings. Thus, finding the maximal value $D_{f}^{\min}$ of measured measured $f$-divergence is also an interesting question. But so far the question is solved only for very restricted example of $f$. \ The purposes of the present paper is to advance the study further, by investigating its properties, rewriting the maximization problem to more tractable form, and giving closed formulas of the quantity in some special cases.
We study the structures of Pfaffian equations and contiguity relations of the hypergeometric function of type $(k+1,k+n+2)$ by using twisted cohomology groups and the intersection form on them. We apply our results to algebraic statistics; numerical evaluation of the normalizing constants of two way contingency tables with fixed marginal sums.
We give the monodromy representations of local systems of twisted homology groups associated with Lauricella's system $F_D(a,b,c)$ of hypergeometric differential equations under mild conditions on parameters. Our representation is effective even in some cases when the system $F_D(a,b,c)$ is reducible. We characterize invariant subspaces under our monodromy representations by the kernel or image of a natural map from a finite twisted homology group to locally finite one.
In classical statistical decision theory, comparison of experiments plays very important role. Especially, so-called randomization criteria is most important. In this paper, we establish two kinds of quantum analogue these concepts, and apply to some examples.
We study an Appell hypergeometric system $E_2$ of rank four which is reducible and show that its Schwarz map admits geometric interpretations: the map can be considered as the universal Abel-Jacobi map of a $1$-dimensional family of curves of genus 2.
We study the monodromy representation of the generalized hypergeometric differential equation and that of Lauricella's $F_C$ system of hypergeometric differential equations. We use fundamental systems of solutions expressed by the hypergeometric series. We express non-diagonal circuit matrices as reflections with respect to root vectors with all entries $1$. We present a simple way to obtain circuit matrices.
We study a Pfaffian of the system of differential equations annihilating Appell's hypergeometric series $F_4(a,b,c;x)$ by twisted cohomology groups associated with integrals representing solutions to this system. We simplify its connection matrix by the pull-back under a double cover of the complement of the singular locus. We express the simplified connection matrix in terms of the intersection form of the twisted cohomology groups.
We give a Pfaffian system of differential equations annihilating Lauricella's hypergeometric series $F_A(a,b,c;x)$ of $m$-variables. This system is integrable of rank $2^m$. To express the connection form of this system, we make use of the intersection form of twisted cohomology groups with respect to integrals representing solutions of this system.
We study the Schwarz maps with monodromy groups isomorphic to the triangle groups (2,4,4) and (2,3,6) and their inverses. We apply our formulas to the study of mean iterations.
Comparison of statistical models (experiments) is an important branch of mathematical statistics, which gives deep insights in many aspects of foundation of statistics. So far, there are two quantum versions of the concept: Comparison with respect to classical tasks and full quantum tasks. In the latter version, a quantum statistical model is more informative than another if and only if a trace preserving positive map sends the former to the latter. On the other hand, in the former version, the existence of a trace preserving positive map sending the former to the latter is a useful sufficient condition. A natural question is whether this is necessary or not. We resolve this question negatively by giving a counter example.
Some problems of quantum information, cloning, estimation and testing of states, universal coding etc., are special example of the following `state convertibility' problem. In this paper, we consider the dual of this problem, 'observable conversion problem'. Given families of operators $\{L_θ}\}_{θ\inΘ}$ and $\{M_θ}\}_{θ\inΘ}$ , we ask whether there is a completely positive (sub) unital map which sends $\{L_θ}\}$ to $\{M_θ}\}$ for each θ. We give necessary and sufficient conditions for the convertibility in some special cases.
The purpose of the paper is to study the condition for a probability distribution family to a quantum state family. This is an (relatively) easy example of quantum version of "comparison of statistical experiments", which had turned out to supply deep insight into the foundation of classical and quantum statistics \cite{Strasser}\cite{Torgersen}. It turns out use of maximal quantum $f$-divergence is useful in characterizing the classical-quantum transformability.
We study tree kinds of quantum fidelity. Usual Uhlmann's fidelity, minus of f-divergence when $f(x)=-\sqrt{x}$, and the one introduced by the author via reverse test. All of them are quantum extensions of classical fidelity, where the first one is the largest and the third one is the smallest. We characterize them in terms of convex optimization, and introduce their 'dual' quantity, or the polar of the minus of the fidelity. They turned out to be monotone increasing by unital completely positive maps, concave, and linked to its classical version via optimization about classical-to-quantum maps and quantum-to-classical maps.
We consider the system $\mathcal{F}_4(a,b,c)$ of differential equations annihilating Appell's hypergeometric series $F_4(a,b,c;x)$. We find the integral representations for four linearly independent solutions expressed by the hypergeometric series $F_4$. By using the intersection forms of twisted (co)homology groups associated with them, we provide the monodromy representation of $\mathcal{F}_4(a,b,c)$ and the twisted period relations for the fundamental systems of solutions of $\mathcal{F}_4$.
In a quantum (inhomogeneous) Markov process $ρ_1:=Γ_1(ρ)$, $ρ_2:=Γ_1(ρ_1)$, ..., where $Γ_i$ are CPTP maps and $ρ$ is the initial state, the the state of the system is either oscillatory or convergent to a point or convergent to an oscillatory orbit. Whichever the case it is, "information" about the initial state is always monotone non-increasing and convergent. This fact motivate us to define an equivalence class of families of quantum states, which embodies the bundle of all "information quantities" about the initial state. We show, for any quantum inhomogeneous Markov process over a finite dimensional Hilbert space, the trajectory in the space of the all equivalence classes is "monotone decreasing" and convergent to a point, relative to a reasonablly defined topology. Also, a characterization of weak ergodicity in this picture is given.
Statistical estimation and test of unknown channels have attracted interest of many researchers. In optimizing the process of inference, an important step is optimization of the input state, which in general do depend on the kind of inference (estimation or test, etc.), on the error measure, and so on. But sometimes, there is a universally optimal input state, or an input state best for all the statistical inferences and for all the risk functions. In the paper, the existence of a universally optimal state is shown for group covariant/contravariant channels, unital qubit channels and some measurement families. To prove these results, theory of "comparison of state families" are used. We also discuss about effectiveness of entanglement and adaptation of input states.
Cloning, or approximate cloning, is one of basic operations in quantum information processing. In this paper, we deal with cloning of classical states, or probability distribution in asymptotic setting. We study the quality of the approximate (n,rn)-clone, with n being very large and r being constant. The result turns out to be \parallel N(0,r1)-N(0,1)\paralell_1, where N(μ,Σ) is the Gaussian distribution with mean μ and covariance Σ. Notablly, this value does not depend on the the family of porbability distributions to be cloned. The key of the argument is use of local asymptotic normality: If the curve θ\rightarrow P_{θ} is sufficiently smooth in θ, then, the behavior of P_{θ'}^{\otimes n} where θ'-θ=o(\surd(1/n)), is approximated by Gaussian shift. Using this, we reduce the general case to Gaussian shift model.
In this paper, we define a generalized arithmetic-geometric mean $μ_g$ among $2^g$ terms motivated by $2τ$-formulas of theta constants. By using Thomae's formula, we give two expressions of $μ_g$ when initial terms satisfy some conditions. One is given in terms of period integrals of a hyperelliptic curve $C$ of genus $g$. The other is by a period integral of a certain Calabi-Yau $g$-fold given as a double cover of the $g$-dimensional projective space $\mathbf{P}^g$.
This paper considers distributed computing on an anonymous quantum network, a network in which no party has a unique identifier and quantum communication and computation are available. It is proved that the leader election problem can exactly (i.e., without error in bounded time) be solved with at most the same complexity up to a constant factor as that of exactly computing symmetric functions (without intermediate measurements for a distributed and superposed input), if the number of parties is given to every party. A corollary of this result is a more efficient quantum leader election algorithm than existing ones: the new quantum algorithm runs in O(n) rounds with bit complexity O(mn^2), on an anonymous quantum network with n parties and m communication links. Another corollary is the first quantum algorithm that exactly computes any computable Boolean function with round complexity O(n) and with smaller bit complexity than that of existing classical algorithms in the worst case over all (computable) Boolean functions and network topologies. More generally, any n-qubit state can be shared with that complexity on an anonymous quantum network with n parties.
In this paper, we prove Thomae's formula for a triple covering of $\bold P^1$ with arbitrary index. This formula gives a relation between theta constants, determinants of period integrals and the difference products of branch points. To specify a symplectic basis of the curve, we use the combinatorics of binary trees on $\bold P^1$. This symplectic basis behaves so well for degenerations that we obtain the absolute constant in this formula and reduce it to a special case treated in [Bershadsky-Radul], [Nakayashiki].
The aim of the manuscript is to characterize monotone `metric' in the space of Markov map. Here, `metric' means the square of the norm defined on the tangent space, and not necessarily induced from an inner product (this property hereafter will be called inner-product-assumption), different from usual metric used in differential geometry. As for metrics in So far, there have been plenty of literatures on the metric in the space of probability distributions and quantum states. Among them, Cencov proved the monotone metric in probability distribution space is unique up to constant multiple, and identical to Fisher information metric. Petz characterized all the monotone metrics in the quantum state space using operator mean. As for channels, however, only a little had been known. In this paper, we impose monotonicity by concatenation of channels before and after the given channel families, and invariance by tensoring identity channels. (Notably, we do not use the inner-product-assumption.) To obtain this result, `resource conversion' technique, which is widely used in quantum information, is used. We consider distillation from and formation to a family of channels. Under these axioms, we identify the largest and the smallest `metrics'. Interestingly, they are not induced from any inner product, i.e., not a metric. Indeed, one can prove that any `metric' satisfying our axioms can not be a metric. This result has some impact on the axiomatic study of the monotone metric in the space of classical and quantum states, since both conventional theory relies on the inner-product-assumption. Also, we compute the lower and the upper bound for some concrete examples.
We give a rigorous treatment on the foundation of the first order asymptotic theory of quantum estimation, with tractable and reasonable regularity conditions. Different from past works, we do not use Fisher information nor MLE, and an optimal estimator is constructed based on locally unbiased estimators. Also, we treat state estimation by local operations and classical communications (LOCC), and estimation of quantum operations.
The aim of the manuscript is to characterize monotone metric in the space of Markov map. Here, metric may not be Riemanian, or equivalently, may not be induced from an inner product. So far, there have been plenty of literatures on the metric in the space of probability distributions and quantum states. Among them, Cencov and Petz characterized all the monotone metrics in the classical and quantum state space. As for channels, however, only a little is known about its geometrical structures. In that author's previous manuscript, the upper and the lower bound of monotone channel metric was derived using resource conversion theory, and it is proved that any monotone metric cannot be Riemanian. . Due to the latter result, we cannot rely on Cencov's theory, to build a geometric theory consistent across probability distributions and channels. To dispense with the assumption that a metric is Riemanian, we introduce some assumptions on asymptotic behavior;weak asymptotic additivity and lower asymptotic continuity. The proof utilizes resource conversion technique. In the end of the paper, an implication on quantum state metrics is discussed.
The aim of the present paper is to give axiomatic characterization of quantum relative entropy utilizing resource conversion scenario. We consider two sets of axioms: non-asymptotic and asymptotic. In the former setting, we prove that the upperbound and the lowerbund of $\mathrm{D}^{Q}(ρ||σ) $ is $\mathrm{D}^{R}(ρ||σ) :=\mathrm{tr}% \,ρ\ln\sqrtρσ^{-1}\sqrtρ$ and $\mathrm{D}(ρ||σ) :=$ $\mathrm{tr}\,ρ(\lnρ-\lnσ) $, respectively. In the latter setting, we prove uniqueness of quantum relative entropy, that is, $\mathrm{D}^{Q}(ρ||σ) $ should equal a constant multiple of $\mathrm{D}(ρ||σ) $. In the analysis, we define and use reverse test and asymptotic reverse test, which are natural inverse of hypothesis test.
The aim of the present paper is to give axiomatic characterization of quantum relative entropy utilizing resource conversion scenario. We consider two sets of axioms: non-asymptotic and asymptotic. In the former setting, we prove that the upperbound and the lowerbund of D^{Q}(ρ||σ) is D^{R}(ρ||σ):=trρlnσ^{1/2}ρ^{-1}σ^{1/2} and D(ρ||σ):= trρ(lnρ-lnσ), respectively. In the latter setting, we prove uniqueness of quantum relative entropy, that is, D^{Q}(ρ||σ) should equal a constant multiple of D(ρ||σ). In the analysis, we define and use reverse test and asymptotic reverse test, which are natural inverse of hypothesis test.
Given n-copies of unknown bipartite (possiblly mixed) state, our task is to test whether the state is a pure state of not. Allowed to use the global operations, optimal one-sided error test is the projection onto the symmetric subspace, obviously. Is it possible to approximate the globally optimal measurement by LOCC when n is large?
In this paper, we give Thomae type formula for \KK surfaces $\cS$ given by double covers of the projective plane branching along six lines. This formula gives relations between theta constants on the bounded symmetric domain of type $I_{22}$ and period integrals of $X$. Moreover, we express the period integrals by using the hypergeometric function $F_S$ of four variables. As an application of our main theorem, we define $\R^4$-valued sequences by mean iterations of four terms, and express their common limits by the hypergeometric function $F_S$.
This paper gives the first separation of quantum and classical pure (i.e., non-cryptographic) computing abilities with no restriction on the amount of available computing resources, by considering the exact solvability of a celebrated unsolvable problem in classical distributed computing, the ``leader election problem'' on anonymous networks. The goal of the leader election problem is to elect a unique leader from among distributed parties. The paper considers this problem for anonymous networks, in which each party has the same identifier. It is well-known that no classical algorithm can solve exactly (i.e., in bounded time without error) the leader election problem in anonymous networks, even if it is given the number of parties. This paper gives two quantum algorithms that, given the number of parties, can exactly solve the problem for any network topology in polynomial rounds and polynomial communication/time complexity with respect to the number of parties, when the parties are connected by quantum communication links.
We construct the optimal 1 to 2 cloning transformation for the family of displaced thermal equilibrium states of a harmonic oscillator, with a fixed and known temperature. The transformation is Gaussian and it is optimal with respect to the figure of merit based on the joint output state and norm distance. The proof of the result is based on the equivalence between the optimal cloning problem and that of optimal amplification of Gaussian states which is then reduced to an optimization problem for diagonal states of a quantum oscillator. A key concept in finding the optimum is that of stochastic ordering which plays a similar role in the purely classical problem of Gaussian cloning. The result is then extended to the case of n to m cloning of mixed Gaussian states.
A hypothesis testing scheme for entanglement has been formulated based on the Poisson distribution framework instead of the POVM framework. Three designs were proposed to test the entangled states in this framework. The designs were evaluated in terms of the asymptotic variance. It has been shown that the optimal time allocation between the coincidence and anti-coincidence measurement bases improves the conventional testing method. The test can be further improved by optimizing the time allocation between the anti-coincidence bases.
We propose a new protocol of \textit{universal} entanglement concentration, which converts many copies of an \textit{unknown} pure state to an \textit{% exact} maximally entangled state. The yield of the protocol, which is outputted as a classical information, is probabilistic, and achives the entropy rate with high probability, just as non-universal entanglement concentration protocols do. Our protocol is optimal among all similar protocols in terms of wide varieties of measures either up to higher orders or non-asymptotically, depending on the choice of the measure. The key of the proof of optimality is the following fact, which is a consequence of the symmetry-based construction of the protocol: For any invariant measures, optimal protocols are found out in modifications of the protocol only in its classical output, or the claim on the product. We also observe that the classical part of the output of the protocol gives a natural estimate of the entropy of entanglement, and prove that that estimate achieves the better asymptotic performance than any other (potentially global) measurements.
The purpose of these notes is to discuss the relation between the additivity questions regarding the quantities (Holevo) capacity of a quantum channel T and entanglement of formation of a given bipartite state. In particular, using the Stinespring dilation theorem, we give a formula for the channel capacity involving entanglement of formation. This can be used to show that additivity of the latter for some states can be inferred from the additivity of capacity for certain channels. We demonstrate this connection for a family of group--covariant channels, allowing us to calculate the entanglement cost for many states, including some where a strictly smaller upper bound on the distillable entanglement is known. Group symmetry is used for more sophisticated analysis, giving formulas valid for a class of channels. This is presented in a general framework, extending recent findings of Vidal, Dur and Cirac (e-print quant-ph/0112131). We speculate on a general relation of superadditivity of the entanglement of formation, which would imply both the general additivity of this function under tensor products and of the Holevo capacity (with or without linear cost constraints).
We experimentally analyzed the statistical errors in quantum-state estimation and examined whether their lower bound, which is derived from the Cramer-Rao inequality, can be truly attained or not. In the experiments, polarization states of bi-photons produced via spontaneous parametric down-conversion were estimated employing tomographic measurements. Using a new estimation strategy based on Akaike's information criterion, we demonstrated that the errors actually approach the lower bound, while they fail to approach it using the conventional estimation strategy.
We propose entanglement measures with asymptotic weak-monotonicity. We show that a normalized form of entanglement measures with the asymptotic weak-monotonicity are lower (upper) bound for the entanglement of cost (distillation).
The development of key devices and systems in quantum information technology, such as entangled particle sources, quantum gates and quantum cryptographic systems, requires a reliable and well-established method for characterizing how well the devices or systems work. We report our recent work on experimental characterization of pulsed entangled photonic states and photonic quantum channels, using the methods of state and process tomography. By using state tomography, we could reliably evaluate the states generated from a two-photon source under development and develop a highly entangled pulsed photon source. We are also devoted to characterization of single-qubit and two-qubit photonic quantum channels. Characterization of typical single-qubit decoherence channels has been demonstrated using process tomography. Characterization of two-qubit channels, such as classically correlated channels and quantum mechanically correlated channels is under investigation. These characterization techniques for quantum states and quantum processes will be useful for developing photonic quantum devices and for improving their performances.
With current technologies, it seems to be very difficult to implement quantum computers with many qubits. It is therefore of importance to simulate quantum algorithms and circuits on the existing computers. However, for a large-size problem, the simulation often requires more computational power than is available from sequential processing. Therefore, the simulation methods using parallel processing are required. We have developed a general-purpose simulator for quantum computing on the parallel computer (Sun, Enterprise4500). It can deal with up-to 30 qubits. We have performed Shor's factorization and Grover's database search by using the simulator, and we analyzed robustness of the corresponding quantum circuits in the presence of decoherence and operational errors. The corresponding results, statistics and analyses are presented.