Warfield’s Duality and Malcev’s Matrix

In this work, we investigate relations between Malcev’s matrices of a torsion-free group G of finite rank and Malcev’s matrices of groups Hom(R,G) and Hom(G,R), where G is a locally free group and R is a torsion-free group of rank 1.     

Bergmann’s Dilemma and Internalism’s Escape

Michael Bergmann has argued that internalist accounts of justification face an insoluble dilemma. This paper begins with an explanation of Bergmann??s dilemma. Next, I review some recent attempts to answer the dilemma, which I argue are insufficient to overcome it. The solution I propose presents an internalist account of justification through direct acquaintance. My thesis is that direct acquaintance can provide subjective epistemic assurance without falling prey to the quagmire of difficulties that Bergmann alleges all internalist accounts of justification cannot surmount.     

Dedekind’s and Frege’s views on logic

A contextual and comparative analysis shows that Dedekind and Frege do not understand the terms “logic” and “arithmetic” in the same way. More specifically the meaning and the scope of the corresponding concepts are essentially different for them. Consequently Dedekind and Frege have different conceptions of the relationship between arithmetic and logic.     

On Andrunakievich’s chain and Koethe’s problem

In 1969 Andrunakievich asked whether one gets a ring without nonzero nil left ideals from an arbitrary ring R by factoring out the ideal A(R) which is the sum of all nil left ideals of R. Recently, it was shown that this problem is equivalent to Koethe’s problem. In this context one may consider the chain of ideals, which starts with A ₁(R) = A(R) ⊆ A ₂(R), where A ₂(R)/A ₁(R) = A(R/A ₁(R)), and extends by repeating this process. We study the properties of this chain and show that, assuming a negative solution of Koethe’s problem, this chain can terminate at any given ordinal number.     

Bartnik’s Mass and Hamilton’s Modified Ricci Flow

We provide estimates on the Bartnik mass of constant mean curvature surfaces which are diffeomorphic to spheres and have positive mean curvature. We prove that the Bartnik mass is bounded from above by the Hawking mass and a new notion we call the asphericity mass. The asphericity mass is defined by applying Hamilton’s modified Ricci flow and depends only upon the restricted metric of the surface and not on its mean curvature. The theorem is proven by studying a class of asymptotically flat Riemannian manifolds foliated by surfaces satisfying Hamilton’s modified Ricci flow with prescribed scalar curvature. Such manifolds were first constructed by the first author in her dissertation conducted under the supervision of M. T. Wang. We make a further study of this class of manifolds which we denote Ham₃, bounding the ADM masses of such manifolds and analyzing the rigid case when the Hawking mass of the inner surface of the manifold agrees with its ADM mass.     

Higher dimensional Schwarz’s surfaces and Scherk’s surfaces

Higher dimensional generalizations of Schwarz’s P-surface, Schwarz’s D-surface and Scherk’s second surface are constructed as complete embedded periodic minimal hypersurfaces in \(\mathbb {R}^n\).     

Generalizations of Sherman’s Inequality Via Fink’s Identity and Green’s Function

Ukrainian Mathematical Journal - New generalizations of Sherman’s inequality for n-convex functions are obtained with the help of Fink’s identity and Green’s function. By using...     

Normality and Montel’s Theorem

In this article, we prove a normality criterion for a family of meromorphic functions having zeros with some multiplicity which involves sharing of a holomorphic function by the members of the family. Our result generalizes Montel’s normality test in a certain sense.     

Multivariate versions of Blomqvist’s beta and Spearman’s footrule

In this paper we define multivariate versions of the medial correlation coefficient and the rank correlation coefficient Spearman’s footrule in terms of copulas. We also present corresponding results for the sample statistic and provide a comparison of lower bounds among different measures of multivariate association.     

Denjoy-Wolff theorems for Hilbert’s and Thompson’s metric spaces

We study the dynamics of fixed point free mappings on the interior of a normal, closed cone in a Banach space that are nonexpansive with respect to Hilbert’s metric or Thompson’s metric. We establish several Denjoy-Wolff type theorems which confirm conjectures by Karlsson and Nussbaum for an important class of nonexpansive mappings. We also extend and put into a broader perspective results by Gaubert and Vigeral concerning the linear escape rate of such nonexpansive mappings.     

A link between Wilson’s and d’Alembert’s functional equations

If \({f, g : G \to \mathbb{C}}\), f ≠ 0, is a solution of Wilson’s functional equation on a group G, then g is a d’Alembert function.     

Transfer and Tate’s theorem

Let H be a subgroup of a finite group G, and assume that p is a prime that does not divide |G : H|. In favorable circumstances, one can use transfer theory to deduce that the largest abelian p-groups that occur as factor groups of G and of H are isomorphic. When this happens, Tate’s theorem guarantees that the largest not-necessarily-abelian p-groups that occur as factor groups of G and H are isomorphic. Known proofs of Tate’s theorem involve cohomology or character theory, but in this paper, a new elementary proof is given. It is also shown that the largest abelian p-factor group of G is always isomorphic to a direct factor of the largest abelian p-factor group of H. Received: 17 June 2008     

