Showing 1–50 of 244 results for author: Zha, H

Turán density of tight cycles minus one edge in the $\ell_2$-norm

Authors: Levente Bodnár, Jinghua Deng, Jianfeng Hou, Xizhi Liu, Hongbin Zhao

Abstract: The $3$-uniform tight $\ell$-cycle minus one edge $C_{\ell}^{3-}$ is the $3$-graph on $\ell$ vertices consisting of $\ell-1$ consecutive triples in the cyclic order. We show that for every integer $\ell \ge 5$ satisfying $\ell\not\equiv 0\pmod3$, every $C_{\ell}^{3-}$-free $3$-graph whose $\ell_2$-norm, that is, the sum of codegree squares, is close to the maximum must be structurally close to the… ▽ More The $3$-uniform tight $\ell$-cycle minus one edge $C_{\ell}^{3-}$ is the $3$-graph on $\ell$ vertices consisting of $\ell-1$ consecutive triples in the cyclic order. We show that for every integer $\ell \ge 5$ satisfying $\ell\not\equiv 0\pmod3$, every $C_{\ell}^{3-}$-free $3$-graph whose $\ell_2$-norm, that is, the sum of codegree squares, is close to the maximum must be structurally close to the iterative blowup of a single triple. This confirms a conjecture of Balogh--Clemen--Lidický~[Surveys in combinatorics 2022, 21-63] in a stronger form. △ Less

Submitted 1 July, 2025; originally announced July 2025.

Comments: 18 pages, comments are welcome. arXiv admin note: text overlap with arXiv:2412.21011, arXiv:2506.03223

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.

Existence, equivalence and spectrality of infinite convolutions in $\R^d$

Authors: Junjie Miao, Hongbo Zhao

Abstract: In this paper, we study existence, equivalence and spectrality of infinite convolutions which may not be compactly supported in $d$-dimensional Euclidean space by manipulating various techniques in probability theory. First, we define the equivalent sequences, and we prove that the infinite convolutions converges simultaneously if they are generated by equivalent sequences. Moreover, the equi-posi… ▽ More In this paper, we study existence, equivalence and spectrality of infinite convolutions which may not be compactly supported in $d$-dimensional Euclidean space by manipulating various techniques in probability theory. First, we define the equivalent sequences, and we prove that the infinite convolutions converges simultaneously if they are generated by equivalent sequences. Moreover, the equi-positivity keeps unchanged for infinite convolutions generated by equivalent sequences. Next, we study the spectrality of infinite convolutions generated by admissible pairs, and we show such infinite convolutions have the same spectrum if they are generated by the equivalent sequences. Finally, we provide some sufficient conditions for the existence and spectral properties of infinite convolutions in higher dimensions. △ Less

Submitted 7 June, 2025; originally announced June 2025.

MSC Class: 42A85; 42C05

DualSchool: How Reliable are LLMs for Optimization Education?

Authors: Michael Klamkin, Arnaud Deza, Sikai Cheng, Haoruo Zhao, Pascal Van Hentenryck

Abstract: Consider the following task taught in introductory optimization courses which addresses challenges articulated by the community at the intersection of (generative) AI and OR: generate the dual of a linear program. LLMs, being trained at web-scale, have the conversion process and many instances of Primal to Dual Conversion (P2DC) at their disposal. Students may thus reasonably expect that LLMs woul… ▽ More Consider the following task taught in introductory optimization courses which addresses challenges articulated by the community at the intersection of (generative) AI and OR: generate the dual of a linear program. LLMs, being trained at web-scale, have the conversion process and many instances of Primal to Dual Conversion (P2DC) at their disposal. Students may thus reasonably expect that LLMs would perform well on the P2DC task. To assess this expectation, this paper introduces DualSchool, a comprehensive framework for generating and verifying P2DC instances. The verification procedure of DualSchool uses the Canonical Graph Edit Distance, going well beyond existing evaluation methods for optimization models, which exhibit many false positives and negatives when applied to P2DC. Experiments performed by DualSchool reveal interesting findings. Although LLMs can recite the conversion procedure accurately, state-of-the-art open LLMs fail to consistently produce correct duals. This finding holds even for the smallest two-variable instances and for derivative tasks, such as correctness, verification, and error classification. The paper also discusses the implications for educators, students, and the development of large reasoning systems. △ Less

Submitted 27 May, 2025; originally announced May 2025.

Existence and Spectrality of random measures generated by infinite convolutions

Authors: Junjie Miao, Hongyi Liu, Hongbo Zhao

Abstract: In this paper, we construct a class of random measures $μ^{\mathbf{n}}$ by infinite convolutions. Given infinitely many admissible pairs $\{(N_{k}, B_{k})\}_{k=1}^{\infty}$ and a positive integral sequence $\boldsymbol{n}=\{n_{k}\}_{k=1}^{\infty}$, for every $\boldsymbolω\in \mathbb{N}^{\mathbb{N}}$, we write… ▽ More In this paper, we construct a class of random measures $μ^{\mathbf{n}}$ by infinite convolutions. Given infinitely many admissible pairs $\{(N_{k}, B_{k})\}_{k=1}^{\infty}$ and a positive integral sequence $\boldsymbol{n}=\{n_{k}\}_{k=1}^{\infty}$, for every $\boldsymbolω\in \mathbb{N}^{\mathbb{N}}$, we write $μ^{\mathbf{n}}(\boldsymbolω) = δ_{N_{ω_{1}}^{-n_{1}}B_{ω_{1}}} * δ_{N_{ω_{1}}^{-n_{1}}N_{ω_{2}}^{-n_{2}}B_{ω_{2}}} * \cdots$. If $n_{k}=1$ for $k\geq 1$, write $μ(\boldsymbolω)=μ^{\mathbf{n}}(\boldsymbolω)$. First, we show that the mapping $μ^{\mathbf{n}}: (\boldsymbolω, B) \mapsto μ^{\mathbf{n}}(\boldsymbolω)(B)$ is a random measure if the family of Borel probability measures $\{μ(\boldsymbolω) : \boldsymbolω \in \mathbb{N}^{\mathbb{N}}\}$ is tight. Then, for every Bernoulli measure $\mathbb{P}$ on $\mathbb{N}^{\mathbb{N}}$, the random measure $μ^{\mathbf{n}}$ is also a spectral measure $\mathbb{P}$-a.e.. If the positive integral sequence $\boldsymbol{n}$ is unbounded, the random measure $μ^{\mathbf{n}}$ is a spectral measure regardless of the measures on the sequence space $\mathbb{N}^{\mathbb{N}}$. Moreover, we provide some sufficient conditions for the existence of the random measure $μ^{\boldsymbol{n}}$. Finally, we verify that random measures have the intermediate-value property. △ Less

Submitted 22 April, 2025; originally announced April 2025.

Arithmetic properties of Cantor sets involving non-diagonal forms

Authors: Haotian Zhao

Abstract: We show conditions on $k$ such that any number $x$ in the interval $[0, k/2]$ can be represented in the form $x_1^{a_1} x_2^{a_2} + x_3^{a_3} x_4^{a_4} + \cdots + x_{k-1}^{a_{k-1}} x_k^{a_k}$, where the exponents $a_{2i-1}$ and $a_{2i}$ are positive integers satisfying $a_{2i-1} + a_{2i} = s$ for $i = 1, 2, \dots, k/2$, and each $x_i$ belongs to the generalized Cantor set. Moreover, we discuss dif… ▽ More We show conditions on $k$ such that any number $x$ in the interval $[0, k/2]$ can be represented in the form $x_1^{a_1} x_2^{a_2} + x_3^{a_3} x_4^{a_4} + \cdots + x_{k-1}^{a_{k-1}} x_k^{a_k}$, where the exponents $a_{2i-1}$ and $a_{2i}$ are positive integers satisfying $a_{2i-1} + a_{2i} = s$ for $i = 1, 2, \dots, k/2$, and each $x_i$ belongs to the generalized Cantor set. Moreover, we discuss different types of non-diagonal polynomials and clarify the optimal results in low-dimensional cases. △ Less

Submitted 8 June, 2025; v1 submitted 5 March, 2025; originally announced March 2025.

Comments: 24 pages

MSC Class: 28A80; 11P05

Arbitrage-free catastrophe reinsurance valuation for compound dynamic contagion claims

Authors: Jiwook Jang, Patrick J. Laub, Tak Kuen Siu, Hongbiao Zhao

Abstract: In this paper, we consider catastrophe stop-loss reinsurance valuation for a reinsurance company with dynamic contagion claims. To deal with conventional and emerging catastrophic events, we propose the use of a compound dynamic contagion process for the catastrophic component of the liability. Under the premise that there is an absence of arbitrage opportunity in the market, we obtain arbitrage-f… ▽ More In this paper, we consider catastrophe stop-loss reinsurance valuation for a reinsurance company with dynamic contagion claims. To deal with conventional and emerging catastrophic events, we propose the use of a compound dynamic contagion process for the catastrophic component of the liability. Under the premise that there is an absence of arbitrage opportunity in the market, we obtain arbitrage-free premiums for these contacts. To this end, the Esscher transform is adopted to specify an equivalent martingale probability measure. We show that reinsurers have various ways of levying the security loading on the net premiums to quantify the catastrophic liability in light of the growing challenges posed by emerging risks arising from climate change, cyberattacks, and pandemics. We numerically compare arbitrage-free catastrophe stop-loss reinsurance premiums via the Monte Carlo simulation method. Sensitivity analyzes are performed by changing the Esscher parameters and the retention level. △ Less

