Search

Highly-doped graphene samples show the conductance reduced and the shot-noise power enhanced compared to standard ballistic systems in two-dimensional electron gas. These features can be understood within a model assuming incoherent scattering of Dirac electrons between two interfaces separating the sample and the leads. Here we find, by adopting the above-mentioned model for the edge-free (Corbino) geometry and by means of the computer simulation of quantum transport, that another graphene-specific feature should be observable when the current flow through a doped disk is blocked by high magnetic field. In case the conductance drops to zero, the Fano factor approaches the value of $F\approx{}0.56$, with a very weak dependence on the disk radii ratio. The role of finite source-drain voltages and the system behavior upon tuning the electrostatic potential barrier from a rectangular to parabolic shape are also discussed., Comment: RevTeX, 15 pages, 7 figures

Thermopower and the Lorentz number for an edge-free (Corbino) graphene disk in the quantum Hall regime is calculated within the Landauer-B\"{u}ttiker formalism. We find, by varying the electrochemical potential, that amplitude of the Seebeck coefficient follows a modified Goldsmid-Sharp relation, in which energy gap is identified with the interval between zero-th and first Landau level in bulk graphene. Analogous relation for the Lorentz number is also determined. Therefore, these thermoelectric properties are solely defined by the magnetic field, temperature, the Fermi velocity in graphene, and fundamental constants including the electrons charge, the Planck and Boltzmann constants, being independent on the system geometric dimensions. This suggests that the Corbino disk in graphene may operate as a thermoelectric thermometer, allowing to determine small temperature difference between two reservoirs, if mean temperature and magnetic field are known., Comment: Minor revisions; Refs. added. Sec.II revised and extended. RevTeX; 11 pages, 7 figures

Ballistic graphene samples in a multimode regime show the sub-Sharvin charge transport, characterized by the conductance reduced by a factor of $\pi/4$ comparing to standard Sharvin contacts in two-dimensional electron gas, and the shot-noise power enhanced up to $F\approx{}1/8$ (with $F$ the Fano factor) [Phys. Rev. B 104, 165413 (2021)]. Here we consider the disk-shaped (Corbino) setup in graphene, with inner radius $r_1$ and outer radius $r_2$, finding that the multimode conductance is slightly enhanced for any $r_1

Ideal Sharvin contact in a multimode regime shows the conductance $G\approx{}G_{\rm Sharvin}=g_0k_F{}W/\pi$ (with $g_0$ the conductance quantum, $k_F$ the Fermi momentum, and $W$ the contact width) accompanied by strongly suppressed shot-noise quantified by small Fano factor $F\approx{}0$. For ballistic graphene away from the charge-neutrality point the sub-Sharvin transport occurs, characterised by suppressed conductance $G\approx{}(\pi/4)\,G_{\rm Sharvin}$ and enhanced shot noise $F\approx{}1/8$. All these results can be derived from a basic model of quantum scattering, involving assumptions of infinite height and perfectly rectangular shape of the potential barrier in the sample. Here we have carried out the numerical analysis of the scattering on a family of smooth barriers of finite height interpolating between parabollic and rectangular shapes. We find that tuning the barrier shape one can modify the asymmetry between electron- and hole-doped systems. For electronic dopings, the system crosses from Sharvin to sub-Sharvin transport regime (indicated by both the conductance and the Fano factor) as the potential becomes closer to the rectangular shape. In contrast, for hole dopings, the conductivity is strongly suppressed when the barrier is parabolic and slowly converges to $G\approx{}(\pi/4)\,G_{\rm Sharvin}$ as the potential evolves towards rectangular shape. In such a case the Sharvin transport regime is inaccessible, shot noise is generically enhanced (with much slower convergence to $F\approx{}1/8$) comparing to the electron-doped case, and aperiodic oscillations of both $G$ and $F$ are prominent due to the formation of quasibound states., Comment: RevTeX, 7 pages, 5 figures

We show how a Hall viscosity induced by a magnetic field can be generated in strongly coupled theories with a holographic dual. This is achieved by considering parity-breaking higher derivative terms in the gravity dual. These terms couple the Riemann curvature tensor to the field strength of a gauge field dual to the charge current, and have an analog in the field theory side as a coupling between the "Euler current" and the electromagnetic field. As a concrete example, we study the effect of the new terms in the thermodynamic and transport properties of a strongly coupled magnetized plasma dual to a dyonic black hole in $AdS_4$. As a new property of the holographic model, we find that for a state that is initially neutral at zero magnetic field, a charge density and non-dissipative Hall transport are present when the magnetic field is turned on. Remarkably, we also observe that the results from the holographic model are consistent with hydrodynamics even at magnetic fields much larger than temperature., Comment: 27 pages, 3 appendices and 3 figures. Published version

