We associate a certain tensor product lattice to any primitive integer and ask about its typical shape. These lattices are related the tangent bundle of Grassmannians their study is motivated by Peyre's programme on "freeness" for rational points bounded height Fano varieties.

Let M be a module over Noetherian local ring A. We study M-independent sequences of elements the maximal ideal mA in sense Lech and Hanes. The main tool is new characterization M-independence sequence terms associated Koszul complex. As applications, we give result linkage theory, freeness criterion for existence strongly length equal to embedding dimension edim(A) A, another inspired from patc...

We propose a new voting scheme, BeleniosRF, that offers both strong receipt-freeness and end-to-end verifiability. It is strongly receipt-free in the sense that even dishonest voters cannot prove how they voted. We give a game-based definition capturing this property, inspired by and improving the original receipt-freeness definition by Benaloh and Tuinstra. Built upon the Helios protocol, Bele...

Receipt-freeness is the property of voting protocols that a voter cannot create a receipt which proves how she voted. Since Benaloh and Tuinstra introduced this property, there has been a large amount of work devoted to the construction of receipt-free voting protocols. This paper provides a generic and uniform formalism that captures the notion of a receipt. The formalism is then applied to an...

Soda pulping was performed using kenaf stalk, core, and bast as raw materials. It was observed that all these components could yield good paper characteristics when the resulting pulps were beaten to a freeness of 200 to 300 mL. Soda pulp made from the stalk was comparable to the frond from oil palm in sheet properties, but the latter would require higher beating energy to reach similar freenes...

We study the freeness problem for matrix semigroups. We show that the freeness problem is decidable for upper-triangular 2×2 matrices with rational entries when the products are restricted to certain bounded languages. We also show that this problem becomes undecidable for large enough matrices. The full version of this work was accepted for publication in Information and Computation. It is ava...

The secure remote Internet voting protocol play an important role in Internet voting system. The direction of development of remote Internet voting protocol is that implementation of receipt-freeness and coercion-resistance is from with strong physical assumptions to with weak physical assumptions. The final purpose is that receiptfreeness and coercion-resistance is implemented without physical...

We investigate the receipt-freeness issue of electronic voting protocols. Receipt-freeness means that a voter neither obtains nor is able to construct a receipt proving the content of his vote. [Hirt01] proposed a receipt-free voting scheme by introducing a third-party randomizer and by using divertible zero-knowledge proof of validity and designatedverifier re-encryption proof. This scheme sat...

We extend the classic cake-cutting problem to a situation in which the ”cake” is divided among families. Each piece of cake is owned and used simultaneously by all members of the family. A typical example of such a cake is land. We examine three ways to assess the fairness of such a division, based on the classic no-envy criterion: (a) Average envy-freeness means that for each family, the avera...