arXiv subjects

A. Molinari

Publications and source records attributed to A. Molinari.

At least 19 recordsLinked to original sources

arXiv2024

Intrinsic negative magnetoresistance from the chiral anomaly of multifold fermions

The chiral anomaly, a hallmark of chiral spin-1/2 Weyl fermions, is an imbalance between left- and right-moving particles that underpins both high and low energy phenomena, including particle decay and negative longitudinal magnetoresistance in Weyl semimetals. The discovery that chiral crystals can host higher-spin generalizations of Weyl quasiparticles without high-energy counterparts, known as multifold fermions, raises the fundamental question of whether the chiral anomaly is a more general phenomenon. Answering this question requires materials with chiral quasiparticles within a sizable energy window around the Fermi level, that are unaffected by trivial extrinsic effects such as current jetting. Here we report the chiral anomaly of multifold fermions in CoSi, which features multifold bands within about 0.85 eV around the Fermi level. By excluding current jetting through the squeezing test, we measure an intrinsic, longitudinal negative magnetoresistance. We develop the semiclassical theory of magnetotransport of multifold fermions that shows that the negative magnetoresistance originates in their chiral anomaly, despite a sizable and detrimental orbital magnetic moment contribution, previously unaccounted for. A concomitant nonlinear Hall effect supports the multifold-fermion origin of magnetotransport. Our work confirms the chiral anomaly of higher-spin generalizations of Weyl fermions, currently inaccessible outside the solid-state.

cond-mat.mes-hall↗

arXiv2024

Probing the shape of the Weyl Fermi surface of NbP using transverse electron focusing

The topology of the Fermi surface significantly influences the transport properties of a material. Firstly measured through quantum oscillation experiments, the Fermi surfaces of crystals are now commonly characterized using angle-resolved photoemission spectroscopy (ARPES), given the larger information volume it provides. In the case of Weyl semimetals, ARPES has proven remarkably successful in verifying the existence of the Weyl points and the Fermi arcs, which define a Weyl Fermi surface. However, ARPES is limited in resolution, leading to significant uncertainty when measuring relevant features such as the distance between the Weyl points. While quantum oscillation measurements offer higher resolution, they do not reveal insights into the cross-sectional shape of a Fermi surface. Moreover, both techniques lack critical information about transport, like the carriers mean free path. Here, we report measurements unveiling the distinctive peanut-shaped cross-section of the Fermi surface of Weyl fermions and accurately determine the separation between Weyl points in the Weyl semimetal NbP. To surpass the resolution of ARPES, we combine quantum oscillation measurements with transverse electron focusing (TEF) experiments, conducted on microstructured single-crystals. The TEF spectrum relates to the Fermi surface shape, while the frequency of the quantum oscillations to its area. Together, these techniques offer complementary information, enabling the reconstruction of the distinctive Weyl Fermi surface geometry. Concurrently, we extract the electrical transport properties of the bulk Weyl fermions. Our work showcases the integration of quantum oscillations and transverse electron focusing in a singular experiment, allowing for the measurements of complex Fermi surface geometries in high-mobility quantum materials.

cond-mat.mtrl-sci↗

arXiv2016

Checking Interval Properties of Computations

Model checking is a powerful method widely explored in formal verification. Given a model of a system, e.g., a Kripke structure, and a formula specifying its expected behaviour, one can verify whether the system meets the behaviour by checking the formula against the model. Classically, system behaviour is expressed by a formula of a temporal logic, such as LTL and the like. These logics are "point-wise" interpreted, as they describe how the system evolves state-by-state. However, there are relevant properties, such as those constraining the temporal relations between pairs of temporally extended events or involving temporal aggregations, which are inherently "interval-based", and thus asking for an interval temporal logic. In this paper, we give a formalization of the model checking problem in an interval logic setting. First, we provide an interpretation of formulas of Halpern and Shoham's interval temporal logic HS over finite Kripke structures, which allows one to check interval properties of computations. Then, we prove that the model checking problem for HS against finite Kripke structures is decidable by a suitable small model theorem, and we provide a lower bound to its computational complexity.

