Let and be natural numbers greater or equal to 2. Let be a homogeneous polynomial in variables of degree with integer coefficients , where denotes the inner product, and denotes the Veronese embedding with . Consider a variety in , defined by . In this paper, we examine a set of integer vectors , defined by
{"title":"The local solubility for homogeneous polynomials with random coefficients over thin sets","authors":"Heejong Lee, Seungsu Lee, Kiseok Yeon","doi":"10.1112/mtk.12282","DOIUrl":"https://doi.org/10.1112/mtk.12282","url":null,"abstract":"<p>Let <span></span><math></math> and <span></span><math></math> be natural numbers greater or equal to 2. Let <span></span><math></math> be a homogeneous polynomial in <span></span><math></math> variables of degree <span></span><math></math> with integer coefficients <span></span><math></math>, where <span></span><math></math> denotes the inner product, and <span></span><math></math> denotes the Veronese embedding with <span></span><math></math>. Consider a variety <span></span><math></math> in <span></span><math></math>, defined by <span></span><math></math>. In this paper, we examine a set of integer vectors <span></span><math></math>, defined by\u0000\u0000 </p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142360018","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 prove that for any , there exists a constant such that the following is true. Let be an infinite sequence of bipartite graphs such that and hold for all . Then, in any -edge-coloured complete graph , there is a collection of at most monochromatic subgraphs, each of which is isomorphic to an element of , whose vertex sets partition . This proves a conjecture of Corsten and Mendonça in a strong form and generalises results on the multi-colour Ramsey numbers of bounded-degree bipartite graphs. It also settles the bipartite case of a general conjecture of Grinshpun and Sárközy.
{"title":"Tiling with monochromatic bipartite graphs of bounded maximum degree","authors":"António Girão, Oliver Janzer","doi":"10.1112/mtk.12280","DOIUrl":"https://doi.org/10.1112/mtk.12280","url":null,"abstract":"<p>We prove that for any <span></span><math></math>, there exists a constant <span></span><math></math> such that the following is true. Let <span></span><math></math> be an infinite sequence of bipartite graphs such that <span></span><math></math> and <span></span><math></math> hold for all <span></span><math></math>. Then, in any <span></span><math></math>-edge-coloured complete graph <span></span><math></math>, there is a collection of at most <span></span><math></math> monochromatic subgraphs, each of which is isomorphic to an element of <span></span><math></math>, whose vertex sets partition <span></span><math></math>. This proves a conjecture of Corsten and Mendonça in a strong form and generalises results on the multi-colour Ramsey numbers of bounded-degree bipartite graphs. It also settles the bipartite case of a general conjecture of Grinshpun and Sárközy.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.12280","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142324691","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 article, we examine the Poissonian pair correlation (PPC) statistic for higher dimensional real sequences. Specifically, we demonstrate that for , almost all , the sequence in has PPC conditionally on the additive energy bound of . This bound is more relaxed compared to the additive energy bound for one dimension as discussed in [Aistleitner, El-Baz, and Munsch, Geom. Funct. Anal. 31 (2021), 483–512]. More generally, we derive the PPC for for almost all . As a consequence we establish the metric PPC for provided that all of the are greater than two.
{"title":"Poissonian pair correlation for higher dimensional real sequences","authors":"Tanmoy Bera, Mithun Kumar Das, Anirban Mukhopadhyay","doi":"10.1112/mtk.12283","DOIUrl":"https://doi.org/10.1112/mtk.12283","url":null,"abstract":"<p>In this article, we examine the Poissonian pair correlation (PPC) statistic for higher dimensional real sequences. Specifically, we demonstrate that for <span></span><math></math>, almost all <span></span><math></math>, the sequence <span></span><math></math> in <span></span><math></math> has PPC conditionally on the additive energy bound of <span></span><math></math>. This bound is more relaxed compared to the additive energy bound for one dimension as discussed in [Aistleitner, El-Baz, and Munsch, Geom. Funct. Anal. <b>31</b> (2021), 483–512]. More generally, we derive the PPC for <span></span><math></math> for almost all <span></span><math></math>. As a consequence we establish the metric PPC for <span></span><math></math> provided that all of the <span></span><math></math> are greater than two.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.12283","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142324692","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}
Given a graph on vertices with edges, each of unit resistance, how small can the average resistance between pairs of vertices be? There are two very plausible extremal constructions — graphs like a star, and graphs which are close to regular — with the transition between them occurring when the average degree is 3. However, in this paper, we show that there are significantly better constructions for a range of average degree including average degree near 3. A key idea is to link this question to a analogous question about rooted graphs — namely ‘which rooted graph minimises the average resistance to the root?’. The rooted case is much simpler to analyse that the unrooted, and the one of the main results of this paper is that the two cases are asymptotically equivalent.
{"title":"Optimal resistor networks","authors":"J. Robert Johnson, Mark Walters","doi":"10.1112/mtk.12278","DOIUrl":"https://doi.org/10.1112/mtk.12278","url":null,"abstract":"<p>Given a graph on <span></span><math></math> vertices with <span></span><math></math> edges, each of unit resistance, how small can the average resistance between pairs of vertices be? There are two very plausible extremal constructions — graphs like a star, and graphs which are close to regular — with the transition between them occurring when the average degree is 3. However, in this paper, we show that there are significantly better constructions for a range of average degree including average degree near 3. A key idea is to link this question to a analogous question about rooted graphs — namely ‘which rooted graph minimises the average resistance to the root?’. The rooted case is much simpler to analyse that the unrooted, and the one of the main results of this paper is that the two cases are asymptotically equivalent.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.12278","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142152263","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 study the integer solutions of a family of Fermat-type equations of signature , . We provide an algorithmically testable set of conditions which, if satisfied, imply the existence of a constant such that if , there are no solutions of the equation. Our methods use the modular method for Diophantine equations, along with level lowering and Galois theory.
{"title":"Asymptotic Fermat's last theorem for a family of equations of signature","authors":"Pedro-José Cazorla García","doi":"10.1112/mtk.12279","DOIUrl":"https://doi.org/10.1112/mtk.12279","url":null,"abstract":"<p>In this paper, we study the integer solutions of a family of Fermat-type equations of signature <span></span><math></math>, <span></span><math></math>. We provide an algorithmically testable set of conditions which, if satisfied, imply the existence of a constant <span></span><math></math> such that if <span></span><math></math>, there are no solutions <span></span><math></math> of the equation. Our methods use the modular method for Diophantine equations, along with level lowering and Galois theory.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.12279","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142100080","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 extend classical estimates for the vector balancing constant of equipped with the Euclidean and the maximum norms proved in the 1980s by showing that for and , given vector families with , one may select vectors with
{"title":"Colorful vector balancing","authors":"Gergely Ambrus, Rainie Bozzai","doi":"10.1112/mtk.12274","DOIUrl":"https://doi.org/10.1112/mtk.12274","url":null,"abstract":"<p>We extend classical estimates for the vector balancing constant of <span></span><math></math> equipped with the Euclidean and the maximum norms proved in the 1980s by showing that for <span></span><math></math> and <span></span><math></math>, given vector families <span></span><math></math> with <span></span><math></math>, one may select vectors <span></span><math></math> with\u0000\u0000 </p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.12274","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142089869","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}
The conjectured squarefree density of an integral polynomial in variables is an Euler product which can be considered as a product of local densities. We show that a necessary and sufficient condition for to be 0 when is a polynomial in variables over the integers, is that either there is a prime such that the values of at all integer points are divisible by or the polynomial is not squarefree as a polynomial. We also show that generally the upper squarefree density satisfies .
{"title":"A note on the squarefree density of polynomials","authors":"R. C. Vaughan, Yu. G. Zarhin","doi":"10.1112/mtk.12275","DOIUrl":"https://doi.org/10.1112/mtk.12275","url":null,"abstract":"<p>The conjectured squarefree density of an integral polynomial <span></span><math></math> in <span></span><math></math> variables is an Euler product <span></span><math></math> which can be considered as a product of local densities. We show that a necessary and sufficient condition for <span></span><math></math> to be 0 when <span></span><math></math> is a polynomial in <span></span><math></math> variables over the integers, is that either there is a prime <span></span><math></math> such that the values of <span></span><math></math> at all integer points are divisible by <span></span><math></math> or the polynomial is not squarefree as a polynomial. We also show that generally the upper squarefree density <span></span><math></math> satisfies <span></span><math></math>.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.12275","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142077770","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 integers. Using a fragmentation technique, we characterise -tuples of non-empty families of partitions of such that it suffices that an order- tensor has bounded -rank for each for it to have bounded -rank. On the way, we prove power lower bounds on suitable products of diagonal tensors, providing a qualitative answer to a question of Naslund.
{"title":"The interplay between bounded ranks of tensors arising from partitions","authors":"Thomas Karam","doi":"10.1112/mtk.12277","DOIUrl":"https://doi.org/10.1112/mtk.12277","url":null,"abstract":"<p>Let <span></span><math></math> be integers. Using a fragmentation technique, we characterise <span></span><math></math>-tuples <span></span><math></math> of non-empty families of partitions of <span></span><math></math> such that it suffices that an order-<span></span><math></math> tensor has bounded <span></span><math></math>-rank for each <span></span><math></math> for it to have bounded <span></span><math></math>-rank. On the way, we prove power lower bounds on suitable products of diagonal tensors, providing a qualitative answer to a question of Naslund.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142077971","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 positive integer. Let be a henselian local ring with residue field of th level . We give some upper and lower bounds for the th Waring number in terms of and . In large number of cases, we are able to compute . Similar results for the th Waring number of the total ring of fractions of are obtained. We then provide applications. In particular, we compute and for and any prime .
{"title":"On Waring numbers of henselian rings","authors":"Tomasz Kowalczyk, Piotr Miska","doi":"10.1112/mtk.12276","DOIUrl":"https://doi.org/10.1112/mtk.12276","url":null,"abstract":"<p>Let <span></span><math></math> be a positive integer. Let <span></span><math></math> be a henselian local ring with residue field <span></span><math></math> of <span></span><math></math>th level <span></span><math></math>. We give some upper and lower bounds for the <span></span><math></math>th Waring number <span></span><math></math> in terms of <span></span><math></math> and <span></span><math></math>. In large number of cases, we are able to compute <span></span><math></math>. Similar results for the <span></span><math></math>th Waring number of the total ring of fractions of <span></span><math></math> are obtained. We then provide applications. In particular, we compute <span></span><math></math> and <span></span><math></math> for <span></span><math></math> and any prime <span></span><math></math>.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142077970","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 investigate polytopes inscribed into a sphere that are normally equivalent (or strongly isomorphic) to a given polytope . We show that the associated space of polytopes, called the inscribed cone of , is closed under Minkowski addition. Inscribed cones are interpreted as type cones of ideal hyperbolic polytopes and as deformation spaces of Delaunay subdivisions. In particular, testing if there is an inscribed polytope normally equivalent to is polynomial time solvable. Normal equivalence is decided on the level of normal fans and we study the structure of inscribed cones for various classes of polytopes and fans, including simple, simplicial, and even. We classify (virtually) inscribable fans in dimension 2 as well as inscribable permutahedra and nestohedra. A second goal of the paper is to introduce inscribed virtual polytopes. Polytopes with a fixed normal fan form a monoid with respect to Minkowski addition and the associated Grothendieck group is called the type space of . Elements of the type space correspond to formal Minkowski differences and are naturally equipped with vertices and hence with a notion of inscribability. We show that inscribed virtual polytopes form a subgroup, which can be nontrivial even if does not have actual inscribed polytopes. We relate inscribed virtual polytopes to routed particle trajectories, that is, piecewise-linear trajectories of particles in a ball with restricted directions. The state spaces gives rise to connected groupoids generated by reflections, called reflection groupoids. The endomorphism groups of reflection groupoids can be thought of as discrete holonomy groups of the trajectories and we determine when they are reflection groups.
{"title":"Inscribable fans I: Inscribed cones and virtual polytopes","authors":"Sebastian Manecke, Raman Sanyal","doi":"10.1112/mtk.12270","DOIUrl":"https://doi.org/10.1112/mtk.12270","url":null,"abstract":"<p>We investigate polytopes inscribed into a sphere that are normally equivalent (or strongly isomorphic) to a given polytope <span></span><math></math>. We show that the associated space of polytopes, called the <i>inscribed cone</i> of <span></span><math></math>, is closed under Minkowski addition. Inscribed cones are interpreted as type cones of ideal hyperbolic polytopes and as deformation spaces of Delaunay subdivisions. In particular, testing if there is an inscribed polytope normally equivalent to <span></span><math></math> is polynomial time solvable. Normal equivalence is decided on the level of normal fans and we study the structure of inscribed cones for various classes of polytopes and fans, including simple, simplicial, and even. We classify (virtually) inscribable fans in dimension 2 as well as inscribable permutahedra and nestohedra. A second goal of the paper is to introduce inscribed <i>virtual</i> polytopes. Polytopes with a fixed normal fan <span></span><math></math> form a monoid with respect to Minkowski addition and the associated Grothendieck group is called the <i>type space</i> of <span></span><math></math>. Elements of the type space correspond to formal Minkowski differences and are naturally equipped with vertices and hence with a notion of inscribability. We show that inscribed virtual polytopes form a subgroup, which can be nontrivial even if <span></span><math></math> does not have actual inscribed polytopes. We relate inscribed virtual polytopes to routed particle trajectories, that is, piecewise-linear trajectories of particles in a ball with restricted directions. The state spaces gives rise to connected groupoids generated by reflections, called <i>reflection groupoids</i>. The endomorphism groups of reflection groupoids can be thought of as discrete holonomy groups of the trajectories and we determine when they are reflection groups.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141991604","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}