Coupling of a multilevel fast multipole method and a microlocal discretization for the 3-D integral equations of electromagnetism

The aim of this work is to propose an accurate and efficient numerical approximation for high frequency diffraction of electromagnetic waves. In the context of the boundary integral equations presented in F. Collino and B. Després, to be published in J. Comput. Appl. Math., the strategy we propose combines the microlocal discretization (T. Abboud et al., in: Third International Conference on Mathematical Aspects of Wave Propagation Phenomena, SIAM, 1995, pp. 178–187) and the multilevel fast multipole method (J.M. Song, W.C. Chew, Microw. Opt. Tech. Lett. 10 (1) (1995) 14–19). This leads to a numerical method with a reduced complexity, of order O(N^4/3ln(N)+N_iterN^2/3), instead of the complexity O(N_iterN²) for a classical numerical iterative solution of integral equations. Computations on an academic geometry show that the new method improves the efficiency, for a solution with a good level of accuracy. To cite this article: A. Bachelot et al., C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

Multigeometric sequences and Cantorvals

For a sequence x ∈ l ₁\c ₀₀, one can consider the achievement set E(x) of all subsums of series Σ _n=1 ^∞ x(n). It is known that E(x) has one of the following structures: a finite union of closed intervals, a set homeomorphic to the Cantor set, a set homeomorphic to the set T of subsums of Σ _n=1 ^∞ x(n) where c(2n ? 1) = 3/4 ⁿ and c(2n) = 2/4 ⁿ (Cantorval). Based on ideas of Jones and Velleman [Jones R., Achievement sets of sequences, Amer. Math. Monthly, 2011, 118(6), 508–521] and Guthrie and Nymann [Guthrie J.A., Nymann J.E., The topological structure of the set of subsums of an infinite series, Colloq. Math., 1988, 55(2), 323–327] we describe families of sequences which contain, according to our knowledge, all known examples of x with E(x) being Cantorvals.     

Structure and analysis of some bands of theβ-system of PO molecule

Rotational analysis of (4–4), (7–6), (7–8) bands of the² Σ?² II _1/2 sub-system and (3–3) band of² Σ–² II _3/2 sub-system of theβ-system of PO have been made. Vibrational assignments of fifteen new bands of this system have also been reported.     

Randomized isomorphic Dvoretzky theoremVersion aléatoire isomorphique du théorème de Dvoretzky

Let K be a symmetric convex body in $\text{R}{}^{\mathrm{N}}$ for which B₂^N is the ellipsoid of minimal volume. We provide estimates for the geometric distance of a ‘typical’ rank n projection of K to B₂ⁿ, for 1?n<N. Known examples show that the resulting estimates are optimal (up to numerical constants) even for the Banach–Mazur distance. To cite this article: A. Litvak et al., C. R. Acad. Sci. Paris, Ser. I 335 (2002) 345–350.     

A probabilistic approach to the Yang–Mills heat equation

We construct a parallel transport U in a vector bundle E, along the paths of a Brownian motion in the underlying manifold, with respect to a time dependent covariant derivative ∇ on E, and consider the covariant derivative ∇₀U of the parallel transport with respect to perturbations of the Brownian motion. We show that the vertical part U⁻¹∇₀U of this covariant derivative has quadratic variation twice the Yang–Mills energy density (i.e., the square norm of the curvature 2-form) integrated along the Brownian motion, and that the drift of such processes vanishes if and only if ∇ solves the Yang–Mills heat equation. A monotonicity property for the quadratic variation of U⁻¹∇₀U is given, both in terms of change of time and in terms of scaling of U⁻¹∇₀U. This allows us to find a priori energy bounds for solutions to the Yang–Mills heat equation, as well as criteria for non-explosion given in terms of this quadratic variation.     

Measures on projections in a W *-algebra of type I 2

In the paper we present two results for measures on projections in a W ^*-algebra of type I ₂. First, it is shown that, for any such measure m, there exists a Hilbert-valued orthogonal vector measure µ such that ‖µ(p)‖² = m(p) for every projection p. In view of J. Hamhalter’s result (Proc. Amer. Math. Soc., 110 (1990), 803–806), this means that the above assertion is valid for an arbitrary W ^*-algebra. Secondly, a construction of a product measure on projections in a W ^*-algebra of type I ₂ (an analogue of the product measure in classical Lebesgue theory) is proposed.     

