This paper is concerned with the stability issue in determining absorption and diffusion coefficients in photoacoustic imaging. Assuming that the medium is layered and the acoustic wave speed is known, we derive global Hölder stability estimates of the photoacoustic inversion. These results show that the reconstruction is stable in the region close to the optical illumination source, and deteriorate exponentially far away. Several experimental pointed out that the resolution depth of the photoacoustic modality is about tens of millimeters. Our stability estimates confirm these observations and give a rigorous quantification of this depth resolution.

Given an $n$-dimensional variety $Z$ with rational singularities, we conjecture that if $f:Y\rightarrow Z$ is a resolution of singularities whose reduced exceptional divisor $E$ has simple normal crossings, then

$$\begin{eqnarray}\displaystyle R^{n-1}f_{\ast }\unicode[STIX]{x1D6FA}_{Y}(\log E)=0. & & \displaystyle \nonumber\end{eqnarray}$$

$Z$

$D$

$n$

$X$

$\mathscr{O}_{X}(\ast D)$

$n-3$

Biofilms are communities of bacteria that exhibit a multitude of multiscale biomechanical behaviours. Recent experimental advances have led to characterisations of these behaviours in terms of measurements of the viscoelastic moduli of biofilms grown in bioreactors and the fracture and fragmentation properties of biofilms. These properties are macroscale features of biofilms; however, a previous work by our group has shown that heterogeneous microscale features are critical in predicting biofilm rheology. In this paper, we use tools from statistical physics to develop a generative statistical model of the positions of bacteria in biofilms. Specifically, the model is a type of pairwise interaction model (PIM). We show through simulation that the macroscopic mechanical properties of biofilms depend on the choice of microscale spatial model. A key finding is that uniform and non-uniform sets of points lead to differing mechanical properties. This distinction appears not to have been previously considered in mathematical biofilm literature. We also found that realisations of a biologically informed PIM have realistic in silico mechanical properties, and have statistical properties that closely match experimental data. We also note that a Poisson spatial point process of suitable number density also yields realistic mechanical properties, but that the spatial distribution of points does not reflect those occurring in our experimentally observed biofilm.

In this article, we study the higher-order Moreau's sweeping process introduced in [1], in the case where an exogenous time-varying function u(·) is present in both the linear dynamics and in the unilateral constraints. First, we show that the well-posedness results (existence and uniqueness of solutions) obtained in [1] for the autonomous case, extend to the non-autonomous case when u(·) is smooth and piece-wise analytic, after a suitable state transformation is done. Stability issues are discussed. The complexity of such non-smooth non-autonomous dynamical systems is illustrated in a particular case named the higher-order bouncing ball, where trajectories with accumulations of jumps are exhibited. Examples from mechanics and circuits illustrate some of the results. The link with complementarity dynamical systems and with switching differential-algebraic equations is made.

We construct a weak Hilbert space that is a twisted Hilbert space.

In this paper, we develop three different subjects. We study and prove alternative versions of Hrushovski’s ‘stabilizer theorem’, we generalize part of the basic theory of definably amenable NIP groups to $\text{NTP}_{2}$ theories, and finally, we use all this machinery to study groups with f-generic types definable in bounded pseudo real closed fields.

In this paper, we study the singular fourth-order differential equation with a deviating argument:

By using Mawhin's continuation theorem and some analytic techniques, we establish some criteria to guarantee the existence of positive periodic solutions. The significance of this paper is that g has a strong singularity at x = 0 and satisfies a small force condition at x = ∞, which is different from the known ones in the literature.

For fixed integers p and q, let f(n,p,q) denote the minimum number of colours needed to colour all of the edges of the complete graph Kn such that no clique of p vertices spans fewer than q distinct colours. Any edge-colouring with this property is known as a (p,q)-colouring. We construct an explicit (5,5)-colouring that shows that f(n,5,5) ≤ n1/3 + o(1) as n → ∞. This improves upon the best known probabilistic upper bound of O(n1/2) given by Erdős and Gyárfás, and comes close to matching the best known lower bound Ω(n1/3).

