Let be a convex body in in which a ball rolls freely and which slides freely in a ball. Let be the intersection of i.i.d. random half-spaces containing chosen according to a certain prescribed probability distribution. We prove an asymptotic upper bound on the variance of the mean width of as . We achieve this result by first proving an asymptotic upper bound on the variance of the weighted volume of random polytopes generated by i.i.d. random points selected according to certain probability distributions, then, using polarity, we transfer this to the circumscribed model.
{"title":"On the variance of the mean width of random polytopes circumscribed around a convex body","authors":"Alexandra Bakó-Szabó, Ferenc Fodor","doi":"10.1112/mtk.12266","DOIUrl":"10.1112/mtk.12266","url":null,"abstract":"<p>Let <span></span><math></math> be a convex body in <span></span><math></math> in which a ball rolls freely and which slides freely in a ball. Let <span></span><math></math> be the intersection of <span></span><math></math> i.i.d. random half-spaces containing <span></span><math></math> chosen according to a certain prescribed probability distribution. We prove an asymptotic upper bound on the variance of the mean width of <span></span><math></math> as <span></span><math></math>. We achieve this result by first proving an asymptotic upper bound on the variance of the weighted volume of random polytopes generated by <span></span><math></math> i.i.d. random points selected according to certain probability distributions, then, using polarity, we transfer this to the circumscribed model.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.12266","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141639576","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}
Krishnendu Bhowmick, Ben Lund, Oliver Roche-Newton
We give a construction of a convex set with cardinality such that contains a convex subset with cardinality . We also consider the following variant of this problem: given a convex set , what is the size of the largest matching such that the set
{"title":"Large convex sets in difference sets","authors":"Krishnendu Bhowmick, Ben Lund, Oliver Roche-Newton","doi":"10.1112/mtk.12263","DOIUrl":"10.1112/mtk.12263","url":null,"abstract":"<p>We give a construction of a convex set <span></span><math></math> with cardinality <span></span><math></math> such that <span></span><math></math> contains a convex subset with cardinality <span></span><math></math>. We also consider the following variant of this problem: given a convex set <span></span><math></math>, what is the size of the largest matching <span></span><math></math> such that the set\u0000\u0000 </p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 3","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.12263","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141488348","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 be a matrix. In this paper, we investigate the set of badly approximable targets for , where is the -torus. It is well known that is a winning set for Schmidt's game and hence is a dense subset of full Hausdorff dimension. We investigate the relationship between the measure of and Diophantine properties of . On the one hand, we give the first examples of a nonsingular such that has full measure with respect to some nontrivial algebraic measure on the torus. For this, we use transference theorems due to Jarnik and Khintchine, and the parametric geometry of numbers in the sense of Roy. On the other hand, we give a novel Diophantine condition on that slightly strengthens nonsingularity, and show that under the assumption that satisfies this condition, is a null-set with respect to any nontrivial algebraic measure on the torus. For this, we use naive homogeneous dynamics, harmonic analysis, and a novel concept that we refer to as mixing convergence of measures.
{"title":"Badly approximable grids and -divergent lattices","authors":"Nikolay Moshchevitin, Anurag Rao, Uri Shapira","doi":"10.1112/mtk.12262","DOIUrl":"10.1112/mtk.12262","url":null,"abstract":"<p>Let <span></span><math></math> be a matrix. In this paper, we investigate the set <span></span><math></math> of badly approximable targets for <span></span><math></math>, where <span></span><math></math> is the <span></span><math></math>-torus. It is well known that <span></span><math></math> is a winning set for Schmidt's game and hence is a dense subset of full Hausdorff dimension. We investigate the relationship between the measure of <span></span><math></math> and Diophantine properties of <span></span><math></math>. On the one hand, we give the first examples of a nonsingular <span></span><math></math> such that <span></span><math></math> has full measure with respect to some nontrivial algebraic measure on the torus. For this, we use transference theorems due to Jarnik and Khintchine, and the parametric geometry of numbers in the sense of Roy. On the other hand, we give a novel Diophantine condition on <span></span><math></math> that slightly strengthens nonsingularity, and show that under the assumption that <span></span><math></math> satisfies this condition, <span></span><math></math> is a null-set with respect to any nontrivial algebraic measure on the torus. For this, we use naive homogeneous dynamics, harmonic analysis, and a novel concept that we refer to as mixing convergence of measures.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 3","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.12262","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141488972","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}
{"title":"Sub-Weyl type range for twisted short sums","authors":"Aritra Ghosh, Mallesham Kummari","doi":"10.1112/mtk.12265","DOIUrl":"10.1112/mtk.12265","url":null,"abstract":"<p>Let\u0000\u0000 </p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 3","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141488956","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}
Let be a prime power and be the rational function field over , the field with elements. Let be a Drinfeld module over and be a nonzero prime ideal of . Over the constant -extension of , we introduce the fine Selmer group associated to the -primary torsion of . We show that it is a cofinitely generated module over . This proves an analogue of Iwasawa's conjecture in this setting, and provides context for the further study of the objects that have been introduced in this article.
{"title":"Iwasawa theory of fine Selmer groups associated to Drinfeld modules","authors":"Anwesh Ray","doi":"10.1112/mtk.12264","DOIUrl":"10.1112/mtk.12264","url":null,"abstract":"<p>Let <span></span><math></math> be a prime power and <span></span><math></math> be the rational function field over <span></span><math></math>, the field with <span></span><math></math> elements. Let <span></span><math></math> be a Drinfeld module over <span></span><math></math> and <span></span><math></math> be a nonzero prime ideal of <span></span><math></math>. Over the constant <span></span><math></math>-extension of <span></span><math></math>, we introduce the fine Selmer group associated to the <span></span><math></math>-primary torsion of <span></span><math></math>. We show that it is a cofinitely generated module over <span></span><math></math>. This proves an analogue of Iwasawa's <span></span><math></math> conjecture in this setting, and provides context for the further study of the objects that have been introduced in this article.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 3","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141488954","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}
A Hajnal–Máté graph is an uncountably chromatic graph on satisfying a certain natural sparseness condition. We investigate Hajnal–Máté graphs and generalizations thereof, focusing on the existence of Hajnal–Máté graphs in models resulting from adding a single Cohen real. In particular, answering a question of Dániel Soukup, we show that such models necessarily contain triangle-free Hajnal–Máté graphs. In the process, we isolate a weakening of club guessing called disjoint-type guessing that we feel is of interest in its own right. We show that disjoint-type guessing is independent of and, if disjoint-type guessing holds in the ground model, then the forcing extension by a single Cohen real contains Hajnal–Máté graphs such that the chromatic numbers of finite subgraphs of grow arbitrarily slowly.
{"title":"Hajnal–Máté graphs, Cohen reals, and disjoint-type guessing","authors":"Chris Lambie-Hanson, Dávid Uhrik","doi":"10.1112/mtk.12261","DOIUrl":"10.1112/mtk.12261","url":null,"abstract":"<p>A Hajnal–Máté graph is an uncountably chromatic graph on <span></span><math></math> satisfying a certain natural sparseness condition. We investigate Hajnal–Máté graphs and generalizations thereof, focusing on the existence of Hajnal–Máté graphs in models resulting from adding a single Cohen real. In particular, answering a question of Dániel Soukup, we show that such models necessarily contain triangle-free Hajnal–Máté graphs. In the process, we isolate a weakening of club guessing called <i>disjoint-type guessing</i> that we feel is of interest in its own right. We show that disjoint-type guessing is independent of <span></span><math></math> and, if disjoint-type guessing holds in the ground model, then the forcing extension by a single Cohen real contains Hajnal–Máté graphs <span></span><math></math> such that the chromatic numbers of finite subgraphs of <span></span><math></math> grow arbitrarily slowly.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 3","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.12261","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141165000","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 this paper, we extend the work of Pollington and Velani [Selecta Math. 11(2005)] to an -arithmetic set-up, where is a finite set of valuations of . In particular, for an absolutely friendly measure supported on a compact set in , we give a summation condition on an approximating function such that almost no point in the compact set is approximable. The crucial ingredient is a version of the simplex lemma that we prove dynamically.
{"title":"On absolutely friendly measures on","authors":"Shreyasi Datta, Justin Liu","doi":"10.1112/mtk.12256","DOIUrl":"10.1112/mtk.12256","url":null,"abstract":"<p>In this paper, we extend the work of Pollington and Velani [Selecta Math. 11(2005)] to an <span></span><math></math>-arithmetic set-up, where <span></span><math></math> is a finite set of valuations of <span></span><math></math>. In particular, for an <i>absolutely friendly</i> measure <span></span><math></math> supported on a compact set in <span></span><math></math>, we give a summation condition on an approximating function <span></span><math></math> such that <span></span><math></math> almost no point in the compact set is <span></span><math></math> approximable. The crucial ingredient is a version of the simplex lemma that we prove dynamically.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 3","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.12256","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141096425","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 prove that product-free subsets of the free group over a finite alphabet have maximum upper density with respect to the natural measure that assigns total weight one to each set of irreducible words of a given length. This confirms a conjecture of Leader, Letzter, Narayanan, and Walters. In more general terms, we actually prove that strongly -product-free sets have maximum upper density in terms of this measure. The bounds are tight.
{"title":"Product-free sets in the free group","authors":"Miquel Ortega, Juanjo Rué, Oriol Serra","doi":"10.1112/mtk.12255","DOIUrl":"10.1112/mtk.12255","url":null,"abstract":"<p>We prove that product-free subsets of the free group over a finite alphabet have maximum upper density <span></span><math></math> with respect to the natural measure that assigns total weight one to each set of irreducible words of a given length. This confirms a conjecture of Leader, Letzter, Narayanan, and Walters. In more general terms, we actually prove that strongly <span></span><math></math>-product-free sets have maximum upper density <span></span><math></math> in terms of this measure. The bounds are tight.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 3","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141069124","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 introduce the centred and the uncentred triangular maximal operators and , respectively, on any locally finite tree in which each vertex has at least three neighbours. We prove that both and are bounded on for every in , that is also bounded on , and that is not of weak type (1, 1) on homogeneous trees. Our proof of the boundedness of hinges on the geometric approach of Córdoba and Fefferman. We also establish bounds for some related maximal operators. Our results are in sharp contrast with the fact that the centred and the uncentred Hardy–Littlewood maximal operators (on balls) may be unbounded on for every even on some trees where the number of neighbours is uniformly bounded.
{"title":"Triangular maximal operators on locally finite trees","authors":"Stefano Meda, Federico Santagati","doi":"10.1112/mtk.12253","DOIUrl":"10.1112/mtk.12253","url":null,"abstract":"<p>We introduce the centred and the uncentred triangular maximal operators <span></span><math></math> and <span></span><math></math>, respectively, on any locally finite tree in which each vertex has at least three neighbours. We prove that both <span></span><math></math> and <span></span><math></math> are bounded on <span></span><math></math> for every <span></span><math></math> in <span></span><math></math>, that <span></span><math></math> is also bounded on <span></span><math></math>, and that <span></span><math></math> is not of weak type (1, 1) on homogeneous trees. Our proof of the <span></span><math></math> boundedness of <span></span><math></math> hinges on the geometric approach of Córdoba and Fefferman. We also establish <span></span><math></math> bounds for some related maximal operators. Our results are in sharp contrast with the fact that the centred and the uncentred Hardy–Littlewood maximal operators (on balls) may be unbounded on <span></span><math></math> for every <span></span><math></math> even on some trees where the number of neighbours is uniformly bounded.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 3","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.12253","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140924815","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 be a -tuple of positive real numbers such that and . A -dimensional vector is said to be -singular if for every , there exists such that for all , the system of inequalities
{"title":"On a lower bound of Hausdorff dimension of weighted singular vectors","authors":"Taehyeong Kim, Jaemin Park","doi":"10.1112/mtk.12252","DOIUrl":"10.1112/mtk.12252","url":null,"abstract":"<p>Let <span></span><math></math> be a <span></span><math></math>-tuple of positive real numbers such that <span></span><math></math> and <span></span><math></math>. A <span></span><math></math>-dimensional vector <span></span><math></math> is said to be <span></span><math></math>-singular if for every <span></span><math></math>, there exists <span></span><math></math> such that for all <span></span><math></math>, the system of inequalities\u0000\u0000 </p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 3","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140924830","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}