Electronic Hong-Ou-Mandel interferometry in two-dimensional topological insulators

The edge states of a two-dimensional topological insulator are characterized by their helicity, a very remarkable property which is related to the time-reversal symmetry and the topology of the underlying system. We theoretically investigate a Hong-Ou-Mandel like setup as a tool to probe it. Collisions of two electrons with the same spin show a Pauli dip, analogous to the one obtained in the integer quantum Hall case. Moreover, the collisions between electrons of opposite spin also lead to a dip, known as $\mathbb{Z}_{2}$ dip, which is a direct consequence of the constraints imposed by time-reversal symmetry. In contrast to the integer quantum Hall case, the visibility of these dips is reduced by the presence of the additional edge channels, and crucially depends on the properties of the quantum point contact. As a unique feature of this system, we show the possibility of three-electron interference, which leads to a total suppression of the noise independently of the point contact configuration. This is assured by the peculiar interplay between Fermi statistics and topology. This work intends to extend the domain of applicability of electron quantum optics.Comment: 12 pages, 7 figure

Current-driven magnetization decrease in single crystalline ferromagnetic manganese oxide

The electrical and magnetic response to a bias current has been investigated in a singlecrystalline ferromagnetic manganese oxide $\Pr_{0.8}$Ca$_{0.2}$MnO$_3$ . A significant decrease of the magnetization is observed at the same threshold current where a non-linearity of V-I characteristics appears. Such a behavior cannot be understood in the framework of the filamentary picture usually invoked for the non linearity of the other manganese oxides. Instead, an analogy with spintronic features might be useful and experimental signatures seem to be in agreement with excitations of spin waves by an electric current. This provides an example of a bulk system in which the spin polarized current induces a macroscopic change in the magnetization.Comment: 3 pages, 4 figure

Hartree-Fock calculations for the ground and first excited states of H2

Hartree-Fock calculation for ground and first excited state of H

Complete intersection singularities of splice type as universal abelian covers

It has long been known that every quasi-homogeneous normal complex surface singularity with Q-homology sphere link has universal abelian cover a Brieskorn complete intersection singularity. We describe a broad generalization: First, one has a class of complete intersection normal complex surface singularities called "splice type singularities", which generalize Brieskorn complete intersections. Second, these arise as universal abelian covers of a class of normal surface singularities with Q-homology sphere links, called "splice-quotient singularities". According to the Main Theorem, splice-quotients realize a large portion of the possible topologies of singularities with Q-homology sphere links. As quotients of complete intersections, they are necessarily Q-Gorenstein, and many Q-Gorenstein singularities with Q-homology sphere links are of this type. We conjecture that rational singularities and minimally elliptic singularities with Q-homology sphere links are splice-quotients. A recent preprint of T Okuma presents confirmation of this conjecture.Comment: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol9/paper17.abs.htm

Repeatability of brown adipose tissue measurements on FDG PET/CT following a simple cooling procedure for BAT activation

Brown Adipose Tissue (BAT) is present in a significant number of adult humans and can be activated by exposure to cold. Measurement of active BAT presence, activity, and volume are desirable for determining the efficacy of potential treatments intended to activate BAT. The repeatability of 18F-fluorodeoxyglucose (FDG) positron emission tomography (PET) measurements of BAT presence, activity, and volume under controlled conditions has not been extensively studied. Eleven female volunteers underwent double baseline FDG PET imaging performed following a simple, regional cold intervention intended to activate brown fat. The cold intervention involved the lightly-clothed participants intermittently placing their feet on a block of ice while sitting in a cooled room. A repeat study was performed under the same conditions within a target of two weeks. FDG scans were obtained and maximum standardized uptake value adjusted for lean body mass (SULmax), CT Hounsfield units (HU), BAT metabolic volume (BMV), and total BAT glycolysis (TBG) were determined according to the Brown Adipose Reporting Criteria in Imaging STudies (BARCIST) 1.0. A Lin's concordance correlation (CCC) of 0.80 was found for BMV between test and retest imaging. Intersession BAT SULmax was significantly correlated (r = 0.54; p < 0.05). The session #1 mean SULmax of 4.92 ± 4.49 g/mL was not significantly different from that of session #2 with a mean SULmax of 7.19 ± 7.34 g/mL (p = 0.16). BAT SULmax was highly correlated with BMV in test and retest studies (r ≥ 0.96, p < 0.001). Using a simplified ice-block cooling method, BAT was activated in the majority (9/11) of a group of young, lean female participants. Quantitative assessments of BAT SUL and BMV were not substantially different between test and retest imaging, but individual BMV could vary considerably. Intrasession BMV and SULmax were strongly correlated. The variability in estimates of BAT activity and volume on test-retest with FDG should inform sample size choice in studies quantifying BAT physiology and support the dynamic metabolic characteristics of this tissue. A more sophisticated cooling method potentially may reduce variations in test-retest BAT studies

