Infinite dimensional general linear groups have finite width

A group is said to have finite width whenever it has finite width with respect to each inverse-closed generating set. Bergman showed [1] that infinite symmetric groups have finite width and asked whether the automorphism groups of several classical structures have finite width, mentioning in particular infinite dimensional general linear groups over fields. In this article we prove that infinite dimensional general linear groups over arbitrary division rings have finite width. We consider the problem of finite width for other infinite dimensional classical groups.     

Palindromic Width of Finitely Generated Solvable Groups

We investigate the palindromic width of finitely generated solvable groups. We prove that every finitely generated 3-step solvable group has finite palindromic width. More generally, we show the finiteness of the palindromic width for finitely generated abelian-by-nilpotent-by-nilpotent groups. For arbitrary solvable groups of step ≥3, we prove that if G is a finitely generated solvable group that is an extension of an abelian group by a group satisfying the maximal condition for normal subgroups, then the palindromic width of G is finite. We also prove that the palindromic width of ??? with respect to the set of standard generators is 3.     

On Finite Model Property for Admissible Rules

Our investigation is concerned with the finite model property (fmp) with respect to admissible rules. We establish general sufficient conditions for absence of fmp w. r. t. admissibility which are applicable to modal logics containing K4: Theorem 3.1 says that no logic λ containing K4 with the co-cover property and of width > 2 has fmp w. r. t. admissibility. Surprisingly many, if not to say all, important modal logics of width > 2 are within the scope of this theorem–K4 itself, S4, GL, K4.1, K4.2, S4.1, S4.2, GL.2, etc. Thus the situation is completely opposite to the case of the ordinary fmp–the absolute majority of important logics have fmp, but not with respect to admissibility. As regards logics of width ≤ 2, there exists a zone for fmp w. r. t. admissibility. It is shown (Theorem 4.3) that all modal logics A of width ≤ 2 extending S4 which are not sub-logics of three special tabular logics (which is equipotent to all these λ extend a certain subframe logic defined over S4 by omission of four special frames) have fmp w.r.t. admissibility.     

Classes of functions of the <Emphasis Type="Italic">k</Emphasis>-valued logic monotone with respect to sets of width two

A criterion of the property of being finitely generated is obtained for precomplete classes of functions monotone with respect to sets from the family of all partially ordered sets of width two with the greatest and the least elements.     

Perfectly matched layers for the heat and advection–diffusion equations

We design a perfectly matched layer for the advection–diffusion equation. We show that the reflection coefficient is exponentially small with respect to the damping parameter and the width of the PML and independently of the advection and of the viscosity parameters. Numerical tests assess the efficiency of the approach.     

Approximate models for wave propagation across thin periodic interfaces

This work deals with the scattering of acoustic waves by a thin ring that contains regularly spaced inhomogeneities. We first explicit and study the asymptotic of the solution with respect to the period and thickness of the inhomogeneities using so-called matched asymptotic expansions. We then build simplified models replacing the thin ring with Approximate Transmission Conditions that are accurate up to third order with respect to the layer width. We pay particular attention to the study of these approximate models and the quantification of their accuracy.     

Typical curvature behaviour of bodies of constant width

It is known that an n-dimensional convex body, which is typical in the sense of Baire category, shows a simple, but highly non-intuitive curvature behaviour: at almost all of its boundary points, in the sense of measure, all curvatures are zero, but there is also a dense and uncountable set of boundary points at which all curvatures are infinite. The purpose of this paper is to find a counterpart to this phenomenon for typical convex bodies of given constant width. Such bodies cannot have zero curvatures. A main result says that for a typical n-dimensional convex body of constant width 1 (without loss of generality), at almost all boundary points, in the sense of measure, all curvatures are equal to 1. (In contrast, note that a ball of width 1 has radius 1/2, hence all its curvatures are equal to 2.) Since the property of constant width is linear with respect to Minkowski addition, the proof requires recourse to a linear curvature notion, which is provided by the tangential radii of curvature.     

