Search

Parallel-in-time integration has been the focus of intensive research efforts over the past two decades due to the advent of massively parallel computer architectures and the scaling limits of purely spatial parallelization. Various iterative parallel-in-time (PinT) algorithms have been proposed, like Parareal, PFASST, MGRIT, and Space-Time Multi-Grid (STMG). These methods have been described using different notations and the convergence estimates that are available for some of them are difficult to compare. We describe Parareal, PFASST, MGRIT and STMG for the Dahlquist model problem using a common notation and give precise convergence estimates using generating functions. This allows us, for the first time, to directly compare their convergence. We prove that all four methods eventually converge super-linearly and compare them directly numerically. Our framework also allows us to find new methods. Bundesministerium für Bildung und Forschung (BMBF) European High-Performance Computing Joint Undertaking (JU)

Let $I\subset S=K[x_1,\dots,x_n]$ be a squarefree monomial ideal, $K$ a field. The $k$th squarefree power $I^{[k]}$ of $I$ is the monomial ideal of $S$ generated by all squarefree monomials belonging to $I^k$. The biggest integer $k$ such that $I^{[k]}\ne(0)$ is called the monomial grade of $I$ and it is denoted by $\nu(I)$. Let $d_k$ be the minimum degree of the monomials belonging to $I^{[k]}$. Then, $\text{depth}(S/I^{[k]})\ge d_k-1$ for all $1\le k\le\nu(I)$. The normalized depth function of $I$ is defined as $g_{I}(k)=\text{depth}(S/I^{[k]})-(d_k-1)$, $1\le k\le\nu(I)$. It is expected that $g_I(k)$ is a non-increasing function for any $I$. In this article we study the behaviour of $g_{I}(k)$ under various operations on monomial ideals. Our main result characterizes all cochordal graphs $G$ such that for the edge ideal $I(G)$ of $G$ we have $g_{I(G)}(1)=0$. They are precisely all cochordal graphs $G$ whose complementary graph $G^c$ is connected and has a cut vertex. As a far-reaching application, for given integers $1\le s, Comment: This is the final version of our paper accepted for pubblication in the Electronic Journal of Combinatorics. Some minor changes and typos fixed, bybliography updated

We survey the field of algorithms and complexity for graph problems parameterized above or below guaranteed values, a research area which was pioneered by Venkatesh Raman. Those problems seek, for a given graph $G$, a solution whose value is at least $g(G)+k$ or at most $g(G)-k$, where $g(G)$ is a guarantee on the value that any solution on $G$ takes. The goal is to design algorithms which find such solution in time whose complexity in k is decoupled from that in the guarantee, or to rule out the existence of such algorithms by means of intractability results. We discuss a large number of algorithms and intractability results, and complement them by several open problems.

We give a comparative presentation of the linear isotropic Cosserat elastic model from two perspectives: the classical Mindlin–Eringen–Nowacki description in terms of a microrotation vector and a new formulation in terms of a skew-symmetric matrix and a curvature energy in dislocation form. We provide the reader with an alternative representation of the energy for the isotropic Cosserat model to ease the comparison with the relaxed micromorphic model and the geometrically nonlinear Cosserat elastic model. © 2023 The Author(s), under license to MSP (Mathematical Sciences Publishers).

International audience; We study here the approximation by a finite-volume scheme of a heat equation forced by a Lipschitz continuous multiplicative noise in the sense of Itô. More precisely, we consider a discretization which is semi-implicit in time and a two-point flux approximation scheme (TPFA) in space. We adapt the method based on the theoremof Prokhorov to obtain a convergence in distribution result, then Skorokhod'srepresentation theorem yields the convergence of the scheme towards a martingalesolution and the Gyöngy-Krylov argument is used to prove convergence in probabilityof the scheme towards the unique variational solution of our parabolic problem.

In this paper, we present a unit cell showing a band-gap in the lower acoustic domain. The corresponding metamaterial is made up of a periodic arrangement of one unit cell. We rigorously show that the relaxed micromorphic model can be used for metamaterials’ design at large scales as soon as sufficiently large specimens are considered. We manufacture the metamaterial via metal etching procedures applied to a titanium plate so as to show that its production for realistic applications is viable. Experimental tests are also carried out confirming that the metamaterials’ response is in good agreement with the theoretical design. In order to show that our micromorphic model opens unprecedented possibilities in metastructural design, we conceive a finite-size structure that is able to focus elastic energy in a confined region, thus enabling its possible subsequent use for optimizing complex structures. Indeed, thanks to the introduction of a well-posed set of micromorphic boundary conditions, we can combine different metamaterials and classical Cauchy materials in such a way that the elastic energy produced by a source of vibrations is focused in specific collection points. The design of this structure would have not been otherwise possible (via e.g., direct simulations), due to the large dimensions of the metastructure, counting hundreds of unit cells.

