Showing 1–50 of 52 results for author: Abreu, A

KOBE-1: The first planetary system from the KOBE survey. Two planets likely residing in the sub-Neptune mass regime around a late K-dwarf

Authors: O. Balsalobre-Ruza, J. Lillo-Box, A. M. Silva, S. Grouffal, J. Aceituno, A. Castro-González, C. Cifuentes, M. R. Standing, J. P. Faria, P. Figueira, A. Santerne, E. Marfil, A. Abreu, A. Aguichine, L. González-Ramírez, J. C. Morales, N. Santos, N. Huélamo, E. Delgado Mena, D. Barrado, V. Adibekyan, S. C. C. Barros, Á. Berihuete, M. Morales-Calderón, E. Nagel , et al. (13 additional authors not shown)

Abstract: K-dwarf stars are promising targets in the exploration of potentially habitable planets. Their properties, falling between G and M dwarfs, provide an optimal trade-off between the prospect of habitability and ease of detection. The KOBE experiment is a blind-search survey exploiting this niche, monitoring the radial velocity of 50 late-type K-dwarf stars. It employs the CARMENES spectrograph, with… ▽ More K-dwarf stars are promising targets in the exploration of potentially habitable planets. Their properties, falling between G and M dwarfs, provide an optimal trade-off between the prospect of habitability and ease of detection. The KOBE experiment is a blind-search survey exploiting this niche, monitoring the radial velocity of 50 late-type K-dwarf stars. It employs the CARMENES spectrograph, with an observational strategy designed to detect planets in the habitable zone of their system. In this work, we exploit the KOBE data set to characterize planetary signals in the K7V star HIP 5957 (KOBE-1) and to constrain the planetary population within its habitable zone. We used 82 CARMENES spectra over a time span of three years. We employed a GLS periodogram to search for significant periodic signals that would be compatible with Keplerian motion on KOBE-1. We carried out a model comparison within a Bayesian framework to ensure the significance of the planetary model over alternative configurations of lower complexity. We also inspected two available TESS sectors in search of planetary signals. We identified two signals: at 8.5d and 29.7d. We confirmed their planetary nature through ruling out other non-planetary configurations. Their minimum masses are 8.80+/-0.76ME and 12.4+/-1.1ME, corresponding to absolute masses within the planetary regime at a high certainty (>99.7%). By analyzing the sensitivity of the CARMENES time series to additional signals, we discarded planets above 8.5ME within the habitable zone. We identified a single transit-like feature in TESS, whose origin is still uncertain, but still compatible within 1sigma with a transit from planet c. We have explored future prospects for characterizing this system, concluding that nulling interferometry with the LIFE mission could be capable of directly imaging both planets and characterizing their atmospheres in future studies. △ Less

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

Comments: 29 pages, 21 figures, 10 tables, published in Astronomy & Astrophysics

Journal ref: A&A, A15, 694 (2025)

First-Principles and Machine Learning Insights into the Design of DOTT-Carbon and its Lithium-Ion Storage Capacity

Authors: Kleuton. A. L. Lima, Ana V. P. Abreu, Alysson M. A. Silva, Luiz A. Ribeiro Jr

Abstract: Two-dimensional (2D) carbon-based materials are promising candidates for developing more efficient green energy conversion and storage technologies. This study presents a new 2D carbon allotrope, DOTT-Carbon, characterized by its distinctive and multi-ring structure featuring 12-, 8-, 4-, and 3-membered rings of carbon atoms. We explore its structural, mechanical, and lithium-ion storage propertie… ▽ More Two-dimensional (2D) carbon-based materials are promising candidates for developing more efficient green energy conversion and storage technologies. This study presents a new 2D carbon allotrope, DOTT-Carbon, characterized by its distinctive and multi-ring structure featuring 12-, 8-, 4-, and 3-membered rings of carbon atoms. We explore its structural, mechanical, and lithium-ion storage properties by employing density functional theory and machine learning simulations. Phonon calculations confirm its structural stability and ab initio molecular dynamics simulations demonstrate its thermal resilience at elevated temperatures. The material exhibits anisotropic mechanical properties, with Young's modulus values varying between 280-330 GPa. DOTT-Carbon displays a lithium-ion storage capacity of 446.28 mAh/g, complemented by a low diffusion barrier (0.2-0.9 eV) and a high diffusion coefficient ($ > 1.0 \times 10^{-6}$ cm$^{2}$/s), possibly facilitating efficient lithium-ion transport. The stable open circuit voltage of 0.28 V also indicates its suitability as an anode material. △ Less

Submitted 9 January, 2025; originally announced January 2025.

Comments: 19 pages

MSC Class: 00-XX ACM Class: J.2; I.6

Counting points on Hessenberg Varieties over finite fields

Authors: Alex Abreu, Antonio Nigro, Samrith Ram

Abstract: We give a counting formula in terms of modified Hall-Littlewood polynomials and the chromatic quasisymmetric function for the number of points on an arbitrary Hessenberg variety over a finite field. As a consequence, we express the Poincaré polynomials of complex Hessenberg varieties in terms of a Hall scalar product involving the symmetric functions above. We use these results to give a new proof… ▽ More We give a counting formula in terms of modified Hall-Littlewood polynomials and the chromatic quasisymmetric function for the number of points on an arbitrary Hessenberg variety over a finite field. As a consequence, we express the Poincaré polynomials of complex Hessenberg varieties in terms of a Hall scalar product involving the symmetric functions above. We use these results to give a new proof of a combinatorial formula for the modified Hall-Littlewood polynomials. △ Less

Submitted 7 November, 2024; originally announced November 2024.

Comments: 15 pages, 3 figures

MSC Class: 11G25; 15B33; 05E05; 05E10

PSHop: A Lightweight Feed-Forward Method for 3D Prostate Gland Segmentation

Authors: Yijing Yang, Vasileios Magoulianitis, Jiaxin Yang, Jintang Xue, Masatomo Kaneko, Giovanni Cacciamani, Andre Abreu, Vinay Duddalwar, C. -C. Jay Kuo, Inderbir S. Gill, Chrysostomos Nikias

Abstract: Automatic prostate segmentation is an important step in computer-aided diagnosis of prostate cancer and treatment planning. Existing methods of prostate segmentation are based on deep learning models which have a large size and lack of transparency which is essential for physicians. In this paper, a new data-driven 3D prostate segmentation method on MRI is proposed, named PSHop. Different from dee… ▽ More Automatic prostate segmentation is an important step in computer-aided diagnosis of prostate cancer and treatment planning. Existing methods of prostate segmentation are based on deep learning models which have a large size and lack of transparency which is essential for physicians. In this paper, a new data-driven 3D prostate segmentation method on MRI is proposed, named PSHop. Different from deep learning based methods, the core methodology of PSHop is a feed-forward encoder-decoder system based on successive subspace learning (SSL). It consists of two modules: 1) encoder: fine to coarse unsupervised representation learning with cascaded VoxelHop units, 2) decoder: coarse to fine segmentation prediction with voxel-wise classification and local refinement. Experiments are conducted on the publicly available ISBI-2013 dataset, as well as on a larger private one. Experimental analysis shows that our proposed PSHop is effective, robust and lightweight in the tasks of prostate gland and zonal segmentation, achieving a Dice Similarity Coefficient (DSC) of 0.873 for the gland segmentation task. PSHop achieves a competitive performance comparatively to other deep learning methods, while keeping the model size and inference complexity an order of magnitude smaller. △ Less

Submitted 23 March, 2024; originally announced March 2024.

Comments: 11 pages, 5 figures, 5 tables

PCa-RadHop: A Transparent and Lightweight Feed-forward Method for Clinically Significant Prostate Cancer Segmentation

Authors: Vasileios Magoulianitis, Jiaxin Yang, Yijing Yang, Jintang Xue, Masatomo Kaneko, Giovanni Cacciamani, Andre Abreu, Vinay Duddalwar, C. -C. Jay Kuo, Inderbir S. Gill, Chrysostomos Nikias

Abstract: Prostate Cancer is one of the most frequently occurring cancers in men, with a low survival rate if not early diagnosed. PI-RADS reading has a high false positive rate, thus increasing the diagnostic incurred costs and patient discomfort. Deep learning (DL) models achieve a high segmentation performance, although require a large model size and complexity. Also, DL models lack of feature interpreta… ▽ More Prostate Cancer is one of the most frequently occurring cancers in men, with a low survival rate if not early diagnosed. PI-RADS reading has a high false positive rate, thus increasing the diagnostic incurred costs and patient discomfort. Deep learning (DL) models achieve a high segmentation performance, although require a large model size and complexity. Also, DL models lack of feature interpretability and are perceived as ``black-boxes" in the medical field. PCa-RadHop pipeline is proposed in this work, aiming to provide a more transparent feature extraction process using a linear model. It adopts the recently introduced Green Learning (GL) paradigm, which offers a small model size and low complexity. PCa-RadHop consists of two stages: Stage-1 extracts data-driven radiomics features from the bi-parametric Magnetic Resonance Imaging (bp-MRI) input and predicts an initial heatmap. To reduce the false positive rate, a subsequent stage-2 is introduced to refine the predictions by including more contextual information and radiomics features from each already detected Region of Interest (ROI). Experiments on the largest publicly available dataset, PI-CAI, show a competitive performance standing of the proposed method among other deep DL models, achieving an area under the curve (AUC) of 0.807 among a cohort of 1,000 patients. Moreover, PCa-RadHop maintains orders of magnitude smaller model size and complexity. △ Less

Submitted 23 March, 2024; originally announced March 2024.

Comments: 13 pages, 7 figures, 5 tables

Stabilization of Mn4+ in synthetic slags and identification of important slag forming phases

Authors: Alena Schnickmanna, Danilo Alencar De Abreu, Olga Fabrichnaya, Thomas Schirmer

