Showing 1–50 of 102 results for author: Müller, P

On Euler's magic matrices of sizes $3$ and $8$

Authors: Peter Müller

Abstract: A proper Euler's magic matrix is an integer $n\times n$ matrix $M\in\mathbb Z^{n\times n}$ such that $M\cdot M^t=γ\cdot I$ for some nonzero constant $γ$, the sum of the squares of the entries along each of the two main diagonals equals $γ$, and the squares of all entries in $M$ are pairwise distinct. Euler constructed such matrices for $n=4$. In this work, we construct examples for $n=8$ and prove… ▽ More A proper Euler's magic matrix is an integer $n\times n$ matrix $M\in\mathbb Z^{n\times n}$ such that $M\cdot M^t=γ\cdot I$ for some nonzero constant $γ$, the sum of the squares of the entries along each of the two main diagonals equals $γ$, and the squares of all entries in $M$ are pairwise distinct. Euler constructed such matrices for $n=4$. In this work, we construct examples for $n=8$ and prove that no such matrix exists for $n=3$. △ Less

Submitted 22 April, 2025; originally announced April 2025.

Comments: 12 pages

MSC Class: 11C20 (Primary) 15B36 (Secondary)

Normal subgroups and permutation characters: a correction to a proof of Klingen

Authors: Peter Muller, Pablo Spiga

Abstract: Let $G$ be a finite group. For subgroups $U$ and $V$ let $1_U^G$ and $1_V^G$ be the permutation characters for the action of $G$ on the right cosets of $U$ and $V$, respectively. Let $N$ be a normal subgroup of $G$. Norbert Klingen, in his book, shows that if $1_U^G=1_V^G$, then $1_{NU}^G=1_{NV}^G$. We give a counterexample to an argument in his proof and we give a new proof of this statement. Let $G$ be a finite group. For subgroups $U$ and $V$ let $1_U^G$ and $1_V^G$ be the permutation characters for the action of $G$ on the right cosets of $U$ and $V$, respectively. Let $N$ be a normal subgroup of $G$. Norbert Klingen, in his book, shows that if $1_U^G=1_V^G$, then $1_{NU}^G=1_{NV}^G$. We give a counterexample to an argument in his proof and we give a new proof of this statement. △ Less

Submitted 7 April, 2025; originally announced April 2025.

Comments: 2 pages

Bounding Radial Variation of positive harmonic Functions on Lipschitz Domains

Authors: Jakob Fromherz, Paul F. X. Müller, Katharina Riegler

Abstract: We provide radial variational estimates for positive harmonic functions on Lipschitz domains in higher dimensions. The intention of this paper is to document an updated and refined version of arXiv:2003.07176 which modifies the proof of Mozolyako and Havin for Lipschitz domains. We provide radial variational estimates for positive harmonic functions on Lipschitz domains in higher dimensions. The intention of this paper is to document an updated and refined version of arXiv:2003.07176 which modifies the proof of Mozolyako and Havin for Lipschitz domains. △ Less

Submitted 30 January, 2025; originally announced January 2025.

MSC Class: 31B25; 31B10; 31B05; 31A20

Fast 3D Partial Boundary Data EIT Reconstructions using Direct Inversion CGO-based Methods

Authors: Sarah J. Hamilton, Peter Muller, Ville Kolehmainen, Jussi Toivanen

Abstract: The first partial boundary data complex geometrical optics based methods for electrical impedance tomography in three dimensions are developed, and tested, on simulated and experimental data. The methods provide good localization of targets for both absolute and time-difference imaging, when large portions of the domain are inaccessible for measurement. As most medical applications of electrical i… ▽ More The first partial boundary data complex geometrical optics based methods for electrical impedance tomography in three dimensions are developed, and tested, on simulated and experimental data. The methods provide good localization of targets for both absolute and time-difference imaging, when large portions of the domain are inaccessible for measurement. As most medical applications of electrical impedance tomography are limited to partial boundary data, the development of partial boundary algorithms is highly desirable. While iterative schemes have been used traditionally, their high computational cost makes them cost-prohibitive for applications that need fast imaging. The proposed algorithms require no iteration and provide informative absolute or time-difference images exceptionally quickly in under 2 seconds. Reconstructions are compared to reference reconstructions from standard linear difference imaging (30 seconds) and total variation regularized absolute imaging (several minutes) The algorithms perform well under high levels of noise and incorrect domain modeling. △ Less

Submitted 13 December, 2024; originally announced December 2024.

Comments: 10 pages, 9 figures, 1 table

A note about solvable and non-solvable finite groups of the same order type

Authors: Peter Müller

Abstract: Two finite groups are said to have the same order type if for each positive integer $n$ both groups have the same number of elements of order $n$. In 1987 John G. Thompson asked if in this case the solvability of one group implies the solvability of the other group. In 2024 Pawel Piwek gave a negative example. He constructed two groups of order… ▽ More Two finite groups are said to have the same order type if for each positive integer $n$ both groups have the same number of elements of order $n$. In 1987 John G. Thompson asked if in this case the solvability of one group implies the solvability of the other group. In 2024 Pawel Piwek gave a negative example. He constructed two groups of order $2^{365}\cdot3^{105}\cdot7^{104}\approx7.3\cdot10^{247}$ of the same order type, where only one is solvable. In this note we produce a much smaller example of order $2^{13}\cdot3^4\cdot7^3=227598336$. △ Less

Submitted 14 August, 2024; originally announced August 2024.

MSC Class: 20D60 (Primary)

Enhanced area law in the Widom-Sobolev formula for the free Dirac operator in arbitrary dimension

Authors: Leon Bollmann, Peter Müller

Abstract: We prove a logarithmically enhanced area law for all Rényi entanglement entropies of the ground state of a free gas of relativistic Dirac fermions. Such asymptotics occur in any dimension if the modulus of the Fermi energy is larger than the mass of the particles and in the massless case at Fermi energy zero in one space dimension. In all other cases of mass, Fermi energy and dimension, the entang… ▽ More We prove a logarithmically enhanced area law for all Rényi entanglement entropies of the ground state of a free gas of relativistic Dirac fermions. Such asymptotics occur in any dimension if the modulus of the Fermi energy is larger than the mass of the particles and in the massless case at Fermi energy zero in one space dimension. In all other cases of mass, Fermi energy and dimension, the entanglement entropy grows no faster than the area of the involved spatial region. The result is established for a general class of test functions which includes the ones corresponding to Rényi entropies and relies on a recently proved extension of the Widom-Sobolev formula to matrix-valued symbols by the authors. △ Less

Submitted 23 May, 2024; originally announced May 2024.

Comments: 18 pages

Journal ref: Pure Appl. Analysis 7 (2025) 595-613

On the return probability of the simple random walk on Galton-Watson trees

Authors: Peter Müller, Jakob Stern

Abstract: We consider the simple random walk on Galton-Watson trees with supercritical offspring distribution, conditioned on non-extinction. In case the offspring distribution has finite support, we prove an upper bound for the annealed return probability to the root which decays subexponentially in time with exponent 1/3. This exponent is optimal. Our result improves the previously known subexponential up… ▽ More We consider the simple random walk on Galton-Watson trees with supercritical offspring distribution, conditioned on non-extinction. In case the offspring distribution has finite support, we prove an upper bound for the annealed return probability to the root which decays subexponentially in time with exponent 1/3. This exponent is optimal. Our result improves the previously known subexponential upper bound with exponent 1/5 by Piau [Ann. Probab. 26, 1016-1040 (1998)]. For offspring distributions with unbounded support but sufficiently fast decay, our method also yields improved subexponential upper bounds. △ Less

Submitted 3 January, 2025; v1 submitted 2 February, 2024; originally announced February 2024.

Comments: 23 pages. To appear in Electron. J. Probab. Changes in v2: Theorem 1.3 strengthened due to an improvement in Lemma 3.6

MSC Class: 05C81; 60K37; 60J80

Journal ref: Electron. J. Probab. 30, 10 (2025), 23 pages

