-
Disentangling heterogeneity and disorder during ultrafast surface melting of orbital order
Authors:
Maurizio Monti,
Khalid M. Siddiqui,
Daniel Perez-Salinas,
Naman Agarwal,
Martin Bremholm,
Xiang Li,
Dharmalingam Prabhakaran,
Xin Liu,
Danylo Babich,
Mathias Sander,
Yunpei Deng,
Henrik T. Lemke,
Roman Mankowsky,
Xuerong Liu,
Simon E. Wall
Abstract:
Understanding how light modifies long-range order is key to improve our ability to control material functionality on an ultrafast timescale. Transient spatial heterogeneity has been proposed in many materials, but isolating the dynamics of different regions experimentally has been challenging. Here we address this issue and measure the dynamics of orbital order melting in the layered manganite, La…
▽ More
Understanding how light modifies long-range order is key to improve our ability to control material functionality on an ultrafast timescale. Transient spatial heterogeneity has been proposed in many materials, but isolating the dynamics of different regions experimentally has been challenging. Here we address this issue and measure the dynamics of orbital order melting in the layered manganite, La0.5Sr1.5MnO4, and isolate the surface dynamics from the bulk for the first time. Bulk measurements show orbital order is rapidly suppressed, but the correlation length surprisingly increases. However, the surface dynamics, show a stronger suppression and a significant decrease in correlation length. By isolating the surface changes, we find that light preferentially melts a less ordered surface and the loss of long-range order is likely driven by the formation of local and disordered polarons. Melting the disordered surface effectively increases the average correlation of the bulk probed volume, resolving the contradictory response. These results show that surface scattering methods are necessary to understand both surface and bulk dynamics in heterogeneous materials.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
The Kawamata-Morrison Cone Conjecture for Generalized Hyperelliptic Variety
Authors:
Martina Monti,
Ana Quedo
Abstract:
A Generalized Hyperelliptic Variety (GHV) is the quotient of an abelian variety by a free action of a finite group which does not contain any translation. These varieties are natural generalizations of bi-elliptic surfaces. In this paper we prove the Kawamata-Morrison Cone Conjecture for these manifolds using the analogous results established by Prendergast-Smith for abelian varieties.
A Generalized Hyperelliptic Variety (GHV) is the quotient of an abelian variety by a free action of a finite group which does not contain any translation. These varieties are natural generalizations of bi-elliptic surfaces. In this paper we prove the Kawamata-Morrison Cone Conjecture for these manifolds using the analogous results established by Prendergast-Smith for abelian varieties.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
Aqueous Solution Chemistry In Silico and the Role of Data Driven Approaches
Authors:
Debarshi Banerjee,
Khatereh Azizi,
Colin K. Egan,
Edward Danquah Donkor,
Cesare Malosso,
Solana Di Pino,
Gonzalo Diaz Miron,
Martina Stella,
Giulia Sormani,
Germaine Neza Hozana,
Marta Monti,
Uriel N. Morzan,
Alex Rodriguez,
Giuseppe Cassone,
Asja Jelic,
Damian Scherlis,
Ali Hassanali
Abstract:
The use of computer simulations to study the properties of aqueous systems is, today more than ever, an active area of research. In this context, during the last decade there has been a tremendous growth in the use of data-driven approaches to develop more accurate potentials for water as well as to characterize its complexity in chemical and biological contexts. We highlight the progress, giving…
▽ More
The use of computer simulations to study the properties of aqueous systems is, today more than ever, an active area of research. In this context, during the last decade there has been a tremendous growth in the use of data-driven approaches to develop more accurate potentials for water as well as to characterize its complexity in chemical and biological contexts. We highlight the progress, giving a historical context, on the path to the development of many-body and reactive potentials to model aqueous chemistry, including the role of machine learning strategies. We focus specifically on conceptual and methodological challenges along the way in performing simulations that seek to tackle problems in modeling the chemistry of aqueous solutions. In conclusion, we summarize our perspectives on the use and integration of advanced data-science techniques to provide chemical insights in physical chemistry and how this will influence computer simulations of aqueous systems in the future.
△ Less
Submitted 10 March, 2024;
originally announced March 2024.
-
Determination and correction of spectral phase from principal component analysis of coherent phonons
Authors:
Emmanuel B. Amuah,
Khalid M. Siddiqui,
Maurizio Monti,
Allan S. Johnson,
Simon E. Wall
Abstract:
Measuring the spectral phase of a pulse is key for performing wavelength resolved ultrafast measurements in the few femtosecond regime. However, accurate measurements in real experimental conditions can be challenging. We show that the reflectivity change induced by coherent phonons in a quantum material can be used to infer the spectral phase of an optical probe pulse with few-femtosecond accurac…
▽ More
Measuring the spectral phase of a pulse is key for performing wavelength resolved ultrafast measurements in the few femtosecond regime. However, accurate measurements in real experimental conditions can be challenging. We show that the reflectivity change induced by coherent phonons in a quantum material can be used to infer the spectral phase of an optical probe pulse with few-femtosecond accuracy.
△ Less
Submitted 24 November, 2023;
originally announced November 2023.
-
Calderón-Zygmund theory on some Lie groups of exponential growth
Authors:
Filippo De Mari,
Matteo Levi,
Matteo Monti,
Maria Vallarino
Abstract:
Let $G = N \rtimes A$, where $N$ is a stratified Lie group and $A= \mathbb R_+$ acts on $N$ via automorphic dilations. We prove that the group $G$ has the Calderón-Zygmund property, in the sense of Hebisch and Steger, with respect to a family of flow measures and metrics. This generalizes in various directions previous works by Hebisch and Steger and Martini, Ottazzi and Vallarino, and provides a…
▽ More
Let $G = N \rtimes A$, where $N$ is a stratified Lie group and $A= \mathbb R_+$ acts on $N$ via automorphic dilations. We prove that the group $G$ has the Calderón-Zygmund property, in the sense of Hebisch and Steger, with respect to a family of flow measures and metrics. This generalizes in various directions previous works by Hebisch and Steger and Martini, Ottazzi and Vallarino, and provides a new approach in the development of Calderón-Zygmund theory in Lie groups of exponential growth. We also prove a weak type $(1,1)$ estimate for the Hardy-Littlewood maximal operator naturally arising in this setting.
△ Less
Submitted 3 November, 2023;
originally announced November 2023.
-
A soft departure from jamming: the compaction of deformable granular matter under high pressures
Authors:
Joel T. Clemmer,
Joseph M. Monti,
Jeremy B. Lechman
Abstract:
The high-pressure compaction of three dimensional granular packings is simulated using a bonded particle model (BPM) to capture linear elastic deformation. In the model, grains are represented by a collection of point particles connected by bonds. A simple multibody interaction is introduced to control Poisson's ratio and the arrangement of particles on the surface of a grain is varied to model bo…
▽ More
The high-pressure compaction of three dimensional granular packings is simulated using a bonded particle model (BPM) to capture linear elastic deformation. In the model, grains are represented by a collection of point particles connected by bonds. A simple multibody interaction is introduced to control Poisson's ratio and the arrangement of particles on the surface of a grain is varied to model both high- and low-frictional grains. At low pressures, the growth in packing fraction and coordination number follow the expected behavior near jamming and exhibit friction dependence. As the pressure increases, deviations from the low-pressure power-law scaling emerge after the packing fraction grows by approximately 0.1 and results from simulations with different friction coefficients converge. These results are compared to predictions from traditional discrete element method simulations which, depending on the definition of packing fraction and coordination number, may only differ by a factor of two. As grains deform under compaction, the average volumetric strain and asphericity, a measure of the change in the shape of grains, are found to grow as power laws and depend heavily on the Poisson's ratio of the constituent solid. Larger Poisson's ratios are associated with less volumetric strain and more asphericity and the apparent power-law exponent of the asphericity may vary. The elastic properties of the packed grains are also calculated as a function of packing fraction. In particular, we find the Poisson's ratio near jamming is 1/2 but decreases to 1/4 before rising again as systems densify.
△ Less
Submitted 18 October, 2023;
originally announced October 2023.
-
Horocyclic harmonic Bergman spaces on homogeneous trees
Authors:
Filippo De Mari,
Matteo Monti,
Elena Rizzo
Abstract:
The main focus of this contribution is on the harmonic Bergman spaces $\mathcal{B}_α^{p}$ on the $q$-homogeneous tree $\mathfrak{X}_q$ endowed with a family of measures $σ_α$ that are constant on the horocycles tangent to a fixed boundary point and turn out to be doubling with respect to the corresponding horocyclic Gromov distance. A central role is played by the reproducing kernel Hilbert space…
▽ More
The main focus of this contribution is on the harmonic Bergman spaces $\mathcal{B}_α^{p}$ on the $q$-homogeneous tree $\mathfrak{X}_q$ endowed with a family of measures $σ_α$ that are constant on the horocycles tangent to a fixed boundary point and turn out to be doubling with respect to the corresponding horocyclic Gromov distance. A central role is played by the reproducing kernel Hilbert space $\mathcal{B}_α^{2}$ for which we find a natural orthonormal basis and formulae for the kernel. We also consider the atomic Hardy space and the bounded mean oscillation space. Appealing to an adaptation of Calderón-Zygmund theory and to standard boundedness results for integral operators on $L^p_α$ spaces with Hörmander-type kernels, we determine the boundedness properties of the Bergman projection.
△ Less
Submitted 26 September, 2023;
originally announced September 2023.
-
Linking Symptom Inventories using Semantic Textual Similarity
Authors:
Eamonn Kennedy,
Shashank Vadlamani,
Hannah M Lindsey,
Kelly S Peterson,
Kristen Dams OConnor,
Kenton Murray,
Ronak Agarwal,
Houshang H Amiri,
Raeda K Andersen,
Talin Babikian,
David A Baron,
Erin D Bigler,
Karen Caeyenberghs,
Lisa Delano-Wood,
Seth G Disner,
Ekaterina Dobryakova,
Blessen C Eapen,
Rachel M Edelstein,
Carrie Esopenko,
Helen M Genova,
Elbert Geuze,
Naomi J Goodrich-Hunsaker,
Jordan Grafman,
Asta K Haberg,
Cooper B Hodges
, et al. (57 additional authors not shown)
Abstract:
An extensive library of symptom inventories has been developed over time to measure clinical symptoms, but this variety has led to several long standing issues. Most notably, results drawn from different settings and studies are not comparable, which limits reproducibility. Here, we present an artificial intelligence (AI) approach using semantic textual similarity (STS) to link symptoms and scores…
▽ More
An extensive library of symptom inventories has been developed over time to measure clinical symptoms, but this variety has led to several long standing issues. Most notably, results drawn from different settings and studies are not comparable, which limits reproducibility. Here, we present an artificial intelligence (AI) approach using semantic textual similarity (STS) to link symptoms and scores across previously incongruous symptom inventories. We tested the ability of four pre-trained STS models to screen thousands of symptom description pairs for related content - a challenging task typically requiring expert panels. Models were tasked to predict symptom severity across four different inventories for 6,607 participants drawn from 16 international data sources. The STS approach achieved 74.8% accuracy across five tasks, outperforming other models tested. This work suggests that incorporating contextual, semantic information can assist expert decision-making processes, yielding gains for both general and disease-specific clinical assessment.
△ Less
Submitted 8 September, 2023;
originally announced September 2023.
-
Automorphisms and quotients of Calabi-Yau threefolds of type $A$
Authors:
Martina Monti
Abstract:
The aim of the paper is to investigate the only two families $\mathcal{F}^A_{G}$ of Calabi-Yau $3$-folds $A/G$ with $A$ an abelian $3$-fold and $G\le \text{Aut}(A)$ a finite group acting freely: one in constructed by Catanese and Demleitner and the other is presented here. We provide a complete classification of the automorphism group of $X\in \mathcal{F}^A_{G}$. Additionally, we construct and cla…
▽ More
The aim of the paper is to investigate the only two families $\mathcal{F}^A_{G}$ of Calabi-Yau $3$-folds $A/G$ with $A$ an abelian $3$-fold and $G\le \text{Aut}(A)$ a finite group acting freely: one in constructed by Catanese and Demleitner and the other is presented here. We provide a complete classification of the automorphism group of $X\in \mathcal{F}^A_{G}$. Additionally, we construct and classify the quotients $X/Υ$ for any $Υ\le \text{Aut}(X)$. Specifically, for those groups $Υ$ that preserve the volume form of $X$ then $X/Υ$ admits a desingularization $Y$ which is a Calabi-Yau $3$-fold: we compute the Hodge numbers and the fundamental group of these $Y$, thereby determining all topological in-equivalent Calabi-Yau $3$-folds obtained in this way.
△ Less
Submitted 29 June, 2024; v1 submitted 28 August, 2023;
originally announced August 2023.
-
Fractal dimensions of jammed packings with power-law particle size distributions in two and three dimensions
Authors:
Joseph M. Monti,
Ishan Srivastava,
Leonardo E. Silbert,
Jeremy B. Lechman,
Gary S. Grest
Abstract:
Static structure factors are computed for large-scale, mechanically stable, jammed packings of frictionless spheres (three dimensions) and disks (two dimensions) with broad, power-law size dispersity characterized by the exponent $-β$. The static structure factor exhibits diverging power-law behavior for small wavenumbers, allowing us to identify a structural fractal dimension, $d_f$. In three dim…
▽ More
Static structure factors are computed for large-scale, mechanically stable, jammed packings of frictionless spheres (three dimensions) and disks (two dimensions) with broad, power-law size dispersity characterized by the exponent $-β$. The static structure factor exhibits diverging power-law behavior for small wavenumbers, allowing us to identify a structural fractal dimension, $d_f$. In three dimensions, $d_f \approx 2.0$ for $2.5 \le β\le 3.8 $, such that each of the structure factors can be collapsed onto a universal curve. In two dimensions, we instead find $1.0 \lesssim d_f \lesssim 1.34 $ for $2.1 \le β\le 2.9 $. Furthermore, we show that the fractal behavior persists when rattler particles are removed, indicating that the long wavelength structural properties of the packings are controlled by the large particle backbone conferring mechanical rigidity to the system. A numerical scheme for computing structure factors for triclinic unit cells is presented and employed to analyze the jammed packings.
△ Less
Submitted 1 September, 2023; v1 submitted 21 June, 2023;
originally announced June 2023.
-
Every Bit Counts in Consensus
Authors:
Pierre Civit,
Seth Gilbert,
Rachid Guerraoui,
Jovan Komatovic,
Matteo Monti,
Manuel Vidigueira
Abstract:
Consensus enables n processes to agree on a common valid L-bit value, despite t < n/3 processes being faulty and acting arbitrarily. A long line of work has been dedicated to improving the worst-case communication complexity of consensus in partial synchrony. This has recently culminated in the worst-case word complexity of O(n^2). However, the worst-case bit complexity of the best solution is sti…
▽ More
Consensus enables n processes to agree on a common valid L-bit value, despite t < n/3 processes being faulty and acting arbitrarily. A long line of work has been dedicated to improving the worst-case communication complexity of consensus in partial synchrony. This has recently culminated in the worst-case word complexity of O(n^2). However, the worst-case bit complexity of the best solution is still O(n^2 L + n^2 kappa) (where kappa is the security parameter), far from the Ω(n L + n^2) lower bound. The gap is significant given the practical use of consensus primitives, where values typically consist of batches of large size (L > n).
This paper shows how to narrow the aforementioned gap while achieving optimal linear latency. Namely, we present a new algorithm, DARE (Disperse, Agree, REtrieve), that improves upon the O(n^2 L) term via a novel dispersal primitive. DARE achieves O(n^{1.5} L + n^{2.5} kappa) bit complexity, an effective sqrt{n}-factor improvement over the state-of-the-art (when L > n kappa). Moreover, we show that employing heavier cryptographic primitives, namely STARK proofs, allows us to devise DARE-Stark, a version of DARE which achieves the near-optimal bit complexity of O(n L + n^2 poly(kappa)). Both DARE and DARE-Stark achieve optimal O(n) latency.
△ Less
Submitted 7 August, 2023; v1 submitted 1 June, 2023;
originally announced June 2023.
-
The LHCb upgrade I
Authors:
LHCb collaboration,
R. Aaij,
A. S. W. Abdelmotteleb,
C. Abellan Beteta,
F. Abudinén,
C. Achard,
T. Ackernley,
B. Adeva,
M. Adinolfi,
P. Adlarson,
H. Afsharnia,
C. Agapopoulou,
C. A. Aidala,
Z. Ajaltouni,
S. Akar,
K. Akiba,
P. Albicocco,
J. Albrecht,
F. Alessio,
M. Alexander,
A. Alfonso Albero,
Z. Aliouche,
P. Alvarez Cartelle,
R. Amalric,
S. Amato
, et al. (1298 additional authors not shown)
Abstract:
The LHCb upgrade represents a major change of the experiment. The detectors have been almost completely renewed to allow running at an instantaneous luminosity five times larger than that of the previous running periods. Readout of all detectors into an all-software trigger is central to the new design, facilitating the reconstruction of events at the maximum LHC interaction rate, and their select…
▽ More
The LHCb upgrade represents a major change of the experiment. The detectors have been almost completely renewed to allow running at an instantaneous luminosity five times larger than that of the previous running periods. Readout of all detectors into an all-software trigger is central to the new design, facilitating the reconstruction of events at the maximum LHC interaction rate, and their selection in real time. The experiment's tracking system has been completely upgraded with a new pixel vertex detector, a silicon tracker upstream of the dipole magnet and three scintillating fibre tracking stations downstream of the magnet. The whole photon detection system of the RICH detectors has been renewed and the readout electronics of the calorimeter and muon systems have been fully overhauled. The first stage of the all-software trigger is implemented on a GPU farm. The output of the trigger provides a combination of totally reconstructed physics objects, such as tracks and vertices, ready for final analysis, and of entire events which need further offline reprocessing. This scheme required a complete revision of the computing model and rewriting of the experiment's software.
△ Less
Submitted 17 May, 2023;
originally announced May 2023.
-
Byzantine-Resilient Learning Beyond Gradients: Distributing Evolutionary Search
Authors:
Andrei Kucharavy,
Matteo Monti,
Rachid Guerraoui,
Ljiljana Dolamic
Abstract:
Modern machine learning (ML) models are capable of impressive performances. However, their prowess is not due only to the improvements in their architecture and training algorithms but also to a drastic increase in computational power used to train them.
Such a drastic increase led to a growing interest in distributed ML, which in turn made worker failures and adversarial attacks an increasingly…
▽ More
Modern machine learning (ML) models are capable of impressive performances. However, their prowess is not due only to the improvements in their architecture and training algorithms but also to a drastic increase in computational power used to train them.
Such a drastic increase led to a growing interest in distributed ML, which in turn made worker failures and adversarial attacks an increasingly pressing concern. While distributed byzantine resilient algorithms have been proposed in a differentiable setting, none exist in a gradient-free setting.
The goal of this work is to address this shortcoming. For that, we introduce a more general definition of byzantine-resilience in ML - the \textit{model-consensus}, that extends the definition of the classical distributed consensus. We then leverage this definition to show that a general class of gradient-free ML algorithms - ($1,λ$)-Evolutionary Search - can be combined with classical distributed consensus algorithms to generate gradient-free byzantine-resilient distributed learning algorithms. We provide proofs and pseudo-code for two specific cases - the Total Order Broadcast and proof-of-work leader election.
△ Less
Submitted 20 April, 2023;
originally announced April 2023.
-
Chop Chop: Byzantine Atomic Broadcast to the Network Limit
Authors:
Martina Camaioni,
Rachid Guerraoui,
Matteo Monti,
Pierre-Louis Roman,
Manuel Vidigueira,
Gauthier Voron
Abstract:
At the heart of state machine replication, the celebrated technique enabling decentralized and secure universal computation, lies Atomic Broadcast, a fundamental communication primitive that orders, authenticates, and deduplicates messages. This paper presents Chop Chop, a Byzantine Atomic Broadcast system that amortizes the cost of ordering, authenticating and deduplicating messages, achieving "l…
▽ More
At the heart of state machine replication, the celebrated technique enabling decentralized and secure universal computation, lies Atomic Broadcast, a fundamental communication primitive that orders, authenticates, and deduplicates messages. This paper presents Chop Chop, a Byzantine Atomic Broadcast system that amortizes the cost of ordering, authenticating and deduplicating messages, achieving "line rate" (i.e., closely matching the complexity of a protocol that does not ensure any ordering, authentication or Byzantine resilience) even when processing messages as small as 8 bytes. Chop Chop attains this performance by means of a new form of batching we call distillation. A distilled batch is a set of messages that are fast to authenticate and deduplicate, as well as order. Batches are distilled using a novel interactive mechanism involving brokers, an untrusted layer of facilitating processes between clients and servers. In a geo-distributed deployment of 64 medium-sized servers, with clients situated cross-cloud, Chop Chop processes 43,600,000 messages per second with an average latency of 3.6 seconds. Under the same conditions, state-of-the-art alternatives offer two orders of magnitude less throughput for the same latency. We showcase three simple Chop Chop applications: a Payment system, an Auction house and a "Pixel war" game, respectively achieving 32, 2.3 and 35 million operations per second.
△ Less
Submitted 14 April, 2023;
originally announced April 2023.
-
$H^1$ and BMO spaces for exponentially decreasing measures on homogeneous trees
Authors:
Matteo Monti
Abstract:
We consider a family of measures on a $q$-homogeneous tree that decrease exponentially with respect to the distance from the origin. Such measures are doubling with respect to the Gromov distance. We define atomic Hardy and BMO spaces for that measures, and we prove interpolation results regarding such spaces. As a consequence we have boundedness results for integral operators involving Hardy, BMO…
▽ More
We consider a family of measures on a $q$-homogeneous tree that decrease exponentially with respect to the distance from the origin. Such measures are doubling with respect to the Gromov distance. We define atomic Hardy and BMO spaces for that measures, and we prove interpolation results regarding such spaces. As a consequence we have boundedness results for integral operators involving Hardy, BMO, and $L^p$ spaces.
△ Less
Submitted 18 January, 2023;
originally announced January 2023.
-
The ASTAROTH project
Authors:
Davide D'Angelo,
Andrea Zani,
Franco Alessandria,
Alessandro Andreani,
Andrea Castoldi,
Simone Coelli,
Daniele Cortis,
Giuseppe Di Carlo,
Luca Frontini,
Niccolò Gallice,
Chiara Guazzoni,
Valentino Liberali,
Mauro Monti,
Donato Orlandi,
Massimo Sorbi,
Alberto Stabile,
Marco Statera
Abstract:
The most discussed topic in direct search for dark matter is arguably the verification of the DAMA claim. In fact, the observed annual modulation of the signal rate in an array of NaI(Tl) detectors can be interpreted as the awaited signature of dark matter interaction. Several experimental groups are currently engaged in the attempt to verify such a game-changing claim with the same target materia…
▽ More
The most discussed topic in direct search for dark matter is arguably the verification of the DAMA claim. In fact, the observed annual modulation of the signal rate in an array of NaI(Tl) detectors can be interpreted as the awaited signature of dark matter interaction. Several experimental groups are currently engaged in the attempt to verify such a game-changing claim with the same target material. However, all present-day designs are based on a light readout via Photomultiplier Tubes, whose high noise makes it challenging to achieve a low background in the 1-6 keV energy region of the signal. Even harder it would be to break below 1 keV energy threshold, where a large fraction of the signal potentially awaits to be uncovered. ASTAROTH is an R\&D project to overcome these limitations by using Silicon Photomultipliers (SiPM) matrices to collect scintillation light from NaI(Tl). The all-active design based on cubic crystals is operating in the 87-150 K temperature range where SiPM noise can be even a hundred times lower with respect to PMTs. The cryostat was developed following an innovative design and is based on a copper chamber immersed in a liquid argon bath that can be instrumented as a veto detector. We have characterized separately the crystal and the SiPM response at low temperature and we have proceeded to the first operation of a NaI(Tl) crystal read by SiPM in cryogeny.
△ Less
Submitted 4 November, 2022;
originally announced November 2022.
-
Oracular Byzantine Reliable Broadcast [Extended Version]
Authors:
Martina Camaioni,
Rachid Guerraoui,
Matteo Monti,
Manuel Vidigueira
Abstract:
Byzantine Reliable Broadcast (BRB) is a fundamental distributed computing primitive, with applications ranging from notifications to asynchronous payment systems. Motivated by practical consideration, we study Client-Server Byzantine Reliable Broadcast (CSB), a multi-shot variant of BRB whose interface is split between broadcasting clients and delivering servers. We present Draft, an optimally res…
▽ More
Byzantine Reliable Broadcast (BRB) is a fundamental distributed computing primitive, with applications ranging from notifications to asynchronous payment systems. Motivated by practical consideration, we study Client-Server Byzantine Reliable Broadcast (CSB), a multi-shot variant of BRB whose interface is split between broadcasting clients and delivering servers. We present Draft, an optimally resilient implementation of CSB. Like most implementations of BRB, Draft guarantees both liveness and safety in an asynchronous environment. Under good conditions, however, Draft achieves unparalleled efficiency. In a moment of synchrony, free from Byzantine misbehaviour, and at the limit of infinitely many broadcasting clients, a Draft server delivers a $b$-bits payload at an asymptotic amortized cost of $0$ signature verifications, and $\log_2(c) + b$ bits exchanged, where $c$ is the number of clients in the system. This is the information-theoretical minimum number of bits required to convey the payload ($b$ bits, assuming it is compressed), along with an identifier for its sender ($\log_2(c)$ bits, necessary to enumerate any set of $c$ elements, and optimal if broadcasting frequencies are uniform or unknown). These two achievements have profound practical implications. Real-world BRB implementations are often bottlenecked either by expensive signature verifications, or by communication overhead. For Draft, instead, the network is the limit: a server can deliver payloads as quickly as it would receive them from an infallible oracle.
△ Less
Submitted 27 September, 2022;
originally announced September 2022.
-
Carbon: An Asynchronous Voting-Based Payment System for a Client-Server Architecture
Authors:
Martina Camaioni,
Rachid Guerraoui,
Jovan Komatovic,
Matteo Monti,
Manuel Vidigueira
Abstract:
We present Carbon, an asynchronous payment system. To the best of our knowledge, Carbon is the first asynchronous payment system designed specifically for a client-server architecture. Namely, besides being able to make payments, clients of Carbon are capable of changing the set of running servers using a novel voting mechanism -- asynchronous, balance-based voting.
We present Carbon, an asynchronous payment system. To the best of our knowledge, Carbon is the first asynchronous payment system designed specifically for a client-server architecture. Namely, besides being able to make payments, clients of Carbon are capable of changing the set of running servers using a novel voting mechanism -- asynchronous, balance-based voting.
△ Less
Submitted 30 September, 2022; v1 submitted 20 September, 2022;
originally announced September 2022.
-
Molecular Dynamics Simulations of Binary Sphere Mixtures
Authors:
Joseph M. Monti,
Gary S. Grest
Abstract:
Explicit simulations of fluid mixtures of highly size-dispersed particles are constrained by numerical challenges associated with identifying pair-interaction neighbors. Recent algorithmic developments have ameliorated these difficulties to an extent, permitting more efficient simulations of systems with many large and small particles of disperse sizes. We leverage these capabilities to perform mo…
▽ More
Explicit simulations of fluid mixtures of highly size-dispersed particles are constrained by numerical challenges associated with identifying pair-interaction neighbors. Recent algorithmic developments have ameliorated these difficulties to an extent, permitting more efficient simulations of systems with many large and small particles of disperse sizes. We leverage these capabilities to perform molecular dynamics simulations of binary sphere mixtures with elastically stiff particles approaching the hard sphere limit and particle size ratios of up to 50, approaching the colloidal limit. The systems considered consist of 500 large particles and up to nearly 3.6 million small particles with total particle volume fractions up to 0.51. Our simulations confirm qualitative predictions for correlations between large particles previously obtained analytically and for simulations employing effective depletion interactions, but also reveal additional insights into the near-contact structure that result from the explicit treatment of the small particle solvent. No spontaneous crystal nucleation was observed during the simulations, suggesting that nucleation rates in the fluid-solid coexistence region are too small to observe crystal nucleation for feasible simulation system sizes and timescales.
△ Less
Submitted 9 November, 2022; v1 submitted 13 September, 2022;
originally announced September 2022.
-
Large-scale frictionless jamming with power-law particle size distributions
Authors:
Joseph M. Monti,
Joel T. Clemmer,
Ishan Srivastava,
Leonardo E. Silbert,
Gary S. Grest,
Jeremy B. Lechman
Abstract:
Due to significant computational expense, discrete element method simulations of jammed packings of size-dispersed spheres with size ratios greater than 1:10 have remained elusive, limiting the correspondence between simulations and real-world granular materials with large size dispersity. Invoking a recently developed neighbor binning algorithm, we generate mechanically-stable jammed packings of…
▽ More
Due to significant computational expense, discrete element method simulations of jammed packings of size-dispersed spheres with size ratios greater than 1:10 have remained elusive, limiting the correspondence between simulations and real-world granular materials with large size dispersity. Invoking a recently developed neighbor binning algorithm, we generate mechanically-stable jammed packings of frictionless spheres with power-law size distributions containing up to nearly four million particles with size ratios up to 1:100. By systematically varying the width and exponent of the underlying power laws, we analyze the role of particle size distributions on the structure of jammed packings. The densest packings are obtained for size distributions that balance the relative abundance of large-large/intermediate and small-small particle contacts. Although the proportion of rattler particles and mean coordination number strongly depend on the size distribution, the mean coordination of non-rattler particles attains the frictionless isostatic value of six in all cases. The size distribution of non-rattler particles that participate in the load-bearing network exhibits no dependence on the width of the total particle size distribution beyond a critical particle size for low-magnitude exponent power laws. This signifies that only particles with sizes greater than the critical particle size contribute to the mechanical stability. However, for high-magnitude exponent power laws, all particle sizes participate in the mechanical stability of the packing.
△ Less
Submitted 15 August, 2022;
originally announced August 2022.
-
Harmonic Bergman projectors on homogeneous trees
Authors:
Filippo De Mari,
Matteo Monti,
Maria Vallarino
Abstract:
In this paper we investigate some properties of the harmonic Bergman spaces $\mathcal A^p(σ)$ on a $q$-homogeneous tree, where $q\geq 2$, $1\leq p<\infty$, and $σ$ is a finite measure on the tree with radial decreasing density, hence nondoubling. These spaces were introduced by J.~Cohen, F.~Colonna, M.~Picardello and D.~Singman. When $p=2$ they are reproducing kernel Hilbert spaces and we compute…
▽ More
In this paper we investigate some properties of the harmonic Bergman spaces $\mathcal A^p(σ)$ on a $q$-homogeneous tree, where $q\geq 2$, $1\leq p<\infty$, and $σ$ is a finite measure on the tree with radial decreasing density, hence nondoubling. These spaces were introduced by J.~Cohen, F.~Colonna, M.~Picardello and D.~Singman. When $p=2$ they are reproducing kernel Hilbert spaces and we compute explicitely their reproducing kernel. We then study the boundedness properties of the Bergman projector on $L^p(σ)$ for $1<p<\infty$ and their weak type (1,1) boundedness for radially exponentially decreasing measures on the tree. The weak type (1,1) boundedness is a consequence of the fact that the Bergman kernel satisfies an appropriate integral Hörmander's condition.
△ Less
Submitted 28 September, 2023; v1 submitted 27 May, 2022;
originally announced May 2022.
-
contact.engineering -- Create, analyze and publish digital surface twins from topography measurements across many scales
Authors:
Michael C. Röttger,
Antoine Sanner,
Luke A. Thimons,
Till Junge,
Abhijeet Gujrati,
Joseph M. Monti,
Wolfram G. Nöhring,
Tevis D. B. Jacobs,
Lars Pastewka
Abstract:
The optimization of surface finish to improve performance occurs largely through trial and error, despite significant advancements in the relevant science. There are three central challenges that account for this disconnect: (1) the challenge of integration of many different types of measurement for the same surface to capture the multi-scale nature of roughness; (2) the technical complexity of im…
▽ More
The optimization of surface finish to improve performance occurs largely through trial and error, despite significant advancements in the relevant science. There are three central challenges that account for this disconnect: (1) the challenge of integration of many different types of measurement for the same surface to capture the multi-scale nature of roughness; (2) the technical complexity of implementing spectral analysis methods, and of applying mechanical or numerical models to describe surface performance; (3) a lack of consistency between researchers and industries in how surfaces are measured, quantified, and communicated. Here we present a freely-available internet-based application which attempts to overcome all three challenges. First, the application enables the user to upload many different topography measurements taken from a single surface, including using different techniques, and then integrates all of them together to create a digital surface twin. Second, the application calculates many of the commonly used topography metrics, such as root-mean-square parameters, power spectral density (PSD), and autocorrelation function (ACF), as well as implementing analytical and numerical calculations, such as boundary element modeling (BEM) for elastic and plastic deformation. Third, the application serves as a repository for users to securely store surfaces, and if they choose, to share these with collaborators or even publish them (with a digital object identifier) for all to access. The primary goal of this application is to enable researchers and manufacturers to quickly and easily apply cutting-edge tools for the characterization and properties-modeling of real-world surfaces. An additional goal is to advance the use of open-science principles in surface engineering by providing a FAIR database where researchers can choose to publish surface measurements for all to use.
△ Less
Submitted 18 September, 2022; v1 submitted 25 March, 2022;
originally announced March 2022.
-
Prediction of gene expression time series and structural analysis of gene regulatory networks using recurrent neural networks
Authors:
Michele Monti,
Jonathan Fiorentino,
Edoardo Milanetti,
Giorgio Gosti,
Gian Gaetano Tartaglia
Abstract:
Methods for time series prediction and classification of gene regulatory networks (GRNs) from gene expression data have been treated separately so far. The recent emergence of attention-based recurrent neural networks (RNN) models boosted the interpretability of RNN parameters, making them appealing for the understanding of gene interactions. In this work, we generated synthetic time series gene e…
▽ More
Methods for time series prediction and classification of gene regulatory networks (GRNs) from gene expression data have been treated separately so far. The recent emergence of attention-based recurrent neural networks (RNN) models boosted the interpretability of RNN parameters, making them appealing for the understanding of gene interactions. In this work, we generated synthetic time series gene expression data from a range of archetypal GRNs and we relied on a dual attention RNN to predict the gene temporal dynamics. We show that the prediction is extremely accurate for GRNs with different architectures. Next, we focused on the attention mechanism of the RNN and, using tools from graph theory, we found that its graph properties allow to hierarchically distinguish different architectures of the GRN. We show that the GRNs respond differently to the addition of noise in the prediction by the RNN and we relate the noise response to the analysis of the attention mechanism. In conclusion, this work provides a a way to understand and exploit the attention mechanism of RNN and it paves the way to RNN-based methods for time series prediction and inference of GRNs from gene expression data.
△ Less
Submitted 13 September, 2021;
originally announced September 2021.
-
Hot electron cooling in InSb probed by ultrafast time-resolved terahertz cyclotron resonance
Authors:
Chelsea Q. Xia,
Maurizio Monti,
Jessica L. Boland,
Laura M. Herz,
James Lloyd-Hughes,
Marina R. Filip,
Michael B. Johnston
Abstract:
Measuring terahertz (THz) conductivity on an ultrafast time scale is an excellent way to observe charge-carrier dynamics in semiconductors as a function of time after photoexcitation. However, a conductivity measurement alone cannot separate the effects of charge-carrier recombination from effective mass changes as charges cool and experience different regions of the electronic band structure. Her…
▽ More
Measuring terahertz (THz) conductivity on an ultrafast time scale is an excellent way to observe charge-carrier dynamics in semiconductors as a function of time after photoexcitation. However, a conductivity measurement alone cannot separate the effects of charge-carrier recombination from effective mass changes as charges cool and experience different regions of the electronic band structure. Here we present a form of time-resolved magneto-THz spectroscopy which allows us to measure cyclotron effective mass on a picosecond time scale. We demonstrate this technique by observing electron cooling in the technologically-significant narrow-bandgap semiconductor indium antimonide (InSb). A significant reduction of electron effective mass from 0.032$m_\mathrm{e}$ to 0.017$m_\mathrm{e}$ is observed in the first 200ps after injecting hot electrons. Measurement of electron effective mass in InSb as a function of photo-injected electron density agrees well with conduction band non-parabolicity predictions from ab initio calculations of the quasiparticle band structure.
△ Less
Submitted 11 September, 2021;
originally announced September 2021.
-
Unitarization of the Horocyclic Radon Transform on Symmetric Spaces
Authors:
Francesca Bartolucci,
Filippo De Mari,
Matteo Monti
Abstract:
We consider the Radon transform for a dual pair $(X,Ξ)$, where $X=G/K$ is a noncompact symmetric space and $Ξ$ is the space of horocycles of $X$. We address the unitarization problem that was considered (and solved in some cases) by Helgason, namely the determination of a pseudo-differential operator such that the pre-composition with the Radon transform extends to a unitary operator…
▽ More
We consider the Radon transform for a dual pair $(X,Ξ)$, where $X=G/K$ is a noncompact symmetric space and $Ξ$ is the space of horocycles of $X$. We address the unitarization problem that was considered (and solved in some cases) by Helgason, namely the determination of a pseudo-differential operator such that the pre-composition with the Radon transform extends to a unitary operator $\mathcal{Q}\colon L^2(X)\to L_\flat^2(Ξ)$, where $L_\flat^2(Ξ)$ is a closed subspace of $L^2(Ξ)$ which accounts for the Weyl symmetries. Furthermore, we show that the unitary extension intertwines the quasi-regular representations of $G$ on $L^2(X)$ and $L_\flat^2(Ξ)$.
△ Less
Submitted 9 August, 2021;
originally announced August 2021.
-
SHREC 2021: Track on Skeleton-based Hand Gesture Recognition in the Wild
Authors:
Ariel Caputo,
Andrea Giachetti,
Simone Soso,
Deborah Pintani,
Andrea D'Eusanio,
Stefano Pini,
Guido Borghi,
Alessandro Simoni,
Roberto Vezzani,
Rita Cucchiara,
Andrea Ranieri,
Franca Giannini,
Katia Lupinetti,
Marina Monti,
Mehran Maghoumi,
Joseph J. LaViola Jr,
Minh-Quan Le,
Hai-Dang Nguyen,
Minh-Triet Tran
Abstract:
Gesture recognition is a fundamental tool to enable novel interaction paradigms in a variety of application scenarios like Mixed Reality environments, touchless public kiosks, entertainment systems, and more. Recognition of hand gestures can be nowadays performed directly from the stream of hand skeletons estimated by software provided by low-cost trackers (Ultraleap) and MR headsets (Hololens, Oc…
▽ More
Gesture recognition is a fundamental tool to enable novel interaction paradigms in a variety of application scenarios like Mixed Reality environments, touchless public kiosks, entertainment systems, and more. Recognition of hand gestures can be nowadays performed directly from the stream of hand skeletons estimated by software provided by low-cost trackers (Ultraleap) and MR headsets (Hololens, Oculus Quest) or by video processing software modules (e.g. Google Mediapipe). Despite the recent advancements in gesture and action recognition from skeletons, it is unclear how well the current state-of-the-art techniques can perform in a real-world scenario for the recognition of a wide set of heterogeneous gestures, as many benchmarks do not test online recognition and use limited dictionaries. This motivated the proposal of the SHREC 2021: Track on Skeleton-based Hand Gesture Recognition in the Wild. For this contest, we created a novel dataset with heterogeneous gestures featuring different types and duration. These gestures have to be found inside sequences in an online recognition scenario. This paper presents the result of the contest, showing the performances of the techniques proposed by four research groups on the challenging task compared with a simple baseline method.
△ Less
Submitted 21 June, 2021;
originally announced June 2021.
-
Non-thermal breaking of magnetic order via photo-generated spin defects
Authors:
Ernest Pastor,
David Moreno-Mencía,
Maurizio Monti,
Allan S. Johnson,
Nina Fleischmann,
Cuixiang Wang,
Youguo Shi,
Xuerong Liu,
Daniel G. Mazzone,
Mark P. M. Dean,
Simon Wall
Abstract:
In Mott insulators the evolution of antiferromagnetic order to superconducting or charge-density-wave-like states upon chemical doping underpins the control of quantum phases. Photo-doping can induce similar transitions on the ultrafast timescale, however the response of the spin system has remained elusive. Here, we use 4D-ultrafast optical spectroscopy to extract quantitative magnetic dynamics i…
▽ More
In Mott insulators the evolution of antiferromagnetic order to superconducting or charge-density-wave-like states upon chemical doping underpins the control of quantum phases. Photo-doping can induce similar transitions on the ultrafast timescale, however the response of the spin system has remained elusive. Here, we use 4D-ultrafast optical spectroscopy to extract quantitative magnetic dynamics in the spin-orbit coupled Mott insulator Sr3Ir2O7. We demonstrate that light can non-thermally melt long-range spin order. At low fluences magnetic order recovers within 1 ps despite demagnetization of roughly 50%. However, high fluences induce a crossover to a long-lived demagnetized state without increasing the lattice temperature. We show that the generation of photo-induced spin defects enables a mechanism that stabilizes the demagnetized state which could help expose new transient phases.
△ Less
Submitted 7 January, 2022; v1 submitted 9 April, 2021;
originally announced April 2021.
-
Online Payments by Merely Broadcasting Messages (Extended Version)
Authors:
Daniel Collins,
Rachid Guerraoui,
Jovan Komatovic,
Matteo Monti,
Athanasios Xygkis,
Matej Pavlovic,
Petr Kuznetsov,
Yvonne-Anne Pignolet,
Dragos-Adrian Seredinschi,
Andrei Tonkikh
Abstract:
We address the problem of online payments, where users can transfer funds among themselves. We introduce Astro, a system solving this problem efficiently in a decentralized, deterministic, and completely asynchronous manner. Astro builds on the insight that consensus is unnecessary to prevent double-spending. Instead of consensus, Astro relies on a weaker primitive---Byzantine reliable broadcast--…
▽ More
We address the problem of online payments, where users can transfer funds among themselves. We introduce Astro, a system solving this problem efficiently in a decentralized, deterministic, and completely asynchronous manner. Astro builds on the insight that consensus is unnecessary to prevent double-spending. Instead of consensus, Astro relies on a weaker primitive---Byzantine reliable broadcast---enabling a simpler and more efficient implementation than consensus-based payment systems.
In terms of efficiency, Astro executes a payment by merely broadcasting a message. The distinguishing feature of Astro is that it can maintain performance robustly, i.e., remain unaffected by a fraction of replicas being compromised or slowed down by an adversary. Our experiments on a public cloud network show that Astro can achieve near-linear scalability in a sharded setup, going from $10K$ payments/sec (2 shards) to $20K$ payments/sec (4 shards). In a nutshell, Astro can match VISA-level average payment throughput, and achieves a $5\times$ improvement over a state-of-the-art consensus-based solution, while exhibiting sub-second $95^{th}$ percentile latency.
△ Less
Submitted 27 April, 2020;
originally announced April 2020.
-
Structural analysis of SARS-CoV-2 and prediction of the human interactome
Authors:
Andrea Vandelli,
Michele Monti,
Edoardo Milanetti,
Riccardo Delli Ponti,
Gian Gaetano Tartaglia
Abstract:
Specific elements of viral genomes regulate interactions within host cells. Here, we calculated the secondary structure content of >2500 coronaviruses and computed >100000 human protein interactions with severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). We found that the 3 and 5 prime ends are the most structured elements in the viral genome and the 5 prime end has the strongest propen…
▽ More
Specific elements of viral genomes regulate interactions within host cells. Here, we calculated the secondary structure content of >2500 coronaviruses and computed >100000 human protein interactions with severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). We found that the 3 and 5 prime ends are the most structured elements in the viral genome and the 5 prime end has the strongest propensity to associate with human proteins. The domain encompassing nucleotides 23000-24000 is highly conserved both at the sequence and structural level, while the region upstream varies significantly. These two sequences code for a domain of the viral protein Spike S that interacts with the human receptor angiotensin-converting enzyme 2 (ACE2) and has the potential to bind sialic acids. Our predictions indicate that the first 1000 nucleotides in the 5 prime end can interact with proteins involved in viral RNA processing such as double-stranded RNA specific editases and ATP-dependent RNA-helicases, in addition to other high-confidence candidate partners. These interactions, previously reported to be also implicated in HIV, reveal important information on host-virus interactions. The list of transcriptional and post-transcriptional elements recruited by SARS-CoV-2 genome provides clues on the biological pathways associated with gene expression changes in human cells.
△ Less
Submitted 29 April, 2020; v1 submitted 30 March, 2020;
originally announced March 2020.
-
In-Silico evidence for two receptors based strategy of SARS-CoV-2
Authors:
Edoardo Milanetti,
Mattia Miotto,
Lorenzo Di Rienzo,
Michele Monti,
Giorgio Gosti,
Giancarlo Ruocco
Abstract:
We propose a novel numerical method able to determine efficiently and effectively the relationship of complementarity between portions of proteins surfaces. This innovative and general procedure, based on the representation of the molecular iso-electron density surface in terms of 2D Zernike polynomials, allows the rapid and quantitative assessment of the geometrical shape complementarity between…
▽ More
We propose a novel numerical method able to determine efficiently and effectively the relationship of complementarity between portions of proteins surfaces. This innovative and general procedure, based on the representation of the molecular iso-electron density surface in terms of 2D Zernike polynomials, allows the rapid and quantitative assessment of the geometrical shape complementarity between interacting proteins, that was unfeasible with previous methods. We first tested the method with a large dataset of known protein complexes obtaining an overall area under the ROC curve of 0.76 in the blind recognition of binding sites and then applied it to investigate the features of the interaction between the Spike protein of SARS-Cov-2 and human cellular receptors. Our results indicate that SARS-CoV-2 uses a dual strategy: its spike protein could also interact with sialic acid receptors of the cells in the upper airways, in addition to the known interaction with Angiotensin-converting enzyme 2.
△ Less
Submitted 3 April, 2020; v1 submitted 24 March, 2020;
originally announced March 2020.
-
3D dynamic hand gestures recognition using the Leap Motion sensor and convolutional neural networks
Authors:
Katia Lupinetti,
Andrea Ranieri,
Franca Giannini,
Marina Monti
Abstract:
Defining methods for the automatic understanding of gestures is of paramount importance in many application contexts and in Virtual Reality applications for creating more natural and easy-to-use human-computer interaction methods. In this paper, we present a method for the recognition of a set of non-static gestures acquired through the Leap Motion sensor. The acquired gesture information is conve…
▽ More
Defining methods for the automatic understanding of gestures is of paramount importance in many application contexts and in Virtual Reality applications for creating more natural and easy-to-use human-computer interaction methods. In this paper, we present a method for the recognition of a set of non-static gestures acquired through the Leap Motion sensor. The acquired gesture information is converted in color images, where the variation of hand joint positions during the gesture are projected on a plane and temporal information is represented with color intensity of the projected points. The classification of the gestures is performed using a deep Convolutional Neural Network (CNN). A modified version of the popular ResNet-50 architecture is adopted, obtained by removing the last fully connected layer and adding a new layer with as many neurons as the considered gesture classes. The method has been successfully applied to the existing reference dataset and preliminary tests have already been performed for the real-time recognition of dynamic gestures performed by users.
△ Less
Submitted 2 September, 2020; v1 submitted 3 March, 2020;
originally announced March 2020.
-
Unitarization of the Horocyclic Radon Transform on Homogeneous Trees
Authors:
Francesca Bartolucci,
Filippo De Mari,
Matteo Monti
Abstract:
Following previous work in the continuous setup, we construct the unitarization of the horocyclic Radon transform on a homogeneous tree X and we show that it intertwines the quasi regular representations of the group of isometries of X on the tree itself and on the space of horocycles.
Following previous work in the continuous setup, we construct the unitarization of the horocyclic Radon transform on a homogeneous tree X and we show that it intertwines the quasi regular representations of the group of isometries of X on the tree itself and on the space of horocycles.
△ Less
Submitted 4 August, 2021; v1 submitted 16 February, 2020;
originally announced February 2020.
-
A systematic comparison of structural, structural connectivity, and functional connectivity based thalamus parcellation techniques
Authors:
Charles Iglehart,
Martin Monti,
Joshua Cain,
Thomas Tourdias,
Manojkumar Saranathan
Abstract:
The thalamus consists of several histologically and functionally distinct nuclei increasingly implicated in brain pathology and important for treatment, motivating the need for development of fast and accurate thalamic segmentation. The contrast between thalamic nuclei as well as between the thalamus and surrounding tissues is poor in T1 and T2 weighted magnetic resonance imaging (MRI), inhibiting…
▽ More
The thalamus consists of several histologically and functionally distinct nuclei increasingly implicated in brain pathology and important for treatment, motivating the need for development of fast and accurate thalamic segmentation. The contrast between thalamic nuclei as well as between the thalamus and surrounding tissues is poor in T1 and T2 weighted magnetic resonance imaging (MRI), inhibiting efforts to date to segment the thalamus using standard clinical MRI. Automatic segmentation techniques have been developed to leverage thalamic features better captured by advanced MRI methods, including magnetization prepared rapid acquisition gradient echo (MP-RAGE) , diffusion tensor imaging (DTI), and resting state functional MRI (fMRI). Despite operating on fundamentally different image features, these methods claim a high degree of agreement with the Morel stereotactic atlas of the thalamus. However, no comparison has been undertaken to compare the results of these disparate segmentation methods. We have implemented state-of-the-art structural, diffusion, and functional imaging-based thalamus segmentation techniques and used them on a single set of subjects. We present the first systematic qualitative and quantitative comparison of these methods. We found that functional connectivity-based parcellation exhibited a close correspondence with structural parcellation on the basis of qualitative concordance with the Morel thalamic atlas as well as the quantitative measures of Dice scores and volumetric similarity index.
△ Less
Submitted 17 December, 2019;
originally announced December 2019.
-
Scalable Byzantine Reliable Broadcast (Extended Version)
Authors:
Rachid Guerraoui,
Petr Kuznetsov,
Matteo Monti,
Matej Pavlovic,
Dragos-Adrian Seredinschi,
Yann Vonlanthen
Abstract:
Byzantine reliable broadcast is a powerful primitive that allows a set of processes to agree on a message from a designated sender, even if some processes (including the sender) are Byzantine. Existing broadcast protocols for this setting scale poorly, as they typically build on quorum systems with strong intersection guarantees, which results in linear per-process communication and computation co…
▽ More
Byzantine reliable broadcast is a powerful primitive that allows a set of processes to agree on a message from a designated sender, even if some processes (including the sender) are Byzantine. Existing broadcast protocols for this setting scale poorly, as they typically build on quorum systems with strong intersection guarantees, which results in linear per-process communication and computation complexity.
We generalize the Byzantine reliable broadcast abstraction to the probabilistic setting, allowing each of its properties to be violated with a fixed, arbitrarily small probability. We leverage these relaxed guarantees in a protocol where we replace quorums with stochastic samples. Compared to quorums, samples are significantly smaller in size, leading to a more scalable design. We obtain the first Byzantine reliable broadcast protocol with logarithmic per-process communication and computation complexity.
We conduct a complete and thorough analysis of our protocol, deriving bounds on the probability of each of its properties being compromised. During our analysis, we introduce a novel general technique we call adversary decorators. Adversary decorators allow us to make claims about the optimal strategy of the Byzantine adversary without having to make any additional assumptions. We also introduce Threshold Contagion, a model of message propagation through a system with Byzantine processes. To the best of our knowledge, this is the first formal analysis of a probabilistic broadcast protocol in the Byzantine fault model. We show numerically that practically negligible failure probabilities can be achieved with realistic security parameters.
△ Less
Submitted 19 February, 2020; v1 submitted 5 August, 2019;
originally announced August 2019.
-
The Consensus Number of a Cryptocurrency (Extended Version)
Authors:
Rachid Guerraoui,
Petr Kuznetsov,
Matteo Monti,
Matej Pavlovic,
Dragos-Adrian Seredinschi
Abstract:
Many blockchain-based algorithms, such as Bitcoin, implement a decentralized asset transfer system, often referred to as a cryptocurrency. As stated in the original paper by Nakamoto, at the heart of these systems lies the problem of preventing double-spending; this is usually solved by achieving consensus on the order of transfers among the participants. In this paper, we treat the asset transfer…
▽ More
Many blockchain-based algorithms, such as Bitcoin, implement a decentralized asset transfer system, often referred to as a cryptocurrency. As stated in the original paper by Nakamoto, at the heart of these systems lies the problem of preventing double-spending; this is usually solved by achieving consensus on the order of transfers among the participants. In this paper, we treat the asset transfer problem as a concurrent object and determine its consensus number, showing that consensus is, in fact, not necessary to prevent double-spending. We first consider the problem as defined by Nakamoto, where only a single process---the account owner---can withdraw from each account. Safety and liveness need to be ensured for correct account owners, whereas misbehaving account owners might be unable to perform transfers. We show that the consensus number of an asset transfer object is $1$. We then consider a more general $k$-shared asset transfer object where up to $k$ processes can atomically withdraw from the same account, and show that this object has consensus number $k$. We establish our results in the context of shared memory with benign faults, allowing us to properly understand the level of difficulty of the asset transfer problem. We also translate these results in the message passing setting with Byzantine players, a model that is more relevant in practice. In this model, we describe an asynchronous Byzantine fault-tolerant asset transfer implementation that is both simpler and more efficient than state-of-the-art consensus-based solutions. Our results are applicable to both the permissioned (private) and permissionless (public) setting, as normally their differentiation is hidden by the abstractions on top of which our algorithms are based.
△ Less
Submitted 13 June, 2019;
originally announced June 2019.
-
Towards magnetic control of magnetite
Authors:
F. J. Pedrosa,
J. L. F. Cuñado,
P. Perna,
M. Sanz,
M. Oujja,
E. Rebollar,
J. F. Marco,
J. de la Figuera,
M. Monti,
M. Castillejo,
M. Garcia-Hernández,
F. Mompeán,
J. Camarero,
A. Bollero
Abstract:
High quality stoichiometric magnetite (Fe3O4) films grown by infrared pulsed laser deposition (IR-PLD) on different surfaces were investigated in order to study the influence of the substrate, orientation, and thickness on their magnetic behavior. Different single crystal (001)-oriented substrates, i.e., SrTiO3(001), MgAl2O4(001) and MgO(001), have been used for the preparation of epitaxial Fe3O4(…
▽ More
High quality stoichiometric magnetite (Fe3O4) films grown by infrared pulsed laser deposition (IR-PLD) on different surfaces were investigated in order to study the influence of the substrate, orientation, and thickness on their magnetic behavior. Different single crystal (001)-oriented substrates, i.e., SrTiO3(001), MgAl2O4(001) and MgO(001), have been used for the preparation of epitaxial Fe3O4(001) films. By comparison, polycrystalline magnetite films were obtained on both single crystal Al2O3(0001) and amorphous Si/SiO2 substrates. The thickness has been varied between 50 - 400 nm. All films consist of nanocrystalline stoichiometric magnetite with very small strain (<1\%) and present the Verwey transition (Tv) between 110-120 K, i.e., close to bulk magnetite (122 K). In general, Tv depends on both microstructure and thickness, increasing mainly as the thickness increases. Room temperature angular-dependent measurements reveal an in-plane fourfold symmetry magnetic behavior for all films grown on (001)-oriented surfaces, and with the easy axes lying along the Fe3O4 [010] and [100] directions. Remarkably, the fourfold magnetic symmetry shows up to 400 nm thick films. In turn, the films grown on single crystal Al2O3 (0001) and on amorphous Si/SiO2 surfaces display an isotropic magnetic behavior. Coercive field (Hc) depends on microstructure and film thickness. The largest (lowest) Hc value corresponds to the thinner film grown on a single crystal SrTiO3(001) (amorphous Si/SiO2) surface, which present the largest (lowest) strain (crystallinity). Moreover, the coercivity follows an inverse law with film thickness. Our results demonstrate that we can artificially control the magnetic behavior of stoichiometric IR-PLD grown Fe3O4 films by exploiting substrate-induced anisotropy and thickness-controlled coercivity, that might be relevant to incorporate magnetite in future spintronic devices.
△ Less
Submitted 13 May, 2019;
originally announced May 2019.
-
AT2: Asynchronous Trustworthy Transfers
Authors:
Rachid Guerraoui,
Petr Kuznetsov,
Matteo Monti,
Matej Pavlovic,
Dragos-Adrian Seredinschi
Abstract:
Many blockchain-based protocols, such as Bitcoin, implement a decentralized asset transfer (or exchange) system. As clearly stated in the original paper by Nakamoto, the crux of this problem lies in prohibiting any participant from engaging in double-spending. There seems to be a common belief that consensus is necessary for solving the double-spending problem. Indeed, whether it is for a permissi…
▽ More
Many blockchain-based protocols, such as Bitcoin, implement a decentralized asset transfer (or exchange) system. As clearly stated in the original paper by Nakamoto, the crux of this problem lies in prohibiting any participant from engaging in double-spending. There seems to be a common belief that consensus is necessary for solving the double-spending problem. Indeed, whether it is for a permissionless or a permissioned environment, the typical solution uses consensus to build a totally ordered ledger of submitted transfers. In this paper we show that this common belief is false: consensus is not needed to implement of a decentralized asset transfer system. We do so by introducing AT2 (Asynchronous Trustworthy Transfers), a class of consensusless algorithms. To show formally that consensus is unnecessary for asset transfers, we consider this problem first in the shared-memory context. We introduce AT2$_{SM}$, a wait-free algorithm that asynchronously implements asset transfer in the read-write shared-memory model. In other words, we show that the consensus number of an asset-transfer object is one. In the message passing model with Byzantine faults, we introduce a generic asynchronous algorithm called AT2$_{MP}$ and discuss two instantiations of this solution. First, AT2$_{D}$ ensures deterministic guarantees and consequently targets a small scale deployment (tens to hundreds of nodes), typically for a permissioned environment. Second, AT2$_{P}$ provides probabilistic guarantees and scales well to a very large system size (tens of thousands of nodes), ensuring logarithmic latency and communication complexity. Instead of consensus, we construct AT2$_{D}$ and AT2$_{P}$ on top of a broadcast primitive with causal ordering guarantees offering deterministic and probabilistic properties, respectively.
△ Less
Submitted 5 March, 2019; v1 submitted 27 December, 2018;
originally announced December 2018.
-
Theory of circadian metabolism
Authors:
Michele Monti,
David K. Lubensky,
Pieter Rein ten Wolde
Abstract:
Many organisms repartition their proteome in a circadian fashion in response to the daily nutrient changes in their environment. A striking example is provided by cyanobacteria, which perform photosynthesis during the day to fix carbon. These organisms not only face the challenge of rewiring their proteome every 12 hours, but also the necessity of storing the fixed carbon in the form of glycogen t…
▽ More
Many organisms repartition their proteome in a circadian fashion in response to the daily nutrient changes in their environment. A striking example is provided by cyanobacteria, which perform photosynthesis during the day to fix carbon. These organisms not only face the challenge of rewiring their proteome every 12 hours, but also the necessity of storing the fixed carbon in the form of glycogen to fuel processes during the night. In this manuscript, we extend the framework developed by Hwa and coworkers (Scott et al., Science 330, 1099 (2010)) for quantifying the relatinship between growth and proteome composition to circadian metabolism. We then apply this framework to investigate the circadian metabolism of the cyanobacterium Cyanothece, which not only fixes carbon during the day, but also nitrogen during the night, storing it in the polymer cyanophycin. Our analysis reveals that the need to store carbon and nitrogen tends to generate an extreme growth strategy, in which the cells predominantly grow during the day, as observed experimentally. This strategy maximizes the growth rate over 24 hours, and can be quantitatively understood by the bacterial growth laws. Our analysis also shows that the slow relaxation of the proteome, arising from the slow growth rate, puts a severe constraint on implementing this optimal strategy. Yet, the capacity to estimate the time of the day, enabled by the circadian clock, makes it possible to anticipate the daily changes in the environment and mount a response ahead of time. This significantly enhances the growth rate by counteracting the detrimental effects of the slow proteome relaxation.
△ Less
Submitted 11 May, 2018;
originally announced May 2018.
-
Production and Integration of the ATLAS Insertable B-Layer
Authors:
B. Abbott,
J. Albert,
F. Alberti,
M. Alex,
G. Alimonti,
S. Alkire,
P. Allport,
S. Altenheiner,
L. Ancu,
E. Anderssen,
A. Andreani,
A. Andreazza,
B. Axen,
J. Arguin,
M. Backhaus,
G. Balbi,
J. Ballansat,
M. Barbero,
G. Barbier,
A. Bassalat,
R. Bates,
P. Baudin,
M. Battaglia,
T. Beau,
R. Beccherle
, et al. (352 additional authors not shown)
Abstract:
During the shutdown of the CERN Large Hadron Collider in 2013-2014, an additional pixel layer was installed between the existing Pixel detector of the ATLAS experiment and a new, smaller radius beam pipe. The motivation for this new pixel layer, the Insertable B-Layer (IBL), was to maintain or improve the robustness and performance of the ATLAS tracking system, given the higher instantaneous and i…
▽ More
During the shutdown of the CERN Large Hadron Collider in 2013-2014, an additional pixel layer was installed between the existing Pixel detector of the ATLAS experiment and a new, smaller radius beam pipe. The motivation for this new pixel layer, the Insertable B-Layer (IBL), was to maintain or improve the robustness and performance of the ATLAS tracking system, given the higher instantaneous and integrated luminosities realised following the shutdown. Because of the extreme radiation and collision rate environment, several new radiation-tolerant sensor and electronic technologies were utilised for this layer. This paper reports on the IBL construction and integration prior to its operation in the ATLAS detector.
△ Less
Submitted 6 June, 2018; v1 submitted 2 March, 2018;
originally announced March 2018.
-
Robustness of clocks to input noise
Authors:
Michele Monti,
David K Lubensky,
Pieter Rein ten Wolde
Abstract:
To estimate the time, many organisms, ranging from cyanobacteria to animals, employ a circadian clock which is based on a limit-cycle oscillator that can tick autonomously with a nearly 24h period. Yet, a limit-cycle oscillator is not essential for knowing the time, as exemplified by bacteria that possess an 'hourglass': a system that when forced by an oscillatory light input exhibits robust oscil…
▽ More
To estimate the time, many organisms, ranging from cyanobacteria to animals, employ a circadian clock which is based on a limit-cycle oscillator that can tick autonomously with a nearly 24h period. Yet, a limit-cycle oscillator is not essential for knowing the time, as exemplified by bacteria that possess an 'hourglass': a system that when forced by an oscillatory light input exhibits robust oscillations from which the organism can infer the time, but that in the absence of driving relaxes to a stable fixed point. Here, using models of the Kai system of cyanobacteria, we compare a limit- cycle oscillator with two hourglass models, one that without driving relaxes exponentially and one that does so in an oscillatory fashion. In the limit of low input-noise, all three systems are equally informative on time, yet in the regime of high input-noise the limit-cycle oscillator is far superior. The same behavior is found in the Stuart-Landau model, indicating that our result is universal.
△ Less
Submitted 11 May, 2018; v1 submitted 27 September, 2017;
originally announced October 2017.
-
Optimal entrainment of circadian clocks in the presence of noise
Authors:
Michele Monti,
David K. Lubensky,
Pieter Rein ten Wolde
Abstract:
Circadian clocks are biochemical oscillators that allow organisms to estimate the time of the day. These oscillators are inherently noisy due to the discrete nature of the reactants and the stochastic character of their interactions. To keep these oscillators in sync with the daily day-night rhythm in the presence of noise, circadian clocks must be coupled to the dark-light cycle. In this manuscri…
▽ More
Circadian clocks are biochemical oscillators that allow organisms to estimate the time of the day. These oscillators are inherently noisy due to the discrete nature of the reactants and the stochastic character of their interactions. To keep these oscillators in sync with the daily day-night rhythm in the presence of noise, circadian clocks must be coupled to the dark-light cycle. In this manuscript, we study the entrainment of phase oscillators as a function of the intrinsic noise in the system. Using stochastic simulations, we compute the optimal coupling strength, intrinsic frequency and shape of the phase-response curve, that maximize the mutual information between the phase of the clock and time. We show that the optimal coupling strength and intrinsic frequency increase with the noise, but that the shape of the phase-response curve varies non-monotonically with the noise: in the low-noise regime, it features a deadzone that increases in width as the noise increases, while in the high-noise regime, the width decreases with the noise. These results arise from a trade-off between maximizing stability -noise suppression - and maximizing linearity of the input-output, i.e. time- phase, relation. We also show that three analytic approximations -the linear-noise approximation, the phase-averaging method, and linear-response theory- accurately describe different regimes of the coupling strength and the noise.
△ Less
Submitted 7 June, 2017;
originally announced June 2017.
-
Towards Programmable Network Dynamics: A Chemistry-Inspired Abstraction for Hardware Design
Authors:
Massimo Monti,
Manolis Sifalakis,
Christian F. Tschudin,
Marco Luise
Abstract:
Chemical algorithms are statistical algorithms described and represented as chemical reaction networks. They are particularly attractive for traffic shaping and general control of network dynamics; they are analytically tractable, they reinforce a strict state-to-dynamics relationship, they have configurable stability properties, and they are directly implemented in state-space using a high-level…
▽ More
Chemical algorithms are statistical algorithms described and represented as chemical reaction networks. They are particularly attractive for traffic shaping and general control of network dynamics; they are analytically tractable, they reinforce a strict state-to-dynamics relationship, they have configurable stability properties, and they are directly implemented in state-space using a high-level (graphical) representation.
In this paper, we present a direct implementation of chemical algorithms on FPGA hardware. Besides substantially improving performance, we have achieved hardware-level programmability and re-configurability of these algorithms at runtime (not interrupting servicing) and in realtime (with sub-second latency). This opens an interesting perspective for expanding the currently limited scope of software defined networking and network virtualisation solutions, to include programmable control of network dynamics.
△ Less
Submitted 20 January, 2016;
originally announced January 2016.
-
The accuracy of telling time via oscillatory signals
Authors:
Michele Monti,
Pieter Rein ten Wolde
Abstract:
Circadian clocks are the central timekeepers of life, allowing cells to anticipate changes between day and night. Experiments in recent years have revealed that circadian clocks can be highly stable, raising the question how reliably they can be read out. Here, we combine mathematical modeling with information theory to address the question how accurately a cell can infer the time from an ensemble…
▽ More
Circadian clocks are the central timekeepers of life, allowing cells to anticipate changes between day and night. Experiments in recent years have revealed that circadian clocks can be highly stable, raising the question how reliably they can be read out. Here, we combine mathematical modeling with information theory to address the question how accurately a cell can infer the time from an ensemble of protein oscillations, which are driven by a circadian clock. We show that the precision increases with the number of oscillations and their amplitude relative to their noise. Our analysis also reveals that their exists an optimal phase relation that minimizes the error in the estimate of time, which depends on the relative noise levels of the protein oscillations. Lastly, our work shows that cross-correlations in the noise of the protein oscillations can enhance the mutual information, which suggests that cross-regulatory interactions between the proteins that read out the clock can be beneficial for temporal information transmission.
△ Less
Submitted 14 January, 2016;
originally announced January 2016.
-
A modified galactose network model with implications for growth
Authors:
Michele Monti,
Marta R A Matos,
Jeong-Mo Choi,
Michael S Ferry,
Bartlomiej Borek
Abstract:
The yeast galactose network has provided many insights into how eukaryotic gene circuits regulate metabolic function. However, there is currently no consensus model of the network that incorporates protein dilution due to cellular growth. We address this by adapting a well-known model and having it account for growth benefit and burden due to expression of the network proteins. Modifying the model…
▽ More
The yeast galactose network has provided many insights into how eukaryotic gene circuits regulate metabolic function. However, there is currently no consensus model of the network that incorporates protein dilution due to cellular growth. We address this by adapting a well-known model and having it account for growth benefit and burden due to expression of the network proteins. Modifying the model to incorporate galactose transport and basal Gal1p production allows us to better reproduce experimental observations. Incorporating the growth rate effect demonstrates how the native network can optimize growth in different galactose environments. These findings advance our quantitative understanding of this gene network, and implement a general approach for analysing the balance between growth costs and benefits in a range of metabolic control networks.
△ Less
Submitted 13 January, 2016;
originally announced January 2016.
-
First prototype of a silicon tracker using an artificial retina for fast track finding
Authors:
N. Neri,
A. Abba,
F. Caponio,
M. Citterio,
S. Coelli,
J. Fu,
A. Geraci,
M. Monti,
M. Petruzzo,
F. Bedeschi,
P. Marino,
M. J. Morello,
A. Piucci,
G. Punzi,
F. Spinella,
S. Stracka,
J. Walsh,
L. Ristori,
D. Tonelli
Abstract:
We report on the R\&D for a first prototype of a silicon tracker based on an alternative approach for fast track finding. The working principle is inspired from neurobiology, in particular by the processing of visual images by the brain as it happens in nature. It is based on extensive parallelisation of data distribution and pattern recognition. In this work we present the design of a practical d…
▽ More
We report on the R\&D for a first prototype of a silicon tracker based on an alternative approach for fast track finding. The working principle is inspired from neurobiology, in particular by the processing of visual images by the brain as it happens in nature. It is based on extensive parallelisation of data distribution and pattern recognition. In this work we present the design of a practical device that consists of a telescope based on single-sided silicon detectors; we describe the data acquisition system and the implementation of the track finding algorithms using available digital logic of commercial FPGA devices. Tracking performance and trigger capabilities of the device are discussed along with perspectives for future applications.
△ Less
Submitted 11 September, 2014;
originally announced September 2014.
-
Experimental and theoretical results on electron emission in collisions between He targets and dressed Li$^{q+}$ (q=1,2) projectiles
Authors:
D. Fregenal,
J. M. Monti,
J. Fiol,
P. D. Fainstein,
R. D. Rivarola,
G. Bernardi,
S. Suárez
Abstract:
We investigate experimentally and theoretically the electron emission in collisions between He atoms and Li$^{q+}$ (q=1,2) projectiles at intermediate-high incident energies. We report on measured absolute values of double differential cross-sections, as a function of the emitted electron energy and angle, at a collision energy of 440~keV/u. The different contributions from target-ionisation, proj…
▽ More
We investigate experimentally and theoretically the electron emission in collisions between He atoms and Li$^{q+}$ (q=1,2) projectiles at intermediate-high incident energies. We report on measured absolute values of double differential cross-sections, as a function of the emitted electron energy and angle, at a collision energy of 440~keV/u. The different contributions from target-ionisation, projectile-ionisation, and simultaneous target-projectile ionisation are calculated with the quantum-mechanical Continuum Distorted Wave and Continuum Distorted Wave -- Eikonal Initial State models, and with Classical Trajectory Monte Carlo simulations. There is an overall good agreement of the calculations with the experimental data for electron emission cross-sections.
△ Less
Submitted 12 March, 2014;
originally announced March 2014.
-
A Chemistry-Inspired Framework for Achieving Consensus in Wireless Sensor Networks
Authors:
Massimo Monti,
Luca Sanguinetti,
Christian Tschudin,
Marco Luise
Abstract:
The aim of this paper is to show how simple interaction mechanisms, inspired by chemical systems, can provide the basic tools to design and analyze a mathematical model for achieving consensus in wireless sensor networks, characterized by balanced directed graphs. The convergence and stability of the model are first proven by using new mathematical tools, which are borrowed directly from chemical…
▽ More
The aim of this paper is to show how simple interaction mechanisms, inspired by chemical systems, can provide the basic tools to design and analyze a mathematical model for achieving consensus in wireless sensor networks, characterized by balanced directed graphs. The convergence and stability of the model are first proven by using new mathematical tools, which are borrowed directly from chemical theory, and then validated by means of simulation results, for different network topologies and number of sensors. The underlying chemical theory is also used to derive simple interaction rules that may account for practical issues, such as the estimation of the number of neighbors and the robustness against perturbations. Finally, the proposed chemical solution is validated under real-world conditions by means of a four-node hardware implementation where the exchange of information among nodes takes place in a distributed manner (with no need for any admission control and synchronism procedure), simply relying on the transmission of a pulse whose rate is proportional to the state of each sensor.
△ Less
Submitted 27 August, 2013;
originally announced November 2013.
-
Room Temperature In-plane <100> Magnetic Easy Axis for Fe3O4/SrTiO3(001):Nb Grown by Infrared PLD
Authors:
Matteo Monti,
Mikel Sanz,
Mohamed Oujja,
Esther Rebollar,
Marta Castillejo,
Marta Castillejo,
Alberto Bollero,
Julio Camarero,
Jose Luis F. Cuñado,
Norbert M. Nemes,
Federico J. Mompean,
Mar Garcia-Hernández,
Shu Nie,
Kevin F. McCarty,
Alpha T. N'Diaye,
Gong Chen,
Andreas K. Schmid,
José F. Marco,
Juan de la Figuera
Abstract:
We examine the magnetic easy-axis directions of stoichiometric magnetite films grown on SrTiO3:Nb by infrared pulsed-laser deposition. Spin-polarized low-energy electron microscopy reveals that the individual magnetic domains are magnetized along the in-plane <100> film directions. Magneto-optical Kerr effect measurements show that the maxima of the remanence and coercivity are also along in-plane…
▽ More
We examine the magnetic easy-axis directions of stoichiometric magnetite films grown on SrTiO3:Nb by infrared pulsed-laser deposition. Spin-polarized low-energy electron microscopy reveals that the individual magnetic domains are magnetized along the in-plane <100> film directions. Magneto-optical Kerr effect measurements show that the maxima of the remanence and coercivity are also along in-plane <100> film directions. This easy-axis orientation differs from bulk magnetite and films prepared by other techniques, establishing that the magnetic anisotropy can be tuned by film growth.
△ Less
Submitted 25 July, 2013;
originally announced July 2013.
-
SuperB Technical Design Report
Authors:
SuperB Collaboration,
M. Baszczyk,
P. Dorosz,
J. Kolodziej,
W. Kucewicz,
M. Sapor,
A. Jeremie,
E. Grauges Pous,
G. E. Bruno,
G. De Robertis,
D. Diacono,
G. Donvito,
P. Fusco,
F. Gargano,
F. Giordano,
F. Loddo,
F. Loparco,
G. P. Maggi,
V. Manzari,
M. N. Mazziotta,
E. Nappi,
A. Palano,
B. Santeramo,
I. Sgura,
L. Silvestris
, et al. (384 additional authors not shown)
Abstract:
In this Technical Design Report (TDR) we describe the SuperB detector that was to be installed on the SuperB e+e- high luminosity collider. The SuperB asymmetric collider, which was to be constructed on the Tor Vergata campus near the INFN Frascati National Laboratory, was designed to operate both at the Upsilon(4S) center-of-mass energy with a luminosity of 10^{36} cm^{-2}s^{-1} and at the tau/ch…
▽ More
In this Technical Design Report (TDR) we describe the SuperB detector that was to be installed on the SuperB e+e- high luminosity collider. The SuperB asymmetric collider, which was to be constructed on the Tor Vergata campus near the INFN Frascati National Laboratory, was designed to operate both at the Upsilon(4S) center-of-mass energy with a luminosity of 10^{36} cm^{-2}s^{-1} and at the tau/charm production threshold with a luminosity of 10^{35} cm^{-2}s^{-1}. This high luminosity, producing a data sample about a factor 100 larger than present B Factories, would allow investigation of new physics effects in rare decays, CP Violation and Lepton Flavour Violation. This document details the detector design presented in the Conceptual Design Report (CDR) in 2007. The R&D and engineering studies performed to arrive at the full detector design are described, and an updated cost estimate is presented.
A combination of a more realistic cost estimates and the unavailability of funds due of the global economic climate led to a formal cancelation of the project on Nov 27, 2012.
△ Less
Submitted 24 June, 2013;
originally announced June 2013.
-
Designing Run-Time Environments to Have Predefined Global Dynamics
Authors:
Massimo Monti,
Pierre Imai,
Christian Tschudin
Abstract:
The stability and the predictability of a computer network algorithm's performance are as important as the main functional purpose of networking software. However, asserting or deriving such properties from the finite state machine implementations of protocols is hard and, except for singular cases like TCP, is not done today. In this paper, we propose to design and study run-time environments for…
▽ More
The stability and the predictability of a computer network algorithm's performance are as important as the main functional purpose of networking software. However, asserting or deriving such properties from the finite state machine implementations of protocols is hard and, except for singular cases like TCP, is not done today. In this paper, we propose to design and study run-time environments for networking protocols which inherently enforce desirable, predictable global dynamics. To this end we merge two complementary design approaches: (i) A design-time and bottom up approach that enables us to engineer algorithms based on an analyzable (reaction) flow model. (ii) A run-time and top-down approach based on an autonomous stack composition framework, which switches among implementation alternatives to find optimal operation configurations. We demonstrate the feasibility of our self-optimizing system in both simulations and real-world Internet setups.
△ Less
Submitted 6 June, 2013;
originally announced June 2013.