SearcharxivSearch

arXiv subjects

Fabrice Nonez

Publications and source records attributed to Fabrice Nonez.

5 recordsLinked to original sources

Spectral embedding through weak* limit of finite-dimensional approximations

The scope of this text is to study a process that induces another proof of the Spectral Embedding Theorem: that any densely defined symmetric operator can be extended by a multiplication operator through an embedding of the Hilbert space into an $L_2$ space. Furthermore, that process is meant to be used for specific operators, where natural spectral embeddings or equivalences may be found. That process has previously been considered in arXiv:2411.06281 and in arXiv:2511.18189, where it has been introduced through nonstandard techniques. Our contribution aims to be the reformulation of the theory through classical analysis arguments, without the use of nonstandard techniques nor ultraproducts.

math.FA

A nonstandard approach to the direct integral version of the Spectral Theorem

We use nonstandard methods to prove the direct integral version of the Spectral Theorem for Unbounded Self-adjoint Operators. Our proof avoids the standard reduction to the case of bounded normal operators via the Cayley transform and, as such, works uniformly for both real and complex Hilbert spaces. Our method also yields a new nonstandard proof of the spectral measure version of the Spectral Theorem.

math.SP

Spectral equivalences through nonstandard samplings

The goal of this paper is to introduce a process that generates, given Hilbert space $H$ and symmetric operator $A$, an embedding of $H$ into an $L_2$-space through which $A$ is extended by a multiplication operator. This process will depend on two parameters, the nonstandard sampling and the standard-biased scale. We will use that process to prove diverse versions of the general spectral theorem, showing its appeal. Furthermore, through landmark examples, we will observe that by carefully tweaking the two parameters, we can make the resulting spaces, embeddings and operators quite explicit and natural.

math.FA

Computing the Spatial Probability of Inclusion inside Partial Contours for Computer Vision Applications

In Computer Vision, edge detection is one of the favored approaches for feature and object detection in images since it provides information about their objects boundaries. Other region-based approaches use probabilistic analysis such as clustering and Markov random fields, but those methods cannot be used to analyze edges and their interaction. In fact, only image segmentation can produce regions based on edges, but it requires thresholding by simply separating the regions into binary in-out information. Hence, there is currently a gap between edge-based and region-based algorithms, since edges cannot be used to study the properties of a region and vice versa. The objective of this paper is to present a novel spatial probability analysis that allows determining the probability of inclusion inside a set of partial contours (strokes). To answer this objective, we developed a new approach that uses electromagnetic convolutions and repulsion optimization to compute the required probabilities. Hence, it becomes possible to generate a continuous space of probability based only on the edge information, thus bridging the gap between the edge-based methods and the region-based methods. The developed method is consistent with the fundamental properties of inclusion probabilities and its results are validated by comparing an image with the probability-based estimation given by our algorithm. The method can also be generalized to take into consideration the intensity of the edges or to be used for 3D shapes. This is the first documented method that allows computing a space of probability based on interacting edges, which opens the path to broader applications such as image segmentation and contour completion.

cs.CV

Fast and Optimal Laplacian Solver for Gradient-Domain Image Editing using Green Function Convolution

In computer vision, the gradient and Laplacian of an image are used in different applications, such as edge detection, feature extraction, and seamless image cloning. Computing the gradient of an image is straightforward since numerical derivatives are available in most computer vision toolboxes. However, the reverse problem is more difficult, since computing an image from its gradient requires to solve the Laplacian equation, also called Poisson equation. Current discrete methods are either slow or require heavy parallel computing. The objective of this paper is to present a novel fast and robust method of solving the image gradient or Laplacian with minimal error, which can be used for gradient domain editing. By using a single convolution based on a numerical Green's function, the whole process is faster and straightforward to implement with different computer vision libraries. It can also be optimized on a GPU using fast Fourier transforms and can easily be generalized for an n dimension image. The tests show that, for images of resolution 801x1200, the proposed GFC can solve 100 Laplacian in parallel in around 1.0 milliseconds ms. This is orders of magnitude faster than our nearest competitor which requires 294ms for a single image. Furthermore, we prove mathematically and demonstrate empirically that the proposed method is the least error solver for gradient domain editing. The developed method is also validated with examples of Poisson blending, gradient removal, and the proposed gradient domain merging GDM. Finally, we present how the GDM can be leveraged in future works for convolutional neural networks CNN.

cs.CV