62 research outputs found

    On the reconstruction of planar lattice-convex sets from the covariogram

    Full text link
    A finite subset KK of Zd\mathbb{Z}^d is said to be lattice-convex if KK is the intersection of Zd\mathbb{Z}^d with a convex set. The covariogram gKg_K of KZdK\subseteq \mathbb{Z}^d is the function associating to each u \in \integer^d the cardinality of K(K+u)K\cap (K+u). Daurat, G\'erard, and Nivat and independently Gardner, Gronchi, and Zong raised the problem on the reconstruction of lattice-convex sets KK from gKg_K. We provide a partial positive answer to this problem by showing that for d=2d=2 and under mild extra assumptions, gKg_K determines KK up to translations and reflections. As a complement to the theorem on reconstruction we also extend the known counterexamples (i.e., planar lattice-convex sets which are not reconstructible, up to translations and reflections) to an infinite family of counterexamples.Comment: accepted in Discrete and Computational Geometr

    Approximation of corner polyhedra with families of intersection cuts

    Full text link
    We study the problem of approximating the corner polyhedron using intersection cuts derived from families of lattice-free sets in Rn\mathbb{R}^n. In particular, we look at the problem of characterizing families that approximate the corner polyhedron up to a constant factor, which depends only on nn and not the data or dimension of the corner polyhedron. The literature already contains several results in this direction. In this paper, we use the maximum number of facets of lattice-free sets in a family as a measure of its complexity and precisely characterize the level of complexity of a family required for constant factor approximations. As one of the main results, we show that, for each natural number nn, a corner polyhedron with nn basic integer variables and an arbitrary number of continuous non-basic variables is approximated up to a constant factor by intersection cuts from lattice-free sets with at most ii facets if i>2n1i> 2^{n-1} and that no such approximation is possible if i2n1i \leq 2^{n-1}. When the approximation factor is allowed to depend on the denominator of the fractional vertex of the linear relaxation of the corner polyhedron, we show that the threshold is i>ni > n versus ini \leq n. The tools introduced for proving such results are of independent interest for studying intersection cuts

    Centerpoints: a link between optimization and convex geometry

    Get PDF
    We introduce a concept that generalizes several different notions of a “centerpoint” in the literature. We develop an oracle-based algorithm for convex mixed-integer optimization based on centerpoints. Further, we show that algorithms based on centerpoints are “best possible” in a certain sense. Motivated by this, we establish several structural results about this concept and provide efficient algorithms for computing these points

    Langmuir wave linear evolution in inhomogeneous nonstationary anisotropic plasma

    Full text link
    Equations describing the linear evolution of a non-dissipative Langmuir wave in inhomogeneous nonstationary anisotropic plasma without magnetic field are derived in the geometrical optics approximation. A continuity equation is obtained for the wave action density, and the conditions for the action conservation are formulated. In homogeneous plasma, the wave field E universally scales with the electron density N as E ~ N^{3/4}, whereas the wavevector evolution varies depending on the wave geometry

    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,x0}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

    Extended Thromboprophylaxis with Betrixaban in Acutely Ill Medical Patients

    Get PDF
    Background Patients with acute medical illnesses are at prolonged risk for venous thrombosis. However, the appropriate duration of thromboprophylaxis remains unknown. Methods Patients who were hospitalized for acute medical illnesses were randomly assigned to receive subcutaneous enoxaparin (at a dose of 40 mg once daily) for 10±4 days plus oral betrixaban placebo for 35 to 42 days or subcutaneous enoxaparin placebo for 10±4 days plus oral betrixaban (at a dose of 80 mg once daily) for 35 to 42 days. We performed sequential analyses in three prespecified, progressively inclusive cohorts: patients with an elevated d-dimer level (cohort 1), patients with an elevated d-dimer level or an age of at least 75 years (cohort 2), and all the enrolled patients (overall population cohort). The statistical analysis plan specified that if the between-group difference in any analysis in this sequence was not significant, the other analyses would be considered exploratory. The primary efficacy outcome was a composite of asymptomatic proximal deep-vein thrombosis and symptomatic venous thromboembolism. The principal safety outcome was major bleeding. Results A total of 7513 patients underwent randomization. In cohort 1, the primary efficacy outcome occurred in 6.9% of patients receiving betrixaban and 8.5% receiving enoxaparin (relative risk in the betrixaban group, 0.81; 95% confidence interval [CI], 0.65 to 1.00; P=0.054). The rates were 5.6% and 7.1%, respectively (relative risk, 0.80; 95% CI, 0.66 to 0.98; P=0.03) in cohort 2 and 5.3% and 7.0% (relative risk, 0.76; 95% CI, 0.63 to 0.92; P=0.006) in the overall population. (The last two analyses were considered to be exploratory owing to the result in cohort 1.) In the overall population, major bleeding occurred in 0.7% of the betrixaban group and 0.6% of the enoxaparin group (relative risk, 1.19; 95% CI, 0.67 to 2.12; P=0.55). Conclusions Among acutely ill medical patients with an elevated d-dimer level, there was no significant difference between extended-duration betrixaban and a standard regimen of enoxaparin in the prespecified primary efficacy outcome. However, prespecified exploratory analyses provided evidence suggesting a benefit for betrixaban in the two larger cohorts. (Funded by Portola Pharmaceuticals; APEX ClinicalTrials.gov number, NCT01583218. opens in new tab.
    corecore