A discrete norm on a Lipschitz surface and the Sobolev straightening of a boundary

Let a piece of the boundary of a Lipschitz domain be parameterized conventionally and let the traces of functions in the Sobolev space W _p ² be written out through this parameter. In this space, we propose a discrete (diadic) norm generalizing A. Kamont’s norm in the plane case. We study the conditions when the space of traces coincides with the corresponding space for the plane boundary.     

Computational Complexity of the Vertex Cover Problem in the Class of Planar Triangulations

We study the computational complexity of the vertex cover problem in the class of planar graphs (planar triangulations) admitting a plane representation whose faces are triangles. It is shown that the problem is strongly NP-hard in the class of 4-connected planar triangulations in which the degrees of vertices are of order O(log n), where n is the number of vertices, and in the class of plane 4-connected Delaunay triangulations based on the Minkowski triangular distance. A pair of vertices in such a triangulation is adjacent if and only if there is an equilateral triangle ?(p, λ) with p ∈ R² and λ > 0 whose interior does not contain triangulation vertices and whose boundary contains this pair of vertices and only it, where ?(p, λ) = p + λ? = {x ∈ R²: x = p + λa, a ∈ ?}; here ? is the equilateral triangle with unit sides such that its barycenter is the origin and one of the vertices belongs to the negative y-axis. Keywords: computational complexity, Delaunay triangulation, Delaunay TD-triangulation.     

The relative Chebyshev centers of finite sets in geodesic spaces

In the present paper we estimate variation in the relative Chebyshev radius R _W (M), where M and W are nonempty bounded sets of a metric space, as the sets M and W change. We find the closure and the interior of the set of all N-nets each of which contains its unique relative Chebyshev center, in the set of all N-nets of a special geodesic space endowed by the Hausdorff metric. We consider various properties of relative Chebyshev centers of a finite set which lie in this set.     

Interpolation Wavelets in Boundary Value Problems

We propose and validate a simple numerical method that finds an approximate solution with any given accuracy to the Dirichlet boundary value problem in a disk for a homogeneous equation with the Laplace operator. There are many known numerical methods that solve this problem, starting with the approximate calculation of the Poisson integral, which gives an exact representation of the solution inside the disk in terms of the given boundary values of the required functions. We employ the idea of approximating a given 2π-periodic boundary function by trigonometric polynomials, since it is easy to extend them to harmonic polynomials inside the disk so that the deviation from the required harmonic function does not exceed the error of approximation of the boundary function. The approximating trigonometric polynomials are constructed by means of an interpolation projection to subspaces of a multiresolution analysis (approximation) with basis 2π-periodic scaling functions (more exactly, their binary rational compressions and shifts). Such functions were constructed by the authors earlier on the basis of Meyer-type wavelets; they are either orthogonal and at the same time interpolating on uniform grids of the corresponding scale or only interpolating. The bounds on the rate of approximation of the solution to the boundary value problem are based on the property ofMeyer wavelets to preserve trigonometric polynomials of certain (large) orders; this property was used for other purposes in the first two papers listed in the references. Since a numerical bound of the approximation error is very important for the practical application of the method, a considerable portion of the paper is devoted to this issue, more exactly, to the explicit calculation of the constants in the order bounds of the error known earlier.     

On the traces of Sobolev functions on the boundary of a cusp with a Hölder singularity

For the Sobolev classes W _p ¹ on a “zero” cusp with a Hölder singularity at the vertex, we consider the question of compactness of the embedding of the traces of Sobolev functions into the Lebesgue classes on the boundary of the cusp.     

The extension of functions of Sobolev classes beyond the boundary of the domain on Carnot groups

We prove the theorem on extension of the functions of the Sobolev space W _p ^l (Ω) which are defined on a bounded (ε, δ)-domain Ω in a two-step Carnot group beyond the boundary of the domain of definition. This theorem generalizes the well-known extension theorem by P. Jones for domains of the Euclidean space.     

Traces of Sobolev functions on the Ahlfors sets of Carnot groups

We prove the converse of the trace theorem for the functions of the Sobolev spaces W _p ^l on a Carnot group on the regular closed subsets called Ahlfors d-sets (the direct trace theorem was obtained in one of our previous publications). The theorem generalizes Johnsson and Wallin’s results for Sobolev functions on the Euclidean space. As a consequence we give a theorem on the boundary values of Sobolev functions on a domain with smooth boundary in a two-step Carnot group. We consider an example of application of the theorems to solvability of the boundary value problem for one partial differential equation.     

On combinatorial Gauss-Bonnet Theorem for general Euclidean simplicial complexes

