Showing 1–50 of 93 results for author: Martinelli, F

First Measurement of the $νにゅー_e$ and $νにゅー_μみゅー$ Interaction Cross Sections at the LHC with FASER's Emulsion Detector

Authors: FASER Collaboration, Roshan Mammen Abraham, John Anders, Claire Antel, Akitaka Ariga, Tomoko Ariga, Jeremy Atkinson, Florian U. Bernlochner, Tobias Boeckh, Jamie Boyd, Lydia Brenner, Angela Burger, Franck Cadoux, Roberto Cardella, David W. Casper, Charlotte Cavanagh, Xin Chen, Andrea Coccaro, Stephane Debieux, Monica D'Onofrio, Ansh Desai, Sergey Dmitrievsky, Sinead Eley, Yannick Favre, Deion Fellers , et al. (80 additional authors not shown)

Abstract: This paper presents the first results of the study of high-energy electron and muon neutrino charged-current interactions in the FASER$νにゅー$ emulsion/tungsten detector of the FASER experiment at the LHC. A subset of the FASER$νにゅー$ volume, which corresponds to a target mass of 128.6~kg, was exposed to neutrinos from the LHC $pp$ collisions with a centre-of-mass energy of 13.6~TeV and an integrated lumin… ▽ More This paper presents the first results of the study of high-energy electron and muon neutrino charged-current interactions in the FASER$νにゅー$ emulsion/tungsten detector of the FASER experiment at the LHC. A subset of the FASER$νにゅー$ volume, which corresponds to a target mass of 128.6~kg, was exposed to neutrinos from the LHC $pp$ collisions with a centre-of-mass energy of 13.6~TeV and an integrated luminosity of 9.5 fb$^{-1}$. Applying stringent selections requiring electrons with reconstructed energy above 200~GeV, four electron neutrino interaction candidate events are observed with an expected background of $0.025^{+0.015}_{-0.010}$, leading to a statistical significance of 5.2$σしぐま$. This is the first direct observation of electron neutrino interactions at a particle collider. Eight muon neutrino interaction candidate events are also detected, with an expected background of $0.22^{+0.09}_{-0.07}$, leading to a statistical significance of 5.7$σしぐま$. The signal events include neutrinos with energies in the TeV range, the highest-energy electron and muon neutrinos ever detected from an artificial source. The energy-independent part of the interaction cross section per nucleon is measured over an energy range of 560--1740 GeV (520--1760 GeV) for $νにゅー_e$ ($νにゅー_μみゅー$) to be $(1.2_{-0.7}^{+0.8}) \times 10^{-38}~\mathrm{cm}^{2}\,\mathrm{GeV}^{-1}$ ($(0.5\pm0.2) \times 10^{-38}~\mathrm{cm}^{2}\,\mathrm{GeV}^{-1}$), consistent with Standard Model predictions. These are the first measurements of neutrino interaction cross sections in those energy ranges. △ Less

Submitted 15 July, 2024; v1 submitted 19 March, 2024; originally announced March 2024.

Journal ref: Phys. Rev. Lett. 133, 021802 (2024)

Neutrino Rate Predictions for FASER

Authors: FASER Collaboration, Roshan Mammen Abraham, John Anders, Claire Antel, Akitaka Ariga, Tomoko Ariga, Jeremy Atkinson, Florian U. Bernlochner, Tobias Boeckh, Jamie Boyd, Lydia Brenner, Angela Burger, Franck Cadoux, Roberto Cardella, David W. Casper, Charlotte Cavanagh, Xin Chen, Andrea Coccaro, Stephane Débieux, Monica D'Onofrio, Ansh Desai, Sergey Dmitrievsky, Sinead Eley, Yannick Favre, Deion Fellers , et al. (75 additional authors not shown)

Abstract: The Forward Search Experiment (FASER) at CERN's Large Hadron Collider (LHC) has recently directly detected the first collider neutrinos. Neutrinos play an important role in all FASER analyses, either as signal or background, and it is therefore essential to understand the neutrino event rates. In this study, we update previous simulations and present prescriptions for theoretical predictions of ne… ▽ More The Forward Search Experiment (FASER) at CERN's Large Hadron Collider (LHC) has recently directly detected the first collider neutrinos. Neutrinos play an important role in all FASER analyses, either as signal or background, and it is therefore essential to understand the neutrino event rates. In this study, we update previous simulations and present prescriptions for theoretical predictions of neutrino fluxes and cross sections, together with their associated uncertainties. With these results, we discuss the potential for possible measurements that could be carried out in the coming years with the FASER neutrino data to be collected in LHC Run 3 and Run 4. △ Less

Submitted 13 June, 2024; v1 submitted 20 February, 2024; originally announced February 2024.

Comments: 19 pages, 10 figures

Radiation Tolerance of SiGe BiCMOS Monolithic Silicon Pixel Detectors without Internal Gain Layer

Authors: M. Milanesio, L. Paolozzi, T. Moretti, R. Cardella, T. Kugathasan, F. Martinelli, A. Picardi, I. Semendyaev, S. Zambito, K. Nakamura, Y. Tabuko, M. Togawa, M. Elviretti, H. Rücker, F. Cadoux, R. Cardarelli, S. Débieux, Y. Favre, C. A. Fenoglio, D. Ferrere, S. Gonzalez-Sevilla, L. Iodice, R. Kotitsa, C. Magliocca, M. Nessi , et al. (5 additional authors not shown)

Abstract: A monolithic silicon pixel prototype produced for the MONOLITH ERC Advanced project was irradiated with 70 MeV protons up to a fluence of 1 x 10^16 1 MeV n_eq/cm^2. The ASIC contains a matrix of hexagonal pixels with 100 μみゅーm pitch, readout by low-noise and very fast SiGe HBT frontend electronics. Wafers with 50 μみゅーm thick epilayer with a resistivity of 350 Ωおーむcm were used to produce a fully depleted se… ▽ More A monolithic silicon pixel prototype produced for the MONOLITH ERC Advanced project was irradiated with 70 MeV protons up to a fluence of 1 x 10^16 1 MeV n_eq/cm^2. The ASIC contains a matrix of hexagonal pixels with 100 μみゅーm pitch, readout by low-noise and very fast SiGe HBT frontend electronics. Wafers with 50 μみゅーm thick epilayer with a resistivity of 350 Ωおーむcm were used to produce a fully depleted sensor. Laboratory tests conducted with a 90Sr source show that the detector works satisfactorily after irradiation. The signal-to-noise ratio is not seen to change up to fluence of 6 x 10^14 n_eq /cm^2 . The signal time jitter was estimated as the ratio between the voltage noise and the signal slope at threshold. At -35 {^\circ}C, sensor bias voltage of 200 V and frontend power consumption of 0.9 W/cm^2, the time jitter of the most-probable signal amplitude was estimated to be 21 ps for proton fluence up to 6 x 10 n_eq/cm^2 and 57 ps at 1 x 10^16 n_eq/cm^2 . Increasing the sensor bias to 250 V and the analog voltage of the preamplifier from 1.8 to 2.0 V provides a time jitter of 40 ps at 1 x 10^16 n_eq/cm^2. △ Less

Submitted 30 October, 2023; originally announced October 2023.

Comments: Submitted to JINST

Linear stability of Poiseuille flow over a steady spanwise Stokes layer

Authors: Daniele Massaro, Fulvio Martinelli, Peter J. Schmid, Maurizio Quadrio

Abstract: The temporal linear stability of plane Poiseuille flow modified by spanwise forcing applied at the walls is considered. The forcing consists of a stationary streamwise distribution of spanwise velocity that generates a steady transversal Stokes layer, known to reduce skin-friction drag in a turbulent flow with little energetic cost. A large numerical study is carried out, where the effects of both… ▽ More The temporal linear stability of plane Poiseuille flow modified by spanwise forcing applied at the walls is considered. The forcing consists of a stationary streamwise distribution of spanwise velocity that generates a steady transversal Stokes layer, known to reduce skin-friction drag in a turbulent flow with little energetic cost. A large numerical study is carried out, where the effects of both the physical and the discretization parameters are thoroughly explored, for three representative subcritical values of the Reynolds number Re. Results show that the spanwise Stokes layer significantly affects the linear stability of the system. For example, at Re=2000 the wall forcing is found to more than double the negative real part of the least-stable eigenvalue, and to decrease by nearly a factor of four the maximum transient growth of perturbation energy. These observations are Re-dependent and further improve at higher $Re$. Comments on the physical implications of the obtained results are provided, suggesting that spanwise forcing might be effective to obtain at the same time a delayed transition to turbulence and a reduced turbulent friction. △ Less

Submitted 22 August, 2023; originally announced August 2023.

Comments: Under consideration by PRF

Expand-and-Cluster: Parameter Recovery of Neural Networks

Authors: Flavio Martinelli, Berfin Simsek, Wulfram Gerstner, Johanni Brea

Abstract: Can we identify the weights of a neural network by probing its input-output mapping? At first glance, this problem seems to have many solutions because of permutation, overparameterisation and activation function symmetries. Yet, we show that the incoming weight vector of each neuron is identifiable up to sign or scaling, depending on the activation function. Our novel method 'Expand-and-Cluster'… ▽ More Can we identify the weights of a neural network by probing its input-output mapping? At first glance, this problem seems to have many solutions because of permutation, overparameterisation and activation function symmetries. Yet, we show that the incoming weight vector of each neuron is identifiable up to sign or scaling, depending on the activation function. Our novel method 'Expand-and-Cluster' can identify layer sizes and weights of a target network for all commonly used activation functions. Expand-and-Cluster consists of two phases: (i) to relax the non-convex optimisation problem, we train multiple overparameterised student networks to best imitate the target function; (ii) to reverse engineer the target network's weights, we employ an ad-hoc clustering procedure that reveals the learnt weight vectors shared between students -- these correspond to the target weight vectors. We demonstrate successful weights and size recovery of trained shallow and deep networks with less than 10\% overhead in the layer size and describe an `ease-of-identifiability' axis by analysing 150 synthetic problems of variable difficulty. △ Less

Submitted 27 June, 2024; v1 submitted 25 April, 2023; originally announced April 2023.

Comments: Accepted paper at ICML '24

First Direct Observation of Collider Neutrinos with FASER at the LHC

Authors: FASER Collaboration, Henso Abreu, John Anders, Claire Antel, Akitaka Ariga, Tomoko Ariga, Jeremy Atkinson, Florian U. Bernlochner, Tobias Blesgen, Tobias Boeckh, Jamie Boyd, Lydia Brenner, Franck Cadoux, David W. Casper, Charlotte Cavanagh, Xin Chen, Andrea Coccaro, Ansh Desai, Sergey Dmitrievsky, Monica D'Onofrio, Yannick Favre, Deion Fellers, Jonathan L. Feng, Carlo Alberto Fenoglio, Didier Ferrere , et al. (63 additional authors not shown)

