Search

It is shown that an old direct argument of Erdős and Heilbronn may be elaborated to yield a result of the current inverse type.

One result concerning the series representation for the continuous Jacobi transform in Walter and Zayed [1] is improved, the same thought also can be applied to the related results in [1].

We correct two clerical errors made in the paper ”A Lower Bound for the Length of Closed Geodesics on a Finsler Manifold”.

Let A be an m × n matrix of complex numbers. Let Aτ and A* denote the transpose and conjugate transpose, respectively, of A. We say A is diagonal if A contains only zeros in all positions (i, j) with i ≠ j. In a recently published paper [4], M.H. Pearl established the following fact: There exist real orthogonal matrices O1 and O2 (O1 m-square, O2 n-square) such that O1AO2 is diagonal, if and only if both AA* and A*A are real. It is the purpose of this paper to show that a theorem substantially stronger than this result of Pearl's is included in the real case of a theorem of N.A. Wiegmann [2]. (For other papers related to Wiegmann's, see [l; 3].)

In this paper we will construct an example showing that the problem posed in [1] has a negative answer. Two more theorems on the subject treated in [1] will be included.Let Io = [0, 1], R the reals, and let, for A ⊂ R, Ao be the interior of A. Let {xn} be a sequence in [0, 1> such that 0 = x1 < x2 < … and lim xn = 1. For each n, let In be closed interval having x as its midpoint (except for n = 1 in which case x1 is the left endpoint of I1) such that In ∩ Im= ϕ, and the metric density relative to Io of at 1 is zero. Let Jn be a closed interval in In concentric with In (except for n = 1, where J1 has x1 as its left endpoint) whose length is half that of In

R. A. Brualdi [1] presents a construction yielding matrices whose Birkhoff representation consists of the maximum number of permutation matrices and having 0(2n2) line sum. In this note a counterexample to such a construction is given. Furthermore, a new construction is presented, yielding matrices with lower line sums.

Suppose X is a simply-connected CW- complex whose homotopy groups are finite. For each n, let be the class of torsion groups whose p - primary components are zero for all primes p which do not figure in the homotopy groups πi(X) for i ≤ n.

As usual we denote the number of integers not exceeding n and relatively prime to n by Euler's ϕ function ϕ(n). Lehmer calls the ϕ(n) integersthe totatives of n.Denote by ϕ(k,l,n) the number of a's satisfyingIf nl ≡ 0 (mod k) or n(l + 1) ≡ 0 (mod k) then, since n > k, (n - l/k, n) > 1 and (n(l + 1)/k, n)>1 respectively. Thus ϕ(k, l, n) is the number of totatives of n satisfying

The aim of this note is to point out a mistake in the proof of Theorem 2 of Wong's paper [1], We first give an example to show that the theore as stated is not true.Example 1. Consider the cartesian plane and the graph H with equation .

There are several statements in [3] which require clarification.Theorem 1 [3, p. 246] states that U3= U2U4 U2-1U4 U2 U4. In fact this is (essentially) the relation O = PUPU-1PU given in [1, p. 91, (7.35)]. To see this we note that 0 = U3, P = U4, U = U4U2U4 (as explained in [1, p. 88]); since U42, = E

Mason, [1, Theorem 2.6], proved that for any near-ring R, there are no non-trivial injective R-modules. In his proof he embedded R into a simple R -module G of arbitrarily high cardinality.

In this short paper we present an existence (an unicity) result for a first order differential equation in Hilbert spaces with right-hand side almost-periodic in the sense of Stepanoff.

All algebras are assumed to be finite dimensional and not necessarily associative. An involution of an algebra is an algebra automorphism of order two. A quasi-division algebra is any algebra in which the non-zero elements form a quasi-group under multiplication. The purpose of this short paper is to determine the structure of all involutions of quasi-division algebras and to give an application of this result.

We study the ring of quasisymmetric polynomials in $n$ anticommuting (fermionic) variables. Let $R_n$ denote the polynomials in $n$ anticommuting variables. The main results of this paper show the following interesting facts about quasisymmetric polynomials in anticommuting variables: (1) The quasisymmetric polynomials in $R_n$ form a commutative sub-algebra of $R_n$. (2) There is a basis of the quotient of $R_n$ by the ideal $I_n$ generated by the quasisymmetric polynomials in $R_n$ that is indexed by ballot sequences. The Hilbert series of the quotient is given by $$ \text{Hilb}_{R_n/I_n}(q) = \sum_{k=0}^{\lfloor{n/2}\rfloor} f^{(n-k,k)} q^k\,,$$ where $f^{(n-k,k)}$ is the number of standard tableaux of shape $(n-k,k)$. (3) There is a basis of the ideal generated by quasisymmetric polynomials that is indexed by sequences that break the ballot condition, Comment: 17 pages, minor corrections to paper, including remarks from Darij Grinberg

This paper classifies Poisson structures with the reduced simple normal crossing divisor on a product of Fano varieties of Picard number 1. The characterization of even-dimensional projective spaces from the viewpoint of Poisson structures is given by Lima and Pereira. In this paper, we generalize the characterization of projective spaces to any dimension.

The Orthogonal Least Squares (OLS) algorithm is an efficient sparse recovery algorithm that has received much attention in recent years. On one hand, this paper considers that the OLS algorithm recovers the supports of sparse signals in the noisy case. We show that the OLS algorithm exactly recovers the support of $K$-sparse signal $\boldsymbol{x}$ from $\boldsymbol{y}=\boldsymbol{\unicode[STIX]{x1D6F7}}\boldsymbol{x}+\boldsymbol{e}$ in $K$ iterations, provided that the sensing matrix $\boldsymbol{\unicode[STIX]{x1D6F7}}$ satisfies the restricted isometry property (RIP) with restricted isometry constant (RIC) $\unicode[STIX]{x1D6FF}_{K+1}, and the minimum magnitude of the nonzero elements of $\boldsymbol{x}$ satisfies some constraint. On the other hand, this paper demonstrates that the OLS algorithm exactly recovers the support of the best $K$-term approximation of an almost sparse signal $\boldsymbol{x}$ in the general perturbations case, which means both $\boldsymbol{y}$ and $\boldsymbol{\unicode[STIX]{x1D6F7}}$ are perturbed. We show that the support of the best $K$-term approximation of $\boldsymbol{x}$ can be recovered under reasonable conditions based on the restricted isometry property (RIP).

Alfred Schild has established conditions that Lorentz transformationsmap world-vectors (ct, x, y, z) with integer coordinates onto vectors of the same kind. These transformations are called integral Lorentz transformations.This paper contains supplements to our earlier work with a new focus on group theory. To relate the results to the familiar matrix group nomenclature, we associate Lorentz transformations with matrices in SL(z, ℂ). We consider the lattice of subgroups of the group originated in Schild’s paper and obtain generating sets for the full group and its subgroups.

Suppose that G is a finite group and k is a field of characteristic p > 0. A ghost map is a map in the stable category of finitely generated kG-modules which induces the zero map in Tate cohomology in all degrees. In an earlier paper we showed that the thick subcategory generated by the trivial module has no nonzero ghost maps if and only if the Sylow p-subgroup of G is cyclic of order 2 or 3. In this paper we introduce and study variations of ghost maps. In particular, we consider the behavior of ghost maps under restriction and induction functors. We find all groups satisfying a strong form of Freyd’s generating hypothesis and show that ghosts can be detected on a finite range of degrees of Tate cohomology. We also consider maps that mimic ghosts in high degrees.

Let X(n), for n ∊ ℕ, be the set of all subsets of a metric space (X, d) of cardinality at most n. The set X(n) equipped with the Hausdorff metric is called a finite subset space. In this paper we are concerned with the existence of Lipschitz retractions r: X(n)→ X(n − 1) for n ≥ 2. It is known that such retractions do not exist if X is the one-dimensional sphere. On the other hand, Kovalev has recently established their existence if X is a Hilbert space, and he also posed a question as to whether or not such Lipschitz retractions exist when X is a Hadamard space. In this paper we answer the question in the positive.

We study a 3D ternary system derived as a sharp-interface limit of the Nakazawa-Ohta density functional theory of triblock copolymers, which combines an interface energy with a long range interaction term. Although both the binary case in 2D and 3D, and the ternary case in 2D, are quite well studied, very little is known about the ternary case in 3D. In particular, it is even unclear whether minimizers are made of finitely many components. In this paper we provide a positive answer to this, by proving that the number of components in a minimizer is bounded from above by some quantity depending only on the total masses and the interaction coefficients. One key difficulty is that the 3D structure prevents us from uncoupling the Coulomb-like long range interaction from the perimeter term, hence the actual shape of minimizers is unknown, not even for small masses. This is due to the lack of a quantitative isoperimetric inequality with two mass constraints in 3D, and it makes the construction of competitors significantly more delicate.

In this article, we study the following question asked by Michael Hartz in a recent paper (Every complete Pick space satisfies the column-row property, to appear in Acta Mathematica): which operator spaces satisfy the column–row property? We provide a complete classification of the column–row property (CRP) for noncommutative $L_{p}$ -spaces over semifinite von Neumann algebras. We study other relevant properties of operator spaces that are related to the CRP and discuss their existence and nonexistence for various natural examples of operator spaces.

This paper is devoted to determine the geometry of a class of smooth projective rational surfaces whose minimal models are the Hirzebruch ones; concretely, they are obtained as the blowup of a Hirzebruch surface at collinear points. Explicit descriptions of their effective monoids are given, and we present a decomposition for every effective class. Such decomposition is used to confirm the effectiveness of some divisor classes when the Riemann–Roch theorem does not give information about their effectiveness. Furthermore, we study the nef divisor classes on such surfaces. We provide an explicit description for their nef monoids, and, moreover, we present a decomposition for every nef class. On the other hand, we prove that these surfaces satisfy the anticanonical orthogonal property. As a consequence, the surfaces are Harbourne–Hirschowitz and their Cox rings are finitely generated. Finally, we prove that the complete linear system associated with any nef divisor is base-point-free; thus, the semi-ample and nef monoids coincide. The base field is assumed to be algebraically closed of arbitrary characteristic.

The Qpspaces of holomorphic functions on the disk, hyperbolic Riemann surfaces or complex unit ball have been studied deeply. Meanwhile, there are a lot of papers devoted to theclasses of meromorphic functions on the disk or hyperbolic Riemann surfaces. In this paper, we prove the nesting property (inclusion relations) ofclasses on hyperbolic Riemann surfaces. The same property for Qp spaces was also established systematically and precisely in earlier work by the authors of this paper.

Let G 1, G 2 , …, Gt be arbitrary graphs. The Ramsey number R(G 1 , G 2, …, Gt ) is the smallest positive integer n such that if the edges of the complete graph Kn are partitioned into t disjoint color classes giving t graphs H 1, H 2, …, H t, then at least one Hi has a subgraph isomorphic to Gi. In this paper, we provide the exact value of the R(Tn, Wm) for odd m, n ≥ m−1, where T n is either a caterpillar, a tree with diameter at most four, or a tree with a vertex adjacent to at least leaves, and W n is the wheel on n + 1 vertices. Also, we determine R(C n, W m) for even integers n and m, n ≥ m + 500, which improves a result of Shi and confirms a conjecture of Surahmat et al. In addition, the multicolor Ramsey number of trees versus an odd wheel is discussed in this paper.

Let Q be a finite acyclic quiver, let J be an ideal of kQ generated by all arrows in Q, and let A be a finite-dimensional k-algebra. The category of all finite-dimensional representations of (Q, J2) over A is denoted by rep(Q, J2, A). In this paper, we introduce the category exa(Q, J2, A), which is a subcategory of rep (Q, J2, A) of all exact representations. The main result of this paper explicitly describes the Gorenstein-projective representations in rep(Q, J2, A), via the exact representations plus an extra condition. As a corollary, A is a self-injective algebra if and only if the Gorensteinprojective representations are exactly the exact representations of (Q, J2) over A.

This papers classifies toric Fano threefolds with singular locus $\{ \frac {1}{k}(1,1,1) \}$ for $k \in \mathbb {Z}_{\geq 1}$ building on the work of Batyrev (1981, Nauk SSSR Ser. Mat. 45, 704–717) and Watanabe–Watanabe (1982, Tokyo J. Math. 5, 37–48). This is achieved by completing an equivalent problem in the language of Fano polytopes. Furthermore, we identify birational relationships between entries of the classification. For a fixed value $k \geq 4$ , there are exactly two such toric Fano threefolds linked by a blowup in a torus-invariant line.

We study the double character sum $\sum \limits _{\substack {m\leq X,\\m\mathrm {\ odd}}}\sum \limits _{\substack {n\leq Y,\\n\mathrm {\ odd}}}\left (\frac {m}{n}\right )$ and its smoothly weighted counterpart. An asymptotic formula with power saving error term was obtained by Conrey, Farmer, and Soundararajan by applying the Poisson summation formula. The result is interesting because the main term involves a non-smooth function. In this paper, we apply the inverse Mellin transform twice and study the resulting double integral that involves a double Dirichlet series. This method has two advantages—it leads to a better error term, and the surprising main term naturally arises from three residues of the double Dirichlet series.

In this paper, we prove that given a cut-and-project scheme $(G, H, \mathcal {L})$ and a compact window $W \subseteq H$ , the natural projection gives a bijection between the Fourier transformable measures on $G \times H$ supported inside the strip ${\mathcal L} \cap (G \times W)$ and the Fourier transformable measures on G supported inside ${\LARGE \curlywedge }(W)$ . We provide a closed formula relating the Fourier transform of the original measure and the Fourier transform of the projection. We show that this formula can be used to re-derive some known results about Fourier analysis of measures with weak Meyer set support.

Let $ \mathcal {B} $ be the class of analytic functions $ f $ in the unit disk $ \mathbb {D}=\{z\in \mathbb {C} : |z| such that $ |f(z)| for all $ z\in \mathbb {D} $ . If $ f\in \mathcal {B} $ of the form $ f(z)=\sum _{n=0}^{\infty }a_nz^n $ , then $ \sum _{n=0}^{\infty }|a_nz^n|\leq 1 $ for $ |z|=r\leq 1/3 $ and $ 1/3 $ cannot be improved. This inequality is called Bohr inequality and the quantity $ 1/3 $ is called Bohr radius. If $ f\in \mathcal {B} $ of the form $ f(z)=\sum _{n=0}^{\infty }a_nz^n $ , then $ |\sum _{n=0}^{N}a_nz^n| and the radius $ 1/2 $ is the best possible for the class $ \mathcal {B} $ . This inequality is called Bohr–Rogosinski inequality and the corresponding radius is called Bohr–Rogosinski radius. Let $ \mathcal {H} $ be the class of all complex-valued harmonic functions $ f=h+\bar {g} $ defined on the unit disk $ \mathbb {D} $ , where $ h $ and $ g $ are analytic in $ \mathbb {D} $ with the normalization $ h(0)=h^{\prime }(0)-1=0 $ and $ g(0)=0 $ . Let $ \mathcal {H}_0=\{f=h+\bar {g}\in \mathcal {H} : g^{\prime }(0)=0\}. $ For $ \alpha \geq 0 $ and $ 0\leq \beta , let $$ \begin{align*} \mathcal{W}^{0}_{\mathcal{H}}(\alpha, \beta)=\{f=h+\overline{g}\in\mathcal{H}_{0} : \mathrm{Re}\left(h^{\prime}(z)+\alpha zh^{\prime\prime}(z)-\beta\right)>|g^{\prime}(z)+\alpha zg^{\prime\prime}(z)|,\;\; z\in\mathbb{D}\} \end{align*} $$ be a class of close-to-convex harmonic mappings in $ \mathbb {D} $ . In this paper, we prove the sharp Bohr–Rogosinski radius for the class $ \mathcal {W}^{0}_{\mathcal {H}}(\alpha , \beta ) $ .

In this paper, the turnpike property is established for a nonconvex optimal control problem in discrete time. The functional is defined by the notion of the ideal convergence and can be considered as an analogue of the terminal functional defined over infinite-time horizon. The turnpike property states that every optimal solution converges to some unique optimal stationary point in the sense of ideal convergence if the ideal is invariant under translations. This kind of convergence generalizes, for example, statistical convergence and convergence with respect to logarithmic density zero sets.

The normalized eigenvalues Ʌi(M, g) of the Laplace–Beltrami operator can be considered as functionals on the space of all Riemannian metrics g on a fixed surface M. In recent papers several explicit examples of extremal metrics were provided. These metrics are induced by minimal immersions of surfaces in 𝕊3 or 𝕊4. In this paper a family of extremal metrics induced by minimal immersions in 𝕊5 is investigated.