Showing 1–50 of 100 results for author: Porta, M

Exodromy beyond conicality

Authors: Peter J. Haine, Mauro Porta, Jean-Baptiste Teyssier

Abstract: We show that compact subanalytic stratified spaces and algebraic stratifications of real varieties have finite exit-path $\infty$-categories, refining classical theorems of Lefschetz-Whitehead, Lojasiewicz, and Hironaka on the finiteness of the underlying homotopy types of these spaces. These stratifications are typically not conical; hence we cannot rely on the currently available exodromy equiva… ▽ More We show that compact subanalytic stratified spaces and algebraic stratifications of real varieties have finite exit-path $\infty$-categories, refining classical theorems of Lefschetz-Whitehead, Lojasiewicz, and Hironaka on the finiteness of the underlying homotopy types of these spaces. These stratifications are typically not conical; hence we cannot rely on the currently available exodromy equivalence between constructible sheaves on a stratified space, which requires conicality as a fundamental hypothesis. Building on ideas of Clausen and Orsnes Jansen, we study the class of exodromic stratified spaces, for which the conclusion of the exodromy theorem holds. We prove two new fundamental properties of this class of stratified spaces: coarsenings of exodromic stratifications are exodromic, and every morphism between exodromic stratified spaces induces a functor between the associated exit path $\infty$-categories. As a consequence, we produce many new examples of exodromic stratified spaces, including: coarsenings of conical stratifications, locally finite subanalytic stratifications of real analytic spaces, and algebraic stratifications of real varieties. Our proofs are at the generality of stratified $\infty$-topoi, hence apply to even more general situations such as stratified topological stacks. Finally, we use the previously mentioned finiteness results to construct derived moduli stacks of constructible and perverse sheaves. △ Less

Submitted 23 January, 2024; originally announced January 2024.

Comments: Comments very welcome. 73 pages

Homotopy theory of Stokes structures and derived moduli

Authors: Mauro Porta, Jean-Baptiste Teyssier

Abstract: The goal of this paper is to build a theory of Stokes structures in an abstract infinity categorical context and to show that Stokes structures coming from flat bundles form a locally geometric derived stack of finite presentation. This generalizes existing geometricity results on Stokes structures in four different directions : our result applies in any dimension, infinity categorical coefficient… ▽ More The goal of this paper is to build a theory of Stokes structures in an abstract infinity categorical context and to show that Stokes structures coming from flat bundles form a locally geometric derived stack of finite presentation. This generalizes existing geometricity results on Stokes structures in four different directions : our result applies in any dimension, infinity categorical coefficients are allowed, derived structures on moduli spaces are considered and more general spaces than those arising from flat bundles are permitted. △ Less

Submitted 22 January, 2024; originally announced January 2024.

MSC Class: 14A30

HiPhom$\varepsilon$ -: HIgh order Projection-based HOMogenisation for advection diffusion reaction problems

Authors: Giovanni Conni, Stefano Piccardo, Simona Perotto, Giovanni Michele Porta, Matteo Icardi

Abstract: We propose a new model reduction technique for multiscale scalar transport problems that exhibit dominant axial dynamics. To this aim, we rely on the separation of variables to combine a Hierarchical Model (HiMod) reduction with a two-scale asymptotic expansion. We extend the two-scale asymptotic expansion to an arbitrary order and exploit the high-order correctors to define the HiMod modal basis,… ▽ More We propose a new model reduction technique for multiscale scalar transport problems that exhibit dominant axial dynamics. To this aim, we rely on the separation of variables to combine a Hierarchical Model (HiMod) reduction with a two-scale asymptotic expansion. We extend the two-scale asymptotic expansion to an arbitrary order and exploit the high-order correctors to define the HiMod modal basis, which approximates the transverse dynamics of the flow, while we adopt a finite element discretisation to model the leading stream. The resulting method, which is named HiPhom$\varepsilon$ (HIgh-order Projection-based HOMogEnisation), is successfully assessed both in steady and unsteady advection-diffusion-reaction settings. The numerical results confirm the very good performance of HiPhom$\varepsilon$, which improves the accuracy and the convergence rate of HiMod and extends the reliability of the standard homogenised solution to transient and pre-asymptotic regimes. △ Less

Submitted 17 November, 2023; originally announced January 2024.

Dynamics of mean-field Fermi systems with nonzero pairing

Authors: Stefano Marcantoni, Marcello Porta, Julien Sabin

Abstract: We study the dynamics of many-body Fermi systems, for a class of initial data which are close to quasi-free states exhibiting a nonvanishing pairing matrix. We focus on the mean-field scaling, which for fermionic systems is naturally coupled with a semiclassical scaling. Under the assumption that the initial datum enjoys a suitable semiclassical structure, we give a rigorous derivation of the time… ▽ More We study the dynamics of many-body Fermi systems, for a class of initial data which are close to quasi-free states exhibiting a nonvanishing pairing matrix. We focus on the mean-field scaling, which for fermionic systems is naturally coupled with a semiclassical scaling. Under the assumption that the initial datum enjoys a suitable semiclassical structure, we give a rigorous derivation of the time-dependent Hartree-Fock-Bogoliubov equation, a nonlinear effective evolution equation for the one-particle density matrix of the system, as the number of particles goes to infinity. Our result holds for all macroscopic times, and provides bounds for the rate of convergence. △ Less

Submitted 17 January, 2024; v1 submitted 23 October, 2023; originally announced October 2023.

Comments: v1 43 pages; v2 minor changes, references added, 44 pages

Response functions of many-body condensed matter systems

Authors: Marcello Porta, Vieri Mastropietro, Alessandro Giuliani

Abstract: We discuss rigorous results about the response functions of gapped and gapless interacting fermionic lattice models, relevant for the study of transport in condensed matter physics. We discuss rigorous results about the response functions of gapped and gapless interacting fermionic lattice models, relevant for the study of transport in condensed matter physics. △ Less

Submitted 22 August, 2023; originally announced August 2023.

Comments: 27 pages. Article commissioned by the Encyclopedia of Mathematical Physics

Direct Collocation Methods for Trajectory Optimization in Constrained Robotic Systems

Authors: Ricard Bordalba, Tobias Schoels, Lluís Ros, Josep M. Porta, Moritz Diehl

Abstract: Direct collocation methods are powerful tools to solve trajectory optimization problems in robotics. While their resulting trajectories tend to be dynamically accurate, they may also present large kinematic errors in the case of constrained mechanical systems, i.e., those whose state coordinates are subject to holonomic or nonholonomic constraints, like loop-closure or rolling-contact constraints.… ▽ More Direct collocation methods are powerful tools to solve trajectory optimization problems in robotics. While their resulting trajectories tend to be dynamically accurate, they may also present large kinematic errors in the case of constrained mechanical systems, i.e., those whose state coordinates are subject to holonomic or nonholonomic constraints, like loop-closure or rolling-contact constraints. These constraints confine the robot trajectories to an implicitly-defined manifold, which complicates the computation of accurate solutions. Discretization errors inherent to the transcription of the problem easily make the trajectories drift away from this manifold, which results in physically inconsistent motions that are difficult to track with a controller. This paper reviews existing methods to deal with this problem and proposes new ones to overcome their limitations. Current approaches either disregard the kinematic constraints (which leads to drift accumulation) or modify the system dynamics to keep the trajectory close to the manifold (which adds artificial forces or energy dissipation to the system). The methods we propose, in contrast, achieve full drift elimination on the discrete trajectory, or even along the continuous one, without artificial modifications of the system dynamics. We illustrate and compare the methods using various examples of different complexity. △ Less

Submitted 25 April, 2023; originally announced April 2023.

Journal ref: IEEE Transactions on Robotics, Vol. 32, issue 1, February 2023, pp. 183-202

Flops and Hilbert schemes of space curve singularities

Authors: Duiliu-Emanuel Diaconescu, Mauro Porta, Francesco Sala, Arian Vosoughinia

Abstract: Using pagoda flop transitions between smooth projective threefolds, a relation is derived between the Euler numbers of moduli spaces of stable pairs which are scheme-theoretically supported on a fixed singular space curve and Euler numbers of Flag Hilbert schemes associated to a plane curve singularity. When the space curve singularity is locally complete intersection, one obtains a relation betwe… ▽ More Using pagoda flop transitions between smooth projective threefolds, a relation is derived between the Euler numbers of moduli spaces of stable pairs which are scheme-theoretically supported on a fixed singular space curve and Euler numbers of Flag Hilbert schemes associated to a plane curve singularity. When the space curve singularity is locally complete intersection, one obtains a relation between the latter and Euler numbers of Hilbert schemes of the space curve singularity. It is also shown that this relation yields explicit results for a class of torus-invariant locally complete intersection singularities. △ Less

Submitted 23 June, 2023; v1 submitted 30 March, 2023; originally announced March 2023.

Comments: v2: 67 pages, some technical assumptions removed, typos fixed, main results unchanged. v1: 52 pages

MSC Class: 14N35 (Primary); 14D23; 14E99; 14F99 (Secondary)

