The impossibility of non-signaling privacy amplification

Barrett, Hardy, and Kent have shown in 2005 that protocols for quantum key agreement exist the security of which can be proven under the assumption that quantum or relativity theory is correct. More precisely, this is based on the non-local behavior of certain quantum systems, combined with the non-signaling postulate from relativity. An advantage is that the resulting security is independent of what (quantum) systems the legitimate parties' devices operate on: they do not have to be trusted. Unfortunately, the protocol proposed by Barrett et al. cannot tolerate any errors caused by noise in the quantum channel. Furthermore, even in the error-free case it is inefficient: its communication complexity is Theta(1/epsilon) when forcing the attacker's information below epsilon, even if only a single key bit is generated. Potentially, the problem can be solved by privacy amplification of relativistic - or non-signaling - secrecy. We show, however, that such privacy amplification is impossible with respect to the most important form of non-local behavior, and application of arbitrary hash functions.Comment: 24 pages, 2 figure

Logical and Spiritual Reflections

Logical and Spiritual Reflections is a collection of six shorter philosophical works, including: Hume’s Problems with Induction; A Short Critique of Kant’s Unreason; In Defense of Aristotle’s Laws of Thought; More Meditations; Zen Judaism; No to Sodom. Of these works, the first set of three constitutes the Logical Reflections, and the second set constitutes the Spiritual Reflections. Hume’s Problems with Induction, which is intended to describe and refute some of the main doubts and objections David Hume raised with regard to inductive reasoning. It replaces the so-called problem of induction with a principle of induction. David Hume’s notorious skepticism was based on errors of observation and reasoning, with regard to induction, causation, necessity, the self and freewill. These are here pointed out and critically analyzed in detail – and more accurate and logical theories are proposed. The present work also includes refutations of Hempel’s and Goodman’s alleged paradoxes of induction. A Short Critique of Kant’s Unreason, which is a brief critical analysis of some of the salient epistemological and ontological ideas and theses in Immanuel Kant’s famous Critique of Pure Reason. It shows that Kant was in no position to criticize reason, because he neither sufficiently understood its workings nor had the logical tools needed for the task. Kant’s transcendental reality, his analytic-synthetic dichotomy, his views on experience and concept formation, and on the forms of sensibility (space and time) and understanding (his twelve categories), are here all subjected to rigorous logical evaluation and found deeply flawed – and more coherent theories are proposed in their stead. In Defense of Aristotle’s Laws of Thought, which addresses, from a phenomenological standpoint, numerous modern and Buddhist objections and misconceptions regarding the basic principles of Aristotelian logic. Many people seem to be attacking Aristotle’s Laws of Thought nowadays, some coming from the West and some from the East. It is important to review and refute such ideas as they arise. More Meditations, which is a sequel to the author’s earlier work, Meditations. It proposes additional practical methods and theoretical insights relating to meditation and Buddhism. It also discusses certain often glossed over issues relating to Buddhism – notably, historicity, idolatry, messianism, importation to the West. Zen Judaism, which is a frank reflection on the tensions between reason and faith in today’s context of knowledge, and on the need to inject Zen-like meditation into Judaism. This work also treats some issues in ethics and theodicy. No to Sodom, which is an essay against homosexuality, using biological, psychological, spiritual, ethical and political arguments

Hard Cases Under the Convention on the International Sale of Goods: A Proposed Taxonomy of Interpretative Challenges

CISG was formally uniform at the time of its adoption. It used the same words in all of the jurisdictions adopting it. But uniform words are not enough to guarantee uniform application. For many commentators, in fact, the most significant impediment to the continued existence or efficacy of the CISG is the lack of uniform interpretive outcomes in hard CISG cases – cases where a CISG provision is vague either on its face or in its application. Without greater uniformity of interpretive outcomes, these commentators suggest, the CISG will, over time, fail to supply standard solutions to similar contracting problems and thus fail to supply the predictability that parties need. In this Article, Professor Allen Blair argues that these commentators start with an exaggerated expectation about the kind and degree of uniformity called for by the CISG and demanded by parties. Contrary to the standard conception of CISG interpretation, uniformity of interpretive outcomes is an improper goal with respect to CISG provisions cast as open-textured standards, and any effort to harden these standards into rigid rules could, in fact, undermine the efficiency goals of contracting parties

Hard Cases Under the Convention on the International Sale of Goods: A Proposed Taxonomy of Interpretative Challenges

QC 20120703</p

Ergativity and depth of analysis

In this paper, I argue that “depth of analysis” does not deserve the prestige that it is sometimes given in general linguistics. While language description should certainly be as detailed as possible, general linguistics must rely on worldwide comparison of languages, and this cannot be based on language-particular analyses. Rigorous quantitative comparison requires uniform measurement, and this implies abstracting away from many language-particular peculiarities. I will illustrate this on the basis of ergative patterns, starting out from I.A. Mel’čuk’s (1981) proposal for Lezgian. This proposal was not successful, but why not? And why is Baker’s (2015) theory of dependent case likewise unsuccessful? By contrast, quantitative worldwide research has found striking similarities of ergative coding patterns, which can be explained by the efficiency theory of asymmetric coding. I will argue that this success is due to a more cautious approach to understanding Human Language, which does not rely on the Mendeleyevian vision for grammar (that all grammars are made from the same innate building blocks)

Exposure-Tolerant Imaging Solution forCultural Heritage Monitoring

This paper describes a simple and cheap solution specifically designed for monitoring the degradation of thin coatings employed for metal protection. The proposed solution employs a commercial photocamera and a frequency-domain-based approach that is capable of highlighting the surface uniformity changes due to initial corrosion. Even though the proposed solution is specifically designed to monitor the long-time performance of protective coatings employed for the restoration of silver artifacts, it can be successfully used also for assessing the conservation state of other ancient metallic works of art. The proposed solution is made tolerant to exposure changes by using a procedure for sensor nonlinearity identification and correction, does not require a precise lighting control, and employs only free open-source software, so that its overall cost is very low and can be used also by not specifically trained operator