-
Pareto Control Barrier Function for Inner Safe Set Maximization Under Input Constraints
Authors:
Xiaoyang Cao,
Zhe Fu,
Alexandre M. Bayen
Abstract:
This article introduces the Pareto Control Barrier Function (PCBF) algorithm to maximize the inner safe set of dynamical systems under input constraints. Traditional Control Barrier Functions (CBFs) ensure safety by maintaining system trajectories within a safe set but often fail to account for realistic input constraints. To address this problem, we leverage the Pareto multi-task learning framewo…
▽ More
This article introduces the Pareto Control Barrier Function (PCBF) algorithm to maximize the inner safe set of dynamical systems under input constraints. Traditional Control Barrier Functions (CBFs) ensure safety by maintaining system trajectories within a safe set but often fail to account for realistic input constraints. To address this problem, we leverage the Pareto multi-task learning framework to balance competing objectives of safety and safe set volume. The PCBF algorithm is applicable to high-dimensional systems and is computationally efficient. We validate its effectiveness through comparison with Hamilton-Jacobi reachability for an inverted pendulum and through simulations on a 12-dimensional quadrotor system. Results show that the PCBF consistently outperforms existing methods, yielding larger safe sets and ensuring safety under input constraints.
△ Less
Submitted 5 October, 2024;
originally announced October 2024.
-
Finite-time blow-up in fully parabolic quasilinear Keller-Segel systems with supercritical exponents
Authors:
Xinru Cao,
Mario Fuest
Abstract:
We examine the possibility of finite-time blow-up of solutions to the fully parabolic quasilinear Keller--Segel model \begin{align}\tag{$\star$}\label{prob:star}
\begin{cases}
u_t = \nabla \cdot ((u+1)^{m-1}\nabla u - u(u+1)^{q-1}\nabla v) & \text{in $Ω\times (0, T)$}, \\
v_t = Δv - v + u & \text{in $Ω\times (0, T)$}
\end{cases} \end{align} in a ball $Ω\subset \mathbb R^n$ with $n\geq 2$.…
▽ More
We examine the possibility of finite-time blow-up of solutions to the fully parabolic quasilinear Keller--Segel model \begin{align}\tag{$\star$}\label{prob:star}
\begin{cases}
u_t = \nabla \cdot ((u+1)^{m-1}\nabla u - u(u+1)^{q-1}\nabla v) & \text{in $Ω\times (0, T)$}, \\
v_t = Δv - v + u & \text{in $Ω\times (0, T)$}
\end{cases} \end{align} in a ball $Ω\subset \mathbb R^n$ with $n\geq 2$. Previous results show that unbounded solutions exist for all $m, q \in \mathbb R$ with $m-q<\frac{n-2}{n}$, which, however, are necessarily global in time if $q \leq 0$. It is expected that finite-time blow-up is possible whenever $q > 0$ but in the fully parabolic setting this has so far only been shown when $\max\{m, q\} \geq 1$.
In the present paper, we substantially extend these findings. Our main results for the two- and three-dimensional settings state that \eqref{prob:star} admits solutions blowing up in finite time if \begin{align*}
m-q<\frac{n-2}{n}
\quad \text{and} \quad
\begin{cases}
q < 2m & \text{if } n = 2, \\
q < 2m - \frac23 \text{ or } m > \frac23 & \text{if } n = 3,
\end{cases} \end{align*} that is, also for certain $m, q$ with $\max\{m, q\} < 1$. As a key new ingredient in our proof, we make use of (singular) pointwise upper estimates for $u$.
△ Less
Submitted 28 September, 2024;
originally announced September 2024.
-
Geometry and Analysis of Gradient Ricci Solitons in Dimension Four
Authors:
Xiaodong Cao,
Hung Tran
Abstract:
[Dedicated to Richard S. Hamilton on forty years of Ricci flow] Gradient Ricci solitons have garnered significant attention both as self-similar solutions and singularity models of the Ricci flow. This survey article starts with a list of examples; it also provides some geometric aspects of gradient Ricci solitons, including various asymptotic behaviors; finally, it discusses some recent results o…
▽ More
[Dedicated to Richard S. Hamilton on forty years of Ricci flow] Gradient Ricci solitons have garnered significant attention both as self-similar solutions and singularity models of the Ricci flow. This survey article starts with a list of examples; it also provides some geometric aspects of gradient Ricci solitons, including various asymptotic behaviors; finally, it discusses some recent results on classification and rigidity. In particular, this survey focuses on dimension four.
△ Less
Submitted 19 September, 2024;
originally announced September 2024.
-
A cytokine-enhanced viral infection model with CTL immune response, distributed delay and saturation incidence
Authors:
Xiaodong Cao,
Songbo Hou,
Xiaoqing Kong
Abstract:
In this paper, we propose a delayed cytokine-enhanced viral infection model incorporating saturation incidence and immune response. We compute the basic reproduction numbers and introduce a convex cone to discuss the impact of non-negative initial data on solutions. By defining appropriate Lyapunov functionals and employing LaSalle's invariance principle, we investigate the stability of three equi…
▽ More
In this paper, we propose a delayed cytokine-enhanced viral infection model incorporating saturation incidence and immune response. We compute the basic reproduction numbers and introduce a convex cone to discuss the impact of non-negative initial data on solutions. By defining appropriate Lyapunov functionals and employing LaSalle's invariance principle, we investigate the stability of three equilibria: the disease-free equilibrium, the immunity-inactivated equilibrium, and the immunity-activated equilibrium. We establish conditions under which these equilibria are globally asymptotically stable. Numerical analyses not only corroborate the theoretical results but also reveal that intervention in virus infection can be achieved by extending the delay period.
△ Less
Submitted 16 September, 2024;
originally announced September 2024.
-
Subspace Diffusion Posterior Sampling for Travel-Time Tomography
Authors:
Xiang Cao,
Xiaoqun Zhang
Abstract:
Diffusion models have been widely studied as effective generative tools for solving inverse problems. The main ideas focus on performing the reverse sampling process conditioned on noisy measurements, using well-established numerical solvers for gradient updates. Although diffusion-based sampling methods can produce high-quality reconstructions, challenges persist in nonlinear PDE-based inverse pr…
▽ More
Diffusion models have been widely studied as effective generative tools for solving inverse problems. The main ideas focus on performing the reverse sampling process conditioned on noisy measurements, using well-established numerical solvers for gradient updates. Although diffusion-based sampling methods can produce high-quality reconstructions, challenges persist in nonlinear PDE-based inverse problems and sampling speed. In this work, we explore solving PDE-based travel-time tomography based on subspace diffusion generative models. Our main contributions are twofold: First, we propose a posterior sampling process for PDE-based inverse problems by solving the associated adjoint-state equation. Second, we resorted to the subspace-based dimension reduction technique for conditional sampling acceleration, enabling solving the PDE-based inverse problems from coarse to refined grids. Our numerical experiments showed satisfactory advancements in improving the travel-time imaging quality and reducing the sampling time for reconstruction.
△ Less
Submitted 30 August, 2024;
originally announced August 2024.
-
Optical Inversion Using Plasmonic Contrast Agents
Authors:
Xinlin Cao,
Ahcene Ghandriche,
Mourad Sini
Abstract:
We describe a new method to reconstruct the permittivity distribution, of an object to image, from the remotely measured electromagnetic field. We propose to use the remote fields measured before and after injecting locally in the medium plasmonic nano-particles. Such a technique is known in the framework of imaging using contrast agents where, in optical imaging, the nano-particles play the role…
▽ More
We describe a new method to reconstruct the permittivity distribution, of an object to image, from the remotely measured electromagnetic field. We propose to use the remote fields measured before and after injecting locally in the medium plasmonic nano-particles. Such a technique is known in the framework of imaging using contrast agents where, in optical imaging, the nano-particles play the role of these contrast agents. The plasmonic nano-particles are known to enjoy resonant effects, as enhancing the applied incident field, while excited at certain particular frequencies called plasmonic resonances. These resonant frequencies encode the values of the unknown permittivity at the location of the injected nano-particles. The imaging methods we propose mainly use this resonant effect. We show that the imaging functional build up from contrasting the fields before and after injecting the nano-particles, measured at one single back-scattered direction, and in an explicit band of incident frequencies reaches its maximum values, in terms of the incident frequency, precisely at the mentioned plasmonic resonances. Such a behavior allows us to recover these plasmonic resonances from which we recover the point-wise values of the permittivity distribution.
In this work, we describe the method and provide the mathematical justification of this resonant effect and its use for the optical inversion using plasmonic nano-particles as contrast agents.
△ Less
Submitted 25 August, 2024;
originally announced August 2024.
-
Superlinear transmission in an indirect signal production chemotaxis system
Authors:
Xinru Cao
Abstract:
In this paper, the indirect signal production system with nonlinear transmission is considered \[ \left\{ \begin{array}{lll} & u_t = Δu-\nabla\cdot(u \nabla v), \\ \displaystyle & v_t =Δv-v+w,\\ \displaystyle & w_t =Δw-w+ f(u) \end{array} \right. \] in a bounded smooth domain $Ω\subset \mathbb{R}^n$ associated with homogenous Neumann boundary conditions, where $f\in C^1([0,\infty))$ satisfies…
▽ More
In this paper, the indirect signal production system with nonlinear transmission is considered \[ \left\{ \begin{array}{lll} & u_t = Δu-\nabla\cdot(u \nabla v), \\ \displaystyle & v_t =Δv-v+w,\\ \displaystyle & w_t =Δw-w+ f(u) \end{array} \right. \] in a bounded smooth domain $Ω\subset \mathbb{R}^n$ associated with homogenous Neumann boundary conditions, where $f\in C^1([0,\infty))$ satisfies $0\le f(s) \le s^α$ with $α>0$. It is known that the system possesses a global bounded solution if $0<α<\frac 4n$ when $n\ge 4$. In the case $n\le 3$ and if we consider superlinear transmission, no regularity of $w$ or $v$ can be derived directly. In this work, we show that if $0<α< \min\{\frac 4n,1+\frac 2n\}$, the solution is global and bounded via an approach based on the maximal Sobolev regularity.
△ Less
Submitted 25 July, 2024; v1 submitted 24 July, 2024;
originally announced July 2024.
-
Dual-Domain Deep D-bar Method for Solving Electrical Impedance Tomography
Authors:
Xiang Cao,
Qiaoqiao Ding,
Xiaoqun Zhang
Abstract:
The regularized D-bar method is one of the most prominent methods for solving Electrical Impedance Tomography (EIT) problems due to its efficiency and simplicity. It provides a direct approach by applying low-pass filtering to the scattering data in the non-linear Fourier domain, thereby yielding a smoothed conductivity approximation. However, D-bar images often present low contrast and low resolu…
▽ More
The regularized D-bar method is one of the most prominent methods for solving Electrical Impedance Tomography (EIT) problems due to its efficiency and simplicity. It provides a direct approach by applying low-pass filtering to the scattering data in the non-linear Fourier domain, thereby yielding a smoothed conductivity approximation. However, D-bar images often present low contrast and low resolution due to the absence of accurate high-frequency information and ill-posedness of the problem. In this paper, we proposed a dual-domain neural network architecture to retrieve high-contrast D-bar image sequences from low-contrast D-bar images. To further accentuate the spatial features of the conductivity distribution, the widely adopted U-net has been tailored for conductivity image calibration from the predicted D-bar image sequences. We call such a hybrid approach by Dual-Domain Deep D-bar method due to the consideration of both scattering data and image information. Compared to the single-scale structure, our proposed multi-scale structure exhibits superior capabilities in reducing artifacts and refining conductivity approximation. Additionally, solving discrete D-bar systems using the GMRES algorithm entails significant computational complexity, which is extremely time-consuming on CPU-based devices. To remedy this, we designed a surrogate GPU-based Richardson iterative method to accelerate the data enhancement process by D-bar. Numerical results are presented for simulated EIT data from the KIT4 and ACT4 systems to demonstrate notable improvements in absolute EIT imaging quality when compared to existing methodologies.
△ Less
Submitted 12 May, 2024;
originally announced July 2024.
-
Analytic smoothing effect of the Cauchy problem for a class of ultra-parabolic equations
Authors:
Xiao-Dong Cao,
Chao-Jiang Xu
Abstract:
In this paper, we study a class of strongly degenerate ultraparabolic equations with analytic coefficients. We demonstrate that the Cauchy problem exhibits an analytic smoothing effect. This means that, with an initial datum belonging to the Sobolev space $H^s$ (of real index s), the associated Cauchy problem admits a unique solution that is analytic in all spatial variables for any strictly posit…
▽ More
In this paper, we study a class of strongly degenerate ultraparabolic equations with analytic coefficients. We demonstrate that the Cauchy problem exhibits an analytic smoothing effect. This means that, with an initial datum belonging to the Sobolev space $H^s$ (of real index s), the associated Cauchy problem admits a unique solution that is analytic in all spatial variables for any strictly positive time. This smoothing effect property is similar to that of the Cauchy problem for uniformly parabolic equations with analytic coefficients.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
A Novel Privacy Enhancement Scheme with Dynamic Quantization for Federated Learning
Authors:
Yifan Wang,
Xianghui Cao,
Shi Jin,
Mo-Yuen Chow
Abstract:
Federated learning (FL) has been widely regarded as a promising paradigm for privacy preservation of raw data in machine learning. Although, the data privacy in FL is locally protected to some extent, it is still a desideratum to enhance privacy and alleviate communication overhead caused by repetitively transmitting model parameters. Typically, these challenges are addressed separately, or jointl…
▽ More
Federated learning (FL) has been widely regarded as a promising paradigm for privacy preservation of raw data in machine learning. Although, the data privacy in FL is locally protected to some extent, it is still a desideratum to enhance privacy and alleviate communication overhead caused by repetitively transmitting model parameters. Typically, these challenges are addressed separately, or jointly via a unified scheme that consists of noise-injected privacy mechanism and communication compression, which may lead to model corruption due to the introduced composite noise. In this work, we propose a novel model-splitting privacy-preserving FL (MSP-FL) scheme to achieve private FL with precise accuracy guarantee. Based upon MSP-FL, we further propose a model-splitting privacy-preserving FL with dynamic quantization (MSPDQ-FL) to mitigate the communication overhead, which incorporates a shrinking quantization interval to reduce the quantization error. We provide privacy and convergence analysis for both MSP-FL and MSPDQ-FL under non-i.i.d. dataset, partial clients participation and finite quantization level. Numerical results are presented to validate the superiority of the proposed schemes.
△ Less
Submitted 27 May, 2024; v1 submitted 25 May, 2024;
originally announced May 2024.
-
Effective medium theory for Van-Der-Waals heterostructures
Authors:
Xinlin Cao,
Ahcene Ghandriche,
Mourad Sini
Abstract:
We derive the electromagnetic medium equivalent to a collection of all-dielectric nano-particles (enjoying high refractive indices) distributed locally non-periodically in a smooth domain $Ω$. Such distributions are used to model well known structures in material sciences as the Van-der-Waals heterostructures. Since the nano-particles are all-dielectric, then the permittivity remains unchanged whi…
▽ More
We derive the electromagnetic medium equivalent to a collection of all-dielectric nano-particles (enjoying high refractive indices) distributed locally non-periodically in a smooth domain $Ω$. Such distributions are used to model well known structures in material sciences as the Van-der-Waals heterostructures. Since the nano-particles are all-dielectric, then the permittivity remains unchanged while the permeability is altered by this effective medium. This equivalent medium describes, in particular, the effective medium of 2 dimensional type Van-der-Waals heterostructures. These structures are 3 dimensional which are build as superposition of identical (2D)-sheets each supporting locally non-periodic distributions of nano-particles. An explicit form of this effective medium is provided for the particular case of honeycomb heterostructures.
At the mathematical analysis level, we propose a new approach to derive the effective medium when the subwavelength nano-particles are distributed non-periodically. The first step consists in deriving the point interaction approximation, also called the Foldy-Lax approximation. The scattered field is given as a superposition of dipoles (or poles for other models) multiplied by the elements of a vector which is itself solution of an algebraic system. This step is done regardless of the way how the particles are distributed. As a second step, which is the new and critical step, we rewrite this algebraic system according to the way how these nano-particles are locally distributed. The new algebraic system will then fix the related continuous Lippmann Schwinger system which, in its turn, indicates naturally the equivalent medium.
△ Less
Submitted 17 April, 2024;
originally announced April 2024.
-
Stochastic-Robust Planning of Networked Hydrogen-Electrical Microgrids: A Study on Induced Refueling Demand
Authors:
Xunhang Sun,
Xiaoyu Cao,
Bo Zeng,
Qiaozhu Zhai,
Tamer Başar,
Xiaohong Guan
Abstract:
Hydrogen-electrical microgrids are increasingly assuming an important role on the pathway toward decarbonization of energy and transportation systems. This paper studies networked hydrogen-electrical microgrids planning (NHEMP), considering a critical but often-overlooked issue, i.e., the demand-inducing effect (DIE) associated with infrastructure development decisions. Specifically, higher refuel…
▽ More
Hydrogen-electrical microgrids are increasingly assuming an important role on the pathway toward decarbonization of energy and transportation systems. This paper studies networked hydrogen-electrical microgrids planning (NHEMP), considering a critical but often-overlooked issue, i.e., the demand-inducing effect (DIE) associated with infrastructure development decisions. Specifically, higher refueling capacities will attract more refueling demand of hydrogen-powered vehicles (HVs). To capture such interactions between investment decisions and induced refueling demand, we introduce a decision-dependent uncertainty (DDU) set and build a trilevel stochastic-robust formulation. The upper-level determines optimal investment strategies for hydrogen-electrical microgrids, the lower-level optimizes the risk-aware operation schedules across a series of stochastic scenarios, and, for each scenario, the middle-level identifies the "worst" situation of refueling demand within an individual DDU set to ensure economic feasibility. Then, an adaptive and exact decomposition algorithm, based on Parametric Column-and-Constraint Generation (PC&CG), is customized and developed to address the computational challenge and to quantitatively analyze the impact of DIE. Case studies on an IEEE exemplary system validate the effectiveness of the proposed NHEMP model and the PC&CG algorithm. It is worth highlighting that DIE can make an important contribution to the economic benefits of NHEMP, yet its significance will gradually decrease when the main bottleneck transits to other system restrictions.
△ Less
Submitted 27 August, 2024; v1 submitted 31 March, 2024;
originally announced April 2024.
-
Distributionally Robust Frequency-Constrained Microgrid Scheduling Towards Seamless Islanding
Authors:
Lun Yang,
Haoxiang Yang,
Xiaoyu Cao,
Xiaohong Guan
Abstract:
Unscheduled islanding events of microgrids result in the transition between grid-connected and islanded modes and induce a sudden and unknown power imbalance, posing a threat to frequency security. To achieve seamless islanding, we propose a distributionally robust frequency-constrained microgrid scheduling model considering unscheduled islanding events. This model co-optimizes unit commitments, p…
▽ More
Unscheduled islanding events of microgrids result in the transition between grid-connected and islanded modes and induce a sudden and unknown power imbalance, posing a threat to frequency security. To achieve seamless islanding, we propose a distributionally robust frequency-constrained microgrid scheduling model considering unscheduled islanding events. This model co-optimizes unit commitments, power dispatch, upward/downward primary frequency response reserves, virtual inertia provisions from renewable energy sources (RESs), deloading ratios of RESs, and battery operations, while ensuring the system frequency security during unscheduled islanding. We establish an affine relationship between the actual power exchange and RES uncertainty in grid-connected mode, describe RES uncertainty with a Wasserstein-metric ambiguity set, and formulate frequency constraints under uncertain post-islanding power imbalance as distributionally robust quadratic chance constraints, which are further transformed by a tight conic relaxation. We solve the proposed mixed-integer convex program and demonstrate its effectiveness through case studies.
△ Less
Submitted 6 January, 2024;
originally announced January 2024.
-
Decentralized Multi-Task Online Convex Optimization Under Random Link Failures
Authors:
Wenjing Yan,
Xuanyu Cao
Abstract:
Decentralized optimization methods often entail information exchange between neighbors. Transmission failures can happen due to network congestion, hardware/software issues, communication outage, and other factors. In this paper, we investigate the random link failure problem in decentralized multi-task online convex optimization, where agents have individual decisions that are coupled with each o…
▽ More
Decentralized optimization methods often entail information exchange between neighbors. Transmission failures can happen due to network congestion, hardware/software issues, communication outage, and other factors. In this paper, we investigate the random link failure problem in decentralized multi-task online convex optimization, where agents have individual decisions that are coupled with each other via pairwise constraints. Although widely used in constrained optimization, conventional saddle-point algorithms are not directly applicable here because of random packet dropping. To address this issue, we develop a robust decentralized saddle-point algorithm against random link failures with heterogeneous probabilities by replacing the missing decisions of neighbors with their latest received values. Then, by judiciously bounding the accumulated deviation stemming from this replacement, we first establish that our algorithm achieves $\mathcal{O}(\sqrt{T})$ regret and $\mathcal{O}(T^\frac{3}{4})$ constraint violations for the full information scenario, where the complete information on the local cost function is revealed to each agent at the end of each time slot. These two bounds match, in order sense, the performance bounds of algorithms with perfect communications. Further, we extend our algorithm and analysis to the two-point bandit feedback scenario, where only the values of the local cost function at two random points are disclosed to each agent sequentially. Performance bounds of the same orders as the full information case are derived. Finally, we corroborate the efficacy of the proposed algorithms and the analytical results through numerical simulations.
△ Less
Submitted 3 January, 2024;
originally announced January 2024.
-
From all-dieletric nanoresonators to extended quasi-static plasmonic resonators
Authors:
Xinlin Cao,
Ahcene Ghandriche,
Mourad Sini
Abstract:
We derive the electromagnetic medium equivalent to a cluster of all-dielectric nanoparticles (i.e. enjoying high refractive indices), distributed periodically in a smooth domain $Ω$, while excited at nearly resonating dielectric incident frequencies (i.e. subwavelength Mie-resonant frequencies). This effective medium is an alteration of the permeability that keeps the permittivity unchanged. We pr…
▽ More
We derive the electromagnetic medium equivalent to a cluster of all-dielectric nanoparticles (i.e. enjoying high refractive indices), distributed periodically in a smooth domain $Ω$, while excited at nearly resonating dielectric incident frequencies (i.e. subwavelength Mie-resonant frequencies). This effective medium is an alteration of the permeability that keeps the permittivity unchanged. We provide regimes under which the effective permeability can be positive or negative valued. In addition, if the incident frequency is close to any of the subwavelength all-dielectric resonances, then the distributed cluster behaves as an extended quasi-static plasmonic resonator. Therefore, exciting the cluster of all-dielectric nanoresonators with nearly resonating incident frequencies, we can generate an extended quasi-static plasmonic resonator which creates giant electromagnetic fields in its surrounding.
△ Less
Submitted 22 December, 2023;
originally announced December 2023.
-
An Operator Splitting Scheme for Distributed Optimal Load-side Frequency Control with Nonsmooth Cost Functions
Authors:
Yifan Wang,
Shuai Liu,
Xianghui Cao,
Mo-Yuen Chow
Abstract:
The increasing penetration of renewable energy resources and utilization of energy storage systems pose new challenges in maintaining power system's stability. Specifically, the cost function of regulation no longer remains smooth, which complicates the task of ensuring nominal frequency and power balance, particularly in a distributed manner. This paper proposes a distributed proximal primal-dual…
▽ More
The increasing penetration of renewable energy resources and utilization of energy storage systems pose new challenges in maintaining power system's stability. Specifically, the cost function of regulation no longer remains smooth, which complicates the task of ensuring nominal frequency and power balance, particularly in a distributed manner. This paper proposes a distributed proximal primal-dual (DPPD) algorithm, based on a modified primal-dual dynamics equipped with operator splitting technique, to address this nonsmooth frequency regulation problem on load side. By Lyapunov stability and invariance theory, we prove that DPPD algorithm achieves global asymptotic convergence to the optimal solution that minimizes the nonsmooth regulation cost, while restoring the frequency under constraints such as capacity limits of load and power flow. Finally, we demonstrate the effectiveness and robustness of DPPD algorithm by simulations on the IEEE 39-bus system.
△ Less
Submitted 23 November, 2023; v1 submitted 20 November, 2023;
originally announced November 2023.
-
Large Language Models' Understanding of Math: Source Criticism and Extrapolation
Authors:
Roozbeh Yousefzadeh,
Xuenan Cao
Abstract:
It has been suggested that large language models such as GPT-4 have acquired some form of understanding beyond the correlations among the words in text including some understanding of mathematics as well. Here, we perform a critical inquiry into this claim by evaluating the mathematical understanding of the GPT-4 model. Considering that GPT-4's training set is a secret, it is not straightforward t…
▽ More
It has been suggested that large language models such as GPT-4 have acquired some form of understanding beyond the correlations among the words in text including some understanding of mathematics as well. Here, we perform a critical inquiry into this claim by evaluating the mathematical understanding of the GPT-4 model. Considering that GPT-4's training set is a secret, it is not straightforward to evaluate whether the model's correct answers are based on a mathematical understanding or based on replication of proofs that the model has seen before. We specifically craft mathematical questions which their formal proofs are not readily available on the web, proofs that are more likely not seen by the GPT-4. We see that GPT-4 is unable to solve those problems despite their simplicity. It is hard to find scientific evidence suggesting that GPT-4 has acquired an understanding of even basic mathematical concepts. A straightforward way to find failure modes of GPT-4 in theorem proving is to craft questions where their formal proofs are not available on the web. Our finding suggests that GPT-4's ability is to reproduce, rephrase, and polish the mathematical proofs that it has seen before, and not in grasping mathematical concepts. We also see that GPT-4's ability to prove mathematical theorems is continuously expanding over time despite the claim that it is a fixed model. We suggest that the task of proving mathematical theorems in formal language is comparable to the methods used in search engines such as Google while predicting the next word in a sentence may be a misguided approach, a recipe that often leads to excessive extrapolation and eventual failures. Prompting the GPT-4 over and over may benefit the GPT-4 and the OpenAI, but we question whether it is valuable for machine learning or for theorem proving.
△ Less
Submitted 12 November, 2023;
originally announced November 2023.
-
Contrastive Moments: Unsupervised Halfspace Learning in Polynomial Time
Authors:
Xinyuan Cao,
Santosh S. Vempala
Abstract:
We give a polynomial-time algorithm for learning high-dimensional halfspaces with margins in $d$-dimensional space to within desired TV distance when the ambient distribution is an unknown affine transformation of the $d$-fold product of an (unknown) symmetric one-dimensional logconcave distribution, and the halfspace is introduced by deleting at least an $ε$ fraction of the data in one of the com…
▽ More
We give a polynomial-time algorithm for learning high-dimensional halfspaces with margins in $d$-dimensional space to within desired TV distance when the ambient distribution is an unknown affine transformation of the $d$-fold product of an (unknown) symmetric one-dimensional logconcave distribution, and the halfspace is introduced by deleting at least an $ε$ fraction of the data in one of the component distributions. Notably, our algorithm does not need labels and establishes the unique (and efficient) identifiability of the hidden halfspace under this distributional assumption. The sample and time complexity of the algorithm are polynomial in the dimension and $1/ε$. The algorithm uses only the first two moments of suitable re-weightings of the empirical distribution, which we call contrastive moments; its analysis uses classical facts about generalized Dirichlet polynomials and relies crucially on a new monotonicity property of the moment ratio of truncations of logconcave distributions. Such algorithms, based only on first and second moments were suggested in earlier work, but hitherto eluded rigorous guarantees.
Prior work addressed the special case when the underlying distribution is Gaussian via Non-Gaussian Component Analysis. We improve on this by providing polytime guarantees based on Total Variation (TV) distance, in place of existing moment-bound guarantees that can be super-polynomial. Our work is also the first to go beyond Gaussians in this setting.
△ Less
Submitted 2 November, 2023;
originally announced November 2023.
-
On the Value of Linear Quadratic Zero-sum Difference Games with Multiplicative Randomness: Existence and Achievability
Authors:
Songfu Cai,
Xuanyu Cao
Abstract:
We consider a wireless networked control system (WNCS) with multiple controllers and multiple attackers. The dynamic interaction between the controllers and the attackers is modeled as a linear quadratic (LQ) zero-sum difference game with multiplicative randomness induced by the multiple-input and multiple-output (MIMO) wireless fading channels of the controllers and attackers. We focus on analyzi…
▽ More
We consider a wireless networked control system (WNCS) with multiple controllers and multiple attackers. The dynamic interaction between the controllers and the attackers is modeled as a linear quadratic (LQ) zero-sum difference game with multiplicative randomness induced by the multiple-input and multiple-output (MIMO) wireless fading channels of the controllers and attackers. We focus on analyzing the existence and achievability of the value of the zero-sum game. We first establish a general sufficient and necessary condition for the existence of the game value. This condition relies on the solvability of a modified game algebraic Riccati equation (MGARE) under an implicit concavity constraint, which is generally difficult to verify due to the intermittent controllability or almost sure uncontrollability caused by the multiplicative randomness. We then introduce a new positive semidefinite (PSD) kernel decomposition method induced by multiplicative randomness, through which we obtain a closed-form tight verifiable sufficient condition. Under the existence condition, we finally construct a saddle-point policy that is able to achieve the game value in a certain class of admissible policies. We demonstrate that the proposed saddle-point policy is backward compatible to the existing strictly feedback stabilizing saddle-point policy.
△ Less
Submitted 9 October, 2023;
originally announced October 2023.
-
A remark of Ricci-Bourguignon harmonic soliton
Authors:
Xiangzhi Cao
Abstract:
In this paper, we investigate the triviality of Ricci-Bourguignon harmonic solitons. We also use the results of V-harmonic map to investigate the property of Ricci harmonic soliton.
In this paper, we investigate the triviality of Ricci-Bourguignon harmonic solitons. We also use the results of V-harmonic map to investigate the property of Ricci harmonic soliton.
△ Less
Submitted 28 September, 2023;
originally announced September 2023.
-
A Liouville theorem of VT-harmonic map heat flow
Authors:
Xiangzhi Cao
Abstract:
We proved an Liouville theorem for Backward V T-harmonic map heat flow from evolution manifolds into generalized regular ball. Among others, we also proved an Liouville theorem for V T-harmonic map heat flow from complete manifolds into generalized regular ball.
We proved an Liouville theorem for Backward V T-harmonic map heat flow from evolution manifolds into generalized regular ball. Among others, we also proved an Liouville theorem for V T-harmonic map heat flow from complete manifolds into generalized regular ball.
△ Less
Submitted 28 September, 2023;
originally announced September 2023.
-
A Bernstein theorem for ancient solution to symplectic mean curvature flow
Authors:
Xiangzhi Cao
Abstract:
We proved a Bernstein theorem for ancient solution to symplectic mean curvature flow via the complex phase map .
We proved a Bernstein theorem for ancient solution to symplectic mean curvature flow via the complex phase map .
△ Less
Submitted 28 September, 2023;
originally announced September 2023.
-
A Bernstein theorem of ancient solutions to mean curvature flow
Authors:
Xiangzhi Cao
Abstract:
We proved a Bernstein theorem of ancient solutions to mean curvature flow.
We proved a Bernstein theorem of ancient solutions to mean curvature flow.
△ Less
Submitted 27 September, 2023;
originally announced September 2023.
-
Analytic smoothing effect of Cauchy problem for a class of Kolmogorov-Fokker-Planck equations
Authors:
Xiao-Dong Cao,
Chao-Jiang Xu,
Yan Xu
Abstract:
We study the Cauchy problem of the Kolmogorov-Fokker-Planck equations and show that the solution enjoys an analytic smoothing effect with L2 initial datum for positive time.
We study the Cauchy problem of the Kolmogorov-Fokker-Planck equations and show that the solution enjoys an analytic smoothing effect with L2 initial datum for positive time.
△ Less
Submitted 20 September, 2023;
originally announced September 2023.
-
A Construction of Asymptotically Optimal Cascaded CDC Schemes via Combinatorial Designs
Authors:
Yingjie Cheng,
Gaojun Luo,
Xiwang Cao,
Martianus Frederic Ezerman,
San Ling
Abstract:
A coded distributed computing (CDC) system aims to reduce the communication load in the MapReduce framework. Such a system has $K$ nodes, $N$ input files, and $Q$ Reduce functions. Each input file is mapped by $r$ nodes and each Reduce function is computed by $s$ nodes. The objective is to achieve the maximum multicast gain. There are known CDC schemes that achieve optimal communication load. In s…
▽ More
A coded distributed computing (CDC) system aims to reduce the communication load in the MapReduce framework. Such a system has $K$ nodes, $N$ input files, and $Q$ Reduce functions. Each input file is mapped by $r$ nodes and each Reduce function is computed by $s$ nodes. The objective is to achieve the maximum multicast gain. There are known CDC schemes that achieve optimal communication load. In some prominent known schemes, however, $N$ and $Q$ grow too fast in terms of $K$, greatly reducing their gains in practical scenarios. To mitigate the situation, some asymptotically optimal cascaded CDC schemes with $r=s$ have been proposed by using symmetric designs. In this paper, we put forward new asymptotically optimal cascaded CDC schemes with $r=s$ by using $1$-designs. Compared with earlier schemes from symmetric designs, ours have much smaller computation loads while keeping the other relevant parameters the same. We also obtain new asymptotically optimal cascaded CDC schemes with more flexible parameters compared with previously best-performing schemes.
△ Less
Submitted 8 September, 2023;
originally announced September 2023.
-
Sharper Asymptotically Optimal CDC Schemes via Combinatorial Designs
Authors:
Yingjie Cheng,
Gaojun Luo,
Xiwang Cao,
Martianus Frederic Ezerman,
San Ling
Abstract:
Coded distributed computing (CDC) was introduced to greatly reduce the communication load for MapReduce computing systems. Such a system has $K$ nodes, $N$ input files, and $Q$ Reduce functions. Each input file is mapped by $r$ nodes and each Reduce function is computed by $s$ nodes. The architecture must allow for coding techniques that achieve the maximum multicast gain. Some CDC schemes that ac…
▽ More
Coded distributed computing (CDC) was introduced to greatly reduce the communication load for MapReduce computing systems. Such a system has $K$ nodes, $N$ input files, and $Q$ Reduce functions. Each input file is mapped by $r$ nodes and each Reduce function is computed by $s$ nodes. The architecture must allow for coding techniques that achieve the maximum multicast gain. Some CDC schemes that achieve optimal communication load have been proposed before. The parameters $N$ and $Q$ in those schemes, however, grow too fast with respect to $K$ to be of great practical value. To improve the situation, researchers have come up with some asymptotically optimal cascaded CDC schemes with $s+r=K$ from symmetric designs.
In this paper, we propose new asymptotically optimal cascaded CDC schemes. Akin to known schemes, ours have $r+s=K$ and make use of symmetric designs as construction tools. Unlike previous schemes, ours have much smaller communication loads, given the same set of parameters $K$, $r$, $N$, and $Q$. We also expand the construction tools to include almost difference sets. Using them, we have managed to construct a new asymptotically optimal cascaded CDC scheme.
△ Less
Submitted 9 July, 2023;
originally announced July 2023.
-
Liouville theorem for $ φ$-$F$-symphonic map , $ φ$-$F$-harmonic map and and $ φ$-$Φ_{S, p, \varepsilon}$ harmonic map with free boundary
Authors:
Xiangzhi Cao
Abstract:
In this paper, we obtained Liouville theorem for $ φ$-$F$-symphonic map , $ φ$-$F$-harmonic map and $ φ$-$Φ_{S, p, \varepsilon}$ harmonic map with free boundary on metric measure space.
In this paper, we obtained Liouville theorem for $ φ$-$F$-symphonic map , $ φ$-$F$-harmonic map and $ φ$-$Φ_{S, p, \varepsilon}$ harmonic map with free boundary on metric measure space.
△ Less
Submitted 14 June, 2023;
originally announced June 2023.
-
Symphonic map from ellipsoid to ellipsoid
Authors:
Xiangzhi Cao
Abstract:
In this paper, we proved the existence of Symphonic map from ellipsoid to ellipsoid. We also geive give Hopf construction of Symphonic map from ellipsoid to ellipsoid.
In this paper, we proved the existence of Symphonic map from ellipsoid to ellipsoid. We also geive give Hopf construction of Symphonic map from ellipsoid to ellipsoid.
△ Less
Submitted 8 May, 2023;
originally announced May 2023.
-
Liouville theorem of VT harmonic map from complete noncompact manifold into horoball
Authors:
Xiangzhi Cao
Abstract:
In this paper, we mainly study Liouville theorem of V T harmonic map from complete noncompact manifold into horoball in Cartan-Hardmard manifold. To this aim, we will establish gradient estimates under some condition on and V and T.
In this paper, we mainly study Liouville theorem of V T harmonic map from complete noncompact manifold into horoball in Cartan-Hardmard manifold. To this aim, we will establish gradient estimates under some condition on and V and T.
△ Less
Submitted 14 March, 2023;
originally announced March 2023.
-
Schwarz Lemma for VT harmonic map
Authors:
Xiangzhi Cao
Abstract:
In this paper, we obtained Schwarz Lemma of $ VT $ harmonic map including distance decreasing property and volume decreasing property under some conditions about the eigenvalue of $ du^{+} \circ du $, $ T $ and the lower bound of $ Ric_f^N $ or $ Ric_V^N $. We generalized Schwarz lemma of $ V $ harmonic map.
In this paper, we obtained Schwarz Lemma of $ VT $ harmonic map including distance decreasing property and volume decreasing property under some conditions about the eigenvalue of $ du^{+} \circ du $, $ T $ and the lower bound of $ Ric_f^N $ or $ Ric_V^N $. We generalized Schwarz lemma of $ V $ harmonic map.
△ Less
Submitted 29 March, 2023; v1 submitted 5 February, 2023;
originally announced February 2023.
-
Heat flow for VT harmonic map from compact manifold
Authors:
Xiangzhi Cao
Abstract:
In this paper, we obtain the existence of Dirichlet problem for VT harmonic map from compact Riemannian manifold with or without boundary into compact manifold via the heat flow method. We also obtain the existence of V T geodesics uncer certain conditions on T.
In this paper, we obtain the existence of Dirichlet problem for VT harmonic map from compact Riemannian manifold with or without boundary into compact manifold via the heat flow method. We also obtain the existence of V T geodesics uncer certain conditions on T.
△ Less
Submitted 5 February, 2023;
originally announced February 2023.
-
Regular complete permutation polynomials over quadratic extension fields
Authors:
Wei Lu,
Xia Wu,
Yufei Wang,
Xiwang Cao
Abstract:
Let $r\geq 3$ be any positive integer which is relatively prime to $p$ and $q^2\equiv 1 \pmod r$. Let $τ_1, τ_2$ be any permutation polynomials over $\mathbb{F}_{q^2},$ $σ_M$ is an invertible linear map over $\mathbb{F}_{q^2}$ and $σ=τ_1\circσ_M\circτ_2$. In this paper, we prove that, for suitable $τ_1, τ_2$ and $σ_M$, the map $σ$ could be $r$-regular complete permutation polynomials over quadrati…
▽ More
Let $r\geq 3$ be any positive integer which is relatively prime to $p$ and $q^2\equiv 1 \pmod r$. Let $τ_1, τ_2$ be any permutation polynomials over $\mathbb{F}_{q^2},$ $σ_M$ is an invertible linear map over $\mathbb{F}_{q^2}$ and $σ=τ_1\circσ_M\circτ_2$. In this paper, we prove that, for suitable $τ_1, τ_2$ and $σ_M$, the map $σ$ could be $r$-regular complete permutation polynomials over quadratic extension fields.
△ Less
Submitted 27 December, 2022;
originally announced December 2022.
-
A general construction of regular complete permutation polynomials
Authors:
Wei Lu,
Xia Wu,
Yufei Wang,
Xiwang Cao
Abstract:
Let $r\geq 3$ be a positive integer and $\mathbb{F}_q$ the finite field with $q$ elements. In this paper, we consider the $r$-regular complete permutation property of maps with the form $f=τ\circσ_M\circτ^{-1}$ where $τ$ is a PP over an extension field $\mathbb{F}_{q^d}$ and $σ_M$ is an invertible linear map over $\mathbb{F}_{q^d}$. We give a general construction of $r$-regular PPs for any positiv…
▽ More
Let $r\geq 3$ be a positive integer and $\mathbb{F}_q$ the finite field with $q$ elements. In this paper, we consider the $r$-regular complete permutation property of maps with the form $f=τ\circσ_M\circτ^{-1}$ where $τ$ is a PP over an extension field $\mathbb{F}_{q^d}$ and $σ_M$ is an invertible linear map over $\mathbb{F}_{q^d}$. We give a general construction of $r$-regular PPs for any positive integer $r$. When $τ$ is additive, we give a general construction of $r$-regular CPPs for any positive integer $r$. When $τ$ is not additive, we give many examples of regular CPPs over the extension fields for $r=3,4,5,6,7$ and for arbitrary odd positive integer $r$. These examples are the generalization of the first class of $r$-regular CPPs constructed by Xu, Zeng and Zhang (Des. Codes Cryptogr. 90, 545-575 (2022)).
△ Less
Submitted 25 December, 2022;
originally announced December 2022.
-
Stability for $ Φ_{S, F,H} $ harmonic map and $ Φ_{T, F,H} $ harmonic map
Authors:
Xiangzhi Cao
Abstract:
In this paper, we mainly consider the stability of $ Φ_{S, F,H} $ harmonic map and $ Φ_{T,F,H} $ harmonic map from or into $ Φ$-SSU manifold. We mainly consider the stability of $ Φ_{S, F,H} $ harmonic map and $ Φ_{T,F,H} $ harmonic map from or into compact convex hypersurface. We also give some Theorems to know when a manifold is $ Φ_{S, F,H} $ -stable or $ Φ_{S, F,H} $ -unstable.
In this paper, we mainly consider the stability of $ Φ_{S, F,H} $ harmonic map and $ Φ_{T,F,H} $ harmonic map from or into $ Φ$-SSU manifold. We mainly consider the stability of $ Φ_{S, F,H} $ harmonic map and $ Φ_{T,F,H} $ harmonic map from or into compact convex hypersurface. We also give some Theorems to know when a manifold is $ Φ_{S, F,H} $ -stable or $ Φ_{S, F,H} $ -unstable.
△ Less
Submitted 22 December, 2022;
originally announced December 2022.
-
Stability for $ F $ harmonic map with two form and potential versus Stability for $ F $ symphonic map with potential
Authors:
Xiangzhi Cao
Abstract:
In this paper, we consider the stability of $ F $-harmonic map with $ m $-form and potential into pinched manifold. We also consider the stability of $ F $-symphonic map with potential form or into compact $Φ$-SSU manifold. We also consider the stability of $ F $-symphonic map with potential into pinched manifold.
In this paper, we consider the stability of $ F $-harmonic map with $ m $-form and potential into pinched manifold. We also consider the stability of $ F $-symphonic map with potential form or into compact $Φ$-SSU manifold. We also consider the stability of $ F $-symphonic map with potential into pinched manifold.
△ Less
Submitted 15 December, 2022;
originally announced December 2022.
-
Liouville type theorem for several generalized maps between Riemannian manifold
Authors:
Xiangzhi Cao
Abstract:
In this paper, we mainly derive monotonicity formula of generalized map using conservation law, including $φ$-$F$ harmonic map coupled with $φ$-$F$ symphonic map with $m$ form and potential from metric measure space, $ p $ harmonic map with potential , $ V $ harmonic map with potential. As an corollary, we can derive Liouville theorem for these maps under some finite energy conditons. We also get…
▽ More
In this paper, we mainly derive monotonicity formula of generalized map using conservation law, including $φ$-$F$ harmonic map coupled with $φ$-$F$ symphonic map with $m$ form and potential from metric measure space, $ p $ harmonic map with potential , $ V $ harmonic map with potential. As an corollary, we can derive Liouville theorem for these maps under some finite energy conditons. We also get Liouville type theorem for $φ$-$F$ harmonic map coupled with $φ$-$F$ symphonic map under asymptotic conditon on metric measure space. We also get Liouville theorem for $φ$-$F$-$V$-harmonic maps in terms of the upper bound of Ricci curvature and the bound about sectional curvature on metric measure space. We also get Liouville theorem for $φ$-$ F $-harmonic map without using monotonicity formula on metric measure space.
△ Less
Submitted 15 December, 2022;
originally announced December 2022.
-
Rigidity of four-dimensional Kähler-Ricci solitons
Authors:
Xiaodong Cao,
Ernani Ribeiro Jr,
Hung Tran
Abstract:
In this article, we investigate four-dimensional gradient shrinking Ricci solitons close to a Kähler model. The first theorem could be considered as a rigidity result for the Kähler-Ricci soliton structure on $\mathbb{S}^2\times \mathbb{R}^2$ (in the sense of Remark 1). Moreover, we show that if the quotient of norm of the self-dual Weyl tensor and scalar curvature is close to that on a Kähler met…
▽ More
In this article, we investigate four-dimensional gradient shrinking Ricci solitons close to a Kähler model. The first theorem could be considered as a rigidity result for the Kähler-Ricci soliton structure on $\mathbb{S}^2\times \mathbb{R}^2$ (in the sense of Remark 1). Moreover, we show that if the quotient of norm of the self-dual Weyl tensor and scalar curvature is close to that on a Kähler metric in a specific sense, then the gradient Ricci soliton must be either half-conformally flat or locally Kähler.
△ Less
Submitted 10 December, 2022;
originally announced December 2022.
-
Vanishing theorem and finiteness theorem for $p$-harmonic $1$ form
Authors:
Xiangzhi Cao
Abstract:
In this paper, we will show vanishing theorem of $p$ harmonic $1$ form on submanifold $M$ in $ \bar{M} $ whose BiRic curvature satisfying $ \overline{\mathrm{BiRic}}^a \geq Φ_a(H,S) $. As an corollary, we can get the corresponding theorem for $ p $ harmonic function and $ p $ harmonic map. We also investigate the finiteness problem of $p$ harmonic $1$ form on submanifold $M$ in $ \bar{M} $ whose B…
▽ More
In this paper, we will show vanishing theorem of $p$ harmonic $1$ form on submanifold $M$ in $ \bar{M} $ whose BiRic curvature satisfying $ \overline{\mathrm{BiRic}}^a \geq Φ_a(H,S) $. As an corollary, we can get the corresponding theorem for $ p $ harmonic function and $ p $ harmonic map. We also investigate the finiteness problem of $p$ harmonic $1$ form on submanifold $M$ in $ \bar{M} $ whose BiRic curvature satisfying $ \overline{\mathrm{BiRic}}^a \geq -k^2 $.
△ Less
Submitted 29 October, 2022;
originally announced October 2022.
-
Liouville Type Theorem about $p$-harmonic 1 form, $p$-harmonic map and harmonic $ q $ form
Authors:
Xiangzhi Cao
Abstract:
In this paper, we will use the normalized intetral Ricci curvature to investigate Liouville type property of $ p $ harmonic function on Riemannian manifold. secondly, we will use the BiRic curvature to obtian Liuville theorem for $ p $ harmonic function or $ p $ harmonic 1 form. Lastly, we we will use the BiRic curvature to obtian Liouville theorem forharmonic $ q(q\geq 2)$ form.
In this paper, we will use the normalized intetral Ricci curvature to investigate Liouville type property of $ p $ harmonic function on Riemannian manifold. secondly, we will use the BiRic curvature to obtian Liuville theorem for $ p $ harmonic function or $ p $ harmonic 1 form. Lastly, we we will use the BiRic curvature to obtian Liouville theorem forharmonic $ q(q\geq 2)$ form.
△ Less
Submitted 25 October, 2022;
originally announced October 2022.
-
Gradient estimates for the porous medium type equations and fast diffusion type equations on complete noncompact metric measure space with compact boundary
Authors:
Xiangzhi Cao
Abstract:
In the paper, we derive Li-Yau gradient estimates and Souplet Zhang type estimates of the following equation \begin{equation*} \begin{split} u_t= Δ_ξp+λu+A(u) , \end{split} \end{equation*} on complete noncompact metric measure space $ (M, g,e^{-ξ}dv_g) $ with compact boundary. We will also give the local gradient estimates of the equation \begin{equation*} Δ_ξ(u^p)+λu+A(u)=0, \end{equation*} on co…
▽ More
In the paper, we derive Li-Yau gradient estimates and Souplet Zhang type estimates of the following equation \begin{equation*} \begin{split} u_t= Δ_ξp+λu+A(u) , \end{split} \end{equation*} on complete noncompact metric measure space $ (M, g,e^{-ξ}dv_g) $ with compact boundary. We will also give the local gradient estimates of the equation \begin{equation*} Δ_ξ(u^p)+λu+A(u)=0, \end{equation*} on complete noncompact manifold with compact boundary.
△ Less
Submitted 14 August, 2024; v1 submitted 1 October, 2022;
originally announced October 2022.
-
Gradient estimates of nonlinear equation on complete noncompact metric measure space with compact boundary
Authors:
Xiangzhi Cao
Abstract:
In this paper, firstly, we study gradient estimates for positive solution of the following equation \begin{equation*} Δ_ξ(u)-\partial_t u- q u =A(u),t\in (-\infty,\infty) \end{equation*} on metric measure space $ (M,g,e^{-ξ}\mathrm{d} v_g)$ with boundary , where $ Δ_ξ=Δ+\left \langle \nabla\cdot , \nabla ξ\right \rangle $. For this equation, we derive Li-Yau type gradient estimates and Hamilton's…
▽ More
In this paper, firstly, we study gradient estimates for positive solution of the following equation \begin{equation*} Δ_ξ(u)-\partial_t u- q u =A(u),t\in (-\infty,\infty) \end{equation*} on metric measure space $ (M,g,e^{-ξ}\mathrm{d} v_g)$ with boundary , where $ Δ_ξ=Δ+\left \langle \nabla\cdot , \nabla ξ\right \rangle $. For this equation, we derive Li-Yau type gradient estimates and Hamilton's type gradient estimates. Secondly, we obtain gradient estimates for positive solution of the following elliptical type equation \begin{equation} Δ_ξ(u)- q u =A(u)\end{equation} on complete noncompact metric measure space $(M,g,e^{-ξ}\mathrm{d} v_g)$ with boundary.
△ Less
Submitted 14 August, 2024; v1 submitted 26 September, 2022;
originally announced September 2022.
-
The Electromagnetic Waves Generated by Dielectric Nanoparticles
Authors:
Xinlin Cao,
Ahcene Ghandriche,
Mourad Sini
Abstract:
We estimate the electromagnetic fields generated by a cluster of dielectric nanoparticles embedded into a background made of a vacuum. The dielectric nanoparticles are small scaled but enjoy high contrast of their relative permittivity. Such scales/contrasts can be ensured using the Lorentz model with incident frequencies chosen appropriately close to the undamped resonance (appearing in the Loren…
▽ More
We estimate the electromagnetic fields generated by a cluster of dielectric nanoparticles embedded into a background made of a vacuum. The dielectric nanoparticles are small scaled but enjoy high contrast of their relative permittivity. Such scales/contrasts can be ensured using the Lorentz model with incident frequencies chosen appropriately close to the undamped resonance (appearing in the Lorentz model). Under certain ratio between their size and contrast, these nanoparticles generate resonances, called dielectric resonances. These resonances are characterized and computed via the spectrum of the electric Newtonian operator, stated on the support of nanoparticles, projected on the space of divergence-free fields with vanishing boundary normal components. We characterize the dominant field generated by a cluster of such dielectric-resonating nanoparticles. In this point-interaction approximation, the nanoparticles can be distributed to occupy volume-like domains or low dimensional hypersurfaces where periodicity is not required. The form of these approximations suggests that the effective electromagnetic medium, equivalent to the cluster of such nanoparticles, is a perturbation of the magnetic permeability and not the electric permittivity. The cluster can be tuned such that the equivalent permeability has positive or negative values (while the permittivity stays unchanged).
△ Less
Submitted 8 September, 2022; v1 submitted 6 September, 2022;
originally announced September 2022.
-
Fractional revival on abelian Cayley graphs
Authors:
Xiwang Cao,
Gaojun Luo
Abstract:
Fractional revival, known as a quantum transport phenomenon, is essential for entanglement generation in quantum spin networks. The concept of fractional revival is a generalization of perfect state transfer and periodicity on graphs. In this paper, we propose a sufficient and necessary condition for abelian Cayley graphs having fractional revival between any two distinct vertices. With this chara…
▽ More
Fractional revival, known as a quantum transport phenomenon, is essential for entanglement generation in quantum spin networks. The concept of fractional revival is a generalization of perfect state transfer and periodicity on graphs. In this paper, we propose a sufficient and necessary condition for abelian Cayley graphs having fractional revival between any two distinct vertices. With this characterization, two general constructions of abelian Cayley graphs having fractional revival is presented. Meanwhile, we establish several new families of abelian Cayley graphs admitting fractional revival.
△ Less
Submitted 9 August, 2022;
originally announced August 2022.
-
Improved Binary Forward Exploration: Learning Rate Scheduling Method for Stochastic Optimization
Authors:
Xin Cao
Abstract:
A new gradient-based optimization approach by automatically scheduling the learning rate has been proposed recently, which is called Binary Forward Exploration (BFE). The Adaptive version of BFE has also been discussed thereafter. In this paper, the improved algorithms based on them will be investigated, in order to optimize the efficiency and robustness of the new methodology. This improved appro…
▽ More
A new gradient-based optimization approach by automatically scheduling the learning rate has been proposed recently, which is called Binary Forward Exploration (BFE). The Adaptive version of BFE has also been discussed thereafter. In this paper, the improved algorithms based on them will be investigated, in order to optimize the efficiency and robustness of the new methodology. This improved approach provides a new perspective to scheduling the update of learning rate and will be compared with the stochastic gradient descent, aka SGD algorithm with momentum or Nesterov momentum and the most successful adaptive learning rate algorithm e.g. Adam. The goal of this method does not aim to beat others but provide a different viewpoint to optimize the gradient descent process. This approach combines the advantages of the first-order and second-order optimizations in the aspects of speed and efficiency.
△ Less
Submitted 22 September, 2022; v1 submitted 9 July, 2022;
originally announced July 2022.
-
BFE and AdaBFE: A New Approach in Learning Rate Automation for Stochastic Optimization
Authors:
Xin Cao
Abstract:
In this paper, a new gradient-based optimization approach by automatically adjusting the learning rate is proposed. This approach can be applied to design non-adaptive learning rate and adaptive learning rate. Firstly, I will introduce the non-adaptive learning rate optimization method: Binary Forward Exploration (BFE), and then the corresponding adaptive per-parameter learning rate method: Adapti…
▽ More
In this paper, a new gradient-based optimization approach by automatically adjusting the learning rate is proposed. This approach can be applied to design non-adaptive learning rate and adaptive learning rate. Firstly, I will introduce the non-adaptive learning rate optimization method: Binary Forward Exploration (BFE), and then the corresponding adaptive per-parameter learning rate method: Adaptive BFE (AdaBFE) is possible to be developed. This approach could be an alternative method to optimize the learning rate based on the stochastic gradient descent (SGD) algorithm besides the current non-adaptive learning rate methods e.g. SGD, momentum, Nesterov and the adaptive learning rate methods e.g. AdaGrad, AdaDelta, Adam... The purpose to develop this approach is not to beat the benchmark of other methods but just to provide a different perspective to optimize the gradient descent method, although some comparative study with previous methods will be made in the following sections. This approach is expected to be heuristic or inspire researchers to improve gradient-based optimization combined with previous methods.
△ Less
Submitted 6 July, 2022;
originally announced July 2022.
-
On Turing-Turing bifurcation of partial functional differential equations and its induced superposition patterns
Authors:
Xun Cao,
Weihua Jiang
Abstract:
When two Turing modes interact, i.e., Turing-Turing bifurcation occurs, superposition patterns revealing complex dynamical phenomena appear. In this paper, superposition patterns resulting from Turing-Turing bifurcation are investigated in theory. Firstly, the third-order normal form locally topologically equivalent to original partial functional differential equations (PFDEs) is derived. When sel…
▽ More
When two Turing modes interact, i.e., Turing-Turing bifurcation occurs, superposition patterns revealing complex dynamical phenomena appear. In this paper, superposition patterns resulting from Turing-Turing bifurcation are investigated in theory. Firstly, the third-order normal form locally topologically equivalent to original partial functional differential equations (PFDEs) is derived. When selecting 1D domain and Neumann boundary conditions, three normal forms describing different spatial patterns are deduced from original third-order normal form. Also, formulas for computing coefficients of these normal forms are given, which are expressed in explicit form of original system parameters. With the aid of three normal forms, spatial patterns of a diffusive predator-prey system with Crowley-Martin functional response near Turing-Turing singularity are investigated. For one set of parameters, diffusive system supports the coexistence of four stable steady states with different single characteristic wavelengths, which demonstrates our previous conjecture. For another set of parameters, superposition patterns, tri-stable patterns that a pair of stable superposition steady states coexists with the stable coexistence equilibrium or another stable steady state, as well as quad-stable patterns that a pair of stable superposition steady states and another pair of stable steady states coexist, arise. Finally, numerical simulations are shown to support theory analysis.
△ Less
Submitted 9 April, 2022;
originally announced April 2022.
-
Bayesian inference on hierarchical nonlocal priors in generalized linear models
Authors:
Xuan Cao,
Kyoungjae Lee
Abstract:
Variable selection methods with nonlocal priors have been widely studied in linear regression models, and their theoretical and empirical performances have been reported. However, the crucial model selection properties for hierarchical nonlocal priors in high-dimensional generalized linear regression have rarely been investigated. In this paper, we consider a hierarchical nonlocal prior for high-d…
▽ More
Variable selection methods with nonlocal priors have been widely studied in linear regression models, and their theoretical and empirical performances have been reported. However, the crucial model selection properties for hierarchical nonlocal priors in high-dimensional generalized linear regression have rarely been investigated. In this paper, we consider a hierarchical nonlocal prior for high-dimensional logistic regression models and investigate theoretical properties of the posterior distribution. Specifically, a product moment (pMOM) nonlocal prior is imposed over the regression coefficients with an Inverse-Gamma prior on the tuning parameter. Under standard regularity assumptions, we establish strong model selection consistency in a high-dimensional setting, where the number of covariates is allowed to increase at a sub-exponential rate with the sample size. We implement the Laplace approximation for computing the posterior probabilities, and a modified shotgun stochastic search procedure is suggested for efficiently exploring the model space. We demonstrate the validity of the proposed method through simulation studies and an RNA-sequencing dataset for stratifying disease risk.
△ Less
Submitted 14 March, 2022;
originally announced March 2022.
-
Consistent and scalable Bayesian joint variable and graph selection for disease diagnosis leveraging functional brain network
Authors:
Xuan Cao,
Kyoungjae Lee
Abstract:
We consider the joint inference of regression coefficients and the inverse covariance matrix for covariates in high-dimensional probit regression, where the predictors are both relevant to the binary response and functionally related to one another. A hierarchical model with spike and slab priors over regression coefficients and the elements in the inverse covariance matrix is employed to simultan…
▽ More
We consider the joint inference of regression coefficients and the inverse covariance matrix for covariates in high-dimensional probit regression, where the predictors are both relevant to the binary response and functionally related to one another. A hierarchical model with spike and slab priors over regression coefficients and the elements in the inverse covariance matrix is employed to simultaneously perform variable and graph selection. We establish joint selection consistency for both the variable and the underlying graph when the dimension of predictors is allowed to grow much larger than the sample size, which is the first theoretical result in the Bayesian literature. A scalable Gibbs sampler is derived that performs better in high-dimensional simulation studies compared with other state-of-art methods. We illustrate the practical impact and utilities of the proposed method via a functional MRI dataset, where both the regions of interest with altered functional activities and the underlying functional brain network are inferred and integrated together for stratifying disease risk.
△ Less
Submitted 14 March, 2022;
originally announced March 2022.
-
Construction of Boundary Conditions for Hyperbolic Relaxation Approximations II: Jin-Xin Relaxation Model
Authors:
Xiaxia Cao,
Wen-An Yong
Abstract:
This is our second work in the series about constructing boundary conditions for hyperbolic relaxation approximations. The present work is concerned with the one-dimensional linearized Jin-Xin relaxation model, a convenient approximation of hyperbolic conservation laws, with non-characteristic boundaries. Assume that proper boundary conditions are given for the conservation laws. We construct boun…
▽ More
This is our second work in the series about constructing boundary conditions for hyperbolic relaxation approximations. The present work is concerned with the one-dimensional linearized Jin-Xin relaxation model, a convenient approximation of hyperbolic conservation laws, with non-characteristic boundaries. Assume that proper boundary conditions are given for the conservation laws. We construct boundary conditions for the relaxation model with the expectation that the resultant initial-boundary-value problems are approximations to the given conservation laws with the boundary conditions. The constructed boundary conditions are highly non-unique. Their satisfaction of the generalized Kreiss condition is analyzed. The compatibility with initial data is studied. Furthermore, by resorting to a formal asymptotic expansion, we prove the effectiveness of the approximations.
△ Less
Submitted 8 March, 2022;
originally announced March 2022.
-
To what extent should we trust AI models when they extrapolate?
Authors:
Roozbeh Yousefzadeh,
Xuenan Cao
Abstract:
Many applications affecting human lives rely on models that have come to be known under the umbrella of machine learning and artificial intelligence. These AI models are usually complicated mathematical functions that map from an input space to an output space. Stakeholders are interested to know the rationales behind models' decisions and functional behavior. We study this functional behavior in…
▽ More
Many applications affecting human lives rely on models that have come to be known under the umbrella of machine learning and artificial intelligence. These AI models are usually complicated mathematical functions that map from an input space to an output space. Stakeholders are interested to know the rationales behind models' decisions and functional behavior. We study this functional behavior in relation to the data used to create the models. On this topic, scholars have often assumed that models do not extrapolate, i.e., they learn from their training samples and process new input by interpolation. This assumption is questionable: we show that models extrapolate frequently; the extent of extrapolation varies and can be socially consequential. We demonstrate that extrapolation happens for a substantial portion of datasets more than one would consider reasonable. How can we trust models if we do not know whether they are extrapolating? Given a model trained to recommend clinical procedures for patients, can we trust the recommendation when the model considers a patient older or younger than all the samples in the training set? If the training set is mostly Whites, to what extent can we trust its recommendations about Black and Hispanic patients? Which dimension (race, gender, or age) does extrapolation happen? Even if a model is trained on people of all races, it still may extrapolate in significant ways related to race. The leading question is, to what extent can we trust AI models when they process inputs that fall outside their training set? This paper investigates several social applications of AI, showing how models extrapolate without notice. We also look at different sub-spaces of extrapolation for specific individuals subject to AI models and report how these extrapolations can be interpreted, not mathematically, but from a humanistic point of view.
△ Less
Submitted 26 January, 2022;
originally announced January 2022.