Conical differentiability for evolution variational inequalities

The conical differentiability of solutions to the parabolic variational inequality with respect to the right-hand side is proved in the paper. From one side the result is based on the Lipschitz continuity in of solutions to the variational inequality with respect to the right-hand side. On the other side, in view of the polyhedricity of the convex cone

     

Multivariate interval interpolation

The problem of multivariate interval interpolation has been defined. Two algorithms for the computation of a multivariate interval interpolating polynomial have been proposed. The algorithms have been compared among themselves with respect to the number of interval arithmetic operations required to compute them and the width of the computed intervals. One of the algorithms is recommended for fast computation and the other for obtaining the most accurate results.     

A Schr(o)idinger formulation research for light beam propagation

The wave equation of light beam propagation was written in the form of an axial-coordinate-dependent Schrdinger equation, and the expectation value of a dynamical variable, the trial function of variational approach and the ABCD law were discussed by use of quantum mechanics approach. In view of the evolution equations of expectation values of dynamical variables in the framework of quantum mechanics, the definition of a potential function representing the beam propagation stability and its universal formula with the quality factor, the universal formula of beam width and curvature radius for a paraxial beam and cylindrically symmetric non-paraxial beam, the general formula of second derivative of beam width with respect to the axial coordinate of beam for a paraxial beam, and the general criteria of the conservation of beam quality factor and the existence of a potential well of a potential function for a paraxial beam, were given or derived, respectively. Starting with the same trial function, the comparative research of our formulation with variational approach was done, which gave some further insight into the physical nature of a beam propagation parameters. The ABCD law of non-paraxial beam was discussed in terms of the definition of the non-paraxial expectation value of a dynamical variable for the first time. The applications to the media of constant second derivative of beam width with respect to the axial coordinate of a beam, square law media and the media of constant refractive index in the momentum representation were discussed, respectively.     

A Schr?dinger formulation research for light beam propagation

The wave equation of light beam propagation was written in the form of an axial-coordinate-dependent Schr?dinger equation, and the expectation value of a dynamical variable, the trial function of variational approach and the ABCD law were discussed by use of quantum mechanics approach. In view of the evolution equations of expectation values of dynamical variables in the framework of quantum mechanics, the definition of a potential function representing the beam propagation stability and its universal formula with the quality factor, the universal formula of beam width and curvature radius for a paraxial beam and cylindrically symmetric non-paraxial beam, the general formula of second derivative of beam width with respect to the axial coordinate of beam for a paraxial beam, and the general criteria of the conservation of beam quality factor and the existence of a potential well of a potential function for a paraxial beam, were given or derived, respectively. Starting with the same trial function, the comparative research of our formulation with variational approach was done, which gave some further insight into the physical nature of a beam propagation parameters. The ABCD law of nonparaxial beam was discussed in terms of the definition of the non-paraxial expectation value of a dynamical variable for the first time. The applications to the media of constant second derivative of beam width with respect to the axial coordinate of a beam, square law media and the media of constant refractive index in the momentum representation were discussed, respectively.     

Digital Jordan curves

A digital Jordan curve theorem is proved for a new topology defined on Z². This topology is compared with the classical Khalimsky and Marcus topologies used in digital topology. We show that the Jordan curves with respect to the topology defined, unlike the Jordan curves with respect to any of the two classical topologies mentioned, may turn at the acute angle . We also discuss a quotient topology of the new topology.     

Successive radii and Minkowski addition

In this paper we study the behavior of the so called successive inner and outer radii with respect to the Minkowski addition of convex bodies, generalizing the well-known cases of the diameter, minimal width, circumradius and inradius. We get?all possible upper and lower bounds for the radii of the sum of two convex bodies in terms of the sum of the corresponding radii.     

The symmetric Meixner-Pollaczek polynomials with real parameter