Submitted 18 February, 2025; originally announced February 2025.

Towards a Sharp Analysis of Offline Policy Learning for $f$-Divergence-Regularized Contextual Bandits

Authors: Qingyue Zhao, Kaixuan Ji, Heyang Zhao, Tong Zhang, Quanquan Gu

Abstract: Although many popular reinforcement learning algorithms are underpinned by $f$-divergence regularization, their sample complexity with respect to the \emph{regularized objective} still lacks a tight characterization. In this paper, we analyze $f$-divergence-regularized offline policy learning. For reverse Kullback-Leibler (KL) divergence, arguably the most commonly used one, we give the first… ▽ More Although many popular reinforcement learning algorithms are underpinned by $f$-divergence regularization, their sample complexity with respect to the \emph{regularized objective} still lacks a tight characterization. In this paper, we analyze $f$-divergence-regularized offline policy learning. For reverse Kullback-Leibler (KL) divergence, arguably the most commonly used one, we give the first $\tilde{O}(ε^{-1})$ sample complexity under single-policy concentrability for contextual bandits, surpassing existing $\tilde{O}(ε^{-1})$ bound under all-policy concentrability and $\tilde{O}(ε^{-2})$ bound under single-policy concentrability. Our analysis for general function approximation leverages the principle of pessimism in the face of uncertainty to refine a mean-value-type argument to its extreme. This in turn leads to a novel moment-based technique, effectively bypassing the need for uniform control over the discrepancy between any two functions in the function class. We further propose a lower bound, demonstrating that a multiplicative dependency on single-policy concentrability is necessary to maximally exploit the strong convexity of reverse KL. In addition, for $f$-divergences with strongly convex $f$, to which reverse KL \emph{does not} belong, we show that the sharp sample complexity $\tildeΘ(ε^{-1})$ is achievable even without single-policy concentrability. In this case, the algorithm design can get rid of pessimistic estimators. We further extend our analysis to dueling bandits, and we believe these results take a significant step toward a comprehensive understanding of $f$-divergence-regularized policy learning. △ Less

Submitted 30 May, 2025; v1 submitted 9 February, 2025; originally announced February 2025.

Comments: 38 pages

Time to Rethink AI for Combinatorial Optimization: Classical Algorithms Remain Tough to Match

Authors: Yikai Wu, Haoyu Zhao, Sanjeev Arora

Abstract: This position paper argues that the machine learning community should fundamentally rethink how AI-inspired methods are developed and evaluated for combinatorial optimization (CO). We present comprehensive empirical benchmarks comparing various recent AI-inspired GPU-based methods with several classical CPU-based solvers on the Maximum Independent Set (MIS) problem. Strikingly, even on in-distribu… ▽ More This position paper argues that the machine learning community should fundamentally rethink how AI-inspired methods are developed and evaluated for combinatorial optimization (CO). We present comprehensive empirical benchmarks comparing various recent AI-inspired GPU-based methods with several classical CPU-based solvers on the Maximum Independent Set (MIS) problem. Strikingly, even on in-distribution random graphs, leading AI-inspired methods are consistently outperformed by the state-of-the-art classical solver KaMIS, and some AI-inspired methods frequently fail to surpass even the simplest degree-based greedy heuristic. To better understand the source of these failures, we introduce a novel analysis, serialization, which reveals that non-backtracking AI methods, such as LTFT (based on GFlowNets), end up reasoning similarly to the simplest degree-based greedy heuristic, and thus worse than KaMIS. Our findings reveal three core issues: (1) Limited benchmarks and evaluation - AI-inspired methods are often tested only on small instances with very limited inference time, which covers up issues with scalability and resource usage; (2) Intrinsic hardness and learning limits - even under ideal, in-distribution conditions, learning-based approaches lag behind classical heuristics, highlighting inherent barriers that receive little attention; and (3) Insufficient use and understanding of classical heuristics - current learning frameworks often neglect to incorporate effective classical techniques. Although we use MIS as a testbed, similar gaps and challenges have been reported in other combinatorial optimization problems, suggesting broader relevance for our recommendations. We propose that future research must address these issues by rigorous benchmarking, deepening understanding of learning limitations, and integrating classical heuristics into AI-inspired methods. △ Less

Submitted 29 June, 2025; v1 submitted 5 February, 2025; originally announced February 2025.

Comments: 28 pages, 6 figures, 98 tables

Score as Action: Fine-Tuning Diffusion Generative Models by Continuous-time Reinforcement Learning

Authors: Hanyang Zhao, Haoxian Chen, Ji Zhang, David D. Yao, Wenpin Tang

Abstract: Reinforcement learning from human feedback (RLHF), which aligns a diffusion model with input prompt, has become a crucial step in building reliable generative AI models. Most works in this area use a discrete-time formulation, which is prone to induced errors, and often not applicable to models with higher-order/black-box solvers. The objective of this study is to develop a disciplined approach to… ▽ More Reinforcement learning from human feedback (RLHF), which aligns a diffusion model with input prompt, has become a crucial step in building reliable generative AI models. Most works in this area use a discrete-time formulation, which is prone to induced errors, and often not applicable to models with higher-order/black-box solvers. The objective of this study is to develop a disciplined approach to fine-tune diffusion models using continuous-time RL, formulated as a stochastic control problem with a reward function that aligns the end result (terminal state) with input prompt. The key idea is to treat score matching as controls or actions, and thereby making connections to policy optimization and regularization in continuous-time RL. To carry out this idea, we lay out a new policy optimization framework for continuous-time RL, and illustrate its potential in enhancing the value networks design space via leveraging the structural property of diffusion models. We validate the advantages of our method by experiments in downstream tasks of fine-tuning large-scale Text2Image models of Stable Diffusion v1.5. △ Less

Submitted 16 April, 2025; v1 submitted 3 February, 2025; originally announced February 2025.

Comments: arXiv admin note: text overlap with arXiv:2409.08400

Optimal Investment under Mutual Strategy Influence among Agents

Authors: Huisheng Wang, H. Vicky Zhao

Abstract: In financial markets, agents often mutually influence each other's investment strategies and adjust their strategies to align with others. However, there is limited quantitative study of agents' investment strategies in such scenarios. In this work, we formulate the optimal investment differential game problem to study the mutual influence among agents. We derive the analytical solutions for agent… ▽ More In financial markets, agents often mutually influence each other's investment strategies and adjust their strategies to align with others. However, there is limited quantitative study of agents' investment strategies in such scenarios. In this work, we formulate the optimal investment differential game problem to study the mutual influence among agents. We derive the analytical solutions for agents' optimal strategies and propose a fast algorithm to find approximate solutions with low computational complexity. We theoretically analyze the impact of mutual influence on agents' optimal strategies and terminal wealth. When the mutual influence is strong and approaches infinity, we show that agents' optimal strategies converge to the asymptotic strategy. Furthermore, in general cases, we prove that agents' optimal strategies are linear combinations of the asymptotic strategy and their rational strategies without others' influence. We validate the performance of the fast algorithm and verify the correctness of our analysis using numerical experiments. This work is crucial to comprehend mutual influence among agents and design effective mechanisms to guide their strategies in financial markets. △ Less

Submitted 24 January, 2025; originally announced January 2025.

Minimal subshifts of prescribed mean dimension over general alphabets

Authors: Xiangtong Wang, Hang Zhao

Abstract: Let $G$ be a countable infinite amenable group, $K$ a finite-dimensional compact metrizable space, and $(K^G,σ)$ the full $G$-shift on $K^G$. For any $r\in [0,{\rm mdim}(K^G,σ))$, we construct a minimal subshift $(X,σ)$ of $(K^G,σ)$ with mdim$(X,σ)=r$. Furthermore, we construct a subshift of $([0,1]^G,σ)$ such that its mean dimension is $1$, and that the set of all attainable values of the mean di… ▽ More Let $G$ be a countable infinite amenable group, $K$ a finite-dimensional compact metrizable space, and $(K^G,σ)$ the full $G$-shift on $K^G$. For any $r\in [0,{\rm mdim}(K^G,σ))$, we construct a minimal subshift $(X,σ)$ of $(K^G,σ)$ with mdim$(X,σ)=r$. Furthermore, we construct a subshift of $([0,1]^G,σ)$ such that its mean dimension is $1$, and that the set of all attainable values of the mean dimension of its minimal subsystems is exactly the interval $[0,1)$. △ Less

Submitted 18 December, 2024; originally announced December 2024.

Comments: arXiv admin note: text overlap with arXiv:2101.01458 by other authors

MSC Class: 37B05; 54F45

Structure fault diameter of hypercubes

Authors: Honggang Zhao, Eminjan Sabir, Cheng-Kuan Lin

