- arXiv.org
- Data Analysis, Statistics and Probability
- Popular Physics
- Space Physics
- Physics and Society
- Fluid Dynamics
- Biological Physics
- Optics
- History and Philosophy of Physics
- Atomic and Molecular Clusters
- General Physics
- Plasma Physics
- Atomic Physics
- Medical Physics
- Geophysics
- Physics Education
- Instrumentation and Detectors
- Atmospheric and Oceanic Physics
- Computational Physics
- Accelerator Physics
- Chemical Physics
- Classical Physics

- Information Theory
- Number Theory
- Statistics Theory
- Analysis of PDEs
- Metric Geometry
- Algebraic Geometry
- Mathematical Physics
- Group Theory
- Probability
- Combinatorics
- Representation Theory
- Complex Variables
- Operator Algebras
- Symplectic Geometry
- History and Overview
- Numerical Analysis
- Optimization and Control
- Dynamical Systems
- Logic
- Geometric Topology
- General Topology
- General Mathematics
- Differential Geometry
- Quantum Algebra
- K-Theory and Homology
- Algebraic Topology
- Commutative Algebra
- Category Theory
- Classical Analysis and ODEs
- Functional Analysis
- Spectral Theory
- Rings and Algebras

- Operating Systems
- Information Theory
- Information Retrieval
- Computational Complexity
- Symbolic Computation
- Formal Languages and Automata Theory
- General Literature
- Multiagent Systems
- Emerging Technologies
- Sound
- Social and Information Networks
- Software Engineering
- Learning
- Programming Languages
- Computer Vision and Pattern Recognition
- Neural and Evolutionary Computing
- Numerical Analysis
- Other Computer Science
- Databases
- Performance
- Computational Engineering, Finance, and Science
- Human-Computer Interaction
- Cryptography and Security
- Distributed, Parallel, and Cluster Computing
- Mathematical Software
- Artificial Intelligence
- Computer Science and Game Theory
- Systems and Control
- Discrete Mathematics
- Digital Libraries
- Hardware Architecture
- Computation and Language
- Multimedia
- Graphics
- Computers and Society
- Logic in Computer Science
- Data Structures and Algorithms
- Robotics
- Computational Geometry
- Networking and Internet Architecture

- In this paper we study an analogue of the classical Riemann-Hilbert problem stated for the classes of difference and $q$-difference systems. The Birkhoff's existence theorem was generalized in this paper.
- For the family of polynomials in one variable $P:=x^n+a_1x^{n-1}+\cdots +a_n$, $n\geq 4$, we consider its higher-order discriminant sets $\{ \tilde{D}_m=0\}$, where $\tilde{D}_m:=$Res$(P,P^{(m)})$, $m=2$, $\ldots$, $n-2$, and their projections in the spaces of the variables $a^k:=(a_1,\ldots ,a_{k-1},a_{k+1},\ldots ,a_n)$. Set $P^{(m)}:=\sum _{j=0}^{n-m}c_ja_jx^{n-m-j}$, $P_{m,k}:=c_kP-x^mP^{(m)}$. We show that Res$(\tilde{D}_m,\partial \tilde{D}_m/\partial a_k,a_k)= A_{m,k}B_{m,k}C_{m,k}^2$, where $A_{m,k}=a_n^{n-m-k}$, $B_{m,k}=$Res$(P_{m,k},P_{m,k}')$ if $1\leq k\leq n-m$ and $A_{m,k}=a_{n-m}^{n-k}$, $B_{m,k}=$Res$(P^{(m)},P^{(m+1)})$ if $n-m+1\leq k\leq n$. The equation $C_{m,k}=0$ defines the projection in the space of the variables $a^k$ of the closure of the set of values of $(a_1,\ldots ,a_n)$ for which $P$ and $P^{(m)}$ have two distinct roots in common. The polynomials $B_{m,k},C_{m,k}\in \mathbb{C}[a^k]$ are irreducible. The result is generalized to the case when $P^{(m)}$ is replaced by a polynomial $P_*:=\sum _{j=0}^{n-m}b_ja_jx^{n-m-j}$, $0\neq b_i\neq b_j\neq 0$ for $i\neq j$.
- The aim of this paper is to present a new algorithm for proving mixed trigonometric-polynomial inequalities by reducing to polynomial inequalities. Finally, we show the great applicability of this algorithm and as examples, we use it to analyze some new rational (Pade) approximations of the function $\cos^2(x)$, and to improve a class of inequalities by Z.-H. Yang. The results of our analysis could be implemented by means of an automated proof assistant, so our work is a contribution to the library of automatic support tools for proving various analytic inequalities.
- We prove the total positivity of the Narayana triangles of type $A$ and type $B$, and thus affirmatively confirm a conjecture of Chen, Liang and Wang and a conjecture of Pan and Zeng. We also prove the strict total positivity of the Narayana squares of type $A$ and type $B$.
- An astonishing fact was established by Lee A. Rubel in 81: there exists a fixed non-trivial fourth-order polynomial differential algebraic equation (DAE) such that for any continuous function $\phi$ on the reals, and for any positive continuous function $\epsilon(t)$, it has a $\mathcal{C}^\infty$ solution with $|y(t)-\phi(t)|<\epsilon(t)$ for all $t$. Rubel provided an explicit example of such a polynomial DAE. More examples have later been proposed by other authors. However, while these results may seem very surprising, their proofs are quite frustrating for a computability theorist. First, the constructed DAE have no unique solutions for a given initial data. This is very different from usual notions of universality since there is no unambiguous notion of evolution for a given initial data. Second, the proofs usually rely on solutions that are piecewise defined and sometimes non-constructive. Third, the proofs of these results can be interpreted more as the fact that polynomial algebraic differential equations is a too loose a model compared to classical ordinary differential equations. In particular, one may challenge whether the result is really a universality result. The question whether one can require the solution that approximates $\phi$ to be the unique solution for a given initial data is a well known open problem [Rub81] (page 2), [boshernitzan1986universal] (Conjecture 6.2). In this article, we solve it and show that Rubel's statement holds for polynomial ordinary differential equations (ODEs), and since polynomial ODEs have a unique solution given an initial data, this positively answers Rubel's open problem. More precisely, we show that there exists a \textbffixed polynomial ODE such that for any $\phi$ and $\epsilon$ there exists some initial condition that yields a solution that is $\epsilon$-close to $\phi$ at all times.

Representation and design of wavelets using unitary circuits

Barbara Terhal May 29 2016 14:23 UTC