-
OpenTM: An Open-source, Single-GPU, Large-scale Thermal Microstructure Design Framework
Authors:
Yuchen Quan,
Xiaoya Zhai,
Xiao-Ming Fu
Abstract:
Thermal microstructures are artificially engineered materials designed to manipulate and control heat flow in unconventional ways. This paper presents an educational framework, called \emph{OpenTM}, to use a single GPU for designing periodic 3D high-resolution thermal microstructures to match the predefined thermal conductivity matrices with volume fraction constraints. Specifically, we use adapti…
▽ More
Thermal microstructures are artificially engineered materials designed to manipulate and control heat flow in unconventional ways. This paper presents an educational framework, called \emph{OpenTM}, to use a single GPU for designing periodic 3D high-resolution thermal microstructures to match the predefined thermal conductivity matrices with volume fraction constraints. Specifically, we use adaptive volume fraction to make the Optimality Criteria (OC) method run stably to obtain the thermal microstructures without a large memory overhead.Practical examples with a high resolution $128 \times 128 \times 128$ run under 90 seconds per structure on an NVIDIA GeForce GTX 4070Ti GPU with a peak GPU memory of 355 MB. Our open-source, high-performance implementation is publicly accessible at \url{https://github.com/quanyuchen2000/OPENTM}, and it is easy to install using Anaconda. Moreover, we provide a Python interface to make OpenTM well-suited for novices in C/C++.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
Homotopy rigidity for quasitoric manifolds over a product of $d$-simplices
Authors:
Xin Fu,
Tseleung So,
Jongbaek Song,
Stephen Theriault
Abstract:
For a fixed integer $d\geq 1$, we show that two quasitoric manifolds over a product of $d$-simplices are homotopy equivalent after appropriate localization, provided that their integral cohomology rings are isomorphic.
For a fixed integer $d\geq 1$, we show that two quasitoric manifolds over a product of $d$-simplices are homotopy equivalent after appropriate localization, provided that their integral cohomology rings are isomorphic.
△ Less
Submitted 1 May, 2024;
originally announced May 2024.
-
Carleman estimates for higher order partial differential operators and its applications
Authors:
Xiaoyu Fu,
Yuan Gao
Abstract:
In this paper, we obtain a Carleman estimate for the higher order partial differential operator. In the process of establishing this estimate, we developed a new method, which is called the back-propagation method (the BPM, for short). This method can also be used to build up Carleman estimates for some other partial differential operators, and might provide assistance with corresponding numerical…
▽ More
In this paper, we obtain a Carleman estimate for the higher order partial differential operator. In the process of establishing this estimate, we developed a new method, which is called the back-propagation method (the BPM, for short). This method can also be used to build up Carleman estimates for some other partial differential operators, and might provide assistance with corresponding numerical analyses. As an application of the above-mentioned Carleman estimate, we proved the conditional stability of a Cauchy problem for a time fractional diffusion equation.
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
Convergence rate and uniform Lipschitz estimate in periodic homogenization of high-contrast elliptic systems
Authors:
Xin Fu,
Wenjia **g
Abstract:
We consider the Dirichlet problem for elliptic systems with periodically distributed inclusions whose conduction parameter exhibits a significant contrast compared to the background media. We develop a unified method to quantify the convergence rates both as the periodicity of inclusions tends to zero and as the parameter approaches either zero or infinity. Based on the obtained convergence rates…
▽ More
We consider the Dirichlet problem for elliptic systems with periodically distributed inclusions whose conduction parameter exhibits a significant contrast compared to the background media. We develop a unified method to quantify the convergence rates both as the periodicity of inclusions tends to zero and as the parameter approaches either zero or infinity. Based on the obtained convergence rates and a Campanato-type scheme, we also derive the regularity estimates that are uniform both in the periodicity and the contrast.
△ Less
Submitted 17 April, 2024;
originally announced April 2024.
-
A continuous cusp closing process for negative Kähler-Einstein metrics
Authors:
Xin Fu,
Hans-Joachim Hein,
Xumin Jiang
Abstract:
We give an example of a family of smooth complex algebraic surfaces of degree $6$ in $\mathbb{CP}^3$ develo** an isolated elliptic singularity. We show via a gluing construction that the unique Kähler-Einstein metrics of Ricci curvature $-1$ on these sextics develop a complex hyperbolic cusp in the limit, and that near the tip of the forming cusp a Tian-Yau gravitational instanton bubbles off.
We give an example of a family of smooth complex algebraic surfaces of degree $6$ in $\mathbb{CP}^3$ develo** an isolated elliptic singularity. We show via a gluing construction that the unique Kähler-Einstein metrics of Ricci curvature $-1$ on these sextics develop a complex hyperbolic cusp in the limit, and that near the tip of the forming cusp a Tian-Yau gravitational instanton bubbles off.
△ Less
Submitted 21 January, 2024;
originally announced January 2024.
-
Generalized Chen's conjecture for biharmonic maps on foliations
Authors:
Xueshan Fu,
Seoung Dal Jung
Abstract:
In this paper, we prove the generalized Chen's conjecture for (F,F')-biharmonic map, which is a critical point of the transversal bienergy functional
In this paper, we prove the generalized Chen's conjecture for (F,F')-biharmonic map, which is a critical point of the transversal bienergy functional
△ Less
Submitted 30 August, 2023;
originally announced August 2023.
-
Homogenization of eigenvalues for problems with high-contrast inclusions
Authors:
Xin Fu
Abstract:
We study quantitative homogenization of the eigenvalues for elliptic systems with periodically distributed inclusions, where the conductivity of inclusions are strongly contrast to that of the matrix. We propose a quantitative version of periodic unfolding method, based on this and the recent results concerned on high-contrast homogenization, the convergence rates of eigenvalues are studied for an…
▽ More
We study quantitative homogenization of the eigenvalues for elliptic systems with periodically distributed inclusions, where the conductivity of inclusions are strongly contrast to that of the matrix. We propose a quantitative version of periodic unfolding method, based on this and the recent results concerned on high-contrast homogenization, the convergence rates of eigenvalues are studied for any contrast $δ\in (0,\infty)$.
△ Less
Submitted 16 June, 2023;
originally announced June 2023.
-
The integral cohomology ring of four-dimensional toric orbifolds
Authors:
Xin Fu,
Tseleung So,
Jongbaek Song
Abstract:
Although toric orbifolds are fundamental objects in toric topology, their cohomology rings are largely unknown except for very few special cases. The goal of this paper is to investigate the cohomology rings of 4-dimensional toric orbifolds. Let $X(P,λ)$ is a 4-dimensional toric orbifold associated to a polygon $P$ and a characteristic function $λ$. Assuming $X(P,λ)$ is locally smooth over a verte…
▽ More
Although toric orbifolds are fundamental objects in toric topology, their cohomology rings are largely unknown except for very few special cases. The goal of this paper is to investigate the cohomology rings of 4-dimensional toric orbifolds. Let $X(P,λ)$ is a 4-dimensional toric orbifold associated to a polygon $P$ and a characteristic function $λ$. Assuming $X(P,λ)$ is locally smooth over a vertex of $P$, we construct an additive basis of $H^*(X(P,λ);\mathbb{Z})$ and express the cup products of the basis elements in terms of $P$ and $λ$. Further we derive a formula for computing cup products in $H^*(X(P,λ);R)$, where $X(P,λ)$ is any general 4-dimensional toric orbifold and $R$ is a principal ideal domain satisfying a mild condition.
△ Less
Submitted 8 April, 2023;
originally announced April 2023.
-
An Optimized, Easy-to-use, Open-source GPU Solver for Large-scale Inverse Homogenization Problems
Authors:
Di Zhang,
Xiaoya Zhai,
Ligang Liu,
Xiao-Ming Fu
Abstract:
We propose a high-performance GPU solver for inverse homogenization problems to design high-resolution 3D microstructures. Central to our solver is a favorable combination of data structures and algorithms, making full use of the parallel computation power of today's GPUs through a software-level design space exploration. This solver is demonstrated to optimize homogenized stiffness tensors, such…
▽ More
We propose a high-performance GPU solver for inverse homogenization problems to design high-resolution 3D microstructures. Central to our solver is a favorable combination of data structures and algorithms, making full use of the parallel computation power of today's GPUs through a software-level design space exploration. This solver is demonstrated to optimize homogenized stiffness tensors, such as bulk modulus, shear modulus, and Poisson's ratio, under the constraint of bounded material volume. Practical high-resolution examples with 512^3=134.2 million finite elements run in less than 40 seconds per iteration with a peak GPU memory of 9 GB on an NVIDIA GeForce GTX 1080Ti GPU. Besides, our GPU implementation is equipped with an easy-to-use framework with less than 20 lines of code to support various objective functions defined by the homogenized stiffness tensors. Our open-source high-performance implementation is publicly accessible at https://github.com/lavenklau/homo3d.
△ Less
Submitted 25 May, 2023; v1 submitted 21 January, 2023;
originally announced January 2023.
-
Harmonic maps on weighted Riemannian foliations
Authors:
Xueshan Fu,
**hua Qian,
Seoung Dal Jung
Abstract:
On foliations, there are two kinds of harmonic maps, that is, transversally harmonic map and $(F,F')$-harmonic map which are equivalent when the foliation is minimal. In this paper, we study transversally f-harmonic and $(F,F')_f$-harmonic maps on weighted foliations.
On foliations, there are two kinds of harmonic maps, that is, transversally harmonic map and $(F,F')$-harmonic map which are equivalent when the foliation is minimal. In this paper, we study transversally f-harmonic and $(F,F')_f$-harmonic maps on weighted foliations.
△ Less
Submitted 12 August, 2023; v1 submitted 11 December, 2022;
originally announced December 2022.
-
The generalized Kähler Calabi-Yau problem
Authors:
Vestislav Apostolov,
Xin Fu,
Jeffrey Streets,
Yury Ustinovskiy
Abstract:
We formulate an extension of the Calabi conjecture to the setting of generalized Kähler geometry. We show a transgression formula for the Bismut Ricci curvature in this setting, which requires a new local Goto/Kodaira-Spencer deformation result, and use it to show that solutions of the generalized Calabi-Yau equation on compact manifolds are classically Kähler, Calabi-Yau, and furthermore unique i…
▽ More
We formulate an extension of the Calabi conjecture to the setting of generalized Kähler geometry. We show a transgression formula for the Bismut Ricci curvature in this setting, which requires a new local Goto/Kodaira-Spencer deformation result, and use it to show that solutions of the generalized Calabi-Yau equation on compact manifolds are classically Kähler, Calabi-Yau, and furthermore unique in their generalized Kähler class. We show that the generalized Kähler-Ricci flow is naturally adapted to this conjecture, and exhibit a number of a priori estimates and monotonicity formulas which suggest global existence and convergence. For initial data in the generalized Kähler class of a Kähler Calabi-Yau structure we prove the flow exists globally and converges to this unique fixed point. This has applications to understanding the space of generalized Kähler structures, and as a special case yields the topological structure of natural classes of Hamiltonian symplectomorphisms on hyperKähler manifolds. In the case of commuting-type generalized Kähler structures we establish global existence and convergence with arbitrary initial data to a Kähler, Calabi-Yau metric, which yields a new $d d^c$-lemma for these structures.
△ Less
Submitted 16 November, 2022;
originally announced November 2022.
-
Globally Convergent Policy Gradient Methods for Linear Quadratic Control of Partially Observed Systems
Authors:
Feiran Zhao,
Xingyun Fu,
Keyou You
Abstract:
While the optimization landscape of policy gradient methods has been recently investigated for partially observed linear systems in terms of both static output feedback and dynamical controllers, they only provide convergence guarantees to stationary points. In this paper, we propose a new policy parameterization for partially observed linear systems, using a past input-output trajectory of finite…
▽ More
While the optimization landscape of policy gradient methods has been recently investigated for partially observed linear systems in terms of both static output feedback and dynamical controllers, they only provide convergence guarantees to stationary points. In this paper, we propose a new policy parameterization for partially observed linear systems, using a past input-output trajectory of finite length as feedback. We show that the solution set to the parameterized optimization problem is a matrix space, which is invariant to similarity transformation. By proving a gradient dominance property, we show the global convergence of policy gradient methods. Moreover, we observe that the gradient is orthogonal to the solution set, revealing an explicit relation between the resulting solution and the initial policy. Finally, we perform simulations to validate our theoretical results.
△ Less
Submitted 22 April, 2023; v1 submitted 8 November, 2022;
originally announced November 2022.
-
Team theAntipodes: Solution Methodology for GTOC11
Authors:
Roberto Armellin,
Laurent Beauregard,
Andrea Bellome,
Nicolò Bernardini,
Alberto Fossa,
Xiaoyu Fu,
Harry Holt,
Cristina Parigini,
Laura Pirovano,
Minduli Wijayatunga
Abstract:
This paper presents the solution approach developed by the team "theAntipodes" for the 11th Global Trajectory Optimization Competition (GTOC11). The approach consists of four main blocks: 1) mothership chain generation, 2) rendezvous table generation, 3) the dispatcher, and 4) the refinement. Blocks 1 and 3 are purely combinatorial optimization problems that select the asteroids to visit and alloc…
▽ More
This paper presents the solution approach developed by the team "theAntipodes" for the 11th Global Trajectory Optimization Competition (GTOC11). The approach consists of four main blocks: 1) mothership chain generation, 2) rendezvous table generation, 3) the dispatcher, and 4) the refinement. Blocks 1 and 3 are purely combinatorial optimization problems that select the asteroids to visit and allocate them to the Dyson ring stations. The rendezvous table generation involves interpolating time-optimal transfers to find all transfer opportunities between selected asteroids and the ring stations. The dispatcher uses the data stored in the table and allocates the asteroids to the Dyson ring stations optimally. The refinement ensures each rendezvous trajectory meets the problem accuracy constraints and introduces deep-space maneuvers to the mothership transfers. We provide the details of our solution that, with a score of 5,992, was worth 3rd place.
△ Less
Submitted 6 September, 2022;
originally announced September 2022.
-
Uniqueness of Tangent Cone of Kahler Einstein Metrics on Singular Varieties with Crepant Singularities
Authors:
Xin Fu
Abstract:
Let $(X, L)$ be a polarized Calabi Yau variety (or canonical polarized variety) with crepant singularity. Suppose $ω_{KE} \in c_1(L)$ (or $ω_{KE} \in c_1(K_X)$) is the unique Ricci flat current (or Kahler Einstein current with negative scalar curvature) with local bounded potential constructed in [18], we show that the local tangent at any point $p \in X$ of metric $ω_{KE}$ is unique
Let $(X, L)$ be a polarized Calabi Yau variety (or canonical polarized variety) with crepant singularity. Suppose $ω_{KE} \in c_1(L)$ (or $ω_{KE} \in c_1(K_X)$) is the unique Ricci flat current (or Kahler Einstein current with negative scalar curvature) with local bounded potential constructed in [18], we show that the local tangent at any point $p \in X$ of metric $ω_{KE}$ is unique
△ Less
Submitted 10 August, 2022;
originally announced August 2022.
-
Uniform convergence for linear elastostatic systems with periodic high contrast inclusions
Authors:
Xin Fu,
Wenjia **g
Abstract:
We consider the Lame system of linear elasticity with periodically distributed inclusions whose elastic parameters have high contrast compared to the background media. We develop a unified method based on layer potential techniques to quantify three convergence results when some parameters of the elastic inclusions are sent to extreme values. More precisely, we study the incompressible inclusions…
▽ More
We consider the Lame system of linear elasticity with periodically distributed inclusions whose elastic parameters have high contrast compared to the background media. We develop a unified method based on layer potential techniques to quantify three convergence results when some parameters of the elastic inclusions are sent to extreme values. More precisely, we study the incompressible inclusions limit where the bulk modulus of the inclusions tends to infinity, the soft inclusions limit where both the bulk modulus and the shear modulus tend to zero, and the hard inclusions limit where the shear modulus tends to infinity. Our method yields convergence rates that are independent of the periodicity of the inclusions array, and are sharper than some earlier results of this type. A key ingredient of the proof is the establishment of uniform spectra gaps for the elastic Neumann-Poincare operator associated to the collection of periodic inclusions that are independent of the periodicity.
△ Less
Submitted 12 July, 2022;
originally announced July 2022.
-
On Local Linear Convergence of Projected Gradient Descent for Unit-Modulus Least Squares
Authors:
Trung Vu,
Raviv Raich,
Xiao Fu
Abstract:
The unit-modulus least squares (UMLS) problem has a wide spectrum of applications in signal processing, e.g., phase-only beamforming, phase retrieval, radar code design, and sensor network localization. Scalable first-order methods such as projected gradient descent (PGD) have recently been studied as a simple yet efficient approach to solving the UMLS problem. Existing results on the convergence…
▽ More
The unit-modulus least squares (UMLS) problem has a wide spectrum of applications in signal processing, e.g., phase-only beamforming, phase retrieval, radar code design, and sensor network localization. Scalable first-order methods such as projected gradient descent (PGD) have recently been studied as a simple yet efficient approach to solving the UMLS problem. Existing results on the convergence of PGD for UMLS often focus on global convergence to stationary points. As a non-convex problem, only a sublinear convergence rate has been established. However, these results do not explain the fast convergence of PGD frequently observed in practice. This manuscript presents a novel analysis of convergence of PGD for UMLS, justifying the linear convergence behavior of the algorithm near the solution. By exploiting the local structure of the objective function and the constraint set, we establish an exact expression for the convergence rate and characterize the conditions for linear convergence. Simulations show that our theoretical analysis corroborates numerical examples. Furthermore, variants of PGD with adaptive step sizes are proposed based on the new insight revealed in our convergence analysis. The variants show substantial acceleration in practice.
△ Less
Submitted 1 July, 2022; v1 submitted 22 June, 2022;
originally announced June 2022.
-
Convergence and Sample Complexity of Policy Gradient Methods for Stabilizing Linear Systems
Authors:
Feiran Zhao,
Xingyun Fu,
Keyou You
Abstract:
System stabilization via policy gradient (PG) methods has drawn increasing attention in both control and machine learning communities. In this paper, we study their convergence and sample complexity for stabilizing linear time-invariant systems in terms of the number of system rollouts. Our analysis is built upon a discounted linear quadratic regulator (LQR) method which alternatively updates the…
▽ More
System stabilization via policy gradient (PG) methods has drawn increasing attention in both control and machine learning communities. In this paper, we study their convergence and sample complexity for stabilizing linear time-invariant systems in terms of the number of system rollouts. Our analysis is built upon a discounted linear quadratic regulator (LQR) method which alternatively updates the policy and the discount factor of the LQR problem. Firstly, we propose an explicit rule to adaptively adjust the discount factor by exploring the stability margin of a linear control policy. Then, we establish the sample complexity of PG methods for stabilization, which only adds a coefficient logarithmic in the spectral radius of the state matrix to that for solving the LQR problem with a prior stabilizing policy. Finally, we perform simulations to validate our theoretical findings and demonstrate the effectiveness of our method on a class of nonlinear systems.
△ Less
Submitted 14 September, 2023; v1 submitted 28 May, 2022;
originally announced May 2022.
-
A unified weighted inequality for fourth-order partial differential operators and applications
Authors:
Yan Cui,
Xiaoyu Fu,
Jiaxin Tian
Abstract:
In this paper, we establish a fundamental inequality for fourth order partial differential operator $\cal P=α\partial_s+β\partial_{ss}+Δ^2$ ($α, β\in\mathbb{R}$) with an abstract exponential-type weight function. Such kind of weight functions including not only the regular weight functions but also the singular weight functions. Using this inequality we are able to prove some Carleman estimates fo…
▽ More
In this paper, we establish a fundamental inequality for fourth order partial differential operator $\cal P=α\partial_s+β\partial_{ss}+Δ^2$ ($α, β\in\mathbb{R}$) with an abstract exponential-type weight function. Such kind of weight functions including not only the regular weight functions but also the singular weight functions. Using this inequality we are able to prove some Carleman estimates for the operator $\cal P$ with some suitable boundary conditions in the case of $β<0$ or $α\neq 0, β=0$. As application, we obtain a resolvent estimate for $\cal P$, which can imply a log-type stabilization result for the plate equation with clamped boundary conditions or hinged boundary conditions.
△ Less
Submitted 18 April, 2022; v1 submitted 9 April, 2022;
originally announced April 2022.
-
Liouville type theorem for (F;F')p-harmonic maps on foliations
Authors:
Xueshan Fu,
Seoung Dal Jung
Abstract:
In this paper, we study $(\mathcal F,\mathcal F')_{p}$-harmonic maps between foliated Riemannian manifolds $(M,g,\mathcal F)$ and $(M',g',\mathcal F')$. A $(\mathcal F,\mathcal F')_{p}$-harmonic map $φ:(M,g,\mathcal F)\to (M', g',\mathcal F')$ is a critical point of the transversal $p$-energy functional $E_{B,p}$. Trivially, $(\mathcal F,\mathcal F')_2$-harmonic map is $(\mathcal F,\mathcal F')$-h…
▽ More
In this paper, we study $(\mathcal F,\mathcal F')_{p}$-harmonic maps between foliated Riemannian manifolds $(M,g,\mathcal F)$ and $(M',g',\mathcal F')$. A $(\mathcal F,\mathcal F')_{p}$-harmonic map $φ:(M,g,\mathcal F)\to (M', g',\mathcal F')$ is a critical point of the transversal $p$-energy functional $E_{B,p}$. Trivially, $(\mathcal F,\mathcal F')_2$-harmonic map is $(\mathcal F,\mathcal F')$-harmonic map, which is a critical point of $E_B$. There is another definition of a harmonic map on foliated Riemannian manifolds, called transversally harmonic map, which is a solution of the Euler-Largrange equation $τ_b(φ)=0$. Two definitions are not equivalent, but if $\mathcal F$ is minimal, then two definitons are equivalent. Firstly, we give the first and second variational formulas for $(\mathcal F,\mathcal F')_{p}$-harmonic maps. Next, we investigate the generalized Weitzenböck type formula and the Liouville type theorem for $(\mathcal F,\mathcal F')_{p}$-harmonic map.
△ Less
Submitted 10 March, 2022; v1 submitted 21 January, 2022;
originally announced January 2022.
-
Tracial oscillation zero and stable rank one
Authors:
Xuanlong Fu,
Huaxin Lin
Abstract:
Let $A$ be a separable (not necessarily unital) simple $C^*$-algebra with strict comparison. We show that if $A$ has tracial approximate oscillation zero then $A$ has stable rank one and the canonical map $Γ$ from the Cuntz semigroup of $A$ to the corresponding affine function space is surjective. The converse also holds. As a by-product, we find that a separable simple $C^*$-algebra which has alm…
▽ More
Let $A$ be a separable (not necessarily unital) simple $C^*$-algebra with strict comparison. We show that if $A$ has tracial approximate oscillation zero then $A$ has stable rank one and the canonical map $Γ$ from the Cuntz semigroup of $A$ to the corresponding affine function space is surjective. The converse also holds. As a by-product, we find that a separable simple $C^*$-algebra which has almost stable rank one must have stable rank one, provided it has strict comparison and the canonical map $Γ$ is surjective.
△ Less
Submitted 20 January, 2024; v1 submitted 28 December, 2021;
originally announced December 2021.
-
Observability estimate for the wave equation with variable coefficients
Authors:
Zhonghua Liao,
Xiaoyu Fu
Abstract:
This paper is devoted to a study of observability estimate for the wave equation with variable coefficients $(h^{jk}(x))_{n\times n}$ ($n\in\mathbb{N})$. We consider both the observation point lies outside the domain and the observation point lies inside the domain. Based on a Carleman estimate for the ultra-hyperbolic operator and a delicate treatment of observation region, we obtain two observab…
▽ More
This paper is devoted to a study of observability estimate for the wave equation with variable coefficients $(h^{jk}(x))_{n\times n}$ ($n\in\mathbb{N})$. We consider both the observation point lies outside the domain and the observation point lies inside the domain. Based on a Carleman estimate for the ultra-hyperbolic operator and a delicate treatment of observation region, we obtain two observability estimates with explicit observability constants. The key improvements are: (1) we improve the requirement of waiting time $T$; (2) we improve the size of the observation region (see Fingure 1 and Fingure 2 for the case of $(h^{jk}(x))_{n\times n}=I_n)$ .
△ Less
Submitted 17 December, 2021;
originally announced December 2021.
-
Learning Stabilizing Controllers of Linear Systems via Discount Policy Gradient
Authors:
Feiran Zhao,
Xingyun Fu,
Keyou You
Abstract:
Stability is one of the most fundamental requirements for systems synthesis. In this paper, we address the stabilization problem for unknown linear systems via policy gradient (PG) methods. We leverage a key feature of PG for Linear Quadratic Regulator (LQR), i.e., it drives the policy away from the boundary of the unstabilizing region along the descent direction, provided with an initial policy w…
▽ More
Stability is one of the most fundamental requirements for systems synthesis. In this paper, we address the stabilization problem for unknown linear systems via policy gradient (PG) methods. We leverage a key feature of PG for Linear Quadratic Regulator (LQR), i.e., it drives the policy away from the boundary of the unstabilizing region along the descent direction, provided with an initial policy with finite cost. To this end, we discount the LQR cost with a factor, by adaptively increasing which gradient leads the policy to the stabilizing set while maintaining a finite cost. Based on the Lyapunov theory, we design an update rule for the discount factor which can be directly computed from data, rendering our method purely model-free. Compared to recent work \citep{perdomo2021stabilizing}, our algorithm allows the policy to be updated only once for each discount factor. Moreover, the number of sampled trajectories and simulation time for gradient descent is significantly reduced to $\mathcal{O}(\log(1/ε))$ for the desired accuracy $ε$. Finally, we conduct simulations on both small-scale and large-scale examples to show the efficiency of our discount PG method.
△ Less
Submitted 16 December, 2021;
originally announced December 2021.
-
Diameter estimate for closed manifolds with positive scalar curvature
Authors:
Xuenan Fu,
Jia-Yong Wu
Abstract:
For a simply connected closed Riemannian manifold with positive scalar curvature, we prove an upper diameter bound in terms of its scalar curvature integral, the Yamabe constant and the dimension of the manifold. When a manifold has a conformal immersion into a sphere, the dependency on the Yamabe constant is not necessary. The power of scalar curvature integral in these diameter estimates is shar…
▽ More
For a simply connected closed Riemannian manifold with positive scalar curvature, we prove an upper diameter bound in terms of its scalar curvature integral, the Yamabe constant and the dimension of the manifold. When a manifold has a conformal immersion into a sphere, the dependency on the Yamabe constant is not necessary. The power of scalar curvature integral in these diameter estimates is sharp and it occurs at round spheres with canonical metric.
△ Less
Submitted 16 December, 2021; v1 submitted 12 December, 2021;
originally announced December 2021.
-
Gradient estimates for a nonlinear parabolic equation with Dirichlet boundary condition
Authors:
Xuenan Fu,
Jia-Yong Wu
Abstract:
In this paper, we prove Souplet-Zhang type gradient estimates for a nonlinear parabolic equation on smooth metric measure spaces with the compact boundary under the Dirichlet boundary condition when the Bakry-Emery Ricci tensor and the weighted mean curvature are both bounded below. As an application, we obtain a new Liouville type result for some space-time functions on such smooth metric measure…
▽ More
In this paper, we prove Souplet-Zhang type gradient estimates for a nonlinear parabolic equation on smooth metric measure spaces with the compact boundary under the Dirichlet boundary condition when the Bakry-Emery Ricci tensor and the weighted mean curvature are both bounded below. As an application, we obtain a new Liouville type result for some space-time functions on such smooth metric measure spaces. These results generalize previous linear equations to a nonlinear case.
△ Less
Submitted 12 December, 2021;
originally announced December 2021.
-
Matlab program method of computing Carleman estimates and applications
Authors:
Xiaoyu Fu,
Yuan Gao,
Qingmei Zhao
Abstract:
In this paper, we introduce a Matlab program method to compute Carleman estimate for the fourth order partial differential operator $γ\partial_t+\partial_x^4\ (γ\in\mathbb{R})$. We obtain two kinds of Carleman estimates with different weight functions, i.e. singular weight function and regular weight function, respectively. Based on Carleman estimate with singular weight function, one can obtain t…
▽ More
In this paper, we introduce a Matlab program method to compute Carleman estimate for the fourth order partial differential operator $γ\partial_t+\partial_x^4\ (γ\in\mathbb{R})$. We obtain two kinds of Carleman estimates with different weight functions, i.e. singular weight function and regular weight function, respectively. Based on Carleman estimate with singular weight function, one can obtain the known controllability and observability results for the 1-d fourth order parabolic-type equation, while based on Carleman estimate with regular weight function, one can deduce not only the known result on conditional stability in the inverse problem of half-order fractional diffusion equation, but also a new result on conditional stability in the inverse problem of half-order fractional Schrödinger equation.
△ Less
Submitted 11 December, 2021; v1 submitted 3 December, 2021;
originally announced December 2021.
-
Go with the Flow? A Large-Scale Analysis of Health Care Delivery Networks in the United States Using Hodge Theory
Authors:
Thomas Gebhart,
Xiaojun Fu,
Russell Funk
Abstract:
Health care delivery is a collaborative process, requiring close coordination among networks of providers with specialized expertise. Yet in the United States, care is often spread across multiple disconnected providers (e.g., primary care physicians, specialists), leading to fragmented care delivery networks, and contributing to higher costs and lower quality. While this problem is well known, th…
▽ More
Health care delivery is a collaborative process, requiring close coordination among networks of providers with specialized expertise. Yet in the United States, care is often spread across multiple disconnected providers (e.g., primary care physicians, specialists), leading to fragmented care delivery networks, and contributing to higher costs and lower quality. While this problem is well known, there are relatively few quantitative tools available for characterizing care delivery networks at scale, thereby inhibiting deeper understanding of care fragmentation and efforts to address it. In this, study, we conduct a large-scale analysis of care delivery networks across the United States using the discrete Hodge decomposition, an emerging method of topological data analysis. Using this technique, we decompose networks of patient flows among physicians into three orthogonal subspaces: gradient (acyclic flow), harmonic (global cyclic flow), and curl (local cyclic flow). We document substantial variation in the relative importance of each subspace, suggesting that there may be systematic differences in the organization of care delivery networks across health care markets. Moreover, we find that the relative importance of each subspace is predictive of local care cost and quality, with outcomes tending to be better with greater curl flow and worse with greater harmonic flow.
△ Less
Submitted 13 December, 2021; v1 submitted 18 October, 2021;
originally announced October 2021.
-
Multirate iterative scheme with multiphysics finite element method for a fluid-saturated poroelasticity
Authors:
Zhihao Ge,
Xiangzi Fu
Abstract:
In this paper, we propose a multirate iterative scheme with multiphysics finite element method for a fluid-saturated poroelasticity model. Firstly, we reformulate the original model into a fluid coupled problem to apply the multiphysics finite element method for the discretization of the space variables, and we design a multirate iterative scheme on the time scale which solve a generalized Stokes…
▽ More
In this paper, we propose a multirate iterative scheme with multiphysics finite element method for a fluid-saturated poroelasticity model. Firstly, we reformulate the original model into a fluid coupled problem to apply the multiphysics finite element method for the discretization of the space variables, and we design a multirate iterative scheme on the time scale which solve a generalized Stokes problem in the coarse time size and solve the diffusion problem in the finer time size according to the characteristics of the poroelasticity problem. Secondly, we prove that the multirate iterative scheme is stable and the numerical solution satisfies some energy conservation laws, which are important to ensure the uniqueness of solution to the decoupled computing problem. Also, we analyze the error estimates to prove that the proposed numerical method doesn't reduce the precision of numerical solution and greatly reduces the computational cost. Finally, we give the numerical tests to verify the theoretical results and draw a conclusion to summary the main results in this paper.
△ Less
Submitted 26 September, 2021;
originally announced September 2021.
-
Balanced pairs on triangulated categories
Authors:
Xianhui Fu,
Jiangsheng Hu,
Dongdong Zhang,
Haiyan Zhu
Abstract:
Let $\mathcal{C}$ be a triangulated category. We first introduce the notion of balanced pairs in $\mathcal{C}$, and then establish the bijective correspondence between balanced pairs and proper classes $ξ$ with enough $ξ$-projectives and enough $ξ$-injectives. Assume that $ξ:=ξ_{\mathcal{X}}=ξ^{\mathcal{Y}}$ is the proper class induced by a balanced pair $(\mathcal{X},\mathcal{Y})$. We prove that…
▽ More
Let $\mathcal{C}$ be a triangulated category. We first introduce the notion of balanced pairs in $\mathcal{C}$, and then establish the bijective correspondence between balanced pairs and proper classes $ξ$ with enough $ξ$-projectives and enough $ξ$-injectives. Assume that $ξ:=ξ_{\mathcal{X}}=ξ^{\mathcal{Y}}$ is the proper class induced by a balanced pair $(\mathcal{X},\mathcal{Y})$. We prove that $(\mathcal{C}, \mathbb{E}_ξ, \mathfrak{s}_ξ)$ is an extriangulated category. Moreover, it is proved that $(\mathcal{C}, \mathbb{E}_ξ, \mathfrak{s}_ξ)$ is a triangulated category if and only if $\mathcal{X}=\mathcal{Y}=0$; and that $(\mathcal{C}, \mathbb{E}_ξ, \mathfrak{s}_ξ)$ is an exact category if and only if $\mathcal{X}=\mathcal{Y}=\mathcal{C}$. As an application, we produce a large variety of examples of extriangulated categories which are neither exact nor triangulated.
△ Less
Submitted 2 September, 2021;
originally announced September 2021.
-
An FEA surrogate model with Boundary Oriented Graph Embedding approach
Authors:
Xingyu Fu,
Fengfeng Zhou,
Dheeraj Peddireddy,
Zhengyang Kang,
Martin Byung-Guk Jun,
Vaneet Aggarwal
Abstract:
In this work, we present a Boundary Oriented Graph Embedding (BOGE) approach for the Graph Neural Network (GNN) to serve as a general surrogate model for regressing physical fields and solving boundary value problems. Providing shortcuts for both boundary elements and local neighbor elements, the BOGE approach can embed structured mesh elements into the graph and performs an efficient regression o…
▽ More
In this work, we present a Boundary Oriented Graph Embedding (BOGE) approach for the Graph Neural Network (GNN) to serve as a general surrogate model for regressing physical fields and solving boundary value problems. Providing shortcuts for both boundary elements and local neighbor elements, the BOGE approach can embed structured mesh elements into the graph and performs an efficient regression on large-scale triangular-mesh-based FEA results, which cannot be realized by other machine-learning-based surrogate methods. Focusing on the cantilever beam problem, our BOGE approach cannot only fit the distribution of stress fields but also regresses the topological optimization results, which show its potential of realizing abstract decision-making design process. The BOGE approach with 3-layer DeepGCN model \textcolor{blue}{achieves the regression with MSE of 0.011706 (2.41\% MAPE) for stress field prediction and 0.002735 MSE (with 1.58\% elements having error larger than 0.01) for topological optimization.} The overall concept of the BOGE approach paves the way for a general and efficient deep-learning-based FEA simulator that will benefit both industry and design-related areas.
△ Less
Submitted 30 August, 2021;
originally announced August 2021.
-
Asymptotics of Kähler-Einstein metrics on complex hyperbolic cusps
Authors:
Xin Fu,
Hans-Joachim Hein,
Xumin Jiang
Abstract:
Let $L$ be a negative holomorphic line bundle over an $(n-1)$-dimensional complex torus $D$. Let $h$ be a Hermitian metric on $L$ such that the curvature form of the dual Hermitian metric defines a flat Kähler metric on $D$. Then $h$ is unique up to scaling, and, for some closed tubular neighborhood $V$ of the zero section $D \subset L$, the form…
▽ More
Let $L$ be a negative holomorphic line bundle over an $(n-1)$-dimensional complex torus $D$. Let $h$ be a Hermitian metric on $L$ such that the curvature form of the dual Hermitian metric defines a flat Kähler metric on $D$. Then $h$ is unique up to scaling, and, for some closed tubular neighborhood $V$ of the zero section $D \subset L$, the form $ω_h = -(n+1)i\partial\overline\partial\log(-{\log h})$ defines a complete Kähler-Einstein metric on $V \setminus D$ with ${\rm Ric}(ω_h) = -ω_h$. In fact, $ω_h$ is complex hyperbolic, i.e., the holomorphic sectional curvature of $ω_h$ is constant, and $ω_h$ has the usual doubly-warped cusp structure familiar from complex hyperbolic geometry. In this paper, we prove that if $U$ is another closed tubular neighborhood of the zero section and if $ω$ is a complete Kähler-Einstein metric with ${\rm Ric}(ω) = -ω$ on $U \setminus D$, then there exist a Hermitian metric $h$ as above and a $δ\in \mathbb{R}^+$ such that $ω- ω_{h} = O(e^{-δ\sqrt{-{\log h}}})$ to all orders with respect to $ω_h$ as $h \to 0$. This rate is doubly exponential in the distance from a fixed point, and is sharp.
△ Less
Submitted 9 November, 2021; v1 submitted 30 August, 2021;
originally announced August 2021.
-
Tracial approximate divisibility and stable rank one
Authors:
Xuanlong Fu,
Kang Li,
Huaxin Lin
Abstract:
We show that every separable simple tracially approximately divisible $C^*$-algebra has strict comparison, is either purely infinite, or has stable rank one. As a consequence, we show that every (non-unital) finite simple ${\cal Z}$-stable $C^*$-algebra has stable rank one.
We show that every separable simple tracially approximately divisible $C^*$-algebra has strict comparison, is either purely infinite, or has stable rank one. As a consequence, we show that every (non-unital) finite simple ${\cal Z}$-stable $C^*$-algebra has stable rank one.
△ Less
Submitted 5 September, 2021; v1 submitted 19 August, 2021;
originally announced August 2021.
-
Codimension four regularity of generalized Einstein structures
Authors:
Xin Fu,
Aaron Naber,
Jeffrey Streets
Abstract:
We establish codimension 4 regularity of noncollapsed sequences of metrics with bounds on natural generalizations of the Ricci tensor. We obtain a priori L2 curvature estimates on such spaces, with diffeomorphism finiteness results and rigidity theorems as corollaries.
We establish codimension 4 regularity of noncollapsed sequences of metrics with bounds on natural generalizations of the Ricci tensor. We obtain a priori L2 curvature estimates on such spaces, with diffeomorphism finiteness results and rigidity theorems as corollaries.
△ Less
Submitted 16 July, 2021;
originally announced July 2021.
-
Dirichlet problem of complex Monge-Ampère equation near an isolated KLT singularity
Authors:
Xin Fu
Abstract:
We solve the Dirichlet Problem of Monge-Ampère equation near an isolate Klt singularity, which generalizes the result of Eyssidieux-Guedj-Zeriahi \cite{EGZ}, where the Monge-Ampère equation is solved on singular varieties without boundary. As a corollary, we construct solutions to Monge-Ampère equation with isolated singularity on strongly pseudoconvex domain $Ω$ contained in $\mathbb{C}^n$.
We solve the Dirichlet Problem of Monge-Ampère equation near an isolate Klt singularity, which generalizes the result of Eyssidieux-Guedj-Zeriahi \cite{EGZ}, where the Monge-Ampère equation is solved on singular varieties without boundary. As a corollary, we construct solutions to Monge-Ampère equation with isolated singularity on strongly pseudoconvex domain $Ω$ contained in $\mathbb{C}^n$.
△ Less
Submitted 14 May, 2022; v1 submitted 18 June, 2021;
originally announced June 2021.
-
Kahler-Einstein metric near an isolated log canonical singularity
Authors:
Ved Datar,
Xin Fu,
Jian Song
Abstract:
We construct Kahler-Einstein metrics with negative scalar curvature near an isolated log canonical (non-log terminal) singularity. Such metrics are complete near the singularity if the underlying space has complex dimension 2 or if the singularity is smoothable. In complex dimension 2, we show that any complete Kahler-Einstein metric of negative scalar curvature near an isolated log canonical (non…
▽ More
We construct Kahler-Einstein metrics with negative scalar curvature near an isolated log canonical (non-log terminal) singularity. Such metrics are complete near the singularity if the underlying space has complex dimension 2 or if the singularity is smoothable. In complex dimension 2, we show that any complete Kahler-Einstein metric of negative scalar curvature near an isolated log canonical (non-log terminal) singularity is smoothly asymptotically close to one of the model metrics constructed by Kobayashi and Nakamura arising from hyperbolic geometry.
△ Less
Submitted 20 December, 2022; v1 submitted 10 June, 2021;
originally announced June 2021.
-
Cohomology of smooth toric varieties: naturality
Authors:
Matthias Franz,
Xin Fu
Abstract:
Building on the recent computation of the cohomology rings of smooth toric varieties and partial quotients of moment-angle complexes, we investigate the naturality properties of the resulting isomorphism between the cohomology of such a space and the torsion product involving the Stanley-Reisner ring. If 2 is invertible in the chosen coefficient ring, then the isomorphism is natural with respect t…
▽ More
Building on the recent computation of the cohomology rings of smooth toric varieties and partial quotients of moment-angle complexes, we investigate the naturality properties of the resulting isomorphism between the cohomology of such a space and the torsion product involving the Stanley-Reisner ring. If 2 is invertible in the chosen coefficient ring, then the isomorphism is natural with respect to toric morphisms, which for partial quotients are defined in analogy with toric varieties. In general there are deformation terms that we describe explicitly.
△ Less
Submitted 25 October, 2023; v1 submitted 8 April, 2021;
originally announced April 2021.
-
Detection of bistable structures via the Conley index and applications to biological systems
Authors:
Junbo Jia,
Pan Yang,
Huai** Zhu,
Zhen **,
**qiao Duan,
Xinchu Fu
Abstract:
Bistability is a ubiquitous phenomenon in life sciences. In this paper, two kinds of bistable structures in dynamical systems are studied: One is two one-point attractors, another is a one-point attractor accompanied by a cycle attractor. By the Conley index theory, we prove that there exist other isolated invariant sets besides the two attractors, and also obtain the possible components and their…
▽ More
Bistability is a ubiquitous phenomenon in life sciences. In this paper, two kinds of bistable structures in dynamical systems are studied: One is two one-point attractors, another is a one-point attractor accompanied by a cycle attractor. By the Conley index theory, we prove that there exist other isolated invariant sets besides the two attractors, and also obtain the possible components and their configuration. Moreover, we find that there is always a separatrix or cycle separatrix, which separates the two attractors. Finally, the biological meanings and implications of these structures are given and discussed.
△ Less
Submitted 7 March, 2021;
originally announced March 2021.
-
Non-amenable simple C*-algebras with tracial approximation
Authors:
Xuanlong Fu,
Huaxin Lin
Abstract:
We construct two types of unital separable simple $C^*$-alebras $A_z^{C_1}$ and $A_z^{C_2},$ one is exact but not amenable, and the other is non-exact. Both have the same Elliott invariant as the Jiang-Su algebra, namely, $A_z^{C_i}$ has a unique tracial state, $$(K_0(A_z^{C_i}), K_0(A_z^{C_i})_+, [1_{A_z^{C_i}} ])=(\mathbb Z, \mathbb Z_+,1)$$ and $K_{1}(A_z^{C_i})=\{0\}$ ($i=1,2$). We show that…
▽ More
We construct two types of unital separable simple $C^*$-alebras $A_z^{C_1}$ and $A_z^{C_2},$ one is exact but not amenable, and the other is non-exact. Both have the same Elliott invariant as the Jiang-Su algebra, namely, $A_z^{C_i}$ has a unique tracial state, $$(K_0(A_z^{C_i}), K_0(A_z^{C_i})_+, [1_{A_z^{C_i}} ])=(\mathbb Z, \mathbb Z_+,1)$$ and $K_{1}(A_z^{C_i})=\{0\}$ ($i=1,2$). We show that $A_z^{C_i}$ ($i=1,2$) is essentially tracially in the class of separable ${\cal Z}$-stable $C^*$-alebras of nuclear dimension 1. $A_z^{C_i}$ has stable rank one, strict comparison for positive elements and no 2-quasitrace other than the unique tracial state. We also produce models of unital separable simple non-exact $C^*$-alebras which are essentially tracially in the class of simple separable nuclear ${\cal Z}$-stable $C^*$-alebras and the models exhaust all possible weakly unperforated Elliott invariants. We also discuss some basic properties of essential tracial approximation.
△ Less
Submitted 19 January, 2021;
originally announced January 2021.
-
The homotopy classification of four-dimensional toric orbifolds
Authors:
Xin Fu,
Tseleung So,
Jongbaek Song
Abstract:
Let $X$ be a $4$-dimensional toric orbifold. If $H^3(X)$ has a non-trivial odd primary torsion, then we show that $X$ is homotopy equivalent to the wedge of a Moore space and a CW-complex. As a corollary, given two 4-dimensional toric orbifolds having no 2-torsion in the cohomology, we prove that they have the same homotopy type if and only their integral cohomology rings are isomorphic.
Let $X$ be a $4$-dimensional toric orbifold. If $H^3(X)$ has a non-trivial odd primary torsion, then we show that $X$ is homotopy equivalent to the wedge of a Moore space and a CW-complex. As a corollary, given two 4-dimensional toric orbifolds having no 2-torsion in the cohomology, we prove that they have the same homotopy type if and only their integral cohomology rings are isomorphic.
△ Less
Submitted 23 December, 2020; v1 submitted 26 November, 2020;
originally announced November 2020.
-
Lattice Theoretic Properties of Aprroximating Ideals
Authors:
Xianhui Fu,
Ivo Herzog,
Jiangsheng Hu,
Haiyan Zhu
Abstract:
It is proved that a finite intersection of special preenvelo** ideals in an exact category $({\mathcal A}; {\mathcal E})$ is a special preenvelo** ideal. Dually, a finite intersection of special precovering ideals is a special precovering ideal. A counterexample of Happel and Unger shows that the analogous statement about special preenvelo** subcategories does not hold in classical approxima…
▽ More
It is proved that a finite intersection of special preenvelo** ideals in an exact category $({\mathcal A}; {\mathcal E})$ is a special preenvelo** ideal. Dually, a finite intersection of special precovering ideals is a special precovering ideal. A counterexample of Happel and Unger shows that the analogous statement about special preenvelo** subcategories does not hold in classical approximation theory. If the exact category has exact coproducts, resp., exact products, these results extend to intersections of infinite families of special peenvelo**, resp., special precovering, ideals. These techniques yield the Bongartz-Eklof-Trlifaj Lemma: if $a \colon A \to B$ is a morphism in ${\mathcal A},$ then the ideal $a^{\perp}$ is special preenvelo**. This is an ideal version of the Eklof-Trlifaj Lemma, but the proof is based on that of Bongartz' Lemma. The main consequence is that the ideal cotorsion pair generated by a small ideal is complete.
△ Less
Submitted 28 July, 2020;
originally announced July 2020.
-
Sharp discontinuous traveling waves in a hyperbolic Keller--Segel equation
Authors:
Xiaoming Fu,
Quentin Griette,
Pierre Magal
Abstract:
In this work we describe a hyperbolic model with cell-cell repulsion with a dynamics in the population of cells. More precisely, we consider a population of cells producing a field (which we call "pressure") which induces a motion of the cells following the opposite of the gradient. The field indicates the local density of population and we assume that cells try to avoid crowded areas and prefer l…
▽ More
In this work we describe a hyperbolic model with cell-cell repulsion with a dynamics in the population of cells. More precisely, we consider a population of cells producing a field (which we call "pressure") which induces a motion of the cells following the opposite of the gradient. The field indicates the local density of population and we assume that cells try to avoid crowded areas and prefer locally empty spaces which are far away from the carrying capacity. We analyze the well-posedness property of the associated Cauchy problem on the real line. We start from bounded initial conditions and we consider some invariant properties of the initial conditions such as the continuity, smoothness and monotonicity. We also describe in detail the behavior of the level sets near the propagating boundary of the solution and we find that an asymptotic jump is formed on the solution for a natural class of initial conditions. Finally, we prove the existence of sharp traveling waves for this model, which are particular solutions traveling at a constant speed, and argue that sharp traveling waves are necessarily discontinuous. This analysis is confirmed by numerical simulations of the PDE problem.
△ Less
Submitted 8 September, 2020; v1 submitted 3 July, 2020;
originally announced July 2020.
-
Computing Large-Scale Matrix and Tensor Decomposition with Structured Factors: A Unified Nonconvex Optimization Perspective
Authors:
Xiao Fu,
Nico Vervliet,
Lieven De Lathauwer,
Kejun Huang,
Nicolas Gillis
Abstract:
The proposed article aims at offering a comprehensive tutorial for the computational aspects of structured matrix and tensor factorization. Unlike existing tutorials that mainly focus on {\it algorithmic procedures} for a small set of problems, e.g., nonnegativity or sparsity-constrained factorization, we take a {\it top-down} approach: we start with general optimization theory (e.g., inexact and…
▽ More
The proposed article aims at offering a comprehensive tutorial for the computational aspects of structured matrix and tensor factorization. Unlike existing tutorials that mainly focus on {\it algorithmic procedures} for a small set of problems, e.g., nonnegativity or sparsity-constrained factorization, we take a {\it top-down} approach: we start with general optimization theory (e.g., inexact and accelerated block coordinate descent, stochastic optimization, and Gauss-Newton methods) that covers a wide range of factorization problems with diverse constraints and regularization terms of engineering interest. Then, we go `under the hood' to showcase specific algorithm design under these introduced principles. We pay a particular attention to recent algorithmic developments in structured tensor and matrix factorization (e.g., random sketching and adaptive step size based stochastic optimization and structure-exploiting second-order algorithms), which are the state of the art---yet much less touched upon in the literature compared to {\it block coordinate descent} (BCD)-based methods. We expect that the article to have an educational values in the field of structured factorization and hope to stimulate more research in this important and exciting direction.
△ Less
Submitted 5 August, 2020; v1 submitted 15 June, 2020;
originally announced June 2020.
-
Tracial approximation in simple C*-algebras
Authors:
Xuanlong Fu,
Huaxin Lin
Abstract:
We revisit the notion of tracial approximation for unital simple C*-algebras. We show that a unital simple separable C*-algebra A is asymptotically tracially in the class of C*-algebras with finite nuclear dimension if and only if A is asymptotically tracially in the class of simple nuclear Z-stable C*-algebras.
We revisit the notion of tracial approximation for unital simple C*-algebras. We show that a unital simple separable C*-algebra A is asymptotically tracially in the class of C*-algebras with finite nuclear dimension if and only if A is asymptotically tracially in the class of simple nuclear Z-stable C*-algebras.
△ Less
Submitted 22 April, 2020;
originally announced April 2020.
-
Model category structures on multicomplexes
Authors:
Xin Fu,
Ai Guan,
Muriel Livernet,
Sarah Whitehouse
Abstract:
We present a family of model structures on the category of multicomplexes. There is a cofibrantly generated model structure in which the weak equivalences are the morphisms inducing an isomorphism at a fixed stage of an associated spectral sequence. Corresponding model structures are given for truncated versions of multicomplexes, interpolating between bicomplexes and multicomplexes. For a fixed s…
▽ More
We present a family of model structures on the category of multicomplexes. There is a cofibrantly generated model structure in which the weak equivalences are the morphisms inducing an isomorphism at a fixed stage of an associated spectral sequence. Corresponding model structures are given for truncated versions of multicomplexes, interpolating between bicomplexes and multicomplexes. For a fixed stage of the spectral sequence, the model structures on all these categories are shown to be Quillen equivalent.
△ Less
Submitted 12 January, 2021; v1 submitted 29 January, 2020;
originally announced January 2020.
-
Homotopy types of partial quotients for a certain case
Authors:
Xin Fu
Abstract:
In this paper, we determine the homotopy type of the quotient space $\mathcal{Z}_{Δ^k_m}/S^1_d$, given by the moment-angle complex $\mathcal{Z}_{Δ_m^k}$ under the diagonal circle action.
In this paper, we determine the homotopy type of the quotient space $\mathcal{Z}_{Δ^k_m}/S^1_d$, given by the moment-angle complex $\mathcal{Z}_{Δ_m^k}$ under the diagonal circle action.
△ Less
Submitted 7 December, 2019;
originally announced December 2019.
-
Affine reflection subgroups of Coxeter groups
Authors:
Xiang Fu,
Lawrence Reeves,
Linxiao Xu
Abstract:
In this paper we study affine reflection subgroups in arbitrary infinite Coxeter groups of finite rank. In particular, we study the distribution of roots of Coxeter groups in the root subsystems associated with affine reflection subgroups. We give a characterization of limit roots arising from affine reflection subgroups. We also give a characterization of when a Coxeter group may possess affine r…
▽ More
In this paper we study affine reflection subgroups in arbitrary infinite Coxeter groups of finite rank. In particular, we study the distribution of roots of Coxeter groups in the root subsystems associated with affine reflection subgroups. We give a characterization of limit roots arising from affine reflection subgroups. We also give a characterization of when a Coxeter group may possess affine reflection subgroups. We show that the intersection of the normalized isotropic cone (associated with the Tits representation of a Coxeter group) and the imaginary cone consists of limit roots closely related to affine reflection subgroups.
△ Less
Submitted 22 October, 2020; v1 submitted 17 November, 2019;
originally announced November 2019.
-
A cell-cell repulsion model on a hyperbolic Keller-Segel equation
Authors:
Xiaoming Fu,
Quentin Griette,
Pierre Magal
Abstract:
In this work, we discuss a cell-cell repulsion population dynamic model based on a hyperbolic Keller-Segel equation with two populations. This model can well describe the cell growth and dispersion in the cell co-culture experiment in the work of Pasquier et al. \cite{Pasquier2011}. With the notion of solutions integrated along the characteristics, we prove the existence and uniqueness of the solu…
▽ More
In this work, we discuss a cell-cell repulsion population dynamic model based on a hyperbolic Keller-Segel equation with two populations. This model can well describe the cell growth and dispersion in the cell co-culture experiment in the work of Pasquier et al. \cite{Pasquier2011}. With the notion of solutions integrated along the characteristics, we prove the existence and uniqueness of the solution and the segregation property of the two species. From a numerical perspective, we can also observe that the model admits a competitive exclusion (the results are different from the corresponding ODE model). More importantly, our model shows the complexity of the short term (6 days) co-cultured cell distribution depending on the initial distribution of each species. Through numerical simulations, the impact of the initial distribution on the population ratio lies in the initial total cell number and our study shows that the population ratio is not impacted by the law of initial distribution. We also find that a fast dispersion rate gives a short-term advantage while the vital dynamic contributes to a long-term population advantage.
△ Less
Submitted 25 July, 2019;
originally announced July 2019.
-
Open set condition and pseudo Hausdorff measure of self-affine IFSs
Authors:
Xiaoye Fu,
Jean-Pierre Gabardo,
Hua Qiu
Abstract:
Let $A$ be an $n\times n$ real expanding matrix and $\mathcal{D}$ be a finite subset of $\mathbb{R}^n$ with $0\in\mathcal{D}$. The family of maps $\{f_d(x)=A^{-1}(x+d)\}_{d\in\mathcal{D}}$ is called a self-affine iterated function system (self-affine IFS). The self-affine set $K=K(A,\mathcal{D})$ is the unique compact set determined by $(A, {\mathcal D})$ satisfying the set-valued equation…
▽ More
Let $A$ be an $n\times n$ real expanding matrix and $\mathcal{D}$ be a finite subset of $\mathbb{R}^n$ with $0\in\mathcal{D}$. The family of maps $\{f_d(x)=A^{-1}(x+d)\}_{d\in\mathcal{D}}$ is called a self-affine iterated function system (self-affine IFS). The self-affine set $K=K(A,\mathcal{D})$ is the unique compact set determined by $(A, {\mathcal D})$ satisfying the set-valued equation $K=\displaystyle\bigcup_{d\in\mathcal{D}}f_d(K)$. The number $s=n\,\ln(\# \mathcal{D})/\ln(q)$ with $q=|\det(A)|$, is the so-called pseudo similarity dimension of $K$. As shown by He and Lau, one can associate with $A$ and any number $s\ge 0$ a natural pseudo Hausdorff measure denoted by $\mathcal{H}_w^s.$ In this paper, we show that, if $s$ is chosen to be the pseudo similarity dimension of $K$, then the condition $\mathcal{H}_w^s(K)> 0$ holds if and only if the IFS $\{f_d\}_{d\in\mathcal{D}}$ satisfies the open set condition (OSC). This extends the well-known result for the self-similar case that the OSC is equivalent to $K$ having positive Hausdorff measure $\mathcal{H}^s$ for a suitable $s$. Furthermore, we relate the exact value of pseudo Hausdorff measure $\mathcal{H}_w^s(K)$ to a notion of upper $s$-density with respect to the pseudo norm $w(x)$ associated with $A$ for the measure $μ=\lim\limits_{M\to\infty}\sum\limits_{d_0,\dotsc,d_{M-1}\in\mathcal{D}}δ_{d_0 + Ad_1 + \dotsb + A^{M-1}d_{M-1}}$ in the case that $\#\mathcal{D}\le\lvert\det A\rvert$.
△ Less
Submitted 27 February, 2019;
originally announced March 2019.
-
On Spectral Cantor-Moran measures and a variant of Bourgain's sum of sine problem
Authors:
Li-Xiang An,
Xiaoye Fu,
Chun-Kit Lai
Abstract:
In this paper, we show that if we have a sequence of Hadamard triples $\{(N_n,B_n,L_n)\}$ with $B_n\subset \{0,1,..,N_n-1\}$ for $n=1,2,...$, except an extreme case, then the associated Cantor-Moran measure $$ \begin{aligned} μ= μ(N_n,B_n) =& δ_{\frac{1}{N_1}B_1}\astδ_{\frac{1}{N_1N_2}B_2}\ast δ_{\frac{1}{N_1N_2N_3}B_3}\ast...\\ =& μ_n\astμ_{>n} \end{aligned} $$ with support inside $[0,1]$ always…
▽ More
In this paper, we show that if we have a sequence of Hadamard triples $\{(N_n,B_n,L_n)\}$ with $B_n\subset \{0,1,..,N_n-1\}$ for $n=1,2,...$, except an extreme case, then the associated Cantor-Moran measure $$ \begin{aligned} μ= μ(N_n,B_n) =& δ_{\frac{1}{N_1}B_1}\astδ_{\frac{1}{N_1N_2}B_2}\ast δ_{\frac{1}{N_1N_2N_3}B_3}\ast...\\ =& μ_n\astμ_{>n} \end{aligned} $$ with support inside $[0,1]$ always admits an exponential orthonormal basis $E(Λ) = \{e^{2πi λx}:λ\inΛ\}$ for $L^2(μ)$, where $Λ$ is obtained from suitably modifying $L_n$. Here, $μ_n$ is the convolution of the first $n$ Dirac measures and $μ_{>n}$ denotes the tail-term.
We show that the completeness of $E(Λ)$ in general depends on the ``equi-positivity" of the sequence of the pull-backed tail of the Cantor-Moran measure $ν_{>n}(\cdot) = μ_{>n}((N_1...N_n)^{-1}(\cdot))$. Such equi-positivity can be analyzed by the integral periodic zero set of the weak limit of $\{ν_{>n}\}$. This result offers a new conceptual understanding of the completeness of exponential functions and it improves significantly many partial results studied by recent research, whose focus has been specifically on $\#B_n\le 4$.
Using the Bourgain's example that a sum of sine can be asymptotically small, we shows that, in the extreme case, there exists some Cantor-Moran measure such that the equi-positive condition fails and the Fourier transform of the associated $ν_{>n}$ uniformly converges on some unbounded set.
△ Less
Submitted 27 January, 2019;
originally announced January 2019.
-
Asymptotic behavior of a nonlocal advection system with two populations
Authors:
Xiaoming Fu,
Pierre Magal
Abstract:
In this paper, we consider a nonlocal advection model for two populations on a bounded domain. The first part of the paper is devoted to the existence and uniqueness of solutions and the associated semi-flow properties. Here we use the notion of solution integrated along the characteristics. Next, by proving segregation property, we construct an energy functional to investigate the asymptotic beha…
▽ More
In this paper, we consider a nonlocal advection model for two populations on a bounded domain. The first part of the paper is devoted to the existence and uniqueness of solutions and the associated semi-flow properties. Here we use the notion of solution integrated along the characteristics. Next, by proving segregation property, we construct an energy functional to investigate the asymptotic behavior of the solution. In order to get some compactness of the positive orbit, we use the narrow convergence in the space of Young measures. By using this idea, we get a description of the asymptotic behavior of the solution in the space of Young measures. The last section of the paper is devoted to numerical simulations, which confirm and complement our theoretical results.
△ Less
Submitted 17 December, 2018;
originally announced December 2018.
-
Neighbourhoods in root systems of infinite Coxeter groups
Authors:
Yuhan Cai,
Xiang Fu,
Lawrence Reeves
Abstract:
Let $W$ be a finitely generated infinite Coxeter group, with $Φ$ and $Π$ being the corresponding root system and set of simple roots respectively. It has been observed by Hohlweg et la that the projections of elements of $Φ$ onto suitably chosen hyperplanes, called \emph{normalized roots}, are contained in the convex hull of $Π$ (which is a compact set), and hence the set of all normalized roots m…
▽ More
Let $W$ be a finitely generated infinite Coxeter group, with $Φ$ and $Π$ being the corresponding root system and set of simple roots respectively. It has been observed by Hohlweg et la that the projections of elements of $Φ$ onto suitably chosen hyperplanes, called \emph{normalized roots}, are contained in the convex hull of $Π$ (which is a compact set), and hence the set of all normalized roots may exhibit interesting asymptotical behaviours. In this paper we investigate the topology of the limit set of the normalized roots and demonstrate a natural system of neighbourhoods around each limit point arising from a non-affine infinite dihedral reflection subgroup of $W$.
△ Less
Submitted 13 November, 2018;
originally announced November 2018.