Related papers: Boolean Functions of Binary Type-II and Type-II/II…
We introduce a new two-sided type system for verifying the correctness and incorrectness of functional programs with atoms and pattern matching. A key idea in the work is that types should range over sets of normal forms, rather than sets…
Motivated by the combinatorial properties of products in Lie algebras, we investigate the subset of permutations that naturally appears when we write the long commutator $[x_1, x_2, ..., x_m]$ as a sum of associative monomials. We…
This paper proposes a new setup for studying pairs of structures. This new framework includes many of the previously studied classes of pairs, such as dense pairs of o-minimal structures, lovely pairs, fields with Mann groups, and…
We present various constructions of sequences of polynomials satisfying the Binomial Theorem in finite characteristic based on the theory of additive polynomials. Various actions on these constructions are also presented. It is an open…
In this paper we define a new transform on (generalized) Boolean functions, which generalizes the Walsh-Hadamard, nega-Hadamard, $2^k$-Hadamard, consta-Hadamard and all $HN$-transforms. We describe the behavior of what we call the root-…
Let $n=2^k-1$ and $m=2^{k-2}$ for a certain $k\ge 3$. Consider the point-line geometry of $2m$-element subsets of an $n$-element set. Maximal singular subspaces of this geometry correspond to binary simplex codes of dimension $k$. For $k\ge…
Linear sets on the projective line have attracted a lot of attention because of their link with blocking sets, KM-arcs and rank-metric codes. In this paper, we study linear sets having two points of complementary weight, that is with two…
We show that every elliptic modular form of integral weight greater than $1$ can be expressed as linear combinations of products of at most two cusp expansions of Eisenstein series. This removes the obstruction of nonvanishing central…
This is the second of two papers in which we construct formal power series solutions in external parameters to the vacuum Einstein equations, implementing one bounce for the Belinskii-Khalatnikov-Lifshitz (BKL) proposal for spatially…
Let $\mathcal{A}=(A_{1},...,A_{n},...)$ be a finite or infinite sequence of $2\times2$ matrices with entries in an integral domain. We show that, except for a very special case, $\mathcal{A}$ is (simultaneously) triangularizable if and only…
We construct more dual pairs of type II-heterotic strings in four dimensions with $N=2,1$ spacetime supersymmetry. On the type II side the construction utilizes the various possible choices of K3 automorphisms with fixed points which…
In this paper we present a family of $q$-ary nonlinear quasi-perfect codes with covering radius 2. The codes have length $n = q^m$ and size $ M = q^{n - m - 1}$ where $q$ is a prime power, $q \geq 3$, $m$ is an integer, $m \geq 2$. We prove…
We investigate the non-perturbative equivalence of some heterotic/type IIA dual pairs with N=2 supersymmetry. We compute R2-like corrections, both on the type IIA and on the heterotic side. The coincidence of their perturbative part…
We study here a sequence of secondary measures, so called because the set of secondary polynomials on a given term become orthogonal for the next measure. The main result is a formula making explicit the density of any term of the sequence,…
We show how, given a straight-line program with $g$ rules for a binary string $B$ of length $n$, in $O(g^{2 / 3} n^{4 / 3})$ time we can build a linear-space index such that, given $m$ and $c$, in O(1) time we can determine whether there is…
The study of minimal complements in a group or a semigroup was initiated by Nathanson. The notion of minimal complements and being a minimal complement leads to the notion of co-minimal pairs which was considered in a prior work of the…
We revisit recent work of Heath-Brown on the average order of the quantity r(L_1)r(L_2)r(L_3)r(L_4), for suitable binary linear forms L_1,..., L_4, for integers ranging over quite general regions. In addition to improving the error term in…
We provide a classification of generalized tilting modules and full exceptional sequences for the dual extension algebra of the path algebra of a uniformly oriented linear quiver modulo the ideal generated by paths of length two with its…
Companion matrices of the second type are characterized by properties that involve bilinear maps.
In this paper, we prove that a binary definite quadratic form over F_q[t], where q is odd, is completely determined up to equivalence by the polynomials it represents up to degree 3m-2, where m is the degree of its discriminant. We also…