Triangulable Leibniz Algebras

A converse to Lie's theorem for Leibniz algebras is found and generalized. The result is used to find cases in which the generalized property, called triangulable, is 2-recognizable; that is, if all 2-generated subalgebras are triangulable, then the algebra is also. Triangulability joins solvability, supersolvability, strong solvability, and nilpotentcy as a 2-recognizable property for classes of Leibniz algebras.     

Triangulation of stratified fibre bundles

We prove that for any stratified fibre bundle p:A·M (A being the underlying space of an abstract prestratification and M a smooth manifold) and any triangulation of M there exists a triangulation of A such that p becomes linear with respect to these triangulations. In particular, any abstract prestratification is triangulable. As a corollary we obtain that the orbit space of a smooth action of a compact Lie group is triangulable.This paper was written while the author was a visiting professor at the Institute of Mathematics of the University of Genova.     

关于可三角剖分的紧致流形的模2示嵌类

<正> 引言 关于复合形或更一般的空間在欧氏空間中的实現問題,Whitney和Thom分別有下面的結果: 定理.(Whitney)n維紧致微分流形M~n可微分实現于R~N中的必要条件为 W~k(M~n)=0,k≥N-n.(1) 定理.(Thom)一个有可数基而局部可縮的紧致Hausdorff空間X可以拓扑实現     

Triangularizing matrices over GF(2) by congruence

Necessary and sufficient conditions are presented for a square matrix over GF(2) to be triangulable by congruence.     

Harmonic forms and cohomology of singular stratified spaces

We construct a potential theory for differential forms on compact stratified spaces, and we show that the space of harmonic forms of degree k is isomorphic to the singular cohomology of degree k. This theory applies to any triangulable topological space.     

Lipschitz Functions Have L p -Stable Persistence

We prove two stability results for Lipschitz functions on triangulable, compact metric spaces and consider applications of both to problems in systems biology. Given two functions, the first result is formulated in terms of the Wasserstein distance between their persistence diagrams and the second in terms of their total persistence.     

Subgroups of the Cremona groups: Bass’ problem

A general theorem on the purity of invariant field extensions is proved. Using it, a criterion of rational triangulability of connected solvable affine algebraic subgroups of the Cremona groups is obtained. This criterion is applied for proving the existence of rationally nontriangulable subgroups of the above form and for proving their stable rational triangulability. The latter property answers in the affirmative Bass’ Triangulability Problem in the stable range. A general construction of all rationally triangulable connected solvable affine algebraic subgroups of the Cremona groups is obtained. As an application, a classification of all rationally triangulable connected one-dimensional unipotent affine algebraic subgroups of the Cremona groups up to conjugacy is given.     

Topological invariance of intersection homology without sheaves

In (1) Goresky and MacPherson defined intersection homology groups for triangulable pseudomanifolds and showed they were PL invariants. Then in [2] they generalized these groups to any pseudomanifold and showed they were topological invariants. These groups have generated a great deal of interest. However, [2] is difficult for many mathematicians (including this author) because it requires a familiarity with a great deal of hefty sheaf-theoretic machinery. This is too bad, because the basic ideas behind intersection homology (elucidated in [1]) are very geometric.In this paper we give a sheafless definition of intersection homology groups for an arbitrary stratified set and we give an elementary sheafless proof that they are topological invariants, i.e. independent of the stratification.In doing so, we find some new perversities whose intersection homology groups are topological invariants. Unfortunately, these new perverse intersection homology classes do not seem to intersect with anything (which is probably why they were ignored by Goresky and MacPherson). But in any case these groups are invariants of singular spaces which might be of some interest.     

Ends of maps,II

Versions of the finiteness obstruction and simple homotopy theory within overX are developed. This provides a setting for obstructions to the map analogs of the end ands-cobordism theorems for manifolds. These are applied to study equivariant mapping cylinder neighborhoods in topological group actions, triangulations of locally triangulable spaces, and block bundle structures on approximate fibrations.     

Tarski's theorem on intuitionistic logic,for polyhedra

