In this work, we define the class preserving actor and commutativity degree of Lie crossed modules. Then, obtain some relations about these notions isoclinic

It is shown that all the assumptions for symmetric monoidal categories flow out of a unifying principle involving natural isomorphisms of the type (A ∧B) ∧ (C ∧D) → (A ∧ C) ∧ (B ∧D), called medial commutativity. Medial commutativity in the presence of the unit object enables us to define associativity and commutativity natural isomorphisms. In particular, Mac Lane’s pentagonal and hexagonal coh...

Consider the problem: given a real number x and an error bound ε, find an interval such that it contains n √ x and its width is less than ε. One way to solve the problem is to start with an initial interval and to repeatedly update it by applying an interval refinement map on it until it becomes narrow enough. In this paper, we prove that the well known Secant-Newton map is optimal among a cert...

For binary polynomial optimization problems (POPs) of degree d with n variables, we prove that the ⌈(n+ d− 1)/2⌉th semidefinite (SDP) relaxation in Lasserre’s hierarchy of the SDP relaxations provides the exact optimal value. If binary POPs involve only even-degree monomials, we show that it can be further reduced to ⌈(n + d − 2)/2⌉. This bound on the relaxation order coincides with the conject...

It is shown that all the assumptions for symmetric monoidal categories flow out of a unifying principle involving natural isomorphisms of the type (A ∧B) ∧ (C ∧D) → (A ∧ C) ∧ (B ∧D), called medial commutativity. Medial commutativity in the presence of the unit object enables us to define associativity and commutativity natural isomorphisms. In particular, Mac Lane’s pentagonal and hexagonal coh...

It is shown that all the assumptions for symmetric monoidal categories flow out of a unifying principle involving natural isomorphisms of the type (A ∧B) ∧ (C ∧D) → (A ∧ C) ∧ (B ∧D), called medial commutativity. Medial commutativity in the presence of the unit object enables us to define associativity and commutativity natural isomorphisms. In particular, Mac Lane’s pentagonal and hexagonal coh...

Let S1 = {Ft}t≥0 and S2 = {Gt}t≥0 be two continuous semigroups of holomorphic self-mappings of the unit disk ∆ = {z : |z| < 1} generated by f and g, respectively. We present conditions on the behavior of f (or g) in a neighborhood of a fixed point of S1 (or S2), under which the commutativity of two elements, say, F1 and G1 of the semigroups implies that the semigroups commute, i.e., Ft◦Gs = Gs◦...

In a recent letter by Ying et al. [Inf. Process. Lett. 104 (2007) 152-158], it showed some sufficient conditions for commutativity of quantum weakest preconditions. This paper provides some simple characterizations for the commutativity of quantum weakest preconditions, i.e., Theorem 3, Theorem 4 and Proposition 5 in what follows. We also show that to characterize the commutativity of quantum w...