Existence of r-self-orthogonal Latin squares

Two Latin squares of order v are r-orthogonal if their superposition produces exactly r distinct ordered pairs. If the second square is the transpose of the first one, we say that the first square is r-self-orthogonal, denoted by r-SOLS(v). It has been proved that for any integer v?28, there exists an r-SOLS(v) if and only if v?r?v² and r∉{v+1,v²-1}. In this paper, we give an almost complete solution for the existence of r-self-orthogonal Latin squares.     

A note on ball-covering property of Banach spaces

By a ball-covering B of a Banach space X, we mean that B is a collection of open (or closed) balls off the origin whose union contains the unit sphere SX of X; and X is said to have the ball-covering property (BCP) provided it admits a ball-covering by countably many balls. In this note we give a natural example showing that the ball-covering property of a Banach space is not inherited by its subspaces; and we present a sharp quantitative version of the recent Fonf and Zanco renorming result saying that if the dual X^∗ of X is w^∗ separable, then for every ε>0 there exist a (1+ε)-equivalent norm on X, and an R>0 such that in this new norm SX admits a ball-covering by countably many balls of radius R. Namely, we show that R=R(ε) can be taken arbitrarily close to (1+ε)/ε, and that for X=?₁[0,1] the corresponding R cannot be equal to 1/ε. This gives the sharp order of magnitude for R(ε) as ε→0.     

Convergence rates in the SLLN for some classes of dependent random fields

Let be a random field i.e. a family of random variables indexed by Nr, r?2. We discuss complete convergence and convergence rates under assumption on dependence structure of random fields in the case of nonidentical distributions. Results are obtained for negatively associated random fields, ρ^?-mixing random fields (having maximal coefficient of correlation strictly smaller then 1) and martingale random fields.     

On the complexity of crossings in permutations

We investigate crossing minimization problems for a set of permutations, where a crossing expresses a disarrangement between elements. The goal is a common permutation π^∗ which minimizes the number of crossings. In voting and social science theory this is known as the Kemeny optimal aggregation problem minimizing the Kendall-τ distance. This rank aggregation problem can be phrased as a one-sided two-layer crossing minimization problem for a series of bipartite graphs or for an edge coloured bipartite graph, where crossings are counted only for monochromatic edges. We contribute the max version of the crossing minimization problem, which attempts to minimize the discrimination against any permutation. As our results, we correct the construction from [C. Dwork, R. Kumar, M. Noar, D. Sivakumar, Rank aggregation methods for the Web, Proc. WWW10 (2001) 613-622] and prove the NP-hardness of the common crossing minimization problem for k=4 permutations. Then we establish a 2−2/k-approximation, improving the previous factor of 2. The max version is shown NP-hard for every k≥4, and there is a 2-approximation. Both approximations are optimal, if the common permutation is selected from the given ones. For two permutations crossing minimization is solved by inspecting the drawings, whereas it remains open for three permutations.     

Bessel capacities on compact manifolds and their relation to Poisson capacities

A motivation for this paper comes from the role of Choquet capacities in the study of semilinear elliptic partial differential equations. In particular, the recent progress in the classification of all positive solutions of Lu=uα in a bounded smooth domain E⊂Rd was achieved by using, as a tool, capacities on a smooth manifold ∂E. Either the Poisson capacities (associated with the Poisson kernel in E) or the Bessel capacities (related to the Bessel kernel) have been used. In this and many other applications there is no advantage in choosing any special member in a class of equivalent capacities. (Two capacities are called equivalent if their ratio is bounded away from 0 and ∞.) In the literature Bessel capacities are considered mostly in the space Rd. We introduce two versions of Bessel capacities on a compact N-dimensional manifold. A class Cap?,p of equivalent capacities is defined, for ?p?N, on every compact Lipschitz manifold. Another class CB?,p is defined (for all ?>0, p>1) in terms of a diffusion process on a C²-manifold. These classes coincide when both are defined. If the manifold is the boundary of a bounded C²-domain E⊂Rd, then both versions of the Bessel capacities are equivalent to the Poisson capacities.     

Characterization of equality in a generalized Dunkl-Williams inequality

We establish a generalization of the Dunkl-Williams inequality and its inverse in the framework of Hilbert C^?-modules and characterize the equality case. As applications, we get some new results and some known results due to J.E. Pe?ari? and R. Raji? [The Dunkl-Williams equality in pre-Hilbert C^?-modules, Linear Algebra Appl. 425 (1) (2007) 16-25].     

Further improved recursions for a class of compound Poisson distributions

In the present paper we develop more efficient recursive formulae for the evaluation of the t-order cumulative function Γ^th(x) and the t-order tail probability Λ^th(x) of the class of compound Poisson distributions in the case where the derivative of the probability generating function of the claim amounts can be written as a ratio of two polynomials. These efficient recursions can be applied for the exact evaluation of the probability function (given by De Pril [De Pril, N., 1986a. Improved recursions for some compound Poisson distributions. Insurance Math. Econom. 5, 129-132]), distribution function, tail probability, stop-loss premiums and t-order moments of stop-loss transforms of compound Poisson distributions. Also, efficient recursive algorithms are given for the evaluation of higher-order moments and r-order factorial moments about any point for this class of compound Poisson distributions. Finally, several examples of discrete claim size distributions belonging to this class are also given.     

Vertex-transitive self-complementary uniform hypergraphs of prime order

For an integer n and a prime p, let . In this paper, we present a construction for vertex-transitive self-complementary k-uniform hypergraphs of order n for each integer n such that for every prime p, where ?=max{k₍₂₎,(k−1)₍₂₎}, and consequently we prove that the necessary conditions on the order of vertex-transitive self-complementary uniform hypergraphs of rank k=2^? or k=2^?+1 due to Potoňick and Šajna are sufficient. In addition, we use Burnside’s characterization of transitive groups of prime degree to characterize the structure of vertex-transitive self-complementary k-hypergraphs which have prime order p in the case where k=2^? or k=2^?+1 and , and we present an algorithm to generate all of these structures. We obtain a bound on the number of distinct vertex-transitive self-complementary graphs of prime order , up to isomorphism.     

