Related papers: More on setwise climbability properties
Well known from the sixties, the pressure of e.g. massless phi-four theory may be written as a series of 2PI-diagrams (skeletons) with the lines fully dressed. Varying the self-energy Pi in this expression, it turns into a functional U[Y]…
Let $\pi:X\to Y$ be a factor map, where $(X,T)$ and $(Y,S)$ are topological dynamical systems. Let ${\bf a}=(a_1,a_2)\in {\Bbb R}^2$ with $a_1>0$ and $a_2\geq 0$, and $f\in C(X)$. The ${\bf a}$-weighted topological pressure of $f$, denoted…
The notion of the Fibonacci cobweb poset from [1] has been naturally extended to any admissible sequence $F$ in [2] where it was also recognized that the celebrated prefab notion of Bender and Goldman [3] - (see also [4,5]) - admits such an…
We consider the probability hierarchy for Popperian FINite learning and study the general properties of this hierarchy. We prove that the probability hierarchy is decidable, i.e. there exists an algorithm that receives p_1 and p_2 and…
We explain the relationship between various characteristic classes for smooth manifold bundles known as ``higher torsion'' classes. We isolate two fundamental properties that these cohomology classes may or may not have: additivity and…
Game comonads, introduced by Abramsky, Dawar and Wang, and developed by Abramsky and Shah, give a categorical semantics for model comparison games. We present an axiomatic account of Feferman-Vaught-Mostowski (FVM) composition theorems…
We introduce propositional team-based logics expressively complete for (quasi) downward and (quasi) upward closed properties in a syntactically dual way, by using variants of the inclusion atom. In particular, the variants of the primitive…
The compactness phenomenon is one of the featured aspects of structuralism in mathematics. In simple and broad words, a compactness property holds in a structure if a related property is satisfied by sufficiently many substructures of that…
In this paper, we consider a game beginning with a multiset of elements from a group. On a move, two elements are replaced by their sum. This is a no strategy game, and can be modeled as a graded poset with the rank of a node equal to the…
Weighted recursive trees are built by adding successively vertices with predetermined weights to a tree: each new vertex is attached to a parent chosen randomly proportionally to its weight. Under some assumptions on the sequence of…
Lifting properties for Banach spaces are studied. An alternate version of the lifting property due to Lindenstrass and Tzafriri is proposed and a characterization, up to isomorphism, is given. The quotient lifting property for pairs of…
We obtain factorized domain wall partition functions in two elliptic height models: 1. A Felderhof-type model, which is new, and 2. A Perk-Schultz-type gl(1|1) model of Deguchi and Martin.
A parametric Oka principle for liftings, recently proved by Forstneric, provides many examples of holomorphic maps that are fibrations in a model structure introduced in previous work of ours. We use this to show that the basic Oka property…
We present a new variant of the potential game and show that certain compact subsets of $\R^n$, including a large class of self-affine sets, are winning in our game. We prove that sets with sufficiently strong winning conditions are…
We develop a number of variants of Lifschitz realizability for CZF by building topological models internally in certain realizability models. We use this to show some interesting metamathematical results about constructive set theory with…
The classical measure of similarity between two polygonal chains in Euclidean space is the Fr\'echet distance, which corresponds to the coordinated motion of two mobile agents along the chains while minimizing their maximum distance. As…
We prove metric rigidity for complete manifolds supporting solutions of certain second order differential systems, thus extending classical works on a characterization of space-forms. In the route, we also discover new characterizations of…
A cardinal $\lambda$ satisfies a property P robustly if, whenever $\mathbb{Q}$ is a forcing poset and $|\mathbb{Q}|^+ < \lambda$, $\lambda$ satisfies P in $V^{\mathbb{Q}}$. We study the extent to which certain reflection properties of large…
The paper develops one-parametric family of the sand-piles dealing with the grains' local losses on the fixed amount. The family exhibits the crossover between the models with deterministic and stochastic relaxation. The mean height of the…
We enumerate staircases with fixed left and right columns. These objects correspond to ice-configurations, or alternating sign matrices, with fixed top and bottom parts. The resulting partition functions are equal, up to a normalization…