TY - GEN
T1 - On the CVP for the root lattices via folding with deep ReLU neural networks
AU - Corlay, Vincent
AU - Boutros, Joseph J.
AU - Ciblat, Philippe
AU - Brunel, Loic
N1 - Publisher Copyright:
© 2019 IEEE.
PY - 2019/7/1
Y1 - 2019/7/1
N2 - Point lattices and their decoding via neural networks are considered in this paper. Lattice decoding in reals n, known as the closest vector problem (CVP), becomes a classification problem in the fundamental parallelotope with a piecewise linear function defining the boundary. Theoretical results are obtained by studying root lattices. We show how the number of pieces in the boundary function reduces dramatically with folding, from exponential to linear. This translates into a two-layer ReLU neural network requiring a number of neurons growing exponentially in n to solve the CVP, whereas this complexity becomes polynomial in n for a deep ReLU neural network.
AB - Point lattices and their decoding via neural networks are considered in this paper. Lattice decoding in reals n, known as the closest vector problem (CVP), becomes a classification problem in the fundamental parallelotope with a piecewise linear function defining the boundary. Theoretical results are obtained by studying root lattices. We show how the number of pieces in the boundary function reduces dramatically with folding, from exponential to linear. This translates into a two-layer ReLU neural network requiring a number of neurons growing exponentially in n to solve the CVP, whereas this complexity becomes polynomial in n for a deep ReLU neural network.
U2 - 10.1109/ISIT.2019.8849501
DO - 10.1109/ISIT.2019.8849501
M3 - Conference contribution
AN - SCOPUS:85073163010
T3 - IEEE International Symposium on Information Theory - Proceedings
SP - 1622
EP - 1626
BT - 2019 IEEE International Symposium on Information Theory, ISIT 2019 - Proceedings
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2019 IEEE International Symposium on Information Theory, ISIT 2019
Y2 - 7 July 2019 through 12 July 2019
ER -