Search

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

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.

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$.

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

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.

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.

The general class of quadrilaterals where one diagonal is bisected by the other diagonal has appeared very rarely in the geometrical literature, but they have been named several times in connection with quadrilateral classifications. Günter Graumann strangely gave these objects two different names in [1, pp. 192, 194]: sloping-kite and sliding-kite. A. Ramachandran called them slant kites in [2, p. 54] and Michael de Villiers called them bisecting quadrilaterals in [3, pp. 19, 206]. The latter is a pretty good name, although a bit confusing: what exactly is bisected?We have found no papers and only two books where any theorems on such quadrilaterals are studied. In each of the books, one necessary and sufficient condition for such quadrilaterals is proved (see Theorem 1 and 2 in the next section). The purpose of this paper is to investigate basic properties of convex bisecting quadrilaterals, but we have chosen to give them a slightly different name. Let us first remind the reader that a quadrilateral whose diagonals have equal lengths is called an equidiagonal quadrilateral and one whose diagonals are perpendicular is called an orthodiagonal quadrilateral.

A setisshyorHaar null(in the sense of Christensen) if there exists a Borel setand a Borel probability measureμonC[0, 1] such thatandfor allf∈C[0, 1]. The complement of a shy set is called aprevalentset. We say that a set isHaar ambivalentif it is neither shy nor prevalent.The main goal of the paper is to answer the following question: what can we say about the topological properties of the level sets of the prevalent/non-shy manyf∈C[0, 1]?The classical Bruckner–Garg theorem characterizes the level sets of the generic (in the sense of Baire category)f∈C[0, 1] from the topological point of view. We prove that the functionsf∈C[0, 1] for which the same characterization holds form a Haar ambivalent set.In an earlier paper, Balkaet al. proved that the functionsf∈C[0, 1] for which positively many level sets with respect to the Lebesgue measure λ are singletons form a non-shy set inC[0, 1]. The above result yields that this set is actually Haar ambivalent. Now we prove that the functionsf∈C[0, 1] for which positively many level sets with respect to the occupation measure λ ◦f–1are not perfect form a Haar ambivalent set inC[0, 1].We show that for the prevalentf∈C[0, 1] for the genericy∈f([0, 1]) the level setf–1(y) is perfect. Finally, we answer a question of Darji and White by showing that the set of functionsf∈C[0, 1] for which there exists a perfect setPf⊂ [0, 1] such thatfʹ(x) = ∞ for allx∈Pfis Haar ambivalent.

This paper contributes to the regular covers of a complete bipartite graph minus a matching, denoted $K_{n,n}-nK_{2}$, whose fiber-preserving automorphism group acts 2-arc-transitively. All such covers, when the covering transformation group $K$ is either cyclic or $\mathbb{Z}_{p}^{2}$ with $p$ a prime, have been determined in Xu and Du [‘2-arc-transitive cyclic covers of $K_{n,n}-nK_{2}$’, J. Algebraic Combin.39 (2014), 883–902] and Xu et al. [‘2-arc-transitive regular covers of $K_{n,n}-nK_{2}$ with the covering transformation group $\mathbb{Z}_{p}^{2}$’, Ars. Math. Contemp.10 (2016), 269–280]. Finally, this paper gives a classification of all such covers for $K\cong \mathbb{Z}_{p}^{3}$ with $p$ a prime.

Suppose that X 1, …, X n are random variables with the same known marginal distribution F but unknown dependence structure. In this paper we study the smallest possible value of P(X 1 + · · · + X n < s) over all possible dependence structures, denoted by m n,F (s). We show that m n,F (ns) → 0 for s no more than the mean of F under weak assumptions. We also derive a limit of m n,F (ns) for any s ∈ R with an error of at most n -1/6 for general continuous distributions. An application of our result to risk management confirms that the worst-case value at risk is asymptotically equivalent to the worst-case expected shortfall for risk aggregation with dependence uncertainty. In the last part of this paper we present a dual presentation of the theory of complete mixability and give dual proofs of theorems in the literature on this concept.

Let $({\mathcal X}, d, \mu)$ be a metric measure space and satisfy the so-called upper doubling condition and the geometrical doubling condition. In this paper, we introduce the atomic Hardy space $H^1(\mu)$ and prove that its dual space is the known space ${\rm RBMO}(\mu)$ in this context. Using this duality, we establish a criterion for the boundedness of linear operators from $H^1(\mu)$ to any Banach space. As an application of this criterion, we obtain the boundedness of Calder\'on--Zygmund operators from $H^1(\mu)$ to $L^1(\mu)$., Comment: This paper has been withdrawn by the authors, since it has already been published

