Showing 1–50 of 109 results for author: Paek, I

Multi-Object Spectroscopy of Galaxy Clusters at $z \sim 0.95$ in Ultra Deep Survey Field with Different Star-formation Properties and Large-scale Environments

Authors: Seong-Kook Lee, Myungshin Im, Bomi Park, Minhee Hyun, Insu Paek, Dohyeong Kim

Abstract: While galaxy clusters are dominated by quiescent galaxies at local, they show a wide range in quiescent galaxy fraction (QF) at higher redshifts. Here, we present the discovery of two galaxy clusters at $z \sim 0.95$ with contrasting QFs despite having similar masses (log ($M_{200}/M_{\odot}$)$ \sim 14$) and spectra and redshifts of 29 galaxies in these clusters and 76 galaxies in the surrounding… ▽ More While galaxy clusters are dominated by quiescent galaxies at local, they show a wide range in quiescent galaxy fraction (QF) at higher redshifts. Here, we present the discovery of two galaxy clusters at $z \sim 0.95$ with contrasting QFs despite having similar masses (log ($M_{200}/M_{\odot}$)$ \sim 14$) and spectra and redshifts of 29 galaxies in these clusters and 76 galaxies in the surrounding area. The clusters are found in the Ultra Deep Survey (UDS) field and confirmed through multi-object spectroscopic (MOS) observation using the Inamori Magellan Areal Camera and Spectrograph (IMACS) on the Magellan telescope. The two clusters exhibit QFs of $0.094^{+0.11}_{-0.032}$ and $0.38^{+0.14}_{-0.11}$, respectively. Analysis of large-scale structures (LSSs) surrounding these clusters finds that properties of these clusters are consistent with the anti-correlation trend between the QF and the extent of surrounding LSS, found in Lee et al. (2019), which can be interpreted as a result from the replenishment of young, star-forming galaxies keeps the QF low when galaxy clusters are accompanied by rich surrounding environments. △ Less

Submitted 8 July, 2024; originally announced July 2024.

Comments: 29 pages, 14 figures

Journal ref: The Astrophysical Journal Supplement Series, 2024 Volume 272, Issue 2, id.47, 18 pp

Signed combinatorial interpretations in algebraic combinatorics

Authors: Igor Pak, Colleen Robichaux

Abstract: We prove the existence of signed combinatorial interpretations for several large families of structure constants. These families include standard bases of symmetric and quasisymmetric polynomials, as well as various bases in Schubert theory. The results are stated in the language of computational complexity, while the proofs are based on the effective Möbius inversion. We prove the existence of signed combinatorial interpretations for several large families of structure constants. These families include standard bases of symmetric and quasisymmetric polynomials, as well as various bases in Schubert theory. The results are stated in the language of computational complexity, while the proofs are based on the effective Möbius inversion. △ Less

Submitted 10 July, 2024; v1 submitted 19 June, 2024; originally announced June 2024.

Comments: 23 pages, added Section 8

MSC Class: 05E05 (Primary) 05E10; 05E14; 68Q15 (Secondary)

Monotone parameters on Cayley graphs of finitely generated groups

Authors: Martin Kassabov, Igor Pak

Abstract: We construct a new large family of finitely generated groups with continuum many values of the following monotone parameters: spectral radius, critical percolation, and asymptotic entropy. We also present several open problems on other monotone parameters. We construct a new large family of finitely generated groups with continuum many values of the following monotone parameters: spectral radius, critical percolation, and asymptotic entropy. We also present several open problems on other monotone parameters. △ Less

Submitted 16 May, 2024; v1 submitted 16 April, 2024; originally announced April 2024.

Comments: In v2, Thm 1.2 is strengthened to close the gap. Also, we revised attributions, added references, expanded final and historical remarks; 19 pages

MSC Class: 20F69 (Primary); 20E08; 20P05; 60B15 (Secondary)

All triangulations have a common stellar subdivision

Authors: Karim Adiprasito, Igor Pak

Abstract: We address two longstanding open problems, one originating in PL topology, another in birational geometry. First, we prove the weighted version of Oda's \emph{strong factorization conjecture} (1978), and prove that every two birational toric varieties are related by a common iterated blowup (at rationally smooth points). Second, we prove that every two PL homeomorphic polyhedra have a common s… ▽ More We address two longstanding open problems, one originating in PL topology, another in birational geometry. First, we prove the weighted version of Oda's \emph{strong factorization conjecture} (1978), and prove that every two birational toric varieties are related by a common iterated blowup (at rationally smooth points). Second, we prove that every two PL homeomorphic polyhedra have a common stellar subdivisions, as conjectured by Alexander in~1930. △ Less

Submitted 23 April, 2024; v1 submitted 8 April, 2024; originally announced April 2024.

Linear extensions and continued fractions

Authors: Swee Hong Chan, Igor Pak

Abstract: We introduce several new constructions of finite posets with the number of linear extensions given by generalized continued fractions. We apply our results to the problem of the minimum number of elements needed for a poset with a given number of linear extensions. We introduce several new constructions of finite posets with the number of linear extensions given by generalized continued fractions. We apply our results to the problem of the minimum number of elements needed for a poset with a given number of linear extensions. △ Less

Submitted 12 June, 2024; v1 submitted 17 January, 2024; originally announced January 2024.

Comments: 15 pages. V2 incorporates referee's suggestions and updates references. To appear in the European Journal of Combinatorics

MSC Class: 06A07 (Primary) 11A55 (Secondary)

Linear extensions of finite posets

Authors: Swee Hong Chan, Igor Pak

Abstract: We give a broad survey of inequalities for the number of linear extensions of finite posets. We review many examples, discuss open problems, and present recent results on the subject. We emphasize the bounds, the equality conditions of the inequalities, and the computational complexity aspects of the results. We give a broad survey of inequalities for the number of linear extensions of finite posets. We review many examples, discuss open problems, and present recent results on the subject. We emphasize the bounds, the equality conditions of the inequalities, and the computational complexity aspects of the results. △ Less

Submitted 5 November, 2023; originally announced November 2023.

Comments: 55 pages

Gravitational-wave Electromagnetic Counterpart Korean Observatory (GECKO): GECKO Follow-up Observation of GW190425

Authors: Gregory S. H. Paek, Myungshin Im, Joonho Kim, Gu Lim, Bomi Park, Changsu Choi, Sophia Kim, Claudio Barbieri, Om Sharan Salafia, Insu Paek, Suhyun Shin, **guk Seo, Hyung Mok Lee, Chung-Uk Lee, Seung-Lee Kim, Hyun-Il Sung

Abstract: One of the keys to the success of multimessenger astronomy is the rapid identification of the electromagnetic wave counterpart, kilonova (KN), of the gravitational-wave (GW) event. Despite its importance, it is hard to find a KN associated with a GW event, due to a poorly constrained GW localization map and numerous signals that could be confused as a KN. Here, we present the Gravitational-wave El… ▽ More One of the keys to the success of multimessenger astronomy is the rapid identification of the electromagnetic wave counterpart, kilonova (KN), of the gravitational-wave (GW) event. Despite its importance, it is hard to find a KN associated with a GW event, due to a poorly constrained GW localization map and numerous signals that could be confused as a KN. Here, we present the Gravitational-wave Electromagnetic wave Counterpart Korean Observatory (GECKO) project, the GECKO observation of GW190425, and prospects of GECKO in the fourth observing run (O4) of the GW detectors. We outline our follow-up observation strategies during O3. In particular, we describe our galaxy-targeted observation criteria that prioritize based on galaxy properties. Armed with this strategy, we performed an optical and/or near-infrared follow-up observation of GW190425, the first binary neutron star merger event during the O3 run. Despite a vast localization area of 7460 deg^2, we observed 621 host galaxy candidates, corresponding to 29.5% of the scores we assigned, with most of them observed within the first 3 days of the GW event. Ten transients were discovered during this search, including a new transient with a host galaxy. No plausible KN was found, but we were still able to constrain the properties of potential KNe using upper limits. The GECKO observation demonstrates that GECKO can possibly uncover a GW170817-like KN at a distance less than 200 Mpc if the localization area is of the order of hundreds of square degrees, providing a bright prospect for the identification of GW electromagnetic wave counterparts during the O4 run. △ Less