We derive analytical solutions for the uniaxial extension problem for the relaxed micromorphic continuum and other generalized continua. These solutions may help in the identification of material parameters of generalized continua which are able to disclose size-effects., Comment: 16 pages, 5 figures. arXiv admin note: substantial text overlap with arXiv:2104.11322

We derive necessary and sufficient criteria for the uniqueness and existence of solutions of the abstract Cauchy problem in locally convex Hausdorff spaces. Our approach is based on a suitable notion of an asymptotic Laplace transform and extends results of Langenbruch beyond the class of Fréchet spaces.

Let R be a Cohen–Macaulay local K-algebra or a standard graded K-algebra over a field K with a canonical module $\omega _R$ . The trace of $\omega _R$ is the ideal $\operatorname {tr}(\omega _R)$ of R which is the sum of those ideals $\varphi (\omega _R)$ with ${\varphi \in \operatorname {Hom}_R(\omega _R,R)}$ . The smallest number s for which there exist $\varphi _1, \ldots , \varphi _s \in \operatorname {Hom}_R(\omega _R,R)$ with $\operatorname {tr}(\omega _R)=\varphi _1(\omega _R) + \cdots + \varphi _s(\omega _R)$ is called the Teter number of R. We say that R is of Teter type if $s = 1$ . It is shown that R is not of Teter type if R is generically Gorenstein. In the present paper, we focus especially on zero-dimensional graded and monomial K-algebras and present various classes of such algebras which are of Teter type.

We consider trace ideals in Noetherian rings and focus our attention to one-dimensional analytically irreducible local rings. For such rings we classify those Gorenstein rings which admit only a finite number of trace ideals. in press

We show that the de Rham Hilbert complex with mixed boundary conditions on bounded strong Lipschitz domains is closed and compact. The crucial results are compact embeddings which follow by abstract arguments using functional analysis together with particular regular decompositions. Higher Sobolev order results are proved as well., Comment: Key Words: Hilbert complexes, mixed boundary conditions, de Rham complex, compact embeddings, regular potentials, regular decompositions

In a cylindrical space–time domain with a convex, spatial base, we establish a local Lipschitz estimate for weak solutions to parabolic systems with Uhlenbeck structure up to the lateral boundary, provided homogeneous Dirichlet data are assumed on that part of the lateral boundary.

In this paper, we establish well-posed boundary and interface conditions for the relaxed micromorphic model that are able to unveil the scattering response of fully finite-size metamaterials' samples. The resulting relaxed micromorphic boundary value problem is implemented in finite element simulations describing the scattering of a square metamaterial's sample whose side counts 9 unit cells. The results are validated against a direct finite element simulation encoding all the details of the underlying metamaterial's microstructure. The relaxed micromorphic model can recover the scattering metamaterial's behavior for a wide range of frequencies and for all possible angles of incidence, thus showing that it is suitable to describe dynamic anisotropy. Finally, thanks to the model's computational performances, we can design a metastructure combining metamaterials and classical materials in such a way that it acts as a protection device while providing energy focusing in specific collection points. These results open important perspectives for the short-term design of sustainable structures that can control elastic waves and recover energy., Comment: 16 pages, 11 figures