This paper provides a simple proof for the fact that the hitting time to an infrequently visited subset for a one-dependent regenerative process converges weakly to an exponential distribution. Special cases are positive recurrent Harris chains and Harris processes. The paper further extends this class of limit theorems to ‘rewards’ that are cumulated to the hitting time of such a rare set.

We prove the so-called inverse conjecture for the Gowers U^{s+1}-norm in the case s = 3 (the cases s < 3 being established in previous literature). That is, we establish that if f : [N] -> C is a function with |f(n)| = ��then there is a bounded complexity 3-step nilsequence F(g(n)��) which correlates with f. The approach seems to generalise so as to prove the inverse conjecture for s >= 4 as well, and a longer paper will follow concerning this. By combining this with several previous papers of the first two authors one obtains the generalised Hardy-Littlewood prime-tuples conjecture for any linear system of complexity at most 3. In particular, we have an asymptotic for the number of 5-term arithmetic progressions p_1 < p_2 < p_3 < p_4 < p_5, 49 pages, to appear in Glasgow J. Math. Fixed a problem with the file (the paper appeared in duplicate)

In this paper, the componentwise increasing convex order, the upper orthant order, the upper orthant convex order, and the increasing directionally convex order for random vectors are generalized to hierarchical classes of integral stochastic order relations. The elements of the generating classes of functions possess nonnegative partial derivatives up to some given degrees. Some properties of these new stochastic order relations are studied. Particular attention is paid to the comparison of weighted sums of the respective components of ordered random vectors. By providing a unified derivation of standard multivariate stochastic orderings, the present paper shows how some well-known results derive from a common principle.

Nice polynomials are polynomials whose coefficients, roots, and critical points are integers. The earliest papers on nice polynomials [1, 2, 3] give an explicit formula for all nice cubics. All the derivations of this formula use Pythagorean triples.In 1999 the problem of finding, constructing, and classifying nice polynomials was added to the list of unsolved problems [4] in The American Mathematical Monthly. Other papers soon followed, including [5] and [6], with extending the results of nice polynomials to polynomials with coefficients, roots, and critical points in integral domains D. Such polynomials are called D-nice.

Let (X, O) be a germ of a normal surface singularity, π: → X be the minimal resolution of singularities and let A = (ai,j) be the n × n symmetrical intersection matrix of the exceptional set of In an old preprint Nash proves that the set of arcs on a surface singularity is a scheme , and defines a map from the set of irreducible components of to the set of exceptional components of the minimal resolution of singularities of (X,O). He proved that this map is injective and ask if it is surjective. In this paper we consider the canonical decomposition •For any couple (Ei,Ej) of distinct exceptional components, we define Numerical Nash condition (NN(i,j)). We have that (NN(i,j)) implies In this paper we prove that (NN(i,j)) is always true for at least the half of couples (i,j).•The condition (NN(i,j)) is true for all couples (i,j) with i ≠ j, characterizes a certain class of negative definite matrices, that we call Nash matrices. If A is a Nash matrix then the Nash map N is bijective. In particular our results depend only on A and not on the topological type of the exceptional set.•We recover and improve considerably almost all results known on this topic and our proofs are new and elementary.•We give infinitely many other classes of singularities where Nash Conjecture is true.The proofs are based on my old work [8] and in Plenat [10].

This thesis consists of four papers.In paper 1, we prove central limit theorems for Markov chains under (local) contraction conditions. As a corollary we obtain a central limit theorem for Markov chains associated with iterated function systems with contractive maps and place-dependent Dini-continuous probabilities.In paper 2, properties of inverse subordinators are investigated, in particular similarities with renewal processes. The main tool is a theorem on processes that are both renewal and Cox processes.In paper 3, distributional properties of supercritical and especially immortal branching processes are derived. The marginal distributions of immortal branching processes are found to be compound geometric.In paper 4, a description of a dynamic population model is presented, such that samples from the population have genealogies as given by a Lambda-coalescent with mutations. Depending on whether the sample is grouped according to litters or families, the sampling distribution is either regenerative or non-regenerative.

The test ideal $\tau(R)$ of a ring $R$ of prime characteristic is an important object in the theory of tight closure. In this paper, we study a generalization of the test ideal, which is the ideal $\tau(\a^t)$ associated to a given ideal $\a$ with rational exponent $t \ge 0$. We first prove a key lemma of this paper, which gives a characterization of the ideal $\tau(\a^t)$. As applications of this key lemma, we generalize the preceding results on the behavior of the test ideal $\tau(R)$. Moreover, we prove an analog of so-called Skoda's theorem, which is formulated algebraically via adjoint ideals by Lipman in his proof of the "modified Brian\c{c}on--Skoda theorem.", Comment: 11 pages, AMS-LaTeX; v.2: minor changes, to appear in Nagoya Math. J

