SearcharxivSearch

arXiv subjects

Alejo Salles

Publications and source records attributed to Alejo Salles.

12 recordsLinked to original sources

Unity is Strength: A Formalization of Cross-Domain Maximal Extractable Value

The multi-chain future is upon us. Modular architectures are coming to maturity across the ecosystem to scale bandwidth and throughput of cryptocurrency. One example of such is the Ethereum modular architecture, with its beacon chain, its execution chain, its Layer 2s, and soon its shards. These can all be thought as separate blockchains, heavily inter-connected with one another, and together forming an ecosystem. In this work, we call each of these interconnected blockchains "domains", and study the manifestation of Maximal Extractable Value (MEV, a generalization of "Miner Extractable Value") across them. In other words, we investigate whether there exists extractable value that depends on the ordering of transactions in two or more domains jointly. We first recall the definitions of Extractable and Maximal Extractable Value, before introducing a definition of Cross-Domain Maximal Extractable Value. We find that Cross-Domain MEV can be used to measure the incentive for transaction sequencers in different domains to collude with one another, and study the scenarios in which there exists such an incentive. We end the work with a list of negative externalities that might arise from cross-domain MEV extraction and lay out several open questions. We note that the formalism in this work is a work in progress, and we hope that it can serve as the basis for formal analysis tools in the style of those presented in Clockwork Finance, as well as for discussion on how to mitigate the upcoming negative externalities of substantial cross-domain MEV.

cs.CR

Towards a more flexible Language of Thought: Bayesian grammar updates after each concept exposure

Recent approaches to human concept learning have successfully combined the power of symbolic, infinitely productive rule systems and statistical learning to explain our ability to learn new concepts from just a few examples. The aim of most of these studies is to reveal the underlying language structuring these representations and providing a general substrate for thought. However, describing a model of thought that is fixed once trained is against the extensive literature that shows how experience shapes concept learning. Here, we ask about the plasticity of these symbolic descriptive languages. We perform a concept learning experiment that demonstrates that humans can change very rapidly the repertoire of symbols they use to identify concepts, by compiling expressions which are frequently used into new symbols of the language. The pattern of concept learning times is accurately described by a Bayesian agent that rationally updates the probability of compiling a new expression according to how useful it has been to compress concepts so far. By portraying the Language of Thought as a flexible system of rules, we also highlight the difficulties to pin it down empirically.

cs.AI

Uncovering the Spread of Chagas Disease in Argentina and Mexico

Chagas disease is a neglected disease, and information about its geographical spread is very scarse. We analyze here mobility and calling patterns in order to identify potential risk zones for the disease, by using public health information and mobile phone records. Geolocalized call records are rich in social and mobility information, which can be used to infer whether an individual has lived in an endemic area. We present two case studies in Latin American countries. Our objective is to generate risk maps which can be used by public health campaign managers to prioritize detection campaigns and target specific areas. Finally, we analyze the value of mobile phone data to infer long-term migrations, which play a crucial role in the geographical spread of Chagas disease.

cs.CY

Analyzing the Spread of Chagas Disease with Mobile Phone Data

We use mobile phone records for the analysis of mobility patterns and the detection of possible risk zones of Chagas disease in two Latin American countries. We show that geolocalized call records are rich in social and individual information, which can be used to infer whether an individual has lived in an endemic area. We present two case studies, in Argentina and in Mexico, using data provided by mobile phone companies from each country. The risk maps that we generate can be used by health campaign managers to target specific areas and allocate resources more effectively.

cs.SI

Human Mobility and Predictability enriched by Social Phenomena Information

The massive amounts of geolocation data collected from mobile phone records has sparked an ongoing effort to understand and predict the mobility patterns of human beings. In this work, we study the extent to which social phenomena are reflected in mobile phone data, focusing in particular in the cases of urban commute and major sports events. We illustrate how these events are reflected in the data, and show how information about the events can be used to improve predictability in a simple model for a mobile phone user's location.

physics.soc-ph

Human Mobility and Predictability enriched by Social Phenomena Information (extended abstract)

