Related papers: The Butterfly lemma
This paper proves a generalization of the Butterfly Theorem, a classical Euclidean result, which is valid in the complex projective plane.
This paper provides a uniform explanation of different extensions and generalizations of the butterfly theorem based on the Desargues involution theorem.
Butterfly algorithms are an effective multilevel technique to compress discretizations of integral operators with highly oscillatory kernel functions. The particular version of the butterfly algorithm considered here realizes the transfer…
We give a new proof of the butterfly theorem, based on the use of several expressions involving the scale factor between the two wings.
The Hermite-Birkhoff interpolation problem of a function given on arbitrarily distributed points on the sphere and other manifolds is considered. Each proposed interpolant is expressed as a linear combination of basis functions, the…
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…
The Butterfly Theorem is explored in Taxicab Geometry.
Suppose a finite set $X$ is repeatedly transformed by a sequence of permutations of a certain type acting on an initial element $x$ to produce a final state $y$. We investigate how 'different' the resulting state $y'$ to $y$ can be if a…
Our starting point is a lemma due to Varopoulos. We give a different proof of a generalized form this lemma, that yields an equivalent description of the $K$-functional for the interpolation couple $(X_0,X_1)$ where…
We generalize Bulitko's Lemma to equations over (or homomorphisms into) groups that have $\kappa$-acylindrical splittings.
A rigorous geometric proof of the Lie's Theorem on nonlinear superposition rules for solutions of non-autonomous ordinary differential equations is given filling in all the gaps present in the existing literature. The proof is based on an…
We establish two direct extensions to the Butterfly Theorem on the cyclic quadrilateral along with the proofs using the projective method and analytic geometry of the Cartesian coordinate system.
We introduce the notion of doubly rooted plane trees and give a decomposition of these trees, called the butterfly decomposition which turns out to have many applications. From the butterfly decomposition we obtain a one-to-one…
Craig's interpolation theorem (Craig 1957) is an important theorem known for propositional logic and first-order logic. It says that if a logical formula $\beta$ logically follows from a formula $\alpha$, then there is a formula $\gamma$,…
We consider a real interpolation method defined by means of slowly varying functions. We present some reiteration formulae including so called $L$ or $R$ limiting interpolation spaces. These spaces arise naturally in reiteration formulae…
We construct automorphisms of $\C^n$ which map certain discrete sequences one onto another with prescribed finite jet at each point, thus solving a general Mittag-Leffler interpolation problem for automorphisms. Under certain circumstances,…
In this paper, we revisit the 1979 work of Isbell on subfactors of groups and their projections, which he uses to establish a stronger formulation of the butterfly lemma and its consequence, the refinement theorem for subnormal series of…
Given $E_0, E_1, F_0, F_1, E$ rearrangement invariant function spaces, $a_0$, $a_1$, $b_0$, $b_1$, $b$ slowly varying functions and $0< \theta_0<\theta_1<1$, we characterize the interpolation spaces $$(\overline{X}^{\mathcal…
We consider K-interpolation methods involving slowly varying functions. Let $\overline{A}_{\theta,*}^{\mathcal{L}}$ and $\overline{A}_{\theta,*}^{\mathcal{R}}$ $(0\leq\theta\leq1)$ be the so called ${\mathcal{L}}$ or ${\mathcal{R}}$…
We explore a nonlinear extension to quantum theory giving rise to deterministic partial disentanglement between pairs of particles. The extension is based on a modified Schr\"{o}dinger equation having an added nonlinear term. To avoid…