Related papers: A Simple Proof of Sharkovsky's Theorem Rerevisited
We develop a family of simple rank one theories built over quite arbitrary sequences of finite hypergraphs. (This extends an idea from the recent proof that Keisler's order has continuum many classes, however, the construction does not…
This paper establishes an abstract Korovkin-type approximation theorem in general spaces, extending the framework of approximation theory to accommodate broader contexts. A critical result supporting this theorem is the proof that any…
A theorem is proved to verify incremental stability of a feedback system via a homotopy from a known incrementally stable system. A first corollary of that result is that incremental stability may be verified by separation of Scaled…
We provide a simple proof of the existence of a planar separator by showing that it is an easy consequence of the circle packing theorem. We also reprove other results on separators, including: (A) There is a simple cycle separator if the…
We give a sharp spectral condition for the existence of odd cycles in a graph of given order. We also prove a related stability result.
We provide a simple proof of Tchakaloff's Theorem on the existence of cubature formulas of degree $m$ for Borel measures with moments up to order $m$. The result improves known results for non-compact supports, since we do not need…
Foundational cases of the generalized Stokes' theorem are visualized using geometric algebra. From considering bivector valued fields, two seldom used instances of the theorem are obtained. Graphical representations are given, showing a…
We define a new Gromov-Witten theory relative to simple normal crossing divisors as a limit of Gromov-Witten theory of multi-root stacks. Several structural properties are proved including relative quantum cohomology, Givental formalism,…
We consider an inverse problem for Schr\"odinger operators on a connected equilateral graph $G$ with standard matching conditions. The graph $G$ consists of at least two odd cycles glued together at a common vertex. We prove an Ambarzumian…
Let $f: X \to S$ be a unipotent degeneration of projective complex manifolds over a disc such that the reduction of the central fibre $Y=f^{-1}(0)$ is simple normal crossings, and let $X_\infty$ be the canonical nearby fibre. Building on…
The famous equivalence theorem is reexamined in order to make it applicable to the case of intrinsically quantum infinite-component effective theories. We slightly modify the formulation of this theorem and prove it basing on the notion of…
In this short note, we simply collect some known results about representing algebraic cycles by various kind of "nice" (e.g. smooth, local complete intersection, products of local complete intersection) algebraic cycles, up to rational…
A simple proof of the celebrated theorem of Lee and Yang is attempted in this short note.
The so-called type problem or forcing problem is considered as a way to generalize Sharkovskii's theorem. In this paper, by focusing on certain types of orbits, we obtain a solution of the type problem, which gives a refinement of…
We prove that an inseparable graph can have any positive number of cycles with the six exceptions 2, 4, 5, 8, 9, 16, and that an inseparable cubic graph has the additional exceptions 1 and 13. The exceptions for simple inseparable cubic…
Consider a directed multigraph $D$ that is balanced (i.e., at each vertex, the indegree equals the outdegree). Let $A$ be its set of arcs. Fix an integer $k$. Let $s$ be a vertex of $D$. We show that the number of $k$-element subsets $B$ of…
We present a nice result on the probability of a cycle occurring in a randomly generated graph. We then provide some extensions and applications, including the proof of the famous Cayley formula, which states that the number of labeled…
We prove the following theorem. Let $r\ge 4$ be an integer, and $G$ be a $K_{1,r}$-free $r$-edge-connected $r$-regular graph. Then, for every set $W$ of even number of vertices of $G$ such that the distance between any two vertices of $W$…
We present a new proof of the existence of Morley sequences in simple theories. We avoid using the Erd\H{o}s-Rado theorem and instead use only Ramsey's theorem and compactness. The proof shows that the basic theory of forking in simple…
A simple but rigorous proof of the Fundamental Theorem of Calculus is given in geometric calculus, after the basis for this theory in geometric algebra has been explained. Various classical examples of this theorem, such as the Green's and…