On the cycle structure of a set of nonlinear shift registers with symmetric feedback functions

We show that all sequences generated by a set of nonlinear shift registers with symmetric feedback functions have minimal periods dividing n(n + 1). Here n is the number of shift register stages.     

m-Band orthogonal vector-valued multiwavelets for vector-valued signals

In this paper, we introduce and study vector-valued multiresolution analysis with multiplicity r (VMRA) and m-band orthogonal vector-valued multiwavelets which have potential to form a convenient tool for analyzing vector-valued signals. Necessary conditions for orthonormality of vector-valued multiwavelets are presented in terms of filter banks. The existence of m-band vector-valued orthonormal multiwavelets is proved by means of bi-infinite matrix. The relationship between vector-valued multiwavelets and traditional multiwavelets are considered, and it is found that multiwavelets can be derived from row vector of vector-valued multiwavelets. The construction of vector-valued multiwavelets from several scalar-valued wavelets is proposed. Furthermore, we show how to construct vector-valued multiwavelets by using paraunitary multifilter bank, in particular, we give formulations of highpass filters when its corresponding lowpass filters satisfy certain conditions and m=2. An example is provided to illustrate this algorithm. At last, we present fast vector-valued multiwavelets transform in form of bi-infinite vector.     

On cutting sequences of the <Emphasis Type="Italic">L</Emphasis>-shaped translation surface tiled by three squares

We consider a symbolic coding of bi-infinite non periodic geodesics on the L-shaped translation surface tiled by three squares. Each bi-infinite non periodic geodesic is associated with a cutting sequence corresponding to the sequence of labeled saddle connections hit. We prove that there is a relationship between the cutting sequences and the actions of some affine automorphisms of the translation surface. We also get an explicit formula to determine the direction of a bi-infinite non periodic geodesic by using the corresponding cutting sequence.     

Regularity of multiwavelets

The motivation for this paper is an interesting observation made by Plonka concerning the factorization of the matrix symbol associated with the refinement equation for B-splines with equally spaced multiple knots at integers and subsequent developments which relate this factorization to regularity of refinable vector fields over the real line. Our intention is to contribute to this train of ideas which is partially driven by the importance of refinable vector fields in the construction of multiwavelets. The use of subdivision methods will allow us to consider the problem almost entirely in the spatial domain and leads to exact characterizations of differentiability and Hölder regularity in arbitrary L _p spaces. We first study the close relationship between vector subdivision schemes and a generalized notion of scalar subdivision schemes based on bi-infinite matrices with certain periodicity properties. For the latter type of subdivision scheme we will derive criteria for convergence and Hölder regularity of the limit function, which mainly depend on the spectral radius of a bi-infinite matrix induced by the subdivision operator, and we will show that differentiability of the limit functions can be characterized by factorization properties of the subdivision operator. By switching back to vector subdivision we will transfer these results to refinable vectors fields and obtain characterizations of regularity by factorization and spectral radius properties of the symbol associated to the refinable vector field. Finally, we point out how multiwavelets can be generated from orthonormal refinable bi-infinite vector fields.     

On disconnected cuts and separators

For a connected graph G=(V,E), a subset U⊆V is called a disconnected cut if U disconnects the graph, and the subgraph induced by U is disconnected as well. A natural condition is to impose that for any u∈U, the subgraph induced by (V?U)∪{u} is connected. In that case, U is called a minimal disconnected cut. We show that the problem of testing whether a graph has a minimal disconnected cut is NP-complete. We also show that the problem of testing whether a graph has a disconnected cut separating two specified vertices, s and t, is NP-complete.     

Bounds on the eigenvalues of graphs with cut vertices or edges

In this paper, we characterize the extremal graph having the maximal Laplacian spectral radius among the connected bipartite graphs with n vertices and k cut vertices, and describe the extremal graph having the minimal least eigenvalue of the adjacency matrices of all the connected graphs with n vertices and k cut edges. We also present lower bounds on the least eigenvalue in terms of the number of cut vertices or cut edges and upper bounds on the Laplacian spectral radius in terms of the number of cut vertices.     

