Showing 1–50 of 61 results for author: Mazzucato, L

Towards model-based design of causal manipulations of brain circuits with high spatiotemporal precision

Authors: Anandita De, Roozbeh Kiani, Luca Mazzucato

Abstract: Recent advancements in neurotechnology enable precise spatiotemporal patterns of microstimulations with single-cell resolution. The choice of perturbation sites must satisfy two key criteria: efficacy in evoking significant responses and selectivity for the desired target effects. This choice is currently based on laborious trial-and-error procedures, unfeasible for sequences of multi-site stimula… ▽ More Recent advancements in neurotechnology enable precise spatiotemporal patterns of microstimulations with single-cell resolution. The choice of perturbation sites must satisfy two key criteria: efficacy in evoking significant responses and selectivity for the desired target effects. This choice is currently based on laborious trial-and-error procedures, unfeasible for sequences of multi-site stimulations. Efficient methods to design complex perturbation patterns are urgently needed. Can we design a spatiotemporal pattern of stimulation to steer neural activity and behavior towards a desired target? We outline a method for achieving this goal in two steps. First, we identify the most effective perturbation sites, or hubs, only based on short observations of spontaneous neural activity. Second, we provide an efficient method to design multi-site stimulation patterns by combining approaches from nonlinear dynamical systems, control theory and data-driven methods. We demonstrate the feasibility of our approach using multi-site stimulation patterns in recurrent network models. △ Less

Submitted 30 May, 2025; originally announced May 2025.

Enhanced dissipation by advection and applications to PDEs

Authors: Anna L. Mazzucato, Yuanyuan Feng, Camilla Nobili

Abstract: This survey provides a concise yet comprehensive overview on enhanced dissipation phenomena, transitioning seamlessly from the physical principles underlying the interplay between advection and diffusion to their rigorous mathematical formulation and analysis. The discussion begins with the standard theory of enhanced dissipation, highlighting key mechanisms and results, and progresses to its appl… ▽ More This survey provides a concise yet comprehensive overview on enhanced dissipation phenomena, transitioning seamlessly from the physical principles underlying the interplay between advection and diffusion to their rigorous mathematical formulation and analysis. The discussion begins with the standard theory of enhanced dissipation, highlighting key mechanisms and results, and progresses to its applications in notable nonlinear PDEs such as the Cahn-Hilliard and Kuramoto-Sivashinsky equations. △ Less

Submitted 30 January, 2025; v1 submitted 29 January, 2025; originally announced January 2025.

Comments: 29 pages, 3 figures

MSC Class: 76Rxx; 35Qxx 76F10

Energy dissipation near the outflow boundary in the vanishing viscosity limit

Authors: Jincheng Yang, Vincent R. Martinez, Anna L. Mazzucato, Alexis F. Vasseur

Abstract: We consider the incompressible Navier-Stokes and Euler equations in a bounded domain with non-characteristic boundary condition, and study the energy dissipation near the outflow boundary in the zero-viscosity limit. We show that in a general setting, the energy dissipation rate is proportional to $\bar U \bar V ^2$, where $\bar U$ is the strength of the suction and $\bar V$ is the tangential comp… ▽ More We consider the incompressible Navier-Stokes and Euler equations in a bounded domain with non-characteristic boundary condition, and study the energy dissipation near the outflow boundary in the zero-viscosity limit. We show that in a general setting, the energy dissipation rate is proportional to $\bar U \bar V ^2$, where $\bar U$ is the strength of the suction and $\bar V$ is the tangential component of the difference between Euler and Navier-Stokes on the outflow boundary. Moreover, we show that the enstrophy within a layer of order $ν/ \bar U$ is comparable with the total enstrophy. The rate of enstrophy production near the boundary is inversely proportional to $ν$. △ Less

Submitted 16 October, 2024; originally announced October 2024.

Comments: 25 pages, 3 figures

MSC Class: 76D05; 35Q30

A shape derivative algorithm for reconstructing elastic dislocations in geophysics

Authors: Andrea Aspri, Elena Beretta, Arum Lee, Anna Mazzucato

Abstract: We consider the inverse problem of determining an elastic dislocation that models a seismic fault in the quasi-static regime of aseismic, creeping faults, from displacement measurements made at the surface of Earth. We derive both a distributed as well as a boundary shape derivative that encodes the change in a misfit functional between the measured and the computed surface displacement under infi… ▽ More We consider the inverse problem of determining an elastic dislocation that models a seismic fault in the quasi-static regime of aseismic, creeping faults, from displacement measurements made at the surface of Earth. We derive both a distributed as well as a boundary shape derivative that encodes the change in a misfit functional between the measured and the computed surface displacement under infinitesimal movements of the dislocation and infinitesimal changes in the slip vector, which gives the displacement jump across the dislocation. We employ the shape derivative in an iterative reconstruction algorithm. We present some numerical test of the reconstruction algorithm in a simplified 2D setting. △ Less

Submitted 5 October, 2024; originally announced October 2024.

MSC Class: 35R30; 74G75; 65N30

Probabilistic modeling reveals coordinated social interaction states and their multisensory bases

Authors: Sarah Josephine Stednitz, Andrew Lesak, Adeline L Fecker, Peregrine Painter, Phil Washbourne, Luca Mazzucato, Ethan K Scott

Abstract: Social behavior across animal species ranges from simple pairwise interactions to thousands of individuals coordinating goal-directed movements. Regardless of the scale, these interactions are governed by the interplay between multimodal sensory information and the internal state of each animal. Here, we investigate how animals use multiple sensory modalities to guide social behavior in the highly… ▽ More Social behavior across animal species ranges from simple pairwise interactions to thousands of individuals coordinating goal-directed movements. Regardless of the scale, these interactions are governed by the interplay between multimodal sensory information and the internal state of each animal. Here, we investigate how animals use multiple sensory modalities to guide social behavior in the highly social zebrafish (Danio rerio) and uncover the complex features of pairwise interactions early in development. To identify distinct behaviors and understand how they vary over time, we developed a new hidden Markov model with constrained linear-model emissions to automatically classify states of coordinated interaction, using the movements of one animal to predict those of another. We discovered that social behaviors alternate between two interaction states within a single experimental session, distinguished by unique movements and timescales. Long-range interactions, akin to shoaling, rely on vision, while mechanosensation underlies rapid synchronized movements and parallel swimming, precursors of schooling. Altogether, we observe spontaneous interactions in pairs of fish, develop novel hidden Markov modeling to reveal two fundamental interaction modes, and identify the sensory systems involved in each. Our modeling approach to pairwise social interactions has broad applicability to a wide variety of naturalistic behaviors and species and solves the challenge of detecting transient couplings between quasi-periodic time series. △ Less

Submitted 3 August, 2024; originally announced August 2024.

Comments: 29 pages, 6 figures, 3 supplementary figures. *Joint first author, +Joint last author

Expressivity of Neural Networks with Random Weights and Learned Biases

Authors: Ezekiel Williams, Alexandre Payeur, Avery Hee-Woon Ryoo, Thomas Jiralerspong, Matthew G. Perich, Luca Mazzucato, Guillaume Lajoie

Abstract: Landmark universal function approximation results for neural networks with trained weights and biases provided the impetus for the ubiquitous use of neural networks as learning models in neuroscience and Artificial Intelligence (AI). Recent work has extended these results to networks in which a smaller subset of weights (e.g., output weights) are tuned, leaving other parameters random. However, it… ▽ More Landmark universal function approximation results for neural networks with trained weights and biases provided the impetus for the ubiquitous use of neural networks as learning models in neuroscience and Artificial Intelligence (AI). Recent work has extended these results to networks in which a smaller subset of weights (e.g., output weights) are tuned, leaving other parameters random. However, it remains an open question whether universal approximation holds when only biases are learned, despite evidence from neuroscience and AI that biases significantly shape neural responses. The current paper answers this question. We provide theoretical and numerical evidence demonstrating that feedforward neural networks with fixed random weights can approximate any continuous function on compact sets. We further show an analogous result for the approximation of dynamical systems with recurrent neural networks. Our findings are relevant to neuroscience, where they demonstrate the potential for behaviourally relevant changes in dynamics without modifying synaptic weights, as well as for AI, where they shed light on recent fine-tuning methods for large language models, like bias and prefix-based approaches. △ Less

Submitted 21 March, 2025; v1 submitted 1 July, 2024; originally announced July 2024.

Comments: upload of camera-ready manuscript accepted as poster at ICLR 2025; change of author order

Modulation of metastable ensemble dynamics explains optimal coding at moderate arousal in auditory cortex

Authors: Lia Papadopoulos, Suhyun Jo, Kevin Zumwalt, Michael Wehr, David A. McCormick, Luca Mazzucato