We analyze the role of boundary geometry in viscous electronic hydrodynamics. We address the twin questions of how boundary geometry impacts flow profiles, and how one can engineer boundary conditions -- in particular the effective slip parameter -- to manipulate the flow in a controlled way. We first propose a micropatterned geometry involving finned barriers, for which we show by an explicit solution that one can obtain effectively no-slip boundary conditions regardless of the detailed microscopic nature of the channel surface. Next we analyse the role of mesoscopic boundary curvature on the effective slip length, in particular its impact on the Gurzhi effect. Finally we investigate a hydrodynamic flow through a circular junction, providing a solution, which suggests an experimental set-up for determining the slip parameter. We find that its transport properties differ qualitatively from the case of ballistic conduction, and thus presents a promising setting for distinguishing the two., Comment: 9 pages, 15 figures, 5 appendices

A complete classification of the complexity of the local and global satisfiability problems for graded modal language over traditional classes of frames have already been established. By "traditional" classes of frames, we mean those characterized by any positive combination of reflexivity, seriality, symmetry, transitivity, and the Euclidean property. In this paper, we fill the gaps remaining in an analogous classification of the graded modal language with graded converse modalities. In particular, we show its NExpTime-completeness over the class of Euclidean frames, demonstrating this way that over this class the considered language is harder than the language without graded modalities or without converse modalities. We also consider its variation disallowing graded converse modalities, but still admitting basic converse modalities. Our most important result for this variation is confirming an earlier conjecture that it is decidable over transitive frames. This contrasts with the undecidability of the language with graded converse modalities., Comment: This is an extended version of our JELIA 2019 paper, under consideration in Theory and Practice of Logic Programming (TPLP)

Motivated by experiments on a hydrodynamic regime in electron transport, we study the effect of an oscillating electric field in such a setting. We consider a long two-dimensional channel of width $L$, whose geometrical simplicity allows an analytical study as well as hopefully permitting experimental realisation. The response depends on viscosity $\nu$, driving frequency, $\omega$ and ohmic heating coefficient $\gamma$ via the dimensionless complex variable $\frac{L^2}{\nu}(i\omega +\gamma)=i\Omega +\Sigma$. While at small $\Omega$, we recover the static solution, a new regime appears at large $\Omega$ with the emergence of a boundary layer. This includes a splitting of the location of maximal flow velocity from the centre towards the edges of the boundary layer, an an increasingly reactive nature of the response, with the phase shift of the response varying across the channel. The scaling of the total optical conductance with $L$ differs between the two regimes, while its frequency dependence resembles a Drude form throughout, even in the complete absence of ohmic heating, against which, at the same time, our results are stable. Current estimates for transport coefficients in graphene and delafossites suggest that the boundary layer regime should be experimentally accessible., Comment: 5 pages, 3 figures, the title has been changed, the manuscript has been substantially modified and references updated

We consider a holographic model of two 1+1-dimensional heat baths at different temperatures joined at time $t=0$, such that a steady state heat-current region forms and expands in space for times $t>0$. After commenting on the causal structure of the dual 2+1-dimensional spacetime, we present how to calculate the time-dependent entanglement entropy of the boundary system holographically. We observe that the increase rate of the entanglement entropy satisfies certain bounds known from the literature on entanglement tsunamis. Furthermore, we check the validity of several non-trivial entanglement inequalities in this dynamic system., Comment: 6 pages, 6 figures, these proceedings summarize a talk given at the Karl Schwarzschild Meeting 2017 and the much longer paper 1705.04696. v2: reference added

Within gauge/gravity duality, we consider the local quench-like time evolution obtained by joining two 1+1-dimensional heat baths at different temperatures at time t=0. A steady state forms and expands in space. For the 2+1-dimensional gravity dual, we find that the shockwaves expanding the steady-state region are of spacelike nature in the bulk despite being null at the boundary. However, they do not transport information. Moreover, by adapting the time-dependent Hubeny-Rangamani-Takayanagi prescription, we holographically calculate the entanglement entropy and also the mutual information for different entangling regions. For general temperatures, we find that the entanglement entropy increase rate satisfies the same bound as in the "entanglement tsunami" setups. For small temperatures of the two baths, we derive an analytical formula for the time dependence of the entanglement entropy. This replaces the entanglement tsunami-like behaviour seen for high temperatures. Finally, we check that strong subadditivity holds in this time-dependent system, as well as further more general entanglement inequalities for five or more regions recently derived for the static case., Comment: 57 pages, 25 figures. v2: Minor revisions and references added. v3: Referee's comments included. The numerical codes described in this paper are available in the ancillary files directory (anc/) of this submission

