Binary multimedia identifiable parent property codes (binary t-MIPPCs) are used in multimedia fingerprinting schemes where the identification of users taking part in the averaging collusion attack to illegally redistribute content is required. In this paper, we first introduce a binary strong multimedia identifiable parent property code (binary t-SMIPPC) whose tracing algorithm is more efficien...

X iv :m at h/ 05 02 30 2v 1 [ m at h. FA ] 1 5 Fe b 20 05 OH-TYPE AND OH-COTYPE OF OPERATOR SPACES AND COMPLETELY SUMMING MAPS HUN HEE LEE Abstract. The definition and basic properties of OH-type and OH-cotype of operator spaces are given. We prove that every bounded linear map from C(K) into OH-cotype q (2 ≤ q < ∞) space (including most of commutative Lq-spaces) for a compact set K satisfies c...

We prove the following version of Hechler's classical theorem: For each partially ordered set (Q,≤) with the property that every countable subset of Q has a strict upper bound in Q, there is a ccc forcing notion such that in the generic extension for each tall analytic P-ideal I (coded in the ground model) a co nal subset of (I,⊆∗) is order isomorphic to (Q,≤).

The second law of thermodynamics in nonextensive statistical mechanics is discussed in the quantum regime. Making use of the convexity property of the generalized relative entropy associated with the Tsallis entropy indexed by q, Clausius' inequality is shown to hold in the range q in (0, 2]. This restriction on the range of the entropic index, q, is purely quantum mechanical and there exists n...

Purpose: The purpose of this paper is to introduce and study the BaskakovDurrmeyerStancu operators based on q-integers. Methods: First we use property of q-calculus to estimate moments of these operators. Also study some approximation properties, asymptotic formula including q-derivative and point-wise estimation for the operators L n,q . Results: We studied better error estimations for these o...

A quantum deformed theory applicable to all shape-invariant bound-state systems is introduced by defining q-deformed ladder operators. We show these new ladder operators satisfy new q-deformed commutation relations. In this context we construct an alternative q-deformed model that preserve the shapeinvariance property presented by primary system. q-deformed generalizations of Morse, Scarf, and ...

We prove a general theorem for constructing integral quantum cluster algebras over Z[q±1/2], namely, that under mild conditions the forms of nilpotent always possess algebra structures. These are then shown to be isomorphic corresponding upper algebras, again defined Z[q±1/2]. Previously, this was only known acyclic algebras. The is applied that, every symmetrizable Kac–Moody g and Weyl group e...

We construct the graded q-differential algebra on a ZN -graded algebra by means of a graded q-commutator. We apply this construction to a reduced quantum plane and study the first order differential calculus on a reduced quantum plane induced by the N -differential of the graded q-differential algebra. 1 Graded q-differential algebra In this section given a ZN -graded algebra we construct the g...

Let X c pn be an irreducible projective variety defined over the finite field F q. We will say that X satisfies the property F F N (k, q) (Finite Field Nullstellensatz of degree k over F q) if every homogeneous polynomial over F q of degree k on pn vanishing on X (F q) vanishes on X, that is, it vanishes at all points of X defined over the algebraic closure of F q . We study when FFN(k,q) holds...

We present a novel approach for automated incremental verification that employs both reusable and relational specifications of software to incrementally verify pairs of programs with possibly nested loops. It analyzes two programs, P the one already verified, and Q the one needed to be verified, and proceeds by detecting an abstraction αP of P and a simulation ρ, such that αP simulates Q via ρ....