Tunneling into the vortex state of NbSe2_2 with van der Waals junctions

We have performed device-based tunnelling spectroscopy of NbSe$_2$ in the vortex state with a magnetic field applied both parallel and perpendicular to the $a-b$ plane. Our devices consist of layered semiconductors placed on top of exfoliated NbSe$_2$ using the van der Waals transfer technique. At zero field, the spectrum exhibits a hard gap, and the quasiparticle peak is split into low and high energy features. The two features, associated with the effective two-band nature of superconductivity in NbSe$_2$, exhibit markedly distinct responses to the application of magnetic field, suggesting an order-of-magnitude difference in the spatial extent of the vortex cores of the two bands. At energies below the superconducting gap, the hard gap gives way to vortex-bound Caroli-de Gennes-Matricon states, allowing the detection of individual vortices as they enter and exit the junction. Analysis of the sub-gap spectra upon application of parallel magnetic field allows us to track the process of vortex surface formation and spatial rearrangement in the bulk

Spectroscopy of bulk and few-layer superconducting NbSe2_2 with van der Waals tunnel junctions

Tunnel junctions, a well-established platform for high-resolution spectroscopy of superconductors, require defect-free insulating barriers with clean engagement to metals on both sides. Extending the range of materials accessible to tunnel junction fabrication, beyond the limited selection which allows high-quality oxide formation, requires the development of alternative fabrication techniques. Here we show that van-der-Waals (vdW) tunnel barriers, fabricated by stacking layered semiconductors on top of the transition metal dichalcogenide (TMD) superconductor NbSe$_2$, sustain a stable, low noise tunneling current, and exhibit strong suppression of sub-gap tunneling. We utilize the technique to measure the spectra of bulk (20 nm) and ultrathin (3- and 4-layer) devices at 70 mK. The spectra exhibit two distinct energy gaps, the larger of which decreases monotonously with thickness and $T_C$, in agreement with BCS theory. The spectra are analyzed using a two-band model modified to account for depairing. We show that in the bulk, the smaller gap exhibits strong depairing in an in-plane magnetic field, consistent with a high Fermi velocity. In the few-layer devices, depairing of the large gap is negligible, consistent with out-of-plane spin-locking due to Ising spin-orbit coupling. Our results demonstrate the utility of vdW tunnel junctions in mapping the intricate spectral evolution of TMD superconductors over a range of magnetic fields.Comment: This submission contains the first part of arxiv:1703.07677 with the addition of spectra taken on this devices. The second part of 1703.07677 will be published separatel

An efficient CDMA decoder for correlated information sources

We consider the detection of correlated information sources in the ubiquitous Code-Division Multiple-Access (CDMA) scheme. We propose a message-passing based scheme for detecting correlated sources directly, with no need for source coding. The detection is done simultaneously over a block of transmitted binary symbols (word). Simulation results are provided demonstrating a substantial improvement in bit-error-rate in comparison with the unmodified detector and the alternative of source compression. The robustness of the error-performance improvement is shown under practical model settings, including wrong estimation of the generating Markov transition matrix and finite-length spreading codes.Comment: 11 page

Paradoxical augmented relapse in alcohol-dependent rats during deep-brain stimulation in the nucleus accumbens

Case reports indicate that deep-brain stimulation in the nucleus accumbens may be beneficial to alcohol-dependent patients. The lack of clinical trials and our limited knowledge of deep-brain stimulation call for translational experiments to validate these reports. To mimic the human situation, we used a chronic-continuous brain-stimulation paradigm targeting the nucleus accumbens and other brain sites in alcohol-dependent rats. To determine the network effects of deep-brain stimulation in alcohol-dependent rats, we combined electrical stimulation of the nucleus accumbens with functional magnetic resonance imaging (fMRI), and studied neurotransmitter levels in nucleus accumbens-stimulated versus sham-stimulated rats. Surprisingly, we report here that electrical stimulation of the nucleus accumbens led to augmented relapse behavior in alcohol-dependent rats. Our associated fMRI data revealed some activated areas, including the medial prefrontal cortex and caudate putamen. However, when we applied stimulation to these areas, relapse behavior was not affected, confirming that the nucleus accumbens is critical for generating this paradoxical effect. Neurochemical analysis of the major activated brain sites of the network revealed that the effect of stimulation may depend on accumbal dopamine levels. This was supported by the finding that brain- stimulation-treated rats exhibited augmented alcohol-induced dopamine release compared with sham-stimulated animals. Our data suggest that deep-brain stimulation in the nucleus accumbens enhances alcohol-liking probably via augmented dopamine release and can thereby promote relapse

High and Low Dimensions in The Black Hole Negative Mode

The negative mode of the Schwarzschild black hole is central to Euclidean quantum gravity around hot flat space and for the Gregory-Laflamme black string instability. We analyze the eigenvalue as a function of space-time dimension by constructing two perturbative expansions: one for large d and the other for small d-3, and determining as many coefficients as we are able to compute analytically. Joining the two expansions we obtain an interpolating rational function accurate to better than 2% through the whole range of dimensions including d=4.Comment: 17 pages, 4 figures. v2: added reference. v3: published versio

Revisiting SATZilla Features in 2024

