Related papers: Peacock's Principle as a Conservative Strategy
The monotonicity and stability of difference schemes for, in general, hyperbolic systems of conservation laws with source terms are studied. The basic approach is to investigate the stability and monotonicity of a non-linear scheme in terms…
We introduce the notion of characteristic function of a quaternionic matrix, whose roots are the left eigenvalues. We prove that for all $2\times 2$ matrices and for $3\times 3$ matrices having some zero entry outside the diagonal there is…
In this paper, we introduce a Lagrange multiplier approach to construct linearly implicit energy-preserving schemes of arbitrary order for general Hamiltonian PDEs. Unlike the widely used auxiliary variable methods, this novel approach does…
We propose and study a generalized continued fraction algorithm that can be executed in an arbitrary imaginary quadratic field, the novelty being a non-restriction to the five Euclidean cases. Many hallmark properties of classical continued…
In this paper I aim to defend one version at least of Hume's dictum: roughly, the idea that possibility is determined by ontology through something like independent variation. My defence is broadly pragmatic, in the sense that adherence to…
We discuss sum-rule determinations of $\alpha_s$ from non-strange hadronic $\tau$-decay data. We investigate, in particular, the reliability of the assumptions underlying the "truncated OPE strategy," which specifies a certain treatment of…
We introduce proper display calculi for intuitionistic, bi-intuitionistic and classical linear logics with exponentials, which are sound, complete, conservative, and enjoy cut-elimination and subformula property. Based on the same design,…
The evolution of quantum coherences comes with a set of conservation laws provided that the Hamiltonian governing this evolution conserves the spin-excitation number. At that, coherences do not intertwist during the evolution. Using the…
A system of quantum reasoning for a closed system is developed by treating non-relativistic quantum mechanics as a stochastic theory. The sample space corresponds to a decomposition, as a sum of orthogonal projectors, of the identity…
Heisenberg's uncertainty principle in application to energy and time is a powerful heuristics. This statement plays the important role in foundations of quantum theory and statistical physics. If some state exists for a finite interval of…
We investigate sentences which are simultaneously partially conservative over several theories. First, we generalize Bennet's results on this topic to the case of more than two theories. In particular, for any finite family $\{T_i\}_{i \leq…
In the present work foundations of the law of the energy conservation and the introduction of particles in the classical electrodynamics are discussed. We pay attention to a logic error which takes place at an interpretation of the…
We study the properties of the survival probability of an unstable quantum state described by a Lee Hamiltonian. This theoretical approach resembles closely Quantum Field Theory (QFT): one can introduce in a rather simple framework the…
We perform the Hamiltonian analysis for a nonprojectable Horava model whose potential is composed of R and R^2 terms. We show that Dirac's algorithm for the preservation of the constraints can be done in a closed way, hence the algebra of…
Formal theories of arithmetic have traditionally been based on either classical or intuitionistic logic, leading to the development of Peano and Heyting arithmetic, respectively. We propose to use $\mu$MALL as a formal theory of arithmetic…
The impossibility of theories with hidden variables as an alternative and replacement for quantum mechanics was discussed by J. von Neumann in 1932. His proof was criticized as being logically circular, by Grete Hermann soon after, and as…
The uncertainty principle limits quantum states such that when one observable takes predictable values there must be some other mutually unbiased observables which take uniformly random values. We show that this restrictive condition plays…
Even a century after the formulation of Quantum Mechanics (QM), the wave function collapse (WFC) remains a contentious aspect of the theory. Environment-induced decoherence has offered a partial resolution by illustrating how unitary…
As is well known, energy is generally deemed as one of the most important physical invariants in many conservative problems and hence it is of remarkable interest to consider numerical methods which are able to preserve it. In this paper,…
We provide a general preservation theorem for preserving selective independent families along countable support iterations. The theorem gives a general framework for a number of results in the literature concerning models in which the…