Showing 1–50 of 1,012 results for author: Da, J

New Physics Search at the CEPC: a General Perspective

Authors: Stefan Antusch, Peter Athron, Daniele Barducci, Long Chen, Mingshui Chen, Xiang Chen, Huajie Cheng, Kingman Cheung, Joao Guimaraes da Costa, Arindam Das, Frank F. Deppisch, P. S. Bhupal Dev, Xiaokang Du, Yong Du, Yaquan Fang, Andrew Fowlie, Yu Gao, Bruce Mellado Garcia, Shao-Feng Ge, Jiayin Gu, Yu-Chen Guo, Jan Hajer, Chengcheng Han, Tao Han, Sven Heinemeyer , et al. (68 additional authors not shown)

Abstract: The Circular Electron-Positron Collider (CEPC), a proposed next-generation Higgs factory, provides new opportunities to explore physics beyond the Standard Model (SM). With its clean electron-positron collision environment and the ability to collect large samples of Higgs, W, and Z bosons, the CEPC enables precision measurements and searches for new physics. This white paper outlines the CEPC's di… ▽ More The Circular Electron-Positron Collider (CEPC), a proposed next-generation Higgs factory, provides new opportunities to explore physics beyond the Standard Model (SM). With its clean electron-positron collision environment and the ability to collect large samples of Higgs, W, and Z bosons, the CEPC enables precision measurements and searches for new physics. This white paper outlines the CEPC's discovery potential, including studies of exotic decays of the Higgs, Z, and top quarks, dark matter and dark sector phenomena, long-lived particles, supersymmetry, and neutrino-related signatures. Advanced detector technologies and reconstruction techniques, such as one-to-one correspondence reconstruction and jet origin identification, significantly improve sensitivity to rare and weakly interacting processes. The CEPC is particularly well suited to probe the electroweak phase transition and test models of electroweak baryogenesis and dark sector interactions. In addition, global fit analyses highlight the CEPC's complementary role in constraining a wide range of new physics scenarios. These features position the CEPC as a powerful tool for exploring the next frontier in fundamental particle physics in the post-Higgs discovery era. △ Less

Submitted 30 May, 2025; originally announced May 2025.

PoET: the Paranal solar ESPRESSO Telescope

Authors: Nuno C. Santos, Alexandre Cabral, Inês Leite, Alain Smette, Manuel Abreu, David Alves, Jorge H. C. Martins, Manuel Monteiro, André Silva, Bachar Wehbe, Jimmy Arancibia, Gerardo Ávila, Stephane Brillant, César Cárdenas, Ricardo Clara, Ricardo Gafeira, Daniel Gaytan, Christophe Lovis, Nicolas Miranda, Pedro Moreno, António Oliveira, Angel Otarola, Francesco Pepe, Pascual Rojas, Ricardo Schmutzer , et al. (20 additional authors not shown)

Abstract: The detection and characterisation of other "Earths", orbiting other suns, is a bold objective of present-day astrophysics. However, this quest is severely challenged by astrophysical "noise" from the host stars, whose signatures distort the observed spectra. Motivated by this problem, we are building a dedicated facility, the Paranal solar ESPRESSO Telescope (PoET). PoET will collect solar light… ▽ More The detection and characterisation of other "Earths", orbiting other suns, is a bold objective of present-day astrophysics. However, this quest is severely challenged by astrophysical "noise" from the host stars, whose signatures distort the observed spectra. Motivated by this problem, we are building a dedicated facility, the Paranal solar ESPRESSO Telescope (PoET). PoET will collect solar light and channel it into the ESPRESSO spectrograph, allowing us to use the Sun as a proxy to unambiguously identify and understand the sources of relevant variability in solar-type stars. △ Less

Submitted 13 May, 2025; originally announced May 2025.

Comments: Published in The Messenger (ESO)

Journal ref: 2025, The Messenger 194, 21-25

Weighted Orlicz-Sobolev and variable exponent Morrey regularity for fully nonlinear parabolic PDEs with oblique boundary conditions and applications

Authors: Junior da S. Bessa, João Vitor da Silva, Maria N. B. Frederico, Gleydson C. Ricarte