Suppose that {X s , 0 ≤ s ≤ T} is an m-dimensional geometric Brownian motion with drift, μ is a bounded positive Borel measure on [0,T], and ϕ : ℝ m → [0,∞) is a (weighted) l q (ℝ m )-norm, 1 ≤ q ≤ ∞. The purpose of this paper is to study the distribution and the moments of the random variable Y given by the L p (μ)-norm, 1 ≤ p ≤ ∞, of the function s ↦ ϕ(X s ), 0 ≤ s ≤ T. By using various geometric inequalities in Wiener space, this paper gives upper and lower bounds for the distribution function of Y and proves that the distribution function is log-concave and absolutely continuous on every open subset of the distribution's support. Moreover, the paper derives tail probabilities, presents sharp moment inequalities, and shows that Y is indetermined by its moments. The paper will also discuss the so-called moment-matching method for the pricing of Asian-styled basket options.

The Brocard points P and P' of the triangle ABC, illustrated in Figure 1, are such that ∠PAB = ∠PBC = ∠PCA = ω and ∠P'BA = ∠P'CB = ∠P'AC = ω. Problem 78.A in the March 1994 edition of the Mathematical Gazette required a proof that the maximum length of PP' is R/2, where R is the circumradius of triangle ABC. The solution given by various solvers in the November 1994 edition of the Gazette is essentially the same as appeared in a paper by H. E. Piggott in the Gazette in 1924. In the present paper various properties of the triangle and its Brocard points are established in terms of the lengths of the sides of the triangle. Some of the results may be new, but the methods used encompass ‘Mathematics Ancient and Modern’ in the guises of homogeneous areal coordinates and computer algebra!

We consider the exact distribution of the number of peaks in a random permutation of the integers 1, 2, ···, n. This arises from a test of whether n successive observations from a continuous distribution are i.i.d. The Eulerian numbers, which figure in the p.g.f., are then shown to provide a link between the simpler problem of ascents (which has been thoroughly analysed) and both our problem of peaks and similar problems on the circle. This link then permits easy deduction of certain general properties, such as linearity in n of the cumulants, in the more complex settings. Since the focus of the paper is on exact distributional results, a uniform bound on the deviation from the limiting normal is included. A secondary purpose of the paper is synthesis, beginning with the more familiar setting of peaks and troughs.

Gireesh and Mahadeva Naika [‘On 3-regular partitions in 3-colors’, Indian J. Pure Appl. Math.50 (2019), 137–148] proved an infinite family of congruences modulo powers of 3 for the function $p_{\{3,3\}}(n)$ , the number of 3-regular partitions in three colours. In this paper, using elementary generating function manipulations and classical techniques, we significantly extend the list of proven arithmetic properties satisfied by $p_{\{3,3\}}(n).$

We consider products of an independent and identically distributed sequence in a set $\{f_1,\ldots ,f_m\}$ of orientation-preserving diffeomorphisms of the circle. We can naturally associate a Lyapunov exponent $\lambda $ . Under few assumptions, it is known that $\lambda \leq 0$ and that the equality holds if and only if $f_1,\ldots ,f_m$ are simultaneously conjugated to rotations. In this paper, we state a quantitative version of this fact in the case where $f_1,\ldots ,f_m$ are $C^k$ perturbations of rotations with rotation numbers $\rho (f_1),\ldots ,\rho (f_m)$ satisfying a simultaneous diophantine condition in the sense of Moser [On commuting circle mappings and simultaneous diophantine approximations. Math. Z.205(1) (1990), 105–121]: we give a precise estimate of $\lambda $ (Taylor expansion) and we prove that there exist a diffeomorphism g and rotations $r_i$ such that $\mbox {dist}(gf_ig^{-1},r_i)\ll |\lambda |^{{1}/{2}}$ for $i=1,\ldots , m$ . We also state analogous results for random products of $2\times 2$ matrices, without any diophantine condition.

