Mathematical modeling and quantitative study of biological motility (in particular, of motility at microscopic scales) is producing new biophysical insight and is offering opportunities for new discoveries at the level of both fundamental science and technology. These range from the explanation of how complex behavior at the level of a single organism emerges from body architecture, to the understanding of collective phenomena in groups of organisms and tissues, and of how these forms of swarm intelligence can be controlled and harnessed in engineering applications, to the elucidation of processes of fundamental biological relevance at the cellular and sub-cellular level. In this paper, some of the most exciting new developments in the fields of locomotion of unicellular organisms, of soft adhesive locomotion across scales, of the study of pore translocation properties of knotted DNA, of the development of synthetic active solid sheets, of the mechanics of the unjamming transition in dense cell collectives, of the mechanics of cell sheet folding in volvocalean algae, and of the self-propulsion of topological defects in active matter are discussed. For each of these topics, we provide a brief state of the art, an example of recent achievements, and some directions for future research.

10aactive matter10aadhesive locomotion10acell motility10acell sheet folding10aknotted DNA10atopological defects10aunicellular swimmers10aunjamming transition1 aAgostinelli, Daniele1 aCerbino, Roberto1 aDel Alamo, Juan, C1 aDeSimone, Antonio1 aHöhn, Stephanie1 aMicheletti, Cristian1 aNoselli, Giovanni1 aSharon, Eran1 aYeomans, Julia uhttp://dx.doi.org/10.3934/mine.202001100912nas a2200109 4500008004100000245007800041210006900119520051500188100001900703700002100722856005900743 2019 eng d00aA dynamic model for viscoelastic materials with prescribed growing cracks0 adynamic model for viscoelastic materials with prescribed growing3 aIn this paper we prove the existence of solutions for a class of viscoelastic dynamic systems on time-dependent cracked domains, with possibly degenerate viscosity coefficients. Under stronger regularity assumptions we also show a uniqueness result. Finally, we exhibit an example where the energy-dissipation balance is not satisfied, showing there is an additional dissipation due to the crack growth.

1 aCaponi, Maicol1 aSapio, Francesco uhttp://preprints.sissa.it:8180/xmlui/handle/1963/3533401079nas a2200133 4500008004100000022001400041245009200055210006900147260000800216520062200224100002900846700002300875856004700898 2019 eng d a1661-826200aPoint-Like Perturbed Fractional Laplacians Through Shrinking Potentials of Finite Range0 aPointLike Perturbed Fractional Laplacians Through Shrinking Pote cMay3 aWe construct the rank-one, singular (point-like) perturbations of the d-dimensional fractional Laplacian in the physically meaningful norm-resolvent limit of fractional Schrödinger operators with regular potentials centred around the perturbation point and shrinking to a delta-like shape. We analyse both possible regimes, the resonance-driven and the resonance-independent limit, depending on the power of the fractional Laplacian and the spatial dimension. To this aim, we also qualify the notion of zero-energy resonance for Schrödinger operators formed by a fractional Laplacian and a regular potential.

1 aMichelangeli, Alessandro1 aScandone, Raffaele uhttps://doi.org/10.1007/s11785-019-00927-w01650nas a2200157 4500008004100000022001400041245013600055210006900191260000800260520108900268100002501357700002101382700002201403700002001425856004701445 2019 eng d a1618-189100aOn the relaxed area of the graph of discontinuous maps from the plane to the plane taking three values with no symmetry assumptions0 arelaxed area of the graph of discontinuous maps from the plane t cJul3 aIn this paper, we estimate from above the area of the graph of a singular map u taking a disk to three vectors, the vertices of a triangle, and jumping along three $\mathcal{C}^2$-embedded curves that meet transversely at only one point of the disk. We show that the singular part of the relaxed area can be estimated from above by the solution of a Plateau-type problem involving three entangled nonparametric area-minimizing surfaces. The idea is to ``fill the hole'' in the graph of the singular map with a sequence of approximating smooth two-codimensional surfaces of graph-type, by imagining three minimal surfaces, placed vertically over the jump of u, coupled together via a triple point in the target triangle. Such a construction depends on the choice of a target triple point, and on a connection passing through it, which dictate the boundary condition for the three minimal surfaces. We show that the singular part of the relaxed area of u cannot be larger than what we obtain by minimizing over all possible target triple points and all corresponding connections.

1 aBellettini, Giovanni1 aElshorbagy, Alaa1 aPaolini, Maurizio1 aScala, Riccardo uhttps://doi.org/10.1007/s10231-019-00887-001020nas a2200181 4500008004100000245008500041210006900126260000800195300002100203520034100224653004000565653003600605100002000641700001800661700002100679700002000700856011800720 2019 eng d00aStrong Novikov conjecture for low degree cohomology and exotic group C*-algebras0 aStrong Novikov conjecture for low degree cohomology and exotic g cMay aarXiv:1905.077303 aWe strengthen a result of Hanke–Schick about the strong Novikov conjecture for low degree cohomology by showing that their non-vanishing result for the maximal group $C^*$-algebra even holds for the reduced group $C^*$-algebra. To achieve this we provide a Fell absorption principle for certain exotic crossed product functors.

10aMathematics - K-Theory and Homology10aMathematics - Operator Algebras1 aAntonini, Paolo1 aBuss, Alcides1 aEngel, Alexander1 aSiebenand, Timo uhttps://www.math.sissa.it/publication/strong-novikov-conjecture-low-degree-cohomology-and-exotic-group-c-algebras00374nas a2200085 4500008004100000245011800041210006900159100002300228856003700251 2019 eng d00aZero modes and low-energy resolvent expansion for three dimensional Schrodinger operators with point interactions0 aZero modes and lowenergy resolvent expansion for three dimension1 aScandone, Raffaele uhttps://arxiv.org/abs/1901.0244900657nas a2200181 4500008004100000245008300041210007100124653001000195653001000205653001000215653001000225653004000235653003600275100002000311700001500331700001800346856011100364 2018 eng d00aThe Baum–Connes conjecture localised at the unit element of a discrete group0 aBaum–Connes conjecture localised at the unit element of a discre10a19K3510a46L8010a46L8510a58J2210aMathematics - K-Theory and Homology10aMathematics - Operator Algebras1 aAntonini, Paolo1 aAzzali, S.1 aSkandalis, G. uhttps://www.math.sissa.it/publication/baum%E2%80%93connes-conjecture-localised-unit-element-discrete-group01398nas a2200121 4500008004100000245014300041210006900184260001000253520092300263100002301186700001901209856004801228 2018 en d00aCharacteristic boundary layers for mixed hyperbolic systems in one space dimension and applications to the Navier-Stokes and MHD equations0 aCharacteristic boundary layers for mixed hyperbolic systems in o bSISSA3 aWe provide a detailed analysis of the boundary layers for mixed hyperbolic-parabolic systems in one space dimension and small amplitude regimes. As an application of our results, we describe the solution of the so-called boundary Riemann problem recovered as the zero viscosity limit of the physical viscous approximation. In particular, we tackle the so called doubly characteristic case, which is considerably more demanding from the technical viewpoint and occurs when the boundary is characteristic for both the mixed hyperbolic-parabolic system and for the hyperbolic system obtained by neglecting the second order terms. Our analysis applies in particular to the compressible Navier-Stokes and MHD equations in Eulerian coordinates, with both positive and null conductivity. In these cases, the doubly characteristic case occurs when the velocity is close to 0. The analysis extends to non-conservative systems.1 aBianchini, Stefano1 aSpinolo, Laura uhttp://preprints.sissa.it/handle/1963/3532500540nas a2200145 4500008004100000245007700041210006900118300001400187490000600201100002100207700002100228700002200249700001700271856010600288 2018 eng d00adeal2lkit: A toolkit library for high performance programming in deal.II0 adeal2lkit A toolkit library for high performance programming in a318–3270 v71 aSartori, Alberto1 aGiuliani, Nicola1 aBardelloni, Mauro1 aHeltai, Luca uhttps://www.math.sissa.it/publication/deal2lkit-toolkit-library-high-performance-programming-dealii-000395nas a2200109 4500008004100000245004700041210004700088100001800135700002400153700002600177856008200203 2018 eng d00aDifferential of metric valued Sobolev maps0 aDifferential of metric valued Sobolev maps1 aGigli, Nicola1 aPasqualetto, Enrico1 aSoultanis, Elefterios uhttps://www.math.sissa.it/publication/differential-metric-valued-sobolev-maps02307nas a2200169 4500008004100000245011900041210006900160260000800229300000700237490000600244520167500250100001901925700002501944700001701969700002101986856013002007 2018 eng d00aDimension reduction in heterogeneous parametric spaces with application to naval engineering shape design problems0 aDimension reduction in heterogeneous parametric spaces with appl cSep a250 v53 aWe present the results of the first application in the naval architecture field of a methodology based on active subspaces properties for parameters space reduction. The physical problem considered is the one of the simulation of the hydrodynamic flow past the hull of a ship advancing in calm water. Such problem is extremely relevant at the preliminary stages of the ship design, when several flow simulations are typically carried out by the engineers to assess the dependence of the hull total resistance on the geometrical parameters of the hull, and others related with flows and hull properties. Given the high number of geometric and physical parameters which might affect the total ship drag, the main idea of this work is to employ the active subspaces properties to identify possible lower dimensional structures in the parameter space. Thus, a fully automated procedure has been implemented to produce several small shape perturbations of an original hull CAD geometry, in order to exploit the resulting shapes to run high fidelity flow simulations with different structural and physical parameters as well, and then collect data for the active subspaces analysis. The free form deformation procedure used to morph the hull shapes, the high fidelity solver based on potential flow theory with fully nonlinear free surface treatment, and the active subspaces analysis tool employed in this work have all been developed and integrated within SISSA mathLab as open source tools. The contribution will also discuss several details of the implementation of such tools, as well as the results of their application to the selected target engineering problem.

1 aTezzele, Marco1 aSalmoiraghi, Filippo1 aMola, Andrea1 aRozza, Gianluigi uhttps://www.math.sissa.it/publication/dimension-reduction-heterogeneous-parametric-spaces-application-naval-engineering-shape00590nas a2200133 4500008004100000245012000041210006900161100001900230700001700249700002200266700002400288700002100312856012300333 2018 eng d00aThe Effort of Increasing Reynolds Number in Projection-Based Reduced Order Methods: from Laminar to Turbulent Flows0 aEffort of Increasing Reynolds Number in ProjectionBased Reduced 1 aHijazi, Saddam1 aAli, Shafqat1 aStabile, Giovanni1 aBallarin, Francesco1 aRozza, Gianluigi uhttps://www.math.sissa.it/publication/effort-increasing-reynolds-number-projection-based-reduced-order-methods-laminar00462nas a2200109 4500008004100000245012400041210006900165260002300234100002200257700002100279856005200300 2018 eng d00aFinite volume POD-Galerkin stabilised reduced order methods for the parametrised incompressible Navier-Stokes equations0 aFinite volume PODGalerkin stabilised reduced order methods for t bElsevier {BV}cfeb1 aStabile, Giovanni1 aRozza, Gianluigi uhttps://doi.org/10.1016/j.compfluid.2018.01.03500971nas a2200145 4500008004100000245008600041210006900127300001100196490000700207520050000214100002900714700002100743700002300764856003800787 2018 eng d00aFractional powers and singular perturbations of quantum differential Hamiltonians0 aFractional powers and singular perturbations of quantum differen a0721060 v593 aWe consider the fractional powers of singular (point-like) perturbations of the Laplacian and the singular perturbations of fractional powers of the Laplacian, and we compare two such constructions focusing on their perturbative structure for resolvents and on the local singularity structure of their domains. In application to the linear and non-linear Schrödinger equations for the corresponding operators, we outline a programme of relevant questions that deserve being investigated.

1 aMichelangeli, Alessandro1 aOttolini, Andrea1 aScandone, Raffaele uhttps://doi.org/10.1063/1.503385601226nas a2200193 4500008004100000022001400041245006800055210006500123300001600188490000800204520054000212653002300752653006700775653004400842100002300886700002900909700002300938856007100961 2018 eng d a0022-123600aOn fractional powers of singular perturbations of the Laplacian0 afractional powers of singular perturbations of the Laplacian a1551 - 16020 v2753 aWe qualify a relevant range of fractional powers of the so-called Hamiltonian of point interaction in three dimensions, namely the singular perturbation of the negative Laplacian with a contact interaction supported at the origin. In particular we provide an explicit control of the domain of such a fractional operator and of its decomposition into regular and singular parts. We also qualify the norms of the resulting singular fractional Sobolev spaces and their mutual control with the corresponding classical Sobolev norms.

10aPoint interactions10aRegular and singular component of a point-interaction operator10aSingular perturbations of the Laplacian1 aGeorgiev, Vladimir1 aMichelangeli, Alessandro1 aScandone, Raffaele uhttp://www.sciencedirect.com/science/article/pii/S002212361830104600893nas a2200121 4500008004100000245004200041210004200083300001200125490000700137520055100144100003000695856004600725 2018 eng d00aFramed symplectic sheaves on surfaces0 aFramed symplectic sheaves on surfaces a18500070 v293 aA framed symplectic sheaf on a smooth projective surface $X$ is a torsion-free sheaf $E$ together with a trivialization on a divisor $D \subset X$ and a morphism $\Lambda^2 E \rightarrow \mathcal{O}_X$ satisfying some additional conditions. We construct a moduli space for framed symplectic sheaves on a surface, and present a detailed study for $X =\mathbb{P}_\mathbb{C}^2$. In this case, the moduli space is irreducible and admits an ADHM-type description and a birational proper map onto the space of framed symplectic ideal instantons.

1 aScalise, Jacopo, Vittorio uhttps://doi.org/10.1142/S0129167X1850007601597nas a2200169 4500008004100000245012200041210006900163260002100232300001200253490000700265520094600272100002501218700002201243700001801265700002101283856012301304 2018 eng d00aFree-form deformation, mesh morphing and reduced-order methods: enablers for efficient aerodynamic shape optimisation0 aFreeform deformation mesh morphing and reducedorder methods enab bTaylor & Francis a233-2470 v323 aIn this work, we provide an integrated pipeline for the model-order reduction of turbulent flows around parametrised geometries in aerodynamics. In particular, free-form deformation is applied for geometry parametrisation, whereas two different reduced-order models based on proper orthogonal decomposition (POD) are employed in order to speed-up the full-order simulations: the first method exploits POD with interpolation, while the second one is based on domain decomposition. For the sampling of the parameter space, we adopt a Greedy strategy coupled with Constrained Centroidal Voronoi Tessellations, in order to guarantee a good compromise between space exploration and exploitation. The proposed framework is tested on an industrially relevant application, i.e. the front-bumper morphing of the DrivAer car model, using the finite-volume method for the full-order resolution of the Reynolds-Averaged Navier–Stokes equations.

1 aSalmoiraghi, Filippo1 aScardigli, Angela1 aTelib, Haysam1 aRozza, Gianluigi uhttps://www.math.sissa.it/publication/free-form-deformation-mesh-morphing-and-reduced-order-methods-enablers-efficient01283nas a2200169 4500008004100000022001400041245010100055210006900156260000800225300000700233490000700240520074700247100002100994700002901015700002301044856004601067 2018 eng d a1420-903900aGlobal, finite energy, weak solutions for the NLS with rough, time-dependent magnetic potentials0 aGlobal finite energy weak solutions for the NLS with rough timed cMar a460 v693 aWe prove the existence of weak solutions in the space of energy for a class of nonlinear Schrödinger equations in the presence of a external, rough, time-dependent magnetic potential. Under our assumptions, it is not possible to study the problem by means of usual arguments like resolvent techniques or Fourier integral operators, for example. We use a parabolic regularisation, and we solve the approximating Cauchy problem. This is achieved by obtaining suitable smoothing estimates for the dissipative evolution. The total mass and energy bounds allow to extend the solution globally in time. We then infer sufficient compactness properties in order to produce a global-in-time finite energy weak solution to our original problem.

1 aAntonelli, Paolo1 aMichelangeli, Alessandro1 aScandone, Raffaele uhttps://doi.org/10.1007/s00033-018-0938-500612nas a2200169 4500008004100000245015500041210006900196300001100265490000800276100002200284700002000306700002000326700002300346700001700369700001900386856003700405 2018 eng d00aIterative map-making with two-level preconditioning for polarized cosmic microwave background data sets. A worked example for ground-based experiments0 aIterative mapmaking with twolevel preconditioning for polarized a1–140 v6181 aPuglisi, Giuseppe1 aPoletti, Davide1 aFabbian, Giulio1 aBaccigalupi, Carlo1 aHeltai, Luca1 aStompor, Radek uhttps://arxiv.org/abs/1801.0893700806nas a2200181 4500008004100000022001400041245009400055210006900149260000800218300001400226490000700240520023200247100002900479700002900508700002300537700001800560856004600578 2018 eng d a1424-066100aLp-Boundedness of Wave Operators for the Three-Dimensional Multi-Centre Point Interaction0 aLpBoundedness of Wave Operators for the ThreeDimensional MultiCe cJan a283–3220 v193 aWe prove that, for arbitrary centres and strengths, the wave operators for three-dimensional Schrödinger operators with multi-centre local point interactions are bounded in Lp(R3)for 1<p<3 and unbounded otherwise.

1 aDell'Antonio, Gianfausto1 aMichelangeli, Alessandro1 aScandone, Raffaele1 aYajima, Kenji uhttps://doi.org/10.1007/s00023-017-0628-400512nas a2200145 4500008004100000245011100041210006900152300001600221490000700237100002200244700002400266700001600290700002100306856003900327 2018 eng d00aModel Reduction for Parametrized Optimal Control Problems in Environmental Marine Sciences and Engineering0 aModel Reduction for Parametrized Optimal Control Problems in Env aB1055-B10790 v401 aStrazzullo, Maria1 aBallarin, Francesco1 aMosetti, R.1 aRozza, Gianluigi uhttps://doi.org/10.1137/17M115059100508nas a2200145 4500008004100000245008900041210006900130260002300199300001400222490000800236100002200244700002600266700001900292856005100311 2018 eng d00aA novel reduced order model for vortex induced vibrations of long flexible cylinders0 anovel reduced order model for vortex induced vibrations of long bElsevier {BV}cmay a191–2070 v1561 aStabile, Giovanni1 aMatthies, Hermann, G.1 aBorri, Claudio uhttps://doi.org/10.1016/j.oceaneng.2018.02.06400448nas a2200097 4500008004100000245008100041210006900122100002900191700002300220856010700243 2018 eng d00aOn real resonances for the three-dimensional, multi-centre point interaction0 areal resonances for the threedimensional multicentre point inter1 aMichelangeli, Alessandro1 aScandone, Raffaele uhttps://www.math.sissa.it/publication/real-resonances-three-dimensional-multi-centre-point-interaction00631nas a2200133 4500008004100000245015100041210006900192100002800261700002200289700001700311700002400328700002100352856012400373 2018 eng d00aA Reduced Basis approach for PDEs on parametrized geometries based on the Shifted Boundary Finite Element Method and application to fluid dynamics0 aReduced Basis approach for PDEs on parametrized geometries based1 aKaratzas, Efthymios, N.1 aStabile, Giovanni1 aNouveau, Leo1 aScovazzi, Guglielmo1 aRozza, Gianluigi uhttps://www.math.sissa.it/publication/reduced-basis-approach-pdes-parametrized-geometries-based-shifted-boundary-finite00596nas a2200133 4500008004100000245012100041210006900162100002800231700002200259700001600281700002400297700002100321856012000342 2018 eng d00aA Reduced Order Approach for the Embedded Shifted Boundary FEM and a Heat Exchange System on Parametrized Geometries0 aReduced Order Approach for the Embedded Shifted Boundary FEM and1 aKaratzas, Efthymios, N.1 aStabile, Giovanni1 aAtallah, N.1 aScovazzi, Guglielmo1 aRozza, Gianluigi uhttps://www.math.sissa.it/publication/reduced-order-approach-embedded-shifted-boundary-fem-and-heat-exchange-system01292nas a2200157 4500008004100000245006900041210006900110260002100179300001200200490000700212520078900219100002901008700002401037700002301061856005001084 2018 eng d00aSingular Hartree equation in fractional perturbed Sobolev spaces0 aSingular Hartree equation in fractional perturbed Sobolev spaces bTaylor & Francis a558-5880 v253 aWe establish the local and global theory for the Cauchy problem of the singular Hartree equation in three dimensions, that is, the modification of the non-linear Schrödinger equation with Hartree non-linearity, where the linear part is now given by the Hamiltonian of point interaction. The latter is a singular, self-adjoint perturbation of the free Laplacian, modelling a contact interaction at a fixed point. The resulting non-linear equation is the typical effective equation for the dynamics of condensed Bose gases with fixed point-like impurities. We control the local solution theory in the perturbed Sobolev spaces of fractional order between the mass space and the operator domain. We then control the global solution theory both in the mass and in the energy space.