Abstract: Structure connectivity and substructure connectivity are innovative indicators for assessing network reliability and fault tolerance. Similarly, fault diameter evaluates fault tolerance and transmission delays in networks. This paper extends the concept of fault diameter by introducing two new variants: structure fault diameter and substructure fault diameter, derived from structure connectivity a… ▽ More Structure connectivity and substructure connectivity are innovative indicators for assessing network reliability and fault tolerance. Similarly, fault diameter evaluates fault tolerance and transmission delays in networks. This paper extends the concept of fault diameter by introducing two new variants: structure fault diameter and substructure fault diameter, derived from structure connectivity and substructure connectivity respectively. For a connected graph $G$ with $W$-structure connectivity $κ(G;W)$ or $W$-substructure connectivity $κ^s(G;W)$, the $W$-structure fault diameter $D_f(G;W)$ and $W$-substructure fault diameter $D_f^s(G;W)$ are defined as the maximum diameter of any subgraph of $G$ resulting from removing fewer than $κ(G;W)-1$ $W$-structures or $κ^s(G;W)-1$ $W$-substructures. For the $n$-dimensional hypercube $Q_n$ with $n \geq 3$ and $1 \leq m \leq n - 2$, we determine both $D_f(Q_n;Q_m)$ and $D_f^s(Q_n;Q_1)$. These findings generalize existing results for the diameter and fault diameter of $Q_n$, providing a broader understanding of the hypercube's structural properties under fault conditions. △ Less

Submitted 13 December, 2024; originally announced December 2024.

Invariant tori for a class of affined Anosov mappings with quasi-periodic forces

Authors: Xinyu Bai, Zeng Lian, Xiao Ma, Hang Zhao

Abstract: In this paper, we consider a class of affined Anosov mappings with quasi-periodic forces, and show that there is a unique positive integer $m$, which only depends on the system, such that the exponential growth rate of the cardinality of invariant tori of degree $m$ is equal to the topological entropy. In this paper, we consider a class of affined Anosov mappings with quasi-periodic forces, and show that there is a unique positive integer $m$, which only depends on the system, such that the exponential growth rate of the cardinality of invariant tori of degree $m$ is equal to the topological entropy. △ Less

Submitted 22 November, 2024; originally announced November 2024.

MSC Class: 37D20; 37C35

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.

Finite ergodic components for upper probabilities

Authors: Chunrong Feng, Wen Huang, Chunlin Liu, Huaizhong Zhao

Abstract: Under the notion of ergodicity of upper probability in the sense of Feng and Zhao (2021) that any invariant set either has capacity $0$ or its complement has capacity 0, we introduce the definition of finite ergodic components (FEC). We prove an invariant upper probability has FEC if and only if it is in the regime that any invariant set has either capacity $0$ or capacity $1$, proposed by Cerreia… ▽ More Under the notion of ergodicity of upper probability in the sense of Feng and Zhao (2021) that any invariant set either has capacity $0$ or its complement has capacity 0, we introduce the definition of finite ergodic components (FEC). We prove an invariant upper probability has FEC if and only if it is in the regime that any invariant set has either capacity $0$ or capacity $1$, proposed by Cerreia-Vioglio, Maccheroni, and Marinacci (2016). Furthermore, this is also equivalent to that the eigenvalue $1$ of the Koopman operator is of finite multiplicity, while in the ergodic upper probability regime, as in the classical ergodic probability case, the eigenvalue $1$ of the Koopman operator is simple. Additionally, we obtain the equivalence of the law of large numbers with multiple values, the asymptotic independence and the FEC. Furthermore, we apply these to obtain the corresponding results for non-invariant probabilities. △ Less

Submitted 4 November, 2024; originally announced November 2024.

Ergodicity and Mixing of invariant capacities and applications

Authors: Chunrong Feng, Wen Huang, Chunlin Liu, Huaizhong Zhao

Abstract: We introduce the notion of common conditional expectation to investigate Birkhoff's ergodic theorem and subadditive ergodic theorem for invariant upper probabilities. If in addition, the upper probability is ergodic, we construct an invariant probability to characterize the limit of the ergodic mean. Moreover, this skeleton probability is the unique ergodic probability in the core of the upper pro… ▽ More We introduce the notion of common conditional expectation to investigate Birkhoff's ergodic theorem and subadditive ergodic theorem for invariant upper probabilities. If in addition, the upper probability is ergodic, we construct an invariant probability to characterize the limit of the ergodic mean. Moreover, this skeleton probability is the unique ergodic probability in the core of the upper probability, that is equal to all probabilities in the core on all invariant sets. We have the following applications of these two theorems: $\bullet$ provide a strong law of large numbers for ergodic stationary sequence on upper probability spaces; $\bullet$ prove the multiplicative ergodic theorem on upper probability spaces; $\bullet$ establish a criterion for the ergodicity of upper probabilities in terms of independence. Furthermore, we introduce and study weak mixing for capacity preserving systems. Using the skeleton idea, we also provide several characterizations of weak mixing for invariant upper probabilities. Finally, we provide examples of ergodic and weakly mixing capacity preserving systems. As applications, we obtain new results in the classical ergodic theory. e.g. in characterizing dynamical properties on measure preserving systems, such as weak mixing, periodicity. Moreover, we use our results in the nonlinear theory to obtain the asymptotic independence, Birkhoff's type ergodic theorem, subadditive ergodic theorem, and multiplicative ergodic theorem for non-invariant probabilities. △ Less

Submitted 1 November, 2024; originally announced November 2024.

Concentration phenomena of positive solutions to weakly coupled Schrödinger systems with large exponents in dimension two

Authors: Zhijie Chen, Hanqing Zhao

Abstract: We study the weakly coupled nonlinear Schrödinger system \begin{equation*} \begin{cases} -Δu_1 = μ_1 u_1^{p} +βu_1^{\frac{p-1}{2}} u_2^{\frac{p+1}{2}}\text{ in } Ω,\\ -Δu_2 = μ_2 u_2^{p} +βu_2^{\frac{p-1}{2}}u_1^{\frac{p+1}{2}} \text{ in } Ω,\\ u_1,u_2>0\quad\text{in }\;Ω;\quad u_1=u_2=0 \quad\text { on } \;\partialΩ, \end{cases} \end{equation*} where $p>1, μ_1, μ_2, β>0$ and $Ω$ is a smooth bound… ▽ More We study the weakly coupled nonlinear Schrödinger system \begin{equation*} \begin{cases} -Δu_1 = μ_1 u_1^{p} +βu_1^{\frac{p-1}{2}} u_2^{\frac{p+1}{2}}\text{ in } Ω,\\ -Δu_2 = μ_2 u_2^{p} +βu_2^{\frac{p-1}{2}}u_1^{\frac{p+1}{2}} \text{ in } Ω,\\ u_1,u_2>0\quad\text{in }\;Ω;\quad u_1=u_2=0 \quad\text { on } \;\partialΩ, \end{cases} \end{equation*} where $p>1, μ_1, μ_2, β>0$ and $Ω$ is a smooth bounded domain in $\mathbb{R}^2$. Under the natural condition that holds automatically for all positive solutions in star-shaped domains \begin{align*} p\int_Ω|\nabla u_{1,p}|^2+|\nabla u_{2,p}|^2 dx \leq C, \end{align*} we give a complete description of the concentration phenomena of positive solutions $(u_{1,p},u_{2,p})$ as $p\rightarrow+\infty$, including the $L^{\infty}$-norm quantization $\|u_{k,p}\|_{L^\infty(Ω)}\to \sqrt{e}$ for $k=1,2$, the energy quantization $p\int_Ω|\nabla u_{1,p}|^2+|\nabla u_{2,p}|^2dx\to 8nπe $ with $n\in\mathbb{N}_{\geq 2}$, and so on. In particular, we show that the ``local mass'' contributed by each concentration point must be one of $\{(8π,8π), (8π,0),(0,8π)\}$. △ Less

Submitted 29 October, 2024; originally announced October 2024.

Comments: 40 pages

Learning-Augmented Algorithms for the Bahncard Problem

Authors: Hailiang Zhao, Xueyan Tang, Peng Chen, Shuiguang Deng

Abstract: In this paper, we study learning-augmented algorithms for the Bahncard problem. The Bahncard problem is a generalization of the ski-rental problem, where a traveler needs to irrevocably and repeatedly decide between a cheap short-term solution and an expensive long-term one with an unknown future. Even though the problem is canonical, only a primal-dual-based learning-augmented algorithm was expli… ▽ More In this paper, we study learning-augmented algorithms for the Bahncard problem. The Bahncard problem is a generalization of the ski-rental problem, where a traveler needs to irrevocably and repeatedly decide between a cheap short-term solution and an expensive long-term one with an unknown future. Even though the problem is canonical, only a primal-dual-based learning-augmented algorithm was explicitly designed for it. We develop a new learning-augmented algorithm, named PFSUM, that incorporates both history and short-term future to improve online decision making. We derive the competitive ratio of PFSUM as a function of the prediction error and conduct extensive experiments to show that PFSUM outperforms the primal-dual-based algorithm. △ Less

Submitted 19 October, 2024; originally announced October 2024.

Comments: This paper has been accepted by the 38th Conference on Neural Information Processing Systems (NeurIPS 2024)

A new type of bmo space for non-doubling measures

Authors: Shining Li, Haijing Zhao, Baode Li

