-
A new method of reconstructing images of gamma-ray telescopes applied to the LST-1 of CTAO
Authors:
CTA-LST Project,
:,
K. Abe,
S. Abe,
A. Abhishek,
F. Acero,
A. Aguasca-Cabot,
I. Agudo,
C. Alispach,
N. Alvarez Crespo,
D. Ambrosino,
L. A. Antonelli,
C. Aramo,
A. Arbet-Engels,
C. Arcaro,
K. Asano,
P. Aubert,
A. Baktash,
M. Balbo,
A. Bamba,
A. Baquero Larriva,
U. Barres de Almeida,
J. A. Barrio,
L. Barrios Jiménez,
I. Batkovic
, et al. (283 additional authors not shown)
Abstract:
Imaging atmospheric Cherenkov telescopes (IACTs) are used to observe very high-energy photons from the ground. Gamma rays are indirectly detected through the Cherenkov light emitted by the air showers they induce. The new generation of experiments, in particular the Cherenkov Telescope Array Observatory (CTAO), sets ambitious goals for discoveries of new gamma-ray sources and precise measurements…
▽ More
Imaging atmospheric Cherenkov telescopes (IACTs) are used to observe very high-energy photons from the ground. Gamma rays are indirectly detected through the Cherenkov light emitted by the air showers they induce. The new generation of experiments, in particular the Cherenkov Telescope Array Observatory (CTAO), sets ambitious goals for discoveries of new gamma-ray sources and precise measurements of the already discovered ones. To achieve these goals, both hardware and data analysis must employ cutting-edge techniques. This also applies to the LST-1, the first IACT built for the CTAO, which is currently taking data on the Canary island of La Palma. This paper introduces a new event reconstruction technique for IACT data, aiming to improve the image reconstruction quality and the discrimination between the signal and the background from misidentified hadrons and electrons. The technique models the development of the extensive air shower signal, recorded as a waveform per pixel, seen by CTAO telescopes' cameras. Model parameters are subsequently passed to random forest regressors and classifiers to extract information on the primary particle. The new reconstruction was applied to simulated data and to data from observations of the Crab Nebula performed by the LST-1. The event reconstruction method presented here shows promising performance improvements. The angular and energy resolution, and the sensitivity, are improved by 10 to 20% over most of the energy range. At low energy, improvements reach up to 22%, 47%, and 50%, respectively. A future extension of the method to stereoscopic analysis for telescope arrays will be the next important step.
△ Less
Submitted 21 October, 2024;
originally announced October 2024.
-
Enhancing LLM Problem Solving with REAP: Reflection, Explicit Problem Deconstruction, and Advanced Prompting
Authors:
Ryan Lingo,
Martin Arroyo,
Rajeev Chhajer
Abstract:
Large Language Models (LLMs) have transformed natural language processing, yet improving their problem-solving capabilities, particularly for complex, reasoning-intensive tasks, remains a persistent challenge. This paper introduces the REAP (Reflection, Explicit Problem Deconstruction, and Advanced Prompting) method, an innovative approach within the dynamic context generation framework. REAP guid…
▽ More
Large Language Models (LLMs) have transformed natural language processing, yet improving their problem-solving capabilities, particularly for complex, reasoning-intensive tasks, remains a persistent challenge. This paper introduces the REAP (Reflection, Explicit Problem Deconstruction, and Advanced Prompting) method, an innovative approach within the dynamic context generation framework. REAP guides LLMs through reflection on the query, deconstructing it into manageable components, and generating relevant context to enhance the solution process. We evaluated REAP using a dataset designed to expose LLM limitations, comparing zero-shot prompting with REAP-enhanced prompts across six state-of-the-art models: OpenAI's o1-preview, o1-mini, GPT-4o, GPT-4o-mini, Google's Gemini 1.5 Pro, and Claude 3.5 Sonnet. The results demonstrate notable performance gains, with o1-mini improving by 40.97%, GPT-4o by 66.26%, and GPT-4o-mini by 112.93%. Despite the already strong baseline performance of OpenAI's o1-preview, modest gains were observed. Beyond performance improvements, REAP offers a cost-effective solution; for example, GPT-4o-mini, which is approximately 100 times cheaper than o1-preview, delivered competitive results. REAP also improves the clarity of model outputs, making it easier for humans to understand the reasoning behind the results and simplifying the process of identifying and addressing any issues. These findings demonstrate REAP's potential to greatly improve the capabilities of LLMs, providing both better performance and increased cost-efficiency across a wide range of applications.
△ Less
Submitted 14 September, 2024;
originally announced September 2024.
-
Open (Clinical) LLMs are Sensitive to Instruction Phrasings
Authors:
Alberto Mario Ceballos Arroyo,
Monica Munnangi,
Jiuding Sun,
Karen Y. C. Zhang,
Denis Jered McInerney,
Byron C. Wallace,
Silvio Amir
Abstract:
Instruction-tuned Large Language Models (LLMs) can perform a wide range of tasks given natural language instructions to do so, but they are sensitive to how such instructions are phrased. This issue is especially concerning in healthcare, as clinicians are unlikely to be experienced prompt engineers and the potential consequences of inaccurate outputs are heightened in this domain.
This raises a…
▽ More
Instruction-tuned Large Language Models (LLMs) can perform a wide range of tasks given natural language instructions to do so, but they are sensitive to how such instructions are phrased. This issue is especially concerning in healthcare, as clinicians are unlikely to be experienced prompt engineers and the potential consequences of inaccurate outputs are heightened in this domain.
This raises a practical question: How robust are instruction-tuned LLMs to natural variations in the instructions provided for clinical NLP tasks? We collect prompts from medical doctors across a range of tasks and quantify the sensitivity of seven LLMs -- some general, others specialized -- to natural (i.e., non-adversarial) instruction phrasings. We find that performance varies substantially across all models, and that -- perhaps surprisingly -- domain-specific models explicitly trained on clinical data are especially brittle, compared to their general domain counterparts. Further, arbitrary phrasing differences can affect fairness, e.g., valid but distinct instructions for mortality prediction yield a range both in overall performance, and in terms of differences between demographic groups.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
A detailed study of the very-high-energy Crab pulsar emission with the LST-1
Authors:
CTA-LST Project,
:,
K. Abe,
S. Abe,
A. Abhishek,
F. Acero,
A. Aguasca-Cabot,
I. Agudo,
N. Alvarez Crespo,
L. A. Antonelli,
C. Aramo,
A. Arbet-Engels,
C. Arcaro,
M. Artero,
K. Asano,
P. Aubert,
A. Baktash,
A. Bamba,
A. Baquero Larriva,
L. Baroncelli,
U. Barres de Almeida,
J. A. Barrio,
I. Batkovic,
J. Baxter,
J. Becerra González
, et al. (272 additional authors not shown)
Abstract:
Context: There are currently three pulsars firmly detected by imaging atmospheric Cherenkov telescopes (IACTs), two of them reaching TeV energies, challenging models of very-high-energy (VHE) emission in pulsars. More precise observations are needed to better characterize pulsar emission at these energies. The LST-1 is the prototype of the Large-Sized Telescope, that will be part of the Cherenkov…
▽ More
Context: There are currently three pulsars firmly detected by imaging atmospheric Cherenkov telescopes (IACTs), two of them reaching TeV energies, challenging models of very-high-energy (VHE) emission in pulsars. More precise observations are needed to better characterize pulsar emission at these energies. The LST-1 is the prototype of the Large-Sized Telescope, that will be part of the Cherenkov Telescope Array Observatory (CTAO). Its improved performance over previous IACTs makes it well suited for studying pulsars. Aims: To study the Crab pulsar emission with the LST-1, improving and complementing the results from other telescopes. These observations can also be used to characterize the potential of the LST-1 to study other pulsars and detect new ones. Methods: We analyzed a total of $\sim$103 hours of gamma-ray observations of the Crab pulsar conducted with the LST-1 in the period from September 2020 to January 2023. The observations were carried out at zenith angles less than 50 degrees. A new analysis of the Fermi-LAT data was also performed, including $\sim$14 years of observations. Results: The Crab pulsar phaseogram, long-term light-curve, and phase-resolved spectra are reconstructed with the LST-1 from 20 GeV to 450 GeV for P1 and up to 700 GeV for P2. The pulsed emission is detected with a significance of 15.2$σ$. The two characteristic emission peaks of the Crab pulsar are clearly detected (>10$σ$), as well as the so-called bridge emission (5.7$σ$). We find that both peaks are well described by power laws, with spectral indices of $\sim$3.44 and $\sim$3.03 respectively. The joint analysis of Fermi-LAT and LST-1 data shows a good agreement between both instruments in the overlapping energy range. The detailed results obtained in the first observations of the Crab pulsar with LST-1 show the potential that CTAO will have to study this type of sources.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
Classification of nilpotent almost abelian Lie groups admitting left-invariant complex or symplectic structures
Authors:
Romina M. Arroyo,
María L. Barberis,
Verónica S. Diaz,
Yamile Godoy,
Isabel Hernández
Abstract:
We classify the nilpotent almost abelian Lie algebras admitting complex or symplectic structures. It turns out that if a nilpotent almost abelian Lie algebra admits a complex structure, then it necessarily admits a symplectic structure. Given an even dimensional almost abelian Lie algebra, we show that it always admits a complex structure when it is 2-step nilpotent and it always admits a symplect…
▽ More
We classify the nilpotent almost abelian Lie algebras admitting complex or symplectic structures. It turns out that if a nilpotent almost abelian Lie algebra admits a complex structure, then it necessarily admits a symplectic structure. Given an even dimensional almost abelian Lie algebra, we show that it always admits a complex structure when it is 2-step nilpotent and it always admits a symplectic structure when it is $k$-step nilpotent for $k=2, \, 3$ or $4$. Several consequences of the classification theorems are obtained.
△ Less
Submitted 10 June, 2024;
originally announced June 2024.
-
Mixed Diffusion for 3D Indoor Scene Synthesis
Authors:
Siyi Hu,
Diego Martin Arroyo,
Stephanie Debats,
Fabian Manhardt,
Luca Carlone,
Federico Tombari
Abstract:
Realistic conditional 3D scene synthesis significantly enhances and accelerates the creation of virtual environments, which can also provide extensive training data for computer vision and robotics research among other applications. Diffusion models have shown great performance in related applications, e.g., making precise arrangements of unordered sets. However, these models have not been fully e…
▽ More
Realistic conditional 3D scene synthesis significantly enhances and accelerates the creation of virtual environments, which can also provide extensive training data for computer vision and robotics research among other applications. Diffusion models have shown great performance in related applications, e.g., making precise arrangements of unordered sets. However, these models have not been fully explored in floor-conditioned scene synthesis problems. We present MiDiffusion, a novel mixed discrete-continuous diffusion model architecture, designed to synthesize plausible 3D indoor scenes from given room types, floor plans, and potentially pre-existing objects. We represent a scene layout by a 2D floor plan and a set of objects, each defined by its category, location, size, and orientation. Our approach uniquely implements structured corruption across the mixed discrete semantic and continuous geometric domains, resulting in a better conditioned problem for the reverse denoising step. We evaluate our approach on the 3D-FRONT dataset. Our experimental results demonstrate that MiDiffusion substantially outperforms state-of-the-art autoregressive and diffusion models in floor-conditioned 3D scene synthesis. In addition, our models can handle partial object constraints via a corruption-and-masking strategy without task specific training. We show MiDiffusion maintains clear advantages over existing approaches in scene completion and furniture arrangement experiments.
△ Less
Submitted 31 May, 2024;
originally announced May 2024.
-
3D scene generation from scene graphs and self-attention
Authors:
Pietro Bonazzi,
Mengqi Wang,
Diego Martin Arroyo,
Fabian Manhardt,
Nico Messikomer,
Federico Tombari,
Davide Scaramuzza
Abstract:
Synthesizing realistic and diverse indoor 3D scene layouts in a controllable fashion opens up applications in simulated navigation and virtual reality. As concise and robust representations of a scene, scene graphs have proven to be well-suited as the semantic control on the generated layout. We present a variant of the conditional variational autoencoder (cVAE) model to synthesize 3D scenes from…
▽ More
Synthesizing realistic and diverse indoor 3D scene layouts in a controllable fashion opens up applications in simulated navigation and virtual reality. As concise and robust representations of a scene, scene graphs have proven to be well-suited as the semantic control on the generated layout. We present a variant of the conditional variational autoencoder (cVAE) model to synthesize 3D scenes from scene graphs and floor plans. We exploit the properties of self-attention layers to capture high-level relationships between objects in a scene, and use these as the building blocks of our model. Our model, leverages graph transformers to estimate the size, dimension and orientation of the objects in a room while satisfying relationships in the given scene graph. Our experiments shows self-attention layers leads to sparser (7.9x compared to Graphto3D) and more diverse scenes (16%).
△ Less
Submitted 23 April, 2024; v1 submitted 2 April, 2024;
originally announced April 2024.
-
Mechanisms enabling efficient fountain-flow supracellular migration
Authors:
Jordi Font-Reverter,
Alejandro Torres-Sánchez,
Guillermo Vilanova,
Marino Arroyo
Abstract:
In a prototypical mode of single-cell migration, retrograde cytoskeletal flow is mechanically coupled to the environment, propels the cell, and is sustained by an anterograde cytosolic flow of disassembled cytoskeletal components. Supracellular collectives also develop fountain-flows to migrate, but the opposing cellular streams interact with the environment producing conflicting forces. To unders…
▽ More
In a prototypical mode of single-cell migration, retrograde cytoskeletal flow is mechanically coupled to the environment, propels the cell, and is sustained by an anterograde cytosolic flow of disassembled cytoskeletal components. Supracellular collectives also develop fountain-flows to migrate, but the opposing cellular streams interact with the environment producing conflicting forces. To understand the biophysical constraints of fountain-flow supracellular migration, we develop an active gel model of a cell cluster driven by a polarized peripheral contractile cable. While the model develops fountain-flows and directed migration, efficiency and cluster velocity are extremely small compared to observations. We find that patterned friction or cluster-polarized single-cell directed migration, both suggested by contact inhibition of locomotion, rescue robust and efficient supracellular migration.
△ Less
Submitted 18 March, 2024;
originally announced March 2024.
-
Dark Matter Line Searches with the Cherenkov Telescope Array
Authors:
S. Abe,
J. Abhir,
A. Abhishek,
F. Acero,
A. Acharyya,
R. Adam,
A. Aguasca-Cabot,
I. Agudo,
A. Aguirre-Santaella,
J. Alfaro,
R. Alfaro,
N. Alvarez-Crespo,
R. Alves Batista,
J. -P. Amans,
E. Amato,
G. Ambrosi,
L. Angel,
C. Aramo,
C. Arcaro,
T. T. H. Arnesen,
L. Arrabito,
K. Asano,
Y. Ascasibar,
J. Aschersleben,
H. Ashkar
, et al. (540 additional authors not shown)
Abstract:
Monochromatic gamma-ray signals constitute a potential smoking gun signature for annihilating or decaying dark matter particles that could relatively easily be distinguished from astrophysical or instrumental backgrounds. We provide an updated assessment of the sensitivity of the Cherenkov Telescope Array (CTA) to such signals, based on observations of the Galactic centre region as well as of sele…
▽ More
Monochromatic gamma-ray signals constitute a potential smoking gun signature for annihilating or decaying dark matter particles that could relatively easily be distinguished from astrophysical or instrumental backgrounds. We provide an updated assessment of the sensitivity of the Cherenkov Telescope Array (CTA) to such signals, based on observations of the Galactic centre region as well as of selected dwarf spheroidal galaxies. We find that current limits and detection prospects for dark matter masses above 300 GeV will be significantly improved, by up to an order of magnitude in the multi-TeV range. This demonstrates that CTA will set a new standard for gamma-ray astronomy also in this respect, as the world's largest and most sensitive high-energy gamma-ray observatory, in particular due to its exquisite energy resolution at TeV energies and the adopted observational strategy focussing on regions with large dark matter densities. Throughout our analysis, we use up-to-date instrument response functions, and we thoroughly model the effect of instrumental systematic uncertainties in our statistical treatment. We further present results for other potential signatures with sharp spectral features, e.g.~box-shaped spectra, that would likewise very clearly point to a particle dark matter origin.
△ Less
Submitted 23 July, 2024; v1 submitted 7 March, 2024;
originally announced March 2024.
-
Chasing Gravitational Waves with the Cherenkov Telescope Array
Authors:
Jarred Gershon Green,
Alessandro Carosi,
Lara Nava,
Barbara Patricelli,
Fabian Schüssler,
Monica Seglar-Arroyo,
Cta Consortium,
:,
Kazuki Abe,
Shotaro Abe,
Atreya Acharyya,
Remi Adam,
Arnau Aguasca-Cabot,
Ivan Agudo,
Jorge Alfaro,
Nuria Alvarez-Crespo,
Rafael Alves Batista,
Jean-Philippe Amans,
Elena Amato,
Filippo Ambrosino,
Ekrem Oguzhan Angüner,
Lucio Angelo Antonelli,
Carla Aramo,
Cornelia Arcaro,
Luisa Arrabito
, et al. (545 additional authors not shown)
Abstract:
The detection of gravitational waves from a binary neutron star merger by Advanced LIGO and Advanced Virgo (GW170817), along with the discovery of the electromagnetic counterparts of this gravitational wave event, ushered in a new era of multimessenger astronomy, providing the first direct evidence that BNS mergers are progenitors of short gamma-ray bursts (GRBs). Such events may also produce very…
▽ More
The detection of gravitational waves from a binary neutron star merger by Advanced LIGO and Advanced Virgo (GW170817), along with the discovery of the electromagnetic counterparts of this gravitational wave event, ushered in a new era of multimessenger astronomy, providing the first direct evidence that BNS mergers are progenitors of short gamma-ray bursts (GRBs). Such events may also produce very-high-energy (VHE, > 100GeV) photons which have yet to be detected in coincidence with a gravitational wave signal. The Cherenkov Telescope Array (CTA) is a next-generation VHE observatory which aims to be indispensable in this search, with an unparalleled sensitivity and ability to slew anywhere on the sky within a few tens of seconds. New observing modes and follow-up strategies are being developed for CTA to rapidly cover localization areas of gravitational wave events that are typically larger than the CTA field of view. This work will evaluate and provide estimations on the expected number of of gravitational wave events that will be observable with CTA, considering both on- and off-axis emission. In addition, we will present and discuss the prospects of potential follow-up strategies with CTA.
△ Less
Submitted 5 February, 2024; v1 submitted 11 October, 2023;
originally announced October 2023.
-
Prospects for $γ$-ray observations of the Perseus galaxy cluster with the Cherenkov Telescope Array
Authors:
The Cherenkov Telescope Array Consortium,
:,
K. Abe,
S. Abe,
F. Acero,
A. Acharyya,
R. Adam,
A. Aguasca-Cabot,
I. Agudo,
A. Aguirre-Santaella,
J. Alfaro,
R. Alfaro,
N. Alvarez-Crespo,
R. Alves Batista,
J. -P. Amans,
E. Amato,
E. O. Angüner,
L. A. Antonelli,
C. Aramo,
M. Araya,
C. Arcaro,
L. Arrabito,
K. Asano,
Y. Ascasíbar,
J. Aschersleben
, et al. (542 additional authors not shown)
Abstract:
Galaxy clusters are expected to be dark matter (DM) reservoirs and storage rooms for the cosmic-ray protons (CRp) that accumulate along the cluster's formation history. Accordingly, they are excellent targets to search for signals of DM annihilation and decay at gamma-ray energies and are predicted to be sources of large-scale gamma-ray emission due to hadronic interactions in the intracluster med…
▽ More
Galaxy clusters are expected to be dark matter (DM) reservoirs and storage rooms for the cosmic-ray protons (CRp) that accumulate along the cluster's formation history. Accordingly, they are excellent targets to search for signals of DM annihilation and decay at gamma-ray energies and are predicted to be sources of large-scale gamma-ray emission due to hadronic interactions in the intracluster medium. We estimate the sensitivity of the Cherenkov Telescope Array (CTA) to detect diffuse gamma-ray emission from the Perseus galaxy cluster. We perform a detailed spatial and spectral modelling of the expected signal for the DM and the CRp components. For each, we compute the expected CTA sensitivity. The observing strategy of Perseus is also discussed. In the absence of a diffuse signal (non-detection), CTA should constrain the CRp to thermal energy ratio within the radius $R_{500}$ down to about $X_{500}<3\times 10^{-3}$, for a spatial CRp distribution that follows the thermal gas and a CRp spectral index $α_{\rm CRp}=2.3$. Under the optimistic assumption of a pure hadronic origin of the Perseus radio mini-halo and depending on the assumed magnetic field profile, CTA should measure $α_{\rm CRp}$ down to about $Δα_{\rm CRp}\simeq 0.1$ and the CRp spatial distribution with 10% precision. Regarding DM, CTA should improve the current ground-based gamma-ray DM limits from clusters observations on the velocity-averaged annihilation cross-section by a factor of up to $\sim 5$, depending on the modelling of DM halo substructure. In the case of decay of DM particles, CTA will explore a new region of the parameter space, reaching models with $τ_χ>10^{27}$s for DM masses above 1 TeV. These constraints will provide unprecedented sensitivity to the physics of both CRp acceleration and transport at cluster scale and to TeV DM particle models, especially in the decay scenario.
△ Less
Submitted 7 September, 2023;
originally announced September 2023.
-
Theory of active self-organization of dense nematic structures in the actin cytoskeleton
Authors:
Waleed Mirza,
Marco De Corato,
Marco Pensalfini,
Guillermo Vilanova,
Alejandro Torres-Sánchez,
Marino Arroyo
Abstract:
The actin cytoskeleton is remarkably adaptable and multifunctional. It often organizes into nematic bundles such as contractile rings or stress fibers. However, how a uniform and isotropic actin gel self-organizes into dense nematic bundles is not fully understood. Here, using an active gel model accounting for nematic order and density variations, we identify an active patterning mechanism leadin…
▽ More
The actin cytoskeleton is remarkably adaptable and multifunctional. It often organizes into nematic bundles such as contractile rings or stress fibers. However, how a uniform and isotropic actin gel self-organizes into dense nematic bundles is not fully understood. Here, using an active gel model accounting for nematic order and density variations, we identify an active patterning mechanism leading to localized dense nematic structures. Linear stability analysis and nonlinear finite element simulations establish the conditions for nematic bundle self-assembly and how active gel parameters control the architecture, orientation, connectivity and dynamics of self-organized patterns. Finally, we substantiate with discrete network simulations the main requirements for nematic bundle formation according to our theory, namely increased active tension perpendicular to the nematic direction and generalized active forces conjugate to nematic order. Our work portrays actin gels a reconfigurable active materials with a spontaneous tendency to develop patterns of dense nematic bundles.
△ Less
Submitted 21 December, 2023; v1 submitted 27 June, 2023;
originally announced June 2023.
-
Observations of the Crab Nebula and Pulsar with the Large-Sized Telescope Prototype of the Cherenkov Telescope Array
Authors:
CTA-LST Project,
:,
H. Abe,
K. Abe,
S. Abe,
A. Aguasca-Cabot,
I. Agudo,
N. Alvarez Crespo,
L. A. Antonelli,
C. Aramo,
A. Arbet-Engels,
C. Arcaro,
M. Artero,
K. Asano,
P. Aubert,
A. Baktash,
A. Bamba,
A. Baquero Larriva,
L. Baroncelli,
U. Barres de Almeida,
J. A. Barrio,
I. Batkovic,
J. Baxter,
J. Becerra González,
E. Bernardini
, et al. (467 additional authors not shown)
Abstract:
CTA (Cherenkov Telescope Array) is the next generation ground-based observatory for gamma-ray astronomy at very-high energies. The Large-Sized Telescope prototype (LST-1) is located at the Northern site of CTA, on the Canary Island of La Palma. LSTs are designed to provide optimal performance in the lowest part of the energy range covered by CTA, down to $\simeq 20$ GeV. LST-1 started performing a…
▽ More
CTA (Cherenkov Telescope Array) is the next generation ground-based observatory for gamma-ray astronomy at very-high energies. The Large-Sized Telescope prototype (LST-1) is located at the Northern site of CTA, on the Canary Island of La Palma. LSTs are designed to provide optimal performance in the lowest part of the energy range covered by CTA, down to $\simeq 20$ GeV. LST-1 started performing astronomical observations in November 2019, during its commissioning phase, and it has been taking data since then. We present the first LST-1 observations of the Crab Nebula, the standard candle of very-high energy gamma-ray astronomy, and use them, together with simulations, to assess the basic performance parameters of the telescope. The data sample consists of around 36 hours of observations at low zenith angles collected between November 2020 and March 2022. LST-1 has reached the expected performance during its commissioning period - only a minor adjustment of the preexisting simulations was needed to match the telescope behavior. The energy threshold at trigger level is estimated to be around 20 GeV, rising to $\simeq 30$ GeV after data analysis. Performance parameters depend strongly on energy, and on the strength of the gamma-ray selection cuts in the analysis: angular resolution ranges from 0.12 to 0.40 degrees, and energy resolution from 15 to 50%. Flux sensitivity is around 1.1% of the Crab Nebula flux above 250 GeV for a 50-h observation (12% for 30 minutes). The spectral energy distribution (in the 0.03 - 30 TeV range) and the light curve obtained for the Crab Nebula agree with previous measurements, considering statistical and systematic uncertainties. A clear periodic signal is also detected from the pulsar at the center of the Nebula.
△ Less
Submitted 19 July, 2023; v1 submitted 22 June, 2023;
originally announced June 2023.
-
Variational formulation of active nematics: theory and simulation
Authors:
Waleed Mirza,
Alejandro Torres-Sánchez,
Guillermo Vilanova,
Marino Arroyo
Abstract:
The structure and dynamics of important biological quasi-two-dimensional systems, ranging from cytoskeletal gels to tissues, are controlled by nematic order, defects and activity. Continuum hydrodynamic descriptions combined with numerical simulations have been used to understand such complex systems, but the physical interpretation of different active nematic models and their applicability to spe…
▽ More
The structure and dynamics of important biological quasi-two-dimensional systems, ranging from cytoskeletal gels to tissues, are controlled by nematic order, defects and activity. Continuum hydrodynamic descriptions combined with numerical simulations have been used to understand such complex systems, but the physical interpretation of different active nematic models and their applicability to specific systems is often unclear. For instance, most works rely on theories for incompressible liquid crystals but important active 2D nematic systems are compressible due to density variations or turnover. Here, we propose a theoretical and computational framework for possibly compressible and density-dependent 2D active nematic systems. This framework is based on Onsager's variational formalism to irreversible thermodynamics, according to which the dynamics result from a competition between free-energy release, dissipation and activity. We particularize this framework to recover a standard incompressible active nematic model and further formulate an alternative model for density-dependent active nemato-hydrodynamics. We show that the variational principle enables a direct and transparent derivation not only of the governing equations, but also of the finite element numerical scheme. We exercise this model in two representative examples of active nematodynamics relevant to the actin cytoskeleton during wound healing and to the dynamics of confined colonies of elongated cells.
△ Less
Submitted 2 June, 2023;
originally announced June 2023.
-
The mean curvature flow on solvmanifolds
Authors:
Romina M. Arroyo,
Gabriela P. Ovando,
Raquel Perales,
Mariel Sáez
Abstract:
This work is a survey of the most relevant background material to motivate and understand the construction and classification of translating solutions to mean curvature flow on a family of solvmanifolds.
We introduce the mean curvature flow and some known results in the field. In particular we explore the notion of translating solution in the Euclidean space and extensions into other Riemannian…
▽ More
This work is a survey of the most relevant background material to motivate and understand the construction and classification of translating solutions to mean curvature flow on a family of solvmanifolds.
We introduce the mean curvature flow and some known results in the field. In particular we explore the notion of translating solution in the Euclidean space and extensions into other Riemannian manifolds. We also include a discussion on solvmanifolds and some elements of its geometry that are relevant to our work.
We finish by posing the equations that describe translating solutions to mean curvature flow on our family of 3-dimensional solvmanifolds with some additional assumptions.
This project emerged at the ``Latin American and Caribbean Workshop on Mathematics and Gender'' held at Casa Matemática Oaxaca (CMO) from May 15-20, 2022.
△ Less
Submitted 30 December, 2023; v1 submitted 3 May, 2023;
originally announced May 2023.
-
NeRFMeshing: Distilling Neural Radiance Fields into Geometrically-Accurate 3D Meshes
Authors:
Marie-Julie Rakotosaona,
Fabian Manhardt,
Diego Martin Arroyo,
Michael Niemeyer,
Abhijit Kundu,
Federico Tombari
Abstract:
With the introduction of Neural Radiance Fields (NeRFs), novel view synthesis has recently made a big leap forward. At the core, NeRF proposes that each 3D point can emit radiance, allowing to conduct view synthesis using differentiable volumetric rendering. While neural radiance fields can accurately represent 3D scenes for computing the image rendering, 3D meshes are still the main scene represe…
▽ More
With the introduction of Neural Radiance Fields (NeRFs), novel view synthesis has recently made a big leap forward. At the core, NeRF proposes that each 3D point can emit radiance, allowing to conduct view synthesis using differentiable volumetric rendering. While neural radiance fields can accurately represent 3D scenes for computing the image rendering, 3D meshes are still the main scene representation supported by most computer graphics and simulation pipelines, enabling tasks such as real time rendering and physics-based simulations. Obtaining 3D meshes from neural radiance fields still remains an open challenge since NeRFs are optimized for view synthesis, not enforcing an accurate underlying geometry on the radiance field. We thus propose a novel compact and flexible architecture that enables easy 3D surface reconstruction from any NeRF-driven approach. Upon having trained the radiance field, we distill the volumetric 3D representation into a Signed Surface Approximation Network, allowing easy extraction of the 3D mesh and appearance. Our final 3D mesh is physically accurate and can be rendered in real time on an array of devices.
△ Less
Submitted 16 March, 2023;
originally announced March 2023.
-
Estimation of anisotropic bending rigidities and spontaneous curvatures of crescent curvature-inducing proteins from tethered-vesicle experimental data
Authors:
Hiroshi Noguchi,
Nikhil Walani,
Marino Arroyo
Abstract:
The Bin/amphiphysin/Rvs (BAR) superfamily proteins have a crescent binding domain and bend biomembranes along the domain axis. However, their anisotropic bending rigidities and spontaneous curvatures have not been experimentally determined. Here, we estimated these values from the bound protein densities on tethered vesicles using a mean-field theory of anisotropic bending energy and orientation-d…
▽ More
The Bin/amphiphysin/Rvs (BAR) superfamily proteins have a crescent binding domain and bend biomembranes along the domain axis. However, their anisotropic bending rigidities and spontaneous curvatures have not been experimentally determined. Here, we estimated these values from the bound protein densities on tethered vesicles using a mean-field theory of anisotropic bending energy and orientation-dependent excluded volume. The dependence curves of the protein density on the membrane curvature are fitted to the experimental data for the I-BAR and N-BAR domains reported by C. Prevost et al. Nat. Commun. 6, 8529 (2015) and F.-C. Tsai et al. Soft Matter 17, 4254 (2021), respectively. For the I-BAR domain, all three density curves of different chemical potentials exhibit excellent fits with a single parameter set of anisotropic bending energy. When the classical isotropic bending energy is used instead, one of the curves can be fitted well, but the others exhibit large deviations. In contrast, for the N-BAR domain, two curves are not well-fitted simultaneously using the anisotropic model, although it is significantly improved compared to the isotropic model. This deviation likely suggests a cluster formation of the N-BAR domains.
△ Less
Submitted 3 July, 2023; v1 submitted 16 March, 2023;
originally announced March 2023.
-
A relation between undrained CPTu results and the state parameter for liquefiable soils
Authors:
Lluís Monforte,
Marcos Arroyo,
Antonio Gens
Abstract:
This paper presents a new interpretation procedure to estimate the initial state parameter from cone penetration testing (CPTu) in undrained conditions based on the results from a comprehensive set of numerical simulations of CPTu in low permeability liquefiable soil. CPTu simulations are performed using the Particle Finite Element method, whereas the material response is modelled with CASM. The e…
▽ More
This paper presents a new interpretation procedure to estimate the initial state parameter from cone penetration testing (CPTu) in undrained conditions based on the results from a comprehensive set of numerical simulations of CPTu in low permeability liquefiable soil. CPTu simulations are performed using the Particle Finite Element method, whereas the material response is modelled with CASM. The effects of soil constitutive parameters and roughness of the soil-steel interface are examined. It turns out that the numerical results are correctly summarized by an analytical relation derived from undrained cavity expansion results in critical state soils, as long as the constraints resulting from cone geometry are taken into account. The resulting adapted analytical formulation is notable for its simplicity and ease of use, comparing favorably with existing alternatives.
△ Less
Submitted 7 March, 2023;
originally announced March 2023.
-
ParGAN: Learning Real Parametrizable Transformations
Authors:
Diego Martin Arroyo,
Alessio Tonioni,
Federico Tombari
Abstract:
Current methods for image-to-image translation produce compelling results, however, the applied transformation is difficult to control, since existing mechanisms are often limited and non-intuitive. We propose ParGAN, a generalization of the cycle-consistent GAN framework to learn image transformations with simple and intuitive controls. The proposed generator takes as input both an image and a pa…
▽ More
Current methods for image-to-image translation produce compelling results, however, the applied transformation is difficult to control, since existing mechanisms are often limited and non-intuitive. We propose ParGAN, a generalization of the cycle-consistent GAN framework to learn image transformations with simple and intuitive controls. The proposed generator takes as input both an image and a parametrization of the transformation. We train this network to preserve the content of the input image while ensuring that the result is consistent with the given parametrization. Our approach does not require paired data and can learn transformations across several tasks and datasets. We show how, with disjoint image domains with no annotated parametrization, our framework can create smooth interpolations as well as learn multiple transformations simultaneously.
△ Less
Submitted 9 November, 2022;
originally announced November 2022.
-
Multi-wavelength study of the galactic PeVatron candidate LHAASO J2108+5157
Authors:
S. Abe,
A. Aguasca-Cabot,
I. Agudo,
N. Alvarez Crespo,
L. A. Antonelli,
C. Aramo,
A. Arbet-Engels,
M. Artero,
K. Asano,
P. Aubert,
A. Baktash,
A. Bamba,
A. Baquero Larriva,
L. Baroncelli,
U. Barres de Almeida,
J. A. Barrio,
I. Batkovic,
J. Baxter,
J. Becerra González,
E. Bernardini,
M. I. Bernardos,
J. Bernete Medrano,
A. Berti,
P. Bhattacharjee,
N. Biederbeck
, et al. (245 additional authors not shown)
Abstract:
LHAASO J2108+5157 is one of the few known unidentified Ultra-High-Energy (UHE) gamma-ray sources with no Very-High-Energy (VHE) counterpart, recently discovered by the LHAASO collaboration. We observed LHAASO J2108+5157 in the X-ray band with XMM-Newton in 2021 for a total of 3.8 hours and at TeV energies with the Large-Sized Telescope prototype (LST-1), yielding 49 hours of good quality data. In…
▽ More
LHAASO J2108+5157 is one of the few known unidentified Ultra-High-Energy (UHE) gamma-ray sources with no Very-High-Energy (VHE) counterpart, recently discovered by the LHAASO collaboration. We observed LHAASO J2108+5157 in the X-ray band with XMM-Newton in 2021 for a total of 3.8 hours and at TeV energies with the Large-Sized Telescope prototype (LST-1), yielding 49 hours of good quality data. In addition, we analyzed 12 years of Fermi-LAT data, to better constrain emission of its High-Energy (HE) counterpart 4FGL J2108.0+5155. We found an excess (3.7 sigma) in the LST-1 data at energies E > 3 TeV. Further analysis in the whole LST-1 energy range assuming a point-like source, resulted in a hint (2.2 sigma) of hard emission which can be described with a single power law with photon index Gamma = 1.6 +- 0.2 between 0.3 - 100 TeV. We did not find any significant extended emission which could be related to a Supernova Remnant (SNR) or Pulsar Wind Nebula (PWN) in the XMM-Newton data, which puts strong constraints on possible synchrotron emission of relativistic electrons. The LST-1 and LHAASO observations can be explained as inverse Compton-dominated leptonic emission of relativistic electrons with a cutoff energy of $100^{+70}_{-30}$ TeV. The low magnetic field in the source imposed by the X-ray upper limits on synchrotron emission is compatible with a hypothesis of a PWN or a TeV halo. The lack of a pulsar in the neighborhood of the UHE source is a challenge to the PWN/TeV-halo scenario. The UHE gamma rays can also be explained as $π^0$ decay-dominated hadronic emission due to interaction of relativistic protons with one of the two known molecular clouds in the direction of the source. The hard spectrum in the LST-1 band is compatible with protons escaping a shock around a middle-aged SNR because of their high low-energy cut-off.
△ Less
Submitted 16 March, 2023; v1 submitted 3 October, 2022;
originally announced October 2022.
-
Non-affine mechanics of entangled networks inspired by intermediate filaments
Authors:
M. Pensalfini,
T. Golde,
X. Trepat,
M. Arroyo
Abstract:
Inspired by massive intermediate filament (IF) reorganization in superstretched epithelia, we examine computationally the principles controlling the mechanics of a set of entangled filaments whose ends slide on the cell boundary. We identify an entanglement metric and threshold beyond which random loose networks respond non-affinely and nonlinearly to stretch by self-organizing into structurally o…
▽ More
Inspired by massive intermediate filament (IF) reorganization in superstretched epithelia, we examine computationally the principles controlling the mechanics of a set of entangled filaments whose ends slide on the cell boundary. We identify an entanglement metric and threshold beyond which random loose networks respond non-affinely and nonlinearly to stretch by self-organizing into structurally optimal star-shaped configurations. A simple model connecting cellular and filament strains links emergent mechanics to cell geometry, network topology, and filament mechanics. We identify a safety net mechanism in IF networks and provide a framework to harness entanglement in soft fibrous materials.
△ Less
Submitted 4 May, 2023; v1 submitted 8 June, 2022;
originally announced June 2022.
-
A theory for the flow of chemically-responsive polymer solutions: equilibrium and shear-induced phase separation
Authors:
Marco De Corato,
Marino Arroyo
Abstract:
Chemically-responsive polymers are macromolecules that respond to local variations of the chemical composition of the solution by changing their conformation, with notable examples including polyelectrolytes, proteins and DNA. The polymer conformation changes can occur in response to changes to the pH, the ionic strength or to the concentration of a generic solute that interacts with the polymer.…
▽ More
Chemically-responsive polymers are macromolecules that respond to local variations of the chemical composition of the solution by changing their conformation, with notable examples including polyelectrolytes, proteins and DNA. The polymer conformation changes can occur in response to changes to the pH, the ionic strength or to the concentration of a generic solute that interacts with the polymer. These chemical stimuli can lead to drastic variations of the polymer flexibility and even trigger a transition from a coil to a globule polymer conformation. In many situations the spatial distribution of the chemical stimuli can be highly inhomogeneous, which can lead to large spatial variations of polymer conformation and of the rheological properties of the mixture. In this paper, we develop a theory for the flow of a mixture of a solute and chemically-responsive polymers. The approach is valid for generic flows and inhomogeneous distributions of polymers and solutes. To model the polymer conformation changes introduced by the interactions with the solute, we consider the polymers as linear elastic dumbbells whose spring stiffness depends on the solute concentration. We use the Onsager's variational formalism to derive the equations governing the evolution of the variables, which unveils novel couplings between the distribution of dumbbells and that of the solute. Finally, we use a linear stability analysis to show that the governing equations predict an equilibrium phase separation and a distinct shear-induced phase separation whereby a homogeneous distribution of solute and dumbbells spontaneously demix. Similar phase transitions have been observed in previous experiments using stimuli-responsive polymers and may play an important role in living systems.
△ Less
Submitted 31 May, 2022; v1 submitted 12 March, 2022;
originally announced March 2022.
-
Peeling dynamics of fluid membranes bridged by molecular bonds: moving or breaking
Authors:
Dimitri Kaurin,
Pradeep K. Bal,
Marino Arroyo
Abstract:
Biological adhesion is a critical mechanical function of complex organisms operating at multiple scales. At the cellular scale, cell-cell adhesion is remarkably tunable to enable both cohesion and malleability during development, homeostasis and disease. Such adaptable adhesion is physically supported by transient bonds between laterally mobile molecules embedded in fluid membranes. Thus, unlike s…
▽ More
Biological adhesion is a critical mechanical function of complex organisms operating at multiple scales. At the cellular scale, cell-cell adhesion is remarkably tunable to enable both cohesion and malleability during development, homeostasis and disease. Such adaptable adhesion is physically supported by transient bonds between laterally mobile molecules embedded in fluid membranes. Thus, unlike specific adhesion at solid-solid or solid-fluid interfaces, peeling at fluid-fluid interfaces can proceed by breaking bonds, by moving bonds, or by a combination of both. How the additional degree of freedom provided by bond mobility changes the mechanics of peeling is not understood. To address this, we develop a theoretical model coupling self-consistently diffusion, reactions and mechanics. Lateral mobility and reaction rates determine distinct peeling regimes. In a diffusion-dominated Stefan-like regime, bond motion establishes self-stabilizing dynamics that increase the effective adhesion fracture energy. A reaction-dominated regime exhibits traveling peeling solutions where small-scale diffusion and marginal unbinding control peeling speed. In a mixed reaction-diffusion regime, strengthening by bond motion competes with weakening by bond breaking in a force-dependent manner, defining the strength of the adhesion patch. In turn, patch strength depends on molecular properties such as bond stiffness, force sensitivity, or crowding. We thus establish the physical rules enabling tunable cohesion in cellular tissues and in engineered biomimetic systems.
△ Less
Submitted 4 March, 2022;
originally announced March 2022.
-
Binding of anisotropic curvature-inducing proteins onto membrane tubes
Authors:
Hiroshi Noguchi,
Caterina Tozzi,
Marino Arroyo
Abstract:
Bin/Amphiphysin/Rvs superfamily proteins and other curvature-inducing proteins have anisotropic shapes and anisotropically bend biomembrane. Here, we report how the anisotropic proteins bind the membrane tube and are orientationally ordered using mean-field theory including an orientation-dependent excluded volume. The proteins exhibit a second-order or first-order nematic transition with increasi…
▽ More
Bin/Amphiphysin/Rvs superfamily proteins and other curvature-inducing proteins have anisotropic shapes and anisotropically bend biomembrane. Here, we report how the anisotropic proteins bind the membrane tube and are orientationally ordered using mean-field theory including an orientation-dependent excluded volume. The proteins exhibit a second-order or first-order nematic transition with increasing protein density depending on the radius of the membrane tube. The tube curvatures for the maximum protein binding and orientational order are different and varied by the protein density and rigidity. As the external force along the tube axis increases, a first-order transition from a large tube radius with low protein density to a small radius with high density occurs once, and subsequently, the protein orientation tilts to the tube-axis direction. When an isotropic bending energy is used for the proteins with an elliptic shape, the force-dependence curves become symmetric and the first-order transition occurs twice. This theory quantitatively reproduces the results of meshless membrane simulation for short proteins, whereas deviations are seen for long proteins owing to the formation of protein clusters.
△ Less
Submitted 11 April, 2022; v1 submitted 28 February, 2022;
originally announced February 2022.
-
SKT structures on nilmanifolds
Authors:
Romina M. Arroyo,
Marina Nicolini
Abstract:
The aim of this article is to study the existence of invariant SKT structures on nilmanifolds. More precisely, we give a negative answer to the question of whether there exist a $k$-step ($k>2$) complex nilmanifold admitting an invariant SKT metric. We also provide a construction which serves as a tool to generate examples of invariant SKT structures on $2$-step nilmanifolds in arbitrary dimension…
▽ More
The aim of this article is to study the existence of invariant SKT structures on nilmanifolds. More precisely, we give a negative answer to the question of whether there exist a $k$-step ($k>2$) complex nilmanifold admitting an invariant SKT metric. We also provide a construction which serves as a tool to generate examples of invariant SKT structures on $2$-step nilmanifolds in arbitrary dimensions.
△ Less
Submitted 28 January, 2022;
originally announced January 2022.
-
The accomplishment of the Engineering Design Activities of IFMIF/EVEDA: The European Japanese project towards a Li(d,xn) fusion relevant neutron source
Authors:
J. Knaster,
A. Ibarra,
J. Abal,
A. Abou Sena,
F. Arbeiter,
F. Arranz,
J. M. Arroyo,
E. Bargallo,
P. Y. Beauvais,
D. Bernardi,
N. Casal,
J. M. Carmona,
N. Chauvin,
M. Comunian,
O. Delferriere,
A. Delgado,
P. Diaz Arocas,
U. Fischer,
M. Frisoni,
A. Garcia,
P. Garin,
R. Gobin,
P. Gouat,
F. Groesche,
R. Heidinger
, et al. (42 additional authors not shown)
Abstract:
The International Fusion Materials Irradiation Facility (IFMIF), presently in its Engineering Validation and Engineering Design Activities (EVEDA) phase under the frame of the Broader Approach Agreement between Europe and Japan, accomplished in summer 2013, on schedule, its EDA phase with the release of the engineering design report of the IFMIF plant, which is here described. Many improvements of…
▽ More
The International Fusion Materials Irradiation Facility (IFMIF), presently in its Engineering Validation and Engineering Design Activities (EVEDA) phase under the frame of the Broader Approach Agreement between Europe and Japan, accomplished in summer 2013, on schedule, its EDA phase with the release of the engineering design report of the IFMIF plant, which is here described. Many improvements of the design from former phases are implemented, particularly a reduction of beam losses and operational costs thanks to the superconducting accelerator concept, the re-location of the quench tank outside the test cell (TC) with a reduction of tritium inventory and a simplification on its replacement in case of failure, the separation of the irradiation modules from the shielding block gaining irradiation flexibility and enhancement of the remote handling equipment reliability and cost reduction, and the water cooling of the liner and biological shielding of the TC, enhancing the efficiency and economy of the related sub-systems. In addition, the maintenance strategy has been modified to allow a shorter yearly stop of the irradiation operations and a more careful management of the irradiated samples. The design of the IFMIF plant is intimately linked with the EVA phase carried out since the entry into force of IFMIF/EVEDA in June 2007.
△ Less
Submitted 28 December, 2021;
originally announced December 2021.
-
The H.E.S.S. Gravitational Wave Rapid Follow-up Program during O2 and O3
Authors:
Halim Ashkar,
Francois Brun,
Matthias Füßling,
Clemens Hoischen,
Ruslan Konno,
Stefan Ohm,
Heike Prokoph,
Patrick Reichherzer,
Fabian Schüssler,
Monica Seglar Arroyo,
Sylvia J Zhu
Abstract:
Since 2015, the direct detection of Gravitational Waves (GWs) became possible with ground-based interferometers like LIGO and Virgo. GWs became the center of attention of the astronomical community and electromagnetic observatories took a particular interest in follow-up observations of such events. The main setback of these observations is the poor localization of GW events. In fact, GW localizat…
▽ More
Since 2015, the direct detection of Gravitational Waves (GWs) became possible with ground-based interferometers like LIGO and Virgo. GWs became the center of attention of the astronomical community and electromagnetic observatories took a particular interest in follow-up observations of such events. The main setback of these observations is the poor localization of GW events. In fact, GW localization uncertainties can span tens to hundreds of deg$^{2}$ the sky even with the advanced configurations of current GW interferometers. In this contribution, we present five follow-up strategies developed for the High Energy Stereoscopic System (H.E.S.S.) and assess their performances. We show how a 2D and 3D galaxy targeted search approach exploiting the integral probability inside the instruments field of view are best suited for medium field of view instruments like H.E.S.S. We also develop an automatic response scheme within the H.E.S.S. Transient Follow-up system that is optimized for fast response and is capable of responding promptly to all kind of GW alerts. GW events are filtered by the developed scheme and prompt and afterglow observations are automatically scheduled. The H.E.S.S. response latency to prompt alerts is measured to be less than 1 minute. With this continually optimized GW response scheme, H.E.S.S. scheduled several GW follow-up observations during the second and third LIGO/Virgo observation runs.
△ Less
Submitted 10 August, 2021;
originally announced August 2021.
-
H.E.S.S. follow-up of BBH merger events
Authors:
Halim Ashkar,
Francois Brun,
Clemens Hoischen,
Ruslan Konno,
Stefan Ohm,
Heike Prokoph,
Fabian Schüssler,
Monica Seglar Arroyo,
Sylvia J Zhu
Abstract:
We present here, follow-up observations of four Binary black hole BBH events performed with the High Energy Stereoscopic System (H.E.S.S.) in the Very High Energy (VHE) gamma-ray domain during the second and third LIGO/Virgo observation runs. Detailed analyses of the obtained data did not show significant VHE emission. We derive integral upper limit maps considering a generic $E^{-2}$ source spect…
▽ More
We present here, follow-up observations of four Binary black hole BBH events performed with the High Energy Stereoscopic System (H.E.S.S.) in the Very High Energy (VHE) gamma-ray domain during the second and third LIGO/Virgo observation runs. Detailed analyses of the obtained data did not show significant VHE emission. We derive integral upper limit maps considering a generic $E^{-2}$ source spectrum in the most sensitive H.E.S.S energy interval ranging from 1 to 10 TeV. We also consider Extragalactic Background Light absorption effects and derive integral upper limits over the full accessible energy range. We finally derive upper limits of the VHE luminosity for each event and compare them with the expected VHE emission from GRBs. These comparisons allow us to assess the H.E.S.S. gravitational wave follow-up strategies. For the fourth GW observing run O4, we do not expect to fundamentally alter our observing strategy, and will continue to prioritize sky coverage like for the previous runs
△ Less
Submitted 4 August, 2021;
originally announced August 2021.
-
Variational Transformer Networks for Layout Generation
Authors:
Diego Martin Arroyo,
Janis Postels,
Federico Tombari
Abstract:
Generative models able to synthesize layouts of different kinds (e.g. documents, user interfaces or furniture arrangements) are a useful tool to aid design processes and as a first step in the generation of synthetic data, among other tasks. We exploit the properties of self-attention layers to capture high level relationships between elements in a layout, and use these as the building blocks of t…
▽ More
Generative models able to synthesize layouts of different kinds (e.g. documents, user interfaces or furniture arrangements) are a useful tool to aid design processes and as a first step in the generation of synthetic data, among other tasks. We exploit the properties of self-attention layers to capture high level relationships between elements in a layout, and use these as the building blocks of the well-known Variational Autoencoder (VAE) formulation. Our proposed Variational Transformer Network (VTN) is capable of learning margins, alignments and other global design rules without explicit supervision. Layouts sampled from our model have a high degree of resemblance to the training data, while demonstrating appealing diversity. In an extensive evaluation on publicly available benchmarks for different layout types VTNs achieve state-of-the-art diversity and perceptual quality. Additionally, we show the capabilities of this method as part of a document layout detection pipeline.
△ Less
Submitted 6 April, 2021;
originally announced April 2021.
-
Unsupervised Novel View Synthesis from a Single Image
Authors:
Pierluigi Zama Ramirez,
Diego Martin Arroyo,
Alessio Tonioni,
Federico Tombari
Abstract:
Novel view synthesis from a single image has recently achieved remarkable results, although the requirement of some form of 3D, pose, or multi-view supervision at training time limits the deployment in real scenarios. This work aims at relaxing these assumptions enabling training of conditional generative models for novel view synthesis in a completely unsupervised manner. We first pre-train a pur…
▽ More
Novel view synthesis from a single image has recently achieved remarkable results, although the requirement of some form of 3D, pose, or multi-view supervision at training time limits the deployment in real scenarios. This work aims at relaxing these assumptions enabling training of conditional generative models for novel view synthesis in a completely unsupervised manner. We first pre-train a purely generative decoder model using a 3D-aware GAN formulation while at the same time train an encoder network to invert the mapping from latent space to images. Then, we swap encoder and decoder and train the network as a conditioned GAN with a mixture of an autoencoder-like objective and self-distillation. At test time, given a view of an object, our model first embeds the image content in a latent code and regresses its pose, then generates novel views of it by keeping the code fixed and varying the pose. We test our framework on both synthetic datasets such as ShapeNet and on unconstrained collections of natural images, where no competing methods can be trained.
△ Less
Submitted 15 December, 2021; v1 submitted 5 February, 2021;
originally announced February 2021.
-
Split-then-Combine simplex combination and selection of forecasters
Authors:
Antonio Martin Arroyo,
Aranzazu de Juan Fernandez
Abstract:
This paper considers the Split-Then-Combine (STC) approach (Arroyo and de Juan, 2014) to combine forecasts inside the simplex space, the sample space of positive weights adding up to one. As it turns out, the simplicial statistic given by the center of the simplex compares favorably against the fixed-weight, average forecast. Besides, we also develop a Combine-After-Selection (CAS) method to get r…
▽ More
This paper considers the Split-Then-Combine (STC) approach (Arroyo and de Juan, 2014) to combine forecasts inside the simplex space, the sample space of positive weights adding up to one. As it turns out, the simplicial statistic given by the center of the simplex compares favorably against the fixed-weight, average forecast. Besides, we also develop a Combine-After-Selection (CAS) method to get rid of redundant forecasters. We apply these two approaches to make out-of-sample one-step ahead combinations and subcombinations of forecasts for several economic variables. This methodology is particularly useful when the sample size is smaller than the number of forecasts, a case where other methods (e.g., Least Squares (LS) or Principal Component Analysis (PCA)) are not applicable.
△ Less
Submitted 22 December, 2020;
originally announced December 2020.
-
High-order maximum-entropy collocation methods
Authors:
F. Greco,
M. Arroyo
Abstract:
This paper considers the approximation of partial differential equations with a point collocation framework based on high-order local maximum-entropy schemes (HOLMES). In this approach, smooth basis functions are computed through an optimization procedure and the strong form of the problem is directly imposed at the collocation points, reducing significantly the computational times with respect to…
▽ More
This paper considers the approximation of partial differential equations with a point collocation framework based on high-order local maximum-entropy schemes (HOLMES). In this approach, smooth basis functions are computed through an optimization procedure and the strong form of the problem is directly imposed at the collocation points, reducing significantly the computational times with respect to the Galerkin formulation. Furthermore, such a method is truly meshless, since no background integration grids are necessary. The validity of the proposed methodology is verified with supportive numerical examples, where the expected convergence rates are obtained. This includes the approximation of PDEs on domains bounded by implicit and explicit (NURBS) curves, illustrating a direct integration between the geometric modeling and the numerical analysis.
△ Less
Submitted 30 October, 2020; v1 submitted 26 October, 2020;
originally announced October 2020.
-
Sensitivity of the Cherenkov Telescope Array for probing cosmology and fundamental physics with gamma-ray propagation
Authors:
The Cherenkov Telescope Array Consortium,
:,
H. Abdalla,
H. Abe,
F. Acero,
A. Acharyya,
R. Adam,
I. Agudo,
A. Aguirre-Santaella,
R. Alfaro,
J. Alfaro,
C. Alispach,
R. Aloisio,
R. Alves B,
L. Amati,
E. Amato,
G. Ambrosi,
E. O. Angüner,
A. Araudo,
T. Armstrong,
F. Arqueros,
L. Arrabito,
K. Asano,
Y. Ascasíbar,
M. Ashley
, et al. (474 additional authors not shown)
Abstract:
The Cherenkov Telescope Array (CTA), the new-generation ground-based observatory for $γ$-ray astronomy, provides unique capabilities to address significant open questions in astrophysics, cosmology, and fundamental physics. We study some of the salient areas of $γ$-ray cosmology that can be explored as part of the Key Science Projects of CTA, through simulated observations of active galactic nucle…
▽ More
The Cherenkov Telescope Array (CTA), the new-generation ground-based observatory for $γ$-ray astronomy, provides unique capabilities to address significant open questions in astrophysics, cosmology, and fundamental physics. We study some of the salient areas of $γ$-ray cosmology that can be explored as part of the Key Science Projects of CTA, through simulated observations of active galactic nuclei (AGN) and of their relativistic jets. Observations of AGN with CTA will enable a measurement of $γ$-ray absorption on the extragalactic background light with a statistical uncertainty below 15% up to a redshift $z=2$ and to constrain or detect $γ$-ray halos up to intergalactic-magnetic-field strengths of at least 0.3pG. Extragalactic observations with CTA also show promising potential to probe physics beyond the Standard Model. The best limits on Lorentz invariance violation from $γ$-ray astronomy will be improved by a factor of at least two to three. CTA will also probe the parameter space in which axion-like particles could constitute a significant fraction, if not all, of dark matter. We conclude on the synergies between CTA and other upcoming facilities that will foster the growth of $γ$-ray cosmology.
△ Less
Submitted 26 February, 2021; v1 submitted 3 October, 2020;
originally announced October 2020.
-
On the signature of the Ricci curvature on nilmanifolds
Authors:
Romina M. Arroyo,
Ramiro A. Lafuente
Abstract:
We completely describe the signatures of the Ricci curvature of left-invariant Riemannian metrics on arbitrary real nilpotent Lie groups. The main idea in the proof is to exploit a link between the kernel of the Ricci endomorphism and closed orbits in a certain representation of the general linear group, which we prove using the `real GIT' framework for the Ricci curvature of nilmanifolds.
We completely describe the signatures of the Ricci curvature of left-invariant Riemannian metrics on arbitrary real nilpotent Lie groups. The main idea in the proof is to exploit a link between the kernel of the Ricci endomorphism and closed orbits in a certain representation of the general linear group, which we prove using the `real GIT' framework for the Ricci curvature of nilmanifolds.
△ Less
Submitted 23 September, 2020;
originally announced September 2020.
-
A theory of ordering of elongated and curved proteins on membranes driven by density and curvature
Authors:
Caterina Tozzi,
Nikhil Walani,
Anabel-Lise Le Roux,
Pere Roca-Cusachs,
Marino Arroyo
Abstract:
Cell membranes interact with a myriad of curvature-active proteins that control membrane morphology and are responsible for mechanosensation and mechanotransduction. Some of these proteins, such as those containing BAR domains, are curved and elongated, and hence may adopt different states of orientational order, from isotropic to maximize entropy to nematic as a result of crowding or to adapt to…
▽ More
Cell membranes interact with a myriad of curvature-active proteins that control membrane morphology and are responsible for mechanosensation and mechanotransduction. Some of these proteins, such as those containing BAR domains, are curved and elongated, and hence may adopt different states of orientational order, from isotropic to maximize entropy to nematic as a result of crowding or to adapt to the curvature of the underlying membrane. Here, extending the work of [Nascimento et. al, Phys. Rev. E, 2017, 96, 022704], we develop a mean-field density functional theory to predict the orientational order and evaluate the free-energy of ensembles of elongated and curved objects on curved membranes. This theory depends on the microscopic properties of the particles and explains how a density-dependent isotropic-to-nematic transition is modified by anisotropic curvature. We also examine the coexistence of isotropic and nematic phases. This theory lays the ground to understand the interplay between membrane reshaping by BAR proteins and molecular order, examined in [Le Roux et. al, Submitted, 2020].
△ Less
Submitted 18 September, 2020;
originally announced September 2020.
-
Data-driven Outer-Loop Control Using Deep Reinforcement Learning for Trajectory Tracking
Authors:
Maria Angelica Arroyo,
Luis Felipe Giraldo
Abstract:
Reference tracking systems involve a plant that is stabilized by a local feedback controller and a command center that indicates the reference set-point the plant should follow. Typically, these systems are subject to limitations such as disturbances, systems delays, constraints, uncertainties, underperforming controllers, and unmodeled parameters that do not allow them to achieve the desired perf…
▽ More
Reference tracking systems involve a plant that is stabilized by a local feedback controller and a command center that indicates the reference set-point the plant should follow. Typically, these systems are subject to limitations such as disturbances, systems delays, constraints, uncertainties, underperforming controllers, and unmodeled parameters that do not allow them to achieve the desired performance. In situations where it is not possible to redesign the inner-loop system, it is usual to incorporate an outer-loop control that instructs the system to follow a modified reference path such that the resultant path is close to the ideal one. Typically, strategies to design the outer-loop control need to know a model of the system, which can be an unfeasible task. In this paper, we propose a framework based on deep reinforcement learning that can learn a policy to generate a modified reference that improves the system's performance in a non-invasive and model-free fashion. To illustrate the effectiveness of our approach, we present two challenging cases in engineering: a flight control with a pilot model that includes human reaction delays, and a mean-field control problem for a massive number of space-heating devices. The proposed strategy successfully designs a reference signal that works even in situations that were not seen during the learning process.
△ Less
Submitted 31 August, 2020;
originally announced August 2020.
-
Spontaneous polarization and locomotion of an active particle with surface-mobile enzymes
Authors:
Marco De Corato,
Ignacio Pagonabarraga,
Loai K. E. A. Abdelmohsen,
Samuel Sánchez,
Marino Arroyo
Abstract:
We examine a mechanism of locomotion of active particles whose surface is uniformly coated with mobile enzymes. The enzymes catalyze a reaction that drives phoretic flows but their homogeneous distribution forbids locomotion by symmetry. We find that the ability of the enzymes to migrate over the surface combined with self-phoresis can lead to a spontaneous symmetry breaking instability whereby th…
▽ More
We examine a mechanism of locomotion of active particles whose surface is uniformly coated with mobile enzymes. The enzymes catalyze a reaction that drives phoretic flows but their homogeneous distribution forbids locomotion by symmetry. We find that the ability of the enzymes to migrate over the surface combined with self-phoresis can lead to a spontaneous symmetry breaking instability whereby the homogeneous distribution of enzymes polarizes and the particle propels. The instability is driven by the advection of enzymes by the phoretic flows and occurs above a critical Péclet number. The transition to polarized motile states occurs via a supercritical or subcritical pitchfork bifurcations, the latter of which enables hysteresis and coexistence of uniform and polarized states.
△ Less
Submitted 7 August, 2020;
originally announced August 2020.
-
SPAM: Stateless Permutation of Application Memory
Authors:
Mohamed Tarek Ibn Ziad,
Miguel A. Arroyo,
Simha Sethumadhavan
Abstract:
In this paper, we propose the Stateless Permutation of Application Memory (SPAM), a software defense that enables fine-grained data permutation for C programs. The key benefits include resilience against attacks that directly exploit software errors (i.e., spatial and temporal memory safety violations) in addition to attacks that exploit hardware vulnerabilities such as ColdBoot, RowHammer or hard…
▽ More
In this paper, we propose the Stateless Permutation of Application Memory (SPAM), a software defense that enables fine-grained data permutation for C programs. The key benefits include resilience against attacks that directly exploit software errors (i.e., spatial and temporal memory safety violations) in addition to attacks that exploit hardware vulnerabilities such as ColdBoot, RowHammer or hardware side-channels to disclose or corrupt memory using a single cohesive technique. Unlike prior work, SPAM is stateless by design making it automatically applicable to multi-threaded applications.
We implement SPAM as an LLVM compiler pass with an extension to the compiler-rt runtime. We evaluate it on the C subset of the SPEC2017 benchmark suite and three real-world applications: the Nginx web server, the Duktape Javascript interpreter, and the WolfSSL cryptographic library. We further show SPAM's scalability by running a multi-threaded benchmark suite. SPAM has greater security coverage and comparable performance overheads to state-of-the-art software techniques for memory safety on contemporary x86_64 processors. Our security evaluation confirms SPAM's effectiveness in preventing intra/inter spatial/temporal memory violations by making the attacker success chances as low as 1/16!.
△ Less
Submitted 21 September, 2020; v1 submitted 27 July, 2020;
originally announced July 2020.
-
Revisiting Data Complexity Metrics Based on Morphology for Overlap and Imbalance: Snapshot, New Overlap Number of Balls Metrics and Singular Problems Prospect
Authors:
José Daniel Pascual-Triana,
David Charte,
Marta Andrés Arroyo,
Alberto Fernández,
Francisco Herrera
Abstract:
Data Science and Machine Learning have become fundamental assets for companies and research institutions alike. As one of its fields, supervised classification allows for class prediction of new samples, learning from given training data. However, some properties can cause datasets to be problematic to classify.
In order to evaluate a dataset a priori, data complexity metrics have been used exte…
▽ More
Data Science and Machine Learning have become fundamental assets for companies and research institutions alike. As one of its fields, supervised classification allows for class prediction of new samples, learning from given training data. However, some properties can cause datasets to be problematic to classify.
In order to evaluate a dataset a priori, data complexity metrics have been used extensively. They provide information regarding different intrinsic characteristics of the data, which serve to evaluate classifier compatibility and a course of action that improves performance. However, most complexity metrics focus on just one characteristic of the data, which can be insufficient to properly evaluate the dataset towards the classifiers' performance. In fact, class overlap, a very detrimental feature for the classification process (especially when imbalance among class labels is also present) is hard to assess.
This research work focuses on revisiting complexity metrics based on data morphology. In accordance to their nature, the premise is that they provide both good estimates for class overlap, and great correlations with the classification performance. For that purpose, a novel family of metrics have been developed. Being based on ball coverage by classes, they are named after Overlap Number of Balls. Finally, some prospects for the adaptation of the former family of metrics to singular (more complex) problems are discussed.
△ Less
Submitted 15 July, 2020;
originally announced July 2020.
-
The prescribed Ricci curvature problem for naturally reductive metrics on non-compact simple Lie groups
Authors:
Romina M. Arroyo,
Mark D. Gould,
Artem Pulemotov
Abstract:
We investigate the prescribed Ricci curvature problem in the class of left-invariant naturally reductive Riemannian metrics on a non-compact simple Lie group. We obtain a number of conditions for the solvability of the underlying equations and discuss several examples.
We investigate the prescribed Ricci curvature problem in the class of left-invariant naturally reductive Riemannian metrics on a non-compact simple Lie group. We obtain a number of conditions for the solvability of the underlying equations and discuss several examples.
△ Less
Submitted 18 August, 2020; v1 submitted 28 June, 2020;
originally announced June 2020.
-
Swimming Euglena respond to confinement with a behavioural change enabling effective crawling
Authors:
Giovanni Noselli,
Alfred Beran,
Marino Arroyo,
Antonio DeSimone
Abstract:
Some euglenids, a family of aquatic unicellular organisms, can develop highly concerted, large-amplitude peristaltic body deformations. This remarkable behaviour has been known for centuries. Yet, its function remains controversial, and is even viewed as a functionless ancestral vestige. Here, by examining swimming Euglena gracilis in environments of controlled crowding and geometry, we show that…
▽ More
Some euglenids, a family of aquatic unicellular organisms, can develop highly concerted, large-amplitude peristaltic body deformations. This remarkable behaviour has been known for centuries. Yet, its function remains controversial, and is even viewed as a functionless ancestral vestige. Here, by examining swimming Euglena gracilis in environments of controlled crowding and geometry, we show that this behaviour is triggered by confinement. Under these conditions, it allows cells to switch from unviable flagellar swimming to a new and highly robust mode of fast crawling, which can deal with extreme geometric confinement and turn both frictional and hydraulic resistance into propulsive forces. To understand how a single cell can control such an adaptable and robust mode of locomotion, we developed a computational model of the motile apparatus of Euglena cells consisting of an active striated cell envelope. Our modelling shows that gait adaptability does not require specific mechanosensitive feedback but instead can be explained by the mechanical self-regulation of an elastic and extended motor system. Our study thus identifies a locomotory function and the operating principles of the adaptable peristaltic body deformation of Euglena cells.
△ Less
Submitted 25 May, 2020;
originally announced May 2020.
-
Smart helical structures inspired by the pellicle of euglenids
Authors:
Giovanni Noselli,
Marino Arroyo,
Antonio DeSimone
Abstract:
This paper deals with a concept for a reconfigurable structure bio-inspired by the cell wall architecture of euglenids, a family of unicellular protists, and based on the relative sliding of adjacent strips. Uniform sliding turns a cylinder resulting from the assembly of straight and parallel strips into a cylinder of smaller height and larger radius, in which the strips are deformed into a family…
▽ More
This paper deals with a concept for a reconfigurable structure bio-inspired by the cell wall architecture of euglenids, a family of unicellular protists, and based on the relative sliding of adjacent strips. Uniform sliding turns a cylinder resulting from the assembly of straight and parallel strips into a cylinder of smaller height and larger radius, in which the strips are deformed into a family of parallel helices. We examine the mechanics of this cylindrical assembly, in which the interlocking strips are allowed to slide freely at their junctions, and compute the external forces (axial force and axial torque at the two ends, or pressure on the lateral surface) necessary to drive and control the shape changes of the composite structure. Despite the simplicity of the structure, we find a remarkably complex mechanical behaviour that can be tuned by the spontaneous curvature or twist of the strips.
△ Less
Submitted 24 May, 2020;
originally announced May 2020.
-
Mechanics of axisymmetric sheets of interlocking and slidable rods
Authors:
D. Riccobelli,
G. Noselli,
M. Arroyo,
A. DeSimone
Abstract:
In this work, we study the mechanics of metamaterial sheets inspired by the pellicle of Euglenids. They are composed of interlocking elastic rods which can freely slide along their edges. We characterize the kinematics and the mechanics of these structures using the special Cosserat theory of rods and by assuming axisymmetric deformations of the tubular assembly. Through an asymptotic expansion, w…
▽ More
In this work, we study the mechanics of metamaterial sheets inspired by the pellicle of Euglenids. They are composed of interlocking elastic rods which can freely slide along their edges. We characterize the kinematics and the mechanics of these structures using the special Cosserat theory of rods and by assuming axisymmetric deformations of the tubular assembly. Through an asymptotic expansion, we investigate both structures that comprise a discrete number of rods and the limit case of a sheet composed by infinitely many rods. We apply our theoretical framework to investigate the stability of these structures in the presence of an axial load. Through a linear analysis, we compute the critical buckling force for both the discrete and the continuous case. For the latter, we also perform a numerical post-buckling analysis, studying the non-linear evolution of the bifurcation through finite elements simulations.
△ Less
Submitted 9 May, 2020; v1 submitted 25 February, 2020;
originally announced February 2020.
-
The prescribed Ricci curvature problem for naturally reductive metrics on compact Lie groups
Authors:
Romina M. Arroyo,
Artem Pulemotov,
Wolfgang Ziller
Abstract:
We study the problem of prescribing the Ricci curvature in the class of naturally reductive metrics on a compact Lie group. We derive necessary as well as sufficient conditions for the solvability of the equations and provide a series of examples.
We study the problem of prescribing the Ricci curvature in the class of naturally reductive metrics on a compact Lie group. We derive necessary as well as sufficient conditions for the solvability of the equations and provide a series of examples.
△ Less
Submitted 26 January, 2020;
originally announced January 2020.
-
The 2019 Motile Active Matter Roadmap
Authors:
Gerhard Gompper,
Roland G. Winkler,
Thomas Speck,
Alexandre Solon,
Cesare Nardini,
Fernando Peruani,
Hartmut Loewen,
Ramin Golestanian,
U. Benjamin Kaupp,
Luis Alvarez,
Thomas Kioerboe,
Eric Lauga,
Wilson Poon,
Antonio De Simone,
Frank Cichos,
Alexander Fischer,
Santiago Muinos Landin,
Nicola Soeker,
Raymond Kapral,
Pierre Gaspard,
Marisol Ripoll,
Francesc Sagues,
Julia Yeomans,
Amin Doostmohammadi,
Igor Aronson
, et al. (12 additional authors not shown)
Abstract:
Activity and autonomous motion are fundamental in living and engineering systems. This has stimulated the new field of active matter in recent years, which focuses on the physical aspects of propulsion mechanisms, and on motility-induced emergent collective behavior of a larger number of identical agents. The scale of agents ranges from nanomotors and microswimmers, to cells, fish, birds, and peop…
▽ More
Activity and autonomous motion are fundamental in living and engineering systems. This has stimulated the new field of active matter in recent years, which focuses on the physical aspects of propulsion mechanisms, and on motility-induced emergent collective behavior of a larger number of identical agents. The scale of agents ranges from nanomotors and microswimmers, to cells, fish, birds, and people. Inspired by biological microswimmers, various designs of autonomous synthetic nano- and micromachines have been proposed. Such machines provide the basis for multifunctional, highly responsive, intelligent (artificial) active materials, which exhibit emergent behavior and the ability to perform tasks in response to external stimuli. A major challenge for understanding and designing active matter is their inherent nonequilibrium nature due to persistent energy consumption, which invalidates equilibrium concepts such as free energy, detailed balance, and time-reversal symmetry. Unraveling, predicting, and controlling the behavior of active matter is a truly interdisciplinary endeavor at the interface of biology, chemistry, ecology, engineering, mathematics, and physics. The vast complexity of phenomena and mechanisms involved in the self-organization and dynamics of motile active matter comprises a major challenge. Hence, to advance, and eventually reach a comprehensive understanding, this important research area requires a concerted, synergetic approach of the various disciplines.
△ Less
Submitted 11 December, 2019;
originally announced December 2019.
-
Using Name Confusion to Enhance Security
Authors:
Mohamed Tarek Ibn Ziad,
Miguel A. Arroyo,
Evgeny Manzhosov,
Vasileios P. Kemerlis,
Simha Sethumadhavan
Abstract:
We introduce a novel concept, called Name Confusion, and demonstrate how it can be employed to thwart multiple classes of code-reuse attacks. By building upon Name Confusion, we derive Phantom Name System (PNS): a security protocol that provides multiple names (addresses) to program instructions. Unlike the conventional model of virtual memory with a one-to-one mapping between instructions and vir…
▽ More
We introduce a novel concept, called Name Confusion, and demonstrate how it can be employed to thwart multiple classes of code-reuse attacks. By building upon Name Confusion, we derive Phantom Name System (PNS): a security protocol that provides multiple names (addresses) to program instructions. Unlike the conventional model of virtual memory with a one-to-one mapping between instructions and virtual memory addresses, PNS creates N mappings for the same instruction, and randomly switches between them at runtime. PNS achieves fast randomization, at the granularity of basic blocks, which mitigates a class of attacks known as (just-in-time) code-reuse.
If an attacker uses a memory safety-related vulnerability to cause any of the instruction addresses to be different from the one chosen during a fetch, the exploited program will crash. We quantitatively evaluate how PNS mitigates real-world code-reuse attacks by reducing the success probability of typical exploits to approximately $10^{-12}$. We implement PNS and validate it by running SPEC CPU2017 benchmark suite. We further verify its practicality by adding it to a RISC-V core on an FPGA. Lastly, PNS is mainly designed for resource constrained (wimpy) devices and has negligible performance overhead, compared to commercially-available, state-of-the-art, hardware-based protections.
△ Less
Submitted 26 August, 2020; v1 submitted 5 November, 2019;
originally announced November 2019.
-
HAWC Contributions to the 36th International Cosmic Ray Conference (ICRC2019)
Authors:
A. U. Abeysekara,
A. Albert,
R. Alfaro,
C. Alvarez,
J. D. Álvarez,
J. R. Angeles Camacho,
J. C. Arteaga-Velázquez,
K. P. Arunbabu,
D. Avila Rojas,
H. A. Ayala Solares,
V. Baghmanyan,
A. S. Barber,
J. Becerra Gonzalez,
E. Belmont-Moreno,
S. Y. BenZvi,
D. Berley,
J. Braun,
C. Brisbois,
K. S. Caballero-Mora,
T. Capistrán,
A. Carramiñana,
S. Casanova,
U. Cotti12,
J. Cotzomi,
S. Coutiño de León
, et al. (105 additional authors not shown)
Abstract:
List of proceedings from the HAWC Collaboration presented at the 36th International Cosmic Ray Conference, 24 July - 1 August 2019, Madison, Wisconsin, USA.
List of proceedings from the HAWC Collaboration presented at the 36th International Cosmic Ray Conference, 24 July - 1 August 2019, Madison, Wisconsin, USA.
△ Less
Submitted 4 September, 2019;
originally announced September 2019.
-
Practical Byte-Granular Memory Blacklisting using Califorms
Authors:
Hiroshi Sasaki,
Miguel A. Arroyo,
M. Tarek Ibn Ziad,
Koustubha Bhat,
Kanad Sinha,
Simha Sethumadhavan
Abstract:
Recent rapid strides in memory safety tools and hardware have improved software quality and security. While coarse-grained memory safety has improved, achieving memory safety at the granularity of individual objects remains a challenge due to high performance overheads which can be between ~1.7x-2.2x. In this paper, we present a novel idea called Califorms, and associated program observations, to…
▽ More
Recent rapid strides in memory safety tools and hardware have improved software quality and security. While coarse-grained memory safety has improved, achieving memory safety at the granularity of individual objects remains a challenge due to high performance overheads which can be between ~1.7x-2.2x. In this paper, we present a novel idea called Califorms, and associated program observations, to obtain a low overhead security solution for practical, byte-granular memory safety.
The idea we build on is called memory blacklisting, which prohibits a program from accessing certain memory regions based on program semantics. State of the art hardware-supported memory blacklisting while much faster than software blacklisting creates memory fragmentation (of the order of few bytes) for each use of the blacklisted location. In this paper, we observe that metadata used for blacklisting can be stored in dead spaces in a program's data memory and that this metadata can be integrated into microarchitecture by changing the cache line format. Using these observations, Califorms based system proposed in this paper reduces the performance overheads of memory safety to ~1.02x-1.16x while providing byte-granular protection and maintaining very low hardware overheads.
The low overhead offered by Califorms enables always on, memory safety for small and large objects alike, and the fundamental idea of storing metadata in empty spaces, and microarchitecture can be used for other security and performance applications.
△ Less
Submitted 10 June, 2019; v1 submitted 5 June, 2019;
originally announced June 2019.
-
Measurement of the Crab Nebula Spectrum Past 100 TeV with HAWC
Authors:
HAWC Collaboration,
A. U. Abeysekara,
A. Albert,
R. Alfaro,
C. Alvarez,
J. D. Álvarez,
J. R. Angeles Camacho,
R. Acero,
J. C. Arteaga-Velázquez,
K. P. Arunbabu,
D. Avila Rojas,
H. A. Ayala Solares,
V. Baghmanyan,
E. Belmont-Moreno,
S. Y. BenZvi,
C. Brisbois,
K. S. Cabellero-Mora,
T. Capistrán,
A. Carramiñana,
S. Casanova,
U. Cotti,
J. Cotzomi,
S. Coutiño de León,
E. De la Fuente,
C. de León
, et al. (80 additional authors not shown)
Abstract:
We present TeV gamma-ray observations of the Crab Nebula, the standard reference source in ground-based gamma-ray astronomy, using data from the High Altitude Water Cherenkov (HAWC) Gamma-Ray Observatory. In this analysis we use two independent energy-estimation methods that utilize extensive air shower variables such as the core position, shower angle, and shower lateral energy distribution. In c…
▽ More
We present TeV gamma-ray observations of the Crab Nebula, the standard reference source in ground-based gamma-ray astronomy, using data from the High Altitude Water Cherenkov (HAWC) Gamma-Ray Observatory. In this analysis we use two independent energy-estimation methods that utilize extensive air shower variables such as the core position, shower angle, and shower lateral energy distribution. In contrast, the previously published HAWC energy spectrum roughly estimated the shower energy with only the number of photomultipliers triggered. This new methodology yields a much improved energy resolution over the previous analysis and extends HAWC's ability to accurately measure gamma-ray energies well beyond 100 TeV. The energy spectrum of the Crab Nebula is well fit to a log parabola shape $\left(\frac{dN}{dE} = φ_0 \left(E/\textrm{7 TeV}\right)^{-α-β\ln\left(E/\textrm{7 TeV}\right)}\right)$ with emission up to at least 100 TeV. For the first estimator, a ground parameter that utilizes fits to the lateral distribution function to measure the charge density 40 meters from the shower axis, the best-fit values are $φ_o$=(2.35$\pm$0.04$^{+0.20}_{-0.21}$)$\times$10$^{-13}$ (TeV cm$^2$ s)$^{-1}$, $α$=2.79$\pm$0.02$^{+0.01}_{-0.03}$, and $β$=0.10$\pm$0.01$^{+0.01}_{-0.03}$. For the second estimator, a neural network which uses the charge distribution in annuli around the core and other variables, these values are $φ_o$=(2.31$\pm$0.02$^{+0.32}_{-0.17}$)$\times$10$^{-13}$ (TeV cm$^2$ s)$^{-1}$, $α$=2.73$\pm$0.02$^{+0.03}_{-0.02}$, and $β$=0.06$\pm$0.01$\pm$0.02. The first set of uncertainties are statistical; the second set are systematic. Both methods yield compatible results. These measurements are the highest-energy observation of a gamma-ray source to date.
△ Less
Submitted 17 September, 2019; v1 submitted 29 May, 2019;
originally announced May 2019.
-
Approximation of tensor fields on surfaces of arbitrary topology based on local Monge parametrizations
Authors:
Alejandro Torres-Sánchez,
Daniel Santos-Oliván,
Marino Arroyo
Abstract:
We introduce a new method, the Local Monge Parametrizations (LMP) method, to approximate tensor fields on general surfaces given by a collection of local parametrizations, e.g.~as in finite element or NURBS surface representations. Our goal is to use this method to solve numerically tensor-valued partial differential equations (PDE) on surfaces. Previous methods use scalar potentials to numericall…
▽ More
We introduce a new method, the Local Monge Parametrizations (LMP) method, to approximate tensor fields on general surfaces given by a collection of local parametrizations, e.g.~as in finite element or NURBS surface representations. Our goal is to use this method to solve numerically tensor-valued partial differential equations (PDE) on surfaces. Previous methods use scalar potentials to numerically describe vector fields on surfaces, at the expense of requiring higher-order derivatives of the approximated fields and limited to simply connected surfaces, or represent tangential tensor fields as tensor fields in 3D subjected to constraints, thus increasing the essential number of degrees of freedom. In contrast, the LMP method uses an optimal number of degrees of freedom to represent a tensor, is general with regards to the topology of the surface, and does not increase the order of the PDEs governing the tensor fields. The main idea is to construct maps between the element parametrizations and a local Monge parametrization around each node. We test the LMP method by approximating in a least-squares sense different vector and tensor fields on simply connected and genus-1 surfaces. Furthermore, we apply the LMP method to two physical models on surfaces, involving a tension-driven flow (vector-valued PDE) and nematic ordering (tensor-valued PDE). The LMP method thus solves the long-standing problem of the interpolation of tensors on general surfaces with an optimal number of degrees of freedom.
△ Less
Submitted 19 February, 2020; v1 submitted 12 April, 2019;
originally announced April 2019.