Stationary tower free homogeneously Suslin scales

Farmer Schlutzenberg,John R. Steel

2024-06-05

Abstract:Let $\lambda$ be a limit of Woodin cardinals. It was shown by the second author that the pointclass of ${<\lambda}$-homogeneously Suslin sets has the scale property. We give a new proof of this fact, which avoids the use of stationary tower forcing.

Logic

What problem does this paper attempt to address?

Almost Sure Limit Theorems for A Stationary Normal Sequence

Chen Shouquan,Lin Zhengyan

DOI: https://doi.org/10.1016/j.aml.2006.04.015

IF: 4.294

2007-01-01

Applied Mathematics Letters

Abstract:We prove almost sure limit theorems for the maximum of a stationary normal sequence under some conditions.
Stationary Harmonic Measure As the Scaling Limit of Truncated Harmonic Measu

Eviatar B. Procaccia,Jiayan Ye,Yuan Zhang

DOI: https://doi.org/10.30757/alea.v18-56

2021-01-01

Abstract:In this paper we prove that the stationary harmonic measure of an infinite set in the upper planar lattice can be represented as the proper scaling limit of the classical harmonic measure of truncations of the infinite set.
Square compactness and Lindelöf trees

Pedro E. Marun

DOI: https://doi.org/10.1007/s00153-024-00918-5

2024-04-11

Archive for Mathematical Logic

Abstract:We prove that every weakly square compact cardinal is a strong limit cardinal, and therefore weakly compact. We also study Aronszajn trees with no uncountable finitely splitting subtrees, characterizing them in terms of being Lindelöf with respect to a particular topology. We prove that the class of such trees is consistently non-empty and lies between the classes of Suslin and Aronszajn trees.

mathematics,logic
Mouse scales

Farmer Schlutzenberg

DOI: https://doi.org/10.48550/arXiv.2310.19764

2023-10-30

Logic

Abstract:We give a construction of scales (in the descriptive set theoretic sense) directly from mouse existence hypotheses, without using any determinacy arguments. The construction is related to the Martin-Solovay construction for scales on $\Pi^1_2$ sets. The prewellorders of the scales compare reals $x$ and $y$ by comparing features of certain kinds of fully backgrounded $L[E,x]$- and $L[E,y]$-constructions executed in mice $P$ with $x,y \in P$. In this way we produce an inner model theoretic proof of the scale property for many pointclasses, for which the scale property was classically established using determinacy arguments (for example, $\Pi^1_3$). Moreover, it also yields many further pointclasses with the scale property, for example intermediate between $\Pi^1_{2n+1}$ and $\Sigma^1_{2n+2}$, and also instances of complexity well beyond projective.
On disjoint stationary sequences

Maxwell Levine

2024-06-21

Abstract:We answer a question of Krueger by obtaining disjoint stationary sequences on successive cardinals. The main idea is an alternative presentation of a mixed support iteration, using it even more explicitly as a variant of Mitchell forcing. We also use a Mahlo cardinal to obtain a model in which $\aleph_2 \notin I[\aleph_2]$ and there is no disjoint stationary sequence on $\aleph_2$, answering a question of Gilton.

Logic
The Largest Suslin Axiom

Grigor Sargsyan,Nam Trang

2023-10-06

Abstract:We develop the basic fine structure theory of the minimal model of the Largest Suslin Axiom. In particular, we prove that that the minimal model of the Largest Suslin Axiom satisfies the Mouse Set Conjecture, and that the Proper Forcing Axiom implies the minimal model of the Largest Suslin Axiom exists.

Logic
SLOPES FOR HIGHER RANK ARTIN SCHREIER WITT TOWERS

Rufei Ren,Daqing Wan,Liang Xiao,Myungjun Yu

DOI: https://doi.org/10.1090/tran/7162

IF: 1.3529

2018-01-01

Transactions of the American Mathematical Society

Abstract:We fix a monic polynomial f ¯ ( x ) ∈ F q [ x ] \bar f(x) \in \mathbb {F}_q[x] over a finite field of characteristic p p of degree relatively prime to p p , and consider the Z p ℓ \mathbb {Z}_{p^{\ell }} -Artin–Schreier–Witt tower defined by f ¯ ( x ) \bar f(x) ; this is a tower of curves ⋯ → C m → C m − 1 → ⋯ → C 0 = A 1 \cdots \to C_m \to C_{m-1} \to \cdots \to C_0 =\mathbb {A}^1 , whose Galois group is canonically isomorphic to Z p ℓ \mathbb {Z}_{p^\ell } , the degree ℓ \ell unramified extension of Z p \mathbb {Z}_p , which is abstractly isomorphic to ( Z p ) ℓ (\mathbb {Z}_p)^\ell as a topological group. We study the Newton slopes of zeta functions of this tower of curves. This reduces to the study of the Newton slopes of L L -functions associated to characters of the Galois group of this tower. We prove that, when the conductor of the character is large enough, the Newton slopes of the L L -function asymptotically form a finite union of arithmetic progressions. As a corollary, we prove the spectral halo property of the spectral variety associated to the Z p ℓ \mathbb {Z}_{p^{\ell }} -Artin–Schreier–Witt tower (over a large subdomain of the weight space). This extends the main result in a 2016 work of Davis, Wan, and Xiao from rank one case ℓ = 1 \ell =1 to the higher rank case ℓ ≥ 1 \ell \geq 1 .
Growth of Stationary Hastings-Levitov