1 aMichelangeli, Alessandro1 aOlgiati, Alessandro1 aScandone, Raffaele uhttps://doi.org/10.1080/14029251.2018.150342301002nas a2200133 4500008004100000245006100041210006000102520056900162100002200731700002100753700001900774700002700793856004800820 2018 en d00aStochastic homogenisation of free-discontinuity problems0 aStochastic homogenisation of freediscontinuity problems3 aIn this paper we study the stochastic homogenisation of free-discontinuity functionals. Assuming stationarity for the random volume and surface integrands, we prove the existence of a homogenised random free-discontinuity functional, which is deterministic in the ergodic case. Moreover, by establishing a connection between the deterministic convergence of the functionals at any fixed realisation and the pointwise Subadditive Ergodic Theorem by Akcoglou and Krengel, we characterise the limit volume and surface integrands in terms of asymptotic cell formulas.1 aCagnetti, Filippo1 aDal Maso, Gianni1 aScardia, Lucia1 aZeppieri, Caterina Ida uhttp://preprints.sissa.it/handle/1963/3530901821nas a2200181 4500008004100000024003700041245012000078210006900198520118600267653002301453653002601476100002201502700001901524700002101543700001701564700002101581856003701602 2017 eng d ahttps://arxiv.org/abs/1701.0342400aAdvances in Reduced order modelling for CFD: vortex shedding around a circular cylinder using a POD-Galerkin method0 aAdvances in Reduced order modelling for CFD vortex shedding arou3 aVortex shedding around circular cylinders is a well known and studied phenomenon that appears in many engineering fields. In this work a Reduced Order Model (ROM) of the incompressible flow around a circular cylinder, built performing a Galerkin projection of the governing equations onto a lower dimensional space is presented. The reduced basis space is generated using a Proper Orthogonal Decomposition (POD) approach. In particular the focus is into (i) the correct reproduction of the pressure field, that in case of the vortex shedding phenomenon, is of primary importance for the calculation of the drag and lift coefficients; (ii) for this purpose the projection of the Governing equations (momentum equation and Poisson equation for pressure) is performed onto different reduced basis space for velocity and pressure, respectively; (iii) all the relevant modifications necessary to adapt standard finite element POD-Galerkin methods to a finite volume framework are presented. The accuracy of the reduced order model is assessed against full order results.

10afinite volume, CFD10aReduced order methods1 aStabile, Giovanni1 aHijazi, Saddam1 aLorenzi, Stefano1 aMola, Andrea1 aRozza, Gianluigi uhttps://arxiv.org/abs/1701.0342400424nas a2200145 4500008004100000245005000041210004700091260002500138300001400163490000700177100001800184700001700202700001300219856004600232 2017 eng d00aCurvature-adapted remeshing of {CAD} surfaces0 aCurvatureadapted remeshing of CAD surfaces bSpringer Naturecdec a565–5760 v341 aDassi, Franco1 aMola, Andrea1 aSi, Hang uhttps://doi.org/10.1007/s00366-017-0558-201416nas a2200169 4500008004100000020002200041245008400063210007000147260004400217300001400261520082100275100002001096700002301116700002901139700002901168856004901197 2017 eng d a978-3-319-58904-600aDispersive Estimates for Schrödinger Operators with Point Interactions in ℝ30 aDispersive Estimates for Schrödinger Operators with Point Intera aChambSpringer International Publishing a187–1993 aThe study of dispersive properties of Schrödinger operators with point interactions is a fundamental tool for understanding the behavior of many body quantum systems interacting with very short range potential, whose dynamics can be approximated by non linear Schrödinger equations with singular interactions. In this work we proved that, in the case of one point interaction in $\mathbb{R}^3$, the perturbed Laplacian satisfies the same $L^p$−$L^q$ estimates of the free Laplacian in the smaller regime $q \in [2,3)$. These estimates are implied by a recent result concerning the Lpboundedness of the wave operators for the perturbed Laplacian. Our approach, however, is more direct and relatively simple, and could potentially be useful to prove optimal weighted estimates also in the regime $q \geq 3$.

1 aIandoli, Felice1 aScandone, Raffaele1 aMichelangeli, Alessandro1 aDell'Antonio, Gianfausto uhttps://doi.org/10.1007/978-3-319-58904-6_1100333nas a2200097 4500008004100000245005500041210005400096100002600150700001800176856004100194 2017 eng d00aElliptic diffeomorphisms of symplectic 4-manifolds0 aElliptic diffeomorphisms of symplectic 4manifolds1 aShevchishin, Vsevolod1 aSmirnov, Gleb uhttps://arxiv.org/pdf/1708.01518.pdf01393nas a2200145 4500008004100000245005300041210005100094260001000145520095500155100002201110700002101132700001901153700002701172856004801199 2017 en d00aGamma-Convergence of Free-discontinuity problems0 aGammaConvergence of Freediscontinuity problems bSISSA3 aWe study the Gamma-convergence of sequences of free-discontinuity functionals depending on vector-valued functions u which can be discontinuous across hypersurfaces whose shape and location are not known a priori. The main novelty of our result is that we work under very general assumptions on the integrands which, in particular, are not required to be periodic in the space variable. Further, we consider the case of surface integrands which are not bounded from below by the amplitude of the jump of u. We obtain three main results: compactness with respect to Gamma-convergence, representation of the Gamma-limit in an integral form and identification of its integrands, and homogenisation formulas without periodicity assumptions. In particular, the classical case of periodic homogenisation follows as a by-product of our analysis. Moreover, our result covers also the case of stochastic homogenisation, as we will show in a forthcoming paper.1 aCagnetti, Filippo1 aDal Maso, Gianni1 aScardia, Lucia1 aZeppieri, Caterina Ida uhttp://preprints.sissa.it/handle/1963/3527601179nas a2200121 4500008004100000245009100041210006900132300001200201490000700213520077600220100002000996856004101016 2017 eng d00aLimit of viscous dynamic processes in delamination as the viscosity and inertia vanish0 aLimit of viscous dynamic processes in delamination as the viscos a593-6250 v233 aWe introduce a model of dynamic evolution of a delaminated visco-elastic body with viscous adhesive. We prove the existence of solutions of the corresponding system of PDEs and then study the behavior of such solutions when the data of the problem vary slowly. We prove that a rescaled version of the dynamic evolutions converge to a “local” quasistatic evolution, which is an evolution satisfying an energy inequality and a momentum balance at all times. In the one-dimensional case we give a more detailed description of the limit evolution and we show that it behaves in a very similar way to the limit of the solutions of the dynamic model in [T. Roubicek, SIAM J. Math. Anal. 45 (2013) 101–126], where no viscosity in the adhesive is taken into account.

1 aScala, Riccardo uhttps://doi.org/10.1051/cocv/201600600711nas a2200181 4500008004100000245009900041210006900140300001400209490000700223100002400230700002000254700002000274700002200294700002100316700002000337700002200357856015000379 2017 eng d00aNumerical modeling of hemodynamics scenarios of patient-specific coronary artery bypass grafts0 aNumerical modeling of hemodynamics scenarios of patientspecific a1373-13990 v161 aBallarin, Francesco1 aFaggiano, Elena1 aManzoni, Andrea1 aQuarteroni, Alfio1 aRozza, Gianluigi1 aIppolito, Sonia1 aScrofani, Roberto uhttps://www.scopus.com/inward/record.uri?eid=2-s2.0-85015065851&doi=10.1007%2fs10237-017-0893-7&partnerID=40&md5=c388f20bd5de14187bad9ed7d9affbd000603nas a2200169 4500008004100000245012600041210006900167260003400236300001400270490000600284100002200290700001900312700001700331700002100348700002100369856004300390 2017 eng d00aPOD-Galerkin reduced order methods for CFD using Finite Volume Discretisation: vortex shedding around a circular cylinder0 aPODGalerkin reduced order methods for CFD using Finite Volume Di bWalter de Gruyter {GmbH}cdec a210–2360 v81 aStabile, Giovanni1 aHijazi, Saddam1 aMola, Andrea1 aLorenzi, Stefano1 aRozza, Gianluigi uhttps://doi.org/10.1515/caim-2017-001100623nas a2200169 4500008004100000245008300041210006900124260002500193300001400218490000800232100001600240700001600256700002300272700002300295700002400318856011100342 2017 eng d00aSolid tumors are poroelastic solids with a chemo-mechanical feedback on growth0 aSolid tumors are poroelastic solids with a chemomechanical feedb bSpringer Netherlands a107–1240 v1291 aAmbrosi, D.1 aPezzuto, S.1 aRiccobelli, Davide1 aStylianopoulos, T.1 aCiarletta, Pasquale uhttps://www.math.sissa.it/publication/solid-tumors-are-poroelastic-solids-chemo-mechanical-feedback-growth00795nas a2200241 4500008004100000245011200041210006900153260003500222300001100257490000800268100001800276700001800294700001600312700002200328700001900350700002300369700002200392700002200414700001800436700001800454700002100472856006000493 2017 eng d00aUniversality of the Peregrine Soliton in the Focusing Dynamics of the Cubic Nonlinear Schrödinger Equation0 aUniversality of the Peregrine Soliton in the Focusing Dynamics o bAmerican Physical SocietycJul a0339010 v1191 aTikan, Alexey1 aBillet, Cyril1 aEl, Gennady1 aTovbis, Alexander1 aBertola, Marco1 aSylvestre, Thibaut1 aGustave, Francois1 aRandoux, Stephane1 aGenty, Goëry1 aSuret, Pierre1 aDudley, John, M. uhttps://link.aps.org/doi/10.1103/PhysRevLett.119.03390102112nas a2200217 4500008004100000245018600041210006900227260003600296520123100332100002501563700002401588700002001612700001701632700001901649700002101668700002101689700002101710700001701731700001601748856013001764 2016 en d00aAdvances in geometrical parametrization and reduced order models and methods for computational fluid dynamics problems in applied sciences and engineering: overview and perspectives0 aAdvances in geometrical parametrization and reduced order models aCrete, GreecebECCOMASc06/20163 aSeveral problems in applied sciences and engineering require reduction techniques in order to allow computational tools to be employed in the daily practice, especially in iterative procedures such as optimization or sensitivity analysis. Reduced order methods need to face increasingly complex problems in computational mechanics, especially into a multiphysics setting. Several issues should be faced: stability of the approximation, efficient treatment of nonlinearities, uniqueness or possible bifurcations of the state solutions, proper coupling between fields, as well as offline-online computing, computational savings and certification of errors as measure of accuracy. Moreover, efficient geometrical parametrization techniques should be devised to efficiently face shape optimization problems, as well as shape reconstruction and shape assimilation problems. A related aspect deals with the management of parametrized interfaces in multiphysics problems, such as fluid-structure interaction problems, and also a domain decomposition based approach for complex parametrized networks. We present some illustrative industrial and biomedical problems as examples of recent advances on methodological developments.

1 aSalmoiraghi, Filippo1 aBallarin, Francesco1 aCorsi, Giovanni1 aMola, Andrea1 aTezzele, Marco1 aRozza, Gianluigi1 aPapadrakakis, M.1 aPapadopoulos, V.1 aStefanou, G.1 aPlevris, V. uhttps://www.math.sissa.it/publication/advances-geometrical-parametrization-and-reduced-order-models-and-methods-computational01304nas a2200133 4500008004100000245008300041210006900124520084400193100002201037700002201059700002001081700001801101856005101119 2016 en d00aConfinement of dislocations inside a crystal with a prescribed external strain0 aConfinement of dislocations inside a crystal with a prescribed e3 aWe study screw dislocations in an isotropic crystal undergoing antiplane shear. In the framework of linear elasticity, by fixing a suitable boundary condition for the strain (prescribed non-vanishing boundary integral), we manage to confine the dislocations inside the material. More precisely, in the presence of an external strain with circulation equal to n times the lattice spacing, it is energetically convenient to have n distinct dislocations lying inside the crystal. The novelty of introducing a Dirichlet boundary condition for the tangential strain is crucial to the confinement: it is well known that, if Neumann boundary conditions are imposed, the dislocations tend to migrate to the boundary. The results are achieved using PDE techniques and Ƭ-convergence theory, in the framework of the so-called core radius approach.1 aLucardesi, Ilaria1 aMorandotti, Marco1 aScala, Riccardo1 aZucco, Davide uhttp://urania.sissa.it/xmlui/handle/1963/3524701884nas a2200145 4500008004100000245005300041210005300094260003400147300001100181490000700192520140800199100002001607700002501627856008601652 2016 eng d00aCurrents and dislocations at the continuum scale0 aCurrents and dislocations at the continuum scale bInternational Press of Boston a1–340 v233 aA striking geometric property of elastic bodies with dislocations is that the deformation tensor cannot be written as the gradient of a one-to-one immersion, its curl being nonzero and equal to the density of the dislocations, a measure concentrated in the dislocation lines. In this work, we discuss the mathematical properties of such constrained deformations and study a variational problem in finite-strain elasticity, where Cartesian maps allow us to consider deformations in $L^p$ with $1\leq p<2$, as required for dislocation-induced strain singularities. Firstly, we address the problem of mathematical modeling of dislocations. It is a key purpose of the paper to build a framework where dislocations are described in terms of integral 1-currents and to extract from this theoretical setting a series of notions having a mechanical meaning in the theory of dislocations. In particular, the paper aims at classifying integral 1-currents, with modeling purposes. In the second part of the paper, two variational problems are solved for two classes of dislocations, at the mesoscopic and at the continuum scale. By continuum it is here meant that a countable family of dislocations is considered, allowing for branching and cluster formation, with possible complex geometric patterns. Therefore, modeling assumptions of the defect part of the energy must also be provided, and discussed.

1 aScala, Riccardo1 aVan Goethem, Nicolas uhttps://www.math.sissa.it/publication/currents-and-dislocations-continuum-scale-001717nas a2200193 4500008004100000245011900041210006900160260001400229520106200243100002401305700002001329700002001349700002101369700002201390700002001412700002201432700001801454856005101472 2016 en d00aA fast virtual surgery platform for many scenarios haemodynamics of patient-specific coronary artery bypass grafts0 afast virtual surgery platform for many scenarios haemodynamics o bSubmitted3 aA fast computational framework is devised to the study of several configurations of patient-specific coronary artery bypass grafts. This is especially useful to perform a sensitivity analysis of the haemodynamics for different flow conditions occurring in native coronary arteries and bypass grafts, the investigation of the progression of the coronary artery disease and the choice of the most appropriate surgical procedure. A complete pipeline, from the acquisition of patientspecific medical images to fast parametrized computational simulations, is proposed. Complex surgical configurations employed in the clinical practice, such as Y-grafts and sequential grafts, are studied. A virtual surgery platform based on model reduction of unsteady Navier Stokes equations for blood dynamics is proposed to carry out sensitivity analyses in a very rapid and reliable way. A specialized geometrical parametrization is employed to compare the effect of stenosis and anastomosis variation on the outcome of the surgery in several relevant cases.1 aBallarin, Francesco1 aFaggiano, Elena1 aManzoni, Andrea1 aRozza, Gianluigi1 aQuarteroni, Alfio1 aIppolito, Sonia1 aScrofani, Roberto1 aAntona, Carlo uhttp://urania.sissa.it/xmlui/handle/1963/3524001114nas a2200121 4500008004100000245006200041210006200103260001000165520067200175653001800847100003000865856009700895 2016 en d00aFrames symplectic sheaves on surfaces and their ADHM data0 aFrames symplectic sheaves on surfaces and their ADHM data bSISSA3 aThis dissertation is centered on the moduli space of what we call framed symplectic sheaves on a surface, compactifying the corresponding moduli space of framed principal SP−bundles. It contains the construction of the moduli space, which is carried out for every smooth projective surface X with a big and nef framing divisor, and a study of its deformation theory. We also develop an in-depth analysis of the examples X = P2 and X = Blp (P2 ), showing that the corresponding moduli spaces enjoy an ADHM-type description. In the former case, we prove irreducibility of the space and exhibit a relation with the space of framed ideal instantons on S4 in type C.10amoduli spaces1 aScalise, Jacopo, Vittorio uhttps://www.math.sissa.it/publication/frames-symplectic-sheaves-surfaces-and-their-adhm-data01409nas a2200145 4500008004100000245011900041210006900160260007700229520081900306100002501125700002401150700001701174700002101191856005101212 2016 en d00aIsogeometric analysis-based reduced order modelling for incompressible linear viscous flows in parametrized shapes0 aIsogeometric analysisbased reduced order modelling for incompres bSpringer, AMOS Advanced Modelling and Simulation in Engineering Sciences3 aIn this work we provide a combination of isogeometric analysis with reduced order modelling techniques, based on proper orthogonal decomposition, to guarantee computational reduction for the numerical model, and with free-form deformation, for versatile geometrical parametrization. We apply it to computational fluid dynamics problems considering a Stokes flow model. The proposed reduced order model combines efficient shape deformation and accurate and stable velocity and pressure approximation for incompressible viscous flows, computed with a reduced order method. Efficient offine-online computational decomposition is guaranteed in view of repetitive calculations for parametric design and optimization problems. Numerical test cases show the efficiency and accuracy of the proposed reduced order model.1 aSalmoiraghi, Filippo1 aBallarin, Francesco1 aHeltai, Luca1 aRozza, Gianluigi uhttp://urania.sissa.it/xmlui/handle/1963/3519901951nas a2200169 4500008004100000245009300041210006900134260001300203300000800216490000700224520142100231100002101652700001901673700001701692700002101709856005101730 2016 en d00aA multi-physics reduced order model for the analysis of Lead Fast Reactor single channel0 amultiphysics reduced order model for the analysis of Lead Fast R bElsevier a2080 v873 aIn this work, a Reduced Basis method, with basis functions sampled by a Proper Orthogonal Decomposition technique, has been employed to develop a reduced order model of a multi-physics parametrized Lead-cooled Fast Reactor single-channel. Being the first time that a reduced order model is developed in this context, the work focused on a methodological approach and the coupling between the neutronics and the heat transfer, where the thermal feedbacks on neutronics are explicitly taken into account, in time-invariant settings. In order to address the potential of such approach, two different kinds of varying parameters have been considered, namely one related to a geometric quantity (i.e., the inner radius of the fuel pellet) and one related to a physical quantity (i.e., the inlet lead velocity). The capabilities of the presented reduced order model (ROM) have been tested and compared with a high-fidelity finite element model (upon which the ROM has been constructed) on different aspects. In particular, the comparison focused on the system reactivity prediction (with and without thermal feedbacks on neutronics), the neutron flux and temperature field reconstruction, and on the computational time. The outcomes provided by the reduced order model are in good agreement with the high-fidelity finite element ones, and a computational speed-up of at least three orders of magnitude is achieved as well.1 aSartori, Alberto1 aCammi, Antonio1 aLuzzi, Lelio1 aRozza, Gianluigi uhttp://urania.sissa.it/xmlui/handle/1963/3519100912nas a2200229 4500008004100000020002200041245004000063210004000103260004400143300001100187520024800198100002100446700002400467700002000491700001800511700002000529700002200549700001900571700002000590700002400610856004800634 2016 eng d a978-3-319-29116-100aPimsner Algebras and Circle Bundles0 aPimsner Algebras and Circle Bundles aChambSpringer International Publishing a1–253 aWe report on the connections between noncommutative principal circle bundles, Pimsner algebras and strongly graded algebras. We illustrate several results with examples of quantum weighted projective and lens spaces and θ-deformations.

