Showing 1–34 of 34 results for author: Okamura, K

Construction of graph-directed invariant sets of weak contractions on semi-metric spaces

Authors: Kazuki Okamura

Abstract: We present a construction of graph-directed invariant sets of weak contractions in the sense of Matkowski-Rus on semi-metric spaces. We follow the approach by Bessenyei and Pénzes, which applies the Kuratowski noncompactness measure without relying on Blascke's completeness theorem. We also establish a relationship between this approach and a generalized de Rham's functional equation indexed by a… ▽ More We present a construction of graph-directed invariant sets of weak contractions in the sense of Matkowski-Rus on semi-metric spaces. We follow the approach by Bessenyei and Pénzes, which applies the Kuratowski noncompactness measure without relying on Blascke's completeness theorem. We also establish a relationship between this approach and a generalized de Rham's functional equation indexed by a finite directed graph. △ Less

Submitted 27 June, 2025; v1 submitted 30 March, 2025; originally announced March 2025.

Comments: v2: minor revision; 21 pages, 4 figures; to appear in Aequationes Mathematicae

MSC Class: 39B12; 39B72; 47H09; 47H10; 28A80

Quantitative estimates for singularity for conjugate equations driven by linear fractional transformations

Authors: Kazuki Okamura

Abstract: We consider the conjugate equation driven by two families of finite maps on the unit interval satisfying a compatibility condition. This framework contains de Rham's functional equations. We give sufficient conditions for singularity of the solution with quantitative estimates in the case that the equation is driven by non-affine maps, in particular, linear fractional transformations. We consider the conjugate equation driven by two families of finite maps on the unit interval satisfying a compatibility condition. This framework contains de Rham's functional equations. We give sufficient conditions for singularity of the solution with quantitative estimates in the case that the equation is driven by non-affine maps, in particular, linear fractional transformations. △ Less

Submitted 26 October, 2024; v1 submitted 16 July, 2024; originally announced July 2024.

Comments: 23 pages; More examples added in Section 4

MSC Class: 26A30; 60G30

Heavy-ball Differential Equation Achieves $O(\varepsilon^{-7/4})$ Convergence for Nonconvex Functions

Authors: Kaito Okamura, Naoki Marumo, Akiko Takeda

Abstract: First-order optimization methods for nonconvex functions with Lipschitz continuous gradient and Hessian have been extensively studied. State-of-the-art methods for finding an $\varepsilon$-stationary point within $O(\varepsilon^{-{7/4}})$ or $\tilde{O}(\varepsilon^{-{7/4}})$ gradient evaluations are based on Nesterov's accelerated gradient descent (AGD) or Polyak's heavy-ball (HB) method. However,… ▽ More First-order optimization methods for nonconvex functions with Lipschitz continuous gradient and Hessian have been extensively studied. State-of-the-art methods for finding an $\varepsilon$-stationary point within $O(\varepsilon^{-{7/4}})$ or $\tilde{O}(\varepsilon^{-{7/4}})$ gradient evaluations are based on Nesterov's accelerated gradient descent (AGD) or Polyak's heavy-ball (HB) method. However, these algorithms employ additional mechanisms, such as restart schemes and negative curvature exploitation, which complicate their behavior and make it challenging to apply them to more advanced settings (e.g., stochastic optimization). As a first step in investigating whether a simple algorithm with $O(\varepsilon^{-{7/4}})$ complexity can be constructed without such additional mechanisms, we study the HB differential equation, a continuous-time analogue of the AGD and HB methods. We prove that its dynamics attain an $\varepsilon$-stationary point within $O(\varepsilon^{-{7/4}})$ time. △ Less

Submitted 1 May, 2025; v1 submitted 10 June, 2024; originally announced June 2024.

Comments: 16 pages

MSC Class: 90C26 (Primary); 90C30 (Secondary); 65K05; 90C06

Power means of random variables and characterizations of distributions via fractional calculus

Authors: Kazuki Okamura, Yoshiki Otobe

Abstract: We investigate fractional moments and expectations of power means of complex-valued random variables by using fractional calculus. We deal with both negative and positive orders of the fractional derivatives. The one-dimensional distributions are characterized in terms of the fractional moments without any moment assumptions. We explicitly compute the expectations of the power means for both the u… ▽ More We investigate fractional moments and expectations of power means of complex-valued random variables by using fractional calculus. We deal with both negative and positive orders of the fractional derivatives. The one-dimensional distributions are characterized in terms of the fractional moments without any moment assumptions. We explicitly compute the expectations of the power means for both the univariate Cauchy distribution and the Poincaré distribution on the upper-half plane. We show that for these distributions the expectations are invariant with respect to the sample size and the value of the power. △ Less

Submitted 4 September, 2024; v1 submitted 5 December, 2023; originally announced December 2023.

Comments: 22 pages, v3: minor modifications, to appear in Probability and Mathematical Statistics

MSC Class: 60E10; 62E10; 26A33

Journal ref: Probability and Mathematical Statistics, 44(1) (2024) 133-156

Properties of complex-valued power means of random variables and their applications

Authors: Yuichi Akaoka, Kazuki Okamura, Yoshiki Otobe

