English
Related papers

Related papers: Differentiability versus continuity: Restriction a…

200 papers

We study fine-grained error bounds for differentially private algorithms for counting under continual observation. Our main insight is that the matrix mechanism when using lower-triangular matrices can be used in the continual observation…

Data Structures and Algorithms · Computer Science 2024-02-06 Hendrik Fichtenberger , Monika Henzinger , Jalaj Upadhyay

We study couples of interpolators, the differentials they generate and their associated commutator theorems. An essential part of our analysis is the study of the intrinsic symmetries of the process. Since we work without any compatibility…

Functional Analysis · Mathematics 2020-10-29 J. M. F. Castillo , W. H. G. Correa , V. Ferenczi , M. González

Recently it was shown that the transitive closure of a directed graph can be updated using first-order formulas after insertions and deletions of single edges in the dynamic descriptive complexity framework by Dong, Su, and Topor, and…

Logic in Computer Science · Computer Science 2018-04-25 Samir Datta , Anish Mukherjee , Nils Vortmeier , Thomas Zeume

The classical theorems of Mittag-Leffler and Weierstrass show that when $\{\lambda_n\}$ is a sequence of distinct points in the open unit disk $\D$, with no accumulation points in $\D$, and $\{w_n\}$ is any sequence of complex numbers,…

Complex Variables · Mathematics 2020-10-09 Javad Mashreghi , Marek Ptak , William T. Ross

Feder-Vardi conjecture, which proposed that every finite-domain Constraint Satisfaction Problem (CSP) is either in P or it is NP-complete, has been solved independently by Bulatov and Zhuk almost ten years ago. Bodirsky-Pinsker conjecture…

Computational Complexity · Computer Science 2026-04-06 Leonid Dorochko , Michał Wrona

This paper is concerned with the problem of sampling and interpolation involving derivatives in shift-invariant spaces and the error analysis of the derivative sampling expansions for fundamentally large classes of functions. A new type of…

Functional Analysis · Mathematics 2024-02-15 Kumari Priyanka , A. Antony Selvan

We prove that, the diffusivity and conductivity on $\mathbb{Z}^d$-Bernoulli percolation ($d \geq 2$) are infinitely differentiable in supercritical regime. This extends a result by Kozlov [Uspekhi Mat. Nauk 44 (1989), no. 2(266), pp 79 -…

Probability · Mathematics 2025-06-10 Chenlin Gu , Wenhao Zhao

Suppose $(f,\mathcal{X},\mu)$ is a measure preserving dynamical system and $\phi \colon \mathcal{X} \to \mathbb{R}$ a measurable function. Consider the maximum process $M_n:=\max\{X_1 \ldots,X_n\}$, where $X_i=\phi\circ f^{i-1}$ is a time…

Dynamical Systems · Mathematics 2021-09-15 Mark Holland , Maxim Kirsebom , Philipp Kunde , Tomas Persson

The first aim of this work is to establish a Peano type existence theorem for an initial value problem involving complex fractional derivative and the second is, as a consequence of this theorem, to give a partial answer to the local…

Complex Variables · Mathematics 2017-11-09 Müfit Şan

For integers $m \geq 2$, we study divergent continued fractions whose numerators and denominators in each of the $m$ arithmetic progressions modulo $m$ converge. Special cases give, among other things, an infinite sequence of divergence…

Number Theory · Mathematics 2019-01-01 Douglas Bowman , James Mc Laughlin

In \cite{Craig}, we introduced a syntactically defined and highly general class of calculi known as \emph{semi-analytic}. We then demonstrated that any sufficiently strong (modal) substructural logic with a semi-analytic calculus must…

Logic in Computer Science · Computer Science 2025-06-27 Amirhossein Akbar Tabatabai , Raheleh Jalali

This paper deals with two main topics related to Diophantine approximation. Firstly, we show that if a point on an algebraic variety is approximable by rational vectors to a sufficiently large degree, the approximating vectors must lie in…

Number Theory · Mathematics 2017-03-21 Johannes Schleischitz

In this article, using key tools including Zhou valuations, Tian functions and a convergence result for relative types, we establish necessary and sufficient conditions for the existence of valuative interpolations on the rings of germs of…

Complex Variables · Mathematics 2025-10-28 Shijie Bao , Qi'an Guan , Zhitong Mi , Zheng Yuan

Let $X$ and $Y$ be Banach or normed linear spaces and $F\subset X$ a closed set. We apply our recent extension theorem for vector-valued Baire one functions arXiv:1512.03717 to obtain an extension theorem for vector-valued functions…

Classical Analysis and ODEs · Mathematics 2017-01-24 Martin Koc , Jan Kolář

The displacement calculus $\mathbf{D}$ is a conservative extension of the Lambek calculus $\mathbf{L1}$ (with empty antecedents allowed in sequents). $\mathbf{L1}$ can be said to be the logic of concatenation, while $\mathbf{D}$ can be said…

Logic in Computer Science · Computer Science 2017-06-13 Oriol Valentín

Many generalizations of continued fractions, where the reciprocal function has been replaced by a more general function, have been studied, and it is often asked whether such generalized expansions can have nice properties. For instance, we…

Number Theory · Mathematics 2007-05-23 Greg Martin

Submodularity is a fundamental phenomenon in combinatorial optimization. Submodular functions occur in a variety of combinatorial settings such as coverage problems, cut problems, welfare maximization, and many more. Therefore, a lot of…

Data Structures and Algorithms · Computer Science 2011-11-08 Shaddin Dughmi

We consider a remote source coding problem subject to a {distortion function}. Contrary to the use of the classical separable distortion criterion, herein we consider the more general, $f$-separable distortion measure and study its…

Information Theory · Computer Science 2023-05-19 Photios A. Stavrou , Yanina Shkel , Marios Kountouris

We establish the following results on higher order $\mathcal{S}^p$-differentiability, $1<p<\infty$, of the operator function arising from a continuous scalar function $f$ and self-adjoint operators defined on a fixed separable Hilbert…

Functional Analysis · Mathematics 2020-10-28 Christian Le Merdy , Anna Skripka

We use the rationality of the generalized $h^{th}$ convergent functions, $Conv_h(\alpha, R; z)$, to the infinite J-fraction expansions enumerating the generalized factorial product sequences, $p_n(\alpha, R) =…

Combinatorics · Mathematics 2017-01-18 Maxie D. Schmidt
‹ Prev 1 8 9 10 Next ›