English
Related papers

Related papers: Bounding normalization time through intersection t…

200 papers

We consider heat semigroups of the form $\exp(t(\Delta - \lambda\mathbf{1}_{\Omega_0}))$ on bounded domains. These singularly perturbed equations arise in certain models of diffusion limited chemical reactions. Using variants of Moser…

Analysis of PDEs · Mathematics 2025-06-05 Ikemefuna Agbanusi

We consider the call-by-value lambda-calculus extended with a may-convergent non-deterministic choice and a must-convergent parallel composition. Inspired by recent works on the relational semantics of linear logic and non-idempotent…

Logic in Computer Science · Computer Science 2014-01-08 Alejandro Díaz-Caro , Giulio Manzonetto , Michele Pagani

Periodic normal forms for the codim 2 bifurcations of limit cycles up to a 3-dimensional center manifold in generic autonomous ODEs and computational formulas for their coefficients are derived. The formulas are independent of the dimension…

Dynamical Systems · Mathematics 2015-03-19 Fabio Della Rossa , Virginie De Witte , Willy Govaerts , Yuri A. Kuznetsov

We present several results on counting untyped lambda terms, i.e., on telling how many terms belong to such or such class, according to the size of the terms and/or to the number of free variables.

Logic in Computer Science · Computer Science 2012-02-17 Pierre Lescanne

The change in the normal between any two nearby points on a closed, smooth surface is bounded with respect to the local feature size (distance to the medial axis). An incorrect proof of this lemma appeared as part of the analysis of the…

Computational Geometry · Computer Science 2014-08-05 Nina Amenta , Tamal K. Dey

We obtain an upper and lower bound for the number of reduced words for a permutation in terms of the number of braid classes and the number of commutation classes of the permutation. We classify the permutations that achieve each of these…

Combinatorics · Mathematics 2018-08-06 Susanna Fishel , Elizabeth Milićević , Rebecca Patrias , Bridget Eileen Tenner

We consider a ${\Lambda}$-coalescent and we study the asymptotic behavior of the total length $L^{(n)}_{ext}$ of the external branches of the associated $n$-coalescent. For Kingman coalescent, i.e. ${\Lambda}={\delta}_0$, the result is well…

Probability · Mathematics 2013-05-24 Jean-Stephane Dhersin , Linglong Yuan

Lemmatization of standard languages is concerned with (i) abstracting over morphological differences and (ii) resolving token-lemma ambiguities of inflected words in order to map them to a dictionary headword. In the present paper we aim to…

Computation and Language · Computer Science 2019-03-19 Enrique Manjavacas , Ákos Kádár , Mike Kestemont

Given pseudo-random binary sequence of length $L$, assuming it consists of $k$ sub-sequences of length $N$. We estimate how $k$ scales with growing $N$ to obtain a {\it limiting} ergodic behaviour, to fulfill the basic definition of…

Statistical Mechanics · Physics 2009-04-22 M. Süzen

We describe new, simple, recursive methods of construction for orientable sequences over an arbitrary finite alphabet, i.e. periodic sequences in which any sub-sequence of n consecutive elements occurs at most once in a period in either…

Combinatorics · Mathematics 2026-03-20 Abbas Alhakim , Chris J. Mitchell , Janusz Szmidt , Peter R. Wild

We consider a variant of a classical coverage process, the boolean model in $\mathbb{R}^d$. Previous efforts have focused on convergence of the unoccupied region containing the origin to a well studied limit $C$. We study the intersection…

Probability · Mathematics 2025-11-04 Jacob Richey , Amites Sarkar

We present some long-range interaction models for phase coexistence which have recently appeared in the literature, recalling also their relation to classical interface and capillarity problems. In this note, the main focus will be on the…

Analysis of PDEs · Mathematics 2020-01-07 Serena Dipierro , Pietro Miraglio , Enrico Valdinoci

Functional conjugation methods are used to analyze the global structure of various renormalization group trajectories, and to gain insight into the interplay between continuous and discrete rescaling. With minimal assumptions, the methods…

High Energy Physics - Theory · Physics 2011-03-21 Thomas L. Curtright , Cosmas K. Zachos

Solutions to the random Fibonacci recurrence x_{n+1}=x_{n} + or - Bx_{n-1} decrease (increase) exponentially, x_{n} = exp(lambda n), for sufficiently small (large) B. In the limits B --> 0 and B --> infinity, we expand the Lyapunov exponent…

Statistical Mechanics · Physics 2009-11-07 Clément Sire , Paul L. Krapivsky

We investigate Bayesian non-parametric inference of the $\Lambda$-measure of $\Lambda$-coalescent processes with recurrent mutation, parametrised by probability measures on the unit interval. We give verifiable criteria on the prior for…

Methodology · Statistics 2019-08-13 Jere Koskela , Paul A. Jenkins , Dario Spanò

The border-collision normal form is a canonical form for two-dimensional, continuous maps comprised of two affine pieces. In this paper we provide a guide to the dynamics of this family of maps in the non-invertible case where the two…

Chaotic Dynamics · Physics 2023-07-19 Hammed Olawale Fatoyinbo , David J. W. Simpson

We prove a lower bound on the size of bottlenecks in uniform quadrangulations, valid at all scales simultaneously. We use it to establish upper bounds on the uniform mixing time of the lazy random walk on uniform quadrangulations, as well…

Probability · Mathematics 2021-05-12 Thomas Lehéricy

We prove a quantitative estimate for the homogenization length scale in terms of the ellipticity ratio $\Lambda/\lambda$ of the coefficient field. This upper bound applies to high-contrast elliptic equations exhibiting near-critical…

Probability · Mathematics 2025-09-09 Scott Armstrong , Tuomo Kuusi

I study the problem of renormalizing a non-renormalizable theory with a reduced, eventually finite, set of independent couplings. The idea is to look for special relations that express the coefficients of the irrelevant terms as unique…

High Energy Physics - Theory · Physics 2009-11-11 Damiano Anselmi

We study nonparametric distance-based (isotropic) local polynomial methods for estimating the boundary average treatment effect curve, a causal functional that captures treatment effect heterogeneity in boundary discontinuity designs. We…

Econometrics · Economics 2026-05-26 Matias D. Cattaneo , Rocio Titiunik , Ruiqi Rae Yu
‹ Prev 1 8 9 10 Next ›