Abstract: We report the first direct observation of neutrino interactions at a particle collider experiment. Neutrino candidate events are identified in a 13.6 TeV center-of-mass energy $pp$ collision data set of 35.4 fb${}^{-1}$ using the active electronic components of the FASER detector at the Large Hadron Collider. The candidates are required to have a track propagating through the entire length of the… ▽ More We report the first direct observation of neutrino interactions at a particle collider experiment. Neutrino candidate events are identified in a 13.6 TeV center-of-mass energy $pp$ collision data set of 35.4 fb${}^{-1}$ using the active electronic components of the FASER detector at the Large Hadron Collider. The candidates are required to have a track propagating through the entire length of the FASER detector and be consistent with a muon neutrino charged-current interaction. We infer $153^{+12}_{-13}$ neutrino interactions with a significance of 16 standard deviations above the background-only hypothesis. These events are consistent with the characteristics expected from neutrino interactions in terms of secondary particle production and spatial distribution, and they imply the observation of both neutrinos and anti-neutrinos with an incident neutrino energy of significantly above 200 GeV. △ Less

Submitted 21 August, 2023; v1 submitted 24 March, 2023; originally announced March 2023.

Comments: Submitted to PRL on March 24 2023

Report number: CERN-EP-2023-056

Journal ref: Published in: Phys.Rev.Lett. 131 (2023) 3, 031801

20 ps Time Resolution with a Fully-Efficient Monolithic Silicon Pixel Detector without Internal Gain Layer

Authors: S. Zambito, M. Milanesio, T. Moretti, L. Paolozzi, M. Munker, R. Cardella, T. Kugathasan, F. Martinelli, A. Picardi, M. Elviretti, H. Rücker, A. Trusch, F. Cadoux, R. Cardarelli, S. Débieux, Y. Favre, C. A. Fenoglio, D. Ferrere, S. Gonzalez-Sevilla, L. Iodice, R. Kotitsa, C. Magliocca, M. Nessi, A. Pizarro-Medina, J. Sabater Iglesias , et al. (3 additional authors not shown)

Abstract: A second monolithic silicon pixel prototype was produced for the MONOLITH project. The ASIC contains a matrix of hexagonal pixels with 100 μみゅーm pitch, readout by a low-noise and very fast SiGe HBT frontend electronics. Wafers with 50 μみゅーm thick epilayer of 350 Ωおーむcm resistivity were used to produce a fully depleted sensor. Laboratory and testbeam measurements of the analog channels present in the pixel… ▽ More A second monolithic silicon pixel prototype was produced for the MONOLITH project. The ASIC contains a matrix of hexagonal pixels with 100 μみゅーm pitch, readout by a low-noise and very fast SiGe HBT frontend electronics. Wafers with 50 μみゅーm thick epilayer of 350 Ωおーむcm resistivity were used to produce a fully depleted sensor. Laboratory and testbeam measurements of the analog channels present in the pixel matrix show that the sensor has a 130 V wide bias-voltage operation plateau at which the efficiency is 99.8%. Although this prototype does not include an internal gain layer, the design optimised for timing of the sensor and the front-end electronics provides a time resolutions of 20 ps. △ Less

Submitted 28 January, 2023; originally announced January 2023.

Comments: 11 pages, 11 figures

MLPGradientFlow: going with the flow of multilayer perceptrons (and finding minima fast and accurately)

Authors: Johanni Brea, Flavio Martinelli, Berfin Şimşek, Wulfram Gerstner

Abstract: MLPGradientFlow is a software package to solve numerically the gradient flow differential equation $\dot θしーた= -\nabla \mathcal L(θしーた; \mathcal D)$, where $θしーた$ are the parameters of a multi-layer perceptron, $\mathcal D$ is some data set, and $\nabla \mathcal L$ is the gradient of a loss function. We show numerically that adaptive first- or higher-order integration methods based on Runge-Kutta schemes h… ▽ More MLPGradientFlow is a software package to solve numerically the gradient flow differential equation $\dot θしーた= -\nabla \mathcal L(θしーた; \mathcal D)$, where $θしーた$ are the parameters of a multi-layer perceptron, $\mathcal D$ is some data set, and $\nabla \mathcal L$ is the gradient of a loss function. We show numerically that adaptive first- or higher-order integration methods based on Runge-Kutta schemes have better accuracy and convergence speed than gradient descent with the Adam optimizer. However, we find Newton's method and approximations like BFGS preferable to find fixed points (local and global minima of $\mathcal L$) efficiently and accurately. For small networks and data sets, gradients are usually computed faster than in pytorch and Hessian are computed at least $5\times$ faster. Additionally, the package features an integrator for a teacher-student setup with bias-free, two-layer networks trained with standard Gaussian input in the limit of infinite data. The code is accessible at https://github.com/jbrea/MLPGradientFlow.jl. △ Less

Submitted 25 January, 2023; originally announced January 2023.

Photon number resolution without optical mode multiplication

Authors: Anton N. Vetlugin, Filippo Martinelli, Shuyu Dong, Cesare Soci

Abstract: Common methods to achieve photon number resolution rely on fast on-off single-photon detectors in conjunction with temporal or spatial mode multiplexing. Yet, these methods suffer from an inherent trade-off between the efficiency of photon number discrimination and photon detection rate. Here, we introduce a method of photon number resolving detection that overcomes these limitations by replacing… ▽ More Common methods to achieve photon number resolution rely on fast on-off single-photon detectors in conjunction with temporal or spatial mode multiplexing. Yet, these methods suffer from an inherent trade-off between the efficiency of photon number discrimination and photon detection rate. Here, we introduce a method of photon number resolving detection that overcomes these limitations by replacing mode multiplexing with coherent absorption of a single optical mode in a distributed detector array. Distributed coherent absorption ensures complete and uniform absorption of light among the constituent detectors, enabling fast and efficient photon number resolution. As a proof-of-concept, we consider the case of a distributed array of superconducting nanowire single-photon detectors with realistic parameters and show that deterministic absorption and arbitrarily high photon number discrimination efficiency can be achieved by increasing the number of detectors in the array. Photon number resolution without optical mode multiplication provides a simple yet effective method to discriminate an arbitrary number of photons in large arrays of on-off detectors or in smaller arrays of mode multiplexed detectors. △ Less

Submitted 29 October, 2022; originally announced October 2022.

Comments: 17 pages, 8 figures

Testbeam Results of the Picosecond Avalanche Detector Proof-Of-Concept Prototype

Authors: G. Iacobucci, S. Zambito, M. Milanesio, T. Moretti, J. Saidi, L. Paolozzi, M. Munker, R. Cardella, F. Martinelli, A. Picardi, H. Rücker, A. Trusch, P. Valerio, F. Cadoux, R. Cardarelli, S. Débieux, Y. Favre, C. A. Fenoglio, D. Ferrere, S. Gonzalez-Sevilla, Y. Gurimskaya, R. Kotitsa, C. Magliocca, M. Nessi, A. Pizarro-Medina , et al. (2 additional authors not shown)

Abstract: The proof-of-concept prototype of the Picosecond Avalanche Detector, a multi-PN junction monolithic silicon detector with continuous gain layer deep in the sensor depleted region, was tested with a beam of 180 GeV pions at the CERN SPS. The prototype features low noise and fast SiGe BiCMOS frontend electronics and hexagonal pixels with 100 μみゅーm pitch. At a sensor bias voltage of 125 V, the detector… ▽ More The proof-of-concept prototype of the Picosecond Avalanche Detector, a multi-PN junction monolithic silicon detector with continuous gain layer deep in the sensor depleted region, was tested with a beam of 180 GeV pions at the CERN SPS. The prototype features low noise and fast SiGe BiCMOS frontend electronics and hexagonal pixels with 100 μみゅーm pitch. At a sensor bias voltage of 125 V, the detector provides full efficiency and average time resolution of 30, 25 and 17 ps in the overall pixel area for a power consumption of 0.4, 0.9 and 2.7 W/cm^2, respectively. In this first prototype the time resolution depends significantly on the distance from the center of the pixel, varying at the highest power consumption measured between 13 ps at the center of the pixel and 25 ps in the inter-pixel region. △ Less

Submitted 23 August, 2022; originally announced August 2022.

The FASER Detector

Authors: FASER Collaboration, Henso Abreu, Elham Amin Mansour, Claire Antel, Akitaka Ariga, Tomoko Ariga, Florian Bernlochner, Tobias Boeckh, Jamie Boyd, Lydia Brenner, Franck Cadoux, David W. Casper, Charlotte Cavanagh, Xin Chen, Andrea Coccaro, Olivier Crespo-Lopez, Stephane Debieux, Monica D'Onofrio, Liam Dougherty, Candan Dozen, Abdallah Ezzat, Yannick Favre, Deion Fellers, Jonathan L. Feng, Didier Ferrere , et al. (72 additional authors not shown)

Abstract: FASER, the ForwArd Search ExpeRiment, is an experiment dedicated to searching for light, extremely weakly-interacting particles at CERN's Large Hadron Collider (LHC). Such particles may be produced in the very forward direction of the LHC's high-energy collisions and then decay to visible particles inside the FASER detector, which is placed 480 m downstream of the ATLAS interaction point, aligned… ▽ More FASER, the ForwArd Search ExpeRiment, is an experiment dedicated to searching for light, extremely weakly-interacting particles at CERN's Large Hadron Collider (LHC). Such particles may be produced in the very forward direction of the LHC's high-energy collisions and then decay to visible particles inside the FASER detector, which is placed 480 m downstream of the ATLAS interaction point, aligned with the beam collisions axis. FASER also includes a sub-detector, FASER$νにゅー$, designed to detect neutrinos produced in the LHC collisions and to study their properties. In this paper, each component of the FASER detector is described in detail, as well as the installation of the experiment system and its commissioning using cosmic-rays collected in September 2021 and during the LHC pilot beam test carried out in October 2021. FASER will start taking LHC collision data in 2022, and will run throughout LHC Run 3. △ Less

Submitted 23 July, 2022; originally announced July 2022.

Comments: 92 pages, 72 Figures

Report number: CERN-FASER-2022-001

Journal ref: JINST 19 (2024) P05066

Picosecond Avalanche Detector -- working principle and gain measurement with a proof-of-concept prototype

Authors: L. Paolozzi, M. Munker, R. Cardella, M. Milanesio, Y. Gurimskaya, F. Martinelli, A. Picardi, H. Rücker, A. Trusch, P. Valerio, F. Cadoux, R. Cardarelli, S. Débieux, Y. Favre, C. A. Fenoglio, D. Ferrere, S. Gonzalez-Sevilla, R. Kotitsa, C. Magliocca, T. Moretti, M. Nessi, A. Pizarro Medina, J. Sabater Iglesias, J. Saidi, M. Vicente Barreto Pinto , et al. (2 additional authors not shown)

Abstract: The Picosecond Avalanche Detector is a multi-junction silicon pixel detector based on a $\mathrm{(NP)_{drift}(NP)_{gain}}$ structure, devised to enable charged-particle tracking with high spatial resolution and picosecond time-stamp capability. It uses a continuous junction deep inside the sensor volume to amplify the primary charge produced by ionizing radiation in a thin absorption layer. The si… ▽ More The Picosecond Avalanche Detector is a multi-junction silicon pixel detector based on a $\mathrm{(NP)_{drift}(NP)_{gain}}$ structure, devised to enable charged-particle tracking with high spatial resolution and picosecond time-stamp capability. It uses a continuous junction deep inside the sensor volume to amplify the primary charge produced by ionizing radiation in a thin absorption layer. The signal is then induced by the secondary charges moving inside a thicker drift region. A proof-of-concept monolithic prototype, consisting of a matrix of hexagonal pixels with 100 $μみゅー$m pitch, has been produced using the 130 nm SiGe BiCMOS process by IHP microelectronics. Measurements on probe station and with a $^{55}$Fe X-ray source show that the prototype is functional and displays avalanche gain up to a maximum electron gain of 23. A study of the avalanche characteristics, corroborated by TCAD simulations, indicates that space-charge effects due to the large primary charge produced by the conversion of X-rays from the $^{55}$Fe source limits the effective gain. △ Less