Abstract: Performance during perceptual decision-making exhibits an inverted-U relationship with arousal, but the underlying network mechanisms remain unclear. Here, we recorded from auditory cortex (A1) of behaving mice during passive tone presentation, while tracking arousal via pupillometry. We found that tone discriminability in A1 ensembles was optimal at intermediate arousal, revealing a population-le… ▽ More Performance during perceptual decision-making exhibits an inverted-U relationship with arousal, but the underlying network mechanisms remain unclear. Here, we recorded from auditory cortex (A1) of behaving mice during passive tone presentation, while tracking arousal via pupillometry. We found that tone discriminability in A1 ensembles was optimal at intermediate arousal, revealing a population-level neural correlate of the inverted-U relationship. We explained this arousal-dependent coding using a spiking network model with a clustered architecture. Specifically, we show that optimal stimulus discriminability is achieved near a transition between a multi-attractor phase with metastable cluster dynamics (low arousal) and a single-attractor phase (high arousal). Additional signatures of this transition include arousal-induced reductions of overall neural variability and the extent of stimulus-induced variability quenching, which we observed in the empirical data. Our results elucidate computational principles underlying interactions between pupil-linked arousal, sensory processing, and neural variability, and suggest a role for phase transitions in explaining nonlinear modulations of cortical computations. △ Less

Submitted 8 April, 2024; v1 submitted 5 April, 2024; originally announced April 2024.

Mixing in incompressible flows: transport, dissipation, and their interplay

Authors: Michele Coti Zelati, Gianluca Crippa, Gautam Iyer, Anna L. Mazzucato

Abstract: In this survey, we address mixing from the point of view of partial differential equations, motivated by applications that arise in fluid dynamics. We give an account of optimal mixing, loss of regularity for transport equations, enhanced dissipation, and anomalous dissipation. In this survey, we address mixing from the point of view of partial differential equations, motivated by applications that arise in fluid dynamics. We give an account of optimal mixing, loss of regularity for transport equations, enhanced dissipation, and anomalous dissipation. △ Less

Submitted 1 August, 2023; originally announced August 2023.

Comments: Survey article, submitted to Notices of the AMS

Report number: 23-CNA-010

Multi-tasking via baseline control in recurrent neural networks

Authors: Shun Ogawa, Francesco Fumarola, Luca Mazzucato

Abstract: Changes in an animal's behavioral state, such as arousal and movements, induce {complex modulations of the baseline input currents to sensory areas, eliciting sensory modality-specific effects. A simple computational principle explaining the effects of baseline modulations to recurrent cortical circuits is lacking. We investigate the benefits of baseline modulations using a reservoir computing app… ▽ More Changes in an animal's behavioral state, such as arousal and movements, induce {complex modulations of the baseline input currents to sensory areas, eliciting sensory modality-specific effects. A simple computational principle explaining the effects of baseline modulations to recurrent cortical circuits is lacking. We investigate the benefits of baseline modulations using a reservoir computing approach in recurrent neural networks with random couplings. Baseline modulations unlock a set of new network phases and phenomena, including chaos enhancement, neural hysteresis and ergodicity breaking. Strikingly, baseline modulations enable reservoir networks to perform multiple tasks, without any optimization of the network couplings.} Baseline control of network dynamics opens new directions for brain-inspired artificial intelligence and sheds new light on behavioral modulations of cortical activity. △ Less

Submitted 4 June, 2023; v1 submitted 13 May, 2022; originally announced May 2022.

Comments: 26 pages, 6 figures, accepted by PNAS

The 3D Euler equations with inflow, outflow and vorticity boundary conditions

Authors: Gung-Min Gie, James P. Kelliher, Anna L. Mazzucato

