{"title":"Nontriviality of the module of relations for degree 4 polynomials","authors":"Á Serrano Holgado","doi":"10.1007/s10474-025-01541-3","DOIUrl":"10.1007/s10474-025-01541-3","url":null,"abstract":"<div><p>We characterize the nontriviality of the module of relations of an irreducible quartic polynomial in terms of a quotient between its roots. In the case where the base field is <span>(mathbb{Q})</span>, we also give a characterization in terms of the roots of the cubic resolvent of the polynomial.</p></div>","PeriodicalId":50894,"journal":{"name":"Acta Mathematica Hungarica","volume":"176 1","pages":"236 - 243"},"PeriodicalIF":0.6,"publicationDate":"2025-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145160931","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}
{"title":"Operator relations characterizing higher-order differential operators","authors":"W. Fechner, E. Gselmann, A. Świątczak-Kolenda","doi":"10.1007/s10474-025-01540-4","DOIUrl":"10.1007/s10474-025-01540-4","url":null,"abstract":"<div><p>Let <span>(r)</span> be a positive integer, <span>(N)</span> a nonnegative integer and <span>(Omega subset mathbb{R}^{r})</span> be a domain. Further, for all multi-indices <span>(alpha in mathbb{N}^{r})</span>, <span>(|alpha|leq N)</span>, let us consider the partial differential operator <span>(D^{alpha})</span> defined by \u0000<span>(D^{alpha}= frac{partial^{|alpha|}}{partial x_{1}^{alpha_{1}}cdots partial x_{r}^{alpha_{r}}},)</span>where <span>(alpha= (alpha_{1}, ldots, alpha_{r}))</span>. Here, by definition, we mean <span>(D^{0}equiv mathrm{id})</span>. \u0000A straightforward computation shows that if <span>(f, gin mathscr{C}^{N}(Omega))</span> and <span>(alpha in mathbb{N}^{r})</span> with <span>(|alpha|leq N)</span>, then we have \u0000</p><div><div><span>$$D^{alpha}(fcdot g) = sum_{betaleq alpha}binom{alpha}{beta}D^{beta}(f)cdot D^{alpha - beta}(g).$$</span></div><div>\u0000 (*)\u0000 </div></div><p>\u0000This paper is devoted to the study of the identity <span>((ast))</span> in the space <span>(mathscr{C}(Omega))</span>. More precisely, if <span>(r)</span> is a positive integer, <span>(N)</span> is a nonnegative integer and <span>(Omega subset mathbb{R}^{r})</span> is a domain, then we describe all mappings (not necessarily linear) that satisfy the identity <span>((ast))</span> for all possible multi-indices <span>(alphain mathbb{N}^{r})</span>, <span>(|alpha|leq N)</span>. Our main result states that if the domain is <span>(mathscr{C}(Omega))</span>,\u0000then the mappings in question take a particularly specific form. Related results for the space <span>(mathscr{C}^{N}(Omega))</span> are also presented. </p></div>","PeriodicalId":50894,"journal":{"name":"Acta Mathematica Hungarica","volume":"176 1","pages":"264 - 275"},"PeriodicalIF":0.6,"publicationDate":"2025-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10474-025-01540-4.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145169975","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":"Perimetric contraction principle on quadrilaterals in semimetric spaces with triangle functions","authors":"R. K. Bisht","doi":"10.1007/s10474-025-01539-x","DOIUrl":"10.1007/s10474-025-01539-x","url":null,"abstract":"<div><p>This paper investigates the perimetric contraction principle for quadrilaterals, a four-point extension of the Banach contraction principle, within the framework of semimetric spaces using triangle functions introduced by M. Bessenyei and Zs. Páles. We provide new insights into the fixed point theorem for perimetric contractions on quadrilaterals, demonstrating its applicability beyond metric spaces to include ultrametric spaces and distance spaces with power triangle functions. </p></div>","PeriodicalId":50894,"journal":{"name":"Acta Mathematica Hungarica","volume":"176 1","pages":"276 - 289"},"PeriodicalIF":0.6,"publicationDate":"2025-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145166833","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}
{"title":"From Heegaard diagrams to surgery","authors":"J. Nikolić, V. Ovaskainen, Z. Petrić","doi":"10.1007/s10474-025-01532-4","DOIUrl":"10.1007/s10474-025-01532-4","url":null,"abstract":"<div><p>The precise steps of a procedure of going from Heegaard diagrams to framed link diagrams are introduced in this note.</p></div>","PeriodicalId":50894,"journal":{"name":"Acta Mathematica Hungarica","volume":"176 1","pages":"171 - 182"},"PeriodicalIF":0.6,"publicationDate":"2025-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145166873","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}
{"title":"(d)-degree Erdős-Ko-Rado theorem for finite vector spaces","authors":"Y. Shan, J. Zhou","doi":"10.1007/s10474-025-01543-1","DOIUrl":"10.1007/s10474-025-01543-1","url":null,"abstract":"<div><p>Let <span>(V)</span> be an <span>(n)</span>-dimensional vector space over the finite field <span>(mathbb{F}_{q})</span> and let <span>(left[Vatop kright]_q)</span> denote the family of all <span>(k)</span>-dimensional subspaces of <span>(V)</span>. A family <span>(mathcal{F}subseteq left[Vatop kright]_q)</span> is called intersecting if for all <span>(F)</span>, <span>(F'inmathcal{F})</span>, we have <span>( dim (Fcap F')geq 1)</span>. Let <span>(delta_{d}(mathcal{F}))</span> denote the minimum degree in <span>(mathcal{F})</span> of all <span>(d)</span>-dimensional subspaces. In this paper we show that <span>(delta_{d}(mathcal{F})leq left[ n -d -1atop k -d -1right])</span> in any intersecting family <span>(mathcal{F}subseteq left[Vatop kright]_q)</span>, where <span>(k>dgeq 2)</span> and <span>(ngeq 2k+1)</span>.</p></div>","PeriodicalId":50894,"journal":{"name":"Acta Mathematica Hungarica","volume":"176 1","pages":"215 - 235"},"PeriodicalIF":0.6,"publicationDate":"2025-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145166832","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}
{"title":"Sums of Fourier coefficients of certain Eisenstein series of GL(5)","authors":"Ch. Shao, H. Zhang","doi":"10.1007/s10474-025-01544-0","DOIUrl":"10.1007/s10474-025-01544-0","url":null,"abstract":"<div><p>Let <span>(f)</span> be a Hecke-Maass cusp form for <span>(mathrm{SL}_2(mathbb{Z}))</span> with normalized Fourier coefficients <span>(lambda_f(n))</span> and Laplace eigenvalue <span>(1/4+mu_f^2)</span>. Let <span>(g)</span> be a Hecke-Maass cusp form for <span>(mathrm{SL}_2(mathbb{Z}))</span> with normalized Fourier coefficients <span>(lambda_g(n))</span>. In this paper, we study the asymptotic of <span>(sum_{n leq X}lambda_{1boxplus(ftimes g)}(n))</span> and get the explicit dependence of the error term on the spectral parameter <span>(mu_f)</span>.</p></div>","PeriodicalId":50894,"journal":{"name":"Acta Mathematica Hungarica","volume":"176 1","pages":"139 - 170"},"PeriodicalIF":0.6,"publicationDate":"2025-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145166831","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}
{"title":"Inequalities for linear functionals and numerical radii on (mathbf{C}^*)-algebras","authors":"P. Bhunia","doi":"10.1007/s10474-025-01534-2","DOIUrl":"10.1007/s10474-025-01534-2","url":null,"abstract":"<div><p>Let <span>(mathcal{A})</span> be a unital <span>(mathbf{C}^*)</span>-algebra with unit <i>e</i>.\u0000We develop several inequalities for a positive linear functional <i>f</i> on <span>(mathcal{A})</span> and obtain several bounds for the numerical radius <i>v</i>(<i>a</i>) of an element <span>(ain mathcal{A})</span>.\u0000Among other inequalities, we show that if <span>(a_k, b_k, x_kin mathcal{A})</span>, <span>(rin mathbb{N})</span> and <span>(f(e)=1)</span>, then\u0000</p><div><div><span>$$begin{aligned}\u0000bigg| f bigg( sum_{k=1}^n a_k^*x_kb_kbigg)bigg|^{r} & leq frac{n^{r-1}}{sqrt{2}} bigg| fbigg( sum_{k=1}^n big( (b_k^*|x_k| b_k)^{r}+ i (a_k^*|x_k^*|a_k)^{r} big) bigg) bigg| quad (i=sqrt{-1}), \u0000bigg| fbigg( sum_{k=1}^n a_kbigg)bigg|^{2r} & leq frac{n^{2r-1}}{2} f bigg(sum_{k=1}^n textrm{Re} ( |a_k|^r|a_k^*|^r) + frac{1}{2} sum_{k=1}^n (|a_k|^{2r}+ |a_k^*|^{2r} )bigg).end{aligned}$$</span></div></div><p>\u0000We find several equivalent conditions for <span>(v(a)=frac{|a|}{2})</span> and <span>(v^2(a)={frac{1}{4}|a^*a+aa^*|})</span>.\u0000We prove that <span>(v^2(a)={frac{1}{4}|a^*a+aa^*|})</span> (resp., <span>(v(a)=frac{|a|}{2})</span>) if and only if \u0000</p><div><div><span>$$mathbb{S}_{frac12{ | a^*a+aa^*|}^{1/2}} subseteq V(a) subseteq mathbb{D}_{frac12 {| a^*a+aa^*|}^{1/2}}$$</span></div></div><p>\u0000(resp., <span>(mathbb{S}_{frac12 | a|} subseteq V(a) subseteq mathbb{D}_{frac12 | a|})</span>),\u0000where <i>V</i>(<i>a</i>) is the numerical range of <i>a</i> and <span>(mathbb{D}_k)</span> (resp., <span>(mathbb{S}_k)</span>) denotes the circular disk (resp., semi-circular disk) with center at the origin and radius <i>k</i>. We also study inequalities for the <span>((alpha,beta))</span>-normal elements in <span>(mathcal{A})</span>. </p></div>","PeriodicalId":50894,"journal":{"name":"Acta Mathematica Hungarica","volume":"176 1","pages":"111 - 138"},"PeriodicalIF":0.6,"publicationDate":"2025-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145162026","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}
{"title":"Largest component in Boolean sublattices","authors":"J. Galliano, R. J. Kang","doi":"10.1007/s10474-025-01536-0","DOIUrl":"10.1007/s10474-025-01536-0","url":null,"abstract":"<div><p>For a subfamily <span>(mathcal{F}subseteq 2^{[n]})</span> of the Boolean lattice, consider the graph <span>(G_mathcal{F})</span> on <span>(mathcal{F})</span> based on the pairwise inclusion relations among its members. Given a positive integer <i>t</i>, how large can <span>(mathcal{F})</span> be before <span>(G_mathcal{F})</span> must contain some component of order greater than <i>t</i>?\u0000For <i>t</i> = 1, this question was answered exactly almost a century ago by Sperner: the size of a middle layer of the Boolean lattice. For <i>t</i> = 2<sup><i>n</i></sup>, this question is trivial. We are interested in what happens between these two extremes.\u0000For <i>t</i> = 2<sup><i>g</i></sup> with <i>g</i> = <i>g</i>(<i>n</i>) being any integer function that satisfies <span>(g(n)=o(n/log n))</span> as <span>(ntoinfty)</span>, we give an asymptotically sharp answer to the above question: not much larger than the size of a middle layer.\u0000This constitutes a nontrivial generalisation of Sperner's theorem.\u0000We do so by a reduction to a Turán-type problem for rainbow cycles in properly edge-coloured graphs.\u0000Among other results, we also give a sharp answer to the question, how large can <span>(mathcal{F})</span> be before <span>(G_mathcal{F})</span>must be connected?</p></div>","PeriodicalId":50894,"journal":{"name":"Acta Mathematica Hungarica","volume":"176 1","pages":"183 - 214"},"PeriodicalIF":0.6,"publicationDate":"2025-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10474-025-01536-0.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145162028","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":"The categories of corings and coalgebras over a ring are locally countably presentable","authors":"L. Positselski","doi":"10.1007/s10474-025-01538-y","DOIUrl":"10.1007/s10474-025-01538-y","url":null,"abstract":"<div><p>For any commutative ring <i>R</i>, we show that the categories of\u0000<i>R</i>-coalgebras and cocommutative <i>R</i>-coalgebras are locally\u0000<span>(aleph_1)</span>-presentable, while the categories of <i>R</i>-flat\u0000<i>R</i>-coalgebras are <span>(aleph_1)</span>-accessible.\u0000 Similarly, for any associative ring <i>R</i>, the category of <i>R</i>-corings\u0000is locally <span>(aleph_1)</span>-presentable, while the category of\u0000<i>R</i>-<i>R</i>-bimodule flat <i>R</i>-corings is <span>(aleph_1)</span>-accessible.\u0000 The cardinality of the ring <i>R</i> can be arbitrarily large.\u0000 We also discuss <i>R</i>-corings with surjective counit and flat kernel.\u0000 The proofs are straightforward applications of an abstract\u0000category-theoretic principle going back to Ulmer.\u0000 For right or two-sided <i>R</i>-module flat <i>R</i>-corings, our cardinality\u0000estimate for the accessibility rank is not as good.\u0000 A generalization to comonoid objects in accessible monoidal categories\u0000is also considered.\u0000</p></div>","PeriodicalId":50894,"journal":{"name":"Acta Mathematica Hungarica","volume":"176 1","pages":"58 - 85"},"PeriodicalIF":0.6,"publicationDate":"2025-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10474-025-01538-y.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145162027","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":"On the least non-residue in the intersection of a Piatetski–Shapiro sequence and a Beatty sequence","authors":"M. Jing","doi":"10.1007/s10474-025-01537-z","DOIUrl":"10.1007/s10474-025-01537-z","url":null,"abstract":"<div><p>Assume that <span>(alpha>1)</span> is an irrational number, <span>(beta)</span> and <span>(c>1)</span> are real numbers. The corresponding Beatty sequence and Piatetski–Shapiro sequence are defined as\u0000</p><div><div><span>$$mathcal{B}_{alpha,beta}:= {lflooralpha n+betarfloor: ninmathbb{N}} ,,{rm and},, mathcal{N}^c:= {lfloor n^crfloor: ninmathbb{N}},$$</span></div></div><p>\u0000respectively. Here, the symbol <span>(lfloor yrfloor)</span> denotes the largest integer not exceeding <i>y</i>. Let <i>p</i> be a prime, <span>(gamma=c^{-1})</span>, and let <span>(F_{alpha,beta,c}(p))</span> be the least quadratic non-residue in the intersection of <span>(mathcal{B}_{alpha,beta})</span> and <span>(mathcal{N}^c)</span>. For <span>(1<c<8/7)</span>, we obtain <span>(F_{alpha,beta,c}(p)ll_c p^{1/((6gamma-5)4sqrt{e})+varepsilon})</span>. As <span>(crightarrow1^{+})</span>, our result tends to the Burgess bound <span>(p^{1/(4sqrt{e})+varepsilon})</span>.</p></div>","PeriodicalId":50894,"journal":{"name":"Acta Mathematica Hungarica","volume":"176 1","pages":"48 - 57"},"PeriodicalIF":0.6,"publicationDate":"2025-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145161537","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}