Related papers: Discrete Conley Index for Zero-dimensional Basic S…
This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assisted by the Coq system. Fundamental properties are proven by…
This paper is devoted to discrete mechanical systems subject to external forces. We introduce a discrete version of systems with Rayleigh-type forces, obtain the equations of motion and characterize the equivalence for these systems.…
Discrete Morse theory helps us compute the homology groups of simplicial complexes in an efficient manner. A "good" gradient vector field reduces the number of critical simplices, simplifying the homology calculations by reducing them to…
Working in infinite dimensional linear spaces, we deal with support for closed sets without interior. We generalize the Convexity Theorem for closed sets without interior. Finally we study the infinite dimensional version of Jordan…
This paper is devoted to the analysis of linear second order discrete-time descriptor systems (or singular difference equations (SiDEs) with control). Following the algebraic approach proposed by Kunkel and Mehrmann for pencils of matrix…
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…
The definition of order indices for density matrices is extended to finite systems. This makes it possible to characterize the level of ordering in such finite systems as macromolecules, nanoclusters, quantum dots, or trapped atoms. The…
This text gives a construction of a differential graded Lie algebra in Nori's category of effective homological motives. In fact the construction works in more a general setting than that of an Abelian category. This allows us to give the…
In this paper we give an algorithm to determine, for any given suborder closed class of series-parallel posets, a structure theorem for the class. We refer to these structure theorems as structural descriptions.
We compute the rational homology of the moduli stack $\mathcal{M}$ of objects in the derived category of certain smooth complex projective varieties $X$ including toric varieties, flag varieties, curves, surfaces, and some 3- and 4-folds.…
We study harmonic mappings of the form $f(z) = h(z) - \overline{z}$, where $h$ is an analytic function. In particular we are interested in the index (a generalized multiplicity) of the zeros of such functions. Outside the critical set of…
We present in this paper an application of the theory of principal bundles to the problem of nonlinear dimensionality reduction in data analysis. More explicitly, we derive, from a 1-dimensional persistent cohomology computation, explicit…
We construct a singular homology theory on the category of schemes of finite type over a Dedekind domain and verify several basic properties. For arithmetic schemes we construct a reciprocity isomorphism between the integral singular…
Contour trees have been developed to visualize or encode scalar data in imaging technologies and scientific simulations. Contours are defined on a continuous scalar field. For discrete data, a continuous function is first interpolated,…
Topological degrees of continuous mappings between manifolds of even dimension are studied in terms of index theory of pseudo-differential operators. The index formalism of non-commutative geometry is used to derive analytic integral…
Some properties of random Conley index are obtained and then a sufficient condition for the existence of abstract bifurcation points for both discrete-time and continuous-time random dynamical systems is presented. This stochastic…
A simply connected topological space X has homotopy Lie algebra $\pi_*(\Omega X) \tensor \Q$. Following Quillen, there is a connected differential graded free Lie algebra (dgL) called a Lie model, which determines the rational homotopy type…
We derive an identity that relates a class of multiple integrals involving Vandermonde polynomials to divided differences. Alternatively the identity can be viewed as an integral formula for divided differences. As part of the derivation we…
The notion of differentiation index for DAE systems of arbitrary order with generic second members is discussed by means of the study of the behavior of the ranks of certain Jacobian associated sub-matrices. As a by-product, we obtain upper…
We develop a discrete Morse theory for open simplicial complexes $K=X\setminus T$ where $X$ is a simplicial complex and $T$ a subcomplex of $X$. A discrete Morse function $f$ on $K$ gives rise to a discrete Morse function on the order…