Rigidity and flexibility of virtual polytopes

All 3-dimensional convex polytopes are known to be rigid. Still their Minkowski differences (virtual polytopes) can be flexible with any finite freedom degree. We derive some sufficient rigidity conditions for virtual polytopes and present some examples of flexible ones. For example, Bricard's first and second flexible octahedra can be supplied by the structure of a virtual polytope.     

An Alternative Way to Generalize the Pentagon

We introduce the concept of a pentagonal geometry as a generalization of the pentagon and the Desargues configuration, in the same vein that the generalized polygons share the fundamental properties of ordinary polygons. In short, a pentagonal geometry is a regular partial linear space in which for all points x, the points not collinear with the point x, form a line. We compute bounds on their parameters, give some constructions, obtain some nonexistence results for seemingly feasible parameters and suggest a cryptographic application related to identifying codes of partial linear spaces.     

Definable nilpotent and soluble envelopes in groups without the independence property

We prove that in a group without the independence property a nilpotent subgroup is always contained in a definable nilpotent subgroup of the same nilpotency class. The analogue for the soluble case is also shown when the subgroup is normal in the ambient group.     

The Order of Automorphisms of Quasigroups

We prove quadratic upper bounds on the order of any autotopism of a quasigroup or Latin square, and hence also on the order of any automorphism of a Steiner triple system or 1‐factorization of a complete graph. A corollary is that a permutation σ chosen uniformly at random from the symmetric group will almost surely not be an automorphism of a Steiner triple system of order n, a quasigroup of order n or a 1‐factorization of the complete graph . Nor will σ be one component of an autotopism for any Latin square of order n. For groups of order n it is known that automorphisms must have order less than n, but we show that quasigroups of order n can have automorphisms of order greater than n. The smallest such quasigroup has order 7034. We also show that quasigroups of prime order can possess autotopisms that consist of three permutations with different cycle structures. Our results answer three questions originally posed by D.  Stones.     

MSC折纸结构设计及其双稳态解析与实验

折纸是一门古老艺术,其本质是将平面材料沿着事先设计好的折痕进行折叠,进而形成一个复杂的三维结构．柔性折纸结构是实现三维结构轻量化的重要途径．因此,解析折纸结构几何特性和力学性质十分必要．本文以MSC(Magic Spiral Cube)为研究对象,通过实际折痕和虚拟折痕的方法,建立了该结构的几何模型,确定了实现完全展开和完全折叠对刚性面和可变形面的设计条件,在虚拟折痕上引入了扭转刚度,证明了该扭转刚度与柔性面变形的等效性,从而得到了MSC 折纸结构的弹性势能,得到了使结构变形的力与位移本构．通过力学特性分析,发现了MSC折纸结构具有双稳态特性,这种特性是由面内变形诱发的,与虚拟折痕刚度与弹性折痕刚度的比值有直接的关系．最后,我们对MSC折纸结构进行设计和制备,通过实验,验证了理论 模型的准确性．本文的研究结果不仅进一步加深了我们对于MSC折纸结构力学特性的认识,同时也为其工程应用提供理论基础．     

水下爆炸冲击波的数值模拟研究

应用商业有限元程序MSC.DYTRAN数值模拟了球形药包在无限水域中爆炸产生的冲击波。通过和经验公式计算结果的比较,证明采用合理的计算参数和有限元模型能够较好地模拟水下爆炸冲击波的传播过程。通过调整水的状态方程参数,达到了提升冲击波峰值应力的效果,从而有效地降低了单元数量和计算时间。     

Failure of the Hasse principle for Enriques surfaces

We construct an Enriques surface X over Q with empty étale-Brauer set (and hence no rational points) for which there is no algebraic Brauer–Manin obstruction to the Hasse principle. In addition, if there is a transcendental obstruction on X, then we obtain a K3 surface that has a transcendental obstruction to the Hasse principle.     

A local limit theorem for a transient chaotic walk in a frozen environment

This paper studies particle propagation in a one-dimensional inhomogeneous medium where the laws of motion are generated by chaotic and deterministic local maps. Assuming that the particle’s initial location is random and uniformly distributed, this dynamical system can be reduced to a random walk in a one-dimensional inhomogeneous environment with a forbidden direction. Our main result is a local limit theorem which explains in detail why, in the long run, the random walk’s probability mass function does not converge to a Gaussian density, although the corresponding limiting distribution over a coarser diffusive space scale is Gaussian.     

Effectivity of Brauer–Manin obstructions on surfaces

We study Brauer–Manin obstructions to the Hasse principle and to weak approximation on algebraic surfaces over number fields. A technique for constructing Azumaya algebra representatives of Brauer group elements is given, and this is applied to the computation of obstructions.     

Sur les bonnes valeurs initiales de la suite de Lucas–Lehmer

In this article we give an infinite number of good initial values for the Lucas–Lehmer sequence.