Abstract: We consider power means of independent and identically distributed (i.i.d.) non-integrable random variables. The power mean is an example of a homogeneous quasi-arithmetic mean. Under certain conditions, several limit theorems hold for the power mean, similar to the case of the arithmetic mean of i.i.d. integrable random variables. Our feature is that the generators of the power means are allowed… ▽ More We consider power means of independent and identically distributed (i.i.d.) non-integrable random variables. The power mean is an example of a homogeneous quasi-arithmetic mean. Under certain conditions, several limit theorems hold for the power mean, similar to the case of the arithmetic mean of i.i.d. integrable random variables. Our feature is that the generators of the power means are allowed to be complex-valued, which enables us to consider the power mean of random variables supported on the whole set of real numbers. We establish integrabilities of the power mean of i.i.d. non-integrable random variables and a limit theorem for the variances of the power mean. We also consider the behavior of the power mean as the parameter of the power varies. The complex-valued power means are unbiased, strongly-consistent, robust estimators for the joint of the location and scale parameters of the Cauchy distribution. △ Less

Submitted 22 June, 2023; v1 submitted 20 July, 2022; originally announced July 2022.

Comments: 43 pages; v3: Section 2 for backgrounds and Section 8 for the mixture Cauchy model added. Introduction shortened. To appear in Acta Math. Hung

MSC Class: 60F25; 60F15; 60F05; 26E60; 62F10; 62F12; 62E20

Journal ref: Acta Math. Hungar. 171, 124-175 (2023)

A note on the $f$-divergences between multivariate location-scale families with either prescribed scale matrices or location parameters

Authors: Frank Nielsen, Kazuki Okamura

Abstract: We first extend the result of Ali and Silvey [Journal of the Royal Statistical Society: Series B, 28.1 (1966), 131-142] who first reported that any $f$-divergence between two isotropic multivariate Gaussian distributions amounts to a corresponding strictly increasing scalar function of their corresponding Mahalanobis distance. We report sufficient conditions on the standard probability density fun… ▽ More We first extend the result of Ali and Silvey [Journal of the Royal Statistical Society: Series B, 28.1 (1966), 131-142] who first reported that any $f$-divergence between two isotropic multivariate Gaussian distributions amounts to a corresponding strictly increasing scalar function of their corresponding Mahalanobis distance. We report sufficient conditions on the standard probability density function generating a multivariate location family and the function generator $f$ in order to generalize this result. This property is useful in practice as it allows to compare exactly $f$-divergences between densities of these location families via their corresponding Mahalanobis distances, even when the $f$-divergences are not available in closed-form as it is the case, for example, for the Jensen-Shannon divergence or the total variation distance between densities of a normal location family. Second, we consider $f$-divergences between densities of multivariate scale families: We recall Ali and Silvey 's result that for normal scale families we get matrix spectral divergences, and we extend this result to densities of a scale family. △ Less

Submitted 30 May, 2022; v1 submitted 22 April, 2022; originally announced April 2022.

Comments: 17 pages, 1 table, 1 figure

Journal ref: Statistics and Computing , Volume 34, article number 60, (2024)

Non-existence of measurable solutions of certain functional equations via probabilistic approaches

Authors: Kazuki Okamura

Abstract: This paper deals with functional equations in the form of $f(x) + g(y) = h(x,y)$ where $h$ is given and $f$ and $g$ are unknown. We will show that if $h$ is a Borel measurable function associated with characterizations of the uniform or Cauchy distributions, then there is no measurable solutions of the equation. Our proof uses a characterization of the Dirac measure and it is also applicable to th… ▽ More This paper deals with functional equations in the form of $f(x) + g(y) = h(x,y)$ where $h$ is given and $f$ and $g$ are unknown. We will show that if $h$ is a Borel measurable function associated with characterizations of the uniform or Cauchy distributions, then there is no measurable solutions of the equation. Our proof uses a characterization of the Dirac measure and it is also applicable to the arctan equation. △ Less

Submitted 20 May, 2021; originally announced May 2021.

Comments: 7 pages, to appear in Aequationes mathematicae

MSC Class: 39B22; 62E10

Characterizations of the maximum likelihood estimator of the Cauchy distribution

Authors: Kazuki Okamura, Yoshiki Otobe

Abstract: This paper gives a new approach for the maximum likelihood estimation of the joint of the location and scale of the Cauchy distribution. We regard the joint as a single complex parameter and derive a new form of the likelihood equation of a complex variable. Based on the equation, we provide a new iterative scheme approximating the maximum likelihood estimate. We also handle the equation in an alg… ▽ More This paper gives a new approach for the maximum likelihood estimation of the joint of the location and scale of the Cauchy distribution. We regard the joint as a single complex parameter and derive a new form of the likelihood equation of a complex variable. Based on the equation, we provide a new iterative scheme approximating the maximum likelihood estimate. We also handle the equation in an algebraic manner and derive a polynomial containing the maximum likelihood estimate as a root. This algebraic approach provides another scheme approximating the maximum likelihood estimate by root-finding algorithms for polynomials, and furthermore, gives non-existence of closed-form formulae for the case that the sample size is five. We finally provide some numerical examples to show our method is effective. △ Less

Submitted 6 December, 2021; v1 submitted 13 April, 2021; originally announced April 2021.

Comments: 19 pages; to appear in Lobachevskii Journal of Mathematics

MSC Class: 62F10; 30C80; 12F10

Journal ref: Lobachevskii Journal of Mathematics, (2022) Vol. 43, No. 9, pp. 2576-2590

Confidence disc and square for Cauchy distributions

Authors: Yuichi Akaoka, Kazuki Okamura, Yoshiki Otobe

