Related papers: Shatrovskii's construction of thin bases

A lattice reduction is an algorithm that transforms the given basis of the lattice to another lattice basis such that problems like finding a shortest vector and closest vector become easier to solve. We define a class of bases called…

A_k = {1, a_2, ... a_k} is an h-basis for n if every positive integer not exceeding n can be expressed as the sum of no more than h values a_i. An extremal h-basis A_k is one for which n is as large as possible. Computing extremal bases is…

Let $\varphi (x_{1}, \ldots, x_{h})=c_{1} x_{1}+\cdots+c_{h} x_{h}$ be a linear form with coefficients in a field $\mathbf{F}$, and let $V$ be a vector space over $\mathbf{F}$. A nonempty subset $A$ of $V$ is a $\varphi$-Sidon set if…

A square integer relative Heffter array is an $n \times n$ array whose rows and columns sum to zero, each row and each column has exactly $k$ entries and either $x$ or $-x$ appears in the array for every $x \in \mathbb{Z}_{2nk+t}\setminus…

In this paper, by using the Groebner-Shirshov bases, we give characterizations of the Schreier extensions of groups when the group is presented by generators and relations. An algorithm to find the conditions of a group to be a Schreier…

For a set $A$ of $k$ elements from an additive abelian group $G$ and a positive integer $r \leq k$, we consider the set of elements of $G$ that can be written as a sum of $h$ elements of $A$ with at least $r$ distinct elements. We denote…

We construct an ordered set of commutators in a partially commutative nilpotent group $F(X; \Gamma; \mathfrak N_m)$. This set allows us to define a canonical form for each element of $F(X; \Gamma; \mathfrak N_m)$. Namely, we construct a…

In this paper, we show that for each lattice basis, there exists an equivalent basis which we describe as ``strongly reduced''. We show that bases reduced in this manner exhibit rather ``short'' basis vectors, that is, the length of the…

We show that the geometry of Hrushovski's ab initio construction for a single $n$-ary relation not-permitting dependent sets of size less than $n$, when restricted to $n$-tuples, can be itself constructed as a Hrushovski construction.

We study analytic Zariski structures from the point of view of non-elementary model theory. We show how to associate an abstract elementary class with a one-dimensional analytic Zariski structure and prove that the class is stable,…

Let $A$ be an additive basis of order $h$ and $X$ be a finite nonempty subset of $A$ such that the set $A \setminus X$ is still a basis. In this article, we give several upper bounds for the order of $A \setminus X$ in function of the order…

Semifields are semirings in which every nonzero element has a multiplicative inverse. A rough classification uses the characteristic of the semifield, that is the isomorphism type of the semifield generated by the two neutral elements. For…

The basis number of a graph $G$ is the minimum $k$ such that the cycle space of $G$ is generated by a family of cycles using each edge at most $k$ times. A classical result of Mac Lane states that planar graphs are exactly graphs with basis…

A classical theorem of Balcar, Pelant, and Simon says that there is a base matrix of height h, where h is the distributivity number of P(omega)/fin. We show that if the continuum c is regular, then there is a base matrix of height c, and…

Let $G$ be an abelian group of finite order $n$, and let $h$ be a positive integer. A subset $A$ of $G$ is called {\em weakly $h$-incomplete}, if not every element of $G$ can be written as the sum of $h$ distinct elements of $A$; in…

Shnirel'man's inequality and Shnirel'man's basis theorem are fundamental results about sums of sets of positive integers in additive number theory. It is proved that these results are inherently order-theoretic and extend to partially…

An integer $n$ is said to be ternary if it is composed of three distinct odd primes. In this paper, we asymptotically count the number of ternary integers $n \leq x$ with the constituent primes satisfying various constraints. We apply our…

Let $A$ be an infinite set of nonnegative integers. For $h \geq 2$, let $hA$ be the set of all sums of $h$ not necessarily distinct elements of $A$. If every sufficiently large integer in the sumset $hA$ has at least two representations,…

Following the definition of a root basis of an affine root system, we define a base of the root system of an affine Lie superalgebra to be a linearly independent subset $B$ of its root system such that each root can be written as a linear…

A non-trivial element of a group is a generalized torsion element if some products of its conjugates is the identity. The minimum number of such conjugates is called a generalized torsion order. We provide several restrictions for…