Submitted 25 September, 2022; v1 submitted 16 June, 2022; originally announced June 2022.

Fredrickson--Andersen model in two dimensions

Authors: Ivailo Hartarsky, Fabio Martinelli, Cristina Toninelli

Abstract: The present expository article overviews recent mathematical advances on the Fredrickson--Andersen kinetically constrained spin model in two dimensions. It was introduced in physics as a toy model for recovering the glassy phenomenology in supercooled liquids close to the glass transition via dynamic constraints as opposed to static interactions. The present expository article overviews recent mathematical advances on the Fredrickson--Andersen kinetically constrained spin model in two dimensions. It was introduced in physics as a toy model for recovering the glassy phenomenology in supercooled liquids close to the glass transition via dynamic constraints as opposed to static interactions. △ Less

Submitted 4 May, 2022; originally announced May 2022.

Comments: 11 pages, 1 figure, journées MAS 2020. arXiv admin note: text overlap with arXiv:2012.02557

MSC Class: 60K35 (Primary); 82C22; 60C05 (Secondary)

Journal ref: ESAIM: PROCEEDINGS AND SURVEYS, November 2023, Vol. 74, p. 108-118

On a front evolution problem for the multidimensional East model

Authors: Yannick Couzinié, Fabio Martinelli

Abstract: We consider a natural front evolution problem the East process on $\mathbb{Z}^d, d\ge 2,$ a well studied kinetically constrained model for which the facilitation mechanism is oriented along the coordinate directions, as the equilibrium density $q$ of the facilitating vertices vanishes. Starting with a unique unconstrained vertex at the origin, let $S(t)$ consist of those vertices which became unco… ▽ More We consider a natural front evolution problem the East process on $\mathbb{Z}^d, d\ge 2,$ a well studied kinetically constrained model for which the facilitation mechanism is oriented along the coordinate directions, as the equilibrium density $q$ of the facilitating vertices vanishes. Starting with a unique unconstrained vertex at the origin, let $S(t)$ consist of those vertices which became unconstrained within time $t$ and, for an arbitrary positive direction $\mathbf x,$ let $v_{\max}(\mathbf x),v_{\min}(\mathbf x )$ be the maximal/minimal velocities at which $S(t)$ grows in that direction. If $\mathbf x$ is independent of $q$, we prove that $v_{\max}(\mathbf x)= v_{\min}(\mathbf x)^{(1+o(1))}=γがんま(d) ^{(1+o(1))}$ as $q\to 0$, where $γがんま(d)$ is the spectral gap of the process on $\mathbb{Z}^d$. We also analyse the case in which some of the coordinates of $\mathbf x$ vanish as $q\to 0$. In particular, for $d=2$ we prove that if $\mathbf x$ approaches one of the two coordinate directions fast enough, then $v_{\max}(\mathbf x)= v_{\min}(\mathbf x)^{(1+o(1))}=γがんま(1) ^{(1+o(1))}=γがんま(d)^{d(1+o(1))},$ i.e. the growth of $S(t)$ close to the coordinate directions is dictated by the one dimensional process. As a result the region $S(t)$ becomes extremely elongated inside $\mathbb{Z}^d_+$. We also establish mixing time cutoff for the chain in finite boxes with minimal boundary conditions. A key ingredient of our analysis is the renormalisation technique of arXiv:1404.7257 to estimate the spectral gap of the East process. Here we extend this technique to get the main asymptotics of a suitable principal Dirichlet eigenvalue of the process. △ Less

Submitted 9 November, 2022; v1 submitted 29 December, 2021; originally announced December 2021.

Comments: 32 pages, 6 Figures, updated with further result on cutoff with minimal boundary condition. Update is published corrected version

MSC Class: 60K35 (Primary) 60G55; 60G50; 82C22 (Secondary)

Journal ref: Electron. J. Probab. 27: 1-30 (2022)

Efficiency and time resolution of monolithic silicon pixel detectors in SiGe BiCMOS technology

Authors: G. Iacobucci, L. Paolozzi, P. Valerio, T. Moretti, F. Cadoux, R. Cardarelli, R. Cardella, S. Débieux, Y. Favre, D. Ferrere, S. Gonzalez-Sevilla, Y. Gurimskaya, R. Kotitsa, C. Magliocca, F. Martinelli, M. Milanesio, M. Münker, M. Nessi, A. Picardi, J. Saidi, H. Rücker, M. Vicente Barreto Pinto, S. Zambito

Abstract: A monolithic silicon pixel detector prototype has been produced in the SiGe BiCMOS SG13G2 130 nm node technology by IHP. The ASIC contains a matrix of hexagonal pixels with pitch of approximately 100 $μみゅー$m. Three analog pixels were calibrated in laboratory with radioactive sources and tested in a 180 GeV/c pion beamline at the CERN SPS. A detection efficiency of $\left(99.9^{+0.1}_{-0.2}\right)$% w… ▽ More A monolithic silicon pixel detector prototype has been produced in the SiGe BiCMOS SG13G2 130 nm node technology by IHP. The ASIC contains a matrix of hexagonal pixels with pitch of approximately 100 $μみゅー$m. Three analog pixels were calibrated in laboratory with radioactive sources and tested in a 180 GeV/c pion beamline at the CERN SPS. A detection efficiency of $\left(99.9^{+0.1}_{-0.2}\right)$% was measured together with a time resolution of $(36.4 \pm 0.8)$ps at the highest preamplifier bias current working point of 150 $μみゅー$A and at a sensor bias voltage of 160 V. The ASIC was also characterized at lower bias voltage and preamplifier current. △ Less

Submitted 21 January, 2022; v1 submitted 16 December, 2021; originally announced December 2021.

Measurements and analysis of different front-end configurations for monolithic SiGe BiCMOS pixel detectors for HEP applications

Authors: Fulvio Martinelli, Chiara Magliocca, Roberto Cardella, Edoardo Charbon, Giuseppe Iacobucci, Marzio Nessi, Lorenzo Paolozzi, Holger Rücker, Pierpaolo Valerio

Abstract: This paper presents a small-area monolithic pixel detector ASIC designed in 130 nm SiGe BiCMOS technology for the upgrade of the pre-shower detector of the FASER experiment at CERN. The purpose of this prototype is to study the integration of fast front-end electronics inside the sensitive area of the pixels and to identify the configuration that could satisfy at best the specifications of the exp… ▽ More This paper presents a small-area monolithic pixel detector ASIC designed in 130 nm SiGe BiCMOS technology for the upgrade of the pre-shower detector of the FASER experiment at CERN. The purpose of this prototype is to study the integration of fast front-end electronics inside the sensitive area of the pixels and to identify the configuration that could satisfy at best the specifications of the experiment. Self-induced noise, instabilities and cross-talk were minimised to cope with the several challenges associated to the integration of pre-amplifiers and discriminators inside the pixels. The methodology used in the characterisation and the design choices will also be described. Two of the variants studied here will be implemented in the pre-production ASIC of the FASER experiment pre-shower for further tests. △ Less

Submitted 22 November, 2021; originally announced November 2021.

A massively scalable Time-to-Digital Converter with a PLL-free calibration system in a commercial 130 nm process

Authors: Fulvio Martinelli, Pierpaolo Valerio, Roberto Cardarelli, Edoardo Charbon, Giuseppe Iacobucci, Marzio Nessi, Lorenzo Paolozzi

Abstract: A 33.6 ps LSB Time-to-Digital converter was designed in 130 nm BiCMOS technology. The core of the converter is a differential 9-stage ring oscillator, based on a multi-path architecture. A novel version of this design is proposed, along with an analytical model of linearity. The model allowed us to understand the source of the performance superiority (in terms of linearity) of our design and to pr… ▽ More A 33.6 ps LSB Time-to-Digital converter was designed in 130 nm BiCMOS technology. The core of the converter is a differential 9-stage ring oscillator, based on a multi-path architecture. A novel version of this design is proposed, along with an analytical model of linearity. The model allowed us to understand the source of the performance superiority (in terms of linearity) of our design and to predict further improvements. The oscillator is integrated in a event-by-event self-calibration system that allows avoiding any PLL-based synchronization. For this reason and for the compactness and simplicity of the architecture, the proposed TDC is suitable for applications in which a large number of converters and a massive parallelization are required such as High-Energy Physics and medical imaging detector systems. A test chip for the TDC has been fabricated and tested. The TDC shows a DNL$\leq$1.3 LSB, an INL$\leq$2 LSB and a single-shot precision of 19.5 ps (0.58 LSB). The chip dissipates a power of 5.4 mW overall. △ Less

Submitted 1 September, 2021; v1 submitted 21 July, 2021; originally announced July 2021.

Latest results on quiescent and post-disruption runaway electron mitigation experiments at Frascati Tokamak Upgrade

Authors: D. Carnevale, P. Buratti, M. Baruzzo, W. Bin, F. Bombarda, L. Boncagni, C. Paz-Soldan, L. Calacci, M. Cappelli, C. Castaldo, S. Ceccuzzi, C. Centioli, C. Cianfarani, S. Coda, F. Cordella, O. D Arcangelo, J. Decker, B. Duval, B. Esposito, L. Gabellieri, S. Galeani, S. Garavaglia, C. Galperti, G. Ghillardi, G. Granucci , et al. (16 additional authors not shown)

Abstract: Results from the last FTU campaigns on the deuterium large (wrt FTU volume) pellet REs suppression capability, mainly due to the induced burst MHD activity expelling REs seed are presented for discharges with 0.5 MA and 5.3T. Clear indications of avalanche multiplication of REs following single pellet injection on 0.36 MA flat-top discharges is shown together with quantitative indications of dissi… ▽ More Results from the last FTU campaigns on the deuterium large (wrt FTU volume) pellet REs suppression capability, mainly due to the induced burst MHD activity expelling REs seed are presented for discharges with 0.5 MA and 5.3T. Clear indications of avalanche multiplication of REs following single pellet injection on 0.36 MA flat-top discharges is shown together with quantitative indications of dissipative effects in terms of critical electrical field increase due to fan-like instabilities. Analysis of large fan-like instabilities on post-disruption RE beams, that seem to be correlated with low electrical field and background density drops, reveal their strong RE energy suppression capability suggesting a new strategy for RE energy suppression controlling large fan instabilities. We demonstrate how such density drops can be induced using modulated ECRH power on post-disruption beams. △ Less

Submitted 25 May, 2021; v1 submitted 10 May, 2021; originally announced May 2021.

Comments: DRAFT that will be submitted to NF (the conference version is on FEC/IAEA conference 2020)

Multi-wavelength flare observations of the blazar S5 1803+784

Authors: R. Nesci, S. Cutini, C. Stanghellini, F. Martinelli, A. Maselli, V. M. Lipunov, V. Kornilov, R. R. Lopez, A. Siviero, M. Giroletti, M. Orienti

