【前沿模型解析】一致性模型CM(一)| 离散时间模型到连续时间模型数学推导

文章目录


CM模型非常重要

引出了LCM等一系列重要工作

CM潜在性模型的数学公式推导并不好理解

一步一步,我分几期记录学习过程

在这里插入图片描述

描述了一个随机过程的离散化近似及其对应的随机微分方程(SDE)

1 离散时间模型

首先第一行,它定义了一个离散时间模型,其中 X i X_i Xi 表示时间 t i t_i ti 的状态:

X i = 1 − β i X i − 1 + β i ϵ i , i = 1 , . . . , N X_i = \sqrt{1-\beta_i}X_{i-1} + \sqrt{\beta_i}\epsilon_i, \quad i=1,...,N Xi=1βi Xi1+βi ϵi,i=1,...,N

其中:

  • β i = β ( t i ) Δ t \beta_i = \beta(t_i)\Delta t βi=β(ti)Δt β ( t ) \beta(t) β(t) 是一个时间相关的函数。
  • Δ t = T / N \Delta t = T/N Δt=T/N,表示时间步长。
  • ϵ i \epsilon_i ϵi 是独立同分布的随机变量。

当时间步长 Δ t \Delta t Δt 趋近于 0,即 N N N 趋近于无穷时,该模型可以用来逼近一个连续时间随机

2 连续时间模型 得到 SDE 随机微分方程

通过对离散模型进行近似,我们可以得到一个描述 x ( t ) x(t) x(t) 的随机微分方程 (SDE):

d x = − 1 2 β ( t ) x ( t ) d t + β ( t ) d W ( t ) , t ∈ [ 0 , T ] dx = -\frac{1}{2}\beta(t)x(t)dt + \sqrt{\beta(t)}dW(t), \quad t \in [0,T] dx=21β(t)x(t)dt+β(t) dW(t),t[0,T]

其中:

  • W ( t ) W(t) W(t) 是一个标准的 Wiener 过程 (布朗运动)。
  • β ( t ) \beta(t) β(t) 与离散模型中的定义相同。

2.1 从离散模型到SDE的推理步骤

1. 展开:

首先,我们将 X i X_i Xi X i − 1 X_{i-1} Xi1 展开:

X i ≈ X i − 1 + Δ X i X_i \approx X_{i-1} + \Delta X_i XiXi1+ΔXi

即可得到

$\Delta X_i \approx X_i - X_{i-1} $

2. 将离散模型代入:

然后,我们将离散模型的表达式代入右边 X i X_i Xi

Δ X i = X i − X i − 1 = ( 1 − β i − 1 ) X i − 1 + β i ϵ i \Delta X_i = X_i - X_{i-1} = (\sqrt{1-\beta_i}-1)X_{i-1} + \sqrt{\beta_i}\epsilon_i ΔXi=XiXi1=(1βi 1)Xi1+βi ϵi

由于 Δ t \Delta t Δt 很小,所以$\beta_i $趋近于0,我们可以用一级泰勒展开近似 1 − β i \sqrt{1-\beta_i} 1βi

1 − β i ≈ 1 − 1 2 β i \sqrt{1-\beta_i} \approx 1 - \frac{1}{2}\beta_i 1βi 121βi

代入上式,得到:

Δ X i ≈ − 1 2 β i X i − 1 + β i ϵ i \Delta X_i \approx -\frac{1}{2}\beta_i X_{i-1} + \sqrt{\beta_i}\epsilon_i ΔXi21βiXi1+βi ϵi

3. 替换变量并取极限:

  • β i \beta_i βi 替换为 β ( t i ) Δ t \beta(t_i)\Delta t β(ti)Δt
  • ϵ i \epsilon_i ϵi 替换为 Δ W i = W ( t i ) − W ( t i − 1 ) \Delta W_i = W(t_i) - W(t_{i-1}) ΔWi=W(ti)W(ti1),其中 W ( t ) W(t) W(t) 是标准 Wiener 过程 (布朗运动)。
  • Δ X i \Delta X_i ΔXi 替换为 d x dx dx,将 X i − 1 X_{i-1} Xi1 替换为 x ( t ) x(t) x(t)
  • 取极限 Δ t → 0 \Delta t \to 0 Δt0,得到 SDE:

d x = − 1 2 β ( t ) x ( t ) d t + β ( t ) d W ( t ) dx = -\frac{1}{2}\beta(t)x(t)dt + \sqrt{\beta(t)}dW(t) dx=21β(t)x(t)dt+β(t) dW(t)

3 补充:泰勒展开近似 1 − β i \sqrt{1-\beta_i} 1βi

由于 β i = β ( t i ) Δ t \beta_i = \beta(t_i)\Delta t βi=β(ti)Δt,当 Δ t \Delta t Δt 很小时, β i \beta_i βi 也会很小。因此,我们可以使用泰勒级数展开来近似 1 − β i \sqrt{1-\beta_i} 1βi

泰勒级数展开式:

