Koszul duality of En-operads

The goal of this paper is to prove a Koszul duality result for E _n -operads in differential graded modules over a ring. The case of an E ₁-operad, which is equivalent to the associative operad, is classical. For n > 1, the homology of an E _n -operad is identified with the n-Gerstenhaber operad and forms another well-known Koszul operad. Our main theorem asserts that an operadic cobar construction on the dual cooperad of an E _n -operad E_n{\mathtt{E}_n} defines a cofibrant model of E_n{\mathtt{E}_n}. This cofibrant model gives a realization at the chain level of the minimal model of the n-Gerstenhaber operad arising from Koszul duality. Most models of E _n -operads in differential graded modules come in nested sequences E₁ ì E₂ ì ? ì E_￥{\mathtt{E}_1\subset\mathtt{E}_2\subset\cdots\subset\mathtt{E}_{\infty}} homotopically equivalent to the sequence of the chain operads of little cubes. In our main theorem, we also define a model of the operad embeddings E_n-1\hookrightarrowE_n{\mathtt{E}_{n-1}\hookrightarrow\mathtt{E}_n} at the level of cobar constructions.     

Randomly generating test problems for fuzzy relational equations

Fuzzy relational equations play an important role in fuzzy set theory and fuzzy logic systems. To compare and evaluate the accuracy and efficiency of various solution methods proposed for solving systems of fuzzy relational equations as well as the associated optimization problems, a test problem random generator for systems of fuzzy relational equations is needed. In this paper, procedures for generating test problems of fuzzy relational equations with the sup-T{\mathcal{T}} composition are proposed for the cases of sup-T_M{\mathcal{T}_M}, sup-T_P{\mathcal{T}_P}, and sup-T_L{\mathcal{T}_L } compositions. It is shown that the test problems generated by the proposed procedures are consistent. Some properties are discussed to show that the proposed procedures randomly generate systems of fuzzy relational equations with various number of minimal solutions. Numerical examples are included to illustrate the proposed procedures.     

Reproducible statistical analysis with multiple languages

This paper describes the StatWeave{{\tt StatWeave}} system for making reproducible statistical analyses. StatWeave{{\tt StatWeave}} differs from other systems for reproducible analysis in several ways. The two main differences are: (1) Several statistics programs can be in used in the same document. (2) Documents can be prepared using OpenOffice or L^AT_EX{\hbox{\LaTeX}}. The main part of this paper is an example showing how to use R{{\tt R}} and SAS{{\tt SAS}} together in an OpenOffice text document. The paper also contains some practical considerations on the use of literate programming in statistics.     

Self-similar solutions and large time asymptotics for the dissipative quasi-geostrophic equation

We analyze the well-posedness of the initial value problem for the dissipative quasi-geostrophic equations in the subcritical case. Mild solutions are obtained in several spaces with the right homogeneity to allow the existence of self-similar solutions. While the only small self-similar solution in the strong L^p{\cal L}^{p} space is the null solution, infinitely many self-similar solutions do exist in weak- L^p{\cal L}^{p} spaces and in a recently introduced [7] space of tempered distributions. The asymptotic stability of solutions is obtained in both spaces, and as a consequence, a criterion of self-similarity persistence at large times is obtained.     

Covering and packing in \Bbb Zn{\Bbb Z}^n and \Bbb Rn{\Bbb R}^n, (I)

Given a finite subset A{\cal A} of an additive group \Bbb G{\Bbb G} such as \Bbb Zⁿ{\Bbb Z}^n or \Bbb Rⁿ{\Bbb R}^n , we are interested in efficient covering of \Bbb G{\Bbb G} by translates of A{\cal A} , and efficient packing of translates of A{\cal A} in \Bbb G{\Bbb G} . A set S ì \Bbb G{\cal S} \subset {\Bbb G} provides a covering if the translates A + s{\cal A} + s with s ? Ss \in {\cal S} cover \Bbb G{\Bbb G} (i.e., their union is \Bbb G{\Bbb G} ), and the covering will be efficient if S{\cal S} has small density in \Bbb G{\Bbb G} . On the other hand, a set S ì \Bbb G{\cal S} \subset {\Bbb G} will provide a packing if the translated sets A + s{\cal A} + s with s ? Ss \in {\cal S} are mutually disjoint, and the packing is efficient if S{\cal S} has large density. In the present part (I) we will derive some facts on these concepts when \Bbb G = \Bbb Zⁿ{\Bbb G} = {\Bbb Z}^n , and give estimates for the minimal covering densities and maximal packing densities of finite sets A ì \Bbb Zⁿ{\cal A} \subset {\Bbb Z}^n . In part (II) we will again deal with \Bbb G = \Bbb Zⁿ{\Bbb G} = {\Bbb Z}^n , and study the behaviour of such densities under linear transformations. In part (III) we will turn to \Bbb G = \Bbb Rⁿ{\Bbb G} = {\Bbb R}^n .     

