Related papers: Polyhedral Representation of Discrete Morse Functi…
We prove that an abstract (possibly infinite dimensional) complex irreducible representation of a discrete supersolvable group is monomial if and only if it has finite weight. We also prove a general result that implies converse of Schur's…
We demonstrate that any function $f$ from a finite set $Y$ to itself can be represented linearly. Specifically, we prove the existence of an injective map $j$ from $Y$ into a modular ring $\mathbb{Z}/m\mathbb{Z}$ and a constant $a \in…
We prove in this paper the weak consistency of a general finite volume convection operator acting on discrete functions which are possibly not piecewise-constant over the cells of the mesh and over the time steps. It yields an extension of…
In a number of papers, Y. Sternfeld investigated the problems of representation of continuous and bounded functions by linear superpositions. In particular, he proved that if such representation holds for continuous functions, then it holds…
Given a pure, full-dimensional, locally strongly connected polyhedral complex C with convex support, we characterize, by a local codimension-2 condition, polyhedral complexes that coarsen C. The proof of the characterization draws upon a…
We describe locally the representation varieties of fundamental groups for smooth complex varieties at representations coming from the monodromy of a variation of mixed Hodge structure. Given such a manifold $X$ and such a linear…
In this article, we prove that a complex cone is a set of injectivity for the twisted spherical means for the class of all continuous functions on $\mathbb C^n$ as long as it does not completely lay on the level surface of any bi-graded…
We construct Morse homology groups associated with any regular function on a smooth complex algebraic variety, allowing singular and non-compact critical loci. These groups are generated by critical points of a certain large pertubation of…
Orbifold groupoids have been recently widely used to represent both effective and ineffective orbifolds. We show that every orbifold groupoid can be faithfully represented on a continuous family of finite dimensional Hilbert spaces. As a…
The class of $\mu$-compact sets can be considered as a natural extension of the class of compact metrizable subsets of locally convex spaces, to which the particular results well known for compact sets can be generalized. This class…
We give a characterization of the minimal tropical half-spaces containing a given tropical polyhedron, from which we derive a counter example showing that the number of such minimal half-spaces can be infinite, contradicting some statements…
We give a new self-contained proof of Poincar\'e's Polyhedron Theorem on presentations of discontinuous groups of isometries of a Riemann manifold of constant curvature. The proof is not based on the theory of covering spaces, but only…
Faces play a central role in the combinatorial and computational aspects of polyhedra. In this paper, we present the first formalization of faces of polyhedra in the proof assistant Coq. This builds on the formalization of a library…
In this paper we study the representation of Morse polynomial functions which are nonnegative on a compact basic closed semi-algebraic set in $\mathbb R^n$, and having only finitely many zeros in this set. Following C. Bivi\`{a}-Ausina, we…
In a previous paper, under the assumption that the Riemannian metric is special, the author proved some results about the moduli spaces and CW structures arising from Morse theory. By virtue of topological equivalence, this paper extends…
For any Coxeter system $(W,S)$ of rank $n$, we introduce an abstract boolean complex (simplicial poset) of dimension $2n-1$ that contains the Coxeter complex as a relative subcomplex. Faces are indexed by triples $(I,w,J)$, where $I$ and…
Global radial basis function (RBF) collocation methods with inifinitely smooth basis functions for partial differential equations (PDEs) work in general geometries, and can have exponential convergence properties for smooth solution…
We discuss the possibility to represent smooth nonnegative matrix-valued functions as finite linear combinations of fixed matrices with positive real-valued coefficients whose square roots are Lipschitz continuous. This issue is reduced to…
The basis of the identity representation of a polyhedral group is able to describe functions with symmetries of a platonic solid, i.e., 3-D objects which geometrically obey the cubic symmetries. However, to describe the dynamic of assembles…
We study maximal representations of nonnegative sesquilinear forms in real or complex Hilbert spaces, that are not necessarily closed or even closable. We associate positive self-adjoint operators with such forms, in a sense similar to…