Submitted 30 October, 2023; originally announced October 2023.

Comments: 35 pages, 19 figures Accepted for publication in ApJ

Equality cases of the Alexandrov--Fenchel inequality are not in the polynomial hierarchy

Authors: Swee Hong Chan, Igor Pak

Abstract: Describing the equality conditions of the Alexandrov--Fenchel inequality has been a major open problem for decades. We prove that in the case of convex polytopes, this description is not in the polynomial hierarchy unless the polynomial hierarchy collapses to a finite level. This is the first hardness result for the problem, and is a complexity counterpart of the recent result by Shenfeld and van… ▽ More Describing the equality conditions of the Alexandrov--Fenchel inequality has been a major open problem for decades. We prove that in the case of convex polytopes, this description is not in the polynomial hierarchy unless the polynomial hierarchy collapses to a finite level. This is the first hardness result for the problem, and is a complexity counterpart of the recent result by Shenfeld and van Handel (arXiv:archive/201104059), which gave a geometric characterization of the equality conditions. The proof involves Stanley's order polytopes and employs poset theoretic technology. △ Less

Submitted 31 October, 2023; v1 submitted 11 September, 2023; originally announced September 2023.

Comments: 34 pages. Conjecture 10.2 and 10.3 in v1 are now resolved, and become Theorem 1.3 and Corollary 4.8, respectively. Proofs in Section 7 and 8 are streamlined and improved. Several final remarks in Section 10 are revised, and new references are included

MSC Class: 05A20; 06A07; 52A40 (Primary) 11A55; 52A39; 68Q15; 68Q17; 68R05 (Secondary)

Computational complexity of counting coincidences

Authors: Swee Hong Chan, Igor Pak

Abstract: Can you decide if there is a coincidence in the numbers counting two different combinatorial objects? For example, can you decide if two regions in $\mathbb{R}^3$ have the same number of domino tilings? There are two versions of the problem, with $2\times 1 \times 1$ and $2\times 2 \times 1$ boxes. We prove that in both cases the coincidence problem is not in the polynomial hierarchy unless the po… ▽ More Can you decide if there is a coincidence in the numbers counting two different combinatorial objects? For example, can you decide if two regions in $\mathbb{R}^3$ have the same number of domino tilings? There are two versions of the problem, with $2\times 1 \times 1$ and $2\times 2 \times 1$ boxes. We prove that in both cases the coincidence problem is not in the polynomial hierarchy unless the polynomial hierarchy collapses to a finite level. While the conclusions are the same, the proofs are notably different and generalize in different directions. We proceed to explore the coincidence problem for counting independent sets and matchings in graphs, matroid bases, order ideals and linear extensions in posets, permutation patterns, and the Kronecker coefficients. We also make a number of conjectures for counting other combinatorial objects such as plane triangulations, contingency tables, standard Young tableaux, reduced factorizations and the Littlewood--Richardson coefficients. △ Less

Submitted 9 February, 2024; v1 submitted 20 August, 2023; originally announced August 2023.

Comments: 24 pages, 6 figures. New references added. To appear in Theoret. Comput. Sci

MSC Class: 05A20; 68R05 (Primary) 05A16; 05B45; 05C30; 05E10; 06A07; 52C20; 68Q15; 68Q17 (Secondary)

Positive dependence for colored percolation

Authors: Nikita Gladkov, Igor Pak

Abstract: For uniform random 4-colorings of graph edges with colors a,b,c,d, every two colors form a 1/2-percolation, and every two overlap** pairs of colors form independent 1/2-percolations. We show joint positive dependence for pairs of colors ab, ac and ac, and joint negative dependence for pairs of colors ab, ac and bc. The proof is based on a generalization of the Harris--Kleitman inequalities. We a… ▽ More For uniform random 4-colorings of graph edges with colors a,b,c,d, every two colors form a 1/2-percolation, and every two overlap** pairs of colors form independent 1/2-percolations. We show joint positive dependence for pairs of colors ab, ac and ac, and joint negative dependence for pairs of colors ab, ac and bc. The proof is based on a generalization of the Harris--Kleitman inequalities. We apply the results to crossing probabilities for the colored bond and site percolation, and to colored critical percolation that we also define. △ Less

Submitted 18 July, 2023; originally announced July 2023.

Comments: 7 pages, 2 figures

MSC Class: Primary: 60K35; Secondary: 05C80; 60C05; 82B43

On the cross-product conjecture for the number of linear extensions

Authors: Swee Hong Chan, Igor Pak, Greta Panova

