-
On adjoint invariant classes of shift operators
Authors:
F. Ayatollah Zadeh Shirazi,
E. Hakimi,
A. Hosseini,
R. Rezavand
Abstract:
In the following text we compute the adjoint of weighted generalized shift operators over Hilbert spaces. We show for a conjugate invariant subset $A$ of $\mathbb C$, the additive semigroup generated by $A\cup\{0\}-$weighted generalized shifts over Hilbert space $\mathcal H$ is adjoint invariant if and only if $\mathcal H$ is a finite dimensional Hilbert space or $0$ is not a limit point of $A$.
In the following text we compute the adjoint of weighted generalized shift operators over Hilbert spaces. We show for a conjugate invariant subset $A$ of $\mathbb C$, the additive semigroup generated by $A\cup\{0\}-$weighted generalized shifts over Hilbert space $\mathcal H$ is adjoint invariant if and only if $\mathcal H$ is a finite dimensional Hilbert space or $0$ is not a limit point of $A$.
△ Less
Submitted 30 March, 2024;
originally announced April 2024.
-
On the equivalence of all notions of generalized derivations whose domain is a C$^{\ast}$-algebra
Authors:
Amin Hosseini,
Antonio M. Peralta,
Shanshan Su
Abstract:
Let $\mathcal{M}$ be a Banach bimodule over an associative Banach algebra $\mathcal{A}$, and let $F: \mathcal{A}\to \mathcal{M}$ be a linear map**. Three main uses of the term \emph{generalized derivation} are identified in the available literature, namely,
($\checkmark$) $F$ is a generalized derivation of the first type if there exists a derivation $ d : \mathcal{A}\to \mathcal{M}$ satisfying…
▽ More
Let $\mathcal{M}$ be a Banach bimodule over an associative Banach algebra $\mathcal{A}$, and let $F: \mathcal{A}\to \mathcal{M}$ be a linear map**. Three main uses of the term \emph{generalized derivation} are identified in the available literature, namely,
($\checkmark$) $F$ is a generalized derivation of the first type if there exists a derivation $ d : \mathcal{A}\to \mathcal{M}$ satisfying $F(a b ) = F(a) b + a d(b)$ for all $a,b\in \mathcal{A}$.
($\checkmark$) $F$ is a generalized derivation of the second type if there exists an element $ξ\in \mathcal{M}^{**}$ satisfying $F(a b ) = F(a) b + a F(b) - a ξb$ for all $a,b\in \mathcal{A}$.
($\checkmark$) $F$ is a generalized derivation of the third type if there exist two (non-necessarily linear) map**s $G,H : \mathcal{A}\to \mathcal{M}$ satisfying $F(a b ) = G(a) b + a H(b)$ for all $a,b\in \mathcal{A}$.
There are examples showing that these three definitions are not, in general, equivalent. Despite that the first two notions are well studied when $\mathcal{A}$ is a C$^*$-algebra, it is not known if the three notions are equivalent under these special assumptions. In this note we prove that every generalized derivation of the third type whose domain is a C$^*$-algebra is automatically continuous. We also prove that every (continuous) generalized derivation of the third type from a C$^*$-algebra $\mathcal{A}$ into a general Banach $\mathcal{A}$-bimodule is a generalized derivation of the first and second type. In particular, the three notions coincide in this case. We also explore the possible notions of generalized Jordan derivations on a C$^*$-algebra and establish some continuity properties for them.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
Classification of 3-GNDB Graphs
Authors:
Amir Hosseini,
Mehdi Alaeiyan,
Zohreh Aliannejadi
Abstract:
A nonempty graph G is called generalized 3-distance-balanced, (3-GDB) whenever for every edge ab, |Wab|=3|Wba| or conversely. As well as a graph G is called generalized 3-nicely distance-balanced (3-GNDB) whenever for every edge ab of G, there exists a positive integer g, such that: |Wba|=gG. In this paper, we classify 3-GNDB graphs with, gG \in{1,2}.
A nonempty graph G is called generalized 3-distance-balanced, (3-GDB) whenever for every edge ab, |Wab|=3|Wba| or conversely. As well as a graph G is called generalized 3-nicely distance-balanced (3-GNDB) whenever for every edge ab of G, there exists a positive integer g, such that: |Wba|=gG. In this paper, we classify 3-GNDB graphs with, gG \in{1,2}.
△ Less
Submitted 22 December, 2023;
originally announced December 2023.
-
Commuting Jordan derivations on triangular rings are zero
Authors:
Amin Hosseini,
Wu **g
Abstract:
The main purpose of this article is to show that every commuting Jordan derivation on triangular rings (unital or not) is identically zero. Using this result, we prove that if $\mathcal{A}$ is a 2-torsion free ring such that it is either semiprime or satisfies Condition (P), then every commuting Jordan derivation from $\mathcal{A}$ into itself, under certain conditions, is identically zero.
The main purpose of this article is to show that every commuting Jordan derivation on triangular rings (unital or not) is identically zero. Using this result, we prove that if $\mathcal{A}$ is a 2-torsion free ring such that it is either semiprime or satisfies Condition (P), then every commuting Jordan derivation from $\mathcal{A}$ into itself, under certain conditions, is identically zero.
△ Less
Submitted 16 November, 2023;
originally announced November 2023.
-
An Alternative Approach to Inverse Z-Transform of Rational Functions
Authors:
MohammadJavad Vaez,
Alireza Hosseini,
Kamal Jamshidi
Abstract:
Our paper introduces a novel method for calculating the inverse $\mathcal{Z}$-transform of rational functions. Unlike some existing approaches that rely on partial fraction expansion and involve dividing by $z$, our method allows for the direct computation of the inverse $\mathcal{Z}$-transform without such division. Furthermore, our method expands the rational functions over real numbers instead…
▽ More
Our paper introduces a novel method for calculating the inverse $\mathcal{Z}$-transform of rational functions. Unlike some existing approaches that rely on partial fraction expansion and involve dividing by $z$, our method allows for the direct computation of the inverse $\mathcal{Z}$-transform without such division. Furthermore, our method expands the rational functions over real numbers instead of complex numbers. Hence, it doesn't need algebraic manipulations to obtain a real-valued answer. Furthermore, it aligns our method more closely with established techniques used in integral, Laplace, and Fourier transforms. In addition, it can lead to fewer calculations in some cases.
△ Less
Submitted 10 June, 2024; v1 submitted 15 October, 2023;
originally announced October 2023.
-
Uniformizable functional Alexandroff spaces
Authors:
Fatemah Ayatollah Zadeh Shirazi,
Elahe Hakimi,
Arezoo Hosseini,
Reza Rezavand
Abstract:
In the following text we show that the Alexandroff space $X$ is uniformizable if and only if the collection of all smallest neighbourhoods is a partition of $X$. Moreover the Alexandroff space $X$ is uniformizable and functional Alexandroff ($k-$primal) if and only if the collection of all smallest neighbourhoods is a partition of $X$ into its finite subsets.
In the following text we show that the Alexandroff space $X$ is uniformizable if and only if the collection of all smallest neighbourhoods is a partition of $X$. Moreover the Alexandroff space $X$ is uniformizable and functional Alexandroff ($k-$primal) if and only if the collection of all smallest neighbourhoods is a partition of $X$ into its finite subsets.
△ Less
Submitted 31 August, 2023;
originally announced August 2023.
-
Automatic continuity of new generalized derivations
Authors:
Amin Hosseini,
Choonkil Park
Abstract:
Let $\mathcal{A}$ and $\mathcal{B}$ be two algebras and let $n$ be a positive integer. A linear map** $D:\mathcal{A} \rightarrow \mathcal{B}$ is called a \emph{strongly generalized derivation of order $n$} if there exist families of linear map**s $\{E_k:\mathcal{A} \rightarrow \mathcal{B}\}_{k = 1}^{n}$, $\{F_k:\mathcal{A} \rightarrow \mathcal{B}\}_{k = 1}^{n}$,…
▽ More
Let $\mathcal{A}$ and $\mathcal{B}$ be two algebras and let $n$ be a positive integer. A linear map** $D:\mathcal{A} \rightarrow \mathcal{B}$ is called a \emph{strongly generalized derivation of order $n$} if there exist families of linear map**s $\{E_k:\mathcal{A} \rightarrow \mathcal{B}\}_{k = 1}^{n}$, $\{F_k:\mathcal{A} \rightarrow \mathcal{B}\}_{k = 1}^{n}$, $\{G_k:\mathcal{A} \rightarrow \mathcal{B}\}_{k = 1}^{n}$ and $\{H_k:\mathcal{A} \rightarrow \mathcal{B}\}_{k = 1}^{n}$ which satisfy $D(ab) = \sum_{k = 1}^{n}\left[E_k(a) F_k(b) + G_k(a)H_k(b)\right]$ for all $a, b \in \mathcal{A}$. The purpose of this article is to study the automatic continuity of such derivations on Banach algebras and $C^{\ast}$-algebras.
△ Less
Submitted 30 August, 2023;
originally announced August 2023.
-
A hybrid proximal generalized conditional gradient method and application to total variation parameter learning
Authors:
Kristian Bredies,
Enis Chenchene,
Alireza Hosseini
Abstract:
In this paper we present a new method for solving optimization problems involving the sum of two proper, convex, lower semicontinuous functions, one of which has Lipschitz continuous gradient. The proposed method has a hybrid nature that combines the usual forward-backward and the generalized conditional gradient method. We establish a convergence rate of $o(k^{-1/3})$ under mild assumptions with…
▽ More
In this paper we present a new method for solving optimization problems involving the sum of two proper, convex, lower semicontinuous functions, one of which has Lipschitz continuous gradient. The proposed method has a hybrid nature that combines the usual forward-backward and the generalized conditional gradient method. We establish a convergence rate of $o(k^{-1/3})$ under mild assumptions with a specific step-size rule and show an application to a total variation parameter learning problem, which demonstrates its benefits in the context of nonsmooth convex optimization.
△ Less
Submitted 2 November, 2022;
originally announced November 2022.
-
Obtaining Leibniz's rule for derivations in its most general form
Authors:
Amin Hosseini
Abstract:
The main purpose of this paper is to obtain Leibniz's rule for generalized types of derivations via Newton's binomial formula. In fact, we provide a short formula to calculate the nth power of any kind of derivations.
The main purpose of this paper is to obtain Leibniz's rule for generalized types of derivations via Newton's binomial formula. In fact, we provide a short formula to calculate the nth power of any kind of derivations.
△ Less
Submitted 23 September, 2022;
originally announced September 2022.
-
A Second-Order TGV Discretization with $90^{\circ}$ Rotational Invariance Property
Authors:
Alireza Hosseini,
Kristian Bredies
Abstract:
In this work, we propose a new discretization for second-order total generalized variation (TGV) with some distinct properties compared to existing discrete formulations. The introduced model is based on same design principles as Condat's discrete total variation model (\textit{SIAM J. Imaging Sci}., 10(3), 1258--1290, 2017) and shares its benefits, in particular, improved quality for the solution…
▽ More
In this work, we propose a new discretization for second-order total generalized variation (TGV) with some distinct properties compared to existing discrete formulations. The introduced model is based on same design principles as Condat's discrete total variation model (\textit{SIAM J. Imaging Sci}., 10(3), 1258--1290, 2017) and shares its benefits, in particular, improved quality for the solution of imaging problems. An algorithm for image denoising with second-order TGV using the new discretization is proposed. Numerical results obtained with this algorithm demonstrate the discretization's advantages. Moreover, in order to compare invariance properties of the new model, an algorithm for calculating the TGV value with respect to the new discretization model is given.
△ Less
Submitted 27 January, 2023; v1 submitted 23 September, 2022;
originally announced September 2022.
-
On the complex valued metric-like spaces
Authors:
A. Hosseini,
M. Mohammadzadeh Karizaki
Abstract:
The main purpose of this paper is to study complex valued metric-like spaces as an extension of metric-like spaces, complex valued partial metric spaces, partial metric spaces, complex valued metric spaces and metric spaces. In this article, the concepts such as quasi-equal points, completely separate points, convergence of a sequence, Cauchy sequence, cluster points and complex diameter of a set…
▽ More
The main purpose of this paper is to study complex valued metric-like spaces as an extension of metric-like spaces, complex valued partial metric spaces, partial metric spaces, complex valued metric spaces and metric spaces. In this article, the concepts such as quasi-equal points, completely separate points, convergence of a sequence, Cauchy sequence, cluster points and complex diameter of a set are defined in a complex valued metric-like space.
△ Less
Submitted 14 September, 2022;
originally announced September 2022.
-
Set-theoretical entropies of weighted generalized shifts
Authors:
Fatemah Ayatollah Zadeh Shirazi,
Arezoo Hosseini,
Lida Mousavi,
Reza Rezavand
Abstract:
In this paper for a finite field $F$, a nonempty set $Γ$, a self--map $\varphi:Γ\toΓ$ and a weight vector $\mathfrak{w}\in F^Γ$, we show that the set--theoretical entropy of the weighted generalized shift $σ_{\varphi,\mathfrak{w}}:F^Γ\to F^Γ$ is either zero or $+\infty$, moreover it is equal to zero if and only if $σ_{\varphi,\mathfrak{w}}$ is quasi--periodic. On the other hand after characterizin…
▽ More
In this paper for a finite field $F$, a nonempty set $Γ$, a self--map $\varphi:Γ\toΓ$ and a weight vector $\mathfrak{w}\in F^Γ$, we show that the set--theoretical entropy of the weighted generalized shift $σ_{\varphi,\mathfrak{w}}:F^Γ\to F^Γ$ is either zero or $+\infty$, moreover it is equal to zero if and only if $σ_{\varphi,\mathfrak{w}}$ is quasi--periodic. On the other hand after characterizing all conditions under which $σ_{\varphi,\mathfrak{w}}:F^Γ\to F^Γ$ is of finite fibre, we show that the cotravariant set--theoretical entropy of the finite fibre $σ_{\varphi,\mathfrak{w}}:F^Γ\to F^Γ$ depends only on $\varphi$ and $\rm{supp}(\mathfrak{w})$. In final sections we study the restriction of $σ_{\varphi,\mathfrak{w}}$ to the direct sum $\mathop{\bigoplus}\limits_ΓF$.
△ Less
Submitted 21 February, 2024; v1 submitted 18 June, 2022;
originally announced June 2022.
-
Eigenvalues of weighted generalized shifts over direct products of vector spaces
Authors:
Safoura Arzanesh,
Fatemah Ayatollah Zadeh Shirazi,
Arezoo Hosseini,
Reza Rezavand
Abstract:
In the following text for vector space $V$ over field $F$ we compute all eigenvalues of weighted generalized shift $σ_{\varphi,\mathfrak{w}}:V^Γ\to V^Γ$ (and generalized shift $σ_\varphi:V^Γ\to V^Γ$) for nonempty set $Γ$, weight vector $\mathfrak{w}\in F^Γ$ and self--map $\varphi:Γ\to Γ$.
In the following text for vector space $V$ over field $F$ we compute all eigenvalues of weighted generalized shift $σ_{\varphi,\mathfrak{w}}:V^Γ\to V^Γ$ (and generalized shift $σ_\varphi:V^Γ\to V^Γ$) for nonempty set $Γ$, weight vector $\mathfrak{w}\in F^Γ$ and self--map $\varphi:Γ\to Γ$.
△ Less
Submitted 5 June, 2022;
originally announced June 2022.
-
Li-Yorke and Devaney chaotic uniform dynamical systems amongst weighted shifts
Authors:
Fatemah Ayatollah Zadeh Shirazi,
Elaheh Hakimi,
Arezoo Hosseini,
Reza Rezavand
Abstract:
In this paper, for finite discrete field $F$, nonempty set $Γ$, weight vector $\mathfrak{w}=({\mathfrak w}_α)_{α\inΓ}\in F^Γ$ and weighted generalized shift $σ_{\varphi,{\mathfrak w}}:F^Γ\to F^Γ$, we find necessary and sufficient conditions for uniform dynamical system $(F^Γ,σ_{\varphi,{\mathfrak w}})$ to be Li--Yorke chaotic. Next we find necessary and sufficient conditions for…
▽ More
In this paper, for finite discrete field $F$, nonempty set $Γ$, weight vector $\mathfrak{w}=({\mathfrak w}_α)_{α\inΓ}\in F^Γ$ and weighted generalized shift $σ_{\varphi,{\mathfrak w}}:F^Γ\to F^Γ$, we find necessary and sufficient conditions for uniform dynamical system $(F^Γ,σ_{\varphi,{\mathfrak w}})$ to be Li--Yorke chaotic. Next we find necessary and sufficient conditions for $(F^Γ,σ_{\varphi,{\mathfrak w}})$ to be Devaney chaotic.
△ Less
Submitted 17 April, 2022;
originally announced April 2022.
-
Characterization of Jordan centralizers and Jordan two-sided centralizers on triangular rings without assuming unity
Authors:
Amin Hosseini,
others
Abstract:
The main purpose of this paper is to show that every Jordan centralizer and every Jordan two-sided centralizer is a centralizer on triangular rings without assuming unity. As an application, we prove that every Jordan generalized derivation on a triangular ring is a two-sided generalized derivation. Some other related results are also discussed.
The main purpose of this paper is to show that every Jordan centralizer and every Jordan two-sided centralizer is a centralizer on triangular rings without assuming unity. As an application, we prove that every Jordan generalized derivation on a triangular ring is a two-sided generalized derivation. Some other related results are also discussed.
△ Less
Submitted 13 May, 2021;
originally announced May 2021.
-
Generalized shifts through derivations' concept in $\ell^p(τ)$ spaces
Authors:
Safoura Arzanesh,
Fatemah Ayatollah Zadeh Shirazi,
Arezoo Hosseini
Abstract:
In the following text for $p\in[1,\infty]$, nonzero cardinal number $τ$, self--map $\varphi:τ\toτ$ if there exists $N\in\mathbb{N}$ such that $\varphi^{-1}(α)$ has at most $N$ elements for each $α<τ$, and operators $ψ,λ:\ell^pτ)\to\ell^p(τ)$ we prove the generalized shift…
▽ More
In the following text for $p\in[1,\infty]$, nonzero cardinal number $τ$, self--map $\varphi:τ\toτ$ if there exists $N\in\mathbb{N}$ such that $\varphi^{-1}(α)$ has at most $N$ elements for each $α<τ$, and operators $ψ,λ:\ell^pτ)\to\ell^p(τ)$ we prove the generalized shift $\mathop{σ_\varphi\restriction_{\ell^p(τ)}:\ell^p(τ)\to\ell^p(τ)\:\:\:\:\:\:\:\:\:}\limits_{\:\:\:\:\:\:\:\:\: (x_α)_{α<τ}\mapsto (x_{\varphi(α)})_{α<τ}}$:
$\bullet$ is a $(ψ,λ)-$derivation if and only if there exists $\mathsf{r}\in{\mathbb C}^τ$ with $ψ={\mathsf r}σ_\varphi\restriction_{\ell^p(τ)}$ and $λ=((1)_{α<τ}-{\mathsf r})σ_\varphi\restriction_{\ell^p(τ)}$,
$\bullet$ is a $ψ-$derivation if and only if $ψ=\frac12σ_\varphi\restriction_{\ell^p(τ)}$,
$\bullet$ is not a (Jordan, Jordan triple) derivation,
$\bullet$ is a generalized (Jordan, Jordan triple) derivation if and only if $\varphi=id_τ$.
△ Less
Submitted 7 April, 2021;
originally announced April 2021.
-
Minimum Weighted Szeged Index Trees
Authors:
Pavol Hell,
César Hernández-Cruz,
Seyyed Aliasghar Hosseini
Abstract:
Weighted Szeged index is a recently introduced extension of the well-known Szeged index. In this paper, we present a new tool to analyze and characterize minimum weighted Szeged index trees. We exhibit the best trees with up to 81 vertices and use this information, together with our results, to propose various conjectures on the structure of minimum weighted Szeged index trees.
Weighted Szeged index is a recently introduced extension of the well-known Szeged index. In this paper, we present a new tool to analyze and characterize minimum weighted Szeged index trees. We exhibit the best trees with up to 81 vertices and use this information, together with our results, to propose various conjectures on the structure of minimum weighted Szeged index trees.
△ Less
Submitted 20 July, 2020;
originally announced July 2020.
-
On the cop number of graphs of high girth
Authors:
Peter Bradshaw,
Seyyed Aliasghar Hosseini,
Bojan Mohar,
Ladislav Stacho
Abstract:
We establish a lower bound for the cop number of graphs of high girth in terms of the minimum degree, and more generally, in terms of a certain growth condition. We show, in particular, that the cop number of any graph with girth $g$ and minimum degree $δ$ is at least $\tfrac{1}{g}(δ- 1)^{\lfloor \frac{g-1}{4}\rfloor}$. We establish similar results for directed graphs. While exposing several reaso…
▽ More
We establish a lower bound for the cop number of graphs of high girth in terms of the minimum degree, and more generally, in terms of a certain growth condition. We show, in particular, that the cop number of any graph with girth $g$ and minimum degree $δ$ is at least $\tfrac{1}{g}(δ- 1)^{\lfloor \frac{g-1}{4}\rfloor}$. We establish similar results for directed graphs. While exposing several reasons for conjecturing that the exponent $\tfrac{1}{4}g$ in this lower bound cannot be improved to $(\tfrac{1}{4}+\varepsilon)g$, we are also able to prove that it cannot be increased beyond $\frac{3}{8}g$. This is established by considering a certain family of Ramanujan graphs. In our proof of this bound, we also show that the "weak" Meyniel's conjecture holds for expander graph families of bounded degree.
△ Less
Submitted 21 May, 2020;
originally announced May 2020.
-
Cops and Robbers on graphs of bounded diameter
Authors:
Seyyed Aliasghar Hosseini,
Fiachra Knox,
Bojan Mohar
Abstract:
The game of Cops and Robbers is a well known game played on graphs. In this paper we consider the class of graphs of bounded diameter. We improve the strategy of cops and previously used probabilistic method which results in an improved upper bound for the cop number of graphs of bounded diameter. In particular, for graphs of diameter four, we improve the upper bound from $n^{\frac{2}{3}+o(1)}$ to…
▽ More
The game of Cops and Robbers is a well known game played on graphs. In this paper we consider the class of graphs of bounded diameter. We improve the strategy of cops and previously used probabilistic method which results in an improved upper bound for the cop number of graphs of bounded diameter. In particular, for graphs of diameter four, we improve the upper bound from $n^{\frac{2}{3}+o(1)}$ to $n^{\frac{3}{5}+o(1)}$ and for diameter three from $n^{\frac{2}{3}+o(1)}$ to $n^{\frac{4}{7}+o(1)}$.
△ Less
Submitted 16 December, 2019;
originally announced December 2019.
-
Meyniel's conjecture on graphs of bounded degree
Authors:
Seyyed Aliasghar Hosseini,
Bojan Mohar,
Sebastian Gonzalez Hermosillo de la Maza
Abstract:
The game of Cops and Robbers is a well known pursuit-evasion game played on graphs. It has been proved \cite{bounded_degree} that cubic graphs can have arbitrarily large cop number $c(G)$, but the known constructions show only that the set $\{c(G) \mid G \text{ cubic}\}$ is unbounded. In this paper we prove that there are arbitrarily large subcubic graphs $G$ whose cop number is at least…
▽ More
The game of Cops and Robbers is a well known pursuit-evasion game played on graphs. It has been proved \cite{bounded_degree} that cubic graphs can have arbitrarily large cop number $c(G)$, but the known constructions show only that the set $\{c(G) \mid G \text{ cubic}\}$ is unbounded. In this paper we prove that there are arbitrarily large subcubic graphs $G$ whose cop number is at least $n^{1/2-o(1)}$ where $n=|V(G)|$. We also show that proving Meyniel's conjecture for graphs of bounded degree implies a weak Meyniel's conjecture for all graphs.
△ Less
Submitted 20 November, 2020; v1 submitted 14 December, 2019;
originally announced December 2019.
-
Compressed MRI Reconstruction Exploiting a Rotation-Invariant Total Variation Discretization
Authors:
Erfan Ebrahim Esfahani,
Alireza Hosseini
Abstract:
Inspired by the first-order method of Malitsky and Pock, we propose a new variational framework for compressed MR image reconstruction which introduces the application of a rotation-invariant discretization of total variation functional into MR imaging while exploiting BM3D frame as a sparsifying transform. In the first step, we provide theoretical and numerical analysis establishing the exception…
▽ More
Inspired by the first-order method of Malitsky and Pock, we propose a new variational framework for compressed MR image reconstruction which introduces the application of a rotation-invariant discretization of total variation functional into MR imaging while exploiting BM3D frame as a sparsifying transform. In the first step, we provide theoretical and numerical analysis establishing the exceptional rotation-invariance property of this total variation functional and observe its superiority over other well-known variational regularization terms in both upright and rotated imaging setups. Thereupon, the proposed MRI reconstruction model is presented as a constrained optimization problem, however, we do not use conventional ADMM-type algorithms designed for constrained problems to obtain a solution, but rather we tailor the linesearch-equipped method of Malitsky and Pock to our model, which was originally proposed for unconstrained problems. As attested by numerical experiments, this framework significantly outperforms various state-of-the-art algorithms from variational methods to adaptive and learning approaches and in particular, it eliminates the stagnating behavior of a previous work on BM3D-MRI which compromised the solution beyond a certain iteration.
△ Less
Submitted 21 April, 2020; v1 submitted 26 November, 2019;
originally announced November 2019.
-
Surrounding cops and robbers on graphs of bounded genus
Authors:
Peter Bradshaw,
Seyyed Aliasghar Hosseini
Abstract:
We consider a surrounding variant of cops and robbers on graphs of bounded genus. We obtain bounds on the number of cops required to surround a robber on planar graphs, toroidal graphs, and outerplanar graphs. We also obtain improved bounds for bipartite planar and toroidal graphs. We briefly consider general graphs of bounded genus and graphs with a forbidden minor.
We consider a surrounding variant of cops and robbers on graphs of bounded genus. We obtain bounds on the number of cops required to surround a robber on planar graphs, toroidal graphs, and outerplanar graphs. We also obtain improved bounds for bipartite planar and toroidal graphs. We briefly consider general graphs of bounded genus and graphs with a forbidden minor.
△ Less
Submitted 3 November, 2019; v1 submitted 21 September, 2019;
originally announced September 2019.
-
Cops and robbers on directed and undirected abelian Cayley graphs
Authors:
Peter Bradshaw,
Seyyed Aliasghar Hosseini,
Jérémie Turcotte
Abstract:
We show that the cop number of directed and undirected Cayley graphs on abelian groups has an upper bound of the form of $O(\sqrt{n})$, where $n$ is the number of vertices, by introducing a refined inductive method. With our method, we improve the previous upper bound on cop number for undirected Cayley graphs on abelian groups, and we establish an upper bound on the cop number of directed Cayley…
▽ More
We show that the cop number of directed and undirected Cayley graphs on abelian groups has an upper bound of the form of $O(\sqrt{n})$, where $n$ is the number of vertices, by introducing a refined inductive method. With our method, we improve the previous upper bound on cop number for undirected Cayley graphs on abelian groups, and we establish an upper bound on the cop number of directed Cayley graphs on abelian groups. We also use Cayley graphs on abelian groups to construct new \emph{Meyniel extremal families}, which contain graphs of every order $n$ with cop number $Θ(\sqrt{n})$.
△ Less
Submitted 16 September, 2020; v1 submitted 11 September, 2019;
originally announced September 2019.
-
Vertex arboricity of cographs
Authors:
Sebastián González Hermosillo de la Maza,
Pavol Hell,
César Hernández Cruz,
Seyyed Aliasghar Hosseini,
Payam Valadkhan
Abstract:
Arboricity is a graph parameter akin to chromatic number, in that it seeks to partition the vertices into the smallest number of sparse subgraphs. Where for the chromatic number we are partitioning the vertices into independent sets, for the arboricity we want to partition the vertices into cycle-free subsets (i.e., forests). Arboricity is NP-hard in general, and our focus is on the arboricity of…
▽ More
Arboricity is a graph parameter akin to chromatic number, in that it seeks to partition the vertices into the smallest number of sparse subgraphs. Where for the chromatic number we are partitioning the vertices into independent sets, for the arboricity we want to partition the vertices into cycle-free subsets (i.e., forests). Arboricity is NP-hard in general, and our focus is on the arboricity of cographs. For arboricity two, we obtain the complete list of minimal cograph obstructions. These minimal obstructions do generalize to higher arboricities; however, we no longer have a complete list, and in fact, the number of minimal cograph obstructions grows exponentially with arboricity. We obtain bounds on their size and the height of their cotrees.
More generally, we consider the following common generalization of colouring and partition into forests: given non-negative integers $p$ and $q$, we ask if a given cograph $G$ admits a vertex partition into $p$ forests and $q$ independent sets. We give a polynomial-time dynamic programming algorithm for this problem. In fact, the algorithm solves a more general problem which also includes several other problems such as finding a maximum $q$-colourable subgraph, maximum subgraph of arboricity-$p$, minimum vertex feedback set and minimum $q$ of a $q$-colourable vertex feedback set.
△ Less
Submitted 16 July, 2019;
originally announced July 2019.
-
On Higher {g_n, h_n}-derivations
Authors:
Amin Hosseini,
Nadeem Ur Rehman
Abstract:
In this article, we introduce the concepts of higher {g_n, h_n}-derivation and Jordan higher {g_n, h_n}-derivation, and then we give a characterization of higher {g_n, h_n}-derivations in terms of {g, h}-derivations. Using this result, we prove that every Jordan higher {g_n, h_n}-derivation on a semiprime algebra is a higher {g_n, h_n}-derivation.
In this article, we introduce the concepts of higher {g_n, h_n}-derivation and Jordan higher {g_n, h_n}-derivation, and then we give a characterization of higher {g_n, h_n}-derivations in terms of {g, h}-derivations. Using this result, we prove that every Jordan higher {g_n, h_n}-derivation on a semiprime algebra is a higher {g_n, h_n}-derivation.
△ Less
Submitted 8 July, 2019;
originally announced July 2019.
-
Cops and robbers on oriented toroidal grids
Authors:
Sebastian Gonzalez Hermosillo de la Maza,
Seyyed Aliasghar Hosseini,
Fiachra Knox,
Bojan Mohar,
Bruce Reed
Abstract:
The game of cops and robbers is a well-known game played on graphs. In this paper we consider the straight-ahead orientations of 4-regular quadrangulations of the torus and the Klein bottle and we prove that their cop number is bounded by a constant. We also show that the cop number of every k-regularly oriented toroidal grid is at most 13.
The game of cops and robbers is a well-known game played on graphs. In this paper we consider the straight-ahead orientations of 4-regular quadrangulations of the torus and the Klein bottle and we prove that their cop number is bounded by a constant. We also show that the cop number of every k-regularly oriented toroidal grid is at most 13.
△ Less
Submitted 11 May, 2020; v1 submitted 22 April, 2019;
originally announced April 2019.
-
On the non-commutative Newton binomial formula
Authors:
A. Hosseini,
M. Mohammadzadeh Karizaki
Abstract:
In this article, using generalized derivations, we obtain a simple idea to prove the non-commutative Newton binomial formula in unital algebras and then, we extend that formula to non-unital algebras. Additionally, we establish the non-commutative Newton binomial formula with a negative power.
In this article, using generalized derivations, we obtain a simple idea to prove the non-commutative Newton binomial formula in unital algebras and then, we extend that formula to non-unital algebras. Additionally, we establish the non-commutative Newton binomial formula with a negative power.
△ Less
Submitted 28 February, 2019;
originally announced February 2019.
-
Constructing Geometric Graphs of Cop Number Three
Authors:
Seyyed Aliasghar Hosseini,
Masood Masjoody,
Ladislav Stacho
Abstract:
The game of cops and robbers is a pursuit game on graphs where a set of agents, called the cops try to get to the same position of another agent, called the robber. Cops and robbers has been studies on several classes of graphs including geometrically represented graphs. For example, it has been shown that string graphs, including geometric graphs, have cop number at most 15. On the other hand, li…
▽ More
The game of cops and robbers is a pursuit game on graphs where a set of agents, called the cops try to get to the same position of another agent, called the robber. Cops and robbers has been studies on several classes of graphs including geometrically represented graphs. For example, it has been shown that string graphs, including geometric graphs, have cop number at most 15. On the other hand, little is known about geometric graphs of any cop number less than 15 and there is only one example of a geometric graph of cop number three that has as many as 1440 vertices. In this paper we present a construction for subdividing planar graphs of maximum degree $\le 5$ into geometric planar graphs of at least the same cop number. Indeed, our construction shows that there are infinitely many planar geometric graphs of cop number three. We also present another construction that consists in clique substitutions alongside subdividing the edges in a planar graph of maximum degree $\le 9$, resulting in geometric, but not necessarily planar, graphs of at least the same cop number as the starting graphs.
△ Less
Submitted 17 March, 2019; v1 submitted 10 November, 2018;
originally announced November 2018.
-
The evolution of the structure of ABC-minimal trees
Authors:
Seyyed Aliasghar Hosseini,
Bojan Mohar,
Mohammad Bagher Ahmadi
Abstract:
The atom-bond connectivity (ABC) index is a degree-based molecular descriptor that found diverse chemical applications. Characterizing trees with minimum ABC-index remained an elusive open problem even after serious attempts and is considered by some as one of the most intriguing open problems in mathematical chemistry. In this paper, we describe the exact structure of the extremal trees with suff…
▽ More
The atom-bond connectivity (ABC) index is a degree-based molecular descriptor that found diverse chemical applications. Characterizing trees with minimum ABC-index remained an elusive open problem even after serious attempts and is considered by some as one of the most intriguing open problems in mathematical chemistry. In this paper, we describe the exact structure of the extremal trees with sufficiently many vertices and we show how their structure evolves when the number of vertices grows. An interesting fact is that their radius is at most~$5$ and that all vertices except for one have degree at most 54. In fact, all but at most $O(1)$ vertices have degree 1, 2, 4, or 53. Let $γ_n = \min\{\abc(T) : T \text{ is a tree of order } n\}$. It is shown that $γ_n = \tfrac{1}{365} \sqrt{\tfrac{1}{53}} \Bigl(1 + 26\sqrt{55} + 156\sqrt{106} \Bigr) n + O(1) \approx 0.67737178\, n + O(1)$.
△ Less
Submitted 4 November, 2019; v1 submitted 5 April, 2018;
originally announced April 2018.
-
A Regularization Term Based on a Discrete Total Variation for Mathematical Image Processing
Authors:
Alireza Hosseini
Abstract:
In this paper, a new regularization term is proposed to solve mathematical image problems. By using difference operators in the four directions; horizontal, vertical and two diagonal directions, an estimation of derivative amplitude is found. Based on the new obtained estimation, a new regularization term will be defined, which can be viewed as a new discretized total variation (TVprn) model. By i…
▽ More
In this paper, a new regularization term is proposed to solve mathematical image problems. By using difference operators in the four directions; horizontal, vertical and two diagonal directions, an estimation of derivative amplitude is found. Based on the new obtained estimation, a new regularization term will be defined, which can be viewed as a new discretized total variation (TVprn) model. By improving TVprn, a more effective regularization term is introduced. By finding conjugate of TVprn and producing vector fields with special constraints, a new discretized TV for two dimensional discrete functions is proposed (TVnew). The capability of the new TV model to solve mathematical image problems is examined in some numerical experiments. It is shown that the new proposed TV model can reconstruct the edges and corners of the noisy images better than other TVs. Moreover, two test experiments of resolution enhancement problem are solved and compared with some other different TVs.
△ Less
Submitted 13 September, 2022; v1 submitted 28 November, 2017;
originally announced November 2017.
-
Possible heights of graph transformation groups
Authors:
Fatemah Ayatollah Zadeh Shirazi,
Arezoo Hosseini,
Zahra Nili Ahmadabadi
Abstract:
In the following text we prove that for all finite $p\geq0$ there exists a topological graph $X$ such that $\{p,p+1,p+2,\ldots\}\cup\{+\infty\}$ is the collection of all possible heights for transformation groups with phase space $X$. Moreover for all topological graph $X$ with $p$ as height of transformation group $(Homeo(X),X)$, $\{p,p+1,p+2,\ldots\}\cup\{+\infty\}$ again is the collection of al…
▽ More
In the following text we prove that for all finite $p\geq0$ there exists a topological graph $X$ such that $\{p,p+1,p+2,\ldots\}\cup\{+\infty\}$ is the collection of all possible heights for transformation groups with phase space $X$. Moreover for all topological graph $X$ with $p$ as height of transformation group $(Homeo(X),X)$, $\{p,p+1,p+2,\ldots\}\cup\{+\infty\}$ again is the collection of all possible heights for transformation groups with phase space $X$.
△ Less
Submitted 2 September, 2021; v1 submitted 30 October, 2017;
originally announced October 2017.
-
On a class between Devaney chaotic and Li-Yorke chaotic generalized shift dynamical systems
Authors:
Fatemah Ayatollah Zadeh Shirazi,
Fatemeh Ebrahimifar,
Maryam Hagh Jooyan,
Arezoo Hosseini
Abstract:
In the following text, for finite discrete $X$ with at least two elements, nonempty countable $Γ$, and $\varphi:Γ\toΓ$ we prove the generalized shift dynamical system $(X^Γ,σ_\varphi)$ is densely chaotic if and only if $\varphi:Γ\toΓ$ does not have any (quasi-)periodic point. Hence the class of all densely chaotic generalized shifts on $X^Γ$ is intermediate between the class of all Devaney chaotic…
▽ More
In the following text, for finite discrete $X$ with at least two elements, nonempty countable $Γ$, and $\varphi:Γ\toΓ$ we prove the generalized shift dynamical system $(X^Γ,σ_\varphi)$ is densely chaotic if and only if $\varphi:Γ\toΓ$ does not have any (quasi-)periodic point. Hence the class of all densely chaotic generalized shifts on $X^Γ$ is intermediate between the class of all Devaney chaotic generalized shifts on $X^Γ$ and the class of all Li-Yorke chaotic generalized shifts on $X^Γ$. In addition, these inclusions are proper for infinite countable $Γ$.
Moreover we prove $(X^Γ,σ_\varphi)$ is Li-Yorke sensitive (resp. sensitive, strongly sensitive, asymptotic sensitive, syndetically sensitive, cofinitely sensitive, multi-sensitive, ergodically sensitive, spatiotemporally chaotic, Li-Yorke chaotic) if and only if $\varphi:Γ\toΓ$ has at least one non-quasi-periodic point.
△ Less
Submitted 11 August, 2021; v1 submitted 16 August, 2017;
originally announced August 2017.
-
Simulated Tornado Optimization
Authors:
S. Hossein Hosseini,
Tohid Nouri,
Afshin Ebrahimi,
S. Ali Hosseini
Abstract:
We propose a swarm-based optimization algorithm inspired by air currents of a tornado. Two main air currents - spiral and updraft - are mimicked. Spiral motion is designed for exploration of new search areas and updraft movements is deployed for exploitation of a promising candidate solution. Assignment of just one search direction to each particle at each iteration, leads to low computational com…
▽ More
We propose a swarm-based optimization algorithm inspired by air currents of a tornado. Two main air currents - spiral and updraft - are mimicked. Spiral motion is designed for exploration of new search areas and updraft movements is deployed for exploitation of a promising candidate solution. Assignment of just one search direction to each particle at each iteration, leads to low computational complexity of the proposed algorithm respect to the conventional algorithms. Regardless of the step size parameters, the only parameter of the proposed algorithm, called tornado diameter, can be efficiently adjusted by randomization. Numerical results over six different benchmark cost functions indicate comparable and, in some cases, better performance of the proposed algorithm respect to some other metaheuristics.
△ Less
Submitted 31 December, 2016;
originally announced January 2017.
-
Almost All Regular Graphs are Normal
Authors:
Seyed Saeed Changiz Rezaei,
Seyyed Aliasghar Hosseini,
Bojan Mohar
Abstract:
In 1999, De Simone and Körner conjectured that every graph without induced $C_5,C_7,\overline{C}_7$ contains a clique cover $\mathcal C$ and a stable set cover $\mathcal I$ such that every clique in $\mathcal C$ and every stable set in $\mathcal I$ have a vertex in common. This conjecture has roots in information theory and became known as the Normal Graph Conjecture. Here we prove that all graphs…
▽ More
In 1999, De Simone and Körner conjectured that every graph without induced $C_5,C_7,\overline{C}_7$ contains a clique cover $\mathcal C$ and a stable set cover $\mathcal I$ such that every clique in $\mathcal C$ and every stable set in $\mathcal I$ have a vertex in common. This conjecture has roots in information theory and became known as the Normal Graph Conjecture. Here we prove that all graphs of bounded maximum degree and sufficiently large odd girth (linear in the maximum degree) are normal. This implies that for every fixed $d$, random $d$-regular graphs are a.a.s. normal.
△ Less
Submitted 24 November, 2015;
originally announced November 2015.
-
Algebraic entropy of shift endomorphisms on abelian groups
Authors:
Maryam Akhavin,
Fatemah Ayatollah Zadeh Shirazi,
Dikran Dikranjan,
Anna Giordano Bruno,
Arezoo Hosseini
Abstract:
For every finite-to-one map $λ:Γ\toΓ$ and for every abelian group $K$, the generalized shift $σ_λ$ of the direct sum $\bigoplus_ΓK$ is the endomorphism defined by $(x_i)_{i\inΓ}\mapsto(x_{λ(i)})_{i\inΓ}$. In this paper we analyze and compute the algebraic entropy of a generalized shift, which turns out to depend on the cardinality of $K$, but mainly on the function $λ$. We give many examples showi…
▽ More
For every finite-to-one map $λ:Γ\toΓ$ and for every abelian group $K$, the generalized shift $σ_λ$ of the direct sum $\bigoplus_ΓK$ is the endomorphism defined by $(x_i)_{i\inΓ}\mapsto(x_{λ(i)})_{i\inΓ}$. In this paper we analyze and compute the algebraic entropy of a generalized shift, which turns out to depend on the cardinality of $K$, but mainly on the function $λ$. We give many examples showing that the generalized shifts provide a very useful universal tool for producing counter-examples.
△ Less
Submitted 4 July, 2010;
originally announced July 2010.