A note on Galois groups of linearized polynomials

Authors: Peter Müller

Abstract: Let $L(X)$ be a monic $q$-linearized polynomial over $F_q$ of degree $q^n$, where $n$ is an odd prime. Recently Gow and McGuire showed that the Galois group of $L(X)/X-t$ over the field of rational functions $F_q(t)$ is $GL_n(q)$ unless $L(X)=X^{q^n}$. The case of even $q$ remained open, but it was conjectured that the result holds too and partial results were given. In this note we settle this co… ▽ More Let $L(X)$ be a monic $q$-linearized polynomial over $F_q$ of degree $q^n$, where $n$ is an odd prime. Recently Gow and McGuire showed that the Galois group of $L(X)/X-t$ over the field of rational functions $F_q(t)$ is $GL_n(q)$ unless $L(X)=X^{q^n}$. The case of even $q$ remained open, but it was conjectured that the result holds too and partial results were given. In this note we settle this conjecture. In fact we use Hensel's Lemma to give a unified proof for all prime powers $q$. △ Less

Submitted 25 November, 2023; originally announced November 2023.

Comments: 5 pages

MSC Class: 12E05 (Primary) 12F10 (Secondary)

The Widom-Sobolev formula for discontinuous matrix-valued symbols

Authors: Leon Bollmann, Peter Müller

Abstract: We prove the Widom-Sobolev formula for the asymptotic behaviour of truncated Wiener-Hopf operators with discontinuous matrix-valued symbols for three different classes of test functions. The symbols may depend on both position and momentum except when closing the asymptotics for twice differentiable test functions with Hölder singularities. The cut-off domains are allowed to have piecewise differe… ▽ More We prove the Widom-Sobolev formula for the asymptotic behaviour of truncated Wiener-Hopf operators with discontinuous matrix-valued symbols for three different classes of test functions. The symbols may depend on both position and momentum except when closing the asymptotics for twice differentiable test functions with Hölder singularities. The cut-off domains are allowed to have piecewise differentiable boundaries. In contrast to the case where the symbol is smooth in one variable, the resulting coefficient in the enhanced area law we obtain here remains as explicit for matrix-valued symbols as it is for scalar-valued symbols. △ Less

Submitted 24 January, 2025; v1 submitted 10 November, 2023; originally announced November 2023.

Comments: 41 pages; v3: as published; changes in v2: Introduction changed. New Remark 3.4 adds information on the scaling properties of the constants in Lemma 3.3. Proof of Theorem 3.9 corrected and expanded. Proof of Theorem 4.22 reorganised with parts of it now contained in the new Lemma 4.19

Journal ref: J. Funct. Anal. 287, 110651 (2024), 54 pages

Multipliers on bi-parameter Haar system Hardy spaces

Authors: Richard Lechner, Pavlos Motakis, Paul F. X. Müller, Thomas Schlumprecht

Abstract: Let $(h_I)$ denote the standard Haar system on $[0,1]$, indexed by $I\in \mathcal D$, the set of dyadic intervals and $h_I\otimes h_J$ denote the tensor product $(s,t)\mapsto h_I(s) h_J(t)$, $I,J\in \mathcal D$. We consider a class of two-parameter function spaces which are completions of the linear span $\mathcal{V}(δ^2)$ of $h_I\otimes h_J$, $I,J\in \mathcal D$. This class contains all the spa… ▽ More Let $(h_I)$ denote the standard Haar system on $[0,1]$, indexed by $I\in \mathcal D$, the set of dyadic intervals and $h_I\otimes h_J$ denote the tensor product $(s,t)\mapsto h_I(s) h_J(t)$, $I,J\in \mathcal D$. We consider a class of two-parameter function spaces which are completions of the linear span $\mathcal{V}(δ^2)$ of $h_I\otimes h_J$, $I,J\in \mathcal D$. This class contains all the spaces of the form $X(Y)$, where $X$ and $Y$ are either the Lebesgue spaces $L_p[0,1]$ or the Hardy spaces $H_p[0,1]$, $1\le p<\infty$. We say that $D\colon X(Y)\to X(Y)$ is a Haar multiplier if $D(h_I\otimes h_J) = d_{I,J} h_I\otimes h_J$, where $d_{I,J}\in \mathbb{R}$, and ask which more elementary operators factor through $D$. A decisive role plays the {\em Capon projection} $\mathcal{C}\colon \mathcal{V}(δ^2)\to \mathcal{V}(δ^2)$ given by $\mathcal{C} h_I\otimes h_J = h_I\otimes h_J$ if $|I|\leq |J|$, and $\mathcal{C} h_I\otimes h_J = 0$ if $|I| > |J|$, as our main result highlights: Given any bounded Haar multiplier $D\colon X(Y)\to X(Y)$, there exist $λ,μ\in \mathbb{R}$ such that \begin{equation*} \text{$λ\mathcal{C} + μ(\mathrm{Id}-\mathcal{C})$ approximately $1$-projectionally factors through $D$,} \end{equation*} i.e., for all $η>0$, there exist bounded operators $A,B$ so that $AB$ is the identity operator $\mathrm{Id}$, $\|A\|\cdot\|B\|=1$ and $\|λ\mathcal{C} + μ(\mathrm{Id}-\mathcal{C}) - ADB\|<η$. Additionally, if $\mathcal{C}$ is unbounded on $X(Y)$, then $λ= μ$ and then $\mathrm{Id}$ either factors through $D$ or $\mathrm{Id}-D$. △ Less

Submitted 5 December, 2023; v1 submitted 19 October, 2023; originally announced October 2023.

Comments: 57 pages, 8 figures

MSC Class: 46B25

Regression with Variable Dimension Covariates

Authors: Peter Mueller, Fernando Andrés Quintana, Garritt L. Page

Abstract: Regression is one of the most fundamental statistical inference problems. A broad definition of regression problems is as estimation of the distribution of an outcome using a family of probability models indexed by covariates. Despite the ubiquitous nature of regression problems and the abundance of related methods and results there is a surprising gap in the literature. There are no well establis… ▽ More Regression is one of the most fundamental statistical inference problems. A broad definition of regression problems is as estimation of the distribution of an outcome using a family of probability models indexed by covariates. Despite the ubiquitous nature of regression problems and the abundance of related methods and results there is a surprising gap in the literature. There are no well established methods for regression with a varying dimension covariate vectors, despite the common occurrence of such problems. In this paper we review some recent related papers proposing varying dimension regression by way of random partitions. △ Less

Submitted 25 September, 2023; originally announced September 2023.

On transitive sets of derangements in primitive groups

Authors: Peter Müller

Abstract: We construct a primitive permutation action of the Steinberg triality group $^3D_4(2)$ of degree $4064256$ and show that there are distinct points $α,β$ such that there is no derangement $g\in{^3D_4}(2)$ with $α^g=β$. This answers a question by John G. Thompson (Problem 8.75 in the Kourovka Notebook) in the negative. We construct a primitive permutation action of the Steinberg triality group $^3D_4(2)$ of degree $4064256$ and show that there are distinct points $α,β$ such that there is no derangement $g\in{^3D_4}(2)$ with $α^g=β$. This answers a question by John G. Thompson (Problem 8.75 in the Kourovka Notebook) in the negative. △ Less

Submitted 19 April, 2023; v1 submitted 17 April, 2023; originally announced April 2023.

Comments: Added ancillary file with the program code and made some minor edits

MSC Class: 20B15

Fast Absolute 3D CGO-Based Electrical Impedance Tomography on Experimental Tank Data

Authors: S. J. Hamilton, P. A. Muller, D. Isaacson, V. Kolehmainen, J. Newell, O. Rajabi Shishvan, G. Saulnier, J. Toivanen