Abstract: The expected shortage of Li due to the strong increase in electromobility is an important issue for the recovery of Li from spent Li-ion batteries. One approach is pyrometallurgical processing, during which ignoble elements such as Li, Al and Mn enter the slag system. The Engineered Artificial Minerals (EnAM) strategy aims to efficiently recover critical elements. This study focuses on stabilizing… ▽ More The expected shortage of Li due to the strong increase in electromobility is an important issue for the recovery of Li from spent Li-ion batteries. One approach is pyrometallurgical processing, during which ignoble elements such as Li, Al and Mn enter the slag system. The Engineered Artificial Minerals (EnAM) strategy aims to efficiently recover critical elements. This study focuses on stabilizing Li-manganates in a synthetic slag and investigates the relationship between Mn4+ and Mg and Al in relation to phase formation. Therefore, three synthetic slags (Li, Mg, Al, Si, Ca, Mn, O) were synthesized. In addition to LiMn3+O2, Li2Mn4+O3 was also stabilized. Both phases crystallized in a Ca-silicate-rich matrix. In the structure of Li2MnO3 and LiMnO2, Li and Mn can substitute each other in certain proportions. As long as a mix of Mn2+ and Mn3+ is present in the slag, spinels form through the addition of Mg and/or Al. △ Less

Submitted 12 February, 2024; originally announced February 2024.

OpenMM 8: Molecular Dynamics Simulation with Machine Learning Potentials

Authors: Peter Eastman, Raimondas Galvelis, Raúl P. Peláez, Charlles R. A. Abreu, Stephen E. Farr, Emilio Gallicchio, Anton Gorenko, Michael M. Henry, Frank Hu, Jing Huang, Andreas Krämer, Julien Michel, Joshua A. Mitchell, Vijay S. Pande, João PGLM Rodrigues, Jaime Rodriguez-Guerra, Andrew C. Simmonett, Sukrit Singh, Jason Swails, Philip Turner, Yuanqing Wang, Ivy Zhang, John D. Chodera, Gianni De Fabritiis, Thomas E. Markland

Abstract: Machine learning plays an important and growing role in molecular simulation. The newest version of the OpenMM molecular dynamics toolkit introduces new features to support the use of machine learning potentials. Arbitrary PyTorch models can be added to a simulation and used to compute forces and energy. A higher-level interface allows users to easily model their molecules of interest with general… ▽ More Machine learning plays an important and growing role in molecular simulation. The newest version of the OpenMM molecular dynamics toolkit introduces new features to support the use of machine learning potentials. Arbitrary PyTorch models can be added to a simulation and used to compute forces and energy. A higher-level interface allows users to easily model their molecules of interest with general purpose, pretrained potential functions. A collection of optimized CUDA kernels and custom PyTorch operations greatly improves the speed of simulations. We demonstrate these features on simulations of cyclin-dependent kinase 8 (CDK8) and the green fluorescent protein (GFP) chromophore in water. Taken together, these features make it practical to use machine learning to improve the accuracy of simulations at only a modest increase in cost. △ Less

Submitted 29 November, 2023; v1 submitted 4 October, 2023; originally announced October 2023.

Comments: 16 pages, 5 figures

ACM Class: J.2; J.3

A Torelli theorem for graphs via quasistable divisors

Authors: Alex Abreu, Marco Pacini

Abstract: The Torelli theorem establishes that the Jacobian of a smooth projective curve, together with the polarization provided by the theta divisor, fully characterizes the curve. In the case of nodal curves, there exists a concept known as fine compactified Jacobian. The fine compactified Jacobian of a curve comes with a natural stratification that can be regarded as a poset. Furthermore, this poset is… ▽ More The Torelli theorem establishes that the Jacobian of a smooth projective curve, together with the polarization provided by the theta divisor, fully characterizes the curve. In the case of nodal curves, there exists a concept known as fine compactified Jacobian. The fine compactified Jacobian of a curve comes with a natural stratification that can be regarded as a poset. Furthermore, this poset is entirely determined by the dual graph of the curve and is referred to as the poset of quasistable divisors on the graph. We present a combinatorial version of the Torelli theorem, which demonstrates that the poset of quasistable divisors of a graph completely determines the biconnected components of the graph (up to contracting separating edges). Moreover, we achieve a natural extension of this theorem to tropical curves. △ Less

Submitted 8 September, 2023; originally announced September 2023.

Comments: MSC: 05Cxx, 14Hxx. 22 pages

Journal ref: Forum of Mathematics, Sigma 13 (2025) e25

The evolution of Complexity co-occurring keywords: bibliometric analysis and network approach

Authors: Tanya Araújo, Alexandre Abreu, Francisco Louçã

Abstract: Bibliometric studies based on the Web of Science (WOS) database have become an increasingly popular method for analysing the structure of scientific research. So do network approaches, which, based on empirical data, make it possible to characterize the emergence of topological structures over time and across multiple research areas. Our paper is a contribution to interweaving these two lines of r… ▽ More Bibliometric studies based on the Web of Science (WOS) database have become an increasingly popular method for analysing the structure of scientific research. So do network approaches, which, based on empirical data, make it possible to characterize the emergence of topological structures over time and across multiple research areas. Our paper is a contribution to interweaving these two lines of research that have progressed in separate ways but whose common applications have been increasingly more frequent. Among other attributes, Author Keywords and Keywords Plus are used as units of analysis that enable us to identify changes in the topics of interest and related bibliography. By considering the co-occurrence of those keywords with the Author Keyword \texttt{Complexity}, we provide an overview of the evolution of studies on Complexity Sciences, and compare this evolution in seven scientific fields. The results show a considerable increase in the number of papers dealing with complexity, as well as a general tendency across different disciplines for this literature to move from a more foundational, general and conceptual to a more applied and specific set of co-occurring keywords. Moreover, we provide evidence of changing topologies of networks of co-occurring keywords, which are described through the computation of some topological coefficients. In so doing, we emphasize the distinguishing structures that characterize the networks of the seven research areas. △ Less

Submitted 2 August, 2023; originally announced August 2023.

Comments: 25 pages, 7 figures

Bibliometric Analysis of Publisher and Journal Instructions to Authors on Generative-AI in Academic and Scientific Publishing

Authors: Conner Ganjavi, Michael B. Eppler, Asli Pekcan, Brett Biedermann, Andre Abreu, Gary S. Collins, Inderbir S. Gill, Giovanni E. Cacciamani

Abstract: We aim to determine the extent and content of guidance for authors regarding the use of generative-AI (GAI), Generative Pretrained models (GPTs) and Large Language Models (LLMs) powered tools among the top 100 academic publishers and journals in science. The websites of these publishers and journals were screened from between 19th and 20th May 2023. Among the largest 100 publishers, 17% provided g… ▽ More We aim to determine the extent and content of guidance for authors regarding the use of generative-AI (GAI), Generative Pretrained models (GPTs) and Large Language Models (LLMs) powered tools among the top 100 academic publishers and journals in science. The websites of these publishers and journals were screened from between 19th and 20th May 2023. Among the largest 100 publishers, 17% provided guidance on the use of GAI, of which 12 (70.6%) were among the top 25 publishers. Among the top 100 journals, 70% have provided guidance on GAI. Of those with guidance, 94.1% of publishers and 95.7% of journals prohibited the inclusion of GAI as an author. Four journals (5.7%) explicitly prohibit the use of GAI in the generation of a manuscript, while 3 (17.6%) publishers and 15 (21.4%) journals indicated their guidance exclusively applies to the writing process. When disclosing the use of GAI, 42.8% of publishers and 44.3% of journals included specific disclosure criteria. There was variability in guidance of where to disclose the use of GAI, including in the methods, acknowledgments, cover letter, or a new section. There was also variability in how to access GAI guidance and the linking of journal and publisher instructions to authors. There is a lack of guidance by some top publishers and journals on the use of GAI by authors. Among those publishers and journals that provide guidance, there is substantial heterogeneity in the allowable uses of GAI and in how it should be disclosed, with this heterogeneity persisting among affiliated publishers and journals in some instances. The lack of standardization burdens authors and threatens to limit the effectiveness of these regulations. There is a need for standardized guidelines in order to protect the integrity of scientific output as GAI continues to grow in popularity. △ Less

Submitted 21 July, 2023; originally announced July 2023.

Comments: Pages 16, 1 figure, 2 tables

MSC Class: A.0

Splitting the cohomology of Hessenberg varieties and e-positivity of chromatic symmetric functions

Authors: Alex Abreu, Antonio Nigro

Abstract: For each indifference graph, there is an associated regular semisimple Hessenberg variety, whose cohomology recovers the chromatic symmetric function of the graph. The decomposition theorem applied to the forgetful map from the regular semisimple Hessenberg variety to the projective space describes the cohomology of the Hessenberg variety as a sum of smaller pieces. We give a combinatorial descrip… ▽ More For each indifference graph, there is an associated regular semisimple Hessenberg variety, whose cohomology recovers the chromatic symmetric function of the graph. The decomposition theorem applied to the forgetful map from the regular semisimple Hessenberg variety to the projective space describes the cohomology of the Hessenberg variety as a sum of smaller pieces. We give a combinatorial description of the Frobenius character of each piece. This provides a generalization of the symmetric functions attached to Stanley's local h-polynomials of the permutahedral variety to any Hessenberg variety. As a consequence, we can prove that the coefficient of $e_λ$, where $λ$ is any partition of length 2, in the e-expansion of the chromatic symmetric function of any indifference graph is non-negative. △ Less

Submitted 20 April, 2023; originally announced April 2023.

Comments: 23 pages

Wall-crossing of universal Brill-Noether classes

Authors: Alex Abreu, Nicola Pagani

