Related papers: Relative Obstructions and Spectral Diagnostics for…
Many natural shapes have most of their characterizing features concentrated over a few regions in space. For example, humans and animals have distinctive head shapes, while inorganic objects like chairs and airplanes are made of…
Model error estimation remains one of the key challenges in uncertainty quantification and predictive science. For computational models of complex physical systems, model error, also known as structural error or model inadequacy, is often…
The study of quantum reference frames has received renewed interest over the last years, leading to the parallel development of non-equivalent frameworks by different communities. We clarify the differences between these frameworks. At the…
Deciding whether there is a single tree -a supertree- that summarizes the evolutionary information in a collection of unrooted trees is a fundamental problem in phylogenetics. We consider two versions of this question: agreement and…
We develop the geometric and homological framework for non-commutative $n$-ary $\Gamma$-semirings by constructing a sheaf and derived theory over their non-commutative $\Gamma$-spectrum. Starting with a non-commutative $n$-ary…
This paper demystifies the notion of the smashing spectrum of a stable presentably symmetric monoidal $\infty$-category, defined as a locale whose opens correspond to smashing localizations. Previously, this concept was studied in…
Disordered proteins play essential roles in myriad cellular processes, yet their structural characterization remains a major challenge due to their dynamic and heterogeneous nature. We here present a community-driven initiative to address…
A key topic in network science is the detection of intermediate or meso-scale structures. Community, core-periphery, disassortative and other partitions allow us to understand the organisation and function of large networks. In this work we…
This paper is the first in a series. The main goal of the series is to present a geometric construction of certain remarkable tensor categories arising from quantum groups coresponding to the value of deformation parameter $q$ equal to a…
The universal Spencer and de Rham complexes of sheaves over a smooth or analytical manifold are well known to play a basic role in the theory of $\mathcal{D}$-modules. In this article we consider a double complex of sheaves generalizing…
This paper presents a novel framework, named Global-Local Correspondence Framework (GLCF), for visual anomaly detection with logical constraints. Visual anomaly detection has become an active research area in various real-world…
We construct a Grothendieck site whose objects are Mealy machines over definable sets in an o-minimal structure and whose coverings are jointly surjective families of definable open immersions. On this site, we define presheaves of…
We give necessary and sufficient conditions for the hull of a coherent sheaf to be coherent.
Reliable real-time analysis of sensor data is essential for structural health monitoring (SHM) of high-value assets, yet a major challenge is to obtain spatially resolved full-field aleatoric and epistemic uncertainties for trustworthy…
Adjusting for an unmeasured confounder is generally an intractable problem, but in the spatial setting it may be possible under certain conditions. In this paper, we derive necessary conditions on the coherence between the treatment…
Complex textual information extraction tasks are often posed as sequence labeling or \emph{shallow parsing}, where fields are extracted using local labels made consistent through probabilistic inference in a graphical model with constrained…
A classic result states that on any locally contractible and paracompact topological space, singular cohomology and sheaf cohomology are isomorphic. A result by Ramanan claims that the paracompactness assumption may be removed, but…
We find the sharp bounds on $h^0(F)$ for one-dimensional semistable sheaves $F$ on a projective variety $X$ by using the spectrum of semistable sheaves. The result generalizes the Clifford theorem. When $X$ is the projective plane…
Complex networks or graphs are ubiquitous in sciences and engineering: biological networks, brain networks, transportation networks, social networks, and the World Wide Web, to name a few. Spectral graph theory provides a set of useful…
This paper proposes a novel feature called spectrum congruency for describing edges in images. The spectrum congruency is a generalization of the phase congruency, which depicts how much each Fourier components of the image are congruent in…