相关论文: On Guarded Transformation In The Modal Mu-Calculus
In one-dimension, quantum fluctuations prevent the appearance of long-range order in a supersolid, and only quasi long-range order can survive. We derive this quantum critical behavior and study its influence on the superfluid response and…
We discuss gauge transformations in QED coupled to a charged spinor field, and examine whether we can gauge-transform the entire formulation of the theory from one gauge to another, so that not only the gauge and spinor fields, but also the…
In grand unified theories with large numbers of fields, renormalization effects significantly modify the scale at which quantum gravity becomes strong. This in turn can modify the boundary conditions for coupling constant unification, if…
One perspective on quantum algorithms is that they are classical algorithms having access to a special kind of memory with exotic properties. This perspective suggests that, even in the case of quantum algorithms, the control flow notions…
The generalized uncertainty principle (GUP) corrected modified relativistic particle model has been derived in curved space-time. From this modified model, the equation of motion (EM) has been constructed relativistically in terms of the…
The notion of covariant-contravariant refinement (CC-refinement, for short) is a generalization of the notions of bisimulation, simulation and refinement. This paper introduces CC-refinement modal $\mu$-calculus (CCRML$^{\mu}$) obtained…
The linear-algebraic lambda-calculus and the algebraic lambda-calculus are untyped lambda-calculi extended with arbitrary linear combinations of terms. The former presents the axioms of linear algebra in the form of a rewrite system, while…
The Multiplicative Weights Update (MWU) method is a ubiquitous meta-algorithm that works as follows: A distribution is maintained on a certain set, and at each step the probability assigned to element $\gamma$ is multiplied by $(1 -\epsilon…
This paper presents an overview of the derivation and significance of recently derived conservation laws for the matrix moments of Hermitean random matrices with dominant exponential weights that may be either even or odd. This is based on…
The recently discovered general formulas for perturbative correlators in basic matrix models can be interpreted as the Schur-preservation property of Gaussian measures. Then substitution of Schur by, say, Macdonald polynomials, defines a…
We investigate the resolution of second-order, potential, and monotone mean field games with the generalized conditional gradient algorithm, an extension of the Frank-Wolfe algorithm. We show that the method is equivalent to the fictitious…
I investigate the modal commitments of various conceptions of the philosophy of arithmetic potentialism. Specifically, I shall consider the potentialist conceptions arising from a model-theoretic view of the models of arithmetic as possible…
Relation-changing modal logics are extensions of the basic modal logic that allow changes to the accessibility relation of a model during the evaluation of a formula. In particular, they are equipped with dynamic modalities that are able to…
The increasing demand for Fourier transforms on geometric algebras has resulted in a large variety. Here we introduce one single straight forward definition of a general geometric Fourier transform covering most versions in the literature.…
We discuss conditionalisation for Accept-Desirability models in an abstract decision-making framework, where uncertain rewards live in a general linear space, and events are special projection operators on that linear space. This abstract…
This paper improves the treatment of equality in guarded dependent type theory (GDTT), by combining it with cubical type theory (CTT). GDTT is an extensional type theory with guarded recursive types, which are useful for building models of…
Near a parity breaking front bifurcation, small perturbations may reverse the propagation direction of fronts. Often this results in nonsteady asymptotic motion such as breathing and domain breakup. Exploiting the time scale differences of…
We discuss multi-dimensional generalizations of multicanonical algorithm, simulated tempering, and replica-exchange method. We generalize the original potential energy function $E_0$ by adding any physical quantity $V$ of interest as a new…
The Functional Machine Calculus (FMC) was recently introduced as a generalization of the lambda-calculus to include higher-order global state, probabilistic and non-deterministic choice, and input and output, while retaining confluence. The…
Wald's entropy formula allows one to find the entropy of black holes' event horizon within any diffeomorphism invariant theory of gravity. When applied to general relativity, the formula yields the Bekenstein-Hawking result but, for any…