Let $Y$ be an abelian variety over a subfield $k\subset \mathbb{C}$ that is of finite type over $\mathbb{Q}$. We prove that if the Mumford–Tate conjecture for $Y$ is true, then also some refined integral and adelic conjectures due to Serre are true for $Y$. In particular, if a certain Hodge-maximality condition is satisfied, we obtain an adelic open image theorem for the Galois representation on the (full) Tate module of $Y$. We also obtain an (unconditional) adelic open image theorem for K3 surfaces. These results are special cases of a more general statement for the image of a natural adelic representation of the fundamental group of a Shimura variety.

Ion flow in charged nanopores is strongly influenced by the ratio of the Debye length to the pore radius. We investigate the asymptotic behaviour of solutions to the Poisson–Nernst–Planck (PNP) system in narrow pore like geometries and study the influence of the pore geometry and surface charge on ion transport. The physical properties of real pores motivate the investigation of distinguished asymptotic limits, in which either the Debye length and pore radius are comparable or the pore length is very much greater than its radius This results in a quasi-one-dimensional (1D) PNP model, which can be further simplified, in the physically relevant limit of strong pore wall surface charge, to a fully 1D model. Favourable comparison is made to the two-dimensional (2D) PNP equations in typical pore geometries. It is also shown that, for physically realistic parameters, the standard 1D area averaged PNP model for ion flow through a pore is a very poor approximation to the (real) 2D solution to the PNP equations. This leads us to propose that the quasi-1D PNP model derived here, whose computational cost is significantly less than 2D solution of the PNP equations, should replace the use of the 1D area averaged PNP equations as a tool to investigate ion and current flows in ion pores.

The subject of the present paper is the derivation and analysis of mathematical models for the formation of a mushy region during calcium carbonate corrosion. More specifically there is emphasis on the variation of the overall diffusion resulting from the changing shape of a single pore due to corrosion process and on the resulting volume expansion of the material as the outcome of the transformation of calcium carbonate to gypsum. These models are derived by averaging, with the use of the multiple scales method applied on microscopic moving-boundary problems. The latter problems describe the transformation of calcium carbonate into gypsum in the microscopic scale. The derived macroscopic models are solved numerically with the use of an implicit in time, finite element method. The results of the simulations for various microstructure geometries in the micro-scale and a discussion are also presented.

In industrialized nations, potable water is often provided through sophisticated water distribution systems. If pathogenic bacteria are introduced into the water distribution network, the presence of a biofilm can lead to biofilm-assisted retention of the pathogens, affecting the potability of the water. To study the dynamics of planktonic and biofilm-bound pathogens within the large network of pipes in a water distribution system, we develop a network model governing the concentration of introduced pathogens within the bulk fluid and the biofilms lining the pipes. Under time-constant flow regimes within the network, we prove that the long-time behaviour of the entire network is dependent on the Lyapunov exponents for each connection in the network when viewed in isolation and the network connectivity. An efficient algorithm is developed for predicting the long-time behaviour of the pathogen population within large networks using the network's topological ordering. The algorithm's predictions are validated using numerical simulations of the full non-linear system on a range of water distribution network sizes.

We show that the scenery reconstruction problem on the Boolean hypercube is in general impossible. This is done by using locally biased functions, in which every vertex has a constant fraction of neighbours coloured by 1, and locally stable functions, in which every vertex has a constant fraction of neighbours coloured by its own colour. Our methods are constructive, and also give super-polynomial lower bounds on the number of locally biased and locally stable functions. We further show similar results for ℤn and other graphs, and offer several follow-up questions.

A new two-phase model for concentrated suspensions is derived that incorporates a constitutive law combining the rheology for non-Brownian suspension and granular flow. The resulting model exhibits a yield-stress behaviour for the solid phase depending on the collision pressure. This property is investigated for the simple geometry of plane Poiseuille flow, where an unyielded or jammed zone of finite width arises in the centre of the channel. For the steady states of this problem, the governing equations are reduced to a boundary value problem for a system of ordinary differential equations and the conditions for existence of solutions with jammed regions are investigated using phase-space methods. For the general time-dependent case a new drift-flux model is derived using matched asymptotic expansions that takes into account the boundary layers at the walls and the interface between the yielded and unyielded region. The drift-flux model is used to numerically study the dynamic behaviour of the suspension flow, including the appearance and evolution of an unyielded or jammed regions.

