-
Shape optimization for maximizing ionic concentration constrained by steady-state Poisson-Nernst-Planck system
Authors:
Jiajie Li,
Shenggao Zhou,
Shengfeng Zhu
Abstract:
We build a new mathematical model of shape optimization for maximizing ionic concentration governed by the multi-physical coupling steady-state Poisson-Nernst-Planck system. Shape sensitivity analysis is performed to obtain the Eulerian derivative of the cost functional. The Gummel fixed-point method with inverse harmonic averaging technique on exponential coefficient is used to solve efficiently…
▽ More
We build a new mathematical model of shape optimization for maximizing ionic concentration governed by the multi-physical coupling steady-state Poisson-Nernst-Planck system. Shape sensitivity analysis is performed to obtain the Eulerian derivative of the cost functional. The Gummel fixed-point method with inverse harmonic averaging technique on exponential coefficient is used to solve efficiently the steady-state Poisson-Nernst-Planck system. Various numerical results using a shape gradient algorithm in 2d and 3d are presented.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
Defect Invariant Nakayama Algebras
Authors:
Emre Sen,
Gordana Todorov,
Shijie Zhu
Abstract:
We show that for a given Nakayama algebra $Θ$, there exist countably many cyclic Nakayama algebras $Λ_i$, where $i \in \mathbb{N}$, such that the syzygy filtered algebra of $Λ_i$ is isomorphic to $Θ$ and we describe those algebras $Λ_i$. We show, among these algebras, there exists a unique algebra $Λ$ where the defects, representing the number of indecomposable injective but not projective modules…
▽ More
We show that for a given Nakayama algebra $Θ$, there exist countably many cyclic Nakayama algebras $Λ_i$, where $i \in \mathbb{N}$, such that the syzygy filtered algebra of $Λ_i$ is isomorphic to $Θ$ and we describe those algebras $Λ_i$. We show, among these algebras, there exists a unique algebra $Λ$ where the defects, representing the number of indecomposable injective but not projective modules, remain invariant for both $Θ$ and $Λ$. As an application, we achieve the classification of cyclic Nakayama algebras that are minimal Auslander-Gorenstein and dominant Auslander-regular algebras of global dimension three. Specifically, by using the Auslander-Iyama correspondence, we obtain cluster-tilting objects for certain Nakayama algebras. Additionally, we introduce cosyzygy filtered algebras and show that it is dual of syzygy filtered algebra.
△ Less
Submitted 31 May, 2024;
originally announced June 2024.
-
Weighted Sonine conditions and application
Authors:
Xiangcheng Zheng,
Shangqin Zhu,
Yiqun Li
Abstract:
The Sonine kernel described by the classical Sonine condition of convolution form is an important class of kernels used in integral equations and nonlocal differential equations. This work extends this idea to introduce weighted Sonine conditions where the non-convolutional weight functions accommodate the inhomogeneity in practical applications. We characterize tight relations between classical S…
▽ More
The Sonine kernel described by the classical Sonine condition of convolution form is an important class of kernels used in integral equations and nonlocal differential equations. This work extends this idea to introduce weighted Sonine conditions where the non-convolutional weight functions accommodate the inhomogeneity in practical applications. We characterize tight relations between classical Sonine condition and its weighted versions, which indicates that the non-degenerate weight functions may not introduce significant changes on the set of Sonine kernels. To demonstrate the application of weighted Sonine conditions, we employ them to derive equivalent but more feasible formulations of weighted integral equations and nonlocal differential equations to prove their well-posedness, and discuss possible application to corresponding partial differential equation models.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
Adversarial neural network methods for topology optimization of eigenvalue problems
Authors:
Xindi Hu,
Jiaming Weng,
Shengfeng Zhu
Abstract:
This research presents a novel method using an adversarial neural network to solve the eigenvalue topology optimization problems. The study focuses on optimizing the first eigenvalues of second-order elliptic and fourth-order biharmonic operators subject to geometry constraints. These models are usually solved with topology optimization algorithms based on sensitivity analysis, in which it is expe…
▽ More
This research presents a novel method using an adversarial neural network to solve the eigenvalue topology optimization problems. The study focuses on optimizing the first eigenvalues of second-order elliptic and fourth-order biharmonic operators subject to geometry constraints. These models are usually solved with topology optimization algorithms based on sensitivity analysis, in which it is expensive to repeatedly solve the nonlinear constrained eigenvalue problem with traditional numerical methods such as finite elements or finite differences. In contrast, our method leverages automatic differentiation within the deep learning framework. Furthermore, the adversarial neural networks enable different neural networks to train independently, which improves the training efficiency and achieve satisfactory optimization results. Numerical results are presented to verify effectiveness of the algorithms for maximizing and minimizing the first eigenvalues.
△ Less
Submitted 10 May, 2024;
originally announced May 2024.
-
Energy stable gradient flow schemes for shape and topology optimization in Navier-Stokes flows
Authors:
Jiajie Li,
Shengfeng Zhu
Abstract:
We study topology optimization governed by the incompressible Navier-Stokes flows using a phase field model. Novel stabilized semi-implicit schemes for the gradient flows of Allen-Cahn and Cahn-Hilliard types are proposed for solving the resulting optimal control problem. Unconditional energy stability is shown for the gradient flow schemes in continuous and discrete spaces. Numerical experiments…
▽ More
We study topology optimization governed by the incompressible Navier-Stokes flows using a phase field model. Novel stabilized semi-implicit schemes for the gradient flows of Allen-Cahn and Cahn-Hilliard types are proposed for solving the resulting optimal control problem. Unconditional energy stability is shown for the gradient flow schemes in continuous and discrete spaces. Numerical experiments of computational fluid dynamics in 2d and 3d show the effectiveness and robustness of the optimization algorithms proposed.
△ Less
Submitted 8 May, 2024;
originally announced May 2024.
-
Growth of root multiplicities along imaginary root strings in Kac--Moody algebras
Authors:
Lisa Carbone,
Terence Coelho,
Scott H. Murray,
Forrest Thurman,
Songhao Zhu
Abstract:
Let $\mathfrak{g}$ be a symmetrizable Kac--Moody algebra. Given a root $α$ and a real root $β$ of $\mathfrak{g}$, it is known that the $β$-string through $α$, denoted $R_α(β)$, is finite. Given an imaginary root $β$, we show that $R_α(β)=\{β\}$ or $R_α(β)$ is infinite. If $(β,β)<0$, we also show that the multiplicity of the root ${α+nβ}$ grows at least exponentially as $n\to\infty$. If…
▽ More
Let $\mathfrak{g}$ be a symmetrizable Kac--Moody algebra. Given a root $α$ and a real root $β$ of $\mathfrak{g}$, it is known that the $β$-string through $α$, denoted $R_α(β)$, is finite. Given an imaginary root $β$, we show that $R_α(β)=\{β\}$ or $R_α(β)$ is infinite. If $(β,β)<0$, we also show that the multiplicity of the root ${α+nβ}$ grows at least exponentially as $n\to\infty$. If $(β,β)=(α, β) = 0$, we show that $R_α(β)$ is bi-infinite and the multiplicities of $α+nβ$ are bounded. If $(β,β)=0$ and $(α, β) \neq 0$, we show that $R_α(β)$ is semi-infinite and the muliplicity of $α+nβ$ or $α-nβ$ grows faster than every polynomial as $n\to\infty$. We also prove that $\dim \mathfrak{g}_{α+β} \geq \dim \mathfrak{g}_α+ \dim \mathfrak{g}_β-1$ whenever $α\neq β$ with $(α, β)<0$.
△ Less
Submitted 24 April, 2024; v1 submitted 3 March, 2024;
originally announced March 2024.
-
Asymptotic order of the quantization error for a class of self-similar measures with overlaps
Authors:
Sanguo Zhu
Abstract:
Let $\{f_i\}_{i=1}^N$ be a set of equi-contractive similitudes on $\mathbb{R}^1$ satisfying the finite-type condition. We study the asymptotic quantization error for self-similar measures $μ$ associated with $\{f_i\}_{i=1}^N$ and a positive probability vector. With a verifiable assumption, we prove that the upper and lower quantization coefficient for $μ$ are both bounded away from zero and infini…
▽ More
Let $\{f_i\}_{i=1}^N$ be a set of equi-contractive similitudes on $\mathbb{R}^1$ satisfying the finite-type condition. We study the asymptotic quantization error for self-similar measures $μ$ associated with $\{f_i\}_{i=1}^N$ and a positive probability vector. With a verifiable assumption, we prove that the upper and lower quantization coefficient for $μ$ are both bounded away from zero and infinity. This can be regarded as an extension of Graf and Luschgy's result on self-similar measures with the open set condition. Our result is applicable to a significant class of self-similar measures with overlaps, including Erdös measure, the $3$-fold convolution of the classical Cantor measure and the self-similar measures on some $λ$-Cantor sets.
△ Less
Submitted 5 May, 2024; v1 submitted 2 March, 2024;
originally announced March 2024.
-
Adaptive finite element approximations of the first eigenpair associated with p-Laplacian
Authors:
G. Li,
J. Li,
J. Merten,
Y. Xu,
S. Zhu
Abstract:
In this paper, we propose an adaptive finite element method for computing the first eigenpair of the p-Laplacian problem. We prove that starting from a fine initial mesh our proposed adaptive algorithm produces a sequence of discrete first eigenvalues that converges to the first eigenvalue of the continuous problem and the distance between discrete eigenfunctions and the normalized eigenfunction s…
▽ More
In this paper, we propose an adaptive finite element method for computing the first eigenpair of the p-Laplacian problem. We prove that starting from a fine initial mesh our proposed adaptive algorithm produces a sequence of discrete first eigenvalues that converges to the first eigenvalue of the continuous problem and the distance between discrete eigenfunctions and the normalized eigenfunction set with respect to the first eigenvalue in $W^{1,p}$-norm also tends to zero. Extensive numerical examples are provided to show the effectiveness and efficiency.
△ Less
Submitted 10 February, 2024;
originally announced February 2024.
-
Decentralized Bilevel Optimization over Graphs: Loopless Algorithmic Update and Transient Iteration Complexity
Authors:
Boao Kong,
Shuchen Zhu,
Songtao Lu,
Xinmeng Huang,
Kun Yuan
Abstract:
Stochastic bilevel optimization (SBO) is becoming increasingly essential in machine learning due to its versatility in handling nested structures. To address large-scale SBO, decentralized approaches have emerged as effective paradigms in which nodes communicate with immediate neighbors without a central server, thereby improving communication efficiency and enhancing algorithmic robustness. Howev…
▽ More
Stochastic bilevel optimization (SBO) is becoming increasingly essential in machine learning due to its versatility in handling nested structures. To address large-scale SBO, decentralized approaches have emerged as effective paradigms in which nodes communicate with immediate neighbors without a central server, thereby improving communication efficiency and enhancing algorithmic robustness. However, current decentralized SBO algorithms face challenges, including expensive inner-loop updates and unclear understanding of the influence of network topology, data heterogeneity, and the nested bilevel algorithmic structures. In this paper, we introduce a single-loop decentralized SBO (D-SOBA) algorithm and establish its transient iteration complexity, which, for the first time, clarifies the joint influence of network topology and data heterogeneity on decentralized bilevel algorithms. D-SOBA achieves the state-of-the-art asymptotic rate, asymptotic gradient/Hessian complexity, and transient iteration complexity under more relaxed assumptions compared to existing methods. Numerical experiments validate our theoretical findings.
△ Less
Submitted 26 February, 2024; v1 submitted 5 February, 2024;
originally announced February 2024.
-
Will Lanczos Iterations Generate Symmetric Quadrature Nodes?
Authors:
Wenhao Li,
Zongyuan Han,
Andrew J Wathen,
Shengxin Zhu
Abstract:
The Golub-Welsch algorithm [Math. Comp., 23: 221-230 (1969)] for computing Gaussian quadrature rules is of importance in estimating quadratic forms. Quadrature rules based on this algorithm have long been assumed to be symmetric. Recent research indicates that the presence of asymmetric quadrature nodes may be more often. Such a divergence has led to varying error analyses of the Lanczos quadratur…
▽ More
The Golub-Welsch algorithm [Math. Comp., 23: 221-230 (1969)] for computing Gaussian quadrature rules is of importance in estimating quadratic forms. Quadrature rules based on this algorithm have long been assumed to be symmetric. Recent research indicates that the presence of asymmetric quadrature nodes may be more often. Such a divergence has led to varying error analyses of the Lanczos quadrature method. Since symmetry often implies simplicity, it is of great interest to ask when do Lanczos iterations generate symmetric quadrature rules. This paper derives a sufficient condition that ensures symmetric quadrature nodes which partially answers the question that when the Ritz values of a symmetric matrix are symmetrically distributed. Additionally, we establish both lower and upper bounds on the disparity between the minimum Lanczos iterations required for symmetric and asymmetric quadrature.
△ Less
Submitted 31 January, 2024;
originally announced January 2024.
-
Optimal Stirring Strategies for Passive Scalars in a Domain with a General Shape and No-Flux Boundary Condition
Authors:
Sirui Zhu,
Zhi Lin,
Liang Li,
Lingyun Ding
Abstract:
Multiscale metrics such as negative Sobolev norms are effective for quantifying the degree of mixedness of a passive scalar field advected by an incompressible flow in the absence of diffusion. In this paper we introduce a mix norm that is motivated by Sobolev norm $H^{-1}$ for a general domain with a no-flux boundary. We then derive an explicit expression for the optimal flow that maximizes the i…
▽ More
Multiscale metrics such as negative Sobolev norms are effective for quantifying the degree of mixedness of a passive scalar field advected by an incompressible flow in the absence of diffusion. In this paper we introduce a mix norm that is motivated by Sobolev norm $H^{-1}$ for a general domain with a no-flux boundary. We then derive an explicit expression for the optimal flow that maximizes the instantaneous decay rate of the mix norm under fixed energy and enstrophy constraints. Numerical simulations indicate that the mix norm decays exponentially or faster for various initial conditions and geometries and the rate is closely related to the smallest non-zero eigenvalue of the Laplace operator. These results generalize previous findings restricted for a periodic domain for its analytical and numerical simplicity. Additionally, we observe that periodic boundaries tend to induce a faster decay in mix norm compared to no-flux conditions under the fixed energy constraint, while the comparison is reversed for the fixed enstrophy constraint. In the special case of even initial distributions, two types of boundary conditions yield the same optimal flow and mix norm decay.
△ Less
Submitted 11 January, 2024;
originally announced January 2024.
-
Supersymmetric Shimura operators and interpolation polynomials
Authors:
Siddhartha Sahi,
Songhao Zhu
Abstract:
The Shimura operators are a certain distinguished basis for invariant differential operators on a Hermitian symmetric space. Answering a question of Shimura, Sahi--Zhang showed that the Harish-Chandra images of these operators are specializations of certain $BC$-symmetric interpolation polynomials that were defined by Okounkov.
We consider the analogs of Shimura operators for the Hermitian symme…
▽ More
The Shimura operators are a certain distinguished basis for invariant differential operators on a Hermitian symmetric space. Answering a question of Shimura, Sahi--Zhang showed that the Harish-Chandra images of these operators are specializations of certain $BC$-symmetric interpolation polynomials that were defined by Okounkov.
We consider the analogs of Shimura operators for the Hermitian symmetric superpair $(\mathfrak{g},\mathfrak{k})$ where $\mathfrak{g}= \mathfrak{gl}(2p|2q)$ and $\mathfrak{k}= \mathfrak{gl}(p|q)\oplus \mathfrak{gl}(p|q)$ and we prove their Harish-Chandra images are specializations of certain $BC$-supersymmetric interpolation polynomials introduced by Sergeev--Veselov.
△ Less
Submitted 14 December, 2023;
originally announced December 2023.
-
A limit theorem of nonlinear filtering for multiscale McKean-Vlasov stochastic systems
Authors:
Huijie Qiao,
Shengqing Zhu
Abstract:
The work concerns about multiscale McKean-Vlasov stochastic systems. First of all, we prove an average principle for these systems in the $L^2$ sense. Moreover, a convergence rate is presented. Then we define the nonlinear filtering of these systems and establish a limit theorem about nonlinear filtering of them in the $L^2$ sense.
The work concerns about multiscale McKean-Vlasov stochastic systems. First of all, we prove an average principle for these systems in the $L^2$ sense. Moreover, a convergence rate is presented. Then we define the nonlinear filtering of these systems and establish a limit theorem about nonlinear filtering of them in the $L^2$ sense.
△ Less
Submitted 25 November, 2023;
originally announced November 2023.
-
Optimal Retirement Choice under Age-dependent Force of Mortality
Authors:
Giorgio Ferrari,
Shihao Zhu
Abstract:
This paper examines the retirement decision, optimal investment, and consumption strategies under an age-dependent force of mortality. We formulate the optimization problem as a combined stochastic control and optimal stop** problem with a random time horizon, featuring three state variables: wealth, labor income, and force of mortality. To address this problem, we transform it into its dual for…
▽ More
This paper examines the retirement decision, optimal investment, and consumption strategies under an age-dependent force of mortality. We formulate the optimization problem as a combined stochastic control and optimal stop** problem with a random time horizon, featuring three state variables: wealth, labor income, and force of mortality. To address this problem, we transform it into its dual form, which is a finite time horizon, three-dimensional degenerate optimal stop** problem with interconnected dynamics. We establish the existence of an optimal retirement boundary that splits the state space into continuation and stop** regions. Regularity of the optimal stop** value function is derived and the boundary is proved to be Lipschitz continuous, and it is characterized as the unique solution to a nonlinear integral equation, which we compute numerically. In the original coordinates, the agent thus retires whenever her wealth exceeds an age-, labor income- and mortality-dependent transformed version of the optimal stop** boundary. We also provide numerical illustrations of the optimal strategies, including the sensitivities of the optimal retirement boundary concerning the relevant model's parameters.
△ Less
Submitted 20 November, 2023;
originally announced November 2023.
-
On the Takai duality of $L^p$ operator crossed products, II
Authors:
Zhen Wang,
Sen Zhu
Abstract:
This paper aims to study the $L^p$ Takai duality problem raised by N. C. Phillips. Let $G$ be a countable discrete Abelian group, $A$ be a separable unital $L^p$ operator algebra with $p\in [1,\infty)$, and $α$ be an isometric action of $G$ on $A$. When $A$ is $p$-incompressible and has unique $L^p$ operator matrix norms, it is proved in this paper that the iterated $L^p$ operator crossed product…
▽ More
This paper aims to study the $L^p$ Takai duality problem raised by N. C. Phillips. Let $G$ be a countable discrete Abelian group, $A$ be a separable unital $L^p$ operator algebra with $p\in [1,\infty)$, and $α$ be an isometric action of $G$ on $A$. When $A$ is $p$-incompressible and has unique $L^p$ operator matrix norms, it is proved in this paper that the iterated $L^p$ operator crossed product $F^{p}(\hat{G},F^p(G,A,α),\hatα)$ is isometrically isomorphic to $\overline{M}_{G}^{p}\otimes_{p}A$ if and only if $p=2$.
△ Less
Submitted 4 November, 2023;
originally announced November 2023.
-
Perturbing Masses: A Study of Centered Co-Circular Configurations in Power-Law n-Body Problems
Authors:
Zhengyang Tang,
Shuqiang Zhu
Abstract:
This research investigates centered co-circular central configurations in the general power-law potential $n$-body problem. Firstly, there are no such configurations when all masses are equal, except for two; secondly, unless all masses are equal, no such configurations exist when masses can be divided into two sets of equal masses. We adapt Wang's criterion and incorporate insights on cyclic quad…
▽ More
This research investigates centered co-circular central configurations in the general power-law potential $n$-body problem. Firstly, there are no such configurations when all masses are equal, except for two; secondly, unless all masses are equal, no such configurations exist when masses can be divided into two sets of equal masses. We adapt Wang's criterion and incorporate insights on cyclic quadrilaterals, alongside mathematical induction.
△ Less
Submitted 31 October, 2023;
originally announced October 2023.
-
Native spaces and generalization of Wu functions
Authors:
Yixuan Huang,
Zongmin Wu,
Shengxin Zhu
Abstract:
We prove that the native space of a Wu function is a dense subspace of a Sobolev space. An explicit characterization of the native spaces of Wu functions is given. Three definitions of Wu functions are introduced and proven to be equivalent. Based on these new equivalent definitions and the so called $f$-form tricks, we can generalize the Wu functions into the even-dimensional spaces $\R^{2k}$, wh…
▽ More
We prove that the native space of a Wu function is a dense subspace of a Sobolev space. An explicit characterization of the native spaces of Wu functions is given. Three definitions of Wu functions are introduced and proven to be equivalent. Based on these new equivalent definitions and the so called $f$-form tricks, we can generalize the Wu functions into the even-dimensional spaces $\R^{2k}$, while the original Wu functions are only defined in the odd-dimensional spaces $\R^{2k+1}$. Such functions in even-dimensional spaces are referred to as the `missing Wu functions'. Furthermore we can generalize the Wu functions into `fractional'-dimensional spaces. We call all these Wu functions the generalized Wu functions. The closed form of the generalized Wu functions are given in terms of hypergeometric functions. Finally we prove that the Wu functions and the missing Wu functions can be written as linear combinations of the generalized Wendland functions.
△ Less
Submitted 1 November, 2023; v1 submitted 23 October, 2023;
originally announced October 2023.
-
Lightning graph matching
Authors:
Binrui. shen,
Qiang. niu,
Shengxin. zhu
Abstract:
Graph matching aims to find correspondences between two graphs. It is a fundamental task in pattern recognition. The classical spectral matching algorithm has time complexity $\mathcal{O}(n^4)$ and space complexity $\mathcal{O}(n^4)$, where $n$ is the number of nodes. Such a complexity limits the applicability to large-scale graph matching tasks. This paper proposes an efficient redesign of spectr…
▽ More
Graph matching aims to find correspondences between two graphs. It is a fundamental task in pattern recognition. The classical spectral matching algorithm has time complexity $\mathcal{O}(n^4)$ and space complexity $\mathcal{O}(n^4)$, where $n$ is the number of nodes. Such a complexity limits the applicability to large-scale graph matching tasks. This paper proposes an efficient redesign of spectral matching by transforming the graph matching problem into a 1D linear assignment problem, which can be solved efficiently by sorting two $n \times 1$ vectors. The resulting algorithm is named the lightning spectral assignment method (LiSA), which enjoys a complexity of $\mathcal{O}(n^2)$. Numerical experiments demonstrate the efficiency and the theoretical analysis of the strategy.
△ Less
Submitted 31 May, 2024; v1 submitted 23 October, 2023;
originally announced October 2023.
-
Viscosity solutions to a Cauchy type problem for timelike Lorentzian eikonal equation
Authors:
Siyao Zhu,
Xiaojun Cui,
Tianqi Shi
Abstract:
In this paper, we propose a Cauchy type problem to the timelike Lorentzian eikonal equation on a globally hyperbolic space-time. For this equation, as the value of the solution on a Cauchy surface is known, we prove the existence of viscosity solutions on the past set (future set) of the Cauchy surface. Furthermore, when the time orientation of viscosity solution is consistent, the uniqueness and…
▽ More
In this paper, we propose a Cauchy type problem to the timelike Lorentzian eikonal equation on a globally hyperbolic space-time. For this equation, as the value of the solution on a Cauchy surface is known, we prove the existence of viscosity solutions on the past set (future set) of the Cauchy surface. Furthermore, when the time orientation of viscosity solution is consistent, the uniqueness and stability of viscosity solutions are also obtained.
△ Less
Submitted 12 October, 2023;
originally announced October 2023.
-
Adaptive Computation of Elliptic Eigenvalue Optimization with a Phase-Field Approach
Authors:
**g Li,
Yifeng Xu,
Shengfeng Zhu
Abstract:
In this paper, we discuss adaptive approximations of an elliptic eigenvalue optimization problem in a phase-field setting by a conforming finite element method. An adaptive algorithm is proposed and implemented in several two dimensional numerical examples for illustration of efficiency and accuracy. Theoretical findings consist in the vanishing limit of a subsequence of estimators and the converg…
▽ More
In this paper, we discuss adaptive approximations of an elliptic eigenvalue optimization problem in a phase-field setting by a conforming finite element method. An adaptive algorithm is proposed and implemented in several two dimensional numerical examples for illustration of efficiency and accuracy. Theoretical findings consist in the vanishing limit of a subsequence of estimators and the convergence of the relevant subsequence of adaptively-generated solutions to a solution to the continuous optimality system.
△ Less
Submitted 31 March, 2024; v1 submitted 5 October, 2023;
originally announced October 2023.
-
Global viscosity solutions to Lorentzian eikonal equation on globally hyperbolic space-times
Authors:
Siyao Zhu,
Hongguang Wu,
Xiaojun Cui
Abstract:
In this paper, we show that any globally hyperbolic space-time admits at least one globally defined distance-like function, which is a viscosity solution to the Lorentzian eikonal equation. According to whether the time orientation is changed, we divide the set of viscosity solutions into some subclasses. We show if the time orientation is consistent, then a viscosity solution has a variational re…
▽ More
In this paper, we show that any globally hyperbolic space-time admits at least one globally defined distance-like function, which is a viscosity solution to the Lorentzian eikonal equation. According to whether the time orientation is changed, we divide the set of viscosity solutions into some subclasses. We show if the time orientation is consistent, then a viscosity solution has a variational representation locally. As a result, such a viscosity solution is locally semiconcave, as the one in the Riemannian case. Also, if the time orientation of a viscosity solution is non-consistent, we analyse its peculiar properties which make this kind of viscosity solutions are totally different from the ones where the Hamiltonians are convex.
△ Less
Submitted 24 January, 2024; v1 submitted 26 September, 2023;
originally announced September 2023.
-
Adaptive Softassign via Hadamard-Equipped Sinkhorn
Authors:
Binrui Shen,
Qiang Niu,
Shengxin Zhu
Abstract:
Softassign is a pivotal method in graph matching and other learning tasks. Many softassign-based algorithms exhibit performance sensitivity to a parameter in the softassign. However, tuning the parameter is challenging and almost done empirically. This paper proposes an adaptive softassign method for graph matching by analyzing the relationship between the objective score and the parameter. This m…
▽ More
Softassign is a pivotal method in graph matching and other learning tasks. Many softassign-based algorithms exhibit performance sensitivity to a parameter in the softassign. However, tuning the parameter is challenging and almost done empirically. This paper proposes an adaptive softassign method for graph matching by analyzing the relationship between the objective score and the parameter. This method can automatically tune the parameter based on a given error bound to guarantee accuracy. The Hadamard-Equipped Sinkhorn formulas introduced in this study significantly enhance the efficiency and stability of the adaptive softassign. Moreover, these formulas can also be used in optimal transport problems. The resulting adaptive softassign graph matching algorithm enjoys significantly higher accuracy than previous state-of-the-art large graph matching algorithms while maintaining comparable efficiency.
△ Less
Submitted 24 March, 2024; v1 submitted 24 September, 2023;
originally announced September 2023.
-
Cyclotomic expansions for double twist knots with an odd number of half-twists
Authors:
Qingtao Chen,
Kefeng Liu,
Shengmao Zhu
Abstract:
In this note, we compute the cyclotomic expansion formula for colored Jones polynomial of double twist knots with an odd number of half-twists $\mathcal{K}_{p,\frac{s}{2}}$ by using the Kauffman bracket skein theory. It answers a question proposed by Lovejoy and Osburn in 2019.
In this note, we compute the cyclotomic expansion formula for colored Jones polynomial of double twist knots with an odd number of half-twists $\mathcal{K}_{p,\frac{s}{2}}$ by using the Kauffman bracket skein theory. It answers a question proposed by Lovejoy and Osburn in 2019.
△ Less
Submitted 31 August, 2023;
originally announced August 2023.
-
Large deviation principles of nonlinear filtering for McKean-Vlasov stochastic differential equations
Authors:
Huijie Qiao,
Shengqing Zhu
Abstract:
In this paper, we study large deviation principles of nonlinear filtering for McKean-Vlasov stochastic differential equations. First of all, we establish the large deviation principle for the space-distribution dependent Zakai equation by a weak convergence approach. Then based on the obtained result and the relationship between the space-distribution dependent Zakai equation and the space-distrib…
▽ More
In this paper, we study large deviation principles of nonlinear filtering for McKean-Vlasov stochastic differential equations. First of all, we establish the large deviation principle for the space-distribution dependent Zakai equation by a weak convergence approach. Then based on the obtained result and the relationship between the space-distribution dependent Zakai equation and the space-distribution dependent Kushner-Stratonovich equation, the large deviation principle for the latter is proved.
△ Less
Submitted 13 August, 2023;
originally announced August 2023.
-
An Adaptive Phase-Field Method for Structural Topology Optimization
Authors:
Bangti **,
**g Li,
Yifeng Xu,
Shengfeng Zhu
Abstract:
In this work, we develop an adaptive algorithm for the efficient numerical solution of the minimum compliance problem in topology optimization. The algorithm employs the phase field approximation and continuous density field. The adaptive procedure is driven by two residual type a posteriori error estimators, one for the state variable and the other for the first-order optimality condition of the…
▽ More
In this work, we develop an adaptive algorithm for the efficient numerical solution of the minimum compliance problem in topology optimization. The algorithm employs the phase field approximation and continuous density field. The adaptive procedure is driven by two residual type a posteriori error estimators, one for the state variable and the other for the first-order optimality condition of the objective functional. The adaptive algorithm is provably convergent in the sense that the sequence of numerical approximations generated by the adaptive algorithm contains a subsequence convergent to a solution of the continuous first-order optimality system. We provide several numerical simulations to show the distinct features of the algorithm.
△ Less
Submitted 17 April, 2024; v1 submitted 13 August, 2023;
originally announced August 2023.
-
Which hyponormal block Toeplitz operators are either normal or analytic?
Authors:
Senhua Zhu,
Yufeng Lu,
Chao Zu
Abstract:
In this paper, we continue Curto-Hwang-Lee's work to study the connection between hyponormality and subnormality for block Toeplitz operators acting on the vector-valued Hardy space of the unit circle.Curto-Hwang-Lee's work focuses primarily on hyponormality and subnormality of block Toeplitz operators with rational symbols. By studying the "weak" commutativity, we extend Curto-Hwang-Lee's result…
▽ More
In this paper, we continue Curto-Hwang-Lee's work to study the connection between hyponormality and subnormality for block Toeplitz operators acting on the vector-valued Hardy space of the unit circle.Curto-Hwang-Lee's work focuses primarily on hyponormality and subnormality of block Toeplitz operators with rational symbols. By studying the "weak" commutativity, we extend Curto-Hwang-Lee's result to block Toeplitz operators with symbols of bounded type.
△ Less
Submitted 2 August, 2023;
originally announced August 2023.
-
On the asymptotic expansions of various quantum invariants II: the colored Jones polynomial of twist knots at the root of unity $e^{\frac{2π\sqrt{-1}}{N+\frac{1}{M}}}$ and $e^{\frac{2π\sqrt{-1}}{N}}$
Authors:
Qingtao Chen,
Shengmao Zhu
Abstract:
This is the second article in a series devoted to the study of the asymptotic expansions of various quantum invariants related to the twist knots. In this article, following the method and results in \cite{CZ23-1}, we present an asymptotic expansion formula for the colored Jones polynomial of twist knot $\mathcal{K}_p$ with $p\geq 6$ at the root of unity $e^{\frac{2π\sqrt{-1}}{N+\frac{1}{M}}}$ wit…
▽ More
This is the second article in a series devoted to the study of the asymptotic expansions of various quantum invariants related to the twist knots. In this article, following the method and results in \cite{CZ23-1}, we present an asymptotic expansion formula for the colored Jones polynomial of twist knot $\mathcal{K}_p$ with $p\geq 6$ at the root of unity $e^{\frac{2π\sqrt{-1}}{N+\frac{1}{M}}}$ with $M\geq 2$. Furthermore, by taking the limit $M\rightarrow +\infty$, we obtain an asymptotic expansion formula for the colored Jones polynomial of twist knots $\mathcal{K}_p$ with $p\geq 6$ at the root of unity $e^{\frac{2π\sqrt{-1}}{N}}$.
△ Less
Submitted 25 July, 2023;
originally announced July 2023.
-
On the asymptotic expansions of various quantum invariants I: the colored Jones polynomial of twist knots at the root of unity $e^{\frac{2π\sqrt{-1}}{N+\frac{1}{2}}}$
Authors:
Qingtao Chen,
Shengmao Zhu
Abstract:
This is the first article in a series devoted to the study of the asymptotic expansions of various quantum invariants related to the twist knots. In this paper, by using the saddle point method developed by Ohtsuki, we obtain an asymptotic expansion formula for the colored Jones polynomial of twist knots $\mathcal{K}_p$ with $p\geq 6$ at the root of unity $e^{\frac{2π\sqrt{-1}}{N+\frac{1}{2}}}$.
This is the first article in a series devoted to the study of the asymptotic expansions of various quantum invariants related to the twist knots. In this paper, by using the saddle point method developed by Ohtsuki, we obtain an asymptotic expansion formula for the colored Jones polynomial of twist knots $\mathcal{K}_p$ with $p\geq 6$ at the root of unity $e^{\frac{2π\sqrt{-1}}{N+\frac{1}{2}}}$.
△ Less
Submitted 24 July, 2023;
originally announced July 2023.
-
Well-posedness of regular solutions for 3-D full compressible Navier-Stokes equations with degenerate viscosities and heat conductivity
Authors:
Qin Duan,
Shengguo Zhu
Abstract:
For the degenerate viscous and heat conductive compressible fluids, the momentum equations and the energy equation are degenerate both in the time evolution and spatial dissipation when vacuum appears, and then the physical entropy S behaves singularly, which make it challenging to study the corresponding well-posedness of regular solutions with high order regularities of S near the vacuum. In thi…
▽ More
For the degenerate viscous and heat conductive compressible fluids, the momentum equations and the energy equation are degenerate both in the time evolution and spatial dissipation when vacuum appears, and then the physical entropy S behaves singularly, which make it challenging to study the corresponding well-posedness of regular solutions with high order regularities of S near the vacuum. In this paper, for the physically important case that the coefficients of viscosities and heat conductivity depend on the absolute temperature θin a power law of Chapman-Enskog, we identify a class of initial data admitting a local-in-time regular solution with far field vacuum to the Cauchy problem of the 3-D full CNS, and such a solution possesses the uniformly high order regularities for S near the vacuum. The key idea here is to study the vacuum problem in terms of the mass density ρ, velocity u and S instead of (ρ, u,θ), which makes it possible to compare the orders of the degeneracy of the time evolution and the spatial dissipations near the vacuum in terms of the powers of ρ. However, for heat conductive fluids, both a degenerate spatial dissipation and a source term related to \triangle ρ^{γ-1}, will appear in the time evolution equation for S, which makes it formidable to study the propagation of regularities of S. Fortunately, based on some elaborate analysis of the intrinsic degenerate-singular structures of the 3-D full CNS, we can choose proper weights to control the behaviors of (ρ, u,S) by introducing an enlarged reformulated system, which includes a singular parabolic system for u, and one degenerate-singular parabolic equation for S. Then one can carry out a series of weighted energy estimates carefully designed for this reformulated system, which provides an effective propagation mechanism for S's high order regularities near the vacuum.
△ Less
Submitted 29 April, 2024; v1 submitted 13 July, 2023;
originally announced July 2023.
-
Binomial pmf among arithmetic progressions and sieved sets in random walks
Authors:
Jun Hong,
Xiaosheng Wu,
Shixin Zhu
Abstract:
We consider the distribution of the binomial probability mass function (pmf) among arithmetic progressions and obtain an average-type theorem. As applications, we consider the possible visits to a kind of sieved sets of integers or lattice points, by an $α$-random walker. We show that, almost surely, the asymptotic proportion of time the random walker in a sieved set of the type is equal to the de…
▽ More
We consider the distribution of the binomial probability mass function (pmf) among arithmetic progressions and obtain an average-type theorem. As applications, we consider the possible visits to a kind of sieved sets of integers or lattice points, by an $α$-random walker. We show that, almost surely, the asymptotic proportion of time the random walker in a sieved set of the type is equal to the density of the set, independently of $α$.
△ Less
Submitted 5 July, 2023;
originally announced July 2023.
-
Suboptimal subspace construction for log-determinant approximation
Authors:
Zongyuan Han,
Wenhao Li,
Yixuan Huang,
Shengxin Zhu
Abstract:
Variance reduction is a crucial idea for Monte Carlo simulation and the stochastic Lanczos quadrature method is a dedicated method to approximate the trace of a matrix function. Inspired by their advantages, we combine these two techniques to approximate the log-determinant of large-scale symmetric positive definite matrices. Key questions to be answered for such a method are how to construct or c…
▽ More
Variance reduction is a crucial idea for Monte Carlo simulation and the stochastic Lanczos quadrature method is a dedicated method to approximate the trace of a matrix function. Inspired by their advantages, we combine these two techniques to approximate the log-determinant of large-scale symmetric positive definite matrices. Key questions to be answered for such a method are how to construct or choose an appropriate projection subspace and derive guaranteed theoretical analysis. This paper applies some probabilistic approaches including the projection-cost-preserving sketch and matrix concentration inequalities to construct a suboptimal subspace. Furthermore, we provide some insights on choosing design parameters in the underlying algorithm by deriving corresponding approximation error and probabilistic error estimations. Numerical experiments demonstrate our method's effectiveness and illustrate the quality of the derived error bounds.
△ Less
Submitted 13 July, 2023; v1 submitted 5 July, 2023;
originally announced July 2023.
-
An analysis on stochastic Lanczos quadrature with asymmetric quadrature nodes
Authors:
Wenhao Li,
Zongyuan Han,
Yixuan Huang,
Andy Wathen,
Shengxin Zhu
Abstract:
The stochastic Lanczos quadrature method has garnered significant attention recently. Upon examination of the error analyses given by Ubaru, Chen and Saad and Cortinovis and Kressner, certain notable inconsistencies arise. It turns out that the former's results are valid for cases with symmetric quadrature nodes and may not be adequate for many practical cases such as estimating log determinant of…
▽ More
The stochastic Lanczos quadrature method has garnered significant attention recently. Upon examination of the error analyses given by Ubaru, Chen and Saad and Cortinovis and Kressner, certain notable inconsistencies arise. It turns out that the former's results are valid for cases with symmetric quadrature nodes and may not be adequate for many practical cases such as estimating log determinant of matrices. This paper analyzes probabilistic error bound of the stochastic Lanczos quadrature method for cases with asymmetric quadrature nodes. Besides, an optimized error allocation technique is employed to minimize the overall number of matrix vector multiplications required by the stochastic Lanczos quadrature method.
△ Less
Submitted 10 October, 2023; v1 submitted 3 July, 2023;
originally announced July 2023.
-
The monotonicity conjecture and stability of solitons for the Cubic-Quintic NLS on R^3
Authors:
Jian Zhang,
Shuihui Zhu
Abstract:
In this paper, we prove stability or instability of solitons for the cubic-quintic nonlinear Schrodinger equation at every frequency. The monotonicity conjecture raised by Killip, Oh, Pocovnicu and Visan is resolved. We introduce and solve a new cross-constrained variational problem. Then the uniqueness of the energy minimizers is proposed and shown. According to a spectral approach and variationa…
▽ More
In this paper, we prove stability or instability of solitons for the cubic-quintic nonlinear Schrodinger equation at every frequency. The monotonicity conjecture raised by Killip, Oh, Pocovnicu and Visan is resolved. We introduce and solve a new cross-constrained variational problem. Then the uniqueness of the energy minimizers is proposed and shown. According to a spectral approach and variational arguments, we develop a set of geometric analysis methods. Correspondences between the soliton frequency and the prescribed mass are established. Classification of normalized solutions is given.
△ Less
Submitted 18 August, 2023; v1 submitted 24 June, 2023;
originally announced June 2023.
-
$p$-nuclearity of $L^p$-operator crossed products
Authors:
Zhen Wang,
Sen Zhu
Abstract:
Let $(X,\mathcal{B},μ)$ be a measure space and $A$ be a closed subalgebra of $\mathcal{B}(L^p(X,μ))$, where $p\in [1,\infty)\setminus\{2\}$. Let $(G,A,α)$ be an $L^p$-operator dynamical system, where $G$ is a countable discrete amenable group. We prove that the full $L^p$-operator crossed product $F^p(G,A,α)$ is $p$-nuclear if and only if $A$ is $p$-nuclear {provided the action} $α$ of $G$ on $A$…
▽ More
Let $(X,\mathcal{B},μ)$ be a measure space and $A$ be a closed subalgebra of $\mathcal{B}(L^p(X,μ))$, where $p\in [1,\infty)\setminus\{2\}$. Let $(G,A,α)$ be an $L^p$-operator dynamical system, where $G$ is a countable discrete amenable group. We prove that the full $L^p$-operator crossed product $F^p(G,A,α)$ is $p$-nuclear if and only if $A$ is $p$-nuclear {provided the action} $α$ of $G$ on $A$ is $p$-completely isometric. As applications, we show that $L^p$-Cuntz algebras and $L^p$-irrational rotation algebras are both $p$-nuclear for $p\in [1,\infty)\setminus\{2\}$. Our results solve the {$p$-nuclearity problem} for $L^p$-Cuntz algebras raised by N. C. Phillips.
△ Less
Submitted 6 May, 2023;
originally announced May 2023.
-
Generalized Hypercube Queuing Models with Overlap** Service Regions
Authors:
Shixiang Zhu,
Wenqian Xing,
Yao Xie
Abstract:
We present a generalized hypercube queuing model, building upon the original model by Larson 1974, focusing on its application to overlap** service regions such as police beats. To design a service region, we need to capture the workload and police car operation, a type of mobile server. The traditional hypercube queuing model excels in capturing systems' dynamics with light traffic, as it prima…
▽ More
We present a generalized hypercube queuing model, building upon the original model by Larson 1974, focusing on its application to overlap** service regions such as police beats. To design a service region, we need to capture the workload and police car operation, a type of mobile server. The traditional hypercube queuing model excels in capturing systems' dynamics with light traffic, as it primarily considers whether each server is busy or idle. However, contemporary service operations often experience saturation, in which each server in the system can only process a subset of calls and a queue in front of each server is allowed. Hence, the simple binary status for each server becomes inadequate, prompting the need for a more intricate state space analysis. Our proposed model addresses this problem using a Markov model with a large state space represented by non-negative integer-valued vectors. By leveraging the sparsity structure of the transition matrix, where transitions occur between states whose vectors differ by one in the $\ell_1$ distance, we can solve the steady-state distribution of states efficiently. This solution can then be used to evaluate general performance metrics for the service system. We validate our model's effectiveness through simulations of various artificial service systems. We also apply our model to the Atlanta police operation system, which faces challenges such as increased workload, significant staff shortages, and the impact of boundary effects among crime incidents. Using real 911 calls-for-service data, our analysis indicates that the police operations system with permitted overlap** patrols can significantly mitigate these problems, leading to more effective police force deployment.
△ Less
Submitted 11 January, 2024; v1 submitted 5 April, 2023;
originally announced April 2023.
-
Chance Constrained Program with Quadratic Randomness: A Unified Approach Based on Gaussian Mixture Distribution
Authors:
Xiaochuan Pang,
Shushang Zhu,
Zhaolin Hu
Abstract:
This paper investigates the stochastic program with the chance constraint on a quadratic form of random variables following multivariate Gaussian mixture distribution (GMD). Under some mild conditions, it is proved that the asymptotic distribution of this kind of quadratic randomness is a univariate GMD. This finding helps to translate the chance constrained program into a more tractable one, base…
▽ More
This paper investigates the stochastic program with the chance constraint on a quadratic form of random variables following multivariate Gaussian mixture distribution (GMD). Under some mild conditions, it is proved that the asymptotic distribution of this kind of quadratic randomness is a univariate GMD. This finding helps to translate the chance constrained program into a more tractable one, based on which an effective branch-and-bound algorithm that takes advantage of the special structure of the problem is introduced to search the global optimal solution. Furthermore, it is shown that the error resulting from approximating the quadratic randomness with its associated asymptotic distribution can be reduced by restricting the condition numbers of covariance matrices of the multivariate GMD's components. In addition, some numerical simulations are also carried out to verify the effectiveness of this flexible and unified approach.
△ Less
Submitted 1 March, 2023;
originally announced March 2023.
-
Toughness and normalized Laplacian eigenvalues of graphs
Authors:
Xueyi Huang,
Kinkar Chandra Das,
Shunlai Zhu
Abstract:
Given a connected graph $G$, the toughness $τ_G$ is defined as the minimum value of the ratio $|S|/ω_{G-S}$, where $S$ ranges over all vertex cut sets of $G$, and $ω_{G-S}$ is the number of connected components in the subgraph $G-S$ obtained by deleting all vertices of $S$ from $G$. In this paper, we provide a lower bound for the toughness $τ_G$ in terms of the maximum degree, minimum degree and n…
▽ More
Given a connected graph $G$, the toughness $τ_G$ is defined as the minimum value of the ratio $|S|/ω_{G-S}$, where $S$ ranges over all vertex cut sets of $G$, and $ω_{G-S}$ is the number of connected components in the subgraph $G-S$ obtained by deleting all vertices of $S$ from $G$. In this paper, we provide a lower bound for the toughness $τ_G$ in terms of the maximum degree, minimum degree and normalized Laplacian eigenvalues of $G$. This can be viewed as a slight generalization of Brouwer's toughness conjecture, which was confirmed by Gu (2021). Furthermore, we give a characterization of those graphs attaining the two lower bounds regarding toughness and Laplacian eigenvalues provided by Gu and Haemers (2022).
△ Less
Submitted 8 January, 2023;
originally announced January 2023.
-
The Schubart orbits on the circle
Authors:
Shuqiang Zhu
Abstract:
We consider the three body problem on $S^1$ under the cotangent potential. We first construct homothetic orbits ending in singularities, including total collision singularity and collision-antipodal singularity. Then certain symmetrical periodic orbits with two equal masses, called Schubart orbits, are shown to exist. The proof is based on the construction of a Wazewski set in the phase space.
We consider the three body problem on $S^1$ under the cotangent potential. We first construct homothetic orbits ending in singularities, including total collision singularity and collision-antipodal singularity. Then certain symmetrical periodic orbits with two equal masses, called Schubart orbits, are shown to exist. The proof is based on the construction of a Wazewski set in the phase space.
△ Less
Submitted 31 December, 2022;
originally announced January 2023.
-
Shimura operators for certain Hermitian symmetric superpairs
Authors:
Songhao Zhu
Abstract:
In this paper, we give a partial super analog of a result obtained by S. Sahi and G. Zhang relating Shimura operators and certain interpolation symmetric polynomials. In particular, we study the pair $(\mathfrak{gl}(2p|2q), \mathfrak{gl}(p|q)\oplus\mathfrak{gl}(p|q))$, define the super Shimura operators in $\mathfrak{U}(\mathfrak{g})^\mathfrak{k}$, and prove that their images under the Harish-Chan…
▽ More
In this paper, we give a partial super analog of a result obtained by S. Sahi and G. Zhang relating Shimura operators and certain interpolation symmetric polynomials. In particular, we study the pair $(\mathfrak{gl}(2p|2q), \mathfrak{gl}(p|q)\oplus\mathfrak{gl}(p|q))$, define the super Shimura operators in $\mathfrak{U}(\mathfrak{g})^\mathfrak{k}$, and prove that their images under the Harish-Chandra homomorphism are up to constant equal to Sergeev and Veselov's Type $BC$ interpolation supersymmetric polynomials, under the assumption that a family of irreducible $\mathfrak{g}$-modules are spherical. We prove the sphericity using the notion of quasi-sphericity in the Kac module construction in the case $p=q=1$.
△ Less
Submitted 15 November, 2023; v1 submitted 19 December, 2022;
originally announced December 2022.
-
On a Merton Problem with Irreversible Healthcare Investment
Authors:
Giorgio Ferrari,
Shihao Zhu
Abstract:
We propose a tractable dynamic framework for the joint determination of optimal consumption, portfolio choice, and healthcare irreversible investment. Our model is based on a Merton's portfolio and consumption problem, where, in addition, the agent can choose the time at which undertaking a costly lump sum health investment decision. Health depreciates with age and directly affects the agent's mor…
▽ More
We propose a tractable dynamic framework for the joint determination of optimal consumption, portfolio choice, and healthcare irreversible investment. Our model is based on a Merton's portfolio and consumption problem, where, in addition, the agent can choose the time at which undertaking a costly lump sum health investment decision. Health depreciates with age and directly affects the agent's mortality force, so that investment into healthcare reduces the agent's mortality risk. The resulting optimization problem is formulated as a stochastic control-stop** problem with a random time-horizon and state-variables given by the agent's wealth and health capital. We transform this problem into its dual version, which is now a two-dimensional optimal stop** problem with interconnected dynamics and finite time-horizon. Regularity of the optimal stop** value function is derived and the related free boundary surface is proved to be Lipschitz continuous, and it is characterized as the unique solution to a nonlinear integral equation, which we compute numerically. In the original coordinates, the agent thus invests into healthcare whenever her wealth exceeds an age- and health-dependent transformed version of the optimal stop** boundary. We also provide the numerical illustrations of the optimal strategies and some financial implications are discussed.
△ Less
Submitted 22 December, 2023; v1 submitted 10 December, 2022;
originally announced December 2022.
-
On the Takai duality for $L^{p}$ operator crossed products
Authors:
Zhen Wang,
Sen Zhu
Abstract:
The aim of this paper is to study a problem raised by N. C. Phillips concerning the existence of Takai duality for $L^p$ operator crossed products $F^{p}(G,A,α)$, where $G$ is a locally compact Abelian group, $A$ is an $L^{p}$ operator algebra and $α$ is an isometric action of $G$ on $A$. Inspired by D. Williams' proof for the Takai duality theorem for crossed products of $C^*$-algebras, we constr…
▽ More
The aim of this paper is to study a problem raised by N. C. Phillips concerning the existence of Takai duality for $L^p$ operator crossed products $F^{p}(G,A,α)$, where $G$ is a locally compact Abelian group, $A$ is an $L^{p}$ operator algebra and $α$ is an isometric action of $G$ on $A$. Inspired by D. Williams' proof for the Takai duality theorem for crossed products of $C^*$-algebras, we construct a homomorphism $Φ$ from $F^{p}(\hat{G},F^p(G,A,α),\hatα)$ to $\mathcal{K}(l^{p}(G))\otimes_{p}A$ which is a natural $L^p$-analog of D. Williams' map. For countable discrete Abelian groups $G$ and separable unital $L^p$ operator algebras $A$ which have unique $L^p$ operator matrix norms, we show that $Φ$ is an isomorphism if and only if either $G$ is finite or $p=2$; in particular, $Φ$ is an isometric isomorphism in the case that $p=2$. Moreover, it is proved that $Φ$ is equivariant for the double dual action $\hat{\hatα}$ of $G$ on $F^p(\hat{G},F^p(G,A,α),\hatα)$ and the action $\mathrm{Ad}ρ\otimesα$ of $G$ on $\mathcal{K}(l^p(G))\otimes_p A$.
△ Less
Submitted 11 December, 2022; v1 submitted 1 December, 2022;
originally announced December 2022.
-
Weak Hopf Algebras, Smash Products and Applications to Adjoint-Stable Algebras
Authors:
Zhimin Liu,
Shenglin Zhu
Abstract:
For a semisimple quasi-triangular Hopf algebra $\left( H,R\right) $ over a field $k$ of characteristic zero, and a strongly separable quantum commutative $H$-module algebra $A$ over which the Drinfeld element of $H$ acts trivially, we show that $A\#H$ is a weak Hopf algebra, and it can be embedded into a weak Hopf algebra $\operatorname{End}A^{\ast}\otimes H$. With these structure,…
▽ More
For a semisimple quasi-triangular Hopf algebra $\left( H,R\right) $ over a field $k$ of characteristic zero, and a strongly separable quantum commutative $H$-module algebra $A$ over which the Drinfeld element of $H$ acts trivially, we show that $A\#H$ is a weak Hopf algebra, and it can be embedded into a weak Hopf algebra $\operatorname{End}A^{\ast}\otimes H$. With these structure, $_{A\#H}\operatorname{Mod}$ is the monoidal category introduced by Cohen and Westreich, and $_{\operatorname{End}A^{\ast}\otimes H}\mathcal{M}$ is tensor equivalent to $_{H}\mathcal{M}$. If $A$ is in the M{ü}ger center of $_{H}{\mathcal{M}}$, then the embedding is a quasi-triangular weak Hopf algebra morphism. This explains the presence of a subgroup inclusion in the characterization of irreducible Yetter-Drinfeld modules for a finite group algebra.
△ Less
Submitted 28 November, 2022;
originally announced November 2022.
-
A Stochastic Second-Order Proximal Method for Distributed Optimization
Authors:
Chenyang Qiu,
Shanying Zhu,
Zichong Ou,
Jie Lu
Abstract:
In this paper, we propose a distributed stochastic second-order proximal method that enables agents in a network to cooperatively minimize the sum of their local loss functions without any centralized coordination. The proposed algorithm, referred to as St-SoPro, incorporates a decentralized second-order approximation into an augmented Lagrangian function, and then randomly samples the local gradi…
▽ More
In this paper, we propose a distributed stochastic second-order proximal method that enables agents in a network to cooperatively minimize the sum of their local loss functions without any centralized coordination. The proposed algorithm, referred to as St-SoPro, incorporates a decentralized second-order approximation into an augmented Lagrangian function, and then randomly samples the local gradients and Hessian matrices of the agents, so that it is computationally and memory-wise efficient, particularly for large-scale optimization problems. We show that for globally restricted strongly convex problems, the expected optimality error of St-SoPro asymptotically drops below an explicit error bound at a linear rate, and the error bound can be arbitrarily small with proper parameter settings. Simulations over real machine learning datasets demonstrate that St-SoPro outperforms several state-of-the-art distributed stochastic first-order methods in terms of convergence speed as well as computation and communication costs.
△ Less
Submitted 19 November, 2022;
originally announced November 2022.
-
Optimal Demand Shut-offs of AC Microgrid using AO-SBQP Method
Authors:
Xu Du,
Shijie Zhu,
Yifei Wang,
Boyu Han,
Xiaohe He
Abstract:
Microgrids are increasingly being utilized to improve the resilience and operational flexibility of power grids, and act as a backup power source during grid outages. However, it necessitates that the microgrid itself could provide power to the critical loads. This paper presents an algorithm named alternating optimization based sequential boolean quadratic programming tailored for solving optimal…
▽ More
Microgrids are increasingly being utilized to improve the resilience and operational flexibility of power grids, and act as a backup power source during grid outages. However, it necessitates that the microgrid itself could provide power to the critical loads. This paper presents an algorithm named alternating optimization based sequential boolean quadratic programming tailored for solving optimal demand shut-offs problems arising in microgrids. Moreover, we establish local superlinear convergence of the proposed approximate Boolean quadratic programming method over nonconvex problems. In the end, the performance of the proposed method is illustrated on the modified IEEE 30-bus case study.
△ Less
Submitted 7 April, 2023; v1 submitted 11 November, 2022;
originally announced November 2022.
-
Pointed Hopf Algebras of Discrete Corepresentation Type
Authors:
Miodrag Iovanov,
Emre Sen,
Alexander Sistko,
Shijie Zhu
Abstract:
We classify pointed Hopf algebras of discrete corepresentation type over an algebraically closed field K with characteristic zero. For such algebras $H$, we explicitly determine the algebra structure up to isomorphism for the link indecomposable component $B$ containing the unit. It turns out that $H$ is a crossed product of $B$ and a certain group algebra.
We classify pointed Hopf algebras of discrete corepresentation type over an algebraically closed field K with characteristic zero. For such algebras $H$, we explicitly determine the algebra structure up to isomorphism for the link indecomposable component $B$ containing the unit. It turns out that $H$ is a crossed product of $B$ and a certain group algebra.
△ Less
Submitted 1 November, 2022;
originally announced November 2022.
-
Separated monic correspondence of cotorsion pairs and semi-Gorenstein-projective modules
Authors:
Xiu-Hua Luo,
Shijie Zhu
Abstract:
Given a finite dimensional algebra $A$ over a field $k$, and a finite acyclic quiver $Q$, let $Λ= A\otimes_k kQ/I$, where $kQ$ is the path algebra of $Q$ over $k$ and $I$ is a monomial ideal. We show that $(\mathcal X,\mathcal Y)$ is a (complete) hereditary cotorsion pair in $A$-mod if and only if $({\rm smon}(Q,I,\mathcal X), {\rm rep}(Q,I,\mathcal Y))$ is a (complete) hereditary cotorsion pair i…
▽ More
Given a finite dimensional algebra $A$ over a field $k$, and a finite acyclic quiver $Q$, let $Λ= A\otimes_k kQ/I$, where $kQ$ is the path algebra of $Q$ over $k$ and $I$ is a monomial ideal. We show that $(\mathcal X,\mathcal Y)$ is a (complete) hereditary cotorsion pair in $A$-mod if and only if $({\rm smon}(Q,I,\mathcal X), {\rm rep}(Q,I,\mathcal Y))$ is a (complete) hereditary cotorsion pair in $Λ$-mod. We also show that $A$ is left weakly Gorenstein if and only if so is $Λ$. Provided that $kQ/I$ is non-semisimple, the category $^{\perp}Λ$ of semi-Gorenstein-projective $Λ$-modules coincides with the category of separated monic representations ${\rm smon}(Q,I,^{\perp}A)$ if and only if $A$ is left weakly Gorenstein.
△ Less
Submitted 8 December, 2022; v1 submitted 31 October, 2022;
originally announced October 2022.
-
On the Smoothness and Regularity of the Chess Billiard Flow and the Poincaré Problem
Authors:
Sally Zhu,
Zhenhao Li
Abstract:
The Poincaré problem is a model of two-dimensional internal waves in stable-stratified fluid. The chess billiard flow, a variation of a typical billiard flow, drives the formation behind and describes the evolution of these internal waves, and its trajectories can be represented as rotations around the boundary of a given domain. We find that for sufficiently irrational rotation in the square, or…
▽ More
The Poincaré problem is a model of two-dimensional internal waves in stable-stratified fluid. The chess billiard flow, a variation of a typical billiard flow, drives the formation behind and describes the evolution of these internal waves, and its trajectories can be represented as rotations around the boundary of a given domain. We find that for sufficiently irrational rotation in the square, or when the rotation number $r(λ)$ is Diophantine, the regularity of the solution $u(t)$ of the evolution problem correlates directly to the regularity of the forcing function $f(x)$. Additionally, we show that when $f$ is smooth, then $u$ is also smooth. These results extend studies that have examined singularity points, or the lack of regularity, in rational rotations of the chess billiard flow. We also present numerical simulations in various geometries that analyze plateau formation and fractal dimension in $r(λ)$ and conjecture an extension of our results. Our results can be applied in modeling two dimensional oceanic waves, and they also relate the classical quantum correspondence to fluid study.
△ Less
Submitted 12 October, 2022;
originally announced October 2022.
-
Playing Mastermind with Wordle-like Feedback
Authors:
Renyuan Li,
Shenglong Zhu
Abstract:
We introduce an extension of Mastermind called Clear Mastermind with enhanced feedback inspired by that from Wordle. The only difference between Clear Mastermind and Mastermind is a rule that provides more precise feedback, as found in Wordle. In Clear Mastermind, the feedback contains the positions of the colors the codebreaker guessed correctly and the positions of colors that appear in the answ…
▽ More
We introduce an extension of Mastermind called Clear Mastermind with enhanced feedback inspired by that from Wordle. The only difference between Clear Mastermind and Mastermind is a rule that provides more precise feedback, as found in Wordle. In Clear Mastermind, the feedback contains the positions of the colors the codebreaker guessed correctly and the positions of colors that appear in the answer but in different positions. We explore the fewest number of guesses that a codebreaker requires to find the answer in Clear Mastermind according to its two parameters: the number of colors and the length of the answer.
△ Less
Submitted 18 December, 2023; v1 submitted 27 September, 2022;
originally announced September 2022.
-
Reliable Reserve-Crew Scheduling for Airlines
Authors:
Albert H. Schrotenboer,
Rob Wenneker,
Evrim Ursavas,
Stuart X. Zhu
Abstract:
We study the practical setting in which regular- and reserve-crew schedules are dynamically maintained up to the day of executing the schedule. At each day preceding the execution of the schedule, disruptions occur due to sudden unavailability of personnel, making the planned regular and reserve-crew schedules infeasible for its execution day. This paper studies the fundamental question how to rep…
▽ More
We study the practical setting in which regular- and reserve-crew schedules are dynamically maintained up to the day of executing the schedule. At each day preceding the execution of the schedule, disruptions occur due to sudden unavailability of personnel, making the planned regular and reserve-crew schedules infeasible for its execution day. This paper studies the fundamental question how to repair the schedules' infeasibility in the days preceding the execution, taking into account labor regulations. We propose a robust repair strategy that maintains flexibility in order to cope with additional future disruptions. The flexibility in reserve-crew usage is explicitly considered through evaluating the expected shortfall of the reserve-crew schedule based on a Markov chain formulation. The core of our approach relies on iteratively solving a set-covering formulation, which we call the Robust Crew Recovery Problem, which encapsulates this flexibility notion for reserve crew usage. A tailored branch-and-price algorithm is developed for solving the Robust Crew Recovery Problem to optimality. The corresponding pricing problem is efficiently solved by a newly developed pulse algorithm. Based on actual data from a medium-sized hub-and-spoke airline, we show that embracing our approach leads to fewer flight cancellations and fewer last-minute alterations, compared to repairing disrupted schedules without considering our robust measure.
△ Less
Submitted 11 September, 2023; v1 submitted 12 September, 2022;
originally announced September 2022.
-
Structures of Adjoint-Stable Algebras over Factorizable Hopf Algebras
Authors:
Zhimin Liu,
Shenglin Zhu
Abstract:
For a quasi-triangular Hopf algebra $\left( H,R\right) $, there is a notion of transmuted braided group $H_{R}$ of $H$ introduced by Majid. The transmuted braided group $H_{R}$ is a Hopf algebra in the braided category $_{H}\mathcal{M}$. The $R$-adjoint-stable algebra associated with any simple left $H_{R}$-comodule is defined by the authors, and is used to characterize the structure of all irredu…
▽ More
For a quasi-triangular Hopf algebra $\left( H,R\right) $, there is a notion of transmuted braided group $H_{R}$ of $H$ introduced by Majid. The transmuted braided group $H_{R}$ is a Hopf algebra in the braided category $_{H}\mathcal{M}$. The $R$-adjoint-stable algebra associated with any simple left $H_{R}$-comodule is defined by the authors, and is used to characterize the structure of all irreducible Yetter-Drinfeld modules in ${}_{H}^{H} \mathcal{YD}$. In this note, we prove for a semisimple factorizable Hopf algebra $ \left( H,R\right) $ that any simple subcoalgebra of $H_R$ is $H$-stable and the $R$-adjoint-stable algebra for any simple left $H_R$-comodule is anti-isomorphic to $H$. As an application, we characterize all irreducible Yetter-Drinfeld modules.
△ Less
Submitted 23 August, 2022; v1 submitted 20 August, 2022;
originally announced August 2022.