English
Related papers

Related papers: Faster integer multiplication using short lattice …

200 papers

Let G be a directed graph with n vertices and non-negative weights in its directed edges, embedded on a surface of genus g, and let f be an arbitrary face of G. We describe a randomized algorithm to preprocess the graph in O(gn log n) time…

Data Structures and Algorithms · Computer Science 2013-05-13 Sergio Cabello , Erin Wolf Chambers , Jeff Erickson

We present algorithms for the type-IV discrete cosine transform (DCT-IV) and discrete sine transform (DST-IV), as well as for the modified discrete cosine transform (MDCT) and its inverse, that achieve a lower count of real multiplications…

Data Structures and Algorithms · Computer Science 2009-01-29 Xuancheng Shao , Steven G. Johnson

The fully-functional succinct tree representation of Navarro and Sadakane (ACM Transactions on Algorithms, 2014) supports a large number of operations in constant time using $2n+o(n)$ bits. However, the full idea is hard to implement. Only…

Data Structures and Algorithms · Computer Science 2016-03-24 Joshimar Cordova , Gonzalo Navarro

$ \newcommand{\R}{\mathbb{R}} \newcommand{\lat}{\mathcal{L}} $We prove a conjecture due to Dadush, showing that if $\lat \subset \R^n$ is a lattice such that $\det(\lat') \ge 1$ for all sublattices $\lat' \subseteq \lat$, then \[ \sum_{\vec…

Metric Geometry · Mathematics 2022-07-08 Oded Regev , Noah Stephens-Davidowitz

We prove an explicit asymptotic formula for the logarithm of the minimal ranks of $n$-universal lattices over the ring of integers of totally real number fields. We also show that, for any constant $C > 0$ and $n \geq 3$, there are only…

Number Theory · Mathematics 2025-10-31 Dayoon Park , Robin Visser , Pavlo Yatsyna , Jongheun Yoon

Complex bases, along with direct-sums defined by rings of imaginary quadratic integers, induce algebraic lattices. In this work, we study such lattices and their reduction algorithms. Firstly, when the lattice is spanned over a two…

Information Theory · Computer Science 2020-11-06 Shanxiang Lyu , Christian Porter , Cong Ling

In the past few years, successive improvements of the asymptotic complexity of square matrix multiplication have been obtained by developing novel methods to analyze the powers of the Coppersmith-Winograd tensor, a basic construction…

Data Structures and Algorithms · Computer Science 2021-10-05 François Le Gall , Florent Urrutia

A well-known conjecture asserts that, for any given positive real number $\lambda$ and nonnegative integer $m$, the proportion of positive integers $n \le x$ for which the interval $(n,n + \lambda\log n]$ contains exactly $m$ primes is…

Number Theory · Mathematics 2015-08-04 Tristan Freiberg

We study tensor networks as a model of arithmetic computation for evaluating multilinear maps. These capture any algorithm based on low border rank tensor decompositions, such as $O(n^{\omega+\epsilon})$ time matrix multiplication, and in…

Computational Complexity · Computer Science 2018-11-16 Per Austrin , Petteri Kaski , Kaie Kubjas

We present algorithms for the discrete cosine transform (DCT) and discrete sine transform (DST), of types II and III, that achieve a lower count of real multiplications and additions than previously published algorithms, without sacrificing…

Numerical Analysis · Mathematics 2025-10-20 Xuancheng Shao , Steven G. Johnson

The conjectured hardness of Boolean matrix-vector multiplication has been used with great success to prove conditional lower bounds for numerous important data structure problems, see Henzinger et al. [STOC'15]. In recent work, Larsen and…

Data Structures and Algorithms · Computer Science 2017-11-15 Diptarka Chakraborty , Lior Kamma , Kasper Green Larsen

A Longest Common Extension (LCE) query on a text $T$ of length $N$ asks for the length of the longest common prefix of suffixes starting at given two positions. We show that the signature encoding $\mathcal{G}$ of size $w = O(\min(z \log N…

Data Structures and Algorithms · Computer Science 2016-06-28 Takaaki Nishimoto , Tomohiro I , Shunsuke Inenaga , Hideo Bannai , Masayuki Takeda

Given a lattice $\Lambda \subset \mathbb{R}^n$, we consider its Minkowski reduced basis and the solid angle $\Omega$ spanned by the basis vectors. Such a basis satisfies strong near-orthogonality conditions, which allow us to bound from…

Metric Geometry · Mathematics 2017-03-02 Danny Nguyen

Lattice data structures are space efficient and cache-suitable data structures. The basic searching, insertion, and deletion operations are of time complexity $O(\sqrt{N})$. We give a jump searching algorithm of time complexity…

Data Structures and Algorithms · Computer Science 2016-05-16 Mohammad Obiedat

We prove new upper bounds on the size of families of vectors in $\Z_m^n$ with restricted modular inner products, when $m$ is a large integer. More formally, if $\vec{u}_1,\ldots,\vec{u}_t \in \Z_m^n$ and $\vec{v}_1,\ldots,\vec{v}_t \in…

Combinatorics · Mathematics 2013-04-19 Zeev Dvir , Guangda Hu

We exhibit algorithms for calculating Tits' buildings and orbits of vectors in a lattice $L$ for certain subgroups of $\operatorname{O}(L)$. We discuss how these algorithms can be applied to understand the configuration of boundary…

Algebraic Geometry · Mathematics 2024-07-19 Matthew Dawes

This paper considers fast algorithms for operations on linearized polynomials. We propose a new multiplication algorithm for skew polynomials (a generalization of linearized polynomials) which has sub-quadratic complexity in the polynomial…

Symbolic Computation · Computer Science 2017-07-12 Sven Puchinger , Antonia Wachter-Zeh

The multiplication of superpositions of numbers is a core operation in many quantum algorithms. The standard method for multiplication (both classical and quantum) has a runtime quadratic in the size of the inputs. Quantum circuits with…

Quantum Physics · Physics 2024-11-15 Gregory D. Kahanamoku-Meyer , Norman Y. Yao

We consider the standard message passing model; we assume the system is fully synchronous: all processes start at the same time and time proceeds in synchronised rounds. In each round each vertex can transmit a different message of size…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-07-14 Y. Métivier , J. M. Robson , A. Zemmari

We propose a novel proof technique that can be applied to attack a broad class of problems in computational complexity, when switching the order of universal and existential quantifiers is helpful. Our approach combines the standard min-max…

Cryptography and Security · Computer Science 2015-06-23 Maciej Skorski