Equivalence of codes for countable sets of reals

A set $U \subseteq {\mathbb {R}} \times {\mathbb {R}}$ is universal for countable subsets of ${\mathbb {R}}$ if and only if for all $x \in {\mathbb {R}}$ , the section $U_x = \{y \in {\mathbb {R}} : U(x,y)\}$ is countable and for all countable sets $A \subseteq {\mathbb {R}}$ , there is an $x \in {\mathbb {R}}$ so that $U_x = A$ . Define the equivalence relation $E_U$ on ${\mathbb {R}}$ by $x_0 \ E_U \ x_1$ if and only if $U_{x_0} = U_{x_1}$ , which is the equivalence of codes for countable sets of reals according to U. The Friedman–Stanley jump, $=^+$ , of the equality relation takes the form $E_{U^*}$ where $U^*$ is the most natural Borel set that is universal for countable sets. The main result is that $=^+$ and $E_U$ for any U that is Borel and universal for countable sets are equivalent up to Borel bireducibility. For all U that are Borel and universal for countable sets, $E_U$ is Borel bireducible to $=^+$ . If one assumes a particular instance of $\mathbf {\Sigma }_3^1$ -generic absoluteness, then for all $U \subseteq {\mathbb {R}} \times {\mathbb {R}}$ that are $\mathbf {\Sigma }_1^1$ (continuous images of Borel sets) and universal for countable sets, there is a Borel reduction of $=^+$ into $E_U$ .

A New Compliance-function-shapeoriented Robust Approach for Volume-constrained Continuous Topology Optimization with Uncertain Loading Directions

The paper presents a new compliance-function-shape-oriented robust approach for the volume-constrained continuous topology optimization with uncertain loading directions. The pure set-based algorithm try to rearrange (take away) some amount of the material volume, originally used to minimize the nominal-compliance, to make a more balanced compliance-function-shape on the set of feasible directions which is less sensitive to the directional fluctuation. The objective is the area of the compliance function shape defined on the set of feasible directions. The area-minimal shape searching process is controlled by the maximum allowable increase of the nominal-compliance. The result will be a more robust compliance function shape which can be characterized by a higher nominal-compliance but a smaller curvature about it in any direction. Using the terminology of the classical variational problems, the proposed approach can be classified as a curve-length or surface-area minimizing inner-value problem where the inner condition, namely the maximum allowable increase of the nominal-compliance, expressed as a percentage of the original nominal compliance, the searching domain is defined implicitly as integration limits in the objective formulation and a usual equality relation is used to prescribe the allowable material volume expressed as a percentage of the total material volume. Two examples are presented to demonstrate the viability and efficiency of the proposed robust approach.

Resource convertibility and ordered commutative monoids

Resources and their use and consumption form a central part of our life. Many branches of science and engineering are concerned with the question of which given resource objects can be converted into which target resource objects. For example, information theory studies the conversion of a noisy communication channel instance into an exchange of information. Inspired by work in quantum information theory, we develop a general mathematical toolbox for this type of question. The convertibility of resources into other ones and the possibility of combining resources is accurately captured by the mathematics of ordered commutative monoids. As an intuitive example, we consider chemistry, where chemical reaction equations such as\mathrm{2H_2 + O_2} \lra \mathrm{2H_2O,}are concerned both with a convertibility relation ‘→’ and a combination operation ‘+.’ We study ordered commutative monoids from an algebraic and functional-analytic perspective and derive a wealth of results which should have applications to concrete resource theories, such as a formula for rates of conversion. As a running example showing that ordered commutative monoids are also of purely mathematical interest without the resource-theoretic interpretation, we exemplify our results with the ordered commutative monoid of graphs.While closely related to both Girard's linear logic and to Deutsch's constructor theory, our framework also produces results very reminiscent of the utility theorem of von Neumann and Morgenstern in decision theory and of a theorem of Lieb and Yngvason on the foundations of thermodynamics.Concerning pure algebra, our observation is that some pieces of algebra can be developed in a context in which equality is not necessarily symmetric, i.e. in which the equality relation is replaced by an ordering relation. For example, notions like cancellativity or torsion-freeness are still sensible and very natural concepts in our ordered setting.

Combinatorially Factorizable Cryptic Inverse Semigroups

