We study the following question raised by Erdős and Hajnal in the early 90's. Over all $n$-vertex graphs $G$ what is the smallest possible value of $m$ for which any $m$ vertices of $G$ contain both a clique and an independent set of size $log n$? We construct examples showing that $m$ is at most $2^{2^{(loglog n)^{1/2+o(1)}}}$ obtaining a twofold sub-polynomial improvement over the upper bound of about $sqrt{n}$ coming from the natural guess, the random graph. Our (probabilistic) construction gives rise to new examples of Ramsey graphs, which while having no very large homogenous subsets contain both cliques and independent sets of size $log n$ in any small subset of vertices. This is very far from being true in random graphs. Our proofs are based on an interplay between taking lexicographic products and using randomness.
{"title":"Large cliques and independent sets all over the place","authors":"N. Alon, M. Buci'c, B. Sudakov","doi":"10.1090/proc/15323","DOIUrl":"https://doi.org/10.1090/proc/15323","url":null,"abstract":"We study the following question raised by Erdős and Hajnal in the early 90's. Over all $n$-vertex graphs $G$ what is the smallest possible value of $m$ for which any $m$ vertices of $G$ contain both a clique and an independent set of size $log n$? We construct examples showing that $m$ is at most $2^{2^{(loglog n)^{1/2+o(1)}}}$ obtaining a twofold sub-polynomial improvement over the upper bound of about $sqrt{n}$ coming from the natural guess, the random graph. Our (probabilistic) construction gives rise to new examples of Ramsey graphs, which while having no very large homogenous subsets contain both cliques and independent sets of size $log n$ in any small subset of vertices. This is very far from being true in random graphs. Our proofs are based on an interplay between taking lexicographic products and using randomness.","PeriodicalId":8442,"journal":{"name":"arXiv: Combinatorics","volume":"61 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83770910","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The energy and iota energy of signed digraphs are respectively defined as the sum of absolute values of real parts and sum of absolute values of imaginary parts of its eigenvalues. Recently, Yang and Wang (2018) find the energy and iota energy ordering of digraphs in D(n) and compute the maximal energy and iota energy, where D(n) denotes the set of vertex-disjoint bicyclic digraphs of a fixed order n. In this paper, we investigate the energy ordering of signed digraphs in D(n,s) and finds the maximal energy, where D(n,s) denotes the set of vertex-disjoint bicyclic sidigraphs of a fixed order n.
{"title":"On energy ordering of vertex-disjoint bicyclic sidigraphs","authors":"S. Hafeez, R. Farooq","doi":"10.3934/math.2020430","DOIUrl":"https://doi.org/10.3934/math.2020430","url":null,"abstract":"The energy and iota energy of signed digraphs are respectively defined as the sum of absolute values of real parts and sum of absolute values of imaginary parts of its eigenvalues. Recently, Yang and Wang (2018) find the energy and iota energy ordering of digraphs in D(n) and compute the maximal energy and iota energy, where D(n) denotes the set of vertex-disjoint bicyclic digraphs of a fixed order n. In this paper, we investigate the energy ordering of signed digraphs in D(n,s) and finds the maximal energy, where D(n,s) denotes the set of vertex-disjoint bicyclic sidigraphs of a fixed order n.","PeriodicalId":8442,"journal":{"name":"arXiv: Combinatorics","volume":"23 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76552172","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-04-03DOI: 10.22108/TOC.2021.126881.1805
Xiuwen Yang, Ligong Wang
The concept of energy of a signed digraph is extended to iota energy of a signed digraph. The energy of a signed digraph $S$ is defined by $E(S)=sum_{k=1}^n|text{Re}(z_k)|$, where $text{Re}(z_k)$ is the real part of eigenvalue $z_k$ and $z_k$ is the eigenvalue of the adjacency matrix of $S$ with $n$ vertices, $k=1,2,ldots,n$. Then the iota energy of $S$ is defined by $E(S)=sum_{k=1}^n|text{Im}(z_k)|$, where $text{Im}(z_k)$ is the imaginary part of eigenvalue $z_k$. In this paper, we consider a special graph class for bicyclic signed digraphs $mathcal{S}_n$ with $n$ vertices which have two vertex-disjoint signed directed even cycles. We give two iota energy orderings of bicyclic signed digraphs, one is including two positive or two negative directed even cycles, the other is including one positive and one negative directed even cycles.
{"title":"Iota energy orderings of bicyclic signed digraphs","authors":"Xiuwen Yang, Ligong Wang","doi":"10.22108/TOC.2021.126881.1805","DOIUrl":"https://doi.org/10.22108/TOC.2021.126881.1805","url":null,"abstract":"The concept of energy of a signed digraph is extended to iota energy of a signed digraph. The energy of a signed digraph $S$ is defined by $E(S)=sum_{k=1}^n|text{Re}(z_k)|$, where $text{Re}(z_k)$ is the real part of eigenvalue $z_k$ and $z_k$ is the eigenvalue of the adjacency matrix of $S$ with $n$ vertices, $k=1,2,ldots,n$. Then the iota energy of $S$ is defined by $E(S)=sum_{k=1}^n|text{Im}(z_k)|$, where $text{Im}(z_k)$ is the imaginary part of eigenvalue $z_k$. In this paper, we consider a special graph class for bicyclic signed digraphs $mathcal{S}_n$ with $n$ vertices which have two vertex-disjoint signed directed even cycles. We give two iota energy orderings of bicyclic signed digraphs, one is including two positive or two negative directed even cycles, the other is including one positive and one negative directed even cycles.","PeriodicalId":8442,"journal":{"name":"arXiv: Combinatorics","volume":"1 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84090495","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We introduce a family of ideals $I_{n,lambda,s}$ in $mathbb{Q}[x_1,dots,x_n]$ for $lambda$ a partition of $kleq n$ and an integer $s geq ell(lambda)$. This family contains both the Tanisaki ideals $I_lambda$ and the ideals $I_{n,k}$ of Haglund-Rhoades-Shimozono as special cases. We study the corresponding quotient rings $R_{n,lambda,s}$ as symmetric group modules. When $n=k$ and $s$ is arbitrary, we recover the Garsia-Procesi modules, and when $lambda=(1^k)$ and $s=k$, we recover the generalized coinvariant algebras of Haglund-Rhoades-Shimozono. We give a monomial basis for $R_{n,lambda,s}$, unifying the monomial bases studied by Garsia-Procesi and Haglund-Rhoades-Shimozono, and realize the $S_n$-module structure of $R_{n,lambda,s}$ in terms of an action on $(n,lambda,s)$-ordered set partitions. We also prove formulas for the Hilbert series and graded Frobenius characteristic of $R_{n,lambda,s}$. We then connect our work with Eisenbud-Saltman rank varieties using results of Weyman. As an application of our work, we give a monomial basis, Hilbert series formula, and graded Frobenius characteristic formula for the coordinate ring of the scheme-theoretic intersection of a rank variety with diagonal matrices.
{"title":"Ordered set partitions, Garsia-Procesi modules, and rank varieties","authors":"Sean T. Griffin","doi":"10.1090/tran/8237","DOIUrl":"https://doi.org/10.1090/tran/8237","url":null,"abstract":"We introduce a family of ideals $I_{n,lambda,s}$ in $mathbb{Q}[x_1,dots,x_n]$ for $lambda$ a partition of $kleq n$ and an integer $s geq ell(lambda)$. This family contains both the Tanisaki ideals $I_lambda$ and the ideals $I_{n,k}$ of Haglund-Rhoades-Shimozono as special cases. We study the corresponding quotient rings $R_{n,lambda,s}$ as symmetric group modules. When $n=k$ and $s$ is arbitrary, we recover the Garsia-Procesi modules, and when $lambda=(1^k)$ and $s=k$, we recover the generalized coinvariant algebras of Haglund-Rhoades-Shimozono. We give a monomial basis for $R_{n,lambda,s}$, unifying the monomial bases studied by Garsia-Procesi and Haglund-Rhoades-Shimozono, and realize the $S_n$-module structure of $R_{n,lambda,s}$ in terms of an action on $(n,lambda,s)$-ordered set partitions. We also prove formulas for the Hilbert series and graded Frobenius characteristic of $R_{n,lambda,s}$. We then connect our work with Eisenbud-Saltman rank varieties using results of Weyman. As an application of our work, we give a monomial basis, Hilbert series formula, and graded Frobenius characteristic formula for the coordinate ring of the scheme-theoretic intersection of a rank variety with diagonal matrices.","PeriodicalId":8442,"journal":{"name":"arXiv: Combinatorics","volume":"72 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-04-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88323892","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-04-01DOI: 10.7546/CRABS.2020.08.02
P. Boyvalenkov
We derive general linear programming bounds for spherical $(k,k)$-designs. This includes lower bounds for the minimum cardinality and lower and upper bounds for minimum and maximum energy, respectively. As applications we obtain a universal bound in sense of Levenshtein for the minimum possible cardinality of a $(k,k)$ design for fixed dimension and $k$ and corresponding optimality result. We also discuss examples and possibilities for attaining the universal bound.
{"title":"Linear Programming Bounds for Spherical (k,k)-Designs","authors":"P. Boyvalenkov","doi":"10.7546/CRABS.2020.08.02","DOIUrl":"https://doi.org/10.7546/CRABS.2020.08.02","url":null,"abstract":"We derive general linear programming bounds for spherical $(k,k)$-designs. This includes lower bounds for the minimum cardinality and lower and upper bounds for minimum and maximum energy, respectively. As applications we obtain a universal bound in sense of Levenshtein for the minimum possible cardinality of a $(k,k)$ design for fixed dimension and $k$ and corresponding optimality result. We also discuss examples and possibilities for attaining the universal bound.","PeriodicalId":8442,"journal":{"name":"arXiv: Combinatorics","volume":"71 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90393111","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We define and study a model of winding for non-colliding particles in finite trees. We prove that the asymptotic behavior of this statistic satisfies a central limiting theorem, analogous to similar results on winding of bounded particles in the plane. We also propose certain natural open questions and conjectures, whose confirmation would provide new insights on configuration spaces of trees.
{"title":"A Model for Random Braiding in Graph Configuration Spaces","authors":"D. A. Levin, Eric Ramos, Benjamin Young","doi":"10.1093/IMRN/RNAB008","DOIUrl":"https://doi.org/10.1093/IMRN/RNAB008","url":null,"abstract":"We define and study a model of winding for non-colliding particles in finite trees. We prove that the asymptotic behavior of this statistic satisfies a central limiting theorem, analogous to similar results on winding of bounded particles in the plane. We also propose certain natural open questions and conjectures, whose confirmation would provide new insights on configuration spaces of trees.","PeriodicalId":8442,"journal":{"name":"arXiv: Combinatorics","volume":"87 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73557574","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-04-01DOI: 10.7546/nntdm.2020.26.4.80-92
M. M. Mangontarum
In this paper, we derive formulas for the translated Whitney-Lah numbers and show that they are generalizations of already-existing identities of the classical Lah numbers. q-analogues of the said formulas are also obtained for the case of the translated q-Whitney numbers.
{"title":"The translated Whitney–Lah numbers: generalizations and q-analogues","authors":"M. M. Mangontarum","doi":"10.7546/nntdm.2020.26.4.80-92","DOIUrl":"https://doi.org/10.7546/nntdm.2020.26.4.80-92","url":null,"abstract":"In this paper, we derive formulas for the translated Whitney-Lah numbers and show that they are generalizations of already-existing identities of the classical Lah numbers. q-analogues of the said formulas are also obtained for the case of the translated q-Whitney numbers.","PeriodicalId":8442,"journal":{"name":"arXiv: Combinatorics","volume":"37 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80338903","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
J. P. Gollin, Kevin Hendrey, Dillon Mayhew, Sang-il Oum
DeVos, Kwon, and Oum introduced the concept of branch-depth of matroids as a natural analogue of tree-depth of graphs. They conjectured that a matroid of sufficiently large branch-depth contains the uniform matroid $U_{n,2n}$ or the cycle matroid of a large fan graph as a minor. We prove that matroids with sufficiently large branch-depth either contain the cycle matroid of a large fan graph as a minor or have large branch-width. As a corollary, we prove their conjecture for matroids representable over a fixed finite field and quasi-graphic matroids, where the uniform matroid is not an option.
{"title":"Obstructions for Bounded Branch-depth in Matroids","authors":"J. P. Gollin, Kevin Hendrey, Dillon Mayhew, Sang-il Oum","doi":"10.19086/aic.24227","DOIUrl":"https://doi.org/10.19086/aic.24227","url":null,"abstract":"DeVos, Kwon, and Oum introduced the concept of branch-depth of matroids as a natural analogue of tree-depth of graphs. They conjectured that a matroid of sufficiently large branch-depth contains the uniform matroid $U_{n,2n}$ or the cycle matroid of a large fan graph as a minor. We prove that matroids with sufficiently large branch-depth either contain the cycle matroid of a large fan graph as a minor or have large branch-width. As a corollary, we prove their conjecture for matroids representable over a fixed finite field and quasi-graphic matroids, where the uniform matroid is not an option.","PeriodicalId":8442,"journal":{"name":"arXiv: Combinatorics","volume":"7 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72915364","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
An integer partition is called graphical if it is the degree sequence of a simple graph. We prove that the probability that a uniformly chosen partition of size $n$ is graphical decreases to zero faster than $n^{-.003}$, answering a question of Pittel. A lower bound of $n^{-1/2}$ was proven by ErdH{o}s and Richmond, and so this demonstrates that the probability decreases polynomially. Key to our argument is an asymptotic result of Pittel characterizing the joint distribution of the first rows and columns of a uniformly random partition, combined with a characterization of graphical partitions due to ErdH{o}s and Gallai. Our proof also implies a polynomial upper bound for the probability that two randomly chosen partitions are comparable in the dominance order.
{"title":"Asymptotic Bounds on Graphical Partitions and Partition Comparability","authors":"S. Melczer, Marcus Michelen, Somabha Mukherjee","doi":"10.1093/imrn/rnaa251","DOIUrl":"https://doi.org/10.1093/imrn/rnaa251","url":null,"abstract":"An integer partition is called graphical if it is the degree sequence of a simple graph. We prove that the probability that a uniformly chosen partition of size $n$ is graphical decreases to zero faster than $n^{-.003}$, answering a question of Pittel. A lower bound of $n^{-1/2}$ was proven by ErdH{o}s and Richmond, and so this demonstrates that the probability decreases polynomially. Key to our argument is an asymptotic result of Pittel characterizing the joint distribution of the first rows and columns of a uniformly random partition, combined with a characterization of graphical partitions due to ErdH{o}s and Gallai. Our proof also implies a polynomial upper bound for the probability that two randomly chosen partitions are comparable in the dominance order.","PeriodicalId":8442,"journal":{"name":"arXiv: Combinatorics","volume":"22 4 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83495170","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The complete symmetric directed graph of order $v$, denoted $K_{v}^*$, is the directed graph on $v$ vertices that contains both arcs $(x,y)$ and $(y,x)$ for each pair of distinct vertices $x$ and $y$. For a given directed graph, $D$, the set of all $v$ for which $K_{v}^*$ admits a $D$-decomposition is called the spectrum of $D$. There are 10 non-isomorphic orientations of a $7$-cycle (heptagon). In this paper, we completely settled the spectrum problem for each of the oriented heptagons.
{"title":"Decompositions of complete symmetric directed graphs into the oriented heptagons","authors":"Uğur Odabaşı","doi":"10.3906/mat-2007-54","DOIUrl":"https://doi.org/10.3906/mat-2007-54","url":null,"abstract":"The complete symmetric directed graph of order $v$, denoted $K_{v}^*$, is the directed graph on $v$ vertices that contains both arcs $(x,y)$ and $(y,x)$ for each pair of distinct vertices $x$ and $y$. For a given directed graph, $D$, the set of all $v$ for which $K_{v}^*$ admits a $D$-decomposition is called the spectrum of $D$. There are 10 non-isomorphic orientations of a $7$-cycle (heptagon). In this paper, we completely settled the spectrum problem for each of the oriented heptagons.","PeriodicalId":8442,"journal":{"name":"arXiv: Combinatorics","volume":"73 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76109804","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}