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.

What problem does this paper attempt to address?

A Proof of a Conjecture of Marino-Vafa on Hodge Integrals

CCM Liu,KF Liu,R Zhou

DOI: https://doi.org/10.4310/jdg/1090511689

2003-01-01

Journal of Differential Geometry

Abstract:We prove a remarkable formula for Hodge integrals conjectured by Marino andVafa based on large N duality, using functorial virtual localization on certainmoduli spaces of relative stable morphisms.
Butterfly factorization with error guarantees

Quoc-Tung Le,Rémi Gribonval,Elisa Riccietti,Léon Zheng

2024-11-07

Abstract:In this paper, we investigate the butterfly factorization problem, i.e., the problem of approximating a matrix by a product of sparse and structured factors. We propose a new formal mathematical description of such factors, that encompasses many different variations of butterfly factorization with different choices of the prescribed sparsity patterns. Among these supports, we identify those that ensure that the factorization problem admits an optimum, thanks to a new property called "chainability". For those supports we propose a new butterfly algorithm that yields an approximate solution to the butterfly factorization problem and that is supported by stronger theoretical guarantees than existing factorization methods. Specifically, we show that the ratio of the approximation error by the minimum value is bounded by a constant, independent of the target matrix.

Optimization and Control
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.
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.
Scattering of Massless Particles in Arbitrary Dimension : Soft Limits and Factorizations , Version II

Freddy Cachazo,Song He,Ellis Ye Yuan

2013-01-01

Abstract:This note supplements the recent paper [1] of the current authors by providing a detailed proof for both the soft limits and the factorizations of the formula proposed therein.
The Factorization Theorems on the Number of Spanning Trees of Graphs with Some Symmetry

Helin GONG,Wei WANG

DOI: https://doi.org/10.6043/j.issn.0438-0479.201512026

2016-01-01

Abstract:Let G be a plane graph with reflective symmetry.Ciucu,et al,proved a factorization theorem on the number of spanning trees of G.That is,the number of spanning treesof G can be expressed in terms of the product of the number of spanning trees of two smaller graphs.In this paper,we introduce a graph transformation and discuss its effect on the number of spanning trees,then by the matrix-tree theorem we give a short proof of above-mentioned factorization theorem.Motivated by a factorization theorem on the sum of weights of spanning trees of weighted graphs with some symmetry in Zhang et al,we further provide an equivalent factorization formula on the number of spanning trees of unweighted graphs with some symmetry.
Deformable model of a butterfly in motion on the example of Attacus atlas

Zuzanna Kunicka-Kowalska,Michał Landowski,Krzysztof Sibilski

DOI: https://doi.org/10.1016/j.jmbbm.2022.105351

Abstract:Insect wings can undergo significant chordwise (camber) as well as spanwise (twist) deformation during flapping flight but the effect of these deformations is not well understood. The shape and size of butterfly wings leads to particularly large wing deformations, making them an ideal test case for investigation of these effects. High-speed videogrammetry was used to capture the wing kinematics and deformations. The movements of selected markers on the wings of a living insect was observed. Created characteristics showing the displacement in a three-dimensional coordinate system identified the kinematics and deformations of the butterfly's wings. These experimental results were then analyzed computationally using a high-fidelity, three-dimensional, unsteady Navier-Stokes flow solver. Computational fluid dynamics (CFD) simulations were carried out on the basis of the wing geometry of the large moth Attacus atlas. Six geometric and structural models of the Attacus atlas butterfly wing with various degrees of simplification were developed. Using these models, Fluid-Structure-Interaction (FSI) simulation studies were performed in the commercial Ansys software environment (Fluent and Mechanical). Computations of the wing beat cycle were carried out, obtaining pressure distributions, streamlines, vortex regions and cumulative force waveforms.
A Simple Combinatorial Proof of Szemerédi's Theorem via Three Levels of Infinities

Renling Jin

DOI: https://doi.org/10.19086/da.87772

2023-10-28

Abstract:We present a nonstandard simple elementary proof of Szemerédi's theorem by a straightforward induction with the help of three levels of infinities and four different elementary embeddings in a nonstandard universe.

Logic,Combinatorics,Number Theory
A short proof of the Hilton-Milner Theorem

Denys Bulavka,Russ Woodroofe

2024-11-05

Abstract:We give a short and relatively elementary proof of the Hilton-Milner Theorem.

Combinatorics
A combinatorial proof of an identity involving Eulerian numbers

