Search results for " set"

Symbolic Dynamics of Geodesic Flows on Trees

2019

In this chapter, we give a coding of the discrete-time geodesic ow on the nonwandering sets of quotients of locally finite simplicial trees X without terminal vertices by nonelementary discrete subgroups of Aut(X) by a subshift of finite type on a countable alphabet.

Random Walks on Weighted Graphs of Groups

2019

Let X be a locally finite simplicial tree without terminal vertices, and let X = ∣X∣1 be its geometric realisation. Let Γ be a nonelementary discrete subgroup of Aut(X).

Uniform properties of collections of convex bodies

1991

The Neumann Problem for the Total Variation Flow

2004

This chapter is devoted to prove existence and uniqueness of solutions for the minimizing total variation flow with Neumann boundary conditions, namely $$ \left\{ \begin{gathered} \frac{{\partial u}} {{\partial t}} = div\left( {\frac{{Du}} {{\left| {Du} \right|}}} \right) in Q = (0,\infty ) \times \Omega , \hfill \\ \frac{{\partial u}} {{\partial \eta }} = 0 on S = (0,\infty ) \times \partial \Omega , \hfill \\ u(0,x) = u_0 (x) in x \in \Omega , \hfill \\ \end{gathered} \right. $$ (2.1) where Ω is a bounded set in ℝ N with Lipschitz continuous boundary ∂ Ω and u0 ∈ L1(Ω). As we saw in the previous chapter, this partial differential equation appears when one uses the steepest descent method …

Central idempotents and units in rational group algebras of alternating groups

1998

Let ℚAn be the group algebra of the alternating group over the rationals. By exploiting the theory of Young tableaux, we give an explicit description of the minimal central idempotents of ℚAn. As an application we construct finitely many generators for a subgroup of finite index in the centre of the group of units of ℚAn.

Structured Frequency Algorithms

2015

B.A. Trakhtenbrot proved that in frequency computability (introduced by G. Rose) it is crucially important whether the frequency exceeds \(\frac{1}{2}\). If it does then only recursive sets are frequency-computable. If the frequency does not exceed \(\frac{1}{2}\) then a continuum of sets is frequency-computable. Similar results for finite automata were proved by E.B. Kinber and H. Austinat et al. We generalize the notion of frequency computability demanding a specific structure for the correct answers. We show that if this structure is described in terms of finite projective planes then even a frequency \(O(\frac{\sqrt{n}}{n})\) ensures recursivity of the computable set. We also show that …

A generalization of Sardinas and Patterson's algorithm to z-codes

1993

Abstract This paper concerns the framework of z-codes theory. The main contribution consists in an extension of the algorithm of Sardinas and Patterson for deciding whether a finite set of words X is a z-code. To improve the efficiency of this test we have found a tight upper bound on the length of the shortest words that might have a double z-factorization over X. Some remarks on the complexity of the algorithm are also given. Moreover, a slight modification of this algorithm allows us to compute the z-deciphering delay of X.

The best choice problem with an unknown number of objects

1993

The secretary problem with a known prior distribution of the number of candidates is considered. Ifp(i)=p(N=i),i ∈ [α, β] ∩ ℕ, whereα=inf{i ∈ℕ:p(i) > 0} andβ=sup{i ∈ℕ:p(i)≳0}, is the prior distribution of the numberN of candidates it will be shown that, if the optimal stopping rule is of the simple form, then the optimal stopping indexj=minΓ satisfies asymptotically (asβ → ∞) the equationj=exp $${{\left[ {\left( {\sum\limits_{i = max(\alpha ,j)}^\beta {p(i) \log (i)/i} } \right)} \right]} \mathord{\left/ {\vphantom {{\left[ {\left( {\sum\limits_{i = max(\alpha ,j)}^\beta {p(i) \log (i)/i} } \right)} \right]} {\left. {\left( {\sum\limits_{i = max(\alpha ,j)}^\beta {p(i)/i} } \right) - 1} \ri…

Normed vector spaces consisting of classes of convex sets

1965

Tally languages accepted by alternating multitape finite automata

1997

We consider k-tape 1-way alternating finite automata (k-tape lafa). We say that an alternating automaton accepts a language L\(\subseteq\)(Σ*)k with f(n)-bounded maximal (respectively, minimal) leaf-size if arbitrary (respectively, at least one) accepting tree for any (w1, w2,..., wk) ∈ L has no more than $$f\mathop {(\max }\limits_{1 \leqslant i \leqslant k} \left| {w_i } \right|)$$ leaves. The main results of the paper are the following. If k-tape lafa accepts language L over one-letter alphabet with o(log n)-bounded maximal leaf-size or o(log log n)-bounded minimal leaf-size then the language L is semilinear. Moreover, if a language L is accepted with o(log log(n))-bounded minimal (respe…