-
Neurodevelopmental disorders modeling using isogeometric analysis, dynamic domain expansion and local refinement
Authors:
Kuanren Qian,
Genesis Omana Suarez,
Toshihiko Nambara,
Takahisa Kanekiyo,
Ashlee S. Liao,
Victoria A. Webster-Wood,
Yongjie Jessica Zhang
Abstract:
Neurodevelopmental disorders (NDDs) have arisen as one of the most prevailing chronic diseases within the US. Often associated with severe adverse impacts on the formation of vital central and peripheral nervous systems during the neurodevelopmental process, NDDs are comprised of a broad spectrum of disorders, such as autism spectrum disorder, attention deficit hyperactivity disorder, and epilepsy…
▽ More
Neurodevelopmental disorders (NDDs) have arisen as one of the most prevailing chronic diseases within the US. Often associated with severe adverse impacts on the formation of vital central and peripheral nervous systems during the neurodevelopmental process, NDDs are comprised of a broad spectrum of disorders, such as autism spectrum disorder, attention deficit hyperactivity disorder, and epilepsy, characterized by progressive and pervasive detriments to cognitive, speech, memory, motor, and other neurological functions in patients. However, the heterogeneous nature of NDDs poses a significant roadblock to identifying the exact pathogenesis, impeding accurate diagnosis and the development of targeted treatment planning. A computational NDDs model holds immense potential in enhancing our understanding of the multifaceted factors involved and could assist in identifying the root causes to expedite treatment development. To tackle this challenge, we introduce optimal neurotrophin concentration to the driving force and degradation of neurotrophin to the synaptogenesis process of a 2D phase field neuron growth model using isogeometric analysis to simulate neurite retraction and atrophy. The optimal neurotrophin concentration effectively captures the inverse relationship between neurotrophin levels and neurite survival, while its degradation regulates concentration levels. Leveraging dynamic domain expansion, the model efficiently expands the domain based on outgrowth patterns to minimize degrees of freedom. Based on truncated T-splines, our model simulates the evolving process of complex neurite structures by applying local refinement adaptively to the cell/neurite boundary. Furthermore, a thorough parameter investigation is conducted with detailed comparisons against neuron cell cultures in experiments, enhancing our fundamental understanding of the mechanisms underlying NDDs.
△ Less
Submitted 3 July, 2024; v1 submitted 30 June, 2024;
originally announced July 2024.
-
A note on strong blocking sets and higgledy-piggledy sets of lines
Authors:
Stefano Lia,
Geertrui Van de Voorde
Abstract:
This paper studies {\em strong blocking sets} in the $N$-dimensional finite projective space $\mathrm{PG}(N,q)$. We first show that certain unions of blocking sets cannot form strong blocking sets, which leads to a new lower bound on the size of a strong blocking set in $\mathrm{PG}(N,q)$.
Our second main result shows that, for $q>\frac{2}{ln(2)}(N+1)$, there exists a subset of $2N-2$ lines of a…
▽ More
This paper studies {\em strong blocking sets} in the $N$-dimensional finite projective space $\mathrm{PG}(N,q)$. We first show that certain unions of blocking sets cannot form strong blocking sets, which leads to a new lower bound on the size of a strong blocking set in $\mathrm{PG}(N,q)$.
Our second main result shows that, for $q>\frac{2}{ln(2)}(N+1)$, there exists a subset of $2N-2$ lines of a Desarguesian line spread in $\mathrm{PG}(N,q)$, $N$ odd, in {\em higgledy-piggledy arrangement}; thus giving rise to a strong blocking set of size $(2N-2)(q+1)$.
△ Less
Submitted 10 February, 2024;
originally announced February 2024.
-
A Convex Optimization Approach to Compute Trap** Regions for Lossless Quadratic Systems
Authors:
Shih-Chi Liao,
A. Leonid Heide,
Maziar S. Hemati,
Peter J. Seiler
Abstract:
Quadratic systems with lossless quadratic terms arise in many applications, including models of atmosphere and incompressible fluid flows. Such systems have a trap** region if all trajectories eventually converge to and stay within a bounded set. Conditions for the existence and characterization of trap** regions have been established in prior works for boundedness analysis. However, prior sol…
▽ More
Quadratic systems with lossless quadratic terms arise in many applications, including models of atmosphere and incompressible fluid flows. Such systems have a trap** region if all trajectories eventually converge to and stay within a bounded set. Conditions for the existence and characterization of trap** regions have been established in prior works for boundedness analysis. However, prior solutions have used non-convex optimization methods, resulting in conservative estimates. In this paper, we build on this prior work and provide a convex semidefinite programming condition for the existence of a trap** region. The condition allows precise verification or falsification of the existence of a trap** region. If a trap** region exists, then we provide a second semidefinite program to compute the least conservative trap** region in the form of a ball. Two low-dimensional systems are provided as examples to illustrate the results. A third high-dimensional example is also included to demonstrate that the computation required for the analysis can be scaled to systems of up to $\sim O(100)$ states. The proposed method provides a precise and computationally efficient numerical approach for computing trap** regions. We anticipate this work will benefit future studies on modeling and control of lossless quadratic dynamical systems.
△ Less
Submitted 9 January, 2024;
originally announced January 2024.
-
A Goldbach theorem for Laurent polynomials with positive integer coefficients
Authors:
Sophia Liao,
Harold Polo
Abstract:
We establish an analogue of the Goldbach conjecture for Laurent polynomials with positive integer coefficients.
We establish an analogue of the Goldbach conjecture for Laurent polynomials with positive integer coefficients.
△ Less
Submitted 2 December, 2023;
originally announced December 2023.
-
On the geometry of tensor products over finite fields
Authors:
Stefano Lia,
John Sheekey
Abstract:
In this paper we study finite dimensional algebras, in particular finite semifields, through their correspondence with nonsingular threefold tensors. We introduce a alternative embedding of the tensor product space into a projective space. This model allows us to understand tensors and their contractions in a new geometric way, relating the contraction of a tensor with a natural subspace of a subg…
▽ More
In this paper we study finite dimensional algebras, in particular finite semifields, through their correspondence with nonsingular threefold tensors. We introduce a alternative embedding of the tensor product space into a projective space. This model allows us to understand tensors and their contractions in a new geometric way, relating the contraction of a tensor with a natural subspace of a subgeometry. This leads us to new results on invariants and classifications of tensors and algebras and on nonsingular fourfold tensors. A detailed study of the geometry of this setup for the case of the threefold tensor power of a vector space of dimension two over a finite field surprisingly leads to a new construction of quasi-hermitian varieties in $\mathrm{PG}(3,q^2)$.
△ Less
Submitted 13 March, 2024; v1 submitted 29 November, 2023;
originally announced November 2023.
-
Arithmetic of semisubtractive semidomains
Authors:
Hannah Fox,
Agastya Goel,
Sophia Liao
Abstract:
A subset $S$ of an integral domain is called a semidomain if the pairs $(S,+)$ and $(S\setminus\{0\}, \cdot)$ are commutative and cancellative semigroups with identities. The multiplication of $S$ extends to the group of differences $\mathscr{G}(S)$, turning $\mathscr{G}(S)$ into an integral domain. In this paper, we study the arithmetic of semisubtractive semidomains (i.e., semidomains $S$ for wh…
▽ More
A subset $S$ of an integral domain is called a semidomain if the pairs $(S,+)$ and $(S\setminus\{0\}, \cdot)$ are commutative and cancellative semigroups with identities. The multiplication of $S$ extends to the group of differences $\mathscr{G}(S)$, turning $\mathscr{G}(S)$ into an integral domain. In this paper, we study the arithmetic of semisubtractive semidomains (i.e., semidomains $S$ for which either $s \in S$ or $-s \in S$ for every $s \in \mathscr{G}(S)$). Specifically, we provide necessary and sufficient conditions for a semisubtractive semidomain to be atomic, to satisfy the ascending chain condition on principals ideals, to be a bounded factorization semidomain, and to be a finite factorization semidomain, which are subsequent relaxations of the property of having unique factorizations. In addition, we present a characterization of factorial and half-factorial semisubtractive semidomains. Throughout the article, we present examples to provide insight into the arithmetic aspects of semisubtractive semidomains.
△ Less
Submitted 28 November, 2023; v1 submitted 12 November, 2023;
originally announced November 2023.
-
Exploration on Incidence Geometry and Sum-Product Phenomena
Authors:
Sung-Yi Liao
Abstract:
In additive combinatorics, Erdös-Szemerédi Conjecture is an important conjecture. It can be applied to many fields, such as number theory, harmonic analysis, incidence geometry, and so on. Additionally, its statement is quite easy to understand, while it is still an open problem. In this dissertation, we investigate the Erdös-Szemerédi Conjecture and its relationship with several well-known result…
▽ More
In additive combinatorics, Erdös-Szemerédi Conjecture is an important conjecture. It can be applied to many fields, such as number theory, harmonic analysis, incidence geometry, and so on. Additionally, its statement is quite easy to understand, while it is still an open problem. In this dissertation, we investigate the Erdös-Szemerédi Conjecture and its relationship with several well-known results in incidence geometry, such as the Szemerédi-Trotter Incidence Theorem. We first study these problems in the setting of real numbers and focus on the proofs by Elekes and Solymosi on sum-product estimates. After introducing these theorems, our main focus is the Erdös-Szemerédi Conjecture in the setting of $\mathbb{F}_p$. We aim to adapt several ingenious techniques developed for real numbers to the case of finite fields. Finally, we obtain a result in estimating the number of bisectors over the ring $\mathbb{Z}/p^3\mathbb{Z}$ with $p$ a $4n+3$ prime.
△ Less
Submitted 11 October, 2023;
originally announced October 2023.
-
Short rank-metric codes and scattered subspaces
Authors:
Stefano Lia,
Giovanni Longobardi,
Giuseppe Marino,
Rocco Trombetti
Abstract:
By exploiting the connection between scattered $\mathbb{F}_q$-subspaces of $\mathbb{F}_{q^m}^3$ and minimal non degenerate $3$-dimensional rank metric codes of $\mathbb{F}_{q^m}^{n}$, $n \geq m+2$, described in [2], we will exhibit a new class of codes with parameters $[m+2,3,m-2]_{q^m/q}$ for infinite values of $q$ and $m \geq 5$ odd. Moreover, by studying the geometric structures of these scatte…
▽ More
By exploiting the connection between scattered $\mathbb{F}_q$-subspaces of $\mathbb{F}_{q^m}^3$ and minimal non degenerate $3$-dimensional rank metric codes of $\mathbb{F}_{q^m}^{n}$, $n \geq m+2$, described in [2], we will exhibit a new class of codes with parameters $[m+2,3,m-2]_{q^m/q}$ for infinite values of $q$ and $m \geq 5$ odd. Moreover, by studying the geometric structures of these scattered subspaces, we determine the rank weight distribution of the associated codes.
△ Less
Submitted 10 February, 2024; v1 submitted 2 June, 2023;
originally announced June 2023.
-
Biomimetic IGA neuron growth modeling with neurite morphometric features and CNN-based prediction
Authors:
Kuanren Qian,
Ashlee S. Liao,
Shixuan Gu,
Victoria A. Webster-Wood,
Yongjie Jessica Zhang
Abstract:
Neuron growth is a complex, multi-stage process that develops sophisticated morphologies and interwoven neurite networks. Recent advances have enabled us to examine the effects of neuron growth factors and seek causes for neurodegenerative diseases, such as Alzheimer's disease, Parkinson's disease, and amyotrophic lateral sclerosis. A computational tool that studies neuron growth could shed crucia…
▽ More
Neuron growth is a complex, multi-stage process that develops sophisticated morphologies and interwoven neurite networks. Recent advances have enabled us to examine the effects of neuron growth factors and seek causes for neurodegenerative diseases, such as Alzheimer's disease, Parkinson's disease, and amyotrophic lateral sclerosis. A computational tool that studies neuron growth could shed crucial insights into the effects of various factors and help find a neurodegeneration cure. However, there lacks a computational tool to accurately and realistically simulate neuron growth within reasonable time frames. Bio-phenomenon models ignore potential factors and cannot generate realistic results, and bio-physics models require computationally expensive high-order governing equations. This paper incorporates experimental neurite features into a phase field method-based neuron growth model using an isogeometric analysis collocation (IGA-C) approach. Based on a semi-automated quantitative analysis of neurite morphology, we obtain relative turning angle, average tortuosity, neurite endpoints, average segment length, and the total length of neurites. We use the total neurite length to determine the evolving days in vitro (DIV) and select corresponding neurite features to drive and constrain neuron growth. This approach archives biomimetic neuron growth patterns with automatic growth stage transitions by incorporating corresponding DIV neurite morphometric data based on the total neurite length of the evolving neurite morphology. Furthermore, we built a convolutional neural network (CNN) to significantly reduce computational costs for predicting neurite growth. With a customized convolutional autoencoder as the backbone, our CNN model can predict neurite patterns with a high prediction accuracy, 97.77%, while taking 7 orders of magnitude less computational times than our IGA-C solver.
△ Less
Submitted 21 April, 2023;
originally announced April 2023.
-
On the stability and instability of Kelvin-Stuart cat's eyes flows
Authors:
Shasha Liao,
Zhiwu Lin,
Hao Zhu
Abstract:
Kelvin-Stuart vortices are classical mixing layer flows with many applications in fluid mechanics, plasma physics and astrophysics. We prove that the whole family of Kelvin-Stuart vortices is nonlinearly stable for co-periodic perturbations, and linearly unstable for multi-periodic or modulational perturbations. This verifies a long-standing conjecture since the discovery of the Kelvin-Stuart cat'…
▽ More
Kelvin-Stuart vortices are classical mixing layer flows with many applications in fluid mechanics, plasma physics and astrophysics. We prove that the whole family of Kelvin-Stuart vortices is nonlinearly stable for co-periodic perturbations, and linearly unstable for multi-periodic or modulational perturbations. This verifies a long-standing conjecture since the discovery of the Kelvin-Stuart cat's eyes flows in the 1960s. Kelvin-Stuart cat's eyes also appear as magnetic islands which are magnetostatic equilibria for the 2D ideal MHD equations in plasmas. We prove nonlinear stability of Kelvin-Stuart magnetic islands for co-periodic perturbations, and give the first rigorous proof of the coalescence instability, which is important for magnetic reconnection.
△ Less
Submitted 30 December, 2023; v1 submitted 1 April, 2023;
originally announced April 2023.
-
On the geometry of the Hermitian Veronese curve and its quasi-Hermitian surfaces
Authors:
Michel Lavrauw,
Stefano Lia,
Francesco Pavese
Abstract:
The complete classification of the orbits on subspaces under the action of the projective stabiliser of (classical) algebraic varieties is a challenging task, and few classifications are complete. We focus on a particular action of $\PGL(2,q^2)$ (and $\PSL(2,q^2)$) arising from the Hermitian Veronese curve in $\PG(3, q^2)$, a maximal rational curve embedded on a smooth Hermitian surface with some…
▽ More
The complete classification of the orbits on subspaces under the action of the projective stabiliser of (classical) algebraic varieties is a challenging task, and few classifications are complete. We focus on a particular action of $\PGL(2,q^2)$ (and $\PSL(2,q^2)$) arising from the Hermitian Veronese curve in $\PG(3, q^2)$, a maximal rational curve embedded on a smooth Hermitian surface with some fascinating properties. The study of its orbits leads to a new construction of quasi-Hermitian surfaces: sets of points with the same combinatorial and geometric properties as a non-degenerate Hermitian surface.
△ Less
Submitted 3 March, 2023;
originally announced March 2023.
-
Quadratic Constraints for Local Stability Analysis of Quadratic Systems
Authors:
Shih-Chi Liao,
Maziar S. Hemati,
Peter Seiler
Abstract:
This paper proposes new quadratic constraints (QCs) to bound a quadratic polynomial. Such QCs can be used in dissipation ineqaulities to analyze the stability and performance of nonlinear systems with quadratic vector fields. The proposed QCs utilize the sign-indefiniteness of certain classes of quadratic polynomials. These new QCs provide a tight bound on the quadratic terms along specific direct…
▽ More
This paper proposes new quadratic constraints (QCs) to bound a quadratic polynomial. Such QCs can be used in dissipation ineqaulities to analyze the stability and performance of nonlinear systems with quadratic vector fields. The proposed QCs utilize the sign-indefiniteness of certain classes of quadratic polynomials. These new QCs provide a tight bound on the quadratic terms along specific directions. This reduces the conservatism of the QC bounds as compared to the QCs in previous work. Two numerical examples of local stability analysis are provided to demonstrate the effectiveness of the proposed QCs.
△ Less
Submitted 8 September, 2022;
originally announced September 2022.
-
A generalization of Bring's curve in any characteristic
Authors:
Gábor Korchmáros,
Stefano Lia,
Marco Timpanella
Abstract:
Let $p\ge 7$ be a prime, and $m\ge 5$ an integer. A natural generalization of Bring's curve valid over any field $\mathbb{K}$ of zero characteristic or positive characteristic $p$, is the algebraic variety $V$ of $\textrm{PG}(m-1,\mathbb{K})$ which is the complete intersection of the projective algebraic hypersurfaces of homogeneous equations $x_1^k+\cdots +x_m^{k}=0$ with $1\leq k\leq m-2$. In po…
▽ More
Let $p\ge 7$ be a prime, and $m\ge 5$ an integer. A natural generalization of Bring's curve valid over any field $\mathbb{K}$ of zero characteristic or positive characteristic $p$, is the algebraic variety $V$ of $\textrm{PG}(m-1,\mathbb{K})$ which is the complete intersection of the projective algebraic hypersurfaces of homogeneous equations $x_1^k+\cdots +x_m^{k}=0$ with $1\leq k\leq m-2$. In positive characteristic, we also assume $m\le p-1$. Up to a change of coordinates in $\textrm{PG}(m-1,\mathbb{K})$, we show that $V$ is a projective, absolutely irreducible, non-singular curve of $\textrm{PG}(m-2,\mathbb{K})$ with degree $(m-2)!$, genus $\mathfrak{g}= \frac{1}{4} ((m-2)(m-3)-4)(m-2)!+1$, and tame automorphism group $G$ isomorphic to $\textrm{Sym}_m$. We compute the genera of the quotient curves of $V$ with respect to the stabilizers of one or more coordinates under the action of $G$. In positive characteristic, the two extremal cases, $m=5$ and $m=p-1$ are investigated further. For $m=5$, we show that there exist infinitely many primes $p$ such that $V$ is $\mathbb{F}_{p^2}$-maximal curve of genus $4$. The smallest such primes are $29,59,149,239,839$. For $m=p-1$ we prove that $V$ has as many as $(p-2)!$ points over $\mathbb{F}_p$ and has no further points over $\mathbb{F}_{p^2}$. We also point out a connection with previous work of Rédei about the famous Minkowski conjecture proven by Hajós (1941), as well as with a more recent result of Rodríguez Villegas, Voloch and Zagier (2001) on plane curves attaining the Stöhr-Voloch bound, and the regular sequence problem for systems of diagonal equations introduced by Conca, Krattenthaler and Watanabe (2009).
△ Less
Submitted 12 January, 2022; v1 submitted 20 December, 2021;
originally announced December 2021.
-
Robust Control Barrier Functions with Sector-Bounded Uncertainties
Authors:
Jyot Buch,
Shih-Chi Liao,
Peter Seiler
Abstract:
This paper focuses on safety critical control with sector-bounded uncertainties at the plant input. The uncertainties can represent nonlinear and/or time-varying components. We propose a new robust control barrier function (RCBF) approach to enforce safety requirements in the presence of these uncertainties. The primary objective is to minimally alter the given baseline control command to guarante…
▽ More
This paper focuses on safety critical control with sector-bounded uncertainties at the plant input. The uncertainties can represent nonlinear and/or time-varying components. We propose a new robust control barrier function (RCBF) approach to enforce safety requirements in the presence of these uncertainties. The primary objective is to minimally alter the given baseline control command to guarantee safety in the presence of modeled uncertainty. The resulting min-norm optimization problem can be recast as a Second-Order Cone Program (SOCP) to enable online implementation. Properties of this controller are studied and a numerical example is provided to illustrate the effectiveness of this approach.
△ Less
Submitted 6 September, 2021;
originally announced September 2021.
-
Analysis of tensor methods for stochastic models of gene regulatory networks
Authors:
Shuohao Liao
Abstract:
The tensor-structured parametric analysis (TPA) has been recently developed for simulating and analysing stochastic behaviours of gene regulatory networks [Liao et. al., 2015]. The method employs the Fokker-Planck approximation of the chemical master equation, and uses the Quantized Tensor Train (QTT) format, as a low-parametric tensor-structured representation of classical matrices and vectors, t…
▽ More
The tensor-structured parametric analysis (TPA) has been recently developed for simulating and analysing stochastic behaviours of gene regulatory networks [Liao et. al., 2015]. The method employs the Fokker-Planck approximation of the chemical master equation, and uses the Quantized Tensor Train (QTT) format, as a low-parametric tensor-structured representation of classical matrices and vectors, to approximate the high-dimensional stationary probability distribution. This paper presents a detailed error analysis of all approximation steps of the TPA regarding validity and accuracy, including modelling error, artificial boundary error, discretization error, tensor rounding error, and algebraic error. The error analysis is illustrated using computational examples, including the death-birth process and a 50-dimensional isomerization reaction chain.
△ Less
Submitted 6 October, 2019;
originally announced October 2019.
-
Optimal estimation for the Fu**o-Morley interpolation error constants
Authors:
Shih-Kang Liao,
Yu-Chen Shu,
Xuefeng Liu
Abstract:
The quantitative estimation for the interpolation error constants of the Fu**o-Morley interpolation operator is considered. To give concrete upper bounds for the constants, which is reduced to the problem of providing lower bounds for eigenvalues of bi-harmonic operators, a new algorithm based on the finite element method along with verified computation is proposed. In addition, the quantitative…
▽ More
The quantitative estimation for the interpolation error constants of the Fu**o-Morley interpolation operator is considered. To give concrete upper bounds for the constants, which is reduced to the problem of providing lower bounds for eigenvalues of bi-harmonic operators, a new algorithm based on the finite element method along with verified computation is proposed. In addition, the quantitative analysis for the variation of eigenvalues upon the perturbation of the shape of triangles is provided. Particularly, for triangles with longest edge length less than one, the optimal estimation for the constants is provided. An online demo with source codes of the constants calculation is available at http://www.xfliu.org/onlinelab/.
△ Less
Submitted 30 March, 2019;
originally announced April 2019.
-
Curves with more than one inner Galois point
Authors:
Gábor Korchmáros,
Stefano Lia,
Marco Timpanella
Abstract:
Let $\mathcal{C}$ be an irreducible plane curve of $\text{PG}(2,\mathbb{K})$ where $\mathbb{K}$ is an algebraically closed field of characteristic $p\geq 0$. A point $Q\in \mathcal{C}$ is an inner Galois point for $\mathcal{C}$ if the projection $π_Q$ from $Q$ is Galois. Assume that $\mathcal{C}$ has two different inner Galois points $Q_1$ and $Q_2$, both simple. Let $G_1$ and $G_2$ be the respect…
▽ More
Let $\mathcal{C}$ be an irreducible plane curve of $\text{PG}(2,\mathbb{K})$ where $\mathbb{K}$ is an algebraically closed field of characteristic $p\geq 0$. A point $Q\in \mathcal{C}$ is an inner Galois point for $\mathcal{C}$ if the projection $π_Q$ from $Q$ is Galois. Assume that $\mathcal{C}$ has two different inner Galois points $Q_1$ and $Q_2$, both simple. Let $G_1$ and $G_2$ be the respective Galois groups. Under the assumption that $G_i$ fixes $Q_i$, for $i=1,2$, we provide a complete classification of $G=\langle G_1,G_2 \rangle$ and we exhibit a curve for each such $G$. Our proof relies on deeper results from group theory.
△ Less
Submitted 3 April, 2020; v1 submitted 26 February, 2019;
originally announced February 2019.
-
An $\mathbb{F}_{p^2}$-maximal Wiman's sextic and its automorphisms
Authors:
Massimo Giulietti,
Motoko Kawakita,
Stefano Lia,
Maria Montanucci
Abstract:
In 1895 Wiman introduced a Riemann surface $\mathcal{W}$ of genus $6$ over the complex field $\mathbb{C}$ defined by the homogeneous equation $\mathcal{W}:X^6+Y^6+Z^6+(X^2+Y^2+Z^2)(X^4+Y^4+Z^4)-12X^2 Y^2 Z^2=0$, and showed that its full automorphism group is isomorphic to the symmetric group $S_5$. The curve $\mathcal{W}$ was previously studied as a curve defined over a finite field…
▽ More
In 1895 Wiman introduced a Riemann surface $\mathcal{W}$ of genus $6$ over the complex field $\mathbb{C}$ defined by the homogeneous equation $\mathcal{W}:X^6+Y^6+Z^6+(X^2+Y^2+Z^2)(X^4+Y^4+Z^4)-12X^2 Y^2 Z^2=0$, and showed that its full automorphism group is isomorphic to the symmetric group $S_5$. The curve $\mathcal{W}$ was previously studied as a curve defined over a finite field $\mathbb{F}_{p^2}$ where $p$ is a prime, and necessary and sufficient conditions for its maximality over $\mathbb{F}_{p^2}$ were obtained. In this paper we first show that the result of Wiman concerning the automorphism group of $\mathcal{W}$ holds also over an algebraically closed field $\mathbb{K}$ of positive characteristic $p$, provided that $p \geq 7$. For $p=2,3$ the polynomial $X^6+Y^6+Z^6+(X^2+Y^2+Z^2)(X^4+Y^4+Z^4)-12X^2 Y^2 Z^2$ is not irreducible over $\mathbb{K}$, while for $p=5$ the curve $\mathcal{W}$ is rational and $Aut(\mathcal{W}) \cong PGL(2,\mathbb{K})$. We also show that the $\mathbb{F}_{19^2}$-maximal Wiman's sextic $\mathcal{W}$ is not Galois covered by the Hermitian curve $\mathcal{H}_{19}$ over $\mathbb{F}_{19^2}$.
△ Less
Submitted 15 May, 2018;
originally announced May 2018.
-
Stochastic Dynamic Optimal Power Flow in Distribution Network with Distributed Renewable Energy and Battery Energy Storage
Authors:
Chenghui Tang,
Jian Xu,
Yuanzhang Sun,
Siyang Liao,
De** Ke,
Xiong Li
Abstract:
The penetration of distributed renewable energy (DRE) greatly raises the risk of distribution network operation such as peak shaving and voltage stability. Battery energy storage (BES) has been widely accepted as the most potential application to cope with the challenge of high penetration of DRE. To cope with the uncertainties and variability of DRE, a stochastic day-ahead dynamic optimal power f…
▽ More
The penetration of distributed renewable energy (DRE) greatly raises the risk of distribution network operation such as peak shaving and voltage stability. Battery energy storage (BES) has been widely accepted as the most potential application to cope with the challenge of high penetration of DRE. To cope with the uncertainties and variability of DRE, a stochastic day-ahead dynamic optimal power flow (DOPF) and its algorithm are proposed. The overall economy is achieved by fully considering the DRE, BES, electricity purchasing and active power losses. The rainflow algorithm-based cycle counting method of BES is incorporated in the DOPF model to capture the cell degradation, greatly extending the expected BES lifetime and achieving a better economy. DRE scenarios are generated to consider the uncertainties and correlations based on the Copula theory. To solve the DOPF model, we propose a Lagrange relaxation-based algorithm, which has a significantly reduced complexity with respect to the existing techniques. For this reason, the proposed algorithm enables much more scenarios incorporated in the DOPF model and better captures the DRE uncertainties and correlations. Finally, numerical studies for the day-ahead DOPF in the IEEE 123-node test feeder are presented to demonstrate the merits of the proposed method. Results show that the actual BES life expectancy of the proposed model has increased to 4.89 times compared with the traditional ones. The problems caused by DRE are greatly alleviated by fully capturing the uncertainties and correlations with the proposed method.
△ Less
Submitted 29 June, 2017;
originally announced June 2017.
-
Nonlinear Modulational Instability of Dispersive PDE Models
Authors:
Jiayin **,
Shasha Liao,
Zhiwu Lin
Abstract:
We prove nonlinear modulational instability for both periodic and localized perturbations of periodic traveling waves for several dispersive PDEs, including the KDV type equations (e.g. the Whitham equation, the generalized KDV equation, the Benjamin-Ono equation), the nonlinear Schrödinger equation and the BBM equation. First, the semigroup estimates required for the nonlinear proof are obtained…
▽ More
We prove nonlinear modulational instability for both periodic and localized perturbations of periodic traveling waves for several dispersive PDEs, including the KDV type equations (e.g. the Whitham equation, the generalized KDV equation, the Benjamin-Ono equation), the nonlinear Schrödinger equation and the BBM equation. First, the semigroup estimates required for the nonlinear proof are obtained by using the Hamiltonian structures of the linearized PDEs; Second, for KDV type equations the loss of derivative in the nonlinear term is overcome in two complementary cases: (1) for smooth nonlinear terms and general dispersive operators, we construct higher order approximation solutions and then use energy type estimates; (2) for nonlinear terms of low regularity, with some additional assumption on the dispersive operator, we use a bootstrap argument to overcome the loss of derivative.
△ Less
Submitted 27 April, 2017;
originally announced April 2017.
-
On the Generalized Wavelet-Galerkin Method
Authors:
Zhaochen Yang,
Shijun Liao
Abstract:
In the frame of the traditional wavelet-Galerkin method based on the compactly supported wavelets, it is important to calculate the so-called connection coefficients that are some integrals whose integrands involve products of wavelets, their derivatives as well as some known coefficients in considered differential equations. However, even for linear differential equations with non-constant coeffi…
▽ More
In the frame of the traditional wavelet-Galerkin method based on the compactly supported wavelets, it is important to calculate the so-called connection coefficients that are some integrals whose integrands involve products of wavelets, their derivatives as well as some known coefficients in considered differential equations. However, even for linear differential equations with non-constant coefficient, the computation of connect coefficients becomes rather time-consuming and often even impossible. In this paper, we propose a generalized wavelet-Galerkin method based on the compactly supported wavelets, which is computationally very efficient even for differential equations with non-constant coefficients, no matter linear or nonlinear problems. Some related mathematical theorems are proved, based on which the basic ideas of the generalized wavelet-Galerkin method are described in details. In addition, some examples are used to illustrate its validity and high efficiency. A nonlinear example shows that the generalized wavelet-Galerkin method is not only valid to solve nonlinear problems, but also possesses the ability to find new solutions of multi-solution problems. This method can be widely applied to various types of both linear and nonlinear differential equations in science and engineering.
△ Less
Submitted 25 September, 2017; v1 submitted 22 December, 2016;
originally announced December 2016.
-
On the homotopy analysis method for backward/forward-backward stochastic differential equations
Authors:
Xiaoxu Zhong,
Shijun Liao
Abstract:
In this paper, an analytic approximation method for highly nonlinear equations, namely the homotopy analysis method (HAM), is employed to solve some backward stochastic differential equations (BSDEs) and forward-backward stochastic differential equations (FBSDEs), including one with high dimensionality (up to 12 dimensions). By means of the HAM, convergent series solutions can be quickly obtained…
▽ More
In this paper, an analytic approximation method for highly nonlinear equations, namely the homotopy analysis method (HAM), is employed to solve some backward stochastic differential equations (BSDEs) and forward-backward stochastic differential equations (FBSDEs), including one with high dimensionality (up to 12 dimensions). By means of the HAM, convergent series solutions can be quickly obtained with high accuracy for a FBSDE in a 6 dimensional case, within less than $1\%$ CPU time used by a currently reported numerical method for the same case [34]. Especially, as dimensionality enlarges, the increase of computational complexity for the HAM is not as dramatic as this numerical method. All of these demonstrate the validity and high efficiency of the HAM for the backward/forward-backward stochastic differential equations in science, engineering and finance.
△ Less
Submitted 19 December, 2016;
originally announced December 2016.
-
Analytic Solutions of Von Karman Plate under Arbitrary Uniform Pressure (II): Equations in Integral Form
Authors:
Xiaoxu Zhong,
Shijun Liao
Abstract:
In this paper, the homotopy analysis method (HAM) is successfully applied to solve the Von Karman's plate equations in the integral form for a circular plate with the clamped boundary under an arbitrary uniform external pressure. Two HAM-based approaches are proposed. One is for a given external load Q, the other for a given central deflection. Both of them are valid for an arbitrary uniform exter…
▽ More
In this paper, the homotopy analysis method (HAM) is successfully applied to solve the Von Karman's plate equations in the integral form for a circular plate with the clamped boundary under an arbitrary uniform external pressure. Two HAM-based approaches are proposed. One is for a given external load Q, the other for a given central deflection. Both of them are valid for an arbitrary uniform external pressure by means of choosing a proper value of the so-called convergence-control parameters c_1 and c_2 in the frame of the HAM. Besides, it is found that iteration can greatly accelerate the convergence of solution series. In addition, we prove that the interpolation iterative method is a special case of the HAM-based 1st-order iteration approach for a given external load Q when c_1=-theta and c_2=-1, where theta denotes the interpolation parameter of the interpolation iterative method. Therefore, like Zheng and Zhou}, one can similarly prove that the HAM-based approaches are valid for an arbitrary uniform external pressure, at least in some special cases such as c_1=-theta and c_2=-1. Furthermore, it is found that the HAM-based iteration approaches converge much faster than the interpolation iterative method. All of these illustrate the validity and potential of the HAM for the famous Von Karman's plate equations, and show the superiority of the HAM over perturbation methods.
△ Less
Submitted 21 April, 2016;
originally announced April 2016.
-
Analytic Solutions of Von Karman Plate under Arbitrary Uniform Pressure --- Equations in Differential Form
Authors:
Xiaoxu Zhong,
Shijun Liao
Abstract:
The large deflection of a circular thin plate under uniform external pressure is a classic problem in solid mechanics, dated back to Von K{á}rm{á}n \cite{Karman}. {This problem is reconsidered in this paper using an analytic approximation method, namely the homotopy analysis method (HAM).} Convergent series solutions are obtained for four types of boundary conditions with rather high nonlinearity,…
▽ More
The large deflection of a circular thin plate under uniform external pressure is a classic problem in solid mechanics, dated back to Von K{á}rm{á}n \cite{Karman}. {This problem is reconsidered in this paper using an analytic approximation method, namely the homotopy analysis method (HAM).} Convergent series solutions are obtained for four types of boundary conditions with rather high nonlinearity, even in the case of $w(0)/h>20$, where $w(0)/h$ denotes the ratio of central deflection to plate thickness. Especially, we prove that the previous perturbation methods for an arbitrary perturbation quantity (including the Vincent's [2] and Chien's [3] methods) and the modified iteration method [4] are only the special cases of the HAM. However, the HAM works well even when the perturbation methods become invalid. All of these demonstrate the validity and potential of the HAM for the Von K{á}rm{á}n's plate equations, and show the superiority of the HAM over perturbation methods for highly nonlinear problems
△ Less
Submitted 30 November, 2016; v1 submitted 21 April, 2016;
originally announced April 2016.
-
On the method of directly defining inverse map** for nonlinear differential equations
Authors:
Shijun Liao,
Yinlong Zhao
Abstract:
In scientific computing, it is time-consuming to calculate an inverse operator ${\mathscr A}^{-1}$ of a differential equation ${\mathscr A}\varphi = f$, especially when ${\mathscr A}$ is a highly nonlinear operator. In this paper, based on the homotopy analysis method (HAM), a new approach, namely the method of directly defining inverse map** (MDDiM), is proposed to gain analytic approximations…
▽ More
In scientific computing, it is time-consuming to calculate an inverse operator ${\mathscr A}^{-1}$ of a differential equation ${\mathscr A}\varphi = f$, especially when ${\mathscr A}$ is a highly nonlinear operator. In this paper, based on the homotopy analysis method (HAM), a new approach, namely the method of directly defining inverse map** (MDDiM), is proposed to gain analytic approximations of nonlinear differential equations. In other words, one can solve a nonlinear differential equation ${\mathscr A}\varphi = f$ by means of directly defining an inverse map** $\mathscr J$, i.e. without calculating any inverse operators. Here, the inverse map** $\mathscr J$ is even unnecessary to be explicitly expressed in a differential form, since "map**" is a more general concept than "differential operator". To guide how to directly define an inverse map** $\mathscr J$, some rules are provided. Besides, a convergence theorem is proved, which guarantees that a convergent series solution given by the MDDiM must be a solution of problems under consideration. In addition, three nonlinear differential equations are used to illustrate the validity and potential of the MDDiM, and especially the great freedom and large flexibility of directly defining inverse map**s for various types of nonlinear problems. The method of directly defining inverse map** (MDDiM) might open a completely new, more general way to solve nonlinear problems in science and engineering, which is fundamentally different from traditional methods.
△ Less
Submitted 10 November, 2015; v1 submitted 14 July, 2015;
originally announced July 2015.
-
Parameter estimation and bifurcation analysis of stochastic models of gene regulatory networks: tensor-structured methods
Authors:
Shuohao Liao,
Tomas Vejchodsky,
Radek Erban
Abstract:
Stochastic modelling provides an indispensable tool for understanding how random events at the molecular level influence cellular functions. In practice, the common challenge is to calibrate a large number of model parameters against the experimental data. A related problem is to efficiently study how the behaviour of a stochastic model depends on its parameters, i.e. whether a change in model par…
▽ More
Stochastic modelling provides an indispensable tool for understanding how random events at the molecular level influence cellular functions. In practice, the common challenge is to calibrate a large number of model parameters against the experimental data. A related problem is to efficiently study how the behaviour of a stochastic model depends on its parameters, i.e. whether a change in model parameters can lead to a significant qualitative change in model behaviour (bifurcation). In this paper, tensor-structured parametric analysis (TPA) is presented. It is based on recently proposed low-parametric tensor-structured representations of classical matrices and vectors. This approach enables simultaneous computation of the model properties for all parameter values within a parameter space. This methodology is exemplified to study the parameter estimation, robustness, sensitivity and bifurcation structure in stochastic models of biochemical networks. The TPA has been implemented in Matlab and the codes are available at http://www.stobifan.org .
△ Less
Submitted 15 March, 2015; v1 submitted 30 June, 2014;
originally announced June 2014.