We present a technique for automatically generatingcommutativity conditions from (abstract-level) data-structurespecifications. We observe that one can pose the commutativityquestion in a way that does not introduce additional quantifiers,via a mechanized lifting of a (potentially partial) specificationto an equivalent total specification. We then describe an al-gorithm ...

We compute commutativity degrees of wreath products A o B of finite abelian groups A and B . When B is fixed of order n the asymptotic commutativity degree of such wreath products is 1/n2. This answers a generalized version of a question posed by P. Lescot. As byproducts of our formula we compute the number of conjugacy classes in such wreath products, and obtain an interesting elementary numbe...

This paper presents a syntax and semantics for Degree Neuter Relatives (DNRs) in Spanish, an unusual construction involving relative clause seemingly headed by gradable predicate the neuter determiner lo. I propose analysis of DNRs that avoids compositionality problems derived from sortal mismatches between degrees entities. In addition, suggest despite cross-linguistic rarity DNRs, it is no co...

Reasoning about commutativity between data-structure operations is an important problem with applications including parallelizing compilers, optimistic parallelization and, more recently, Ethereum smart contracts. There have been research results on automatic generation of commutativity conditions, yet we are unaware of any fully automated technique to generate conditions that are both sound an...

Reasoning about commutativity between data-structure operations has been, and remains, an important problem with applications including parallelizing compilers, optimistic parallelization and, more recently, Ethereum smart contracts. There have been research results on automatic generation of commutativity conditions, yet we are unaware of any fully automated technique to generate conditions th...

A general mechanism for "breaking" commutativity in algebras is proposed: if the underlying set taken to be not a crisp set, but rather an obscure/fuzzy membership function, reflecting degree of truth that element belongs can incorporated into commutation relations. The special "deformations" and $\varepsilon $-commutativity are introduced such way equal degrees result "nondeformed" case. We al...

Suppose n is a fixed positive integer. We introduce the relative n-th non-commuting graph ΓH,G, associated to the nonabelian subgroup H of group G. The vertex set is G \ C H,G in which C H,G = {x ∈ G : [x, y] = 1 and [x, y] = 1 for all y ∈ H}. Moreover, {x, y} is an edge if x or y belong to H and xy 6= yx or xy 6= yx. In fact, the relative n-th commutativity degree, Pn(H,G) the probability that...

Leading order study of direct photon production from proton–proton collisions, in the framework Minimal (Seiberg–Witten) Non-Commutative Standard Model (NCSM), taking into account Earth-rotation effects. We found that relative non-commutative contributions increase significantly at very high transverse momentum. Therefore, using Run-1 ([Formula: see text] TeV) and Run-2 ATLAS experimental data ...