Related papers: The impatient collector
We compute the probability of satisfiability of a class of random Horn-SAT formulae, motivated by a connection with the nonemptiness problem of finite tree automata. In particular, when the maximum clause length is 3, this model displays a…
We consider the \mnk{classical} problem of a controller activating (or sampling) sequentially from a finite number of $N \geq 2$ populations, specified by unknown distributions. Over some time horizon, at each time $n = 1, 2, \ldots$, the…
We prove asymptotic formulas for the complex coefficients of $(\zeta q;q)_\infty^{-1}$, where $\zeta$ is a root of unity, and apply our results to determine secondary terms in the asymptotics for $p(a,b,n)$, the number of integer partitions…
We assign an arbitrary density matrix to a weighted graph and associate to it a graph zeta function that is both a generalization of the Ihara zeta function and a special case of the edge zeta function. We show that a recently developed…
Since a long-time, the quantum integrable systems have remained an area where modern mathematical methods have given an access to interesting results in the study of physical systems. The exact computations, both numerical and asymptotic,…
Conrey, Farmer, Keating, Rubinstein, and Snaith, recently conjectured formulas for the full asymptotics of the moments of $L$-functions. In the case of the Riemann zeta function, their conjecture states that the $2k$-th absolute moment of…
We consider the asymptotic behavior of the incomplete gamma functions gamma(-a,-z) and Gamma(-a,-z) as a goes to infinity. Uniform expansions are needed to describe the transition area z~a in which case error functions are used as main…
The asymptotic behavior at infinity of oscillatory integrals is in detail investigated by using the Newton polyhedra of the phase and the amplitude. We are especially interested in the case that the amplitude has a zero at a critical point…
We revisit a representation for the Riemann zeta function $\zeta(s)$ expressed in terms of normalised incomplete gamma functions given by the author and S. Cang in Methods Appl. Anal. {\bf 4} (1997) 449--470. Use of the uniform asymptotics…
We study alternating minimization for matrix completion in the simplest possible setting: completing a rank-one matrix from a revealed subset of the entries. We bound the asymptotic convergence rate by the variational characterization of…
A convenient framework for dealing with asymptotic limit problems of probabilistic nature is provided. These problems include questions such as finding the asymptotic proportion of terms of a sequence falling inside a given interval, or the…
Given a function f with an absolutely convergent Fourier series, we define the norm of f as ||f||_A = the sum of absolute values of the Fourier coefficients of f. We study the behavior of ||f^n||_A as n goes to infinity, for f of the form…
We study the structure of the asymptotic expansion of the probability that a combinatorial object is connected. We show that the coefficients appearing in those asymptotics are integers and can be interpreted as the counting sequences of…
We consider the model-checking problem for freeze LTL on one-counter automata (OCA). Freeze LTL extends LTL with the freeze quantifier, which allows one to store different counter values of a run in registers so that they can be compared…
We construct an asymptotic approximation to the solution of a transmission problem for a body containing a region occupied by many small inclusions. The cluster of inclusions is characterised by two small parameters that determine the…
We consider Pareto analysis of reachable states of multi-priced timed automata (MPTA): timed automata equipped with multiple observers that keep track of costs (to be minimised) and rewards (to be maximised) along a computation. Each…
We study how efficiently a $k$-element set $S\subseteq[n]$ can be learned from a uniform superposition $|S\rangle$ of its elements. One can think of $|S\rangle=\sum_{i\in S}|i\rangle/\sqrt{|S|}$ as the quantum version of a uniformly random…
We study a topological space obtained from a graph via replacing vertices with smooth Riemannian manifolds, i.e. a decorated graph. We construct a semiclassical asymptotics of the solutions of Cauchy problem for a time-dependent…
We consider the typical asymptotic behaviour of cellular automata of higher dimension (greater than 2). That is, we take an initial configuration at random according to a Bernoulli (i.i.d) probability measure, iterate some cellular…
Given a nonlinear control system, a target set, a nonnegative integral cost, and a continuous function $W$, we say that the system is globally asymptotically controllable to the target with W-regulated cost, whenever, starting from any…