Showing 1–40 of 40 results for author: Veiga, H

An Interdisciplinary Outlook on Large Language Models for Scientific Research

Authors: James Boyko, Joseph Cohen, Nathan Fox, Maria Han Veiga, Jennifer I-Hsiu Li, **g Liu, Bernardo Modenesi, Andreas H. Rauch, Kenneth N. Reid, Soumi Tribedi, Anastasia Visheratina, Xin Xie

Abstract: In this paper, we describe the capabilities and constraints of Large Language Models (LLMs) within disparate academic disciplines, aiming to delineate their strengths and limitations with precision. We examine how LLMs augment scientific inquiry, offering concrete examples such as accelerating literature review by summarizing vast numbers of publications, enhancing code development through automat… ▽ More In this paper, we describe the capabilities and constraints of Large Language Models (LLMs) within disparate academic disciplines, aiming to delineate their strengths and limitations with precision. We examine how LLMs augment scientific inquiry, offering concrete examples such as accelerating literature review by summarizing vast numbers of publications, enhancing code development through automated syntax correction, and refining the scientific writing process. Simultaneously, we articulate the challenges LLMs face, including their reliance on extensive and sometimes biased datasets, and the potential ethical dilemmas stemming from their use. Our critical discussion extends to the varying impacts of LLMs across fields, from the natural sciences, where they help model complex biological sequences, to the social sciences, where they can parse large-scale qualitative data. We conclude by offering a nuanced perspective on how LLMs can be both a boon and a boundary to scientific progress. △ Less

Submitted 3 November, 2023; originally announced November 2023.

Unambiguous Simulation of Diffusive Charge Transport in Disordered Nanoribbons

Authors: H. P. Veiga, S. M. João, J. M. Alendouro Pinho, J. P. Santos Pires, J. M. Viana Parente Lopes

Abstract: Charge transport in disordered two-dimensional (2D) systems showcases a myriad of unique phenomenologies that highlight different aspects of the underlying quantum dynamics. Electrons in such systems undergo a crossover from ballistic propagation to Anderson localization, contingent on the system's effective coherence length. Between the extended and localized phases lies a diffusive crossover in… ▽ More Charge transport in disordered two-dimensional (2D) systems showcases a myriad of unique phenomenologies that highlight different aspects of the underlying quantum dynamics. Electrons in such systems undergo a crossover from ballistic propagation to Anderson localization, contingent on the system's effective coherence length. Between the extended and localized phases lies a diffusive crossover in which the charge conductivity is properly defined. The numerical observation of this regime has remained elusive because it requires fully coherent transport to be simulated in systems whose dimensions are sufficiently large to meaningfully split the mean-free path and localization length scales. To address this challenge, we employed a novel linear scaling time-resolved approach that enabled us to derive the dc-transport characteristics and observe the three expected 2D transport regimes - ballistic, diffusive, and localized. △ Less

Submitted 12 July, 2024; v1 submitted 7 November, 2023; originally announced November 2023.

Comments: 25 pages, 9 figures

On a set of some recent contributions to energy equality for the Navier-Stokes equations

Authors: Hugo Beirão da Veiga, Jiaqi Yang

Abstract: In these notes we want, in addition to presenting some new results, to both clean up and refine some reflections on a couple of articles published on paper a few years ago, 2019-20. These papers concerned integral sufficient conditions on $u\,,$ $\n u\,,$ and mixed, to guarantee the equality of the energy, EE in the sequel, for solutions of the Navier-Stokes equations under the classical non-slip… ▽ More In these notes we want, in addition to presenting some new results, to both clean up and refine some reflections on a couple of articles published on paper a few years ago, 2019-20. These papers concerned integral sufficient conditions on $u\,,$ $\n u\,,$ and mixed, to guarantee the equality of the energy, EE in the sequel, for solutions of the Navier-Stokes equations under the classical non-slip boundary condition. Concerning the $\n u$ case a crucial role was enjoyed by a previous well known Berselli and Chiodaroli's pioneering 2019 work on the subject. The above three papers are the main sources of these notes. References will be mostly concentrated on their direct relation to the above papers at the time of pubblication. More recent results will be not stated throughout the article. However, in the last section, the reader will be suitably sent to the more recent bibliography. Below, we also turn back to the innovative interpretation of some main parameters which allowed to overcome their apparent incongruence. Non-Newtonian fluids were also considered in our 2019 paper, maybe for the first time in the above Berselli-Chiodaroli's particular $\n u\,$ context. However we will stick mostly to the Newtonian case since in the end we come to the conclusion that there are not particular additional obstacles to extend the present results from Newtonian to non-Newtonian fluids. Hence we avoid to go further in this direction. △ Less

Submitted 11 September, 2023; v1 submitted 28 August, 2023; originally announced August 2023.

Comments: 12 pages

On improving the efficiency of ADER methods

Authors: Maria Han Veiga, Lorenzo Micalizzi, Davide Torlo

Abstract: The (modern) arbitrary derivative (ADER) approach is a popular technique for the numerical solution of differential problems based on iteratively solving an implicit discretization of their weak formulation. In this work, focusing on an ODE context, we investigate several strategies to improve this approach. Our initial emphasis is on the order of accuracy of the method in connection with the poly… ▽ More The (modern) arbitrary derivative (ADER) approach is a popular technique for the numerical solution of differential problems based on iteratively solving an implicit discretization of their weak formulation. In this work, focusing on an ODE context, we investigate several strategies to improve this approach. Our initial emphasis is on the order of accuracy of the method in connection with the polynomial discretization of the weak formulation. We demonstrate that precise choices lead to higher-order convergences in comparison to the existing literature. Then, we put ADER methods into a Deferred Correction (DeC) formalism. This allows to determine the optimal number of iterations, which is equal to the formal order of accuracy of the method, and to introduce efficient $p$-adaptive modifications. These are defined by matching the order of accuracy achieved and the degree of the polynomial reconstruction at each iteration. We provide analytical and numerical results, including the stability analysis of the new modified methods, the investigation of the computational efficiency, an application to adaptivity and an application to hyperbolic PDEs with a Spectral Difference (SD) space discretization. △ Less

Submitted 9 September, 2023; v1 submitted 22 May, 2023; originally announced May 2023.

MSC Class: 65 ACM Class: G.1

Matryoshka Policy Gradient for Entropy-Regularized RL: Convergence and Global Optimality

Authors: François Ged, Maria Han Veiga

Abstract: A novel Policy Gradient (PG) algorithm, called Matryoshka Policy Gradient (MPG), is introduced and studied, in the context of max-entropy reinforcement learning, where an agent aims at maximising entropy bonuses additional to its cumulative rewards. MPG differs from standard PG in that it trains a sequence of policies to learn finite horizon tasks simultaneously, instead of a single policy for the… ▽ More A novel Policy Gradient (PG) algorithm, called Matryoshka Policy Gradient (MPG), is introduced and studied, in the context of max-entropy reinforcement learning, where an agent aims at maximising entropy bonuses additional to its cumulative rewards. MPG differs from standard PG in that it trains a sequence of policies to learn finite horizon tasks simultaneously, instead of a single policy for the single standard objective. For softmax policies, we prove convergence of MPG and global optimality of the limit by showing that the only critical point of the MPG objective is the optimal policy; these results hold true even in the case of continuous compact state space. MPG is intuitive, theoretically sound and we furthermore show that the optimal policy of the standard max-entropy objective can be approximated arbitrarily well by the optimal policy of the MPG framework. Finally, we justify that MPG is well suited when the policies are parametrized with neural networks and we provide an simple criterion to verify the global optimality of the policy at convergence. As a proof of concept, we evaluate numerically MPG on standard test benchmarks. △ Less

