{"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}
{"title":"Local reflections of choice","authors":"C. Ryan-Smith","doi":"10.1007/s10474-025-01533-3","DOIUrl":"10.1007/s10474-025-01533-3","url":null,"abstract":"<div><p>Under the assumption of small violations of choice with seed \u0000<span>(S)</span> <span>((SVC(S)))</span>, the failure of many choice principles reflect to local properties of <span>(S)</span>, which can be a helpful characterisation for preservation proofs. We demonstrate the reflections of <span>(DC)</span>, <span>(AC_lambda)</span>, <span>(PP)</span>, and other important forms of choice. As a consequence, we show that if <span>(S)</span> is infinite then <span>(S)</span> can be partitioned into <span>(omega)</span> many non-empty subsets.</p></div>","PeriodicalId":50894,"journal":{"name":"Acta Mathematica Hungarica","volume":"176 1","pages":"244 - 257"},"PeriodicalIF":0.6,"publicationDate":"2025-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10474-025-01533-3.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145161288","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 Wielandt's zipper lemma and (sigma)-subnormal subgroups of finite groups","authors":"F. Aseeri, J. Kaspczyk","doi":"10.1007/s10474-025-01531-5","DOIUrl":"10.1007/s10474-025-01531-5","url":null,"abstract":"<div><p>Let <span>(mathbb{P})</span> denote the set of all prime numbers, <i>I</i> be a set and <span>(sigma = lbrace sigma_i mid i in I rbrace)</span> be a partition of <span>(mathbb{P})</span>. A subgroup <i>H</i> of a finite group <i>G</i> is said to be <span>(sigma)</span>-<i>subnormal</i> in <i>G</i> if there is a chain <span>(H = H_0 le H_1 le dots le H_n = G)</span> of subgroups of <i>G</i> such that, for each <span>(1 le j le n)</span>, the subgroup <span>(H_{j-1})</span> is normal in <i>H</i><sub><i>j</i></sub> or <span>(H_j/(H_{j-1})_{H_j})</span> is a <span>(sigma_i)</span>-group for some <span>(i in I)</span>. If <span>(sigma)</span> is the partition of <span>(mathbb{P})</span> into subsets of size one, then the concept of <span>(sigma)</span>-subnormality reduces to the familiar concept of subnormality. In recent years, many results about subnormal subgroups have been extended to results about <span>(sigma)</span>-subnormal subgroups. This line of research is continued in the present note by proving a <span>(sigma)</span>-version of Wielandt's zipper lemma.</p></div>","PeriodicalId":50894,"journal":{"name":"Acta Mathematica Hungarica","volume":"176 1","pages":"258 - 263"},"PeriodicalIF":0.6,"publicationDate":"2025-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145161289","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}
É. Charlier, C. Cisternino, Z. Masáková, E. Pelantová
{"title":"Substitutions and Cantor real numeration systems","authors":"É. Charlier, C. Cisternino, Z. Masáková, E. Pelantová","doi":"10.1007/s10474-025-01535-1","DOIUrl":"10.1007/s10474-025-01535-1","url":null,"abstract":"<div><p>We consider Cantor real numeration system as a frame in which every non-negative real number has a positional representation. The system is defined using a bi-infinite sequence <span>(B=(beta_n)_{ninmathbb{Z}})</span> of real numbers greater than one. We introduce the set of <i>B</i>-integers and code the sequence of gaps between consecutive <i>B</i>-integers by a symbolic sequence in general over the alphabet <span>(mathbb{N})</span>. We show that this sequence is <i>S</i>-adic. We focus on alternate base systems, where the sequence <i>B</i> of bases is periodic, and characterize alternate bases <i>B</i> in which <i>B</i>-integers can be coded by using a symbolic sequence <span>(bf{v}_{it B})</span> over a finite alphabet. With these so-called Parry alternate bases we associate some morphisms and show that <span>(bf{v}_{it B})</span> is a fixed point of their composition. We then provide two classes of Parry alternate bases <i>B</i> generating sturmian fixed points. The paper generalizes results of Fabre and Burdík et al. obtained for the Rényi numerations systems, i.e., in the case when the Cantor base <i>B</i> is a constant sequence.</p></div>","PeriodicalId":50894,"journal":{"name":"Acta Mathematica Hungarica","volume":"176 1","pages":"15 - 47"},"PeriodicalIF":0.6,"publicationDate":"2025-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145161290","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":"Intersecting families with large shadow degree","authors":"P. Frankl, J. Wang","doi":"10.1007/s10474-025-01526-2","DOIUrl":"10.1007/s10474-025-01526-2","url":null,"abstract":"<div><p>A <span>(k)</span>-uniform family <span>(mathcal{F})</span> is called intersecting if <span>(Fcap F'neq emptyset)</span> for all <span>(F,F'in mathcal{F})</span>. The shadow family <span>(partial mathcal{F})</span> is the family of <span>((k-1))</span>-element sets that are contained in some members of <span>(mathcal{F})</span>. The shadow degree (or minimum positive co-degree) of <span>(mathcal{F})</span> is defined as the maximum integer <span>(r)</span> such that every <span>(Ein partial mathcal{F})</span> is contained in at least <span>(r)</span> members of <span>(mathcal{F})</span>. Balogh, Lemons and Palmer [1] determined the maximum size of an intersecting <span>(k)</span>-uniform family with shadow degree at least <span>(r)</span> for <span>(ngeq n_0(k,r))</span>, where <span>(n_0(k,r))</span> is doubly exponential in <span>(k)</span> for <span>(4leq rleq k)</span>. In the present paper, we present a short proof of this result for <span>(ngeq 2frac{(r+1)^r}{binom{2r-1}{r}}kbinom{2k}{k-1})</span> and <span>(4leq rleq k)</span>.</p></div>","PeriodicalId":50894,"journal":{"name":"Acta Mathematica Hungarica","volume":"175 2","pages":"411 - 421"},"PeriodicalIF":0.6,"publicationDate":"2025-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10474-025-01526-2.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145168557","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 isolate bondage number of a graph","authors":"R. Arul Ananthan, S. Balamurugan","doi":"10.1007/s10474-025-01523-5","DOIUrl":"10.1007/s10474-025-01523-5","url":null,"abstract":"<div><p>A set <span>(D)</span> of vertices in a graph <span>(G)</span> is a dominating set, if each vertex of <span>(G)</span> that is not in <span>(D)</span> is adjacent to at least one vertex of <span>(D)</span>. The minimum cardinality among all dominating sets in <span>(G)</span> is called the domination number of <span>(G)</span> and is denoted by <span>(gamma(G))</span>. A dominating set <span>(S)</span> such that the induced subgraph by <span>(S)</span> has at least one isolated vertex is called an <i>isolate dominating set</i>. An isolate dominating set of minimum cardinality is called the <i>isolate domination number</i> and is denoted by <span>(gamma_0(G))</span>. We define the <i>isolate bondage number</i> of a graph <span>(G)</span> to be the cardinality of a smallest set <span>(E)</span> of edges for which <span>(gamma_0(G-E)>gamma_0(G))</span> and is denoted by <span>(b_0(G))</span>. In this paper, we initiate a study on the <i>isolate bondage number</i>.</p></div>","PeriodicalId":50894,"journal":{"name":"Acta Mathematica Hungarica","volume":"175 2","pages":"395 - 410"},"PeriodicalIF":0.6,"publicationDate":"2025-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145167918","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":"An alternative equation for generalized polynomials involving measure and category constraints","authors":"Z. Boros, R. Menzer","doi":"10.1007/s10474-024-01498-9","DOIUrl":"10.1007/s10474-024-01498-9","url":null,"abstract":"<div><p>In this paper we consider a generalized polynomial <span>( f colon mathbb{R}^N to mathbb{R} )</span> that satisfies the additional equation <span>( f(x) f(y) = 0 )</span> for the pairs <span>( (x,y) in D )</span>, where <span>( D subseteq mathbb{R}^{2N} )</span> has a positive Lebesgue measure or it is a second category Baire set. We prove that <span>( f(x) = 0 )</span> for all <span>( x in mathbb{R}^N )</span>. In fact, the first statement is established in a considerably more general setting. Then we formulate statements concerning the signs of generalized monomials <span>( g colon mathbb{R} to mathbb{R} )</span> of even degree that satisfy the inequality <span>( g(x) g(y) geq 0 )</span> for the pairs \u0000<span>( (x,y) in E )</span>, where \u0000<span>( E subseteq mathbb{R}^{2} )</span> has a positive planar Lebesgue measure or it is a second category Baire set.</p></div>","PeriodicalId":50894,"journal":{"name":"Acta Mathematica Hungarica","volume":"175 2","pages":"376 - 394"},"PeriodicalIF":0.6,"publicationDate":"2025-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10474-024-01498-9.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145167917","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}