On cutting sequences of the L-shaped translation surface tiled by three squares

We consider a symbolic coding of bi-infinite non periodic geodesics on the L-shaped translation surface tiled by three squares. Each bi-infinite non periodic geodesic is associated with a cutting sequence corresponding to the sequence of labeled saddle connections hit. We prove that there is a relationship between the cutting sequences and the actions of some affine automorphisms of the translation surface. We also get an explicit formula to determine the direction of a bi-infinite non periodic geodesic by using the corresponding cutting sequence.     

Matrix-product constructions of digital nets

We present a new construction of digital nets, and more generally of (d,k,m,s)-systems, over finite fields which is an analog of the matrix-product construction of codes. Examples show that this construction can yield digital nets with better parameters compared to competing constructions.     

Obtainable sizes of topologies on finite sets

We study the smallest possible number of points in a topological space having k open sets. Equivalently, this is the smallest possible number of elements in a poset having k order ideals. Using efficient algorithms for constructing a topology with a prescribed size, we show that this number has a logarithmic upper bound. We deduce that there exists a topology on n points having k open sets, for all k in an interval which is exponentially large in n. The construction algorithms can be modified to produce topologies where the smallest neighborhood of each point has a minimal size, and we give a range of obtainable sizes for such topologies.     

Lengths of edges in carrier graphs

We show that if X is a minimal length carrier graph in a hyperbolic 3-manifold, M, then if X contains a sufficiently short edge, it must contain a short circuit, as well. The meaning of ??short?? depends only on the rank of ?? ₁(M). We also expand the class of manifolds which are known to have minimal length carrier graphs.     

Cut sets and normed cohomology with applications to percolation

We discuss an inequality for graphs, which relates the distances between components of any minimal cut set to the lengths of generators for the homology of the graph. Our motivation arises from percolation theory. In particular this result is applied to Cayley graphs of finite presentations of groups with one end, where it gives an exponential bound on the number of minimal cut sets, and thereby shows that the critical probability for percolation on these graphs is neither zero nor one. We further show for this same class of graphs that the critical probability for the coalescence of all infinite components into a single one is neither zero nor one.

     

Random Walks on Trees and an Inequality of Means

