Chain and ladder models with two-body interactions and analytical ground states

We consider a family of spin-1/2 models with few-body, SU(2) invariant Hamiltonians and analytical ground states related to the 1D Haldane-Shastry wavefunction. The spins are placed on the surface of a cylinder, and the standard 1D Haldane-Shastry model is obtained by placing the spins with equal spacing in a circle around the cylinder. Here, we show that another interesting family of models with two-body exchange interactions is obtained if we instead place the spins along one or two lines parallel to the cylinder axis, giving rise to chain and ladder models, respectively. We can change the scale along the cylinder axis without changing the radius of the cylinder. This gives us a parameter that controls the ratio between the circumference of the cylinder and all other length scales in the system. We use Monte Carlo simulations and analytical investigations to study how this ratio affects the properties of the models. If the ratio is large, we find that the two legs of the ladder decouple into two chains that are in a critical phase with Haldane-Shastry-like properties. If the ratio is small, the wavefunction reduces to a product of singlets. In between, we find that the behavior of the correlations and the Renyi entropy depends on the distance considered. For small distances the behavior is critical, and for long distances the correlations decay exponentially and the entropy shows an area law behavior. The distance up to which there is critical behavior gets larger and larger as the ratio increases.Comment: 19 pages, 16 figure

Pay for performance with motivated employees

Heterogeneity in intrinsic motivation affects the optimal contract offered to employees in teams. Under individual incentives, the effort exerted by both motivated and selfish employees is distorted. This distortion is mitigated if employees receive a wage based on team performance. As a result, the principal prefers to use team incentives, while motivated employees are better off with individual incentives

Self-Structuring of Granular Media under Internal Avalanches

We study the phenomenon of internal avalanching within the context of recently proposed ``Tetris'' lattice models for granular media. We define a recycling dynamics under which the system reaches a steady state which is self-structured, i.e. it shows a complex interplay between textured internal structures and critical avalanche behavior. Furthermore we develop a general mean-field theory for this class of systems and discuss possible scenarios for the breakdown of universality.Comment: 4 pages RevTex, 3 eps figures, revised version to appear in Phys. Rev. Let

Sandpile model on an optimized scale-free network on Euclidean space

Deterministic sandpile models are studied on a cost optimized Barab\'asi-Albert (BA) scale-free network whose nodes are the sites of a square lattice. For the optimized BA network, the sandpile model has the same critical behaviour as the BTW sandpile, whereas for the un-optimized BA network the critical behaviour is mean-field like.Comment: Five pages, four figure

Platform price parity clauses and market segmentation

Price parity clauses (PPCs) are widely adopted by online platforms to force client sellers not to lower their prices elsewhere. We investigate under what conditions online travel agencies (OTAs) decide to apply PPCs, and how this affects hotels' listing decisions on OTAs. We find OTAs adopt PPCs when there is a sufficiently large competitive pressure in the market, either between OTAs, or between hotels (or both). PPCs allow OTAs to charge higher commission fees to hotels, which can respond by delisting from certain OTAs, thereby segmenting the market. We also find that consumers and hotels generally lose out with PPCs

Proof by analogy in mural

One of the most important advantages of using a formal method of developing software is that one can prove that development steps are correct with respect to their specification. Conducting proofs by hand, however,can be time consuming to the extent that designers have to judge whether a proof of a particular obligation is worth conducting. Even if hand proofs are worth conducting, how do we know that they are correct? One approach to overcoming this problem is to use an automatic theorem proving system to develop and check our proofs. However, in order to enable present day theorem provers to check proofs, one has to conduct them in much more detail than hand proofs. Carrying out more detailed proofs is of course more time consuming. This paper describes the use of proof by analogy in an attempt to reduce the time spent on proofs. We develop and implement a proof follower based on analogy and present two examples to illustrate its characteristics. One example illustrates the successful use of the proof follower. The other example illustrates that the follower's failure can provide a hint that enables the user to complete a proof