Boolean satisfiability (SAT) is an NP-complete problem with important applications, notably in hardware and software verification. Characterising a SAT instance by a set of features has shown great potential for various tasks, ranging from algorithm selection to benchmark generation. In this work, we revisit the widely used SATZilla features and introduce a new version of the tool used to compute them. In particular, we utilise a new preprocessor and SAT solvers, adjust the code to accommodate larger formulas, and determine better settings of the feature extraction time limits. We evaluate the extracted features on three downstream tasks: satisfiability prediction, running time prediction, and algorithm selection. We observe that our new tool is able to extract features from a broader range of instances than before. We show that the new version of the feature extractor produces features that achieve up to 26% lower RMSE for running time prediction, up to 3% higher accuracy for satisfiability prediction, and up to 15 times higher closed gap for algorithm selection on benchmarks from recent SAT competitions

Processing second-order stochastic dominance models using cutting-plane representations

This is the post-print version of the Article. The official published version can be accessed from the links below. Copyright @ 2011 Springer-VerlagSecond-order stochastic dominance (SSD) is widely recognised as an important decision criterion in portfolio selection. Unfortunately, stochastic dominance models are known to be very demanding from a computational point of view. In this paper we consider two classes of models which use SSD as a choice criterion. The first, proposed by Dentcheva and Ruszczyński (J Bank Finance 30:433–451, 2006), uses a SSD constraint, which can be expressed as integrated chance constraints (ICCs). The second, proposed by Roman et al. (Math Program, Ser B 108:541–569, 2006) uses SSD through a multi-objective formulation with CVaR objectives. Cutting plane representations and algorithms were proposed by Klein Haneveld and Van der Vlerk (Comput Manage Sci 3:245–269, 2006) for ICCs, and by Künzi-Bay and Mayer (Comput Manage Sci 3:3–27, 2006) for CVaR minimization. These concepts are taken into consideration to propose representations and solution methods for the above class of SSD based models. We describe a cutting plane based solution algorithm and outline implementation details. A computational study is presented, which demonstrates the effectiveness and the scale-up properties of the solution algorithm, as applied to the SSD model of Roman et al. (Math Program, Ser B 108:541–569, 2006).This study was funded by OTKA, Hungarian National Fund for Scientific Research, project 47340; by Mobile Innovation Centre, Budapest University of Technology, project 2.2; Optirisk Systems, Uxbridge, UK and by BRIEF (Brunel University Research Innovation and Enterprise Fund)

Molecular network analysis of phosphotyrosine and lipid metabolism in hepatic PTP1b deletion mice

Metabolic syndrome describes a set of obesity-related disorders that increase diabetes, cardiovascular, and mortality risk. Studies of liver-specific protein-tyrosine phosphatase 1b (PTP1b) deletion mice (L-PTP1b[superscript −/−]) suggest that hepatic PTP1b inhibition would mitigate metabolic-syndrome through amelioration of hepatic insulin resistance, endoplasmic-reticulum stress, and whole-body lipid metabolism. However, the altered molecular-network states underlying these phenotypes are poorly understood. We used mass spectrometry to quantify protein-phosphotyrosine network changes in L-PTP1b[superscript −/−] mouse livers relative to control mice on normal and high-fat diets. We applied a phosphosite-set-enrichment analysis to identify known and novel pathways exhibiting PTP1b- and diet-dependent phosphotyrosine regulation. Detection of a PTP1b-dependent, but functionally uncharacterized, set of phosphosites on lipid-metabolic proteins motivated global lipidomic analyses that revealed altered polyunsaturated-fatty-acid (PUFA) and triglyceride metabolism in L-PTP1b[superscript −/−] mice. To connect phosphosites and lipid measurements in a unified model, we developed a multivariate-regression framework, which accounts for measurement noise and systematically missing proteomics data. This analysis resulted in quantitative models that predict roles for phosphoproteins involved in oxidation–reduction in altered PUFA and triglyceride metabolism.Pfizer Inc. (grant)National Institutes of Health (U.S.) (grant 5R24DK090963)National Institutes of Health (U.S.) (grant U54-CA112967)National Institutes of Health (U.S.) (grant CA49152 R37)National Institutes of Health (U.S.) (grant R01-DK080756)National Mouse Metabolic Phenotyping Center at UMASS (Grant (U24-DK093000))National Science Foundation (U.S.) (Graduate Research Fellowship

Revisiting Politicide: State Annihilation in Israel/Palestine

State annihilation is a persistent concern in Israel/Palestine. While the specter of Israel’s destruction increasingly haunts Israeli public political debates, the actual materialization of Palestinian statehood seems to be permanently suspended, caught in an ever-protracted process of state-building. The current paper claims that to understand the unfolding of the discursive formations, as well as the spatial dimensions of conflict and control in Israel/Palestine, we should explicate the workings of the processes of politicide. Politicide, in this regard, denotes the eradication of the political existence of a group and sabotaging the turning of a community of people into a polity. This analysis suggests that the insistence that the State of Israel is under threat of extinction should be understood as a speech act, a performative reiteration, which allows for the securitization of Israeli rule in the occupied Palestinian territory, a securitization which then serves to rationalize the ongoing concrete politicide of the Palestinians. Elaborating on the concept of politicide, and diverging from defining it solely through the use of brute violence, this examination suggests that what is often overlooked in discussions of politicide are the seemingly more benign means of its implementation, the micro-power mechanisms of spatial control, prohibitions and regulations