Related papers: Constructing $2m$-variable Boolean functions with …
This paper is a sequel to our previous work, where we proved the ``modularity theorem'' for algebraic Witt vectors over imaginary quadratic fields. This theorem states that, in the case of imaginary quadratic fields $K$, the algebraic Witt…
In this paper we develop an axiomatic setup for algorithmic homological algebra of Abelian categories. This is done by exhibiting all existential quantifiers entering the definition of an Abelian category, which for the sake of…
Polar codes are the first class of constructive channel codes achieving the symmetric capacity of the binary-input discrete memoryless channels. But the analysis and construction of polar codes involve the complex iterative-calculation. In…
A novel polynomial expansion method of symmetric Boolean functions is described. The method is efficient for symmetric Boolean function with small set of valued numbers and has the linear complexity for elementary symmetric Boolean…
We determine all composition-closed equational classes of Boolean functions. These classes provide a natural generalization of clones and iterative algebras: they are closed under composition, permutation and identification…
In this paper, we establish a simple criterion for two $L$-functions $L_1$ and $L_2$ satisfying a functional equation (and some natural assumptions) to have infinitely many distinct zeros. Some related questions have already been answered…
We prove that for p-optimal fields (a very large subclass of p-minimal fields containing all the known examples) a cell decomposition theorem follows from methods going back to Denef's paper [Invent. Math, 77 (1984)]. We derive from it the…
A classical theorem of Nisan and Szegedy says that a boolean function with degree $d$ as a real polynomial depends on at most $d2^{d-1}$ of its variables. In recent work by Chiarelli, Hatami and Saks, this upper bound was improved to $C…
The purpose of this paper is to study $W(2,2)$ Lie conformal algebra, which has a free $\mathbb{C}[\partial]$-basis $\{L, M\}$ such that $[L_\lambda L]=(\partial+2\lambda)L$, $[L_\lambda M]=(\partial+2\lambda)M$, $[M_\lambda M]=0$. In this…
A function defined on the Boolean hypercube is $k$-Fourier-sparse if it has at most $k$ nonzero Fourier coefficients. For a function $f: \mathbb{F}_2^n \rightarrow \mathbb{R}$ and parameters $k$ and $d$, we prove a strong upper bound on the…
We propose a novel universal construction of two-level overlapping Schwarz preconditioners for $2m$th-order elliptic boundary value problems, where $m$ is a positive integer. The word "universal" here signifies that the coarse space…
We prove optimality of the Arf invariant formula for the generating function of even subgraphs, or, equivalently, the Ising partition function, of a graph.
With the use of real-variable techniques, we construct a weight function $\omega$ on the interval $[0, 2\pi)$ that is doubling and satisfies $\log \omega$ is a BMO function, but which is not a Muckenhoupt weight ($A_\infty$). Applications…
We show that the normalized supercharacters of principal admissible modules, associated to each integrable atypical module over the affine Lie superalgebra $\widehat{sl}_{2|1}$ can be modified, using Zwegers' real analytic corrections, to…
The space of abelian functions of a principally polarized abelian variety J is studied as a module over the ring D of global holomorphic differential operators on J. We construct a D-free resolution in case the theta divisor is…
We study the lattice of all Borel clones on $2 = \{0,1\}$: classes of Borel functions $f : 2^n \to 2$, $n \le \omega$, which are closed under composition and include all projections. This is a natural extension to countable arities of…
For each non-constant $q$ in the set of $n$-variable Boolean functions, the {\em $q$-transform} of a Boolean function $f$ is related to the Hamming distances from $f$ to the functions obtainable from $q$ by nonsingular linear change of…
In this paper, we propose the explicit construction of a new class of lattices based on polar codes, which are provably good for the additive white Gaussian noise (AWGN) channel. We follow the multilevel construction of Forney \textit{et…
We study a new class of infinite dimensional Lie algebras, which has important applications to the theory of integrable equations. The construction of these algebras is very similar to the one for automorphic functions and this motivates…
In this paper we investigate the optimal partition approach for multiparametric conic linear optimization (mpCLO) problems in which the objective function depends linearly on vectors. We first establish more useful properties of the…