Abstract: The 3D incompressible Euler equations in a bounded domain are most often supplemented with impermeable boundary conditions, which constrain the fluid to neither enter nor leave the domain. We establish well-posedness with inflow, outflow of velocity when either the full value of the velocity is specified on inflow, or only the normal component is specified along with the vorticity (and an addition… ▽ More The 3D incompressible Euler equations in a bounded domain are most often supplemented with impermeable boundary conditions, which constrain the fluid to neither enter nor leave the domain. We establish well-posedness with inflow, outflow of velocity when either the full value of the velocity is specified on inflow, or only the normal component is specified along with the vorticity (and an additional constraint). We derive compatibility conditions to obtain regularity in a Hölder space with prescribed arbitrary index, and allow multiply connected domains. Our results apply as well to impermeable boundaries, establishing higher regularity of solutions in Hölder spaces. △ Less

Submitted 17 December, 2024; v1 submitted 28 March, 2022; originally announced March 2022.

Comments: Several corrections made, in particular, the definitions of functions spaces in which solutions lie

MSC Class: 76B03; 35Q35; 35F61

Journal ref: Journal de Mathématiques Pures et Appliquées, Volume 193, January 2025

The linearized 3D Euler equations with inflow, outflow

Authors: Gung-Min Gie, James P. Kelliher, Anna L. Mazzucato

Abstract: In 1983, Antontsev, Kazhikhov, and Monakhov published a proof of the existence and uniqueness of solutions to the 3D Euler equations in which on certain inflow boundary components fluid is forced into the domain while on other outflow components fluid is drawn out of the domain. A key tool they used was the linearized Euler equations in vorticity form. We extend their result on the linearized prob… ▽ More In 1983, Antontsev, Kazhikhov, and Monakhov published a proof of the existence and uniqueness of solutions to the 3D Euler equations in which on certain inflow boundary components fluid is forced into the domain while on other outflow components fluid is drawn out of the domain. A key tool they used was the linearized Euler equations in vorticity form. We extend their result on the linearized problem to multiply connected domains and establish compatibility conditions on the initial data that allow higher regularity solutions. △ Less

Submitted 26 February, 2023; v1 submitted 27 March, 2022; originally announced March 2022.

Comments: Minor corrections; to appear in Advances in Differential Equations Volume 28, Numbers 5-6, May/June 2023

MSC Class: 76B03 (Primary)

Neural mechanisms underlying the temporal organization of naturalistic animal behavior

Authors: Luca Mazzucato

Abstract: Naturalistic animal behavior exhibits a strikingly complex organization in the temporal domain, whose variability stems from at least three sources: hierarchical, contextual, and stochastic. What are the neural mechanisms and computational principles generating such complex temporal features? In this review, we provide a critical assessment of the existing behavioral and neurophysiological evidenc… ▽ More Naturalistic animal behavior exhibits a strikingly complex organization in the temporal domain, whose variability stems from at least three sources: hierarchical, contextual, and stochastic. What are the neural mechanisms and computational principles generating such complex temporal features? In this review, we provide a critical assessment of the existing behavioral and neurophysiological evidence for these sources of temporal variability in naturalistic behavior. We crystallize recent studies which converge on an emergent mechanistic theory of temporal variability based on attractor neural networks and metastable dynamics, arising from the coordinated interactions between mesoscopic neural circuits. We highlight the crucial role played by structural heterogeneities and by noise arising in mesoscopic circuits. We assess the shortcomings and missing links in the current theoretical and experimental literature and propose new directions of investigations to fill these gaps. △ Less

Submitted 4 March, 2022; originally announced March 2022.

Comments: 39 pages, 12 figures, 3 appendices

Approximate Solutions to Second-Order Parabolic Equations: evolution systems and discretization

Authors: Wen Cheng, Anna L. Mazzucato, Victor Nistor

Abstract: We study the discretization of a linear evolution partial differential equation when its Green function is known. We provide error estimates both for the spatial approximation and for the time stepping approximation. We show that, in fact, an approximation of the Green function is almost as good as the Green function itself. For suitable time-dependent parabolic equations, we explain how to obtain… ▽ More We study the discretization of a linear evolution partial differential equation when its Green function is known. We provide error estimates both for the spatial approximation and for the time stepping approximation. We show that, in fact, an approximation of the Green function is almost as good as the Green function itself. For suitable time-dependent parabolic equations, we explain how to obtain good, explicit approximations of the Green function using the Dyson-Taylor commutator method (DTCM) that we developed in J. Math. Phys. (2010). This approximation for short time, when combined with a bootstrap argument, gives an approximate solution on any fixed time interval within any prescribed tolerance. △ Less

Submitted 31 October, 2021; originally announced November 2021.

Comments: In part based on IMA Preprint 2372, available at: https://www.ima.umn.edu/preprints/Approximate-solutions-second-order-parabolic-equations-II-Time-dependent-coefficients

MSC Class: 35A08

A reservoir of timescales in random neural networks

Authors: Merav Stern, Nicolae Istrate, Luca Mazzucato

Abstract: The temporal activity of many biological systems, including neural circuits, exhibits fluctuations simultaneously varying over a large range of timescales. The mechanisms leading to this temporal heterogeneity are yet unknown. Here we show that random neural networks endowed with a distribution of self-couplings, representing functional neural clusters of different sizes, generate multiple timesca… ▽ More The temporal activity of many biological systems, including neural circuits, exhibits fluctuations simultaneously varying over a large range of timescales. The mechanisms leading to this temporal heterogeneity are yet unknown. Here we show that random neural networks endowed with a distribution of self-couplings, representing functional neural clusters of different sizes, generate multiple timescales activity spanning several orders of magnitude. When driven by a time-dependent broadband input, slow and fast neural clusters preferentially entrain slow and fast spectral components of the input, respectively, suggesting a potential mechanism for spectral demixing in cortical circuits. △ Less

Submitted 1 August, 2022; v1 submitted 18 October, 2021; originally announced October 2021.

Growth of Sobolev norms and loss of regularity in transport equations

Authors: Gianluca Crippa, Tarek Elgindi, Gautam Iyer, Anna L. Mazzucato

Abstract: We consider transport of a passive scalar advected by an irregular divergence free vector field. Given any non-constant initial data $\bar ρ\in H^1_\text{loc}({\mathbb R}^d)$, $d\geq 2$, we construct a divergence free advecting velocity field $v$ (depending on $\bar ρ$) for which the unique weak solution to the transport equation does not belong to $H^1_\text{loc}({\mathbb R}^d)$ for any positive… ▽ More We consider transport of a passive scalar advected by an irregular divergence free vector field. Given any non-constant initial data $\bar ρ\in H^1_\text{loc}({\mathbb R}^d)$, $d\geq 2$, we construct a divergence free advecting velocity field $v$ (depending on $\bar ρ$) for which the unique weak solution to the transport equation does not belong to $H^1_\text{loc}({\mathbb R}^d)$ for any positive positive time. The velocity field $v$ is smooth, except at one point, controlled uniformly in time, and belongs to almost every Sobolev space $W^{s,p}$ that does not embed into the Lipschitz class. The velocity field $v$ is constructed by pulling back and rescaling an initial data dependent sequence of sine/cosine shear flows on the torus. This loss of regularity result complements that in [Ann. PDE, 5(1):Paper No. 9, 19, 2019]. △ Less

Submitted 2 January, 2022; v1 submitted 30 September, 2021; originally announced September 2021.

Report number: 21-CNA-014

Journal ref: Phil. Trans. R. Soc. A.38020210024, 2022

Global Existence for the Two-dimensional Kuramoto-Sivashinsky equation with a Shear Flow

Authors: Michele Coti Zelati, Michele Dolce, Yuanyuan Feng, Anna L. Mazzucato

Abstract: We consider the Kuramoto-Sivashinsky equation (KSE) on the two-dimensional torus in the presence of advection by a given background shear flow. Under the assumption that the shear has a finite number of critical points and there are linearly growing modes only in the direction of the shear, we prove global existence of solutions with data in $L^2$, using a bootstrap argument. The initial data can… ▽ More We consider the Kuramoto-Sivashinsky equation (KSE) on the two-dimensional torus in the presence of advection by a given background shear flow. Under the assumption that the shear has a finite number of critical points and there are linearly growing modes only in the direction of the shear, we prove global existence of solutions with data in $L^2$, using a bootstrap argument. The initial data can be taken arbitrarily large. △ Less

Submitted 4 May, 2021; v1 submitted 4 March, 2021; originally announced March 2021.

MSC Class: 35K25; 35K58; 76E06; 76F25

Global solutions of the two-dimensional Kuramoto-Sivashinsky equation with a linearly growing mode in each direction

Authors: David M. Ambrose, Anna L. Mazzucato

Abstract: In two spatial dimensions, there are very few global existence results for the Kuramoto-Sivashinsky equation. The majority of the few results in the literature are strongly anisotropic, i.e. are results of thin-domain type. In the spatially periodic case, the dynamics of the Kuramoto-Sivashinsky equation are in part governed by the size of the domain, as this determines how many linearly growing F… ▽ More In two spatial dimensions, there are very few global existence results for the Kuramoto-Sivashinsky equation. The majority of the few results in the literature are strongly anisotropic, i.e. are results of thin-domain type. In the spatially periodic case, the dynamics of the Kuramoto-Sivashinsky equation are in part governed by the size of the domain, as this determines how many linearly growing Fourier modes are present. The strongly anisotropic results allow linearly growing Fourier modes in only one of the spatial directions. We provide here the first proof of global solutions for the two-dimensional Kuramoto-Sivashinsky equation with a linearly growing mode in both spatial directions. We develop a new method to this end, categorizing wavenumbers as low (linearly growing modes), intermediate (linearly decaying modes which serve as energy sinks for the low modes), and high (strongly linearly decaying modes). The low and intermediate modes are controlled by means of a Lyapunov function, while the high modes are controlled with operator estimates in function spaces based on the Wiener algebra. △ Less

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

Comments: Fixed a minor error and typos, and simplified the presentation

Estimating the Unique Information of Continuous Variables

Authors: Ari Pakman, Amin Nejatbakhsh, Dar Gilboa, Abdullah Makkeh, Luca Mazzucato, Michael Wibral, Elad Schneidman

Abstract: The integration and transfer of information from multiple sources to multiple targets is a core motive of neural systems. The emerging field of partial information decomposition (PID) provides a novel information-theoretic lens into these mechanisms by identifying synergistic, redundant, and unique contributions to the mutual information between one and several variables. While many works have stu… ▽ More The integration and transfer of information from multiple sources to multiple targets is a core motive of neural systems. The emerging field of partial information decomposition (PID) provides a novel information-theoretic lens into these mechanisms by identifying synergistic, redundant, and unique contributions to the mutual information between one and several variables. While many works have studied aspects of PID for Gaussian and discrete distributions, the case of general continuous distributions is still uncharted territory. In this work we present a method for estimating the unique information in continuous distributions, for the case of one versus two variables. Our method solves the associated optimization problem over the space of distributions with fixed bivariate marginals by combining copula decompositions and techniques developed to optimize variational autoencoders. We obtain excellent agreement with known analytic results for Gaussians, and illustrate the power of our new approach in several brain-inspired neural models. Our method is capable of recovering the effective connectivity of a chaotic network of rate neurons, and uncovers a complex trade-off between redundancy, synergy and unique information in recurrent networks trained to solve a generalized XOR task. △ Less

Submitted 26 October, 2021; v1 submitted 30 January, 2021; originally announced February 2021.

Journal ref: NeurIPS 2021

Global existence for the two-dimensional Kuramoto-Sivashinsky equation with advection

Authors: Yuanyuan Feng, Anna L. Mazzucato

Abstract: We study the Kuramoto-Sivashinsky equation (KSE) in scalar form on the two-dimensional torus with and without advection by an incompressible vector field. We prove local existence of mild solutions for arbitrary data in L2. We then study the issue of global existence. We prove global existence for the KSE in the presence of advection for arbitrary data, provided the advecting velocity field v sati… ▽ More We study the Kuramoto-Sivashinsky equation (KSE) in scalar form on the two-dimensional torus with and without advection by an incompressible vector field. We prove local existence of mild solutions for arbitrary data in L2. We then study the issue of global existence. We prove global existence for the KSE in the presence of advection for arbitrary data, provided the advecting velocity field v satisfies certain conditions that ensure the dissipation time of the associated hyperdiffusion-advection equation is sufficiently small. In the absence of advection, global existence can be shown only if the linearized operator does not admit any growing mode and for sufficiently small initial data. △ Less

Submitted 8 September, 2020; originally announced September 2020.

MSC Class: 35K25; 35K58; 76E06; 76F25

State-dependent regulation of cortical processing speed via gain modulation

Authors: David Wyrick, Luca Mazzucato

Abstract: To thrive in dynamic environments, animals must be capable of rapidly and flexibly adapting behavioral responses to a changing context and internal state. Examples of behavioral flexibility include faster stimulus responses when attentive and slower responses when distracted. Contextual or state-dependent modulations may occur early in the cortical hierarchy and may be implemented via top-down pro… ▽ More To thrive in dynamic environments, animals must be capable of rapidly and flexibly adapting behavioral responses to a changing context and internal state. Examples of behavioral flexibility include faster stimulus responses when attentive and slower responses when distracted. Contextual or state-dependent modulations may occur early in the cortical hierarchy and may be implemented via top-down projections from cortico-cortical or neuromodulatory pathways. However, the computational mechanisms mediating the effects of such projections are not known. Here, we introduce a theoretical framework to classify the effects of cell-type specific top-down perturbations on the information processing speed of cortical circuits. Our theory demonstrates that perturbation effects on stimulus processing can be predicted by intrinsic gain modulation, which controls the timescale of the circuit dynamics. Our theory leads to counter-intuitive effects such as improved performance with increased input variance. We tested the model predictions using large-scale electrophysiological recordings from the visual hierarchy in freely running mice, where we found that a decrease in single-cell intrinsic gain during locomotion led to an acceleration of visual processing. Our results establish a novel theory of cell-type specific perturbations, applicable to top-down modulation as well as optogenetic and pharmacological manipulations. Our theory links connectivity, dynamics, and information processing via gain modulation. △ Less

Submitted 25 January, 2021; v1 submitted 8 April, 2020; originally announced April 2020.

Comments: 7 figures, 9 suppl. figures

Dislocations in a layered elastic medium with applications to fault detection

Authors: Andrea Aspri, Elena Beretta, Anna L. Mazzucato

Abstract: We consider a model for elastic dislocations in geophysics. We model a portion of the Earth's crust as a bounded, inhomogeneous elastic body with a buried fault surface, along which slip occurs. We prove well-posedness of the resulting mixed-boundary-value-transmission problem, assuming only bounded elastic moduli. We establish uniqueness in the inverse problem of determining the fault surface and… ▽ More We consider a model for elastic dislocations in geophysics. We model a portion of the Earth's crust as a bounded, inhomogeneous elastic body with a buried fault surface, along which slip occurs. We prove well-posedness of the resulting mixed-boundary-value-transmission problem, assuming only bounded elastic moduli. We establish uniqueness in the inverse problem of determining the fault surface and the slip from a unique measurement of the displacement on an open patch at the surface, assuming in addition that the Earth's crust is an isotropic, layered medium with Lamé coefficients piecewise Lipschitz on a known partition and that the fault surface is a graph with respect to an arbitrary coordinate system. These results substantially extend those of the authors in {Arch. Ration. Mech. Anal.} {\bf 263} (2020), n. 1, 71--111. △ Less

Submitted 6 February, 2025; v1 submitted 1 April, 2020; originally announced April 2020.

Journal ref: J. Eur. Math. Soc. 25 (2023) 1091-1112

Metastable attractors explain the variable timing of stable behavioral action sequences

Authors: Stefano Recanatesi, Ulises Pereira, Masayoshi Murakami, Zachary Mainen, Luca Mazzucato

Abstract: Natural animal behavior displays rich lexical and temporal dynamics, even in a stable environment. This implies that behavioral variability arises from sources within the brain, but the origin and mechanics of these processes remain largely unknown. Here, we focus on the observation that the timing of self-initiated actions shows large variability even when they are executed in stable, well-learne… ▽ More Natural animal behavior displays rich lexical and temporal dynamics, even in a stable environment. This implies that behavioral variability arises from sources within the brain, but the origin and mechanics of these processes remain largely unknown. Here, we focus on the observation that the timing of self-initiated actions shows large variability even when they are executed in stable, well-learned sequences. Could this mix of reliability and stochasticity arise within the same circuit? We trained rats to perform a stereotyped sequence of self-initiated actions and recorded neural ensemble activity in secondary motor cortex (M2), which is known to reflect trial-by-trial action timing fluctuations. Using hidden Markov models we established a robust and accurate dictionary between ensemble activity patterns and actions. We then showed that metastable attractors, representing activity patterns with the requisite combination of reliable sequential structure and high transition timing variability, could be produced by reciprocally coupling a high dimensional recurrent network and a low dimensional feedforward one. Transitions between attractors were generated by correlated variability arising from the feedback loop between the two networks. This mechanism predicted a specific structure of low-dimensional noise correlations that were empirically verified in M2 ensemble dynamics. This work suggests a robust network motif as a novel mechanism to support critical aspects of animal behavior and establishes a framework for investigating its circuit origins via correlated variability. △ Less

Submitted 27 January, 2020; originally announced January 2020.

Cortical computations via metastable activity

Authors: Giancarlo La Camera, Alfredo Fontanini, Luca Mazzucato

Abstract: Metastable brain dynamics are characterized by abrupt, jump-like modulations so that the neural activity in single trials appears to unfold as a sequence of discrete, quasi-stationary states. Evidence that cortical neural activity unfolds as a sequence of metastable states is accumulating at fast pace. Metastable activity occurs both in response to an external stimulus and during ongoing, self-gen… ▽ More Metastable brain dynamics are characterized by abrupt, jump-like modulations so that the neural activity in single trials appears to unfold as a sequence of discrete, quasi-stationary states. Evidence that cortical neural activity unfolds as a sequence of metastable states is accumulating at fast pace. Metastable activity occurs both in response to an external stimulus and during ongoing, self-generated activity. These spontaneous metastable states are increasingly found to subserve internal representations that are not locked to external triggers, including states of deliberations, attention and expectation. Moreover, decoding stimuli or decisions via metastable states can be carried out trial-by-trial. Focusing on metastability will allow us to shift our perspective on neural coding from traditional concepts based on trial-averaging to models based on dynamic ensemble representations. Recent theoretical work has started to characterize the mechanistic origin and potential roles of metastable representations. In this article we review recent findings on metastable activity, how it may arise in biologically realistic models, and its potential role for representing internal states as well as relevant task variables. △ Less

Submitted 18 June, 2019; originally announced June 2019.

Comments: 15 pages, 3 figures

Analysis of a model of elastic dislocations in geophysics

Authors: Andrea Aspri, Elena Beretta, Anna L. Mazzucato, Maarten V. de Hoop

Abstract: We analyze a mathematical model of elastic dislocations with applications to geophysics, where by an elastic dislocation we mean an open, oriented Lipschitz surface in the interior of an elastic solid, across which there is a discontinuity of the displacement. We model the Earth as an infinite, isotropic, inhomogeneous, elastic medium occupying a half space, and assume only Lipschitz continuity of… ▽ More We analyze a mathematical model of elastic dislocations with applications to geophysics, where by an elastic dislocation we mean an open, oriented Lipschitz surface in the interior of an elastic solid, across which there is a discontinuity of the displacement. We model the Earth as an infinite, isotropic, inhomogeneous, elastic medium occupying a half space, and assume only Lipschitz continuity of the Lamé parameters. We study the well posedness of very weak solutions to the forward problem of determining the displacement by imposing traction-free boundary conditions at the surface, continuity of the traction and a given jump on the displacement across the fault. We employ suitable weighted Sobolev spaces for the analysis. We utilize the well posedness of the forward problem and unique-continuation arguments to establish uniqueness in the inverse problem of determining the dislocation surface and the displacement jump from measuring the displacement at the surface of the Earth. Uniqueness holds for tangential or normal jumps and under some geometric conditions on the surface. △ Less

Submitted 12 November, 2019; v1 submitted 21 September, 2018; originally announced September 2018.

MSC Class: 35R30

Embeddings for the space $LD_γ^{p}$ on sets of finite perimeter

Authors: Nikolai V. Chemetov, Anna L. Mazzucato

Abstract: Given an open set with finite perimeter $Ω\subset \mathbb{R}^n$, we consider the space $LD_γ^{p}(Ω)$, $1\leq p<\infty$, of functions with $p$th-integrable deformation tensor on $Ω$ and with $p$ th-integrable trace value on the essential boundary of $Ω$. We establish the continuous embedding $LD_γ^{p}(Ω)\subset L^{pN/(N-1)}(Ω)$. The space $LD_γ^{p}(Ω)$ and this embedding arise naturally in studying… ▽ More Given an open set with finite perimeter $Ω\subset \mathbb{R}^n$, we consider the space $LD_γ^{p}(Ω)$, $1\leq p<\infty$, of functions with $p$th-integrable deformation tensor on $Ω$ and with $p$ th-integrable trace value on the essential boundary of $Ω$. We establish the continuous embedding $LD_γ^{p}(Ω)\subset L^{pN/(N-1)}(Ω)$. The space $LD_γ^{p}(Ω)$ and this embedding arise naturally in studying the motion of rigid bodies in a viscous, incompressible fluid. △ Less

Submitted 1 August, 2018; originally announced August 2018.

Comments: 20 pages, 3 figures

MSC Class: 46E35 (Primary); 74F10 (Secondary)

Loss of regularity for the continuity equation with non-Lipschitz velocity field

Authors: Giovanni Alberti, Gianluca Crippa, Anna L. Mazzucato

Abstract: We consider the Cauchy problem for the continuity equation in space dimension ${d \geq 2}$. We construct a divergence-free velocity field uniformly bounded in all Sobolev spaces $W^{1,p}$, for $1 \leq p<\infty$, and a smooth compactly supported initial datum such that the unique solution to the continuity equation with this initial datum and advecting field does not belong to any Sobolev space of… ▽ More We consider the Cauchy problem for the continuity equation in space dimension ${d \geq 2}$. We construct a divergence-free velocity field uniformly bounded in all Sobolev spaces $W^{1,p}$, for $1 \leq p<\infty$, and a smooth compactly supported initial datum such that the unique solution to the continuity equation with this initial datum and advecting field does not belong to any Sobolev space of positive fractional order at any positive time. We also construct velocity fields in $W^{r,p}$, with $r>1$, and solutions of the continuity equation with these velocities that exhibit some loss of regularity, as long as the Sobolev space $W^{r,p}$ does not embed in the space of Lipschitz functions. Our constructions are based on examples of optimal mixers from the companion paper "Exponential self-similar mixing by incompressible flows" (J. Amer. Math. Soc. 32 (2019), no. 2), and have been announced in "Exponential self-similar mixing and loss of regularity for continuity equations" (C. R. Math. Acad. Sci. Paris, 352 (2014), no. 11). △ Less

Submitted 28 March, 2019; v1 submitted 6 February, 2018; originally announced February 2018.

Expectation-induced modulation of metastable activity underlies faster coding of sensory stimuli

Authors: Luca Mazzucato, Giancarlo La Camera, Alfredo Fontanini

Abstract: Sensory stimuli can be recognized more rapidly when they are expected. This phenomenon depends on expectation affecting the cortical processing of sensory information. However, virtually nothing is known on the mechanisms responsible for the effects of expectation on sensory networks. Here, we report a novel computational mechanism underlying the expectation-dependent acceleration of coding observ… ▽ More Sensory stimuli can be recognized more rapidly when they are expected. This phenomenon depends on expectation affecting the cortical processing of sensory information. However, virtually nothing is known on the mechanisms responsible for the effects of expectation on sensory networks. Here, we report a novel computational mechanism underlying the expectation-dependent acceleration of coding observed in the gustatory cortex (GC) of alert rats. We use a recurrent spiking network model with a clustered architecture capturing essential features of cortical activity, including the metastable activity observed in GC before and after gustatory stimulation. Relying both on network theory and computer simulations, we propose that expectation exerts its function by modulating the intrinsically generated dynamics preceding taste delivery. Our model, whose predictions are confirmed in the experimental data, demonstrates how the modulation of intrinsic metastable activity can shape sensory coding and mediate cognitive processes such as the expectation of relevant events. Altogether, these results provide a biologically plausible theory of expectation and ascribe a new functional role to intrinsically generated, metastable activity. △ Less

Submitted 2 November, 2018; v1 submitted 6 October, 2017; originally announced October 2017.

Comments: 37 pages, 4+3 figures; v2: improved results, 7 new supplementary figures; refs added

Global existence and analyticity for the 2D Kuramoto-Sivashinsky equation

Authors: David M. Ambrose, Anna L. Mazzucato

Abstract: There is little analytical theory for the behavior of solutions of the Kuramoto-Sivashinsky equation in two spatial dimensions over long times. We study the case in which the spatial domain is a two-dimensional torus. In this case, the linearized behavior depends on the size of the torus -- in particular, for different sizes of the domain, there are different numbers of linearly growing modes. We… ▽ More There is little analytical theory for the behavior of solutions of the Kuramoto-Sivashinsky equation in two spatial dimensions over long times. We study the case in which the spatial domain is a two-dimensional torus. In this case, the linearized behavior depends on the size of the torus -- in particular, for different sizes of the domain, there are different numbers of linearly growing modes. We prove that small solutions exist for all time if there are no linearly growing modes, proving also in this case that the radius of analyticity of solutions grows linearly in time. In the general case (i.e., in the presence of a finite number of growing modes), we make estimates for how the radius of analyticity of solutions changes in time. △ Less

Submitted 29 August, 2017; originally announced August 2017.

Comments: 26 pages

MSC Class: 35K25; 35K58; 35B65; 35B10

The Vanishing viscosity limit for some symmetric flows

Authors: Gung-Min Gie, James P. Kelliher, Milton C. Lopes Filho, Anna L. Mazzucato, Helena J. Nussenzveig Lopes

Abstract: The focus of this paper is on the analysis of the boundary layer and the associated vanishing viscosity limit for two classes of flows with symmetry, namely, Plane-Parallel Channel Flows and Parallel Pipe Flows. We construct explicit boundary layer correctors, which approximate the difference between the Navier-Stokes and the Euler solutions. Using properties of these correctors, we establish conv… ▽ More The focus of this paper is on the analysis of the boundary layer and the associated vanishing viscosity limit for two classes of flows with symmetry, namely, Plane-Parallel Channel Flows and Parallel Pipe Flows. We construct explicit boundary layer correctors, which approximate the difference between the Navier-Stokes and the Euler solutions. Using properties of these correctors, we establish convergence of the Navier-Stokes solution to the Euler solution as viscosity vanishes with optimal rates of convergence. In addition, we investigate vorticity production on the boundary in the limit of vanishing viscosity. Our work significantly extends prior work in the literature. △ Less

Submitted 19 June, 2017; originally announced June 2017.

Comments: 52 pages

MSC Class: 35B25; 35C20; 76D05; 76D10

The Inviscid Limit and Boundary Layers for Navier-Stokes Flows

Authors: Yasunori Maekawa, Anna Mazzucato

Abstract: The validity of the vanishing viscosity limit, that is, whether solutions of the Navier-Stokes equations modeling viscous incompressible flows converge to solutions of the Euler equations modeling inviscid incompressible flows as viscosity approaches zero, is one of the most fundamental issues in mathematical fluid mechanics. The problem is classified into two categories: the case when the physica… ▽ More The validity of the vanishing viscosity limit, that is, whether solutions of the Navier-Stokes equations modeling viscous incompressible flows converge to solutions of the Euler equations modeling inviscid incompressible flows as viscosity approaches zero, is one of the most fundamental issues in mathematical fluid mechanics. The problem is classified into two categories: the case when the physical boundary is absent, and the case when the physical boundary is present and the effect of the boundary layer becomes significant. The aim of this article is to review recent progress on the mathematical analysis of this problem in each category. △ Less

Submitted 17 October, 2016; originally announced October 2016.

Comments: To appear in "Handbook of Mathematical Analysis in Mechanics of Viscous Fluids", Y. Giga and A. Novotný Ed., Springer. The final publication is available at http://www.springerlink.com

MSC Class: 76D10; 35Q30; 35Q31

Regularity and a priori error analysis of a Ventcel problem in polyhedral domains

Authors: Serge Nicaise, Hengguang Li, Anna Mazzucato

Abstract: We consider the regularity of a mixed boundary value problem for the Laplace operator on a polyhedral domain, where Ventcel boundary conditions are imposed on one face of the polyhedron and Dirichlet boundary conditions are imposed on the complement of that face in the boundary. We establish improved regularity estimates for the trace of the variational solution on the Ventcel face, and use them t… ▽ More We consider the regularity of a mixed boundary value problem for the Laplace operator on a polyhedral domain, where Ventcel boundary conditions are imposed on one face of the polyhedron and Dirichlet boundary conditions are imposed on the complement of that face in the boundary. We establish improved regularity estimates for the trace of the variational solution on the Ventcel face, and use them to derive a decomposition of the solution into a regular and a singular part that belongs to suitable weighted Sobolev spaces. This decomposition, in turn, via interpolation estimates both in the interior as well as on the Ventcel face, allows us to perform an a priori error analysis for the Finite Element approximation of the solution on anisotropic graded meshes. Numerical tests support the theoretical analysis. △ Less

Submitted 14 June, 2016; originally announced June 2016.

Comments: 18 pages, 2 figures

MSC Class: 35J25; 65N30; 46E35; 52B70; 58J05

Heat Kernels, Solvable Lie Groups, and the Mean Reverting SABR Stochastic Volatility Model

Authors: Siyan Zhang, Anna L. Mazzucato, Victor Nistor

Abstract: We use commutator techniques and calculations in solvable Lie groups to investigate certain evolution Partial Differential Equations (PDEs for short) that arise in the study of stochastic volatility models for pricing contingent claims on risky assets. In particular, by restricting to domains of bounded volatility, we establish the existence of the semi-groups generated by the spatial part of the… ▽ More We use commutator techniques and calculations in solvable Lie groups to investigate certain evolution Partial Differential Equations (PDEs for short) that arise in the study of stochastic volatility models for pricing contingent claims on risky assets. In particular, by restricting to domains of bounded volatility, we establish the existence of the semi-groups generated by the spatial part of the operators in these models, concentrating on those arising in the so-called "SABR stochastic volatility model with mean reversion." The main goal of this work is to approximate the solutions of the Cauchy problem for the SABR PDE with mean reversion, a parabolic problem the generator of which is denoted by $L$. The fundamental solution for this problem is not known in closed form. We obtain an approximate solution by performing an expansion in the so-called volvol or volatility of the volatility, which leads us to study a degenerate elliptic operator $L_0$, corresponding the the zero-volvol case of the SABR model with mean reversion, to which the classical results do not apply. However, using Lie algebra techniques we are able to derive an exact formula for the solution operator of the PDE $\partial_t u - L_0 u = 0$. We then compare the semi-group generated by $L$--the existence of which does follows from standard arguments--to that generated by $L_0$, thus establishing a perturbation result that is useful for numerical methods for the SABR PDE with mean reversion. In the process, we are led to study semigroups arising from both a strongly parabolic and a hyperbolic problem. △ Less

Submitted 10 May, 2016; originally announced May 2016.

MSC Class: 35K65; 47D03; 22E60; 91G80

Exponential self-similar mixing by incompressible flows

Authors: Giovanni Alberti, Gianluca Crippa, Anna L. Mazzucato

Abstract: We study the problem of the optimal mixing of a passive scalar under the action of an incompressible flow in two space dimensions. The scalar solves the continuity equation with a divergence-free velocity field, which satisfies a bound in the Sobolev space $W^{s,p}$, where $s \geq 0$ and $1\leq p\leq \infty$. The mixing properties are given in terms of a characteristic length scale, called the mix… ▽ More We study the problem of the optimal mixing of a passive scalar under the action of an incompressible flow in two space dimensions. The scalar solves the continuity equation with a divergence-free velocity field, which satisfies a bound in the Sobolev space $W^{s,p}$, where $s \geq 0$ and $1\leq p\leq \infty$. The mixing properties are given in terms of a characteristic length scale, called the mixing scale. We consider two notions of mixing scale, one functional, expressed in terms of the homogeneous Sobolev norm $\dot H^{-1}$, the other geometric, related to rearrangements of sets. We study rates of decay in time of both scales under self-similar mixing. For the case $s=1$ and $1 \leq p \leq \infty$ (including the case of Lipschitz continuous velocities, and the case of physical interest of enstrophy-constrained flows), we present examples of velocity fields and initial configurations for the scalar that saturate the exponential lower bound, established in previous works, on the time decay of both scales. We also present several consequences for the geometry of regular Lagrangian flows associated to Sobolev velocity fields. △ Less

Submitted 17 September, 2018; v1 submitted 6 May, 2016; originally announced May 2016.

Comments: To appear in Journal of the American Mathematical Society. Some results were announced in G. Alberti, G. Crippa, A. L. Mazzucato, "Exponential self-similar mixing and loss of regularity for continuity equations", C. R. Math. Acad. Sci. Paris, 352(11):901--906, 2014, arXiv:1407.2631v2

MSC Class: 35Q35; 76F25

Stimuli reduce the dimensionality of cortical activity

Authors: Luca Mazzucato, Alfredo Fontanini, Giancarlo La Camera

Abstract: The activity of ensembles of simultaneously recorded neurons can be represented as a set of points in the space of firing rates. Even though the dimension of this space is equal to the ensemble size, neural activity can be effectively localized on smaller subspaces. The dimensionality of the neural space is an important determinant of the computational tasks supported by the neural activity. Here,… ▽ More The activity of ensembles of simultaneously recorded neurons can be represented as a set of points in the space of firing rates. Even though the dimension of this space is equal to the ensemble size, neural activity can be effectively localized on smaller subspaces. The dimensionality of the neural space is an important determinant of the computational tasks supported by the neural activity. Here, we investigate the dimensionality of neural ensembles from the sensory cortex of alert rats during period of ongoing (inter-trial) and stimulus-evoked activity. We find that dimensionality grows linearly with ensemble size, and grows significantly faster during ongoing activity compared to evoked activity. We explain these results using a spiking network model based on a clustered architecture. The model captures the difference in growth rate between ongoing and evoked activity and predicts a characteristic scaling with ensemble size that could be tested in high-density multi-electrode recordings. Moreover, the model predicts the existence of an upper bound on dimensionality. This upper bound is inversely proportional to the amount of pair-wise correlations and, compared to a homogeneous network without clusters, it is larger by a factor equal to the number of clusters. The empirical estimation of such bounds depends on the number and duration of trials. Together, these results provide a framework to analyze neural dimensionality in alert animals, its behavior under stimulus presentation, and its theoretical dependence on ensemble size, number of clusters, and pair-wise correlations in spiking network models. △ Less

Submitted 16 March, 2016; v1 submitted 11 September, 2015; originally announced September 2015.

Comments: 30 pages, 8 figures; v2 in press, 9 figures, major improvements, including comparison to shuffled datasets, analytical derivation of estimation bias; v3, fixed typo in Fig. 8A

Journal ref: Front Syst Neurosci. 2016 Feb 17;10:11

Dynamics of multi-stable states during ongoing and evoked cortical activity

Authors: Luca Mazzucato, Alfredo Fontanini, Giancarlo La Camera

Abstract: Single trial analyses of ensemble activity in alert animals demonstrate that cortical circuits dynamics evolve through temporal sequences of metastable states. Metastability has been studied for its potential role in sensory coding, memory and decision-making. Yet, very little is known about the network mechanisms responsible for its genesis. It is often assumed that the onset of state sequences i… ▽ More Single trial analyses of ensemble activity in alert animals demonstrate that cortical circuits dynamics evolve through temporal sequences of metastable states. Metastability has been studied for its potential role in sensory coding, memory and decision-making. Yet, very little is known about the network mechanisms responsible for its genesis. It is often assumed that the onset of state sequences is triggered by an external stimulus. Here we show that state sequences can be observed also in the absence of overt sensory stimulation. Analysis of multielectrode recordings from the gustatory cortex of alert rats revealed ongoing sequences of states, where single neurons spontaneously attain several firing rates across different states. This single neuron multi-stability represents a challenge to existing spiking network models, where typically each neuron is at most bi-stable. We present a recurrent spiking network model that accounts for both the spontaneous generation of state sequences and the multi-stability in single neuron firing rates. Each state results from the activation of neural clusters with potentiated intra-cluster connections, with the firing rate in each cluster depending on the number of active clusters. Simulations show that the models ensemble activity hops among the different states, reproducing the ongoing dynamics observed in the data. When probed with external stimuli, the model predicts the quenching of single neuron multi-stability into bi-stability and the reduction of trial-by-trial variability. Both predictions were confirmed in the data. Altogether, these results provide a theoretical framework that captures both ongoing and evoked network dynamics in a single mechanistic model. △ Less

Submitted 22 March, 2016; v1 submitted 1 August, 2015; originally announced August 2015.

Comments: 34 pages, 11 figures; v2: typos in Methods section corrected; v3: typos corrected

Journal ref: J Neurosci. 2015 May 27;35(21):8214-31

Exponential self-similar mixing and loss of regularity for continuity equations

Authors: Giovanni Alberti, Gianluca Crippa, Anna L. Mazzucato

Abstract: We consider the mixing behaviour of the solutions of the continuity equation associated with a divergence-free velocity field. In this announcement we sketch two explicit examples of exponential decay of the mixing scale of the solution, in case of Sobolev velocity fields, thus showing the optimality of known lower bounds. We also describe how to use such examples to construct solutions to the con… ▽ More We consider the mixing behaviour of the solutions of the continuity equation associated with a divergence-free velocity field. In this announcement we sketch two explicit examples of exponential decay of the mixing scale of the solution, in case of Sobolev velocity fields, thus showing the optimality of known lower bounds. We also describe how to use such examples to construct solutions to the continuity equation with Sobolev but non-Lipschitz velocity field exhibiting instantaneous loss of any fractional Sobolev regularity. △ Less

Submitted 18 September, 2014; v1 submitted 9 July, 2014; originally announced July 2014.

Comments: 8 pages, 3 figures, statement of Theorem 11 slightly revised

MSC Class: 35

Planar limits of three-dimensional incompressible flows with helical symmetry

Authors: Milton C. Lopes Filho, Anna L. Mazzucato, Dongjuan Niu, Helena J. Nussenzveig Lopes, Edriss S. Titi

Abstract: Helical symmetry is invariance under a one-dimensional group of rigid motions generated by a simultaneous rotation around a fixed axis and translation along the same axis. The key parameter in helical symmetry is the step or pitch, the magnitude of the translation after rotating one full turn around the symmetry axis. In this article we study the limits of three-dimensional helical viscous and inv… ▽ More Helical symmetry is invariance under a one-dimensional group of rigid motions generated by a simultaneous rotation around a fixed axis and translation along the same axis. The key parameter in helical symmetry is the step or pitch, the magnitude of the translation after rotating one full turn around the symmetry axis. In this article we study the limits of three-dimensional helical viscous and inviscid incompressible flows in an infinite circular pipe, with respectively no-slip and no-penetration boundary conditions, as the step approaches infinity. We show that, as the step becomes large, the three-dimensional helical flow approaches a planar flow, which is governed by the so-called two-and-half Navier-Stokes and Euler equations, respectively. △ Less

Submitted 7 April, 2013; originally announced April 2013.

Comments: 30 pages

MSC Class: 5Q35; 65M70

Anisotropic regularity and optimal rates of convergence for the Finite Element Method on three dimensional polyhedral domains

Authors: Constantin Bacuta, Anna L. Mazzucato, Victor Nistor

Abstract: We consider the model Poisson problem $-Δu = f \in Ω$, $u = g$ on $\pa Ω$, where $ Ω$ is a bounded polyhedral domain in $\RR^n$. The objective of the paper is twofold. The first objective is to review the well posedness and the regularity of our model problem using appropriate weighted spaces for the data and the solution. We use these results to derive the domain of the Laplace operator with zero… ▽ More We consider the model Poisson problem $-Δu = f \in Ω$, $u = g$ on $\pa Ω$, where $ Ω$ is a bounded polyhedral domain in $\RR^n$. The objective of the paper is twofold. The first objective is to review the well posedness and the regularity of our model problem using appropriate weighted spaces for the data and the solution. We use these results to derive the domain of the Laplace operator with zero boundary conditions on a concave domain, which seems not to have been fully investigated before. We also mention some extensions of our results to interface problems for the Elasticity equation. The second objective is to illustrate how anisotropic weighted regularity results for the Laplace operator in 3D are used in designing efficient finite element discretizations of elliptic boundary value problems, with the focus on the efficient discretization of the Poisson problem on polyhedral domains in $\RR^3$, following {\em Numer. Funct. Anal. Optim.}, 28(7-8):775--824, 2007. The anisotropic weighted regularity results described and used in the second part of the paper are a consequence of the well-posedness results in (isotropically) weighted Sobolev spaces described in the first part of the paper. The paper is based on the talk by the last named author at the Congress of Romanian Mathematicians, Brasov 2011, and is largely a survey paper. △ Less

Submitted 9 May, 2012; originally announced May 2012.

Comments: 16 pages, submitted

Ensemble Dynamics and Bred Vectors

Authors: Nusret Balci, Anna L. Mazzucato, Juan M. Restrepo, George R. Sell

Abstract: We introduce the new concept of an EBV to assess the sensitivity of model outputs to changes in initial conditions for weather forecasting. The new algorithm, which we call the "Ensemble Bred Vector" or EBV, is based on collective dynamics in essential ways. By construction, the EBV algorithm produces one or more dominant vectors. We investigate the performance of EBV, comparing it to the BV alg… ▽ More We introduce the new concept of an EBV to assess the sensitivity of model outputs to changes in initial conditions for weather forecasting. The new algorithm, which we call the "Ensemble Bred Vector" or EBV, is based on collective dynamics in essential ways. By construction, the EBV algorithm produces one or more dominant vectors. We investigate the performance of EBV, comparing it to the BV algorithm as well as the finite-time Lyapunov Vectors. We give a theoretical justification to the observed fact that the vectors produced by BV, EBV, and the finite-time Lyapunov vectors are similar for small amplitudes. Numerical comparisons of BV and EBV for the 3-equation Lorenz model and for a forced, dissipative partial differential equation of Cahn-Hilliard type that arises in modeling the thermohaline circulation, demonstrate that the EBV yields a size-ordered description of the perturbation field, and is more robust than the BV in the higher nonlinear regime. The EBV yields insight into the fractal structure of the Lorenz attractor, and of the inertial manifold for the Cahn-Hilliard-type partial differential equation. △ Less

Submitted 24 August, 2011; originally announced August 2011.

Comments: Submitted to Monthly Weather Review

An asymptotic formula for the displacement field in the presence of small anisotropic elastic inclusions

Authors: Elena Beretta, Eric Bonnetier, Elisa Francini, And Anna L Mazzucato

Abstract: We derive asymptotic expansions for the displacement at the boundary of a smooth, elastic body in the presence of small inhomogeneities. Both the body and the inclusions are allowed to be anisotropic. This work extends prior work of CapdeBoscq and Vogelius ({\em Math. Modelling Num. Anal.} 37, 2003) for the conductivity case. In particular, we obtain an asymptotic expansion of the difference betwe… ▽ More We derive asymptotic expansions for the displacement at the boundary of a smooth, elastic body in the presence of small inhomogeneities. Both the body and the inclusions are allowed to be anisotropic. This work extends prior work of CapdeBoscq and Vogelius ({\em Math. Modelling Num. Anal.} 37, 2003) for the conductivity case. In particular, we obtain an asymptotic expansion of the difference between the displacements at the boundary with and without inclusions, under Neumann boundary conditions, to first order in the measure of the inclusions. We impose no geometric conditions on the inclusions, which need only be measurable sets. The first-order correction contains an elastic moment tensor $\MM$ that encodes the effect of the inclusions. In the case of thin, strip-like, planar inhomogeneities we obtain a formula for $\MM$ only in terms of the elasticity tensors, which we assume strongly convex, their inverses, and a frame on the curve that supports the inclusion. We prove uniqueness of $\MM$ in this setting and recover the formula previously obtained by Beretta and Francini ({\em SIAM J. Math. Anal.}, 38, 2006). △ Less

Submitted 20 May, 2011; originally announced May 2011.

MSC Class: 35j57

Superstrings in AdS

Authors: Luca Mazzucato

Abstract: This is a comprehensive review of the worldsheet techniques for the quantization of type IIB superstring theory on the AdS_5 x S^5 background, using the pure spinor formalism. Particular emphasis is devoted to AdS/CFT applications, with several examples worked out in details. The review is self-contained and pedagogical. Table of contents: 1) Introduction; 2) Generalities; 3) Supercoset sigma mode… ▽ More This is a comprehensive review of the worldsheet techniques for the quantization of type IIB superstring theory on the AdS_5 x S^5 background, using the pure spinor formalism. Particular emphasis is devoted to AdS/CFT applications, with several examples worked out in details. The review is self-contained and pedagogical. Table of contents: 1) Introduction; 2) Generalities; 3) Supercoset sigma models; 4) Quantum effective action and conformal invariance; 5) String spectrum; 6) Integrability. △ Less