Adiabatic Evolution of Low-Temperature Many-Body Systems

Authors: Rafael L. Greenblatt, Markus Lange, Giovanna Marcelli, Marcello Porta

Abstract: We consider finite-range, many-body fermionic lattice models and we study the evolution of their thermal equilibrium state after introducing a weak and slowly varying time-dependent perturbation. Under suitable assumptions on the external driving, we derive a representation for the average of the evolution of local observables via a convergent expansion in the perturbation, for small enough temper… ▽ More We consider finite-range, many-body fermionic lattice models and we study the evolution of their thermal equilibrium state after introducing a weak and slowly varying time-dependent perturbation. Under suitable assumptions on the external driving, we derive a representation for the average of the evolution of local observables via a convergent expansion in the perturbation, for small enough temperatures. Convergence holds for a range of parameters that is uniform in the size of the system. Under a spectral gap assumption on the unperturbed Hamiltonian, convergence is also uniform in temperature. As an application, our expansion allows us to prove closeness of the time-evolved state to the instantaneous Gibbs state of the perturbed system, in the sense of expectation of local observables, at zero and at small temperatures. As a corollary, we also establish the validity of linear response. Our strategy is based on a rigorous version of the Wick rotation, which allows us to represent the Duhamel expansion for the real-time dynamics in terms of Euclidean correlation functions, for which precise decay estimates are proved using fermionic cluster expansion. △ Less

Submitted 14 November, 2023; v1 submitted 30 November, 2022; originally announced November 2022.

Comments: The introduction and the discussion after the main result have been improved, minor corrections. We added a new corollary, about the stronger adiabatic convergence for switch functions with derivatives vanishing at zero. 61 pages

Journal ref: Commun. Math. Phys. 405, 75 (2024)

Topological exodromy with coefficients

Authors: Mauro Porta, Jean-Baptiste Teyssier

Abstract: We improve the exodromy equivalence of MacPherson, Treumann and Lurie in several ways: first, we allow stratified spaces that have locally weakly contractible strata, rather than being locally of singular shape, we remove all noetherianity assumptions and we consider more general coefficients (e.g. compactly assembled or stable presentable $\infty$-categories). Furthermore, our approach shows that… ▽ More We improve the exodromy equivalence of MacPherson, Treumann and Lurie in several ways: first, we allow stratified spaces that have locally weakly contractible strata, rather than being locally of singular shape, we remove all noetherianity assumptions and we consider more general coefficients (e.g. compactly assembled or stable presentable $\infty$-categories). Furthermore, our approach shows that the exodromy equivalence is functorial for every morphism of stratified spaces. As an application, we construct, under suitable finiteness assumptions, a higher Artin derived stack of hyperconstructible hypersheaves and prove that every perversity function gives rise to an open substack of perverse hypersheaves. Using the derived structure, we provide the construction of a new cohomological Hall algebra, generalizing the ones of character varieties studied in the past by Schiffmann-Vasserot, Davison and Mistry. △ Less

Submitted 9 November, 2022; originally announced November 2022.

Comments: 62 pages, comments very welcome !

MSC Class: 55P65; 55P65; 55U25; 14D23; 32S40; 32S60

Quantification of CO2 generation in sedimentary basins through Carbonate Clays Reactions with uncertain thermodynamic parameters

Authors: Giulia Ceriotti, Giovanni M Porta, Claudio Geloni, Matilde Dalla Rosa, Alberto Guadagnini

Abstract: We develop a methodological framework and mathematical formulation which yields estimates of the uncertainty associated with the amounts of CO2 generated by carbonate-clays reactions (CCR) in large-scale subsurface systems to assist characterization of the main features of this geochemical process. Our approach couples a one-dimensional compaction model, providing the dynamics of the evolution of… ▽ More We develop a methodological framework and mathematical formulation which yields estimates of the uncertainty associated with the amounts of CO2 generated by carbonate-clays reactions (CCR) in large-scale subsurface systems to assist characterization of the main features of this geochemical process. Our approach couples a one-dimensional compaction model, providing the dynamics of the evolution of porosity, temperature and pressure along the vertical direction, with a chemical model able to quantify the partial pressure of CO2 resulting from minerals and pore water interaction. The modeling framework we propose allows (i) estimating the depth at which the source of gases is located and (ii) quantifying the amount of CO2 generated, based on the mineralogy of the sediments involved in the basin formation process. A distinctive objective of the study is the quantification of the way the uncertainty affecting chemical equilibrium constants propagates to model outputs, i.e., the flux of CO2. These parameters are considered as key sources of uncertainty in our modeling approach because temperature and pressure distributions associated with deep burial depths typically fall outside the range of validity of commonly employed geochemical databases and typically used geochemical software. We also analyze the impact of the relative abundancy of primary phases in the sediments on the activation of CCR processes. As a test bed, we consider a computational study where pressure and temperature conditions are representative of those observed in real sedimentary formation. Our results are conducive to the probabilistic assessment of (i) the characteristic pressure and temperature at which CCR leads to generation of CO2 in sedimentary systems, (ii) the order of magnitude of the CO2 generation rate that can be associated with CCR processes. △ Less

Submitted 28 October, 2022; originally announced October 2022.

Journal ref: Geochimica et Cosmochimica Acta 213, 198-215 (2017)

Non-archimedean Gromov-Witten invariants

Authors: Mauro Porta, Tony Yue YU

Abstract: Motivated by mirror symmetry and the enumeration of holomorphic disks, we construct the theory of Gromov-Witten invariants in the setting of non-archimedean analytic geometry. We build on our previous works on derived non-archimedean geometry and non-archimedean quantum K-invariants, as well as recent developments of rigid analytic motives and virtual fundamental classes in derived geometry. Our a… ▽ More Motivated by mirror symmetry and the enumeration of holomorphic disks, we construct the theory of Gromov-Witten invariants in the setting of non-archimedean analytic geometry. We build on our previous works on derived non-archimedean geometry and non-archimedean quantum K-invariants, as well as recent developments of rigid analytic motives and virtual fundamental classes in derived geometry. Our approach gives also a new perspective for the classical algebraic case. △ Less

Submitted 27 September, 2022; originally announced September 2022.

Comments: 31 pages

MSC Class: Primary 14N35; Secondary 14G22; 14D23

Cohomological Hall algebras and their representations via torsion pairs

Authors: Duiliu-Emanuel Diaconescu, Mauro Porta, Francesco Sala

Abstract: In this paper, we provide a way of attaching to a torsion pair $(T,F)$ on the heart of a stable $\infty$-category $C$ a cohomological (K-theoretical, categorified) Hall algebra and corresponding left and right representations. More precisely, the algebra is associated to the torsion part, while the representation is associated to the torsion-free part. The left and right actions enable us to con… ▽ More In this paper, we provide a way of attaching to a torsion pair $(T,F)$ on the heart of a stable $\infty$-category $C$ a cohomological (K-theoretical, categorified) Hall algebra and corresponding left and right representations. More precisely, the algebra is associated to the torsion part, while the representation is associated to the torsion-free part. The left and right actions enable us to construct canonical subalgebras of the endomorphism ring of the Borel-Moore homology and K-theory of the moduli stack of torsion-free objects, whose "positive parts" recover the cohomological Hall algebra and the K-theoretical Hall algebra associated to the torsion part $T$, respectively. This provides a new direction that might lead to overcome the long-standing limitation of the theory of cohomological Hall algebras to just produce "positive parts" of whole algebras. We also provide a geometric sufficient criterion ensuring the vanishing of the commutator between two different operators. In the quiver case, we obtain the action of the two-dimensional cohomological Hall algebra of a quiver on the cohomology of Nakajima quiver varieties within our framework. Besides the quiver case, we also apply our framework to two torsion pairs on a smooth projective complex surface, and we investigate the corresponding Hall algebras and their representations associated to them. Finally, we slightly modify our method to construct representations of the cohomological Hall algebra of zero-dimensional sheaves on $S$ on the Borel-Moore homology of the moduli spaces of Pandharipande-Thomas stable pairs on surfaces and on relative Hilbert schemes of points (and we obtain similar results at the level of K-theory and bounded derived category). △ Less

Submitted 18 July, 2022; originally announced July 2022.

Comments: 68 pages

MSC Class: 14A20 (Primary); 14A30; 14F08; 17B37 (Secondary)

Effective Dynamics of Extended Fermi Gases in the High-Density Regime

Authors: Luca Fresta, Marcello Porta, Benjamin Schlein

