Solitons from a direct point of view: padeons

A systematic approach to soliton interaction is presented in terms of a particular class of solitary waves (padeons) which are linear fractions with respect to the nonlinearity parameter ϵ. A straightforward generalization of the padeon to higher order rational fractions (multipadeon) yields a natural ansatz for N-soliton solutions. This ansatz produces multisoliton formulas in terms of an ‘interaction matrix’ A. The structure of the matrix gives some insight into the hidden IST-properties of a familiar set of ‘integrable’ equations (KdV, Boussinesq, MKdV, sine-Gordon, nonlinear Schrödinger). The analysis suggests a ‘padeon’ working definition of the soliton, leading to an explicit set of necessary conditions on the padeon equation.     

Henselian valued fields: a constructive point of view

This article is a logical continuation of the Henri Lombardi and Franz‐Viktor Kuhlmann article [9]. We address some classical points of the theory of valued fields with an elementary and constructive point of view. We deal with Krull valuations, and not simply discrete valuations. First of all, we show how (in the spirit of [9]) to construct the Henselization of a valued field; we restrict to fields in which one has at one's disposal algorithmic tools to test the nullity or the valuation ring membership. It is therefore a work that differs as much in spirit as in field of application from that of Mines, Richman and Bridges (cf. [10]), who address the framework of Heyting fields and discrete valuation. We show then in a constructive way a batch of classical results in Henselian fields, notably factorization criteria and Krasner's Lemma. We conclude by a construction of the inertia field of a valued field. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Congruences and ideals on Boolean modules: a heterogeneous point of view

Definitions for heterogeneous congruences and heterogeneous ideals on a Boolean module $\mathcal {M}$ are given and the respective lattices $\mathrm{Cong}\mathcal {M}$ and $\mathrm{Ide}\mathcal {M}$ are presented. A characterization of the simple bijective Boolean modules is achieved differing from that given by Brink in a homogeneous approach. We construct the smallest and the greatest modular congruence having the same Boolean part. The same is established for modular ideals. The notions of kernel of a modular congruence and the congruence induced by a modular ideal are introduced to describe an isomorphism between $\mathrm{Cong}\mathcal {M}$ and $\mathrm{Ide}\mathcal {M}$. This isomorphism leads us to conclude that the class of the Boolean module is ideal determined.     

Displacement interpolations from a Hamiltonian point of view

One of the most well-known results in the theory of optimal transportation is the equivalence between the convexity of the entropy functional with respect to the Riemannian Wasserstein metric and the Ricci curvature lower bound of the underlying Riemannian manifold. There are also generalizations of this result to the Finsler manifolds and manifolds with a Ricci flow background. In this paper, we study displacement interpolations from the point of view of Hamiltonian systems and give a unifying approach to the above mentioned results.     

Structured continua from a lagrangian point of view

Sunto In questo lavoro si studiano le ipersuperfici di bigrado (p, 2)in P ¹×P ^m ,m3m dispari p1.Tali ipersuperfici per p=1si presentanto in modo naturale nello studio del problema di Torelli per le intersezioni complete di due quadriche trasverse in P ^m .Viene analizzata la loro struttura e dimostrato che per p2il Teorema di Torelli non vale per tali ipersuperfici mentre vale per p=1 (Turin).

---

---

Partially supported by a C.N.R. fellowship at the University of Georgia, Athens, Georgia.     

Generalized quadrangles from a local point of view

In this lecture, I will survey several recent results in the local theory of generalized quadrangles. Starting with a short introduction to the global automorphism theory, I will motivate as such the local viewpoint, and overview some of the most important local properties which are investigated nowadays. Recent results on skew translation quadrangles and forms will be described, including a solution of a question of Payne which generalizes work of Havas et?al. (Finite geometries, groups, and computation, 2006; Adv Geom 26:389?C396, 2006), and then I will mention parts of a classification of skew translation quadrangles which is being prepared by the author. Finally, I will consider conditions which are both global and local.     

Invariant Lie Algebras and Lie Algebras with a Small Centroid

A subalgebra of a Lie algebra is said to be invariant if it is invariant under the action of some Cartan subalgebra of that algebra. A known theorem of Melville says that a nilpotent invariant subalgebra of a finite-dimensional semisimple complex Lie algebra has a small centroid. The notion of a Lie algebra with small centroid extends to a class of all finite-dimensional algebras. For finite-dimensional algebras of zero characteristic with semisimple derivations in a sufficiently broad class, their centroid is proved small. As a consequence, it turns out that every invariant subalgebra of a finite-dimensional reductive Lie algebra over an arbitrary definition field of zero characteristic has a small centroid.     

