Diamond principles in Cichoń’s diagram

We present several models which satisfy CH and some -like principles while others fail, answering a question of Moore, Hruák and Damonja.     

Distributive proper forcing axiom and a left-right dichotomy of Cichoń’s diagram

In this paper, we study distributive proper forcing axiom (DPFA) and prove its consistency with a dichotomy of the Cichoń’s diagram, relative to certain large cardinal assumption. Namely, we evaluate the cardinal invariants in Cichoń’s diagram with the first two uncountable cardinals in the way that the left-hand side has the least possible cardinality while the right-hand side has the largest possible value, and preserve the evaluation along the way of forcing DPFA.     

Hadwiger’s conjecture for uncountable graphs

We consider the infinite form of Hadwiger’s conjecture. We give a(n apparently novel) proof of Halin’s 1967 theorem stating that every graph X with coloring number \(>\kappa \) (specifically with chromatic number \(>\kappa \)) contains a subdivision of \(K_\kappa \). We also prove that there is a graph of cardinality \(2^\kappa \) and chromatic number \(\kappa ^+\) which does not contain \(K_{\kappa ^+}\) as a minor. Further, it is consistent that every graph of size and chromatic number \(\aleph _1\) contains a subdivision of \(K_{\aleph _1}\).     

The Cichoń diagram for degrees of relative constructibility

Following a line of research initiated in [4], we describe a general framework for turning reduction concepts of relative computability into diagrams forming an analogy with the Cichoń diagram for cardinal characteristics of the continuum. We show that working from relatively modest assumptions about a notion of reduction, one can construct a robust version of such a diagram. As an application, we define and investigate the Cichoń diagram for degrees of constructibility relative to a fixed inner model W. Many analogies hold with the classical theory as well as some surprising differences. Along the way, we introduce a new axiom stating, roughly, that the constructibility diagram is as complex as possible.     

Cichoń’s diagram,regularity properties and {\varvec{\Delta}^1_3} sets of reals

We study regularity properties related to Cohen, random, Laver, Miller and Sacks forcing, for sets of real numbers on the \({\varvec{\Delta}^1_3}\) level of the projective hieararchy. For \({\varvec{\Delta}^1_2}\) and \({\varvec{\Sigma}^1_2}\) sets, the relationships between these properties follows the pattern of the well-known Cichoń diagram for cardinal characteristics of the continuum. It is known that assuming suitable large cardinals, the same relationships lift to higher projective levels, but the questions become more challenging without such assumptions. Consequently, all our results are proved on the basis of ZFC alone or ZFC with an inaccessible cardinal. We also prove partial results concerning \({\varvec{\Sigma}^1_3}\) and \({\varvec{\Delta}^1_4}\) sets.     

Easton’s theorem in the presence of Woodin cardinals

Under the assumption that δ is a Woodin cardinal and GCH holds, I show that if F is any class function from the regular cardinals to the cardinals such that (1) ${\kappa < {\rm cf}(F(\kappa))}$ , (2) ${\kappa < \lambda}$ implies ${F(\kappa) \leq F(\lambda)}$ , and (3) δ is closed under F, then there is a cofinality-preserving forcing extension in which 2 ^γ = F(γ) for each regular cardinal γ < δ, and in which δ remains Woodin. Unlike the analogous results for supercompact cardinals [Menas in Trans Am Math Soc 223:61–91, (1976)] and strong cardinals [Friedman and Honzik in Ann Pure Appl Logic 154(3):191–208, (2008)], there is no requirement that the function F be locally definable. I deduce a global version of the above result: Assuming GCH, if F is a function satisfying (1) and (2) above, and C is a class of Woodin cardinals, each of which is closed under F, then there is a cofinality-preserving forcing extension in which 2 ^γ = F(γ) for all regular cardinals γ and each cardinal in C remains Woodin.     

Hero’s journey in bifurcation diagram

