Related papers: Modulus support functionals, Rajchman measures and…
This paper presents a counterexample-guided iterative algorithm to compute convex, piecewise linear (polyhedral) Lyapunov functions for uncertain continuous-time linear hybrid systems. Polyhedral Lyapunov functions provide an alternative to…
L-modules are a combinatorial analogue of constructible sheaves on the reductive Borel-Serre compactification of a locally symmetric space. We define the micro-support of an L-module; it is a set of irreducible modules for the Levi…
We establish common fixed point theorems for two pairs of weakly compatible self-mappings using an auxiliary function of two variables. Unlike classical results, our theorems do not assume continuity of the mappings and require completeness…
Using three different representations of the bicomplex numbers $T\cong Cl_{C}(1,0) \cong Cl_{C}(0,1)$, which is a commutative ring with zero divisors defined by $T={w_0+w_1 {i_1}+w_2{i_2}+w_3 {j} | w_0,w_1,w_2,w_3 \in{R}}$ where…
In this paper we present an abstraction-refinement approach to Satisfiability Modulo the theory of transcendental functions, such as exponentiation and trigonometric functions. The transcendental functions are represented as uninterpreted…
We define a kind of moduli space of nested surfaces and mappings, which we call a comparison moduli space. We review examples of such spaces in geometric function theory and modern Teichmueller theory, and illustrate how a wide range of…
If $(M,g)$ is a compact real analytic Riemannian manifold, we give a necessary and sufficient condition for there to be a sequence of quasimodes of order $o(\lambda)$ saturating sup-norm estimates. In particular, it gives optimal conditions…
We study convergence of nonlinear systems in the presence of an `almost Lyapunov' function which, unlike the classical Lyapunov function, is allowed to be nondecreasing---and even increasing---on a nontrivial subset of the phase space.…
Let X be a topological space, and let C(X) be the complex of singular cochains on X with real coefficients. We denote by Cc(X) the subcomplex given by continuous cochains, i.e. by such cochains whose restriction to the space of simplices…
We obtain sharp estimates for a generalized Zalcman coefficient functional with a complex parameter for the Hurwitz class and the Noshiro-Warschawski class of univalent functions as well as for the closed convex hulls of the convex and…
We consider several weak type estimates for singular operators using the Bellman function approach. We disprove the $A_1$ conjecture, thus strengthening the counterexamples built by Reguera--Thiele. We show a certain logarithmic blow-up for…
Let $X$ be a compact K\"ahler manifold. We study plurisupported currents on $X$, i.e. closed, positive $(1,1)$-currents which are supported on a pluripolar set. In particular, we are able present a technical generalization of…
In this paper, we study classes of discrete convex functions: submodular functions on modular semilattices and L-convex functions on oriented modular graphs. They were introduced by the author in complexity classification of minimum…
We establish an abstract critical point theorem for locally Lipschitz functionals that does not require any compactness condition of Palais-Smale type. It generalizes and unifies three other critical point theorems established in…
We consider approximation by functions with finite support and characterize its approximation spaces in terms of interpolation spaces and Lorentz spaces.
A compactness of the Revuz map is established in the sense that the locally uniform convergence of a sequence of positive continuous additive functionals is derived in terms of their smooth measures. To this end, we first introduce a metric…
Let $D_j\subset\mathbb C^{n_j}$ be a pseudoconvex domain and let $A_j\subset D_j$ be a locally pluriregular set, $j=1,...,N$. Put $$ X:=\bigcup_{j=1}^N A_1\times...\times A_{j-1}\times D_j\times A_{j+1}\times...\times A_N. $$ Let $M\subset…
A function F:R^2->R is sup-measurable if F_f:R->R given by F_f(x)=F(x,f(x)), x in R, is measurable for each measurable function f:R->R. It is known that under different set theoretical assumptions, including CH, there are sup-measurable…
In this paper, we broaden Shiu's Brun-Titchmarsh theorem to allow for functions that are larger and/or smooth-supported. In particular, let $f$ be a nonnegative multiplicative function. We prove that if there exists a $\beta<1$ such that…
Submodular set functions are undoubtedly among the most important building blocks of combinatorial optimization. Somewhat surprisingly, continuous counterparts of such functions have also appeared in an analytic line of research where they…