5,582 research outputs found
On the Bit Complexity of Solving Bilinear Polynomial Systems
International audienceWe bound the Boolean complexity of computing isolating hyperboxes for all complex roots of systems of bilinear polynomials. The resultant of such systems admits a family of determinantal Sylvester-type formulas, which we make explicit by means of homological complexes. The computation of the determinant of the resultant matrix is a bottleneck for the overall complexity. We exploit the quasi-Toeplitz structure to reduce the problem to efficient matrix-vector products, corresponding to multivariate polynomial multiplication. For zero-dimensional systems, we arrive at a primitive element and a rational univariate representation of the roots. The overall bit complexity of our probabilistic algorithm is O_B(n^4 D^4 + n^2 D^4 Ï„), where n is the number of variables, D equals the bilinear Bezout bound, and Ï„ is the maximum coefficient bitsize. Finally, a careful infinitesimal symbolic perturbation of the system allows us to treat degenerate and positive dimensional systems, thus making our algorithms and complexity analysis applicable to the general case
Cryptography from tensor problems
We describe a new proposal for a trap-door one-way function. The new proposal belongs to the "multivariate quadratic" family but the trap-door is different from existing methods, and is simpler
Still Wrong Use of Pairings in Cryptography
Several pairing-based cryptographic protocols are recently proposed with a
wide variety of new novel applications including the ones in emerging
technologies like cloud computing, internet of things (IoT), e-health systems
and wearable technologies. There have been however a wide range of incorrect
use of these primitives. The paper of Galbraith, Paterson, and Smart (2006)
pointed out most of the issues related to the incorrect use of pairing-based
cryptography. However, we noticed that some recently proposed applications
still do not use these primitives correctly. This leads to unrealizable,
insecure or too inefficient designs of pairing-based protocols. We observed
that one reason is not being aware of the recent advancements on solving the
discrete logarithm problems in some groups. The main purpose of this article is
to give an understandable, informative, and the most up-to-date criteria for
the correct use of pairing-based cryptography. We thereby deliberately avoid
most of the technical details and rather give special emphasis on the
importance of the correct use of bilinear maps by realizing secure
cryptographic protocols. We list a collection of some recent papers having
wrong security assumptions or realizability/efficiency issues. Finally, we give
a compact and an up-to-date recipe of the correct use of pairings.Comment: 25 page
Quantum annealing for systems of polynomial equations
Numerous scientific and engineering applications require numerically solving
systems of equations. Classically solving a general set of polynomial equations
requires iterative solvers, while linear equations may be solved either by
direct matrix inversion or iteratively with judicious preconditioning. However,
the convergence of iterative algorithms is highly variable and depends, in
part, on the condition number. We present a direct method for solving general
systems of polynomial equations based on quantum annealing, and we validate
this method using a system of second-order polynomial equations solved on a
commercially available quantum annealer. We then demonstrate applications for
linear regression, and discuss in more detail the scaling behavior for general
systems of linear equations with respect to problem size, condition number, and
search precision. Finally, we define an iterative annealing process and
demonstrate its efficacy in solving a linear system to a tolerance of
.Comment: 11 pages, 4 figures. Added example for a system of quadratic
equations. Supporting code is available at
https://github.com/cchang5/quantum_poly_solver . This is a post-peer-review,
pre-copyedit version of an article published in Scientific Reports. The final
authenticated version is available online at:
https://www.nature.com/articles/s41598-019-46729-
On the Cryptographic Hardness of Local Search
We show new hardness results for the class of Polynomial Local Search problems (PLS):
- Hardness of PLS based on a falsifiable assumption on bilinear groups introduced by Kalai, Paneth, and Yang (STOC 2019), and the Exponential Time Hypothesis for randomized algorithms. Previous standard model constructions relied on non-falsifiable and non-standard assumptions.
- Hardness of PLS relative to random oracles. The construction is essentially different than previous constructions, and in particular is unconditionally secure. The construction also demonstrates the hardness of parallelizing local search.
The core observation behind the results is that the unique proofs property of incrementally-verifiable computations previously used to demonstrate hardness in PLS can be traded with a simple incremental completeness property
- …