Submitted 25 June, 2023; v1 submitted 22 March, 2023; originally announced March 2023.

MSC Class: 68T07 ACM Class: I.2.0; I.2.6

A new variable shape parameter strategy for RBF approximation using neural networks

Authors: Fatemeh Nassajian Mojarrad, Maria Han Veiga, Jan S. Hesthaven, Philipp Öffner

Abstract: The choice of the shape parameter highly effects the behaviour of radial basis function (RBF) approximations, as it needs to be selected to balance between ill-condition of the interpolation matrix and high accuracy. In this paper, we demonstrate how to use neural networks to determine the shape parameters in RBFs. In particular, we construct a multilayer perceptron trained using an unsupervised l… ▽ More The choice of the shape parameter highly effects the behaviour of radial basis function (RBF) approximations, as it needs to be selected to balance between ill-condition of the interpolation matrix and high accuracy. In this paper, we demonstrate how to use neural networks to determine the shape parameters in RBFs. In particular, we construct a multilayer perceptron trained using an unsupervised learning strategy, and use it to predict shape parameters for inverse multiquadric and Gaussian kernels. We test the neural network approach in RBF interpolation tasks and in a RBF-finite difference method in one and two-space dimensions, demonstrating promising results. △ Less

Submitted 25 June, 2024; v1 submitted 30 October, 2022; originally announced October 2022.

T5QL: Taming language models for SQL generation

Authors: Samuel Arcadinho, David Aparício, Hugo Veiga, António Alegria

Abstract: Automatic SQL generation has been an active research area, aiming at streamlining the access to databases by writing natural language with the given intent instead of writing SQL. Current SOTA methods for semantic parsing depend on LLMs to achieve high predictive accuracy on benchmark datasets. This reduces their applicability, since LLMs requires expensive GPUs. Furthermore, SOTA methods are ungr… ▽ More Automatic SQL generation has been an active research area, aiming at streamlining the access to databases by writing natural language with the given intent instead of writing SQL. Current SOTA methods for semantic parsing depend on LLMs to achieve high predictive accuracy on benchmark datasets. This reduces their applicability, since LLMs requires expensive GPUs. Furthermore, SOTA methods are ungrounded and thus not guaranteed to always generate valid SQL. Here we propose T5QL, a new SQL generation method that improves the performance in benchmark datasets when using smaller LMs, namely T5-Base, by 13pp when compared against SOTA methods. Additionally, T5QL is guaranteed to always output valid SQL using a context-free grammar to constrain SQL generation. Finally, we show that dividing semantic parsing in two tasks, candidate SQLs generation and candidate re-ranking, is a promising research avenue that can reduce the need for large LMs. △ Less

Submitted 21 September, 2022; originally announced September 2022.

Comments: 11 pages, 5 figures

Spectral Difference method with a posteriori limiting: Application to the Euler equations in one and two space dimensions

Authors: David Velasco-Romero, Maria Han Veiga, Romain Teyssier

Abstract: We present a new numerical scheme which combines the Spectral Difference (SD) method up to arbitrary high order with \emph{a-posteriori} limiting using the classical MUSCL-Hancock scheme as fallback scheme. It delivers very accurate solutions in smooth regions of the flow, while capturing sharp discontinuities without spurious oscillations. We exploit the strict equivalence between the SD scheme a… ▽ More We present a new numerical scheme which combines the Spectral Difference (SD) method up to arbitrary high order with \emph{a-posteriori} limiting using the classical MUSCL-Hancock scheme as fallback scheme. It delivers very accurate solutions in smooth regions of the flow, while capturing sharp discontinuities without spurious oscillations. We exploit the strict equivalence between the SD scheme and a Finite-Volume (FV) scheme based on the SD control volumes to enable a straightforward limiting strategy. At the end of each stage of our high-order time-integration ADER scheme, we check if the high-order solution is admissible under a number of numerical and physical criteria. If not, we replace the high-order fluxes of the troubled cells by fluxes from our robust second-order MUSCL fallback scheme. We apply our method to a suite of test problems for the 1D and 2D Euler equations. We demonstrate that this combination of SD and ADER provides a virtually arbitrary high order of accuracy, while at the same time preserving good sub-element shock capturing capabilities. △ Less

Submitted 18 January, 2023; v1 submitted 14 September, 2022; originally announced September 2022.

Comments: Accepted for publication in MNRAS

The five largest satellites of Uranus: astrometric observations spread over 29 years at the Pico dos Dias Observatory

Authors: Julio I. B. Camargo, Carlos H. Veiga, Roberto Vieira-Martins, Agnes Fienga, Marcelo Assafin

