Related papers: An inductive Julia-Caratheodory theorem for Pick f…

We study the problem of approximating and learning coverage functions. A function $c: 2^{[n]} \rightarrow \mathbf{R}^{+}$ is a coverage function, if there exists a universe $U$ with non-negative weights $w(u)$ for each $u \in U$ and subsets…

This article examines differentiability properties of the value function of positioning choice problems, a class of optimisation problems in finite-dimensional Euclidean spaces. We show that positioning choice problems' value function is…

This article shows a very elementary and straightforward proof of the Implicit Function Theorem for differentiable maps $F(x,y)$ defined on a finite-dimensional Euclidean space. There are no hypothesis on the continuity of the partial…

We consider variational integrals of linear growth satisfying the condition of $\mu$-ellipticity for some exponent $\mu >1$ and prove that stationary points $u$: $\mathbb{R}^2 \to \mathbb{R}^N$ with the property \[ \limsup_{|x|\to \infty}…

In this article, we obtain some results in the direction of ``infinite dimensional symplectic spectral theory". We prove an inequality between the eigenvalues and symplectic eigenvalues of a special class of infinite dimensional operators.…

This note is a short introduction to the Julia-Wolff-Carath\'eodory theorem, and its generalizations in several complex variables, up to very recent results for infinitesimal generators of semigroups.

In this paper, we study the sampling problem for first-order logic proposed recently by Wang et al. -- how to efficiently sample a model of a given first-order sentence on a finite domain? We extend their result for the…

We obtain a unique continuation result at infinity for fully nonlinear elliptic integro-differential operators of order 2s which satisfy the maximum and minimum principles in bounded subdomains, under the decay assumption $o(|x|^{-(N+2s)})$…

One may formulate the dependent product types of Martin-L\"of type theory either in terms of abstraction and application operators like those for the lambda-calculus; or in terms of introduction and elimination rules like those for the…

We study optimization-based criteria for the stability of switching systems, known as Path-Complete Lyapunov Functions, and ask the question "can we decide algorithmically when a criterion is less conservative than another". Our…

In this paper we investigate the space of $\mathbb{R}$-places of an algebraic function field of one variable. We deal with the problem of determining when two orderings of such a field correspond to a single $\mathbb{R}$-place. To this end…

We establish an invertibility criterion for free polynomials and free functions evaluated on some tuples of matrices. We show that if the derivative is nonsingular on some domain closed with respect to direct sums and similarity, the…

The ergodic theory and geometry of the Julia set of meromorphic functions on the complex plane with polynomial Schwarzian derivative is investigated under the condition that the forward trajectory of asymptotic values in the Julia set is…

Makienko's conjecture, a proposed addition to Sullivan's dictionary, can be stated as follows: The Julia set of a rational function R has buried points if and only if no component of the Fatou set is completely invariant under the second…

Pickands dependence functions characterize bivariate extreme value copulas. In this paper, we study the class of polynomial Pickands functions. We provide a solution for the characterization of such polynomials of degree at most $m+2$,…

For each n,N>0 we construct a set of points x_1,...,x_M in D^n with the following property: if f is a rational inner function on D^n of degree strictly less than N and g is an analytic function mapping D^n to D that satisfies g(x_i)=f(x_i)…

Let $X=\{X_n: n\in\mathbb{N}\}$ be a long memory linear process in which the coefficients are regularly varying and innovations are independent and identically distributed and belong to the domain of attraction of an $\alpha$-stable law…

We consider the dynamics of rational semigroups (semigroups of rational maps) on the Riemann sphere. We provide proof that a random backward iteration algorithm to draw the pictures of the Julia sets, previously proven to work in the…

For discrete-time causal linear input/state/output systems, the Bounded Real Lemma explains (under suitable hypotheses) the contractivity of the values of the transfer function over the unit disk for such a system in terms of the existence…

We present new conditions which obstruct the existence of hyperelliptic Jacobians in isogeny classes of abelian varieties over finite fields of characteristic 2. We show that Weil polynomials of Jacobians cannot have coefficients in certain…