Quantitative measurement of the surface charge density

We present a method of measuring the charge density on dielectric surfaces. Similar to electrostatic force microscopy we record the electrostatic interaction between the probe and the sample surface, but at large tip-sample distances. For calibration we use a pyroelectric sample which allows us to alter the surface charge density by a known amount via a controlled temperature change. For proof of principle we determined the surface charge density under ambient conditions of ferroelectric lithium niobate

Detection mechanism for ferroelectric domain boundaries with lateral force microscopy

The contrast mechanism for the visualization of ferroelectric domain boundaries with lateral force microscopy is generally assumed to be caused by mechanical deformation of the sample due to the converse piezoelectric effect. We show, however, that electrostatic interactions between the charged tip and the electric fields arising from the surface polarization charges dominate the contrast mechanism. This explanation is sustained by quantitative analysis of the measured forces as well as by comparative measurements on different materials

Impact of Electrostatic Forces in Contact Mode Scanning Force Microscopy

In this $\ll$ contribution we address the question to what extent surface charges affect contact-mode scanning force microscopy measurements. % We therefore designed samples where we could generate localized electric field distributions near the surface as and when required. % We performed a series of experiments where we varied the load of the tip, the stiffness of the cantilever and the hardness of the sample surface. % It turned out that only for soft cantilevers could an electrostatic interaction between tip and surface charges be detected, irrespective of the surface properties, i.\,e. basically regardless its hardness. % We explain these results through a model based on the alteration of the tip-sample potential by the additional electric field between charged tip and surface charges

TensorFlow Estimators: Managing Simplicity vs. Flexibility in High-Level Machine Learning Frameworks

We present a framework for specifying, training, evaluating, and deploying machine learning models. Our focus is on simplifying cutting edge machine learning for practitioners in order to bring such technologies into production. Recognizing the fast evolution of the field of deep learning, we make no attempt to capture the design space of all possible model architectures in a domain- specific language (DSL) or similar configuration language. We allow users to write code to define their models, but provide abstractions that guide develop- ers to write models in ways conducive to productionization. We also provide a unifying Estimator interface, making it possible to write downstream infrastructure (e.g. distributed training, hyperparameter tuning) independent of the model implementation. We balance the competing demands for flexibility and simplicity by offering APIs at different levels of abstraction, making common model architectures available out of the box, while providing a library of utilities designed to speed up experimentation with model architectures. To make out of the box models flexible and usable across a wide range of problems, these canned Estimators are parameterized not only over traditional hyperparameters, but also using feature columns, a declarative specification describing how to interpret input data. We discuss our experience in using this framework in re- search and production environments, and show the impact on code health, maintainability, and development speed.Comment: 8 pages, Appeared at KDD 2017, August 13--17, 2017, Halifax, NS, Canad

Comparing and characterizing some constructions of canonical bases from Coxeter systems

The Iwahori-Hecke algebra $\mathcal{H}$ of a Coxeter system $(W,S)$ has a "standard basis" indexed by the elements of $W$ and a "bar involution" given by a certain antilinear map. Together, these form an example of what Webster calls a pre-canonical structure, relative to which the well-known Kazhdan-Lusztig basis of $\mathcal{H}$ is a canonical basis. Lusztig and Vogan have defined a representation of a modified Iwahori-Hecke algebra on the free $\mathbb{Z}[v,v^{-1}]$-module generated by the set of twisted involutions in $W$, and shown that this module has a unique pre-canonical structure satisfying a certain compatibility condition, which admits its own canonical basis which can be viewed as a generalization of the Kazhdan-Lusztig basis. One can modify the parameters defining Lusztig and Vogan's module to obtain other pre-canonical structures, each of which admits a unique canonical basis indexed by twisted involutions. We classify all of the pre-canonical structures which arise in this fashion, and explain the relationships between their resulting canonical bases. While some of these canonical bases are related in a trivial fashion to Lusztig and Vogan's construction, others appear to have no simple relation to what has been previously studied. Along the way, we also clarify the differences between Webster's notion of a canonical basis and the related concepts of an IC basis and a $P$-kernel.Comment: 32 pages; v2: additional discussion of relationship between canonical bases, IC bases, and P-kernels; v3: minor revisions; v4: a few corrections and updated references, final versio

Highest weight categories arising from Khovanov's diagram algebra II: Koszulity

This is the second of a series of four articles studying various generalisations of Khovanov's diagram algebra. In this article we develop the general theory of Khovanov's diagrammatically defined "projective functors" in our setting. As an application, we give a direct proof of the fact that the quasi-hereditary covers of generalised Khovanov algebras are Koszul.Comment: Minor changes, extra sections on Kostant modules and rigidity of cell modules adde

Super duality and irreducible characters of ortho-symplectic Lie superalgebras

We formulate and establish a super duality which connects parabolic categories $O$ between the ortho-symplectic Lie superalgebras and classical Lie algebras of $BCD$ types. This provides a complete and conceptual solution of the irreducible character problem for the ortho-symplectic Lie superalgebras in a parabolic category $O$, which includes all finite-dimensional irreducible modules, in terms of classical Kazhdan-Lusztig polynomials.Comment: 30 pages, Section 5 rewritten and shortene

Three-dimensionality of space and the quantum bit: an information-theoretic approach

It is sometimes pointed out as a curiosity that the state space of quantum two-level systems, i.e. the qubit, and actual physical space are both three-dimensional and Euclidean. In this paper, we suggest an information-theoretic analysis of this relationship, by proving a particular mathematical result: suppose that physics takes place in d spatial dimensions, and that some events happen probabilistically (not assuming quantum theory in any way). Furthermore, suppose there are systems that carry "minimal amounts of direction information", interacting via some continuous reversible time evolution. We prove that this uniquely determines spatial dimension d=3 and quantum theory on two qubits (including entanglement and unitary time evolution), and that it allows observers to infer local spatial geometry from probability measurements.Comment: 13 + 22 pages, 9 figures. v4: some clarifications, in particular in Section V / Appendix C (added Example 39

Felix Alexandrovich Berezin and his work

This is a survey of Berezin's work focused on three topics: representation theory, general concept of quantization, and supermathematics.Comment: LaTeX, 27 page