318 research outputs found

    Integer Points in Knapsack Polytopes and s-covering Radius

    Full text link
    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 kk Lattice Points: Their Semigroup Structure and the k-Frobenius Problem

    Full text link
    Given an integral d×nd \times n matrix AA, 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 PA(b)={x:Ax=b,x≥0}P_A(b)=\{x: Ax=b, x\geq0\}. 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 PA(b)∩ZnP_A(b) \cap {\mathbb Z}^n has at least kk 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 bb for which PA(b)∩ZnP_A(b) \cap {\mathbb Z}^n has exactly kk solutions or fewer than kk solutions. (2) A computational complexity theory. We show that, when nn, kk 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 kk solutions. (3) Applications and computation for the kk-Frobenius numbers. Using Generating functions we prove that for fixed n,kn,k the kk-Frobenius number can be computed in polynomial time. This generalizes a well-known result for k=1k=1 by R. Kannan. Using some adaptation of dynamic programming we show some practical computations of kk-Frobenius numbers and their relatives

    The Frobenius problem, rational polytopes, and Fourier-Dedekind Sums

    Get PDF
    We study the number of lattice points in integer dilates of the rational polytope P=(x1,...,xn)∈R≥0n:∑k=1nxkak≤1P = (x_1,...,x_n) \in \R_{\geq 0}^n : \sum_{k=1}^n x_k a_k \leq 1, where a1,...,ana_1,...,a_n are positive integers. This polytope is closely related to the linear Diophantine problem of Frobenius: given relatively prime positive integers a1,...,ana_1,...,a_n, find the largest value of t (the Frobenius number) such that m1a1+...+mnan=tm_1 a_1 + ... + m_n a_n = t has no solution in positive integers m1,...,mnm_1,...,m_n. This is equivalent to the problem of finding the largest dilate tP such that the facet ∑k=1nxkak=t\sum_{k=1}^n x_k a_k = t 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

    Full text link
    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

    Get PDF
    We study the singularities (blow-ups) of the Toda lattice associated with a real split semisimple Lie algebra g\mathfrak g. 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 K(Fq)K({\mathbb F}_q) related to the maximal compact subgroup KK of the group Gˇ\check G with gˇ=Lie(Gˇ)\check{\mathfrak g}={\rm Lie}(\check G) over the finite field Fq{\mathbb F}_q. Here gˇ\check{\mathfrak g} is the Langlands dual of g{\mathfrak g}. The blow-ups of the Toda lattice are given by the zero set of the τ\tau-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 τ\tau-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
    • …
    corecore