Search

We can obtain a two-fold symmetric figure by folding a square sheet of paper in the middle and then cutting along some curves drawn on the paper. By making two perpendicular folds through the centre of the paper and then cutting, we can obtain a four-fold symmetric figure. We can also get an eight-fold symmetric figure by making a fold bisecting an angle made by the two perpendicular folds before cutting. But it is not possible to obtain a three-fold, five-fold or six-fold symmetric figure in this way; we need to make more folds before cutting. Making a three-fold (respectively five-fold and six-fold) figure involves the division of the angle at the centre (360°) of a square sheet of a paper into six (respectively ten and twelve) equal parts. In other words, we need to construct the angles 60°, 36° and 30°. But these angles cannot be obtained by repeated bisections of 180° by simple folding as in the making of two-fold, four-fold and eight-fold figures. In [1], we see that each of the constructions of 60° and 30° applies the fact that sin 30° = ½ and takes only a few simple folding steps. The construction of 36° is more tedious (see, for example, [2] and [3]) as sin 36° is not a simple fraction but an irrational number. In this Article, we show how to make, by paper-folding and cutting a regular pentagon, a five-pointed star and create any five-fold figure as we want. The construction obtained by dividing the angle at the centre of a square paper into ten equal parts is called a pentagon base. We gained much insight from [2] and [3] when developing the method for making the pentagon base to be presented below.

A class of games for finding a leader among a group of candidates is studied in detail. This class covers games based on coin tossing and rock-paper-scissors as special cases and its complexity exhibits similar stochastic behaviors: either of logarithmic mean and bounded variance or of exponential mean and exponential variance. Many applications are also discussed.

The activated sludge process is one of the major aerobic processes used in the biological treatment of wastewater. A significant drawback of this process is the production of excess sludge, the disposal of which can account for 50-60% of the running costs of a plant. Thus there is a growing interest in methods that reduce the volume and mass of excess sludge produced as part of biological wastewater treatment processes. In practice a target value is often set for the sludge content inside the bioreactor. If the sludge content is higher than the target value, the process is stopped and the reactor is cleaned. This is undesirable as it increases running costs. In chapter 2 we investigate a simple model for the activated sludge process in which the influent contains a mixture of soluble and biodegradable particulate substrate. Within the bioreactor the biodegradable particulate substrate is hydrolyzed to form soluble substrate. The soluble organics are used for energy and growth by the biomass. Biomass decay produces soluble substrate in addition to inert material. We use steady-state analysis to investigate how the amount of sludge formed depends upon the residence time and the use of a settling unit. We show that when the steady-state sludge content is plotted as a function of the residence time that there are five generic response diagrams, depending upon the value of the effective recycle parameter. Four of them are desirable because the sludge content is below the target value if the residence time is higher than some critical value that is not ‘too large’ in practice. In chapter 3 we investigate how the volume and mass of excess sludge produced by the activated sludge process can be reduced by coupling the bioreactor used in the process to a sludge disintegration unit. In chapter 4 a seemingly minor modification is made to the model in chapter 2.

The renormalization group method has been developed to investigate p-adic q-state Potts models on the Cayley tree of order k. This method is closely related to the examination of dynamical behavior of the p-adic Potts–Bethe mapping which depends on the parameters q, k. In Mukhamedov and Khakimov [Chaotic behavior of the p-adic Potts–Behte mapping. Discrete Contin. Dyn. Syst.38 (2018), 231–245], we have considered the case when q is not divisible by p and, under some conditions, it was established that the mapping is conjugate to the full shift on $\kappa _p$ symbols (here $\kappa _p$ is the greatest common factor of k and $p-1$ ). The present paper is a continuation of the forementioned paper, but here we investigate the case when q is divisible by p and k is arbitrary. We are able to fully describe the dynamical behavior of the p-adic Potts–Bethe mapping by means of a Markov partition. Moreover, the existence of a Julia set is established, over which the mapping exhibits a chaotic behavior. We point out that a similar result is not known in the case of real numbers (with rigorous proofs).

This paper presents sufficient conditions for a substitution tiling dynamical system of $\mathbb {R}^2$ , generated by a generalized substitution on three letters, to be topologically mixing. These conditions are shown to hold on a large class of tiling substitutions originally presented by Kenyon in 1996. This problem was suggested by Boris Solomyak, and many of the techniques that are used in this paper are based on the work by Kenyon, Sadun, and Solomyak [Topological mixing for substitutions on two letters. Ergod. Th. & Dynam. Sys.25(6) (2005), 1919–1934]. They studied one-dimensional tiling dynamical systems generated by substitutions on two letters and provided similar conditions sufficient to ensure that one-dimensional substitution tiling dynamical systems are topologically mixing. If a tiling dynamical system of $\mathbb {R}^2$ satisfies our conditions (and thus is topologically mixing), we can construct additional topologically mixing tiling dynamical systems of $\mathbb {R}^2$ . By considering the stepped surface constructed from a tiling $T_\sigma $ , we can get a new tiling of $\mathbb {R}^2$ by projecting the surface orthogonally onto an irrational plane through the origin.