Abstract: We study the quantum evolution of many-body Fermi gases in three dimensions, in arbitrarily large domains. We consider both particles with non-relativistic and with relativistic dispersion. We focus on the high-density regime, in the semiclassical scaling, and we consider a class of initial data describing zero-temperature states. In the non-relativistic case we prove that, as the density goes to… ▽ More We study the quantum evolution of many-body Fermi gases in three dimensions, in arbitrarily large domains. We consider both particles with non-relativistic and with relativistic dispersion. We focus on the high-density regime, in the semiclassical scaling, and we consider a class of initial data describing zero-temperature states. In the non-relativistic case we prove that, as the density goes to infinity, the many-body evolution of the reduced one-particle density matrix converges to the solution of the time-dependent Hartree equation, for short macroscopic times. In the case of relativistic dispersion, we show convergence of the many-body evolution to the relativistic Hartree equation for all macroscopic times. With respect to previous work, the rate of convergence does not depend on the total number of particles, but only on the density: in particular, our result allows us to study the quantum dynamics of extensive many-body Fermi gases. △ Less

Submitted 8 August, 2022; v1 submitted 14 April, 2022; originally announced April 2022.

Comments: 44 pages, no figures. The proof of the main result has been simplified and generalized. Furthermore, we included the derivation of the time-dependent relativistic Hartree equation, for all macroscopic times

Multi-Channel Luttinger Liquids at the Edge of Quantum Hall Systems

Authors: Vieri Mastropietro, Marcello Porta

Abstract: We consider the edge transport properties of a generic class of interacting quantum Hall systems on a cylinder, in the infinite volume and zero temperature limit. We prove that the large-scale behavior of the edge correlation functions is effectively described by the multi-channel Luttinger model. In particular, we prove that the edge conductance is universal, and equal to the sum of the chiraliti… ▽ More We consider the edge transport properties of a generic class of interacting quantum Hall systems on a cylinder, in the infinite volume and zero temperature limit. We prove that the large-scale behavior of the edge correlation functions is effectively described by the multi-channel Luttinger model. In particular, we prove that the edge conductance is universal, and equal to the sum of the chiralities of the non-interacting edge modes. The proof is based on rigorous renormalization group methods, that allow to fully take into account the effect of backscattering at the edge. Universality arises as a consequence of the integrability of the emergent multi-channel Luttinger liquid combined with lattice Ward identities for the microscopic $2d$ theory. △ Less

Submitted 15 September, 2022; v1 submitted 31 August, 2021; originally announced August 2021.

Comments: Extended introduction, minor corrections. 77 pages

GAGA problems for the Brauer group via derived geometry

Authors: Federico Binda, Mauro Porta

Abstract: This paper is dedicated to a further study of derived Azumaya algebras. The first result we obtain is a Beauville-Laszlo-style property for such objects (considered up to Morita equivalence), which is consequence of a more general Beauville-Laszlo kind of statement for quasi-coherent sheaves of categories. Next, we prove that given any (derived) scheme $X$, proper over the spectrum of a quasi-exce… ▽ More This paper is dedicated to a further study of derived Azumaya algebras. The first result we obtain is a Beauville-Laszlo-style property for such objects (considered up to Morita equivalence), which is consequence of a more general Beauville-Laszlo kind of statement for quasi-coherent sheaves of categories. Next, we prove that given any (derived) scheme $X$, proper over the spectrum of a quasi-excellent Henselian ring, the derived Brauer group of $X$ injects into the one of the Henselization of $X$ along the base, generalizing a classical result of Grothendieck and a more recent theorem of Geisser-Morin. As a separate application, we deduce that Grothendieck's existence theorem holds for the stable $\infty$-categories of twisted sheaves even when the corresponding $\bbG_m$-gerbe does not satisfy the resolution property, offering an improvement of a result of Alper, Rydh and Hall. △ Less

Submitted 19 April, 2023; v1 submitted 8 July, 2021; originally announced July 2021.

Comments: 33 pages. Major rewriting. Two main theorems added: a Beauville-Laszlo for quasi-coherent sheaves of categories and Grothendieck existence for G_m-gerbes over categorically proper bases

Correlation Energy of a Weakly Interacting Fermi Gas with Large Interaction Potential

Authors: Niels Benedikter, Marcello Porta, Benjamin Schlein, Robert Seiringer

Abstract: Recently the leading order of the correlation energy of a Fermi gas in a coupled mean-field and semiclassical scaling regime has been derived, under the assumption of an interaction potential with a small norm and with compact support in Fourier space. We generalize this result to large interaction potentials, requiring only $|\cdot| \hat{V} \in \ell^1 (\mathbb{Z}^3)$. Our proof is based on approx… ▽ More Recently the leading order of the correlation energy of a Fermi gas in a coupled mean-field and semiclassical scaling regime has been derived, under the assumption of an interaction potential with a small norm and with compact support in Fourier space. We generalize this result to large interaction potentials, requiring only $|\cdot| \hat{V} \in \ell^1 (\mathbb{Z}^3)$. Our proof is based on approximate, collective bosonization in three dimensions. Significant improvements compared to recent work include stronger bounds on non-bosonizable terms and more efficient control on the bosonization of the kinetic energy. △ Less

Submitted 23 March, 2023; v1 submitted 24 June, 2021; originally announced June 2021.

Comments: 50 pages; v4: Lemma 7.2 simplified (log-corrections removed)

MSC Class: 81V70; 82B10; 81Q10; 35P05

Journal ref: Arch. Ration. Mech. Anal. 247:65 (2023)

Bosonization of Fermionic Many-Body Dynamics

Authors: Niels Benedikter, Phan Thành Nam, Marcello Porta, Benjamin Schlein, Robert Seiringer

Abstract: We consider the quantum many-body evolution of a homogeneous Fermi gas in three dimensions in the coupled semiclassical and mean-field scaling regime. We study a class of initial data describing collective particle-hole pair excitations on the Fermi ball. Using a rigorous version of approximate bosonization, we prove that the many-body evolution can be approximated in Fock space norm by a quasifre… ▽ More We consider the quantum many-body evolution of a homogeneous Fermi gas in three dimensions in the coupled semiclassical and mean-field scaling regime. We study a class of initial data describing collective particle-hole pair excitations on the Fermi ball. Using a rigorous version of approximate bosonization, we prove that the many-body evolution can be approximated in Fock space norm by a quasifree bosonic evolution of the collective particle-hole excitations. △ Less

Submitted 29 September, 2021; v1 submitted 15 March, 2021; originally announced March 2021.

Comments: 31 pages, 1 figure

MSC Class: 81V70; 82B10; 81Q10; 35P05

Journal ref: Annales Henri Poincaré 23, 1725-1764 (2022)

The homotopy-invariance of constructible sheaves

Authors: Peter J. Haine, Mauro Porta, Jean-Baptiste Teyssier

Abstract: The purpose of this paper is to explain why the functor that sends a stratified topological space $S$ to the $\infty$-category of constructible (hyper)sheaves on $S$ with coefficients in a large class of presentable $\infty$categories is homotopy-invariant. To do this, we first establish a number of results in the unstratified setting, i.e., the setting of locally constant (hyper)sheaves. For exam… ▽ More The purpose of this paper is to explain why the functor that sends a stratified topological space $S$ to the $\infty$-category of constructible (hyper)sheaves on $S$ with coefficients in a large class of presentable $\infty$categories is homotopy-invariant. To do this, we first establish a number of results in the unstratified setting, i.e., the setting of locally constant (hyper)sheaves. For example, if $X$ is a locally weakly contractible topological space and $\mathcal{E}$ is a presentable $\infty$-category, then we give a concrete formula for the constant hypersheaf functor $\mathcal{E}\to \mathrm{Sh}^{\mathrm{hyp}}(X;\mathcal{E})$. This formula lets us show that the constant hypersheaf functor is a right adjoint, and is fully faithful if $X$ is also weakly contractible. It also lets us prove a general monodromy equivalence and categorical Künneth formula for locally constant hypersheaves. △ Less

Submitted 7 September, 2022; v1 submitted 13 October, 2020; originally announced October 2020.

Comments: 28 pages. Comments very welcome! v5. Clarified a few things and added some remarks. A slightly shorter version of this paper will appear in Homology, Homotopy and Applications. v4. Completely revised. Two new authors. Much stronger results. v3. Fixed the definition of a "constructible hypersheaf" and clarified a few points. v2. Fixed some typos

MSC Class: 18F20; 54B40; 55N30

The dilute Fermi gas via Bogoliubov theory

Authors: Marco Falconi, Emanuela L. Giacomelli, Christian Hainzl, Marcello Porta

Abstract: We study the ground state properties of interacting Fermi gases in the dilute regime, in three dimensions. We compute the ground state energy of the system, for positive interaction potentials. We recover a well-known expression for the ground state energy at second order in the particle density, which depends on the interaction potential only via its scattering length. The first proof of this res… ▽ More We study the ground state properties of interacting Fermi gases in the dilute regime, in three dimensions. We compute the ground state energy of the system, for positive interaction potentials. We recover a well-known expression for the ground state energy at second order in the particle density, which depends on the interaction potential only via its scattering length. The first proof of this result has been given by Lieb, Seiringer and Solovej. In this paper we give a new derivation of this formula, using a different method; it is inspired by Bogoliubov theory, and it makes use of the almost-bosonic nature of the low-energy excitations of the systems. With respect to previous work, our result applies to a more regular class of interaction potentials, but it comes with improved error estimates on the ground state energy asymptotics in the density. △ Less

