-
Open Problems in Computability Theory and Descriptive Set Theory
Authors:
George Barmpalias,
Nikolay Bazhenov,
Chi Tat Chong,
Wei Dai,
Su Gao,
Jun Le Goh,
Jialiang He,
Keng Meng Selwyn Ng,
Andre Nies,
Theodore Slaman,
Riley Thornton,
Wei Wang,
Jing Yu,
Liang Yu
Abstract:
These open problems were presented in the Problem Sessions held during the Tianyuan Workshop on Computability Theory and Descriptive Set Theory, June 16-20, 2025. The problems are organized into sections named after their contributors, in the order of their presentations during the workshop. Notes were taken and compiled by Wei Dai, Feng Li, Ruiwen Li, Ming Xiao, Xu Wang, Víctor Hugo Yañez Salazar…
▽ More
These open problems were presented in the Problem Sessions held during the Tianyuan Workshop on Computability Theory and Descriptive Set Theory, June 16-20, 2025. The problems are organized into sections named after their contributors, in the order of their presentations during the workshop. Notes were taken and compiled by Wei Dai, Feng Li, Ruiwen Li, Ming Xiao, Xu Wang, Víctor Hugo Yañez Salazar, and Yang Zheng.
△ Less
Submitted 5 July, 2025;
originally announced July 2025.
-
Equilibrium Correction Iteration for A Class of Mean-Field Game Inverse Problem
Authors:
Jiajia Yu,
Jian-Guo Liu,
Hongkai Zhao
Abstract:
This work investigates the ambient potential identification problem in inverse Mean-Field Games (MFGs), where the goal is to recover the unknown potential from the value function at equilibrium. We propose a simple yet effective iterative strategy, Equilibrium Correction Iteration (ECI), that leverages the structure of MFGs rather than relying on generic optimization formulations. ECI uncovers hid…
▽ More
This work investigates the ambient potential identification problem in inverse Mean-Field Games (MFGs), where the goal is to recover the unknown potential from the value function at equilibrium. We propose a simple yet effective iterative strategy, Equilibrium Correction Iteration (ECI), that leverages the structure of MFGs rather than relying on generic optimization formulations. ECI uncovers hidden information from equilibrium measurements, offering a new perspective on inverse MFGs. To improve computational efficiency, two acceleration variants are introduced: Best Response Iteration (BRI), which uses inexact forward solvers, and Hierarchical ECI (HECI), which incorporates multilevel grids. While BRI performs efficiently in general settings, HECI proves particularly effective in recovering low-frequency potentials. We also highlight a connection between the potential identification problem in inverse MFGs and inverse linear parabolic equations, suggesting promising directions for future theoretical analysis. Finally, comprehensive numerical experiments demonstrate how viscosity, terminal time, and interaction costs can influence the well-posedness of the inverse problem.
△ Less
Submitted 28 June, 2025;
originally announced June 2025.
-
Lower bounds for trace estimation via Block Krylov and other methods
Authors:
Shi Jie Yu
Abstract:
This paper studies theoretical lower bounds for estimating the trace of a matrix function, $\text{tr}(f(A))$, focusing on methods that use Hutchinson's method along with Block Krylov techniques. These methods work by approximating matrix-vector products like $f(A)V$ using a Block Krylov subspace. This is closely related to approximating functions with polynomials. We derive theoretical upper bound…
▽ More
This paper studies theoretical lower bounds for estimating the trace of a matrix function, $\text{tr}(f(A))$, focusing on methods that use Hutchinson's method along with Block Krylov techniques. These methods work by approximating matrix-vector products like $f(A)V$ using a Block Krylov subspace. This is closely related to approximating functions with polynomials. We derive theoretical upper bounds on how many Krylov steps are needed for functions such as $A^{-1/2}$ and $A^{-1}$ by analyzing the upper bounds from the polynomial approximation of their scalar equivalent. In addition, we also develop lower limits on the number of queries needed for trace estimation, specifically for $\text{tr}(W^{-p})$ where $W$ is a Wishart matrix. Our study clarifies the connection between the number of steps in Block Krylov methods and the degree of the polynomial used for approximation. This links the total cost of trace estimation to basic limits in polynomial approximation and how much information is needed for the computation.
△ Less
Submitted 27 June, 2025;
originally announced June 2025.
-
Energy local minimizers for the nonlinear Schrödinger equation on product spaces
Authors:
Dario Pierotti,
Gianmaria Verzini,
Junwei Yu
Abstract:
We investigate the existence of local minimizers with prescribed $L^2$-norm for the energy functional associated to the mass-supercritical nonlinear Schrödinger equation on the product space $\mathbb{R}^N \times M^k$, where $(M^k,g)$ is a compact Riemannian manifold, thus complementing the study of the mass-subcritical case performed by Terracini, Tzvetkov and Visciglia in [\emph{Anal. PDE} 2014,…
▽ More
We investigate the existence of local minimizers with prescribed $L^2$-norm for the energy functional associated to the mass-supercritical nonlinear Schrödinger equation on the product space $\mathbb{R}^N \times M^k$, where $(M^k,g)$ is a compact Riemannian manifold, thus complementing the study of the mass-subcritical case performed by Terracini, Tzvetkov and Visciglia in [\emph{Anal. PDE} 2014, arXiv:1205.0342].
First we prove that, for small $L^2$-mass, the problem admits local minimizers. Next, we show that when the $L^2$-norm is sufficiently small, the local minimizers are constants along $M^k$, and they coincide with those of the corresponding problem on $\mathbb{R}^N$. Finally, under certain conditions, we show that the local minimizers obtained above are nontrivial along $M^k$. The latter situation occurs, for instance, for every $M^k$ of dimension $k\ge 2$, with the choice of an appropriate metric $\hat g$, and in $\mathbb{R}\times\mathbb{S}^k$, $k\ge 3$, where $\mathbb{S}^k$ is endowed with the standard round metric.
△ Less
Submitted 27 June, 2025;
originally announced June 2025.
-
Chenciner bifurcation, strong resonances and Arnold tongues of a discrete time SIR epidemic model
Authors:
Jiangqiong Yu,
Jiyu Zhong,
Lingling Liu,
Zhiheng Yu
Abstract:
In this paper, we mainly study the dynamic properties of a class of three-dimensional SIR models. Firstly, we use the {\it complete discriminant theory} of polynomials to obtain the parameter conditions for the topological types of each fixed point. Secondly, by employing the center manifold theorem and bifurcation theory, we prove that the system can undergo codimension 1 bifurcations, including…
▽ More
In this paper, we mainly study the dynamic properties of a class of three-dimensional SIR models. Firstly, we use the {\it complete discriminant theory} of polynomials to obtain the parameter conditions for the topological types of each fixed point. Secondly, by employing the center manifold theorem and bifurcation theory, we prove that the system can undergo codimension 1 bifurcations, including transcritical, flip and Neimark-Sacker bifurcations, and codimension 2 bifurcations which contain Chenciner bifurcation, 1:3 and 1:4 strong resonances. Besides, by the theory of normal form, we give theoretically the Arnold tongues in the weak resonances such that the system possesses two periodic orbits on the stable invariant closed curve generated from the Neimark-Sacker bifurcation. Finally, in order to verify the theoretical results, we detect all codimension 1 and 2 bifurcations by using MatcontM and numerically simulate all bifurcation phenomena and the Arnold tongues in the weak resonances.
△ Less
Submitted 18 June, 2025;
originally announced June 2025.
-
A Triple-Bregman Balanced Primal-Dual Algorithm for Saddle Point Problems
Authors:
Jintao Yu,
Hongjin He
Abstract:
The primal-dual hybrid gradient (PDHG) method is one of the most popular algorithms for solving saddle point problems. However, when applying the PDHG method and its many variants to some real-world models commonly encountered in signal processing, imaging sciences, and statistical learning, there often exists an imbalance between the two subproblems, with the dual subproblem typically being easie…
▽ More
The primal-dual hybrid gradient (PDHG) method is one of the most popular algorithms for solving saddle point problems. However, when applying the PDHG method and its many variants to some real-world models commonly encountered in signal processing, imaging sciences, and statistical learning, there often exists an imbalance between the two subproblems, with the dual subproblem typically being easier to solve than the primal one. In this paper, we propose a flexible triple-Bregman balanced primal-dual algorithm (TBDA) to solve a class of (not necessarily smooth) convex-concave saddle point problems with a bilinear coupling term. Specifically, our TBDA mainly consists of two dual subproblems and one primal subproblem. Moreover, three Bregman proximal terms, each one with an individual Bregman kernel function, are embedded into the respective subproblems. In this way, it effectively enables us to strike a practical balance between the primal and dual subproblems. More interestingly, it provides us a flexible algorithmic framework to understand some existing iterative schemes and to produce customized structure-exploiting algorithms for applications. Theoretically, we first establish the global convergence and ergodic convergence rate of the TBDA under some mild conditions. In particular, our TBDA allows larger step sizes than the PDHG method under appropriate parameter settings. Then, when the requirements on objective functions are further strengthened, we accordingly introduce two improved versions with better convergence rates than the original TBDA. Some numerical experiments on synthetic and real datasets demonstrate that our TBDA performs better than the PDHG method and some other efficient variants in practice.
△ Less
Submitted 8 June, 2025;
originally announced June 2025.
-
A class of (infinite-dimensional) cosemisimple Hopf algebras constructed via abelian extensions
Authors:
Jing Yu,
Gongxiang Liu,
Kun Zhou,
Xiangjun Zhen
Abstract:
In this paper, we aim to study abelian extensions for some infinite group. We show that the Hopf algebra $\Bbbk^G{}^τ\#_σ\Bbbk F$ constructed through abelian extensions of $\Bbbk F$ by $\Bbbk^G$ for some (infinite) group $F$ and finite group $G$ is cosemisimple, and discuss when it admits a compact quantum group structure if $\Bbbk$ is the field of complex numbers $\mathbb{C}.$ We also find all th…
▽ More
In this paper, we aim to study abelian extensions for some infinite group. We show that the Hopf algebra $\Bbbk^G{}^τ\#_σ\Bbbk F$ constructed through abelian extensions of $\Bbbk F$ by $\Bbbk^G$ for some (infinite) group $F$ and finite group $G$ is cosemisimple, and discuss when it admits a compact quantum group structure if $\Bbbk$ is the field of complex numbers $\mathbb{C}.$ We also find all the simple $\Bbbk^G{}^τ\#_σ\Bbbk F$-comodules and attempt to determine the Grothendieck ring of the category of finite-dimensional right $\Bbbk^G{}^τ\#_σ\Bbbk F$-comodules. Moreover, some new properties are given and some new examples are constructed.
△ Less
Submitted 4 June, 2025;
originally announced June 2025.
-
Grower-in-the-Loop Interactive Reinforcement Learning for Greenhouse Climate Control
Authors:
Maxiu Xiao,
Jianglin Lan,
Jingxin Yu,
Congcong Sun
Abstract:
Climate control is crucial for greenhouse production as it directly affects crop growth and resource use. Reinforcement learning (RL) has received increasing attention in this field, but still faces challenges, including limited training efficiency and high reliance on initial learning conditions. Interactive RL, which combines human (grower) input with the RL agent's learning, offers a potential…
▽ More
Climate control is crucial for greenhouse production as it directly affects crop growth and resource use. Reinforcement learning (RL) has received increasing attention in this field, but still faces challenges, including limited training efficiency and high reliance on initial learning conditions. Interactive RL, which combines human (grower) input with the RL agent's learning, offers a potential solution to overcome these challenges. However, interactive RL has not yet been applied to greenhouse climate control and may face challenges related to imperfect inputs. Therefore, this paper aims to explore the possibility and performance of applying interactive RL with imperfect inputs into greenhouse climate control, by: (1) developing three representative interactive RL algorithms tailored for greenhouse climate control (reward shaping, policy shaping and control sharing); (2) analyzing how input characteristics are often contradicting, and how the trade-offs between them make grower's inputs difficult to perfect; (3) proposing a neural network-based approach to enhance the robustness of interactive RL agents under limited input availability; (4) conducting a comprehensive evaluation of the three interactive RL algorithms with imperfect inputs in a simulated greenhouse environment. The demonstration shows that interactive RL incorporating imperfect grower inputs has the potential to improve the performance of the RL agent. RL algorithms that influence action selection, such as policy shaping and control sharing, perform better when dealing with imperfect inputs, achieving 8.4% and 6.8% improvement in profit, respectively. In contrast, reward shaping, an algorithm that manipulates the reward function, is sensitive to imperfect inputs and leads to a 9.4% decrease in profit. This highlights the importance of selecting an appropriate mechanism when incorporating imperfect inputs.
△ Less
Submitted 2 July, 2025; v1 submitted 29 May, 2025;
originally announced May 2025.
-
A hybrid PDE-ABM model for angiogenesis and tumour microenvironment with application to resistance in cancer treatment
Authors:
Louis Shuo Wang,
Jiguang Yu,
Zonghao Liu
Abstract:
The main obstacle to effective cancer treatment is the development of drug resistance, which can be divided into two categories: spontaneous and acquired drug resistance. Non-small cell lung cancer (NSCLC) is the main cause of cancer-related deaths worldwide. A subset of lung cancer, adenocarcinomas, is characterised by mutations in the epidermal growth factor receptor (EGFR) gene. Treatment of EG…
▽ More
The main obstacle to effective cancer treatment is the development of drug resistance, which can be divided into two categories: spontaneous and acquired drug resistance. Non-small cell lung cancer (NSCLC) is the main cause of cancer-related deaths worldwide. A subset of lung cancer, adenocarcinomas, is characterised by mutations in the epidermal growth factor receptor (EGFR) gene. Treatment of EGFR-mutated lung adenocarcinomas has become less effective over time due to drug resistance development, which is associated with a second mutation in the EGFR gene. An important factor in the development of cancer is angiogenesis, which is the formation of blood vessels from the existing vasculature. These newly formed blood vessels provide oxygen and nutrients to tumour cells to maintain tumour growth and proliferation. We applied a hybrid discrete-continuous (HDC) model to capture the dynamic vasculature in the tumour microenvironment (TME). In the case of pre-existing resistance, the formation of angiogenic networks creates a microenvironment that supports tumour survival and enhances drug resistance. In the case of spontaneous mutation-induced resistance, earlier and more frequent mutations confer a greater survival advantage to the tumour population. There is also a mutually reinforcing relationship between a high proliferation rate and high resistance characteristics. These findings explain two conflicting experimental results about the second mutation in NSCLC.
△ Less
Submitted 28 May, 2025;
originally announced May 2025.
-
Global Dynamics Of Quadratic And Cubic Planar Quasi-homogeneous Differential Systems
Authors:
Jaume Llibre,
Yilei Tang,
Jiang Yu,
Pengyu Zhou
Abstract:
In this paper we obtain the global dynamics and phase portraits of quadratic and cubic quasi-homogeneous but non-homogeneous systems. We first prove that all planar quadratic and cubic quasi-homogeneous but non-homogeneous polynomial systems can be reduced to three homogeneous ones. Then for the homogeneous systems, we employ blow-up method, normal sector method, Poincaré compactification and othe…
▽ More
In this paper we obtain the global dynamics and phase portraits of quadratic and cubic quasi-homogeneous but non-homogeneous systems. We first prove that all planar quadratic and cubic quasi-homogeneous but non-homogeneous polynomial systems can be reduced to three homogeneous ones. Then for the homogeneous systems, we employ blow-up method, normal sector method, Poincaré compactification and other techniques to discuss their dynamics. Finally we characterize the global phase portraits of quadratic and cubic quasi-homogeneous but non-homogeneous polynomial systems.
△ Less
Submitted 27 May, 2025;
originally announced May 2025.
-
Extended $\mathcal{O}$-operators, Novikov Yang-Baxter equations and post-Novikov algebras
Authors:
Jianfeng Yu,
Yanyong Hong
Abstract:
In this paper, we introduce the definition of extended $\mathcal{O}$-operators on a Novikov algebra $(A,\circ)$ associated to an $A$-bimodule Novikov algebra which is a generalization of the definition of $\mathcal{O}$-operators and show that there are new Novikov algebra structures on the $A$-bimodule Novikov algebra obtained from extended $\mathcal{O}$-operators. We also introduce the definition…
▽ More
In this paper, we introduce the definition of extended $\mathcal{O}$-operators on a Novikov algebra $(A,\circ)$ associated to an $A$-bimodule Novikov algebra which is a generalization of the definition of $\mathcal{O}$-operators and show that there are new Novikov algebra structures on the $A$-bimodule Novikov algebra obtained from extended $\mathcal{O}$-operators. We also introduce the definition of post-Novikov algebras and show that there is a close relationship between post-Novikov algebras and $\mathcal{O}$-operators of weight $λ$. The tensor form of extended $\mathcal{O}$-operators is also investigated which leads to the definition of extended Novikov Yang-Baxter equations, which is a generalization of the notion of Novikov Yang-Baxter equations. The relationships between extended $\mathcal{O}$-operators, Novikov Yang-Baxter equations, extended Novikov Yang-Baxter equations and generalized Novikov Yang-Baxter equations are established.
△ Less
Submitted 27 May, 2025;
originally announced May 2025.
-
Well-Posedness for the Rosenzweig-MacArthur Model with Internal Stochasticity
Authors:
Louis Shuo Wang,
Jiguang Yu
Abstract:
In this work, we propose a stochastic version of the Rosenzweig-MacArthur model solely driven by internal demographic noise, extending classical Lotka-Volterra-type systems focused on external noise. We give a criterion for the existence and uniqueness of autonomous stochastic differential equations (SDEs) on an open submanifold of $\mathbb{R}^{n}$, and the framework allows for a wider choice of L…
▽ More
In this work, we propose a stochastic version of the Rosenzweig-MacArthur model solely driven by internal demographic noise, extending classical Lotka-Volterra-type systems focused on external noise. We give a criterion for the existence and uniqueness of autonomous stochastic differential equations (SDEs) on an open submanifold of $\mathbb{R}^{n}$, and the framework allows for a wider choice of Lyapunov functions. In the meantime, the invariance of open submanifolds, which is a biologically feasible result and has been implicitly incorporated into many biological and ecological models, facilitates the application of analytic tools typically suited to $\mathbb{R}^{d}$ and indicates the persistence of predator and prey populations, thus providing a criterion for determining whether a population will become extinct. We apply the well-posedness criterion to our stochastic Rosenzweig-MacArthur model and show the existence and uniqueness of solutions. Furthermore, the asymptotic estimates of solutions are obtained, indicating the at most exponential growth of the population with internal stochasticity. Some numerical experiments are performed, which illustrate the discrepancy between the deterministic and stochastic models. Overall, this work demonstrates the broad applicability of our results to ecological models with constrained dynamics, offering a foundation for analyzing extinction, persistence, and well-posedness in systems where internal randomness dominates. This paper not only promotes the development of stochastic modeling and stochastic differential equations in theoretical ecology but also proposes a rigorous mathematical methodology for studying the predator-prey system with internal stochasticity.
△ Less
Submitted 23 May, 2025; v1 submitted 22 May, 2025;
originally announced May 2025.
-
Geometric Bogomolov conjecture for semiabelian varieties
Authors:
Wenbin Luo,
Jiawei Yu
Abstract:
We establish the geometric Bogomolov conjecture for semiabelian varieties over function fields. We show a closed subvariety contains Zariski dense sets of small points, if and only if, after modulo its stabilizer, it is a torsion translate of a constant variety. A new phenomenon is that a special subvariety may not have a Zariski dense set of points of height 0.
We establish the geometric Bogomolov conjecture for semiabelian varieties over function fields. We show a closed subvariety contains Zariski dense sets of small points, if and only if, after modulo its stabilizer, it is a torsion translate of a constant variety. A new phenomenon is that a special subvariety may not have a Zariski dense set of points of height 0.
△ Less
Submitted 19 May, 2025; v1 submitted 11 May, 2025;
originally announced May 2025.
-
Normalized solutions for the nonlinear Schrödinger equation with potential: the purely Sobolev critical case
Authors:
Gianmaria Verzini,
Junwei Yu
Abstract:
We study the existence and multiplicity of positive solutions in $H^1(\mathbb{R}^N)$, $N\ge3$, with prescribed $L^2$-norm, for the (stationary) nonlinear Schrödinger equation with Sobolev critical power nonlinearity. It is well known that, in the free case, the associated energy functional has a mountain pass geometry on the $L^2$-sphere. This boils down, in higher dimensions, to the existence of…
▽ More
We study the existence and multiplicity of positive solutions in $H^1(\mathbb{R}^N)$, $N\ge3$, with prescribed $L^2$-norm, for the (stationary) nonlinear Schrödinger equation with Sobolev critical power nonlinearity. It is well known that, in the free case, the associated energy functional has a mountain pass geometry on the $L^2$-sphere. This boils down, in higher dimensions, to the existence of a mountain pass solution which is (a suitable scaling of) the Aubin-Talenti function. In this paper, we consider the same problem, in presence of a weakly attractive, possibly irregular, potential, wondering (i) whether a local minimum solution appears, thus providing an orbitally stable family of solitons, and (ii) if the existence of a mountain-pass solution persists. We provide positive answers, depending on suitable assumptions on the potential and on the mass value.
Moreover, by the Hopf-Cole transform, we give some applications of our results to the existence of multiple solutions to ergodic Mean Field Games systems with potential and quadratic Hamiltonian.
△ Less
Submitted 8 May, 2025;
originally announced May 2025.
-
Sharp asymptotics for $N$-point correlation functions of coalescing heavy-tailed random walk
Authors:
Jinjiong Yu
Abstract:
We study a system of coalescing continuous-time random walks starting from every site on $\mathbb{Z}$, where the jump increments lie in the domain of attraction of an $α$-stable distribution with $α\in(0,1]$. We establish sharp asymptotics for the $N$-point correlation function of the system. Our analysis relies on two precise tail estimates for the system density, as well as the non-collision pro…
▽ More
We study a system of coalescing continuous-time random walks starting from every site on $\mathbb{Z}$, where the jump increments lie in the domain of attraction of an $α$-stable distribution with $α\in(0,1]$. We establish sharp asymptotics for the $N$-point correlation function of the system. Our analysis relies on two precise tail estimates for the system density, as well as the non-collision probability of $N$ independent random walks with arbitrary fixed initial configurations. In addition, we derive refined estimates for heavy-tailed random walks, which may be of independent interest.
△ Less
Submitted 8 May, 2025;
originally announced May 2025.
-
Liouville type theorems for the fractional Navier-Stokes equations without the integrability condition of velocity in $\mathbb{R}^3$
Authors:
Wendong Wang,
Guoxu Yang,
Jianbo Yu
Abstract:
Motivated by the classification of solutions of harmonic functions, we investigate Liouville type theorems for the fractional Navier-Stokes equations in $\mathbb{R}^3$ under some conditions on the boundedness of fractional derivatives. We prove that the smooth solution must be a trivial solution provided that it uniformly converges to a nonzero constant vector at infinity by applying Lizorkin's mu…
▽ More
Motivated by the classification of solutions of harmonic functions, we investigate Liouville type theorems for the fractional Navier-Stokes equations in $\mathbb{R}^3$ under some conditions on the boundedness of fractional derivatives. We prove that the smooth solution must be a trivial solution provided that it uniformly converges to a nonzero constant vector at infinity by applying Lizorkin's multiplier theorem to establish \(L^p\) estimates for the fractional linear Oseen system and Coifman-McIntosh-Meyer type commutator estimates for the dissipation term. It is noteworthy that the integrability of velocity is not required here.
△ Less
Submitted 7 May, 2025;
originally announced May 2025.
-
A Teacher-Student MPC-PPO Coupled Reinforcement Learning Framework for Winter Temperature Control of Solar Greenhouses in Northern China
Authors:
Jingxin Yu,
Lushun Ma,
Jinpeng Zhao,
Jianchao Ci,
Muhammad Abdul Munnaf,
Eldert van Henten,
Peter Groot Koerkamp,
Shuyi Peng,
Xiaoming Wei,
Congcong Sun
Abstract:
Solar greenhouses are crucial infrastructure of modern agricultural production in northern China. However, highly fluctuating temperature in winter season results in poor greenhouse temperature control, which affects crop growth and increases energy consumption. To tackle these challenges, an advanced control system that can efficiently optimize multiple objectives under dramatic climate condition…
▽ More
Solar greenhouses are crucial infrastructure of modern agricultural production in northern China. However, highly fluctuating temperature in winter season results in poor greenhouse temperature control, which affects crop growth and increases energy consumption. To tackle these challenges, an advanced control system that can efficiently optimize multiple objectives under dramatic climate conditions is essential. Therefore, this study propose a model predictive control-coupled proximal policy optimization (MPC-PPO) control framework. A teacher-student control framework is constructed in which the MPC generating high-quality control experiences to guide the PPO agent's learning process. An adaptive dynamic weighting mechanism is employed to balance the influence of MPC experiences during PPO training. Evaluation conducted in solar greenhouses across three provinces in northern China (Beijing, Hebei, and Shandong) demonstrates that: (1) the MPC-PPO method achieved the highest temperature control performance (96.31 on a 100-point scale), with a 5.46-point improvement compared to the non-experience integration baseline, when reduced standard deviation by nearly half and enhanced exploration efficiency; (2) the MPC-PPO method achieved a ventilation control reward of 99.19, optimizing ventilation window operations with intelligent time-differentiated strategies that reduced energy loss during non-optimal hours; (3) feature analysis reveals that historical window opening, air temperature, and historical temperature are the most influential features for effective control, i.e., SHAP values of 7.449, 4.905, and 4.747 respectively; and (4) cross-regional tests indicated that MPC-PPO performs best in all test regions, confirming generalization of the method.
△ Less
Submitted 1 July, 2025; v1 submitted 29 April, 2025;
originally announced April 2025.
-
Counting degree-constrained orientations
Authors:
Jing Yu,
Jie-Xiang Zhu
Abstract:
We study the enumeration of graph orientations under local degree constraints. Given a finite graph $G = (V, E)$ and a family of admissible sets $\{\mathsf P_v \subseteq \mathbb{Z} : v \in V\}$, let $\mathcal N (G; \prod_{v \in V} \mathsf P_v)$ denote the number of orientations in which the out-degree of each vertex $v$ lies in $P_v$. We prove a general duality formula expressing…
▽ More
We study the enumeration of graph orientations under local degree constraints. Given a finite graph $G = (V, E)$ and a family of admissible sets $\{\mathsf P_v \subseteq \mathbb{Z} : v \in V\}$, let $\mathcal N (G; \prod_{v \in V} \mathsf P_v)$ denote the number of orientations in which the out-degree of each vertex $v$ lies in $P_v$. We prove a general duality formula expressing $\mathcal N(G; \prod_{v \in V} \mathsf P_v)$ as a signed sum over edge subsets, involving products of coefficient sums associated with $\{\mathsf P_v\}_{v \in V}$, from a family of polynomials. Our approach employs gauge transformations, a technique rooted in statistical physics and holographic algorithms. We also present a probabilistic derivation of the same identity, interpreting the orientation-generating polynomial as the expectation of a random polynomial product. As applications, we obtain explicit formulas for the number of even orientations and for mixed Eulerian-even orientations on general graphs. Our formula generalizes a result of Borbényi and Csikvári on Eulerian orientations of graphs.
△ Less
Submitted 13 May, 2025; v1 submitted 17 April, 2025;
originally announced April 2025.
-
Limit theorems for functionals of linear processes in critical regions
Authors:
Yudan Xiong,
Fangjun Xu,
Jinjiong Yu
Abstract:
Let $X=\{X_n: n\in\mathbb{N}\}$ be the linear process defined by $X_n=\sum^{\infty}_{j=1} a_j\varepsilon_{n-j}$, where the coefficients $a_j=j^{-β}\ell(j)$ are constants with $β>0$ and $\ell$ a slowly varying function, and the innovations $\{\varepsilon_n\}_{n\in\mathbb{Z}}$ are i.i.d. random variables belonging to the domain of attraction of an $α$-stable law with $α\in(0,2]$. Limit theorems for…
▽ More
Let $X=\{X_n: n\in\mathbb{N}\}$ be the linear process defined by $X_n=\sum^{\infty}_{j=1} a_j\varepsilon_{n-j}$, where the coefficients $a_j=j^{-β}\ell(j)$ are constants with $β>0$ and $\ell$ a slowly varying function, and the innovations $\{\varepsilon_n\}_{n\in\mathbb{Z}}$ are i.i.d. random variables belonging to the domain of attraction of an $α$-stable law with $α\in(0,2]$. Limit theorems for the partial sum $ S_{[Nt]}=\sum^{[Nt]}_{n=1}[K(X_n)-\mathbb{E}K(X_n)]$ with proper measurable functions $K$ have been extensively studied, except for two critical regions: I. $α\in(1,2),β=1$ and II. $αβ=2,β\geq1$. In this paper, we address these open scenarios and identify the asymptotic distributions of $S_{[Nt]}$ under mild conditions.
△ Less
Submitted 28 February, 2025;
originally announced February 2025.
-
Which price to pay? Auto-tuning building MPC controller for optimal economic cost
Authors:
Jiarui Yu,
Jicheng Shi,
Wenjie Xu,
Colin N. Jones
Abstract:
Model predictive control (MPC) controller is considered for temperature management in buildings but its performance heavily depends on hyperparameters. Consequently, MPC necessitates meticulous hyperparameter tuning to attain optimal performance under diverse contracts. However, conventional building controller design is an open-loop process without critical hyperparameter optimization, often lead…
▽ More
Model predictive control (MPC) controller is considered for temperature management in buildings but its performance heavily depends on hyperparameters. Consequently, MPC necessitates meticulous hyperparameter tuning to attain optimal performance under diverse contracts. However, conventional building controller design is an open-loop process without critical hyperparameter optimization, often leading to suboptimal performance due to unexpected environmental disturbances and modeling errors. Furthermore, these hyperparameters are not adapted to different pricing schemes and may lead to non-economic operations. To address these issues, we propose an efficient performance-oriented building MPC controller tuning method based on a cutting-edge efficient constrained Bayesian optimization algorithm, CONFIG, with global optimality guarantees. We demonstrate that this technique can be applied to efficiently deal with real-world DSM program selection problems under customized black-box constraints and objectives. In this study, a simple MPC controller, which offers the advantages of reduced commissioning costs, enhanced computational efficiency, was optimized to perform on a comparable level to a delicately designed and computationally expensive MPC controller. The results also indicate that with an optimized simple MPC, the monthly electricity cost of a household can be reduced by up to 26.90% compared with the cost when controlled by a basic rule-based controller under the same constraints. Then we compared 12 real electricity contracts in Belgium for a household family with customized black-box occupant comfort constraints. The results indicate a monthly electricity bill saving up to 20.18% when the most economic contract is compared with the worst one, which again illustrates the significance of choosing a proper electricity contract.
△ Less
Submitted 18 January, 2025;
originally announced January 2025.
-
Geometric Zabrodin-Wiegmann conjecture for integer Quantum Hall states
Authors:
Shu Shen,
Jianqing Yu
Abstract:
The purpose of this article is to show a geometric version of Zabrodin-Wiegmann conjecture for an integer Quantum Hall state. Given an effective reduced divisor on a compact connected Riemann surface, using the canonical holomorphic section of the associated canonical line bundle as well as certain initial data and local normalisation data, we construct a canonical non-zero element in the determin…
▽ More
The purpose of this article is to show a geometric version of Zabrodin-Wiegmann conjecture for an integer Quantum Hall state. Given an effective reduced divisor on a compact connected Riemann surface, using the canonical holomorphic section of the associated canonical line bundle as well as certain initial data and local normalisation data, we construct a canonical non-zero element in the determinant line of the cohomology of the $p$-tensor power of the line bundle.
When endowed with proper metric data, the square of the $ L^{2} $-norm of our canonical element is the partition function associated to an integer Quantum Hall state. We establish an asymptotic expansion for the logarithm of the partition function when $ p\to +\infty$. The constant term of this expansion includes the holomorphic analytic torsion and matches a geometric version of Zabrodin-Wiegmann's prediction.
Our proof relies on Bismut-Lebeau's embedding formula for the Quillen metrics, Bismut-Vasserot and Finski's asymptotic expansion for the analytic torsion associated to the higher tensor product of a positive Hermitian holomorphic line bundle.
△ Less
Submitted 17 January, 2025;
originally announced January 2025.
-
When is Cat(Q) cartesian closed?
Authors:
Isar Stubbe,
Junche Yu
Abstract:
An example in the paper "Exponentiable functors between quantaloid-enriched categories" is mistaken: it is not true that the category of categories and functors enriched in any free quantaloid is cartesian closed. To correct this, we give here an elementary characterization of those quantaloids Q for which Cat(Q) is cartesian closed. With this characterization, we unify several known cases (previo…
▽ More
An example in the paper "Exponentiable functors between quantaloid-enriched categories" is mistaken: it is not true that the category of categories and functors enriched in any free quantaloid is cartesian closed. To correct this, we give here an elementary characterization of those quantaloids Q for which Cat(Q) is cartesian closed. With this characterization, we unify several known cases (previously proven using ad hoc methods) and we give some new examples.
△ Less
Submitted 7 January, 2025;
originally announced January 2025.
-
Orthogonal polynomials: from Heun equations to Painlevé equations
Authors:
Mengkun Zhu,
Yuting Chen,
Jianduo Yu,
Chuanzhong Li
Abstract:
In this paper, we {\color{black}study four kinds of polynomials orthogonal with the singularly perturbed Gaussian weight $w_{\rm SPG}(x)$, the deformed Freud weight $w_{\rm DF}(x)$, the jumpy Gaussian weight $w_{\rm JG}(x)$, and the Jacobi-type weight $w_{\rm {\color{black}JC}}(x)$. The second order linear differential equations satisfied by these orthogonal polynomials and the associated Heun equ…
▽ More
In this paper, we {\color{black}study four kinds of polynomials orthogonal with the singularly perturbed Gaussian weight $w_{\rm SPG}(x)$, the deformed Freud weight $w_{\rm DF}(x)$, the jumpy Gaussian weight $w_{\rm JG}(x)$, and the Jacobi-type weight $w_{\rm {\color{black}JC}}(x)$. The second order linear differential equations satisfied by these orthogonal polynomials and the associated Heun equations are presented. Utilizing the method of isomonodromic deformations from [J. Dereziński, A. Ishkhanyan, A. Latosiński, SIGMA 17 (2021), 056], we transform these Heun equations into Painlevé equations. It is interesting that the Painlevé equations obtained by the way in this work are same as the results satisfied by the related three term recurrence coefficients or the auxiliaries studied by other authors. In addition, we discuss the asymptotic behaviors of the Hankel determinant generated by the first weight, $w_{\rm SPG}(x)$, under a suitable double scalings for large $s$ and small $s$, where the Dyson's constant is recovered.}
△ Less
Submitted 19 December, 2024;
originally announced December 2024.
-
Borel Local Lemma: arbitrary random variables and limited exponential growth
Authors:
Anton Bernshteyn,
Jing Yu
Abstract:
The Lovász Local Lemma (the LLL for short) is a powerful tool in probabilistic combinatorics that is used to verify the existence of combinatorial objects with desirable properties. Recent years saw the development of various "constructive" versions of the LLL. A major success of this research direction is the Borel version of the LLL due to Csóka, Grabowski, Máthé, Pikhurko, and Tyros, which hold…
▽ More
The Lovász Local Lemma (the LLL for short) is a powerful tool in probabilistic combinatorics that is used to verify the existence of combinatorial objects with desirable properties. Recent years saw the development of various "constructive" versions of the LLL. A major success of this research direction is the Borel version of the LLL due to Csóka, Grabowski, Máthé, Pikhurko, and Tyros, which holds under a subexponential growth assumption. A drawback of their approach is that it only applies when the underlying random variables take values in a finite set. We present an alternative proof of a Borel version of the LLL that holds even if the underlying random variables are continuous and applies to dependency graphs of limited exponential growth.
△ Less
Submitted 16 December, 2024;
originally announced December 2024.
-
Derived discrete Hopf algebras with the Chevalley property
Authors:
Jing Yu,
Gongxiang Liu
Abstract:
We try to classify Hopf algebras with the Chevalley property according to their derived representation type. We show that a finite-dimensional indecomposable non-semisimple Hopf algebra $H$ with the Chevalley property is derived discrete if and only if it is isomorphic to $(A(n, 2, μ, -1))^*$. Besides, we give a description for the indecomposable objects in $\mathcal{D}^b((A(n, 2, μ, -1))^*)$ and…
▽ More
We try to classify Hopf algebras with the Chevalley property according to their derived representation type. We show that a finite-dimensional indecomposable non-semisimple Hopf algebra $H$ with the Chevalley property is derived discrete if and only if it is isomorphic to $(A(n, 2, μ, -1))^*$. Besides, we give a description for the indecomposable objects in $\mathcal{D}^b((A(n, 2, μ, -1))^*)$ and determine their tensor products.
△ Less
Submitted 10 December, 2024;
originally announced December 2024.
-
Revisiting Asymptotic-Type Dimension Bounds through Combinatorial Approaches
Authors:
Jing Yu,
Xingyu Zhu
Abstract:
We present an alternative probabilistic proof for the sharp Assouad--Nagata dimension bound of a doubling metric space. In addition, we explore some partial rigidity results and applications to scalar curvature. A significant technical tool in our argument is the concept of padded decomposition, which originates in computer science and has been extended to general separable metric spaces by us. Al…
▽ More
We present an alternative probabilistic proof for the sharp Assouad--Nagata dimension bound of a doubling metric space. In addition, we explore some partial rigidity results and applications to scalar curvature. A significant technical tool in our argument is the concept of padded decomposition, which originates in computer science and has been extended to general separable metric spaces by us. Along the way, we extend the sharp upper bound on the asymptotic dimension of graphs with polynomial growth to noncollapsed locally compact metric measure spaces with polynomial volume growth. This sheds light on broader applications of probabilistic methods in metric geometry.
△ Less
Submitted 26 June, 2025; v1 submitted 25 November, 2024;
originally announced November 2024.
-
Convergence Analysis and Acceleration of Fictitious Play for General Mean-Field Games via the Best Response
Authors:
Jiajia Yu,
Xiuyuan Cheng,
Jian-Guo Liu,
Hongkai Zhao
Abstract:
A mean-field game (MFG) seeks the Nash Equilibrium of a game involving a continuum of players, where the Nash Equilibrium corresponds to a fixed point of the best-response mapping. However, simple fixed-point iterations do not always guarantee convergence. Fictitious play is an iterative algorithm that leverages a best-response mapping combined with a weighted average. Through a thorough study of…
▽ More
A mean-field game (MFG) seeks the Nash Equilibrium of a game involving a continuum of players, where the Nash Equilibrium corresponds to a fixed point of the best-response mapping. However, simple fixed-point iterations do not always guarantee convergence. Fictitious play is an iterative algorithm that leverages a best-response mapping combined with a weighted average. Through a thorough study of the best-response mapping, this paper develops a simple and unified convergence analysis, providing the first explicit convergence rate for the fictitious play algorithm in MFGs of general types, especially non-potential MFGs. We demonstrate that the convergence and rate can be controlled through the weighting parameter in the algorithm, with linear convergence achievable under a general assumption. Building on this analysis, we propose two strategies to accelerate fictitious play. The first uses a backtracking line search to optimize the weighting parameter, while the second employs a hierarchical grid strategy to enhance stability and computational efficiency. We demonstrate the effectiveness of these acceleration techniques and validate our convergence rate analysis with various numerical examples.
△ Less
Submitted 12 November, 2024;
originally announced November 2024.
-
Pattern formation and global analysis of a systematically reduced plant model in dryland environment
Authors:
Yonghui Xia,
Jianglong Xiao,
Jianshe Yu
Abstract:
This paper delves into a systematically reduced plant system proposed by Jaïbi et al. [Phys. D, 2020] in arid area. They used the method of geometric singular perturbation to study the existence of abundant orbits. Instead, we deliberate the stability and distributed patterns of this system. For a non-diffusive scenario for the model, we scrutinize the local and global stability of equilibria and…
▽ More
This paper delves into a systematically reduced plant system proposed by Jaïbi et al. [Phys. D, 2020] in arid area. They used the method of geometric singular perturbation to study the existence of abundant orbits. Instead, we deliberate the stability and distributed patterns of this system. For a non-diffusive scenario for the model, we scrutinize the local and global stability of equilibria and derive conditions for the existence or non-existence of the limit cycle. The bifurcation behaviors are also explored. For the spatial model, we investigate Hopf, Turing, Hopf-Turing, Turing-Turing bifurcations. Specially, the evolution process from periodic solutions to spatially nonconstant steady states is observed near the Hopf-Turing bifurcation point. And mixed nonconstant steady states near the Turing-Turing bifurcation point are observed. Furthermore, it's found that there exist gap, spot, stripe and mixed patterns. The seed-dispersal rate enables the transformation of pattern structures. Reasonable control of system parameters may prevent desertification from occurring.
△ Less
Submitted 30 October, 2024;
originally announced November 2024.
-
Zeroth-order Stochastic Cubic Newton Method Revisited
Authors:
Yu Liu,
Weibin Peng,
Tianyu Wang,
Jiajia Yu
Abstract:
This paper studies stochastic minimization of a finite-sum loss $ F (\mathbf{x}) = \frac{1}{N} \sum_{ξ=1}^N f(\mathbf{x};ξ) $. In many real-world scenarios, the Hessian matrix of such objectives exhibits a low-rank structure on a batch of data. At the same time, zeroth-order optimization has gained prominence in important applications such as fine-tuning large language models. Drawing on these obs…
▽ More
This paper studies stochastic minimization of a finite-sum loss $ F (\mathbf{x}) = \frac{1}{N} \sum_{ξ=1}^N f(\mathbf{x};ξ) $. In many real-world scenarios, the Hessian matrix of such objectives exhibits a low-rank structure on a batch of data. At the same time, zeroth-order optimization has gained prominence in important applications such as fine-tuning large language models. Drawing on these observations, we propose a novel stochastic zeroth-order cubic Newton method that leverages the low-rank Hessian structure via a matrix recovery-based estimation technique. Our method circumvents restrictive incoherence assumptions, enabling accurate Hessian approximation through finite-difference queries. Theoretically, we establish that for most real-world problems in $\mathbb{R}^n$, $\mathcal{O}\left(\frac{n}{η^{\frac{7}{2}}}\right)+\widetilde{\mathcal{O}}\left(\frac{n^2 }{η^{\frac{5}{2}}}\right)$ function evaluations suffice to attain a second-order $η$-stationary point with high probability. This represents a significant improvement in dimensional dependence over existing methods. This improvement is mostly due to a new Hessian estimator that achieves superior sample complexity; This new Hessian estimation method might be of separate interest. Numerical experiments on matrix recovery and machine learning tasks validate the efficacy and scalability of our approach.
△ Less
Submitted 13 May, 2025; v1 submitted 16 October, 2024;
originally announced October 2024.
-
On shape optimization for fourth order Steklov eigenvalue problems
Authors:
Changwei Xiong,
Jinglong Yang,
Jinchao Yu
Abstract:
We study three types of fourth-order Steklov eigenvalue problems. For the first two of them, we derive the asymptotic expansion of their spectra on Euclidean annular domains $\mathbb{B}^n_1\setminus \overline{\mathbb{B}^n_ε}$ as $ε\to 0$, leading to conclusions on shape optimization. For these two problems, we also compute their spectra on cylinders over closed Riemannian manifolds. Last, for the…
▽ More
We study three types of fourth-order Steklov eigenvalue problems. For the first two of them, we derive the asymptotic expansion of their spectra on Euclidean annular domains $\mathbb{B}^n_1\setminus \overline{\mathbb{B}^n_ε}$ as $ε\to 0$, leading to conclusions on shape optimization. For these two problems, we also compute their spectra on cylinders over closed Riemannian manifolds. Last, for the third problem, we obtain a sharp upper bound for its first non-zero eigenvalue on star-shaped and mean convex Euclidean domains.
△ Less
Submitted 20 December, 2024; v1 submitted 28 October, 2024;
originally announced October 2024.
-
Tropicalizing Principal Minors of Positive Definite Matrices
Authors:
Abeer Al Ahmadieh,
Felipe Rincón,
Cynthia Vinzant,
Josephine Yu
Abstract:
We study the tropicalization of the image of the cone of positive definite matrices under the principal minors map. It is a polyhedral subset of the set of $M$-concave functions on the discrete $n$-dimensional cube. We show it coincides with the intersection of the affine tropical flag variety with the submodular cone. In particular, any cell in the regular subdivision of the cube induced by a poi…
▽ More
We study the tropicalization of the image of the cone of positive definite matrices under the principal minors map. It is a polyhedral subset of the set of $M$-concave functions on the discrete $n$-dimensional cube. We show it coincides with the intersection of the affine tropical flag variety with the submodular cone. In particular, any cell in the regular subdivision of the cube induced by a point in this tropicalization can be subdivided into base polytopes of realizable matroids. We also use this tropicalization as a guide to discover new algebraic inequalities among the principal minors of positive definite matrices of a fixed size.
△ Less
Submitted 14 October, 2024;
originally announced October 2024.
-
Notes on Hodge-Tate Stacks
Authors:
Jiahong Yu
Abstract:
Let $k$ be a perfect field of characteristic $p$, $X/k$ be a smooth variety and $T_{X/k}$ be its tangent bundle. Bhatt and Lurie defined a $\mathbf{fpqc}$-group $T_{X/k}^{\sharp}$ as well as a gerbe $X^{\mathrm{HT}}$, which is called the Hodge--Tate gerbe of $X$. It is conjectured by Bhatt and Lurie that the image of the obstruction of $X^{\mathrm{HT}}$ in…
▽ More
Let $k$ be a perfect field of characteristic $p$, $X/k$ be a smooth variety and $T_{X/k}$ be its tangent bundle. Bhatt and Lurie defined a $\mathbf{fpqc}$-group $T_{X/k}^{\sharp}$ as well as a gerbe $X^{\mathrm{HT}}$, which is called the Hodge--Tate gerbe of $X$. It is conjectured by Bhatt and Lurie that the image of the obstruction of $X^{\mathrm{HT}}$ in $\mathrm{H}^{2}(X_{\mathbf{fpqc}},T_{X/k}\otimes α_p)$ coincides with the obstruction of Frobenius lifting. We will prove this conjecture in this paper.
△ Less
Submitted 9 October, 2024;
originally announced October 2024.
-
Hopf algebras with the dual Chevalley property of discrete corepresentation type
Authors:
Jing Yu,
Gongxiang Liu
Abstract:
We try to classify Hopf algebras with the dual Chevalley property of discrete corepresentation type over an algebraically closed field $\Bbb{k}$ with characteristic 0. For such Hopf algebra $H$, we characterize the link quiver of $H$ and determine the structures of the link-indecomposable component $H_{(1)}$ containing $\Bbb{k}1$. Besides, we construct an infinite-dimensional non-pointed non-cosem…
▽ More
We try to classify Hopf algebras with the dual Chevalley property of discrete corepresentation type over an algebraically closed field $\Bbb{k}$ with characteristic 0. For such Hopf algebra $H$, we characterize the link quiver of $H$ and determine the structures of the link-indecomposable component $H_{(1)}$ containing $\Bbb{k}1$. Besides, we construct an infinite-dimensional non-pointed non-cosemisimple link-indecomposable Hopf algebra $H(e_{\pm 1}, f_{\pm 1}, u, v)$ with the dual Chevalley property of discrete corepresentation type.
△ Less
Submitted 30 September, 2024;
originally announced September 2024.
-
On forward self-similar heat flow of harmonic maps
Authors:
Zhiyuan Geng,
Changyou Wang,
Junao Yu
Abstract:
For any $k$-dimensional smooth, compact Riemannian manifold $(N, h)\subset\mathbb R^L$ without boundary, there exists an $\varepsilon_0>0$ such that for any homogeneous of degree zero map $u_0(x)=φ_0(\frac{x}{|x|}):\mathbb R^n\to N$ ($n\ge 2$), if $\|\nablaφ_0\|_{L^n(\mathbb S^{n-1})}\le\varepsilon_0$ then there is a unique solution $u:\mathbb R^n\times (0,\infty)\to N$ to the heat flow of harmoni…
▽ More
For any $k$-dimensional smooth, compact Riemannian manifold $(N, h)\subset\mathbb R^L$ without boundary, there exists an $\varepsilon_0>0$ such that for any homogeneous of degree zero map $u_0(x)=φ_0(\frac{x}{|x|}):\mathbb R^n\to N$ ($n\ge 2$), if $\|\nablaφ_0\|_{L^n(\mathbb S^{n-1})}\le\varepsilon_0$ then there is a unique solution $u:\mathbb R^n\times (0,\infty)\to N$ to the heat flow of harmonic map \eqref{HF1} and \eqref{IC}, which is forward self-similar and belongs to $C^\infty(\R^n\times (0,\infty))\cap C^{\frac1{n}}(\R^n\times [0,\infty)\setminus \{(0,0)\})$.
△ Less
Submitted 29 September, 2024;
originally announced September 2024.
-
Real and Positive Tropicalizations of Symmetric Determinantal Varieties
Authors:
Abeer Al Ahmadieh,
May Cai,
Josephine Yu
Abstract:
We study real and positive tropicalizations of the varieties of low rank symmetric matrices over real or complex Puiseux series. We show that real tropicalization coincides with complex tropicalization for rank two and corank one cases. We also show that the two notions of positive tropicalization introduced by Speyer and Williams coincide for symmetric rank two matrices, but they differ for symme…
▽ More
We study real and positive tropicalizations of the varieties of low rank symmetric matrices over real or complex Puiseux series. We show that real tropicalization coincides with complex tropicalization for rank two and corank one cases. We also show that the two notions of positive tropicalization introduced by Speyer and Williams coincide for symmetric rank two matrices, but they differ for symmetric corank one matrices.
△ Less
Submitted 25 September, 2024;
originally announced September 2024.
-
Sparse Factor Analysis for Categorical Data with the Group-Sparse Generalized Singular Value Decomposition
Authors:
Ju-Chi Yu,
Julie Le Borgne,
Anjali Krishnan,
Arnaud Gloaguen,
Cheng-Ta Yang,
Laura A Rabin,
Hervé Abdi,
Vincent Guillemot
Abstract:
Correspondence analysis, multiple correspondence analysis and their discriminant counterparts (i.e., discriminant simple correspondence analysis and discriminant multiple correspondence analysis) are methods of choice for analyzing multivariate categorical data. In these methods, variables are integrated into optimal components computed as linear combinations whose weights are obtained from a gene…
▽ More
Correspondence analysis, multiple correspondence analysis and their discriminant counterparts (i.e., discriminant simple correspondence analysis and discriminant multiple correspondence analysis) are methods of choice for analyzing multivariate categorical data. In these methods, variables are integrated into optimal components computed as linear combinations whose weights are obtained from a generalized singular value decomposition (GSVD) that integrates specific metric constraints on the rows and columns of the original data matrix. The weights of the linear combinations are, in turn, used to interpret the components, and this interpretation is facilitated when components are 1) pairwise orthogonal and 2) when the values of the weights are either large or small but not intermediate-a pattern called a simple or a sparse structure. To obtain such simple configurations, the optimization problem solved by the GSVD is extended to include new constraints that implement component orthogonality and sparse weights. Because multiple correspondence analysis represents qualitative variables by a set of binary variables, an additional group constraint is added to the optimization problem in order to sparsify the whole set representing one qualitative variable. This new algorithm-called group-sparse GSVD (gsGSVD)-integrates these constraints via an iterative projection scheme onto the intersection of subspaces where each subspace implements a specific constraint. In this paper, we expose this new algorithm and show how it can be adapted to the sparsification of simple and multiple correspondence analysis, and illustrate its applications with the analysis of four different data sets-each illustrating the sparsification of a particular CA-based analysis.
△ Less
Submitted 18 September, 2024;
originally announced September 2024.
-
On the probabilistic metrizability of approach spaces
Authors:
Hongliang Lai,
Lili Shen,
Junche Yu
Abstract:
We investigate approach spaces generated by probabilistic metric spaces with respect to a continuous t-norm $*$ on the unit interval $[0,1]$. Let $k^*$ be the supremum of the idempotent elements of $*$ in $[0,1)$. It is shown that if $k^*=1$ (resp. $k^*<1$), then an approach space is probabilistic metrizable with respect to $*$ if and only if it is probabilistic metrizable with respect to the mini…
▽ More
We investigate approach spaces generated by probabilistic metric spaces with respect to a continuous t-norm $*$ on the unit interval $[0,1]$. Let $k^*$ be the supremum of the idempotent elements of $*$ in $[0,1)$. It is shown that if $k^*=1$ (resp. $k^*<1$), then an approach space is probabilistic metrizable with respect to $*$ if and only if it is probabilistic metrizable with respect to the minimum (resp. product) t-norm.
△ Less
Submitted 14 August, 2024;
originally announced August 2024.
-
New Ensemble Domain Decomposition Method for the Steady-state Random Stokes-Darcy Coupled Problems with Uncertain Parameters
Authors:
Chunchi Liu,
Yao Rong,
Yizhong Sun,
Jiaping Yu,
Haibiao Zheng
Abstract:
This paper presents two novel ensemble domain decomposition methods for fast-solving the Stokes-Darcy coupled models with random hydraulic conductivity and body force. To address such random systems, we employ the Monte Carlo (MC) method to generate a set of independent and identically distributed deterministic model samples. To facilitate the fast calculation of these samples, we adroitly integra…
▽ More
This paper presents two novel ensemble domain decomposition methods for fast-solving the Stokes-Darcy coupled models with random hydraulic conductivity and body force. To address such random systems, we employ the Monte Carlo (MC) method to generate a set of independent and identically distributed deterministic model samples. To facilitate the fast calculation of these samples, we adroitly integrate the ensemble idea with the domain decomposition method (DDM). This approach not only allows multiple linear problems to share a standard coefficient matrix but also enables easy-to-use and convenient parallel computing. By selecting appropriate Robin parameters, we rigorously prove that the proposed algorithm has mesh-dependent and mesh-independent convergence rates. For cases that require mesh-independent convergence, we additionally provide optimized Robin parameters to achieve optimal convergence rates. We further adopt the multi-level Monte Carlo (MLMC) method to significantly lower the computational cost in the probability space, as the number of samples drops quickly when the mesh becomes finer. Building on our findings, we propose two novel algorithms: MC ensemble DDM and MLMC ensemble DDM, specifically for random models. Furthermore, we strictly give the optimal convergence order for both algorithms. Finally, we present several sets of numerical experiments to showcase the efficiency of our algorithm.
△ Less
Submitted 12 August, 2024;
originally announced August 2024.
-
Coradically graded Hopf algebras with the dual Chevalley property of tame corepresentation type
Authors:
Jing Yu,
Gongxiang Liu
Abstract:
Let $\Bbbk$ be an algebraically closed field of characteristic 0 and $H$ a finite-dimensional Hopf algebra over $\Bbbk$ with the dual Chevalley property. In this paper, we show that $\operatorname{gr}^c(H)$ is of tame corepresentation type if and only if $\operatorname{gr}^c(H)\cong (\Bbbk\langle x,y\rangle/I)^* \times H^\prime$ for some finite-dimensional semisimple Hopf algebra $H^\prime$ and so…
▽ More
Let $\Bbbk$ be an algebraically closed field of characteristic 0 and $H$ a finite-dimensional Hopf algebra over $\Bbbk$ with the dual Chevalley property. In this paper, we show that $\operatorname{gr}^c(H)$ is of tame corepresentation type if and only if $\operatorname{gr}^c(H)\cong (\Bbbk\langle x,y\rangle/I)^* \times H^\prime$ for some finite-dimensional semisimple Hopf algebra $H^\prime$ and some special ideals $I$. Then, by the method of link quiver and bosonization, we discuss which of the above ideals will occur when $(\Bbbk\langle x,y\rangle/I)^* \times H_0$ is a Hopf algebra of tame corepresentation type under some assumptions.
△ Less
Submitted 31 July, 2024;
originally announced July 2024.
-
Embedding Borel graphs into grids of asymptotically optimal dimension
Authors:
Anton Bernshteyn,
Jing Yu
Abstract:
Let $G$ be a Borel graph all of whose finite subgraphs embed into the $d$-dimensional grid with diagonals. We show that then $G$ itself admits a Borel embedding into the Schreier graph of a free Borel action of $\mathbb Z^{O(d)}$. This strengthens an earlier result of the authors, in which $O(d)$ is replaced by $O(ρ\log ρ)$, where $ρ$ is the polynomial growth rate of $G$.
Let $G$ be a Borel graph all of whose finite subgraphs embed into the $d$-dimensional grid with diagonals. We show that then $G$ itself admits a Borel embedding into the Schreier graph of a free Borel action of $\mathbb Z^{O(d)}$. This strengthens an earlier result of the authors, in which $O(d)$ is replaced by $O(ρ\log ρ)$, where $ρ$ is the polynomial growth rate of $G$.
△ Less
Submitted 29 July, 2024;
originally announced July 2024.
-
Prismatic Crystals for schemes in characteristic $p$
Authors:
Jiahong Yu
Abstract:
In this paper, we consider the (crystalline) prismatic crystals on a scheme $\mathfrak{X}$. We classify the crystals by $p$-connections on a certain ring and prove a cohomological comparison theorem. This equivalence is more general than the Ogus' equivalence. Moreover, we will prove the equivalence between the crystalline crystals and prismatic crystals by gluing local Ogus-Vologodsky corresponde…
▽ More
In this paper, we consider the (crystalline) prismatic crystals on a scheme $\mathfrak{X}$. We classify the crystals by $p$-connections on a certain ring and prove a cohomological comparison theorem. This equivalence is more general than the Ogus' equivalence. Moreover, we will prove the equivalence between the crystalline crystals and prismatic crystals by gluing local Ogus-Vologodsky correspondence.
△ Less
Submitted 22 July, 2024;
originally announced July 2024.
-
$v$-adic periods of Carlitz motives and Chowla-Selberg formula revisited
Authors:
Chieh-Yu Chang,
Fu-Tsun Wei,
Jing Yu
Abstract:
Let $v$ be a finite place of $\mathbb{F}_q(θ)$. In this paper, we interpret $v$-adic arithmetic gamma values in terms of the $v$-adic crystalline-de Rham periods of Carlitz motives with Complex Multiplication, and establish an Ogus-type Chowla-Selberg formula. Furthermore, we prove the algebraic independence of these $v$-adic periods by employing the technique of switching "$v$ and $\infty$", and…
▽ More
Let $v$ be a finite place of $\mathbb{F}_q(θ)$. In this paper, we interpret $v$-adic arithmetic gamma values in terms of the $v$-adic crystalline-de Rham periods of Carlitz motives with Complex Multiplication, and establish an Ogus-type Chowla-Selberg formula. Furthermore, we prove the algebraic independence of these $v$-adic periods by employing the technique of switching "$v$ and $\infty$", and determining the dimension of relevant motivic Galois groups on the "$\infty$-adic" side through an adaptation and refinement of existing methods. As a consequence, all algebraic relations among $v$-adic arithmetic gamma values over $\mathbb{F}_q(θ)$ can be derived from standard functional equations together with Thakur's analogue of the Gross-Koblitz formula.
△ Less
Submitted 20 February, 2025; v1 submitted 20 July, 2024;
originally announced July 2024.
-
Multi-resolution subsampling for large-scale linear classification
Authors:
Haolin Chen,
Holger Dette,
Jun Yu
Abstract:
Subsampling is one of the popular methods to balance statistical efficiency and computational efficiency in the big data era. Most approaches aim at selecting informative or representative sample points to achieve good overall information of the full data. The present work takes the view that sampling techniques are recommended for the region we focus on and summary measures are enough to collect…
▽ More
Subsampling is one of the popular methods to balance statistical efficiency and computational efficiency in the big data era. Most approaches aim at selecting informative or representative sample points to achieve good overall information of the full data. The present work takes the view that sampling techniques are recommended for the region we focus on and summary measures are enough to collect the information for the rest according to a well-designed data partitioning. We propose a multi-resolution subsampling strategy that combines global information described by summary measures and local information obtained from selected subsample points. We show that the proposed method will lead to a more efficient subsample-based estimator for general large-scale classification problems. Some asymptotic properties of the proposed method are established and connections to existing subsampling procedures are explored. Finally, we illustrate the proposed subsampling strategy via simulated and real-world examples.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
A refined saturation theorem for polynomials and applications
Authors:
Xiangdong Ye,
Jiaqi Yu
Abstract:
For a dynamical system $(X,T)$, $d\in\mathbb{N}$ and distinct non-constant integral polynomials $p_1,\ldots, p_d$ vanishing at $0$, the notion of regionally proximal relation along $C=\{p_1,\ldots,p_d\}$ (denoted by $RP_C^{[d]}(X,T)$) is introduced.
It turns out that for a minimal system, $RP_C^{[d]}(X,T)=Δ$ implies that $X$ is an almost one-to-one extension of $X_k$ for some $k\in\mathbb{N}$ on…
▽ More
For a dynamical system $(X,T)$, $d\in\mathbb{N}$ and distinct non-constant integral polynomials $p_1,\ldots, p_d$ vanishing at $0$, the notion of regionally proximal relation along $C=\{p_1,\ldots,p_d\}$ (denoted by $RP_C^{[d]}(X,T)$) is introduced.
It turns out that for a minimal system, $RP_C^{[d]}(X,T)=Δ$ implies that $X$ is an almost one-to-one extension of $X_k$ for some $k\in\mathbb{N}$ only depending on a set of finite polynomials associated with $C$ and has zero entropy, where $X_k$ is the maximal $k$-step pro-nilfactor of $X$.
Particularly, when $C$ is a collection of linear polynomials, it is proved that $RP_C^{[d]}(X,T)=Δ$ implies $(X,T)$ is a $d$-step pro-nilsystem, which answers negatively a conjecture in \cite{5p}. The results are obtained by proving a refined saturation theorem for polynomials.
△ Less
Submitted 18 May, 2024;
originally announced May 2024.
-
Lie symmetry analysis of (2+1)-dimensional time fractional Kadomtsev-Petviashvili equation
Authors:
Jicheng Yu,
Yuqiang Feng
Abstract:
In this paper, Lie symmetry analysis method is applied to the (2+1)-dimensional time fractional Kadomtsev-Petviashvili (KP) equation with the mixed derivative of Riemann-Liouville time-fractional derivative and integer-order $x$-derivative. We obtained all the Lie symmetries admitted by the KP equation and used them to reduce the (2+1)-dimensional fractional partial differential equation with Riem…
▽ More
In this paper, Lie symmetry analysis method is applied to the (2+1)-dimensional time fractional Kadomtsev-Petviashvili (KP) equation with the mixed derivative of Riemann-Liouville time-fractional derivative and integer-order $x$-derivative. We obtained all the Lie symmetries admitted by the KP equation and used them to reduce the (2+1)-dimensional fractional partial differential equation with Riemann-Liouville fractional derivative to some (1+1)-dimensional fractional partial differential equations with Erdélyi-Kober fractional derivative or Riemann-Liouville fractional derivative, thereby getting some exact solutions of the reduced equations. In addition, the new conservation theorem and the generalization of Noether operators are developed to construct the conservation laws for the equation studied.
△ Less
Submitted 13 August, 2024; v1 submitted 16 May, 2024;
originally announced May 2024.
-
Topological Equatorial Waves and Violation (or not) of the Bulk Edge Correspondence
Authors:
Guillaume Bal,
Jiming Yu
Abstract:
Atmospheric and oceanic mass transport near the equator display a well-studied asymmetry characterized by two modes moving eastward. This asymmetric edge transport is characteristic of interfaces separating two-dimensional topological insulators. The northern and southern hemispheres are insulating because of the presence of a Coriolis force parameter that vanishes only in the vicinity of the equa…
▽ More
Atmospheric and oceanic mass transport near the equator display a well-studied asymmetry characterized by two modes moving eastward. This asymmetric edge transport is characteristic of interfaces separating two-dimensional topological insulators. The northern and southern hemispheres are insulating because of the presence of a Coriolis force parameter that vanishes only in the vicinity of the equator. A central tenet of topological insulators, the bulk edge correspondence, relates the quantized edge asymmetry to bulk properties of the insulating phases, which makes it independent of the Coriolis force profile near the equator. We show that for a natural differential Hamiltonian model of the atmospheric and oceanic transport, the bulk-edge correspondence does not always apply. In fact, an arbitrary quantized asymmetry can be obtained for specific, discontinuous, such profiles. The results are based on a careful analysis of the spectral flow of the branches of absolutely continuous spectrum of a shallow-water Hamiltonian. Numerical simulations validate our theoretical findings.
△ Less
Submitted 20 April, 2024;
originally announced April 2024.
-
The Tropical Variety of Symmetric Rank 2 Matrices
Authors:
May Cai,
Kisun Lee,
Josephine Yu
Abstract:
We study the tropicalization of the variety of symmetric rank two matrices. Analogously to the result of Markwig and Yu for general tropical rank two matrices, we show that it has a simplicial complex structure as the space of symmetric bicolored trees and that this simplicial complex is shellable. We also discuss some matroid structures arising from this space and present generating functions for…
▽ More
We study the tropicalization of the variety of symmetric rank two matrices. Analogously to the result of Markwig and Yu for general tropical rank two matrices, we show that it has a simplicial complex structure as the space of symmetric bicolored trees and that this simplicial complex is shellable. We also discuss some matroid structures arising from this space and present generating functions for the number of symmetric bicolored trees.
△ Less
Submitted 17 April, 2025; v1 submitted 11 April, 2024;
originally announced April 2024.
-
Normalized solutions for Sobolev critical Schrödinger equations on bounded domains
Authors:
Dario Pierotti,
Gianmaria Verzini,
Junwei Yu
Abstract:
We study the existence and multiplicity of positive solutions with prescribed $L^2$-norm for the Sobolev critical Schrödinger equation on a bounded domain $Ω\subset\mathbb{R}^N$, $N\ge3$: \[ -ΔU = λU + U^{2^{*}-1},\qquad U\in H^1_0(Ω),\qquad \int_ΩU^2\,dx = ρ^{2}, \] where $2^*=\frac{2N}{N-2}$.
First, we consider a general bounded domain $Ω$ in dimension $N\ge3$, with a restriction, only in dime…
▽ More
We study the existence and multiplicity of positive solutions with prescribed $L^2$-norm for the Sobolev critical Schrödinger equation on a bounded domain $Ω\subset\mathbb{R}^N$, $N\ge3$: \[ -ΔU = λU + U^{2^{*}-1},\qquad U\in H^1_0(Ω),\qquad \int_ΩU^2\,dx = ρ^{2}, \] where $2^*=\frac{2N}{N-2}$.
First, we consider a general bounded domain $Ω$ in dimension $N\ge3$, with a restriction, only in dimension $N=3$, involving its inradius and first Dirichlet eigenvalue. In this general case we show the existence of a mountain pass solution on the $L^2$-sphere, for $ρ$ belonging to a subset of positive measure of the interval $(0,ρ^{**})$, for a suitable threshold $ρ^{**}>0$. Next, assuming that $Ω$ is star-shaped, we extend the previous result to all values $ρ\in(0,ρ^{**})$.
With respect to that of local minimizers, already known in the literature, the existence of mountain pass solutions in the Sobolev critical case is much more elusive. In particular, our proofs are based on the sharp analysis of the bounded Palais-Smale sequences, provided by a nonstandard adaptation of the Struwe monotonicity trick, that we develop.
△ Less
Submitted 6 April, 2024;
originally announced April 2024.
-
Outerplanar graphs with positive Lin-Lu-Yau curvature
Authors:
George Brooks,
Fadekemi Osaye,
Anna Schenfisch,
Zhiyu Wang,
Jing Yu
Abstract:
In this paper, we show that all simple outerplanar graphs $G$ with minimum degree at least $2$ and positive Lin-Lu-Yau Ricci curvature on every edge have maximum degree at most $9$. Furthermore, if $G$ is maximally outerplanar, then $G$ has at most $10$ vertices. Both upper bounds are sharp.
In this paper, we show that all simple outerplanar graphs $G$ with minimum degree at least $2$ and positive Lin-Lu-Yau Ricci curvature on every edge have maximum degree at most $9$. Furthermore, if $G$ is maximally outerplanar, then $G$ has at most $10$ vertices. Both upper bounds are sharp.
△ Less
Submitted 6 March, 2025; v1 submitted 6 March, 2024;
originally announced March 2024.
-
On smooth adic spaces over $\mathbb{B}_{\mathrm{dR}}^+$ and sheafified $p$-adic Riemann--Hilbert correspondence
Authors:
Jiahong Yu
Abstract:
Inspired by Heuer's paper, we consider adic spaces over a de Rham period ring of a perfectoid Tate--Huber ring and their sheafified Riemann--Hilbert correspondence. We will prove that for any smooth adic space $X$ over $\mathbb{B}_{\mathrm{dR},α}^+(K,K^+)$, there is a canonical sheaf isomorphism…
▽ More
Inspired by Heuer's paper, we consider adic spaces over a de Rham period ring of a perfectoid Tate--Huber ring and their sheafified Riemann--Hilbert correspondence. We will prove that for any smooth adic space $X$ over $\mathbb{B}_{\mathrm{dR},α}^+(K,K^+)$, there is a canonical sheaf isomorphism $$R^1ν_*\left(\mathrm{GL}_r({\mathbb{B}_{\mathrm{dR}}^+}_{,\bar{X}}/t^α)\right)\cong t-\mathrm{MIC}_r(X).$$ Moreover, we will define $v$-prestacks of $\mathbb{B}_{\mathrm{dR}}^+$-local systems and $t$-connections, and prove that they are small $v$-stacks.
△ Less
Submitted 1 July, 2024; v1 submitted 2 March, 2024;
originally announced March 2024.
