We solve the inverse spectral problems for the class of Sturm–Liouville operators with singular real-valued potentials from the Sobolev space $W^{s-1}_2(0,1)$, $s\in[0,1]$. The potential is recovered from two spectra or from one spectrum and the norming constants. Necessary and sufficient conditions for the spectral data to correspond to a potential in $W^{s-1}_2(0,1)$ are established.

We construct moduli curves of polarized supersingular K3 surfaces in characteristic 2 with Artin invariant 2. As an application, we detect a ‘jump’ phenomenon in a family of automorphism groups of supersingular K3 surfaces with a constant Néron–Severi lattice.

Given a left Noetherian ring $R$, we give a necessary and sufficient condition in order that a complex of $R$-modules be DG-injective. Using this result we prove that if $(K_i)_{i\in I}$ is a family of DG-injective complexes of left $R$-modules and $K$ is the $\aleph_1$-product of $(K_i)_{i\in I}$ (i.e. $K\subset\prod_{i\in I}K_i$ is such that, for each $n$, $K^n\subset\prod_{i\in I}K_i^n$ consists of all $(x_i)_{i\in I}$ such that $\{i\mid x_i\neq0\}$ is at most countable), then $K$ is DG-injective.

We prove results on geodesic metric spaces which guarantee that some spaces are not hyperbolic in the Gromov sense. We use these theorems in order to study the hyperbolicity of Riemann surfaces. We obtain a criterion on the genus of a surface which implies non-hyperbolicity. We also include a characterization of the hyperbolicity of a Riemann surface $S^*$ obtained by deleting a closed set from one original surface $S$. In the particular case when the closed set is a union of continua and isolated points, the results clarify the role of punctures and funnels (and other more general ends) in the hyperbolicity of Riemann surfaces.

We find positive solutions to a nonlinear equation of Klein–Gordon type. Our analysis is carried out by truncating the related functional and estimating mountain pass solutions by Moser’s iterative scheme.

We provide an alternative approach to the Faddeev–Reshetikhin–Takhtajan presentation of the quantum group $\uqg$, with $L$-operators as generators and relations ruled by an $R$-matrix. We look at $\uqg$ as being generated by the quantum Borel subalgebras $U_q(\mathfrak{b}_+)$ and $U_q(\mathfrak{b}_-)$, and use the standard presentation of the latter as quantum function algebras. When $\mathfrak{g}=\mathfrak{gl}_n$, these Borel quantum function algebras are generated by the entries of a triangular $q$-matrix. Thus, eventually, $U_q(\mathfrak{gl}_n)$ is generated by the entries of an upper triangular and a lower triangular $q$-matrix, which share the same diagonal. The same elements generate over $\Bbbk[q,q^{-1}]$ the unrestricted $\Bbbk [q,q^{-1}]$-integral form of $U_q(\mathfrak{gl}_n)$ of De Concini and Procesi, which we present explicitly, together with a neat description of the associated quantum Frobenius morphisms at roots of 1. All this holds, mutatis mutandis, for $\mathfrak{g}=\mathfrak{sl}_n$ too.

Proper ample monoids are described by means of a certain category acted upon on both sides by a cancellative monoid. Making use of this characterization, we show that every ample monoid $S$ has a proper ample cover, which can be taken to be finite whenever $S$ is finite.

An elegant result of Ryan gives a characterization of weakly compact operators from a Banach space $A$ into $c_{0}(X)$, the space of null sequences in a Banach space $X$. It would be a useful tool if the analogue of Ryan’s result were valid when $c_{0}(X)$ is replaced by $c(X)$, the space of convergent sequences in $X$. This seems plausible and has been assumed to be true by some authors. Unfortunately, it is false in general; Ylinen has produced a counterexample. But when $A$ is a $C^*$-algebra, or, more generally, when the dual of $A$ is weakly sequentially complete, we show that the desired extension of Ryan’s result does hold. The latter result turns out to be ‘best possible’.

This paper deals with the existence of positive radial solutions for the quasilinear system $\text{div}(|\nabla u_i|^{p-2}\nabla u_i)+\lambda f^i(u_1,\dots,u_n)=0$, $|x|\lt1$, $u_i(x)=0$, on $|x|=1$, $i=1,\dots,n$, $p\gt1$, $\lambda>0$, $x\in\mathbb{R}^N$. The $f^i$, $i=1,\dots,n$, are continuous and non-negative functions. Let $\bm{u}=(u_1,\dots,u_n)$, $\|\bm{u}\|=\sum_{i=1}^n|u_i|$,

$$ f_0^i=\lim_{\|\bm{u}\|\to0}\frac{f^i(\bm{u})}{\|\bm{u}\|^{p-1}}, $$

$i=1,\dots,n$, $\bm{f}=(f^1,\dots,f^n)$, $\bm{f}_0=\sum_{i=1}^nf_0^i$. We prove that the problem has a positive solution for sufficiently small $\lambda>0$ if $\bm{f}_0=\infty$. Our methods employ a fixed-point theorem in a cone.

We investigate the asymptotic behaviour of the entropy numbers of the compact embedding $B^{s_1}_{p_1,q_1}(\mathbb{R}^d,w_1)\hookrightarrow B^{s_2}_{p_2,q_2}(\mathbb{R}^d,w_2)$. Here $B^s_{p,q}(\mathbb{R}^d,w)$ denotes a weighted Besov space. We present a general approach which allows us to work with a large class of weights.