The hero’s journey is a narrative structure identified by several authors in comparative studies on folklore and mythology. This storytelling template presents the stages of inner metamorphosis undergone by the protagonist after being called to an adventure. In a simplified version, this journey is divided into three acts separated by two crucial moments. Here we propose a discrete-time dynamical system for representing the protagonist’s evolution. The suffering along the journey is taken as the control parameter of this system. The bifurcation diagram exhibits stationary, periodic and chaotic behaviors. In this diagram, there are transition from fixed point to chaos and transition from limit cycle to fixed point. We found that the values of the control parameter corresponding to these two transitions are in quantitative agreement with the two critical moments of the three-act hero’s journey identified in 10 movies appearing in the list of the 200 worldwide highest-grossing films.     

Matrix iterations and Cichon’s diagram

Using matrix iterations of ccc posets, we prove the consistency with ZFC of some cases where the cardinals on the right hand side of Cichon’s diagram take two or three arbitrary values (two regular values, the third one with uncountable cofinality). Also, mixing this with the techniques in J Symb Log 56(3):795–810, 1991, we can prove that it is consistent with ZFC to assign, at the same time, several arbitrary regular values on the left hand side of Cichon’s diagram.     

The two-time Green’s function and the diagram technique

Based on constructing the equations of motion for the two-time Green’s functions, we discuss calculating the dynamical spin susceptibility and correlation functions in the Heisenberg model. Using a Mori-type projection, we derive an exact Dyson equation with the self-energy operator in the form of a multiparticle Green’s function. Calculating the self-energy operator in the mode-coupling approximation in the ferromagnetic phase, we reproduce the results of the temperature diagram technique, including the correct formula for low-temperature magnetization. We also consider calculating the spin fluctuation spectrum in the paramagnetic phase in the framework of the method of equations of motion for the relaxation function.     

Periods and Young’s diagram of Fermat–Euler’s geometrical progressions of residues

The Gibbs phenomenon is described for the Fourier series of a function at its jump, the function being defined along the finite circle ℤ/pℤ.     

Kantorovich’s majorants principle for Newton’s method

We prove Kantorovich’s theorem on Newton’s method using a convergence analysis which makes clear, with respect to Newton’s method, the relationship of the majorant function and the non-linear operator under consideration. This approach enables us to drop out the assumption of existence of a second root for the majorant function, still guaranteeing Q-quadratic convergence rate and to obtain a new estimate of this rate based on a directional derivative of the derivative of the majorant function. Moreover, the majorant function does not have to be defined beyond its first root for obtaining convergence rate results. The research of O.P. Ferreira was supported in part by FUNAPE/UFG, CNPq Grant 475647/2006-8, CNPq Grant 302618/2005-8, PRONEX–Optimization(FAPERJ/CNPq) and IMPA. The research of B.F. Svaiter was supported in part by CNPq Grant 301200/93-9(RN) and by PRONEX–Optimization(FAPERJ/CNPq).     

Blaschke’s problem for hypersurfaces

We solve Blaschke’s problem for hypersurfaces of dimension . Namely, we determine all pairs of Euclidean hypersurfaces that induce conformal metrics on M ⁿ and envelop a common sphere congruence in .     

Criterion for Cannon’s Conjecture

The Cannon Conjecture from the geometric group theory asserts that a word hyperbolic group that acts effectively on its boundary, and whose boundary is homeomorphic to the 2-sphere, is isomorphic to a Kleinian group. We prove the following Criterion for Cannon’s Conjecture: a hyperbolic group G (that acts effectively on its boundary) whose boundary is homeomorphic to the 2-sphere is isomorphic to a Kleinian group if and only if every two points in the boundary of G are separated by a quasi-convex surface subgroup. Thus, the Cannon’s conjecture is reduced to showing that such a group contains “enough” quasi-convex surface subgroups.     

Alon’s Nullstellensatz for multisets

