Two-dimensional Lattice Gauge Theories with Superconducting Quantum Circuits

A quantum simulator of U(1) lattice gauge theories can be implemented with superconducting circuits. This allows the investigation of confined and deconfined phases in quantum link models, and of valence bond solid and spin liquid phases in quantum dimer models. Fractionalized confining strings and the real-time dynamics of quantum phase transitions are accessible as well. Here we show how state-of-the-art superconducting technology allows us to simulate these phenomena in relatively small circuit lattices. By exploiting the strong non-linear couplings between quantized excitations emerging when superconducting qubits are coupled, we show how to engineer gauge invariant Hamiltonians, including ring-exchange and four-body Ising interactions. We demonstrate that, despite decoherence and disorder effects, minimal circuit instances allow us to investigate properties such as the dynamics of electric flux strings, signaling confinement in gauge invariant field theories. The experimental realization of these models in larger superconducting circuits could address open questions beyond current computational capability.

New Constraints on Dark Matter Effective Theories from Standard Model Loops

We consider an effective field theory for a gauge singlet Dirac dark matter particle interacting with the standard model fields via effective operators suppressed by the scale Λ≳1  TeV. We perform a systematic analysis of the leading loop contributions to spin-independent Dirac dark matter–nucleon scattering using renormalization group evolution between Λ and the low-energy scale probed by direct detection experiments. We find that electroweak interactions induce operator mixings such that operators that are naively velocity suppressed and spin dependent can actually contribute to spin-independent scattering. This allows us to put novel constraints on Wilson coefficients that were so far poorly bounded by direct detection. Constraints from current searches are already significantly stronger than LHC bounds, and will improve in the near future. Interestingly, the loop contribution we find is isospin violating even if the underlying theory is isospin conserving.

Quantum Simulation of Non-Abelian Lattice Gauge Theories

We use quantum link models to construct a quantum simulator for U(N) and SU(N) lattice gauge theories. These models replace Wilson’s classical link variables by quantum link operators, reducing the link Hilbert space to a finite number of dimensions. We show how to embody these quantum link models with fermionic matter with ultracold alkaline-earth atoms using optical lattices. Unlike classical simulations, a quantum simulator does not suffer from sign problems and can thus address the corresponding dynamics in real time. Using exact diagonalization results we show that these systems share qualitative features with QCD, including chiral symmetry breaking and we study the expansion of a chirally restored region in space in real time.

QCD and Strongly Coupled Gauge Theories: Challenges and Perspectives

We highlight the progress, current status, and open challenges of QCD-driven physics, in theory and in experiment. We discuss how the strong interaction is intimately connected to a broad sweep of physical problems, in settings ranging from astrophysics and cosmology to strongly coupled, complex systems in particle and condensed-matter physics, as well as to searches for physics beyond the Standard Model. We also discuss how success in describing the strong interaction impacts other fields, and, in turn, how such subjects can impact studies of the strong interaction. In the course of the work we offer a perspective on the many research streams which flow into and out of QCD, as well as a vision for future developments.

Synesthesia: when colors count

A tacitly held assumption in synesthesia research is the unidirectionality of digit-color associations. This notion is based on synesthetes' report that digits evoke a color percept, but colors do not elicit any numerical impression. In a random color generation task, we found evidence for an implicit co-activation of digits by colors, a finding that constrains neurological theories concerning cross-modal associations in general and synesthesia in particular.

Relative Predicativity and dependent recursion in second-order set theory and higher-orders theories

This article reports that some robustness of the notions of predicativity and of autonomous progression is broken down if as the given infinite total entity we choose some mathematical entities other than the traditional ω. Namely, the equivalence between normal transfinite recursion scheme and new dependent transfinite recursion scheme, which does hold in the context of subsystems of second order number theory, does not hold in the context of subsystems of second order set theory where the universe V of sets is treated as the given totality (nor in the contexts of those of n+3-th order number or set theories, where the class of all n+2-th order objects is treated as the given totality).

Logical omniscience as infeasibility

Logical theories for representing knowledge are often plagued by the so-called Logical Omniscience Problem. The problem stems from the clash between the desire to model rational agents, which should be capable of simple logical inferences, and the fact that any logical inference, however complex, almost inevitably consists of inference steps that are simple enough. This contradiction points to the fruitlessness of trying to solve the Logical Omniscience Problem qualitatively if the rationality of agents is to be maintained. We provide a quantitative solution to the problem compatible with the two important facets of the reasoning agent: rationality and resource boundedness. More precisely, we provide a test for the logical omniscience problem in a given formal theory of knowledge. The quantitative measures we use are inspired by the complexity theory. We illustrate our framework with a number of examples ranging from the traditional implicit representation of knowledge in modal logic to the language of justification logic, which is capable of spelling out the internal inference process. We use these examples to divide representations of knowledge into logically omniscient and not logically omniscient, thus trying to determine how much information about the reasoning process needs to be present in a theory to avoid logical omniscience.

The association between implicit alcohol attitudes and drinking behavior is moderated by baseline activation in the lateral prefrontal cortex