Submitted 31 May, 2020; originally announced June 2020.

Comments: 52 pages

Correlation Energy of a Weakly Interacting Fermi Gas

Authors: Niels Benedikter, Phan Thành Nam, Marcello Porta, Benjamin Schlein, Robert Seiringer

Abstract: We derive rigorously the leading order of the correlation energy of a Fermi gas in a scaling regime of high density and weak interaction. The result verifies the prediction of the random-phase approximation. Our proof refines the method of collective bosonization in three dimensions. We approximately diagonalize an effective Hamiltonian describing approximately bosonic collective excitations aroun… ▽ More We derive rigorously the leading order of the correlation energy of a Fermi gas in a scaling regime of high density and weak interaction. The result verifies the prediction of the random-phase approximation. Our proof refines the method of collective bosonization in three dimensions. We approximately diagonalize an effective Hamiltonian describing approximately bosonic collective excitations around the Hartree-Fock state, while showing that gapless and non-collective excitations have only a negligible effect on the ground state energy. △ Less

Submitted 16 March, 2021; v1 submitted 18 May, 2020; originally announced May 2020.

Comments: 69 pages, 2 figures; v2: additional references on lattice point counting; v3: expanded introduction and list of references

MSC Class: 81V70; 82B10; 81Q10; 35P05

Journal ref: Invent. Math. 225, 885-979 (2021)

McKay correspondence, cohomological Hall algebras and categorification

Authors: Duiliu-Emanuel Diaconescu, Mauro Porta, Francesco Sala

Abstract: Let $π\colon Y\to X$ denote the canonical resolution of the two dimensional Kleinian singularity $X$ of type ADE. In the present paper, we establish isomorphisms between the cohomological and K-theoretical Hall algebras of $ω$-semistable properly supported sheaves on $Y$ with fixed slope $μ$ and $ζ$-semistable finite-dimensional representations of the preprojective algebra of affine type ADE of sl… ▽ More Let $π\colon Y\to X$ denote the canonical resolution of the two dimensional Kleinian singularity $X$ of type ADE. In the present paper, we establish isomorphisms between the cohomological and K-theoretical Hall algebras of $ω$-semistable properly supported sheaves on $Y$ with fixed slope $μ$ and $ζ$-semistable finite-dimensional representations of the preprojective algebra of affine type ADE of slope zero respectively, under some conditions on $ζ$ depending on the polarization $ω$ and $μ$. These isomorphisms are induced by the derived McKay correspondence. In addition, they are interpreted as decategorified versions of a monoidal equivalence between the corresponding categorified Hall algebras. In the type A case, we provide finer descriptions of the cohomological, K-theoretical and categorified Hall algebra of $ω$-semistable properly supported sheaves on $Y$ with fixed slope $μ$: for example, in the cohomological case, the algebra can be given in terms of Yangians of finite type ADE Dynkin diagrams. △ Less

Submitted 30 November, 2023; v1 submitted 28 April, 2020; originally announced April 2020.

Comments: v2: 34 pages, Published version, main results hold for minimal resolutions of arbitrary ADE singularities. v1: 35 pages

MSC Class: 14A20 (Primary); 17B37; 55P99 (Secondary)

Journal ref: Represent. Theory (2023), 27, pages 933-972

Chromatin and cytoskeletal tethering determine nuclear morphology in progerin expressing cells

Authors: M. C. Lionetti, S. Bonfanti, M. R. Fumagalli, Z. Budrikis, F. Font Clos, G. Costantini, O. Chepizhko, S. Zapperi, C. A. M. La Porta

Abstract: The nuclear morphology of eukaryotic cells is determined by the interplay between the lamina forming the nuclear skeleton, the chromatin inside the nucleus and the coupling with the cytoskeleton. Nuclear alterations are often associated with pathological conditions as in the Hutchinson-Gilford progeria syndrome (HGPS) where a mutation in the lamin A gene yields an altered form of the protein, name… ▽ More The nuclear morphology of eukaryotic cells is determined by the interplay between the lamina forming the nuclear skeleton, the chromatin inside the nucleus and the coupling with the cytoskeleton. Nuclear alterations are often associated with pathological conditions as in the Hutchinson-Gilford progeria syndrome (HGPS) where a mutation in the lamin A gene yields an altered form of the protein, named progerin, and an aberrant nuclear shape. Here, we introduce an inducible cellular model of HGPS in HeLa cells where increased progerin expression leads to alterations in the coupling of the lamin shell with cytoskeletal/chromatin tethers as well as with Polycomb-group (PcG) proteins. Furthermore, our experiments show that progerin expression leads to enhanced nuclear shape fluctuations in response to cytoskeletal activity. To interpret the experimental results, we introduce a computational model of the cell nucleus that includes explicitly chromatin fibers, the nuclear shell and the coupling with the cytoskeleton. The model allows us to investigate how the geometrical organization of chromatin-lamin tether affects nuclear morphology and shape fluctuations. In sum, our findings highlight the crucial role played by lamin-chromatin and lamin-cytoskeletal alterations in determining nuclear shape morphology and in affecting cellular functions and gene regulation. △ Less

Submitted 16 April, 2020; v1 submitted 18 March, 2020; originally announced March 2020.

Comments: 38 pages, 25 figures

Unjamming of active rotators

Authors: Linda Ravazzano, Maria Chiara Lionetti, Maria Rita Fumagalli, Silvia Bonfanti, Roberto Guerra, Oleksandr Chepizhko, Caterina A. M. La Porta, Stefano Zapperi

Abstract: Active particle assemblies can exhibit a wide range of interesting dynamical phases depending on internal parameters such as density, adhesion strength or self-propulsion. Active self-rotations are rarely studied in this context, although they can be relevant for active matter systems, as we illustrate by analyzing the motion of Chlamydomonas reinhardtii algae under different experimental conditio… ▽ More Active particle assemblies can exhibit a wide range of interesting dynamical phases depending on internal parameters such as density, adhesion strength or self-propulsion. Active self-rotations are rarely studied in this context, although they can be relevant for active matter systems, as we illustrate by analyzing the motion of Chlamydomonas reinhardtii algae under different experimental conditions. Inspired by this example, we simulate the dynamics of a system of interacting active disks endowed with active torques. At low packing fractions, adhesion causes the formation of small rotating clusters, resembling those observed when algae are stressed. At higher densities, the model shows a jamming to unjamming transition promoted by active torques and hindered by adhesion. Our results yield a comprehensive picture of the dynamics of active rotators, providing useful guidance to interpret experimental results in cellular systems where rotations might play a role. △ Less

Submitted 13 March, 2020; originally announced March 2020.

Comments: 18 pages, 5 figures

Non-archimedean quantum K-invariants

Authors: Mauro Porta, Tony Yue Yu

Abstract: We construct quantum K-invariants in non-archimedean analytic geometry. Contrary to the classical approach in algebraic geometry via perfect obstruction theory, we build on our previous works on the foundations of derived non-archimedean geometry, the representability theorem and Gromov compactness. We obtain a list of natural geometric relations between the stacks of stable maps, directly at the… ▽ More We construct quantum K-invariants in non-archimedean analytic geometry. Contrary to the classical approach in algebraic geometry via perfect obstruction theory, we build on our previous works on the foundations of derived non-archimedean geometry, the representability theorem and Gromov compactness. We obtain a list of natural geometric relations between the stacks of stable maps, directly at the derived level, with respect to elementary operations on graphs, namely, products, cutting edges, forgetting tails and contracting edges. They imply immediately the corresponding properties of quantum K-invariants. The derived approach produces highly intuitive statements and functorial proofs. The flexibility of our derived approach to quantum K-invariants allows us to impose not only simple incidence conditions for marked points, but also incidence conditions with multiplicities. This leads to a new set of enumerative invariants. For the proofs, we further develop the foundations of derived non-archimedean geometry in this paper: we study derived lci morphisms, relative analytification, and deformation to the normal bundle. Our motivations come from non-archimedean enumerative geometry and mirror symmetry. △ Less

Submitted 19 July, 2022; v1 submitted 15 January, 2020; originally announced January 2020.

Comments: Improved exposition

MSC Class: Primary 14N35; Secondary 14A30; 14G22; 14D23

Protein driven lipid domain nucleation in biological membranes

Authors: Moritz Hoferer, Silvia Bonfanti, Alessandro Taloni, Caterina A. M. La Porta, Stefano Zapperi

