arXiv subjects

Lenny Fukshansky

Publications and source records attributed to Lenny Fukshansky.

At least 37 records · Page 2Linked to original sources

arXiv2021

On the geometry of nearly orthogonal lattices

Nearly orthogonal lattices were formally defined in [4], where their applications to image compression were also discussed. The idea of ``near orthogonality" in $2$-dimensions goes back to the work of Gauss. In this paper, we focus on well-rounded nearly orthogonal lattices in~$\mathbb R^n$ and investigate their geometric and optimization properties. Specifically, we prove that the sphere packing density function on the space of well-rounded lattices in dimension $n\geq 3$ does not have any local maxima on the nearly orthogonal set and has only one local minimum there: at the integer lattice~$\mathbb Z^n$. Further, we show that the nearly orthogonal set cannot contain any perfect lattices for~$n \geq 3$, although it contains multiple eutactic (and even strongly eutactic) lattices in every dimension. This implies that eutactic lattices, while always critical points of the packing density function, are not necessarily local maxima or minima even among the well-rounded lattices. We also prove that a (weakly) nearly orthogonal lattice in~$\mathbb R^n$ contains no more than~$4n-2$ minimal vectors (with any smaller even number possible) and establish some bounds on coherence of these lattices.

math.MG↗

arXiv2020

On sparse geometry of numbers

Let $L$ be a lattice of full rank in $n$-dimensional real space. A vector in $L$ is called $i$-sparse if it has no more than $i$ nonzero coordinates. We define the $i$-th successive sparsity level of $L$, $s_i(L)$, to be the minimal $s$ so that $L$ has $s$ linearly independent $i$-sparse vectors, then $s_i(L) \leq n$ for each $1 \leq i \leq n$. We investigate sufficient conditions for $s_i(L)$ to be smaller than $n$ and obtain explicit bounds on the sup-norms of the corresponding linearly independent sparse vectors in~$L$. This result can be viewed as a partial sparse analogue of Minkowski's successive minima theorem. We then use this result to study virtually rectangular lattices, establishing conditions for the lattice to be virtually rectangular and determining the index of a rectangular sublattice. We further investigate the $2$-dimensional situation, showing that virtually rectangular lattices in the plane correspond to elliptic curves isogenous to those with real $j$-invariant. We also identify planar virtually rectangular lattices in terms of a natural rationality condition of the geodesics on the modular curve carrying the corresponding points.

math.NT↗

arXiv2020

Representing integers by multilinear polynomials

Let $F(\boldsymbol x)$ be a homogeneous polynomial in $n \ge 1$ variables of degree $1 \leq d \leq n$ with integer coefficients so that its degree in every variable is equal to $1$. We give some sufficient conditions on $F$ to ensure that for every integer $b$ there exists an integer vector $\boldsymbol a$ such that $F(\boldsymbol a) = b$. The conditions provided also guarantee that the vector $\boldsymbol a$ can be found in a finite number of steps.

math.NT↗

arXiv2019

Positive semigroups and generalized Frobenius numbers over totally real number fields

Frobenius problem and its many generalizations have been extensively studied in several areas of mathematics. We study semigroups of totally positive algebraic integers in totally real number fields, defining analogues of the Frobenius numbers in this context. We use a geometric framework recently introduced by Aliev, De Loera and Louveaux to produce upper bounds on these Frobenius numbers in terms of a certain height function. We discuss some properties of this function, relating it to absolute Weil height and obtaining a lower bound in the spirit of Lehmer's conjecture for algebraic vectors satisfying some special conditions. We also use a result of Borosh and Treybig to obtain bounds on the size of representations and number of elements of bounded height in such positive semigroups of totally real algebraic integers.

math.NT↗

arXiv2019

Canonical basis twists of ideal lattices from real quadratic number fields

Ideal lattices in the plane coming from real quadratic number fields have been investigated by several authors in the recent years. In particular, it has been proved that every such ideal has a basis that can be twisted by the action of the diagonal group into a Minkowski reduced basis for a well-rounded lattice. We explicitly study such twists on the canonical bases of ideals, which are especially important in arithmetic theory of quadratic number fields and binary quadratic forms. Specifically, we prove that every fixed real quadratic field has only finitely many ideals whose canonical basis can be twisted into a well-rounded or a stable lattice in the plane. We demonstrate some explicit examples of such twists. We also briefly discuss the relation between stable and well-rounded twists of arbitrary ideal bases.

math.NT↗

arXiv2019

Lattices from tight frames and vertex transitive graphs

