Home Mathematics Helly numbers of algebraic subsets of ℝd and an extension of Doignon’s Theorem
Article
Licensed
Unlicensed Requires Authentication

Helly numbers of algebraic subsets of ℝd and an extension of Doignon’s Theorem

  • J. A. De Loera EMAIL logo , R. N. La Haye , D. Oliveros and E. Roldán-Pensado
Published/Copyright: October 7, 2017
Become an author with De Gruyter Brill

Abstract

We study S-convex sets, which are the geometric objects obtained as the intersection of the usual convex sets in ℝd with a proper subset S ⊂ ℝd, and contribute new results about their S-Helly numbers. We extend prior work for S = ℝd, ℤd, and ℤdk × ℝk, and give some sharp bounds for several new cases: low-dimensional situations, sets that have some algebraic structure, in particular when S is an arbitrary subgroup of ℝd or when S is the difference between a lattice and some of its sublattices. By abstracting the ingredients of Lovász method we obtain colorful versions of many monochromatic Helly-type results, including several colorful versions of our own results.

MSC 2010: 52C07; 52A35

Communicated by: M. Henk


Acknowledgements

We are grateful to Andrés De Loera-Brust for his suggestions on computing the Helly number of ℙ2. This research was supported by a UC MEXUS grant that helped to establish the collaboration of the UC Davis and UNAM teams. We are grateful for the support.

Funding

The first, second and third authors’ travel was supported in part by the Institute for Mathematics and its Applications and an NSA grant. The third and fourth authors were also supported by CONACYT project 166306 and PAPIIT IN104915.

References

[1] I. Aliev, R. Bassett, J. A. De Loera, Q. Louveaux, A quantitative Doignon–Bell–Scarf theorem. Combinatorica37 (2017), 313–332. MR366678210.1007/s00493-015-3266-9Search in Google Scholar

[2] J. L. Arocha, J. Bracho, L. Montejano, Flat transversals to flats and convex sets of a fixed dimension. Adv. Math. 213 (2007), 902–918. MR2332615 Zbl 1121.5201610.1016/j.aim.2007.01.017Search in Google Scholar

[3] G. Averkov, On maximal S-free sets and the Helly number for the family of S-convex sets. SIAM J. Discrete Math. 27 (2013), 1610–1624. MR3106473 Zbl 1282.9010910.1137/110850463Search in Google Scholar

[4] G. Averkov, R. Weismantel, Transversal numbers over subsets of linear spaces. Adv. Geom. 12 (2012), 19–28. MR2911157 Zbl 1250.5200610.1515/advgeom.2011.028Search in Google Scholar

[5] I. Bárány, A generalization of Carathéodory’s theorem. Discrete Math. 40 (1982), 141–152. MR676720 Zbl 0492.5200510.1016/0012-365X(82)90115-7Search in Google Scholar

[6] I. Bárány, J. Matoušek, A fractional Helly theorem for convex lattice sets. Adv. Math. 174 (2003), 227–235. MR1963693 Zbl 1028.5200310.1016/S0001-8708(02)00037-3Search in Google Scholar

[7] A. Barvinok, A course in convexity, volume 54 of Graduate Studies in Mathematics. Amer. Math. Soc. 2002. MR1940576 Zbl 1014.5200110.1090/gsm/054Search in Google Scholar

[8] D. E. Bell, A theorem concerning the integer lattice. Studies in Appl. Math. 56 (1976/77), 187–188. MR0462617 Zbl 0388.9005110.1002/sapm1977562187Search in Google Scholar

[9] K. L. Clarkson, Las Vegas algorithms for linear and integer programming when the dimension is small. J. Assoc. Comput. Mach. 42 (1995), 488–499. MR1409744 Zbl 0885.6506310.1145/201019.201036Search in Google Scholar

[10] M. Conforti, M. Di Summa, On maximal S-free convex sets and the parameters f(S), h(S). Private communication.Search in Google Scholar

[11] L. Danzer, B. Grünbaum, V. Klee, Helly’s theorem and its relatives. In: Proc. Sympos. Pure Math., Vol. VII, 101–180, Amer. Math. Soc. 1963. MR0157289 Zbl 0132.17401 Zbl 0169.2460110.1090/pspum/007/0157289Search in Google Scholar

[12] J. De Loera, R. La Haye, D. Oliveros, E. Roldán-Pensado, Chance-constrained convex mixed-integer optimization and beyond: s-convex optimization and a generalized calafiore-campi algorithm. To appear in Journal of Convex Analysis. arXiv:1504.00076 [math.MG]Search in Google Scholar

[13] J. De Loera, R. La Haye, D. Rolnick, P. Soberón, Quantitative Tverberg, Helly, & Carathéodory theorems. Preprint, 2015. arXiv 1503.06116 [math.MG]Search in Google Scholar

[14] J. A. De Loera, S. Petrović, D. Stasi, Random sampling in computational algebra: Helly numbers and violator spaces. J. Symbolic Comput. 77 (2016), 1–15. MR3490458 Zbl 0657752810.1016/j.jsc.2016.01.001Search in Google Scholar