In this paper, we study the structure of the rational cohomology groups of the IA-automorphism group$\mathrm {IA}_3$of the free group of rank three by using combinatorial group theory and representation theory. In particular, we detect a nontrivial irreducible component in the second cohomology group of$\mathrm {IA}_3$, which is not contained in the image of the cup product map of the first cohomology groups. We also show that the triple cup product of the first cohomology groups is trivial. As a corollary, we obtain that the fourth term of the lower central series of$\mathrm {IA}_3$has finite index in that of the Andreadakis–Johnson filtration of$\mathrm {IA}_3$.

We present a sufficient condition for the $kG$-Scott module with vertex $P$ to remain indecomposable under the Brauer construction for any subgroup $Q$ of $P$ as $k[Q\,C_G(Q)]$-module, where $k$ is a field of characteristic $2$, and $P$ is a semidihedral $2$-subgroup of a finite group $G$. This generalizes results for the cases where $P$ is abelian or dihedral. The Brauer indecomposability is defined \linebreak by R.~Kessar, N.~Kunugi and N.~Mitsuhashi. The motivation of \linebreak this paper is a fact that the Brauer indecomposability of a $p$-permutation bimodule ($p$ is a prime) is one of the key steps in order to obtain a splendid stable equivalence of Morita type by making use of the gluing method due to Brou\'e, Rickard, Linckelmann and Rouquier, that then can possibly be lifted to a splendid derived (splendid Morita) equivalence., Comment: 10 pages

The hazard rate ordering is an ordering for random variables which compares lifetimes with respect to their hazard rate functions. It is stronger than the usual stochastic order for random variables, yet is weaker than the likelihood ratio ordering. The hazard rate ordering is particularly useful in reliability theory and survival analysis, owing to the importance of the hazard rate function in these areas. In this paper earlier work on the hazard rate ordering is reviewed, and extensive new results related to coherent systems are derived. Initially we fix the form of a coherent structure and investigate the effect on the hazard rate function of the system when we switch the lifetimes of its components from the vector (T 1, · ··, Tn ) to the vector (T′ 1, · ··, T′n ), where the hazard rate functions of the two vectors are assumed to be comparable in some sense. Although the hazard rate ordering is closed under the formation of series systems, we see that this is not the case for parallel systems even when the system is a two-component parallel system with exponentially distributed lifetimes. A positive result shows that for two-component parallel systems with proportional hazards (λ 1 r(t), λ 2 r(t))), the more diverse (λ 1, λ2 ) is in the sense of majorization the stronger is the system in the hazard rate ordering. Unfortunately even this result does not extend to parallel systems with more than two components, demonstrating again the delicate nature of the hazard rate ordering. The principal result of the paper concerns the hazard rate ordering for the lifetime of a k-out-of-n system. It is shown that if τ k|n is the lifetime of a k-out-of-n system, then τ k|n is greater than τ k+ 1|n in the hazard rate ordering for any k. This has an interesting interpretation in the language of order statistics. For independent (not necessarily identically distributed) lifetimes T 1, · ··, Tn , we let Tk:n represent the kth order statistic (in increasing order). Then it is shown that Tk + 1:n is greater than Tk:n in the hazard rate ordering for all k = 1, ···, n − 1. The result does not, however, extend to the stronger likelihood ratio order.

Let S be the sum-of-digits function in base 2, which returns the number of 1s in the base-2 expansion of a nonnegative integer. For a nonnegative integer t, define the asymptotic density $${c_t} = \mathop {\lim }\limits_{N \to \infty } {1 \over N}|\{ 0 \le n < N:s(n + t) \ge s(n)\} |.$$ T. W. Cusick conjectured that ct > 1/2. We have the elementary bound 0 < ct < 1; however, no bound of the form 0 < α ≤ ct or ct ≤ β < 1, valid for all t, is known. In this paper, we prove that ct > 1/2 – ε as soon as t contains sufficiently many blocks of 1s in its binary expansion. In the proof, we provide estimates for the moments of an associated probability distribution; this extends the study initiated by Emme and Prikhod’ko (2017) and pursued by Emme and Hubert (2018).

Some favourite topics of both mathematics teachers and mathematics students are the golden ratio, Fibonacci numbers, groups, and Pythagorean triples. The material of this paper involves the first three, and there are some analogies with the fourth.

