BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Lenny Fukshansky

Lenny Fukshansky appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.NTmath.COmath.MGmath.FAmath.HO

Catalog footprint

What is connected

29works
5topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

29 published item(s)

preprint2022arXiv

Counting basis extensions in a lattice

Given a primitive collection of vectors in the integer lattice, we count the number of ways it can be extended to a basis by vectors with sup-norm bounded by $T$, producing an asymptotic estimate as $T \to \infty$. This problem can be interpreted in terms of unimodular matrices, as well as a representation problem for a class of multilinear forms. In the $2$-dimensional case, this problem is also connected to the distribution of Farey fractions. As an auxiliary lemma we prove a counting estimate for the number of integer lattice points of bounded sup-norm in a hyperplane in~$\mathbb R^n$. Our main result on counting basis extensions also generalizes to arbitrary lattices in~$\mathbb R^n$. Finally, we establish some basic properties of sparse representations of integers by multilinear forms.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Cyclic and well-rounded lattices

We focus on two important classes of lattices, the well-rounded and the cyclic. We show that every well-rounded lattice in the plane is similar to a cyclic lattice, and use this cyclic parameterization to count planar well-rounded similarity classes defined over a fixed number field with respect to height. We then investigate cyclic properties of the irreducible root lattices in arbitrary dimensions, in particular classifying those that are simple cyclic, i.e. generated by rotation shifts of a single vector. Finally, we classify cyclic, simple cyclic and well-rounded cyclic lattices coming from rings of integers of Galois algebraic number fields.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Height bounds on zeros of quadratic forms over $\overline{\mathbb Q}$

In this paper we establish three results on small-height zeros of quadratic polynomials over $\overline{\mathbb Q}$. For a single quadratic form in $N \geq 2$ variables on a subspace of $\overline{\mathbb Q}^N$, we prove an upper bound on the height of a smallest nontrivial zero outside of an algebraic set under the assumption that such a zero exists. For a system of $k$ quadratic forms on an $L$-dimensional subspace of $\overline{\mathbb Q}^N$, $N \geq L \geq \frac{k(k+1)}{2}+1$, we prove existence of a nontrivial simultaneous small-height zero. For a system of one or two inhomogeneous quadratic and $m$ linear polynomials in $N \geq m+4$ variables, we obtain upper bounds on the height of a smallest simultaneous zero, if such a zero exists. Our investigation extends previous results on small zeros of quadratic forms, including Cassels' theorem and its various generalizations and contributes to the literature of so-called "absolute" Diophantine results with respect to height. All bounds on height are explicit.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Lattices from Hermitian function fields

We consider the well-known Rosenbloom-Tsfasman function field lattices in the special case of Hermitian function fields. We show that in this case the resulting lattices are generated by their minimal vectors, provide an estimate on the total number of minimal vectors, and derive properties of the automorphism groups of these lattices. Our study continues previous investigations of lattices coming from elliptic curves and finite Abelian groups. The lattices we are faced with here are more subtle than those considered previously, and the proofs of the main results require the replacement of the existing linear algebra approaches by deep results of Gerhard Hiss on the factorization of functions with particular divisor support into lines and their inverses.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Lattices from elliptic curves over finite fields

In their well known book Tsfasman and Vladut introduced a construction of a family of function field lattices from algebraic curves over finite fields, which have asymptotically good packing density in high dimensions. In this paper we study geometric properties of lattices from this construction applied to elliptic curves. In particular, we determine the generating sets, conditions for well-roundedness and a formula for the number of minimal vectors. We also prove a bound on the covering radii of these lattices, which improves on the standard inequalities.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On lattices generated by finite Abelian groups

This paper is devoted to the study of lattices generated by finite Abelian groups. Special species of such lattices arise in the exploration of elliptic curves over finite fields. In case the generating group is cyclic, they are also known as the Barnes lattices. It is shown that for every finite Abelian group with the exception of the cyclic group of order four these lattices have a basis of minimal vectors. Another result provides an improvement of a recent upper bound by Min Sha for the covering radius in the case of the Barnes lattices. Also discussed are properties of the automorphism groups of these lattices.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On the geometry of cyclic lattices

Cyclic lattices are sublattices of $\mathbb Z^N$ that are preserved under the rotational shift operator. Cyclic lattices were introduced by D.~Micciancio and their properties were studied in the recent years by several authors due to their importance in cryptography. In particular, Peikert and Rosen showed that on cyclic lattices in prime dimensions, the shortest independent vectors problem SIVP reduces to the shortest vector problem SVP with a particularly small loss in approximation factor, as compared to general lattices. In this paper, we further investigate geometric properties of cyclic lattices. Our main result is a counting estimate for the number of well-rounded cyclic lattices, indicating that well-rounded lattices are more common among cyclic lattices than generically. We also show that SVP is equivalent to SIVP on a positive proportion of Minkowskian well-rounded cyclic lattices in every dimension. As an example, we demonstrate an explicit construction of a family of such lattices on which this equivalence holds. To conclude, we introduce a class of sublattices of $\mathbb Z^N$ closed under the action of subgroups of the permutation group $S_N$, which are a natural generalization of cyclic lattices, and show that our results extend to all such lattices closed under the action of any $N$-cycle.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Toeplitz determinants with perturbations in the corners