We show that real tight frames that generate lattices must be rational, and use this observation to describe a construction of lattices from vertex transitive graphs. In the case of irreducible group frames, we show that the corresponding lattice is always strongly eutactic. This is the case for the more restrictive class of distance transitive graphs. We show that such lattices exist in arbitrarily large dimensions and demonstrate examples arising from some notable families of graphs. In particular, some well-known root lattices and those related to them can be recovered this way. We discuss various properties of this construction and also mention some potential applications of lattices generated by incoherent systems of vectors.

math.CO↗

arXiv2019

The Bateman-Horn Conjecture: Heuristics, History, and Applications

The Bateman-Horn conjecture is a far-reaching statement about the distribution of the prime numbers. It implies many known results, such as the prime number theorem and the Green-Tao theorem, along with many famous conjectures, such the twin prime conjecture and Landau's conjecture. We discuss the Bateman-Horn conjecture, its applications, and its origins.

math.NT↗

arXiv2019

Small representations of integers by integral quadratic forms

Given an isotropic quadratic form over a number field which assumes a value $t$, we investigate the distribution of points at which this value is assumed. Building on the previous work about the distribution of small-height zeros of quadratic forms, we produce bounds on height of points outside of some algebraic sets in a quadratic space at which the form assumes the value $t$. Our bounds on height are explicit in terms of the heights of the form, the space, the algebraic set and the value $t$.

math.NT↗

arXiv2018

Lattices and quadratic forms from tight frames in Euclidean spaces

This paper supplies additions to our paper in Linear Algebra Appl. 510 (2016) 395--420 on integral spans of tight frames in Euclidean spaces. In that previous paper, we considered the case of an equiangular tight frame (ETF), proving that if its integral span is a lattice then the frame must be rational, but overlooking a simple argument in the reverse direction. Thus our first result here is that the integral span of an ETF is a lattice if and only if the frame is rational. Further, we discuss conditions under which such lattices are eutactic and perfect and, consequently, are local maxima of the packing density function in the dimension of their span. In particular, the unit (276, 23) equiangular tight frame is shown to be eutactic and perfect. More general tight frames and their norm-forms are considered as well, and definitive results are obtained in dimensions two and three.

math.NT↗

arXiv2018

On an effective variation of Kronecker's approximation theorem avoiding algebraic sets

Let $Λ\subset \mathbb R^n$ be an algebraic lattice, coming from a projective module over the ring of integers of a number field $K$. Let $\mathcal Z \subset \mathbb R^n$ be the zero locus of a finite collection of polynomials such that $Λ\nsubseteq \mathcal Z$ or a finite union of proper full-rank sublattices of $Λ$. Let $K_1$ be the number field generated over $K$ by coordinates of vectors in $Λ$, and let $L_1,\dots,L_t$ be linear forms in $n$ variables with algebraic coefficients satisfying an appropriate linear independence condition over $K_1$. For each $\varepsilon > 0$ and $\boldsymbol a \in \mathbb R^n$, we prove the existence of a vector $\boldsymbol x \in Λ\setminus \mathcal Z$ of explicitly bounded sup-norm such that $$\| L_i(\boldsymbol x) - a_i \| < \varepsilon$$ for each $1 \leq i \leq t$, where $\|\ \|$ stands for the distance to the nearest integer. The bound on sup-norm of $\boldsymbol x$ depends on $\varepsilon$, as well as on $Λ$, $K$, $\mathcal Z$ and heights of linear forms. This presents a generalization of Kronecker's approximation theorem, establishing an effective result on density of the image of $Λ\setminus \mathcal Z$ under the linear forms $L_1,\dots,L_t$ in the $t$-torus~$\mathbb R^t/\mathbb Z^t$.

math.NT↗

arXiv2018

An algebraic perspective on integer sparse recovery

Compressed sensing is a relatively new mathematical paradigm that shows a small number of linear measurements are enough to efficiently reconstruct a large dimensional signal under the assumption the signal is sparse. Applications for this technology are ubiquitous, ranging from wireless communications to medical imaging, and there is now a solid foundation of mathematical theory and algorithms to robustly and efficiently reconstruct such signals. However, in many of these applications, the signals of interest do not only have a sparse representation, but have other structure such as lattice-valued coefficients. While there has been a small amount of work in this setting, it is still not very well understood how such extra information can be utilized during sampling and reconstruction. Here, we explore the problem of integer sparse reconstruction, lending insight into when this knowledge can be useful, and what types of sampling designs lead to robust reconstruction guarantees. We use a combination of combinatorial, probabilistic and number-theoretic methods to discuss existence and some constructions of such sensing matrices with concrete examples. We also prove sparse versions of Minkowski's Convex Body and Linear Forms theorems that exhibit some limitations of this framework.

