Special metrics and triality

We investigate a new 8-dimensional Riemannian geometry defined by a generic closed and coclosed 3-form with stabiliser PSU(3), and which arises as a critical point of Hitchin's variational principle. We give a Riemannian characterisation of this structure in terms of invariant spinor-valued 1-forms, which are harmonic with respect to the twisted Dirac operator ? on Δ⊗Λ¹. We establish various obstructions to the existence of topological reductions to PSU(3). For compact manifolds, we also give sufficient conditions for topological PSU(3)-structures that can be lifted to topological SU(3)-structures. We also construct the first known compact example of an integrable non-symmetric PSU(3)-structure. In the same vein, we give a new Riemannian characterisation for topological quaternionic Kähler structures which are defined by an Sp(1)⋅Sp(2)-invariant self-dual 4-form. Again, we show that this form is closed if and only if the corresponding spinor-valued 1-form is harmonic for ? and that these equivalent conditions produce constraints on the Ricci tensor.     

Divergence points of self-similar measures satisfying the OSC

Recently, Barreira and Schmeling (2000) [1] and Chen and Xiong (1999) [2] have shown, that for self-similar measures satisfying the SSC the set of divergence points typically has the same Hausdorff dimension as the support K. It is natural to ask whether we obtain a similar result for self-similar measures satisfying the OSC. However, with only the OSC satisfied, we cannot do most of the work on a symbolic space and then transfer the results to the subsets of Rd, which makes things more difficult. In this paper, by the box-counting principle we show that the set of divergence points has still the same Hausdorff dimension as the support K for self-similar measures satisfying the OSC.     

Identities for the Widder transform and transforms with Bessel function kernels

In the present paper, we consider the classical Widder transform, the H_ν-transform, the K_ν-transform, and the Y_ν-transform. Some identities involving these transforms and many others are given. By making use of these identities, a number of new Parseval-Goldstein type identities are obtained for these and other well-known integral transforms.     

Lineability and algebrability of pathological phenomena in analysis

We show that, in analysis, many pathological phenomena occur more often than one could expect, that is, in a linear or algebraic way. We show this by means of the construction of large algebraic structures (infinite dimensional vector spaces or infinitely generated algebras) enjoying some special or pathological properties.     

Gale duality and Koszul duality

Given a hyperplane arrangement in an affine space equipped with a linear functional, we define two finite-dimensional, noncommutative algebras, both of which are motivated by the geometry of hypertoric varieties. We show that these algebras are Koszul dual to each other, and that the roles of the two algebras are reversed by Gale duality. We also study the centers and representation categories of our algebras, which are in many ways analogous to integral blocks of category O.     

Tractability results for weighted Banach spaces of smooth functions

We study the L_∞-approximation problem for weighted Banach spaces of smooth d-variate functions, where d can be arbitrarily large. We consider the worst case error for algorithms that use finitely many pieces of information from different classes. Adaptive algorithms are also allowed. For a scale of Banach spaces we prove necessary and sufficient conditions for tractability in the case of product weights. Furthermore, we show the equivalence of weak tractability with the fact that the problem does not suffer from the curse of dimensionality.     

The poset structures admitting the extended binary Golay code to be a perfect code

Brualdi et al. [Codes with a poset metric, Discrete Math. 147 (1995) 57-72] introduced the concept of poset codes, and gave an example of poset structure which admits the extended binary Golay code to be a 4-error-correcting perfect P-code. In this paper we classify all of the poset structures which admit the extended binary Golay code to be a 4-error-correcting perfect P-code, and show that there are no posets which admit the extended binary Golay code to be a 5-error-correcting perfect P-code.     

Passivity-based control for Hopfield neural networks using convex representation

This paper considers the problem of passivity-based controller design for Hopfield neural networks. By making use of a convex representation of nonlinearities, a feedback control scheme based on passivity and Lyapunov theory is presented. A criterion for existence of the controller is given in terms of linear matrix inequality (LMI), which can be easily solved by a convex optimization problem. An example and its numerical simulation are given to show the effectiveness of the proposed method.     

Some applications of free Fisher information on frame theory

We introduce the notion of operator-valued free Fisher information with respect to a positive map of a random variable in an operator-valued noncommutative probability space and point out its close relations to the modular frames arising from conditional expectations. Then we can apply this notion on the study of frame theory, especially on the disjointness problem of modular frames arising from conditional expectations.     

Colorings of k-balanced matrices and integer decomposition property of related polyhedra

We show that a class of polyhedra, arising from certain 0,1 matrices introduced by Truemper and Chandrasekaran, has the integer decomposition property. This is accomplished by proving certain coloring properties of these matrices.     

Pruning processes and a new characterization of convex geometries

We provide a new characterization of convex geometries via a multivariate version of an identity that was originally proved, in a special case arising from the k-SAT problem, by Maneva, Mossel and Wainwright. We thus highlight the connection between various characterizations of convex geometries and a family of removal processes studied in the literature on random structures.     

On semi-R-boundedness and its applications

R-Boundedness is a randomized boundedness condition for sets of operators which in recent years has found many applications in the maximal regularity theory of evolution equations, stochastic evolution equations, spectral theory and vector-valued harmonic analysis. However, in some situations additional geometric properties such as Pisier's property (α) are required to guaranty the R-boundedness of a relevant set of operators. In this paper we show that a weaker property called semi-R-boundedness can be used to avoid these geometric assumptions in the context of Schauder decompositions and the H^∞-calculus. Furthermore, we give weaker conditions for stochastic integrability of certain convolutions.     

Exponential asymptotic property of a parallel repairable system with warm standby under common-cause failure