Noam Berger,Eviatar B. Procaccia,Amanda Turner

DOI: https://doi.org/10.1214/21-AAP1761

2020-08-13

Abstract:We construct and study a stationary version of the Hastings-Levitov$(0)$ model. We prove that, unlike in the classical HL$(0)$ model, in the stationary case the size of particles attaching to the aggregate is tight, and therefore SHL$(0)$ is proposed as a potential candidate for a stationary off-lattice variant of Diffusion Limited Aggregation (DLA). The stationary setting, together with a geometric interpretation of the harmonic measure, yields new geometric results such as stabilization, finiteness of arms and arm size distribution. We show that, under appropriate scaling, arms in SHL$(0)$ converge to the graph of Brownian motion which has fractal dimension $3/2$. Moreover we show that trees with $n$ particles reach a height of order $n^{2/3}$, corresponding to a numerical prediction of Meakin from 1983 for the gyration radius of DLA growing on a long line segment.

Probability,Mathematical Physics
The Use of the Homogeneous Form in the Study of Singular Systems

Shaohua Tan,Joos Vandewalle

DOI: https://doi.org/10.1007/bf01201216

1990-01-01

Abstract:The objective of this paper is to present an algebraic theory for analyzing the infinite structures of singular systems. The key concept used in the development is the so-called homogeneous form for polynomial and rational matrices, which can be seen as a generalization of the well-known notion of homogeneous form for matrix pencils. We show how familiar concepts such as matrix fraction description, infinite poles and zeros, irreducibility, and cancellation at infinity appear naturally in this framework. The characterizations for some of these concepts are derived in terms of homogeneous forms. Considering singular systems to be alternative representations for (possibly nonproper) rational matrices, we are able to relate the fundamental concepts of controllability and reconstructibility for singular systems to the concept of complete coprimeness for rational matrices, and to relate the concept of minimal order of singular systems to the concept of the McMillan degree of rational matrices. As an important result, the equivalence relations among the concepts of joint controllability and reconstructibility, minimal order, and complete irreducibility are established. Moreover, we show that for any rational matrix factorized in matrix fraction description, the determinantal degree of the denominator matrix is the McMillan degree of the rational matrix if and only if the matrix fraction description is completely irreducible.
Suslin's cancellation conjecture in the smooth case

Jean Fasel

2024-12-11

Abstract:We prove that stably isomorphic vector bundles of rank d-1 on a smooth affine d-fold X over an algebraically closed field k are indeed isomorphic, provided d! is invertible in k. This answers an old conjecture of Suslin.

Algebraic Geometry,Commutative Algebra
Smooth approximations: An algebraic approach to CSPs over finitely bounded homogeneous structures

Antoine Mottet,Michael Pinsker

DOI: https://doi.org/10.1145/3689207

IF: 2.269

2024-10-06

Journal of the ACM

Abstract:We introduce the novel machinery of smooth approximations to provide a systematic algebraic approach to the complexity of CSPs over finitely bounded homogeneous structures. We apply smooth approximations to confirm the CSP dichotomy conjecture for first-order reducts of the random tournament and to give new short proofs of the conjecture for various homogeneous graphs including the random graph (STOC’11, ICALP’16, JACM 2015, SICOMP 2019), and for expansions of the order of the rationals (STOC’08, JACM 2009). Apart from obtaining these dichotomy results, we show how our new proof technique allows one to unify and significantly simplify the previous results from the literature. For all but the last structure, we moreover characterize for the first time those CSPs that are solvable by local consistency methods, again using the same machinery.

computer science, information systems, theory & methods, software engineering, hardware & architecture
Stationary Reflection and the Failure OF SCH at $\aleph_{ω_1}$

Tom Benhamou,Dima Sinapova

2024-11-14

Abstract:Combining stationary reflection (a compactness property) with the failure of SCH (an instance of non-compactness) has been a long-standing theme. We obtain this at $\aleph_{\omega_1}$, answering a question of Ben-Neria, Hayut, and Unger: We prove from the existence of uncountably many supercompact cardinals the consistency of $\aleph_{\omega_1}$ is strong limit together with $2^{\aleph_{\omega_1}}>\aleph_{\omega_1+1}$ and every stationary set of $\aleph_{\omega_1+1}$ reflects.

Logic
Disjoint Stationary Sequences on an Interval of Cardinals

Hannes Jakob

2023-09-05

Abstract:We introduce strong distributivity, a strengthening of distributivity, which implies preservation of ccness and stationarity, afterwards showing a stronger version of the Easton Lemma. We also introduce a new framework for working with arbitrary orders on products of sets. Both concepts are applied together to answer two questions of Krueger using a new version of Mitchell's Forcing.

Logic
Stationary tower forcings and universally Baire sets

Toshimasa Tanno

2023-12-17