Submitted 12 February, 2012; v1 submitted 13 April, 2011; originally announced April 2011.

Comments: 157 pages, 1 figure; v3 final version to appear in Physics Reports. arXiv admin note: text overlap with arXiv:hep-th/0009168, arXiv:0910.1195, arXiv:hep-th/0112160, arXiv:hep-th/0409159 by other authors

A proof of Einstein's effective viscosity for a dilute suspension of spheres

Authors: Brian M. Haines, Anna L. Mazzucato

Abstract: We present a mathematical proof of Einstein's formula for the effective viscosity of a dilute suspension of rigid neutrally--buoyant spheres when the spheres are centered on the vertices of a cubic lattice. We keep the size of the container finite in the dilute limit and consider boundary effects. Einstein's formula is recovered as a first-order asymptotic expansion of the effective viscosity in t… ▽ More We present a mathematical proof of Einstein's formula for the effective viscosity of a dilute suspension of rigid neutrally--buoyant spheres when the spheres are centered on the vertices of a cubic lattice. We keep the size of the container finite in the dilute limit and consider boundary effects. Einstein's formula is recovered as a first-order asymptotic expansion of the effective viscosity in the volume fraction. To rigorously justify this expansion, we obtain an explicit upper and lower bound on the effective viscosity. A lower bound is found using energy methods reminiscent of the work of Keller et al. An upper bound follows by obtaining an explicit estimate for the tractions, the normal component of the stress on the fluid boundary, in terms of the velocity on the fluid boundary. This estimate, in turn, is established using a boundary integral formulation for the Stokes equation. Our proof admits a generalization to other particle shapes and the inclusion of point forces to model self-propelled particles. △ Less

