Related papers: Lifting independence along functors

We study functors F from C_f to D where C and D are simplicial model categories and C_f is the full subcategory of C consisting of objects that factor a fixed morphism f from A to B. We define the analogs of Eilenberg and Mac Lane's cross…

The so-called permutation separability criteria are simple operational conditions that are necessary for separability of mixed states of multipartite systems: (1) permute the indices of the density matrix and (2) check if the trace norm of…

For a category $\mathbb{C}$, a small category $\mathbb{I}$, and a pre-cover relation $\sqsubset$ on $\mathbb C$ we prove, under certain completeness assumptions on $\mathbb C$, that a morphism $g: B\to C$ in the functor category $\mathbb…

Given a simple undirected graph $G$ there is a simplicial complex $\mathrm{Ind}(G)$, called the independence complex, whose faces correspond to the independent sets of $G$. This is a well studied concept because it provides a fertile ground…

We prove a general categorical theorem that enables us to state that under certain conditions, the range of a functor is large. As an application, we prove various results of which the following is a prototype: If every diagram, indexed by…

Among various approaches in proving gauge independence, models containing an explicit gauge dependence are convenient. The well-known example is the gauge parameter in the covariant gauge fixing which is of course most suitable for the…

We propose a data-driven approach to identifying the functionally independent invariants that can be constructed from a tensor with a given symmetry structure. Our algorithm proceeds by first enumerating graphs, or tensor networks, that…

Let $\mathcal{A}$ and $\mathcal{B}$ be monoidal categories and let $R:\mathcal{A} \rightarrow \mathcal{B}$ be a lax monoidal functor. If $R$ has a left adjoint $L$, it is well-known that the two adjoints induce functors $\overline{R}={\sf…

We develop a systematic approach to the study of independence in topological dynamics with an emphasis on combinatorial methods. One of our principal aims is to combinatorialize the local analysis of topological entropy and related mixing…

We provide an intergral lift of the combinatorial definition of Heegaard Floer homology for nice diagrams, and show that the proof of independence using convenient diagrams adapts to this setting.

An (additive) functor F from an additive category A to an additive category B is said to be objective, provided any morphism f in A with F(f) = 0 factors through an object K with F(K) = 0. In this paper we concentrate on triangle functors…

Let $G=\{e^{tA}:t\in\mathbb{R}\}$ be a closed one-parameter subgroup of the general linear group of matrices of order $n$ acting on $\mathbb{R}^{n}$ by matrix-vector multiplications. We assume that all eigenvalues of $A$ are rationally…

Independence -- the study of what is relevant to a given problem of reasoning -- has received an increasing attention from the AI community. In this paper, we consider two basic forms of independence, namely, a syntactic one and a semantic…

We show that the d -separation criterion constitutes a valid test for conditional independence relationships that are induced by feedback systems involving discrete variables.

The independence complex of a graph G is a simplicial complex whose simplices are the independent sets in G. In the last couple of decades, the independence complexes of square grids (with various boundary conditions) have gained much…

Let $A$ be a $\nu$-vector of self-adjoint, pairwise commuting operators and $B$ a bounded operator of class $C^{n_0}(A)$. We prove a Taylor-like expansion of the commutator $[B,f(A)]$ for a large class of functions $f\colon\mathbm{R}^\nu…

Let g be a (say, sufficiently differentiable) function on the reals. One knows how to apply g to Hermitian elements A of a C* algebra. Yet the question of differentiability of the mapping A to g(A) is not trivial, since in general "A and dA…

Let $\varphi:X\to S$ be a morphism between smooth complex analytic spaces, and let $f=0$ define a free divisor on $S$. We prove that if the deformation space $T^1_{X/S}$ of $\varphi$ is a Cohen-Macaulay $\mathcal{O}_X$-module of codimension…

We conjecture a relation between the local dimension $d$ of a local nearest-neighbor critical Hamiltonian in one spatial dimension and the maximum central charge, $c_{\text{max}}$, that it can yield. Specifically, we propose that…

This article deals with the problem of testing conditional independence between two random vectors ${\bf X}$ and ${\bf Y}$ given a confounding random vector ${\bf Z}$. Several authors have considered this problem for multivariate data.…