-
On groups well represented as automorphism groups of groups
Authors:
Mohsen Asgharzadeh,
Mohammad Golshani,
Daniel Herden,
Saharon Shelah
Abstract:
Assuming Gödel's axiom of constructibility $\bold V=\bold L,$ we present a characterization of those groups $L$ for which there exist arbitrarily large groups $H$ such that $aut(H) \cong L$. In particular, we show that it suffices to have one such group $H$ such that the size of its center is bigger than $ 2^{|L |+\aleph_0}$.
Assuming Gödel's axiom of constructibility $\bold V=\bold L,$ we present a characterization of those groups $L$ for which there exist arbitrarily large groups $H$ such that $aut(H) \cong L$. In particular, we show that it suffices to have one such group $H$ such that the size of its center is bigger than $ 2^{|L |+\aleph_0}$.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Covariant Phase Space Formalism for Fluctuating Boundaries
Authors:
H. Adami,
M. Golshani,
M. M. Sheikh-Jabbari,
V. Taghiloo,
M. H. Vahidinia
Abstract:
We reconsider formulating $D$ dimensional gauge theories, with the focus on the case of gravity theories, in spacetimes with boundaries. We extend covariant phase space formalism to the cases in which boundaries are allowed to fluctuate. We analyze the symplectic form, the freedoms (ambiguities), and its conservation for this case. We show that boundary fluctuations render all the surface charges…
▽ More
We reconsider formulating $D$ dimensional gauge theories, with the focus on the case of gravity theories, in spacetimes with boundaries. We extend covariant phase space formalism to the cases in which boundaries are allowed to fluctuate. We analyze the symplectic form, the freedoms (ambiguities), and its conservation for this case. We show that boundary fluctuations render all the surface charges integrable. We study the algebra of charges and its central extensions, charge conservation, and fluxes. We briefly comment on memory effects and questions regarding semiclassical aspects of black holes in the fluctuating boundary setup.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Adding highly undefinable sets over $L$
Authors:
Mohammad Golshani,
Saharon Shelah
Abstract:
We sow that there exists a generic extension of the Gödel's constructible universe in which diamond holds and there exists a subset $Y \subseteq ω_1$ such that for stationary many $δ< ω_1,$ the set $Y \cap δ$ is not definable in the structure $(L_{F(δ)}, \in)$, where $F(δ) > δ$ is the least ordinal such that $L_{F(δ)}\models$``$δ$ is countable''.
We sow that there exists a generic extension of the Gödel's constructible universe in which diamond holds and there exists a subset $Y \subseteq ω_1$ such that for stationary many $δ< ω_1,$ the set $Y \cap δ$ is not definable in the structure $(L_{F(δ)}, \in)$, where $F(δ) > δ$ is the least ordinal such that $L_{F(δ)}\models$``$δ$ is countable''.
△ Less
Submitted 4 November, 2023;
originally announced November 2023.
-
Cohen Generic Structures with Functions
Authors:
Nathanael Ackerman,
Mohammad Golshani,
Mostafa Mirabi
Abstract:
Suppose $\mathscr{L}^-\subseteq \mathscr{L}$ are languages where $\mathscr{L} \setminus\mathscr{L}^-$ is relational. Additionally, let $\mathbf{K}$ be a strong $\textrm{Fraïssé}$ class in $\mathscr{L}$. We consider the partial ordering, under substructure, of those elements in $\mathbf{K}$ whose reduct to $\mathscr{L}^-$ are substructures of a fixed $\mathscr{L}^-$-structure $\mathcal{M}^-$. In th…
▽ More
Suppose $\mathscr{L}^-\subseteq \mathscr{L}$ are languages where $\mathscr{L} \setminus\mathscr{L}^-$ is relational. Additionally, let $\mathbf{K}$ be a strong $\textrm{Fraïssé}$ class in $\mathscr{L}$. We consider the partial ordering, under substructure, of those elements in $\mathbf{K}$ whose reduct to $\mathscr{L}^-$ are substructures of a fixed $\mathscr{L}^-$-structure $\mathcal{M}^-$. In this paper, we establish that, under general conditions, this partial order satisfies the $|\mathcal{M}^-|$-chain condition.
Furthermore, under these conditions, we demonstrate that any generic for such a partial order satisfies the theory of the \Fraisse\ limit of $\mathbf{K}$, provided $\mathcal{M}^-$ satisfies the theory of$\textrm{Fraïssé}$ limit of its age.
We also provide general conditions that guarantee all such generics to be rigid, as well as conditions ensuring that these generics possess large automorphism groups.
△ Less
Submitted 5 June, 2024; v1 submitted 17 October, 2023;
originally announced October 2023.
-
Expressive Power of Infinitary Logic and Absolute co-Hopfianity
Authors:
Mohsen Asgharzadeh,
Mohammad Golshani,
Saharon Shelah
Abstract:
Paolini and Shelah have constructed absolutely Hopfian torsion-free abelian groups of any given size. In contrast, we show that this is not necessarily the case for absolutely co-Hopfian groups. We apply the infinitary logic to show a dichotomy behavior of co-Hopfian groups, by showing that the first beautiful cardinal is the turning point for this property. Namely, we prove that there are no abso…
▽ More
Paolini and Shelah have constructed absolutely Hopfian torsion-free abelian groups of any given size. In contrast, we show that this is not necessarily the case for absolutely co-Hopfian groups. We apply the infinitary logic to show a dichotomy behavior of co-Hopfian groups, by showing that the first beautiful cardinal is the turning point for this property. Namely, we prove that there are no absolute co-Hopfian abelian groups above the first beautiful cardinal. An extension of this result to the category of modules over a commutative ring is given.
△ Less
Submitted 29 September, 2023;
originally announced September 2023.
-
Naturality and Definability III
Authors:
Mohsen Asgharzadeh,
Mohammad Golshani,
Saharon Shelah
Abstract:
In this paper, we deal with the notions of naturality from category theory and definablity from model theory and their interactions. In this regard, we present three results. First, we show, under some mild conditions, that naturality implies definablity. Second, by using the reverse Easton iteration of Cohen forcing notions, we construct a transitive model of ZFC in which every uniformisable cons…
▽ More
In this paper, we deal with the notions of naturality from category theory and definablity from model theory and their interactions. In this regard, we present three results. First, we show, under some mild conditions, that naturality implies definablity. Second, by using the reverse Easton iteration of Cohen forcing notions, we construct a transitive model of ZFC in which every uniformisable construction is weakly natural. Finally, we show that if F is a natural construction on a class K of structures which is represented by some formula, then it is uniformly definable without any extra parameters. Our results answer some questions by Hodges and Shelah.
△ Less
Submitted 5 September, 2023;
originally announced September 2023.
-
Long-distance high-fidelity continuous-variable quantum key distribution with non-Gaussian operations: An exact closed form solution
Authors:
Khatereh Jafari,
Mojtaba Golshani,
Alireza Bahrampour
Abstract:
In this paper, we derive a closed form expression for the output state of a CV-QKD protocol in the presence of zero-photon catalysis (ZPC) and quantum scissor (QS). Then, based on this closed form solution, we use direct search algorithm to find the appropriate values of input state and QS parameters, which considerably enhance the range and the fidelity of a CV-QKD protocol. In the special case o…
▽ More
In this paper, we derive a closed form expression for the output state of a CV-QKD protocol in the presence of zero-photon catalysis (ZPC) and quantum scissor (QS). Then, based on this closed form solution, we use direct search algorithm to find the appropriate values of input state and QS parameters, which considerably enhance the range and the fidelity of a CV-QKD protocol. In the special case of pure loss channel, the largest range of the protocol is only 6.5% less than the fundamental limit of repeaterless quantum communication. In addition, examination of the protocol for different values of excess noise, reveals that their is a trade-off between range and fidelity, and high value of fidelity can be obtained at the cost of a slight reduction in protocol range.
△ Less
Submitted 16 December, 2023; v1 submitted 26 August, 2023;
originally announced August 2023.
-
Non-local interference in arrival time
Authors:
Ali Ayatollah Rafsanjani,
MohammadJavad Kazemi,
Vahid Hosseinzadeh,
Mehdi Golshani
Abstract:
Although position and time have different mathematical roles in quantum mechanics, with one being an operator and the other being a parameter, there is a space-time duality in quantum phenomena: a lot of quantum phenomena that were first observed in the spatial domain were later observed in the temporal domain as well. In this context, we propose a modified version of the double-double-slit experi…
▽ More
Although position and time have different mathematical roles in quantum mechanics, with one being an operator and the other being a parameter, there is a space-time duality in quantum phenomena: a lot of quantum phenomena that were first observed in the spatial domain were later observed in the temporal domain as well. In this context, we propose a modified version of the double-double-slit experiment using entangled atom pairs to observe a non-local interference in the arrival time distribution, which is analogous to the non-local interference observed in the arrival position distribution. However, computing the arrival time distribution in quantum mechanics is a challenging open problem, and so to overcome this problem we employ a Bohmian treatment. Based on this approach, we numerically demonstrate that there is a complementary relationship between the one-particle and two-particle interference visibilities in the arrival time distribution, which is analogous to the complementary relationship observed in the position distribution. These results can be used to test the Bohmian arrival time distribution in a strict manner, i.e., where the semiclassical approximation breaks down. Moreover, our approach to investigating this experiment can be applied to a wide range of phenomena, and it seems that the predicted non-local temporal interference and associated complementary relationship are universal behaviors of entangled quantum systems that may manifest in various phenomena.
△ Less
Submitted 8 September, 2023; v1 submitted 3 July, 2023;
originally announced July 2023.
-
A generic absoluteness principle consistent with large continuum
Authors:
Mohammad Golshani
Abstract:
We state a new generic absoluteness principle, and use Shelah's memory iteration technique to show that it is consistent with the large continuum.
We state a new generic absoluteness principle, and use Shelah's memory iteration technique to show that it is consistent with the large continuum.
△ Less
Submitted 8 October, 2023; v1 submitted 8 April, 2023;
originally announced April 2023.
-
The Abraham-Shelah $Δ^2_2$-well-ordering of the reals
Authors:
Mohammad Golshani
Abstract:
We give an exposition of the Abraham-Shelah's proof of the consistency of $\text{GCH}$ with existence of a $Δ^2_2$-well-ordering of the reals.
We give an exposition of the Abraham-Shelah's proof of the consistency of $\text{GCH}$ with existence of a $Δ^2_2$-well-ordering of the reals.
△ Less
Submitted 9 March, 2023;
originally announced March 2023.
-
Adding highly generic subsets of $ω_2$
Authors:
Esfandiar Eslami,
Mohammad Golshani,
Rouholah Hoseini Naveh
Abstract:
Starting from the $\rm{GCH},$ we build a cardinal and $\rm{GCH}$ preserving generic extension of the universe, in which there exists a set $A \subseteq ω_2$ of size $\aleph_2$ so that every countably infinite subset of $A$ or $ω_2 \setminus A$ is Cohen generic over the ground model.
Starting from the $\rm{GCH},$ we build a cardinal and $\rm{GCH}$ preserving generic extension of the universe, in which there exists a set $A \subseteq ω_2$ of size $\aleph_2$ so that every countably infinite subset of $A$ or $ω_2 \setminus A$ is Cohen generic over the ground model.
△ Less
Submitted 24 August, 2023; v1 submitted 23 January, 2023;
originally announced January 2023.
-
Can the double-slit experiment distinguish between quantum interpretations?
Authors:
Ali Ayatollah Rafsanjani,
MohammadJavad Kazemi,
Alireza Bahrampour,
Mehdi Golshani
Abstract:
Despite the astonishing successes of quantum mechanics, due to some fundamental problems such as the measurement problem and quantum arrival time problem, the predictions of the theory are in some cases not quite clear and unique. Especially, there are various predictions for the joint spatiotemporal distribution of particle detection events on a screen, which are derived from different formulatio…
▽ More
Despite the astonishing successes of quantum mechanics, due to some fundamental problems such as the measurement problem and quantum arrival time problem, the predictions of the theory are in some cases not quite clear and unique. Especially, there are various predictions for the joint spatiotemporal distribution of particle detection events on a screen, which are derived from different formulations and interpretations of the quantum theory. Although the differences are typically small, our studies show that these predictions can be experimentally distinguished by an unconventional double-slit configuration, which is realizable using present-day single-atom interferometry. This experiment would enrich our understanding of the foundations of quantum mechanics.
△ Less
Submitted 1 August, 2023; v1 submitted 6 January, 2023;
originally announced January 2023.
-
Co-Hopfian and boundedly endo-rigid mixed abelian groups
Authors:
Mohsen Asgharzadeh,
Mohammad Golshani,
Saharon Shelah
Abstract:
For a given cardinal $λ$ and a torsion abelian group $K$ of cardinality less than $λ$, we present, under some mild conditions (for example $λ=λ^{\aleph_0}$), boundedly endo-rigid abelian group $G$ of cardinality $λ$ with $Tor(G)=K$. Essentially, we give a complete characterization of such pairs $(K, λ)$. Among other things, we use a twofold version of the black box. We present an application of th…
▽ More
For a given cardinal $λ$ and a torsion abelian group $K$ of cardinality less than $λ$, we present, under some mild conditions (for example $λ=λ^{\aleph_0}$), boundedly endo-rigid abelian group $G$ of cardinality $λ$ with $Tor(G)=K$. Essentially, we give a complete characterization of such pairs $(K, λ)$. Among other things, we use a twofold version of the black box. We present an application of the construction of boundedly endo-rigid abelian groups. Namely, we turn to the existing problem of co-Hopfian abelian groups of a given size, and present some new classes of them, mainly in the case of mixed abelian groups. In particular, we give useful criteria to detect when a boundedly endo-rigid abelian group is co-Hopfian and completely determine cardinals $λ> 2^{\aleph_{0}}$ for which there is a co-Hopfian abelian group of size $λ$.
△ Less
Submitted 6 November, 2023; v1 submitted 31 October, 2022;
originally announced October 2022.
-
The proper forcing axiom for $\aleph_1$-sized posets, Příkrý-type proper forcing, and the size of the continuum
Authors:
David Asperó,
Mohammad Golshani
Abstract:
We show that the Proper Forcing Axiom for forcing notions of size $\aleph_1$ is consistent with the continuum being arbitrarily large. In fact, assuming $GCH$ holds and $κ\geqω_2$ is a regular cardinal, we prove that there is a proper and $\aleph_2$-c.c.\ forcing $\mathbb{P}$ giving rise to a model of this forcing axiom together with $2^{\aleph_0}=κ$ and which, in addition, satisfies all statement…
▽ More
We show that the Proper Forcing Axiom for forcing notions of size $\aleph_1$ is consistent with the continuum being arbitrarily large. In fact, assuming $GCH$ holds and $κ\geqω_2$ is a regular cardinal, we prove that there is a proper and $\aleph_2$-c.c.\ forcing $\mathbb{P}$ giving rise to a model of this forcing axiom together with $2^{\aleph_0}=κ$ and which, in addition, satisfies all statements of the form $\mathcal{H}(\aleph_2)\models \forall x\exists y\varphi(x, y)$, where $\varphi(x, y)$ is a restricted formula with the property that for every $a\in \mathcal{H}(\aleph_2)$ and every inner model $M$ of $CH$ with $a\in M$ there is, in $M$, a suitably nice proper poset adding some $b$ such that $\varphi(a, b)$. In particular, $\mathbb{P}$ forces Moore's Measuring principle, Baumgartner's Axiom for $\aleph_1$-dense sets of reals, Todorčević's Open Colouring Axiom for sets of size $\aleph_1$, and Todorěvić's P-ideal Dichotomy for $\aleph_1$-generated ideals on $ω_1$, among other statements. In particular, all these statements are simultaneously compatible with a large continuum.
△ Less
Submitted 4 October, 2023; v1 submitted 3 September, 2022;
originally announced September 2022.
-
On the gravitization of quantum mechanics and wave function reduction in Bohmian quantum mechanics
Authors:
Faramarz Rahmani,
Mehdi Golshani
Abstract:
The main topic of this paper is using Einstein's equivalence principle in the description of the gravity-induced wave function reduction in the framework of Bohmian causal quantum theory. However, such concept has been introduced and explored by Penrose for the standard quantum mechanics, but the capabilities of Bohmian quantum mechanics makes it possible to get some of results more clearly. In th…
▽ More
The main topic of this paper is using Einstein's equivalence principle in the description of the gravity-induced wave function reduction in the framework of Bohmian causal quantum theory. However, such concept has been introduced and explored by Penrose for the standard quantum mechanics, but the capabilities of Bohmian quantum mechanics makes it possible to get some of results more clearly. In this regard, the critical mass for transition from the quantum world to the classical world, the reduction time of the wave function and the temperature that corresponds to the Unruh temperature will be obtained by applying Einstein's equivalence principle for the quantum motion of particle.
△ Less
Submitted 4 January, 2023; v1 submitted 1 September, 2022;
originally announced September 2022.
-
The measuring principle and the continuum hypothesis
Authors:
Mohammad Golshani,
Saharon Shelah
Abstract:
We show that one can force the Measuring principle without adding any new reals. We also show that it is consistent with the large continuum. These results answer two famous questions of Justin Moore.
We show that one can force the Measuring principle without adding any new reals. We also show that it is consistent with the large continuum. These results answer two famous questions of Justin Moore.
△ Less
Submitted 27 January, 2024; v1 submitted 16 July, 2022;
originally announced July 2022.
-
No universal graphs at uncountable regular cardinals
Authors:
Mohammad Golshani
Abstract:
Assuming the existence of a strong cardinal, we find a model of ZFC in which for each uncountable regular cardinal $λ,$ there is no universal graph of size $λ$.
Assuming the existence of a strong cardinal, we find a model of ZFC in which for each uncountable regular cardinal $λ,$ there is no universal graph of size $λ$.
△ Less
Submitted 1 June, 2022;
originally announced June 2022.
-
An analogical model for the stationary black holes by the flow field of space-time fluid around a 3-dimensional point sink
Authors:
Behzad Ataei,
Ali Ayatollah Rafsanjani,
Alireza Bahrampour,
Mohammad Taeibi Rahni,
Mohammadreza Salimi,
Mehdi Golshani
Abstract:
Recent researches suggest an analogy between the theory of general relativity (GR) and fluid dynamics. As a result of this analogy, the Navier-Stokes equations and Einstein field equations are the same, and it is possible to study the properties of space-time by using fluid mechanics. In this paper, we present a new model to describe gravitational phenomena by an inviscid and compressible fluid ca…
▽ More
Recent researches suggest an analogy between the theory of general relativity (GR) and fluid dynamics. As a result of this analogy, the Navier-Stokes equations and Einstein field equations are the same, and it is possible to study the properties of space-time by using fluid mechanics. In this paper, we present a new model to describe gravitational phenomena by an inviscid and compressible fluid called space-time fluid (STF). The analogy method is used to obtain the gravity field of both static and rotating masses from the flow field of STF around static and rotating point sinks. In addition, event horizons and the ergosphere of stationary black holes are defined based on our STF model. Then, we compare hydrodynamic forces exerted on a test particle with gravitational forces in the gravitoelectromagnetic approximation of the GR. As a natural consequence, it is shown that inertial and gravitational masses are equivalent in this analogy. Finally, using the aspect of fluid dynamics, Mach's principle, weak equivalence principle, and information discontinuity on the event horizon are discussed.
△ Less
Submitted 10 November, 2022; v1 submitted 23 May, 2022;
originally announced May 2022.
-
Unlimited accumulation by the Shelah's PCF operator
Authors:
Mohammad Golshani
Abstract:
Modulo the existence of large cardinals, there is a model of set theory in which for some set $B$ of regular cardinals, the sequence $\langle \text{pcf}^α(B): α\in \text{Ord} \rangle$ is strictly increasing. The result answers a question from [7].
Modulo the existence of large cardinals, there is a model of set theory in which for some set $B$ of regular cardinals, the sequence $\langle \text{pcf}^α(B): α\in \text{Ord} \rangle$ is strictly increasing. The result answers a question from [7].
△ Less
Submitted 5 April, 2023; v1 submitted 21 May, 2022;
originally announced May 2022.
-
Representing the language of a topos as quotient of the category of spans
Authors:
M. Golshani,
A. R Shir Ali Nasab
Abstract:
We use quotients of span categories to introduce the language of a topos. We also study the logical relations and the quotients of span categories derived from them. As an application we show that the category of Boolean toposes is a reflective subcategory of the category of toposes, when the morphisms are logical functors.
We use quotients of span categories to introduce the language of a topos. We also study the logical relations and the quotients of span categories derived from them. As an application we show that the category of Boolean toposes is a reflective subcategory of the category of toposes, when the morphisms are logical functors.
△ Less
Submitted 24 January, 2022;
originally announced January 2022.
-
The Keisler-Shelah isomorphism theorem and the continuum hypothesis II
Authors:
Mohammad Golshani,
Saharon Shelah
Abstract:
We continue the investigation started in [Sh:1215] about the relation between the Keilser-Shelah isomorphism theorem and the continuum hypothesis. In particular, we show it is consistent that the continuum hypothesis fails and for any given sequence $\mathbf m=\langle (\mathbb{M}^{1}_n, \mathbb{M}^{2}_n: n < ω\rangle$ of models of size at most $\aleph_1$ in a countable language, if the sequence sa…
▽ More
We continue the investigation started in [Sh:1215] about the relation between the Keilser-Shelah isomorphism theorem and the continuum hypothesis. In particular, we show it is consistent that the continuum hypothesis fails and for any given sequence $\mathbf m=\langle (\mathbb{M}^{1}_n, \mathbb{M}^{2}_n: n < ω\rangle$ of models of size at most $\aleph_1$ in a countable language, if the sequence satisfies a mild extra property, then for every non-principal ultrafilter $\mathcal D$ on $ω$, if the ultraproducts $\prod\limits_{\mathcal D} \mathbb{M}^{1}_n$ and $\prod\limits_{\mathcal D} \mathbb{M}^{2}_n$ are elementarily equivalent, then they are isomorphic.
△ Less
Submitted 27 October, 2022; v1 submitted 31 December, 2021;
originally announced December 2021.
-
Graphs represented by Ext
Authors:
Mohsen Asgharzadeh,
Mohammad Golshani,
Saharon Shelah
Abstract:
This paper opens and discusses the question originally due to Daniel Herden, who asked for which graph $(μ,R)$ we can find a family $\{\mathbb G_α: α< μ\}$ of abelian groups such that for each $α,β\inμ$: $$Ext(\mathbb G_α, \mathbb G_β) = 0 \Longleftrightarrow(α,β) \in R.$$
In this regard, we present four results. First, we give a connection to Quillen's small object argument which helps $Ext$ va…
▽ More
This paper opens and discusses the question originally due to Daniel Herden, who asked for which graph $(μ,R)$ we can find a family $\{\mathbb G_α: α< μ\}$ of abelian groups such that for each $α,β\inμ$: $$Ext(\mathbb G_α, \mathbb G_β) = 0 \Longleftrightarrow(α,β) \in R.$$
In this regard, we present four results. First, we give a connection to Quillen's small object argument which helps $Ext$ vanishes and uses to present useful criteria to the question. Suppose $λ= λ^{\aleph_0}$ and $μ= 2^λ$. We apply Jensen's diamond principle along with the criteria to present $λ$-free abelian groups representing bipartite graphs.
Third, we use a version of the black box to construct in ZFC, a family of $\aleph_1$-free abelian groups representing bipartite graphs.
Finally, applying forcing techniques, we present a consistent positive answer for general graphs.
△ Less
Submitted 6 June, 2022; v1 submitted 21 October, 2021;
originally announced October 2021.
-
Completeness of the Gödel-Löb provability logic for the filter sequence of normal measures
Authors:
Mohammad Golshani,
Reihane Zoghifard
Abstract:
Assuming the existence of suitable large cardinals, we show it is consistent that the Provability logic $\mathbf{GL}$ is complete with respect to the filter sequence of normal measures. This result answers a question of Andreas Blass from 1990 and a related question of Beklemishev and Joosten.
Assuming the existence of suitable large cardinals, we show it is consistent that the Provability logic $\mathbf{GL}$ is complete with respect to the filter sequence of normal measures. This result answers a question of Andreas Blass from 1990 and a related question of Beklemishev and Joosten.
△ Less
Submitted 23 February, 2023; v1 submitted 6 October, 2021;
originally announced October 2021.
-
The Keisler-Shelah isomorphism theorem and the continuum hypothesis
Authors:
Mohammad Golshani,
Saharon Shelah
Abstract:
We show that if for any two elementary equivalent structures $\mathbf{M}, \mathbf{N}$ of size at most continuum in a countable language, $\mathbf{M}^ω/ \mathcal{U} \simeq \mathbf{N}^ω/ \mathcal{U}$ for some ultrafilter $\mathcal{U}$ on $ω,$ then $CH$ holds. We also provide some consistency results about Keisler and Shelah isomorphism theorems in the absence of $CH$.
We show that if for any two elementary equivalent structures $\mathbf{M}, \mathbf{N}$ of size at most continuum in a countable language, $\mathbf{M}^ω/ \mathcal{U} \simeq \mathbf{N}^ω/ \mathcal{U}$ for some ultrafilter $\mathcal{U}$ on $ω,$ then $CH$ holds. We also provide some consistency results about Keisler and Shelah isomorphism theorems in the absence of $CH$.
△ Less
Submitted 10 May, 2022; v1 submitted 9 August, 2021;
originally announced August 2021.
-
Usuba's principle $UB_λ$ can fail at singular cardinals
Authors:
Mohammad Golshani,
Saharon Shelah
Abstract:
We answer a question of Usuba by showing that the combinatorial principle $UB_λ$ can fail at a singular cardinal. Furthermore, $λ$ can be taken to be $\aleph_ω.$
We answer a question of Usuba by showing that the combinatorial principle $UB_λ$ can fail at a singular cardinal. Furthermore, $λ$ can be taken to be $\aleph_ω.$
△ Less
Submitted 26 October, 2023; v1 submitted 20 July, 2021;
originally announced July 2021.
-
Kaplansky Test Problems for $R$-Modules in ZFC
Authors:
Mohsen Asgharzadeh,
Mohammad Golshani,
Saharon Shelah
Abstract:
Fix a ring $ R $ and look at the class of left $ R $-modules and naturally, we restrict ourselves to the case of rings such that this class is not too similar to the case $ R $ is a field.
We shall solve Kaplansky test problems, all three of which say that we do not have decomposition theory, e.g., if the square of one module is isomorphic to the cube of another it does not follows that they are…
▽ More
Fix a ring $ R $ and look at the class of left $ R $-modules and naturally, we restrict ourselves to the case of rings such that this class is not too similar to the case $ R $ is a field.
We shall solve Kaplansky test problems, all three of which say that we do not have decomposition theory, e.g., if the square of one module is isomorphic to the cube of another it does not follows that they are isomorphic. Our results are in the ordinary et theory, ZFC. For this, we look at bimodules, i.e., the structures which are simultaneously left $ R $-modules and right $ S $-modules with reasonable associativity, over a commutative ring $ T $ included in the centers of $ R $ and of $ S $.
Eventually, we shall choose $ S $ to help solve each of the test questions. But first, we analyze what can be the smallest endomorphism ring of an $(R, S)$-bimodule. We construct such bimodules by using a simple version of the black box.
△ Less
Submitted 24 June, 2021;
originally announced June 2021.
-
Shelah's partition functions and the Hales-Jewett numbers
Authors:
Mohammad Golshani,
Mostafa Mirabi
Abstract:
In this paper we study several partition relations, defined by Saharon Shelah, and relate them to the Hales-Jewett numbers. In particular we give an upper bound for the Hales-Jewett numbers using the primitive recursive function $\mathtt{f}^{8,*}$ which belongs to the class $\mathcal{E}^5$ of the Grzegorczyk hierarchy and grows slower than the function $\mathtt{f}^{13}$. This improves the recent r…
▽ More
In this paper we study several partition relations, defined by Saharon Shelah, and relate them to the Hales-Jewett numbers. In particular we give an upper bound for the Hales-Jewett numbers using the primitive recursive function $\mathtt{f}^{8,*}$ which belongs to the class $\mathcal{E}^5$ of the Grzegorczyk hierarchy and grows slower than the function $\mathtt{f}^{13}$. This improves the recent result of the first author and Shelah.
△ Less
Submitted 4 July, 2021; v1 submitted 13 April, 2021;
originally announced April 2021.
-
Combinatorial and number-theoretic properties of generic reals
Authors:
Will Brian,
Mohammad Golshani
Abstract:
We discuss some properties of Cohen and random reals. We show that they belong to any definable partition regular family, and hence they satisfy most "largeness" properties studied in Ramsey theory. We determine their position in the Mahler's classification of the reals and using it, we get some information about Liouville numbers. We also show that they are wild in the sense of o-minimality, i.e.…
▽ More
We discuss some properties of Cohen and random reals. We show that they belong to any definable partition regular family, and hence they satisfy most "largeness" properties studied in Ramsey theory. We determine their position in the Mahler's classification of the reals and using it, we get some information about Liouville numbers. We also show that they are wild in the sense of o-minimality, i.e., they define the set of integers.
△ Less
Submitted 4 February, 2021;
originally announced February 2021.
-
Two remarks on Merimovich's model of the total failure of GCH
Authors:
Mohammad Golshani
Abstract:
Let $M$ denote the Merimovich's model in which for each infinite cardinal $λ, 2^λ=λ^{+3}$. We show that in $M$ the following hold:
(1) Shelah's strong hypothesis fails at all singular cardinals, indeed, $\forall λ(λ$ is a singular cardinal $\Rightarrow pp(λ)=λ^{+3}).$
(2) For each singular cardinal $λ$ there is an inner model $N$ of $M$ such that $M$ and $N$ have the same bounded subsets of…
▽ More
Let $M$ denote the Merimovich's model in which for each infinite cardinal $λ, 2^λ=λ^{+3}$. We show that in $M$ the following hold:
(1) Shelah's strong hypothesis fails at all singular cardinals, indeed, $\forall λ(λ$ is a singular cardinal $\Rightarrow pp(λ)=λ^{+3}).$
(2) For each singular cardinal $λ$ there is an inner model $N$ of $M$ such that $M$ and $N$ have the same bounded subsets of $λ,$ $λ$ is a singular cardinal in $N$, $(λ^{+i})^N=(λ^{+i})^M$, for $i=1,2,3,$ and $N \models 2^λ=λ^{+}$. Thus it is possible to add many new fresh subsets to $λ$ without adding any new bounded subsets to $λ$.
△ Less
Submitted 1 February, 2021;
originally announced February 2021.
-
On the dynamics of gravity induced wave function reduction
Authors:
Faramarz Rahmani,
Mehdi Golshani
Abstract:
In this study, we use the concept of Bohmian trajectories to present a dynamical and deterministic interpretation for the gravity induced wave function reduction. We shall classify all possible regimes for the motion of a particle, based on the behavior of trajectories in the ensemble and under the influence of quantum and gravitational forces. In the usual approaches all information are obtained…
▽ More
In this study, we use the concept of Bohmian trajectories to present a dynamical and deterministic interpretation for the gravity induced wave function reduction. We shall classify all possible regimes for the motion of a particle, based on the behavior of trajectories in the ensemble and under the influence of quantum and gravitational forces. In the usual approaches all information are obtained from the wave function evolution. But, on the basis of Bohm's deterministic quantum theory, we can investigate the motion of particle during the reduction processes. This leads to analytical and numerical results for the reduction time and equation of motion of the particle. In this regard, a new meaning will be provided for the reduction time.
△ Less
Submitted 8 December, 2020;
originally announced December 2020.
-
On slow minimal reals I
Authors:
Mohammad Golshani,
Saharon Shelah
Abstract:
Answering a question of Harrington, we show that there exists a proper forcing notion, which adds a minimal real $η\in \prod_{i<ω} n^*_i$, which is eventually different from any old real in $\prod_{i<ω} n^*_i$, where the sequence $\langle n^*_i \mid i<ω\rangle$ grows slowly.
Answering a question of Harrington, we show that there exists a proper forcing notion, which adds a minimal real $η\in \prod_{i<ω} n^*_i$, which is eventually different from any old real in $\prod_{i<ω} n^*_i$, where the sequence $\langle n^*_i \mid i<ω\rangle$ grows slowly.
△ Less
Submitted 4 January, 2023; v1 submitted 21 October, 2020;
originally announced October 2020.
-
Modified Bohmian quantum potential due to the second quantization of Schrodinger equation
Authors:
Mohammad Jamali,
Mehdi Golshani,
Yousef Jamali
Abstract:
A causal interpretation of the quantum world needs second quantization in order to cover phenomena like creation and annihilation of particles, and this leads to quantum field theory. The causal effects of the second quantization can be described through a new quantum potential. In this article we have dealt with the second quantization of Schrodinger and its effects on the path of a particle. Thi…
▽ More
A causal interpretation of the quantum world needs second quantization in order to cover phenomena like creation and annihilation of particles, and this leads to quantum field theory. The causal effects of the second quantization can be described through a new quantum potential. In this article we have dealt with the second quantization of Schrodinger and its effects on the path of a particle. This generalization leads to a modified Schrodinger which affects the particle through a modified quantum potential and a new term in the continuity equation. We have shown that these effects can provide a framework for the explanation of the creation and annihilation phenomena and other effects of quantum field theory on the development of a particle.
△ Less
Submitted 15 June, 2020;
originally announced June 2020.
-
A geometric look at the objective gravitational wave function reduction
Authors:
Faramarz Rahmani,
Mehdi Golshani,
Ghadir Jafari
Abstract:
In ref [1], a criterion has been derived for the objective wave function reduction through the Shrödinger-Newton equation. In this paper, we shall derive that criterion by using the concept of Bohmian trajectories. This study has two consequences. First, providing a geometric perspective on the problem of wave function reduction and the other, representing the role of quantum force and gravitation…
▽ More
In ref [1], a criterion has been derived for the objective wave function reduction through the Shrödinger-Newton equation. In this paper, we shall derive that criterion by using the concept of Bohmian trajectories. This study has two consequences. First, providing a geometric perspective on the problem of wave function reduction and the other, representing the role of quantum force and gravitational force in the reduction process.
△ Less
Submitted 24 January, 2020;
originally announced January 2020.
-
Gravitational reduction of the wave function based on Bohmian quantum potential
Authors:
Faramarz Rahmani,
Mehdi Golshani,
Ghadir Jafari
Abstract:
In objective gravitational reduction of the wave function of a quantum system, the classical limit of the system is obtained in terms of the objective properties of the system. On the other hand, in Bohmian quantum mechanics the usual criterion for getting classical limit is the vanishing of the quantum potential or the quantum force of the system, which suffers from the lack of an objective descr…
▽ More
In objective gravitational reduction of the wave function of a quantum system, the classical limit of the system is obtained in terms of the objective properties of the system. On the other hand, in Bohmian quantum mechanics the usual criterion for getting classical limit is the vanishing of the quantum potential or the quantum force of the system, which suffers from the lack of an objective description. In this regard, we investigated the usual criterion of getting the classical limit of a free particle in Bohmian quantum mechanics. Then we argued that how it is possible to have an objective gravitational classical limit related to the Bohmian mechanical concepts like quantum potential or quantum force. Also we derived a differential equation related to the wave function reduction. An interesting connection will be made between Bohmian concepts and gravitational concepts.
△ Less
Submitted 7 January, 2020;
originally announced January 2020.
-
Iterated Ramsey bounds for the Hales-Jewett numbers
Authors:
Mohammad Golshani,
Saharon Shelah
Abstract:
Consider the Hales-Jewett theorem. The $k$-dimensional version of it tells us that the combinatorial space $\mathcal{U}_{M, Λ} = \{ η\mid η: M \to Λ\}$ has, under suitable assumptions, monochromatic $k$-dimensional subspaces, where by a $k$-dimensional subspace we mean there exist a partition $\langle N_0, N_1, \cdots, N_k \rangle$ of $M$ such that $N_1, \cdots, N_k \neq \emptyset$ (but we allow…
▽ More
Consider the Hales-Jewett theorem. The $k$-dimensional version of it tells us that the combinatorial space $\mathcal{U}_{M, Λ} = \{ η\mid η: M \to Λ\}$ has, under suitable assumptions, monochromatic $k$-dimensional subspaces, where by a $k$-dimensional subspace we mean there exist a partition $\langle N_0, N_1, \cdots, N_k \rangle$ of $M$ such that $N_1, \cdots, N_k \neq \emptyset$ (but we allow $N_0$ to be empty) and some $ρ_0: N_0 \to Λ$, such that the subspace consists of those $ρ\in \mathcal{U}_{M, Λ}$ such that for $0<l<k+1, ρ\restriction N_l$ is constant and $ρ\restriction N_0= ρ_0.$
It seems natural to think it is better to have each $N_{l}, 0<l<k+1$ a singleton. However it is then impossible to always find monochromatic $k$-dimensional subspaces (for example color $η$ by $0$ if $|η^{-1}\{α\}|$ is an even number and by $1$ otherwise). But modulo restricting the sign of each $|η^{-1}\{α\}|$, we prove the parallel theorem -- whose proof is not related to the Hales-Jewett theorem. We then connect the two numbers by showing that the Hales-Jewett numbers are not too much above the present ones. This gives an alternative proof of the Hales-Jewett theorem.
△ Less
Submitted 24 January, 2022; v1 submitted 18 December, 2019;
originally announced December 2019.
-
Strongly compct diagonal Prikry forcing
Authors:
Mohammad Golshani
Abstract:
We define a version of Gitik-Sharon diagonal Prikry forcing using a strongly compact cardinal, and prove its basic properties.
We define a version of Gitik-Sharon diagonal Prikry forcing using a strongly compact cardinal, and prove its basic properties.
△ Less
Submitted 18 December, 2019;
originally announced December 2019.
-
Theory of cyborg: a new approach to fish locomotion control
Authors:
Mohammad Jamali,
Yousef Jamali,
Mehdi Golshani
Abstract:
Cyborg in the brain-machine interface field has attracted more attention in recent years. To control a creature via a machine called cyborg method, three stages are considerable: stimulation of neurons, neural response, and the behavioral reaction of the subject. Our main concern was to know how electrical stimulation induces neural activity and leads to a behavioral response. Additionally, we wer…
▽ More
Cyborg in the brain-machine interface field has attracted more attention in recent years. To control a creature via a machine called cyborg method, three stages are considerable: stimulation of neurons, neural response, and the behavioral reaction of the subject. Our main concern was to know how electrical stimulation induces neural activity and leads to a behavioral response. Additionally, we were interested to explore which type of electrical stimulation is optimal from different aspects such as maximum response with minimum induction stimulus field, minimum damage of the tissue and the electrode, reduction of the noxiousness of stimuli or pain in the living creature. In this article, we proposed a new model for the induction of neural activity led to locomotion responses through electrical stimulation. Furthermore, based on this model, we developed a new approach of electrical neural stimulation to provide a better locomotion control of living beings. This approach was verified through the empirical data of fish cyborg. We stimulated the fish brain by use of an ultra-high frequency signal which careered by a random low frequency. According to our model, we could control the locomotion of fish in a novel and innovative way. In this study, we categorized the different cyborg methods based on the nervous system areas and the stimulation signal properties to reach the better and optimal behavioral control of creature. According to this, we proposed a new stimulation method theoretically and confirmed it experimentally.
△ Less
Submitted 30 April, 2019; v1 submitted 29 April, 2019;
originally announced April 2019.
-
A new method of brain stimulation at ultra-high frequency
Authors:
Yousef Jamali,
Mohammad Jamali,
Mehdi Golshani
Abstract:
Nerve stimulation via micro-electrode implants is one of the neurostimulation approaches which is used frequently in the medical treatment of some brain disorders, neural prosthetics, brain-machine interfaces and also in the cyborg. In this method, the electrical stimulation signal can be categorized by the frequency band: low frequency, high frequency, and ultra-high frequency. The stimulation sh…
▽ More
Nerve stimulation via micro-electrode implants is one of the neurostimulation approaches which is used frequently in the medical treatment of some brain disorders, neural prosthetics, brain-machine interfaces and also in the cyborg. In this method, the electrical stimulation signal can be categorized by the frequency band: low frequency, high frequency, and ultra-high frequency. The stimulation should be less destructive, more smooth, and controllable. In this article, we present a brief description of the mechanism underlying the ultra-high frequency stimulation. In the flowing, from an informatics perspective, we propose a state-of-the-art, low destructive, and highly efficient stimulation method at the low amplitude ultra-high frequency signal. In this method, we have tried to reduce the adaptation of the nerve system by modulating the stimulation signal via a low frequency rectangular random wave. By this method, we could reach the "almost zero discharge" with minimum destructive effect in the experimental test on the fish nervous system.
△ Less
Submitted 29 April, 2019;
originally announced April 2019.
-
Changing measurable into small accessible cardinals
Authors:
Mohammad Golshani
Abstract:
We give a detailed proof of the properties of the usual Prikry type forcing notion for turning a measurable cardinal into $\aleph_ω$.
We give a detailed proof of the properties of the usual Prikry type forcing notion for turning a measurable cardinal into $\aleph_ω$.
△ Less
Submitted 19 February, 2019;
originally announced February 2019.
-
Fraïssé limit via forcing
Authors:
Mohammad Golshani
Abstract:
Given a Fraïssé class $\mathcal{K}$ and an infinite cardinal $κ,$ we define a forcing notion which adds a structure of size $κ$ using elements of $\mathcal{K}$, which extends the Fraïssé construction in the case $κ=ω.$
Given a Fraïssé class $\mathcal{K}$ and an infinite cardinal $κ,$ we define a forcing notion which adds a structure of size $κ$ using elements of $\mathcal{K}$, which extends the Fraïssé construction in the case $κ=ω.$
△ Less
Submitted 23 September, 2021; v1 submitted 17 February, 2019;
originally announced February 2019.
-
Some clarifications on the relation between Bohmian quantum potential and Mach's principle
Authors:
Faramarz Rahmani,
Mehdi Golshani
Abstract:
Mach's principle asserts that the inertial mass of a body is related to the distribution of other distant bodies. This means that in the absence of other bodies, a single body has no mass. In this case, talking about motion is not possible, because the detection of motion is possible only relative to other bodies. But in physics we are faced with situations that are not fully Machian. As in the ca…
▽ More
Mach's principle asserts that the inertial mass of a body is related to the distribution of other distant bodies. This means that in the absence of other bodies, a single body has no mass. In this case, talking about motion is not possible, because the detection of motion is possible only relative to other bodies. But in physics we are faced with situations that are not fully Machian. As in the case of general theory of relativity where geodesics exist in the absence of any matter, the motion has meaning. Another example which is the main topic of our discussion, refers to Bohmian quantum mechanics, where the inertial mass of a single particle does not vanish, but is modified. We can call such situations in which motion or mass of a single particle has meaning, pseudo-Machian situations. In this paper, we use the Machian or pseudo-Machian considerations to clarify under what circumstances and how a Machian effect leads us to Bohmian quantum mechanics. Then, we shall get the Bohmian quantum potential and its higher order terms for the Klein-Gordon particle through Machian considerations, without using any quantum mechanical postulate or operator formalism.
△ Less
Submitted 28 October, 2018;
originally announced October 2018.
-
Quantum detailed balance conditions and fluctuation relations for thermalizing quantum dynamics
Authors:
M. Ramezani,
F. Benatti,
R. Floreanini,
S. Marcantoni,
M. Golshani,
A. T. Rezakhani
Abstract:
Quantum detailed balance conditions and quantum fluctuation relations are two important concepts in the dynamics of open quantum systems: both concern how such systems behave when they thermalize because of interaction with an environment. We prove that for thermalizing quantum dynamics the quantum detailed balance conditions yield the validity of a quantum fluctuation relation (where only forward…
▽ More
Quantum detailed balance conditions and quantum fluctuation relations are two important concepts in the dynamics of open quantum systems: both concern how such systems behave when they thermalize because of interaction with an environment. We prove that for thermalizing quantum dynamics the quantum detailed balance conditions yield the validity of a quantum fluctuation relation (where only forward-time dynamics is considered). This implies that to have such a quantum fluctuation relation (which in turn enables a precise formulation of the second law of thermodynamics for quantum systems) it suffices to fulfill the quantum detailed balance conditions. We, however, show that the converse is not necessarily true; indeed, there are cases of thermalizing dynamics which feature the quantum fluctuation relation without satisfying detailed balance. We illustrate our results with three examples.
△ Less
Submitted 22 October, 2018;
originally announced October 2018.
-
The special Aronszajn tree property at $\aleph_2$ and $GCH$
Authors:
David Asperó,
Mohammad Golshani
Abstract:
Starting from the existence of a weakly compact cardinal, we build a generic extension of the universe in which $GCH$ holds and all $\aleph_2$-Aronszajn trees are special and hence there are no $\aleph_2$-Souslin trees. This result answers a well-known open question from the 1970's.
Starting from the existence of a weakly compact cardinal, we build a generic extension of the universe in which $GCH$ holds and all $\aleph_2$-Aronszajn trees are special and hence there are no $\aleph_2$-Souslin trees. This result answers a well-known open question from the 1970's.
△ Less
Submitted 24 April, 2024; v1 submitted 20 September, 2018;
originally announced September 2018.
-
Ramsey Interferometers as a test for the correction to quantum mechanics
Authors:
Abasalt Rostami,
Javad T. Firouzjaee,
Mehdi Golshani
Abstract:
By applying the basic concept of the density matrix in an open quantum system and modification of quantum mechanics, we derive Kossakowski-Lindblad equation and different properties of this equation are reviewed. Next, a pedagogical approach is used to present Ramsey's trick for linear modification of the quantum mechanics. We discuss how an open quantum mechanics or its modification changes the f…
▽ More
By applying the basic concept of the density matrix in an open quantum system and modification of quantum mechanics, we derive Kossakowski-Lindblad equation and different properties of this equation are reviewed. Next, a pedagogical approach is used to present Ramsey's trick for linear modification of the quantum mechanics. We discuss how an open quantum mechanics or its modification changes the fraction of excited states in Ramsey Interferometers.
△ Less
Submitted 30 August, 2018;
originally announced August 2018.
-
On variational principle and canonical structure of gravitational theory in double-foliation formalism
Authors:
Sajad Aghapour,
Ghadir Jafari,
Mehdi Golshani
Abstract:
In this paper, we analyze the variation of the gravitational action on a bounded region of spacetime whose boundary contains segments with various characters, including null. We develop a systematic approach to decompose the derivative of metric variations into orthogonal and tangential components with respect to the boundary and express them in terms of variations of geometric objects associated…
▽ More
In this paper, we analyze the variation of the gravitational action on a bounded region of spacetime whose boundary contains segments with various characters, including null. We develop a systematic approach to decompose the derivative of metric variations into orthogonal and tangential components with respect to the boundary and express them in terms of variations of geometric objects associated with the boundary hypersurface. We suggest that a double-foliation of spacetime provides a natural and useful set-up for treating the general problem and clarifies the assumptions and results in specialized ones. In this set-up, we are able to obtain the boundary action necessary for the variational principle to become well-posed, beside the canonical structure of the theory, while kee** the variations quite general. Especially, we show how one can remove the restrictions imposed on the metric variations in previous works due to the assumption that the boundary character is kept unaltered. As a result, we find that on null boundaries a new canonical pair which is related to the change in character of the boundary. This set-up and the calculation procedure are stated in a way that can be applied to other more generalized theories of gravity.
△ Less
Submitted 1 September, 2018; v1 submitted 22 August, 2018;
originally announced August 2018.
-
The tree property at double successors of singular cardinals of uncountable cofinality with infinite gaps
Authors:
Mohammad Golshani,
Alejandro Poveda
Abstract:
Assuming the existence of a strong cardinal $κ$, a weakly compact cardinal $λ$ above it and $γ> λ,$ we force a generic extension in which $κ$ is a singular strong limit cardinal of any given cofinality $δ$, $2^κ\geq γ$ and such that the tree property holds at $κ^{++}$.
Assuming the existence of a strong cardinal $κ$, a weakly compact cardinal $λ$ above it and $γ> λ,$ we force a generic extension in which $κ$ is a singular strong limit cardinal of any given cofinality $δ$, $2^κ\geq γ$ and such that the tree property holds at $κ^{++}$.
△ Less
Submitted 25 June, 2020; v1 submitted 20 August, 2018;
originally announced August 2018.
-
Unifying relativity and classical dynamics
Authors:
Mozafar Karamian,
Mahdi Atiq,
Fatemeh Najdat,
Mehdi Golshani
Abstract:
Relativity and classical dynamics, as defined so far, form distinct parts of classical physics and are formulated based on independent principles. We propose that the formalism of classical dynamics can be considered as the theoretical foundation of the current theory of relativity and may be employed for exploring possibilities beyond the current theory. We show that special-relativistic kinemati…
▽ More
Relativity and classical dynamics, as defined so far, form distinct parts of classical physics and are formulated based on independent principles. We propose that the formalism of classical dynamics can be considered as the theoretical foundation of the current theory of relativity and may be employed for exploring possibilities beyond the current theory. We show that special-relativistic kinematics, including universality of the speed of massless particles relative to inertial frames, is a consequence of the formalism of classical dynamics, with no assumptions other than spacetime point transformations and Euclidean geometry of space in inertial frames. We discuss that energy-independent velocity is a general concept in classical dynamics, applicable even to massive objects, in appropriate canonical coordinates. The derivation of Lorentz symmetry is inherently local and allows the speed of massless particles (relative to local inertial frames) to vary with space and time globally, which may provide a theoretical foundation for variable speed of light cosmology. We obtain no kinematical scales other than the light-speed, specially no scale of energy or momentum as has been suggested in some quantum gravity investigations. We argue that this is a consequence of spacetime point transformations making the momentum space linear, and a possible second scale must require non-point transformations as a necessary condition, which seems compatible with the notion of relative locality in curved momentum space.
△ Less
Submitted 9 August, 2018; v1 submitted 23 July, 2018;
originally announced July 2018.
-
The generalized Kurepa hypothesis at singular cardinals
Authors:
Mohammad Golshani
Abstract:
We discuss the generalized Kurepa hypothesis $KH_λ$ at singular cardinals $λ$. In particular, we answer questions of Erdös-Hajnal [1] and Todorcevic [6], [7] by showing that $GCH$ does not imply $KH_{\aleph_ω}$ nor the existence of a family $ \mathcal{F} \subseteq [\aleph_ω]^{\aleph_0}$ of size $\aleph_{ω+1}$ such that $\mathcal{F} \restriction X$ has size $\aleph_0$ for every…
▽ More
We discuss the generalized Kurepa hypothesis $KH_λ$ at singular cardinals $λ$. In particular, we answer questions of Erdös-Hajnal [1] and Todorcevic [6], [7] by showing that $GCH$ does not imply $KH_{\aleph_ω}$ nor the existence of a family $ \mathcal{F} \subseteq [\aleph_ω]^{\aleph_0}$ of size $\aleph_{ω+1}$ such that $\mathcal{F} \restriction X$ has size $\aleph_0$ for every $X \subseteq S, |X|=\aleph_0$.
△ Less
Submitted 4 March, 2020; v1 submitted 6 December, 2017;
originally announced December 2017.
-
On a theorem of Magidor
Authors:
Mohammad Golshani
Abstract:
Assuming $κ$ is a supercompact cardinal and $λ$ is an inaccessible cardinal above it, we present an idea due to Magidor, to find a generic extension in which $κ=\aleph_ω$ and $λ=\aleph_{ω+1}.$
Assuming $κ$ is a supercompact cardinal and $λ$ is an inaccessible cardinal above it, we present an idea due to Magidor, to find a generic extension in which $κ=\aleph_ω$ and $λ=\aleph_{ω+1}.$
△ Less
Submitted 13 November, 2017;
originally announced November 2017.
-
Fluctuation relation for heat exchange in Markovian open quantum systems
Authors:
Mehdi Ramezani,
Mehdi Golshani,
Ali T. Rezakhani
Abstract:
A fluctuation relation for the heat exchange of an open quantum system under a thermalizing Markovian dynamics is derived. We show that the probability of that the system absorbs an amount of heat from its bath, at a given time interval, divided by the probability of the reverse process (releasing the same amount of heat to the bath) is given by an exponential factor which depends on the amount of…
▽ More
A fluctuation relation for the heat exchange of an open quantum system under a thermalizing Markovian dynamics is derived. We show that the probability of that the system absorbs an amount of heat from its bath, at a given time interval, divided by the probability of the reverse process (releasing the same amount of heat to the bath) is given by an exponential factor which depends on the amount of heat and the difference between the temperatures of the system and the bath. We also argue that the probability of the violation of the second law of thermodynamics (here in the form of net heat transfer from a cold system to its hot bath) drops exponentially with both the amount of heat and the temperature differences.
△ Less
Submitted 25 October, 2017;
originally announced October 2017.