Abstract: Lipid rafts are heterogeneous dynamic lipid domains of the cell membranes that are involved in several biological processes, like protein and lipids specific transport and signaling. Our understanding of lipid raft formation is still limited, due to the transient and elusive nature of these domains {\it in vivo}, in contrast to the stable phase-separated domains observed in artificial membranes. I… ▽ More Lipid rafts are heterogeneous dynamic lipid domains of the cell membranes that are involved in several biological processes, like protein and lipids specific transport and signaling. Our understanding of lipid raft formation is still limited, due to the transient and elusive nature of these domains {\it in vivo}, in contrast to the stable phase-separated domains observed in artificial membranes. Inspired by experimental findings highlighting the relevance of transmembrane proteins for lipid rafts, we investigate lipid domain nucleation by coarse-grained molecular dynamics and Ising model simulations. We find that the presence of a transmembrane protein can trigger lipid domain nucleation in a flat membrane from an otherwise mixed lipid phase. Furthermore, we study the role of the lipid domain in the diffusion of the protein showing that its mobility is hindered by the presence of the raft. The results of our coarse-grained molecular dynamics and Ising model simulations thus coherently support the important role played by transmembrane proteins in lipid domain formation and stability. △ Less

Submitted 4 February, 2020; v1 submitted 18 September, 2019; originally announced September 2019.

Comments: 9 pages, 7 figures, revision of typos und punctuation, replacement of media links to freely accessible platforms

Journal ref: Phys. Rev. E 100, 042410 (2019)

Anomaly non-renormalization in interacting Weyl semimetals

Authors: A. Giuliani, V. Mastropietro, M. Porta

Abstract: Weyl semimetals are 3D condensed matter systems characterized by a degenerate Fermi surface, consisting of a pair of `Weyl nodes'. Correspondingly, in the infrared limit, these systems behave effectively as Weyl fermions in $3+1$ dimensions. We consider a class of interacting 3D lattice models for Weyl semimetals and prove that the quadratic response of the quasi-particle flow between the Weyl nod… ▽ More Weyl semimetals are 3D condensed matter systems characterized by a degenerate Fermi surface, consisting of a pair of `Weyl nodes'. Correspondingly, in the infrared limit, these systems behave effectively as Weyl fermions in $3+1$ dimensions. We consider a class of interacting 3D lattice models for Weyl semimetals and prove that the quadratic response of the quasi-particle flow between the Weyl nodes is universal, that is, independent of the interaction strength and form. Universality is the counterpart of the Adler-Bardeen non-renormalization property of the chiral anomaly for the infrared emergent description, which is proved here in the presence of a lattice and at a non-perturbative level. Our proof relies on constructive bounds for the Euclidean ground state correlations combined with lattice Ward Identities, and it is valid arbitrarily close to the critical point where the Weyl points merge and the relativistic description breaks down. △ Less

Submitted 9 November, 2020; v1 submitted 1 July, 2019; originally announced July 2019.

Comments: 64 pages, 1 figure. Minor corrections. Some remarks modified in Sections 2.5 and 2.6. The summary of the proof in Section 3.1 has been expanded and improved. Version accepted for publication on Comm. Math. Phys

Derived Non-archimedean analytic Hilbert space

Authors: Jorge António, Mauro Porta

Abstract: In this short paper we combine the representability theorem introduced in [17, 18] with the theory of derived formal models introduced in [2] to prove the existence representability of the derived Hilbert space RHilb(X) for a separated k-analytic space X. Such representability results relies on a localization theorem stating that if X is a quasi-compact and quasi-separated formal scheme, then the… ▽ More In this short paper we combine the representability theorem introduced in [17, 18] with the theory of derived formal models introduced in [2] to prove the existence representability of the derived Hilbert space RHilb(X) for a separated k-analytic space X. Such representability results relies on a localization theorem stating that if X is a quasi-compact and quasi-separated formal scheme, then the \infty-category Coh^+(X^rig) of almost perfect complexes over the generic fiber can be realized as a Verdier quotient of the \infty-category Coh^+(X). Along the way, we prove several results concerning the the \infty-categories of formal models for almost perfect modules on derived k-analytic spaces. △ Less

Submitted 17 June, 2019; originally announced June 2019.

Comments: 28 pages

Journal ref: J. Inst. Math. Jussieu 21 (2022) 335-366

Two-dimensional categorified Hall algebras

Authors: Mauro Porta, Francesco Sala

Abstract: In the present paper, we introduce two-dimensional categorified Hall algebras of smooth curves and smooth surfaces. A categorified Hall algebra is an associative monoidal structure on the stable $\infty$-category $\mathsf{Coh}^{\mathsf{b}}(\mathbb{R}\mathsf{M})$ of complexes of sheaves with bounded coherent cohomology on a derived moduli stack $\mathbb{R}\mathsf{M}$. In the surface case,… ▽ More In the present paper, we introduce two-dimensional categorified Hall algebras of smooth curves and smooth surfaces. A categorified Hall algebra is an associative monoidal structure on the stable $\infty$-category $\mathsf{Coh}^{\mathsf{b}}(\mathbb{R}\mathsf{M})$ of complexes of sheaves with bounded coherent cohomology on a derived moduli stack $\mathbb{R}\mathsf{M}$. In the surface case, $\mathbb{R}\mathsf{M}$ is a suitable derived enhancement of the moduli stack $\mathsf{M}$ of coherent sheaves on the surface. This construction categorifies the K-theoretical and cohomological Hall algebras of coherent sheaves on a surface of Zhao and Kapranov-Vasserot. In the curve case, we define three categorified Hall algebras associated with suitable derived enhancements of the moduli stack of Higgs sheaves on a curve $X$, the moduli stack of vector bundles with flat connections on $X$, and the moduli stack of finite-dimensional local systems on $X$, respectively. In the Higgs sheaves case we obtain a categorification of the K-theoretical and cohomological Hall algebras of Higgs sheaves on a curve of Minets and Sala-Schiffmann, while in the other two cases our construction yields, by passing to $\mathsf K_0$, new K-theoretical Hall algebras, and by passing to $\mathsf H_\ast^{\mathsf{BM}}$, new cohomological Hall algebras. Finally, we show that the Riemann-Hilbert and the non-abelian Hodge correspondences can be lifted to the level of our categorified Hall algebras of a curve. △ Less

Submitted 21 November, 2022; v1 submitted 18 March, 2019; originally announced March 2019.

Comments: v4: 71 pages; Final version. v3: 69 pages; introduction expanded; proofs in Sections 2 and 3 strengthened; new appendix about ind quasi-compact stacks and their correspondences included. The main results are unchanged

Report number: IPMU--19--0025 MSC Class: 14A20 (Primary); 17B37; 55P99 (Secondary)

Journal ref: J. Eur. Math. Soc. (2023)

A Convolutional Neural Network for the Automatic Diagnosis of Collagen VI related Muscular Dystrophies

Authors: Adrián Bazaga, Mònica Roldán, Carmen Badosa, Cecilia Jiménez-Mallebrera, Josep M. Porta

Abstract: The development of machine learning systems for the diagnosis of rare diseases is challenging mainly due the lack of data to study them. Despite this challenge, this paper proposes a system for the Computer Aided Diagnosis (CAD) of low-prevalence, congenital muscular dystrophies from confocal microscopy images. The proposed CAD system relies on a Convolutional Neural Network (CNN) which performs a… ▽ More The development of machine learning systems for the diagnosis of rare diseases is challenging mainly due the lack of data to study them. Despite this challenge, this paper proposes a system for the Computer Aided Diagnosis (CAD) of low-prevalence, congenital muscular dystrophies from confocal microscopy images. The proposed CAD system relies on a Convolutional Neural Network (CNN) which performs an independent classification for non-overlap** patches tiling the input image, and generates an overall decision summarizing the individual decisions for the patches on the query image. This decision scheme points to the possibly problematic areas in the input images and provides a global quantitative evaluation of the state of the patients, which is fundamental for diagnosis and to monitor the efficiency of therapies. △ Less

Submitted 30 January, 2019; originally announced January 2019.

Comments: Submitted for review to Expert Systems With Applications

A supersymmetric hierarchical model for weakly disordered $3d$ semimetals

Authors: Giovanni Antinucci, Luca Fresta, Marcello Porta

Abstract: In this paper we study a hierarchical supersymmetric model for a class of gapless, three-dimensional, weakly disordered quantum systems, displaying pointlike Fermi surface and conical intersections of the energy bands in the absence of disorder. We use rigorous renormalization group methods and supersymmetry to compute the correlation functions of the system. We prove algebraic decay of the two-po… ▽ More In this paper we study a hierarchical supersymmetric model for a class of gapless, three-dimensional, weakly disordered quantum systems, displaying pointlike Fermi surface and conical intersections of the energy bands in the absence of disorder. We use rigorous renormalization group methods and supersymmetry to compute the correlation functions of the system. We prove algebraic decay of the two-point correlation function, compatible with delocalization. A main technical ingredient is the multiscale analysis of massless bosonic Gaussian integrations with purely imaginary covariances, performed via iterative stationary phase expansions. △ Less

Submitted 8 December, 2019; v1 submitted 14 January, 2019; originally announced January 2019.

Comments: 74 pages, 2 figures, v3: Sections 3 and 4 expanded and restructured, typos corrected, references added

Analytification of map** stacks

Authors: Julian Holstein, Mauro Porta