We work in the smooth category. Let $N$ be a closed connected orientable 4-manifold with torsion free $H_1$, where $H_q := H_q(N; \mathbb Z)$. Our main result is a readily calculable classification of embeddings $N\to\mathbb R^7$ up to isotopy, with an indeterminancy. Such a classification was only known before for $H_1=0$ by our earlier work from 2008. Our classification is complete when $H_2=0$ or when the signature of $N$ is divisible neither by 64 nor by 9. The group of knots $S^4\to\mathbb R^7$ acts on the set of embeddings $N\to\mathbb R^7$ up to isotopy by embedded connected sum. In Part I we classified the quotient of this action. The main novelty of this paper is the description of this action for $H_1\ne0$, with an indeterminancy. Besides the invariants of Part I, detecting the action of knots involves a refinement of the Kreck invariant from our work of 2008. For $N=S^1\times S^3$ we give a geometrically defined 1--1 correspondence between the set of isotopy classes of embeddings and a certain explicitly defined quotient of the set $\mathbb Z\oplus\mathbb Z\oplus\mathbb Z_{12}$., Comment: 19 pages, exposition improved

A graph $\Gamma $ is called $(G, s)$ -arc-transitive if $G \le \text{Aut} (\Gamma )$ is transitive on the set of vertices of $\Gamma $ and the set of s-arcs of $\Gamma $ , where for an integer $s \ge 1$ an s-arc of $\Gamma $ is a sequence of $s+1$ vertices $(v_0,v_1,\ldots ,v_s)$ of $\Gamma $ such that $v_{i-1}$ and $v_i$ are adjacent for $1 \le i \le s$ and $v_{i-1}\ne v_{i+1}$ for $1 \le i \le s-1$ . A graph $\Gamma $ is called 2-transitive if it is $(\text{Aut} (\Gamma ), 2)$ -arc-transitive but not $(\text{Aut} (\Gamma ), 3)$ -arc-transitive. A Cayley graph $\Gamma $ of a group G is called normal if G is normal in $\text{Aut} (\Gamma )$ and nonnormal otherwise. Fang et al. [‘On edge transitive Cayley graphs of valency four’, European J. Combin.25 (2004), 1103–1116] proved that if $\Gamma $ is a tetravalent 2-transitive Cayley graph of a finite simple group G, then either $\Gamma $ is normal or G is one of the groups $\text{PSL}_2(11)$ , ${\rm M} _{11}$ , $\text{M} _{23}$ and $A_{11}$ . However, it was unknown whether $\Gamma $ is normal when G is one of these four groups. We answer this question by proving that among these four groups only $\text{M} _{11}$ produces connected tetravalent 2-transitive nonnormal Cayley graphs. We prove further that there are exactly two such graphs which are nonisomorphic and both are determined in the paper. As a consequence, the automorphism group of any connected tetravalent 2-transitive Cayley graph of any finite simple group is determined.

In [5], the author proved that the Gauss map of a nonflat complete minimal surface immersed in R3 can omit at most four points of the sphere, and in [7] he revealed some relations between this result and the defect relation in Nevanlinna theory on value distribution of meromorphic functions. Afterwards, Mo and Osserman obtained an improvement of these results in their paper [11], which asserts that if the Gauss map of a nonflat complete minimal surface M immersed in R3 takes on five distinct values only a finite number of times, then M has finite total curvature. The author also gave modified defect relations for holomorphic maps of a Riemann surface with a complete conformai metric into the n-dimensional complex projective space Pn(C) and, as its application, he showed that, if the (generalized) Gauss map G of a complete minimal surface M immersed in Rm is nondegenerate, namely, the image G(M) is not contained in any hyperplane in Pm − 1(C), then it can omit at most m(m + 1)/2 hyperplanes in general position ([8]). Here, the number m(m + 1)/2 is best-possible for arbitrary odd numbers and some small even numbers m (see [6]). Recently, Ru showed that the “nondegenerate” assumption of the above result can be dropped ([13]). In this paper, we shall introduce a new definition of modified defect and prove a refined Modified defect relation. As its application, we shall give some improvements of the above-mentioned results in [5], [7], [8], [11] and [13].

In this paper, we show that the numbers of t-stack sortable n-permutations with k − 1 descents satisfy central and local limit theorems for t = 1, 2, n − 1 and n − 2. This result, in particular, gives an affirmative answer to Shapiro's question about the asymptotic normality of the Narayana numbers.

In this paper, for a positive integer n ≥ 1, we look at the size and prime factors of the iterates of the Ramanujan τ function applied to n.