cs.LO↗

arXiv2016

Complexity of ITL model checking: some well-behaved fragments of the interval logic HS

Model checking has been successfully used in many computer science fields, including artificial intelligence, theoretical computer science, and databases. Most of the proposed solutions make use of classical, point-based temporal logics, while little work has been done in the interval temporal logic setting. Recently, a non-elementary model checking algorithm for Halpern and Shoham's modal logic of time intervals HS over finite Kripke structures (under the homogeneity assumption) and an EXPSPACE model checking procedure for two meaningful fragments of it have been proposed. In this paper, we show that more efficient model checking procedures can be developed for some expressive enough fragments of HS.

cs.LO↗

arXiv2014

Doorway States in the Random-Phase Approximation

By coupling a doorway state to a see of random background states, we develop the theory of doorway states in the framework of the random-phase approximation (RPA). Because of the symmetry of the RPA equations, that theory is radically different from the standard description of doorway states in the shell model. We derive the Pastur equation in the limit of large matrix dimension and show that the results agree with those of matrix diagonalization in large spaces. The complexity of the Pastur equation does not allow for an analytical approach that would approximately describe the doorway state. Our numerical results display unexpected features: The coupling of the doorway state with states of opposite energy leads to strong mutual attraction.

nucl-th↗

arXiv2013

Heavy flavour in nucleus-nucleus collisions at RHIC and LHC: a Langevin approach

