Related papers: Iterations of V and the core model
Results of large-scale Monte Carlo simulations of three-dimensional Ising models with edges and corners are reviewed. At the ordinary transition, angle dependent critical exponents are observed, whereas at the surface transition edge and…
In this paper we study the spectrum of heights of transitive models of theories extending $V = L[A]$, under various definitions. In particular, we investigate the consistency strength of making those spectra as simple as possible.
Let the columns of a $p \times q$ matrix $M$ over any ring be partitioned into $n$ blocks, $M = [M_1, ..., M_n]$. If no $p \times p$ submatrix of $M$ with columns from distinct blocks $M_i$ is invertible, then there is an invertible $p…
We introduce the notion of residual intersections of modules and prove their existence. We show that projective dimension one modules have Cohen-Macaulay residual intersections, namely they satisfy the relevant Artin-Nagata property. We…
We investigate invertible matrices over finite additively idempotent semirings. The main result provides a criterion for the invertibility of such matrices. We also give a construction of the inverse matrix and a formula for the number of…
We give a combinatorial description of shape theory using finite topological $T_0$-spaces (finite partially ordered sets). This description may lead to a sort of computational shape theory. Then we introduce the notion of core for inverse…
A graph is closed when its vertices have a labeling by $[n]$ such that the binomial edge ideal $J_G$ has a quadratic Gr\"{o}bner basis with respect to the lexicographic order induced by $x_1 > \cdots > x_n > y_1> \cdots > y_n$. In this…
We show that a group acting on a non-trivial tree with finite edge stabilizers and icc vertex stabilizers admits a faithful and highly transitive action on an infinite countable set. This result is actually true for infinite vertex…
We revisit the problem of integrating Lie algebroids $A\Rightarrow M$ to Lie groupoids $G\rightrightarrows M$, for the special case that the Lie algebroid $A$ is transitive. We obtain a geometric explanation of the Crainic-Fernandes…
In this note we introduce a notion of a morphism between two hyperbolic iterated function systems. We prove that the graph of a morphism is the attractor of an iterated function system, giving a Closed Graph Theorem, and show how it can be…
We prove that the orbit closure of the determinant is not normal. A similar result is obtained for the orbit closure of the permanent multiplied by a power of a linear form.
For a graph $G=(V,E),$ a matching $M$ is a set of independent edges. The topic of matchings is well studied in graph theory. In this paper many varieties of matchings are discussed.
In the study of discrete dynamical systems, we typically start with a function from a space into itself, and ask questions about the properties of sequences of iterates of the function. In this paper we reverse the direction of this study.…
We study iterations of two classical constructions, the evolutes and involutes of plane curves, and we describe the limiting behavior of both constructions on a class of smooth curves with singularities given by their support functions.…
We classify, up to a natural equivalence relation, vector fields of the plane which belong to the kernel of a 1--form. This form can be closed, in which case the vector fields are integrable, or not, in which case the differential of the…
Feedback loops are major components of biochemical systems. Many systems show multiple such (positive or negative) feedback loops. Nevertheless, very few quantitative analyses address the question how such multiple feedback loops evolved.…
Assume $\boldsymbol{\Delta}^1_{2}$-determinacy. Let $L_{\kappa_3}[T_2]$ be the admissible closure of the Martin-Solovay tree and let $M_{1,\infty}$ be the direct limit of $M_1$ via countable trees. We show that $L_{\kappa_3}[T_2] \cap…
A transitive decomposition of a graph is a partition of the edge or arc set giving a set of subgraphs which are preserved and permuted transitively by a group of automorphisms of the graph. In this paper we give some background to the study…
A precise meaning is given to the notion of continuous iteration of a mapping. Usual discrete iterations are extended into a dynamical flow which is a homotopy of them all. The continuous iterate reveals that a dynamical map is formend by…
Using the Jordan-Schwinger form of the quantum angular momentum eigenstates, it is straight-forward to define rotational correlation tables such that the columns are Molien sequences for finite rotational subgroup $G$. This realization…