English
Related papers

Related papers: Duality and the pcf theory

200 papers

We show that every amenable group with a locally invariant partial order has a left-invariant total order (and is therefore locally indicable). We also show that if a group G admits a left-invariant total order, and H is a locally nilpotent…

Group Theory · Mathematics 2013-04-11 Peter Linnell , Dave Witte Morris

We consider the class of physical theories whose dynamics are given by natural equations, which are partial differential equations determined by a functor from the category of n-manifolds, for some n, to the category of fiber bundles,…

History and Philosophy of Physics · Physics 2025-04-09 James Owen Weatherall , Eleanor March

This paper explores the options available to the anti-realist to defend a Quinean empirical under-determination thesis using examples of dualities. I first explicate a version of the empirical under-determination thesis that can be brought…

History and Philosophy of Physics · Physics 2021-01-05 Sebastian De Haro

On the real numbers, the notions of a semi-decidable relation and that of an effectively enumerable relation differ. The second only seems to be adequate to express, in an algorithmic way, non deterministic physical theories, where…

Logic in Computer Science · Computer Science 2023-05-03 Gilles Dowek

In a large class of chiral gauge theories in four dimensions it was found that certain natural assumption about the bifermion condensates leads to the infrared effective theory where the 't Hooft anomaly matching conditions are satisfied in…

High Energy Physics - Theory · Physics 2024-10-03 Stefano Bolognesi , Kenichi Konishi , Andrea Luzio , Matteo Orso

We study the connection between probability distributions satisfying certain conditional independence (CI) constraints, and point and line arrangements in incidence geometry. To a family of CI statements, we associate a polynomial ideal…

Commutative Algebra · Mathematics 2021-04-01 Oliver Clarke , Fatemeh Mohammadi , Harshit J. Motwani

We show that every countable ideal of degrees that are low for isomorphism is contained in a principal ideal of degrees that are low for isomorphism by adapting an exact pair construction. We further show that within the hyperimmune-free…

Logic · Mathematics 2019-09-16 Johanna N. Y. Franklin , Reed Solomon

We try to control many cardinal characteristics by working with a notion of orthogonality between two families of forcings. We show that b^+<g is consistent

Logic · Mathematics 2007-05-23 Heike Mildenberger , Saharon Shelah

We use forcing over admissible sets to show that, for every ordinal $\alpha$ in a club $C\subset\omega_1$, there are copies of $\alpha$ such that the isomorphism between them is not computable in the join of the complete $\Pi^1_1$ set…

Logic · Mathematics 2024-08-21 Noah Schweber

Hidden-variable models aim to reproduce the results of quantum theory and to satisfy our classical intuition. Their refutation is usually based on deriving predictions that are different from those of quantum mechanics. Here instead we…

Quantum Physics · Physics 2015-03-05 Radu Ionicioiu , Robert B. Mann , Daniel R. Terno

An inaccessible cardinal kappa is supercompact when (kappa, lambda)-ITP holds for all lambda greater than or equal to kappa. We prove that if there is a model of ZFC with infinitely many supercompact cardinals, then there is a model of ZFC…

Logic · Mathematics 2012-05-21 Laura Fontanella

For two causal structures with the same set of visible variables, one is said to observationally dominate the other if the set of distributions over the visible variables realizable by the first contains the set of distributions over the…

Machine Learning · Statistics 2025-02-24 Marina Maciel Ansanelli , Elie Wolfe , Robert W. Spekkens

Many tasks in statistical and causal inference can be construed as problems of \emph{entailment} in a suitable formal language. We ask whether those problems are more difficult, from a computational perspective, for \emph{causal}…

Logic in Computer Science · Computer Science 2023-06-02 Milan Mossé , Duligur Ibeling , Thomas Icard

We isolate a combinatorial property of capacities leading to a construction of proper forcings. Then we show that many classical capacities such as the Newtonian capacity satisfy the property.

Logic · Mathematics 2007-05-23 Jindrich Zapletal

We study a class of determinantal ideals that are related to conditional independence (CI) statements with hidden variables. Such CI statements correspond to determinantal conditions on a matrix whose entries are probabilities of events…

Commutative Algebra · Mathematics 2023-01-02 Oliver Clarke , Fatemeh Mohammadi , Johannes Rauh

Let $\FF$ be a finite field of characteristics different from two. We show that no bijective map transforms permanent into determinant when the cardinality of $\FF$ is sufficiently large. We also give an example of non-bijective map when…

Combinatorics · Mathematics 2010-03-11 Gregor Dolinar , Alexander E. Guterman , Bojan Kuzma , Marko Orel

Denote by $\continuum=2^{\aleph_0}$ the cardinal of continuum. We construct an intriguing family $(P_\alpha: \alpha\in\continuum)$ of prime $z$-ideals in $\C_0(\reals)$ with the following properties: If $f\in P_{i_0}$ for some…

Rings and Algebras · Mathematics 2014-02-26 Hung Le Pham

C-cross topologies are introduced. Modifcations of the Kuratowski-Ulam Theorem are considered. Cardinal invariants add, cof, cov and non with respect to meager or nowhere dense subsets are compared. Remarks on invariants cof(nwdY) are…

General Topology · Mathematics 2007-05-23 Andrzej Kucharski , Szymon Plewik

We make use of some observations on the core model, for example assuming $V=L [ E ]$, and that there is no inner model with a Woodin cardinal, and $M$ is an inner model with the same cardinals as $V$, then $V=M$. We conclude in this latter…

Logic · Mathematics 2021-10-27 Jouko Väänänen , Philip Welch

Causality imposes strong restrictions on the type of operators that may be observables in relativistic quantum theories. In fact, causal violations arise when computing conditional probabilities for certain partial causally connected…

Quantum Physics · Physics 2009-11-07 Rodolfo Gambini , Rafael A. Porto