搜索结果: 1-12 共查到“counterexample”相关记录12条 . 查询时间(0.046 秒)
(A Counterexample to) Parallel Repetition for Non-Signaling Multi-Player Games
parallel repetition non-signaling strategies
2017/11/28
We give a three-player game whose non-signaling value is constant (2/3) under any number of parallel repetitions. This is the first known setting where parallel repetition completely fails to reduce t...
Optimal Security Reductions for Unique Signatures: Bypassing Impossibilities with A Counterexample
Unique Signatures Tight Reduction Impossibility
2017/6/2
Optimal security reductions for unique signatures (Coron, Eurocrypt 2002) and their generalization, i.e., efficiently re-randomizable signatures (Hofheinz et al., PKC 2012 and Baderet al., Eurocrypt 2...
A Counterexample to the Chain Rule for Conditional HILL Entropy
Computational Entropy HILL Entropy Chain Rule
2016/1/7
Most entropy notions H(.) like Shannon or min-entropy satisfy a chain rule
stating that for random variables X, Z and A we have H(X|Z, A) ≥ H(X|Z) −
|A|. That is, by conditioning on A the entr...
Nice labeling problem for event structures: a counterexample
Nice labeling problem counterexample Combinatorics
2011/8/26
Abstract: In this note, we present a counterexample to a conjecture of Rozoy and Thiagarajan from 1991 (called also the nice labeling problem) asserting that any (coherent) event structure with finite...
A counterexample to a Penrose inequality conjectured by Gibbons
counterexample Penrose inequality Gibbons
2011/3/3
We show that the Brill-Lindquist initial data provides a counterexample to a Riemannian Penrose inequality with charge conjectured by G. Gibbons. The observation illustrates a sub-additive characteris...
A counterexample for Improved Sobolev Inequalities over the 2-adic group
Sobolev Inequalities the 2-adic group
2010/11/9
On the framework of the 2-adic group Z_2, we study a Sobolev-like inequality where we estimate the L^2 norm by a geometric mean of the BV norm and the Besov space B(-1,\infty,\infty) norm. We first s...
Discussion on Lechicki and Spakowski's counterexample
Lechicki Spakowski's counterexample
2010/11/29
It is well-known that intersection of continuous correspondences can lost the continuity
property. Lechicki and Spakowski’s theorem says that intersection of H-lsc functions remains
H-lsc if the int...
Is Witsenhausen's counterexample a relevant toy?
Witsenhausen's counterexample relevant toy
2010/12/6
This paper answers a question raised by Doyle on the relevance of the Witsenhausen counterexample as a toy decentralized control problem. The question has two sides, the first of which focuses on the ...
A counterexample for the optimality of Kendall-Cranston coupling
counterexample Kendall-Cranston coupling Riemannian
2009/3/23
We construct a Riemannian manifold where the Kendall-Cranston coupling of two Brownian particle does not maximize the coupling probability.
FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram
Function Block Diagram Formal Verification Counter-example Visualization Verilog Translation Programmable Logic Controller Model Checking
2014/3/11
Model checking is often applied to verify safety-critical software implemented in programmable logic controller (PLC) language such as a function block diagram (FBD). Counter-examples generated by a m...
The Relevance of Irrelevance: Absolute Objects and the Jones-Geroch Dust Velocity Counterexample, with a Note on Spinors
absolute object general covariance dust spinor parametrized
2008/4/21
James L. Anderson analyzed the conceptual novelty of Einstein's theory of gravity as its lack of ``absolute objects.'' Michael Friedman's related concept of absolute objects has been criticized by Rog...
Nonuniformizable skew cylinders. A counterexample to the simultaneous uniformization problem
Nonuniformizable skew cylinders counterexample
2010/10/29
At the end of 1960-ths Yu.S.Ilyashenko stated the problem: is it true that for any one-dimensional holomorphic foliation with singularities on a Stein manifold leaves intersecting a transversal disc ...