Related papers: $\delta$-sequences and Evaluation Codes defined by…
In this paper, we develop a semi-classical analysis on H-type groups. We define semi-classical pseudodifferential operators, prove the boundedness of their action on square integrable functions and develop a symbolic calculus. Then, we…
We use dual graphs and generating sequences of valuations to compute the Poincare series of non-divisorial valuations on function fields of dimension two. The Poincare series are shown to reflect data from the dual graphs and hence carry…
We investigate higher-dimensional $\Delta$-systems indexed by finite sets of ordinals, isolating a particular definition thereof and proving a higher-dimensional version of the classical $\Delta$-system lemma. We focus in particular on…
A projective linear code over $\mathbb{F}_q$ is called $\Delta$-divisible if all weights of its codewords are divisible by $\Delta$. Especially, $q^r$-divisible projective linear codes, where $r$ is some integer, arise in many applications…
In this article, for a finite field $\mathbb{F}_q$ and a natural number $l,$ let $\mathcal{R}$ denote the product ring $\mathbb{F}_q^l.$ Firstly, for an automorphism $\Theta$ of $\mathcal{R},$ a $\Theta$-derivation $\Delta_\Theta$ of…
In the last years many results in the area of semidefinite programming were obtained for invariant (finite dimensional, or infinite dimensional) semidefinite programs - SDPs which have symmetry. This was done for a variety of problems and…
For any q which is a power of 2 we describe a finite subgroup of the group of invertible complex q by q matrices under which the complete weight enumerators of generalized doubly-even self-dual codes over the field with q elements are…
We consider the question of when a semigroup is the semigroup of a valuation dominating a two dimensional noetherian local domain, giving some surprising examples. We give a necessary and sufficient condition for the pair of a semigroup S…
Model checking properties are often described by means of finite automata. Any particular such automaton divides the set of infinite trees into finitely many classes, according to which state has an infinite run. Building the full type…
The purpose of this paper is to begin studying the computation of the nonzero determinant of semigroups within the class of finite semigroups that possesses a pair of non-commutative idempotents. This paper focuses on a class of these…
We consider the subalgebra $\Delta$ in the group algebra of the symmetric group $G=S_{n_1+\dots+n_\nu}$ consisting of all functions invariant with respect to left and right shifts by elements of the Young subgroup $H:=S_{n_1}\times \dots…
Suppose that (K, $\nu$) is a valued field, f (z) $\in$ K[z] is a unitary and irreducible polynomial and (L, $\omega$) is an extension of valued fields, where L = K[z]/(f (z)). Further suppose that A is a local domain with quotient field K…
Solving nonlinear SMT problems over real numbers has wide applications in robotics and AI. While significant progress is made in solving quantifier-free SMT formulas in the domain, quantified formulas have been much less investigated. We…
The value semigroup $\Gamma$ and the value set $\Lambda$ of $1$-forms are, respectively, a topological and an analytical invariant of a plane branch. Giving a plane branch $\mathcal{C}$ with semigroup $\Gamma$ there are a finitely number of…
Non-positive at infinity valuations are a class of real plane valuations which have a nice geometrical behavior. They are divided in three types. We study the dual graphs of non-positive at infinity valuations and give an algorithm for…
Analysis of the Berlekamp-Massey-Sakata algorithm for decoding one-point codes leads to two methods for improving code rate. One method, due to Feng and Rao, removes parity checks that may be recovered by their majority voting algorithm.…
Let $\mathbb{F}_q$ be a finite field of $q=p^m$ elements where $p$ is a prime and $m$ is a positive integer. This paper considers $(\gamma,\Delta)$-cyclic codes over a class of finite non-chain commutative rings…
Let $p$ be a prime number, $q=p^s$ for a positive integer $s$. For any positive divisor $e$ of $q-1$, we construct an infinite family codes of size $q^{2m}$ with few Lee-weight. These codes are defined as trace codes over the ring…
We study frequent hypercyclicity in the context of strongly continuous semigroups of operators. More precisely, we give a criterion (sufficient condition) for a semigroup to be frequently hypercyclic, whose formulation depends on the Pettis…
We prove that operators of the form $A=-a(x)^2\Delta^{2}$, with $|D a(x)|\leq c a(x)^\frac{1}{2}$, generate analytic semigroups in $L^p(\mathbb{R}^N)$ for $1<p\leq\infty$ and in $C_b(\mathbb{R}^N)$. In particular, we deduce generation…