Numerical solution of electromagnetic scattering from a large partly covered cavity

The paper focuses on the numerical study of electromagnetic scattering from two-dimensional (2D) large partly covered cavities, which is described by the Helmholtz equation with a nonlocal boundary condition on the aperture. The classical five-point finite difference method is applied for the discretization of the Helmholtz equation and a linear approximation is used for the nonlocal boundary condition. We prove the existence and uniqueness of the numerical solution when the medium in the cavity is y-direction layered or the number of the mesh points on the aperture is large enough. The fast algorithm proposed in Bao and Sun (2005) [2] for open cavity models is extended to solving the partly covered cavity problem with (vertically) layered media. A preconditioned Krylov subspace method is proposed to solve the partly covered cavity problem with a general medium, in which a layered medium model is used as a preconditioner of the general model. Numerical results for several types of partly covered cavities with different wave numbers are reported and compared with those by ILU-type preconditioning algorithms. Our numerical experiments show that the proposed preconditioning algorithm is more efficient for partly covered cavity problems, particularly with large wave numbers.     

Mean-field limit for the stochastic Vicsek model

We consider the continuous version of the Vicsek model with noise, proposed as a model for collective behaviour of individuals with a fixed speed. We rigorously derive the kinetic mean-field partial differential equation satisfied when the number N of particles tends to infinity, quantifying the convergence of the law of one particle to the solution of the PDE. For this we adapt a classical coupling argument to the present case in which both the particle system and the PDE are defined on a surface rather than on the whole space R^d. As part of the study we give existence and uniqueness results for both the particle system and the PDE.     

Large eddy simulation of a sheet/cloud cavitation on a NACA0015 hydrofoil

A single fluid model of sheet/cloud cavitation is developed and applied to a NACA0015 hydrofoil. First, a cavity formation model is set up, based on a three-dimensional (3D) non-cavitation model of Navier–Stokes equations with a large eddy simulation (LES) scheme for weakly compressible flows. A fifth-order polynomial curve is adopted to describe the relationship between density coefficient ratio and pressure coefficient when cavitation occurs. The Navier–Stokes equations including cavitation bubble clusters are solved using the finite-volume approach with time-marching scheme, and MacCormack’s explicit-corrector scheme is adopted. Simulations are carried out in a 3D field acting on a hydrofoil NACA0015 at angles of attack 4°, 8° and 20°, with cavitation numbers σ = 1.0, 1.5 and 2.0, Re = 10⁶, and a 360 × 63 × 29 meshing system. We study time-dependent sheet/cloud cavitation structures, caused by the interaction of viscous objects, such as vortices, and cavitation bubbles. At small angles of attack (4°), the sheet cavity is relatively stable just by oscillating in size at the accumulation stage; at 8° it has a tendency to break away from the upper foil section, with the cloud cavitation structure becoming apparent; at 20°, the flow separates fully from the leading edge of the hydrofoil, and the vortex cavitation occurs. Comparisons with other studies, carried out mainly in the context of flow patterns on which prior experiments and simulations were done, demonstrate the power of our model. Overall, it can snapshot the collapse of cloud cavitation, and allow a study of flow patterns and their instabilities, such as “crescent-shaped regions.”     

Interpretation of the Evolution of the Homogeneous Markov System (or,equivalently, of the Embedded Markov Chain) as the Deformation of a Viscoelastic Medium. The 3-D Case

Every attainable structure of a continuous time homogeneous Markov chain (HMC) with n states, or of a closed Markov system with an embedded HMC with n states, or more generally of a Markov system driven by an HMC, is considered as a point-particle of ? ⁿ . Then, the motion of the attainable structure corresponds to the motion of the respective point-particle in ? ⁿ . Under the assumption that “the motion of every particle at every time point is due to the interaction with its surroundings”, ? ⁿ (and equivalently the set of the accosiated attainable structures of the homogeneous Markov system (HMS), or alternatively of the underlying embedded HMC) becomes a continuum. Thus, the evolution of the set of the attainable structures corresponds to the motion of the continuum. In this paper it is shown that the evolution of a three-dimensional HMS (n = 3) or simply of an HMC, can be interpreted through the evolution of a two-dimensional isotropic viscoelastic medium.     

Finite Commutative Chain Rings

