In this note, we show existence and regularity of periodic tilings of the Euclidean space into equal cells containing a ball of fixed radius, which minimize either the classical or the fractional perimeter. We also discuss some qualitative properties of minimizers in dimensions 3 and 4.
{"title":"Minimal periodic foams with fixed inradius","authors":"Annalisa Cesaroni, Matteo Novaga","doi":"10.1112/mtk.70020","DOIUrl":"https://doi.org/10.1112/mtk.70020","url":null,"abstract":"<p>In this note, we show existence and regularity of periodic tilings of the Euclidean space into equal cells containing a ball of fixed radius, which minimize either the classical or the fractional perimeter. We also discuss some qualitative properties of minimizers in dimensions 3 and 4.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 2","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.70020","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143861591","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In the previous paper (Skriganov, J. Complexity 56 (2020), 101428), Stolarsky's invariance principle, known in the literature for point distributions on Euclidean spheres, has been extended to the real, complex, and quaternionic projective spaces and the octonionic projective plane. Geometric features of these spaces as well as their models in terms of Jordan algebras have been used very essentially in the proof. In the present paper, a new pure analytic proof of the extended Stolarsky's invariance principle is given, relying on the theory of spherical functions on compact Riemannian symmetric manifolds of rank one.
{"title":"Spherical functions and Stolarsky's invariance principle","authors":"M. M. Skriganov","doi":"10.1112/mtk.70019","DOIUrl":"https://doi.org/10.1112/mtk.70019","url":null,"abstract":"<p>In the previous paper (Skriganov, <i>J. Complexity</i> 56 (2020), 101428), Stolarsky's invariance principle, known in the literature for point distributions on Euclidean spheres, has been extended to the real, complex, and quaternionic projective spaces and the octonionic projective plane. Geometric features of these spaces as well as their models in terms of Jordan algebras have been used very essentially in the proof. In the present paper, a new pure analytic proof of the extended Stolarsky's invariance principle is given, relying on the theory of spherical functions on compact Riemannian symmetric manifolds of rank one.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 2","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143853058","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Recently there have been several works estimating the number of matrices with elements from some finite sets of arithmetic interest and of a given determinant. Typically such results are compared with the trivial upper bound , where is the cardinality of . Here we show that even for arbitrary sets , some recent results from additive combinatorics enable us to obtain a stronger bound with a power saving.
{"title":"On the determinants of matrices with elements from arbitrary sets","authors":"Ilya D. Shkredov, Igor E. Shparlinski","doi":"10.1112/mtk.70018","DOIUrl":"https://doi.org/10.1112/mtk.70018","url":null,"abstract":"<p>Recently there have been several works estimating the number of <span></span><math></math> matrices with elements from some finite sets <span></span><math></math> of arithmetic interest and of a given determinant. Typically such results are compared with the trivial upper bound <span></span><math></math>, where <span></span><math></math> is the cardinality of <span></span><math></math>. Here we show that even for arbitrary sets <span></span><math></math>, some recent results from additive combinatorics enable us to obtain a stronger bound with a power saving.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 2","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-04-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143770450","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We show that any finite family of pairwise intersecting balls in can be pierced by points improving the previously known estimate of . As a corollary, this implies that any 2-illuminable spiky ball in can be illuminated by directions. For the illumination number of convex spiky balls, that is, cap bodies, we show an upper bound in terms of the sizes of certain related spherical codes and coverings. For large dimensions, this results in an upper bound of , which can be compared with the previous established only for the centrally symmetric cap bodies. We also prove the lower bounds of for the three problems above.
{"title":"On a Gallai-type problem and illumination of spiky balls and cap bodies","authors":"Andrii Arman, Andriy Bondarenko, Andriy Prymak, Danylo Radchenko","doi":"10.1112/mtk.70017","DOIUrl":"https://doi.org/10.1112/mtk.70017","url":null,"abstract":"<p>We show that any finite family of pairwise intersecting balls in <span></span><math></math> can be pierced by <span></span><math></math> points improving the previously known estimate of <span></span><math></math>. As a corollary, this implies that any 2-illuminable spiky ball in <span></span><math></math> can be illuminated by <span></span><math></math> directions. For the illumination number of convex spiky balls, that is, cap bodies, we show an upper bound in terms of the sizes of certain related spherical codes and coverings. For large dimensions, this results in an upper bound of <span></span><math></math>, which can be compared with the previous <span></span><math></math> established only for the centrally symmetric cap bodies. We also prove the lower bounds of <span></span><math></math> for the three problems above.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 2","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.70017","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143698904","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We obtain sharp embeddings from the Sobolev space into the space and determine the extremal functions. This improves on a previous estimate of the sharp constants of these embeddings due to Kalyabin.
{"title":"A sharp higher order Sobolev embedding","authors":"Raul Hindov, Shahaf Nitzan, Jan-Fredrik Olsen, Eskil Rydhe","doi":"10.1112/mtk.70012","DOIUrl":"https://doi.org/10.1112/mtk.70012","url":null,"abstract":"<p>We obtain sharp embeddings from the Sobolev space <span></span><math></math> into the space <span></span><math></math> and determine the extremal functions. This improves on a previous estimate of the sharp constants of these embeddings due to Kalyabin.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 2","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-03-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.70012","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143595390","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We develop a calculus of Berezin–Toeplitz operators quantizing exotic classes of smooth functions on compact Kähler manifolds and acting on holomorphic sections of powers of positive line bundles. These functions (classical observables) are exotic in the sense that their derivatives are allowed to grow in ways controlled by local geometry and the power of the line bundle. The properties of this quantization are obtained via careful analysis of the kernels of the operators using Melin and Sjöstrand's method of complex stationary phase. We obtain a functional calculus result, a trace formula, and a parametrix construction for this larger class of functions. These results are crucially used in proving a probabilistic Weyl-law for randomly perturbed (standard) Berezin–Toeplitz operators in Oltman (arXiv:2207.09599).
{"title":"An exotic calculus of Berezin–Toeplitz operators","authors":"Izak Oltman","doi":"10.1112/mtk.70016","DOIUrl":"https://doi.org/10.1112/mtk.70016","url":null,"abstract":"<p>We develop a calculus of Berezin–Toeplitz operators quantizing exotic classes of smooth functions on compact Kähler manifolds and acting on holomorphic sections of powers of positive line bundles. These functions (classical observables) are exotic in the sense that their derivatives are allowed to grow in ways controlled by local geometry and the power of the line bundle. The properties of this quantization are obtained via careful analysis of the kernels of the operators using Melin and Sjöstrand's method of complex stationary phase. We obtain a functional calculus result, a trace formula, and a parametrix construction for this larger class of functions. These results are crucially used in proving a probabilistic Weyl-law for randomly perturbed (standard) Berezin–Toeplitz operators in Oltman (arXiv:2207.09599).</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 2","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-03-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.70016","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143581445","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
If four people with Gaussian-distributed heights stand at Gaussian positions on the plane, the probability that there are exactly two people whose height is above the average of the four is exactly the same as the probability that they stand in convex position; both probabilities are . We show that this is a special case of a more general phenomenon: The problem of determining the position of the mean among the order statistics of Gaussian random points on the real line (Youden's demon problem) is the same as a natural generalization of Sylvester's four point problem to Gaussian points in . Our main tool is the observation that the Gale dual of independent samples in itself can be taken to be a set of independent points (translated to have barycenter at the origin) when the distribution of the points is Gaussian.
{"title":"Youden's demon is Sylvester's problem","authors":"Florian Frick, Andrew Newman, Wesley Pegden","doi":"10.1112/mtk.70015","DOIUrl":"https://doi.org/10.1112/mtk.70015","url":null,"abstract":"<p>If four people with Gaussian-distributed heights stand at Gaussian positions on the plane, the probability that there are exactly two people whose height is above the average of the four is exactly the same as the probability that they stand in convex position; both probabilities are <span></span><math></math>. We show that this is a special case of a more general phenomenon: The problem of determining the position of the mean among the order statistics of Gaussian random points on the real line (Youden's demon problem) is the same as a natural generalization of Sylvester's four point problem to Gaussian points in <span></span><math></math>. Our main tool is the observation that the Gale dual of independent samples in <span></span><math></math> itself can be taken to be a set of independent points (translated to have barycenter at the origin) when the distribution of the points is Gaussian.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 2","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-02-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143431696","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In this paper, we present a unique four-dimensional body of constant width based on the classical notion of focal conics.
{"title":"A four-dimensional peabody of constant width","authors":"Isaac Arelio, Luis Montejano, Deborah Oliveros","doi":"10.1112/mtk.70014","DOIUrl":"https://doi.org/10.1112/mtk.70014","url":null,"abstract":"<p>In this paper, we present a unique four-dimensional body of constant width based on the classical notion of focal conics.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 2","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-02-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.70014","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143404474","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A set of points with finite density is constructed in , with , by adding points to a Poisson process such that any line segment of length in will contain one of the points of the set within distance of it. The constant implied by the big- notation depends on the dimension only.
{"title":"A new construction of forests with low visibility","authors":"Kirill Kashkan","doi":"10.1112/mtk.70013","DOIUrl":"https://doi.org/10.1112/mtk.70013","url":null,"abstract":"<p>A set of points with finite density is constructed in <span></span><math></math>, with <span></span><math></math>, by adding points to a Poisson process such that any line segment of length <span></span><math></math> in <span></span><math></math> will contain one of the points of the set within distance <span></span><math></math> of it. The constant implied by the big-<span></span><math></math> notation depends on the dimension only.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 2","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-02-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.70013","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143362696","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Let and let and be two convex bodies in such that their orthogonal projections and onto any -dimensional subspace are directly congruent, that is, there exists a rotation and a vector such that . Assume also that the 2-dimensional projections of and are pairwise different and they do not have -symmetries. Then and are congruent. We also prove an analogous more general result about twice differentiable functions on the unit sphere in .
{"title":"On convex bodies in , , with directly congruent projections","authors":"Reema A. Sbeih","doi":"10.1112/mtk.70011","DOIUrl":"https://doi.org/10.1112/mtk.70011","url":null,"abstract":"<p>Let <span></span><math></math> and let <span></span><math></math> and <span></span><math></math> be two convex bodies in <span></span><math></math> such that their orthogonal projections <span></span><math></math> and <span></span><math></math> onto any <span></span><math></math>-dimensional subspace <span></span><math></math> are directly congruent, that is, there exists a rotation <span></span><math></math> and a vector <span></span><math></math> such that <span></span><math></math>. Assume also that the 2-dimensional projections of <span></span><math></math> and <span></span><math></math> are pairwise different and they do not have <span></span><math></math>-symmetries. Then <span></span><math></math> and <span></span><math></math> are congruent. We also prove an analogous more general result about twice differentiable functions on the unit sphere in <span></span><math></math>.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 2","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143362806","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}