-
Wall-crossing integral Chow rings of $\overline{\mathcal M}_{1,n}$
Authors:
Luca Battistella,
Andrea Di Lorenzo
Abstract:
We compute the integral Chow rings of $\overline{\mathcal M}_{1,n}$ for $n=3,4$. For $n\leq 6$, these stacks can be obtained by a sequence of weighted blow-ups and blow-downs from a simple stack, either a weighted projective space or a Grassmannian. Our strategy consists in inductively computing all the integral Chow rings of the alternative compactifications introduced by Smyth and studied by Lek…
▽ More
We compute the integral Chow rings of $\overline{\mathcal M}_{1,n}$ for $n=3,4$. For $n\leq 6$, these stacks can be obtained by a sequence of weighted blow-ups and blow-downs from a simple stack, either a weighted projective space or a Grassmannian. Our strategy consists in inductively computing all the integral Chow rings of the alternative compactifications introduced by Smyth and studied by Lekili-Polishchuk.
△ Less
Submitted 22 February, 2024;
originally announced February 2024.
-
The Brauer groups of moduli of genus three curves and plane curves
Authors:
Andrea Di Lorenzo,
Roberto Pirisi
Abstract:
We compute the $\ell$-primary torsion of the Brauer group of the moduli stack of smooth curves of genus three over any field of characteristic different from two. We achieve this result by computing the cohomological invariants of this stack. Along the way, we also compute the cohomological invariants and the Brauer group of the moduli stacks of smooth plane curves of degree $d$ over any algebraic…
▽ More
We compute the $\ell$-primary torsion of the Brauer group of the moduli stack of smooth curves of genus three over any field of characteristic different from two. We achieve this result by computing the cohomological invariants of this stack. Along the way, we also compute the cohomological invariants and the Brauer group of the moduli stacks of smooth plane curves of degree $d$ over any algebraically closed field of characteristic different from two and coprime to $d$.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
Gemini: A Family of Highly Capable Multimodal Models
Authors:
Gemini Team,
Rohan Anil,
Sebastian Borgeaud,
Jean-Baptiste Alayrac,
Jiahui Yu,
Radu Soricut,
Johan Schalkwyk,
Andrew M. Dai,
Anja Hauth,
Katie Millican,
David Silver,
Melvin Johnson,
Ioannis Antonoglou,
Julian Schrittwieser,
Amelia Glaese,
Jilin Chen,
Emily Pitler,
Timothy Lillicrap,
Angeliki Lazaridou,
Orhan Firat,
James Molloy,
Michael Isard,
Paul R. Barham,
Tom Hennigan,
Benjamin Lee
, et al. (1325 additional authors not shown)
Abstract:
This report introduces a new family of multimodal models, Gemini, that exhibit remarkable capabilities across image, audio, video, and text understanding. The Gemini family consists of Ultra, Pro, and Nano sizes, suitable for applications ranging from complex reasoning tasks to on-device memory-constrained use-cases. Evaluation on a broad range of benchmarks shows that our most-capable Gemini Ultr…
▽ More
This report introduces a new family of multimodal models, Gemini, that exhibit remarkable capabilities across image, audio, video, and text understanding. The Gemini family consists of Ultra, Pro, and Nano sizes, suitable for applications ranging from complex reasoning tasks to on-device memory-constrained use-cases. Evaluation on a broad range of benchmarks shows that our most-capable Gemini Ultra model advances the state of the art in 30 of 32 of these benchmarks - notably being the first model to achieve human-expert performance on the well-studied exam benchmark MMLU, and improving the state of the art in every one of the 20 multimodal benchmarks we examined. We believe that the new capabilities of the Gemini family in cross-modal reasoning and language understanding will enable a wide variety of use cases. We discuss our approach toward post-training and deploying Gemini models responsibly to users through services including Gemini, Gemini Advanced, Google AI Studio, and Cloud Vertex AI.
△ Less
Submitted 17 June, 2024; v1 submitted 18 December, 2023;
originally announced December 2023.
-
A criterion for smooth weighted blow-downs
Authors:
Veronica Arena,
Andrea Di Lorenzo,
Giovanni Inchiostro,
Siddharth Mathur,
Stephen Obinna,
Michele Pernice
Abstract:
We establish a criterion for determining when a smooth Deligne-Mumford stack is a weighted blow-up. More precisely, given a smooth Deligne-Mumford stack $\mathcal{X}$ and a Cartier divisor $\mathcal{E} \subset \mathcal{X}$ such that (1) $\mathcal{E}$ is a weighted projective bundle over a smooth Deligne-Mumford stack $\mathcal{Y}$ and (2) for every $y\in\mathcal{Y}$ we have…
▽ More
We establish a criterion for determining when a smooth Deligne-Mumford stack is a weighted blow-up. More precisely, given a smooth Deligne-Mumford stack $\mathcal{X}$ and a Cartier divisor $\mathcal{E} \subset \mathcal{X}$ such that (1) $\mathcal{E}$ is a weighted projective bundle over a smooth Deligne-Mumford stack $\mathcal{Y}$ and (2) for every $y\in\mathcal{Y}$ we have $\mathcal{O}_{\mathcal{X}}(\mathcal{E})|_{\mathcal{E}_y}\simeq \mathcal{O}_{\mathcal{E}_y}(-1)$, then there exists a contraction $\mathcal{X}\to\mathcal{Z}$ to a smooth Deligne-Mumford stack $\mathcal{Z}$. Moreover, the stack $\mathcal{X}$ can be recovered as a weighted blow-up along $\mathcal{Y}\subset \mathcal{Z}$ with exceptional divisor $\mathcal{E}$, and $\mathcal{Z}$ is a pushout in the category of algebraic stacks. As an application, we show that the moduli stack $\overline{\mathscr{M}}_{1,n}$ of stable $n$-pointed genus one curves is a weighted blow-up of the stack of pseudo-stable curves. Along the way we also prove a reconstruction result for smooth Deligne-Mumford stacks that is of independent interest.
△ Less
Submitted 15 May, 2024; v1 submitted 23 October, 2023;
originally announced October 2023.
-
Incorporating Graph Information in Transformer-based AMR Parsing
Authors:
Pavlo Vasylenko,
Pere-Lluís Huguet Cabot,
Abelardo Carlos Martínez Lorenzo,
Roberto Navigli
Abstract:
Abstract Meaning Representation (AMR) is a Semantic Parsing formalism that aims at providing a semantic graph abstraction representing a given text. Current approaches are based on autoregressive language models such as BART or T5, fine-tuned through Teacher Forcing to obtain a linearized version of the AMR graph from a sentence. In this paper, we present LeakDistill, a model and method that explo…
▽ More
Abstract Meaning Representation (AMR) is a Semantic Parsing formalism that aims at providing a semantic graph abstraction representing a given text. Current approaches are based on autoregressive language models such as BART or T5, fine-tuned through Teacher Forcing to obtain a linearized version of the AMR graph from a sentence. In this paper, we present LeakDistill, a model and method that explores a modification to the Transformer architecture, using structural adapters to explicitly incorporate graph information into the learned representations and improve AMR parsing performance. Our experiments show how, by employing word-to-node alignment to embed graph structural information into the encoder at training time, we can obtain state-of-the-art AMR parsing through self-knowledge distillation, even without the use of additional data. We release the code at \url{http://www.github.com/sapienzanlp/LeakDistill}.
△ Less
Submitted 23 June, 2023;
originally announced June 2023.
-
AMRs Assemble! Learning to Ensemble with Autoregressive Models for AMR Parsing
Authors:
Abelardo Carlos Martínez Lorenzo,
Pere-Lluís Huguet Cabot,
Roberto Navigli
Abstract:
In this paper, we examine the current state-of-the-art in AMR parsing, which relies on ensemble strategies by merging multiple graph predictions. Our analysis reveals that the present models often violate AMR structural constraints. To address this issue, we develop a validation method, and show how ensemble models can exploit SMATCH metric weaknesses to obtain higher scores, but sometimes result…
▽ More
In this paper, we examine the current state-of-the-art in AMR parsing, which relies on ensemble strategies by merging multiple graph predictions. Our analysis reveals that the present models often violate AMR structural constraints. To address this issue, we develop a validation method, and show how ensemble models can exploit SMATCH metric weaknesses to obtain higher scores, but sometimes result in corrupted graphs. Additionally, we highlight the demanding need to compute the SMATCH score among all possible predictions. To overcome these challenges, we propose two novel ensemble strategies based on Transformer models, improving robustness to structural constraints, while also reducing the computational time. Our methods provide new insights for enhancing AMR parsers and metrics. Our code is available at \href{https://www.github.com/babelscape/AMRs-Assemble}{github.com/babelscape/AMRs-Assemble}.
△ Less
Submitted 19 June, 2023;
originally announced June 2023.
-
Integral Picard group of moduli of polarized K3 surfaces
Authors:
Andrea Di Lorenzo,
Roberto Fringuelli,
Angelo Vistoli
Abstract:
We compute the integral Picard group of the moduli stack of polarized K3 surfaces of fixed degree whose singularities are at most rational double points. We also compute the integral Picard group of the stack of quasi-polarized K3 surfaces, and of the stacky period domain.
We compute the integral Picard group of the moduli stack of polarized K3 surfaces of fixed degree whose singularities are at most rational double points. We also compute the integral Picard group of the stack of quasi-polarized K3 surfaces, and of the stacky period domain.
△ Less
Submitted 3 November, 2023; v1 submitted 12 May, 2023;
originally announced May 2023.
-
Effective morphisms and quotient stacks
Authors:
Andrea Di Lorenzo,
Giovanni Inchiostro
Abstract:
We give a valuative criterion for when a smooth algebraic stack with a separated good moduli space is the quotient of a separated Deligne-Mumford stack by a torus. For doing so, we introduce a new class of morphisms, the so-called effective morphisms, which are a generalization of separated morphisms.
We give a valuative criterion for when a smooth algebraic stack with a separated good moduli space is the quotient of a separated Deligne-Mumford stack by a torus. For doing so, we introduce a new class of morphisms, the so-called effective morphisms, which are a generalization of separated morphisms.
△ Less
Submitted 26 January, 2024; v1 submitted 19 March, 2023;
originally announced March 2023.
-
City path tomography: reconstructing square road network from artificial users mobile phone data
Authors:
Andy Rodriguez Lorenzo,
Alejandro Lage-Castellanos
Abstract:
Population mobility can be studied readily and cheaply using cellphone data, since people's mobility can be approximately mapped into tower-mobile registries. We model people moving in a grid-like city, where edges of the grid are weighted and paths are chosen according to overall weights between origin and destination. Cellphone users leave sparse signals in random nodes of the grid as they move…
▽ More
Population mobility can be studied readily and cheaply using cellphone data, since people's mobility can be approximately mapped into tower-mobile registries. We model people moving in a grid-like city, where edges of the grid are weighted and paths are chosen according to overall weights between origin and destination. Cellphone users leave sparse signals in random nodes of the grid as they move by, mimicking the type of data collected from the tower-cellphone interactions. From this noisy data we seek to build a model of the city, {\it i.e.} to predict probabilities of paths from origin to destination. We focus on the simplest case where users move along shortest paths (no loops, no going backwards). In this simplified setting, we are able to infer the underlying weights of the edges (akin to road transitability) with an inverse statistical mechanic model.
△ Less
Submitted 1 March, 2023;
originally announced March 2023.
-
From Single-Visit to Multi-Visit Image-Based Models: Single-Visit Models are Enough to Predict Obstructive Hydronephrosis
Authors:
Stanley Bryan Z. Hua,
Mandy Rickard,
John Weaver,
Alice Xiang,
Daniel Alvarez,
Kyla N. Velear,
Kunj Sheth,
Gregory E. Tasian,
Armando J. Lorenzo,
Anna Goldenberg,
Lauren Erdman
Abstract:
Previous work has shown the potential of deep learning to predict renal obstruction using kidney ultrasound images. However, these image-based classifiers have been trained with the goal of single-visit inference in mind. We compare methods from video action recognition (i.e. convolutional pooling, LSTM, TSM) to adapt single-visit convolutional models to handle multiple visit inference. We demonst…
▽ More
Previous work has shown the potential of deep learning to predict renal obstruction using kidney ultrasound images. However, these image-based classifiers have been trained with the goal of single-visit inference in mind. We compare methods from video action recognition (i.e. convolutional pooling, LSTM, TSM) to adapt single-visit convolutional models to handle multiple visit inference. We demonstrate that incorporating images from a patient's past hospital visits provides only a small benefit for the prediction of obstructive hydronephrosis. Therefore, inclusion of prior ultrasounds is beneficial, but prediction based on the latest ultrasound is sufficient for patient risk stratification.
△ Less
Submitted 27 December, 2022;
originally announced December 2022.
-
The Nominal Range of Rocky Planet Masses, Radii, Surface Gravities and Bulk Densities
Authors:
Cayman T. Unterborn,
Steven J. Desch,
Jonas Haldemann,
Alejandro Lorenzo,
Joseph G. Schulze,
Natalie R. Hinkel,
Wendy R. Panero
Abstract:
The two primary observable quantities of an exoplanet--its mass and radius--alone are not sufficient to probe a rocky exoplanet's interior composition and mineralogy. To overcome this, host-star abundances of the primary planet-building elements (Mg, Si, Fe) are typically used as a proxy for the planet's bulk composition. The majority of small exoplanet hosts, however, do not have available abunda…
▽ More
The two primary observable quantities of an exoplanet--its mass and radius--alone are not sufficient to probe a rocky exoplanet's interior composition and mineralogy. To overcome this, host-star abundances of the primary planet-building elements (Mg, Si, Fe) are typically used as a proxy for the planet's bulk composition. The majority of small exoplanet hosts, however, do not have available abundance data. Here we present the open-source ExoPlex mass-radius-composition solver. Unlike previous open-source mass-radius solvers, ExoPlex calculates the core chemistry and equilibrium mantle mineralogy for a bulk composition, including effects of mantle FeO content, core light elements and surface water/ice. We utilize ExoPlex to calculate the planetary radii, surface gravities and bulk densities for 10$^6$ model planets up to 2 R$_\oplus$ across these geochemistries, adopting the distribution of FGK stellar abundances to estimate of the range of bulk exoplanet compositions. We outline the $99.7\%$ distribution of radii, surface gravity and bulk densities that define planets as "nominally rocky." Planets outside this range require compositions outside those expected from stellar abundance data, likely making them either Fe-enriched super-Mercuries, or volatile-enriched mini-Neptunes. We apply our classification scheme to a sample of 85 well-resolved exoplanets without available host-star abundances. We estimate only 9 planets are within the "nominally rocky planet zone" at $>70\%$ confidence, while $\sim20\%$ and $\sim30\%$ of this sample can be reasonably classified as super-Mercuries or volatile-rich, respectively. Our results provide observers with a self-consistent way to broadly classify a planet as likely rocky, Mercury-like or volatile-enriched, using mass and radius measurements alone.
△ Less
Submitted 7 December, 2022;
originally announced December 2022.
-
Nonlinear effects in Thomas precession due to the interplay of Lorentz contraction and Thomas--Wigner rotation
Authors:
Antonio Di Lorenzo
Abstract:
It is demonstrated that the 3--vector $\bs{S}$ currently associated to the spin in an inertial frame does not contract, but rather dilates, in the direction of the velocity. The correct vector $\bs{T}$ is individuated. The equation of motion for the two vectors is shown to contain two terms, a common linear rotation, identified with Thomas precession, and also a nonlinear rotation depending on the…
▽ More
It is demonstrated that the 3--vector $\bs{S}$ currently associated to the spin in an inertial frame does not contract, but rather dilates, in the direction of the velocity. The correct vector $\bs{T}$ is individuated. The equation of motion for the two vectors is shown to contain two terms, a common linear rotation, identified with Thomas precession, and also a nonlinear rotation depending on the direction of the spin itself.
△ Less
Submitted 7 October, 2022;
originally announced October 2022.
-
Degenerations of twisted maps to algebraic stacks
Authors:
Andrea Di Lorenzo,
Giovanni Inchiostro
Abstract:
We give a definition of twisted map to a quotient stack with projective good moduli space, and we show that the resulting functor satisfies the existence part of the valuative criterion for properness.
We give a definition of twisted map to a quotient stack with projective good moduli space, and we show that the resulting functor satisfies the existence part of the valuative criterion for properness.
△ Less
Submitted 9 January, 2023; v1 submitted 7 October, 2022;
originally announced October 2022.
-
Cohomological invariants and Brauer groups of algebraic stacks in positive characteristic
Authors:
Andrea Di Lorenzo,
Roberto Pirisi
Abstract:
We introduce a theory of cohomological invariants with mod $p^r$ coefficients for algebraic stacks in characteristic $p$. Using these new tools we complete the computation of the Brauer group and cohomological invariants of the stack of elliptic curves over any field.
We introduce a theory of cohomological invariants with mod $p^r$ coefficients for algebraic stacks in characteristic $p$. Using these new tools we complete the computation of the Brauer group and cohomological invariants of the stack of elliptic curves over any field.
△ Less
Submitted 24 March, 2024; v1 submitted 18 July, 2022;
originally announced July 2022.
-
Cross-lingual AMR Aligner: Paying Attention to Cross-Attention
Authors:
Abelardo Carlos Martínez Lorenzo,
Pere-Lluís Huguet Cabot,
Roberto Navigli
Abstract:
This paper introduces a novel aligner for Abstract Meaning Representation (AMR) graphs that can scale cross-lingually, and is thus capable of aligning units and spans in sentences of different languages. Our approach leverages modern Transformer-based parsers, which inherently encode alignment information in their cross-attention weights, allowing us to extract this information during parsing. Thi…
▽ More
This paper introduces a novel aligner for Abstract Meaning Representation (AMR) graphs that can scale cross-lingually, and is thus capable of aligning units and spans in sentences of different languages. Our approach leverages modern Transformer-based parsers, which inherently encode alignment information in their cross-attention weights, allowing us to extract this information during parsing. This eliminates the need for English-specific rules or the Expectation Maximization (EM) algorithm that have been used in previous approaches. In addition, we propose a guided supervised method using alignment to further enhance the performance of our aligner. We achieve state-of-the-art results in the benchmarks for AMR alignment and demonstrate our aligner's ability to obtain them across multiple languages. Our code will be available at \href{https://www.github.com/Babelscape/AMR-alignment}{github.com/Babelscape/AMR-alignment}.
△ Less
Submitted 19 June, 2023; v1 submitted 15 June, 2022;
originally announced June 2022.
-
The integral Chow rings of moduli of Weierstrass fibrations
Authors:
Samir Canning,
Andrea Di Lorenzo,
Giovanni Inchiostro
Abstract:
We compute the Chow rings with integral coefficients of moduli stacks of minimal Weierstrass fibrations over the projective line. For each integer $N\geq 1$, there is a moduli stack $\mathcal{W}^{\mathrm{min}}_N$ parametrizing minimal Weierstrass fibrations with fundamental invariant $N$. Following work of Miranda and Park--Schmitt, we give a quotient stack presentation for each…
▽ More
We compute the Chow rings with integral coefficients of moduli stacks of minimal Weierstrass fibrations over the projective line. For each integer $N\geq 1$, there is a moduli stack $\mathcal{W}^{\mathrm{min}}_N$ parametrizing minimal Weierstrass fibrations with fundamental invariant $N$. Following work of Miranda and Park--Schmitt, we give a quotient stack presentation for each $\mathcal{W}^{\mathrm{min}}_N$. Using these presentations and equivariant intersection theory, we determine a complete set of generators and relations for each of the Chow rings. For the cases $N=1$ (respectively, $N=2$), parametrizing rational (respectively, K3) elliptic surfaces, we give a more explicit computation of the relations.
△ Less
Submitted 26 October, 2023; v1 submitted 12 April, 2022;
originally announced April 2022.
-
Adults as Augmentations for Children in Facial Emotion Recognition with Contrastive Learning
Authors:
Marco Virgolin,
Andrea De Lorenzo,
Tanja Alderliesten,
Peter A. N. Bosman
Abstract:
Emotion recognition in children can help the early identification of, and intervention on, psychological complications that arise in stressful situations such as cancer treatment. Though deep learning models are increasingly being adopted, data scarcity is often an issue in pediatric medicine, including for facial emotion recognition in children. In this paper, we study the application of data aug…
▽ More
Emotion recognition in children can help the early identification of, and intervention on, psychological complications that arise in stressful situations such as cancer treatment. Though deep learning models are increasingly being adopted, data scarcity is often an issue in pediatric medicine, including for facial emotion recognition in children. In this paper, we study the application of data augmentation-based contrastive learning to overcome data scarcity in facial emotion recognition for children. We explore the idea of ignoring generational gaps, by adding abundantly available adult data to pediatric data, to learn better representations. We investigate different ways by which adult facial expression images can be used alongside those of children. In particular, we propose to explicitly incorporate within each mini-batch adult images as augmentations for children's. Out of $84$ combinations of learning approaches and training set sizes, we find that supervised contrastive learning with the proposed training scheme performs best, reaching a test accuracy that typically surpasses the one of the second-best approach by 2% to 3%. Our results indicate that adult data can be considered to be a meaningful augmentation of pediatric data for the recognition of emotional facial expression in children, and open up the possibility for other applications of contrastive learning to improve pediatric care by complementing data of children with that of adults.
△ Less
Submitted 10 February, 2022;
originally announced February 2022.
-
Towards Loosely-Coupling Knowledge Graph Embeddings and Ontology-based Reasoning
Authors:
Zoi Kaoudi,
Abelardo Carlos Martinez Lorenzo,
Volker Markl
Abstract:
Knowledge graph completion (a.k.a.~link prediction), i.e.,~the task of inferring missing information from knowledge graphs, is a widely used task in many applications, such as product recommendation and question answering. The state-of-the-art approaches of knowledge graph embeddings and/or rule mining and reasoning are data-driven and, thus, solely based on the information the input knowledge gra…
▽ More
Knowledge graph completion (a.k.a.~link prediction), i.e.,~the task of inferring missing information from knowledge graphs, is a widely used task in many applications, such as product recommendation and question answering. The state-of-the-art approaches of knowledge graph embeddings and/or rule mining and reasoning are data-driven and, thus, solely based on the information the input knowledge graph contains. This leads to unsatisfactory prediction results which make such solutions inapplicable to crucial domains such as healthcare. To further enhance the accuracy of knowledge graph completion we propose to loosely-couple the data-driven power of knowledge graph embeddings with domain-specific reasoning stemming from experts or entailment regimes (e.g., OWL2). In this way, we not only enhance the prediction accuracy with domain knowledge that may not be included in the input knowledge graph but also allow users to plugin their own knowledge graph embedding and reasoning method. Our initial results show that we enhance the MRR accuracy of vanilla knowledge graph embeddings by up to 3x and outperform hybrid solutions that combine knowledge graph embeddings with rule mining and reasoning up to 3.5x MRR.
△ Less
Submitted 4 July, 2022; v1 submitted 7 February, 2022;
originally announced February 2022.
-
Intersection theory on moduli of smooth complete intersections
Authors:
Andrea Di Lorenzo
Abstract:
We provide a general method for computing rational Chow rings of moduli of smooth complete intersections. We specialize this result in different ways: to compute the integral Picard group of the associated stack ; to obtain an explicit presentation of rational Chow rings of moduli of smooth complete intersections of codimension two; to prove old and new results on moduli of smooth curves of genus…
▽ More
We provide a general method for computing rational Chow rings of moduli of smooth complete intersections. We specialize this result in different ways: to compute the integral Picard group of the associated stack ; to obtain an explicit presentation of rational Chow rings of moduli of smooth complete intersections of codimension two; to prove old and new results on moduli of smooth curves of genus $\leq 5$ and polarized K3 surfaces of degree $\leq 8$.
△ Less
Submitted 16 January, 2022;
originally announced January 2022.
-
Stable cuspidal curves and the integral Chow ring of $\overline{\mathscr{M}}_{2,1}$
Authors:
Andrea Di Lorenzo,
Michele Pernice,
Angelo Vistoli
Abstract:
In this paper we introduce the moduli stack $\widetilde{\mathscr{M}}_{g,n}$ of $n$-marked stable at most cuspidal curves of genus $g$ and we use it to determine the integral Chow ring of $\overline{\mathscr{M}}_{2,1}$. Along the way, we also determine the integral Chow ring of $\overline{\mathscr{M}}_{1,2}$.
In this paper we introduce the moduli stack $\widetilde{\mathscr{M}}_{g,n}$ of $n$-marked stable at most cuspidal curves of genus $g$ and we use it to determine the integral Chow ring of $\overline{\mathscr{M}}_{2,1}$. Along the way, we also determine the integral Chow ring of $\overline{\mathscr{M}}_{1,2}$.
△ Less
Submitted 4 October, 2022; v1 submitted 8 August, 2021;
originally announced August 2021.
-
Equivariant Chow-Witt groups and moduli stacks of elliptic curves
Authors:
Andrea Di Lorenzo,
Lorenzo Mantovani
Abstract:
We introduce equivariant Chow-Witt groups in order to define Chow-Witt groups of quotient stacks. We compute the Chow-Witt ring of the moduli stack of stable (resp. smooth) elliptic curves, providing a geometric interpretation of the new generators. Along the way, we also determine the Chow-Witt ring of the classifying stack of $μ_{2n}$.
We introduce equivariant Chow-Witt groups in order to define Chow-Witt groups of quotient stacks. We compute the Chow-Witt ring of the moduli stack of stable (resp. smooth) elliptic curves, providing a geometric interpretation of the new generators. Along the way, we also determine the Chow-Witt ring of the classifying stack of $μ_{2n}$.
△ Less
Submitted 10 May, 2023; v1 submitted 5 July, 2021;
originally announced July 2021.
-
Model Learning with Personalized Interpretability Estimation (ML-PIE)
Authors:
Marco Virgolin,
Andrea De Lorenzo,
Francesca Randone,
Eric Medvet,
Mattias Wahde
Abstract:
High-stakes applications require AI-generated models to be interpretable. Current algorithms for the synthesis of potentially interpretable models rely on objectives or regularization terms that represent interpretability only coarsely (e.g., model size) and are not designed for a specific user. Yet, interpretability is intrinsically subjective. In this paper, we propose an approach for the synthe…
▽ More
High-stakes applications require AI-generated models to be interpretable. Current algorithms for the synthesis of potentially interpretable models rely on objectives or regularization terms that represent interpretability only coarsely (e.g., model size) and are not designed for a specific user. Yet, interpretability is intrinsically subjective. In this paper, we propose an approach for the synthesis of models that are tailored to the user by enabling the user to steer the model synthesis process according to her or his preferences. We use a bi-objective evolutionary algorithm to synthesize models with trade-offs between accuracy and a user-specific notion of interpretability. The latter is estimated by a neural network that is trained concurrently to the evolution using the feedback of the user, which is collected using uncertainty-based active learning. To maximize usability, the user is only asked to tell, given two models at the time, which one is less complex. With experiments on two real-world datasets involving 61 participants, we find that our approach is capable of learning estimations of interpretability that can be very different for different users. Moreover, the users tend to prefer models found using the proposed approach over models found using non-personalized interpretability indices.
△ Less
Submitted 27 April, 2021; v1 submitted 13 April, 2021;
originally announced April 2021.
-
Polarized twisted conics and moduli of stable curves of genus two
Authors:
Andrea Di Lorenzo,
Angelo Vistoli
Abstract:
In this paper we introduce the stack of polarized twisted conics and we use it to give a new point of view on $\overline{\mathcal{M}}_2$. In particular, we present a new and independent approach to the computation of the integral Chow ring of $\overline{\mathcal{M}}_2$, previously determined by Eric Larson.
In this paper we introduce the stack of polarized twisted conics and we use it to give a new point of view on $\overline{\mathcal{M}}_2$. In particular, we present a new and independent approach to the computation of the integral Chow ring of $\overline{\mathcal{M}}_2$, previously determined by Eric Larson.
△ Less
Submitted 24 March, 2021;
originally announced March 2021.
-
Cohomological invariants of root stacks and admissible double coverings
Authors:
Andrea Di Lorenzo,
Roberto Pirisi
Abstract:
We give a formula for the cohomological invariants of a root stack, which we apply to compute the cohomological invariants and the Brauer group of the stack of admissible double coverings.
We give a formula for the cohomological invariants of a root stack, which we apply to compute the cohomological invariants and the Brauer group of the stack of admissible double coverings.
△ Less
Submitted 21 October, 2020; v1 submitted 16 September, 2020;
originally announced September 2020.
-
Learning a Formula of Interpretability to Learn Interpretable Formulas
Authors:
Marco Virgolin,
Andrea De Lorenzo,
Eric Medvet,
Francesca Randone
Abstract:
Many risk-sensitive applications require Machine Learning (ML) models to be interpretable. Attempts to obtain interpretable models typically rely on tuning, by trial-and-error, hyper-parameters of model complexity that are only loosely related to interpretability. We show that it is instead possible to take a meta-learning approach: an ML model of non-trivial Proxies of Human Interpretability (PHI…
▽ More
Many risk-sensitive applications require Machine Learning (ML) models to be interpretable. Attempts to obtain interpretable models typically rely on tuning, by trial-and-error, hyper-parameters of model complexity that are only loosely related to interpretability. We show that it is instead possible to take a meta-learning approach: an ML model of non-trivial Proxies of Human Interpretability (PHIs) can be learned from human feedback, then this model can be incorporated within an ML training process to directly optimize for interpretability. We show this for evolutionary symbolic regression. We first design and distribute a survey finalized at finding a link between features of mathematical formulas and two established PHIs, simulatability and decomposability. Next, we use the resulting dataset to learn an ML model of interpretability. Lastly, we query this model to estimate the interpretability of evolving solutions within bi-objective genetic programming. We perform experiments on five synthetic and eight real-world symbolic regression problems, comparing to the traditional use of solution size minimization. The results show that the use of our model leads to formulas that are, for a same level of accuracy-interpretability trade-off, either significantly more or equally accurate. Moreover, the formulas are also arguably more interpretable. Given the very positive results, we believe that our approach represents an important step** stone for the design of next-generation interpretable (evolutionary) ML algorithms.
△ Less
Submitted 28 May, 2020; v1 submitted 23 April, 2020;
originally announced April 2020.
-
The integral Chow ring of the stack of smooth non-hyperelliptic curves of genus three
Authors:
Andrea Di Lorenzo,
Damiano Fulghesu,
Angelo Vistoli
Abstract:
We compute the integral Chow ring of the stack of smooth, non-hyperelliptic curves of genus three. We obtain this result by computing the integral Chow ring of the stack of smooth plane quartics, by means of equivariant intersection theory.
We compute the integral Chow ring of the stack of smooth, non-hyperelliptic curves of genus three. We obtain this result by computing the integral Chow ring of the stack of smooth plane quartics, by means of equivariant intersection theory.
△ Less
Submitted 24 March, 2021; v1 submitted 31 March, 2020;
originally announced April 2020.
-
Brauer groups of moduli of hyperelliptic curves via cohomological invariants
Authors:
Andrea Di Lorenzo,
Roberto Pirisi
Abstract:
We compute the Brauer group of the moduli stack of hyperelliptic curves $\mathcal{H}_g$ over any field of characteristic zero. In positive characteristic, we compute the part of the Brauer group whose order is prime to the characteristic of the base field.
We compute the Brauer group of the moduli stack of hyperelliptic curves $\mathcal{H}_g$ over any field of characteristic zero. In positive characteristic, we compute the part of the Brauer group whose order is prime to the characteristic of the base field.
△ Less
Submitted 21 October, 2020; v1 submitted 25 February, 2020;
originally announced February 2020.
-
Design, Validation, and Case Studies of 2D-VSR-Sim, an Optimization-friendly Simulator of 2-D Voxel-based Soft Robots
Authors:
Eric Medvet,
Alberto Bartoli,
Andrea De Lorenzo,
Stefano Seriani
Abstract:
Voxel-based soft robots (VSRs) are aggregations of soft blocks whose design is amenable to optimization. We here present a software, 2D-VSR-Sim, for facilitating research concerning the optimization of VSRs body and brain. The software, written in Java, provides consistent interfaces for all the VSRs aspects suitable for optimization and considers by design the presence of sensing, i.e., the possi…
▽ More
Voxel-based soft robots (VSRs) are aggregations of soft blocks whose design is amenable to optimization. We here present a software, 2D-VSR-Sim, for facilitating research concerning the optimization of VSRs body and brain. The software, written in Java, provides consistent interfaces for all the VSRs aspects suitable for optimization and considers by design the presence of sensing, i.e., the possibility of exploiting the feedback from the environment for controlling the VSR. We experimentally characterize, from a mechanical point of view, the VSRs that can be simulated with 2D-VSR-Sim and we discuss the computational burden of the simulation. Finally, we show how 2D-VSR-Sim can be used to repeat the experiments of significant previous studies and, in perspective, to provide experimental answers to a variety of research questions.
△ Less
Submitted 27 January, 2020; v1 submitted 23 January, 2020;
originally announced January 2020.
-
Spotting insects from satellites: modeling the presence of Culicoides imicola through Deep CNNs
Authors:
Stefano Vincenzi,
Angelo Porrello,
Pietro Buzzega,
Annamaria Conte,
Carla Ippoliti,
Luca Candeloro,
Alessio Di Lorenzo,
Andrea Capobianco Dondona,
Simone Calderara
Abstract:
Nowadays, Vector-Borne Diseases (VBDs) raise a severe threat for public health, accounting for a considerable amount of human illnesses. Recently, several surveillance plans have been put in place for limiting the spread of such diseases, typically involving on-field measurements. Such a systematic and effective plan still misses, due to the high costs and efforts required for implementing it. Ide…
▽ More
Nowadays, Vector-Borne Diseases (VBDs) raise a severe threat for public health, accounting for a considerable amount of human illnesses. Recently, several surveillance plans have been put in place for limiting the spread of such diseases, typically involving on-field measurements. Such a systematic and effective plan still misses, due to the high costs and efforts required for implementing it. Ideally, any attempt in this field should consider the triangle vectors-host-pathogen, which is strictly linked to the environmental and climatic conditions. In this paper, we exploit satellite imagery from Sentinel-2 mission, as we believe they encode the environmental factors responsible for the vector's spread. Our analysis - conducted in a data-driver fashion - couples spectral images with ground-truth information on the abundance of Culicoides imicola. In this respect, we frame our task as a binary classification problem, underpinning Convolutional Neural Networks (CNNs) as being able to learn useful representation from multi-band images. Additionally, we provide a multi-instance variant, aimed at extracting temporal patterns from a short sequence of spectral images. Experiments show promising results, providing the foundations for novel supportive tools, which could depict where surveillance and prevention measures could be prioritized.
△ Less
Submitted 22 November, 2019;
originally announced November 2019.
-
A complete description of the cohomological invariants of even genus hyperelliptic curves
Authors:
Andrea Di Lorenzo,
Roberto Pirisi
Abstract:
When the genus $g$ is even, we extend the computation of mod 2 cohomological invariants of $\mathcal{H}_g$ to non algebraically closed fields, we give an explicit functorial description of the invariants and we completely describe their multiplicative structure. In the Appendix, we show that the cohomological invariants of the compactification $\overline{\mathcal{H}}_g$ are trivial, and use our me…
▽ More
When the genus $g$ is even, we extend the computation of mod 2 cohomological invariants of $\mathcal{H}_g$ to non algebraically closed fields, we give an explicit functorial description of the invariants and we completely describe their multiplicative structure. In the Appendix, we show that the cohomological invariants of the compactification $\overline{\mathcal{H}}_g$ are trivial, and use our methods to give a very short proof of a result by Cornalba on the Picard group of the compactification $\overline{\mathcal{H}}_g$ and extend it to positive characteristic
△ Less
Submitted 24 March, 2021; v1 submitted 10 November, 2019;
originally announced November 2019.
-
Integral Picard group of some stacks of polarized K3 surfaces of low degree
Authors:
Andrea Di Lorenzo
Abstract:
We compute the integral Picard group of the stack $\mathcal{M}_{2l}$ of polarized K3 surfaces with at most rational double points of degree $2l=4,6,8$. We show that in this range the integral Picard group is torsion-free and that a basis is given by certain elliptic Noether-Lefschetz divisors together with the Hodge line bundle. To achieve this result, we investigate certain stacks of complete int…
▽ More
We compute the integral Picard group of the stack $\mathcal{M}_{2l}$ of polarized K3 surfaces with at most rational double points of degree $2l=4,6,8$. We show that in this range the integral Picard group is torsion-free and that a basis is given by certain elliptic Noether-Lefschetz divisors together with the Hodge line bundle. To achieve this result, we investigate certain stacks of complete intersections and their Picard groups by means of equivariant geometry. In the end we compute an expression of the class of some Noether-Lefschetz divisors, restricted to an open substack of $\mathcal{M}_{2l}$, in terms of the basis mentioned above.
△ Less
Submitted 10 May, 2023; v1 submitted 19 October, 2019;
originally announced October 2019.
-
Thermal Fracture Kinetics of Heterogeneous Semiflexible Polymers
Authors:
Alexander Lorenzo,
Enrique M. De La Cruz,
Elena F. Koslover
Abstract:
The fracture and severing of polymer chains plays a critical role in the failure of fibrous materials and the regulated turnover of intracellular filaments. Using continuum wormlike chain models, we investigate the fracture of semiflexible polymers via thermal bending fluctuations, focusing on the role of filament flexibility and dynamics. Our results highlight a previously unappreciated consequen…
▽ More
The fracture and severing of polymer chains plays a critical role in the failure of fibrous materials and the regulated turnover of intracellular filaments. Using continuum wormlike chain models, we investigate the fracture of semiflexible polymers via thermal bending fluctuations, focusing on the role of filament flexibility and dynamics. Our results highlight a previously unappreciated consequence of mechanical heterogeneity in the filament, which enhances the rate of thermal fragmentation particularly in cases where constraints hinder the movement of the chain ends. Although generally applicable to semiflexible chains with regions of different bending stiffness, the model is motivated by a specific biophysical system: the enhanced severing of actin filaments at the boundary between stiff bare regions and mechanically softened regions that are coated with cofilin regulatory proteins. The results presented here point to a potential mechanism for disassembly of filament networks in general and cytoskeletal actin networks in particular by the introduction of locally softened chain regions, as occurs with cofilin binding.
△ Less
Submitted 12 August, 2019; v1 submitted 8 May, 2019;
originally announced May 2019.
-
Picard group of moduli of curves of low genus in positive characteristic
Authors:
Andrea Di Lorenzo
Abstract:
We compute the Picard group of the moduli stack of smooth curves of genus $g$ for $3\leq g\leq 5$, using methods of equivariant intersection theory. We base our proof on the computation of some relations in the integral Chow ring of certain moduli stacks of smooth complete intersections. As a byproduct, we compute the cycle classes of some divisors on $\mathcal{M}_g$.
We compute the Picard group of the moduli stack of smooth curves of genus $g$ for $3\leq g\leq 5$, using methods of equivariant intersection theory. We base our proof on the computation of some relations in the integral Chow ring of certain moduli stacks of smooth complete intersections. As a byproduct, we compute the cycle classes of some divisors on $\mathcal{M}_g$.
△ Less
Submitted 8 May, 2020; v1 submitted 5 December, 2018;
originally announced December 2018.
-
GALANTE: finding all the optically accessible Galactic O+B+WR stars in the Galactic Plane
Authors:
J. Maíz Apellániz,
E. J. Alfaro,
R. H. Barbá,
A. Lorenzo,
A. Marín-Franch,
A. Ederoclite,
J. Varela,
H. Vázquez Ramió,
J. Cenarro,
D. J. Lennon,
P. García-Lario
Abstract:
GALANTE is an optical photometric survey with seven intermediate/narrow filters that has been covering the Galactic Plane since 2016 using the Javalambre T80 and Cerro Tololo T80S telescopes. The P.I.s of the northern part (GALANTE NORTE) are Emilio J. Alfaro and Jesús Maíz Apellániz. and the P.I. of the southern part (GALANTE SUR) is Rodolfo H. Barbá. The detector has a continuous 1.4 degr x 1.4…
▽ More
GALANTE is an optical photometric survey with seven intermediate/narrow filters that has been covering the Galactic Plane since 2016 using the Javalambre T80 and Cerro Tololo T80S telescopes. The P.I.s of the northern part (GALANTE NORTE) are Emilio J. Alfaro and Jesús Maíz Apellániz. and the P.I. of the southern part (GALANTE SUR) is Rodolfo H. Barbá. The detector has a continuous 1.4 degr x 1.4 degr field of view with a sampling of 0.55"/pixel and the seven filters are optimized to detect obscured early-type stars. The survey includes long, intermediate, short, and ultrashort exposure times to reach a dynamical range close to 20 magnitudes, something never achieved for such an optical project before. The characteristics of GALANTE allow for a new type of calibration scheme using external Gaia, Tycho-2, and 2MASS data that has already led to a reanalysis of the sensitivity of the Gaia G filter. We describe the project and present some early results. GALANTE will identify the majority of the early-type massive stars within several kpc of the Sun and measure their amount and type of extinction. It will also map the Halpha nebular emission, identify emission-line stars, and do other studies of low- and intermediate-mass stars.
△ Less
Submitted 29 October, 2018;
originally announced October 2018.
-
New Thread Migration Strategies for NUMA Systems
Authors:
O. G. Lorenzo,
M. L. Becoña,
T. F. Pena,
J. C. Cabaleiro,
J. A. Lorenzo,
F. F. Rivera
Abstract:
Multicore systems present on-board memory hierarchies and communication networks that influence performance when executing shared memory parallel codes. Characterising this influence is complex, and understanding the effect of particular hardware configurations on different codes is of paramount importance. In previous works, monitoring information extracted from hardware counters at runtime has b…
▽ More
Multicore systems present on-board memory hierarchies and communication networks that influence performance when executing shared memory parallel codes. Characterising this influence is complex, and understanding the effect of particular hardware configurations on different codes is of paramount importance. In previous works, monitoring information extracted from hardware counters at runtime has been used to characterise the behaviour of each thread in the parallel code in terms of the number of floating point operations per second, operational intensity, and latency of memory access. We propose to use this information to guide thread migration strategies that improve execution efficiency by increasing locality and affinity. Different configurations of NAS Parallel OpenMP benchmarks on multicores were used to validate the benefits of the proposed thread migration strategies. Our proposed strategies produce up to 70% improvement in scenarios where locality and affinity are low, there being a small degradation in performance for codes with high locality and affinity.
△ Less
Submitted 28 September, 2018;
originally announced September 2018.
-
Spin-Blockade Spectroscopy of Si/SiGe Quantum Dots
Authors:
A. M. Jones,
E. J. Pritchett,
E. H. Chen,
T. E. Keating,
R. W. Andrews,
J. Z. Blumoff,
L. A. De Lorenzo,
K. Eng,
S. D. Ha,
A. A. Kiselev,
S. M. Meenehan,
S. T. Merkel,
J. A. Wright,
L. F. Edge,
R. S. Ross,
M. T. Rakher,
M. G. Borselli,
A. Hunter
Abstract:
We implement a technique for measuring the singlet-triplet energy splitting responsible for spin-to-charge conversion in semiconductor quantum dots. This method, which requires fast, single-shot charge measurement, reliably extracts an energy in the limits of both large and small splittings. We perform this technique on an undoped, accumulation-mode Si/SiGe triple-quantum dot and find that the mea…
▽ More
We implement a technique for measuring the singlet-triplet energy splitting responsible for spin-to-charge conversion in semiconductor quantum dots. This method, which requires fast, single-shot charge measurement, reliably extracts an energy in the limits of both large and small splittings. We perform this technique on an undoped, accumulation-mode Si/SiGe triple-quantum dot and find that the measured splitting varies smoothly as a function of confinement gate biases. Not only does this demonstration prove the value of having an $in~situ$ excited-state measurement technique as part of a standard tune-up procedure, it also suggests that in typical Si/SiGe quantum dot devices, spin-blockade can be limited by lateral orbital excitation energy rather than valley splitting.
△ Less
Submitted 21 September, 2018;
originally announced September 2018.
-
(In)Secure Configuration Practices of WPA2 Enterprise Supplicants
Authors:
Alberto Bartoli,
Eric Medvet,
Andrea De Lorenzo,
Fabiano Tarlao
Abstract:
WPA2 Enterprise is a fundamental technology for secure communication in enterprise wireless networks. A key requirement of this technology is that WiFi-enabled devices (i.e., supplicants) be correctly configured before connecting to the enterprise wireless network. Supplicants that are not configured correctly may fall prey of attacks aimed at stealing the network credentials very easily. Such cre…
▽ More
WPA2 Enterprise is a fundamental technology for secure communication in enterprise wireless networks. A key requirement of this technology is that WiFi-enabled devices (i.e., supplicants) be correctly configured before connecting to the enterprise wireless network. Supplicants that are not configured correctly may fall prey of attacks aimed at stealing the network credentials very easily. Such credentials have an enormous value because they usually unlock access to all enterprise services.
In this work we investigate whether users and technicians are aware of these important and widespread risks. We conducted two extensive analyses: a survey among approximately 1000 users about how they configured their WiFi devices for enterprise network access; and, a review of approximately 310 network configuration guides made available by enterprise network administrators. The results provide strong indications that the key requirement of WPA2 Enterprise is violated systematically and thus can no longer be considered realistic.
△ Less
Submitted 8 June, 2018;
originally announced June 2018.
-
Cohomological invariants of the stack of hyperelliptic curves of odd genus
Authors:
Andrea Di Lorenzo
Abstract:
We compute the cohomological invariants of $\mathcal{H}_g$, the moduli stack of smooth hyperelliptic curves, for every odd $g$.
We compute the cohomological invariants of $\mathcal{H}_g$, the moduli stack of smooth hyperelliptic curves, for every odd $g$.
△ Less
Submitted 7 April, 2020; v1 submitted 6 April, 2018;
originally announced April 2018.
-
The Chow ring of the stack of hyperelliptic curves of odd genus
Authors:
Andrea Di Lorenzo
Abstract:
We find a new presentation of the stack of hyperelliptic curves of odd genus as a quotient stack and we use it to compute its integral Chow ring by means of equivariant intersection theory.
We find a new presentation of the stack of hyperelliptic curves of odd genus as a quotient stack and we use it to compute its integral Chow ring by means of equivariant intersection theory.
△ Less
Submitted 7 April, 2020; v1 submitted 13 February, 2018;
originally announced February 2018.
-
Inward Migration of the TRAPPIST-1 Planets as Inferred From Their Water-Rich Compositions
Authors:
Cayman T. Unterborn,
Steven J. Desch,
Natalie R. Hinkel,
Alejandro Lorenzo Jr
Abstract:
Multiple planet systems provide an ideal laboratory for probing exoplanet composition, formation history and potential habitability. For the TRAPPIST-1 planets, the planetary radii are well established from transits (Gillon et al., 2016, Gillon et al., 2017), with reasonable mass estimates coming from transit timing variations (Gillon et al., 2017, Wang et al., 2017) and dynamical modeling (Quarle…
▽ More
Multiple planet systems provide an ideal laboratory for probing exoplanet composition, formation history and potential habitability. For the TRAPPIST-1 planets, the planetary radii are well established from transits (Gillon et al., 2016, Gillon et al., 2017), with reasonable mass estimates coming from transit timing variations (Gillon et al., 2017, Wang et al., 2017) and dynamical modeling (Quarles et al., 2017). The low bulk densities of the TRAPPIST-1 planets demand significant volatile content. Here we show using mass-radius-composition models, that TRAPPIST-1f and g likely contain substantial ($\geq50$ wt\%) water/ice, with b and c being significantly drier ($\leq15$ wt\%). We propose this gradient of water mass fractions implies planets f and g formed outside the primordial snow line whereas b and c formed inside. We find that compared to planets in our solar system that also formed within the snow line, TRAPPIST-1b and c contain hundreds more oceans worth of water. We demonstrate the extent and timescale of migration in the TRAPPIST-1 system depends on how rapidly the planets formed and the relative location of the primordial snow line. This work provides a framework for understanding the differences between the protoplanetary disks of our solar system versus M dwarfs. Our results provide key insights into the volatile budgets, timescales of planet formation, and migration history of likely the most common planetary host in the Galaxy.
△ Less
Submitted 6 February, 2018; v1 submitted 8 June, 2017;
originally announced June 2017.
-
Toward an expected utility theory of entanglement: Optimization of a probabilistic entanglement protocol
Authors:
Johnny H. Esteves,
Antonio Di Lorenzo
Abstract:
A utility theory of entanglement is formulated, based on the von Neumann--Morgenstern theorem. As a specific example, a protocol for measurement--induced entanglement is studied, in which the amount of entanglement obtained depends on the random result of a measurement on an ancilla. It is shown that the maximization of the utility requires a non--trivial strategy. The results are especially usefu…
▽ More
A utility theory of entanglement is formulated, based on the von Neumann--Morgenstern theorem. As a specific example, a protocol for measurement--induced entanglement is studied, in which the amount of entanglement obtained depends on the random result of a measurement on an ancilla. It is shown that the maximization of the utility requires a non--trivial strategy. The results are especially useful when the interaction between the ancilla and the systems to be entangled is weak.
△ Less
Submitted 8 May, 2017;
originally announced May 2017.
-
Detecting continuous gravitational waves with superfluid $^4$He
Authors:
S. Singh,
L. A. De Lorenzo,
I. Pikovski,
K. C. Schwab
Abstract:
Direct detection of gravitational waves is opening a new window onto our universe. Here, we study the sensitivity to continuous-wave strain fields of a kg-scale optomechanical system formed by the acoustic motion of superfluid helium-4 parametrically coupled to a superconducting microwave cavity. This narrowband detection scheme can operate at very high $Q$-factors, while the resonant frequency is…
▽ More
Direct detection of gravitational waves is opening a new window onto our universe. Here, we study the sensitivity to continuous-wave strain fields of a kg-scale optomechanical system formed by the acoustic motion of superfluid helium-4 parametrically coupled to a superconducting microwave cavity. This narrowband detection scheme can operate at very high $Q$-factors, while the resonant frequency is tunable through pressurization of the helium in the 0.1-1.5 kHz range. The detector can therefore be tuned to a variety of astrophysical sources and can remain sensitive to a particular source over a long period of time. For reasonable experimental parameters, we find that strain fields on the order of $h\sim 10^{-23} /\sqrt{\rm Hz}$ are detectable. We show that the proposed system can significantly improve the limits on gravitational wave strain from nearby pulsars within a few months of integration time.
△ Less
Submitted 15 June, 2016;
originally announced June 2016.
-
A compressive sensing approach for enhancing breast cancer detection using a hybrid DBT / NRI configuration
Authors:
Richard Obermeier,
Jose Angel Martinez Lorenzo
Abstract:
This work presents a novel breast cancer imaging approach that uses compressive sensing in a hybrid Digital Breast Tomosynthesis (DBT) / Nearfield Radar Imaging (NRI) system configuration. The non-homogeneous tissue distribution of the breast, described in terms of dielectric constant and conductivity, is extracted from the DBT image, and it is used by a full-wave Finite Difference in the Frequenc…
▽ More
This work presents a novel breast cancer imaging approach that uses compressive sensing in a hybrid Digital Breast Tomosynthesis (DBT) / Nearfield Radar Imaging (NRI) system configuration. The non-homogeneous tissue distribution of the breast, described in terms of dielectric constant and conductivity, is extracted from the DBT image, and it is used by a full-wave Finite Difference in the Frequency Domain (FDFD) method to build a linearized model of the non-linear NRI imaging problem. The inversion of the linear problem is solved using compressive sensing imaging techniques, which lead to a reduction on the required number of sensing antennas and operational bandwidth without loss of performance.
△ Less
Submitted 19 March, 2016;
originally announced March 2016.
-
Norm-1 Regularized Consensus-based ADMM for Imaging with a Compressive Antenna
Authors:
Juan Heredia Juesas,
Ali Molaei,
Luis Tirado,
William Blackwell,
Jose A Martinez Lorenzo
Abstract:
This paper presents a novel norm-one-regularized, consensus-based imaging algorithm, based on the Alternating Direction Method of Multipliers (ADMM). This algorithm is capable of imaging composite dielectric and metallic targets by using limited amount of data. The distributed capabilities of the ADMM accelerates the convergence of the imaging. Recently, a Compressive Reflector Antenna (CRA) has b…
▽ More
This paper presents a novel norm-one-regularized, consensus-based imaging algorithm, based on the Alternating Direction Method of Multipliers (ADMM). This algorithm is capable of imaging composite dielectric and metallic targets by using limited amount of data. The distributed capabilities of the ADMM accelerates the convergence of the imaging. Recently, a Compressive Reflector Antenna (CRA) has been proposed as a way to provide high-sensing-capacity with a minimum cost and complexity in the hardware architecture. The ADMM algorithm applied to the imaging capabilities of the Compressive Antenna (CA) outperforms current state of the art iterative reconstruction algorithms, such as Nesterov-based methods, in terms of computational cost; and it ultimately enables the use of a CA in quasi-real-time, compressive sensing imaging applications.
△ Less
Submitted 16 March, 2016;
originally announced March 2016.
-
Post-selection induced deterministic and probabilistic entanglement with strong and weak interactions
Authors:
Antonio Di Lorenzo
Abstract:
A scheme is proposed to entangle two systems that have not interacted by using an ancillary particle in a Mach-Zehnder interferometer, by making a suitable post--selection of the particle followed by a conditional feedback on one of the subsystems to be entangled. For a strong interaction, the process works deterministically. For a weaker interaction only the probability of success is reduced, but…
▽ More
A scheme is proposed to entangle two systems that have not interacted by using an ancillary particle in a Mach-Zehnder interferometer, by making a suitable post--selection of the particle followed by a conditional feedback on one of the subsystems to be entangled. For a strong interaction, the process works deterministically. For a weaker interaction only the probability of success is reduced, but the output continues to be a maximally entangled state.
△ Less
Submitted 28 August, 2015;
originally announced August 2015.
-
Comment on `Observation of a quantum Cheshire Cat in a matter-wave interferometer experiment', Nature Comm. 5, 4492
Authors:
Antonio Di Lorenzo
Abstract:
It is shown that a classical experiment using an ordinary cat can reproduce the same results and it is argued that the quantum nature of the phenomenon could be revealed instead by making an experiment that detects cross-moments.
It is shown that a classical experiment using an ordinary cat can reproduce the same results and it is argued that the quantum nature of the phenomenon could be revealed instead by making an experiment that detects cross-moments.
△ Less
Submitted 2 August, 2014;
originally announced August 2014.
-
On quantum and relativistic mechanical analogues in mean field spin models
Authors:
Adriano Barra,
Andrea Di Lorenzo,
Francesco Guerra,
Antonio Moro
Abstract:
Conceptual analogies among statistical mechanics and classical (or quantum) mechanics often appeared in the literature. For classical two-body mean field models, an analogy develops into a proper identification between the free energy of Curie-Weiss type magnetic models and the Hamilton-Jacobi action for a one dimensional mechanical system. Similarly, the partition function plays the role of the w…
▽ More
Conceptual analogies among statistical mechanics and classical (or quantum) mechanics often appeared in the literature. For classical two-body mean field models, an analogy develops into a proper identification between the free energy of Curie-Weiss type magnetic models and the Hamilton-Jacobi action for a one dimensional mechanical system. Similarly, the partition function plays the role of the wave function in quantum mechanics and satisfies the heat equation that plays, in this context, the role of the Schrodinger equation in quantum mechanics. We show that this identification can be remarkably extended to include a wide family of magnetic models classified by normal forms of suitable real algebraic dispersion curves. In all these cases, the model turns out to be completely solvable as the free energy as well as the order parameter are obtained as solutions of an integrable nonlinear PDE of Hamilton-Jacobi type. We observe that the mechanical analog of these models can be viewed as the relativistic analog of the Curie-Weiss model and this helps to clarify the connection between generalised self-averaging and in statistical thermodynamics and the semi-classical dynamics of viscous conservation laws.
△ Less
Submitted 20 January, 2015; v1 submitted 18 July, 2014;
originally announced July 2014.
-
Postselection induced entanglement swap** from a vacuum--excitation entangled state to separate quantum systems
Authors:
Antonio Di Lorenzo
Abstract:
We show that a single particle in a superposition of different paths can entangle two objects located on each path. The entanglement has its maximum visibility for intermediate coupling strengths. In particular, when the two quantum systems with which the particle interacts are detectors that measure its presence and its polarization, the so-called quantum Cheshire cat is realized.
We show that a single particle in a superposition of different paths can entangle two objects located on each path. The entanglement has its maximum visibility for intermediate coupling strengths. In particular, when the two quantum systems with which the particle interacts are detectors that measure its presence and its polarization, the so-called quantum Cheshire cat is realized.
△ Less
Submitted 4 June, 2014;
originally announced June 2014.
-
Measurement of a spin-1 system
Authors:
Antonio Di Lorenzo
Abstract:
We derive exact formulas describing an indirect von Neumann measurement of a spin-1 system. The results hold for any interaction strength and for an arbitrary output variable $\Hat{O}$.
We derive exact formulas describing an indirect von Neumann measurement of a spin-1 system. The results hold for any interaction strength and for an arbitrary output variable $\Hat{O}$.
△ Less
Submitted 6 September, 2015; v1 submitted 9 September, 2013;
originally announced September 2013.
-
Weak values and weak coupling maximizing the output of weak measurements
Authors:
Antonio Di Lorenzo
Abstract:
In a weak measurement, the average output $\langle o\rangle$ of a probe that measures an observable $\hat{A}$ of a quantum system undergoing both a preparation in a state $ρ_i$ and a postselection in a state $E_\mathrm{f}$ is, to a good approximation, a function of the weak value $A_w=\mathrm{Tr} [E_f \hat{A} ρ_i]/\mathrm{Tr}[E_fρ_i]$, a complex number. For a fixed coupling $λ$, when the overlap…
▽ More
In a weak measurement, the average output $\langle o\rangle$ of a probe that measures an observable $\hat{A}$ of a quantum system undergoing both a preparation in a state $ρ_i$ and a postselection in a state $E_\mathrm{f}$ is, to a good approximation, a function of the weak value $A_w=\mathrm{Tr} [E_f \hat{A} ρ_i]/\mathrm{Tr}[E_fρ_i]$, a complex number. For a fixed coupling $λ$, when the overlap $\mathrm{Tr}[E_fρ_i]$ is very small, $A_w$ diverges, but $\langle o\rangle$ stays finite, often tending to zero for symmetry reasons. This paper answers the questions: what is the weak value that maximizes the output for a fixed coupling? what is the coupling that maximizes the output for a fixed weak value? We derive equations for the optimal values of $A_w$ and $λ$, and provide the solutions. The results are independent of the dimensionality of the system, and they apply to a probe having a Hilbert space of arbitrary dimension. Using the Schrödinger-Robertson uncertainty relation, we demonstrate that, in an important case, the amplification $\langle o\rangle$ cannot exceed the initial uncertainty $σ_o$ in the observable $\hat{o}$, we provide an upper limit for the more general case, and a strategy to obtain $\langle o\rangle\gg σ_o$.
△ Less
Submitted 1 May, 2014; v1 submitted 17 July, 2013;
originally announced July 2013.