Related papers: Relations between different types of Hypoelliptici…
We classify all the relative positions between an ellipsoid and an elliptic paraboloid when the ellipsoid is small in comparison with the paraboloid ({\it small} meaning that the ellipsoid cannot be tangent to the paraboloid at two points…
Hysteresis can be defined from a dynamical systems perspective with respect to equilibrium points. Consequently, hysteresis naturally lends itself as a topic to illustrate and extend concepts in a dynamical systems course. A number of…
The purpose of this note is to show that the regular locus of a complex variety is locally parabolic at the singular set. This yields that the regular locus of a compact complex variety, e.g., of a projective variety, is parabolic. We give…
We explain how recent developments in the fields of realisability models for linear logic -- or geometry of interaction -- and implicit computational complexity can lead to a new approach of implicit computational complexity. This…
We present several philosophical ideas emerging from the studies of complex systems. We make a brief introduction to the basic concepts of complex systems, for then defining "abstraction levels". These are useful for representing…
General structure of the multivariate plain and q-hypergeometric terms and univariate elliptic hypergeometric terms is described. Some explicit examples of the totally elliptic hypergeometric terms leading to multidimensional integrals on…
Three classes of higher-order nonlinear parabolic hyperbolic, and nonlinear dispersion equations are shown to admit exact blow-up or compacton solutions, which are induced by elliptic equations with non-Lipschitz nonlinearities. Variational…
We discuss critical elliptic systems in potential form. We prove existence, multiplicity, and compactness of solutions.
In this paper we discuss various philosophical aspects of the hyperstructure concept extending networks and higher categories. By this discussion we hope to pave the way for applications and further developments of the mathematical theory…
Semantic subtyping is an approach to define subtyping relations for type systems featuring union and intersection type connectives. It has been studied only for strict languages, and it is unsound for non-strict semantics. In this work, we…
A geometric interpretation is given for certain elliptic-hyperbolic systems in the plane. Among several examples, one which reduces in the elliptic region to the equations for harmonic 1-forms on the projective disc is studied in detail. A…
Local explainability methods -- those which seek to generate an explanation for each prediction -- are becoming increasingly prevalent due to the need for practitioners to rationalize their model outputs. However, comparing local…
We consider various notions of completeness in symplectic topology and ask two related questions. Does a complete open symplectic manifold remain complete after excising a subset? Can two sets be made arbitrarily far apart by adjusting the…
The relational version of the modal interpretation offers both a consistent quantum ontology and solution for quantum paradoxes within the framework of nonrelativistic quantum mechanics. In the present paper this approach is generalized for…
After some background on lattices, the locality framework introduced in earlier work by the authors is extended to cover posets and lattices. We then extend the correspondence between Euclidean structures on vector spaces and orthogonal…
In contrast to classical strongly continuous semigroups, the study of bi-continuous semigroups comes with some freedom in the properties of the associated locally convex topology. This paper aims to give minimal assumptions in order to…
Many theories of physical interest, which admit a Hamiltonian description, exhibit symmetries under a particular class of non - strictly canonical transformation, known as dynamical similarities. The presence of such symmetries allows a…
Topological groupoids admit various types of morphisms. We push these notions to the level of continuous groupoid actions to obtain various types of groupoid action morphisms. Some dynamical properties and their relation to these morphisms…
We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…
The notion of $p$-ellipticity has recently played a significant role in improving our understanding of issues of solvability of boundary value problems for scalar complex valued elliptic PDEs. In particular, the presence of $p$-ellipticity…