The fundamental sparsest cut problem takes as input a graph $G$ together with the edge costs and demands, and seeks a cut that minimizes the ratio between the costs and demands across the cuts. For $n$-node graphs~$G$ of treewidth~$k$, \chlamtac, Krauthgamer, and Raghavendra (APPROX 2010) presented an algorithm that yields a factor-$2^{2^k}$ approximation in time $2^{O(k)} \cdot \operatorname{poly}(n)$. Later, Gupta, Talwar and Witmer (STOC 2013) showed how to obtain a $2$-approximation algorithm with a blown-up run time of $n^{O(k)}$. An intriguing open question is whether one can simultaneously achieve the best out of the aforementioned results, that is, a factor-$2$ approximation in time $2^{O(k)} \cdot \operatorname{poly}(n)$. In this paper, we make significant progress towards this goal, via the following results: (i) A factor-$O(k^2)$ approximation that runs in time $2^{O(k)} \cdot \operatorname{poly}(n)$, directly improving the work of Chlamt\'a\v{c} et al. while keeping the run time single-exponential in $k$. (ii) For any $\varepsilon>0$, a factor-$O(1/\varepsilon^2)$ approximation whose run time is $2^{O(k^{1+\varepsilon}/\varepsilon)} \cdot \operatorname{poly}(n)$, implying a constant-factor approximation whose run time is nearly single-exponential in $k$ and a factor-$O(\log^2 k)$ approximation in time $k^{O(k)} \cdot \operatorname{poly}(n)$. Key to these results is a new measure of a tree decomposition that we call combinatorial diameter, which may be of independent interest., Comment: 15 pages, 3 figures

In this paper we investigate a priori error estimates for the space-time Galerkin finite element discretization of an optimal control problem governed by a simplified linear gradient enhanced damage model. The model equations are of a special structure as the state equation consists of an elliptic PDE which has to be fulfilled at almost all times coupled with an ODE that has to hold true in almost all points in space. The state equation is discretized by a piecewise constant discontinuous Galerkin method in time and usual conforming linear finite elements in space. For the discretization of the control we employ the same discretization technique which turns out to be equivalent to a variational discretization approach. We provide error estimates of optimal order both for the discretization of the state equation as well as for the optimal control. Numerical experiments are added to illustrate the proven rates of convergence.

This article examines a linear-quadratic elliptic optimal control problem in which the cost functional and the state equation involve a highly oscillatory periodic coefficient Aε. The small parameter ε > 0 denotes the periodicity length. We propose a high-order effective control problem with constant coefficients that provides an approximation of the original one with error O(εM), where M ∈ ℕ is as large as one likes. Our analysis relies on a Bloch wave expansion of the optimal solution and is performed in two steps. In the first step, we expand the lowest Bloch eigenvalue in a Taylor series to obtain a high-order effective optimal control problem. In the second step, the original and the effective problem are rewritten in terms of the Bloch and the Fourier transform, respectively. This allows for a direct comparison of the optimal control problems via the corresponding variational inequalities, leading to our main theoretical result on the high-oder approximation.

The boundary of the multi-scale differential compactification of strata of abelian differentials admits an explicit combinatorial description. However, even for low-dimensional strata, the complexity of the boundary requires use of a computer. We give a description of the algorithms implemented in the SageMath package diffstrata to enumerate the boundary components and perform intersection theory on this space. In particular, the package can compute the Euler characteristic of strata using the methods developed by the same authors in [CMZ20]., Comment: 86 pages, 11 figures

Gelfand's trick shows that the spherical Hecke algebra of a $p$-adic split reductive group is commutative. We adapt this strategy in order to show that the spherical derived Hecke algebra is graded-commutative under mild assumptions on the coefficient ring., Comment: expanded exposition, minor changes, to appear in Int. Math. Res. Not. IMRN

For $1< p we prove an $L^{p}$-version of the generalized trace-free Korn inequality for incompatible tensor fields $P$ in $W^{1,p}_0(\operatorname {Curl}; \Omega ,\mathbb {R}^{3\times 3})$. More precisely, let $\Omega \subset \mathbb {R}^{3}$ be a bounded Lipschitz domain. Then there exists a constant $c>0$ such that \[ \lVert{ P }\rVert_{L^{p}(\Omega,\mathbb{R}^{3\times 3})}\leq c\,\left(\lVert{\operatorname{dev} \operatorname{sym} P }\rVert_{L^{p}(\Omega,\mathbb{R}^{3\times 3})} + \lVert{ \operatorname{dev} \operatorname{Curl} P }\rVert_{L^{p}(\Omega,\mathbb{R}^{3\times 3})}\right) \] holds for all tensor fields $P\in W^{1,p}_0(\operatorname {Curl}; \Omega ,\mathbb {R}^{3\times 3})$, i.e., for all $P\in W^{1,p} (\operatorname {Curl}; \Omega ,\mathbb {R}^{3\times 3})$ with vanishing tangential trace $P\times \nu =0$ on $\partial \Omega$ where $\nu$ denotes the outward unit normal vector field to $\partial \Omega$ and $\operatorname {dev} P : = P -\frac 13 \operatorname {tr}(P) {\cdot } {\mathbb {1}}$ denotes the deviatoric (trace-free) part of $P$. We also show the norm equivalence \begin{align*} &\lVert{ P }\rVert_{L^{p}(\Omega,\mathbb{R}^{3\times 3})}+\lVert{ \operatorname{Curl} P }\rVert_{L^{p}(\Omega,\mathbb{R}^{3\times 3})}\\ &\quad\leq c\,\left(\lVert{P}\rVert_{L^{p}(\Omega,\mathbb{R}^{3\times 3})} + \lVert{ \operatorname{dev} \operatorname{Curl} P }\rVert_{L^{p}(\Omega,\mathbb{R}^{3\times 3})}\right) \end{align*} for tensor fields $P\in W^{1,p}(\operatorname {Curl}; \Omega ,\mathbb {R}^{3\times 3})$. These estimates also hold true for tensor fields with vanishing tangential trace only on a relatively open (non-empty) subset $\Gamma \subseteq \partial \Omega$ of the boundary.