In this paper we establish a multiplicity result for a second-order non-autonomous system. Using a variational principle of Ricceri we prove that if the set of global minima of a certain function has at least $k$ connected components, then our problem has at least $k$ periodic solutions. Moreover, the existence of one more solution is investigated through a mountain-pass-like argument.

Let $X\subset\mathbb{R}^2$ be the graph of a Pfaffian function $f$ in the sense of Khovanskii. Suppose that $X$ is non-algebraic. This note gives an estimate for the number of rational points on $X$ of height less than or equal to $H$; the estimate is uniform in the order and degree of $f$.

This paper describes the modelling of the toner behaviour in the development nip of the Océ Direct Imaging print process. The dynamic motion of and mechanical interactions between toner particles are explicitly modelled. The mechanical interactions are due to collisions, friction, adhesion, and electromagnetic forces. The discrete element method (DEM) is used as the simulation tool for a quantitative description of the system. The interaction rules are determined for the toner particles and the surfaces of the development rollers. The model is validated with print quality results. It is shown that it is possible to achieve quantitative agreement between DEM simulations and experimental print quality results.

The notion of polarization tensor is employed for the derivation of the leading-order boundary perturbations in the steady-state voltage potentials that are due to the presence of conductivity inclusions of small diameter. Recently, Capdeboscq and Vogelius obtained optimal bounds of Hashin-Shtrikman type for the trace of the polarization tensor, showing that every pair satisfying these optimal bounds arises as the eigenvalues of a polarization tensor associated with a coated ellipse. In this paper, we give numerical evidence of the fact that the set of possible polarization tensor eigenvalue pairs can also be obtained using simply connected domains. Our numerical computations are based on a boundary integral method.

This paper studies many fundamental aspects of a newly proposed multi-class traffic flow model. For the first time it presents a complete discussion on the hyperbolicity of the system; and based upon this, the admissible waves of the Riemann problem are deeply investigated. Many important conclusions are made in discussions, and the related physical meanings are interpreted. For the confirmation of main conclusions, numerical examples are given at the end.

Markov chain decomposition is a tool for analysing the convergence rate of a complicated Markov chain by studying its behaviour on smaller, more manageable pieces of the state space. Roughly speaking, if a Markov chain converges quickly to equilibrium when restricted to subsets of the state space, and if there is sufficient ergodic flow between the pieces, then the original Markov chain also must converge rapidly to equilibrium. We present a new version of the decomposition theorem where the pieces partition the state space, rather than forming a cover where pieces overlap, as was previously required. This new formulation is more natural and better suited to many applications. We apply this disjoint decomposition method to demonstrate the efficiency of simple Markov chains designed to uniformly sample circuits of a given length on certain Cayley graphs. The proofs further indicate that a Markov chain for sampling adsorbing staircase walks, a problem arising in statistical physics, is also rapidly mixing.

We show how to generate labelled and unlabelled outerplanar graphs with $n$ vertices uniformly at random in polynomial time in $n$. To generate labelled outerplanar graphs, we present a counting technique using the decomposition of a graph according to its block structure, and compute the exact number of labelled outerplanar graphs. This allows us to make the correct probabilistic choices in a recursive generation of uniformly distributed outerplanar graphs.

Next we modify our formulas to also count rooted unlabelled graphs, and finally show how to use these formulas in a Las Vegas algorithm to generate unlabelled outerplanar graphs uniformly at random in expected polynomial time.

The two-type Richardson model describes the growth of two competing infections on $\mathbb{Z}^d$. At time 0 two disjoint finite sets $\xi_1,\xi_2\subset \mathbb{Z}^d$ are infected with type 1 and type 2 infection respectively. An uninfected site then becomes type 1 (2) infected at a rate proportional to the number of type 1 (2) infected nearest neighbours and once infected it remains so forever. The main result in this paper is, loosely speaking, that the choice of the initial sets $\xi_1$ and $\xi_2$ is irrelevant in deciding whether or not the event of mutual unbounded growth for the two infection types has positive probability.

Let ${P_s(d)}$ be the probability that a random 0/1-matrix of size $d \times d$ is singular, and let ${E(d)}$ be the expected number of 0/1-vectors in the linear subspace spanned by $d-1$ random independent 0/1-vectors. (So ${E(d)}$ is the expected number of cube vertices on a random affine hyperplane spanned by vertices of the cube.)

We prove that bounds on ${P_s(d)}$ are equivalent to bounds on ${E(d)}$: \[{P_s(d)} = \bigg(2^{-d} {E(d)} + \frac{d^2}{2^{d+1}} \bigg) (1 + \so(1)). \] We also report on computational experiments pertaining to these numbers.

Let $P=(X,\le)$ be a finite partially ordered set. That is, $X$ is a finite ground set and $\le$ is a partial ordering on $X$ (a reflexive, transitive, and weakly antisymmetric relation). An $x\in X$ is an immediate predecessor of a $y\in X$ if $x<y$ and there is no $z\in X$ with $x<z<y$ (where $x<y$ means that $x\le y$ and $x\ne y$). The Hasse diagram$H(P)$ is the undirected graph with vertex set $X$ and with $\{x,y\}$ forming an edge if $x$ is an immediate predecessor of $y$ or if $y$ is an immediate predecessor of $x$. We denote bya $\alpha(H(P))$ the independence number of the Hasse diagram, that is, the maximum possible size of a subset $I\subseteq X$ such that no element of $I$ is an immediate predecessor (in $P$) of another element of $I$. This quantity should not be confused with the maximum size of an antichain in $P$, which is sometimes denoted by $\alpha(P)$.