Abstract: Let $μ$ be a Radon measure on $\mathbb R^{d}$ which may be non-doubling and only satisfies $μ(Q(x,l))\le C_{0}l^{n}$} for all $x\in \mathbb R^{d}$, $l(Q)>0$, with some fixed constants $C_{0}>0$ and $n\in (0,d]$. We introduce a new type of $bmo(μ)$ space which looks bigger than the $rbmo(μ)$ space of Dachun Yang (JAMS,\,2005). And its four equivalent norms are established by constructing some speci… ▽ More Let $μ$ be a Radon measure on $\mathbb R^{d}$ which may be non-doubling and only satisfies $μ(Q(x,l))\le C_{0}l^{n}$} for all $x\in \mathbb R^{d}$, $l(Q)>0$, with some fixed constants $C_{0}>0$ and $n\in (0,d]$. We introduce a new type of $bmo(μ)$ space which looks bigger than the $rbmo(μ)$ space of Dachun Yang (JAMS,\,2005). And its four equivalent norms are established by constructing some special types of auxiliary doubling cubes. Then we further obtain that this new $rbmo(μ)$ space actually coincides with the $rbmo(μ)$ space of Dachun Yang. △ Less

Submitted 12 October, 2024; originally announced October 2024.

Subspace decompositions for association structure learning in multivariate categorical response regression

Authors: Hongru Zhao, Aaron J. Molstad, Adam J. Rothman

Abstract: Modeling the complex relationships between multiple categorical response variables as a function of predictors is a fundamental task in the analysis of categorical data. However, existing methods can be difficult to interpret and may lack flexibility. To address these challenges, we introduce a penalized likelihood method for multivariate categorical response regression that relies on a novel subs… ▽ More Modeling the complex relationships between multiple categorical response variables as a function of predictors is a fundamental task in the analysis of categorical data. However, existing methods can be difficult to interpret and may lack flexibility. To address these challenges, we introduce a penalized likelihood method for multivariate categorical response regression that relies on a novel subspace decomposition to parameterize interpretable association structures. Our approach models the relationships between categorical responses by identifying mutual, joint, and conditionally independent associations, which yields a linear problem within a tensor product space. We establish theoretical guarantees for our estimator, including error bounds in high-dimensional settings, and demonstrate the method's interpretability and prediction accuracy through comprehensive simulation studies. △ Less

Submitted 6 October, 2024; originally announced October 2024.

Comments: 31 pages, 2 figures, 8 sections, journal paper

MSC Class: 62H20; 62J12(Primary) 62F10; 62H12 (Secondary)

Open-source shape optimization for isogeometric shells using FEniCS and OpenMDAO

Authors: Han Zhao, John T. Hwang, Jiun-Shyan Chen

Abstract: We present an open-source Python framework for the shape optimization of complex shell structures using isogeometric analysis (IGA). IGA seamlessly integrates computer-aided design (CAD) and analysis models by employing non-uniform rational B-splines (NURBS) as basis functions, enabling the natural implementation of the Kirchhoff--Love shell model due to their higher order of continuity. We levera… ▽ More We present an open-source Python framework for the shape optimization of complex shell structures using isogeometric analysis (IGA). IGA seamlessly integrates computer-aided design (CAD) and analysis models by employing non-uniform rational B-splines (NURBS) as basis functions, enabling the natural implementation of the Kirchhoff--Love shell model due to their higher order of continuity. We leverage the recently developed FEniCS-based analysis framework, PENGoLINS, for the direct structural analysis of shell structures consisting of a collection of NURBS patches through a penalty-based formulation. This contribution introduces the open-source implementation of gradient-based shape optimization for isogeometric Kirchhoff--Love shells with a modular architecture. Complex shell structures with non-matching intersections are handled using a free-form deformation (FFD) approach and a moving intersections formulation. The symbolic differentiation and code generation capabilities in FEniCS are utilized to compute the analytical derivatives. By integrating FEniCS with OpenMDAO, we build modular components that facilitate gradient-based shape optimization of shell structures. The modular architecture in this work supports future extensions and integration with other disciplines and solvers, making it highly customizable and suitable for a wide range of applications. We validate the design-analysis-optimization workflow through several benchmark problems and demonstrate its application to aircraft wing design optimization. The framework is implemented in a Python library named GOLDFISH (Gradient-based Optimization and Large-scale Design Framework for Isogeometric SHells) and the source code will be maintained at https://github.com/hanzhao2020/GOLDFISH. △ Less

Submitted 4 February, 2025; v1 submitted 3 October, 2024; originally announced October 2024.

Comments: 39 pages, 14 figures

Kuroda's theorem for $n$-tuples in semifinite von Neumann algebras

Authors: Aleksey Ber, Fedor Sukochev, Dmitriy Zanin, Hongyin Zhao

Abstract: Let $\mathcal{M}$ be a semifinite von Neumann algebra and let $E$ be a symmetric function space on $(0,\infty)$. Denote by $E(\mathcal{M})$ the non-commutative symmetric space of measurable operators affiliated with $\mathcal{M}$ and associated with $E.$ Suppose $n\in \mathbb{N}$ and $E\cap L_{\infty}\not\subset L_{n,1}$, where $L_{n,1}$ is the Lorentz function space with the fundamental function… ▽ More Let $\mathcal{M}$ be a semifinite von Neumann algebra and let $E$ be a symmetric function space on $(0,\infty)$. Denote by $E(\mathcal{M})$ the non-commutative symmetric space of measurable operators affiliated with $\mathcal{M}$ and associated with $E.$ Suppose $n\in \mathbb{N}$ and $E\cap L_{\infty}\not\subset L_{n,1}$, where $L_{n,1}$ is the Lorentz function space with the fundamental function $\varphi(t)=t^{1/n}$. We prove that for every $\varepsilon>0$ and every commuting self-adjoint $n$-tuple $(α(j))_{j=1}^n,$ where $α(j)$ is affiliated with $\mathcal{M}$ for each $1\leq j\leq n,$ there exists a commuting $n$-tuple $(δ(j))_{j=1}^n$ of diagonal operators affiliated with $\mathcal{M}$ such that $\max\{\|α(j)-δ(j)\|_{E(\mathcal{M})},\|α(j)-δ(j)\|_{\infty}\}<\varepsilon$ for each $1\le j\le n$. In the special case when $\mathcal{M}=B(H)$, our results yield the classical Kuroda and Bercovici-Voiculescu theorems. △ Less

Submitted 6 December, 2024; v1 submitted 24 September, 2024; originally announced September 2024.

Global Smooth Radially Symmetric Solutions to a Multidimensional Radiation Hydrodynamics Model

Authors: Huijiang Zhao, Boran Zhu

Abstract: The motion of a compressible inviscid radiative flow can be described by the radiative Euler equations, which consists of the Euler system coupled with a Poisson equation for the radiative heat flux through the energy equation. Although solutions of the compressible Euler system will generally develop singularity no matter how smooth and small the initial data are, it is believed that the radiatio… ▽ More The motion of a compressible inviscid radiative flow can be described by the radiative Euler equations, which consists of the Euler system coupled with a Poisson equation for the radiative heat flux through the energy equation. Although solutions of the compressible Euler system will generally develop singularity no matter how smooth and small the initial data are, it is believed that the radiation effect does imply some dissipative mechanism, which can guarantee the global regularity of the solutions of the radiative Euler equations at least for small initial data. Such an expectation was rigorously justified for the one-dimensional case, as for the multidimensional case, to the best of our knowledge, no result was available up to now. The main purpose of this paper is to show that the initial-boundary value problem of such a radiative Euler equation in a three-dimensional bounded concentric annular domain does admit a unique global smooth radially symmetric solution provided that the initial data is sufficiently small. △ Less

Submitted 23 September, 2024; originally announced September 2024.

Large deviations principle for invariant measures of stochastic Burgers equations

Authors: Rui Bai, Chunrong Feng, Huaizhong Zhao

Abstract: We study the small noise asymptotic for stochastic Burgers equations on $(0,1)$ with Dirichlet boundary condition. We consider the case that the noise is more singular than space-time white noise. We let the noise magnitude $\sqrtε \rightarrow 0$ and the covariance operator $Q_ε$ is convergent to $(-Δ)^{\frac 1 2}$ and prove a large deviations principle for solutions, uniformly with respect to the… ▽ More We study the small noise asymptotic for stochastic Burgers equations on $(0,1)$ with Dirichlet boundary condition. We consider the case that the noise is more singular than space-time white noise. We let the noise magnitude $\sqrtε \rightarrow 0$ and the covariance operator $Q_ε$ is convergent to $(-Δ)^{\frac 1 2}$ and prove a large deviations principle for solutions, uniformly with respect to the initial value of equation. Furthermore, we set $Q_ε$ to be a trace class operator and converge to $(-Δ)^{\fracα{2}}$ with $α<1$ in a suitable way such that the invariant measures exist. Then, we prove the large deviations principle for the invariant measures of stochastic Burgers equations. △ Less

Submitted 29 November, 2024; v1 submitted 21 September, 2024; originally announced September 2024.

Comments: 52 pages

MSC Class: Primary 60H10; 60B10; secondary 37A50

Advancements in Log-P-Analytic Functions: Landau-Type Theorems and Their Refinements

Authors: Hanghang Zhao, Ming-Sheng Liu, Kit Ian Kou

