-
Gamma conjecture I for flag varieties
Authors:
Chi Hong Chow
Abstract:
We prove Gamma conjecture I for any flag varieties by following a strategy proposed by Galkin and Iritani. The main ingredient is to prove that the $\widehatΓ$-class of a flag variety is mirror to the totally positive part of the corresponding Rietsch mirror.
We prove Gamma conjecture I for any flag varieties by following a strategy proposed by Galkin and Iritani. The main ingredient is to prove that the $\widehatΓ$-class of a flag variety is mirror to the totally positive part of the corresponding Rietsch mirror.
△ Less
Submitted 8 April, 2025; v1 submitted 22 January, 2025;
originally announced January 2025.
-
Inertial Proximal Difference-of-Convex Algorithm with Convergent Bregman Plug-and-Play for Nonconvex Imaging
Authors:
Tsz Ching Chow,
Chaoyan Huang,
Zhongming Wu,
Tieyong Zeng,
Angelica I. Aviles-Rivero
Abstract:
Imaging tasks are typically tackled using a structured optimization framework. This paper delves into a class of algorithms for difference-of-convex (DC) structured optimization, focusing on minimizing a DC function along with a possibly nonconvex function. Existing DC algorithm (DCA) versions often fail to effectively handle nonconvex functions or exhibit slow convergence rates. We propose a nove…
▽ More
Imaging tasks are typically tackled using a structured optimization framework. This paper delves into a class of algorithms for difference-of-convex (DC) structured optimization, focusing on minimizing a DC function along with a possibly nonconvex function. Existing DC algorithm (DCA) versions often fail to effectively handle nonconvex functions or exhibit slow convergence rates. We propose a novel inertial proximal DC algorithm in Bregman geometry, named iBPDCA, designed to address nonconvex terms and enhance convergence speed through inertial techniques. We provide a detailed theoretical analysis, establishing both subsequential and global convergence of iBPDCA via the Kurdyka-Łojasiewicz property. Additionally, we introduce a Plug-and-Play variant, PnP-iBPDCA, which employs a deep neural network-based prior for greater flexibility and robustness while ensuring theoretical convergence. We also establish that the Gaussian gradient step denoiser used in our method is equivalent to evaluating the Bregman proximal operator for an implicitly weakly convex functional. We extensively validate our method on Rician noise and phase retrieval. We demonstrate that iBPDCA surpasses existing state-of-the-art methods.
△ Less
Submitted 18 September, 2024; v1 submitted 5 September, 2024;
originally announced September 2024.
-
Perturbative partial moment matching and gradient-flow adaptive importance sampling transformations for Bayesian leave one out cross-validation
Authors:
Joshua C Chang,
Xiangting Li,
Shixin Xu,
Hao-Ren Yao,
Julia Porcino,
Carson Chow
Abstract:
Importance sampling (IS) allows one to approximate leave one out (LOO) cross-validation for a Bayesian model, without refitting, by inverting the Bayesian update equation to subtract a given data point from a model posterior. For each data point, one computes expectations under the corresponding LOO posterior by weighted averaging over the full data posterior. This task sometimes requires weight s…
▽ More
Importance sampling (IS) allows one to approximate leave one out (LOO) cross-validation for a Bayesian model, without refitting, by inverting the Bayesian update equation to subtract a given data point from a model posterior. For each data point, one computes expectations under the corresponding LOO posterior by weighted averaging over the full data posterior. This task sometimes requires weight stabilization in the form of adapting the posterior distribution via transformation. So long as one is successful in finding a suitable transformation, one avoids refitting. To this end, we motivate the use of bijective perturbative transformations of the form $T(\boldsymbolθ)=\boldsymbolθ + h Q(\boldsymbolθ),$ for $0<h\ll 1,$ and introduce two classes of such transformations: 1) partial moment matching and 2) gradient flow evolution. The former extends prior literature on moment-matching under the recognition that adaptation for LOO is a small perturbation on the full data posterior. The latter class of methods define transformations based on relaxing various statistical objectives: in our case the variance of the IS estimator and the KL divergence between the transformed distribution and the statistics of the LOO fold. Being model-specific, the gradient flow transformations require evaluating Jacobian determinants. While these quantities are generally readily available through auto-differentiation, we derive closed-form expressions in the case of logistic regression and shallow ReLU activated neural networks. We tested the methodology on an $n\ll p$ dataset that is known to produce unstable LOO IS weights.
△ Less
Submitted 2 June, 2025; v1 submitted 12 February, 2024;
originally announced February 2024.
-
The $D_{\hslash}$-module mirror conjecture for flag varieties
Authors:
Chi Hong Chow
Abstract:
Rietsch constructed a candidate $T$-equivariant mirror LG model for any flag variety $G/P$. In this paper, we prove the following mirror symmetry prediction: the small $T\times\mathbb{G}_m$-equivariant quantum cohomology of $G/P$ equipped with quantum $\hslash$-connection is isomorphic as $D_{\hslash}$-modules to the Brieskorn lattice associated to the LG model equipped with Gauss-Manin $\hslash$-…
▽ More
Rietsch constructed a candidate $T$-equivariant mirror LG model for any flag variety $G/P$. In this paper, we prove the following mirror symmetry prediction: the small $T\times\mathbb{G}_m$-equivariant quantum cohomology of $G/P$ equipped with quantum $\hslash$-connection is isomorphic as $D_{\hslash}$-modules to the Brieskorn lattice associated to the LG model equipped with Gauss-Manin $\hslash$-connection.
△ Less
Submitted 8 April, 2025; v1 submitted 26 November, 2023;
originally announced November 2023.
-
On D. Peterson's presentation of quantum cohomology of $G/P$
Authors:
Chi Hong Chow
Abstract:
We prove in full generality that the $T$-equivariant quantum cohomology of any flag variety $G/P$ is isomorphic to the coordinate ring of a stratum of the Peterson scheme associated to the Langlands dual group scheme $G^{\vee}$. This result was discovered by Dale Peterson but remains unpublished. Our isomorphism is constructed using Yun-Zhu's isomorphism and Peterson-Lam-Shimozono's homomorphism.
We prove in full generality that the $T$-equivariant quantum cohomology of any flag variety $G/P$ is isomorphic to the coordinate ring of a stratum of the Peterson scheme associated to the Langlands dual group scheme $G^{\vee}$. This result was discovered by Dale Peterson but remains unpublished. Our isomorphism is constructed using Yun-Zhu's isomorphism and Peterson-Lam-Shimozono's homomorphism.
△ Less
Submitted 24 May, 2024; v1 submitted 31 October, 2022;
originally announced October 2022.
-
CREAM: a Package to Compute [Auto, Endo, Iso, Mono, Epi]-morphisms, Congruences, Divisors and More for Algebras of Type $(2^n,1^n)$
Authors:
João Araújo,
Rui Barradas Pereira,
Wolfram Bentz,
Choiwah Chow,
João Ramires,
Luis Sequeira,
Carlos Sousa
Abstract:
The CREAM GAP package computes automorphisms, congruences, endomorphisms and subalgebras of algebras with an arbitrary number of binary and unary operations; it also decides if between two such algebras there exists a monomorphism, an epimorphism, an isomorphism or if one is a divisor of the other. Thus it finds those objects for almost all algebras used in practice (groups, quasigroups in their v…
▽ More
The CREAM GAP package computes automorphisms, congruences, endomorphisms and subalgebras of algebras with an arbitrary number of binary and unary operations; it also decides if between two such algebras there exists a monomorphism, an epimorphism, an isomorphism or if one is a divisor of the other. Thus it finds those objects for almost all algebras used in practice (groups, quasigroups in their various signatures, semigroups possibly with many unary operations, fields, semi-rings, quandles, logic algebras, etc).
As a one-size-fits-all package, it only relies on universal algebra theorems, without taking advantage of specific theorems about, eg, groups or semigroups to reduce the search space. Canon and Holt produced very fast code to compute automorphisms of groups that outperform CREAM on orders larger than 128. Similarly, Mitchell et al. take advantage of deep theorems to compute automorphisms and congruences of completely 0-simple semigroups in a very efficient manner. However these domains (groups of order above 128 and completely 0-simple semigroups) are among the very few examples of GAP code faster than our general purpose package CREAM. For the overwhelming majority of other classes of algebras, either ours is the first code computing the above mentioned objects, or the existing algorithms are outperformed by CREAM, in some cases by several orders of magnitude.
To get this performance, CREAM uses a mixture of universal algebra algorithms together with GAP coupled with artificial intelligence theorem proving tools (AITP) and very delicate C implementations. As an example of the latter, we re-implement Freese's very clever algorithm for computing congruences in universal algebras, in a way that outperforms all other known implementations.
△ Less
Submitted 1 February, 2022;
originally announced February 2022.
-
Quantum $K$-theory of $G/P$ and $K$-homology of affine Grassmannian
Authors:
Chi Hong Chow,
Naichung Conan Leung
Abstract:
This paper is the $K$-theoretic analogue of a recent new proof, given by the first named author, of Peterson-Lam-Shimozono's theorem via Savelyev's generalization of Seidel representations. The outcome is a new proof of Lam-Li-Mihalcea-Shimozono's conjecture, including its extension to the parabolic case, which was first verified by Kato.
This paper is the $K$-theoretic analogue of a recent new proof, given by the first named author, of Peterson-Lam-Shimozono's theorem via Savelyev's generalization of Seidel representations. The outcome is a new proof of Lam-Li-Mihalcea-Shimozono's conjecture, including its extension to the parabolic case, which was first verified by Kato.
△ Less
Submitted 30 January, 2022;
originally announced January 2022.
-
Peterson-Lam-Shimozono's theorem is an affine analogue of quantum Chevalley formula
Authors:
Chi Hong Chow
Abstract:
We give a new proof of an unpublished result of Dale Peterson, proved by Lam and Shimozono, which identifies explicitly the structure constants, with respect to the quantum Schubert basis, for the $T$-equivariant quantum cohomology $QH^{\bullet}_T(G/P)$ of any flag variety $G/P$ with the structure constants, with respect to the affine Schubert basis, for the $T$-equivariant Pontryagin homology…
▽ More
We give a new proof of an unpublished result of Dale Peterson, proved by Lam and Shimozono, which identifies explicitly the structure constants, with respect to the quantum Schubert basis, for the $T$-equivariant quantum cohomology $QH^{\bullet}_T(G/P)$ of any flag variety $G/P$ with the structure constants, with respect to the affine Schubert basis, for the $T$-equivariant Pontryagin homology $H^T_{\bullet}(\mathcal{G}r)$ of the affine Grassmannian $\mathcal{G}r$ of $G$, where $G$ is any simple simply-connected complex algebraic group.
Our approach is to construct an $H_T^{\bullet}(pt)$-algebra homomorphism by Gromov-Witten theory and show that it is equal to Peterson's map. More precisely, the map is defined via Savelyev's generalized Seidel representations which can be interpreted as certain Gromov-Witten invariants with input $H^T_{\bullet}(\mathcal{G}r)\otimes QH_T^{\bullet}(G/P)$. We determine these invariants completely, in a way similar to how Fulton and Woodward did in their proof of quantum Chevalley formula.
△ Less
Submitted 8 April, 2025; v1 submitted 19 October, 2021;
originally announced October 2021.
-
Quantum characteristic classes, moment correspondences and the Hamiltonian groups of coadjoint orbits
Authors:
Chi Hong Chow
Abstract:
For any coadjoint orbit $G/L$, we determine all useful terms of the associated Savelyev-Seidel morphism defined on $H_{-*}(ΩG)$. Immediate consequences are: (1) the dimension of the kernel of the natural map $π_*(G)\otimes \mathbb{Q}\rightarrow π_*(Ham(G/L))\otimes \mathbb{Q}$ is at most the semi-simple rank of $L$, and (2) the Bott-Samelson cycles in $ΩG$ which correspond to Peterson elements are…
▽ More
For any coadjoint orbit $G/L$, we determine all useful terms of the associated Savelyev-Seidel morphism defined on $H_{-*}(ΩG)$. Immediate consequences are: (1) the dimension of the kernel of the natural map $π_*(G)\otimes \mathbb{Q}\rightarrow π_*(Ham(G/L))\otimes \mathbb{Q}$ is at most the semi-simple rank of $L$, and (2) the Bott-Samelson cycles in $ΩG$ which correspond to Peterson elements are solutions to the min-max problem for Hofer's max-length functional on $ΩHam(G/L)$.
The proof is based on Bae-Chow-Leung's recent computation of Ma'u-Wehrheim-Woodward morphism for the moment correspondence associated to $G/T$ where $T$ is a maximal torus, the computation of Abbondandolo-Schwarz isomorphism for $G$, and two theoretical results including the coincidence of the above Savelyev-Seidel and Ma'u-Wehrheim-Woodward morphisms, and a Leray-type spectral sequence relating Savelyev-Seidel morphisms for $G/L$ and $G/T$.
These ingredients also allow us to obtain an alternative proof of Peterson-Woodward's comparison formula which relates the quantum cohomology of $G/T$ to that of $G/L$.
△ Less
Submitted 18 July, 2021;
originally announced July 2021.
-
Applications of the theory of Floer to symmetric spaces
Authors:
Hanwool Bae,
Chi Hong Chow,
Naichung Conan Leung
Abstract:
We quantize the problem considered by Bott-Samelson who applied Morse theory to any compact symmetric space $G/K$ and the associated real flag manifold $G_{\mathbb{R}}/B$ which is a real locus of a complex partial flag variety $G_{\mathbb{C}}/P_σ$. We prove that the Pontryagin ring $H_{-*}(Ω(G/K))$ of the based loop space $Ω(G/K)$ is isomorphic to the Floer cohomology ring…
▽ More
We quantize the problem considered by Bott-Samelson who applied Morse theory to any compact symmetric space $G/K$ and the associated real flag manifold $G_{\mathbb{R}}/B$ which is a real locus of a complex partial flag variety $G_{\mathbb{C}}/P_σ$. We prove that the Pontryagin ring $H_{-*}(Ω(G/K))$ of the based loop space $Ω(G/K)$ is isomorphic to the Floer cohomology ring $HF^*(G_{\mathbb{R}}/B,G_{\mathbb{R}}/B)$ after localization. When $G/K$ is a Lie group, this is a conjecture of Peterson, proved combinatorially by Lam-Shimozono, in the context of quantum cohomologies of complex flag varieties.
Our approach is geometric in nature: we construct a Lagrangian correspondence from $T^*(G/K)$ to $G_{\mathbb{C}}/P_σ$ which geometrically composes with a cotangent fiber to $G_{\mathbb{R}}/B$, and compute the linear part of the associated Ma'u-Wehrheim-Woodward's $A_{\infty}$ homomorphism from a Floer model of $Ω(G/K)$ to $CF^*(G_{\mathbb{R}}/B,G_{\mathbb{R}}/B)$. The crux is to make use of the geometry of $G/K$ to construct specific perturbation data which enables us to reduce the computations to the case when $G/K$ is a torus.
△ Less
Submitted 16 July, 2021; v1 submitted 27 February, 2021;
originally announced March 2021.
-
Cyclic group actions on Fukaya categories and mirror symmetry
Authors:
Chi Hong Chow,
Naichung Conan Leung
Abstract:
Let $(X,ω)$ be a compact symplectic manifold whose first Chern class $c_1(X)$ is divisible by a positive integer $n$. We construct a $\mathbb{Z}_{2n}$-action on its Fukaya category $Fuk(X)$ and a $\mathbb{Z}_n$-action on the local models of its moduli of Lagrangian branes. We show that this action is compatible with the gluing functions for different local models.
Let $(X,ω)$ be a compact symplectic manifold whose first Chern class $c_1(X)$ is divisible by a positive integer $n$. We construct a $\mathbb{Z}_{2n}$-action on its Fukaya category $Fuk(X)$ and a $\mathbb{Z}_n$-action on the local models of its moduli of Lagrangian branes. We show that this action is compatible with the gluing functions for different local models.
△ Less
Submitted 21 June, 2020; v1 submitted 21 April, 2020;
originally announced April 2020.
-
Enumeration of permutations by number of cyclic occurrence of peaks and valleys
Authors:
Shi-Mei Ma,
Chak-On Chow
Abstract:
In this paper, we focus on the enumeration of permutations by number of cyclic occurrence of peaks and valleys. We find several recurrence relations involving the number of permutations with a prescribed number of cyclic peaks, cyclic valleys, fixed points and cycles. Several associated permutation statistics and the corresponding generating functions are also studied. In particular, we establish…
▽ More
In this paper, we focus on the enumeration of permutations by number of cyclic occurrence of peaks and valleys. We find several recurrence relations involving the number of permutations with a prescribed number of cyclic peaks, cyclic valleys, fixed points and cycles. Several associated permutation statistics and the corresponding generating functions are also studied. In particular, we establish a connection between cyclic valleys and Pell numbers as well as cyclic peaks and alternating runs.
△ Less
Submitted 13 December, 2012; v1 submitted 28 March, 2012;
originally announced March 2012.
-
Competition between transients in the rate of approach to a fixed point
Authors:
Judy Day,
Jonathan Rubin,
Carson C. Chow
Abstract:
Dynamical systems studies of differential equations often focus on the behavior of solutions near critical points and on invariant manifolds, to elucidate the organization of the associated flow. In addition, effective methods, such as the use of Poincare maps and phase resetting curves, have been developed for the study of periodic orbits. However, the analysis of transient dynamics associated…
▽ More
Dynamical systems studies of differential equations often focus on the behavior of solutions near critical points and on invariant manifolds, to elucidate the organization of the associated flow. In addition, effective methods, such as the use of Poincare maps and phase resetting curves, have been developed for the study of periodic orbits. However, the analysis of transient dynamics associated with solutions on their way to an attracting fixed point has not received much rigorous attention. This paper introduces methods for the study of such transient dynamics. In particular, we focus on the analysis of whether one component of a solution to a system of differential equations can overtake the corresponding component of a reference solution, given that both solutions approach the same stable node. We call this phenomenon tolerance, which derives from a certain biological effect. Here, we establish certain general conditions, based on the initial conditions associated with the two solutions and the properties of the vector field, that guarantee that tolerance does or does not occur in two-dimensional systems. We illustrate these conditions in particular examples, and we derive and demonstrate additional techniques that can be used on a case by case basis to check for tolerance. Finally, we give a full rigorous analysis of tolerance in two-dimensional linear systems.
△ Less
Submitted 2 April, 2008;
originally announced April 2008.
-
On the Eulerian Polynomials of Type D
Authors:
Chak-On Chow
Abstract:
We introduce sub-Eulerian polynomials to count elements of $D_n$ by which a recurrence relation for the Eulerian polynomials of type $D$ is obtained.
We introduce sub-Eulerian polynomials to count elements of $D_n$ by which a recurrence relation for the Eulerian polynomials of type $D$ is obtained.
△ Less
Submitted 16 January, 2002;
originally announced January 2002.
