In this paper, we present a hypergraph-based inference method for conditional independence. Our method allows us to obtain several interesting results on graph combination. In particular, our hypergraph approach allows us to strengthen one result obtained in a conventional graph-based approach. We also introduce a new inference axiom, called combination, of which the contraction axiom is a spec...

1 Three Axioms for a Determinant Function Let d be a scalar-valued function on the space Mn×n of all n×n matrices. Let A1, A2, . . . , An be the n rows of an n×n matrix A. We will denote the value d(A) of A under the function d as d(A) = d(A1, A2, . . . , An), indicating that d is a scalar-valued function of n n-dimensional row vectors A1, A2, . . . , An. The scalar-valued function d is called ...

We describe a completely algebraic axiom system for intertwining operators of vertex algebra modules, using algebraic flat connections, thus formulating the concept of a tree algebra. Using the Riemann-Hilbert correspondence, we further prove that a vertex tensor category in the sense of Huang and Lepowsky gives rise to a tree algebra over C. We also show that the chiral WZW model of a simply c...

We introduce the Bounded Axiom A Forcing Axiom(BAAFA). It turns out that it is equiconsistent with the existence of a regular Σ2-correct cardinal and hence also equiconsistent with BPFA. Furthermore we show that, if consistent, it does not imply the Bounded Proper Forcing Axiom(BPFA).

In this paper, we investigate the multifractal decomposition of limit set a finitely generated, free Fuchsian group with respect to mean cusp-winding number. We completely determine its spectrum by means certain energy function and show that Hausdorff dimension sets consisting points same scaling exponent coincides Legendre transform function. As by-product generalize previously obtained result...

a module $m$ is said to be coretractable if there exists a nonzero homomorphism of every nonzero factor of $m$ into $m$. we prove that all right (left) modules over a ring are coretractable if and only if the ring is morita equivalent to a finite product of local right and left perfect rings.

We study phases and fractal structures of three-dimensional simplicial quantum gravity by the Monte-Carlo method. After measuring the surface area distribution (SAD) which is the three-dimensional analog of the loop length distribution (LLD) in two-dimensional quantum gravity, we classify the fractal structures into three types: (i) in the hot (strong coupling) phase, strong gravity makes the s...