Abstract: This paper deals with the investigation of the computational solutions of a unified fractional reaction-diffusion equation, which is obtained from the standard diffusion equation by replacing the time derivative of first order by the generalized Riemann–Liouville fractional derivative defined by others and the space derivative of second order by the Riesz–Feller fractional derivative and adding a function ɸ(x, t). The solution is derived by the application of the Laplace and Fourier transforms in a compact and closed form in terms of Mittag–Leffler functions. The main result obtained in this paper provides an elegant extension of the fundamental solution for the space-time fractional diffusion equation obtained by others and the result very recently given by others. At the end, extensions of the derived results, associated with a finite number of Riesz–Feller space fractional derivatives, are also investigated.
Abstract: A fundamental tool in shape analysis is the virtual embedding of the Riemannian manifold describing the geometry of a shape into Euclidean space. Several methods have been proposed to embed isometric shapes into flat domains, while preserving the distances measured on the manifold. Recently, attention has been given to embedding shapes into the eigenspace of the Laplace–Beltrami operator. The Laplace–Beltrami eigenspace preserves the diffusion distance and is invariant under isometric transformations. However, Laplace–Beltrami eigenfunctions computed independently for different shapes are often incompatible with each other. Applications involving multiple shapes, such as pointwise correspondence, would greatly benefit if their respective eigenfunctions were somehow matched. Here, we introduce a statistical approach for matching eigenfunctions. We consider the values of the eigenfunctions over the manifold as the sampling of random variables and try to match their multivariate distributions. Comparing distributions is done indirectly, using high order statistics. We show that the permutation and sign ambiguities of low order eigenfunctions can be inferred by minimizing the difference of their third order moments. The sign ambiguities of antisymmetric eigenfunctions can be resolved by exploiting isometric invariant relations between the gradients of the eigenfunctions and the surface normal. We present experiments demonstrating the success of the proposed method applied to feature point correspondence.
Abstract: This paper outlines and qualitatively compares the implementations of seven different methods for solving Poisson’s equation on the disk. The methods include two classical finite elements, a cotan formula-based discrete differential geometry approach and four isogeometric constructions. The comparison reveals numerical convergence rates and, particularly for isogeometric constructions based on Catmull–Clark elements, the need to carefully choose quadrature formulas. The seven methods include two that are new to isogeometric analysis. Both new methods yield O(h3) convergence in the L2 norm, also when points are included where n 6≠ 4 pieces meet. One construction is based on a polar, singular parameterization; the other is a G1 tensor-product construction.
Abstract: Allegories are enriched categories generalizing a category of sets and binary relations. In this paper, we extend a new, recently-introduced conceptual data model based on allegories by adding support for modal operators and developing a modal interpretation of the model in any allegory satisfying certain additional (but natural) axioms. The possibility of using different allegories allows us to transparently use alternative logical frameworks, such as fuzzy relations. Mathematically, our work demonstrates how to enrich with modal operators and to give a many world semantics to an abstract algebraic logic framework. We also give some examples of applications of the modal extension.
Abstract: There is a contact problem between classical probability and quantum outcomes. Thus, a standard result from classical probability on the existence of joint distributions ultimately implies that all quantum observables must commute. An essential task here is a closer identification of this conflict based on deriving commutativity from the weakest possible assumptions, and showing that stronger assumptions in some of the existing no-go proofs are unnecessary. An example of an unnecessary assumption in such proofs is an entangled system involving nonlocal observables. Another example involves the Kochen-Specker hidden variable model, features of which are also not needed to derive commutativity. A diagram is provided by which user-selected projectors can be easily assembled into many new, graphical no-go proofs.