Moxuan J. Liu, Yichen Ma, Brendon Rhoades, Hai Zhu
Let $mathrm{Mat}_{n times n}(mathbb{C})$ be the affine space of $n times n$ complex matrices with coordinate ring $mathbb{C}[mathbf{x}_{n times n}]$. We define graded quotients of $mathbb{C}[mathbf{x}_{n times n}]$ which carry an action of the symmetric group $mathfrak{S}_n$ by simultaneous permutation of rows and columns. These quotient rings are obtained by applying the orbit harmonics method to matrix loci corresponding to all involutions in $mathfrak{S}_n$ and the conjugacy classes of involutions in $mathfrak{S}_n$ with a given number of fixed points. In the case of perfect matchings on ${1, dots, n}$ with $n$ even, the Hilbert series of our quotient ring is related to Tracy-Widom distributions and its graded Frobenius image gives a refinement of the plethysm $s_{n/2}[s_2]$.
让 $mathrm{Mat}_{n times n}(mathbb{C})$ 是坐标环为 $mathbb{C}[mathbf{x}_{n times n}]$ 的 $n timesn$ 复矩阵的仿射空间。我们定义了$mathbb{C}[mathbf{x}_{n times n}]$的分级商,它通过行列的同时置换来承载对称组$mathfrak{S}_n$的作用。这些商环是通过对$mathfrak{S}_n$中所有渐开线对应的矩阵位置以及$mathfrak{S}_n$中具有给定定点数的渐开线共轭类应用轨道谐波方法得到的。在 $n$ 偶数的 ${1,dots, n}$ 上的完全匹配的情况下,我们商环的希尔伯特数列与特雷西-维多姆分布相关,而它的分级弗罗本尼乌斯像给出了褶的细化 $s_{n/2}[s_2]$。
{"title":"Involution matrix loci and orbit harmonics","authors":"Moxuan J. Liu, Yichen Ma, Brendon Rhoades, Hai Zhu","doi":"arxiv-2409.06175","DOIUrl":"https://doi.org/arxiv-2409.06175","url":null,"abstract":"Let $mathrm{Mat}_{n times n}(mathbb{C})$ be the affine space of $n times\u0000n$ complex matrices with coordinate ring $mathbb{C}[mathbf{x}_{n times n}]$.\u0000We define graded quotients of $mathbb{C}[mathbf{x}_{n times n}]$ which carry\u0000an action of the symmetric group $mathfrak{S}_n$ by simultaneous permutation\u0000of rows and columns. These quotient rings are obtained by applying the orbit\u0000harmonics method to matrix loci corresponding to all involutions in\u0000$mathfrak{S}_n$ and the conjugacy classes of involutions in $mathfrak{S}_n$\u0000with a given number of fixed points. In the case of perfect matchings on ${1,\u0000dots, n}$ with $n$ even, the Hilbert series of our quotient ring is related\u0000to Tracy-Widom distributions and its graded Frobenius image gives a refinement\u0000of the plethysm $s_{n/2}[s_2]$.","PeriodicalId":501407,"journal":{"name":"arXiv - MATH - Combinatorics","volume":"2013 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142197632","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}
This article introduces the deformed homogeneous $(s,t)$-Rogers-Szeg"o polynomials h$_{n}(x,y;s,t,u,v)$. These polynomials are a generalization of the Rogers-Szeg"o polynomials and the $(p,q)$-Rogers-Szeg"o polynomials defined by Jagannathan. By using the deformed $(s,t)$-exponential operator based on operator T$_{a}D_{s,t}$ we find identities involving the polynomials h$_{n}(x,y;s,t,u,v)$, together with generalizations of the Mehler and Rogers formulas. In addition, a generating function for the polynomials h$_{n}(x,y;s,t,u,v)$ is found employing the deformed $frac{varphi}{u}$-commuting operators. A representation of deformed $(s,t)$-exponential function as the limit of a sequence of deformed $(s,t)$-Rogers-Szeg"o polynomials is obtained.
{"title":"Deformed Homogeneous $(s,t)$-Rogers-Szegö Polynomials and the Deformed $(s,t)$-Exponential Operator e$_{s,t}(y{rm T}_a D_{s,t},v)$","authors":"Ronald Orozco López","doi":"arxiv-2409.06878","DOIUrl":"https://doi.org/arxiv-2409.06878","url":null,"abstract":"This article introduces the deformed homogeneous $(s,t)$-Rogers-Szeg\"o\u0000polynomials h$_{n}(x,y;s,t,u,v)$. These polynomials are a generalization of the\u0000Rogers-Szeg\"o polynomials and the $(p,q)$-Rogers-Szeg\"o polynomials defined\u0000by Jagannathan. By using the deformed $(s,t)$-exponential operator based on\u0000operator T$_{a}D_{s,t}$ we find identities involving the polynomials\u0000h$_{n}(x,y;s,t,u,v)$, together with generalizations of the Mehler and Rogers\u0000formulas. In addition, a generating function for the polynomials\u0000h$_{n}(x,y;s,t,u,v)$ is found employing the deformed\u0000$frac{varphi}{u}$-commuting operators. A representation of deformed\u0000$(s,t)$-exponential function as the limit of a sequence of deformed\u0000$(s,t)$-Rogers-Szeg\"o polynomials is obtained.","PeriodicalId":501407,"journal":{"name":"arXiv - MATH - Combinatorics","volume":"37 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142197610","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}
Two central problems in extremal combinatorics are concerned with estimating the number $ex(n,H)$, the size of the largest $H$-free hypergraph on $n$ vertices, and the number $forb(n,H)$ of $H$-free hypergraph on $n$ vertices. While it is known that $forb(n,H)=2^{(1+o(1))ex(n,H)}$ for $k$-uniform hypergraphs that are not $k$-partite, estimates for hypergraphs that are $k$-partite (or degenerate) are not nearly as tight. In a recent breakthrough, Ferber, McKinley, and Samotij proved that for many degenerate hypergraphs $H$, $forb(n, H) = 2^{O(ex(n,H))}$. However, there are few known instances of degenerate hypergraphs $H$ for which $forb(n,H)=2^{(1+o(1))ex(n,H)}$ holds. In this paper, we show that $forb(n,H)=2^{(1+o(1))ex(n,H)}$ holds for a wide class of degenerate hypergraphs known as $2$-contractible hypertrees. This is the first known infinite family of degenerate hypergraphs $H$ for which $forb(n,H)=2^{(1+o(1))ex(n,H)}$ holds. As a corollary of our main results, we obtain a surprisingly sharp estimate of $forb(n,C^{(k)}_ell)=2^{(lfloorfrac{ell-1}{2}rfloor+o(1))binom{n}{k-1}}$ for the $k$-uniform linear $ell$-cycle, for all pairs $kgeq 5, ellgeq 3$, thus settling a question of Balogh, Narayanan, and Skokan affirmatively for all $kgeq 5, ellgeq 3$. Our methods also lead to some related sharp results on the corresponding random Turan problem. As a key ingredient of our proofs, we develop a novel supersaturation variant of the delta systems method for set systems, which may be of independent interest.
{"title":"On the number of H-free hypergraphs","authors":"Tao Jiang, Sean Longbrake","doi":"arxiv-2409.06810","DOIUrl":"https://doi.org/arxiv-2409.06810","url":null,"abstract":"Two central problems in extremal combinatorics are concerned with estimating\u0000the number $ex(n,H)$, the size of the largest $H$-free hypergraph on $n$\u0000vertices, and the number $forb(n,H)$ of $H$-free hypergraph on $n$ vertices.\u0000While it is known that $forb(n,H)=2^{(1+o(1))ex(n,H)}$ for $k$-uniform\u0000hypergraphs that are not $k$-partite, estimates for hypergraphs that are\u0000$k$-partite (or degenerate) are not nearly as tight. In a recent breakthrough, Ferber, McKinley, and Samotij proved that for many\u0000degenerate hypergraphs $H$, $forb(n, H) = 2^{O(ex(n,H))}$. However, there are\u0000few known instances of degenerate hypergraphs $H$ for which\u0000$forb(n,H)=2^{(1+o(1))ex(n,H)}$ holds. In this paper, we show that $forb(n,H)=2^{(1+o(1))ex(n,H)}$ holds for a wide\u0000class of degenerate hypergraphs known as $2$-contractible hypertrees. This is\u0000the first known infinite family of degenerate hypergraphs $H$ for which\u0000$forb(n,H)=2^{(1+o(1))ex(n,H)}$ holds. As a corollary of our main results, we\u0000obtain a surprisingly sharp estimate of\u0000$forb(n,C^{(k)}_ell)=2^{(lfloorfrac{ell-1}{2}rfloor+o(1))binom{n}{k-1}}$\u0000for the $k$-uniform linear $ell$-cycle, for all pairs $kgeq 5, ellgeq 3$,\u0000thus settling a question of Balogh, Narayanan, and Skokan affirmatively for all\u0000$kgeq 5, ellgeq 3$. Our methods also lead to some related sharp results on\u0000the corresponding random Turan problem. As a key ingredient of our proofs, we develop a novel supersaturation variant\u0000of the delta systems method for set systems, which may be of independent\u0000interest.","PeriodicalId":501407,"journal":{"name":"arXiv - MATH - Combinatorics","volume":"31 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142197613","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 Holant theorem is a powerful tool for studying the computational complexity of counting problems in the Holant framework. Due to the great expressiveness of the Holant framework, a converse to the Holant theorem would itself be a very powerful counting indistinguishability theorem. The most general converse does not hold, but we prove the following, still highly general, version: if any two sets of real-valued signatures are Holant-indistinguishable, then they are equivalent up to an orthogonal transformation. This resolves a partially open conjecture of Xia (2010). Consequences of this theorem include the well-known result that homomorphism counts from all graphs determine a graph up to isomorphism, the classical sufficient condition for simultaneous orthogonal similarity of sets of real matrices, and a combinatorial characterization of simultaneosly orthogonally decomposable (odeco) sets of tensors.
{"title":"The Converse of the Real Orthogonal Holant Theorem","authors":"Ben Young","doi":"arxiv-2409.06911","DOIUrl":"https://doi.org/arxiv-2409.06911","url":null,"abstract":"The Holant theorem is a powerful tool for studying the computational\u0000complexity of counting problems in the Holant framework. Due to the great\u0000expressiveness of the Holant framework, a converse to the Holant theorem would\u0000itself be a very powerful counting indistinguishability theorem. The most\u0000general converse does not hold, but we prove the following, still highly\u0000general, version: if any two sets of real-valued signatures are\u0000Holant-indistinguishable, then they are equivalent up to an orthogonal\u0000transformation. This resolves a partially open conjecture of Xia (2010).\u0000Consequences of this theorem include the well-known result that homomorphism\u0000counts from all graphs determine a graph up to isomorphism, the classical\u0000sufficient condition for simultaneous orthogonal similarity of sets of real\u0000matrices, and a combinatorial characterization of simultaneosly orthogonally\u0000decomposable (odeco) sets of tensors.","PeriodicalId":501407,"journal":{"name":"arXiv - MATH - Combinatorics","volume":"29 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142197629","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 asymptotic critical exponent measures for a sequence the maximum repetition rate of factors of growing length. The infimum of asymptotic critical exponents of sequences of a certain class is called the asymptotic repetition threshold of that class. On the one hand, if we consider the class of all d-ary sequences with d greater than one, then the asymptotic repetition threshold is equal to one, independently of the alphabet size. On the other hand, for the class of episturmian sequences, the repetition threshold depends on the alphabet size. We focus on rich sequences, i.e., sequences whose factors contain the maximum possible number of distinct palindromes. The class of episturmian sequences forms a subclass of rich sequences. We prove that the asymptotic repetition threshold for the class of rich recurrent d-ary sequences, with d greater than one, is equal to two, independently of the alphabet size.
{"title":"The asymptotic repetition threshold of sequences rich in palindromes","authors":"Lubomíra Dvořáková, Karel Klouda, Edita Pelantová","doi":"arxiv-2409.06849","DOIUrl":"https://doi.org/arxiv-2409.06849","url":null,"abstract":"The asymptotic critical exponent measures for a sequence the maximum\u0000repetition rate of factors of growing length. The infimum of asymptotic\u0000critical exponents of sequences of a certain class is called the asymptotic\u0000repetition threshold of that class. On the one hand, if we consider the class\u0000of all d-ary sequences with d greater than one, then the asymptotic repetition\u0000threshold is equal to one, independently of the alphabet size. On the other\u0000hand, for the class of episturmian sequences, the repetition threshold depends\u0000on the alphabet size. We focus on rich sequences, i.e., sequences whose factors\u0000contain the maximum possible number of distinct palindromes. The class of\u0000episturmian sequences forms a subclass of rich sequences. We prove that the\u0000asymptotic repetition threshold for the class of rich recurrent d-ary\u0000sequences, with d greater than one, is equal to two, independently of the\u0000alphabet size.","PeriodicalId":501407,"journal":{"name":"arXiv - MATH - Combinatorics","volume":"60 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142225146","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}
A family of graphs $mathcal{F}$ is said to have the joint embedding property (JEP) if for every $G_1, G_2in mathcal{F}$, there is an $Hin mathcal{F}$ that contains both $G_1$ and $G_2$ as induced subgraphs. If $mathcal{F}$ is given by a finite set $S$ of forbidden induced subgraphs, it is known that determining if $mathcal{F}$ has JEP is undecidable. We prove that this problem is decidable if $P_4in S$ and generalize this result to families of rooted labeled trees under topological containment, bounded treewidth families under the graph minor relation, and bounded cliquewidth families under the induced subgraph relation.
{"title":"On the joint embedding property for cographs and trees","authors":"Daniel Carter","doi":"arxiv-2409.06127","DOIUrl":"https://doi.org/arxiv-2409.06127","url":null,"abstract":"A family of graphs $mathcal{F}$ is said to have the joint embedding property\u0000(JEP) if for every $G_1, G_2in mathcal{F}$, there is an $Hin mathcal{F}$\u0000that contains both $G_1$ and $G_2$ as induced subgraphs. If $mathcal{F}$ is\u0000given by a finite set $S$ of forbidden induced subgraphs, it is known that\u0000determining if $mathcal{F}$ has JEP is undecidable. We prove that this problem\u0000is decidable if $P_4in S$ and generalize this result to families of rooted\u0000labeled trees under topological containment, bounded treewidth families under\u0000the graph minor relation, and bounded cliquewidth families under the induced\u0000subgraph relation.","PeriodicalId":501407,"journal":{"name":"arXiv - MATH - Combinatorics","volume":"27 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142197634","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 prove that the density of any covering single-insertion code $Csubseteq X^r$ over the $n$-symbol alphabet $X$ cannot be smaller than $1/r+delta_r$ for some positive real $delta_r$ not depending on $n$. This improves the volume lower bound of $1/(r+1)$. On the other hand, we observe that, for all sufficiently large $r$, if $n$ tends to infinity then the asymptotic upper bound of $7/(r+1)$ due to Lenz et al (2021) can be improved to $4.911/(r+1)$. Both the lower and the upper bounds are achieved by relating the code density to the Tur'an density from extremal combinatorics. For the last task, we use the analytic framework of measurable subsets of the real cube $[0,1]^r$.
{"title":"New bounds for the optimal density of covering single-insertion codes via the Turán density","authors":"Oleg Pikhurko, Oleg Verbitsky, Maksim Zhukovskii","doi":"arxiv-2409.06425","DOIUrl":"https://doi.org/arxiv-2409.06425","url":null,"abstract":"We prove that the density of any covering single-insertion code $Csubseteq\u0000X^r$ over the $n$-symbol alphabet $X$ cannot be smaller than $1/r+delta_r$ for\u0000some positive real $delta_r$ not depending on $n$. This improves the volume\u0000lower bound of $1/(r+1)$. On the other hand, we observe that, for all\u0000sufficiently large $r$, if $n$ tends to infinity then the asymptotic upper\u0000bound of $7/(r+1)$ due to Lenz et al (2021) can be improved to $4.911/(r+1)$. Both the lower and the upper bounds are achieved by relating the code density\u0000to the Tur'an density from extremal combinatorics. For the last task, we use\u0000the analytic framework of measurable subsets of the real cube $[0,1]^r$.","PeriodicalId":501407,"journal":{"name":"arXiv - MATH - Combinatorics","volume":"6 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142225152","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}
Zayed Asiri, Ryan Burdett, Markus Chimani, Michael Haythorpe, Alex Newcombe, Mirko H. Wagner
Determining the crossing numbers of Cartesian products of small graphs with arbitrarily large paths has been an ongoing topic of research since the 1970s. Doing so requires the establishment of coincident upper and lower bounds; the former is usually demonstrated by providing a suitable drawing procedure, while the latter often requires substantial theoretical arguments. Many such papers have been published, which typically focus on just one or two small graphs at a time, and use ad hoc arguments specific to those graphs. We propose a general approach which, when successful, establishes the required lower bound. This approach can be applied to the Cartesian product of any graph with arbitrarily large paths, and in each case involves solving a modified version of the crossing number problem on a finite number (typically only two or three) of small graphs. We demonstrate the potency of this approach by applying it to Cartesian products involving all 133 graphs $G$ of orders five or six, and show that it is successful in 128 cases. This includes 60 cases which a recent survey listed as either undetermined, or determined only in journals without adequate peer review.
{"title":"A Systematic Approach to Crossing Numbers of Cartesian Products with Paths","authors":"Zayed Asiri, Ryan Burdett, Markus Chimani, Michael Haythorpe, Alex Newcombe, Mirko H. Wagner","doi":"arxiv-2409.06755","DOIUrl":"https://doi.org/arxiv-2409.06755","url":null,"abstract":"Determining the crossing numbers of Cartesian products of small graphs with\u0000arbitrarily large paths has been an ongoing topic of research since the 1970s.\u0000Doing so requires the establishment of coincident upper and lower bounds; the\u0000former is usually demonstrated by providing a suitable drawing procedure, while\u0000the latter often requires substantial theoretical arguments. Many such papers\u0000have been published, which typically focus on just one or two small graphs at a\u0000time, and use ad hoc arguments specific to those graphs. We propose a general\u0000approach which, when successful, establishes the required lower bound. This\u0000approach can be applied to the Cartesian product of any graph with arbitrarily\u0000large paths, and in each case involves solving a modified version of the\u0000crossing number problem on a finite number (typically only two or three) of\u0000small graphs. We demonstrate the potency of this approach by applying it to\u0000Cartesian products involving all 133 graphs $G$ of orders five or six, and show\u0000that it is successful in 128 cases. This includes 60 cases which a recent\u0000survey listed as either undetermined, or determined only in journals without\u0000adequate peer review.","PeriodicalId":501407,"journal":{"name":"arXiv - MATH - Combinatorics","volume":"43 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142197611","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}
It was shown that every connected vertex-transitive graph of order $6p$, where $p$ is a prime, contains a Hamilton path cite{KS09}. It will be shown in this paper that every such graph contains a Hamilton cycle, except for the triangle-replaced graph of the Petersen graph.
{"title":"Hamilton cycles in vertex-transitive graphs of order $6p$","authors":"Shaofei Du, Tianlei Zhou","doi":"arxiv-2409.06138","DOIUrl":"https://doi.org/arxiv-2409.06138","url":null,"abstract":"It was shown that every connected vertex-transitive graph of order $6p$,\u0000where $p$ is a prime, contains a Hamilton path cite{KS09}. It will be shown in\u0000this paper that every such graph contains a Hamilton cycle, except for the\u0000triangle-replaced graph of the Petersen graph.","PeriodicalId":501407,"journal":{"name":"arXiv - MATH - Combinatorics","volume":"31 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142197633","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 describe all inequalities among generalized diagonals in positive semi-definite matrices. These turn out to be governed by a simple partial order on the symmetric group. This provides an analogue of results of Drake, Gerrish, and Skandera on inequalities among generalized diagonals in totally nonnegative matrices.
{"title":"Generalized Diagonals in Positive Semi-Definite Matrices","authors":"Robert Angarone, Daniel Soskin","doi":"arxiv-2409.06907","DOIUrl":"https://doi.org/arxiv-2409.06907","url":null,"abstract":"We describe all inequalities among generalized diagonals in positive\u0000semi-definite matrices. These turn out to be governed by a simple partial order\u0000on the symmetric group. This provides an analogue of results of Drake, Gerrish,\u0000and Skandera on inequalities among generalized diagonals in totally nonnegative\u0000matrices.","PeriodicalId":501407,"journal":{"name":"arXiv - MATH - Combinatorics","volume":"206 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142197608","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}