Jerónimo Valencia Porras

2024-10-02

Abstract:We give a combinatorial proof of an identity that involves Eulerian numbers and was obtained algebraically by Brenti and Welker (2009). To do so, we study alcoved triangulations of dilated hypersimplices. As a byproduct, we describe the dual graph of the triangulation in the case of the standard simplex, conjecture its structure for general hypersimplices, and prove combinatorially that the Eulerian numbers coincide with the normalized volumes of the hypersimplices.

Combinatorics
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.
Proof of the Equivalence Theorem in the Chiral Lagrangian Formalism

HJ HE,YP KUANG,XY LI

DOI: https://doi.org/10.1016/0370-2693(94)90772-2

IF: 4.95

1994-01-01

Physics Letters B

Abstract:A general proof of the equivalence theorem in electroweak theories with the symmetry breaking sector described by the chiral Lagrangian is given in the R_ξ gauge by means of the Ward-Takahashi identities. The precise form of the theorem contains a modification factor C_mod associated with each external Goldstone boson similar to that in the standard model. C_mod is exactly unity in our previously proposed renormalization scheme, Scheme-II.
A Special Theorem Related to the Fagnano's Problem

Jun Li

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

2016-06-21

Abstract:A special theorem related to the Fagnano's problem is proved and an example of the theorem is shown in a golden rectangle.

History and Overview
The virtual flyping theorem

Thomas Kindred

2024-08-29

Abstract:We extend the flyping theorem to alternating links in thickened surfaces and alternating virtual links. The proof of the former result uses work of Boden--Karimi to adapt the author's geometric proof of Tait's 1898 flyping conjecture (first proved in 1993 by Menasco--Thistlethwaite), while the proof of the latter involves a diagrammatic correspondence recently introduced by the author in a related paper. In the process, we also extend a classical result of Gordon--Litherland, establishing an isomorphism between their pairing on a spanning surface and the intersection form on a 4-manifold constructed as a double-branched cover using that surface.

Geometric Topology
A shorter proof of the Four Colour Theorem

Carl Feghali

2024-11-30

Abstract:We give a pen and paper and (comparatively) much simpler proof to verify of the Four Colour Theorem.

Combinatorics
A Tale of Two Butterflies: An Exact Equivalence in Higher-Derivative Gravity

Xi Dong,Diandian Wang,Wayne W. Weng,Chih-Hung Wu

DOI: https://doi.org/10.1007/JHEP10%282022%29009

2022-03-12

Abstract:We prove the equivalence of two holographic computations of the butterfly velocity in higher-derivative theories with Lagrangian built from arbitrary contractions of curvature tensors. The butterfly velocity characterizes the speed at which local perturbations grow in chaotic many-body systems and can be extracted from the out-of-time-order correlator. This leads to a holographic computation in which the butterfly velocity is determined from a localized shockwave on the horizon of a dual black hole. A second holographic computation uses entanglement wedge reconstruction to define a notion of operator size and determines the butterfly velocity from certain extremal surfaces. By direct computation, we show that these two butterfly velocities match precisely in the aforementioned class of gravitational theories. We also present evidence showing that this equivalence holds in all gravitational theories. Along the way, we prove a number of general results on shockwave spacetimes.

High Energy Physics - Theory,Strongly Correlated Electrons,General Relativity and Quantum Cosmology
Scaling law and enhancement of lift generation of an insect-size hovering flexible wing

Chang-kwon Kang,Wei Shyy

DOI: https://doi.org/10.1098/rsif.2013.0361

2013-06-12

Abstract:We report a comprehensive scaling law and novel lift generation mechanisms relevant to the aerodynamic functions of structural flexibility in insect flight. Using a Navier-Stokes equation solver, fully coupled to a structural dynamics solver, we consider the hovering motion of a wing of insect size, in which the dynamics of fluid-structure interaction leads to passive wing rotation. Lift generated on the flexible wing scales with the relative shape deformation parameter, whereas the optimal lift is obtained when the wing deformation synchronizes with the imposed translation, consistent with previously reported observations for fruit flies and honeybees. Systematic comparisons with rigid wings illustrate that the nonlinear response in wing motion results in a greater peak angle compared with a simple harmonic motion, yielding higher lift. Moreover, the compliant wing streamlines its shape via camber deformation to mitigate the nonlinear lift-degrading wing-wake interaction to further enhance lift. These bioinspired aeroelastic mechanisms can be used in the development of flapping wing micro-robots.
Alternative proofs of the Conway-Gordon-Sachs Theorems

