相关论文: On Guarded Transformation In The Modal Mu-Calculus
We treat energy-momentum conservation laws as particular gauge conservation laws when generators of gauge transformations are horizontal vector fields on fibre bundles. In particular, the generators of general covariant transformations are…
Based on certain assumptions for the expectation value of a product of the quantum fluctuating metric at two points, the gravitational and scalar field Lagrangians are evaluated. Assuming a vanishing expectation value of the first order…
The algebraic $\lambda$-calculus is an extension of the ordinary $\lambda$-calculus with linear combinations of terms. We establish that two ordinary $\lambda$-terms are equivalent in the algebraic $\lambda$-calculus iff they are…
We provide theory, algorithms, and simulations of non-equilibrium quantum systems using a one-dimensional (1D) completely-positive (CP), matrix-product (MP) density-operator ($\rho$) representation. By generalizing the matrix product…
Solving parity games, which are equivalent to modal $\mu$-calculus model checking, is a central algorithmic problem in formal methods. Besides the standard computation model with the explicit representation of games, another important…
Theories that attempt to explain the observed cosmic acceleration by modifying general relativity all introduce a new scalar degree of freedom that is active on large scales, but is screened on small scales to match experiments. We show…
Motivated by fairness concerns, we study the `portfolio problem': given an optimization problem with set $D$ of feasible solutions, a class $\mathbf{C}$ of fairness objective functions on $D$, and an approximation factor $\alpha \ge 1$, a…
Experience with core-collapse supernova simulations shows that accurate accounting of total particle number and 4-momentum can be a challenge for computational radiative transfer. This accurate accounting would be facilitated by the use of…
Calculi with control operators have been studied as extensions of simple type theory. Real programming languages contain datatypes, so to really understand control operators, one should also include these in the calculus. As a first step in…
We work on some general extensions of the formalism for theories which preserve the relativity of inertial frames with a nonlinear action of the Lorentz transformations on momentum space. Relativistic particle models invariant under the…
We provide frequency probabilistic analysis of perturbations of physical systems by preparation procedures. We obtained the classification of possible probabilistic transformations connecting input and output probabilities that can appear…
We derive an extension of the mode coupling theory for the liquid-glass transition to a class of models of confined fluids, where the fluid particles evolve in a disordered array of interaction sites. We find that the corresponding…
The Functional Machine Calculus (FMC), recently introduced by the authors, is a generalization of the lambda-calculus which may faithfully encode the effects of higher-order mutable store, I/O and probabilistic/non-deterministic input.…
The compatible expansion in series of solutions of both the equations of P-Q pair at neighborhood of the singular point is obtained in closed form for regular and irregular singularities. The conservation laws of the system of ordinary…
Normal-form proper equilibrium, introduced by Myerson as a refinement of normal-form perfect equilibrium, occupies a distinctive position in the equilibrium analysis of extensive-form games because its more stringent perturbation structure…
Generalized quantum master equations (GQMEs) are an important tool in modeling chemical and physical processes. For a large number of problems it has been shown that exact and approximate quantum dynamics methods can be made dramatically…
We introduce two modal natural deduction systems that are suitable to represent and reason about transformations of quantum registers in an abstract, qualitative, way. Quantum registers represent quantum systems, and can be viewed as the…
Schemes with the second-order approximation in time are considered for numerical solving the Cauchy problem for an evolutionary equation of first order with a self-adjoint operator. The implicit two-level scheme based on the Pad\'{e}…
The continuity equation relating the change in time of the position probability density to the gradient of the probability current density is generalized to PT-symmetric quantum mechanics. The normalization condition of eigenfunctions is…
Satisfiability checking for monotone modal logic is known to be (only) NP-complete. We show that this remains true when the logic is extended with aconjunctive and alternation-free fixpoint operators as well as the universal modality; the…