A snapshot of the results for heavy-flavour observables in heavy-ion (AA) collisions at RHIC and LHC obtained with our transport calculations is displayed. The initial charm and beauty production is simulated through pQCD tools (POWHEG+PYTHIA) and is validated through the comparison with data from pp collisions. The propagation of c and b quarks in the medium formed in heavy-ion collisions is studied through a transport setup based on the relativistic Langevin equation. With respect to past works we perform a more systematic study, providing results with different choices of transport coefficients, either from weak-coupling calculations or from lattice-QCD simulations. Our findings are compared to a rich set of experimental data (D-mesons, non-photonic electrons, non-prompt J/ψ's) which have meanwhile become accessible.

hep-ph↗

arXiv2013

Scaling properties of the pairing problem in the strong coupling limit

We study the excited states of the pairing Hamiltonian providing an expansion for their energy in the strong coupling limit. To assess the role of the pairing interaction we apply the formalism to the case of a heavy atomic nucleus. We show that only a few statistical moments of the level distribution are sufficient to yield an accurate estimate of the energy for not too small values of the coupling $G$ and we give the analytic expressions of the first four terms of the series. Further, we discuss the convergence radius $G_{\rm sing}$ of the expansion showing that it strongly depends upon the details of the level distribution. Furthermore $G_{\rm sing}$ is not related to the critical values of the coupling $G_{\rm crit}$, which characterize the physics of the pairing Hamiltonian, since it can exist even in the absence of these critical points.

nucl-th↗

arXiv2013

Heavy flavours in AA collisions: production, transport and final spectra

A multi-step setup for heavy-flavour studies in high-energy nucleus-nucleus (AA) collisions --- addressing within a comprehensive framework the initial Q-Qbar production, the propagation in the hot medium until decoupling and the final hadronization and decays --- is presented. The initial hard production of Q-Qbar pairs is simulated using the POWHEG pQCD event generator, interfaced with the PYTHIA parton shower. Outcomes of the calculations are compared to experimental data in pp collisions and are used as a validated benchmark for the study of medium effects. In the AA case, the propagation of the heavy quarks in the medium is described in a framework provided by the relativistic Langevin equation. For the latter, different choices of transport coefficients are explored (either provided by a perturbative calculation or extracted from lattice-QCD simulations) and the corresponding numerical results are compared to experimental data from RHIC and the LHC. In particular, outcomes for the nuclear modification factor R_AA and for the elliptic flow v_2 of D/B mesons, heavy-flavour electrons and non-prompt J/ψ's are displayed.

hep-ph↗

arXiv2012

Heavy flavor production in pp and AA collisions at the LHC

A refined version of a multi-step calculation of heavy-flavor observables in pp and AA collisions has been developed, based on pQCD at NLO accuracy followed by parton shower evolution to describe heavy-quark production and on the relativistic Langevin equation to describe their stochastic evolution in the QCD plasma. Then, hadronization is modeled through an implementation of fragmentation functions based on pQCD and constrained by $e^{+}e^{-}$ collider data. Results of our calculations can be compared with recent measurements performed at the LHC in Pb--Pb collisions at $\sqrt{s_{NN}}$=2.76 TeV: nuclear modification factor $R_{AA}$ of the $p_{T}$ spectra at mid-rapidity of heavy-flavor decay electrons and of exclusively reconstructed open-charm mesons at different centralities, as well as their elliptic-flow $v_{2}$($p_{T}$) in semi-central collisions. To test the validity of our setup for such studies, its predictions are also checked against the $p_{T}$ spectra measured in pp collisions at $\sqrt{s}$=7 TeV and 2.76 TeV.

hep-ph↗

arXiv2011

Heavy-flavor dynamics in nucleus-nucleus collisions: from RHIC to LHC

The stochastic dynamics of c and b quarks in the fireball created in nucleus-nucleus collisions at RHIC and LHC is studied employing a relativistic Langevin equation, based on a picture of multiple uncorrelated random collisions with the medium. Heavy-quark transport coefficients are evaluated within a pQCD approach, with a proper HTL resummation of medium effects for soft scatterings. The Langevin equation is embedded in a multi-step setup developed to study heavy-flavor observables in pp and AA collisions, starting from a NLO pQCD calculation of initial heavy-quark yields, complemented in the nuclear case by shadowing corrections, k_T-broadening and nuclear geometry effects. Then, only for AA collisions, the Langevin equation is solved numerically in a background medium described by relativistic hydrodynamics. Finally, the propagated heavy quarks are made hadronize and decay into electrons. Results for the nuclear modification factor R_AA of heavy-flavor hadrons and electrons from their semi-leptonic decays are provided, both for RHIC and LHC beam energies.

hep-ph↗

arXiv2011

Heavy-flavour spectra in high energy nucleus-nucleus collisions

The propagation of the heavy quarks produced in relativistic nucleus-nucleus collisions at RHIC and LHC is studied within the framework of Langevin dynamics in the background of an expanding deconfined medium described by ideal and viscous hydrodynamics. The transport coefficients entering into the relativistic Langevin equation are evaluated by matching the hard-thermal-loop result for soft collisions with a perturbative QCD calculation for hard scatterings. The heavy-quark spectra thus obtained are employed to compute the differential cross sections, the nuclear modification factors R_AA and the elliptic flow coefficients v_2 of electrons from heavy-flavour decay.

hep-ph↗

arXiv2011

Heavy quarks in nucleus-nucleus collisions: from RHIC to LHC

We present a study of the heavy-flavor dynamics in nucleus-nucleus collisions. The initial (hard) production of c and b quarks is taken from NLO pQCD predictions. The presence of a hot medium (a Quark Gluon Plasma described by hydrodynamics) affects the final spectra of open-charm (beauty) hadrons and their decay electrons with respect to what found in pp collisions. The propagation of c and b quarks in the plasma is based on a picture of multiple uncorrelated random collisions, described by a relativistic Langevin equation. A microscopic evaluation of the transport coefficients is provided within a pQCD approach (with proper resummation of medium effects). Results for the final spectra of heavy-flavor hadrons and decay-electrons are given, with particular emphasis on R_AA and v_2.

hep-ph↗

arXiv2011

Connecting scaling with short-range correlations

We reexamine several issues related to the physics of scaling in electron scattering from nuclei. A basic model is presented in which an assumed form for the momentum distribution having both long- and short-range contributions is incorporated in the single-particle Green function. From this one can obtain saturation of nuclear matter for an NN interaction with medium-range attraction and short-range repulsion, and can obtain the density-density polarization propagator and hence the electromagnetic response and scaling function. For the latter, the shape of the scaling function and how it approaches scaling as a function of momentum transfer are both explored.

nucl-th↗

arXiv2010

Heavy quark dynamics in the QGP: R_AA and v_2 from RHIC to LHC

We study the stochastic dynamics of c and b quarks in the hot plasma produced in nucleus-nucleus collisions at RHIC and LHC, providing results for the nuclear modification factor R_AA and the elliptic flow coefficient v_2 of the single-electron spectra arising from their semi-leptonic decays. The initial QQbar pairs are generated using the POWHEG code, implementing pQCD at NLO. For the propagation in the plasma we develop a relativistic Langevin equation (solved in a medium described by hydrodynamics) whose transport coefficients are evaluated through a first-principle calculation. Finally, at T_c, the heavy quarks are made hadronize and decay into electrons: the resulting spectra are then compared with RHIC results. Predictions for LHC are also attempted.

hep-ph↗

arXiv2010

Spreading Widths of Doorway States

As a function of energy E, the average strength function S(E) of a doorway state is commonly assumed to be Lorentzian in shape and characterized by two parameters, the peak energy E_0 and the spreading width Gamma. The simple picture is modified when the density of background states that couple to the doorway state changes significantly in an energy interval of size Gamma. For that case we derive an approximate analytical expression for S(E). We test our result successfully against numerical simulations. Our result may have important implications for shell--model calculations.

nucl-th↗

arXiv2010

Langevin dynamics of heavy flavors in relativistic heavy-ion collisions

We study the stochastic dynamics of c and b quarks, produced in hard initial processes, in the hot medium created after the collision of two relativistic heavy ions. This is done through the numerical solution of the relativistic Langevin equation. The latter requires the knowledge of the friction and diffusion coefficients, whose microscopic evaluation is performed treating separately the contribution of soft and hard collisions. The evolution of the background medium is described by ideal/viscous hydrodynamics. Below the critical temperature the heavy quarks are converted into hadrons, whose semileptonic decays provide single-electron spectra to be compared with the current experimental data measured at RHIC. We focus on the nuclear modification factor R_AA and on the elliptic-flow coefficient v_2, getting, for sufficiently large p_T, a reasonable agreement.

hep-ph↗

arXiv2010

Heavy-quark Langevin dynamics and single-electron spectra in nucleus-nucleus collision

The stochastic dynamics of heavy quarks in the fireball produced in heavy-ion collisions is followed through numerical simulations based on the Langevin equation. The modification of the final p_T spectra (R_AA) of c and b quarks, hadrons and single-electrons with respect to pp collisions is studied. The transport coefficients are evaluated treating separately the contribution of soft and hard collisions. The initial heavy-quark spectra are generated according to NLO-pQCD, accounting for nuclear effects through recent nPDFs. The evolution of the medium is obtained from the output of two hydro-codes (ideal and viscous). The heavy-quark fragmentation into hadrons and their final semileptonic decays are implemented according to up to date experimental data. A comparison with RHIC data for non-photonic electron spectra is given.

hep-ph↗

arXiv2009

Fermion propagators in space-time

The one- and the two-particle propagators for an infinite non-interacting Fermi system are studied as functions of space-time coordinates. Their behaviour at the origin and in the asymptotic region is discussed, as is their scaling in the Fermi momentum. Both propagators are shown to have a divergence at equal times. The impact of the interaction among the fermions on their momentum distribution, on their pair correlation function and, hence, on the Coulomb sum rule is explored using a phenomenological model. Finally the problem of how the confinement is reflected in the momentum distribution of the system's constituents is briefly addressed.

nucl-th↗