-
Existence of weak martingale solutions to a stochastic fluid-structure interaction problem with a compressible viscous fluid
Authors:
Jeffrey Kuan,
Krutika Tawri
Abstract:
We study the existence of weak martingale solutions to a stochastic moving boundary problem arising from the interaction between an isentropic compressible fluid and a viscoelastic structure. In the model, we consider a three-dimensional compressible isentropic fluid with adiabatic constant $γ> 3/2$ interacting dynamically with an elastic structure on the boundary of the fluid domain described by…
▽ More
We study the existence of weak martingale solutions to a stochastic moving boundary problem arising from the interaction between an isentropic compressible fluid and a viscoelastic structure. In the model, we consider a three-dimensional compressible isentropic fluid with adiabatic constant $γ> 3/2$ interacting dynamically with an elastic structure on the boundary of the fluid domain described by a plate equation, under the additional influence of stochastic perturbations which randomly force both the compressible fluid and elastic structure equations in time. The problem is nonlinearly coupled in the sense that the a priori unknown (and random) displacement of the elastic structure from its reference configuration determines the a priori unknown (and random) time-dependent fluid domain on which the compressible isentropic Navier-Stokes equations are posed. We use a splitting method, consisting of a fluid and structure subproblem, to construct random approximate solutions to an approximate Galerkin form of the problem with artificial viscosity and artificial pressure. We introduce stopped processes of structure displacements which handle the issues associated with potential fluid domain degeneracy. In this splitting scheme, we handle mathematical difficulties associated with the a priori unknown and time-dependent fluid domain by using an extension of the fluid equations to a fixed maximal domain and we handle difficulties associated with imposing the no-slip condition in the stochastic setting by using a novel penalty term defined on an external tubular neighborhood of the moving fluid-structure interface. To the best of our knowledge, this is the first well-posedness result for stochastic fluid-structure interaction with compressible fluids.
△ Less
Submitted 21 May, 2025; v1 submitted 24 September, 2024;
originally announced September 2024.
-
q--exchangeable Measures and Transformations in Interacting Particle Systems
Authors:
Jeffrey Kuan
Abstract:
This paper provides unified calculations regarding certain measures and transformations in interacting particle systems. More specifically, we provide certain general conditions under which an interacting particle system will have a reversible measure, gauge transformation, or ground state transformation. Additionally, we provide a method to prove that these conditions hold. This method uses certa…
▽ More
This paper provides unified calculations regarding certain measures and transformations in interacting particle systems. More specifically, we provide certain general conditions under which an interacting particle system will have a reversible measure, gauge transformation, or ground state transformation. Additionally, we provide a method to prove that these conditions hold. This method uses certain quantum groups, and in that context the general conditions specialize to a \(q\)--exchangeable property.
△ Less
Submitted 19 September, 2024;
originally announced September 2024.
-
Asymptotics of dynamic ASEP using duality
Authors:
Jeffrey Kuan,
Zhengye Zhou
Abstract:
Using a recently developed method for proving asymptotics via orthogonal polynomial duality arXiv:2305.17602, we prove that the dynamic ASEP introduced in arXiv:1701.05239 has asymptotics which are either distributed as the Tracy--Widom \(F_2,\) or are almost surely bounded. Using a different duality, we also provide contour integrals formulas for multi--species ASEP, which generalize results for…
▽ More
Using a recently developed method for proving asymptotics via orthogonal polynomial duality arXiv:2305.17602, we prove that the dynamic ASEP introduced in arXiv:1701.05239 has asymptotics which are either distributed as the Tracy--Widom \(F_2,\) or are almost surely bounded. Using a different duality, we also provide contour integrals formulas for multi--species ASEP, which generalize results for the single--species ASEP.
△ Less
Submitted 2 September, 2024; v1 submitted 28 August, 2024;
originally announced August 2024.
-
Fluid-poroviscoelastic structure interaction problem with nonlinear geometric coupling
Authors:
Jeffrey Kuan,
Sunčica Čanić,
Boris Muha
Abstract:
We investigate weak solutions to a fluid-structure interaction (FSI) problem between the flow of an incompressible, viscous fluid modeled by the Navier-Stokes equations, and a poroviscoelastic medium modeled by the Biot equations. These systems are coupled nonlinearly across an interface with mass and elastic energy, modeled by a reticular plate equation, which is transparent to fluid flow. We pro…
▽ More
We investigate weak solutions to a fluid-structure interaction (FSI) problem between the flow of an incompressible, viscous fluid modeled by the Navier-Stokes equations, and a poroviscoelastic medium modeled by the Biot equations. These systems are coupled nonlinearly across an interface with mass and elastic energy, modeled by a reticular plate equation, which is transparent to fluid flow. We provide a constructive proof of the existence of a weak solution to a regularized problem. Next, a weak-classical consistency result is obtained, showing that the weak solution to the regularized problem converges, as the regularization parameter approaches zero, to a {classical} solution to the original problem, when such a classicalsolution exists. While the assumptions in the first step only require the Biot medium to be poroelastic, the second step requires additional regularity, namely, that the Biot medium is poroviscoelastic. This is the first weak solution existence result for an FSI problem with nonlinear coupling involving a Biot model for poro(visco)elastic media.
△ Less
Submitted 2 June, 2024; v1 submitted 30 July, 2023;
originally announced July 2023.
-
An explicit central element of $\mathcal{U}_q(\mathfrak{so}_5)$ and its corresponding quantum Hamiltonian
Authors:
Jeffrey Kuan
Abstract:
A previous paper of the author developed a general method for producing explicit central elements of quantized Lie algebras using Lusztig's inner product. This method had previously been applied for the type $C_2$, $D_3$ and $D_4$ Lie algebras. The current paper repeats the calculation for the type $B_2$ Lie algebra, which is actually isomorphic to the $C_2$ Lie algebra. The explicit expression fo…
▽ More
A previous paper of the author developed a general method for producing explicit central elements of quantized Lie algebras using Lusztig's inner product. This method had previously been applied for the type $C_2$, $D_3$ and $D_4$ Lie algebras. The current paper repeats the calculation for the type $B_2$ Lie algebra, which is actually isomorphic to the $C_2$ Lie algebra. The explicit expression for the corresponding quantum Hamiltonian is computed.
△ Less
Submitted 27 May, 2023;
originally announced May 2023.
-
Orthogonal Dualities and Asymptotics of Dynamic Stochastic Higher Spin Vertex Models, using the Drinfeld Twister
Authors:
Jeffrey Kuan,
Zhengye Zhou
Abstract:
We introduce a new, algebraic method to construct duality functions for integrable dynamic models. This method will be implemented on dynamic stochastic higher spin vertex models, where we prove the duality functions are the $ _3 \varphi_2$ functions. A degeneration of these duality functions are orthogonal polynomial dualities of Groenevelt--Wagener arXiv:2306.12318. The method involves using the…
▽ More
We introduce a new, algebraic method to construct duality functions for integrable dynamic models. This method will be implemented on dynamic stochastic higher spin vertex models, where we prove the duality functions are the $ _3 \varphi_2$ functions. A degeneration of these duality functions are orthogonal polynomial dualities of Groenevelt--Wagener arXiv:2306.12318. The method involves using the universal twister of $\mathcal{U}_q(\mathfrak{sl}_2)$, viewed as a quasi--triangular, quasi--$^*$--Hopf algebra. The algebraic method is presented very generally and is expected to produce duality functions for other dynamic integrable models. As an application of the duality, we prove that the asymptotic fluctuations of the dynamic stochastic six vertex model with step initial conditions are governed by the Tracy--Widom distribution.
△ Less
Submitted 17 May, 2024; v1 submitted 27 May, 2023;
originally announced May 2023.
-
Asymptotics of two-point correlations in the multi-species q-TAZRP
Authors:
Jeffrey Kuan,
Zhengye Zhou
Abstract:
A previous paper by the authors found explicit contour integral formulas for certain joint moments of the multi-species q-TAZRP (totally asymmetric zero range process), using algebraic methods. These contour integral formulas have a "pseudo-factorized" form which makes asymptotic analysis simpler. In this brief note, we use those contour integral formulas to find the asymptotics of the two-point c…
▽ More
A previous paper by the authors found explicit contour integral formulas for certain joint moments of the multi-species q-TAZRP (totally asymmetric zero range process), using algebraic methods. These contour integral formulas have a "pseudo-factorized" form which makes asymptotic analysis simpler. In this brief note, we use those contour integral formulas to find the asymptotics of the two-point correlations. As expected, the term arising from the "shift-invariance" makes a non-trivial asymptotic contribution.
△ Less
Submitted 12 March, 2024; v1 submitted 29 April, 2023;
originally announced May 2023.
-
Orthogonal polynomial duality of a two-species asymmetric exclusion process
Authors:
Danyil Blyschak,
Olivia Burke,
Jeffrey Kuan,
Dennis Li,
Sasha Ustilovsky,
Zhengye Zhou
Abstract:
We examine type D ASEP, a two--species interacting particle system which generalizes the usual asymmetric simple exclusion process. For certain cases of type D ASEP, the process does not give priority for one species over another, even though there is nontrivial interaction between the two species. For those specific cases, we prove that the type D ASEP is self--dual with respect to an independent…
▽ More
We examine type D ASEP, a two--species interacting particle system which generalizes the usual asymmetric simple exclusion process. For certain cases of type D ASEP, the process does not give priority for one species over another, even though there is nontrivial interaction between the two species. For those specific cases, we prove that the type D ASEP is self--dual with respect to an independent product of $q$--Krawtchouk polynomials. The type D ASEP was originally constructed in arXiv:2011.13473, using the type D quantum groups $\mathcal{U}_q(\mathfrak{so}_6)$ and $\mathcal{U}_q(\mathfrak{so}_8)$. That paper claimed that certain states needed to be "discarded'' in order to ensure non--negativity. Here, we also provide a more efficient argument for the same claim.
△ Less
Submitted 10 March, 2024; v1 submitted 22 September, 2022;
originally announced September 2022.
-
Orthogonal polynomial duality and unitary symmetries of multi--species ASEP$(q,\boldsymbolθ)$ and higher--spin vertex models via $^*$--bialgebra structure of higher rank quantum groups
Authors:
Chiara Franceschini,
Jeffrey Kuan,
Zhengye Zhou
Abstract:
We propose a novel, general method to produce orthogonal polynomial dualities from the $^*$--bialgebra structure of Drinfeld--Jimbo quantum groups. The $^*$--structure allows for the construction of certain \textit{unitary} symmetries, which imply the orthogonality of the duality functions. In the case of the quantum group $\mathcal{U}_q(\mathfrak{gl}_{n+1})$, the result is a nested multivariate…
▽ More
We propose a novel, general method to produce orthogonal polynomial dualities from the $^*$--bialgebra structure of Drinfeld--Jimbo quantum groups. The $^*$--structure allows for the construction of certain \textit{unitary} symmetries, which imply the orthogonality of the duality functions. In the case of the quantum group $\mathcal{U}_q(\mathfrak{gl}_{n+1})$, the result is a nested multivariate $q$--Krawtchouk duality for the $n$--species ASEP$(q,\boldsymbolθ)$. The method also applies to other quantized simple Lie algebras and to stochastic vertex models.
As a probabilistic application of the duality relation found, we provide the explicit formula of the $q-$shifted factorial moments (namely the $q$-analogue of the Pochhammer symbol) for the two--species $q$--TAZRP (totally asymmetric zero range process).
△ Less
Submitted 10 March, 2024; v1 submitted 7 September, 2022;
originally announced September 2022.
-
Well-posedness of solutions to stochastic fluid-structure interaction
Authors:
Jeffrey Kuan,
Sunčica Čanić
Abstract:
In this paper we introduce a constructive approach to study well-posedness of solutions to stochastic fluid-structure interaction with stochastic noise. We focus on a benchmark problem in stochastic fluid-structure interaction, and prove the existence of a unique weak solution in the probabilistically strong sense. The benchmark problem consists of the 2D time-dependent Stokes equations describing…
▽ More
In this paper we introduce a constructive approach to study well-posedness of solutions to stochastic fluid-structure interaction with stochastic noise. We focus on a benchmark problem in stochastic fluid-structure interaction, and prove the existence of a unique weak solution in the probabilistically strong sense. The benchmark problem consists of the 2D time-dependent Stokes equations describing the flow of an incompressible, viscous fluid interacting with a linearly elastic membrane modeled by the 1D linear wave equation. The membrane is stochastically forced by the time-dependent white noise. The fluid and the structure are linearly coupled. The constructive existence proof is based on a time-discretization via an operator splitting approach. This introduces a sequence of approximate solutions, which are random variables. We show the existence of a subsequence of approximate solutions which converges, almost surely, to a weak solution in the probabilistically strong sense. The proof is based on uniform energy estimates in terms of the expectation of the energy norms, which are the backbone for a weak compactness argument giving rise to a weakly convergent subsequence of probability measures associated with the approximate solutions. Probabilistic techniques based on the Skorohod representation theorem and the Gyöngy-Krylov lemma are then employed to obtain almost sure convergence of a subsequence of the random approximate solutions to a weak solution in the probabilistically strong sense. The result shows that the deterministic benchmark FSI model is robust to stochastic noise, even in the presence of rough white noise in time. To the best of our knowledge, this is the first well-posedness result for fully coupled stochastic fluid-structure interaction.
△ Less
Submitted 30 March, 2022;
originally announced March 2022.
-
Joint $q$-moments and shift invariance for the multi-species $q$-TAZRP on the infinite line
Authors:
Jeffrey Kuan
Abstract:
This paper presents a novel method for computing certain particle locations in the multi-species $q$-TAZRP (totally asymmetric zero range process). The method is based on a decomposition of the process into its discrete-time embedded Markov chain, which is described more generally as a monotone process on a graded partially ordered set; and an independent family of exponential random variables. A…
▽ More
This paper presents a novel method for computing certain particle locations in the multi-species $q$-TAZRP (totally asymmetric zero range process). The method is based on a decomposition of the process into its discrete-time embedded Markov chain, which is described more generally as a monotone process on a graded partially ordered set; and an independent family of exponential random variables. A further ingredient is explicit contour integral formulas for the transition probabilities of the $q$-TAZRP. The main result of this method is a shift invariance for the multi-species $q$-TAZRP on the infinite line.
By a previously known Markov duality result, these particle locations are the same as joint $q$-moments. One particular special case is that for step initial conditions, ordered multi-point joint $q$-moments of the $n$-species $q$-TAZRP match the $n$-point joint $q$-moments of the single-species $q$-TAZRP. Thus, we conjecture that the Airy$_2$ process describes the joint multi-point fluctuations of multi-species $q$-TAZRP.
As a probabilistic application of this result, we find explicit contour integral formulas for the joint $q$-moments of the multi-species $q$-TAZRP in the diffusive scaling regime.
△ Less
Submitted 30 May, 2022; v1 submitted 13 March, 2022;
originally announced March 2022.
-
Three-dimensional Gaussian fluctuations of spectra of overlapping stochastic Wishart matrices
Authors:
Jeffrey Kuan,
Zhengye Zhou
Abstract:
In arXiv:1410.7268v3, the authors consider eigenvalues of overlapping Wishart matrices and prove that its fluctuations asymptotically convergence to the Gaussian free field. In this brief note, their result is extended to show that when the matrix entries undergo stochastic evolution, the fluctuations asymptotically converge to a three-dimensional Gaussian field, which has an explicit contour inte…
▽ More
In arXiv:1410.7268v3, the authors consider eigenvalues of overlapping Wishart matrices and prove that its fluctuations asymptotically convergence to the Gaussian free field. In this brief note, their result is extended to show that when the matrix entries undergo stochastic evolution, the fluctuations asymptotically converge to a three-dimensional Gaussian field, which has an explicit contour integral formula. This is analogous to the result of arXiv:1011.3544 for stochastic Wigner matrices.
△ Less
Submitted 27 December, 2021;
originally announced December 2021.
-
Probabilistic global well-posedness for a viscous nonlinear wave equation modeling fluid-structure interaction
Authors:
Jeffrey Kuan,
Tadahiro Oh,
Sunčica Čanić
Abstract:
We prove probabilistic well-posedness for a 2D viscous nonlinear wave equation modeling fluid-structure interaction between a 3D incompressible, viscous Stokes flow and nonlinear elastodynamics of a 2D stretched membrane. The focus is on (rough) data, often arising in real-life problems, for which it is known that the deterministic problem is ill-posed. We show that random perturbations of such da…
▽ More
We prove probabilistic well-posedness for a 2D viscous nonlinear wave equation modeling fluid-structure interaction between a 3D incompressible, viscous Stokes flow and nonlinear elastodynamics of a 2D stretched membrane. The focus is on (rough) data, often arising in real-life problems, for which it is known that the deterministic problem is ill-posed. We show that random perturbations of such data give rise almost surely to the existence of a unique solution. More specifically, we prove almost sure global well-posedness for a viscous nonlinear wave equation with the subcritical initial data in the Sobolev space $\mathcal{H}^s (\mathbb{R}^2)$, $s > - \frac 15$, which are randomly perturbed using Wiener randomization. This result shows "robustness" of nonlinear FSI problems/models, and provides confidence that even for the "rough data" (data in $\mathcal{H}^s$, $s > -\frac 1 5$) random perturbations of such data (due to e.g., randomness in real-life data, numerical discretization, etc.) will almost surely provide a unique solution which depends continuously on the data in the $\mathcal{H}^s$ topology.
△ Less
Submitted 6 June, 2022; v1 submitted 31 August, 2021;
originally announced September 2021.
-
A stochastically perturbed fluid-structure interaction problem modeled by a stochastic viscous wave equation
Authors:
Jeffrey Kuan,
Suncica Canic
Abstract:
We study well-posedness for fluid-structure interaction driven by stochastic forcing. This is of particular interest in real-life applications where forcing and/or data have a strong stochastic component. The prototype model studied here is a stochastic viscous wave equation, which arises in modeling the interaction between Stokes flow and an elastic membrane. To account for stochastic perturbatio…
▽ More
We study well-posedness for fluid-structure interaction driven by stochastic forcing. This is of particular interest in real-life applications where forcing and/or data have a strong stochastic component. The prototype model studied here is a stochastic viscous wave equation, which arises in modeling the interaction between Stokes flow and an elastic membrane. To account for stochastic perturbations, the viscous wave equation is perturbed by spacetime white noise scaled by a nonlinear Lipschitz function, which depends on the solution. We prove the existence of a unique function-valued stochastic mild solution to the corresponding Cauchy problem in spatial dimensions one and two. Additionally, we show that up to a modification, the stochastic mild solution is $α$-Hölder continuous for almost every realization of the solution's sample path, where $α\in[0,1)$ for spatial dimension $n=1$, and $α\in [0,1/2)$ for spatial dimension $n=2$. This result contrasts the known results for the heat and wave equations perturbed by spacetime white noise, including the damped wave equation perturbed by spacetime white noise, for which a function-valued mild solution exists only in spatial dimension one and not higher. Our results show that dissipation due to fluid viscosity, which is in the form of the Dirichlet-to-Neumann operator applied to the time derivative of the membrane displacement, sufficiently regularizes the roughness of white noise in the stochastic viscous wave equation to allow the stochastic mild solution to exist even in dimension two, which is the physical dimension of the problem. To the best of our knowledge, this is the first result on well-posedness for a stochastically perturbed fluid-structure interaction problem.
△ Less
Submitted 23 April, 2021;
originally announced April 2021.
-
Deterministic ill-posedness and probabilistic well-posedness of the viscous nonlinear wave equation describing fluid-structure interaction
Authors:
Jeffrey Kuan,
Suncica Canic
Abstract:
We study low regularity behavior of the nonlinear wave equation in $\mathbb{R}^2$ augmented by the viscous dissipative effects described by the Dirichlet-Neumann operator. Problems of this type arise in fluid-structure interaction where the Dirichlet-Neumann operator models the coupling between a viscous, incompressible fluid and an elastic structure. We show that despite the viscous regularizatio…
▽ More
We study low regularity behavior of the nonlinear wave equation in $\mathbb{R}^2$ augmented by the viscous dissipative effects described by the Dirichlet-Neumann operator. Problems of this type arise in fluid-structure interaction where the Dirichlet-Neumann operator models the coupling between a viscous, incompressible fluid and an elastic structure. We show that despite the viscous regularization, the Cauchy problem with initial data $(u,u_t)$ in $H^s(\mathbb{R}^2)\times H^{s-1}(\mathbb{R}^2)$, is ill-posed whenever ${0 < s < s_{cr}}$, where the critical exponent $s_{cr}$ depends on the degree of nonlinearity. In particular, for the quintic nonlinearity $u^5$, the critical exponent in $\mathbb{R}^2$ is $s_{cr} = 1/2$, which is the same as the critical exponent for the associated nonlinear wave equation without the viscous term. We then show that if the initial data is perturbed using a Wiener randomization, which perturbs initial data in the frequency space, then the Cauchy problem for the quintic nonlinear viscous wave equation is well-posed almost surely for the supercritical exponents $s$ such that $-1/6 < s \le s_{cr} = 1/2$. To the best of our knowledge, this is the first result showing ill-posedness and probabilistic well-posedness for the nonlinear viscous wave equation arising in fluid-structure interaction.
△ Less
Submitted 7 April, 2021;
originally announced April 2021.
-
Stochastic Baxterisation of a fused Hecke algebra
Authors:
Jeffrey Kuan
Abstract:
Baxterisation is a procedure which constructs solutions of the Yang-Baxter equation from algebra representations. A recent paper arXiv:2004.05035 provides Baxterisation formulas for a fused Hecke algebra. In this paper, we provide a stochastic version of Baxterisation for the fused Hecke algebra, which yields stochastic solutions to the Yang-Baxter equation. The coefficients in the Baxterisation f…
▽ More
Baxterisation is a procedure which constructs solutions of the Yang-Baxter equation from algebra representations. A recent paper arXiv:2004.05035 provides Baxterisation formulas for a fused Hecke algebra. In this paper, we provide a stochastic version of Baxterisation for the fused Hecke algebra, which yields stochastic solutions to the Yang-Baxter equation. The coefficients in the Baxterisation formula previously appeared as the $q$-Hahn weights. This results in new formulas for the weights of the stochastic higher-spin vertex model.
△ Less
Submitted 21 December, 2020;
originally announced December 2020.
-
Interacting particle systems with type D symmetry and duality
Authors:
Jeffrey Kuan,
Mark Landry,
Andrew Lin,
Andrew Park,
Zhengye Zhou
Abstract:
We construct a two-class asymmetric interacting particle system with $U_q(so_6)$ or $U_q(so_8)$ symmetry, in which up to two particles may occupy a site if the two particles have different class. The particles exhibit a drift, but there is no preference given between first-class and second-class particles. The quantum group symmetry leads to reversible measures and a self-duality for the particle…
▽ More
We construct a two-class asymmetric interacting particle system with $U_q(so_6)$ or $U_q(so_8)$ symmetry, in which up to two particles may occupy a site if the two particles have different class. The particles exhibit a drift, but there is no preference given between first-class and second-class particles. The quantum group symmetry leads to reversible measures and a self-duality for the particle system. Additionally, a new method is developed to construct a symmetric interacting particle system from the Casimir element of $so_{2n}$.
△ Less
Submitted 26 November, 2020;
originally announced November 2020.
-
Determinantal Expressions in Multi-Species TASEP
Authors:
Jeffrey Kuan
Abstract:
Consider an inhomogeneous multi-species TASEP with drift to the left, and define a height function which equals the maximum species number to the left of a lattice site. For each fixed time, the multi-point distributions of these height functions have a determinantal structure. In the homogeneous case and for certain initial conditions, the fluctuations of the height function converge to Gaussian…
▽ More
Consider an inhomogeneous multi-species TASEP with drift to the left, and define a height function which equals the maximum species number to the left of a lattice site. For each fixed time, the multi-point distributions of these height functions have a determinantal structure. In the homogeneous case and for certain initial conditions, the fluctuations of the height function converge to Gaussian random variables in the large-time limit. The proof utilizes a coupling between the multi-species TASEP and a coalescing random walk, and previously known results for coalescing random walks.
△ Less
Submitted 15 December, 2020; v1 submitted 6 July, 2020;
originally announced July 2020.
-
Two dualities: Markov and Schur-Weyl
Authors:
Jeffrey Kuan
Abstract:
We show that quantum Schur-Weyl duality leads to Markov duality for a variety of asymmetric interacting particle systems. In particular, we consider three cases:
(1) Using a Schur-Weyl duality between a two-parameter quantum group and a two-parameter Hecke algebra from arXiv:math/0108038, we recover the Markov self-duality of multi-species ASEP previously discovered in arXiv:1605.00691 and arXiv…
▽ More
We show that quantum Schur-Weyl duality leads to Markov duality for a variety of asymmetric interacting particle systems. In particular, we consider three cases:
(1) Using a Schur-Weyl duality between a two-parameter quantum group and a two-parameter Hecke algebra from arXiv:math/0108038, we recover the Markov self-duality of multi-species ASEP previously discovered in arXiv:1605.00691 and arXiv:1606.04587.
(2) From a Schur-Weyl duality between a co-ideal subalgebra of a quantum group and a Hecke algebra of type B arXiv:1609.01766, we find a Markov duality for a multi-species open ASEP on the semi-infinite line. The duality functional has not previously appeared in the literature.
(3) A "fused" Hecke algebra from arXiv:2001.11372 leads to a new process, which we call braided ASEP. In braided ASEP, up to m particles may occupy a site and up to m particles may jump at a time. The Schur-Weyl duality between this Hecke algebra and a quantum group lead to a Markov duality. The duality function had previously appeared as the duality function of the multi-species ASEP(q,m/2) arXiv:1605.00691 and the stochastic multi-species higher spin vertex model arXiv:1701.04468.
△ Less
Submitted 24 June, 2020;
originally announced June 2020.
-
Coxeter Group Actions on Interacting Particle Systems
Authors:
Jeffrey Kuan
Abstract:
We provide a conceptual proof of the color-position symmetry of colored ASEP by relating it to the actions of Coxeter groups. The group action (and hence the color-position symmetry) also applies to more general interacting particle systems, such as the colored ASEP(q,j) or systems with open boundary conditions. As an application, we find the asymptotics of the expected positions of second-class p…
▽ More
We provide a conceptual proof of the color-position symmetry of colored ASEP by relating it to the actions of Coxeter groups. The group action (and hence the color-position symmetry) also applies to more general interacting particle systems, such as the colored ASEP(q,j) or systems with open boundary conditions. As an application, we find the asymptotics of the expected positions of second-class particles in the ASEP(q,j).
△ Less
Submitted 6 March, 2020;
originally announced March 2020.
-
Algebraic Symmetry and Self-Duality of an Open ASEP
Authors:
Jeffrey Kuan
Abstract:
We consider the asymmetric simple exclusion process (ASEP) with open boundary condition at the left boundary, where particles exit at rate γ and enter at rate α = γτ^2, and where τ is the asymmetry parameter in the bulk. At the right boundary, particles neither enter nor exit. By mapping the generator to the Hamiltonian of an XXZ quantum spin chain with reflection matrices, and using previously kn…
▽ More
We consider the asymmetric simple exclusion process (ASEP) with open boundary condition at the left boundary, where particles exit at rate γ and enter at rate α = γτ^2, and where τ is the asymmetry parameter in the bulk. At the right boundary, particles neither enter nor exit. By mapping the generator to the Hamiltonian of an XXZ quantum spin chain with reflection matrices, and using previously known results, we show algebraic symmetry and self-duality for the model.
△ Less
Submitted 27 December, 2019;
originally announced December 2019.
-
A Short Note on Markov Duality in Multi-species Higher Spin Stochastic Vertex Models
Authors:
Jeffrey Kuan
Abstract:
We show that the multi-species higher spin stochastic vertex model, also called the U_q(A_n^{(1)}) vertex model, satisfies a duality where the indicator function has the form {η^x_{[1,n]} \geq ξ^x_{[1,n]} }. In other words, for every particle in the ξconfiguration of species i at vertex x, there must be a particle of species j > i at vertex x in the ηconfiguration. The proof follows by applying ch…
▽ More
We show that the multi-species higher spin stochastic vertex model, also called the U_q(A_n^{(1)}) vertex model, satisfies a duality where the indicator function has the form {η^x_{[1,n]} \geq ξ^x_{[1,n]} }. In other words, for every particle in the ξconfiguration of species i at vertex x, there must be a particle of species j > i at vertex x in the ηconfiguration. The proof follows by applying charge reversal to previously discovered duality functions, which also results in open boundary conditions. As a corollary, we recover the duality for the stochastic six vertex model recently found by Y. Lin.
△ Less
Submitted 3 November, 2019;
originally announced November 2019.
-
Stochastic Fusion of Interacting Particle Systems and Duality Functions
Authors:
Jeffrey Kuan
Abstract:
We introduce a new method, which we call stochastic fusion, which takes an exclusion process and constructs an interacting particle systems in which more than one particle may occupy a lattice site. The construction only requires the existence of stationary measures of the original exclusion process on a finite lattice. If the original exclusion process satisfies Markov duality on a finite lattice…
▽ More
We introduce a new method, which we call stochastic fusion, which takes an exclusion process and constructs an interacting particle systems in which more than one particle may occupy a lattice site. The construction only requires the existence of stationary measures of the original exclusion process on a finite lattice. If the original exclusion process satisfies Markov duality on a finite lattice, then the construction produces Markov duality functions (for some initial conditions) for the fused exclusion process. The stochastic fusion construction is based off of the Rogers-Pitman intertwining.
In particular, we have results for three types of models:
1. For symmetric exclusion processes, the fused process and duality functions are inhomogeneous generalizations of those in \cite{GKRV}. The construction also allows a general class of open boundary conditions: as an application of the duality, we find the hydrodynamic limit and stationary measures of the generalized symmetric simple exclusion process SSEP$(m/2)$ on $\mathbb{Z}_+$ for open boundary conditions.
2. For the asymmetric simple exclusion process, the fused process and duality functions are inhomogeneous generalizations of those found in \cite{CGRS} for the ASEP$(q,j)$. As a by-product of the construction, we show that the multi-species ASEP$(q,j)$ preserves $q$-exchangeable measures, and use this to find new duality functions for the ASEP, ASEP$(q,j)$ and $q$-Boson. Additionally, the construction leads to duality for ASEP with open boundary conditions. As an application of the latter duality, we find the hydrodynamic limit.
3. For dynamic models, we fuse the dynamic ASEP from \cite{BorodinDyn}, and produce a dynamic and inhomogeneous version of ASEP$(q,j)$. We also apply stochastic fusion to IRF models and compare them to previously found models.
We include an appendix co-authored with Amol Aggarwal.
△ Less
Submitted 24 November, 2019; v1 submitted 6 August, 2019;
originally announced August 2019.
-
Explicit Central Elements of $U_q(\mathfrak{gl}(N+1))$
Authors:
Jeffrey Kuan,
Keke Zhang
Abstract:
By using Drinfeld's central element construction and fusion of $R$-matrices, we construct central elements of the quantum group $U_q(\mathfrak{gl}(N+1))$. These elements are explicitly written in terms of the generators.
By using Drinfeld's central element construction and fusion of $R$-matrices, we construct central elements of the quantum group $U_q(\mathfrak{gl}(N+1))$. These elements are explicitly written in terms of the generators.
△ Less
Submitted 3 June, 2023; v1 submitted 13 May, 2018;
originally announced May 2018.
-
Probability distributions of multi-species q-TAZRP and ASEP as double cosets of parabolic subgroups
Authors:
Jeffrey Kuan
Abstract:
We write explicit contour integral formulas for probability distributions of the multi-species q-TAZRP and the multi-species ASEP starting with q-exchangeable initial conditions. The formulas are equal to the corresponding explicit contour integral formulas for the single-species q-TAZRP ([Korhonen-Lee 2014, Wang-Waugh 2016]) and ASEP [Tracy-Widom 2007], with a factor in front of the integral.
F…
▽ More
We write explicit contour integral formulas for probability distributions of the multi-species q-TAZRP and the multi-species ASEP starting with q-exchangeable initial conditions. The formulas are equal to the corresponding explicit contour integral formulas for the single-species q-TAZRP ([Korhonen-Lee 2014, Wang-Waugh 2016]) and ASEP [Tracy-Widom 2007], with a factor in front of the integral.
For the multi-species q-TAZRP, we use a decomposition theorem for elements of double cosets of parabolic subgroups in a Coxeter group. The set of distinguished double coset representatives with minimal length is viewed as a particle configuration. For the multi-species ASEP we use a more direct proof.
△ Less
Submitted 8 January, 2018;
originally announced January 2018.
-
An algebraic construction of duality functions for the stochastic U_q(A_n^{(1)}) vertex model and its degenerations
Authors:
Jeffrey Kuan
Abstract:
A recent paper \cite{KMMO} introduced the stochastic U_q(A_n^{(1)}) vertex model. The stochastic S-matrix is related to the R-matrix of the quantum group U_q(A_n^{(1)}) by a gauge transformation. We will show that a certain function D^+_μ intertwines with the transfer matrix and its space reversal. When interpreting the transfer matrix as the transition matrix of a discrete-time totally asymmetric…
▽ More
A recent paper \cite{KMMO} introduced the stochastic U_q(A_n^{(1)}) vertex model. The stochastic S-matrix is related to the R-matrix of the quantum group U_q(A_n^{(1)}) by a gauge transformation. We will show that a certain function D^+_μ intertwines with the transfer matrix and its space reversal. When interpreting the transfer matrix as the transition matrix of a discrete-time totally asymmetric particle system on the one-dimensional lattice Z, the function D^+_μ becomes a Markov duality function D_μ which only depends on q and the vertical spin parameters μ_x. By considering degenerations in the spectral parameter, the duality results also hold on a finite lattice with closed boundary conditions, and for a continuous-time degeneration. This duality function had previously appeared in a multi-species ASEP(q,j) process. The proof here uses that the R-matrix intertwines with the co-product, but does not explicitly use the Yang-Baxter equation.
It will also be shown that the stochastic U_q(A_n^{(1)}) is a multi-species version of a stochastic vertex model studied in \cite{BP,CP}. This will be done by generalizing the fusion process of \cite{CP} and showing that it matches the fusion of \cite{KRL} up to the gauge transformation.
We also show, by direct computation, that the multi-species q-Hahn Boson process (which arises at a special value of the spectral parameter) also satisfies duality with respect to D_0, generalizing the single-species result of \cite{C}.
△ Less
Submitted 31 January, 2017; v1 submitted 16 January, 2017;
originally announced January 2017.
-
Hard-edge asymptotics of the Jacobi growth process
Authors:
Mark Cerenzia,
Jeffrey Kuan
Abstract:
We introduce a two parameter ($α, β>-1$) family of interacting particle systems with determinantal correlation kernels expressible in terms of Jacobi polynomials $\{ P^{(α, β)}_k \}_{k \geq 0}$. The family includes previously discovered Plancherel measures for the infinite-dimensional orthogonal and symplectic groups. The construction uses certain BC-type orthogonal polynomials which generalize th…
▽ More
We introduce a two parameter ($α, β>-1$) family of interacting particle systems with determinantal correlation kernels expressible in terms of Jacobi polynomials $\{ P^{(α, β)}_k \}_{k \geq 0}$. The family includes previously discovered Plancherel measures for the infinite-dimensional orthogonal and symplectic groups. The construction uses certain BC-type orthogonal polynomials which generalize the characters of these groups.
The local asymptotics near the hard edge where one expects distinguishing behavior yields the multi-time $(α, β)$-dependent discrete Jacobi kernel and the multi-time $β$-dependent hard-edge Pearcey kernel. For nonnegative integer values of $β$, the hard-edge Pearcey kernel had previously appeared in the asymptotics of non-intersecting squared Bessel paths at the hard edge.
△ Less
Submitted 23 August, 2016;
originally announced August 2016.
-
A Multi-species ASEP(q,j) and q-TAZRP with Stochastic Duality
Authors:
Jeffrey Kuan
Abstract:
This paper introduces a multi-species version of a process called ASEP(q,j). In this process, up to 2j particles are allowed to occupy a lattice site, the particles drift to the right with asymmetry 0<q^{2j}<1, and there are n-1 species of particles in which heavier particles can force lighter particles to switch places. Assuming closed boundary conditions, we explicitly write the reversible measu…
▽ More
This paper introduces a multi-species version of a process called ASEP(q,j). In this process, up to 2j particles are allowed to occupy a lattice site, the particles drift to the right with asymmetry 0<q^{2j}<1, and there are n-1 species of particles in which heavier particles can force lighter particles to switch places. Assuming closed boundary conditions, we explicitly write the reversible measures and a self-duality function, generalizing previously known results for two-species ASEP and single-species ASEP(q,j).
Additionally, it is shown that this multi-species ASEP(q,j) is dual to its space-reversed version, in which particles drift to the left. As j goes to infinity, this multi-species ASEP(q,j) converges to a multi-species q-TAZRP and the self-duality function has a non-trivial limit, showing that this multi-species q-TAZRP satisfies a space-reversed self-duality.
The construction of the process and the proofs are accomplished utilizing spin j representations of U_q(gl_n), extending the approach used for single-species ASEP(q,j).
△ Less
Submitted 2 May, 2016;
originally announced May 2016.
-
An interacting particle system with geometric jump rates near a partially reflecting boundary
Authors:
Jeffrey Kuan
Abstract:
This paper constructs a new interacting particle system on a two--dimensional lattice with geometric jumps near a boundary which partially reflects the particles. The projection to each horizontal level is Markov, and on every level the dynamics match stochastic matrices constructed from pure alpha characters of $Sp(\infty)$, while on every other level they match an interacting particle system fro…
▽ More
This paper constructs a new interacting particle system on a two--dimensional lattice with geometric jumps near a boundary which partially reflects the particles. The projection to each horizontal level is Markov, and on every level the dynamics match stochastic matrices constructed from pure alpha characters of $Sp(\infty)$, while on every other level they match an interacting particle system from Pieri formulas for $Sp(2r)$. Using a previously discovered correlation kernel, asymptotics are shown to be the Discrete Jacobi and Symmetric Pearcey processes.
△ Less
Submitted 20 January, 2016;
originally announced January 2016.
-
A (2+1)-dimensional Gaussian field as fluctuations of quantum random walks on quantum groups
Authors:
Jeffrey Kuan
Abstract:
This paper introduces a (2+1)-dimensional Gaussian field which has the Gaussian free field on the upper half-plane with zero boundary conditions as certain two-dimensional sections. Along these sections, called space-like paths, it matches the Gaussian field from eigenvalues of random matrices and from a growing random surface. However, along time-like paths the behavior is different. The Gaussian…
▽ More
This paper introduces a (2+1)-dimensional Gaussian field which has the Gaussian free field on the upper half-plane with zero boundary conditions as certain two-dimensional sections. Along these sections, called space-like paths, it matches the Gaussian field from eigenvalues of random matrices and from a growing random surface. However, along time-like paths the behavior is different. The Gaussian field arises as the asymptotic fluctuations in quantum random walks on quantum groups U_q(gl_n). This quantum random walk is a q-deformation of previously considered quantum random walks. When restricted to the space-like paths, the moments of the quantum random walk match the moments of the growing random surface.
△ Less
Submitted 31 May, 2023; v1 submitted 18 January, 2016;
originally announced January 2016.
-
Stochastic duality of ASEP with two particle types via symmetry of quantum groups of rank two
Authors:
Jeffrey Kuan
Abstract:
We study two generalizations of the asymmetric simple exclusion process with two types of particles. Particles of type 1 can jump over particles of type 2, while particles of type 2 can only influence the jump rates of particles of type 1. We prove that the processes are self-dual and explicitly write the duality function. As an application, an expression for the r-th moment of the exponentiated c…
▽ More
We study two generalizations of the asymmetric simple exclusion process with two types of particles. Particles of type 1 can jump over particles of type 2, while particles of type 2 can only influence the jump rates of particles of type 1. We prove that the processes are self-dual and explicitly write the duality function. As an application, an expression for the r-th moment of the exponentiated current is written in terms of r-particle evolution.
The construction and proofs of duality are accomplished using symmetry of the quantum groups $U_q(\mathfrak{gl}_3)$ and $U_q(\mathfrak{sp}_4)$, with each node in the Dynkin diagram corresponding to a particle type, and the number of edges corresponding to the jump rates.
△ Less
Submitted 22 May, 2015; v1 submitted 27 April, 2015;
originally announced April 2015.
-
Three-dimensional Gaussian fluctuations of non-commutative random surfaces along time-like paths
Authors:
Jeffrey Kuan
Abstract:
We construct a continuous-time non-commutative random walk on $U(\mathfrak{gl}_N)$ with dilation maps $U(\mathfrak{gl}_N)\rightarrow L^2(U(N))^{\otimes\infty}$. This is an analog of a continuous-time non-commutative random walk on the group von Neumann algebra $vN(U(N))$ constructed in [15], and is a variant of discrete-time non-commutative random walks on $U(\mathfrak{gl}_N)$ [2,9].
It is also…
▽ More
We construct a continuous-time non-commutative random walk on $U(\mathfrak{gl}_N)$ with dilation maps $U(\mathfrak{gl}_N)\rightarrow L^2(U(N))^{\otimes\infty}$. This is an analog of a continuous-time non-commutative random walk on the group von Neumann algebra $vN(U(N))$ constructed in [15], and is a variant of discrete-time non-commutative random walks on $U(\mathfrak{gl}_N)$ [2,9].
It is also shown that when restricting to the Gelfand-Tsetlin subalgebra of $U(\mathfrak{gl}_N),$ the non-commutative random walk matches a (2+1)-dimensional random surface model introduced in [7]. As an application, it is then proved that the moments converge to an explicit Gaussian field along time-like paths. Combining with [7] which showed convergence to the Gaussian free field along space-like paths, this computes the entire three-dimensional Gaussian field. In particular, it matches a Gaussian field from eigenvalues of random matrices [5].
△ Less
Submitted 30 July, 2014; v1 submitted 22 January, 2014;
originally announced January 2014.
-
Two constructions of Markov chains on the dual of U(n)
Authors:
Jeffrey Kuan
Abstract:
We provide two new constructions of Markov chains which had previously arisen from the representation theory of the infinite-dimensional unitary group. The first construction uses the combinatorial rule for the Littlewood-Richardson coefficients, which arise from tensor products of irreducible representations of the unitary group. The second arises from a quantum random walk on the group von Neuma…
▽ More
We provide two new constructions of Markov chains which had previously arisen from the representation theory of the infinite-dimensional unitary group. The first construction uses the combinatorial rule for the Littlewood-Richardson coefficients, which arise from tensor products of irreducible representations of the unitary group. The second arises from a quantum random walk on the group von Neumann algebra of U(n), which is then restricted to the center. Additionally, the restriction to a maximal torus can be expressed in terms of weight multiplicities, explaining the presence of tensor products.
△ Less
Submitted 9 April, 2017; v1 submitted 12 December, 2012;
originally announced December 2012.
-
Strong Szego asymptotics and zeros of the zeta function
Authors:
Paul Bourgade,
Jeffrey Kuan
Abstract:
Assuming the Riemann hypothesis, we prove the weak convergence of linear statistics of the zeros of L-functions towards a Gaussian field, with covariance structure corresponding to the $\HH^{1/2}$-norm of the test functions. For this purpose, we obtain an approximate form of the explicit formula, relying on Selberg's smoothed expression for $ζ'/ζ$ and the Helffer-Sjöstrand functional calculus. Our…
▽ More
Assuming the Riemann hypothesis, we prove the weak convergence of linear statistics of the zeros of L-functions towards a Gaussian field, with covariance structure corresponding to the $\HH^{1/2}$-norm of the test functions. For this purpose, we obtain an approximate form of the explicit formula, relying on Selberg's smoothed expression for $ζ'/ζ$ and the Helffer-Sjöstrand functional calculus. Our main result is an analogue of the strong Szeg{\H o} theorem, known for Toeplitz operators and random matrix theory.
△ Less
Submitted 13 June, 2015; v1 submitted 23 March, 2012;
originally announced March 2012.
-
Asymptotics of a discrete-time particle system near a reflecting boundary
Authors:
Jeffrey Kuan
Abstract:
We examine a discrete-time Markovian particle system on the quarter-plane introduced by M. Defosseux. The vertical boundary acts as a reflecting wall. The particle system lies in the Anisotropic Kardar-Parisi-Zhang with a wall universality class. After projecting to a single horizontal level, we take the longtime asymptotics and obtain the discrete Jacobi and symmetric Pearcey kernels. This is ach…
▽ More
We examine a discrete-time Markovian particle system on the quarter-plane introduced by M. Defosseux. The vertical boundary acts as a reflecting wall. The particle system lies in the Anisotropic Kardar-Parisi-Zhang with a wall universality class. After projecting to a single horizontal level, we take the longtime asymptotics and obtain the discrete Jacobi and symmetric Pearcey kernels. This is achieved by showing that the particle system is identical to a Markov chain arising from representations of the infinite-dimensional orthogonal group. The fixed-time marginals of this Markov chain are known to be determinantal point processes, allowing us to take the limit of the correlation kernel.
We also give a simple example which shows that in the multi-level case, the particle system and the Markov chain evolve differently.
△ Less
Submitted 11 December, 2012; v1 submitted 7 March, 2012;
originally announced March 2012.
-
The Gaussian free field in interlacing particle systems
Authors:
Jeffrey Kuan
Abstract:
We show that if an interlacing particle system in a two-dimensional lattice is a determinantal point process, and the correlation kernel can be expressed as a double integral with certain technical assumptions, then the moments of the fluctuations of the height function converge to that of the Gaussian free field. In particular, this shows that a previously studied random surface growth model with…
▽ More
We show that if an interlacing particle system in a two-dimensional lattice is a determinantal point process, and the correlation kernel can be expressed as a double integral with certain technical assumptions, then the moments of the fluctuations of the height function converge to that of the Gaussian free field. In particular, this shows that a previously studied random surface growth model with a reflecting wall has Gaussian free field fluctuations.
△ Less
Submitted 23 August, 2014; v1 submitted 20 September, 2011;
originally announced September 2011.
-
Random surface growth with a wall and Plancherel measures for O(infinity)
Authors:
Alexei Borodin,
Jeffrey Kuan
Abstract:
We consider a Markov evolution of lozenge tilings of a quarter-plane and study its asymptotics at large times. One of the boundary rays serves as a reflecting wall.
We observe frozen and liquid regions, prove convergence of the local correlations to translation-invariant Gibbs measures in the liquid region, and obtain new discrete Jacobi and symmetric Pearcey determinantal point processes near t…
▽ More
We consider a Markov evolution of lozenge tilings of a quarter-plane and study its asymptotics at large times. One of the boundary rays serves as a reflecting wall.
We observe frozen and liquid regions, prove convergence of the local correlations to translation-invariant Gibbs measures in the liquid region, and obtain new discrete Jacobi and symmetric Pearcey determinantal point processes near the wall.
The model can be viewed as the one-parameter family of Plancherel measures for the infinite-dimensional orthogonal group, and we use this interpretation to derive the determinantal formula for the correlation functions at any finite time moment.
△ Less
Submitted 6 March, 2011; v1 submitted 16 April, 2009;
originally announced April 2009.
-
Asymptotics of Plancherel measures for the infinite-dimensional unitary group
Authors:
Alexei Borodin,
Jeffrey Kuan
Abstract:
We study a two-dimensional family of probability measures on infinite Gelfand-Tsetlin schemes induced by a distinguished family of extreme characters of the infinite-dimensional unitary group. These measures are unitary group analogs of the well-known Plancherel measures for symmetric groups. We show that any measure from our family defines a determinantal point process, and we prove that in app…
▽ More
We study a two-dimensional family of probability measures on infinite Gelfand-Tsetlin schemes induced by a distinguished family of extreme characters of the infinite-dimensional unitary group. These measures are unitary group analogs of the well-known Plancherel measures for symmetric groups. We show that any measure from our family defines a determinantal point process, and we prove that in appropriate scaling limits, such processes converge to two different extensions of the discrete sine process as well as to the extended Airy and Pearcey processes.
△ Less
Submitted 11 December, 2007;
originally announced December 2007.
