TY - GEN
AB - We present a new dynamic partial-order reduction method for stateless model checking of concurrent programs. A common approach for exploring program behaviors relies on enumerating the traces of the program, without storing the visited states (aka stateless exploration). As the number of distinct traces grows exponentially, dynamic partial-order reduction (DPOR) techniques have been successfully used to partition the space of traces into equivalence classes (Mazurkiewicz partitioning), with the goal of exploring only few representative traces from each class.
We introduce a new equivalence on traces under sequential consistency semantics, which we call the observation equivalence. Two traces are observationally equivalent if every read event observes the same write event in both traces. While the traditional Mazurkiewicz equivalence is control-centric, our new definition is data-centric. We show that our observation equivalence is coarser than the Mazurkiewicz equivalence, and in many cases even exponentially coarser. We devise a DPOR exploration of the trace space, called data-centric DPOR, based on the observation equivalence.
1. For acyclic architectures, our algorithm is guaranteed to explore exactly one representative trace from each observation class, while spending polynomial time per class. Hence, our algorithm is optimal wrt the observation equivalence, and in several cases explores exponentially fewer traces than any enumerative method based on the Mazurkiewicz equivalence.
2. For cyclic architectures, we consider an equivalence between traces which is finer than the observation equivalence; but coarser than the Mazurkiewicz equivalence, and in some cases is exponentially coarser. Our data-centric DPOR algorithm remains optimal under this trace equivalence.
Finally, we perform a basic experimental comparison between the existing Mazurkiewicz-based DPOR and our data-centric DPOR on a set of academic benchmarks. Our results show a significant reduction in both running time and the number of explored equivalence classes.
AU - Anonymous, 1
AU - Anonymous, 2
AU - Anonymous, 3
AU - Anonymous, 4
ID - 5448
SN - 2664-1690
TI - Data-centric dynamic partial order reduction
ER -
TY - GEN
AB - The fixation probability is the probability that a new mutant introduced in a homogeneous population eventually takes over the entire population.
The fixation probability is a fundamental quantity of natural selection, and known to depend on the population structure.
Amplifiers of natural selection are population structures which increase the fixation probability of advantageous mutants, as compared to the baseline case of well-mixed populations. In this work we focus on symmetric population structures represented as undirected graphs. In the regime of undirected graphs, the strongest amplifier known has been the Star graph, and the existence of undirected graphs with stronger amplification properties has remained open for over a decade.
In this work we present the Comet and Comet-swarm families of undirected graphs. We show that for a range of fitness values of the mutants, the Comet and Comet-swarm graphs have fixation probability strictly larger than the fixation probability of the Star graph, for fixed population size and at the limit of large populations, respectively.
AU - Pavlogiannis, Andreas
AU - Tkadlec, Josef
AU - Chatterjee, Krishnendu
AU - Nowak, Martin
ID - 5449
SN - 2664-1690
TI - Amplification on undirected population structures: Comets beat stars
ER -
TY - GEN
AU - Pavlogiannis, Andreas
AU - Tkadlec, Josef
AU - Chatterjee, Krishnendu
AU - Nowak, Martin
ID - 5451
SN - 2664-1690
TI - Strong amplifiers of natural selection
ER -
TY - GEN
AU - Pavlogiannis, Andreas
AU - Tkadlec, Josef
AU - Chatterjee, Krishnendu
AU - Nowak, Martin
ID - 5452
SN - 2664-1690
TI - Arbitrarily strong amplifiers of natural selection
ER -
TY - GEN
AU - Pavlogiannis, Andreas
AU - Tkadlec, Josef
AU - Chatterjee, Krishnendu
AU - Nowak, Martin
ID - 5453
SN - 2664-1690
TI - Arbitrarily strong amplifiers of natural selection
ER -
TY - DATA
AB - We collected flower colour information on species in the tribe Antirrhineae from taxonomic literature. We also retreived molecular data from GenBank for as many of these species as possible to estimate phylogenetic relationships among these taxa. We then used the R package 'diversitree' to examine patterns of evolutionary transitions between anthocyanin and yellow pigmentation across the phylogeny.
For full details of the methods see:
Ellis TJ and Field DL "Repeated gains in yellow and anthocyanin pigmentation in flower colour transitions in the Antirrhineae”, Annals of Botany (in press)
AU - Ellis, Thomas
AU - Field, David
ID - 5550
TI - Flower colour data and phylogeny (NEXUS) files
ER -
TY - DATA
AB - Data from array experiments investigating pollinator behaviour on snapdragons in controlled conditions, and their effect on plant mating. Data were collected as part of Tom Ellis' PhD thesis , submitted February 2016.
We placed a total of 36 plants in a grid inside a closed organza tent, with a single hive of commercially bred bumblebees (Bombus hortorum). We used only the yellow-flowered Antirrhinum majus striatum and the magenta-flowered Antirrhinum majus pseudomajus, at ratios of 6:36, 12:24, 18:18, 24:12 and 30:6.
After 24 hours to learn how to deal with snapdragons, I observed pollinators foraging on plants, and recorded the transitions between plants. Thereafter seeds on plants were allowed to develops. A sample of these were grown to maturity when their flower colour could be determined, and they were scored as yellow, magenta, or hybrid.
AU - Ellis, Thomas
ID - 5551
TI - Data on pollinator observations and offpsring phenotypes
ER -
TY - DATA
AB - Data on pollinator visitation to wild snapdragons in a natural hybrid zone, collected as part of Tom Ellis' PhD thesis (submitted February 2016).
Snapdragon flowers have a mouth-like structure which pollinators must open to access nectar. We placed 5mm cellophane tags in these mouths, which are held in place by the pressure of the flower until a pollinator visits. When she opens the flower, the tag drops out, and one can infer a visit. We surveyed plants over multiple days in 2010, 2011 and 2012.
Also included are data on phenotypic and demographic variables which may be explanatory variables for pollinator visitation.
AU - Ellis, Thomas
ID - 5552
TI - Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data.
ER -
TY - DATA
AB - Genotypic, phenotypic and demographic data for 2128 wild snapdragons and 1127 open-pollinated progeny from a natural hybrid zone, collected as part of Tom Ellis' PhD thesis (submitted) February 2016).
Tissue samples were sent to LGC Genomics in Berlin for DNA extraction, and genotyping at 70 SNP markers by KASPR genotyping. 29 of these SNPs failed to amplify reliably, and have been removed from this dataset.
Other data were retreived from an online database of this population at www.antspec.org.
AU - Field, David
AU - Ellis, Thomas
ID - 5553
KW - paternity assignment
KW - pedigree
KW - matting patterns
KW - assortative mating
KW - Antirrhinum majus
KW - frequency-dependent selection
KW - plant-pollinator interaction
TI - Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012
ER -
TY - DATA
AB - The data stored here is used in Murat Tugrul's PhD thesis (Chapter 3), which is related to the evolution of bacterial RNA polymerase binding.
Magdalena Steinrueck (PhD Student in Calin Guet's group at IST Austria) performed the experiments and created the data on de novo promoter evolution. Fabienne Jesse (PhD Student in Jon Bollback's group at IST Austria) performed the experiments and created the data on lac promoter evolution.
AU - Tugrul, Murat
ID - 5554
KW - RNAP binding
KW - de novo promoter evolution
KW - lac promoter
TI - Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase
ER -
TY - DATA
AB - This FIJI script calculates the population average of the migration speed as a function of time of all cells from wide field microscopy movies.
AU - Hauschild, Robert
ID - 5555
KW - cell migration
KW - wide field microscopy
KW - FIJI
TI - Fiji script to determine average speed and direction of migration of cells
ER -
TY - DATA
AB - Small synthetic discrete tomography problems.
Sizes are 32x32, 64z64 and 256x256.
Projection angles are 2, 4, and 6.
Number of labels are 3 and 5.
AU - Swoboda, Paul
ID - 5557
KW - discrete tomography
TI - Synthetic discrete tomography problems
ER -
TY - DATA
AB - PhD thesis LaTeX source code
AU - Bojsen-Hansen, Morten
ID - 5558
TI - Tracking, Correcting and Absorbing Water Surface Waves
ER -
TY - JOUR
AB - Retroviruses such as HIV-1 assemble and bud from infected cells in an immature, non-infectious form. Subsequently, a series of proteolytic cleavages catalysed by the viral protease leads to a spectacular structural rearrangement of the viral particle into a mature form that is competent to fuse with and infect a new cell. Maturation involves changes in the structures of protein domains, in the interactions between protein domains, and in the architecture of the viral components that are assembled by the proteins. Tight control of proteolytic cleavages at different sites is required for successful maturation, and the process is a major target of antiretroviral drugs. Here we will describe what is known about the structures of immature and mature retrovirus particles, and about the maturation process by which one transitions into the other. Despite a wealth of available data, fundamental questions about retroviral maturation remain unanswered.
AU - Mattei, Simone
AU - Schur, Florian
AU - Briggs, John AG
ID - 5771
IS - 6
JF - Current Opinion in Virology
SN - 1879-6257
TI - Retrovirus maturation—an extraordinary structural transformation
VL - 18
ER -
TY - JOUR
AB - Quantum metrology exploits entangled states of particles to improve sensing precision beyond the limit achievable with uncorrelated particles. All previous methods required detection noise levels below this standard quantum limit to realize the benefits of the intrinsic sensitivity provided by these states.We experimentally demonstrate a widely applicable method for entanglement-enhanced measurements without low-noise detection. The method involves an intermediate quantum phase magnification step that eases implementation complexity. We used it to perform squeezed-state metrology 8 decibels below the standard quantum limit with a detection system that has a noise floor 10 decibels above the standard quantum limit.
AU - Onur Hosten
AU - Krishnakumar, Rajiv
AU - Engelsen, Nils J
AU - Kasevich, Mark A
ID - 587
IS - 6293
JF - Science
TI - Quantum phase magnification
VL - 352
ER -
TY - JOUR
AB - For any number field we calculate the exact proportion of rational numbers which are everywhere locally a norm but not globally a norm from the number field.
AU - Timothy Browning
AU - Newton, Rachel
ID - 262
IS - 2
JF - Mathematika
TI - The proportion of failures of the Hasse norm principle
VL - 62
ER -
TY - JOUR
AB - We count rational points of bounded height on the Cayley ruled cubic surface and interpret the result in the context of general conjectures due to Batyrev and Tschinkel.
AU - de la Bretèche, Régis
AU - Timothy Browning
AU - Salberger, Per
ID - 263
IS - 1
JF - European Journal of Mathematics
TI - Counting rational points on the Cayley ruled cubic
VL - 2
ER -
TY - JOUR
AB - Given a family of varieties over a number field, we determine conditions under which there is a Brauer-Manin obstruction to weak approximation for 100% of the fibres which are everywhere locally soluble.
AU - Bright, Maritn J
AU - Timothy Browning
AU - Loughran, Daniel
ID - 264
IS - 7
JF - Compositio Mathematica
TI - Failures of weak approximation in families
VL - 152
ER -
TY - JOUR
AB - Consider the transmission of a polar code of block length N and rate R over a binary memoryless symmetric channel W and let P e be the block error probability under successive cancellation decoding. In this paper, we develop new bounds that characterize the relationship of the parameters R, N, P e , and the quality of the channel W quantified by its capacity I(W) and its Bhattacharyya parameter Z(W). In previous work, two main regimes were studied. In the error exponent regime, the channel W and the rate R <; I(W) are fixed, and it was proved that the error probability Pe scales roughly as 2 -√N . In the scaling exponent approach, the channel W and the error probability Pe are fixed and it was proved that the gap to capacity I(W) - R scales as N -1/μ . Here, μ is called scaling exponent and this scaling exponent depends on the channel W. A heuristic computation for the binary erasure channel (BEC) gives μ = 3.627 and it was shown that, for any channel W, 3.579 ≤ μ ≤ 5.702. Our contributions are as follows. First, we provide the tighter upper bound μ <;≤ 4.714 valid for any W. With the same technique, we obtain the upper bound μ ≤ 3.639 for the case of the BEC; this upper bound approaches very closely the heuristically derived value for the scaling exponent of the erasure channel. Second, we develop a trade-off between the gap to capacity I(W)- R and the error probability Pe as the functions of the block length N. In other words, we neither fix the gap to capacity (error exponent regime) nor the error probability (scaling exponent regime), but we do consider a moderate deviations regime in which we study how fast both quantities, as the functions of the block length N, simultaneously go to 0. Third, we prove that polar codes are not affected by error floors. To do so, we fix a polar code of block length N and rate R. Then, we vary the channel W and study the impact of this variation on the error probability. We show that the error probability Pe scales as the Bhattacharyya parameter Z(W) raised to a power that scales roughly like VN. This agrees with the scaling in the error exponent regime.
AU - Mondelli, Marco
AU - Hassani, S. Hamed
AU - Urbanke, Rudiger L.
ID - 6732
IS - 12
JF - IEEE Transactions on Information Theory
SN - 0018-9448
TI - Unified scaling of polar codes: Error exponent, scaling exponent, moderate deviations, and error floors
VL - 62
ER -
TY - CONF
AB - The question whether RM codes are capacity-achieving is a long-standing open problem in coding theory that was recently answered in the affirmative for transmission over erasure channels [1], [2]. Remarkably, the proof does not rely on specific properties of RM codes, apart from their symmetry. Indeed, the main technical result consists in showing that any sequence of linear codes, with doubly-transitive permutation groups, achieves capacity on the memoryless erasure channel under bit-MAP decoding. Thus, a natural question is what happens under block-MAP decoding. In [1], [2], by exploiting further symmetries of the code, the bit-MAP threshold was shown to be sharp enough so that the block erasure probability also converges to 0. However, this technique relies heavily on the fact that the transmission is over an erasure channel. We present an alternative approach to strengthen results regarding the bit-MAP threshold to block-MAP thresholds. This approach is based on a careful analysis of the weight distribution of RM codes. In particular, the flavor of the main result is the following: assume that the bit-MAP error probability decays as N -δ , for some δ > 0. Then, the block-MAP error probability also converges to 0. This technique applies to transmission over any binary memoryless symmetric channel. Thus, it can be thought of as a first step in extending the proof that RM codes are capacity-achieving to the general case.
AU - Kudekar, Shrinivas
AU - Kumar, Santhosh
AU - Mondelli, Marco
AU - Pfister, Henry D.
AU - Urbankez, Rudiger
ID - 6733
T2 - 2016 IEEE International Symposium on Information Theory
TI - Comparing the bit-MAP and block-MAP decoding thresholds of Reed-Muller codes on BMS channels
ER -
TY - JOUR
AB - Electrons in materials with linear dispersion behave as massless Weyl- or Dirac-quasiparticles, and continue to intrigue due to their close resemblance to elusive ultra-relativistic particles as well as their potential for future electronics. Yet the experimental signatures of Weyl-fermions are often subtle and indirect, in particular if they coexist with conventional, massive quasiparticles. Here we show a pronounced anomaly in the magnetic torque of the Weyl semimetal NbAs upon entering the quantum limit state in high magnetic fields. The torque changes sign in the quantum limit, signalling a reversal of the magnetic anisotropy that can be directly attributed to the topological nature of the Weyl electrons. Our results establish that anomalous quantum limit torque measurements provide a direct experimental method to identify and distinguish Weyl and Dirac systems.
AU - Moll, Philip J. W.
AU - Potter, Andrew C.
AU - Nair, Nityan L.
AU - Ramshaw, B. J.
AU - Modic, Kimberly A
AU - Riggs, Scott
AU - Zeng, Bin
AU - Ghimire, Nirmal J.
AU - Bauer, Eric D.
AU - Kealhofer, Robert
AU - Ronning, Filip
AU - Analytis, James G.
ID - 7068
JF - Nature Communications
SN - 2041-1723
TI - Magnetic torque anomaly in the quantum limit of Weyl semimetals
VL - 7
ER -
TY - JOUR
AB - We provide general conditions for which bosonic quadratic Hamiltonians on Fock spaces can be diagonalized by Bogoliubov transformations. Our results cover the case when quantum systems have infinite degrees of freedom and the associated one-body kinetic and paring operators are unbounded. Our sufficient conditions are optimal in the sense that they become necessary when the relevant one-body operators commute.
AU - Nam, Phan
AU - Napiórkowski, Marcin M
AU - Solovej, Jan
ID - 1545
IS - 11
JF - Journal of Functional Analysis
TI - Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations
VL - 270
ER -
TY - JOUR
AB - Antibiotic resistance carries a fitness cost that must be overcome in order for resistance to persist over the long term. Compensatory mutations that recover the functional defects associated with resistance mutations have been argued to play a key role in overcoming the cost of resistance, but compensatory mutations are expected to be rare relative to generally beneficial mutations that increase fitness, irrespective of antibiotic resistance. Given this asymmetry, population genetics theory predicts that populations should adapt by compensatory mutations when the cost of resistance is large, whereas generally beneficial mutations should drive adaptation when the cost of resistance is small. We tested this prediction by determining the genomic mechanisms underpinning adaptation to antibiotic-free conditions in populations of the pathogenic bacterium Pseudomonas aeruginosa that carry costly antibiotic resistance mutations. Whole-genome sequencing revealed that populations founded by high-cost rifampicin-resistant mutants adapted via compensatory mutations in three genes of the RNA polymerase core enzyme, whereas populations founded by low-cost mutants adapted by generally beneficial mutations, predominantly in the quorum-sensing transcriptional regulator gene lasR. Even though the importance of compensatory evolution in maintaining resistance has been widely recognized, our study shows that the roles of general adaptation in maintaining resistance should not be underestimated and highlights the need to understand how selection at other sites in the genome influences the dynamics of resistance alleles in clinical settings.
AU - Qi, Qin
AU - Toll Riera, Macarena
AU - Heilbron, Karl
AU - Preston, Gail
AU - Maclean, R Craig
ID - 1552
IS - 1822
JF - Proceedings of the Royal Society of London Series B Biological Sciences
TI - The genomic basis of adaptation to the fitness cost of rifampicin resistance in Pseudomonas aeruginosa
VL - 283
ER -
TY - JOUR
AB - The addition of polysialic acid to N- and/or O-linked glycans, referred to as polysialylation, is a rare posttranslational modification that is mainly known to control the developmental plasticity of the nervous system. Here we show that CCR7, the central chemokine receptor controlling immune cell trafficking to secondary lymphatic organs, carries polysialic acid. This modification is essential for the recognition of the CCR7 ligand CCL21. As a consequence, dendritic cell trafficking is abrogated in polysialyltransferase-deficient mice, manifesting as disturbed lymph node homeostasis and unresponsiveness to inflammatory stimuli. Structure-function analysis of chemokine-receptor interactions reveals that CCL21 adopts an autoinhibited conformation, which is released upon interaction with polysialic acid. Thus, we describe a glycosylation-mediated immune cell trafficking disorder and its mechanistic basis.
AU - Kiermaier, Eva
AU - Moussion, Christine
AU - Veldkamp, Christopher
AU - Gerardy Schahn, Rita
AU - De Vries, Ingrid
AU - Williams, Larry
AU - Chaffee, Gary
AU - Phillips, Andrew
AU - Freiberger, Friedrich
AU - Imre, Richard
AU - Taleski, Deni
AU - Payne, Richard
AU - Braun, Asolina
AU - Förster, Reinhold
AU - Mechtler, Karl
AU - Mühlenhoff, Martina
AU - Volkman, Brian
AU - Sixt, Michael K
ID - 1599
IS - 6269
JF - Science
TI - Polysialylation controls dendritic cell trafficking by regulating chemokine recognition
VL - 351
ER -
TY - JOUR
AB - We show that the Anderson model has a transition from localization to delocalization at exactly 2 dimensional growth rate on antitrees with normalized edge weights which are certain discrete graphs. The kinetic part has a one-dimensional structure allowing a description through transfer matrices which involve some Schur complement. For such operators we introduce the notion of having one propagating channel and extend theorems from the theory of one-dimensional Jacobi operators that relate the behavior of transfer matrices with the spectrum. These theorems are then applied to the considered model. In essence, in a certain energy region the kinetic part averages the random potentials along shells and the transfer matrices behave similar as for a one-dimensional operator with random potential of decaying variance. At d dimensional growth for d>2 this effective decay is strong enough to obtain absolutely continuous spectrum, whereas for some uniform d dimensional growth with d<2 one has pure point spectrum in this energy region. At exactly uniform 2 dimensional growth also some singular continuous spectrum appears, at least at small disorder. As a corollary we also obtain a change from singular spectrum (d≤2) to absolutely continuous spectrum (d≥3) for random operators of the type rΔdr+λ on ℤd, where r is an orthogonal radial projection, Δd the discrete adjacency operator (Laplacian) on ℤd and λ a random potential.
AU - Sadel, Christian
ID - 1608
IS - 7
JF - Annales Henri Poincare
TI - Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel
VL - 17
ER -
TY - JOUR
AB - We prove that whenever A is a 3-conservative relational structure with only binary and unary relations,then the algebra of polymorphisms of A either has no Taylor operation (i.e.,CSP(A)is NP-complete),or it generates an SD(∧) variety (i.e.,CSP(A)has bounded width).
AU - Kazda, Alexandr
ID - 1612
IS - 1
JF - Algebra Universalis
TI - CSP for binary conservative relational structures
VL - 75
ER -
TY - JOUR
AB - In the last decade, induced pluripotent stem (iPS) cells have revolutionized the utility of human in vitro models of neurological disease. The iPS-derived and differentiated cells allow researchers to study the impact of a distinct cell type in health and disease as well as performing therapeutic drug screens on a human genetic background. In particular, clinical trials for Alzheimer's disease (AD) have been often failing. Two of the potential reasons are first, the species gap involved in proceeding from initial discoveries in rodent models to human studies, and second, an unsatisfying patient stratification, meaning subgrouping patients based on the disease severity due to the lack of phenotypic and genetic markers. iPS cells overcome this obstacles and will improve our understanding of disease subtypes in AD. They allow researchers conducting in depth characterization of neural cells from both familial and sporadic AD patients as well as preclinical screens on human cells.
In this review, we briefly outline the status quo of iPS cell research in neurological diseases along with the general advantages and pitfalls of these models. We summarize how genome-editing techniques such as CRISPR/Cas will allow researchers to reduce the problem of genomic variability inherent to human studies, followed by recent iPS cell studies relevant to AD. We then focus on current techniques for the differentiation of iPS cells into neural cell types that are relevant to AD research. Finally, we discuss how the generation of three-dimensional cell culture systems will be important for understanding AD phenotypes in a complex cellular milieu, and how both two- and three-dimensional iPS cell models can provide platforms for drug discovery and translational studies into the treatment of AD.
AU - Mungenast, Alison
AU - Siegert, Sandra
AU - Tsai, Li
ID - 1613
JF - Molecular and Cellular Neuroscience
TI - Modeling Alzheimer's disease with human induced pluripotent stem (iPS) cells
VL - 73
ER -
TY - JOUR
AB - The hippocampus plays a key role in learning and memory. Previous studies suggested that the main types of principal neurons, dentate gyrus granule cells (GCs), CA3 pyramidal neurons, and CA1 pyramidal neurons, differ in their activity pattern, with sparse firing in GCs and more frequent firing in CA3 and CA1 pyramidal neurons. It has been assumed but never shown that such different activity may be caused by differential synaptic excitation. To test this hypothesis, we performed high-resolution whole-cell patch-clamp recordings in anesthetized rats in vivo. In contrast to previous in vitro data, both CA3 and CA1 pyramidal neurons fired action potentials spontaneously, with a frequency of ∼3–6 Hz, whereas GCs were silent. Furthermore, both CA3 and CA1 cells primarily fired in bursts. To determine the underlying mechanisms, we quantitatively assessed the frequency of spontaneous excitatory synaptic input, the passive membrane properties, and the active membrane characteristics. Surprisingly, GCs showed comparable synaptic excitation to CA3 and CA1 cells and the highest ratio of excitation versus hyperpolarizing inhibition. Thus, differential synaptic excitation is not responsible for differences in firing. Moreover, the three types of hippocampal neurons markedly differed in their passive properties. While GCs showed the most negative membrane potential, CA3 pyramidal neurons had the highest input resistance and the slowest membrane time constant. The three types of neurons also differed in the active membrane characteristics. GCs showed the highest action potential threshold, but displayed the largest gain of the input-output curves. In conclusion, our results reveal that differential firing of the three main types of hippocampal principal neurons in vivo is not primarily caused by differences in the characteristics of the synaptic input, but by the distinct properties of synaptic integration and input-output transformation.
AU - Kowalski, Janina
AU - Gan, Jian
AU - Jonas, Peter M
AU - Pernia-Andrade, Alejandro
ID - 1616
IS - 5
JF - Hippocampus
TI - Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats
VL - 26
ER -
TY - JOUR
AB - We study the discrepancy of jittered sampling sets: such a set P⊂ [0,1]d is generated for fixed m∈ℕ by partitioning [0,1]d into md axis aligned cubes of equal measure and placing a random point inside each of the N=md cubes. We prove that, for N sufficiently large, 1/10 d/N1/2+1/2d ≤EDN∗(P)≤ √d(log N) 1/2/N1/2+1/2d, where the upper bound with an unspecified constant Cd was proven earlier by Beck. Our proof makes crucial use of the sharp Dvoretzky-Kiefer-Wolfowitz inequality and a suitably taylored Bernstein inequality; we have reasons to believe that the upper bound has the sharp scaling in N. Additional heuristics suggest that jittered sampling should be able to improve known bounds on the inverse of the star-discrepancy in the regime N≳dd. We also prove a partition principle showing that every partition of [0,1]d combined with a jittered sampling construction gives rise to a set whose expected squared L2-discrepancy is smaller than that of purely random points.
AU - Pausinger, Florian
AU - Steinerberger, Stefan
ID - 1617
JF - Journal of Complexity
TI - On the discrepancy of jittered sampling
VL - 33
ER -
TY - JOUR
AB - We consider the Bardeen–Cooper–Schrieffer free energy functional for particles interacting via a two-body potential on a microscopic scale and in the presence of weak external fields varying on a macroscopic scale. We study the influence of the external fields on the critical temperature. We show that in the limit where the ratio between the microscopic and macroscopic scale tends to zero, the next to leading order of the critical temperature is determined by the lowest eigenvalue of the linearization of the Ginzburg–Landau equation.
AU - Frank, Rupert
AU - Hainzl, Christian
AU - Seiringer, Robert
AU - Solovej, Jan
ID - 1620
IS - 1
JF - Communications in Mathematical Physics
TI - The external field dependence of the BCS critical temperature
VL - 342
ER -
TY - JOUR
AB - We prove analogues of the Lieb–Thirring and Hardy–Lieb–Thirring inequalities for many-body quantum systems with fractional kinetic operators and homogeneous interaction potentials, where no anti-symmetry on the wave functions is assumed. These many-body inequalities imply interesting one-body interpolation inequalities, and we show that the corresponding one- and many-body inequalities are actually equivalent in certain cases.
AU - Lundholm, Douglas
AU - Nam, Phan
AU - Portmann, Fabian
ID - 1622
IS - 3
JF - Archive for Rational Mechanics and Analysis
TI - Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems
VL - 219
ER -
TY - JOUR
AB - Ancestral processes are fundamental to modern population genetics and spatial structure has been the subject of intense interest for many years. Despite this interest, almost nothing is known about the distribution of the locations of pedigree or genetic ancestors. Using both spatially continuous and stepping-stone models, we show that the distribution of pedigree ancestors approaches a travelling wave, for which we develop two alternative approximations. The speed and width of the wave are sensitive to the local details of the model. After a short time, genetic ancestors spread far more slowly than pedigree ancestors, ultimately diffusing out with radius ## rather than spreading at constant speed. In contrast to the wave of pedigree ancestors, the spread of genetic ancestry is insensitive to the local details of the models.
AU - Kelleher, Jerome
AU - Etheridge, Alison
AU - Véber, Amandine
AU - Barton, Nicholas H
ID - 1631
JF - Theoretical Population Biology
TI - Spread of pedigree versus genetic ancestry in spatially distributed populations
VL - 108
ER -
TY - JOUR
AB - The plant hormone auxin (indole-3-acetic acid) is a major regulator of plant growth and development including embryo and root patterning, lateral organ formation and growth responses to environmental stimuli. Auxin is directionally transported from cell to cell by the action of specific auxin influx [AUXIN-RESISTANT1 (AUX1)] and efflux [PIN-FORMED (PIN)] transport regulators, whose polar, subcellular localizations are aligned with the direction of the auxin flow. Auxin itself regulates its own transport by modulation of the expression and subcellular localization of the auxin transporters. Increased auxin levels promote the transcription of PIN2 and AUX1 genes as well as stabilize PIN proteins at the plasma membrane, whereas prolonged auxin exposure increases the turnover of PIN proteins and their degradation in the vacuole. In this study, we applied a forward genetic approach, to identify molecular components playing a role in the auxin-mediated degradation. We generated EMS-mutagenized Arabidopsis PIN2::PIN2:GFP, AUX1::AUX1:YFP eir1aux1 populations and designed a screen for mutants with persistently strong fluorescent signals of the tagged PIN2 and AUX1 after prolonged treatment with the synthetic auxin 2,4-dichlorophenoxyacetic acid (2,4-D). This approach yielded novel auxin degradation mutants defective in trafficking and degradation of PIN2 and AUX1 proteins and established a role for auxin-mediated degradation in plant development.
AU - Zemová, Radka
AU - Zwiewka, Marta
AU - Bielach, Agnieszka
AU - Robert, Hélène
AU - Friml, Jirí
ID - 1641
IS - 2
JF - Journal of Plant Growth Regulation
TI - A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana
VL - 35
ER -
TY - CONF
AB - A somewhere statistically binding (SSB) hash, introduced by Hubáček and Wichs (ITCS ’15), can be used to hash a long string x to a short digest y = H hk (x) using a public hashing-key hk. Furthermore, there is a way to set up the hash key hk to make it statistically binding on some arbitrary hidden position i, meaning that: (1) the digest y completely determines the i’th bit (or symbol) of x so that all pre-images of y have the same value in the i’th position, (2) it is computationally infeasible to distinguish the position i on which hk is statistically binding from any other position i’. Lastly, the hash should have a local opening property analogous to Merkle-Tree hashing, meaning that given x and y = H hk (x) it should be possible to create a short proof π that certifies the value of the i’th bit (or symbol) of x without having to provide the entire input x. A similar primitive called a positional accumulator, introduced by Koppula, Lewko and Waters (STOC ’15) further supports dynamic updates of the hashed value. These tools, which are interesting in their own right, also serve as one of the main technical components in several recent works building advanced applications from indistinguishability obfuscation (iO).
The prior constructions of SSB hashing and positional accumulators required fully homomorphic encryption (FHE) and iO respectively. In this work, we give new constructions of these tools based on well studied number-theoretic assumptions such as DDH, Phi-Hiding and DCR, as well as a general construction from lossy/injective functions.
AU - Okamoto, Tatsuaki
AU - Pietrzak, Krzysztof Z
AU - Waters, Brent
AU - Wichs, Daniel
ID - 1653
TI - New realizations of somewhere statistically binding hashing and positional accumulators
VL - 9452
ER -
TY - JOUR
AB - We introduce a modification of the classic notion of intrinsic volume using persistence moments of height functions. Evaluating the modified first intrinsic volume on digital approximations of a compact body with smoothly embedded boundary in Rn, we prove convergence to the first intrinsic volume of the body as the resolution of the approximation improves. We have weaker results for the other modified intrinsic volumes, proving they converge to the corresponding intrinsic volumes of the n-dimensional unit ball.
AU - Edelsbrunner, Herbert
AU - Pausinger, Florian
ID - 1662
JF - Advances in Mathematics
TI - Approximation and convergence of the intrinsic volume
VL - 287
ER -
TY - JOUR
AB - Hybrid systems represent an important and powerful formalism for modeling real-world applications such as embedded systems. A verification tool like SpaceEx is based on the exploration of a symbolic search space (the region space). As a verification tool, it is typically optimized towards proving the absence of errors. In some settings, e.g., when the verification tool is employed in a feedback-directed design cycle, one would like to have the option to call a version that is optimized towards finding an error trajectory in the region space. A recent approach in this direction is based on guided search. Guided search relies on a cost function that indicates which states are promising to be explored, and preferably explores more promising states first. In this paper, we propose an abstraction-based cost function based on coarse-grained space abstractions for guiding the reachability analysis. For this purpose, a suitable abstraction technique that exploits the flexible granularity of modern reachability analysis algorithms is introduced. The new cost function is an effective extension of pattern database approaches that have been successfully applied in other areas. The approach has been implemented in the SpaceEx model checker. The evaluation shows its practical potential.
AU - Bogomolov, Sergiy
AU - Donzé, Alexandre
AU - Frehse, Goran
AU - Grosu, Radu
AU - Johnson, Taylor
AU - Ladan, Hamed
AU - Podelski, Andreas
AU - Wehrle, Martin
ID - 1705
IS - 4
JF - International Journal on Software Tools for Technology Transfer
TI - Guided search for hybrid systems based on coarse-grained space abstractions
VL - 18
ER -
TY - JOUR
AB - We calculate admissible values of r such that a square-free polynomial with integer coefficients, no fixed prime divisor and irreducible factors of degree at most 3 takes infinitely many values that are a product of at most r distinct primes.
AU - Browning, Timothy D
AU - Booker, Andrew
ID - 173
JF - Discrete Analysis
TI - Square-free values of reducible polynomials
VL - 8
ER -
TY - JOUR
AB - We consider Conditional random fields (CRFs) with pattern-based potentials defined on a chain. In this model the energy of a string (labeling) (Formula presented.) is the sum of terms over intervals [i, j] where each term is non-zero only if the substring (Formula presented.) equals a prespecified pattern w. Such CRFs can be naturally applied to many sequence tagging problems. We present efficient algorithms for the three standard inference tasks in a CRF, namely computing (i) the partition function, (ii) marginals, and (iii) computing the MAP. Their complexities are respectively (Formula presented.), (Formula presented.) and (Formula presented.) where L is the combined length of input patterns, (Formula presented.) is the maximum length of a pattern, and D is the input alphabet. This improves on the previous algorithms of Ye et al. (NIPS, 2009) whose complexities are respectively (Formula presented.), (Formula presented.) and (Formula presented.), where (Formula presented.) is the number of input patterns. In addition, we give an efficient algorithm for sampling, and revisit the case of MAP with non-positive weights.
AU - Kolmogorov, Vladimir
AU - Takhanov, Rustem
ID - 1794
IS - 1
JF - Algorithmica
TI - Inference algorithms for pattern-based CRFs on sequence data
VL - 76
ER -
TY - JOUR
AB - Relational models for contingency tables are generalizations of log-linear models, allowing effects associated with arbitrary subsets of cells in the table, and not necessarily containing the overall effect, that is, a common parameter in every cell. Similarly to log-linear models, relational models can be extended to non-negative distributions, but the extension requires more complex methods. An extended relational model is defined as an algebraic variety, and it turns out to be the closure of the original model with respect to the Bregman divergence. In the extended relational model, the MLE of the cell parameters always exists and is unique, but some of its properties may be different from those of the MLE under log-linear models. The MLE can be computed using a generalized iterative scaling procedure based on Bregman projections.
AU - Klimova, Anna
AU - Rudas, Tamás
ID - 1833
JF - Journal of Multivariate Analysis
TI - On the closure of relational models
VL - 143
ER -
TY - JOUR
AB - We consider random matrices of the form H=W+λV, λ∈ℝ+, where W is a real symmetric or complex Hermitian Wigner matrix of size N and V is a real bounded diagonal random matrix of size N with i.i.d.\ entries that are independent of W. We assume subexponential decay for the matrix entries of W and we choose λ∼1, so that the eigenvalues of W and λV are typically of the same order. Further, we assume that the density of the entries of V is supported on a single interval and is convex near the edges of its support. In this paper we prove that there is λ+∈ℝ+ such that the largest eigenvalues of H are in the limit of large N determined by the order statistics of V for λ>λ+. In particular, the largest eigenvalue of H has a Weibull distribution in the limit N→∞ if λ>λ+. Moreover, for N sufficiently large, we show that the eigenvectors associated to the largest eigenvalues are partially localized for λ>λ+, while they are completely delocalized for λ<λ+. Similar results hold for the lowest eigenvalues.
AU - Lee, Jioon
AU - Schnelli, Kevin
ID - 1881
IS - 1-2
JF - Probability Theory and Related Fields
TI - Extremal eigenvalues and eigenvectors of deformed Wigner matrices
VL - 164
ER -
TY - JOUR
AB - Balance of cortical excitation and inhibition (EI) is thought to be disrupted in several neuropsychiatric conditions, yet it is not clear how it is maintained in the healthy human brain. When EI balance is disturbed during learning and memory in animal models, it can be restabilized via formation of inhibitory replicas of newly formed excitatory connections. Here we assess evidence for such selective inhibitory rebalancing in humans. Using fMRI repetition suppression we measure newly formed cortical associations in the human brain. We show that expression of these associations reduces over time despite persistence in behavior, consistent with inhibitory rebalancing. To test this, we modulated excitation/inhibition balance with transcranial direct current stimulation (tDCS). Using ultra-high-field (7T) MRI and spectroscopy, we show that reducing GABA allows cortical associations to be re-expressed. This suggests that in humans associative memories are stored in balanced excitatory-inhibitory ensembles that lie dormant unless latent inhibitory connections are unmasked.
AU - Barron, H.C.
AU - Vogels, Tim P
AU - Emir, U.E.
AU - Makin, T.R.
AU - O’Shea, J.
AU - Clare, S.
AU - Jbabdi, S.
AU - Dolan, R.J.
AU - Behrens, T.E.J.
ID - 8020
IS - 1
JF - Neuron
SN - 0896-6273
TI - Unmasking latent inhibitory connections in human cortex to reveal dormant cortical memories
VL - 90
ER -
TY - CONF
AB - With the accelerated development of robot technologies, optimal control becomes one of the central themes of research. In traditional approaches, the controller, by its internal functionality, finds appropriate actions on the basis of the history of sensor values, guided by the goals, intentions, objectives, learning schemes, and so forth. The idea is that the controller controls the world---the body plus its environment---as reliably as possible. This paper focuses on new lines of self-organization for developmental robotics. We apply the recently developed differential extrinsic synaptic plasticity to a muscle-tendon driven arm-shoulder system from the Myorobotics toolkit. In the experiments, we observe a vast variety of self-organized behavior patterns: when left alone, the arm realizes pseudo-random sequences of different poses. By applying physical forces, the system can be entrained into definite motion patterns like wiping a table. Most interestingly, after attaching an object, the controller gets in a functional resonance with the object's internal dynamics, starting to shake spontaneously bottles half-filled with water or sensitively driving an attached pendulum into a circular mode. When attached to the crank of a wheel the neural system independently discovers how to rotate it. In this way, the robot discovers affordances of objects its body is interacting with.
AU - Martius, Georg S
AU - Hostettler, Rafael
AU - Knoll, Alois
AU - Der, Ralf
ID - 8094
SN - 9780262339360
T2 - Proceedings of the Artificial Life Conference 2016
TI - Self-organized control of an tendon driven arm by differential extrinsic plasticity
VL - 28
ER -
TY - GEN
AB - The stimulus selectivity of synaptic currents in cortical neurons often shows a co-tuning of excitation and inhibition, but the mechanisms that underlie the emergence and plasticity of this co-tuning are not fully understood. Using a computational model, we show that an interaction of excitatory and inhibitory synaptic plasticity reproduces both the developmental and – when combined with a disinhibitory gate – the adult plasticity of excitatory and inhibitory receptive fields in auditory cortex. The co-tuning arises from inhibitory plasticity that balances excitation and inhibition, while excitatory stimulus selectivity can result from two different mechanisms. Inhibitory inputs with a broad stimulus tuning introduce a sliding threshold as in Bienenstock-Cooper-Munro rules, introducing an excitatory stimulus selectivity at the cost of a broader inhibitory receptive field. Alternatively, input asymmetries can be amplified by synaptic competition. The latter leaves any receptive field plasticity transient, a prediction we verify in recordings in auditory cortex.
AU - Clopath, Claudia
AU - Vogels, Tim P
AU - Froemke, Robert C.
AU - Sprekeler, Henning
ID - 8128
T2 - bioRxiv
TI - Receptive field formation by interacting excitatory and inhibitory synaptic plasticity
ER -
TY - JOUR
AB - Background: Anticancer vaccines could represent a valuable complementary strategy to established therapies, especially in settings of early stage and minimal residual disease. HER-2 is an important target for immunotherapy and addressed by the monoclonal antibody trastuzumab. We have previously generated HER-2 mimotope peptides from phage display libraries. The synthesized peptides were coupled to carriers and applied for epitope-specific induction of trastuzumab-like IgG. For simplification and to avoid methodological limitations of synthesis and coupling chemistry, we herewith present a novel and optimized approach by using adeno-associated viruses (AAV) as effective and high-density mimotope-display system, which can be directly used for vaccination. Methods: An AAV capsid display library was constructed by genetically incorporating random peptides in a plasmid encoding the wild-type AAV2 capsid protein. AAV clones, expressing peptides specifically reactive to trastuzumab, were employed to immunize BALB/c mice. Antibody titers against human HER-2 were determined, and the isotype composition and functional properties of these were tested. Finally, prophylactically immunized mice were challenged with human HER-2 transfected mouse D2F2/E2 cells. Results: HER-2 mimotope AAV-vaccines induced antibodies specific to human HER-2. Two clones were selected for immunization of mice, which were subsequently grafted D2F2/E2 cells. Both mimotope AAV clones delayed the growth of tumors significantly, as compared to controls. Conclusion: In this study, a novel mimotope AAV-based platform was created allowing the isolation of mimotopes, which can be directly used as anticancer vaccines. The example of trastuzumab AAV-mimotopes demonstrates that this vaccine strategy could help to establish active immunotherapy for breast-cancer patients.
AU - Singer, Josef
AU - Manzano-Szalai, Krisztina
AU - Fazekas, Judit
AU - Thell, Kathrin
AU - Bentley-Lukschal, Anna
AU - Stremnitzer, Caroline
AU - Roth-Walter, Franziska
AU - Weghofer, Margit
AU - Ritter, Mirko
AU - Pino Tossi, Kerstin
AU - Hörer, Markus
AU - Michaelis, Uwe
AU - Jensen-Jarolim, Erika
ID - 8241
IS - 7
JF - OncoImmunology
SN - 2162-402X
TI - Proof of concept study with an HER-2 mimotope anticancer vaccine deduced from a novel AAV-mimotope library platform
VL - 5
ER -
TY - CONF
AB - While showing great promise, Bitcoin requires users to wait tens of minutes for transactions to commit, and even then, offering only probabilistic guarantees. This paper introduces ByzCoin, a novel Byzantine consensus protocol that leverages scalable collective signing to commit Bitcoin transactions irreversibly within seconds. ByzCoin achieves Byzantine consensus while preserving Bitcoin’s open membership by dynamically forming hash power-proportionate consensus groups that represent recently-successful block miners. ByzCoin employs communication trees to optimize transaction commitment and verification under normal operation while guaranteeing safety and liveness under Byzantine faults, up to a near-optimal tolerance of f faulty group members among 3f + 2 total. ByzCoin mitigates double spending and selfish mining attacks by producing collectively signed transaction blocks within one minute of transaction submission. Tree-structured communication further reduces this latency to less than 30 seconds. Due to these optimizations, ByzCoin achieves a throughput higher than Paypal currently handles, with a confirmation latency of 15-20 seconds.
AU - Kokoris Kogias, Eleftherios
AU - Jovanovic, Philipp
AU - Gailly, Nicolas
AU - Khoffi, Ismail
AU - Gasser, Linus
AU - Ford, Bryan
ID - 8302
SN - 9781931971324
T2 - Proceedings of the 25th USENIX Conference on Security Symposium
TI - Enhancing bitcoin security and performance with strong consistency via collective signing
ER -
TY - JOUR
AB - The half-filled Landau level is expected to be approximately particle-hole symmetric, which requires an extension of the Halperin-Lee-Read (HLR) theory of the compressible state observed at this filling. Recent work indicates that, when particle-hole symmetry is preserved, the composite fermions experience a quantized π-Berry phase upon winding around the composite Fermi surface, analogous to Dirac fermions at the surface of a 3D topological insulator. In contrast, the effective low-energy theory of the composite fermion liquid originally proposed by HLR lacks particle-hole symmetry and has vanishing Berry phase. In this paper, we explain how thermoelectric transport measurements can be used to test the Dirac nature of the composite fermions by quantitatively extracting this Berry phase. First, we point out that longitudinal thermopower (Seebeck effect) is nonvanishing because of the unusual nature of particle-hole symmetry in this context and is not sensitive to the Berry phase. In contrast, we find that off-diagonal thermopower (Nernst effect) is directly related to the topological structure of the composite Fermi surface, vanishing for zero Berry phase and taking its maximal value for π Berry phase. In contrast, in purely electrical transport signatures, the Berry phase contributions appear as small corrections to a large background signal, making the Nernst effect a promising diagnostic of the Dirac nature of composite fermions.
AU - Potter, Andrew C
AU - Maksym Serbyn
AU - Vishwanath, Ashvin K
ID - 983
IS - 3
JF - Physical Review X
TI - Thermoelectric transport signatures of Dirac composite fermions in the half-filled Landau level
VL - 6
ER -
TY - JOUR
AB - The entanglement spectrum of the reduced density matrix contains information beyond the von Neumann entropy and provides unique insights into exotic orders or critical behavior of quantum systems. Here, we show that strongly disordered systems in the many-body localized phase have power-law entanglement spectra, arising from the presence of extensively many local integrals of motion. The power-law entanglement spectrum distinguishes many-body localized systems from ergodic systems, as well as from ground states of gapped integrable models or free systems in the vicinity of scale-invariant critical points. We confirm our results using large-scale exact diagonalization. In addition, we develop a matrix-product state algorithm which allows us to access the eigenstates of large systems close to the localization transition, and discuss general implications of our results for variational studies of highly excited eigenstates in many-body localized systems.
AU - Maksym Serbyn
AU - Alexios Michailidis
AU - Abanin, Dmitry A
AU - Papić, Zlatko
ID - 984
IS - 16
JF - Physical Review Letters
TI - Power-law entanglement spectrum in many-body localized phases
VL - 117
ER -
TY - JOUR
AB - We report on magnetotransport studies of dual-gated, Bernal-stacked trilayer graphene (TLG) encapsulated in boron nitride crystals. We observe a quantum Hall effect staircase which indicates a complete lifting of the 12-fold degeneracy of the zeroth Landau level. As a function of perpendicular electric field, our data exhibit a sequence of phase transitions between all integer quantum Hall states in the filling factor interval -8<ν<0. We develop a theoretical model and argue that, in contrast to monolayer and bilayer graphene, the observed Landau level splittings and quantum Hall phase transitions can be understood within a single-particle picture, but imply the presence of a charge density imbalance between the inner and outer layers of TLG, even at charge neutrality and zero transverse electric field. Our results indicate the importance of a previously unaccounted band structure parameter which, together with a more accurate estimate of the other tight-binding parameters, results in a significantly improved determination of the electronic and Landau level structure of TLG.
AU - Campos, Leonardo C
AU - Taychatanapat, Thiti
AU - Maksym Serbyn
AU - Surakitbovorn, Kawin N
AU - Watanabe, Kenji
AU - Taniguchi, Takashi
AU - Abanin, Dmitry A
AU - Jarillo-Herrero, Pablo
ID - 985
IS - 6
JF - Physical Review Letters
TI - Landau Level Splittings, Phase Transitions, and Nonuniform Charge Distribution in Trilayer Graphene
VL - 117
ER -
TY - JOUR
AB - The many-body localization transition (MBLT) between ergodic and many-body localized phases in disordered interacting systems is a subject of much recent interest. The statistics of eigenenergies is known to be a powerful probe of crossovers between ergodic and integrable systems in simpler examples of quantum chaos. We consider the evolution of the spectral statistics across the MBLT, starting with mapping to a Brownian motion process that analytically relates the spectral properties to the statistics of matrix elements. We demonstrate that the flow from Wigner-Dyson to Poisson statistics is a two-stage process. First, a fractal enhancement of matrix elements upon approaching the MBLT from the delocalized side produces an effective power-law interaction between energy levels, and leads to a plasma model for level statistics. At the second stage, the gas of eigenvalues has local interactions and the level statistics belongs to a semi-Poisson universality class. We verify our findings numerically on the XXZ spin chain. We provide a microscopic understanding of the level statistics across the MBLT and discuss implications for the transition that are strong constraints on possible theories.
AU - Maksym Serbyn
AU - Moore, Joel E
ID - 986
IS - 4
JF - Physical Review B - Condensed Matter and Materials Physics
TI - Spectral statistics across the many-body localization transition
VL - 93
ER -
TY - JOUR
AB - In contrast to bulk FeSe, which exhibits nematic order and low temperature superconductivity, highly doped FeSe reverses the situation, having high temperature superconductivity appearing alongside a suppression of nematic order. To investigate this phenomenon, we study a minimal electronic model of FeSe, with interactions that enhance nematic fluctuations. This model is sign problem free, and is simulated using determinant quantum Monte Carlo (DQMC). We developed a DQMC algorithm with parallel tempering, which proves to be an efficient source of global updates and allows us to access the region of strong interactions. Over a wide range of intermediate couplings, we observe superconductivity with an extended s-wave order parameter, along with enhanced, but short-ranged, q=(0,0) ferro-orbital (nematic) order. These results are consistent with approximate weak-coupling treatments that predict that nematic fluctuations lead to superconducting pairing. Surprisingly, in the parameter range under study, we do not observe nematic long-range order. Instead, at stronger coupling an unusual insulating phase with q=(π,π) antiferro-orbital order appears, which is missed by weak-coupling approximations.
AU - Dumitrescu, Philipp T
AU - Maksym Serbyn
AU - Scalettar, Richard T
AU - Vishwanath, Ashvin K
ID - 987
IS - 15
JF - Physical Review B - Condensed Matter and Materials Physics
TI - Superconductivity and nematic fluctuations in a model of doped FeSe monolayers: Determinant quantum Monte Carlo study
VL - 94
ER -