For a numerical semigroup ring $K[H]$ we study the trace of its canonical ideal. The colength of this ideal is called the residue of $H$. This invariant measures how far is $H$ from being symmetric, i.e. $K[H]$ from being a Gorenstein ring. We remark that the canonical trace ideal contains the conductor ideal, and we study bounds for the residue. For $3$-generated numerical semigroups we give explicit formulas for the canonical trace ideal and the residue of $H$. Thus, in this setting we can classify those whose residue is at most one (the nearly-Gorenstein ones), and we show the eventual periodic behaviour of the residue in a shifted family., Comment: 16 pages; this paper contains most of the results related to numerical semigroups from the initial version of our paper arXiv:1612.02723 [math.AC]

In the definition of irreducible holomorphic symplectic manifolds the condition of being simply connected can be replaced by vanishing irregularity. We discuss finite quotients X of complex tori where the space of reflexive 2-forms is generated by a holomorphic symplectic form, and their Lagrangian fibrations. Neither X nor the base can be smooth unless X is a 2-torus., Comment: 10 pages

It is one of the most challenging problems in applied mathematics to approximatively solve high-dimensional partial differential equations (PDEs). Recently, several deep learning-based approximation algorithms for attacking this problem have been proposed and tested numerically on a number of examples of high-dimensional PDEs. This has given rise to a lively field of research in which deep learning-based methods and related Monte Carlo methods are applied to the approximation of high-dimensional PDEs. In this article we offer an introduction to this field of research by revisiting selected mathematical results related to deep learning approximation methods for PDEs and reviewing the main ideas of their proofs. We also provide a short overview of the recent literature in this area of research., Comment: 49 pages. Compared to the first version, the manuscript has been significantly expanded. In particular, Python source code implementing several of the presented methods using PyTorch, as well as numerical simulations have been added

In earlier work, the first named author generalized the construction of Darmon-style $\mathcal{L}$-invariants to cuspidal automorphic representations of semisimple groups of higher rank, which are cohomological with respect to the trivial coefficient system and Steinberg at a fixed prime. In this paper, assuming that the Archimedean component of the group has discrete series we show that these automorphic $\mathcal{L}$-invariants can be computed in terms of derivatives of Hecke-eigenvalues in $p$-adic families. Our proof is novel even in the case of modular forms, which was established by Bertolini, Darmon, and Iovita. The main new technical ingredient is the Koszul resolution of locally analytic principal series representations by Kohlhaase and Schraen. As an application of our results we settle a conjecture of Spie{\ss}: we show that automorphic $\mathcal{L}$-invariants of Hilbert modular forms of parallel weight $2$ are independent of the sign character used to define them. Moreover, we show that they are invariant under Jacquet-Langlands transfer and, in fact, equal to the Fontaine-Mazur $\mathcal{L}$-invariant of the associated Galois representation. Under mild assumptions, we also prove the equality of automorphic and Fontaine-Mazur $\mathcal{L}$-invariants for representations of definite unitary groups of arbitrary rank. Finally, we study the case of Bianchi modular forms to show how our methods, given precise results on eigenvarieties, can also work in the absence of discrete series representations., Comment: 27 pages, expanded exposition, final version, to appear in Compositio Mathematica