1 aArici, Francesca1 aD'Andrea, Francesco1 aLandi, Giovanni1 aAlpay, Daniel1 aCipriani, Fabio1 aColombo, Fabrizio1 aGuido, Daniele1 aSabadini, Irene1 aSauvageot, Jean-Luc uhttps://doi.org/10.1007/978-3-319-29116-1_101691nas a2200169 4500008004100000245008700041210006900128260001800197300000600215490000600221520116500227100002101392700001901413700001701432700002101449856005101470 2016 en d00aA Reduced Basis Approach for Modeling the Movement of Nuclear Reactor Control Rods0 aReduced Basis Approach for Modeling the Movement of Nuclear Reac bASMEc02/2016 a80 v23 aThis work presents a reduced order model (ROM) aimed at simulating nuclear reactor control rods movement and featuring fast-running prediction of reactivity and neutron flux distribution as well. In particular, the reduced basis (RB) method (built upon a high-fidelity finite element (FE) approximation) has been employed. The neutronics has been modeled according to a parametrized stationary version of the multigroup neutron diffusion equation, which can be formulated as a generalized eigenvalue problem. Within the RB framework, the centroidal Voronoi tessellation is employed as a sampling technique due to the possibility of a hierarchical parameter space exploration, without relying on a “classical” a posteriori error estimation, and saving an important amount of computational time in the offline phase. Here, the proposed ROM is capable of correctly predicting, with respect to the high-fidelity FE approximation, both the reactivity and neutron flux shape. In this way, a computational speedup of at least three orders of magnitude is achieved. If a higher precision is required, the number of employed basis functions (BFs) must be increased.1 aSartori, Alberto1 aCammi, Antonio1 aLuzzi, Lelio1 aRozza, Gianluigi uhttp://urania.sissa.it/xmlui/handle/1963/3519201826nas a2200145 4500008004100000245012700041210006900168260001600237520129800253100002101551700001901572700001701591700002101608856005101629 2016 en d00aReduced basis approaches in time-dependent noncoercive settings for modelling the movement of nuclear reactor control rods0 aReduced basis approaches in timedependent noncoercive settings f bSISSAc20163 aIn this work, two approaches, based on the certified Reduced Basis method, have been developed for simulating the movement of nuclear reactor control rods, in time-dependent non-coercive settings featuring a 3D geometrical framework. In particular, in a first approach, a piece-wise affine transformation based on subdomains division has been implemented for modelling the movement of one control rod. In the second approach, a “staircase” strategy has been adopted for simulating the movement of all the three rods featured by the nuclear reactor chosen as case study. The neutron kinetics has been modelled according to the so-called multi-group neutron diffusion, which, in the present case, is a set of ten coupled parametrized parabolic equations (two energy groups for the neutron flux, and eight for the precursors). Both the reduced order models, developed according to the two approaches, provided a very good accuracy compared with high-fidelity results, assumed as “truth” solutions. At the same time, the computational speed-up in the Online phase, with respect to the fine “truth” finite element discretization, achievable by both the proposed approaches is at least of three orders of magnitude, allowing a real-time simulation of the rod movement and control.

1 aSartori, Alberto1 aCammi, Antonio1 aLuzzi, Lelio1 aRozza, Gianluigi uhttp://urania.sissa.it/xmlui/handle/1963/3496301230nas a2200157 4500008004100000245009000041210006900131260002100200300001000221490000700231520073600238100001700974700001800991700001301009856005001022 2016 eng d00aSpectral analysis and the Aharonov-Bohm effect on certain almost-Riemannian manifolds0 aSpectral analysis and the AharonovBohm effect on certain almostR bTaylor & Francis a32-500 v413 aWe study spectral properties of the Laplace-Beltrami operator on two relevant almost-Riemannian manifolds, namely the Grushin structures on the cylinder and on the sphere. This operator contains first order diverging terms caused by the divergence of the volume. We get explicit descriptions of the spectrum and the eigenfunctions. In particular in both cases we get a Weyl's law with leading term Elog E. We then study the drastic effect of Aharonov-Bohm magnetic potentials on the spectral properties. Other generalized Riemannian structures including conic and anti-conic type manifolds are also studied. In this case, the Aharonov-Bohm magnetic potential may affect the self-adjointness of the Laplace-Beltrami operator.

1 aBoscain, Ugo1 aPrandi, Dario1 aSeri, M. uhttps://doi.org/10.1080/03605302.2015.109576601510nas a2200121 4500008004100000245009300041210006900134520100200203100001701205700001701222700002401239856012501263 2015 en d00aBenchmarking the Immersed Finite Element Method for Fluid-Structure Interaction Problems0 aBenchmarking the Immersed Finite Element Method for FluidStructu3 aWe present an implementation of a fully variational formulation of an immersed methods for fluid-structure interaction problems based on the finite element method. While typical implementation of immersed methods are characterized by the use of approximate Dirac delta distributions, fully variational formulations of the method do not require the use of said distributions. In our implementation the immersed solid is general in the sense that it is not required to have the same mass density and the same viscous response as the surrounding fluid. We assume that the immersed solid can be either viscoelastic of differential type or hyperelastic. Here we focus on the validation of the method via various benchmarks for fluid-structure interaction numerical schemes. This is the first time that the interaction of purely elastic compressible solids and an incompressible fluid is approached via an immersed method allowing a direct comparison with established benchmarks.1 aSaswati, Roy1 aHeltai, Luca1 aCostanzo, Francesco uhttps://www.math.sissa.it/publication/benchmarking-immersed-finite-element-method-fluid-structure-interaction-problems-001368nam a2200229 4500008004100000020002200041022001400063245008400077210006900161250000600230260002600236300000800262520053600270653003000806653002800836653004800864653004500912100002200957700002100979700002001000856011801020 2015 eng d a978-3-319-22469-5 a2191-820100aCertified Reduced Basis Methods for Parametrized Partial Differential Equations0 aCertified Reduced Basis Methods for Parametrized Partial Differe a1 aSwitzerlandbSpringer a1353 aThis book provides a thorough introduction to the mathematical and algorithmic aspects of certified reduced basis methods for parametrized partial differential equations. Central aspects ranging from model construction, error estimation and computational efficiency to empirical interpolation methods are discussed in detail for coercive problems. More advanced aspects associated with time-dependent problems, non-compliant and non-coercive problems and applications with geometric variation are also discussed as examples.

10aa posteriori error bounds10aempirical interpolation10aparametrized partial differential equations10areduced basis methods, greedy algorithms1 aHesthaven, Jan, S1 aRozza, Gianluigi1 aStamm, Benjamin uhttps://www.math.sissa.it/publication/certified-reduced-basis-methods-parametrized-partial-differential-equations01802nas a2200229 4500008004100000245010400041210006900145300001400214490000700228520107100235653001001306653001001316653002901326653001501355653002001370653002501390653001801415100003301433700002001466700002501486856006101511 2015 eng d00aA compatible-incompatible decomposition of symmetric tensors in Lp with application to elasticity0 acompatibleincompatible decomposition of symmetric tensors in Lp a5217-52300 v383 aIn this paper, we prove the Saint-Venant compatibility conditions in $L^p$ for $p\in(1,∞)$, in a simply connected domain of any space dimension. As a consequence, alternative, simple, and direct proofs of some classical Korn inequalities in Lp are provided. We also use the Helmholtz decomposition in $L^p$ to show that every symmetric tensor in a smooth domain can be decomposed in a compatible part, which is the symmetric part of a displacement gradient, and in an incompatible part, which is the incompatibility of a certain divergence-free tensor. Moreover, under a suitable Dirichlet boundary condition, this Beltrami-type decomposition is proved to be unique. This decomposition result has several applications, one of which being in dislocation models, where the incompatibility part is related to the dislocation density and where $1 < p < 2$. This justifies the need to generalize and prove these rather classical results in the Hilbertian case ($p = 2$), to the full range $p\in(1,∞)$. Copyright © 2015 John Wiley & Sons, Ltd.

10a35J5810a35Q7410acompatibility conditions10aelasticity10aKorn inequality10astrain decomposition10asubclass74B051 aMaggiani, Giovanni, Battista1 aScala, Riccardo1 aVan Goethem, Nicolas uhttps://onlinelibrary.wiley.com/doi/abs/10.1002/mma.345001640nas a2200145 4500008004100000245007700041210006900118260001000187520116500197100002101362700002101383700002201404700001701426856005101443 2015 en d00aDeal2lkit: a Toolkit Library for High Performance Programming in deal.II0 aDeal2lkit a Toolkit Library for High Performance Programming in bSISSA3 aWe present version 1.0.0 of the deal2lkit (deal.II ToolKit) library. deal2lkit is a collection of modules and classes for the general purpose finite element library deal.II. Its principal aim is to provide a high level interface, controlled via parameter files, for those steps that are common in all finite element programs: mesh generation, selection of the finite element type, application of boundary conditions and many others. Each module can be used as a building block independently on the others, and can be integrated in existing finite element codes based on deal.II, drastically reducing the size of programs, rendering their use automatically parametrised, and reducing the overall time-to-market of finite element programming. Moreover, deal2lkit features interfaces with the SUNDIALS (SUite of Nonlinear and DIfferential/ALgebraic equation Solvers) and ASSIMP (Open Asset Import Library) libraries. Some examples are provided which show the aim and scopes of deal2lkit. The deal2lkit library is released under the GNU Lesser General Public License (LGPL) and can be retrieved from the deal2lkit repository https://github.com/mathLab/deal2lkit.1 aSartori, Alberto1 aGiuliani, Nicola1 aBardelloni, Mauro1 aHeltai, Luca uhttp://urania.sissa.it/xmlui/handle/1963/3500600594nas a2200145 4500008004100000245009400041210006900135260001300204300001200217100001900229700001700248700003200265700002600297856012500323 2015 eng d00aExperience on vectorizing lattice Boltzmann kernels for multi-and many-core architectures0 aExperience on vectorizing lattice Boltzmann kernels for multiand bSpringer a53–621 aCalore, Enrico1 aDemo, Nicola1 aSchifano, Sebastiano, Fabio1 aTripiccione, Raffaele uhttps://www.math.sissa.it/publication/experience-vectorizing-lattice-boltzmann-kernels-multi-and-many-core-architectures00912nas a2200145 4500008004100000245010700041210006900148260001000217520041300227100002000640700002400660700001800684700001600702856004800718 2015 en d00aExtended affine Weyl groups of BCD type, Frobenius manifolds and their Landau-Ginzburg superpotentials0 aExtended affine Weyl groups of BCD type Frobenius manifolds and bSISSA3 aFor the root systems of type Bl, Cl and Dl, we generalize the result of [7] by showing the existence of Frobenius manifold structures on the orbit spaces of the extended affine Weyl groups that correspond to any vertex of the Dynkin diagram instead of a particular choice made in [7]. It also depends on certain additional data. We also construct LG superpotentials for these Frobenius manifold structures.1 aDubrovin, Boris1 aStrachan, Ian, A.B.1 aZhang, Youjin1 aZuo, Dafeng uhttp://preprints.sissa.it/handle/1963/3531601820nas a2200169 4500008004100000245015600041210006900197520118400266100002401450700002001474700002001494700002001514700002201534700002101556700002201577856005101599 2015 en d00aFast simulations of patient-specific haemodynamics of coronary artery bypass grafts based on a POD-Galerkin method and a vascular shape parametrization0 aFast simulations of patientspecific haemodynamics of coronary ar3 aIn this work a reduced-order computational framework for the study of haemodynamics in three-dimensional patient-specific configurations of coronary artery bypass grafts dealing with a wide range of scenarios is proposed. We combine several efficient algorithms to face at the same time both the geometrical complexity involved in the description of the vascular network and the huge computational cost entailed by time dependent patient-specific flow simulations. Medical imaging procedures allow to reconstruct patient-specific configurations from clinical data. A centerlines-based parametrization is proposed to efficiently handle geometrical variations. POD–Galerkin reduced-order models are employed to cut down large computational costs. This computational framework allows to characterize blood flows for different physical and geometrical variations relevant in the clinical practice, such as stenosis factors and anastomosis variations, in a rapid and reliable way. Several numerical results are discussed, highlighting the computational performance of the proposed framework, as well as its capability to perform sensitivity analysis studies, so far out of reach.1 aBallarin, Francesco1 aFaggiano, Elena1 aIppolito, Sonia1 aManzoni, Andrea1 aQuarteroni, Alfio1 aRozza, Gianluigi1 aScrofani, Roberto uhttp://urania.sissa.it/xmlui/handle/1963/3462300678nas a2200169 4500008004100000245013400041210006900175300001400244490000700258100001800265700002100283700002000304700002100324700001900345700001900364856012500383 2015 eng d00aModel order reduction of parameterized systems ({MoRePaS}): Preface to the special issue of advances in computational mathematics0 aModel order reduction of parameterized systems MoRePaS Preface t a955–9600 v411 aBenner, Peter1 aOhlberger, Mario1 aPatera, Anthony1 aRozza, Gianluigi1 aSorensen, D.C.1 aUrban, Karsten uhttps://www.math.sissa.it/publication/model-order-reduction-parameterized-systems-morepas-preface-special-issue-advances00790nas a2200121 4500008004100000245007600041210006900117520031400186100001800500700001900518700002000537856011100557 2015 en d00aPoisson cohomology of scalar multidimensional Dubrovin-Novikov brackets0 aPoisson cohomology of scalar multidimensional DubrovinNovikov br3 aWe compute the Poisson cohomology of a scalar Poisson bracket of Dubrovin-Novikov type with D independent variables. We find that the second and third cohomology groups are generically non-vanishing in D>1. Hence, in contrast with the D=1 case, the deformation theory in the multivariable case is non-trivial.1 aCarlet, Guido1 aCasati, Matteo1 aShadrin, Sergey uhttps://www.math.sissa.it/publication/poisson-cohomology-scalar-multidimensional-dubrovin-novikov-brackets02449nas a2200121 4500008004100000245012900041210006900170520189900239100002002138700002502158700001702183856012702200 2015 en d00aReduced Basis Isogeometric Methods (RB-IGA) for the real-time simulation of potential flows about parametrized NACA airfoils0 aReduced Basis Isogeometric Methods RBIGA for the realtime simula3 aWe present a Reduced Basis (RB) method based on Isogeometric Analysis (IGA) for the rapid and reliable evaluation of PDE systems characterized by complex geometrical features. At the current state of the art, this is the first case of coupling between RB and IGA methods. The construction of the RB method relies on an Isogeometric Boundary Element Method (IGA-BEM) as the high-fidelity technique, allowing a direct interface with Computer Aided Design (CAD) tools. A suitable Empirical Interpolation Method (EIM) ensures an efficient offline/online decomposition between the construction and the evaluation of the RB method. We consider the real-time simulation of potential flows past airfoils, parametrized with respect to the angle of attack and the NACA number identifying their shape, and we provide a validation of our methodology with respect to experimental data and reference numerical codes, showing in both cases a very good agreement.We present a Reduced Basis (RB) method based on Isogeometric Analysis (IGA) for the rapid and reliable evaluation of PDE systems characterized by complex geometrical features. At the current state of the art, this is the first case of coupling between RB and IGA methods. The construction of the RB method relies on an Isogeometric Boundary Element Method (IGA-BEM) as the high-fidelity technique, allowing a direct interface with Computer Aided Design (CAD) tools. A suitable Empirical Interpolation Method (EIM) ensures an efficient offline/online decomposition between the construction and the evaluation of the RB method. We consider the real-time simulation of potential flows past airfoils, parametrized with respect to the angle of attack and the NACA number identifying their shape, and we provide a validation of our methodology with respect to experimental data and reference numerical codes, showing in both cases a very good agreement.1 aManzoni, Andrea1 aSalmoiraghi, Filippo1 aHeltai, Luca uhttps://www.math.sissa.it/publication/reduced-basis-isogeometric-methods-rb-iga-real-time-simulation-potential-flows-about01420nas a2200133 4500008004100000245009400041210006900135260001000204520094900214100002401163700002401187700002501211856005001236 2015 en d00aRigidity of three-dimensional lattices and dimension reduction in heterogeneous nanowires0 aRigidity of threedimensional lattices and dimension reduction in bSISSA3 aIn the context of nanowire heterostructures we perform a discrete to continuum limit of the corresponding free energy by means of Γ-convergence techniques. Nearest neighbours are identified by employing the notions of Voronoi diagrams and Delaunay triangulations. The scaling of the nanowire is done in such a way that we perform not only a continuum limit but a dimension reduction simultaneously. The main part of the proof is a discrete geometric rigidity result that we announced in an earlier work and show here in detail for a variety of three-dimensional lattices. We perform the passage from discrete to continuum twice: once for a system that compensates a lattice mismatch between two parts of the heterogeneous nanowire without defects and once for a system that creates dislocations. It turns out that we can verify the experimentally observed fact that the nanowires show dislocations when the radius of the specimen is large1 aLazzaroni, Giuliano1 aPalombaro, Mariapia1 aSchlomerkemper, Anja uhttp://urania.sissa.it/xmlui/handle/1963/749401081nas a2200145 4500008004100000245007400041210006900115260003100184520057600215100002700791700002100818700002300839700002200862856005100884 2014 en d00aBuckling dynamics of a solvent-stimulated stretched elastomeric sheet0 aBuckling dynamics of a solventstimulated stretched elastomeric s bRoyal Society of Chemistry3 aWhen stretched uniaxially, a thin elastic sheet may exhibit buckling. The occurrence of buckling depends on the geometrical properties of the sheet and the magnitude of the applied strain. Here we show that an elastomeric sheet initially stable under uniaxial stretching can destabilize when exposed to a solvent that swells the elastomer. We demonstrate experimentally and computationally that the features of the buckling pattern depend on the magnitude of stretching, and this observation offers a new way for controlling the shape of a swollen homogeneous thin sheet.1 aLucantonio, Alessandro1 aRoché, Matthieu1 aNardinocchi, Paola1 aStone, Howard, A. uhttp://urania.sissa.it/xmlui/handle/1963/3496700469nas a2200145 4500008004100000022001400041245007300055210006900128300001400197490000800211100001900219700001700238700002000255856004800275 2014 eng d a0010-361600aCauchy-Laguerre two-matrix model and the Meijer-G random point field0 aCauchyLaguerre twomatrix model and the MeijerG random point fiel a111–1440 v3261 aBertola, Marco1 aGekhtman, M.1 aSzmigielski, J. uhttp://dx.doi.org/10.1007/s00220-013-1833-802011nas a2200241 4500008004100000245013600041210006900177260002200246300000800268490000700276520123100283100002101514700001901535700001901554700001901573700001701592700002701609700002001636700002301656700002101679700001801700856005101718 2014 en d00aComparison of a Modal Method and a Proper Orthogonal Decomposition approach for multi-group time-dependent reactor spatial kinetics0 aComparison of a Modal Method and a Proper Orthogonal Decompositi bElsevierc09/2014 a2290 v713 aIn this paper, two modelling approaches based on a Modal Method (MM) and on the Proper Orthogonal Decomposition (POD) technique, for developing a control-oriented model of nuclear reactor spatial kinetics, are presented and compared. Both these methods allow developing neutronics description by means of a set of ordinary differential equations. The comparison of the outcomes provided by the two approaches focuses on the capability of evaluating the reactivity and the neutron flux shape in different reactor configurations, with reference to a TRIGA Mark II reactor. The results given by the POD-based approach are higher-fidelity with respect to the reference solution than those computed according to the MM-based approach, in particular when the perturbation concerns a reduced region of the core. If the perturbation is homogeneous throughout the core, the two approaches allow obtaining comparable accuracy results on the quantities of interest. As far as the computational burden is concerned, the POD approach ensures a better efficiency rather than direct Modal Method, thanks to the ability of performing a longer computation in the preprocessing that leads to a faster evaluation during the on-line phase.