Self-similar fractals: An algorithmic point of view

This paper studies the self-similar fractals with overlaps from an algorithmic point of view.A decidable problem is a question such that there is an algorithm to answer"yes"or"no"to the question for every possible input.For a classical class of self-similar sets{E b.d}b,d where E b.d=Sn i=1(E b,d/d+b i)with b=(b1,...,b n)∈Qn and d∈N∩[n,∞),we prove that the following problems on the class are decidable:To test if the Hausdorff dimension of a given self-similar set is equal to its similarity dimension,and to test if a given self-similar set satisfies the open set condition(or the strong separation condition).In fact,based on graph algorithm,there are polynomial time algorithms for the above decidable problem.     

Fuzzy sets: A topos-logical point of view

Bénabou deduction-categories are defined, with a set of additional assumptions that define categories with formal finite limits (resp. formal regular categories, formal logoi, formal topoi). They are shown to be generalized structures in which higher-order many-sorted languages can be realized. The corresponding Gentzen-type higher-order calculus of sequents is explicited and the soundness theorem is formulated. A construction is given, which associates to each deduction category with formal properties a real category with the corresponding real properties, in a universal way. The corresponding sounddess and completeness properties are formulated for the real categories thus obtained. Fuzzy sets, as generalized by Goguen are introduced, considered as the objects of a category Fuz(H), which turns out to be the real category associated to a very simple formal topos, and thus to be itself a topos: furthermore this is proved to be a Grothendieck topos which is a strictly full epireflective subcategory of Higgs' category of ‘H-valued sets’. Topoi are proposed as generalized fuzzy sets, and deductio0-categories as generalized² fuzzy sets. Some related topics such as Arbib-Manes fuzzy theories, probability, many-valued and fuzzy logics, intensional logic are very briefly touched upon.     

Ricci solitons: the equation point of view

We discuss some classification results for Ricci solitons, that is, self similar solutions of the Ricci Flow. New simpler proofs of some known results will be presented. In detail, we will take the equation point of view, trying to avoid the tools provided by considering the dynamic properties of the Ricci flow.     

Compressed sensing from a harmonic analysis point of view

This paper gives an easy and purely harmonic analysis approach of the compressed sensing theory of Candès, Romberg and Tao. It contains an application to the determination of a lacunary trigonometric series whose sum is known on an interval, and a critical appreciation of this application.     

General symbolic powers: A homological point of view

Let I be an ideal of a Noetherian ring R and let S be a multiplicatively closed subset of R. We define the n-th (S)-symbolic power of 7 as S(Iⁿ) = IⁿR_s ∩R. The purpose of this paper is to compare the topologies defined by the adic {I_n}_n≤0 and the (S)-symbolic filtration {S(Iⁿ)}n≥o using the direct system {Extⁱ _R(R/Iⁿ,R)}_n≥0     

The Gibbs' phenomenon from a signal processing point of view

Recently, Fay and Kloppers gave two proofs to show that the well-known Gibbs' phenomenon for Fourier series at a jump discontinuity depends only on the size of the jump and is a multiple of the integral 1/π ∫₀ ^π (sin x / x) dx. We give another proof, based upon low-pass filtering of the Fourier transform, that uses the observation that a truncated Fourier series for a function ? (x) is ‘very nearly’ equal to the convolution integral 1/π ∫ _-∞ ^+∞ ? (x - t)(sin nt / t) dt.     

The SIR epidemic model from a PDE point of view

We present a derivation of the classical Susceptible-Infected-Removed (SIR) and Susceptible-Infected-Removed-Susceptible (SIRS) models through a mean-field approximation from a discrete version of SIR(S). We then obtain a hyperbolic forward Kolmogorov equation, and show that its projected characteristics recover the standard SIR(S) model. Moreover, for the SIRS model, we show that the long time limit of the SIRS model will be a Dirac measure supported on the corresponding isolated equilibria. For the SIR model, we show that the long time limit is a Radon measure supported in a segment of nonisolated equilibria.     

Algebras with a compatible uniformity

Given a variety of algebras V, we study categories of algebras in V with a compatible structure of uniform space. The lattice of compatible uniformities of an algebra, Unif A, can be considered a generalization of the lattice of congruences Con A. Mal'cev properties of V influence the structure of Unif A, much as they do that of Con A. The category V[CHUnif] of complete, Hausdor. such algebras in the variety V is particularly interesting; it has a factorization system , and V embeds into V[CHUnif] in such a way that is the subcategory of onto and the subcategory of one-one homomorphisms. Received February 17, 2000; accepted in final form April 1, 2001.