Related papers: Partial functions and domination
Linearity and ramification constraints have been widely used to weaken higher-order (primitive) recursion in such a way that the class of representable functions equals the class of polytime functions. We show that fine-tuning these two…
The domination polynomial (the total domination polynomial) of a graph $ G $ of order $ n $ is the generating function of the number of dominating sets (total dominating sets) of $ G $ of any size. In this paper, we study the domination…
We discuss the the notion of a partial dynamical symmetry (PDS), for which a prescribed symmetry is obeyed by only a subset of solvable eigenstates, while other eigenstates are strongly mixed. We present an explicit construction of…
We introduce a notion of residual derivative for elements of a preordered set, a construction that generalizes both the Frattini subgroup in algebra and the Cantor-Bendixson derivative in T1 topological spaces. For dual algebraic coframes…
We investigate the dependence of Poincar\'e recurrence-times statistics on the choice of recurrence-set, by sampling the dynamics of two- and four-dimensional Hamiltonian maps. We derive a method that allows us to visualize the direct…
Using standard domain-theoretic fixed-points, we present an approach for defining recursive functions that are formulated in monadic style. The method works both in the simple option monad and the state-exception monad of Isabelle/HOL's…
We study qualitative properties of the set of recurrent points of finitely generated free semigroups of measurable maps. In the case of a single generator the classical Poincare recurrence theorem shows that these properties are closely…
The transformation of the partial fractional derivatives under spatial rotation in $R^2$ are derived for the Riemann-Liouville and Caputo definitions. These transformation properties link the observation of physical quantities, expressed…
The notion of microscopic state of the system at a given moment of time as a point in the phase space as well as a notion of trajectory is widely used in classical mechanics. However, it does not have an immediate physical meaning, since…
Our concern is with Riemannian symmetric spaces $Z=G/K$ of the non-compact type and more precisely with the Poisson transform $\mathcal{P}_\lambda$ which maps generalized functions on the boundary $\partial Z$ to $\lambda$-eigenfunctions on…
Data depth proves successful in the analysis of multivariate data sets, in particular deriving an overall center and assigning ranks to the observed units. Two key features are: the directions of the ordering, from the center towards the…
We introduce a definition of the fractional Laplacian $(-\Delta)^{s(\cdot)}$ with spatially variable order $s:\Omega\to [0,1]$ and study the solvability of the associated Poisson problem on a bounded domain $\Omega$. The initial motivation…
Based on the definition of generalized partially bent functions, using the theory of linear transformation, the relationship among generalized partially bent functions over ring Z N, generalized bent functions over ring Z N and affine…
A partially ordered set P is representable if there is a bounded distributive lattice such that its ordered set of prime ideals is order-isomorphic to P. We show that if the order components of a poset P are representable, then so is P.…
To enable the study of open sets in computational approaches to mathematics, lots of extra data and structure on these sets is assumed. For both foundational and mathematical reasons, it is then a natural question, and the subject of this…
In this paper a general theory of semi-classical matrix orthogonal polynomials is developed. We define the semi-classical linear functionals by means of a distributional equation $D(u A) = u B,$ where $A$ and $B$ are matrix polynomials.…
Recursive analysis was introduced by A. Turing [1936], A. Grzegorczyk [1955], and D. Lacombe [1955]. It is based on a discrete mechanical framework that can be used to model computation over the real numbers. In this context the…
Partial rigidity is a quantitative notion of recurrence and provides a global obstruction which prevents the system from being strongly mixing. A dynamical system $(X, \mathcal{X}, \mu, T)$ is partially rigid if there is a constant $\delta…
We consider the motion of a point particle with spin in a stationary spacetime. We define, following Witzany (2019) and later Ramond (2022), a twelve dimensional Hamiltonian dynamical system whose orbits coincide with the solutions of the…
In this article we introduce a class of discontinuous almost automorphic functions which appears naturally in the study of almost automorphic solutions of differential equations with piecewise constant argument. Their fundamental properties…