1 aSartori, Alberto1 aBaroli, Davide1 aCammi, Antonio1 aChiesa, Davide1 aLuzzi, Lelio1 aPonciroli, Roberto, R.1 aPrevitali, Ezio1 aRicotti, Marco, E.1 aRozza, Gianluigi1 aSisti, Monica uhttp://urania.sissa.it/xmlui/handle/1963/3503901122nas a2200145 4500008004100000245005400041210005100095260001300146520066000159653006000819100002500879700001600904700002000920856003600940 2014 en d00aOn conjugate times of LQ optimal control problems0 aconjugate times of LQ optimal control problems bSpringer3 aMotivated by the study of linear quadratic optimal control problems, we consider a dynamical system with a constant, quadratic Hamiltonian, and we characterize the number of conjugate times in terms of the spectrum of the Hamiltonian vector field $\vec{H}$. We prove the following dichotomy: the number of conjugate times is identically zero or grows to infinity. The latter case occurs if and only if $\vec{H}$ has at least one Jordan block of odd dimension corresponding to a purely imaginary eigenvalue. As a byproduct, we obtain bounds from below on the number of conjugate times contained in an interval in terms of the spectrum of $\vec{H}$.10aOptimal control, Lagrange Grassmannian, Conjugate point1 aAgrachev, Andrei, A.1 aRizzi, Luca1 aSilveira, Pavel uhttp://hdl.handle.net/1963/722701482nas a2200157 4500008004100000245004800041210004700089260001300136300001400149490000700163520105700170100001801227700001701245700001301262856004901275 2014 en d00aCurvature-adapted remeshing of CAD surfaces0 aCurvatureadapted remeshing of CAD surfaces bElsevier a253–2650 v823 aA common representation of surfaces with complicated topology and geometry is through composite parametric surfaces as is the case for most CAD modelers. A challenging problem is how to generate a mesh of such a surface that well approximates the geometry of the surface, preserves its topology and important geometric features, and contains nicely shaped elements. In this work, we present an optimization-based surface remeshing method that is able to satisfy many of these requirements simultaneously. This method is inspired by the recent work of Lévy and Bonneel (Proc. 21th International Meshing Roundtable, October 2012), which embeds a smooth surface into a high-dimensional space and remesh it uniformly in that embedding space. Our method works directly in the 3d spaces and uses an embedding space in R6 to evaluate mesh size and mesh quality. It generates a curvatureadapted anisotropic surface mesh that well represents the geometry of the surface with a low number of elements. We illustrate our approach through various examples.

1 aDassi, Franco1 aMola, Andrea1 aSi, Hang uhttps://doi.org/10.1016/j.proeng.2014.10.38801079nas a2200133 4500008004100000245006300041210006300104260003200167520063100199100002000830700002200850700002200872856005100894 2014 en d00aDirac operators on noncommutative principal circle bundles0 aDirac operators on noncommutative principal circle bundles bWorld Scientific Publishing3 aWe study spectral triples over noncommutative principal U(1)-bundles of arbitrary dimension and a compatibility condition between the connection and the Dirac operator on the total space and on the base space of the bundle. Examples of low-dimensional noncommutative tori are analyzed in more detail and all connections found that are compatible with an admissible Dirac operator. Conversely, a family of new Dirac operators on the noncommutative tori, which arise from the base-space Dirac operator and a suitable connection is exhibited. These examples are extended to the theta-deformed principal U(1)-bundle S 3 θ → S2.1 aSitarz, Andrzej1 aZucca, Alessandro1 aDabrowski, Ludwik uhttp://urania.sissa.it/xmlui/handle/1963/3512500376nas a2200097 4500008004100000245008700041210006900128100002000197700002500217856003600242 2014 eng d00aDislocations at the continuum scale: functional setting and variational properties0 aDislocations at the continuum scale functional setting and varia1 aScala, Riccardo1 aVan Goethem, Nicolas uhttp://cvgmt.sns.it/paper/2294/01126nas a2200169 4500008004100000022001400041245009000055210006900145260000800214300001400222490000800236520060400244100001800848700002000866700002400886856004600910 2014 eng d a1432-180700aExistence of immersed spheres minimizing curvature functionals in compact 3-manifolds0 aExistence of immersed spheres minimizing curvature functionals i cJun a379–4250 v3593 aWe study curvature functionals for immersed 2-spheres in a compact, three-dimensional Riemannian manifold $M$. Under the assumption that the sectional curvature $K^M$ is strictly positive, we prove the existence of a smooth immersion $f:{\mathbb{S}}^2 \rightarrow M$ minimizing the $L^2$ integral of the second fundamental form. Assuming instead that $K^M \leq 2 $ and that there is some point $\bar{x}\in M$ with scalar curvature $R^M(\bar{x})>6$, we obtain a smooth minimizer $f:{\mathbb{S}}^2 \rightarrow M$ for the functional $\int \frac{1}{4}|H|^2+1$, where $H$ is the mean curvature.

1 aKuwert, Ernst1 aMondino, Andrea1 aSchygulla, Johannes uhttps://doi.org/10.1007/s00208-013-1005-303135nas a2200205 4500008004100000022001400041245009400055210006900149300001400218490000700232520242200239653004902661653002302710653002902733653002802762653002402790100002002814700002402834856007102858 2014 eng d a0294-144900aExistence of immersed spheres minimizing curvature functionals in non-compact 3-manifolds0 aExistence of immersed spheres minimizing curvature functionals i a707 - 7240 v313 aWe study curvature functionals for immersed 2-spheres in non-compact, three-dimensional Riemannian manifold $(M,h)$ without boundary. First, under the assumption that $(M,h)$ is the euclidean 3-space endowed with a semi-perturbed metric with perturbation small in $C^1$ norm and of compact support, we prove that if there is some point $\bar{x}\in M$ with scalar curvature $R^M(\bar{x})>0$ then there exists a smooth embedding $ f:\mathbb{S}^2 \hookrightarrow M$ minimizing the Willmore functional $\frac{1}{4}\int |H|^2$, where $H$ is the mean curvature. Second, assuming that $(M,h)$ is of bounded geometry (i.e. bounded sectional curvature and strictly positive injectivity radius) and asymptotically euclidean or hyperbolic we prove that if there is some point $\bar{x}\in M$ with scalar curvature $R^M(\bar{x})>6$ then there exists a smooth immersion $f:\mathbb{S}^2\hookrightarrow M$ minimizing the functional $\int (\frac{1}{2}|A|^2+1)$, where $A$ is the second fundamental form. Finally, adding the bound $K^M \leq 2$ to the last assumptions, we obtain a smooth minimizer $f:\mathbb{S}^2 \hookrightarrow M$ for the functional $\int \frac{1}{4}(|H|^2+1)$. The assumptions of the last two theorems are satisfied in a large class of 3-manifolds arising as spacelike timeslices solutions of the Einstein vacuum equation in case of null or negative cosmological constant.

10aDirect methods in the calculus of variations10aGeneral Relativity10aGeometric measure theory10asecond fundamental form10aWillmore functional1 aMondino, Andrea1 aSchygulla, Johannes uhttp://www.sciencedirect.com/science/article/pii/S029414491300085100862nas a2200133 4500008004100000245008700041210006900128260001000197520041000207100001700617700002200634700002200656856005000678 2014 en d00aHomogenization of functional with linear growth in the context of A-quasiconvexity0 aHomogenization of functional with linear growth in the context o bSISSA3 aThis work deals with the homogenization of functionals with linear growth in the context of A-quasiconvexity. A representation theorem is proved, where the new integrand function is obtained by solving a cell problem where the coupling between homogenization and the A-free condition plays a crucial role. This result extends some previous work to the linear case, thus allowing for concentration effects.1 aMatias, Jose1 aMorandotti, Marco1 aSantos, Pedro, M. uhttp://urania.sissa.it/xmlui/handle/1963/743600830nas a2200121 4500008004100000245005800041210005800099260003100157520043000188100001700618700002200635856005100657 2014 en d00aLecture notes on gradient flows and optimal transport0 aLecture notes on gradient flows and optimal transport bCambridge University Press3 aWe present a short overview on the strongest variational formulation for gradient flows of geodesically λ-convex functionals in metric spaces, with applications to diffusion equations in Wasserstein spaces of probability measures. These notes are based on a series of lectures given by the second author for the Summer School "Optimal transportation: Theory and applications" in Grenoble during the week of June 22-26, 2009.1 aDaneri, Sara1 aSavarè, Giuseppe uhttp://urania.sissa.it/xmlui/handle/1963/3509301308nas a2200133 4500008004100000245005300041210005000094260001300144520090800157100001601065700002001081700002201101856005101123 2014 en d00aN = 2 Quiver Gauge Theories on A-type ALE Spaces0 aN 2 Quiver Gauge Theories on Atype ALE Spaces bSpringer3 aWe survey and compare recent approaches to the computation of the partition functions and correlators of chiral BPS observables in N = 2 gauge theories on ALE spaces based on quiver varieties and the minimal resolution Xk of the Ak-1 toric singularity C2/Zk, in light of their recently conjectured duality with two-dimensional coset conformal field theories. We review and elucidate the rigorous constructions of gauge theories for a particular family of ALE spaces, using their relation to the cohomology of moduli spaces of framed torsion-free sheaves on a suitable orbifold compactification of Xk. We extend these computations to generic N = 2 superconformal quiver gauge theories, obtaining in these instances new constraints on fractional instanton charges, a rigorous proof of the Nekrasov master formula, and new quantizations of Hitchin systems based on the underlying Seiberg–Witten geometry.1 aBruzzo, Ugo1 aSala, Francesco1 aSzabo, Richard J. uhttp://urania.sissa.it/xmlui/handle/1963/3471900819nas a2200157 4500008004100000022001400041245007800055210006900133260000800202300001400210490000700224520034300231100002100574700002000595856004600615 2014 eng d a1572-922200aQuasistatic Evolution in Perfect Plasticity as Limit of Dynamic Processes0 aQuasistatic Evolution in Perfect Plasticity as Limit of Dynamic cDec a915–9540 v263 aWe introduce a model of dynamic visco-elasto-plastic evolution in the linearly elastic regime and prove an existence and uniqueness result. Then we study the limit of (a rescaled version of) the solutions when the data vary slowly. We prove that they converge, up to a subsequence, to a quasistatic evolution in perfect plasticity.

1 aDal Maso, Gianni1 aScala, Riccardo uhttps://doi.org/10.1007/s10884-014-9409-701330nas a2200121 4500008004100000245006100041210006000102260001900162520091900181653003501100100002301135856005001158 2014 en d00aRational curves and instantons on the Fano threefold Y_50 aRational curves and instantons on the Fano threefold Y5 barXiv preprint3 aThis thesis is an investigation of the moduli spaces of instanton bundles on the Fano threefold Y_5 (a linear section of Gr(2,5)). It contains new proofs of classical facts about lines, conics and cubics on Y_5, and about linear sections of Y_5. The main original results are a Grauert-Mülich theorem for the splitting type of instantons on conics, a bound to the splitting type of instantons on lines and an SL_2-equivariant description of the moduli space in charge 2 and 3. Using these results we prove the existence of a unique SL_2-equivariant instanton of minimal charge and we show that for all instantons of charge 2 the divisor of jumping lines is smooth. In charge 3, we provide examples of instantons with reducible divisor of jumping lines. Finally, we construct a natural compactification for the moduli space of instantons of charge 3, together with a small resolution of singularities for it.10aModuli space of vector bundles1 aSanna, Giangiacomo uhttp://urania.sissa.it/xmlui/handle/1963/748201688nas a2200193 4500008004100000020002000041245009500061210006900156250004400225260008500269300002800354520096400382100002101346700001901367700001901386700001701405700002101422856005101443 2014 en d a978-079184595-000aA reduced order model for multi-group time-dependent parametrized reactor spatial kinetics0 areduced order model for multigroup timedependent parametrized re aAmerican Society Mechanical Engineering aPrague, Czech RepublicbAmerican Society of Mechanical Engineers (ASME)c07/2014 aV005T17A048-V005T17A0483 aIn this work, a Reduced Order Model (ROM) for multigroup time-dependent parametrized reactor spatial kinetics is presented. The Reduced Basis method (built upon a high-fidelity "truth" finite element approximation) has been applied to model the neutronics behavior of a parametrized system composed by a control rod surrounded by fissile material. The neutron kinetics has been described by means of a parametrized multi-group diffusion equation where the height of the control rod (i.e., how much the rod is inserted) plays the role of the varying parameter. In order to model a continuous movement of the rod, a piecewise affine transformation based on subdomain division has been implemented. The proposed ROM is capable to efficiently reproduce the neutron flux distribution allowing to take into account the spatial effects induced by the movement of the control rod with a computational speed-up of 30000 times, with respect to the "truth" model.

1 aSartori, Alberto1 aBaroli, Davide1 aCammi, Antonio1 aLuzzi, Lelio1 aRozza, Gianluigi uhttp://urania.sissa.it/xmlui/handle/1963/3512301626nas a2200145 4500008004100000245010700041210006900148260001300217520111600230100002401346700002001370700002101390700001801411856005101429 2014 en d00aShape Optimization by Free-Form Deformation: Existence Results and Numerical Solution for Stokes Flows0 aShape Optimization by FreeForm Deformation Existence Results and bSpringer3 aShape optimization problems governed by PDEs result from many applications in computational fluid dynamics. These problems usually entail very large computational costs and require also a suitable approach for representing and deforming efficiently the shape of the underlying geometry, as well as for computing the shape gradient of the cost functional to be minimized. Several approaches based on the displacement of a set of control points have been developed in the last decades, such as the so-called free-form deformations. In this paper we present a new theoretical result which allows to recast free-form deformations into the general class of perturbation of identity maps, and to guarantee the compactness of the set of admissible shapes. Moreover, we address both a general optimization framework based on the continuous shape gradient and a numerical procedure for solving efficiently three-dimensional optimal design problems. This framework is applied to the optimal design of immersed bodies in Stokes flows, for which we consider the numerical solution of a benchmark case study from literature.1 aBallarin, Francesco1 aManzoni, Andrea1 aRozza, Gianluigi1 aSalsa, Sandro uhttp://urania.sissa.it/xmlui/handle/1963/3469801519nas a2200145 4500008004100000245015300041210006900194260001300263520096300276100002001239700002301259700002401282700001601306856005101322 2014 en d00aSix-dimensional supersymmetric gauge theories, quantum cohomology of instanton moduli spaces and gl(N) Quantum Intermediate Long Wave Hydrodynamics0 aSixdimensional supersymmetric gauge theories quantum cohomology bSpringer3 aWe show that the exact partition function of U(N) six-dimensional gauge theory with eight supercharges on C^2 x S^2 provides the quantization of the integrable system of hydrodynamic type known as gl(N) periodic Intermediate Long Wave (ILW). We characterize this system as the hydrodynamic limit of elliptic Calogero-Moser integrable system. We compute the Bethe equations from the effective gauged linear sigma model on S^2 with target space the ADHM instanton moduli space, whose mirror computes the Yang-Yang function of gl(N) ILW. The quantum Hamiltonians are given by the local chiral ring observables of the six-dimensional gauge theory. As particular cases, these provide the gl(N) Benjamin-Ono and Korteweg-de Vries quantum Hamiltonians. In the four dimensional limit, we identify the local chiral ring observables with the conserved charges of Heisenberg plus W_N algebrae, thus providing a gauge theoretical proof of AGT correspondence.1 aBonelli, Giulio1 aSciarappa, Antonio1 aTanzini, Alessandro1 aVasko, Petr uhttp://urania.sissa.it/xmlui/handle/1963/3454601412nas a2200145 4500008004100000245004500041210004100086260001300127520099200140100002001132700002301152700002401175700001601199856005101215 2014 en d00aThe stringy instanton partition function0 astringy instanton partition function bSpringer3 aWe perform an exact computation of the gauged linear sigma model associated to a D1-D5 brane system on a resolved A_1 singularity. This is accomplished via supersymmetric localization on the blown-up two-sphere. We show that in the blow-down limit C^2/Z_2 the partition function reduces to the Nekrasov partition function evaluating the equivariant volume of the instanton moduli space. For finite radius we obtain a tower of world-sheet instanton corrections, that we identify with the equivariant Gromov-Witten invariants of the ADHM moduli space. We show that these corrections can be encoded in a deformation of the Seiberg-Witten prepotential. From the mathematical viewpoint, the D1-D5 system under study displays a twofold nature: the D1-branes viewpoint captures the equivariant quantum cohomology of the ADHM instanton moduli space in the Givental formalism, and the D5-branes viewpoint is related to higher rank equivariant Donaldson-Thomas invariants of P^1 x C^2.1 aBonelli, Giulio1 aSciarappa, Antonio1 aTanzini, Alessandro1 aVasko, Petr uhttp://urania.sissa.it/xmlui/handle/1963/3458901169nas a2200133 4500008004100000245007700041210006900118260003400187520069100221100002700912700002300939700002200962856005100984 2014 en d00aSwelling dynamics of a thin elastomeric sheet under uniaxial pre-stretch0 aSwelling dynamics of a thin elastomeric sheet under uniaxial pre bAmerican Institute of Physics3 aIt has been demonstrated experimentally that pre-stretch affects the swelling of an elastomeric membrane when it is exposed to a solvent. We study theoretically the one-dimensional swelling of a pre-stretched thin elastomeric sheet, bonded to an impermeable rigid substrate, to quantify the influence of pre-stretch. We show that the solvent uptake increases when pre-stretch increases, both at equilibrium and during the swelling transient, where it exhibits two different scaling regimes. The coupling between the solvent uptake and pre-stretch may be practically exploited to design soft actuators where the swelling-induced deformations can be controlled by varying the pre-stretch.1 aLucantonio, Alessandro1 aNardinocchi, Paola1 aStone, Howard, A. uhttp://urania.sissa.it/xmlui/handle/1963/3511300850nas a2200121 4500008004300000245007700043210006900120260001000189520044200199653001700641100002000658856005000678 2014 en_Ud 00aA variational approach to statics and dynamics of elasto-plastic systems0 avariational approach to statics and dynamics of elastoplastic sy bSISSA3 aWe prove some existence results for dynamic evolutions in elasto-plasticity and delamination. We study the limit as the data vary very slowly and prove convergence results to quasistatic evolutions. We model dislocations by mean of currents, we introduce the space of deformations in the presence of dislocations and study the graphs of these maps. We prove existence results for minimum problems. We study the properties of minimizers.10adelamination1 aScala, Riccardo uhttp://urania.sissa.it/xmlui/handle/1963/747101601nas a2200145 4500008004100000245008900041210007100130260001300201520110700214100002001321700002301341700002401364700001601388856005101404 2014 en d00aVortex Partition Functions, Wall Crossing and Equivariant Gromov–Witten Invariants0 aVortex Partition Functions Wall Crossing and Equivariant Gromov– bSpringer3 aIn this paper we identify the problem of equivariant vortex counting in a (2,2) supersymmetric two dimensional quiver gauged linear sigma model with that of computing the equivariant Gromov–Witten invariants of the GIT quotient target space determined by the quiver. We provide new contour integral formulae for the I and J-functions encoding the equivariant quantum cohomology of the target space. Its chamber structure is shown to be encoded in the analytical properties of the integrand. This is explained both via general arguments and by checking several key cases. We show how several results in equivariant Gromov–Witten theory follow just by deforming the integration contour. In particular, we apply our formalism to compute Gromov–Witten invariants of the C3/Zn orbifold, of the Uhlembeck (partial) compactification of the moduli space of instantons on C2, and of An and Dn singularities both in the orbifold and resolved phases. Moreover, we analyse dualities of quantum cohomology rings of holomorphic vector bundles over Grassmannians, which are relevant to BPS Wilson loop algebrae.1 aBonelli, Giulio1 aSciarappa, Antonio1 aTanzini, Alessandro1 aVasko, Petr uhttp://urania.sissa.it/xmlui/handle/1963/3465200967nas a2200133 4500008004100000245005000041210004800091260003400139520056900173653001300742100002200755700002000777856003600797 2013 en d00aCurved noncommutative torus and Gauss--Bonnet0 aCurved noncommutative torus and GaussBonnet bAmerican Institute of Physics3 aWe study perturbations of the flat geometry of the noncommutative two-dimensional torus T^2_\theta (with irrational \theta). They are described by spectral triples (A_\theta, \H, D), with the Dirac operator D, which is a differential operator with coefficients in the commutant of the (smooth) algebra A_\theta of T_\theta. We show, up to the second order in perturbation, that the zeta-function at 0 vanishes and so the Gauss-Bonnet theorem holds. We also calculate first two terms of the perturbative expansion of the corresponding local scalar curvature.10aGeometry1 aDabrowski, Ludwik1 aSitarz, Andrzej uhttp://hdl.handle.net/1963/737602234nas a2200109 4500008004100000245004000041210004000081520191700121100001602038700002002054856005002074 2013 en d00aFramed sheaves on projective stacks0 aFramed sheaves on projective stacks3 aGiven a normal projective irreducible stack $\mathscr X$ over an algebraically closed field of characteristic zero we consider {\em framed sheaves} on $\mathscr X$, i.e., pairs $(\mathcal E,\phi_{\mathcal E})$, where $\mathcal E$ is a coherent sheaf on $\mathscr X$ and $\phi_{\mathcal E}$ is a morphism from $\mathcal E$ to a fixed coherent sheaf $\mathcal F$. After introducing a suitable notion of (semi)stability, we construct a projective scheme, which is a moduli space for semistable framed sheaves with fixed Hilbert polynomial, and an open subset of it, which is a fine moduli space for stable framed sheaves. If $\mathscr X$ is a projective irreducible orbifold of dimension two and $\mathcal F$ a locally free sheaf on a smooth divisor $\mathscr D\subset \mathscr X$ satisfying certain conditions, we consider {\em $(\mathscr{D}, \mathcal{F})$-framed sheaves}, i.e., framed sheaves $(\mathcal E,\phi_{\mathcal E})$ with $\mathcal E$ a torsion-free sheaf which is locally free in a neighborhood of $\mathscr D$, and ${\phi_{\mathcal{E}}}_{\vert \mathscr{D}}$ an isomorphism. These pairs are $\mu$-stable for a suitable choice of a parameter entering the (semi)stability condition, and of the polarization of $\mathscr X$. This implies the existence of a fine moduli space parameterizing isomorphism classes of $(\mathscr{D}, \mathcal{F})$-framed sheaves on $\mathscr{X}$ with fixed Hilbert polynomial, which is a quasi-projective scheme. In an appendix we develop the example of stacky Hirzebruch surfaces. This is the first paper of a project aimed to provide an algebro-geometric approach to the study of gauge theories on a wide class of 4-dimensional Riemannian manifolds by means of framed sheaves on ``stacky" compactifications of them. In particular, in a subsequent paper \cite{art:bruzzopedrinisalaszabo2013} these results are used to study gauge theories on ALE spaces of type $A_k$.1 aBruzzo, Ugo1 aSala, Francesco uhttp://urania.sissa.it/xmlui/handle/1963/743801360nas a2200181 4500008004100000022001400041245008900055210006900144260000800213300001400221490000700235520080900242100001701051700002301068700002001091700002101111856004601132 2013 eng d a1559-002X00aLipschitz Classification of Almost-Riemannian Distances on Compact Oriented Surfaces0 aLipschitz Classification of AlmostRiemannian Distances on Compac cJan a438–4550 v233 aTwo-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vector fields that can become collinear. We consider the Carnot–Carathéodory distance canonically associated with an almost-Riemannian structure and study the problem of Lipschitz equivalence between two such distances on the same compact oriented surface. We analyze the generic case, allowing in particular for the presence of tangency points, i.e., points where two generators of the distribution and their Lie bracket are linearly dependent. The main result of the paper provides a characterization of the Lipschitz equivalence class of an almost-Riemannian distance in terms of a labeled graph associated with it.

