-
Computational and Algebraic Structure of Board Games
Authors:
Chun-Kai Hwang,
John Reuben Gilbert,
Tsung-Ren Huang,
Chen-An Tsai,
Yen-Jen Oyang
Abstract:
We provide two methodologies in the area of computation theory to solve optimal strategies for board games such as Xi Gua Qi and Go. From experimental results, we find relevance to graph theory, matrix representation, and mathematical consciousness. We prove that the decision strategy of movement for Xi Gua Qi and Chinese checker games belongs to a subset that is neither a ring nor a group over se…
▽ More
We provide two methodologies in the area of computation theory to solve optimal strategies for board games such as Xi Gua Qi and Go. From experimental results, we find relevance to graph theory, matrix representation, and mathematical consciousness. We prove that the decision strategy of movement for Xi Gua Qi and Chinese checker games belongs to a subset that is neither a ring nor a group over set Y={-1,0,1}. Additionally, the movement for any board game with two players belongs to a subset that is neither a ring nor a group from the razor of Occam. We derive the closed form of the transition matrix for any board game with two players such as chess and Chinese chess. We discover that the element of the transition matrix belongs to a rational number. We propose a different methodology based on algebra theory to analyze the complexity of board games in their entirety, instead of being limited solely to endgame results. It is probable that similar decision processes of people may also belong to a matrix representation that is neither a ring nor a group.
△ Less
Submitted 17 February, 2025;
originally announced March 2025.
-
The Exact Solutions of Certain Linear Partial Difference Equations
Authors:
Chun-Kai Hwang,
Tzon-Tzer Lu
Abstract:
Difference equations have many applications and play an important role in numerical analysis, probability, statistics, combinatorics, computer science, quantum consciousness, etc. We first prove that the partial differential equation is equivalent to partial difference equation with an example of heat equation. Additionally, we use generating functions to find the exact solutions of some simple li…
▽ More
Difference equations have many applications and play an important role in numerical analysis, probability, statistics, combinatorics, computer science, quantum consciousness, etc. We first prove that the partial differential equation is equivalent to partial difference equation with an example of heat equation. Additionally, we use generating functions to find the exact solutions of some simple linear partial difference equations. Then we extend it to more general partial difference equations of higher dimensions and obtain their solutions. Notice that Theorem 4.2 could provide a mathematical framework for understanding how information within a black hole is encoded on its event horizon, a key concept in the black hole information paradox. In addition, we extend it to n-dimensional case, Theorem 4.4, the high-order partial difference equations (HOPDE). We conclude that using multivariable power series as generating function is a very efficient method to solve partial difference equations.
△ Less
Submitted 20 February, 2025; v1 submitted 23 January, 2023;
originally announced January 2023.
-
The continuity and uniqueness of the value function of the hybrid optimal control problem with reach time to a target set
Authors:
Myong-Song Ho,
Kwang-Nam Oh,
Chol-Jun Hwang
Abstract:
The hybrid optimal control problem with reach time to a target set is addressed and the continuity and uniqueness of the associated value function is proved. Hybrid systems involves interaction of different types of dynamics: continuous and discrete dynamics. The state ofa continuous system is evolved by an ordinary differential equation until the trajectory hits the predefined jump sets: an auton…
▽ More
The hybrid optimal control problem with reach time to a target set is addressed and the continuity and uniqueness of the associated value function is proved. Hybrid systems involves interaction of different types of dynamics: continuous and discrete dynamics. The state ofa continuous system is evolved by an ordinary differential equation until the trajectory hits the predefined jump sets: an autonomous jump set and a controlled jump set . At each jump the trajectory is moved discontinuously to another Euclidean space by a discrete system. We study the hybrid optimal control problem with reach time to a target set, prove the continuity of the associated value function with respect to the initial point under the assumption that is lower semicontinuous on the boundary of a target set, and also characterize it as an unique solution of a quasi-variational inequality in a viscosity sense using the dynamic programming principle.
△ Less
Submitted 4 August, 2016; v1 submitted 31 July, 2016;
originally announced August 2016.
-
Disorder chaos in the spherical mean-field model
Authors:
Wei-Kuo Chen,
Hsi-Wei Hsieh,
Chii-Ruey Hwang,
Yuan-Chung Sheu
Abstract:
We consider the problem of disorder chaos in the spherical mean-field model. It is concerned about the behavior of the overlap between two independently sampled spin configurations from two Gibbs measures with the same external parameters. The prediction states that if the disorders in the Hamiltonians are slightly decoupled, then the overlap will be concentrated near a constant value. Following G…
▽ More
We consider the problem of disorder chaos in the spherical mean-field model. It is concerned about the behavior of the overlap between two independently sampled spin configurations from two Gibbs measures with the same external parameters. The prediction states that if the disorders in the Hamiltonians are slightly decoupled, then the overlap will be concentrated near a constant value. Following Guerra's replica symmetry breaking scheme, we establish this at the level of the free energy as well as the Gibbs measure irrespective the presence or absence of the external field.
△ Less
Submitted 9 January, 2015;
originally announced January 2015.
-
On the Weak Convergence and Central Limit Theorem of Blurring and Nonblurring Processes with Application to Robust Location Estimation
Authors:
Ting-Li Chen,
Hironori Fujisawa,
Su-Yun Huang,
Chii-Ruey Hwang
Abstract:
This article studies the weak convergence and associated Central Limit Theorem for blurring and nonblurring processes. Then, they are applied to the estimation of location parameter. Simulation studies show that the location estimation based on the convergence point of blurring process is more robust and often more efficient than that of nonblurring process.
This article studies the weak convergence and associated Central Limit Theorem for blurring and nonblurring processes. Then, they are applied to the estimation of location parameter. Simulation studies show that the location estimation based on the convergence point of blurring process is more robust and often more efficient than that of nonblurring process.
△ Less
Submitted 27 January, 2015; v1 submitted 3 December, 2014;
originally announced December 2014.
-
Variance reduction for diffusions
Authors:
Chii-Ruey Hwang,
Raoul Normand,
Sheng-Jhih Wu
Abstract:
The most common way to sample from a probability distribution is to use Monte-Carlo methods. For distributions on a continuous state space, one can find diffusions with the target distribution as equilibrium measure, so that the state of the diffusion after a long time provides a good sample from the desired distribution. There exist many diffusions with a common equilibrium, and one would natural…
▽ More
The most common way to sample from a probability distribution is to use Monte-Carlo methods. For distributions on a continuous state space, one can find diffusions with the target distribution as equilibrium measure, so that the state of the diffusion after a long time provides a good sample from the desired distribution. There exist many diffusions with a common equilibrium, and one would naturally like to choose those that make the convergence to equilibrium faster. One way to do this is to consider a reversible diffusion, and add to it an antisymmetric drift which preserves the invariant measure. It has been proven that, in general, the irreversible algorithm performs better than the reversible one, in that the spectral gap is larger. In the present work, asymptotic variance is used as the criterion to compare these algorithms. We first provide a general comparison result, and then apply it to the specific cases of a diffusion on $\mathbb{R}^d$, or on a compact Riemannian manifold. We prove that, in general, adding an antisymmetric drift to a reversible diffusion reduces the asymptotic variance. We also provide some extensions of this result concerning strict inequality, the worst-case analysis, and the behavior of the asymptotic variance when the drift goes to infinity.
△ Less
Submitted 27 October, 2015; v1 submitted 18 June, 2014;
originally announced June 2014.
-
Accelerating diffusions
Authors:
Chii-Ruey Hwang,
Shu-Yin Hwang-Ma,
Shuenn-Jyi Sheu
Abstract:
Let U be a given function defined on R^d and π(x) be a density function proportional to \exp -U(x). The following diffusion X(t) is often used to sample from π(x), dX(t)=-\nabla U(X(t)) dt+\sqrt2 dW(t),\qquad X(0)=x_0. To accelerate the convergence, a family of diffusions with π(x) as their common equilibrium is considered, dX(t)=\bigl(-\nabla U(X(t))+C(X(t))\bigr) dt+\sqrt2 dW(t),\qquad X(0)=x_…
▽ More
Let U be a given function defined on R^d and π(x) be a density function proportional to \exp -U(x). The following diffusion X(t) is often used to sample from π(x), dX(t)=-\nabla U(X(t)) dt+\sqrt2 dW(t),\qquad X(0)=x_0. To accelerate the convergence, a family of diffusions with π(x) as their common equilibrium is considered, dX(t)=\bigl(-\nabla U(X(t))+C(X(t))\bigr) dt+\sqrt2 dW(t),\qquad X(0)=x_0. Let L_C be the corresponding infinitesimal generator. The spectral gap of L_C in L^2(π) (λ(C)), and the convergence exponent of X(t) to πin variational norm (ρ(C)), are used to describe the convergence rate, where λ(C)= Sup{real part of μ\dvtxμis in the spectrum of L_C, μis not zero}, {-2.8cm}ρ(C) = Inf\biggl{ρ\dvtx\int | p(t,x,y) -π(y)| dy \le g(x) e^{ρt}\biggr}.Roughly speaking, L_C is a perturbation of the self-adjoint L_0 by an antisymmetric operator C\cdot\nabla, where C is weighted divergence free. We prove that λ(C)\le λ(0) and equality holds only in some rare situations. Furthermore, ρ(C)\le λ(C) and equality holds for C=0. In other words, adding an extra drift, C(x), accelerates convergence. Related problems are also discussed.
△ Less
Submitted 12 May, 2005;
originally announced May 2005.
-
An Efficient Modified "Walk On Spheres" Algorithm for the Linearized Poisson-Boltzmann Equation
Authors:
Chi-Ok Hwang,
Michael Mascagni
Abstract:
A discrete random walk method on grids was proposed and used to solve the linearized Poisson-Boltzmann equation (LPBE) \cite{Rammile}. Here, we present a new and efficient grid-free random walk method. Based on a modified `` Walk On Spheres" (WOS) algorithm \cite{Elepov-Mihailov1973} for the LPBE, this Monte Carlo algorithm uses a survival probability distribution function for the random walker…
▽ More
A discrete random walk method on grids was proposed and used to solve the linearized Poisson-Boltzmann equation (LPBE) \cite{Rammile}. Here, we present a new and efficient grid-free random walk method. Based on a modified `` Walk On Spheres" (WOS) algorithm \cite{Elepov-Mihailov1973} for the LPBE, this Monte Carlo algorithm uses a survival probability distribution function for the random walker in a continuous and free diffusion region. The new simulation method is illustrated by computing four analytically solvable problems. In all cases, excellent agreement is observed.
△ Less
Submitted 23 October, 2000;
originally announced October 2000.
