An Axiomatic Approach to Routing

Information delivery in a network of agents is a key issue for large, complex systems that need to do so in a predictable, efficient manner. The delivery of information in such multi-agent systems is typically implemented through routing protocols that determine how information flows through the network. Different routing protocols exist each with its own benefits, but it is generally unclear which properties can be successfully combined within a given algorithm. We approach this problem from the axiomatic point of view, i.e., we try to establish what are the properties we would seek to see in such a system, and examine the different properties which uniquely define common routing algorithms used today. We examine several desirable properties, such as robustness, which ensures adding nodes and edges does not change the routing in a radical, unpredictable ways; and properties that depend on the operating environment, such as an "economic model", where nodes choose their paths based on the cost they are charged to pass information to the next node. We proceed to fully characterize minimal spanning tree, shortest path, and weakest link routing algorithms, showing a tight set of axioms for each.Comment: In Proceedings TARK 2015, arXiv:1606.0729

Pitch memory and exposure effects.

Recent studies indicate that the ability to represent absolute pitch values in long-term memory (LTM), long believed to be the possession of a small minority of trained musicians endowed with "absolute pitch" (AP), is in fact shared to some extent by a considerable proportion of the population. The current study examined whether this newly-discovered ability affects aspects of music and auditory cognition, particularly pitch learning and evaluation. Our starting points are two well established premises: (1) frequency of occurrence has an influence on the way we process stimuli; (2) in Western music, some pitches and musical keys are much more frequent than others. Based on these premises, we hypothesize that if absolute pitch values are indeed represented in LTM, pitch frequency of occurrence in music would significantly affect cognitive processes, in particular pitch learning and evaluation. Two experiments were designed to test this hypothesis in participants with no AP, most with little or no musical training. Experiment 1 demonstrated a faster response and a learning advantage for frequent pitches over infrequent pitches in an identification task. In Experiment 2 participants evaluated infrequent pitches as more pleasing than frequent pitches when presented in isolation. These results suggest that absolute pitch representation in memory may play a substantial, hitherto unacknowledged role in auditory (and specifically musical) cognition

Spontaneously broken boosts in CFTs

Conformal Field Theories (CFTs) have rich dynamics in heavy states. We describe the constraints due to spontaneously broken boost and dilatation symmetries in such states. The spontaneously broken boost symmetries require the existence of new low-lying primaries whose scaling dimension gap, we argue, scales as O(1). We demonstrate these ideas in various states, including fluid, superfluid, mean field theory, and Fermi surface states. We end with some remarks about the large charge limit in 2d and discuss a theory of a single compact boson with an arbitrary conformal anomaly

Spin impurities, Wilson lines and semiclassics

We consider line defects with large quantum numbers in conformal field theories. First, we consider spin impurities, both for a free scalar triplet and in the Wilson-Fisher O(3) model. For the free scalar triplet, we find a rich phase diagram that includes a perturbative fixed point, a new nonperturbative fixed point, and runaway regimes. To obtain these results, we develop a new semiclassical approach. For the Wilson-Fisher model, we propose an alternative description, which becomes weakly coupled in the large spin limit. This allows us to chart the phase diagram and obtain numerous rigorous predictions for large spin impurities in 2 + 1 dimensional magnets. Finally, we also study 1/2-BPS Wilson lines in large representations of the gauge group in rank-1 N = 2 superconformal field theories. We contrast the results with the qualitative behavior of large spin impurities in magnets

Phases of Wilson lines in conformal field theories

We study the low-energy limit of Wilson lines (charged impurities) in conformal gauge theories in 2+1 and 3+1 dimensions. As a function of the representation of the Wilson line, certain defect operators can become marginal, leading to interesting renormalization group flows and for sufficiently large representations to complete or partial screening by charged fields. This result is universal: in large enough representations, Wilson lines are screened by the charged matter fields. We observe that the onset of the screening instability is associated with fixed-point mergers. We study this phenomenon in a variety of applications. In some cases, the screening of the Wilson lines takes place by dimensional transmutation and the generation of an exponentially large scale. We identify the space of infrared conformal Wilson lines in weakly coupled gauge theories in 3+1 dimensions and determine the screening cloud due to bosons or fermions. We also study QED in 2+1 dimensions in the large Nf limit and identify the nontrivial conformal Wilson lines. We briefly discuss ‘t Hooft lines in 3+1-dimensional gauge theories and find that they are screened in weakly coupled gauge theories with simply connected gauge groups. In non-Abelian gauge theories with S duality, this together with our analysis of the Wilson lines gives a compelling picture for the screening of the line operators as a function of the coupling