1 aBoscain, Ugo1 aCharlot, Grégoire1 aGhezzi, Roberta1 aSigalotti, Mario uhttps://doi.org/10.1007/s12220-011-9262-401090nas a2200133 4500008004100000245005800041210005800099260001300157520067800170653003000848100002200878700002000900856003600920 2013 en d00aNoncommutative circle bundles and new Dirac operators0 aNoncommutative circle bundles and new Dirac operators bSpringer3 aWe study spectral triples over noncommutative principal U(1) bundles. Basing on the classical situation and the abstract algebraic approach, we propose an operatorial definition for a connection and compatibility between the connection and the Dirac operator on the total space and on the base space of the bundle. We analyze in details the example of the noncommutative three-torus viewed as a U(1) bundle over the noncommutative two-torus and find all connections compatible with an admissible Dirac operator. Conversely, we find a family of new Dirac operators on the noncommutative tori, which arise from the base-space Dirac operator and a suitable connection.10aQuantum principal bundles1 aDabrowski, Ludwik1 aSitarz, Andrzej uhttp://hdl.handle.net/1963/738400503nas a2200133 4500008004100000245006500041210006500106260003700171300001400208490000700222100002200229700001900251856009900270 2013 eng d00aPeriodic bouncing solutions for nonlinear impact oscillators0 aPeriodic bouncing solutions for nonlinear impact oscillators bAdvanced Nonlinear Studies, Inc. a179–1890 v131 aFonda, Alessandro1 aSfecci, Andrea uhttps://www.math.sissa.it/publication/periodic-bouncing-solutions-nonlinear-impact-oscillators00584nas a2200145 4500008004100000022001400041245010700055210006900162300001500231490000700246100001900253700001700272700002000289856012900309 2013 eng d a0022-248800aStrong asymptotics for Cauchy biorthogonal polynomials with application to the Cauchy two-matrix model0 aStrong asymptotics for Cauchy biorthogonal polynomials with appl a043517, 250 v541 aBertola, Marco1 aGekhtman, M.1 aSzmigielski, J. uhttps://www.math.sissa.it/publication/strong-asymptotics-cauchy-biorthogonal-polynomials-application-cauchy-two-matrix-model01113nas a2200121 4500008004100000245008000041210006900121260001000190520071100200100002000911700002400931856003600955 2012 en d00aClassical double, R-operators, and negative flows of integrable hierarchies0 aClassical double Roperators and negative flows of integrable hie bSISSA3 aUsing the classical double G of a Lie algebra g equipped with the classical R-operator, we define two sets of functions commuting with respect to the initial Lie–Poisson bracket on g and its extensions. We consider examples of Lie algebras g with the “Adler–Kostant–Symes” R-operators and the two corresponding sets of mutually commuting functions in detail. Using the constructed commutative Hamiltonian flows on different extensions of g, we obtain zero-curvature equations with g-valued U–V pairs. The so-called negative flows of soliton hierarchies are among such equations. We illustrate the proposed approach with examples of two-dimensional Abelian and non-Abelian Toda field equations.1 aDubrovin, Boris1 aSkrypnyk, Taras, V. uhttp://hdl.handle.net/1963/646800925nas a2200121 4500008004100000245010900041210006900150260001300219520049100232100002500723700001900748856003600767 2012 en d00aConvergence of equilibria of thin elastic plates under physical growth conditions for the energy density0 aConvergence of equilibria of thin elastic plates under physical bElsevier3 aThe asymptotic behaviour of the equilibrium configurations of a thin elastic plate is studied, as the thickness $h$ of the plate goes to zero. More precisely, it is shown that critical points of the nonlinear elastic functional $\mathcal E^h$, whose energies (per unit thickness) are bounded by $Ch^4$, converge to critical points of the $\Gamma$-limit of $h^{-4}\mathcal E^h$. This is proved under the physical assumption that the energy density $W(F)$ blows up as $\det F\to0$.

1 aMora, Maria Giovanna1 aScardia, Lucia uhttp://hdl.handle.net/1963/346601414nas a2200145 4500008004100000245008300041210006900124260002800193520092600221100002001147700002201167700002101189700002201210856003601232 2012 en d00aDecompositions of large-scale biological systems based on dynamical properties0 aDecompositions of largescale biological systems based on dynamic bOxford University Press3 aMOTIVATION: Given a large-scale biological network represented as an influence graph, in this article we investigate possible decompositions of the network aimed at highlighting specific dynamical properties.\\r\\nRESULTS: The first decomposition we study consists in finding a maximal directed acyclic subgraph of the network, which dynamically corresponds to searching for a maximal open-loop subsystem of the given system. Another dynamical property investigated is strong monotonicity. We propose two methods to deal with this property, both aimed at decomposing the system into strongly monotone subsystems, but with different structural characteristics: one method tends to produce a single large strongly monotone component, while the other typically generates a set of smaller disjoint strongly monotone subsystems.\\r\\nAVAILABILITY: Original heuristics for the methods investigated are described in the article.1 aSoranzo, Nicola1 aRamezani, Fahimeh1 aIacono, Giovanni1 aAltafini, Claudio uhttp://hdl.handle.net/1963/522602153nas a2200181 4500008004100000245015200041210006900193260001000262520154500272100001101817700002101828700001601849700001501865700001401880700001901894700002201913856003601935 2012 en d00aDetection of transcriptional triggers in the dynamics of microbial growth: application to the respiratory-versatile bacterium Shewanella oneidensis0 aDetection of transcriptional triggers in the dynamics of microbi bSISSA3 aThe capacity of microorganisms to respond to variable external conditions requires a coordination of environment-sensing mechanisms and decisionmaking regulatory circuits. Here, we seek to understand the interplay between these two processes by combining high-throughput measurement of time-dependent mRNA profiles with a novel computational approach that searches for key genetic triggers of transcriptional changes. Our approach helped us understand the regulatory strategies of a respiratorily versatile bacterium with promising bioenergy and bioremediation applications, Shewanella oneidensis, in minimal and rich media. By comparing expression profiles across these two conditions, we unveiled components of the transcriptional program that depend mainly on the growth phase. Conversely, by integrating our time-dependent data with a previously available large compendium of static perturbation responses, we identified transcriptional changes that cannot be explained solely by internal network dynamics, but are rather triggered by specific genes acting as key mediators of an environment-dependent response. These transcriptional triggers include known and novel regulators that respond to carbon, nitrogen and oxygen limitation. Our analysis suggests a sequence of physiological responses, including a coupling between nitrogen depletion and glycogen storage, partially recapitulated through dynamic flux balance analysis, and experimentally confirmed by metabolite measurements. Our approach is broadly applicable to other systems1 aBeg, Q1 aZampieri, Mattia1 aKlitgord, N1 aCollins, S1 aSerres, M1 aSegrè, Daniel1 aAltafini, Claudio uhttp://hdl.handle.net/1963/650601004nas a2200169 4500008004100000022001400041245009800055210006900153300001600222490000800238520043000246653002300676653002300699100002200722700001900744856007100763 2012 eng d a0022-039600aA general method for the existence of periodic solutions of differential systems in the plane0 ageneral method for the existence of periodic solutions of differ a1369 - 13910 v2523 aWe propose a general method to prove the existence of periodic solutions for planar systems of ordinary differential equations, which can be used in many different circumstances. Applications are given to some nonresonant cases, even for systems with superlinear growth in some direction, or with a singularity. Systems “at resonance” are also considered, provided a Landesman–Lazer type of condition is assumed.

10aNonlinear dynamics10aPeriodic solutions1 aFonda, Alessandro1 aSfecci, Andrea uhttp://www.sciencedirect.com/science/article/pii/S002203961100319601058nas a2200181 4500008004100000022001400041245009000055210006900145300001600214490000700230520047800237653002000715653001700735653002100752653001300773100001900786856007100805 2012 eng d a0362-546X00aA nonresonance condition for radial solutions of a nonlinear Neumann elliptic problem0 anonresonance condition for radial solutions of a nonlinear Neuma a6191 - 62020 v753 aWe prove an existence result for radial solutions of a Neumann elliptic problem whose nonlinearity asymptotically lies between the first two eigenvalues. To this aim, we introduce an alternative nonresonance condition with respect to the second eigenvalue which, in the scalar case, generalizes the classical one, in the spirit of Fonda et al. (1991) [2]. Our approach also applies for nonlinearities which do not necessarily satisfy a subcritical growth assumption.

10aNeumann problem10aNonresonance10aRadial solutions10aTime-map1 aSfecci, Andrea uhttp://www.sciencedirect.com/science/article/pii/S0362546X1200265900499nas a2200133 4500008004100000245010300041210006900144260003300213300001500246490000700261100002200268700001900290856005600309 2012 eng d00aPeriodic solutions of a system of coupled oscillators with one-sided superlinear retraction forces0 aPeriodic solutions of a system of coupled oscillators with onesi bKhayyam Publishing, Inc.c11 a993–10100 v251 aFonda, Alessandro1 aSfecci, Andrea uhttps://projecteuclid.org:443/euclid.die/135601224801387nas a2200133 4500008004300000245008800043210006900131260001300200520093500213100002101148700002201169700002601191856003601217 2012 en_Ud 00aQuasistatic evolution for Cam-Clay plasticity: properties of the viscosity solution0 aQuasistatic evolution for CamClay plasticity properties of the v bSpringer3 aCam-Clay plasticity is a well established model for the description of the mechanics of fine grained soils. As solutions can develop discontinuities in time, a weak notion of solution, in terms of a rescaled time s , has been proposed in [8] to give a meaning to this discontinuous evolution. In this paper we first prove that this rescaled evolution satisfies the flow-rule for the rate of plastic strain, in a suitable measure-theoretical sense. In the second part of the paper we consider the behavior of the evolution in terms of the original time variable t . We prove that the unrescaled solution satisfies an energy-dissipation balance and an evolution law for the internal variable, which can be expressed in terms of integrals depending only on the original time. Both these integral identities contain terms concentrated on the jump times, whose size can only be determined by looking at the rescaled formulation.

1 aDal Maso, Gianni1 aDeSimone, Antonio1 aSolombrino, Francesco uhttp://hdl.handle.net/1963/390000524nas a2200133 4500008004100000245012600041210006900167260003300236100002000269700002100289700002200310700002200332856003600354 2011 en d00aCytoskeletal actin networks in motile cells are critically self-organized systems synchronized by mechanical interactions0 aCytoskeletal actin networks in motile cells are critically selfo bNational Academy of Sciences1 aCardamone, Luca1 aLaio, Alessandro1 aShahapure, Rajesh1 aDeSimone, Antonio uhttp://hdl.handle.net/1963/435800383nas a2200109 4500008004300000245007000043210006900113260001300182100002300195700001900218856003600237 2011 en_Ud 00aInvariant manifolds for a singular ordinary differential equation0 aInvariant manifolds for a singular ordinary differential equatio bElsevier1 aBianchini, Stefano1 aSpinolo, Laura uhttp://hdl.handle.net/1963/255400467nas a2200121 4500008004100000245010400041210006900145260001900214100002900233700002600262700002100288856003600309 2011 en d00aOn the number of eigenvalues of a model operator related to a system of three particles on lattices0 anumber of eigenvalues of a model operator related to a system of bIOP Publishing1 aDell'Antonio, Gianfausto1 aMuminov, Zahriddin I.1 aShermatova, Y.M. uhttp://hdl.handle.net/1963/549601427nas a2200145 4500008004300000245012100043210006900164260001300233520090600246653002401152100002101176700002201197700002601219856003601245 2011 en_Ud 00aQuasistatic evolution for Cam-Clay plasticity: a weak formulation via viscoplastic regularization and time rescaling0 aQuasistatic evolution for CamClay plasticity a weak formulation bSpringer3 aCam-Clay nonassociative plasticity exhibits both hardening and softening behaviour, depending on the loading. For many initial data the classical formulation of the quasistatic evolution problem has no smooth solution. We propose here a notion of generalized solution, based on a viscoplastic approximation. To study the limit of the viscoplastic evolutions we rescale time, in such a way that the plastic strain is uniformly Lipschitz with respect to the rescaled time. The limit of these rescaled solutions, as the viscosity parameter tends to zero, is characterized through an energy-dissipation balance, that can be written in a natural way using the rescaled time. As shown in [4] and [6], the proposed solution may be discontinuous with respect to the original time. Our formulation allows to compute the amount of viscous dissipation occurring instantaneously at each discontinuity time.

10aCam-Clay plasticity1 aDal Maso, Gianni1 aDeSimone, Antonio1 aSolombrino, Francesco uhttp://hdl.handle.net/1963/367001822nas a2200145 4500008004100000245009200041210006900133260002800202520132600230100002101556700002201577700001901599700002201618856003601640 2011 en d00aA system-level approach for deciphering the transcriptional response to prion infection0 asystemlevel approach for deciphering the transcriptional respons bOxford University Press3 aMOTIVATION: Deciphering the response of a complex biological system to an insulting event, at the gene expression level, requires adopting theoretical models that are more sophisticated than a one-to-one comparison (i.e. t-test). Here, we investigate the ability of a novel reverse engineering approach (System Response Inference) to unveil non-obvious transcriptional signatures of the system response induced by prion infection.\\r\\nRESULTS: To this end, we analyze previously published gene expression data, from which we extrapolate a putative full-scale model of transcriptional gene-gene dependencies in the mouse central nervous system. Then, we use this nominal model to interpret the gene expression changes caused by prion replication, aiming at selecting the genes primarily influenced by this perturbation. Our method sheds light on the mode of action of prions by identifying key transcripts that are the most likely to be responsible for the overall transcriptional rearrangement from a nominal regulatory network. As a first result of our inference, we have been able to predict known targets of prions (i.e. PrP(C)) and to unveil the potential role of previously unsuspected genes.\\r\\nCONTACT: altafini@sissa.it\\r\\nSUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online.1 aZampieri, Mattia1 aLegname, Giuseppe1 aSegrè, Daniel1 aAltafini, Claudio uhttp://hdl.handle.net/1963/574500843nas a2200169 4500008004100000022001400041245011600055210006900171300001600240490000700256520022700263653002300490653003700513653002500550100002700575856007100602 2011 eng d a0362-546X00aUniqueness and nondegeneracy of the ground state for a quasilinear Schrödinger equation with a small parameter0 aUniqueness and nondegeneracy of the ground state for a quasiline a1731 - 17370 v743 aWe study least energy solutions of a quasilinear Schrödinger equation with a small parameter. We prove that the ground state is nondegenerate and unique up to translations and phase shifts using bifurcation theory.

10aBifurcation theory10aNonlinear Schrödinger equations10aStationary solutions1 aSelvitella, Alessandro uhttp://www.sciencedirect.com/science/article/pii/S0362546X1000761300422nas a2200145 4500008004100000022001400041245003600055210003600091300001400127490000800141100001900149700001700168700002000185856007100205 2010 eng d a0021-904500aCauchy biorthogonal polynomials0 aCauchy biorthogonal polynomials a832–8670 v1621 aBertola, Marco1 aGekhtman, M.1 aSzmigielski, J. uhttp://0-dx.doi.org.mercury.concordia.ca/10.1016/j.jat.2009.09.00801271nas a2200133 4500008004300000245007300043210006800116520083300184100001801017700001901035700002301054700002401077856003601101 2010 en_Ud 00aChern-Simons theory on L(p,q) lens spaces and Gopakumar-Vafa duality0 aChernSimons theory on Lpq lens spaces and GopakumarVafa duality3 aWe consider aspects of Chern-Simons theory on L(p,q) lens spaces and its relation with matrix models and topological string theory on Calabi-Yau threefolds, searching for possible new large N dualities via geometric transition for non-SU(2) cyclic quotients of the conifold. To this aim we find, on one hand, some novel matrix integral representations of the SU(N) CS partition function in a generic flat background for the whole L(p,q) family and provide a solution for its large N dynamics; on the other, we perform in full detail the construction of a family of would-be dual closed string backgrounds via conifold geometric transition from T^*L(p,q). We can then explicitly prove that Gopakumar-Vafa duality in a fixed vacuum fails in the case q>1, and briefly discuss how it could be restored in a non-perturbative setting.1 aBrini, Andrea1 aGriguolo, Luca1 aSeminara, Domenico1 aTanzini, Alessandro uhttp://hdl.handle.net/1963/293802590nas a2200265 4500008004100000245013200041210006900173260001000242520175000252100001702002700002402019700002002043700001902063700002102082700001802103700003002121700001802151700001702169700001702186700002002203700002202223700002402245700001902269856003602288 2010 en d00aGene expression analysis of the emergence of epileptiform activity after focal injection of kainic acid into mouse hippocampus.0 aGene expression analysis of the emergence of epileptiform activi bWiley3 aWe report gene profiling data on genomic processes underlying the progression towards recurrent seizures after injection of kainic acid (KA) into the mouse hippocampus. Focal injection enabled us to separate the effects of proepileptic stimuli initiated by KA injection. Both the injected and contralateral hippocampus participated in the status epilepticus. However, neuronal death induced by KA treatment was restricted to the injected hippocampus, although there was some contralateral axonal degeneration. We profiled gene expression changes in dorsal and ventral regions of both the injected and contralateral hippocampus. Changes were detected in the expression of 1526 transcripts in samples from three time-points: (i) during the KA-induced status epilepticus, (ii) at 2 weeks, before recurrent seizures emerged, and (iii) at 6 months after seizures emerged. Grouping genes with similar spatio-temporal changes revealed an early transcriptional response, strong immune, cell death and growth responses at 2 weeks and an activation of immune and extracellular matrix genes persisting at 6 months. Immunostaining for proteins coded by genes identified from array studies provided evidence for gliogenesis and suggested that the proteoglycan biglycan is synthesized by astrocytes and contributes to a glial scar. Gene changes at 6 months after KA injection were largely restricted to tissue from the injection site. This suggests that either recurrent seizures might depend on maintained processes including immune responses and changes in extracellular matrix proteins near the injection site or alternatively might result from processes, such as growth, distant from the injection site and terminated while seizures are maintained.

