-
On Sequences with at Most a Finite Number of Zero Coordinates
Authors:
Diego Alves,
Geivison Ribeiro
Abstract:
In this paper, we analyze the existence of algebraic and topological structures in the set of sequences that contain only a finite number of zero coordinates. Inspired by the work of Daniel Cariello and Juan B. Seoane-Sepúlveda, our research reveals new insights and complements their notable results beyond the classical \( \ell_p \) spaces for \( p \) in the interval from 1 to infinity, including…
▽ More
In this paper, we analyze the existence of algebraic and topological structures in the set of sequences that contain only a finite number of zero coordinates. Inspired by the work of Daniel Cariello and Juan B. Seoane-Sepúlveda, our research reveals new insights and complements their notable results beyond the classical \( \ell_p \) spaces for \( p \) in the interval from 1 to infinity, including the intriguing case where \( p \) is between 0 and 1.
Our exploration employs notions such as S-lineability, pointwise lineability, and (alpha, beta)-spaceability. This investigation allowed us to verify, for instance, that the set \( F \setminus Z(F) \), where \( F \) is a closed subspace of \( \ell_p \) containing \( c_0 \), is (alpha, c)-spaceable if and only if alpha is finite.
△ Less
Submitted 14 June, 2024; v1 submitted 10 June, 2024;
originally announced June 2024.
-
Measurement Schemes in AQFT, Contextuality and the Wigner's Friend Gedankenexperiment
Authors:
Felipe Dilho Alves
Abstract:
Measurements have historically presented a problem for the consistent description of quantum theories, be it in non-relativistic quantum mechanics or in quantum field theory. Drawing on a recent surge of interest in the description of measurements in Algebraic Quantum Field theory, it was decided that this dissertation would be focused on trying to close the gap between the description of measurem…
▽ More
Measurements have historically presented a problem for the consistent description of quantum theories, be it in non-relativistic quantum mechanics or in quantum field theory. Drawing on a recent surge of interest in the description of measurements in Algebraic Quantum Field theory, it was decided that this dissertation would be focused on trying to close the gap between the description of measurements proposed by K. Hepp in the 70's, considering decoherence of states in quasilocal algebras and the new framework of generally covariant measurement schemes proposed recently by C. Fewster and R. Verch. Another recent result that we shall also consider is the Frauchinger-Renner Gedankenexperiment, that has taken inspiration on Hepp's article about decoherence based measurements to arrive at a no-go result about the consistency of quantum descriptions of systems containing rational agents, we shall seek to provide a closure for the interpretation of this result. In doing so we naturally arrive at the study of the contextual properties of measurement setups.
△ Less
Submitted 29 February, 2024;
originally announced February 2024.
-
On a version of the Problem B of Mahler involving derivatives
Authors:
Diego Alves
Abstract:
In 1902, Paul Stäckel constructed an analytic function $f(z)$ in a neighborhood of the origin, which was transcendental, and with the property that both $f(z)$ and its inverse, as well as its derivatives, assumed algebraic values at all algebraic points in this neighborhood. Inspired by this result, Mahler in 1976 questioned the existence of an transcendental entire function $f(z)$ such that…
▽ More
In 1902, Paul Stäckel constructed an analytic function $f(z)$ in a neighborhood of the origin, which was transcendental, and with the property that both $f(z)$ and its inverse, as well as its derivatives, assumed algebraic values at all algebraic points in this neighborhood. Inspired by this result, Mahler in 1976 questioned the existence of an transcendental entire function $f(z)$ such that $f(\overline{\mathbb{Q}})$ and $f^{-1}(\overline{\mathbb{Q}})$ are subsets of $\overline{\mathbb{Q}}.$ This problem was solved by Marques and Moreira in 2017. As Stäcklel's result involved derivatives, it is natural to question whether we have an analogous result for transcendental entire functions involving derivatives. In this article, we show that there are an uncountable amount of such functions.
△ Less
Submitted 2 April, 2024; v1 submitted 21 December, 2023;
originally announced January 2024.
-
A Performance Study of Horizontally Explicit Vertically Implicit (HEVI) Time-Integrators for Non-Hydrostatic Atmospheric Models
Authors:
Francis X. Giraldo,
Felipe Augusto Ventura de Braganca Alves,
James F. Kelly,
Soonpil Kang,
P. Alex Reiencke
Abstract:
We conduct a thorough study of different forms of horizontally explicit and vertically implicit (HEVI) time-integration strategies for the compressible Euler equations on spherical domains typical of nonhydrostatic global atmospheric applications. We compare the computational time and complexity of two nonlinear variants (NHEVI-GMRES and NHEVI-LU) and a linear variant (LHEVI). We report on the per…
▽ More
We conduct a thorough study of different forms of horizontally explicit and vertically implicit (HEVI) time-integration strategies for the compressible Euler equations on spherical domains typical of nonhydrostatic global atmospheric applications. We compare the computational time and complexity of two nonlinear variants (NHEVI-GMRES and NHEVI-LU) and a linear variant (LHEVI). We report on the performance of these three variants for a number of additive Runge-Kutta Methods ranging in order of accuracy from second through fifth, and confirm the expected order of accuracy of the HEVI methods for each time-integrator. To gauge the maximum usable time-step of each HEVI method, we run simulations of a nonhydrostatic baroclinic instability for 100 days and then use this time-step to compare the time-to-solution of each method. The results show that NHEVI-LU is 2x faster than NHEVI-GMRES, and LHEVI is 5x faster than NHEVI-LU, for the idealized cases tested. The baroclinic instability and inertia-gravity wave simulations indicate that the optimal choice of time-integrator is LHEVI with either second or third order schemes, as both schemes yield similar time to solution and relative L2 error at their maximum usable time-steps. In the future, we will report on whether these results hold for more complex problems using, e.g., real atmospheric data and/or a higher model top typical of space weather applications.
△ Less
Submitted 19 November, 2023;
originally announced November 2023.
-
On the Exceptional Set of Transcendental Entire Functions in Several Variables
Authors:
Diego Alves,
Jean Lelis,
Diego Marques,
Pavel Trojovský
Abstract:
In this paper, among other things, we prove that any subset of $\overline{\mathbb{Q}}^m$ (closed under complex conjugation and which contains the origin) is the exceptional set of uncountable many transcendental entire functions over $\mathbb{C}^m$ with rational coefficients. This result solves a several variables version of a question posed by Mahler for transcendental entire functions.
In this paper, among other things, we prove that any subset of $\overline{\mathbb{Q}}^m$ (closed under complex conjugation and which contains the origin) is the exceptional set of uncountable many transcendental entire functions over $\mathbb{C}^m$ with rational coefficients. This result solves a several variables version of a question posed by Mahler for transcendental entire functions.
△ Less
Submitted 5 June, 2023;
originally announced June 2023.
-
IMplicit-EXplicit Formulations for Discontinuous Galerkin Non-Hydrostatic Atmospheric Models
Authors:
Sohail Reddy,
Maciej Waruszewski,
Felipe A. V. de Braganca Alves,
Francis X. Giraldo
Abstract:
This work presents IMplicit-EXplicit (IMEX) formulations for discontinuous Galerkin (DG) discretizations of the compressible Euler equations governing non-hydrostatic atmospheric flows. In particular, we show two different IMEX formulations that not only treat the stiffness due to the governing dynamics but also the domain discretization. We present these formulations for two different equation se…
▽ More
This work presents IMplicit-EXplicit (IMEX) formulations for discontinuous Galerkin (DG) discretizations of the compressible Euler equations governing non-hydrostatic atmospheric flows. In particular, we show two different IMEX formulations that not only treat the stiffness due to the governing dynamics but also the domain discretization. We present these formulations for two different equation sets typically employed in atmospheric modeling. For both equation sets, efficient Schur complements are derived and the challenges and remedies for deriving them are discussed. The performance of these IMEX formulations of different orders are investigated on both 2D (box) and 3D (sphere) test problems and shown to achieve their theoretical rates of convergence and their efficiency with respect to both mesoscale and global applications are presented.
△ Less
Submitted 12 December, 2022;
originally announced December 2022.
-
Hyperbolic Basis Functions for Time-Transient Analysis of Eddy Currents in Conductive and Magnetic Thin Sheets
Authors:
Bruno de Sousa Alves,
Ruth V. Sabariego,
Marc Laforest,
Frédéric Sirois
Abstract:
This paper presents a new time-domain finite-element approach for modelling thin sheets with hyperbolic basis functions derived from the well-known steady-state solution of the linear flux diffusion equation. The combination of solutions at different operating frequencies permits the representation of the time-evolution of field quantities in the magnetic field formulation. This approach is here a…
▽ More
This paper presents a new time-domain finite-element approach for modelling thin sheets with hyperbolic basis functions derived from the well-known steady-state solution of the linear flux diffusion equation. The combination of solutions at different operating frequencies permits the representation of the time-evolution of field quantities in the magnetic field formulation. This approach is here applied to solve a planar shielding problem in harmonic and time-dependent simulations for materials with either linear or nonlinear characteristics. Local and global quantities show good agreement with the reference solutions obtained by the standard finite element method on a complete and representative discretization of the region exposed to a time-varying magnetic field.
△ Less
Submitted 13 August, 2021;
originally announced August 2021.
-
Hybrid proactive approach for solving maintenance and planning problems in the scenario of Industry 4.0
Authors:
Fernanda de Freitas Alves,
Martín Gómez Ravetti
Abstract:
Behind the concept of Industry 4.0, there are a number of principles and ideas; one of them is the integration of problems of different decision levels. In this work, we integrate maintenance with planning problems, aiming to take full advantage of the production capacity providing immediate delivery of products to customers and avoiding failures. We propose a hybrid approach for solving a mainten…
▽ More
Behind the concept of Industry 4.0, there are a number of principles and ideas; one of them is the integration of problems of different decision levels. In this work, we integrate maintenance with planning problems, aiming to take full advantage of the production capacity providing immediate delivery of products to customers and avoiding failures. We propose a hybrid approach for solving a maintenance problem integrated with the lot-sizing and scheduling problems. The approach is based on the concepts of robustness and simheuristics, considering preventive, predictive and corrective maintenances in a parallel machine environment. Simulations are performed to consider machine failures. Results indicate that as we increase the robustness parameter at the lot-sizing problem, we obtain lower deviations related to the initial objective function of the lot-sizing problem and lower probabilities of infeasibility after the occurrence of failures. The approach makes it possible to find an average expected result for each of the scenarios analyzed taking into account historical data on the behavior of the failures.
△ Less
Submitted 17 May, 2020;
originally announced May 2020.
-
On nilpotency of higher commutator subgroups of a finite soluble group
Authors:
Josean da Silva Alves,
Pavel Shumyatsky
Abstract:
Let $G$ be a finite soluble group and $G^{(k)}$ the $k$th term of the derived series of $G$. We prove that $G^{(k)}$ is nilpotent if and only if $|ab|=|a||b|$ for any $δ_k$-values $a,b\in G$ of coprime orders. In the course of the proof we establish the following result of independent interest: Let $P$ be a Sylow $p$-subgroup of $G$. Then $P\cap G^{(k)}$ is generated by $δ_k$-values contained in…
▽ More
Let $G$ be a finite soluble group and $G^{(k)}$ the $k$th term of the derived series of $G$. We prove that $G^{(k)}$ is nilpotent if and only if $|ab|=|a||b|$ for any $δ_k$-values $a,b\in G$ of coprime orders. In the course of the proof we establish the following result of independent interest: Let $P$ be a Sylow $p$-subgroup of $G$. Then $P\cap G^{(k)}$ is generated by $δ_k$-values contained in $P$. This is related to the so-called Focal Subgroup Theorem.
△ Less
Submitted 25 May, 2020; v1 submitted 15 May, 2020;
originally announced May 2020.
