Pub Date : 2026-04-01Epub Date: 2025-12-01DOI: 10.1016/j.disc.2025.114909
James Punch
Let be endowed with the Euclidean metric. The covering radius of a lattice is the least distance r such that, given any point of , the distance from that point to Λ is not more than r. Lattices can occur via the unit group of the ring of integers in an algebraic number field , by applying a logarithmic embedding . In this paper, we examine those lattices which arise from the cyclotomic number field , for a given positive integer such that . We then provide improvements to a result of de Araujo in [3], and conclude with an upper bound on the covering radius for this lattice in terms of n and the number of its distinct prime factors. In particular, we improve [3, Lemma 2], and show that, asymptotically, it can be improved no further.
{"title":"An improved upper bound on the covering radius of the logarithmic lattice of Q(ζn)","authors":"James Punch","doi":"10.1016/j.disc.2025.114909","DOIUrl":"10.1016/j.disc.2025.114909","url":null,"abstract":"<div><div>Let <span><math><msup><mrow><mi>R</mi></mrow><mrow><mi>m</mi></mrow></msup></math></span> be endowed with the Euclidean metric. The covering radius of a lattice <span><math><mi>Λ</mi><mo>⊂</mo><msup><mrow><mi>R</mi></mrow><mrow><mi>m</mi></mrow></msup></math></span> is the least distance <em>r</em> such that, given any point of <span><math><msup><mrow><mi>R</mi></mrow><mrow><mi>m</mi></mrow></msup></math></span>, the distance from that point to Λ is not more than <em>r</em>. Lattices can occur via the unit group of the ring of integers in an algebraic number field <span><math><mi>K</mi></math></span>, by applying a logarithmic embedding <span><math><msup><mrow><mi>K</mi></mrow><mrow><mo>⁎</mo></mrow></msup><mo>→</mo><msup><mrow><mi>R</mi></mrow><mrow><mi>m</mi></mrow></msup></math></span>. In this paper, we examine those lattices which arise from the cyclotomic number field <span><math><mi>Q</mi><mo>(</mo><msub><mrow><mi>ζ</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>)</mo></math></span>, for a given positive integer <span><math><mi>n</mi><mo>≥</mo><mn>5</mn></math></span> such that <span><math><mi>n</mi><mo>≢</mo><mn>2</mn><mspace></mspace><mo>(</mo><mrow><mi>mod</mi></mrow><mspace></mspace><mn>4</mn><mo>)</mo></math></span>. We then provide improvements to a result of de Araujo in <span><span>[3]</span></span>, and conclude with an upper bound on the covering radius for this lattice in terms of <em>n</em> and the number of its distinct prime factors. In particular, we improve <span><span>[3, Lemma 2]</span></span>, and show that, asymptotically, it can be improved no further.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114909"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145693662","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}
Pub Date : 2026-04-01Epub Date: 2025-12-02DOI: 10.1016/j.disc.2025.114911
Opeyemi Oyewumi , Adriana Roux , Stephan Wagner
A binary tree (more precisely, an unrooted binary tree) is a tree in which all internal vertices (i.e., non-leaves) are exactly of degree 3. We give an upper bound and a lower bound for the number of maximal independent sets in binary trees together with a characterization of the extremal binary trees. The binary trees with second largest number of maximal independent sets are also characterized.
{"title":"Binary trees with extremal number of maximal independent sets","authors":"Opeyemi Oyewumi , Adriana Roux , Stephan Wagner","doi":"10.1016/j.disc.2025.114911","DOIUrl":"10.1016/j.disc.2025.114911","url":null,"abstract":"<div><div>A binary tree (more precisely, an unrooted binary tree) is a tree in which all internal vertices (i.e., non-leaves) are exactly of degree 3. We give an upper bound and a lower bound for the number of maximal independent sets in binary trees together with a characterization of the extremal binary trees. The binary trees with second largest number of maximal independent sets are also characterized.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114911"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145693659","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}
Pub Date : 2026-04-01Epub Date: 2025-12-29DOI: 10.1016/j.disc.2025.114949
Junchi Zhang , Jianbing Lu , Meizi Ou
This paper is devoted to the study of 2-designs with admitting a flag-transitive automorphism group G. The group G has been shown to be point-primitive of either almost simple or affine type. In this paper, we classify the 2-designs with admitting a flag-transitive almost simple automorphism group with socle or for .
{"title":"Flag-transitive 2-(v,k,λ) designs with λ ≥ (r,λ)2","authors":"Junchi Zhang , Jianbing Lu , Meizi Ou","doi":"10.1016/j.disc.2025.114949","DOIUrl":"10.1016/j.disc.2025.114949","url":null,"abstract":"<div><div>This paper is devoted to the study of 2-designs with <span><math><mi>λ</mi><mo>≥</mo><msup><mrow><mo>(</mo><mi>r</mi><mo>,</mo><mi>λ</mi><mo>)</mo></mrow><mrow><mn>2</mn></mrow></msup></math></span> admitting a flag-transitive automorphism group <em>G</em>. The group <em>G</em> has been shown to be point-primitive of either almost simple or affine type. In this paper, we classify the 2-designs with <span><math><mi>λ</mi><mo>≥</mo><msup><mrow><mo>(</mo><mi>r</mi><mo>,</mo><mi>λ</mi><mo>)</mo></mrow><mrow><mn>2</mn></mrow></msup><mo>></mo><mn>1</mn></math></span> admitting a flag-transitive almost simple automorphism group with socle <span><math><msub><mrow><mi>PSL</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mi>q</mi><mo>)</mo></math></span> or <span><math><msub><mrow><mi>PSU</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mi>q</mi><mo>)</mo></math></span> for <span><math><mi>n</mi><mo>≥</mo><mn>3</mn></math></span>.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114949"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145883883","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}
Pub Date : 2026-04-01Epub Date: 2025-11-24DOI: 10.1016/j.disc.2025.114896
Aseem Dalal, Bhawani Sankar Panda
<div><div>The total chromatic number, <span><math><msup><mrow><mi>χ</mi></mrow><mrow><mo>″</mo></mrow></msup><mo>(</mo><mi>G</mi><mo>)</mo></math></span>, of a graph <em>G</em> is the minimum number of colors required to totally color <em>G</em>. A graph <em>G</em> is of Type 1 is <span><math><msup><mrow><mi>χ</mi></mrow><mrow><mo>″</mo></mrow></msup><mo>(</mo><mi>G</mi><mo>)</mo><mo>=</mo><mi>Δ</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>+</mo><mn>1</mn></math></span> and of Type 2 if <span><math><msup><mrow><mi>χ</mi></mrow><mrow><mo>″</mo></mrow></msup><mo>(</mo><mi>G</mi><mo>)</mo><mo>=</mo><mi>Δ</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>+</mo><mn>2</mn></math></span>. A 1992 result of Chew and Yap shows that all complete multipartite graphs of odd order are of Type 1. For graphs of even order, a long-standing conjecture by Hoffman and Rodger states that a complete multipartite graph <em>G</em> of even order is of Type 2 if and only if either it is regular bipartite, or its deficiency, <span><math><mi>d</mi><mi>e</mi><mi>f</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>=</mo><msub><mrow><mo>∑</mo></mrow><mrow><mi>v</mi><mo>∈</mo><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo></mrow></msub><mo>(</mo><mi>Δ</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>−</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>G</mi></mrow></msub><mo>(</mo><mi>v</mi><mo>)</mo><mo>)</mo></math></span>, is less than the number of parts of odd size. For a complete multipartite graph <span><math><mi>G</mi><mo>=</mo><mi>G</mi><mo>[</mo><msub><mrow><mi>V</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>V</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>V</mi></mrow><mrow><mi>p</mi></mrow></msub><mo>]</mo></math></span> of even order (where <span><math><mo>|</mo><msub><mrow><mi>V</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>|</mo><mo>=</mo><mo>…</mo><mo>=</mo><mo>|</mo><msub><mrow><mi>V</mi></mrow><mrow><mi>m</mi></mrow></msub><mo>|</mo><mo>=</mo><mi>r</mi><mo><</mo><mo>|</mo><msub><mrow><mi>V</mi></mrow><mrow><mi>m</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>|</mo><mo>≤</mo><mo>…</mo><mo>≤</mo><mo>|</mo><msub><mrow><mi>V</mi></mrow><mrow><mi>p</mi></mrow></msub><mo>|</mo></math></span>), the conjecture has been verified in several cases: when <span><math><mi>m</mi><mo>≤</mo><mn>4</mn></math></span>, when <span><math><mi>p</mi><mo>≤</mo><mn>6</mn></math></span> or, when <span><math><mi>d</mi><mi>e</mi><mi>f</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> is very large. In this paper, we prove that the conjecture holds for all such graphs <em>G</em> satisfying<span><span><span><math><mfrac><mrow><mi>m</mi></mrow><mrow><mi>p</mi></mrow></mfrac><mo><</mo><mrow><mo>{</mo><mtable><mtr><mtd><mn>1</mn><mo>/</mo><mn>2</mn></mtd><mtd><mtext>when </mtext><mi>r</mi><mtext> is even, </mtext></mtd></mtr><mtr><mtd><mn>1</mn><mo>/</mo><mn>3</mn></mtd><mtd><mtext>when </mtext><mi>r</mi><mtext> is odd, </mtext></mtd></mtr></mtable></mrow></math></span></span></span> thereb
{"title":"A sufficient condition for complete multipartite graphs to be of Type 1","authors":"Aseem Dalal, Bhawani Sankar Panda","doi":"10.1016/j.disc.2025.114896","DOIUrl":"10.1016/j.disc.2025.114896","url":null,"abstract":"<div><div>The total chromatic number, <span><math><msup><mrow><mi>χ</mi></mrow><mrow><mo>″</mo></mrow></msup><mo>(</mo><mi>G</mi><mo>)</mo></math></span>, of a graph <em>G</em> is the minimum number of colors required to totally color <em>G</em>. A graph <em>G</em> is of Type 1 is <span><math><msup><mrow><mi>χ</mi></mrow><mrow><mo>″</mo></mrow></msup><mo>(</mo><mi>G</mi><mo>)</mo><mo>=</mo><mi>Δ</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>+</mo><mn>1</mn></math></span> and of Type 2 if <span><math><msup><mrow><mi>χ</mi></mrow><mrow><mo>″</mo></mrow></msup><mo>(</mo><mi>G</mi><mo>)</mo><mo>=</mo><mi>Δ</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>+</mo><mn>2</mn></math></span>. A 1992 result of Chew and Yap shows that all complete multipartite graphs of odd order are of Type 1. For graphs of even order, a long-standing conjecture by Hoffman and Rodger states that a complete multipartite graph <em>G</em> of even order is of Type 2 if and only if either it is regular bipartite, or its deficiency, <span><math><mi>d</mi><mi>e</mi><mi>f</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>=</mo><msub><mrow><mo>∑</mo></mrow><mrow><mi>v</mi><mo>∈</mo><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo></mrow></msub><mo>(</mo><mi>Δ</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>−</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>G</mi></mrow></msub><mo>(</mo><mi>v</mi><mo>)</mo><mo>)</mo></math></span>, is less than the number of parts of odd size. For a complete multipartite graph <span><math><mi>G</mi><mo>=</mo><mi>G</mi><mo>[</mo><msub><mrow><mi>V</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>V</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>V</mi></mrow><mrow><mi>p</mi></mrow></msub><mo>]</mo></math></span> of even order (where <span><math><mo>|</mo><msub><mrow><mi>V</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>|</mo><mo>=</mo><mo>…</mo><mo>=</mo><mo>|</mo><msub><mrow><mi>V</mi></mrow><mrow><mi>m</mi></mrow></msub><mo>|</mo><mo>=</mo><mi>r</mi><mo><</mo><mo>|</mo><msub><mrow><mi>V</mi></mrow><mrow><mi>m</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>|</mo><mo>≤</mo><mo>…</mo><mo>≤</mo><mo>|</mo><msub><mrow><mi>V</mi></mrow><mrow><mi>p</mi></mrow></msub><mo>|</mo></math></span>), the conjecture has been verified in several cases: when <span><math><mi>m</mi><mo>≤</mo><mn>4</mn></math></span>, when <span><math><mi>p</mi><mo>≤</mo><mn>6</mn></math></span> or, when <span><math><mi>d</mi><mi>e</mi><mi>f</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> is very large. In this paper, we prove that the conjecture holds for all such graphs <em>G</em> satisfying<span><span><span><math><mfrac><mrow><mi>m</mi></mrow><mrow><mi>p</mi></mrow></mfrac><mo><</mo><mrow><mo>{</mo><mtable><mtr><mtd><mn>1</mn><mo>/</mo><mn>2</mn></mtd><mtd><mtext>when </mtext><mi>r</mi><mtext> is even, </mtext></mtd></mtr><mtr><mtd><mn>1</mn><mo>/</mo><mn>3</mn></mtd><mtd><mtext>when </mtext><mi>r</mi><mtext> is odd, </mtext></mtd></mtr></mtable></mrow></math></span></span></span> thereb","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114896"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145625009","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}
Pub Date : 2026-04-01Epub Date: 2025-11-24DOI: 10.1016/j.disc.2025.114889
Ákos G.Horváth
In this paper, we investigate the configuration theorems of Desargues and Pappus in a synthetic geometric way. We provide a bridge between the two configurations with a third one that can be considered a specification for both. We do not use the theory of collineations or the analytic description of the plane over a ternary ring.
{"title":"A bridge between Desargues' and Pappus' theorems","authors":"Ákos G.Horváth","doi":"10.1016/j.disc.2025.114889","DOIUrl":"10.1016/j.disc.2025.114889","url":null,"abstract":"<div><div>In this paper, we investigate the configuration theorems of Desargues and Pappus in a synthetic geometric way. We provide a bridge between the two configurations with a third one that can be considered a specification for both. We do not use the theory of collineations or the analytic description of the plane over a ternary ring.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114889"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145625008","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 G be a graph with adjacency matrix . We conjecture that where and denote the number of positive and negative eigenvalues of , respectively. This conjecture generalizes to all graphs the well-known absolute bound for strongly regular graphs. The conjecture also relates to a question posed by Torgašev. We prove the conjecture for special graph families, including line graphs and planar graphs, and provide examples where the conjecture is exact. We also conjecture that for any connected graph G, its line graph satisfies , and obtain partial results.
{"title":"A new conjecture on the inertia of graphs","authors":"Saieed Akbari , Clive Elphick , Hitesh Kumar , Shivaramakrishna Pragada , Quanyu Tang","doi":"10.1016/j.disc.2025.114953","DOIUrl":"10.1016/j.disc.2025.114953","url":null,"abstract":"<div><div>Let <em>G</em> be a graph with adjacency matrix <span><math><mi>A</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span>. We conjecture that<span><span><span><math><mn>2</mn><msup><mrow><mi>n</mi></mrow><mrow><mo>+</mo></mrow></msup><mo>(</mo><mi>G</mi><mo>)</mo><mo>≤</mo><msup><mrow><mi>n</mi></mrow><mrow><mo>−</mo></mrow></msup><mo>(</mo><mi>G</mi><mo>)</mo><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mo>−</mo></mrow></msup><mo>(</mo><mi>G</mi><mo>)</mo><mo>+</mo><mn>1</mn><mo>)</mo><mo>,</mo></math></span></span></span> where <span><math><msup><mrow><mi>n</mi></mrow><mrow><mo>+</mo></mrow></msup><mo>(</mo><mi>G</mi><mo>)</mo></math></span> and <span><math><msup><mrow><mi>n</mi></mrow><mrow><mo>−</mo></mrow></msup><mo>(</mo><mi>G</mi><mo>)</mo></math></span> denote the number of positive and negative eigenvalues of <span><math><mi>A</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span>, respectively. This conjecture generalizes to all graphs the well-known <em>absolute bound</em> for strongly regular graphs. The conjecture also relates to a question posed by Torgašev. We prove the conjecture for special graph families, including line graphs and planar graphs, and provide examples where the conjecture is exact. We also conjecture that for any connected graph <em>G</em>, its line graph <span><math><mi>L</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> satisfies <span><math><msup><mrow><mi>n</mi></mrow><mrow><mo>+</mo></mrow></msup><mo>(</mo><mi>L</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>)</mo><mo>≤</mo><msup><mrow><mi>n</mi></mrow><mrow><mo>−</mo></mrow></msup><mo>(</mo><mi>L</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>)</mo><mo>+</mo><mn>1</mn></math></span>, and obtain partial results.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114953"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145840336","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}
Pub Date : 2026-04-01Epub Date: 2025-12-01DOI: 10.1016/j.disc.2025.114907
Dániel Gerbner , Michael E. Picollelli
We say that a hypergraph contains a graph H as a trace if there exists some set such that contains a subhypergraph isomorphic to H. We study the largest number of hyperedges in 3-uniform hypergraphs avoiding some graph F as trace. In particular, we improve a bound given by Luo and Spiro in the case , and obtain exact bounds for large n when F is a book graph.
{"title":"On forbidding graphs as traces of hypergraphs","authors":"Dániel Gerbner , Michael E. Picollelli","doi":"10.1016/j.disc.2025.114907","DOIUrl":"10.1016/j.disc.2025.114907","url":null,"abstract":"<div><div>We say that a hypergraph <span><math><mi>H</mi></math></span> contains a graph <em>H</em> as a trace if there exists some set <span><math><mi>S</mi><mo>⊂</mo><mi>V</mi><mo>(</mo><mi>H</mi><mo>)</mo></math></span> such that <span><math><mi>H</mi><msub><mrow><mo>|</mo></mrow><mrow><mi>S</mi></mrow></msub><mo>=</mo><mo>{</mo><mi>h</mi><mo>∩</mo><mi>S</mi><mo>:</mo><mi>h</mi><mo>∈</mo><mi>E</mi><mo>(</mo><mi>H</mi><mo>)</mo><mo>}</mo></math></span> contains a subhypergraph isomorphic to <em>H</em>. We study the largest number of hyperedges in 3-uniform hypergraphs avoiding some graph <em>F</em> as trace. In particular, we improve a bound given by Luo and Spiro in the case <span><math><mi>F</mi><mo>=</mo><msub><mrow><mi>C</mi></mrow><mrow><mn>4</mn></mrow></msub></math></span>, and obtain exact bounds for large <em>n</em> when <em>F</em> is a book graph.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114907"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145693658","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}
Pub Date : 2026-04-01Epub Date: 2025-11-28DOI: 10.1016/j.disc.2025.114903
Ping Zhang , Honggang Hu , Peng Wang , Yiyuan Luo , Lifa Wu
How can one optimise existing permutation-based pseudorandom functions (PRFs) to minimize the number of components (such as keys, permutations, and inverse permutations) while ensuring beyond-birthday-bound (BBB) security has always been an open problem. This paper focuses on this open problem and proposes a minimal BBB secure permutation-based PRF. Based on PDMMAC, we utilize a single permutation just with forward calls instead of forward and backward calls to construct an improved single-keyed permutation-based PRF, called PDM+. To present better security analyses, we generalize the traditional sum-capture lemma to more general settings. Finally, we prove that PDM+ ensure BBB security up to about adversarial construction and primitive queries by the expectation method and generalized sum-capture lemmas.
{"title":"Minimizing beyond-birthday-bound secure permutation-based pseudorandom function","authors":"Ping Zhang , Honggang Hu , Peng Wang , Yiyuan Luo , Lifa Wu","doi":"10.1016/j.disc.2025.114903","DOIUrl":"10.1016/j.disc.2025.114903","url":null,"abstract":"<div><div>How can one optimise existing permutation-based pseudorandom functions (PRFs) to minimize the number of components (such as keys, permutations, and inverse permutations) while ensuring beyond-birthday-bound (BBB) security has always been an open problem. This paper focuses on this open problem and proposes a minimal BBB secure permutation-based PRF. Based on PDMMAC, we utilize a single permutation just with forward calls instead of forward and backward calls to construct an improved single-keyed permutation-based PRF, called PDM+. To present better security analyses, we generalize the traditional sum-capture lemma to more general settings. Finally, we prove that PDM+ ensure BBB security up to about <span><math><msup><mrow><mn>2</mn></mrow><mrow><mn>2</mn><mi>n</mi><mo>/</mo><mn>3</mn></mrow></msup></math></span> adversarial construction and primitive queries by the expectation method and generalized sum-capture lemmas.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114903"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145625006","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}
Pub Date : 2026-04-01Epub Date: 2025-12-08DOI: 10.1016/j.disc.2025.114935
Yaozong Zhang, Dabin Zheng, Xiaoqiang Wang
Self-orthogonal codes are a subclass of linear codes that are contained within their dual codes. Since self-orthogonal codes are widely used in quantum codes, lattice theory and linear complementary dual (LCD) codes, they have received continuous attention and research. In this paper, we construct a class of self-orthogonal codes by using the defining-set approach, and determine their weight distributions and the parameters of their dual codes. Some considered codes are optimal according to the tables of best codes known maintained at [11] and a class of almost maximum distance separable (AMDS) codes from their duals is obtained. As applications, we obtain a class of new quantum codes, which are MDS or AMDS according to the quantum Singleton bound under certain conditions. Some examples show that the constructed quantum codes have the better parameters than known ones maintained at [6]. Furthermore, a new class of LCD codes is given, which are almost optimal according to the sphere packing bound.
{"title":"A new class of self-orthogonal linear codes and their applications","authors":"Yaozong Zhang, Dabin Zheng, Xiaoqiang Wang","doi":"10.1016/j.disc.2025.114935","DOIUrl":"10.1016/j.disc.2025.114935","url":null,"abstract":"<div><div>Self-orthogonal codes are a subclass of linear codes that are contained within their dual codes. Since self-orthogonal codes are widely used in quantum codes, lattice theory and linear complementary dual (LCD) codes, they have received continuous attention and research. In this paper, we construct a class of self-orthogonal codes by using the defining-set approach, and determine their weight distributions and the parameters of their dual codes. Some considered codes are optimal according to the tables of best codes known maintained at <span><span>[11]</span></span> and a class of almost maximum distance separable (AMDS) codes from their duals is obtained. As applications, we obtain a class of new quantum codes, which are MDS or AMDS according to the quantum Singleton bound under certain conditions. Some examples show that the constructed quantum codes have the better parameters than known ones maintained at <span><span>[6]</span></span>. Furthermore, a new class of LCD codes is given, which are almost optimal according to the sphere packing bound.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114935"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145747782","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}
Pub Date : 2026-04-01Epub Date: 2025-12-29DOI: 10.1016/j.disc.2025.114955
Ziwen Huang , Jian-Bo Lv
Given two positive integers and , an -partition of a graph G is that the set of vertices of G is partitioned into two disjoint subsets such that for each , the induced subgraph is a forest of maximum degree at most . Let be the set of planar graphs with neither 4-cycles nor 6-cycles, and for a positive integer k, let denote a graph of maximum degree at most k. If a graph , it was proved by Nakprsit, Sittitrai and Pimpasalee that G admits a -partition [[12], Discrete Appl. Math., 356 (2024) 44-51]. In this paper, we prove that every graph in admits an -partition which strengthens the result of Nakprsit, Sittitrai and Pimpasalee [12].
{"title":"Partitioning planar graphs without 4-cycles and 6-cycles into two disjoint subcubic forests","authors":"Ziwen Huang , Jian-Bo Lv","doi":"10.1016/j.disc.2025.114955","DOIUrl":"10.1016/j.disc.2025.114955","url":null,"abstract":"<div><div>Given two positive integers <span><math><msub><mrow><mi>k</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> and <span><math><msub><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>, an <span><math><mo>(</mo><msub><mrow><mi>F</mi></mrow><mrow><msub><mrow><mi>k</mi></mrow><mrow><mn>1</mn></mrow></msub></mrow></msub><mo>,</mo><msub><mrow><mi>F</mi></mrow><mrow><msub><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow></msub><mo>)</mo></math></span>-partition of a graph <em>G</em> is that the set of vertices of <em>G</em> is partitioned into two disjoint subsets <span><math><msub><mrow><mi>V</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>V</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> such that for each <span><math><mi>i</mi><mo>∈</mo><mo>{</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>}</mo></math></span>, the induced subgraph <span><math><mi>G</mi><mo>[</mo><msub><mrow><mi>V</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>]</mo></math></span> is a forest of maximum degree at most <span><math><msub><mrow><mi>k</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span>. Let <span><math><msub><mrow><mi>G</mi></mrow><mrow><mn>4</mn><mo>,</mo><mn>6</mn></mrow></msub></math></span> be the set of planar graphs with neither 4-cycles nor 6-cycles, and for a positive integer <em>k</em>, let <span><math><msub><mrow><mi>Δ</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> denote a graph of maximum degree at most <em>k</em>. If a graph <span><math><mi>G</mi><mo>∈</mo><msub><mrow><mi>G</mi></mrow><mrow><mn>4</mn><mo>,</mo><mn>6</mn></mrow></msub></math></span>, it was proved by Nakprsit, Sittitrai and Pimpasalee that <em>G</em> admits a <span><math><mo>(</mo><msub><mrow><mi>Δ</mi></mrow><mrow><mn>3</mn></mrow></msub><mo>,</mo><msub><mrow><mi>Δ</mi></mrow><mrow><mn>4</mn></mrow></msub><mo>)</mo></math></span>-partition [<span><span>[12]</span></span>, Discrete Appl. Math., 356 (2024) 44-51]. In this paper, we prove that every graph in <span><math><msub><mrow><mi>G</mi></mrow><mrow><mn>4</mn><mo>,</mo><mn>6</mn></mrow></msub></math></span> admits an <span><math><mo>(</mo><msub><mrow><mi>F</mi></mrow><mrow><mn>3</mn></mrow></msub><mo>,</mo><msub><mrow><mi>F</mi></mrow><mrow><mn>3</mn></mrow></msub><mo>)</mo></math></span>-partition which strengthens the result of Nakprsit, Sittitrai and Pimpasalee <span><span>[12]</span></span>.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114955"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145883882","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}