Finitely Generated Groups Are Universal

Universality has been an important concept in computable structure theory. A class $\mathcal{C}$ of structures is universal if, informally, for any structure, of any kind, there is a structure in $\mathcal{C}$ with the same computability-theoretic properties as the given structure. Many classes such as graphs, groups, and fields are known to be universal. This paper is about the class of finitely generated groups. Because finitely generated structures are relatively simple, the class of finitely generated groups has no hope of being universal. We show that finitely generated groups are as universal as possible, given that they are finitely generated: for every finitely generated structure, there is a finitely generated group which has the same computability-theoretic properties. The same is not true for finitely generated fields. We apply the results of this investigation to quasi Scott sentences

Averting Robot Eyes

Home robots will cause privacy harms. At the same time, they can provide beneficial services—as long as consumers trust them. This Essay evaluates potential technological solutions that could help home robots keep their promises, avert their eyes, and otherwise mitigate privacy harms. Our goals are to inform regulators of robot-related privacy harms and the available technological tools for mitigating them, and to spur technologists to employ existing tools and develop new ones by articulating principles for avoiding privacy harms. We posit that home robots will raise privacy problems of three basic types: (1) data privacy problems; (2) boundary management problems; and (3) social/relational problems. Technological design can ward off, if not fully prevent, a number of these harms. We propose five principles for home robots and privacy design: data minimization, purpose specifications, use limitations, honest anthropomorphism, and dynamic feedback and participation. We review current research into privacy-sensitive robotics, evaluating what technological solutions are feasible and where the harder problems lie. We close by contemplating legal frameworks that might encourage the implementation of such design, while also recognizing the potential costs of regulation at these early stages of the technology

Research study of droplet sizing technology leading to the development of an advanced droplet sizing system

An instrument to measure the size and velocity of droplets was developed. The instrument uses one of two techniques, as appropriate. In the first technique two small laser beams of one color identify the center of a larger laser beam of a different color. This defines a region of almost uniform intensity where the light scattered by the individual droplets can be related to their size. The first technique uses the visibility of a Doppler burst and validates it against the peak intensity of the signal's pedestal. Results are presented for monodisperse, bimodal, trimodal, and polydisperse sprays produced by the Berglund-Liu droplet generator and a pressure nozzle. Size distributions of a given spray obtained using three different size ranges show excellent self-consistency in the overlapping region. Measurements of sprays of known characteristics exhibit errors in the order of 10%. The principles of operation and design criteria of the instrument are discussed in great detail

Preparation of an Exciton Condensate of Photons on a 53-Qubit Quantum Computer

Quantum computation promises an exponential speedup of certain classes of classical calculations through the preparation and manipulation of entangled quantum states. So far most molecular simulations on quantum computers, however, have been limited to small numbers of particles. Here we prepare a highly entangled state on a 53-qubit IBM quantum computer, representing 53 particles, which reveals the formation of an exciton condensate of photon particles and holes. While elusive for more than 50 years, such condensates were recently achieved for electron-hole pairs in graphene bilayers and metal chalcogenides. Our result with a photon condensate has the potential to further the exploration of this new form of condensate that may play a significant role in realizing efficient room-temperature energy transport

When resources collide: Towards a theory of coincidence in information spaces

This paper is an attempt to lay out foundations for a general theory of coincidence in information spaces such as the World Wide Web, expanding on existing work on bursty structures in document streams and information cascades. We elaborate on the hypothesis that every resource that is published in an information space, enters a temporary interaction with another resource once a unique explicit or implicit reference between the two is found. This thought is motivated by Erwin Shroedingers notion of entanglement between quantum systems. We present a generic information cascade model that exploits only the temporal order of information sharing activities, combined with inherent properties of the shared information resources. The approach was applied to data from the world's largest online citizen science platform Zooniverse and we report about findings of this case study

Statistical Agent Based Modelization of the Phenomenon of Drug Abuse

We introduce a statistical agent based model to describe the phenomenon of drug abuse and its dynamical evolution at the individual and global level. The agents are heterogeneous with respect to their intrinsic inclination to drugs, to their budget attitude and social environment. The various levels of drug use were inspired by the professional description of the phenomenon and this permits a direct comparison with all available data. We show that certain elements have a great importance to start the use of drugs, for example the rare events in the personal experiences which permit to overcame the barrier of drug use occasionally. The analysis of how the system reacts to perturbations is very important to understand its key elements and it provides strategies for effective policy making. The present model represents the first step of a realistic description of this phenomenon and can be easily generalized in various directions.Comment: 12 pages, 5 figure

Empirical model for the Earth's cosmic ray shadow at 400 KM: Prohibited cosmic ray access

The possibility to construct a unit sphere of access that describes the cosmic radiation allowed to an Earth-orbiting spacecraft is discussed. It is found that it is possible to model the occluded portion of the cosmic ray sphere of access as a circular projection with a diameter bounded by the satellite-Earth horizon. Maintaining tangency at the eastern edge of the spacecraft-Earth horizon, this optically occluded area is projected downward by an angle beta which is a function of the magnetic field inclination and cosmic ray arrival direction. This projected plane, corresponding to the forbidden area of cosmic ray access, is bounded by the spacecraft-Earth horizon in easterly directions, and is rotated around the vertical axis by an angle alpha from the eastern direction, where the angle alpha is a function of the offset dipole latitude of the spacecraft

Flight Data Analysis of HyShot 2

The development of scramjet propulsion for alternative launch and payload delivery capabilities has comprised largely of ground experiments for the last 40 years. With the goal of validating the use of short duration ground test facilities, the University of Queensland, supported by a large international contingency, devised a ballistic re-entry vehicle experiment called HyShot to achieve supersonic combustion in flight above Mach 7.5. It consisted of a double wedge intake and two back-to-back constant area combustors; one supplied with hydrogen fuel at an equivalence ratio of 0.33 and the other un-fueled. Following a first launch failure on October 30th 2001, the University of Queensland conducted a successful second launch on July 30th, 2002. Post-flight data analysis of the second launch confirmed the presence of supersonic combustion during the approximately 3 second test window at altitudes between 35 and 29 km. Reasonable correlation between flight and some pre-flight shock tunnel tests was observed