To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Clans are categorical representations of generalized algebraic theories that contain more information than the finite-limit categories associated to the locally finitely presentable categories of models via Gabriel–Ulmer duality. Extending Gabriel–Ulmer duality to account for this additional information, we present a duality theory between clans and locally finitely presentable categories equipped with a weak factorization system of a certain kind.
The dispersion behaviour of solutes in flow is crucial to the design of chemical separation systems and microfluidics devices. These systems often rely on coupled electroosmotic and pressure-driven flows to transport and separate chemical species, making the transient dispersive behaviour of solutes highly relevant. However, previous studies of Taylor dispersion in coupled electroosmotic and pressure-driven flows focused on the long-term dispersive behaviour and the associated analyses cannot capture the transient behaviour of solute. Further, the radial distribution of solute has not been analysed. In the current study, we analyse the Taylor dispersion for coupled electroosmotic and pressure-driven flows across all time regimes, assuming a low zeta potential (electric potential at the shear plane), the Debye–Hückel approximation and a finite electric double layer thickness. We first derive analytical expressions for the effective dispersion coefficient in the long-time regime. We also derive an unsteady, two-dimensional (radial and axial) solute concentration field applicable in the latter regime. We next apply Aris’ method of moments to characterise the unsteady propagation of the mean axial position and the unsteady growth of the variance of the solute zone in all time regimes. We benchmark our predictions with Brownian dynamics simulations across a wide and relevant dynamical regime, including various time scales. Lastly, we derive expressions for the optimal relative magnitudes of electroosmotic versus pressure-driven flow and the optimum Péclet number to minimise dispersion across all time scales. These findings offer valuable insights for the design of chemical separation systems, including the optimisation of capillary electrophoresis devices and electrokinetic microchannels and nanochannels.
Recent developments of non-traditional machining techniques, like cavitating waterjet machining (CWJM), have gained attention for their simple operation and environment friendliness with zero carbon footprints. Cavitating waterjet machining leverages the erosive power of cavity bubbles combined with a waterjet to machine or modify a workpiece. For effective CWJM, proper positioning of the workpiece is crucial. The implosion of cavity bubbles generates microjets and shock waves, creating high temperatures and pressures for a few microseconds, impacting the workpiece. This study numerically and analytically investigates the cavitation phenomenon and their effects. Numerical simulation employs an implicit finite volume scheme with the Semi-Implicit Method for Pressure Linked Equations (SIMPLE) algorithm solving Reynolds-averaged Navier–Stokes equations. It also incorporates a discrete phase model (DPM) to analyse bubble distribution and size. An analytical model calculates the hydrodynamic impact load on the workpiece. The study measures hydrodynamic stress and microjet velocities from bubble implosions, using reverse engineering to assess cavitation impact on ductile materials (aluminium and chromium steel). The result reveals a linear relationship between pit deformation and hydrodynamic impact, with impacts ranging from 200 to 1000 MPa, and microjet velocities between 100 and 800 m s−1. Finally, this work accurately predicts the standoff distance and cavitation intensity in the downstream of flow domain.
A new lattice Boltzmann model (LBM) is presented to describe chemically reacting multicomponent fluid flow in homogenised porous media. In this work, towards further generalising the multicomponent reactive lattice Boltzmann model, we propose a formulation which is capable of performing reactive multicomponent flow computation in porous media at the representative elementary volume (REV) scale. To that end, the submodel responsible for interspecies diffusion has been upgraded to include Knudsen diffusion, whereas the kinetic equations for the species, the momentum and the energy have been rewritten to accommodate the effects of volume fraction of porous media through careful choice of the equilibrium distribution functions. Verification of the mesoscale kinetic system of equations by a Chapman–Enskog analysis reveals that at the macroscopic scale, the homogenised Navier–Stokes equations for compressible multicomponent reactive flows are recovered. The dusty gas model (DGM) capability hence formulated is validated over a wide pressure range by comparison of experimental flow rates of component species counter diffusing through capillary tubes. Next, for developing a capability to compute heterogeneous reactions, source terms for maintaining energy and mass balance across the fluid phase species and the surface adsorbed phase species are proposed. The complete model is then used to perform detailed chemistry simulations in porous electrodes of a solid oxide fuel cell (SOFC), thereby predicting polarisation curves which are of practical interest.
This article is the second in a series investigating cartesian closed varieties. In first of these, we showed that every non-degenerate finitary cartesian variety is a variety of sets equipped with an action by a Boolean algebra B and a monoid M which interact to form what we call a matched pair ${\left[\smash{{B} \mathbin{\mid}{M} }\right]}$. In this article, we show that such pairs ${\left[\smash{{B} \mathbin{\mid}{M} }\right]}$ are equivalent to Boolean restriction monoids and also to ample source-étale topological categories; these are generalizations of the Boolean inverse monoids and ample étale topological groupoids used to encode self-similar structures such as Cuntz and Cuntz–Krieger $C^\ast$-algebras, Leavitt path algebras, and the $C^\ast$-algebras associated with self-similar group actions. We explain and illustrate these links and begin the programme of understanding how topological and algebraic properties of such groupoids can be understood from the logical perspective of the associated varieties.
We study continuous-time Markov chains on the nonnegative integers under mild regularity conditions (in particular, the set of jump vectors is finite and both forward and backward jumps are possible). Based on the so-called flux balance equation, we derive an iterative formula for calculating stationary measures. Specifically, a stationary measure $\pi(x)$ evaluated at $x\in\mathbb{N}_0$ is represented as a linear combination of a few generating terms, similarly to the characterization of a stationary measure of a birth–death process, where there is only one generating term, $\pi(0)$. The coefficients of the linear combination are recursively determined in terms of the transition rates of the Markov chain. For the class of Markov chains we consider, there is always at least one stationary measure (up to a scaling constant). We give various results pertaining to uniqueness and nonuniqueness of stationary measures, and show that the dimension of the linear space of signed invariant measures is at most the number of generating terms. A minimization problem is constructed in order to compute stationary measures numerically. Moreover, a heuristic linear approximation scheme is suggested for the same purpose by first approximating the generating terms. The correctness of the linear approximation scheme is justified in some special cases. Furthermore, a decomposition of the state space into different types of states (open and closed irreducible classes, and trapping, escaping and neutral states) is presented. Applications to stochastic reaction networks are well illustrated.
In this work, three-dimensional numerical investigations into flow manipulation have been conducted using the principles of magnetohydrodynamics, followed by the analysis of the phenomenon of species mixing in a Carreau–Yasuda-type fluid. The flow control has been implemented by employing Lorentz forces to guide the conducting fluid along desired routes throughout a compact mixing chamber. The Lorentz forces were generated using electrode arrays placed in a magnetic field. We have demonstrated that different flow patterns can be created by using different electrode configurations with minor variation in the applied electrode potentials. Results show that the mixing performance of the device depends on the electrode configuration and rheology of the fluid – shear thinning, Newtonian or shear thickening. Effects of fluid rheology on different aspects of flow and mixing have been thoroughly investigated.
We determine the density of integral binary forms of given degree that have squarefree discriminant, proving for the first time that the lower density is positive. Furthermore, we determine the density of integral binary forms that cut out maximal orders in number fields. The latter proves, in particular, an ‘arithmetic Bertini theorem’ conjectured by Poonen for ${\mathbb {P}}^1_{\mathbb {Z}}$.
Our methods also allow us to prove that there are $\gg X^{1/2+1/(n-1)}$ number fields of degree n having associated Galois group $S_n$ and absolute discriminant less than X, improving the best previously known lower bound of $\gg X^{1/2+1/n}$.
Finally, our methods correct an error in and thus resurrect earlier (retracted) results of Nakagawa on lower bounds for the number of totally unramified $A_n$-extensions of quadratic number fields of bounded discriminant.
For multi-scale differential equations (or fast–slow equations), one often encounters problems in which a key system parameter slowly passes through a bifurcation. In this article, we show that a pair of prototypical reaction–diffusion equations in two space dimensions can exhibit delayed Hopf bifurcations. Solutions that approach attracting/stable states before the instantaneous Hopf point stay near these states for long, spatially dependent times after these states have become repelling/unstable. We use the complex Ginzburg–Landau equation and the Brusselator models as prototypes. We show that there exist two-dimensional spatio-temporal buffer surfaces and memory surfaces in the three-dimensional space-time. We derive asymptotic formulas for them for the complex Ginzburg–Landau equation and show numerically that they exist also for the Brusselator model. At each point in the domain, these surfaces determine how long the delay in the loss of stability lasts, that is, to leading order when the spatially dependent onset of the post-Hopf oscillations occurs. Also, the onset of the oscillations in these partial differential equations is a hard onset.
We determine the list of automorphism groups for smooth plane septic curves over an algebraically closed field $K$ of characteristic $0$, as well as their signatures. For each group, we also provide a geometrically complete family over$K$, which consists of a generic defining polynomial equation describing each locus up to $K$-projective equivalence. Notably, we present two distinct examples of what we refer to as final strata of smooth plane curves.
We study the notion of inhomogeneous Poissonian pair correlations, proving several properties that show similarities and differences to its homogeneous counterpart. In particular, we show that sequences with inhomogeneous Poissonian pair correlations need not be uniformly distributed, contrary to what was till recently believed.
We state and prove an extension of the global Gan-Gross-Prasad conjecture and the Ichino-Ikeda conjecture to the case of some Eisenstein series on unitary groups $U_n\times U_{n+1}$. Our theorems are based on a comparison of the Jacquet-Rallis trace formulas. A new point is the expression of some interesting spectral contributions in these formulas in terms of integrals of relative characters. As an application of our main theorems, we prove the global Gan-Gross-Prasad and the Ichino-Ikeda conjecture for Bessel periods of unitary groups.
A simple probabilistic argument shows that every r-uniform hypergraph with m edges contains an r-partite subhypergraph with at least $({r!}/{r^r})m$ edges. The celebrated result of Edwards states that in the case of graphs, that is $r=2$, the resulting bound $m/2$ can be improved to $m/2+\Omega(m^{1/2})$, and this is sharp. We prove that if $r\geq 3$, then there is an r-partite subhypergraph with at least $({r!}/{r^r}) m+m^{3/5-o(1)}$ edges. Moreover, if the hypergraph is linear, this can be improved to $({r!}/{r^r}) m+m^{3/4-o(1)}$, which is tight up to the o(1) term. These improve results of Conlon, Fox, Kwan and Sudakov. Our proof is based on a combination of probabilistic, combinatorial, and linear algebraic techniques, and semidefinite programming.
A key part of our argument is relating the energy$\mathcal{E}(G)$ of a graph G (i.e. the sum of absolute values of eigenvalues of the adjacency matrix) to its maximum cut. We prove that every m edge multigraph G has a cut of size at least $m/2+\Omega({\mathcal{E}(G)}/{\log m})$, which might be of independent interest.
Let G be a finite group and p be a prime. We prove that if G has three codegrees, then G is an M-group. We prove for some prime p that if the degree of every nonlinear irreducible Brauer character of G is a prime, then for every normal subgroup N of G, either $G/N$ or N is an $M_p$-group.
Étant donnée une suite $A = (a_n)_{n\geqslant 0}$ d’entiers naturels tous au moins égaux à 2, on pose $q_0 = 1$ et, pour tout entier naturel n, $q_{n+1} = a_n q_n$. Tout nombre entier naturel $n\geqslant 1$ admet une unique représentation dans la base A, dite de Cantor, de la forme
$$ \begin{align*} S = \sum_{n \leqslant x}\Lambda(n) f(n) \end{align*} $$
où $\Lambda $ est la fonction de von Mangoldt et f une fonction fortement multiplicative en base A. L’estimation des sommes de type I et II associées repose sur le bon contrôle de transformées de Fourier discrètes de fonctions construites à partir de f par décalage dans la numération en base A. Cette approche pouvant échouer si la suite $(a_n)_{n\geqslant 0}$ est trop irrégulière, nous introduisons la notion de base de Cantor tempérée et obtenons dans ce cadre une majoration générale de la somme S.
Nous étudions plusieurs exemples dans la base $A = (j+2)_{j\geqslant 0}$, dite factorielle. En particulier, si $s_A$ désigne la fonction somme de chiffres dans cette base et p parcourt la suite des nombres premiers, nous montrons que la suite $(s_A(p))_{p\in \mathcal {P}}$ est bien répartie dans les progressions arithmétiques, et que la suite $(\alpha s_A(p))_{p\in \mathcal {P}}$ est équirépartie modulo $1$ pour tout nombre irrationnel $\alpha $.
A real variety whose real locus achieves the Smith–Thom equality is called maximal. This paper introduces new constructions of maximal real varieties, by using moduli spaces of geometric objects. We establish the maximality of the following real varieties:
– moduli spaces of stable vector bundles of coprime rank and degree over a maximal real curve (recovering Brugallé–Schaffhauser’s theorem with a short new proof), which extends to moduli spaces of parabolic vector bundles;
– moduli spaces of stable Higgs bundles of coprime rank and degree over a maximal real curve, providing maximal hyper-Kähler manifolds in every even dimension;
– if a real variety has maximal Hilbert square, then the variety and its Hilbert cube are maximal, which happens for all maximal real cubic 3-folds, but never for maximal real cubic 4-folds;
– punctual Hilbert schemes on a maximal real surface with vanishing first $\mathbb {F}_2$-Betti number and connected real locus, such as $\mathbb {R}$-rational maximal real surfaces and some generalized Dolgachev surfaces;
– moduli spaces of stable sheaves on an $\mathbb {R}$-rational maximal Poisson surface (e.g. the real projective plane).
We highlight that maximality is a motivic property when interpreted as equivariant formality, and hence any real variety motivated by maximal ones is also maximal.
Let S be a minimal irregular surface of general type, whose Albanese map induces a hyperelliptic fibration $f:\,S \to B$ of genus g. We prove a quadratic upper bound on the genus g (i.e., $g\leq h\big (\chi (\mathcal {O}_S)\big )$, where h is a quadratic function). We also construct examples showing that the quadratic upper bounds cannot be improved to linear ones. In the special case when $p_g(S)=q(S)=1$, we show that $g\leq 14$.
We prove an asymptotic formula for the second moment of central values of Dirichlet L-functions restricted to a coset. More specifically, consider a coset of the subgroup of characters modulo d inside the full group of characters modulo q. Suppose that $\nu _p(d) \geq \nu _p(q)/2$ for all primes p dividing q. In this range, we obtain an asymptotic formula with a power-saving error term; curiously, there is a secondary main term of rough size $q^{1/2}$ here which is not predicted by the integral moments conjecture of Conrey, Farmer, Keating, Rubinstein, and Snaith. The lower-order main term does not appear in the second moment of the Riemann zeta function, so this feature is not anticipated from the analogous archimedean moment problem.
We also obtain an asymptotic result for smaller d, with $\nu _p(q)/3 \leq \nu _p(d) \leq \nu _p(q)/2$, with a power-saving error term for d larger than $q^{2/5}$. In this more difficult range, the secondary main term somewhat changes its form and may have size roughly d, which is only slightly smaller than the diagonal main term.
We develop general conditions for weak convergence of adaptive Markov chain Monte Carlo processes and this is shown to imply a weak law of large numbers for bounded Lipschitz continuous functions. This allows an estimation theory for adaptive Markov chain Monte Carlo where previously developed theory in total variation may fail or be difficult to establish. Extensions of weak convergence to general Wasserstein distances are established, along with a weak law of large numbers for possibly unbounded Lipschitz functions. Applications are applied to autoregressive processes in various settings, unadjusted Langevin processes, and adaptive Metropolis–Hastings.