Related papers: Bounding normalization time through intersection t…
This paper studies identification and inference in transformation models with endogenous censoring. Many kinds of duration models, such as the accelerated failure time model, proportional hazard model, and mixed proportional hazard model,…
We present a new approach to the following meta-problem: given a quantitative property of trees, design a type system such that the desired property for the tree generated by an infinitary ground $\lambda$-term corresponds to some property…
In a paper entitled Binary lambda calculus and combinatory logic, John Tromp presents a simple way of encoding lambda calculus terms as binary sequences. In what follows, we study the numbers of binary strings of a given size that represent…
We describe several new ways of specifying the behaviour of Lemaitre-Tolman (LT) models, in each case presenting the method for obtaining the LT arbitrary functions from the given data, and the conditions for existence of such solutions. In…
The paper is an attempt to generalize a methodology, which is similar to the bounded-input bounded-output method currently widely used for the system stability studies. The presented earlier methodology allows decomposition of input space…
Using relative entropy, we derive bounds on the time rate of change of geometric entanglement entropy for any relativistic quantum field theory in any dimension. The bounds apply to both mixed and pure states, and may be extended to curved…
We provide a generalization of the normal mode decomposition for non-symmetric or locality constrained situations. This allows for instance to locally decouple a bipartitioned collection of arbitrarily correlated oscillators up to…
Higher order conformal perturbation theory is studied for theories with and without boundaries. We identify systematically the universal quantities in the beta function equations, and we give explicit formulae for the universal coefficients…
The large-beta_0 limit of QCD is discussed, with the emphasize on simple technical methods of calculating various quantities at the order 1/\beta_0. Many examples, mainly from heavy quark physics, are considered. Some QCD results based on…
For a finite measure $\varLambda$ on $[0,1]$, the $\varLambda$-coalescent is a coalescent process such that, whenever there are $b$ clusters, each $k$-tuple of clusters merges into one at rate…
A fertile area of recent research has demonstrated concrete polynomial time lower bounds for solving natural hard problems on restricted computational models. Among these problems are Satisfiability, Vertex Cover, Hamilton Path, Mod6-SAT,…
Some type-based approaches to termination use sized types: an ordinal bound for the size of a data structure is stored in its type. A recursive function over a sized type is accepted if it is visible in the type system that recursive calls…
This paper gives sharp linear bounds on the genus of a normal surface in a triangulated compact, orientable 3--manifold in terms of the quadrilaterals in its cell decomposition---different bounds arise from varying hypotheses on the surface…
We survey several methods of generating large random lambda-terms, focusing on their closed and simply-typed variants. We discuss methods of exact- and approximate-size generation, as well as methods of achieving size-uniform and…
Consider p independent Brownian motions in R^d, each running up to its first exit time from an open domain B, and their intersection local time l as a measure on B. We give a sharp criterion for the finiteness of exponential moments,…
We develop semiclassical methods for studying bubble nucleation in models with parameters that vary slowly in time. Introducing a more general rotation of the time contour allows access to a larger set of final states, and typically a…
We examine in detail the semi-leptonic decay $\Lambda_b \to \Lambda_c \tau{\bar \nu}_{\tau}$, which may confirm previous hints, from the analogous $B$ decay, of a new physics beyond the standard model. First of all, starting from rather…
Many major works in social science employ matching to make causal conclusions, but different matches on the same data may produce different treatment effect estimates, even when they achieve similar balance or minimize the same loss…
Slot and van Emde Boas' weak invariance thesis states that reasonable machines can simulate each other within a polynomially overhead in time. Is lambda-calculus a reasonable machine? Is there a way to measure the computational complexity…
Convergence of the solutions of nonhomogeneous linear singularly perturbed systems to that of the corresponding reduced singular system on the half-line [0, $\infty $) is considered. To include the situation on a neighborhood of initial…