Related papers: Around Brody lemma
Dickson's Lemma is a simple yet powerful tool widely used in termination proofs, especially when dealing with counters or related data structures. However, most computer scientists do not know how to derive complexity upper bounds from such…
We suggest a twisted version of the categorical McKay correspondence and prove several results related to it.
An abstract version of Galvin's lemma is proven, within the framework of the theory of Ramsey spaces. Some instances of it are explored.
The interplay among the spectrum, geometry and magnetic field in tubular neighbourhoods of curves in Euclidean spaces is investigated in the limit when the cross section shrinks to a point. Proving a norm resolvent convergence, we derive…
For arbitrary Borel probability measures on the real line, necessary and sufficient conditions are presented that characterize best purely atomic approximations relative to the classical Levy probability metric, given any number of atoms,…
In this paper, we present a possible theoretical explanation for benford's law. We develop a recursive relation between the probabilities, using simple intuitive ideas. We first use numerical solutions of this recursion and verify that the…
The influence theorem for product measures on the discrete space {0,1}^N may be extended to probability measures with the property of monotonicity (which is equivalent to `strong positive-association'). Corresponding results are valid for…
Implication of the modified Gottfried sum rule is discussed by focusing its theoretical bases, the range of validity, and physical interpretation.
We introduce the notion of directed diagrammatic reducibility which is a relative version of diagrammatic reducibility. Directed diagrammatic reducibility has strong group theoretic and topological consequences. A multi-relator version of…
Motivated by a biased diffusion of molecular motors with the bias dependent on the state of the substrate, we investigate a random walk on a one-dimensional lattice that contains weak links (called "bridges'') which are affected by the…
The bulk conductivity of a two-dimensional system is studied assuming that quantum interference effects break time-reversal symmetry in the presence of strong spin-orbit interaction and strong lattice potential. The study is carried out by…
Mediation analysis, which started with Baron and Kenny (1986), is used extensively by applied researchers. Indirect and direct effects are the part of a treatment effect that is mediated by a covariate and the part that is not. Subsequent…
We establish two new direct product theorems for the randomized query complexity of Boolean functions. The first shows that computing $n$ copies of a function $f$, even with a small success probability of $\gamma^n$, requires $\Theta(n)$…
We study a class of formulas generalizing the weak law of the excluded middle, and provide a characterization of these formulas in terms of Kripke frames and Brouwer algebras. We use these formulas to separate logics corresponding to…
Morrey's classical inequality implies the H\"older continuity of a function whose gradient is sufficiently integrable. Another consequence is the Hardy-type inequality $$ \lambda\biggl\|\frac{u}{d_\Omega^{1-n/p}}\biggr\|_{\infty}^p\le…
For a bounded convex domain \Omega in R^N we prove refined Hardy inequalities that involve the Hardy potential corresponding to the distance to the boundary of \Omega, the volume of $\Omega$, as well as a finite number of sharp logarithmic…
Generalized linear models, such as logistic regression, are widely used to model the association between a treatment and a binary outcome as a function of baseline covariates. However, the coefficients of a logistic regression model…
Let $P$ be a polynomial of degree $d$ in independent Bernoulli random variables which has zero mean and unit variance. The Bonami hypercontractivity bound implies that the probability that $|P| > t$ decays exponentially in $t^{2/d}$.…
It is shown that under reasonable assumptions a Drake-style equation can be obtained for the probability that our universe is the result of a deliberate simulation. Evaluating loose bounds for certain terms in the equation shows that the…
Systems of orthogonal polynomials whose recurrence coefficients tend to infinity are considered. A summability condition is imposed on the coefficients and the consequences for the measure of orthogonality are discussed. Also discussed are…