English
Related papers

Related papers: Extensional and Non-extensional Functions as Proce…

200 papers

A recurrent theme in functional analysis is the interplay between the theory of positive definite functions, and their reproducing kernels, on the one hand, and Gaussian stochastic processes, on the other. This central theme is motivated by…

Functional Analysis · Mathematics 2012-08-15 Daniel Alpay , Palle Jorgensen

This paper is about certain string-to-string functions, called the polyregular functions. These are like the regular string-to-string functions, except that they can have polynomial (and not just linear) growth. The class has four…

Formal Languages and Automata Theory · Computer Science 2018-10-23 Mikołaj Bojańczyk

The most general operator product expansion in conformal field theory is obtained using the embedding space formalism and a new uplift for general quasi-primary operators. The uplift introduced here, based on quasi-primary operators with…

High Energy Physics - Theory · Physics 2020-07-15 Jean-François Fortin , Witold Skiba

In this paper we investigate the boundedness properties of bilinear multiplier operators associated with unimodular functions of the form $m(\xi,\eta)=e^{i \phi(\xi-\eta)}$. We prove that if $\phi$ is a $C^1(\mathbb R^n)$ real-valued…

Classical Analysis and ODEs · Mathematics 2020-07-20 K. Jotsaroop , Saurabh Shrivastava

The exponential correlation function is theoretically incorrect in the entire frequency range of interest for processes described in terms of linear response theory. The Lorentzian lineshape results from an inconsistent assumption of…

Statistical Mechanics · Physics 2016-08-31 T. R. S. Prasanna

We provide extension procedures for nonlinear expectations to the space of all bounded measurable functions. We first discuss a maximal extension for convex expectations which have a representation in terms of finitely additive measures.…

Probability · Mathematics 2018-07-18 Robert Denk , Michael Kupper , Max Nendel

It is known that perturbative expansions in powers of the coupling in quantum mechanics (QM) and quantum field theory (QFT) are asymptotic series. This can be useful at weak coupling but fails at strong coupling. In this work, we present…

High Energy Physics - Theory · Physics 2025-07-15 Ariel Edery

It has been shown recently that the amplitude of the creation of $n$ real scalar particles by one virtual boson near $n$--particle threshold exhibits exponential behavior at $n\sim1/\lambda$. We extend this result to the processes of…

High Energy Physics - Phenomenology · Physics 2016-09-01 M. V. Libanov , D. T. Son , S. V. Troitsky

It has been known since Ehrhard and Regnier's seminal work on the Taylor expansion of $\lambda$-terms that this operation commutes with normalization: the expansion of a $\lambda$-term is always normalizable and its normal form is the…

Logic in Computer Science · Computer Science 2023-06-22 Lionel Vaux

In this survey we discuss derivatives of the Wright functions (of the first and the second kind) with respect to parameters. Differentiation of these functions leads to infinite power series with coefficient being quotients of the digamma…

General Mathematics · Mathematics 2022-12-21 Alexander Apelblat , Francesco Mainardi

Milner (1984) introduced a process semantics for regular expressions as process graphs. Unlike for the language semantics, where every regular (that is, DFA-accepted) language is the interpretation of some regular expression, there are…

Logic in Computer Science · Computer Science 2020-12-22 Clemens Grabmayer

We define representations of continuous functions on infinite streams of discrete values, both in the case of discrete-valued functions, and in the case of stream-valued functions. We define also an operation on the representations of two…

Data Structures and Algorithms · Computer Science 2015-07-01 Neil Ghani , Peter Hancock , Dirk Pattinson

We take up the idea of Nelson's stochastic processes, the aim of which was to deduce Schr\"odinger's equation. We make two major changes here. The first one is to consider deterministic processes which are pseudo-random but which have the…

Quantum Physics · Physics 2025-05-01 Michel Gondran , Alexandre Gondran

We redefine the transition function of elementary cellular automata (ECA) in terms of discrete operators. The operator representation provides a clear hint about the way systems behave both at the local and the global scale. We show that…

Cellular Automata and Lattice Gases · Physics 2023-01-24 M. Ibrahimi , A. Güçlü , N. Jahangirov , M. Yaman , O. Gülseren , S. Jahangirov

Linear models have shown great effectiveness and flexibility in many fields such as machine learning, signal processing and statistics. They can represent rich spaces of functions while preserving the convexity of the optimization problems…

Machine Learning · Computer Science 2020-07-09 Ulysse Marteau-Ferey , Francis Bach , Alessandro Rudi

The power of multivariate functions is their ability to model a wide variety of phenomena, but have the disadvantages that they lack an intuitive or interpretable representation, and often require a (very) large number of parameters. We…

Numerical Analysis · Computer Science 2018-05-23 Philippe Dreesen , Jeroen De Geeter , Mariya Ishteva

The $\lambda$-calculus is a handy formalism to specify the evaluation of higher-order programs. It is not very handy, however, when one interprets the specification as an execution mechanism, because terms can grow exponentially with the…

Logic in Computer Science · Computer Science 2019-07-16 Andrea Condoluci , Beniamino Accattoli , Claudio Sacerdoti Coen

Trawl processes belong to the class of continuous-time, strictly stationary, infinitely divisible processes; they are defined as Levy bases evaluated over deterministic trawl sets. This article presents the first nonparametric estimator of…

Statistics Theory · Mathematics 2026-02-17 Orimar Sauri , Almut E. D. Veraart

We investigate the possibility of a semantic account of the execution time (i.e. the number of beta-steps leading to the normal form, if any) for the shuffling calculus, an extension of Plotkin's call-by-value lambda-calculus. For this…

Logic in Computer Science · Computer Science 2019-04-25 Giulio Guerrieri

We extend the hyperplane arrangement framework for neural network expressivity from the braid to discriminantal arrangements. Compatible piecewise linear functions are characterized by circuit relations and admit a matroidal description via…

Combinatorics · Mathematics 2026-04-06 Pragnya Das
‹ Prev 1 3 4 5 6 7 10 Next ›