Generalized Cartan Matrices Associated to k-th Yau Algebras of Singularities and Characterization Theorem

Author(s):  
Naveed Hussain ◽  
Stephen S.-T. Yau ◽  
Huaiqing Zuo
Author(s):  
M Pourmahdian ◽  
R Zoghifard

Abstract This paper provides some model-theoretic analysis for probability (modal) logic ($PL$). It is known that this logic does not enjoy the compactness property. However, by passing into the sublogic of $PL$, namely basic probability logic ($BPL$), it is shown that this logic satisfies the compactness property. Furthermore, by drawing some special attention to some essential model-theoretic properties of $PL$, a version of Lindström characterization theorem is investigated. In fact, it is verified that probability logic has the maximal expressive power among those abstract logics extending $PL$ and satisfying both the filtration and disjoint unions properties. Finally, by alternating the semantics to the finitely additive probability models ($\mathcal{F}\mathcal{P}\mathcal{M}$) and introducing positive sublogic of $PL$ including $BPL$, it is proved that this sublogic possesses the compactness property with respect to $\mathcal{F}\mathcal{P}\mathcal{M}$.


2010 ◽  
Vol 88 (1) ◽  
pp. 93-102 ◽  
Author(s):  
MARGARYTA MYRONYUK

AbstractLet X be a countable discrete abelian group with automorphism group Aut(X). Let ξ1 and ξ2 be independent X-valued random variables with distributions μ1 and μ2, respectively. Suppose that α1,α2,β1,β2∈Aut(X) and β1α−11±β2α−12∈Aut(X). Assuming that the conditional distribution of the linear form L2 given L1 is symmetric, where L2=β1ξ1+β2ξ2 and L1=α1ξ1+α2ξ2, we describe all possibilities for the μj. This is a group-theoretic analogue of Heyde’s characterization of Gaussian distributions on the real line.


1999 ◽  
Vol 51 (3) ◽  
pp. 488-505 ◽  
Author(s):  
W. D. Burgess ◽  
Manuel Saorín

AbstractThis article studies algebras R over a simple artinian ring A, presented by a quiver and relations and graded by a semigroup Σ. Suitable semigroups often arise from a presentation of R. Throughout, the algebras need not be finite dimensional. The graded K0, along with the Σ-graded Cartan endomorphisms and Cartan matrices, is examined. It is used to study homological properties.A test is found for finiteness of the global dimension of a monomial algebra in terms of the invertibility of the Hilbert Σ-series in the associated path incidence ring.The rationality of the Σ-Euler characteristic, the Hilbert Σ-series and the Poincaré-Betti Σ-series is studied when Σ is torsion-free commutative and A is a division ring. These results are then applied to the classical series. Finally, we find new finite dimensional algebras for which the strong no loops conjecture holds.


2011 ◽  
Vol 337 (1) ◽  
pp. 345-362 ◽  
Author(s):  
Benjamin Sambale
Keyword(s):  

2017 ◽  
Vol 24 (3) ◽  
pp. 429-437
Author(s):  
Dong-Soo Kim ◽  
Young Ho Kim ◽  
Hyeong-Kwan Ju ◽  
Kyu-Chul Shim

AbstractArchimedes knew that for a point P on a parabola X and a chord AB of X parallel to the tangent of X at P, the area of the region bounded by the parabola X and chord AB is four thirds of the area of the triangle {\bigtriangleup ABP}. Recently, the first two authors have proved that this fact is the characteristic property of parabolas.In this paper, we study strictly locally convex curves in the plane {{\mathbb{R}}^{2}}. As a result, generalizing the above mentioned characterization theorem for parabolas, we present two conditions, which are necessary and sufficient, for a strictly locally convex curve in the plane to be an open arc of a parabola.


Sign in / Sign up

Export Citation Format

Share Document