Submitted 6 April, 2011; originally announced April 2011.

MSC Class: 35Q35; 76A05; 76D07

The Konishi multiplet at strong coupling

Authors: Brenno Carlini Vallilo, Luca Mazzucato

Abstract: We introduce a method to compute from first principles the anomalous dimension of short operators in N=4 super Yang-Mills theory at strong coupling, where they are described in terms of superstring vertex operators in an anti-de Sitter background. We focus on the Konishi multiplet, dual to the first massive level of the superstring, and compute the one-loop correction to its anomalous dimension at… ▽ More We introduce a method to compute from first principles the anomalous dimension of short operators in N=4 super Yang-Mills theory at strong coupling, where they are described in terms of superstring vertex operators in an anti-de Sitter background. We focus on the Konishi multiplet, dual to the first massive level of the superstring, and compute the one-loop correction to its anomalous dimension at strong coupling, using the pure spinor formalism for the superstring. △ Less

Submitted 25 February, 2011; v1 submitted 6 February, 2011; originally announced February 2011.

Comments: 4 pages; v2: corrections and improvements, conclusions unchanged

Holographic dual of free field theory

Authors: Michael R. Douglas, Luca Mazzucato, Shlomo S. Razamat

Abstract: We derive a holographic dual description of free quantum field theory in arbitrary dimensions, by reinterpreting the exact renormalization group, to obtain a higher spin gravity theory of the general type which had been proposed and studied as a dual theory. We show that the dual theory reproduces all correlation functions. We derive a holographic dual description of free quantum field theory in arbitrary dimensions, by reinterpreting the exact renormalization group, to obtain a higher spin gravity theory of the general type which had been proposed and studied as a dual theory. We show that the dual theory reproduces all correlation functions. △ Less

