Overcoming controllability problems in distributed testing from an input output transition system

This is the Pre-print version of the Article. The official published version can be accessed from the link below - Copyright @ 2012 Springer VerlagThis paper concerns the testing of a system with physically distributed interfaces, called ports, at which it interacts with its environment. We place a tester at each port and the tester at port p observes events at p only. This can lead to controllability problems, where the observations made by the tester at a port p are not sufficient for it to be able to know when to send an input. It is known that there are test objectives, such as executing a particular transition, that cannot be achieved if we restrict attention to test cases that have no controllability problems. This has led to interest in schemes where the testers at the individual ports send coordination messages to one another through an external communications network in order to overcome controllability problems. However, such approaches have largely been studied in the context of testing from a deterministic finite state machine. This paper investigates the use of coordination messages to overcome controllability problems when testing from an input output transition system and gives an algorithm for introducing sufficient messages. It also proves that the problem of minimising the number of coordination messages used is NP-hard

Proof of a conjecture of Polya on the zeros of successive derivatives of real entire functions

We prove Polya's conjecture of 1943: For a real entire function of order greater than 2, with finitely many non-real zeros, the number of non-real zeros of the n-th derivative tends to infinity with n. We use the saddle point method and potential theory, combined with the theory of analytic functions with positive imaginary part in the upper half-plane.Comment: 26 page

Combinatorial Markov chains on linear extensions

We consider generalizations of Schuetzenberger's promotion operator on the set L of linear extensions of a finite poset of size n. This gives rise to a strongly connected graph on L. By assigning weights to the edges of the graph in two different ways, we study two Markov chains, both of which are irreducible. The stationary state of one gives rise to the uniform distribution, whereas the weights of the stationary state of the other has a nice product formula. This generalizes results by Hendricks on the Tsetlin library, which corresponds to the case when the poset is the anti-chain and hence L=S_n is the full symmetric group. We also provide explicit eigenvalues of the transition matrix in general when the poset is a rooted forest. This is shown by proving that the associated monoid is R-trivial and then using Steinberg's extension of Brown's theory for Markov chains on left regular bands to R-trivial monoids.Comment: 35 pages, more examples of promotion, rephrased the main theorems in terms of discrete time Markov chain

Signal and System Approximation from General Measurements

