Pub Date : 2024-09-25DOI: 10.1016/j.ejc.2024.104076
We consider extremal problems related to decks and multidecks of rooted binary trees (a.k.a. rooted phylogenetic tree shapes). Here, the deck (resp. multideck) of a tree refers to the set (resp. multiset) of leaf-induced binary subtrees of . On the one hand, we consider the reconstruction of trees from their (multi)decks. We give lower and upper bounds on the minimum (multi)deck size required to uniquely encode a rooted binary tree on leaves. On the other hand, we consider problems related to deck cardinalities. In particular, we characterize trees with minimum-size as well as maximum-size decks. Finally, we present some exhaustive computations for -universal trees, i.e., rooted binary trees that contain all -leaf rooted binary trees as leaf-induced subtrees.
我们考虑与有根二叉树(又称有根系统树形)的甲板和多甲板相关的极值问题。在这里,树 T 的甲板(或多甲板)指的是 T 的叶诱导二叉子树的集合(或多集合)。一方面,我们考虑从树的(多)甲板重建树。我们给出了唯一编码 n 个树叶上有根二叉树所需的最小(多)甲板大小的下限和上限。另一方面,我们还考虑了与牌面明度相关的问题。特别是,我们描述了具有最小尺寸和最大尺寸牌面的树的特征。最后,我们介绍了一些 k 通用树的详尽计算,即包含所有 k 叶有根二叉树作为叶诱导子树的有根二叉树。
{"title":"Decks of rooted binary trees","authors":"","doi":"10.1016/j.ejc.2024.104076","DOIUrl":"10.1016/j.ejc.2024.104076","url":null,"abstract":"<div><div>We consider extremal problems related to decks and multidecks of rooted binary trees (a.k.a. rooted phylogenetic tree shapes). Here, the deck (resp. multideck) of a tree <span><math><mi>T</mi></math></span> refers to the set (resp. multiset) of leaf-induced binary subtrees of <span><math><mi>T</mi></math></span>. On the one hand, we consider the reconstruction of trees from their (multi)decks. We give lower and upper bounds on the minimum (multi)deck size required to uniquely encode a rooted binary tree on <span><math><mi>n</mi></math></span> leaves. On the other hand, we consider problems related to deck cardinalities. In particular, we characterize trees with minimum-size as well as maximum-size decks. Finally, we present some exhaustive computations for <span><math><mi>k</mi></math></span>-universal trees, i.e., rooted binary trees that contain all <span><math><mi>k</mi></math></span>-leaf rooted binary trees as leaf-induced subtrees.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142318960","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 : 2024-09-24DOI: 10.1016/j.ejc.2024.104074
A clock is a graph consisting of an induced cycle and a vertex not in with at least two non-adjacent neighbours in . We show that every clock-free graph of large treewidth contains a “basic obstruction” of large treewidth as an induced subgraph: a complete graph, a subdivision of a wall, or the line graph of a subdivision of a wall.
{"title":"Induced subgraphs and tree decompositions XIV. Non-adjacent neighbours in a hole","authors":"","doi":"10.1016/j.ejc.2024.104074","DOIUrl":"10.1016/j.ejc.2024.104074","url":null,"abstract":"<div><div>A <em>clock</em> is a graph consisting of an induced cycle <span><math><mi>C</mi></math></span> and a vertex not in <span><math><mi>C</mi></math></span> with at least two non-adjacent neighbours in <span><math><mi>C</mi></math></span>. We show that every clock-free graph of large treewidth contains a “basic obstruction” of large treewidth as an induced subgraph: a complete graph, a subdivision of a wall, or the line graph of a subdivision of a wall.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-09-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0195669824001598/pdfft?md5=fa98c8a13265d848775c4b52beb995da&pid=1-s2.0-S0195669824001598-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142315136","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 : 2024-09-24DOI: 10.1016/j.ejc.2024.104073
For any finite partially ordered set , the -Eulerian polynomial is the generating function for the descent number over the set of linear extensions of , and is closely related to the order polynomial of arising in the theory of -partitions. Here we study the -Eulerian polynomial where is a naturally labeled zig-zag poset; we call these zig-zag Eulerian polynomials. A result of Brändén implies that these polynomials are gamma-nonnegative, and hence their coefficients are symmetric and unimodal. The zig-zag Eulerian polynomials and the associated order polynomials have appeared fleetingly in the literature in a wide variety of contexts—e.g., in the study of polytopes, magic labelings of graphs, and Kekulé structures—but they do not appear to have been studied systematically.
In this paper, we use a “relaxed” version of -partitions to both survey and unify results. Our technique shows that the zig-zag Eulerian polynomials also capture the distribution of “big returns” over the set of (up-down) alternating permutations, as first observed by Coons and Sullivant. We develop recurrences for refined versions of the relevant generating functions, which evoke similarities to recurrences for the classical Eulerian polynomials. We conclude with a literature survey and open questions.
对于任何有限部分有序集合 P,P-Eulerian 多项式是 P 的线性扩展集合上下降数的生成函数,它与 P 分区理论中出现的 P 的阶多项式密切相关。在这里,我们研究 P-Eulerian 多项式,其中 P 是一个自然标注的之字形正集;我们称这些之字形欧拉多项式为欧拉多项式。Brändén 的一个结果意味着这些多项式是伽马负的,因此它们的系数是对称和单模态的。之字形欧拉多项式和相关的阶多项式曾在各种文献中昙花一现--例如,在研究多面体、图的魔法标注和凯库雷结构时,但似乎还没有对它们进行过系统的研究。我们的技术表明,"之 "字形欧拉多项式也能捕捉到(上下)交替排列集合上 "大回报 "的分布,正如库恩斯和苏利文首次观察到的那样。我们为相关生成函数的改进版本建立了递推关系,这与经典欧拉多项式的递推关系相似。最后,我们将对文献进行梳理,并提出一些开放性问题。
{"title":"Zig-zag Eulerian polynomials","authors":"","doi":"10.1016/j.ejc.2024.104073","DOIUrl":"10.1016/j.ejc.2024.104073","url":null,"abstract":"<div><div>For any finite partially ordered set <span><math><mi>P</mi></math></span>, the <span><math><mi>P</mi></math></span>-Eulerian polynomial is the generating function for the descent number over the set of linear extensions of <span><math><mi>P</mi></math></span>, and is closely related to the order polynomial of <span><math><mi>P</mi></math></span> arising in the theory of <span><math><mi>P</mi></math></span>-partitions. Here we study the <span><math><mi>P</mi></math></span>-Eulerian polynomial where <span><math><mi>P</mi></math></span> is a naturally labeled zig-zag poset; we call these <em>zig-zag Eulerian polynomials</em>. A result of Brändén implies that these polynomials are gamma-nonnegative, and hence their coefficients are symmetric and unimodal. The zig-zag Eulerian polynomials and the associated order polynomials have appeared fleetingly in the literature in a wide variety of contexts—e.g., in the study of polytopes, magic labelings of graphs, and Kekulé structures—but they do not appear to have been studied systematically.</div><div>In this paper, we use a “relaxed” version of <span><math><mi>P</mi></math></span>-partitions to both survey and unify results. Our technique shows that the zig-zag Eulerian polynomials also capture the distribution of “big returns” over the set of (up-down) alternating permutations, as first observed by Coons and Sullivant. We develop recurrences for refined versions of the relevant generating functions, which evoke similarities to recurrences for the classical Eulerian polynomials. We conclude with a literature survey and open questions.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-09-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0195669824001586/pdfft?md5=899109a09f3bf833016e01aae31a7980&pid=1-s2.0-S0195669824001586-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142315032","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 : 2024-09-23DOI: 10.1016/j.ejc.2024.104071
The -uniform expansion of a graph is obtained by enlarging each edge with new vertices such that altogether we use new vertices. Two simple lower bounds on the largest number of -edges in -free -graphs are (in the case is not a star) and , which is the largest number of -cliques in -vertex -free graphs. We prove that . The proof comes with a structure theorem that we use to determine exactly for some graphs , every and sufficiently large .
图 F 的 r-uniform 扩展 F(r)+ 是通过用 r-2 个新顶点扩大每条边而得到的,这样我们总共使用了 (r-2)|E(F)| 个新顶点。关于无 F(r)+ r 图中 r 边的最大数量 exr(n,F(r)+) 的两个简单下限是 Ω(nr-1)(在 F 不是星形的情况下)和 ex(n,Kr,F),后者是无 n 个顶点的 F 图中 r 簇的最大数量。我们证明,exr(n,F(r)+)=ex(n,Kr,F)+O(nr-1)。该证明包含一个结构定理,我们用它来精确确定某些图 F、每个 r<χ(F)和足够大的 n 的 exr(n,F(r)+)。
{"title":"On non-degenerate Turán problems for expansions","authors":"","doi":"10.1016/j.ejc.2024.104071","DOIUrl":"10.1016/j.ejc.2024.104071","url":null,"abstract":"<div><div>The <span><math><mi>r</mi></math></span>-uniform expansion <span><math><msup><mrow><mi>F</mi></mrow><mrow><mrow><mo>(</mo><mi>r</mi><mo>)</mo></mrow><mo>+</mo></mrow></msup></math></span> of a graph <span><math><mi>F</mi></math></span> is obtained by enlarging each edge with <span><math><mrow><mi>r</mi><mo>−</mo><mn>2</mn></mrow></math></span> new vertices such that altogether we use <span><math><mrow><mrow><mo>(</mo><mi>r</mi><mo>−</mo><mn>2</mn><mo>)</mo></mrow><mrow><mo>|</mo><mi>E</mi><mrow><mo>(</mo><mi>F</mi><mo>)</mo></mrow><mo>|</mo></mrow></mrow></math></span> new vertices. Two simple lower bounds on the largest number <span><math><mrow><msub><mrow><mi>ex</mi></mrow><mrow><mi>r</mi></mrow></msub><mrow><mo>(</mo><mi>n</mi><mo>,</mo><msup><mrow><mi>F</mi></mrow><mrow><mrow><mo>(</mo><mi>r</mi><mo>)</mo></mrow><mo>+</mo></mrow></msup><mo>)</mo></mrow></mrow></math></span> of <span><math><mi>r</mi></math></span>-edges in <span><math><msup><mrow><mi>F</mi></mrow><mrow><mrow><mo>(</mo><mi>r</mi><mo>)</mo></mrow><mo>+</mo></mrow></msup></math></span>-free <span><math><mi>r</mi></math></span>-graphs are <span><math><mrow><mi>Ω</mi><mrow><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mi>r</mi><mo>−</mo><mn>1</mn></mrow></msup><mo>)</mo></mrow></mrow></math></span> (in the case <span><math><mi>F</mi></math></span> is not a star) and <span><math><mrow><mi>ex</mi><mrow><mo>(</mo><mi>n</mi><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mi>r</mi></mrow></msub><mo>,</mo><mi>F</mi><mo>)</mo></mrow></mrow></math></span>, which is the largest number of <span><math><mi>r</mi></math></span>-cliques in <span><math><mi>n</mi></math></span>-vertex <span><math><mi>F</mi></math></span>-free graphs. We prove that <span><math><mrow><msub><mrow><mi>ex</mi></mrow><mrow><mi>r</mi></mrow></msub><mrow><mo>(</mo><mi>n</mi><mo>,</mo><msup><mrow><mi>F</mi></mrow><mrow><mrow><mo>(</mo><mi>r</mi><mo>)</mo></mrow><mo>+</mo></mrow></msup><mo>)</mo></mrow><mo>=</mo><mi>ex</mi><mrow><mo>(</mo><mi>n</mi><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mi>r</mi></mrow></msub><mo>,</mo><mi>F</mi><mo>)</mo></mrow><mo>+</mo><mi>O</mi><mrow><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mi>r</mi><mo>−</mo><mn>1</mn></mrow></msup><mo>)</mo></mrow></mrow></math></span>. The proof comes with a structure theorem that we use to determine <span><math><mrow><msub><mrow><mi>ex</mi></mrow><mrow><mi>r</mi></mrow></msub><mrow><mo>(</mo><mi>n</mi><mo>,</mo><msup><mrow><mi>F</mi></mrow><mrow><mrow><mo>(</mo><mi>r</mi><mo>)</mo></mrow><mo>+</mo></mrow></msup><mo>)</mo></mrow></mrow></math></span> exactly for some graphs <span><math><mi>F</mi></math></span>, every <span><math><mrow><mi>r</mi><mo><</mo><mi>χ</mi><mrow><mo>(</mo><mi>F</mi><mo>)</mo></mrow></mrow></math></span> and sufficiently large <span><math><mi>n</mi></math></span>.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0195669824001562/pdfft?md5=86fa8d5991cc3c3ff302bc8fdbd50279&pid=1-s2.0-S0195669824001562-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142311821","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 : 2024-09-22DOI: 10.1016/j.ejc.2024.104072
We prove that for all and , there exists with the following property. Let be a graph and let be a subgraph of isomorphic to a -subdivision of . Then either contains or as an induced subgraph, or there is an induced subgraph of isomorphic to a proper -subdivision of such that every branch vertex of is a branch vertex of . This answers in the affirmative a question of Lozin and Razgon. In fact, we show that both the branch vertices and the paths corresponding to the subdivided edges between them can be preserved.
我们证明,对于所有 r∈N∪{0} 和 s,t∈N,存在具有以下性质的 Ω=Ω(r,s,t)∈N。设 G 是图,设 H 是 G 的子图,与 KΩ 的(≤r)细分同构。那么要么 G 包含作为诱导子图的 Kt 或 Kt,t,要么 G 的诱导子图 J 与 Ks 的适当 (≤r)- 细分同构,使得 J 的每个分支顶点都是 H 的分支顶点。事实上,我们证明了分支顶点和它们之间对应于细分边的路径都可以保留。
{"title":"Induced subdivisions with pinned branch vertices","authors":"","doi":"10.1016/j.ejc.2024.104072","DOIUrl":"10.1016/j.ejc.2024.104072","url":null,"abstract":"<div><div>We prove that for all <span><math><mrow><mi>r</mi><mo>∈</mo><mi>N</mi><mo>∪</mo><mrow><mo>{</mo><mn>0</mn><mo>}</mo></mrow></mrow></math></span> and <span><math><mrow><mi>s</mi><mo>,</mo><mi>t</mi><mo>∈</mo><mi>N</mi></mrow></math></span>, there exists <span><math><mrow><mi>Ω</mi><mo>=</mo><mi>Ω</mi><mrow><mo>(</mo><mi>r</mi><mo>,</mo><mi>s</mi><mo>,</mo><mi>t</mi><mo>)</mo></mrow><mo>∈</mo><mi>N</mi></mrow></math></span> with the following property. Let <span><math><mi>G</mi></math></span> be a graph and let <span><math><mi>H</mi></math></span> be a subgraph of <span><math><mi>G</mi></math></span> isomorphic to a <span><math><mrow><mo>(</mo><mo>≤</mo><mi>r</mi><mo>)</mo></mrow></math></span>-subdivision of <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>Ω</mi></mrow></msub></math></span>. Then either <span><math><mi>G</mi></math></span> contains <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>t</mi></mrow></msub></math></span> or <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>t</mi><mo>,</mo><mi>t</mi></mrow></msub></math></span> as an induced subgraph, or there is an induced subgraph <span><math><mi>J</mi></math></span> of <span><math><mi>G</mi></math></span> isomorphic to a proper <span><math><mrow><mo>(</mo><mo>≤</mo><mi>r</mi><mo>)</mo></mrow></math></span>-subdivision of <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>s</mi></mrow></msub></math></span> such that every branch vertex of <span><math><mi>J</mi></math></span> is a branch vertex of <span><math><mi>H</mi></math></span>. This answers in the affirmative a question of Lozin and Razgon. In fact, we show that both the branch vertices and the paths corresponding to the subdivided edges between them can be preserved.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0195669824001574/pdfft?md5=ed4f41801de33ce909fbbc25a22d7d22&pid=1-s2.0-S0195669824001574-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142311820","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 : 2024-09-14DOI: 10.1016/j.ejc.2024.104060
We introduce a family of univariate polynomials indexed by integer partitions. At prime powers, they count the number of subspaces in a finite vector space that transform under a regular diagonal matrix in a specified manner. This enumeration formula is a combinatorial solution to a problem introduced by Bender, Coley, Robbins and Rumsey. At 1, they count set partitions with specified block sizes. At 0, they count standard tableaux of specified shape. At , they count standard shifted tableaux of a specified shape. These polynomials are generated by a new statistic on set partitions (called the interlacing number) as well as a polynomial statistic on standard tableaux. They allow us to express -Stirling numbers of the second kind as sums over standard tableaux and as sums over set partitions.
For partitions whose parts are at most two, these polynomials are the non-zero entries of the Catalan triangle associated to the -Hermite orthogonal polynomial sequence. In particular, when all parts are equal to two, they coincide with the polynomials defined by Touchard that enumerate chord diagrams by the number of crossings.
{"title":"Set partitions, tableaux, and subspace profiles under regular diagonal matrices","authors":"","doi":"10.1016/j.ejc.2024.104060","DOIUrl":"10.1016/j.ejc.2024.104060","url":null,"abstract":"<div><p>We introduce a family of univariate polynomials indexed by integer partitions. At prime powers, they count the number of subspaces in a finite vector space that transform under a regular diagonal matrix in a specified manner. This enumeration formula is a combinatorial solution to a problem introduced by Bender, Coley, Robbins and Rumsey. At 1, they count set partitions with specified block sizes. At 0, they count standard tableaux of specified shape. At <span><math><mrow><mo>−</mo><mn>1</mn></mrow></math></span>, they count standard shifted tableaux of a specified shape. These polynomials are generated by a new statistic on set partitions (called the interlacing number) as well as a polynomial statistic on standard tableaux. They allow us to express <span><math><mi>q</mi></math></span>-Stirling numbers of the second kind as sums over standard tableaux and as sums over set partitions.</p><p>For partitions whose parts are at most two, these polynomials are the non-zero entries of the Catalan triangle associated to the <span><math><mi>q</mi></math></span>-Hermite orthogonal polynomial sequence. In particular, when all parts are equal to two, they coincide with the polynomials defined by Touchard that enumerate chord diagrams by the number of crossings.</p></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142229590","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 : 2024-09-12DOI: 10.1016/j.ejc.2024.104069
<div><p>Let <span><math><mi>Γ</mi></math></span> denote a distance-regular graph, with vertex set <span><math><mi>X</mi></math></span> and diameter <span><math><mrow><mi>D</mi><mo>≥</mo><mn>3</mn></mrow></math></span>. We assume that <span><math><mi>Γ</mi></math></span> is formally self-dual and <span><math><mi>q</mi></math></span>-Racah type. Let <span><math><mi>A</mi></math></span> denote the adjacency matrix of <span><math><mi>Γ</mi></math></span>. Pick <span><math><mrow><mi>x</mi><mo>∈</mo><mi>X</mi></mrow></math></span>, and let <span><math><mrow><msup><mrow><mi>A</mi></mrow><mrow><mo>∗</mo></mrow></msup><mo>=</mo><msup><mrow><mi>A</mi></mrow><mrow><mo>∗</mo></mrow></msup><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow></mrow></math></span> denote the dual adjacency matrix of <span><math><mi>Γ</mi></math></span> with respect to <span><math><mi>x</mi></math></span>. The matrices <span><math><mrow><mi>A</mi><mo>,</mo><msup><mrow><mi>A</mi></mrow><mrow><mo>∗</mo></mrow></msup></mrow></math></span> generate the subconstituent algebra <span><math><mrow><mi>T</mi><mo>=</mo><mi>T</mi><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow></mrow></math></span>. We assume that for every choice of <span><math><mi>x</mi></math></span> the algebra <span><math><mi>T</mi></math></span> contains a certain central element <span><math><mrow><mi>Z</mi><mo>=</mo><mi>Z</mi><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow></mrow></math></span> whose significance is illuminated by the following relations: <span><span><span><math><mrow><mi>A</mi><mo>+</mo><mfrac><mrow><mi>q</mi><mi>B</mi><mi>C</mi><mo>−</mo><msup><mrow><mi>q</mi></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msup><mi>C</mi><mi>B</mi></mrow><mrow><msup><mrow><mi>q</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>−</mo><msup><mrow><mi>q</mi></mrow><mrow><mo>−</mo><mn>2</mn></mrow></msup></mrow></mfrac><mo>=</mo><mi>Z</mi><mo>,</mo><mspace></mspace><mi>B</mi><mo>+</mo><mfrac><mrow><mi>q</mi><mi>C</mi><mi>A</mi><mo>−</mo><msup><mrow><mi>q</mi></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msup><mi>A</mi><mi>C</mi></mrow><mrow><msup><mrow><mi>q</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>−</mo><msup><mrow><mi>q</mi></mrow><mrow><mo>−</mo><mn>2</mn></mrow></msup></mrow></mfrac><mo>=</mo><mi>Z</mi><mo>,</mo><mspace></mspace><mi>C</mi><mo>+</mo><mfrac><mrow><mi>q</mi><mi>A</mi><mi>B</mi><mo>−</mo><msup><mrow><mi>q</mi></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msup><mi>B</mi><mi>A</mi></mrow><mrow><msup><mrow><mi>q</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>−</mo><msup><mrow><mi>q</mi></mrow><mrow><mo>−</mo><mn>2</mn></mrow></msup></mrow></mfrac><mo>=</mo><mi>Z</mi><mo>.</mo></mrow></math></span></span></span> The matrices <span><math><mi>A</mi></math></span>, <span><math><mi>B</mi></math></span> satisfy <span><math><mrow><mi>A</mi><mo>=</mo><mrow><mo>(</mo><mi>A</mi><mo>−</mo><mi>ɛ</mi><mi>I</mi><mo>)</mo></mrow><mo>/</mo><mi>α</mi></mrow></math></span> and <span><math><mrow><mi>B</mi><mo>=</mo><mrow><mo>(</mo><msup><mrow><mi>A</mi></mrow
让 Γ 表示一个距离规则图,其顶点集为 X,直径为 D≥3。我们假设 Γ 是形式上自偶的 q-Racah 型图。让 A 表示 Γ 的邻接矩阵。选取 x∈X,让 A∗=A∗(x) 表示Γ 关于 x 的对偶邻接矩阵。矩阵 A、A∗ 生成子构成代数 T=T(x)。我们假设,对于 x 的每一种选择,代数 T 都包含某个中心元素 Z=Z(x),其意义由以下关系揭示:A+qBC-q-1CBq2-q-2=Z,B+qCA-q-1ACq2-q-2=Z,C+qAB-q-1BAq2-q-2=Z。矩阵 A、B 满足 A=(A-ɛI)/α 和 B=(A∗-ɛI)/α,其中 α、ɛ 是复标量,用于描述 A 和 A∗ 的特征值。矩阵 C 是用第三个显示方程定义的。我们用 Z 来构建一个由 Γ 提供的自旋模型 W。我们研究了 Z 的组合意义,并逆转逻辑方向,从 W 中恢复了 Z。
{"title":"Spin models and distance-regular graphs of q-Racah type","authors":"","doi":"10.1016/j.ejc.2024.104069","DOIUrl":"10.1016/j.ejc.2024.104069","url":null,"abstract":"<div><p>Let <span><math><mi>Γ</mi></math></span> denote a distance-regular graph, with vertex set <span><math><mi>X</mi></math></span> and diameter <span><math><mrow><mi>D</mi><mo>≥</mo><mn>3</mn></mrow></math></span>. We assume that <span><math><mi>Γ</mi></math></span> is formally self-dual and <span><math><mi>q</mi></math></span>-Racah type. Let <span><math><mi>A</mi></math></span> denote the adjacency matrix of <span><math><mi>Γ</mi></math></span>. Pick <span><math><mrow><mi>x</mi><mo>∈</mo><mi>X</mi></mrow></math></span>, and let <span><math><mrow><msup><mrow><mi>A</mi></mrow><mrow><mo>∗</mo></mrow></msup><mo>=</mo><msup><mrow><mi>A</mi></mrow><mrow><mo>∗</mo></mrow></msup><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow></mrow></math></span> denote the dual adjacency matrix of <span><math><mi>Γ</mi></math></span> with respect to <span><math><mi>x</mi></math></span>. The matrices <span><math><mrow><mi>A</mi><mo>,</mo><msup><mrow><mi>A</mi></mrow><mrow><mo>∗</mo></mrow></msup></mrow></math></span> generate the subconstituent algebra <span><math><mrow><mi>T</mi><mo>=</mo><mi>T</mi><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow></mrow></math></span>. We assume that for every choice of <span><math><mi>x</mi></math></span> the algebra <span><math><mi>T</mi></math></span> contains a certain central element <span><math><mrow><mi>Z</mi><mo>=</mo><mi>Z</mi><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow></mrow></math></span> whose significance is illuminated by the following relations: <span><span><span><math><mrow><mi>A</mi><mo>+</mo><mfrac><mrow><mi>q</mi><mi>B</mi><mi>C</mi><mo>−</mo><msup><mrow><mi>q</mi></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msup><mi>C</mi><mi>B</mi></mrow><mrow><msup><mrow><mi>q</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>−</mo><msup><mrow><mi>q</mi></mrow><mrow><mo>−</mo><mn>2</mn></mrow></msup></mrow></mfrac><mo>=</mo><mi>Z</mi><mo>,</mo><mspace></mspace><mi>B</mi><mo>+</mo><mfrac><mrow><mi>q</mi><mi>C</mi><mi>A</mi><mo>−</mo><msup><mrow><mi>q</mi></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msup><mi>A</mi><mi>C</mi></mrow><mrow><msup><mrow><mi>q</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>−</mo><msup><mrow><mi>q</mi></mrow><mrow><mo>−</mo><mn>2</mn></mrow></msup></mrow></mfrac><mo>=</mo><mi>Z</mi><mo>,</mo><mspace></mspace><mi>C</mi><mo>+</mo><mfrac><mrow><mi>q</mi><mi>A</mi><mi>B</mi><mo>−</mo><msup><mrow><mi>q</mi></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msup><mi>B</mi><mi>A</mi></mrow><mrow><msup><mrow><mi>q</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>−</mo><msup><mrow><mi>q</mi></mrow><mrow><mo>−</mo><mn>2</mn></mrow></msup></mrow></mfrac><mo>=</mo><mi>Z</mi><mo>.</mo></mrow></math></span></span></span> The matrices <span><math><mi>A</mi></math></span>, <span><math><mi>B</mi></math></span> satisfy <span><math><mrow><mi>A</mi><mo>=</mo><mrow><mo>(</mo><mi>A</mi><mo>−</mo><mi>ɛ</mi><mi>I</mi><mo>)</mo></mrow><mo>/</mo><mi>α</mi></mrow></math></span> and <span><math><mrow><mi>B</mi><mo>=</mo><mrow><mo>(</mo><msup><mrow><mi>A</mi></mrow","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142173819","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 : 2024-09-11DOI: 10.1016/j.ejc.2024.104057
<div><p>A subset <span><math><mi>S</mi></math></span> of a transitive permutation group <span><math><mrow><mi>G</mi><mo>≤</mo><mi>Sym</mi><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow></mrow></math></span> is said to be an intersecting set if, for every <span><math><mrow><msub><mrow><mi>g</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>g</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>∈</mo><mi>S</mi></mrow></math></span>, there is an <span><math><mrow><mi>i</mi><mo>∈</mo><mrow><mo>[</mo><mi>n</mi><mo>]</mo></mrow></mrow></math></span> such that <span><math><mrow><msub><mrow><mi>g</mi></mrow><mrow><mn>1</mn></mrow></msub><mrow><mo>(</mo><mi>i</mi><mo>)</mo></mrow><mo>=</mo><msub><mrow><mi>g</mi></mrow><mrow><mn>2</mn></mrow></msub><mrow><mo>(</mo><mi>i</mi><mo>)</mo></mrow></mrow></math></span>. The stabilizer of a point in <span><math><mrow><mo>[</mo><mi>n</mi><mo>]</mo></mrow></math></span> and its cosets are intersecting sets of size <span><math><mrow><mrow><mo>|</mo><mi>G</mi><mo>|</mo></mrow><mo>/</mo><mi>n</mi></mrow></math></span>. Such families are referred to as canonical intersecting sets. A result by Meagher, Spiga, and Tiep states that if <span><math><mi>G</mi></math></span> is a 2-transitive group, then <span><math><mrow><mrow><mo>|</mo><mi>G</mi><mo>|</mo></mrow><mo>/</mo><mi>n</mi></mrow></math></span> is the size of an intersecting set of maximum size in <span><math><mi>G</mi></math></span>. In some 2-transitive groups (for instance <span><math><mrow><mi>Sym</mi><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow></mrow></math></span>, <span><math><mrow><mi>Alt</mi><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow></mrow></math></span>), every intersecting set of maximum possible size is canonical. A permutation group, in which every intersecting family of maximum possible size is canonical, is said to satisfy the strict-EKR property. In this article, we investigate the structure of intersecting sets in 3-transitive groups. A conjecture by Meagher and Spiga states that all 3-transitive groups satisfy the strict-EKR property. Meagher and Spiga showed that this is true for the 3-transitive group <span><math><mrow><mi>PGL</mi><mrow><mo>(</mo><mn>2</mn><mo>,</mo><mi>q</mi><mo>)</mo></mrow></mrow></math></span>. Using the classification of 3-transitive groups and some results in the literature, the conjecture reduces to showing that the 3-transitive group <span><math><mrow><mi>AGL</mi><mrow><mo>(</mo><mi>n</mi><mo>,</mo><mn>2</mn><mo>)</mo></mrow></mrow></math></span> satisfies the strict-EKR property. We show that <span><math><mrow><mi>AGL</mi><mrow><mo>(</mo><mi>n</mi><mo>,</mo><mn>2</mn><mo>)</mo></mrow></mrow></math></span> satisfies the strict-EKR property and as a consequence, we prove Meagher and Spiga’s conjecture. We also prove a stronger result for <span><math><mrow><mi>AGL</mi><mrow><mo>(</mo><mi>n</mi><mo>,</mo><mn>2</mn><mo>)</mo></mrow></mrow></math></span> by showing that “large” intersecting sets in <span><math><mrow><mi>A
{"title":"All 3-transitive groups satisfy the strict-Erdős–Ko–Rado property","authors":"","doi":"10.1016/j.ejc.2024.104057","DOIUrl":"10.1016/j.ejc.2024.104057","url":null,"abstract":"<div><p>A subset <span><math><mi>S</mi></math></span> of a transitive permutation group <span><math><mrow><mi>G</mi><mo>≤</mo><mi>Sym</mi><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow></mrow></math></span> is said to be an intersecting set if, for every <span><math><mrow><msub><mrow><mi>g</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>g</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>∈</mo><mi>S</mi></mrow></math></span>, there is an <span><math><mrow><mi>i</mi><mo>∈</mo><mrow><mo>[</mo><mi>n</mi><mo>]</mo></mrow></mrow></math></span> such that <span><math><mrow><msub><mrow><mi>g</mi></mrow><mrow><mn>1</mn></mrow></msub><mrow><mo>(</mo><mi>i</mi><mo>)</mo></mrow><mo>=</mo><msub><mrow><mi>g</mi></mrow><mrow><mn>2</mn></mrow></msub><mrow><mo>(</mo><mi>i</mi><mo>)</mo></mrow></mrow></math></span>. The stabilizer of a point in <span><math><mrow><mo>[</mo><mi>n</mi><mo>]</mo></mrow></math></span> and its cosets are intersecting sets of size <span><math><mrow><mrow><mo>|</mo><mi>G</mi><mo>|</mo></mrow><mo>/</mo><mi>n</mi></mrow></math></span>. Such families are referred to as canonical intersecting sets. A result by Meagher, Spiga, and Tiep states that if <span><math><mi>G</mi></math></span> is a 2-transitive group, then <span><math><mrow><mrow><mo>|</mo><mi>G</mi><mo>|</mo></mrow><mo>/</mo><mi>n</mi></mrow></math></span> is the size of an intersecting set of maximum size in <span><math><mi>G</mi></math></span>. In some 2-transitive groups (for instance <span><math><mrow><mi>Sym</mi><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow></mrow></math></span>, <span><math><mrow><mi>Alt</mi><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow></mrow></math></span>), every intersecting set of maximum possible size is canonical. A permutation group, in which every intersecting family of maximum possible size is canonical, is said to satisfy the strict-EKR property. In this article, we investigate the structure of intersecting sets in 3-transitive groups. A conjecture by Meagher and Spiga states that all 3-transitive groups satisfy the strict-EKR property. Meagher and Spiga showed that this is true for the 3-transitive group <span><math><mrow><mi>PGL</mi><mrow><mo>(</mo><mn>2</mn><mo>,</mo><mi>q</mi><mo>)</mo></mrow></mrow></math></span>. Using the classification of 3-transitive groups and some results in the literature, the conjecture reduces to showing that the 3-transitive group <span><math><mrow><mi>AGL</mi><mrow><mo>(</mo><mi>n</mi><mo>,</mo><mn>2</mn><mo>)</mo></mrow></mrow></math></span> satisfies the strict-EKR property. We show that <span><math><mrow><mi>AGL</mi><mrow><mo>(</mo><mi>n</mi><mo>,</mo><mn>2</mn><mo>)</mo></mrow></mrow></math></span> satisfies the strict-EKR property and as a consequence, we prove Meagher and Spiga’s conjecture. We also prove a stronger result for <span><math><mrow><mi>AGL</mi><mrow><mo>(</mo><mi>n</mi><mo>,</mo><mn>2</mn><mo>)</mo></mrow></mrow></math></span> by showing that “large” intersecting sets in <span><math><mrow><mi>A","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142168242","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 : 2024-09-06DOI: 10.1016/j.ejc.2024.104059
We prove that an -vertex digraph with minimum semi-degree at least and contains a subdivision of all -arc digraphs without isolated vertices. Here, is a constant only depending on This is the best possible and settles a conjecture raised by Pavez-Signé (2023) in a stronger form.
我们证明,最小半度至少为 12+ɛn 且 n≥Cm 的 n 个顶点数图 D 包含所有无孤立顶点的 m 弧数图的细分。这里,C 是一个常数,只取决于 ɛ。这是可能的最佳结果,并以更强的形式解决了 Pavez-Signé (2023) 提出的猜想。
{"title":"Spanning subdivisions in dense digraphs","authors":"","doi":"10.1016/j.ejc.2024.104059","DOIUrl":"10.1016/j.ejc.2024.104059","url":null,"abstract":"<div><p>We prove that an <span><math><mi>n</mi></math></span>-vertex digraph <span><math><mi>D</mi></math></span> with minimum semi-degree at least <span><math><mrow><mfenced><mrow><mfrac><mrow><mn>1</mn></mrow><mrow><mn>2</mn></mrow></mfrac><mo>+</mo><mi>ɛ</mi></mrow></mfenced><mi>n</mi></mrow></math></span> and <span><math><mrow><mi>n</mi><mo>≥</mo><mi>C</mi><mi>m</mi></mrow></math></span> contains a subdivision of all <span><math><mi>m</mi></math></span>-arc digraphs without isolated vertices. Here, <span><math><mi>C</mi></math></span> is a constant only depending on <span><math><mrow><mi>ɛ</mi><mo>.</mo></mrow></math></span> This is the best possible and settles a conjecture raised by Pavez-Signé (2023) in a stronger form.</p></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0195669824001446/pdfft?md5=53af666a1aa86ffe42f097ee615130a5&pid=1-s2.0-S0195669824001446-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142148174","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 : 2024-09-06DOI: 10.1016/j.ejc.2024.104058
For groups that can be generated by an involution and an element of odd prime order, this paper gives a sufficient condition for a certain Cayley graph of to be a graphical regular representation (GRR), that is, for the Cayley graph to have full automorphism group isomorphic to . This condition enables one to show the existence of GRRs of prescribed valency for a large class of groups, and in this paper, -valent GRRs of finite nonabelian simple groups with are considered.
对于可以由一个内卷和一个奇素数元素生成的群 G,本文给出了一个充分条件,即 G 的某个 Cayley 图是一个图形正则表达式(GRR),也就是 Cayley 图具有与 G 同构的全自形群。
{"title":"Graphical regular representations of (2,p)-generated groups","authors":"","doi":"10.1016/j.ejc.2024.104058","DOIUrl":"10.1016/j.ejc.2024.104058","url":null,"abstract":"<div><p>For groups <span><math><mi>G</mi></math></span> that can be generated by an involution and an element of odd prime order, this paper gives a sufficient condition for a certain Cayley graph of <span><math><mi>G</mi></math></span> to be a graphical regular representation (GRR), that is, for the Cayley graph to have full automorphism group isomorphic to <span><math><mi>G</mi></math></span>. This condition enables one to show the existence of GRRs of prescribed valency for a large class of groups, and in this paper, <span><math><mi>k</mi></math></span>-valent GRRs of finite nonabelian simple groups with <span><math><mrow><mi>k</mi><mo>≥</mo><mn>5</mn></mrow></math></span> are considered.</p></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0195669824001434/pdfft?md5=c7da3e756f2ea49c07fc86ccf367f717&pid=1-s2.0-S0195669824001434-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142148173","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}