Abstract: We prove a weak version of the cross--product conjecture: ${F}(k+1,\ell) {F}(k,\ell+1) \geq (\frac12+\varepsilon) {F}(k,\ell) {F}(k+1,\ell+1)$, where ${F}(k,\ell)$ is the number of linear extensions for which the values at fixed elements $x,y,z$ are $k$ and $\ell$ apart, respectively, and where $\varepsilon>0$ depends on the poset. We also prove the converse inequality and disprove the {generalize… ▽ More We prove a weak version of the cross--product conjecture: ${F}(k+1,\ell) {F}(k,\ell+1) \geq (\frac12+\varepsilon) {F}(k,\ell) {F}(k+1,\ell+1)$, where ${F}(k,\ell)$ is the number of linear extensions for which the values at fixed elements $x,y,z$ are $k$ and $\ell$ apart, respectively, and where $\varepsilon>0$ depends on the poset. We also prove the converse inequality and disprove the {generalized cross--product conjecture}. The proofs use geometric inequalities for mixed volumes and combinatorics of words. △ Less

Submitted 15 June, 2023; originally announced June 2023.

Comments: 24 pages

Multivariate correlation inequalities for $P$-partitions

Authors: Swee Hong Chan, Igor Pak

Abstract: Motivated by the Lam--Pylyavskyy inequalities for Schur functions, we give a far reaching multivariate generalization of Fishburn's correlation inequality for the number of linear extensions of posets. We then give a multivariate generalization of the Daykin--Daykin--Paterson inequality proving log-concavity of the order polynomial of a poset. We also prove a multivariate $P$-partition version of… ▽ More Motivated by the Lam--Pylyavskyy inequalities for Schur functions, we give a far reaching multivariate generalization of Fishburn's correlation inequality for the number of linear extensions of posets. We then give a multivariate generalization of the Daykin--Daykin--Paterson inequality proving log-concavity of the order polynomial of a poset. We also prove a multivariate $P$-partition version of the cross-product inequality by Brightwell--Felsner--Trotter. The proofs are based on a multivariate generalization of the Ahlswede--Daykin inequality. △ Less

Submitted 22 December, 2022; originally announced December 2022.

Comments: 21 pages

MSC Class: 05A20 (Primary) 05A30; 05E05; 05E10; 06A07; 60C05 (Secondary)

Journal ref: Pacific J. Math. 323 (2023) 223-252

Correlation inequalities for linear extensions

Authors: Swee Hong Chan, Igor Pak

Abstract: We employ the combinatorial atlas technology to prove new correlation inequalities for the number of linear extensions of finite posets. These include the approximate independence of probabilities and expectations of values of random linear extensions, closely related to Stanley's inequality. We also give applications to the numbers of standard Young tableaux and to Euler numbers. We employ the combinatorial atlas technology to prove new correlation inequalities for the number of linear extensions of finite posets. These include the approximate independence of probabilities and expectations of values of random linear extensions, closely related to Stanley's inequality. We also give applications to the numbers of standard Young tableaux and to Euler numbers. △ Less

Submitted 29 November, 2022; originally announced November 2022.

Comments: 23 pages, 1 figure

MSC Class: 05A20 (Primary) 06A07; 60C05 (Secondary)

Algebraic and arithmetic properties of the cogrowth sequence of nilpotent groups

Authors: Igor Pak, David Soukup

Abstract: We prove that congruences of the cogrowth sequence in a unitriangular group UT$(m, \Bbb Z)$ are undecidable. This is in contrast with abelian groups, where the congruences of the cogrowth sequence are decidable. As an application, we conclude that there is no algorithm to present the cogrowth series as the diagonal of a rational function. We prove that congruences of the cogrowth sequence in a unitriangular group UT$(m, \Bbb Z)$ are undecidable. This is in contrast with abelian groups, where the congruences of the cogrowth sequence are decidable. As an application, we conclude that there is no algorithm to present the cogrowth series as the diagonal of a rational function. △ Less

Submitted 17 October, 2022; originally announced October 2022.

Comments: 20 pages

MSC Class: 20F18 (Primary); 03B25; 05A15; 11U05; 20F10 (Secondary)

What is a combinatorial interpretation?

Authors: Igor Pak

Abstract: In this survey we discuss the notion of combinatorial interpretation in the context of Algebraic Combinatorics and related areas. We approach the subject from the Computational Complexity perspective. We review many examples, state a workable definition, discuss many open problems, and present recent results on the subject. In this survey we discuss the notion of combinatorial interpretation in the context of Algebraic Combinatorics and related areas. We approach the subject from the Computational Complexity perspective. We review many examples, state a workable definition, discuss many open problems, and present recent results on the subject. △ Less

Submitted 13 September, 2022; originally announced September 2022.

Comments: 58 pages, 3 figures, 408 references

MSC Class: 05A20; 68Q15; 68R10; 68R99 ACM Class: G.2.1; G.2.2; F.1.3

High-$z$ Universe probed via Lensing by QSOs (HULQ) II. Deep GMOS spectroscopy of a QSO lens candidate

Authors: Yoon Chan Taak, Myungshin Im, Yongjung Kim, Minhee Hyun, Insu Paek

Abstract: Galaxies and their central supermassive black holes are known to coevolve, but the physical background for this is unknown as of yet. The High-$z$ Universe probed via Lensing by QSOs (HULQ) project aims to investigate this coevolution by using quasi-stellar object (QSO) host galaxies acting as gravitational lenses (QSO lenses). We present the results of the spectroscopic observation of the first Q… ▽ More Galaxies and their central supermassive black holes are known to coevolve, but the physical background for this is unknown as of yet. The High-$z$ Universe probed via Lensing by QSOs (HULQ) project aims to investigate this coevolution by using quasi-stellar object (QSO) host galaxies acting as gravitational lenses (QSO lenses). We present the results of the spectroscopic observation of the first QSO lens candidate from the HULQ project, HULQ J0002+0239, which consists of a QSO host galaxy at $z_{\rm d} = 1.455$ and four seemingly lensed objects in a cross-like configuration. Deep optical spectra of two of the possibly lensed objects with $z \sim 24.5$ mag were obtained with the Gemini Multi-Object Spectrograph on the Gemini North Telescope. Their spectra reveal that the objects are newly discovered galaxies at $z=0.29$ and $z=1.11$, and we conclude that HULQ J0002+0239 is not a QSO lens. Our QSO lens search results are so far in agreement with the predicted number of QSO lenses, and we discuss how the future investigation of additional QSO lens candidates could tell us more about the evolution of the black hole mass and host galaxy scaling relations. △ Less

Submitted 21 July, 2022; originally announced July 2022.

Comments: 15 pages, 8 figures, 3 tables; accepted for publication in A&A

Journal ref: A&A 665, A5 (2022)

Positivity of the symmetric group characters is as hard as the polynomial time hierarchy

Authors: Christian Ikenmeyer, Igor Pak, Greta Panova

Abstract: We prove that deciding the vanishing of the character of the symmetric group is $C_=P$-complete. We use this hardness result to prove that the the square of the character is not contained in $\#P$, unless the polynomial hierarchy collapses to the second level. This rules out the existence of any (unsigned) combinatorial description for the square of the characters. As a byproduct of our proof we c… ▽ More We prove that deciding the vanishing of the character of the symmetric group is $C_=P$-complete. We use this hardness result to prove that the the square of the character is not contained in $\#P$, unless the polynomial hierarchy collapses to the second level. This rules out the existence of any (unsigned) combinatorial description for the square of the characters. As a byproduct of our proof we conclude that deciding positivity of the character is $PP$-complete under many-one reductions, and hence $PH$-hard under Turing-reductions. △ Less

Submitted 12 July, 2024; v1 submitted 12 July, 2022; originally announced July 2022.

Comments: 17 pages, 2 figures, v2: expanded the exposition, added examples

Journal ref: International Mathematics Research Notices, Volume 2024, Issue 10, pages 8442-8458

Durfee squares, symmetric partitions and bounds on Kronecker coefficients

Authors: Igor Pak, Greta Panova

Abstract: We resolve two open problems on Kronecker coefficients $g(λ,μ,ν)$ of the symmetric group. First, we prove that for partitions $λ,μ,ν$ with fixed Durfee square size, the Kronecker coefficients grow at most polynomially. Second, we show that the maximal Kronecker coefficients $g(λ,λ,λ)$ for self-conjugate partitions $λ$ grow superexponentially. We also give applications to explicit special cases. We resolve two open problems on Kronecker coefficients $g(λ,μ,ν)$ of the symmetric group. First, we prove that for partitions $λ,μ,ν$ with fixed Durfee square size, the Kronecker coefficients grow at most polynomially. Second, we show that the maximal Kronecker coefficients $g(λ,λ,λ)$ for self-conjugate partitions $λ$ grow superexponentially. We also give applications to explicit special cases. △ Less

Submitted 21 December, 2022; v1 submitted 6 July, 2022; originally announced July 2022.

Comments: 16 pages, 1 figure. Version 2 adds details on some calculations, fixed typos, improved exposition

Effective poset inequalities

Authors: Swee Hong Chan, Igor Pak, Greta Panova

Abstract: We explore inequalities on linear extensions of posets and make them effective in different ways. First, we study the Björner--Wachs inequality and generalize it to inequalities on order polynomials and their $q$-analogues via direct injections and FKG inequalities. Second, we give an injective proof of the Sidorenko inequality with computational complexity significance, namely that the difference… ▽ More We explore inequalities on linear extensions of posets and make them effective in different ways. First, we study the Björner--Wachs inequality and generalize it to inequalities on order polynomials and their $q$-analogues via direct injections and FKG inequalities. Second, we give an injective proof of the Sidorenko inequality with computational complexity significance, namely that the difference is in $\#P$. Third, we generalize the Sidorenko inequality to posets with small chain intersections and give complexity theoretic applications. △ Less

Submitted 9 May, 2023; v1 submitted 5 May, 2022; originally announced May 2022.

Comments: 36 pages, 1 figure. Added a reference to Daykin--Daykin--Paterson inequality that were previously presented as Conjecture 4.19 in v2

Journal ref: SIAM J. Discrete Math. 37 (2023), 1842--1880

What is in #P and what is not?

Authors: Christian Ikenmeyer, Igor Pak

Abstract: For several classical nonnegative integer functions, we investigate if they are members of the counting complexity class #P or not. We prove #P membership in surprising cases, and in other cases we prove non-membership, relying on standard complexity assumptions or on oracle separations. We initiate the study of the polynomial closure properties of #P on affine varieties, i.e., if all problem in… ▽ More For several classical nonnegative integer functions, we investigate if they are members of the counting complexity class #P or not. We prove #P membership in surprising cases, and in other cases we prove non-membership, relying on standard complexity assumptions or on oracle separations. We initiate the study of the polynomial closure properties of #P on affine varieties, i.e., if all problem instances satisfy algebraic constraints. This is directly linked to classical combinatorial proofs of algebraic identities and inequalities. We investigate #TFNP and obtain oracle separations that prove the strict inclusion of #P in all standard syntactic subclasses of #TFNP-1. △ Less

Submitted 27 April, 2022; originally announced April 2022.

MSC Class: 05A20; 68Q15; 68R99 ACM Class: G.2.1; F.1.3

Introduction to the combinatorial atlas

Authors: Swee Hong Chan, Igor Pak

Abstract: We give elementary self-contained proofs of the strong Mason conjecture recently proved by Anari at. al. (arXiv:1811.01600) and Brändén--Huh (arXiv:1902.03719), and of the classical Alexandrov--Fenchel inequality. Both proofs use the combinatorial atlas technology recently introduced by the authors (arXiv:2110.10740). We also give a formal relationship between combinatorial atlases and Lorentzian… ▽ More We give elementary self-contained proofs of the strong Mason conjecture recently proved by Anari at. al. (arXiv:1811.01600) and Brändén--Huh (arXiv:1902.03719), and of the classical Alexandrov--Fenchel inequality. Both proofs use the combinatorial atlas technology recently introduced by the authors (arXiv:2110.10740). We also give a formal relationship between combinatorial atlases and Lorentzian polynomials. △ Less

Submitted 3 March, 2022; originally announced March 2022.

Comments: 28 pages, 2 figures. arXiv admin note: text overlap with arXiv:2110.10740

Journal ref: Expo. Math. 40 (2022), no. 4, 1014-1048

Log-concave poset inequalities

Authors: Swee Hong Chan, Igor Pak

Abstract: We study combinatorial inequalities for various classes of set systems: matroids, polymatroids, poset antimatroids, and interval greedoids. We prove log-concavity inequalities for counting certain weighted feasible words, which generalize and extend several previous results establishing Mason conjectures for the numbers of independent sets of matroids. Notably, we prove matching equality condition… ▽ More We study combinatorial inequalities for various classes of set systems: matroids, polymatroids, poset antimatroids, and interval greedoids. We prove log-concavity inequalities for counting certain weighted feasible words, which generalize and extend several previous results establishing Mason conjectures for the numbers of independent sets of matroids. Notably, we prove matching equality conditions for both earlier inequalities and our extensions. In contrast with much of the previous work, our proofs are combinatorial and employ nothing but linear algebra. We use the language formulation of greedoids which allows a linear algebraic setup, which in turn can be analyzed recursively. The underlying non-commutative nature of matrices associated with greedoids allows us to proceed beyond polymatroids and prove the equality conditions. As further application of our tools, we rederive both Stanley's inequality on the number of certain linear extensions, and its equality conditions, which we then also extend to the weighted case. △ Less

Submitted 27 February, 2024; v1 submitted 20 October, 2021; originally announced October 2021.

Comments: 70 pages, 4 figures. In v3 additional references are added and typos found by referees are fixed

MSC Class: 05A20 (Primary) 05B35; 06A11 (Secondary)

Hook formulas for skew shapes IV. Increasing tableaux and factorial Grothendieck polynomials

Authors: Alejandro H. Morales, Igor Pak, Greta Panova

Abstract: We present a new family of hook-length formulas for the number of standard increasing tableaux which arise in the study of factorial Grothendieck polynomials. In the case of straight shapes our formulas generalize the classical hook-length formula and Stanley's formula. For skew shapes, our formulas generalize the Naruse hook-length formula and its $q$-analogues, which were studied in previous pap… ▽ More We present a new family of hook-length formulas for the number of standard increasing tableaux which arise in the study of factorial Grothendieck polynomials. In the case of straight shapes our formulas generalize the classical hook-length formula and Stanley's formula. For skew shapes, our formulas generalize the Naruse hook-length formula and its $q$-analogues, which were studied in previous papers of the series. △ Less

Submitted 29 August, 2021; v1 submitted 23 August, 2021; originally announced August 2021.

Comments: 26 pages, 3 figures. This is the fourth paper in the series "Hook formulas for skew shapes", v2. expanded final remarks, added section 6.4 with a generalization of the Okounkov-Olshanski formula, fixed typos

MSC Class: 05E05; 05A15 (Primary) 05E10; 05E14; 05A20; 05A10 (Secondary)

Log-concavity in planar random walks

Authors: Swee Hong Chan, Igor Pak, Greta Panova

Abstract: We prove log-concavity of exit probabilities of lattice random walks in certain planar regions. We prove log-concavity of exit probabilities of lattice random walks in certain planar regions. △ Less

Submitted 22 November, 2021; v1 submitted 20 June, 2021; originally announced June 2021.

Comments: 10 pages, 5 figures. The proof is somewhat expanded. Details, new figure and additional references added. To appear in Combinatorica

Journal ref: Combinatorica 42 (2022), 1011--1026

Extensions of the Kahn--Saks inequality for posets of width two

Authors: Swee Hong Chan, Igor Pak, Greta Panova

Abstract: The Kahn--Saks inequality is a classical result on the number of linear extensions of finite posets. We give a new proof of this inequality for posets of width two using explicit injections of lattice paths. As a consequence we obtain a $q$-analogue, a multivariate generalization and an equality condition in this case. We also discuss the equality conditions of the Kahn--Saks inequality for genera… ▽ More The Kahn--Saks inequality is a classical result on the number of linear extensions of finite posets. We give a new proof of this inequality for posets of width two using explicit injections of lattice paths. As a consequence we obtain a $q$-analogue, a multivariate generalization and an equality condition in this case. We also discuss the equality conditions of the Kahn--Saks inequality for general posets and prove several implications between conditions conjectured to be equivalent. △ Less

Submitted 14 February, 2022; v1 submitted 13 June, 2021; originally announced June 2021.

Comments: 25 pages; v3: added conditions to Theorem 1.4 and 1.6, revised Conjecture in Section 8, added example 1.5

Journal ref: Comb. Theory 3 (2023), P1.8

The cross-product conjecture for width two posets

Authors: Swee Hong Chan, Igor Pak, Greta Panova

Abstract: The cross--product conjecture (CPC) of Brightwell, Felsner and Trotter (1995) is a two-parameter quadratic inequality for the number of linear extensions of a poset $P= (X, \prec)$ with given value differences on three distinct elements in $X$. We give two different proofs of this inequality for posets of width two. The first proof is algebraic and generalizes CPC to a four-parameter family. The s… ▽ More The cross--product conjecture (CPC) of Brightwell, Felsner and Trotter (1995) is a two-parameter quadratic inequality for the number of linear extensions of a poset $P= (X, \prec)$ with given value differences on three distinct elements in $X$. We give two different proofs of this inequality for posets of width two. The first proof is algebraic and generalizes CPC to a four-parameter family. The second proof is combinatorial and extends CPC to a $q$-analogue. Further applications include relationships between CPC and other poset inequalities, including a new $q$-analogue of the Kahn--Saks inequality. △ Less

Submitted 9 March, 2022; v1 submitted 18 April, 2021; originally announced April 2021.

Comments: 31 pages, 7 figures. Counterexamples to Conjecture 11.2, 11.3, and 11.4 in v2 were found, and are now included in Section 11.5 and 11.10 of v3. To appear in Trans. Amer. Math. Soc

MSC Class: 05A20 (Primary) 05A30; 06A07; 06A11 (Secondary)

Journal ref: Trans. Amer. Math. Soc. 375 (2022), no. 8, 5923-5961

Bijecting hidden symmetries for skew staircase shapes

Authors: Zachary Hamaker, Alejandro H. Morales, Igor Pak, Luis Serrano, Nathan Williams

Abstract: We present a bijection between the set of standard Young tableaux of staircase minus rectangle shape, and the set of marked shifted standard Young tableaux of a certain shifted shape. Numerically, this result is due to DeWitt (2012). Combined with other known bijections this gives a bijective proof of the product formula for the number of standard Young tableaux of staircase minus rectangle shape.… ▽ More We present a bijection between the set of standard Young tableaux of staircase minus rectangle shape, and the set of marked shifted standard Young tableaux of a certain shifted shape. Numerically, this result is due to DeWitt (2012). Combined with other known bijections this gives a bijective proof of the product formula for the number of standard Young tableaux of staircase minus rectangle shape. This resolves an open problem by Morales, Pak and Panova (2019), and allows for efficient random sampling. Other applications include a bijection for semistandard Young tableaux, and a bijective proof of Stembridge's symmetry of LR-coefficients of the staircase shape. We also extend these results to set-valued standard Young tableaux in the combinatorics of K-theory, leading to new proofs of results by Lewis and Marberg (2019) and Abney-McPeek, An and Ng (2020). △ Less

Submitted 14 May, 2021; v1 submitted 17 March, 2021; originally announced March 2021.

Comments: 19 pages, v3 corrects error in statement of what is now Theorem 2.11 plus other minor edits

Medium-band observation of the neutrino emitting blazar, TXS 0506+056

Authors: Sungyong Hwang, Myungshin Im, Yoon Chan Taak, Insu Paek, Changsu Choi, Suhyun Shin, Sang-Yun Lee, Tae-Geun Ji, Soojong Pak, Hye-In Lee, Hojae Ahn, Jimin Han, Changgon Kim, Jennifer Marshall, Christopher M. Johns-Krull, Coyne A. Gibson, Luke Schmidt, Travis Prochaska

Abstract: TXS 0506+056 is a blazar that has been recently identified as the counterpart of the neutrino event IceCube-170922A. Understanding blazar type of TXS 0506+056 is important to constrain the neutrino emission mechanism, but the blazar nature of TXS 0506+056 is still uncertain. As an attempt to understand the nature of TXS 0506+056, we report the medium-band observation results of TXS 0506+056, cover… ▽ More TXS 0506+056 is a blazar that has been recently identified as the counterpart of the neutrino event IceCube-170922A. Understanding blazar type of TXS 0506+056 is important to constrain the neutrino emission mechanism, but the blazar nature of TXS 0506+056 is still uncertain. As an attempt to understand the nature of TXS 0506+056, we report the medium-band observation results of TXS 0506+056, covering the wavelength range of 0.575 to 1.025 $μ$m. The use of the medium-band filters allow us to examine if there were any significant changes in its spectral shapes over the course of one month and give a better constraint on the peak frequency of synchrotron radiation with quasi-simultaneous datasets. The peak frequency is found to be $10^{14.28}$ Hz, and our analysis shows that TXS 0506+056 is not an outlier from the blazar sequence. As a way to determine the blazar type, we also analyzed if TXS 0506+056 is bluer-when-brighter (BL Lac type and some flat spectrum radio quasars, FSRQs) or redder-when-brighter (found only in some FSRQs). Even though we detect no significant variability in the spectral shape larger than observational error during our medium-band observation period, the comparison with a dataset taken at 2012 shows a possible redder-when-brighter behavior of FSRQs. Our results demonstrate that medium-band observations with small to moderate-sized telescopes can be an effective way to trace the spectral evolution of transients such as TXS 0506+056. △ Less

Submitted 27 November, 2020; originally announced November 2020.

Comments: 16 pages, 10 figures, accepted for publication in ApJ

The Infrared Medium-deep Survey. VIII. Quasar Luminosity Function at $z\sim5$

Authors: Yongjung Kim, Myungshin Im, Yiseul Jeon, Min** Kim, Soojong Pak, Minhee Hyun, Yoon Chan Taak, Suhyun Shin, Gu Lim, Gregory S. H. Paek, insu Paek, Linhua Jiang, Changsu Choi, Jueun Hong, Tae-Geun Ji, Hyunsung D. Jun, Marios Karouzos, Dohyeong Kim, Duho Kim, Jae-woo Kim, Ji Hoon Kim, Hye-in Lee, Seong-Kook Lee, Won-Kee Park, Yongmin Yoon , et al. (5 additional authors not shown)

Abstract: Faint $z\sim5$ quasars with $M_{1450}\sim-23$ mag are known to be the potentially important contributors to the ultraviolet ionizing background in the post-reionization era. However, their number density has not been well determined, making it difficult to assess their role in the early ionization of the intergalactic medium (IGM). In this work, we present the updated results of our $z\sim5$ quasa… ▽ More Faint $z\sim5$ quasars with $M_{1450}\sim-23$ mag are known to be the potentially important contributors to the ultraviolet ionizing background in the post-reionization era. However, their number density has not been well determined, making it difficult to assess their role in the early ionization of the intergalactic medium (IGM). In this work, we present the updated results of our $z\sim5$ quasar survey using the Infrared Medium-deep Survey (IMS), a near-infrared imaging survey covering an area of 85 deg$^{2}$. From our spectroscopic observations with the Gemini Multi-Object Spectrograph (GMOS) on the Gemini-South 8 m Telescope, we discovered eight new quasars at $z\sim5$ with $-26.1\leq M_{1450} \leq -23.3$. Combining our IMS faint quasars ($M_{1450}>-27$ mag) with the brighter Sloan Digital Sky Survey (SDSS) quasars ($M_{1450}<-27$ mag), we derive the $z\sim5$ quasar luminosity function (QLF) without any fixed parameters down to the magnitude limit of $M_{1450}=-23$ mag. We find that the faint-end slope of the QLF is very flat ($α=-1.2^{+1.4}_{-0.6}$), with a characteristic luminosity of $M^{*}_{1450}=-25.8^{+1.4}_{-1.1}$ mag. The number density of $z\sim5$ quasars from the QLF gives an ionizing emissivity at 912 $\unicode{x212B}$ of $ε_{912}=(3.7$--$7.1)\times10^{23}$ erg s$^{-1}$ Hz$^{-1}$ Mpc$^{-3}$ and an ionizing photon density of $\dot{n}_{\rm ion}=(3.0$--$5.7)\times10^{49}$ Mpc$^{-3}$ s$^{-1}$. These results imply that quasars are responsible for only 10-20% (up to 50% even in the extreme case) of the photons required to completely ionize the IGM at $z\sim5$, disfavoring the idea that quasars alone could have ionized the IGM at $z\sim5$. △ Less

Submitted 12 October, 2020; originally announced October 2020.

Comments: 21 pages, 14 figures, 7 tables. Accepted for publication in ApJ

On the number of contingency tables and the independence heuristic

Authors: Hanbaek Lyu, Igor Pak

Abstract: We obtain sharp asymptotic estimates on the number of $n \times n$ contingency tables with two linear margins $Cn$ and $BCn$. The results imply a second order phase transition on the number of such contingency tables, with a critical value at \ts $B_{c}:=1 + \sqrt{1+1/C}$. As a consequence, for \ts $B>B_{c}$, we prove that the classical \emph{independence heuristic} leads to a large undercounting. We obtain sharp asymptotic estimates on the number of $n \times n$ contingency tables with two linear margins $Cn$ and $BCn$. The results imply a second order phase transition on the number of such contingency tables, with a critical value at \ts $B_{c}:=1 + \sqrt{1+1/C}$. As a consequence, for \ts $B>B_{c}$, we prove that the classical \emph{independence heuristic} leads to a large undercounting. △ Less

Submitted 22 September, 2020; originally announced September 2020.

Comments: 10 pages, 1 figure

Lower bounds for contingency tables via Lorentzian polynomials

Authors: Petter Brändén, Jonathan Leake, Igor Pak

Abstract: We present a new lower bound on the number of contingency tables, improving upon and extending previous lower bounds by Barvinok and Gurvits. As an application, we obtain new lower bounds on the volumes of flow and transportation polytopes. Our proofs are based on recent results on Lorentzian polynomials. We present a new lower bound on the number of contingency tables, improving upon and extending previous lower bounds by Barvinok and Gurvits. As an application, we obtain new lower bounds on the volumes of flow and transportation polytopes. Our proofs are based on recent results on Lorentzian polynomials. △ Less

Submitted 13 February, 2021; v1 submitted 13 August, 2020; originally announced August 2020.

Comments: 28 pages

A Nonparametric Bayesian Item Response Modeling Approach for Clustering Items and Individuals Simultaneously

Authors: Guanyu Hu, Zhihua Ma, Insu Paek

Abstract: Item response theory (IRT) is a popular modeling paradigm for measuring subject latent traits and item properties according to discrete responses in tests or questionnaires. There are very limited discussions on heterogeneity pattern detection for both items and individuals. In this paper, we introduce a nonparametric Bayesian approach for clustering items and individuals simultaneously under the… ▽ More Item response theory (IRT) is a popular modeling paradigm for measuring subject latent traits and item properties according to discrete responses in tests or questionnaires. There are very limited discussions on heterogeneity pattern detection for both items and individuals. In this paper, we introduce a nonparametric Bayesian approach for clustering items and individuals simultaneously under the Rasch model. Specifically, our proposed method is based on the mixture of finite mixtures (MFM) model. MFM obtains the number of clusters and the clustering configurations for both items and individuals simultaneously. The performance of parameters estimation and parameters clustering under the MFM Rasch model is evaluated by simulation studies, and a real date set is applied to illustrate the MFM Rasch modeling. △ Less

Submitted 29 May, 2020; originally announced June 2020.

Comments: 21 pages, 6 figures

Sorting probability of Catalan posets

Authors: Swee Hong Chan, Igor Pak, Greta Panova

Abstract: We show that the sorting probability of the Catalan poset} $P_n$ satisfies $δ(P_n)= O \bigl(n^{-5/4}\bigr)$. We show that the sorting probability of the Catalan poset} $P_n$ satisfies $δ(P_n)= O \bigl(n^{-5/4}\bigr)$. △ Less