函数 f ( x ) f(x) f(x) x = a x=a x=a 处的泰勒级数展开式为:

f ( x ) = f ( a ) + f ′ ( a ) ( x − a ) + f ′ ′ ( a ) 2 ! ( x − a ) 2 + . . . + f ( n ) ( a ) n ! ( x − a ) n + R n ( x ) f(x) = f(a) + f'(a)(x-a) + \frac{f''(a)}{2!}(x-a)^2 + ... + \frac{f^{(n)}(a)}{n!}(x-a)^n + R_n(x) f(x)=f(a)+f(a)(xa)+2!f′′(a)(xa)2+...+n!f(n)(a)(xa)n+Rn(x)

其中, R n ( x ) R_n(x) Rn(x) 是余项,表示展开式的误差。

应用于 1 − β i \sqrt{1-\beta_i} 1βi

我们将 f ( x ) = 1 − x f(x) = \sqrt{1-x} f(x)=1x a = 0 a=0 a=0,代入泰勒级数展开式,得到:

f ( x ) = 1 − x = 1 − 1 2 x − 1 8 x 2 − . . . f(x) = \sqrt{1-x} = 1 - \frac{1}{2}x - \frac{1}{8}x^2 - ... f(x)=1x =121x81x2...

由于 β i \beta_i βi 很小,我们可以忽略高阶项,得到近似式:

1 − β i ≈ 1 − 1 2 β i \sqrt{1-\beta_i} \approx 1 - \frac{1}{2}\beta_i 1βi 121βi

总结:

通过泰勒级数展开,我们将 1 − β i \sqrt{1-\beta_i} 1βi 近似为 1 − 1 2 β i 1 - \frac{1}{2}\beta_i 121βi,从而简化了离散模型,并最终推导出了对应的 SDE。

后面证明了SDE对应一个ODE,可以用常微分方程来解决

潜在一致性模型LCM学习笔记 - 知乎 (zhihu.com)

潜在一致性模型LCM学习笔记 - 知乎 (zhihu.com)

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/bicheng/7288.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Springboot框架web开发实用功能-02

在些模块中汇总了一些web开发常用的配置和功能。 涉及的模块 springboot-common-config, 端口号:17000 Springboot框架web开发常用功能 Restful接口定义 查询参数 Data public class QueryParam {private String key;private String value; }Control…

C#上位机源程序 下位机单片机实现控制电机

基于C#的上位机编程程序&#xff0c;通过上位机控制下位机实现电脑操作控制步进电机的转动 程序 #include<reg52.h>#define uchar unsigned char#define uint unsigned int#include "2401.h"#include "delay.h"#include "ds18b20.h"sbit I…

力扣每日一题110:平衡二叉树

题目 简单 给定一个二叉树&#xff0c;判断它是否是 平衡二叉树 示例 1&#xff1a; 输入&#xff1a;root [3,9,20,null,null,15,7] 输出&#xff1a;true示例 2&#xff1a; 输入&#xff1a;root [1,2,2,3,3,null,null,4,4] 输出&#xff1a;false示例 3&#xff1a; …

python从0开始学习(四)

目录 前言 1、算数运算符 1.1 //:整除运算符 1.2 %:取模操作 1.3 **&#xff1a;幂运算 2、赋值运算符 3、比较运算符 4、逻辑运算符 5、位运算符 5.1 &&#xff1a;按位与 5.2 |&#xff1a;按位或 5.3 ^&#xff1a;按位异或 5.4 ~&#xff1a;按位取反 5.5…

Linux学习笔记(3)---- Debian测试网速指令及查看是否千兆网卡

测试网速指令 在Debian系统中&#xff0c;测网速的指令主要有以下几种方法&#xff1a; 使用speedtest-cli工具&#xff1a; speedtest-cli是一个常用的网络速度测试工具&#xff0c;可以通过命令行进行安装和运行。首先&#xff0c;需要安装speedtest-cli&#xff1a; sud…

工业物联网技术在生产流程中的应用及优势与挑战——青创智通

工业物联网解决方案-工业IOT-青创智通 随着科技的不断发展&#xff0c;物联网技术逐渐渗透到各个行业中&#xff0c;尤其是在工业领域&#xff0c;工业物联网的应用正在逐步重塑生产流程。本文将探讨工业物联网如何影响生产流程&#xff0c;并分析其带来的优势和挑战。 一、工…

k8s保持pod健康

存活探针 Kubemetes 可以通过存活探针 (liveness probe) 检查容器是否还在运行。可以为 pod 中的每个容器单独指定存活探针。如果探测失败&#xff0c;Kubemetes 将定期执行探针并重新启动容器。 Kubemetes 有以下三种探测容器的机制&#xff1a; HTTP GET 探针对容器的 IP 地…

java学习记录最后一篇

面向对象编程 封装 该露的露&#xff0c;该藏的藏 我们程序设计要追求“高内聚&#xff0c;低耦合”。高内聚就是类的内部数据细节由自己完成&#xff0c;不允许外部干涉&#xff1b;低耦合&#xff1a;仅暴露少量的方法给外部使用。 封装&#xff08;数据的隐藏&#xff0…

