Searcharxiv⌕ Search

arXiv subjects

Massimiliano Rossi

Publications and source records attributed to Massimiliano Rossi.

At least 37 records · Page 2Linked to original sources

Computing the original eBWT faster, simpler, and with less memory

Mantaci et al. [TCS 2007] defined the eBWT to extend the definition of the BWT to a collection of strings, however, since this introduction, it has been used more generally to describe any BWT of a collection of strings and the fundamental property of the original definition (i.e., the independence from the input order) is frequently disregarded. In this paper, we propose a simple linear-time algorithm for the construction of the original eBWT, which does not require the preprocessing of Bannai et al. [CPM 2021]. As a byproduct, we obtain the first linear-time algorithm for computing the BWT of a single string that uses neither an end-of-string symbol nor Lyndon rotations. We combine our new eBWT construction with a variation of prefix-free parsing to allow for scalable construction of the eBWT. We evaluate our algorithm (pfpebwt) on sets of human chromosomes 19, Salmonella, and SARS-CoV2 genomes, and demonstrate that it is the fastest method for all collections, with a maximum speedup of 7.6x on the second best method. The peak memory is at most 2x larger than the second best method. Comparing with methods that are also, as our algorithm, able to report suffix array samples, we obtain a 57.1x improvement in peak memory. The source code is publicly available at https://github.com/davidecenzato/PFP-eBWT.

cs.DS↗

On Infinite Prefix Normal Words

Prefix normal words are binary words that have no factor with more $1$s than the prefix of the same length. Finite prefix normal words were introduced in [Fici and Lipták, DLT 2011]. In this paper, we study infinite prefix normal words and explore their relationship to some known classes of infinite binary words. In particular, we establish a connection between prefix normal words and Sturmian words, between prefix normal words and abelian complexity, and between prefix normality and lexicographic order.

math.CO↗

Pattern Discovery in Colored Strings

In this paper, we consider the problem of identifying patterns of interest in colored strings. A colored string is a string where each position is assigned one of a finite set of colors. Our task is to find substrings of the colored string that always occur followed by the same color at the same distance. The problem is motivated by applications in embedded systems verification, in particular, assertion mining. The goal there is to automatically find properties of the embedded system from the analysis of its simulation traces. We show that, in our setting, the number of patterns of interest is upper-bounded by $\mathcal{O}(n^2)$, where $n$ is the length of the string. We introduce a baseline algorithm, running in $\mathcal{O}(n^2)$ time, which identifies all patterns of interest satisfying certain minimality conditions, for all colors in the string. For the case where one is interested in patterns related to one color only, we also provide a second algorithm which runs in $\mathcal{O}(n^2\log n)$ time in the worst case but is faster than the baseline algorithm in practice. Both solutions use suffix trees, and the second algorithm also uses an appropriately defined priority queue, which allows us to reduce the number of computations. We performed an experimental evaluation of the proposed approaches over both synthetic and real-world datasets, and found that the second algorithm outperforms the first algorithm on all simulated data, while on the real-world data, the performance varies between a slight slowdown (on half of the datasets) and a speedup by a factor of up to 11.

cs.DS↗

Quantum control of a nanoparticle optically levitated in cryogenic free space

Tests of quantum mechanics on a macroscopic scale require extreme control over mechanical motion and its decoherence. Quantum control of mechanical motion has been achieved by engineering the radiation-pressure coupling between a micromechanical oscillator and the electromagnetic field in a resonator. Furthermore, measurement-based feedback control relying on cavity-enhanced detection schemes has been used to cool micromechanical oscillators to their quantum ground states. In contrast to mechanically tethered systems, optically levitated nanoparticles are particularly promising candidates for matter-wave experiments with massive objects, since their trapping potential is fully controllable. In this work, we optically levitate a femto-gram dielectric particle in cryogenic free space, which suppresses thermal effects sufficiently to make the measurement backaction the dominant decoherence mechanism. With an efficient quantum measurement, we exert quantum control over the dynamics of the particle. We cool its center-of-mass motion by measurement-based feedback to an average occupancy of 0.65 motional quanta, corresponding to a state purity of 43%. The absence of an optical resonator and its bandwidth limitations holds promise to transfer the full quantum control available for electromagnetic fields to a mechanical system. Together with the fact that the optical trapping potential is highly controllable, our experimental platform offers a route to investigating quantum mechanics at macroscopic scales.

quant-ph↗

Modelling and observation of nonlinear damping in dissipation-diluted nanomechanical resonators

