Searcharxiv⌕ Search

arXiv subjects

Jin Tan

Publications and source records attributed to Jin Tan.

At least 37 records · Page 2Linked to original sources

PUMA: Secure Inference of LLaMA-7B in Five Minutes

With ChatGPT as a representative, tons of companies have began to provide services based on large Transformers models. However, using such a service inevitably leak users' prompts to the model provider. Previous studies have studied secure inference for Transformer models using secure multiparty computation (MPC), where model parameters and clients' prompts are kept secret. Despite this, these frameworks are still limited in terms of model performance, efficiency, and deployment. To address these limitations, we propose framework PUMA to enable fast and secure Transformer model inference. Our framework designs high quality approximations for expensive functions such as GeLU and softmax, and significantly reduce the cost of secure inference while preserving the model performance. Additionally, we design secure Embedding and LayerNorm procedures that faithfully implement the desired functionality without undermining the Transformer architecture. PUMA is about $2\times$ faster than the state-of-the-art framework MPCFORMER(ICLR 2023) and has similar accuracy as plaintext models without fine-tuning (which the previous works failed to achieve). PUMA can even evaluate LLaMA-7B in around 5 minutes to generate 1 token. To our best knowledge, this is the first time that a model with such a parameter size is able to be evaluated under MPC. PUMA has been open-sourced in the Github repository of SecretFlow-SPU.

cs.CR↗

A Unified Analytical Method to Quantify Three Types of Fast Frequency Response from Inverter-based Resources

With more inverter-based resources (IBRs), our power systems have lower frequency nadirs following N-1 contingencies, and undesired under-frequency load shedding (UFLS) can occur. To address this challenge, IBRs can be programmed to provide at least three types of fast frequency response (FFR), e.g., step response, proportional response (P/f droop response), and derivative response (synthetic inertia). However, these heterogeneous FFR challenge the study of power system frequency dynamics. Thus, this paper develops an analytical frequency nadir prediction method that allows for the consideration of all three potential forms of FFR provided by IBRs. The proposed method provides fast and accurate frequency nadir estimation after N-1 generation tripping contingencies. Our method is grounded on the closed-form solution for the frequency nadir, which is solved from the second-order system frequency response model considering the governor dynamics and three types of FFR. The simulation results in the IEEE 39-bus system with different types of FFR demonstrate that the proposed method provides an accurate and fast prediction of the frequency nadir under various disturbances.

eess.SY↗

MPCViT: Searching for Accurate and Efficient MPC-Friendly Vision Transformer with Heterogeneous Attention

Secure multi-party computation (MPC) enables computation directly on encrypted data and protects both data and model privacy in deep learning inference. However, existing neural network architectures, including Vision Transformers (ViTs), are not designed or optimized for MPC and incur significant latency overhead. We observe Softmax accounts for the major latency bottleneck due to a high communication complexity, but can be selectively replaced or linearized without compromising the model accuracy. Hence, in this paper, we propose an MPC-friendly ViT, dubbed MPCViT, to enable accurate yet efficient ViT inference in MPC. Based on a systematic latency and accuracy evaluation of the Softmax attention and other attention variants, we propose a heterogeneous attention optimization space. We also develop a simple yet effective MPC-aware neural architecture search algorithm for fast Pareto optimization. To further boost the inference efficiency, we propose MPCViT+, to jointly optimize the Softmax attention and other network components, including GeLU, matrix multiplication, etc. With extensive experiments, we demonstrate that MPCViT achieves 1.9%, 1.3% and 3.6% higher accuracy with 6.2x, 2.9x and 1.9x latency reduction compared with baseline ViT, MPCFormer and THE-X on the Tiny-ImageNet dataset, respectively. MPCViT+ further achieves a better Pareto front compared with MPCViT. The code and models for evaluation are available at https://github.com/PKU-SEC-Lab/mpcvit.

cs.CR↗

On symmetry breaking for the Navier-Stokes equations

Inspired by an open question by Chemin and Zhang about the regularity of the 3D Navier-Stokes equations with one initially small component, we investigate symmetry breaking and symmetry preservation. Our results fall in three classes. First we prove strong symmetry breaking. Specifically, we demonstrate third component norm inflation (3rdNI) and Isotropic Norm Inflation (INI) starting from zero third component. Second we prove symmetry breaking for initially zero third component, even in the presence of a favorable initial pressure gradient. Third we study certain symmetry preserving solutions with a shear flow structure. Specifically, we give applications to the inviscid limit and exhibit explicit solutions that inviscidly damp to the Kolmogorov flow.

