Pascal's Hexagon Theorem implies a Butterfly Theorem in the Complex Projective Plane

Greg Markowsky

DOI: https://doi.org/10.48550/arXiv.0910.4792

2009-10-26

General Mathematics

Abstract:This paper proves a generalization of the Butterfly Theorem, a classical Euclidean result, which is valid in the complex projective plane.

What problem does this paper attempt to address?

Illumination of Pascal's Hexagrammum and Octagrammum Mysticum

Djordje Baralic,Igor Spasojevic

DOI: https://doi.org/10.48550/arXiv.1209.4795

2012-11-12

Abstract:We prove general results which include classical facts about 60 Pascal's lines as special cases. Along similar lines we establish analogous results about configurations of 2520 conics arising from Mystic Octagon. We offer a more combinatorial outlook on these results and their dual statements. Bezout's theorem is the main tool, however its application is guided by the empirical evidence and computer experiments with program Cinderella. We also emphasize a connection with $k$-nets of algebraic curves.

Algebraic Geometry,Combinatorics
Variations on Pascal's Theorem

Ciro Ciliberto,Rick Miranda

2024-11-12

Abstract:In this paper we present a variety of statements that are in the spirit of the famous theorem of Pascal, often referred to as the Mystic Hexagon. We give explicit equations describing the conditions for $d+4$ points to lie on rational normal curves. A collection of problems of Pascal type are considered for quadric surfaces in $\bbP^3$. Finally we reprove, using computer algebra methods, a remarkable theorem of Richmond, Segre, and Brown, for quadrics in $\bbP^4$ containing five general lines.

Algebraic Geometry
On Pseudo-Holomorhpic Curves in Complex Grassmannians

Yb Shen,Yx Dong

DOI: https://doi.org/10.1142/s0252959999000394

1999-01-01

Chinese Annals of Mathematics Series B

Abstract:Further geometry and topology for pseudo-holomorphic curves in complex Grassmannians Gn(CN) are studied. Some curvature pinching theorems for pseudo-holomorphic curves with constant Kahler angles in G(m)(C-N) are obtained, so that the corresponding results for pseudo-holomorphic curves in complex projective spaces are generalized.
A proof of the butterfly theorem using the scale factor between the two wings

Martin Celli

DOI: https://doi.org/10.48550/arXiv.1610.06983

2016-10-22

History and Overview

Abstract:We give a new proof of the butterfly theorem, based on the use of several expressions involving the scale factor between the two wings.
Drawing butterflies from the almost Mathieu operator

Michael P. Lamoureux

DOI: https://doi.org/10.48550/arXiv.1005.1301

2010-05-07

Operator Algebras

Abstract:Plotting spectra of a range of almost Mathieu operators reveals a beautiful fractal-like image that contains multiple copies of a butterfly image. We demonstrate that plotting the butterflies using a gap-labelling scheme based on K-theory or Chern numbers reveals systematic discontinuities in the gap positioning. A proper image is produced only when we take into account these discontinuities, and close the butterfly wingtips at the points of discontinuity. A conjecture is presented showing a simple formula for locating the discontinuities, and numerical evidence is given to support the conjecture. We also present new renderings of this butterfly.
Taxicab Butterflies

Kevin P. Thompson

DOI: https://doi.org/10.48550/arXiv.1501.06420

2015-01-26

Metric Geometry

Abstract:The Butterfly Theorem is explored in Taxicab Geometry.
Conway's Nightmare: Brahmagupta and Butterflies

Richard Evan Schwartz

DOI: https://doi.org/10.48550/arXiv.2201.07743

2022-01-19

History and Overview

Abstract:This note gives a very succinct conceptual proof of Brahmagupta's formula for cyclic quadrilaterals, and then a long discussion about how the proof is inspired by ideas from modern mathematics.
Pythagorean Triplets, Integral Apollonians and The Hofstadter Butterfly

Indubala Satija

DOI: https://doi.org/10.48550/arXiv.1802.04585

2018-02-13

Chaotic Dynamics