We study a dissipative Langevin dynamics in the path integral formulation using the Martin-Siggia-Rose formalism. The effective action is supersymmetric and we identify the supercharges. In addition we study the transformations generated by superderivatives, which were recently included in the cohomological structure emerging in the dissipative systems. We find that these transformations do not generate Ward identities, which are explicitly broken, however, they lead to universal identities, which we derive from Schwinger-Dyson equations. We confirm that the above identities hold in an explicit example of Ornstein-Uhlenbeck process., Comment: 13 pages, the manuscript completely re-written as we verified that the breaking of some of the identities was erroneously attributed to anomaly that is indeed not present

In the context of applications of the AdS/CFT correspondence to condensed matter physics, we compute conductivities for field theory duals of dyonic planar black holes in 3+1-dimensional Einstein-Maxwell-dilaton theories at zero temperature. We combine the near-horizon data obtained via Sen's entropy function formalism with known expressions for conductivities. In this way we express the conductivities in terms of the extremal black hole charges. We apply our approach to three different examples for dilaton theories for which the background geometry is not known explicitly. For a constant scalar potential, the thermoelectric conductivity explicitly scales as $\alpha_{xy}\sim N^{3/2}$, as expected. For the same model, our approach yields a finite result for the heat conductivity $\kappa/T \propto N^{3/2}$ even for $T \rightarrow 0$., Comment: 29 pages

We study the finite satisfiability problem for the two-variable fragment of first-order logic extended with counting quantifiers (C2) and interpreted over linearly ordered structures. We show that the problem is undecidable in the case of two linear orders (in the presence of two other binary symbols). In the case of one linear order it is NEXPTIME-complete, even in the presence of the successor relation. Surprisingly, the complexity of the problem explodes when we add one binary symbol more: C2 with one linear order and in the presence of other binary predicate symbols is equivalent, under elementary reductions, to the emptiness problem for multicounter automata.

Bounded model checking of pointer programs is a debugging technique for programs that manipulate dynamically allocated pointer structures on the heap. It is based on the following four observations. First, error conditions like dereference of a dangling pointer, are expressible in a~fragment of first-order logic with two-variables. Second, the fragment is closed under weakest preconditions wrt. finite paths. Third, data structures like trees, lists etc. are expressible by inductive predicates defined in a fragment of Datalog. Finally, the combination of the two fragments of the two-variable logic and Datalog is decidable. In this paper we improve this technique by extending the expressivity of the underlying logics. In a~sequence of examples we demonstrate that the new logic is capable of modeling more sophisticated data structures with more complex dependencies on heaps and more complex analyses.

We construct numerically gravitational duals of theories deformed by localized Dirac delta sources for scalar operators both at zero and at finite temperature. We find that requiring that the backreacted geometry preserves the original scale invariance of the source uniquely determines the potential for the scalar field to be the one found in a certain Kaluza-Klein compactification of $11D$ supergravity. This result is obtained using an efficient perturbative expansion of the backreacted background at zero temperature and is confirmed by a direct numerical computation. Numerical solutions at finite temperatures are obtained and a detailed discussion of the numerical approach to the treatment of the Dirac delta sources is presented. The physics of defect configurations is illustrated with a calculation of entanglement entropy., Comment: 23 pages, 12 figures

We study elementary modal logics, i.e. modal logic considered over first-order definable classes of frames. The classical semantics of modal logic allows infinite structures, but often practical applications require to restrict our attention to finite structures. Many decidability and undecidability results for the elementary modal logics were proved separately for general satisfiability and for finite satisfiability [11, 12, 16, 17]. In this paper, we show that there is a reason why we must deal with both kinds of satisfiability separately -- we prove that there is a universal first-order formula that defines an elementary modal logic with decidable (global) satisfiability problem, but undecidable finite satisfiability problem, and, the other way round, that there is a universal formula that defines an elementary modal logic with decidable finite satisfiability problem, but undecidable general satisfiability problem., Comment: In Proceedings GandALF 2012, arXiv:1210.2028