Sloane's box stacking problem

Recently, Sloane suggested the following problem: We are given n boxes, labeled 1,2,…,n. For i=1,…,n, box i weighs (m-1)i grams (where m?2 is a fixed integer) and box i can support a total weight of i grams. What is the number of different ways to build a single stack of boxes in which no box will be squashed by the weight of the boxes above it? Prior to this generalized problem, Sloane and Sellers solved the case m=2. More recently, Andrews and Sellers solved the case m?3. In this note we give new and simple proofs of the results of Sloane and Sellers and of Andrews and Sellers, using a known connection with m-ary partitions.     

Convergence of a fixed point iteration method for the OSV model

In image processing, image denoising and texture extraction are important problems in which many new methods recently have been developed. One of the most important models is the OSV model [S. Osher, A. Solé, L. Vese, Image decomposition and restoration using total variation minimization and the H^-1 norm, Multiscale Model. Simul. A SIAM Interdisciplinary J. 1(3) (2003) 349-370] which is constructed by the total variation and H^-1 norm. This paper proves the existence of the minimizer of the functional from the OSV model and analyzes the convergence of an iterative method for solving the problems. Our iteration method is constructed by a fixed point iteration on the fourth order partial differential equation from the computation of the associated Euler-Lagrange equation, and the limit of our iterations satisfies the minimizer of the functional from the OSV model. In numerical experiments, we compare the numerical results of our works with those of the ROF model [L.I. Rudin, S. Osher, E. Fatemi, Nonlinear total variation based noise removal algorithms, Phys. D 60 (1992) 259-268].     

Remarks on invariant metrics on Teichmüller space

We make some comparisons concerning the induced infinitesimal Kobayashi metric, the induced Siegel metric, the L² Bergman metric, the Teichmüller metric and the Weil-Petersson metric on the Teichmüller space of a compact Riemann surface of genus g?2. As a consequence, among others, we show that the moduli space has finite volume with respect to the L² Bergman metric. This answers a question raised by Nag in 1989.     

Essential self-adjointness of Dirichlet operators on a path space with Gibbs measures via an SPDE approach

The main objective of this paper is to prove the essential self-adjointness of Dirichlet operators in L²(μ) where μ is a Gibbs measure on an infinite volume path space C(R,Rd). This operator can be regarded as a perturbation of the Ornstein-Uhlenbeck operator by a nonlinearity and corresponds to a parabolic stochastic partial differential equation (= SPDE, in abbreviation) on R. In view of quantum field theory, the solution of this SPDE is called a P₁(?)-time evolution.     

A functional characterization of measures and the Banach-Ulam problem

For a measurable space (Ω,A), let ?_∞(A) be the closure of span{χA:A∈A} in ?_∞(Ω). In this paper we show that a sufficient and necessary condition for a real-valued finitely additive measure μ on (Ω,A) to be countably additive is that the corresponding functional ?μ defined by (for x∈?_∞(A)) is w^*-sequentially continuous. With help of the Yosida-Hewitt decomposition theorem of finitely additive measures, we show consequently that every continuous functional on ?_∞(A) can be uniquely decomposed into the ?₁-sum of a w^*-continuous functional, a purely w^*-sequentially continuous functional and a purely (strongly) continuous functional. Moreover, several applications of the results to measure extension are given.     

A Morita theorem for dual operator algebras

We prove that two dual operator algebras are weak^∗ Morita equivalent in the sense of [D.P. Blecher, U. Kashyap, Morita equivalence of dual operator algebras, J. Pure Appl. Algebra 212 (2008) 2401-2412] if and only if they have equivalent categories of dual operator modules via completely contractive functors which are also weak^∗-continuous on appropriate morphism spaces. Moreover, in a fashion similar to the operator algebra case, we characterize such functors as the module normal Haagerup tensor product with an appropriate weak^∗ Morita equivalence bimodule. We also develop the theory of the W^∗-dilation, which connects the non-selfadjoint dual operator algebra with the W^∗-algebraic framework. In the case of weak^∗ Morita equivalence, this W^∗-dilation is a W^∗-module over a von Neumann algebra generated by the non-selfadjoint dual operator algebra. The theory of the W^∗-dilation is a key part of the proof of our main theorem.     

Estimates of the dilatation function of Beurling-Ahlfors extension

In this paper we estimate the dilatation function of the Beurling-Ahlfors extension in the most general case. By introducing ?h,m-function, we obtain an inequality which is sharp up to a constant.     

Remark on uniqueness of mild solutions to the Navier-Stokes equations

We investigate a limiting uniqueness criterion to the Navier-Stokes equations. We prove that the mild solution is unique under the class , where bmo^-1 is the “critical” space including Lⁿ. As an application of uniqueness theorem, we also consider the local well-posedness of Navier-Stokes equations in bmo^-1.     

Fourier analysis on domains in compact groups

Let Ω be a measurable subset of a compact group G of positive Haar measure. Let be a non-negative function defined on the dual space and let L²(μ) be the corresponding Hilbert space which consists of elements (ξπ)_π∈suppμ satisfying , where ξπ is a linear operator on the representation space of π, and is equipped with the inner product: . We show that the Fourier transform gives an isometric isomorphism from L²(Ω) onto L²(μ) if and only if the restrictions to Ω of all matrix coordinate functions , π∈suppμ, constitute an orthonormal basis for L²(Ω). Finally compact connected Lie groups case is studied.