The Realizability of Revision and Contraction Operators in Epistemic Spaces
- URL: http://arxiv.org/abs/2407.20918v1
- Date: Tue, 30 Jul 2024 15:55:01 GMT
- Title: The Realizability of Revision and Contraction Operators in Epistemic Spaces
- Authors: Kai Sauerwald, Matthias Thimm,
- Abstract summary: AGM revision and AGM contraction operators are only realizable in precisely determined spaces.
We define the class of linear change operators, a special kind of maxichoice operator.
When AGM revision, respectively, AGM contraction, is realizable, linear change operators are a canonical realization.
- Score: 8.010966370223985
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: This paper studies the realizability of belief revision and belief contraction operators in epistemic spaces. We observe that AGM revision and AGM contraction operators for epistemic spaces are only realizable in precisely determined epistemic spaces. We define the class of linear change operators, a special kind of maxichoice operator. When AGM revision, respectively, AGM contraction, is realizable, linear change operators are a canonical realization.
Related papers
- Interpreting Affine Recurrence Learning in GPT-style Transformers [54.01174470722201]
In-context learning allows GPT-style transformers to generalize during inference without modifying their weights.
This paper focuses specifically on their ability to learn and predict affine recurrences as an ICL task.
We analyze the model's internal operations using both empirical and theoretical approaches.
arXiv Detail & Related papers (2024-10-22T21:30:01Z) - ER = EPR is an operational theorem [0.48212500317840945]
We show that Alice and Bob cannot operationally distinguish monogamous entanglement from a topological identification of points in their respective local spacetimes.
Our construction immediately implies that in this operational setting, the local topology of spacetime is observer-relative.
arXiv Detail & Related papers (2024-10-21T20:38:32Z) - Credibility-Limited Revision for Epistemic Spaces [0.0]
We extend the class of credibility-limited revision operators in a way that all AGM revision operators are included.
A semantic characterization of extended credibility-limited revision operators that employ total preorders on possible worlds is presented.
arXiv Detail & Related papers (2024-09-11T09:15:43Z) - Remarks on the quasi-position representation in models of generalized
uncertainty principle [0.0]
This note aims to elucidate certain aspects of the quasi-position representation frequently used in the investigation of one-dimensional models.
We focus on two key points: (i) Contrary to recent claims, the quasi-position operator can possess physical significance even though it is non-Hermitian, and (ii) in the quasi-position representation, operators associated with the position behave as a derivative operator on the quasi-position coordinate.
arXiv Detail & Related papers (2023-06-20T11:46:56Z) - Score-based Causal Representation Learning with Interventions [54.735484409244386]
This paper studies the causal representation learning problem when latent causal variables are observed indirectly.
The objectives are: (i) recovering the unknown linear transformation (up to scaling) and (ii) determining the directed acyclic graph (DAG) underlying the latent variables.
arXiv Detail & Related papers (2023-01-19T18:39:48Z) - ER: Equivariance Regularizer for Knowledge Graph Completion [107.51609402963072]
We propose a new regularizer, namely, Equivariance Regularizer (ER)
ER can enhance the generalization ability of the model by employing the semantic equivariance between the head and tail entities.
The experimental results indicate a clear and substantial improvement over the state-of-the-art relation prediction methods.
arXiv Detail & Related papers (2022-06-24T08:18:05Z) - Learning Dynamical Systems via Koopman Operator Regression in
Reproducing Kernel Hilbert Spaces [52.35063796758121]
We formalize a framework to learn the Koopman operator from finite data trajectories of the dynamical system.
We link the risk with the estimation of the spectral decomposition of the Koopman operator.
Our results suggest RRR might be beneficial over other widely used estimators.
arXiv Detail & Related papers (2022-05-27T14:57:48Z) - Self-Adjointness of Toeplitz Operators on the Segal-Bargmann Space [62.997667081978825]
We prove a new criterion that guarantees self-adjointness of Toeplitz operator with unbounded operator-valued symbols.
We extend the Berger-Coburn estimate to the case of vector-valued Segal-Bargmann spaces.
arXiv Detail & Related papers (2022-02-09T19:14:13Z) - Diagonal unitary and orthogonal symmetries in quantum theory II:
Evolution operators [1.5229257192293197]
We study bipartite unitary operators which stay invariant under the local actions of diagonal unitary and orthogonal groups.
As a first application, we construct large new families of dual unitary gates in arbitrary finite dimensions.
Our scrutiny reveals that these operators can be used to simulate any bipartite unitary gate via local operations and classical communication.
arXiv Detail & Related papers (2021-12-21T11:54:51Z) - Causally-motivated Shortcut Removal Using Auxiliary Labels [63.686580185674195]
Key challenge to learning such risk-invariant predictors is shortcut learning.
We propose a flexible, causally-motivated approach to address this challenge.
We show both theoretically and empirically that this causally-motivated regularization scheme yields robust predictors.
arXiv Detail & Related papers (2021-05-13T16:58:45Z) - On the choice of the collapse operator in cosmological Continuous
Spontaneous Localisation (CSL) theories [0.0]
We show that, if the collapse operator is even in the field variables, it is unable to induce the collapse of the wavefunction.
We conclude that the cosmological CSL collapse operator should be linear in the field variables.
arXiv Detail & Related papers (2021-03-02T13:00:30Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.