Abstract: We give an explicit graph formula, in terms of decorated boundary strata classes, for the wall-crossing of universal Brill-Noether classes. More precisely, fix n>0 and d<g , and two stability conditions φ^-, φ^+ for degree d compactified universal (over the moduli space of stable n-pointed curves of genus g) Jacobians that lie on opposite sides of a stability hyperplane. Our main result is a formu… ▽ More We give an explicit graph formula, in terms of decorated boundary strata classes, for the wall-crossing of universal Brill-Noether classes. More precisely, fix n>0 and d<g , and two stability conditions φ^-, φ^+ for degree d compactified universal (over the moduli space of stable n-pointed curves of genus g) Jacobians that lie on opposite sides of a stability hyperplane. Our main result is a formula for the difference between the Brill-Noether classes, compared via the pullback along the (rational) identity map. The calculation involves constructing a resolution of the identity map by means of subsequent blow-ups. △ Less

Submitted 5 June, 2025; v1 submitted 29 March, 2023; originally announced March 2023.

Comments: v2, minor corrections throughout. 65 pages, 1 figure. Comments are welcome

Glycolaldehyde formation mediated by interstellar amorphous ice: a computational study

Authors: Mateus A. M. Paiva, Sergio Pilling, Edgar Mendoza, Breno R. L. Galvão, Heitor A. De Abreu

Abstract: Glycolaldehyde (HOCH2CHO) is the most straightforward sugar detected in the Interstellar Medium (ISM) and participates in the formation pathways of molecules fundamental to life, red such as ribose and derivatives. Although detected in several regions of the ISM, its formation route is still debated and its abundance cannot be explained only by reactions in the gas phase. This work explores a new… ▽ More Glycolaldehyde (HOCH2CHO) is the most straightforward sugar detected in the Interstellar Medium (ISM) and participates in the formation pathways of molecules fundamental to life, red such as ribose and derivatives. Although detected in several regions of the ISM, its formation route is still debated and its abundance cannot be explained only by reactions in the gas phase. This work explores a new gas-phase formation mechanism for glycolaldehyde and compares the energy barrier reduction when the same route happens on the surface of amorphous ices. The first step of the mechanism involves the formation of a carbon-carbon bond between formaldehyde (H2CO) and the formyl radical (HCO), with an energy barrier of 27 kJ mol-1 (gas-phase). The second step consists of barrierless hydrogen addition. Density functional calculations under periodic boundary conditions were applied to study this reaction path on 10 different amorphous ice surfaces through an Eley-Rideal type mechanism. It was found that the energy barrier is reduced on average by 49 per cent, leading in some cases to a 100 per cent reduction. The calculated adsorption energy of glycolaldehyde suggests that it can be promptly desorbed to the gas phase after its formation. This work, thus contributes to explaining the detected relative abundances of glycolaldehyde and opens a new methodological framework for studying the formation routes for Complex Organic Molecules (COMs) in interstellar icy grains. △ Less

Submitted 3 February, 2023; originally announced February 2023.

Comments: 10 pages, 9 figures, supplementary data. Accepted for publication in Monthly Notices of the Royal Astronomical Society

Journal ref: Monthly Notices of the Royal Astronomical Society, 2023, 519, 2518-2527

Parabolic Lusztig varieties and chromatic symmetric functions

Authors: Alex Abreu, Antonio Nigro

Abstract: The characters of Kazhdan--Lusztig elements of the Hecke algebra over $S_n$ (and in particular, the chromatic symmetric function of indifference graphs) are completely encoded in the (intersection) cohomology of certain subvarieties of the flag variety. Considering the forgetful map to some partial flag variety, the decomposition theorem tells us that this cohomology splits as a sum of intersectio… ▽ More The characters of Kazhdan--Lusztig elements of the Hecke algebra over $S_n$ (and in particular, the chromatic symmetric function of indifference graphs) are completely encoded in the (intersection) cohomology of certain subvarieties of the flag variety. Considering the forgetful map to some partial flag variety, the decomposition theorem tells us that this cohomology splits as a sum of intersection cohomology groups with coefficients in some local systems of subvarieties of the partial flag variety. We prove that these local systems correspond to representations of subgroups of $S_n$. An explicit characterization of such representations would provide a recursive formula for the computation of such characters/chromatic symmetric functions, which could settle Haiman's conjecture about the positivity of the monomial characters of Kazhdan--Lusztig elements and Stanley--Stembridge conjecture about $e$-positivity of chromatic symmetric function of indifference graphs. We also find a connection between the character of certain homology groups of subvarieties of the partial flag varieties and the Grojnowski--Haiman hybrid basis of the Hecke algebra. △ Less

Submitted 27 December, 2022; originally announced December 2022.

Comments: 36 pages

LudVision -- Remote Detection of Exotic Invasive Aquatic Floral Species using Drone-Mounted Multispectral Data

Authors: António J. Abreu, Luís A. Alexandre, João A. Santos, Filippo Basso

Abstract: Remote sensing is the process of detecting and monitoring the physical characteristics of an area by measuring its reflected and emitted radiation at a distance. It is being broadly used to monitor ecosystems, mainly for their preservation. Ever-growing reports of invasive species have affected the natural balance of ecosystems. Exotic invasive species have a critical impact when introduced into n… ▽ More Remote sensing is the process of detecting and monitoring the physical characteristics of an area by measuring its reflected and emitted radiation at a distance. It is being broadly used to monitor ecosystems, mainly for their preservation. Ever-growing reports of invasive species have affected the natural balance of ecosystems. Exotic invasive species have a critical impact when introduced into new ecosystems and may lead to the extinction of native species. In this study, we focus on Ludwigia peploides, considered by the European Union as an aquatic invasive species. Its presence can negatively impact the surrounding ecosystem and human activities such as agriculture, fishing, and navigation. Our goal was to develop a method to identify the presence of the species. We used images collected by a drone-mounted multispectral sensor to achieve this, creating our LudVision data set. To identify the targeted species on the collected images, we propose a new method for detecting Ludwigia p. in multispectral images. The method is based on existing state-of-the-art semantic segmentation methods modified to handle multispectral data. The proposed method achieved a producer's accuracy of 79.9% and a user's accuracy of 95.5%. △ Less

Submitted 13 July, 2022; v1 submitted 12 July, 2022; originally announced July 2022.

An update on Haiman's conjectures

Authors: Alex Abreu, Antonio Nigro

Abstract: We revisit Haiman's conjecture on the relations between characters of Kazdhan-Lusztig basis elements of the Hecke algebra over the symmetric group. The conjecture asserts that, for purposes of character evaluation, any Kazhdan-Lusztig basis element is reducible to a sum of the simplest possible ones (those associated to so-called codominant permutations). When the basis element is associated to a… ▽ More We revisit Haiman's conjecture on the relations between characters of Kazdhan-Lusztig basis elements of the Hecke algebra over the symmetric group. The conjecture asserts that, for purposes of character evaluation, any Kazhdan-Lusztig basis element is reducible to a sum of the simplest possible ones (those associated to so-called codominant permutations). When the basis element is associated to a smooth permutation, we are able to give a geometric proof of this conjecture. On the other hand, if the permutation is singular, we provide a counterexample. △ Less

Submitted 2 June, 2022; v1 submitted 31 May, 2022; originally announced June 2022.

Comments: 14 pages

A geometric approach to characters of Hecke algebras

Authors: Alex Abreu, Antonio Nigro

Abstract: To any element of a connected, simply connected, semisimple complex algebraic group G and a choice of an element of the corresponding Weyl group there is an associated Lusztig variety. When the element of G is regular semisimple, the corresponding variety carries an action of the Weyl group on its (equivariant) intersection cohomology. From this action, we recover the induced characters of an elem… ▽ More To any element of a connected, simply connected, semisimple complex algebraic group G and a choice of an element of the corresponding Weyl group there is an associated Lusztig variety. When the element of G is regular semisimple, the corresponding variety carries an action of the Weyl group on its (equivariant) intersection cohomology. From this action, we recover the induced characters of an element of the Kazhdan-Lusztig basis of the corresponding Hecke algebra. In type A, we prove a more precise statement: that the Frobenius character of this action is precisely the symmetric function given by the characters of a Kazhdan-Lusztig basis element. The main idea is to find celular decompositions of desingularizations of these varieties and apply the Brosnan-Chow palindromicity criterion for determining when the local invariant cycle map is an isomorphism. This recovers some results of Lusztig about character sheaves and gives a generalization of the Brosnan-Chow solution to the Sharesian-Wachs conjecture to non-codominant permutations, where singularities are involved. We also review the connections between Immanants, Hecke algebras, and Chromatic quasisymmetric functions of indifference graphs. △ Less

Submitted 9 June, 2022; v1 submitted 29 May, 2022; originally announced May 2022.

Comments: 70 pages

A New Formulation for the Concerted Alchemical Calculation of van der Waals and Coulomb Components of Solvation Free Energies

Authors: Gabriela B. Correa, Jessica C. S. L. Maciel, Frederico W. Tavares, Charlles R. A. Abreu

Abstract: Alchemical free energy calculations via molecular dynamics have been widely used to obtain thermodynamic properties related to protein-ligand binding and solute-solvent interactions. Although soft-core modeling is the most common approach, the linear basis function (LBF) methodology [Naden, L. N.; et al. J. Chem. Theory Comput. 2014, 10 (3), 1128; 2015, 11 (6), 2536] has emerged as a suitable alte… ▽ More Alchemical free energy calculations via molecular dynamics have been widely used to obtain thermodynamic properties related to protein-ligand binding and solute-solvent interactions. Although soft-core modeling is the most common approach, the linear basis function (LBF) methodology [Naden, L. N.; et al. J. Chem. Theory Comput. 2014, 10 (3), 1128; 2015, 11 (6), 2536] has emerged as a suitable alternative. It overcomes the end-point singularity of the scaling method while maintaining essential advantages such as ease of implementation and high flexibility for postprocessing analysis. In the present work, we propose a simple LBF variant and formulate an efficient protocol for evaluating van der Waals and Coulomb components of an alchemical transformation in tandem, in contrast to the prevalent sequential evaluation mode. To validate our proposal, which results from a careful optimization study, we performed solvation free energy calculations and obtained octanol-water partition coefficients of small organic molecules. Comparisons with results obtained via the sequential mode using either another LBF approach or the soft-core model attest to the effectiveness and correctness of our method. In addition, we show that a reaction field model with an infinite dielectric constant can provide very accurate hydration free energies when used instead of a lattice-sum method to model solute-solvent electrostatics. △ Less

