CZF does not have the existence property

Constructive theories usually have interesting metamathematical properties where explicit witnesses can be extracted from proofs of existential sentences. For relational theories, probably the most natural of these is the existence property, EP, sometimes referred to as the set existence property  . This states that whenever (∃x)?(x)$(\exists x)?(x)$ is provable, there is a formula χ(x)$\chi (x)$ such that (∃!x)?(x)∧χ(x)$(\exists !x)?(x)\wedge \chi (x)$ is provable. It has been known since the 80s that EP holds for some intuitionistic set theories and yet fails for IZF. Despite this, it has remained open until now whether EP holds for the most well known constructive set theory, CZF. In this paper we show that EP fails for CZF.     

Effective learning hyper-heuristics for the course timetabling problem

Course timetabling is an important and recurring administrative activity in most educational institutions. This article combines a general modeling methodology with effective learning hyper-heuristics to solve this problem. The proposed hyper-heuristics are based on an iterated local search procedure that autonomously combines a set of move operators. Two types of learning for operator selection are contrasted: a static (offline) approach, with a clear distinction between training and execution phases; and a dynamic approach that learns on the fly. The resulting algorithms are tested over the set of real-world instances collected by the first and second International Timetabling competitions. The dynamic scheme statistically outperforms the static counterpart, and produces competitive results when compared to the state-of-the-art, even producing a new best-known solution. Importantly, our study illustrates that algorithms with increased autonomy and generality can outperform human designed problem-specific algorithms.     

A Stochastic Analysis of Some Two‐Person Sports

We consider two‐person sports where each rally is initiated by a server, the other player (the receiver) becoming the server when he/she wins a rally. Historically, these sports used a scoring based on the side‐out scoring system, in which points are only scored by the server. Recently, however, some federations have switched to the rally‐point scoring system in which a point is scored on every rally. As various authors before us, we study how much this change affects the game. Our approach is based on a rally‐level analysis of the process through which, besides the well‐known probability distribution of the scores, we also obtain the distribution of the number of rallies. This yields a comprehensive knowledge of the process at hand, and allows for an in‐depth comparison of both scoring systems. In particular, our results help to explain why the transition from one scoring system to the other has more important implications than those predicted from game‐winning probabilities alone. Some of our findings are quite surprising, and unattainable through Monte Carlo experiments. Our results are of high practical relevance to international federations and local tournament organizers alike, and also open the way to efficient estimation of the rally‐winning probabilities.     

Anisotropic diffusion in confined colloidal dispersions: the evanescent diffusivity

We employ an analogy to traditional dynamic light scattering to describe the inhomogeneous and anisotropic diffusion of colloid particles near a solid boundary measured via evanescent wave dynamic light scattering. Following this approach, we generate new expressions for the short-time self- and collective diffusivities of colloidal dispersions with arbitrary volume fraction. We use these expressions in combination with accelerated Stokesian dynamics simulations to calculate the diffusivities in the limit of large and small scattering wave numbers for evanescent penetration depths ranging from four particle radii to one-fifth of a particle radius and volume fractions from 10% to 40%. We show that at high volume fractions, and larger penetration depths, the boundaries have little effect on the dynamics of the suspension parallel to the wall since, to a first approximation, the boundary acts hydrodynamically much as another nearby particle. However, near and normal to the wall, the diffusivity shows a strong dependence on penetration depth for all volume fractions. This is due to the lubrication interactions between the particles and the boundary as the particle moves relative to the wall. These results are novel and comprehensive with respect to the range of penetration depth and volume fraction and provide a complete determination of the effect of hydrodynamic interactions on colloidal diffusion adjacent to a rigid boundary.     

Quantum mechanics: cleaning up metaphysical baggage

The dynamic electronic structure of atoms and molecules can be directly observed by means of the (e, 2e) reaction, which measures the distribution of energies and momenta of two electrons in coincidence after a knockout reaction initiated by an electron beam of known momentum incident on a molecular gas target. The molecular state for each event is identified by the electron separation energy. The recoil momentum for each event is known from the difference of measured initial and final momenta. It has been verified that values of this momentum are equal under suitable conditions to the momentum of the electron in the target immediately before knockout. Thus the spherically-averaged electron momentum distribution for each molecular orbital is measured. This is directly related to molecular orbitals calculated by the methods of quantum chemistry. Properties obtained by this method for different types of molecules are discussed.     

Zur Entwicklung von Schwefelwasserstoff

Ohne Zusammenfassung     

Aspects of magnetogasdynamic flows involving upstream influence effects

Résumé Pour l'analyse mathématique des problèmes concernant l'écoulement d'un fluide en présence d'un champ magnétique dans laquelle les parois nonconductrices existent, on doit considérer la solution des equationsMaxwell dans les régions des parois. Il y a des auteurs qui n'ont pas considéré cette solution, et cet article fait commenter sur quelquesuns des problèmes qui sont déficitaire dans cette matière.

---

---

Sponsored by the Mathematics Research Center, United States Army, Madison, Wisconsin under Contract No.: DA-31-124-ARO-D-462.