Abstract: We will construct a confidence region of parameters for a sample of size $N$ from Cauchy distributed random variables. Although Cauchy distribution has two parameters, a location parameter $μ\in \mathbb{R}$ and a scale parameter $σ> 0$, we will infer them at once by regarding them as a single complex parameter $γ:= μ+ iσ$. The region should be a domain in the complex plane, and we will give a simp… ▽ More We will construct a confidence region of parameters for a sample of size $N$ from Cauchy distributed random variables. Although Cauchy distribution has two parameters, a location parameter $μ\in \mathbb{R}$ and a scale parameter $σ> 0$, we will infer them at once by regarding them as a single complex parameter $γ:= μ+ iσ$. The region should be a domain in the complex plane, and we will give a simple and concrete formula to give the region as a disc and a square. △ Less

Submitted 13 October, 2022; v1 submitted 13 April, 2021; originally announced April 2021.

Comments: v4, 15 pages, 6 figures, typo in Eq. (3) corrected, some unnecessary columns in Figures 2,3,5 and 6 deleted, to appear in Ukrainian Mathematical Journal

MSC Class: 62F25

Journal ref: Ukrains'kyi Matematychnyi Zhurnal, Vol. 75, no. 3, (2023) pp. 305-318

Bahadur efficiency of the maximum likelihood estimator and one-step estimator for quasi-arithmetic means of the Cauchy distribution

Authors: Yuichi Akaoka, Kazuki Okamura, Yoshiki Otobe

Abstract: Some quasi-arithmetic means of random variables easily give unbiased strongly consistent closed-form estimators of the joint of the location and scale parameters of the Cauchy distribution. The one-step estimators of those quasi-arithmetic means of the Cauchy distribution are considered. We establish the Bahadur efficiency of the maximum likelihood estimator and the one-step estimators. We also sh… ▽ More Some quasi-arithmetic means of random variables easily give unbiased strongly consistent closed-form estimators of the joint of the location and scale parameters of the Cauchy distribution. The one-step estimators of those quasi-arithmetic means of the Cauchy distribution are considered. We establish the Bahadur efficiency of the maximum likelihood estimator and the one-step estimators. We also show that the rate of the convergence of the mean-squared errors achieves the Cramer-Rao bound. Our results are also applicable to the circular Cauchy distribution. △ Less

Submitted 5 December, 2021; v1 submitted 13 April, 2021; originally announced April 2021.

Comments: 23 pages; numerical computations added; to appear in Annals of the Institute of Statistical Mathematics

MSC Class: 62F10; 62F12; 62E20; 60F10

Journal ref: Annals of the Institute of Statistical Mathematics (2022) 74:895-923

Limit theorems for quasi-arithmetic means of random variables with applications to point estimations for the Cauchy distribution

Authors: Yuichi Akaoka, Kazuki Okamura, Yoshiki Otobe

Abstract: We establish some limit theorems for quasi-arithmetic means of random variables. This class of means contains the arithmetic, geometric and harmonic means. Our feature is that the generators of quasi-arithmetic means are allowed to be complex-valued, which makes considerations for quasi-arithmetic means of random variables which could take negative values possible. Our motivation for the limit the… ▽ More We establish some limit theorems for quasi-arithmetic means of random variables. This class of means contains the arithmetic, geometric and harmonic means. Our feature is that the generators of quasi-arithmetic means are allowed to be complex-valued, which makes considerations for quasi-arithmetic means of random variables which could take negative values possible. Our motivation for the limit theorems is finding simple estimators of the parameters of the Cauchy distribution. By applying the limit theorems, we obtain some closed-form unbiased strongly-consistent estimators for the joint of the location and scale parameters of the Cauchy distribution, which are easy to compute and analyze. △ Less

Submitted 29 January, 2022; v1 submitted 13 April, 2021; originally announced April 2021.

Comments: 24 pages, Example 1.2 revised and Lemma 2.4 added, to appear in Brazilian Journal of Probability and Statistics

MSC Class: 62F10; 62F12; 62E20; 60F15; 26E60

Journal ref: Brazilian Journal of Probability and Statistics 2022, Vol. 36, No. 2, 385-407

On $f$-divergences between Cauchy distributions

Authors: Frank Nielsen, Kazuki Okamura

Abstract: We prove that the $f$-divergences between univariate Cauchy distributions are all symmetric, and can be expressed as strictly increasing scalar functions of the symmetric chi-squared divergence. We report the corresponding scalar functions for the total variation distance, the Kullback-Leibler divergence, the squared Hellinger divergence, and the Jensen-Shannon divergence among others. Next, we gi… ▽ More We prove that the $f$-divergences between univariate Cauchy distributions are all symmetric, and can be expressed as strictly increasing scalar functions of the symmetric chi-squared divergence. We report the corresponding scalar functions for the total variation distance, the Kullback-Leibler divergence, the squared Hellinger divergence, and the Jensen-Shannon divergence among others. Next, we give conditions to expand the $f$-divergences as converging infinite series of higher-order power chi divergences, and illustrate the criterion for converging Taylor series expressing the $f$-divergences between Cauchy distributions. We then show that the symmetric property of $f$-divergences holds for multivariate location-scale families with prescribed matrix scales provided that the standard density is even which includes the cases of the multivariate normal and Cauchy families. However, the $f$-divergences between multivariate Cauchy densities with different scale matrices are shown asymmetric. Finally, we present several metrizations of $f$-divergences between univariate Cauchy distributions and further report geometric embedding properties of the Kullback-Leibler divergence. △ Less

Submitted 7 December, 2021; v1 submitted 29 January, 2021; originally announced January 2021.

Comments: 64 pages, 1 figure, 1 table

Journal ref: IEEE Transactions on Information Theory, 2022

Characterizations of the Cauchy distribution associated with integral transforms

Authors: Kazuki Okamura

