Pub Date : 2025-03-07DOI: 10.1016/j.disc.2025.114466
Neal Bushaw, Brent Cody, Chris Leffler
We define various notions of energy of a set of vertices in a graph, which generalize two of the most widely studied graphical indices: the Wiener index and the Harary index. We provide a new proof of a result due to Douthett and Krantz, which says that for cycles, the sets of vertices which have minimal energy among all sets of the same size are precisely the maximally even sets, as defined in Clough and Douthett's work on music theory. Generalizing a theorem of Clough and Douthett, we prove that a finite, simple, connected graph is distance degree regular if and only if whenever a set of vertices has minimal energy, its complement also has minimal energy. We also provide several characterizations of sets of vertices in finite paths and cycles for which the sum of all pairwise distances between vertices in the set is maximal among all sets of the same size.
{"title":"Sets of vertices with extremal energy","authors":"Neal Bushaw, Brent Cody, Chris Leffler","doi":"10.1016/j.disc.2025.114466","DOIUrl":"10.1016/j.disc.2025.114466","url":null,"abstract":"<div><div>We define various notions of energy of a set of vertices in a graph, which generalize two of the most widely studied graphical indices: the Wiener index and the Harary index. We provide a new proof of a result due to Douthett and Krantz, which says that for cycles, the sets of vertices which have minimal energy among all sets of the same size are precisely the <em>maximally even sets</em>, as defined in Clough and Douthett's work on music theory. Generalizing a theorem of Clough and Douthett, we prove that a finite, simple, connected graph is distance degree regular if and only if whenever a set of vertices has minimal energy, its complement also has minimal energy. We also provide several characterizations of sets of vertices in finite paths and cycles for which the sum of all pairwise distances between vertices in the set is maximal among all sets of the same size.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 7","pages":"Article 114466"},"PeriodicalIF":0.7,"publicationDate":"2025-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143562108","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 : 2025-03-07DOI: 10.1016/j.disc.2025.114467
Sergiy Koshkin , Jaeho Lee
Panmagic permutations are permutations whose matrices are panmagic squares, better known as maximal configurations of non-attacking queens on a toroidal chessboard. Some of them, affine panmagic permutations, can be conveniently described by linear formulas of modular arithmetic, and we show that their sets are a generalization of groups with N-ary multiplication instead of binary one. With the help of the Post coset theorem, we identify panmagic N-ary groups as cosets of the dihedral subgroup and its extensions in the group of all affine permutations. We also investigate decomposition of panmagic permutations into disjoint cycles and find many connections with classical topics of number theory and combinatorics: square-free numbers, primes, quadratic residues, cycle indices from Polya counting, and linear congruential generators.
{"title":"N-ary groups of panmagic permutations from the Post coset theorem","authors":"Sergiy Koshkin , Jaeho Lee","doi":"10.1016/j.disc.2025.114467","DOIUrl":"10.1016/j.disc.2025.114467","url":null,"abstract":"<div><div>Panmagic permutations are permutations whose matrices are panmagic squares, better known as maximal configurations of non-attacking queens on a toroidal chessboard. Some of them, affine panmagic permutations, can be conveniently described by linear formulas of modular arithmetic, and we show that their sets are a generalization of groups with <em>N</em>-ary multiplication instead of binary one. With the help of the Post coset theorem, we identify panmagic <em>N</em>-ary groups as cosets of the dihedral subgroup and its extensions in the group of all affine permutations. We also investigate decomposition of panmagic permutations into disjoint cycles and find many connections with classical topics of number theory and combinatorics: square-free numbers, <span><math><mn>4</mn><mi>k</mi><mo>+</mo><mn>1</mn></math></span> primes, quadratic residues, cycle indices from Polya counting, and linear congruential generators.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 8","pages":"Article 114467"},"PeriodicalIF":0.7,"publicationDate":"2025-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143563799","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 : 2025-03-07DOI: 10.1016/j.disc.2025.114465
Leijo Jose, Anuradha Sharma
<div><div>Let <span>R</span> be a finite commutative chain ring with the maximal ideal <span><math><mi>γ</mi><mi>R</mi></math></span> of nilpotency index <span><math><mi>e</mi><mo>≥</mo><mn>2</mn></math></span>, and let <span><math><mover><mrow><mi>R</mi></mrow><mrow><mo>ˇ</mo></mrow></mover><mo>=</mo><mi>R</mi><mo>/</mo><msup><mrow><mi>γ</mi></mrow><mrow><mi>s</mi></mrow></msup><mi>R</mi></math></span> for some positive integer <span><math><mi>s</mi><mo><</mo><mi>e</mi></math></span>. In this paper, we study and characterize Galois <span><math><mi>R</mi><mover><mrow><mi>R</mi></mrow><mrow><mo>ˇ</mo></mrow></mover></math></span>-LCD codes of an arbitrary block-length. We show that each weakly-free <span><math><mi>R</mi><mover><mrow><mi>R</mi></mrow><mrow><mo>ˇ</mo></mrow></mover></math></span>-linear code is monomially equivalent to a Galois <span><math><mi>R</mi><mover><mrow><mi>R</mi></mrow><mrow><mo>ˇ</mo></mrow></mover></math></span>-LCD code when <span><math><mo>|</mo><mi>R</mi><mo>/</mo><mi>γ</mi><mi>R</mi><mo>|</mo><mo>></mo><mn>4</mn></math></span>, while it is monomially equivalent to a Euclidean <span><math><mi>R</mi><mover><mrow><mi>R</mi></mrow><mrow><mo>ˇ</mo></mrow></mover></math></span>-LCD code when <span><math><mo>|</mo><mi>R</mi><mo>/</mo><mi>γ</mi><mi>R</mi><mo>|</mo><mo>></mo><mn>3</mn></math></span>. We also obtain enumeration formulae for all Euclidean and Hermitian <span><math><mi>R</mi><mover><mrow><mi>R</mi></mrow><mrow><mo>ˇ</mo></mrow></mover></math></span>-LCD codes of an arbitrary block-length. With the help of these enumeration formulae, we classify all Euclidean <span><math><msub><mrow><mi>Z</mi></mrow><mrow><mn>4</mn></mrow></msub><msub><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>-LCD codes and <span><math><msub><mrow><mi>Z</mi></mrow><mrow><mn>9</mn></mrow></msub><msub><mrow><mi>Z</mi></mrow><mrow><mn>3</mn></mrow></msub></math></span>-LCD codes of block-lengths <span><math><mo>(</mo><mn>1</mn><mo>,</mo><mn>1</mn><mo>)</mo></math></span>, <span><math><mo>(</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>)</mo></math></span>, <span><math><mo>(</mo><mn>2</mn><mo>,</mo><mn>1</mn><mo>)</mo></math></span>, <span><math><mo>(</mo><mn>2</mn><mo>,</mo><mn>2</mn><mo>)</mo></math></span>, <span><math><mo>(</mo><mn>3</mn><mo>,</mo><mn>1</mn><mo>)</mo></math></span> and <span><math><mo>(</mo><mn>3</mn><mo>,</mo><mn>2</mn><mo>)</mo></math></span> and all Hermitian <span><math><mfrac><mrow><msub><mrow><mi>F</mi></mrow><mrow><mn>4</mn></mrow></msub><mo>[</mo><mi>u</mi><mo>]</mo></mrow><mrow><mo>〈</mo><msup><mrow><mi>u</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>〉</mo></mrow></mfrac><mspace></mspace><msub><mrow><mi>F</mi></mrow><mrow><mn>4</mn></mrow></msub></math></span>-LCD codes of block-lengths <span><math><mo>(</mo><mn>1</mn><mo>,</mo><mn>1</mn><mo>)</mo></math></span>, <span><math><mo>(</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>)</mo></math></span>, <span><math><mo>(</mo><mn>2</mn><mo>,</mo><mn>1</mn><mo>)
{"title":"On Galois LCD codes and LCPs of codes over mixed alphabets","authors":"Leijo Jose, Anuradha Sharma","doi":"10.1016/j.disc.2025.114465","DOIUrl":"10.1016/j.disc.2025.114465","url":null,"abstract":"<div><div>Let <span>R</span> be a finite commutative chain ring with the maximal ideal <span><math><mi>γ</mi><mi>R</mi></math></span> of nilpotency index <span><math><mi>e</mi><mo>≥</mo><mn>2</mn></math></span>, and let <span><math><mover><mrow><mi>R</mi></mrow><mrow><mo>ˇ</mo></mrow></mover><mo>=</mo><mi>R</mi><mo>/</mo><msup><mrow><mi>γ</mi></mrow><mrow><mi>s</mi></mrow></msup><mi>R</mi></math></span> for some positive integer <span><math><mi>s</mi><mo><</mo><mi>e</mi></math></span>. In this paper, we study and characterize Galois <span><math><mi>R</mi><mover><mrow><mi>R</mi></mrow><mrow><mo>ˇ</mo></mrow></mover></math></span>-LCD codes of an arbitrary block-length. We show that each weakly-free <span><math><mi>R</mi><mover><mrow><mi>R</mi></mrow><mrow><mo>ˇ</mo></mrow></mover></math></span>-linear code is monomially equivalent to a Galois <span><math><mi>R</mi><mover><mrow><mi>R</mi></mrow><mrow><mo>ˇ</mo></mrow></mover></math></span>-LCD code when <span><math><mo>|</mo><mi>R</mi><mo>/</mo><mi>γ</mi><mi>R</mi><mo>|</mo><mo>></mo><mn>4</mn></math></span>, while it is monomially equivalent to a Euclidean <span><math><mi>R</mi><mover><mrow><mi>R</mi></mrow><mrow><mo>ˇ</mo></mrow></mover></math></span>-LCD code when <span><math><mo>|</mo><mi>R</mi><mo>/</mo><mi>γ</mi><mi>R</mi><mo>|</mo><mo>></mo><mn>3</mn></math></span>. We also obtain enumeration formulae for all Euclidean and Hermitian <span><math><mi>R</mi><mover><mrow><mi>R</mi></mrow><mrow><mo>ˇ</mo></mrow></mover></math></span>-LCD codes of an arbitrary block-length. With the help of these enumeration formulae, we classify all Euclidean <span><math><msub><mrow><mi>Z</mi></mrow><mrow><mn>4</mn></mrow></msub><msub><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>-LCD codes and <span><math><msub><mrow><mi>Z</mi></mrow><mrow><mn>9</mn></mrow></msub><msub><mrow><mi>Z</mi></mrow><mrow><mn>3</mn></mrow></msub></math></span>-LCD codes of block-lengths <span><math><mo>(</mo><mn>1</mn><mo>,</mo><mn>1</mn><mo>)</mo></math></span>, <span><math><mo>(</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>)</mo></math></span>, <span><math><mo>(</mo><mn>2</mn><mo>,</mo><mn>1</mn><mo>)</mo></math></span>, <span><math><mo>(</mo><mn>2</mn><mo>,</mo><mn>2</mn><mo>)</mo></math></span>, <span><math><mo>(</mo><mn>3</mn><mo>,</mo><mn>1</mn><mo>)</mo></math></span> and <span><math><mo>(</mo><mn>3</mn><mo>,</mo><mn>2</mn><mo>)</mo></math></span> and all Hermitian <span><math><mfrac><mrow><msub><mrow><mi>F</mi></mrow><mrow><mn>4</mn></mrow></msub><mo>[</mo><mi>u</mi><mo>]</mo></mrow><mrow><mo>〈</mo><msup><mrow><mi>u</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>〉</mo></mrow></mfrac><mspace></mspace><msub><mrow><mi>F</mi></mrow><mrow><mn>4</mn></mrow></msub></math></span>-LCD codes of block-lengths <span><math><mo>(</mo><mn>1</mn><mo>,</mo><mn>1</mn><mo>)</mo></math></span>, <span><math><mo>(</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>)</mo></math></span>, <span><math><mo>(</mo><mn>2</mn><mo>,</mo><mn>1</mn><mo>)","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 8","pages":"Article 114465"},"PeriodicalIF":0.7,"publicationDate":"2025-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143563865","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 : 2025-03-07DOI: 10.1016/j.disc.2025.114478
Yuefeng Yang
A (di)graph Γ generates a commutative association scheme if and only if the adjacency matrix of Γ generates the Bose-Mesner algebra of . In [18, Theorem 1.1], Monzillo and Penjić proved that, except for amorphic symmetric association schemes, every 3-class association scheme can be generated by the adjacency matrix of a (di)graph. In this paper, we characterize when a commutative association scheme with exactly one pair of nonsymmetric relations can be generated by a digraph under certain assumptions. As an application, we show that each nonsymmetric 4-class association scheme can be generated by a digraph.
{"title":"Every nonsymmetric 4-class association scheme can be generated by a digraph","authors":"Yuefeng Yang","doi":"10.1016/j.disc.2025.114478","DOIUrl":"10.1016/j.disc.2025.114478","url":null,"abstract":"<div><div>A (di)graph Γ generates a commutative association scheme <span><math><mi>X</mi></math></span> if and only if the adjacency matrix of Γ generates the Bose-Mesner algebra of <span><math><mi>X</mi></math></span>. In <span><span>[18, Theorem 1.1]</span></span>, Monzillo and Penjić proved that, except for amorphic symmetric association schemes, every 3-class association scheme can be generated by the adjacency matrix of a (di)graph. In this paper, we characterize when a commutative association scheme with exactly one pair of nonsymmetric relations can be generated by a digraph under certain assumptions. As an application, we show that each nonsymmetric 4-class association scheme can be generated by a digraph.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 8","pages":"Article 114478"},"PeriodicalIF":0.7,"publicationDate":"2025-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143563800","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 : 2025-03-07DOI: 10.1016/j.disc.2025.114475
Wei-Chia Chen , Mao-Pei Tsui
Steinerberger proposed a notion of curvature on graphs involving the graph distance matrix (J. Graph Theory, 2023). We show that nonnegative curvature is almost preserved under three graph operations. We characterize the distance matrix and its null space after adding an edge between two graphs. Let D be the graph distance matrix and 1 be the all-one vector. We provide a way to construct graphs so that the linear system does not have a solution.
{"title":"On Steinerberger curvature and graph distance matrices","authors":"Wei-Chia Chen , Mao-Pei Tsui","doi":"10.1016/j.disc.2025.114475","DOIUrl":"10.1016/j.disc.2025.114475","url":null,"abstract":"<div><div>Steinerberger proposed a notion of curvature on graphs involving the graph distance matrix (J. Graph Theory, 2023). We show that nonnegative curvature is almost preserved under three graph operations. We characterize the distance matrix and its null space after adding an edge between two graphs. Let <em>D</em> be the graph distance matrix and <strong>1</strong> be the all-one vector. We provide a way to construct graphs so that the linear system <span><math><mi>D</mi><mi>x</mi><mo>=</mo><mn>1</mn></math></span> does not have a solution.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 8","pages":"Article 114475"},"PeriodicalIF":0.7,"publicationDate":"2025-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143563864","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 : 2025-03-07DOI: 10.1016/j.disc.2025.114476
Qing Yang, Yingzhi Tian
Luo, Tian and Wu (2022) conjectured that for any tree T with bipartition X and Y, every k-connected bipartite graph G with minimum degree at least , where , contains a tree such that is still k-connected. Note that when the tree T is the path with order m. In this paper, we prove that every k-connected bipartite graph G with minimum degree at least contains a path P of order m such that remains k-connected. This shows that the conjecture is true for paths with odd order. For paths with even order, the minimum degree bound in this paper is the bound in the conjecture plus one.
{"title":"Proof of a conjecture on connectivity keeping odd paths in k-connected bipartite graphs","authors":"Qing Yang, Yingzhi Tian","doi":"10.1016/j.disc.2025.114476","DOIUrl":"10.1016/j.disc.2025.114476","url":null,"abstract":"<div><div>Luo, Tian and Wu (2022) conjectured that for any tree <em>T</em> with bipartition <em>X</em> and <em>Y</em>, every <em>k</em>-connected bipartite graph <em>G</em> with minimum degree at least <span><math><mi>k</mi><mo>+</mo><mi>t</mi></math></span>, where <span><math><mi>t</mi><mo>=</mo><mi>max</mi><mo></mo><mo>{</mo><mo>|</mo><mi>X</mi><mo>|</mo><mo>,</mo><mo>|</mo><mi>Y</mi><mo>|</mo><mo>}</mo></math></span>, contains a tree <span><math><msup><mrow><mi>T</mi></mrow><mrow><mo>′</mo></mrow></msup><mo>≅</mo><mi>T</mi></math></span> such that <span><math><mi>G</mi><mo>−</mo><mi>V</mi><mo>(</mo><msup><mrow><mi>T</mi></mrow><mrow><mo>′</mo></mrow></msup><mo>)</mo></math></span> is still <em>k</em>-connected. Note that <span><math><mi>t</mi><mo>=</mo><mo>⌈</mo><mfrac><mrow><mi>m</mi></mrow><mrow><mn>2</mn></mrow></mfrac><mo>⌉</mo></math></span> when the tree <em>T</em> is the path with order <em>m</em>. In this paper, we prove that every <em>k</em>-connected bipartite graph <em>G</em> with minimum degree at least <span><math><mi>k</mi><mo>+</mo><mo>⌈</mo><mfrac><mrow><mi>m</mi><mo>+</mo><mn>1</mn></mrow><mrow><mn>2</mn></mrow></mfrac><mo>⌉</mo></math></span> contains a path <em>P</em> of order <em>m</em> such that <span><math><mi>G</mi><mo>−</mo><mi>V</mi><mo>(</mo><mi>P</mi><mo>)</mo></math></span> remains <em>k</em>-connected. This shows that the conjecture is true for paths with odd order. For paths with even order, the minimum degree bound in this paper is the bound in the conjecture plus one.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 8","pages":"Article 114476"},"PeriodicalIF":0.7,"publicationDate":"2025-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143563866","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 : 2025-03-05DOI: 10.1016/j.disc.2025.114462
Dingyuan Liu
Given , a complete bipartite poset is a poset whose Hasse diagram consists of s pairwise incomparable vertices in the upper layer and t pairwise incomparable vertices in the lower layer, such that every vertex in the upper layer is larger than all vertices in the lower layer. A family is called induced -saturated if contains no induced copy of , whereas adding any set from to creates an induced . Let denote the smallest size of an induced -saturated family . It was conjectured that is superlinear in n for certain values of s and t. In this paper, we show that for all fixed . Moreover, we prove a linear lower bound on for a large class of posets , particularly for with .
{"title":"Induced saturation for complete bipartite posets","authors":"Dingyuan Liu","doi":"10.1016/j.disc.2025.114462","DOIUrl":"10.1016/j.disc.2025.114462","url":null,"abstract":"<div><div>Given <span><math><mi>s</mi><mo>,</mo><mi>t</mi><mo>∈</mo><mi>N</mi></math></span>, a complete bipartite poset <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>s</mi><mo>,</mo><mi>t</mi></mrow></msub></math></span> is a poset whose Hasse diagram consists of <em>s</em> pairwise incomparable vertices in the upper layer and <em>t</em> pairwise incomparable vertices in the lower layer, such that every vertex in the upper layer is larger than all vertices in the lower layer. A family <span><math><mi>F</mi><mo>⊆</mo><msup><mrow><mn>2</mn></mrow><mrow><mo>[</mo><mi>n</mi><mo>]</mo></mrow></msup></math></span> is called induced <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>s</mi><mo>,</mo><mi>t</mi></mrow></msub></math></span>-saturated if <span><math><mo>(</mo><mi>F</mi><mo>,</mo><mo>⊆</mo><mo>)</mo></math></span> contains no induced copy of <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>s</mi><mo>,</mo><mi>t</mi></mrow></msub></math></span>, whereas adding any set from <span><math><msup><mrow><mn>2</mn></mrow><mrow><mo>[</mo><mi>n</mi><mo>]</mo></mrow></msup><mo>﹨</mo><mi>F</mi></math></span> to <span><math><mi>F</mi></math></span> creates an induced <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>s</mi><mo>,</mo><mi>t</mi></mrow></msub></math></span>. Let <span><math><msup><mrow><mi>sat</mi></mrow><mrow><mo>⁎</mo></mrow></msup><mo>(</mo><mi>n</mi><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mi>s</mi><mo>,</mo><mi>t</mi></mrow></msub><mo>)</mo></math></span> denote the smallest size of an induced <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>s</mi><mo>,</mo><mi>t</mi></mrow></msub></math></span>-saturated family <span><math><mi>F</mi><mo>⊆</mo><msup><mrow><mn>2</mn></mrow><mrow><mo>[</mo><mi>n</mi><mo>]</mo></mrow></msup></math></span>. It was conjectured that <span><math><msup><mrow><mi>sat</mi></mrow><mrow><mo>⁎</mo></mrow></msup><mo>(</mo><mi>n</mi><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mi>s</mi><mo>,</mo><mi>t</mi></mrow></msub><mo>)</mo></math></span> is superlinear in <em>n</em> for certain values of <em>s</em> and <em>t</em>. In this paper, we show that <span><math><msup><mrow><mi>sat</mi></mrow><mrow><mo>⁎</mo></mrow></msup><mo>(</mo><mi>n</mi><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mi>s</mi><mo>,</mo><mi>t</mi></mrow></msub><mo>)</mo><mo>=</mo><mi>O</mi><mo>(</mo><mi>n</mi><mo>)</mo></math></span> for all fixed <span><math><mi>s</mi><mo>,</mo><mi>t</mi><mo>∈</mo><mi>N</mi></math></span>. Moreover, we prove a linear lower bound on <span><math><msup><mrow><mi>sat</mi></mrow><mrow><mo>⁎</mo></mrow></msup><mo>(</mo><mi>n</mi><mo>,</mo><mi>P</mi><mo>)</mo></math></span> for a large class of posets <span><math><mi>P</mi></math></span>, particularly for <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>s</mi><mo>,</mo><mn>2</mn></mrow></msub></math></span> with <span><math><mi>s</mi><mo>∈</mo><mi>N</mi></math></span>.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 7","pages":"Article 114462"},"PeriodicalIF":0.7,"publicationDate":"2025-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143549779","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}
Pub Date : 2025-03-04DOI: 10.1016/j.disc.2025.114461
Thomas Britz , Zhi Yee Chng , Kok Bin Wong
For a fixed positive integer , the Ramsey numbers are determined for the tree of sufficiently large order n and maximum degree . This result provides a partial proof for the conjecture, due to Chen, Zhang and Zhang and to Hafidh and Baskoro, that for each tree of order with when is even, for the case when and n is sufficiently large.
{"title":"The Ramsey numbers for certain large trees of order n with maximum degree at most n − 6 versus the wheel of order nine","authors":"Thomas Britz , Zhi Yee Chng , Kok Bin Wong","doi":"10.1016/j.disc.2025.114461","DOIUrl":"10.1016/j.disc.2025.114461","url":null,"abstract":"<div><div>For a fixed positive integer <span><math><mi>k</mi><mo>≥</mo><mn>5</mn></math></span>, the Ramsey numbers <span><math><mi>R</mi><mo>(</mo><msub><mrow><mi>T</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>,</mo><msub><mrow><mi>W</mi></mrow><mrow><mn>8</mn></mrow></msub><mo>)</mo></math></span> are determined for the tree <span><math><msub><mrow><mi>T</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> of sufficiently large order <em>n</em> and maximum degree <span><math><mi>Δ</mi><mo>(</mo><msub><mrow><mi>T</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>)</mo><mo>=</mo><mi>n</mi><mo>−</mo><mi>k</mi><mo>−</mo><mn>1</mn></math></span>. This result provides a partial proof for the conjecture, due to Chen, Zhang and Zhang and to Hafidh and Baskoro, that <span><math><mi>R</mi><mo>(</mo><msub><mrow><mi>T</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>,</mo><msub><mrow><mi>W</mi></mrow><mrow><mi>m</mi></mrow></msub><mo>)</mo><mo>=</mo><mn>2</mn><mi>n</mi><mo>−</mo><mn>1</mn></math></span> for each tree <span><math><msub><mrow><mi>T</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> of order <span><math><mi>n</mi><mo>≥</mo><mi>m</mi><mo>−</mo><mn>1</mn></math></span> with <span><math><mi>Δ</mi><mo>(</mo><msub><mrow><mi>T</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>)</mo><mo>≤</mo><mi>n</mi><mo>−</mo><mi>m</mi><mo>+</mo><mn>2</mn></math></span> when <span><math><mi>m</mi><mo>≥</mo><mn>4</mn></math></span> is even, for the case when <span><math><mi>m</mi><mo>=</mo><mn>8</mn></math></span> and <em>n</em> is sufficiently large.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 7","pages":"Article 114461"},"PeriodicalIF":0.7,"publicationDate":"2025-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143535040","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 : 2025-03-04DOI: 10.1016/j.disc.2025.114463
Yaroslav Shitov
<div><div>A set <span><math><mi>B</mi><mo>⊆</mo><mo>{</mo><mn>1</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>n</mi><mo>}</mo><mo>×</mo><mo>{</mo><mn>1</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>n</mi><mo>}</mo></math></span> is a <em>blocker of</em> a subset <span><math><msub><mrow><mi>Q</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> of the symmetric group <span><math><msub><mrow><mi>S</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> if every permutation <span><math><mi>σ</mi><mo>∈</mo><msub><mrow><mi>Q</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> allows an index <em>i</em> with <span><math><mo>(</mo><mi>i</mi><mo>,</mo><msub><mrow><mi>σ</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>)</mo><mo>∈</mo><mi>B</mi></math></span>. Bennett, Brualdi and Cao conjectured that <span><math><mo>⌈</mo><mo>(</mo><mi>n</mi><mo>+</mo><mn>1</mn><mo>)</mo><mo>/</mo><mn>2</mn><mo>⌉</mo><mo>⋅</mo><mo>⌊</mo><mo>(</mo><mi>n</mi><mo>+</mo><mn>1</mn><mo>)</mo><mo>/</mo><mn>2</mn><mo>⌋</mo></math></span> is an upper bound for the sizes of the inclusion minimal blockers of the family of 123-<em>avoiding</em> permutations, which are those <span><math><mi>σ</mi><mo>∈</mo><msub><mrow><mi>S</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> for which <span><math><mo>(</mo><msub><mrow><mi>σ</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>σ</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>)</mo></math></span> has no increasing subsequence of the length three. We show that<span><span><span><math><mi>B</mi><mo>=</mo><mrow><mo>(</mo><mtable><mtr><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mo>⁎</mo><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mo>⁎</mo></mtd></mtr><mtr><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mo>⁎</mo><mspace></mspace></mtd><mtd><mo>⁎</mo><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mo>⁎</mo></mtd></mtr><mtr><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn></mtd></mtr><mtr><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mo>⁎</mo><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mo>⁎</mo><mspace></mspace></mtd><mtd><mo>⁎</mo><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mo>⁎</mo></mtd></mtr><mtr><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mo>⁎</mo><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn></mtd></mtr><mtr><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mo>⁎</mo><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></m
{"title":"A large minimal blocker for 123-avoiding permutations","authors":"Yaroslav Shitov","doi":"10.1016/j.disc.2025.114463","DOIUrl":"10.1016/j.disc.2025.114463","url":null,"abstract":"<div><div>A set <span><math><mi>B</mi><mo>⊆</mo><mo>{</mo><mn>1</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>n</mi><mo>}</mo><mo>×</mo><mo>{</mo><mn>1</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>n</mi><mo>}</mo></math></span> is a <em>blocker of</em> a subset <span><math><msub><mrow><mi>Q</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> of the symmetric group <span><math><msub><mrow><mi>S</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> if every permutation <span><math><mi>σ</mi><mo>∈</mo><msub><mrow><mi>Q</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> allows an index <em>i</em> with <span><math><mo>(</mo><mi>i</mi><mo>,</mo><msub><mrow><mi>σ</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>)</mo><mo>∈</mo><mi>B</mi></math></span>. Bennett, Brualdi and Cao conjectured that <span><math><mo>⌈</mo><mo>(</mo><mi>n</mi><mo>+</mo><mn>1</mn><mo>)</mo><mo>/</mo><mn>2</mn><mo>⌉</mo><mo>⋅</mo><mo>⌊</mo><mo>(</mo><mi>n</mi><mo>+</mo><mn>1</mn><mo>)</mo><mo>/</mo><mn>2</mn><mo>⌋</mo></math></span> is an upper bound for the sizes of the inclusion minimal blockers of the family of 123-<em>avoiding</em> permutations, which are those <span><math><mi>σ</mi><mo>∈</mo><msub><mrow><mi>S</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> for which <span><math><mo>(</mo><msub><mrow><mi>σ</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>σ</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>)</mo></math></span> has no increasing subsequence of the length three. We show that<span><span><span><math><mi>B</mi><mo>=</mo><mrow><mo>(</mo><mtable><mtr><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mo>⁎</mo><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mo>⁎</mo></mtd></mtr><mtr><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mo>⁎</mo><mspace></mspace></mtd><mtd><mo>⁎</mo><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mo>⁎</mo></mtd></mtr><mtr><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn></mtd></mtr><mtr><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mo>⁎</mo><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mo>⁎</mo><mspace></mspace></mtd><mtd><mo>⁎</mo><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mo>⁎</mo></mtd></mtr><mtr><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mo>⁎</mo><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mn>0</mn></mtd></mtr><mtr><mtd><mn>0</mn><mspace></mspace></mtd><mtd><mo>⁎</mo><mspace></mspace></mtd><mtd><mn>0</mn><mspace></mspace></m","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 7","pages":"Article 114463"},"PeriodicalIF":0.7,"publicationDate":"2025-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143535042","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 : 2025-03-04DOI: 10.1016/j.disc.2025.114464
Wengang Jin, Kangquan Li, Longjiang Qu
Minimal linear codes are widely used in secret sharing schemes and secure two-party computation. Most of the minimal linear codes constructed satisfy the Ashikhmin-Barg (AB for short) condition. However, up to now, only a small classes of minimal linear codes violating the AB condition have been presented in the literature. In this paper, we are devoted to constructing more classes of minimal linear codes over the finite field that violate the AB condition and have new parameters. First, we provide several classes of minimal linear codes violating the AB condition from vectorial Boolean functions and determine their weight distributions. Then, we obtain new p-ary functions over the finite fields with p an odd prime and determine their Walsh spectrum distributions. Finally, the resulted p-ary functions are employed to construct several classes of linear codes with two to four weights. In these codes, one class is minimal and violates the AB condition, and two classes satisfy the AB condition.
{"title":"Several classes of minimal linear codes from vectorial Boolean functions and p-ary functions","authors":"Wengang Jin, Kangquan Li, Longjiang Qu","doi":"10.1016/j.disc.2025.114464","DOIUrl":"10.1016/j.disc.2025.114464","url":null,"abstract":"<div><div>Minimal linear codes are widely used in secret sharing schemes and secure two-party computation. Most of the minimal linear codes constructed satisfy the Ashikhmin-Barg (AB for short) condition. However, up to now, only a small classes of minimal linear codes violating the AB condition have been presented in the literature. In this paper, we are devoted to constructing more classes of minimal linear codes over the finite field <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>p</mi></mrow></msub></math></span> that violate the AB condition and have new parameters. First, we provide several classes of minimal linear codes violating the AB condition from vectorial Boolean functions and determine their weight distributions. Then, we obtain new <em>p</em>-ary functions over the finite fields <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>p</mi></mrow></msub></math></span> with <em>p</em> an odd prime and determine their Walsh spectrum distributions. Finally, the resulted <em>p</em>-ary functions are employed to construct several classes of linear codes with two to four weights. In these codes, one class is minimal and violates the AB condition, and two classes satisfy the AB condition.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 7","pages":"Article 114464"},"PeriodicalIF":0.7,"publicationDate":"2025-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143535041","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}