Searcharxiv⌕ Search

arXiv subjects

Peng Cheng

Publications and source records attributed to Peng Cheng.

At least 181 records · Page 10Linked to original sources

Masked Diffusion Models Are Fast Distribution Learners

Diffusion model has emerged as the \emph{de-facto} model for image generation, yet the heavy training overhead hinders its broader adoption in the research community. We observe that diffusion models are commonly trained to learn all fine-grained visual information from scratch. This paradigm may cause unnecessary training costs hence requiring in-depth investigation. In this work, we show that it suffices to train a strong diffusion model by first pre-training the model to learn some primer distribution that loosely characterizes the unknown real image distribution. Then the pre-trained model can be fine-tuned for various generation tasks efficiently. In the pre-training stage, we propose to mask a high proportion (e.g., up to 90\%) of input images to approximately represent the primer distribution and introduce a masked denoising score matching objective to train a model to denoise visible areas. In subsequent fine-tuning stage, we efficiently train diffusion model without masking. Utilizing the two-stage training framework, we achieves significant training acceleration and a new FID score record of 6.27 on CelebA-HQ $256 \times 256$ for ViT-based diffusion models. The generalizability of a pre-trained model further helps building models that perform better than ones trained from scratch on different downstream datasets. For instance, a diffusion model pre-trained on VGGFace2 attains a 46\% quality improvement when fine-tuned on a different dataset that contains only 3000 images. Our code is available at \url{https://github.com/jiachenlei/maskdm}.

cs.CV↗

Flat F-theory and friends

We discuss F-theory backgrounds associated to flat torus bundles over Ricci-flat manifolds. In this setting the F-theory background can be understood as a IIB orientifold with a large radius limit described by a supersymmetric compactification of IIB supergravity on a smooth, Ricci flat, but in general non-spin geometry. When compactified on an additional circle these backgrounds are T-dual to IIA compactifications on smooth non-orientable manifolds with a Pin-minus structure.

hep-th↗

Heuristic Learning for Co-Design Scheme of Optimal Sequential Attack

This paper considers a novel co-design problem of the optimal \textit{sequential} attack, whose attack strategy changes with the time series, and in which the \textit{sequential} attack selection strategy and \textit{sequential} attack signal are simultaneously designed. Different from the existing attack design works that separately focus on attack subsets or attack signals, the joint design of the attack strategy poses a huge challenge due to the deep coupling relation between the \textit{sequential} attack selection strategy and \textit{sequential} attack signal. In this manuscript, we decompose the sequential co-design problem into two equivalent sub-problems. Specifically, we first derive an analytical closed-form expression between the optimal attack signal and the sequential attack selection strategy. Furthermore, we prove the finite-time inverse convergence of the critical parameters in the injected optimal attack signal by discrete-time Lyapunov analysis, which enables the efficient off-line design of the attack signal and saves computing resources. Finally, we exploit its relationship to design a heuristic two-stage learning-based joint attack algorithm (HTL-JA), which can accelerate realization of the attack target compared to the one-stage proximal-policy-optimization-based (PPO) algorithm. Extensive simulations are conducted to show the effectiveness of the injected optimal sequential attack.

math.OC↗

Look Beneath the Surface: Exploiting Fundamental Symmetry for Sample-Efficient Offline RL

Offline reinforcement learning (RL) offers an appealing approach to real-world tasks by learning policies from pre-collected datasets without interacting with the environment. However, the performance of existing offline RL algorithms heavily depends on the scale and state-action space coverage of datasets. Real-world data collection is often expensive and uncontrollable, leading to small and narrowly covered datasets and posing significant challenges for practical deployments of offline RL. In this paper, we provide a new insight that leveraging the fundamental symmetry of system dynamics can substantially enhance offline RL performance under small datasets. Specifically, we propose a Time-reversal symmetry (T-symmetry) enforced Dynamics Model (TDM), which establishes consistency between a pair of forward and reverse latent dynamics. TDM provides both well-behaved representations for small datasets and a new reliability measure for OOD samples based on compliance with the T-symmetry. These can be readily used to construct a new offline RL algorithm (TSRL) with less conservative policy constraints and a reliable latent space data augmentation procedure. Based on extensive experiments, we find TSRL achieves great performance on small benchmark datasets with as few as 1% of the original samples, which significantly outperforms the recent offline RL algorithms in terms of data efficiency and generalizability.Code is available at: https://github.com/pcheng2/TSRL

cs.LG↗

Skywork: A More Open Bilingual Foundation Model

In this technical report, we present Skywork-13B, a family of large language models (LLMs) trained on a corpus of over 3.2 trillion tokens drawn from both English and Chinese texts. This bilingual foundation model is the most extensively trained and openly published LLMs of comparable size to date. We introduce a two-stage training methodology using a segmented corpus, targeting general purpose training and then domain-specific enhancement training, respectively. We show that our model not only excels on popular benchmarks, but also achieves \emph{state of the art} performance in Chinese language modeling on diverse domains. Furthermore, we propose a novel leakage detection method, demonstrating that test data contamination is a pressing issue warranting further investigation by the LLM community. To spur future research, we release Skywork-13B along with checkpoints obtained during intermediate stages of the training process. We are also releasing part of our SkyPile corpus, a collection of over 150 billion tokens of web text, which is the largest high quality open Chinese pre-training corpus to date. We hope Skywork-13B and our open corpus will serve as a valuable open-source resource to democratize access to high-quality LLMs.

cs.CL↗

Towards an Effective and Efficient Transformer for Rain-by-snow Weather Removal

Rain-by-snow weather removal is a specialized task in weather-degraded image restoration aiming to eliminate coexisting rain streaks and snow particles. In this paper, we propose RSFormer, an efficient and effective Transformer that addresses this challenge. Initially, we explore the proximity of convolution networks (ConvNets) and vision Transformers (ViTs) in hierarchical architectures and experimentally find they perform approximately at intra-stage feature learning. On this basis, we utilize a Transformer-like convolution block (TCB) that replaces the computationally expensive self-attention while preserving attention characteristics for adapting to input content. We also demonstrate that cross-stage progression is critical for performance improvement, and propose a global-local self-attention sampling mechanism (GLASM) that down-/up-samples features while capturing both global and local dependencies. Finally, we synthesize two novel rain-by-snow datasets, RSCityScape and RS100K, to evaluate our proposed RSFormer. Extensive experiments verify that RSFormer achieves the best trade-off between performance and time-consumption compared to other restoration methods. For instance, it outperforms Restormer with a 1.53% reduction in the number of parameters and a 15.6% reduction in inference time. Datasets, source code and pre-trained models are available at \url{https://github.com/chdwyb/RSFormer}.

cs.CV↗

PrivGraph: Differentially Private Graph Data Publication by Exploiting Community Information

Graph data is used in a wide range of applications, while analyzing graph data without protection is prone to privacy breach risks. To mitigate the privacy risks, we resort to the standard technique of differential privacy to publish a synthetic graph. However, existing differentially private graph synthesis approaches either introduce excessive noise by directly perturbing the adjacency matrix, or suffer significant information loss during the graph encoding process. In this paper, we propose an effective graph synthesis algorithm PrivGraph by exploiting the community information. Concretely, PrivGraph differentially privately partitions the private graph into communities, extracts intra-community and inter-community information, and reconstructs the graph from the extracted graph information. We validate the effectiveness of PrivGraph on six real-world graph datasets and seven commonly used graph metrics.

cs.CR↗

FeGe1-xSbx:a series of novel kagome metals with noncollinear antiferromagnetism

Kagome metals are important for exploring emergent phenomena due to the interplay between band topology and electron correlation.Motivated by the recent discovery of charge density wave in a kagome lattice antiferromagnetic FeGe,we investigate the impact of Sb doping on the structural,charge and magnetic order of FeGe.The charge density wave is rapidly suppressed by Sb doping(~1.5%) and the antiferromagnetic ordering temperature gradually shifts to 280K for FeGe0.7Sb0.3.For FeGe1-xSbx with x>0.1,crystal structures with slightly distorted Fe kagome lattice are formed.Their magnetic anisotropy has significant change,temperature driven spin-reorientation and field-induced spin-flop transition are identified from magnetization measurement.Interestingly,neutron diffraction reveals noncollinear antiferromagnetic structures widely exist below TN for all sample with x>0.1.This noncollinear magnetic orders could possibly be unconventional and resulted from onsite repulsion and filling condition of kagome flat band,as predicted by a recent theoretical work.

cond-mat.str-el↗

Circumventing the black hole hair-loss problem

We provide a possible way of avoiding the hair-loss problem by studying gauge fluctuations on a classical Schwarzschild black hole background. The hair-loss problem arises due to the small fidelity of reconstructing the interior operator at the end stage of the evaporation, which is general in most schemes trying to decouple the early and late radiation to avoid firewall. To circumvent the problem, we put the black hole in a cavity as a toy model and study the entropy behavior of the system with different temperatures. By analyzing gauge fluctuations with nontrivial boundary conditions, we find that the entropy of the black hole system increases at the end stage, rather than directly dropping to zero. Besides the end stage, the entropy is the same as Page's original argument. The hair-loss problem can be avoided by the proposed model and we can gain important insights into the end stage of the evaporation and quantum effects of gravity.

hep-th↗

K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs

Programmable Logic Controllers (PLCs) are responsible for automating process control in many industrial systems (e.g. in manufacturing and public infrastructure), and thus it is critical to ensure that they operate correctly and safely. The majority of PLCs are programmed in languages such as Structured Text (ST). However, a lack of formal semantics makes it difficult to ascertain the correctness of their translators and compilers, which vary from vendor-to-vendor. In this work, we develop K-ST, a formal executable semantics for ST in the K framework. Defined with respect to the IEC 61131-3 standard and PLC vendor manuals, K-ST is a high-level reference semantics that can be used to evaluate the correctness and consistency of different ST implementations. We validate K-ST by executing 509 ST programs extracted from Github and comparing the results against existing commercial compilers (i.e., CODESYS, CX-Programmer, and GX Works2). We then apply K-ST to validate the implementation of the open source OpenPLC platform, comparing the executions of several test programs to uncover five bugs and nine functional defects in the compiler.

cs.PL↗

ORL-AUDITOR: Dataset Auditing in Offline Deep Reinforcement Learning

Data is a critical asset in AI, as high-quality datasets can significantly improve the performance of machine learning models. In safety-critical domains such as autonomous vehicles, offline deep reinforcement learning (offline DRL) is frequently used to train models on pre-collected datasets, as opposed to training these models by interacting with the real-world environment as the online DRL. To support the development of these models, many institutions make datasets publicly available with opensource licenses, but these datasets are at risk of potential misuse or infringement. Injecting watermarks to the dataset may protect the intellectual property of the data, but it cannot handle datasets that have already been published and is infeasible to be altered afterward. Other existing solutions, such as dataset inference and membership inference, do not work well in the offline DRL scenario due to the diverse model behavior characteristics and offline setting constraints. In this paper, we advocate a new paradigm by leveraging the fact that cumulative rewards can act as a unique identifier that distinguishes DRL models trained on a specific dataset. To this end, we propose ORL-AUDITOR, which is the first trajectory-level dataset auditing mechanism for offline RL scenarios. Our experiments on multiple offline DRL models and tasks reveal the efficacy of ORL-AUDITOR, with auditing accuracy over 95% and false positive rates less than 2.88%. We also provide valuable insights into the practical implementation of ORL-AUDITOR by studying various parameter settings. Furthermore, we demonstrate the auditing capability of ORL-AUDITOR on open-source datasets from Google and DeepMind, highlighting its effectiveness in auditing published datasets. ORL-AUDITOR is open-sourced at https://github.com/link-zju/ORL-Auditor.

cs.CR↗

Soft theorems in curved spacetime

In this paper, we derive a soft photon theorem in the near horizon region of the Schwarzschild black hole from the Ward identity of the near horizon large gauge transformation. The flat spacetime soft photon theorem can be recovered as a limiting case of the curved spacetime. The soft photons on the horizon are indeed soft electric hairs. This accomplishes the triangle equivalence on the black hole horizon.

hep-th↗

Soft gluon theorems in curved spacetime

In this paper, we derive a soft gluon theorem in the near horizon region of the Schwarzschild black hole from the Ward identity of the near horizon large gauge transformation. The flat spacetime soft gluon theorem can be recovered as a limiting case of the curved spacetime.

hep-th↗

Online Ridesharing with Meeting Points [Technical Report]

Nowadays, ridesharing becomes a popular commuting mode. Dynamically arriving riders post their origins and destinations, then the platform assigns drivers to serve them. In ridesharing, different groups of riders can be served by one driver if their trips can share common routes. Recently, many ridesharing companies (e.g., Didi and Uber) further propose a new mode, namely "ridesharing with meeting points". Specifically, with a short walking distance but less payment, riders can be picked up and dropped off around their origins and destinations, respectively. In addition, meeting points enables more flexible routing for drivers, which can potentially improve the global profit of the system. In this paper, we first formally define the Meeting-Point-based Online Ridesharing Problem (MORP). We prove that MORP is NP-hard and there is no polynomial-time deterministic algorithm with a constant competitive ratio for it. We notice that a structure of vertex set, $k$-skip cover, fits well to the MORP. $k$-skip cover tends to find the vertices (meeting points) that are convenient for riders and drivers to come and go. With meeting points, MORP tends to serve more riders with these convenient vertices. Based on the idea, we introduce a convenience-based meeting point candidates selection algorithm. We further propose a hierarchical meeting-point oriented graph (HMPO graph), which ranks vertices for assignment effectiveness and constructs $k$-skip cover to accelerate the whole assignment process. Finally, we utilize the merits of $k$-skip cover points for ridesharing and propose a novel algorithm, namely SMDB, to solve MORP. Extensive experiments on real and synthetic datasets validate the effectiveness and efficiency of our algorithms.

cs.DB↗

Efficient Non-Learning Similar Subtrajectory Search

Similar subtrajectory search is a finer-grained operator that can better capture the similarities between one query trajectory and a portion of a data trajectory than the traditional similar trajectory search, which requires the two checked trajectories are similar to each other in whole. Many real applications (e.g., trajectory clustering and trajectory join) utilize similar subtrajectory search as a basic operator. It is considered that the time complexity is O(mn^2) for exact algorithms to solve the similar subtrajectory search problem under most trajectory distance functions in the existing studies, where m is the length of the query trajectory and n is the length of the data trajectory. In this paper, to the best of our knowledge, we are the first to propose an exact algorithm to solve the similar subtrajectory search problem in O(mn) time for most of widely used trajectory distance functions (e.g., WED, DTW, ERP, EDR and Frechet distance). Through extensive experiments on three real datasets, we demonstrate the efficiency and effectiveness of our proposed algorithms.

cs.DB↗

A black hole toy model with non-local and boundary modes from non-trivial boundary conditions

We study gauge theories between two parallel boundaries with non-trivial boundary conditions, which serve as a toy model for black hole background with two boundaries near the horizon and infinite, aiming for a better understanding of the Bekenstein-Hawking entropy. The new set of boundary conditions allows boundary modes and non-local modes that interplay between the two boundaries. Those boundary modes and Wilson lines stretched between the two boundaries are carefully analyzed and are confirmed as physical variables in the phase space. Along with bulk fluctuation modes and topological modes, the partition function and entropy of all physical modes are evaluated via Euclidean path integral. It is shown that there are transitions between the dominance of different modes as we vary the temperature. The boundary fluctuation modes whose entropy is proportional to the volume dominate at high temperatures, and the boundary-area scaled boundary modes and Wilson lines are the more important at low temperatures. At super-low temperatures, when all the fluctuation modes die off, we see the topological modes whose entropy is the logarithm of the length scales of the system. The boundary modes and non-local modes should have their counterparts in a black hole system with similar boundary conditions, which might provide important hints for black hole physics.

hep-th↗

Determination of geopotential difference by hydrogen masers based on precise point positioning time-frequency transfer

According to the general relativity theory, the geopotential difference can be determined by gravity frequency shift between two clocks. Here we report on the experiments to determine the geopotential difference between two remote sites by hydrogen masers based on precise point positioning time-frequency transfer technique. The experiments include the remote clock comparison and the local clock comparison using two CH1-95 active hydrogen masers linked with global navigation satellite system time-frequency receivers. The frequency difference between two hydrogen masers at two sites is derived from the time difference series resolved by the above-mentioned technique. Considering the local clock comparison as calibration, the determined geopotential difference by our experiments is 12,142.3 (112.4) m^2/s^2, quite close to the value 12,153.3 (2.3) m^2/s^2 computed by the EIGEN-6C4 model. Results show that the proposed approach here for determining geopotential difference is feasible, operable, and promising for applications in various fields.

physics.geo-ph↗

Gauge theories with non-trivial boundary conditions: Black holes

We study the partition function and entropy of U(1) gauge theories with multiple boundaries on the black holes background. The nontrivial boundary conditions allow residual zero longitudinal momentum modes and Wilson lines stretched between boundaries. Topological modes of the Wilson lines and other modes are also analyzed in this paper. We study the behavior of the partition function of the theory in different temperature limits, and find the transitions of dominances of different modes as we vary the temperature. Moreover, we find two different area contributions plus logarithm corrections in the entropy. One being part of the bulk fluctuation modes can be seen for finite-temperature black holes, and the other coming from vacuum degeneracy can only be seen in the superlow temperature limit. We have confirmed the mechanism and entropy found in the superlow temperature limit also persist for extremal black holes. The gauge fluctuation on the black hole background might help us understand some fundamental aspects of quantum gravity related to gauge symmetries.

hep-th↗