Dissipation dilution enables extremely low linear loss in stressed, high-aspect ratio nanomechanical resonators, such as strings or membranes. Here, we report on the observation and theoretical modelling of nonlinear dissipation in such structures. We introduce an analytical model based on von Kármán theory, which can be numerically evaluated using finite-element models for arbitrary geometries. We use this approach to predict nonlinear loss and (Duffing) frequency shift in ultracoherent phononic membrane resonators. A set of systematic measurements with silicon nitride membranes shows good agreement with the model for low-order soft-clamped modes. Our analysis also reveals quantitative connections between these nonlinearities and dissipation dilution. This is of interest for future device design, and can provide important insight when diagnosing the performance of dissipation dilution in an experimental setting.

physics.app-ph↗

PHONI: Streamed Matching Statistics with Multi-Genome References

Computing the matching statistics of patterns with respect to a text is a fundamental task in bioinformatics, but a formidable one when the text is a highly compressed genomic database. Bannai et al. gave an efficient solution for this case, which Rossi et al. recently implemented, but it uses two passes over the patterns and buffers a pointer for each character during the first pass. In this paper, we simplify their solution and make it streaming, at the cost of slowing it down slightly. This means that, first, we can compute the matching statistics of several long patterns (such as whole human chromosomes) in parallel while still using a reasonable amount of RAM; second, we can compute matching statistics online with low latency and thus quickly recognize when a pattern becomes incompressible relative to the database.

cs.DS↗

DefocusTracker: A modular toolbox for defocusing-based, single-camera, 3D particle tracking

The need for single-camera 3D particle tracking methods is growing, among others, due to the increasing focus in biomedical research often relying on single-plane microscopy imaging. Defocusing-based methods are ideal for a wide-spread use as they rely on basic microscopy imaging rather than requiring additional non-standard optics. However, a wide-spread use has been limited by the lack of accessible and easy-to-use software. DefocusTracker is an open-source toolbox based on the universal principles of General Defocusing Particle Tracking (GDPT) relying solely on a reference look-up table and image recognition to connect a particle's image and its respective out-of-plane depth coordinate. The toolbox is built in a modular fashion, allowing for easy addition of new image recognition methods, while maintaining the same workflow and external user interface. DefocusTracker is implemented in MATLAB, while a parallel implementation in Python is in the preparation.

physics.flu-dyn↗

Warping effects in strongly perturbed metrics

A technique devised some years ago permits to study a theory in a regime of strong perturbations. This translates into a gradient expansion that, at the leading order, can recover the BKL solution in general relativity. We solve exactly the leading order Einstein equations in a spherical symmetric case, assuming a Schwarzschild metric under the effect of a time-dependent perturbation, and we show that the 4-velocity in such a case is multiplied by an exponential warp factor when the perturbation is properly applied. This factor is always greater than one. We will give a closed form solution of this factor for a simple case. Some numerical examples are also given.

gr-qc↗

Size-dependent particle migration and trapping in 3D microbubble streaming flows

Acoustically actuated sessile bubbles can be used as a tool to manipulate microparticles, vesicles and cells. In this work, using acoustically actuated sessile semi-cylindrical microbubbles, we demonstrate experimentally that finite-sized microparticles undergo size-sensitive migration and trapping towards specific spatial positions in three dimensions with high reproducibility. The particle trajectories are successfully reproduced by passive advection of the particles in a steady three-dimensional streaming flow field augmented with volume exclusion from the confining boundaries. For different particle sizes, this volume exclusion mechanism leads to three regimes of qualitatively different migratory behavior, suggesting applications for separating, trapping, and sorting of particles in three dimensions.

physics.flu-dyn↗

A fast and robust algorithm for General Defocusing Particle Tracking

The increasing use of microfluidics in industrial, biomedical, and clinical applications requires a more and more precise control of the microfluidic flows and suspended particles or cells. This leads to higher demands in three-dimensional and automated particle tracking methods, e.g. for use in feedback-control systems. General defocusing particle tracking (GDPT) is a 3D particle tracking method based on defocused particle images which is easy to use and requires standard laboratory equipment. In this work, we describe in detail a fast and robust algorithm for performing GDPT, which is suitable for automatized and real-time applications. Its key feature is a fast, segmentation-free approach to identify particles and estimate their 3D position. This detection step is followed by a refinement and iteration step to improve accuracy and identification of overlapping particles. We show that the algorithm is versatile and can be applied to different types of images (darkfield and brightfield). We use synthetic image sets of varying particle concentration to evaluate the performance of the algorithm in terms of detected depth coordinate uncertainty, particle detection rate, and processing time. The algorithm is applied and validated on experimental images showing that it is robust towards background or illumination fluctuations. Finally, to test the algorithm on real-time applications, we use synthetic images to set up a simulation framework with experimentally-relevant parameters and where the true particle positions are known.

