Related papers: Comment on "Hara's theorem in the constituent quar…

We propose a new class of vector fields to construct a conserved charge in a general field theory whose energy momentum tensor is covariantly conserved. We show that there always exists such a vector field in a given field theory even…

The import of Bell's Theorem is elucidated. The theorem's proof is illustrated both heuristically and in mathematical detail in a pedagogical fashion. In the same fashion, it is shown that the proof is correct mathematically, but it doesn't…

We briefly remind references and arguments, already discussed in the past, which confute erroneous claims in arXiv:1210.5501.

We prove an analytic KAM-Theorem, which is used in [1], where the differential part of KAM-theory is discussed. Related theorems on analytic KAM-theory exist in the literature (e. g., among many others, [7], [8], [13]). The aim of the…

We give an overview of issues surrounding computer-verified theorem proving in the standard pure-mathematical context. This is based on my talk at the PQR conference (Brussels, June 2003).

A lot of mathematical knowledge has been formalized and stored in repositories by now: different mathematical theorems and theories have been taken into consideration and included in mathematical repositories. Applications more distant from…

We study an ambiguity of the current regularization in the Thirring model. We find a new current definition which enables to make a comprehensive treatment of the current. Our formulation is simpler than Klaiber's formulation. We compare…

We prove an extension of M. Hata's theorem [4] for planar Markov Iterated Function Systems satisfying a strong version of the Open Set Condition. More precisely, if the attractor of such a system is connected, then it is locally connected.…

This report presents a formalization of May's theorem in the proof assistant Coq. It describes how the theorem statement is first translated into Coq definitions, and how it is subsequently proved. Various aspects of the proof and related…

A recently proposed criterion for the existence of local quantum fields with a prescribed factorizing scattering matrix is verified in a non-trivial model, thereby establishing a new constructive approach to quantum field theory in a…

Though sufficient for local conservation of charge, Maxwells displacement current is not necessary. An alternative to the Ampere-Maxwell equation is exhibited and the alternatives electric and magnetic fields and scalar and vector…

In this note, we present a simple directed graph proof of Sharkovsky's theorem.

We isolate several classes of stationary sets of kappa^omega and investigate implications among them. Under a large cardinal assumption, we prove a structure theorem for stationary sets.

This is an attempt to create a consistent and non-trivial extension of quantum theory, describing in detail the quantum measurement process. A tentative but concrete model is presented, based on the concept of multiple…

We prove the Strengthened Hanna Neumann Conjecture, in its common graph theoretic formulation. Our original approach to this conjecture used cohomology of sheaves on graphs, although here we give a short combinatorial proof that we found in…

In this conference summary talk at Hadron03, questions and challenges for Hadron physics of light flavours are outlined. Precision data and recent discoveries are at last exposing the limitations of the naive constituent quark model and…

In this new version, we add the proof of the main theorem when the central fiber is not necessarily simple normal crossing. We also correct some typos.

A set-up is introduced which can be superimposed onto the existing solar flare cellular automata (CA) models, and which specifies the interpretation of the model's variables. It extends the CA models, yielding the magnetic field, the…

Conditions for Bayesian posterior robustness have been examined in recent literature. However, many of the proofs seem to be long and complicated. In this paper, we first summarize some basic lemmas that have been applied implicitly or…

It is well known that the strong subadditivity theorem is hold for classical system, but it is very difficult to prove that it is hold for quantum system. The first proof of this theorem is due to Lieb by using the Lieb's theorem. Here we…