Related papers: Witnessing dp-rank

Using the $det^{S^2}$ map from [5], we introduce the notion of $S^2$-rank of a matrix of type $d\times \frac{s(s-1)}{2}$. As an application, we show that the conditional probability matrix associated to two random variables has the…

We develop a framework, in the style of Adler, for interpreting the notion of "witnessing" that has appeared (usually as a variant of Kim's Lemma) in different areas of neostability theory as a binary relation between abstract independence…

We establish several results regarding dividing and forking in NTP2 theories. We show that dividing is the same as array-dividing. Combining it with existence of strictly invariant sequences we deduce that forking satisfies the chain…

We provide an essentially complete dictionary of all implications among the basic and fundamental conditions in weighted theory such as the doubling, one weight A_p(w), A_\infty and C_p conditions as well as the two weight A_p and the…

We give a complete classification of the set of parameters $\kappa$ for which the singular value of $E_{\kappa}:z\mapsto \exp(z)+\kappa$ escapes to infinity under iteration. In particular, we show that every path-connected component of this…

We compare the complexity of the search and decision problems for the complexity class S2P. While Cai (2007) showed that the decision problem is contained in ZPP^NP, we show that the search problem is equivalent to TFNP^NP, the class of…

We classify finite $p$-groups, upto isoclinism, which have only two conjugacy class sizes $1$ and $p^3$. It turns out that the nilpotency class of such groups is $2$.

Recently (Phys. Lett. A302 (2002) 253, hep-th/0208210; hep-th/0403146) employing bounded infinite-dimensional representations of the rotation group we have argued that one can obtain the consistent monopole theory with generalized Dirac…

We study the sequence entropy of rank one measure-preserving systems along subexponential sequences. We prove that the sequence entropy along a large class of sequences can be infinite using Ornstein's probabilistic constructions. Moreover,…

A long-standing conjecture asserts that every finite non-abelian $p$-group has a non-inner automorphism of order $p$. In this paper, we settle the conjecture for a finite $p$-group ($p >2$) of nilpotency class $n$ with certain conditions.

Motivated by the theory of proof complexity generators we consider the following $\Sigma^p_2$ search problem $\mbox{DD}_P$ determined by a propositional proof system $P$: given a $P$-proof $\pi$ of a disjunction $\bigvee_i {\alpha}_i$, no…

We study rationality properties of irreducible characters of finite groups. We show that the continuity of $2$-rationality is a phenomenon that can be detected in the principal $2$-block, thus refining a recent result of N. N. Hung. We also…

The problem of classifying tuples of nilpotent matrices over a field under simultaneous conjugation is considered "hopeless". However, for any given matrix order over a finite field, the number of concerned orbits is always finite. This…

In this paper we continue the study of powerfully nilpotent groups. These are powerful $p$-groups possessing a central series of a special kind. To each such group one can attach a powerful nilpotency class that leads naturally to the…

We classify purely inseparable morphisms of degree $p$ between rational double points (RDPs) in characteristic $p > 0$. Using such morphisms, we refine a result of Artin that any RDP admits a finite smooth covering.

Let $\kappa$ be a regular cardinal. Consider the Baire numbers of the spaces $(2^{\theta})_\kappa$ (functions from $\theta$ to 2 and the less than $\kappa$ topology) for various $\theta \geq \kappa$. Let l be the number of such different…

For an abelian variety $A$ over a finitely generated field $K$ of characteristic $p > 0$, we prove that the algebraic rank of $A$ is at most a suitably defined analytic rank. Moreover, we prove that equality, i.e., the BSD rank conjecture,…

In this article we propose an extension to the typed natural deduction calculus TNDPQ to model verification of individual fairness and intersectionality in probabilistic classifiers. Their interpretation is obtained by formulating specific…

We give several characterizations of when a complete first-order theory $T$ is monadically NIP, i.e. when expansions of $T$ by arbitrary unary predicates do not have the independence property. The central characterization is a condition on…

We study the connection between kappa calculus and probabilistic reasoning in diagnosis applications. Specifically, we abstract a probabilistic belief network for diagnosing faults into a kappa network and compare the ordering of faults…