Related papers: Positive characteristic Ax-Schanuel

We deduce a special case of Zilber's quasiminimality conjecture, for the complex exponential field, from work of Henson and Rubel. Specifically, we deal with those subsets of $\mathbb{C}$ defined by formulas of the form…

We provide a criterion for a coherent sheaf to be an Ulrich sheaf in terms of a certain bilinear form on its global sections. When working over the real numbers we call it a positive Ulrich sheaf if this bilinear form is symmetric or…

A special class of states of 2-qubits which are simultaneously separable and have positive semidefinite Wigner functions is described.

The authors review results implicit in their recent paper [2] on the product/quotient representation of rationals by rationals of the type $( an + b )/ ( An+ B )$ and give a detailed account of a particular related non-intuitive…

We conjecture that any perverse sheaf on a compact aspherical K\"ahler manifold has non-negative Euler characteristic. This extends the Singer-Hopf conjecture in the K\"ahler setting. We verify the stronger conjecture when the manifold X…

This article illustrates the use of a logical specification language to capture various forms of confidentiality properties used in the security literature.

In this short note, we prove positivity of the Lyapunov exponent for 1D continuum Anderson models by leveraging some classical tools from inverse spectral theory. The argument is much simpler than the existing proof due to…

We prove the analogue of Schanuel's conjecture for raising to the power of an exponentially transcendental real number. All but countably many real numbers are exponentially transcendental. We also give a more general result for several…

We develop a taxonomy of different behavioral specification theories and expose their algebraic properties. We start by clarifying what precisely constitutes a behavioral specification theory and then introduce logical and structural…

Let X be a Hilbert bimodule over a C*-algebra A and $O_X= A \rtimes_X \Z$. Using a finite section method we construct a sequence of completely positive contractions factoring through matrix algebras over A which act on $s_{\xi} s_{\eta}^*$…

Talk given at Symposium in Honor of Julius Wess on the Occasion of his 70th Birthday, 10-11 January 2005 at Max Planck Institute for Physics (Werner Heisenberg Institut) Fohringer Ring 6 - D-80805 MUENCHEN

In the context of learning formal languages, data about an unknown target language L is given in terms of a set of (word,label) pairs, where a binary label indicates whether or not the given word belongs to L. A (polynomial-size)…

Several studies have shown that speech and language features, automatically extracted from clinical interviews or spontaneous discourse, have diagnostic value for mental disorders such as schizophrenia and bipolar disorder. They typically…

Over the last million years, human language has emerged and evolved as a fundamental instrument of social communication and semiotic representation. People use language in part to convey emotional information, leading to the central and…

Labeled examples (i.e., positive and negative examples) are an attractive medium for communicating complex concepts. They are useful for deriving concept expressions (such as in concept learning, interactive concept specification, and…

We give a simple statistical proof of a binomial identity, by evaluating the Laplace transform of the maximum of n independent exponential random variables in two different ways. As a by product, we obtain a simple proof of an interesting…

In this paper, we study higher derivations of Jacobian type in positive characteristic. We give a necessary and sufficient condition for $(n-1)$-tuples of polynomials to be extendable in the polynomial ring in $n$ variables over an integral…

We consider different generalizations of the Euler formula and discuss the properties of the associated trigonometric functions. The problem is analyzed from different points of view and it is shown that it can be formulated in a natural…

The concept of reflection positivity has its origins in the work of Osterwalder--Schrader on constructive quantum field theory. It is a fundamental tool to construct a relativistic quantum field theory as a unitary representation of the…

We analyse some aspects of the notion of algebraic exponentiation introduced by the second author [16] and satisfied by the category of groups. We show how this notion provides a new approach to the categorical-algebraic question of the…