Fiat categorification of the symmetric inverse semigroup $$\textit{IS}_n$$ and the semigroup $$F^*_n$$Fn∗

Starting from the symmetric group \(S_n\), we construct two fiat 2-categories. One of them can be viewed as the fiat “extension” of the natural 2-category associated with the symmetric inverse semigroup (considered as an ordered semigroup with respect to the natural order). This 2-category provides a fiat categorification for the integral semigroup algebra of the symmetric inverse semigroup. The other 2-category can be viewed as the fiat “extension” of the 2-category associated with the maximal factorizable subsemigroup of the dual symmetric inverse semigroup (again, considered as an ordered semigroup with respect to the natural order). This 2-category provides a fiat categorification for the integral semigroup algebra of the maximal factorizable subsemigroup of the dual symmetric inverse semigroup.     

2-Representations and associated coalgebra 1-morphisms for locally wide finitary 2-categories

We define locally wide finitary 2-categories by relaxing the definition of finitary 2-categories to allow infinitely many objects and isomorphism classes of 1-morphisms and infinite dimensional hom-spaces of 2-morphisms. After defining related concepts including transitive 2-representations in this setting, we provide a new method of constructing coalgebra 1-morphisms associated to transitive 2-representations of locally wide weakly fiat 2-categories, and demonstrate that any such transitive 2-representation is equivalent to a certain subcategory of the category of comodule 1-morphisms over the coalgebra 1-morphism. We finish the paper by examining two classes of examples of locally wide weakly fiat 2-categories: 2-categories associated to certain classes of infinite quivers, and singular Soergel bimodules associated to Coxeter groups with finitely many simple reflections.     

关于所有强平坦右S-系是正则系的幺半群(英)

本论文考虑了所有强平坦右S-系是正则系的幺半群的刻画,证明了所有强平坦右S-系是正则S-系当且仅当S是右PSF幺半群并且S的每一个左coilpasible子幺半群包含左零元．该结果对Kilp和Knauer在文献[7]中的问题给出了一个新的回答．     

Integral formulae for a Riemannian manifold with two orthogonal distributions

We obtain a series of new integral formulae for a distribution of arbitrary codimension (and its orthogonal complement) given on a closed Riemannian manifold, which start from the formula by Walczak (1990) and generalize ones for foliations by several authors. For foliations on space forms our formulae reduce to the classical type formulae by Brito-Langevin-Rosenberg (1981) and Brito-Naveira (2000). The integral formulae involve the conullity tensor of a distribution, and certain components of the curvature tensor. The formulae also deal with a set of arbitrary functions depending on the scalar invariants of the co-nullity tensor. For a special choice of the functions our formulae involve the Newton transformations of the co-nullity tensor.     

η-Invariant and Flat Vector Bundles

We present an alternate definition of the mod Z component of the AtiyahPatodi-Singer η invariant associated to (not necessary unitary) fiat vector bundles, which identifies explicitly its real and imaginary parts. This is done by combining a deformation of flat connections introduced in a previous paper with the analytic continuation procedure appearing in the original article of Atiyah, Parodi and Singer.     

UNILATERAL EIGENVALUE PROBLEMS FOR NONLINEARLY ELASTIC PLATES： AN APPROACH VIA PSEUDO-MONOTONE OPERATORS

