Related papers: Complex Langevin boundary terms in lattice models
We solve a randomized version of the following open question: is there a strictly convex, bounded curve \gamma in the plane such that the number of rational points on \gamma, with denominator $n$, approaches infinity with $n$? Although this…
This paper studies the complexity of languages of finite words using automata theory. To go beyond the class of regular languages, we consider infinite automata and the notion of state complexity defined by Karp. Motivated by the seminal…
We utilize lattice simulations of the dimensionally reduced effective field theory (EQCD) to determine the quark number susceptibility of QCD at high temperature ($T>2T_c$). We also use analytic continuation to obtain results at finite…
Lattice QCD with an even number of degenerate quark flavours is shown to be a limit of a local bosonic field theory. The action of the bosonic theory is real and bounded from below so that standard simulation algorithms can be expected to…
We present CLTLB(D), an extension of PLTLB (PLTL with both past and future operators) augmented with atomic formulae built over a constraint system D. Even for decidable constraint systems, satisfiability and Model Checking problem of such…
Although numerical simulation in lattice field theory is one of the most effective tools to study non-perturbative properties of field theories, it faces serious obstacles coming from the sign problem in some theories such as finite density…
The DUCK-calculus presented here is a recent approach to cope with probabilistic uncertainty in a sound and efficient way. Uncertain rules with bounds for probabilities and explicit conditional independences can be maintained incrementally.…
We consider a generalization of the Thirring model in 2+1 dimensions at finite density. We employ stochastic quantization and check for the applicability in the finite density case to circumvent the sign problem. To this end we derive…
The calculation on the lattice of cross--sections, form--factors and decay rates associated to phenomenologically relevant physical processes is complicated by the spatial momenta quantization rule arising from the introduction of limited…
Complex Langevin simulations allow numerical studies of theories that exhibit a sign problem, such as QCD, and are thereby potentially suitable to determine the QCD phase diagram from first principles. Here we study QCD in the limit of…
Language models (LMs) are statistical models trained to assign probability to human-generated text. As such, it is reasonable to question whether they approximate linguistic variability exhibited by humans well. This form of statistical…
This technical note is concerned with boundary stabilization of multi-dimensional discrete-velocity kinetic models. By exploiting a certain stability structure of the models and adapting an appropriate Lyapunov functional, we derive…
Complex classifiers may exhibit "embarassing" failures in cases where humans can easily provide a justified classification. Avoiding such failures is obviously of key importance. In this work, we focus on one such setting, where a label is…
In this paper, based on a known formula, we use a simple idea to get a new representation for the density of Malliavin differentiable random variables. This new representation is particularly useful for finding lower bounds for the density.
A causal query will commonly not be identifiable from observed data, in which case no estimator of the query can be contrived without further assumptions or measured variables, regardless of the amount or precision of the measurements of…
The likelihood function of a finite mixture model is a non-convex function with multiple local maxima and commonly used iterative algorithms such as EM will converge to different solutions depending on initial conditions. In this paper we…
Lieb-Robinson-type bounds are reported for a large class of classical Hamiltonian lattice models. By a suitable rescaling of energy or time, such bounds can be constructed for interactions of arbitrarily long range. The bound quantifies the…
A general derivation is proposed for several boundary conditions arisen in the lattice Boltzmann simulations of various physical problems. Pair-wise moment conservations are proposed to enforce the boundary conditions with given macroscopic…
We review recent progress in the study of the large $N_c$ limit of gauge theories from lattice simulations. The focus is not only the planar limit but also the size of ${\mathcal O}(N_c^{-1})$ corrections for values of $N_c\gtrsim 3$. Some…
We introduce a lightweight, flexible and end-to-end trainable probability density model parameterized by a constrained Fourier basis. We assess its performance at approximating a range of multi-modal 1D densities, which are generally…