math.AP↗

Role of electrodes in study of hydrovoltaic effects

The last decade has witnessed the emergence of hydrovoltaic technology, which can harvest electricity from different forms of water movement, such as raindrops, waves, flows, moisture, and natural evaporation. In particular, the evaporation-induced hydrovoltaic effect received great attention since its discovery in 2017 due to its negative heat emission property. Nevertheless, the influence of electrode reactions in evaporation-induced power generation is not negligible due to the chemical reaction between active metal electrodes and water, which leads to " exceptional " power generation. Herein, we designed a series of experiments based on air-laid paper devices with electrodes of different activities as the top and bottom electrodes. To verify the contribution of electrodes, we compared the output performance of different electrode combinations when the device is partially-wetted and fully-wetted. The device hydrophilicity, salt concentration, and acidity or basicity of solutions are also comprehensively investigated. It is demonstrated that the chemical reaction of active metals (Zn, Cu, Ag, etc.) with different aqueous solutions can generate considerable electrical energy and significantly distort the device performance, especially for Zn electrodes with an output voltage from ~1.26 to ~1.52 V and current from ~1.24 to ~75.69 μA. To promote the long-term development of hydrovoltaic technology, we recommend use of inert electrodes in hydrovoltaic studies, such as Au and Pt, especially in water and moisture environment.

physics.chem-ph↗

Analysis of November 21, 2021, Kaua`i Island Power System 18-20 Hz Oscillations

This letter discusses the 18-20 Hz oscillation event at 05:30 am on November 21, 2021, in Kaua`i's power system following the trip of an oil power plant. As far as the authors are aware, this is the first report of a transmission system-wide subsynchronous oscillation driven by inverter-based resources (though the system in question is relatively small). In this letter, we leverage two data-based methods-the dissipating energy flow method and the sub/super-synchronous power flow method-to locate the sources of the oscillation. Also, we build an electromagnetic transient model of the Kaua`i power system and replay the 18-20 Hz oscillation. Finally, we propose two mitigation methods and validate their effectiveness via numerical simulation.

eess.SY↗

Global well-posedness and long-time asymptotics of a general nonlinear non-local Burgers Equation

This paper is concerned with the study of a nonlinear non-local equation that has a commutator structure. The equation reads $\partial_t u-F(u) (-Δ)^{s/2} u+(-Δ)^{s/2} (uF(u))=0$, $x\in \mathbb{T}^d$, with s $\in$ (0, 1]. We are interested in solutions stemming from periodic positive bounded initial data. The given function $F \in C^\infty (R^+)$ must satisfy $F' > 0$ a.e. on (0, +$\infty$). For instance, all the functions $F (u) = u^n$ with n $\in$ N * are admissible non-linearities. We construct global classical solutions starting from smooth positive data, and global weak solutions starting from positive data in $L^\infty$. We show that any weak solution is instantaneously regularized into $C^\infty$. We also describe the long-time asymptotics of all solutions. Our methods follow several recent advances in the regularity theory of parabolic integro-differential equations.

math.AP↗

Large-Scale Secure XGB for Vertical Federated Learning

Privacy-preserving machine learning has drawn increasingly attention recently, especially with kinds of privacy regulations come into force. Under such situation, Federated Learning (FL) appears to facilitate privacy-preserving joint modeling among multiple parties. Although many federated algorithms have been extensively studied, there is still a lack of secure and practical gradient tree boosting models (e.g., XGB) in literature. In this paper, we aim to build large-scale secure XGB under vertically federated learning setting. We guarantee data privacy from three aspects. Specifically, (i) we employ secure multi-party computation techniques to avoid leaking intermediate information during training, (ii) we store the output model in a distributed manner in order to minimize information release, and (iii) we provide a novel algorithm for secure XGB predict with the distributed model. Furthermore, by proposing secure permutation protocols, we can improve the training efficiency and make the framework scale to large dataset. We conduct extensive experiments on both public datasets and real-world datasets, and the results demonstrate that our proposed XGB models provide not only competitive accuracy but also practical performance.

cs.LG↗

