-
A bridge connecting convex analysis and complex analysis and $L^2$-estimate of $d$ and $\bar\partial$
Authors:
Fusheng Deng,
**** Hu,
Weiwen Jiang,
Xiangsen Qin
Abstract:
We propose a way to connect complex analysis and convex analysis. As applications, we derive some results about $L^2$-estimate for $d$-equation and prove some curvature positivity related to convex analysis from well known $L^2$-estimate for $\bar\partial$-equation or the results we prove in complex analysis.
We propose a way to connect complex analysis and convex analysis. As applications, we derive some results about $L^2$-estimate for $d$-equation and prove some curvature positivity related to convex analysis from well known $L^2$-estimate for $\bar\partial$-equation or the results we prove in complex analysis.
△ Less
Submitted 14 May, 2024;
originally announced May 2024.
-
Curvature formulas and curvature strict positivity of direct image bundles
Authors:
Xiangsen Qin
Abstract:
In this paper, we consider the curvature strict positivity of direct image bundles (vector bundles) associated to a strictly pseudoconvex family of bounded domains. The main result is that the curvature of the direct image bundle (vector bundles) associated to a strictly pseudoconvex family of bounded domains is strictly positive in the sense of Nakano even if the curvature of the original vector…
▽ More
In this paper, we consider the curvature strict positivity of direct image bundles (vector bundles) associated to a strictly pseudoconvex family of bounded domains. The main result is that the curvature of the direct image bundle (vector bundles) associated to a strictly pseudoconvex family of bounded domains is strictly positive in the sense of Nakano even if the curvature of the original vector bundle is just Nakano positive. Based on our (I and my coauthors) previous results, this result further demonstrates that strictly pseudoconvex domains and pseudoconvex domains have very different geometric properties. To consider the curvature strict positivity, we will first construct the curvature formulas for vector bundles, then the curvature strict positivity of a strictly pseudoconvex family of bounded domains will be a simple consequence of it. As applications to convex analysis, we get a corresponding version of Prékopa's Theorem, i.e., we get the strict positivity of a strictly convex family of bounded domains.
△ Less
Submitted 28 March, 2024;
originally announced March 2024.
-
Economic Capacity Withholding Bounds of Competitive Energy Storage Bidders
Authors:
Xin Qin,
Ioannis Lestas,
Bolun Xu
Abstract:
Economic withholding in electricity markets refers to generators bidding higher than their true marginal fuel cost, and is a typical approach to exercising market power. However, existing market designs require storage to design bids strategically based on their own future price predictions, motivating storage to conduct economic withholding without assuming market power. As energy storage takes u…
▽ More
Economic withholding in electricity markets refers to generators bidding higher than their true marginal fuel cost, and is a typical approach to exercising market power. However, existing market designs require storage to design bids strategically based on their own future price predictions, motivating storage to conduct economic withholding without assuming market power. As energy storage takes up more significant roles in wholesale electricity markets, understanding its motivations for economic withholding and the consequent effects on social welfare becomes increasingly vital. This paper derives a theoretical framework to study the economic capacity withholding behavior of storage participating in competitive electricity markets and validate our results in simulations based on the ISO New England system. We demonstrate that storage bids can reach unbounded high levels under conditions where future price predictions show bounded expectations but unbounded deviations. Conversely, in scenarios with peak price limitations, we show the upper bounds of storage bids are grounded in bounded price expectations. Most importantly, we show that storage capacity withholding can potentially lower the overall system cost when price models account for system uncertainties. Our paper reveals energy storage is not a market manipulator but an honest player contributing to the social welfare. It helps electricity market researchers and operators better understand the economic withholding behavior of storage and reform market policies to maximize storage contributing to a cost-efficient decolonization.
△ Less
Submitted 8 March, 2024;
originally announced March 2024.
-
$\bar\partial$ Poincaré inequality and an improved $L^2$-estimate of $\bar\partial$ on bounded strictly pseudoconvex domains
Authors:
Fusheng Deng,
Weiwen Jiang,
Xiangsen Qin
Abstract:
We prove several inequalities related to the $\bar\partial$-operator on bounded domains in $\mathbb{C}^n$, which can be viewed as a $\bar\partial$-version of the classical Poincaré inequality and its various generalizations, and apply them to derive a generalization of Sobolev Inequality with Trace in $\mathbb{R}^n$. As applications to complex analysis, we get an integral form of Maximum Modulus P…
▽ More
We prove several inequalities related to the $\bar\partial$-operator on bounded domains in $\mathbb{C}^n$, which can be viewed as a $\bar\partial$-version of the classical Poincaré inequality and its various generalizations, and apply them to derive a generalization of Sobolev Inequality with Trace in $\mathbb{R}^n$. As applications to complex analysis, we get an integral form of Maximum Modulus Principle for holomorphic functions, and an improvement of Hörmander's $L^2$-estimate for $\bar\partial$ on bounded strictly pseudoconvex domains.
△ Less
Submitted 6 March, 2024; v1 submitted 28 January, 2024;
originally announced January 2024.
-
Multi-scale self-similar finite-time blowups of the Constantin-Lax-Majda model for the 3D Euler equations
Authors:
De Huang,
Xiang Qin,
Xiuyuan Wang
Abstract:
We construct a new class of asymptotically self-similar finite-time blowups that have two collapsing spatial scales for the 1D Constantin-Lax-Majda model. The larger spatial scale measures the decreasing distance between the bulk of the solution and the eventual blowup point, while the smaller scale measures the shrinking size of the bulk of the solution. Similar multi-scale blowup phenomena have…
▽ More
We construct a new class of asymptotically self-similar finite-time blowups that have two collapsing spatial scales for the 1D Constantin-Lax-Majda model. The larger spatial scale measures the decreasing distance between the bulk of the solution and the eventual blowup point, while the smaller scale measures the shrinking size of the bulk of the solution. Similar multi-scale blowup phenomena have recently been discovered for many higher dimensional equations. Our study may provide some understanding of the common mechanism behind these multi-scale blowups.
△ Less
Submitted 1 February, 2024; v1 submitted 25 January, 2024;
originally announced January 2024.
-
Coderivatives with respect to a set of the normal cone map**s and their applications
Authors:
Vo Duc Thinh,
Xiaolong Qin,
Jen-Chih Yao
Abstract:
Establishing explicit formulas of coderivatives with respect to a set of the normal cone map** to a polyhedron, the solution set of a variational inequalities system, is one of the main goals of this paper. By using our coderivative formulas, we provide a characteristic of the Aubin property with respect to a set of that normal cone map** and thereby give necessary optimality conditions for si…
▽ More
Establishing explicit formulas of coderivatives with respect to a set of the normal cone map** to a polyhedron, the solution set of a variational inequalities system, is one of the main goals of this paper. By using our coderivative formulas, we provide a characteristic of the Aubin property with respect to a set of that normal cone map** and thereby give necessary optimality conditions for simple bilevel optimization problems under weak qualification conditions.
△ Less
Submitted 25 December, 2023;
originally announced December 2023.
-
Formulas for calculating of generalized differentials with respect to a set and their applications
Authors:
Vo Duc Thinh,
Xiaolong Qin,
Jen-Chih Yao
Abstract:
This paper provides formulas for calculating of Fréchet and limiting normal cones with respect to a set of sets and the limiting coderivative with respect to a set of set-valued map**s. These calculations are obtained under some qualification constraints and are expressed in the similar forms of these ones of Fréchet and limiting normal cones and the limiting coderivative. By using these obtaine…
▽ More
This paper provides formulas for calculating of Fréchet and limiting normal cones with respect to a set of sets and the limiting coderivative with respect to a set of set-valued map**s. These calculations are obtained under some qualification constraints and are expressed in the similar forms of these ones of Fréchet and limiting normal cones and the limiting coderivative. By using these obtained formulas, we state explicit necessary optimality conditions with respect to a set for optimization problems with equilibrium constraints under certain qualification conditions. Some illustrated examples to obtained results are also established.
△ Less
Submitted 15 November, 2023;
originally announced November 2023.
-
Optimizing Chance-Constrained Submodular Problems with Variable Uncertainties
Authors:
Xiankun Yan,
Anh Viet Do,
Feng Shi,
Xiaoyu Qin,
Frank Neumann
Abstract:
Chance constraints are frequently used to limit the probability of constraint violations in real-world optimization problems where the constraints involve stochastic components. We study chance-constrained submodular optimization problems, which capture a wide range of optimization problems with stochastic constraints. Previous studies considered submodular problems with stochastic knapsack constr…
▽ More
Chance constraints are frequently used to limit the probability of constraint violations in real-world optimization problems where the constraints involve stochastic components. We study chance-constrained submodular optimization problems, which capture a wide range of optimization problems with stochastic constraints. Previous studies considered submodular problems with stochastic knapsack constraints in the case where uncertainties are the same for each item that can be selected. However, uncertainty levels are usually variable with respect to the different stochastic components in real-world scenarios, and rigorous analysis for this setting is missing in the context of submodular optimization. This paper provides the first such analysis for this case, where the weights of items have the same expectation but different dispersion. We present greedy algorithms that can obtain a high-quality solution, i.e., a constant approximation ratio to the given optimal solution from the deterministic setting. In the experiments, we demonstrate that the algorithms perform effectively on several chance-constrained instances of the maximum coverage problem and the influence maximization problem.
△ Less
Submitted 23 September, 2023;
originally announced September 2023.
-
Asymptotic behavior of solutions for the thermoviscous acoustic systems
Authors:
Wenhui Chen,
Yan Liu,
Mengjun Ma,
Xulong Qin
Abstract:
We study some asymptotic properties of solutions for the acoustic coupled systems in thermoviscous fluids which was proposed by [Karlsen-Bruus, \emph{Phys. Rev. E} (2015)]. Basing on the WKB analysis and the Fourier analysis, we derive optimal estimates and large time asymptotic profiles of the energy term via diagonalization procedure, and of the velocity potential via reduction methodology. We f…
▽ More
We study some asymptotic properties of solutions for the acoustic coupled systems in thermoviscous fluids which was proposed by [Karlsen-Bruus, \emph{Phys. Rev. E} (2015)]. Basing on the WKB analysis and the Fourier analysis, we derive optimal estimates and large time asymptotic profiles of the energy term via diagonalization procedure, and of the velocity potential via reduction methodology. We found that the wave effect has a dominant influence for lower dimensions comparing with thermal-viscous effects. Moreover, by employing suitable energy methods, we rigorously demonstrate global (in time) inviscid limits as the momentum diffusion coefficient vanishes, whose limit model can be regarded as the thermoelastic acoustic systems in isotropic solids. These results explain some influence of the momentum diffusion on asymptotic behavior of solutions.
△ Less
Submitted 14 August, 2023;
originally announced August 2023.
-
On the exact self-similar finite-time blowup of the Hou-Luo model with smooth profiles
Authors:
De Huang,
Xiang Qin,
Xiuyuan Wang,
Dongyi Wei
Abstract:
We show that the 1D Hou-Luo model on the real line admits exact self-similar finite-time blowup solutions with smooth self-similar profiles. The existence of these profiles is established via a fixed-point method that is purely analytic. We also prove that the profiles satisfy some monotonicity and convexity properties that are unknown before, and we give rigorous estimates on the algebraic decay…
▽ More
We show that the 1D Hou-Luo model on the real line admits exact self-similar finite-time blowup solutions with smooth self-similar profiles. The existence of these profiles is established via a fixed-point method that is purely analytic. We also prove that the profiles satisfy some monotonicity and convexity properties that are unknown before, and we give rigorous estimates on the algebraic decay rates of the profiles in the far field. Our result supplements the previous computer-assisted proof of self-similar finite-time blowup for the Hou-Luo model with finer characterizations of the profiles.
△ Less
Submitted 3 August, 2023;
originally announced August 2023.
-
On new generalized differentials with respect to a set and their applications
Authors:
Xiaolong Qin,
Vo Duc Thinh,
Jen-Chih Yao
Abstract:
The notions and certain fundamental characteristics of the proximal and limiting normal cones with respect to a set are first presented in this paper. We present the ideas of the limiting coderivative and subdifferential with respect to a set of multifunctions and singleton map**s, respectively, based on these normal cones. The necessary and sufficient conditions for the Aubin property with resp…
▽ More
The notions and certain fundamental characteristics of the proximal and limiting normal cones with respect to a set are first presented in this paper. We present the ideas of the limiting coderivative and subdifferential with respect to a set of multifunctions and singleton map**s, respectively, based on these normal cones. The necessary and sufficient conditions for the Aubin property with respect to a set of multifunctions are then described by using the limiting coderivative with respect to a set. As a result of the limiting subdifferential with respect to a set, we offer the requisite optimality criteria for local solutions to optimization problems. In addition, we also provide examples to demonstrate the outcomes.
△ Less
Submitted 28 July, 2023;
originally announced July 2023.
-
A threshold dislocation dynamics method
Authors:
Xiaoxue Qin,
Alfonso H. W. Ngan,
Yang Xiang
Abstract:
The Merriman-Bence-Osher threshold dynamics method is an efficient algorithm to simulate the motion by mean curvature. It has the advantages of being easy to implement and with high efficiency. In this paper, we propose a threshold dynamics method for dislocation dynamics in a slip plane, in which the spatial operator is essentially an anisotropic fractional Laplacian. We show that this threshold…
▽ More
The Merriman-Bence-Osher threshold dynamics method is an efficient algorithm to simulate the motion by mean curvature. It has the advantages of being easy to implement and with high efficiency. In this paper, we propose a threshold dynamics method for dislocation dynamics in a slip plane, in which the spatial operator is essentially an anisotropic fractional Laplacian. We show that this threshold dislocation dynamics method is able to give { two correct leading orders} in dislocation velocity, including both the $O(\log\varepsilon)$ local curvature force and the $O(1)$ nonlocal force due to the long-range stress field generated by the dislocations as well as the force due to the applied stress, where $\varepsilon$ is the dislocation core size, { if the time step is set to be $Δt=\varepsilon$. This generalizes the available result of threshold dynamics with the corresponding fractional Laplacian, which is on the leading order $O(\logΔt)$ local curvature velocity under the isotropic kernel.} We also propose a numerical method based on spatial variable stretching to correct the mobility and to rescale the velocity for efficient and accurate simulations, which can be applied generally to any threshold dynamics method. We validate the proposed threshold dislocation dynamics method by numerical simulations of various motions and interaction of dislocations.
△ Less
Submitted 15 October, 2023; v1 submitted 25 July, 2023;
originally announced July 2023.
-
Self-similar finite-time blowups with smooth profiles of the generalized Constantin-Lax-Majda model
Authors:
De Huang,
Xiang Qin,
Xiuyuan Wang,
Dongyi Wei
Abstract:
We show that the $a$-parameterized family of the generalized Constantin-Lax-Majda model, also known as the Okamoto-Sakajo-Wunsch model, admits exact self-similar finite-time blowup solutions with interiorly smooth profiles for all $a\leq 1$. Depending on the value of $a$, these self-similar profiles are either smooth on the whole real line or compactly supported and smooth in the interior of their…
▽ More
We show that the $a$-parameterized family of the generalized Constantin-Lax-Majda model, also known as the Okamoto-Sakajo-Wunsch model, admits exact self-similar finite-time blowup solutions with interiorly smooth profiles for all $a\leq 1$. Depending on the value of $a$, these self-similar profiles are either smooth on the whole real line or compactly supported and smooth in the interior of their closed supports. The existence of these profiles is proved in a consistent way by considering the fixed-point problem of an $a$-dependent nonlinear map, based on which detailed characterizations of their regularity, monotonicity, and far-field decay rates are established. Our work unifies existing results for some discrete values of $a$ and also explains previous numerical observations for a wide range of $a$.
△ Less
Submitted 20 March, 2024; v1 submitted 10 May, 2023;
originally announced May 2023.
-
Curvature strict positivity of direct image bundles associated to pseudoconvex families of domains
Authors:
Fusheng Deng,
**** Hu,
Xiangsen Qin
Abstract:
We consider the curvature strict positivity of the direct image bundle associated to a pseudoconvex family of bounded domains. The main result is that the curvature of the direct image bundle associated to a strictly pseudoconvex family of bounded circular domains or Reinhardut domains are strictly positive in the sense of Nakano, even if the weight functions are not strictly plurisubharmonic. Thi…
▽ More
We consider the curvature strict positivity of the direct image bundle associated to a pseudoconvex family of bounded domains. The main result is that the curvature of the direct image bundle associated to a strictly pseudoconvex family of bounded circular domains or Reinhardut domains are strictly positive in the sense of Nakano, even if the weight functions are not strictly plurisubharmonic. This result gives a new geometric insight about the property of strict pseudoconvexity, and has some applications in complex analysis and convex analysis. We investigate that the main result implies a remarkable result of Berndtsson which states that, for an ample vector bundle $E$ over a compact complex manifold $X$ and any $k\geq 0$, the bundle $S^kE\otimes\det E$ admits a Hermitian metric whose curvature is strictly positive in the sense of Nakano, where $S^kE$ is the $k$-th symmetric product of $E$. The two main ingredients in the argument of the main theorems are Berndtsson's estimate of the lower bound of curvature of direct image bundles and Deng-Ning-Wang-Zhou's characterization of the curvature Nakano positivity of Hermitian vector bundles in terms of $L^2$-estimate of $\bar\partial$.
△ Less
Submitted 31 December, 2022;
originally announced January 2023.
-
Detecting Temporal shape changes with the Euler Characteristic Transform
Authors:
Lewis Marsh,
Felix Y. Zhou,
Xiao Qin,
Xin Lu,
Helen M. Byrne,
Heather A. Harrington
Abstract:
Organoids are multi-cellular structures which are cultured in vitro from stem cells to resemble specific organs (e.g., brain, liver) in their three-dimensional composition. Dynamic changes in the shape and composition of these model systems can be used to understand the effect of mutations and treatments in health and disease. In this paper, we propose a new technique in the field of topological d…
▽ More
Organoids are multi-cellular structures which are cultured in vitro from stem cells to resemble specific organs (e.g., brain, liver) in their three-dimensional composition. Dynamic changes in the shape and composition of these model systems can be used to understand the effect of mutations and treatments in health and disease. In this paper, we propose a new technique in the field of topological data analysis for DEtecting Temporal shape changes with the Euler Characteristic Transform (DETECT). DETECT is a rotationally invariant signature of dynamically changing shapes. We demonstrate our method on a data set of segmented videos of mouse small intestine organoid experiments and show that it outperforms classical shape descriptors. We verify our method on a synthetic organoid data set and illustrate how it generalises to 3D. We conclude that DETECT offers rigorous quantification of organoids and opens up computationally scalable methods for distinguishing different growth regimes and assessing treatment effects.
△ Less
Submitted 22 December, 2022; v1 submitted 21 December, 2022;
originally announced December 2022.
-
The influence of viscous dissipations on the nonlinear acoustic wave equation with second sound
Authors:
Wenhui Chen,
Yan Liu,
Alessandro Palmieri,
Xulong Qin
Abstract:
We study the effect of a viscous dissipation on the Cauchy problem for a Cattaneo-type model in nonlinear acoustics, established by applying the Lighthill approximation for the viscous or inviscid fluid model. The contribution of this paper is twofold. For the nonlinear viscous Cattaneo-type model involving a fractional Laplacian $(-Δ)^α$ in the viscous dam** with $α\in[0,1]$, we derive optimal…
▽ More
We study the effect of a viscous dissipation on the Cauchy problem for a Cattaneo-type model in nonlinear acoustics, established by applying the Lighthill approximation for the viscous or inviscid fluid model. The contribution of this paper is twofold. For the nonlinear viscous Cattaneo-type model involving a fractional Laplacian $(-Δ)^α$ in the viscous dam** with $α\in[0,1]$, we derive optimal decay rates for global (in time) solutions with small data in certain Sobolev spaces. Furthermore, by introducing a threshold $α=1/2$ for the power of the fractional viscous dissipation, we derive an anomalous diffusion profile when $α\in[0,1/2)$ and a diffusion wave profile when $α\in[1/2,1]$ for large-time. Whereas, for the nonlinear inviscid Cattaneo-type model (or the Jordan-Moore-Gibson-Thompson equation in the critical case), we obtain the blow-up of the energy solutions in finite time under suitable assumptions for the initial data. Thus, the presence of a viscous dissipation in the nonlinear Cattaneo-type model is a criterion for the global (in time) existence and blow-up of solutions.
△ Less
Submitted 14 August, 2023; v1 submitted 2 November, 2022;
originally announced November 2022.
-
Birational geometry of Beauville-Mukai systems III: asymptotic behavior
Authors:
Xuqiang Qin,
Justin Sawon
Abstract:
Suppose that a Hilbert scheme of points on a K3 surface S of Picard rank one admits a rational Lagrangian fibration. We show that if the degree of the surface is sufficiently large compared to the number of points, then the Hilbert scheme is the unique hyperkähler manifold in its birational class. In particular, the Hilbert scheme is a Lagrangian fibration itself, which we realize as coming from a…
▽ More
Suppose that a Hilbert scheme of points on a K3 surface S of Picard rank one admits a rational Lagrangian fibration. We show that if the degree of the surface is sufficiently large compared to the number of points, then the Hilbert scheme is the unique hyperkähler manifold in its birational class. In particular, the Hilbert scheme is a Lagrangian fibration itself, which we realize as coming from a (twisted) Beauville-Mukai system on a Fourier-Mukai partner of S. We also show that when the degree of the surface is small our method can be used to find all birational models of the Hilbert scheme.
△ Less
Submitted 6 October, 2022;
originally announced October 2022.
-
Birational geometry of Beauville-Mukai systems II: general theory in low ranks
Authors:
Xuqiang Qin,
Justin Sawon
Abstract:
Via wall-crossing, we study the birational geometry of Beauville-Mukai systems on K3 surfaces with Picard rank one. We show that there is a class of walls which are always present in the movable cones of Beauville-Mukai systems. We give a complete description of the birational geometry of rank two Beauville-Mukai systems when the genus of the surface is small.
Via wall-crossing, we study the birational geometry of Beauville-Mukai systems on K3 surfaces with Picard rank one. We show that there is a class of walls which are always present in the movable cones of Beauville-Mukai systems. We give a complete description of the birational geometry of rank two Beauville-Mukai systems when the genus of the surface is small.
△ Less
Submitted 25 July, 2022;
originally announced July 2022.
-
Birational geometry of Beauville-Mukai systems I: the rank three and genus two case
Authors:
Xuqiang Qin,
Justin Sawon
Abstract:
We study wall-crossing for the Beauville-Mukai system of rank three on a general genus two K3 surface. We show that such a system is related to the Hilbert scheme of ten points on the surface by a sequence of flops, whose exceptional loci can be described as Brill-Noether loci. We also obtain Brill-Noether type results for sheaves in the Beauville-Mukai system.
We study wall-crossing for the Beauville-Mukai system of rank three on a general genus two K3 surface. We show that such a system is related to the Hilbert scheme of ten points on the surface by a sequence of flops, whose exceptional loci can be described as Brill-Noether loci. We also obtain Brill-Noether type results for sheaves in the Beauville-Mukai system.
△ Less
Submitted 25 July, 2022;
originally announced July 2022.
-
Bridgeland stability of minimal instanton bundles on Fano threefolds
Authors:
Xuqiang Qin
Abstract:
We prove that minimal instanton bundles on a Fano threefold $X$ of Picard rank one and index two are semistable objects in the Kuznetsov component $\mathsf{Ku}(X)$, with respect to the stability conditions constructed by Bayer, Lahoz, Macrì and Stellari. When the degree of $X$ is at least $3$, we show torsion free generalizations of minimal instantons are also semistable objects. As a result, we d…
▽ More
We prove that minimal instanton bundles on a Fano threefold $X$ of Picard rank one and index two are semistable objects in the Kuznetsov component $\mathsf{Ku}(X)$, with respect to the stability conditions constructed by Bayer, Lahoz, Macrì and Stellari. When the degree of $X$ is at least $3$, we show torsion free generalizations of minimal instantons are also semistable objects. As a result, we describe the moduli space of semistable objects with same numerical classes as minimal instantons in $\mathsf{Ku}(X)$. We also investigate the stability of acyclic extensions of non-minimal instantons.
△ Less
Submitted 22 March, 2023; v1 submitted 30 May, 2021;
originally announced May 2021.
-
Generalized Opinion Dynamics Model for Social Trust Networks in Opinion Maximization
Authors:
Changxiang He,
Jiayuan Zeng,
Shuting Liu,
Guang Zhang,
Xiaofei Qin,
Xuedian Zhang,
Lele Liu
Abstract:
In this paper, we propose a generalized opinion dynamics model (GODM), which can dynamically compute each person's expressed opinion, to solve the internal opinion maximization problem for social trust networks. In the model, we propose a new, reasonable and interpretable confidence index, which is determined by both person's social status and the evaluation around him. By using the theory of diag…
▽ More
In this paper, we propose a generalized opinion dynamics model (GODM), which can dynamically compute each person's expressed opinion, to solve the internal opinion maximization problem for social trust networks. In the model, we propose a new, reasonable and interpretable confidence index, which is determined by both person's social status and the evaluation around him. By using the theory of diagonally dominant, we obtain the optimal analytic solution of the Nash equilibrium with maximum overall opinion. We design a novel algorithm to maximize the overall with given budget by modifying the internal opinions of people in the social trust network, and prove its optimality both from the algorithm itself and the traditional optimization algorithm-ADMM algorithms with $l_1$-regulations. A series of experiments are conducted, and the experimental results show that our method is superior to the state-of-the-art in four datasets. The average benefit has promoted $67.5\%$, $83.2\%$, $31.5\%$, and $33.7\%$ on four datasets, respectively.
△ Less
Submitted 9 March, 2021;
originally announced March 2021.
-
Strong convergence of an inertial Tseng's extragradient algorithm for pseudomonotone variational inequalities with applications to optimal control problems
Authors:
Bing Tan,
Xiaolong Qin
Abstract:
We investigate an inertial viscosity-type Tseng's extragradient algorithm with a new step size to solve pseudomonotone variational inequality problems in real Hilbert spaces. A strong convergence theorem of the algorithm is obtained without the prior information of the Lipschitz constant of the operator and also without any requirement of additional projections. Finally, several computational test…
▽ More
We investigate an inertial viscosity-type Tseng's extragradient algorithm with a new step size to solve pseudomonotone variational inequality problems in real Hilbert spaces. A strong convergence theorem of the algorithm is obtained without the prior information of the Lipschitz constant of the operator and also without any requirement of additional projections. Finally, several computational tests are carried out to demonstrate the reliability and benefits of the algorithm and compare it with the existing ones. Moreover, our algorithm is also applied to solve the variational inequality problem that appears in optimal control problems. The algorithm presented in this paper improves some known results in the literature.
△ Less
Submitted 22 July, 2020;
originally announced July 2020.
-
Strong convergence of inertial extragradient algorithms for solving variational inequalities and fixed point problems
Authors:
Bing Tan,
Liya Liu,
Xiaolong Qin
Abstract:
The paper investigates two inertial extragradient algorithms for seeking a common solution to a variational inequality problem involving a monotone and Lipschitz continuous map** and a fixed point problem with a demicontractive map** in real Hilbert spaces. Our algorithms only need to calculate the projection on the feasible set once in each iteration. Moreover, they can work well without the…
▽ More
The paper investigates two inertial extragradient algorithms for seeking a common solution to a variational inequality problem involving a monotone and Lipschitz continuous map** and a fixed point problem with a demicontractive map** in real Hilbert spaces. Our algorithms only need to calculate the projection on the feasible set once in each iteration. Moreover, they can work well without the prior information of the Lipschitz constant of the cost operator and do not contain any line search process. The strong convergence of the algorithms is established under suitable conditions. Some experiments are presented to illustrate the numerical efficiency of the suggested algorithms and compare them with some existing ones.
△ Less
Submitted 6 July, 2020;
originally announced July 2020.
-
Inertial extragradient algorithms for solving variational inequalities and fixed point problems
Authors:
Bing Tan,
**g**g Fan,
Xiaolong Qin
Abstract:
The objective of this research is to explore a convex feasibility problem, which consists of a monotone variational inequality problem and a fixed point problem. We introduce four inertial extragradient algorithms that are motivated by the inertial method, the subgradient extragradient method, the Tseng's extragradient method and the Mann-type method endowed with a simple step size. Strong converg…
▽ More
The objective of this research is to explore a convex feasibility problem, which consists of a monotone variational inequality problem and a fixed point problem. We introduce four inertial extragradient algorithms that are motivated by the inertial method, the subgradient extragradient method, the Tseng's extragradient method and the Mann-type method endowed with a simple step size. Strong convergence theorems of the algorithms are established under some standard and suitable conditions enforced by the cost operators. Finally, we implement some computational tests to show the efficiency and advantages of the proposed algorithms and compare them with some existing ones.
△ Less
Submitted 30 June, 2020;
originally announced June 2020.
-
Accelerated projection-based forward-backward splitting algorithms for monotone inclusion problems
Authors:
Bing Tan,
Zheng Zhou,
Xiaolong Qin
Abstract:
In this paper, based on inertial and Tseng's ideas, we propose two projection-based algorithms to solve a monotone inclusion problem in infinite dimensional Hilbert spaces. Solution theorems of strong convergence are obtained under the certain conditions. Some numerical experiments are presented to illustrate that our algorithms are efficient than the existing results.
In this paper, based on inertial and Tseng's ideas, we propose two projection-based algorithms to solve a monotone inclusion problem in infinite dimensional Hilbert spaces. Solution theorems of strong convergence are obtained under the certain conditions. Some numerical experiments are presented to illustrate that our algorithms are efficient than the existing results.
△ Less
Submitted 4 May, 2020; v1 submitted 8 April, 2020;
originally announced April 2020.
-
Scalable Bayesian Non-linear Matrix Completion
Authors:
Xiangju Qin,
Paul Blomstedt,
Samuel Kaski
Abstract:
Matrix completion aims to predict missing elements in a partially observed data matrix which in typical applications, such as collaborative filtering, is large and extremely sparsely observed. A standard solution is matrix factorization, which predicts unobserved entries as linear combinations of latent variables. We generalize to non-linear combinations in massive-scale matrices. Bayesian approac…
▽ More
Matrix completion aims to predict missing elements in a partially observed data matrix which in typical applications, such as collaborative filtering, is large and extremely sparsely observed. A standard solution is matrix factorization, which predicts unobserved entries as linear combinations of latent variables. We generalize to non-linear combinations in massive-scale matrices. Bayesian approaches have been proven beneficial in linear matrix completion, but not applied in the more general non-linear case, due to limited scalability. We introduce a Bayesian non-linear matrix completion algorithm, which is based on a recent Bayesian formulation of Gaussian process latent variable models. To solve the challenges regarding scalability and computation, we propose a data-parallel distributed computational approach with a restricted communication scheme. We evaluate our method on challenging out-of-matrix prediction tasks using both simulated and real-world data.
△ Less
Submitted 31 July, 2019;
originally announced August 2019.
-
Maximal Cohen-Macaulay modules over a noncommutative 2-dimensional singularity
Authors:
Xiaoshan Qin,
Yanhua Wang,
James Zhang
Abstract:
We study properties of graded maximal Cohen-Macaulay modules over an N-graded locally finite, Auslander Gorenstein, and Cohen-Macaulay algebra of dimension two. As a consequence, we extend a part of McKay correspondence in dimension two to a more general setting.
We study properties of graded maximal Cohen-Macaulay modules over an N-graded locally finite, Auslander Gorenstein, and Cohen-Macaulay algebra of dimension two. As a consequence, we extend a part of McKay correspondence in dimension two to a more general setting.
△ Less
Submitted 16 June, 2019;
originally announced June 2019.
-
Boundary Layer Study for an Ocean Related System with a Small Viscosity Parameter
Authors:
Wenshu Zhou,
Xulong Qin,
Xiaodan Wei,
Xu Zhao
Abstract:
We study an ocean related system with a small viscosity parameter, which is the linearized version of the modified Primitive Equations. As the parameter goes to zero, a $L^\infty$ convergence result is obtained together with the estimation on the thickness of the boundary layer.
We study an ocean related system with a small viscosity parameter, which is the linearized version of the modified Primitive Equations. As the parameter goes to zero, a $L^\infty$ convergence result is obtained together with the estimation on the thickness of the boundary layer.
△ Less
Submitted 21 March, 2019;
originally announced March 2019.
-
Observability and Control Property for a Singular Heat Equation with Variable Coefficients
Authors:
Xue Qin,
Shumin Li
Abstract:
The goal of this paper is to analyze control properties of the parabolic equation with variable coefficients in the principal part and with a singular inverse-square potential:\,$\partial_tu(x,t)-{\rm div}(p(x)\nabla u(x,t))-(μ/{|x|^2})u(x,t)=f(x,t).$ Here $μ$ is a real constant . It was proved in the paper of Goldstein and Zhang (2003) that the equation is well-posedness when…
▽ More
The goal of this paper is to analyze control properties of the parabolic equation with variable coefficients in the principal part and with a singular inverse-square potential:\,$\partial_tu(x,t)-{\rm div}(p(x)\nabla u(x,t))-(μ/{|x|^2})u(x,t)=f(x,t).$ Here $μ$ is a real constant . It was proved in the paper of Goldstein and Zhang (2003) that the equation is well-posedness when $0\leq{μ\leq p_1(n-2)^2/4}$, and in this paper, we mainly consider the case $0\leqμ<({ p_1^2}/{ p_2})(n-2)^2/4$ , where $ p_1,p_2$ are two positive constants which satisfy:\, $ 0< p_1\leq p(x)\leq p_2 , \forall x\in\overlineΩ$. We extend the specific Carleman estimates in the paper of Ervedoza (2008) and Vancostenoble (2011) to the equation we consider and apply it to deduce an observability inequality for the system. By this inequality and the classical HUM method, we obtain that we can control the equation from any non-empty open subset as for the heat equation. Moreover, we will study the case $μ>p_2(n-2)^2/4$. We consider a sequence of regularized potentials $μ/(|x|^2+ε^2),$ and prove that we cannot stabilize the corresponding systems uniformly with respect to $ε>0,$ due to the presence of explosive modes which concentrate around the singularity.
△ Less
Submitted 13 November, 2018;
originally announced November 2018.
-
Joint Probability Distribution of Prediction Errors of ARIMA
Authors:
Xin Qin,
Jyotirmoy V. Deshmukh
Abstract:
Producing probabilistic guarantee for several steps of a predicted signal follow a temporal logic defined behavior has its rising importance in monitoring. In this paper, we derive a method to compute the joint probability distribution of prediction errors of multiple steps based on Autoregressive Integrated Moving Average(ARIMA) model. We cover scenarios in stationary process and intrinsically st…
▽ More
Producing probabilistic guarantee for several steps of a predicted signal follow a temporal logic defined behavior has its rising importance in monitoring. In this paper, we derive a method to compute the joint probability distribution of prediction errors of multiple steps based on Autoregressive Integrated Moving Average(ARIMA) model. We cover scenarios in stationary process and intrinsically stationary process for univariate and multivariate.
△ Less
Submitted 11 January, 2019; v1 submitted 12 November, 2018;
originally announced November 2018.
-
Compactification of the moduli space of minimal instantons on the Fano threefold $V_4$
Authors:
Xuqiang Qin
Abstract:
We study semi-stable sheaves of rank $2$ with Chern class $c_1=0$, $c_2=2$ and $c_3=0$ on the Fano 3-folds $V_4$ of Picard number $1$, degree $4$ and index $2$. We show the moduli space of such sheaves is isomorphic to the moduli space of semi-stable rank $2$ even degree vector bundles on a genus $2$ curve. This provides a natural smooth compatification of the moduli space of Ulrich bundles of ran…
▽ More
We study semi-stable sheaves of rank $2$ with Chern class $c_1=0$, $c_2=2$ and $c_3=0$ on the Fano 3-folds $V_4$ of Picard number $1$, degree $4$ and index $2$. We show the moduli space of such sheaves is isomorphic to the moduli space of semi-stable rank $2$ even degree vector bundles on a genus $2$ curve. This provides a natural smooth compatification of the moduli space of Ulrich bundles of rank $2$ on $V_4$.
△ Less
Submitted 19 July, 2021; v1 submitted 10 October, 2018;
originally announced October 2018.
-
Compactification of the moduli space of instanton sheaves on the Fano threefold $V_5$
Authors:
Xuqiang Qin
Abstract:
We study semistable sheaves of rank $2$ with Chern classes $c_1=0$, $c_2=2$ and $c_3=0$ on the Fano 3-fold $V_5$ of Picard number $1$, degree $5$ and index $2$. We show that the moduli space of such sheaves has a component that is isomorphic to $\mathbb{P}^5$ by identifying it with the moduli space of semistable quiver representations. This provides a natural smooth compactification of the moduli…
▽ More
We study semistable sheaves of rank $2$ with Chern classes $c_1=0$, $c_2=2$ and $c_3=0$ on the Fano 3-fold $V_5$ of Picard number $1$, degree $5$ and index $2$. We show that the moduli space of such sheaves has a component that is isomorphic to $\mathbb{P}^5$ by identifying it with the moduli space of semistable quiver representations. This provides a natural smooth compactification of the moduli space of minimal instantons, as well as Ulrich bundles of rank $2$ on $V_5$.
△ Less
Submitted 1 August, 2020; v1 submitted 10 October, 2018;
originally announced October 2018.
-
Accelerating wave-propagation algorithms with adaptive mesh refinement using the Graphics Processing Unit (GPU)
Authors:
Xinsheng Qin,
Randall J. LeVeque,
Michael R. Motley
Abstract:
Clawpack is a library for solving nonlinear hyperbolic partial differential equations using high-resolution finite volume methods based on Riemann solvers and limiters. It supports Adaptive Mesh Refinement (AMR), which is essential in solving multi-scale problems. Recently, we added capabilities to accelerate the code by using the Graphics Process Unit (GPU). Routines that manage CPU and GPU AMR d…
▽ More
Clawpack is a library for solving nonlinear hyperbolic partial differential equations using high-resolution finite volume methods based on Riemann solvers and limiters. It supports Adaptive Mesh Refinement (AMR), which is essential in solving multi-scale problems. Recently, we added capabilities to accelerate the code by using the Graphics Process Unit (GPU). Routines that manage CPU and GPU AMR data and facilitate the execution of GPU kernels are added. Customized and CPU thread-safe memory managers are designed to manage GPU and CPU memory pools, which is essential in eliminating the overhead of memory allocation and de-allocation. A global reduction is conducted every time step for dynamically adjusting the time step based on Courant number restrictions. Some small GPU kernels are merged into bigger kernels, which greatly reduces kernel launching overhead. A speed-up between $2$ and $3$ for the total running time is observed in an acoustics benchmark problem.
△ Less
Submitted 8 August, 2018;
originally announced August 2018.
-
Blow ups of $\mathbb{P^n}$ as quiver moduli for exceptional collections
Authors:
Xuqiang Qin
Abstract:
Suppose $P^n_m$ is the blow up of $\mathbb{P}^n$ at a linear subspace of dimension $m$, $\mathcal{L}=\{L_1,\ldots,L_r\}$ is a (not necessarily full) strong exceptional collection of line bundles on $P^n_m$. Let $Q$ be the quiver associated to this collection. One might wonder when is $P^n_m$ the moduli space of representations of $Q$ with dimension vector $(1,\ldots,1)$ for a suitably chosen stabi…
▽ More
Suppose $P^n_m$ is the blow up of $\mathbb{P}^n$ at a linear subspace of dimension $m$, $\mathcal{L}=\{L_1,\ldots,L_r\}$ is a (not necessarily full) strong exceptional collection of line bundles on $P^n_m$. Let $Q$ be the quiver associated to this collection. One might wonder when is $P^n_m$ the moduli space of representations of $Q$ with dimension vector $(1,\ldots,1)$ for a suitably chosen stability condition $θ$: $S\cong M_θ$. In this paper, we achieve such isomorphism using $\mathcal{L}$ of length $3$. As a result, $P^n_m$ is the moduli space of representations of a very simple quiver. Moreover, we realize the blow up as morphism of moduli spaces for the same quiver.
△ Less
Submitted 10 May, 2018; v1 submitted 23 April, 2018;
originally announced April 2018.
-
Moduli of quiver representations for exceptional collections on surfaces
Authors:
Xuqiang Qin,
Shizhuo Zhang
Abstract:
Suppose $S$ is a smooth projective surface over an algebraically closed field $k$, $\mathcal{L}=\{L_1,\ldots,L_n\}$ is a full strong exceptional collection of line bundles on $S$. Let $Q$ be the quiver associated to this collection. One might hope that $S$ is the moduli space of representations of $Q$ with dimension vector $(1,\ldots,1)$ for a suitably chosen stability condition $θ$: $S\cong M_θ$.…
▽ More
Suppose $S$ is a smooth projective surface over an algebraically closed field $k$, $\mathcal{L}=\{L_1,\ldots,L_n\}$ is a full strong exceptional collection of line bundles on $S$. Let $Q$ be the quiver associated to this collection. One might hope that $S$ is the moduli space of representations of $Q$ with dimension vector $(1,\ldots,1)$ for a suitably chosen stability condition $θ$: $S\cong M_θ$. In this paper, we show that this is the case for del Pezzo surfaces. Furthermore, we show the blow-up at a point can be recovered from an augmentation of exceptional collections (in the sense of L. Hille and M.Perling) via morphism between moduli of quiver representations.
△ Less
Submitted 28 May, 2019; v1 submitted 17 March, 2018;
originally announced March 2018.
-
Noncommutative quasi-resolutions
Authors:
X. -S. Qin,
Y. -H. Wang,
J. J. Zhang
Abstract:
The notion of a noncommutative quasi-resolution is introduced for a noncommutative noetherian algebra with singularities, even for a non-Cohen-Macaulay algebra. If A is a commutative normal Gorenstein domain, then anoncommutative quasi-resolution of A naturally produces a noncommutative crepant resolution (NCCR) of A in the sense of Van den Bergh, and vice versa. Under some mild hypotheses, we pro…
▽ More
The notion of a noncommutative quasi-resolution is introduced for a noncommutative noetherian algebra with singularities, even for a non-Cohen-Macaulay algebra. If A is a commutative normal Gorenstein domain, then anoncommutative quasi-resolution of A naturally produces a noncommutative crepant resolution (NCCR) of A in the sense of Van den Bergh, and vice versa. Under some mild hypotheses, we prove that (i) in dimension two, all noncommutative quasi-resolutions of a given non-commutative algebra are Morita equivalent, and (ii) in dimension three, all noncommutative quasi-resolutions of a given non-commutative algebra are derived equivalent. These assertions generalize important results of Van den Bergh, Iyama-Reiten and Iyama-Wemyss in the commutative and central-finite cases.
△ Less
Submitted 28 June, 2019; v1 submitted 25 February, 2018;
originally announced February 2018.
-
Vanishing Shear Viscosity Limit and Boundary Layer Study on the Planar MHD system
Authors:
Xulong Qin,
Tong Yang,
Zheng-an Yao,
Wenshu Zhou
Abstract:
We consider an initial boundary problem for the planar MHD system under the general condition on the heat conductivity $κ$ that may depend on both the density $ρ$ and the temperature $θ$ satisfying $κ(ρ,θ)\geqκ_1 θ^{q}$ for some constants $κ_1>0$ and $q>0.$ Firstly, the global existence of strong solution for large initial data is obtained, and then the limit of the vanishing shear viscosity is ju…
▽ More
We consider an initial boundary problem for the planar MHD system under the general condition on the heat conductivity $κ$ that may depend on both the density $ρ$ and the temperature $θ$ satisfying $κ(ρ,θ)\geqκ_1 θ^{q}$ for some constants $κ_1>0$ and $q>0.$ Firstly, the global existence of strong solution for large initial data is obtained, and then the limit of the vanishing shear viscosity is justified. In addition, the $L^2$ convergence rate is obtained together with the estimation on the thickness of the boundary layer.
△ Less
Submitted 7 April, 2018; v1 submitted 9 February, 2018;
originally announced February 2018.
-
Smoothing Algorithms for Computing the Projection onto a Minkowski Sum of Convex Sets
Authors:
Xiaolong Qin,
Nguyen Thai An
Abstract:
In this paper, the problem of computing the projection, and therefore the minimum distance, from a point onto a Minkowski sum of general convex sets is studied. Our approach is based on the minimum norm duality theorem originally stated by Nirenberg and the Nesterov smoothing techniques. It is shown that projection points onto a Minkowski sum of sets can be represented as the sum of points on cons…
▽ More
In this paper, the problem of computing the projection, and therefore the minimum distance, from a point onto a Minkowski sum of general convex sets is studied. Our approach is based on the minimum norm duality theorem originally stated by Nirenberg and the Nesterov smoothing techniques. It is shown that projection points onto a Minkowski sum of sets can be represented as the sum of points on constituent sets so that, at these points, all of the sets share the same normal vector which is the negative of the dual solution. The proposed NESMINO algorithm improves the theoretical bound on number of iterations from $O(\frac{1}ε)$ by Gilbert [SIAM J. Contr., vol. 4, pp. 61--80, 1966] to $O\left(\frac{1}{\sqrtε}\ln(\frac{1}ε)\right)$, where $ε$ is the desired accuracy for the objective function. Moreover, the algorithm also provides points on each component sets such that their sum is equal to the projection point.
△ Less
Submitted 25 January, 2018;
originally announced January 2018.
-
On the equivalence of the Mizoguchi-Takahashi locally contractive map to Nadler's locally contractive map
Authors:
Asrifa Sultana,
Xiaolong Qin
Abstract:
In this article, we have proved the equivalence between the Mizoguchi-Takahashi uniformly~locally~contractive map to the multi-valued map satisfying the Nadler contractive condition uniformly~locally~on a metrically convex space.
In this article, we have proved the equivalence between the Mizoguchi-Takahashi uniformly~locally~contractive map to the multi-valued map satisfying the Nadler contractive condition uniformly~locally~on a metrically convex space.
△ Less
Submitted 13 January, 2018;
originally announced January 2018.
-
Distributed Bayesian Matrix Factorization with Limited Communication
Authors:
Xiangju Qin,
Paul Blomstedt,
Eemeli Leppäaho,
Pekka Parviainen,
Samuel Kaski
Abstract:
Bayesian matrix factorization (BMF) is a powerful tool for producing low-rank representations of matrices and for predicting missing values and providing confidence intervals. Scaling up the posterior inference for massive-scale matrices is challenging and requires distributing both data and computation over many workers, making communication the main computational bottleneck. Embarrassingly paral…
▽ More
Bayesian matrix factorization (BMF) is a powerful tool for producing low-rank representations of matrices and for predicting missing values and providing confidence intervals. Scaling up the posterior inference for massive-scale matrices is challenging and requires distributing both data and computation over many workers, making communication the main computational bottleneck. Embarrassingly parallel inference would remove the communication needed, by using completely independent computations on different data subsets, but it suffers from the inherent unidentifiability of BMF solutions. We introduce a hierarchical decomposition of the joint posterior distribution, which couples the subset inferences, allowing for embarrassingly parallel computations in a sequence of at most three stages. Using an efficient approximate implementation, we show improvements empirically on both real and simulated data. Our distributed approach is able to achieve a speed-up of almost an order of magnitude over the full posterior, with a negligible effect on predictive accuracy. Our method outperforms state-of-the-art embarrassingly parallel MCMC methods in accuracy, and achieves results competitive to other available distributed and parallel implementations of BMF.
△ Less
Submitted 27 February, 2019; v1 submitted 2 March, 2017;
originally announced March 2017.
-
Reversed Dickson polynomials of the fourth kind over finite fields
Authors:
Kaimin Cheng,
Shaofang Hong,
Xiaoer Qin
Abstract:
In this paper, we obtain several results on the permutational behavior of the reversed Dickson polynomial $D_{n,3}(1,x)$ of the fourth kind over the finite field ${\mathbb F}_{q}$. Particularly, we present the explicit evaluation of the first moment $\sum_{a\in {\mathbb F}_{q}}D_{n,3}(1,a)$.
In this paper, we obtain several results on the permutational behavior of the reversed Dickson polynomial $D_{n,3}(1,x)$ of the fourth kind over the finite field ${\mathbb F}_{q}$. Particularly, we present the explicit evaluation of the first moment $\sum_{a\in {\mathbb F}_{q}}D_{n,3}(1,a)$.
△ Less
Submitted 15 April, 2016;
originally announced April 2016.
-
Counting rational points of an algebraic variety over finite fields
Authors:
Shuangnian Hu,
Shaofang Hong,
Xiaoer Qin
Abstract:
Let $\mathbb{F}_q$ denote the finite field of odd characteristic $p$ with $q$ elements ($q=p^{n},n\in \mathbb{N} $) and $\mathbb{F}_q^*$ represent the nonzero elements of $\mathbb{F}_{q}$. In this paper, by using the Smith normal form we give an explicit formula for the number of rational points of the algebraic variety defined by the following system of equations over $\mathbb{F}_{q}$: \begin{ali…
▽ More
Let $\mathbb{F}_q$ denote the finite field of odd characteristic $p$ with $q$ elements ($q=p^{n},n\in \mathbb{N} $) and $\mathbb{F}_q^*$ represent the nonzero elements of $\mathbb{F}_{q}$. In this paper, by using the Smith normal form we give an explicit formula for the number of rational points of the algebraic variety defined by the following system of equations over $\mathbb{F}_{q}$: \begin{align*} {\left\{\begin{array}{rl} &\sum_{i=1}^{r_1}a_{1i}x_1^{e^{(1)}_{i1}} ...x_{n_1}^{e^{(1)}_{i,n_1}} +\sum_{i=r_1+1}^{r_2}a_{1i}x_1^{e^{(1)}_{i1}} ...x_{n_2}^{e^{(1)}_{i,n_2}}-b_1=0,\\ &\sum_{j=1}^{r_3}a_{2j}x_1^{e^{(2)}_{j1}} ...x_{n_3}^{e^{(2)}_{j,n_3}} +\sum_{j=r_3+1}^{r_4}a_{2j}x_1^{e^{(2)}_{j1}} ...x_{n_4}^{e^{(2)}_{j,n_4}}-b_2=0, \end{array}\right.} \end{align*} where the integers $1\leq r_1<r_2$, $1\leq r_3<r_4$, $1\le n_1<n_2$, $1\le n_3<n_4$, $n_1\leq n_3$, $b_1, b_2\in \mathbb{F}_{q}$, $a_{1i}\in \mathbb{F}_{q}^{*}$ $(1\leq i\leq r_2)$, $a_{2j}\in \mathbb{F}_{q}^{*}$$(1\leq j\leq r_4)$ and the exponent of each variable is a positive integer. An example is also presented to demonstrate the validity of the main result.
△ Less
Submitted 6 March, 2016;
originally announced March 2016.
-
Vanishing shear viscosity and boundary layers for plane magnetohydrodynamics flows
Authors:
Wenshu Zhou,
Xulong Qin,
Chengyuan Qu
Abstract:
In this paper, we consider an initial-boundary problem for plane magnetohydrodynamics flows under the general condition on the heat conductivity $κ$ that may depend on both the density $ρ$ and the temperature $θ$ and satisfies $$ κ(ρ,θ)\geqκ_1(1+θ^{q}) \quad \hbox{\rm with constants}~ κ_1>0 ~\hbox{\rm and}~ q>0. $$ We prove the global existence of strong solutions for large initial data and justif…
▽ More
In this paper, we consider an initial-boundary problem for plane magnetohydrodynamics flows under the general condition on the heat conductivity $κ$ that may depend on both the density $ρ$ and the temperature $θ$ and satisfies $$ κ(ρ,θ)\geqκ_1(1+θ^{q}) \quad \hbox{\rm with constants}~ κ_1>0 ~\hbox{\rm and}~ q>0. $$ We prove the global existence of strong solutions for large initial data and justify the passage to the limit as the shear viscosity $μ$ goes to zero. Furthermore, the value $μ^α$ with any $0<α<1/2$ is established for the boundary layer thickness.
△ Less
Submitted 31 October, 2015;
originally announced November 2015.
-
Efficient algorithm for computing large scale systems of differential algebraic equations
Authors:
Xiaolin Qin,
Juan Tang,
Yong Feng,
Bernhard Bachmann,
Peter Fritzson
Abstract:
In many mathematical models of physical phenomenons and engineering fields, such as electrical circuits or mechanical multibody systems, which generate the differential algebraic equations (DAEs) systems naturally. In general, the feature of DAEs is a sparse large scale system of fully nonlinear and high index. To make use of its sparsity, this paper provides a simple and efficient algorithm for c…
▽ More
In many mathematical models of physical phenomenons and engineering fields, such as electrical circuits or mechanical multibody systems, which generate the differential algebraic equations (DAEs) systems naturally. In general, the feature of DAEs is a sparse large scale system of fully nonlinear and high index. To make use of its sparsity, this paper provides a simple and efficient algorithm for computing the large scale DAEs system. We exploit the shortest augmenting path algorithm for finding maximum value transversal (MVT) as well as block triangular forms (BTF). We also present the extended signature matrix method with the block fixed point iteration and its complexity results. Furthermore, a range of nontrivial problems are demonstrated by our algorithm.
△ Less
Submitted 12 June, 2015;
originally announced June 2015.
-
A Reconstruction Algorithm for a Semilinear Parabolic Inverse Problem
Authors:
Wuqing Ning,
Xue Qin,
Yunxia Shang
Abstract:
In this paper, we consider an inverse problem to determine a semilinear term of a parabolic equation from a single boundary measurement of Neumann type. For this problem, a reconstruction algorithm is established by the spectral representation for the fundamental solution of heat equation with homogeneous Neumann boundary condition and the Whitney extension theorem.
In this paper, we consider an inverse problem to determine a semilinear term of a parabolic equation from a single boundary measurement of Neumann type. For this problem, a reconstruction algorithm is established by the spectral representation for the fundamental solution of heat equation with homogeneous Neumann boundary condition and the Whitney extension theorem.
△ Less
Submitted 22 December, 2014;
originally announced December 2014.
-
Structural index reduction algorithms for differential algebraic equations via fixed-point iteration
Authors:
Juan Tang,
Wenyuan Wu,
Xiaolin Qin,
Yong Feng
Abstract:
Motivated by Pryce's structural index reduction method for differential algebraic equations (DAEs), we show the complexity of the fixed-point iteration algorithm and propose a fixed-point iteration method with parameters. It leads to a block fixed-point iteration method which can be applied to large-scale DAEs with block upper triangular structure. Moreover, its complexity analysis is also given i…
▽ More
Motivated by Pryce's structural index reduction method for differential algebraic equations (DAEs), we show the complexity of the fixed-point iteration algorithm and propose a fixed-point iteration method with parameters. It leads to a block fixed-point iteration method which can be applied to large-scale DAEs with block upper triangular structure. Moreover, its complexity analysis is also given in this paper.
△ Less
Submitted 19 December, 2014; v1 submitted 13 June, 2014;
originally announced June 2014.
-
Necessary conditions for reversed Dickson polynomials of the second kind to be permutational
Authors:
Shaofang Hong,
Xiaoer Qin
Abstract:
In this paper, we present several necessary conditions for the reversed Dickson polynomial $E_{n}(1, x)$ of the second kind to be a permutation of $\mathbb{F}_{q}$. In particular, we give explicit evaluation of the sum $\sum_{a\in \mathbb{F}_{q}}E_{n}(1,a)$.
In this paper, we present several necessary conditions for the reversed Dickson polynomial $E_{n}(1, x)$ of the second kind to be a permutation of $\mathbb{F}_{q}$. In particular, we give explicit evaluation of the sum $\sum_{a\in \mathbb{F}_{q}}E_{n}(1,a)$.
△ Less
Submitted 8 April, 2014;
originally announced April 2014.
-
New results on permutation polynomials over finite fields
Authors:
Xiaoer Qin,
Guoyou Qian,
Shaofang Hong
Abstract:
In this paper, we get several new results on permutation polynomials over finite fields. First, by using the linear translator, we construct permutation polynomials of the forms $L(x)+\sum_{j=1}^k γ_jh_j(f_j(x))$ and $x+\sum_{j=1}^kγ_jf_j(x)$. These generalize the results obtained by Kyureghyan in 2011. Consequently, we characterize permutation polynomials of the form…
▽ More
In this paper, we get several new results on permutation polynomials over finite fields. First, by using the linear translator, we construct permutation polynomials of the forms $L(x)+\sum_{j=1}^k γ_jh_j(f_j(x))$ and $x+\sum_{j=1}^kγ_jf_j(x)$. These generalize the results obtained by Kyureghyan in 2011. Consequently, we characterize permutation polynomials of the form $L(x)+\sum_{i=1} ^lγ_i {\rm Tr}_{{\bf F}_{q^m}/{\bf F}_{q}}(h_i(x))$, which extends a theorem of Charpin and Kyureghyan obtained in 2009.
△ Less
Submitted 31 May, 2014; v1 submitted 24 March, 2014;
originally announced March 2014.
-
Global Solvability and Vanishing Shear Viscosity Limit of Planar Magnetohydrodynamic Equations with Large Initial Data
Authors:
Xulong Qin,
Tong Yang,
Zheng-an Yao,
Wenshu Zhou
Abstract:
By observing a new relation between the magnetic pressure and the hydrodynamic pressure, global existence of classical solution to the full perfect MHD equations with large data is established, in particular including the case when all the viscosity, heat conductivity and diffusivity coefficients are constant. This can be viewed as an analog of the classical work by Kazhikhov-Shelukhin for the Nav…
▽ More
By observing a new relation between the magnetic pressure and the hydrodynamic pressure, global existence of classical solution to the full perfect MHD equations with large data is established, in particular including the case when all the viscosity, heat conductivity and diffusivity coefficients are constant. This can be viewed as an analog of the classical work by Kazhikhov-Shelukhin for the Navier-Stokes equations to the MHD equations. In addition, the vanishing shear viscosity limit is proved.
△ Less
Submitted 2 December, 2013; v1 submitted 16 November, 2013;
originally announced November 2013.
-
Constructing permutation polynomials over finite fields
Authors:
Xiaoer Qin,
Shaofang Hong
Abstract:
In this paper, we construct several new permutation polynomials over finite fields. First, using the linearized polynomials, we construct the permutation polynomial of the form $\sum_{i=1}^k(L_{i}(x)+γ_i)h_i(B(x))$ over ${\bf F}_{q^{m}}$, where $L_i(x)$ and $B(x)$ are linearized polynomials. This extends a theorem of Coulter, Henderson and Matthews. Consequently, we generalize a result of Marcos b…
▽ More
In this paper, we construct several new permutation polynomials over finite fields. First, using the linearized polynomials, we construct the permutation polynomial of the form $\sum_{i=1}^k(L_{i}(x)+γ_i)h_i(B(x))$ over ${\bf F}_{q^{m}}$, where $L_i(x)$ and $B(x)$ are linearized polynomials. This extends a theorem of Coulter, Henderson and Matthews. Consequently, we generalize a result of Marcos by constructing permutation polynomials of the forms $x h(λ_{j}(x))$ and $xh(μ_{j}(x))$, where $λ_{j}(x)$ is the $j$-th elementary symmetric polynomial of $x, x^{q}, ..., x^{q^{m-1}}$ and $μ_{j}(x)=\textup{Tr}_{{\bf F}_{q^{m}}/{\bf F}_{q}}(x^{j})$. This answers an open problem raised by Zieve in 2010. Finally, by using the linear translator, we construct the permutation polynomial of the form $L_1(x)+L_{2}(γ)h(f(x))$ over ${\bf F}_{q^{m}}$, which extends a result of Kyureghyan.
△ Less
Submitted 13 June, 2013; v1 submitted 9 March, 2013;
originally announced March 2013.