Submitted 30 November, 2010; v1 submitted 22 November, 2010; originally announced November 2010.

Comments: 5 pages, 1 figure; v2: various improvements

Report number: YITP-SB-10-39

Journal ref: Phys.Rev.D83:071701,2011

Taming the b antighost with Ramond-Ramond flux

Authors: Nathan Berkovits, Luca Mazzucato

Abstract: In the pure spinor formalism for the superstring, the b antighost is necessary for multiloop amplitude computations and is a composite operator constructed to satisfy {Q,b}=T where Q is the BRST operator and T is the holomorphic stress-tensor. In superstring backgrounds with only NS-NS fields turned on, or in flat space, one needs to introduce "non-minimal" variables in order to construct the b an… ▽ More In the pure spinor formalism for the superstring, the b antighost is necessary for multiloop amplitude computations and is a composite operator constructed to satisfy {Q,b}=T where Q is the BRST operator and T is the holomorphic stress-tensor. In superstring backgrounds with only NS-NS fields turned on, or in flat space, one needs to introduce "non-minimal" variables in order to construct the b antighost. However, in Type II backgrounds where the Ramond-Ramond bispinor field-strength satisfies certain conditions, the b antighost can be constructed without the non-minimal variables. Although the b antighost in these backgrounds is not holomorphic, its antiholomorphic derivative is BRST-trivial. We discuss the properties of this operator both in the AdS_5 x S^5 background and in a generic curved background. △ Less