When Homomorphic Encryption Marries Secret Sharing: Secure Large-Scale Sparse Logistic Regression and Applications in Risk Control

Logistic Regression (LR) is the most widely used machine learning model in industry for its efficiency, robustness, and interpretability. Due to the problem of data isolation and the requirement of high model performance, many applications in industry call for building a secure and efficient LR model for multiple parties. Most existing work uses either Homomorphic Encryption (HE) or Secret Sharing (SS) to build secure LR. HE based methods can deal with high-dimensional sparse features, but they incur potential security risks. SS based methods have provable security, but they have efficiency issue under high-dimensional sparse features. In this paper, we first present CAESAR, which combines HE and SS to build secure large-scale sparse logistic regression model and achieves both efficiency and security. We then present the distributed implementation of CAESAR for scalability requirement. We have deployed CAESAR in a risk control task and conducted comprehensive experiments. Our experimental results show that CAESAR improves the state-of-the-art model by around 130 times.

cs.CR↗

Global weak solutions to the density-dependent Hall-magnetohydrodynamics system

We are concerned with the global existence of finite energy weak solutions to 3D density-dependent magnetohydrodynamics (MHD) system with Hall-effect set in a general smooth bounded domain. The perfectly conducting wall boundary condition is imposed on the magnetic field. Due to the degeneracy of Hall-effect term (a tri-linear term) in vacuum, we assumed initial density lies in the bounded function space and having a positive lower bound. Particularly, these bounds are preserved by the density transport equation which helps yield a satisfying compactness argument of the magnetic field.

math.AP↗

On the well-posedness of the Hall-magnetohydrodynamics system in critical spaces

We investigate the existence and uniqueness issues of the 3D incompressible Hall-magnetohydrodynamic system supplemented with initial velocity $u_0$ and magnetic field $B_0$ in critical regularity spaces.In the case where $u_0,$ $B_0$ and the current $J_0:=\nabla\times B_0$ belong to the homogeneous Besov space $\dot B^{\frac 3p-1}_{p,1},$ $\:1\leq p<\infty,$ and are small enough, we establish a global result and the conservation of higher regularity.If the viscosity is equal to the magnetic resistivity, then we obtain the global well-posedness provided $u_0,$ $B_0$ and $J_0$ are small enough in the \emph{larger} Besov space $\dot B^{\frac12}_{2,r},$ $r\geq1.$If $r=1,$ then we also establish the local existence for large data, and exhibit continuation criteria for solutions with critical regularity. Our results rely on an extended formulation of the Hall-MHD system, that has some similarities with the incompressibleNavier-Stokes equations.

math.AP↗

Dynamics for droplet-based electricity generators

The finding of droplet-based electricity generator (DEG), based on the moving boundary of electrical double layer, has triggered great research enthusiasm, and a breakthrough in instantaneous electric power density was achieved recently. However, the dynamic mechanism for such droplet-based electricity generators remains elusive, impeding optimization of the DEG for practical applications. Through comprehensive experiments, we developed a dynamic model of surface charge density that can explain the underlying mechanism for the DEGs. The spreading droplet in touch with the top electrode can be equivalently regarded as an additional part of the top plate of the DEG capacitor, and the change of droplet area causes the change of surface charge density of the plates, driving electrons to migrate between the two plates. The insight of the dynamic mechanism paves a way for optimal design and practical applications of DEGs

cond-mat.mtrl-sci↗

The Global Solvability Of The Hall-magnetohydrodynamics System In Critical Sobolev Spaces

We are concerned with the 3D incompressible Hall-magnetohydro-dynamic system (Hall-MHD). Our first aim is to provide the reader with an elementary proof of a global well-posedness result for small data with critical Sobolev regularity, in the spirit of Fujita-Kato's theorem [10] for the Navier-Stokes equations. Next, we investigate the long-time asymptotics of global solutions of the Hall-MHD system that are in the Fujita-Kato regularity class. A weak-strong uniqueness statement is also proven. Finally, we consider the so-called 2 1/2 D flows for the Hall-MHD system, and prove the global existence of strong solutions, assuming only that the initial magnetic field is small.

math.AP↗

Power-Traffic Coordinated Operation for Bi-Peak Shaving and Bi-Ramp Smoothing -A Hierarchical Data-Driven Approach