physics.flu-dyn↗

Experimental assessment of entropy production in a continuously measured mechanical resonator

The information on a quantum process acquired through measurements plays a crucial role in the determination of its non-equilibrium thermodynamic properties. We report on the experimental inference of the stochastic entropy production rate for a continuously monitored mesoscopic quantum system. We consider an optomechanical system subjected to continuous displacement Gaussian measurements and characterise the entropy production rate of the individual trajectories followed by the system in its stochastic dynamics, employing a phase-space description in terms of the Wigner entropy. Owing to the specific regime of our experiment, we are able to single out the informational contribution to the entropy production arising from conditioning the state on the measurement outcomes. Our experiment embodies a significant step towards the demonstration of full-scale control of fundamental thermodynamic processes at the mesoscopic quantum scale.

quant-ph↗

Gravitational wave detectors with broadband high frequency sensitivity

The binary neutron star coalescence GW170817 was observed by gravitational wave detectors during the inspiral phase but sensitivity in the 1-5 kHz band was insufficient to observe the expected nuclear matter signature of the merger itself, and the process of black hole formation. This provides strong motivation for improving 1--5 kHz sensitivity which is currently limited by photon shot noise. Resonant enhancement by signal recycling normally improves the signal to noise ratio at the expense of bandwidth. The concept of optomechanical white light signal recycling (WLSR) has been proposed, but all schemes to date have been reliant on the development of suitable ultra-low mechanical loss components. Here for the first time we show demonstrated optomechanical resonator structures that meet the loss requirements for a WLSR interferometer with strain sensitivity below 10$^{-24}$ Hz$^{-1/2}$ at a few kHz. Experimental data for two resonators are combined with analytic models of 4km interferometers similar to LIGO, to demonstrate sensitivity enhancement across a much broader band of neutron star coalescence frequencies than dual-recycled Fabry-Perot Michelson detectors of the same length. One candidate resonator is a silicon nitride membrane acoustically isolated from the environment by a phononic crystal. The other is a single-crystal quartz lens that supports bulk acoustic longitudinal waves. Optical power requirements could prefer the membrane resonator, although the bulk acoustic wave resonator gives somewhat better thermal noise performance. Both could be implemented as add-on components to existing detectors.

physics.optics↗

PFP Data Structures

Prefix-free parsing (PFP) was introduced by Boucher et al. (2019) as a preprocessing step to ease the computation of Burrows-Wheeler Transforms (BWTs) of genomic databases. Given a string $S$, it produces a dictionary $D$ and a parse $P$ of overlapping phrases such that $\mathrm{BWT} (S)$ can be computed from $D$ and $P$ in time and workspace bounded in terms of their combined size $|\mathrm{PFP} (S)|$. In practice $D$ and $P$ are significantly smaller than $S$ and computing $\mathrm{BWT} (S)$ from them is more efficient than computing it from $S$ directly, at least when $S$ consists of genomes from individuals of the same species. In this paper, we consider $\mathrm{PFP} (S)$ as a {\em data structure} and show how it can be augmented to support the following queries quickly, still in $O (|\mathrm{PFP} (S)|)$ space: longest common extension (LCE), suffix array (SA), longest common prefix (LCP) and BWT. Lastly, we provide experimental evidence that the PFP data structure can be efficiently constructed for very large repetitive datasets: it takes one hour and 54 GB peak memory for $1000$ variants of human chromosome 19, initially occupying roughly 56 GB.

cs.DS↗

Tailoring r-index for metagenomics

A basic problem in metagenomics is to assign a sequenced read to the correct species in the reference collection. In typical applications in genomic epidemiology and viral metagenomics the reference collection consists of set of species with each species represented by its highly similar strains. It has been recently shown that accurate read assignment can be achieved with $k$-mer hashing-based pseudoalignment: A read is assigned to species A if each of its $k$-mer hits to reference collection is located only on strains of A. We study the underlying primitives required in pseudoalignment and related tasks. We propose three space-efficient solutions building upon the document listing with frequencies problem. All the solutions use an $r$-index (Gagie et al., SODA 2018) as an underlying index structure for the text obtained as concatenation of the set of species, as well as for each species. Given $t$ species whose concatenation length is $n$, and whose Burrows-Wheeler transform contains $r$ runs, our first solution, based on a grammar-compressed document array with precomputed queries at non terminal symbols, reports the frequencies for the ${\tt ndoc}$ distinct documents in which the pattern of length $m$ occurs in ${\cal O}(m + \log(n){\tt ndoc}) $ time. Our second solution is also based on a grammar-compressed document array, but enhanced with bitvectors and reports the frequencies in ${\cal O}(m + ((t/w)\log n + \log(n/r)){\tt ndoc})$ time, over a machine with wordsize $w$. Our third solution, based on the interleaved LCP array, answers the same query in ${\cal O}(m + \log(n/r){\tt ndoc})$. We implemented our solutions and tested them on real-world and synthetic datasets. The results show that all the solutions are fast on highly-repetitive data, and the size overhead introduced by the indexes are comparable with the size of the $r$-index.