Abstract: This work begins by introducing the groundbreaking concept of log-p-analytic functions. Following this introduction, we proceed to delineate four distinct formulations of Landau-type theorems, specifically crafted for the domain of poly-analytic functions. Among these, two theorems are distinguished by their exactitude, and a third theorem offers a refinement to the existing work of Abdulhadi and… ▽ More This work begins by introducing the groundbreaking concept of log-p-analytic functions. Following this introduction, we proceed to delineate four distinct formulations of Landau-type theorems, specifically crafted for the domain of poly-analytic functions. Among these, two theorems are distinguished by their exactitude, and a third theorem offers a refinement to the existing work of Abdulhadi and Hajj. Concluding the paper, we present four specialized versions of Landau-type theorems applicable to a subset of bounded log-p-analytic functions, resulting in the derivation of two precise outcomes. △ Less

Submitted 15 September, 2024; originally announced September 2024.

Comments: 18 pages, this article is with a journal since June 2024

LibMOON: A Gradient-based MultiObjective OptimizatioN Library in PyTorch

Authors: Xiaoyuan Zhang, Liang Zhao, Yingying Yu, Xi Lin, Yifan Chen, Han Zhao, Qingfu Zhang

Abstract: Multiobjective optimization problems (MOPs) are prevalent in machine learning, with applications in multi-task learning, learning under fairness or robustness constraints, etc. Instead of reducing multiple objective functions into a scalar objective, MOPs aim to optimize for the so-called Pareto optimality or Pareto set learning, which involves optimizing more than one objective function simultane… ▽ More Multiobjective optimization problems (MOPs) are prevalent in machine learning, with applications in multi-task learning, learning under fairness or robustness constraints, etc. Instead of reducing multiple objective functions into a scalar objective, MOPs aim to optimize for the so-called Pareto optimality or Pareto set learning, which involves optimizing more than one objective function simultaneously, over models with thousands / millions of parameters. Existing benchmark libraries for MOPs mainly focus on evolutionary algorithms, most of which are zeroth-order / meta-heuristic methods that do not effectively utilize higher-order information from objectives and cannot scale to large-scale models with thousands / millions of parameters. In light of the above gap, this paper introduces LibMOON, the first multiobjective optimization library that supports state-of-the-art gradient-based methods, provides a fair benchmark, and is open-sourced for the community. △ Less

Submitted 11 October, 2024; v1 submitted 4 September, 2024; originally announced September 2024.

Comments: NeurIPS 2024

$G$-BSDEs with mean constraints in time-dependent intervals

Authors: Zihao Gu, Hui Zhao

Abstract: In this paper, we study a collection of mean-reflected backward stochastic differential equations driven by $G$-Brownian motions ($G$-BSDEs), where $G$-expectations are constrained in some time-dependent intervals. To establish well-posedness results, we firstly construct a backward Skorokhod problem with sublinear expectation, and then apply that in the study of doubly mean-reflected $G$-BSDEs in… ▽ More In this paper, we study a collection of mean-reflected backward stochastic differential equations driven by $G$-Brownian motions ($G$-BSDEs), where $G$-expectations are constrained in some time-dependent intervals. To establish well-posedness results, we firstly construct a backward Skorokhod problem with sublinear expectation, and then apply that in the study of doubly mean-reflected $G$-BSDEs involving Lipschitz and quadratic generators under bounded and unbounded terminal conditions. Also we utilize fixed-point argumentations and $θ$-methods while solving these equations. Finally, we extend the results to multi-dimensional doubly mean-reflected $G$-BSDEs with diagonal generators. △ Less

Submitted 25 July, 2024; originally announced July 2024.

Mean-reflected $G$-BSDEs with multi-variate constraints

Authors: Yiqing Lin, Falei Wang, Hui Zhao

Abstract: In this paper, we study the multi-dimensional reflected backward stochastic differential equation driven by $G$-Brownian motion ($G$-BSDE) with a multi-variate constraint on the $G$-expectation of its solution. The generators are diagonally dependent on $Z$ and on all $Y$-components. We obtain the existence and uniqueness result via a fixed-point argumentation. In this paper, we study the multi-dimensional reflected backward stochastic differential equation driven by $G$-Brownian motion ($G$-BSDE) with a multi-variate constraint on the $G$-expectation of its solution. The generators are diagonally dependent on $Z$ and on all $Y$-components. We obtain the existence and uniqueness result via a fixed-point argumentation. △ Less

Submitted 24 July, 2024; originally announced July 2024.

Structured and Balanced Multi-Component and Multi-Layer Neural Networks

Authors: Shijun Zhang, Hongkai Zhao, Yimin Zhong, Haomin Zhou

Abstract: In this work, we propose a balanced multi-component and multi-layer neural network (MMNN) structure to accurately and efficiently approximate functions with complex features, in terms of both degrees of freedom and computational cost. The main idea is inspired by a multi-component approach, in which each component can be effectively approximated by a single-layer network, combined with a multi-lay… ▽ More In this work, we propose a balanced multi-component and multi-layer neural network (MMNN) structure to accurately and efficiently approximate functions with complex features, in terms of both degrees of freedom and computational cost. The main idea is inspired by a multi-component approach, in which each component can be effectively approximated by a single-layer network, combined with a multi-layer decomposition strategy to capture the complexity of the target function. Although MMNNs can be viewed as a simple modification of fully connected neural networks (FCNNs) or multi-layer perceptrons (MLPs) by introducing balanced multi-component structures, they achieve a significant reduction in training parameters, a much more efficient training process, and improved accuracy compared to FCNNs or MLPs. Extensive numerical experiments demonstrate the effectiveness of MMNNs in approximating highly oscillatory functions and their ability to automatically adapt to localized features. △ Less

Submitted 3 June, 2025; v1 submitted 30 June, 2024; originally announced July 2024.

Comments: Our codes and implementation details are available at https://github.com/ShijunZhangMath/MMNN

Shape optimization of non-matching isogeometric shells with moving intersections

Authors: Han Zhao, John T. Hwang, J. S. Chen

Abstract: While shape optimization using isogeometric shells exhibits appealing features by integrating design geometries and analysis models, challenges arise when addressing computer-aided design (CAD) geometries comprised of multiple non-uniform rational B-splines (NURBS) patches, which are common in practice. The intractability stems from surface intersections within these CAD models. In this paper, we… ▽ More While shape optimization using isogeometric shells exhibits appealing features by integrating design geometries and analysis models, challenges arise when addressing computer-aided design (CAD) geometries comprised of multiple non-uniform rational B-splines (NURBS) patches, which are common in practice. The intractability stems from surface intersections within these CAD models. In this paper, we develop an approach for shape optimization of non-matching isogeometric shells incorporating intersection movement. Separately parametrized NURBS surfaces are modeled using Kirchhoff--Love shell theory and coupled using a penalty-based formulation. The optimization scheme allows shell patches to move without preserving relative location with other members during the shape optimization. This flexibility is achieved through an implicit state function, and analytical sensitivities are derived for the relative movement of shell patches. The introduction of differentiable intersections expands the design space and overcomes challenges associated with large mesh distortion, particularly when optimal shapes involve significant movement of patch intersections in physical space. Throughout optimization iterations, all members within the shell structures maintain the NURBS geometry representation, enabling efficient integration of analysis and design models. The optimization approach leverages the multilevel design concept by selecting a refined model for accurate analysis from a coarse design model while maintaining the same geometry. We adopt several example problems to verify the effectiveness of the proposed scheme and demonstrate its applicability to the optimization of the internal stiffeners of an aircraft wing. △ Less

Submitted 28 June, 2024; originally announced July 2024.

Comments: 41 pages, 18 figures

Orthogonal bases of exponential functions for infinite convolutions

Authors: Jun Jie Miao, Hong Bo Zhao

Abstract: Let $μ$ denot the infinite convolution generated by $\{(N_k,B_k)\}_{k=1}^\infty$ given by $$ μ=δ_{{N_1}^{-1}B_1}\astδ_{(N_1N_2)^{-1}B_2}\ast\dots\astδ_{(N_1N_2\cdots N_k)^{-1}B_k} *\cdots. $$ where $B_k$ is a complete residue system for each integer $k>0$. We write $$ ν_{>k}=δ_{N_{k+1}^{-1} B_{k+1}} * δ_{(N_{k+1} N_{k+2})^{-1} B_{k+2}} * \cdots. $$ Since the elements in $B_k$ may have very large a… ▽ More Let $μ$ denot the infinite convolution generated by $\{(N_k,B_k)\}_{k=1}^\infty$ given by $$ μ=δ_{{N_1}^{-1}B_1}\astδ_{(N_1N_2)^{-1}B_2}\ast\dots\astδ_{(N_1N_2\cdots N_k)^{-1}B_k} *\cdots. $$ where $B_k$ is a complete residue system for each integer $k>0$. We write $$ ν_{>k}=δ_{N_{k+1}^{-1} B_{k+1}} * δ_{(N_{k+1} N_{k+2})^{-1} B_{k+2}} * \cdots. $$ Since the elements in $B_k$ may have very large absolute values, the infinite convolution may not be compactly supported. In this paper, we study the necessary and sufficient conditions for such infinite convolutions being a spectral measure. Generally, for such infinite convolutions, the necessary conditions for spectrality mainly depend on the properties of the polynomials generated by the complete residue systems. The main result shows that if every $B_k$ satisfies uniform discrete zero condition, and $\{ν_{>k}\}_{k=1}^\infty$ is {\it tight}, then $\# B_k | N_k$ for all integers $k\geq 2$. For some special complete residue systems $\{B_k\}_{k=1}^\infty$, we provide the necessary and sufficient conditions for $μ$ being a spectral measure. △ Less

