Related papers: The cycloid as brachistochrone: A one-page proof, …
A notion of parabolic C-subsolutions is introduced for parabolic equations, extending the theory of C-subsolutions recently developed by B. Guan and more specifically G. Sz\'ekelyhidi for elliptic equations. The resulting parabolic theory…
The cycle double cover conjecture states that a graph is bridge-free if and only if there is a family of edge-simple cycles such that each edge is contained in exactly two of them. It was formulated independently by Szekeres (1973) and…
By computing all cyclotomic points on some algebraic varieties, we get an independent and efficient way to find all rational $a^3b$-monotiles for the sphere, thereby completing the classification of edge-to-edge monohedral quadrilateral…
Now that an English translation of Schwarzschild's original work exists, that work has become accessible to more people. Here his original solution to the Einstein field equations is examined and it is noted that it does not contain the…
Proofs are traditionally syntactic, inductively generated objects. This paper reformulates first-order logic (predicate calculus) with proofs which are graph-theoretic rather than syntactic. It defines a combinatorial proof of a formula…
In a recent work, Zielinski used Faulhaber's formula to explain why the odd Bernoulli numbers are equal to zero. Here, we assume that the odd Bernoulli numbers are equal to zero to explain Faulhaber's formula.
In this paper we study the Ricci flow on surfaces homeomorphic to a cylinder (that is, a product of the circle with a compact interval). We prove longtime existence results, results on the asymptotic behavior of the flow, and we report on…
The aim of this article is to prove Bloch's conjecture, asserting that the group of rational equivalence classes of zero cycles of degree 0 is trivial for surfaces with geometric genus zero, for regular generalized Burniat type surfaces.…
Based on the theory of invariant sets of descending flow, we give a new proof of the existence of three nontrivial solutions and some remarks on it.
Two perpendicular segments which divide a given triangle into 4 regions of equal area is called a quadrisection of the triangle. Leonhard Euler proved in 1779 that every scalene triangle has a quadrisection with its triangular part on the…
Minor modifications are given to prove the Main Theorem under the Blaschke (instead of Carleson) condition as well as a small historical comment.
We explore the theory of illfounded and cyclic proofs for the propositional modal $\mu$-calculus. A fine analysis of provability for classical and intuitionistic modal logic provides a novel bridge between finitary, cyclic and illfounded…
We consider cylinders in ${\cal H}^2\times R$ (see definitions in the introduction) and prove that a complete and connected surface in ${\cal H}^2\times R$ with the vanishing of the Gauss and extrinsic curvatures is a cylinder.
The Maxwell equations have a fairly simple form. However, finding solutions of Maxwell's equations is an extremely difficult task. Therefore, various simplifying approaches are often used in optics. One such simplifying approach is to use…
The purpose of this note is to prove irreflexivity, and hence the linear ordering, in ZFC, without some of the machinery used by Dehornoy.
We give a simple proof for the rotational symmetry of ancient solutions of Ricci flow on surfaces. As a consequence we obtain a simple proof of some results of P.Daskalopoulos, R.Hamilton and N.Sesum on the a priori estimates for the…
For an open-closed homotopy algebra (OCHA), the previous work indicates that there is an open-closed version of Hochschild cohomology with a canonical Gerstenhaber algebra structure. If this OCHA is further cyclic and unital in the sense of…
Barot, Geiss and Zelevinsky define a notion of a ``cyclically orientable graph'' and use it to devise a test for whether a cluster algebra is of finite type. Barot, Geiss and Zelivinsky's work leaves open the question of giving an efficient…
We prove a conjecture by D. Zeilberger on the determinant of a certain matrix and relate it to a problem of non-existence of 1-cycles in this note.
We prove by variational means the existence of a complete, properly embedded, genus-one minimal surface in R^3 that is asymptotic to a helicoid at infinity. We also prove existence of surfaces that are asymptotic to a helicoid away from the…