Submitted 2 January, 2023; v1 submitted 23 May, 2022; originally announced May 2022.

Comments: 19 pages, 9 figures, 6 tables

Journal ref: J. Chem. Theory Comput. 2022, 18, 10, 5876-5889

On moduli spaces of roots in algebraic and tropical geometry

Authors: Alex Abreu, Marco Pacini, Matheus Secco

Abstract: In this paper we construct a tropical moduli space parametrizing roots of divisors on tropical curves. We study the relation between this space and the skeleton of Jarvis moduli space of nets of limit roots on stable curves. We show that the combinatorics of the moduli space of tropical roots is governed by the poset of flows, a poset parametrizing certain flows on graphs. In this paper we construct a tropical moduli space parametrizing roots of divisors on tropical curves. We study the relation between this space and the skeleton of Jarvis moduli space of nets of limit roots on stable curves. We show that the combinatorics of the moduli space of tropical roots is governed by the poset of flows, a poset parametrizing certain flows on graphs. △ Less

Submitted 9 August, 2022; v1 submitted 28 April, 2022; originally announced April 2022.

Comments: 23 pages

Degree-2 Abel maps and hyperelleptic curves

Authors: Alex Abreu, Sally Andria, Marco Pacini

Abstract: In this paper we resolve the degree-2 Abel map for nodal curves. Our results are based on a previous work of the authors reducing the problem of the resolution of the Abel map to a combinatorial problem via tropical geometry. As an application, we characterize when the (symmetrized) degree-2 Abel map is not injective, a property that, for a smooth curve, is equivalent to the curve being hyperellip… ▽ More In this paper we resolve the degree-2 Abel map for nodal curves. Our results are based on a previous work of the authors reducing the problem of the resolution of the Abel map to a combinatorial problem via tropical geometry. As an application, we characterize when the (symmetrized) degree-2 Abel map is not injective, a property that, for a smooth curve, is equivalent to the curve being hyperelliptic. △ Less

Submitted 27 January, 2022; originally announced January 2022.

Comments: 19 pages, 10 figures

MSC Class: 14H10; 14H40; 14T90

Combined analysis of HPK 3.1 LGADs using a proton beam, beta source, and probe station towards establishing high volume quality control

Authors: Ryan Heller, Andrés Abreu, Artur Apresyan, Roberta Arcidiacono, Nicolò Cartiglia, Karri DiPetrillo, Marco Ferrero, Meraj Hussain, Margaret Lazarovitz, Hakseong Lee, Sergey Los, Chang-Seong Moon, Cristián Peña, Federico Siviero, Valentina Sola, Tanvi Wamorkar, Si Xie

Abstract: The upgrades of the CMS and ATLAS experiments for the high luminosity phase of the Large Hadron Collider will employ precision timing detectors based on Low Gain Avalanche Detectors (LGADs). We present a suite of results combining measurements from the Fermilab Test Beam Facility, a beta source telescope, and a probe station, allowing full characterization of the HPK type 3.1 production of LGAD pr… ▽ More The upgrades of the CMS and ATLAS experiments for the high luminosity phase of the Large Hadron Collider will employ precision timing detectors based on Low Gain Avalanche Detectors (LGADs). We present a suite of results combining measurements from the Fermilab Test Beam Facility, a beta source telescope, and a probe station, allowing full characterization of the HPK type 3.1 production of LGAD prototypes developed for these detectors. We demonstrate that the LGAD response to high energy test beam particles is accurately reproduced with a beta source. We further establish that probe station measurements of the gain implant accurately predict the particle response and operating parameters of each sensor, and conclude that the uniformity of the gain implant in this production is sufficient to produce full-sized sensors for the ATLAS and CMS timing detectors. △ Less

Submitted 16 April, 2021; originally announced April 2021.

Comments: 20 page, 20 figures

Test beam characterization of sensor prototypes for the CMS Barrel MIP Timing Detector

Authors: R. Abbott, A. Abreu, F. Addesa, M. Alhusseini, T. Anderson, Y. Andreev, A. Apresyan, R. Arcidiacono, M. Arenton, E. Auffray, D. Bastos, L. A. T. Bauerdick, R. Bellan, M. Bellato, A. Benaglia, M. Benettoni, R. Bertoni, M. Besancon, S. Bharthuar, A. Bornheim, E. Brücken, J. N. Butler, C. Campagnari, M. Campana, R. Carlin , et al. (174 additional authors not shown)

Abstract: The MIP Timing Detector will provide additional timing capabilities for detection of minimum ionizing particles (MIPs) at CMS during the High Luminosity LHC era, improving event reconstruction and pileup rejection. The central portion of the detector, the Barrel Timing Layer (BTL), will be instrumented with LYSO:Ce crystals and Silicon Photomultipliers (SiPMs) providing a time resolution of about… ▽ More The MIP Timing Detector will provide additional timing capabilities for detection of minimum ionizing particles (MIPs) at CMS during the High Luminosity LHC era, improving event reconstruction and pileup rejection. The central portion of the detector, the Barrel Timing Layer (BTL), will be instrumented with LYSO:Ce crystals and Silicon Photomultipliers (SiPMs) providing a time resolution of about 30 ps at the beginning of operation, and degrading to 50-60 ps at the end of the detector lifetime as a result of radiation damage. In this work, we present the results obtained using a 120 GeV proton beam at the Fermilab Test Beam Facility to measure the time resolution of unirradiated sensors. A proof-of-concept of the sensor layout proposed for the barrel region of the MTD, consisting of elongated crystal bars with dimensions of about 3 x 3 x 57 mm$^3$ and with double-ended SiPM readout, is demonstrated. This design provides a robust time measurement independent of the impact point of the MIP along the crystal bar. We tested LYSO:Ce bars of different thickness (2, 3, 4 mm) with a geometry close to the reference design and coupled to SiPMs manufactured by Hamamatsu and Fondazione Bruno Kessler. The various aspects influencing the timing performance such as the crystal thickness, properties of the SiPMs (e.g. photon detection efficiency), and impact angle of the MIP are studied. A time resolution of about 28 ps is measured for MIPs crossing a 3 mm thick crystal bar, corresponding to an MPV energy deposition of 2.6 MeV, and of 22 ps for the 4.2 MeV MPV energy deposition expected in the BTL, matching the detector performance target for unirradiated devices. △ Less

Submitted 16 July, 2021; v1 submitted 15 April, 2021; originally announced April 2021.

Journal ref: Journal of Instrumentation, Volume 16, July 2021

The moduli space of quasistable spin curves

Authors: Alex Abreu, Marco Pacini, Danny Taboada

Abstract: We study a compactification of the moduli space of theta characteristics, giving a modular interpretation of the geometric points and describing the boundary stratification. This space is different from the moduli space of spin curves. The modular description and the boundary stratification of the new compactification are encoded by a tropical moduli space. We show that this tropical moduli space… ▽ More We study a compactification of the moduli space of theta characteristics, giving a modular interpretation of the geometric points and describing the boundary stratification. This space is different from the moduli space of spin curves. The modular description and the boundary stratification of the new compactification are encoded by a tropical moduli space. We show that this tropical moduli space is a refinement of the moduli space of spin tropical curves. We describe explicitly the induced decomposition of its cones. △ Less

Submitted 30 December, 2020; originally announced December 2020.

Comments: 44 pages, 7 figures

Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization

Authors: Shubham Rai, Walter Lau Neto, Yukio Miyasaka, Xinpei Zhang, Mingfei Yu, Qingyang Yi Masahiro Fujita, Guilherme B. Manske, Matheus F. Pontes, Leomar S. da Rosa Junior, Marilton S. de Aguiar, Paulo F. Butzen, Po-Chun Chien, Yu-Shan Huang, Hoa-Ren Wang, Jie-Hong R. Jiang, Jiaqi Gu, Zheng Zhao, Zixuan Jiang, David Z. Pan, Brunno A. de Abreu, Isac de Souza Campos, Augusto Berndt, Cristina Meinhardt, Jonata T. Carvalho, Mateus Grellert , et al. (15 additional authors not shown)

Abstract: Logic synthesis is a fundamental step in hardware design whose goal is to find structural representations of Boolean functions while minimizing delay and area. If the function is completely-specified, the implementation accurately represents the function. If the function is incompletely-specified, the implementation has to be true only on the care set. While most of the algorithms in logic synthes… ▽ More Logic synthesis is a fundamental step in hardware design whose goal is to find structural representations of Boolean functions while minimizing delay and area. If the function is completely-specified, the implementation accurately represents the function. If the function is incompletely-specified, the implementation has to be true only on the care set. While most of the algorithms in logic synthesis rely on SAT and Boolean methods to exactly implement the care set, we investigate learning in logic synthesis, attempting to trade exactness for generalization. This work is directly related to machine learning where the care set is the training set and the implementation is expected to generalize on a validation set. We present learning incompletely-specified functions based on the results of a competition conducted at IWLS 2020. The goal of the competition was to implement 100 functions given by a set of care minterms for training, while testing the implementation using a set of validation minterms sampled from the same function. We make this benchmark suite available and offer a detailed comparative analysis of the different approaches to learning △ Less

Submitted 15 December, 2020; v1 submitted 4 December, 2020; originally announced December 2020.

Comments: In this 23 page manuscript, we explore the connection between machine learning and logic synthesis which was the main goal for International Workshop on logic synthesis. It includes approaches applied by ten teams spanning 6 countries across the world

Gaia Early Data Release 3: Structure and properties of the Magellanic Clouds