Submitted 14 September, 2010; v1 submitted 28 April, 2010; originally announced April 2010.

Comments: 23 pages, harvmac; refs added; corrected the necessary conditions on Ramond-Ramond field to construct b antighost

Journal ref: JHEP 1011:019,2010

Approximate Solutions to Second Order Parabolic Equations I: analytic estimates

Authors: Radu Constantinescu, Nick Costanzino, Anna L Mazzucato, Victor Nistor

Abstract: We establish a new type of local asymptotic formula for the Green's function ${\mathcal G}_t(x,y)$ of a uniformly parabolic linear operator $\partial_t - L$ with non-constant coefficients using dilations and Taylor expansions at a point $z=z(x,y)$, for a function $z$ with bounded derivatives such that $z(x,x)=x \in {\mathbb R}^N$. For $z(x,y) =x$, we recover the known, classical expansion obtain… ▽ More We establish a new type of local asymptotic formula for the Green's function ${\mathcal G}_t(x,y)$ of a uniformly parabolic linear operator $\partial_t - L$ with non-constant coefficients using dilations and Taylor expansions at a point $z=z(x,y)$, for a function $z$ with bounded derivatives such that $z(x,x)=x \in {\mathbb R}^N$. For $z(x,y) =x$, we recover the known, classical expansion obtained via pseudo-differential calculus. Our method is based on dilation at $z$, Dyson and Taylor series expansions, and the Baker-Campbell-Hausdorff commutator formula. Our procedure leads to an elementary, algorithmic construction of approximate solutions to parabolic equations which are accurate to arbitrary prescribed order in the short-time limit. We establish mapping properties and precise error estimates in the exponentially weighted, $L^{p}$-type Sobolev spaces $W^{s,p}_a({\mathbb R}^N)$ that appear in practice. △ Less