Arseny Zimin

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

2014-04-12

Abstract:In this paper we present new proofs of the Conway-Gordon-Sachs and Sachs Theorems on the linked cycles in graphs embedded in $\R^3$. We reduce these theorems to certain property of graphs mapped to the plane.

Geometric Topology,Algebraic Topology,Combinatorics
Three-dimensional Numerical Study on the Interaction of Contralateral Insect Wings in Asymmetric Stroke

Rui Zhang,Peng Xie,Chaoying Zhou,Chao Wang

DOI: https://doi.org/10.1177/0954410017699004

2017-01-01

Proceedings of the Institution of Mechanical Engineers Part G Journal of Aerospace Engineering

Abstract:Asymmetric flight of insects and birds is often seen in nature which is a conventional way for them to obtain the flexibility of maneuver in turning, hovering, and gliding. A numerical study on the interaction between contralateral wings of a dragonfly in asymmetric forward flight is carried out using the finite volume method. Various asymmetric flights with different advance ratios are considered where the aerodynamic forces, torques of each wing, pressure distributions, vorticity, and velocity fields are analyzed. A number of symmetric flights corresponding to the asymmetric flights are also studied. The results indicate that the interaction between the contralateral wings of a dragonfly is very small even when the dragonfly is in an asymmetric flight no matter how the advance ratios vary in the range concerned. With a typical example of asymmetric forward flights the difference in the mean value of vertical force coefficient is generally less than 5% compared with that for its corresponding symmetric flight. It is found that a small lateral flow region (LFR) is formed near the body, and there is a small lateral flow across the symmetric plane of the body. But this flow is very weak and resulted interaction between contralateral wings is very small. The result has confirmed in a way that dragonflies take a quite different way from fruit flies to obtain the lift with the contralateral wings. That is, fruit flies employ clap-and-fling mechanism which needs contralateral wings to be close enough to extrude the flow and generate lift, which means the contralateral two wings are so close that strong interaction happens, while dragonflies flap their contralateral wings on two sides of the vertical central plane with a relatively far distance between the wings where the interaction of contralateral wings is negligibly weak.
A Practical Model for Realistic Butterfly Flight Simulation

Qiang Chen,Tingsong Lu,Yang Tong,Guoliang Luo,Xiaogang Jin,Zhigang Deng

DOI: https://doi.org/10.1145/3510459

IF: 6.2

2022-01-01

ACM Transactions on Graphics

Abstract:Butterflies are not only ubiquitous around the world but are also widely known for inspiring thrill resonance, with their elegant and peculiar flights. However, realistically modeling and simulating butterfly flights—in particular, for real-time graphics and animation applications—remains an under-explored problem. In this article, we propose an efficient and practical model to simulate butterfly flights. We first model a butterfly with parametric maneuvering functions, including wing-abdomen interaction. Then, we simulate dynamic maneuvering control of the butterfly through our force-based model, which includes both the aerodynamics force and the vortex force. Through many simulation experiments and comparisons, we demonstrate that our method can efficiently simulate realistic butterfly flight motions in various real-world settings.

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

A Proof of a Conjecture of Marino-Vafa on Hodge Integrals

Butterfly factorization with error guarantees

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

Drawing butterflies from the almost Mathieu operator

Scattering of Massless Particles in Arbitrary Dimension : Soft Limits and Factorizations , Version II

The Factorization Theorems on the Number of Spanning Trees of Graphs with Some Symmetry

Deformable model of a butterfly in motion on the example of Attacus atlas

A Simple Combinatorial Proof of Szemerédi's Theorem via Three Levels of Infinities

A short proof of the Hilton-Milner Theorem

A combinatorial proof of an identity involving Eulerian numbers

Taxicab Butterflies

Proof of the Equivalence Theorem in the Chiral Lagrangian Formalism

A Special Theorem Related to the Fagnano's Problem

The virtual flyping theorem

A shorter proof of the Four Colour Theorem

A Tale of Two Butterflies: An Exact Equivalence in Higher-Derivative Gravity

Scaling law and enhancement of lift generation of an insect-size hovering flexible wing

Alternative proofs of the Conway-Gordon-Sachs Theorems

Three-dimensional Numerical Study on the Interaction of Contralateral Insect Wings in Asymmetric Stroke

A Practical Model for Realistic Butterfly Flight Simulation