This paper sets up the foundations for derived algebraic geometry, Goerss–Hopkins obstruction theory, and the construction of commutative ring spectra in the abstract setting of operadic algebras in symmetric spectra in an (essentially) arbitrary model category. We show that one can do derived algebraic geometry a la Toën–Vezzosi in an abstract category of spectra. We also answer in the affirmative a question of Goerss and Hopkins by showing that the obstruction theory for operadic algebras in spectra can be done in the generality of spectra in an (essentially) arbitrary model category. We construct strictly commutative simplicial ring spectra representing a given cohomology theory and illustrate this with a strictly commutative motivic ring spectrum representing higher order products on Deligne cohomology. These results are obtained by first establishing Smith’s stable positive model structure for abstract spectra and then showing that this category of spectra possesses excellent model-theoretic properties: we show that all colored symmetric operads in symmetric spectra valued in a symmetric monoidal model category are admissible, i.e., algebras over such operads carry a model structure. This generalizes the known model structures on commutative ring spectra and $\text{E}_{\infty }$-ring spectra in simplicial sets or motivic spaces. We also show that any weak equivalence of operads in spectra gives rise to a Quillen equivalence of their categories of algebras. For example, this extends the familiar strictification of $\text{E}_{\infty }$-rings to commutative rings in a broad class of spectra, including motivic spectra. We finally show that operadic algebras in Quillen equivalent categories of spectra are again Quillen equivalent. This paper is also available at arXiv:1410.5699v2.

The goal of property testing is to quickly distinguish between objects which satisfy a property and objects that are ε-far from satisfying the property. There are now several general results in this area which show that natural properties of combinatorial objects can be tested with ‘constant’ query complexity, depending only on ε and the property, and not on the size of the object being tested. The upper bound on the query complexity coming from the proof techniques is often enormous and impractical. It remains a major open problem if better bounds hold.

Maybe surprisingly, for testing with respect to the rectangular distance, we prove there is a universal (not depending on the property), polynomial in 1/ε query complexity bound for two-sided testing hereditary properties of sufficiently large permutations. We further give a nearly linear bound with respect to a closely related metric which also depends on the smallest forbidden subpermutation for the property. Finally, we show that several different permutation metrics of interest are related to the rectangular distance, yielding similar results for testing with respect to these metrics.

We derive an optimal eigenvalue ratio estimate for finite weighted graphs satisfying the curvature-dimension inequality CD(0, ∞). This estimate is independent of the size of the graph and provides a general method to obtain higher-order spectral estimates. The operation of taking Cartesian products is shown to be an efficient way for constructing new weighted graphs satisfying CD(0, ∞). We also discuss a higher-order Cheeger constant-ratio estimate and related topics about expanders.

We define a growing model of random graphs. Given a sequence of non-negative integers {dn}n=0∞ with the property that di≤i, we construct a random graph on countably infinitely many vertices v0, v1… by the following process: vertex vi is connected to a subset of {v0, …, vi−1} of cardinality di chosen uniformly at random. We study the resulting probability space. In particular, we give a new characterization of random graphs, and we also give probabilistic methods for constructing infinite random trees.

We invoke the classical fact that the algebra of bi-invariant forms on a compact connected Lie group G is naturally isomorphic to the de Rham cohomology H*dR(G) itself. Then, we show that when a flat connection A exists on a principal G-bundle P, we may construct a homomorphism EA: H*dR(G)→H*dR(P), which eventually shows that the bundle satisfies a condition for the Leray–Hirsch theorem. A similar argument is shown to apply to its adjoint bundle. As a corollary, we show that that both the flat principal bundle and its adjoint bundle have the real coefficient cohomology isomorphic to that of the trivial bundle.

We prove model completeness for the expansion of the real field by the Weierstrass ℘ function as a function of the variable z and the parameter (or period) τ. We need to existentially define the partial derivatives of the ℘ function with respect to the variable z and the parameter τ. To obtain this result, it is necessary to include in the structure function symbols for the unrestricted exponential function and restricted sine function, the Weierstrass ζ function and the quasi-modular form E2 (we conjecture that these functions are not existentially definable from the functions ℘ alone or even if we use the exponential and restricted sine functions). We prove some auxiliary model-completeness results with the same functions composed with appropriate change of variables. In the conclusion, we make some remarks about the non-effectiveness of our proof and the difficulties to be overcome to obtain an effective model-completeness result, and how to extend these results to appropriate expansion of the real field by automorphic forms.

The hard-core model has attracted much attention across several disciplines, representing lattice gases in statistical physics and independent sets in discrete mathematics and computer science. On finite graphs, we are given a parameter λ, and an independent set I arises with probability proportional to λ|I|. On infinite graphs a Gibbs measure is defined as a suitable limit with the correct conditional probabilities, and we are interested in determining when this limit is unique and when there is phase coexistence, i.e., existence of multiple Gibbs measures.

It has long been conjectured that on ℤ2 this model has a critical value λc ≈ 3.796 with the property that if λ < λc then it exhibits uniqueness of phase, while if λ > λc then there is phase coexistence. Much of the work to date on this problem has focused on the regime of uniqueness, with the state of the art being recent work of Sinclair, Srivastava, Štefankovič and Yin showing that there is a unique Gibbs measure for all λ < 2.538. Here we explore the other direction and prove that there are multiple Gibbs measures for all λ > 5.3506. We also show that with the methods we are using we cannot hope to replace 5.3506 with anything below 4.8771.

Our proof begins along the lines of the standard Peierls argument, but we add two innovations. First, following ideas of Kotecký and Randall, we construct an event that distinguishes two boundary conditions and always has long contours associated with it, obviating the need to accurately enumerate short contours. Second, we obtain improved bounds on the number of contours by relating them to a new class of self-avoiding walks on an oriented version of ℤ2.