On the cosets of the 2q-power group in the unit group modulop

Letp be a prime number ≡ 3 mod 4,G ^p the unit group of ?/p?, andg a generator ofG _p. Letq be an odd divisor ofp - 1 andG _p ^2q = {t ^2q;t ∈G _pthe subgroup of index2q inG _p. The groupG _p ² / _p ^2q consists of the classes \(\bar g^{2j} \) ,j = 0,...,q – 1. In this paper we study the ’excesses’ of the classes \(\bar g^{2j} \) in {l,...,(_p–l)/2}, i.e., the numbers \(\Phi _j = \left| {\left\{ {k;1 \leqslant k \leqslant \left( {p - 1} \right)/2,\bar k \in \bar g^{2j} } \right\}} \right| - \left| {\left\{ {k;\left( {p - 1} \right)/2 \leqslant k \leqslant p - 1,\bar k \in \bar g^{2j} } \right\}} \right|\) ,j = 0.....q — 1. First we express therelative class number h _2q of the subfieldK _2q? ?(e^2#x03C0;i/p ) of degree [K _2q: ?] =2q in terms of these excesses. We use this formula to establish certaincongruences for the Ф^j. E.g., ifq ∈ {3,5,11}, each number Фj is congruent modulo 4 to each other iff 2 dividesh _2q ^- . Finally we study thevariance of the excesses, i.e., the number \(\sigma ^2 = ((\Phi _0 - \hat \Phi )^2 + \ldots + (\Phi _{q - 1} - \hat \Phi )^2 )/(q - 1)\) , where \(\hat \Phi \) is the mean value of the numbers Ф_j. We obtain an explicit lower bound for σ² in terms ofh _2q ^- /h ₂ ^- . Moreover, we show that log σ² is asymptotically equal to 21og(h _2q ^- h ₂ ^- )/(q - 1) forp→∞. Three tables illustrate the results.     

The small weight codewords of the functional codes associated to non-singular Hermitian varieties

This article studies the small weight codewords of the functional code C _Herm (X), with X a non-singular Hermitian variety of PG(N, q ²). The main result of this article is that the small weight codewords correspond to the intersections of X with the singular Hermitian varieties of PG(N, q ²) consisting of q + 1 hyperplanes through a common (N ? 2)-dimensional space Π, forming a Baer subline in the quotient space of Π. The number of codewords having these small weights is also calculated. In this way, similar results are obtained to the functional codes C ₂(Q), Q a non-singular quadric (Edoukou et al., J. Pure Appl. Algebra 214:1729–1739, 2010), and C ₂(X), X a non-singular Hermitian variety (Hallez and Storme, Finite Fields Appl. 16:27–35, 2010).     

Arithmetic behaviour of the sums of three squares

Let n ≠ 4^a(8b + 7) be an integer. We deal with the problem of the solvability of the equation n = x₁² + x₂² + x₃² in integers x₁, x₂, x₃ prime to n. By a theorem of Vila (Arch. Math. 44 (1985), 424–437), the existence of such a solution implies that every central extension of the alternating group A_n, for n ≡ 3 (mod 8), can be realized as a Galois group over Q.     

The asymmetric travelling salesman problem and a reformulation of the Miller–Tucker–Zemlin constraints

In this paper we compare the linear programming (LP) relaxations of several old and new formulations for the asymmetric travelling salesman problem (ATSP). The main result of this paper is the derivation of a compact formulation whose LP relaxation is characterized by a set of circuit inequalities given by Grotschel and Padberg (In: Lawler, E.L., Lenstra, J.K., Rinnooy Kan, A., Shmoys, D.B. (Eds.), The Travelling Salesman Problem: A Guided Tour of Combinatorial Optimization. Wiley, New York, 1985). The new compact model is an improved and disaggregated version of a well-known model for the ATSP based on the subtour elimination constraints (Miller et al., Journal of ACM 7 (1960) 326–329). The circuit inequalities are weaker than the subtour elimination constraints given by Dantzig et al. However, each one of these circuit inequalities can be lifted into several different facet defining inequalities which are not dominated by the subtour elimination inequalities. We show that some of the inequalities involved in the previously mentioned compact formulation can be lifted in such a way that, by projection, we obtain a small subset of the so-called D_k^← and D_k^→ inequalities. This shows that the LP relaxation of our strongest model is not dominated by the LP relaxation of the model presented by Dantzig et al. (Operations Research 2 (1954) 393–410). The new models motivate a new classification of formulations for the ATSP.     

Matroids over fp which are rational excluded minors

For a given prime p, we construct a collection of 2^p matroids G_p,a with (1) χ_pf(G_p,a)={p}, and (2) G_p,a is an excluded minor for rational representability. The motivating construction (Section 2) disproves a conjectures of Reid [4], using relatively high-rank, high cardinality matroids. The general construction (Section 3) makes use of ordered partitions (χ_pf(G) denotes the prime-field characteristic set of G, i.e., the set of prime fields over which G may be represented, while G can be represented over fields of no other characteristic.) Finally, Section 4 offers another construction with the same properties–a kind of projective dual to Section 2.     

Applied hypernumbers: computational concepts

The key importance of hypernumbers in enlarging and fruitfully generalizing (as distinct from abstraction of a sterile sort) algebra, function theory and computation is discussed, with specific examples and theorems. The rich serendipity of hypernumber research is shown in the author's recent findings; for example, those generalizing the Bernoulli numbers for any real, complex, or countercomplex index s, as B_s= -s!2cos(πs/2) ζ(s)/(2π)^s, where ζ is Riemann's Zeta function; whence, e.g., B₀=1, B₂=1/6, B_1/2=hf;ζ(hf;), and B₃/B₅=-(80π²)^-1ζ(3)/ζ(5), results like the last two being unknown and unobtainable before. As in APL computer language, the symbol “!” is used to denote Gauss' π function: the factorial of unrestricted argument.     

Chern numbers for two families of noncommutative Hopf fibrations

We consider noncommutative line bundles associated with the Hopf fibrations of SU_q(2) over all Podle? spheres and with a locally trivial Hopf fibration of S³_pq. These bundles are given as finitely generated projective modules associated via 1-dimensional representations of U(1) with Galois-type extensions encoding the principal fibrations of SU_q(2) and S³_pq. We show that the Chern numbers of these modules coincide with the winding numbers of representations defining them. To cite this article: P.M. Hajac et al., C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

A note on the oscillatory property for nonlinear difference equations and differential equations

Criteria are given to determine the oscillatory property of solutions of the nonlinear difference equation: Δ^du_n + ∑_{i = 1}^mp_inf_i(u_n, Δu_n,…,Δ^{d ? 1}u_n) = 0, n = 0, 1, 2,…, where d is an arbitrary integer, generalizing results that have been obtained by B. Szmanda (J. Math. Anal. Appl.79 (1981), 90–95) for d = 2. Analogous results are given for the differential equation: u^(d) + ∑_{i = 1}^mp_i(t)f_i(u, u′,…, u^{(d ? 1)}) = 0, t ? t₀, which coincide with the criteria given by 2., 3., 599–602) and 4., 5., 6., 715–719) for the case m = 1.     