Purpose: Analyze the thematic evolution of the research field on sus tainable consumption from 1999 to 2019. Originality/value: The study advances the understanding of the develop ment of the research field on sustainable consumption, analyzing the main publications and topics covered. Design/methodology/approach: Systematic literature review through a bibliometric study with analysis based on citations supported by the CitNetExplorer software, using core publication and clustering tech niques. Two hundred sixty-four articles were analyzed. Findings: The most recent publications converge on the need to change the current patterns and levels of consumption and to engage dif ferent stakeholders in participatory and co-creation processes. Also, the existence of five research clusters was identified, namely: 1. eco-effi ciency with a focus on greening the market; 2. consumer behavior with an emphasis on encouraging the purchase of green products; 3. social nature of consumption that inserts the sociological perspective; 4. dynamic approach for considering the interdisciplinarity of the field; and 5.The role of education for sustainable consumption. The various themes found reveal contributions from different areas of knowledge and the importance of developing research that integrates the dynamics of the challenges to achieve sustainable consumption. We emphasize the need for an integrated approach due to the inherent complexity of the theme that involves economic, technological, political, social, psychological, and environmental aspects for governance in favor of sus-Tainable consumption.

Over the last two decades, significant advances have been made in the design and analysis of fixed-parameter algorithms for a wide variety of graph-theoretic problems. This has resulted in an algorithmic toolbox that is by now well-established. However, these theoretical algorithmic ideas have received very little attention from the practical perspective. We survey recent trends in data reduction engineering results for selected problems. Moreover, we describe concrete techniques that may be useful for future implementations in the area and give open problems and research questions. Deutsche Forschungsgemeinschaft (DFG)

Let $\Omega \subset \mathbb{R}^3$ be an open and bounded set with Lipschitz boundary and outward unit normal $\nu$. For $11 \quad \text{if $p = \frac32$.}$$ Specifically, there exists a constant $c=c(p,\Omega,r)>0$ such that the inequality \[ \|P \|_{L^p}\leq c\,\left(\|\operatorname{sym} P \|_{L^p} + \|\operatorname{dev}\operatorname{sym} \operatorname{Curl} P \|_{L^{r}}\right) \] holds for all tensor fields $P\in W^{1,\,p, \, r}_0(\operatorname{dev}\operatorname{sym}\operatorname{Curl})$. Here, $\operatorname{dev} X := X -\frac13 \operatorname{tr}(X)\,\mathbb{1}$ denotes the deviatoric (trace-free) part of a $3 \times 3$ matrix $X$ and the boundary condition is understood in a suitable weak sense., Comment: Ref.numbers are now visible

Using a geometrically motivated 8-parameter ansatz through the thickness, we reduce a three-dimensional shell-like geometrically nonlinear Cosserat material to a fully two-dimensional shell model. Curvature effects are fully taken into account. For elastic isotropic Cosserat materials, the integration through the thickness can be performed analytically and a generalized plane stress condition allows for a closed-form expression of the thickness stretch and the nonsymmetric shift of the midsurface in bending. We obtain an explicit form of the elastic strain energy density for Cosserat shells, including terms up to order [Formula: see text] in the shell thickness h. This energy density is expressed as a quadratic function of the nonlinear elastic shell strain tensor and the bending–curvature tensor, with coefficients depending on the initial curvature of the shell.

Using $p$-adic local Langlands correspondence for $\operatorname{GL}_2(\mathbb{Q}_2)$ and an ordinary $R = \mathbb{T}$ theorem, we prove that the support of patched modules for quaternionic forms meet every irreducible component of the potentially semi-stable deformation ring. This gives a new proof of the Breuil-M\'{e}zard conjecture for 2-dimensional representations of the absolute Galois group of $\mathbb{Q}_2$, which is new in the case $\overline{r}$ a twist of an extension of the trivial character by itself. As a consequence, a local restriction in Pa\v{s}k\=unas' proof of Fontaine-Mazur conjecture is removed., Comment: Final version

We determine the convergence speed of a numerical scheme for approximating one-dimensional continuous strong Markov processes. The scheme is based on the construction of coin tossing Markov chains whose laws can be embedded into the process with a sequence of stopping times. Under a mild condition on the process' speed measure we prove that the approximating Markov chains converge at fixed times at the rate of $1/4$ with respect to every $p$-th Wasserstein distance. For the convergence of paths, we prove any rate strictly smaller than $1/4$. Our results apply, in particular, to processes with irregular behavior such as solutions of SDEs with irregular coefficients and processes with sticky points., Comment: To appear in J. Math. Anal. Appl