math.NA↗

arXiv2017

A new family of one-coincidence sets of sequences with dispersed elements for frequency hopping CDMA systems

We present a new family of one-coincidence sequence sets suitable for frequency hopping code division multiple access (FH-CDMA) systems with dispersed (low density) sequence elements. These sets are derived from one-coincidence prime sequence sets, such that for each one-coincidence prime sequence set there is a new one-coincidence set comprised of sequences with dispersed sequence elements, required in some circumstances, for FH-CDMA systems. Getting rid of crowdedness of sequence elements is achieved by doubling the size of the sequence element alphabet. In addition, this doubling process eases control over the distance between adjacent sequence elements. Properties of the new sets are discussed.

cs.IT↗

arXiv2017

Permutation invariant lattices

We say that a Euclidean lattice in $\mathbb R^n$ is permutation invariant if its automorphism group has non-trivial intersection with the symmetric group $S_n$, i.e., if the lattice is closed under the action of some non-identity elements of $S_n$. Given a fixed element $τ\in S_n$, we study properties of the set of all lattices closed under the action of $τ$: we call such lattices $τ$-invariant. These lattices naturally generalize cyclic lattices introduced by Micciancio, which we studied in a recent paper. Continuing our investigation, we discuss some basic properties of permutation invariant lattices, in particular proving that the subset of well-rounded lattices in the set of all $τ$-invariant lattices in $\mathbb R^n$ has positive co-dimension (and hence comprises zero proportion) for all $τ$ different from an $n$-cycle.

math.CO↗

arXiv2017

Spherical 2-designs and lattices from Abelian groups

We consider lattices generated by finite Abelian groups. We prove that such a lattice is strongly eutactic, which means the normalized minimal vectors of the lattice form a spherical 2-design, if and only if the group is of odd order or if it is a power of the group of order 2. This result also yields a criterion for the appropriately normalized minimal vectors to constitute a uniform normalized tight frame. Further, our result combined with a recent theorem of R. Bacher produces (via the classical Voronoi criterion) a new infinite family of extreme lattices. Additionally, we investigate the structure of the automorphism groups of these lattices, strengthening our previous results in this direction.

math.NT↗

arXiv2017

Counting ideals in polynomial rings

We investigate properties of zeta functions of polynomial rings and their quotients, generalizing and extending some classical results about Dedekind zeta functions of number fields. By an application of Delange's version of the Ikehara Tauberian Theorem, we are then able to determine the asymptotic order of the ideal counting function in such rings. As a result, we produce counting estimates on ideal lattices of bounded determinant coming from fixed number fields, as well as density estimates for any ideal lattices among all sublattices of $\mathbb Z^d$. We conclude with some more general speculations and open questions.

math.NT↗

arXiv2016

Lattices from tight equiangular frames

We consider the set of all linear combinations with integer coefficients of the vectors of a unit tight equiangular $(k,n)$ frame and are interested in the question whether this set is a lattice, that is, a discrete additive subgroup of the $k$-dimensional Euclidean space. We show that this is not the case if the cosine of the angle of the frame is irrational. We also prove that the set is a lattice for $n = k+1$ and that there are infinitely many $k$ such that a lattice emerges for $n = 2k$. We dispose of all cases in dimensions $k$ at most $9$. In particular, we show that a $(7,28)$ frame generates a strongly eutactic lattice and give an alternative proof of Roland Bacher's recent observation that this lattice is perfect.

math.FA↗

arXiv2016

On arithmetic lattices in the plane

We investigate similarity classes of arithmetic lattices in the plane. We introduce a natural height function on the set of such similarity classes, and give asymptotic estimates on the number of all arithmetic similarity classes, semi-stable arithmetic similarity classes, and well-rounded arithmetic similarity classes of bounded height as the bound tends to infinity. We also briefly discuss some properties of the $j$-invariant corresponding to similarity classes of planar lattices.

math.NT↗

arXiv2015

Stability of ideal lattices from quadratic number fields

We study semi-stable ideal lattices coming from real quadratic number fields. Specifically, we demonstrate infinite families of semi-stable and unstable ideal lattices of trace type, establishing explicit conditions on the canonical basis of an ideal that ensure stability; in particular, our result implies that an ideal lattice of trace type coming from a real quadratic field is semi-stable with positive probability. We also briefly discuss the connection between stability and well-roundedness of Euclidean lattices.

math.NT↗