A commutative ring with identity is called a chain ring if all its ideals form a chain under inclusion. A finite chain ring, roughly speaking, is an extension over a Galois ring of characteristic pⁿusing an Eisenstein polynomial of degree k. When p∤k, such rings were classified up to isomorphism by Clark and Liang. However, relatively little is known about finite chain rings when p∣k. In this paper, we allowed p∣k. When n=2 or when p∥k but (p−1)∤k, we classified all pure finite chain rings up to isomorphism. Under the assumption that (p−1)∤k, we also determined the structures of groups of units of all finite chain rings.     

On the Regularity of Crossed Products

We study some generalizations of the notion of regular crossed products K * G. For the case when K is an algebraically closed field, we give necessary and sufficient conditions for the twisted group ring K * G to be an n-weakly regular ring, a ξ^* N-ring or a ring without nilpotent elements.     

Assessment of an improved turbulence model in simulating the unsteady flows around a D-shaped cylinder and an open cavity

Most engineering flows are still predicted by the conventional Reynolds-averaged Navier-Stokes method because of the low requirements of the computational quantities. However, the resolution capability of Reynolds-averaged Navier-Stokes models is still open to deliberation, especially in the recirculation and wake regions, where the vortical flows dominate. In the present work, an improved turbulence model derived from the original shear stress transport k-ω model is proposed and its superiority is assessed by our modeling the unsteady flows around a D-shaped cylinder and an open cavity, corresponding to two different Reynolds numbers. The results are compared with results from experiments and other turbulence models in terms of the flow morphology and mean velocity profiles. This shows that the predictive accuracy of the modified turbulence model is increased significantly in the bluff body wake flows and in the shear layer and separation flows of the cavity. Some special vortex structures can be captured in the open cavity, in which the secondary vortex emerging from the shear layer and the separation vortex near the trailing edge can induce large flow instability, and this phenomenon should be eliminated in engineering applications. It is believed that this improved turbulence model can be used for the more complex turbomachinery flows with better prediction of the hydrodynamic/aerodynamic performance and the unsteady vortical flows, which can provide some guidelines to design or optimize rotating machines.     

Splitting monoidal stable model categories

If C is a stable model category with a monoidal product then the set of homotopy classes of self-maps of the unit forms a commutative ring, [S,S]^C. An idempotent e of this ring will split the homotopy category: [X,Y]^C≅e[X,Y]^C⊕(1−e)[X,Y]^C. We prove that provided the localised model structures exist, this splitting of the homotopy category comes from a splitting of the model category, that is, C is Quillen equivalent to L_eSC×L_(1−e)SC and [X,Y]^L_eSC≅e[X,Y]^C. This Quillen equivalence is strong monoidal and is symmetric when the monoidal product of C is.     

Essentially rigid floppy subgroups of the baer-specker group

We construct a pure subgroupG of the Baer-Specker group ?^ω with a “small” endomorphism ring giving a split realization of ?, in the sense that EndG=⊕ ? FinG with |FinG| ≤ 2^?o, where FinG denotes the ideal of all endomorphisms ofG of finite rank, while its dualG*=Hom (G, ?) is as large as possible, i.e. of cardinal 2^?o. Our groupG gives a complete answer to a question of Irwin (1993). Note that a recent paper [3] answered Irwin’s question under the assumption of the continuum hypothesis CH.     

Associative rings with large center

A ring R is called a ring with large center if any nonzero ideal of R has nonzero intersection with the center of R. We give some conditions for an ideal of a ring with large center to be itself a ring with large center, and also we provide an example of a ring with large center R and its ideal I ? R such that I is not a ring with large center.     

A Point Model for the Free Cyclic Submodules over Ternions

We show that the set of all (unimodular and non-unimodular) free cyclic submodules of T ², where T is the ring of ternions over a commutative field, admits a point model in terms of a smooth algebraic variety.     

Rate of Convergence Towards Semi-Relativistic Hartree Dynamics

We consider the semi-relativistic system of N gravitating Bosons with gravitation constant G. The time evolution of the system is described by the relativistic dispersion law, and we assume the mean-field scaling of the interaction where N → ∞ and G → 0 while GN = λ fixed. In the super-critical regime of large λ, we introduce the regularized interaction where the cutoff vanishes as N → ∞. We show that the difference between the many-body semi-relativistic Schrödinger dynamics and the corresponding semi-relativistic Hartree dynamics is at most of order N ^?1 for all λ, i.e., the result covers the sub-critical regime and the super-critical regime. The N dependence of the bound is optimal.     

Triangular Matrix Representations of Rings of Generalized Power Series