On constructing total orders and solving vector optimization problems with total orders

In this paper, we introduce a construction method of total ordering cone on \mathbbRⁿ{\mathbb{R}^n} . It is shown that any total ordering cone on \mathbbRⁿ{\mathbb{R}^n} is isomorphic to the cone \mathbbRⁿ_lex{\mathbb{R}^n_{lex}} . Existence of a total ordering cone that contain given cone with a compact base is shown. By using this cone, a solving method of vector and set valued optimization problems is presented.     

Tameness of Pseudovariety Joins Involving \sf R{\sf R}

In this paper, we establish several decidability results for pseudovariety joins of the form \sf Vú\sf W{\sf V}\vee{\sf W} , where \sf V{\sf V} is a subpseudovariety of \sf J{\sf J} or the pseudovariety \sf R{\sf R} . Here, \sf J{\sf J} (resp. \sf R{\sf R} ) denotes the pseudovariety of all J{\cal J} -trivial (resp. ?{\cal R} -trivial) semigroups. In particular, we show that the pseudovariety \sf Vú\sf W{\sf V}\vee{\sf W} is (completely) κ-tame when \sf V{\sf V} is a subpseudovariety of \sf J{\sf J} with decidable κ-word problem and \sf W{\sf W} is (completely) κ-tame. Moreover, if \sf W{\sf W} is a κ-tame pseudovariety which satisfies the pseudoidentity x₁ ⋯ x_ry^ω+1zt^ω = x₁ ⋯ x_ryzt^ω, then we prove that \sf Rú\sf W{\sf R}\vee{\sf W} is also κ-tame. In particular the joins \sf Rú\sf Ab{\sf R}\vee{\sf Ab} , \sf Rú\sf G{\sf R}\vee{\sf G} , \sf Rú\sf OCR{\sf R}\vee{\sf OCR} , and \sf Rú\sf CR{\sf R}\vee{\sf CR} are decidable.     

A primer on disease mapping and ecological regression using {\texttt{INLA}}

Spatial and spatio-temporal disease mapping models are widely used for the analysis of registry data and usually formulated in a hierarchical Bayesian framework. Explanatory variables can be included by a so-called ecological regression. It is possible to assume both a linear and a nonparametric association between disease incidence and the explanatory variable. Integrated nested Laplace approximations (INLA) can be used as a tool for Bayesian inference. INLA is a promising alternative to Markov chain Monte Carlo (MCMC) methods which provides very accurate results within short computational time. It is shown in this paper, how parameter estimates for well-known spatial and spatio-temporal models can be obtained by running INLA directly in R{\texttt{R}} using the package INLA{\texttt{INLA}}. Selected R{\texttt{R}} code is shown. An emphasis is given to the inclusion of an explanatory variable. Cases of Coxiellosis among Swiss cows from 2005 to 2008 are used for illustration. The number of stillborn calves is included as time-varying covariate. Additionally, various aspects of INLA such as model choice criteria, computer time, accuracy of the results and usability of the R{\texttt{R}} package are discussed.     

The Variety of Near-Rings is Generated by Its Finite Members

We show that the variety of near-rings and the variety of zero-symmetric near-rings are both generated by their finite members. We show this in a more general context: if a variety V{\cal V} is generated by a class of algebras F{\cal F} , then the variety of V{\cal V} -composition algebras is generated by the class of all full function algebras on direct products of finitely many copies of algebras in F{\cal F} .     

Witt’s theorem in abstract geometric algebra

In an earlier paper of the author, a version of the Witt’s theorem was obtained within a specific subcategory of the category of A{\mathcal A}-modules: the full subcategory of convenient A{\mathcal A}-modules. A further investigation yields two more versions of the Witt’s theorem by revising the notion of convenient A{\mathcal A}-modules. For the first version, the A{\mathcal A}-bilinear form involved is either symmetric or antisymmetric, and the two isometric free sub-A{\mathcal A}-modules, the isometry between which may extend to an isometry of the non-isotropic convenient A{\mathcal A}-module concerned onto itself, are assumed pre-hyperbolic. On the other hand, for the second version, the A{\mathcal A}-bilinear form defined on the non-isotropic convenient A{\mathcal A}-module involved is set to be symmetric, and the two isometric free sub-A{\mathcal A}-modules, whose orthogonals are to be proved isometric, are assumed strongly non-isotropic and disjoint.     