Abstract: The radio, optical, and $γがんま$-ray light curves of the blazar S5 1803+784, from the beginning of the {\it Fermi} Large Area Telescope (LAT) mission in August 2008 until December 2018, are presented. The aim of this work is to look for correlations among different wavelengths useful for further theoretical studies. We analyzed all the data collected by {\it Fermi} LAT for this source, taking into acco… ▽ More The radio, optical, and $γがんま$-ray light curves of the blazar S5 1803+784, from the beginning of the {\it Fermi} Large Area Telescope (LAT) mission in August 2008 until December 2018, are presented. The aim of this work is to look for correlations among different wavelengths useful for further theoretical studies. We analyzed all the data collected by {\it Fermi} LAT for this source, taking into account the presence of nearby sources, and we collected optical data from our own observations and public archive data to build the most complete optical and $γがんま$-ray light curve possible. Several $γがんま$-ray flares ($\mathrm{F>2.3~10^{-7} ph(E>0.1 GeV)~cm^{-2}~s^{-1}}$) with optical coverage were detected, all but one with corresponding optical enhancement; we also found two optical flares without a $γがんま$-ray counterpart. We obtained two {\it Swift} Target of Opportunity observations during the strong flare of 2015. Radio observations performed with VLBA and EVN through our proposals in the years 2016-2020 were analyzed to search for morphological changes after the major flares. The optical/$γがんま$-ray flux ratio at the flare peak varied for each flare. Very minor optical V-I color changes were detected during the flares. The X-ray spectrum was well fitted by a power law with photon spectral index $αあるふぁ$=1.5, nearly independent of the flux level: no clear correlation with the optical or the $γがんま$-ray emission was found. The $γがんま$-ray spectral shape was well fitted by a power law with average photon index $αあるふぁ$= 2.2. These findings support an Inverse Compton origin for the high-energy emission of the source, nearly co-spatial with the optically emitting region. The radio maps showed two new components originating from the core and moving outwards, with ejection epochs compatible with the dates of the two largest $γがんま$-ray flares. △ Less

Submitted 19 February, 2021; originally announced February 2021.

Comments: Twelve pages, 12 figures, accepted for MNRAS

Sharp threshold for the FA-2f kinetically constrained model

Authors: Ivailo Hartarsky, Fabio Martinelli, Cristina Toninelli

Abstract: The Fredrickson-Andersen 2-spin facilitated model on $\mathbb{Z}^d$ (FA-2f) is a paradigmatic interacting particle system with kinetic constraints (KCM) featuring dynamical facilitation, an important mechanism in condensed matter physics. In FA-2f a site may change its state only if at least two of its nearest neighbours are empty. Although the process is reversible w.r.t. a product Bernoulli meas… ▽ More The Fredrickson-Andersen 2-spin facilitated model on $\mathbb{Z}^d$ (FA-2f) is a paradigmatic interacting particle system with kinetic constraints (KCM) featuring dynamical facilitation, an important mechanism in condensed matter physics. In FA-2f a site may change its state only if at least two of its nearest neighbours are empty. Although the process is reversible w.r.t. a product Bernoulli measure, it is not attractive and features degenerate jump rates and anomalous divergence of characteristic time scales as the density $q$ of empty sites tends to $0$. A natural random variable encoding the above features is $τたう_0$, the first time at which the origin becomes empty for the stationary process. Our main result is the sharp threshold \[τたう_0=\exp\Big(\frac{d\cdotλらむだ(d,2)+o(1)}{q^{1/(d-1)}}\Big)\quad \text{w.h.p.}\] with $λらむだ(d,2)$ the sharp threshold constant for 2-neighbour bootstrap percolation on $\mathbb{Z}^d$, the monotone deterministic automaton counterpart of FA-2f. This is the first sharp result for a critical KCM and it compares with Holroyd's 2003 result on bootstrap percolation and its subsequent improvements. It also settles various controversies accumulated in the physics literature over the last four decades. Furthermore, our novel techniques enable completing the recent ambitious program on the universality phenomenon for critical KCM and establishing sharp thresholds for other two-dimensional KCM. △ Less

Submitted 20 September, 2022; v1 submitted 4 December, 2020; originally announced December 2020.

Comments: 41 pages, 5 figures, minor changes in section 2

MSC Class: 60K35 (Primary); 82C22; 60J27; 60C05 (Secondary)

Journal ref: Probab. Theory Relat. Fields 185, 993-1037 (2023)

alurity, a toolbox for robot cybersecurity

Authors: Víctor Mayoral-Vilches, Irati Abad-Fernández, Martin Pinzger, Stefan Rass, Bernhard Dieber, Alcino Cunha, Francisco J. Rodríguez-Lera, Giovanni Lacava, Angelica Marotta, Fabio Martinelli, Endika Gil-Uriarte

Abstract: The reuse of technologies and inherent complexity of most robotic systems is increasingly leading to robots with wide attack surfaces and a variety of potential vulnerabilities. Given their growing presence in public environments, security research is increasingly becoming more important than in any other area, specially due to the safety implications that robot vulnerabilities could cause on huma… ▽ More The reuse of technologies and inherent complexity of most robotic systems is increasingly leading to robots with wide attack surfaces and a variety of potential vulnerabilities. Given their growing presence in public environments, security research is increasingly becoming more important than in any other area, specially due to the safety implications that robot vulnerabilities could cause on humans. We argue that security triage in robotics is still immature and that new tools must be developed to accelerate the testing-triage-exploitation cycle, necessary for prioritizing and accelerating the mitigation of flaws. The present work tackles the current lack of offensive cybersecurity research in robotics by presenting a toolbox and the results obtained with it through several use cases conducted over a year period. We propose a modular and composable toolbox for robot cybersecurity: alurity. By ensuring that both roboticists and security researchers working on a project have a common, consistent and easily reproducible development environment, alurity aims to facilitate the cybersecurity research and the collaboration across teams. △ Less

Submitted 16 October, 2020; v1 submitted 15 October, 2020; originally announced October 2020.

The size, shape, density and ring of the dwarf planet Haumea from a stellar occultation

Authors: J. L. Ortiz, P. Santos-Sanz, B. Sicardy, G. Benedetti-Rossi, D. Bérard, N. Morales, R. Duffard, F. Braga-Ribas, U. Hopp, C. Ries, V. Nascimbeni, F. Marzari, V. Granata, A. Pál, C. Kiss, T. Pribulla, R. Komžík, K. Hornoch, P. Pravec, P. Bacci, M. Maestripieri, L. Nerli, L. Mazzei, M. Bachini, F. Martinelli , et al. (68 additional authors not shown)

Abstract: Among the four known transneptunian dwarf planets, Haumea is an exotic, very elongated, and fast rotating body. In contrast to the other dwarf planets, its size, shape, albedo, and density are not well constrained. Here we report results of a multi-chord stellar occultation, observed on 2017 January 21. Secondary events observed around the main body are consistent with the presence of a ring of op… ▽ More Among the four known transneptunian dwarf planets, Haumea is an exotic, very elongated, and fast rotating body. In contrast to the other dwarf planets, its size, shape, albedo, and density are not well constrained. Here we report results of a multi-chord stellar occultation, observed on 2017 January 21. Secondary events observed around the main body are consistent with the presence of a ring of opacity 0.5, width 70 km, and radius 2,287$_{-45}^{+75}$ km. The Centaur Chariklo was the first body other than a giant planet to show a ring system and the Centaur Chiron was later found to possess something similar to Chariklo's rings. Haumea is the first body outside the Centaur population with a ring. The ring is coplanar with both Haumea's equator and the orbit of its satellite Hi'iaka. Its radius places close to the 3:1 mean motion resonance with Haumea's spin period. The occultation by the main body provides an instantaneous elliptical limb with axes 1,704 $\pm$ 4 km x 1,138 $\pm$ 26 km. Combined with rotational light-curves, it constrains Haumea's 3D orientation and its triaxial shape, which is inconsistent with a homogeneous body in hydrostatic equilibrium. Haumea's largest axis is at least 2,322 $\pm$ 60 km, larger than thought before. This implies an upper limit of 1,885 $\pm$ 80 kg m$^{-3}$ for Haumea's density, smaller and less puzzling than previous estimations, and a geometric albedo of 0.51 $\pm$ 0.02, also smaller than previous estimations. No global N$_2$ or CH$_4$ atmosphere with pressures larger than 15 and 50 nbar (3-$σしぐま$ limits), respectively, is detected. △ Less

Submitted 4 June, 2020; originally announced June 2020.

Journal ref: Nature, Volume 550, Issue 7675, pp. 219-223 (2017)

Coalescing and branching simple symmetric exclusion process

Authors: Ivailo Hartarsky, Fabio Martinelli, Cristina Toninelli

Abstract: Motivated by kinetically constrained interacting particle systems (KCM), we consider a reversible coalescing and branching simple exclusion process on a general finite graph $G=(V,E)$ dual to the biased voter model on $G$. Our main goal are tight bounds on its logarithmic Sobolev constant and relaxation time, with particular focus on the delicate slightly supercritical regime in which the equilibr… ▽ More Motivated by kinetically constrained interacting particle systems (KCM), we consider a reversible coalescing and branching simple exclusion process on a general finite graph $G=(V,E)$ dual to the biased voter model on $G$. Our main goal are tight bounds on its logarithmic Sobolev constant and relaxation time, with particular focus on the delicate slightly supercritical regime in which the equilibrium density of particles tends to zero as $|V|\rightarrow \infty$. Our results allow us to recover very directly and improve to $\ell^p$-mixing, $p\ge 2$, and to more general graphs, the mixing time results of Pillai and Smith for the Fredrickson-Andersen one spin facilitated (FA-$1$f) KCM on the discrete $d$-dimensional torus. In view of applications to the more complex FA-$j$f KCM, $j>1$, we also extend part of the analysis to an analogous process with a more general product state space. △ Less

Submitted 9 February, 2021; v1 submitted 2 June, 2020; originally announced June 2020.

Comments: 19 pages, minor changes

MSC Class: 60K35 (Primary); 60J80; 60J90; 82C20 (Secondary)

Journal ref: Ann. Appl. Probab. 32 (2022), no. 4, 2841-2859

Time resolution and power consumption of a monolithic silicon pixel prototype in SiGe BiCMOS technology

Authors: L. Paolozzi, R. Cardarelli, S. Débieux, Y. Favre, D. Ferrère, S. Gonzalez-Sevilla, G. Iacobucci, M. Kaynak, F. Martinelli, M. Nessi, H. Rücker, I. Sanna, DMS Sultan, P. Valerio, E. Zaffaroni

Abstract: SiGe BiCMOS technology can be used to produce ultra-fast, low-power silicon pixel sensors that provide state-of-the-art time resolution even without an internal gain mechanism. The development of such sensors requires the identification of the main factors that may degrade the timing performance and the characterisation of the dependance of the sensor time resolution on the amplifier power consump… ▽ More SiGe BiCMOS technology can be used to produce ultra-fast, low-power silicon pixel sensors that provide state-of-the-art time resolution even without an internal gain mechanism. The development of such sensors requires the identification of the main factors that may degrade the timing performance and the characterisation of the dependance of the sensor time resolution on the amplifier power consumption. Measurements with a $ \mathrm{^{90}Sr} $ source of a prototype sensor produced in SG13G2 technology from IHP Microelectronics, shows a time resolution of 140 ps at an amplifier current of 7 $ \mathrmμみゅー $A and 45 ps at higher power consumption. A full simulation shows that the resolution on the measurement of the signal time-over-threshold, used to correct for time walk, is the main factor affecting the timing performance. △ Less

