Results for "Ivano Tavernelli"

total 144took 0.15s
Quantum gravity: a geometrical perspectiveJan 13 2018Jan 06 2019We present a theory of quantum gravity that combines a geometrical formulation of quantum field theory in space-time with classical Einstein's general relativity. This approach is based on the geometrization of quantum mechanics proposed in refs.[1,2] ... More
On the Geometrization of Quantum MechanicsOct 21 2015Aug 12 2017Nonrelativistic quantum mechanics is commonly formulated in terms of wavefunctions (probability amplitudes) obeying the static and the time-dependent Schroedinger equations (SE). Despite the success of this representation of the quantum world a wave-particle ... More
On the Geometrization of Quantum MechanicsOct 21 2015Nonrelativistic quantum mechanics is commonly formulated in terms of wavefunctions (probability amplitudes) obeying the static and the time-dependent Schroedinger equations (SE). Despite the success of this representation of the quantum world a wave-particle ... More
On the self-interference in electron scattering: Copenhagen, Bohmian and geometrical interpretations of quantum mechanicsOct 06 2017Apr 29 2018Self-interference embodies the essence of the particle-wave interpretation of quantum mechanics (QM). According to the Copenhagen particle-wave interpretation of QM, self-interference by a double slit requires a large transverse coherence of the incident ... More
Improving Variational Quantum Optimization using CVaRJul 10 2019Hybrid quantum/classical variational algorithms can be implemented on noisy intermediate-scale quantum computers and can be used to find solutions for combinatorial optimization problems. Approaches discussed in the literature minimize the expectation ... More
Ultrafast dynamics of photoinduced charge separationJun 20 2017Nov 30 2017Phenomena involving electron transfer are ubiquitous in nature, photosynthesis and enzymes or protein activity being prominent examples. Their deep understanding thus represents a mandatory scientific goal. Moreover, controlling the separation of photogenerated ... More
Quantum optimization using variational algorithms on near-term quantum devicesOct 03 2017Oct 09 2017Universal fault-tolerant quantum computers will require error-free execution of long sequences of quantum gate operations, which is expected to involve millions of physical qubits. Before the full power of such machines will be available, near-term quantum ... More
Universal Steps in Quantum Dynamics with Time-Dependent Potential-Energy Surfaces: Beyond the Born-Oppenheimer PictureDec 28 2015Nov 29 2016It was recently shown [G. Albareda, et al., Phys. Rev. Lett. 113, 083003 (2014)] that within the conditional decomposition approach to the coupled electron-nuclear dynamics, the electron-nuclear wave function can be exactly decomposed into an ensemble ... More
Universal Steps in Quantum Dynamics with Time-Dependent Potential-Energy Surfaces: Beyond the Born-Oppenheimer PictureDec 28 2015Feb 16 2016In the conditional approach to molecular dynamics the electron-nuclear wavefunction is exactly decomposed into an ensemble of nuclear wavepackets governed by conditional time-dependent potential-energy surfaces ($\mathbb{C}$-TDPESs) [G. Albareda, et al., ... More
Early stages of radiation damage in graphite and carbon nanostructures: A first-principles molecular dynamics studyMar 25 2007Understanding radiation-induced defect formation in carbon materials is crucial for nuclear technology and for the manufacturing of nanostructures with desired properties. Using first principles molecular dynamics, we perform a systematic study of the ... More
Optimizing qubit resources for quantum chemistry simulations in second quantization on a quantum computerOct 14 2015May 11 2016Quantum chemistry simulations on a quantum computer suffer from the overhead needed for encoding the fermionic problem in a bosonic system of qubits. By exploiting the block diagonality of a fermionic Hamiltonian, we show that the number of required qubits ... More
Universal Steps in Quantum Dynamics with Time-Dependent Potential-Energy Surfaces: Beyond the Born-Oppenheimer PictureDec 28 2015Jun 12 2018It was recently shown [G. Albareda, et al., Phys. Rev. Lett. 113, 083003 (2014)] that within the conditional decomposition approach to the coupled electron-nuclear dynamics, the electron-nuclear wave function can be exactly decomposed into an ensemble ... More
Super-BMS$_3$ algebras from $\mathcal{N}=2$ flat supergravitiesOct 24 2016We consider two possible flat space limits of three dimensional $\mathcal{N} = (1,1)$ AdS supergravity. They differ by how the supercharges are scaled with the AdS radius $\ell$: the first limit (democratic) leads to the usual super-Poincar\'e theory, ... More
Constraint Coupled Distributed Optimization: a Relaxation and Duality ApproachNov 25 2017Jun 14 2018In this paper we consider a general, challenging distributed optimization set-up arising in several important network control applications. Agents of a network want to minimize the sum of local cost functions, each one depending on a local variable, subject ... More
Fermionic Hamiltonians for quantum simulations: a general reduction schemeJun 12 2017Jun 14 2017Many-body fermionic quantum calculations performed on analog quantum computers are restricted by the presence of k-local terms, which represent interactions among more than two qubits. These originate from the fermion-to-qubit mapping applied to the electronic ... More
Super-BMS$_3$ algebras from $\mathcal{N}=2$ flat supergravitiesOct 24 2016Nov 15 2016We consider two possible flat space limits of three dimensional $\mathcal{N} = (1,1)$ AdS supergravity. They differ by how the supercharges are scaled with the AdS radius $\ell$: the first limit (democratic) leads to the usual super-Poincar\'e theory, ... More
A Duality-Based Approach for Distributed Optimization with Coupling ConstraintsApr 24 2018In this paper we consider a distributed optimization scenario in which a set of agents has to solve a convex optimization problem with separable cost function, local constraint sets and a coupling inequality constraint. We propose a novel distributed ... More
Using optical resonances to control heat generation and propagation in silicon nanostructuresNov 27 2018Here we propose a new computational approach to light-to-matter interactions in silicon nanopillars, which simulates heat generation and propagation dynamics occurring in continuous wave laser processing over a wide temporal range (from 1 fs to about ... More
Prabhakar-like fractional viscoelasticityMay 25 2017Aug 09 2017The aim of this paper is to present a linear viscoelastic model based on Prabhakar fractional operators. In particular, we propose a modification of the classical fractional Maxwell model, in which we replace the Caputo derivative with the Prabhakar one. ... More
A boosted Kerr black hole solution and the structure of a general astrophysical black holeAug 03 2016May 24 2017A solution of Einstein's vacuum field equations that describes a boosted Kerr black hole relative to an asymptotic Lorentz frame at the future null infinity is derived. The solution has three parameters (mass, rotation and boost) and corresponds to the ... More
Entanglement generation in superconducting qubits using holonomic operationsApr 13 2018We investigate a non-adiabatic holonomic operation that enables us to entangle two fixed-frequency superconducting transmon qubits attached to a common bus resonator. Two coherent microwave tones are applied simultaneously to the two qubits and drive ... More
Asynchronous Distributed Optimization via Randomized Dual Proximal GradientSep 28 2015Jun 24 2016In this paper we consider distributed optimization problems in which the cost function is separable, i.e., a sum of possibly non-smooth functions all sharing a common variable, and can be split into a strongly convex term and a convex one. The second ... More
A boosted Kerr black hole solution and the structure of a general astrophysical black holeAug 03 2016Nov 30 2016A solution of Einstein's vacuum field equations that describes a boosted Kerr black hole relative to an asymptotic Lorentz frame at the future null infinity is derived. The solution has three parameters (mass, rotation and boost) and corresponds to the ... More
Super-BMS$_3$ algebras from $\mathcal{N}=2$ flat supergravitiesOct 24 2016Dec 01 2016We consider two possible flat space limits of three dimensional $\mathcal{N} = (1,1)$ AdS supergravity. They differ by how the supercharges are scaled with the AdS radius $\ell$: the first limit (democratic) leads to the usual super-Poincare theory, while ... More
Three Euler's Sieves and a Fast Prime Generator (Functional Pearl)Nov 24 2018Nov 29 2018The Euler's Sieve refines the Sieve of Eratosthenes to compute prime numbers, by crossing off each non prime number just once. Euler's Sieve is considered hard to be faithfully and efficiently coded as a purely functional stream based program. We propose ... More
Bisimulation in Inquisitive Modal LogicJul 27 2017Inquisitive modal logic, InqML, is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested ... More
Randomized dual proximal gradient for large-scale distributed optimizationSep 19 2016In this paper we consider distributed optimization problems in which the cost function is separable (i.e., a sum of possibly non-smooth functions all sharing a common variable) and can be split into a strongly convex term and a convex one. The second ... More
A boosted Kerr black hole solution and the structure of a general astrophysical black holeAug 03 2016A solution of Einstein's vacuum field equations that describes a boosted Kerr black hole relative to an asymptotic Lorentz frame at the future null infinity is derived. The solution has three parameters (mass, rotation and boost) and corresponds to the ... More
A randomized primal distributed algorithm for partitioned and big-data non-convex optimizationMar 24 2017In this paper we consider a distributed optimization scenario in which the aggregate objective function to minimize is partitioned, big-data and possibly non-convex. Specifically, we focus on a set-up in which the dimension of the decision variable depends ... More
Computing Integer Sequences: Filtering vs Generation (Functional Pearl)Jul 31 2018Aug 01 2018As a report of a teaching experience, we analyse Haskell programs computing two integer sequences: the Hamming sequence and the Ulam sequence. For both of them, we investigate two strategies of computation: the first is based on filtering out those natural ... More
Inquisitive bisimulationMar 09 2018Inquisitive modal logic InqML is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested ... More
Curvature Late-Time Acceleration in an Eternal UniverseOct 11 2018We construct a FLRW universe considering an anisotropic scaling between space and time at extremely high and low energies only. In this context, Friedmann equations contain an additional term arising from spatial curvature which implements nonsingular ... More
Hořava-Lifshitz Bouncing Bianchi IX Universes: A Dynamical System AnalysisOct 18 2017We examine the Hamiltonian dynamics of bouncing Bianchi IX cosmologies in Ho\v{r}ava-Lifshitz gravity. The $6$-dim phase space presents two critical points, one asymptotic de Sitter attractor at infinity and a $2$-dim invariant plane. We identified four ... More
Quantum algorithms for electronic structure calculations: particle/hole Hamiltonian and optimized wavefunction expansionsMay 11 2018In this work we investigate methods to improve the efficiency and scalability of quantum algorithms for quantum chemistry applications. We propose a transformation of the electronic structure Hamiltonian in the second quantization framework into the particle-hole ... More
Gate-efficient simulation of molecular eigenstates on a quantum computerSep 13 2018A key requirement to perform simulations of large quantum systems on near-term quantum hardware is the design of quantum algorithms with short circuit depth that finish within the available coherence time. A way to stay within the limits of coherence ... More
Gravitational Collapse and Black Hole Thermodynamics In Braneworld ScenarioDec 11 2012We examine the dynamics of the gravitational collapse in a 4-dim Lorentzian brane embedded in a 5-dim bulk with an extra timelike dimension. By considering the collapse of pure dust on the brane we derive a bouncing FLRW interior solution and match it ... More
Datasets of Android Applications: a Literature ReviewSep 26 2018Mobile phones and tablets have become the most widely used computing devices, with a large predominance of the Android platform. As a natural evolution, the development of Android applications has surged and has become a major field of study, with research ... More
Rigid 4D N=2 supersymmetric backgrounds and actionsMay 13 2015Sep 28 2015We classify all N=2 rigid supersymmetric backgrounds in four dimensions with both Lorentzian and Euclidean signature that preserve eight real supercharges, up to discrete identifications. Among the backgrounds we find specific warpings of S^3 x R and ... More
Distributed Submodular Minimization over Networks: a Greedy Column Generation ApproachDec 14 2018Submodular optimization is a special class of combinatorial optimization arising in several machine learning problems, but also in cooperative control of complex systems. In this paper, we consider agents in an asynchronous, unreliable and time-varying ... More
A 24+24 real scalar multiplet in four dimensional N=2 conformal supergravityDec 06 2017Feb 13 2018Starting from the 48+48 component multiplet of supercurrents for a rigid N=2 tensor multiplet in four spacetime dimensions, we obtain the transformation of the linearized supergravity multiplet which couples to this supercurrent multiplet. At the linearized ... More
The fate of flat directions in higher derivative gravityJan 28 2013Feb 18 2013We discuss the fate of flat directions in higher derivative gravity by studying two explicit examples, namely higher derivative gauged supergravity in five dimensions and higher derivative type IIB string theory in ten dimensions. In the first case, the ... More
A one parameter class of Fractional Maxwell-like modelsOct 19 2016In this paper we discuss a one parameter modification of the well known fractional Maxwell model of viscoelasticity. Such models appear to be particularly interesting because they describe the short time asymptotic limit of a more general class of viscoelastic ... More
Local control theory for superconducting qubitsAug 31 2018In this work, we develop a method to design control pulses for fixed-frequency superconducting qubits coupled via tunable couplers based on local control theory, an approach commonly employed to steer chemical reactions. Local control theory provides ... More
Stakeholders, Viewpoints and Languages of a Modelling Framework for the Design and Development of Data-Intensive Mobile AppsFeb 13 2015Feb 27 2015Today millions of mobile apps are downloaded and used all over the world. Guidelines and best practices on how to design and develop mobile apps are being periodically released, mainly by mobile platform vendors and researchers. They cover different concerns, ... More
Dark energy and Josephson junctionsJul 16 2009It has been recently claimed that dark energy can be (and has been) observed in laboratory experiments by measuring the power spectrum $S_I(\omega)$ of the noise current in a resistively shunted Josephson junction and that in new dedicated experiments, ... More
Higher derivative corrections to BPS black hole attractors in 4d gauged supergravityFeb 29 2016Mar 11 2016We analyze BPS black hole attractors in 4d gauged supergravity in the presence of higher derivative supersymmetric terms, including a Weyl-squared-type action, and determine the resulting corrections to the Bekenstein-Hawking entropy. The near-horizon ... More
A duality-based approach for distributed min-max optimizationNov 28 2016In this paper we consider a distributed optimization scenario in which a set of processors aims at cooperatively solving a class of min-max optimization problems. This set-up is motivated by peak-demand minimization problems in smart grids. Here, the ... More
N=4 Supersymmetric BMS3 algebras from asymptotic symmetry analysisJun 08 2017Jan 06 2018We consider three dimensional $N=4$ flat supergravity, with an abelian R-symmetry enhancing the gravitational phase space. We obtain the field configuration whose asymptotic symmetries at null infinity coincide with the centrally extended $N=4$ super ... More
Bounded Scalar Perturbations in Bouncing Brane World CosmologiesOct 18 2013We examine the dynamics of scalar perturbations in closed Friedmann-Lema\^itre-Robertson- Walker (FLRW) universes in the framework of Brane World theory with a timelike extra dimension. In this scenario, the unperturbed Friedmann equations contain additional ... More
On transient waves in linear viscoelasticityMay 03 2017Aug 06 2017The aim of this paper is to present a comprehensive review of method of the wave-front expansion, also known in the literature as the Buchen-Mainardi algorithm. In particular, many applications of this technique to the fundamental models of both ordinary ... More
Non-renormalization theorems and N=2 supersymmetric backgroundsJan 25 2014Feb 03 2014The conditions for fully supersymmetric backgrounds of general N=2 locally supersymmetric theories are derived based on the off-shell superconformal multiplet calculus. This enables the derivation of a non-renormalization theorem for a large class of ... More
Direct Experimental Evidence of the Statistical Nature of the Electron Gas in Superconducting FilmsNov 25 2014In an Nb film an alternate electrical current is partitioned at a Y-shaped obstacle into two splitted beams. The intensity-fluctuation correlation of the two beams (cross-correlation) and the intensity- fluctuation correlation of one beam (auto-correlation) ... More
Mapping Fermion and Boson systems onto the Fock space of harmonic oscillatorsJan 18 2010The fluctuation-dissipation theorem (FDT) is very general and applies to a broad variety of different physical phenomena in condensed matter physics. With the help of the FDT and following the famous work of Caldeira and Leggett, we show that, whenever ... More
Fluctuation-dissipation theorem and harmonic oscillatorsMay 26 2009The question of the "physical meaning" and "origin" of the Bose-Einstein (BE) factor in the fluctuation-dissipation theorem (FDT) is often raised and this term is sometimes interpreted as originating from a real harmonic oscillator composition of the ... More
A Lorentz invariant velocity distribution for a relativistic gasJun 03 2014We derive a Lorentz invariant distribution of velocities for a relativistic gas. Our derivation is based on three pillars: the special theory of relativity, the central limit theorem and the Lobachevskyian structure of the velocity space of the theory. ... More
Mechanical properties of carbynes investigated by ab initio total-energy calculationsJun 03 2011Sep 10 2012As sp carbon chains (carbynes) are relatively rigid molecular objects, can we exploit them as construction elements in nanomechanics? To answer this question, we investigate their remarkable mechanical properties by ab-initio total-energy simulations. ... More
Distributed Partitioned Big-Data Optimization via Asynchronous Dual DecompositionMay 22 2018In this paper we consider a novel partitioned framework for distributed optimization in peer-to-peer networks. In several important applications the agents of a network have to solve an optimization problem with two key features: (i) the dimension of ... More
A duality-based approach for distributed min-max optimization with application to demand side managementMar 24 2017In this paper we consider a distributed optimization scenario in which a set of processors aims at minimizing the maximum of a collection of "separable convex functions" subject to local constraints. This set-up is motivated by peak-demand minimization ... More
Graph Theoretic Investigations on Inefficiencies in Network ModelsMar 07 2016Nov 01 2016We consider network models where information items flow %are sent from a source to a sink node. We start with a model where routing is constrained by energy available on nodes in finite supply (like in Smartdust) and efficiency is related to energy consumption. ... More
On the propagation of transient waves in a viscoelastic Bessel mediumDec 30 2016May 19 2017In this paper we discuss the uniaxial propagation of transient waves within a semi-infinite viscoelastic Bessel medium. First, we provide the analytic expression for the response function of the material as we approach the wave-front. To do so, we take ... More
Graph Theoretic Investigations on Inefficiencies in Network ModelsMar 07 2016We consider network models where information items flow %are sent from a source to a sink node. We start with a model where routing is constrained by energy available on nodes in finite supply (like in Smartdust) and efficiency is related to energy consumption. ... More
On All-Order Higher-Point $\text{D}p$-$\overline{\text{D}}p$ Effective ActionsMar 18 2019In this paper we derive a class of contributions to all orders in $\alpha'$ to the effective action of D-brane-anti D-brane systems in Type II String Theory, considering an amplitude involving a closed-string Ramond-Ramond state and four open-string states: ... More
On the quantum entropy function in 4d gauged supergravityMar 15 2018Jul 23 2018We analyze BPS black hole attractors in the conformal 4d gauged supergravity formalism and apply the technique known as supergravity localization in order to evaluate Sen's quantum entropy function in the $\mathrm{AdS}_2\!\times\!\mathrm{S}^2$ near-horizon ... More
A Polynomial-time Algorithm for Detecting the Possibility of Braess Paradox in Directed GraphsOct 28 2016Oct 10 2017A directed multigraph is said vulnerable if it can generate Braess paradox in Traffic Networks. In this paper, we give a graph-theoretic characterisation of vulnerable directed multigraphs; analogous results appeared in the literature only for undirected ... More
Quantum imaging with sub-Poissonian light: challenges and perspectives in optical metrologyApr 02 2019Non-classical correlations in optical beams offer the unprecedented opportunity of surpassing conventional limits of sensitivity and resolution in optical measurements and imaging, especially but not only, when a low photon flux down to the single photons ... More
On All-Order Higher-Point $\text{D}p$-$\overline{\text{D}p}$ Effective ActionsMar 18 2019Mar 28 2019In this paper we derive a class of contributions to all orders in $\alpha'$ to the effective action of D-brane-anti D-brane systems in Type II String Theory, considering an amplitude involving a closed-string Ramond-Ramond state and four open-string states: ... More
AdS Vacuum Bubbles, Holography and Dual RG FlowsJun 06 2018Dec 13 2018We explore the holographic properties of non-perturbative vacuum decay in Anti-de Sitter ($\mathrm{AdS}$) geometries. To this end, we consider a gravitational theory in a metastable $\mathrm{AdS}_3$ state, which decays into an $\mathrm{AdS}_3$ of lower ... More
A Primal Decomposition Method with Suboptimality Bounds for Distributed Mixed-Integer Linear ProgrammingNov 08 2018In this paper we deal with a network of agents seeking to solve in a distributed way Mixed-Integer Linear Programs (MILPs) with a coupling constraint (modeling a limited shared resource) and local constraints. MILPs are NP-hard problems and several challenges ... More
Storage and dissipation of energy in Prabhakar viscoelasticityDec 12 2017Jan 25 2018In this paper, after a brief review of the physical notion of quality factor in viscoelasticity, we present a complete discussion of the attenuation processes emerging in the Maxwell-Prabhakar model, recently developed by Giusti and Colombaro. Then, taking ... More
Wave Dispersion in the Linearised Fractional Korteweg - de Vries equationApr 08 2017In this paper we discuss some properties of linear fractional dispersive waves. In particular, we compare the dispersion relations emerging from the kinematic wave equation and from the linearised Korteweg - de Vries equation with the corresponding time-fractionalized ... More
A class of linear viscoelastic models based on Bessel functionsFeb 15 2016May 26 2016In this paper we investigate a general class of linear viscoelastic models whose creep and relaxation memory functions are expressed in Laplace domain by suitable ratios of modified Bessel functions of contiguous order. In time domain these functions ... More
A Polynomial-time Algorithm for Detecting the Possibility of Braess Paradox in Directed GraphsOct 28 2016In this paper we give a graph-theoretic characterization of vulnerable directed graphs, i.e. those graphs that can generate a well known phenomenon called Braess paradox. Our result extends to arbitrary directed graphs similar characterizations given ... More
A Polynomial-time Algorithm for Detecting the Possibility of Braess Paradox in Directed GraphsOct 28 2016Nov 01 2016In this paper we give a graph-theoretic characterization of vulnerable directed multigraphs, i.e. those multigraphs that can generate a well known phenomenon called Braess paradox. Our result extends to arbitrary directed multigraphs similar characterizations ... More
Synchronization Properties of Network MotifsSep 14 2006Jan 15 2008We address the problem of understanding the variable abundance of 3-node and 4-node subgraphs (motifs) in complex networks from a dynamical point of view. As a criterion in the determination of the functional significance of a n-node subgraph, we propose ... More
The Resolution of an Entropy Puzzle for 4D non-BPS Black HolesFeb 17 2016We show the equality between macroscopic and microscopic black hole entropy for a class of four dimensional non-supersymmetric black holes in ${\cal N}=2$ supergravity theory, up to the first subleading order in their charges. This solves a long standing ... More
Distributed Optimization for Smart Cyber-Physical NetworksJun 25 2019The presence of embedded electronics and communication capabilities as well as sensing and control in smart devices has given rise to the novel concept of cyber-physical networks, in which agents aim at cooperatively solving complex tasks by local computation ... More
Questions and dependency in intuitionistic logicApr 06 2017In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations have assumed classical logic as the background logic of statements, and added ... More
Towards Photoferroic Materials by Design: Recent Progresses and PerspectiveJun 11 2019The use of photoferroic materials that combine ferroelectric and light harvesting properties in a photovoltaic device is a promising route to significantly improve the efficiency of solar cells. These materials do not require the formation of a p-n junction ... More
Digital Quantum Simulations of Spin Models on Hybrid Platform and Near-Term Quantum ProcessorsFeb 13 2019We review a recent theoretical proposal for a universal quantum computing platform based on tunable nonlinear electromechanical nano-oscillators, in which qubits are encoded in the anharmonic vibrational modes of mechanical resonators coupled to a superconducting ... More
Quantum hardware simulating four-dimensional inelastic neutron scatteringSep 21 2018Finite-size spin systems could constitute key elements in future spintronics devices [1-5], long-lasting nano-scale memories [6] or scalable and noise-resilient quantum computing platforms [7-9]. They are also natural test-beds for investigating peculiar ... More
Automatic Control Software Synthesis for Quantized Discrete Time Hybrid SystemsJul 17 2012Many Embedded Systems are indeed Software Based Control Systems, that is control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for automatic ... More
Model Based Synthesis of Control Software from System Level Formal SpecificationsJul 28 2011Apr 27 2013Many Embedded Systems are indeed Software Based Control Systems, that is control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for automatic ... More
From Boolean Functional Equations to Control SoftwareJun 01 2011May 22 2012Many software as well digital hardware automatic synthesis methods define the set of implementations meeting the given system specifications with a boolean relation K. In such a context a fundamental step in the software (hardware) synthesis process is ... More
Maximally $\cal{N}$-extended super-BMS$_3$ algebras and Generalized 3D Gravity SolutionsJul 18 2018Jan 08 2019We consider the maximal $\cal{N}-$extended supergravity theory in 3 dimensions with fermionic generators transforming under real but non necessarily irreducible representations of the internal algebra. We obtain the symmetry algebra at null infinity preserving ... More
Bouncing Braneworld Cosmologies and Initial Conditions to InflationDec 16 2012We examine the full nonlinear dynamics of closed FRW universes in the framework of D-branes formalism. Friedmann equations contain additional terms arising from the bulk-brane interaction that provide a concrete model for nonsingular bounces in the early ... More
Distributed Big-Data Optimization via Block CommunicationsMay 27 2018We study distributed multi-agent large-scale optimization problems, wherein the cost function is composed of a smooth possibly nonconvex sum-utility plus a DC (Difference-of-Convex) regularizer. We consider the scenario where the dimension of the optimization ... More
Final-State Constrained Optimal Control via a Projection Operator ApproachMar 24 2017In this paper we develop a numerical method to solve nonlinear optimal control problems with final-state constraints. Specifically, we extend the PRojection Operator based Netwon's method for Trajectory Optimization (PRONTO), which was proposed by Hauser ... More
Analysis of the possibility of analog detectors calibration by exploiting Stimulated Parametric Down ConversionNov 07 2008Spontaneous parametric down conversion (SPDC) has been largely exploited as a tool for absolute calibration of photon-counting detectors, i.e detectors registering very small photon fluxes. In [J. Opt. Soc. Am. B 23, 2185 (2006)] we derived a method for ... More
Bouncing Model in Brane World TheoryJan 22 2013We examine the nonlinear dynamics of a closed Friedmann-Robertson-Walker universe in the framework of Brane World formalism with a timelike extra dimension. In this scenario, the Friedmann equations contain additional terms arising from the bulk-brane ... More
Distributed Big-Data Optimization via Block-Iterative Convexification and AveragingMay 02 2018In this paper, we study distributed big-data nonconvex optimization in multi-agent networks. We consider the (constrained) minimization of the sum of a smooth (possibly) nonconvex function, i.e., the agents' sum-utility, plus a convex (possibly) nonsmooth ... More
Single phase and correlated phase estimation with multi-photon annihilated squeezed vacuum statesSep 27 2018In the last years, several works have demonstrated the advantage of photon subtracted Gaussian states for various quantum optics and information protocols. In all these works, it was not clear about the origin of such advantages. For the first time, we ... More
Carbon sp chains in graphene nanoholesSep 29 2011Nowadays sp carbon chains terminated by graphene or graphitic-like carbon are synthesized routinely in several nanotech labs. We propose an ab-initio study of such carbon-only materials, by computing their structure and stability, as well as their electronic, ... More
A Map-Reduce Parallel Approach to Automatic Synthesis of Control SoftwareOct 08 2012Feb 22 2013Many Control Systems are indeed Software Based Control Systems, i.e. control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for automatic ... More
Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC ConvertersMay 27 2011Jun 20 2012Many Embedded Systems are indeed Software Based Control Systems (SBCSs), that is control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for ... More
Distributed Big-Data Optimization via Block-wise Gradient TrackingAug 22 2018Aug 31 2018We study distributed big-data nonconvex optimization in multi-agent networks. We consider the (constrained) minimization of the sum of a smooth (possibly) nonconvex function, i.e., the agents' sum-utility, plus a convex (possibly) nonsmooth regularizer. ... More
Realisation of the first sub shot noise wide field microscopeDec 19 2016In the last years several proof of principle experiments have demonstrated the advantages of quantum technologies respect to classical schemes. The present challenge is to overpass the limits of proof of principle demonstrations to approach real applications. ... More
New higher-derivative invariants in N=2 supergravity and the Gauss-Bonnet termJul 24 2013Dec 05 2013A new class of N=2 locally supersymmetric higher-derivative invariants is constructed based on logarithms of conformal primary chiral superfields. They characteristically involve a coupling to R_{\mu\nu}^2 - 1/3*R^2, which equals the non-conformal part ... More
Protocol for a Systematic Mapping Study on Collaborative Model-Driven Software EngineeringNov 08 2016Nowadays, collaborative modeling performed by multiple stakeholders is gaining a growing interest in both academia and practice. However, it poses a set of research challenges, such as large and complex models management, support for multi-user modeling ... More
Chaos in Preinflationary Friedmann-Robertson-Walker UniversesMar 12 1998The dynamics of a preinflacionary phase of the universe, and its exit to inflation, is discussed. This phase is modeled by a closed Friedmann-Robertson-Walker geometry, the matter content of which is radiation plus a scalar field minimally coupled to ... More
On Model Based Synthesis of Embedded Control SoftwareJul 17 2012Feb 18 2013Many Embedded Systems are indeed Software Based Control Systems (SBCSs), that is control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for ... More