相关论文: Forward Analysis for WSTS, Part II: Complete WSTS
The cluster algorithm in the fully frustrated Ising model on the square lattice is essentially different from the ones used in other systems. Thus its better understanding is particularly important for finding new lines of development.…
In this work we introduce a field-theoretic tool that enable us to evaluate the critical exponents of $\delta_{KLS}$-generalized systems undergoing continuous phase transitions, namely $\delta_{KLS}$-generalized statistical field theory. It…
The exact solution of the Ising model on the complete graph (CG) provides an important, though mean-field, insight for the theory of continuous phase transitions. Besides the original spin, the Ising model can be formulated in the…
The aim of this work is to propose a provably convergent finite volume scheme for the so-called Stefan-Maxwell model, which describes the evolution of the composition of a multi-component mixture and reads as a cross-diffusion system. The…
We propose a reachability verification technique that combines the Petri net state equation (a linear algebraic overapproximation of the set of reachable states) with the concept of counterexample guided abstraction refinement. In essence,…
In this article, we study the two dimensional focusing finitely and infinitely coupled cubic nonlinear Schr\"odinger system when the mass is equal to the scattering threshold. For the focusing finitely coupled cubic nonlinear Schr\"odinger…
We present an algorithm which calculates groundstates of Ising spin glasses approximately. It works by randomly selecting clusters of spins which exhibit no frustrations. The spins which were not selected, contribute to the local fields of…
In the tensor completion problem, one seeks to estimate a low-rank tensor based on a random sample of revealed entries. In terms of the required sample size, earlier work revealed a large gap between estimation with unbounded computational…
Synthesis for a type $\tau$ of Petri nets is the following search problem: For a transition system $A$, find a Petri net $N$ of type $\tau$ whose state graph is isomorphic to $A$, if there is one. To determine the computational complexity…
For a quantale $\V$, first a closure-theoretic approach to completeness and separation in $\V$-categories is presented. This approach is then generalized to $\Tth$-categories, where $\Tth$ is a topological theory that entails a set monad…
We present a stationary iteration method, namely Alternating Symmetric positive definite and Scaled symmetric positive semidefinite Splitting (ASSS), for solving the system of linear equations obtained by using finite element discretization…
The exact analytical solutions of the Schr\"odinger equation for the generalized symmetrical Woods-Saxon potential are examined for the scattering, bound and quasi-bound states in one dimension. The reflection and transmission coefficients…
In our previous paper [H. K., J.Stat.Mech.(2015) P08020], we investigated an interacting-particle model with infinite-range cosine potentials, and derived the partition function which shows solid-fluid phase transition by exact calculation.…
Let T be an SMT solver with no theory solvers except for Quantifier Instantiation. Given a set of first-order clauses S saturated by Resolution (with a valid literal selection function) we show that T is complete if its Trigger function is…
The statistical mechanics of a two-state Ising spin-glass model with finite random connectivity, in which each site is connected to a finite number of other sites, is extended in this work within the replica technique to study the phase…
A quasi-entropy is constructed for tensors averaged by a density function on $SO(3)$ using the log-determinant of a covariance matrix. It serves as a substitution of the entropy for tensors derived from a constrained minimization that…
We present a lattice QCD calculation of phase shift including the chiral and continuum extrapolations in two-flavor QCD. The calculation is carried out for I=2 S-wave $\pi\pi$ scattering. The phase shift is evaluated for two momentum…
In this article we propose a Weighted Stochastic Mesh (WSM) Algorithm for approximating the value of a discrete and continuous time optimal stopping problem. We prove that in the discrete case the WSM algorithm leads to semi-tractability of…
We present an update of the finite temperature phase structure analysis for three flavor QCD. In the study the Iwasaki gauge action and non-perturvatively O($a$) improved Wilson-Clover fermion action are employed. We discuss finite size…
In an exploratory study, using the tadpole improved clover Wilson quark action on small, coarse and anisotropic lattices, the $\pi\pi$ scattering length in the I=2 channel is calculated within quenched approximation. A new method is…