Submitted 27 May, 2020; originally announced May 2020.

Comments: 10 pages, 6 figures

MSC Class: 05A16; 06A07; 60C05

Journal ref: Adv. in Appl. Math. 129 (2021), Paper No. 102221, 13 pp

Sorting probability for large Young diagrams

Authors: Swee Hong Chan, Igor Pak, Greta Panova

Abstract: For a finite poset $P=(X,\prec)$, let $\mathcal{L}_P$ denote the set of linear extensions of $P$. The sorting probability $δ(P)$ is defined as \[δ(P) \, := \, \min_{x,y\in X} \, \bigl| \mathbf{P} \, [L(x)\leq L(y) ] \ - \ \mathbf{P} \, [L(y)\leq L(x) ] \bigr|\,, \] where $L \in \mathcal{L}_P$ is a uniform linear extension of $P$. We give asymptotic upper bounds on sorting probabilities for poset… ▽ More For a finite poset $P=(X,\prec)$, let $\mathcal{L}_P$ denote the set of linear extensions of $P$. The sorting probability $δ(P)$ is defined as \[δ(P) \, := \, \min_{x,y\in X} \, \bigl| \mathbf{P} \, [L(x)\leq L(y) ] \ - \ \mathbf{P} \, [L(y)\leq L(x) ] \bigr|\,, \] where $L \in \mathcal{L}_P$ is a uniform linear extension of $P$. We give asymptotic upper bounds on sorting probabilities for posets associated with large Young diagrams and large skew Young diagrams, with bounded number of rows. △ Less