We introduce the notion of sortability and $t$-sortability for a simplicial complex and study the graphs for which their independence complexes are either sortable or $t$-sortable. We show that the proper interval graphs are precisely the graphs whose independence complex is sortable. By using this characterization, we show that the ideal generated by all squarefree monomials corresponding to independent sets of vertices of $G$ of size $t$ (for a given positive integer $t$) has the strong persistence property, when $G$ is a proper interval graph. Moreover, all of its powers have linear quotients.

We investigate qualitative properties of the underlying scheme of Rapoport–Zink formal moduli spaces of p-divisible groups (resp., shtukas). We single out those cases where the dimension of this underlying scheme is zero (resp., those where the dimension is the maximal possible). The model case for the first alternative is the Lubin–Tate moduli space, and the model case for the second alternative is the Drinfeld moduli space. We exhibit a complete list in both cases.

In this paper we study optimal control problems governed by a semilinear elliptic equation. The equation is nonmonotone due to the presence of a convection term, despite the monotonocity of the nonlinear term. The resulting operator is neither monotone nor coervive. However, by using conveniently a comparison principle we prove existence and uniqueness of solution for the state equation. In addition, we prove some regularity of the solution and differentiability of the relation control-to-state. This allows us to derive first and second order conditions for local optimality., Comment: 20 pages; In this version, we correct the end of Step 1 of the proof of Theorem 2.2 as well as some typos

In this paper, we consider a modified Levenberg-Marquardt method for solving an ill-posed inverse problem where the forward mapping is not Gâteaux differentiable. By relaxing the standard assumptions for the classical smooth setting, we derive asymptotic stability estimates which are then used to prove convergence of the proposed method. This method can be applied to an inverse source problem for a non-smooth semilinear elliptic PDE where a Bouligand subdifferential can be used in place of the non-existing Fréchet derivative, and we show that the corresponding Bouligand-Levenberg-Marquardt iteration is an iterative regularization scheme. Numerical examples illustrate the advantage over the corresponding Bouligand-Landweber iteration. CA Clason

The aim of this paper is to prove inequalities towards instances of the Bloch-Kato conjecture for Hilbert modular forms of parallel weight two, when the order of vanishing of the $L$-function at the central point is zero or one. We achieve this implementing an inductive Euler system argument which relies on explicit reciprocity laws for cohomology classes constructed using congruences of automorphic forms and special points on several Shimura curves., Comment: 26 pages

Fix a scheme $S$ of characteristic $p$. Let $\mathscr{M}$ be an $S$-algebraic stack and let $\mbox{Fdiv}(\mathscr{M})$ be the stack of $\mbox{F}$-divided objects, that is sequences of objects $x_i\in\mathscr{M}$ with isomorphisms $\sigma_i:x_i\to \mbox{F}^*x_{i+1}$. Let $\mathscr{X}$ be a flat, finitely presented $S$-algebraic stack and $\mathscr{X}\to \Pi_1(\mathscr{X}/S)$ the \'etale fundamental pro-groupoid, constructed in the present text. We prove that if $\mathscr{M}$ is a quasi-separated Deligne-Mumford stack and $\mathscr{X}\to S$ has geometrically reduced fibres, there is a bifunctorial isomorphism of stacks \[\mathscr{H}\!om(\Pi_1(\mathscr{X}/S),\mathscr{M}) \simeq \mathscr{H}\!om(\mathscr{X},\mbox{Fdiv}(\mathscr{M})).\] In particular, the system of relative Frobenius morphisms $\mathscr{X}\to \mathscr{X}^{p/S}\to \mathscr{X}^{p^2/S}\to\dots$ allows to recover the space of connected components $\pi_0(\mathscr{X}/S)$ and the relative \'etale fundamental gerbe. In order to obtain these results, we study the existence and properties of relative perfection for algebras in characteristic $p$., Comment: 50 pages. Improved the main result and fixed some proofs in section 5. Comments are welcome