Let $p$ be prime. We prove that, for $n$ odd, the $p$-torsion part of $\pi_q(S^{n})$ has cardinality at most $p^{2^{\frac{1}{p-1}(q-n+3-2p)}}$, and hence has rank at most $2^{\frac{1}{p-1}(q-n+3-2p)}$. For $p=2$ these results also hold for $n$ even. The best bounds proven in the existing literature are $p^{2^{q-n+1}}$ and $2^{q-n+1}$ respectively, both due to Hans-Werner Henn. The main point of our result is therefore that the bound grows more slowly for larger primes. As a corollary of work of Henn, we obtain a similar result for the homotopy groups of a broader class of spaces., Comment: 5 pages. Two corrections in v2: First, Lemma 3.1 in v1 was wrong, and has been replaced with a different lemma which makes the same point. The error was the sentence beginning 'We will not do so here, but one can show....'. Second, since submitting v1 I discovered the paper of Iriye, which gives a result similar to Theorem 1.1 without proof. The introduction has been updated to acknowledge this

We describe the connected components of the space $\text {Hom}(\Gamma ,SU(2))$ of homomorphisms for a discrete nilpotent group $\Gamma$. The connected components arising from homomorphisms with non-abelian image turn out to be homeomorphic to $\mathbb {RP}^{3}$. We give explicit calculations when $\Gamma$ is a finitely generated free nilpotent group. In the second part of the paper, we study the filtration $B_{\text {com}} SU(2)=B(2,SU(2))\subset \cdots \subset B(q,SU(2))\subset \cdots$ of the classifying space $BSU(2)$ (introduced by Adem, Cohen and Torres-Giese), showing that for every $q\geq 2$, the inclusions induce a homology isomorphism with coefficients over a ring in which 2 is invertible. Most of the computations are done for $SO(3)$ and $U(2)$ as well.

In this paper we sharpen Hildebrand’s earlier result on a conjecture of Erdős on limit points of the sequence ${\{d(n)/d(n+1)\}}$ .

In this paper we study first passage percolation on a random graph model, the configuration model. We first introduce the notions of weighted diameter, which is the maximum of the weighted lengths of all optimal paths between any two vertices in the graph, and the flooding time, which represents the time (weighted length) needed to reach all the vertices in the graph starting from a uniformly chosen vertex. Our result consists in describing the asymptotic behavior of the diameter and the flooding time, as the number of vertices n tends to infinity, in the case where the weight distribution G has an exponential tail behavior, and proving that this category of distributions is the largest possible for which the asymptotic behavior holds.

Let r be an integer with 2 ≤ r ≤ 24 and let pr(n) be defined by $\sum _{n=0}^\infty p_r(n) q^n = \prod _{k=1}^\infty (1-q^k)^r$. In this paper, we provide uniform methods for discovering infinite families of congruences and strange congruences for pr(n) by using some identities on pr(n) due to Newman. As applications, we establish many infinite families of congruences and strange congruences for certain partition functions, such as Andrews's smallest parts function, the coefficients of Ramanujan's ϕ function and p-regular partition functions. For example, we prove that for n ≥ 0, \[ \textrm{spt}\bigg( \frac{1991n(3n+1) }{2} +83\bigg) \equiv \textrm{spt}\bigg(\frac{1991n(3n+5)}{2} +2074\bigg) \equiv 0\ (\textrm{mod} \ 11), \] and for k ≥ 0, \[ \textrm{spt}\bigg( \frac{143\times 5^{6k} +1 }{24}\bigg)\equiv 2^{k+2} \ (\textrm{mod}\ 11), \] where spt(n) denotes Andrews's smallest parts function.

In order to study integers with few prime factors, the average of $\unicode[STIX]{x1D6EC}_{k}=\unicode[STIX]{x1D707}\ast \log ^{k}$ has been a central object of research. One of the more important cases, $k=2$ , was considered by Selberg [‘An elementary proof of the prime-number theorem’, Ann. of Math. (2)50 (1949), 305–313]. For $k\geq 2$ , it was studied by Bombieri [‘The asymptotic sieve’, Rend. Accad. Naz. XL (5)1(2) (1975/76), 243–269; (1977)] and later by Friedlander and Iwaniec [‘On Bombieri’s asymptotic sieve’, Ann. Sc. Norm. Super. Pisa Cl. Sci. (4)5(4) (1978), 719–756], as an application of the asymptotic sieve. Let $\unicode[STIX]{x1D6EC}_{j,k}:=\unicode[STIX]{x1D707}_{j}\ast \log ^{k}$ , where $\unicode[STIX]{x1D707}_{j}$ denotes the Liouville function for $(j+1)$ -free integers, and $0$ otherwise. In this paper we evaluate the average value of $\unicode[STIX]{x1D6EC}_{j,k}$ in a residue class $n\equiv a\text{ mod }q$ , $(a,q)=1$ , uniformly on $q$ . When $j\geq 2$ , we find that the average value in a residue class differs by a constant factor from the expected value. Moreover, an explicit formula of Weil type for $\unicode[STIX]{x1D6EC}_{k}(n)$ involving the zeros of the Riemann zeta function is derived for an arbitrary compactly supported ${\mathcal{C}}^{2}$ function.

