English
Related papers

Related papers: A Unified Linear Algebraic Framework for Physical …

200 papers

From the existence of an efficient quantum algorithm for factoring, it is likely that quantum computation is intrinsically more powerful than classical computation. At present, the best upper bound known for the power of quantum computation…

Quantum Physics · Physics 2015-09-14 Ciarán M. Lee , Jonathan Barrett

The Kronecker product-based algorithm for context-free path querying (CFPQ) was proposed by Orachev et al. (2020). We reduce this algorithm to operations over Boolean matrices and extend it with the mechanism to extract all paths of…

Databases · Computer Science 2021-03-30 Ekaterina Shemetova , Rustam Azimov , Egor Orachev , Ilya Epelbaum , Semyon Grigorev

We introduce a preparation-dual notion of contextuality, formulated as an obstruction to stochastic extension. In parallel with the sheaf-theoretic formulation of measurement contextuality, preparation contextuality arises when locally…

Quantum Physics · Physics 2026-05-05 Tom Williams , Mina Doosti , Farid Shahandeh

Many combinatorial optimisation problems hide algebraic structures that, once exposed, shrink the search space and improve the chance of finding the global optimal solution. We present a general framework that (i) identifies algebraic…

Artificial Intelligence · Computer Science 2026-04-08 Min Sun , Federica Storti , Valentina Martino , Miguel Gonzalez-Andrades , Tony Kam-Thong

This paper presents and analyzes the first matrix optimization model which allows general coordinate and spectral constraints. The breadth of problems our model covers is exemplified by a lengthy list of examples from the literature,…

Optimization and Control · Mathematics 2024-10-15 Casey Garner , Gilad Lerman , Shuzhong Zhang

We provide a foundation for working with homological and homotopical methods in categorical algebra. This involves two mutually complementary components, namely (a) the strategic selection of suitable axiomatic frameworks, some well known…

Category Theory · Mathematics 2024-06-24 George Peschke , Tim Van der Linden

We provide a generic algorithm for constructing formulae that distinguish behaviourally inequivalent states in systems of various transition types such as nondeterministic, probabilistic or weighted; genericity over the transition type is…

Logic in Computer Science · Computer Science 2023-11-20 Thorsten Wißmann , Stefan Milius , Lutz Schröder

Causal modelling is a tool for generating causal explanations of observed correlations and has led to a deeper understanding of correlations in quantum networks. Existing frameworks for quantum causality tend to focus on acyclic causal…

Quantum Physics · Physics 2024-03-14 V. Vilasini , Roger Colbeck

In the present paper, we propose a Neuroelectromagnetic Ontology Framework (NOF) for mining Event-related Potentials (ERP) patterns as well as the process. The aim for this research is to develop an infrastructure for mining, analysis and…

Dealing with context dependent knowledge has led to different formalizations of the notion of context. Among them is the Contextualized Knowledge Repository (CKR) framework, which is rooted in description logics but links on the reasoning…

Artificial Intelligence · Computer Science 2021-12-23 Loris Bozzato , Thomas Eiter , Rafael Kiesel

A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This…

Logic in Computer Science · Computer Science 2011-07-08 Emmanuel Beffara

Structural topology optimization (TO) is central to engineering design but remains computationally intensive due to complex physics and hard constraints. Existing deep-learning methods are limited to fixed square grids, a few hand-coded…

Machine Learning · Computer Science 2025-10-29 Amin Heyrani Nobari , Lyle Regenwetter , Cyril Picard , Ligong Han , Faez Ahmed

We generalize the classical K\"onig's and B\"ottcher's Theorems in complex dynamics to certain quasiregular mappings in the plane. Our approach to these results is unified in the sense that it does not depend on the local injectivity, or…

Complex Variables · Mathematics 2023-08-21 Alastair N. Fletcher , Jacob Pratscher

In operational quantum mechanics two measurements are called operationally equivalent if they yield the same distribution of outcomes in every quantum state and hence are represented by the same operator. In this paper, I will show that the…

Quantum Physics · Physics 2025-03-24 Gábor Hofer-Szabó

We extend Lawvere-Pitts prop-categories (aka. hyperdoctrines) to develop a general framework for providing "algebraic" semantics for nonclassical first-order logics. This framework includes a natural notion of substitution, which allows…

Logic · Mathematics 2023-06-05 Colin Bloomfield , Yoshihiro Maruyama

Motivated by applications to the study of ultracold atomic gases near the unitarity limit, we investigate the structure of the operator product expansion (OPE) in non-relativistic conformal field theories (NRCFTs). The main tool used in our…

High Energy Physics - Theory · Physics 2016-04-20 Walter D. Goldberger , Zuhair U. Khandker , Siddharth Prabhu

Generalized topological spaces are not necessarily closed under finite intersections. Moreover, the whole universe does not need to be open. We use modified version of this framework to establish certain models for non-normal modal logics.…

Logic · Mathematics 2020-05-28 Tomasz Witczak

The non-classicality of single quantum systems can be formalised using the notion of contextuality. But can contextuality be convincingly demonstrated in an experiment, without reference to the quantum formalism? The operational approach to…

Quantum Physics · Physics 2019-04-19 Matthew F. Pusey , Lídia del Rio , Bettina Meyer

Characterizing quantum correlations in terms of information-theoretic principles is a popular chapter of quantum foundations. Traditionally, the principles adopted for this scope have been expressed in terms of conditional probability…

Quantum Physics · Physics 2017-04-20 Giulio Chiribella , Xiao Yuan

The fusion rules and operator product expansion (OPE) serve as crucial tools in the study of operator algebras within conformal field theory (CFT). Building upon the vision of using entanglement to explore the connections between fusion…

High Energy Physics - Theory · Physics 2024-07-02 Song He , Yu-Xuan Zhang , Long Zhao , Zi-Xuan Zhao
‹ Prev 1 3 4 5 6 7 10 Next ›