-
Gravitating vortices and Symplectic Reduction by Stages
Authors:
L. Álvarez-Cónsul,
M. Garcia-Fernandez,
O. García-Prada,
V. P. **ali,
C. -J. Yao
Abstract:
We undertake a novel approach to the existence problem for gravitating vortices on a Riemann surface based on symplectic reduction by stages, which seems to be new in the PDE as well as the gauge theory literature. The main technical tool for our study is the reduced $α$-K-energy, for which we establish convexity properties by means of finite-energy pluripotential theory, as recently applied to th…
▽ More
We undertake a novel approach to the existence problem for gravitating vortices on a Riemann surface based on symplectic reduction by stages, which seems to be new in the PDE as well as the gauge theory literature. The main technical tool for our study is the reduced $α$-K-energy, for which we establish convexity properties by means of finite-energy pluripotential theory, as recently applied to the study of constant scalar curvature Kähler metrics. Using these methods, we prove that the existence of solutions to the gravitating vortex equations on the sphere implies the polystability of the effective divisor defined by the zeroes of the Higgs field. This approach also enables us to establish the uniqueness of gravitating vortices in any admissible Kähler class, in the absence of automorphisms. Lastly, we also prove the existence of solutions for the gravitating vortex equations for genus $g\geq 1$ for certain ranges of the coupling constant $α$ and the volume.
△ Less
Submitted 5 June, 2024;
originally announced June 2024.
-
Convergence of the hypersymplectic flow on $T^4$ with $T^3$-symmetry
Authors:
Joel Fine,
Weiyong He,
Chengjian Yao
Abstract:
A hypersymplectic structure on a 4-manifold is a triple $ω_1, ω_2, ω_3$ of 2-forms for which every non-trivial linear combination $a^1ω_1 + a^2 ω_2 + a^3 ω_3$ is a symplectic form. Donaldson has conjectured that when the underlying manifold is compact, any such structure is isotopic in its cohomolgy class to a hyperkähler triple. We prove this conjecture for a hypersymplectic structure on $T^4$ wh…
▽ More
A hypersymplectic structure on a 4-manifold is a triple $ω_1, ω_2, ω_3$ of 2-forms for which every non-trivial linear combination $a^1ω_1 + a^2 ω_2 + a^3 ω_3$ is a symplectic form. Donaldson has conjectured that when the underlying manifold is compact, any such structure is isotopic in its cohomolgy class to a hyperkähler triple. We prove this conjecture for a hypersymplectic structure on $T^4$ which is invariant under the standard $T^3$ action. The proof uses the hypersymplectic flow, a geometric flow which attempts to deform a given hypersymplectic structure to a hyperkähler triple. We prove that on $T^4$, when starting from a $T^3$-invariant hypersymplectic structure, the flow exists for all time and converges modulo diffeomorphisms to the unique cohomologous hyperkähler structure.
△ Less
Submitted 23 April, 2024;
originally announced April 2024.
-
Two-scale Neural Networks for Partial Differential Equations with Small Parameters
Authors:
Qiao Zhuang,
Chris Ziyi Yao,
Zhongqiang Zhang,
George Em Karniadakis
Abstract:
We propose a two-scale neural network method for solving partial differential equations (PDEs) with small parameters using physics-informed neural networks (PINNs). We directly incorporate the small parameters into the architecture of neural networks. The proposed method enables solving PDEs with small parameters in a simple fashion, without adding Fourier features or other computationally taxing…
▽ More
We propose a two-scale neural network method for solving partial differential equations (PDEs) with small parameters using physics-informed neural networks (PINNs). We directly incorporate the small parameters into the architecture of neural networks. The proposed method enables solving PDEs with small parameters in a simple fashion, without adding Fourier features or other computationally taxing searches of truncation parameters. Various numerical examples demonstrate reasonable accuracy in capturing features of large derivatives in the solutions caused by small parameters.
△ Less
Submitted 27 February, 2024;
originally announced February 2024.
-
A Survey of a Random Matrix Model for a Family of Cusp Forms
Authors:
Owen Barrett,
Zoë X. Batterman,
Aditya Jambhale,
Steven J. Miller,
Akash L. Narayanan,
Kishan Sharma,
Chris Yao
Abstract:
The Katz-Sarnak philosophy states that statistics of zeros of $L$-function families near the central point as the conductors tend to infinity agree with those of eigenvalues of random matrix ensembles as the matrix size tends to infinity. While numerous results support this conjecture, S. J. Miller observed that for finite conductors, very different behavior can occur for zeros near the central po…
▽ More
The Katz-Sarnak philosophy states that statistics of zeros of $L$-function families near the central point as the conductors tend to infinity agree with those of eigenvalues of random matrix ensembles as the matrix size tends to infinity. While numerous results support this conjecture, S. J. Miller observed that for finite conductors, very different behavior can occur for zeros near the central point in elliptic curve families. This led to the excised model of Dueñez, Huynh, Keating, Miller, and Snaith, whose predictions for quadratic twists of a given elliptic curve are beautifully fit by the data. The key ingredients are relating the discretization of central values of the $L$-functions to excising matrices based on the value of the characteristic polynomials at 1 and using lower order terms (in statistics such as the one-level density and pair-correlation) to adjust the matrix size. We discuss recent successes by the authors in extending this model to a family of quadratic twists of finite conductor of a given holomorphic cuspidal newform of level an odd prime level. In particular, we predict very little repulsion for forms with weight greater than 2.
△ Less
Submitted 17 April, 2024; v1 submitted 28 January, 2024;
originally announced February 2024.
-
Limiting Behavior in Missing Sums of Sumsets
Authors:
Aditya Jambhale,
Rauan Kaldybayev,
Steven J. Miller,
Chris Yao
Abstract:
We study $|A + A|$ as a random variable, where $A \subseteq \{0, \dots, N\}$ is a random subset such that each $0 \le n \le N$ is included with probability $0 < p < 1$, and where $A + A$ is the set of sums $a + b$ for $a,b$ in $A$. Lazarev, Miller, and O'Bryant studied the distribution of $2N + 1 - |A + A|$, the number of summands not represented in $A + A$ when $p = 1/2$. A recent paper by Chu, K…
▽ More
We study $|A + A|$ as a random variable, where $A \subseteq \{0, \dots, N\}$ is a random subset such that each $0 \le n \le N$ is included with probability $0 < p < 1$, and where $A + A$ is the set of sums $a + b$ for $a,b$ in $A$. Lazarev, Miller, and O'Bryant studied the distribution of $2N + 1 - |A + A|$, the number of summands not represented in $A + A$ when $p = 1/2$. A recent paper by Chu, King, Luntzlara, Martinez, Miller, Shao, Sun, and Xu generalizes this to all $p\in (0,1)$, calculating the first and second moments of the number of missing summands and establishing exponential upper and lower bounds on the probability of missing exactly $n$ summands, mostly working in the limit of large $N$. We provide exponential bounds on the probability of missing at least $n$ summands, find another expression for the second moment of the number of missing summands, extract its leading-order behavior in the limit of small $p$, and show that the variance grows asymptotically slower than the mean, proving that for small $p$, the number of missing summands is very likely to be near its expected value.
△ Less
Submitted 1 February, 2024; v1 submitted 30 January, 2024;
originally announced January 2024.
-
Subsonic Euler flows in a three-dimensional finitely long cylinder with arbitrary cross section
Authors:
Shangkun Weng,
Changkui Yao
Abstract:
This paper concerns the well-posedness of subsonic flows in a three-dimensional finitely long cylinder with arbitrary cross section. We establish the existence and uniqueness of subsonic flows in the Sobolev space by prescribing the normal component of the momentum, the vorticity, the entropy, the Bernoulli's quantity at the entrance and the normal component of the momentum at the exit. One of the…
▽ More
This paper concerns the well-posedness of subsonic flows in a three-dimensional finitely long cylinder with arbitrary cross section. We establish the existence and uniqueness of subsonic flows in the Sobolev space by prescribing the normal component of the momentum, the vorticity, the entropy, the Bernoulli's quantity at the entrance and the normal component of the momentum at the exit. One of the key points in the analysis is to utilize the deformation-curl decomposition for the steady Euler system introduced in \cite{WX19} to deal with the hyperbolic and elliptic modes. Another one is to employ the separation of variables to improve the regularity of solutions to a deformation-curl system near the intersection between the entrance and exit with the cylinder wall.
△ Less
Submitted 13 January, 2024;
originally announced January 2024.
-
Applications of Moments of Dirichlet Coefficients in Elliptic Curve Families
Authors:
Zoë Batterman,
Aditya Jambhale,
Steven J. Miller,
Akash L. Narayanan,
Kishan Sharma,
Andrew Yang,
Chris Yao
Abstract:
The moments of the coefficients of elliptic curve L-functions are related to numerous arithmetic problems. Rosen and Silverman proved a conjecture of Nagao relating the first moment of one-parameter families satisfying Tate's conjecture to the rank of the corresponding elliptic surface over Q(T); one can also construct families of moderate rank by finding families with large first moments. Michel…
▽ More
The moments of the coefficients of elliptic curve L-functions are related to numerous arithmetic problems. Rosen and Silverman proved a conjecture of Nagao relating the first moment of one-parameter families satisfying Tate's conjecture to the rank of the corresponding elliptic surface over Q(T); one can also construct families of moderate rank by finding families with large first moments. Michel proved that if j(T) is not constant, then the second moment of the family is of size p^2 + O(p^(3/2)); these two moments show that for suitably small support the behavior of zeros near the central point agree with that of eigenvalues from random matrix ensembles, with the higher moments impacting the rate of convergence.
In his thesis, Miller noticed a negative bias in the second moment of every one-parameter family of elliptic curves over the rationals whose second moment had a calculable closed-form expression, specifically the first lower order term which does not average to zero is on average negative. This Bias Conjecture is confirmed for many families; however, these are highly non-generic families whose resulting Legendre sums can be determined. Inspired by the recent successes by Yang-Hui He, Kyu-Hwan Lee, Thomas Oliver, Alexey Pozdnyakov and others in investigations of murmurations of elliptic curve coefficients with machine learning techniques, we pose a similar problem for trying to understand the Bias Conjecture. As a start to this program, we numerically investigate the Bias Conjecture for a family whose bias is positive for half the primes. Since the numerics do not offer conclusive evidence that negative bias for the other half is enough to overwhelm the positive bias, the Bias Conjecture cannot be verified for the family.
△ Less
Submitted 17 June, 2024; v1 submitted 28 November, 2023;
originally announced November 2023.
-
The Reversed Zeckendorf Game
Authors:
Zoë X. Batterman,
Aditya Jambhale,
Steven J. Miller,
Akash L. Narayanan,
Kishan Sharma,
Andrew K. Yang,
Chris Yao
Abstract:
Zeckendorf proved that every natural number $n$ can be expressed uniquely as a sum of non-consecutive Fibonacci numbers, called its Zeckendorf decomposition. Baird-Smith, Epstein, Flint, and Miller created the Zeckendorf game, a two-player game played on partitions of $n$ into Fibonacci numbers which always terminates at a Zeckendorf decomposition, and proved that Player 2 has a winning strategy f…
▽ More
Zeckendorf proved that every natural number $n$ can be expressed uniquely as a sum of non-consecutive Fibonacci numbers, called its Zeckendorf decomposition. Baird-Smith, Epstein, Flint, and Miller created the Zeckendorf game, a two-player game played on partitions of $n$ into Fibonacci numbers which always terminates at a Zeckendorf decomposition, and proved that Player 2 has a winning strategy for $n\geq 3$. Since their proof was non-constructive, other authors have studied the game to find a constructive winning strategy, and lacking success there turned to related problems. For example, Cheigh, Moura, Jeong, Duke, Milgrim, Miller, and Ngamlamai studied minimum and maximum game lengths and randomly played games. We explore a new direction and introduce the reversed Zeckendorf game, which starts at the ending state of the Zeckendorf game and flips all the moves, so the reversed game ends with all pieces in the first bin. We show that Player 1 has a winning strategy for $n = F_{i+1} + F_{i-2}$ and solve various modified games.
△ Less
Submitted 4 October, 2023; v1 submitted 22 September, 2023;
originally announced September 2023.
-
The dissolving limit and large volume limit of Einstein-Bogomol'nyi metrics
Authors:
Chengjian Yao
Abstract:
We study the limits of Einstein-Bogomol'nyi metrics on $\mathbf{P}^1$, which is the solution to a dimensional reduction of Einstein-Maxwell-Higgs system in dimension four, in two regimes. In one regime called the "dissolving limit" where the volume of the metrics is approaching the admissible lower bound, it exhibits a pattern that all the vortices are dissolving similar to the Bradlow limit in th…
▽ More
We study the limits of Einstein-Bogomol'nyi metrics on $\mathbf{P}^1$, which is the solution to a dimensional reduction of Einstein-Maxwell-Higgs system in dimension four, in two regimes. In one regime called the "dissolving limit" where the volume of the metrics is approaching the admissible lower bound, it exhibits a pattern that all the vortices are dissolving similar to the Bradlow limit in the study of vortices on Riemann surfaces. In another regime called the "large volume limit" where the volume of of the metrics is approaching infinity, the magnetic field is concentrating around the zeros of the Higgs field. In the meantime, the volume-normalized underlying metric is approaching the Euclidean cone metric determined by the Higgs field in the case of stable Higgs field. Moreover, by studying the large volume limit of Yang's solution for a strictly polystable Higgs field, for each natural number $N'$ we recover the Einstein-Bogomol'nyi metrics on $\mathbf{C}$ which is asymptotically cylindrical at exponential rate and with total string number $N'$ firstly discovered by Linet and Yang.
△ Less
Submitted 18 August, 2023;
originally announced August 2023.
-
Some invariants of $U(1,1;\mathbb{H})$ and diagonalization
Authors:
Cailing Yao,
Bingzhe Hou,
Xiaoqi Feng
Abstract:
Denote by $\mathbb{H}$ the set of all quaternions. We are interested in the group $U(1,1;\mathbb{H})$, which is a subgroup of $2\times 2$ quaternionic matrix group and is sometimes called $Sp(1,1)$. As well known, $U(1,1;\mathbb{H})$ corresponds to the quaternionic Möbius transformations on the unit ball in $\mathbb{H}$. In this article, some similar invariants on $U(1,1;\mathbb{H})$ are discussed…
▽ More
Denote by $\mathbb{H}$ the set of all quaternions. We are interested in the group $U(1,1;\mathbb{H})$, which is a subgroup of $2\times 2$ quaternionic matrix group and is sometimes called $Sp(1,1)$. As well known, $U(1,1;\mathbb{H})$ corresponds to the quaternionic Möbius transformations on the unit ball in $\mathbb{H}$. In this article, some similar invariants on $U(1,1;\mathbb{H})$ are discussed. Our main result shows that each matrix $T\in U(1,1;\mathbb{H})$, which corresponds to an elliptic quaternionic Möbius transformation $g_T(z)$, could be $U(1,1;\mathbb{H})$-similar to a diagonal matrix.
△ Less
Submitted 21 June, 2023;
originally announced June 2023.
-
A globally convergent difference-of-convex algorithmic framework and application to log-determinant optimization problems
Authors:
Chaorui Yao,
Xin Jiang
Abstract:
The difference-of-convex algorithm (DCA) is a conceptually simple method for the minimization of (possibly) nonconvex functions that are expressed as the difference of two convex functions. At each iteration, DCA constructs a global overestimator of the objective and solves the resulting convex subproblem. Despite its conceptual simplicity, the theoretical understanding and algorithmic framework o…
▽ More
The difference-of-convex algorithm (DCA) is a conceptually simple method for the minimization of (possibly) nonconvex functions that are expressed as the difference of two convex functions. At each iteration, DCA constructs a global overestimator of the objective and solves the resulting convex subproblem. Despite its conceptual simplicity, the theoretical understanding and algorithmic framework of DCA needs further investigation. In this paper, global convergence of DCA at a linear rate is established under an extended Polyak--Łojasiewicz condition. The proposed condition holds for a class of DC programs with a bounded, closed, and convex constraint set, for which global convergence of DCA cannot be covered by existing analyses. Moreover, the DCProx computational framework is proposed, in which the DCA subproblems are solved by a primal--dual proximal algorithm with Bregman distances. With a suitable choice of Bregman distances, DCProx has simple update rules with cheap per-iteration complexity. As an application, DCA is applied to several fundamental problems in network information theory, for which no existing numerical methods are able to compute the global optimum. For these problems, our analysis proves the global convergence of DCA, and more importantly, DCProx solves the DCA subproblems efficiently. Numerical experiments are conducted to verify the efficiency of DCProx.
△ Less
Submitted 3 June, 2023;
originally announced June 2023.
-
Improved Projection-free Online Continuous Submodular Maximization
Authors:
Yucheng Liao,
Yuanyu Wan,
Chang Yao,
Mingli Song
Abstract:
We investigate the problem of online learning with monotone and continuous DR-submodular reward functions, which has received great attention recently. To efficiently handle this problem, especially in the case with complicated decision sets, previous studies have proposed an efficient projection-free algorithm called Mono-Frank-Wolfe (Mono-FW) using $O(T)$ gradient evaluations and linear optimiza…
▽ More
We investigate the problem of online learning with monotone and continuous DR-submodular reward functions, which has received great attention recently. To efficiently handle this problem, especially in the case with complicated decision sets, previous studies have proposed an efficient projection-free algorithm called Mono-Frank-Wolfe (Mono-FW) using $O(T)$ gradient evaluations and linear optimization steps in total. However, it only attains a $(1-1/e)$-regret bound of $O(T^{4/5})$. In this paper, we propose an improved projection-free algorithm, namely POBGA, which reduces the regret bound to $O(T^{3/4})$ while kee** the same computational complexity as Mono-FW. Instead of modifying Mono-FW, our key idea is to make a novel combination of a projection-based algorithm called online boosting gradient ascent, an infeasible projection technique, and a blocking technique. Furthermore, we consider the decentralized setting and develop a variant of POBGA, which not only reduces the current best regret bound of efficient projection-free algorithms for this setting from $O(T^{4/5})$ to $O(T^{3/4})$, but also reduces the total communication complexity from $O(T)$ to $O(\sqrt{T})$.
△ Less
Submitted 28 May, 2023;
originally announced May 2023.
-
Topological regularity for solutions to the generalised Hopf equation
Authors:
Gaven Martin,
Cong Yao
Abstract:
The generalised Hopf equation is the first order nonlinear equation with data $Φ$ a holomorphic functions and $η\geq 1$ a positive weight, \[ h_w\,\overline{h_\wbar}\,η(w) = Φ.\] The Hopf equation is the special case $η(w)=\tildeη(h(w))$ and reflects that $h$ is harmonic with respect to the conformal metric $\sqrt{\tildeη(z)}|dz|$. This article obtains conditions on the data to ensure that a solut…
▽ More
The generalised Hopf equation is the first order nonlinear equation with data $Φ$ a holomorphic functions and $η\geq 1$ a positive weight, \[ h_w\,\overline{h_\wbar}\,η(w) = Φ.\] The Hopf equation is the special case $η(w)=\tildeη(h(w))$ and reflects that $h$ is harmonic with respect to the conformal metric $\sqrt{\tildeη(z)}|dz|$. This article obtains conditions on the data to ensure that a solution is open and discrete. We also prove a strong uniqueness result.
△ Less
Submitted 28 April, 2023;
originally announced April 2023.
-
Limit of the Wulff crystal when approaching criticality for isoperimetry in 2D percolation
Authors:
Chang-Long Yao
Abstract:
We consider isoperimetric sets, i.e., sets with minimal vertex boundary for a prescribed volume, of the infinite cluster of supercritical site percolation on the triangular lattice. Let $p$ be the percolation parameter and let $p_c$ be the critical point. By adapting the proof of Biskup, Louidor, Procaccia and Rosenthal [6] for isoperimetry in bond percolation on the square lattice, we show that t…
▽ More
We consider isoperimetric sets, i.e., sets with minimal vertex boundary for a prescribed volume, of the infinite cluster of supercritical site percolation on the triangular lattice. Let $p$ be the percolation parameter and let $p_c$ be the critical point. By adapting the proof of Biskup, Louidor, Procaccia and Rosenthal [6] for isoperimetry in bond percolation on the square lattice, we show that the isoperimetric sets, when suitably rescaled, converge almost surely to a translation of the normalized Wulff crystal $\widehat{W}_p$. More importantly, we prove that $\widehat{W}_p$ tends to a Euclidean disk as $p\downarrow p_c$. This settles the site version of a conjecture proposed in [6]. A key input to the proof is the convergence of the limit shapes for near-critical Bernoulli first-passage percolation proved by the author recently.
△ Less
Submitted 22 November, 2023; v1 submitted 8 March, 2023;
originally announced March 2023.
-
On the uniqueness of extremal map**s of finite distortion
Authors:
Gaven Martin,
Cong Yao
Abstract:
For an arbitrary convex function $Ψ:[1,\infty) \to [1,\infty)$, we consider uniqueness in the following two related extremal problems:
Problem A boundary value problem: Establish the existence of, and describe the map** $f$, achieving \[ \inf_f \Big\{ \int_{\Bbb D} Ψ({\Bbb K}(z,f))\; dz : f:\bar{\Bbb D} \to \bar{\Bbb D} \; \mbox{a homeomorphism in $W^{1,1}_{0}({\Bbb D})+f_0$} \Big\}. \] Here t…
▽ More
For an arbitrary convex function $Ψ:[1,\infty) \to [1,\infty)$, we consider uniqueness in the following two related extremal problems:
Problem A boundary value problem: Establish the existence of, and describe the map** $f$, achieving \[ \inf_f \Big\{ \int_{\Bbb D} Ψ({\Bbb K}(z,f))\; dz : f:\bar{\Bbb D} \to \bar{\Bbb D} \; \mbox{a homeomorphism in $W^{1,1}_{0}({\Bbb D})+f_0$} \Big\}. \] Here the data $f_0:\bar{\Bbb D} \to \bar{\Bbb D}$ is a homeomorphism of finite distortion with $\int_{\Bbb D} Ψ({\Bbb K}(z,f_0))\; dz<\infty$ -- a barrier. Next, given two homeomorphic Riemann surfaces $R$ and $S$ and data $f_0:R \to S$ a diffeomorphism.
\noindent{\bf Problem B} {\em (extremal in homotopy class):} Establish the existence of, and describe the map** $f$, achieving \[ \inf_f \Big\{ \int_R Ψ({\Bbb K}(z,f))\; \;dσ(z) : \mbox{$f$ a homeomorphism homotopic to $f_0$} \Big\}. \]
There are two basic obstructions to existence and regularity. These are first, the existence of an Ahlfors-Hopf differential and second that the minimiser is a homeomorphism. When these restrictions are met (as they often can be) we show uniqueness is assured. These results are established through a generalisation the classical Reich-Strebel inequalities to this variational setting.
△ Less
Submitted 12 July, 2022;
originally announced July 2022.
-
Towards Data-Algorithm Dependent Generalization: a Case Study on Overparameterized Linear Regression
Authors:
**g Xu,
Jiaye Teng,
Yang Yuan,
Andrew Chi-Chih Yao
Abstract:
One of the major open problems in machine learning is to characterize generalization in the overparameterized regime, where most traditional generalization bounds become inconsistent even for overparameterized linear regression. In many scenarios, this failure can be attributed to obscuring the crucial interplay between the training algorithm and the underlying data distribution. This paper demons…
▽ More
One of the major open problems in machine learning is to characterize generalization in the overparameterized regime, where most traditional generalization bounds become inconsistent even for overparameterized linear regression. In many scenarios, this failure can be attributed to obscuring the crucial interplay between the training algorithm and the underlying data distribution. This paper demonstrate that the generalization behavior of overparameterized model should be analyzed in a both data-relevant and algorithm-relevant manner. To make a formal characterization, We introduce a notion called data-algorithm compatibility, which considers the generalization behavior of the entire data-dependent training trajectory, instead of traditional last-iterate analysis. We validate our claim by studying the setting of solving overparameterized linear regression with gradient descent. Specifically, we perform a data-dependent trajectory analysis and derive a sufficient condition for compatibility in such a setting. Our theoretical results demonstrate that if we take early stop** iterates into consideration, generalization can hold with significantly weaker restrictions on the problem instance than the previous last-iterate analysis.
△ Less
Submitted 21 November, 2023; v1 submitted 12 February, 2022;
originally announced February 2022.
-
Obstructions to the existence of solutions of the self-dual Einstein-Maxwell-Higgs equations on a compact surface
Authors:
Luis Álvarez-Cónsul,
Mario Garcia-Fernandez,
Oscar García-Prada,
Vamsi Pritham **ali,
Chengjian Yao
Abstract:
In this note we present an obstruction to the existence of solutions to the self-dual Einstein-Maxwell-Higgs equations on a compact surface, which depends on the multiplicities of the zeroes of the \emph{Higgs field} and the \emph{vortex number} $N$. In particular, we exhibit infinitely many examples of Higgs fields for which solutions cannot exist.
In this note we present an obstruction to the existence of solutions to the self-dual Einstein-Maxwell-Higgs equations on a compact surface, which depends on the multiplicities of the zeroes of the \emph{Higgs field} and the \emph{vortex number} $N$. In particular, we exhibit infinitely many examples of Higgs fields for which solutions cannot exist.
△ Less
Submitted 10 January, 2022;
originally announced January 2022.
-
Joint Routing and Charging Problem of Electric Vehicles with Incentive-aware Customers Considering Spatio-temporal Charging Prices
Authors:
Canqi Yao,
Shibo Chen,
Mauro Salazar,
Zaiyue Yang
Abstract:
This paper investigates the scheduling problem of a fleet of electric vehicles, providing mobility as a service to a set of time-specified customers, where the operator needs to solve the routing and charging problem jointly for each EV. Hereby we consider incentive-aware customers and propose that the operator offers monetary incentives to customers in exchange for time flexibility. In this way,…
▽ More
This paper investigates the scheduling problem of a fleet of electric vehicles, providing mobility as a service to a set of time-specified customers, where the operator needs to solve the routing and charging problem jointly for each EV. Hereby we consider incentive-aware customers and propose that the operator offers monetary incentives to customers in exchange for time flexibility. In this way, the fleet operator can achieve a routing and charging schedule with lower costs, whilst the customers receive monetary compensation for their flexibility. Specifically, we first propose a bi-level optimization model whereby the fleet operator optimizes the routing and charging schedule accounting for the spatio-temporal varying charging price, jointly with a monetary incentive to reimburse the delivery time flexibility experienced by the customers. Concurrently the customers choose their own time flexibility by minimizing their own cost. Second, we cope with the computational burden coming from this nonlinear bi-level optimization model with an accurate reformulation approach consisting of the KKT optimality conditions, a Big-M-based linearization method, and the zero duality gap of convex optimization problems. This way, we convert the proposed problem into a single-level optimization problem, which can be solved by a strengthened generalized Benders decomposition method holding a faster convergence rate than the generalized Benders decomposition method. To evaluate the effectiveness of the proposed mathematical model, we carry out numerous simulation experiments by using the VRP-REP data of Belgium. The numerical results showcase that the proposed mathematical model can reduce the delivery fees for the customers together with the cost of operation incurred by the fleet operator.
△ Less
Submitted 26 May, 2022; v1 submitted 6 January, 2022;
originally announced January 2022.
-
Automorphisms of the fine curve graph
Authors:
Adele Long,
Dan Margalit,
Anna Pham,
Yvon Verberne,
Claudia Yao
Abstract:
Building on work of Farb and the second author, we prove that the group of automorphisms of the fine curve graph for a surface is isomorphic to the group of homeomorphisms of the surface. This theorem is analogous to the seminal result of Ivanov that the group of automorphisms of the (classical) curve graph is isomorphic to the extended map** class group of the corresponding surface.
Building on work of Farb and the second author, we prove that the group of automorphisms of the fine curve graph for a surface is isomorphic to the group of homeomorphisms of the surface. This theorem is analogous to the seminal result of Ivanov that the group of automorphisms of the (classical) curve graph is isomorphic to the extended map** class group of the corresponding surface.
△ Less
Submitted 10 August, 2021;
originally announced August 2021.
-
The Teichmüller problem for $L^p$-means of distortion
Authors:
Gaven J. Martin,
Cong Yao
Abstract:
Teichmüller's problem from 1944 is this: Given $x\in [0,1)$ find and describe the extremal quasiconformal map $f:\ID\to\ID$, $f|\partial \ID=identity$ and $f(0)=-x\leq 0$. We consider this problem in the setting of minimisers of $L^p$-mean distortion. The classical result is that there is an extremal map of Teichmüller type with associated holomorphic quadratic differential having a pole of order…
▽ More
Teichmüller's problem from 1944 is this: Given $x\in [0,1)$ find and describe the extremal quasiconformal map $f:\ID\to\ID$, $f|\partial \ID=identity$ and $f(0)=-x\leq 0$. We consider this problem in the setting of minimisers of $L^p$-mean distortion. The classical result is that there is an extremal map of Teichmüller type with associated holomorphic quadratic differential having a pole of order one at $x$, if $x\neq 0$. For the $L^p$-norm, when $p=1$ it is known that there can be no locally quasiconformal minimiser unless $x=0$. Here we show that for $1\leq p<\infty$ there is a minimiser in a weak class and an associated Ahlfors-Hopf holomorphic quadratic differential with a pole of order $1$ at $f(0)=r$. However, this minimiser cannot be in $W^{1,2}_{loc}(\ID)$ unless $r=0$ and $f=identity$. Hence there is no locally quasiconformal minimiser. A similar statement holds for minimsers of the exponential norm of distortion. We also use our earlier work to show that as $p\to\infty$, the weak $L^p$-minimisers converge locally uniformly in $\ID$ to the extremal quasiconformal map**, and that as $p\to 1$ the weak $L^p$-minimisers converge locally uniformly in $\ID$ to the identity.
△ Less
Submitted 15 July, 2021;
originally announced July 2021.
-
Variable metric backward-forward dynamical systems for monotone inclusion problems
Authors:
Pankaj Gautam,
D. R. Sahu,
J. C. Yao
Abstract:
This paper investigates first-order variable metric backward forward dynamical systems associated with monotone inclusion and convex minimization problems in real Hilbert space. The operators are chosen so that the backward-forward dynamical system is closely related to the forward-backward dynamical system and has the same computational complexity. We show existence, uniqueness, and weak asymptot…
▽ More
This paper investigates first-order variable metric backward forward dynamical systems associated with monotone inclusion and convex minimization problems in real Hilbert space. The operators are chosen so that the backward-forward dynamical system is closely related to the forward-backward dynamical system and has the same computational complexity. We show existence, uniqueness, and weak asymptotic convergence of the generated trajectories and strong convergence if one of the operators is uniformly monotone. We also establish that an equilibrium point of the trajectory is globally exponentially stable and monotone attractor. As a particular case, we explore similar perspectives of the trajectories generated by a dynamical system related to the minimization of the sum of a nonsmooth convex and a smooth convex function. Numerical examples are given to illustrate the convergence of trajectories.
△ Less
Submitted 12 June, 2021;
originally announced June 2021.
-
Evacuation Problem Under the Nuclear Leakage Accident
Authors:
Canqi Yao,
Shibo Chen,
Zaiyue Yang
Abstract:
To handle the detrimental effects brought by leakage of radioactive gases at nuclear power station, we propose a bus based evacuation optimization problem. The proposed model incorporates the following four constraints, 1) the maximum dose of radiation per evacuee, 2) the limitation of bus capacity, 3) the number of evacuees at demand node (bus pickup stop), 4) evacuees balance at demand and shelt…
▽ More
To handle the detrimental effects brought by leakage of radioactive gases at nuclear power station, we propose a bus based evacuation optimization problem. The proposed model incorporates the following four constraints, 1) the maximum dose of radiation per evacuee, 2) the limitation of bus capacity, 3) the number of evacuees at demand node (bus pickup stop), 4) evacuees balance at demand and shelter nodes, which is formulated as a mixed integer nonlinear programming (MINLP) problem. Then, to eliminate the difficulties of choosing a proper M value in Big-M method, a Big-M free method is employed to linearize the nonlinear terms of the MINLP problem. Finally, the resultant mixed integer linear program (MILP) problem is solvable with efficient commercial solvers such as CPLEX or Gurobi, which guarantees the optimal evacuation plan obtained. To evaluate the effectiveness of proposed evacuation model, we test our model on two different scenarios (a random one and a practical scenario). For both scenarios, our model attains executable evacuation plan within given 3600 seconds computation time.
△ Less
Submitted 19 May, 2021;
originally announced May 2021.
-
Joint Routing and Charging Problem of Multiple Electric Vehicles: A Fast Optimization Algorithm
Authors:
Canqi Yao,
Shibo Chen,
Zaiyue Yang
Abstract:
Logistics has gained great attentions with the prosperous development of commerce, which is often seen as the classic optimal vehicle routing problem. Meanwhile, electric vehicle (EV) has been widely used in logistic fleet to curb the emission of green house gases in recent years. Solving the optimization problem of joint routing and charging of multiple EVs is in a urgent need, whose objective fu…
▽ More
Logistics has gained great attentions with the prosperous development of commerce, which is often seen as the classic optimal vehicle routing problem. Meanwhile, electric vehicle (EV) has been widely used in logistic fleet to curb the emission of green house gases in recent years. Solving the optimization problem of joint routing and charging of multiple EVs is in a urgent need, whose objective function includes charging time, charging cost, EVs travel time, usage fees of EV and revenue from serving customers. This joint problem is formulated as a mixed integer programming (MIP) problem, which, however, is NP-hard due to integer restrictions and bilinear terms from the coupling between routing and charging decisions. The main contribution of this paper lies at proposing an efficient two stage algorithm that can decompose the original MIP problem into two linear programming (LP) problems, by exploiting the exactness of LP relaxation and eliminating the coupled term. This algorithm can achieve a nearoptimal solution in polynomial time. In addition, another variant algorithm is proposed based on the two stage one, to further improve the quality of solution.
△ Less
Submitted 12 May, 2021;
originally announced May 2021.
-
Extremal map**s of finite distortion and the Radon-Riesz property
Authors:
Gaven Martin,
Cong Yao
Abstract:
We consider Sobolev map**s $f\in W^{1,q}(Ω,\IC)$, $1<q<\infty$, between planar domains $Ω\subset \IC$. We analyse the Radon-Riesz property for convex functionals of the form \[f\mapsto \int_ΩΦ(|Df(z)|,J(z,f)) \; dz \]
and show that under certain criteria, which hold in important cases, weak convergence in $W_{loc}^{1,q}(Ω)$ of (for instance) a minimising sequence can be improved to strong conv…
▽ More
We consider Sobolev map**s $f\in W^{1,q}(Ω,\IC)$, $1<q<\infty$, between planar domains $Ω\subset \IC$. We analyse the Radon-Riesz property for convex functionals of the form \[f\mapsto \int_ΩΦ(|Df(z)|,J(z,f)) \; dz \]
and show that under certain criteria, which hold in important cases, weak convergence in $W_{loc}^{1,q}(Ω)$ of (for instance) a minimising sequence can be improved to strong convergence. This finds important applications in the minimisation problems for map**s of finite distortion and the $L^p$ and $Exp$\,-Teichmüller theories.
△ Less
Submitted 3 May, 2021;
originally announced May 2021.
-
Convergence of limit shapes for 2D near-critical first-passage percolation
Authors:
Chang-Long Yao
Abstract:
We consider Bernoulli first-passage percolation on the triangular lattice in which sites have 0 and 1 passage times with probability $p$ and $1-p$, respectively. For each $p\in(0,p_c)$, let $\mathcal {B}(p)$ be the limit shape in the classical "shape theorem", and let $L(p)$ be the correlation length. We show that as $p\uparrow p_c$, the rescaled limit shape $L(p)^{-1}\mathcal {B}(p)$ converges to…
▽ More
We consider Bernoulli first-passage percolation on the triangular lattice in which sites have 0 and 1 passage times with probability $p$ and $1-p$, respectively. For each $p\in(0,p_c)$, let $\mathcal {B}(p)$ be the limit shape in the classical "shape theorem", and let $L(p)$ be the correlation length. We show that as $p\uparrow p_c$, the rescaled limit shape $L(p)^{-1}\mathcal {B}(p)$ converges to a Euclidean disk. This improves a result of Chayes et al. [J. Stat. Phys. 45 (1986) 933--951]. The proof relies on the scaling limit of near-critical percolation established by Garban et al. [J. Eur. Math. Soc. 20 (2018) 1195--1268], and uses the construction of the collection of continuum clusters in the scaling limit introduced by Camia et al. [Springer Proceedings in Mathematics \& Statistics, 299 (2019) 44--89].
△ Less
Submitted 31 August, 2022; v1 submitted 2 April, 2021;
originally announced April 2021.
-
Algebras of quotients and Martindale-like quotients of Leibniz algebras
Authors:
Chenrui Yao,
Yao Ma,
Liming Tang,
Liangyun Chen
Abstract:
In this paper, the definitions of algebras of quotients and Martandale-like qoutients of Leibniz algebras are introduced and the interactions between the two quotients are determined. Firstly, some important properties which not only hold for a Leibniz algebras but also can been lifted to its algebras of quotients are investigated. Secondly, for any semiprime Leibniz algebra, its maximal algebra o…
▽ More
In this paper, the definitions of algebras of quotients and Martandale-like qoutients of Leibniz algebras are introduced and the interactions between the two quotients are determined. Firstly, some important properties which not only hold for a Leibniz algebras but also can been lifted to its algebras of quotients are investigated. Secondly, for any semiprime Leibniz algebra, its maximal algebra of quotients is constucted and a Passman-like characterization of the maximal algebra is described. Thirdly, the relationship between a Leibniz algebra and the associative algebra which is generated by left and right multiplication operators of the corresponding Leibniz algebras of quotients are examined. Finally, the definition of dense extensions and some vital properties about Leibnia algebras via dense extensions are introduced.
△ Less
Submitted 10 August, 2020;
originally announced October 2020.
-
Twisted and Singular gravitating vortices
Authors:
Chengjian Yao
Abstract:
We introduce the notion of twisted gravitating vortex on a compact Riemann surface. If the genus of the Riemann surface is greater than 1 and the twisting forms have suitable signs, we prove an existence and uniqueness result for suitable range of the coupling constant generalizing the result of arXiv:1510.03810v2 in the non twisted setting. It is proved via solving a continuity path deforming the…
▽ More
We introduce the notion of twisted gravitating vortex on a compact Riemann surface. If the genus of the Riemann surface is greater than 1 and the twisting forms have suitable signs, we prove an existence and uniqueness result for suitable range of the coupling constant generalizing the result of arXiv:1510.03810v2 in the non twisted setting. It is proved via solving a continuity path deforming the coupling constant from 0 for which the system decouples as twisted Kähler-Einstein metric and twisted vortices. Moreover, specializing to a family of twisting forms smoothing delta distribution terms, we prove the existence of singular gravitating vortices whose Kähler metric has conical singularities and Hermitian metric has parabolic singularities. In the Bogomol'nyi phase, we establish an existence result for singular Einstein-Bogomol'nyi equations, which represents cosmic strings with singularities.
△ Less
Submitted 1 October, 2020;
originally announced October 2020.
-
Algebras of quotients of Hom-Lie algebras
Authors:
Chenrui Yao,
Liangyun Chen
Abstract:
In this paper, we introduce the notion of algebras of quotients of Hom-Lie algebras and investigate some properties which can be lifted from a Hom-Lie algebra to its algebra of quotients. We also give some necessary and sufficient conditions for Hom-Lie algebras having algebras of quotients. We also examine the relationship between a Hom-Lie algebra and the associative algebra generated by inner d…
▽ More
In this paper, we introduce the notion of algebras of quotients of Hom-Lie algebras and investigate some properties which can be lifted from a Hom-Lie algebra to its algebra of quotients. We also give some necessary and sufficient conditions for Hom-Lie algebras having algebras of quotients. We also examine the relationship between a Hom-Lie algebra and the associative algebra generated by inner derivations of the corresponding Hom-Lie algebra of quotients. Moreover, we introduce the notion of dense extensions and get a proposition about Hom-Lie algebras of quotients via dense extensions.
△ Less
Submitted 13 May, 2020;
originally announced July 2020.
-
Higher regularity and uniqueness for inner variational equations
Authors:
Gaven Martin,
Cong Yao
Abstract:
We study local minima of the $p$-conformal energy functionals, \[ \mathsf{E}_{\cal A}^\ast(h):=\int_\ID {\cal A}(\IK(w,h)) \;J(w,h) \; dw,\quad h|_\IS=h_0|_\IS, \] defined for self map**s $h:\ID\to\ID$ with finite distortion of the unit disk with prescribed boundary values $h_0$. Here $\IK(w,h) = \frac{\|Dh(w)\|^2}{J(w,h)} $ is the pointwise distortion functional, and…
▽ More
We study local minima of the $p$-conformal energy functionals, \[ \mathsf{E}_{\cal A}^\ast(h):=\int_\ID {\cal A}(\IK(w,h)) \;J(w,h) \; dw,\quad h|_\IS=h_0|_\IS, \] defined for self map**s $h:\ID\to\ID$ with finite distortion of the unit disk with prescribed boundary values $h_0$. Here $\IK(w,h) = \frac{\|Dh(w)\|^2}{J(w,h)} $ is the pointwise distortion functional, and ${\cal A}:[1,\infty)\to [1,\infty)$ is convex and increasing with ${\cal A}(t)\approx t^p$ for some $p\geq 1$, with additional minor technical conditions. Note ${\cal A}(t)=t$ is the Dirichlet energy functional.
Critical points of $\mathsf{E}_{\cal A}^\ast$ satisfy the Ahlfors-Hopf inner-variational equation \[ {\cal A}'(\IK(w,h)) h_w \overline{h_\wbar} = Φ\] where $Φ$ is a holomorphic function. Iwaniec, Kovalev and Onninen established the Lipschitz regularity of critical points. Here we give a sufficient condition to ensure that a local minimum is a diffeomorphic solution to this equation, and that it is unique. This condition is necessarily satisfied by any locally quasiconformal critical point, and is basically the assumption $\IK(w,h)\in L^1(\ID)\cap L^r_{loc}(\ID)$ for some $r>1$.
△ Less
Submitted 29 July, 2020;
originally announced July 2020.
-
The $L^p$ Teichmüller theory: Existence and regularity of critical points
Authors:
Gaven Martin,
Cong Yao
Abstract:
We study minimisers of the $p$-conformal energy functionals, \[ \mathsf{E}_p(f):=\int_\ID \IK^p(z,f)\,dz,\quad f|_\IS=f_0|_\IS, \] defined for self map**s $f:\ID\to\ID$ with finite distortion and prescribed boundary values $f_0$. Here \[ \IK(z,f) = \frac{\|Df(z)\|^2}{J(z,f)} = \frac{1+|μ_f(z)|^2}{1-|μ_f(z)|^2}\] is the pointwise distortion functional and $μ_f(z)$ is the Beltrami coefficient of…
▽ More
We study minimisers of the $p$-conformal energy functionals, \[ \mathsf{E}_p(f):=\int_\ID \IK^p(z,f)\,dz,\quad f|_\IS=f_0|_\IS, \] defined for self map**s $f:\ID\to\ID$ with finite distortion and prescribed boundary values $f_0$. Here \[ \IK(z,f) = \frac{\|Df(z)\|^2}{J(z,f)} = \frac{1+|μ_f(z)|^2}{1-|μ_f(z)|^2}\] is the pointwise distortion functional and $μ_f(z)$ is the Beltrami coefficient of $f$. We show that for quasisymmetric boundary data the limiting regimes $p\to\infty$ recover the classical Teichmüller theory of extremal quasiconformal map**s (in part a result of Ahlfors), and for $p\to1$ recovers the harmonic map** theory.
Critical points of $\mathsf{E}_p$ always satisfy the inner-variational distributional equation \[ 2p\int_\ID \IK^p\;\frac{\overline{μ_f}}{1+|μ_f|^2}\varphi_\zbar \; dz=\int_\ID \IK^p \; \varphi_z\; dz,\quad\forall\varphi\in C_0^\infty(\ID ). \] We establish the existence of minimisers in the {\em a priori} regularity class $W^{1,\frac{2p}{p+1}}(\ID)$ and show these minimisers have a pseudo-inverse - a continuous $W^{1,2}(\ID)$ surjection of $\ID$ with $(h\circ f)(z)=z$ almost everywhere. We then give a sufficient condition to ensure $C^{\infty}(\ID)$ smoothness of solutions to the distributional equation. For instance $\IK(z,f)\in L^r_{loc}(\ID)$ for any $r>p+1$ is enough to imply the solutions to the distributional equation are local diffeomorphisms. Further $\IK(w,h)\in L^1(\ID)$ will imply $h$ is a homeomorphism, and together these results yield a diffeomorphic minimiser. We show such higher regularity assumptions to be necessary for critical points of the inner variational equation.
△ Less
Submitted 29 July, 2020;
originally announced July 2020.
-
Generalized derivations, quasiderivations and centroids of ternary Jordan algebras
Authors:
Chenrui Yao,
Yao Ma,
Liangyun Chen
Abstract:
In this paper, we give some construction about ternary Jordan algebras at first. Next we study relationships between generalized derivations, quasiderivations and centroids of ternary Jordan algebras. We show that for ternary Jordan algebras, generalized derivation algebras are the sum of quasiderivation algebras and centroids where centroids are ideals of generalized derivation algebras. We also…
▽ More
In this paper, we give some construction about ternary Jordan algebras at first. Next we study relationships between generalized derivations, quasiderivations and centroids of ternary Jordan algebras. We show that for ternary Jordan algebras, generalized derivation algebras are the sum of quasiderivation algebras and centroids where centroids are ideals of generalized derivation algebras. We also prove that quasiderivations can be embedded into larger ternary Jordan algebras as derivations. In particular, we also determine dimensions of ternary Jordan algebras in the case of all linear transformations are quasiderivations. Some properties about centroids of ternary Jordan algebras are also displayed.
△ Less
Submitted 5 January, 2020;
originally announced February 2020.
-
A report on the hypersymplectic flow
Authors:
Joel Fine,
Chengjian Yao
Abstract:
This article discusses a relatively new geometric flow, called the hypersymplectic flow. In the first half of the article we explain the original motivating ideas for the flow, coming from both 4-dimensional symplectic topology and 7-dimensional $G_2$-geometry. We also survey recent progress on the flow, most notably an extension theorem assuming a bound on scalar curvature. The second half contai…
▽ More
This article discusses a relatively new geometric flow, called the hypersymplectic flow. In the first half of the article we explain the original motivating ideas for the flow, coming from both 4-dimensional symplectic topology and 7-dimensional $G_2$-geometry. We also survey recent progress on the flow, most notably an extension theorem assuming a bound on scalar curvature. The second half contains new results. We prove that a complete torsion-free hypersymplectic structure must be hyperkähler. We show that a certain integral bound involving scalar curvature rules out a finite time singularity in the hypersymplectic flow. We show that if the initial hypersymplectic structure is sufficiently close to being point-wise orthogonal then the flow exists for all time. Finally, we prove convergence of the flow under some strong assumptions including, amongst other things, long time existence.
△ Less
Submitted 6 February, 2020; v1 submitted 31 January, 2020;
originally announced January 2020.
-
Gravitating vortices with positive curvature
Authors:
Mario Garcia-Fernandez,
Vamsi Pritham **ali,
Chengjian Yao
Abstract:
We give a complete solution to the existence problem for gravitating vortices with non-negative topological constant $c \geqslant 0$. Our first main result builds on previous results by Yang and establishes the existence of solutions to the Einstein-Bogomol'nyi equations, corresponding to $c=0$, in all admissible Kähler classes. Our second main result completely solves the existence problem for…
▽ More
We give a complete solution to the existence problem for gravitating vortices with non-negative topological constant $c \geqslant 0$. Our first main result builds on previous results by Yang and establishes the existence of solutions to the Einstein-Bogomol'nyi equations, corresponding to $c=0$, in all admissible Kähler classes. Our second main result completely solves the existence problem for $c>0$. Both results are proved by the continuity method and require that a GIT stability condition for an effective divisor on the Riemann sphere is satisfied. For the former, the continuity path starts from a given solution with $c = 0$ and deforms the Kähler class. For the latter result we start from the established solution in any fixed admissible Kähler class and deform the coupling constant $α$ towards $0$. A salient feature of our argument is a new bound $S_g \geqslant c$ for the curvature of gravitating vortices, which we apply to construct a limiting solution along the path via Cheeger-Gromov theory.
△ Less
Submitted 22 January, 2021; v1 submitted 21 November, 2019;
originally announced November 2019.
-
Non-variational extrema of exponential Teichmüller spaces
Authors:
Gaven Martin,
Cong Yao
Abstract:
The exponential Teichmüller spaces $E_p$, $0\leq p \leq \infty$, interpolate between the classical Teichmüller space ($p=\infty$) and the space of harmonic diffeomorphisms $(p=0)$. In this article we prove the existence of non-variational critical points for the associated functional: map**s $f$ of the disk whose distortion is $p$-exponentially integrable, $0<p<\infty$, yet for {\em any} diffeom…
▽ More
The exponential Teichmüller spaces $E_p$, $0\leq p \leq \infty$, interpolate between the classical Teichmüller space ($p=\infty$) and the space of harmonic diffeomorphisms $(p=0)$. In this article we prove the existence of non-variational critical points for the associated functional: map**s $f$ of the disk whose distortion is $p$-exponentially integrable, $0<p<\infty$, yet for {\em any} diffeomorphism $g(z)$ of $\ID$ with $g|\partial\ID=identity$ and $g\neq identity$ we have $f\circ g$ is not of $p$-exponentially integrable distortion.
△ Less
Submitted 29 October, 2019;
originally announced October 2019.
-
Structure of multiplicative simple Hom-Jordan algebras
Authors:
Chenrui Yao,
Yao Ma,
Liangyun Chen
Abstract:
In this paper, we mainly study structure of multiplicative simple Hom-Jordan algebras. We talk about equivalent conditions for multiplicative Hom-Jordan algebras being solvable, simple and semi-simple. As an application, we give a theorem about classification of multiplicative simple Hom-Jordan algebras. Moreover, some propositions about bimodules of multiplicative Hom-Jordan algebras are also dis…
▽ More
In this paper, we mainly study structure of multiplicative simple Hom-Jordan algebras. We talk about equivalent conditions for multiplicative Hom-Jordan algebras being solvable, simple and semi-simple. As an application, we give a theorem about classification of multiplicative simple Hom-Jordan algebras. Moreover, some propositions about bimodules of multiplicative Hom-Jordan algebras are also displayed.
△ Less
Submitted 5 March, 2020; v1 submitted 29 May, 2019;
originally announced June 2019.
-
Derivations on semi-simple Jordan algebras and its applications
Authors:
Chenrui Yao,
Yao Ma,
Liangyun Chen
Abstract:
In this paper, we mainly study the derivation algebras of semi-simple Jordan algebras over a field of characteristic $0$ and give sufficient and necessary conditions that the derivation algebras of them are simple. As an application, we prove that for a semi-simple Jordan algebra $J$, $TDer(Der(J)) = Der(Der(J)) = ad(Der(J))$ under some assumptions. Moreover, we also show that for a semi-simple Jo…
▽ More
In this paper, we mainly study the derivation algebras of semi-simple Jordan algebras over a field of characteristic $0$ and give sufficient and necessary conditions that the derivation algebras of them are simple. As an application, we prove that for a semi-simple Jordan algebra $J$, $TDer(Der(J)) = Der(Der(J)) = ad(Der(J))$ under some assumptions. Moreover, we also show that for a semi-simple Jordan algebra $J$ which has a finite basis over a field of characteristic $0$, $TDer(J) = Der(J) = Inn(J)$. This is a corollary about our theorem which concerns Jordan algebras with unit.
△ Less
Submitted 21 May, 2019;
originally announced June 2019.
-
Generalized derivations of Hom-Jordan algebras
Authors:
Chenrui Yao,
Yao Ma,
Liangyun Chen
Abstract:
In this paper, we give some properties of generalized derivation algebras of Hom-Jordan algebras. In particular, we show that $GDer(V) = QDer(V) + QC(V)$, the sum of the quasiderivation algebra and the quasicentroid. We also prove that $QDer(V)$ can be embedded as derivations into a larger Hom-Jordan algebra. General results on centroids of Hom-Jordan algebras are also developed in this paper.
In this paper, we give some properties of generalized derivation algebras of Hom-Jordan algebras. In particular, we show that $GDer(V) = QDer(V) + QC(V)$, the sum of the quasiderivation algebra and the quasicentroid. We also prove that $QDer(V)$ can be embedded as derivations into a larger Hom-Jordan algebra. General results on centroids of Hom-Jordan algebras are also developed in this paper.
△ Less
Submitted 21 May, 2019;
originally announced June 2019.
-
A Robust Riemann Solver for Multiple Hydro-Elastoplastic Solid Mediums
Authors:
Ruo Li,
Yanli Wang,
Chengbao Yao
Abstract:
We propose a robust approximate solver for the hydro-elastoplastic solid material, a general constitutive law extensively applied in explosion and high speed impact dynamics, and provide a natural transformation between the fluid and solid in the case of phase transitions. The hydrostatic components of the solid is described by a family of general Mie-Grüneisen equation of state (EOS), while the d…
▽ More
We propose a robust approximate solver for the hydro-elastoplastic solid material, a general constitutive law extensively applied in explosion and high speed impact dynamics, and provide a natural transformation between the fluid and solid in the case of phase transitions. The hydrostatic components of the solid is described by a family of general Mie-Grüneisen equation of state (EOS), while the deviatoric component includes the elastic phase, linearly hardened plastic phase and fluid phase. The approximate solver provides the interface stress and normal velocity by an iterative method. The well-posedness and convergence of our solver are proved with mild assumptions on the equations of state. The proposed solver is applied in computing the numerical flux at the phase interface for our compressible multi-medium flow simulation on Eulerian girds. Several numerical examples, including Riemann problems, shock-bubble interactions, implosions and high speed impact applications, are presented to validate the approximate solver.
△ Less
Submitted 3 February, 2019;
originally announced February 2019.
-
Biderivations and triple homomorphisms on perfect Jordan algebras
Authors:
Chenrui Yao,
Yao Ma,
Liangyun Chen
Abstract:
In this paper, we mainly study a class of biderivations and triple homomorphisms on perfect Jordan algebras. Let $J$ be a Jordan algebra and $δ:J \times J \rightarrow J$ a symmetric biderivation satisfying $δ(w , u \circ v) = w \cdot δ(u , v), \forall u,v,w \in J$. If $J$ is perfect and satisfies $Z(J) = \{0\}$, then $δ$ is of the form $δ(x , y) = γ(x \circ y)$ for all $x , y \in J$, where…
▽ More
In this paper, we mainly study a class of biderivations and triple homomorphisms on perfect Jordan algebras. Let $J$ be a Jordan algebra and $δ:J \times J \rightarrow J$ a symmetric biderivation satisfying $δ(w , u \circ v) = w \cdot δ(u , v), \forall u,v,w \in J$. If $J$ is perfect and satisfies $Z(J) = \{0\}$, then $δ$ is of the form $δ(x , y) = γ(x \circ y)$ for all $x , y \in J$, where $γ\in Cent(J)$ satisfying $z \cdot γ(x \circ y) = x \cdot γ(y \circ z) + y \cdot γ(x \circ z), \forall x , y , z \in J$. This is the special case of our main theorem which concerns biderivations having their range in a $J$-module. What's more, we give an algorithm which can be applied to find biderivations satisfying $δ(w , u \circ v) = w \cdot δ(u , v), \forall u,v,w \in J$ on any Jordan algebra. We also show that for a triple homomorphism between perfect Jordan algebras, $f(x^{2}) = (f(x))^{2}$ or $f(x^{2}) = -(f(x))^{2}$. As an application, such $f$ is a homomorphism if and only if $f(x^{2}) = (f(x))^{2}$. Moreover, we give an algorithm which can be applied to any Jordan algebra.
△ Less
Submitted 21 May, 2019; v1 submitted 9 November, 2018;
originally announced November 2018.
-
Asymptotics for 2D critical and near-critical first-passage percolation
Authors:
Chang-Long Yao
Abstract:
We study Bernoulli first-passage percolation (FPP) on the triangular lattice $\mathbb{T}$ in which sites have 0 and 1 passage times with probability $p$ and $1-p$, respectively. Denote by $\mathcal {C}_{\infty}$ the infinite cluster with 0-time sites when $p>p_c$, where $p_c=1/2$ is the critical probability. Denote by $T(0,\mathcal {C}_{\infty})$ the passage time from the origin 0 to…
▽ More
We study Bernoulli first-passage percolation (FPP) on the triangular lattice $\mathbb{T}$ in which sites have 0 and 1 passage times with probability $p$ and $1-p$, respectively. Denote by $\mathcal {C}_{\infty}$ the infinite cluster with 0-time sites when $p>p_c$, where $p_c=1/2$ is the critical probability. Denote by $T(0,\mathcal {C}_{\infty})$ the passage time from the origin 0 to $\mathcal {C}_{\infty}$. First we obtain explicit limit theorem for $T(0,\mathcal {C}_{\infty})$ as $p\searrow p_c$. The proof relies on the limit theorem in the critical case, the critical exponent for correlation length and Kesten's scaling relations. Next, for the usual point-to-point passage time $a_{0,n}$ in the critical case, we construct subsequences of sites with different growth rate along the axis. The main tool involves the large deviation estimates on the nesting of CLE$_6$ loops derived by Miller, Watson and Wilson (2016). Finally, we apply the limit theorem for critical Bernoulli FPP to a random graph called cluster graph, obtaining explicit strong law of large numbers for graph distance.
△ Less
Submitted 19 December, 2018; v1 submitted 10 June, 2018;
originally announced June 2018.
-
The Solvability Of Magneto-heating Coupling Model With Turbulent Convection Zone And The Flow Fields
Authors:
Changhui Yao,
Yan** Lin,
Lixiu Wang,
Xuefan Jia
Abstract:
In this paper, the magneto-heating coupling model is studied in details, with turbulent convection zone and the flow field involved. Our main work is to analyze the well-posed property of this model with the regularity techniques. For the magnetic field, we consider the space $H_0(curl)\cap H(div_0)$ and for the heat equation, we consider the space $H_0^1(Ω)$. Then we present the weak formulation…
▽ More
In this paper, the magneto-heating coupling model is studied in details, with turbulent convection zone and the flow field involved. Our main work is to analyze the well-posed property of this model with the regularity techniques. For the magnetic field, we consider the space $H_0(curl)\cap H(div_0)$ and for the heat equation, we consider the space $H_0^1(Ω)$. Then we present the weak formulation of the coupled magneto-heating model and establish the regularity problem. Using Roth's method, monotone theories of nonlinear operator, weak convergence theories, we prove that the limits of the solutions from Roth's method converge to the solutions of the regularity problem with proper initial data. With the help of the spacial regularity technique, we derive the results of the well-posedness of the original problems when the regular parameter $ε\longrightarrow 0$. Moreover, with additional regularity assumption for both the magnetic field and temperature variable, we prove the uniqueness of the solutions.
△ Less
Submitted 5 December, 2017;
originally announced December 2017.
-
Finite Element Methods For Wave Propagation With Debye Polarization In Nonlinear Dielectric Materials
Authors:
Qiumei Huang,
Shanghui Jia,
Fei Xu,
Zhongwen Xu,
Changhui Yao
Abstract:
In this paper, we consider the wave propagation with
Debye polarization in nonlinear dielectric materials. For this model, the Rother's method is employed to derive the well-posedness of the electric fields and the existence of the polarized fields by monotonicity theorem as well as the boundedness of the two fields are established. Then, the time errors are derived for the semi-discrete solutio…
▽ More
In this paper, we consider the wave propagation with
Debye polarization in nonlinear dielectric materials. For this model, the Rother's method is employed to derive the well-posedness of the electric fields and the existence of the polarized fields by monotonicity theorem as well as the boundedness of the two fields are established. Then, the time errors are derived for the semi-discrete solutions by the order $O(Δt)$.
Subsequently, decoupled the full-discrete scheme of the Euler in time and Raviart-Thomas-N$\acute{e}$d$\acute{e}$lec element $k\geq 2$ in spatial is established. Based on the truncated error, we present the convergent analysis with the order $O(Δt+h^s) $ under the technique of a-prior $L^\infty$ assumption. For the $k=1$, we employ the superconvergence technique to ensure the a-prior $L^\infty$ assumption. In the end, we give some numerical examples to demonstrate our theories.
△ Less
Submitted 5 December, 2017;
originally announced December 2017.
-
An Approximate Solver for Multi-medium Riemann Problem with Mie-Grüneisen Equations of State
Authors:
Li Chen,
Ruo Li,
Chengbao Yao
Abstract:
We propose an approximate solver for multi-medium Riemann problems with materials described by a family of general Mie-Grüneisen equations of state, which are widely used in practical applications. The solver provides the interface pressure and normal velocity by an iterative method. The well-posedness and convergence of the solver is verified with mild assumptions on the equations of state. To va…
▽ More
We propose an approximate solver for multi-medium Riemann problems with materials described by a family of general Mie-Grüneisen equations of state, which are widely used in practical applications. The solver provides the interface pressure and normal velocity by an iterative method. The well-posedness and convergence of the solver is verified with mild assumptions on the equations of state. To validate the solver, it is employed in computing the numerical flux on phase interfaces of a numerical scheme on Eulerian grids that was developed recently for compressible multi-medium flows. Numerical examples are presented for Riemann problems, air blast and underwater explosion applications.
△ Less
Submitted 21 April, 2018; v1 submitted 15 September, 2017;
originally announced September 2017.
-
Cohomogeneity-one $G_2$-Laplacian flow on 7-torus
Authors:
Hongnian Huang,
Yuanqi Wang,
Chengjian Yao
Abstract:
We prove the hypersymplectic flow of simple type on standard torus $\mathbb{T}^4$ exists for all time and converges to the standard flat structure modulo diffeomorphisms. This result in particular gives the first example of a cohomogeneity-one $G_2$-Laplacian flow on a compact $7$-manifold which exists for all time and converges to a torsion-free $G_2$ structure modulo diffeomorphisms.
We prove the hypersymplectic flow of simple type on standard torus $\mathbb{T}^4$ exists for all time and converges to the standard flat structure modulo diffeomorphisms. This result in particular gives the first example of a cohomogeneity-one $G_2$-Laplacian flow on a compact $7$-manifold which exists for all time and converges to a torsion-free $G_2$ structure modulo diffeomorphisms.
△ Less
Submitted 3 February, 2020; v1 submitted 7 September, 2017;
originally announced September 2017.
-
Hypersymplectic 4-manifolds, the $G_2$-Laplacian flow and extension assuming bounded scalar curvature
Authors:
Joel Fine,
Chengjian Yao
Abstract:
A hypersymplectic structure on a 4-manifold $X$ is a triple $\underlineω$ of symplectic forms which at every point span a maximal positive-definite subspace of $Λ^2$ for the wedge product. This article is motivated by a conjecture of Donaldson: when $X$ is compact $\underlineω$ can be deformed through cohomologous hypersymplectic structures to a hyperkähler triple. We approach this via a link with…
▽ More
A hypersymplectic structure on a 4-manifold $X$ is a triple $\underlineω$ of symplectic forms which at every point span a maximal positive-definite subspace of $Λ^2$ for the wedge product. This article is motivated by a conjecture of Donaldson: when $X$ is compact $\underlineω$ can be deformed through cohomologous hypersymplectic structures to a hyperkähler triple. We approach this via a link with $G_2$-geometry. A hypersymplectic structure $\underlineω$ on a compact manifold $X$ defines a natural $G_2$-structure $φ$ on $X \times \mathbb{T}^3$ which has vanishing torsion precisely when $\underlineω$ is a hyperkähler triple. We study the $G_2$-Laplacian flow starting from $φ$, which we interpret as a flow of hypersymplectic structures. Our main result is that the flow extends as long as the scalar curvature of the corresponding $G_2$-structure remains bounded. An application of our result is a lower bound for the maximal existence time of the flow, in terms of weak bounds on the initial data (and with no assumption that scalar curvature is bounded along the flow).
△ Less
Submitted 8 May, 2017; v1 submitted 25 April, 2017;
originally announced April 2017.
-
Critical first-passage percolation starting on the boundary
Authors:
Jian** Jiang,
Chang-Long Yao
Abstract:
We consider first-passage percolation on the two-dimensional triangular lattice $\mathcal{T}$. Each site $v\in\mathcal{T}$ is assigned independently a passage time of either $0$ or $1$ with probability $1/2$. Denote by $B^+(0,n)$ the upper half-disk with radius $n$ centered at $0$, and by $c_n^+$ the first-passage time in $B^+(0,n)$ from $0$ to the half-circular boundary of $B^+(0,n)$. We prove \[…
▽ More
We consider first-passage percolation on the two-dimensional triangular lattice $\mathcal{T}$. Each site $v\in\mathcal{T}$ is assigned independently a passage time of either $0$ or $1$ with probability $1/2$. Denote by $B^+(0,n)$ the upper half-disk with radius $n$ centered at $0$, and by $c_n^+$ the first-passage time in $B^+(0,n)$ from $0$ to the half-circular boundary of $B^+(0,n)$. We prove \[\lim_{n\rightarrow\infty}\frac{c_n^+}{\log n}=\frac{\sqrt{3}}{2π}~ a.s.,~\lim_{n\rightarrow\infty}\frac{E c_n^+}{\log n}=\frac{\sqrt{3}}{2π},~\lim_{n\rightarrow\infty}\frac{\mathrm{Var}(c_n^+)}{\log n}=\frac{2\sqrt{3}}π-\frac{9}{π^2}.\] These results enable us to prove limit theorems with explicit constants for any first-passage time between boundary points of Jordan domains. In particular, we find the explicit limit theorems for the cylinder point to point and cylinder point to line first-passage times.
△ Less
Submitted 30 June, 2018; v1 submitted 6 December, 2016;
originally announced December 2016.
-
Limit theorems for critical first-passage percolation on the triangular lattice
Authors:
Chang-Long Yao
Abstract:
Consider (independent) first-passage percolation on the sites of the triangular lattice $\mathbb{T}$. Denote the passage time of the site $v$ in $\mathbb{T}$ by $t(v)$, and assume that $P(t(v)=0)=P(t(v)=1)=1/2$. Denote by $b_{0,n}$ the passage time from 0 to the halfplane $\{v\in\mathbb{T}:\mbox{Re}(v)\geq n\}$, and by $T(0,nu)$ the passage time from 0 to the nearest site to $nu$, where $|u|=1$. W…
▽ More
Consider (independent) first-passage percolation on the sites of the triangular lattice $\mathbb{T}$. Denote the passage time of the site $v$ in $\mathbb{T}$ by $t(v)$, and assume that $P(t(v)=0)=P(t(v)=1)=1/2$. Denote by $b_{0,n}$ the passage time from 0 to the halfplane $\{v\in\mathbb{T}:\mbox{Re}(v)\geq n\}$, and by $T(0,nu)$ the passage time from 0 to the nearest site to $nu$, where $|u|=1$. We prove that as $n\rightarrow\infty$, $b_{0,n}/\log n\rightarrow 1/(2\sqrt{3}π)$ a.s., $E[b_{0,n}]/\log n\rightarrow 1/(2\sqrt{3}π)$ and Var$[b_{0,n}]/\log n\rightarrow 2/(3\sqrt{3}π)-1/(2π^2)$; $T(0,nu)/\log n\rightarrow 1/(\sqrt{3}π)$ in probability but not a.s., $E[T(0,nu)]/\log n\rightarrow 1/(\sqrt{3}π)$ and Var$[T(0,nu)]/\log n\rightarrow 4/(3\sqrt{3}π)-1/π^2$. This answers a question of Kesten and Zhang (1997) and improves our previous work (2014). From this result, we derive an explicit form of the central limit theorem for $b_{0,n}$ and $T(0,nu)$. A key ingredient for the proof is the moment generating function of the conformal radii for conformal loop ensemble CLE$_6$, given by Schramm, Sheffield and Wilson (2009).
△ Less
Submitted 28 December, 2016; v1 submitted 29 January, 2016;
originally announced February 2016.
-
Multi-arm incipient infinite clusters in 2D: scaling limits and winding numbers
Authors:
Chang-Long Yao
Abstract:
We study the alternating $k$-arm incipient infinite cluster (IIC) of site percolation on the triangular lattice $\mathbb{T}$. Using Camia and Newman's result that the scaling limit of critical site percolation on $\mathbb{T}$ is CLE$_6$, we prove the existence of the scaling limit of the $k$-arm IIC for $k=1,2,4$. Conditioned on the event that there are open and closed arms connecting the origin t…
▽ More
We study the alternating $k$-arm incipient infinite cluster (IIC) of site percolation on the triangular lattice $\mathbb{T}$. Using Camia and Newman's result that the scaling limit of critical site percolation on $\mathbb{T}$ is CLE$_6$, we prove the existence of the scaling limit of the $k$-arm IIC for $k=1,2,4$. Conditioned on the event that there are open and closed arms connecting the origin to $\partial \mathbb{D}_R$, we show that the winding number variance of the arms is $(3/2+o(1))\log R$ as $R\rightarrow \infty$, which confirms a prediction of Wieland and Wilson (2003). Our proof uses two-sided radial SLE$_6$ and coupling argument. Using this result we get an explicit form for the CLT of the winding numbers, and get analogous result for the 2-arm IIC, thus improving our earlier result.
△ Less
Submitted 12 July, 2017; v1 submitted 8 October, 2015;
originally announced October 2015.
-
Existence and deformations of Kahler-Einstein metrics on smoothable Q-Fano varieties
Authors:
Cristiano Spotti,
Song Sun,
Chengjian Yao
Abstract:
We prove the existence of Kahler-Einstein metrics on Q-Gorenstein smoothable, K-polystable Q-Fano varieties, and we show how these metrics behave, in the Gromov-Hausdorff sense, under Q-Gorenstein smoothings.
We prove the existence of Kahler-Einstein metrics on Q-Gorenstein smoothable, K-polystable Q-Fano varieties, and we show how these metrics behave, in the Gromov-Hausdorff sense, under Q-Gorenstein smoothings.
△ Less
Submitted 6 November, 2014;
originally announced November 2014.
-
The Continuity Method to Deform Cone Angle
Authors:
Chengjian Yao
Abstract:
The continuity method is used to deform the cone angle of a weak conical Kähler-Einstein metric with cone singularities along a smooth anti-canonical divisor on a smooth Fano manifold. This leads to an alternative proof of Donaldson's Openness Theorem on deforming cone angle \cite{Don} by combining it with the regularity result of Guenancia-P$\breve{\text{a}}$un \cite{GP} and Chen-Wang \cite{CW}.…
▽ More
The continuity method is used to deform the cone angle of a weak conical Kähler-Einstein metric with cone singularities along a smooth anti-canonical divisor on a smooth Fano manifold. This leads to an alternative proof of Donaldson's Openness Theorem on deforming cone angle \cite{Don} by combining it with the regularity result of Guenancia-P$\breve{\text{a}}$un \cite{GP} and Chen-Wang \cite{CW}. This continuity method uses relatively less regularity of the metric (only weak conical Kähler-Einstein) and bypasses the difficult Banach space set up; it is also generalized to deform the cone angles of a \emph{weak conical Kähler-Einstein metric} along a simple normal crossing divisor (pluri-anticanonical) on a smooth Fano manifold (assuming no tangential holomorphic vector fields).
△ Less
Submitted 7 November, 2014; v1 submitted 6 May, 2014;
originally announced May 2014.