Related papers: Hyperreal differentiation with an idempotent ultra…

A divisibility relation on ultrafilters on the set $\mathbb{N}$ of natural numbers is defined as follows: ${\cal F}\hspace{1mm}\widetilde{\mid}\hspace{1mm}{\cal G}$ if and only if every set in $\cal F$ upward closed for divisibility also…

A Hilbert space operator $U$ is called universal (in the sense of Rota) if every Hilbert space operator is similar to a multiple of $U$ restricted to one of its invariant subspaces. It follows that the Invariant Subspace Problem for Hilbert…

Using insights from parametric integer linear programming, we significantly improve on our previous work [Proc. ACM EC 2019] on high-multiplicity fair allocation. Therein, answering an open question from previous work, we proved that the…

We obtain a representation formula for the derivative of the spectral shift function $\xi(\lambda; B, \epsilon)$ related to the operators $H_0(B,\epsilon) = (D_x - By)^2 + D_y^2 + \epsilon x$ and $H(B, \epsilon) = H_0(B, \epsilon) + V(x,y),…

We develop a version of Herbrand's theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable…

A set X which is a subset of the Cantor set has property (s) (Marczewski (Spzilrajn)) iff for every perfect set P there exists a perfect set Q contained in P such that Q is a subset of X or Q is disjoint from X. Suppose U is a nonprincipal…

We study free filters and their maximal extensions on the set of natural numbers. We characterize the limit of a sequence of real numbers in terms of the Frechet filter, which involves only one quantifier as opposed to the three…

Pseudo-differential operator equations with parameter are studied. Uniform separability properties and resolvent estimates are obtained in terms of fractional derivatives. Moreover, maximal regularity properties of the pseudo-differential…

The subdifferential of a function is a generalization for nonsmooth functions of the concept of gradient. It is frequently used in variational analysis, particularly in the context of nonsmooth optimization. The present work proposes…

We study divisors in a complex manifold in view of the property that the algebra of logarithmic differential operators along the divisor is generated by logarithmic vector fields. We give a sufficient criterion for the property, a simple…

In this paper, we extend Ando's theorem on paranormal operators, which states that if $ T \in \mathfrak{B}(\mathcal{H}) $ is a paranormal operator and there exists $ n \in \mathbb{N} $ such that $ T^n $ is normal, then $ T $ is normal. We…

There exist two known canonical types of ultrafilter extensions of first-order models; one comes from modal logic and universal algebra, another one from model theory and algebra of ultrafilters, with ultrafilter extensions of semigroups as…

This short article contains the construction of a construction that generalizes the concept of the derivative of a function of one variable, using the theory of filters. The paper presents a new concept, demonstrates that it really…

By a result of Lundquist-Barrett, it follows that the rank of a positive semi-definite matrix is less than or equal to the sum of the ranks of its principal diagonal submatrices when written in block form. In this article, we take a general…

In this paper, we introduce a new higher-order directional derivative and higher-order subdifferential of Hadamard type of a given proper extended real function. This derivative is harmonized with the classical higher-order Fr\'echet…

We scrutinize the possibility of extending the result of \cite{ccr} to the case of q-deformed oscillator for $q$ real; for this we exploit the whole range of the deformation parameter as much as possible. We split the case into two…

After H\"older proved his classical theorem about the Gamma function, there has been a whole bunch of results showing that solutions to linear difference equations tend to be hypertranscendental i.e. they cannot be solution to an algebraic…

For H a separable infinite dimensional complex Hilbert space, we prove that every B(H) operator has a basis with respect to which its matrix representation has a universal block tridiagonal form with block sizes given by a simple…

In this paper the Mittag-Leffler function is given through the exponential functions for any rational derivatives of m/n order, where m<n, n>1 are natural irreducible numbers (if n=1 then m is also equal to unity). Unlike the previous…

A well-known theorem factors a scalar coefficient differential operator given a linearly independent set of functions in its kernel. The goal of this paper is to generalize this useful result to other types of operators. In place of the…