A Noncommutative Version of <Emphasis Type="Italic">H</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> and Characterizations of Subdiagonal Algebras

Let M{\mathcal M} be a σ-finite von Neumann algebra and \mathfrak A{\mathfrak A} a maximal subdiagonal algebra of M{\mathcal M} with respect to a faithful normal conditional expectation F{\Phi} . Based on Haagerup’s noncommutative L ^p space L^p(M){L^p(\mathcal M)} associated with M{\mathcal M} , we give a noncommutative version of H ^p space relative to \mathfrak A{\mathfrak A} . If h ₀ is the image of a faithful normal state j{\varphi} in L¹(M){L^1(\mathcal M)} such that j°F = j{\varphi\circ \Phi=\varphi} , then it is shown that the closure of {\mathfrak Ah₀^\frac1p}{\{\mathfrak Ah_0^{\frac1p}\}} in L^p(M){L^p(\mathcal M)} for 1 ≤ p < ∞ is independent of the choice of the state preserving F{\Phi} . Moreover, several characterizations for a subalgebra of the von Neumann algebra M{\mathcal M} to be a maximal subdiagonal algebra are given.     

The Asymptotic Schottky Problem

Let ${\mathcal{M}_g}Let M_g{\mathcal{M}_g} denote the moduli space of compact Riemann surfaces of genus g and let A_g{\mathcal{A}_g} be the moduli space of principally polarized abelian varieties of dimension g. Let J : M_g ? A_g{J : \mathcal{M}_g \rightarrow \mathcal{A}_g} be the map which associates to a Riemann surface its Jacobian. The map J is injective, and the image J_g : = J(M_g){\mathcal{J}_g := J(\mathcal{M}_g)} is contained in a proper subvariety of A_g{\mathcal{A}_g} when g ≥  4. The classical and long-studied Schottky problem is to characterize the Jacobian locus J_g{\mathcal{J}_g} in A_g{\mathcal{A}_g}. In this paper we address a large scale version of this problem posed by Farb and called the coarse Schottky problem: What does J_g{\mathcal{J}_g} look like “from far away”, or how “dense” is J_g{\mathcal{J}_g} in the sense of coarse geometry? The large scale geometry of A_g{\mathcal{A}_g} is encoded in its asymptotic cone, Cone_￥(A_g){{\rm Cone}_\infty(\mathcal{A}_g)}, which is a Euclidean simplicial cone of real dimension g. Our main result asserts that the Jacobian locus J_g{\mathcal{J}_g} is “coarsely dense” in A_g{\mathcal{A}_g}, which implies that the subset of Cone_￥(A_g){{\rm Cone}_\infty(\mathcal{A}_g)} determined by J_g{\mathcal{J}_g} actually coincides with this cone. The proof shows that the Jacobian locus of hyperelliptic curves is coarsely dense in A_g{\mathcal{A}_g} as well. We also study the boundary points of the Jacobian locus J_g{\mathcal{J}_g} in A_g{\mathcal{A}_g} and in the Baily–Borel and the Borel–Serre compactification. We show that for large genus g the set of boundary points of J_g{\mathcal{J}_g} in these compactifications is “small”.     

New spaces of functions and hyperfunctions for Hankel transforms and convolutions

In this paper we study the Hankel transformation and convolution on certain spaces G_e{\cal G}_{e} of entire functions and its dual G_e￠{\cal G}_{e}{\prime} that is a space of hyperfunctions and contains the (even)-Schwartz space S _e ′. We prove that the Hankel transform is an automorphism of G_e￠{\cal G}_{e}{\prime} . Also the Hankel convolutors of G_e￠{\cal G}_{e}{\prime} are investigated.     

Global minimization using an Augmented Lagrangian method with variable lower-level constraints

A novel global optimization method based on an Augmented Lagrangian framework is introduced for continuous constrained nonlinear optimization problems. At each outer iteration k the method requires the ${\varepsilon_{k}}A novel global optimization method based on an Augmented Lagrangian framework is introduced for continuous constrained nonlinear optimization problems. At each outer iteration k the method requires the e_k{\varepsilon_{k}} -global minimization of the Augmented Lagrangian with simple constraints, where e_k ? e{\varepsilon_k \to \varepsilon} . Global convergence to an e{\varepsilon} -global minimizer of the original problem is proved. The subproblems are solved using the αBB method. Numerical experiments are presented.     

Balance in Stable Categories