Phases of Wilson Lines in Conformal Field Theories

We study the low-energy limit of Wilson lines (charged impurities) in conformal gauge theories in 2+1 and 3+1 dimensions. As a function of the representation of the Wilson line, certain defect operators can become marginal, leading to interesting renormalization group flows and for sufficiently large representations to complete or partial screening by charged fields. This result is universal: in large enough representations, Wilson lines are screened by the charged matter fields. We observe that the onset of the screening instability is associated with fixed-point mergers. We study this phenomenon in a variety of applications. In some cases, the screening of the Wilson lines takes place by dimensional transmutation and the generation of an exponentially large scale. We identify the space of infrared conformal Wilson lines in weakly coupled gauge theories in 3+1 dimensions and determine the screening cloud due to bosons or fermions. We also study QED in 2+1 dimensions in the large $N_f$ limit and identify the nontrivial conformal Wilson lines. We briefly discuss 't Hooft lines in 3+1-dimensional gauge theories and find that they are screened in weakly coupled gauge theories with simply connected gauge groups. In non-Abelian gauge theories with S-duality, this together with our analysis of the Wilson lines gives a compelling picture for the screening of the line operators as a function of the coupling.Comment: 5 pages, 2 figures, v2 references updated, v3 minor changes, journal versio

Phases of Wilson lines: conformality and screening

We study the rich dynamics resulting from introducing static charged particles (Wilson lines) in 2+1 and 3+1 dimensional gauge theories. Depending on the charges of the external particles, there may be multiple defect fxed points with interesting renormalization group fows connecting them, or an exponentially large screening cloud can develop (defning a new emergent length scale), screening the bare charge entirely or partially. We investigate several examples where the dynamics can be solved in various weak coupling or double scaling limits. Sometimes even the elementary Wilson lines, corresponding to the lowest nontrivial charge, are screened. We consider Wilson lines in 3+1 dimensional gauge theories including massless scalar and fermionic QED4, and also in the N = 4 supersymmetric Yang-Mills theory. We also consider Wilson lines in 2+1 dimensional conformal gauge theories such as QED3 with bosons or fermions, Chern-Simons-Matter theories, and the efective theory of graphene. Our results in 2+1 dimensions have potential implications for graphene, second-order superconducting phase transitions, etc. Finally, we comment on magnetic line operators in 3+1 dimensions (’t Hooft lines) and argue that our results for the infrared dynamics of electric and magnetic lines are consistent with non-Abelian electric-magnetic duality

An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata

In the mid 80s, Lichtenstein, Pnueli, and Zuck proved a classical theorem stating that every formula of Past LTL (the extension of LTL with past operators) is equivalent to a formula of the form $\bigwedge_{i=1}^n \mathbf{G}\mathbf{F} \varphi_i \vee \mathbf{F}\mathbf{G} \psi_i$, where $\varphi_i$ and $\psi_i$ contain only past operators. Some years later, Chang, Manna, and Pnueli built on this result to derive a similar normal form for LTL. Both normalisation procedures have a non-elementary worst-case blow-up, and follow an involved path from formulas to counter-free automata to star-free regular expressions and back to formulas. We improve on both points. We present a direct and purely syntactic normalisation procedure for LTL yielding a normal form, comparable to the one by Chang, Manna, and Pnueli, that has only a single exponential blow-up. As an application, we derive a simple algorithm to translate LTL into deterministic Rabin automata. The algorithm normalises the formula, translates it into a special very weak alternating automaton, and applies a simple determinisation procedure, valid only for these special automata.Comment: This is the extended version of the referenced conference paper and contains an appendix with additional materia