-
Dynamic allocation function design in the presence of magnitude saturating inputs
Authors:
Thiago Alves Lima,
Sophie Tarbouriech
Abstract:
This chapter deals with the design of dynamic allocation functions for systems with saturating actuators. The goal of the allocator consists in redistributing the desired control effort within the multiple actuators by penalizing each actuator to be more or less used, while also taking into account a criterion for minimization of their total energy consumption over time. Anti-windup gains are adde…
▽ More
This chapter deals with the design of dynamic allocation functions for systems with saturating actuators. The goal of the allocator consists in redistributing the desired control effort within the multiple actuators by penalizing each actuator to be more or less used, while also taking into account a criterion for minimization of their total energy consumption over time. Anti-windup gains are added to both the controller and the dynamic allocator to deal with the saturation condition. Two cases are considered: the plant is affected by bounded disturbance and the influence matrix is supposed to be affected by uncertainty. Convex conditions for the co-design of both the dynamic allocator and anti-windup gains are then expressed in the form of linear matrix inequalities (LMIs). Such conditions allow to deal with the multiple objective problems of enlarging the estimates of the basin of attraction, minimizing the total energy consumption of the actuators and maximizing the size of the admissible disturbance. The satellite formation problem borrowed from the literature is revised to illustrate the proposed technique and show its effectiveness in both cases (perturbed system and robust case).
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms
Authors:
Thaynara Arielly de Lima,
Andréia Borges Avelar,
André Luiz Galdino,
Mauricio Ayala-Rincón
Abstract:
This paper discusses the extension of the Prototype Verification System (PVS) sub-theory for rings, part of the PVS algebra theory, with theorems related to the division algorithm for Euclidean rings and Unique Factorization Domains that are general structures where an analog of the Fundamental Theorem of Arithmetic holds. First, we formalize the general abstract notions of divisibility, prime, an…
▽ More
This paper discusses the extension of the Prototype Verification System (PVS) sub-theory for rings, part of the PVS algebra theory, with theorems related to the division algorithm for Euclidean rings and Unique Factorization Domains that are general structures where an analog of the Fundamental Theorem of Arithmetic holds. First, we formalize the general abstract notions of divisibility, prime, and irreducible elements in commutative rings, essential to deal with unique factorization domains. Then, we formalize the landmark theorem, establishing that every principal ideal domain is a unique factorization domain. Finally, we specify the theory of Euclidean domains and formally verify that the rings of integers, the Gaussian integers, and arbitrary fields are Euclidean domains. To highlight the benefits of such a general abstract discipline of formalization, we specify a Euclidean gcd algorithm for Euclidean domains and formalize its correctness. Also, we show how this correctness is inherited under adequate parameterizations for the structures of integers and Gaussian integers.
△ Less
Submitted 23 April, 2024;
originally announced April 2024.
-
Mixing Property of Symmetrical Polygonal Billiards
Authors:
R. B. do Carmo,
T. Araújo Lima
Abstract:
The present work consists of a numerical study of the dynamics of irrational polygonal billiards. Our contribution reinforces the hypothesis that these systems could be Strongly Mixing, although never demonstrably chaotic, and discuss the role of rotational symmetries on the billiards boundaries. We introduce a biparametric polygonal billiards family with only $C_n$ rotational symmetries. Initiall…
▽ More
The present work consists of a numerical study of the dynamics of irrational polygonal billiards. Our contribution reinforces the hypothesis that these systems could be Strongly Mixing, although never demonstrably chaotic, and discuss the role of rotational symmetries on the billiards boundaries. We introduce a biparametric polygonal billiards family with only $C_n$ rotational symmetries. Initially, we calculate for some integers values of $n$ the filling of the phase space through the Relative Measure $r(\ell, θ; t)$ for a plane of parameters $\ell \times θ$. From the resulting phase diagram, we could identify the completely ergodic systems. The numerical evidence that symmetrical polygonal billiards can be Strongly Mixing is obtained by calculating the Position Autocorrelation Function, $\Cor_x(t)$, these figures of merit result in power law-type decays $t^{- σ}$. The Strongly Mixing property is indicated by $σ= 1$. For odd small values of $n$, the exponent $σ\simeq 1$ is obtained while $σ< 1$, weakly mixing cases, for small even values. Intermediate $n$ values present $σ\simeq 1$ independent of parity. For high values of symmetry parameter $n$, the biprametric family tends to be a circular billiard (integrable case). This range shows even less ergodic behavior when $n$ increases and $σ$ decreases.
△ Less
Submitted 11 August, 2023;
originally announced August 2023.
-
Graph-Based Conditions for Feedback Stabilization of Switched and LPV Systems
Authors:
Matteo Della Rossa,
Thiago Alves Lima,
Marc Jungers,
Raphaël M. Jungers
Abstract:
This paper presents novel stabilizability conditions for switched linear systems with arbitrary and uncontrollable underlying switching signals. We distinguish and study two particular settings: i) the \emph{robust} case, in which the active mode is completely unknown and unobservable, and ii) the \emph{mode-dependent} case, in which the controller depends on the current active switching mode. The…
▽ More
This paper presents novel stabilizability conditions for switched linear systems with arbitrary and uncontrollable underlying switching signals. We distinguish and study two particular settings: i) the \emph{robust} case, in which the active mode is completely unknown and unobservable, and ii) the \emph{mode-dependent} case, in which the controller depends on the current active switching mode. The technical developments are based on graph-theory tools, relying in particular on the path-complete Lyapunov functions framework. The main idea is to use directed and labeled graphs to encode Lyapunov inequalities to design robust and mode-dependent piecewise linear state-feedback controllers. This results in novel and flexible conditions, with the particular feature of being in the form of linear matrix inequalities (LMIs). Our technique thus provides a first controller-design strategy allowing piecewise linear feedback maps and piecewise quadratic (control) Lyapunov functions by means of semidefinite programming. Numerical examples illustrate the application of the proposed techniques, the relations between the graph order, the robustness, and the performance of the closed loop.
△ Less
Submitted 20 June, 2023;
originally announced June 2023.
-
Classical and Quantum Elliptical Billiards: Mixed Phase Space and Short Correlations in Singlets and Doublets
Authors:
T. Araújo Lima,
R. B. do Carmo
Abstract:
Billiards are flat cavities where a particle is free to move between elastic collisions with the boundary. In chaos theory these systems are simple prototypes, their conservative dynamics of a billiard may vary from regular to chaotic, depending only on the border. The results reported here seek to shed light on the quantization of classically chaotic systems. We present numerical results on class…
▽ More
Billiards are flat cavities where a particle is free to move between elastic collisions with the boundary. In chaos theory these systems are simple prototypes, their conservative dynamics of a billiard may vary from regular to chaotic, depending only on the border. The results reported here seek to shed light on the quantization of classically chaotic systems. We present numerical results on classical and quantum properties in two bi-parametric families of Billiards, Elliptical Stadium Billiard (ESB) and Elliptical-$C_3$ Billiards (E-$C_3$B). Both are elliptical perturbations of chaotic billiards with originally circular sectors on their borders. Our numerical calculations show evidence that the elliptical families can present a mixed classical phase space, identified by a parameter $ρ_\text{c} < 1$, which we use to guide our analysis of quantum spectra. We explored the short correlations through nearest neighbor spacing distribution $p(s)$, which showed that in the mixed region of the classical phase space, $p(s)$ is well described by the Berry-Robnik-Brody (BRB) distributions for the ESB. In agreement with the expected from the so-called ergodic parameter $α= t_\text{H}/t_\text{T}$, the ratio between the Heisenberg time and the classical diffusive-like transport time signals the possibility of quantum dynamical localization when $α< 1$. For the E-$C_3$B family, the eigenstates can be split into singlets and doublets. BRB describes $p(s)$ for singlets as the previous family in the mixed region. However, the $p(s)$ for doublets are described by new distributions recently introduced in the literature but only tested in a few cases for $ρ_\text{c} < 1$. We observed that as $ρ_\text{c}$ decreases, the $p(s)$'s tend to move away simultaneously from the GOE (singlets) and GUE (doublets) distributions.
△ Less
Submitted 11 January, 2023;
originally announced January 2023.
-
Systems with both constant and time-varying delays: a switched systems approach and application to observer-controller co-design
Authors:
Thiago Alves Lima,
Matteo Della Rossa,
Frédéric Gouaisbaut,
Raphaël Jungers,
Sophie Tarbouriech
Abstract:
In this paper, we study the application of switched systems stability criteria to derive delay-dependent conditions for systems affected by both a constant and a time-varying delay. The main novelty of our approach lies on the use of path-complete Lyapunov techniques along with the proposition of a new modified functional to obtain convex analysis conditions while avoiding the need of computing a…
▽ More
In this paper, we study the application of switched systems stability criteria to derive delay-dependent conditions for systems affected by both a constant and a time-varying delay. The main novelty of our approach lies on the use of path-complete Lyapunov techniques along with the proposition of a new modified functional to obtain convex analysis conditions while avoiding the need of computing a dwell time for each mode in a switched system representation, as usual in the \textit{switched approach} for time-delay systems. Furthermore, we leverage the developed analysis to obtain LMIs for the closed-loop stabilization of systems with time-varying sensor delays by means of an observer-based compensator. A numerical example illustrates the proposed methods.
△ Less
Submitted 11 September, 2022;
originally announced September 2022.
-
Reconfigurable Heterogeneous Parallel Island Models
Authors:
Lucas Ângelo da Silveira,
Thaynara Arielly de Lima,
Mauricio Ayala-Rincón
Abstract:
Heterogeneous Parallel Island Models (HePIMs) run different bio-inspired algorithms (BAs) in their islands. From a variety of communication topologies and migration policies fine-tuned for homogeneous PIMs (HoPIMs), which run the same BA in all their islands, previous work introduced HePIMs that provided competitive quality solutions regarding the best-adapted BA in HoPIMs. This work goes a step f…
▽ More
Heterogeneous Parallel Island Models (HePIMs) run different bio-inspired algorithms (BAs) in their islands. From a variety of communication topologies and migration policies fine-tuned for homogeneous PIMs (HoPIMs), which run the same BA in all their islands, previous work introduced HePIMs that provided competitive quality solutions regarding the best-adapted BA in HoPIMs. This work goes a step forward, maintaining the population diversity provided by HePIMs, and increasing their flexibility, allowing BA reconfiguration on islands during execution: according to their performance, islands may substitute their BAs dynamically during the evolutionary process. Experiments with the introduced architectures (RecHePIMs) were applied to the NP-hard problem of sorting permutations by reversals, using four different BAs, namely, simple Genetic Algorithm, Double-point crossover Genetic Algorithm, Differential Evolution, and self-adjusting Particle Swarm Optimization. The results showed that the new reconfigurable heterogeneous models compute better quality solutions than the HePIMs closing the gap with the HoPIM running the best-adapted BA.
△ Less
Submitted 5 May, 2022;
originally announced May 2022.
-
State-feedback Abstractions for Optimal Control of Piecewise-affine Systems
Authors:
Lucas N. Egidio,
Thiago Alves Lima,
Raphaël M. Jungers
Abstract:
In this manuscript, we investigate symbolic abstractions that capture the behavior of piecewise-affine systems under input constraints and bounded external noise. This is accomplished by considering local affine feedback controllers that are jointly designed with the symbolic model, which ensures that an alternating simulation relation between the system and the abstraction holds. The resulting sy…
▽ More
In this manuscript, we investigate symbolic abstractions that capture the behavior of piecewise-affine systems under input constraints and bounded external noise. This is accomplished by considering local affine feedback controllers that are jointly designed with the symbolic model, which ensures that an alternating simulation relation between the system and the abstraction holds. The resulting symbolic system is called a state-feedback abstraction and we show that it can be deterministic even when the original piecewise-affine system is unstable and non-deterministic. One benefit of this approach is the fact that the input space need not be discretized and the symbolic-input space is reduced to a finite set of controllers. When ellipsoidal cells and affine controllers are considered, we present necessary and sufficient conditions written as a semi-definite program for the existence of a transition and a robust upper bound on the transition cost. Two examples illustrate particular aspects of the theory and its applicability.
△ Less
Submitted 21 November, 2022; v1 submitted 1 April, 2022;
originally announced April 2022.
-
Low Temperature Phase Transitions of the Ionic Liquid 1-Ethyl-3-methylimidazolium Dicyanamide
Authors:
Kalil Bernardino,
Thamires A. Lima,
Mauro C. C. Ribeiro
Abstract:
Several calorimetric measurements have shown that 1-ethyl-3-methylimidazolium dicyanamide, [C2C1im][N(CN)2], is a glass-forming liquid, even though it is a low-viscous liquid at room temperature. Here we found slow crystallization during cooling of [C2C1im][N(CN)2] along Raman spectroscopy measurements. The low-frequency range of the Raman spectrum shows that the same crystalline phase is obtained…
▽ More
Several calorimetric measurements have shown that 1-ethyl-3-methylimidazolium dicyanamide, [C2C1im][N(CN)2], is a glass-forming liquid, even though it is a low-viscous liquid at room temperature. Here we found slow crystallization during cooling of [C2C1im][N(CN)2] along Raman spectroscopy measurements. The low-frequency range of the Raman spectrum shows that the same crystalline phase is obtained at 210 K either by cooling or by reheating the glass (cold-crystallization). Another crystalline phase is formed at ca. 260 K just prior the melting at 270 K. X-ray diffraction and calorimetric measurements confirm that there are two crystalline phases of [C2C1im][N(CN)2]. The Raman spectra indicate that polymorphism is related to [C2C1im]+ with the ethyl chain on the plane of the imidazolium ring (the low-temperature crystal) or non-planar (the high-temperature crystal). The structural reason for the glass-forming ability of [C2C1im][N(CN)2], despite of the relatively simple molecular structures of the ions, was pursued by quantum chemistry calculations and molecular dynamics (MD) simulations. Density functional theory (DFT) calculations were performed for ionic pairs in order to draw free energy surfaces of the anion around the cation. The MD simulations using a polarizable model provided maps of occurrence of anions around cations. Both the quantum and classical calculations suggest that the delocalization of preferred positions of the anion around the cation, which adopts different conformations of the ethyl chain, is on the origin of the crystallization being hampered during cooling and the resulting glass-forming ability of [C2C1im][N(CN)2].
△ Less
Submitted 26 July, 2021;
originally announced July 2021.
-
Newton-series-based observer-predictor control for disturbed input-delayed discrete-time systems
Authors:
Thiago Alves Lima,
Valessa V. Viana,
Bismark C. Torrico,
Fabrício G. Nogueira,
Diego de S. Madeira
Abstract:
This paper deals with the problem of predicting the future state of discrete-time input-delayed systems in the presence of unknown disturbances that can affect both the state and the output equations of the plant. Since the disturbance is unknown, computing an exact prediction of the future plant states is not possible. To circumvent this problem, we propose using a high-order extended Luenberger-…
▽ More
This paper deals with the problem of predicting the future state of discrete-time input-delayed systems in the presence of unknown disturbances that can affect both the state and the output equations of the plant. Since the disturbance is unknown, computing an exact prediction of the future plant states is not possible. To circumvent this problem, we propose using a high-order extended Luenberger-type observer for the plant states, disturbances, and their finite difference variables, combined with a new equation for computing the prediction based on Newton's series from the calculus of finite differences. Detailed performance analysis is carried out to show that, under certain assumptions, both enhanced prediction and improved attenuation of the unknown disturbances are achieved. Linear matrix inequalities (LMIs) are employed for the observer design to minimize the prediction errors. A stabilization procedure based on an iterative design algorithm is also presented for the case where the plant is affected by time-varying uncertainties. Examples from the literature illustrate the advantages of the scheme.
△ Less
Submitted 9 August, 2022; v1 submitted 5 July, 2021;
originally announced July 2021.
-
Dissipativity-based $\mathcal{L}_2$ gain-scheduled static output feedback design for rational LPV systems
Authors:
Valessa V. Viana,
Diego de S. Madeira,
Thiago Alves Lima
Abstract:
This paper proposes the design of gain-scheduled static output feedback controllers for the stabilization of continuous-time linear parameter-varying systems with $\mathcal{L}_2$-gain performance. The system is transformed into the form of a differential-algebraic representation which allows dealing with the broad class of systems whose matrices can present rational or polynomial dependence on the…
▽ More
This paper proposes the design of gain-scheduled static output feedback controllers for the stabilization of continuous-time linear parameter-varying systems with $\mathcal{L}_2$-gain performance. The system is transformed into the form of a differential-algebraic representation which allows dealing with the broad class of systems whose matrices can present rational or polynomial dependence on the parameter. The proposed approach uses the definition of strict QSR dissipativity, Finsler's Lemma, and the notion of linear annihilators to formulate conditions expressed in the form of polytopic linear matrix inequalities for determining the gain-scheduled static output feedback control for system stabilization. One of the main advantages of the strategy is that it provides a simple design solution in a non-interactive manner. Furthermore, no restriction on the plant output matrix is imposed. Numerical examples highlight the effectiveness of the proposed method.
△ Less
Submitted 2 July, 2021;
originally announced July 2021.
-
Dissipativity-based static output feedback design for discrete-time LTI systems with time-varying input delays
Authors:
Thiago Alves Lima,
Diego de S. Madeira
Abstract:
This note is concerned with the presentation of new delay-dependent dissipativity-based convex conditions (expressed in the form of linear matrix inequalities) for the design of static output feedback (SOF) stabilizing gains for open-loop unstable discrete-time systems with input time-varying delays. A modified definition of QSR-dissipativity combined with the use of Lyapunov-Krasovskii functional…
▽ More
This note is concerned with the presentation of new delay-dependent dissipativity-based convex conditions (expressed in the form of linear matrix inequalities) for the design of static output feedback (SOF) stabilizing gains for open-loop unstable discrete-time systems with input time-varying delays. A modified definition of QSR-dissipativity combined with the use of Lyapunov-Krasovskii functionals as storage functions and the application of Finsler's Lemma lead to the gathering of non-interactive design conditions. We show that, differently from most works dealing with controller design for time-delayed systems, the developed conditions present very small conservatism compared to stability analysis conditions derived with the same strategy. Due to being a particular case of SOF with an identity output matrix, static state feedback (SSF) gains can also trivially be computed from the conditions.
△ Less
Submitted 2 July, 2021;
originally announced July 2021.
-
Static output feedback stabilization of uncertain rational nonlinear systems with input saturation
Authors:
Thiago Alves Lima,
Diego de. S. Madeira,
Valessa V. Viana,
Ricardo C. L. F. Oliveira
Abstract:
In this paper, the notion of robust strict QSR-dissipativity is applied to solve the static output feedback control problem for a class of continuous-time nonlinear rational systems subject to input saturation and bounded parametric uncertainties. A local dissipativity condition is combined with generalized sector conditions to formulate the synthesis of a stabilizing controller in terms of linear…
▽ More
In this paper, the notion of robust strict QSR-dissipativity is applied to solve the static output feedback control problem for a class of continuous-time nonlinear rational systems subject to input saturation and bounded parametric uncertainties. A local dissipativity condition is combined with generalized sector conditions to formulate the synthesis of a stabilizing controller in terms of linear matrix inequalities. The strategy applies to general static output feedback design without any restrictions on the plant output equation. An iterative algorithm based on linear matrix inequalities is proposed in order to compute the feedback gain matrix that maximizes the estimate of the closed-loop region of attraction. Numerical examples are provided to illustrate the applicability of this new approach in examples borrowed from the literature.
△ Less
Submitted 30 March, 2022; v1 submitted 2 July, 2021;
originally announced July 2021.
-
Spinning rigid bodies driven by orbital forcing: The role of dry friction
Authors:
Pablo de Castro,
Tiago Araújo Lima,
Fernando Parisio
Abstract:
A "circular orbital forcing" makes a chosen point on a rigid body follow a circular motion while the body spins freely around that point. We investigate this problem for the planar motion of a body subject to dry friction. We focus on the effect called reverse rotation (RR), where spinning and orbital rotations are antiparallel. Similar reverse dynamics include the rotations of Venus and Uranus, j…
▽ More
A "circular orbital forcing" makes a chosen point on a rigid body follow a circular motion while the body spins freely around that point. We investigate this problem for the planar motion of a body subject to dry friction. We focus on the effect called reverse rotation (RR), where spinning and orbital rotations are antiparallel. Similar reverse dynamics include the rotations of Venus and Uranus, journal machinery bearings, tissue production reactors, and chiral active particles. Due to dissipation, RRs are possible only as a transient. Here the transient or flip time $t_\textrm{f}$ depends on the circular driving frequency $ω$, unlike the viscous case previously studied. We find $t_\textrm{f}\simω^{γ-1}μ^{-γ/2}$, where $μ$ is the friction coefficient and $γ=0$ ($γ=2$) for low (high) $ω$. Whether RRs really occur depends on the initial conditions as well as on $μ$ and $H$, a geometrical parameter. The critical $H_\textrm{c}(μ)$ where RRs become possible follows a $q$-exponential with $q\simeq1.9$, a more restrictive RR scenario than in the wet case. We use animations to visualize the different dynamical regimes that emerge from the highly nonlinear dissipation mechanism of dry friction. Our results are valid across multiple investigated rigid body shapes.
△ Less
Submitted 30 March, 2021;
originally announced March 2021.
-
Teaching Interactive Proofs to Mathematicians
Authors:
Mauricio Ayala-Rincón,
Thaynara Arielly de Lima
Abstract:
This work discusses an approach to teach to mathematicians the importance and effectiveness of the application of Interactive Theorem Proving tools in their specific fields of interest. The approach aims to motivate the use of such tools through short courses. In particular, it is discussed how, using as case-of-study algebraic notions and properties, the use of the proof assistant Prototype Verif…
▽ More
This work discusses an approach to teach to mathematicians the importance and effectiveness of the application of Interactive Theorem Proving tools in their specific fields of interest. The approach aims to motivate the use of such tools through short courses. In particular, it is discussed how, using as case-of-study algebraic notions and properties, the use of the proof assistant Prototype Verification System PVS is promoted to interest mathematicians in the development of their mechanized proofs.
△ Less
Submitted 29 October, 2020;
originally announced October 2020.
-
Measuring Tree Balance with Normalized Tree Area
Authors:
T. Araújo Lima,
Flavia M. D. Marquitti,
Marcus A. M. de Aguiar
Abstract:
The study of species organization and their clustering by genetic or phenotypic similarity is carried out with the tools of phylogenetic trees. An important structural property of phylogenetic trees is the balance, which measures how taxa are distributed among clades. Tree balance can be measured using indices such as the Sackin ($S$) and the Total Cophenetic ($Φ$), which are based on the distance…
▽ More
The study of species organization and their clustering by genetic or phenotypic similarity is carried out with the tools of phylogenetic trees. An important structural property of phylogenetic trees is the balance, which measures how taxa are distributed among clades. Tree balance can be measured using indices such as the Sackin ($S$) and the Total Cophenetic ($Φ$), which are based on the distance between nodes of the tree and its root. Here, we propose a new metric for tree balance, $\bar{d}$, the Area per Pair (APP) of the tree, which is a re-scaled version of the so called tree area. We compute $\bar{d}$ for the rooted caterpillar and maximally balanced trees and we also obtain exact formulas for its expected value and variance under the Yule model. The variance of APP for Yule trees has the remarkable property of converging to an asymptotic constant value for large trees. We compare the Sackin, Total Cophenetic and APP indices for hundreds of empirical phylogenies and show that APP represents the observed distribution of tree balances better than the two other metrics.
△ Less
Submitted 28 August, 2020;
originally announced August 2020.
-
Laplacian Matrices for Extremely Balanced and Unbalanced Phylogenetic Trees
Authors:
T. Araújo Lima,
Marcus A. M. de Aguiar
Abstract:
Phylogenetic trees are important tools in the study of evolutionary relationships between species. Measures such as the index of Sackin, Colless, and Total Cophenetic have been extensively used to quantify tree balance, one key property of phylogenies. Recently a new proposal has been introduced, based on the spectrum of the Laplacian matrix associated with the tree. In this work, we calculate the…
▽ More
Phylogenetic trees are important tools in the study of evolutionary relationships between species. Measures such as the index of Sackin, Colless, and Total Cophenetic have been extensively used to quantify tree balance, one key property of phylogenies. Recently a new proposal has been introduced, based on the spectrum of the Laplacian matrix associated with the tree. In this work, we calculate the Laplacian matrix analytically for two extreme cases, corresponding to fully balanced and fully unbalanced trees. For maximally balanced trees no closed form for the Laplacian matrix was derived, but we present an algorithm to construct it. We show that Laplacian matrices of fully balanced trees display self-similar patterns that result in highly degenerated eigenvalues. Degeneracy is the main signature of this topology, since it is totally absent in fully unbalanced trees. We also establish some analytical and numerical results about the largest eigenvalue of Laplacian matrices for these topologies.
△ Less
Submitted 28 August, 2020;
originally announced August 2020.
-
An alternative approach to populate and study the $^{229}$Th nuclear clock isomer
Authors:
M. Verlinde,
S. Kraemer,
J. Moens,
K. Chrysaldis,
J. G. Correia,
S. Cottenier,
H. De Witte,
D. V. Fedorov,
V. N Fedosseev,
R. Ferrer,
L. M. Fraile,
S. Geldhof,
C. A. Granados,
M. Laatiaoui,
T. A. L. Lima,
P-C Lin,
V. Manea,
B. A. Marsh,
I. Moore,
L. M. C. Pereira,
S. Raeder,
P. Van den Bergh,
P. Van Duppen,
A. Vantomme,
E. Verstraelen
, et al. (2 additional authors not shown)
Abstract:
A new approach to observe the radiative decay of the $^{229}$Th nuclear isomer, and to determine its energy and radiative lifetime, is presented. Situated at a uniquely low excitation energy, this nuclear state might be a key ingredient for the development of a nuclear clock, a nuclear laser and the search for time variations of the fundamental constants. The isomer's $γ$ decay towards the ground…
▽ More
A new approach to observe the radiative decay of the $^{229}$Th nuclear isomer, and to determine its energy and radiative lifetime, is presented. Situated at a uniquely low excitation energy, this nuclear state might be a key ingredient for the development of a nuclear clock, a nuclear laser and the search for time variations of the fundamental constants. The isomer's $γ$ decay towards the ground state will be studied with a high-resolution VUV spectrometer after its production by the $β$ decay of $^{229}$Ac. The novel production method presents a number of advantages asserting its competitive nature with respect to the commonly used $^{233}$U $α$-decay recoil source. In this paper, a feasibility analysis of this new concept, and an experimental investigation of its key ingredients, using a pure $^{229}$Ac ion beam produced at the ISOLDE radioactive beam facility, is reported.
△ Less
Submitted 23 April, 2019;
originally announced April 2019.
-
Extended versus localized vibrations: the case of L-cysteine and L-cystine amino acids
Authors:
M. S. Ishikawa,
T. A. Lima,
F. F. Ferreira,
H. S. Martinho
Abstract:
A detailed quantitative analysis of the specific heat in the $1.8-300$ K temperature range for L-cysteine and L-cystine amino acids was presented. We observed not extended but a sharp transition at $\sim 76$ K for L-cysteine. This transition was associated to the thiol group ordering and the order-disorder transition was adequately modeled by a 2D Ising model. The energy difference among two thiol…
▽ More
A detailed quantitative analysis of the specific heat in the $1.8-300$ K temperature range for L-cysteine and L-cystine amino acids was presented. We observed not extended but a sharp transition at $\sim 76$ K for L-cysteine. This transition was associated to the thiol group ordering and the order-disorder transition was adequately modeled by a 2D Ising model. The energy difference among two thiol configurations was found to be $-J=\varepsilon_{A}-\varepsilon_{B}=-66.6$ cal/mole. Besides, we conducted a study of phonon and rotor contributions to the specific heat and we proposed a generalization of Debye model. It was possible to evaluate the exponent of the $g(ω)$, leading to the result that it corresponds to the Debye model for L-cysteine, which implies that the boson peak in this system is due to a maximum in the $C_{coup}(ω)$ and also that the plane wave of wave-vector $\vec{q}$ is a good approximation to describe the phonons. On the other hand the origin of the boson peak for L-cystine correlates to a peak in $g(ω)$ and phonons in L-cystine could be well represented by strongly attenuated plane waves or localized vibrations. Lastly, the analysis at very low temperature ($T<3$ K) indicated that L-cysteine presented a nearly temperature independent behaviour which is opposite to which is widely observed in systems with glassy characteristics within the Two-Level System (TLS) framework.
△ Less
Submitted 28 February, 2014;
originally announced March 2014.
-
Quantum fluctuations, the Boson peak, and the glassy state of biomolecules
Authors:
T. A. Lima,
M. S. Ishikawa,
H. S. Martinho
Abstract:
It has been recognized in the literature that some physical properties of hydrated biomolecules, e.g., the occurrence of Boson peak, resembles of those of glassy state. In the present work is shown that quantum fluctuations play a fundamental role on describing the glassy state of biomolecules, specially at lower hydration levels. It is reported a remarkable linear dependence on the quantumness an…
▽ More
It has been recognized in the literature that some physical properties of hydrated biomolecules, e.g., the occurrence of Boson peak, resembles of those of glassy state. In the present work is shown that quantum fluctuations play a fundamental role on describing the glassy state of biomolecules, specially at lower hydration levels. It is reported a remarkable linear dependence on the quantumness and the slope of the Boson peak frequency temperature dependence which would be used to classify de degree of quantum contributions to the glassy state by glasses in general. Finally, it is shown that the Boson peak two-bands spectral structure observed in some cases could be direct linked to the anisotropy of the material elastic properties.
△ Less
Submitted 2 September, 2013;
originally announced September 2013.
-
Anharmonic transitions in nearly dry L-cysteine I
Authors:
T. A. Lima,
E. T. Sato,
E. T. Martins,
P. Homem-de-Mello,
A. F. Lago,
M. D. Coutinho-Neto,
F. F. Ferreira,
C. Giles,
M. O. C. Pires,
H. Martinho
Abstract:
Two special dynamical transitions of universal character have been recently observed in macromolecules at $T_{D}\sim 180 - 220$ K and $T^{*}\sim 100$ K. Despite their relevance, a complete understanding of the nature of these transitions and their consequences for the bio-activity of the macromolecule is still lacking. Our results and analysis concerning the temperature dependence of structural, v…
▽ More
Two special dynamical transitions of universal character have been recently observed in macromolecules at $T_{D}\sim 180 - 220$ K and $T^{*}\sim 100$ K. Despite their relevance, a complete understanding of the nature of these transitions and their consequences for the bio-activity of the macromolecule is still lacking. Our results and analysis concerning the temperature dependence of structural, vibrational and thermodynamical properties of the orthorhombic polymorph of the amino acid L-cysteine (at a hydration level of 3.5%) indicated that the two referred temperatures define the triggering of very simple and specific events that govern all the biochemical interactions of the biomolecule: activation of rigid rotors ($T<T^{*}$), phonon-phonon interactions with phonons of water dimer ($T^{*}<T<T_{D}$), and water rotational barriers surpassing ($T>T_{D}$).
△ Less
Submitted 3 March, 2011;
originally announced March 2011.