cs.DS↗

General Defocusing Particle Tracking: fundamentals and uncertainty assessment

General Defocusing Particle Tracking (GDPT) is a single-camera, three-dimensional particle tracking method that determines the particle depth positions from the defocusing patterns of the corresponding particle images. GDPT relies on a reference set of experimental particle images which is used to predict the depth position of measured particle images of similar shape. While several implementations of the method are possible, its accuracy is ultimately limited by some intrinsic properties of the acquired data, such as the signal-to-noise ratio, the particle concentration, as well as the characteristics of the defocusing patterns. GDPT has been applied in different fields by different research groups, however, a deeper description and analysis of the method fundamentals has hitherto not been available. In this work, we first identity the fundamental elements that characterize a GDPT measurement. Afterwards, we present a standardized framework based on synthetic images to assess the performance of GDPT implementations in terms of measurement uncertainty and relative number of measured particles. Finally, we provide guidelines to assess the uncertainty of experimental GDPT measurements, where true values are not accessible and additional image aberrations can lead to bias errors. The data were processed using DefocusTracker, an open-source GDPT software. The datasets were created using the synthetic image generator MicroSIG and have been shared in a freely-accessible repository.

physics.flu-dyn↗

Entanglement of Propagating Optical Modes via a Mechanical Interface

Many applications of quantum information processing (QIP) require distribution of quantum states in networks, both within and between distant nodes. Optical quantum states are uniquely suited for this purpose, as they propagate with ultralow attenuation and are resilient to ubiquitous thermal noise. Mechanical systems are then envisioned as versatile interfaces between photons and a variety of solid-state QIP platforms. Here, we demonstrate a key step towards this vision, and generate entanglement between two propagating optical modes, by coupling them to the same, cryogenic mechanical system. The entanglement persists at room temperature, where we verify the inseparability of the bipartite state and fully characterize its logarithmic negativity by homodyne tomography. We detect, without any corrections, correlations corresponding to a logarithmic negativity of $E_\mathrm{N}=0.35$. Combined with quantum interfaces between mechanical systems and solid-state qubit processors already available or under development, this paves the way for mechanical systems enabling long-distance quantum information networking over optical fiber networks.

quant-ph↗

Observing and Verifying the Quantum Trajectory of a Mechanical Resonator

Continuous weak measurement allows localizing open quantum systems in state space, and tracing out their quantum trajectory as they evolve in time. Efficient quantum measurement schemes have previously enabled recording quantum trajectories of microwave photon and qubit states. We apply these concepts to a macroscopic mechanical resonator, and follow the quantum trajectory of its motional state conditioned on a continuous optical measurement record. Starting with a thermal mixture, we eventually obtain coherent states of 78% purity--comparable to a displaced thermal state of occupation 0.14. We introduce a retrodictive measurement protocol to directly verify state purity along the trajectory, and furthermore observe state collapse and decoherence. This opens the door to measurement-based creation of advanced quantum states, and potential tests of gravitational decoherence models.

quant-ph↗

Continuous Force and Displacement Measurement Below the Standard Quantum Limit

Quantum mechanics dictates that the precision of physical measurements must be subject to certain constraints. In the case of inteferometric displacement measurements, these restrictions impose a 'standard quantum limit' (SQL), which optimally balances the precision of a measurement with its unwanted backaction. To go beyond this limit, one must devise more sophisticated measurement techniques, which either 'evade' the backaction of the measurement, or achieve clever cancellation of the unwanted noise at the detector. In the half-century since the SQL was established, systems ranging from LIGO to ultracold atoms and nanomechanical devices have pushed displacement measurements towards this limit, and a variety of sub-SQL techniques have been tested in proof-of-principle experiments. However, to-date, no experimental system has successfully demonstrated an interferometric displacement measurement with sensitivity (including all relevant noise sources: thermal, backaction, and imprecision) below the SQL. Here, we exploit strong quantum correlations in an ultracoherent optomechanical system to demonstrate off-resonant force and displacement sensitivity reaching 1.5dB below the SQL. This achieves an outstanding goal in mechanical quantum sensing, and further enhances the prospects of using such devices for state-of-the-art force sensing applications.

quant-ph↗