Charge transfer excitations, pair density waves, and superconductivity in moiré materials

Transition-metal dichalcogenide (TMD) bilayers are a new class of tunable moiré systems attracting interest as quantum simulators of strongly interacting electrons in two dimensions. In particular, recent theory predicts that the correlated insulator observed in WSe₂/WS₂ at half filling is a charge-transfer insulator similar to cuprates and, upon further hole doping, exhibits a transfer of charge from anionlike to cationlike orbitals at different locations in the moiré unit cell. In this work, we demonstrate that in this doped charge-transfer insulator, tightly bound charge-2e excitations can form to lower the total electrostatic repulsion. This composite excitation, which we dub a trimer, consists of a pair of holes bound to a charge-transfer exciton. When the bandwidth of doped holes is small, trimers crystallize into insulating pair density waves at a sequence of commensurate doping levels. When the bandwidth becomes comparable to the pair binding energy, itinerant holes and charge-2e trimers interact resonantly, leading to unconventional superconductivity similar to superfluidity in an ultracold Fermi gas near Feshbach resonance. Our theory is broadly applicable to strongly interacting charge-transfer insulators, such as WSe₂/WS₂ or TMD homobilayers under an applied electric field

A Chemical and Enzymatic Approach to Study Site-Specific Sumoylation.

A variety of cellular pathways are regulated by protein modifications with ubiquitin-family proteins. SUMO, the Small Ubiquitin-like MOdifier, is covalently attached to lysine on target proteins via a cascade reaction catalyzed by E1, E2, and E3 enzymes. A major barrier to understanding the diverse regulatory roles of SUMO has been a lack of suitable methods to identify protein sumoylation sites. Here we developed a mass-spectrometry (MS) based approach combining chemical and enzymatic modifications to identify sumoylation sites. We applied this method to analyze the auto-sumoylation of the E1 enzyme in vitro and compared it to the GG-remnant method using Smt3-I96R as a substrate. We further examined the effect of smt3-I96R mutation in vivo and performed a proteome-wide analysis of protein sumoylation sites in Saccharomyces cerevisiae. To validate these findings, we confirmed several sumoylation sites of Aos1 and Uba2 in vivo. Together, these results demonstrate that our chemical and enzymatic method for identifying protein sumoylation sites provides a useful tool and that a combination of methods allows a detailed analysis of protein sumoylation sites

Nano-Size Layered Manganese-Calcium Oxide as an Efficient and Biomimetic Catalyst for Water Oxidation Under Acidic Conditions: Comparable To Platinum

Inspired by Nature's catalyst, a nano-size layered manganese-calcium oxide showed a low overvoltage for water oxidation in acidic solutions, which is comparable to platinum.Institute for Advanced Studies in Basic Sciences and the National Elite FoundationUS Department of Energy, Office of Basic Energy Sciences, Division of Chemical, Geochemical and Biological Sciences DE-FG02-86ER13622, DE-FG0209ER16119Russian Foundation for Basic Research 11-04-01389a, 12-0492101a, 13-04-92711aMolecular and Cell Biology Programs of the Russian Academy of SciencesCenter for Electrochemistr

Vulnerabilities in first-generation RFID-enabled credit cards

Credit cards ; Radio frequency identification systems

Coinductive soundness of corecursive type class resolution

This work has been partially supported by the EU Horizon 2020 grant “RePhrase: Refactoring Parallel Heterogeneous Resource-Aware Applications - a Software Engineering Approach” (ICT-644235), by COST Action IC1202 (TACLe), supported by COST (European Cooperation in Science and Technology), and by EPSRC grant EP/K031864/1-2 “‘Coalgebraic Logic Programming for Type Inference”.Horn clauses and first-order resolution are commonly used for the implementation of type classes in Haskell. Recently, several core- cursive extensions to type class resolution have been proposed, with the common goal of allowing (co)recursive dictionary construction for those cases when resolution does not terminate. This paper shows, for the first time, that corecursive type class resolution and its recent extensions are coinductively sound with respect to the greatest Herbrand models of logic programs and that they are inductively unsound with respect to the least Herbrand models.Postprin