Submitted 8 June, 2024; originally announced June 2024.

MSC Class: 42A85; 42C05

Compact Optimality Verification for Optimization Proxies

Authors: Wenbo Chen, Haoruo Zhao, Mathieu Tanneau, Pascal Van Hentenryck

Abstract: Recent years have witnessed increasing interest in optimization proxies, i.e., machine learning models that approximate the input-output mapping of parametric optimization problems and return near-optimal feasible solutions. Following recent work by (Nellikkath & Chatzivasileiadis, 2021), this paper reconsiders the optimality verification problem for optimization proxies, i.e., the determination o… ▽ More Recent years have witnessed increasing interest in optimization proxies, i.e., machine learning models that approximate the input-output mapping of parametric optimization problems and return near-optimal feasible solutions. Following recent work by (Nellikkath & Chatzivasileiadis, 2021), this paper reconsiders the optimality verification problem for optimization proxies, i.e., the determination of the worst-case optimality gap over the instance distribution. The paper proposes a compact formulation for optimality verification and a gradient-based primal heuristic that brings substantial computational benefits to the original formulation. The compact formulation is also more general and applies to non-convex optimization problems. The benefits of the compact formulation are demonstrated on large-scale DC Optimal Power Flow and knapsack problems. △ Less

Submitted 31 May, 2024; originally announced May 2024.

Comments: International Conference on Machine Learning 2024

Honda-Tate theory for log abelian varieties over finite fields

Authors: Xiaoyu Zhang, Heer Zhao

Abstract: In this article we study the Honda-Tate theory for log abelian varieties over an fs log point $S=(\mathrm{Spec}(\mathbf{k}),M_S)$ for $\mathbf{k}=\mathbb{F}_q$ a finite field, generalizing the classical Honda-Tate theory for abelian varieties over $\mathbf{k}$. For the standard log point $S$, we give a complete description of the isogeny classes of such log abelian varieties using Weil $q$-numbers… ▽ More In this article we study the Honda-Tate theory for log abelian varieties over an fs log point $S=(\mathrm{Spec}(\mathbf{k}),M_S)$ for $\mathbf{k}=\mathbb{F}_q$ a finite field, generalizing the classical Honda-Tate theory for abelian varieties over $\mathbf{k}$. For the standard log point $S$, we give a complete description of the isogeny classes of such log abelian varieties using Weil $q$-numbers of weight 0,1, and 2. In the general case where $M_S$ admits a global chart $P\to\mathbf{k}$ with $P=\mathbb{N}^k$, we also give a complete description of simple isogeny classes of log abelian varieties over $S$ in terms of rational points in generalized simplices. △ Less

Submitted 25 April, 2024; originally announced April 2024.

MSC Class: 14A21 (primary); 14K02; 11G99 (secondary)

Feel-Good Thompson Sampling for Contextual Dueling Bandits

Authors: Xuheng Li, Heyang Zhao, Quanquan Gu

Abstract: Contextual dueling bandits, where a learner compares two options based on context and receives feedback indicating which was preferred, extends classic dueling bandits by incorporating contextual information for decision-making and preference learning. Several algorithms based on the upper confidence bound (UCB) have been proposed for linear contextual dueling bandits. However, no algorithm based… ▽ More Contextual dueling bandits, where a learner compares two options based on context and receives feedback indicating which was preferred, extends classic dueling bandits by incorporating contextual information for decision-making and preference learning. Several algorithms based on the upper confidence bound (UCB) have been proposed for linear contextual dueling bandits. However, no algorithm based on posterior sampling has been developed in this setting, despite the empirical success observed in traditional contextual bandits. In this paper, we propose a Thompson sampling algorithm, named FGTS.CDB, for linear contextual dueling bandits. At the core of our algorithm is a new Feel-Good exploration term specifically tailored for dueling bandits. This term leverages the independence of the two selected arms, thereby avoiding a cross term in the analysis. We show that our algorithm achieves nearly minimax-optimal regret, i.e., $\tilde{\mathcal{O}}(d\sqrt T)$, where $d$ is the model dimension and $T$ is the time horizon. Finally, we evaluate our algorithm on synthetic data and observe that FGTS.CDB outperforms existing algorithms by a large margin. △ Less

Submitted 9 April, 2024; originally announced April 2024.

Comments: 30 pages, 6 figures

Diagonality modulo symmetric spaces in semifinite von Neumann algebras

Authors: Aleksey Ber, Fedor Sukochev, Dmitriy Zanin, Hongyin Zhao

Abstract: In the study on the diagonality of an $n$-tuple $α=(α(j))_{j=1}^n$ of commuting self-adjoint operators modulo a given $n$-tuple $Φ=(\mathcal{J}_1,\ldots,\mathcal{J}_n)$ of normed ideals in $B(H)$, Voiculescu introduced the notion of quasicentral modulus $k_Φ(α)$ and proved that $α$ is diagonal modulo $(\mathcal{J}_1,\ldots,\mathcal{J}_n)$ if and only if $k_Φ(α)=0.$ We prove that the same assertion… ▽ More In the study on the diagonality of an $n$-tuple $α=(α(j))_{j=1}^n$ of commuting self-adjoint operators modulo a given $n$-tuple $Φ=(\mathcal{J}_1,\ldots,\mathcal{J}_n)$ of normed ideals in $B(H)$, Voiculescu introduced the notion of quasicentral modulus $k_Φ(α)$ and proved that $α$ is diagonal modulo $(\mathcal{J}_1,\ldots,\mathcal{J}_n)$ if and only if $k_Φ(α)=0.$ We prove that the same assertion holds true when $B(H)$ is replaced with a $σ$-finite semifinite von Neumann algebra $\mathcal{M}$, and $\mathcal{J}_1,\ldots,\mathcal{J}_n$ are replaced with symmetric spaces $E_1(\mathcal{M}),\ldots,E_n(\mathcal{M})$ associated with $\mathcal{M}.$ △ Less

Submitted 17 June, 2024; v1 submitted 30 March, 2024; originally announced April 2024.

Globally-Optimal Greedy Experiment Selection for Active Sequential Estimation

Authors: Xiaoou Li, Hongru Zhao

Abstract: Motivated by modern applications such as computerized adaptive testing, sequential rank aggregation, and heterogeneous data source selection, we study the problem of active sequential estimation, which involves adaptively selecting experiments for sequentially collected data. The goal is to design experiment selection rules for more accurate model estimation. Greedy information-based experiment se… ▽ More Motivated by modern applications such as computerized adaptive testing, sequential rank aggregation, and heterogeneous data source selection, we study the problem of active sequential estimation, which involves adaptively selecting experiments for sequentially collected data. The goal is to design experiment selection rules for more accurate model estimation. Greedy information-based experiment selection methods, optimizing the information gain for one-step ahead, have been employed in practice thanks to their computational convenience, flexibility to context or task changes, and broad applicability. However, statistical analysis is restricted to one-dimensional cases due to the problem's combinatorial nature and the seemingly limited capacity of greedy algorithms, leaving the multidimensional problem open. In this study, we close the gap for multidimensional problems. In particular, we propose adopting a class of greedy experiment selection methods and provide statistical analysis for the maximum likelihood estimator following these selection rules. This class encompasses both existing methods and introduces new methods with improved numerical efficiency. We prove that these methods produce consistent and asymptotically normal estimators. Additionally, within a decision theory framework, we establish that the proposed methods achieve asymptotic optimality when the risk measure aligns with the selection rule. We also conduct extensive numerical studies on both simulated and real data to illustrate the efficacy of the proposed methods. From a technical perspective, we devise new analytical tools to address theoretical challenges. These analytical tools are of independent theoretical interest and may be reused in related problems involving stochastic approximation and sequential designs. △ Less

Submitted 13 February, 2024; originally announced February 2024.

Score-based Diffusion Models via Stochastic Differential Equations -- a Technical Tutorial

Authors: Wenpin Tang, Hanyang Zhao

Abstract: This is an expository article on the score-based diffusion models, with a particular focus on the formulation via stochastic differential equations (SDE). After a gentle introduction, we discuss the two pillars in the diffusion modeling -- sampling and score matching, which encompass the SDE/ODE sampling, score matching efficiency, the consistency models, and reinforcement learning. Short proofs a… ▽ More This is an expository article on the score-based diffusion models, with a particular focus on the formulation via stochastic differential equations (SDE). After a gentle introduction, we discuss the two pillars in the diffusion modeling -- sampling and score matching, which encompass the SDE/ODE sampling, score matching efficiency, the consistency models, and reinforcement learning. Short proofs are given to illustrate the main idea of the stated results. The article is primarily a technical introduction to the field, and practitioners may also find some analysis useful in designing new models or algorithms. △ Less

Submitted 5 July, 2025; v1 submitted 12 February, 2024; originally announced February 2024.

A criterion for Andrásfai--Erdős--Sós type theorems and applications

