Recent experimental investigations [20] of solid He have been interpreted as showing possible superfluidity in the solid at low temperatures, below 0.2 K. A solid behaving this way, exhibiting both long range translational order and superfluidity, has been called a supersolid phase. The existence of a supersolid phase was proposed many years ago [1], and has been discussed theoretically. In thi...

We propose the first provably secure zero-knowledge (ZK) argument of knowledge (AoK) protocol running at close to 1 megabyte per second (MBps) on commodity hardware – about an order of magnitude faster than relevant current protocols. It is a post-quantum, (efficientprover) honest-verifier (HV) statistical zero-knowledge (SZK) sigma protocol in the standard model under a hardness assumption on ...

Most existing approaches for zero pronoun resolution are supervised approaches, where annotated data are released by shared task organizers. Therefore, the lack of annotated data becomes a major obstacle in zero pronoun resolution task. The existing approaches mainly face the challenge of costing manpower on labeling the extended data for better training performance and domain adaption. To alle...

The inverse problem associated to the Davenport constant for some finite abelian group is the problem of determining the structure of all minimal zero-sum sequences of maximal length over this group, and more generally of long minimal zero-sum sequences. Results on the maximal multiplicity of an element in a long minimal zero-sum sequence for groups with large exponent are obtained. For groups ...

In this note we propose a definition of inner derivation for nonassociative algebras. This definition coincides with the usual one for Lie algebras, and for associative algebras with no absolute right (left) divisor of zero. I t is well known that all derivations of semi-simple associative or Lie algebras over a field of characteristic zero are inner. Recent correspondence with N. Jacobson has ...

0