Multiplicative constants are a fundamental tool in the study of maximal representations. In this paper we show how to extend such notion, and the associated framework, to measurable cocycles theory. As an application of this approach, we define and study the Cartan invariant for measurable $\textup{PU}(m,1)$-cocycles of complex hyperbolic lattices., Comment: 35 pages; Major corrections along the paper following the referee's suggestions. To appear in Ergod. Theory Dyn. Syst

In this paper, we characterize surjective isometries on certain classes of noncommutative spaces associated with semi-finite von Neumann algebras: the Lorentz spaces $L^{w,1}$ , as well as the spaces $L^1+L^\infty$ and $L^1\cap L^\infty$ . The technique used in all three cases relies on characterizations of the extreme points of the unit balls of these spaces. Of particular interest is that the representations of isometries obtained in this paper are global representations.

Pythagorean triples are triples of integers (a, b, c) satisfying the equation a2 + b2 = c2. For the purpose of this paper, we will take a, b and c to be positive, unless otherwise stated. Then, of course, it follows that a triple represents the lengths of sides of a right triangle. Also, for the purpose of this paper, we will consider the triples (a, b, c) and (b, a, c) to be distinct, even though they represent the same right triangle. A primitive Pythagorean triple is one for which a, b and c are relatively prime.

Let $S \subset \Bbb R^n$ be a smooth compact hypersurface with a strictly positive second fundamental form, $E$ be the Fourier extension operator on $S$, and $X$ be a Lebesgue measurable subset of $\Bbb R^n$. If $X$ contains a ball of each radius, then the problem of determining the range of exponents $(p,q)$ for which the estimate $\| Ef \|_{L^q(X)} \leq C \| f \|_{L^p(S)}$ holds is equivalent to the restriction conjecture. In this paper, we study the estimate under the following assumption on the set $X$: there is a number $0 < \alpha \leq n$ such that $|X \cap B_R| \leq c \, R^\alpha$ for all balls $B_R$ in $\Bbb R^n$ of radius $R \geq 1$. On the left-hand side of this estimate, we are integrating the function $|Ef(x)|^q$ against the measure $\chi_X dx$. Our approach consists of replacing the characteristic function $\chi_X$ of $X$ by an appropriate weight function $H$, and studying the resulting estimate in three different regimes: small values of $\alpha$, intermediate values of $\alpha$, and large values of $\alpha$. In the first regime, we establish the estimate by using already available methods. In the second regime, we prove a weighted H\"{o}lder-type inequality that holds for general non-negative Lebesgue measurable functions on $\Bbb R^n$, and combine it with the result from the first regime. In the third regime, we borrow a recent fractal Fourier restriction theorem of Du and Zhang and combine it with the result from the second regime. In the opposite direction, the results of this paper improve on the Du-Zhang theorem in the range $0 < \alpha < n/2$., Comment: 31 pages. Minor revision

This paper presents an approach, based on interpolation theory of operators, to the study of interpolating sequences for interpolation Banach spaces between Hardy spaces. It is shown that the famous Carleson result forH∞can be lifted to a large class of abstract Hardy spaces. A description is provided of the range of the Carleson operator defined on interpolation spaces between the classical Hardy spaces in terms of uniformly separated sequences. A key role in this description is played by some general interpolation results proved in the paper. As by-products, novel results are obtained which extend the Shapiro–Shields result on the characterisation of interpolation sequences for the classical Hardy spacesHp. Applications to Hardy–Lorentz, Hardy–Marcinkiewicz and Hardy–Orlicz spaces are presented.

This is the first of a series of two papers dealing with local limit theorems in relatively hyperbolic groups. In this first paper, we prove rough estimates for the Green function. Along the way, we introduce the notion of relative automaticity which will be useful in both papers and we show that relatively hyperbolic groups are relatively automatic. We also define the notion of spectral positive recurrence for random walks on relatively hyperbolic groups. We then use our estimates for the Green function to prove that $p_n\asymp R^{-n}n^{-3/2}$ for spectrally positive-recurrent random walks, where $p_n$ is the probability of going back to the origin at time n and where R is the inverse of the spectral radius of the random walk.