We study when the stable category ${\mathcal A}/\langle{\mathcal T}\rangleWe study when the stable category A/áT?{\mathcal A}/\langle{\mathcal T}\rangle of an abelian category A{\mathcal A} modulo a full additive subcategory T{\mathcal T} is balanced and, in case T{\mathcal T} is functorially finite in A{\mathcal A}, we study a weak version of balance for A/áT?{\mathcal A}/\langle{\mathcal T}\rangle. Precise necessary and sufficient conditions are given in case T{\mathcal T} is either a Serre class or a class consisting of projective objects. The results in this second case apply very neatly to (generalizations of) hereditary abelian categories.     

An Algorithm to Find the Lineality Space of the Positive Hull of a Set of Vectors

The positive hull of a finite set of vectors, V{\cal V}, in d-dimensional space may or may not contain a lineality space L{\cal L}. This article presents an algorithm that identifies the vectors of V{\cal V} that belong to L{\cal L}. This is done by means of a sequence of supporting hyperplanes because every supporting hyperplane of the positive hull of V{\cal V} contains L{\cal L}. Computational results show the effectiveness of the algorithm, which is compared to the best procedure currently available (to the best knowledge of the author) that solves the same problem. The algorithm introduced here is especially efficient in the case of large problems, where cardinality and/or dimensions are large.     

Characterizations of Bent and Almost Bent Function on {\mathbb{Z}_p^2}

Bent and almost-bent functions on \mathbbZ_p²{\mathbb{Z}_p^2} are studied in this paper. By calculating certain exponential sum and using a technique due to Hou (Finite Fields Appl 10:566–582, 2004), we obtain a degree bound for quasi-bent functions, and prove that almost-bent functions on \mathbbZ_p²{\mathbb{Z}_p^2} are equivalent to a degenerate quadratic form. From the viewpoint of relative difference sets, we also characterize bent functions on \mathbbZ_p²{\mathbb{Z}_p^2} in two classes of M{\mathcal{M}} ’s and PS{\mathcal{PS}} ’s, and show that the graph set corresponding to a bent function on \mathbbZ_p²{\mathbb{Z}_p^2} can be written as the sum of a graph set of M{\mathcal{M}} ’s type bent function and another group ring element. By using our characterization and some technique of permutation polynomial, we obtain the result: a bent function must be of M{\mathcal{M}} ’s type if its corresponding set contains more than (p − 3)/2 flats. A problem proposed by Ma and Pott (J Algebra 175:505–525, 1995) is therefore partially answered.     

On the structure of convex sets with symmetries

Asymmetry of a compact convex body L ì Rⁿ{\mathcal L \subset {\bf R}^n} viewed from an interior point O{\mathcal O} can be measured by considering how far L{\mathcal L} is from its inscribed simplices that contain O{\mathcal O}. This leads to a measure of symmetry s(L, O){\sigma(\mathcal L, \mathcal O)}. The interior of L{\mathcal L} naturally splits into regular and singular sets, where the singular set consists of points O{\mathcal O} with largest possible s(L, O){\sigma(\mathcal L, \mathcal O)}. In general, to calculate the singular set of a compact convex body is difficult. In this paper we determine a large subset of the singular set in centrally symmetric compact convex bodies truncated by hyperplane cuts. As a function of the interior point O{\mathcal O}, s(L, .){\sigma(\mathcal L, .)} is concave on the regular set. It is natural to ask to what extent does concavity of s(L, .){\sigma(\mathcal L, .)} extend to the whole (interior) of L{\mathcal L}. It has been shown earlier that in dimension two, s(L, .){\sigma(\mathcal L, .)} is concave on L{\mathcal L}. In this paper, we show that in dimensions greater than two, for a centrally symmetric compact convex body L{\mathcal L}, s(L, .){\sigma(\mathcal L, .)} is a non-concave function provided that L{\mathcal L} has a codimension one simplicial intersection. This is the case, for example, for the n-dimensional cube, n ≥ 3. This non-concavity result relies on the fact that a centrally symmetric compact convex body has no regular points.     

Embedding metric spaces into normed spaces and estimates of metric capacity

Let M^d{\cal M}^d be an arbitrary real normed space of finite dimension d ≥ 2. We define the metric capacity of M^d{\cal M}^d as the maximal m ? \Bbb Nm \in {\Bbb N} such that every m-point metric space is isometric to some subset of M^d{\cal M}^d (with metric induced by M^d{\cal M}^d ). We obtain that the metric capacity of M^d{\cal M}^d lies in the range from 3 to ë\frac32d û+1\left\lfloor\frac{3}{2}d\right\rfloor+1 , where the lower bound is sharp for all d, and the upper bound is shown to be sharp for d ∈ {2, 3}. Thus, the unknown sharp upper bound is asymptotically linear, since it lies in the range from d + 2 to ë\frac32d û+1\left\lfloor\frac{3}{2}d\right\rfloor+1 .