We develop a general procedure that finds recursions for statistics counting isomorphic copies of a graph G0 in the common random graph models ${\cal G}$(n,m) and ${\cal G}$(n,p). Our results apply when the average degrees of the random graphs are below the threshold at which each edge is included in a copy of G0. This extends an argument given earlier by the second author for G0=K3 with a more restricted range of average degree. For all strictly balanced subgraphs G0, our results give much information on the distribution of the number of copies of G0 that are not in large ‘clusters’ of copies. The probability that a random graph in ${\cal G}$(n,p) has no copies of G0 is shown to be given asymptotically by the exponential of a power series in n and p, over a fairly wide range of p. A corresponding result is also given for ${\cal G}$(n,m), which gives an asymptotic formula for the number of graphs with n vertices, m edges and no copies of G0, for the applicable range of m. An example is given, computing the asymptotic probability that a random graph has no triangles for p=o(n−7/11) in ${\cal G}$(n,p) and for m=o(n15/11) in ${\cal G}$(n,m), extending results of the second author.

We study the minimum degree necessary to guarantee the existence of perfect and almost-perfect triangle-tilings in an n-vertex graph G with sublinear independence number. In this setting, we show that if δ(G) ≥ n/3 + o(n), then G has a triangle-tiling covering all but at most four vertices. Also, for every r ≥ 5, we asymptotically determine the minimum degree threshold for a perfect triangle-tiling under the additional assumptions that G is Kr-free and n is divisible by 3.

Let $\unicode[STIX]{x1D707}$ be the projection on $[0,1]$ of a Gibbs measure on $\unicode[STIX]{x1D6F4}=\{0,1\}^{\mathbb{N}}$ (or more generally a Gibbs capacity) associated with a Hölder potential. The thermodynamic and multifractal properties of $\unicode[STIX]{x1D707}$ are well known to be linked via the multifractal formalism. We study the impact of a random sampling procedure on this structure. More precisely, let $\{{I_{w}\}}_{w\in \unicode[STIX]{x1D6F4}^{\ast }}$ stand for the collection of dyadic subintervals of $[0,1]$ naturally indexed by the finite dyadic words. Fix $\unicode[STIX]{x1D702}\in (0,1)$, and a sequence $(p_{w})_{w\in \unicode[STIX]{x1D6F4}^{\ast }}$ of independent Bernoulli variables of parameters $2^{-|w|(1-\unicode[STIX]{x1D702})}$. We consider the (very sparse) remaining values $\widetilde{\unicode[STIX]{x1D707}}=\{\unicode[STIX]{x1D707}(I_{w}):w\in \unicode[STIX]{x1D6F4}^{\ast },p_{w}=1\}$. We study the geometric and statistical information associated with $\widetilde{\unicode[STIX]{x1D707}}$, and the relation between $\widetilde{\unicode[STIX]{x1D707}}$ and $\unicode[STIX]{x1D707}$. To do so, we construct a random capacity $\mathsf{M}_{\unicode[STIX]{x1D707}}$ from $\widetilde{\unicode[STIX]{x1D707}}$. This new object fulfills the multifractal formalism, and its free energy is closely related to that of $\unicode[STIX]{x1D707}$. Moreover, the free energy of $\mathsf{M}_{\unicode[STIX]{x1D707}}$ generically exhibits one first order and one second order phase transition, while that of $\unicode[STIX]{x1D707}$ is analytic. The geometry of $\mathsf{M}_{\unicode[STIX]{x1D707}}$ is deeply related to the combination of approximation by dyadic numbers with geometric properties of Gibbs measures. The possibility to reconstruct $\unicode[STIX]{x1D707}$ from $\widetilde{\unicode[STIX]{x1D707}}$ by using the almost multiplicativity of $\unicode[STIX]{x1D707}$ and concatenation of words is discussed as well.