Equivariant gerbes over compact simple Lie groups

Using groupoid S¹-central extensions, we present, for a compact simple Lie group G, an infinite dimensional model of S¹-gerbe over the differential stack G/G whose Dixmier–Douady class corresponds to the canonical generator of the equivariant cohomology H_G³(G). To cite this article: K. Behrend et al., C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

Eigenvectors and cyclic vectors of bilateral weighted shifts. II: Simply invariant subspaces

Let T be an injective bilateral weighted shift onl ² thought as "multiplication by λ" on a space of formal Laurent series L²(β). (a) If L²(β) is contained in a space of quasi-analytic class of functions, then the point spectrum σ_p(T^?) of T^? contains a circle and the cyclic invariant subspaceM _f of T generated by f is simply invariant (i.e., ∩{(T^k M _f)^?: k ≥ 0}= {0}) for each f in L²(β); (b) If L²(β) contains a non-quasi-analytic class of functions (defined on a circle г) of a certain type related with the weight sequence of T, then there exists f in L²(ß) such thatM _f is a non-trivial doubly invariant subspace (i.e., (TM _f)^? =M _f); furthermore, if г ? σ_p(T^*), then σ_p (T^*) = г and f can be chosen so that σ_p([T∣M _f]^*) = г?{α}, for some α ε г. Several examples show that the gap between operators satisfying (a) and operators satisfying (b) is rather small.     

