相关论文: Extendability in the Sheaf-theoretic Approach: Con…

We quantify the topological expansion properties of bounded degree simplicial complexes in terms of a family of sublinear functions, in analogy with the separation profile of Benjamini-Schramm-Tim\'ar for classical expansion of bounded…

We define and study the notion of a locally bounded enriched category over a (locally bounded) symmetric monoidal closed category, generalizing the locally bounded ordinary categories of Freyd and Kelly. In addition to proving several…

Generalized noncontextuality is a well-studied notion of classicality that is applicable to a single system, as opposed to Bell locality. It relies on representing operationally indistinguishable procedures identically in an ontological…

The Wigner's friend thought experiment has gained a resurgence of interest in recent years thanks to no-go theorems that extend it to Bell-like scenarios. One of these, by us and co-workers, showcased the contradiction that arises between…

We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a…

We explore a connection between monogamy of non-locality and a weak macroscopic locality condition: the locality of the average behaviour. These are revealed by our analysis as being two sides of the same coin. Moreover, we exhibit a…

Coboundary expansion is a high dimensional generalization of the Cheeger constant to simplicial complexes. Originally, this notion was motivated by the fact that it implies topological expansion, but nowadays a significant part of the…

Distributed systems often exhibit emergent behaviors that impact their resilience (Franz-Kaiser et al., 2020; Adilson E. Motter, 2002; Jianxi Gao, 2016). This paper presents a theoretical framework combining attributed graph models,…

Explainable AI (XAI) is crucial for building transparent and trustworthy machine learning systems, especially in high-stakes domains. Concept Bottleneck Models (CBMs) have emerged as a promising ante-hoc approach that provides…

We formally prove the existence of an enduring incongruence pervading a widespread interpretation of the Bell inequality and explain how to rationally avoid it with a natural assumption justified by explicit reference to a mathematical…

We extend the beable interpretation, due to Bell, to the continuous spontaneous localization model (CSL). Results obtained by Vink are generalized to the modified Schrodinger equation of Ghirardi, Pearle and Rimini (GPR), which allows a…

We prove a version of Bell's Theorem in which the Locality assumption is weakened. We start by assuming theoretical quantum mechanics and weak forms of relativistic causality and of realism (essentially the fact that observable values are…

We show that integration with respect to the Euler-Poincar\'e characteristic can be extended from the setting of definable sets to the setting of topological spaces homeomorphic to definable sets. We use that extension to generalize a…

We analyze nonclassical correlations between outcomes of measurements conducted on two spatial radiation modes. These correlations cannot be simulated with statistical mixtures of coherent states or, more generally, with non-negative…

The probabilistic structure of quantum mechanics is investigated in the frequency framework. Such an approach can be interpreted as a contextual approach to quantum probabilities. By using rather complicated frequency calculations we…

We study hidden-variable models from quantum mechanics, and their abstractions in purely probabilistic and relational frameworks, by means of logics of dependence and independence, based on team semantics. We show that common desirable…

We introduce and study the notion of a locally proper map between topological spaces. We show that fundamental constructions of sheaf theory, more precisely proper base change, projection formula, and Verdier duality, can be extended from…

We explore in depth how categorical data can be processed with embeddings in the context of claim severity modeling. We develop several models that range in complexity from simple neural networks to state-of-the-art attention based…

We combine the theory of traces in homotopical algebra with sheaf theory in derived algebraic geometry to deduce general fixed point and character formulas. The formalism of dimension (or Hochschild homology) of a dualizable object in the…

We argue that for a \emph{single particle} Bell's inequality is a consequence of noncontextuality and is \emph{incompatible} with statistical predictions of quantum mechanics. Thus noncontextual models can be empirically falsified,…