1 aMotti, Dario1 aLe Duigou, Caroline1 aChemaly, Nicole1 aWittner, Lucia1 aLazarevic, Dejan1 aKrmac, Helena1 aMarstrand, Troels, Torben1 aValen, Eivind1 aSanges, Remo1 aStupka, Elia1 aSandelin, Albin1 aCherubini, Enrico1 aGustincich, Stefano1 aMiles, Richard uhttp://hdl.handle.net/1963/448001051nas a2200169 4500008004300000245007900043210006900122260003000191520049800221100001800719700002600737700002300763700001800786700002200804700001900826856003600845 2010 en_Ud 00aHomogeneous binary trees as ground states of quantum critical Hamiltonians0 aHomogeneous binary trees as ground states of quantum critical Ha bAmerican Physical Society3 aMany-body states whose wave-function admits a representation in terms of a uniform binary-tree tensor decomposition are shown to obey to power-law two-body correlations functions. Any such state can be associated with the ground state of a translational invariant Hamiltonian which, depending on the dimension of the systems sites, involve at most couplings between third-neighboring sites. A detailed analysis of their spectra shows that they admit an exponentially large ground space.

1 aSilvi, Pietro1 aGiovannetti, Vittorio1 aMontangero, Simone1 aRizzi, Matteo1 aCirac, J. Ignacio1 aFazio, Rosario uhttp://hdl.handle.net/1963/390901188nas a2200157 4500008004300000245010800043210006900151260001900220520065100239100001800890700002300908700001800931700002600949700001900975856003600994 2010 en_Ud 00aHomogeneous multiscale entanglement renormalization ansatz tensor networks for quantum critical systems0 aHomogeneous multiscale entanglement renormalization ansatz tenso bIOP Publishing3 aIn this paper, we review the properties of homogeneous multiscale entanglement renormalization ansatz (MERA) to describe quantum critical systems.We discuss in more detail our results for one-dimensional (1D) systems (the Ising and Heisenberg models) and present new data for the 2D Ising model. Together with the results for the critical exponents, we provide a detailed description of the numerical algorithm and a discussion of new optimization\\nstrategies. The relation between the critical properties of the system and the tensor structure of the MERA is expressed using the formalism of quantum channels, which we review and extend.

1 aRizzi, Matteo1 aMontangero, Simone1 aSilvi, Pietro1 aGiovannetti, Vittorio1 aFazio, Rosario uhttp://hdl.handle.net/1963/406700928nas a2200109 4500008004300000245008500043210006900128520053800197100002300735700002400758856003600782 2010 en_Ud 00aMoore-Read Fractional Quantum Hall wavefunctions and SU(2) quiver gauge theories0 aMooreRead Fractional Quantum Hall wavefunctions and SU2 quiver g3 aWe identify Moore-Read wavefunctions, describing non-abelian statistics in fractional quantum Hall systems, with the instanton partition of N=2 superconformal quiver gauge theories at suitable values of masses and \\\\Omega-background parameters. This is obtained by extending to rational conformal field theories the SU(2) gauge quiver/Liouville field theory duality recently found by Alday-Gaiotto-Tachikawa. A direct link between the Moore-Read Hall $n$-body wavefunctions and Z_n-equivariant Donaldson polynomials is pointed out.1 aSantachiara, Raoul1 aTanzini, Alessandro uhttp://hdl.handle.net/1963/385201311nas a2200121 4500008004300000245008200043210006900125520088800194653002401082100002101106700002601127856003601153 2010 en_Ud 00aQuasistatic evolution for Cam-Clay plasticity: the spatially homogeneous case0 aQuasistatic evolution for CamClay plasticity the spatially homog3 aWe study the spatially uniform case of the problem of quasistatic evolution in small strain nonassociative elastoplasticity (Cam-Clay model). Through the introdution of a viscous approximation, the problem reduces to determine the limit behavior of the solutions of a singularly perturbed system of ODE\\\'s in a finite dimensional Banach space. Depending on the sign of two explicit scalar indicators, we see that the limit dynamics presents, under quite generic assumptions, the alternation of three possible regimes: the elastic regime, when the limit equation is just the equation of linearized elasticity, the slow dynamics, when the strain evolves smoothly on the yield surface and plastic flow is produced, and the fast dynamics, which may happen only in the softening regime, where\\nviscous solutions exhibit a jump across a heteroclinic orbit of an auxiliary system.

10aCam-Clay plasticity1 aDal Maso, Gianni1 aSolombrino, Francesco uhttp://hdl.handle.net/1963/367101168nas a2200157 4500008004100000022001400041245008800055210006900143300000900212490000700221520061900228653003000847653003100877100002600908856007600934 2010 eng d a1078-094700aQuasistatic evolution for plasticity with softening: The spatially homogeneous case0 aQuasistatic evolution for plasticity with softening The spatiall a11890 v273 aThe spatially uniform case of the problem of quasistatic evolution in small strain associative elastoplasticity with softening is studied. Through the introdution of a viscous approximation, the problem reduces to determine the limit behaviour of the solutions of a singularly perturbed system of ODE's in a finite dimensional Banach space. We see that the limit dynamics presents, for a generic choice of the initial data, the alternation of three possible regimes (elastic regime, slow dynamics, fast dynamics), which is determined by the sign of two scalar indicators, whose explicit expression is given.

10aplasticity with softening10arate independent processes1 aSolombrino, Francesco uhttp://aimsciences.org//article/id/4c2301d8-f553-493e-b672-b4f76a3ede2f00486nas a2200121 4500008004100000245011700041210006900158260003300227300001400260490000700274100002700281856005600308 2010 eng d00aSemiclassical evolution of two rotating solitons for the Nonlinear Schrödinger Equation with electric potential0 aSemiclassical evolution of two rotating solitons for the Nonline bKhayyam Publishing, Inc.c03 a315–3480 v151 aSelvitella, Alessandro uhttps://projecteuclid.org:443/euclid.ade/135585475201439nas a2200181 4500008004300000245007000043210006800113260001300181300001200194490000700206520090200213100002501115700001701140700002301157700002001180700002101200856003601221 2010 en_Ud 00aTwo-dimensional almost-Riemannian structures with tangency points0 aTwodimensional almostRiemannian structures with tangency points bElsevier a793-8070 v273 aTwo-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vector fields that can become collinear. We study the relation between the topological invariants of an almost-Riemannian structure on a compact oriented surface and the rank-two vector bundle over the surface which defines the structure. We analyse the generic case including the presence of tangency points, i.e. points where two generators of the distribution and their Lie bracket are linearly dependent. The main result of the paper provides a classification of oriented almost-Riemannian structures on compact oriented surfaces in terms of the Euler number of the vector bundle corresponding to the structure. Moreover, we present a Gauss-Bonnet formula for almost-Riemannian structures with tangency points.

1 aAgrachev, Andrei, A.1 aBoscain, Ugo1 aCharlot, Grégoire1 aGhezzi, Roberta1 aSigalotti, Mario uhttp://hdl.handle.net/1963/387002193nas a2200109 4500008004300000245008700043210006900130520180600199100002302005700001902028856003602047 2009 en_Ud 00aThe boundary Riemann solver coming from the real vanishing viscosity approximation0 aboundary Riemann solver coming from the real vanishing viscosity3 aWe study the limit of the hyperbolic-parabolic approximation $$ \\\\begin{array}{lll} v_t + \\\\tilde{A} ( v, \\\\, \\\\varepsilon v_x ) v_x = \\\\varepsilon \\\\tilde{B}(v ) v_{xx} \\\\qquad v \\\\in R^N\\\\\\\\ \\\\tilde \\\\beta (v (t, \\\\, 0)) = \\\\bar g \\\\\\\\ v (0, \\\\, x) = \\\\bar v_0. \\\\\\\\ \\\\end{array} \\\\right. $$\\nThe function $\\\\tilde \\\\beta$ is defined in such a way to guarantee that the initial boundary value problem is well posed even if $\\\\tilde \\\\beta$ is not invertible.\\nThe data $\\\\bar g$ and $\\\\bar v_0$ are constant. When $\\\\tilde B$ is invertible, the previous problem takes the simpler form $$ \\\\left\\\\{ \\\\begin{array}{lll} v_t + \\\\tilde{A} \\\\big( v, \\\\, \\\\varepsilon v_x \\\\big) v_x = \\\\varepsilon \\\\tilde{B}(v ) v_{xx} \\\\qquad v \\\\in \\\\mathbb{R}^N\\\\\\\\ v (t, \\\\, 0) \\\\equiv \\\\bar v_b \\\\\\\\ v (0, \\\\, x) \\\\equiv \\\\bar{v}_0. \\\\\\\\ \\\\end{array} \\\\right. $$\\nAgain, the data $\\\\bar v_b$ and $\\\\bar v_0$ are constant. The conservative case is included in the previous formulations. It is assumed convergence of the v, smallness of the total variation and other technical hypotheses and it is provided a complete characterization of the limit. The most interesting points are the following two. First, the boundary characteristic case is considered, i.e. one eigenvalue of $\\\\tilde A$ can be 0.\\n Second, as pointed out before we take into account the possibility that $\\\\tilde B$ is not invertible. To deal with this case, we take as hypotheses conditions that were introduced by Kawashima and Shizuta relying on physically meaningful examples. We also introduce a new condition of block linear degeneracy. We prove that, if it is not satisfied, then pathological behaviours may occur.1 aBianchini, Stefano1 aSpinolo, Laura uhttp://hdl.handle.net/1963/183100390nas a2200133 4500008004100000245003400041210003000075300001500105490000800120100001900128700001600147700001900163856007400182 2009 eng d00aThe Cauchy two–matrix model0 aCauchy two–matrix model a983–10140 v2871 aBertola, Marco1 aGekhtman, M1 aSzmigielski, J uhttps://www.math.sissa.it/publication/cauchy-two%E2%80%93matrix-model00337nas a2200097 4500008004300000245006000043210005800103100002300161700001900184856003600203 2009 en_Ud 00aA connection between viscous profiles and singular ODEs0 aconnection between viscous profiles and singular ODEs1 aBianchini, Stefano1 aSpinolo, Laura uhttp://hdl.handle.net/1963/255501061nas a2200133 4500008004300000245009500043210006900138520060700207100002200814700001700836700002100853700001700874856003600891 2009 en_Ud 00aControllability of the discrete-spectrum Schrodinger equation driven by an external field0 aControllability of the discretespectrum Schrodinger equation dri3 aWe prove approximate controllability of the bilinear Schrodinger equation in the case in which the uncontrolled Hamiltonian has discrete nonresonant\\nspectrum. The results that are obtained apply both to bounded or unbounded domains and to the case in which the control potential is bounded or unbounded. The method relies on finite-dimensional techniques applied to the\\nGalerkin approximations and permits, in addition, to get some controllability properties for the density matrix. Two examples are presented: the harmonic oscillator and the 3D well of potential controlled by suitable potentials.1 aChambrion, Thomas1 aMason, Paolo1 aSigalotti, Mario1 aBoscain, Ugo uhttp://hdl.handle.net/1963/254700501nas a2200145 4500008004100000022001400041245007700055210006900132300001500201490000700216100001900223700001700242700002000259856007600279 2009 eng d a1751-811300aCubic string boundary value problems and Cauchy biorthogonal polynomials0 aCubic string boundary value problems and Cauchy biorthogonal pol a454006, 130 v421 aBertola, Marco1 aGekhtman, M.1 aSzmigielski, J. uhttp://0-dx.doi.org.mercury.concordia.ca/10.1088/1751-8113/42/45/45400600980nas a2200121 4500008004300000245005900043210005800102260002800160520059200188100002000780700002200800856003600822 2009 en_Ud 00aERNEST: a toolbox for chemical reaction network theory0 aERNEST a toolbox for chemical reaction network theory bOxford University Press3 aSummary: ERNEST Reaction Network Equilibria Study Toolbox is a MATLAB package which, by checking various different criteria on the structure of a chemical reaction network, can exclude the multistationarity of the corresponding reaction system. The results obtained are independent of the rate constants of the reactions, and can be used for model discrimination.\\nAvailability and Implementation: The software, implemented in MATLAB, is available under the GNU GPL free software license from http://people.sissa.it/~altafini/papers/SoAl09/. It requires the MATLAB Optimization Toolbox.1 aSoranzo, Nicola1 aAltafini, Claudio uhttp://hdl.handle.net/1963/382601344nas a2200145 4500008004300000245009700043210006900140260001900209520085100228100002001079700002101099700002001120700002201140856003601162 2009 en_Ud 00amRNA stability and the unfolding of gene expression in the long-period yeast metabolic cycle0 amRNA stability and the unfolding of gene expression in the longp bBioMed Central3 aBackground: In yeast, genome-wide periodic patterns associated with energy-metabolic oscillations have been shown recently for both short (approx. 40 min) and long (approx. 300 min) periods.\\nResults: The dynamical regulation due to mRNA stability is found to be an important aspect of the genome-wide coordination of the long-period yeast metabolic cycle. It is shown that for periodic genes, arranged in classes according either to expression profile or to function, the pulses of mRNA abundance have phase and width which are directly proportional to the corresponding turnover rates.\\nConclusion: The cascade of events occurring during the yeast metabolic cycle (and their correlation with mRNA turnover) reflects to a large extent the gene expression program observable in other dynamical contexts such as the response to stresses/stimuli.1 aSoranzo, Nicola1 aZampieri, Mattia1 aFarina, Lorenzo1 aAltafini, Claudio uhttp://hdl.handle.net/1963/363001324nas a2200121 4500008004100000245008000041210006900121300001300190490000700203520085200210100002601062856011401088 2009 eng d00aQuasistatic evolution problems for nonhomogeneous elastic plastic materials0 aQuasistatic evolution problems for nonhomogeneous elastic plasti a89–1190 v163 aThe paper studies the quasistatic evolution for elastoplastic materials when the yield surface depends on the position in the reference configuration. The main results are obtained when the yield surface is continuous with respect to the space variable. The case of piecewise constant dependence is also considered. The evolution is studied in the framework of the variational formulation for rate independent problems developed by Mielke. The results are proved by adapting the arguments introduced for a constant yield surface, using some properties of convex valued semicontinuous multifunctions. A strong formulation of the problem is also obtained, which includes a pointwise version of the plastic flow rule. Some examples are considered, which show that strain concentration may occur as a consequence of a nonconstant yield surface.

1 aSolombrino, Francesco uhttps://www.math.sissa.it/publication/quasistatic-evolution-problems-nonhomogeneous-elastic-plastic-materials00988nas a2200133 4500008004100000022001400041245012300055210007000178300001600248490000800264520048400272100002700756856007100783 2008 eng d a0022-039600aAsymptotic evolution for the semiclassical nonlinear Schrödinger equation in presence of electric and magnetic fields0 aAsymptotic evolution for the semiclassical nonlinear Schrödinger a2566 - 25840 v2453 aIn this paper we study the semiclassical limit for the solutions of a subcritical focusing NLS with electric and magnetic potentials. We consider in particular the Cauchy problem for initial data close to solitons and show that, when the Planck constant goes to zero, the motion shadows that of a classical particle. Several works were devoted to the case of standing waves: differently from these we show that, in the dynamic version, the Lorentz force appears crucially.