Dysregulated methylation at imprinted genes in prostate tumor tissue detected by methylation microarray.

BACKGROUND: Imprinting is an important epigenetic regulator of gene expression that is often disrupted in cancer. While loss of imprinting (LOI) has been reported for two genes in prostate cancer (IGF2 and TFPI2), disease-related changes in methylation across all imprinted gene regions has not been investigated. METHODS: Using an Illumina Infinium Methylation Assay, we analyzed methylation of 396 CpG sites in the promoter regions of 56 genes in a pooled sample of 12 pairs of prostate tumor and adjacent normal tissue. Selected LOI identified from the array was validated using the Sequenom EpiTYPER assay for individual samples and further confirmed by expression data from publicly available datasets. RESULTS: Methylation significantly increased in 52 sites and significantly decreased in 17 sites across 28 unique genes (P \u3c 0.05), and the strongest evidence for loss of imprinting was demonstrated in tumor suppressor genes DLK1, PLAGL1, SLC22A18, TP73, and WT1. Differential expression of these five genes in prostate tumor versus normal tissue using array data from a publicly available database were consistent with the observed LOI patterns, and WT1 hypermethylation was confirmed using quantitative DNA methylation analysis. CONCLUSIONS: Together, these findings suggest a more widespread dysregulation of genetic imprinting in prostate cancer than previously reported and warrant further investigation

Design-by-analogy: experimental evaluation of a functional analogy search methodology for concept generation improvement

Design-by-analogy is a growing field of study and practice, due to its power to augment and extend traditional concept generation methods by expanding the set of generated ideas using similarity relationships from solutions to analogous problems. This paper presents the results of experimentally testing a new method for extracting functional analogies from general data sources, such as patent databases, to assist designers in systematically seeking and identifying analogies. In summary, the approach produces significantly improved results on the novelty of solutions generated and no significant change in the total quantity of solutions generated. Computationally, this design-by-analogy facilitation methodology uses a novel functional vector space representation to quantify the functional similarity between represented design problems and, in this case, patent descriptions of products. The mapping of the patents into the functional analogous words enables the generation of functionally relevant novel ideas that can be customized in various ways. Overall, this approach provides functionally relevant novel sources of design-by-analogy inspiration to designers and design teams.SUTD-MIT International Design Centre (IDC)National Science Foundation (U.S.) (Grant Numbers CMMI-0855326, CMMI-0855510, and CMMI-08552930

They Can Hear Your Heartbeats: Non-Invasive Security for Implantable Medical Devices

Wireless communication has become an intrinsic part of modern implantable medical devices (IMDs). Recent work, however, has demonstrated that wireless connectivity can be exploited to compromise the confidentiality of IMDs' transmitted data or to send unauthorized commands to IMDs---even commands that cause the device to deliver an electric shock to the patient. The key challenge in addressing these attacks stems from the difficulty of modifying or replacing already-implanted IMDs. Thus, in this paper, we explore the feasibility of protecting an implantable device from such attacks without modifying the device itself. We present a physical-layer solution that delegates the security of an IMD to a personal base station called the shield. The shield uses a novel radio design that can act as a jammer-cum-receiver. This design allows it to jam the IMD's messages, preventing others from decoding them while being able to decode them itself. It also allows the shield to jam unauthorized commands---even those that try to alter the shield's own transmissions. We implement our design in a software radio and evaluate it with commercial IMDs. We find that it effectively provides confidentiality for private data and protects the IMD from unauthorized commands.National Science Foundation (U.S.). (Grant number CNS-0831244)National Science Foundation (U.S.). Graduate Research Fellowship ProgramAlfred P. Sloan Foundation. FellowshipUnited States. Dept. of Health and Human Services. Cooperative Agreement (90TR0003/01