arXiv subjects

Lu Yang

Publications and source records attributed to Lu Yang.

111 records · Page 7Linked to original sources

arXiv2009

Computing Cylindrical Algebraic Decomposition via Triangular Decomposition

Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approaches for manipulating constructible sets. In this paper, for an arbitrary finite set $F \subset {\R}[y_1, ..., y_n]$ we apply comprehensive triangular decomposition in order to obtain an $F$-invariant cylindrical decomposition of the $n$-dimensional complex space, from which we extract an $F$-invariant cylindrical algebraic decomposition of the $n$-dimensional real space. We report on an implementation of this new approach for constructing cylindrical algebraic decompositions.

cs.SC↗

arXiv2007

Modeling the selective partitioning of cations into negatively charged nanopores in water

Partitioning and transport of water and small solutes into and through nanopores is important to a variety of chemical and biological processes and applications. Here we study the partitioning of positive ions of increasing size into the pore interior using extensive molecular dynamics simulations. Despite the simplicity of the simulation system, the results provide new and useful insights on both the pore hydration and ion partitioning. For low negative charge densities on the pore, the driving force for partitioning of positive ions into the pore is weak, and no partitioning is observed. Increasing the pore charge gradually leads to partitioning of positive ions into the pore. Interestingly, over a range of intermediate negative charge densities, nanopores display both thermodynamic as well as kinetic selectivity toward partitioning of the larger K+ and Cs+ ions into their interior over the smaller Na+ ions. The variation of thermodynamic driving force and the average partitioning time with the pore charge density together suggest the presence of free energy barriers in the partitioning process. We discuss the role of ion hydration in the bulk and in the pore interior as well as of the pore hydration in determining the barrier heights for ion partitioning and the observed thermodynamic and kinetic selectivity.

physics.chem-ph↗

arXiv2006

Solution to the Generalized Champagne Problem on Simultaneous Stabilization of Linear Systems

The well-known "Generalized Champagne Problem" on simultaneous stabilization of linear systems is solved by using complex analysis \cite{A73,C78,G69,N52,R87} and Blondel's technique \cite{B94,BG93,BGMR94}. We give a complete answer to the open problem proposed by Patel et al. \cite{P99,PDV02}, which automatically includes the solution to the original "Champagne Problem" \cite{BG93,BGMR94,BSVW99,LKZ99,P99,PDV02}. Based on the recent development in automated inequality-type theorem proving \cite{Y98,Y99,YHX01,YX05,YX03}, a new stabilizing controller design method is established. Our numerical examples significantly improve the relevant results in the literature \cite{LKZ99,PDV02}.

math.DS↗