Persistent currents in n-fold twisted Moebius strips

We investigate the influence of the topology on generic features of the persistent current in n-fold twisted Moebius strips formed of quasi one--dimensional mesoscopic rings, both for free electrons and in the weakly disordered regime. We find that there is no generic difference between the persistent current for untwisted rings and for Moebius strips with an arbitrary number of twists.Comment: 7 pages, 2 figure

Many-body physics of a quantum fluid of exciton-polaritons in a semiconductor microcavity

Some recent results concerning nonlinear optics in semiconductor microcavities are reviewed from the point of view of the many-body physics of an interacting photon gas. Analogies with systems of cold atoms at thermal equilibrium are drawn, and the peculiar behaviours due to the non-equilibrium regime pointed out. The richness of the predicted behaviours shows the potentialities of optical systems for the study of the physics of quantum fluids.Comment: Proceedings of QFS2006 conference to appear on JLT

Fully dynamic recognition of proper circular-arc graphs

We present a fully dynamic algorithm for the recognition of proper circular-arc (PCA) graphs. The allowed operations on the graph involve the insertion and removal of vertices (together with its incident edges) or edges. Edge operations cost O(log n) time, where n is the number of vertices of the graph, while vertex operations cost O(log n + d) time, where d is the degree of the modified vertex. We also show incremental and decremental algorithms that work in O(1) time per inserted or removed edge. As part of our algorithm, fully dynamic connectivity and co-connectivity algorithms that work in O(log n) time per operation are obtained. Also, an O(\Delta) time algorithm for determining if a PCA representation corresponds to a co-bipartite graph is provided, where \Delta\ is the maximum among the degrees of the vertices. When the graph is co-bipartite, a co-bipartition of each of its co-components is obtained within the same amount of time.Comment: 60 pages, 15 figure

Generalized bisimulation metrics

International audienceThe pseudometric based on the Kantorovich lifting is one of the most popular notion of distance between probabilistic processes proposed in the literature. However, its application in verification is limited to linear properties. We propose a generalization which allows to deal with a wider class of properties, such as those used in security and privacy. More precisely, we propose a family of pseudometrics, parametrized on a notion of distance which depends on the property we want to verify. Furthermore, we show that the members of this family still characterize bisimilarity in terms of their kernel, and provide a bound on the corresponding distance between trace distributions. Finally, we study the instance corresponding to differential privacy, and we show that it has a dual form, easier to compute. We also prove that the typical process-algebra constructs are non-expansive, thus paving the way to a modular approach to verification

Metrics for Differential Privacy in Concurrent Systems

Part 3: Security AnalysisInternational audienceOriginally proposed for privacy protection in the context of statistical databases, differential privacy is now widely adopted in various models of computation. In this paper we investigate techniques for proving differential privacy in the context of concurrent systems. Our motivation stems from the work of Tschantz et al., who proposed a verification method based on proving the existence of a stratified family between states, that can track the privacy leakage, ensuring that it does not exceed a given leakage budget. We improve this technique by investigating a state property which is more permissive and still implies differential privacy. We consider two pseudometrics on probabilistic automata: The first one is essentially a reformulation of the notion proposed by Tschantz et al. The second one is a more liberal variant, relaxing the relation between them by integrating the notion of amortisation, which results into a more parsimonious use of the privacy budget. We show that the metrical closeness of automata guarantees the preservation of differential privacy, which makes the two metrics suitable for verification. Moreover we show that process combinators are non-expansive in this pseudometric framework. We apply the pseudometric framework to reason about the degree of differential privacy of protocols by the example of the Dining Cryptographers Protocol with biased coins

Processing of ultrafine-size particulate metal matrix composites by advanced shear technology

Copyright @ 2009 ASM International. This paper was published in Metallurgical & Materials Transactions A 40A(3) and is made available as an electronic reprint with the permission of ASM International. One print or electronic copy may be made for personal use only. Systematic or multiple reproduction, distribution to multiple locations via electronic or other means, duplications of any material in this paper for a fee or for commercial purposes, or modification of the content of this paper are prohibited.Lack of efficient mixing technology to achieve a uniform distribution of fine-size reinforcement within the matrix and the high cost of producing components have hindered the widespread adaptation of particulate metal matrix composites (PMMCs) for engineering applications. A new rheo-processing method, the melt-conditioning high-pressure die-cast (MC-HPDC) process, has been developed for manufacturing near-net-shape components of high integrity. The MC-HPDC process adapts the well-established high shear dispersive mixing action of a twin-screw mechanism to the task of overcoming the cohesive force of the agglomerates under a high shear rate and high intensity of turbulence. This is followed by direct shaping of the slurry into near-net-shape components using an existing cold-chamber die-casting process. The results indicate that the MC-HPDC samples have a uniform distribution of ultrafine-sized SiC particles throughout the entire sample in the as-cast condition. Compared to those produced by conventional high-pressure die casting (HPDC), MC-HPDC samples have a much improved tensile strength and ductility.EP-SR