The paper is devoted to exact and asymptotic formulas for the determinants of Toeplitz matrices with perturbations by blocks of fixed size in the four corners. If the norms of the inverses of the unperturbed matrices remain bounded as the matrix dimension goes to infinity, then standard perturbation theory yields asymptotic expressions for the perturbed determinants. This premise is not satisfied for matrices generated by so-called Fisher-Hartwig symbols. In that case we establish formulas for pure single Fisher-Hartwig singularities and for Hermitian matrices induced by general Fisher-Hartwig symbols.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Totally isotropic subspaces of small height in quadratic spaces

Let $K$ be a global field or $\overline{\mathbb Q}$, $F$ a nonzero quadratic form on $K^N$, $N \geq 2$, and $V$ a subspace of $K^N$. We prove the existence of an infinite collection of finite families of small-height maximal totally isotropic subspaces of $(V,F)$ such that each such family spans $V$ as a $K$-vector space. This result generalizes and extends a well known theorem of J. Vaaler and further contributes to the effective study of quadratic forms via height in the general spirit of Cassels' theorem on small zeros of quadratic forms. All bounds on height are explicit.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Lattice point counting and height bounds over number fields and quaternion algebras

An important problem in analytic and geometric combinatorics is estimating the number of lattice points in a compact convex set in a Euclidean space. Such estimates have numerous applications throughout mathematics. In this note, we exhibit applications of a particular estimate of this sort to several counting problems in number theory: counting integral points and units of bounded height over number fields, counting points of bounded height over positive definite quaternion algebras, and counting points of bounded height with a fixed support over global function fields. Our arguments use a collection of height comparison inequalities for heights over a number field and over a quaternion algebra. We also show how these inequalities can be used to obtain existence results for points of bounded height over a quaternion algebra, which constitute non-commutative analogues of variations of the classical Siegel's lemma and Cassels' theorem on small zeros of quadratic forms.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Small zeros of quadratic forms outside of a union of varieties

Let $F$ be a quadratic form in $N \geq 2$ variables defined on a vector space $V \subseteq K^N$ over a global field $K$, and $\Z \subseteq K^N$ be a finite union of varieties defined by families of homogeneous polynomials over $K$. We show that if $V \setminus \Z$ contains a nontrivial zero of $F$, then there exists a linearly independent collection of small-height zeros of $F$ in $V\setminus \Z$, where the height bound does not depend on the height of $\Z$, only on the degrees of its defining polynomials. As a corollary of this result, we show that there exists a small-height maximal totally isotropic subspace $W$ of the quadratic space $(V,F)$ such that $W$ is not contained in $\Z$. Our investigation extends previous results on small zeros of quadratic forms, including Cassels' theorem and its various generalizations. The paper also contains an appendix with two variations of Siegel's lemma. All bounds on height are explicit.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Heights and quadratic forms: on Cassels' theorem and its generalizations

In this survey paper, we discuss the classical Cassels' theorem on existence of small-height zeros of quadratic forms over Q and its many extensions, to different fields and rings, as well as to more general situations, such as existence of totally isotropic small-height subspaces. We also discuss related recent results on effective structural theorems for quadratic spaces, as well as Cassels'-type theorems for small-height zeros of quadratic forms with additional conditions. We conclude with a selection of open problems.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On integral well-rounded lattices in the plane

We investigate distribution of integral well-rounded lattices in the plane, parameterizing the set of their similarity classes by solutions of the family of Pell-type Diophantine equations of the form $x^2+Dy^2=z^2$ where $D>0$ is squarefree. We apply this parameterization to the study of the greatest minimal norm and the highest signal-to-noise ratio on the set of such lattices with fixed determinant, also estimating cardinality of these sets (up to rotation and reflection) for each determinant value. This investigation extends previous work of the first author in the specific cases of integer and hexagonal lattices and is motivated by the importance of integral well-rounded lattices for discrete optimization problems. We briefly discuss an application of our results to planar lattice transmitter networks.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Well-rounded zeta-function of planar arithmetic lattices

We investigate the properties of the zeta-function of well-rounded sublattices of a fixed arithmetic lattice in the plane. In particular, we show that this function has abscissa of convergence at $s=1$ with a real pole of order 2, improving upon a recent result of S. Kuehnlein. We use this result to show that the number of well-rounded sublattices of a planar arithmetic lattice of index less or equal $N$ is $O(N \log N)$ as $N \to \infty$. To obtain these results, we produce a description of integral well-rounded sublattices of a fixed planar integral well-rounded lattice and investigate convergence properties of a zeta-function of similarity classes of such lattices, building on some previous results of the author.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Bounds on generalized Frobenius numbers

