Related papers: Generalized Chapple-Euler Relation
The Circle Pattern Theorem characterizes the existence and rigidity of circle patterns with prescribed intersection angles on simplicial triangulations of closed surfaces. In this paper we extend the theorem to quasi-simplicial…
We define a "circle Euler characteristic" of a circle action on a compact manifold or finite complex X. It lies in the first Hochschild homology group of ZG where G is the fundamental group of X. It is analogous in many ways to the ordinary…
Let $X$ be a non-singular compact K\"ahler manifold, endowed with an effective divisor $D= \sum (1-\beta_k) Y_k$ having simple normal crossing support, and satisfying $\beta_k \in (0,1)$. The natural objects one has to consider in order to…
The Generalized Lax Conjecture asks whether every hyperbolicity cone is a section of a semidefinite cone of sufficiently high dimension. We prove that the space of hyperbolicity cones of hyperbolic polynomials of degree $d$ in $n$ variables…
Let B be a nef and big line bundle on a smooth complex threefold X with canonical bundle K. Let x be a point on X and suppose that BC\ge3 for any curve C passing x, B^2S\ge7 for any surface S containing x, and B^3\ge51. Then K+B is spanned…
Euler's inequality is a well known inequality relating the inradius and circumradius of a triangle. In Euclidean geometry, this inequality takes the form $R \geq 2r$ where $R$ is the circumradius and $r$ is the inradius. In spherical…
We consider the classical Mindlin-Eringen linear micromorphic model with a new strictly weaker set of displacement boundary conditions. The new consistent coupling condition aims at minimizing spurious influences from arbitrary boundary…
A convex quadrilateral with sides a,b,c,d, and diagonals p,q is cyclic iff abp-bcq+cdp-daq=0. This condition, in spite of its simplicity, appears to be unnoted and unexpectedly proof-resilient. We employ advanced methods of computer algebra…
We give a simple sufficient condition for a spun-normal surface in an ideal triangulation to be incompressible, namely that it is a vertex surface with non-empty boundary which has a quadrilateral in each tetrahedron. While this condition…
A family of sets $\mathcal{A}$ is union-closed if it is finite and nonempty with member sets that are all finite and distinct (at least one of which is nonempty) and it satisfies the property $X, Y \in \mathcal{A} \implies X \cup Y \in…
We give a motivic proof of the fact that for non-singular real tropical complete intersections, the Euler characteristic of the real part is equal to the signature of the complex part. This has originally been proved by Itenberg in the case…
High proved the following theorem. If the intersections of any two congruent copies of a plane convex body are centrally symmetric, then this body is a circle. In our paper we extend the theorem of High to the sphere and the hyperbolic…
This study investigates a generalisation of the Pythagorean theorem to the lengths of conic arcs constructed symmetrically on the sides of a right triangle. It is demonstrated that the theorem remains valid whenever the conic eccentricity…
We prove that in the complement of a highly twisted link, all closed, essential, meridionally incompressible surfaces must have high genus. The genus bound is proportional to the number of crossings per twist region. A similar result holds…
We present a topological proof of the existence of invariant manifolds for maps with normally hyperbolic-like properties. The proof is conducted in the phase space of the system. In our approach we do not require that the map is a…
A graph is $n$-e.c. ($n$-existentially closed) if for every pair of subsets $A, B$ of vertex set $V$ of the graph such that $A \cap B = \emptyset$ and $|A| + |B| = n$, there is a vertex $z$ not in $A \cup B$ joined to each vertex of $A$ and…
We demonstrate that when a graph exhibits a specific type of symmetry, it satisfies the Union Closed Conjecture(UCC). Additionally, we show that certain graph classes, such as Cylindrical Grid Graphs and Torus Grid Graphs also satisfy the…
The Euler characteristic of a finite category is defined and shown to be compatible with Euler characteristics of other types of object, including orbifolds. A formula for the cardinality of the colimit of a diagram of sets is proved,…
The existence of an unbounded sequence of solutions to a conformally invariant elliptic equation having nonlocal critical-power nonlinearity is established. The primary obstacle to establishing existence of solutions is the failure of…
We present generalizations of theorems on Kypert's construction and on 2nd Morley's Centre. Most of our proofs are synthetic.