Colossal dielectric constants in transition-metal oxides

Many transition-metal oxides show very large ("colossal") magnitudes of the dielectric constant and thus have immense potential for applications in modern microelectronics and for the development of new capacitance-based energy-storage devices. In the present work, we thoroughly discuss the mechanisms that can lead to colossal values of the dielectric constant, especially emphasising effects generated by external and internal interfaces, including electronic phase separation. In addition, we provide a detailed overview and discussion of the dielectric properties of CaCu3Ti4O12 and related systems, which is today's most investigated material with colossal dielectric constant. Also a variety of further transition-metal oxides with large dielectric constants are treated in detail, among them the system La2-xSrxNiO4 where electronic phase separation may play a role in the generation of a colossal dielectric constant.Comment: 31 pages, 18 figures, submitted to Eur. Phys. J. for publication in the Special Topics volume "Cooperative Phenomena in Solids: Metal-Insulator Transitions and Ordering of Microscopic Degrees of Freedom

Adsorption of mono- and multivalent cat- and anions on DNA molecules

Adsorption of monovalent and multivalent cat- and anions on a deoxyribose nucleic acid (DNA) molecule from a salt solution is investigated by computer simulation. The ions are modelled as charged hard spheres, the DNA molecule as a point charge pattern following the double-helical phosphate strands. The geometrical shape of the DNA molecules is modelled on different levels ranging from a simple cylindrical shape to structured models which include the major and minor grooves between the phosphate strands. The densities of the ions adsorbed on the phosphate strands, in the major and in the minor grooves are calculated. First, we find that the adsorption pattern on the DNA surface depends strongly on its geometrical shape: counterions adsorb preferentially along the phosphate strands for a cylindrical model shape, but in the minor groove for a geometrically structured model. Second, we find that an addition of monovalent salt ions results in an increase of the charge density in the minor groove while the total charge density of ions adsorbed in the major groove stays unchanged. The adsorbed ion densities are highly structured along the minor groove while they are almost smeared along the major groove. Furthermore, for a fixed amount of added salt, the major groove cationic charge is independent on the counterion valency. For increasing salt concentration the major groove is neutralized while the total charge adsorbed in the minor groove is constant. DNA overcharging is detected for multivalent salt. Simulations for a larger ion radii, which mimic the effect of the ion hydration, indicate an increased adsorbtion of cations in the major groove.Comment: 34 pages with 14 figure

Envisioning the future of aquatic animal tracking: Technology, science, and application

Electronic tags are significantly improving our understanding of aquatic animal behavior and are emerging as key sources of information for conservation and management practices. Future aquatic integrative biology and ecology studies will increasingly rely on data from electronic tagging. Continued advances in tracking hardware and software are needed to provide the knowledge required by managers and policymakers to address the challenges posed by the world's changing aquatic ecosystems. We foresee multiplatform tracking systems for simultaneously monitoring the position, activity, and physiology of animals and the environment through which they are moving. Improved data collection will be accompanied by greater data accessibility and analytical tools for processing data, enabled by new infrastructure and cyberinfrastructure. To operationalize advances and facilitate integration into policy, there must be parallel developments in the accessibility of education and training, as well as solutions to key governance and legal issues

Interaction of the cytosolic domains of sorLA/LR11 with the amyloid precursor protein (APP) and beta-secretase beta-site APP-cleaving enzyme

sorLA is a recently identified neuronal receptor for amyloid precursor protein (APP) that is known to interact with APP and affect its intracellular transport and processing. Decreased levels of sorLA in the brain of Alzheimer's disease (AD) patients and elevated levels of amyloid-beta peptide (Abeta) in sorLA-deficient mice point to the importance of the receptor in this neurodegenerative disorder. We analyzed APP cleavage in an APP-shedding assay and found that both sorLA and, surprisingly, a sorLA tail construct inhibited APP cleavage in a beta-site APP-cleaving enzyme (BACE)-dependent manner. In line with this finding, sorLA and the sorLA tail significantly reduced secreted Abeta levels when BACE was overexpressed, suggesting that sorLA influences beta-cleavage. To understand the effect of sorLA on APP cleavage by BACE, we analyzed whether sorLA interacts with APP and/or BACE. Because both full-length sorLA and sorLA C-terminal tail constructs were functionally relevant for APP processing, we analyzed sorLA-APP for a potential cytoplasmatic interaction domain. sorLA and C99 coimmunoprecipitated, pointing toward the existence of a new cytoplasmatic interaction site between sorLA and APP. Moreover, sorLA and BACE also coimmunoprecipitate. Thus, sorLA interacts both with BACE and APP and might therefore directly affect BACE-APP complex formation. To test whether sorLA impacts BACE-APP interactions, we used a fluorescence resonance energy transfer assay to evaluate BACE-APP interactions in cells. We discovered that sorLA significantly reduced BACE-APP interactions in Golgi. We postulate that sorLA acts as a trafficking receptor that prevents BACE-APP interactions and hence BACE cleavage of APP