-
Piecewise convex embeddability on linear orders
Authors:
Martina Iannella,
Alberto Marcone,
Luca Motto Ros,
Vadim Weinstein
Abstract:
Given a nonempty set $\mathcal{L}$ of linear orders, we say that the linear order $L$ is $\mathcal{L}$-convex embeddable into the linear order $L'$ if it is possible to partition $L$ into convex sets indexed by some element of $\mathcal{L}$ which are isomorphic to convex subsets of $L'$ ordered in the same way. This notion generalizes convex embeddability and (finite) piecewise convex embeddabilit…
▽ More
Given a nonempty set $\mathcal{L}$ of linear orders, we say that the linear order $L$ is $\mathcal{L}$-convex embeddable into the linear order $L'$ if it is possible to partition $L$ into convex sets indexed by some element of $\mathcal{L}$ which are isomorphic to convex subsets of $L'$ ordered in the same way. This notion generalizes convex embeddability and (finite) piecewise convex embeddability (both studied in arXiv:2309.09910), which are the special cases $\mathcal{L} = \{\mathbf{1}\}$ and $\mathcal{L} = \mathsf{Fin}$. We focus mainly on the behavior of these relations on the set of countable linear orders, first characterizing when they are transitive, and hence a quasi-order. We then study these quasi-orders from a combinatorial point of view, and analyze their complexity with respect to Borel reducibility. Finally, we extend our analysis to uncountable linear orders.
△ Less
Submitted 2 December, 2023;
originally announced December 2023.
-
Descriptive properties of I2-embeddings
Authors:
Vincenzo Dimonte,
Martina Iannella,
Philipp Lücke
Abstract:
We contribute to the study of generalizations of the Perfect Set Property and the Baire Property to subsets of spaces of higher cardinalities, like the power set $P(λ)$ of a singular cardinal $λ$ of countable cofinality or products $\prod_{i<ω}λ_i$ for a strictly increasing sequence $\langleλ_i ~ \vert ~ i<ω\rangle$ of cardinals. We consider the question under which large cardinal hypotheses class…
▽ More
We contribute to the study of generalizations of the Perfect Set Property and the Baire Property to subsets of spaces of higher cardinalities, like the power set $P(λ)$ of a singular cardinal $λ$ of countable cofinality or products $\prod_{i<ω}λ_i$ for a strictly increasing sequence $\langleλ_i ~ \vert ~ i<ω\rangle$ of cardinals. We consider the question under which large cardinal hypotheses classes of definable subsets of these spaces possess such regularity properties, focusing on rank-into-rank axioms and classes of sets definable by $Σ_1$-formulas with parameters from various collections of sets. We prove that $ω$-many measurable cardinals, while sufficient to prove the Perfect Set Property of all $Σ_1$-definable sets with parameters in $V_λ\cup\{V_λ\}$, are not enough to prove it if there is a cofinal sequence in $λ$ in the parameters. For this conclusion, the existence of an I2-embedding is enough, but there are parameters in $V_{λ+1}$ for which I2 is still not enough. The situation is similar for the Baire Property: under I2 all sets that are $Σ_1$-definable using elements of $V_λ$ and a cofinal sequence as parameters have the Baire property, but I2 is not enough for some parameter in $V_{λ+1}$. Finally, the existence of an I0-embedding implies that all sets that are $Σ^1_n$-definable with parameters in $V_{λ+1}$ have the Baire property.
△ Less
Submitted 4 November, 2024; v1 submitted 1 November, 2023;
originally announced November 2023.
-
Convex Embeddability and Knot Theory
Authors:
Martina Iannella,
Alberto Marcone,
Luca Motto Ros,
Vadim Weinstein
Abstract:
We consider countable linear orders and study the quasi-order of convex embeddability and its induced equivalence relation. We obtain both combinatorial and descriptive set-theoretic results, and further extend our research to the case of circular orders. These results are then applied to the study of arcs and knots, establishing combinatorial properties and lower bounds (in terms of Borel reducib…
▽ More
We consider countable linear orders and study the quasi-order of convex embeddability and its induced equivalence relation. We obtain both combinatorial and descriptive set-theoretic results, and further extend our research to the case of circular orders. These results are then applied to the study of arcs and knots, establishing combinatorial properties and lower bounds (in terms of Borel reducibility) for the complexity of some natural relations between these geometrical objects.
△ Less
Submitted 18 September, 2023;
originally announced September 2023.
-
Revisiting special relativity: A natural algebraic alternative to Minkowski spacetime
Authors:
James M. Chappell Nicolangelo Iannella,
Azhar Iqbal,
Derek Abbott
Abstract:
Minkowski famously introduced the concept of a space-time continuum in 1908, merging the three dimensions of space with an imaginary time dimension $ i c t $, with the unit imaginary producing the correct spacetime distance $ x^2 - c^2 t^2 $, and the results of Einstein's then recently developed theory of special relativity, thus providing an explanation for Einstein's theory in terms of the struc…
▽ More
Minkowski famously introduced the concept of a space-time continuum in 1908, merging the three dimensions of space with an imaginary time dimension $ i c t $, with the unit imaginary producing the correct spacetime distance $ x^2 - c^2 t^2 $, and the results of Einstein's then recently developed theory of special relativity, thus providing an explanation for Einstein's theory in terms of the structure of space and time. As an alternative to a planar Minkowski space-time of two space dimensions and one time dimension, we replace the unit imaginary $ i = \sqrt{-1} $, with the Clifford bivector $ ι= e_1 e_2 $ for the plane that also squares to minus one, but which can be included without the addition of an extra dimension, as it is an integral part of the real Cartesian plane with the orthonormal basis $ e_1 $ and $ e_2 $. We find that with this model of planar spacetime, using a two-dimensional Clifford multivector, the spacetime metric and the Lorentz transformations follow immediately as properties of the algebra. This also leads to momentum and energy being represented as components of a multivector and we give a new efficient derivation of Compton's scattering formula, and a simple formulation of Dirac's and Maxwell's equations. Based on the mathematical structure of the multivector, we produce a semi-classical model of massive particles, which can then be viewed as the origin of the Minkowski spacetime structure and thus a deeper explanation for relativistic effects. We also find a new perspective on the nature of time, which is now given a precise mathematical definition as the bivector of the plane.
△ Less
Submitted 8 May, 2012; v1 submitted 19 June, 2011;
originally announced June 2011.
