arXiv subjects
Publications and source records attributed to Keiji Matsumoto.
We study a period map for triple coverings of $\mathbf P^2$branching along special configurations of $6$ lines. Though the moduli space of special configurations isa two dimensional variety,the minimal models of the coverings form a oneparameter family of K3 surfaces.We extract extra one dimensionalinformation from the mixed Hodge structure on the second relative homology group.
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 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.
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.
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 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.
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 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 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.
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.
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.
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.
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.
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.