Let $N \geq 2$ and let $1 < a_1 < ... < a_N$ be relatively prime integers. The Frobenius number of this $N$-tuple is defined to be the largest positive integer that has no representation as $\sum_{i=1}^N a_i x_i$ where $x_1,...,x_N$ are non-negative integers. More generally, the $s$-Frobenius number is defined to be the largest positive integer that has precisely $s$ distinct representations like this. We use techniques from the Geometry of Numbers to give upper and lower bounds on the $s$-Frobenius number for any nonnegative integer $s$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Generalized Frobenius numbers: Bounds and average behavior

We produce new upper and lower bounds for the s-Frobenius number by relating it to the so called s-covering radius of a certain convex body with respect to a certain lattice; this generalizes a well-known theorem of R. Kannan for the classical Frobenius number. Using these bounds, we obtain results on the average behavior of the s-Frobenius number, extending analogous recent investigations for the classical Frobenius number by a variety of authors. We also derive bounds on the s-covering radius, an interesting geometric quantity in its own right.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On well-rounded ideal lattices

We investigate a connection between two important classes of Euclidean lattices: well-rounded and ideal lattices. A lattice of full rank in a Euclidean space is called well-rounded if its set of minimal vectors spans the whole space. We consider lattices coming from full rings of integers in number fields, proving that only cyclotomic fields give rise to well-rounded lattices. We further study the well-rounded lattices coming from ideals in quadratic rings of integers, showing that there exist infinitely many real and imaginary quadratic number fields containing ideals which give rise to well-rounded lattices in the plane.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Bounds for solid angles of lattices of rank three

We find sharp absolute constants $C_1$ and $C_2$ with the following property: every well-rounded lattice of rank 3 in a Euclidean space has a minimal basis so that the solid angle spanned by these basis vectors lies in the interval $[C_1,C_2]$. In fact, we show that these absolute bounds hold for a larger class of lattices than just well-rounded, and the upper bound holds for all. We state a technical condition on the lattice that may prevent it from satisfying the absolute lower bound on the solid angle, in which case we derive a lower bound in terms of the ratios of successive minima of the lattice. We use this result to show that among all spherical triangles on the unit sphere in $\mathbb R^N$ with vertices on the minimal vectors of a lattice, the smallest possible area is achieved by a configuration of minimal vectors of the (normalized) face centered cubic lattice in $\mathbb R^3$. Such spherical configurations come up in connection with the kissing number problem.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On well-rounded sublattices of the hexagonal lattice

We produce an explicit parameterization of well-rounded sublattices of the hexagonal lattice in the plane, splitting them into similarity classes. We use this parameterization to study the number, the greatest minimal norm, and the highest signal-to-noise ratio of well-rounded sublattices of the hexagonal lattice of a fixed index. This investigation parallels earlier work by Bernstein, Sloane, and Wright where similar questions were addressed on the space of all sublattices of the hexagonal lattice. Our restriction is motivated by the importance of well-rounded lattices for discrete optimization problems. Finally, we also discuss the existence of a natural combinatorial structure on the set of similarity classes of well-rounded sublattices of the hexagonal lattice, induced by the action of a certain matrix monoid.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Revisiting the hexagonal lattice: on optimal lattice circle packing

In this note we give a simple proof of the classical fact that the hexagonal lattice gives the highest density circle packing among all lattices in $R^2$. With the benefit of hindsight, we show that the problem can be restricted to the important class of well-rounded lattices, on which the density function takes a particularly simple form. Our proof emphasizes the role of well-rounded lattices for discrete optimization problems.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Small zeros of hermitian forms over a quaternion algebra

Let $D$ be a positive definite quaternion algebra over a totally real number field $K$, $F(X,Y)$ a hermitian form in 2N variables over $D$, and $Z$ a right $D$-vector space which is isotropic with respect to $F$. We prove the existence of a small-height basis for $Z$ over $D$, such that $F(X,X)$ vanishes at each of the basis vectors. This constitutes a non-commutative analogue of a theorem of Vaaler, and presents an extension of the classical theorem of Cassels on small zeros of rational quadratic forms to the context of quaternion algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

On effective Witt decomposition and Cartan-Dieudonne theorem

Let $K$ be a number field, and let $F$ be a symmetric bilinear form in $2N$ variables over $K$. Let $Z$ be a subspace of $K^N$. A classical theorem of Witt states that the bilinear space $(Z,F)$ can be decomposed into an orthogonal sum of hyperbolic planes, singular, and anisotropic components. We prove the existence of such a decomposition of small height, where all bounds on height are explicit in terms of heights of $F$ and $Z$. We also prove a special version of Siegel's Lemma for a bilinear space, which provides a small-height orthogonal decomposition into one-dimensional subspaces. Finally, we prove an effective version of Cartan-Dieudonn{é} theorem. Namely, we show that every isometry $σ$ of a regular bilinear space $(Z,F)$ can be represented as a product of reflections of small heights with an explicit bound on heights in terms of heights of $F$, $Z$, and $σ$.

0 citations0 reviewsNo code linkedOpen access