Abstract: In this manuscript, we establish global weighted Orlicz-Sobolev and variable exponent Morrey-Sobolev estimates for viscosity solutions to fully nonlinear parabolic equations subject to oblique boundary conditions on a portion of the boundary, within the following framework: \begin{equation*} \left\{ \begin{array}{rclcl} F(D^2u,Du,u,x,t) - u_{t} &=& f(x,t) & \text{in} & Ω_{\mathrm{T}}, \\ β\cdot Du… ▽ More In this manuscript, we establish global weighted Orlicz-Sobolev and variable exponent Morrey-Sobolev estimates for viscosity solutions to fully nonlinear parabolic equations subject to oblique boundary conditions on a portion of the boundary, within the following framework: \begin{equation*} \left\{ \begin{array}{rclcl} F(D^2u,Du,u,x,t) - u_{t} &=& f(x,t) & \text{in} & Ω_{\mathrm{T}}, \\ β\cdot Du + γu &=& g(x,t) & \text{on} & \mathrm{S}_{\mathrm{T}}, \\ u(x, 0) &=& 0 & \text{on} & Ω_{0}, \end{array} \right. \end{equation*} where \(Ω_{\mathrm{T}} = Ω\times (0,\mathrm{T})\) denotes the parabolic cylinder with spatial base \(Ω\) (a bounded domain in \(\mathbb{R}^{n}\), \(n \geq 2\)) and temporal height \(\mathrm{T} > 0\), \(\mathrm{S}_{\mathrm{T}} = \partial Ω\times (0,\mathrm{T})\), and \(Ω_{0} = Ω\times \{0\}\). Additionally, \(f\) represents the source term of the parabolic equation, while the boundary data are given by \(β\), \(γ\), and \(g\). Our first main result is a global weighted Orlicz-Sobolev estimate for the solution, obtained under asymptotic structural conditions on the differential operator and appropriate assumptions on the boundary data, assuming that the source term belongs to the corresponding weighted Orlicz space. Leveraging these estimates, we demonstrate several applications, including a density result within the fundamental class of parabolic equations, regularity results for the related obstacle problem, and weighted Orlicz-BMO estimates for both the Hessian and the time derivative of the solution. Lastly, we derive variable exponent Morrey-Sobolev estimates for the problem via an extrapolation technique, which are of independent mathematical interest. △ Less

Submitted 6 May, 2025; originally announced May 2025.

Comments: 46 pages

Divide-and-Conquer Simulation of Open Quantum Systems

Authors: Thiago Melo D. Azevedo, Caio Almeida, Pedro Linck, Adenilton J. da Silva, Nadja K. Bernardes

Abstract: One of the promises of quantum computing is to simulate physical systems efficiently. However, the simulation of open quantum systems - where interactions with the environment play a crucial role - remains challenging for quantum computing, as it is impossible to implement deterministically non-unitary operators on a quantum computer without auxiliary qubits. The Stinespring dilation can simulate… ▽ More One of the promises of quantum computing is to simulate physical systems efficiently. However, the simulation of open quantum systems - where interactions with the environment play a crucial role - remains challenging for quantum computing, as it is impossible to implement deterministically non-unitary operators on a quantum computer without auxiliary qubits. The Stinespring dilation can simulate an open dynamic but requires a high circuit depth, which is impractical for NISQ devices. An alternative approach is parallel probabilistic block-encoding methods, such as the Sz.-Nagy and Singular Value Decomposition dilations. These methods result in shallower circuits but are hybrid methods, and we do not simulate the quantum dynamic on the quantum computer. In this work, we describe a divide-and-conquer strategy for preparing mixed states to combine the output of each Kraus operator dilation and obtain the complete dynamic on quantum hardware with a lower circuit depth. The work also introduces a balanced strategy that groups the original Kraus operators into an expanded operator, leading to a trade-off between circuit depth, CNOT count, and number of qubits. We perform a computational analysis to demonstrate the advantages of the new method and present a proof-of-concept simulation of the Fenna-Matthews-Olson dynamic on current quantum hardware. △ Less

Submitted 2 May, 2025; originally announced May 2025.

Comments: 23 pages, 9 figures

Higher regularity estimates for solutions to $\infty$-Laplacian-type models

Authors: João Vitor da Silva, Makson S. Santos, Mayra Soares

Abstract: In this work, we tackle the higher regularity estimates of solutions to inhomogeneous $\infty-$Laplacian equations at interior critical points. Our estimates provide smoothness properties better than the corresponding available regularity for the model with bounded forcing terms. We explore several scenarios, thereby obtaining improved regularity estimates, which depend on the universal parameters… ▽ More In this work, we tackle the higher regularity estimates of solutions to inhomogeneous $\infty-$Laplacian equations at interior critical points. Our estimates provide smoothness properties better than the corresponding available regularity for the model with bounded forcing terms. We explore several scenarios, thereby obtaining improved regularity estimates, which depend on the universal parameters of the model. Our findings connect with nowadays well-known estimates developed for obstacle and dead-core type problems. △ Less

Submitted 26 April, 2025; originally announced April 2025.

From Lorentz to $SIM(2)$: contraction, four-dimensional algebraic relations and projective representations

Authors: J. E. Rodrigues, J. M. B. Matzenbacher, G. M. Caires da Rocha, J. M. Hoff da Silva

Abstract: We present a comprehensive study on $SIM(2)$ and $ISIM(2)$ groups, their representations and algebraic aspects. After obtaining $SIM(2)$ through the Inönü-Wigner contraction procedure, a complete four-dimensional algebraic representation is shown for $\mathfrak{sim(2)}$ and $\mathfrak{isim(2)}$. Besides that, we apply Bargmann's formalism to investigate the (projective) representations for both ca… ▽ More We present a comprehensive study on $SIM(2)$ and $ISIM(2)$ groups, their representations and algebraic aspects. After obtaining $SIM(2)$ through the Inönü-Wigner contraction procedure, a complete four-dimensional algebraic representation is shown for $\mathfrak{sim(2)}$ and $\mathfrak{isim(2)}$. Besides that, we apply Bargmann's formalism to investigate the (projective) representations for both cases, keeping track of the source of phase factors. We complete the study by presenting a particularly simple analysis to probe the existence of local phase factors, which is useful when dealing with non-abelian groups. △ Less

Submitted 17 April, 2025; originally announced April 2025.

Comments: 17 pages

Regularity estimates for quasilinear elliptic PDEs in non-divergence form with Hamiltonian terms and applications

Authors: Junior da Silva Bessa, João Vitor da Silva

Abstract: In this manuscript, we investigate regularity estimates for a class of quasilinear elliptic equations in the non-divergence form that may exhibit degenerate behavior at critical points of their gradient. The prototype equation under consideration is… ▽ More In this manuscript, we investigate regularity estimates for a class of quasilinear elliptic equations in the non-divergence form that may exhibit degenerate behavior at critical points of their gradient. The prototype equation under consideration is $$ |\nabla u(x)|^θ\left( Δ_{p}^{\mathrm{N}} u(x) + \langle\mathfrak{B}(x), \nabla u\rangle \right) + \varrho(x) |\nabla u(x)|^σ = f(x) \quad \text{in} \quad B_1, $$ where $θ> 0$, $σ\in (θ, θ+ 1)$, and $p \in (1, \infty)$. The coefficients $\mathfrak{B}$ and $\varrho$ are bounded continuous functions, and the source term $f \in \mathrm{C}^{0}(B_1) \cap L^{\infty}(B_1)$. We establish interior $\mathrm{C}^{1,α}_{\text{loc}}$ regularity for some $α\in (0,1)$, along with sharp quantitative estimates at critical points of existing solutions. Additionally, we prove a non-degeneracy property and establish both a Strong Maximum Principle and a Hopf-type lemma. In the final part, we apply our analytical framework to study existence, uniqueness, improved regularity, and non-degeneracy estimates for Hénon-type models in the non-divergence form. These models incorporate strong absorption terms and linear/sublinear Hamiltonian terms and are of independent mathematical interest. Our results partially extend (for the non-variational quasilinear setting) the recent work by the second author in collaboration with Nornberg [Calc. Var. Partial Differential Equations 60 (2021), no. 6, Paper No. 202, 40 pp.], where sharp quantitative estimates were established for the fully nonlinear uniformly elliptic setting with Hamiltonian terms. △ Less

Submitted 12 May, 2025; v1 submitted 14 April, 2025; originally announced April 2025.

Comments: 46 pages

Beyond authorship: Analyzing contributions in PLOS ONE and the challenges of appropriate attribution

Authors: Abdelghani Maddi, Jaime A. Teixeira da Silva

Abstract: This study aims to evaluate the accuracy of authorship attributions in scientific publications, focusing on the fairness and precision of individual contributions within academic works. The study analyzes 81,823 publications from the journal PLOS ONE, covering the period from January 2018 to June 2023. It examines the authorship attributions within these publications to try and determine the preva… ▽ More This study aims to evaluate the accuracy of authorship attributions in scientific publications, focusing on the fairness and precision of individual contributions within academic works. The study analyzes 81,823 publications from the journal PLOS ONE, covering the period from January 2018 to June 2023. It examines the authorship attributions within these publications to try and determine the prevalence of inappropriate authorship. It also investigates the demographic and professional profiles of affected authors, exploring trends and potential factors contributing to inaccuracies in authorship. Surprisingly, 9.14% of articles feature at least one author with inappropriate authorship, affecting over 14,000 individuals (2.56% of the sample). Inappropriate authorship is more concentrated in Asia, Africa, and specific European countries like Italy. Established researchers with significant publication records and those affiliated with companies or nonprofits show higher instances of potential monetary authorship. Our findings are based on contributions as declared by the authors, which implies a degree of trust in their transparency. However, this reliance on self-reporting may introduce biases or inaccuracies into the dataset. Further research could employ additional verification methods to enhance the reliability of the findings. These findings have significant implications for journal publishers, highlighting the necessity for robust control mechanisms to ensure the integrity of authorship attributions. Moreover, researchers must exercise discernment in determining when to acknowledge a contributor and when to include them in the author list. Addressing these issues is crucial for maintaining the credibility and fairness of academic publications. △ Less

Submitted 24 April, 2025; v1 submitted 8 April, 2025; originally announced April 2025.

Journal ref: Abdelghani Maddi, Jaime A. Teixeira da Silva. Beyond authorship: Analyzing contributions in PLOS ONE and the challenges of appropriate attribution[J]. Journal of Data and Information Science, 2024

Geometric regularity estimates for quasi-linear elliptic models in non-divergence form with strong absorption

Authors: Claudemir Alcantara, João Vitor da Silva, Ginaldo Sá

Abstract: In this manuscript, we investigate geometric regularity estimates for problems governed by quasi-linear elliptic models in non-divergence form, which may exhibit either degenerate or singular behavior when the gradient vanishes, under strong absorption conditions of the form: \[ |\nabla u(x)|^γ Δ_p^{\mathrm{N}} u(x) = f(x, u) \quad \text{in} \quad B_1, \] where $γ> -1$, $p \in (1, \infty)$, and th… ▽ More In this manuscript, we investigate geometric regularity estimates for problems governed by quasi-linear elliptic models in non-divergence form, which may exhibit either degenerate or singular behavior when the gradient vanishes, under strong absorption conditions of the form: \[ |\nabla u(x)|^γ Δ_p^{\mathrm{N}} u(x) = f(x, u) \quad \text{in} \quad B_1, \] where $γ> -1$, $p \in (1, \infty)$, and the mapping $u \mapsto f(x, u) \lesssim \mathfrak{a}(x) u_{+}^m$ (with $m \in [0, γ+ 1)$) does not decay sufficiently fast at the origin. This condition allows for the emergence of plateau regions, i.e., a priori unknown subsets where the non-negative solution vanishes identically. We establish improved geometric $\mathrm{C}^κ_{\text{loc}}$ regularity along the set $\mathscr{F}_0 = \partial \{u > 0\} \cap B_1$ (the free boundary of the model) for a sharp value of $κ\gg 1$, which is explicitly determined in terms of the structural parameters. Additionally, we derive non-degeneracy results and other measure-theoretic properties. Furthermore, we prove a sharp Liouville theorem for entire solutions exhibiting controlled growth at infinity. △ Less

Submitted 27 March, 2025; originally announced March 2025.

Local models and Bell inequalities for the minimal triangle network

Authors: José Mário da Silva, Alejandro Pozas-Kerstjens, Fernando Parisio

Abstract: Nonlocal correlations created in networks with multiple independent sources enable surprising phenomena in quantum information and quantum foundations. The presence of independent sources, however, makes the analysis of network nonlocality challenging, and even in the simplest nontrivial scenarios a complete characterization is lacking. In this work we study one of the simplest of these scenarios,… ▽ More Nonlocal correlations created in networks with multiple independent sources enable surprising phenomena in quantum information and quantum foundations. The presence of independent sources, however, makes the analysis of network nonlocality challenging, and even in the simplest nontrivial scenarios a complete characterization is lacking. In this work we study one of the simplest of these scenarios, namely that of distributions invariant under permutations of parties in the minimal triangle network, which features no inputs and binary outcomes. We perform an exhaustive search for triangle-local models, and from it we infer analytic expressions for the boundaries of the set of distributions that admit such models, which we conjecture to be all the tight Bell inequalities for the scenario. Armed with them and with improved outer approximations of the set, we provide new insights on the existence of a classical-quantum gap in the triangle network with binary outcomes. △ Less

Submitted 20 March, 2025; originally announced March 2025.

Comments: 15 pages, 5 figures. Computational appendix available at https://github.com/mariofilho281/symmetric_triangle

Fractional De Giorgi conjecture in dimension 2 via complex-plane methods

Authors: Serena Dipierro, João Gonçalves da Silva, Giorgio Poggesi, Enrico Valdinoci

Abstract: We provide a new proof of the fractional version of the De Giorgi conjecture for the Allen-Cahn equation in $\mathbb{R}^2$ for the full range of exponents. Our proof combines a method introduced by A. Farina in 2003 with the $s$-harmonic extension of the fractional Laplacian in the half-space $\mathbb{R}^{3}_+$ introduced by L. Caffarelli and L. Silvestre in 2007. We also provide a representation… ▽ More We provide a new proof of the fractional version of the De Giorgi conjecture for the Allen-Cahn equation in $\mathbb{R}^2$ for the full range of exponents. Our proof combines a method introduced by A. Farina in 2003 with the $s$-harmonic extension of the fractional Laplacian in the half-space $\mathbb{R}^{3}_+$ introduced by L. Caffarelli and L. Silvestre in 2007. We also provide a representation formula for finite-energy weak solutions of a class of weighted elliptic partial differential equations in the half-space $\mathbb{R}^{n+1}_+$ under Neumann boundary conditions. This generalizes the $s$-harmonic extension of the fractional Laplacian and allows us to relate a general problem in the extended space with a nonlocal problem on the trace. △ Less

Submitted 8 March, 2025; originally announced March 2025.

Minimum cost flow decomposition on arc-coloured networks

Authors: Claudio Carvalho Neto, Ana Karolinna Maia, Cláudia Linhares Sales, Jonas Costa Ferreira da Silva

Abstract: A network $\mathcal{N}$ is formed by a (multi)digraph $D$ together with a \emph{capacity function} $u : A(D) \to R_+$, and it is denoted by $\mathcal{N} = (D,u)$. A flow on $\mathcal{N}$ is a function $x: A(D) \to R_+$ such that $x(a) \leq u(a)$ for all $a \in A(D)$, and it is said to be $k$-splittable if it can be decomposed into up to $k$ paths. We say that a flow is $λ$-uniform if its value on… ▽ More A network $\mathcal{N}$ is formed by a (multi)digraph $D$ together with a \emph{capacity function} $u : A(D) \to R_+$, and it is denoted by $\mathcal{N} = (D,u)$. A flow on $\mathcal{N}$ is a function $x: A(D) \to R_+$ such that $x(a) \leq u(a)$ for all $a \in A(D)$, and it is said to be $k$-splittable if it can be decomposed into up to $k$ paths. We say that a flow is $λ$-uniform if its value on each arc of the network with positive flow value is exactly $λ$, for some $λ\in R_+^*$. Arc-coloured networks are used to model qualitative differences among different regions through which the flow will be sent. They have applications in several areas such as communication networks, multimodal transportation, molecular biology, packing etc. We consider the problem of decomposing a flow over an arc-coloured network with minimum cost, that is, with minimum sum of the cost of its paths, where the cost of each path is given by its number of colours. We show that this problem is NP-Hard for general flows. When we restrict the problem to $λ$-uniform flows, we show that it can be solved in polynomial time for networks with at most two colours, and it is NP-Hard for general networks with three colours and for acyclic networks with at least five colours. △ Less

Submitted 7 March, 2025; originally announced March 2025.

Comments: 20 pages, 10 figures

Beam test result and digitization of TaichuPix-3: A Monolithic Active Pixel Sensors for CEPC vertex detector

Authors: Hancen Lu, Tianyuan Zhang, Chang Xu, Shuqi Li, Xinhui Huang, Jia Zhou, Ziyue Yan, Wei Wang, Hao Zeng, Xuewei Jia, Yiming Hu, Xiaoxu Zhang, Zhijun Liang, Wei Wei, Ying Zhang, Xiaomin Wei, Tianya Wu, Lei Zhang, Ming Qi, Jun Hu, Jinyu Fu, Hongyu Zhang, Gang Li, Linghui Wu, Mingyi Dong , et al. (9 additional authors not shown)

Abstract: The Circular Electron-Positron Collider (CEPC), as the next-generation electron-positron collider, is tasked with advancing not only Higgs physics but also the discovery of new physics. Achieving these goals requires high-precision measurements of particles. Taichu seires, Monolithic Active Pixel Sensor (MAPS), a key component of the vertex detector for CEPC was designed to meet the CEPC's require… ▽ More The Circular Electron-Positron Collider (CEPC), as the next-generation electron-positron collider, is tasked with advancing not only Higgs physics but also the discovery of new physics. Achieving these goals requires high-precision measurements of particles. Taichu seires, Monolithic Active Pixel Sensor (MAPS), a key component of the vertex detector for CEPC was designed to meet the CEPC's requirements. For the geometry of vertex detector is long barrel with no endcap, and current silicon lacks a complete digitization model, precise estimation of cluster size particularly causing by particle with large incident angle is needed. Testbeam results were conducted at the Beijing Synchrotron Radiation Facility (BSRF) to evaluate cluster size dependence on different incident angles and threshold settings. Experimental results confirmed that cluster size increases with incident angle. Simulations using the Allpix$^2$ framework replicated experimental trends at small angles but exhibited discrepancies at large angles, suggesting limitations in linear electric field assumptions and sensor thickness approximations. The results from both testbeam and simulations have provided insights into the performance of the TaichuPix chip at large incident angles, offering a crucial foundation for the establishment of a digital model and addressing the estimation of cluster size in the forward region of the long barrel. Furthermore, it offers valuable references for future iterations of TaichuPix, the development of digital models, and the simulation and estimation of the vertex detector's performance. △ Less

Submitted 10 March, 2025; v1 submitted 7 March, 2025; originally announced March 2025.

Potential of Ka-band Range Rate Post-fit Residuals for High-frequency Mass Change Applications

Authors: Michal Cuadrat-Grzybowski, Joao G. Teixeira da Encarnacao, Pieter N. A. M. Visser

Abstract: We present the first extensive analysis of K/Ka-band ranging post-fit residuals of an official Level-2 product, characterised as Line-of-Sight Gravity Differences (LGD), which exhibit and showcase interesting sub-monthly geophysical signals. These residuals, provided by CSR, were derived from the difference between spherical harmonic coefficient least-squares fits and reduced Level-1B range-rate o… ▽ More We present the first extensive analysis of K/Ka-band ranging post-fit residuals of an official Level-2 product, characterised as Line-of-Sight Gravity Differences (LGD), which exhibit and showcase interesting sub-monthly geophysical signals. These residuals, provided by CSR, were derived from the difference between spherical harmonic coefficient least-squares fits and reduced Level-1B range-rate observations. We classified the geophysical signals into four distinct categories: oceanic, meteorological, hydrological, and solid Earth, focusing primarily on the first three categories in this study. In our examination of oceanic processes, we identified notable mass anomalies in the Argentine basin, specifically within the Zapiola Rise, where persistent remnants of the rotating dipole-like modes are evident in the LGD post-fit residuals. Our analysis extended to the Gulf of Carpentaria and Australia during the 2013 Oswald cyclone, revealing significant LGD residual anomalies that correlate with cyclone tracking and precipitation data. Additionally, we investigated the monsoon seasons in Bangladesh, particularly from June to September 2007, where we observed peaks in sub-monthly variability. These findings were further validated by demonstrating high spatial and temporal correlations between gridded LGD residuals and ITSG-Grace2018 daily solutions. Given that these anomalies are associated with significant mass change phenomena, it is essential to integrate the post-fit residuals into a high-frequency mass change framework, with the purpose of providing enhanced spatial resolution compared to conventional Kalman-filtered methods. △ Less

Submitted 6 March, 2025; originally announced March 2025.

Comments: To be later submitted to JGR: Solid Earth (AGU) later in March 2025

Regularity estimates to quasi-linear parabolic equations in non-divergence form with non-homogeneous signature

Authors: Junior da Silva Bessa, João Vitor da Silva, Ginaldo de Santana Sá

Abstract: In this manuscript, we establish the existence and sharp geometric regularity estimates for bounded solutions of a class of quasilinear parabolic equations in non-divergence form with non-homogeneous degeneracy. The model equation in this class is given by \[ \partial_{t} u = \left(|\nabla u|^{\mathfrak{p}} + \mathfrak{a}(x, t)|\nabla u|^{\mathfrak{q}}\right)Δ_{p}^{\mathrm{N}} u + f(x, t) \quad \t… ▽ More In this manuscript, we establish the existence and sharp geometric regularity estimates for bounded solutions of a class of quasilinear parabolic equations in non-divergence form with non-homogeneous degeneracy. The model equation in this class is given by \[ \partial_{t} u = \left(|\nabla u|^{\mathfrak{p}} + \mathfrak{a}(x, t)|\nabla u|^{\mathfrak{q}}\right)Δ_{p}^{\mathrm{N}} u + f(x, t) \quad \text{in} \quad Q_1 = B_1 \times (-1, 0], \] where $p \in (1, \infty)$, $\mathfrak{p}, \mathfrak{q} \in [0, \infty)$, and $\mathfrak{a}, f: Q_1 \to \mathbb{R}$ are suitably defined functions. Our approach is based on geometric tangential methods, incorporating a refined oscillation mechanism, compactness arguments, ``alternative methods,'' and scaling techniques. Furthermore, we derive pointwise estimates in settings exhibiting singular-degenerate or doubly singular signatures. To some extent, our regularity estimates refine and extend previous results from \cite{FZ23} through distinct methodological advancements. Finally, we explore connections between our findings and fundamental nonlinear models in the theory of quasilinear PDEs, which may be of independent interest. △ Less

Submitted 5 March, 2025; originally announced March 2025.

Foundational aspects of spinor structures and exotic spinors

Authors: J. M. Hoff da Silva

Abstract: Spinors are mathematical objects susceptible to the spacetime characteristics upon which they are defined. Not all spacetimes admit spinor structure; when it does, it may have more than one spinor structure, depending on topological properties. When more than one nonequivalent spinor structure is allowed in a given spacetime, the spinors resulting from the extra structures are called exotic. In th… ▽ More Spinors are mathematical objects susceptible to the spacetime characteristics upon which they are defined. Not all spacetimes admit spinor structure; when it does, it may have more than one spinor structure, depending on topological properties. When more than one nonequivalent spinor structure is allowed in a given spacetime, the spinors resulting from the extra structures are called exotic. In this review, we revisit the topological conditions driving the discussion about the spacetime characteristics leading to the existence and (non)uniqueness of spinor structures in a relatively comprehensive manner, accounting for step-to-step demonstrations. In the sequel, we delve into the topologically corrected Dirac operator, explicitly obtaining it and exploring the physical consequences encoded in the exotic spinor dynamics. Finally, we overview early and recent achievements in the area, pointing out possible directions within this research program. △ Less

Submitted 21 February, 2025; originally announced February 2025.

Comments: 25 pages, 1 figure

The SPIRou Legacy Survey: near-infrared and optical radial velocity analysis of Gl 480 and Gl 382 using SPIRou, HARPS and CARMENES spectrographs

Authors: M. Ould-Elhkim, C. Moutou, J-F. Donati, É. Artigau, C. Cadieux, E. Martioli, T. Forveille, J. Gomes da Silva, R. Cloutier, A. Carmona, P. Fouqué, P. Charpentier, P. Larue, N. J. Cook, X. Delfosse, R. Doyon

Abstract: Context: Advancements in the field of exoplanetary research have extended radial velocity (RV) observations from the optical to the near-infrared (nIR) domain. M dwarf stars, characterized by their lower masses and higher prevalence of rocky planets, have become a focal point of investigation. This study uses data from the near-infrared spectropolarimeter SPIRou and data available in the literatur… ▽ More Context: Advancements in the field of exoplanetary research have extended radial velocity (RV) observations from the optical to the near-infrared (nIR) domain. M dwarf stars, characterized by their lower masses and higher prevalence of rocky planets, have become a focal point of investigation. This study uses data from the near-infrared spectropolarimeter SPIRou and data available in the literature from the HARPS and CARMENES spectrographs operating in the optical to analyze RVs of two nearby M dwarfs, Gl 480 and Gl 382. Aims: This work aims to detect and characterize exoplanetary companions around Gl 480 and Gl 382 by mitigating stellar activity effects through advanced data analysis techniques. The study seeks to improve the reliability of RV signals by integrating multi-wavelength observations and stellar activity diagnostics. Methods: The study employs a comprehensive approach that combines the line-by-line (LBL) framework with the Wapiti (Weighted principAl comPonent analysIs reconsTructIon) method to correct for systematics in SPIRou data. Through an extensive analysis of available stellar activity indicators and by combining optical data from the HARPS and CARMENES instruments, we perform a joint analysis of RV measurements in both the nIR and optical domains. Results: Our analysis confirms the detection of a planet orbiting Gl 480 with a period of $9.5537 \pm 0.0005$ d and a minimum mass of $8.8 \pm 0.7$ M$_\oplus$. Additionally, we detect a tentative signal at 6.4 d, whose significance depends strongly on the choice of Gaussian Process priors constrained by stellar activity indicators and would require further observations for confirmation. In contrast, no planetary signals are detected for Gl 382, where RV variations are dominated by stellar activity. △ Less

Submitted 12 February, 2025; v1 submitted 10 February, 2025; originally announced February 2025.

Journal ref: A&A 696, A152 (2025)

Sharp regularity estimates for quasi-linear elliptic dead core problems and applications

Authors: João Vítor da Silva, Ariel Salort

Abstract: In this manuscript we study geometric regularity estimates for quasi-linear elliptic equations of $p$-Laplace type ($1 < p< \infty$) with strong absorption condition: $$ -\text{div}\,(Φ(x, u, \nabla u)) + λ_0(x) u_{+}^q(x) = 0 \quad \text{in} \quad Ω\subset \mathbb{R}^N, $$ where $Φ: Ω\times \mathbb{R}_{+} \times \mathbb{R}^N \to \mathbb{R}^N$ is a vector field with an appropriate $p$-structure,… ▽ More In this manuscript we study geometric regularity estimates for quasi-linear elliptic equations of $p$-Laplace type ($1 < p< \infty$) with strong absorption condition: $$ -\text{div}\,(Φ(x, u, \nabla u)) + λ_0(x) u_{+}^q(x) = 0 \quad \text{in} \quad Ω\subset \mathbb{R}^N, $$ where $Φ: Ω\times \mathbb{R}_{+} \times \mathbb{R}^N \to \mathbb{R}^N$ is a vector field with an appropriate $p$-structure, $λ_0$ is a non-negative and bounded function and $0\leq q<p-1$. Such a model is mathematically relevant because permits existence of solutions with dead core zones, i.e, \textit{a priori} unknown regions where non-negative solutions vanish identically. We establish sharp and improved $C^γ$ regularity estimates along free boundary points, namely $\mathfrak{F}_0(u, Ω) = \partial \{u>0\} \cap Ω$, where the regularity exponent is given explicitly by $γ= \frac{p}{p-1-q} \gg 1$. Some weak geometric and measure theoretical properties as non-degeneracy, uniform positive density and porosity of free boundary are proved. As an application, a Liouville-type result for entire solutions is established provided that their growth at infinity can be controlled in an appropriate manner. Finally, we obtain finiteness of $(N-1)$-Hausdorff measure of free boundary for a particular class of dead core problems. The approach employed in this article is novel even to dead core problems governed by the $p$-Laplace operator $-Δ_p u + λ_0 u^qχ_{\{u>0\}} = 0$ for any $λ_0>0$. \newline \newline \noindent \textbf{Keywords:} Quasi-linear elliptic operators of $p$-Laplace type, improved regularity estimates, Free boundary problems of dead core type, Liouville type results, Hausdorff measure estimates. △ Less

Submitted 22 January, 2025; originally announced January 2025.

Comments: article published in Calculus of Variations and Partial Differential Equations , 2018

Regularity properties for $p-$dead core problems and their asymptotic limit as $p \to \infty$

Authors: João Vítor da Silva, Julio Rossi, Ariel Salort

Abstract: We study regularity issues and the limiting behavior as $p\to\infty$ of nonnegative solutions for elliptic equations of $p-$Laplacian type ($2 \leq p< \infty$) with a strong absorption: $$ -Δ_p u(x) + λ_0(x) u_{+}^q(x) = 0 \quad \text{ in } \quad Ω\subset \mathbb{R}^N, $$ where $λ_0>0$ is a bounded function, $Ω$ is a bounded domain and $0\leq q<p-1$. When $p$ is fixed, such a model is mathematic… ▽ More We study regularity issues and the limiting behavior as $p\to\infty$ of nonnegative solutions for elliptic equations of $p-$Laplacian type ($2 \leq p< \infty$) with a strong absorption: $$ -Δ_p u(x) + λ_0(x) u_{+}^q(x) = 0 \quad \text{ in } \quad Ω\subset \mathbb{R}^N, $$ where $λ_0>0$ is a bounded function, $Ω$ is a bounded domain and $0\leq q<p-1$. When $p$ is fixed, such a model is mathematically interesting since it permits the formation of dead core zones, i.e, a priori unknown regions where non-negative solutions vanish identically. First, we turn our attention to establishing sharp quantitative regularity properties for $p-$dead core solutions. Afterwards, assuming that $\ell \:=\lim_{p \to \infty} q(p)/p \in [0, 1)$ exists, we establish existence for limit solutions as $p\to \infty$, as well as we characterize the corresponding limit operator governing the limit problem. We also establish sharp $C^γ$ regularity estimates for limit solutions along free boundary points, that is, points on $ \partial \{u>0\} \cap Ω$ where the sharp regularity exponent is given explicitly by $γ= \frac{1}{1-\ell}$. Finally, some weak geometric and measure theoretical properties as non-degeneracy, uniform positive density, porosity and convergence of the free boundaries are proved. △ Less

Submitted 22 January, 2025; originally announced January 2025.

Comments: article accepted in Journal of the London Mathematical Society , 2019. arXiv admin note: substantial text overlap with arXiv:1712.06683

An analysis of the entire functions associated with the operator of the KdV equation

Authors: Roberto de A. Capistrano Filho, Hugo Parada, Jandeilson Santos da Silva

Abstract: It is well known that the controllability property of partial differential equations (PDEs) is closely linked to the proof of an observability inequality for the adjoint system, which, sometimes, involves analyzing a spectral problem associated with the PDE under consideration. In this work, we study a series of spectral issues that ensure the controllability of the renowned Korteweg-de Vries equa… ▽ More It is well known that the controllability property of partial differential equations (PDEs) is closely linked to the proof of an observability inequality for the adjoint system, which, sometimes, involves analyzing a spectral problem associated with the PDE under consideration. In this work, we study a series of spectral issues that ensure the controllability of the renowned Korteweg-de Vries equation on star-graph. This investigation reduces to determining when certain functions, associated with this spectral problem, are entire. The novelty here lies in presenting this detailed analysis in the context of a star graph structure. △ Less

Submitted 21 January, 2025; originally announced January 2025.

Comments: 41 pp. Comments are welcome

Revisiting Split Covariance Intersection: Correlated Components and Optimality

Authors: Colin Cros, Pierre-Olivier Amblard, Christophe Prieur, Jean-François Da Rocha

Abstract: Linear fusion is a cornerstone of estimation theory. Implementing optimal linear fusion requires knowledge of the covariance of the vector of errors associated with all the estimators. In distributed or cooperative systems, the cross-covariance terms cannot be computed, and to avoid underestimating the estimation error, conservative fusions must be performed. A conservative fusion provides a fused… ▽ More Linear fusion is a cornerstone of estimation theory. Implementing optimal linear fusion requires knowledge of the covariance of the vector of errors associated with all the estimators. In distributed or cooperative systems, the cross-covariance terms cannot be computed, and to avoid underestimating the estimation error, conservative fusions must be performed. A conservative fusion provides a fused estimator with a covariance bound that is guaranteed to be larger than the true, but computationally intractable, covariance of the error. Previous research by Reinhardt \textit{et al.} proved that, if no additional assumption is made about the errors of the estimators, the minimal bound for fusing two estimators is given by a fusion called Covariance Intersection (CI). In distributed systems, the estimation errors contain independent and correlated terms induced by the measurement noises and the process noise. In this case, CI is no longer the optimal method. Split Covariance Intersection (SCI) has been developed to take advantage of the uncorrelated components. This paper extends SCI to also take advantage of the correlated components. Then, it is proved that the new fusion provides the optimal conservative fusion bounds for two estimators, generalizing the optimality of CI to a wider class of fusion schemes. The benefits of this extension are demonstrated in simulations. △ Less

Submitted 14 January, 2025; originally announced January 2025.

Comments: IEEE Transactions on Automatic Control, In press

Uncertainty Guarantees on Automated Precision Weeding using Conformal Prediction

Authors: Paul Melki, Lionel Bombrun, Boubacar Diallo, Jérôme Dias, Jean-Pierre da Costa

Abstract: Precision agriculture in general, and precision weeding in particular, have greatly benefited from the major advancements in deep learning and computer vision. A large variety of commercial robotic solutions are already available and deployed. However, the adoption by farmers of such solutions is still low for many reasons, an important one being the lack of trust in these systems. This is in grea… ▽ More Precision agriculture in general, and precision weeding in particular, have greatly benefited from the major advancements in deep learning and computer vision. A large variety of commercial robotic solutions are already available and deployed. However, the adoption by farmers of such solutions is still low for many reasons, an important one being the lack of trust in these systems. This is in great part due to the opaqueness and complexity of deep neural networks and the manufacturers' inability to provide valid guarantees on their performance. Conformal prediction, a well-established methodology in the machine learning community, is an efficient and reliable strategy for providing trustworthy guarantees on the predictions of any black-box model under very minimal constraints. Bridging the gap between the safe machine learning and precision agriculture communities, this article showcases conformal prediction in action on the task of precision weeding through deep learning-based image classification. After a detailed presentation of the conformal prediction methodology and the development of a precision spraying pipeline based on a ''conformalized'' neural network and well-defined spraying decision rules, the article evaluates this pipeline on two real-world scenarios: one under in-distribution conditions, the other reflecting a near out-of-distribution setting. The results show that we are able to provide formal, i.e. certifiable, guarantees on spraying at least 90% of the weeds. △ Less

Submitted 13 January, 2025; originally announced January 2025.

Evaluating the Efficacy of Vectocardiographic and ECG Parameters for Efficient Tertiary Cardiology Care Allocation Using Decision Tree Analysis

Authors: Lucas José da Costa, Vinicius Ruiz Uemoto, Mariana F. N. de Marchi, Renato de Aguiar Hortegal, Renata Valeri de Freitas

Abstract: Use real word data to evaluate the performance of the electrocardiographic markers of GEH as features in a machine learning model with Standard ECG features and Risk Factors in Predicting Outcome of patients in a population referred to a tertiary cardiology hospital. Patients forwarded to specific evaluation in a cardiology specialized hospital performed an ECG and a risk factor anamnesis. A ser… ▽ More Use real word data to evaluate the performance of the electrocardiographic markers of GEH as features in a machine learning model with Standard ECG features and Risk Factors in Predicting Outcome of patients in a population referred to a tertiary cardiology hospital. Patients forwarded to specific evaluation in a cardiology specialized hospital performed an ECG and a risk factor anamnesis. A series of follow up attendances occurred in periods of 6 months, 12 months and 15 months to check for cardiovascular related events (mortality or new nonfatal cardiovascular events (Stroke, MI, PCI, CS), as identified during 1-year phone follow-ups. The first attendance ECG was measured by a specialist and processed in order to obtain the global electric heterogeneity (GEH) using the Kors Matriz. The ECG measurements, GEH parameters and risk factors were combined for training multiple instances of XGBoost decision trees models. Each instance were optmized for the AUCPR and the instance with higher AUC is chosen as representative to the model. The importance of each parameter for the winner tree model was compared to better understand the improvement from using GEH parameters. The GEH parameters turned out to have statistical significance for this population specially the QRST angle and the SVG. The combined model with the tree parameters class had the best performance. The findings suggest that using VCG features can facilitate more accurate identification of patients who require tertiary care, thereby optimizing resource allocation and improving patient outcomes. Moreover, the decision tree model's transparency and ability to pinpoint critical features make it a valuable tool for clinical decision-making and align well with existing clinical practices. △ Less

Submitted 16 December, 2024; originally announced December 2024.

Divisibility of the Multiplicative Order Modulo Monic Irreducible Polynomials Over Finite Fields

Authors: Joaquim Cera Da Conceição

Abstract: We consider the set of monic irreducible polynomials $P$ over a finite field $\mathbb{F}_q$ such that the multiplicative order modulo $P$ of some a in $\mathbb{F}_q(T)$ is divisible by a fixed positive integer $d$. Call $R_q(a,d)$ this set. We show the existence or non-existence of the density of $R_q(a,d)$ for three distinct notions of density. In particular, the sets $R_q(a,d)$ have a Dirichlet… ▽ More We consider the set of monic irreducible polynomials $P$ over a finite field $\mathbb{F}_q$ such that the multiplicative order modulo $P$ of some a in $\mathbb{F}_q(T)$ is divisible by a fixed positive integer $d$. Call $R_q(a,d)$ this set. We show the existence or non-existence of the density of $R_q(a,d)$ for three distinct notions of density. In particular, the sets $R_q(a,d)$ have a Dirichlet density. Under some assumptions, we prove simple formulas for the density values. △ Less

Submitted 28 May, 2025; v1 submitted 12 December, 2024; originally announced December 2024.

Comments: 16 pages

MSC Class: 11R44; 11T06; 11N37; 11R58

Enlargement of symmetry groups in physics: a practitioner's guide

Authors: Lehel Csillag, Julio Marny Hoff da Silva, Tudor Patuleanu

Abstract: Wigner's classification has led to the insight that projective unitary representations play a prominent role in quantum mechanics. The physics literature often states that the theory of projective unitary representations can be reduced to the theory of ordinary unitary representations by enlarging the group of physical symmetries. Nevertheless, the enlargement process is not always described expli… ▽ More Wigner's classification has led to the insight that projective unitary representations play a prominent role in quantum mechanics. The physics literature often states that the theory of projective unitary representations can be reduced to the theory of ordinary unitary representations by enlarging the group of physical symmetries. Nevertheless, the enlargement process is not always described explicitly: it is unclear in which cases the enlargement has to be done to the universal cover, a central extension, or to a central extension of the universal cover. On the other hand, in the mathematical literature, projective unitary representations were extensively studied, and famous theorems such as the theorems of Bargmann and Cassinelli have been achieved. The present article bridges the two: we provide a precise, step-by-step guide on describing projective unitary representations as unitary representations of the enlarged group. Particular focus is paid to the difference between algebraic and topological obstructions. To build the bridge mentioned above, we present a detailed review of the difference between group cohomology and Lie group cohomology. This culminates in classifying Lie group central extensions by smooth cocycles around the identity. Finally, the take-away message is a hands-on algorithm that takes the symmetry group of a given quantum theory as input and provides the enlarged group as output. This algorithm is applied to several cases of physical interest. We also briefly outline a generalization of Bargmann's theory to time-dependent phases using Hilbert bundles. △ Less

Submitted 5 December, 2024; originally announced December 2024.

Comments: 16 pages, 1 figure

Journal ref: Universe 2024, 10(12)

State Anxiety Biomarker Discovery: Electrooculography and Electrodermal Activity in Stress Monitoring

Authors: Jadelynn Dao, Ruixiao Liu, Sarah Solomon, Samuel Solomon

Abstract: Anxiety has become a significant health concern affecting mental and physical well-being, with state anxiety, a transient emotional response, linked to adverse cardiovascular and long-term health outcomes. This research explores the potential of non-invasive wearable technology to enhance the real-time monitoring of physiological responses associated with state anxiety. Using electrooculography (E… ▽ More Anxiety has become a significant health concern affecting mental and physical well-being, with state anxiety, a transient emotional response, linked to adverse cardiovascular and long-term health outcomes. This research explores the potential of non-invasive wearable technology to enhance the real-time monitoring of physiological responses associated with state anxiety. Using electrooculography (EOG) and electrodermal activity (EDA), we have reviewed novel biomarkers that reveal nuanced emotional and stress responses. Our study presents two datasets: 1) EOG signal blink identification dataset BLINKEO, containing both true blink events and motion artifacts, and 2) EOG and EDA signals dataset EMOCOLD, capturing physiological responses from a Cold Pressor Test (CPT). From analyzing blink rate variability, skin conductance peaks, and associated arousal metrics, we identified multiple new anxiety-specific biomarkers. SHapley Additive exPlanations (SHAP) were used to interpret and refine our model, enabling a robust understanding of the biomarkers that correlate strongly with state anxiety. These results suggest that a combined analysis of EOG and EDA data offers significant improvements in detecting real-time anxiety markers, underscoring the potential of wearables in personalized health monitoring and mental health intervention strategies. This work contributes to the development of context-sensitive models for anxiety assessment, promoting more effective applications of wearable technology in healthcare. △ Less

Submitted 26 November, 2024; originally announced November 2024.

Adaptive Client Selection with Personalization for Communication Efficient Federated Learning

Authors: Allan M. de Souza, Filipe Maciel, Joahannes B. D. da Costa, Luiz F. Bittencourt, Eduardo Cerqueira, Antonio A. F. Loureiro, Leandro A. Villas

Abstract: Federated Learning (FL) is a distributed approach to collaboratively training machine learning models. FL requires a high level of communication between the devices and a central server, thus imposing several challenges, including communication bottlenecks and network scalability. This article introduces ACSP-FL (https://github.com/AllanMSouza/ACSP-FL), a solution to reduce the overall communicati… ▽ More Federated Learning (FL) is a distributed approach to collaboratively training machine learning models. FL requires a high level of communication between the devices and a central server, thus imposing several challenges, including communication bottlenecks and network scalability. This article introduces ACSP-FL (https://github.com/AllanMSouza/ACSP-FL), a solution to reduce the overall communication and computation costs for training a model in FL environments. ACSP-FL employs a client selection strategy that dynamically adapts the number of devices training the model and the number of rounds required to achieve convergence. Moreover, ACSP-FL enables model personalization to improve clients performance. A use case based on human activity recognition datasets aims to show the impact and benefits of ACSP-FL when compared to state-of-the-art approaches. Experimental evaluations show that ACSP-FL minimizes the overall communication and computation overheads to train a model and converges the system efficiently. In particular, ACSP-FL reduces communication up to 95% compared to literature approaches while providing good convergence even in scenarios where data is distributed differently, non-independent and identical way between client devices. △ Less

Submitted 26 November, 2024; originally announced November 2024.

DiscoTEX 1.0: Discontinuous collocation and implicit-turned-explicit (IMTEX) integration symplectic, symmetric numerical algorithms with high order jumps for differential equations II: extension to higher-orders of numerical convergence

Authors: Lidia J. Gomes Da Silva

Abstract: \texttt{DiscoTEX} is a highly accurate numerical algorithm for computing numerical weak-form solutions to distributionally sourced partial differential equations (PDE)s. The aim of this second paper, succeeding \cite{da2024discotex}, is to present its extension up to twelve orders. This will be demonstrated by computing numerical weak-form solutions to the distributionally sourced wave equation an… ▽ More \texttt{DiscoTEX} is a highly accurate numerical algorithm for computing numerical weak-form solutions to distributionally sourced partial differential equations (PDE)s. The aim of this second paper, succeeding \cite{da2024discotex}, is to present its extension up to twelve orders. This will be demonstrated by computing numerical weak-form solutions to the distributionally sourced wave equation and comparing it to its exact solutions. The full details of the numerical scheme at higher orders will be presented. △ Less

Submitted 21 November, 2024; originally announced November 2024.

Comments: 15 pages, 5 figures, 2 tables. Second paper of a series of papers. See gr.qc:2401.08758 for application of these algorithms to numerical black hole perturbation theory. Comments welcomed. arXiv admin note: text overlap with arXiv:2401.08758

Gl 725A b: a potential super-Earth detected with SOPHIE and SPIRou in an M dwarf binary system at 3.5 pc

Authors: P. Cortes-Zuleta, I. Boisse, M. Ould-Elhkim, T. G. Wilson, P. Larue, A. Carmona, X. Delfosse, J. -F. Donati, T. Forveille, C. Moutou, A. Collier Cameron, E. Artigau, L. Acuña, L. Altinier, N. Astudillo-Defru, C. Baruteau, X. Bonfils, S. Cabrit, C. Cadieux, N. J. Cook, E. Decocq, R. F. Diaz, P. Fouque, J. Gomes da Silva, K. Grankin , et al. (12 additional authors not shown)

Abstract: We report the discovery of a super-Earth candidate orbiting the nearby mid M dwarf Gl\,725A using the radial velocity (RV) method. The planetary signal has been independently identified using high-precision RVs from the SOPHIE and SPIRou spectrographs, in the optical and near-infrared domains, respectively. We modelled the stellar activity signal jointly with the planet using two Gaussian Processe… ▽ More We report the discovery of a super-Earth candidate orbiting the nearby mid M dwarf Gl\,725A using the radial velocity (RV) method. The planetary signal has been independently identified using high-precision RVs from the SOPHIE and SPIRou spectrographs, in the optical and near-infrared domains, respectively. We modelled the stellar activity signal jointly with the planet using two Gaussian Processes, one for each instrument to account for the chromaticity of the stellar activity and instrumental systematics, along with a Keplerian model. The signal is significantly detected with a RV semi-amplitude of $1.67\pm0.20$ m/s. The planet Gl 725A b is found to be in an orbit compatible with circular with a period of $11.2201\pm0.0051$ days. We analysed 27 sectors of TESS photometry on which no transit event was found. We determined a minimum mass of $M_{p}\sin{i}=2.78\pm0.35\,M_{\oplus}$ which places the planet in the super-Earth regime. Using Mass-Radius relationships we predict a planetary radius to be between 1.2 and $2.0\,R_{\oplus}$. The proximity of Gl 725A, of only 3.5 pc, makes this new exoplanet one of the closest to Earth and joins the group of S-type low-mass planets in short orbits ($P<15$ d) around close M dwarfs. △ Less

Submitted 14 November, 2024; originally announced November 2024.

Comments: 26 pages, 17 figures. Accepted in A&A

Journal ref: A&A 693, A164 (2025)

Improved regularity estimates for Hardy-Hénon-type equations driven by the $\infty$-Laplacian

Authors: Elzon C. Bezerra Júnior, João Vitor da Silva, Thialita M. Nascimento, Ginaldo S. Sá

Abstract: In this work, we establish sharp and improved regularity estimates for viscosity solutions of Hardy-Hénon-type equations with possibly singular weights and strong absorption governed by the $\infty$-Laplacian $$ Δ_{\infty} u(x) = |x|^αu_+^m(x) \quad \text{in} \quad B_1, $$ under suitable assumptions on the data. In this setting, we derive an explicit regularity exponent that depends only on univ… ▽ More In this work, we establish sharp and improved regularity estimates for viscosity solutions of Hardy-Hénon-type equations with possibly singular weights and strong absorption governed by the $\infty$-Laplacian $$ Δ_{\infty} u(x) = |x|^αu_+^m(x) \quad \text{in} \quad B_1, $$ under suitable assumptions on the data. In this setting, we derive an explicit regularity exponent that depends only on universal parameters. Additionally, we prove non-degeneracy properties, providing further geometric insights into the nature of these solutions. Our regularity estimates not only improve but also extend, to some extent, the previously obtained results for zero-obstacle and dead-core problems driven by the $\infty$-Laplacian. As an application of our findings, we also address some Liouville-type results for this class of equations. △ Less

Submitted 25 October, 2024; originally announced October 2024.

MSC Class: 35B65; 35J60; 35J94

Sharp and improved regularity estimates for weighted quasilinear elliptic equations of $p-$Laplacian type and applications

Authors: João Vitor da Silva, Disson dos Prazeres, Gleydson Ricarte, Ginaldo Sá

Abstract: In this manuscript, we obtain sharp and improved regularity estimates for weak solutions of weighted quasilinear elliptic models of Hardy-Hénon-type, featuring an explicit regularity exponent depending only on universal parameters. Our approach is based on geometric tangential methods and uses a refined oscillation mechanism, compactness, and scaling techniques. In some specific scenarios, we esta… ▽ More In this manuscript, we obtain sharp and improved regularity estimates for weak solutions of weighted quasilinear elliptic models of Hardy-Hénon-type, featuring an explicit regularity exponent depending only on universal parameters. Our approach is based on geometric tangential methods and uses a refined oscillation mechanism, compactness, and scaling techniques. In some specific scenarios, we establish higher regularity estimates and non-degeneracy properties, providing further geometric insights into such solutions. Our regularity estimates both enhance and, to some extent, extend the results arising from the $C^{p^{\prime}}$ conjecture for the $p$-Laplacian with a bounded source term. As applications of our results, we address some Liouville-type results for our class of equations. Finally, our results are noteworthy, even in the simplest model case governed by the $p$-Laplacian with regular coefficients: $$ \mathrm{div}\left( |\nabla u|^{p-2}\mathfrak{A}(|x|) \nabla u\right) = |x|^αu_+^m(x) \quad \text{in} \quad B_1 $$ under suitable assumptions on the data, with possibly singular weight $\mathfrak{h}(|x|) = |x|^α$, which includes the Matukuma and Batt-Faltenbacher-Horst's equations as toy models. △ Less

Submitted 18 October, 2024; originally announced October 2024.

MSC Class: 35B65; 35J62

Primitive Divisors of Lucas Sequences in Polynomial Rings

Authors: Joaquim Cera Da Conceição

Abstract: It is known that all terms $U_n$ of a classical regular Lucas sequence have a primitive prime divisor if $n>30$. In addition, a complete description of all regular Lucas sequences and their terms $U_n$, $2\leq n\leq 30$, which do not have a primitive divisor is also known. Here, we prove comparable results for Lucas sequences in polynomial rings, correcting some previous theorem on the same subjec… ▽ More It is known that all terms $U_n$ of a classical regular Lucas sequence have a primitive prime divisor if $n>30$. In addition, a complete description of all regular Lucas sequences and their terms $U_n$, $2\leq n\leq 30$, which do not have a primitive divisor is also known. Here, we prove comparable results for Lucas sequences in polynomial rings, correcting some previous theorem on the same subject. The first part of our paper develops some elements of Lucas theory in several abstract settings before proving our main theorem in polynomial rings. △ Less

Submitted 13 March, 2025; v1 submitted 7 October, 2024; originally announced October 2024.

Comments: 11 pages

MSC Class: 11B39; 11C08; 13A05

Multinomial Catalan Numbers and Lucas Analogues

Authors: Joaquim Cera Da Conceição

Abstract: We define a new generalization of Catalan numbers to multinomial coefficients. With arithmetic methods, we study their integrality and the integrality of their Lucasnomial generalization. We give a complete characterization of regular Lucas sequences for which they yield integers up to finitely many cases. We define a new generalization of Catalan numbers to multinomial coefficients. With arithmetic methods, we study their integrality and the integrality of their Lucasnomial generalization. We give a complete characterization of regular Lucas sequences for which they yield integers up to finitely many cases. △ Less

Submitted 7 October, 2024; originally announced October 2024.

Comments: 29 pages

MSC Class: 05A10; 11B65; 11B39

Journal ref: J. Integer Sequences 26 (2023) Article 23.9.7

Cosmological eras with the neutrino non-relativistic transition in RTB gravity

Authors: Jonas Pinheiro da Silva, Hermano Velten

Abstract: Theories based on the Ricci and the trace of the energy-momentum tensor, or the short name Ricci-trace-based (RTB) theories, represent a gravitational approach based on the Ricci scalar $R$, and the trace of the energy-momentum tensor $g^{μν}T_{μν} = T$. This theory fits into gravitational models of the type $f(R, T) = R + f(T)$, where $f(T)$ is an arbitrary function of $T$. In this study, we expl… ▽ More Theories based on the Ricci and the trace of the energy-momentum tensor, or the short name Ricci-trace-based (RTB) theories, represent a gravitational approach based on the Ricci scalar $R$, and the trace of the energy-momentum tensor $g^{μν}T_{μν} = T$. This theory fits into gravitational models of the type $f(R, T) = R + f(T)$, where $f(T)$ is an arbitrary function of $T$. In this study, we explore a cosmological scenario within the context of RTB models, investigating in detail the cosmological consequences of the coupling between matter and geometry. In order to address this issue, we propose a toy model in which the non-relativistic cosmological neutrino transition plays a role in the cosmic evolution since the effective total energy-momentum tensor trace is affected in this process. We raise questions about the coupling of neutrinos with geometry during this transition, providing a detailed analysis of how RTB gravity deals with this phenomenon and the impact of neutrinos on cosmological dynamics. In summary, we show that the coupling of cosmological neutrinos with $T$ dependent cosmologies is severely challenged. △ Less

Submitted 22 September, 2024; originally announced September 2024.

Deformations in spinor bundles: Lorentz violation and further physical implications

Authors: J. M. Hoff da Silva, R. T. Cavalcanti, G. M. Caires da Rocha

Abstract: This paper delves into the deformation of spinor structures within nontrivial topologies and their physical implications. The deformation is modeled by introducing real functions that modify the standard spinor dynamics, leading to distinct physical regions characterized by varying degrees of Lorentz symmetry violation. It allows us to investigate the effects in the dynamical equation and a geomet… ▽ More This paper delves into the deformation of spinor structures within nontrivial topologies and their physical implications. The deformation is modeled by introducing real functions that modify the standard spinor dynamics, leading to distinct physical regions characterized by varying degrees of Lorentz symmetry violation. It allows us to investigate the effects in the dynamical equation and a geometrized nonlinear sigma model. The findings suggest significant implications for the spinor fields in regions with nontrivial topologies, providing a robust mathematical approach to studying exotic spinor behavior. △ Less

Submitted 18 February, 2025; v1 submitted 17 September, 2024; originally announced September 2024.

Comments: 15 pages, no figures, accepted for publication in the Journal of Physics A: Mathematical and Theoretical

Quantum Multiplexer Simplification for State Preparation

Authors: José A. de Carvalho, Carlos A. Batista, Tiago M. L. de Veras, Israel F. Araujo, Adenilton J. da Silva

Abstract: The initialization of quantum states or Quantum State Preparation (QSP) is a basic subroutine in quantum algorithms. In the worst case, general QSP algorithms are expensive due to the application of multi-controlled gates required to build them. Here, we propose an algorithm that detects whether a given quantum state can be factored into substates, increasing the efficiency of compiling the QSP ci… ▽ More The initialization of quantum states or Quantum State Preparation (QSP) is a basic subroutine in quantum algorithms. In the worst case, general QSP algorithms are expensive due to the application of multi-controlled gates required to build them. Here, we propose an algorithm that detects whether a given quantum state can be factored into substates, increasing the efficiency of compiling the QSP circuit when we initialize states with some level of disentanglement. The simplification is done by eliminating controls of quantum multiplexers, significantly reducing circuit depth and the number of CNOT gates with a better execution and compilation time than the previous QSP algorithms. Considering efficiency in terms of depth and number of CNOT gates, our method is competitive with the methods in the literature. However, when it comes to run-time and compilation efficiency, our result is significantly better, and the experiments show that by increasing the number of qubits, the gap between the temporal efficiency of the methods increases. △ Less

Submitted 9 September, 2024; originally announced September 2024.

Unveiling the impact of organic cation passivation on structural and optoelectronic properties of two-dimensional perovskites thin films

Authors: Israel C. Ribeiro, Pedro Ivo R. Moraes, Albert F. B. Bittencourt, Juarez L. F. Da Silva

Abstract: Several organic cations have been used to passivate perovskite films; however, selecting the optimal cation remains challenging. In this work, we carried out density functional theory calculations to understand the effects induced by 17 different organic cations on the passivation (P-cations) of thin two-dimensional P2MAn-1PbnI3n+1 perovskites films, where n = 1 and 2. We found that the interactio… ▽ More Several organic cations have been used to passivate perovskite films; however, selecting the optimal cation remains challenging. In this work, we carried out density functional theory calculations to understand the effects induced by 17 different organic cations on the passivation (P-cations) of thin two-dimensional P2MAn-1PbnI3n+1 perovskites films, where n = 1 and 2. We found that the interactions between different types of P-cations and the inorganic slab affect the length and angles of the bonds within the inorganic framework (PbI6-octahedra). In general, the binding mechanism includes the interactions of organic cations with the inorganic framework, which leads to the accumulation of electron density within the halides, indicative of Bronsted--Lowry acid-base interactions. Oxygenated groups facilitate additional H-bond formation through -OH and -COOH groups, promoting the localization of the electron density between layers and improving the energetic stability of the system. Based on the results and analysis, we found that three P-cations might have higher potential for real-life applications, namely 4-fluorophenylethylammonium (FPEA), phenylethylammonium (PEA) and butylammonium (BtA). △ Less

Submitted 2 September, 2024; originally announced September 2024.

Comments: Keywords: Perovskites thin films; Organic cation passivation; MAPbI3-based layers; DFT; 2D materials

Journal ref: Applied Surface Science, 2024, 161098, ISSN 0169-4332

Assessing Python Style Guides: An Eye-Tracking Study with Novice Developers

Authors: Pablo Roberto, Rohit Gheyi, José Aldo Silva da Costa, Márcio Ribeiro

Abstract: The incorporation and adaptation of style guides play an essential role in software development, influencing code formatting, naming conventions, and structure to enhance readability and simplify maintenance. However, many of these guides often lack empirical studies to validate their recommendations. Previous studies have examined the impact of code styles on developer performance, concluding tha… ▽ More The incorporation and adaptation of style guides play an essential role in software development, influencing code formatting, naming conventions, and structure to enhance readability and simplify maintenance. However, many of these guides often lack empirical studies to validate their recommendations. Previous studies have examined the impact of code styles on developer performance, concluding that some styles have a negative impact on code readability. However, there is a need for more studies that assess other perspectives and the combination of these perspectives on a common basis through experiments. This study aimed to investigate, through eye-tracking, the impact of guidelines in style guides, with a special focus on the PEP8 guide in Python, recognized for its best practices. We conducted a controlled experiment with 32 Python novices, measuring time, the number of attempts, and visual effort through eye-tracking, using fixation duration, fixation count, and regression count for four PEP8 recommendations. Additionally, we conducted interviews to explore the subjects' difficulties and preferences with the programs. The results highlighted that not following the PEP8 Line Break after an Operator guideline increased the eye regression count by 70% in the code snippet where the standard should have been applied. Most subjects preferred the version that adhered to the PEP8 guideline, and some found the left-aligned organization of operators easier to understand. The other evaluated guidelines revealed other interesting nuances, such as the True Comparison, which negatively impacted eye metrics for the PEP8 standard, although subjects preferred the PEP8 suggestion. We recommend practitioners selecting guidelines supported by experimental evaluations. △ Less

Submitted 26 August, 2024; originally announced August 2024.

Spectral properties, localization transition and multifractal eigenvectors of the Laplacian on heterogeneous networks

Authors: Jeferson D. da Silva, Diego Tapias, Peter Sollich, Fernando L. Metz

Abstract: We study the spectral properties and eigenvector statistics of the Laplacian on highly-connected networks with random coupling strengths and a gamma distribution of rescaled degrees. The spectral density, the distribution of the local density of states, the singularity spectrum and the multifractal exponents of this model exhibit a rich behaviour as a function of the first two moments of the coupl… ▽ More We study the spectral properties and eigenvector statistics of the Laplacian on highly-connected networks with random coupling strengths and a gamma distribution of rescaled degrees. The spectral density, the distribution of the local density of states, the singularity spectrum and the multifractal exponents of this model exhibit a rich behaviour as a function of the first two moments of the coupling strengths and the variance of the rescaled degrees. In the case of random coupling strengths, the spectral density diverges within the bulk of the spectrum when degree fluctuations are strong enough. The emergence of this singular behaviour marks a transition from non-ergodic delocalized states to localized eigenvectors that exhibit pronounced multifractal scaling. For constant coupling strengths, the bulk of the spectrum is characterized by a regular spectral density. In this case, the corresponding eigenvectors display localization properties reminiscent of the critical point of the Anderson localization transition on random graphs. △ Less

Submitted 11 December, 2024; v1 submitted 23 August, 2024; originally announced August 2024.

Comments: 34 pages, 9 figures

Journal ref: SciPost Phys. 18, 047 (2025)

The AI Risk Repository: A Comprehensive Meta-Review, Database, and Taxonomy of Risks From Artificial Intelligence

Authors: Peter Slattery, Alexander K. Saeri, Emily A. C. Grundy, Jess Graham, Michael Noetel, Risto Uuk, James Dao, Soroush Pour, Stephen Casper, Neil Thompson

Abstract: The risks posed by Artificial Intelligence (AI) are of considerable concern to academics, auditors, policymakers, AI companies, and the public. However, a lack of shared understanding of AI risks can impede our ability to comprehensively discuss, research, and react to them. This paper addresses this gap by creating an AI Risk Repository to serve as a common frame of reference. This comprises a li… ▽ More The risks posed by Artificial Intelligence (AI) are of considerable concern to academics, auditors, policymakers, AI companies, and the public. However, a lack of shared understanding of AI risks can impede our ability to comprehensively discuss, research, and react to them. This paper addresses this gap by creating an AI Risk Repository to serve as a common frame of reference. This comprises a living database of 777 risks extracted from 43 taxonomies, which can be filtered based on two overarching taxonomies and easily accessed, modified, and updated via our website and online spreadsheets. We construct our Repository with a systematic review of taxonomies and other structured classifications of AI risk followed by an expert consultation. We develop our taxonomies of AI risk using a best-fit framework synthesis. Our high-level Causal Taxonomy of AI Risks classifies each risk by its causal factors (1) Entity: Human, AI; (2) Intentionality: Intentional, Unintentional; and (3) Timing: Pre-deployment; Post-deployment. Our mid-level Domain Taxonomy of AI Risks classifies risks into seven AI risk domains: (1) Discrimination & toxicity, (2) Privacy & security, (3) Misinformation, (4) Malicious actors & misuse, (5) Human-computer interaction, (6) Socioeconomic & environmental, and (7) AI system safety, failures, & limitations. These are further divided into 23 subdomains. The AI Risk Repository is, to our knowledge, the first attempt to rigorously curate, analyze, and extract AI risk frameworks into a publicly accessible, comprehensive, extensible, and categorized risk database. This creates a foundation for a more coordinated, coherent, and complete approach to defining, auditing, and managing the risks posed by AI systems. △ Less

Submitted 10 April, 2025; v1 submitted 14 August, 2024; originally announced August 2024.

ACM Class: I.2.0; K.4.1; K.4.1; K.4.2; K.4.3; K.6.0

Role of the Adsorption of Alkali Cations on Ultrathin $n$-Layers of Two-dimensional Perovskites

Authors: Israel C. Ribeiro, Pedro Ivo R. Moraes, Albert F. B. Bittencourt, Juarez L. F. Da Silva

Abstract: Metal-halide semiconductors have great potential for real-life photovoltaic applications; however, surface defects induce several challenges to the thermodynamic stability. Here, we employed density functional theory calculations within van der Waals corrections (D3) to investigate the role of monovalent cations (Li, Na, K, Rb and Cs) in the passivation of 2D perovskite ultrathin films. Metal-halide semiconductors have great potential for real-life photovoltaic applications; however, surface defects induce several challenges to the thermodynamic stability. Here, we employed density functional theory calculations within van der Waals corrections (D3) to investigate the role of monovalent cations (Li, Na, K, Rb and Cs) in the passivation of 2D perovskite ultrathin films. △ Less

Submitted 20 August, 2024; originally announced August 2024.

Stochastic Currents of Fractional Brownian Motion

Authors: Martin Grothaus, Jose Luis da Silva, Herry Pribawanto Suryawan

Abstract: By using white noise analysis, we study the integral kernel $ξ(x)$, $x\in\mathbb{R}^{d}$, of stochastic currents corresponding to fractional Brownian motion with Hurst parameter $H\in(0,1)$. For $x\in\mathbb{R}^{d}\backslash\{0\}$ and $d\ge1$ we show that the kernel $ξ(x)$ is well-defined as a Hida distribution for all $H\in(0,1/2]$. For $x=0$ and $d=1$, $ξ(0)$ is a Hida distribution for all… ▽ More By using white noise analysis, we study the integral kernel $ξ(x)$, $x\in\mathbb{R}^{d}$, of stochastic currents corresponding to fractional Brownian motion with Hurst parameter $H\in(0,1)$. For $x\in\mathbb{R}^{d}\backslash\{0\}$ and $d\ge1$ we show that the kernel $ξ(x)$ is well-defined as a Hida distribution for all $H\in(0,1/2]$. For $x=0$ and $d=1$, $ξ(0)$ is a Hida distribution for all $H\in(0,1)$. For $d\ge2$, then $ξ(0)$ is a Hida distribution only for $H\in(0,1/d)$. To cover the case $H\in[1/d,1)$ we have to truncate the delta function so that $ξ^{(N)}(0)$ is a Hida distribution whenever $2N(H-1)+Hd>1$. △ Less

Submitted 20 August, 2024; originally announced August 2024.

Comments: 17 pages

MSC Class: 60H40; 60J65; 60G22; 46F25

A Kuramoto Model for the Bound State Aharonov-Bohm Effect

Authors: Alviu Rey Nasir, José Luís Da Silva, Jingle Magallanes, Herry Pribawanto Suryawan, Roshin Marielle Nasir-Britos

Abstract: Starting with the overall wave function expression for the electron in an Aharonov-Bohm potential, we derive a version of the Kuramoto Model describing the phase dynamics of the bound state of the quantum mechanical system. Starting with the overall wave function expression for the electron in an Aharonov-Bohm potential, we derive a version of the Kuramoto Model describing the phase dynamics of the bound state of the quantum mechanical system. △ Less

Submitted 12 August, 2024; originally announced August 2024.

Comments: 14 pages, 6 figures, 1 table

A quantitative Gidas-Ni-Nirenberg-type result for the $p$-Laplacian via integral identities

Authors: Serena Dipierro, João Gonçalves da Silva, Giorgio Poggesi, Enrico Valdinoci

Abstract: We prove a quantitative version of a Gidas-Ni-Nirenberg-type symmetry result involving the $p$-Laplacian. Quantitative stability is achieved here via integral identities based on the proof of rigidity established by J. Serra in 2013, which extended to general dimension and the $p$-Laplacian operator an argument proposed by P. L. Lions in dimension $2$ for the classical Laplacian. Stability res… ▽ More We prove a quantitative version of a Gidas-Ni-Nirenberg-type symmetry result involving the $p$-Laplacian. Quantitative stability is achieved here via integral identities based on the proof of rigidity established by J. Serra in 2013, which extended to general dimension and the $p$-Laplacian operator an argument proposed by P. L. Lions in dimension $2$ for the classical Laplacian. Stability results for the classical Gidas-Ni-Nirenberg symmetry theorem (involving the classical Laplacian) via the method of moving planes were established by Rosset in 1994 and by Ciraolo, Cozzi, Perugini, Pollastro in 2024. To the authors' knowledge, the present paper provides the first quantitative Gidas-Ni-Nirenberg-type result involving the $p$-Laplacian for $p \neq 2$. Even for the classical Laplacian (i.e., for $p=2$), this is the first time that integral identities are used to achieve stability for a Gidas-Ni-Nirenberg-type result. In passing, we obtain a quantitative estimate for the measure of the singular set and an explicit uniform gradient bound. △ Less

Submitted 6 August, 2024; originally announced August 2024.

Gravitational corrections to the two-loop beta function in a non-Abelian gauge theory

Authors: M. Gomes, A. C. Lehum, A. J. da Silva

Abstract: This paper investigates the coupling of massive fermions to gravity within the context of a non-Abelian gauge theory, utilizing the effective field theory framework for quantum gravity. Specifically, we calculate the two-loop beta function of the gauge coupling constant in a non-Abelian gauge theory, employing the one-graviton exchange approximation. Our findings reveal that gravitational correcti… ▽ More This paper investigates the coupling of massive fermions to gravity within the context of a non-Abelian gauge theory, utilizing the effective field theory framework for quantum gravity. Specifically, we calculate the two-loop beta function of the gauge coupling constant in a non-Abelian gauge theory, employing the one-graviton exchange approximation. Our findings reveal that gravitational corrections may lead to a non-trivial UV fixed point in the beta function of the gauge coupling constant, contingent upon the specific gauge group and the quantity of fermions involved. △ Less

Submitted 5 August, 2024; originally announced August 2024.

Comments: 16 pages, 5 figures

Momentum Space Feynman Integral for the Bound State Aharonov-Bohm Effect

Authors: Alviu Rey Nasir, Jingle Magallanes, Herry Pribawanto Suryawan, José Luís Da Silva

Abstract: We construct the Feynman integral for the Schrödinger propagator in the polar conjugate momentum space, which describes the bound state Aharonov-Bohm effect, as a well-defined white noise functional. We construct the Feynman integral for the Schrödinger propagator in the polar conjugate momentum space, which describes the bound state Aharonov-Bohm effect, as a well-defined white noise functional. △ Less

Submitted 21 July, 2024; originally announced July 2024.

Comments: 28 pages, 1 figure

MSC Class: 60H40 (Primary) 81S40; 60E05; 46T12 (Secondary)

Learning Goal-Conditioned Representations for Language Reward Models

Authors: Vaskar Nath, Dylan Slack, Jeff Da, Yuntao Ma, Hugh Zhang, Spencer Whitehead, Sean Hendryx

Abstract: Techniques that learn improved representations via offline data or self-supervised objectives have shown impressive results in traditional reinforcement learning (RL). Nevertheless, it is unclear how improved representation learning can benefit reinforcement learning from human feedback (RLHF) on language models (LMs). In this work, we propose training reward models (RMs) in a contrastive,… ▽ More Techniques that learn improved representations via offline data or self-supervised objectives have shown impressive results in traditional reinforcement learning (RL). Nevertheless, it is unclear how improved representation learning can benefit reinforcement learning from human feedback (RLHF) on language models (LMs). In this work, we propose training reward models (RMs) in a contrastive, $\textit{goal-conditioned}$ fashion by increasing the representation similarity of future states along sampled preferred trajectories and decreasing the similarity along randomly sampled dispreferred trajectories. This objective significantly improves RM performance by up to 0.09 AUROC across challenging benchmarks, such as MATH and GSM8k. These findings extend to general alignment as well -- on the Helpful-Harmless dataset, we observe $2.3\%$ increase in accuracy. Beyond improving reward model performance, we show this way of training RM representations enables improved $\textit{steerability}$ because it allows us to evaluate the likelihood of an action achieving a particular goal-state (e.g., whether a solution is correct or helpful). Leveraging this insight, we find that we can filter up to $55\%$ of generated tokens during majority voting by discarding trajectories likely to end up in an "incorrect" state, which leads to significant cost savings. We additionally find that these representations can perform fine-grained control by conditioning on desired future goal-states. For example, we show that steering a Llama 3 model towards helpful generations with our approach improves helpfulness by $9.6\%$ over a supervised-fine-tuning trained baseline. Similarly, steering the model towards complex generations improves complexity by $21.6\%$ over the baseline. Overall, we find that training RMs in this contrastive, goal-conditioned fashion significantly improves performance and enables model steerability. △ Less

Submitted 23 October, 2024; v1 submitted 18 July, 2024; originally announced July 2024.

Control of Kawahara equation using flat outputs

Authors: Roberto de A. Capistrano-Filho, Jandeilson Santos da Silva

Abstract: In this study we focused on the linear Kawahara equation in a bounded domain, employing two boundary controls. The controllability of this system has been previously demonstrated over the past decade using the Hilbert uniqueness method which involves proving an observability inequality, in general, demonstrated via Carleman estimates. Here, we extend this understanding by achieving the exact contr… ▽ More In this study we focused on the linear Kawahara equation in a bounded domain, employing two boundary controls. The controllability of this system has been previously demonstrated over the past decade using the Hilbert uniqueness method which involves proving an observability inequality, in general, demonstrated via Carleman estimates. Here, we extend this understanding by achieving the exact controllability within a space of analytic functions, employing the flatness approach which is a new approach for higher-order dispersive systems. △ Less

Submitted 15 July, 2024; originally announced July 2024.

Comments: 30 pages. Comments are welcome

Low-depth Quantum Circuit Decomposition of Multi-controlled Gates

Authors: Thiago Melo D. Azevedo, Jefferson D. S. Silva, Adenilton J. da Silva

Abstract: Multi-controlled gates are fundamental components in the design of quantum algorithms, where efficient decompositions of these operators can enhance algorithm performance. The best asymptotic decomposition of an n-controlled X gate with one borrowed ancilla into single qubit and CNOT gates produces circuits with degree 3 polylogarithmic depth and employs a divide-and-conquer strategy. In this pape… ▽ More Multi-controlled gates are fundamental components in the design of quantum algorithms, where efficient decompositions of these operators can enhance algorithm performance. The best asymptotic decomposition of an n-controlled X gate with one borrowed ancilla into single qubit and CNOT gates produces circuits with degree 3 polylogarithmic depth and employs a divide-and-conquer strategy. In this paper, we reduce the number of recursive calls in the divide-and-conquer algorithm and decrease the depth of n-controlled X gate decomposition to a degree of 2.799 polylogarithmic depth. With this optimized decomposition, we also reduce the depth of n-controlled SU(2) gates and approximate n-controlled U(2) gates. Decompositions described in this work achieve the lowest asymptotic depth reported in the literature. We also perform an optimization in the base of the recursive approach. Starting at 52 control qubits, the proposed n-controlled X gate with one borrowed ancilla has the shortest circuit depth in the literature. One can reproduce all the results with the freely available open-source code provided in a public repository. △ Less

Submitted 6 July, 2024; originally announced July 2024.

Comments: 6 pages, 8 figures

Surviving in the Hot Neptune Desert: The Discovery of the Ultra-Hot Neptune TOI-3261b

Authors: Emma Nabbie, Chelsea X. Huang, Jennifer A. Burt, David J. Armstrong, Eric E. Mamajek, Vardan Adibekyan, Sérgio G. Sousa, Eric D. Lopez, Daniel P. Thorngren, Jorge Fernández, Gongjie Li, James S. Jenkins, Jose I. Vines, João Gomes da Silva, Robert A. Wittenmyer, Daniel Bayliss, César Briceño, Karen A. Collins, Xavier Dumusque, Keith D. Horne, Marcelo F. Keniger, Nicholas Law, Jorge Lillo-Box, Shang-Fei Liu, Andrew W. Mann , et al. (23 additional authors not shown)

Abstract: The recent discoveries of Neptune-sized ultra-short period planets (USPs) challenge existing planet formation theories. It is unclear whether these residents of the Hot Neptune Desert have similar origins to smaller, rocky USPs, or if this discrete population is evidence of a different formation pathway altogether. We report the discovery of TOI-3261b, an ultra-hot Neptune with an orbital period… ▽ More The recent discoveries of Neptune-sized ultra-short period planets (USPs) challenge existing planet formation theories. It is unclear whether these residents of the Hot Neptune Desert have similar origins to smaller, rocky USPs, or if this discrete population is evidence of a different formation pathway altogether. We report the discovery of TOI-3261b, an ultra-hot Neptune with an orbital period $P$ = 0.88 days. The host star is a $V = 13.2$ magnitude, slightly super-solar metallicity ([Fe/H] $\simeq$ 0.15), inactive K1.5 main sequence star at $d = 300$ pc. Using data from the Transiting Exoplanet Survey Satellite and the Las Cumbres Observatory Global Telescope, we find that TOI-3261b has a radius of $3.82_{-0.35}^{+0.42}$ $R_{\oplus}$. Moreover, radial velocities from ESPRESSO and HARPS reveal a mass of $30.3_{-2.4}^{+2.2}$ $M_{\oplus}$, more than twice the median mass of Neptune-sized planets on longer orbits. We investigate multiple mechanisms of mass loss that can reproduce the current-day properties of TOI-3261b, simulating the evolution of the planet via tidal stripping and photoevaporation. Thermal evolution models suggest that TOI-3261b should retain an envelope potentially enriched with volatiles constituting $\sim$5% of its total mass. This is the second highest envelope mass fraction among ultra-hot Neptunes discovered to date, making TOI-3261b an ideal candidate for atmospheric follow-up observations. △ Less

Submitted 4 July, 2024; originally announced July 2024.

Comments: 20 pages, 11 figures, accepted to AJ