Conditional regularity of solutions of the three dimensional Navier-Stokes equations and implications for intermittency

Two unusual time-integral conditional regularity results are presented for the three-dimensional Navier-Stokes equations. The ideas are based on $L^{2m}$-norms of the vorticity, denoted by $\Omega_{m}(t)$, and particularly on $D_{m} = \Omega_{m}^{\alpha_{m}}$, where $\alpha_{m} = 2m/(4m-3)$ for $m\geq 1$. The first result, more appropriate for the unforced case, can be stated simply : if there exists an $1\leq m < \infty$ for which the integral condition is satisfied ($Z_{m}=D_{m+1}/D_{m}$) $$\int_{0}^{t}\ln (\frac{1 + Z_{m}}{c_{4,m}}) d\tau \geq 0$$ then no singularity can occur on $[0, t]$. The constant $c_{4,m} \searrow 2$ for large $m$. Secondly, for the forced case, by imposing a critical \textit{lower} bound on $\int_{0}^{t}D_{m} d\tau$, no singularity can occur in $D_{m}(t)$ for \textit{large} initial data. Movement across this critical lower bound shows how solutions can behave intermittently, in analogy with a relaxation oscillator. Potential singularities that drive $\int_{0}^{t}D_{m} d\tau$ over this critical value can be ruled out whereas other types cannot.Comment: A frequency was missing in the definition of D_{m} in (I5) v3. 11 pages, 1 figur

When images work faster than words: The integration of content-based image retrieval with the Northumbria Watermark Archive

Information on the manufacture, history, provenance, identification, care and conservation of paper-based artwork/objects is disparate and not always readily available. The Northumbria Watermark Archive will incorporate such material into a database, which will be made freely available on the Internet providing an invaluable resource for conservation, research and education. The efficiency of a database is highly dependant on its search mechanism. Text based mechanisms are frequently ineffective when a range of descriptive terminologies might be used i.e. when describing images or translating from foreign languages. In such cases a Content Based Image Retrieval (CBIR) system can be more effective. Watermarks provide paper with unique visual identification characteristics and have been used to provide a point of entry to the archive that is more efficient and effective than a text based search mechanism. The research carried out has the potential to be applied to any numerically large collection of images with distinctive features of colour, shape or texture i.e. coins, architectural features, picture frame profiles, hallmarks, Japanese artists stamps etc. Although the establishment of an electronic archive incorporating a CBIR system can undoubtedly improve access to large collections of images and related data, the development is rarely trouble free. This paper discusses some of the issues that must be considered i.e. collaboration between disciplines; project management; copying and digitising objects; content based image retrieval; the Northumbria Watermark Archive; the use of standardised terminology within a database as well as copyright issues

State space c-reductions for concurrent systems in rewriting logic

We present c-reductions, a state space reduction technique. The rough idea is to exploit some equivalence relation on states (possibly capturing system regularities) that preserves behavioral properties, and explore the induced quotient system. This is done by means of a canonizer function, which maps each state into a (non necessarily unique) canonical representative of its equivalence class. The approach exploits the expressiveness of rewriting logic and its realization in Maude to enjoy several advantages over similar approaches: exibility and simplicity in the definition of the reductions (supporting not only traditional symmetry reductions, but also name reuse and name abstraction); reasoning support for checking and proving correctness of the reductions; and automatization of the reduction infrastructure via Maude's meta-programming features. The approach has been validated over a set of representative case studies, exhibiting comparable results with respect to other tools