Related papers: The Butterfly lemma
We provide a general theoretical framework allowing us to extend the classical Lie theory for partial differential equations to the case of equations of fractional order. We propose a general prolongation formula for the study of Lie…
We consider a number of generalizations of the $\beta$-extended MacMahon Master Theorem for a matrix. The generalizations are based on replacing permutations on multisets formed from matrix indices by partial permutations or derangements…
We try to bring to light some combinatorial structure underlying formal proofs in logic. We do this through the study of the Craig Interpolation Theorem which is properly a statement about the structure of formal derivations. We show that…
The aim of this paper is to initiate a study of the jet bundles on the grassmannian $X$ over a field of characteristic zero using higher direct images of $G$-linearized sheaves, Lie theoretic methods, enveloping algebra theoretic methods…
A variety is said to be coherent if the finitely generated subalgebras of its finitely presented members are also finitely presented. In a recent paper by the authors it was shown that coherence forms a key ingredient of the uniform…
Bidirectional transformation, also called lens, has played important roles in maintaining consistency in many fields of applications. A lens is specified by a pair of forward and backward functions which relate to each other in a consistent…
The classical Hermite-Biehler theorem describes possible zero sets of complex linear combinations of two real polynomials whose zeros strictly interlace. We provide the full characterization of zero sets for the case when this interlacing…
A simple model of irreversible aggregation under differential sedimentation of particles in a fluid is presented. The structure of the aggregates produced by this process is found to feed back on the dynamics in such a way as to stabilise…
This paper creates a link between \textit{Tropical Geometry} and \textit{Difference Algebra}. The main result is a difference version of \textit{Kapranov's Theorem}. In this theorem, we extend Kapranov's Theorem to the case of a Laurent…
Recently, a new structure called butterfly introduced by Perrin et at. is attractive for that it has very good cryptographic properties: the differential uniformity is at most equal to 4 and algebraic degree is also very high when exponent…
In the theory of hyperplane arrangements, the most important and difficult problem is the combinatorial dependency of several properties. In this atricle, we prove that Terao's celebrated addition-deletion theorem for free arrangements is…
A method is presented for calculating solutions to differential equations analytically for a variety of problems in physics. An iteration procedure based on the recently proposed BLUES (Beyond Linear Use of Equation Superposition) function…
In this paper, we obtain sufficient conditions for the permanence of a family of nonautonomous systems of delay differential equations. This family includes structured models from mathematical biology, with either discrete or distributed…
We show that Thompson's $A\times B$-Lemma can be obtained as a consequence of the Brauer pair version of Brauer's Third Main Theorem.
We give a complete proof of a propagation theorem of multiplicity-free property from fibers to spaces of global sections for holomorphic vector bundles. The propagation theorem is formalised in three ways, aiming for producing various…
Since the diagonal lemma plays a key role in the proof of the main limitative theorems of logic, its proof could shed light on the very essence of these fundamental theorems. Yet the lemma is often characterized as one of those important…
We define a notion of general uniform interpolant, generalizing the notions of cover and of uniform interpolant and identify situations in which symbol elimination can be used for computing general uniform interpolants. We investigate the…
Inspired by the work of Newhouse in one real variable, we introduce a relevant notion of thickness for dynamical Cantor sets of the plane associated to a holomorphic IFS. Our main result is a complex version of Newhouse's Gap Lemma : we…
Two of the most useful tools in topological combinatorics are the nerve lemma and discrete Morse theory. In this note we introduce a theorem that interpolates between them and allows decompositions of complexes into non-contractible pieces…
A Lie-Hamilton system is a nonautonomous system of first-order ordinary differential equations describing the integral curves of a $t$-dependent vector field taking values in a finite-dimensional real Lie algebra of Hamiltonian vector…