English
Related papers

Related papers: All or Nothing at All

200 papers

In this letter, we prove that the perfectly secure One-Time Pad (OTP) encryption can be seen as finding the initial condition on the binary map under a random switch based on the perfectly random pad. This turns out to be a special case of…

Chaotic Dynamics · Physics 2008-03-04 Nithin Nagaraj , Prabhakar G. Vaidya

The objective in statistical Optimal Transport (OT) is to consistently estimate the optimal transport plan/map solely using samples from the given source and target marginal distributions. This work takes the novel approach of posing…

Machine Learning · Computer Science 2020-11-11 J. Saketha Nath , Pratik Jawanpuria

Oblivious Transfer (OT) is a fundamental cryptographic protocol with applications in secure Multi-Party Computation, Federated Learning, and Private Set Intersection. With the advent of quantum computing, it is crucial to develop…

Cryptography and Security · Computer Science 2024-08-27 Aydin Abadi , Yvo Desmedt

Using the Bethe ansatz we obtain the determinant expression for the time dependent transition probabilities in the totally asymmetric exclusion process with parallel update on a ring. Developing a method of summation over the roots of Bethe…

Statistical Mechanics · Physics 2007-09-10 A. M. Povolotsky , V. B. Priezzhev

We research relations between optimal transport theory (OTT) and approximate Bayesian computation (ABC) possibly connected to relevant metrics defined on probability measures. Those of ABC are computational methods based on Bayesian…

Statistics Theory · Mathematics 2021-05-06 Marco Tarsia , Antonietta Mira , Daniele Cassani

A fertile area of recent research has demonstrated concrete polynomial time lower bounds for solving natural hard problems on restricted computational models. Among these problems are Satisfiability, Vertex Cover, Hamilton Path, Mod6-SAT,…

Computational Complexity · Computer Science 2010-02-03 Ryan Williams

We continue developing the theory around the twin-width of totally ordered binary structures, initiated in the previous paper of the series. We first introduce the notion of parity and linear minors of a matrix, which consists of…

Data Structures and Algorithms · Computer Science 2022-09-27 Édouard Bonnet , Ugo Giocanti , Patrice Ossona de Mendez , Stéphan Thomassé

We show how to compute efficiently with nominal sets over the total order symmetry, by developing a direct representation of such nominal sets and basic constructions thereon. In contrast to previous approaches, we work directly at the…

Logic in Computer Science · Computer Science 2022-08-17 David Venhoek , Joshua Moerman , Jurriaan Rot

A certain analysis of all possible associative binary operations on N is presented. This is equivalent with an analysis of all possible monoid structures on N. Several results and a conjecture in this regard are given.

General Mathematics · Mathematics 2007-05-23 Elemer E Rosinger

Based on quantum entanglement, an all-or-nothing oblivious transfer protocol is proposed and is proven to be secure. The distinct merit of the present protocol lies in that it is not based on quantum bit commitment. More intriguingly, this…

Quantum Physics · Physics 2007-05-23 Guang Ping He , Z. D. Wang

The Johnson-Lindenstrauss lemma is a fundamental result in probability with several applications in the design and analysis of algorithms in high dimensional geometry. Most known constructions of linear embeddings that satisfy the…

Data Structures and Algorithms · Computer Science 2015-03-17 Raghu Meka

Applying a result of abstract ring theory we get that bijective additive mappings on standard algebras of unbounded operators preserving zero products are multiples of ring isomorphisms. The structure of additive bijective mappings on…

Operator Algebras · Mathematics 2007-05-23 Werner Timmermann

In this article, we study absolutely norm attaining operators ($\mathcal{AN}$-operators, in short), that is, operators that attain their norm on every non-zero closed subspace of a Hilbert space. Our focus is primarily on positive…

Functional Analysis · Mathematics 2025-07-16 Puspendu Nag , Ramesh Golla

We provide bounds on the efficiency of secure one-sided output two-party computation of arbitrary finite functions from trusted distributed randomness in the statistical case. From these results we derive bounds on the efficiency of…

Cryptography and Security · Computer Science 2014-05-09 Severin Winkler , Jürg Wullschleger

Randomized higher-order computation can be seen as being captured by a lambda calculus endowed with a single algebraic operation, namely a construct for binary probabilistic choice. What matters about such computations is the probability of…

Logic in Computer Science · Computer Science 2020-12-24 Ugo Dal Lago , Claudia Faggian , Simona Ronchi Della Rocca

The study proves the existence of an algorithm to receive all elements of a class of binary matrices without obtaining redundant elements, e. g. without obtaining binary matrices that do not belong to the class. This makes it possible to…

Data Structures and Algorithms · Computer Science 2013-12-03 Krasimir Yordzhev

We construct two complete invariants of oriented classical knots in space. The value of each invariant on any knot is a set, infinite for the first invariant and finite for the second. The finite set is computed algorithmically from any…

Geometric Topology · Mathematics 2023-06-02 Dimitrios Kodokostas

Optimal transport (OT) is a widely used technique for distribution alignment, with applications throughout the machine learning, graphics, and vision communities. Without any additional structural assumptions on trans-port, however, OT can…

Machine Learning · Computer Science 2021-07-20 Chi-Heng Lin , Mehdi Azabou , Eva L. Dyer

The commodity-based cryptography is an alternative approach to realize conventionally impossible cryptographic primitives such as unconditionally secure bit-commitment by consuming pre-established correlation between distrustful…

Quantum Physics · Physics 2021-03-10 Seok Hyung Lie , Hyukjoon Kwon , M. S Kim , Hyunseok Jeong

We intend to investigate the metalogical property of 'omitting types' for a wide variety of quantifier logics (that can also be seen as multimodal logics upon identifying existential quantifiers with modalities syntactically and…

Logic · Mathematics 2019-12-30 Tarek Sayed Ahmed