-
Experimental Observation of Earth's Rotation with Quantum Entanglement
Authors:
Raffaele Silvestri,
Haocun Yu,
Teodor Stromberg,
Christopher Hilweg,
Robert W. Peterson,
Philip Walther
Abstract:
Precision interferometry with quantum states has emerged as an essential tool for experimentally answering fundamental questions in physics. Optical quantum interferometers are of particular interest due to mature methods for generating and manipulating quantum states of light. The increased sensitivity offered by these states promises to enable quantum phenomena, such as entanglement, to be teste…
▽ More
Precision interferometry with quantum states has emerged as an essential tool for experimentally answering fundamental questions in physics. Optical quantum interferometers are of particular interest due to mature methods for generating and manipulating quantum states of light. The increased sensitivity offered by these states promises to enable quantum phenomena, such as entanglement, to be tested in unprecedented regimes where tiny effects due to gravity come into play. However, this requires long and decoherence-free processing of quantum entanglement, which has not yet been explored for large interferometric areas. Here we present a table-top experiment using maximally path-entangled quantum states of light in an interferometer with an area of 715 m$^{2}$, sensitive enough to measure the rotation rate of Earth. A rotatable setup and an active area switching technique allow us to control the coupling of Earth's rotation to an entangled pair of single photons. The achieved sensitivity of 5 $μ$rad/s constitutes the highest rotation resolution ever achieved with optical quantum interferometers, surpassing previous work by three orders of magnitude. Our result demonstrates the feasibility of extending the utilization of maximally entangled quantum states to large-scale interferometers. Further improvements to our methodology will enable measurements of general-relativistic effects on entangled photons opening the way to further enhance the precision of fundamental measurements to explore the interplay between quantum mechanics and general relativity along with searches for new physics.
△ Less
Submitted 25 October, 2023;
originally announced October 2023.
-
Assessing the Importance of Frequency versus Compositionality for Subword-based Tokenization in NMT
Authors:
Benoist Wolleb,
Romain Silvestri,
Giorgos Vernikos,
Ljiljana Dolamic,
Andrei Popescu-Belis
Abstract:
Subword tokenization is the de facto standard for tokenization in neural language models and machine translation systems. Three advantages are frequently cited in favor of subwords: shorter encoding of frequent tokens, compositionality of subwords, and ability to deal with unknown words. As their relative importance is not entirely clear yet, we propose a tokenization approach that enables us to s…
▽ More
Subword tokenization is the de facto standard for tokenization in neural language models and machine translation systems. Three advantages are frequently cited in favor of subwords: shorter encoding of frequent tokens, compositionality of subwords, and ability to deal with unknown words. As their relative importance is not entirely clear yet, we propose a tokenization approach that enables us to separate frequency (the first advantage) from compositionality. The approach uses Huffman coding to tokenize words, by order of frequency, using a fixed amount of symbols. Experiments with CS-DE, EN-FR and EN-DE NMT show that frequency alone accounts for 90%-95% of the scores reached by BPE, hence compositionality has less importance than previously thought.
△ Less
Submitted 12 January, 2024; v1 submitted 2 June, 2023;
originally announced June 2023.
-
Experimental multiphase estimation on a chip
Authors:
Emanuele Polino,
Martina Riva,
Mauro Valeri,
Raffaele Silvestri,
Giacomo Corrielli,
Andrea Crespi,
Nicolò Spagnolo,
Roberto Osellame,
Fabio Sciarrino
Abstract:
Multiparameter estimation is a general problem that aims at measuring unknown physical quantities, obtaining high precision in the process. In this context, the adoption of quantum resources promises a substantial boost in the achievable performances with respect to the classical case. However, several open problems remain to be addressed in the multiparameter scenario. A crucial requirement is th…
▽ More
Multiparameter estimation is a general problem that aims at measuring unknown physical quantities, obtaining high precision in the process. In this context, the adoption of quantum resources promises a substantial boost in the achievable performances with respect to the classical case. However, several open problems remain to be addressed in the multiparameter scenario. A crucial requirement is the identification of suitable platforms to develop and experimentally test novel efficient methodologies that can be employed in this general framework. We report the experimental implementation of a reconfigurable integrated multimode interferometer designed for the simultaneous estimation of two optical phases. We verify the high-fidelity operation of the implemented device, and demonstrate quantum-enhanced performances in two-phase estimation with respect to the best classical case, post-selected to the number of detected coincidences. This device can be employed to test general adaptive multiphase protocols due to its high reconfigurability level, and represents a powerful platform to investigate the multiparameter estimation scenario.
△ Less
Submitted 29 April, 2019;
originally announced April 2019.
-
Plurality Consensus in the Gossip Model
Authors:
L. Becchetti,
A. Clementi,
E. Natale,
F. Pasquale,
R. Silvestri
Abstract:
We study Plurality Consensus in the Gossip Model over a network of $n$ anonymous agents. Each agent supports an initial opinion or color. We assume that at the onset, the number of agents supporting the plurality color exceeds that of the agents supporting any other color by a sufficiently-large bias. The goal is to provide a protocol that, with high probability, brings the system into the configu…
▽ More
We study Plurality Consensus in the Gossip Model over a network of $n$ anonymous agents. Each agent supports an initial opinion or color. We assume that at the onset, the number of agents supporting the plurality color exceeds that of the agents supporting any other color by a sufficiently-large bias. The goal is to provide a protocol that, with high probability, brings the system into the configuration in which all agents support the (initial) plurality color. We consider the Undecided-State Dynamics, a well-known protocol which uses just one more state (the undecided one) than those necessary to store colors. We show that the speed of convergence of this protocol depends on the initial color configuration as a whole, not just on the gap between the plurality and the second largest color community. This dependence is best captured by a novel notion we introduce, namely, the monochromatic distance ${md}(\bar{\mathbf{c}})$ which measures the distance of the initial color configuration $\bar{ \mathbf {c}}$ from the closest monochromatic one. In the complete graph, we prove that, for a wide range of the input parameters, this dynamics converges within $O({md}(\bar {\mathbf {c}}) \log {n})$ rounds. We prove that this upper bound is almost tight in the strong sense: Starting from any color configuration $\bar {\mathbf {c}}$, the convergence time is $Ω({md}(\bar {\mathbf {c}}))$. Finally, we adapt the Undecided-State Dynamics to obtain a fast, random walk-based protocol for plurality consensus on regular expanders. This protocol converges in $O({md}(\bar {\mathbf {c}}) \mathrm{polylog}(n))$ rounds using only $\mathrm{polylog}(n)$ local memory. A key-ingredient to achieve the above bounds is a new analysis of the maximum node congestion that results from performing $n$ parallel random walks on regular expanders. All our bounds hold with high probability.
△ Less
Submitted 10 July, 2014; v1 submitted 9 July, 2014;
originally announced July 2014.
-
Simple Dynamics for Plurality Consensus
Authors:
Luca Becchetti,
Andrea Clementi,
Emanuele Natale,
Francesco Pasquale,
Riccardo Silvestri,
Luca Trevisan
Abstract:
We study a \emph{Plurality-Consensus} process in which each of $n$ anonymous agents of a communication network initially supports an opinion (a color chosen from a finite set $[k]$). Then, in every (synchronous) round, each agent can revise his color according to the opinions currently held by a random sample of his neighbors. It is assumed that the initial color configuration exhibits a sufficien…
▽ More
We study a \emph{Plurality-Consensus} process in which each of $n$ anonymous agents of a communication network initially supports an opinion (a color chosen from a finite set $[k]$). Then, in every (synchronous) round, each agent can revise his color according to the opinions currently held by a random sample of his neighbors. It is assumed that the initial color configuration exhibits a sufficiently large \emph{bias} $s$ towards a fixed plurality color, that is, the number of nodes supporting the plurality color exceeds the number of nodes supporting any other color by $s$ additional nodes. The goal is having the process to converge to the \emph{stable} configuration in which all nodes support the initial plurality. We consider a basic model in which the network is a clique and the update rule (called here the \emph{3-majority dynamics}) of the process is the following: each agent looks at the colors of three random neighbors and then applies the majority rule (breaking ties uniformly).
We prove that the process converges in time $\mathcal{O}( \min\{ k, (n/\log n)^{1/3} \} \, \log n )$ with high probability, provided that $s \geqslant c \sqrt{ \min\{ 2k, (n/\log n)^{1/3} \}\, n \log n}$.
We then prove that our upper bound above is tight as long as $k \leqslant (n/\log n)^{1/4}$. This fact implies an exponential time-gap between the plurality-consensus process and the \emph{median} process studied by Doerr et al. in [ACM SPAA'11].
A natural question is whether looking at more (than three) random neighbors can significantly speed up the process. We provide a negative answer to this question: In particular, we show that samples of polylogarithmic size can speed up the process by a polylogarithmic factor only.
△ Less
Submitted 27 July, 2015; v1 submitted 10 October, 2013;
originally announced October 2013.
-
Distributed Community Detection in Dynamic Graphs
Authors:
Andrea Clementi,
Miriam di Ianni,
Giorgio Gambosi,
Emanuele Natale,
Riccardo Silvestri
Abstract:
Inspired by the increasing interest in self-organizing social opportunistic networks, we investigate the problem of distributed detection of unknown communities in dynamic random graphs. As a formal framework, we consider the dynamic version of the well-studied \emph{Planted Bisection Model} $\sdG(n,p,q)$ where the node set $[n]$ of the network is partitioned into two unknown communities and, at e…
▽ More
Inspired by the increasing interest in self-organizing social opportunistic networks, we investigate the problem of distributed detection of unknown communities in dynamic random graphs. As a formal framework, we consider the dynamic version of the well-studied \emph{Planted Bisection Model} $\sdG(n,p,q)$ where the node set $[n]$ of the network is partitioned into two unknown communities and, at every time step, each possible edge $(u,v)$ is active with probability $p$ if both nodes belong to the same community, while it is active with probability $q$ (with $q<<p$) otherwise. We also consider a time-Markovian generalization of this model.
We propose a distributed protocol based on the popular \emph{Label Propagation Algorithm} and prove that, when the ratio $p/q$ is larger than $n^{b}$ (for an arbitrarily small constant $b>0$), the protocol finds the right "planted" partition in $O(\log n)$ time even when the snapshots of the dynamic graph are sparse and disconnected (i.e. in the case $p=Θ(1/n)$).
△ Less
Submitted 8 June, 2013; v1 submitted 22 February, 2013;
originally announced February 2013.
-
Rumor Spreading in Random Evolving Graphs
Authors:
Andrea Clementi,
Pierluigi Crescenzi,
Carola Doerr,
Pierre Fraigniaud,
Marco Isopi,
Alessandro Panconesi,
Francesco Pasquale,
Riccardo Silvestri
Abstract:
Randomized gossip is one of the most popular way of disseminating information in large scale networks. This method is appreciated for its simplicity, robustness, and efficiency. In the "push" protocol, every informed node selects, at every time step (a.k.a. round), one of its neighboring node uniformly at random and forwards the information to this node. This protocol is known to complete informat…
▽ More
Randomized gossip is one of the most popular way of disseminating information in large scale networks. This method is appreciated for its simplicity, robustness, and efficiency. In the "push" protocol, every informed node selects, at every time step (a.k.a. round), one of its neighboring node uniformly at random and forwards the information to this node. This protocol is known to complete information spreading in $O(\log n)$ time steps with high probability (w.h.p.) in several families of $n$-node "static" networks. The Push protocol has also been empirically shown to perform well in practice, and, specifically, to be robust against dynamic topological changes.
In this paper, we aim at analyzing the Push protocol in "dynamic" networks. We consider the "edge-Markovian" evolving graph model which captures natural temporal dependencies between the structure of the network at time $t$, and the one at time $t+1$. Precisely, a non-edge appears with probability $p$, while an existing edge dies with probability $q$. In order to fit with real-world traces, we mostly concentrate our study on the case where $p=Ω(1/n)$ and $q$ is constant. We prove that, in this realistic scenario, the Push protocol does perform well, completing information spreading in $O(\log n)$ time steps w.h.p. Note that this performance holds even when the network is, w.h.p., disconnected at every time step (e.g., when $p << (\log n) / n$). Our result provides the first formal argument demonstrating the robustness of the Push protocol against network changes. We also address other ranges of parameters $p$ and $q$ (e.g., $p+q=1$ with arbitrary $p$ and $q$, and $p=1/n$ with arbitrary $q$). Although they do not precisely fit with the measures performed on real-world traces, they can be of independent interest for other settings. The results in these cases confirm the positive impact of dynamism.
△ Less
Submitted 15 February, 2013;
originally announced February 2013.
-
Information Spreading in Dynamic Graphs
Authors:
Andrea Clementi,
Riccardo Silvestri,
Luca Trevisan
Abstract:
We present a general approach to study the flooding time (a measure of how fast information spreads) in dynamic graphs (graphs whose topology changes with time according to a random process).
We consider arbitrary converging Markovian dynamic graph process, that is, processes in which the topology of the graph at time $t$ depends only on its topology at time $t-1$ and which have a unique station…
▽ More
We present a general approach to study the flooding time (a measure of how fast information spreads) in dynamic graphs (graphs whose topology changes with time according to a random process).
We consider arbitrary converging Markovian dynamic graph process, that is, processes in which the topology of the graph at time $t$ depends only on its topology at time $t-1$ and which have a unique stationary distribution. The most well studied models of dynamic graphs are all Markovian and converging.
Under general conditions, we bound the flooding time in terms of the mixing time of the dynamic graph process. We recover, as special cases of our result, bounds on the flooding time for the \emph{random trip} model and the \emph{random path} models; previous analysis techniques provided bounds only in restricted settings for such models. Our result also provides the first bound for the \emph{random waypoint} model (which is tight for certain ranges of parameters) whose analysis had been an important open question.
△ Less
Submitted 17 February, 2012; v1 submitted 2 November, 2011;
originally announced November 2011.
-
Flooding Time in Opportunistic Networks under Power Law and Exponential Inter-Contact Times
Authors:
Luca Becchetti,
Andrea Clementi,
Francesco Pasquale,
Giovanni Resta,
Paolo Santi,
Riccardo Silvestri
Abstract:
Performance bounds for opportunistic networks have been derived in a number of recent papers for several key quantities, such as the expected delivery time of a unicast message, or the flooding time (a measure of how fast information spreads). However, to the best of our knowledge, none of the existing results is derived under a mobility model which is able to reproduce the power law+exponential t…
▽ More
Performance bounds for opportunistic networks have been derived in a number of recent papers for several key quantities, such as the expected delivery time of a unicast message, or the flooding time (a measure of how fast information spreads). However, to the best of our knowledge, none of the existing results is derived under a mobility model which is able to reproduce the power law+exponential tail dichotomy of the pairwise node inter-contact time distribution which has been observed in traces of several real opportunistic networks.
The contributions of this paper are two-fold: first, we present a simple pairwise contact model -- called the Home-MEG model -- for opportunistic networks based on the observation made in previous work that pairs of nodes in the network tend to meet in very few, selected locations (home locations); this contact model is shown to be able to faithfully reproduce the power law+exponential tail dichotomy of inter-contact time. Second, we use the Home-MEG model to analyze flooding time in opportunistic networks, presenting asymptotic bounds on flooding time that assume different initial conditions for the existence of opportunistic links.
Finally, our bounds provide some analytical evidences that the speed of information spreading in opportunistic networks can be much faster than that predicted by simple geometric mobility models.
△ Less
Submitted 27 June, 2012; v1 submitted 26 July, 2011;
originally announced July 2011.
-
Information Spreading in Stationary Markovian Evolving Graphs
Authors:
Andrea Clementi,
Angelo Monti,
Francesco Pasquale,
Riccardo Silvestri
Abstract:
Markovian evolving graphs are dynamic-graph models where the links among a fixed set of nodes change during time according to an arbitrary Markovian rule. They are extremely general and they can well describe important dynamic-network scenarios.
We study the speed of information spreading in the "stationary phase" by analyzing the completion time of the "flooding mechanism". We prove a general t…
▽ More
Markovian evolving graphs are dynamic-graph models where the links among a fixed set of nodes change during time according to an arbitrary Markovian rule. They are extremely general and they can well describe important dynamic-network scenarios.
We study the speed of information spreading in the "stationary phase" by analyzing the completion time of the "flooding mechanism". We prove a general theorem that establishes an upper bound on flooding time in any stationary Markovian evolving graph in terms of its node-expansion properties.
We apply our theorem in two natural and relevant cases of such dynamic graphs. "Geometric Markovian evolving graphs" where the Markovian behaviour is yielded by "n" mobile radio stations, with fixed transmission radius, that perform independent random walks over a square region of the plane. "Edge-Markovian evolving graphs" where the probability of existence of any edge at time "t" depends on the existence (or not) of the same edge at time "t-1".
In both cases, the obtained upper bounds hold "with high probability" and they are nearly tight. In fact, they turn out to be tight for a large range of the values of the input parameters. As for geometric Markovian evolving graphs, our result represents the first analytical upper bound for flooding time on a class of concrete mobile networks.
△ Less
Submitted 3 March, 2011;
originally announced March 2011.
-
Parsimonious Flooding in Geometric Random-Walks
Authors:
Andrea Clementi,
Riccardo Silvestri
Abstract:
We study the information spreading yielded by the \emph{(Parsimonious) $1$-Flooding Protocol} in geometric Mobile Ad-Hoc Networks. We consider $n$ agents on a convex plane region of diameter $D$ performing independent random walks with move radius $ρ$. At any time step, every active agent $v$ informs every non-informed agent which is within distance $R$ from $v$ ($R>0$ is the transmission radius).…
▽ More
We study the information spreading yielded by the \emph{(Parsimonious) $1$-Flooding Protocol} in geometric Mobile Ad-Hoc Networks. We consider $n$ agents on a convex plane region of diameter $D$ performing independent random walks with move radius $ρ$. At any time step, every active agent $v$ informs every non-informed agent which is within distance $R$ from $v$ ($R>0$ is the transmission radius). An agent is only active at the time step immediately after the one in which has been informed and, after that, she is removed. At the initial time step, a source agent is informed and we look at the \emph{completion time} of the protocol, i.e., the first time step (if any) in which all agents are informed. This random process is equivalent to the well-known \emph{Susceptible-Infective-Removed ($SIR$}) infection process in Mathematical Epidemiology. No analytical results are available for this random process over any explicit mobility model. The presence of removed agents makes this process much more complex than the (standard) flooding. We prove optimal bounds on the completion time depending on the parameters $n$, $D$, $R$, and $ρ$. The obtained bounds hold with high probability. We remark that our method of analysis provides a clear picture of the dynamic shape of the information spreading (or infection wave) over the time.
△ Less
Submitted 27 January, 2011;
originally announced January 2011.
-
Planck early results. III. First assessment of the Low Frequency Instrument in-flight performance
Authors:
A. Mennella,
M. Bersanelli,
R. C. Butler,
A. Curto,
F. Cuttaia,
R. J. Davis,
J. Dick,
M. Frailis,
S. Galeotta,
A. Gregorio,
H. Kurki-Suonio,
C. R. Lawrence,
S. Leach,
J. P. Leahy,
S. Lowe,
D. Maino,
N. Mandolesi,
M. Maris,
E. Martínez-González,
P. R. Meinhold,
G. Morgante,
D. Pearson,
F. Perrotta,
G. Polenta,
T. Poutanen
, et al. (136 additional authors not shown)
Abstract:
The scientific performance of the Planck Low Frequency Instrument (LFI) after one year of in-orbit operation is presented. We describe the main optical parameters and discuss photometric calibration, white noise sensitivity, and noise properties. A preliminary evaluation of the impact of the main systematic effects is presented. For each of the performance parameters, we outline the methods used t…
▽ More
The scientific performance of the Planck Low Frequency Instrument (LFI) after one year of in-orbit operation is presented. We describe the main optical parameters and discuss photometric calibration, white noise sensitivity, and noise properties. A preliminary evaluation of the impact of the main systematic effects is presented. For each of the performance parameters, we outline the methods used to obtain them from the flight data and provide a comparison with pre-launch ground assessments, which are essentially confirmed in flight.
△ Less
Submitted 19 December, 2011; v1 submitted 11 January, 2011;
originally announced January 2011.
-
Planck pre-launch status: calibration of the Low Frequency Instrument flight model radiometers
Authors:
F. Villa,
L. Terenzi,
M. Sandri,
P. Meinhold,
T. Poutanen,
P. Battaglia,
C. Franceschet,
N. Hughes,
M. Laaninen,
P. Lapolla,
M. Bersanelli,
R. C. Butler,
F. Cuttaia,
O. D'Arcangelo,
M. Frailis,
E. Franceschi,
S. Galeotta,
A. Gregorio,
R. Leonardi,
S. R. Lowe,
N. Mandolesi,
M. Maris,
L. Mendes,
A. Mennella,
G. Morgante
, et al. (49 additional authors not shown)
Abstract:
The Low Frequency Instrument (LFI) on-board the ESA Planck satellite carries eleven radiometer subsystems, called Radiometer Chain Assemblies (RCAs), each composed of a pair of pseudo-correlation receivers. We describe the on-ground calibration campaign performed to qualify the flight model RCAs and to measure their pre-launch performances. Each RCA was calibrated in a dedicated flight-like cryoge…
▽ More
The Low Frequency Instrument (LFI) on-board the ESA Planck satellite carries eleven radiometer subsystems, called Radiometer Chain Assemblies (RCAs), each composed of a pair of pseudo-correlation receivers. We describe the on-ground calibration campaign performed to qualify the flight model RCAs and to measure their pre-launch performances. Each RCA was calibrated in a dedicated flight-like cryogenic environment with the radiometer front-end cooled to 20K and the back-end at 300K, and with an external input load cooled to 4K. A matched load simulating a blackbody at different temperatures was placed in front of the sky horn to derive basic radiometer properties such as noise temperature, gain, and noise performance, e.g. 1/f noise. The spectral response of each detector was measured as was their susceptibility to thermal variation. All eleven LFI RCAs were calibrated. Instrumental parameters measured in these tests, such as noise temperature, bandwidth, radiometer isolation, and linearity, provide essential inputs to the Planck-LFI data analysis.
△ Less
Submitted 14 May, 2010;
originally announced May 2010.
-
Fast Flooding over Manhattan
Authors:
Andrea Clementi,
Angelo Monti,
Riccardo Silvestri
Abstract:
We consider a Mobile Ad-hoc NETwork (MANET) formed by n agents that move at speed V according to the Manhattan Random-Way Point model over a square region of side length L. The resulting stationary (agent) spatial probability distribution is far to be uniform: the average density over the "central zone" is asymptotically higher than that over the "suburb". Agents exchange data iff they are at di…
▽ More
We consider a Mobile Ad-hoc NETwork (MANET) formed by n agents that move at speed V according to the Manhattan Random-Way Point model over a square region of side length L. The resulting stationary (agent) spatial probability distribution is far to be uniform: the average density over the "central zone" is asymptotically higher than that over the "suburb". Agents exchange data iff they are at distance at most R within each other.
We study the flooding time of this MANET: the number of time steps required to broadcast a message from one source agent to all agents of the network in the stationary phase. We prove the first asymptotical upper bound on the flooding time. This bound holds with high probability, it is a decreasing function of R and V, and it is tight for a wide and relevant range of the network parameters (i.e. L, R and V).
A consequence of our result is that flooding over the sparse and highly-disconnected suburb can be as fast as flooding over the dense and connected central zone. Rather surprisingly, this property holds even when R is exponentially below the connectivity threshold of the MANET and the speed V is very low.
△ Less
Submitted 19 February, 2010;
originally announced February 2010.
-
Modelling Mobility: A Discrete Revolution
Authors:
Andrea Clementi,
Angelo Monti,
Riccardo Silvestri
Abstract:
We introduce a new approach to model and analyze \emph{Mobility}. It is fully based on discrete mathematics and yields a class of mobility models, called the \emph{Markov Trace} Model. This model can be seen as the discrete version of the \emph{Random Trip} Model including all variants of the \emph{Random Way-Point} Model \cite{L06}.
We derive fundamental properties and \emph{explicit} analyti…
▽ More
We introduce a new approach to model and analyze \emph{Mobility}. It is fully based on discrete mathematics and yields a class of mobility models, called the \emph{Markov Trace} Model. This model can be seen as the discrete version of the \emph{Random Trip} Model including all variants of the \emph{Random Way-Point} Model \cite{L06}.
We derive fundamental properties and \emph{explicit} analytical formulas for the \emph{stationary distributions} yielded by the Markov Trace Model. Such results can be exploited to compute formulas and properties for concrete cases of the Markov Trace Model by just applying counting arguments.
We apply the above general results to the discrete version of the \emph{Manhattan Random Way-Point} over a square of bounded size.
We get formulas for the total stationary distribution and for two important \emph{conditional} ones: the agent spatial and destination distributions. Our method makes the analysis of complex mobile systems a feasible task.
As a further evidence of this important fact, we first model a complex vehicular-mobile system over a set of crossing streets. Several concrete issues are implemented such as parking zones, traffic lights, and variable vehicle speeds. By using a \emph{modular} version of the Markov Trace Model, we get explicit formulas for the stationary distributions yielded by this vehicular-mobile model as well.
△ Less
Submitted 4 February, 2010;
originally announced February 2010.
-
Thermal susceptibility of the Planck-LFI receivers
Authors:
L Terenzi,
M J Salmon,
A Colin,
A Mennella,
G Morgante,
M Tomasi,
P Battaglia,
M Lapolla,
M Bersanelli,
R C Butler,
F Cuttaia,
O D'Arcangelo,
R Davis,
C Franceschet,
S Galeotta,
A Gregorio,
N Hughes,
P Jukkala,
D Kettle,
M Laaninen,
P Leutenegger,
R Leonardi,
N Mandolesi,
M Maris,
P Meinhold
, et al. (11 additional authors not shown)
Abstract:
This paper is part of the Prelaunch status LFI papers published on JINST: http://www.iop.org/EJ/journal/-page=extra.proc5/**st .
This paper describes the impact of the Planck Low Frequency Instrument front end physical temperature fluctuations on the output signal. The origin of thermal instabilities in the instrument are discussed, and an analytical model of their propagation and impact on t…
▽ More
This paper is part of the Prelaunch status LFI papers published on JINST: http://www.iop.org/EJ/journal/-page=extra.proc5/**st .
This paper describes the impact of the Planck Low Frequency Instrument front end physical temperature fluctuations on the output signal. The origin of thermal instabilities in the instrument are discussed, and an analytical model of their propagation and impact on the receivers signal is described. The experimental test setup dedicated to evaluate these effects during the instrument ground calibration is reported together with data analysis methods. Finally, main results obtained are discussed and compared to the requirements.
△ Less
Submitted 26 January, 2010;
originally announced January 2010.
-
Planck-LFI radiometers tuning
Authors:
Francesco Cuttaia,
Aniello Mennella,
Luca Stringhetti,
Michele Maris,
Luca Terenzi,
Maurizio Tomasi,
Fabrizio Villa,
Marco Bersanelli,
Christopher Reginald Butler,
Benedetta Cappellini,
Leticia Perez Cuevas,
Ocleto D'Arcangelo,
Richard Davis,
Marco Frailis,
Cristian Franceschet,
Enrico Franceschi,
Anna Gregorio,
Roger Hoyland,
Rodrigo Leonardi,
Stuart Lowe,
Nazzareno Mandolesi,
Peter Meinhold,
Luis Mendes,
Neil Roddis,
Maura Sandri
, et al. (11 additional authors not shown)
Abstract:
"This paper is part of the Prelaunch status LFI papers published on JINST: http://www.iop.org/EJ/journal/-page=extra.proc5/**st"
This paper describes the Planck Low Frequency Instrument tuning activities performed through the ground test campaigns, from Unit to Satellite Levels. Tuning is key to achieve the best possible instrument performance and tuning parameters strongly depend on thermal…
▽ More
"This paper is part of the Prelaunch status LFI papers published on JINST: http://www.iop.org/EJ/journal/-page=extra.proc5/**st"
This paper describes the Planck Low Frequency Instrument tuning activities performed through the ground test campaigns, from Unit to Satellite Levels. Tuning is key to achieve the best possible instrument performance and tuning parameters strongly depend on thermal and electrical conditions. For this reason tuning has been repeated several times during ground tests and it has been repeated in flight before starting nominal operations. The paper discusses the tuning philosophy, the activities and the obtained results, highlighting developments and changes occurred during test campaigns. The paper concludes with an overview of tuning performed during the satellite cryogenic test campaign (Summer 2008) and of the plans for the just started in-flight calibration.
△ Less
Submitted 26 January, 2010;
originally announced January 2010.
-
Cryogenic environment and performance for testing the Planck radiometers
Authors:
L. Terenzi,
M. Lapolla,
M. Laaninen,
P. Battaglia,
F. Cavaliere,
A. De Rosa,
N. Hughes,
P. Jukkala,
V. -H. Kilpiä,
G. Morgante,
M. Tomasi,
J. Varis,
M. Bersanelli,
R. C. Butler,
F. Ferrari,
C. Franceschet,
P. Leutenegger,
N. Mandolesi,
A. Mennella,
R. Silvestri,
L. Stringhetti,
J. Tuovinen,
L. Valenziano,
F. Villa
Abstract:
This paper is part of the Prelaunch status LFI papers published on JINST: http://www.iop.org/EJ/journal/-page=extra.proc5/**st
The Planck LFI Radiometer Chain Assemblies (RCAs) have been calibrated in two dedicated cryogenic facilities. In this paper the facilities and the related instrumentation are described. The main satellite thermal interfaces for the single chains have to be reproduced…
▽ More
This paper is part of the Prelaunch status LFI papers published on JINST: http://www.iop.org/EJ/journal/-page=extra.proc5/**st
The Planck LFI Radiometer Chain Assemblies (RCAs) have been calibrated in two dedicated cryogenic facilities. In this paper the facilities and the related instrumentation are described. The main satellite thermal interfaces for the single chains have to be reproduced and stability requirements have to be satisfied. Setup design, problems occurred and improving solutions implemented are discussed. Performance of the cryogenic setup are reported.
△ Less
Submitted 26 January, 2010;
originally announced January 2010.
-
The linearity response of the Planck-LFI flight model receivers
Authors:
A. Mennella,
F. Villa,
L. Terenzi,
F. Cuttaia,
P. Battaglia,
M. Bersanelli,
R. C. Butler,
O. D'Arcangelo,
E. Artal,
R. Davis,
M. Frailis,
C. Franceschet,
S. Galeotta,
A. Gregorio,
N. Hughes,
P. Jukkala,
D. Kettle,
V. -H. Kilpiä,
M. Laaninen,
P. M. Lapolla,
R. Leonardi,
P. Leutenegger,
S. Lowe,
N. Mandolesi,
M. Maris
, et al. (15 additional authors not shown)
Abstract:
In this paper we discuss the linearity response of the Planck-LFI receivers, with particular reference to signal compression measured on the 30 and 44 GHz channels. In the article we discuss the various sources of compression and present a model that accurately describes data measured during tests performed with individual radiomeric chains. After discussing test results we present the best para…
▽ More
In this paper we discuss the linearity response of the Planck-LFI receivers, with particular reference to signal compression measured on the 30 and 44 GHz channels. In the article we discuss the various sources of compression and present a model that accurately describes data measured during tests performed with individual radiomeric chains. After discussing test results we present the best parameter set representing the receiver response and discuss the impact of non linearity on in-flight calibration, which is shown to be negligible.
△ Less
Submitted 26 January, 2010;
originally announced January 2010.
-
Planck-LFI radiometers' spectral response
Authors:
A Zonca,
C Franceschet,
P Battaglia,
F Villa,
A Mennella,
O D'Arcangelo,
R Silvestri,
M Bersanelli,
E Artal,
R C Butler,
F Cuttaia,
R J Davis,
S Galeotta,
N Hughes,
P Jukkala,
V-H Kilpia,
M Laaninen,
N Mandolesi,
M Maris,
L Mendes,
M Sandri,
L Terenzi,
J Tuovinen,
J Varis,
A Wilkinson
Abstract:
The Low Frequency Instrument (LFI) is an array of pseudo-correlation radiometers on board the Planck satellite, the ESA mission dedicated to precision measurements of the Cosmic Microwave Background. The LFI covers three bands centred at 30, 44 and 70 GHz, with a goal bandwidth of 20% of the central frequency.
The characterization of the broadband frequency response of each radiometer is neces…
▽ More
The Low Frequency Instrument (LFI) is an array of pseudo-correlation radiometers on board the Planck satellite, the ESA mission dedicated to precision measurements of the Cosmic Microwave Background. The LFI covers three bands centred at 30, 44 and 70 GHz, with a goal bandwidth of 20% of the central frequency.
The characterization of the broadband frequency response of each radiometer is necessary to understand and correct for systematic effects, particularly those related to foreground residuals and polarization measurements. In this paper we present the measured band shape of all the LFI channels and discuss the methods adopted for their estimation. The spectral characterization of each radiometer was obtained by combining the measured spectral response of individual units through a dedicated RF model of the LFI receiver scheme.
As a consistency check, we also attempted end-to-end spectral measurements of the integrated radiometer chain in a cryogenic chamber. However, due to systematic effects in the measurement setup, only qualitative results were obtained from these tests. The measured LFI bandpasses exhibit a moderate level of ripple, compatible with the instrument scientific requirements.
△ Less
Submitted 26 January, 2010;
originally announced January 2010.
-
Planck pre-launch status: Low Frequency Instrument calibration and expected scientific performance
Authors:
A. Mennella,
M. Bersanelli,
R. C. Butler,
F. Cuttaia,
O. D'Arcangelo,
R. J. Davis,
M. Frailis,
S. Galeotta,
A. Gregorio,
C. R. Lawrence,
R. Leonardi,
S. R. Lowe,
N. Mandolesi,
M. Maris,
P. Meinhold,
L. Mendes,
G. Morgante,
M. Sandri,
L. Stringhetti,
L. Terenzi,
M. Tomasi,
L. Valenziano,
F. Villa,
A. Zacchei,
A. Zonca
, et al. (61 additional authors not shown)
Abstract:
We give the calibration and scientific performance parameters of the Planck Low Frequency Instrument (LFI) measured during the ground cryogenic test campaign. These parameters characterise the instrument response and constitute our best pre-launch knowledge of the LFI scientific performance. The LFI shows excellent $1/f$ stability and rejection of instrumental systematic effects; measured noise…
▽ More
We give the calibration and scientific performance parameters of the Planck Low Frequency Instrument (LFI) measured during the ground cryogenic test campaign. These parameters characterise the instrument response and constitute our best pre-launch knowledge of the LFI scientific performance. The LFI shows excellent $1/f$ stability and rejection of instrumental systematic effects; measured noise performance shows that LFI is the most sensitive instrument of its kind. The set of measured calibration parameters will be updated during flight operations through the end of the mission.
△ Less
Submitted 25 January, 2010;
originally announced January 2010.
-
Planck pre-launch status: Design and description of the Low Frequency Instrument
Authors:
M. Bersanelli,
N. Mandolesi,
R. C. Butler,
A. Mennella,
F. Villa,
B. Aja,
E. Artal,
E. Artina,
C. Baccigalupi,
M. Balasini,
G. Baldan,
A. Banday,
P. Bastia,
P. Battaglia,
T. Bernardino,
E. Blackhurst,
L. Boschini,
C. Burigana,
G. Cafagna,
B. Cappellini,
F. Cavaliere,
F. Colombo,
G. Crone,
F. Cuttaia,
O. D'Arcangelo
, et al. (87 additional authors not shown)
Abstract:
In this paper we present the Low Frequency Instrument (LFI), designed and developed as part of the Planck space mission, the ESA program dedicated to precision imaging of the cosmic microwave background (CMB). Planck-LFI will observe the full sky in intensity and polarisation in three frequency bands centred at 30, 44 and 70 GHz, while higher frequencies (100-850 GHz) will be covered by the HFI…
▽ More
In this paper we present the Low Frequency Instrument (LFI), designed and developed as part of the Planck space mission, the ESA program dedicated to precision imaging of the cosmic microwave background (CMB). Planck-LFI will observe the full sky in intensity and polarisation in three frequency bands centred at 30, 44 and 70 GHz, while higher frequencies (100-850 GHz) will be covered by the HFI instrument. The LFI is an array of microwave radiometers based on state-of-the-art Indium Phosphide cryogenic HEMT amplifiers implemented in a differential system using blackbody loads as reference signals. The front-end is cooled to 20K for optimal sensitivity and the reference loads are cooled to 4K to minimise low frequency noise. We provide an overview of the LFI, discuss the leading scientific requirements and describe the design solutions adopted for the various hardware subsystems. The main drivers of the radiometric, optical and thermal design are discussed, including the stringent requirements on sensitivity, stability, and rejection of systematic effects. Further details on the key instrument units and the results of ground calibration are provided in a set of companion papers.
△ Less
Submitted 19 January, 2010;
originally announced January 2010.
-
Spectroscopy of Neutron-Rich 168,170Dy: Yrast Band Evolution Close to the NpNn Valence Maximum
Authors:
P. -A. Söderström,
J. Nyberg,
P. H. Regan,
A. Algora,
G. de Angelis,
S. F. Ashley,
S. Aydin,
D. Bazzacco,
R. J. Casperson,
W. N. Catford,
J. Cederkäll,
R. Chapman,
L. Corradi,
C. Fahlander,
E. Farnea,
E. Fioretto,
S. J. Freeman,
A. Gadea,
W. Gelletly,
A. Gottardo,
E. Grodner,
C. Y. He,
G. A. Jones,
K. Keyes,
M. Labiche
, et al. (30 additional authors not shown)
Abstract:
The yrast sequence of the neutron-rich dysprosium isotope 168Dy has been studied using multi-nucleon transfer reactions following collisions between a 460-MeV 82Se beam and a 170Er target. The reaction products were identified using the PRISMA magnetic spectrometer and the gamma rays detected using the CLARA HPGe-detector array. The 2+ and 4+ members of the previously measured ground state rotat…
▽ More
The yrast sequence of the neutron-rich dysprosium isotope 168Dy has been studied using multi-nucleon transfer reactions following collisions between a 460-MeV 82Se beam and a 170Er target. The reaction products were identified using the PRISMA magnetic spectrometer and the gamma rays detected using the CLARA HPGe-detector array. The 2+ and 4+ members of the previously measured ground state rotational band of 168Dy have been confirmed and the yrast band extended up to 10+. A tentative candidate for the 4+ to 2+ transition in 170Dy was also identified. The data on these nuclei and on the lighter even-even dysprosium isotopes are interpreted in terms of Total Routhian Surface calculations and the evolution of collectivity in the vicinity of the proton-neutron valence product maximum is discussed.
△ Less
Submitted 22 December, 2009; v1 submitted 26 September, 2009;
originally announced September 2009.
-
MANETS: High mobility can make up for low transmission power
Authors:
Andrea E. F. Clementi,
Francesco Pasquale,
Riccardo Silvestri
Abstract:
We consider a Mobile Ad-hoc NETworks (MANET) formed by "n" nodes that move independently at random over a finite square region of the plane. Nodes exchange data if they are at distance at most "r" within each other, where r>0 is the node transmission radius. The "flooding time" is the number of time steps required to broadcast a message from a source node to every node of the network. Flooding t…
▽ More
We consider a Mobile Ad-hoc NETworks (MANET) formed by "n" nodes that move independently at random over a finite square region of the plane. Nodes exchange data if they are at distance at most "r" within each other, where r>0 is the node transmission radius. The "flooding time" is the number of time steps required to broadcast a message from a source node to every node of the network. Flooding time is an important measure of the speed of information spreading in dynamic networks.
We derive a nearly-tight upper bound on the flooding time which is a decreasing function of the maximal "velocity" of the nodes. It turns out that, when the node velocity is sufficiently high, even if the node transmission radius "r" is far below the "connectivity threshold", the flooding time does not asymptotically depend on "r". This implies that flooding can be very fast even though every "snapshot" (i.e. the static random geometric graph at any fixed time) of the MANET is fully disconnected. Data reach all nodes quickly despite these ones use very low transmission power.
Our result is the first analytical evidence of the fact that high, random node mobility strongly speed-up information spreading and, at the same time, let nodes save energy.
△ Less
Submitted 3 March, 2009;
originally announced March 2009.
-
Minimum-energy broadcast in random-grid ad-hoc networks: approximation and distributed algorithms
Authors:
Tiziana Calamoneri,
Andrea E. F. Clementi,
Angelo Monti,
Gianluca Rossi,
Riccardo Silvestri
Abstract:
The Min Energy broadcast problem consists in assigning transmission ranges to the nodes of an ad-hoc network in order to guarantee a directed spanning tree from a given source node and, at the same time, to minimize the energy consumption (i.e. the energy cost) yielded by the range assignment. Min energy broadcast is known to be NP-hard.
We consider random-grid networks where nodes are chosen…
▽ More
The Min Energy broadcast problem consists in assigning transmission ranges to the nodes of an ad-hoc network in order to guarantee a directed spanning tree from a given source node and, at the same time, to minimize the energy consumption (i.e. the energy cost) yielded by the range assignment. Min energy broadcast is known to be NP-hard.
We consider random-grid networks where nodes are chosen independently at random from the $n$ points of a $\sqrt n \times \sqrt n$ square grid in the plane. The probability of the existence of a node at a given point of the grid does depend on that point, that is, the probability distribution can be non-uniform.
By using information-theoretic arguments, we prove a lower bound $(1-ε) \frac nπ$ on the energy cost of any feasible solution for this problem. Then, we provide an efficient solution of energy cost not larger than $1.1204 \frac nπ$.
Finally, we present a fully-distributed protocol that constructs a broadcast range assignment of energy cost not larger than $8n$,thus still yielding constant approximation. The energy load is well balanced and, at the same time, the work complexity (i.e. the energy due to all message transmissions of the protocol) is asymptotically optimal. The completion time of the protocol is only an $O(\log n)$ factor slower than the optimum. The approximation quality of our distributed solution is also experimentally evaluated.
All bounds hold with probability at least $1-1/n^{Θ(1)}$.
△ Less
Submitted 24 April, 2008;
originally announced April 2008.
-
Multiplicity Studies and Effective Energy in ALICE at the LHC
Authors:
A. Akindinov,
A. Alici,
P. Antonioli,
S. Arcelli,
M. Basile,
G. Cara Romeo,
M. Chumakov,
L. Cifarelli,
F. Cindolo,
A. De Caro,
D. De Gruttola,
S. De Pasquale,
M. Fusco Girard,
C. Guarnaccia,
D. Hatzifotiadou,
H. T. Jung,
W. W. Jung,
D. W. Kim,
H. N. Kim,
J. S. Kim,
S. Kiselev,
G. Laurenti,
K. Lee,
S. C. Lee,
E. Lioublev
, et al. (20 additional authors not shown)
Abstract:
In this work we explore the possibility to perform ``effective energy'' studies in very high energy collisions at the CERN Large Hadron Collider (LHC). In particular, we focus on the possibility to measure in $pp$ collisions the average charged multiplicity as a function of the effective energy with the ALICE experiment, using its capability to measure the energy of the leading baryons with the…
▽ More
In this work we explore the possibility to perform ``effective energy'' studies in very high energy collisions at the CERN Large Hadron Collider (LHC). In particular, we focus on the possibility to measure in $pp$ collisions the average charged multiplicity as a function of the effective energy with the ALICE experiment, using its capability to measure the energy of the leading baryons with the Zero Degree Calorimeters. Analyses of this kind have been done at lower centre--of--mass energies and have shown that, once the appropriate kinematic variables are chosen, particle production is characterized by universal properties: no matter the nature of the interacting particles, the final states have identical features. Assuming that this universality picture can be extended to {\it ion--ion} collisions, as suggested by recent results from RHIC experiments, a novel approach based on the scaling hypothesis for limiting fragmentation has been used to derive the expected charged event multiplicity in $AA$ interactions at LHC. This leads to scenarios where the multiplicity is significantly lower compared to most of the predictions from the models currently used to describe high energy $AA$ collisions. A mean charged multiplicity of about 1000-2000 per rapidity unit (at $η\sim 0$) is expected for the most central $Pb-Pb$ collisions at $\sqrt{s_{NN}} = 5.5 TeV$.
△ Less
Submitted 11 September, 2007;
originally announced September 2007.
-
On the Importance of Having an Identity or, is Consensus really Universal?
Authors:
Harry Buhrman,
Alessandro Panconesi,
Riccardo Silvestri,
Paul Vitanyi
Abstract:
We show that Naming-- the existence of distinct IDs known to all-- is a hidden but necessary assumption of Herlihy's universality result for Consensus. We then show in a very precise sense that Naming is harder than Consensus and bring to the surface some important differences existing between popular shared memory models.
We show that Naming-- the existence of distinct IDs known to all-- is a hidden but necessary assumption of Herlihy's universality result for Consensus. We then show in a very precise sense that Naming is harder than Consensus and bring to the surface some important differences existing between popular shared memory models.
△ Less
Submitted 4 February, 2002; v1 submitted 9 January, 2002;
originally announced January 2002.
-
Distributed Broadcast in Wireless Networks with Unknown Topology
Authors:
Andrea E. F. Clementi,
Angelo Monti,
Riccardo Silvestri
Abstract:
A multi-hop synchronous wirelss network is said to be unknown if the nodes have no knowledge of the topology. A basic task in wireless network is that of broadcasting a message (created by a fixed source node) to all nodes of the network. The multi-broadcast that consists in performing a set of r independent broadcasts. In this paper, we study the completion and the termination time of distribut…
▽ More
A multi-hop synchronous wirelss network is said to be unknown if the nodes have no knowledge of the topology. A basic task in wireless network is that of broadcasting a message (created by a fixed source node) to all nodes of the network. The multi-broadcast that consists in performing a set of r independent broadcasts. In this paper, we study the completion and the termination time of distributed protocols for both the (single) broadcast and the multi-broadcast operations on unknown networks as functions of the number of nodes n, the maximum eccentricity D, the maximum in-degree Delta, and the congestion c of the networks. We establish new connections between these operations and some combinatorial concepts, such as selective families, strongly-selective families (also known as superimposed codes), and pairwise r-different families. Such connections, combined with a set of new lower and upper bounds on the size of the above families, allow us to derive new lower bounds and new distributed protocols for the broadcast and multi-broadcast operations. In particular, our upper bounds are almost tight and improve exponentially over the previous bounds when D and Delta are polylogarithmic in n. Network topologies having ``small'' eccentricity and ``small'' degree (such as bounded-degree expanders) are often used in practice to achieve efficient communication.
△ Less
Submitted 6 July, 2001;
originally announced July 2001.