Abstract:We investigate properties of stationary tower forcings and give conditions on stationary towers to derive the universally Baireness of sets of reals in $L(\mathbb{R})$.

Logic
Every finite-dimensional analytic space is $σ$-homogeneous

Claudio Agostini,Andrea Medini

2024-03-21

Abstract:All spaces are assumed to be separable and metrizable. Building on work of van Engelen, Harrington, Michalewski and Ostrovsky, we obtain the following results: (1) Every finite-dimensional analytic space is $\sigma$-homogeneous with analytic witnesses, (2) Every finite-dimensional analytic space is $\sigma$-homogeneous with pairwise disjoint $\mathbf{\Delta}^1_2$ witnesses. Furthermore, the complexity of the witnesses is optimal in both of the above results. This completes the picture regarding $\sigma$-homogeneity in the finite-dimensional realm. It is an open problem whether every analytic space is $\sigma$-homogeneous. We also investigate finite unions of homogeneous spaces.

General Topology,Logic
On Sets of Zero Stationary Harmonic Measure

Eviatar B. Procaccia,Yuan Zhang

DOI: https://doi.org/10.1016/j.spa.2020.09.007

2017-01-01

Abstract:In this paper, we study properties of the stationary harmonic measure which are unique to the stationary case. We prove that any subset with an appropriate sub-linear horizontal growth has a non-zero stationary harmonic measure. On the other hand, we show that any subset with at least linear horizontal growth will have a 0 stationary harmonic measure at every point. This result is fundamental to any future study of stationary DLA. As an application we prove that any possible aggregation process with growth rates proportional to the stationary harmonic measure has non zero measure at all times.
A note on Suslin matrices and Clifford algebras

Tariq Syed

2024-05-16

Abstract:We give a conceptual explanation for the somewhat mysterious origin of Suslin matrices. This enables us to generalize the construction of Suslin matrices and to give more conceptual proofs of some well-known results.

Commutative Algebra,K-Theory and Homology
Lorentzian homogeneous structures with indecomposable holonomy

Steven Greenwood,Thomas Leistner

2024-06-16

Abstract:For a Lorentzian homogeneous space, we study how algebraic conditions on the isotropy group affect the geometry and curvature of the homogeneous space. More specifically, we prove that a Lorentzian locally homogeneous space is locally isometric to a plane wave if it admits an Ambrose--Singer connection with indecomposable, non-irreducible holonomy. This generalises several existing results that require a certain algebraic type of the torsion of the Ambrose--Singer connection and moreover is in analogy to the fact that a Lorentzian homogeneous space with irreducible isotropy has constant sectional curvature.

Differential Geometry
The GHP scaling limit of uniform spanning trees of dense graphs

Eleanor Archer,Matan Shalev

DOI: https://doi.org/10.1002/rsa.21213

2024-02-28

Random Structures and Algorithms

Abstract:We consider dense graph sequences that converge to a connected graphon and prove that the GHP scaling limit of their uniform spanning trees (USTs) is Aldous' Brownian CRT. Furthermore, we are able to extract the precise scaling constant from the limiting graphon. As an example, we can apply this to the scaling limit of the USTs of the Erdös–Rényi sequence (G(n,p))n≥1 for any fixed p∈(0,1] , and sequences of dense expanders. A consequence of GHP convergence is that several associated quantities of the spanning trees also converge, such as the height, diameter and law of a simple random walk.

mathematics, applied,computer science, software engineering
On transversal Hölder regularity for flat Wieler solenoids

Rodrigo Treviño

2024-04-01

Abstract:This paper studies various aspects of inverse limits of locally expanding affine linear maps on flat branched manifolds, which I call flat Wieler solenoids. Among the aspects studied are different types of cohomologies, the rates of mixing given by the Ruelle spectrum of the hyperbolic map acting on this space, and to solutions of the cohomological equation for primitive substitution subshifts for Hölder functions. The overarching theme is that considerations of $\alpha$-Hölder regularity on Cantor sets go a long way.

Dynamical Systems

Stationary tower free homogeneously Suslin scales

Almost Sure Limit Theorems for A Stationary Normal Sequence

Stationary Harmonic Measure As the Scaling Limit of Truncated Harmonic Measu

Square compactness and Lindelöf trees

Mouse scales

On disjoint stationary sequences

The Largest Suslin Axiom

SLOPES FOR HIGHER RANK ARTIN SCHREIER WITT TOWERS

Growth of Stationary Hastings-Levitov

The Use of the Homogeneous Form in the Study of Singular Systems

Suslin's cancellation conjecture in the smooth case

Smooth approximations: An algebraic approach to CSPs over finitely bounded homogeneous structures

Stationary Reflection and the Failure OF SCH at $\aleph_{ω_1}$

Disjoint Stationary Sequences on an Interval of Cardinals

Stationary tower forcings and universally Baire sets

Every finite-dimensional analytic space is $σ$-homogeneous

On Sets of Zero Stationary Harmonic Measure

A note on Suslin matrices and Clifford algebras

Lorentzian homogeneous structures with indecomposable holonomy

The GHP scaling limit of uniform spanning trees of dense graphs

On transversal Hölder regularity for flat Wieler solenoids