Alon’s combinatorial Nullstellensatz (Theorem 1.1 from [2]) is one of the most powerful algebraic tools in combinatorics, with a diverse array of applications. Let $\mathbb{F}$ be a field, S ₁, S ₂,..., S _n be finite nonempty subsets of $\mathbb{F}$ . Alon’s theorem is a specialized, precise version of the Hilbertsche Nullstellensatz for the ideal of all polynomial functions vanishing on the set $S = S_1 \times S_2 \times \ldots \times S_n \subseteq \mathbb{F}^n$ . From this Alon deduces a simple and amazingly widely applicable nonvanishing criterion (Theorem 1.2 in [2]). It provides a sufficient condition for a polynomial f(x ₁,..., x _n) which guarantees that f is not identically zero on the set S. In this paper we extend these two results from sets of points to multisets. We give two different proofs of the generalized nonvanishing theorem.We extend some of the known applications of the original nonvanishing theorem to a setting allowing multiplicities, including the theorem of Alon and Füredi on the hyperplane coverings of discrete cubes.     

Harnack’s principle for quasiminimizers

Abstract We study Harnack type properties of quasiminimizers of the -Dirichlet integral on metric measure spaces equipped with a doubling measure and supporting a Poincaré inequality. We show that an increasing sequence of quasiminimizers converges locally uniformly to a quasiminimizer, provided the limit function is finite at some point, even if the quasiminimizing constant and the boundary values are allowed to vary in a bounded way. If the quasiminimizing constants converge to one, then the limit function is the unique minimizer of the -Dirichlet integral. In the Euclidean case with the Lebesgue measure we obtain convergence also in the Sobolev norm. Keywords: Metric space, doubling measure, Poincaré inequality, Newtonian space, Harnack inequality, Harnack convergence theorem Mathematics Subject Classification (2000): 49J52, 35J60, 49J27     

Denjoy-Wolff theorems for Hilbert’s and Thompson’s metric spaces

We study the dynamics of fixed point free mappings on the interior of a normal, closed cone in a Banach space that are nonexpansive with respect to Hilbert’s metric or Thompson’s metric. We establish several Denjoy-Wolff type theorems which confirm conjectures by Karlsson and Nussbaum for an important class of nonexpansive mappings. We also extend and put into a broader perspective results by Gaubert and Vigeral concerning the linear escape rate of such nonexpansive mappings.     

Generic Vopěnka’s Principle,remarkable cardinals,and the weak Proper Forcing Axiom

We introduce and study the first-order Generic Vopěnka’s Principle, which states that for every definable proper class of structures \(\mathcal {C}\) of the same type, there exist \(B\ne A\) in \(\mathcal {C}\) such that B elementarily embeds into A in some set-forcing extension. We show that, for \(n\ge 1\), the Generic Vopěnka’s Principle fragment for \(\Pi _n\)-definable classes is equiconsistent with a proper class of n-remarkable cardinals. The n-remarkable cardinals hierarchy for \(n\in \omega \), which we introduce here, is a natural generic analogue for the \(C^{(n)}\)-extendible cardinals that Bagaria used to calibrate the strength of the first-order Vopěnka’s Principle in Bagaria (Arch Math Logic 51(3–4):213–240, 2012). Expanding on the theme of studying set theoretic properties which assert the existence of elementary embeddings in some set-forcing extension, we introduce and study the weak Proper Forcing Axiom, \(\mathrm{wPFA}\). The axiom \(\mathrm{wPFA}\) states that for every transitive model \(\mathcal M\) in the language of set theory with some \(\omega _1\)-many additional relations, if it is forced by a proper forcing \(\mathbb P\) that \(\mathcal M\) satisfies some \(\Sigma _1\)-property, then V has a transitive model \(\bar{\mathcal M}\), satisfying the same \(\Sigma _1\)-property, and in some set-forcing extension there is an elementary embedding from \(\bar{\mathcal M}\) into \(\mathcal M\). This is a weakening of a formulation of \(\mathrm{PFA}\) due to Claverie and Schindler (J Symb Logic 77(2):475–498, 2012), which asserts that the embedding from \(\bar{\mathcal M}\) to \(\mathcal M\) exists in V. We show that \(\mathrm{wPFA}\) is equiconsistent with a remarkable cardinal. Furthermore, the axiom \(\mathrm{wPFA}\) implies \(\mathrm{PFA}_{\aleph _2}\), the Proper Forcing Axiom for antichains of size at most \(\omega _2\), but it is consistent with \(\square _\kappa \) for all \(\kappa \ge \omega _2\), and therefore does not imply \(\mathrm{PFA}_{\aleph _3}\).