Abstract: We give two new simple characterizations of the Cauchy distribution by using the Möbius and Mellin transforms. They also yield characterizations of the circular Cauchy distribution and the mixture Cauchy model. We give two new simple characterizations of the Cauchy distribution by using the Möbius and Mellin transforms. They also yield characterizations of the circular Cauchy distribution and the mixture Cauchy model. △ Less

Submitted 19 July, 2020; originally announced July 2020.

Comments: 9 pages, to appear in Studia Scientiarum Mathematicarum Hungarica

MSC Class: 60E10; 62E10

Journal ref: Studia Scientiarum Mathematicarum Hungarica, Volume 57 Issue 3 (2020) 385-396

An equivalence criterion for infinite products of Cauchy measures

Authors: Kazuki Okamura

Abstract: We give an equivalence-singularity criterion for infinite products of Cauchy measures under simultaneous shifts of the location and scale parameters. Our result is an extension of Lie and Sullivan's result giving an equivalence-singularity criterion under dilations of scale parameters. Our proof utilizes McCullagh's parameterization of the Cauchy distributions and maximal invariant, and a closed-f… ▽ More We give an equivalence-singularity criterion for infinite products of Cauchy measures under simultaneous shifts of the location and scale parameters. Our result is an extension of Lie and Sullivan's result giving an equivalence-singularity criterion under dilations of scale parameters. Our proof utilizes McCullagh's parameterization of the Cauchy distributions and maximal invariant, and a closed-form formula of the Kullback-Leibler divergence between two Cauchy measures given by Chyzak and Nielsen. △ Less

Submitted 20 January, 2021; v1 submitted 14 April, 2020; originally announced April 2020.

Comments: 6 pages; Lemma 2.4 in the published version is wrong. It is corrected, and the proof is given

MSC Class: 60G30

Journal ref: Statistics and Probability Letters, 163 (2020) no.108797

Some results for range of random walk on graph with spectral dimension two

Authors: Kazuki Okamura

Abstract: We consider the range of the simple random walk on graphs with spectral dimension two. We give a form of strong law of large numbers under a certain uniform condition, which is satisfied by not only the square integer lattice but also a class of fractal graphs. Our results imply the strong law of large numbers on the square integer lattice established by Dvoretzky and Erdös (1951). Our proof does… ▽ More We consider the range of the simple random walk on graphs with spectral dimension two. We give a form of strong law of large numbers under a certain uniform condition, which is satisfied by not only the square integer lattice but also a class of fractal graphs. Our results imply the strong law of large numbers on the square integer lattice established by Dvoretzky and Erdös (1951). Our proof does not depend on spacial homogeneity of space and gives a new proof of the strong law of large numbers on the lattice. We also show that the behavior of appropriately scaled expectations of the range is stable with respect to every "finite modification" of the two-dimensional integer lattice, and furthermore we construct a recurrent graph such that the uniform condition holds but the scaled expectations fluctuate. As an application, we establish a form of law of the iterated logarithms for lamplighter random walks in the case that the spectral dimension of the underlying graph is two. △ Less

Submitted 1 May, 2020; v1 submitted 19 March, 2019; originally announced March 2019.

Comments: 30 pages, minor revision, to appear in Journal of Theoretical Probability

MSC Class: 60K35

Universally valid uncertainty relations in general quantum systems

Authors: Kazuya Okamura, Masanao Ozawa

Abstract: We study universally valid uncertainty relations in general quantum systems described by general $σ$-finite von Neumann algebras to foster developing quantitative analysis in quantum systems with infinite degrees of freedom such as quantum fields. We obtain the most stringent measurement-disturbance relation ever, applicable to systems with infinite degrees of freedom, by refining the proofs given… ▽ More We study universally valid uncertainty relations in general quantum systems described by general $σ$-finite von Neumann algebras to foster developing quantitative analysis in quantum systems with infinite degrees of freedom such as quantum fields. We obtain the most stringent measurement-disturbance relation ever, applicable to systems with infinite degrees of freedom, by refining the proofs given by Branciard and one of the authors (MO) for systems with finite degrees of freedom. In our proof the theory of the standard form of von Neumann algebras plays a crucial role, incorporating with measurement theory for local quantum systems recently developed by the authors. △ Less

Submitted 13 September, 2018; v1 submitted 31 August, 2018; originally announced August 2018.

Comments: v2, minor correction

Some results for conjugate equations

Authors: Kazuki Okamura

Abstract: In this paper we consider a class of conjugate equations, which generalizes de Rham's functional equations. We give sufficient conditions for existence and uniqueness of solutions under two different series of assumptions. We consider regularity of solutions. In our framework, two iterated function systems are associated with a series of conjugate equations. We state local regularity by using the… ▽ More In this paper we consider a class of conjugate equations, which generalizes de Rham's functional equations. We give sufficient conditions for existence and uniqueness of solutions under two different series of assumptions. We consider regularity of solutions. In our framework, two iterated function systems are associated with a series of conjugate equations. We state local regularity by using the invariant measures of the two iterated function systems with a common probability vector. We give several examples, especially an example such that infinitely many solutions exists, and a new class of fractal functions on the two-dimensional standard Sierpinski gasket which are not harmonic functions or fractal interpolation functions. We also consider a certain kind of stability. △ Less

Submitted 16 December, 2018; v1 submitted 16 June, 2018; originally announced June 2018.

Comments: 28 pages; to appear in Aequationes mathematicae

MSC Class: 39B72; 39B12; 28A80; 26A30

Long time behavior of the volume of the Wiener sausage on Dirichlet spaces

Authors: Kazuki Okamura