With the rapid adoption of distributed photovoltaics (PVs) in certain regions, issues such as lower net load valley during the day and more steep ramping of the demand after sunset start to challenge normal operations at utility companies. Urban transportation systems also have high peak congestion periods and steep ramping because of traffic patterns. We propose using the emerging electric vehicles (EVs) and the charing/discharging stations (CDSs) to coordinate the operation between power distribution system (PDS) and the urban transportation system (UTS), therefore, the operation challenges in each system can be mitigated by utilizing the flexibility of the other system. We conducted the simulation and numerical analysis using the IEEE 8,500-bus for the PDS and the Sioux Falls system with about 10,000 cars for the UTS. Two systems are simulated jointly to demonstrate the feasibility and effectiveness of the proposed approach.

eess.SY↗

Compressive Hyperspectral Imaging via Approximate Message Passing

We consider a compressive hyperspectral imaging reconstruction problem, where three-dimensional spatio-spectral information about a scene is sensed by a coded aperture snapshot spectral imager (CASSI). The CASSI imaging process can be modeled as suppressing three-dimensional coded and shifted voxels and projecting these onto a two-dimensional plane, such that the number of acquired measurements is greatly reduced. On the other hand, because the measurements are highly compressive, the reconstruction process becomes challenging. We previously proposed a compressive imaging reconstruction algorithm that is applied to two-dimensional images based on the approximate message passing (AMP) framework. AMP is an iterative algorithm that can be used in signal and image reconstruction by performing denoising at each iteration. We employed an adaptive Wiener filter as the image denoiser, and called our algorithm "AMP-Wiener." In this paper, we extend AMP-Wiener to three-dimensional hyperspectral image reconstruction, and call it "AMP-3D-Wiener." Applying the AMP framework to the CASSI system is challenging, because the matrix that models the CASSI system is highly sparse, and such a matrix is not suitable to AMP and makes it difficult for AMP to converge. Therefore, we modify the adaptive Wiener filter and employ a technique called damping to solve for the divergence issue of AMP. Our approach is applied in nature, and the numerical experiments show that AMP-3D-Wiener outperforms existing widely-used algorithms such as gradient projection for sparse reconstruction (GPSR) and two-step iterative shrinkage/thresholding (TwIST) given a similar amount of runtime. Moreover, in contrast to GPSR and TwIST, AMP-3D-Wiener need not tune any parameters, which simplifies the reconstruction process.

cs.IT↗

Approximate Message Passing in Coded Aperture Snapshot Spectral Imaging

We consider a compressive hyperspectral imaging reconstruction problem, where three-dimensional spatio-spectral information about a scene is sensed by a coded aperture snapshot spectral imager (CASSI). The approximate message passing (AMP) framework is utilized to reconstruct hyperspectral images from CASSI measurements, and an adaptive Wiener filter is employed as a three-dimensional image denoiser within AMP. We call our algorithm "AMP-3D-Wiener." The simulation results show that AMP-3D-Wiener outperforms existing widely-used algorithms such as gradient projection for sparse reconstruction (GPSR) and two-step iterative shrinkage/thresholding (TwIST) given the same amount of runtime. Moreover, in contrast to GPSR and TwIST, AMP-3D-Wiener need not tune any parameters, which simplifies the reconstruction process.

cs.IT↗

Compressive Imaging via Approximate Message Passing with Image Denoising

We consider compressive imaging problems, where images are reconstructed from a reduced number of linear measurements. Our objective is to improve over existing compressive imaging algorithms in terms of both reconstruction error and runtime. To pursue our objective, we propose compressive imaging algorithms that employ the approximate message passing (AMP) framework. AMP is an iterative signal reconstruction algorithm that performs scalar denoising at each iteration; in order for AMP to reconstruct the original input signal well, a good denoiser must be used. We apply two wavelet based image denoisers within AMP. The first denoiser is the "amplitude-scaleinvariant Bayes estimator" (ABE), and the second is an adaptive Wiener filter; we call our AMP based algorithms for compressive imaging AMP-ABE and AMP-Wiener. Numerical results show that both AMP-ABE and AMP-Wiener significantly improve over the state of the art in terms of runtime. In terms of reconstruction quality, AMP-Wiener offers lower mean square error (MSE) than existing compressive imaging algorithms. In contrast, AMP-ABE has higher MSE, because ABE does not denoise as well as the adaptive Wiener filter.

cs.IT↗