International audience It has been shown by Pittel and Romik that the random surface associated with a large rectangular Youngtableau converges to a deterministic limit. We study the fluctuations from this limit along the edges of the rectangle.We show that in the corner, these fluctuations are gaussian whereas, away from the corner and when the rectangle isa square, the fluctuations are given by the Tracy-Widom distribution. Our method is based on a connection with theJacobi ensemble.
{"title":"Rectangular Young tableaux and the Jacobi ensemble","authors":"P. Marchal","doi":"10.46298/dmtcs.6417","DOIUrl":"https://doi.org/10.46298/dmtcs.6417","url":null,"abstract":"International audience\u0000 \u0000 It has been shown by Pittel and Romik that the random surface associated with a large rectangular Youngtableau converges to a deterministic limit. We study the fluctuations from this limit along the edges of the rectangle.We show that in the corner, these fluctuations are gaussian whereas, away from the corner and when the rectangle isa square, the fluctuations are given by the Tracy-Widom distribution. Our method is based on a connection with theJacobi ensemble.\u0000","PeriodicalId":55175,"journal":{"name":"Discrete Mathematics and Theoretical Computer Science","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2015-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70482456","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
International audience Amoebas are projections of complex algebraic varieties in the algebraic torus under a Log-absolute value map, which have connections to various mathematical subjects. While amoebas of hypersurfaces have been inten- sively studied during the last years, the non-hypersurface case is barely understood so far. We investigate intersections of amoebas of n hypersurfaces in (C∗)n, which are genuine supersets of amoebas given by non-hypersurface vari- eties. Our main results are amoeba analogs of Bernstein's Theorem and Be ́zout's Theorem providing an upper bound for the number of connected components of such intersections. Moreover, we show that the order map for hypersur- face amoebas can be generalized in a natural way to intersections of amoebas. We show that, analogous to the case of amoebas of hypersurfaces, the restriction of this generalized order map to a single connected component is still 1-to-1.
{"title":"Intersections of Amoebas","authors":"Martina Juhnke-Kubitzke, T. Wolff","doi":"10.46298/dmtcs.6375","DOIUrl":"https://doi.org/10.46298/dmtcs.6375","url":null,"abstract":"International audience\u0000 \u0000 Amoebas are projections of complex algebraic varieties in the algebraic torus under a Log-absolute value map, which have connections to various mathematical subjects. While amoebas of hypersurfaces have been inten- sively studied during the last years, the non-hypersurface case is barely understood so far. We investigate intersections of amoebas of n hypersurfaces in (C∗)n, which are genuine supersets of amoebas given by non-hypersurface vari- eties. Our main results are amoeba analogs of Bernstein's Theorem and Be ́zout's Theorem providing an upper bound for the number of connected components of such intersections. Moreover, we show that the order map for hypersur- face amoebas can be generalized in a natural way to intersections of amoebas. We show that, analogous to the case of amoebas of hypersurfaces, the restriction of this generalized order map to a single connected component is still 1-to-1.\u0000","PeriodicalId":55175,"journal":{"name":"Discrete Mathematics and Theoretical Computer Science","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2015-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70481946","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
International audience We conjecture two combinatorial interpretations for the symmetric function ∆eken, where ∆f is an eigenoperator for the modified Macdonald polynomials defined by Bergeron, Garsia, Haiman, and Tesler. Both interpretations can be seen as generalizations of the Shuffle Conjecture, a statement originally conjectured by Haglund, Haiman, Remmel, Loehr, and Ulyanov and recently proved by Carlsson and Mellit. We show how previous work of the second and third authors on Tesler matrices and ordered set partitions can be used to verify several cases of our conjectures. Furthermore, we use a reciprocity identity and LLT polynomials to prove another case. Finally, we show how our conjectures inspire 4-variable generalizations of the Catalan numbers, extending work of Garsia, Haiman, and the first author.
{"title":"The Delta Conjecture","authors":"J. Haglund, J. Remmel, A. Wilson","doi":"10.1090/TRAN/7096","DOIUrl":"https://doi.org/10.1090/TRAN/7096","url":null,"abstract":"International audience\u0000 \u0000 We conjecture two combinatorial interpretations for the symmetric function ∆eken, where ∆f is an eigenoperator for the modified Macdonald polynomials defined by Bergeron, Garsia, Haiman, and Tesler. Both interpretations can be seen as generalizations of the Shuffle Conjecture, a statement originally conjectured by Haglund, Haiman, Remmel, Loehr, and Ulyanov and recently proved by Carlsson and Mellit. We show how previous work of the second and third authors on Tesler matrices and ordered set partitions can be used to verify several cases of our conjectures. Furthermore, we use a reciprocity identity and LLT polynomials to prove another case. Finally, we show how our conjectures inspire 4-variable generalizations of the Catalan numbers, extending work of Garsia, Haiman, and the first author.\u0000","PeriodicalId":55175,"journal":{"name":"Discrete Mathematics and Theoretical Computer Science","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2015-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1090/TRAN/7096","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"60695868","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A gapped repeat (respectively, palindrome) occurring in a word w is a factor uvu (respectively, (u^Rvu)) of w. We show how to compute efficiently, for every position i of the word w, the longest prefix u of w[i..n] such that uv (respectively, (u^Rv)) is a suffix of (w[1..i-1]) (defining thus a gapped repeat uvu – respectively, palindrome (u^Rvu)), and the length of v is subject to various types of restrictions.
{"title":"Longest Gapped Repeats and Palindromes","authors":"Marius Dumitran, Paweł Gawrychowski, F. Manea","doi":"10.23638/DMTCS-19-4-4","DOIUrl":"https://doi.org/10.23638/DMTCS-19-4-4","url":null,"abstract":"A gapped repeat (respectively, palindrome) occurring in a word w is a factor uvu (respectively, (u^Rvu)) of w. We show how to compute efficiently, for every position i of the word w, the longest prefix u of w[i..n] such that uv (respectively, (u^Rv)) is a suffix of (w[1..i-1]) (defining thus a gapped repeat uvu – respectively, palindrome (u^Rvu)), and the length of v is subject to various types of restrictions.","PeriodicalId":55175,"journal":{"name":"Discrete Mathematics and Theoretical Computer Science","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76670230","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
International audience We use Khovanov-Lauda-Rouquier (KLR) algebras to categorify a crystal isomorphism between a funda-mental crystal and the tensor product of a Kirillov-Reshetikhin crystal and another fundamental crystal, all in affine type. The nodes of the Kirillov-Reshetikhin crystal correspond to a family of “trivial” modules. The nodes of the fun-damental crystal correspond to simple modules of the corresponding cyclotomic KLR algebra. The crystal operators correspond to socle of restriction and behave compatibly with the rule for tensor product of crystal graphs.
{"title":"Categorifying the tensor product of the Kirillov-Reshetikhin crystal B1,1 and a fundamental crystal","authors":"Henry Kvinge, M. Vazirani","doi":"10.46298/dmtcs.6388","DOIUrl":"https://doi.org/10.46298/dmtcs.6388","url":null,"abstract":"International audience\u0000 \u0000 We use Khovanov-Lauda-Rouquier (KLR) algebras to categorify a crystal isomorphism between a funda-mental crystal and the tensor product of a Kirillov-Reshetikhin crystal and another fundamental crystal, all in affine type. The nodes of the Kirillov-Reshetikhin crystal correspond to a family of “trivial” modules. The nodes of the fun-damental crystal correspond to simple modules of the corresponding cyclotomic KLR algebra. The crystal operators correspond to socle of restriction and behave compatibly with the rule for tensor product of crystal graphs.\u0000","PeriodicalId":55175,"journal":{"name":"Discrete Mathematics and Theoretical Computer Science","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2015-08-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70481636","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We study Bennett deep sequences in the context of recursion theory; in particular we investigate the notions of (O(1)text {-deep}_K), (O(1)text {-deep}_C), order(text {-deep}_K) and order(text {-deep}_C) sequences. Our main results are that Martin-Lof random sets are not order(text {-deep}_C), that every many-one degree contains a set which is not (O(1)text {-deep}_C), that (O(1)text {-deep}_C) sets and order(text {-deep}_K) sets have high or DNR Turing degree and that no K-trival set is (O(1)text {-deep}_K).
{"title":"Depth, Highness and DNR degrees","authors":"Philippe Moser, F. Stephan","doi":"10.23638/DMTCS-19-4-2","DOIUrl":"https://doi.org/10.23638/DMTCS-19-4-2","url":null,"abstract":"We study Bennett deep sequences in the context of recursion theory; in particular we investigate the notions of (O(1)text {-deep}_K), (O(1)text {-deep}_C), order(text {-deep}_K) and order(text {-deep}_C) sequences. Our main results are that Martin-Lof random sets are not order(text {-deep}_C), that every many-one degree contains a set which is not (O(1)text {-deep}_C), that (O(1)text {-deep}_C) sets and order(text {-deep}_K) sets have high or DNR Turing degree and that no K-trival set is (O(1)text {-deep}_K).","PeriodicalId":55175,"journal":{"name":"Discrete Mathematics and Theoretical Computer Science","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2015-08-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73998487","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
International audience We construct the affine version of the Fomin-Kirillov algebra, called the affine FK algebra, to investigatethe combinatorics of affine Schubert calculus for typeA. We introduce Murnaghan-Nakayama elements and Dunklelements in the affine FK algebra. We show that they are commutative as Bruhat operators, and the commutativealgebra generated by these operators is isomorphic to the cohomology of the affine flag variety. As a byproduct, weobtain Murnaghan-Nakayama rules both for the affine Schubert polynomials and affine Stanley symmetric functions. This enable us to expressk-Schur functions in terms of power sum symmetric functions. We also provide the defi-nition of the affine Schubert polynomials, polynomial representatives of the Schubert basis in the cohomology of theaffine flag variety.
{"title":"Combinatorial description of the cohomology of the affine flag variety","authors":"Seung Jin Lee","doi":"10.1090/TRAN/7467","DOIUrl":"https://doi.org/10.1090/TRAN/7467","url":null,"abstract":"International audience\u0000 \u0000 We construct the affine version of the Fomin-Kirillov algebra, called the affine FK algebra, to investigatethe combinatorics of affine Schubert calculus for typeA. We introduce Murnaghan-Nakayama elements and Dunklelements in the affine FK algebra. We show that they are commutative as Bruhat operators, and the commutativealgebra generated by these operators is isomorphic to the cohomology of the affine flag variety. As a byproduct, weobtain Murnaghan-Nakayama rules both for the affine Schubert polynomials and affine Stanley symmetric functions. This enable us to expressk-Schur functions in terms of power sum symmetric functions. We also provide the defi-nition of the affine Schubert polynomials, polynomial representatives of the Schubert basis in the cohomology of theaffine flag variety.\u0000","PeriodicalId":55175,"journal":{"name":"Discrete Mathematics and Theoretical Computer Science","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2015-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1090/TRAN/7467","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"60698284","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
International audience There are three main constructions of supercharacter theories for a group G. The first, defined by Diaconis and Isaacs, comes from the action of a group A via automorphisms on our given group G. Another general way to construct a supercharacter theory for G, defined by Diaconis and Isaacs, uses the action of a group A of automor- phisms of the cyclotomic field Q[ζ|G|]. The third, defined by Hendrickson, is combining a supercharacter theories of a normal subgroup N of G with a supercharacter theory of G/N . In this paper we construct a supercharacter theory from an arbitrary set of normal subgroups of G. We show that when we consider the set of all normal subgroups of G, the corresponding supercharacter theory is related to a partition of G given by certain values on the central primitive idempotents. Also, we show the supercharacter theories that we construct can not be obtained via automorphisms or a single normal subgroup.
{"title":"Normal Supercharacter Theory","authors":"F. Aliniaeifard","doi":"10.46298/dmtcs.6397","DOIUrl":"https://doi.org/10.46298/dmtcs.6397","url":null,"abstract":"International audience\u0000 \u0000 There are three main constructions of supercharacter theories for a group G. The first, defined by Diaconis and Isaacs, comes from the action of a group A via automorphisms on our given group G. Another general way to construct a supercharacter theory for G, defined by Diaconis and Isaacs, uses the action of a group A of automor- phisms of the cyclotomic field Q[ζ|G|]. The third, defined by Hendrickson, is combining a supercharacter theories of a normal subgroup N of G with a supercharacter theory of G/N . In this paper we construct a supercharacter theory from an arbitrary set of normal subgroups of G. We show that when we consider the set of all normal subgroups of G, the corresponding supercharacter theory is related to a partition of G given by certain values on the central primitive idempotents. Also, we show the supercharacter theories that we construct can not be obtained via automorphisms or a single normal subgroup.\u0000","PeriodicalId":55175,"journal":{"name":"Discrete Mathematics and Theoretical Computer Science","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2015-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70481949","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
International audience The main objects of noncrossing Catalan combinatorics associated to a finite Coxeter system are noncross- ing partitions, sortable elements, and cluster complexes. The first and the third of these have known Fuss–Catalan generalizations. We provide new viewpoints for these, introduce a corresponding generalization of sortable elements as elements in the positive Artin monoid, and show how this perspective ties together all three generalizations.
{"title":"Cataland: Why the Fuss?","authors":"Christian Stump, H. Thomas, N. Williams","doi":"10.46298/dmtcs.6351","DOIUrl":"https://doi.org/10.46298/dmtcs.6351","url":null,"abstract":"International audience\u0000 \u0000 The main objects of noncrossing Catalan combinatorics associated to a finite Coxeter system are noncross- ing partitions, sortable elements, and cluster complexes. The first and the third of these have known Fuss–Catalan generalizations. We provide new viewpoints for these, introduce a corresponding generalization of sortable elements as elements in the positive Artin monoid, and show how this perspective ties together all three generalizations.\u0000","PeriodicalId":55175,"journal":{"name":"Discrete Mathematics and Theoretical Computer Science","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2015-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70481218","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}