Control theory for principled heap sizing

We propose a new, principled approach to adaptive heap sizing based on control theory. We review current state-of-the-art heap sizing mechanisms, as deployed in Jikes RVM and HotSpot. We then formulate heap sizing as a control problem, apply and tune a standard controller algorithm, and evaluate its performance on a set of well-known benchmarks. We find our controller adapts the heap size more responsively than existing mechanisms. This responsiveness allows tighter virtual machine memory footprints while preserving target application throughput, which is ideal for both embedded and utility computing domains. In short, we argue that formal, systematic approaches to memory management should be replacing ad-hoc heuristics as the discipline matures. Control-theoretic heap sizing is one such systematic approach

On the joint residence time of N independent two-dimensional Brownian motions

We study the behavior of several joint residence times of N independent Brownian particles in a disc of radius $R$ in two dimensions. We consider: (i) the time T_N(t) spent by all N particles simultaneously in the disc within the time interval [0,t]; (ii) the time T_N^{(m)}(t) which at least m out of N particles spend together in the disc within the time interval [0,t]; and (iii) the time {\tilde T}_N^{(m)}(t) which exactly m out of N particles spend together in the disc within the time interval [0,t]. We obtain very simple exact expressions for the expectations of these three residence times in the limit t\to\infty.Comment: 8 page

Initial data for fluid bodies in general relativity

We show that there exist asymptotically flat almost-smooth initial data for Einstein-perfect fluid's equation that represent an isolated liquid-type body. By liquid-type body we mean that the fluid energy density has compact support and takes a strictly positive constant value at its boundary. By almost-smooth we mean that all initial data fields are smooth everywhere on the initial hypersurface except at the body boundary, where tangential derivatives of any order are continuous at that boundary. PACS: 04.20.Ex, 04.40.Nr, 02.30.JrComment: 38 pages, LaTeX 2e, no figures. Accepted for publication in Phys. Rev.

Essential spectra and exponential estimates of eigenfunctions of lattice operators of quantum mechanics

This paper is devoted to estimates of the exponential decay of eigenfunctions of difference operators on the lattice Z^n which are discrete analogs of the Schr\"{o}dinger, Dirac and square-root Klein-Gordon operators. Our investigation of the essential spectra and the exponential decay of eigenfunctions of the discrete spectra is based on the calculus of so-called pseudodifference operators (i.e., pseudodifferential operators on the group Z^n) with analytic symbols and on the limit operators method. We obtain a description of the location of the essential spectra and estimates of the eigenfunctions of the discrete spectra of the main lattice operators of quantum mechanics, namely: matrix Schr\"{o}dinger operators on Z^n, Dirac operators on Z^3, and square root Klein-Gordon operators on Z^n

Rendezvous on a Line by Location-Aware Robots Despite the Presence of Byzantine Faults

A set of mobile robots is placed at points of an infinite line. The robots are equipped with GPS devices and they may communicate their positions on the line to a central authority. The collection contains an unknown subset of "spies", i.e., byzantine robots, which are indistinguishable from the non-faulty ones. The set of the non-faulty robots need to rendezvous in the shortest possible time in order to perform some task, while the byzantine robots may try to delay their rendezvous for as long as possible. The problem facing a central authority is to determine trajectories for all robots so as to minimize the time until the non-faulty robots have rendezvoused. The trajectories must be determined without knowledge of which robots are faulty. Our goal is to minimize the competitive ratio between the time required to achieve the first rendezvous of the non-faulty robots and the time required for such a rendezvous to occur under the assumption that the faulty robots are known at the start. We provide a bounded competitive ratio algorithm, where the central authority is informed only of the set of initial robot positions, without knowing which ones or how many of them are faulty. When an upper bound on the number of byzantine robots is known to the central authority, we provide algorithms with better competitive ratios. In some instances we are able to show these algorithms are optimal

A threshold phenomenon for embeddings of H0mH^m_0 into Orlicz spaces

We consider a sequence of positive smooth critical points of the Adams-Moser-Trudinger embedding of $H^m_0$ into Orlicz spaces. We study its concentration-compactness behavior and show that if the sequence is not precompact, then the liminf of the $H^m_0$-norms of the functions is greater than or equal to a positive geometric constant.Comment: 14 Page

Counting Yang-Mills Dyons with Index Theorems

We count the supersymmetric bound states of many distinct BPS monopoles in N=4 Yang-Mills theories and in pure N=2 Yang-Mills theories. The novelty here is that we work in generic Coulombic vacua where more than one adjoint Higgs fields are turned on. The number of purely magnetic bound states is again found to be consistent with the electromagnetic duality of the N=4 SU(n) theory, as expected. We also count dyons of generic electric charges, which correspond to 1/4 BPS dyons in N=4 theories and 1/2 BPS dyons in N=2 theories. Surprisingly, the degeneracy of dyons is typically much larger than would be accounted for by a single supermultiplet of appropriate angular momentum, implying many supermutiplets of the same charge and the same mass.Comment: 34 pages, 1 figure, LaTe

Kinetics of stochastically-gated diffusion-limited reactions and geometry of random walk trajectories

In this paper we study the kinetics of diffusion-limited, pseudo-first-order A + B -> B reactions in situations in which the particles' intrinsic reactivities vary randomly in time. That is, we suppose that the particles are bearing "gates" which interchange randomly and independently of each other between two states - an active state, when the reaction may take place, and a blocked state, when the reaction is completly inhibited. We consider four different models, such that the A particle can be either mobile or immobile, gated or ungated, as well as ungated or gated B particles can be fixed at random positions or move randomly. All models are formulated on a $d$-dimensional regular lattice and we suppose that the mobile species perform independent, homogeneous, discrete-time lattice random walks. The model involving a single, immobile, ungated target A and a concentration of mobile, gated B particles is solved exactly. For the remaining three models we determine exactly, in form of rigorous lower and upper bounds, the large-N asymptotical behavior of the A particle survival probability. We also realize that for all four models studied here such a probalibity can be interpreted as the moment generating function of some functionals of random walk trajectories, such as, e.g., the number of self-intersections, the number of sites visited exactly a given number of times, "residence time" on a random array of lattice sites and etc. Our results thus apply to the asymptotical behavior of the corresponding generating functions which has not been known as yet.Comment: Latex, 45 pages, 5 ps-figures, submitted to PR

Stable directions for small nonlinear Dirac standing waves

We prove that for a Dirac operator with no resonance at thresholds nor eigenvalue at thresholds the propagator satisfies propagation and dispersive estimates. When this linear operator has only two simple eigenvalues close enough, we study an associated class of nonlinear Dirac equations which have stationary solutions. As an application of our decay estimates, we show that these solutions have stable directions which are tangent to the subspaces associated with the continuous spectrum of the Dirac operator. This result is the analogue, in the Dirac case, of a theorem by Tsai and Yau about the Schr\"{o}dinger equation. To our knowledge, the present work is the first mathematical study of the stability problem for a nonlinear Dirac equation.Comment: 62 page