Submitted 28 August, 2020; v1 submitted 28 May, 2020; originally announced May 2020.

A Bin Encoding Training of a Spiking Neural Network-based Voice Activity Detection

Authors: Giorgia Dellaferrera, Flavio Martinelli, Milos Cernak

Abstract: Advances of deep learning for Artificial Neural Networks(ANNs) have led to significant improvements in the performance of digital signal processing systems implemented on digital chips. Although recent progress in low-power chips is remarkable, neuromorphic chips that run Spiking Neural Networks (SNNs) based applications offer an even lower power consumption, as a consequence of the ensuing sparse… ▽ More Advances of deep learning for Artificial Neural Networks(ANNs) have led to significant improvements in the performance of digital signal processing systems implemented on digital chips. Although recent progress in low-power chips is remarkable, neuromorphic chips that run Spiking Neural Networks (SNNs) based applications offer an even lower power consumption, as a consequence of the ensuing sparse spike-based coding scheme. In this work, we develop a SNN-based Voice Activity Detection (VAD) system that belongs to the building blocks of any audio and speech processing system. We propose to use the bin encoding, a novel method to convert log mel filterbank bins of single-time frames into spike patterns. We integrate the proposed scheme in a bilayer spiking architecture which was evaluated on the QUT-NOISE-TIMIT corpus. Our approach shows that SNNs enable an ultra low-power implementation of a VAD classifier that consumes only 3.8$μみゅー$W, while achieving state-of-the-art performance. △ Less

Submitted 28 October, 2019; originally announced October 2019.

Comments: 5 pages, 3 figures, 1 table

Journal ref: ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)

Spiking neural networks trained with backpropagation for low power neuromorphic implementation of voice activity detection

Authors: Flavio Martinelli, Giorgia Dellaferrera, Pablo Mainar, Milos Cernak

Abstract: Recent advances in Voice Activity Detection (VAD) are driven by artificial and Recurrent Neural Networks (RNNs), however, using a VAD system in battery-operated devices requires further power efficiency. This can be achieved by neuromorphic hardware, which enables Spiking Neural Networks (SNNs) to perform inference at very low energy consumption. Spiking networks are characterized by their ability… ▽ More Recent advances in Voice Activity Detection (VAD) are driven by artificial and Recurrent Neural Networks (RNNs), however, using a VAD system in battery-operated devices requires further power efficiency. This can be achieved by neuromorphic hardware, which enables Spiking Neural Networks (SNNs) to perform inference at very low energy consumption. Spiking networks are characterized by their ability to process information efficiently, in a sparse cascade of binary events in time called spikes. However, a big performance gap separates artificial from spiking networks, mostly due to a lack of powerful SNN training algorithms. To overcome this problem we exploit an SNN model that can be recast into an RNN-like model and trained with known deep learning techniques. We describe an SNN training procedure that achieves low spiking activity and pruning algorithms to remove 85% of the network connections with no performance loss. The model achieves state-of-the-art performance with a fraction of power consumption comparing to other methods. △ Less

Submitted 30 April, 2020; v1 submitted 22 October, 2019; originally announced October 2019.

Comments: 5 pages, 2 figures, 2 tables

Journal ref: ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Barcelona, Spain, 2020, pp. 8544-8548

Universality for critical KCM: finite number of stable directions

Authors: Ivailo Hartarsky, Fabio Martinelli, Cristina Toninelli

Abstract: In this paper we consider kinetically constrained models (KCM) on $\mathbb Z^2$ with general update families $\mathcal U$. For $\mathcal U$ belonging to the so-called "critical class" our focus is on the divergence of the infection time of the origin for the equilibrium process as the density of the facilitating sites vanishes. In a recent paper Marêché and two of the present authors proved that i… ▽ More In this paper we consider kinetically constrained models (KCM) on $\mathbb Z^2$ with general update families $\mathcal U$. For $\mathcal U$ belonging to the so-called "critical class" our focus is on the divergence of the infection time of the origin for the equilibrium process as the density of the facilitating sites vanishes. In a recent paper Marêché and two of the present authors proved that if $\mathcal U$ has an infinite number of "stable directions", then on a doubly logarithmic scale the above divergence is twice the one in the corresponding $\mathcal U$-bootstrap percolation. Here we prove instead that, contrary to previous conjectures, in the complementary case the two divergences are the same. In particular, we establish the full universality partition for critical $\mathcal U$. The main novel contribution is the identification of the leading mechanism governing the motion of infected critical droplets. It consists of a peculiar hierarchical combination of mesoscopic East-like motions. △ Less

Submitted 7 September, 2020; v1 submitted 15 October, 2019; originally announced October 2019.

Comments: 36 pages, 11 figures, expanded and revised presentation, added roadmaps for sections 4 and 5, added and improved figures

MSC Class: 60K35 (Primary); 82C22; 60J27; 60C05 (Secondary)

Journal ref: Ann. Probab. (2021), 49(5), 2141-2174

Luminous Red Novae: Stellar Mergers or Giant Eruptions?

Authors: A. Pastorello, E. Mason, S. Taubenberger, M. Fraser, G. Cortini, L. Tomasella, M. T. Botticella, N. Elias-Rosa, R. Kotak, S. J. Smartt, S. Benetti, E. Cappellaro, M. Turatto, L. Tartaglia, S. G. Djorgovski, A. J. Drake, M. Berton, F. Briganti, J. Brimacombe, F. Bufano, Y. -Z. Cai, S. Chen, E. J. Christensen, F. Ciabattari, E. Congiu , et al. (14 additional authors not shown)

