-
Absence of a Bulk Thermodynamic Phase Transition to a Density Wave Phase in UTe2
Authors:
Florian Theuss,
Avi Shragai,
Gael Grissonnanche,
Luciano Peralta,
Gregorio de la Fuente Simarro,
Ian M Hayes,
Shanta R Saha,
Yun Suk Eo,
Alonso Suarez,
Andrea Capa Salinas,
Ganesh Pokharel,
Stephen D. Wilson,
Nicholas P Butch,
Johnpierre Paglione,
B. J. Ramshaw
Abstract:
Competing and intertwined orders are ubiquitous in strongly correlated electron systems, such as the charge, spin, and superconducting orders in the high-Tc cuprates. Recent scanning tunneling microscopy (STM) measurements provide evidence for a charge density wave (CDW) that coexists with superconductivity in the heavy Fermion metal UTe2. This CDW persists up to at least 7.5 K and, as a CDW break…
▽ More
Competing and intertwined orders are ubiquitous in strongly correlated electron systems, such as the charge, spin, and superconducting orders in the high-Tc cuprates. Recent scanning tunneling microscopy (STM) measurements provide evidence for a charge density wave (CDW) that coexists with superconductivity in the heavy Fermion metal UTe2. This CDW persists up to at least 7.5 K and, as a CDW breaks the translational symmetry of the lattice, its disappearance is necessarily accompanied by thermodynamic phase transition. Here, we report high-precision thermodynamic measurements of the elastic moduli of UTe2. We observe no signature of a phase transition in the elastic moduli down to a level of 1 part in 10^7, strongly implying the absence of bulk CDW order in UTe2. We suggest that the CDW and associated pair density wave (PDW) observed by STM may be confined to the surface of UTe2.
△ Less
Submitted 20 June, 2024;
originally announced June 2024.
-
Las actividades de laboratorio en Física: un cambio en la estructura a favor del conocimiento científico
Authors:
Andrea Pereira,
Álvaro Suárez
Abstract:
In this article we argue how the use of structured laboratory guides are pedagogically inadequate for meaningful learning. Subsequently, an approach to laboratory activities in accordance with scientific work and the constructivist vision of learning is described, exemplifying how this approach can be applied to restructure a usual laboratory practice.
In this article we argue how the use of structured laboratory guides are pedagogically inadequate for meaningful learning. Subsequently, an approach to laboratory activities in accordance with scientific work and the constructivist vision of learning is described, exemplifying how this approach can be applied to restructure a usual laboratory practice.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
Challenges in applying the magnetic field circulation in Ampère-Maxwell's law
Authors:
Alvaro Suarez,
Arturo C. Marti,
Kristina Zuza,
Jenaro Guisasola
Abstract:
We investigate how students in introductory electromagnetism courses apply the idea behind the magnetic field circulation in the context of the Ampère-Maxwell law. For this purpose, we designed a metacognitive pencil-and-paper question, presented it to 65 students, and analysed their responses using phenomenography. We complemented our research by conducting interviews with 12 students. The result…
▽ More
We investigate how students in introductory electromagnetism courses apply the idea behind the magnetic field circulation in the context of the Ampère-Maxwell law. For this purpose, we designed a metacognitive pencil-and-paper question, presented it to 65 students, and analysed their responses using phenomenography. We complemented our research by conducting interviews with 12 students. The results show that students tend to think that they can only use the magnetic field circulation to calculate magnetic fields if the curve used is symmetric, and that they do not take into account the shape of the magnetic field lines when applying it. We also find that some students believe that a variable electric field must cross the entire Amperian curve in order to apply Ampère-Maxwell's law and find the magnetic field.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
Raney extensions of frames: topological aspects
Authors:
Anna Laura Suarez
Abstract:
We explore a pointfree approach to spaces which extends the category of $T_0$ spaces. Our pointfree objects are Raney extensions, pairs $(L,C)$ where $C$ is a coframe, $L\subseteq C$ is a frame which meet-generates it, and the inclusion $L\subseteq C$ preserves the frame operations as well as the strongly exact meets. We show that the category $\mathbf{Raney}$ extends that of $T_0$ spaces, by show…
▽ More
We explore a pointfree approach to spaces which extends the category of $T_0$ spaces. Our pointfree objects are Raney extensions, pairs $(L,C)$ where $C$ is a coframe, $L\subseteq C$ is a frame which meet-generates it, and the inclusion $L\subseteq C$ preserves the frame operations as well as the strongly exact meets. We show that the category $\mathbf{Raney}$ extends that of $T_0$ spaces, by showing the existence of an adjunction which extends that between frames and spaces. We map a space $X$ to the pair $(Ω(X),\mathcal{U}(X))$, where $Ω(X)$ are its opens and $\mathcal{U}(X)$ its saturated sets. The spectrum functor $\mathsf{pt}_R$ maps a Raney extension $(L,C)$ to the collection of completely join-prime elements of $C$, suitably topologized. For a frame $L$ the spectra of the largest and the smallest Raney extensions over it are, respectively, the classical spectrum $\mathsf{pt}(L)$ and the $T_D$ spectrum $\mathsf{pt}_D(L)$.
We characterize sobriety as well as the $T_D$ and the $T_1$ axioms for spaces in terms of algebraic properties of their Raney duals. We use this to define sobriety for general Raney extensions, as well as the $T_D$ and $T_1$ properties, and show that a sober coreflection always exists, whereas a $T_D$ reflection exists when we restrict morphisms to exact maps. We show that a frame is subfit if and only if it admits a $T_1$ Raney extension, and that a subfit frame is scattered if and only if it admits a unique Raney extension.
We show that the dual adjunction between frames and spaces restricts to a dual adjunction between the category of $T_D$ spaces and the category of $\mathbf{Frm}_{\mathcal{E}}$ of frames and exact maps, and that exact sublocales (sublocales whose surjection is exact) form a subcolocale of the coframe of all sublocales.
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
Mass media competition and alternative ordering in social dynamics
Authors:
O. Alvarez-Llamoza,
M. G. Cosenza,
J. C. Gonzalez-Avella,
M. A. Suarez,
K. Tucci,
P. Valverde
Abstract:
We investigate the collective behavior of a system of social agents subject to the competition between two mass media influences considered as external fields. We study under what conditions either of two mass media with different intensities can impose its message to the majority. In addition to a collective state dominated by the stronger mass media and a disordered phase, we characterize two no…
▽ More
We investigate the collective behavior of a system of social agents subject to the competition between two mass media influences considered as external fields. We study under what conditions either of two mass media with different intensities can impose its message to the majority. In addition to a collective state dominated by the stronger mass media and a disordered phase, we characterize two nontrivial effects as the parameters of the system are varied: (i) the appearance of a majority sharing the state of the weaker mass media, and (ii) the emergence of an alternative ordering in a state different from those of either media. We explore the dependence of both phenomena on the topology of the network of interactions. We show that the presence of long-range interactions rather than random connections is essential for the occurrence of both effects. The model can be extended to include multiple mass media and we illustrate it by considering three mass media fields acting on the system. Nontrivial collective behaviors persist for some ranges of parameters: the weakest mass media can convince the majority, and the system can spontaneously order against all applied fields.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
Raney extensions of frames: algebraic aspects
Authors:
Anna Laura Suarez
Abstract:
We draw from Raney duality and generalize the notion of canonical extension for distributive lattices to the context of frames. This is a generalization because for distributive lattices we are in the context of coherent spaces, whereas frames represent arbitrary spaces. We introduce Raney extensions of frames, pairs $(L,C)$ where $C$ is a coframe, $L\subseteq C$ is a frame that meet-generates it,…
▽ More
We draw from Raney duality and generalize the notion of canonical extension for distributive lattices to the context of frames. This is a generalization because for distributive lattices we are in the context of coherent spaces, whereas frames represent arbitrary spaces. We introduce Raney extensions of frames, pairs $(L,C)$ where $C$ is a coframe, $L\subseteq C$ is a frame that meet-generates it, and the inclusion $L\subseteq C$ preserves the frame operations as well as the strongly exact meets. We think of these as being algebraic versions of the embedding $Ω(X)\subseteq \mathcal{U}(X)$ of a frame of opens into a lattice of saturated sets (upper sets in the specialization order). We show that a frame may have several Raney extensions, and all satisfy a generalization of the properties of density and compactness from the theory of canonical extensions. We show that every frame $L$ has the largest and the smallest Raney extension, and that these are, respectively, the coframe of fitted sublocales $\mathsf{S}_{\mathfrak{o}}(L)$ and the opposite of the frame $\mathsf{S}_{\mathfrak{c}}(L)$ of joins of closed sublocales. We thus show that these structures have universal properties which are dual of one another. For Raney extensions $(L,C)$ and $(M,D)$, we characterize the frame morphisms $f:L\to M$ which can be extended to a morphism of Raney extensions. We apply this result to obtain a characterization of morphisms of frames $f:L\to M$ which can be lifted to frame morphisms $\mathsf{S}_{\mathfrak{c}}(L)\to \mathsf{S}_{\mathfrak{c}}(M)$. We also show that the canonical extension of a locally compact frame is the free Raney extension over it such that it is algebraic (generated by its compact elements). We give a characterization of sobriety and of strict sobriety based on a variation of the compactness property of the extension $(Ω(X),\mathcal{U}(X))$.
△ Less
Submitted 5 May, 2024;
originally announced May 2024.
-
Canonical extensions via fitted sublocales
Authors:
Tomáš Jakl,
Anna Laura Suarez
Abstract:
We build on a recent result stating that the frame $\mathsf{SE}(L)$ of strongly exact filters for a frame $L$ is anti-isomorphic to the coframe $\mathsf{S}_o(L)$ of fitted sublocales. The collection $\mathsf{E}(L)$ of exact filters of $L$ is known to be a sublocale of this frame. We consider several other subcollections of $\mathsf{SE}(L)$: the collections $\mathcal{J}(\mathsf{CP}(L))$ and…
▽ More
We build on a recent result stating that the frame $\mathsf{SE}(L)$ of strongly exact filters for a frame $L$ is anti-isomorphic to the coframe $\mathsf{S}_o(L)$ of fitted sublocales. The collection $\mathsf{E}(L)$ of exact filters of $L$ is known to be a sublocale of this frame. We consider several other subcollections of $\mathsf{SE}(L)$: the collections $\mathcal{J}(\mathsf{CP}(L))$ and $\mathcal{J}(\mathsf{SO}(L))$ of intersections of completely prime and Scott-open filters, respectively, and the collection $\mathsf{R}(L)$ of regular elements of the frame of filters. We show that all of these are sublocales of $\mathsf{SE}(L)$, and as such they correspond to subcolocales of $\mathsf{S}_o(L)$, which all turn out to have a concise description. By using the theory of polarities of Birkhoff, one can show that all of the structures mentioned above enjoy universal properties which are variations of that of the canonical extension. We also show how some of these subcollections can be described as polarities and give three new equivalent definitions of subfitness in terms of the lattice of filters.
△ Less
Submitted 28 April, 2024;
originally announced April 2024.
-
Interplay between 2D ferromagnetism and transport at the surface of FeSi
Authors:
Keenan E. Avers,
Yun Suk Eo,
Hyeok Yoon,
Jarryd A. Horn,
Shanta R. Saha,
Alonso Suarez,
Peter Zavalij,
Johnpierre Paglione
Abstract:
FeSi is a curious example of a $d$-electron system that manifests many of the same phenomena associated with $f$-electron Kondo insulators, including conducting surface states with potentially non-trivial topology. Here we investigate the magnetization and magnetotransport of these surface states and how a 2D ferromagnetic state at the surface of FeSi influences the surface conductivity. We confir…
▽ More
FeSi is a curious example of a $d$-electron system that manifests many of the same phenomena associated with $f$-electron Kondo insulators, including conducting surface states with potentially non-trivial topology. Here we investigate the magnetization and magnetotransport of these surface states and how a 2D ferromagnetic state at the surface of FeSi influences the surface conductivity. We confirm the 2D ferromagnetism via a systematic study of magnetization on groups of filtered fragments with increasing surface area-to-volume ratios, identifying characteristic temperatures and magnetic fields associated with the ordered state. The paramagnetic to ferromagnetic transition appears broadened, suggesting disorder, which allows spin fluctuations to manifest up to at least 9 T at 2 K. This highlights the need to understand the relation between the disorder of the 2D ferromagnetism and the surface conductivity in FeSi.
△ Less
Submitted 21 February, 2024;
originally announced February 2024.
-
Interface logistic problems: large diffusion and singular perturbation results
Authors:
Pablo Álvarez-Caudevilla,
Cristina Brändle,
Mónica Molina-Becerra,
Antonio Suárez
Abstract:
In this work we consider an interface logistic problem where two populations live in two different regions, separated by a membrane or interface where it happens an interchange of flux. Thus, the two populations only interact or are coupled through such a membrane where we impose the so-called Kedem-Katchalsky boundary conditions. For this particular scenario we analyze the existence and uniquenes…
▽ More
In this work we consider an interface logistic problem where two populations live in two different regions, separated by a membrane or interface where it happens an interchange of flux. Thus, the two populations only interact or are coupled through such a membrane where we impose the so-called Kedem-Katchalsky boundary conditions. For this particular scenario we analyze the existence and uniqueness of positive solutions depending on the parameters involve in the system, obtaining interesting results where one can see for the first time the effect of the membrane under such boundary conditions. To do so, we first ascertain the asymptotic behaviour of several linear and nonlinear problems for which we include a diffusion coefficient and analyse the behaviour of the solutions when such a diffusion parameter goes to zero or infinity. Despite their own interest, since these asymptotic results have never been studied before, they will be crucial in analyzing the existence and uniqueness for the main interface logistic problems under analysis. Finally, we apply such an asymptotic analysis to characterize the existence of solutions in terms of the growth rate of the populations, when both populations possess the same growth rate and, also, when they depend on different parameters.
△ Less
Submitted 14 February, 2024;
originally announced February 2024.
-
Start Stop Bit Method for Efficient Data Communication in 6G Mobile Radio Systems
Authors:
Wolfgang Zirwas,
Berthold Panzner,
Rakash Sivasivaganesan,
Brenda Vilas Boas,
Luis A. Suárez
Abstract:
In this article, a novel approach for mobile radio communications is proposed and analysed, which is promising for future 6G cooperative distributed MIMO systems. The fundamental idea is a new mechanism namely start stop bit method, which transmits bit sequences as the start/stop bits of a synchronized counter instead of transmitting the full encoded bit sequence itself. In that way, theoretically…
▽ More
In this article, a novel approach for mobile radio communications is proposed and analysed, which is promising for future 6G cooperative distributed MIMO systems. The fundamental idea is a new mechanism namely start stop bit method, which transmits bit sequences as the start/stop bits of a synchronized counter instead of transmitting the full encoded bit sequence itself. In that way, theoretically, we can transmit infinitely long data messages with only one bit for starting and one bit for stop** the counter. The value of the counter, as identified by the stop bit, is then used to reconstruct and remap the one and unique transmitted bit sequence. The start stop bit method is characterized by a high signal sparsity as only two bits are transmitted, independently of the bit sequence length for the message. Among the benefits of the start stop bit method are energy efficient data transmission, and effective distributed MIMO systems, which exploit the sparse inter cooperation area interference as well as the low processing complexity for the sparse precoder calculation. Moreover, for the next mobile wireless generation, we propose an advanced scheme of the start stop bit method which enhances its resource usage. We call the resulting method a sparse dMIMO system.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
Learning difficulties among students when applying Ampère-Maxwell's law and its implications for teaching
Authors:
Álvaro Suárez,
Arturo C. Marti,
Kristina Zuza,
Jenaro Guisasola
Abstract:
We investigate learning difficulties among second-year students on electromagnetism courses when they apply Ampère-Maxwell's law. Using phenomenography, we analysed written answers from 65 undergraduate physics students to four questions on Ampère's and Ampère-Maxwell's laws. We complemented our research by interviewing twelve students. To design the questionnaire, we ran an epistemological analys…
▽ More
We investigate learning difficulties among second-year students on electromagnetism courses when they apply Ampère-Maxwell's law. Using phenomenography, we analysed written answers from 65 undergraduate physics students to four questions on Ampère's and Ampère-Maxwell's laws. We complemented our research by interviewing twelve students. To design the questionnaire, we ran an epistemological analysis of classical electromagnetism which helped us to identify a set of key essential concepts to understand this theory and guided the definition of learning objectives and to draw up the questions. The results revealed that the students found it hard to recognise the validity framework from Ampère's law and to apply Ampère-Maxwell's law. They face particular difficulties to recognise the appearance of the displacement current and the relationship between the circulation of the magnetic field and an electric field that is variable over time.
△ Less
Submitted 10 April, 2024; v1 submitted 5 February, 2024;
originally announced February 2024.
-
Nonlocal Diffusion Elliptic System Modelling The Behaviour Of a Bacteria And a Living Nutrient
Authors:
M. A. V. Costa,
Y. B. C. Carranza,
C. Morales-Rodrigo,
A. Suarez
Abstract:
In this paper, we discuss the existence and uniqueness of coexistence states for a class of non-local elliptic system. This problem models the behaviour of a bacteria and a living nutrient, whose diffusion depends on the population of the bacteria in a non-local and nonlinear way. Mainly, we employ bifurcation methods and the Implicit Function Theorem to obtain the existence and uniqueness of posi…
▽ More
In this paper, we discuss the existence and uniqueness of coexistence states for a class of non-local elliptic system. This problem models the behaviour of a bacteria and a living nutrient, whose diffusion depends on the population of the bacteria in a non-local and nonlinear way. Mainly, we employ bifurcation methods and the Implicit Function Theorem to obtain the existence and uniqueness of positive solution.
△ Less
Submitted 5 February, 2024;
originally announced February 2024.
-
A new mathematical model for cell motility with nonlocal repulsion from saturated areas
Authors:
Carlo Giambiagi Ferrari,
Francisco Guillen-Gonzalez,
Mayte Perez-Llanos,
Antonio Suarez
Abstract:
The main purpose of this work is the modelling of large single populations of cells under different interactions among themselves, in balance with natural random diffusion. We focus on cell-cell adhesion mechanisms for one single population confined in isolated domains. Our most relevant contribution is the proposal of a mathematical model, that includes a nonlocal saturation coefficient multiplyi…
▽ More
The main purpose of this work is the modelling of large single populations of cells under different interactions among themselves, in balance with natural random diffusion. We focus on cell-cell adhesion mechanisms for one single population confined in isolated domains. Our most relevant contribution is the proposal of a mathematical model, that includes a nonlocal saturation coefficient multiplying an appropriate nonlocal drift term, that can even induce repulsion effects from saturated areas.
△ Less
Submitted 8 May, 2024; v1 submitted 23 January, 2024;
originally announced January 2024.
-
AERIAL-CORE: AI-Powered Aerial Robots for Inspection and Maintenance of Electrical Power Infrastructures
Authors:
Anibal Ollero,
Alejandro Suarez,
Christos Papaioannidis,
Ioannis Pitas,
Juan M. Marredo,
Viet Duong,
Emad Ebeid,
Vit Kratky,
Martin Saska,
Chloe Hanoune,
Amr Afifi,
Antonio Franchi,
Charalampos Vourtsis,
Dario Floreano,
Goran Vasiljevic,
Stjepan Bogdan,
Alvaro Caballero,
Fabio Ruggiero,
Vincenzo Lippiello,
Carlos Matilla,
Giovanni Cioffi,
Davide Scaramuzza,
Jose R. Martinez-de-Dios,
Begona C. Arrue,
Carlos Martin
, et al. (5 additional authors not shown)
Abstract:
Large-scale infrastructures are prone to deterioration due to age, environmental influences, and heavy usage. Ensuring their safety through regular inspections and maintenance is crucial to prevent incidents that can significantly affect public safety and the environment. This is especially pertinent in the context of electrical power networks, which, while essential for energy provision, can also…
▽ More
Large-scale infrastructures are prone to deterioration due to age, environmental influences, and heavy usage. Ensuring their safety through regular inspections and maintenance is crucial to prevent incidents that can significantly affect public safety and the environment. This is especially pertinent in the context of electrical power networks, which, while essential for energy provision, can also be sources of forest fires. Intelligent drones have the potential to revolutionize inspection and maintenance, eliminating the risks for human operators, increasing productivity, reducing inspection time, and improving data collection quality. However, most of the current methods and technologies in aerial robotics have been trialed primarily in indoor testbeds or outdoor settings under strictly controlled conditions, always within the line of sight of human operators. Additionally, these methods and technologies have typically been evaluated in isolation, lacking comprehensive integration. This paper introduces the first autonomous system that combines various innovative aerial robots. This system is designed for extended-range inspections beyond the visual line of sight, features aerial manipulators for maintenance tasks, and includes support mechanisms for human operators working at elevated heights. The paper further discusses the successful validation of this system on numerous electrical power lines, with aerial robots executing flights over 10 kilometers away from their ground control stations.
△ Less
Submitted 4 January, 2024;
originally announced January 2024.
-
Computer Vision for Increased Operative Efficiency via Identification of Instruments in the Neurosurgical Operating Room: A Proof-of-Concept Study
Authors:
Tanner J. Zachem,
Sully F. Chen,
Vishal Venkatraman,
David AW Sykes,
Ravi Prakash,
Koumani W. Ntowe,
Mikhail A. Bethell,
Samantha Spellicy,
Alexander D Suarez,
Weston Ross,
Patrick J. Codd
Abstract:
Objectives Computer vision (CV) is a field of artificial intelligence that enables machines to interpret and understand images and videos. CV has the potential to be of assistance in the operating room (OR) to track surgical instruments. We built a CV algorithm for identifying surgical instruments in the neurosurgical operating room as a potential solution for surgical instrument tracking and mana…
▽ More
Objectives Computer vision (CV) is a field of artificial intelligence that enables machines to interpret and understand images and videos. CV has the potential to be of assistance in the operating room (OR) to track surgical instruments. We built a CV algorithm for identifying surgical instruments in the neurosurgical operating room as a potential solution for surgical instrument tracking and management to decrease surgical waste and opening of unnecessary tools. Methods We collected 1660 images of 27 commonly used neurosurgical instruments. Images were labeled using the VGG Image Annotator and split into 80% training and 20% testing sets in order to train a U-Net Convolutional Neural Network using 5-fold cross validation. Results Our U-Net achieved a tool identification accuracy of 80-100% when distinguishing 25 classes of instruments, with 19/25 classes having accuracy over 90%. The model performance was not adequate for sub classifying Adson, Gerald, and Debakey forceps, which had accuracies of 60-80%. Conclusions We demonstrated the viability of using machine learning to accurately identify surgical instruments. Instrument identification could help optimize surgical tray packing, decrease tool usage and waste, decrease incidence of instrument misplacement events, and assist in timing of routine instrument maintenance. More training data will be needed to increase accuracy across all surgical instruments that would appear in a neurosurgical operating room. Such technology has the potential to be used as a method to be used for proving what tools are truly needed in each type of operation allowing surgeons across the world to do more with less.
△ Less
Submitted 29 April, 2024; v1 submitted 3 December, 2023;
originally announced December 2023.
-
Relation between PLS and OLS regression in terms of the eigenvalue distribution of the regressor covariance matrix
Authors:
David del Val,
José R. Berrendero,
Alberto Suárez
Abstract:
Partial least squares (PLS) is a dimensionality reduction technique introduced in the field of chemometrics and successfully employed in many other areas. The PLS components are obtained by maximizing the covariance between linear combinations of the regressors and of the target variables. In this work, we focus on its application to scalar regression problems. PLS regression consists in finding t…
▽ More
Partial least squares (PLS) is a dimensionality reduction technique introduced in the field of chemometrics and successfully employed in many other areas. The PLS components are obtained by maximizing the covariance between linear combinations of the regressors and of the target variables. In this work, we focus on its application to scalar regression problems. PLS regression consists in finding the least squares predictor that is a linear combination of a subset of the PLS components. Alternatively, PLS regression can be formulated as a least squares problem restricted to a Krylov subspace. This equivalent formulation is employed to analyze the distance between ${\hat{\boldsymbolβ}\;}_{\mathrm{PLS}}^{\scriptscriptstyle {(L)}}$, the PLS estimator of the vector of coefficients of the linear regression model based on $L$ PLS components, and $\hat{\boldsymbol β}_{\mathrm{OLS}}$, the one obtained by ordinary least squares (OLS), as a function of $L$. Specifically, ${\hat{\boldsymbolβ}\;}_{\mathrm{PLS}}^{\scriptscriptstyle {(L)}}$ is the vector of coefficients in the aforementioned Krylov subspace that is closest to $\hat{\boldsymbol β}_{\mathrm{OLS}}$ in terms of the Mahalanobis distance with respect to the covariance matrix of the OLS estimate. We provide a bound on this distance that depends only on the distribution of the eigenvalues of the regressor covariance matrix. Numerical examples on synthetic and real-world data are used to illustrate how the distance between ${\hat{\boldsymbolβ}\;}_{\mathrm{PLS}}^{\scriptscriptstyle {(L)}}$ and $\hat{\boldsymbol β}_{\mathrm{OLS}}$ depends on the number of clusters in which the eigenvalues of the regressor covariance matrix are grouped.
△ Less
Submitted 3 December, 2023;
originally announced December 2023.
-
OpenCog Hyperon: A Framework for AGI at the Human Level and Beyond
Authors:
Ben Goertzel,
Vitaly Bogdanov,
Michael Duncan,
Deborah Duong,
Zarathustra Goertzel,
Jan Horlings,
Matthew Ikle',
Lucius Greg Meredith,
Alexey Potapov,
Andre' Luiz de Senna,
Hedra Seid Andres Suarez,
Adam Vandervorst,
Robert Werko
Abstract:
An introduction to the OpenCog Hyperon framework for Artificiai General Intelligence is presented. Hyperon is a new, mostly from-the-ground-up rewrite/redesign of the OpenCog AGI framework, based on similar conceptual and cognitive principles to the previous OpenCog version, but incorporating a variety of new ideas at the mathematical, software architecture and AI-algorithm level. This review ligh…
▽ More
An introduction to the OpenCog Hyperon framework for Artificiai General Intelligence is presented. Hyperon is a new, mostly from-the-ground-up rewrite/redesign of the OpenCog AGI framework, based on similar conceptual and cognitive principles to the previous OpenCog version, but incorporating a variety of new ideas at the mathematical, software architecture and AI-algorithm level. This review lightly summarizes: 1) some of the history behind OpenCog and Hyperon, 2) the core structures and processes underlying Hyperon as a software system, 3) the integration of this software system with the SingularityNET ecosystem's decentralized infrastructure, 4) the cognitive model(s) being experimentally pursued within Hyperon on the hopeful path to advanced AGI, 5) the prospects seen for advanced aspects like reflective self-modification and self-improvement of the codebase, 6) the tentative development roadmap and various challenges expected to be faced, 7) the thinking of the Hyperon team regarding how to guide this sort of work in a beneficial direction ... and gives links and references for readers who wish to delve further into any of these aspects.
△ Less
Submitted 19 September, 2023;
originally announced October 2023.
-
Generation and analysis of fractional Hankel-Bessel vortex beams via computational holography
Authors:
George Brian dos Reis,
Rafael A. B. Suarez,
Marcos R. R. Gesualdi
Abstract:
In this work, the experimental optical generation of the fractional Hankel-Bessel vortex beams were investigated through the holographic technique by means of computer generated holograms (CGHs) and reproduced in a spatial light modulator (SLMs). The intensity and phase profiles were simulated and the experimental results are presented in this work, as well as their propagation along the z-axis is…
▽ More
In this work, the experimental optical generation of the fractional Hankel-Bessel vortex beams were investigated through the holographic technique by means of computer generated holograms (CGHs) and reproduced in a spatial light modulator (SLMs). The intensity and phase profiles were simulated and the experimental results are presented in this work, as well as their propagation along the z-axis is demonstrated. The experimental results are in accordance with the theoretical predictions described in the theory and literature. These results presents excellent perspectives of this optical vortex and potential applications in optical manipulation, optical microscopy and optics communications, optical metrology, among others.
△ Less
Submitted 12 October, 2023;
originally announced October 2023.
-
Single-Component Superconductivity in UTe$_2$ at Ambient Pressure
Authors:
Florian Theuss,
Avi Shragai,
Gael Grissonnanche,
Ian M Hayes,
Shanta R Saha,
Yun Suk Eo,
Alonso Suarez,
Tatsuya Shishidou,
Nicholas P Butch,
Johnpierre Paglione,
B. J. Ramshaw
Abstract:
The microscopic mechanism of Cooper pairing in a superconductor leaves its fingerprint on the symmetry of the order parameter. UTe$_2$ has been inferred to have a multi-component order parameter that entails exotic effects like time reversal symmetry breaking. However, recent experimental observations in newer-generation samples have raised questions about this interpretation, pointing to the need…
▽ More
The microscopic mechanism of Cooper pairing in a superconductor leaves its fingerprint on the symmetry of the order parameter. UTe$_2$ has been inferred to have a multi-component order parameter that entails exotic effects like time reversal symmetry breaking. However, recent experimental observations in newer-generation samples have raised questions about this interpretation, pointing to the need for a direct experimental probe of the order parameter symmetry. Here, we use pulse-echo ultrasound to measure the elastic moduli of UTe$_2$ in samples that exhibit both one and two superconducting transitions. We demonstrate the absence of thermodynamic discontinuities in the shear elastic moduli of both single- and double-transition samples, providing direct evidence that UTe$_2$ has a single-component superconducting order parameter. We further show that superconductivity is highly sensitive to compression strain along the $a$ and $c$ axes, but insensitive to strain along the $b$ axis. This leads us to suggest a single-component, odd-parity order parameter -- specifically the B$_{2u}$ order parameter -- as most compatible with our data.
△ Less
Submitted 27 November, 2023; v1 submitted 20 July, 2023;
originally announced July 2023.
-
Seven-probe scintillator dosimeter for treatment verification in HDR-brachytherapy
Authors:
Mathieu Gonod,
Miguel Angel Suarez,
Carlos Chacon Avila,
Vage Karakhanyan,
Clement Eustache,
Samir Laskri,
Julien Crouzilles,
Jean-Francois Vinchant,
Leone Aubignac,
Thierry Grosjean
Abstract:
Purpose: We introduce a novel concept of a compact multiprobe scintillator detector and demonstrate its applicability in HDR-brachytherapy. Our fabricated seven-probe system is sufficiently narrow to be inserted in a brachytherapy needle or in a catheter.
Methods: Our multiprobe detection system results from the parallel implementation of a miniaturized scintillator detector at the end of a bund…
▽ More
Purpose: We introduce a novel concept of a compact multiprobe scintillator detector and demonstrate its applicability in HDR-brachytherapy. Our fabricated seven-probe system is sufficiently narrow to be inserted in a brachytherapy needle or in a catheter.
Methods: Our multiprobe detection system results from the parallel implementation of a miniaturized scintillator detector at the end of a bundle of seven fibers. The resulting system, which is narrower than 320 microns, is tested with a MicroSelectron 9.1 Ci Ir-192 HDR afterloader, in a water phantom. The detection signals from all seven probes are simultaneously read with an sCMOS camera (at a rate of 0.06 s). The camera is coupled to a chromatic filter to cancel Cerenkov signal induced within the fibers upon exposure. By implementing an aperiodic array of six scintillating cells along the bundle axis (one probe is kept bare to assess the stem effect), we first determine the range of inter-probe spacings leading to optimal source tracking accuracy. Then, three different source tracking algorithms involving sequentially or simultaneously all the scintillating probes are tested and compared. In each case, dwell positions are assessed from dose measurements and compared to the treatment plan. Dwell time is also determined and compared to the treatment plan.
Results: The optimum inter-probe spacing for an accurate source tracking ranges from 15 mm to 35 mm. The optimum detection algorithm consists of adding the readout signals from all detector probes. In that case, the error to the planned dwell positions is of 0.01+/-0.14 mm and 0.02+/-0.29 mm at spacings between the source and detector axes of 5.5 and 40 mm, respectively. Using this approach, the average deviations to the expected dwell time are of -0.006+/-0.009 s and -0.008+/-0.058 s, at spacings between source and probe axes of 5.5 mm and 20 mm, respectively.
△ Less
Submitted 16 July, 2023;
originally announced July 2023.
-
Detecting LLM-Generated Text in Computing Education: A Comparative Study for ChatGPT Cases
Authors:
Michael Sheinman Orenstrakh,
Oscar Karnalim,
Carlos Anibal Suarez,
Michael Liut
Abstract:
Due to the recent improvements and wide availability of Large Language Models (LLMs), they have posed a serious threat to academic integrity in education. Modern LLM-generated text detectors attempt to combat the problem by offering educators with services to assess whether some text is LLM-generated. In this work, we have collected 124 submissions from computer science students before the creatio…
▽ More
Due to the recent improvements and wide availability of Large Language Models (LLMs), they have posed a serious threat to academic integrity in education. Modern LLM-generated text detectors attempt to combat the problem by offering educators with services to assess whether some text is LLM-generated. In this work, we have collected 124 submissions from computer science students before the creation of ChatGPT. We then generated 40 ChatGPT submissions. We used this data to evaluate eight publicly-available LLM-generated text detectors through the measures of accuracy, false positives, and resilience. The purpose of this work is to inform the community of what LLM-generated text detectors work and which do not, but also to provide insights for educators to better maintain academic integrity in their courses. Our results find that CopyLeaks is the most accurate LLM-generated text detector, GPTKit is the best LLM-generated text detector to reduce false positives, and GLTR is the most resilient LLM-generated text detector. We also express concerns over 52 false positives (of 114 human written submissions) generated by GPTZero. Finally, we note that all LLM-generated text detectors are less accurate with code, other languages (aside from English), and after the use of paraphrasing tools (like QuillBot). Modern detectors are still in need of improvements so that they can offer a full-proof solution to help maintain academic integrity. Further, their usability can be improved by facilitating a smooth API integration, providing clear documentation of their features and the understandability of their model(s), and supporting more commonly used languages.
△ Less
Submitted 10 July, 2023;
originally announced July 2023.
-
Generalized eigenvalue problem for an interface elliptic equation
Authors:
Braulio B. V. Maia,
Mónica Molina-Becerra,
Cristian Morales-Rodrigo,
Antonio Suárez
Abstract:
In this paper we deal with an eigenvalue problem in an interface elliptic equation. We characterize the set of principal eigenvalues as a level set of a concave and regular function. As application, we study a problem arising in population dynamics. In these problems each species lives in a subdomain, and they interact in a common border, which acts as a geographical barrier.
In this paper we deal with an eigenvalue problem in an interface elliptic equation. We characterize the set of principal eigenvalues as a level set of a concave and regular function. As application, we study a problem arising in population dynamics. In these problems each species lives in a subdomain, and they interact in a common border, which acts as a geographical barrier.
△ Less
Submitted 4 July, 2023;
originally announced July 2023.
-
On Crowdsourcing-design with Comparison Category Rating for Evaluating Speech Enhancement Algorithms
Authors:
Angélica S. Z. Suárez,
Clément Laroche,
Line H. Clemmensen,
Sneha Das
Abstract:
Speech enhancement techniques improve the quality or the intelligibility of an audio signal by removing unwanted noise. It is used as preprocessing in numerous applications such as speech recognition, hearing aids, broadcasting and telephony. The evaluation of such algorithms often relies on reference-based objective metrics that are shown to correlate poorly with human perception. In order to eva…
▽ More
Speech enhancement techniques improve the quality or the intelligibility of an audio signal by removing unwanted noise. It is used as preprocessing in numerous applications such as speech recognition, hearing aids, broadcasting and telephony. The evaluation of such algorithms often relies on reference-based objective metrics that are shown to correlate poorly with human perception. In order to evaluate audio quality as perceived by human observers it is thus fundamental to resort to subjective quality assessment. In this paper, a user evaluation based on crowdsourcing (subjective) and the Comparison Category Rating (CCR) method is compared against the DNSMOS, ViSQOL and 3QUEST (objective) metrics. The overall quality scores of three speech enhancement algorithms from real time communications (RTC) are used in the comparison using the P.808 toolkit. Results indicate that while the CCR scale allows participants to identify differences between processed and unprocessed audio samples, two groups of preferences emerge: some users rate positively by focusing on noise suppression processing, while others rate negatively by focusing mainly on speech quality. We further present results on the parameters, size considerations and speaker variations that are critical and should be considered when designing the CCR-based crowdsourcing evaluation.
△ Less
Submitted 2 June, 2023;
originally announced June 2023.
-
Presentation of the electromagnetic field in introductory physics textbooks and consequences for its teaching
Authors:
Álvaro Suárez,
Arturo C. Marti,
Kristina Zuza,
Jenaro Guisasola
Abstract:
Textbooks play a fundamental role in teaching and learning in school science classrooms. In this paper we investigate the presentation of the nature of the electromagnetic field in a dozen of the world's most popular introductory university physics textbooks. We analyse, from an epistemologically based teaching approach, the didactic treatment of the electromagnetic field in relation to its source…
▽ More
Textbooks play a fundamental role in teaching and learning in school science classrooms. In this paper we investigate the presentation of the nature of the electromagnetic field in a dozen of the world's most popular introductory university physics textbooks. We analyse, from an epistemologically based teaching approach, the didactic treatment of the electromagnetic field in relation to its sources, Maxwell's laws and electromagnetic waves. With this objective, we elaborate a rational reconstruction of the developments that led to the formulation of the nature of the electromagnetic field, Maxwell's laws and their meaning, as well as electromagnetic waves. Next, we formulate criteria based on the key aspects derived from the reconstruction that are useful in the evaluation of electromagnetism textbooks at the introductory level and apply them to the sample of selected books. In light of the results, we reflect on their consequences for teaching. Our analysis indicates the existence of certain inconsistencies in the approach to the electromagnetic field and its relationship with its sources, Maxwell's laws and electromagnetic waves in many of the books analysed.
△ Less
Submitted 9 May, 2023;
originally announced May 2023.
-
Pervin spaces and Frith frames: bitopological aspects and completion
Authors:
Célia Borlido,
Anna Laura Suarez
Abstract:
A Pervin space is a set equipped with a bounded sublattice of its powerset, while its pointfree version, called Frith frame, consists of a frame equipped with a generating bounded sublattice. It is known that the dual adjunction between topological spaces and frames extends to a dual adjunction between Pervin spaces and Frith frames, and that the latter may be seen as representatives of certain qu…
▽ More
A Pervin space is a set equipped with a bounded sublattice of its powerset, while its pointfree version, called Frith frame, consists of a frame equipped with a generating bounded sublattice. It is known that the dual adjunction between topological spaces and frames extends to a dual adjunction between Pervin spaces and Frith frames, and that the latter may be seen as representatives of certain quasi-uniform structures. As such, they have an underlying bitopological structure and inherit a natural notion of completion. In this paper we start by exploring the bitopological nature of Pervin spaces and of Frith frames, proving some categorical equivalences involving zero-dimensional structures. We then provide a conceptual proof of a duality between the categories of $T_0$ complete Pervin spaces and of complete Frith frames. This enables us to interpret several Stone-type dualities as a restriction of the dual adjunction between Pervin spaces and Frith frames along full subcategory embeddings. Finally, we provide analogues of Banaschewski and Pultr's characterizations of sober and $T_D$ topological spaces in the setting of Pervin spaces and of Frith frames, highlighting the parallelism between the two notions.
△ Less
Submitted 24 February, 2024; v1 submitted 1 March, 2023;
originally announced March 2023.
-
Extraordinary Bulk Insulating Behavior in the Strongly Correlated Materials FeSi and FeSb$_2$
Authors:
Yun Suk Eo,
Keenan Avers,
Jarryd A. Horn,
Hyeok Yoon,
Shanta Saha,
Alonso Suarez,
Michael S. Fuhrer,
Johnpierre Paglione
Abstract:
4$f$ electron-based topological Kondo insulators have long been researched for their potential to conduct electric current via protected surface states, while simultaneously exhibiting unusually robust insulating behavior in their interiors. To this end, we have investigated the electrical transport of the 3$d$-based correlated insulators FeSi and FeSb$_2$, which have exhibited enough similarities…
▽ More
4$f$ electron-based topological Kondo insulators have long been researched for their potential to conduct electric current via protected surface states, while simultaneously exhibiting unusually robust insulating behavior in their interiors. To this end, we have investigated the electrical transport of the 3$d$-based correlated insulators FeSi and FeSb$_2$, which have exhibited enough similarities to their $f$ electron cousins to warrant investigation. By using a double-sided Corbino disk transport geometry, we show unambiguous evidence of surface conductance in both of these Fe-based materials. In addition, by using a 4-terminal Corbino inverted resistance technique, we extract the bulk resistivity as a function of temperature. Similar to topological Kondo insulator SmB$_6$, the bulk resistivity of FeSi and FeSb$_2$ are confirmed to exponentially increase by up to 9 orders of magnitude from room temperature to the lowest accessible temperature. This demonstrates that these materials are excellent bulk insulators, providing an ideal platform for studying correlated 2D physics.
△ Less
Submitted 20 February, 2023;
originally announced February 2023.
-
Forwards attractors for non-autonomous Lotka-Volterra cooperative systems: a detailed geometrical description
Authors:
Juan Garcia-Fuentes,
José A. Langa,
Piotr Kalita,
Antonio Suárez
Abstract:
Non-autonomous differential equations exhibit a highly intricate dynamics, and various concepts have been introduced to describe their qualitative behavior. In general, it is rare to obtain time dependent invariant compact attracting sets when time goes to plus infinity. Moreover, there are only a few papers in the literature that explore the geometric structure of such sets. In this paper we inve…
▽ More
Non-autonomous differential equations exhibit a highly intricate dynamics, and various concepts have been introduced to describe their qualitative behavior. In general, it is rare to obtain time dependent invariant compact attracting sets when time goes to plus infinity. Moreover, there are only a few papers in the literature that explore the geometric structure of such sets. In this paper we investigate the long time behaviour of cooperative $n$-dimensional non-autonomous Lotka-Volterra systems is population dynamics. We provide sufficient conditions for the existence of a globally stable (forward in time) entire solution in which one species becomes extinct, or where all species except one become extinct. Furthermore, we obtain the precise geometrical structure of the non-autonomous forward attractor in one, two, and three dimensions by establishing heteroclinic connections between the globally stable solution and the semi-stable solutions in cases of species permanence and extinction. We believe that understanding time-dependent forward attractors paves the way for a comprehensive analysis of both transient and long-term behavior in non-autonomous phenomena.
△ Less
Submitted 8 February, 2024; v1 submitted 12 January, 2023;
originally announced January 2023.
-
scikit-fda: A Python Package for Functional Data Analysis
Authors:
Carlos Ramos-Carreño,
José Luis Torrecilla,
Miguel Carbajo-Berrocal,
Pablo Marcos,
Alberto Suárez
Abstract:
The library scikit-fda is a Python package for Functional Data Analysis (FDA). It provides a comprehensive set of tools for representation, preprocessing, and exploratory analysis of functional data. The library is built upon and integrated in Python's scientific ecosystem. In particular, it conforms to the scikit-learn application programming interface so as to take advantage of the functionality…
▽ More
The library scikit-fda is a Python package for Functional Data Analysis (FDA). It provides a comprehensive set of tools for representation, preprocessing, and exploratory analysis of functional data. The library is built upon and integrated in Python's scientific ecosystem. In particular, it conforms to the scikit-learn application programming interface so as to take advantage of the functionality for machine learning provided by this package: pipelines, model selection, and hyperparameter tuning, among others. The scikit-fda package has been released as free and open-source software under a 3-Clause BSD license and is open to contributions from the FDA community. The library's extensive documentation includes step-by-step tutorials and detailed examples of use.
△ Less
Submitted 22 June, 2023; v1 submitted 4 November, 2022;
originally announced November 2022.
-
Experimental optical trap** of microparticles with higher order Frozen Waves
Authors:
Rafael A. B. Suarez,
Antonio A. R. Neves,
Marcos R. R. Gesualdi
Abstract:
In this work, we optically trap** microparticles with higher order Frozen Wave using holographic optical tweezers. Frozen Waves are diffraction resistant optical beams, obtained by superposing copropagating Bessel beams with the same frequency and order, obtaining efficient modeling of its shape. Based on this, we developed a holographic optical tweezers system for the generation of Frozen Waves…
▽ More
In this work, we optically trap** microparticles with higher order Frozen Wave using holographic optical tweezers. Frozen Waves are diffraction resistant optical beams, obtained by superposing copropagating Bessel beams with the same frequency and order, obtaining efficient modeling of its shape. Based on this, we developed a holographic optical tweezers system for the generation of Frozen Waves and with this, it was possible to create traps in a stable way for the trap** and guiding of the microparticles in the transverse plane. The experimental results show that it is possible to obtain excellent stability condition for optical trap** using higher order Frozen Waves. These results indicate that the Frozen Waves is promising for optical trap** and guiding of particles, which may be useful in various application such as biological research, atomic physics and optical manipulations using structured light with orbital angular momentum.
△ Less
Submitted 5 September, 2022;
originally announced September 2022.
-
Unified approach to the electromagnetic field: the role of the sources, causality and wave propagation
Authors:
Alvaro Suarez,
Arturo C. Marti,
Kristina Zuza,
Jenaro Guisasola
Abstract:
The question of the sources of electric and magnetic fields and their causes has been discussed extensively in the literature over the last decades. In this article, we approach this problem from the unified treatment of electromagnetic fields emphasizing the role of their sources in accordance with the cause-effect relationships. First, we analyze whether this unified treatment contributes to a b…
▽ More
The question of the sources of electric and magnetic fields and their causes has been discussed extensively in the literature over the last decades. In this article, we approach this problem from the unified treatment of electromagnetic fields emphasizing the role of their sources in accordance with the cause-effect relationships. First, we analyze whether this unified treatment contributes to a better understanding of these phenomena. Then, we discuss the implications for teaching of a correct understanding of electromagnetic field sources and causality in Maxwell's equations. In particular, we present a series of examples at the introductory physics level that allow us to recognize the reasons why considering electric and magnetic fields as disjoint entities can lead to contradictions.
△ Less
Submitted 10 January, 2023; v1 submitted 28 April, 2022;
originally announced April 2022.
-
Bioblox 2.5D -- Develo** an Educational Game Based on Protein Docking
Authors:
Frederic Fol Leymarie,
William Latham,
Guido Salimbeni,
Suhail A. Islam,
Christopher Reynolds,
Charlie Cook,
Luis Armas Suarez,
Richard Leinfellner,
Michael J. E. Sternberg
Abstract:
We present the development process of Bioblox2-5D, an educational biology game aimed at teenagers. The game content refers to protein docking and aims to improve learning about molecular shape complexity, the roles of charges in molecular docking and the scoring function to calculate binding affinity. We developed the game as part of a collaboration between the Computing Department at Goldsmiths,…
▽ More
We present the development process of Bioblox2-5D, an educational biology game aimed at teenagers. The game content refers to protein docking and aims to improve learning about molecular shape complexity, the roles of charges in molecular docking and the scoring function to calculate binding affinity. We developed the game as part of a collaboration between the Computing Department at Goldsmiths, University of London, and the Structural Bioinformatics group at Imperial College London. The team at Imperial provided the content requirements and validated the technical solution adopted in the game. The team at Goldsmiths designed and implemented the content requirements into a fun and stimulating educational puzzle game that supports teaching and motivates students to engage with biology. We illustrate the game design choices, the compromises and solutions that we applied to accomplish the desired learning outcomes. This paper aims to illustrate useful insights and inspirations in the context of educational game development for biology students.
△ Less
Submitted 3 May, 2022; v1 submitted 26 April, 2022;
originally announced April 2022.
-
Differences in the attitudes and beliefs about science of students in the physics-mathematics and life sciences areas and their impact on teaching
Authors:
Alvaro Suarez,
Daniel Baccino,
Martin Monteiro,
Arturo C. Marti
Abstract:
For this study, we compared the attitudes and beliefs about science of physical science (physics and mathematics) and life science (biochemistry and biology) students at the beginning of their university degrees using the CLASS (Colorado Learning Attitudes about Science Survey) tool. It is worth noting that both groups of students received similar physics courses during their high-school education…
▽ More
For this study, we compared the attitudes and beliefs about science of physical science (physics and mathematics) and life science (biochemistry and biology) students at the beginning of their university degrees using the CLASS (Colorado Learning Attitudes about Science Survey) tool. It is worth noting that both groups of students received similar physics courses during their high-school education. Through a detailed analysis of the different categories of the test, we examined the differences in performance in each of the areas that make up the questionnaire. Among other aspects, we found that a considerable percentage of life science students (higher than that of physical science students) adopted a novice type of behavior in problem solving. Finally, we discussed the possible causes of the differences found and their implications for teaching.
△ Less
Submitted 24 February, 2022; v1 submitted 23 February, 2022;
originally announced February 2022.
-
A pointfree theory of Pervin spaces
Authors:
Célia Borlido,
Anna Laura Suarez
Abstract:
We lay down the foundations for a pointfree theory of Pervin spaces. A Pervin space is a set equipped with a bounded sublattice of its powerset, and it is known that these objects characterize those quasi-uniform spaces that are transitive and totally bounded. The pointfree notion of a Pervin space, which we call Frith frame, consists of a frame equipped with a generating bounded sublattice. In th…
▽ More
We lay down the foundations for a pointfree theory of Pervin spaces. A Pervin space is a set equipped with a bounded sublattice of its powerset, and it is known that these objects characterize those quasi-uniform spaces that are transitive and totally bounded. The pointfree notion of a Pervin space, which we call Frith frame, consists of a frame equipped with a generating bounded sublattice. In this paper we introduce and study the category of Frith frames and show that the classical dual adjunction between topological spaces and frames extends to a dual adjunction between Pervin spaces and Frith frames. Unlike what happens for Pervin spaces, we do not have an equivalence between the categories of transitive and totally bounded quasi-uniform frames and of Frith frames, but we show that the latter is a full coreflective subcategory of the former. We also explore the notion of completeness of Frith frames inherited from quasi-uniform frames, providing a characterization of those Frith frames that are complete and a description of the completion of an arbitrary Frith frame.
△ Less
Submitted 10 December, 2023; v1 submitted 17 January, 2022;
originally announced January 2022.
-
How to use Machine Learning to improve the discrimination between signal and background at particle colliders
Authors:
Xabier Cid Vidal,
Lorena Dieste Maroñas,
Álvaro Dósil Suárez
Abstract:
The popularity of Machine Learning (ML) has been increasing in the last decades in almost every area, being the commercial and scientific fields the most notorious ones. Concerning particle physics, ML has been proved as a useful resource to make the most of projects such as the Large Hadron Collider (LHC). The main advantage provided by ML is reducing the time and effort put into the measurements…
▽ More
The popularity of Machine Learning (ML) has been increasing in the last decades in almost every area, being the commercial and scientific fields the most notorious ones. Concerning particle physics, ML has been proved as a useful resource to make the most of projects such as the Large Hadron Collider (LHC). The main advantage provided by ML is reducing the time and effort put into the measurements done by experiments, while improving the performance. With this work we aim to encourage scientists at particle colliders to use ML and to try the different alternatives we have available nowadays, focusing in the separation between signal and background. We assess some of the most used libraries in the field, like Toolkit for Multivariate Data Analysis with ROOT, and also newer and more sophisticated options like PyTorch and Keras. We also check how optimal are some of the most common algorithms for signal-background discrimination, such as Boosted Decision Trees, and propose the use of others, namely Neural Networks. We compare the overall performance of different algorithms and libraries in simulated LHC data and produce some guidelines to help analysts deal with different situations. Examples are the use of low or high-level features from particle detectors or the amount of statistics available for training the algorithms.
△ Less
Submitted 16 December, 2021; v1 submitted 28 October, 2021;
originally announced October 2021.
-
A Glioblastoma PDE-ODE model including chemotaxis and vasculature
Authors:
A. Fernández-Romero,
F. Guillén-González,
A. Suárez
Abstract:
In this work we analyse a PDE-ODE problem modelling the evolution of a Glioblastoma, which includes chemotaxis term directed to vasculature. First, we obtain some a priori estimates for the (possible) solutions of the model. In particular, under some conditions on the parameters, we obtain that the system does not develop blow-up at finite time. In addition, we design a fully discrete finite eleme…
▽ More
In this work we analyse a PDE-ODE problem modelling the evolution of a Glioblastoma, which includes chemotaxis term directed to vasculature. First, we obtain some a priori estimates for the (possible) solutions of the model. In particular, under some conditions on the parameters, we obtain that the system does not develop blow-up at finite time. In addition, we design a fully discrete finite element scheme for the model which preserves some pointwise estimates of the continuous problem. Later, we make an adimensional study in order to reduce the number of parameters. Finally, we detect the main parameters determining different width of the ring formed by proliferative and necrotic cells and different regular/irregular behaviour of the tumor surface.
△ Less
Submitted 22 February, 2022; v1 submitted 29 September, 2021;
originally announced September 2021.
-
How far away is infinity? An electromagnetic exercise to develop intuition regarding models
Authors:
Alvaro Suarez,
Martin Monteiro,
Mateo Dutra,
Arturo C. Marti
Abstract:
The estimation of the electric field in simple situations provides an opportunity to develop intuition about the models used in physics. We propose an activity aimed at university students of General Physics where the electric field of a finite line of charge is compared, analytically or numerically, with the fields of an infinite line and of a point charge. Contrary to intuition, it is not necess…
▽ More
The estimation of the electric field in simple situations provides an opportunity to develop intuition about the models used in physics. We propose an activity aimed at university students of General Physics where the electric field of a finite line of charge is compared, analytically or numerically, with the fields of an infinite line and of a point charge. Contrary to intuition, it is not necessary to get very close for the line charge to be considered infinite, nor to move very far away for the finite line field to resemble that of a point charge. We conducted this activity with a group of students and found that many of them have not yet developed an adequate intuition about the approximations used in electromagnetism.
△ Less
Submitted 10 May, 2021; v1 submitted 26 April, 2021;
originally announced April 2021.
-
Determining parameters giving different growths of a new Glioblastoma differential model
Authors:
A. Fernández-Romero,
F. Guillén-González,
A. Suárez
Abstract:
In this paper we analyse a differential system related to a Glioblastoma growth. Using numerical simulations, we prove that model captures different kind of growth changing adequately the parameters of the model. Firstly, we make an adimensional study in order to reduce the number of parameters. Later, we detect the main parameters determining either different width of the ring formed by prolifera…
▽ More
In this paper we analyse a differential system related to a Glioblastoma growth. Using numerical simulations, we prove that model captures different kind of growth changing adequately the parameters of the model. Firstly, we make an adimensional study in order to reduce the number of parameters. Later, we detect the main parameters determining either different width of the ring formed by proliferative cells around necrotic ones or different regular/irregular behaviour of the tumor surface.
△ Less
Submitted 19 September, 2021; v1 submitted 9 April, 2021;
originally announced April 2021.
-
What are the attitudes and beliefs about Science of the Physics teachers and future Physics teachers in Uruguay?
Authors:
Álvaro Suárez,
Daniel Baccino,
Martín Monteiro,
Arturo C. Martí
Abstract:
We investigated the epistemological conceptions of the uruguayan Physics teachers and future Physics teachers through the application of the CLASS test (Colorado Learning Attitudes about Science Survey), one of the most accepted instruments in the research community in Physics education. The results obtained allow us to compare the attitudes and beliefs about science of both groups and quantitativ…
▽ More
We investigated the epistemological conceptions of the uruguayan Physics teachers and future Physics teachers through the application of the CLASS test (Colorado Learning Attitudes about Science Survey), one of the most accepted instruments in the research community in Physics education. The results obtained allow us to compare the attitudes and beliefs about science of both groups and quantitatively evaluate the agreement or not with the conceptions of experts in the field. First, we present a general screenshot of the responses and then we identify categories in which there are significant similarities or differences between the two groups studied and in turn with the reference of the experts. The categories that show significant positive or negative variations between the opinions of future teachers and teachers indicate the areas where training is favorable or unfavorable. On the other hand, the areas where the differences with the opinions of the experts are globally notorious suggest that they should be strengthened. To get a more global perspective, we also compare our results with those published in the literature. Finally, we raise several questions that we think may favor further inquiries.
△ Less
Submitted 19 November, 2021; v1 submitted 25 March, 2021;
originally announced March 2021.
-
Boundary-Aware Segmentation Network for Mobile and Web Applications
Authors:
Xuebin Qin,
Deng-** Fan,
Chenyang Huang,
Cyril Diagne,
Zichen Zhang,
Adrià Cabeza Sant'Anna,
Albert Suàrez,
Martin Jagersand,
Ling Shao
Abstract:
Although deep models have greatly improved the accuracy and robustness of image segmentation, obtaining segmentation results with highly accurate boundaries and fine structures is still a challenging problem. In this paper, we propose a simple yet powerful Boundary-Aware Segmentation Network (BASNet), which comprises a predict-refine architecture and a hybrid loss, for highly accurate image segmen…
▽ More
Although deep models have greatly improved the accuracy and robustness of image segmentation, obtaining segmentation results with highly accurate boundaries and fine structures is still a challenging problem. In this paper, we propose a simple yet powerful Boundary-Aware Segmentation Network (BASNet), which comprises a predict-refine architecture and a hybrid loss, for highly accurate image segmentation. The predict-refine architecture consists of a densely supervised encoder-decoder network and a residual refinement module, which are respectively used to predict and refine a segmentation probability map. The hybrid loss is a combination of the binary cross entropy, structural similarity and intersection-over-union losses, which guide the network to learn three-level (ie, pixel-, patch- and map- level) hierarchy representations. We evaluate our BASNet on two reverse tasks including salient object segmentation, camouflaged object segmentation, showing that it achieves very competitive performance with sharp segmentation boundaries. Importantly, BASNet runs at over 70 fps on a single GPU which benefits many potential real applications. Based on BASNet, we further developed two (close to) commercial applications: AR COPY & PASTE, in which BASNet is integrated with augmented reality for "COPYING" and "PASTING" real-world objects, and OBJECT CUT, which is a web-based tool for automatic object background removal. Both applications have already drawn huge amount of attention and have important real-world impacts. The code and two applications will be publicly available at: https://github.com/NathanUA/BASNet.
△ Less
Submitted 11 May, 2021; v1 submitted 12 January, 2021;
originally announced January 2021.
-
Bernoulli's muddle: a research on students' misconceptions in fluid dynamics
Authors:
Alvaro Suarez,
Mateo Dutra,
Martin Monteiro,
Arturo C. Marti
Abstract:
Bernoulli's equation, which relates the pressure of an ideal fluid in motion with its velocity and height under certain conditions, is a central topic in General Physics courses for Science and Engineering students. This equation, frequently used both textbooks as in science outreach activities or museums, is often extrapolated to explain situations in which it is no longer valid. A common example…
▽ More
Bernoulli's equation, which relates the pressure of an ideal fluid in motion with its velocity and height under certain conditions, is a central topic in General Physics courses for Science and Engineering students. This equation, frequently used both textbooks as in science outreach activities or museums, is often extrapolated to explain situations in which it is no longer valid. A common example is to assume that, in any situation, higher speed means lower pressure, a conclusion that is only acceptable under certain conditions. In this paper we report the results of an investigation with university students on some misconceptions present in fluid dynamics. We found that after completing the General Physics courses, many students have not developed a correct model about the interaction of a fluid element with its environment and extrapolate the idea that higher speed implies lower pressure in situations where it is no longer valid. We also show that an approach to fluid dynamics based on Newton's laws is more natural to address these misconceptions.
△ Less
Submitted 18 May, 2021; v1 submitted 25 December, 2020;
originally announced December 2020.
-
Theoretical and numerical analysis for a hybrid tumor model with diffusion depending on vasculature
Authors:
A. Fernández-Romero,
F. Guillén-González,
A. Suárez
Abstract:
In this work we analyse a PDE-ODE problem modelling the evolution of a Glioblastoma, which includes an anisotropic nonlinear diffusion term with a diffusion velocity increasing with respect to vasculature. First, we prove the existence of global in time weak-strong solutions using a regularization technique via an artificial diffusion in the ODE-system and a fixed point argument. In addition, stab…
▽ More
In this work we analyse a PDE-ODE problem modelling the evolution of a Glioblastoma, which includes an anisotropic nonlinear diffusion term with a diffusion velocity increasing with respect to vasculature. First, we prove the existence of global in time weak-strong solutions using a regularization technique via an artificial diffusion in the ODE-system and a fixed point argument. In addition, stability results of the critical points are given under some constraints on parameters. Finally, we design a fully discrete finite element scheme for the model which preserves the pointwise and energy estimates of the continuous problem.
△ Less
Submitted 19 September, 2021; v1 submitted 23 December, 2020;
originally announced December 2020.
-
The coframe of D-sublocales of a locale and the $T_D$ duality
Authors:
Igor Arrieta,
Anna Laura Suarez
Abstract:
The notion of \emph{D-sublocale} is explored. This is the notion analogue to that of sublocale in the duality of $T_D$spaces. A sublocale $S$ of a frame $L$ is a D-sublocale if and only if the corresponding localic map preserves the property of being a covered prime. It is shown that for a frame $L$ the system of those sublocales which are also D-sublocales form a dense sublocale…
▽ More
The notion of \emph{D-sublocale} is explored. This is the notion analogue to that of sublocale in the duality of $T_D$spaces. A sublocale $S$ of a frame $L$ is a D-sublocale if and only if the corresponding localic map preserves the property of being a covered prime. It is shown that for a frame $L$ the system of those sublocales which are also D-sublocales form a dense sublocale $\mathsf{S}_D(L)$ of the coframe $\mathsf{S}(L)$ of all its sublocales. It is also shown that the spatialization $\mathsf{sp}_D[\mathsf{S}_D(L)]$ of $\mathsf{S}_D(L)$ consists precisely of those D-sublocales of $L$ which are $T_D$-spatial. Additionally, frames such that we have $\mathsf{S}_D(L)\cong \mathcal{P}(\mathsf{pt}_D(L))$ -- that is, those such that D-sublocales perfectly represent subspaces -- are characterized as those $T_D$-spatial frames such that $\mathsf{S}_D(L)$ is the Booleanization of \mathsf{S}(L).
△ Less
Submitted 27 November, 2020; v1 submitted 17 November, 2020;
originally announced November 2020.
-
The assembly of a pointfree bispace and its two variations
Authors:
Anna Laura Suarez
Abstract:
The duality of finitary biframes as pointfree bitopological spaces is explored. In particular, for a finitary biframe $\mathcal{L}$ the ordered collection of all its pointfree bisubspaces (i.e. its biquotients) is studied. It is shown that this collection is bitopological in three meaningful ways. In particular it is shown that, apart from the assembly $\mathsf{A}(\mathcal{L})$ of a finitary bifra…
▽ More
The duality of finitary biframes as pointfree bitopological spaces is explored. In particular, for a finitary biframe $\mathcal{L}$ the ordered collection of all its pointfree bisubspaces (i.e. its biquotients) is studied. It is shown that this collection is bitopological in three meaningful ways. In particular it is shown that, apart from the assembly $\mathsf{A}(\mathcal{L})$ of a finitary biframe $\mathcal{L}$, there are two other structures $\mathsf{A}_{cf}(\mathcal{L})$ and $\mathsf{A}_{\pm}(\mathcal{L})$, which both have the same main component as $\mathsf{A}(\mathcal{L})$. The main component of both $\mathsf{A}_{cf}(\mathcal{L})$ and $\mathsf{A}_{\pm}(\mathcal{L})$ is the ordered collection of all biquotients of $\mathcal{L}$. The structure $\mathsf{A}_{cf}(\mathcal{L})$ being a biframe shows that the collection of all biquotients is generated by the frame of the patch-closed biquotients together with that of the patch-fitted ones. The structure $\mathsf{A}_{\pm}(\mathcal{L})$ being a biframe shows the collection of all biquotients is generated by the frame of the positive biquotients together with that of the negative ones. Notions of fitness and subfitness for finitary biframes are introduced, and it is shown that the analogues of both characterization theorems for these axioms appearing in Picado and Pultr (2011) hold. A spatial, bitopological version of these theorems is proven, in which finitary biframes whose spectrum is pairwise $T_1$ are characterized, among other things in terms of the spectrum of $\mathsf{A}_{cf}(\mathcal{L})$.
△ Less
Submitted 2 November, 2020;
originally announced November 2020.
-
When the quarter jumps into a cup (and when it does not)
Authors:
Mateo Dutra,
Álvaro Suárez,
Martín Monteiro,
Arturo C. Marti
Abstract:
While Bernoulli's equation is one of the most frequently mentioned topics in Physics literature and other means of dissemination, it is also one of the least understood. Oddly enough, in the wonderful book "Turning the world inside out" [1], Robert Ehrlich proposes a demonstration that consists of blowing a quarter dollar coin into a cup, incorrectly explained using Bernoulli's equation. In the pr…
▽ More
While Bernoulli's equation is one of the most frequently mentioned topics in Physics literature and other means of dissemination, it is also one of the least understood. Oddly enough, in the wonderful book "Turning the world inside out" [1], Robert Ehrlich proposes a demonstration that consists of blowing a quarter dollar coin into a cup, incorrectly explained using Bernoulli's equation. In the present work, we have adapted the demonstration to show situations in which the coin jumps into the cup and others in which it does not, proving that the explanation based on Bernoulli's is flawed. Our demonstration is useful to tackle the common misconception, stemming from the incorrect use of Bernoulli's equation, that higher velocity invariably means lower pressure.
△ Less
Submitted 26 October, 2020;
originally announced October 2020.
-
Revisiting the relation between subspaces and sublocales
Authors:
Anna Laura Suarez
Abstract:
We revisit results concerning the connection between subspaces of a space and sublocales of its locale of open sets. The approach we present is based on the observation that for every locale $L$ its spatial sublocales $\mathsf{sp}[\mathsf{S}(L)]$ form a coframe which is isomorphic to the coframe $\mathsf{sob}[\mathcal{P}(\mathsf{pt}(L))]$ of sober subspaces of $\mathsf{pt}(L)$. We characterize the…
▽ More
We revisit results concerning the connection between subspaces of a space and sublocales of its locale of open sets. The approach we present is based on the observation that for every locale $L$ its spatial sublocales $\mathsf{sp}[\mathsf{S}(L)]$ form a coframe which is isomorphic to the coframe $\mathsf{sob}[\mathcal{P}(\mathsf{pt}(L))]$ of sober subspaces of $\mathsf{pt}(L)$. We characterize the frames $L$ such that the spatial sublocales of $\mathsf{S}(L)$ perfectly represent the subspaces of $\mathsf{pt}(L)$. We prove choice-free, weak versions of the results by Niefield and Rosenthal characterizing those frames such that all their sublocales are spatial (i.e., those such that the sober subspaces of $\mathsf{pt}(L)$ perfectly represent the sublocales of $L$). We do so by using a notion of essential prime which does not rely on the existence of enough minimal primes above every element. We will re-prove Simmons' result that spaces such that the sublocales of $Ω(X)$ perfectly represent their subspaces are exactly the scattered spaces. We will characterize scattered spaces in terms of a strong form of essentiality for primes. We apply these characterizations to show that, when $L$ is a spatial frame and a coframe, $\mathsf{pt}(L)$ is scattered if and only if it is $T_D$, and this holds if and only if all the primes of $L$ are completely prime.
△ Less
Submitted 11 October, 2020;
originally announced October 2020.
-
The category of finitary biframes as the category of pointfree bispaces
Authors:
Anna Laura Suarez
Abstract:
The theory of finitary biframes as order-theoretical duals of bitopological spaces is explored. The category of finitary biframes is a coreflective subcategory of that of biframes. Some of the advantages of adopting finitary biframes as a pointfree notion of bispaces are studied. In particular, it is shown that for every finitary biframe there is a biframe which plays a role analogue to that of th…
▽ More
The theory of finitary biframes as order-theoretical duals of bitopological spaces is explored. The category of finitary biframes is a coreflective subcategory of that of biframes. Some of the advantages of adopting finitary biframes as a pointfree notion of bispaces are studied. In particular, it is shown that for every finitary biframe there is a biframe which plays a role analogue to that of the assembly in the theory of frames: for every finitary biframe $\mathcal{L}$ there is a finitary biframe $\mathsf{A}(\mathcal{L})$ with a universal property analogous to that of the assembly of a frame; and such that its main component is isomorphic to the ordered collection of finitary quotients of $\mathcal{L}$ (i.e. its pointfree bisubspaces). Furthermore, in the finitary biframe duality the bispace associated with $\mathsf{A}(\mathcal{L})$ is a natural bitopological analogue of the Skula space of the bispace associated with $\mathcal{L}$. The finitary biframe duality gives us a notion of bisobriety which is weaker than pairwise Hausdorffness, incomparable with the pairwise $T_1$ axiom, and stronger than the pairwise $T_0$ axiom. The notion of pairwise $T_D$ bispaces is introduced, as a natural point-set generalization of the classical $T_D$ axiom. It is shown that in the finitary biframe duality this axiom plays a role analogous to that of the classical $T_D$ axiom for the frame duality.
△ Less
Submitted 12 October, 2020; v1 submitted 9 October, 2020;
originally announced October 2020.
-
Theoretical analysis for a PDE-ODE system related to a Glioblastoma tumor with vasculature
Authors:
A. Fernández-Romero,
F. Guillén-González,
A. Suárez
Abstract:
In this paper we study a PDE-ODE system as a simplification of a Glioblastoma model. Mainly, we prove the existence and uniqueness of global in time classical solution using a fixed point argument. Moreover, we show some stability results of the solution depending on some conditions on the parameters.
In this paper we study a PDE-ODE system as a simplification of a Glioblastoma model. Mainly, we prove the existence and uniqueness of global in time classical solution using a fixed point argument. Moreover, we show some stability results of the solution depending on some conditions on the parameters.
△ Less
Submitted 9 April, 2021; v1 submitted 24 July, 2020;
originally announced July 2020.
-
Inconsistencies and errors in traditional approaches to energy in our introductory courses
Authors:
Alvaro Suarez,
Daniel Baccino,
Arturo C. Marti,
Martin Monteiro
Abstract:
We present a critical analysis of the classical approaches to energy subjects, based on the work-energy theorem and the conservation of mechanical energy proposed in the courses of the first years of tertiary education. We show how these approaches present a series of inconsistencies and errors that are a source of conceptual difficulties among students. We then analyze a modern treatment of mecha…
▽ More
We present a critical analysis of the classical approaches to energy subjects, based on the work-energy theorem and the conservation of mechanical energy proposed in the courses of the first years of tertiary education. We show how these approaches present a series of inconsistencies and errors that are a source of conceptual difficulties among students. We then analyze a modern treatment of mechanical courses based on the results of research in physics education over the last 40 years. We place special emphasis on the principle of conservation of energy as one of the fundamental principles of nature, prioritizing the concepts of system, surrounding, and energy transfer and transformation.
△ Less
Submitted 18 July, 2020;
originally announced July 2020.
-
Experimental optical trap** of microparticles with an Airy beams array using a Holographic Optical Tweezer
Authors:
Rafael A. B. Suarez,
Antonio A. R. Neves,
Marcos R. R. Gesualdi
Abstract:
In this work, we present the experimental optical trap of microparticles with an Airy beams array using a holographic optical tweezers. The Airy beams array are attractive for optical manipulation of particles owing to their non--diffracting and autofocusing properties. An Airy beams array is composed of N Airy beams which accelerate mutually and symmetrically in opposite direction, for different…
▽ More
In this work, we present the experimental optical trap of microparticles with an Airy beams array using a holographic optical tweezers. The Airy beams array are attractive for optical manipulation of particles owing to their non--diffracting and autofocusing properties. An Airy beams array is composed of N Airy beams which accelerate mutually and symmetrically in opposite direction, for different ballistic trajectories, that is, with different initial launch angles. Based on this, we developed a holographic optical tweezers system for the generation of non-diffracting beams and with it, we investigate the distribution of optical forces acting on microparticles of an Airy beams array. The results show that the gradient and scattering force of array on microparticles can be controlled through a launch angle parameter of Airy beams. In addition, it's possible to obtain greater stability for optical trap using an Airy beams array, with interesting possibilities for trap** and guiding of microparticles in a controllable way that can be applied in optical, biological and atmospheric sciences.
△ Less
Submitted 8 July, 2020;
originally announced July 2020.
-
Search for $CP$ violation in $Ξ_c^+\rightarrow pK^-π^+$ decays using model-independent techniques
Authors:
LHCb collaboration,
R. Aaij,
C. Abellán Beteta,
T. Ackernley,
B. Adeva,
M. Adinolfi,
H. Afsharnia,
C. A. Aidala,
S. Aiola,
Z. Ajaltouni,
S. Akar,
P. Albicocco,
J. Albrecht,
F. Alessio,
M. Alexander,
A. Alfonso Albero,
G. Alkhazov,
P. Alvarez Cartelle,
A. A. Alves Jr,
S. Amato,
Y. Amhis,
L. An,
L. Anderlini,
G. Andreassi,
M. Andreotti
, et al. (932 additional authors not shown)
Abstract:
A first search for $CP$ violation in the Cabibbo-suppressed $Ξ_c^+\rightarrow pK^-π^+$ decay is performed using both a binned and an unbinned model-independent technique in the Dalitz plot. The studies are based on a sample of proton-proton collision data, corresponding to an integrated luminosity of $3.0~{\rm fb^{-1}}$, and collected by the LHCb experiment at centre-of-mass energies of $7$ and…
▽ More
A first search for $CP$ violation in the Cabibbo-suppressed $Ξ_c^+\rightarrow pK^-π^+$ decay is performed using both a binned and an unbinned model-independent technique in the Dalitz plot. The studies are based on a sample of proton-proton collision data, corresponding to an integrated luminosity of $3.0~{\rm fb^{-1}}$, and collected by the LHCb experiment at centre-of-mass energies of $7$ and $8~\rm TeV$. The data are consistent with the hypothesis of no $CP$ violation.
△ Less
Submitted 2 November, 2020; v1 submitted 4 June, 2020;
originally announced June 2020.