Electronic structure of V4_4O7_7: charge ordering, metal-insulator transition and magnetism

The low and high-temperature phases of V$_4$O$_7$ have been studied by \textit{ab initio} calculations. At high temperature, all V atoms are electronically equivalent and the material is metallic. Charge and orbital ordering, associated with the distortions in the V pseudo-rutile chains, occur below the metal-insulator transition. Orbital ordering in the low-temperature phase, different in V$^{3+}$ and V$^{4+}$ chains, allows to explain the distortion pattern in the insulating phase of V$_4$O$_7$. The in-chain magnetic couplings in the low-temperature phase turn out to be antiferromagnetic, but very different in the various V$^{4+}$ and V$^{3+}$ bonds. The V$^{4+}$ dimers formed below the transition temperature form spin singlets, but V$^{3+}$ ions, despite dimerization, apparently participate in magnetic ordering.Comment: 10 pages, 6 figures, 2 table

Micro-bias and macro-performance

We use agent-based modeling to investigate the effect of conservatism and partisanship on the efficiency with which large populations solve the density classification task--a paradigmatic problem for information aggregation and consensus building. We find that conservative agents enhance the populations' ability to efficiently solve the density classification task despite large levels of noise in the system. In contrast, we find that the presence of even a small fraction of partisans holding the minority position will result in deadlock or a consensus on an incorrect answer. Our results provide a possible explanation for the emergence of conservatism and suggest that even low levels of partisanship can lead to significant social costs.Comment: 11 pages, 5 figure

Fibrational induction meets effects

This paper provides several induction rules that can be used to prove properties of effectful data types. Our results are semantic in nature and build upon Hermida and Jacobs’ fibrational formulation of induction for polynomial data types and its extension to all inductive data types by Ghani, Johann, and Fumex. An effectful data type μ(TF) is built from a functor F that describes data, and a monad T that computes effects. Our main contribution is to derive induction rules that are generic over all functors F and monads T such that μ(TF) exists. Along the way, we also derive a principle of definition by structural recursion for effectful data types that is similarly generic. Our induction rule is also generic over the kinds of properties to be proved: like the work on which we build, we work in a general fibrational setting and so can accommodate very general notions of properties, rather than just those of particular syntactic forms. We give examples exploiting the generality of our results, and show how our results specialize to those in the literature, particularly those of Filinski and Støvring

Approximations for traveltime, slope, curvature, and geometrical spreading of elastic waves in layered transversely isotropic media

Each seismic body wave, including quasi compressional, shear, and converted wave modes, carries useful subsurface information. For processing, imaging, amplitude analysis, and forward modeling of each wave mode, we need approximate equations of traveltime, slope (ray-parameter), and curvature as a function of offset. Considering the large offset coverage of modern seismic acquisitions, we propose new approximations designed to be accurate at zero and infinitely large offsets over layered transversely isotropic media with vertical symmetry axis (VTI). The proposed approximation for traveltime is a modified version of the extended generalized moveout approximation that comprises six parameters. The proposed direct approximations for ray-parameter and curvature use new, algebraically simple, equations with three parameters. We define these parameters for each wave mode without ray tracing so that we have similar approximate equations for all wave modes that only change based on the parameter definitions. However, our approximations are unable to reproduce S-wave triplications that may occur in some strongly anisotropic models. Using our direct approximation of traveltime derivatives, we also obtain a new expression for the relative geometrical spreading. We demonstrate the high accuracy of our approximations using numerical tests on a set of randomly generated multilayer models. Using synthetic data, we present simple applications of our approximations for normal moveout correction and relative geometrical spreading compensation of different wave modes.POCTEFA 2014-2020 Project PIXIL (EFA362/19

Fast simulation of through-casing resistivity measurements using semi-analytical asymptotic models. Part 1: Accuracy study

When trying to obtain a better characterization of the Earth's subsurface, it is common to use borehole through-casing resistivity measurements. It is also common for the wells to be surrounded by a metal casing to protect the well and avoid possible collapses. The presence of this metal case highly complicates the numeric simulation of the problem due to the high conductivity of the casing compared to the conductivity of the rock formations. Here we present an application of some theoretical asymptotic methods in order to deal with complex borehole scenarios like cased wells. The main idea consist in replacing the part of the domain related to the casing by a transmission impedance boundary condition. The small thickness of the casing makes it ideal to apply this kind of mathematical technique. When eliminating the casing from the computational domain, the computational cost of the problems considerably decreases, while the effect of the casing does not disappear due to the impedance transmission conditions. The results show that when applying an order three impedance boundary condition for a simplified domain, it only generates a negligible approximation error, while it considerably reduces the computational cost

Asymptotic Models for the Electric Potential across a Highly Conductive Casing

We analyze a configuration that involves a steel-cased borehole, where the casing that covers the borehole is considered as a highly conductive thin layer. We develop an asymptotic method for deriving reduced problems capable of efficiently dealing with the numerical difficulties caused by the casing when applying traditional numerical methods. We derive several reduced models by employing two different approaches, each of them leading to different classes of models. We prove stability and convergence results for these models. The theoretical orders of convergence are supported by numerical results obtained with the finite element method

Cyclic expression of the voltage-gated potassium channel Kν10.1 promotes disassembly of the primary cilium

The primary cilium, critical for morphogenic and growth factor signaling, is assembled upon cell cycle exit, but the links between ciliogenesis and cell cycle progression are unclear. KV10.1 is a voltage‐gated potassium channel frequently overexpressed in tumors. We have previously reported that expression of KV10.1 is temporally restricted to a time period immediately prior to mitosis in healthy cells. Here, we provide microscopical and biochemical evidence that KV10.1 localizes to the centrosome and the primary cilium and promotes ciliary disassembly. Interference with KV10.1 ciliary localization abolishes not only the effects on ciliary disassembly, but also KV10.1‐induced tumor progression in vivo. Conversely, upon knockdown of KV10.1, ciliary disassembly is impaired, proliferation is delayed, and proliferating cells show prominent primary cilia. Thus, modulation of ciliogenesis by KV10.1 can explain the influence of KV10.1 expression on the proliferation of normal cells and is likely to be a major mechanism underlying its tumorigenic effects.EMBO Reports (2016) 17: 708–72