For a finitely triangulated closed surface M ², let α_x be the sum of angles at a vertex x. By the well-known combinatorial version of the 2- dimensional Gauss-Bonnet Theorem, it holds Σ_x(2π - α_x) = 2πχ(M ²), where χ denotes the Euler characteristic of M ², α_x denotes the sum of angles at the vertex x, and the sum is over all vertices of the triangulation. We give here an elementary proof of a straightforward higher-dimensional generalization to Euclidean simplicial complexes K without assuming any combinatorial manifold condition. First, we recall some facts on simplicial complexes, the Euler characteristics and its local version at a vertex. Then we define δ(τ) as the normed dihedral angle defect around a simplex τ. Our main result is Σ_τ (-1)^dim(τ)δ(τ) = χ(K), where the sum is over all simplices τ of the triangulation. Then we give a definition of curvature κ(x) at a vertex and we prove the vertex-version Σ _x∈K0 κ(x) = χ(K) of this result. It also possible to prove Morse-type inequalities. Moreover, we can apply this result to combinatorial (n + 1)-manifolds W with boundary B, where we prove that the difference of Euler characteristics is given by the sum of curvatures over the interior of W plus a contribution from the normal curvature along the boundary B:

$$\chi \left( W \right) - \frac{1}{2}\chi \left( B \right) = \sum {_{\tau \in W - B}} {\left( { - 1} \right)^{\dim \left( \tau \right)}} + \sum {_{\tau \in B}} {\left( { - 1} \right)^{\dim \left( \tau \right)}}\rho \left( \tau \right)$$

.

     

The <Emphasis Type="Italic">p</Emphasis>-Harmonic Measure of Small Axially Symmetric Sets

Using the first eigenvalue/eigenvector pair of a singular eigenvalue problem (motivated by the Dirichlet eigenvalue problem for the Laplace-Beltrami operator on a spherical cap), we define certain nonnegative p-superharmonic and p-subharmonic functions on a convex cone which are singular at the vertex and vanish on the rest of the boundary. We use these functions to give upper and lower estimates of the p-harmonic measure near the vertex of the cone as well as the p-harmonic measure of a small spherical cap.     

Relative widths of Sobolev classes in the uniform and integral metrics

Let W_p^r be the Sobolev class consisting of 2π-periodic functions f such that ‖f^(r)‖_p ≤ 1. We consider the relative widths d_n(W_p^r, MW_p^r, L_p), which characterize the best approximation of the class W_p^r in the space L_p by linear subspaces for which (in contrast to Kolmogorov widths) it is additionally required that the approximating functions g should lie in MW_p^r, i.e., ‖g^(r)‖_p ≤ M. We establish estimates for the relative widths in the cases of p = 1 and p = ∞; it follows from these estimates that for almost optimal (with error at most Cn^?r, where C is an absolute constant) approximations of the class W_p^r by linear 2n-dimensional spaces, the norms of the rth derivatives of some approximating functions are not less than cln min(n, r) for large n and r.     

Noncrossing partitions and the shard intersection order

We define a new lattice structure \((W,\preceq)\) on the elements of a finite Coxeter group W. This lattice, called the shard intersection order, is weaker than the weak order and has the noncrossing partition lattice NC?(W) as a sublattice. The new construction of NC?(W) yields a new proof that NC?(W) is a lattice. The shard intersection order is graded and its rank generating function is the W-Eulerian polynomial. Many order-theoretic properties of \((W,\preceq)\), like Möbius number, number of maximal chains, etc., are exactly analogous to the corresponding properties of NC?(W). There is a natural dimension-preserving bijection between simplices in the order complex of \((W,\preceq)\) (i.e. chains in \((W,\preceq)\)) and simplices in a certain pulling triangulation of the W-permutohedron. Restricting the bijection to the order complex of NC?(W) yields a bijection to simplices in a pulling triangulation of the W-associahedron.The lattice \((W,\preceq)\) is defined indirectly via the polyhedral geometry of the reflecting hyperplanes of W. Indeed, most of the results of the paper are proven in the more general setting of simplicial hyperplane arrangements.     

A finite element method for approximating electromagnetic scattering from a conducting object

We provide an error analysis of a fully discrete finite element – Fourier series method for approximating Maxwell's equations. The problem is to approximate the electromagnetic field scattered by a bounded, inhomogeneous and anisotropic body. The method is to truncate the domain of the calculation using a series solution of the field away from this domain. We first prove a decomposition for the Poincaré-Steklov operator on this boundary into an isomorphism and a compact perturbation. This is proved using a novel argument in which the scattering problem is viewed as a perturbation of the free space problem. Using this decomposition, and edge elements to discretize the interior problem, we prove an optimal error estimate for the overall problem.     