Authors: Jianfeng Hou, Xizhi Liu, Hongbin Zhao

Abstract: The classical Andrásfai--Erdős--Sós Theorem states that for $\ell\ge 2$, every $n$-vertex $K_{\ell+1}$-free graph with minimum degree greater than $\frac{3\ell-4}{3\ell-1}n$ must be $\ell$-partite. We establish a simple criterion for $r$-graphs, $r \geq 2$, to exhibit an Andrásfai--Erdős--Sós type property, also known as degree-stability. This leads to a classification of most previously studied h… ▽ More The classical Andrásfai--Erdős--Sós Theorem states that for $\ell\ge 2$, every $n$-vertex $K_{\ell+1}$-free graph with minimum degree greater than $\frac{3\ell-4}{3\ell-1}n$ must be $\ell$-partite. We establish a simple criterion for $r$-graphs, $r \geq 2$, to exhibit an Andrásfai--Erdős--Sós type property, also known as degree-stability. This leads to a classification of most previously studied hypergraph families with this property. An immediate application of this result, combined with a general theorem by Keevash--Lenz--Mubayi, solves the spectral Turán problems for a large class of hypergraphs. For every $r$-graph $F$ with degree-stability, there is a simple algorithm to decide the $F$-freeness of an $n$-vertex $r$-graph with minimum degree greater than $(π(F) - \varepsilon_F)\binom{n}{r-1}$ in time $O(n^r)$, where $\varepsilon_F >0$ is a constant. In particular, for the complete graph $K_{\ell+1}$, we can take $\varepsilon_{K_{\ell+1}} = (3\ell^2-\ell)^{-1}$, and this bound is tight up to some multiplicative constant factor unless $\mathbf{W[1]} = \mathbf{FPT}$. Based on a result by Chen--Huang--Kanj--Xia, we further show that for every fixed $C > 0$, this problem cannot be solved in time $n^{o(\ell)}$ if we replace $\varepsilon_{K_{\ell+1}}$ with $(C\ell)^{-1}$ unless $\mathbf{ETH}$ fails. Furthermore, we apply the degree-stability of $K_{\ell+1}$ to decide the $K_{\ell+1}$-freeness of graphs whose size is close to the Turán bound in time $(\ell+1)n^2$, partially improving a recent result by Fomin--Golovach--Sagunov--Simonov. As an intermediate step, we show that for a specific class of $r$-graphs $F$, the (surjective) $F$-coloring problem can be solved in time $O(n^r)$, provided the input $r$-graph has $n$ vertices and a large minimum degree, refining several previous results. △ Less

Submitted 20 May, 2024; v1 submitted 30 January, 2024; originally announced January 2024.

Comments: fixed some typos, changed the title, reorganized to enhance readability for combinatorial readers, comments are welcome

Optimal Investment with Herd Behaviour Using Rational Decision Decomposition

Authors: Huisheng Wang, H. Vicky Zhao

Abstract: In this paper, we study the optimal investment problem considering the herd behaviour between two agents, including one leading expert and one following agent whose decisions are influenced by those of the leading expert. In the objective functional of the optimal investment problem, we introduce the average deviation term to measure the distance between the two agents' decisions and use the varia… ▽ More In this paper, we study the optimal investment problem considering the herd behaviour between two agents, including one leading expert and one following agent whose decisions are influenced by those of the leading expert. In the objective functional of the optimal investment problem, we introduce the average deviation term to measure the distance between the two agents' decisions and use the variational method to find its analytical solution. To theoretically analyze the impact of the following agent's herd behaviour on his/her decision, we decompose his/her optimal decision into a convex linear combination of the two agents' rational decisions, which we call the rational decision decomposition. Furthermore, we define the weight function in the rational decision decomposition as the following agent's investment opinion to measure the preference of his/her own rational decision over that of the leading expert. We use the investment opinion to quantitatively analyze the impact of the herd behaviour, the following agent's initial wealth, the excess return, and the volatility of the risky asset on the optimal decision. We validate our analyses through numerical experiments on real stock data. This study is crucial to understanding investors' herd behaviour in decision-making and designing effective mechanisms to guide their decisions. △ Less

Submitted 15 July, 2024; v1 submitted 13 January, 2024; originally announced January 2024.

Bound Tightening using Rolling-Horizon Decomposition for Neural Network Verification

Authors: Haoruo Zhao, Hassan Hijazi, Haydn Jones, Juston Moore, Mathieu Tanneau, Pascal Van Hentenryck