Characterization of intermediate values of the triangle inequality II

In [Mineno K., Nakamura Y., Ohwada T., Characterization of the intermediate values of the triangle inequality, Math. Inequal. Appl., 2012, 15(4), 1019–1035] there was established a norm inequality which characterizes all intermediate values of the triangle inequality, i.e. C _n that satisfy 0 ≤ C _n ≤ Σ _j=1 ⁿ ‖x _j ‖ ? ‖Σ _j=1 ⁿ x _j ‖, x ₁,...,x _n ∈ X. Here we study when this norm inequality attains equality in strictly convex Banach spaces.     

Cohomological rigidity and the number of homeomorphism types for small covers over prisms

In this paper, based upon the basic theory for glued manifolds in M.W. Hirsch (1976) [8, Chapter 8, §2 Gluing Manifolds Together], we give a method of constructing homeomorphisms between two small covers over simple convex polytopes. As a result we classify, up to homeomorphism, all small covers over a 3-dimensional prism P³(m) with m?3. We introduce two invariants from colored prisms and other two invariants from ordinary cohomology rings with Z₂-coefficients of small covers. These invariants can form a complete invariant system of homeomorphism types of all small covers over a prism in most cases. Then we show that the cohomological rigidity holds for all small covers over a prism P³(m) (i.e., cohomology rings with Z₂-coefficients of all small covers over a P³(m) determine their homeomorphism types). In addition, we also calculate the number of homeomorphism types of all small covers over P³(m).     

Degree sum of a pair of independent edges and <Emphasis Type="Italic">Z</Emphasis><Subscript>3</Subscript>-connectivity

Let G be a 2-edge-connected simple graph on n vertices. For an edge e = uv ∈ E(G), define d(e) = d(u) + d(v). Let F denote the set of all simple 2-edge-connected graphs on n ≥ 4 vertices such that G ∈ F if and only if d(e) + d(e’) ≥ 2n for every pair of independent edges e, e’ of G. We prove in this paper that for each G ∈ F, G is not Z ₃-connected if and only if G is one of K _2,n?2, K _3,n?3, K _2,n?2 ⁺ , K _3,n?3 ⁺ or one of the 16 specified graphs, which generalizes the results of X. Zhang et al. [Discrete Math., 2010, 310: 3390–3397] and G. Fan and X. Zhou [Discrete Math., 2008, 308: 6233–6240].     

Irreducible pseudo 2-factor isomorphic cubic bipartite graphs

A bipartite graph is pseudo 2-factor isomorphic if the number of circuits in each 2-factor of the graph is always even or always odd. We proved (Abreu et?al., J Comb Theory B 98:432–442, 2008) that the only essentially 4-edge-connected pseudo 2-factor isomorphic cubic bipartite graph of girth 4 is K _3,3, and conjectured (Abreu et?al., 2008, Conjecture 3.6) that the only essentially 4-edge-connected cubic bipartite graphs are K _3,3, the Heawood graph and the Pappus graph. There exists a characterization of symmetric configurations n ₃ due to Martinetti (1886) in which all symmetric configurations n ₃ can be obtained from an infinite set of so called irreducible configurations (Martinetti, Annali di Matematica Pura ed Applicata II 15:1–26, 1888). The list of irreducible configurations has been completed by Boben (Discret Math 307:331–344, 2007) in terms of their irreducible Levi graphs. In this paper we characterize irreducible pseudo 2-factor isomorphic cubic bipartite graphs proving that the only pseudo 2-factor isomorphic irreducible Levi graphs are the Heawood and Pappus graphs. Moreover, the obtained characterization allows us to partially prove the above Conjecture.