Kobayashi’s and Teichmuller’s Metrics and Bers Complex Manifold Structure on Circle Diffeomorphisms

Given a modulus of continuity ω,we consider the Teichmuller space TC1+ω as the space of all orientation-preserving circle diffeomorphisms whose derivatives are ω-continuous functions modulo the space of Mobius transformations preserving the unit disk.We study several distortion properties for diffeomorphisms and quasisymmetric homeomorphisms.Using these distortion properties,we give the Bers complex manifold structure on the Teichm(u| ")ller space TC^1+H as the union of over all0 <α≤1,which turns out to be the largest space in the Teichmuller space of C1 orientation-preserving circle diffeomorphisms on which we can assign such a structure.Furthermore,we prove that with the Bers complex manifold structure on TC^1+H ,Kobayashi’s metric and Teichmuller’s metric coincide.     

Extensions of Scott’s Graph Model and Kleene’s Second Algebra

We use a way to extend partial combinatory algebras (pcas) by forcing them to represent certain functions. In the case of Scott’s Graph Model, equality is computable relative to the complement function. However, the converse is not true. This creates a hierarchy of pcas which relates to similar structures of extensions on other pcas. We study one such structure on Kleene’s Second Algebra and one on a pca equivalent but not isomorphic to it. For the recursively enumerable sub-pca of the Graph model, results differ as we can compute the (partial) complement function using the equality.     

Integral Van Vleck’s and Kannappan’s functional equations on semigroups

In this paper we study the solutions of the integral Van Vleck’s functional equation for the sine

$$\begin{aligned} \int _{S}f(x\tau (y)t)d\mu (t)-\int _{S}f(xyt)d\mu (t) =2f(x)f(y),\; x,y\in S \end{aligned}$$

and the integral Kannappan’s functional equation

$$\begin{aligned} \int _{S}f(xyt)d\mu (t)+\int _{S}f(x\tau (y)t)d\mu (t) =2f(x)f(y),\; x,y\in S, \end{aligned}$$

where S is a semigroup, \(\tau \) is an involution of S and \(\mu \) is a measure that is a linear combination of Dirac measures \((\delta _{z_{i}})_{i\in I}\), such that for all \(i\in I\), \(z_{i}\) is contained in the center of S. We express the solutions of the first equation by means of multiplicative functions on S, and we prove that the solutions of the second equation are closely related to the solutions of d’Alembert’s classic functional equation with involution.

     

On improving the accuracy of Horner’s and Goertzel’s algorithms

It is known that Goertzels algorithm is much less numerically accurate than the Fast Fourier Transform (FFT) (cf. [2]). In order to improve accuracy we propose modifications of both Goertzels and Horners algorithms based on the divide-and-conquer techniques. The proof of the numerical stability of these two modified algorithms is given. The numerical tests in Matlab demonstrate the computational advantages of the proposed modifications. The appendix contains the proof of numerical stability of Goertzels algorithm of polynomial evaluation. AMS subject classification 65F35, 65G50     

Faraday’s Form and Maxwell’s Equations in the Heisenberg Group

In this note we present a geometric formulation of Maxwell’s equations in Carnot groups (connected simply connected nilpotent Lie groups with stratified Lie algebra) in the setting of the intrinsic complex of differential forms defined by M. Rumin. Restricting ourselves to the first Heisenberg group \mathbbH¹{\mathbb{H}^{1}}, we show that these equations are invariant under the action of suitably defined Lorentz transformations, and we prove the equivalence of these equations with differential equations “in coordinates”. Moreover, we analyze the notion of “vector potential”, and we show that it satisfies a new class of 4th order evolution differential equations.     

New modified optimal families of King’s and Traub-Ostrowski’s methods

Based on quadratically convergent Schröder’s method, we derive many new interesting families of fourth-order multipoint iterative methods without memory for obtaining simple roots of nonlinear equations by using the weight function approach. The classical King’s family of fourth-order methods and Traub-Ostrowski’s method are obtained as special cases. According to the Kung-Traub conjecture, these methods have the maximal efficiency index because only three functional values are needed per step. Therefore, the fourth-order family of King’s family and Traub-Ostrowski’smethod are the main findings of the present work. The performance of proposed multipoint methods is compared with their closest competitors, namely, King’s family, Traub-Ostrowski’s method, and Jarratt’s method in a series of numerical experiments. All the methods considered here are found to be effective and comparable to the similar robust methods available in the literature.     

On Sarnak’s conjecture and Veech’s question for interval exchanges

Using a criterion due to Bourgain [10] and the generalization of the self-dual induction defined in [19], for each primitive permutation we build a large family of k-interval exchanges satisfying Sarnak’s conjecture, and, for at least one permutation in each Rauzy class, smaller families for which we have weak mixing, which implies a prime number theorem, and simplicity in the sense of Veech.