Related papers: Beyond Conway's concyclicity theorem: generalizati…

John Conway's Circle Theorem is a gem of plane geometry. The six points formed by continuing the sides of a triangle beyond every vertex by the length of its opposite side, are concyclic. The theorem has attracted several proofs. We present…

Two new sufficient conditions for generalized cycles (including Hamilton and dominating cycles as special cases) in an arbitrary k-connected graph (k=1,2,...) are derived, which prove the truth of Bondy's (1980) famous conjecture for some…

A $2-(n,4,\lambda)$ design $(\Omega, \mathcal{B})$ is said to be supersimple if distinct lines intersect in at most two points. From such a design, one can construct a certain subset of Sym$(\Omega)$ called a "Conway groupoid". The…

Morley's Theorem about angle trisectors can be viewed as the statement that a certain diagram `exists', meaning that triangles of prescribed shapes meet in a prescribed pattern. This diagram is the case n=3 of a class of diagrams we call…

The cyclic insertion conjecture of Borwein, Bradley, Broadhurst and Lison\v{e}k states that by inserting all cyclic permutations of some initial blocks of 2's into the multiple zeta value $ \zeta(1,3,\ldots,1,3) $ and summing, one obtains…

This work is, in part, a generalization of the article by A.A. Bruen ,T.C Bruen and J.M.McQuillan on Desargues Theorem in arXiv:2007.09175[mathCO]July 17,2020. We prove the extension of Desargues theorem in all dimensions, using 4 different…

The notion of graph acyclicity has been extended to several different notions of hypergraph acyclicity, in increasing order of generality: gamma acyclicity, beta acyclicity, and alpha acyclicity, that have met a great interest in many…

Let G be a digraph (without parallel edges) such that every directed cycle has length at least four; let $\beta(G)$ denote the size of the smallest subset X in E(G) such that $G\X$ has no directed cycles, and let $\gamma(G)$ be the number…

The $d$-dimensional hypercube graph $Q_d$ has as vertices all subsets of $\{1,\ldots,d\}$, and an edge between any two sets that differ in a single element. The Ruskey-Savage conjecture asserts that every matching of $Q_d$, $d\ge 2$, can be…

It is shown that any singular Lagrangian theory: 1) can be formulated without the use of constraints by introducing a Clairaut-type version of the Hamiltonian formalism; 2) leads to a special kind of nonabelian gauge theory which is similar…

The descent method is one of the approaches to study the Brauer--Manin obstruction to the local--global principle and to weak approximation on varieties over number fields, by reducing the problem to ``descent varieties''. In recent lecture…

We describe symmetry structure of a general singular theory (theory with constraints in the Hamiltonian formulation), and, in particular, we relate the structure of gauge transformations with the constraint structure. We show that any…

Based on various strategies and a new general doubling operator, we obtain several simple proofs of the celebrated Sharkovsky's cycle coexistence theorem. A simple non-directed graph proof which is especially suitable for a calculus course…

The already proved Lum-Chua's conjecture says that a continuous planar piecewise linear differential system with two zones separated by a straight line has at most one limit cycle. In this paper, we provide a new proof by using a novel…

In fuzzy group theory many versions of the well-known Lagrange's theorem have been studied. The aim of this article is to investigate the converse of one of those results. This leads to an interesting characterization of finite cyclic…

Y. Manoussakis (J. Graph Theory 16, 1992, 51-59) proposed the following conjecture. \noindent\textbf{Conjecture}. {\it Let $D$ be a 2-strongly connected digraph of order $n$ such that for all distinct pairs of non-adjacent vertices $x$, $y$…

We study the confluence property of abstract rewriting systems internal to cubical categories. We introduce cubical contractions, a higher-dimensional generalisation of reductions to normal forms, and employ them to construct cubical…

The aim of this work is to extend and prove the Onsager conjecture for a class of conservation laws that possess generalized entropy. One of the main findings of this work is the "universality" of the Onsager exponent, $\alpha > 1/3$,…

We prove Wise's $W$-cycles conjecture. Consider a compact graph $\Gamma'$ immering into another graph $\Gamma$. For any immersed cycle $\Lambda:S^1\to \Gamma$, we consider the map $\Lambda'$ from the circular components $\mathbb{S}$ of the…

We use the universal generation of algebraic cycles to relate (stable) rationality to the integral Hodge conjecture. We show that the Chow group of 1-cycles on a cubic hypersurface is universally generated by lines. Applications are mainly…