Authors: Gaia Collaboration, X. Luri, L. Chemin, G. Clementini, H. E. Delgado, P. J. McMillan, M. Romero-Gómez, E. Balbinot, A. Castro-Ginard, R. Mor, V. Ripepi, L. M. Sarro, M. -R. L. Cioni, C. Fabricius, A. Garofalo, A. Helmi, T. Muraveva, A. G. A. Brown, A. Vallenari, T. Prusti, J. H. J. de, C. Babusiaux, M. Biermann, O. L. Creevey, D. W. Evans , et al. (395 additional authors not shown)

Abstract: We compare the Gaia DR2 and Gaia EDR3 performances in the study of the Magellanic Clouds and show the clear improvements in precision and accuracy in the new release. We also show that the systematics still present in the data make the determination of the 3D geometry of the LMC a difficult endeavour; this is at the very limit of the usefulness of the Gaia EDR3 astrometry, but it may become feasib… ▽ More We compare the Gaia DR2 and Gaia EDR3 performances in the study of the Magellanic Clouds and show the clear improvements in precision and accuracy in the new release. We also show that the systematics still present in the data make the determination of the 3D geometry of the LMC a difficult endeavour; this is at the very limit of the usefulness of the Gaia EDR3 astrometry, but it may become feasible with the use of additional external data. We derive radial and tangential velocity maps and global profiles for the LMC for the several subsamples we defined. To our knowledge, this is the first time that the two planar components of the ordered and random motions are derived for multiple stellar evolutionary phases in a galactic disc outside the Milky Way, showing the differences between younger and older phases. We also analyse the spatial structure and motions in the central region, the bar, and the disc, providing new insights into features and kinematics. Finally, we show that the Gaia EDR3 data allows clearly resolving the Magellanic Bridge, and we trace the density and velocity flow of the stars from the SMC towards the LMC not only globally, but also separately for young and evolved populations. This allows us to confirm an evolved population in the Bridge that is slightly shift from the younger population. Additionally, we were able to study the outskirts of both Magellanic Clouds, in which we detected some well-known features and indications of new ones. △ Less

Submitted 4 January, 2021; v1 submitted 3 December, 2020; originally announced December 2020.

Comments: This paper is part of the "demonstration papers" released with Gaia EDR3: https://www.cosmos.esa.int/web/gaia/earlydr3

Journal ref: A&A 649, A7 (2021)

Abel Maps for nodal curves via tropical geometry

Authors: Alex Abreu, Sally Andria, Marco Pacini

Abstract: We consider Abel maps for regular smoothing of nodal curves with values in the Esteves compactified Jacobian. In general, these maps are just rational, and an interesting question is to find an explicit resolution. We translate this problem into an explicit combinatorial problem by means of tropical and toric geometry. We show that the solution of the combinatorial problem gives rise to an explici… ▽ More We consider Abel maps for regular smoothing of nodal curves with values in the Esteves compactified Jacobian. In general, these maps are just rational, and an interesting question is to find an explicit resolution. We translate this problem into an explicit combinatorial problem by means of tropical and toric geometry. We show that the solution of the combinatorial problem gives rise to an explicit resolution of the Abel map. We are able to use this technique to construct and study all the Abel maps of degree one. △ Less

Submitted 3 November, 2020; originally announced November 2020.

Comments: 49 pages, 27 figures

A symmetric function of increasing forests

Authors: Alex Abreu, Antonio Nigro

