Formal Embeddings between -Models
July 31, 2017
Mathematics
Complex Variables
It is studied the Classification Problem for Formal (Holomorphic) Embeddings
between Shilov Boundaries of Bounded Symmetric Domains of First Type....
Metric minimizing surfaces revisited
July 30, 2017
|
Mathematics
Differential Geometry
Metric Geometry
A surface which does not admit a length nonincreasing deformation is called
metric minimizing. We show that metric minimizing surfaces in CAT(0) spaces are
locally CAT(0) with respect to their intrinsic metric....
An application of -adic integration to the dynamics of a birational transformation preserving a fibration
July 29, 2017
|
Mathematics
Algebraic Geometry
Algebraic Geometry
Let be a birational transformation of a
projective manifold whose Kodaira dimension is non-negative. We
show that, if there exist a meromorphic fibration and a ps...
General fractals represented by -limit sets of compression maps
July 26, 2017
| |
Mathematics
Physics
Classical Analysis and ODEs
Dynamical Systems
Pattern Formation and Solitons
In this article, we provide a simple and systematic way to represent general
(inhomogeneous) fractals that may look different at different scales and
places. By using set-valued compression maps, we express these general fractals
as $\mathc...
Sparse Recovery With Multiple Data Streams: A Sequential Adaptive Testing Approach
July 22, 2017
| |
Statistics
Methodology
Multistage design has been used in a wide range of scientific fields. By
allocating sensing resources adaptively, one can effectively eliminate null
locations and localize signals with a smaller study budget. We formulate a
decision-theoret...
Ideal hyperbolic polyhedra and discrete uniformization
July 21, 2017
|
Mathematics
Metric Geometry
Geometric Topology
Metric Geometry
Geometric Topology
We provide a constructive, variational proof of Rivin's realization theorem
for ideal hyperbolic polyhedra with prescribed intrinsic metric, which is
equivalent to a discrete uniformization theorem for spheres. The same
variational method i...
A C++ reasoner for the description logic (Extended Version)
July 21, 2017
| |
Computer Science
Logic in Computer Science
We present an ongoing implementation of a KE-tableau based reasoner for a
decidable fragment of stratified elementary set theory expressing the
description logic (shortly
$...
Augmented Lagrangian Functions for Cone Constrained Optimization: the Existence of Global Saddle Points and Exact Penalty Property
July 18, 2017
Mathematics
Optimization and Control
In the article we present a general theory of augmented Lagrangian functions
for cone constrained optimization problems that allows one to study almost all
known augmented Lagrangians for cone constrained programs within a unified
framework...
A chronology of continued square roots and other continued compositions, through the year 2016
July 17, 2017
Mathematics
History and Overview
Classical Analysis and ODEs
An infinite continued composition is an expression of the form
\begin{equation*} \lim_{n\to\infty}t_0\circ t_1 \circ t_2 \circ \cdots \circ
t_n(c)\;, \end{equation*} where the are maps from a set to itself,
the initial value i...
An extension of the Erd\H{o}s-Tur\'{a}n additive base conjecture via generalized circles of partition
July 16, 2017
Mathematics
Number Theory
This paper is an extension program of the notion of circle of partition
developed in our first paper \cite{CoP}. As an application we prove the
Erd\H{o}s-Tur\'{a}n additive base conjecture....