Submitted 28 November, 2021; v1 submitted 17 May, 2020; originally announced May 2020.

Comments: 57 pages, 5 pages

MSC Class: 05A16; 06A07; 60C05

Journal ref: Discrete Analysis, 2021:24, 57 pp

Domes over curves

Authors: Alexey Glazyrin, Igor Pak

Abstract: A closed piecewise linear curve is called integral if it is comprised of unit intervals. Kenyon's problem asks whether for every integral curve $γ$ in $\mathbb{R}^3$, there is a dome over $γ$, i.e. whether $γ$ is a boundary of a polyhedral surface whose faces are equilateral triangles with unit edge lengths. First, we give an algebraic necessary condition when $γ$ is a quadrilateral, thus giving a… ▽ More A closed piecewise linear curve is called integral if it is comprised of unit intervals. Kenyon's problem asks whether for every integral curve $γ$ in $\mathbb{R}^3$, there is a dome over $γ$, i.e. whether $γ$ is a boundary of a polyhedral surface whose faces are equilateral triangles with unit edge lengths. First, we give an algebraic necessary condition when $γ$ is a quadrilateral, thus giving a negative solution to Kenyon's problem in full generality. We then prove that domes exist over a dense set of integral curves. Finally, we give an explicit construction of domes over all regular $n$-gons. △ Less