Abstract: Derived map** stacks are a fundamental source of examples of derived enhancements of classical moduli problems. For instance, they appear naturally in Gromov-Witten theory and in some branches of geometric representation theory. In this paper, we show that in many cases the map** stacks construction commutes with the (complex or non-archimedean) analytification functor. Along the way, we estab… ▽ More Derived map** stacks are a fundamental source of examples of derived enhancements of classical moduli problems. For instance, they appear naturally in Gromov-Witten theory and in some branches of geometric representation theory. In this paper, we show that in many cases the map** stacks construction commutes with the (complex or non-archimedean) analytification functor. Along the way, we establish several properties of the stack of analytic perfect complexes and study some incarnations of analytic Tannaka duality. △ Less

Submitted 21 December, 2018; originally announced December 2018.

Comments: 58 pages

MSC Class: 14D23; 14G22; 32G13; 14A20

Optimal Upper Bound for the Correlation Energy of a Fermi Gas in the Mean-Field Regime

Authors: Niels Benedikter, Phan Thành Nam, Marcello Porta, Benjamin Schlein, Robert Seiringer

Abstract: While Hartree-Fock theory is well established as a fundamental approximation for interacting fermions, it has been unclear how to describe corrections to it due to many-body correlations. In this paper we start from the Hartree-Fock state given by plane waves and introduce collective particle-hole pair excitations. These pairs can be approximately described by a bosonic quadratic Hamiltonian. We u… ▽ More While Hartree-Fock theory is well established as a fundamental approximation for interacting fermions, it has been unclear how to describe corrections to it due to many-body correlations. In this paper we start from the Hartree-Fock state given by plane waves and introduce collective particle-hole pair excitations. These pairs can be approximately described by a bosonic quadratic Hamiltonian. We use Bogoliubov theory to construct a trial state yielding a rigorous Gell-Mann-Brueckner-type upper bound to the ground state energy. Our result justifies the random phase approximation in the mean-field scaling regime, for repulsive, regular interaction potentials. △ Less

Submitted 24 April, 2019; v1 submitted 6 September, 2018; originally announced September 2018.

Comments: 51 pages, 6 figures; v3: 2 new figures, some heuristic discussion added, typos fixed

MSC Class: 81V70; 82B10; 81Q10; 35P05

Journal ref: Commun. Math. Phys. 374, 2097-2150 (2020)

On the correlation energy of interacting fermionic systems in the mean-field regime

Authors: Christian Hainzl, Marcello Porta, Felix Rexze

Abstract: We consider a system of $N\gg 1$ interacting fermionic particles in three dimensions, confined in a periodic box of volume $1$, in the mean-field scaling. We assume that the interaction potential is bounded and small enough. We prove upper and lower bounds for the correlation energy, which are optimal in their $N$-dependence. Moreover, we compute the correlation energy at leading order in the inte… ▽ More We consider a system of $N\gg 1$ interacting fermionic particles in three dimensions, confined in a periodic box of volume $1$, in the mean-field scaling. We assume that the interaction potential is bounded and small enough. We prove upper and lower bounds for the correlation energy, which are optimal in their $N$-dependence. Moreover, we compute the correlation energy at leading order in the interaction potential, recovering the prediction of second order perturbation theory. The proof is based on the combination of methods recently introduced for the study of fermionic many-body quantum dynamics together with a rigorous version of second-order perturbation theory, developed in the context of non-relativistic QED. △ Less

Submitted 9 December, 2019; v1 submitted 29 June, 2018; originally announced June 2018.

Comments: 40 pages; introduction rewritten, proof of Lemma 4.7 corrected. To appear in Comm. Math. Phys

Quantization of the interacting Hall conductivity in the critical regime

Authors: Alessandro Giuliani, Vieri Mastropietro, Marcello Porta

Abstract: The Haldane model is a paradigmatic 2d lattice model exhibiting the integer quantum Hall effect. We consider an interacting version of the model, and prove that for short-range interactions, smaller than the bandwidth, the Hall conductivity is quantized, for all the values of the parameters outside two critical curves, across which the model undergoes a `topological' phase transition: the Hall coe… ▽ More The Haldane model is a paradigmatic 2d lattice model exhibiting the integer quantum Hall effect. We consider an interacting version of the model, and prove that for short-range interactions, smaller than the bandwidth, the Hall conductivity is quantized, for all the values of the parameters outside two critical curves, across which the model undergoes a `topological' phase transition: the Hall coefficient remains integer and constant as long as we continuously deform the parameters without crossing the curves; when this happens, the Hall coefficient jumps abruptly to a different integer. Previous works were limited to the perturbative regime, in which the interaction is much smaller than the bare gap, so they were restricted to regions far from the critical lines. The non-renormalization of the Hall conductivity arises as a consequence of lattice conservation laws and of the regularity properties of the current-current correlations. Our method provides a full construction of the critical curves, which are modified (`dressed') by the electron-electron interaction. The shift of the transition curves manifests itself via apparent infrared divergences in the naive perturbative series, which we resolve via renormalization group methods. △ Less

Submitted 29 March, 2018; originally announced March 2018.

Comments: 33 pages, 1 figure

From jamming to collective cell migration through a boundary induced transition

Authors: Oleksandr Chepizhko, Maria Chiara Lionetti, Chiara Malinverno, Giorgio Scita, Stefano Zapperi, Caterina A. M. La Porta

Abstract: Cell monolayers provide an interesting example of active matter, exhibiting a phase transition from a flowing to jammed state as they age. Here we report experiments and numerical simulations illustrating how a jammed cellular layer rapidly reverts to a flowing state after a wound. Quantitative comparison between experiments and simulations shows that cells change their self-propulsion and alignem… ▽ More Cell monolayers provide an interesting example of active matter, exhibiting a phase transition from a flowing to jammed state as they age. Here we report experiments and numerical simulations illustrating how a jammed cellular layer rapidly reverts to a flowing state after a wound. Quantitative comparison between experiments and simulations shows that cells change their self-propulsion and alignement strength so that the system crosses a phase transition line, which we characterize by finite-size scaling in an active particle model. This wound-induced unjamming transition is found to occur generically in epithelial, endothelial and cancer cells. △ Less

Submitted 21 February, 2018; originally announced February 2018.

Comments: 6 figures

Derived Hom spaces in rigid analytic geometry

Authors: Mauro Porta, Tony Yue Yu

Abstract: We construct a derived enhancement of Hom spaces between rigid analytic spaces. It encodes the hidden deformation-theoretic informations of the underlying classical moduli space. The main tool in our construction is the representability theorem in derived analytic geometry, which has been established in our previous work. The representability theorem provides us sufficient and necessary conditions… ▽ More We construct a derived enhancement of Hom spaces between rigid analytic spaces. It encodes the hidden deformation-theoretic informations of the underlying classical moduli space. The main tool in our construction is the representability theorem in derived analytic geometry, which has been established in our previous work. The representability theorem provides us sufficient and necessary conditions for an analytic moduli functor to possess the structure of a derived analytic stack. In order to verify the conditions of the representability theorem, we prove several general results in the context of derived non-archimedean analytic geometry: derived Tate acyclicity, projection formula, and proper base change. These results also deserve independent interest themselves. Our main motivation comes from non-archimedean enumerative geometry. In our subsequent works, we will apply the derived map** stacks to obtain non-archimedean analytic Gromov-Witten invariants. △ Less

Submitted 23 January, 2018; originally announced January 2018.

MSC Class: 14G22 (Primary) 14D23; 18G55 (Secondary)

Canonical Drude weight for non-integrable quantum spin chains

Authors: Vieri Mastropietro, Marcello Porta

Abstract: The Drude weight is a central quantity for the transport properties of quantum spin chains. The canonical definition of Drude weight is directly related to Kubo formula of conductivity. However, the difficulty in the evaluation of such expression has led to several alternative formulations, accessible to different methods. In particular, the Euclidean, or imaginary-time, Drude weight can be studie… ▽ More The Drude weight is a central quantity for the transport properties of quantum spin chains. The canonical definition of Drude weight is directly related to Kubo formula of conductivity. However, the difficulty in the evaluation of such expression has led to several alternative formulations, accessible to different methods. In particular, the Euclidean, or imaginary-time, Drude weight can be studied via rigorous renormalization group. As a result, in the past years several universality results have been proven for such quantity at zero temperature; remarkably the proof works for both for integrable and non-integrable quantum spin chains. Here we establish the equivalence of Euclidean and canonical Drude weights at zero temperature. Our proof is based on rigorous renormalization group methods, Ward identities, and complex analytic ideas. △ Less

Submitted 24 December, 2017; v1 submitted 31 October, 2017; originally announced October 2017.

Comments: Two appendices added, minor corrections. 18 pages

Universal statistics of epithelial tissue topology

Authors: Abdulaziz Abdullah, Demetris Avraam, Oleksandr Chepizhko, Thomas Vaccari, Stefano Zapperi, Caterina A. M. La Porta, Bakhtier Vasiev