Abstract: Objective: To present the first 3D CGO-based absolute EIT reconstructions from experimental tank data. Approach: CGO-based methods for absolute EIT imaging are compared to traditional TV regularized non-linear least squares reconstruction methods. Additional robustness testing is performed by considering incorrect model\textbf{}ing of domain shape. Main Results: The CGO-based methods are fast, and… ▽ More Objective: To present the first 3D CGO-based absolute EIT reconstructions from experimental tank data. Approach: CGO-based methods for absolute EIT imaging are compared to traditional TV regularized non-linear least squares reconstruction methods. Additional robustness testing is performed by considering incorrect model\textbf{}ing of domain shape. Main Results: The CGO-based methods are fast, and show strong robustness to incorrect domain modeling comparable to classic difference EIT imaging and fewer boundary artefacts than the TV regularized non-linear least squares reference reconstructions. Significance: This work is the first to demonstrate fully 3D CGO-based absolute EIT reconstruction on experimental data and also compares to TV-regularized absolute reconstruction. The speed (1-5 seconds) and quality of the reconstructions is encouraging for future work in absolute EIT. △ Less

Submitted 4 January, 2023; originally announced January 2023.

Comments: 23 pages, 7 figures, 3 tables

Journal ref: Physiol. Meas. 43 124001 (2022)

Martingale Type, the Gamlen-Gaudet Construction and a Greedy Algorithm

Authors: Krystian Kazaniecki, Paul F. X. Müller

