On the flatness of digital hyperplanes

Convexity is one of the useful geometric properties of digital sets in digital image processing. There are various applications which require deforming digital convex sets while preserving their convexity. In this article, we consider the contraction of such digital sets by removing digital points one by one. For this aim, we use some tools of combinatorics on words to detect a set of removable points and to define such convexity-preserving contraction of a digital set as an operation of re-writing its boundary word. In order to chose one of removable points for each contraction step, we present three geometrical strategies, which are related to vertex angle and area changes. We also show experimental results of applying the methods to repair some non-convex digital sets, which are obtained by rotations of convex digital sets.

We present the first combinatorial algorithm for efficiently computing the Reeb space in all dimensions. The Reeb space is a higher‐dimensional generalization of the Reeb graph, which is standard practice in the analysis of scalar fields, along with other computational topology tools such as persistent homology and the Morse‐Smale complex. One significant limitation of topological tools for scalar fields is that data often involves multiple variables, where joint analysis is more insightful. Generalizing topological data structures to multivariate data has proven challenging and the Reeb space is one of the few available options. However, none of the existing algorithms can efficiently compute the Reeb space in arbitrary dimensions and there are no available implementations which are robust with respect to numerical errors. We propose a new algorithm for computing the Reeb space of a generic piecewise linear map over a simplicial mesh of any dimension called arrange and traverse. We implement a robust specialization of our algorithm for tetrahedral meshes and evaluate it on real‐life data.

We assume that a charged quantum particle moves in a space of dimension d = 2, 3,... and is scattered by a fixed Coulomb center. We derive and study expansions of the wave function and all radial functions of such a particle in integer powers of the wave number and in Bessel functions of a real order. We prove that finite sums of such expansions are asymptotic approximations of the wave functions in the low-energy limit.

Digital geometry is very different from Euclidean geometry in many ways and the intersection of two digital lines or planes is often used to illustrate those differences. Nevertheless, while digital lines and planes are widely studied in many areas, very few works deal with the intersection of such objects. In this paper, we investigate the geometrical and arithmetical properties of those objects. More precisely, we give some new results about the connectivity, periodicity and minimal parameters of the intersection of two digital lines or planes.

High speed dirac algebra calculations in a space of arbitrary dimension by means of a computer algebra system

A singular vortex configuration of a static external magnetic field polarizes the vacuum of a quantum charged scalar field in a space of arbitrary dimension. We use the zeta-function method and the heat kernel method to solve the problem of regularizing and eliminating an ultraviolet divergence and to find the induced vacuum energy density. A sufficient condition for using the zeta-function method to solve the problems in spaces of arbitrary dimension is formulated.

Incompressible limit for a two-species model with coupling through Brinkman's law in any dimension

The Euler-Korreweg model results from a modification of the standard Euler equations governing the motion of compressible inviscid fluids through the adjunction of the Korteweg stress tensor, which takes into account capillarity effects in regions where the density experiences large variations, typically across interfaces for fluids exhibiting phase changes. One of the main difficulties in the analysis of the Cauchy problem for this model, a third order system of conservation laws, is the absence of dissipative regularization, since viscosity is neglected. The Cauchy problem for isothermal fluids in one space dimension has been addressed by the authors in an earlier paper, using Lagrangian coordinates. Here the Cauchy problem is investigated in arbitrary space dimension N, still for isothermal fluids, and a variable capillarity coefficient. A local well-posedness result is obtained in Sobolev spaces as though the density gradient and the velocity field were solutions of a symmetrizable hyperbolic system. More precisely, well-posedness is shown for Hs+1 x H-s (s > N/2 + 1) perturbations of smooth global solutions, either constant states or traveling profiles. In addition, almost-global existence is proved for small enough perturbations, and a blow-up criterion is shown. Proofs rely on a suitable extended formulation of the system, which turns out to amount to a nonlinear degenerate Schrodinger equation coupled with a transport equation, and on a priori estimates without loss of derivatives for the extended system, which necessitate various 'gauge' functions to cancel out bad commutators.

