Related papers: Counterfactuals in Branching Time: The Weakest Sol…
By taking into account that all real measurements are performed successively, during time, it is concluded that the violation of the Bell's inequalities in the Nature does not refute (even in an ideally perfect experiment) the theories…
We focus on the study of $p$-Laplacian Dirichlet problem containing the left and right fractional derivative operators. By using the genus properties in critical point theory, we establish some new criteria to guarantee the existence of…
Discussions on the Langevin Twins 'paradox' are most often based on a "triangular" diagram which outlines the twins spacetime travels. It won't be our way, avoiding what we think to be a problem at the basis of numerous controversies. Our…
We study linear time fractional diffusion equations in divergence form of time order less than one. It is merely assumed that the coefficients are measurable and bounded, and that they satisfy a uniform parabolicity condition. As the main…
It is proposed that the recent controversy over "time-symmetric quantum counterfactuals" (TSQCs), based on the Aharonov-Bergmann-Lebowitz Rule for measurements of pre- and post-selected systems, can be clarified by taking TSQCs to be…
Counterfactual explanations are usually obtained by identifying the smallest change made to an input to change a prediction made by a fixed model (hereafter called sparse methods). Recent work, however, has revitalized an old insight: there…
We present a semantics of a probabilistic while-language with soft conditioning and continuous distributions which handles programs diverging with positive probability. To this end, we extend the probabilistic guarded command language…
We mathematically axiomatise the stochastics of counterfactuals, by introducing two related frameworks, called counterfactual probability spaces and counterfactual causal spaces, which we collectively term counterfactual spaces. They are,…
A relation is obtained between weak values of quantum observables and the consistency criterion for histories of quantum events. It is shown that ``strange'' weak values for projection operators (such as values less than zero) always…
This paper explores the forward and inverse problems for a fractional subdiffusion equation characterized by time-dependent diffusion and reaction coefficients. Initially, the forward problem is examined, and its unique solvability is…
We provide an optimization-based framework to perform counterfactual analysis in a dynamic model with hidden states. Our framework is grounded in the ``abduction, action, and prediction'' approach to answer counterfactual queries and…
Characterisations theorems serve as important tools in model theory and can be used to assess and compare the expressive power of temporal languages used for the specification and verification of properties in formal methods. While complete…
We propose a new weak convergence theorem for martingales, under gentler conditions than the usual convergence in probability of the sequence of associated quadratic variations. Its proof requires the combined use of Skorohod's…
We consider time-fractional parabolic equations with a Caputo time derivative of order $\alpha\in(0,1)$. For such equations, we give an elementary proof of the weak maximum principle under no assumptions on the sign of the reaction…
Structural models that admit multiple reduced forms, such as game-theoretic models with multiple equilibria, pose challenges in practice, especially when parameters are set-identified and the identified set is large. In such cases,…
Algorithms are commonly used to predict outcomes under a particular decision or intervention, such as predicting whether an offender will succeed on parole if placed under minimal supervision. Generally, to learn such counterfactual…
To increase the adoption of counterfactual explanations in practice, several criteria that these should adhere to have been put forward in the literature. We propose counterfactual explanations using optimization with constraint learning…
We introduce an approach to counterfactual inference based on merging information from multiple datasets. We consider a causal reformulation of the statistical marginal problem: given a collection of marginal structural causal models (SCMs)…
In this review, we present some fundamental classical and quantum phenomena in view of time fractional formalism. Time fractional formalism is a very useful tool in describing systems with memory and delay. We hope that this study can…
Current pre-trained language models have enabled remarkable improvements in downstream tasks, but it remains difficult to distinguish effects of statistical correlation from more systematic logical reasoning grounded on the understanding of…