Abstract: In the present paper we identify those filtered probability spaces $(Ω,\, \mathcal{F},\, \left(\mathcal{F}_n\right),\, \mathbb{P})$ that determine already the martingale type of a Banach space $X$. We isolate intrinsic conditions on the filtration $(\mathcal{F}_n)$ of purely atomic $σ$-algebras which determine that the upper $\ell^p$ estimates \[ \|f\|_{L^p(Ω,\, X)}^p\leq C^p\left( \|\mathbb{E… ▽ More In the present paper we identify those filtered probability spaces $(Ω,\, \mathcal{F},\, \left(\mathcal{F}_n\right),\, \mathbb{P})$ that determine already the martingale type of a Banach space $X$. We isolate intrinsic conditions on the filtration $(\mathcal{F}_n)$ of purely atomic $σ$-algebras which determine that the upper $\ell^p$ estimates \[ \|f\|_{L^p(Ω,\, X)}^p\leq C^p\left( \|\mathbb{E} f|\mathcal{F}_0\|^p_{L^p(Ω,\, X)}+\sum_{n=1}^{\infty} \|Δ_n f\|^p_{L^p(Ω,\, X)}\right),\qquad f\in L^p(Ω,X)\] imply that the Banach space $X$ is of martingale type $p$. Our paper complements \mbox{G. Pisier's} investigation \cite{Pisier1975} and continues the work by S. Geiss and second named author in \cite{Geiss2008}. △ Less

Submitted 29 January, 2024; v1 submitted 15 December, 2022; originally announced December 2022.

Comments: We added: References, additional explanations, improvements. We remove typos and misprints

MSC Class: 2020: 46B20; 46B09; 46B07

Application of p-Laplacian relaxed steepest descent to shape optimization in two-phase flows

Authors: Peter Marvin Müller, Martin Siebenborn, Thomas Rung

Abstract: The paper is concerned with the minimal drag problem in shape optimization of merchant ships exposed to turbulent two-phase flows. Attention is directed to the solution of Reynolds Averaged Navier-Stokes equations using a Finite Volume method. Central aspects are the use of a p-Laplacian relaxed steepest descent direction and the introduction of crucial technical constraints to the optimization pr… ▽ More The paper is concerned with the minimal drag problem in shape optimization of merchant ships exposed to turbulent two-phase flows. Attention is directed to the solution of Reynolds Averaged Navier-Stokes equations using a Finite Volume method. Central aspects are the use of a p-Laplacian relaxed steepest descent direction and the introduction of crucial technical constraints to the optimization procedure, i.e. the center of buoyancy and the displacement of the underwater hull. The example included refers to the frequently investigated Kriso container ship (KCS). △ Less

Submitted 18 July, 2022; originally announced July 2022.

Comments: 11 pages, 7 figures, YRM & CSE Workshop on Modeling, Simulation & Optimization of Fluid Dynamic Applications 2022

ACM Class: G.1.6; G.1.8

Endpoint entropy Fefferman-Stein bounds for commutators

Authors: Pamela A. Muller, Israel P. Rivera-Ríos

Abstract: In this paper endpoint entropy Fefferman-Stein bounds for Calderón-Zygmund operators introduced by Rahm in are extended to iterated Coifman-Rochberg-Weiss commutators. In this paper endpoint entropy Fefferman-Stein bounds for Calderón-Zygmund operators introduced by Rahm in are extended to iterated Coifman-Rochberg-Weiss commutators. △ Less

Submitted 20 June, 2022; originally announced June 2022.

Comments: 17 pages

Learning in Mean Field Games: A Survey

Authors: Mathieu Laurière, Sarah Perrin, Julien Pérolat, Sertan Girgin, Paul Muller, Romuald Élie, Matthieu Geist, Olivier Pietquin

Abstract: Non-cooperative and cooperative games with a very large number of players have many applications but remain generally intractable when the number of players increases. Introduced by Lasry and Lions, and Huang, Caines and Malhamé, Mean Field Games (MFGs) rely on a mean-field approximation to allow the number of players to grow to infinity. Traditional methods for solving these games generally rely… ▽ More Non-cooperative and cooperative games with a very large number of players have many applications but remain generally intractable when the number of players increases. Introduced by Lasry and Lions, and Huang, Caines and Malhamé, Mean Field Games (MFGs) rely on a mean-field approximation to allow the number of players to grow to infinity. Traditional methods for solving these games generally rely on solving partial or stochastic differential equations with a full knowledge of the model. Recently, Reinforcement Learning (RL) has appeared promising to solve complex problems at scale. The combination of RL and MFGs is promising to solve games at a very large scale both in terms of population size and environment complexity. In this survey, we review the quickly growing recent literature on RL methods to learn equilibria and social optima in MFGs. We first identify the most common settings (static, stationary, and evolutive) of MFGs. We then present a general framework for classical iterative methods (based on best-response computation or policy evaluation) to solve MFGs in an exact way. Building on these algorithms and the connection with Markov Decision Processes, we explain how RL can be used to learn MFG solutions in a model-free way. Last, we present numerical illustrations on a benchmark problem, and conclude with some perspectives. △ Less

Submitted 26 July, 2024; v1 submitted 25 May, 2022; originally announced May 2022.

A Scalable Algorithm for Shape Optimization with Geometric Constraints in Banach Spaces

Authors: Peter Marvin Müller, Jose Pinzon, Thomas Rung, Martin Siebenborn

Abstract: This work develops an algorithm for PDE-constrained shape optimization based on Lipschitz transformations. Building on previous work in this field, the $p$-Laplace operator is utilized to approximate a descent method for Lipschitz shapes. In particular, it is shown how geometric constraints are algorithmically incorporated avoiding penalty terms by assigning them to the subproblem of finding a sui… ▽ More This work develops an algorithm for PDE-constrained shape optimization based on Lipschitz transformations. Building on previous work in this field, the $p$-Laplace operator is utilized to approximate a descent method for Lipschitz shapes. In particular, it is shown how geometric constraints are algorithmically incorporated avoiding penalty terms by assigning them to the subproblem of finding a suitable descent direction. A special focus is placed on the scalability of the proposed methods for large scale parallel computers via the application of multigrid solvers. The preservation of mesh quality under large deformations, where shape singularities have to be smoothed or generated within the optimization process, is also discussed. It is shown that the interaction of hierarchically refined grids and shape optimization can be realized by the choice of appropriate descent directions. The performance of the proposed methods is demonstrated for energy dissipation minimization in fluid dynamics applications. △ Less

Submitted 4 May, 2022; originally announced May 2022.

Scalable Deep Reinforcement Learning Algorithms for Mean Field Games

Authors: Mathieu Laurière, Sarah Perrin, Sertan Girgin, Paul Muller, Ayush Jain, Theophile Cabannes, Georgios Piliouras, Julien Pérolat, Romuald Élie, Olivier Pietquin, Matthieu Geist

Abstract: Mean Field Games (MFGs) have been introduced to efficiently approximate games with very large populations of strategic agents. Recently, the question of learning equilibria in MFGs has gained momentum, particularly using model-free reinforcement learning (RL) methods. One limiting factor to further scale up using RL is that existing algorithms to solve MFGs require the mixing of approximated quant… ▽ More Mean Field Games (MFGs) have been introduced to efficiently approximate games with very large populations of strategic agents. Recently, the question of learning equilibria in MFGs has gained momentum, particularly using model-free reinforcement learning (RL) methods. One limiting factor to further scale up using RL is that existing algorithms to solve MFGs require the mixing of approximated quantities such as strategies or $q$-values. This is far from being trivial in the case of non-linear function approximation that enjoy good generalization properties, e.g. neural networks. We propose two methods to address this shortcoming. The first one learns a mixed strategy from distillation of historical data into a neural network and is applied to the Fictitious Play algorithm. The second one is an online mixing method based on regularization that does not require memorizing historical data or previous estimates. It is used to extend Online Mirror Descent. We demonstrate numerically that these methods efficiently enable the use of Deep RL algorithms to solve various MFGs. In addition, we show that these methods outperform SotA baselines from the literature. △ Less

Submitted 17 June, 2022; v1 submitted 22 March, 2022; originally announced March 2022.

Separate Exchangeability as Modeling Principle in Bayesian Nonparametrics

Authors: Giovanni Rebaudo, Qiaohui Lin, Peter Mueller

Abstract: We argue for the use of separate exchangeability as a modeling principle in Bayesian nonparametric (BNP) inference. Separate exchangeability is \emph{de facto} widely applied in the Bayesian parametric case, e.g., it naturally arises in simple mixed models. However, while in some areas, such as random graphs, separate and (closely related) joint exchangeability are widely used, it is curiously und… ▽ More We argue for the use of separate exchangeability as a modeling principle in Bayesian nonparametric (BNP) inference. Separate exchangeability is \emph{de facto} widely applied in the Bayesian parametric case, e.g., it naturally arises in simple mixed models. However, while in some areas, such as random graphs, separate and (closely related) joint exchangeability are widely used, it is curiously underused for several other applications in BNP. We briefly review the definition of separate exchangeability focusing on the implications of such a definition in Bayesian modeling. We then discuss two tractable classes of models that implement separate exchangeability that are the natural counterparts of familiar partially exchangeable BNP models. The first is nested random partitions for a data matrix, defining a partition of columns and nested partitions of rows, nested within column clusters. Many recent models for nested partitions implement partially exchangeable models related to variations of the well-known nested Dirichlet process. We argue that inference under such models in some cases ignores important features of the experimental setup. We obtain the separately exchangeable counterpart of such partially exchangeable partition structures. The second class is about setting up separately exchangeable priors for a nonparametric regression model when multiple sets of experimental units are involved. We highlight how a Dirichlet process mixture of linear models known as ANOVA DDP can naturally implement separate exchangeability in such regression problems. Finally, we illustrate how to perform inference under such models in two real data examples. △ Less

Submitted 20 June, 2024; v1 submitted 14 December, 2021; originally announced December 2021.

Stability of a Szegő-type asymptotics

Authors: Peter Müller, Ruth Schulte

Abstract: We consider a multi-dimensional continuum Schrödinger operator $H$ which is given by a perturbation of the negative Laplacian by a compactly supported bounded potential. We show that, for a fairly large class of test functions, the second-order Szegő-type asymptotics for the spatially truncated Fermi projection of $H$ is independent of the potential and, thus, identical to the known asymptotics of… ▽ More We consider a multi-dimensional continuum Schrödinger operator $H$ which is given by a perturbation of the negative Laplacian by a compactly supported bounded potential. We show that, for a fairly large class of test functions, the second-order Szegő-type asymptotics for the spatially truncated Fermi projection of $H$ is independent of the potential and, thus, identical to the known asymptotics of the Laplacian. △ Less

Submitted 3 January, 2023; v1 submitted 26 April, 2021; originally announced April 2021.

Comments: Version as to appear in the special issue of J Math Phys dedicated to Abel Klein

MSC Class: 35J10 (Primary); 47B35 (Secondary)

Journal ref: J. Math. Phys. 64, 022101 (2023), 11 pages

A Novel $p$-Harmonic Descent Approach Applied to Fluid Dynamic Shape Optimization

Authors: Peter Marvin Müller, Niklas Kühl, Martin Siebenborn, Klaus Deckelnick, Michael Hinze, Thomas Rung

Abstract: We introduce a novel method for the implementation of shape optimziation in fluid dynamics applications, where we propose to use the shape derivative to determine deformation fields with the help of the $p-$ Laplacian for $p > 2$. This approach is closely related to the computation of steepest descent directions of the shape functional in the $W^{1,\infty}-$ topology. Our approach is demonstrated… ▽ More We introduce a novel method for the implementation of shape optimziation in fluid dynamics applications, where we propose to use the shape derivative to determine deformation fields with the help of the $p-$ Laplacian for $p > 2$. This approach is closely related to the computation of steepest descent directions of the shape functional in the $W^{1,\infty}-$ topology. Our approach is demonstrated for shape optimization related to drag-minimal free floating bodies. The method is validated against existing approaches with respect to convergence of the optimization algorithm, the obtained shape, and regarding the quality of the computational grid after large deformations. Our numerical results strongly indicate that shape optimization related to the $W^{1,\infty}$-topology -- though numerically more demanding -- seems to be superior over the classical approaches invoking Hilbert space methods, concerning the convergence, the obtained shapes and the mesh quality after large deformations, in particular when the optimal shape features sharp corners. △ Less

Submitted 26 March, 2021; originally announced March 2021.

MSC Class: 35Q93; 49Q10; 35R30; 49K20

Quantitative matrix weighted estimates for certain singular integral operators

Authors: Pamela A. Muller, Israel P. Rivera-Ríos

Abstract: In this paper quantitative weighted matrix estimates for vector valued extensions of $L^{r'}$-Hörmander operators and rough singular integrals are studied. Strong type $(p,p)$ estimates, endpoint estimates, and some new results on Coifman-Fefferman estimates assuming $A_\infty$ and $C_p$ condition counterparts are provided. To prove the aforementioned estimates we rely upon some suitable convex bo… ▽ More In this paper quantitative weighted matrix estimates for vector valued extensions of $L^{r'}$-Hörmander operators and rough singular integrals are studied. Strong type $(p,p)$ estimates, endpoint estimates, and some new results on Coifman-Fefferman estimates assuming $A_\infty$ and $C_p$ condition counterparts are provided. To prove the aforementioned estimates we rely upon some suitable convex body domination results that we settle as well in this paper. △ Less

Submitted 24 March, 2021; originally announced March 2021.

Comments: 31 pages

The space $L_1(L_p)$ is primary for $1<p<\infty$

Authors: Richard Lechner, Pavlos Motakis, Paul F. X. Müller, Thomas Schlumprecht

Abstract: The classical Banach space $L_1(L_p)$ consists of measurable scalar functions $f$ on the unit square for which $$\|f\| = \int_0^1\Big(\int_0^1 |f(x,y)|^p dy\Big)^{1/p}dx < \infty.$$ We show that $L_1(L_p)$ $(1 < p < \infty)$ is primary, meaning that, whenever $L_1(L_p) = E\oplus F$ then either $E$ or $F$ is isomorphic to $L_1(L_p)$. More generally we show that $L_1(X)$ is primary, for a large clas… ▽ More The classical Banach space $L_1(L_p)$ consists of measurable scalar functions $f$ on the unit square for which $$\|f\| = \int_0^1\Big(\int_0^1 |f(x,y)|^p dy\Big)^{1/p}dx < \infty.$$ We show that $L_1(L_p)$ $(1 < p < \infty)$ is primary, meaning that, whenever $L_1(L_p) = E\oplus F$ then either $E$ or $F$ is isomorphic to $L_1(L_p)$. More generally we show that $L_1(X)$ is primary, for a large class of rearrangement invariant Banach function spaces. △ Less

Submitted 19 February, 2021; originally announced February 2021.

Comments: 43 pages

MSC Class: 46B09; 46B25; 46B28; 47A68

Adjoint Complement to the Universal Momentum Law of the Wall

Authors: Niklas Kühl, Peter M. Müller, Thomas Rung

Abstract: The paper is devoted to an adjoint complement to the universal Law of the Wall (LoW) for fluid dynamic momentum boundary layers. The latter typically follows from a strongly simplified, unidirectional shear flow under a constant stress assumption. We first derive the adjoint companion of the simplified momentum equation, while distinguishing between two strategies. Using mixing-length arguments, w… ▽ More The paper is devoted to an adjoint complement to the universal Law of the Wall (LoW) for fluid dynamic momentum boundary layers. The latter typically follows from a strongly simplified, unidirectional shear flow under a constant stress assumption. We first derive the adjoint companion of the simplified momentum equation, while distinguishing between two strategies. Using mixing-length arguments, we demonstrate that the frozen turbulence strategy and a LoW-consistent (differentiated) approach provide virtually the same adjoint momentum equations, that differ only in a single scalar coefficient controlling the inclination in the logarithmic region. Moreover, it is seen that an adjoint LoW can be derived which resembles its primal counterpart in many aspects. The strategy is also compatible with wall-function assumptions for prominent RANS-type two-equation turbulence models, which ground on the mixing-length hypothesis. As a direct consequence of the frequently employed assumption that all primal flow properties algebraically scale with the friction velocity, it is demonstrated that a simple algebraic expression provides a consistent closure of the adjoint momentum equation in the logarithmic layer. This algebraic adjoint closure might also serve as an approximation for more general adjoint flow optimization studies using standard one- or two-equation Boussinesq-viscosity models for the primal flow. Results obtained from the suggested algebraic closure are verified against the primal/adjoint LoW formulations for both, low- and high-Re settings. Applications included in this paper refer to two- and three-dimensional shape optimizations of internal and external engineering flows. Related results indicate that the proposed adjoint algebraic turbulence closure accelerates the optimization process and provides improved optima in comparison to the frozen turbulence approach. △ Less

Submitted 17 December, 2020; originally announced December 2020.

Continuous Adjoint Complement to the Blasius Equation

Authors: Niklas Kühl, Peter M. Müller, Thomas Rung

Abstract: The manuscript is concerned with a continuous adjoint complement to two-dimensional, incompressible, first-order boundary-layer equations for a flat plate boundary-layer. The text is structured into three parts. The first part demonstrates, that the adjoint complement can be derived in two ways, either following a first simplify then derive or a first derive and then simplify strategy. The simplif… ▽ More The manuscript is concerned with a continuous adjoint complement to two-dimensional, incompressible, first-order boundary-layer equations for a flat plate boundary-layer. The text is structured into three parts. The first part demonstrates, that the adjoint complement can be derived in two ways, either following a first simplify then derive or a first derive and then simplify strategy. The simplification step comprises the classical boundary-layer (b.-l.) approximation and the derivation step transfers the primal flow equation into a companion adjoint equation. The second part of the paper comprises the analyses of the coupled primal/adjoint b.-l. framework. This leads to similarity parameters, which turn the Partial-Differential-Equation (PDE) problem into a boundary value problem described by a set of Ordinary-Differential-Equations (ODE) and support the formulation of an adjoint complement to the classical Blasius equation. Opposite to the primal Blasius equation, its adjoint complement consists of two ODEs which can be simplified depending on the treatment of advection. It is shown, that the advective fluxes, which are frequently debated in the literature, vanish for the investigated self-similar b.l. flows. Differences between the primal and the adjoint Blasius framework are discussed against numerical solutions, and analytical expressions are derived for the adjoint b.-l. thickness, wall shear stress and subordinated skin friction and drag coefficients. The analysis also provides an analytical expression for the shape sensitivity to shear driven drag objectives. The third part assesses the predictive agreement between the different Blasius solutions and numerical results for Navier-Stokes simulations of a flat plate b.-l. at Reynolds numbers between 1E+03 <= ReL <= 1E+05 . △ Less

Submitted 15 November, 2020; originally announced November 2020.

3D EIT Reconstructions from Electrode Data using Direct Inversion D-bar and Calderon Methods

Authors: Sarah J. Hamilton, David Isaacson, Ville Kolehmainen, Peter A. Muller, Jussi Toivanen, Patrick F. Bray

Abstract: The first numerical implementation of a D-bar method in 3D using electrode data is presented. Results are compared to Calderón's method as well as more common TV and smoothness regularization-based methods. D-bar methods are based on tailor-made non-linear Fourier transforms involving the measured current and voltage data. Low-pass filtering in the non-linear Fourier domain is used to stabilize th… ▽ More The first numerical implementation of a D-bar method in 3D using electrode data is presented. Results are compared to Calderón's method as well as more common TV and smoothness regularization-based methods. D-bar methods are based on tailor-made non-linear Fourier transforms involving the measured current and voltage data. Low-pass filtering in the non-linear Fourier domain is used to stabilize the reconstruction process. D-bar methods have shown great promise in 2D for providing robust real-time absolute and time-difference conductivity reconstructions but have yet to be used on practical electrode data in 3D, until now. Results are presented for simulated data for conductivity and permittivity with disjoint non-radially symmetric targets on spherical domains and noisy voltage data. The 3D D-bar and Calderón methods are demonstrated to provide comparable quality to their 2D CGO counterparts, and hold promise for real-time reconstructions. △ Less

Submitted 6 July, 2020; originally announced July 2020.

Comments: 29 pages, 13 figures, 6 tables

MSC Class: 65N21; 94A08; 78A46; 92C55

Hyper contractivity on the unit circle for ultraspherical measures: linear case

Authors: Paata Ivanisvili, Alexander Lindenberger, Paul F. X. Müller, Michael Schmuckenschläger

Abstract: In this paper we extend complex uniform convexity estimates for $\mathbb{C}$ to $ \mathbb{R}^n$ and determine best constants. Furthermore we provide the link to log-Sobolev inequalities and hypercontractivity estimates for ultraspherical measures. In this paper we extend complex uniform convexity estimates for $\mathbb{C}$ to $ \mathbb{R}^n$ and determine best constants. Furthermore we provide the link to log-Sobolev inequalities and hypercontractivity estimates for ultraspherical measures. △ Less

Submitted 12 April, 2020; originally announced April 2020.

Comments: 11 pages, 2 figures

MSC Class: 39B62 (Primary); 47A30 (Secondary)

Stability of the enhanced area law of the entanglement entropy

Authors: Peter Müller, Ruth Schulte

Abstract: We consider a multi-dimensional continuum Schrödinger operator which is given by a perturbation of the negative Laplacian by a compactly supported potential. We establish both an upper and a lower bound on the bipartite entanglement entropy of the ground state of the corresponding quasi-free Fermi gas. The bounds prove that the scaling behaviour of the entanglement entropy remains a logarithmicall… ▽ More We consider a multi-dimensional continuum Schrödinger operator which is given by a perturbation of the negative Laplacian by a compactly supported potential. We establish both an upper and a lower bound on the bipartite entanglement entropy of the ground state of the corresponding quasi-free Fermi gas. The bounds prove that the scaling behaviour of the entanglement entropy remains a logarithmically enhanced area law as in the unperturbed case of the free Fermi gas. The central idea for the upper bound is to use a limiting absorption principle for such kinds of Schrödinger operators. △ Less

Submitted 14 May, 2020; v1 submitted 6 April, 2020; originally announced April 2020.

Comments: Changes in v2: result extended from cubes to Lipschitz domains with piecewise smooth boundary

Journal ref: Ann. Henri Poincaré 21, 3639-3658 (2020)

Radial Variation of Positive Harmonic Functions on Lipschitz Domains

Authors: Paul F. X. Müller, Katharina Riegler

Abstract: In this paper we present the necessary modifications of the proof by Mozolyako and Havin in to work for Lipschitz domains instead of $\mathcal{C}^2$ domains. In this paper we present the necessary modifications of the proof by Mozolyako and Havin in to work for Lipschitz domains instead of $\mathcal{C}^2$ domains. △ Less

Submitted 16 March, 2020; originally announced March 2020.

MSC Class: 31B25

Localisation for Delone operators via Bernoulli randomisation

Authors: Peter Müller, Constanza Rojas-Molina

Abstract: Delone operators are Schrödinger operators in multi-dimensional Euclidean space with a potential given by the sum of all translates of a given "single-site potential" centred at the points of a Delone set. In this paper, we use randomisation to study dynamical localisation for families of Delone operators. We do this by suitably adding more points to a Delone set and by introducing i.i.d. Bernoull… ▽ More Delone operators are Schrödinger operators in multi-dimensional Euclidean space with a potential given by the sum of all translates of a given "single-site potential" centred at the points of a Delone set. In this paper, we use randomisation to study dynamical localisation for families of Delone operators. We do this by suitably adding more points to a Delone set and by introducing i.i.d. Bernoulli random variables as coupling constants at the additional points. The resulting non-ergodic continuum Anderson model with Bernoulli disorder is accessible to the latest version of the multiscale analysis. The novel ingredient here is the initial length-scale estimate whose proof is hampered due to the non-periodic background potential. It is obtained by the use of a quantitative unique continuation principle. As applications we obtain both probabilistic and topological statements about dynamical localisation. Among others, we show that Delone sets for which the associated Delone operators exhibit dynamical localisation at the bottom of the spectrum are dense in the space of Delone sets. △ Less

Submitted 2 March, 2021; v1 submitted 13 March, 2020; originally announced March 2020.

Comments: changes in v2: more detailed exposition in the proofs of Theorem 3.6 and Lemma 3.8. To appear in Journal d'Analyse Mathématique

Journal ref: J. Anal. Math. 147, 297-331 (2022)

The factorization property of $\ell^\infty(X_k)$

Authors: R. Lechner, P. Motakis, P. F. X. Müller, Th. Schlumprecht

Abstract: In this paper we consider the following problem: Let $X_k$, be a Banach space with a normalized basis $(e_{(k,j)})_j$, whose biorthogonals are denoted by $(e_{(k,j)}^*)_j$, for $k\in\mathbb{N}$, let $Z=\ell^\infty(X_k:k\in\mathbb{N})$ be their $\ell^\infty$-sum, and let $T:Z\to Z$ be a bounded linear operator, with a large diagonal, i.e. $$\inf_{k,j} \big|e^*_{(k,j)}(T(e_{(k,j)})\big|>0.$$ Under w… ▽ More In this paper we consider the following problem: Let $X_k$, be a Banach space with a normalized basis $(e_{(k,j)})_j$, whose biorthogonals are denoted by $(e_{(k,j)}^*)_j$, for $k\in\mathbb{N}$, let $Z=\ell^\infty(X_k:k\in\mathbb{N})$ be their $\ell^\infty$-sum, and let $T:Z\to Z$ be a bounded linear operator, with a large diagonal, i.e. $$\inf_{k,j} \big|e^*_{(k,j)}(T(e_{(k,j)})\big|>0.$$ Under which condition does the identity on $Z$ factor through $T$? The purpose of this paper is to formulate general conditions for which the answer is positive. △ Less

Submitted 22 October, 2019; originally announced October 2019.

Comments: 27 pages, 1 figure

MSC Class: 46B25; 46B26; 47A68; 30H10

A note on a conjecture by Ulas on polynomial substitutions

Authors: Peter Müller

Abstract: We prove a recent conjecture by Ulas on reducible polynomial substitutions. We prove a recent conjecture by Ulas on reducible polynomial substitutions. △ Less

Submitted 27 July, 2019; originally announced July 2019.

Comments: To appear in Journal of Number Theory

MSC Class: 12E05 (Primary); 12F05 (Secondary)

How much delocalisation is needed for an enhanced area law of the entanglement entropy?

Authors: Peter Müller, Leonid Pastur, Ruth Schulte

Abstract: We consider the random dimer model in one space dimension with Bernoulli disorder. For sufficiently small disorder, we show that the entanglement entropy exhibits at least a logarithmically enhanced area law if the Fermi energy coincides with a critical energy of the model where the localisation length diverges. We consider the random dimer model in one space dimension with Bernoulli disorder. For sufficiently small disorder, we show that the entanglement entropy exhibits at least a logarithmically enhanced area law if the Fermi energy coincides with a critical energy of the model where the localisation length diverges. △ Less

Submitted 9 November, 2019; v1 submitted 12 March, 2019; originally announced March 2019.

Comments: 29 pages, changes in v3: correction of an error in the appendix in Lemma A.2, typos corrected

MSC Class: 34L40; 81Q10

Journal ref: Commun. Math. Phys. 376, 649-679 (2020); Erratum: ibid. 382, 655-656 (2021)

Decoupling of Control and Force Objective in Adjoint-Based Fluid Dynamic Shape Optimization

Authors: Niklas Kühl, Peter M. Müller, Arthur Stück, Michael Hinze, Thomas Rung

Abstract: We discuss exterior and classical interior alternatives for evaluating fluid flow induced forces on bodies. The discussion aims at a reduction of the total shape derivative, achieved through a decoupling of control and objective in the exterior approach. In this case, geometric as well as convective contributions to the shape derivative vanish. Convective contributions depend on primal physics and… ▽ More We discuss exterior and classical interior alternatives for evaluating fluid flow induced forces on bodies. The discussion aims at a reduction of the total shape derivative, achieved through a decoupling of control and objective in the exterior approach. In this case, geometric as well as convective contributions to the shape derivative vanish. Convective contributions depend on primal physics and may disappear, which is not the case for geometric components. The latter can be interpreted as curvatures immanent to industrial applications. The remaining local derivative of the objective functional can be determined efficiently with an adjoint system, that differs to the classical approach in its boundary conditions only and resembles an ALE strategy. A two-dimensional flow exposed to gravity illustrates the features of the exterior approach, whereby carefully derived derivatives from a second order Finite-Difference study were used to validate the results. △ Less

Submitted 13 February, 2019; originally announced February 2019.

Comments: Submitted as Technical Note to AIAA

Sharp Complex Convexity Estimates

Authors: Alexander Lindenberger, Paul F. X. Müller, Michael Schmuckenschläger

Abstract: In this paper we determine the value of the best constants in the 2-uniform PL-convexity estimates of $\mathbb C$. This solves a problem posed by W. J. Davis, D. J. H. Garling and N. Tomczak-Jaegermann. In this paper we determine the value of the best constants in the 2-uniform PL-convexity estimates of $\mathbb C$. This solves a problem posed by W. J. Davis, D. J. H. Garling and N. Tomczak-Jaegermann. △ Less

Submitted 23 January, 2019; originally announced January 2019.

MSC Class: 60G42 (Primary); 32U05 (Secondary)

Radial Variation of Bloch functions on the unit ball of $\mathbb{R}^d$

Authors: Paul F. X. Müller, Katharina Riegler

Abstract: We provide variational estimates for Bloch functions on the unit ball of $\mathbb{R}^d$ extending previous work on the Anderson conjecture for conformal maps on the unit disc. We provide variational estimates for Bloch functions on the unit ball of $\mathbb{R}^d$ extending previous work on the Anderson conjecture for conformal maps on the unit disc. △ Less

Submitted 20 January, 2020; v1 submitted 4 December, 2018; originally announced December 2018.

MSC Class: 31B25; 30H30; 31A20

Strategically reproducible bases and the factorization property

Authors: Richard Lechner, Pavlos Motakis, Paul F. X. Müller, Thomas Schlumprecht

Abstract: We introduce the concept of strategically reproducible bases in Banach spaces and show that operators which have large diagonal with respect to strategically reproducible bases are factors of the identity. We give several examples of classical Banach spaces in which the Haar system is strategically reproducible: multi-parameter Lebesgue spaces, mixed-norm Hardy spaces and most significantly the sp… ▽ More We introduce the concept of strategically reproducible bases in Banach spaces and show that operators which have large diagonal with respect to strategically reproducible bases are factors of the identity. We give several examples of classical Banach spaces in which the Haar system is strategically reproducible: multi-parameter Lebesgue spaces, mixed-norm Hardy spaces and most significantly the space $L^1$. Moreover, we show the strategical reproducibility is inherited by unconditional sums. △ Less

Submitted 26 September, 2018; v1 submitted 25 September, 2018; originally announced September 2018.

Comments: 34 pages, 1 figure

MSC Class: 46B25; 47A68; 30H10

The hydrodynamic limit for local mean-field dynamics with unbounded spins

Authors: Anton Bovier, Dmitry Ioffe, Patrick Müller

Abstract: We consider the dynamics of a class of spin systems with unbounded spins interacting with local mean field interactions. We proof convergence of the empirical measure to the solution of a McKean-Vlasov equation in the hydrodynamic limit and propagation of chaos. This extends earlier results of Gärtner, Comets and others for bounded spins or strict mean field interactions. We consider the dynamics of a class of spin systems with unbounded spins interacting with local mean field interactions. We proof convergence of the empirical measure to the solution of a McKean-Vlasov equation in the hydrodynamic limit and propagation of chaos. This extends earlier results of Gärtner, Comets and others for bounded spins or strict mean field interactions. △ Less

Submitted 23 May, 2018; v1 submitted 2 May, 2018; originally announced May 2018.

Comments: 22 pages, several typos corrected

MSC Class: 60J80; 60G70; 82B44

Almost everywhere Convergence of Spline Sequences

Authors: Paul F. X. Müller, Markus Passenbrunner

Abstract: We prove the analogue of the Martingale Convergence Theorem for polynomial spline sequences. Given a natural number $k $ and a sequence $(t_i)$ of knots in $[0,1]$ with multiplicity $\le k-1$, we let $P_n $ be the orthogonal projection onto the space of spline polynomials in $[0,1] $ of degree $k-1$ corresponding to the grid $(t_i)_{i=1}^n$. Let $X$ be a Banach space with the Radon-Nikodým propert… ▽ More We prove the analogue of the Martingale Convergence Theorem for polynomial spline sequences. Given a natural number $k $ and a sequence $(t_i)$ of knots in $[0,1]$ with multiplicity $\le k-1$, we let $P_n $ be the orthogonal projection onto the space of spline polynomials in $[0,1] $ of degree $k-1$ corresponding to the grid $(t_i)_{i=1}^n$. Let $X$ be a Banach space with the Radon-Nikodým property. Let $(g_n)$ be a bounded sequence in the Bochner-Lebesgue space $L^1_X [0,1]$ satisfying $$ g_n = P_n ( g_{n+1} ),\qquad n \in \mathbb N . $$ We prove the existence of $\lim_{n\to \infty} g_n(t) $ in $X$ for almost every $t \in [0,1]. $ Already in the scalar valued case $X = \mathbb R $ the result is new. △ Less

Submitted 16 September, 2019; v1 submitted 6 November, 2017; originally announced November 2017.

MSC Class: 65D07; 46B22; 42C10

Comment on 'Comment on "Hamiltonian for the zeros of the Riemann zeta function" '

Authors: Carl M. Bender, Dorje C. Brody, Markus P. Müller

Abstract: This paper is in response to a recent comment by Bellissard [arXiv:1704.02644] on the paper [Phys. Rev. Lett. 118, 130201 (2017)]. It is explained that the issues raised in the comment have already been discussed in the paper and do not affect the conclusions of the paper. This paper is in response to a recent comment by Bellissard [arXiv:1704.02644] on the paper [Phys. Rev. Lett. 118, 130201 (2017)]. It is explained that the issues raised in the comment have already been discussed in the paper and do not affect the conclusions of the paper. △ Less

Submitted 18 May, 2017; originally announced May 2017.

Comments: 2 pages

Perturbations of continuum random Schrödinger operators with applications to Anderson orthogonality and the spectral shift function

Authors: Adrian Dietlein, Martin Gebert, Peter Müller

Abstract: We study effects of a bounded and compactly supported perturbation on multi-dimensional continuum random Schrödinger operators in the region of complete localisation. Our main emphasis is on Anderson orthogonality for random Schrödinger operators. Among others, we prove that Anderson orthogonality does occur for Fermi energies in the region of complete localisation with a non-zero probability. Thi… ▽ More We study effects of a bounded and compactly supported perturbation on multi-dimensional continuum random Schrödinger operators in the region of complete localisation. Our main emphasis is on Anderson orthogonality for random Schrödinger operators. Among others, we prove that Anderson orthogonality does occur for Fermi energies in the region of complete localisation with a non-zero probability. This partially confirms recent non-rigorous findings [V. Khemani et al., Nature Phys. 11, 560-565 (2015)]. The spectral shift function plays an important role in our analysis of Anderson orthogonality. We identify it with the index of the corresponding pair of spectral projections and explore the consequences thereof. All our results rely on the main technical estimate of this paper which guarantees separate exponential decay of the disorder-averaged Schatten $p$-norm of $χ_{a}(f(H) - f(H^τ)) χ_{b}$ in $a$ and $b$. Here, $H^τ$ is a perturbation of the random Schrödinger operator $H$, $χ_{a}$ is the multiplication operator corresponding to the indicator function of a unit cube centred about $a\in\mathbb{R}^{d}$, and $f$ is in a suitable class of functions of bounded variation with distributional derivative supported in the region of complete localisation for $H$. △ Less

Submitted 15 April, 2019; v1 submitted 11 January, 2017; originally announced January 2017.

Comments: Title changed; Shortened version of the previous one (v1); version as to appear in J. Spectr. Theory

MSC Class: Primary 81Q10; Secondary: 47B80; 82B44

Journal ref: J. Spectr. Theory 9, 921-965 (2019)

Conditional Square Functions, the Sine-Cosine Decomposition for Hardy Martingales and Dyadic Perturbation

Authors: Paul F. X. Müller

Abstract: We prove that the $\cal P$ norm estimate between a Hardy martingale and its cosine part are stable under dyadic perturbations, and show how dyadic stability of the $\cal P$ norm estimate is used in the proof that $L^1$ embeds into $L^1/H^1$. We prove that the $\cal P$ norm estimate between a Hardy martingale and its cosine part are stable under dyadic perturbations, and show how dyadic stability of the $\cal P$ norm estimate is used in the proof that $L^1$ embeds into $L^1/H^1$. △ Less

Submitted 8 November, 2016; originally announced November 2016.

Comments: 8 pages

MSC Class: 60G42; &0G46; 32A35

Interpolation for Hardy Spaces: Marcinkiewicz decomposition, Complex Interpolation and Holomorphic Martingales

Authors: Paul F. X. Müller, Peter Yuditskii

Abstract: The real and complex interpolation spaces for the classical Hardy spaces $H^1$ and $H^\infty$ were determined in 1983 by P.W. Jones. Due to the analytic constraints the associated Marcinkiewicz decomposition gives rise to a delicate approximation problem for the $L^ 1$ metric. Specifically for $ f \in H^p$ the size of… ▽ More The real and complex interpolation spaces for the classical Hardy spaces $H^1$ and $H^\infty$ were determined in 1983 by P.W. Jones. Due to the analytic constraints the associated Marcinkiewicz decomposition gives rise to a delicate approximation problem for the $L^ 1$ metric. Specifically for $ f \in H^p$ the size of $$ {\rm{inf}} \{ \| f - f_1 \| _1 \,:\, f_1 \in H^\infty ,\, \|f_1\|_\infty \le λ\}$$ needs to be determined for any $ λ>0 $. In the present paper we develop a new set of truncation formulae for obtaining the Marcinkiewicz decomposition of $(H^1, H^\infty) $. We revisit the real and complex interpolation theory for Hardy spaces by examining our newly found formulae. △ Less

Submitted 23 September, 2016; originally announced September 2016.

MSC Class: 60G42; 60G46; 32A35

Hamiltonian for the zeros of the Riemann zeta function

Authors: Carl M. Bender, Dorje C. Brody, Markus P. Müller

Abstract: A Hamiltonian operator $\hat H$ is constructed with the property that if the eigenfunctions obey a suitable boundary condition, then the associated eigenvalues correspond to the nontrivial zeros of the Riemann zeta function. The classical limit of $\hat H$ is $2xp$, which is consistent with the Berry-Keating conjecture. While $\hat H$ is not Hermitian in the conventional sense, ${\rm i}{\hat H}$ i… ▽ More A Hamiltonian operator $\hat H$ is constructed with the property that if the eigenfunctions obey a suitable boundary condition, then the associated eigenvalues correspond to the nontrivial zeros of the Riemann zeta function. The classical limit of $\hat H$ is $2xp$, which is consistent with the Berry-Keating conjecture. While $\hat H$ is not Hermitian in the conventional sense, ${\rm i}{\hat H}$ is ${\cal PT}$ symmetric with a broken ${\cal PT}$ symmetry, thus allowing for the possibility that all eigenvalues of $\hat H$ are real. A heuristic analysis is presented for the construction of the metric operator to define an inner-product space, on which the Hamiltonian is Hermitian. If the analysis presented here can be made rigorous to show that ${\hat H}$ is manifestly self-adjoint, then this implies that the Riemann hypothesis holds true. △ Less

Submitted 6 March, 2017; v1 submitted 12 August, 2016; originally announced August 2016.

Comments: 5 pages, version to appear in Phys. Rev. Lett

Journal ref: Phys. Rev. Lett. 118, 130201 (2017)

Path large deviations for interacting diffusions with local mean-field interactions in random environment

Authors: Patrick E. Müller

Abstract: We consider a system of $N^{d}$ spins in random environment with a random local mean field type interaction. Each spin has a fixed spatial position on the torus $\mathbb{T}^{d}$, an attached random environment and a spin value in $\mathbb{R}$ that evolves according to a space and environment dependent Langevin dynamic. The interaction between two spins depends on the spin values, on the spatial di… ▽ More We consider a system of $N^{d}$ spins in random environment with a random local mean field type interaction. Each spin has a fixed spatial position on the torus $\mathbb{T}^{d}$, an attached random environment and a spin value in $\mathbb{R}$ that evolves according to a space and environment dependent Langevin dynamic. The interaction between two spins depends on the spin values, on the spatial distance and the random environment of both spins. We prove the path large deviation principle from the hydrodynamic (or local mean field McKean-Vlasov) limit and derive different expressions of the rate function for the empirical process and for the empirical measure of the paths. To this end, we generalize an approach of Dawson and Gärtner. By the space and random environment dependency, this requires new ingredients compared to mean field type interactions. Moreover, we prove the large deviation principle by using a second approach. This requires a generalisation of Varadhan's lemma to nowhere continuous functions. △ Less

Submitted 4 February, 2016; v1 submitted 16 December, 2015; originally announced December 2015.

Comments: 72 pages; 2nd version: weaker assumptions suffice (in particular: non-continuous interaction kernels (e.g. kernels with a singularity at distance zero))--> changes in the proofs; 3rd version: Additional random environment (in the SDEs and in the empirical measures and empirical processes)--> Many changes in notation, results and proofs

MSC Class: 60K35; 60F10; 82C22

Absolutely summing operators and atomic decomposition in bi-parameter Hardy spaces

Authors: Paul F. X. Müller, Johanna Penteker

Abstract: For $f \in H^p(δ^2)$, $0<p\leq 2$, with Haar expansion $f=\sum f_{I \times J}h_{I\times J}$ we constructively determine the Pietsch measure of the $2$-summing multiplication operator \[\mathcal{M}_f:\ell^{\infty} \rightarrow H^p(δ^2), \quad (\varphi_{I\times J}) \mapsto \sum \varphi_{I\times J}f_{I \times J}h_{I \times J}. \] Our method yields a constructive proof of Pisier's decomposition of… ▽ More For $f \in H^p(δ^2)$, $0<p\leq 2$, with Haar expansion $f=\sum f_{I \times J}h_{I\times J}$ we constructively determine the Pietsch measure of the $2$-summing multiplication operator \[\mathcal{M}_f:\ell^{\infty} \rightarrow H^p(δ^2), \quad (\varphi_{I\times J}) \mapsto \sum \varphi_{I\times J}f_{I \times J}h_{I \times J}. \] Our method yields a constructive proof of Pisier's decomposition of $f \in H^p(δ^2)$ \[|f|=|x|^{1-θ}|y|^θ\quad\quad \text{ and }\quad\quad \|x\|_{X_0}^{1-θ}\|y\|^θ_{H^2(δ^2)}\leq C\|f\|_{H^p(δ^2)}, \] where $X_0$ is Pisier's extrapolation lattice associated to $H^p(δ^2)$ and $H^2(δ^2)$. Our construction of the Pietsch measure for the multiplication operator $\mathcal{M}_f$ involves the Haar coefficients of $f$ and its atomic decomposition. We treated the one-parameter $H^p$-spaces in [P.F.X Müller, J.Penteker, $p$-summing multiplication operators, dyadic Hardy spaces and atomic decomposition, Houston Journal Math.,41(2):639-668,2015.]. △ Less

Submitted 15 December, 2015; originally announced December 2015.

Comments: 10 pages

MSC Class: 42B30 46B25 46B09 46B42 46E40 47B10 60G42

Factorization of the identity through operators with large diagonal

Authors: Niels Jakob Laustsen, Richard Lechner, Paul F. X. Müller

Abstract: Given a Banach space~$X$ with an unconditional basis, we consider the following question: does the identity on~$X$ factor through every operator on~$X$ with large diagonal relative to the unconditional basis? We show that on Gowers' unconditional Banach space, there exists an operator for which the answer to the question is negative. By contrast, for any operator on the mixed-norm Hardy spaces… ▽ More Given a Banach space~$X$ with an unconditional basis, we consider the following question: does the identity on~$X$ factor through every operator on~$X$ with large diagonal relative to the unconditional basis? We show that on Gowers' unconditional Banach space, there exists an operator for which the answer to the question is negative. By contrast, for any operator on the mixed-norm Hardy spaces $H^p(H^q)$, where $1 \leq p,q < \infty$, with the bi-parameter Haar system, this problem always has a positive solution. The spaces $L^p, 1 < p < \infty$, were treated first by Andrew~[{\em Studia Math.}~1979]. △ Less

Submitted 8 November, 2017; v1 submitted 10 September, 2015; originally announced September 2015.

Comments: 30 pages, 13 figures

MSC Class: 46B25; 60G46; 30H10; 47B37; 47A53

A Decomposition for Hardy Martingales III

Authors: Paul F. X. Müller

Abstract: We prove Davis decompositions for vector valued Hardy martingales and illustrate their use. This paper continues our previous work on Davis and Garsia inequalities for scalar Hardy martingales. We prove Davis decompositions for vector valued Hardy martingales and illustrate their use. This paper continues our previous work on Davis and Garsia inequalities for scalar Hardy martingales. △ Less

Submitted 24 April, 2015; originally announced April 2015.

MSC Class: 60G42; 60G46; 32A35

Decompositions of rational functions over real and complex numbers and a question about invariant curves

Authors: Peter Müller

Abstract: We consider the connection of functional decompositions of rational functions over the real and complex numbers, and a question about curves on a Riemann sphere which are invariant under a rational function. We consider the connection of functional decompositions of rational functions over the real and complex numbers, and a question about curves on a Riemann sphere which are invariant under a rational function. △ Less

Submitted 25 February, 2015; originally announced February 2015.

Comments: 14 pages

MSC Class: 37F10 (Primary) 14E05; 30D05; 20B05; 12F10 (Secondary)