Quantitative Shapiro's dispersion uncertainty principle and umbrella theorem are proved for the multivariate continuous shearlet transform introduced earlier in Dahlke et al. [The continuous shearlet transform in arbitrary space dimensions. Preprint Nr. 2008-7, Philipps-Universität Marburg; 2008; The continuous shearlet transform in arbitrary space dimensions. J Fourier Anal Appl. 2010;16:340–364]. Also, we extend local uncertainty principles for a set of finite measure to .

Self-similar approximation for an anharmonic oscillator of arbitrary dimensionality

A piece of functional programming folklore due to Piponi provides Lob's theorem from modal provability logic with a computational interpretation as an unusual fixed point. Interpreting modal necessity as an arbitrary Functor in Haskell, the type of Lob's theorem is inhabited by a fixed point function allowing each part of a structure to refer to the whole. However, Functor's logical interpretation may be used to prove Lob's theorem only by relying on its implicit functorial strength, an axiom not available in the provability modality. As a result, the well known loeb fixed point cheats by using functorial strength to implement its recursion. Rather than Functor, a closer Curry analogue to modal logic's Howard inspiration is a closed (semi-)comonad, of which Haskell's ComonadApply typeclass provides analogous structure. Its computational interpretation permits the definition of a novel fixed point function allowing each part of a structure to refer to its own context within the whole. This construction further guarantees maximal sharing and asymptotic efficiency superior to loeb for locally contextual computations upon a large class of structures. With the addition of a distributive law, closed comonads may be composed into spaces of arbitrary dimensionality while preserving the performance guarantees of this new fixed point. From these elements, we construct a small embedded domain-specific language to elegantly express and evaluate multidimensional spreadsheet-like recurrences for a variety of cellular automata.

Early transformations in odor representation

A General scheme for dithering multidimensional signals, and a visual instance of encoding images with limited palettes

The paper deals with the construction of radially symmetric heat waves, which are solutions to the heat conduction equation with an arbitrary form of nonlinearity under nonzero boundary condition specified on a moving manifold. The boundary value problem under study is a generalization of those solved by us earlier. Firstly, the class of the considered parabolic equations is extended; secondly, the boundary condition generating a heat wave in a space of arbitrary dimensionality has a more general form. A new theorem of the existence and uniqueness of the heat-wave-type analytical solution is proved for this problem. An approximate method of constructing solutions of the required form is proposed, which is based on expansion in radial basis functions combined with the collocation method. At each time step, the solution is constructed in two stages. The first stage is solving a problem in the region bounded by a specified moving manifold and a heat wave front, which is a priori unknown and evaluated during solving. Herewith, a special substitution is used, i.e. the required function and the spatial variable change their roles. In the second stage, the solution is completed in the region bounded by the positions of the specified moving manifold on a current step and at the initial time. The boundary conditions are defined from the first-step solution. In the test example, the solutions constructed by the developed algorithm are compared with the known exact solution. Calculations show a good accuracy of the numerical solutions at various values of the numerical parameters, including space dimensionality. The observed numerical convergence with respect to the time step shows the correctness of the proposed computational procedure.

Internal points were introduced in the literature of topological vector spaces to characterize the finest locally convex vector topology. Later on, they have been generalized to the context of real vector spaces by means of the inner points. Inner points can be seen as the most opposite concept to the extreme points. In this manuscript we solve the “faceless problem”, that is, the informally posed open problem of characterizing those convex sets free of proper faces. Indeed, we prove that a non-singleton convex subset of a real vector space is free of proper faces if and only if every point of the convex set is an inner point. As a consequence, we prove the following dichotomy theorem: a point of a convex set of a real vector space is either a extreme point or an inner point of some face. We also characterize the non-singleton closed convex subsets of a topological vector space free of proper faces, which turn out to be the linear manifolds. An application of this allows us to show that the only possible minimal faces of a linearly bounded closed convex subset of a topological vector space are the extreme points. As an application of the technique we develop to prove our results, we easily construct dense proper faces of convex sets and non-dense proper faces whose closure is not a face. This fact allows us to equivalently renorm any infinite dimensional Banach space so that its unit ball contains a non-closed face. Even more, we prove that every infinite dimensional Banach space containing an isomorphic copy of $$c_0$$ or $$\ell _p$$ , $$1<p<\infty $$ , can be equivalently renormed so that its unit ball contains a face whose closure is not a face.