Abstract: Cells forming various epithelial tissues have a strikingly universal distribution for the number of their edges. It is generally assumed that this topological feature is predefined by the statistics of individual cell divisions in growing tissue but existing theoretical models are unable to predict the observed distribution. Here we show experimentally, as well as in simulations, that the probabil… ▽ More Cells forming various epithelial tissues have a strikingly universal distribution for the number of their edges. It is generally assumed that this topological feature is predefined by the statistics of individual cell divisions in growing tissue but existing theoretical models are unable to predict the observed distribution. Here we show experimentally, as well as in simulations, that the probability of cellular division increases exponentially with the number of edges of the dividing cell and show analytically that this is responsible for the observed shape of cell-edge distribution. △ Less

Submitted 23 October, 2017; originally announced October 2017.

Comments: 3 figures

Spin Hall insulators beyond the Helical Luttinger model

Authors: Vieri Mastropietro, Marcello Porta

Abstract: We consider the interacting, spin conserving, extended Kane-Mele-Hubbard model, and we rigorously establish the exact quantization of the edge spin conductance and the validity of the Helical Luttinger liquid relations for Drude weights and susceptibilities. Our analysis fully takes into account lattice effects, typically neglected in the Helical Luttinger model approximation, which play an essent… ▽ More We consider the interacting, spin conserving, extended Kane-Mele-Hubbard model, and we rigorously establish the exact quantization of the edge spin conductance and the validity of the Helical Luttinger liquid relations for Drude weights and susceptibilities. Our analysis fully takes into account lattice effects, typically neglected in the Helical Luttinger model approximation, which play an essential role for universality. The analysis is based on exact renormalization group methods and on a combination of lattice and emergent Ward identities, which allow to relate the emergent chiral anomaly with the finite renormalizations due to lattice corrections. △ Less

Submitted 24 December, 2017; v1 submitted 14 September, 2017; originally announced September 2017.

Comments: Extended version of the original submission. Figure added, minor corrections. 10 pages, 2 figures. Accepted for publication on Phys. Rev. B

Journal ref: Phys. Rev. B 96, 245135 (2017)

Universal edge transport in interacting Hall systems

Authors: Giovanni Antinucci, Vieri Mastropietro, Marcello Porta

Abstract: We study the edge transport properties of $2d$ interacting Hall systems, displaying single-mode chiral edge currents. For this class of many-body lattice models, including for instance the interacting Haldane model, we prove the quantization of the edge charge conductance and the bulk-edge correspondence. Instead, the edge Drude weight and the edge susceptibility are interaction-dependent; neverth… ▽ More We study the edge transport properties of $2d$ interacting Hall systems, displaying single-mode chiral edge currents. For this class of many-body lattice models, including for instance the interacting Haldane model, we prove the quantization of the edge charge conductance and the bulk-edge correspondence. Instead, the edge Drude weight and the edge susceptibility are interaction-dependent; nevertheless, they satisfy exact universal scaling relations, in agreement with the chiral Luttinger liquid theory. Moreover, charge and spin excitations differ in their velocities, giving rise to the spin-charge separation phenomenon. The analysis is based on exact renormalization group methods, and on a combination of lattice and emergent Ward identities. The invariance of the emergent chiral anomaly under the renormalization group flow plays a crucial role in the proof. △ Less

Submitted 17 May, 2018; v1 submitted 28 August, 2017; originally announced August 2017.

Comments: 63 pages, 2 figures. Proof adapted to a larger class of hop** Hamiltonians. Minor corrections, typos fixed. Accepted for publication on Comm. Math. Phys

Kinodynamic Planning on Constraint Manifolds

Authors: Ricard Bordalba, Lluís Ros, Josep M. Porta

Abstract: This paper presents a motion planner for systems subject to kinematic and dynamic constraints. The former appear when kinematic loops are present in the system, such as in parallel manipulators, in robots that cooperate to achieve a given task, or in situations involving contacts with the environment. The latter are necessary to obtain realistic trajectories, taking into account the forces acting… ▽ More This paper presents a motion planner for systems subject to kinematic and dynamic constraints. The former appear when kinematic loops are present in the system, such as in parallel manipulators, in robots that cooperate to achieve a given task, or in situations involving contacts with the environment. The latter are necessary to obtain realistic trajectories, taking into account the forces acting on the system. The kinematic constraints make the state space become an implicitly-defined manifold, which complicates the application of common motion planning techniques. To address this issue, the planner constructs an atlas of the state space manifold incrementally, and uses this atlas both to generate random states and to dynamically simulate the steering of the system towards such states. The resulting tools are then exploited to construct a rapidly-exploring random tree (RRT) over the state space. To the best of our knowledge, this is the first randomized kinodynamic planner for implicitly-defined state spaces. The test cases presented in this paper validate the approach in significantly-complex systems. △ Less

Submitted 22 May, 2017; originally announced May 2017.

Report number: IRI-TR-17-01

Cholesterol impairment contributes to neuroserpin aggregation

Authors: Costanza Giampietro, Maria Chiara Lionetti, Giulio Costantini, Federico Mutti, Stefano Zapperi, Caterina A. M. La Porta

Abstract: Intraneural accumulation of misfolded proteins is a common feature of several neurodegenerative pathologies including Alzheimer's and Parkinson's diseases, and Familial Encephalopathy with Neuroserpin Inclusion Bodies (FENIB). FENIB is a rare disease due to a point mutation in neuroserpin which accelerates protein aggregation in the endoplasmic reticulum (ER). Here we show that cholesterol depleti… ▽ More Intraneural accumulation of misfolded proteins is a common feature of several neurodegenerative pathologies including Alzheimer's and Parkinson's diseases, and Familial Encephalopathy with Neuroserpin Inclusion Bodies (FENIB). FENIB is a rare disease due to a point mutation in neuroserpin which accelerates protein aggregation in the endoplasmic reticulum (ER). Here we show that cholesterol depletion induced either by prolonged exposure to statins or by inhibiting the sterol regulatory binding-element protein (SREBP) pathway also enhances aggregation of neuroserpin proteins. These findings can be explained considering a computational model of protein aggregation under non-equilibrium conditions, where a decrease in the rate of protein clearance improves aggregation. Decreasing cholesterol in cell membranes affects their biophysical properties, including their ability to form the vesicles needed for protein clearance, as we illustrate by a simple mathematical model. Taken together, these results suggest that cholesterol reduction induces neuroserpin aggregation, even in absence of specific neuroserpin mutations. The new mechanism we uncover could be relevant also for other neurodegenerative diseases associated with protein aggregation. △ Less

Submitted 15 May, 2017; originally announced May 2017.

Comments: 7 figures

Journal ref: Scientific Reports 7, Article number: 43669 (2017)

Complexity in cancer stem cells and tumor evolution: towards precision medicine

Authors: Caterina A. M. La Porta, Stefano Zapperi

Abstract: In this review, we discuss recent advances on the plasticity of cancer stem cells and highlight their relevance to understand the metastatic process and to guide therapeutic interventions. Recent results suggest that the strict hierarchical structure of cancer cell populations advocated by the cancer stem cell model must be reconsidered since the depletion of cancer stem cells leads the other tumo… ▽ More In this review, we discuss recent advances on the plasticity of cancer stem cells and highlight their relevance to understand the metastatic process and to guide therapeutic interventions. Recent results suggest that the strict hierarchical structure of cancer cell populations advocated by the cancer stem cell model must be reconsidered since the depletion of cancer stem cells leads the other tumor cells to switch back into the cancer stem cell phenotype. This plasticity has important implications for metastasis since migrating cells do not need to be cancer stem cells in order to seed a metastasis. We also discuss the important role of the immune system and the microenvironment in modulating phenotypic switching and suggest possible avenues to exploit our understanding of this process to develop an effective strategy for precision medicine. △ Less

Submitted 14 May, 2017; originally announced May 2017.

Comments: 2 Figures, to appear in Seminars in Cancer Biology, Available online 23 February 2017

Representability theorem in derived analytic geometry

Authors: Mauro Porta, Tony Yue Yu