[15] D. Dikranjan, Introduction to topological groups. 2013. http://users.dimi.uniud.it/-dikran.dikranjan/ITG.pdfSearch in Google Scholar

[16] J.-P. Doignon, Convexity in cristallographical lattices. J. Geometry3 (1973), 71–85. MR0387090 Zbl 0245.5200410.1007/BF01949705Search in Google Scholar

[17] J.-P. Doignon, J. R. Reay, G. Sierksma, A Tverberg-type generalization of the Helly number of a convexity space. J. Geom. 16 (1981), 117–125. MR642260 Zbl 0468.5200210.1007/BF01917580Search in Google Scholar

[18] J. Eckhoff, Helly, Radon, and Carathéodory type theorems. In: Handbook of convex geometry, Vol. A, B, 389–448, North-Holland 1993. MR1242986 Zbl 0791.5200910.1016/B978-0-444-89596-7.50017-1Search in Google Scholar

[19] L. Fukshansky, Integral points of small height outside of a hypersurface. Monatsh. Math. 147 (2006), 25–41. MR2199121 Zbl 1091.1102410.1007/s00605-005-0333-0Search in Google Scholar

[20] B. Gärtner, J. Matoušek, L. Rüst, P. Škovroň, Violator spaces: structure and algorithms. Discrete Appl. Math. 156 (2008), 2124–2141. MR2437006 Zbl 1163.9065110.1007/11841036_36Search in Google Scholar

[21] B. Grünbaum, The dimension of intersections of convex sets. Pacific J. Math. 12 (1962), 197–202. MR0142054 Zbl 0131.1990310.2140/pjm.1962.12.197Search in Google Scholar

[22] B. Grünbaum, G. C. Shephard, Tilings and patterns. W. H. Freeman and Company, New York 1989. MR992195 Zbl 0746.52001Search in Google Scholar

[23] E. Helly, Über Mengen konvexer Körper mit gemeinschaftlichen Punkten. Jahresber. Dtsch. Math.-Ver. 32 (1923), 175–176.Search in Google Scholar

[24] M. Henk, C. Thiel, Restricted successive minima. Pacific J. Math. 269 (2014), 341–354. MR3238478 Zbl 1314.1104610.2140/pjm.2014.269.341Search in Google Scholar

[25] A. J. Hoffman, Binding constraints and Helly numbers. In: Second International Conference on Combinatorial Mathematics (New York, 1978), volume 319 of Ann. New York Acad. Sci., 284–288, New York 1979. MR556036 Zbl 0489.5201110.1111/j.1749-6632.1979.tb32803.xSearch in Google Scholar

[26] R. E. Jamison-Waldner, Partition numbers for trees and ordered sets. Pacific J. Math. 96 (1981), 115–140. MR634767 Zbl 0482.5201010.2140/pjm.1981.96.115Search in Google Scholar

[27] D. C. Kay, E. W. Womble, Axiomatic convexity theory and relationships between the Carathéodory, Helly, and Radon numbers. Pacific J. Math. 38 (1971), 471–485. MR0310766 Zbl 0235.5200110.2140/pjm.1971.38.471Search in Google Scholar

[28] J. Matoušek, Lectures on discrete geometry. Springer 2002. MR1899299 Zbl 0999.5200610.1007/978-1-4613-0039-7Search in Google Scholar

[29] A. M. Odlyzko, Iterated absolute values of differences of consecutive primes. Math. Comp. 61 (1993), 373–380. MR1182247 Zbl 0781.1103710.1090/S0025-5718-1993-1182247-7Search in Google Scholar

[30] H. E. Scarf, An observation on the structure of production sets with indivisibilities. Proc. Nat. Acad. Sci. USA74 (1977), 3637–3641. MR0452678 Zbl 0381.9008110.1057/9781137024411_1Search in Google Scholar

[31] E. Steinitz, Bedingt konvergente Reihen und konvexe Systeme. J. Reine Angew. Math. 143 (1913), 128–176. MR1580879 Zbl 44.0287.0110.1515/crll.1913.143.128Search in Google Scholar

[32] M. L. J. van de Vel, Theory of convex structures, volume 50 of North-Holland Mathematical Library. North-Holland 1993. MR1234493 Zbl 0785.52001Search in Google Scholar

[33] R. Wenger, Helly-type theorems and geometric transversals. In: Handbook of discrete and computational geometry, 63–82, CRC, Boca Raton, FL 1997. MR1730160 Zbl 0912.52006Search in Google Scholar

Received: 2015-8-10
Revised: 2016-1-24
Published Online: 2017-10-7
Published in Print: 2017-10-26

© 2017 by Walter de Gruyter Berlin/Boston

Downloaded on 13.12.2025 from https://www.degruyterbrill.com/document/doi/10.1515/advgeom-2017-0028/pdf
Scroll to top button