The information collected by mobile phone operators can be considered as the most detailed information on human mobility across a large part of the population. The study of the dynamics of human mobility using the collected geolocations of users, and applying it to predict future users' locations, has been an active field of research in recent years. In this work, we study the extent to which social phenomena are reflected in mobile phone data, focusing in particular in the cases of urban commute and major sports events. We illustrate how these events are reflected in the data, and show how information about the events can be used to improve predictability in a simple model for a mobile phone user's location.

cs.SI

Large violation of Bell inequalities using both particle and wave measurements

When separated measurements on entangled quantum systems are performed, the theory predicts correlations that cannot be explained by any classical mechanism: communication is excluded because the signal should travel faster than light; pre-established agreement is excluded because Bell inequalities are violated. All optical demonstrations of such violations have involved discrete degrees of freedom and are plagued by the detection-efficiency loophole. A promising alternative is to use continuous variables combined with highly efficient homodyne measurements. However, all the schemes proposed so far use states or measurements that are extremely difficult to achieve, or produce very weak violations. We present a simple method to generate large violations for feasible states using both photon counting and homodyne detections. The present scheme can also be used to obtain nonlocality from easy-to-prepare Gaussian states (e.g. two-mode squeezed state).

quant-ph

Macroscopically local correlations can violate information causality

Although quantum mechanics is a very successful theory, its foundations are still a subject of intense debate. One of the main problems is the fact that quantum mechanics is based on abstract mathematical axioms, rather than on physical principles. Quantum information theory has recently provided new ideas from which one could obtain physical axioms constraining the resulting statistics one can obtain in experiments. Information causality and macroscopic locality are two principles recently proposed to solve this problem. However none of them were proven to define the set of correlations one can observe. In this paper, we present an extension of information causality and study its consequences. It is shown that the two above-mentioned principles are inequivalent: if the correlations allowed by nature were the ones satisfying macroscopic locality, information causality would be violated. This gives more confidence in information causality as a physical principle defining the possible correlation allowed by nature.

quant-ph

Bound non-locality and activation

We investigate non-locality distillation using measures of non-locality based on the Elitzur-Popescu-Rohrlich decomposition. For a certain number of copies of a given non-local correlation, we define two quantities of interest: (i) the non-local cost, and (ii) the distillable non-locality. We find that there exist correlations whose distillable non-locality is strictly smaller than their non-local cost. Thus non-locality displays a form of irreversibility which we term bound non-locality. Finally we show that non-local distillability can be activated.

quant-ph

Bell inequalities from multilinear contractions

We provide a framework for Bell inequalities which is based on multilinear contractions. The derivation of the inequalities allows for an intuitive geometric depiction and their violation within quantum mechanics can be seen as a direct consequence of non-vanishing commutators. The approach is motivated by generalizing recent work on non-linear inequalities which was based on the moduli of complex numbers, quaternions and octonions. We extend results on Peres conjecture about the validity of Bell inequalities for quantum states with positive partial transposes. Moreover, we show the possibility of obtaining unbounded quantum violations albeit we also prove that quantum mechanics can only violate the derived inequalities if three or more parties are involved.

quant-ph

Scalability of GHZ and random-state entanglement in the presence of decoherence

We derive analytical upper bounds for the entanglement of generalized Greenberger-Horne-Zeilinger states coupled to locally depolarizing and dephasing environments, and for local thermal baths of arbitrary temperature. These bounds apply for any convex quantifier of entanglement, and exponential entanglement decay with the number of constituent particles is found. The bounds are tight for depolarizing and dephasing channels. We also show that randomly generated initial states tend to violate these bounds, and that this discrepancy grows with the number of particles.

quant-ph

Quantum Non-locality and Partial Transposition for Continuous-Variable Systems

A continuous-variable Bell inequality, valid for an arbitrary number of observers measuring observables with an arbitrary number of outcomes, was recently introduced in [Cavalcanti \emph{et al.}, Phys. Rev. Lett. {\bf 99}, 210405 (2007)]. We prove that any $n$-mode quantum state violating this inequality with quadrature measurements necessarily has a negative partial transposition. Our results thus establish the first link between nonlocality and bound entanglement for continuous-variable systems.

quant-ph