On a theorem of Cantor-Bernstein type for algebras

Freytes proved a theorem of Cantor-Bernstein type for algbras; he applied certain sequences of central elements of bounded lattices. The aim of the present paper is to extend the mentioned result to the case when the lattices under consideration need not be bounded; instead of sequences of central elements we deal with sequences of internal direct factors of lattices. This work was supported by Science and Technology Assistance Agency under the contract No APVT-51-032002.     

The lattice of convexities of partial monounary algebras

A class of partial monounary algebras is called a convexity if it is closed under homomorphic images, direct products and convex relative subalgebras. We prove that the collection of all convexities of partial monounary algebras forms a countable set. Further, each convexity can be generated by at most two algebras.     

Estimation error for occupation time functionals of stationary Markov processes

The approximation of integral functionals with respect to a stationary Markov process by a Riemann sum estimator is studied. Stationarity and the functional calculus of the infinitesimal generator of the process are used to explicitly calculate the estimation error and to prove a general finite sample error bound. The presented approach admits general integrands and gives a unifying explanation for different rates obtained in the literature. Several examples demonstrate how the general bound can be related to well-known function spaces.     

On 2-Connected Spanning Subgraphs with Bounded Degree in K 1,r -Free Graphs

For any integer r > 1, an r-trestle of a graph G is a 2-connected spanning subgraph F with maximum degree Δ(F) ≤ r. A graph G is called K _1,r -free if G has no K _1,r as an induced subgraph. Inspired by the work of Ryjáček and Tkáč, we show that every 2-connected K _1,r -free graph has an r-trestle. The paper concludes with a corollary of this result for the existence of k-walks.     

The lattice of congruence lattices of algebras on a finite set

The congruence lattices of all algebras defined on a fixed finite set A ordered by inclusion form a finite atomistic lattice \(\mathcal {E}\). We describe the atoms and coatoms. Each meet-irreducible element of \(\mathcal {E}\) being determined by a single unary mapping on A, we characterize completely those which are determined by a permutation or by an acyclic mapping on the set A. Using these characterisations we deduce several properties of the lattice \(\mathcal {E}\); in particular, we prove that \(\mathcal {E}\) is tolerance-simple whenever \(|A|\ge 4\).     

Solvability of the power flow problem in DC overhead wire circuit modeling

Applications of Mathematics - Proper traffic simulation of electric vehicles, which draw energy from overhead wires, requires adequate modeling of traction infrastructure. Such vehicles include...     

Convexities of partial monounary algebras

In the present paper we prove that the collection of all convexities of partial monounary algebras is finite; namely, it has exactly 23 elements. Further, we show that for each element there exists a subset of such that is generated by and card . This work was supported by the Science and Technology Assistance Agency under the contract No. APVT-20-004104. Supported by Grant VEGA 1/3003/06.     

On the Similarity of Sturm–Liouville Operators with Non-Hermitian Boundary Conditions to Self-Adjoint and Normal Operators

We consider one-dimensional Schrödinger-type operators in a bounded interval with non-self-adjoint Robin-type boundary conditions. It is well known that such operators are generically conjugate to normal operators via a similarity transformation. Motivated by recent interests in quasi-Hermitian Hamiltonians in quantum mechanics, we study properties of the transformations and similar operators in detail. In the case of parity and time reversal boundary conditions, we establish closed integral-type formulae for the similarity transformations, derive a non-local self-adjoint operator similar to the Schrödinger operator and also find the associated “charge conjugation” operator, which plays the role of fundamental symmetry in a Krein-space reformulation of the problem.     

Long-term operation of a domestic wastewater treatment plant with membrane filtration

Possibilities of membrane technology and the use of membrane processes in wastewater treatment were investigated. The main focus was the monitoring of the starting phase of a domestic wastewater treatment plant. Experimental part of the study was realized at the municipal wastewater treatment plant (WWTP) Devínska Nová Ves — Bratislava during the period from February 2005 to September 2006. The system was stable without any external chemical treatment of the membrane modules and the permeate quality was very high. Observed decrease of COD and BOD₅ values ranged between 91 % and 98 %. The process of nitrification was very successful considering its high efficiency (> 95 %). Presented at the 34th International Conference of the Slovak Society of Chemical Engineering, Tatranské Matliare, 21–25 May 2007.     

Radical classes and weak radical mappings of GMV-algebras

We use the concept of generalized MV-algebra (GMV-algebra, in short) in the sense of Galatos and Tsinakis; the main tool in their investigation was a truncation construction. The relations between radical classes of GMV-algebras and radical classes of lattice ordered groups are investigated in the present paper. Further, we apply the truncation construction for dealing with weak retract mappings of GMV-algebras. This work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence — Physics of Information (Grant I/2/2005).