Let R be a ring and S a cancellative and torsion-free monoid and 〈 a strict order on S. If either （S,≤） satisfies the condition that 0 ≤ s for all s ∈ S, or R is reduced, then the ring [[R^S,≤]] of the generalized power series with coefficients in R and exponents in S has the same triangulating dimension as R. Furthermore, if R is a PWP ring, then so is [[R^S,≤]].     

New developments in the theory of Gröbner bases and applications to formal verification

We present foundational work on standard bases over rings and on Boolean Gröbner bases in the framework of Boolean functions. The research was motivated by our collaboration with electrical engineers and computer scientists on problems arising from formal verification of digital circuits. In fact, algebraic modelling of formal verification problems is developed on the word-level as well as on the bit-level. The word-level model leads to Gröbner basis in the polynomial ring over Z/2ⁿ while the bit-level model leads to Boolean Gröbner bases. In addition to the theoretical foundations of both approaches, the algorithms have been implemented. Using these implementations we show that special data structures and the exploitation of symmetries make Gröbner bases competitive to state-of-the-art tools from formal verification but having the advantage of being systematic and more flexible.     

Fractional dynamics of systems with long-range interaction

We consider one-dimensional chain of coupled linear and nonlinear oscillators with long-range powerwise interaction defined by a term proportional to 1/∣n − m∣^α+1. Continuous medium equation for this system can be obtained in the so-called infrared limit when the wave number tends to zero. We construct a transform operator that maps the system of large number of ordinary differential equations of motion of the particles into a partial differential equation with the Riesz fractional derivative of order α, when 0 < α < 2. Few models of coupled oscillators are considered and their synchronized states and localized structures are discussed in details. Particularly, we discuss some solutions of time-dependent fractional Ginzburg–Landau (or nonlinear Schrodinger) equation.     

Injective hulls with distinct ring structures

It is well known from Osofsky’s work that the injective hull E(R_R) of a ring R need not have a ring structure compatible with its R-module scalar multiplication. A closely related question is: if E(R_R) has a ring structure and its multiplication extends its R-module scalar multiplication, must the ring structure be unique? In this paper, we utilize the properties of Morita duality to explicitly describe an injective hull of a ring R with R=Q(R) (where Q(R) is the maximal right ring of quotients of R) such that every injective hull of R_R has (possibly infinitely many) distinct compatible ring structures which are mutually ring isomorphic and quasi-Frobenius. Further, these rings have the property that the ring structures for E(R_R) also are ring structures on E(_RR).     

Orthogonal Graded Completion of Graded Semiprime Rings

For an associative gr-semiprime ring R with identity graded by a group, the orthogonal graded completion O ^gr(R) is constructed. A criterion for the orthogonal completeness of the maximal right graded quotient ring Q ^gr(R) is proved. The ring Q ^gr(R) need not be orthogonally complete, as opposed to the ungraded case.     

Difference sets over Galois rings with odd extension degrees and characteristic an even power of 2

We construct an infinite family of (2 ^ns , 2 ^{ns/2 -1}(2 ^ns/2?1), 2 ^{ns/2 -1}(2 ^{ns/2 -1} ?1)) difference sets over a Galois ring GR(2 ⁿ , s) with characteristic an even power n of 2 and an odd extension degree s. It makes a chain of difference sets preserving the structures when n increases and s is fixed. We introduce a new operation into GR(2 ⁿ , s). The Gauss sum associated with the multiplicative character defined by the subgroup with respect to the new operation plays an important role in the construction.     

Clustering and ensembles inequivalence in the φ and φ mean-field Hamiltonian models

We investigate a model of globally coupled conservative oscillators. Two different algebraic potentials are considered that display in the canonical ensemble either a second (φ⁴) or both a second and a first-order phase transition separated by tricritical points (φ⁶). The stability of highly clustered states appearing in the low temperature/energy region is studied both analytically and numerically for the φ⁴-model. Moreover, long-lived out-of-equilibrium states appear close to the second-order phase transition when starting with “water-bag” initial conditions, in analogy with what has been found for the Hamiltonian mean-field model. The microcanonical simulations of the φ⁶-model show strong hysteretic effects and metastability near the first-order phase transition and a narrow region of negative specific heat.     

L'anneau de cohomologie d'une variété de Seifert

All manifolds M considered in this Note are orientable Seifert 3-manifolds with base surface S² and infinite fundamental group π₁ (M). Our goal is to compute the cohomology ring H^* (M; Z/2Z). The ring structure will enable us to determine whether M admits a degree 1 map into RP³ or not. We describe the equivariant chain complex for the universal cover M of M, and give a diagonal approximation. The cohomology ring H^* (M; Z/2Z) is computed.