Related papers: I-Types of System F

We study the attractor of Iterated Function Systems composed of infinitely many affine, homogeneous maps. In the special case of second generation IFS, defined herein, we conjecture that the attractor consists of a finite number of…

A recently proposed criterion for the existence of local quantum fields with a prescribed factorizing scattering matrix is verified in a non-trivial model, thereby establishing a new constructive approach to quantum field theory in a…

We show that if $E \subset \mathbb{F}_q^d$, the $d$-dimensional vector space over the finite field with $q$ elements, and $|E| \geq \rho q^d$, where $ q^{-\frac{1}{2}}\ll \rho \leq 1$, then $E$ contains an isometric copy of at least $c…

Let $\Lambda$ be a countable index set and $S=\{\phi_i: i\in \Lambda\}$ be a conformal iterated function system on $[0,1]^d$ satisfying the open set condition. Denote by $J$ the attractor of $S$. With each sequence $(w_1,w_2,...)\in…

This paper presents a way of formalising definite descriptions with a binary quantifier $\iota$, where $\iota x[F, G]$ is read as `The $F$ is $G$'. Introduction and elimination rules for $\iota$ in a system of intuitionist negative free…

We define a sound and complete proof system for affine beta-eta-retractions in simple types built over many atoms, and we state simple necessary conditions for arbitrary beta-eta-retractions in simple and polymorphic types.

Under suitable conditions, with respect to some property on a random iterated function system(RIFS), it is shown how the system satisfies in this property almost surely.

The aim of this note is to provide a conceptually simple demonstration of the fact that repetitive model sets are characterized as the repetitive Meyer sets with an almost automorphic associated dynamical system.

This note presents the basic mathematical structure of a new integer factorization method based on systems of linear Diophantine equations.

In this short note we construct two families of examples of large stratifying systems in module categories of algebras. The first examples consists on stratifying systems of infinite size in the module category of an algebra $A$. In the…

This paper presents a type theory with a form of equality reflection: provable equalities can be used to coerce the type of a term. Coercions and other annotations, including implicit arguments, are dropped during reduction of terms. We…

I give the explicit formula for the (set-theoretical) system of Resultants of m+1 homogeneous polynomials in n+1 variables.

We investigate the property for an input-output system to map unimodal inputs to unimodal outputs. As a first step, we analyse this property for linear time-invariant (LTI) systems, static nonlinearities, and interconnections of those. In…

Conserved quantities are crucial in quantum physics. Here we discuss a general scenario of Hamiltonians. All the Hamiltonians within this scenario share a common conserved quantity form. For unitary parametrization processes, the…

The main purpose of this work is to extend the properties of multivalued transformations to the integral type transformations and to obtain the existence of fixed points under F-contraction. In addition, the results of this study were…

For any continuous probability measure $\mu$ on ${\mathbb R}$ we construct an IFS with probabilities having $\mu$ as its unique measure-attractor.

In this paper, we prove several theorems on systems of polynomials with at least one positive real zero based on the theory of conceive polynomials. These theorems provide sufficient conditions for systems of multivariate polynomials…

In this note we prove the following results: $\bullet$ If a finitely presented group $G$ admits a strongly aperiodic SFT, then $G$ has decidable word problem. More generally, for f.g. groups that are not recursively presented, there exists…

We show that the rigid C*-tensor categories of finite dimensional type 1 unitary representations of the quantum groups $U_{q}(\mathfrak{g}_{2})$ corresponding to the exceptional Lie group $G_2$ for positive $q\ne 1$ have property (T).

We show that factorization systems, both strict and orthogonal, can be equivalently described as double categories satisfying certain properties. This provides conceptual reasons for why the category of sets and partial maps or the category…