-
Definable separability and second-countability in o-minimal structures
Authors:
Pablo Andújar Guerrero
Abstract:
We show that separability and second-countability are first-order properties among topological spaces definable in o-minimal expansions of $(\mathbb{R},<)$. We do so by introducing first-order characterizations -- definable separability and definable second-countability -- which make sense in a wider model-theoretic context. We prove that within o-minimality these notions have the desired properti…
▽ More
We show that separability and second-countability are first-order properties among topological spaces definable in o-minimal expansions of $(\mathbb{R},<)$. We do so by introducing first-order characterizations -- definable separability and definable second-countability -- which make sense in a wider model-theoretic context. We prove that within o-minimality these notions have the desired properties, including their equivalence among definable metric spaces, and conjecture a definable version of Urysohn's Metrization Theorem.
△ Less
Submitted 11 May, 2024;
originally announced May 2024.
-
Definable compactness in o-minimal structures
Authors:
Pablo Andújar Guerrero
Abstract:
We characterize the notion of definable compactness for topological spaces definable in o-minimal structures, answering questions of Peterzil and Steinhorn (1999) and Johnson (2018). Specifically, we prove the equivalence of various definitions of definable compactness in the literature, including those in terms of definable curves, definable types and definable downward directed families of close…
▽ More
We characterize the notion of definable compactness for topological spaces definable in o-minimal structures, answering questions of Peterzil and Steinhorn (1999) and Johnson (2018). Specifically, we prove the equivalence of various definitions of definable compactness in the literature, including those in terms of definable curves, definable types and definable downward directed families of closed sets.
△ Less
Submitted 11 May, 2024;
originally announced May 2024.
-
Automatic and Computationally Efficient Alignment in Fan- and Cone-beam Tomography
Authors:
Patricio Guerrero,
Simon Bellens,
Ricardo Santander,
Wim Dewulf
Abstract:
This work is concerned with fan- and cone-beam computed tomography with circular source trajectory, where the reconstruction inverse problem requires an accurate knowledge of source, detector and rotational axis relative positions and orientations. We address this additional inverse problem as a preceding step of the reconstruction process directly from the acquired projections. In the cone-beam c…
▽ More
This work is concerned with fan- and cone-beam computed tomography with circular source trajectory, where the reconstruction inverse problem requires an accurate knowledge of source, detector and rotational axis relative positions and orientations. We address this additional inverse problem as a preceding step of the reconstruction process directly from the acquired projections. In the cone-beam case, we present a method that estimates both the detector shift (orthogonal to both focal and rotational axes) and the in-plane detector rotation (over the focal axis) based on the variable projection optimization approach. In addition and for the fan-beam case, two new strategies with low computational cost are presented to estimate the detector shift based on a fan-beam symmetry condition. The methods are validated with simulated and experimental industrial tomographic data with code examples available for both fan- and cone-beam geometries.
△ Less
Submitted 7 May, 2024; v1 submitted 14 October, 2023;
originally announced October 2023.
-
One-dimensional definable topological spaces in o-minimal structures
Authors:
Pablo Andújar Guerrero,
Margaret E. M. Thomas
Abstract:
We study the properties of topological spaces $(X,τ)$, where $X$ is a definable set in an o-minimal structure and the topology $τ$ on $X$ has a basis that is (uniformly) definable. Examples of such spaces include the canonical euclidean topology on definable sets, definable order topologies, definable quotient spaces and definable metric spaces. We use o-minimality to undertake their study in topo…
▽ More
We study the properties of topological spaces $(X,τ)$, where $X$ is a definable set in an o-minimal structure and the topology $τ$ on $X$ has a basis that is (uniformly) definable. Examples of such spaces include the canonical euclidean topology on definable sets, definable order topologies, definable quotient spaces and definable metric spaces. We use o-minimality to undertake their study in topological terms, focussing here in particular on spaces of dimension one. We present several results, given in terms of piecewise decompositions and existence of definable embeddings and homeomorphisms, for various classes of spaces that are described in terms of classical separation axioms and definable analogues of properties such as separability, compactness and metrizability. For example, we prove that all Hausdorff one-dimensional definable topologies are piecewise the euclidean, discrete, or upper or lower limit topology; we give a characterization of all one-dimensional, regular, Hausdorff definable topologies in terms of spaces that have a lexicographic ordering or a topology generalizing the Alexandrov double of the euclidean topology; and we show that, if the underlying structure expands an ordered field, then any one-dimensional Hausdorff definable topology that is piecewise euclidean is definably homeomorphic to a euclidean space. As applications of these results, we prove definable versions of several open conjectures from set-theoretic topology, due to Gruenhage and Fremlin, on the existence of a 3-element basis for regular, Hausdorff topologies and on the nature of perfectly normal, compact, Hausdorff spaces; we obtain universality results for some classes of Hausdorff and regular topologies; and we characterize when certain metrizable definable topologies admit a definable metric.
△ Less
Submitted 6 October, 2023;
originally announced October 2023.
-
A shorter proof of the Marker-Steinhorn Theorem
Authors:
Pablo Andújar Guerrero
Abstract:
By analyzing o-minimal definable preorders we give a proof of the Marker-Steinhorn Theorem [MS94] that shortens the original proof.
By analyzing o-minimal definable preorders we give a proof of the Marker-Steinhorn Theorem [MS94] that shortens the original proof.
△ Less
Submitted 16 June, 2023;
originally announced June 2023.
-
Cardinality of definable families of sets in o-minimal structures
Authors:
Pablo Andújar Guerrero
Abstract:
We prove that any definable family of subsets of a definable infinite set $A$ in an o-minimal structure has cardinality at most $|A|$. We derive some consequences in terms of counting definable types and existence of definable topological spaces.
We prove that any definable family of subsets of a definable infinite set $A$ in an o-minimal structure has cardinality at most $|A|$. We derive some consequences in terms of counting definable types and existence of definable topological spaces.
△ Less
Submitted 20 May, 2023;
originally announced May 2023.
-
Around definable types in $p$-adically closed fields
Authors:
Pablo Andujar Guerrero,
Will Johnson
Abstract:
We prove some technical results on definable types in $p$-adically closed fields, with consequences for definable groups and definable topological spaces. First, the code of a definable $n$-type (in the field sort) can be taken to be a real tuple (in the field sort) rather than an imaginary tuple (in the geometric sorts). Second, any definable type in the real or imaginary sorts is generated by a…
▽ More
We prove some technical results on definable types in $p$-adically closed fields, with consequences for definable groups and definable topological spaces. First, the code of a definable $n$-type (in the field sort) can be taken to be a real tuple (in the field sort) rather than an imaginary tuple (in the geometric sorts). Second, any definable type in the real or imaginary sorts is generated by a countable union of chains parameterized by the value group. Third, if $X$ is an interpretable set, then the space of global definable types on $X$ is strictly pro-interpretable, building off work of Cubides Kovacsics, Hils, and Ye. Fourth, global definable types can be lifted (in a non-canonical way) along interpretable surjections. Fifth, if $G$ is a definable group with definable f-generics ($dfg$), and $G$ acts on a definable set $X$, then the quotient space $X/G$ is definable, not just interpretable. This explains some phenomena observed by Pillay and Yao. Lastly, we show that interpretable topological spaces satisfy analogues of first-countability and curve selection. Using this, we show that all reasonable notions of definable compactness agree on interpretable topological spaces, and that definable compactness is definable in families.
△ Less
Submitted 11 August, 2022;
originally announced August 2022.
-
Definable $(ω, 2)$-theorem for families with VC-codensity less than $2$
Authors:
Pablo Andújar-Guerrero
Abstract:
Let $\mathcal{S}$ be a family of sets with VC-codensity less than $2$. We prove that, if $\mathcal{S}$ has the $(ω, 2)$-property (for any infinitely many sets in $\mathcal{S}$, at least $2$ among them intersect), then $\mathcal{S}$ can be partitioned into finitely many subfamilies, each with the finite intersection property. If $\mathcal{S}$ is definable in some first-order structure, then these s…
▽ More
Let $\mathcal{S}$ be a family of sets with VC-codensity less than $2$. We prove that, if $\mathcal{S}$ has the $(ω, 2)$-property (for any infinitely many sets in $\mathcal{S}$, at least $2$ among them intersect), then $\mathcal{S}$ can be partitioned into finitely many subfamilies, each with the finite intersection property. If $\mathcal{S}$ is definable in some first-order structure, then these subfamilies can be chosen definable too. This is a strengthening of the case $q=2$ of the definable $(p,q)$- conjecture in model theory and of the Alon-Kleitman-Matoušek $(p,q)$-theorem in combinatorics.
△ Less
Submitted 20 May, 2023; v1 submitted 26 May, 2022;
originally announced May 2022.
-
Types, transversals and definable compactness in o-minimal structures
Authors:
Pablo Andújar Guerrero
Abstract:
Through careful analysis of types inspired by [AGTW21] we characterize a notion of definable compactness for definable topologies in general o-minimal structures, generalizing results from [PP07] about closed and bounded definable sets in o-minimal expansions of ordered groups. Along the way we prove a parameter version for o-minimal theories of the connection between dividing and definable types…
▽ More
Through careful analysis of types inspired by [AGTW21] we characterize a notion of definable compactness for definable topologies in general o-minimal structures, generalizing results from [PP07] about closed and bounded definable sets in o-minimal expansions of ordered groups. Along the way we prove a parameter version for o-minimal theories of the connection between dividing and definable types known in the more general dp-minimal context [SS14], through an elementary proof that avoids the use of existing forking and VC literature. In particular we show that, if an $A$-definable family of sets has the $(p,q)$-property, for some $p\geq q$ with $q$ large enough, then the family admits a partition into finitely many subfamilies, each of which extends to an $A$-definable type.
△ Less
Submitted 6 November, 2021;
originally announced November 2021.
-
Directed sets and topological spaces definable in o-minimal structures
Authors:
Pablo Andujar Guerrero,
Margaret E. M. Thomas,
Erik Walsberg
Abstract:
We study directed sets definable in o-minimal structures, showing that in expansions of ordered fields these admit cofinal definable curves, as well as a suitable analogue in expansions of ordered groups, and furthermore that no analogue holds in full generality. We use the theory of tame pairs to extend the results in the field case to definable families of sets with the finite intersection prope…
▽ More
We study directed sets definable in o-minimal structures, showing that in expansions of ordered fields these admit cofinal definable curves, as well as a suitable analogue in expansions of ordered groups, and furthermore that no analogue holds in full generality. We use the theory of tame pairs to extend the results in the field case to definable families of sets with the finite intersection property. We then apply our results to the study of definable topologies. We prove that all definable topological spaces display properties akin to first countability, and give several characterizations of a notion of definable compactness due to Peterzil and Steinhorn generalized to this setting.
△ Less
Submitted 4 February, 2021; v1 submitted 14 November, 2019;
originally announced November 2019.
-
Alternative Fan-beam Backprojection and Adjoint Operators
Authors:
Patricio Guerrero,
Matheus Bernardi,
Eduardo X. Miqueles
Abstract:
We present in this work alternative analytic formulations for the fan-beam tomographic backprojection operation and its associated adjoint transform in standard (equiangular) and linear (equidistant) detector geometries. The proposed formulations are obtained from a recent backprojection theorem in parallel tomography. Such formulations are written as a Bessel-Neumann series in the frequency domai…
▽ More
We present in this work alternative analytic formulations for the fan-beam tomographic backprojection operation and its associated adjoint transform in standard (equiangular) and linear (equidistant) detector geometries. The proposed formulations are obtained from a recent backprojection theorem in parallel tomography. Such formulations are written as a Bessel-Neumann series in the frequency domain that can be implemented as an $O(N^{2.3729})$ matrix multiplication. Proofs are provided together with numerical simulations compared with conventional fan-beam $O(N^{3})$ backprojection representations showing more robustness when dealing with highly noisy data.
△ Less
Submitted 6 February, 2023; v1 submitted 16 December, 2018;
originally announced December 2018.
-
Minimum Action Path theory reveals the details of stochastic biochemical transitions out of oscillatory cellular states
Authors:
Roberto de la Cruz,
Ruben Perez-Carrasco,
Pilar Guerrero,
Tomas Alarcon,
Karen M. Page
Abstract:
Cell state determination is the outcome of intrinsically stochastic biochemical reactions. Tran- sitions between such states are studied as noise-driven escape problems in the chemical species space. Escape can occur via multiple possible multidimensional paths, with probabilities depending non-locally on the noise. Here we characterize the escape from an oscillatory biochemical state by minimizin…
▽ More
Cell state determination is the outcome of intrinsically stochastic biochemical reactions. Tran- sitions between such states are studied as noise-driven escape problems in the chemical species space. Escape can occur via multiple possible multidimensional paths, with probabilities depending non-locally on the noise. Here we characterize the escape from an oscillatory biochemical state by minimizing the Freidlin-Wentzell action, deriving from it the stochastic spiral exit path from the limit cycle. We also use the minimized action to infer the escape time probability density function.
△ Less
Submitted 24 May, 2017;
originally announced May 2017.