We consider bilevel linear problems, where some parameters are stochastic, and the leader has to decide in a here-and-now fashion, while the follower has complete information. In this setting, the leader's outcome can be modeled by a random variable, which we evaluate based on some law-invariant convex risk measure. A qualitative stability result under perturbations of the underlying probability distribution is presented. Moreover, for the expectation, the expected excess, and the upper semideviation, we establish Lipschitz continuity as well as sufficient conditions for differentiability. Finally, for finite discrete distributions, we reformulate the bilevel stochastic problems as standard bilevel problems and propose a regularization scheme for bilevel linear problems.

The Feynman-Kac formula implies that every suitable classical solution of a semilinear Kolmogorov partial differential equation (PDE) is also a solution of a certain stochastic fixed point equation (SFPE). In this article we study such and related SFPEs. In particular, the main result of this work proves existence of unique solutions of certain SFPEs in a general setting. As an application of this main result we establish the existence of unique solutions of SFPEs associated with semilinear Kolmogorov PDEs with Lipschitz continuous nonlinearities even in the case where the associated semilinear Kolmogorov PDE does not possess a classical solution., Comment: 33 pages

For an algebraic number $\alpha$ we denote by $M(\alpha)$ the Mahler measure of $\alpha$. As $M(\alpha)$ is again an algebraic number (indeed, an algebraic integer), $M(\cdot)$ is a self-map on $\overline{\mathbb{Q}}$, and therefore defines a dynamical system. The \emph{orbit size} of $\alpha$, denoted $\# \mathcal{O}_M(\alpha)$, is the cardinality of the forward orbit of $\alpha$ under $M$. We prove that for every degree at least 3 and every non-unit norm, there exist algebraic numbers of every orbit size. We then prove that for algebraic units of degree 4, the orbit size must be 1, 2, or infinity. We also show that there exist algebraic units of larger degree with arbitrarily large but finite orbit size., Comment: 19 pages

We consider an optimal control problem, where a Brownian motion with drift is sequentially observed, and the sign of the drift coefficient changes at jump times of a symmetric two-state Markov process. The Markov process itself is not observable, and the problem consist in finding a {-1,1}-valued process that tracks the unobservable process as close as possible. We present an explicit construction of such a process., Comment: 18 pages

Squarefree powers of edge ideals are intimately related to matchings of the underlying graph. In this paper we give bounds for the regularity of squarefree powers of edge ideals, and we consider the question of when such powers are linearly related or have linear resolution. We also consider the so-called squarefree Ratliff property., Comment: 21 pages, 6 figures

We study the cancellation property of projective modules of rank $2$ with a trivial determinant over Noetherian rings of dimension $\leq 4$. If $R$ is a smooth affine algebra of dimension $4$ over an algebraically closed field $k$ such that $6 \in k^{\times}$, then we prove that stably free $R$-modules of rank $2$ are free if and only if a Hermitian $K$-theory group $\tilde{V}_{SL} (R)$ is trivial., Comment: 36 pages; final version; updated the numbering to match the published version

We introduce the holonomy of a singular leaf $L$ of a singular foliation as a sequence of group morphisms from $\pi_n(L)$ to the $\pi_{n-1}$ of the universal Lie $\infty$-algebroid of the transverse foliation of $L$. We include these morphisms in a long exact sequence, thus relating them to the holonomy groupoid of Androulidakis and Skandalis and to a similar construction by Brahic and Zhu for Lie algebroids.

Let $I \subset K[x,y]$ be a monomial ideal. How small can $\mu(I^2)$ be in terms of $\mu(I)$? It has been expected that the inequality $\mu(I^2) > \mu(I)$ should hold whenever $\mu(I) \ge 2$. Here we disprove this expectation and provide a somewhat surprising answer to the above question.

We consider a class of nonlinear elliptic problems associated with models in biophysics, which are described by the Poisson-Boltzmann equation (PBE). We prove mathematical correctness of the problem, study a suitable class of approximations, and deduce guaranteed and fully computable bounds of approximation errors. The latter goal is achieved by means of the approach suggested in [S. Repin, A posteriori error estimation for variational problems with uniformly convex functionals. Math. Comp., 69:481-500, 2000] for convex variational problems. Moreover, we establish the error identity, which defines the error measure natural for the considered class of problems and show that it yields computable majorants and minorants of the global error as well as indicators of local errors that provide efficient adaptation of meshes. Theoretical results are confirmed by a collection of numerical tests that includes problems on $2D$ and $3D$ Lipschitz domains., Comment: 34 pages, 18 figures