In 1969, Baumslag introduced a family of parafree groups Gi,j which share many properties with the free group of rank 2. The isomorphism problem for the family Gi,j is known to be difficult; a few small partial results have been found so far. In this paper, we compute the twisted Alexander ideals of the groups Gi,j associated with non-abelian representations into $SL(2,{\mathbb Z}_2)$. Using the twisted Alexander ideals, we prove that several pairs of groups among Gi,j are not isomorphic. As a consequence, we solve the isomorphism problem for sub-families containing infinitely many groups Gi,j.

Let $(G,\unicode[STIX]{x1D6EC})$ be a self-similar $k$-graph with a possibly infinite vertex set $\unicode[STIX]{x1D6EC}^{0}$. We associate a universal C*-algebra ${\mathcal{O}}_{G,\unicode[STIX]{x1D6EC}}$ to $(G,\unicode[STIX]{x1D6EC})$. The main purpose of this paper is to investigate the ideal structures of ${\mathcal{O}}_{G,\unicode[STIX]{x1D6EC}}$. We prove that there exists a one-to-one correspondence between the set of all $G$-hereditary and $G$-saturated subsets of $\unicode[STIX]{x1D6EC}^{0}$ and the set of all gauge-invariant and diagonal-invariant ideals of ${\mathcal{O}}_{G,\unicode[STIX]{x1D6EC}}$. Under some conditions, we characterize all primitive ideals of ${\mathcal{O}}_{G,\unicode[STIX]{x1D6EC}}$. Moreover, we describe the Jacobson topology of some concrete examples, which includes the C*-algebra of the product of odometers. On the way to our main results, we study self-similar $P$-graph C*-algebras in depth.

This paper is concerned with the function r3(n), the number of representations of n as the sum of at most three positive cubes, $$r_3(n) = {\mathrm{card}}\{\mathbf m\in\mathbb Z^3: m_1^3+m_2^3+m_3^3=n, m_j\ge1\}.$$ , Our understanding of this function is surprisingly poor, and we examine various averages of it. In particular $${\sum_{m=1}^nr_3(m),\,\sum_{m=1}^nr_3(m)^2}$$ and $${\sum_{\substack{ n\le x\\ n\equiv a\,\mathrm{mod}\,q }} r_3(n).\}$$

Let $C(G)$ be the poset of cyclic subgroups of a finite group $G$ and let $\mathscr{P}$ be the class of $p$-groups of order $p^{n}$ ($n\geq 3$). Consider the function $\unicode[STIX]{x1D6FC}:\mathscr{P}\longrightarrow (0,1]$ given by $\unicode[STIX]{x1D6FC}(G)=|C(G)|/|G|$. In this paper, we determine the second minimum value of $\unicode[STIX]{x1D6FC}$, as well as the corresponding minimum points. Since the problem of finding the second maximum value of $\unicode[STIX]{x1D6FC}$ has been solved for $p=2$, we focus on the case of odd primes in determining the second maximum.

Recently, Brietzke, Silva and Sellers [‘Congruences related to an eighth order mock theta function of Gordon and McIntosh’, J. Math. Anal. Appl.479 (2019), 62–89] studied the number $v_{0}(n)$ of overpartitions of $n$ into odd parts without gaps between the nonoverlined parts, whose generating function is related to the mock theta function $V_{0}(q)$ of order 8. In this paper we first present a short proof of the 3-dissection for the generating function of $v_{0}(2n)$. Then we establish three congruences for $v_{0}(n)$ along certain progressions which are subsequences of the integers $4n+3$.

