The concept of causality has a controversial history. The question of whether it is possible to represent and address causal problems with probability theory, or if fundamentally new mathematics such as the do calculus is required has been hotly debated, e.g. Pearl (2001) states "the building blocks of our scientific a…
The classical Getzler rescaling theorem is extended to the transverse geometry of foliations. More precisely, a Getzler rescaling calculus, as well as a Block-Fox calculus of asymptotic operators, is constructed for all transversely spin foliations. This calculus applies to operators of degree m globally times degree…
AP-Calculus offers a new framework for causal inference in Bayesian networks.
problem Causal inference in Bayesian networks with complex architectures.
method Introduces Attribution Projection Calculus (AP-Calculus) to determine causal relationships.
result Proves that for each label, exactly one intermediate node acts as a deconfounder.
Extends differential calculus to triole algebras.
problem No specific problem stated; focuses on extending differential calculus.
method Generalizes diolic differential calculus to triole algebras with fiber metrics.
result Established a conceptual framework for calculus on bundles with vector-valued fiber metrics.
The concept of causality has a controversial history. The question of whether it is possible to represent and address causal problems with probability theory, or if fundamentally new mathematics such as the do-calculus is required has been hotly debated, In this paper we demonstrate that, while it is critical to explic…
Paper characterizes causal graphs from hard interventions and proposes a learning algorithm.
problem Discovering causal structure from hard interventions and observational data.
method Proposes graphical constraints and a learning algorithm based on do-calculus.
result Characterizes interventional equivalence classes of causal graphs with latent variables.
We establish causal semantics for SDEs and develop methods to reason about them.
problem Understanding causal relationships in systems modeled by stochastic differential equations.
method We introduce a causal graph framework, Markov properties, and do-calculus for SDEs.
result We prove the σ-separation Markov property and do-calculus for causal SDEs. Derives Black-Scholes model without stochastic calculus or PDEs.
problem Deriving the Black-Scholes model without advanced math.
method Continuum limit of Binomial tree approach.
result Derives Black-Scholes model and exchange-option generalization.
New Spencer complexes for Lie groupoids developed.
problem Developing Spencer complexes for Lie groupoids.
method Extending Malgrange's diagonal calculus to IimesG. result Construction of non-linear and linear Spencer complexes.
Causal effect identification considers whether an interventional probability distribution can be uniquely determined without parametric assumptions from measured source distributions and structural knowledge on the generating system. While complete graphical criteria and procedures exist for many identification problem…
The paper compares and optimizes estimators for treatment effects with observed confounders and mediators.
problem Estimating treatment effects with observed confounders and mediators.
method Investigates the linear Gaussian causal model, compares and optimizes estimators, and combines datasets.
result An optimal estimator outperforms the backdoor and frontdoor estimators by an unbounded constant factor.
This paper is the first of two papers constructing a calculus of pseudodifferential operators suitable for doing analysis on Q-rank 1 locally symmetric spaces and Riemannian manifolds generalizing these. This generalization is the interior of a manifold with boundary, where the boundary has the structure of a tower of …
Proposes clustering and pruning to simplify causal data fusion models.
problem Combining observational and experimental data to identify causal effects.
method Generalizes pruning and clustering operations for multiple data sources.
result Derives conditions for inferring causal effects from simplified models.
Estimates causal effects using neural autoregressive density estimators.
problem Estimating causal effects in non-linear systems.
method Neural autoregressive density estimators within Pearl's do-calculus framework.
result Retrieves causal effects from non-linear systems without explicit modeling.
Revisits causal inference identifiability with positivity assumption.
problem General identifiability in causal inference without positivity assumption.
method Introduces new algorithm sound and complete under positivity assumption.
result New algorithm connects general identifiability to classical identifiability.
We prove the main rules of causal calculus (also called do-calculus) for i/o structural causal models (ioSCMs), a generalization of a recently proposed general class of non-/linear structural causal models that allow for cycles, latent confounders and arbitrary probability distributions. We also generalize adjustment c…
This paper is an attempt to explain all the matrix calculus you need in order to understand the training of deep neural networks. We assume no math knowledge beyond what you learned in calculus 1, and provide links to help you refresh the necessary math where needed. Note that you do not need to understand this materia…
In this paper we review the recently proposed path-integral counterpart of the Koopman-von Neumann operatorial approach to classical Hamiltonian mechanics. We identify in particular the geometrical variables entering this formulation and show that they are essentially a basis of the cotangent bundle to the tangent bund…
New calculus for pseudodifferential operators on manifolds with cylindrical ends.
problem Analyzing layer potentials on manifolds with cylindrical ends.
method Introducing and studying two classes of pseudodifferential operators.
result Spectrally invariant property of the 'essentially translation invariant calculus'.
New calculus for invariant differential operators in parabolic geometries.
problem Understanding invariant differential operators for parabolic geometries.
method Developed a universal calculus to construct all affine invariants of Weyl connections.
result A natural procedure to determine affine invariants of Weyl connections.
Proposes a new nonlocal curvature tensor concept.
problem Various nonlocal curvature concepts in literature.
method Generalizes classical curvature tensor representation and uses fractional differential operator analogies.
result Introduces a new nonlocal curvature tensor.
CCHM algorithm learns BN structure with latent variables, improving causal effect measurement.
problem Latent variables cause spurious relationships in BN structure learning.
method Hybrid approach combining constraint-based and score-based learning, incorporating do-calculus.
result CCHM outperforms state-of-the-art in reconstructing true BN structure.
COTA learns abstraction maps from data without complete SCM knowledge.
problem Learning causally consistent representations at different resolutions.
method Multi-marginal Optimal Transport (OT) with do-calculus constraints and interventional cost.
result COTA outperforms non-causal and independent formulations on synthetic and real-world problems.
New approach for estimating individual treatment effects in low compliance settings.
problem Estimating individual treatment effects in scenarios with low compliance.
method Proposes a new approach using Structural Causal Model and do-calculus to estimate Individual Prescription Effect (IPE) with asymptotic variance guarantees.
result Consistently improves state-of-the-art in low compliance settings.
Paper develops a continuous-time framework for financial markets without stochastic calculus.
problem Developing continuous-time financial models without stochastic calculus.
method A general framework using conditional topologies and pseudo-distance topologies.
result No-arbitrage conditions hold in continuous time if and only if they hold in discrete time.
Novel approach to compute hazard ratios from observational studies using SCMs and backdoor adjustment.
problem Identifying causal relationships from observational data using hazard ratios.
method Backdoor adjustment through structural causal models (SCMs) and do-calculus.
result Novel approach for computing hazard ratios from observational studies.
We describe Taylor towers for spaces of knots arising from Goodwillie-Weiss calculus of the embedding functor and extend the configuration space integrals of Bott and Taubes from spaces of knots to the stages of the towers. We show that certain combinations of integrals, indexed by trivalent diagrams, yield cohomology …
A new approach to symbol calculus on filtered manifolds using C∗-algebras.
problem Symbol calculus on filtered manifolds with local isomorphism to stratified Lie groups.
method Establishing a surjective ∗-homomorphism between a C∗-algebra bundle and the algebra of bounded continuous sections. result Existence of a surjective ∗-homomorphism sym_M: Π_M → C_b(E_hom) with specific kernel properties. Hierarchical causal models help understand cause and effect in nested data.
problem Learning cause and effect from nested hierarchical data.
method Extend structural causal models and causal graphical models with inner plates, develop graphical identification technique and estimation methods.
result Hierarchical data can enable causal identification even when non-hierarchical data cannot.
Develops a new theory of loss functions for statistical machine learning.
problem Evaluation of solutions in binary and multiclass classification problems.
method Defines loss functions as subgradients of support functions of convex sets, enabling a calculus of losses.
result Provides a novel perspective on losses and develops a calculus that interpolates between different losses.
Unified framework for causal models at different levels of abstraction.
problem Relating causal models at varying levels of abstraction.
method Categorical framework using natural transformations between Markov functors.
result Generalized and unified causal abstractions with categorical proofs.
Study compares different integrals for optimal portfolio optimization with insider information.
problem Optimizing portfolios in a financial market with insider information.
method Anticipating stochastic calculus and various integrals (Russo-Vallois forward, Ayed-Kuo, Hitsuda-Skorokhod).
result The Hitsuda-Skorokhod and Ayed-Kuo integrals do not provide a financially meaningful investment strategy.
This study uses causal Shapley values to analyze how socioeconomic factors cause the spread of COVID-19.
problem Understanding how socioeconomic factors cause the spread of COVID-19.
method The study employs an explanatory framework from cooperative game theory augmented with do calculus, specifically causal Shapley values, to analyze the causal connections.
result The causal Shapley values reveal distinct advantages of non-linear machine learning models over linear models in multivariate analysis.
The Leibniz rule for derivations is invariant under cyclic permutations of co-multiples within the arguments of derivations. We explore the implications of this principle: in effect, we construct a class of noncommutative bundles in which the sheaves of algebras of walks along a tesselated affine manifold form the base…
Study embedding calculus and link invariants using functor calculus.
problem Detect Milnor invariants using embedding towers of string links.
method Use functor calculus and Goodwillie-Weiss embedding calculus.
result Embedding tower detects Milnor invariants.
Study of BGG sequences on foliated manifolds with transverse parabolic geometry.
problem Analysis of BGG sequences on foliated manifolds with transverse parabolic structures.
method Filtered calculus and transversal index theory for filtered manifolds.
result Derived curved BGG sequences for foliated manifolds with transverse parabolic geometry.
We investigate the use of Malliavin calculus in order to calculate the Greeks of multidimensional complex path-dependent options by simulation. For this purpose, we extend the formulas employed by Montero and Kohatsu-Higa to the multidimensional case. The multidimensional setting shows the convenience of the Malliavin …
Embedding calculus proves convergence for surfaces.
problem Proving convergence of embedding calculus for surfaces.
method Goodwillie-Weiss' embedding calculus for spaces of embeddings into a manifold of dimension at most two.
result Relates Johnson filtration of mapping class group to embedding calculus.
Study geometric characterization of asymptotic pseudodifferential calculus on spinor bundles.
problem Geometric characterization of asymptotic pseudodifferential calculus on spinor bundles.
method Groupoid approach to pseudodifferential calculus, rescaled bundle.
result Rescaled bundle provides geometric characterization to asymptotic pseudodifferential calculus on spinor bundles.
We explain that general differential calculus and Lie theory have a common foundation: Lie Calculus is differential calculus, seen from the point of view of Lie theory, by making use of the groupoid concept as link between them. Higher order theory naturally involves higher algebra (n-fold groupoids).(conceptual, topol…
Secondary Calculus formalizes PDEs using cohomology, simplifying their study.
problem Formalizing and simplifying the study of partial differential equations (PDEs).
method Using cohomology of diffieties to formalize PDEs and their properties.
result Differential calculus on PDE solution spaces is homotopy calculus on horizontal De Rham algebras of diffieties.
In arXiv:1207.0332 [cs.LO] was proposed a graphic lambda calculus formalism, which has sectors corresponding to untyped lambda calculus and emergent algebras. Here we explore the sector covering knot diagrams, which are constructed as macros over the graphic lambda calculus.
Introduces tractors for basic examples and modern differential calculus.
problem None explicitly stated, focuses on introduction.
method Classical examples and modern invariant differential calculus.
result Introduction to tractors and related modern differential calculus.
A diagrammatic language for 3D manifolds with boundary.
problem Representing and manipulating 3D manifolds with boundary.
method Diagrammatic calculus and local moves.
result Completeness of the diagrammatic calculus proved.
Unified Lie structures in homotopy and isotopy calculus.
problem Compatibility of Lie structures in homotopy and isotopy calculus.
method New technical tool: bracket on total homotopy fibres of collapsing cubes of wedge sums.
result Unified understanding of Lie structures in homotopy and isotopy calculus.
We examine the N-Koszul calculus for the N-symmetric algebras. The case N=2 corresponds to the Elie Cartan calculus. We conjecture that, as in the case N=2, the N-Cartan calculus extends to manifolds when N>2, which would provide a new type of noncommutative differential geometry.
This paper is concerned with pseudodifferential calculus on manifolds with fibred corners. Following work of Connes, Monthubert, Skandalis and Androulidakis, we associate to every manifold with fibred corners a longitudinally smooth groupoid which algebraic and differential structure is explicitely described. This grou…
This paper is part of a series papers devoted to geometric and spectral theoretic applications of the hypoelliptic calculus on Heisenberg manifolds. More specifically, in this paper we make use of the Heisenberg calculus of Beals-Greiner and Taylor to analyze the spectral theory of hypoelliptic operators on Heisenberg …