We define trees generated by bi-infinite sequences, calculate their walk-invariant distribution and the speed of a biased random walk. We compare a simple random walk on a tree generated by a bi-infinite sequence with a simple random walk on an augmented Galton-Watson tree. We find that comparable simple random walks require the augmented Galton-Watson tree to be larger than the corresponding tree generated by a bi-infinite sequence. This is due to an inequality for random variables with values in [1, [ involving harmonic, geometric and arithmetic mean.     

Enumerating disjunctions and conjunctions of paths and cuts in reliability theory

Let G=(V,E) be a (directed) graph with vertex set V and edge (arc) set E. Given a set P of source-sink pairs of vertices of G, an important problem that arises in the computation of network reliability is the enumeration of minimal subsets of edges (arcs) that connect/disconnect all/at least one of the given source-sink pairs of P. For undirected graphs, we show that the enumeration problems for conjunctions of paths and disjunctions of cuts can be solved in incremental polynomial time. Furthermore, under the assumption that P consists of all pairs within a given vertex set, we also give incremental polynomial time algorithm for enumerating all minimal path disjunctions and cut conjunctions. For directed graphs, the enumeration problem for cut disjunction is known to be NP-complete. We extend this result to path conjunctions and path disjunctions, leaving open the complexity of the enumeration of cut conjunctions. Finally, we give a polynomial delay algorithm for enumerating all minimal sets of arcs connecting two given nodes s₁ and s₂ to, respectively, a given vertex t₁, and each vertex of a given subset of vertices T₂.     

The density of elliptic curves having a global minimal Weierstrass equation

We show that a positive density of elliptic curves over a number field counted using their short Weierstrass equations belong to a given Weierstrass class and in particular, a positive density of elliptic curves have a global minimal Weierstrass equation. The density is given by a ratio of partial zeta functions of the number field K evaluated at 10 with some extra factors for the bad primes.     

Very large cliques are easy to detect

It is known that, for every constant k?3, the presence of a k-clique (a complete sub-graph on k vertices) in an n-vertex graph cannot be detected by a monotone boolean circuit using much fewer than n^k gates. We show that, for every constant k, the presence of an (n-k)-clique in an n-vertex graph can be detected by a monotone circuit using only a logarithmic number of fanin-2 OR gates; the total number of gates does not exceed O(n²logn). Moreover, if we allow unbounded fanin, then a logarithmic number of gates is enough.     

Studies on the squaring construction

The code formulas for the iterated squaring construction for a finite group partition chain, derived by Forney [2], are extended to the case with a bi-infinite group partition chain, and the derivation presented here is much simpler than the one given by Forney for the finite case. It is also proven that the iterated squaring construction indeed generates the Reed-Muller codes. Moreover, the generalization of the code formulas to the bi-infinite case is used to derive code formulas for the lattices Λ(r,n) andRΛ(r,n), which correct some errors in [2]. Further, Gaussian integer lattices are discussed. A definition of their dual lattices is given, which is more general than the definition given by Forney [1]. Using this definition, some interesting properties of dual lattices and the squaring construction are obtained and then formulas of the duals of the Barnes-Wall lattices and their principal sublattices are derived, and one assumption from the derivation given by Forney [2] can be eliminated.     

Digital nets with infinite digit expansions and construction of folded digital nets for quasi-Monte Carlo integration

In this paper we study quasi-Monte Carlo integration of smooth functions using digital nets. We fold digital nets over ${\mathbb{Z}}_b$ by means of the $b$-adic tent transformation, which has recently been introduced by the authors, and employ such folded digital nets as quadrature points. We first analyze the worst-case error of quasi-Monte Carlo rules using folded digital nets in reproducing kernel Hilbert spaces. Here we need to permit digital nets with “infinite digit expansions”, which are beyond the scope of the classical definition of digital nets. We overcome this issue by considering the infinite product of cyclic groups and the characters on it. We then give an explicit means of constructing good folded digital nets as follows: we use higher order polynomial lattice point sets for digital nets and show that the component-by-component construction can find good folded higher order polynomial lattice rules that achieve the optimal convergence rate of the worst-case error in certain Sobolev spaces of smoothness of arbitrarily high order.     

Minimal cut-generating functions are nearly extreme

We study continuous (strongly) minimal cut generating functions for the model where all variables are integer. We consider both the original Gomory–Johnson setting as well as a recent extension by Y?ld?z and Cornuéjols (Math Oper Res 41:1381–1403, 2016). We show that for any continuous minimal or strongly minimal cut generating function, there exists an extreme cut generating function that approximates the (strongly) minimal function as closely as desired. In other words, the extreme functions are “dense” in the set of continuous (strongly) minimal functions.     

Digitalizing line segments

We introduce a novel and general approach for digitalization of line segments in the plane that satisfies a set of axioms naturally arising from Euclidean axioms. In particular, we show how to derive such a system of digital segments from any total order on the integers. As a consequence, using a well-chosen total order, we manage to define a system of digital segments such that all digital segments are, in Hausdorff metric, optimally close to their corresponding Euclidean segments, thus giving an explicit construction that resolves the main question of [J. Chun, M. Korman, M. Nöllenburg, and T. Tokuyama. Consistent digital rays. Discrete Comput. Geom., 42(3):359–378, 2009].     

Optimal global approximation of stochastic differential equations with additive Poisson noise

We consider strong global approximation of SDEs driven by a homogeneous Poisson process with intensity λ > 0. We establish the exact convergence rate of minimal errors that can be achieved by arbitrary algorithms based on a finite number of observations of the Poisson process. We consider two classes of methods using equidistant or nonequidistant sampling of the Poisson process, respectively. We provide a construction of optimal schemes, based on the classical Euler scheme, which asymptotically attain the established minimal errors. It turns out that methods based on nonequidistant mesh are more efficient than those based on the equidistant mesh.