AI部署指南

部署指南 建议大家尽可能的自己去部署&#xff0c;如果实在懒得搞&#xff0c;可以找我来帮你部署&#xff0c;详情参考 服务器代部署说明。 由于时间仓促&#xff0c;文档可能尚未详尽&#xff0c;我将在后续逐步补充详细的说明文档。 架构草图 项目依赖 必选依赖 MySQ…

5月3日江苏某厂冷却塔清洗工作汇报-智渍洁

5月3日 施工人员&#xff1a;张能超&#xff0c;张伟&#xff0c;刘平&#xff0c;曾巧 施工事项&#xff1a;空冷器脱脂 今日工作进度&#xff0c;清洗6台遇到的问题&#xff0c;就是那个喷雾器不经用&#xff0c;一会儿又坏了 重庆智渍洁环保科技有限公司专注于工业清洗&…

记录创建项目java version 没有8的问题

问题&#xff1a; 解决方案 java版本选择21&#xff08;21可以兼容jdk8&#xff09; SpringBoot选择3.2.5 进入项目后手动在pom.xml中修改版本

安卓手机原生运行 ARM Ubuntu 24.04 桌面版(一)

本篇文章&#xff0c;聊一聊尝试让安卓手机原生运行 Ubuntu&#xff0c;尤其是运行官方未发布过的 ARM 架构的 Ubuntu 24.04 桌面版本。 写在前面 最近的几篇文章&#xff0c;都包含了比较多的实操内容、需要反复的复现验证&#xff0c;以及大量的调试过程&#xff0c;为了不…

Sy9-dhcp/dns服务配置

前言、 课程需要&#xff08;进入服务器综合配置使用阶段了&#xff09;&#xff0c;这里还是沿用桌面版的ubuntu来配置dhcp和dns&#xff0c;这里updated了新的版本。2024.5 server端环境&#xff1a; Win11VMS&#xff1a;192.168.105.1192.168.105.128 &#xff08;ubuntu…

vivado UltraScale 比特流设置

下表所示 UltraScale ™ 器件的器件配置设置可搭配 set_property <Setting> <Value> [current_design] Vivado 工具 Tcl 命令一起使用。

第08章 IP分类编址和无分类编址

8.1 本章目标 了解IP地址的用途和种类了解分类编址和无分类编址区别掌握IP地址、子网掩码、网关概念及使用掌握子网划分及超网划分方法掌握无分类编址的改变和使用 8.2 IP地址的用途和种类 分类编址&#xff1a;造成地址的浪费&#xff0c;以及地址不够用&#xff1b;无分类编…

寒武纪及瑞芯微平台调用加速调研

文章目录 1 寒武纪加速平台简介1.1 加速平台简介1.1.1 算力硬件1.1.2 配套软件 1.2 部署流程简介1.3 部署环境搭建1.3.1 安装驱动1.3.2 安装CNToolKit1.3.3 配置模型移植开发环境 1.4 模型部署1.4.1 模型转换旧文件格式1.4.2 量化模型生成1.4.3 验证结果1.4.4 离线模型生成 1 寒…

【自用】了解移动存储卡的基本信息

前言 本文是看B站视频做的一个简单笔记&#xff0c;方便日后自己快速回顾&#xff0c;内容主要介绍了存储卡基本参数&#xff0c;了解卡面上的数字、图标代表的含义。对于日后如何挑选判断一张存储卡的好坏、判别一张存储卡是否合格有一定帮助。 视频参考链接&#xff1a;【硬…

【StarRocks系列】 Trino 方言支持

我们在之前的文章中&#xff0c;介绍了 Doris 官方提供的两种方言转换工具&#xff0c;分别是 sql convertor 和方言 plugin。StarRocks 目前同样也提供了类似的方言转换功能。本文我们就一起来看一下这个功能的实现与 Doris 相比有何不同。 一、Trino 方言验证 我们可以通过…

HTTP、RTSP、RTMP、RTP,RTCP,HLS,MMS的概念、区别、用法

背景知识 先有TCP/IP协议簇 5层模型&#xff0c;后有DoD 4层模型&#xff0c;再有OSI 7层模型。 TCP/IP协议簇&#xff08;TCP/IP Suite&#xff09;除了代表TCP与IP这两种通讯协议外&#xff0c;更包含了与TCP/IP相关的数十种通讯协议&#xff0c;例如&#xff1a;SMTP、DNS、…

使用docker-compose编排Lnmp(dockerfile) 完成Wordpress

目录 一、 Docker-Compose 1.1Docker-Compose介绍 1.2环境准备 1.2.1准备容器目录及相关文件 1.2.2关闭防火墙关闭防护 1.2.3下载centos:7镜像 1.3Docker-Compose 编排nginx 1.3.1切换工作目录 1.3.2编写 Dockerfile 文件 1.3.3修改nginx.conf配置文件 1.4Docker-Co…