Circular programming problems are a new class of convex optimization problems that include second-order cone programming problems as a special case. Alizadeh and Goldfarb [Math. Program. Ser. A 95 (2003) 3-51] introduced primal-dual path-following algorithms for solving second-order cone programming problems. In this paper, we generalize their work by using the machinery of Euclidean Jordan alg...

Propositional primal logic, as defined by Gurevich and Neeman, has two kinds of quotations: p said φ, and p implied φ. Note 1. The derivation problem for propositional primal logic with one kind of quotations is solvable linear time. Note 2. In the Hilbertian calculus for propositional primal logic, the shortest derivation of a formula φ from hypotheses H may be exponential in the length of (H,φ).

Let R be a commutative ring with identity and let M unitary R-module. In this paper, we introduce the notion of weakly S-2-absorbing submodule. Suppose that S is multiplicatively closed subset R. A submodule P (P:R M)∩S=∅ said to if there exists an element s ∈ such whenever a,b∈R m∈M 0≠abm∈P, then sab∈(P: M) or sam∈P sbm∈P. We give characterizations, properties examples submodules.

In this paper we propose two new nonsymmetric primal-dual potential-reduction methods for conic problems. The methods are based on the primal-dual lifting [5]. This procedure allows to construct a strictly feasible primal-dual pair related by an exact scaling relation even if the cones are not symmetric. It is important that all necessary elements of our methods can be obtained from the standar...

We associate to every equicharacteristic zero Noetherian local ring R a faithfully flat ring extension which is an ultraproduct of rings of various prime characteristics, in a weakly functorial way. Since such ultraproducts carry naturally a non-standard Frobenius, we can define a new tight closure operation on R by mimicking the positive characteristic functional definition of tight closure. T...

we introduce the class of “right almost v-rings” which is properly between the classes of right v-rings and right good rings. a ring r is called a right almost v-ring if every simple r-module is almost injective. it is proved that r is a right almost v-ring if and only if for every r-module m, any complement of every simple submodule of m is a direct summand. moreover, r is a right almost v-rin...

In this paper we present analytic formulas to estimaie the vertical emittance in weakly coupled electron/positron storage rings. We consider contributions from both the vertical dispersion and linear coupling of the betatron motions. In addition to simple expressions for random misalignments and rotations of the magnets, formulas are presented to calculate the vertical emittance ,blowup due to ...