gi.TheTOpologicalDegreeforGeneralizedMonotoneOperatorsMonotoneoperatortheoryisoftenanefficienttoolforprovingtheexistenceofsolutionstononlinearProblems.Inparticular,thepseudo-monotoneoperatorsintroducedbyBrezis[2]areveryusefulforstudyingnonlinearellipticproblems.Weconsiderherethefollowingclassesofmappingsofgeneralizedmonotonetype.(QM)=theclassofquasi-mollotoneoperators,(S )=theclassofoperatorsoftype(S ),(PM)=theclassofpseudthmonotoneoperators,(LS)=theclassofLeray-Schauderoperators(compac…     

A Cheeger-Müller Theorem for Symmetric Bilinear Torsions

The authors establish a Cheeger-Müller type theorem for the complex valued analytic torsion introduced by Burghelea and Hailer for fiat vector bundles carrying non- degenerate symmetric bilinear forms. As a consequence, they prove the Burghelea-Haller conjecture in full generality, which gives an analytic interpretation of (the square of) the Turaev torsion.     

A Cheeger-M¨uller Theorem for Symmetric Bilinear Torsions

The authors establish a Cheeger-Müller type theorem for the complex valued analytic torsion introduced by Burghelea and Hailer for fiat vector bundles carrying nondegenerate symmetric bilinear forms. As a consequence, they prove the Burghelea-Haller conjecture in full generality, which gives an analytic interpretation of （the square of） the Turaev torsion.     

Gorenstein n-X-Injective and n-X-Flat Modules with Respect to a Special Finitely Presented Module

Let R be a ring,X a class of R-modules and n ≥ 1 an integer.We intro-duce the concepts of Gorenstein n-X-injective and n-X-flat modules via special finitely presented modules.Besides,we obtain some equivalent properties of these modules on n-X-coherent rings.Then we investigate the relations among Gorenstein n-X-injective,n-X-flat,injective and fiat modules on X-FC-rings (i.e.,self n-X-injective and n-X-coherent rings).Several known results are generalized to this new context.     

计量逻辑学中的雪崩逻辑公式

将密码学中满足严格雪崩准则的布尔函数的概念引入到计量逻辑学之中,提出了雪崩逻辑公式的概念,并研究了雪崩逻辑公式的真度及其性质。证明了至少含有三个原子公式的雪崩逻辑公式的真度之集为H1={k/2n-12n-3≤k≤3×2n-3;n=3,4,…},在此基础上,通过引入函数ξ建立了n(n≥3)元雪崩布尔函数个数的表达式,给出了雪崩逻辑公式的构造方法。最后,研究了反射变换下k阶雪崩逻辑公式的性质。     

Normal-mode attenuation and group velocity in shallow water

The computational methods of the mode attenuation and group,velocity in shallow water are discussed and two novel modified weighted integral formulae are presented. The accuracy of the modified weighted integral formulae, cycle distance formulae and weighted integral formulae in the Pekeris channel is compared theoretically and numerically. Transmission losses are calculated by those three kinds of formulae in a shallow water. Theoretical analyses and numerical results show that the modified weighted integral formulae provide higher accuracy than the weighted integral formulae. So the modified weighted integral formulae can be widely used for computing the shallow water acoustic field. Project supported by the National Natural Science Foundation of China (Grant No. 19574061).     

Interpolatory quadrature formulae with Chebyshev abscissae of the third or fourth kind

We consider interpolatory quadrature formulae, relative to the Legendre weight function on [−1, 1], having as nodes the zeros of the nth-degree Chebyshev polynomial of the third or fourth kind. Szegö has shown that the weights of these formulae are all positive. We derive explicit formulae for the weights, and subsequently use them to establish the convergence of the quadrature formulae for functions having a monotonic singularity at one or both endpoints of [−1, 1]. Moreover, we generate two new quadrature formulae, by adding 1, −1 to the sets of nodes considered previously, and show that these new formulae have almost all weights positive, exceptions occurring only among the weights corresponding to 1, −1. Also, we determine the precise degree of exactness of all the quadrature formulae in consideration, we obtain asymptotically optimal error bounds for these formulae, and show that almost all of them are nondefinite, exceptions occurring only among the formulae with a small number of nodes.     

Cubic pencils of lines and bivariate interpolation

Cubic pencils of lines are classified up to projectivities. Explicit formulae for the addition of lines on the set of nonsingular lines of the pencils are given. These formulae can be used for constructing planar generalized principal lattices, which are sets of points giving rise to simple Lagrange formulae in bivariate interpolation. Special attention is paid to the irreducible nonsingular case, where elliptic functions are used in order to express the addition in a natural form.     

Polynomial interpolation in several variables,cubature formulae,and ideals[*]Supported by the National Science Foundation under Grant DMS-9802265.

We discuss polynomial interpolation in several variables from a polynomial ideal point of view. One of the results states that if I is a real polynomial ideal with real variety and if its codimension is equal to the cardinality of its variety, then for each monomial order there is a unique polynomial that interpolates on the points in the variety. The result is motivated by the problem of constructing cubature formulae, and it leads to a theorem on cubature formulae which can be considered an extension of Gaussian quadrature formulae to several variables. This revised version was published online in June 2006 with corrections to the Cover Date.     

Ray transforms in hyperbolic geometry

We derive explicit inversion formulae for the attenuated geodesic and horocyclic ray transforms of functions and vector fields on two-dimensional manifolds equipped with the hyperbolic metric. The inversion formulae are based on a suitable complexification of the associated vector fields so as to recast the reconstruction as a Riemann–Hilbert problem. The inversion formulae have a very similar structure to their counterparts in Euclidean geometry and may therefore be amenable to efficient discretizations and numerical inversions. An important field of application is geophysical imaging when absorption effects are accounted for.     

Simple transitive 2-representations and Drinfeld center for some finitary 2-categories

We classify all simple transitive 2-representations for two classes of finitary 2-categories associated with tree path algebras and also for one class of fiat 2-categories associated with truncated polynomial rings. Additionally, we compute the Drinfeld centers for all these 2-categories.     

The distribution of points on the sphere and corresponding cubature formulae

In applications, for instance in optics and astrophysics, thereis a need for high-accuracy integration formulae for functionson the sphere. To construct better formulae than previouslyused, almost equidistantly spaced nodes on the sphere and weightsbelonging to these nodes are required. This problem is closelyrelated to an optimal dispersion problem on the sphere and tothe theories of spherical designs and multivariate Gauss quadratureformulae. We propose a two-stage algorithm to compute optimal point locationson the unit sphere and an appropriate algorithm to calculatethe corresponding weights of the cubature formulae. Points aswell as weights are computed to high accuracy. These algorithmscan be extended to other integration problems. Numerical examplesshow that the constructed formulae yield impressively smallintegration errors of up to 10^-12.     

Finite formulae for the premium of the general reinsurance treaty based on ordered claims

The general reinsurance treaty based on ordered claims, as defined in Kremer (1982, 1984a,b), is investigated and general premium formulae are given for a finite collective. Under additional assumptions simple formulae are stated for the net premium. The content of the paper is mainly of theoretical interest.     

数值积分的双侧逼近及应用

通过分析基本数值求积公式的双侧逼近现象,利用加权平均的方法构造出了比原来求积公式至少高二次代数精度新的混合型求积公式,使得积分近似值精度得到大幅度提高,并给出应用它们求数值积分的具体实例.     

一种新的二维区域上嵌入式数值积分公式构造方法

The purpose of this paper is to study a new strategy to construct embedded cubature formulae over two-dimensional regions.A new kind of embedded cubature formulae with some nodes along the selected algebraic curve is constructed.Some examples on the unit disk are presented to illustrate the validity of this strategy.