An inverse semigroup S is combinatorially factorizable if S = TG where T is a combinatorial (i.e., 𝓗 is the equality relation) inverse subsemigroup of S and G is a subgroup of S. This concept was introduced and studied byMills, especially in the case when S is cryptic (i.e., 𝓗 is a congruence on S). Her approach is mainly analytical considering subsemigroups of a cryptic inverse semigroup.We start with a combinatorial inverse monoid and a factorizable Clifford monoid and from an action of the former on the latter construct the semigroups in the title. As a special case, we consider semigroups that are direct products of a combinatorial inverse monoid and a group.

TREE AUTOMATA WITH GLOBAL CONSTRAINTS

We define tree automata with global equality and disequality constraints (TAGED). TAGEDs can test (dis)equalities between subtrees which may be arbitrarily faraway. In particular, they are equipped with an equality relation and a disequality relation on states, so that whenever two subtrees t and t′ evaluate (in an accepting run) to two states which are in the (dis)equality relation, they must be (dis)equal. We study several properties of TAGEDs, and prove emptiness decidability of for several expressive subclasses of TAGEDs.

Preface to the special issue: isomorphisms of types and invertibility of lambda terms

Isomorphisms of types are computational witnesses of logical equivalence with additional properties. The types/formulas A and B are isomorphic if there are functions (in a certain formalism) f : A → B and g : B → A such that g ○ f and f ○ g are equal in a certain sense to the identity on A and B, respectively. Typical such formalisms are extensions of simply typed λ-calculus, with βη-convertibility as equality relation. Another view of a pair of functions f : A → B and g : B → A (besides establishing the logical equivalence of A and B) is that f is invertible with left-inverse g, and it is then natural to relax the above symmetric condition to just g ○ f being equal to the identity on A. In this situation, A is called a retract of B, which is thus a natural generalisation of the notion of an isomorphism, while both these notions are refinements of the concept of logical equivalence in operational terms, that is, in terms of computable functions.

The lattice of balanced equivalence relations of a coupled cell network

A coupled cell system is a collection of dynamical systems, or ‘cells’, that are coupled together. The associated coupled cell network is a labelled directed graph that indicates how the cells are coupled, and which cells are equivalent. Golubitsky, Stewart, Pivato and Török have presented a framework for coupled cell systems that permits a classification of robust synchrony in terms of the concept of a ‘balanced equivalence relation’, which depends solely on the network architecture. In their approach the network is assumed to be finite. We prove that the set of all balanced equivalence relations on a network forms a lattice, in the sense of a partially ordered set in which any two elements have a meet and a join. The partial order is defined by refinement. Some aspects of the theory make use of infinite networks, so we work in the category of networks of ‘finite type’, a class that includes all locally finite networks. This context requires some modifications to the standard framework. As partial compensation, the lattice of balanced equivalence relations can then be proved complete. However, the intersection of two balanced equivalence relations need not be balanced, as we show by a simple example, so this lattice is not a sublattice of the lattice of all equivalence relations with its usual operations of meet and join. We discuss the structure of this lattice and computational issues associated with it. In particular, we describe how to determine whether the lattice contains more than the equality relation. As an example, we derive the form of the lattice for a linear chain of identical cells with feedback.

Transfer principle in quantum set theory

In 1981, Takeuti introduced quantum set theory as the quantum counterpart of Boolean valued models of set theory by constructing a model of set theory based on quantum logic represented by the lattice of closed subspaces in a Hilbert space and showed that appropriate quantum counterparts of ZFC axioms hold in the model. Here, Takeuti's formulation is extended to construct a model of set theory based on the logic represented by the lattice of projections in an arbitrary von Neumann algebra. A transfer principle is established that enables us to transfer theorems of ZFC to their quantum counterparts holding in the model. The set of real numbers in the model is shown to be in one-to-one correspondence with the set of self-adjoint operators affiliated with the von Neumann algebra generated by the logic. Despite the difficulty pointed out by Takeuti that equality axioms do not generally hold in quantum set theory, it is shown that equality axioms hold for any real numbers in the model. It is also shown that any observational proposition in quantum mechanics can be represented by a corresponding statement for real numbers in the model with the truth value consistent with the standard formulation of quantum mechanics, and that the equality relation between two real numbers in the model is equivalent with the notion of perfect correlation between corresponding observables (self-adjoint operators) in quantum mechanics. The paper is concluded with some remarks on the relevance to quantum set theory of the choice of the implication connective in quantum logic.