Primes of the form <Emphasis Type=Italic>x</Emphasis><Superscript>2</Superscript> + (<Emphasis Type=Italic>x</Emphasis> + 1)<Superscript>2</Superscript>. Proper divisors of composites of the same form

The aim of the present paper is to characterize prime numbers of the form n = x ² + (x + 1)² and to obtain certain proper divisors of composite numbers of the same form, i.e. divisors d of n such that 1 < d < n.      

2-Selmer groups and the Birch-Swinnerton-Dyer Conjecture for the congruent number curves

We take an approach toward counting the number of integers n for which the curve En: y²=x³−n²x has 2-Selmer groups of a given size. This question was also discussed in a pair of papers by Roger Heath-Brown. In contrast to earlier work, our analysis focuses on restricting the number of prime factors of n. Additionally, we discuss the connection between computing the size of these Selmer groups and verifying cases of the Birch and Swinnerton-Dyer Conjecture. The key ingredient for the asymptotic formulae is the “independence” of the Legendre symbol evaluated at the prime divisors of an integer with exactly k prime factors.     

About the computation of the signature of surface singularities <Emphasis Type=Italic>z</Emphasis><Superscript><Emphasis Type=Italic>N</Emphasis></Superscript> + <Emphasis Type=Italic>g</Emphasis>(<Emphasis Type=Italic>x,y</Emphasis>) = 0

In this article we describe our experiences with a parallel Singular implementation of the signature of a surface singularity defined by z ^N + g(x; y) = 0.     

<Emphasis Type=Italic>G</Emphasis>-compactness and groups

Lascar described E _KP as a composition of E _L and the topological closure of E _L (Casanovas et al. in J Math Log 1(2):305–319). We generalize this result to some other pairs of equivalence relations. Motivated by an attempt to construct a new example of a non-G-compact theory, we consider the following example. Assume G is a group definable in a structure M. We define a structure M′ consisting of M and X as two sorts, where X is an affine copy of G and in M′ we have the structure of M and the action of G on X. We prove that the Lascar group of M′ is a semi-direct product of the Lascar group of M and G/G _L . We discuss the relationship between G-compactness of M and M′. This example may yield new examples of non-G-compact theories. The first author is supported by the Polish Goverment grant N N201 384134. The second author is supported by the Polish Goverment grant N201 032 32/2231.     

Erratum to: Characterization of the Unit Ball in C<Superscript><Emphasis Type=Italic>n</Emphasis></Superscript> Among Complex Manifolds of Dimension <Emphasis Type=Italic>n</Emphasis>

We correct the formulation of the main result in our earlier paper.      

Consecutive customer losses in regular and oscillating <Emphasis Type=Italic>M</Emphasis><Superscript><Emphasis Type=Italic>X</Emphasis></Superscript>/<Emphasis Type=Italic>G</Emphasis>/1/<Emphasis Type=Italic>n</Emphasis> systems

We derive fast recursions to compute the probability that k or more consecutive customer losses take place during a busy period of a queue, the so called k-CCL probability, for regular and oscillating M ^X /G/1/n systems.     

Group invariance and <Emphasis Type=Italic>L</Emphasis><Superscript><Emphasis Type=Italic>p</Emphasis></Superscript>-bounded operators

The Hilbert and Riesz transforms can be characterized up to scalar as the translation invariant operators that satisfy additionally certain relative invariance of conformal transformation groups. In this article, we initiate a systematic study of translation invariant operators from group theoretic viewpoints, and formalize a geometric condition that characterizes specific multiplier operators uniquely up to scalar by means of relative invariance of affine subgroups. After providing some interesting examples of multiplier operators having “large symmetry”, we classify which of these examples can be extended to continuous operators on L ^p (R ⁿ ) (1 < p < ∞). T. Kobayashi was partially supported by Grant-in-Aid for Scientific Research 18340037, Japan Society for the Promotion of Science. A. Nilsson was partially supported by Japan Society for the Promotion of Science.     

<Emphasis Type=Italic>m</Emphasis> Components-admissible solutions of systems of higher-order partial differential equations on <Emphasis Type=Italic>C</Emphasis><Superscript><Emphasis Type=Italic>n</Emphasis></Superscript>

Using value distribution theory and techniques in several complex variables,we investigate the problem of existence of m components-admissible solutions of a class of systems of higher-order partial differential equations in several complex variables and estimate the number of admissible components of solutions.Some related results will also be obtained.     

Fundamental groups of manifolds with <Emphasis Type=Italic>S</Emphasis><Superscript>1</Superscript>-category 2

A closed topological n-manifold M ⁿ is of S ¹-category 2 if it can be covered by two open subsets W ₁,W ₂ such that the inclusions W _i → M ⁿ factor homotopically through maps W _i → S ¹ → M ⁿ . We show that the fundamental group of such an n-manifold is a cyclic group or a free product of two cyclic groups with nontrivial amalgamation. In particular, if n = 3, the fundamental group is cyclic.      

Approximations for the <Emphasis Type=Italic>M</Emphasis>/<Emphasis Type=Italic>GI</Emphasis>/<Emphasis Type=Italic>N</Emphasis>+<Emphasis Type=Italic>GI</Emphasis> type call center

In this paper, we propose approximations to compute the steady-state performance measures of the M/GI/N+GI queue receiving Poisson arrivals with N identical servers, and general service and abandonment-time distributions. The approximations are based on scaling a single server M/GI/1+GI queue. For problems involving deterministic and exponential abandon times distributions, we suggest a practical way to compute the waiting time distributions and their moments using the Laplace transform of the workload density function. Our first contribution is numerically computing the workload density function in the M/GI/1+GI queue when the abandon times follow general distributions different from the deterministic and exponential distributions. Then we compute the waiting time distributions and their moments. Next, we scale-up the M/GI/1+GI queue giving rise to our approximations to capture the behavior of the multi-server system. We conduct extensive numerical experiments to test the speed and performance of the approximations, which prove the accuracy of their predictions.      