Submitted 20 July, 2021; v1 submitted 5 May, 2020; originally announced May 2020.

Comments: 16 figures

Hidden symmetries of weighted lozenge tilings

Authors: Igor Pak, Fedor Petrov

Abstract: We study the weighted partition function for lozenge tilings, with weights given by multivariate rational functions originally defined by Morales, Pak and Panova (2019) in the context of the factorial Schur functions. We prove that this partition function is symmetric for large families of regions. We employ both combinatorial and algebraic proofs. We study the weighted partition function for lozenge tilings, with weights given by multivariate rational functions originally defined by Morales, Pak and Panova (2019) in the context of the factorial Schur functions. We prove that this partition function is symmetric for large families of regions. We employ both combinatorial and algebraic proofs. △ Less

Submitted 9 September, 2020; v1 submitted 31 March, 2020; originally announced March 2020.

Comments: 13 pages, 8 figures

MSC Class: 05A19; 05E05

Breaking down the reduced Kronecker coefficients

Authors: Igor Pak, Greta Panova

Abstract: We resolve three interrelated problems on \emph{reduced Kronecker coefficients} $\overline{g}(α,β,γ)$. First, we disprove the \emph{saturation property} which states that $\overline{g}(Nα,Nβ,Nγ)>0$ implies $\overline{g}(α,β,γ)>0$ for all $N>1$. Second, we esimate the maximal $\overline{g}(α,β,γ)$, over all $|α|+|β|+|γ| = n$. Finally, we show that computing $\overline{g}(λ,μ,ν)$ is strongly $\# P$-… ▽ More We resolve three interrelated problems on \emph{reduced Kronecker coefficients} $\overline{g}(α,β,γ)$. First, we disprove the \emph{saturation property} which states that $\overline{g}(Nα,Nβ,Nγ)>0$ implies $\overline{g}(α,β,γ)>0$ for all $N>1$. Second, we esimate the maximal $\overline{g}(α,β,γ)$, over all $|α|+|β|+|γ| = n$. Finally, we show that computing $\overline{g}(λ,μ,ν)$ is strongly $\# P$-hard, i.e. $\#P$-hard when the input $(λ,μ,ν)$ is in unary. △ Less

Submitted 6 April, 2020; v1 submitted 25 March, 2020; originally announced March 2020.

Comments: 5 pages

Concrete polytopes may not tile the space

Authors: Alexey Garber, Igor Pak

Abstract: Brandolini et al. conjectured that all concrete lattice polytopes can multitile the space. We disprove this conjecture in a strong form, by constructing an infinite family of counterexamples in $\mathbb{R}^3$. Brandolini et al. conjectured that all concrete lattice polytopes can multitile the space. We disprove this conjecture in a strong form, by constructing an infinite family of counterexamples in $\mathbb{R}^3$. △ Less

Submitted 6 June, 2020; v1 submitted 10 March, 2020; originally announced March 2020.

Comments: 6 pages

Journal ref: Mathematika, 66:4 (2020), 920-926

The Infrared Medium-deep Survey. \Romannum{7}. Faint Quasars at $z \sim 5$ in the ELAIS-N1 Field

Authors: Suhyun Shin, Myungshin Im, Yongjung Kim, Minhee Hyun, Soojong Pak, Yiseul Jeon, Tae-Geun Ji, Hojae Ahn, Seoyeon Byeon, Jimin Han, Sungyong Hwang, Sophia Kim, Gu Lim, Insu Paek, Gregory S. H. Paek, Yoon Chan Taak, Changsu Choi, Jueun Hong, Hyunsung David Jun, Dohyeong Kim, Duho Kim, Min** Kim, Jae-Woo Kim, Ji Hoon Kim, Hye-In Lee , et al. (4 additional authors not shown)

