Pub Date : 2025-02-11DOI: 10.1016/j.disc.2025.114423
Wenbo Li, Shiping Liu
We present improved bounds on a quantitative version of an observation originally due to Breuillard, Green, Guralnick and Tao which says that for finite non-bipartite Cayley graphs, once the nontrivial eigenvalues of their normalized adjacency matrices are uniformly bounded away from 1, then they are also uniformly bounded away from −1. Unlike previous works which depend heavily on combinatorial arguments, we rely more on analysis of eigenfunctions. We establish a new explicit lower bound for the gap between −1 and the smallest normalized adjacency eigenvalue, which improves previous lower bounds in terms of edge-expansion, and is comparable to the best known lower bound in terms of vertex-expansion.
{"title":"On the nontrivial extremal eigenvalues of graphs","authors":"Wenbo Li, Shiping Liu","doi":"10.1016/j.disc.2025.114423","DOIUrl":"10.1016/j.disc.2025.114423","url":null,"abstract":"<div><div>We present improved bounds on a quantitative version of an observation originally due to Breuillard, Green, Guralnick and Tao which says that for finite non-bipartite Cayley graphs, once the nontrivial eigenvalues of their normalized adjacency matrices are uniformly bounded away from 1, then they are also uniformly bounded away from −1. Unlike previous works which depend heavily on combinatorial arguments, we rely more on analysis of eigenfunctions. We establish a new explicit lower bound for the gap between −1 and the smallest normalized adjacency eigenvalue, which improves previous lower bounds in terms of edge-expansion, and is comparable to the best known lower bound in terms of vertex-expansion.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 6","pages":"Article 114423"},"PeriodicalIF":0.7,"publicationDate":"2025-02-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143378565","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-02-07DOI: 10.1016/j.disc.2025.114420
Abhishek Dhawan
Let G be a multigraph and be a list assignment for the edges of G. Suppose additionally, for every vertex x, the edges incident to x have at least colors in common. We consider a variant of local edge-colorings wherein the color received by an edge e must be contained in . The locality appears in the function f, i.e., is some function of the local structure of x in G. Such a notion is a natural generalization of traditional local edge-coloring. Our main results include sufficient conditions on the function f to construct such colorings. As corollaries, we obtain local analogs of Vizing and Shannon's theorems, recovering a recent result of Conley, Grebík, and Pikhurko.
{"title":"Multigraph edge-coloring with local list sizes","authors":"Abhishek Dhawan","doi":"10.1016/j.disc.2025.114420","DOIUrl":"10.1016/j.disc.2025.114420","url":null,"abstract":"<div><div>Let <em>G</em> be a multigraph and <span><math><mi>L</mi><mspace></mspace><mo>:</mo><mspace></mspace><mi>E</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>→</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>N</mi></mrow></msup></math></span> be a list assignment for the edges of <em>G</em>. Suppose additionally, for every vertex <em>x</em>, the edges incident to <em>x</em> have at least <span><math><mi>f</mi><mo>(</mo><mi>x</mi><mo>)</mo></math></span> colors in common. We consider a variant of local edge-colorings wherein the color received by an edge <em>e</em> must be contained in <span><math><mi>L</mi><mo>(</mo><mi>e</mi><mo>)</mo></math></span>. The locality appears in the function <em>f</em>, i.e., <span><math><mi>f</mi><mo>(</mo><mi>x</mi><mo>)</mo></math></span> is some function of the local structure of <em>x</em> in <em>G</em>. Such a notion is a natural generalization of traditional local edge-coloring. Our main results include sufficient conditions on the function <em>f</em> to construct such colorings. As corollaries, we obtain local analogs of Vizing and Shannon's theorems, recovering a recent result of Conley, Grebík, and Pikhurko.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 6","pages":"Article 114420"},"PeriodicalIF":0.7,"publicationDate":"2025-02-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143348611","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-02-07DOI: 10.1016/j.disc.2025.114421
Lixiang Chen , Lizhu Sun , Changjiang Bu
The tensor spectra of the power hypergraph of a graph G is called the high-order spectra of G. In this paper, we show that all Smith graphs are determined by their high-order spectra. We give some high-order cospectral invariants of trees and use them to show that some cospectral trees constructed by the classical Schwenk method can be distinguished by their high-order spectra.
{"title":"High-order spectral characterizations of graphs","authors":"Lixiang Chen , Lizhu Sun , Changjiang Bu","doi":"10.1016/j.disc.2025.114421","DOIUrl":"10.1016/j.disc.2025.114421","url":null,"abstract":"<div><div>The tensor spectra of the power hypergraph of a graph <em>G</em> is called the high-order spectra of <em>G</em>. In this paper, we show that all Smith graphs are determined by their high-order spectra. We give some high-order cospectral invariants of trees and use them to show that some cospectral trees constructed by the classical Schwenk method can be distinguished by their high-order spectra.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 6","pages":"Article 114421"},"PeriodicalIF":0.7,"publicationDate":"2025-02-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143348612","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-02-07DOI: 10.1016/j.disc.2025.114418
Yue Ma
Let G be a graph and be a family of graphs. We say G is -saturated if G does not contain a copy of H with , but the addition of any edge creates at least one copy of some within . The saturation number of is the minimum size of an -saturated graph on n vertices, and the saturation spectrum of is the set of all possible sizes of an -saturated graph on n vertices. Let be the family of the unions of k vertex-disjoint cycles. In this note, we completely determine the saturation number and the saturation spectrum of for and give some results for .
{"title":"On the saturation spectrum of the unions of disjoint cycles","authors":"Yue Ma","doi":"10.1016/j.disc.2025.114418","DOIUrl":"10.1016/j.disc.2025.114418","url":null,"abstract":"<div><div>Let <em>G</em> be a graph and <span><math><mi>H</mi></math></span> be a family of graphs. We say <em>G</em> is <span><math><mi>H</mi></math></span>-saturated if <em>G</em> does not contain a copy of <em>H</em> with <span><math><mi>H</mi><mo>∈</mo><mi>H</mi></math></span>, but the addition of any edge <span><math><mi>e</mi><mo>∉</mo><mi>E</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> creates at least one copy of some <span><math><mi>H</mi><mo>∈</mo><mi>H</mi></math></span> within <span><math><mi>G</mi><mo>+</mo><mi>e</mi></math></span>. The saturation number of <span><math><mi>H</mi></math></span> is the minimum size of an <span><math><mi>H</mi></math></span>-saturated graph on <em>n</em> vertices, and the saturation spectrum of <span><math><mi>H</mi></math></span> is the set of all possible sizes of an <span><math><mi>H</mi></math></span>-saturated graph on <em>n</em> vertices. Let <span><math><mi>k</mi><msub><mrow><mi>C</mi></mrow><mrow><mo>≥</mo><mn>3</mn></mrow></msub></math></span> be the family of the unions of <em>k</em> vertex-disjoint cycles. In this note, we completely determine the saturation number and the saturation spectrum of <span><math><mi>k</mi><msub><mrow><mi>C</mi></mrow><mrow><mo>≥</mo><mn>3</mn></mrow></msub></math></span> for <span><math><mi>k</mi><mo>=</mo><mn>2</mn></math></span> and give some results for <span><math><mi>k</mi><mo>≥</mo><mn>3</mn></math></span>.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 6","pages":"Article 114418"},"PeriodicalIF":0.7,"publicationDate":"2025-02-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143348194","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}
A tree is called a k-ended tree if it has at most k leaves. Let and be integers, let G be a connected -free graph, and let be the minimum degree sum of pair-wisely non-adjacent vertices of G. For or for and , the lower bounds of which assure the existence of spanning k-ended trees are known. In this paper, we extend these results to the case and any , which states that for a connected -free graph, if and , or if and , or if , and , then G has a spanning k-ended tree. These lower bounds of the assumptions are best possible.
{"title":"A spanning tree with at most k leaves in a K1,5-free graph","authors":"Pei Sun , Yuan Chen , Masahiro Kimura , Kenta Ozeki , Masao Tsugaki","doi":"10.1016/j.disc.2025.114411","DOIUrl":"10.1016/j.disc.2025.114411","url":null,"abstract":"<div><div>A tree is called a <em>k</em>-ended tree if it has at most <em>k</em> leaves. Let <span><math><mi>k</mi><mo>≥</mo><mn>2</mn></math></span> and <span><math><mi>p</mi><mo>≥</mo><mn>3</mn></math></span> be integers, let <em>G</em> be a connected <span><math><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn><mo>,</mo><mi>p</mi></mrow></msub></math></span>-free graph, and let <span><math><msub><mrow><mi>σ</mi></mrow><mrow><mi>k</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo></math></span> be the minimum degree sum of pair-wisely non-adjacent <span><math><mi>k</mi><mo>+</mo><mn>1</mn></math></span> vertices of <em>G</em>. For <span><math><mi>p</mi><mo>=</mo><mn>3</mn><mo>,</mo><mn>4</mn></math></span> or for <span><math><mi>p</mi><mo>=</mo><mn>5</mn></math></span> and <span><math><mi>k</mi><mo>=</mo><mn>4</mn><mo>,</mo><mn>5</mn><mo>,</mo><mn>6</mn></math></span>, the lower bounds of <span><math><msub><mrow><mi>σ</mi></mrow><mrow><mi>k</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo></math></span> which assure the existence of spanning <em>k</em>-ended trees are known. In this paper, we extend these results to the case <span><math><mi>p</mi><mo>=</mo><mn>5</mn></math></span> and any <span><math><mi>k</mi><mo>≥</mo><mn>2</mn></math></span>, which states that for a connected <span><math><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn><mo>,</mo><mi>p</mi></mrow></msub></math></span>-free graph, if <span><math><mi>k</mi><mo>≥</mo><mn>4</mn></math></span> and <span><math><msub><mrow><mi>σ</mi></mrow><mrow><mi>k</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo><mo>≥</mo><mo>|</mo><mi>G</mi><mo>|</mo><mo>−</mo><mi>k</mi><mo>/</mo><mn>3</mn></math></span>, or if <span><math><mi>k</mi><mo>=</mo><mn>3</mn></math></span> and <span><math><msub><mrow><mi>σ</mi></mrow><mrow><mi>k</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo><mo>≥</mo><mo>|</mo><mi>G</mi><mo>|</mo></math></span>, or if <span><math><mi>k</mi><mo>=</mo><mn>2</mn></math></span>, <span><math><mo>|</mo><mi>G</mi><mo>|</mo><mo>≥</mo><mn>7</mn></math></span> and <span><math><msub><mrow><mi>σ</mi></mrow><mrow><mi>k</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo><mo>≥</mo><mo>|</mo><mi>G</mi><mo>|</mo></math></span>, then <em>G</em> has a spanning <em>k</em>-ended tree. These lower bounds of the assumptions are best possible.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 6","pages":"Article 114411"},"PeriodicalIF":0.7,"publicationDate":"2025-02-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143348193","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-02-05DOI: 10.1016/j.disc.2025.114419
Svetlana Shirokovskikh
This paper presents a novel investigation into the properties of 2-port networks, introducing the concepts of voltage drop and Π-equivalence. The primary contribution is the demonstration that any planar network is Π-equivalent to a network with a maximum of five edges. This finding has significant implications for tiling problems, specifically in relation to octagons shaped like the letter Π. We establish that if such an octagon can be tiled by squares, it can also be tiled by no more than five rectangles with rational aspect ratios. The theorem by Y. C. de Verdière, I. Gitler, and D. Vertigan from 1996 proves this only for 6 rectangles. In our approach, we use Π-equivalent transformations to simplify the network's structure. A novel transformation, which we have named Box-H, plays a crucial role in this process. By applying these transformations, we are able to significantly reduce the complexity of 2-port networks.
{"title":"Transformations of 2-port networks and tiling by rectangles","authors":"Svetlana Shirokovskikh","doi":"10.1016/j.disc.2025.114419","DOIUrl":"10.1016/j.disc.2025.114419","url":null,"abstract":"<div><div>This paper presents a novel investigation into the properties of 2-port networks, introducing the concepts of voltage drop and Π-equivalence. The primary contribution is the demonstration that any planar network is Π-equivalent to a network with a maximum of five edges. This finding has significant implications for tiling problems, specifically in relation to octagons shaped like the letter Π. We establish that if such an octagon can be tiled by squares, it can also be tiled by no more than five rectangles with rational aspect ratios. The theorem by Y. C. de Verdière, I. Gitler, and D. Vertigan from 1996 proves this only for 6 rectangles. In our approach, we use Π-equivalent transformations to simplify the network's structure. A novel transformation, which we have named Box-H, plays a crucial role in this process. By applying these transformations, we are able to significantly reduce the complexity of 2-port networks.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 6","pages":"Article 114419"},"PeriodicalIF":0.7,"publicationDate":"2025-02-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143228447","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-01-31DOI: 10.1016/j.disc.2025.114417
Alexey Gordeev
We correct the statement of Lemma 2.1 in [2] and give a new proof of Corollary 2.2 which previously depended on the incorrect version of Lemma 2.1.
{"title":"Corrigendum to “Combinatorial Nullstellensatz and Turán numbers of complete r-partite r-uniform hypergraphs” [Discrete Math. 347 (2024) 114037]","authors":"Alexey Gordeev","doi":"10.1016/j.disc.2025.114417","DOIUrl":"10.1016/j.disc.2025.114417","url":null,"abstract":"<div><div>We correct the statement of Lemma 2.1 in <span><span>[2]</span></span> and give a new proof of Corollary 2.2 which previously depended on the incorrect version of Lemma 2.1.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 4","pages":"Article 114417"},"PeriodicalIF":0.7,"publicationDate":"2025-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143376587","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-01-31DOI: 10.1016/j.disc.2025.114414
Arpan Sadhukhan
Shift graphs, which were introduced by Erdős and Hajnal [9], [11], have been used to answer various questions in structural graph theory. In this paper, we prove two new results using shift graphs and their induced subgraphs.
Recently Girão et al. [13], showed that for every graph F with at least one edge, there is a constant such that there are graphs of arbitrarily large chromatic number and the same clique number as F, in which every F-free induced subgraph has chromatic number at most . We significantly improve the value of the constant for the special case where F is the complete bipartite graph . We show that any -free induced subgraph of the triangle-free shift graph has chromatic number bounded by .
An undirected simple graph G is said to have the AOP Property if it can be acyclically oriented such that there is at most one directed path between any two vertices. We prove that the shift graph does not have the AOP property for any . Despite this, we construct induced subgraphs of shift graph with an arbitrarily high chromatic number and odd-girth that have the AOP property.
Furthermore, we construct graphs with arbitrarily high odd-girth that do not have the AOP Property and also prove the existence of graphs with girth equal to 5 that do not have the AOP property.
{"title":"Shift graphs, chromatic number and acyclic one-path orientations","authors":"Arpan Sadhukhan","doi":"10.1016/j.disc.2025.114414","DOIUrl":"10.1016/j.disc.2025.114414","url":null,"abstract":"<div><div>Shift graphs, which were introduced by Erdős and Hajnal <span><span>[9]</span></span>, <span><span>[11]</span></span>, have been used to answer various questions in structural graph theory. In this paper, we prove two new results using shift graphs and their induced subgraphs.<ul><li><span><figure><img></figure></span><span><div>Recently Girão et al. <span><span>[13]</span></span>, showed that for every graph <em>F</em> with at least one edge, there is a constant <span><math><msub><mrow><mi>c</mi></mrow><mrow><mi>F</mi></mrow></msub></math></span> such that there are graphs of arbitrarily large chromatic number and the same clique number as <em>F</em>, in which every <em>F</em>-free induced subgraph has chromatic number at most <span><math><msub><mrow><mi>c</mi></mrow><mrow><mi>F</mi></mrow></msub></math></span>. We significantly improve the value of the constant <span><math><msub><mrow><mi>c</mi></mrow><mrow><mi>F</mi></mrow></msub></math></span> for the special case where <em>F</em> is the complete bipartite graph <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>a</mi><mo>,</mo><mi>b</mi></mrow></msub></math></span>. We show that any <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>a</mi><mo>,</mo><mi>b</mi></mrow></msub></math></span>-free induced subgraph of the triangle-free shift graph <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>n</mi><mo>,</mo><mn>2</mn></mrow></msub></math></span> has chromatic number bounded by <span><math><mi>O</mi><mo>(</mo><mi>log</mi><mo></mo><mo>(</mo><mi>a</mi><mo>+</mo><mi>b</mi><mo>)</mo><mo>)</mo></math></span>.</div></span></li><li><span><figure><img></figure></span><span><div>An undirected simple graph <em>G</em> is said to have the AOP Property if it can be acyclically oriented such that there is at most one directed path between any two vertices. We prove that the shift graph <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>n</mi><mo>,</mo><mn>2</mn></mrow></msub></math></span> does not have the AOP property for any <span><math><mi>n</mi><mo>⩾</mo><mn>9</mn></math></span>. Despite this, we construct induced subgraphs of shift graph <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>n</mi><mo>,</mo><mn>2</mn></mrow></msub></math></span> with an arbitrarily high chromatic number and odd-girth that have the AOP property.</div></span></li></ul> Furthermore, we construct graphs with arbitrarily high odd-girth that do not have the AOP Property and also prove the existence of graphs with girth equal to 5 that do not have the AOP property.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 5","pages":"Article 114414"},"PeriodicalIF":0.7,"publicationDate":"2025-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143290017","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-01-31DOI: 10.1016/j.disc.2025.114416
George Brooks , Maggie Gu , Jack Hyatt , William Linz , Linyuan Lu
For a fixed positive integer k and a graph G, let denote the k-th largest eigenvalue of the adjacency matrix of G. In 2017, Tait and Tobin [24] proved that the maximum among all outerplanar graphs on n vertices is achieved by the fan graph . In this paper, we consider a similar problem of determining the maximum among all connected outerplanar graphs on n vertices. For n even and sufficiently large, we prove that the maximum is uniquely achieved by the graph , which is obtained by connecting two disjoint copies of through a new edge joining their smallest degree vertices. When n is odd and sufficiently large, the extremal graphs are not unique. The extremal graphs are those graphs G that contain a cut vertex u such that is isomorphic to . We also determine the maximum among all 2-connected outerplanar graphs and asymptotically determine the maximum of among all connected outerplanar graphs for any fixed k.
{"title":"On the maximum second eigenvalue of outerplanar graphs","authors":"George Brooks , Maggie Gu , Jack Hyatt , William Linz , Linyuan Lu","doi":"10.1016/j.disc.2025.114416","DOIUrl":"10.1016/j.disc.2025.114416","url":null,"abstract":"<div><div>For a fixed positive integer <em>k</em> and a graph <em>G</em>, let <span><math><msub><mrow><mi>λ</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo></math></span> denote the <em>k</em>-th largest eigenvalue of the adjacency matrix of <em>G</em>. In 2017, Tait and Tobin <span><span>[24]</span></span> proved that the maximum <span><math><msub><mrow><mi>λ</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo></math></span> among all outerplanar graphs on <em>n</em> vertices is achieved by the fan graph <span><math><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>∨</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>n</mi><mo>−</mo><mn>1</mn></mrow></msub></math></span>. In this paper, we consider a similar problem of determining the maximum <span><math><msub><mrow><mi>λ</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> among all connected outerplanar graphs on <em>n</em> vertices. For <em>n</em> even and sufficiently large, we prove that the maximum <span><math><msub><mrow><mi>λ</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> is uniquely achieved by the graph <span><math><mo>(</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>∨</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>n</mi><mo>/</mo><mn>2</mn><mo>−</mo><mn>1</mn></mrow></msub><mo>)</mo><mo>−</mo><mo>(</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>∨</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>n</mi><mo>/</mo><mn>2</mn><mo>−</mo><mn>1</mn></mrow></msub><mo>)</mo></math></span>, which is obtained by connecting two disjoint copies of <span><math><mo>(</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>∨</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>n</mi><mo>/</mo><mn>2</mn><mo>−</mo><mn>1</mn></mrow></msub><mo>)</mo></math></span> through a new edge joining their smallest degree vertices. When <em>n</em> is odd and sufficiently large, the extremal graphs are not unique. The extremal graphs are those graphs <em>G</em> that contain a cut vertex <em>u</em> such that <span><math><mi>G</mi><mo>∖</mo><mo>{</mo><mi>u</mi><mo>}</mo></math></span> is isomorphic to <span><math><mn>2</mn><mo>(</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>∨</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>n</mi><mo>/</mo><mn>2</mn><mo>−</mo><mn>1</mn></mrow></msub><mo>)</mo></math></span>. We also determine the maximum <span><math><msub><mrow><mi>λ</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> among all 2-connected outerplanar graphs and asymptotically determine the maximum of <span><math><msub><mrow><mi>λ</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo></math></span> among all connected outerplanar graphs for any fixed <em>k</em>.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 5","pages":"Article 114416"},"PeriodicalIF":0.7,"publicationDate":"2025-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143289345","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-01-29DOI: 10.1016/j.disc.2025.114415
Ayush Basu , Vojtěch Rödl , Yi Zhao
We study the maximum number of r-vertex cliques in -uniform hypergraphs not containing complete r-partite hypergraphs . By using the hypergraph removal lemma, we show that this maximum is . This immediately implies the corresponding results of Mubayi and Mukherjee and of Balogh, Jiang, and Luo for graphs. We also provide a lower bound by using hypergraph Turán numbers.
{"title":"The number of cliques in hypergraphs with forbidden subgraphs","authors":"Ayush Basu , Vojtěch Rödl , Yi Zhao","doi":"10.1016/j.disc.2025.114415","DOIUrl":"10.1016/j.disc.2025.114415","url":null,"abstract":"<div><div>We study the maximum number of <em>r</em>-vertex cliques in <span><math><mo>(</mo><mi>r</mi><mo>−</mo><mn>1</mn><mo>)</mo></math></span>-uniform hypergraphs not containing complete <em>r</em>-partite hypergraphs <span><math><msubsup><mrow><mi>K</mi></mrow><mrow><mi>r</mi></mrow><mrow><mo>(</mo><mi>r</mi><mo>−</mo><mn>1</mn><mo>)</mo></mrow></msubsup><mo>(</mo><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>r</mi></mrow></msub><mo>)</mo></math></span>. By using the hypergraph removal lemma, we show that this maximum is <span><math><mi>o</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mi>r</mi><mo>−</mo><mn>1</mn><mo>/</mo><mo>(</mo><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>⋯</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>r</mi><mo>−</mo><mn>1</mn></mrow></msub><mo>)</mo></mrow></msup><mo>)</mo></math></span>. This immediately implies the corresponding results of Mubayi and Mukherjee and of Balogh, Jiang, and Luo for graphs. We also provide a lower bound by using hypergraph Turán numbers.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 5","pages":"Article 114415"},"PeriodicalIF":0.7,"publicationDate":"2025-01-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143289344","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}