Abstract: For an indifference graph $G$ we define a symmetric function of increasing spanning forests of $G$. We prove that this symmetric function satisfies certain linear relations, which are also satisfied by the chromatic quasisymmetric function and unicellular LLT polynomials. As a consequence we give a combinatorial interpretation of the coefficients of the LLT polynomial in the elementary basis (up t… ▽ More For an indifference graph $G$ we define a symmetric function of increasing spanning forests of $G$. We prove that this symmetric function satisfies certain linear relations, which are also satisfied by the chromatic quasisymmetric function and unicellular LLT polynomials. As a consequence we give a combinatorial interpretation of the coefficients of the LLT polynomial in the elementary basis (up to a factor of a power of $(q-1)$), strengthening the description given by Alexandersson and Sulzgruber. △ Less

Submitted 15 June, 2020; originally announced June 2020.

Comments: 18 pages

MSC Class: 05A05; 05E05

Journal ref: Forum of Mathematics, Sigma 9 (2021) e35

Chromatic symmetric functions from the modular law

Authors: Alex Abreu, Antonio Nigro

Abstract: In this article we show how to compute the chromatic quasisymmetric function of indifference graphs from the modular law introduced by Guay-Paquet. We provide an algorithm which works for any function that satisfies this law, such as unicellular LLT polynomials. When the indifference graph has bipartite complement it reduces to a planar network, in this case, we prove that the coefficients of the… ▽ More In this article we show how to compute the chromatic quasisymmetric function of indifference graphs from the modular law introduced by Guay-Paquet. We provide an algorithm which works for any function that satisfies this law, such as unicellular LLT polynomials. When the indifference graph has bipartite complement it reduces to a planar network, in this case, we prove that the coefficients of the chromatic quasisymmetric function in the elementary basis are positive unimodal polynomials and characterize them as certain $q$-hit numbers (up to a factor). Finally, we discuss the logarithmic concavity of the coefficients of the chromatic quasisymmetric function. △ Less

Submitted 22 June, 2020; v1 submitted 31 May, 2020; originally announced June 2020.

Comments: V2, 22 pages, added unimodality results and a discussion about log concavity

MSC Class: 05A05; 05E05

Total tessellation cover and quantum walk

Authors: Alexandre Abreu, Luís Cunha, Celina de Figueiredo, Franklin Marquezino, Daniel Posner, Renato Portugal

Abstract: We propose the total staggered quantum walk model and the total tessellation cover of a graph. This model uses the concept of total tessellation cover to describe the motion of the walker who is allowed to hop both to vertices and edges of the graph, in contrast with previous models in which the walker hops either to vertices or edges. We establish bounds on $T_t(G)$, which is the smallest number… ▽ More We propose the total staggered quantum walk model and the total tessellation cover of a graph. This model uses the concept of total tessellation cover to describe the motion of the walker who is allowed to hop both to vertices and edges of the graph, in contrast with previous models in which the walker hops either to vertices or edges. We establish bounds on $T_t(G)$, which is the smallest number of tessellations required in a total tessellation cover of $G$. We highlight two of these lower bounds $T_t(G) \geq ω(G)$ and $T_t(G)\geq is(G)+1$, where $ω(G)$ is the size of a maximum clique and $is(G)$ is the number of edges of a maximum induced star subgraph. Using these bounds, we define the good total tessellable graphs with either $T_t(G)=ω(G)$ or $T_t(G)=is(G)+1$. The $k$-total tessellability problem aims to decide whether a given graph $G$ has $T_t(G) \leq k$. We show that $k$-total tessellability is in $\mathcal{P}$ for good total tessellable graphs. We establish the $\mathcal{NP}$-completeness of the following problems when restricted to the following classes: ($is(G)+1$)-total tessellability for graphs with $ω(G) = 2$; $ω(G)$-total tessellability for graphs $G$ with $is(G)+1 = 3$; $k$-total tessellability for graphs $G$ with $\max\{ω(G), is(G)+1\}$ far from $k$; and $4$-total tessellability for graphs $G$ with $ω(G) = is(G)+1 = 4$. As a consequence, we establish hardness results for bipartite graphs, line graphs of triangle-free graphs, universal graphs, planar graphs, and $(2,1)$-chordal graphs. △ Less

Submitted 20 February, 2020; originally announced February 2020.

MSC Class: 05C ACM Class: G.2.1; G.2.2

A universal tropical Jacobian over $M_g^{\trop}$

Authors: Alex Abreu, Sally Andria, Marco Pacini, Danny Taboada

Abstract: We introduce and study polystable divisors on a tropical curve, which are the tropical analogue of polystable torsion-free rank-1 sheaves on a nodal curve. We construct a universal tropical Jacobian over the moduli space of tropical curves of genus $g$. This space parametrizes equivalence classes of tropical curves of genus $g$ together with a $μ$-polystable divisor, and can be seen as a tropical… ▽ More We introduce and study polystable divisors on a tropical curve, which are the tropical analogue of polystable torsion-free rank-1 sheaves on a nodal curve. We construct a universal tropical Jacobian over the moduli space of tropical curves of genus $g$. This space parametrizes equivalence classes of tropical curves of genus $g$ together with a $μ$-polystable divisor, and can be seen as a tropical counterpart of Caporaso universal Picard scheme. We describe polyhedral decompositions of the Jacobian of a tropical curve via polystable divisors, relating them with other known polyhedral decompositions. △ Less

Submitted 23 December, 2019; v1 submitted 18 December, 2019; originally announced December 2019.

Comments: 5 figures, 31 pages. New version: corrected some citations

The Tessellation Cover Number of Good Tessellable Graphs

Authors: Alexandre Abreu, Luís Cunha, Celina de Figueiredo, Luis Kowada, Franklin Marquezino, Renato Portugal, Daniel Posner

Abstract: A tessellation of a graph is a partition of its vertices into vertex disjoint cliques. A tessellation cover of a graph is a set of tessellations that covers all of its edges, and the tessellation cover number, denoted by $T(G)$, is the size of a smallest tessellation cover. The \textsc{$t$-tessellability} problem aims to decide whether a graph $G$ has $T(G)\leq t$ and is $\mathcal{NP}$-complete fo… ▽ More A tessellation of a graph is a partition of its vertices into vertex disjoint cliques. A tessellation cover of a graph is a set of tessellations that covers all of its edges, and the tessellation cover number, denoted by $T(G)$, is the size of a smallest tessellation cover. The \textsc{$t$-tessellability} problem aims to decide whether a graph $G$ has $T(G)\leq t$ and is $\mathcal{NP}$-complete for $t\geq 3$. Since the number of edges of a maximum induced star of $G$, denoted by $is(G)$, is a lower bound on $T(G)$, we define good tessellable graphs as the graphs~$G$ such that $T(G)=is(G)$. The \textsc{good tessellable recognition (gtr)} problem aims to decide whether $G$ is a good tessellable graph. We show that \textsc{gtr} is $\mathcal{NP}$-complete not only if $T(G)$ is known or $is(G)$ is fixed, but also when the gap between $T(G)$ and $is(G)$ is large. As a byproduct, we obtain graph classes that obey the corresponding computational complexity behaviors. △ Less

Submitted 28 August, 2019; originally announced August 2019.

Comments: 14 pages, 3 figures

The resolution of the universal Abel map via tropical geometry and applications

Authors: Alex Abreu, Marco Pacini

Abstract: Let $g$ and $n$ be nonnegative integers and $\mathcal A=(a_0,\dots,a_n)$ a sequence of $n+1$ integers summing up to $d$. Let $\overline{\mathcal M}_{g,n+1}$ be the moduli space of $(n+1)$-pointed stable curves of genus $g$ and $\overline{\mathcal J}_{μ,g}\rightarrow \overline{\mathcal M}_{g,1}$ be the Esteves' universal Jacobian, where $μ$ is a universal genus-$g$ polarization of degree $d$. We gi… ▽ More Let $g$ and $n$ be nonnegative integers and $\mathcal A=(a_0,\dots,a_n)$ a sequence of $n+1$ integers summing up to $d$. Let $\overline{\mathcal M}_{g,n+1}$ be the moduli space of $(n+1)$-pointed stable curves of genus $g$ and $\overline{\mathcal J}_{μ,g}\rightarrow \overline{\mathcal M}_{g,1}$ be the Esteves' universal Jacobian, where $μ$ is a universal genus-$g$ polarization of degree $d$. We give an explicit resolution of the universal Abel map $α_{\mathcal A,μ}\colon \overline{\mathcal M}_{g,n+1}\dashrightarrow \overline{\mathcal J}_{μ,g}$, taking a pointed curve $(X,p_0,\dots,p_n)$ to $\mathcal{O}_X(\sum_{0\le i\le n} a_ip_i)$. The blowup of $\overline{\mathcal M}_{g,n+1}$ giving rise to the resolution is inspired by the resolution of the tropical analogue of the map $α_{\mathcal A,μ}$ (in the category of generalized cone complexes). As an application, we describe the double ramification cycle in terms of the universal sheaf inducing the resolution of the map $α_{\mathcal A,μ}$. △ Less

Submitted 30 November, 2020; v1 submitted 20 March, 2019; originally announced March 2019.

Comments: 50 pages, 7 figures, to appear in Adv. Math

MSC Class: 14H10; 14C50; 14T05

Refinement of Thermostated Molecular Dynamics Using Backward Error Analysis

Authors: Ana J. Silveira, Charlles R. A. Abreu

Abstract: Kinetic energy equipartition is a premise for many deterministic and stochastic molecular dynamics methods that aim at sampling a canonical ensemble. While this is expected for real systems, discretization errors introduced by the numerical integration may distort such assumption. Fortunately, backward error analysis allows us to identify the quantity that is actually subject to equipartition. Thi… ▽ More Kinetic energy equipartition is a premise for many deterministic and stochastic molecular dynamics methods that aim at sampling a canonical ensemble. While this is expected for real systems, discretization errors introduced by the numerical integration may distort such assumption. Fortunately, backward error analysis allows us to identify the quantity that is actually subject to equipartition. This is related to a shadow Hamiltonian, which coincides with the specified Hamiltonian only when the time-step size approaches zero. This paper deals with discretization effects in a straightforward way. With a small computational overhead, we obtain refined versions of the kinetic and potential energies, whose sum is a suitable estimator of the shadow Hamiltonian. Then, we tune the thermostatting procedure by employing the refined kinetic energy instead of the conventional one. This procedure is shown to reproduce a canonical ensemble compatible with the refined system, as opposed to the original one, but canonical averages regarding the latter can be easily recovered by reweighting. Water, modeled as a rigid body, is an excellent test case for our proposal because its numerical stability extends up to time steps large enough to yield pronounced discretization errors in Verlet-type integrators. By applying our new approach, we were able to mitigate discretization effects in equilibrium properties of liquid water for time-step sizes up to 5 fs. △ Less

Submitted 25 April, 2019; v1 submitted 12 November, 2018; originally announced November 2018.

Comments: accepted manuscript

Journal ref: J. Chem. Phys. 150, 114110 (2019)

The universal tropical Jacobian and the skeleton of the Esteves' universal Jacobian

Authors: Alex Abreu, Marco Pacini

Abstract: For each universal genus-$g$ polarization $μ$ of degree $d$, we construct a universal tropical Jacobian $J_{μ,g}^{trop}$ as a generalized cone complex over the moduli space of stable pointed genus-$g$ tropical curves. We show several properties of the space $J_{μ,g}^{trop}$. In particular, we prove that the natural compactification of $J_{μ,g}^{trop}$ is the tropicalization of the Esteves' compact… ▽ More For each universal genus-$g$ polarization $μ$ of degree $d$, we construct a universal tropical Jacobian $J_{μ,g}^{trop}$ as a generalized cone complex over the moduli space of stable pointed genus-$g$ tropical curves. We show several properties of the space $J_{μ,g}^{trop}$. In particular, we prove that the natural compactification of $J_{μ,g}^{trop}$ is the tropicalization of the Esteves' compactified universal Jacobian over the moduli space of stable pointed genus-$g$ curves. △ Less

Submitted 26 July, 2019; v1 submitted 14 June, 2018; originally announced June 2018.

Comments: 43 pages, 4 figures. Final version. To appear in PLMS. arXiv admin note: text overlap with arXiv:1903.08569

Gaia Data Release 2: The astrometric solution

Authors: L. Lindegren, J. Hernandez, A. Bombrun, S. Klioner, U. Bastian, M. Ramos-Lerate, A. de Torres, H. Steidelmuller, C. Stephenson, D. Hobbs, U. Lammers, M. Biermann, R. Geyer, T. Hilger, D. Michalik, U. Stampa, P. J. McMillan, J. Castaneda, M. Clotet, G. Comoretto, M. Davidson, C. Fabricius, G. Gracia, N. C. Hambly, A. Hutton , et al. (65 additional authors not shown)

Abstract: Gaia Data Release 2 (Gaia DR2) contains results for 1693 million sources in the magnitude range 3 to 21 based on observations collected by the European Space Agency Gaia satellite during the first 22 months of its operational phase. We describe the input data, models, and processing used for the astrometric content of Gaia DR2, and the validation of these results performed within the astrometry ta… ▽ More Gaia Data Release 2 (Gaia DR2) contains results for 1693 million sources in the magnitude range 3 to 21 based on observations collected by the European Space Agency Gaia satellite during the first 22 months of its operational phase. We describe the input data, models, and processing used for the astrometric content of Gaia DR2, and the validation of these results performed within the astrometry task. Some 320 billion centroid positions from the pre-processed astrometric CCD observations were used to estimate the five astrometric parameters (positions, parallaxes, and proper motions) for 1332 million sources, and approximate positions at the reference epoch J2015.5 for an additional 361 million mostly faint sources. Special validation solutions were used to characterise the random and systematic errors in parallax and proper motion. For the sources with five-parameter astrometric solutions, the median uncertainty in parallax and position at the reference epoch J2015.5 is about 0.04 mas for bright (G<14 mag) sources, 0.1 mas at G=17 mag, and 0.7 mas at G=20 mag. In the proper motion components the corresponding uncertainties are 0.05, 0.2, and 1.2 mas/yr, respectively. The optical reference frame defined by Gaia DR2 is aligned with ICRS and is non-rotating with respect to the quasars to within 0.15 mas/yr. From the quasars and validation solutions we estimate that systematics in the parallaxes depending on position, magnitude, and colour are generally below 0.1 mas, but the parallaxes are on the whole too small by about 0.03 mas. Significant spatial correlations of up to 0.04 mas in parallax and 0.07 mas/yr in proper motion are seen on small (<1 deg) and intermediate (20 deg) angular scales. Important statistics and information for the users of the Gaia DR2 astrometry are given in the appendices. △ Less

Submitted 25 April, 2018; originally announced April 2018.

Comments: 25 pages, 29 figures. Special A&A issue on Gaia Data Release 2

Journal ref: A&A 616, A2 (2018)

The graph tessellation cover number: extremal bounds, efficient algorithms and hardness

Authors: A. Abreu, L. Cunha, T. Fernandes, C. de Figueiredo, L. Kowada, F. Marquezino, D. Posner, R. Portugal

Abstract: A tessellation of a graph is a partition of its vertices into vertex disjoint cliques. A tessellation cover of a graph is a set of tessellations that covers all of its edges. The $t$-tessellability problem aims to decide whether there is a tessellation cover of the graph with $t$ tessellations. This problem is motivated by its applications to quantum walk models, in especial, the evolution operato… ▽ More A tessellation of a graph is a partition of its vertices into vertex disjoint cliques. A tessellation cover of a graph is a set of tessellations that covers all of its edges. The $t$-tessellability problem aims to decide whether there is a tessellation cover of the graph with $t$ tessellations. This problem is motivated by its applications to quantum walk models, in especial, the evolution operator of the staggered model is obtained from a graph tessellation cover. We establish upper bounds on the tessellation cover number given by the minimum between the chromatic index of the graph and the chromatic number of its clique graph and we show graph classes for which these bounds are tight. We prove $\mathcal{NP}$-completeness for $t$-tessellability if the instance is restricted to planar graphs, chordal (2,1)-graphs, (1,2)-graphs, diamond-free graphs with diameter five, or for any fixed $t$ at least 3. On the other hand, we improve the complexity for 2-tessellability to a linear-time algorithm. △ Less

Submitted 20 December, 2017; originally announced December 2017.

Comments: 13 pages, 5 figs, accepted in Latin 2018

Journal ref: Theoretical Computer Science 801, 175-191, 2020

Estimation of optimal encoding ladders for tiled 360° VR video in adaptive streaming systems

Authors: Cagri Ozcinar, Ana De Abreu, Sebastian Knorr, Aljosa Smolic

Abstract: Given the significant industrial growth of demand for virtual reality (VR), 360° video streaming is one of the most important VR applications that require cost-optimal solutions to achieve widespread proliferation of VR technology. Because of its inherent variability of data-intensive content types and its tiled-based encoding and streaming, 360° video requires new encoding ladders in adaptive str… ▽ More Given the significant industrial growth of demand for virtual reality (VR), 360° video streaming is one of the most important VR applications that require cost-optimal solutions to achieve widespread proliferation of VR technology. Because of its inherent variability of data-intensive content types and its tiled-based encoding and streaming, 360° video requires new encoding ladders in adaptive streaming systems to achieve cost-optimal and immersive streaming experiences. In this context, this paper targets both the provider's and client's perspectives and introduces a new content-aware encoding ladder estimation method for tiled 360° VR video in adaptive streaming systems. The proposed method first categories a given 360° video using its features of encoding complexity and estimates the visual distortion and resource cost of each bitrate level based on the proposed distortion and resource cost models. An optimal encoding ladder is then formed using the proposed integer linear programming (ILP) algorithm by considering practical constraints. Experimental results of the proposed method are compared with the recommended encoding ladders of professional streaming service providers. Evaluations show that the proposed encoding ladders deliver better results compared to the recommended encoding ladders in terms of objective quality for 360° video, providing optimal encoding ladders using a set of service provider's constraint parameters. △ Less

Submitted 9 November, 2017; originally announced November 2017.

Comments: The 19th IEEE International Symposium on Multimedia (ISM 2017), Taichung, Taiwan

Journal ref: The 19th IEEE International Symposium on Multimedia (ISM 2017), Taichung, Taiwan

Viewport-aware adaptive 360° video streaming using tiles for virtual reality

Authors: Cagri Ozcinar, Ana De Abreu, Aljosa Smolic

Abstract: 360° video is attracting an increasing amount of attention in the context of Virtual Reality (VR). Owing to its very high-resolution requirements, existing professional streaming services for 360° video suffer from severe drawbacks. This paper introduces a novel end-to-end streaming system from encoding to displaying, to transmit 8K resolution 360° video and to provide an enhanced VR experience us… ▽ More 360° video is attracting an increasing amount of attention in the context of Virtual Reality (VR). Owing to its very high-resolution requirements, existing professional streaming services for 360° video suffer from severe drawbacks. This paper introduces a novel end-to-end streaming system from encoding to displaying, to transmit 8K resolution 360° video and to provide an enhanced VR experience using Head Mounted Displays (HMDs). The main contributions of the proposed system are about tiling, integration of the MPEG-Dynamic Adaptive Streaming over HTTP (DASH) standard, and viewport-aware bitrate level selection. Tiling and adaptive streaming enable the proposed system to deliver very high-resolution 360° video at good visual quality. Further, the proposed viewport-aware bitrate assignment selects an optimum DASH representation for each tile in a viewport-aware manner. The quality performance of the proposed system is verified in simulations with varying network bandwidth using realistic view trajectories recorded from user experiments. Our results show that the proposed streaming system compares favorably compared to existing methods in terms of PSNR and SSIM inside the viewport. △ Less

Submitted 7 November, 2017; originally announced November 2017.

Comments: IEEE International Conference on Image Processing (ICIP) 2017

Journal ref: 2017 IEEE International Conference on Image Processing (ICIP), Beijing, China, 2017

The tessellation problem of quantum walks

Authors: A. Abreu, L. Cunha, T. Fernandes, C. de Figueiredo, L. Kowada, F. Marquezino, D. Posner, R. Portugal

Abstract: Quantum walks have received a great deal of attention recently because they can be used to develop new quantum algorithms and to simulate interesting quantum systems. In this work, we focus on a model called staggered quantum walk, which employs advanced ideas of graph theory and has the advantage of including the most important instances of other discrete-time models. The evolution operator of th… ▽ More Quantum walks have received a great deal of attention recently because they can be used to develop new quantum algorithms and to simulate interesting quantum systems. In this work, we focus on a model called staggered quantum walk, which employs advanced ideas of graph theory and has the advantage of including the most important instances of other discrete-time models. The evolution operator of the staggered model is obtained from a tessellation cover, which is defined in terms of a set of partitions of the graph into cliques. It is important to establish the minimum number of tessellations required in a tessellation cover, and what classes of graphs admit a small number of tessellations. We describe two main results: (1) infinite classes of graphs where we relate the chromatic number of the clique graph to the minimum number of tessellations required in a tessellation cover, and (2) the problem of deciding whether a graph is $k$-tessellable for $k\ge 3$ is NP-complete. △ Less

Submitted 24 May, 2017; originally announced May 2017.

Comments: 10 pages, 7 figs

Journal ref: Theoretical Computer Science 801, 175-191, 2020

On-orbit performance of the Gaia CCDs at L2

Authors: C. Crowley, R. Kohley, N. C. Hambly, M. Davidson, A. Abreu, F. van Leeuwen, C. Fabricius, G. Seabroke, J. H. J. de Bruijne, A. Short, L. Lindegren, A. G. A. Brown, G. Sarri, P. Gare, T. Prusti, T. Prod'homme, A. Mora, J. Martin-Fleitas, F. Raison, U. Lammers, W. O'Mullane, F. Jansen

Abstract: The European Space Agency's Gaia satellite was launched into orbit around L2 in December 2013 with a payload containing 106 large-format scientific CCDs. The primary goal of the mission is to repeatedly obtain high-precision astrometric and photometric measurements of one thousand million stars over the course of five years. The scientific value of the down-linked data, and the operation of the on… ▽ More The European Space Agency's Gaia satellite was launched into orbit around L2 in December 2013 with a payload containing 106 large-format scientific CCDs. The primary goal of the mission is to repeatedly obtain high-precision astrometric and photometric measurements of one thousand million stars over the course of five years. The scientific value of the down-linked data, and the operation of the onboard autonomous detection chain, relies on the high performance of the detectors. As Gaia slowly rotates and scans the sky, the CCDs are continuously operated in a mode where the line clock rate and the satellite rotation spin-rate are in synchronisation. Nominal mission operations began in July 2014 and the first data release is being prepared for release at the end of Summer 2016. In this paper we present an overview of the focal plane, the detector system, and strategies for on-orbit performance monitoring of the system. This is followed by a presentation of the performance results based on analysis of data acquired during a two-year window beginning at payload switch-on. Results for parameters such as readout noise and electronic offset behaviour are presented and we pay particular attention to the effects of the L2 radiation environment on the devices. The radiation-induced degradation in the charge transfer efficiency (CTE) in the (parallel) scan direction is clearly diagnosed; however, an extrapolation shows that charge transfer inefficiency (CTI) effects at end of mission will be approximately an order of magnitude less than predicted pre-flight. It is shown that the CTI in the serial register (horizontal direction) is still dominated by the traps inherent to the manufacturing process and that the radiation-induced degradation so far is only a few per cent. Finally, we summarise some of the detector effects discovered on-orbit which are still being investigated. △ Less

Submitted 14 September, 2016; originally announced September 2016.

Comments: Published in A&A Gaia special feature

Radiation effects on the Gaia CCDs after 30 months at L2

Authors: Cian Crowley, Asier Abreu, Ralf Kohley, Thibaut Prod'homme, Thierry Beaufort

Abstract: Since the launch of ESA's Gaia satellite in December 2013, the 106 large-format scientific CCDs onboard have been operating at L2. Due to a combination of the high-precision measurement requirements of the mission and the predicted proton environment at L2, the effect of non-ionizing radiation damage on the detectors was early identified pre-launch as potentially imposing a major limitation on the… ▽ More Since the launch of ESA's Gaia satellite in December 2013, the 106 large-format scientific CCDs onboard have been operating at L2. Due to a combination of the high-precision measurement requirements of the mission and the predicted proton environment at L2, the effect of non-ionizing radiation damage on the detectors was early identified pre-launch as potentially imposing a major limitation on the scientific value of the data. In this paper we compare pre-flight radiation-induced Charge Transfer Inefficiency (CTI) predictions against in-flight measurements, focusing especially on charge injection diagnostics, as well as correlating these CTI diagnostic results with solar proton event data. We show that L2-directed solar activity has been relatively low since launch, and radiation damage (so far) is less than originally expected. Despite this, there are clear cases of correlation between earth-directed solar coronal mass ejection events and abrupt changes in CTI diagnostics over time. These sudden jumps are lying on top of a rather constant increase in CTI which we show is primarily due to the continuous bombardment of the devices by high-energy Galactic Cosmic Rays. We examine the possible reasons for the lower than expected levels of CTI as well as examining the effect of controlled payload heating events on the CTI diagnostics. Radiation-induced CTI in the CCD serial registers and effects of ionizing radiation are also correspondingly lower than expected, however these topics are not examined here in detail. △ Less

Submitted 4 August, 2016; originally announced August 2016.

Enabling science with Gaia observations of naked-eye stars

Authors: J. Sahlmann, J. Martín-Fleitas, A. Mora, A. Abreu, C. M. Crowley, E. Joliet

Abstract: ESA's Gaia space astrometry mission is performing an all-sky survey of stellar objects. At the beginning of the nominal mission in July 2014, an operation scheme was adopted that enabled Gaia to routinely acquire observations of all stars brighter than the original limit of G~6, i.e. the naked-eye stars. Here, we describe the current status and extent of those observations and their on-ground proc… ▽ More ESA's Gaia space astrometry mission is performing an all-sky survey of stellar objects. At the beginning of the nominal mission in July 2014, an operation scheme was adopted that enabled Gaia to routinely acquire observations of all stars brighter than the original limit of G~6, i.e. the naked-eye stars. Here, we describe the current status and extent of those observations and their on-ground processing. We present an overview of the data products generated for G<6 stars and the potential scientific applications. Finally, we discuss how the Gaia survey could be enhanced by further exploiting the techniques we developed. △ Less

Submitted 26 May, 2016; originally announced May 2016.

Comments: 16 pages, 8 figures. Submitted for the proceedings of the 2016 SPIE Astronomical Instrumentation and Telescopes conference (SPIE 9904)

Optimal Lagrange Multipliers for Dependent Rate Allocation in Video Coding

Authors: Ana De Abreu, Gene Cheung, Pascal Frossard, Fernando Pereira

Abstract: In a typical video rate allocation problem, the objective is to optimally distribute a source rate budget among a set of (in)dependently coded data units to minimize the total distortion of all units. Conventional Lagrangian approaches convert the lone rate constraint to a linear rate penalty scaled by a multiplier in the objective, resulting in a simpler unconstrained formulation. However, the se… ▽ More In a typical video rate allocation problem, the objective is to optimally distribute a source rate budget among a set of (in)dependently coded data units to minimize the total distortion of all units. Conventional Lagrangian approaches convert the lone rate constraint to a linear rate penalty scaled by a multiplier in the objective, resulting in a simpler unconstrained formulation. However, the search for the "optimal" multiplier, one that results in a distortion-minimizing solution among all Lagrangian solutions that satisfy the original rate constraint, remains an elusive open problem in the general setting. To address this problem, we propose a computation-efficient search strategy to identify this optimal multiplier numerically. Specifically, we first formulate a general rate allocation problem where each data unit can be dependently coded at different quantization parameters (QP) using a previous unit as predictor, or left uncoded at the encoder and subsequently interpolated at the decoder using neighboring coded units. After converting the original rate constrained problem to the unconstrained Lagrangian counterpart, we design an efficient dynamic programming (DP) algorithm that finds the optimal Lagrangian solution for a fixed multiplier. Finally, within the DP framework, we iteratively compute neighboring singular multiplier values, each resulting in multiple simultaneously optimal Lagrangian solutions, to drive the rates of the computed Lagrangian solutions towards the bit budget. We terminate when a singular multiplier value results in two Lagrangian solutions with rates below and above the bit budget. In extensive monoview and multiview video coding experiments, we show that our DP algorithm and selection of optimal multipliers on average outperform comparable rate control solutions used in video compression standards such as HEVC that do not skip frames in Y-PSNR. △ Less

Submitted 19 March, 2016; originally announced March 2016.

The automorphism group of $M_{0,n}^\text{trop}$ and $\overline{M}_{0,n}^{\text{trop}}$

Authors: Alex Abreu, Marco Pacini

Abstract: In this paper we show that the automorphism groups of $M_{0,n}^{\text{trop}}$ and $\overline{M}_{0,n}^{\text{trop}}$ are isomorphic to the permutation group $S_n$ for $n\geq5$, while the automorphism groups of $M_{0,4}^{\text{trop}}$ and $\overline{M}_{0,4}^{\text{trop}}$ are isomorphic to the permutation group $S_3$. In this paper we show that the automorphism groups of $M_{0,n}^{\text{trop}}$ and $\overline{M}_{0,n}^{\text{trop}}$ are isomorphic to the permutation group $S_n$ for $n\geq5$, while the automorphism groups of $M_{0,4}^{\text{trop}}$ and $\overline{M}_{0,4}^{\text{trop}}$ are isomorphic to the permutation group $S_3$. △ Less

Submitted 3 February, 2016; originally announced February 2016.

Comments: 11 pages, 4 figures

Optimal Layered Representation for Adaptive Interactive Multiview Video Streaming

Authors: Ana De Abreu, Laura Toni, Nikolaos Thomos, Thomas Maugey, Fernando Pereira, Pascal Frossard

Abstract: We consider an interactive multiview video streaming (IMVS) system where clients select their preferred viewpoint in a given navigation window. To provide high quality IMVS, many high quality views should be transmitted to the clients. However, this is not always possible due to the limited and heterogeneous capabilities of the clients. In this paper, we propose a novel adaptive IMVS solution base… ▽ More We consider an interactive multiview video streaming (IMVS) system where clients select their preferred viewpoint in a given navigation window. To provide high quality IMVS, many high quality views should be transmitted to the clients. However, this is not always possible due to the limited and heterogeneous capabilities of the clients. In this paper, we propose a novel adaptive IMVS solution based on a layered multiview representation where camera views are organized into layered subsets to match the different clients constraints. We formulate an optimization problem for the joint selection of the views subsets and their encoding rates. Then, we propose an optimal and a reduced computational complexity greedy algorithms, both based on dynamic-programming. Simulation results show the good performance of our novel algorithms compared to a baseline algorithm, proving that an effective IMVS adaptive solution should consider the scene content and the client capabilities and their preferences in navigation. △ Less

Submitted 25 June, 2015; originally announced June 2015.

iReclass - An automatic system for recording classes

Authors: Edson Lopes, José Caetano, António Abreu, Frederico Grilo

Abstract: This paper presents the details of a system capable of recording on video a traditional class. By traditional class it is meant a teacher, a blackboard and a white canvas where course notes are projected. The system is able to track the movements of the lecturer, while recording it on video at the required frame rate (e.g., 25 fps). The system is also capable of understanding five arm gestures mad… ▽ More This paper presents the details of a system capable of recording on video a traditional class. By traditional class it is meant a teacher, a blackboard and a white canvas where course notes are projected. The system is able to track the movements of the lecturer, while recording it on video at the required frame rate (e.g., 25 fps). The system is also capable of understanding five arm gestures made by the lecturer with the intent of controlling which scenario is recorded: himself, the blackboard or the white canvas. The remaining two gestures are for start/stop the recorder. The system is composed by a Kinect sensor, a video camera, a microphone, one pan-tilt system and one pan system, using a total of three step motors. △ Less

Submitted 31 December, 2014; originally announced January 2015.

Comments: 12 pages

Enriched curves and their tropical counterpart

Authors: Alex Abreu, Marco Pacini

Abstract: In her Ph.D. thesis, Mainò introduced the notion of enriched structure on stable curves and constructed their moduli space. In this paper we give a tropical notion of enriched structure on tropical curves and construct a moduli space parametrizing these objects. Moreover, we use this construction to give a toric description of the scheme parametrizing enriched structures on a fixed stable curve. In her Ph.D. thesis, Mainò introduced the notion of enriched structure on stable curves and constructed their moduli space. In this paper we give a tropical notion of enriched structure on tropical curves and construct a moduli space parametrizing these objects. Moreover, we use this construction to give a toric description of the scheme parametrizing enriched structures on a fixed stable curve. △ Less

Submitted 21 September, 2016; v1 submitted 17 December, 2014; originally announced December 2014.

Comments: 41 pages, 13 figures; final version, to appear in Ann. Inst. Fourier

The Gaia payload uplink commanding system

Authors: A. Mora, A. Abreu, N. Cheek, C. M. Crowley, R. Guerra, J. Hernández, E. Joliet. R. Kohley, J. Martín-Fleitas, J. Osinde, H. Siddiqui

Abstract: This document describes the uplink commanding system for the ESA Gaia mission. The need for commanding, the main actors, data flow and systems involved are described. The system architecture is explained in detail, including the different levels of configuration control, software systems and data models. A particular subsystem, the automatic interpreter of human-readable onboard activity templates… ▽ More This document describes the uplink commanding system for the ESA Gaia mission. The need for commanding, the main actors, data flow and systems involved are described. The system architecture is explained in detail, including the different levels of configuration control, software systems and data models. A particular subsystem, the automatic interpreter of human-readable onboard activity templates, is also carefully described. Many lessons have been learned during the commissioning and are also reported, because they could be useful for future space survey missions. △ Less

Submitted 14 July, 2014; originally announced July 2014.

Comments: 12 pages, 13 figures. To appear in SPIE proceedings 9149-26. Observatory Operations: Strategies, Processes, and Systems V

Adjusting for Misclassification: A Three-Phase Sampling Approach

Authors: Hailin Sang, Kenneth K. Lopiano, Denise A. Abreu, Andrea C. Lamas, Pam Arroway, Linda J. Young

Abstract: The United States Department of Agriculture's National Agricultural Statistics Service (NASS) conducts the June Agricultural Survey (JAS) annually. Substantial misclassification occurs during the pre-screening process and from field-estimating farm status for non-response and inaccessible records, resulting in a biased estimate of the number of US farms from the JAS. Here the Annual Land Utilizati… ▽ More The United States Department of Agriculture's National Agricultural Statistics Service (NASS) conducts the June Agricultural Survey (JAS) annually. Substantial misclassification occurs during the pre-screening process and from field-estimating farm status for non-response and inaccessible records, resulting in a biased estimate of the number of US farms from the JAS. Here the Annual Land Utilization Survey (ALUS) is proposed as a follow-on survey to the JAS to adjust the estimates of the number of US farms and other important variables. A three-phase survey design-based estimator is developed for the JAS-ALUS with non-response adjustment for the second phase (ALUS). A design-unbiased estimator of the variance is provided in explicit form. △ Less

Submitted 14 October, 2016; v1 submitted 14 June, 2013; originally announced June 2013.

Comments: 30 pages, to appear at Journal of Official Statistics

MSC Class: 62D05

On the geometry of Abel maps for nodal curves

Authors: Alex Abreu, Juliana Coelho, Marco Pacini

Abstract: In this paper we give local conditions to the existence of Abel maps for nodal curves that are limits of Abel maps for smooth curves. We use this result to construct Abel maps for any degree for nodal curves with two components. In this paper we give local conditions to the existence of Abel maps for nodal curves that are limits of Abel maps for smooth curves. We use this result to construct Abel maps for any degree for nodal curves with two components. △ Less

Submitted 26 March, 2013; originally announced March 2013.

Comments: 30 pages, 1 figure