We discuss exponential asymptotic property of the solution of a parallel repairable system with warm standby under common-cause failure. This system can be described by a group of partial differential equations with integral boundary. First we show that the positive contraction C₀-semigroup T(t) [Weiwei Hu, Asymptotic stability analysis of a parallel repairable system with warm standby under common-cause failure, Acta Anal. Funct. Appl. 8 (1) (2006) 5-20] which is generated by the operator corresponding to these equations is a quasi-compact operator. Then by using [Weiwei Hu, Asymptotic stability analysis of a parallel repairable system with warm standby under common-cause failure, Acta Anal. Funct. Appl. 8 (1) (2006) 5-20] that 0 is an eigenvalue of the operator with algebraic index one and the C₀-semigroup T(t) is contraction, we conclude that the spectral bound of the operator is zero. By using the above results the exponential asymptotical stability of the time-dependent solution of the system follows easily.     

Partition and composition matrices

This paper introduces two matrix analogues for set partitions. A composition matrix on a finite set X is an upper triangular matrix whose entries partition X, and for which there are no rows or columns containing only empty sets. A partition matrix is a composition matrix in which an order is placed on where entries may appear relative to one-another.We show that partition matrices are in one-to-one correspondence with inversion tables. Non-decreasing inversion tables are shown to correspond to partition matrices with a row ordering relation. Partition matrices which are s-diagonal are classified in terms of inversion tables. Bidiagonal partition matrices are enumerated using the transfer-matrix method and are equinumerous with permutations which are sortable by two pop-stacks in parallel.We show that composition matrices on X are in one-to-one correspondence with (2+2)-free posets on X. Also, composition matrices whose rows satisfy a column-ordering relation are shown to be in one-to-one correspondence with parking functions. Finally, we show that pairs of ascent sequences and permutations are in one-to-one correspondence with (2+2)-free posets whose elements are the cycles of a permutation, and use this relation to give an expression for the number of (2+2)-free posets on {1,…,n}.     

Filling polygonal holes with minimal energy surfaces on Powell-Sabin type triangulations

In this paper we present two different methods for filling in a hole in an explicit 3D surface, defined by a smooth function f in a part of a polygonal domain D⊂R². We obtain the final reconstructed surface over the whole domain D. We do the filling in two different ways: discontinuous and continuous. In the discontinuous case, we fill the hole with a function in a Powell-Sabin spline space that minimizes a linear combination of the usual seminorms in an adequate Sobolev space, and approximates (in the least squares sense) the values of f and those of its normal derivatives at an adequate set of points. In the continuous case, we will first replace f outside the hole by a smoothing bivariate spline s_f, and then we fill the hole also with a Powell-Sabin spline minimizing a linear combination of given seminorms. In both cases, we obtain existence and uniqueness of solutions and we present some graphical examples, and, in the continuous case, we also give a local convergence result.     

Weighted geometric discrepancies and numerical integration on reproducing kernel Hilbert spaces

We extend the notion of L₂-B-discrepancy introduced in [E. Novak, H. Wo?niakowski, L₂ discrepancy and multivariate integration, in: W.W.L. Chen, W.T. Gowers, H. Halberstam, W.M. Schmidt, and R.C. Vaughan (Eds.), Analytic Number Theory. Essays in Honour of Klaus Roth, Cambridge University Press, Cambridge, 2009, pp. 359-388] to what we shall call weighted geometric L₂-discrepancy. This extension enables us to consider weights in order to moderate the importance of different groups of variables, as well as to consider volume measures different from the Lebesgue measure and classes of test sets different from measurable subsets of Euclidean spaces.We relate the weighted geometric L₂-discrepancy to numerical integration defined over weighted reproducing kernel Hilbert spaces and settle in this way an open problem posed by Novak and Wo?niakowski.Furthermore, we prove an upper bound for the numerical integration error for cubature formulas that use admissible sample points. The set of admissible sample points may actually be a subset of the integration domain of measure zero. We illustrate that particularly in infinite-dimensional numerical integration it is crucial to distinguish between the whole integration domain and the set of those sample points that actually can be used by the algorithms.     

Comments on abstract convexity structures on topological spaces

All results in “Some properties of abstract convexity structures on topological spaces” by S.-w. Xiang and H. Yang [S.-w. Xiang, H. Yang, Some properties of abstract convexity structures on topological spaces, Nonlinear Analysis 67 (2007) 803-808] and “A further characteristic of abstract convexity structures on topological spaces” by S.-w. Xiang and S. Xia [S.-w. Xiang, S. Xia, A further characteristic of abstract convexity structures on topological spaces, J. Math. Anal. Appl. 335 (2007) 716-723] are shown to be consequences of known ones or can be stated in more general forms.     

Spectrum and analytical indices of the C-algebra of Wiener-Hopf operators

We study multivariate generalisations of the classical Wiener-Hopf algebra, which is the C^∗-algebra generated by the Wiener-Hopf operators, given by convolutions restricted to convex cones. By the work of Muhly and Renault, this C^∗-algebra is known to be isomorphic to the reduced C^∗-algebra of a certain restricted action groupoid, given by the action of Euclidean space on a certain compactification. Using groupoid methods, we construct composition series for the Wiener-Hopf C^∗-algebra by a detailed study of this compactification. We compute the spectrum, and express homomorphisms in K-theory induced by the symbol maps which arise by the subquotients of the composition series in analytical terms. Namely, these symbols maps turn out to be given by an analytical family index of a continuous family of Fredholm operators. In a subsequent paper, we also obtain a topological expression of these indices.     

On a generalization of the Evans Conjecture

The Evans Conjecture states that a partial Latin square of order n with at most n-1 entries can be completed. In this paper we generalize the Evans Conjecture by showing that a partial r-multi Latin square of order n with at most n-1 entries can be completed. Using this generalization, we confirm a case of a conjecture of Häggkvist.