The Σ-invariants of Bieri–Neumann–Strebel and Bieri–Renz involve an action of a discrete group G on a geometrically suitable space M. In the early versions, M was always a finite-dimensional Euclidean space on which G acted by translations. A substantial literature exists on this, connecting the invariants to group theory and to tropical geometry (which, actually, Σ-theory anticipated). More recently, we have generalized these invariants to the case where M is a proper CAT(0) space on which G acts by isometries. The “zeroth stage” of this was developed in our paper [BG16]. The present paper provides a higher-dimensional extension of the theory to the “nth stage” for any n.

We study the $l$-adic cohomology of unramified Rapoport-Zink spaces of EL-type. These spaces were used in Harris and Taylor's proof of the local Langlands correspondence for $\mathrm{GL_n}$ and to show local-global compatibilities of the Langlands correspondence. In this paper we consider certain morphisms, $\mathrm{Mant}_{b, \mu}$, of Grothendieck groups of representations constructed from the cohomology of the above spaces, as studied by Harris and Taylor, Mantovan, Fargues, Shin, and others. Due to earlier work of Fargues and Shin we have a description of $\mathrm{Mant}_{b, \mu}(\rho)$ for $\rho$ a supercuspidal representation. In this paper, we give a conjectural formula for $\mathrm{Mant}_{b, \mu}(\rho)$ for all $\rho$ and prove it when $\rho$ is essentially square integrable. Our proof works for general $\rho$ conditionally on a conjecture appearing in Shin's work. We show that our description agrees with a conjecture of Harris in the case of parabolic inductions of supercuspidal representations of a Levi subgroup., Comment: 50 pages, published version

