Betweenness, brain models, random number generators

我建议从事两个互不相关的领域：一方面，我建议研究关于平面上的点和线的一个经典定理的猜想推广；另一方面，我建议研究大脑的经典模型在多大程度上可以表现出癫痫发作前大脑的不稳定、无序、明显不可预测的行为特征。 平面上的任意数量的点决定了多条线，每条线至少穿过其中的两个点。可以追溯到20世纪30年代的欧几里德几何中的一个定理断言，除非所有的点都位于一条直线上(在这种情况下，这是他们确定的唯一一条直线)，否则这样的直线的数量至少等于点的数量。我和我以前的学生陈晓敏在2008年宣布了一个猜想，希望将这个定理推广到莫里斯·弗雷切特于1906年引入的所谓度量空间的环境中。度量空间是一个集合，其中每个无序的点对都有一个非负实数；这个数被称为两点之间的距离；当且仅当两点相同时，它等于零；在1924年，卡尔·门格提出说，度量空间中的点B位于A和C之间，意味着从A到B的距离加上从B到C的距离等于从A到C的距离。小敏和我将度量空间(其中X，Y是两个不同的点)中的XY线定义为所有点Z的集合，使得X，Y，Z中的一个位于另两个点之间(特别是，直线XY包括点X和Y)，我们猜想，在每个有n个点的度量空间中，至少有n条直线，除非某条直线由所有n个点组成(在这种情况下，也可能有额外的直线)。 对这一猜想的证明将揭示一座冰山，而最初的欧几里德几何定理只是冰山的一角。这句话的座右铭是‘做个聪明人，推广一下！’是推动数学有很大进步的动力，推广可能会有意想不到的应用：其中一个著名的例子是在狭义相对论中使用非欧几里德几何。即使这一猜想在一般情况下被证明是错误的，但在四种特殊情况下，它已经被证明是正确的。对其成立的公制空间进行划分将是最有趣的。 癫痫是一组神经系统疾病，其共同和基本特征是反复发作的无缘无故的癫痫发作。这种痛苦是普遍的：今天世界上有5000多万癫痫患者。在试图研究选定患者的癫痫时，主要位于大脑皮层的神经元的放电模式被记录为称为脑电(EEG)的时间序列。尽管不同类型的癫痫有不同的脑电表现，但一种常见的情况是从癫痫发作前的不规则、无序的脑电(发作前状态)过渡到癫痫发作期间更有组织的持续尖峰或尖波节奏(发作状态)。 为了更好地理解癫痫发作的发展，我打算改造现有的大脑模型，使其显示出癫痫样的行为；我的第一个短期目标是模拟发作前明显不可预测的放电模式的颤动。我建议从最简单的、按时间顺序排在第一位的大脑模型--麦卡洛赫-皮茨网络开始，然后再讨论生物学上更可信的尖峰神经元网络。

I propose to work in two mutually unrelated areas: On the one hand, I propose investigating a conjectured generalization of a classical theorem concerning points and lines in the plane and on the other hand, I propose investigating the extent to which classical models of the brain can exhibit an erratic, disorderly, apparently unpredictable behaviour characteristic of an epileptic brain before onset of a seizure. Any number of points in the plane determine a number of lines, each of which passes through at least two of these points. A theorem in euclidean geometry, dating back to the 1930s, asserts that the number of such lines is at least the number of the points unless all of the points lie on a single line (in which case this is the only line they determine). A conjecture announced in 2008 by my former student Xiaomin Chen and myself aspires to generalize this theorem to the setting of so-called metric spaces, introduced in 1906 by Maurice Frechet. A metric space is a set where a nonnegative real number is associated with every unordered pair of points; this number is referred to as the distance between the two points; it equals zero if and only if the two points are identical; it satisfies the 'triangle inequality', meaning that the distance from A to B plus the distance from B to C is at least the distance from A to C. In 1924, Karl Menger proposed to say that a point B in a metric space lies between points A and C to mean that the distance from A to B plus the distance from B to C equals the distance from A to C. Xiaomin and I defined the line XY in a metric space (where X,Y are two distinct points) as the set of all points Z such that one of X,Y,Z lies between the other two (in particular, the line XY includes both points X and Y) and we conjectured that in every metric space with n points there are at least n lines unless some line consists of all n points (in which case there may be additional lines as well). A proof of this conjecture would reveal an iceberg, of which the original euclidean geometry theorem is just a tip. The motto 'be wise, generalize!' is the stimulus for much progress in mathematics and generalizations may have unexpected applications: one of the well-known examples is the use of non-euclidean geometry in special relativity. Even if the conjecture should turn out to be false in its full generality, it is already known to be true in four special cases. Demarcating the metric spaces where it holds true would be most interesting. Epilepsy is a group of neurologic conditions, the common and fundamental characteristic of which is recurrent, unprovoked epileptic seizures. This affliction is widespread: there are over 50 million epilepsy sufferers in the world today. In attempts to study epilepsy in selected patients, firing patterns of neurons that are located predominantly in their cerebral cortex are recorded as time series called electroencephalograms (EEG). Even though different types of seizures have different EEG manifestations, one frequent occurrence is a transition from an irregular, disorderly EEG before the seizure (the pre-ictal state) to more organized sustained rhythm of spikes or sharp waves during the seizure (the ictal state). In an effort to better understand the development of seizures, I intend to engineer existing models of the brain, so that they display seizure-like behaviour; my first short-term objective is to simulate the pre-ictal flutter of apparently unpredictable firing patterns. I propose to begin with the simplest, and chronologically first, model of the brain, the McCulloch-Pitts networks, before moving on to the biologically more plausible networks of spiking neurons.