Related papers: New consequences of PFA($T^*$)

For an $n$-vertex graph $G$, let $z(G;k)$ denote the number of zero forcing sets of size $k$. A conjecture of Boyer et al. asserts that the path $P_n$ maximizes these numbers coefficientwise among all $n$-vertex graphs; equivalently, the…

It is an immediate consequence of the ergodic structure theorem of Host and Kra that every factor of an ergodic $k$-step pro-nilsystem is again an ergodic $k$-step pro-nilsystem. It has remained open whether this fact can be proved…

We review the relation between Casimir effect and geometry, emphasizing deviations from the commonly used Proximity Force Approximation (PFA). We use to this aim the scattering formalism which is nowadays the best tool available for…

We give two consistent constructions of trees $T$ whose finite power $T^{n+1}$ is sharply different from $T^n$: 1. An $\aleph_1$-tree $T$ whose interval topology $X_T$ is perfectly normal, but $(X_T)^2$ is not even countably metacompact. 2.…

In 1983 A. Suslin proved the Quillen-Lichtenbaum conjecture about algebraic K-theory of algebraically closed fields. The proof was based on a theorem called the Suslin rigidity theorem. In the present paper we prove the rigidity theorem for…

A narrow system is a combinatorial object introduced by Magidor and Shelah in connection with work on the tree property at successors of singular cardinals. In analogy to the tree property, a cardinal $\kappa$ satisfies the \emph{narrow…

We propose a parameterized proxy principle from which $\kappa$-Souslin trees with various additional features can be constructed, regardless of the identity of $\kappa$. We then introduce the microscopic approach, which is a simple method…

We prove a new pointwise ergodic theorem for probability-measure-preserving (pmp) actions of free groups, where the ergodic averages are taken over arbitrary finite subtrees of the standard Cayley graph rooted at the identity. This result…

Let $K$ be a non-archimedean local field and $\varphi : \mathbb{P}^1 \to \mathbb{P}^1$ a rational endomorphism of degree $d \geq 2$ over $K$. In the tame case ($p \nmid d$), we show that strict good reduction is equivalent to the existence…

We show that on every product probability space, Boolean functions with small total influences are essentially the ones that are almost measurable with respect to certain natural sub-sigma algebras. This theorem in particular describes the…

In \cite{MV} we defined and proved the consistency of the principle ${\rm GM}^+(\omega_3,\omega_1)$ which implies that many consequences of strong forcing axioms hold simultaneously at $\omega_2$ and $\omega_3$. In this paper we formulate a…

We find a strong separation between two natural families of simple rank one theories in Keisler's order: the theories $T_\mathfrak{m}$ reflecting graph sequences, which witness that Keisler's order has the maximum number of classes, and the…

We show that if $cf(2^{\aleph_0})=\aleph_1,$ then any non-trivial $\aleph_1$-closed forcing notion of size $\leq 2^{\aleph_0}$ is forcing equivalent to $Add(\aleph_1, 1),$ the Cohen forcing for adding a new Cohen subset of $\omega_1.$ We…

We concentrate on some recent results of Egawa and Ozeki [J. Graph Theory, 2015 and Combinatorica, 2014], and He et al. [J. Graph Theory, 2002]. We give shorter proofs and polynomial time algorithms as well. We present two new proofs for…

We analyze recent experiments on measuring the thermal Casimir force with account of possible background effects. Special attention is paid to the validity of the proximity force approximation (PFA) used in the comparison between the…

We show that every connected graph can be approximated by a normal tree, up to some arbitrarily small error phrased in terms of neighbourhoods around its ends. The existence of such approximate normal trees has consequences of both…

We show that for $\Pi_2$-properties of second or third order arithmetic as formalized in appropriate natural signatures the apparently weaker notion of forcibility overlaps with the standard notion of consistency (assuming large cardinal…

We establish power Fourier decay for equilibrium states of parabolic $C^{1+\alpha}$ iterated function systems with overlaps satisfying a multiscale nonlinearity condition. This class includes the Lyons conductance measures $\nu_t$, $0<t<1$,…

We study the refutation complexity of graph isomorphism in the tree-like resolution calculus. Tor\'an and W\"orz (TOCL 2023) showed that there is a resolution refutation of narrow width $k$ for two graphs if and only if they can be…

Open effective field theories provide a systematic framework for describing systems coupled to an environment, where dissipation, noise, and modified conservation laws naturally arise. Working within the Schwinger-Keldysh formalism, we…