In this paper we consider the following problem: letXk, be a Banach space with a normalised basis (e(k, j))j, whose biorthogonals are denoted by${(e_{(k,j)}^*)_j}$, for$k\in\N$, let$Z=\ell^\infty(X_k:k\kin\N)$be theirl∞-sum, and let$T:Z\to Z$be a bounded linear operator with a large diagonal,i.e.,$$\begin{align*}\inf_{k,j} \big|e^*_{(k,j)}(T(e_{(k,j)})\big|>0.\end{align*}$$Under which condition does the identity onZfactor throughT? The purpose of this paper is to formulate general conditions for which the answer is positive.

In this paper, to model cascading failures, a new stochastic failure model is proposed. In a system subject to cascading failures, after each failure of the component, the remaining component suffers from increased load or stress. This results in shortened residual lifetimes of the remaining components. In this paper, to model this effect, the concept of the usual stochastic order is employed along with the accelerated life test model, and a new general class of stochastic failure models is generated.

In this paper, we present a version of Guan-Zhou’s optimal $L^{2}$ extension theorem and its application. As a main application, we show that under a natural condition, the question posed by Ohsawa in his series paper VIII on the extension of $L^{2}$ holomorphic functions holds. We also give an explicit counterexample which shows that the question fails in general.

In this paper, we first use the distribution of the number of records to demonstrate that the right tail probabilities of counts of rare events are generally better approximated by the right tail probabilities of Poisson distribution than {those} of normal distribution. We then show the moderate deviations in Poisson approximation generally require an adjustment and, with suitable adjustment, we establish better error estimates of the moderate deviations in Poisson approximation than those in \cite{CFS}. Our estimates contain no unspecified constants and are easy to apply. We illustrate the use of the theorems in six applications: Poisson-binomial distribution, matching problem, occupancy problem, birthday problem, random graphs and 2-runs. The paper complements the works of \cite{CC92,BCC95,CFS}., 29 pages and 5 figures

Suppose that $G$ is a simple reductive group over $\mathbf{Q}$, with an exceptional Dynkin type and with $G(\mathbf{R})$ quaternionic (in the sense of Gross–Wallach). In a previous paper, we gave an explicit form of the Fourier expansion of modular forms on $G$ along the unipotent radical of the Heisenberg parabolic. In this paper, we give the Fourier expansion of the minimal modular form $\unicode[STIX]{x1D703}_{Gan}$ on quaternionic $E_{8}$ and some applications. The $Sym^{8}(V_{2})$-valued automorphic function $\unicode[STIX]{x1D703}_{Gan}$ is a weight 4, level one modular form on $E_{8}$, which has been studied by Gan. The applications we give are the construction of special modular forms on quaternionic $E_{7},E_{6}$ and $G_{2}$. We also discuss a family of degenerate Heisenberg Eisenstein series on the groups $G$, which may be thought of as an analogue to the quaternionic exceptional groups of the holomorphic Siegel Eisenstein series on the groups $\operatorname{GSp}_{2n}$.

We present a new method of proving the Diophantine extremality of various dynamically defined measures, vastly expanding the class of measures known to be extremal. This generalizes and improves the celebrated theorem of Kleinbock and Margulis [{\it Invent. Math.} {\bf 138}(3) (1999), 451--494] resolving Sprind\v zuk's conjecture, as well as its extension by Kleinbock, Lindenstrauss, and Weiss [On fractal measures and Diophantine approximation. {\it Selecta Math.} {\bf 10} (2004), 479--523], hereafter abbreviated KLW. As applications we prove the extremality of all hyperbolic measures of smooth dynamical systems with sufficiently large Hausdorff dimension, and of the Patterson--Sullivan measures of all nonplanar geometrically finite groups. The key technical idea, which has led to a plethora of new applications, is a significant weakening of KLW's sufficient conditions for extremality. In the first of this series of papers [{\it Selecta Math.} {\bf 24}(3) (2018), 2165--2206], we introduce and develop a systematic account of two classes of measures, which we call {\it quasi-decaying} and {\it weakly quasi-decaying}. We prove that weak quasi-decay implies strong extremality in the matrix approximation framework, as well as proving the ``inherited exponent of irrationality'' version of this theorem. In this paper, the second of the series, we establish sufficient conditions on various classes of conformal dynamical systems for their measures to be quasi-decaying. In particular, we prove the above-mentioned result about Patterson--Sullivan measures, and we show that equilibrium states (including conformal measures) of nonplanar infinite iterated function systems (including those which do not satisfy the open set condition) and rational functions are quasi-decaying., Comment: Link to Part I: arXiv:1504.04778

Let $\unicode[STIX]{x1D703}$ be an irrational real number. The map $T_{\unicode[STIX]{x1D703}}:y\mapsto (y+\unicode[STIX]{x1D703})\!\hspace{0.6em}{\rm mod}\hspace{0.2em}1$ from the unit interval $\mathbf{I}= [\!0,1\![$ (endowed with the Lebesgue measure) to itself is ergodic. In a short paper [Parry, Automorphisms of the Bernoulli endomorphism and a class of skew-products. Ergod. Th. & Dynam. Sys.16 (1996), 519–529] published in 1996, Parry provided an explicit isomorphism between the measure-preserving map $[T_{\unicode[STIX]{x1D703}},\text{Id}]$ and the unilateral dyadic Bernoulli shift when $\unicode[STIX]{x1D703}$ is extremely well approximated by the rational numbers, namely, if $$\begin{eqnarray}\inf _{q\geq 1}q^{4}4^{q^{2}}~\text{dist}(\unicode[STIX]{x1D703},q^{-1}\mathbb{Z})=0.\end{eqnarray}$$ A few years later, Hoffman and Rudolph [Uniform endomorphisms which are isomorphic to a Bernoulli shift. Ann. of Math. (2)156 (2002), 79–101] showed that for every irrational number, the measure-preserving map $[T_{\unicode[STIX]{x1D703}},\text{Id}]$ is isomorphic to the unilateral dyadic Bernoulli shift. Their proof is not constructive. In the present paper, we relax notably Parry’s condition on $\unicode[STIX]{x1D703}$: the explicit map provided by Parry’s method is an isomorphism between the map $[T_{\unicode[STIX]{x1D703}},\text{Id}]$ and the unilateral dyadic Bernoulli shift whenever $$\begin{eqnarray}\inf _{q\geq 1}q^{4}~\text{dist}(\unicode[STIX]{x1D703},q^{-1}\mathbb{Z})=0.\end{eqnarray}$$ This condition can be relaxed again into $$\begin{eqnarray}\inf _{n\geq 1}q_{n}^{3}~(a_{1}+\cdots +a_{n})~|q_{n}\unicode[STIX]{x1D703}-p_{n}| where $[0;a_{1},a_{2},\ldots ]$ is the continued fraction expansion and $(p_{n}/q_{n})_{n\geq 0}$ the sequence of convergents of $\Vert \unicode[STIX]{x1D703}\Vert :=\text{dist}(\unicode[STIX]{x1D703},\mathbb{Z})$. Whether Parry’s map is an isomorphism for every $\unicode[STIX]{x1D703}$ or not is still an open question, although we expect a positive answer.

This paper generalizes the Kunita–Watanabe decomposition of an $L^2$ space. The generalization comes from using nonlinear stochastic integrals where the integrator is a family of continuous martingales bounded in $L^2$ . This result is also the solution of an optimization problem in $L^2$ . First, martingales are assumed to be stochastic integrals. Then, to get the general result, it is shown that the regularity of the family of martingales with respect to its spatial parameter is inherited by the integrands in the integral representation of the martingales. Finally, an example showing how the results of this paper, with the Clark–Ocone formula, can be applied to polynomial functions of Brownian integrals.

The notion of quantized characters was introduced in our previous paper as a natural quantization of characters in the context of asymptotic representation theory forquantum groups. As in the case of ordinary groups, the representation associated with any extreme quantized character generates a von Neumann factor. From the viewpoint of operator algebras (and measurable dynamical systems), it is natural to ask what is the Murray–von Neumann–Connes type of the resulting factor. In this paper, we give a complete solution to this question when the inductive system is of quantum unitary groups $U_{q}(N)$.

We study a Markovian agent-based model (MABM) in this paper. Each agent is endowed with a local state that changes over time as the agent interacts with its neighbours. The neighbourhood structure is given by a graph. In a recent paper [Simon et al. 2011], the authors used the automorphisms of the underlying graph to generate a lumpable partition of the joint state space ensuring Markovianness of the lumped process for binary dynamics. However, many large random graphs tend to become asymmetric rendering the automorphism-based lumping approach ineffective as a tool of model reduction. In order to mitigate this problem, we propose a lumping method based on a notion of local symmetry, which compares only local neighbourhoods of vertices. Since local symmetry only ensures approximate lumpability, we quantify the approximation error by means of Kullback-Leibler divergence rate between the original Markov chain and a lifted Markov chain. We prove the approximation error decreases monotonically. The connections to fibrations of graphs are also discussed., Comment: 28 pages, 4 figures

This paper considers two variants of M/G/1 queues with impatient customers, which are denoted by M/G/1+Gw and M/G/1+Gs. In the M/G/1+Gw queue customers have deadlines for their waiting times, and they leave the system immediately if their services do not start before the expiration of their deadlines. On the other hand, in the M/G/1+Gs queue customers have deadlines for their sojourn times, where customers in service also immediately leave the system when their deadlines expire. In this paper we derive comparison results for performance measures of these models. In particular, we show that if the service time distribution is new better than used in expectation, then the loss probability in the M/G/1+Gs queue is greater than that in the M/G/1+Gw queue.

Recently, Lutz and Stull used methods from algorithmic information theory to prove two new Marstrand-type projection theorems, concerning subsets of Euclidean space which are not assumed to be Borel, or even analytic. One of the theorems states that if $K \subset \mathbb{R}^{n}$ is any set with equal Hausdorff and packing dimensions, then $$ \dim_{\mathrm{H}} π_{e}(K) = \min\{\dim_{\mathrm{H}} K,1\} $$ for almost every $e \in S^{n - 1}$. Here $π_{e}$ stands for orthogonal projection to $\mathrm{span}(e)$. The primary purpose of this paper is to present proofs for Lutz and Stull's projection theorems which do not refer to information theoretic concepts. Instead, they will rely on combinatorial-geometric arguments, such as discretised versions of Kaufman's "potential theoretic" method, the pigeonhole principle, and a lemma of Katz and Tao. A secondary purpose is to slightly generalise Lutz and Stull's theorems: the versions in this paper apply to orthogonal projections to $m$-planes in $\mathbb{R}^{n}$, for all $0 < m < n$., 11 pages. v2: Incorporated referee suggestions

This paper concerns the study of the global structure of measure-preserving actions of countable groups on standard probability spaces. Weak containment is a hierarchical notion of complexity of such actions, motivated by an analogous concept in the theory of unitary representations. This concept gives rise to an associated notion of equivalence of actions, called weak equivalence, which is much coarser than the notion of isomorphism (conjugacy). It is well understood now that, in general, isomorphism is a very complex notion, a fact which manifests itself, for example, in the lack of any reasonable structure in the space of actions modulo isomorphism. On the other hand, the space of weak equivalence classes is quite well behaved. Another interesting fact that relates to the study of weak containment is that many important parameters associated with actions, such as the type, cost, and combinatorial parameters, turn out to be invariants of weak equivalence and in fact exhibit desirable monotonicity properties with respect to the pre-order of weak containment, a fact that can be useful in certain applications. There has been quite a lot of activity in this area in the last few years, and our goal in this paper is to provide a survey of this work.

This paper studies the regularity results of classical solutions to the two-dimensional critical Oldroyd-B model in the corotational case. The critical case refers to the full Laplacian dissipation in the velocity or the full Laplacian dissipation in the non-Newtonian part of the stress tensor. Whether or not their classical solutions develop finite time singularities is a difficult problem and remains open. The object of this paper is two-fold. Firstly, we establish the global regularity result to the case when the critical case occurs in the velocity and a logarithmic dissipation occurs in the non-Newtonian part of the stress tensor. Secondly, when the critical case occurs in the non-Newtonian part of the stress tensor, we first present many interesting global a priori bounds, then establish a conditional global regularity in terms of the non-Newtonian part of the stress tensor. This criterion comes naturally from our approach to obtain a global L∞-bound for the vorticity ω.

Let${\mathcal{S}}$be the family of analytic and univalent functions$f$in the unit disk$\mathbb{D}$with the normalization$f(0)=f^{\prime }(0)-1=0$, and let$\unicode[STIX]{x1D6FE}_{n}(f)=\unicode[STIX]{x1D6FE}_{n}$denote the logarithmic coefficients of$f\in {\mathcal{S}}$. In this paper we study bounds for the logarithmic coefficients for certain subfamilies of univalent functions. Also, we consider the families${\mathcal{F}}(c)$and${\mathcal{G}}(c)$of functions$f\in {\mathcal{S}}$defined by$$\begin{eqnarray}\text{Re}\biggl(1+{\displaystyle \frac{zf^{\prime \prime }(z)}{f^{\prime }(z)}}\biggr)>1-{\displaystyle \frac{c}{2}}\quad \text{and}\quad \text{Re}\biggl(1+{\displaystyle \frac{zf^{\prime \prime }(z)}{f^{\prime }(z)}}\biggr)for some$c\in (0,3]$and$c\in (0,1]$, respectively. We obtain the sharp upper bound for$|\unicode[STIX]{x1D6FE}_{n}|$when$n=1,2,3$and$f$belongs to the classes${\mathcal{F}}(c)$and${\mathcal{G}}(c)$, respectively. The paper concludes with the following two conjectures:∙If$f\in {\mathcal{F}}(-1/2)$, then$|\unicode[STIX]{x1D6FE}_{n}|\leq 1/n(1-(1/2^{n+1}))$for$n\geq 1$, and$$\begin{eqnarray}\mathop{\sum }_{n=1}^{\infty }|\unicode[STIX]{x1D6FE}_{n}|^{2}\leq {\displaystyle \frac{\unicode[STIX]{x1D70B}^{2}}{6}}+{\displaystyle \frac{1}{4}}~\text{Li}_{2}\biggl({\displaystyle \frac{1}{4}}\biggr)-\text{Li}_{2}\biggl({\displaystyle \frac{1}{2}}\biggr),\end{eqnarray}$$where$\text{Li}_{2}(x)$denotes the dilogarithm function.∙If$f\in {\mathcal{G}}(c)$, then$|\unicode[STIX]{x1D6FE}_{n}|\leq c/2n(n+1)$for$n\geq 1$.

In a previous paper [1], I described a method for computing sums of powers via a matrix composed from Pascal's triangle. (The motivation for this came from a mathematical puzzle posed by Paul Maslanka in the Guardian.) Since then I have read or viewed a number of papers on sums of powers. Some were nearly four hundred years old and the most recent one was published this year. One rather obscure work I stumbled across was ‘On the sums of powers of natural numbers’ by the Japanese mathematician Mr T. Kariya, published in Tokyo in 1907. If any readers know more of Mr Kariya I would be glad to hear about him.

The main goal of this paper is to give a deeper understanding of the geometrical inequality proposed by Martin Lukarevski in [1]. In order to formulate our results we shall introduce and use the following notation throughout this paper. Let A1A2A3 be a triangle a1, a2, a3, the lengths of the sides opposite to A1, A2, A3 respectively, P an arbitrary inner point of it xi, the distance of P from the side of length ai. Let r, R be the inradius and circumradius of the triangle hi, the altitude belonging to side ai, Δ the area and finally let α be a real parameter. We adopt also the use of Σui to refer the sum taken over the suffices i = 1, 2, 3. Now we are in the position to reformulate the original problem into a more general form namely: find bounds for Σxαi in terms of r and R. The main results of our investigation are summarised in the following theorem.

In 2005, using a famous lemma of Atkin and Swinnerton-Dyer (Some properties of partitions, Proc. Lond. Math. Soc. (3)4(1954), 84–106), Yesilyurt (Four identities related to third order mock theta functions in Ramanujan’s lost notebook, Adv. Math. 190(2005), 278–299) proved four identities for third order mock theta functions found on pages 2 and 17 in Ramanujan’s lost notebook. The primary purpose of this paper is to offer new proofs in the spirit of what Ramanujan might have given in the hope that a better understanding of the identities might be gained. Third order mock theta functions are intimately connected with ranks of partitions. We prove new dissections for two rank generating functions, which are keys to our proof of the fourth, and the most difficult, of Ramanujan’s identities. In the last section of this paper, we establish new relations for ranks arising from our dissections of rank generating functions.

This paper will be devoted to study a class of bilinear square-function Fourier multiplier operator associated with a symbol $m$ defined by $$\begin{eqnarray}\displaystyle & & \displaystyle \mathfrak{T}_{\unicode[STIX]{x1D706},m}(f_{1},f_{2})(x)\nonumber\\ \displaystyle & & \displaystyle \quad =\Big(\iint _{\mathbb{R}_{+}^{n+1}}\Big(\frac{t}{|x-z|+t}\Big)^{n\unicode[STIX]{x1D706}}\nonumber\\ \displaystyle & & \displaystyle \qquad \times \,\bigg|\int _{(\mathbb{R}^{n})^{2}}e^{2\unicode[STIX]{x1D70B}ix\cdot (\unicode[STIX]{x1D709}_{1}+\unicode[STIX]{x1D709}_{2})}m(t\unicode[STIX]{x1D709}_{1},t\unicode[STIX]{x1D709}_{2})\hat{f}_{1}(\unicode[STIX]{x1D709}_{1})\hat{f}_{2}(\unicode[STIX]{x1D709}_{2})\,d\unicode[STIX]{x1D709}_{1}\,d\unicode[STIX]{x1D709}_{2}\bigg|^{2}\frac{dz\,dt}{t^{n+1}}\Big)^{1/2}.\nonumber\end{eqnarray}$$ A basic fact about $\mathfrak{T}_{\unicode[STIX]{x1D706},m}$ is that it is closely associated with the multilinear Littlewood–Paley $g_{\unicode[STIX]{x1D706}}^{\ast }$ function. In this paper we first investigate the boundedness of $\mathfrak{T}_{\unicode[STIX]{x1D706},m}$ on products of weighted Lebesgue spaces. Then, the weighted endpoint $L\log L$ type estimate and strong estimate for the commutators of $\mathfrak{T}_{\unicode[STIX]{x1D706},m}$ will be demonstrated.

Left restriction semigroups are the unary semigroups that abstractly characterize semigroups of partial maps on a set, where the unary operation associates to a map the identity element on its domain. This paper is the sequel to two recent papers by the author, melding the results of the first, on membership in the variety $\mathbf{B}$ of left restriction semigroups generated by Brandt semigroups and monoids, with the connection established in the second between subvarieties of the variety $\mathbf{B}_{R}$ of two-sided restriction semigroups similarly generated and varieties of categories, in the sense of Tilson. We show that the respective lattices ${\mathcal{L}}(\mathbf{B})$ and ${\mathcal{L}}(\mathbf{B}_{R})$ of subvarieties are almost isomorphic, in a very specific sense. With the exception of the members of the interval $[\mathbf{D},\mathbf{D}\vee \mathbf{M}]$, every subvariety of $\mathbf{B}$ is induced from a member of $\mathbf{B}_{R}$ and vice versa. Here $\mathbf{D}$ is generated by the three-element left restriction semigroup $D$ and $\mathbf{M}$ is the variety of monoids. The analogues hold for pseudovarieties.

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.

Inspired by a method of La Bretèche relying on some unique factorisation, we generalise work of Blomer, Brüdern and Salberger to prove Manin's conjecture in its strong form conjectured by Peyre for some infinite family of varieties of higher dimension. The varieties under consideration in this paper correspond to the singular projective varieties defined by the following equation$$ x_1 y_2y_3\cdots y_n+x_2y_1y_3 \cdots y_n+ \cdots+x_n y_1 y_2 \cdots y_{n-1}=0 $$in ℙℚ2n−1for alln⩾ 3. This paper comes with an Appendix by Per Salberger constructing a crepant resolution of the above varieties.

In this paper we study the affine focal set, which is the bifurcation set of the affine distance to submanifolds Nn contained in hypersurfaces Mn+1 of the (n + 2)-space. We give conditions under which this affine focal set is a regular hypersurface and, for curves in 3-space, we describe its stable singularities. For a given Darboux vector field ξ of the immersion N ⊂ M, one can define the affine metric g and the affine normal plane bundle . We prove that the g-Laplacian of the position vector belongs to if and only if ξ is parallel. For umbilic and normally flat immersions, the affine focal set reduces to a single line. Submanifolds contained in hyperplanes or hyperquadrics are always normally flat. For N contained in a hyperplane L, we show that N ⊂ M is umbilic if and only if N ⊂ L is an affine sphere and the envelope of tangent spaces is a cone. For M hyperquadric, we prove that N ⊂ M is umbilic if and only if N is contained in a hyperplane. The main result of the paper is a general description of the umbilic and normally flat immersions: given a hypersurface f and a point O in the (n + 1)-space, the immersion (ν, ν · (f − O)), where ν is the co-normal of f, is umbilic and normally flat, and conversely, any umbilic and normally flat immersion is of this type.

SUMMARYIn this paper, a new family of 3-degree-of-freedom planar parallel manipulators (PPMs), namely U-shape fixed base PPMs starting with an active prismatic joint on each leg, is proposed. In order to identify the best manipulators of this family, comparative kinematic and dynamic performance studies are performed. The kinematic performances are quantified through the local performance index, namely the kinematic isotropy. From the kinematic isotropy analysis results, it is observed thatPPR-PRP-PRP,PRP-PRP-PRP andPRR-PRP-PRP configurations have better kinematic design aspects compared to other configurations of this family of U-shape fixed base parallel configurations. Further, from the workspace analysis, it is observed that thePPR-PRP-PRP configuration has a higher value of workspace to the total area required ratio compared to other configurations. This paper also presents a comparative dynamic performance analysis of these top-three U-shape fixed base configurations in terms of dynamic driving performance measures, and energy requirements for three different (fixed base size of the manipulators) aspect ratios under two different loading conditions. From the analyses results, it is perceived that thePRP-PRP-PRP configuration is requiring lower energy and dynamic driving performances than others. These analyses are done with the help of multi-body dynamic software, namely MSC ADAMS, and the results are validated through the help of real-time experiments conducted on in-house fabricated prototypes of these three PPMs. In specific, the energy consumption is measured and compared in this study. Experimental results demonstrated that thePRP-PRP-PRP manipulator displays a considerably better performance in terms of minimum energy requirement.

The scope of the paper is twofold. We show that for a large class of measurable vector fields in the sense of Weaver (i.e. derivations over the algebra of Lipschitz functions), called in the paper laminated, the notion of integral curves may be naturally defined and characterized (when appropriate) by an ordinary differential equation. We further show that for such vector fields the notion of a flow of the given positive Borel measure similar to the classical one generated by a smooth vector field (in a space with smooth structure) may be defined in a reasonable way, so that the measure ‘flows along’ the appropriately understood integral curves of the given vector field and the classical continuity equation is satisfied in the weak sense.

Tangential quadrilaterals are defined to be quadrilaterals in which a circle can be inscribed that is tangent to all four sides. It is well known and easy to prove that a convex quadrilateral is tangential if, and only if, the angle bisectors of all four vertex angles are concurrent at a point, which is the centre of the inscribed circle (incircle). The most well-known and in problem solving useful characterisation of tangential quadrilaterals is Pitot's theorem, which states that a convex quadrilateral is tangential if and only if its consecutive sides a, b, c, d satisfy the relation a + c = b + d [1, pp. 64-67]. If you want to have more background information about characterisations of tangential quadrilaterals, then we recommend you to check out the lovely papers [2, 3, 4], as well as our previous contributions on the subject [5, 6, 7]. These six papers together include about 30 characterisations that are either proved or reviewed there with references.

This paper deals with the Green ring $\mathcal{G}(\mathcal{C})$ of a finite tensor category $\mathcal{C}$ with finitely many isomorphism classes of indecomposable objects over an algebraically closed field. The first part of this paper deals with the question of when the Green ring $\mathcal{G}(\mathcal{C})$, or the Green algebra $\mathcal{G}(\mathcal{C})\otimes_{\mathbb {Z}}$K over a field K, is Jacobson semisimple (namely, has zero Jacobson radical). It turns out that $\mathcal{G}(\mathcal{C})\otimes_{\mathbb {Z}}$K is Jacobson semisimple if and only if the Casimir number of $\mathcal{C}$ is not zero in K. For the Green ring $\mathcal{G}(\mathcal{C})$ itself, $\mathcal{G}(\mathcal{C})$ is Jacobson semisimple if and only if the Casimir number of $\mathcal{C}$ is not zero. The second part of this paper focuses on the case where $\mathcal{C}=\text{Rep}(\mathbb {k}G)$ for a cyclic group G of order p over a field $\mathbb {k}$ of characteristic p. In this case, the Casimir number of $\mathcal{C}$ is computable and is shown to be 2p2. This leads to a complete description of the Jacobson radical of the Green algebra $\mathcal{G}(\mathcal{C})\otimes_{\mathbb {Z}}$K over any field K.

In this paper, we show local smooth rigidity for higher rank ergodic nilpotent action by toral automorphisms. In former papers all examples for actions enjoying the local smooth rigidity phenomenon are higher rank and have no rank-one factors. In this paper we give examples of smooth rigidity of actions having rank-one factors. The method is a generalization of the KAM (Kolmogorov–Arnold–Moser) iterative scheme.

The action of any group on itself by conjugation and the corresponding conjugacy relation play an important role in group theory. There have been many attempts to find notions of conjugacy in semigroups that would be useful in special classes of semigroups occurring in various areas of mathematics, such as semigroups of matrices, operator and topological semigroups, free semigroups, transition monoids for automata, semigroups given by presentations with prescribed properties, monoids of graph endomorphisms, etc. In this paper we study four notions of conjugacy for semigroups, their interconnections, similarities and dissimilarities. They appeared originally in various different settings (automata, representation theory, presentations or transformation semigroups). Here we study them in maximum generality. The paper ends with a large list of open problems., Comment: The paper is now more focused on abstract semigroups and a fourth notion of conjugacy was introduced for its importance in representation theory and finite semigroups