318 research outputs found
Integer Points in Knapsack Polytopes and s-covering Radius
Given an integer matrix A satisfying certain regularity assumptions, we
consider for a positive integer s the set F_s(A) of all integer vectors b such
that the associated knapsack polytope P(A,b)={x: Ax=b, x non-negative} contains
at least s integer points. In this paper we investigate the structure of the
set F_s(A) sing the concept of s-covering radius. In particular, in a special
case we prove an optimal lower bound for the s-Frobenius number
Parametric Polyhedra with at least Lattice Points: Their Semigroup Structure and the k-Frobenius Problem
Given an integral matrix , the well-studied affine semigroup
\mbox{ Sg} (A)=\{ b : Ax=b, \ x \in {\mathbb Z}^n, x \geq 0\} can be
stratified by the number of lattice points inside the parametric polyhedra
. Such families of parametric polyhedra appear in
many areas of combinatorics, convex geometry, algebra and number theory. The
key themes of this paper are: (1) A structure theory that characterizes
precisely the subset \mbox{ Sg}_{\geq k}(A) of all vectors b \in \mbox{
Sg}(A) such that has at least solutions. We
demonstrate that this set is finitely generated, it is a union of translated
copies of a semigroup which can be computed explicitly via Hilbert bases
computations. Related results can be derived for those right-hand-side vectors
for which has exactly solutions or fewer
than solutions. (2) A computational complexity theory. We show that, when
, are fixed natural numbers, one can compute in polynomial time an
encoding of \mbox{ Sg}_{\geq k}(A) as a multivariate generating function,
using a short sum of rational functions. As a consequence, one can identify all
right-hand-side vectors of bounded norm that have at least solutions. (3)
Applications and computation for the -Frobenius numbers. Using Generating
functions we prove that for fixed the -Frobenius number can be
computed in polynomial time. This generalizes a well-known result for by
R. Kannan. Using some adaptation of dynamic programming we show some practical
computations of -Frobenius numbers and their relatives
The Frobenius problem, rational polytopes, and Fourier-Dedekind Sums
We study the number of lattice points in integer dilates of the rational
polytope ,
where are positive integers. This polytope is closely related to
the linear Diophantine problem of Frobenius: given relatively prime positive
integers , find the largest value of t (the Frobenius number) such
that has no solution in positive integers
. This is equivalent to the problem of finding the largest dilate
tP such that the facet contains no lattice point. We
present two methods for computing the Ehrhart quasipolynomials of P which count
the integer points in the dilated polytope and its interior. Within the
computations a Dedekind-like finite Fourier sum appears. We obtain a
reciprocity law for these sums, generalizing a theorem of Gessel. As a
corollary of our formulas, we rederive the reciprocity law for Zagier's
higher-dimensional Dedekind sums. Finally, we find bounds for the
Fourier-Dedekind sums and use them to give new bounds for the Frobenius number.Comment: Added journal referenc
Integer Knapsacks: Average Behavior of the Frobenius Numbers
The main result of the paper shows that the asymptotic growth of the
Frobenius number in average is significantly slower than the growth of the
maximum Frobenius number
Singular structure of Toda lattices and cohomology of certain compact Lie groups
We study the singularities (blow-ups) of the Toda lattice associated with a
real split semisimple Lie algebra . It turns out that the total
number of blow-up points along trajectories of the Toda lattice is given by the
number of points of a Chevalley group related to the maximal
compact subgroup of the group with over the finite field . Here is the Langlands dual of . The blow-ups of the Toda lattice
are given by the zero set of the -functions. For example, the blow-ups of
the Toda lattice of A-type are determined by the zeros of the Schur polynomials
associated with rectangular Young diagrams. Those Schur polynomials are the
-functions for the nilpotent Toda lattices. Then we conjecture that the
number of blow-ups is also given by the number of real roots of those Schur
polynomials for a specific variable. We also discuss the case of periodic Toda
lattice in connection with the real cohomology of the flag manifold associated
to an affine Kac-Moody algebra.Comment: 23 pages, 12 figures, To appear in the proceedings "Topics in
Integrable Systems, Special Functions, Orthogonal Polynomials and Random
Matrices: Special Volume, Journal of Computational and Applied Mathematics
- …