Abstract: We present the astrometry of the five largest satellites of Uranus from observations spread over almost three decades with photographic plates and CCDs (mainly), taken at the Pico dos Dias Observatory - Brazil. All positions presented here are obtained from the reanalysis of measurements and images used in previous publications. Reference stars are those from the Gaia Early Data Release 3 (Gaia ED… ▽ More We present the astrometry of the five largest satellites of Uranus from observations spread over almost three decades with photographic plates and CCDs (mainly), taken at the Pico dos Dias Observatory - Brazil. All positions presented here are obtained from the reanalysis of measurements and images used in previous publications. Reference stars are those from the Gaia Early Data Release 3 (Gaia EDR3) allowing, in addition to a higher accuracy, a larger number of positions of the largest satellites as compared to our previous works. From 1982 to 1987, positions were obtained from photographic plates. From 1989 to 2011, CCDs were used. On average, we obtained $Δα{\rm cos}δ=-11~(\pm52)$ milli-arcseconds and $Δδ=-14~(\pm43)$ milli-arcseconds for the differences in the sense observation minus ephemerides (DE435$+$ura111). Comparisons with different ephemerides (DE440, INPOP21a, INPOP19a and NOE-7-2013-MAIN) and results from stellar occultations indicate a possible offset in the (Solar System) barycentric position of the Uranian system barycenter. Overall, our results are useful to improve dynamical models of the Uranian largest satellites as well as the orbit of Uranus. △ Less

Submitted 3 December, 2021; originally announced December 2021.

Comments: 16 pages, 13 figues, 9 tables

Reconstruction of the Density Power Spectrum from Quasar Spectra using Machine Learning

Authors: Maria Han Veiga, Xi Meng, Oleg Y. Gnedin, Nickolay Y. Gnedin, Xun Huan

Abstract: We describe a novel end-to-end approach using Machine Learning to reconstruct the power spectrum of cosmological density perturbations at high redshift from observed quasar spectra. State-of-the-art cosmological simulations of structure formation are used to generate a large synthetic dataset of line-of-sight absorption spectra paired with 1-dimensional fluid quantities along the same line-of-sigh… ▽ More We describe a novel end-to-end approach using Machine Learning to reconstruct the power spectrum of cosmological density perturbations at high redshift from observed quasar spectra. State-of-the-art cosmological simulations of structure formation are used to generate a large synthetic dataset of line-of-sight absorption spectra paired with 1-dimensional fluid quantities along the same line-of-sight, such as the total density of matter and the density of neutral atomic hydrogen. With this dataset, we build a series of data-driven models to predict the power spectrum of total matter density. We are able to produce models which yield reconstruction to accuracy of about 1% for wavelengths $k \leq 2 h Mpc^{-1}$, while the error increases at larger $k$. We show the size of data sample required to reach a particular error rate, giving a sense of how much data is necessary to reach a desired accuracy. This work provides a foundation for develo** methods to analyse very large upcoming datasets with the next-generation observational facilities. △ Less

Submitted 19 July, 2021; originally announced July 2021.

Comments: 10 pages, 9 figures

Duplicated Code Pattern Mining in Visual Programming Languages

Authors: Miguel Terra-Neves, João Nadkarni, Miguel Ventura, Pedro Resende, Hugo Veiga, António Alegria

Abstract: Visual Programming Languages (VPLs), coupled with the high-level abstractions that are commonplace in visual programming environments, enable users with less technical knowledge to become proficient programmers. However, the lower skill floor required by VPLs also entails that programmers are more likely to not adhere to best practices of software development, producing systems with high technical… ▽ More Visual Programming Languages (VPLs), coupled with the high-level abstractions that are commonplace in visual programming environments, enable users with less technical knowledge to become proficient programmers. However, the lower skill floor required by VPLs also entails that programmers are more likely to not adhere to best practices of software development, producing systems with high technical debt, and thus poor maintainability. Duplicated code is one important example of such technical debt. In fact, we observed that the amount of duplication in the OutSystems VPL code bases can reach as high as $39\%$. Duplicated code detection in text-based programming languages is still an active area of research with important implications regarding software maintainability and evolution. However, to the best of our knowledge, the literature on duplicated code detection for VPLs is very limited. We propose a novel and scalable duplicated code pattern mining algorithm that leverages the visual structure of VPLs in order to not only detect duplicated code, but also highlight duplicated code patterns that explain the reported duplication. The performance of the proposed approach is evaluated on a wide range of real-world mobile and web applications developed using OutSystems. △ Less

Submitted 15 July, 2021; originally announced July 2021.

Comments: Shorter version accepted for publication at FSE 2021

Double periodic viscous flows in infinite space-periodic pipes

Authors: Hugo Beirao da Veiga, Jiaqi Yang

Abstract: We study the motion of an incompressible fluid in an $n+1$-dimensional infinite pipe $\,\La\,$ with an $L$-periodic shape in the $z=x_{n+1}$ direction. We set $\,x=(x_1,x_2,\cdots,x_{n})$, and $z=x_{n+1}$. We denote by $Σ_z$ the cross section of the pipe at the level $z\,,$ and by $v_z$ the $n+1$ component of the velocity. Fluid motion is described by the evolution Stokes or Navier-Stokes equation… ▽ More We study the motion of an incompressible fluid in an $n+1$-dimensional infinite pipe $\,\La\,$ with an $L$-periodic shape in the $z=x_{n+1}$ direction. We set $\,x=(x_1,x_2,\cdots,x_{n})$, and $z=x_{n+1}$. We denote by $Σ_z$ the cross section of the pipe at the level $z\,,$ and by $v_z$ the $n+1$ component of the velocity. Fluid motion is described by the evolution Stokes or Navier-Stokes equations together with the non-slip boundary condition $\bv=\,0\,$. We look for solutions $\bv(x,z,t)$ with a given, arbitrary, $T-$time periodic total flux $\,\int_{Σ_z} \,v_z(x,z,t)\,dx=g(t)\,,$ which should be simultaneously $T$-periodic with respect to time and $L$-periodic with respect to $z\,.$ We prove existence and uniqueness of the solution to the above problems. The results extend those proved in reference \cite{B-05}, where the cross sections were independent of $z$. The argument is presented through a sequence of steps. We start by considering the linear, stationary, $z-$periodic Stokes problem. Then we study the double periodic evolution Stokes equations, which is the heart of the matter. Finally, we end with the extension to the full Navier-Stokes equations. △ Less

Submitted 4 November, 2021; v1 submitted 10 March, 2021; originally announced March 2021.

Comments: 28 pages

On mixed pressure-velocity regularity criteria to the Navier-Stokes equations in Lorentz spaces

Authors: Hugo Beirão da Veiga, Jiaqi Yang

Abstract: In this paper we derive regular criteria in Lorentz spaces for Leray-Hopf weak solutions $v$ of the three-dimensional Navier-Stokes equations based on the formal equivalence relation $π\cong|v|^2$, where $π$ denotes the fluid pressure and $v$ the fluid velocity. It is called the mixed pressure-velocity problem (the P-V problem). It is shown that if… ▽ More In this paper we derive regular criteria in Lorentz spaces for Leray-Hopf weak solutions $v$ of the three-dimensional Navier-Stokes equations based on the formal equivalence relation $π\cong|v|^2$, where $π$ denotes the fluid pressure and $v$ the fluid velocity. It is called the mixed pressure-velocity problem (the P-V problem). It is shown that if $\fπ{(e^{-|x|^2}+|v|)^θ}\in L^p(0,T;L^{q,\infty})\,,$ where $0\leqθ\leq1$ and $\f2p+\f3q=2-θ$, then $v$ is regular on $(0,T]$. Note that, if $\Om$ is periodic, we may replace $\,e^{-|x|^2} \,$ by a positive constant. This result improves a 2018 statement obtained by one of the authors. Furthermore, as an integral part of our contribution, we give an overview on the known results on the P-V problem, and also on two main techniques used by many authors to establish sufficient conditions for regularity of the so-called Ladyzhenskaya-Prodi-Serrin (L-P-S) type. △ Less

Submitted 2 September, 2020; v1 submitted 4 July, 2020; originally announced July 2020.

Comments: 21 pages

MSC Class: 35Q30; 76D03; 76D05

An arbitrary high-order Spectral Difference method for the induction equation

Authors: Maria Han Veiga, David A Velasco-Romero, Quentin Wenger, Romain Teyssier

Abstract: We study in this paper three variants of the high-order Discontinuous Galerkin (DG) method with Runge-Kutta (RK) time integration for the induction equation, analysing their ability to preserve the divergence free constraint of the magnetic field. To quantify divergence errors, we use a norm based on both a surface term, measuring global divergence errors, and a volume term, measuring local diverg… ▽ More We study in this paper three variants of the high-order Discontinuous Galerkin (DG) method with Runge-Kutta (RK) time integration for the induction equation, analysing their ability to preserve the divergence free constraint of the magnetic field. To quantify divergence errors, we use a norm based on both a surface term, measuring global divergence errors, and a volume term, measuring local divergence errors. This leads us to design a new, arbitrary high-order numerical scheme for the induction equation in multiple space dimensions, based on a modification of the Spectral Difference (SD) method [1] with ADER time integration [2]. It appears as a natural extension of the Constrained Transport (CT) method. We show that it preserves $\nabla\cdot\vec{B}=0$ exactly by construction, both in a local and a global sense. We compare our new method to the 3 RKDG variants and show that the magnetic energy evolution and the solution maps of our new SD-ADER scheme are qualitatively similar to the RKDG variant with divergence cleaning, but without the need for an additional equation and an extra variable to control the divergence errors. [1] Liu Y., Vinokur M., Wang Z.J. (2006) Discontinuous Spectral Difference Method for Conservation Laws on Unstructured Grids. In: Groth C., Zingg D.W. (eds) Computational Fluid Dynamics 2004. Springer, Berlin, Heidelberg [2] Dumbser M., Castro M., Parés C., Toro E.F (2009) ADER schemes on unstructured meshes for nonconservative hyperbolic systems: Applications to geophysical flows. In: Computers & Fluids, Volume 38, Issue 9 △ Less

Submitted 23 March, 2021; v1 submitted 27 May, 2020; originally announced May 2020.

Comments: 33 pages

MSC Class: 65Mxx ACM Class: G.1.8; G.4; J.2

DeC and ADER: Similarities, Differences and a Unified Framework

Authors: Maria Han Veiga, Philipp Öffner, Davide Torlo

Abstract: In this paper, we demonstrate that the explicit ADER approach as it is used inter alia in [1] can be seen as a special interpretation of the deferred correction (DeC) method as introduced in [2]. By using this fact, we are able to embed ADER in a theoretical background of time integration schemes and prove the relation between the accuracy order and the number of iterations which are needed to rea… ▽ More In this paper, we demonstrate that the explicit ADER approach as it is used inter alia in [1] can be seen as a special interpretation of the deferred correction (DeC) method as introduced in [2]. By using this fact, we are able to embed ADER in a theoretical background of time integration schemes and prove the relation between the accuracy order and the number of iterations which are needed to reach the desired order. Next, we extend our investigation to stiff ODEs, treating these source terms implicitly. Some differences in the interpretation and implementation can be found. Using DeC yields typically a much simpler implementation, while ADER benefits from a higher accuracy, at least for our numerical simulations. Then, we also focus on the PDE case and present common space-time discretizations using DeC and ADER in closed forms. Finally, in the numerical section we investigate A-stability for the ADER approach - this is done for the first time up to our knowledge - for different order using several basis functions and compare them with the DeC ansatz. Then, we compare the performance of ADER and DeC for stiff and non-stiff ODEs and verify our analysis focusing on two basic hyperbolic problems. [1] O. Zanotti, F. Fambri, M. Dumbser, and A. Hidalgo. Space-time adaptive ader discontinuous galerkin finite element schemes with a posteriori sub-cell finite volume limiting. Computers & Fluids, 118:204-224, 2015. [2] A. Dutt, L. Greengard, and V. Rokhlin. Spectral Deferred Correction Methods for Ordinary Differential Equations. BIT Numerical Mathematics, 40(2):241-266, 2000. △ Less

Submitted 6 January, 2021; v1 submitted 26 February, 2020; originally announced February 2020.

Machine learning applied to simulations of collisions between rotating, differentiated planets

Authors: Miles Timpe, Maria Han Veiga, Mischa Knabenhans, Joachim Stadel, Stefano Marelli

Abstract: In the late stages of terrestrial planet formation, pairwise collisions between planetary-sized bodies act as the fundamental agent of planet growth. These collisions can lead to either growth or disruption of the bodies involved and are largely responsible for sha** the final characteristics of the planets. Despite their critical role in planet formation, an accurate treatment of collisions has… ▽ More In the late stages of terrestrial planet formation, pairwise collisions between planetary-sized bodies act as the fundamental agent of planet growth. These collisions can lead to either growth or disruption of the bodies involved and are largely responsible for sha** the final characteristics of the planets. Despite their critical role in planet formation, an accurate treatment of collisions has yet to be realized. While semi-analytic methods have been proposed, they remain limited to a narrow set of post-impact properties and have only achieved relatively low accuracies. However, the rise of machine learning and access to increased computing power have enabled novel data-driven approaches. In this work, we show that data-driven emulation techniques are capable of predicting the outcome of collisions with high accuracy and are generalizable to any quantifiable post-impact quantity. In particular, we focus on the dataset requirements, training pipeline, and regression performance for four distinct data-driven techniques from machine learning (ensemble methods and neural networks) and uncertainty quantification (Gaussian processes and polynomial chaos expansion). We compare these methods to existing analytic and semi-analytic methods. Such data-driven emulators are poised to replace the methods currently used in N-body simulations. This work is based on a new set of 10,700 SPH simulations of pairwise collisions between rotating, differentiated bodies at all possible mutual orientations. △ Less

Submitted 26 January, 2020; originally announced January 2020.

Comments: 28 pages, 8 figures. Submitted to Computational Astrophysics and Cosmology

Onsager's Conjecture for the Incompressible Euler Equations in the Hölog Spaces $C^{0,α}_λ(\barΩ)$

Authors: Hugo Beirão da Veiga, Jiaqi Yang

Abstract: In this note we extend a 2018 result of Bardos and Titi \cite{BT} to a new class of functional spaces $C^{0,α}_λ(\barΩ)$. It is shown that weak solutions $\,u\,$ satisfy the energy equality provided that $u\in L^3((0,T);C^{0,α}_λ(\barΩ))$ with $α\geq\frac{1}{3}$ and $λ>0$. The result is new for $\,α= \,\frac{1}{3}\,.$ Actually, a quite stronger result holds. For convenience we start by a similar e… ▽ More In this note we extend a 2018 result of Bardos and Titi \cite{BT} to a new class of functional spaces $C^{0,α}_λ(\barΩ)$. It is shown that weak solutions $\,u\,$ satisfy the energy equality provided that $u\in L^3((0,T);C^{0,α}_λ(\barΩ))$ with $α\geq\frac{1}{3}$ and $λ>0$. The result is new for $\,α= \,\frac{1}{3}\,.$ Actually, a quite stronger result holds. For convenience we start by a similar extension of a 1994 result of Constantin, E, and Titi, \cite{CET}, in the space periodic case. The proofs follow step by step those of the above authors. For the readers convenience, and completeness, proofs are presented in a quite complete form. △ Less

Submitted 23 December, 2019; originally announced December 2019.

Comments: 13 pages

On the Shinbrot's criteria for energy equality to Newtonian fluids: A simplified proof, and an extension of the range of application

Authors: Hugo Beirão da Veiga, Jiaqi Yang

Abstract: We show that the classical Shinbrot's criteria to guarantee that a Leray-Hopf solution satisfies the energy equality follows trivially from the $L^4( (0\,,T)\timesΩ))$ Lions-Prodi particular case. Moreover we extend Shinbrot's result to space coefficients $ r \in (3,\,4)\,.$ In this last case our condition coincides with Shinbrot condition for $r=4$, but for $r<4$ it is more restrictive than the c… ▽ More We show that the classical Shinbrot's criteria to guarantee that a Leray-Hopf solution satisfies the energy equality follows trivially from the $L^4( (0\,,T)\timesΩ))$ Lions-Prodi particular case. Moreover we extend Shinbrot's result to space coefficients $ r \in (3,\,4)\,.$ In this last case our condition coincides with Shinbrot condition for $r=4$, but for $r<4$ it is more restrictive than the classical one, $ 2/p + 2/r = 1\,.$ It looks significant that in correspondence to the extreme values $r=3$ and $r=\infty$, and just for these two values, the conditions become respectively $u \in L^\infty(L^3)$ and $u \in L^2(L^\infty)$, which imply regularity by appealing to classical Ladyzhenskaya-Prodi-Serrin (L-P-S) type conditions. However, for values $r\in (3,\infty)$ the L-P-S condition does not apply, even for the more demanding case $\,3<r<4\,.$ The proofs are quite trivial, by appealing to interpolation, with $L^\infty(L^2)$ in the first case and with $L^2(L^6)$ in the second case. The central position of this old classical problem in Fluid-Mechanics, together with the simplicity of the proofs (in particular the novelty of the second result) looks at least curious. This may be considered a merit of this very short note. △ Less

Submitted 18 February, 2020; v1 submitted 21 December, 2019; originally announced December 2019.

Comments: 5 pages

MSC Class: 35Q30; 76A05; 76D03

Neural network based limiter with transfer learning

Authors: Maria Han Veiga, Rémi Abgrall

Abstract: A neural network is trained using simulation data from a Runge Kutta discontinuous Galerkin (RKDG) method and a modal high order limiter. With this methodology, we design one and two-dimensional black-box shock detection functions. Furthermore, we describe a strategy to adapt the shock detection function to different numerical schemes without the need of a full training cycle and large dataset. We… ▽ More A neural network is trained using simulation data from a Runge Kutta discontinuous Galerkin (RKDG) method and a modal high order limiter. With this methodology, we design one and two-dimensional black-box shock detection functions. Furthermore, we describe a strategy to adapt the shock detection function to different numerical schemes without the need of a full training cycle and large dataset. We evaluate the performance of the neural network on a RKDG scheme for validation. To evaluate the domain adaptation properties of this neural network limiter, our methodology is verified on a residual distribution scheme (RDS), both in one and two-dimensional problems, and on Cartesian and unstructured meshes. Lastly, we report on the quality of the numerical solutions when using a neural based shock detection method, in comparison to more traditional limiters, as well as on the computational impact of using this method in existing codes. △ Less

Submitted 19 December, 2019; originally announced December 2019.

MSC Class: G.1.8; G.4; J.2 ACM Class: G.1.8; G.4; J.2

The Southern Photometric Local Universe Survey (S-PLUS): improved SEDs, morphologies and redshifts with 12 optical filters

Authors: C. Mendes de Oliveira, T. Ribeiro, W. Schoenell, A. Kanaan, R. A. Overzier, A. Molino, L. Sampedro, P. Coelho, C. E. Barbosa, A. Cortesi, M. V. Costa-Duarte, F. R. Herpich, J. A. Hernandez-Jimenez, V. M. Placco, H. S. Xavier, L. R. Abramo, R. K. Saito, A. L. Chies-Santos, A. Ederoclite, R. Lopes de Oliveira, D. R. Gonçalves, S. Akras, L. A. Almeida, F. Almeida-Fernandes, T. C. Beers , et al. (120 additional authors not shown)

Abstract: The Southern Photometric Local Universe Survey (S-PLUS) is imaging ~9300 deg^2 of the celestial sphere in twelve optical bands using a dedicated 0.8 m robotic telescope, the T80-South, at the Cerro Tololo Inter-American Observatory, Chile. The telescope is equipped with a 9.2k by 9.2k e2v detector with 10 um pixels, resulting in a field-of-view of 2 deg^2 with a plate scale of 0.55"/pixel. The sur… ▽ More The Southern Photometric Local Universe Survey (S-PLUS) is imaging ~9300 deg^2 of the celestial sphere in twelve optical bands using a dedicated 0.8 m robotic telescope, the T80-South, at the Cerro Tololo Inter-American Observatory, Chile. The telescope is equipped with a 9.2k by 9.2k e2v detector with 10 um pixels, resulting in a field-of-view of 2 deg^2 with a plate scale of 0.55"/pixel. The survey consists of four main subfields, which include two non-contiguous fields at high Galactic latitudes (8000 deg^2 at |b| > 30 deg) and two areas of the Galactic plane and bulge (for an additional 1300 deg^2). S-PLUS uses the Javalambre 12-band magnitude system, which includes the 5 u, g, r, i, z broad-band filters and 7 narrow-band filters centered on prominent stellar spectral features: the Balmer jump/[OII], Ca H+K, H-delta, G-band, Mg b triplet, H-alpha, and the Ca triplet. S-PLUS delivers accurate photometric redshifts (delta_z/(1+z) = 0.02 or better) for galaxies with r < 20 AB mag and redshift < 0.5, thus producing a 3D map of the local Universe over a volume of more than 1 (Gpc/h)^3. The final S-PLUS catalogue will also enable the study of star formation and stellar populations in and around the Milky Way and nearby galaxies, as well as searches for quasars, variable sources, and low-metallicity stars. In this paper we introduce the main characteristics of the survey, illustrated with science verification data highlighting the unique capabilities of S-PLUS. We also present the first public data release of ~336 deg^2 of the Stripe-82 area, which is available at http://datalab.noao.edu/splus. △ Less

Submitted 2 September, 2019; v1 submitted 2 July, 2019; originally announced July 2019.

Comments: Updated to reflect the published version (MNRAS, 489, 241). For a short introductory video of the S-PLUS project, see https://youtu.be/yc5kHrHU9Jk - The S-PLUS Data Release 1 is available at http://datalab.noao.edu/splus

Regularity Criteria for Navier-Stokes Equations with Slip Boundary Conditions on Non-flat Boundaries via Two Velocity Components

Authors: Hugo Beirao da Veiga, Jiaqi Yang

Abstract: H.-O. Bae and H.J. Choe, in a 1997 paper, established a regularity criteria for the incompressible Navier-Stokes equations in the whole space $\R^3$ based on two velocity components. Recently, one of the present authors extended this result to the half-space case $\R^3_+\,.$ Further, this author in collaboration with J. Bemelmans and J. Brand extended the result to cylindrical domains under physic… ▽ More H.-O. Bae and H.J. Choe, in a 1997 paper, established a regularity criteria for the incompressible Navier-Stokes equations in the whole space $\R^3$ based on two velocity components. Recently, one of the present authors extended this result to the half-space case $\R^3_+\,.$ Further, this author in collaboration with J. Bemelmans and J. Brand extended the result to cylindrical domains under physical slip boundary conditions. In this note we obtain a similar result in the case of smooth arbitrary boundaries, but under a distinct, apparently very similar, slip boundary condition. They coincide just on flat portions of the boundary. Otherwise, a reciprocal reduction between the two results looks not obvious, as shown in the last section below. △ Less

Submitted 9 January, 2019; originally announced January 2019.

Comments: 15 pages

MSC Class: 35Q30

What do Language Representations Really Represent?

Authors: Johannes Bjerva, Robert Östling, Maria Han Veiga, Jörg Tiedemann, Isabelle Augenstein

Abstract: A neural language model trained on a text corpus can be used to induce distributed representations of words, such that similar words end up with similar representations. If the corpus is multilingual, the same model can be used to learn distributed representations of languages, such that similar languages end up with similar representations. We show that this holds even when the multilingual corpu… ▽ More A neural language model trained on a text corpus can be used to induce distributed representations of words, such that similar words end up with similar representations. If the corpus is multilingual, the same model can be used to learn distributed representations of languages, such that similar languages end up with similar representations. We show that this holds even when the multilingual corpus has been translated into English, by picking up the faint signal left by the source languages. However, just like it is a thorny problem to separate semantic from syntactic similarity in word representations, it is not obvious what type of similarity is captured by language representations. We investigate correlations and causal relationships between language representations learned from translations on one hand, and genetic, geographical, and several levels of structural similarity between languages on the other. Of these, structural similarity is found to correlate most strongly with language representation similarity, while genetic relationships---a convenient benchmark used for evaluation in previous work---appears to be a confounding factor. Apart from implications about translation effects, we see this more generally as a case where NLP and linguistic typology can interact and benefit one another. △ Less

Submitted 9 January, 2019; originally announced January 2019.

Comments: 8 pages, accepted for publication in Computational Linguistics (squib)

On the energy equality for solutions to Newtonian and non-Newtonian fluids

Authors: Hugo Beirao da Veiga, Jiaqi Yang

Abstract: We are concerned with the energy equality for weak solutions to Newtonian and non-Newtonian incompressible fluids. In particular, the results obtained for non-Newtonian fluids, after restriction to the Newtonian case, equal or improve the known results. Furthermore, a new result below allows an interpretation of the classical Shinbrot condition, coherent to the more recent results in the literatur… ▽ More We are concerned with the energy equality for weak solutions to Newtonian and non-Newtonian incompressible fluids. In particular, the results obtained for non-Newtonian fluids, after restriction to the Newtonian case, equal or improve the known results. Furthermore, a new result below allows an interpretation of the classical Shinbrot condition, coherent to the more recent results in the literature. △ Less

Submitted 8 January, 2019; originally announced January 2019.

Comments: 12 pages

MSC Class: 35Q30; 76A05; 76D03

Planet-disc interactions with Discontinuous Galerkin Methods using GPUs

Authors: David A. Velasco-Romero, Maria Han Veiga, Romain Teyssier, Frédéric S. Masset

Abstract: We present a two-dimensional Cartesian code based on high order discontinuous Galerkin methods, implemented to run in parallel over multiple GPUs. A simple planet-disc setup is used to compare the behaviour of our code against the behaviour found using the FARGO3D code with a polar mesh. We make use of the time dependence of the torque exerted by the disc on the planet as a mean to quantify the nu… ▽ More We present a two-dimensional Cartesian code based on high order discontinuous Galerkin methods, implemented to run in parallel over multiple GPUs. A simple planet-disc setup is used to compare the behaviour of our code against the behaviour found using the FARGO3D code with a polar mesh. We make use of the time dependence of the torque exerted by the disc on the planet as a mean to quantify the numerical viscosity of the code. We find that the numerical viscosity of the Keplerian flow can be as low as a few $10^{-8}r^2Ω$, $r$ and $Ω$ being respectively the local orbital radius and frequency, for fifth order schemes and resolution of $\sim 10^{-2}r$. Although for a single disc problem a solution of low numerical viscosity can be obtained at lower computational cost with FARGO3D (which is nearly an order of magnitude faster than a fifth order method), discontinuous Galerkin methods appear promising to obtain solutions of low numerical viscosity in more complex situations where the flow cannot be captured on a polar or spherical mesh concentric with the disc. △ Less

Submitted 3 May, 2018; originally announced May 2018.

Comments: Accepted for publication in MNRAS

Capturing near-equilibrium solutions: a comparison between high-order discontinuous Galerkin methods and well-balanced schemes

Authors: Maria Han Veiga, David A. Romero Velasco, Rémi Abgrall, Romain Teyssier

Abstract: Equilibrium or stationary solutions usually proceed through the exact balance between hyperbolic transport terms and source terms. Such equilibrium solutions are affected by truncation errors that prevent any classical numerical scheme from capturing the evolution of small amplitude waves of physical significance. In order to overcome this problem, we compare two commonly adopted strategies: going… ▽ More Equilibrium or stationary solutions usually proceed through the exact balance between hyperbolic transport terms and source terms. Such equilibrium solutions are affected by truncation errors that prevent any classical numerical scheme from capturing the evolution of small amplitude waves of physical significance. In order to overcome this problem, we compare two commonly adopted strategies: going to very high order and reduce drastically the truncation errors on the equilibrium solution, or design a specific scheme that preserves by construction the equilibrium exactly, the so-called well-balanced approach. We present a modern numerical implementation of these two strategies and compare them in details, using hydrostatic but also dynamical equilibrium solutions of several simple test cases. Finally, we apply our methodology to the simulation of a protoplanetary disc in centrifugal equilibrium around its star and model its interaction with an embedded planet, illustrating in a realistic application the strength of both methods. △ Less

Submitted 21 August, 2018; v1 submitted 15 March, 2018; originally announced March 2018.

Comments: 37 pages, 13 figures

MSC Class: 65M60; 65Z05 ACM Class: G.1.8; G.4; J.2

On the extension to slip boundary conditions of a Bae and Choe regularity criterion for the Navier-Stokes equations. The half-space case

Authors: Hugo Beirao da Veiga

Abstract: This notes concern the sufficient conditions for regularity of solutions to the evolution Navier-Stokes equations known in the literature as Prodi-Serrin's condition. H.-O. Bae and H.-J. Choe proved in a 1999 paper that, in the whole space R^3, it is merely sufficient that two components of the velocity satisfy the above condition. Below, we extend the result to the half-space case R^n_+ under sli… ▽ More This notes concern the sufficient conditions for regularity of solutions to the evolution Navier-Stokes equations known in the literature as Prodi-Serrin's condition. H.-O. Bae and H.-J. Choe proved in a 1999 paper that, in the whole space R^3, it is merely sufficient that two components of the velocity satisfy the above condition. Below, we extend the result to the half-space case R^n_+ under slip boundary conditions. We show that it is sufficient that the velocity component parallel to the boundary enjoys the above condition. Flat boundary geometry seems not essential, as suggested by some preliminary calculations in cylindrical domains. △ Less

Submitted 21 December, 2016; originally announced December 2016.

A Cross-Platform Collection of Social Network Profiles

Authors: Maria Han Veiga, Carsten Eickhoff

Abstract: The proliferation of Internet-enabled devices and services has led to a shifting balance between digital and analogue aspects of our everyday lives. In the face of this development there is a growing demand for the study of privacy hazards, the potential for unique user de-anonymization and information leakage between the various social media profiles many of us maintain. To enable the structured… ▽ More The proliferation of Internet-enabled devices and services has led to a shifting balance between digital and analogue aspects of our everyday lives. In the face of this development there is a growing demand for the study of privacy hazards, the potential for unique user de-anonymization and information leakage between the various social media profiles many of us maintain. To enable the structured study of such adversarial effects, this paper presents a dedicated dataset of cross-platform social network personas (i.e., the same person has accounts on multiple platforms). The corpus comprises 850 users who generate predominantly English content. Each user object contains the online footprint of the same person in three distinct social networks: Twitter, Instagram and Foursquare. In total, it encompasses over 2.5M tweets, 340k check-ins and 42k Instagram posts. We describe the collection methodology, characteristics of the dataset, and how to obtain it. Finally, we discuss a common use case, cross-platform user identification. △ Less

Submitted 12 July, 2016; originally announced July 2016.

Comments: 4 pages, 5 figures, SIGIR 2016, short paper. SIGIR 2016 Proceedings of the 39th International ACM SIGIR conference on Research and Development in Information Retrieval

Privacy Leakage through Innocent Content Sharing in Online Social Networks

Authors: Maria Han Veiga, Carsten Eickhoff

Abstract: The increased popularity and ubiquitous availability of online social networks and globalised Internet access have affected the way in which people share content. The information that users willingly disclose on these platforms can be used for various purposes, from building consumer models for advertising, to inferring personal, potentially invasive, information. In this work, we use Twitter, Ins… ▽ More The increased popularity and ubiquitous availability of online social networks and globalised Internet access have affected the way in which people share content. The information that users willingly disclose on these platforms can be used for various purposes, from building consumer models for advertising, to inferring personal, potentially invasive, information. In this work, we use Twitter, Instagram and Foursquare data to convey the idea that the content shared by users, especially when aggregated across platforms, can potentially disclose more information than was originally intended. We perform two case studies: First, we perform user de-anonymization by mimicking the scenario of finding the identity of a user making anonymous posts within a group of users. Empirical evaluation on a sample of real-world social network profiles suggests that cross-platform aggregation introduces significant performance gains in user identification. In the second task, we show that it is possible to infer physical location visits of a user on the basis of shared Twitter and Instagram content. We present an informativeness scoring function which estimates the relevance and novelty of a shared piece of information with respect to an inference task. This measure is validated using an active learning framework which chooses the most informative content at each given point in time. Based on a large-scale data sample, we show that by doing this, we can attain an improved inference performance. In some cases this performance exceeds even the use of the user's full timeline. △ Less

Submitted 10 July, 2016; originally announced July 2016.

Comments: 8 pages, 10 figures, submitted to Privacy Preserving Workshop, Sigir

Open problems concerning the Holder continuity of the direction of vorticity for the Navier-Stokes equations

Authors: Hugo Beirao da Veiga

Abstract: In these notes we consider solutions u to the evolution three dimensional Navier-Stokes equations in the whole space. Set w= curl u, the vorticity of u. Our study concerns mainly the relation between Holdercontinuity assumptions on the direction of the vorticity and induced space-time integrability regularity results for w. We discuss some related open problems, consistent with our calculations. W… ▽ More In these notes we consider solutions u to the evolution three dimensional Navier-Stokes equations in the whole space. Set w= curl u, the vorticity of u. Our study concerns mainly the relation between Holdercontinuity assumptions on the direction of the vorticity and induced space-time integrability regularity results for w. We discuss some related open problems, consistent with our calculations. We hope that our approach should help readers interesting in carrying on the investigation. △ Less

Submitted 27 April, 2016; originally announced April 2016.

On classical solutions to elliptic boundary value problems. The full regularity spaces $C^{0,\,\la}_\al(\Ov)$

Authors: Hugo Beirao da Veiga

Abstract: Let L be a second order, uniformly elliptic operator, and consider the equation L u=f under the homogeneous boundary condition u=0. It is well known that f in C(Om) (Om= Omega) does not guarantee second order derivatives D^2 u in C(Om). This gap led to look for functional spaces C_*(Om), contained in C(Om), as large as possible, for which f in C_*(Om) merely guarantees the continuity of D^2 u (but… ▽ More Let L be a second order, uniformly elliptic operator, and consider the equation L u=f under the homogeneous boundary condition u=0. It is well known that f in C(Om) (Om= Omega) does not guarantee second order derivatives D^2 u in C(Om). This gap led to look for functional spaces C_*(Om), contained in C(Om), as large as possible, for which f in C_*(Om) merely guarantees the continuity of D^2 u (but nothing more, say). Hölder continuity is too restrictive to fulfill this minimal requirement since in this case D^2 u inherits the whole regularity enjoyed by f (we say that "full regularity" occurs). This two opposite situations led us to look for significant cases in which intermediate regularity (i.e., between "mere continuity" and "full regularity") occurs. This holds for data in Log spaces D^{0,a}(Om) (a= alpha) where 0< a < infty, simply obtained by replacing in the modulus of continuity of Hölder spaces the quantity 1/|x-y| by log(1/|x-y|). If f in D^{0,a} for some fixed a > 1, then D^2 u in D^{0,a-1}. This regularity is optimal. The above picture opened the way to further investigation. Below we study the more general problem of data f in subspaces of continuous functions D_{om}, characterized by a given modulus of continuity om(r). Hölder and Log spaces are particular cases. A significant new, lets say curious, case is shown by the family of functional spaces C^{0,l}_a (l= lambda), where 0 <= l < 1, and a in R. In particular, C^{0,l}_0= C^{0,l}, is a Hölder space, and C^{0,0}_a = D^{0,a}, is a Log space. Main point is that full regularity occurs for l > 0, and arbitrary a in R. If f in C^{0,l}_a then D^2 u in C^{0,l}_a. △ Less

Submitted 16 October, 2015; originally announced October 2015.

MSC Class: 35A09; 35B65; 35J25

H-log spaces of continuous functions, potentials, and elliptic boundary value problems

Authors: Hugo Beirao da Veiga

Abstract: In these notes we study a family of Banach spaces, denoted $\, D^{0,\,\al}(\Ov)\,,$ $\,\al \in\,\R^+\,,$ and called H-log spaces. For $\,0<\,\la\leq\,1\,,$ one has $ C^{0,\,\la}(\Ov)\subset D^{0,\,\al}(\Ov) \subset\,C(\Ov)\,,$ with compact embedding. These spaces present the following "intermediate" regularity behavior. Solutions $\,u\,$ of second order linear elliptic boundary value problems, und… ▽ More In these notes we study a family of Banach spaces, denoted $\, D^{0,\,\al}(\Ov)\,,$ $\,\al \in\,\R^+\,,$ and called H-log spaces. For $\,0<\,\la\leq\,1\,,$ one has $ C^{0,\,\la}(\Ov)\subset D^{0,\,\al}(\Ov) \subset\,C(\Ov)\,,$ with compact embedding. These spaces present the following "intermediate" regularity behavior. Solutions $\,u\,$ of second order linear elliptic boundary value problems, under "external forces" $\,f\in\, D^{0,\,\al}(\Ov)\,$ for some $\,\al>\,1\,,$ satisfy $\,\na^2\,u\in\, D^{0,\,\al-\,1}(\Ov)\,$. This result is optimal, since $\,\na^2\,u\in\, D^{0,\,β}(\Ov)\,,$ for some $\,β>\,\al-1\,,$ is false in general. We present a preliminary study on this subject. △ Less

Submitted 13 March, 2015; originally announced March 2015.

MSC Class: 31B10; 31B35; 33E30; 35A09; 35B65; 35J25

On some regularity results for $\,2-D\,$ Euler equations and linear elliptic b.v. problems

Authors: Hugo Beirao da Veiga

Abstract: About thirty years ago we looked for "minimal assumptions" on the data which guarantee that solutions to the $\,2-D\,$ evolution Euler equations in a bounded domain are classical. Classical means here that all the derivatives appearing in the equations and boundary conditions are continuous up to the boundary. Following a well known device, the above problem led us to consider this same regularity… ▽ More About thirty years ago we looked for "minimal assumptions" on the data which guarantee that solutions to the $\,2-D\,$ evolution Euler equations in a bounded domain are classical. Classical means here that all the derivatives appearing in the equations and boundary conditions are continuous up to the boundary. Following a well known device, the above problem led us to consider this same regularity problem for the Poisson equation under homogeneous Dirichlet boundary conditions. At this point, one was naturally led to consider the extension of this last problem to more general linear elliptic boundary value problems, and also to try to extend the results to more general data spaces. At that time, some side results in these directions remained unpublished. The first motivation for this note is a clear description of the route followed by us in studying these kind of problems. New results and open problems are also considered. △ Less

Submitted 4 February, 2015; originally announced February 2015.

MSC Class: 26B30; 26B35; 35A09; 35B65; 35J25; 35Q30

On nonlinear potential theory, and regular boundary points, for the p-Laplacian in N space variables

Authors: H. Beirao da Veiga

Abstract: We turn back to some pioneering results concerning, in particular, nonlinear potential theory and non-homogeneous boundary value problems for the so called p-Laplacian operator. Unfortunately these results, obtained at the very beginning of the seventies, were kept in the shade. We believe that our proofs are still of interest, in particular due to their extreme simplicity. Moreover, some contribu… ▽ More We turn back to some pioneering results concerning, in particular, nonlinear potential theory and non-homogeneous boundary value problems for the so called p-Laplacian operator. Unfortunately these results, obtained at the very beginning of the seventies, were kept in the shade. We believe that our proofs are still of interest, in particular due to their extreme simplicity. Moreover, some contributions seem to improve the results quoted in the current literature. △ Less

Submitted 4 April, 2013; originally announced April 2013.

On the singular p-Laplacian system under Navier slip type boundary conditions. The gradient-symmetric case

Authors: Hugo Beirao da Veiga

Abstract: We consider the p-Laplacian system of N equations in n space variables, 1< p\leq 2, under the homogeneous Navier slip boundary condition. Furthermore, the gradient of the velocity is replaced by the, more physical, symmetric gradient. We prove W^{2, q} regularity, up to the boundary, under suitable assumptions on the couple p,q. The singular case μ= 0 is covered. We consider the p-Laplacian system of N equations in n space variables, 1< p\leq 2, under the homogeneous Navier slip boundary condition. Furthermore, the gradient of the velocity is replaced by the, more physical, symmetric gradient. We prove W^{2, q} regularity, up to the boundary, under suitable assumptions on the couple p,q. The singular case μ= 0 is covered. △ Less

Submitted 24 December, 2012; originally announced December 2012.

Singular parabolic p-Laplacian systems under non-smooth external forces. Regularity up to the boundary

Authors: Hugo Beirao da Veiga

Abstract: We study the regularity of the solutions to initial-boundary value problems for N-systems of the p-Laplacian type, in $n\geq 3$ space variables, with square-integrable external forces in the space-time cylinder. So, the ellipticity coefficient remains unbounded. The singular case $μ=0 $ is covered. We study the regularity of the solutions to initial-boundary value problems for N-systems of the p-Laplacian type, in $n\geq 3$ space variables, with square-integrable external forces in the space-time cylinder. So, the ellipticity coefficient remains unbounded. The singular case $μ=0 $ is covered. △ Less

Submitted 8 June, 2012; originally announced June 2012.

On the global W^{2,q} regularity for nonlinear N-systems of the p-Laplacian type in n space variables

Authors: H. Beirao da Veiga, F. Crispo

Abstract: We consider the Dirichlet boundary value problem for nonlinear N-systems of partial differential equations with p-growth, 1<p<2, in the n-dimensional case. For clearness, we confine ourselves to a particularly representative case, the well known p-laplacian system. We are interested in regularity results, up to the boundary, for the second order derivatives of the solution. We prove W^{2,q}-global… ▽ More We consider the Dirichlet boundary value problem for nonlinear N-systems of partial differential equations with p-growth, 1<p<2, in the n-dimensional case. For clearness, we confine ourselves to a particularly representative case, the well known p-laplacian system. We are interested in regularity results, up to the boundary, for the second order derivatives of the solution. We prove W^{2,q}-global regularity results, for arbitrarily large values of q. In turn, the regularity achieved implies the Holder continuity of the gradient of the solution. It is worth noting that we cover the singular case μ=0. See Theorem 2.1 below. △ Less

Submitted 12 January, 2012; originally announced January 2012.

A Missed Persistence Property for the Euler Equations, and its Effect on Inviscid Limits

Authors: H. Beirao da Veiga, F. Crispo

Abstract: We consider the problem of the strong convergence, as the viscosity goes to zero, of the solutions to the three-dimensional evolutionary Navier-Stokes equations under a Navier slip-type boundary condition to the solution of the Euler equations under the zero flux boundary condition. In spite of the arbitrarily strong convergence results proved in the flat boundary case, see [4], it was shown in re… ▽ More We consider the problem of the strong convergence, as the viscosity goes to zero, of the solutions to the three-dimensional evolutionary Navier-Stokes equations under a Navier slip-type boundary condition to the solution of the Euler equations under the zero flux boundary condition. In spite of the arbitrarily strong convergence results proved in the flat boundary case, see [4], it was shown in reference [5] that the result is false in general, by constructing an explicit family of smooth initial data in the sphere, for which the result fails. Our aim here is to present a more general, simpler and incisive proof. In particular, counterexamples can be displayed in arbitrary, smooth, domains. As in [5], the proof is reduced to the lack of a suitable persistence property for the Euler equations. This negative result is proved by a completely different approach. △ Less

Submitted 5 November, 2010; v1 submitted 4 November, 2010; originally announced November 2010.

The 3-D Inviscid Limit Result under Slip Boundary Conditions. A Negative Answer

Authors: H. Beirão da Veiga, F. Crispo

Abstract: We show that, in general, the solutions to the initial-boundary value problem for the Navier-Stokes equations under a widely adopted Navier-type slip boundary condition do not converge, as the viscosity goes to zero (in any arbitrarily small neighborhood of the initial time), to the solution of the Euler equations under the classical zero-flux boundary condition, and same smooth initial data. Conv… ▽ More We show that, in general, the solutions to the initial-boundary value problem for the Navier-Stokes equations under a widely adopted Navier-type slip boundary condition do not converge, as the viscosity goes to zero (in any arbitrarily small neighborhood of the initial time), to the solution of the Euler equations under the classical zero-flux boundary condition, and same smooth initial data. Convergence does not hold with respect to any space-topology which is sufficiently strong as to imply that the solution to the Euler equations inherits the complete slip type boundary condition (see the Theorem 1.2 below). In our counter-example $\Om$ is a sphere, and the initial data may be infinitely differentiable. The crucial point here is that the boundary is not flat. In fact (see [3]), if $\Om = \R^3_+,$ convergence holds in $C([0,T]; W^{k,p}(\R^3_+))$, for arbitrarily large $k$ and $p$. For this reason, the negative answer given here was not expected. △ Less

Submitted 25 October, 2010; originally announced October 2010.

On the global regularity for nonlinear systems of the p-Laplacian type

Authors: H. Beirão da Veiga, F. Crispo

Abstract: We consider the Dirichlet boundary value problem for nonlinear systems of partial differential equations with p-structure. We choose two representative cases: the "full gradient case", corresponding to a p-Laplacian, and the "symmetric gradient case", arising from mathematical physics. The domain is either the "cubic domain" (see the definition below) or a bounded open subset of R^3 with a smooth… ▽ More We consider the Dirichlet boundary value problem for nonlinear systems of partial differential equations with p-structure. We choose two representative cases: the "full gradient case", corresponding to a p-Laplacian, and the "symmetric gradient case", arising from mathematical physics. The domain is either the "cubic domain" (see the definition below) or a bounded open subset of R^3 with a smooth boundary. We are interested in regularity results, up to the boundary, for the second order derivatives of the velocity field. Depending on the model and on the range of p, p<2 or p>2, we prove different regularity results. It is worth noting that in the full gradient case with p<2 we cover the degenerate case and obtain W^{2,q}-global regularity results, for arbitrarily large values of q. △ Less

Submitted 22 June, 2011; v1 submitted 19 August, 2010; originally announced August 2010.

Comments: This is a revised version of a previous one, online from 19 Aug 2010. We essentially weaken the assumptions of Theorem 2.3

On the reduction of PDE's problems in the half-space, under the slip boundary condition, to the corresponding problems in the whole space

Authors: H. Beirão da Veiga, F. Crispo, C. R. Grisanti

Abstract: The resolution of a very large class of linear and non-linear, stationary and evolutive partial differential problems in the half-space (or similar) under the slip boundary condition is reduced here to that of the corresponding results for the same problem in the whole space. The approach is particularly suitable for proving new results in strong norms. To determine whether this extension is avail… ▽ More The resolution of a very large class of linear and non-linear, stationary and evolutive partial differential problems in the half-space (or similar) under the slip boundary condition is reduced here to that of the corresponding results for the same problem in the whole space. The approach is particularly suitable for proving new results in strong norms. To determine whether this extension is available, turns out to be a simple exercise. The verification depends on a few general features of the functional space X related to the space variables. Hence, we present an approach as much as possible independent of the particular space X. We appeal to a reflection technique. Hence a crucial assumption is to be in the presence of flat boundaries (see below). Instead of stating "general theorems" we rather prefer to illustrate how to apply our results by considering a couple of interesting problems. As a main example, we show that the resolution of a class of problems for the evolution Navier-Stokes equations under a slip boundary condition can be reduced to that of the corresponding results for the Cauchy problem. In particular, we show that sharp vanishing viscosity limit results that hold for the evolution Navier-Stokes equations in the whole space can be extended to the boundary value problem in the half-space. We also show some applications to non-Newtonian fluid problems. △ Less

Submitted 19 August, 2010; originally announced August 2010.