Abstract:Hierarchical sets such as the Pythagorean triplets ($\cal{PT}$) and the integral Apollonian gaskets ($\cal{IAG}$) are iconic mathematical sets made up of integers that resonate with a wide spectrum of inquisitive minds. Here we show that these abstract objects are related with a quantum fractal made up of integers, known as the {\it Hofstadter Butterfly}. The "butterfly fractal" describes a {\it physical system} of electrons in a crystal in a magnetic field, representing exotic states of matter known as {\it integer quantum Hall} states. Integers of the butterfly are the quanta of Hall conductivity that appear in a highly convoluted form in the integers of the $\cal{PT}$ and the $\cal{IAG}$. Scaling properties of these integers, as we zoom into the self-similar butterfly fractal are given by a class of quadratic irrationals that lace the butterfly in a highly intricate and orderly pattern, some describing a {\it mathematical kaleidoscope}. The number theoretical aspects are all concealed in Lorentz transformations along the light cone in abstract Minkowski space where subset of these are related to the celebrated {\it Pell's equation}.
Complex binomial theorem and pentagon identities

N. M. Belousov,G. A. Sarkissian,V. P. Spiridonov

2024-12-10

Abstract:We consider different pentagon identities realized by the hyperbolic hypergeometric functions and investigate their degenerations to the level of complex hypergeometric functions. In particular, we show that one of the degenerations yields the complex binomial theorem which coincides with the Fourier transformation of the complex analogue of the Euler beta integral. At the bottom we obtain a Fourier transformation formula for the complex gamma function. This is done with the help of a new type of the limit $\omega_1+\omega_2\to 0$ (or $b\to \textrm{i}$ in two-dimensional conformal field theory) applied to the hyperbolic hypergeometric integrals.

Classical Analysis and ODEs,Mathematical Physics
A Group Theory Proof of Pascal's Theorem

Kaylee Wiese

2024-07-31

Abstract:It will be shown that Pascal's Theorem is equivalent to the associativity of a natural binary operation on conic sections. A novel proof for Pascal's Theorem will then be given by showing that this binary operation is associative independent of Pascal's Theorem. Specifically, this operation is equivalent to either addition of real numbers, multiplication of real numbers, or rotations on the plane depending on the type of the conic. Since each of these is already known to be associative, it will follow that the binary operation is associative and this will prove Pascal's Theorem.

Group Theory
Remark on Pascal's Triangle

Chaim Goodman-Strauss

2024-05-26

Abstract:Through a series of elementary exercises, we explain the fractal structure of Pascal's triangle when written modulo $p$ using an 1852 theorem due to Kummer: A prime $p$ divides $\dfrac {n!}{i!j!} $ if and only if there is a carry in the addition $i+j=n$ when written in base $p$.

History and Overview
Plane quartics and heptagons

Daniele Agostini,Daniel Plaumann,Rainer Sinn,Jannik Lennart Wesner

2024-08-28

Abstract:Every polygon with n vertices in the complex projective plane is naturally associated with its adjoint curve of degree n-3. Hence the adjoint of a heptagon is a plane quartic. We prove that a general plane quartic is the adjoint of exactly 864 distinct complex heptagons. This number had been numerically computed by Kohn et al. We use intersection theory and the Scorza correspondence for quartics to show that 864 is an upper bound, complemented by a lower bound obtained through explicit analysis of the famous Klein quartic.

Algebraic Geometry
Le principe de Hasse pour les intersections de deux quadriques dans $\mathbb{P}^7$

Alexander Molyakov

2024-06-06

Abstract:We prove the Hasse principle for a smooth proper model of a geometrically integral non-conical intersection of two quadrics in the projective space of dimension 7 over a number field. This result generalizes the result of Heath-Brown who established the statement in the smooth case. Our argument is built upon the ideas of Colliot-Thélène and the fibration method for zero-cycles in the form of Harpaz-Wittenberg.

Algebraic Geometry
Geometry and Transcendence of the Hexponential

Scott Schmieding,Christopher-Lloyd Simon

2024-05-05

Abstract:The modular group $\operatorname{PSL}_2(\mathbb{Z})$ acts on the upper-half plane $\mathbb{HP}$ with quotient the modular orbifold, uniformized by the function $\mathfrak{j} \colon \mathbb{HP}\to \mathbb{C}$. We first show that second derived subgroup $\operatorname{PSL}_2(\mathbb{Z})''$ corresponds to a $\mathbb{Z}^2\rtimes \mathbb{Z}/6$ Galois cover of the modular orbifold by a hexpunctured plane, uniformized by the hexponential map $\operatorname{hexp} \colon \mathbb{HP} \to \mathbb{C} \setminus (\omega_0\mathbb{Z}[j])$, which is a primitive of $C\eta^4$ where $\omega_0\in i\mathbb{R}$ and $C\in \mathbb{R}$ are explicit constants and $\eta$ is Dedekind eta function. We describe the values of the cusp-compactification $\partial \operatorname{hexp}\colon \mathbb{QP}^1\to \omega_0 \mathbb{Z}[j]$. After defining the radial-compactification $\operatorname{Shexp} \colon \mathscr{R} \to \mathbb{R}/(2\pi\mathbb{Z})$, we construct a simple section $\operatorname{InSh} \colon \mathbb{R}/(2\pi\mathbb{Z}) \to \mathscr{S} \bmod{\operatorname{PSL}_2(\mathbb{Z})'}$ where $\mathscr{S} \subset \mathbb{RP}^1$ is a set of numbers whose continued fraction expansions arise from Sturmian sequences, which contains the set $\mathscr{M}$ of Markov quadratic irrationals as those numbers arising from periodic Sturmian sequences. We will show that the values of $\operatorname{InSh}$ are either Markov quadratic irrationals or transcendental. Finally we provide a continued fraction expansion for $\operatorname{hexp}$, and discuss its monodromy.

Number Theory,Dynamical Systems
Complete totally geodesic subsets of the complex hyperbolic plane: an elementary classification

Hugo C. Botós,Carlos H. Grossi

2024-04-15

Abstract:The non-trivial complete totally geodesic submanifolds of the complex hyperbolic plane $\mathbb H_{\mathbb C}^2$ are the complex geodesics and the real planes. We present two new proofs for this fact. One is a short proof based on an algebraic formula for the Riemann curvature tensor due to S. Anan'in and C. Grossi and resembles the traditional proof using Lie theory. The other is purely elementary and geometric, relying on the structures in $\mathbb H_{\mathbb C}^2$ instead of general theories. In this second approach, we prove a slightly stronger result: the only non-trivial complete totally geodesic subsets of $\mathbb H_{\mathbb C}^2$ are the complex geodesics and the real planes without assuming that the subsets are submanifolds a priori. This second proof is also intriguing for only making use of elementary geometric constructions.

Differential Geometry
The Triangle Altitudes Theorem in Hyperbolic Plane Geometry

Nicholas Phat Nguyen

DOI: https://doi.org/10.48550/arXiv.1912.11707

2019-12-24

Abstract:We provide a new formulation and proof of the triangle altitudes theorem in hyperbolic plane geometry, together with an easily computed discriminant to distinguish between different basic configurations of the altitudes of such a triangle.

History and Overview,Metric Geometry
The Complexity of Planar Boolean #CSP with Complex Weights

Heng Guo,Tyson Williams

DOI: https://doi.org/10.48550/arXiv.1212.2284

2013-08-06

Abstract:We prove a complexity dichotomy theorem for symmetric complex-weighted Boolean #CSP when the constraint graph of the input must be planar. The problems that are #P-hard over general graphs but tractable over planar graphs are precisely those with a holographic reduction to matchgates. This generalizes a theorem of Cai, Lu, and Xia for the case of real weights. We also obtain a dichotomy theorem for a symmetric arity 4 signature with complex weights in the planar Holant framework, which we use in the proof of our #CSP dichotomy. In particular, we reduce the problem of evaluating the Tutte polynomial of a planar graph at the point (3,3) to counting the number of Eulerian orientations over planar 4-regular graphs to show the latter is #P-hard. This strengthens a theorem by Huang and Lu to the planar setting. Our proof techniques combine new ideas with refinements and extensions of existing techniques. These include planar pairings, the recursive unary construction, the anti-gadget technique, and pinning in the Hadamard basis.

Computational Complexity,Data Structures and Algorithms
Building the Butterfly Fractal: The Eightfold Way

Indubala I Satija

2024-05-30

Abstract:The hierarchical structure of the butterfly fractal -- the Hofstader butterfly, is found to be described by an octonary tree. In this framework of building the butterfly graph, every iteration generates sextuplets of butterflies, each with a tail that is made up of an infinity of butterflies. Identifying {\it butterfly with a tale} as the building block, the tree is constructed with eight generators represented by unimodular matrices with integer coefficients. This Diophantine description provides one to one mapping with the butterfly fractal, encoding the magnetic flux interval and the topological quantum numbers of every butterfly. The butterfly tree is a generalization of the ternary tree describing the set of primitive Pythagorean triplets.

General Mathematics
A modular Szemeredi-Trotter theorem for hyperbolas

Jean Bourgain

DOI: https://doi.org/10.48550/arXiv.1208.4008

2012-08-20

Abstract:We establish a Szemeredi-Trotter type result for hyperbolas in $\mathbb F_p\times\mathbb F_p$

Combinatorics
The butterfly sequence: the second difference sequence of the numbers of integer partitions with distinct parts, its pentagonal number structure, its combinatorial identities and the cyclotomic polynomials 1-x and 1+x+x^2

Cristiano Husu

DOI: https://doi.org/10.48550/arXiv.1804.09883

2018-04-26

Abstract:Based on the author's previous work on the Jacobi identity for twisted relative vertex operator algebras and modules and on the generating function identities for affine Lie algebras, we interpret the second difference sequence of the sequence of the number of integer partitions with distinct parts (the strict partitions) as the sequence of the strict partitions of n with at least three parts, the three largest parts consecutive, and the smallest part at least two. The name butterfly describes both the sequence's interpretation and the underlying bijection between the set of strict partitions of positive integers m with the two largest parts consecutive, and a subset of the same kind of strict partitions of m+1. Using the cyclotomic polynomials 1-x and 1+x+x^2, we compute generating function identities o the butterfly sequence and related sequences both as infinite products and as series filtered by the number of parts of the corresponding partitions, and we see that the number of partitions of positive integers n with odd parts greater than or equal to 5 is the sum of three consecutive terms of the butterfly sequence. We also determine a subtler merging and splitting construction of the butterfly sequence as a sequence of some of the partitions with odd parts larger or equal to 3, and we offer a related detailed interpretation of the butterfly sequence as a sequence of what we define as generalized pentagonal, pentagonal with domino, and non-pentagonal butterfly partitions. Finally, Euler's Pentagonal Number Theorem and a slightly different specialization of the Jacobi triple product lead to recursive algorithms to compute the butterfly sequence and related sequences using pentagonal number sequences and the series of triangular powers.

Number Theory

Pascal's Hexagon Theorem implies a Butterfly Theorem in the Complex Projective Plane

Illumination of Pascal's Hexagrammum and Octagrammum Mysticum

Variations on Pascal's Theorem

On Pseudo-Holomorhpic Curves in Complex Grassmannians

A proof of the butterfly theorem using the scale factor between the two wings

Drawing butterflies from the almost Mathieu operator

Taxicab Butterflies

Conway's Nightmare: Brahmagupta and Butterflies

Pythagorean Triplets, Integral Apollonians and The Hofstadter Butterfly

Complex binomial theorem and pentagon identities

A Group Theory Proof of Pascal's Theorem

Remark on Pascal's Triangle

Plane quartics and heptagons

Le principe de Hasse pour les intersections de deux quadriques dans $\mathbb{P}^7$

Geometry and Transcendence of the Hexponential

Complete totally geodesic subsets of the complex hyperbolic plane: an elementary classification

The Triangle Altitudes Theorem in Hyperbolic Plane Geometry

The Complexity of Planar Boolean #CSP with Complex Weights

Building the Butterfly Fractal: The Eightfold Way

A modular Szemeredi-Trotter theorem for hyperbolas

The butterfly sequence: the second difference sequence of the numbers of integer partitions with distinct parts, its pentagonal number structure, its combinatorial identities and the cyclotomic polynomials 1-x and 1+x+x^2