OBJECTIVE Intense alcohol consumption is a risk factor for a number of health problems. Dual-process models assume that self-regulatory behavior such as drinking alcohol is guided by both reflective and impulsive processes. Evidence suggests that (a) impulsive processes such as implicit attitudes are more strongly associated with behavior when executive functioning abilities are low, and (b) higher neural baseline activation in the lateral prefrontal cortex (PFC) is associated with better inhibitory control. The present study integrates these 2 strands of research to investigate how individual differences in neural baseline activation in the lateral PFC moderate the association between implicit alcohol attitudes and drinking behavior. METHOD Baseline cortical activation was measured with resting electroencephalography (EEG) in 89 moderate drinkers. In a subsequent behavioral testing session they completed measures of implicit alcohol attitudes and self-reported drinking behavior. RESULTS Implicit alcohol attitudes were related to self-reported alcohol consumption. Most centrally, implicit alcohol attitudes were more strongly associated with drinking behavior in individuals with low as compared with high baseline activation in the right lateral PFC. CONCLUSIONS These findings are in line with predictions made on the basis of dual-process models. They provide further evidence that individual differences in neural baseline activation in the right lateral PFC may contribute to executive functioning abilities such as inhibitory control. Moreover, individuals with strongly positive implicit alcohol attitudes coupled with a low baseline activation in the right lateral PFC may be at greater risk of developing unhealthy drinking patterns than others.

A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π1-equivalent to KP

We introduce a version of operational set theory, OST−, without a choice operation, which has a machinery for Δ0Δ0 separation based on truth functions and the separation operator, and a new kind of applicative set theory, so-called weak explicit set theory WEST, based on Gödel operations. We show that both the theories and Kripke–Platek set theory KPKP with infinity are pairwise Π1Π1 equivalent. We also show analogous assertions for subtheories with ∈-induction restricted in various ways and for supertheories extended by powerset, beta, limit and Mahlo operations. Whereas the upper bound is given by a refinement of inductive definition in KPKP, the lower bound is by a combination, in a specific way, of realisability, (intuitionistic) forcing and negative interpretations. Thus, despite interpretability between classical theories, we make “a detour via intuitionistic theories”. The combined interpretation, seen as a model construction in the sense of Visser's miniature model theory, is a new way of construction for classical theories and could be said the third kind of model construction ever used which is non-trivial on the logical connective level, after generic extension à la Cohen and Krivine's classical realisability model.

Implicit motives and basic need satisfaction in extreme endurance sports.

Previous research has shown that the effects of basic psychological needs on the flow experience in sports are moderated by implicit motives. However, so far, only leisure and health-oriented sports have been analyzed. In a pilot study and a main study (N = 29, 93), we tested whether the implicit achievement and affiliation motives interact with the need for competence and the need for social relatedness satisfaction, respectively, to predict flow experience and well-being in extreme endurance athletes. Results showed that highly achievement-motivated individuals benefited more from the need for competence satisfaction in terms of flow than individuals with a low achievement motive did. In addition, highly affiliation-motivated individuals whose need for social relatedness is satisfied reported higher positive affect and lower exercise addiction scores than athletes with a low motive. We discuss the differential effects of the interplay between the achievement and affiliation motives and basic needs on different outcome variables.

The implicit affiliation motive moderates cortisol responses to acute psychosocial stress in high school students

It has been previously shown that the implicit affiliation motive – the need to establish and maintain friendly relationships with others – leads to chronic health benefits. The underlying assumption for the present research was that the implicit affiliation motive also moderates the salivary cortisol response to acute psychological stress when some aspects of social evaluation and uncontrollability are involved. By contrast we did not expect similar effects in response to exercise as a physical stressor. Fifty-nine high school students aged M = 14.8 years were randomly assigned to a psychosocial stress (publishing the results of an intelligence test performed), a physical stress (exercise intensity of 65–75% of HRmax), and a control condition (normal school lesson) each lasting 15 min. Participants’ affiliation motives were assessed using the Operant Motive Test and salivary cortisol samples were taken pre and post stressor. We found that the strength of the affiliation motive negatively predicted cortisol reactions to acute psychosocial but not to physical stress when compared to a control group. The results suggest that the affiliation motive buffers the effect of acute psychosocial stress on the HPA axis.

The effect of age and time perspective on implicit motives

People differ in how open-ended or limited they perceive their future. We argue that individual differences in future time perspective affect the activation of implicit motives. Perceiving the time remaining for the satisfaction of one’s motives as limited should be associated with a higher activation of these motives than perceiving one’s future as more open-ended. Given that future time perspective decreases across adulthood, older adults should score higher on implicit motives than younger adults. This hypothesis was supported in a study with young (n = 53, age M = 25.60 years) and older adults (n = 55, age M = 68.05 years). Additionally, an experimental manipulation of future time perspective showed that age-related differences in implicit motives are influenced by future time perspective. These findings demonstrate that future time perspective is an important factor to explain the strength of motives.