Abstract: We prove the representability theorem in derived analytic geometry. The theorem asserts that an analytic moduli functor is a derived analytic stack if and only if it is compatible with Postnikov towers, has a global analytic cotangent complex, and its truncation is an analytic stack. Our result applies to both derived complex analytic geometry and derived non-archimedean analytic geometry (rigid a… ▽ More We prove the representability theorem in derived analytic geometry. The theorem asserts that an analytic moduli functor is a derived analytic stack if and only if it is compatible with Postnikov towers, has a global analytic cotangent complex, and its truncation is an analytic stack. Our result applies to both derived complex analytic geometry and derived non-archimedean analytic geometry (rigid analytic geometry). The representability theorem is of both philosophical and practical importance in derived geometry. The conditions of representability are natural expectations for a moduli functor. So the theorem confirms that the notion of derived analytic space is natural and sufficiently general. On the other hand, the conditions are easy to verify in practice. So the theorem enables us to enhance various classical moduli spaces with derived structures, thus provides plenty of down-to-earth examples of derived analytic spaces. For the purpose of proof, we study analytification, square-zero extensions, analytic modules and cotangent complexes in the context of derived analytic geometry. We will explore applications of the representability theorem in our subsequent works. In particular, we will establish the existence of derived map** stacks via the representability theorem. △ Less

Submitted 16 March, 2022; v1 submitted 5 April, 2017; originally announced April 2017.

Comments: This version contains a revision to Section 6

MSC Class: Primary 14D23; Secondary 14G22; 32G13; 14A30

The derived Riemann-Hilbert correspondence

Authors: Mauro Porta

Abstract: In this short paper we prove a derived version of the Riemann-Hilbert correspondence of Deligne and Simpson. Our generalization is twofold: on one side we consider families of representations of the full homotopy type of a smooth analytic space $X$ in the stable $\infty$-category of complexes of coherent sheaves and of perfect complexes; on the other side, we allow the base parametrizing such fami… ▽ More In this short paper we prove a derived version of the Riemann-Hilbert correspondence of Deligne and Simpson. Our generalization is twofold: on one side we consider families of representations of the full homotopy type of a smooth analytic space $X$ in the stable $\infty$-category of complexes of coherent sheaves and of perfect complexes; on the other side, we allow the base parametrizing such families to be derived $\mathbb C$-analytic spaces. △ Less

Submitted 10 March, 2017; originally announced March 2017.

Comments: 23 pages. Comments very welcome!

MSC Class: 32D13; 14D20

Bursts of activity in collective cell migration

Authors: Oleksandr Chepizhko, Costanza Giampietro, Eleonora Mastrapasqua, Mehdi Nourazar, Miriam Ascagni, Michela Sugni, Umberto Fascio, Livio Leggio, Chiara Malinverno, Giorgio Scita, Stephane Santucci, Mikko J. Alava, Stefano Zapperi, Caterina A. M. La Porta

Abstract: Dense monolayers of living cells display intriguing relaxation dynamics, reminiscent of soft and glassy materials close to the jamming transition, and migrate collectively when space is available, as in wound healing or in cancer invasion. Here we show that collective cell migration occurs in bursts that are similar to those recorded in the propagation of cracks, fluid fronts in porous media and f… ▽ More Dense monolayers of living cells display intriguing relaxation dynamics, reminiscent of soft and glassy materials close to the jamming transition, and migrate collectively when space is available, as in wound healing or in cancer invasion. Here we show that collective cell migration occurs in bursts that are similar to those recorded in the propagation of cracks, fluid fronts in porous media and ferromagnetic domain walls. In analogy with these systems, the distribution of activity bursts displays scaling laws that are universal in different cell types and for cells moving on different substrates. The main features of the invasion dynamics are quantitatively captured by a model of interacting active particles moving in a disordered landscape. Our results illustrate that collective motion of living cells is analogous to the corresponding dynamics in driven, but inanimate, systems. △ Less

Submitted 25 October, 2016; originally announced October 2016.

Journal ref: PNAS 113 (41), 11408-11413 (2016)

Deformation and fracture of echinoderm collagen networks

Authors: Markus Ovaska, Zsolt Bertalan, Amandine Miksic, Michela Sugni, Cristiano Di Benedetto, Cinzia Ferrario, Livio Leggio, Luca Guidetti, Mikko J. Alava, Caterina A. M. La Porta, Stefano Zapperi

Abstract: Collagen networks provide the main structural component of most tissues and represent an important ingredient for bio-mimetic materials for bio-medical applications. Here we study the mechanical properties of stiff collagen networks derived from three different echinoderms and show that they exhibit non-linear stiffening followed by brittle fracture. The disordered nature of the network leads to s… ▽ More Collagen networks provide the main structural component of most tissues and represent an important ingredient for bio-mimetic materials for bio-medical applications. Here we study the mechanical properties of stiff collagen networks derived from three different echinoderms and show that they exhibit non-linear stiffening followed by brittle fracture. The disordered nature of the network leads to strong sample-to-sample fluctuations in elasticity and fracture strength. We perform numerical simulations of a three dimensional model for the deformation of a cross-linked elastic fibril network which is able to reproduce the macroscopic features of the experimental results and provide insights into the internal mechanics of stiff collagen networks. Our numerical model provides an avenue for the design of collagen membranes with tunable mechanical properties. △ Less

Submitted 22 September, 2016; originally announced September 2016.

Journal ref: Journal of the Mechanical Behavior of Biomedical Materials, 65, 42 (2017)

Fluctuations in protein aggregation: Design of preclinical screening for early diagnosis of neurodegenerative disease

Authors: Giulio Costantini, Zoe Budrikis, Alessandro Taloni, Alexander K. Buell, Stefano Zapperi, Caterina A. M. La Porta

Abstract: Autocatalytic fibril nucleation has recently been proposed to be a determining factor for the spread of neurodegenerative diseases, but the same process could also be exploited to amplify minute quantities of protein aggregates in a diagnostic context. Recent advances in microfluidic technology allow analysis of protein aggregation in micron-scale samples potentially enabling such diagnostic appro… ▽ More Autocatalytic fibril nucleation has recently been proposed to be a determining factor for the spread of neurodegenerative diseases, but the same process could also be exploited to amplify minute quantities of protein aggregates in a diagnostic context. Recent advances in microfluidic technology allow analysis of protein aggregation in micron-scale samples potentially enabling such diagnostic approaches, but the theoretical foundations for the analysis and interpretation of such data are so far lacking. Here we study computationally the onset of protein aggregation in small volumes and show that the process is ruled by intrinsic fluctuations whose volume dependent distribution we also estimate theoretically. Based on these results, we develop a strategy to quantify in silico the statistical errors associated with the detection of aggregate containing samples. Our work opens a new perspective on the forecasting of protein aggregation in asymptomatic subjects. △ Less

Submitted 22 September, 2016; originally announced September 2016.

Journal ref: Phys. Rev. Applied 6, 034012 (2016)

Mean field evolution of fermions with Coulomb interaction

Authors: Marcello Porta, Simone Rademacher, Chiara Saffirio, Benjamin Schlein

Abstract: We study the many body Schrödinger evolution of weakly coupled fermions interacting through a Coulomb potential. We are interested in a joint mean field and semiclassical scaling, that emerges naturally for initially confined particles. For initial data describing approximate Slater determinants, we prove convergence of the many-body evolution towards Hartree-Fock dynamics. Our result holds under… ▽ More We study the many body Schrödinger evolution of weakly coupled fermions interacting through a Coulomb potential. We are interested in a joint mean field and semiclassical scaling, that emerges naturally for initially confined particles. For initial data describing approximate Slater determinants, we prove convergence of the many-body evolution towards Hartree-Fock dynamics. Our result holds under a condition on the solution of the Hartree-Fock equation, that we can only show in a very special situation (translation invariant data, whose Hartree-Fock evolution is trivial), but that we expect to hold more generally. △ Less

Submitted 25 October, 2016; v1 submitted 18 August, 2016; originally announced August 2016.

Comments: 21 pages. Minor changes, typos corrected

Formal gluing along non-linear flags

Authors: Benjamin Hennion, Mauro Porta, Gabriele Vezzosi

Abstract: In this paper we prove formal glueing along an arbitrary closed substack $Z$ of an arbitrary Artin stack $X$ (locally of finite type over a field $k$), for the stacks of (almost) perfect complexes , and of $G$-bundles on $X$ (for $G$ a smooth affine algebraic $k$-group scheme). By iterating this result, we get a decomposition of these stacks along an arbitrary nonlinear flag of closed substacks in… ▽ More In this paper we prove formal glueing along an arbitrary closed substack $Z$ of an arbitrary Artin stack $X$ (locally of finite type over a field $k$), for the stacks of (almost) perfect complexes , and of $G$-bundles on $X$ (for $G$ a smooth affine algebraic $k$-group scheme). By iterating this result, we get a decomposition of these stacks along an arbitrary nonlinear flag of closed substacks in $X$. By taking points over the base field, we deduce from this both a formal glueing, and a flag-related decomposition formula for the corresponding symmetric monoidal derived $\infty$-categories of (almost) perfect modules. When $X$ is a quasi-compact and quasi-separated scheme, we also prove a localization theorem for almost perfect complexes on $X$, which parallels Thomason's localization results for perfect complexes. This is one of the main ingredients we need to provide a global characterization of the category of almost perfect complexes on the punctured formal neighbourhood. We then extend all of the previous results - i.e. the formal glueing and flag-decomposition formulas - to the case when $X$ is a derived Artin stack (locally almost of finite type over a field $k$), for the derived versions of the stacks of (almost) perfect modules, and of $G$-bundles on $X$. We close the paper by highlighting some expected progress in the subject matter of this paper, related to a Geometric Langlands program for higher dimensional varieties. In an Appendix (for $X$ a variety), we give a precise comparison between our formal glueing results and the rigid-analytic approach of Ben-Bassat and Temkin. △ Less

Submitted 17 October, 2016; v1 submitted 15 July, 2016; originally announced July 2016.

Comments: Enlarged version, sharpened old results and added new ones