English
Related papers

Related papers: Structured decomposition for reversible Boolean fu…

200 papers

Imagine handling collisions in a hash table by storing, in each cell, the bit-wise exclusive-or of the set of keys hashing there. This appears to be a terrible idea: For $\alpha n$ keys and $n$ buckets, where $\alpha$ is constant, we expect…

Data Structures and Algorithms · Computer Science 2022-11-08 Jakob Bæk Tejs Houen , Rasmus Pagh , Stefan Walzer

The training complexity of deep learning-based channel decoders scales exponentially with the codebook size and therefore with the number of information bits. Thus, neural network decoding (NND) is currently only feasible for very short…

Information Theory · Computer Science 2017-02-23 Sebastian Cammerer , Tobias Gruber , Jakob Hoydis , Stephan ten Brink

Classical neural network approximation results take the form: for every function $f$ and every error tolerance $\epsilon > 0$, one constructs a neural network whose architecture and weights depend on $\epsilon$. This paper introduces a…

Neural and Evolutionary Computing · Computer Science 2025-11-20 Clemens Hutter , Valentin Abadie , Helmut Bölcskei

Recursive decoding techniques are considered for Reed-Muller (RM) codes of growing length $n$ and fixed order $r.$ An algorithm is designed that has complexity of order $n\log n$ and corrects most error patterns of weight up to…

Information Theory · Computer Science 2017-03-17 Ilya Dumer

In this paper, we give a number of new exact algorithms and heuristics to compute linear boolean decompositions, and experimentally evaluate these algorithms. The experimental evaluation shows that significant improvements can be made with…

Computational Complexity · Computer Science 2015-09-28 Chiel B. Ten Brinke , Frank J. P. van Houten , Hans L. Bodlaender

Symbolic regression that aims to detect underlying data-driven models has become increasingly important for industrial data analysis. For most existing algorithms such as genetic programming (GP), the convergence speed might be too slow for…

Neural and Evolutionary Computing · Computer Science 2017-10-31 Chen Chen , Changtong Luo , Zonglin Jiang

We study a natural complexity measure of Boolean functions known as the rational degree. Denoted $\textrm{rdeg}(f)$, it is the minimal degree of a rational function that is equal to $f$ on the Boolean hypercube. For total functions $f$, it…

Computational Complexity · Computer Science 2025-04-16 Vishnu Iyer , Siddhartha Jain , Robin Kothari , Matt Kovacs-Deak , Vinayak M. Kumar , Luke Schaeffer , Daochen Wang , Michael Whitmeyer

Coded computing has emerged as a promising framework for tackling significant challenges in large-scale distributed computing, including the presence of slow, faulty, or compromised servers. In this approach, each worker node processes a…

Machine Learning · Computer Science 2026-03-26 Parsa Moradi , Behrooz Tahmasebi , Mohammad Ali Maddah-Ali

An iterative decoding algorithm for convolutional codes is presented. It successively processes $N$ consecutive blocks of the received word in order to decode the first block. A bound is presented showing which error configurations can be…

Information Theory · Computer Science 2009-08-07 H. Gluesing-Luerssen , U. Helmke , J. I. Iglesias Curto

We associate to each Boolean function a polynomial whose evaluations represents the distances from all possible Boolean affine functions. Both determining the coefficients of this polynomial from the truth table of the Boolean function and…

Information Theory · Computer Science 2014-04-11 Emanuele Bellini

We present a complete classification of all possible sets of classical reversible gates acting on bits, in terms of which reversible transformations they generate, assuming swaps and ancilla bits are available for free. Our classification…

Quantum Physics · Physics 2015-04-21 Scott Aaronson , Daniel Grier , Luke Schaeffer

Convolution and transposed convolution are fundamental operators widely used in neural networks. However, transposed convolution (a.k.a. deconvolution) does not serve as a true inverse of convolution due to inherent differences in their…

Computer Vision and Pattern Recognition · Computer Science 2025-08-18 Xuhong Huang , Shiqi Liu , Kai Zhang , Ying Tai , Jian Yang , Hui Zeng , Lei Zhang

When constructing high-order schemes for solving hyperbolic conservation laws, the corresponding high-order reconstructions are commonly performed in characteristic spaces to eliminate spurious oscillations as much as possible. For…

Numerical Analysis · Mathematics 2021-08-13 Hua Shen , Matteo Parsani

Modern FFT/NTT analytics, coded computation, and privacy-preserving ML interface routinely move polynomial frames across NICs, storage, and accelerators. However, even rare silent data corruption (SDC) can flip a few ring coefficients and…

Information Theory · Computer Science 2025-10-17 Baigang Chen , Dongfang Zhao

The r-th order nonlinearity of a Boolean function is the minimum number of elements that have to be changed in its truth table to arrive at a Boolean function of degree at most r. It is shown that the (suitably normalised) r-th order…

Combinatorics · Mathematics 2013-08-15 Kai-Uwe Schmidt

Boolean tensor has been broadly utilized in representing high dimensional logical data collected on spatial, temporal and/or other relational domains. Boolean Tensor Decomposition (BTD) factorizes a binary tensor into the Boolean sum of…

Machine Learning · Computer Science 2020-10-28 Changlin Wan , Wennan Chang , Tong Zhao , Sha Cao , Chi Zhang

We give here an efficient method to reconstruct the block interleaver and recover the convolutional code when several noisy interleaved codewords are given. We reconstruct the block interleaver without assumption on its structure. By…

Information Theory · Computer Science 2015-01-16 Audrey Tixier

We will study some important properties of Boolean functions based on newly introduced concepts called Special Decomposition of a Set and Special Covering of a Set. These concepts enable us to study important problems concerning Boolean…

Computational Complexity · Computer Science 2025-04-01 Stepan Margaryan

Owing to their low-complexity iterations, Frank-Wolfe (FW) solvers are well suited for various large-scale learning tasks. When block-separable constraints are present, randomized block FW (RB-FW) has been shown to further reduce complexity…

Optimization and Control · Mathematics 2017-11-22 Liang Zhang , Gang Wang , Daniel Romero , Georgios B. Giannakis

We consider the recovery of real-valued bandlimited functions from the absolute values of their samples, possibly spaced nonuniformly. We show that such a reconstruction is always possible if the function is sampled at more than twice its…

Numerical Analysis · Mathematics 2012-01-17 Gaurav Thakur