Related papers: Derived system and dual sequence of a barypolygona…
We construct long sequences of braids that are descending with respect to the standard order of braids (``Dehornoy order''), and we deduce that, contrary to all usual algebraic properties of braids, certain simple combinatorial statements…
We show that every finite Abelian algebra A from congruence-permutable varieties admits a full duality. In the process, we prove that A also allows a strong duality, and that the duality may be induced by a dualizing structure of finite…
This work is devoted to the proof of the statement about the existence of palindromic continued fractions in an arbitrary dimension. In addition, it is proved the criterion that an algebraic continued fraction has proper cyclic palindromic…
We investigate the motions of a bar structure consisting of two congruent tetrahedra, whose edges in their basic position form the face diagonals of a rectangular parallelepiped. The constraint of the motion is that the originally…
This note contains a new proof of a theorem of Gang Xiao saying that the bicanonical map of a surface S of general type is generically finite if and only if the second plurigenus of S is strictly larger than 2. Such properties are also…
In this short note we show that if we add predicate for a dense complete indiscernible sequence in a dependent theory then the result is still dependent. This answers a question of Baldwin and Benedikt and implies that every unstable…
This paper establishes a new existence and uniqueness result of solutions for multidimensional backward stochastic differential equations (BSDEs) whose generators satisfy a weak monotonicity condition and a general growth condition in $y$,…
The structure of multivariate semisimple codes over a finite chain ring $R$ is established using the structure of the residue field $\bar R$. Multivariate codes extend in a natural way the univariate cyclic and negacyclic codes and include…
The main result of this paper is the following: let d be a natural number >= 3; the line bundle O(1,...,1) on the product of d copies of the projective line P^1 satisfies Property N_p of Green-Lazarsfeld if and only if p <= 3.
Our paper deals about identities involving Bell polynomials. Some identities on Bell polynomials derived using generating function and successive derivatives of binomial type sequences. We give some relations between Bell polynomials and…
F.~Schweiger introduced the fibred system in \cite{Schweiger-MCF}, to unify and generalize many known continued fraction algorithms. An advantage of a fibred system is that it often provides a systematic construction of absolutely…
We study linear divisibility sequences of order 4, providing a characterization by means of their characteristic polynomials and finding their factorization as a product of linear divisibility sequences of order 2. Moreover, we show a new…
A propositional proof system $P$ has the strong feasible disjunction property iff there is a constant $c \geq 1$ such that whenever $P$ admits a size $s$ proof of $\bigvee_i \alpha_i$ with no two $\alpha_i$ sharing an atom then one of…
Let $f$ be a polynomial with integer coefficients such that $f(n)$ positive for any positive integer $n$. We consider diverging sequences $\{ y_n\}$ given by $y_0 = b$ and $y_{n+1} = f^{y_n}(a)$ with positive integers $a$ and $b$. We show…
Raimi's theorem guarantees the existence of a partition of $\mathbb{N}$ into two parts with an unavoidable intersection property: for any finite coloring of $\mathbb{N}$, some color class intersects both parts infinitely many times, after…
We present here a more general version of the balanced pair algorithm. This version works in the reducible case and terminates more often than the standard algorithm. We present examples to illustrate this point. Lastly, we discuss the…
Polynomial remainder sequences contain the intermediate results of the Euclidean algorithm when applied to (non-)commutative polynomials. The running time of the algorithm is dependent on the size of the coefficients of the remainders.…
A function on an algebra is congruence preserving if, for any congruence, it maps pairs of congruent elements onto pairs of congruent elements. We show that on the algebra of binary trees whose leaves are labeled by letters of an alphabet…
In this note, we show the existence of integer sequences of lengths at least 3 (except 7) such that for every integer in position $i\equiv 1\pmod{4}$ (respectively position $j\equiv 3\pmod{4}$), counting from left to right, the sum of the…
This paper provides a method to calculate the bar codes of a PCD (point cloud data) with real coefficients in Section 3. With Dan Burghelea and Tamal Dey we developed a persistence theory which involves level sets discussed in Section 4.…