<Emphasis Type=Italic>L</Emphasis><Superscript>1</Superscript> - <Emphasis Type=Italic>H</Emphasis><Superscript>1</Superscript> bounds for a generalized Strichartz potential

We obtain the necessary and sufficient conditions for the boundedness of a generalized Strichartz potential.     

Some results on 4<Superscript><Emphasis Type=Italic>m</Emphasis></Superscript>2<Superscript><Emphasis Type=Italic>n</Emphasis></Superscript> designs with clear two-factor interaction components

Clear effects criterion is one of the important rules for selecting optimal fractional factorial designs, and it has become an active research issue in recent years. Tang et al. derived upper and lower bounds on the maximum number of clear two-factor interactions (2fi’s) in 2 ^n−(n−k) fractional factorial designs of resolutions III and IV by constructing a 2 ^n−(n−k) design for given k, which are only restricted for the symmetrical case. This paper proposes and studies the clear effects problem for the asymmetrical case. It improves the construction method of Tang et al. for 2 ^n−(n−k) designs with resolution III and derives the upper and lower bounds on the maximum number of clear two-factor interaction components (2fic’s) in 4 ^m 2 ⁿ designs with resolutions III and IV. The lower bounds are achieved by constructing specific designs. Comparisons show that the number of clear 2fic’s in the resulting design attains its maximum number in many cases, which reveals that the construction methods are satisfactory when they are used to construct 4 ^m 2 ⁿ designs under the clear effects criterion. This work was supported by the National Natural Science Foundation of China (Grant Nos. 10571093, 10671099 and 10771123), the Research Foundation for Doctor Programme (Grant No. 20050055038) and the Natural Science Foundation of Shandong Province of China (Grant No. Q2007A05). Zhang’s research was also supported by the Visiting Scholar Program at Chern Institute of Mathematics.     

Analog of <Emphasis Type=Italic>L</Emphasis><Superscript><Emphasis Type=Italic>p</Emphasis></Superscript> with a subadditive measure

For a subadditive fuzzy measure (not assumed finite), a Minkowski type triangle inequality, with Choquet integrals in place of Lebesgue integrals, is shown to hold. It is immediate that the set of functions for which a certain positive power of the absolute values have finite Choquet integrals is closed under addition, leading to a linear space analogous to the Lebesgue space L ^p , with a metric related to the integral of that power. Under the additional condition that the subadditive fuzzy measure is inner continuous (Sugeno), the space is shown to be complete. Consequences of the Minkowski type inequality are illustrated in two specific instances.      

On <Emphasis Type=Italic>N</Emphasis>-termed approximations in <Emphasis Type=Italic>H</Emphasis><Superscript><Emphasis Type=Italic>s</Emphasis></Superscript>-norms with respect to the Haar system

In [9], we proved numerically that spaces generated by linear combinations of some two-dimensional Haar functions exhibit unexpectedly nice orders of approximation for solutions of the single-layer potential equation in a rectangle. This phenomenon is closely related, on the one hand, to the properties of the approximation method of hyperbolic crosses and on the other to the existence of a strong singularity for solutions of such boundary integral equations. In the present paper, we establish several results on the approximation for the hyperbolic crosses and on the best N-term approximations by linear combinations of Haar functions in the H ^s -norms, −1 < s < 1/2; this provides a theoretical base for our numerical research. To the author's best knowledge, the negative smoothness case s < 0 was not studied earlier. __________ Translated from Sovremennaya Matematika. Fundamental'nye Napravleniya (Contemporary Mathematics. Fundamental Directions), Vol. 25, Theory of Functions, 2007.     

On the word problem for the free Burnside semigroups satisfying <Emphasis Type="Italic">x</Emphasis><Superscript>2</Superscript> = <Emphasis Type="Italic">x</Emphasis><Superscript>3</Superscript>

We study the word problem for the free Burnside semigroups satisfying x ² = x ³. For any k > 2, we reduce this problem for the k-generated free Burnside semigroup B(2, 1, k) to the word problem for the two-generated semigroup B(2, 1, 2). Furthermore, if every element of B(2, 1, 2) is a regular language, then every element of B(2, 1, k) appears to be a regular language as well. Thus, Brzozowski’s conjecture holds for the semigroup B(2, 1, k) if and only if it holds for B(2, 1, 2).     

A hybrid calculus for logic <Emphasis Type=Italic>N</Emphasis><Superscript><Emphasis Type=Italic>*</Emphasis></Superscript>: residual finiteness and decidability

It is proved that logic N ^* is residually finite and decidable. A hybrid calculus for the logic is constructed based on a tabular calculus for intuitionistic logic. It is shown that the hybrid calculus is sound and complete.     

A necessary condition for non-abelian finite <Emphasis Type=Italic>p</Emphasis>-groups with second centre of order <Emphasis Type=Italic>p</Emphasis><Superscript>2</Superscript>

Let G be a non-abelian finite p-group such that |Z ₂(G)| = p ². In this paper we prove that each maximal subgroup M ≠ C _G (Z ₂(G)) is non-abelian and has cyclic centre.     

<Emphasis Type=Italic>L</Emphasis><Superscript><Emphasis Type=Italic>p</Emphasis></Superscript> Mixed-norm estimates for convolution operator defined by singular measures

Let Γ be a C∞ curve in Rn and μ be the measure induced by Lebesgue measure on Γ,multiplied by a smooth cut-off function.In this paper,we will prove some mixednorm estimates based on the average decay estimates of the Fourier transform of μ.