In this paper, we study the existence of a solution for the following class of non-local problems:P

$$\eqalign{\big\{&-\Delta u=\left(\lambda f(x)-\int_{{open R}^N}K(x,y)\vert u(y)\vert ^{\gamma}\hbox{d}y\right)u\quad \mbox{in } \R^{N}, \cr &\lim_{\vert x\vert \to +\infty}u(x)=0,\quad u \gt 0 \quad \text{in } {open R}^{N},}$$

Let k ⩾ 3 be a fixed integer. We exactly determine the asymptotic distribution of ln Zk(G(n, m)), where Zk(G(n, m)) is the number of k-colourings of the random graph G(n, m). A crucial observation to this end is that the fluctuations in the number of colourings can be attributed to the fluctuations in the number of small cycles in G(n, m). Our result holds for a wide range of average degrees, and for k exceeding a certain constant k0 it covers all average degrees up to the so-called condensation phase transition.

We develop a method to compute the generating function of the number of vertices inside certain regions of the Uniform Infinite Planar Triangulation (UIPT). The computations are mostly combinatorial in flavour and the main tool is the decomposition of the UIPT into layers, called the skeleton decomposition, introduced by Krikun [20]. In particular, we get explicit formulas for the generating functions of the number of vertices inside hulls (or completed metric balls) centred around the root, and the number of vertices inside geodesic slices of these hulls. We also recover known results about the scaling limit of the volume of hulls previously obtained by Curien and Le Gall by studying the peeling process of the UIPT in [17].

Let L be a one-to-one operator of type ω in L2(ℝn), with ω∈[0, π/2), which has a bounded holomorphic functional calculus and satisfies the Davies–Gaffney estimates. Let p(·): ℝn→(0, 1] be a variable exponent function satisfying the globally log-Hölder continuous condition. In this article, the authors introduce the variable Hardy space $H_L^{p(\cdot )} ({\open R}^n)$ associated with L. By means of variable tent spaces, the authors establish the molecular characterization of $H_L^{p(\cdot )} ({\open R}^n)$. Then the authors show that the dual space of $H_L^{p(\cdot )} ({\open R}^n)$ is the bounded mean oscillation (BMO)-type space ${\rm BM}{\rm O}_{p(\cdot ),{\kern 1pt} L^ * }({\open R}^n)$, where L* denotes the adjoint operator of L. In particular, when L is the second-order divergence form elliptic operator with complex bounded measurable coefficients, the authors obtain the non-tangential maximal function characterization of $H_L^{p(\cdot )} ({\open R}^n)$ and show that the fractional integral L−α for α∈(0, (1/2)] is bounded from $H_L^{p(\cdot )} ({\open R}^n)$ to $H_L^{q(\cdot )} ({\open R}^n)$ with (1/p(·))−(1/q(·))=2α/n, and the Riesz transform ∇ L−1/2 is bounded from $H_L^{p(\cdot )} ({\open R}^n)$ to the variable Hardy space Hp(·)(ℝn).

We consider linear preferential attachment trees, and show that they can be regarded as random split trees in the sense of Devroye (1999), although with infinite potential branching. In particular, this applies to the random recursive tree and the standard preferential attachment tree. An application is given to the sum over all pairs of nodes of the common number of ancestors.

We investigate experimentally and numerically suppression of drill-string torsional vibration while drilling by using a sliding mode control. The experiments are conducted on the novel experimental drill-string dynamics rig developed at the University of Aberdeen (Wiercigroch, M., 2010, Modelling and Analysis of BHA and Drill-string Vibrations) and using commercial Polycrystalline Diamond Compact (PDC) drill-bits and rock-samples. A mathematical model of the experimental setup, which takes into account the dynamics of the drill-string and the driving motor, is constructed. Physical parameters of the experimental rig are identified in order to calibrate the mathematical model and consequently to ensure robust predictions and a close agreement between experimental and numerical results for stick–slip vibration is shown. Then, a sliding mode control method is employed to suppress stick–slip vibration. A special attention is paid to prove the Lyapunov stability of the controller in presence of model parameter uncertainties by defining a robust Lyapunov function. Again experimental and numerical results for the control cases are in a close agreement. Stick–slip vibration is eliminated and a significant reduction in vibration amplitude has been observed when using the sliding controller.

The multifrequency electrical impedance tomography consists in retrieving the conductivity distribution of a sample by injecting a finite number of currents with multiple frequencies. In this paper, we consider the case where the conductivity distribution is piecewise constant, takes a constant value outside a single smooth anomaly, and a frequency dependent function inside the anomaly itself. Using an original spectral decomposition of the solution of the forward conductivity problem in terms of Poincaré variational eigenelements, we retrieve the Cauchy data corresponding to the extreme case of a perfect conductor, and the conductivity profile. We then reconstruct the anomaly from the Cauchy data. The numerical experiments are conducted using gradient descent optimization algorithms.