Let $\unicode[STIX]{x1D6FD}>1$ be a real number and define the $\unicode[STIX]{x1D6FD}$-transformation on $[0,1]$ by $T_{\unicode[STIX]{x1D6FD}}:x\mapsto \unicode[STIX]{x1D6FD}x\hspace{0.6em}({\rm mod}\hspace{0.2em}1)$. Let $f:[0,1]\rightarrow [0,1]$ and $g:[0,1]\rightarrow [0,1]$ be two Lipschitz functions. The main result of the paper is the determination of the Hausdorff dimension of the set $$\begin{eqnarray}W(f,g,\unicode[STIX]{x1D70F}_{1},\unicode[STIX]{x1D70F}_{2})=\big\{(x,y)\in [0,1]^{2}:|T_{\unicode[STIX]{x1D6FD}}^{n}x-f(x)| where $\unicode[STIX]{x1D70F}_{1}$, $\unicode[STIX]{x1D70F}_{2}$ are two positive continuous functions with $\unicode[STIX]{x1D70F}_{1}(x)\leq \unicode[STIX]{x1D70F}_{2}(y)$ for all $x,y\in [0,1]$.

We consider a family $M_{t}^{3}$, with $t>1$, of real hypersurfaces in a complex affine three-dimensional quadric arising in connection with the classification of homogeneous compact simply connected real-analytic hypersurfaces in $\mathbb{C}^{n}$ due to Morimoto and Nagano. To finalize their classification, one needs to resolve the problem of the Cauchy–Riemann (CR)-embeddability of $M_{t}^{3}$ in $\mathbb{C}^{3}$. In our earlier article, we showed that $M_{t}^{3}$ is CR-embeddable in $\mathbb{C}^{3}$ for all $1. In the present paper, we prove that $M_{t}^{3}$ can be immersed in $\mathbb{C}^{3}$ for every $t>1$ by means of a polynomial map. In addition, one of the immersions that we construct helps simplify the proof of the above CR-embeddability theorem and extend it to the larger parameter range $1.

In this article, we calculate the Ellis semigroup of a certain class of constant-length substitutions. This generalizes a result of Haddad and Johnson [IP cluster points, idempotents, and recurrent sequences. Topology Proc.22 (1997) 213–226] from the binary case to substitutions over arbitrarily large finite alphabets. Moreover, we provide a class of counterexamples to one of the propositions in their paper, which is central to the proof of their main theorem. We give an alternative approach to their result, which centers on the properties of the Ellis semigroup. To do this, we also show a new way to construct an almost automorphic–isometric tower to the maximal equicontinuous factor of these systems, which gives a more particular approach than the one given by Dekking [The spectrum of dynamical systems arising from substitutions of constant length. Z. Wahrscheinlichkeitstheor. Verw. Geb.41(3) (1977/78) 221–239].

The simplicial complexity is an invariant for finitely presentable groups which was recently introduced by Babenko, Balacheff, and Bulteau to study systolic area. The simplicial complexity κ(G) was proved to be a good approximation of the systolic area σ(G) for large values of κ(G). In this paper we compute the simplicial complexity of all surface groups (both in the orientable and in the non-orientable case). This partially settles a problem raised by Babenko, Balacheff, and Bulteau. We also prove that κ(G * ℤ) = κ(G) for any surface group G. This provides the first partial evidence in favor of the conjecture of the stability of the simplicial complexity under free product with free groups. The general stability problem, both for simplicial complexity and for systolic area, remains open.

For a finite group $G$, let $\unicode[STIX]{x1D6E5}(G)$ denote the character graph built on the set of degrees of the irreducible complex characters of $G$. In this paper, we obtain a necessary and sufficient condition which guarantees that the complement of the character graph $\unicode[STIX]{x1D6E5}(G)$ of a finite group $G$ is a nonbipartite Hamiltonian graph.

Let $G$ be a finite group with two primitive permutation representations on the sets $\unicode[STIX]{x1D6FA}_{1}$ and $\unicode[STIX]{x1D6FA}_{2}$ and let $\unicode[STIX]{x1D70B}_{1}$ and $\unicode[STIX]{x1D70B}_{2}$ be the corresponding permutation characters. We consider the case in which the set of fixed-point-free elements of $G$ on $\unicode[STIX]{x1D6FA}_{1}$ coincides with the set of fixed-point-free elements of $G$ on $\unicode[STIX]{x1D6FA}_{2}$, that is, for every $g\in G$, $\unicode[STIX]{x1D70B}_{1}(g)=0$ if and only if $\unicode[STIX]{x1D70B}_{2}(g)=0$. We have conjectured in Spiga [‘Permutation characters and fixed-point-free elements in permutation groups’, J. Algebra299(1) (2006), 1–7] that under this hypothesis either $\unicode[STIX]{x1D70B}_{1}=\unicode[STIX]{x1D70B}_{2}$ or one of $\unicode[STIX]{x1D70B}_{1}-\unicode[STIX]{x1D70B}_{2}$ and $\unicode[STIX]{x1D70B}_{2}-\unicode[STIX]{x1D70B}_{1}$ is a genuine character. In this paper we give evidence towards the veracity of this conjecture when the socle of $G$ is a sporadic simple group or an alternating group. In particular, the conjecture is reduced to the case of almost simple groups of Lie type.