1 aSelvitella, Alessandro uhttp://www.sciencedirect.com/science/article/pii/S002203960800243X02210nas a2200121 4500008004300000245009000043210006900133520178700202100002101989700002002010700002202030856003602052 2008 en_Ud 00aDiscerning static and causal interactions in genome-wide reverse engineering problems0 aDiscerning static and causal interactions in genomewide reverse 3 aBackground. In the past years devicing methods for discovering gene regulatory mechanisms at a genome-wide level has become a fundamental topic in the field of system biology. The aim is to infer gene-gene interactions in a more sophisticated and reliable way through the continuously improvement of reverse engineering algorithms exploiting microarray technologies. Motivation. This work is inspired by the several studies suggesting that co-expression is mostly related to \\\"static\\\" stable binding relationships, like belonging to the same protein complex, rather than other types of interactions more of a \\\"causal\\\" and transient nature (metabolic pathway or transcription factor-binding site interaction). Discerning static relationships from causal ones on the basis of their characteristic regulatory structures and in particular identifing \\\"dense modules\\\" with protein complex, and \\\"sparse modules\\\" with causal interactions such as those between transcription factor and corresponding binding site, the performances of different network inference algorithms in artificial and real networks (derived from E.coli and S.cerevisiae) can be tested and compared. Results. Our study shows that methods that try to prune indirect interactions from the inferred gene networks may fail to retrieve genes co-participating in a protein complex. On the other hand they are more robust in the identification of transcription factor-binding sites dependences when multiple transcription factors regulate the expression of the same gene. In the end we confirm the stronger co-expression regarding genes belonging to a protein complex than transcription factor-binding site, according, also, to the effect of multiple transcription factors and a low expression variance.1 aZampieri, Mattia1 aSoranzo, Nicola1 aAltafini, Claudio uhttp://hdl.handle.net/1963/275700962nas a2200121 4500008004300000245008100043210006900124260000900193520056300202100001700765700002200782856003600804 2008 en_Ud 00aEulerian calculus for the displacement convexity in the Wasserstein distance0 aEulerian calculus for the displacement convexity in the Wasserst bSIAM3 aIn this paper we give a new proof of the (strong) displacement convexity of a class of integral functionals defined on a compact Riemannian manifold satisfying a lower Ricci curvature bound. Our approach does not rely on existence and regularity results for optimal transport maps on Riemannian manifolds, but it is based on the Eulerian point of view recently introduced by Otto and Westdickenberg [SIAM J. Math. Anal., 37 (2005), pp. 1227-1255] and on the metric characterization of the gradient flows generated by the functionals in the Wasserstein space.1 aDaneri, Sara1 aSavarè, Giuseppe uhttp://hdl.handle.net/1963/341300701nas a2200121 4500008004300000245009900043210006900142520027900211100002000490700001500510700001800525856003600543 2008 en_Ud 00aFrobenius Manifolds and Central Invariants for the Drinfeld - Sokolov Bihamiltonian Structures0 aFrobenius Manifolds and Central Invariants for the Drinfeld Soko3 aThe Drinfeld - Sokolov construction associates a hierarchy of bihamiltonian integrable systems with every untwisted affine Lie algebra. We compute the complete set of invariants of the related bihamiltonian structures with respect to the group of Miura type transformations.1 aDubrovin, Boris1 aSi-Qi, Liu1 aYoujin, Zhang uhttp://hdl.handle.net/1963/252301551nas a2200121 4500008004300000245007900043210006900122520113900191100002501330700001701355700002101372856003601393 2008 en_Ud 00aA Gauss-Bonnet-like formula on two-dimensional almost-Riemannian manifolds0 aGaussBonnetlike formula on twodimensional almostRiemannian manif3 aWe consider a generalization of Riemannian geometry that naturally arises in the framework of control theory. Let $X$ and $Y$ be two smooth vector fields on a two-dimensional manifold $M$. If $X$ and $Y$ are everywhere linearly independent, then they define a classical Riemannian metric on $M$ (the metric for which they are orthonormal) and they give to $M$ the structure of metric space. If $X$ and $Y$ become linearly dependent somewhere on $M$, then the corresponding Riemannian metric has singularities, but under generic conditions the metric structure is still well defined. Metric structures that can be defined locally in this way are called almost-Riemannian structures. They are special cases of rank-varying sub-Riemannian structures, which are naturally defined in terms of submodules of the space of smooth vector fields on $M$. Almost-Riemannian structures show interesting phenomena, in particular for what concerns the relation between curvature, presence of conjugate points, and topology of the manifold. The main result of the paper is a generalization to almost-Riemannian structures of the Gauss-Bonnet formula.1 aAgrachev, Andrei, A.1 aBoscain, Ugo1 aSigalotti, Mario uhttp://hdl.handle.net/1963/186900382nas a2200097 4500008004300000245009400043210006900137100002300206700001900229856003600248 2008 en_Ud 00aInvariant Manifolds for Viscous Profiles of a Class of Mixed Hyperbolic-Parabolic Systems0 aInvariant Manifolds for Viscous Profiles of a Class of Mixed Hyp1 aBianchini, Stefano1 aSpinolo, Laura uhttp://hdl.handle.net/1963/340001845nas a2200133 4500008004300000245006800043210006700111520142200178100001701600700002101617700001701638700002001655856003601675 2008 en_Ud 00aLimit Time Optimal Syntheses for a control-affine system on S²0 aLimit Time Optimal Syntheses for a controlaffine system on S²3 aFor $\\\\alpha \\\\in ]0,\\\\pi/2[$, let $(\\\\Sigma)_\\\\alpha$ be the control system $\\\\dot{x}=(F+uG)x$, where $x$ belongs to the two-dimensional unit sphere $S^2$, $u\\\\in [-1,1]$, and $F,G$ are $3\\\\times3$ skew-symmetric matrices generating rotations with perpendicular axes and of respective norms $\\\\cos(\\\\alpha)$ and $\\\\sin(\\\\alpha)$. In this paper, we study the time optimal synthesis (TOS) from the north pole $(0,0,1)^T$ associated to $(\\\\Sigma)_\\\\alpha$, as the parameter $\\\\alpha$ tends to zero; this problem is motivated by specific issues in the control of quantum systems. We first prove that the TOS is characterized by a \\\"two-snakes\\\" configuration on the whole $S^2$, except for a neighborhood $U_\\\\alpha$ of the south pole $(0,0,-1)^T$ of diameter at most ${\\\\cal O}(\\\\alpha)$. We next show that, inside $U_\\\\alpha$, the TOS depends on the relationship between $r(\\\\alpha):=\\\\pi/2\\\\alpha-[\\\\pi/2\\\\alpha]$ and $\\\\alpha$. More precisely, we characterize three main relationships by considering sequences $(\\\\alpha_k)_{k\\\\geq 0}$ satisfying (a) $r(\\\\alpha_k)=\\\\bar{r}$, (b) $r(\\\\alpha_k)=C\\\\alpha_k$, and (c) $r(\\\\alpha_k)=0$, where $\\\\bar{r}\\\\in (0,1)$ and $C>0$. In each case, we describe the TOS and provide, after a suitable rescaling, the limiting behavior, as $\\\\alpha$ tends to zero, of the corresponding TOS inside $U_\\\\alpha$.1 aMason, Paolo1 aSalmoni, Rebecca1 aBoscain, Ugo1 aChitour, Yacine uhttp://hdl.handle.net/1963/186202183nas a2200133 4500008004300000245010900043210006900152520170600221100002101927700002001948700002301968700002201991856003602013 2008 en_Ud 00aOrigin of Co-Expression Patterns in E.coli and S.cerevisiae Emerging from Reverse Engineering Algorithms0 aOrigin of CoExpression Patterns in Ecoli and Scerevisiae Emergin3 aBackground: The concept of reverse engineering a gene network, i.e., of inferring a genome-wide graph of putative genegene interactions from compendia of high throughput microarray data has been extensively used in the last few years to deduce/integrate/validate various types of \\\"physical\\\" networks of interactions among genes or gene products. Results: This paper gives a comprehensive overview of which of these networks emerge significantly when reverse engineering large collections of gene expression data for two model organisms, E.coli and S.cerevisiae, without any prior information. For the first organism the pattern of co-expression is shown to reflect in fine detail both the operonal structure of the DNA and the regulatory effects exerted by the gene products when co-participating in a protein complex. For the second organism we find that direct transcriptional control (e.g., transcription factor-binding site interactions) has little statistical significance in comparison to the other regulatory mechanisms (such as co-sharing a protein complex, colocalization on a metabolic pathway or compartment), which are however resolved at a lower level of detail than in E.coli. Conclusion: The gene co-expression patterns deduced from compendia of profiling experiments tend to unveil functional categories that are mainly associated to stable bindings rather than transient interactions. The inference power of this systematic analysis is substantially reduced when passing from E.coli to S.cerevisiae. This extensive analysis provides a way to describe the different complexity between the two organisms and discusses the critical limitations affecting this type of methodologies.1 aZampieri, Mattia1 aSoranzo, Nicola1 aBianchini, Daniele1 aAltafini, Claudio uhttp://hdl.handle.net/1963/272201457nas a2200133 4500008004300000245010800043210006900151520097900220100001901199700002301218700002201241700002401263856003601287 2007 en_Ud 00aBlack Holes, Instanton Counting on Toric Singularities and q-Deformed Two-Dimensional Yang-Mills Theory0 aBlack Holes Instanton Counting on Toric Singularities and qDefor3 aWe study the relationship between instanton counting in N=4 Yang-Mills theory on a generic four-dimensional toric orbifold and the semi-classical expansion of q-deformed Yang-Mills theory on the blowups of the minimal resolution of the orbifold singularity, with an eye to clarifying the recent proposal of using two-dimensional gauge theories to count microstates of black holes in four dimensions. We describe explicitly the instanton contributions to the counting of D-brane bound states which are captured by the two-dimensional gauge theory. We derive an intimate relationship between the two-dimensional Yang-Mills theory and Chern-Simons theory on generic Lens spaces, and use it to show that the correct instanton counting is only reproduced when the Chern-Simons contributions are treated as non-dynamical boundary conditions in the D4-brane gauge theory. We also use this correspondence to discuss the counting of instantons on higher genus ruled Riemann surfaces.1 aGriguolo, Luca1 aSeminara, Domenico1 aSzabo, Richard J.1 aTanzini, Alessandro uhttp://hdl.handle.net/1963/188802020nas a2200121 4500008004300000245013300043210006900176520155200245100002001797700002301817700002201840856003601862 2007 en_Ud 00aComparing association network algorithms for reverse engineering of large scale gene regulatory networks: synthetic vs real data0 aComparing association network algorithms for reverse engineering3 aMotivation: Inferring a gene regulatory network exclusively from microarray expression profiles is a difficult but important task. The aim of this work is to compare the predictive power of some of the most popular algorithms in different conditions (like data taken at equilibrium or time courses) and on both synthetic and real microarray data. We are in particular interested in comparing similarity measures both of linear type (like correlations and partial correlations) and of nonlinear type (mutual information and conditional mutual information), and in investigating the underdetermined case (less samples than genes). Results: In our simulations we see that all network inference algorithms obtain better performances from data produced with \\\"structural\\\" perturbations, like gene knockouts at steady state, than with any dynamical perturbation. The predictive power of all algorithms is confirmed on a reverse engineering problem from E. coli gene profiling data: the edges of the \\\"physical\\\" network of transcription factor-binding sites are significantly overrepresented among the highest weighting edges of the graph that we infer directly from the data without any structure supervision. Comparing synthetic and in vivo data on the same network graph allows us to give an indication of how much more complex a real transcriptional regulation program is with respect to an artificial model. Availability: Software and supplementary material are freely available at the URL http://people.sissa.it/~altafini/papers/SoBiAl07/1 aSoranzo, Nicola1 aBianconi, Ginestra1 aAltafini, Claudio uhttp://hdl.handle.net/1963/202800906nas a2200121 4500008004300000245005900043210005900102520051500161100002500676700002000701700002700721856003600748 2007 en_Ud 00aConvergence of equilibria of planar thin elastic beams0 aConvergence of equilibria of planar thin elastic beams3 aWe consider a thin elastic strip of thickness h and we show that stationary points of the nonlinear elastic energy (per unit height) whose energy is of order h^2 converge to stationary points of the Euler-Bernoulli functional. The proof uses the rigidity estimate for low-energy deformations by Friesecke, James, and Mueller (Comm. Pure Appl. Math. 2002), and a compensated compactness argument in a singular geometry. In addition, possible concentration effects are ruled out by a careful truncation argument.1 aMora, Maria Giovanna1 aMüller, Stefan1 aSchultz, Maximilian G. uhttp://hdl.handle.net/1963/183000873nas a2200133 4500008004300000245009700043210006900140520040800209100002500617700001900642700002100661700002100682856003600703 2007 en_Ud 00aOn finite-dimensional projections of distributions for solutions of randomly forced PDE\\\'s0 afinitedimensional projections of distributions for solutions of 3 aThe paper is devoted to studying the image of probability measures on a Hilbert space under finite-dimensional analytic maps. We establish sufficient conditions under which the image of a measure has a density with respect to the Lebesgue measure and continuously depends on the map. The results obtained are applied to the 2D Navier-Stokes equations perturbed by various random forces of low dimension.1 aAgrachev, Andrei, A.1 aKuksin, Sergei1 aSarychev, Andrey1 aShirikyan, Armen uhttp://hdl.handle.net/1963/201201180nas a2200109 4500008004300000245005200043210005000095520085100145100001700996700002101013856003601034 2007 en_Ud 00aHigh-order angles in almost-Riemannian geometry0 aHighorder angles in almostRiemannian geometry3 aLet X and Y be two smooth vector fields on a two-dimensional manifold M. If X and Y are everywhere linearly independent, then they define a Riemannian metric on M (the metric for which they are orthonormal) and they give to M the structure of metric space. If X and Y become linearly dependent somewhere on M, then the corresponding Riemannian metric has singularities, but under generic conditions the metric structure is still well defined. Metric structures that can be defined locally in this way are called almost-Riemannian structures. The main result of the paper is a generalization to almost-Riemannian structures of the Gauss-Bonnet formula for domains with piecewise-C2 boundary. The main feature of such formula is the presence of terms that play the role of high-order angles at the intersection points with the set of singularities.1 aBoscain, Ugo1 aSigalotti, Mario uhttp://hdl.handle.net/1963/199500907nas a2200121 4500008004300000245005500043210005300098520053100151100001900682700002500701700002300726856003600749 2007 en_Ud 00aSurfactants in Foam Stability: A Phase-Field Model0 aSurfactants in Foam Stability A PhaseField Model3 aThe role of surfactants in stabilizing the formation of bubbles in foams is studied using a phase-field model. The analysis is centered on a van der Walls-Cahn-Hilliard-type energy with an added term accounting for the interplay between the presence of a surfactant density and the creation of interfaces. In particular, it is concluded that the surfactant segregates to the interfaces, and that the prescriptionof the distribution of surfactant will dictate the locus of interfaces, what is in agreement with experimentation.1 aFonseca, Irene1 aMorini, Massimiliano1 aSlastikov, Valeriy uhttp://hdl.handle.net/1963/203502436nas a2200169 4500008004100000245007600041210006900117260007200186520184400258100002002102700002202122700001802144700002502162700001902187700002402206856003602230 2006 en d00aExperimental and modeling studies of desensitization of P2X3 receptors.0 aExperimental and modeling studies of desensitization of P2X3 rec bthe American Society for Pharmacology and Experimental Therapeutics3 aThe function of ATP-activated P2X3 receptors involved in pain sensation is modulated by desensitization, a phenomenon poorly understood. The present study used patch-clamp recording from cultured rat or mouse sensory neurons and kinetic modeling to clarify the properties of P2X3 receptor desensitization. Two types of desensitization were observed, a fast process (t1/2 = 50 ms; 10 microM ATP) following the inward current evoked by micromolar agonist concentrations, and a slow process (t1/2 = 35 s; 10 nM ATP) that inhibited receptors without activating them. We termed the latter high-affinity desensitization (HAD). Recovery from fast desensitization or HAD was slow and agonist-dependent. When comparing several agonists, there was analogous ranking order for agonist potency, rate of desensitization and HAD effectiveness, with 2-methylthioadenosine triphosphate the strongest and beta,gamma-methylene-ATP the weakest. HAD was less developed with recombinant (ATP IC50 = 390 nM) than native P2X3 receptors (IC50 = 2.3 nM). HAD could also be induced by nanomolar ATP when receptors seemed to be nondesensitized, indicating that resting receptors could express high-affinity binding sites. Desensitization properties were well accounted for by a cyclic model in which receptors could be desensitized from either open or closed states. Recovery was assumed to be a multistate process with distinct kinetics dependent on the agonist-dependent dissociation rate from desensitized receptors. Thus, the combination of agonist-specific mechanisms such as desensitization onset, HAD, and resensitization could shape responsiveness of sensory neurons to P2X3 receptor agonists. By using subthreshold concentrations of an HAD-potent agonist, it might be possible to generate sustained inhibition of P2X3 receptors for controlling chronic pain.1 aSokolova, Elena1 aSkorinkin, Andrei1 aMoiseev, Igor1 aAgrachev, Andrei, A.1 aNistri, Andrea1 aGiniatullin, Rashid uhttp://hdl.handle.net/1963/497401265nas a2200121 4500008004300000245012600043210006900169520081600238100002001054700001501074700001801089856003601107 2006 en_Ud 00aOn Hamiltonian perturbations of hyperbolic systems of conservation laws I: quasitriviality of bihamiltonian perturbations0 aHamiltonian perturbations of hyperbolic systems of conservation 3 aWe study the general structure of formal perturbative solutions to the Hamiltonian perturbations of spatially one-dimensional systems of hyperbolic PDEs. Under certain genericity assumptions it is proved that any bihamiltonian perturbation can be eliminated in all orders of the perturbative expansion by a change of coordinates on the infinite jet space depending rationally on the derivatives. The main tools is in constructing of the so-called quasi-Miura transformation of jet coordinates eliminating an arbitrary deformation of a semisimple bihamiltonian structure of hydrodynamic type (the quasitriviality theorem). We also describe, following \\\\cite{LZ1}, the invariants of such bihamiltonian structures with respect to the group of Miura-type transformations depending polynomially on the derivatives.1 aDubrovin, Boris1 aSi-Qi, Liu1 aYoujin, Zhang uhttp://hdl.handle.net/1963/253500273nas a2200097 4500008004300000245002800043210002600071100002200097700002000119856003600139 2006 en_Ud 00aQ-curvature flow on S^40 aQcurvature flow on S41 aMalchiodi, Andrea1 aStruwe, Michael uhttp://hdl.handle.net/1963/219300968nas a2200121 4500008004300000245005100043210005100094520060400145100001700749700002300766700002100789856003600810 2006 en_Ud 00aStability of planar nonlinear switched systems0 aStability of planar nonlinear switched systems3 aWe consider the time-dependent nonlinear system ˙ q(t) = u(t)X(q(t)) + (1 − u(t))Y (q(t)), where q ∈ R2, X and Y are two smooth vector fields, globally asymptotically stable at the origin and u : [0,∞) → {0, 1} is an arbitrary measurable function. Analysing the topology of the set where X and Y are parallel, we give some sufficient and some necessary conditions for global asymptotic stability, uniform with respect to u(.). Such conditions can be verified without any integration or construction of a Lyapunov function, and they are robust under small perturbations of the vector fields.1 aBoscain, Ugo1 aCharlot, Grégoire1 aSigalotti, Mario uhttp://hdl.handle.net/1963/171001006nas a2200157 4500008004100000245003400041210002700075260001300102520058600115100002200701700002000723700002000743700002600763700002300789856003600812 2005 en d00aThe Dirac operator on SU_q(2)0 aDirac operator on SUq2 bSpringer3 aWe construct a 3^+ summable spectral triple (A(SU_q(2)),H,D) over the quantum group SU_q(2) which is equivariant with respect to a left and a right action of U_q(su(2)). The geometry is isospectral to the classical case since the spectrum of the operator D is the same as that of the usual Dirac operator on the 3-dimensional round sphere. The presence of an equivariant real structure J demands a modification in the axiomatic framework of spectral geometry, whereby the commutant and first-order properties need be satisfied only modulo infinitesimals of arbitrary high order.1 aDabrowski, Ludwik1 aLandi, Giovanni1 aSitarz, Andrzej1 avan Suijlekom, Walter1 aVarilly, Joseph C. uhttp://hdl.handle.net/1963/442500687nas a2200145 4500008004300000245003900043210003300082520027900115100002600394700002200420700002000442700002000462700002300482856003600505 2005 en_Ud 00aThe local index formula for SUq(2)0 alocal index formula for SUq23 aWe discuss the local index formula of Connes-Moscovici for the isospectral noncommutative geometry that we have recently constructed on quantum SU(2). We work out the cosphere bundle and the dimension spectrum as well as the local cyclic cocycles yielding the index formula.1 avan Suijlekom, Walter1 aDabrowski, Ludwik1 aLandi, Giovanni1 aSitarz, Andrzej1 aVarilly, Joseph C. uhttp://hdl.handle.net/1963/171301167nas a2200109 4500008004100000245010100041210006900142260001300211520077600224100002101000856003601021 2005 en d00aRegularity properties of optimal trajectories of single-input control systems in dimension three0 aRegularity properties of optimal trajectories of singleinput con bSpringer3 aLet q=f(q)+ug(q) be a smooth control system on a three-dimensional manifold. Given a point q 0 of the manifold at which the iterated Lie brackets of f and g satisfy some prescribed independence condition, we analyze the structure of a control function u(t) corresponding to a time-optimal trajectory lying in a neighborhood of q 0. The control turns out to be the concatenation of some bang-bang and some singular arcs. More general optimality criteria than time-optimality are considered. The paper is a step toward to the analysis of generic single-input systems affine in the control in dimension 3. The main techniques used are second-order optimality conditions and, in particular, the index of the second variation of the switching times for bang-bang trajectories.1 aSigalotti, Mario uhttp://hdl.handle.net/1963/479400730nas a2200133 4500008004300000245005800043210005400101520032400155100002200479700002000501700001900521700002000540856003600560 2005 en_Ud 00aThe spectral geometry of the equatorial Podles sphere0 aspectral geometry of the equatorial Podles sphere3 aWe propose a slight modification of the properties of a spectral geometry a la Connes, which allows for some of the algebraic relations to be satisfied only modulo compact operators. On the equatorial Podles sphere we construct suq2-equivariant Dirac operator and real structure which satisfy these modified properties.1 aDabrowski, Ludwik1 aLandi, Giovanni1 aPaschke, Mario1 aSitarz, Andrzej uhttp://hdl.handle.net/1963/227501056nas a2200121 4500008004300000245005500043210005400098260001300152520069800165100002100863700001400884856003600898 2004 en_Ud 00aSemi-cooperative strategies for differential games0 aSemicooperative strategies for differential games bSpringer3 aThe paper is concerned with a non-cooperative differential game for two players. We first consider Nash equilibrium solutions in feedback form. In this case, we show that the Cauchy problem for the value functions is generically ill-posed. Looking at vanishing viscosity approximations, one can construct special solutions in the form of chattering controls, but these also appear to be unstable. In the second part of the paper we propose an alternative \\\"semi-cooperative\\\" pair of strategies for the two players, seeking a Pareto optimum instead of a Nash equilibrium. In this case, we prove that the corresponding Hamiltonian system for the value functions is always weakly hyperbolic.1 aBressan, Alberto1 aShen, Wen uhttp://hdl.handle.net/1963/289300818nas a2200121 4500008004300000245007100043210006900114260000900183520043300192100002100625700001400646856003600660 2004 en_Ud 00aSmall BV solutions of hyperbolic noncooperative differential games0 aSmall BV solutions of hyperbolic noncooperative differential gam bSIAM3 aThe paper is concerned with an n-persons differential game in one space dimension. We state conditions for which the system of Hamilton-Jacobi equations for the value functions is strictly hyperbolic. In the positive case, we show that the weak solution of a corresponding system of conservation laws determines an n-tuple of feedback strategies. These yield a Nash equilibrium solution to the non-cooperative differential game.1 aBressan, Alberto1 aShen, Wen uhttp://hdl.handle.net/1963/291701206nas a2200133 4500008004300000245007600043210006900119260001300188520077600201100002100977700001900998700001901017856003601036 2003 en_Ud 00aEffective dynamics for Bloch electrons: Peierls substitution and beyond0 aEffective dynamics for Bloch electrons Peierls substitution and bSpringer3 aWe consider an electron moving in a periodic potential and subject to an additional slowly varying external electrostatic potential, $\\\\phi(\\\\epsi x)$, and vector potential $A(\\\\epsi x)$, with $x \\\\in \\\\R^d$ and $\\\\epsi \\\\ll 1$. We prove that associated to an isolated family of Bloch bands there exists an almost invariant subspace of $L^2(\\\\R^d)$ and an effective Hamiltonian governing the evolution inside this subspace to all orders in $\\\\epsi$. To leading order the effective Hamiltonian is given through the Peierls substitution. We explicitly compute the first order correction. From a semiclassical analysis of this effective quantum Hamiltonian we establish the first order correction to the standard semiclassical model of solid state physics.1 aPanati, Gianluca1 aSpohn, Herbert1 aTeufel, Stefan uhttp://hdl.handle.net/1963/304000867nas a2200121 4500008004100000245005700041210005000098260001800148520049700166100002500663700002100688856003600709 2003 en d00aOn the local structure of optimal trajectories in R30 alocal structure of optimal trajectories in R3 bSISSA Library3 aWe analyze the structure of a control function u(t) corresponding to an optimal trajectory for the system $\\\\dot q =f(q)+u\\\\, g(q)$ in a three-dimensional manifold, near a point where some nondegeneracy conditions are satisfied. The kind of optimality which is studied includes time-optimality. The control turns out to be the concatenation of some bang and some singular arcs. Studying the index of the second variation of the switching times, the number of such arcs is bounded by four.1 aAgrachev, Andrei, A.1 aSigalotti, Mario uhttp://hdl.handle.net/1963/161200397nas a2200097 4500008004100000245012200041210006900163260001000232100002100242856003600263 2003 en d00aSingle-Input Control Affine Systems: Local Regularity of Optimal Trajectories and a Geometric Controllability Problem0 aSingleInput Control Affine Systems Local Regularity of Optimal T bSISSA1 aSigalotti, Mario uhttp://hdl.handle.net/1963/534201403nas a2200133 4500008004300000245004000043210003900083260002400122520102800146100002101174700001901195700001901214856003601233 2003 en_Ud 00aSpace-adiabatic perturbation theory0 aSpaceadiabatic perturbation theory bInternational Press3 aWe study approximate solutions to the Schr\\\\\\\"odinger equation $i\\\\epsi\\\\partial\\\\psi_t(x)/\\\\partial t = H(x,-i\\\\epsi\\\\nabla_x) \\\\psi_t(x)$ with the Hamiltonian given as the Weyl quantization of the symbol $H(q,p)$ taking values in the space of bounded operators on the Hilbert space $\\\\Hi_{\\\\rm f}$ of fast ``internal\\\'\\\' degrees of freedom. By assumption $H(q,p)$ has an isolated energy band. Using a method of Nenciu and Sordoni \\\\cite{NS} we prove that interband transitions are suppressed to any order in $\\\\epsi$. As a consequence, associated to that energy band there exists a subspace of $L^2(\\\\mathbb{R}^d,\\\\Hi _{\\\\rm f})$ almost invariant under the unitary time evolution. We develop a systematic perturbation scheme for the computation of effective Hamiltonians which govern approximately the intraband time evolution. As examples for the general perturbation scheme we discuss the Dirac and Born-Oppenheimer type Hamiltonians and we reconsider also the time-adiabatic theory.1 aPanati, Gianluca1 aSpohn, Herbert1 aTeufel, Stefan uhttp://hdl.handle.net/1963/304100481nas a2200121 4500008004300000245011600043210006900159260003000228100002000258700002400278700002100302856003600323 2002 en_Ud 00aThe passage from nonconvex discrete systems to variational problems in Sobolev spaces: the one-dimensional case0 apassage from nonconvex discrete systems to variational problems bMAIK Nauka/Interperiodica1 aBraides, Andrea1 aGelli, Maria Stella1 aSigalotti, Mario uhttp://hdl.handle.net/1963/313001131nas a2200133 4500008004100000245006000041210005900101260003000160520071200190100002100902700001900923700001900942856003600961 2002 en d00aSpace-adiabatic perturbation theory in quantum dynamics0 aSpaceadiabatic perturbation theory in quantum dynamics bAmerican Physical Society3 aA systematic perturbation scheme is developed for approximate solutions to the time-dependent Schrödinger equation with a space-adiabatic Hamiltonian. For a particular isolated energy band, the basic approach is to separate kinematics from dynamics. The kinematics is defined through a subspace of the full Hilbert space for which transitions to other band subspaces are suppressed to all orders, and the dynamics operates in that subspace in terms of an effective intraband Hamiltonian. As novel applications, we discuss the Born-Oppenheimer theory to second order and derive for the first time the nonperturbative definition of the g factor of the electron within nonrelativistic quantum electrodynamics.1 aPanati, Gianluca1 aSpohn, Herbert1 aTeufel, Stefan uhttp://hdl.handle.net/1963/598500361nas a2200109 4500008004100000245005700041210005700098260001800155100002200173700002000195856003600215 2001 en d00aDirac operator on the standard Podles quantum sphere0 aDirac operator on the standard Podles quantum sphere bSISSA Library1 aDabrowski, Ludwik1 aSitarz, Andrzej uhttp://hdl.handle.net/1963/166801054nas a2200121 4500008004100000245008200041210006900123260001800192520064300210100002100853700002200874856003600896 2001 en d00aA monotonicity approach to nonlinear Dirichlet problems in perforated domains0 amonotonicity approach to nonlinear Dirichlet problems in perfora bSISSA Library3 aWe study the asymptotic behaviour of solutions to Dirichlet problems in perforated domains for nonlinear elliptic equations associated with monotone operators. The main difference with respect to the previous papers on this subject is that no uniformity is assumed in the monotonicity condition. Under a very general hypothesis on the holes of the domains, we construct a limit equation, which is satisfied by the weak limits of the solutions. The additional term in the limit problem depends only on the local behaviour of the holes, which can be expressed in terms of suitable nonlinear capacities associated with the monotone operator.1 aDal Maso, Gianni1 aSkrypnik, Igor V. uhttp://hdl.handle.net/1963/155500433nas a2200121 4500008004100000245008200041210006900123260001800192100002400210700002200234700001900256856003600275 2001 en d00aMultiplicity results for some nonlinear Schrodinger equations with potentials0 aMultiplicity results for some nonlinear Schrodinger equations wi bSISSA Library1 aAmbrosetti, Antonio1 aMalchiodi, Andrea1 aSecchi, Simone uhttp://hdl.handle.net/1963/156400970nas a2200121 4500008004300000245007300043210006500116260003100181520055000212100002800762700002200790856003600812 2001 en_Ud 00aOn the spreading of characteristics for non-convex conservation laws0 aspreading of characteristics for nonconvex conservation laws bCambridge University Press3 aWe study the spreading of characteristics for a class of one-dimensional scalar conservation laws for which the flux function has one point of inflection. It is well known that in the convex case the characteristic speed satisfies a one-sided Lipschitz estimate. Using Dafermos\\\' theory of generalized characteristics, we show that the characteristic speed in the non-convex case satisfies an Hölder estimate. In addition, we give a one-sided Lipschitz estimate with an error term given by the decrease of the total variation of the solution.1 aJenssen, Helge Kristian1 aSinestrari, Carlo uhttp://hdl.handle.net/1963/326501967nas a2200121 4500008004100000245006700041210006700108260001800175520158100193100002101774700001401795856003601809 2000 en d00aBV estimates for multicomponent chromatography with relaxation0 aBV estimates for multicomponent chromatography with relaxation bSISSA Library3 aWe consider the Cauchy problem for a system of $2n$ balance laws which arises from the modelling of multi-component chromatography: $$\\\\left\\\\{ \\\\eqalign{u_t+u_x&=-{1\\\\over\\\\ve}\\\\big( F(u)-v\\\\big),\\\\cr v_t&={1\\\\over\\\\ve}\\\\big( F(u)-v\\\\big),\\\\cr}\\\\right. \\\\eqno(1)$$ This model describes a liquid flowing with unit speed over a solid bed. Several chemical substances are partly dissolved in the liquid, partly deposited on the solid bed. Their concentrations are represented respectively by the vectors $u=(u_1,\\\\ldots,u_n)$ and $v=(v_1,\\\\ldots,v_n)$. We show that, if the initial data have small total variation, then the solution of (1) remains with small variation for all times $t\\\\geq 0$. Moreover, using the $\\\\L^1$ distance, this solution depends Lipschitz continuously on the initial data, with a Lipschitz constant uniform w.r.t.~$\\\\ve$. Finally we prove that as $\\\\ve\\\\to 0$, the solutions of (1) converge to a limit described by the system $$\\\\big(u+F(u)\\\\big)_t+u_x=0,\\\\qquad\\\\qquad v=F(u).\\\\eqno(2)$$ The proof of the uniform BV estimates relies on the application of probabilistic techniques. It is shown that the components of the gradients $v_x,u_x$ can be interpreted as densities of random particles travelling with speed 0 or 1. The amount of coupling between different components is estimated in terms of the expected number of crossing of these random particles. This provides a first example where BV estimates are proved for general solutions to a class of $2n\\\\times 2n$ systems with relaxation.1 aBressan, Alberto1 aShen, Wen uhttp://hdl.handle.net/1963/133600505nas a2200169 4500008004100000022001400041245004100055210004100096300001400137490000800151100001900159700001800178700002100196700001900217700002300236856007600259 2000 eng d a0550-321300aDecomposing quantum fields on branes0 aDecomposing quantum fields on branes a575–6030 v5811 aBertola, Marco1 aBros, Jacques1 aGorini, Vittorio1 aMoschella, Ugo1 aSchaeffer, Richard uhttps://www.math.sissa.it/publication/decomposing-quantum-fields-branes00612nas a2200157 4500008004100000022001400041245010500055210006900160300001400229490000800243100001900251700001800270700001900288700002300307856012400330 2000 eng d a0550-321300aA general construction of conformal field theories from scalar anti-de Sitter quantum field theories0 ageneral construction of conformal field theories from scalar ant a619–6440 v5871 aBertola, Marco1 aBros, Jacques1 aMoschella, Ugo1 aSchaeffer, Richard uhttps://www.math.sissa.it/publication/general-construction-conformal-field-theories-scalar-anti-de-sitter-quantum-field00338nas a2200097 4500008004100000245006300041210006100104260001800165100002100183856003600204 2000 en d00aHigh-order Averaging and Stability of Time-Varying Systems0 aHighorder Averaging and Stability of TimeVarying Systems bSISSA Library1 aSarychev, Andrey uhttp://hdl.handle.net/1963/146501450nas a2200121 4500008004300000245006400043210006400107260000900171520106500180100002301245700002401268856003601292 2000 en_Ud 00aRegular Synthesis and Sufficiency Conditions for Optimality0 aRegular Synthesis and Sufficiency Conditions for Optimality bSIAM3 aWe propose a definition of \\\"regular synthesis\\\" that is more general than those suggested by other authors such as Boltyanskii and Brunovsky, and an even more general notion of \\\"regular presynthesis.\\\" We give a complete proof of the corresponding sufficiency theorem, a slightly weaker version of which had been stated in an earlier article, with only a rough outline of the proof. We illustrate the strength of our result by showing that the optimal synthesis for the famous Fuller problem satisfies our hypotheses. We also compare our concept of synthesis with the simpler notion of a \\\"family of solutions of the closed-loop equation arising from an optimal feedback law,\\\" and show by means of examples why the latter is inadequate, and why the difficulty cannot be resolved byusing other concepts of solution--such as Filippov solutions, or the limits of sample-and-hold solutions recently proposed as feedback solutions by Clarke, Ledyaev, Subbotin and Sontag -for equations with a non-Lipschitz and possibly discontinuous right-hand side.1 aPiccoli, Benedetto1 aSussmann, Hector J. uhttp://hdl.handle.net/1963/321300405nas a2200109 4500008004100000020001400041245009200055210006900147100002100216700002200237856003600259 1999 en d a1618-189100aAsymptotic behaviour of nonlinear elliptic higher order equations in perforated domains0 aAsymptotic behaviour of nonlinear elliptic higher order equation1 aDal Maso, Gianni1 aSkrypnik, Igor V. uhttp://hdl.handle.net/1963/643300394nas a2200109 4500008004300000245006600043210006600109260002300175100002800198700002200226856003600248 1999 en_Ud 00aBlowup asymptotics for scalar conservation laws with a source0 aBlowup asymptotics for scalar conservation laws with a source bTaylor and Francis1 aJenssen, Helge Kristian1 aSinestrari, Carlo uhttp://hdl.handle.net/1963/348200735nas a2200133 4500008004300000245004700043210004700090260001300137520035400150100002200504700001600526700002300542856003600565 1999 en_Ud 00aCategorial mirror symmetry for K3 surfaces0 aCategorial mirror symmetry for K3 surfaces bSpringer3 aWe study the structure of a modified Fukaya category ${\\\\frak F}(X)$ associated with a K3 surface $X$, and prove that whenever $X$ is an elliptic K3 surface with a section, the derived category of $\\\\fF(X)$ is equivalent to a subcategory of the derived category ${\\\\bold D}(\\\\hat X)$ of coherent sheaves on the mirror K3 surface $\\\\hat X$.1 aBartocci, Claudio1 aBruzzo, Ugo1 aSanguinetti, Guido uhttp://hdl.handle.net/1963/288700568nas a2200157 4500008004100000022001400041245007200055210006900127300001400196490000800210100001900218700002100237700001900258700002300277856011000300 1999 eng d a0370-269300aCorrespondence between Minkowski and de Sitter quantum field theory0 aCorrespondence between Minkowski and de Sitter quantum field the a249–2530 v4621 aBertola, Marco1 aGorini, Vittorio1 aMoschella, Ugo1 aSchaeffer, Richard uhttps://www.math.sissa.it/publication/correspondence-between-minkowski-and-de-sitter-quantum-field-theory00395nas a2200109 4500008004100000245007800041210006900119260001800188100002100206700002200227856003600249 1998 en d00aAsymptotic behavior of nonlinear Dirichlet problems in perforated domains0 aAsymptotic behavior of nonlinear Dirichlet problems in perforate bSISSA Library1 aDal Maso, Gianni1 aSkrypnik, Igor V. uhttp://hdl.handle.net/1963/106400524nas a2200157 4500008004100000022001400041245005900055210005900114300001400173490000600187100002300193700001900216700001900235700002100254856009100275 1998 eng d a0202-289300aGeneration of primordial fluctuations in curved spaces0 aGeneration of primordial fluctuations in curved spaces a121–1270 v41 aSchaeffer, Richard1 aMoschella, Ugo1 aBertola, Marco1 aGorini, Vittorio uhttps://www.math.sissa.it/publication/generation-primordial-fluctuations-curved-spaces00706nas a2200121 4500008004300000245006300043210006200106260001300168520032800181100001600509700002300525856003600548 1998 en_Ud 00aMirror Symmetry on K3 Surfaces as a Hyper-Kähler Rotation0 aMirror Symmetry on K3 Surfaces as a HyperKähler Rotation bSpringer3 aWe show that under the hypotheses of Strominger, Yau and Zaslow\\\'s paper, a mirror partner of a K3 surface $X$ with a fibration in special Lagrangian tori can be obtained by rotating the complex structure of $X$ within its hyperk\\\\\\\"ahler family of complex structures. The same hypotheses force the B-field to vanish.1 aBruzzo, Ugo1 aSanguinetti, Guido uhttp://hdl.handle.net/1963/288801052nas a2200121 4500008004300000245005900043210005900102260001300161520068500174100002100859700001400880856003600894 1998 en_Ud 00aUniqueness for discontinuous ODE and conservation laws0 aUniqueness for discontinuous ODE and conservation laws bElsevier3 aConsider a scalar O.D.E. of the form $\\\\dot x=f(t,x),$ where $f$ is possibly discontinuous w.r.t. both variables $t,x$. Under suitable assumptions, we prove that the corresponding Cauchy problem admits a unique solution, which depends H\\\\\\\"older continuously on the initial data.\\nOur result applies in particular to the case where $f$ can be written in the form $f(t,x)\\\\doteq g\\\\big( u(t,x)\\\\big)$, for some function $g$ and some solution $u$ of a scalar conservation law, say $u_t+F(u)_x=0$. In turn, this yields the uniqueness and continuous dependence of solutions to a class of $2\\\\times 2$ strictly hyperbolic systems, with initial data in $\\\\L^\\\\infty$.1 aBressan, Alberto1 aShen, Wen uhttp://hdl.handle.net/1963/369900833nas a2200121 4500008004100000245004300041210004300084260001300127520049300140100002100633700002200654856003500676 1997 en d00aCapacity theory for monotone operators0 aCapacity theory for monotone operators bSpringer3 aIf $Au=-div(a(x,Du))$ is a monotone operator defined on the Sobolev space $W^{1,p}(R^n)$, $1< p <+\\\\infty$, with $a(x,0)=0$ for a.e. $x\\\\in R^n$, the capacity $C_A(E,F)$ relative to $A$ can be defined for every pair $(E,F)$ of bounded sets in $R^n$ with $E\\\\subset F$. We prove that $C_A(E,F)$ is increasing and countably subadditive with respect to $E$ and decreasing with respect to $F$. Moreover we investigate the continuity properties of $C_A(E,F)$ with respect to $E$ and $F$.1 aDal Maso, Gianni1 aSkrypnik, Igor V. uhttp://hdl.handle.net/1963/91101348nas a2200133 4500008004100000245006700041210006400108260001000172520093800182100002001120700002001140700001801160856003601178 1997 en d00aThree-Phase Solutions of the Kadomtsev - Petviashvili Equation0 aThreePhase Solutions of the Kadomtsev Petviashvili Equation bSISSA3 aThe Kadomtsev]Petviashvili KP. equation is known to admit explicit periodic\\r\\nand quasiperiodic solutions with N independent phases, for any integer\\r\\nN, based on a Riemann theta-function of N variables. For Ns1 and 2,\\r\\nthese solutions have been used successfully in physical applications. This\\r\\narticle addresses mathematical problems that arise in the computation of\\r\\ntheta-functions of three variables and with the corresponding solutions of\\r\\nthe KP equation. We identify a set of parameters and their corresponding\\r\\nranges, such that e¨ery real-valued, smooth KP solution associated with a\\r\\nRiemann theta-function of three variables corresponds to exactly one choice\\r\\nof these parameters in the proper range. Our results are embodied in a\\r\\nprogram that computes these solutions efficiently and that is available to the\\r\\nreader. We also discuss some properties of three-phase solutions.1 aDubrovin, Boris1 aFlickinger, Ron1 aSegur, Harvey uhttp://hdl.handle.net/1963/648400381nas a2200121 4500008004100000245005900041210005900100260001000159100002000169700001600189700001800205856003600223 1994 en d00aIntegrable functional equations and algebraic geometry0 aIntegrable functional equations and algebraic geometry bSISSA1 aDubrovin, Boris1 aFokas, A.S.1 aSantini, P.M. uhttp://hdl.handle.net/1963/648200433nas a2200121 4500008004100000245008300041210006900124260001800193100002100211700002300232700002100255856003500276 1992 en d00aA variational method in image segmentation: existence and approximation result0 avariational method in image segmentation existence and approxima bSISSA Library1 aDal Maso, Gianni1 aMorel, Jean-Michel1 aSolimini, Sergio uhttp://hdl.handle.net/1963/808