Abstract: Neural network verification aims at providing formal guarantees on the output of trained neural networks, to ensure their robustness against adversarial examples and enable their deployment in safety-critical applications. This paper introduces a new approach to neural network verification using a novel mixed-integer programming rolling-horizon decomposition method. The algorithm leverages the lay… ▽ More Neural network verification aims at providing formal guarantees on the output of trained neural networks, to ensure their robustness against adversarial examples and enable their deployment in safety-critical applications. This paper introduces a new approach to neural network verification using a novel mixed-integer programming rolling-horizon decomposition method. The algorithm leverages the layered structure of neural networks, by employing optimization-based bound-tightening on smaller sub-graphs of the original network in a rolling-horizon fashion. This strategy strikes a balance between achieving tighter bounds and ensuring the tractability of the underlying mixed-integer programs. Extensive numerical experiments, conducted on instances from the VNN-COMP benchmark library, demonstrate that the proposed approach yields significantly improved bounds compared to existing effective bound propagation methods. Notably, the parallelizable nature of the proposed method proves effective in solving open verification problems. Our code is built and released as part of the open-source mathematical modeling tool Gravity (https://github.com/coin-or/Gravity), which is extended to support generic neural network models. △ Less

Submitted 29 March, 2024; v1 submitted 10 January, 2024; originally announced January 2024.

Data-Driven Estimation of Failure Probabilities in Correlated Structure-Preserving Stochastic Power System Models

Authors: Hongli Zhao, Tyler E. Maltba, D. Adrian Maldonado, Emil Constantinescu, Mihai Anitescu

Abstract: We propose a data-driven approach for propagating uncertainty in stochastic power grid simulations and apply it to the estimation of transmission line failure probabilities. A reduced-order equation governing the evolution of the observed line energy probability density function is derived from the Fokker--Planck equation of the full-order continuous Markov process. Our method consists of estimate… ▽ More We propose a data-driven approach for propagating uncertainty in stochastic power grid simulations and apply it to the estimation of transmission line failure probabilities. A reduced-order equation governing the evolution of the observed line energy probability density function is derived from the Fokker--Planck equation of the full-order continuous Markov process. Our method consists of estimates produced by numerically integrating this reduced equation. Numerical experiments for scalar- and vector-valued energy functions are conducted using the classical multimachine model under spatiotemporally correlated noise perturbation. The method demonstrates a more sample-efficient approach for computing probabilities of tail events when compared with kernel density estimation. Moreover, it produces vastly more accurate estimates of joint event occurrence when compared with independent models. △ Less

Submitted 4 January, 2024; originally announced January 2024.

Comments: 12 pages, 6 figures, and 1 table

Noncommutative Hamiltonian structures and quantizations on preprojective algebras

Authors: Hu Zhao

Abstract: Given a noncommutative Hamiltonian space $A$, we prove that the conjecture ``{\it quantization commutes with reduction}'' holds for $A$. We further construct a semidirect product algebra $A \rtimes \mG^A$, and establish a correspondence between equivariant sheaves on the representation space and left $A\rtimes\mG^A$-modules. In the quiver setting, using the quantum and classical trace maps, we est… ▽ More Given a noncommutative Hamiltonian space $A$, we prove that the conjecture ``{\it quantization commutes with reduction}'' holds for $A$. We further construct a semidirect product algebra $A \rtimes \mG^A$, and establish a correspondence between equivariant sheaves on the representation space and left $A\rtimes\mG^A$-modules. In the quiver setting, using the quantum and classical trace maps, we establish the explicit correspondence between quantizations of a preprojective algebra and those of a quiver variety. △ Less

Submitted 22 May, 2025; v1 submitted 29 December, 2023; originally announced December 2023.

Existence and spectrality of infinite convolutions generated by infinitely many admissible pairs

Authors: Junjie Miao, Hongbo Zhao

Abstract: In this paper, we study the spectrality of infinite convolutions generated by infinitely many admissible pairs which may not be compactly supported, where the spectrality means the corresponding square integrable function space admits a family of exponential functions as an orthonormal basis. First, we prove that the infinite convolution exists and is a spectral measure if the sequence of admiss… ▽ More In this paper, we study the spectrality of infinite convolutions generated by infinitely many admissible pairs which may not be compactly supported, where the spectrality means the corresponding square integrable function space admits a family of exponential functions as an orthonormal basis. First, we prove that the infinite convolution exists and is a spectral measure if the sequence of admissible pairs satisfies the remainder bounded condition, and it has a subsequence consisting of general consecutive sets. Then we show that the subsequence of general consecutive sets may be replaced by a general assumption, named $θ$-bounded condition. Finally, we investigate the infinite convolutions generated by special subsequences, and give a sufficient condition for the spectrality of such infinite convolutions. △ Less

Submitted 31 May, 2025; v1 submitted 28 December, 2023; originally announced December 2023.

Comments: 21 pages

MSC Class: 42A85; 42C05

Data-driven Closures & Assimilation for Stiff Multiscale Random Dynamics

Authors: Tyler E. Maltba, Hongli Zhao, D. Adrian Maldonado

Abstract: We introduce a data-driven and physics-informed framework for propagating uncertainty in stiff, multiscale random ordinary differential equations (RODEs) driven by correlated (colored) noise. Unlike systems subjected to Gaussian white noise, a deterministic equation for the joint probability density function (PDF) of RODE state variables does not exist in closed form. Moreover, such an equation wo… ▽ More We introduce a data-driven and physics-informed framework for propagating uncertainty in stiff, multiscale random ordinary differential equations (RODEs) driven by correlated (colored) noise. Unlike systems subjected to Gaussian white noise, a deterministic equation for the joint probability density function (PDF) of RODE state variables does not exist in closed form. Moreover, such an equation would require as many phase-space variables as there are states in the RODE system. To alleviate this curse of dimensionality, we instead derive exact, albeit unclosed, reduced-order PDF (RoPDF) equations for low-dimensional observables/quantities of interest. The unclosed terms take the form of state-dependent conditional expectations, which are directly estimated from data at sparse observation times. However, for systems exhibiting stiff, multiscale dynamics, data sparsity introduces regression discrepancies that compound during RoPDF evolution. This is overcome by introducing a kinetic-like defect term to the RoPDF equation, which is learned by assimilating in sparse, low-fidelity RoPDF estimates. Two assimilation methods are considered, namely nudging and deep neural networks, which are successfully tested against Monte Carlo simulations. △ Less

Submitted 15 December, 2023; originally announced December 2023.

Comments: 26 pages, 8 figures

MSC Class: 60H35; 34F05; 82C31; 65C20

Polar Linear Canonical Wavelet Transform: Theory and Its Application

Authors: Hui Zhao, Bing-Zhao Li

Abstract: The polar wavelet transform (PWT) has been proven to be a powerful mathematical tool for signal and image processing in recent years. Due to the increasing demand for directional representations of signals in engineering, it is impossible to fully exploit the intrinsic directional features of signals to describe high-dimensional signals like images. Focusing on this problem, the polar linear canon… ▽ More The polar wavelet transform (PWT) has been proven to be a powerful mathematical tool for signal and image processing in recent years. Due to the increasing demand for directional representations of signals in engineering, it is impossible to fully exploit the intrinsic directional features of signals to describe high-dimensional signals like images. Focusing on this problem, the polar linear canonical wavelet transform (PLCWT) is proposed in this paper. Firstly, the theory of the PLCWT is investigated in detail, including its definition, basic properties and inversion formula. Secondly, the convolution and correlation theorems of the PLCWT are derived. Thirdly, uncertainty principles related to the PLCWT are obtained. Finally, the potential application of the PLCWT in image edge detection is discussed. Simulation results verify the correctness and effectiveness of the proposed method. △ Less

Submitted 10 December, 2023; originally announced December 2023.

Comments: 33 pages, 7 figures

A Nearly Optimal and Low-Switching Algorithm for Reinforcement Learning with General Function Approximation

Authors: Heyang Zhao, Jiafan He, Quanquan Gu

Abstract: The exploration-exploitation dilemma has been a central challenge in reinforcement learning (RL) with complex model classes. In this paper, we propose a new algorithm, Monotonic Q-Learning with Upper Confidence Bound (MQL-UCB) for RL with general function approximation. Our key algorithmic design includes (1) a general deterministic policy-switching strategy that achieves low switching cost, (2) a… ▽ More The exploration-exploitation dilemma has been a central challenge in reinforcement learning (RL) with complex model classes. In this paper, we propose a new algorithm, Monotonic Q-Learning with Upper Confidence Bound (MQL-UCB) for RL with general function approximation. Our key algorithmic design includes (1) a general deterministic policy-switching strategy that achieves low switching cost, (2) a monotonic value function structure with carefully controlled function class complexity, and (3) a variance-weighted regression scheme that exploits historical trajectories with high data efficiency. MQL-UCB achieves minimax optimal regret of $\tilde{O}(d\sqrt{HK})$ when $K$ is sufficiently large and near-optimal policy switching cost of $\tilde{O}(dH)$, with $d$ being the eluder dimension of the function class, $H$ being the planning horizon, and $K$ being the number of episodes. Our work sheds light on designing provably sample-efficient and deployment-efficient Q-learning with nonlinear function approximation. △ Less

Submitted 26 November, 2023; originally announced November 2023.

Comments: 52 pages, 1 table

Explicit Foundation Model Optimization with Self-Attentive Feed-Forward Neural Units

Authors: Jake Ryland Williams, Haoran Zhao

Abstract: Iterative approximation methods using backpropagation enable the optimization of neural networks, but they remain computationally expensive, especially when used at scale. This paper presents an efficient alternative for optimizing neural networks that reduces the costs of scaling neural networks and provides high-efficiency optimizations for low-resource applications. We will discuss a general re… ▽ More Iterative approximation methods using backpropagation enable the optimization of neural networks, but they remain computationally expensive, especially when used at scale. This paper presents an efficient alternative for optimizing neural networks that reduces the costs of scaling neural networks and provides high-efficiency optimizations for low-resource applications. We will discuss a general result about feed-forward neural networks and then extend this solution to compositional (mult-layer) networks, which are applied to a simplified transformer block containing feed-forward and self-attention layers. These models are used to train highly-specified and complex multi-layer neural architectures that we refer to as self-attentive feed-forward unit (SAFFU) layers, which we use to develop a transformer that appears to generalize well over small, cognitively-feasible, volumes of data. Testing demonstrates explicit solutions outperform models optimized by backpropagation alone. Moreover, further application of backpropagation after explicit solutions leads to better optima from smaller scales of data, training effective models from much less data is enabled by explicit solution warm starts. We then carry out ablation experiments training a roadmap of about 250 transformer models over 1-million tokens to determine ideal settings. We find that multiple different architectural variants produce highly-performant models, and discover from this ablation that some of the best are not the most parameterized. This appears to indicate well-generalized models could be reached using less data by using explicit solutions, and that architectural exploration using explicit solutions pays dividends in guiding the search for efficient variants with fewer parameters, and which could be incorporated into low-resource hardware where AI might be embodied. △ Less

Submitted 13 November, 2023; originally announced November 2023.

Reducing the Need for Backpropagation and Discovering Better Optima With Explicit Optimizations of Neural Networks

Authors: Jake Ryland Williams, Haoran Zhao

Abstract: Iterative differential approximation methods that rely upon backpropagation have enabled the optimization of neural networks; however, at present, they remain computationally expensive, especially when training models at scale. In this paper, we propose a computationally efficient alternative for optimizing neural networks that can both reduce the costs of scaling neural networks and provide high-… ▽ More Iterative differential approximation methods that rely upon backpropagation have enabled the optimization of neural networks; however, at present, they remain computationally expensive, especially when training models at scale. In this paper, we propose a computationally efficient alternative for optimizing neural networks that can both reduce the costs of scaling neural networks and provide high-efficiency optimizations for low-resource applications. We derive an explicit solution to a simple feed-forward language model (LM) by mathematically analyzing its gradients. This solution generalizes from single-layer LMs to the class of all single-layer feed-forward softmax-activated neural models trained on positive-valued features, as is demonstrated by our extension of this solution application to MNIST digit classification. For both LM and digit classifiers, we find computationally that explicit solutions perform near-optimality in experiments showing that 1) iterative optimization only marginally improves the explicit solution parameters and 2) randomly initialized parameters iteratively optimize towards the explicit solution. We also preliminarily apply the explicit solution locally by layer in multi-layer networks and discuss how the solution's computational savings increase with model complexity -- for both single- and mult-layer applications of the explicit solution, we emphasize that the optima achieved cannot be reached by backpropagation alone, i.e., better optima appear discoverable only after explicit solutions are applied. Finally, we discuss the solution's computational savings alongside its impact on model interpretability and suggest future directions for the derivation of explicit solutions to complex- and multi-layer architectures. △ Less

Submitted 13 November, 2023; originally announced November 2023.

Log prismatic Dieudonné theory for log $p$-divisible groups over $\mathcal{O}_{K}$

Authors: Matti Würthen, Heer Zhao

Abstract: Let $\mathcal{O}_{K}$ be a complete discrete valuation ring of mixed characteristic with perfect residue field, endowed with its canonical log-structure. We prove that log $p$-divisible groups over $\mathcal{O}_{K}$ correspond to Dieudonné crystals on the absolute log-prismatic site of $\mathcal{O}_{K}$ endowed with the Kummer log-flat topology. The proof uses log-descent to reduce the problem to… ▽ More Let $\mathcal{O}_{K}$ be a complete discrete valuation ring of mixed characteristic with perfect residue field, endowed with its canonical log-structure. We prove that log $p$-divisible groups over $\mathcal{O}_{K}$ correspond to Dieudonné crystals on the absolute log-prismatic site of $\mathcal{O}_{K}$ endowed with the Kummer log-flat topology. The proof uses log-descent to reduce the problem to the classical prismatic correspondence, recently established by Anschütz-Le Bras. △ Less

Submitted 24 October, 2023; originally announced October 2023.

Comments: 19 pages