In 1938, Tarski proved that a formula is not intuitionistically valid if, and only if, it has a counter-model in the Heyting algebra of open sets of some topological space. In fact, Tarski showed that any Euclidean space ${\mathbb{R}}^n$ with $n?1$ suffices, as does e.g. the Cantor space. In particular, intuitionistic logic cannot detect topological dimension in the Heyting algebra of all open sets of a Euclidean space. By contrast, we consider the lattice of open subpolyhedra of a given compact polyhedron $P?{\mathbb{R}}^n$, prove that it is a locally finite Heyting subalgebra of the (non-locally-finite) algebra of all open sets of P, and show that intuitionistic logic is able to capture the topological dimension of P through the bounded-depth axiom schemata. Further, we show that intuitionistic logic is precisely the logic of formulæ valid in all Heyting algebras arising from polyhedra in this manner. Thus, our main theorem reconciles through polyhedral geometry two classical results: topological completeness in the style of Tarski, and Ja?kowski's theorem that intuitionistic logic enjoys the finite model property. Several questions of interest remain open. E.g., what is the intermediate logic of all closed triangulable manifolds?     

G‐invariant persistent homology

Classical persistent homology is a powerful mathematical tool for shape comparison. Unfortunately, it is not tailored to study the action of transformation groups that are different from the group Homeo(X) of all self‐homeomorphisms of a topological space X. This fact restricts its use in applications. In order to obtain better lower bounds for the natural pseudo‐distance d_G associated with a group G ? Homeo(X), we need to adapt persistent homology and consider G‐invariant persistent homology. Roughly speaking, the main idea consists in defining persistent homology by means of a set of chains that is invariant under the action of G. In this paper, we formalize this idea and prove the stability of the persistent Betti number functions in G‐invariant persistent homology with respect to the natural pseudo‐distance d_G. We also show how G‐invariant persistent homology could be used in applications concerning shape comparison, when the invariance group is a proper subgroup of the group of all self‐homeomorphisms of a topological space. In this paper, we will assume that the space X is triangulable, in order to guarantee that the persistent Betti number functions are finite without using any tameness assumption. Copyright © 2014 John Wiley & Sons, Ltd.     

Multivariate quadratic forms of random vectors

We obtain the distribution of the sum of n random vectors and the distribution of their quadratic forms: their densities are expanded in series of Hermite and Laguerre polynomials. We do not suppose that these vectors are independent. In particular, we apply these results to multivariate quadratic forms of Gaussian vectors. We obtain also their densities expanded in Mac Laurin series or in the form of an integral. By this last result, we introduce a new method of computation which can be much simpler than the previously known techniques. In particular, we introduce a new method in the very classical univariate case. We remark that we do not assume the independence of normal variables.     

Interval iteration for zeros of systems of equations

Easily verifiable existence and convergence conditions are given for a class of interval iteration algorithms for the enclosure of a zero of a system of nonlinear equations. In particular, a quadratically convergent method is obtained which throughout the iteration uses the same interval enclosure of the derivative.     

Ground state for point particles interacting through a massless scalar Bose field

We consider a massless scalar Bose field interacting with two particles, one of them infinitely heavy. Neither an infrared nor an ultraviolet cutoff is imposed. In case the charge of the particles is of the same sign and sufficiently small, we prove the existence of a ground state.     

From moments of sum to moments of product

We provide an identity that relates the moment of a product of random variables to the moments of different linear combinations of the random variables. Applying this identity, we obtain new formulae for the expectation of the product of normally distributed random variables and the product of quadratic forms in normally distributed random variables. In addition, we generalize the formulae to the case of multivariate elliptically distributed random variables. Unlike existing formulae in the literature, our new formulae are extremely efficient for computational purposes.     

On Lovász’ lattice reduction and the nearest lattice point problem

Answering a question of Vera Sós, we show how Lovász’ lattice reduction can be used to find a point of a given lattice, nearest within a factor ofc ^d (c = const.) to a given point in R ^d . We prove that each of two straightforward fast heuristic procedures achieves this goal when applied to a lattice given by a Lovász-reduced basis. The verification of one of them requires proving a geometric feature of Lovász-reduced bases: ac ₁ ^d lower bound on the angle between any member of the basis and the hyperplane generated by the other members, wherec ₁ = √2/3. As an application, we obtain a solution to the nonhomogeneous simultaneous diophantine approximation problem, optimal within a factor ofC ^d . In another application, we improve the Grötschel-Lovász-Schrijver version of H. W. Lenstra’s integer linear programming algorithm. The algorithms, when applied to rational input vectors, run in polynomial time.     