Abstract: We present extensive datasets for a class of intermediate-luminosity optical transients known as "luminous red novae" (LRNe). They show double-peaked light curves, with an initial rapid luminosity rise to a blue peak (at -13 to -15 mag), which is followed by a longer-duration red peak that sometimes is attenuated, resembling a plateau. The progenitors of three of them (NGC4490-2011OT1, M101-2015OT… ▽ More We present extensive datasets for a class of intermediate-luminosity optical transients known as "luminous red novae" (LRNe). They show double-peaked light curves, with an initial rapid luminosity rise to a blue peak (at -13 to -15 mag), which is followed by a longer-duration red peak that sometimes is attenuated, resembling a plateau. The progenitors of three of them (NGC4490-2011OT1, M101-2015OT1, and SNhunt248), likely relatively massive blue to yellow stars, were also observed in a pre-eruptive stage when their luminosity was slowly increasing. Early spectra obtained during the first peak show a blue continuum with superposed prominent narrow Balmer lines, with P Cygni profiles. Lines of Fe II are also clearly observed, mostly in emission. During the second peak, the spectral continuum becomes much redder, Halpha is barely detected, and a forest of narrow metal lines is observed in absorption. Very late-time spectra (~6 months after blue peak) show an extremely red spectral continuum, peaking in the infrared (IR) domain. Halpha is detected in pure emission at such late phases, along with broad absorption bands due to molecular overtones (such as TiO, VO). We discuss a few alternative scenarios for LRNe. Although major instabilities of single massive stars cannot be definitely ruled out, we favour a common envelope ejection in a close binary system, with possibly a final coalescence of the two stars. The similarity between LRNe and the outburst observed a few months before the explosion of the Type IIn SN 2011ht is also discussed. △ Less

Submitted 3 September, 2019; v1 submitted 3 June, 2019; originally announced June 2019.

Comments: 31 pages; 19 figures, 3 tables (plus 6 online tables). A&A, in press

Journal ref: A&A 630, A75 (2019)

Diffusive scaling of the Kob-Andersen model in $\mathbb{Z}^d$

Authors: Fabio Martinelli, Assaf Shapira, Cristina Toninelli

Abstract: We consider the Kob-Andersen model, a cooperative lattice gas with kinetic constraints which has been widely analyzed in the physics literature in connection with the study of the liquid/glass transition. We consider the model in a finite box of linear size $L$ with sources at the boundary. Our result, which holds in any dimension and significantly improves upon previous ones, establishes for any… ▽ More We consider the Kob-Andersen model, a cooperative lattice gas with kinetic constraints which has been widely analyzed in the physics literature in connection with the study of the liquid/glass transition. We consider the model in a finite box of linear size $L$ with sources at the boundary. Our result, which holds in any dimension and significantly improves upon previous ones, establishes for any positive vacancy density $q$ a purely diffusive scaling of the relaxation time $T_{\rm rel}$ of the system. Furthermore, as $q\downarrow 0$ we prove upper and lower bounds on $L^{-2} T_{\rm rel} (q,L)$ which agree with the physicists belief that the dominant equilibration mechanism is a cooperative motion of rare large droplets of vacancies. The main tools combine a recent set of ideas and techniques developed to establish universality results for kinetically constrained spin models, with methods from bootstrap percolation, oriented percolation and canonical flows for Markov chains. △ Less

Submitted 28 October, 2019; v1 submitted 24 April, 2019; originally announced April 2019.

MSC Class: 60K35; 60J27

Exact asymptotics for Duarte and supercritical rooted kinetically constrained models

Authors: Laure Marêché, Fabio Martinelli, Cristina Toninelli

Abstract: Kinetically constrained models (KCM) are reversible interacting particle systems on $\mathbb Z^d$ with continuous time Markov dynamics of Glauber type, which represent a natural stochastic (and non-monotone) counterpart of the family of cellular automata known as $\mathcal U$-bootstrap percolation. Furthermore, KCM have an interest in their own since they display some of the most striking features… ▽ More Kinetically constrained models (KCM) are reversible interacting particle systems on $\mathbb Z^d$ with continuous time Markov dynamics of Glauber type, which represent a natural stochastic (and non-monotone) counterpart of the family of cellular automata known as $\mathcal U$-bootstrap percolation. Furthermore, KCM have an interest in their own since they display some of the most striking features of the liquid-glass transition, a major and longstanding open problem in condensed matter physics. A key issue for KCM is to identify the scaling of the characteristic time scales when the equilibrium density of empty sites, $q$, goes to zero. In [19,20] a general scheme was devised to determine a sharp upper bound for these time scales. Our paper is devoted to developing a (very different) technique which allows to prove matching lower bounds. We analyse the class of two-dimensional supercritical rooted KCM and the Duarte KCM, the most studied critical $1$-rooted model. We prove that the relaxation time and the mean infection time diverge for supercritical rooted KCM as $e^{Θしーた((\log q)^2)}$ and for Duarte KCM as $e^{Θしーた((\log q)^4/q^2)}$ when $q\downarrow 0$. These results prove the conjectures put forward in [20,22], and establish that the time scales for these KCM diverge much faster than for the corresponding $\mathcal U$-bootstrap processes, the main reason being the occurrence of energy barriers which determine the dominant behaviour for KCM, but which do not matter for the bootstrap dynamics. △ Less

Submitted 19 July, 2018; originally announced July 2018.

On the Effectiveness of System API-Related Information for Android Ransomware Detection

Authors: Michele Scalas, Davide Maiorca, Francesco Mercaldo, Corrado Aaron Visaggio, Fabio Martinelli, Giorgio Giacinto

Abstract: Ransomware constitutes a significant threat to the Android operating system. It can either lock or encrypt the target devices, and victims are forced to pay ransoms to restore their data. Hence, the prompt detection of such attacks has a priority in comparison to other malicious threats. Previous works on Android malware detection mainly focused on Machine Learning-oriented approaches that were ta… ▽ More Ransomware constitutes a significant threat to the Android operating system. It can either lock or encrypt the target devices, and victims are forced to pay ransoms to restore their data. Hence, the prompt detection of such attacks has a priority in comparison to other malicious threats. Previous works on Android malware detection mainly focused on Machine Learning-oriented approaches that were tailored to identifying malware families, without a clear focus on ransomware. More specifically, such approaches resorted to complex information types such as permissions, user-implemented API calls, and native calls. However, this led to significant drawbacks concerning complexity, resilience against obfuscation, and explainability. To overcome these issues, in this paper, we propose and discuss learning-based detection strategies that rely on System API information. These techniques leverage the fact that ransomware attacks heavily resort to System API to perform their actions, and allow distinguishing between generic malware, ransomware and goodware. We tested three different ways of employing System API information, i.e., through packages, classes, and methods, and we compared their performances to other, more complex state-of-the-art approaches. The attained results showed that systems based on System API could detect ransomware and generic malware with very good accuracy, comparable to systems that employed more complex information. Moreover, the proposed systems could accurately detect novel samples in the wild and showed resilience against static obfuscation attempts. Finally, to guarantee early on-device detection, we developed and released on the Android platform a complete ransomware and malware detector (R-PackDroid) that employed one of the methodologies proposed in this paper. △ Less

Submitted 26 June, 2019; v1 submitted 24 May, 2018; originally announced May 2018.

Journal ref: Computers & Security 86C (2019) pp. 168-182

Practical Location Validation in Participatory Sensing Through Mobile WiFi Hotspots

Authors: Francesco Restuccia, Andrea Saracino, Fabio Martinelli

Abstract: The reliability of information in participatory sensing (PS) systems largely depends on the accuracy of the location of the participating users. However, existing PS applications are not able to efficiently validate the position of users in large-scale outdoor environments. In this paper, we present an efficient and scalable Location Validation System (LVS) to secure PS systems from location-spoof… ▽ More The reliability of information in participatory sensing (PS) systems largely depends on the accuracy of the location of the participating users. However, existing PS applications are not able to efficiently validate the position of users in large-scale outdoor environments. In this paper, we present an efficient and scalable Location Validation System (LVS) to secure PS systems from location-spoofing attacks. In particular, the user location is verified with the help of mobile WiFi hot spots (MHSs), which are users activating the WiFi hotspot capability of their smartphones and accepting connections from nearby users, thereby validating their position inside the sensing area. The system also comprises a novel verification technique called Chains of Sight, which tackles collusion-based attacks effectively. LVS also includes a reputation-based algorithm that rules out sensing reports of location-spoofing users. The feasibility and efficiency of the WiFi-based approach of LVS is demonstrated by a set of indoor and outdoor experiments conducted using off-the-shelf smartphones, while the energy-efficiency of LVS is demonstrated by experiments using the Power Monitor energy tool. Finally, the security properties of LVS are analyzed by simulation experiments. Results indicate that the proposed LVS system is energy-efficient, applicable to most of the practical PS scenarios, and efficiently secures existing PS systems from location-spoofing attacks. △ Less

Submitted 19 May, 2018; originally announced May 2018.

Comments: IEEE TrustCom 2018, New York City, NY, USA

Universality results for kinetically constrained spin models in two dimensions

Authors: Fabio Martinelli, Robert Morris, Cristina Toninelli

Abstract: Kinetically constrained models (KCM) are reversible interacting particle systems on $\mathbb Z^d$ with continuous time Markov dynamics of Glauber type, which represent a natural stochastic (and non-monotone) counterpart of the family of cellular automata known as $\mathcal U$-bootstrap percolation. KCM also display some of the peculiar features of the so-called "glassy dynamics", and as such they… ▽ More Kinetically constrained models (KCM) are reversible interacting particle systems on $\mathbb Z^d$ with continuous time Markov dynamics of Glauber type, which represent a natural stochastic (and non-monotone) counterpart of the family of cellular automata known as $\mathcal U$-bootstrap percolation. KCM also display some of the peculiar features of the so-called "glassy dynamics", and as such they are extensively used in the physics literature to model the liquid-glass transition, a major and longstanding open problem in condensed matter physics. We consider two-dimensional KCM with update rule $\mathcal U$, and focus on proving universality results for the mean infection time of the origin, in the same spirit as those recently established in the setting of $\mathcal U$-bootstrap percolation. We first identify what we believe are the correct universality classes, which turn out to be different from those of $\mathcal U$-bootstrap percolation. We then prove universal upper bounds on the mean infection time within each class, which we conjecture to be sharp up to logarithmic corrections. In certain cases, including all supercritical models, and the well-known Duarte model, our conjecture has recently been confirmed in [MMT]. In fact, in these cases our upper bound is sharp up to a constant factor in the exponent. For certain classes of update rules, it turns out that the infection time of the KCM diverges much faster than for the corresponding $\mathcal U$-bootstrap process when the equilibrium density of infected sites goes to zero. This is due to the occurrence of energy barriers which determine the dominant behaviour for KCM, but which do not matter for the monotone bootstrap dynamics. △ Less

Submitted 9 March, 2018; v1 submitted 5 January, 2018; originally announced January 2018.

Comments: 55 pages

Mixing length scales of low temperature spin plaquettes models

Authors: P. Chleboun, A. Faggionato, F. Martinelli, C. Toninelli

Abstract: Plaquette models are short range ferromagnetic spin models that play a key role in the dynamic facilitation approach to the liquid glass transition. In this paper we perform a rigorous study of the thermodynamic properties of two dimensional plaquette models, the square and triangular plaquette models. We prove that for any positive temperature both models have a unique infinite volume Gibbs measu… ▽ More Plaquette models are short range ferromagnetic spin models that play a key role in the dynamic facilitation approach to the liquid glass transition. In this paper we perform a rigorous study of the thermodynamic properties of two dimensional plaquette models, the square and triangular plaquette models. We prove that for any positive temperature both models have a unique infinite volume Gibbs measure with exponentially decaying correlations. We analyse the scaling of three a priori different static correlation lengths in the small temperature regime, the mixing, cavity and multispin correlation lengths. Finally, using the symmetries of the model we determine an exact self similarity property for the infinite volume Gibbs measure. △ Less

Submitted 10 July, 2017; originally announced July 2017.

Comments: 33 pages, 9 figures

MN Draconis - peculiar, active dwarf nova in the period gap

Authors: K. Bakowska, A. Olech, R. Pospieszynski, E. Swierczynski, F. Martinelli, A. Rutkowski, R. Koff, K. Drozd, M. Butkiewicz-Bak, P. Kankiewicz

Abstract: Context: We present results of an extensive world-wide observing campaign of MN Draconis. Aims: MN Draconis is a poorly known active dwarf nova in the period gap and is one of the only two known cases of period gap SU UMa objects showing the negative superhumps. Photometric behaviour of MN Draconis poses a challenge for existing models of the superhump and superoutburst mechanisms. Therefore, th… ▽ More Context: We present results of an extensive world-wide observing campaign of MN Draconis. Aims: MN Draconis is a poorly known active dwarf nova in the period gap and is one of the only two known cases of period gap SU UMa objects showing the negative superhumps. Photometric behaviour of MN Draconis poses a challenge for existing models of the superhump and superoutburst mechanisms. Therefore, thorough investigation of peculiar systems, such as MN Draconis, is crucial for our understanding of evolution of the close binary stars. Methods: To measure fundamental parameters of the system, we collected photometric data in October 2009, June-September 2013 and June-December 2015. Analysis of the light curves, $O-C$ diagrams and power spectra was carried out. Results: During our three observational seasons we detected four superoutburts and several normal outbursts. Based on the two consecutive superoutbursts detected in 2015, the supercycle length was derived P_sc = 74 +/- 0.5 days and it has been increasing with a rate of P_dot = 3.3 x 10^(-3) during last twelve years. Based on the positive and negative superhumps we calculated the period excess epsilon = 5.6% +/- 0.1%, the period deficit epsilon_ = 2.5% +/- 0.6%, and in result, the orbital period P_orb = 0.0994(1) days (143.126 +/- 0.144 min). We updated the basic light curve parameters of MN Draconis. Conclusions: MN Draconis is the first discovered SU UMa system in the period gap with increasing supercycle length. △ Less

Submitted 20 March, 2017; originally announced March 2017.

Comments: 14 pages, 20 figures, 8 tables, accepted for publication in Astronomy and Astrophysics

Journal ref: A&A 603, A72 (2017)

Entropic repulsion in $|\nabla φふぁい|^p$ surfaces: a large deviation bound for all $p\geq 1$

Authors: Pietro Caputo, Fabio Martinelli, Fabio Lucio Toninelli

Abstract: We consider the $(2+1)$-dimensional generalized solid-on-solid (SOS) model, that is the random discrete surface with a gradient potential of the form $|\nablaφふぁい|^{p}$, where $p\in [1,+\infty]$. We show that at low temperature, for a square region $Λらむだ$ with side $L$, both under the infinite volume measure and under the measure with zero boundary conditions around $Λらむだ$, the probability that the surface… ▽ More We consider the $(2+1)$-dimensional generalized solid-on-solid (SOS) model, that is the random discrete surface with a gradient potential of the form $|\nablaφふぁい|^{p}$, where $p\in [1,+\infty]$. We show that at low temperature, for a square region $Λらむだ$ with side $L$, both under the infinite volume measure and under the measure with zero boundary conditions around $Λらむだ$, the probability that the surface is nonnegative in $Λらむだ$ behaves like $\exp(-4βべーたτたう_{p,βべーた} L H_p(L) )$, where $βべーた$ is the inverse temperature, $τたう_{p,βべーた}$ is the surface tension at zero tilt, or step free energy, and $H_p(L)$ is the entropic repulsion height, that is the typical height of the field when a positivity constraint is imposed. This generalizes recent results obtained in \cite{CMT} for the standard SOS model ($p=1$). △ Less

Submitted 12 January, 2017; originally announced January 2017.

Comments: 14 pages, 4 figures

Towards a universality picture for the relaxation to equilibrium of kinetically constrained models

Authors: Fabio Martinelli, Cristina Toninelli

Abstract: Recent years have seen a great deal of progress in our understanding of bootstrap percolation models, a particular class of monotone cellular automata. In the two dimensional lattice there is now a quite satisfactory understanding of their evolution starting from a random initial condition, with a strikingly beautiful universality picture for their critical behaviour. Much less is known for their… ▽ More Recent years have seen a great deal of progress in our understanding of bootstrap percolation models, a particular class of monotone cellular automata. In the two dimensional lattice there is now a quite satisfactory understanding of their evolution starting from a random initial condition, with a strikingly beautiful universality picture for their critical behaviour. Much less is known for their non-monotone stochastic counterpart, namely kinetically constrained models (KCM). In KCM each vertex is resampled (independently) at rate one by tossing a p-coin iff it can be infected in the next step by the bootstrap model. In particular infection can also heal, hence the non-monotonicity. Besides the connection with bootstrap percolation, KCM have an interest in their own as they feature some of the most striking features of the liquid/glass transition, a major and still largely open problem in condensed matter physics. In this paper we pave the way towards proving universality results for KCM similar to those for bootstrap percolation. Our novel and general approach establishes a close connection between the critical scaling of characteristic time scales for KCM and the scaling of the critical length in critical bootstrap models. Although the full proof of universality for KCM is deferred to a forthcoming paper, here we apply our general method to the Friedrickson-Andersen k-facilitated models, amongst the most studied KCM, and to the Gravner-Griffeath model. In both cases our results are close to optimal. △ Less

Submitted 20 July, 2018; v1 submitted 31 December, 2016; originally announced January 2017.

MSC Class: 60K35 (Primary); 82C22 (Secondary)

Upper triangular matrix walk: Cutoff for finitely many columns

Authors: Shirshendu Ganguly, Fabio Martinelli

Abstract: We consider random walk on the group of uni-upper triangular matrices with entries in $\mathbb{F}_2$ which forms an important example of a nilpotent group. Peres and Sly (2013) proved tight bounds on the mixing time of this walk up to constants. It is well known that the single column projection of this chain is the one dimensional East process. In this article, we complement the Peres-Sly result… ▽ More We consider random walk on the group of uni-upper triangular matrices with entries in $\mathbb{F}_2$ which forms an important example of a nilpotent group. Peres and Sly (2013) proved tight bounds on the mixing time of this walk up to constants. It is well known that the single column projection of this chain is the one dimensional East process. In this article, we complement the Peres-Sly result by proving a cutoff result for the mixing of finitely many columns in the upper triangular matrix walk at the same location as the East process of the same dimension. Moreover, we also show that the spectral gaps of the matrix walk and the East process are equal. The proof of the cutoff result is based on a recursive argument which uses a local version of a dual process appearing in Peres and Sly (2013), various combinatorial consequences of mixing and concentration results for the movement of the front in the one dimensional East process. △ Less

Submitted 27 December, 2016; originally announced December 2016.

Comments: 20 pages

MASTER OT J190519.41+301524.4: New Eclipsing Cataclysmic Variable of VY Scl Type

Authors: F. Martinelli, D. V. Denisenko

Abstract: MASTER OT J190519.41+301524.4 was discovered as an optical transient of 15.7m by the Mobile Astronomical System of TElescope-Robots in March 2014. We report the results of photometric observations of this variable performed at Lajatico Astronomical Center in June-July 2015. The light curve is showing deep V-shaped eclipses with an amplitude of two magnitudes. The orbital period was determined to b… ▽ More MASTER OT J190519.41+301524.4 was discovered as an optical transient of 15.7m by the Mobile Astronomical System of TElescope-Robots in March 2014. We report the results of photometric observations of this variable performed at Lajatico Astronomical Center in June-July 2015. The light curve is showing deep V-shaped eclipses with an amplitude of two magnitudes. The orbital period was determined to be 0.129694 d (3.113 h). Based on the archival observations and the shape of the orbital curve we suggest that MASTER OT J190519.41+301524.4 is a new cataclysmic variable of VY Scl type ("anti-nova") with an inclination angle close to 90 deg. △ Less

Submitted 29 September, 2016; originally announced September 2016.

Comments: 3 pages, 2 figures, submitted to Peremennye Zvezdy

1RXS J161935.7+524630: New Polar with the Varying Accretion Modes on two Magnetic Poles

Authors: D. V. Denisenko, F. Martinelli

Abstract: We report the discovery of a new cataclysmic variable DDE 32 identified with the ROSAT X-ray source 1RXS J161935.7+524630 in Draco. The variability was originally found by D. Denisenko on the digitized Palomar plates centered at the position of X-ray source. The photometric observations by F. Martinelli at Lajatico Astronomical Center in June 2015 have shown the large amplitude (nearly 2 magnitude… ▽ More We report the discovery of a new cataclysmic variable DDE 32 identified with the ROSAT X-ray source 1RXS J161935.7+524630 in Draco. The variability was originally found by D. Denisenko on the digitized Palomar plates centered at the position of X-ray source. The photometric observations by F. Martinelli at Lajatico Astronomical Center in June 2015 have shown the large amplitude (nearly 2 magnitudes) variability with a period about 100.5 minutes. Using the publicly available Catalina Sky Survey data from 2005 to 2013 we have improved the value of period to 0.0697944 days. Comparison of the archival CRTS data with more recent observations from Lajatico shows the dramatic changes in the light curve shape. Instead of a single peak present in Catalina data before 2014, there were two peaks of nearly the same height during 2015. SDSS spectrum taken in June 2009 shows prominent Helium emission lines between the bright Balmer series. He II 4686 AA line has more than 30% effective width compared to H_beta line. All those features allow us to interpret 1RXS J161935.7+524630 as a magnetic cataclysmic variable (polar) with the accretion mode changing from one pole before 2014 to two poles in 2015. △ Less

Submitted 27 September, 2016; originally announced September 2016.

Comments: 6 pages, 4 figures, submitted to Astronomy Letters

Dead or Alive? Long-term evolution of SN 2015bh (SNhunt275)

Authors: N. Elias-Rosa, A. Pastorello, S. Benetti, E. Cappellaro, S. Taubenberger, G. Terreran, M. Fraser, P. J. Brown, L. Tartaglia, A. Morales-Garoffolo, J. Harmanen, N. D. Richardson, 'E. Artigau, L. Tomasella, R. Margutti, S. J. Smartt, M. Dennefeld, M. Turatto, G. C. Anupama, R. Arbour, M. Berton, K. S. Bjorkman, T. Boles, F. Briganti, R. Chornock , et al. (15 additional authors not shown)

Abstract: Supernova (SN) 2015bh (or SNhunt275) was discovered in NGC 2770 on 2015 February with an absolute magnitude of Mr ~ -13.4 mag, and was initially classified as a SN impostor. Here we present the photometric and spectroscopic evolution of SN 2015bh from discovery to late phases (~ 1 yr after). In addition, we inspect archival images of the host galaxy up to ~ 21 yr before discovery, finding a burst… ▽ More Supernova (SN) 2015bh (or SNhunt275) was discovered in NGC 2770 on 2015 February with an absolute magnitude of Mr ~ -13.4 mag, and was initially classified as a SN impostor. Here we present the photometric and spectroscopic evolution of SN 2015bh from discovery to late phases (~ 1 yr after). In addition, we inspect archival images of the host galaxy up to ~ 21 yr before discovery, finding a burst ~ 1 yr before discovery, and further signatures of stellar instability until late 2014. Later on, the luminosity of the transient slowly increases, and a broad light curve peak is reached after about three months. We propose that the transient discovered in early 2015 could be a core-collapse SN explosion. The pre-SN luminosity variability history, the long-lasting rise and faintness first light curve peak suggests that the progenitor was a very massive, unstable and blue star, which exploded as a faint SN because of severe fallback of material. Later on, the object experiences a sudden brightening of 3 mag, which results from the interaction of the SN ejecta with circumstellar material formed through repeated past mass-loss events. Spectroscopic signatures of interaction are however visible at all epochs. A similar chain of events was previously proposed for the similar interacting SN 2009ip. △ Less

Submitted 6 September, 2016; v1 submitted 29 June, 2016; originally announced June 2016.

Comments: 31 pages, 19 figures, accepted for publication in MNRAS

Semiring-based Specification Approaches for Quantitative Security

Authors: Fabio Martinelli, Ilaria Matteucci, Francesco Santini

Abstract: Our goal is to provide different semiring-based formal tools for the specification of security requirements: we quantitatively enhance the open-system approach, according to which a system is partially specified. Therefore, we suppose the existence of an unknown and possibly malicious agent that interacts in parallel with the system. Two specification frameworks are designed along two different (b… ▽ More Our goal is to provide different semiring-based formal tools for the specification of security requirements: we quantitatively enhance the open-system approach, according to which a system is partially specified. Therefore, we suppose the existence of an unknown and possibly malicious agent that interacts in parallel with the system. Two specification frameworks are designed along two different (but still related) lines. First, by comparing the behaviour of a system with the expected one, or by checking if such system satisfies some security requirements: we investigate a novel approximate behavioural-equivalence for comparing processes behaviour, thus extending the Generalised Non Deducibility on Composition (GNDC) approach with scores. As a second result, we equip a modal logic with semiring values with the purpose to have a weight related to the satisfaction of a formula that specifies some requested property. Finally, we generalise the classical partial model-checking function, and we name it as quantitative partial model-checking in such a way to point out the necessary and sufficient conditions that a system has to satisfy in order to be considered as secure, with respect to a fixed security/functionality threshold-value. △ Less

Submitted 28 September, 2015; originally announced September 2015.

Comments: In Proceedings QAPL 2015, arXiv:1509.08169

ACM Class: D.2.4 Software/Program Verification F.4.1 Mahematical Logic F.4.3 Formal Languages K.6.5 Security and Protection

Journal ref: EPTCS 194, 2015, pp. 95-109

Runaway Electron Control in FTU

Authors: D. Carnevale, B. Esposito, M. Gospodarczyk, L. Boncagni, M. Sassano, S. Galeani, D. Marocco, L. Panaccione, O. Tudisco, W. Bin, C. Cianfarani, G. Ferrò, G. Granucci, A. Gabrielli, C. Maddaluno, J. R. Martìn-Solìs, Z. Popovic, F. Martinelli, G. Pucella, G. Ramogida, M. Riva, FTU Team

Abstract: Experimental results on the position and current control of disruption generated runaway electrons (RE) in FTU are presented. A scanning interferometer diagnostic has been used to analyze the time evolution of the RE beam radial position and its instabilities. Correspondence of the interferometer time traces, radial profile reconstructed via magnetic measurements and fission chamber signals are di… ▽ More Experimental results on the position and current control of disruption generated runaway electrons (RE) in FTU are presented. A scanning interferometer diagnostic has been used to analyze the time evolution of the RE beam radial position and its instabilities. Correspondence of the interferometer time traces, radial profile reconstructed via magnetic measurements and fission chamber signals are discussed. New RE control algorithms, which define in real-time updated plasma current and position references, have been tested in two experimental scenarios featuring disruption generated RE plateaus. Comparative studies among 52 discharges with disruption generated RE beam plateaus are presented in order to assess the effectiveness of the proposed control strategies as the RE beam interaction with the plasma facing components is reduced while the current is ramped-down. △ Less

Submitted 11 December, 2015; v1 submitted 22 August, 2015; originally announced August 2015.

Dynamics of Lattice Triangulations on Thin Rectangles

Authors: Pietro Caputo, Fabio Martinelli, Alistair Sinclair, Alexandre Stauffer

Abstract: We consider random lattice triangulations of $n\times k$ rectangular regions with weight $λらむだ^{|σしぐま|}$ where $λらむだ>0$ is a parameter and $|σしぐま|$ denotes the total edge length of the triangulation. When $λらむだ\in(0,1)$ and $k$ is fixed, we prove a tight upper bound of order $n^2$ for the mixing time of the edge-flip Glauber dynamics. Combined with the previously known lower bound of order $\exp(Ωおめが(n^2))$ for… ▽ More We consider random lattice triangulations of $n\times k$ rectangular regions with weight $λらむだ^{|σしぐま|}$ where $λらむだ>0$ is a parameter and $|σしぐま|$ denotes the total edge length of the triangulation. When $λらむだ\in(0,1)$ and $k$ is fixed, we prove a tight upper bound of order $n^2$ for the mixing time of the edge-flip Glauber dynamics. Combined with the previously known lower bound of order $\exp(Ωおめが(n^2))$ for $λらむだ>1$ [3], this establishes the existence of a dynamical phase transition for thin rectangles with critical point at $λらむだ=1$. △ Less

Submitted 22 May, 2015; originally announced May 2015.

Modal and nonmodal stability analysis of electrohydrodynamic flow with and without cross-flow

Authors: Mengqi Zhang, Fulvio Martinelli, Jian Wu, Peter J. Schmid, Maurizio Quadrio

Abstract: We report the results of a complete modal and nonmodal linear stability analysis of the electrohydrodynamic flow (EHD) for the problem of electroconvection in the strong injection region. Convective cells are formed by Coulomb force in an insulating liquid residing between two plane electrodes subject to unipolar injection. Besides pure electroconvection, we also consider the case where a cross-fl… ▽ More We report the results of a complete modal and nonmodal linear stability analysis of the electrohydrodynamic flow (EHD) for the problem of electroconvection in the strong injection region. Convective cells are formed by Coulomb force in an insulating liquid residing between two plane electrodes subject to unipolar injection. Besides pure electroconvection, we also consider the case where a cross-flow is present, generated by a streamwise pressure gradient, in the form of a laminar Poiseuille flow. The effect of charge diffusion, often neglected in previous linear stability analyses, is included in the present study and a transient growth analysis, rarely considered in EHD, is carried out. In the case without cross-flow, a non-zero charge diffusion leads to a lower linear stability threshold and thus to a more unstable low. The transient growth, though enhanced by increasing charge diffusion, remains small and hence cannot fully account for the discrepancy of the linear stability threshold between theoretical and experimental results. When a cross-flow is present, increasing the strength of the electric field in the high-$Re$ Poiseuille flow yields a more unstable flow in both modal and nonmodal stability analyses. Even though the energy analysis and the input-output analysis both indicate that the energy growth directly related to the electric field is small, the electric effect enhances the lift-up mechanism. The symmetry of channel flow with respect to the centerline is broken due to the additional electric field acting in the wall-normal direction. As a result, the centers of the streamwise rolls are shifted towards the injector electrode, and the optimal spanwise wavenumber achieving maximum transient energy growth increases with the strength of the electric field. △ Less

Submitted 2 April, 2015; originally announced April 2015.

Mixing time and local exponential ergodicity of the East-like process in $\mathbf Z^d$

Authors: Paul Chleboun, Alessandra Faggionato, Fabio Martinelli

Abstract: The East process, a well known reversible linear chain of spins, represents the prototype of a general class of interacting particle systems with constraints modeling the dynamics of real glasses. In this paper we consider a generalization of the East process living in the d-dimensional lattice and we establish new progresses on the out- of-equilibrium behavior. In particular we prove a form of (l… ▽ More The East process, a well known reversible linear chain of spins, represents the prototype of a general class of interacting particle systems with constraints modeling the dynamics of real glasses. In this paper we consider a generalization of the East process living in the d-dimensional lattice and we establish new progresses on the out- of-equilibrium behavior. In particular we prove a form of (local) exponential ergodicity when the initial distribution is far from the stationary one and we prove that the mixing time in a finite box grows linearly in the side of the box. △ Less

Submitted 9 January, 2015; originally announced January 2015.

MSC Class: 60K35

CzeV404 - an eclipsing dwarf nova in the period gap during its July 2014 superoutburst

Authors: K. Bakowska, A. Olech, R. Pospieszynski, F. Martinelli, A. Marciniak

Abstract: Results of the CCD observations of CzeV404 Her are displayed. During the season of June-August 2014 we detected one outburst and one superoutburst of the star. Clear superhumps with the period of P_sh=0.10472(2) days were observed. The superhump period was decreasing with a high value of P_dot=-2.43(8) x 10^(-4). For 17 eclipses, we calculated an orbital period with the value of P_orb=0.0980203(6)… ▽ More Results of the CCD observations of CzeV404 Her are displayed. During the season of June-August 2014 we detected one outburst and one superoutburst of the star. Clear superhumps with the period of P_sh=0.10472(2) days were observed. The superhump period was decreasing with a high value of P_dot=-2.43(8) x 10^(-4). For 17 eclipses, we calculated an orbital period with the value of P_orb=0.0980203(6) days which indicates that CzeV404 Her belongs to period gap objects and it is the longest orbital period eclipsing SU UMa star. Based on superhump and orbital period determinations, the period excess 6.8 % +/- 0.02 % and the mass ratio q ~ 0.32 of the system were obtained. △ Less

Submitted 31 December, 2014; v1 submitted 3 November, 2014; originally announced November 2014.

Comments: 12 pages, 7 figures, 3 tables, accepted by Acta Astronomica

Multi-level pinning problems for random walks and self-avoiding lattice paths

Authors: Pietro Caputo, Fabio Martinelli, Fabio Lucio Toninelli

Abstract: We consider a generalization of the classical pinning problem for integer-valued random walks conditioned to stay non-negative. More specifically, we take pinning potentials of the form $\sum_{j\geq 0}εいぷしろん_j N_j$, where $N_j$ is the number of visits to the state $j$ and $\{εいぷしろん_j\}$ is a non-negative sequence. Partly motivated by similar problems for low-temperature contour models in statistical physics… ▽ More We consider a generalization of the classical pinning problem for integer-valued random walks conditioned to stay non-negative. More specifically, we take pinning potentials of the form $\sum_{j\geq 0}εいぷしろん_j N_j$, where $N_j$ is the number of visits to the state $j$ and $\{εいぷしろん_j\}$ is a non-negative sequence. Partly motivated by similar problems for low-temperature contour models in statistical physics, we aim at finding a sharp characterization of the threshold of the wetting transition, especially in the regime where the variance $σしぐま^2$ of the single step of the random walk is small. Our main result says that, for natural choices of the pinning sequence $\{εいぷしろん_j\}$, localization (respectively delocalization) occurs if $σしぐま^{-2}\sum_{ j\geq0}(j+1)εいぷしろん_j\geqδでるた^{-1}$ (respectively $\le δでるた$), for some universal $δでるた<1$. Our finding is reminiscent of the classical Bargmann-Jost-Pais criteria for the absence of bound states for the radial Schrödinger equation. The core of the proof is a recursive argument to bound the free energy of the model. Our approach is rather robust, which allows us to obtain similar results in the case where the random walk trajectory is replaced by a self-avoiding path $γがんま$ in $\mathbb Z^2$ with weight $\exp(-βべーた|γがんま|)$, $|γがんま|$ being the length of the path and $βべーた>0$ a large enough parameter. This generalization is directly relevant for applications to the above mentioned contour models. △ Less

Submitted 10 October, 2014; originally announced October 2014.

Comments: 31 pages 1 figure

MSC Class: 60K35; 82B41; 82C24

Journal ref: Electronic Journal of Probability 20 (n. 8), pp. 1-29, 2015

Optical and X-ray behaviour of the high mass X-ray transient A0535+26/HDE245770 in February-March 2014

Authors: F. Giovannelli, G. S. Bisnovatyi-Kogan, I. Bruni, G. Corfini, F. Martinelli, C. Rossi

Abstract: The optical behaviour of the Be star in the high-mass X-ray transient A0535+26/HDE245770 shows that at periastron the luminosity is typically enhanced by 0.02 to a few tenths magnitude, and the X-ray outburst occurs eight days after the periastron. Indeed, at the periastron an increase of the mass flux occurs. This sort of flush reaches the external part of the temporary accretion disk around the… ▽ More The optical behaviour of the Be star in the high-mass X-ray transient A0535+26/HDE245770 shows that at periastron the luminosity is typically enhanced by 0.02 to a few tenths magnitude, and the X-ray outburst occurs eight days after the periastron. Indeed, at the periastron an increase of the mass flux occurs. This sort of flush reaches the external part of the temporary accretion disk around the neutron star and moves to the hot central parts of the accretion disk and the neutron star surface. The time necessary for this way is dependent on the turbulent viscosity in the accretion disk, as discussed by Giovannelli, Bisnovatyi-Kogan, and Klepnev (2013) (GBK13). In this paper we will show the behaviour of this system in optical band around the predicted periastron passage on 21st February 2014, by using the GBK13 ephemeris that we used to schedule our spectroscopic and photometric optical observations. Spectroscopic unusual activity detected in the Balmer lines and the enhancement in the emission in B, V, and R bands around the periastron passage, and the subsequent X-ray event definitively demonstrate the existence of about 8 day delay between optical and X-ray flares. △ Less

Submitted 11 September, 2014; originally announced September 2014.

The influence of dimension on the relaxation process of East-like models

Authors: Paul Chleboun, Alessandra Faggionato, Fabio Martinelli

Abstract: We consider the relaxation process and the out-of-equilibrium dynamics of natural generalizations to arbitrary dimensions of the well known one dimensional East process. These facilitated models are supposed to catch some of the main features of the complex dynamics of fragile glasses. We focus on the low temperature regime (small density $c \approx e^{-βべーた}$ of the facilitating sites). In the liter… ▽ More We consider the relaxation process and the out-of-equilibrium dynamics of natural generalizations to arbitrary dimensions of the well known one dimensional East process. These facilitated models are supposed to catch some of the main features of the complex dynamics of fragile glasses. We focus on the low temperature regime (small density $c \approx e^{-βべーた}$ of the facilitating sites). In the literature the relaxation process for the above models has been assumed to be quasi-one dimensional and, in particular, their equilibration time has been computed using the relaxation time of the East model ($d=1$) on the equilibrium length scale $L_c=(1/c)^{1/d}$ in $d$-dimension. This led to the derivation of a super-Arrhenius scaling for the relaxation time of the form $T_{\rm rel} \asymp \exp(βべーた^2/d\log 2)$. In a companion paper, using mainly renormalization group ideas and electrical networks methods, we rigorously establish that instead $T_{\rm rel} \asymp \exp(βべーた^2/2d\log 2)$, a result showing that the relaxation process cannot be quasi-one-dimensional. The above scaling sharply confirms previous MCAMC (Monte Carlo with Absorbing Markov Chains) simulations. Next we compute the relaxation time at finite and mesoscopic length scales, and show a dramatic dependence on the boundary conditions, yet another indication of key dimensional effects. Our final result is related to the out-of-equilibrium dynamics. Starting with a single facilitating site at the origin we show that, up to length scales $L=O(L_c)$, its influence propagates much faster (on a logarithmic scale) along the diagonal direction than along the axes directions. Such unexpected result is due to a rather delicate balance between dynamical energy barriers and entropic effects in the constrained dynamics. △ Less

Submitted 4 July, 2014; originally announced July 2014.

Comments: 6 pages, 2 figures