Abstract: In the present paper, we consider long time behaviors of the volume of the Wiener sausage on Dirichlet spaces. We focus on the volume of the Wiener sausage for diffusion processes on metric measure spaces other than the Euclid space equipped with the Lebesgue measure. We obtain the growth rate of the expectations and almost sure behaviors of the volumes of the Wiener sausages on metric measure Dir… ▽ More In the present paper, we consider long time behaviors of the volume of the Wiener sausage on Dirichlet spaces. We focus on the volume of the Wiener sausage for diffusion processes on metric measure spaces other than the Euclid space equipped with the Lebesgue measure. We obtain the growth rate of the expectations and almost sure behaviors of the volumes of the Wiener sausages on metric measure Dirichlet spaces satisfying Ahlfors regularity and sub-Gaussian heat kernel estimates. We show that the growth rate of the expectations on a "bounded" modification of the Euclidian space is identical with the one on the Euclidian space equipped with the Lebesgue measure. We give an example of a metric measure Dirichlet space on which a scaled of the means fluctuates. △ Less

Submitted 24 September, 2018; v1 submitted 26 March, 2018; originally announced March 2018.

Comments: minor revision. 42 pages, 1 figure; to appear in Potential Analysis

MSC Class: 60J60; 31C25

Journal ref: Potential Analysis, 52(3), (2020) 427-468

Hausdorff dimensions for graph-directed measures driven by infinite rooted trees

Authors: Kazuki Okamura

Abstract: We give upper and lower bounds for the Hausdorff dimensions for a class of graph-directed measures when its underlying directed graph is the infinite N-ary tree. These measures are different from graph-directed self-similar measures driven by finite directed graphs and are not necessarily Gibbs measures. However our class contains several measures appearing in fractal geometry and functional equat… ▽ More We give upper and lower bounds for the Hausdorff dimensions for a class of graph-directed measures when its underlying directed graph is the infinite N-ary tree. These measures are different from graph-directed self-similar measures driven by finite directed graphs and are not necessarily Gibbs measures. However our class contains several measures appearing in fractal geometry and functional equations, specifically, measures defined by restrictions of non-constant harmonic functions on the two-dimensional Sierpínski gasket, the Kusuoka energy measures on it, and, measures defined by solutions of de Rham's functional equations driven by linear fractional transformations. △ Less

Submitted 6 September, 2019; v1 submitted 11 March, 2017; originally announced March 2017.

Comments: 32 pages. major revision. Main theorem is extended. to appear in Real Analysis Exchange

MSC Class: 28A78; 28A80; 60G30

Journal ref: Real Analysis Exchange Vol. 45, No. 1 (2020), pp. 29-72

Quenched large deviations for simple random walks on percolation models including long-range correlations

Authors: Noam Berger, Chiranjib Mukherjee, Kazuki Okamura