The Kalman-Yakubovich-Popov theorem for stabilizable hyperbolic boundary control systems

In this paper we present a version of the Kalman-Yakubovich-Popov theorem for a class of boundary control systems of hyperbolic type. Unstable, controllable systems are considered and stabilizability withunbounded feedbacks is permitted.Paper partially supported by the Italian MINISTERO DELLA RICERCA SCIENTIFICA E TECNOLOGICA within the program of GNAFA-CNR and by NATO CRG program SA.5-2-05 (CRG940161).     

Heath–Jarrow–Morton modelling of longevity bonds and the risk minimization of life insurance portfolios

This paper has two parts. In the first, we apply the Heath–Jarrow–Morton (HJM) methodology to the modelling of longevity bond prices. The idea of using the HJM methodology is not new. We can cite Cairns et al. [Cairns A.J., Blake D., Dowd K, 2006. Pricing death: framework for the valuation and the securitization of mortality risk. Astin Bull., 36 (1), 79–120], Miltersen and Persson [Miltersen K.R., Persson S.A., 2005. Is mortality dead? Stochastic force of mortality determined by arbitrage? Working Paper, University of Bergen] and Bauer [Bauer D., 2006. An arbitrage-free family of longevity bonds. Working Paper, Ulm University]. Unfortunately, none of these papers properly defines the prices of the longevity bonds they are supposed to be studying. Accordingly, the main contribution of this section is to describe a coherent theoretical setting in which we can properly define these longevity bond prices. A second objective of this section is to describe a more realistic longevity bonds market model than in previous papers. In particular, we introduce an additional effect of the actual mortality on the longevity bond prices, that does not appear in the literature. We also study multiple term structures of longevity bonds instead of the usual single term structure. In this framework, we derive a no-arbitrage condition for the longevity bond financial market. We also discuss the links between such HJM based models and the intensity models for longevity bonds such as those of Dahl [Dahl M., 2004. Stochastic mortality in life insurance: Market reserves and mortality-linked insurance contracts, Insurance: Math. Econom. 35 (1) 113–136], Biffis [Biffis E., 2005. Affine processes for dynamic mortality and actuarial valuations. Insurance: Math. Econom. 37, 443–468], Luciano and Vigna [Luciano E. and Vigna E., 2005. Non mean reverting affine processes for stochastic mortality. ICER working paper], Schrager [Schrager D.F., 2006. Affine stochastic mortality. Insurance: Math. Econom. 38, 81–97] and Hainaut and Devolder [Hainaut D., Devolder P., 2007. Mortality modelling with Lévy processes. Insurance: Math. Econom. (in press)], and suggest the standard pricing formula of these intensity models could be extended to more general settings.In the second part of this paper, we study the asset allocation problem of pure endowment and annuity portfolios. In order to solve this problem, we study the “risk-minimizing” strategies of such portfolios, when some but not all longevity bonds are available for trading. In this way, we introduce different basis risks.     

Perturbation theory of p-adic Fredholm and semi-Fredholm operators

The main goal of this paper is to prove that Fredholm and semi-Fredholm operators between p-adic (or non-archimedean) Banach spaces, as well as the index of those that are Fredholm, are preserved when they are perturbed by a small operator. In this way we obtain the non-archimedean counterparts of some well-known results of classical Operator Theory. For non-spherically complete fields the classical techniques are no longer valid in the p-adic context, which forces us to seek a completely different way to attack the problem. The p-adic concept of orthogonality will be one of the key tools to get our purpose.     

A choice of forcing terms in inexact Newton method

Inexact Newton method is one of the effective tools for solving systems of nonlinear equations. In each iteration step of the method, a forcing term, which is used to control the accuracy when solving the Newton equations, is required. The choice of the forcing terms is of great importance due to their strong influence on the behavior of the inexact Newton method, including its convergence, efficiency, and even robustness. To improve the efficiency and robustness of the inexact Newton method, a new strategy to determine the forcing terms is given in this paper. With the new forcing terms, the inexact Newton method is locally Q-superlinearly convergent. Numerical results are presented to support the effectiveness of the new forcing terms.