In this paper we analyze the behavior of system approximation processes for stable linear time-invariant (LTI) systems and signals in the Paley-Wiener space PW_\pi^1. We consider approximation processes, where the input signal is not directly used to generate the system output, but instead a sequence of numbers is used that is generated from the input signal by measurement functionals. We consider classical sampling which corresponds to a pointwise evaluation of the signal, as well as several more general measurement functionals. We show that a stable system approximation is not possible for pointwise sampling, because there exist signals and systems such that the approximation process diverges. This remains true even with oversampling. However, if more general measurement functionals are considered, a stable approximation is possible if oversampling is used. Further, we show that without oversampling we have divergence for a large class of practically relevant measurement procedures.Comment: This paper will be published as part of the book "New Perspectives on Approximation and Sampling Theory - Festschrift in honor of Paul Butzer's 85th birthday" in the Applied and Numerical Harmonic Analysis Series, Birkhauser (Springer-Verlag). Parts of this work have been presented at the IEEE International Conference on Acoustics, Speech, and Signal Processing 2014 (ICASSP 2014

Possible origins of macroscopic left-right asymmetry in organisms

I consider the microscopic mechanisms by which a particular left-right (L/R) asymmetry is generated at the organism level from the microscopic handedness of cytoskeletal molecules. In light of a fundamental symmetry principle, the typical pattern-formation mechanisms of diffusion plus regulation cannot implement the "right-hand rule"; at the microscopic level, the cell's cytoskeleton of chiral filaments seems always to be involved, usually in collective states driven by polymerization forces or molecular motors. It seems particularly easy for handedness to emerge in a shear or rotation in the background of an effectively two-dimensional system, such as the cell membrane or a layer of cells, as this requires no pre-existing axis apart from the layer normal. I detail a scenario involving actin/myosin layers in snails and in C. elegans, and also one about the microtubule layer in plant cells. I also survey the other examples that I am aware of, such as the emergence of handedness such as the emergence of handedness in neurons, in eukaryote cell motility, and in non-flagellated bacteria.Comment: 42 pages, 6 figures, resubmitted to J. Stat. Phys. special issue. Major rewrite, rearranged sections/subsections, new Fig 3 + 6, new physics in Sec 2.4 and 3.4.1, added Sec 5 and subsections of Sec

Nonperturbative Effects in Gluon Radiation and Photoproduction of Quark Pairs

We introduce a nonperturbative interaction for light-cone fluctuations containing quarks and gluons. The $\bar qq$ interaction squeezes the transverse size of these fluctuations in the photon and one does not need to simulate this effect via effective quark masses. The strength of this interaction is fixed by data. Data on diffractive dissociation of hadrons and photons show that the nonperturbative interaction of gluons is much stronger. We fix the parameters for the nonperturbative quark-gluon interaction by data for diffractive dissociation to large masses (triple-Pomeron regime). This allows us to predict nuclear shadowing for gluons which turns out to be not as strong as perturbative QCD predicts. We expect a delayed onset of gluon shadowing at $x \leq 10^{-2}$ shadowing of quarks. Gluon shadowing turns out to be nearly scale invariant up to virtualities $Q^2\sim 4 GeV^2$ due to presence of a semihard scale characterizing the strong nonperturbative interaction of gluons. We use the same concept to improve our description of gluon bremsstrahlung which is related to the distribution function for a quark-gluon fluctuation and the interaction cross section of a $\bar qqG$ fluctuation with a nucleon. We expect the nonperturbative interaction to suppress dramatically the gluon radiation at small transverse momenta compared to perturbative calculations.Comment: 58 pages of Latex including 11 figures. Shadowing for soft gluons and Fig. 6 are added as well as a few reference

Menus for Feeding Black Holes

Black holes are the ultimate prisons of the Universe, regions of spacetime where the enormous gravity prohibits matter or even light to escape to infinity. Yet, matter falling toward the black holes may shine spectacularly, generating the strongest source of radiation. These sources provide us with astrophysical laboratories of extreme physical conditions that cannot be realized on Earth. This chapter offers a review of the basic menus for feeding matter onto black holes and discusses their observational implications.Comment: 27 pages. Accepted for publication in Space Science Reviews. Also to appear in hard cover in the Space Sciences Series of ISSI "The Physics of Accretion onto Black Holes" (Springer Publisher

Black hole thermodynamical entropy

As early as 1902, Gibbs pointed out that systems whose partition function diverges, e.g. gravitation, lie outside the validity of the Boltzmann-Gibbs (BG) theory. Consistently, since the pioneering Bekenstein-Hawking results, physically meaningful evidence (e.g., the holographic principle) has accumulated that the BG entropy $S_{BG}$ of a $(3+1)$ black hole is proportional to its area $L^2$ ($L$ being a characteristic linear length), and not to its volume $L^3$. Similarly it exists the \emph{area law}, so named because, for a wide class of strongly quantum-entangled $d$-dimensional systems, $S_{BG}$ is proportional to $\ln L$ if $d=1$, and to $L^{d-1}$ if $d>1$, instead of being proportional to $L^d$ ($d \ge 1$). These results violate the extensivity of the thermodynamical entropy of a $d$-dimensional system. This thermodynamical inconsistency disappears if we realize that the thermodynamical entropy of such nonstandard systems is \emph{not} to be identified with the BG {\it additive} entropy but with appropriately generalized {\it nonadditive} entropies. Indeed, the celebrated usefulness of the BG entropy is founded on hypothesis such as relatively weak probabilistic correlations (and their connections to ergodicity, which by no means can be assumed as a general rule of nature). Here we introduce a generalized entropy which, for the Schwarzschild black hole and the area law, can solve the thermodynamic puzzle.Comment: 7 pages, 2 figures. Accepted for publication in EPJ

Multiple Interactions and the Structure of Beam Remnants

Recent experimental data have established some of the basic features of multiple interactions in hadron-hadron collisions. The emphasis is therefore now shifting, to one of exploring more detailed aspects. Starting from a brief review of the current situation, a next-generation model is developed, wherein a detailed account is given of correlated flavour, colour, longitudinal and transverse momentum distributions, encompassing both the partons initiating perturbative interactions and the partons left in the beam remnants. Some of the main features are illustrated for the Tevatron and the LHC.Comment: 69pp, 33 figure