The Symmetric Meixner-Pollaczek polynomials for λ>0 are well-studied polynomials. These are polynomials orthogonal on the real line with respect to a continuous, positive real measure. For λ?0, are also polynomials, however they are not orthogonal on the real line with respect to any real measure. This paper defines a non-standard inner product with respect to which the polynomials for λ?0, become orthogonal polynomials. It examines the major properties of the polynomials, for λ>0 which are also shared by the polynomials, for λ?0.     

Hardy-type theorem for orthogonal functions with respect to their zeros. The Jacobi weight case

Motivated by the G.H. Hardy's 1939 results [G.H. Hardy, Notes on special systems of orthogonal functions II: On functions orthogonal with respect to their own zeros, J. London Math. Soc. 14 (1939) 37-44] on functions orthogonal with respect to their real zeros λn, , we will consider, under the same general conditions imposed by Hardy, functions satisfying an orthogonality with respect to their zeros with Jacobi weights on the interval (0,1), that is, the functions f(z)=zνF(z), ν∈R, where F is entire and

     

Successive radii and Minkowski addition

In this paper we study the behavior of the so called successive inner and outer radii with respect to the Minkowski addition of convex bodies, generalizing the well-known cases of the diameter, minimal width, circumradius and inradius. We get all possible upper and lower bounds for the radii of the sum of two convex bodies in terms of the sum of the corresponding radii.     

Progress in the Self-Similar Turbulent Flame premixed combustion model

This paper is devoted to premixed combustion modeling in turbulent flow. First, we briefly remind the main features of the Self-Similar Turbulent Flame model that was more extensively developed in a former paper. Then, we carefully describe some improvements of the model. The determination of the turbulent flame velocity is based on the observed self-similarity of the turbulent flame and uses the local flame brush width as a fundamental parameter, which must be retrieved. With respect to the former version, we now derive more rigorously how the density variation has to be taken into account in the width retrieving function. We reformulate the diffusion term as a classical flux divergence term. We enforce the compatibility of the model for the limit of weak turbulence. We include a contracting effect of the source term, thus allowing to give a stationary mono-dimensional asymptotic solution with a finite width. We also include in a preliminary form, a stretch factor, which proves to be useful for controlling the flame behavior close to the flame holder and near the walls. The model implementation in the Star-CD CFD code is then tested on three different flame configurations. Finally, we shortly discuss the model improvements and the simulation results.     

Optimization of column width in website layout for advertisement fit

Advertising is the basic source of income for many web businesses. Preparing website layout for the advertisements is a problem faced by many web designers. The ads and other content are placed in several columns. Usually column widths are chosen ad hoc to fit the widest advertising unit. To make a more informed decisions website column width selection is formulated in this paper as optimization problem. A method of selecting column widths for a given set of advertisement units is proposed. Ad unit combinations that fit the given column widths are generated by the improved Wang algorithm for two-dimensional stock cutting problem. Column widths are evaluated for several objective functions. Two approaches are proposed. The first constructs a Pareto frontier of column width combinations. The second calculates the optimum column widths with respect to a weighted linear function of the objectives. To justify the weights expert survey was conducted. Both approaches are examined on datasets of internet advertising units.     

Pointlike sets with respect to R and J

We present an algorithm to compute the pointlike subsets of a finite semigroup with respect to the pseudovariety of all finite R-trivial semigroups. The algorithm is inspired by Henckell’s algorithm for computing the pointlike subsets with respect to the pseudovariety of all finite aperiodic semigroups. We also give an algorithm to compute -pointlike sets, where denotes the pseudovariety of all finite J-trivial semigroups. We finally show that, in contrast with the situation for , the natural adaptation of Henckell’s algorithm to computes pointlike sets, but not all of them.     

Properties of locally convergent sequences with respect to median filter

In this paper, for infinite-length sequences (or sequences), we prove that a sequence is convergent with respect to the median filter with window width 2k+1 if and only if the sequence is locally convergent on a segment of length 2k−1 in the sequence. Moreover, the length 2k−1 is minimal for k≠2,3.