We propose unbalanced versions of the quantum mechanical version of optimal mass transport that is based on the Lindblad equation describing open quantum systems. One of them is a natural interpolation framework between matrices and matrix-valued measures via a quantum mechanical formulation of Fisher-Rao information and the matricial Wasserstein distance, and the second is an interpolation between Wasserstein distance and Frobenius norm. We also give analogous results for the matrix-valued density measures, i.e., we add a spatial dependency on the density matrices. This might extend the applications of the framework to interpolating matrix-valued densities/images with unequal masses.

We prove two results on the tube algebras of rigid C*-tensor categories. The first is that the tube algebra of the representation category of a compact quantum group G is a full corner of the Drinfeld double of G. As an application, we obtain some information on the structure of the tube algebras of the Temperley–Lieb categories 𝒯ℒ(d) for d > 2. The second result is that the tube algebras of weakly Morita equivalent C*-tensor categories are strongly Morita equivalent. The corresponding linking algebra is described as the tube algebra of the 2-category defining the Morita context.

The algebra of all Dirichlet series that are uniformly convergent in the half-plane of complex numbers with positive real part is investigated. When it is endowed with its natural locally convex topology, it is a non-nuclear Fréchet Schwartz space with basis. Moreover, it is a locally multiplicative algebra but not a Q-algebra. Composition operators on this space are also studied.

Triangular algebras, and maximal triangular algebras in particular, have been objects of interest for over 50 years. Rich families of examples have been studied in the context of many w*- and C*-algebras, but there remains a dearth of concrete examples in $B({\cal H})$. In previous work, we described a family of maximal triangular algebras of finite multiplicity. Here, we investigate a related family of maximal triangular algebras with infinite multiplicity, and unearth a new asymptotic structure exhibited by these algebras.

For more than 30 years the ‘two-process model’ has played a central role in the understanding of sleep/wake regulation. This ostensibly simple model is an interesting example of a non-smooth dynamical system, whose rich dynamical structure has been relatively unexplored. The two-process model can be framed as a one-dimensional map of the circle, which, for some parameter regimes, has gaps. We show how border collision bifurcations that arise naturally in maps with gaps extend and supplement the Arnold tongue saddle-node bifurcation set that is a feature of continuous circle maps. The novel picture that results shows how the periodic solutions that are created by saddle-node bifurcations in continuous maps transition to periodic solutions created by period-adding bifurcations as seen in maps with gaps.

In this paper we construct a $\mathbb{Q}$-linear tannakian category $\mathsf{MEM}_{1}$ of universal mixed elliptic motives over the moduli space ${\mathcal{M}}_{1,1}$ of elliptic curves. It contains $\mathsf{MTM}$, the category of mixed Tate motives unramified over the integers. Each object of $\mathsf{MEM}_{1}$ is an object of $\mathsf{MTM}$ endowed with an action of $\text{SL}_{2}(\mathbb{Z})$ that is compatible with its structure. Universal mixed elliptic motives can be thought of as motivic local systems over ${\mathcal{M}}_{1,1}$ whose fiber over the tangential base point $\unicode[STIX]{x2202}/\unicode[STIX]{x2202}q$ at the cusp is a mixed Tate motive. The basic structure of the tannakian fundamental group of $\mathsf{MEM}$ is determined and the lowest order terms of a set (conjecturally, a minimal generating set) of relations are deduced from computations of Brown. This set of relations includes the arithmetic relations, which describe the ‘infinitesimal Galois action’. We use the presentation to give a new and more conceptual proof of the Ihara–Takao congruences.

We are concerned with the existence of positive weak solutions, as well as the existence of bound states (i.e. solutions in W1, p (ℝN)), for quasilinear scalar field equations of the form

$$ - \Delta _pu + V(x) \vert u \vert ^{p - 2}u = K(x) \vert u \vert ^{q - 2}u + \vert u \vert ^{p^ * - 2}u,\qquad x \in {\open R}^N,$$