Abstract: We prove a {\it{quenched}} large deviation principle (LDP) for a simple random walk on a supercritical percolation cluster (SRWPC) on $\mathbb Z^d$ ($d\geq 2$). The models under interest include classical Bernoulli bond and site percolation as well as models that exhibit long range correlations, like the random cluster model, the random interlacement and {the vacant set of random interlacements} (… ▽ More We prove a {\it{quenched}} large deviation principle (LDP) for a simple random walk on a supercritical percolation cluster (SRWPC) on $\mathbb Z^d$ ($d\geq 2$). The models under interest include classical Bernoulli bond and site percolation as well as models that exhibit long range correlations, like the random cluster model, the random interlacement and {the vacant set of random interlacements} (for $d\geq 3$) and the level sets of the Gaussian free field ($d\geq 3$). Inspired by the methods developed by Kosygina, Rezakhanlou and Varadhan ([KRV06]) for proving quenched LDP for elliptic diffusions with a random drift, and by Yilmaz ([Y08]) and Rosenbluth ([R06]) for similar results regarding elliptic random walks in random environment, we take the point of view of the moving particle and prove a large deviation principle for the quenched distribution of the {\it{pair empirical measures}} of the environment Markov chain in the non-elliptic case of SRWPC . Via a contraction principle, this reduces easily to a quenched LDP for the distribution of the mean velocity of the random walk and both rate functions admit explicit variational formulas. The main difficulty in our set up lies in the inherent non-ellipticity as well as the lack of {\it{translation-invariance}} stemming from conditioning on the fact that the origin belongs to the infinite cluster. We develop a unifying approach for proving quenched large deviations for SRWPC based on exploiting coercivity properties of the relative entropies in the context of convex variational analysis, combined with input from ergodic theory and invoking geometric properties of the supercritical percolation cluster. △ Less

Submitted 24 October, 2017; v1 submitted 5 December, 2016; originally announced December 2016.

Comments: To appear in: "Communications in Mathematical Physics"

Unions of random walk and percolation on infinite graphs

Authors: Kazuki Okamura

Abstract: We consider a random object that is associated with both random walks and random media, specifically, the superposition of a configuration of subcritical Bernoulli percolation on an infinite connected graph and the trace of the simple random walk on the same graph. We investigate asymptotics for the number of vertices of the enlargement of the trace of the walk until a fixed time, when the time te… ▽ More We consider a random object that is associated with both random walks and random media, specifically, the superposition of a configuration of subcritical Bernoulli percolation on an infinite connected graph and the trace of the simple random walk on the same graph. We investigate asymptotics for the number of vertices of the enlargement of the trace of the walk until a fixed time, when the time tends to infinity. This process is more highly self-interacting than the range of random walk, which yields difficulties. We show a law of large numbers on vertex-transitive transient graphs. We compare the process on a vertex-transitive graph with the process on a finitely modified graph of the original vertex-transitive graph and show their behaviors are similar. We show that the process fluctuates almost surely on a certain non-vertex-transitive graph. On the two-dimensional integer lattice, by investigating the size of the boundary of the trace, we give an estimate for variances of the process implying a law of large numbers. We give an example of a graph with unbounded degrees on which the process behaves in a singular manner. As by-products, some results for the range and the boundary, which will be of independent interest, are obtained. △ Less

Submitted 30 May, 2018; v1 submitted 13 November, 2016; originally announced November 2016.

Comments: 44 pages, 1 figure. to appear in Brazilian Journal of Probability and Statistics

MSC Class: 60K35; 60K37

Journal ref: Braz. J. Probab. Stat. 33 (2019) 586-637

Measuring processes and the Heisenberg picture

Authors: Kazuya Okamura

Abstract: In this paper, we attempt to establish quantum measurement theory in the Heisenberg picture. First, we review foundations of quantum measurement theory, that is usually based on the Schrödinger picture. The concept of instrument is introduced there. Next, we define the concept of system of measurement correlations and that of measuring process. The former is the exact counterpart of instrument in… ▽ More In this paper, we attempt to establish quantum measurement theory in the Heisenberg picture. First, we review foundations of quantum measurement theory, that is usually based on the Schrödinger picture. The concept of instrument is introduced there. Next, we define the concept of system of measurement correlations and that of measuring process. The former is the exact counterpart of instrument in the (generalized) Heisenberg picture. In quantum mechanical systems, we then show a one-to-one correspondence between systems of measurement correlations and measuring processes up to complete equivalence. This is nothing but a unitary dilation theorem of systems of measurement correlations. Furthermore, from the viewpoint of the statistical approach to quantum measurement theory, we focus on the extendability of instruments to systems of measurement correlations. It is shown that all completely positive (CP) instruments are extended into systems of measurement correlations. Lastly, we study the approximate realizability of CP instruments by measuring processes within arbitrarily given error limits. △ Less

Submitted 18 April, 2018; v1 submitted 30 November, 2015; originally announced November 2015.

Comments: v3

On regularity for de Rham's functional equations

Authors: Kazuki Okamura

Abstract: We consider regularity for solutions of a class of de Rham's functional equations. Under some smoothness conditions of functions consisting the equation, we improve some results in Hata (Japan J. Appl. Math. 1985). Our results are applicable to some cases that the functions consisting the equation are non-linear functions on an interval, specifically, polynomials and linear fractional transformati… ▽ More We consider regularity for solutions of a class of de Rham's functional equations. Under some smoothness conditions of functions consisting the equation, we improve some results in Hata (Japan J. Appl. Math. 1985). Our results are applicable to some cases that the functions consisting the equation are non-linear functions on an interval, specifically, polynomials and linear fractional transformations. Our results imply singularity of some well-known singular functions, in particular, Minkowski's question-mark function, and, some small perturbed functions of the singular functions. △ Less

Submitted 16 August, 2016; v1 submitted 21 July, 2015; originally announced July 2015.

Comments: 14 pages, 3 figures

MSC Class: 39B52; 39B22; 26A27; 26A30

Journal ref: Aequationes mathematicae 90, Issue 6, (2016) pp 1071-1085

Enlargement of subgraphs of infinite graphs by Bernoulli percolation

Authors: Kazuki Okamura

Abstract: We consider changes in properties of a subgraph of an infinite graph resulting from the addition of open edges of Bernoulli percolation on the infinite graph to the subgraph. We give the triplet of an infinite graph, one of its subgraphs, and a property of the subgraphs. Then, in a manner similar to the way Hammersley's critical probability is defined, we can define two values associated with the… ▽ More We consider changes in properties of a subgraph of an infinite graph resulting from the addition of open edges of Bernoulli percolation on the infinite graph to the subgraph. We give the triplet of an infinite graph, one of its subgraphs, and a property of the subgraphs. Then, in a manner similar to the way Hammersley's critical probability is defined, we can define two values associated with the triplet. We regard the two values as certain critical probabilities, and compare them with Hammersley's critical probability. In this paper, we focus on the following cases of a graph property: being a transient subgraph, having finitely many cut points or no cut points, being a recurrent subset, or being connected. Our results depend heavily on the choice of the triplet. Most results of this paper are announced in \cite{O16} without proofs. This paper gives full details of them. △ Less

Submitted 9 June, 2017; v1 submitted 18 June, 2015; originally announced June 2015.

Comments: 23 pages, 3 figures, reorganized, final version, to appear in Indagationes Mathematicae

MSC Class: 60K35; 82B41; 82B43; 05C63; 05C80; 05C81

A new generalization of the Takagi function

Authors: Kazuki Okamura

Abstract: We consider a one-parameter family of functions $\{F(t,x)\}_{t}$ on $[0,1]$ and partial derivatives $\partial_{t}^{k} F(t, x)$ with respect to the parameter $t$. Each function of the class is defined by a certain pair of two square matrices of order two. The class includes the Lebesgue singular functions and other singular functions. Our approach to the Takagi function is similar to Hata and Yamag… ▽ More We consider a one-parameter family of functions $\{F(t,x)\}_{t}$ on $[0,1]$ and partial derivatives $\partial_{t}^{k} F(t, x)$ with respect to the parameter $t$. Each function of the class is defined by a certain pair of two square matrices of order two. The class includes the Lebesgue singular functions and other singular functions. Our approach to the Takagi function is similar to Hata and Yamaguti. The class of partial derivatives $\partial_{t}^{k} F(t, x)$ includes the original Takagi function and some generalizations. We consider real-analytic properties of $\partial_{t}^{k} F(t, x)$ as a function of $x$, specifically, differentiability, the Hausdorff dimension of the graph, the asymptotic around dyadic rationals, variation, a question of local monotonicity and a modulus of continuity. Our results are extensions of some results for the original Takagi function and some generalizations. △ Less

Submitted 1 September, 2015; v1 submitted 30 April, 2015; originally announced April 2015.

Comments: 22 pages, 2 figures. The structure of paper has been changed significantly

MSC Class: Primary : 26A27; Secondary : 39B22; 60G42; 60G30

Journal ref: Journal of Mathematical Analysis and Applications, Volume 434, Issue 1, 2016, Pages 652-679

Measurement theory in local quantum physics

Authors: Kazuya Okamura, Masanao Ozawa

Abstract: In this paper, we aim to establish foundations of measurement theory in local quantum physics. For this purpose, we discuss a representation theory of completely positive (CP) instruments on arbitrary von Neumann algebras. We introduce a condition called the normal extension property (NEP) and establish a one-to-one correspondence between CP instruments with the NEP and statistical equivalence cla… ▽ More In this paper, we aim to establish foundations of measurement theory in local quantum physics. For this purpose, we discuss a representation theory of completely positive (CP) instruments on arbitrary von Neumann algebras. We introduce a condition called the normal extension property (NEP) and establish a one-to-one correspondence between CP instruments with the NEP and statistical equivalence classes of measuring processes. We show that every CP instrument on an atomic von Neumann algebra has the NEP, extending the well-known result for type I factors. Moreover, we show that every CP instrument on an injective von Neumann algebra is approximated by CP instruments with the NEP. The concept of posterior states is also discussed to show that the NEP is equivalent to the existence of a strongly measurable family of posterior states for every normal state. Two examples of CP instruments without the NEP are obtained from this result. It is thus concluded that in local quantum physics not every CP instrument represents a measuring process, but in most of physically relevant cases every CP instrument can be realized by a measuring process within arbitrary error limits, as every approximately finite dimensional (AFD) von Neumann algebra on a separable Hilbert space is injective. To conclude the paper, the concept of local measurement in algebraic quantum field theory is examined in our framework. In the setting of the Doplicher-Haag-Roberts and Doplicher-Roberts (DHR-DR) theory describing local excitations, we show that an instrument on a local algebra can be extended to a local instrument on the global algebra if and only if it is a CP instrument with the NEP, provided that the split property holds for the net of local algebras. △ Less

Submitted 2 November, 2015; v1 submitted 31 December, 2014; originally announced January 2015.

Comments: v2: 24 pages; v3: 34 pages

Journal ref: Journal of Mathematical Physics 57, 015209 (2016)

Local state and sector theory in local quantum physics

Authors: Izumi Ojima, Kazuya Okamura, Hayato Saigo

Abstract: We define a new concept of local states in the framework of algebraic quantum field theory (AQFT). Local states are a natural generalization of states and give a clear vision of localization in the context of QFT. In terms of them, we can find a condition from which follows automatically the famous DHR selection criterion in DHR-DR theory. As a result, we can understand the condition as consequenc… ▽ More We define a new concept of local states in the framework of algebraic quantum field theory (AQFT). Local states are a natural generalization of states and give a clear vision of localization in the context of QFT. In terms of them, we can find a condition from which follows automatically the famous DHR selection criterion in DHR-DR theory. As a result, we can understand the condition as consequences of physically natural state preparations in vacuum backgrounds. Furthermore, a theory of orthogonal decomposition of completely positive (CP) maps is developed. It unifies a theory of orthogonal decomposition of states and order structure theory of CP maps. By using it, localized version of sectors is formulated, which gives sector theory for local states with respect to general reference representations. △ Less

Submitted 31 March, 2016; v1 submitted 31 December, 2014; originally announced January 2015.

Comments: v2: 20 pages

Large deviations for simple random walk on percolations with long-range correlations

Authors: Kazuki Okamura

Abstract: We show quenched large deviations for the simple random walk on a certain class of percolations with long-range correlations. This class contains the supercritical Bernoulli percolations, the model considered by Drewitz, R'ath and Sapozhnikov and the random-cluster model up to the slab critical point. Our result is an extension of Kubota's result for the supercritical Bernoulli percolations. We al… ▽ More We show quenched large deviations for the simple random walk on a certain class of percolations with long-range correlations. This class contains the supercritical Bernoulli percolations, the model considered by Drewitz, R'ath and Sapozhnikov and the random-cluster model up to the slab critical point. Our result is an extension of Kubota's result for the supercritical Bernoulli percolations. We also state a shape theorem for the chemical distance, which is an extension of Garet and Marchand's result for the supercritical Bernoulli percolations. △ Less

Submitted 1 November, 2013; v1 submitted 10 August, 2013; originally announced August 2013.

Comments: 12 pages, New theorem added

MSC Class: 60K37; 60K35

On the range of random walk on graphs satisfying a uniform condition

Authors: Kazuki Okamura

Abstract: We consider the range of random walks up to time n, R_n, on graphs satisfying a uniform condition. This condition is characterized by potential theory. Not only all vertex transitive graphs but also many non-regular graphs satisfy the condition. We show certain weak laws of R_n from above and below. We also show that there is a graph such that it satisfies the condition and a sequence of the mean… ▽ More We consider the range of random walks up to time n, R_n, on graphs satisfying a uniform condition. This condition is characterized by potential theory. Not only all vertex transitive graphs but also many non-regular graphs satisfy the condition. We show certain weak laws of R_n from above and below. We also show that there is a graph such that it satisfies the condition and a sequence of the mean of R_n/n fluctuates. By noting the construction of the graph, we see that under the condition, the weak laws are best in a sense. △ Less

Submitted 21 October, 2013; v1 submitted 7 August, 2013; originally announced August 2013.

Comments: 21 pages, Section for Examples rewritten

MSC Class: 60K35; 60J10; 31C20

Journal ref: ALEA, Lat. Am. J. Probab. Math. Stat. 11 (2), 341-357 (2014)

Derivation of Born Rule from Algebraic and Statistical Axioms

Authors: Izumi Ojima, Kazuya Okamura, Hayato Saigo

Abstract: In the present paper we propose a new axiomatic system of algebraic and statistical axioms as working hypotheses, from which Born rule can be seen to emerge. In this process the concept of sectors defined as quasi-equivalence classes of factor states plays a crucial role. In the present paper we propose a new axiomatic system of algebraic and statistical axioms as working hypotheses, from which Born rule can be seen to emerge. In this process the concept of sectors defined as quasi-equivalence classes of factor states plays a crucial role. △ Less

Submitted 1 May, 2013; v1 submitted 24 April, 2013; originally announced April 2013.

Comments: 12 pages

On the range of self-interacting random walks on an integer interval

Authors: Kazuki Okamura

Abstract: We consider the range of a one-parameter family of self-interacting walks on the integers up to the time of exit from an interval. We derive the weak convergence of an appropriately scaled range. We show that the distribution functions of the limits of the scaled range satisfy a certain class of de Rham's functional equations. We examine the regularity of the limits. We consider the range of a one-parameter family of self-interacting walks on the integers up to the time of exit from an interval. We derive the weak convergence of an appropriately scaled range. We show that the distribution functions of the limits of the scaled range satisfy a certain class of de Rham's functional equations. We examine the regularity of the limits. △ Less

Submitted 11 January, 2014; v1 submitted 5 July, 2012; originally announced July 2012.

Comments: 13 pages. Title changed. To appear in Tsukuba J. Math

MSC Class: 60K35

Journal ref: Tsukuba J. Math. 38 no.1 (2014), 123-135

Singularity results for functional equations driven by linear fractional transformations

Authors: Kazuki Okamura

Abstract: We consider functional equations driven by linear fractional transformations, which are special cases of de Rham's functional equations. We consider Hausdorff dimension of the measure whose distribution function is the solution. We give a necessary and sufficient condition for singularity. We also show that they have a relationship with stationary measures. We consider functional equations driven by linear fractional transformations, which are special cases of de Rham's functional equations. We consider Hausdorff dimension of the measure whose distribution function is the solution. We give a necessary and sufficient condition for singularity. We also show that they have a relationship with stationary measures. △ Less

Submitted 22 September, 2013; v1 submitted 16 May, 2012; originally announced May 2012.

Comments: 14 pages, Title changed, to appear in Journal of Theoretical Probability

MSC Class: 60G30; 28A78; 28A80

Journal ref: Journal of Theoretical Probability, 2014, Volume 27, Issue 4, pp 1316-1328

The Quantum Relative Entropy as a Rate Function and Information Criteria

Authors: Kazuya Okamura

Abstract: We prove that the quantum relative entropy is a rate function in large deviation principle. Next, we define information criteria for quantum states and estimate the accuracy of the use of them. Most of the results in this paper are essentially based on Hiai-Ohya-Tsukada theorem. We prove that the quantum relative entropy is a rate function in large deviation principle. Next, we define information criteria for quantum states and estimate the accuracy of the use of them. Most of the results in this paper are essentially based on Hiai-Ohya-Tsukada theorem. △ Less

Submitted 14 February, 2012; v1 submitted 14 February, 2012; originally announced February 2012.

Comments: 21 pages

Large Deviation Strategy for Inverse Problem

Authors: Izumi Ojima, Kazuya Okamura

Abstract: Taken traditionally as a no-go theorem against the theorization of inductive processes, Duhem-Quine thesis may interfere with the essence of statistical inference. This difficulty can be resolved by Micro-Macro duality \cite{Oj03, Oj05} which clarifies the importance of specifying the pertinent aspects and accuracy relevant to concrete contexts of scientific discussions and which ensures the match… ▽ More Taken traditionally as a no-go theorem against the theorization of inductive processes, Duhem-Quine thesis may interfere with the essence of statistical inference. This difficulty can be resolved by Micro-Macro duality \cite{Oj03, Oj05} which clarifies the importance of specifying the pertinent aspects and accuracy relevant to concrete contexts of scientific discussions and which ensures the matching between what to be described and what to describe in the form of the validity of duality relations. This consolidates the foundations of the inverse problem, induction method, and statistical inference crucial for the sound relations between theory and experiments. To achieve the purpose, we propose here Large Deviation Strategy (LDS for short) on the basis of Micro-Macro duality, quadrality scheme, and large deviation principle. According to the quadrality scheme emphasizing the basic roles played by the dynamics, algebra of observables together with its representations and universal notion of classifying space, LDS consists of four levels and we discuss its first and second levels in detail, aiming at establishing statistical inference concerning observables and states. By efficient use of the central measure, we will establish a quantum version of Sanov's theorem, the Bayesian escort predictive state and the widely applicable information criteria for quantum states in LDS second level. Finally, these results are reexamined in the context of quantum estimation theory, and organized as quantum model selection, i.e., a quantum version of model selection. △ Less

Submitted 27 July, 2011; v1 submitted 19 January, 2011; originally announced January 2011.