-
Naive homotopy theories in cartesian closed categories
Authors:
Enrique Ruiz Hernández,
Pedro Solórzano
Abstract:
An elementary notion of homotopy can be introduced between arrows in a cartesian closed category $E$. The input is a finite-product-preserving endofunctor $Π_0$ with a natural transformation $p$ from the identity which is surjective on global elements. As expected, the output is a new category $E_p$ with objects the same objects as $E$.
Further assumptions on $E$ provide a finer description of…
▽ More
An elementary notion of homotopy can be introduced between arrows in a cartesian closed category $E$. The input is a finite-product-preserving endofunctor $Π_0$ with a natural transformation $p$ from the identity which is surjective on global elements. As expected, the output is a new category $E_p$ with objects the same objects as $E$.
Further assumptions on $E$ provide a finer description of $E_p$ that relates it to the classical homotopy theory where $Π_0$ could be interpreted as the ``path-connected components'' functor on convenient categories of topological spaces. In particular, if $E$ is a 2-value topos the supports of which split and is furthermore assumed to be precohesive over a boolean base, then the passage from $E$ to $E_p$ is naturally described in terms of explicit homotopies -- as is the internal notion of contractible space.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
Connectedness through decidable quotients
Authors:
Enrique Ruiz Hernández,
Pedro Solórzano
Abstract:
By looking at decidable quotients, a sufficient condition is provided to guarantee that (1) the full subcategory of decidable objects of a topos is an exponential ideal and that (2) the classical notion of connectedness for an object $X$ coincides with $ΠX=1$, where $Π$ is the left-adjoint functor of the inclusion of the decidable objects.
The addition of this condition to McLarty's axiomatic se…
▽ More
By looking at decidable quotients, a sufficient condition is provided to guarantee that (1) the full subcategory of decidable objects of a topos is an exponential ideal and that (2) the classical notion of connectedness for an object $X$ coincides with $ΠX=1$, where $Π$ is the left-adjoint functor of the inclusion of the decidable objects.
The addition of this condition to McLarty's axiomatic set up for Synthetic Differential Geometry makes any topos that satisfies it precohesive over the topos of its decidable objects. A converse is also provided.
△ Less
Submitted 22 April, 2025; v1 submitted 27 November, 2023;
originally announced November 2023.
-
Quantum simulations of neutral water clusters and singly-charged water cluster anions
Authors:
Alfonso Gijón,
Eduardo R. Hernández
Abstract:
We report a computational study of the structural and energetic properties of water clustersand singly-charged water cluster anions containing from 20 to 573 water molecules. We have used both a classical and a quantum description of the molecular degrees of freedom. Water intra and inter-molecular interactions have been modelled through the SPC/F model, while the water-excess electron interaction…
▽ More
We report a computational study of the structural and energetic properties of water clustersand singly-charged water cluster anions containing from 20 to 573 water molecules. We have used both a classical and a quantum description of the molecular degrees of freedom. Water intra and inter-molecular interactions have been modelled through the SPC/F model, while the water-excess electron interaction has been described via the well-known Turi-Borgis potential. We find that in general the quantum effects of the water degrees of freedom are small, but they do influence the cluster-size at which the excess electron stabilises inside the cluster, which occurs at smaller cluster sizes when quantum effects are taken into consideration.
△ Less
Submitted 1 March, 2022;
originally announced March 2022.
-
On logical parameterizations and functional representability in local set theories
Authors:
Enrique Ruiz Hernández,
Pedro Solórzano
Abstract:
There is a well-known inclusion $ι_\mathscr{E}$ of a topos $\mathscr{E}$ in the linguistic topos $\mathscr{T}(Σ)$ of its internal language $Σ$ that proves both toposes to be equivalent. There is also a canonical translation $η_S$ for any local set theory $S$ into the local set theory $Σ$ of its linguistic topos. Starting from a local set theory, this yields two a priori distinct inclusions from…
▽ More
There is a well-known inclusion $ι_\mathscr{E}$ of a topos $\mathscr{E}$ in the linguistic topos $\mathscr{T}(Σ)$ of its internal language $Σ$ that proves both toposes to be equivalent. There is also a canonical translation $η_S$ for any local set theory $S$ into the local set theory $Σ$ of its linguistic topos. Starting from a local set theory, this yields two a priori distinct inclusions from $\mathscr{T}(S)$ to $\mathscr{T}(Σ)$.
Herein, these two functors are proved to be isomorphic. Furthermore, the concept of logical parameterization is investigated and then applied to see that $ι_{\mathscr{T}(S)}$ parameterizes $\mathscr{T}(η_S)$ in such a way that syntactic $S$-functions are represented by themselves in $Σ$.
△ Less
Submitted 14 February, 2024; v1 submitted 15 April, 2021;
originally announced April 2021.
-
Another characterization of no-iteration distributive laws
Authors:
Enrique Ruiz Hernández
Abstract:
We provide a characterization of no-iteration distributive laws in terms of its monads in extensive form only. To do that, it is necessary to take account of both right and left extension systems. We also give, in this right-left perspective, characterizations of the 1-cells and 2-cells in $\mathbf{EM}(K)$ and $\mathbf{Kl}(K)$.
We provide a characterization of no-iteration distributive laws in terms of its monads in extensive form only. To do that, it is necessary to take account of both right and left extension systems. We also give, in this right-left perspective, characterizations of the 1-cells and 2-cells in $\mathbf{EM}(K)$ and $\mathbf{Kl}(K)$.
△ Less
Submitted 27 March, 2020; v1 submitted 15 October, 2019;
originally announced October 2019.
-
Paths towards equilibrium in molecular systems: a mesoscopic Mpemba-like effect in water
Authors:
A. Gijón,
A. Lasanta,
E. R. Hernández
Abstract:
The so-called Mpemba effect, i.e. the observation that the warmer of two otherwise identical systems cools faster when both are refrigerated in the same thermal reservoir, is a hotly debated topic in condensed mater physics and statistical mechanics. Although it has been found in several non-equilibrium model systems, its very existence in water, the system in which it has been historically report…
▽ More
The so-called Mpemba effect, i.e. the observation that the warmer of two otherwise identical systems cools faster when both are refrigerated in the same thermal reservoir, is a hotly debated topic in condensed mater physics and statistical mechanics. Although it has been found in several non-equilibrium model systems, its very existence in water, the system in which it has been historically reported, is still open to question. Here we show using numerical simulations that a Mpemba effect is indeed present in water. We find that the effect occurs when equipartition of energy is not present in the initial state. Interestingly, the effect is observed without the intervention of a phase transition, and it is therefore seen to be a purely non-equilibrium relaxation effect.
△ Less
Submitted 25 June, 2019;
originally announced June 2019.
-
A Categorical Generalization of Counterpoint
Authors:
Octavio A. Agustín-Aquino,
Juan Sebastián Arias,
Enrique Ruiz Hernández
Abstract:
We extend Mazzola's counterpoint model in terms of category theory. One immediate outcome is the possibility of relaxing the "yes/no" character of the definitions of consonance, and stressing its dependence on context in general. A counterpoint model with sets instead of pure pitches is obtained.
We extend Mazzola's counterpoint model in terms of category theory. One immediate outcome is the possibility of relaxing the "yes/no" character of the definitions of consonance, and stressing its dependence on context in general. A counterpoint model with sets instead of pure pitches is obtained.
△ Less
Submitted 21 May, 2025; v1 submitted 30 September, 2018;
originally announced October 2018.
-
A simple Chain-of-States method in acceleration space for the efficient location of Minimum Energy Paths
Authors:
E. R. Hernandez,
C. P. Herrero,
J. M. Soler
Abstract:
We describe a robust and efficient chain-of-states method for computing Minimum Energy Paths~(MEPs) associated to barrier-crossing events in poly-atomic systems. The path is parametrized in terms of a continuous variable $t \in [0,1]$ that plays the role of time. In contrast to previous chain-of-states algorithms such as the Nudged Elastic Band or String methods, where the positions of the states…
▽ More
We describe a robust and efficient chain-of-states method for computing Minimum Energy Paths~(MEPs) associated to barrier-crossing events in poly-atomic systems. The path is parametrized in terms of a continuous variable $t \in [0,1]$ that plays the role of time. In contrast to previous chain-of-states algorithms such as the Nudged Elastic Band or String methods, where the positions of the states in the chain are taken as variational parameters in the search for the MEP, our strategy is to formulate the problem in terms of the second derivatives of the coordinates with respect to $t$, {\em i.e.\/} the state {\em accelerations\/}. We show this to result in a very transparent and efficient method for determining the MEP. We describe the application of the method in a series of test cases, including two low-dimensional problems and the Stone-Wales transformation in $\mbox{C}_{60}$.
△ Less
Submitted 23 October, 2015; v1 submitted 8 September, 2015;
originally announced September 2015.
-
Anomalous melting behavior of solid hydrogen at high pressures
Authors:
Hanyu Liu,
E. R. Hernandez,
Jun Yan,
Yanming Ma
Abstract:
Hydrogen is the most abundant element in the universe, and its properties under conditions of high temperature and pressure are crucial to understand the interior of of large gaseous planets and other astrophysical bodies. At ultra high pressures solid hydrogen has been predicted to transform into a quantum fluid, because of its high zero point motion. Here we report first principles two phase coe…
▽ More
Hydrogen is the most abundant element in the universe, and its properties under conditions of high temperature and pressure are crucial to understand the interior of of large gaseous planets and other astrophysical bodies. At ultra high pressures solid hydrogen has been predicted to transform into a quantum fluid, because of its high zero point motion. Here we report first principles two phase coexistence and Z method determinations of the melting line of solid hydrogen in a pressure range spanning from 30 to 600 GPa. Our results suggest that the melting line of solid hydrogen, as derived from classical molecular dynamics simulations, reaches a minimum of 367 K at about 430 GPa, at higher pressures the melting line of the atomics Cs IV phase regain a positive slope. In view of the possible importance of quantum effects in hydrogen at such low temperatures, we also determined the melting temperature of the atomic CsIV phase at pressures of 400, 500, 600 GPa, employing Feynman path integral simulations. These result in a downward shift of the classical melting line by about 100 K, and hint at a possible secondary maximum in the melting line in the region between 500 and 600 GPa, testifying to the importance of quantum effects in this system. Combined, our results imply that the stability field of the zero temperature quantum liquid phase, if it exists at all, would only occur at higher pressures than previously thought.
△ Less
Submitted 9 March, 2013;
originally announced March 2013.
-
Two-dimensional Bloch electrons in perpendicular magnetic fields: an exact calculation of the Hofstadter butterfly spectrum
Authors:
S. Janecek,
M. Aichinger,
E. R. Hernandez
Abstract:
The problem of two-dimensional, independent electrons subject to a periodic potential and a uniform perpendicular magnetic field unveils surprisingly rich physics, as epitomized by the fractal energy spectrum known as Hofstadter's Butterfly. It has hitherto been addressed using various approximations rooted in either the strong potential or the strong field limiting cases. Here we report calculati…
▽ More
The problem of two-dimensional, independent electrons subject to a periodic potential and a uniform perpendicular magnetic field unveils surprisingly rich physics, as epitomized by the fractal energy spectrum known as Hofstadter's Butterfly. It has hitherto been addressed using various approximations rooted in either the strong potential or the strong field limiting cases. Here we report calculations of the full spectrum of the single-particle Schrödinger equation without further approximations. Our method is exact, up to numerical precision, for any combination of potential and uniform field strength. We first study a situation that corresponds to the strong potential limit, and compare the exact results to the predictions of a Hofstadter-like model. We then go on to analyze the evolution of the fractal spectrum from a Landau-like nearly-free electron system to the Hofstadter tight-binding limit by tuning the amplitude of the modulation potential.
△ Less
Submitted 8 March, 2013;
originally announced March 2013.
-
Path-integral molecular dynamics simulation of 3C-SiC
Authors:
Rafael Ramirez,
Carlos P. Herrero,
Eduardo R. Hernandez,
Manuel Cardona
Abstract:
Molecular dynamics simulations of 3C-SiC have been performed as a function of pressure and temperature. These simulations treat both electrons and atomic nuclei by quantum mechanical methods. While the electronic structure of the solid is described by an efficient tight-binding Hamiltonian, the nuclei dynamics is treated by the path integral formulation of statistical mechanics. To assess the re…
▽ More
Molecular dynamics simulations of 3C-SiC have been performed as a function of pressure and temperature. These simulations treat both electrons and atomic nuclei by quantum mechanical methods. While the electronic structure of the solid is described by an efficient tight-binding Hamiltonian, the nuclei dynamics is treated by the path integral formulation of statistical mechanics. To assess the relevance of nuclear quantum effects, the results of quantum simulations are compared to others where either the Si nuclei, the C nuclei or both atomic nuclei are treated as classical particles. We find that the experimental thermal expansion of 3C-SiC is realistically reproduced by our simulations. The calculated bulk modulus of 3C-SiC and its pressure derivative at room temperature show also good agreement with the available experimental data. The effect of the electron-phonon interaction on the direct electronic gap of 3C-SiC has been calculated as a function of temperature and related to results obtained for bulk diamond and Si. Comparison to available experimental data shows satisfactory agreement, although we observe that the employed tight-binding model tends to overestimate the magnitude of the electron-phonon interaction. The effect of treating the atomic nuclei as classical particles on the direct gap of 3C-SiC has been assessed. We find that non-linear quantum effects related to the atomic masses are particularly relevant at temperatures below 250 K.
△ Less
Submitted 22 April, 2008;
originally announced April 2008.
-
Hydrogen and muonium in diamond: A path-integral molecular dynamics simulation
Authors:
Carlos P. Herrero,
Rafael Ramirez,
Eduardo R. Hernandez
Abstract:
Isolated hydrogen, deuterium, and muonium in diamond have been studied by path-integral molecular dynamics simulations in the canonical ensemble. Finite-temperature properties of these point defects were analyzed in the range from 100 to 800 K. Interatomic interactions were modeled by a tight-binding potential fitted to density-functional calculations. The most stable position for these hydrogen…
▽ More
Isolated hydrogen, deuterium, and muonium in diamond have been studied by path-integral molecular dynamics simulations in the canonical ensemble. Finite-temperature properties of these point defects were analyzed in the range from 100 to 800 K. Interatomic interactions were modeled by a tight-binding potential fitted to density-functional calculations. The most stable position for these hydrogenic impurities is found at the C-C bond center. Vibrational frequencies have been obtained from a linear-response approach, based on correlations of atom displacements at finite temperatures. The results show a large anharmonic effect in impurity vibrations at the bond center site, which hardens the vibrational modes with respect to a harmonic approximation. Zero-point motion causes an appreciable shift of the defect level in the electronic gap, as a consequence of electron-phonon interaction. This defect level goes down by 70 meV when replacing hydrogen by muonium.
△ Less
Submitted 2 June, 2006;
originally announced June 2006.
-
A path-integral molecular dynamics simulation of diamond
Authors:
Rafael Ramirez,
Carlos P. Herrero,
Eduardo R. Hernandez
Abstract:
Diamond is studied by path integral molecular dynamics simulations of the atomic nuclei in combination with a tight-binding Hamiltonian to describe its electronic structure and total energy. This approach allows us to quantify the influence of quantum zero-point vibrations and finite temperatures on both the electronic and vibrational properties of diamond. The electron-phonon coupling mediated…
▽ More
Diamond is studied by path integral molecular dynamics simulations of the atomic nuclei in combination with a tight-binding Hamiltonian to describe its electronic structure and total energy. This approach allows us to quantify the influence of quantum zero-point vibrations and finite temperatures on both the electronic and vibrational properties of diamond. The electron-phonon coupling mediated by the zero-point vibration reduces the direct electronic gap of diamond by 10 %. The calculated decrease of the direct gap with temperature shows good agreement with the experimental data available up to 700 K. Anharmonic vibrational frequencies of the crystal have been obtained from a linear-response approach based on the path integral formalism. In particular, the temperature dependence of the zone-center optical phonon has been derived from the simulations. The anharmonicity of the interatomic potential produces a red shift of this phonon frequency.At temperatures above 500 K, this shift is overestimated in comparison to available experimental data. The predicted temperature shift of the elastic constant c_{44} displays reasonable agreement with the available experimental results.
△ Less
Submitted 1 June, 2006;
originally announced June 2006.
-
On the nature of the melting line of bcc sodium
Authors:
Eduardo R. Hernandez,
Jorge Iniguez
Abstract:
Recent experiments have obtained the melting line of sodium up to pressures of about 130 GPa, finding that the melting line from the {\em bcc} phase reaches a maximum at a temperature of {\em c.a.} 1000 K and a pressure of 31 GPa, and at higher pressures the fusion temperature decreases continuously up to 118 GPa. Here we report results of a study based on first principles molecular dynamics, cl…
▽ More
Recent experiments have obtained the melting line of sodium up to pressures of about 130 GPa, finding that the melting line from the {\em bcc} phase reaches a maximum at a temperature of {\em c.a.} 1000 K and a pressure of 31 GPa, and at higher pressures the fusion temperature decreases continuously up to 118 GPa. Here we report results of a study based on first principles molecular dynamics, clarifying the nature of the maximum and subsequent decreasing behavior found in the melting line of sodium.
△ Less
Submitted 29 March, 2006;
originally announced March 2006.
-
Phase diagram of silicon from atomistic simulations
Authors:
M. Kaczmarski,
O. N. Bedoya-Martinez,
E. R. Hernandez
Abstract:
In this letter we present a calculation of the temperature-pressure phase diagram of Si in a range of pressures covering from -5 to 20 GPa and temperatures up to the melting point. The phase boundaries and triple points between the diamond, liquid, $β$-Sn and ${Si}_{34}$ clathrate phases are reported. We have employed efficient simulation techniques to calculate free energies and to numerically…
▽ More
In this letter we present a calculation of the temperature-pressure phase diagram of Si in a range of pressures covering from -5 to 20 GPa and temperatures up to the melting point. The phase boundaries and triple points between the diamond, liquid, $β$-Sn and ${Si}_{34}$ clathrate phases are reported. We have employed efficient simulation techniques to calculate free energies and to numerically integrate the Clausius-Clapeyron equation, combined with a tight binding model capable of an accuracy comparable to that of first-principles methods. The resulting phase diagram agrees well with the available experimental data.
△ Less
Submitted 25 February, 2005;
originally announced February 2005.