We consider the method of quasi-solutions (also referred to as Ivanov regularization) for the regularization of linear ill-posed problems in non-reflexive Banach spaces. Using the equivalence to a metric projection onto the image of the forward operator, it is possible to show regularization properties and to characterize parameter choice rules that lead to a convergent regularization method, which includes the Morozov discrepancy principle. Convergence rates in a suitably chosen Bregman distance can be obtained as well. We also address the numerical computation of quasi-solutions to inverse source problems for partial differential equations in L ∞ ⁢ ( Ω ) {L^{\infty}(\Omega)} using a semi-smooth Newton method and a backtracking line search for the parameter choice according to the discrepancy principle. Numerical examples illustrate the behavior of quasi-solutions in this setting.

International audience; In this paper, we show that the transient waveforms arising from several localised pulses in a micro-structured material can be reproduced by a corresponding generalised continuum of the relaxed micromorphic type. Specifically, we compare the dynamic response of a bounded micro-structured material to that of bounded continua with special kinematic properties: (i) the relaxed micromorphic continuum and (ii) an equivalent Cauchy linear elastic continuum. We show that, while the Cauchy theory is able to describe the overall behaviour of the metastructure only at low frequencies, the relaxed micromorphic model goes far beyond by giving a correct description of the pulse propagation in the frequency band-gap and at frequencies intersecting the optical branches. In addition, we observe a computational time reduction associated with the use of the relaxed micromorphic continuum, compared to the sensible computational time needed to perform a transient computation in a micro-structured domain.

We prove some qualitative results about the $p$-adic Jacquet--Langlands correspondence defined by Scholze, in the $GL(2,Q_p)$, residually reducible case, by using a vanishing theorem proved by Judith Ludwig. In particular, we show that in the cases under consideration the $p$-adic Jacquet--Langlands correspondence can also deal with principal series representations in a non-trivial way, unlike its classical counterpart., Comment: 33 pages, v3: minor changes, final version

We study the problem of finding good gauges for connections in higher gauge theories. We find that, for $2$-connections in strict $2$-gauge theory and $3$-connections in $3$-gauge theory, there are local "Coulomb gauges" that are more canonical than in classical gauge theory. In particular, they are essentially unique, and no smallness of curvature is needed in the critical dimensions. We give natural definitions of $2$-Yang-Mills and $3$-Yang-Mills theory and find that the choice of good gauges makes them essentially linear. As an application, (anti-)selfdual $2$-connections over $B^6$ are always $2$-Yang-Mills, and (anti-)selfdual $3$-connections over $B^8$ are always $3$-Yang-Mills.

We extend the notion of metric measure spaces to so-called metric two-level measure spaces (m2m spaces): An m2m space ( X , r , ν ) is a Polish metric space ( X , r ) equipped with a two-level measure ν ∈ M f ( M f ( X ) ) , i.e. a finite measure on the set of finite measures on X . We introduce a topology on the set of (equivalence classes of) m2m spaces induced by certain test functions (i. e. the initial topology with respect to these test functions) and show that this topology is Polish by providing a complete metric. The framework introduced in this article is motivated by possible applications in biology. It is well suited for modeling the random evolution of the genealogy of a population in a hierarchical system with two levels, for example, host–parasite systems or populations which are divided into colonies. As an example we apply our theory to construct a random m2m space modeling the genealogy of a nested Kingman coalescent.

In [Ald00], Aldous investigates a symmetric Markov chain on cladograms and gives bounds on its mixing and relaxation times. The latter bound was sharpened in [Sch02]. In the present paper we encode cladograms as binary, algebraic measure trees and show that this Markov chain on cladograms with fixed number of leaves converges in distribution as the number of leaves goes to infinity. We give a rigorous construction of the limit, whose existence was conjectured by Aldous and which we therefore refer to as Aldous diffusion, as a solution of a well-posed martingale problem. We show that the Aldous diffusion is a Feller process with continuous paths, and the algebraic measure Brownian CRT is its unique invariant distribution. Furthermore, we consider the vector of the masses of the three subtrees connected to a sampled branch point. In the Brownian CRT, its annealed law is known to be the Dirichlet distribution. Here, we give an explicit expression for the infinitesimal evolution of its quenched law under the Aldous diffusion., Comment: final version (in press at AOP now)