English
Related papers

Related papers: Coinductive properties of Lipschitz functions on s…

200 papers

In this note we study frame-related properties of a sequence of functions multiplied by another function. In particular we study frame and Riesz basis properties. We apply these results to sets of irregular translates of a bandlimited…

Classical Analysis and ODEs · Mathematics 2012-05-31 Peter Balazs , Carlos Cabrelli , Sigrid Heineken , Ursula Molter

Pippenger's Galois theory of finite functions and relational constraints is extended to the infinite case. The functions involved are functions of several variables on a set $A$ and taking values in a possibly different set $B$, where any…

Logic · Mathematics 2015-08-10 Miguel Couceiro , Stephan Foldes

We study Hilbert functions, Lefschetz properties, and Jordan type of Artinian Gorenstein algebras associated to Perazzo hypersurfaces in projective space. The main focus lies on Perazzo threefolds, for which we prove that the Hilbert…

In the context of the stream calculus, we present an Implicit Function Theorem (IFT) for polynomial systems, and discuss its relations with the classical IFT from calculus. In particular, we demonstrate the advantages of the stream IFT from…

Logic in Computer Science · Computer Science 2024-08-07 Michele Boreale , Luisa Collodi , Daniele Gorla

We study the space of bandlimited Lipschitz functions in one variable. In particular we provide a geometrical description of the natural interpolating and sampling sequences for this space. We also find a description of the trace of such…

Complex Variables · Mathematics 2014-06-23 Yurii Lyubarskii , Joaquim Ortega-Cerdà

Coalgebras for analytic functors uniformly model graph-like systems where the successors of a state may admit certain symmetries. Examples of successor structure include ordered tuples, cyclic lists and multisets. Motivated by goals in…

Formal Languages and Automata Theory · Computer Science 2025-06-09 Anton Chernev , Corina Cîrstea , Helle Hvid Hansen , Clemens Kupke

In this paper, we describe the structure of shape derivatives around sets which are only assumed to be of finite perimeter in $\R^N$. This structure allows us to define a useful notion of positivity of the shape derivative and we show it…

Optimization and Control · Mathematics 2007-05-23 Jimmy Lamboley , Michel Pierre

We give an unified framework to solve rough differential equations. Based on flows, our approach unifies the former ones developed by Davie, Friz-Victoir and Bailleul. The main idea is to build a flow from the iterated product of an almost…

Probability · Mathematics 2021-02-09 Antoine Brault , Antoine Lejay

The paper deals with the interplay between boundedness, order and ring structures in function lattices on the line and related metric spaces. It is shown that the lattice of all Lipschitz functions on a normed space $E$ is isomorphic to its…

Functional Analysis · Mathematics 2019-01-10 Félix Cabello Sánchez , Javier Cabello Sánchez

We study the combinatorial and structural properties of the circle map sequences. We introduce an embedding procedure which gives a map from the hull(closure of the set of translates) to the sequence of embedding operations through which we…

Combinatorics · Mathematics 2009-02-04 Fumihiko Nakano

We study projective functions. We prove that projective functions generalise lower and upper-semianalytic ones while being stable by composition and difference. We show that the class of projective functions is closed under sums,…

Logic · Mathematics 2025-10-14 Laurence Carassus , Massinissa Ferhoune

We show that a Lipschitz domain can be expanded solely near a part of its boundary, assuming that the part is enclosed by a piecewise C1 curve. The expanded domain as well as the extended part are both Lipschitz. We apply this result to…

Analysis of PDEs · Mathematics 2012-01-04 Jay Gopalakrishnan , Weifeng Qiu

This report introduces and investigates a family of metrics on sets of pointed Kripke models. The metrics are generalizations of the Hamming distance applicable to countably infinite binary strings and, by extension, logical theories or…

Logic · Mathematics 2017-08-28 Dominik Klein , Rasmus K. Rendsvig

We consider random labelings of finite graphs conditioned on a small fixed number of peaks. We introduce a continuum framework where a combinatorial graph is associated with a metric graph and edges are identified with intervals. Next we…

Probability · Mathematics 2017-08-15 Krzysztof Burdzy , Soumik Pal

On metric spaces equipped with doubling measures, we prove that a differentiability theorem holds for Lipschitz functions if and only if the space supports nontrivial (metric) derivations in the sense of Weaver that satisfy an additional…

Metric Geometry · Mathematics 2012-08-15 Jasun Gong

A theorem of Strichartz states that if a uniformly bounded bi-infinite sequence of functions on the Euclidean spaces, satisfies the condition that the Laplacian acting on a function in this sequence yields the next one, then each function…

Classical Analysis and ODEs · Mathematics 2024-02-19 Sumit Kumar Rano , Rudra P. Sarkar

For many standard models of random structure, first-order logic sentences exhibit a convergence phenomenon on random inputs. The most well-known example is for random graphs with constant edge probability, where the probabilities of…

Logic in Computer Science · Computer Science 2025-04-24 Sam Adam-Day , Michael Benedikt , Alberto Larrauri

Let $T$ be an orientation-preserving Lipschitz expanding map of the circle $\T$. A pre-image selector is a map $\tau:\T\to\T$ with finitely many discontinuities, each of which is a jump discontinuity, and such that $\tau(x)\in T^{-1}(x)$…

Dynamical Systems · Mathematics 2007-11-07 E. Harriss , O. Jenkinson

The document tries to put focus on sequences with certain properties and periods leading to the first value smaller than the starting value in the Collatz problem. With the idea that, if all starting numbers lead ultimately to a smaller…

General Mathematics · Mathematics 2025-02-14 J. Stöckl

We consider several coding discretizations of continuous functions which reflect their variation at some given precision. We study certain statistical and combinatorial properties of the sequence of finite words obtained by coding a typical…

Dynamical Systems · Mathematics 2012-01-19 Cristobal Rojas , Serge Troubetzkoy