Submitted 12 November, 2009; v1 submitted 8 October, 2009; originally announced October 2009.

Comments: 42 pages

MSC Class: 35K10; 35K08; 35Q84; 35S05

Dark Matter and Pseudo-flat Directions in Weakly Coupled SUSY Breaking Sectors

Authors: Boaz Keren-Zur, Luca Mazzucato, Yaron Oz

Abstract: We consider candidates for dark matter in models of gauge mediated supersymmetry breaking, in which the supersymmetry breaking sector is weakly coupled and calculable. Such models typically contain classically flat directions, that receive one-loop masses of a few TeV. These pseudo-flat directions provide a new mechanism to account for the cold dark matter relic abundance. We discuss also the po… ▽ More We consider candidates for dark matter in models of gauge mediated supersymmetry breaking, in which the supersymmetry breaking sector is weakly coupled and calculable. Such models typically contain classically flat directions, that receive one-loop masses of a few TeV. These pseudo-flat directions provide a new mechanism to account for the cold dark matter relic abundance. We discuss also the possibility of heavy gravitino dark matter in such models. △ Less

Submitted 21 July, 2009; v1 submitted 30 June, 2009; originally announced June 2009.

Comments: 16 pages, 2 figures. v2: comments, refs added

Journal ref: JHEP 0909:041,2009

On the Non-renormalization of the AdS Radius

Authors: Luca Mazzucato, Brenno Carlini Vallilo

Abstract: We show that the relation between the 't Hooft coupling and the radius of AdS is not renormalized at one-loop in the sigma model perturbation theory. We prove this by computing the quantum effective action for the superstring on AdS_5 x S^5 and showing that it does not receive any finite alpha' corrections. We also show that the central charge of the interacting worldsheet conformal field theory… ▽ More We show that the relation between the 't Hooft coupling and the radius of AdS is not renormalized at one-loop in the sigma model perturbation theory. We prove this by computing the quantum effective action for the superstring on AdS_5 x S^5 and showing that it does not receive any finite alpha' corrections. We also show that the central charge of the interacting worldsheet conformal field theory vanishes at one-loop. △ Less

Submitted 31 August, 2009; v1 submitted 25 June, 2009; originally announced June 2009.

Comments: 13 pages, harvmac. v2: refs added, version to be published on JHEP

Journal ref: JHEP 0909:056,2009

Non-relativistic Branes

Authors: Luca Mazzucato, Yaron Oz, Stefan Theisen

Abstract: We construct gravitational non-relativistic brane solutions of type IIA/IIB string theories and M-theory and their near-horizon geometries. The non-relativistic M2 and M5-brane metrics have Schroedinger symmetries with dynamical exponent z=3/2 and z=3, respectively, whereas the known D3-brane solution has z=2. The non-relativistic D-brane, NS5-brane, F-string and KK monopole metrics have asympto… ▽ More We construct gravitational non-relativistic brane solutions of type IIA/IIB string theories and M-theory and their near-horizon geometries. The non-relativistic M2 and M5-brane metrics have Schroedinger symmetries with dynamical exponent z=3/2 and z=3, respectively, whereas the known D3-brane solution has z=2. The non-relativistic D-brane, NS5-brane, F-string and KK monopole metrics have asymptotically space and time translations, space rotations, Galilean symmetries and a particle number symmetry. We construct two different gravitational backgrounds of a non-relativistic D1-D5 system, both having asymptotically Schroedinger symmetry with exponent z=2. We study the properties of the solutions and their phase diagram. △ Less

Submitted 2 April, 2009; v1 submitted 21 October, 2008; originally announced October 2008.

Comments: 24 pages, harvmac; minor corrections, references added

Journal ref: JHEP 0904:073,2009

Direct Mediation and a Visible Metastable Supersymmetry Breaking Sector

Authors: Boaz Keren-Zur, Luca Mazzucato, Yaron Oz

Abstract: We analyze an R-symmetry breaking deformation of the ISS model for a direct mediation of supersymmetry breaking from a metastable vacuum. The model is weakly coupled and calculable. The LSP gravitino is light (m_{3/2}<16 eV) and the MSSM spectrum is natural with a light Higgs. The supersymmetry breaking sector, which is usually hidden, is observable (m~1 TeV) and may be a candidate for cold dark… ▽ More We analyze an R-symmetry breaking deformation of the ISS model for a direct mediation of supersymmetry breaking from a metastable vacuum. The model is weakly coupled and calculable. The LSP gravitino is light (m_{3/2}<16 eV) and the MSSM spectrum is natural with a light Higgs. The supersymmetry breaking sector, which is usually hidden, is observable (m~1 TeV) and may be a candidate for cold dark matter. We discuss its production and signature at LHC. We propose a UV completion of the model in terms of a duality cascade. △ Less

Submitted 16 July, 2009; v1 submitted 29 July, 2008; originally announced July 2008.

Comments: 28 pages, 19 figures; reference added, improved section 7; modified decay diagrams, figures and related paragraphs

Journal ref: JHEP 0810:099,2008