Spectral factorization of rectangular rational matrix functions with application to discrete Wiener-Hopf equations

The properties of a discrete Wiener-Hopf equation are closely related to the factorization of the symbol of the equation. We give a necessary and sufficient condition for existence of a canonical Wiener-Hopf factorization of a possibly nonregular rational matrix function W relative to a contour which is a positively oriented boundary of a region in the finite complex plane. The condition involves decomposition of the state space in a minimal realization of W and, if it is satisfied, we give explicit formulas for the factors. The results are generalized by means of centered realizations to arbitrary rational matrix functions. The proposed approach can be used to solve discrete Wiener-Hopf equations whose symbols are rational matrix functions which admit canonical factorization relative to the unit circle.     

<Emphasis Type="Italic">W</Emphasis>-entropy formulas on super Ricci flows and Langevin deformation on Wasserstein space over Riemannian manifolds

In this survey paper, we give an overview of our recent works on the study of the W-entropy for the heat equation associated with the Witten Laplacian on super-Ricci flows and the Langevin deformation on the Wasserstein space over Riemannian manifolds. Inspired by Perelman’s seminal work on the entropy formula for the Ricci flow, we prove the W-entropy formula for the heat equation associated with the Witten Laplacian on n-dimensional complete Riemannian manifolds with the CD(K,m)-condition, and the W-entropy formula for the heat equation associated with the time-dependent Witten Laplacian on n-dimensional compact manifolds equipped with a (K,m)-super Ricci flow, where K ∈ R and m ∈ [n,∞]. Furthermore, we prove an analogue of the W-entropy formula for the geodesic flow on the Wasserstein space over Riemannian manifolds. Our result improves an important result due to Lott and Villani (2009) on the displacement convexity of the Boltzmann-Shannon entropy on Riemannian manifolds with non-negative Ricci curvature. To better understand the similarity between above two W-entropy formulas, we introduce the Langevin deformation of geometric flows on the tangent bundle over the Wasserstein space and prove an extension of the W-entropy formula for the Langevin deformation. We also make a discussion on the W-entropy for the Ricci flow from the point of view of statistical mechanics and probability theory. Finally, to make this survey more helpful for the further development of the study of the W-entropy, we give a list of problems and comments on possible progresses for future study on the topic discussed in this survey.     

Monotonicity of strata in the stratification of the cone of totally positive matrices

According to a theorem of Bjorner [5], there exists a stratified space whose strata are labeled by the elements of [u, v] for every interval [u, v] in the Bruhat order of a Coxeter group W, and each closed stratum (respectively the boundary of each stratum) has the homology of a ball (respectively of a sphere). In [6], Fomin and Shapiro suggest a natural geometric realization of these stratified spaces for a Weyl group W of a semi-simple Lie group G, and then prove its validity in the case of the symmetric group. The stratified spaces arise as links in the Bruhat decomposition of the totally non-negative part of the unipotent radical of G. In this article, we verify the topological regularity property of the strata formed as a result of Bruhat partial ordering on the elements of theWeyl group (of rank 4) of a semi-simple simply connected algebraic group G which is SL(4,?) in our case here. The Weyl group here is the Coxeter group S ₄.     

Uniform Approximation of Curvature of Smooth Planar Curves

We estimate the error of curvature approximation for graphs of functions of the class W ^r for r ≥ 3 in the uniform metric.     

Best approximation of reproducing kernels of spaces of analytic functions

We obtain exact values for the best approximation of a reproducing kernel of a system of p-Faber polynomials by functions of the Hardy space H_q, p^-1 + q^-1 = 1 and a Szegö reproducing kernel of the space E²(Ω) in a simply connected domain Ωwith rectifiable boundary.     

Determinant formula and a realization for the Lie algebra <Emphasis Type="Italic">W</Emphasis> (2, 2)

In this paper, an explicit determinant formula is given for the Verma modules over the Lie algebra W(2, 2). We construct a natural realization of certain vaccum module for the algebra W(2, 2) via theWeyl vertex algebra. We also describe several results including the irreducibility, characters and the descending filtrations of submodules for the Verma module over the algebra W(2, 2).     

Gaussian distributions and phase space Weyl–Heisenberg frames

Gaussian states are at the heart of quantum mechanics and play an essential role in quantum information processing. In this paper we provide approximation formulas for the expansion of a general Gaussian symbol in terms of elementary Gaussian functions. For this purpose we introduce the notion of a “phase space frame” associated with a Weyl–Heisenberg frame. Our results give explicit formulas for approximating general Gaussian symbols in phase space by phase space shifted standard Gaussians as well as explicit error estimates and the asymptotic behavior of the approximation.