Abstract: The intergalactic medium (IGM) at $z\sim$ 5 to 6 is largely ionized, and yet the main source for the IGM ionization in the early universe is uncertain. Of the possible contributors are faint quasars with $-26 \lesssim M_{\rm 1450} \lesssim -23$, but their number density is poorly constrained at $z\sim5$. In this paper, we present our survey of faint quasars at $z\sim5$ in the European Large-Area {… ▽ More The intergalactic medium (IGM) at $z\sim$ 5 to 6 is largely ionized, and yet the main source for the IGM ionization in the early universe is uncertain. Of the possible contributors are faint quasars with $-26 \lesssim M_{\rm 1450} \lesssim -23$, but their number density is poorly constrained at $z\sim5$. In this paper, we present our survey of faint quasars at $z\sim5$ in the European Large-Area {\it ISO} Survey-North 1 (ELAIS-N1) field over a survey area of 6.51 deg$^2$ and examine if such quasars can be the dominant source of the IGM ionization. We use the deep optical/near-infrared data of the ELAIS-N1 field as well as the additional medium-band observations to find $z \sim 5$ quasars through a two-step approach using the broadband color selection, and SED fitting with the medium-band information included. Adopting Bayesian information criterion, we identify ten promising quasar candidates. Spectra of three of the candidates are obtained, confirming all of them to be quasars at $z\sim5$ and supporting the reliability of the quasar selection. Using the promising candidates, we derive the $z\sim5$ quasar luminosity function at $-26 \lesssim M_{\rm 1450} \lesssim -23$. The number density of faint $z\sim5$ quasars in the ELAIS-N1 field is consistent with several previous results that quasars are not the main contributors to the IGM-ionizing photons at $z\sim5$ △ Less

Submitted 2 March, 2020; originally announced March 2020.

Comments: 16 pages, 9 figures, 4 tables. Accepted for publication in ApJ

Upper bounds on Kronecker coefficients with few rows

Authors: Igor Pak, Greta Panova

Abstract: We present three different upper bounds for Kronecker coefficients $g(λ,μ,ν)$ in terms of Kostka numbers, contingency tables and Littlewood--Richardson coefficients. We then give various examples, asymptotic applications, and compare them with existing lower bounds. We present three different upper bounds for Kronecker coefficients $g(λ,μ,ν)$ in terms of Kostka numbers, contingency tables and Littlewood--Richardson coefficients. We then give various examples, asymptotic applications, and compare them with existing lower bounds. △ Less

Submitted 26 March, 2020; v1 submitted 25 February, 2020; originally announced February 2020.

Comments: Long version of the paper "Bounds on Kronecker coefficients via contingency tables"

Combinatorial inequalities

Authors: Igor Pak

Abstract: This is an expanded version of the Notices of the AMS column with the same title. The text is unchanged, but we added acknowledgements and a large number of endnotes which provide the context and the references. This is an expanded version of the Notices of the AMS column with the same title. The text is unchanged, but we added acknowledgements and a large number of endnotes which provide the context and the references. △ Less

Submitted 2 April, 2019; originally announced April 2019.

Comments: 4 pages of text, 3 pages of notes

MSC Class: 05A20 (Primary); 05-02; 05A10; 05E10 (Secondary)

Hook inequalities

Authors: Igor Pak, Fedor Petrov, Viacheslav Sokolov

Abstract: We give an elementary proof of the recent hook inequality given in [MPP3]: $\prod_{u\in λ} h(u) \, \le \, \prod_{u\in λ} h^\ast(u),$ where $h(u)$ is the usual hook in Young diagram $λ$, and $h^\ast(i,j)=i+j-1$. We then obtain a large variety of similar inequalities and their high-dimensional generalizations. We give an elementary proof of the recent hook inequality given in [MPP3]: $\prod_{u\in λ} h(u) \, \le \, \prod_{u\in λ} h^\ast(u),$ where $h(u)$ is the usual hook in Young diagram $λ$, and $h^\ast(i,j)=i+j-1$. We then obtain a large variety of similar inequalities and their high-dimensional generalizations. △ Less

Submitted 29 March, 2019; v1 submitted 28 March, 2019; originally announced March 2019.

Phase transition in random contingency tables with non-uniform margins

Authors: Sam Dittmer, Hanbaek Lyu, Igor Pak

Abstract: For parameters $n,δ,B,$ and $C$, let $X=(X_{k\ell})$ be the random uniform contingency table whose first $\lfloor n^δ \rfloor $ rows and columns have margin $\lfloor BCn \rfloor$ and the last $n$ rows and columns have margin $\lfloor Cn \rfloor$. For every $0<δ<1$, we establish a sharp phase transition of the limiting distribution of each entry of $X$ at the critical value $B_{c}=1+\sqrt{1+1/C}$.… ▽ More For parameters $n,δ,B,$ and $C$, let $X=(X_{k\ell})$ be the random uniform contingency table whose first $\lfloor n^δ \rfloor $ rows and columns have margin $\lfloor BCn \rfloor$ and the last $n$ rows and columns have margin $\lfloor Cn \rfloor$. For every $0<δ<1$, we establish a sharp phase transition of the limiting distribution of each entry of $X$ at the critical value $B_{c}=1+\sqrt{1+1/C}$. In particular, for $1/2<δ<1$, we show that the distribution of each entry converges to a geometric distribution in total variation distance, whose mean depends sensitively on whether $B<B_{c}$ or $B>B_{c}$. Our main result shows that $\mathbb{E}[X_{11}]$ is uniformly bounded for $B<B_{c}$, but has sharp asymptotic $C(B-B_{c}) n^{1-δ}$ for $B>B_{c}$. We also establish a strong law of large numbers for the row sums in top right and top left blocks. △ Less

Submitted 11 September, 2020; v1 submitted 20 March, 2019; originally announced March 2019.

Comments: 24 pages, 4 figures. Earlier version is accepted for publication in Transactions of the AMS. This version contains an appendix on asymptotic independence of the entries

Intensive Monitoring Survey of Nearby Galaxies (IMSNG)

Authors: Myungshin Im, Changsu Choi, Sungyong Hwang, Gu Lim, Joonho Kim, Sophia Kim, Gregory S. H. Paek, Sang-Yun Lee, Sung-Chul Yoon, Hyun** Jung, Hyun-Il Sung, Yeong-beom Jeon, Shuhrat Ehgamberdiev, Otabek Burhonov, Davron Milzaqulov, Omon Parmonov, Sang Gak Lee, Wonseok Kang, Taewoo Kim, Sun-gill Kwon, Soojong Pak, Tae-Geun Ji, Hye-In Lee, Woo** Park, Hojae Ahn , et al. (24 additional authors not shown)

Abstract: Intensive Monitoring Survey of Nearby Galaxies (IMSNG) is a high cadence observation program monitoring nearby galaxies with high probabilities of hosting supernovae (SNe). IMSNG aims to constrain the SN explosion mechanism by inferring sizes of SN progenitor systems through the detection of the shock-heated emission that lasts less than a few days after the SN explosion. To catch the signal, IMSN… ▽ More Intensive Monitoring Survey of Nearby Galaxies (IMSNG) is a high cadence observation program monitoring nearby galaxies with high probabilities of hosting supernovae (SNe). IMSNG aims to constrain the SN explosion mechanism by inferring sizes of SN progenitor systems through the detection of the shock-heated emission that lasts less than a few days after the SN explosion. To catch the signal, IMSNG utilizes a network of 0.5-m to 1-m class telescopes around the world and monitors the images of 60 nearby galaxies at distances D < 50 Mpc to a cadence as short as a few hours. The target galaxies are bright in near-ultraviolet (NUV) with M_NUV < -18.4 AB mag and have high probabilities of hosting SNe (0.06 SN/yr per galaxy). With this strategy, we expect to detect the early light curves of 3.4 SNe per year to a depth of R ~ 19.5 mag, enabling us to detect the shock-heated emission from a progenitor star with a radius as small as 0.1 R_sun. The accumulated data will be also useful for studying faint features around the target galaxies and other science projects. So far, 18 SNe have occurred in our target fields (16 in IMSNG galaxies) over 5 years, confirming our SN rate estimate of 0.06 SN/yr per galaxy. △ Less

Submitted 31 January, 2019; originally announced January 2019.

Comments: 11 pages, 6 figures, to be published in the Journal of Korean Astronomical Society, February 2019 issue

The Infrared Medium-deep Survey. VI. Discovery of Faint Quasars at $z\sim5$ with a Medium-band-based Approach

Authors: Yongjung Kim, Myungshin Im, Yiseul Jeon, Min** Kim, Soojong Pak, Yoon Chan Taak, Changsu Choi, Jueun Hong, Minhee Hyun, Tae-Geun Ji, Hyunsung David Jun, Marios Karouzos, Dohyeong Kim, Duho Kim, Jae-Woo Kim, Ji Hoon Kim, Hye-In Lee, Seong-Kook Lee, Won-Kee Park, Yongmin Yoon, Seoyeon Byeon, Sungyong Hwang, Joonho Kim, Sophia Kim, Gu Lim , et al. (3 additional authors not shown)

Abstract: The faint quasars with $M_{1450}>-24$ mag are known to hold the key to the determination of the ultraviolet emissivity for the cosmic re-ionization. But only a few have been identified so far because of the limitations on the survey data. Here, we present the first results of the $z\sim5$ faint quasar survey with the Infrared Medium-deep Survey (IMS), which covers $\sim100$ deg$^{2}$ areas in $J$-… ▽ More The faint quasars with $M_{1450}>-24$ mag are known to hold the key to the determination of the ultraviolet emissivity for the cosmic re-ionization. But only a few have been identified so far because of the limitations on the survey data. Here, we present the first results of the $z\sim5$ faint quasar survey with the Infrared Medium-deep Survey (IMS), which covers $\sim100$ deg$^{2}$ areas in $J$-band to the depths of $J_{\rm AB}\sim23$ mag. To improve selection methods, the medium-band follow-up imaging has been carried out using the SED camera for QUasars in Early uNiverse (SQUEAN) on the Otto Struve 2.1 m Telescope. The optical spectra of the candidates were obtained with 8-m class telescopes. We newly discovered 10 quasars with $-25<M_{1450}<-23$ at $z\sim5$, among which three have been missed in a previous survey using the same optical data over the same area, implying the necessity for improvements in high redshift faint quasars selection. We derived photometric redshifts from the medium-band data, and find that they have high accuracies of $\langle|Δz|/(1+z)\rangle=0.016$. The medium-band-based approach allows us to rule out many of the interlopers that contaminate $\gtrsim20~\%$ of the broad-band-selected quasar candidates. These results suggest that the medium-band-based approach is a powerful way to identify $z\sim5$ quasars and measure their redshifts at high accuracy (1-2 %). It is also a cost-effective way to understand the contribution of quasars to the cosmic re-ionization history. △ Less

Submitted 22 November, 2018; v1 submitted 21 November, 2018; originally announced November 2018.

Comments: 24 pages, 9 figures, 6 tables. Accepted for publication in ApJ

Log smoothness and polystability over valuation rings

Authors: Karim Adiprasito, Gaku Liu, Igor Pak, Michael Temkin

Abstract: Let $\mathcal{O}$ be a valuation ring of height one of residual characteristic exponent $p$ and with algebraically closed field of fractions. Our main result provides a best possible resolution of the monoidal structure $M_X$ of a log variety $X$ over $\calO$ with a vertical log structure: there exists a log modification $Y\to X$ such that the monoidal structure of $Y$ is polystable. In particular… ▽ More Let $\mathcal{O}$ be a valuation ring of height one of residual characteristic exponent $p$ and with algebraically closed field of fractions. Our main result provides a best possible resolution of the monoidal structure $M_X$ of a log variety $X$ over $\calO$ with a vertical log structure: there exists a log modification $Y\to X$ such that the monoidal structure of $Y$ is polystable. In particular, if $X$ is log smooth over $\mathcal{O}$, then $Y$ is polystable with a smooth generic fiber. As a corollary we deduce that any variety over $\mathcal{O}$ possesses a polystable alteration of degreee $p^n$. The core of our proof is a subdivision result for polyhedral complexes satisfying certain rationality conditions. △ Less

Submitted 30 April, 2019; v1 submitted 24 June, 2018; originally announced June 2018.

Comments: 40 pages, revisions based on comments from referee

Asymptotics of principal evaluations of Schubert polynomials for layered permutations

Authors: Alejandro H. Morales, Igor Pak, Greta Panova

Abstract: Denote by $u(n)$ the largest principal specialization of the Schubert polynomial: $ u(n) := \max_{w \in S_n} \mathfrak{S}_w(1,\ldots,1) $ Stanley conjectured in [arXiv:1704.00851] that there is a limit $\lim_{n\to \infty} \, \frac{1}{n^2} \log u(n), $ and asked for a limiting description of permutations achieving the maximum $u(n)$. Merzon and Smirnov conjectured in [arXiv:1410.6857] that this max… ▽ More Denote by $u(n)$ the largest principal specialization of the Schubert polynomial: $ u(n) := \max_{w \in S_n} \mathfrak{S}_w(1,\ldots,1) $ Stanley conjectured in [arXiv:1704.00851] that there is a limit $\lim_{n\to \infty} \, \frac{1}{n^2} \log u(n), $ and asked for a limiting description of permutations achieving the maximum $u(n)$. Merzon and Smirnov conjectured in [arXiv:1410.6857] that this maximum is achieved on layered permutations. We resolve both Stanley's problems restricted to layered permutations. △ Less

Submitted 11 May, 2018; originally announced May 2018.

On the number of integer points in translated and expanded polyhedra

Authors: Danny Nguyen, Igor Pak

Abstract: We prove that the problem of minimizing the number of integer points inparallel translations of a rational convex polytope in $\mathbb{R}^6$ is NP-hard. We apply this result to show that given a rational convex polytope $P \subset \mathbb{R}^6$, finding the largest integer $t$ s.t. the expansion $tP$ contains fewer than $k$ integer points is also NP-hard. We conclude that the Ehrhart quasi-polynom… ▽ More We prove that the problem of minimizing the number of integer points inparallel translations of a rational convex polytope in $\mathbb{R}^6$ is NP-hard. We apply this result to show that given a rational convex polytope $P \subset \mathbb{R}^6$, finding the largest integer $t$ s.t. the expansion $tP$ contains fewer than $k$ integer points is also NP-hard. We conclude that the Ehrhart quasi-polynomials of rational polytopes can have arbitrary fluctuations. △ Less

Submitted 30 November, 2019; v1 submitted 9 May, 2018; originally announced May 2018.

Presburger Arithmetic with algebraic scalar multiplications

Authors: Philipp Hieronymi, Danny Nguyen, Igor Pak

Abstract: We consider Presburger arithmetic (PA) extended by scalar multiplication by an algebraic irrational number $α$, and call this extension $α$-Presburger arithmetic ($α$-PA). We show that the complexity of deciding sentences in $α$-PA is substantially harder than in PA. Indeed, when $α$ is quadratic and $r\geq 4$, deciding $α$-PA sentences with $r$ alternating quantifier blocks and at most $c\ r$ var… ▽ More We consider Presburger arithmetic (PA) extended by scalar multiplication by an algebraic irrational number $α$, and call this extension $α$-Presburger arithmetic ($α$-PA). We show that the complexity of deciding sentences in $α$-PA is substantially harder than in PA. Indeed, when $α$ is quadratic and $r\geq 4$, deciding $α$-PA sentences with $r$ alternating quantifier blocks and at most $c\ r$ variables and inequalities requires space at least $K 2^{\cdot^{\cdot^{\cdot^{2^{C\ell(S)}}}}}$ (tower of height $r-3$), where the constants $c, K, C>0$ only depend on $α$, and $\ell(S)$ is the length of the given $α$-PA sentence $S$. Furthermore deciding $\exists^{6}\forall^{4}\exists^{11}$ $α$-PA sentences with at most $k$ inequalities is PSPACE-hard, where $k$ is another constant depending only on~$α$. When $α$ is non-quadratic, already four alternating quantifier blocks suffice for undecidability of $α$-PA sentences. △ Less

Submitted 19 July, 2021; v1 submitted 9 May, 2018; originally announced May 2018.

Journal ref: Logical Methods in Computer Science, Volume 17, Issue 3 (July 20, 2021) lmcs:5916

Asymptotics for the number of standard tableaux of skew shape and for weighted lozenge tilings

Authors: Alejandro Morales, Igor Pak, Martin Tassy

Abstract: We prove and generalize a conjecture in arXiv:1610.0474(4) about the asymptotics of $\frac{1}{\sqrt{n!}} f^{λ/μ}$, where $f^{λ/μ}$ is the number of standard Young tableaux of skew shape $λ/μ$ which have stable limit shape under the $1/\sqrt{n}$ scaling. The proof is based on the variational principle on the partition function of certain weighted lozenge tilings. We prove and generalize a conjecture in arXiv:1610.0474(4) about the asymptotics of $\frac{1}{\sqrt{n!}} f^{λ/μ}$, where $f^{λ/μ}$ is the number of standard Young tableaux of skew shape $λ/μ$ which have stable limit shape under the $1/\sqrt{n}$ scaling. The proof is based on the variational principle on the partition function of certain weighted lozenge tilings. △ Less

Submitted 27 January, 2021; v1 submitted 2 May, 2018; originally announced May 2018.