Related papers: PC4 at Age 40
We prove a recent conjecture of Sean A. Irvine about a nonlinear recurrence, using mechanized guessing and verification. The theorem-prover Walnut plays a large role in the proof.
A chronicle describing the historical context and the development of ideas and experiments leading to the discovery of the back-bending phenomenon in rapidly rotating atomic nuclei some 50 years ago is presented. The moment of inertia of…
This paper has been withdrawn by the author due to an error in the main proof (thanks to Carlos D'Andrea)
This summary of the Workshop "Beyond the 3-generation SM in the LHC era" presents a brief discussion of the following four statements about the fourth generation: 1) It is not excluded by EW precision data; 2) It addresses some of the…
Using the general theory of [10] ( hep-th 9412058 ), quantum Poincar\'e groups (without dilatations) are described and investigated. The description contains a set of numerical parameters which satisfy certain polynomial equations. For most…
We derive and discuss the constraints induced by Poincare' invariance on the form of the heavy-quark potential up to order 1/m^2. We present two derivations: one uses general arguments directly based on the Poincare' algebra and the other…
A mathematical conjecture is successfully identified, which is used for relativistic analysis of dielectric Einstein-box thought experiment in a Letter (Ramos, Rubilar, and Obukhov, Phys. Lett. A 375, 1703 (2011)), where the authors…
We deduce from Poincare's ellipsoidal wavefronts a relativistic Doppler-Fizeau formula that is not the same as 1905 Einstein's one. Longitudinally, Einstein's formula and Poincare's formula are the same. The question of an experimental test…
"Ever since the advent of modern quantum mechanics in the late 1920's, the idea has been prevalent that the classical laws of probability cease, in some sense, to be valid in the new theory. [...] The primary object of this presentation is…
The aim of this paper is to describe the origin, first solutions, further progress, the state of art, and a new ansatz in the treatment of a problem dating back to the 1920's, which still has not found a satisfactory solution and deserves…
Wiseman has claimed that Bell was wrong in stating that determinism was inferred rather than assumed in the summary of the EPR argument in his 1964 paper. The reply of Wiseman and his co-authors to my comment misstates my reasons for…
Explanations play a variety of roles in various recommender systems, from a legally mandated afterthought, through an integral element of user experience, to a key to persuasiveness. A natural and useful form of an explanation is the…
The present document is an excerpt of an essay that I wrote as part of my application material to graduate school in Computer Science (with a focus on Artificial Intelligence), in 1986. I was not invited by any of the schools that received…
This paper presents a short and simple proof of the Four-Color Theorem that can be utterly checkable by human mathematicians, without computer assistance. The new key idea that has allowed it and the global structure of the proof are…
In the words of the esteemed mathematician Paul Erd\"os, the mathematician's task is to \emph{prove and conjecture}. These two processes form the bedrock of all mathematical endeavours, and in the recent years, the mathematical community…
In his paper, "On a Partition Function of Richard Stanley," George Andrews proves a certain partition identity analytically and asks for a combinatorial proof. This paper provides the requested combinatorial proof.
The paper contains a proof for the P != NP hypothesis with the help of the two "natural" postulates. The postulates restrict capacity of the Turing machines and state that each independent and necessary condition of the problem should be…
The four-colour conjecture was brought to public attention in 1854, most probably by Francis or Frederick Guthrie. This moves back by six years the date of the earliest known publication.
In a model of physics taking place on a discrete set of points that approximates Minkowski space, one might perhaps expect there to be an empirically identifiable preferred frame. However, the work of Dowker, Bombelli, Henson, and Sorkin…
A single panel of a comic book can say a lot: it can depict not only where the characters currently are, but also their motions, their motivations, their emotions, and what they might do next. More generally, humans routinely infer complex…