Related papers: Coherent systems of finite support iterations

We show that for any n divisible by 3, almost all order-n Steiner triple systems have a perfect matching (also known as a parallel class or resolution class). In fact, we prove a general upper bound on the number of perfect matchings in a…

Using the proof-program (Curry-Howard) correspondence, we give a new method to obtain models of ZF and relative consistency results in set theory. We show the relative consistency of ZF + DC + there exists a sequence of subsets of R the…

I introduce a method to generate families of CSS codes with interesting code parameters. The object of study is Coxeter groups, both finite and infinite (reducible or not), and a geometrically motivated partial order of Coxeter group…

In this paper, we introduce an iterative process which converges strongly to a common element of sets of solutions of finite family of generalized equilibrium problems, sets of fixed points of finite family of continuous relatively…

In this paper, we construct a seven-term exact sequence involving the cohomology groups of a group extension. Although the existence of such a sequence can be derived using spectral sequence arguments, there is little knowledge about some…

Accurate and efficient wave-optics simulation of partially coherent light transport systems is critical for the design of advanced optical systems, ranging from computational lithography to diffraction-limited storage rings (DLSR). However,…

In this paper, we study the weighted difference substitutions from geometrical views. First, we give the geometric meanings of the weighted difference substitutions, and introduce the concept of convergence of the sequence of substitution…

In this paper, we give a necessary and sufficient condition for an even order three dimensional strongly symmetric circulant tensor to be positive semi-definite. In some cases, we show that this condition is also sufficient for this tensor…

With the advent of high-quality surveys in cosmology the full three-point correlation function will be a valuable statistic for describing structure formation models. It contains information on cosmological parameters and detailed halo…

A hierarchical scheme for clustering data is presented which applies to spaces with a high number of dimension ($N_{_{D}}>3$). The data set is first reduced to a smaller set of partitions (multi-dimensional bins). Multiple clustering…

Introducing a set $\{\alpha_i\} \in R$ of fractional exponential powers of focal distances an extension of symmetric Cassini-coordinates on the plane to the asymmetric case is proposed which leads to a new set of fractional generalized…

We provide a complete system of invariants for the formal classification of complex analytic unipotent germs of diffeomorphism at $\cn{n}$ fixing the orbits of a regular vector field. We reduce the formal classification problem to solve a…

We introduce a 3-dimensional categorical structure which we call intercategory. This is a kind of weak triple category with three kinds of arrows, three kinds of 2-dimensional cells and one kind of 3-dimensional cells. In one dimension, the…

We extend the definition of $n$-dimensional difference equations to complex order $\alpha\in \mathbb{C} $. We investigate the stability of linear systems defined by an $n$-dimensional matrix $A$ and derive conditions for the stability of…

Let $X$ be a $2$-dimensional subshift of finite type generated by a finite set of forbidden blocks (of finite size). We give an algorithm for generating the elements of the shift space using sequence of finite matrices (of increasing size).…

In this work we develop some fifth-order integrable coupled systems of weight $0$ and $1$ which possess seventh-order symmetry. We establish four new systems, where in some cases, related recursion operator and bi-Hamiltonian formulations…

In this note, we characterize affine and non-affine Coxeter systems among all Coxeter systems in terms of the structure of their reflection orders. For an infinite irreducible system $(W,S)$, we show that affineness can be characterized in…

New types of designs called nested space-filling designs have been proposed for conducting multiple computer experiments with different levels of accuracy. In this article, we develop several approaches to constructing such designs. The…

We provide both a general framework for discretizing de Rham sequences of differential forms of high regularity, and some examples of finite element spaces that fit in the framework. The general framework is an extension of the previously…

We present a simple set of data structures, and a collection of methods for constructing and updating the structures, designed to support the use of cohesive elements in simulations of fracture and fragmentation. Initially all interior…