-
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.
-
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.
-
On pseudo-codecomposition of a transformation group
Authors:
Safoura Arzanesh,
Fatemah Ayatollah Zadeh Shirazi,
Reza Rezavand
Abstract:
In the following text we introduce the concept of pseudo-codecomposition of a transformation group, also we show the collection of all transformation groups pseudo-codecomposable to distal ones is a proper intermediate class of the class of all transformation groups and the class of all transformation groups codecomposable to distal ones.
In the following text we introduce the concept of pseudo-codecomposition of a transformation group, also we show the collection of all transformation groups pseudo-codecomposable to distal ones is a proper intermediate class of the class of all transformation groups and the class of all transformation groups codecomposable to distal ones.
△ Less
Submitted 16 December, 2022;
originally announced December 2022.
-
The 511-CAM Mission: A Pointed 511 keV Gamma-Ray Telescope with a Focal Plane Detector Made of Stacked Transition Edge Sensor Microcalorimeter Arrays
Authors:
Farzane Shirazi,
Md. Arman Hossen,
Daniel Becker,
Daniel Schmidt,
Daniel Swetz,
Douglas Bennett,
Dana Braun,
Ephraim Gau,
Fabian Kislat,
Johnathon Gard,
John Mates,
Joel Weber,
Nicole Rodriguez Cavero,
Sohee Chun,
Lindsey Lisalda,
Andrew West,
Bhupal Dev,
Francesc Ferrer,
Richard Bose,
Joel Ullom,
Henric Krawczynski
Abstract:
The 511 keV gamma-ray emission from the galactic center region may fully or partially originate from the annihilation of positrons from dark matter particles with electrons from the interstellar medium. Alternatively, the positrons could be created by astrophysical sources, involving exclusively standard model physics. We describe here a new concept for a 511 keV mission called 511-CAM (511 keV ga…
▽ More
The 511 keV gamma-ray emission from the galactic center region may fully or partially originate from the annihilation of positrons from dark matter particles with electrons from the interstellar medium. Alternatively, the positrons could be created by astrophysical sources, involving exclusively standard model physics. We describe here a new concept for a 511 keV mission called 511-CAM (511 keV gamma-ray CAmera using Micro-calorimeters) that combines focusing gamma-ray optics with a stack of Transition Edge Sensor (TES) microcalorimeter arrays in the focal plane. The 511-CAM detector assembly has a projected 511 keV energy resolution of 390 eV Full Width Half Maximum (FWHM) or better, and improves by a factor of at least 11 on the performance of state-of-the-art Ge-based Compton telescopes. Combining this unprecedented energy resolution with sub-arcmin angular resolutions afforded by Laue lens or channeling optics could make substantial contributions to identifying the origin of the 511 keV emission by discovering and characterizing point sources and measuring line-of-sight velocities of the emitting plasmas.
△ Less
Submitted 12 September, 2023; v1 submitted 29 June, 2022;
originally announced June 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.
-
Bridging Sapling: Private Cross-Chain Transfers
Authors:
Aleixo Sanchez,
Alistair Stewart,
Fatemeh Shirazi
Abstract:
Interoperability is one of the main challenges of blockchain technologies, which are generally designed as self-contained systems. Interoperability schemes for privacy-focused blockchains are particularly hard to design: they must integrate with the unique privacy features of the underlying blockchain so as to prove statements about specific transactions in protocols designed to obfuscate them. Th…
▽ More
Interoperability is one of the main challenges of blockchain technologies, which are generally designed as self-contained systems. Interoperability schemes for privacy-focused blockchains are particularly hard to design: they must integrate with the unique privacy features of the underlying blockchain so as to prove statements about specific transactions in protocols designed to obfuscate them. This has led to users being forced to weaken their privacy, e.g. by using centralised exchanges, to move assets from one chain to another. We present ZCLAIM, a framework for trustless cross-chain asset migration based on the Zcash privacy-protecting protocol. ZCLAIM integrates with an implementation of the Sapling version of Zcash on a smart-contract capable issuing chain in order to attain private cross-chain transfers. We show that a tokenised representation can be created via a set of collateralised intermediaries without relying on or revealing the total amount to any third party.
△ Less
Submitted 22 April, 2022;
originally announced April 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.
-
Adaptive optics imaging with a pyramid wavefront sensor for visual science
Authors:
Elisabeth Brunner,
Julia Shatokhina,
Muhammad Faizan Shirazi,
Wolfgang Drexler,
Rainer Leitgeb,
Andreas Pollreisz,
Christoph K. Hitzenberger,
Ronny Ramlau,
Michael Pircher
Abstract:
The pyramid wavefront sensor (P-WFS) has replaced the Shack-Hartmann (SH-) WFS as sensor of choice for high performance adaptive optics (AO) systems in astronomy because of its flexibility in pupil sampling, its dynamic range, and its improved sensitivity in closed-loop application. Usually, a P-WFS requires modulation and high precision optics that lead to high complexity and costs of the sensor.…
▽ More
The pyramid wavefront sensor (P-WFS) has replaced the Shack-Hartmann (SH-) WFS as sensor of choice for high performance adaptive optics (AO) systems in astronomy because of its flexibility in pupil sampling, its dynamic range, and its improved sensitivity in closed-loop application. Usually, a P-WFS requires modulation and high precision optics that lead to high complexity and costs of the sensor. These factors limit the competitiveness of the P-WFS with respect to other WFS devices for AO correction in visual science. Here, we present a cost effective realization of AO correction with a non-modulated PWFS and apply this technique to human retinal in vivo imaging using optical coherence tomography (OCT). P-WFS based high quality AO imaging was, to the best of our knowledge for the first time, successfully performed in 5 healthy subjects and benchmarked against the performance of conventional SH-WFS based AO. Smallest retinal cells such as central foveal cone photoreceptors are visualized and we observed a better quality of the images recorded with the P-WFS. The robustness and versatility of the sensor is demonstrated in the model eye under various conditions and in vivo by high-resolution imaging of other structures in the retina using standard and extended fields of view.
△ Less
Submitted 28 June, 2021; v1 submitted 18 June, 2021;
originally announced June 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.
-
Overview of Polkadot and its Design Considerations
Authors:
Jeff Burdges,
Alfonso Cevallos,
Peter Czaban,
Rob Habermeier,
Syed Hosseini,
Fabio Lama,
Handan Kilinc Alper,
Ximin Luo,
Fatemeh Shirazi,
Alistair Stewart,
Gavin Wood
Abstract:
In this paper we describe the design components of the heterogenous multi-chain protocol Polkadot and explain how these components help Polkadot address some of the existing shortcomings of blockchain technologies. At present, a vast number of blockchain projects have been introduced and employed with various features that are not necessarily designed to work with each other. This makes it difficu…
▽ More
In this paper we describe the design components of the heterogenous multi-chain protocol Polkadot and explain how these components help Polkadot address some of the existing shortcomings of blockchain technologies. At present, a vast number of blockchain projects have been introduced and employed with various features that are not necessarily designed to work with each other. This makes it difficult for users to utilise a large number of applications on different blockchain projects. Moreover, with the increase in number of projects the security that each one is providing individually becomes weaker. Polkadot aims to provide a scalable and interoperable framework for multiple chains with pooled security that is achieved by the collection of components described in this paper.
△ Less
Submitted 29 May, 2020; v1 submitted 27 May, 2020;
originally announced May 2020.
-
On proximal relations in transformation semigroups arising from generalized shifts
Authors:
Fatemah Ayatollah Zadeh Shirazi,
Amir Fallahpour,
Mohammad Reza Mardanbeigi,
Zahra Nili Ahmadabadi
Abstract:
For a finite discrete topological space $X$ with at least two elements, a nonempty set $Γ$, and a map $\varphi:Γ\toΓ$, $σ_\varphi:X^Γ\to X^Γ$ with $σ_\varphi((x_α)_{α\inΓ})= (x_{\varphi(α)})_{α\inΓ}$ (for $(x_α)_{α\inΓ}\in X^Γ$) is a generalized shift. In this text for $\mathcal{S}=\{σ_ψ:ψ\inΓ^Γ\}$ and $\mathcal{H}=\{σ_ψ: Γ\mathop{\rightarrow}\limits^ψΓ$ is bijective$\}$ we study proximal relation…
▽ More
For a finite discrete topological space $X$ with at least two elements, a nonempty set $Γ$, and a map $\varphi:Γ\toΓ$, $σ_\varphi:X^Γ\to X^Γ$ with $σ_\varphi((x_α)_{α\inΓ})= (x_{\varphi(α)})_{α\inΓ}$ (for $(x_α)_{α\inΓ}\in X^Γ$) is a generalized shift. In this text for $\mathcal{S}=\{σ_ψ:ψ\inΓ^Γ\}$ and $\mathcal{H}=\{σ_ψ: Γ\mathop{\rightarrow}\limits^ψΓ$ is bijective$\}$ we study proximal relations of transformation semigroups $(\mathcal{S},X^Γ)$ and $(\mathcal{H},X^Γ)$. Regarding proximal relation we prove: \[P({\mathcal S},X^Γ)=\{((x_α)_{α\inΓ},(y_α)_{α\inΓ}) \in X^Γ\times X^Γ: \existsβ\inΓ\:(x_β=y_β)\}\] and $P({\mathcal H},X^Γ)\subseteq \{((x_α)_{α\inΓ},(y_α)_{α\inΓ}) \in X^Γ\times X^Γ: \{β\inΓ:x_β=y_β\}$ is infinite~$\}\cup\{ (x,x):x\in \mathcal{X}\}$. \\ Moreover, for infinite $Γ$, both transformation semigroups $({\mathcal S},X^Γ)$ and $({\mathcal H},X^Γ)$ are regionally proximal, i.e., $Q({\mathcal S},X^Γ)=Q({\mathcal H},X^Γ)=X^Γ\times X^Γ$, also for sydetically proximal relation we have $L({\mathcal H},X^Γ)=\{((x_α)_{α\inΓ},(y_α)_{α\inΓ}) \in X^Γ\times X^Γ: \{γ\inΓ:x_γ\neq y_γ\}$ is finite$\}$.
△ Less
Submitted 28 September, 2019;
originally announced September 2019.
-
Gamma-rays from kilonova: a potential probe of r-process nucleosynthesis
Authors:
Oleg Korobkin,
Aimee M. Hungerford,
Christopher L. Fryer,
Matthew R. Mumpower,
G. Wendell Misch,
Trevor M. Sprouse,
Jonas Lippuner,
Rebecca Surman,
Aaron J. Couture,
Peter F. Bloser,
Farzane Shirazi,
Wesley P. Even,
W. Thomas Vestrand,
Richard S. Miller
Abstract:
The mergers of compact binaries with at least one neutron star component are the potential leading sites of the production and ejection of $r$-process elements. Discoveries of galactic binary pulsars, short gamma-ray bursts, and gravitational-wave detections have all been constraining the rate of these events, while the gravitational wave plus broadband electromagnetic coverage of binary neutron s…
▽ More
The mergers of compact binaries with at least one neutron star component are the potential leading sites of the production and ejection of $r$-process elements. Discoveries of galactic binary pulsars, short gamma-ray bursts, and gravitational-wave detections have all been constraining the rate of these events, while the gravitational wave plus broadband electromagnetic coverage of binary neutron star merger (GW170817) has also placed constraints on the properties (mass and composition) of the merger ejecta. But uncertainties and ambiguities in modeling the optical and infrared emission make it difficult to definitively measure the distribution of heavy isotopes in these mergers. In contrast, gamma rays emitted in the decay of these neutron-rich ejecta may provide a more direct measurement of the yields. We calculate the gamma production in remnants of neutron star mergers, considering two epochs: a kilonova epoch, lasting about two weeks, and a much later epoch of tens and hundreds of thousands of years after the merger. For the kilonova epoch, when the expanding ejecta is still only partially transparent to gamma radiation, we use 3D radiative transport simulations to produce the spectra. We show that the gamma-ray spectra associated with beta- and alpha-decay provide a fingerprint of the ejecta properties and, for a sufficiently nearby remnant, may be detectable, even for old remnants. We compare our gamma spectra with the potential detection limits of next generation detectors, including the Lunar Occultation Explorer (LOX), the All-sky Medium Energy Gamma-ray Observatory (AMEGO), and the Compton Spectrometer and Imager (COSI). We show that fission models can be discriminated via the presence of short-lived fission fragments in the remnant spectra.
△ Less
Submitted 9 April, 2020; v1 submitted 13 May, 2019;
originally announced May 2019.
-
A Whole-Body Model Predictive Control Scheme Including External Contact Forces and CoM Height Variations
Authors:
Reihaneh Mirjalili,
Aghil Yousefi-koma,
Farzad A. Shirazi,
Arman Nikkhah,
Fatemeh Nazemi,
Majid Khadiv
Abstract:
In this paper, we present an approach for generating a variety of whole-body motions for a humanoid robot. We extend the available Model Predictive Control (MPC) approaches for walking on flat terrain to plan for both vertical motion of the Center of Mass (CoM) and external contact forces consistent with a given task. The optimization problem is comprised of three stages, i. e. the CoM vertical mo…
▽ More
In this paper, we present an approach for generating a variety of whole-body motions for a humanoid robot. We extend the available Model Predictive Control (MPC) approaches for walking on flat terrain to plan for both vertical motion of the Center of Mass (CoM) and external contact forces consistent with a given task. The optimization problem is comprised of three stages, i. e. the CoM vertical motion, joint angles, and contact forces planning. The choice of external contact (e. g. hand contact with the object or environment) among all available locations and the appropriate time to reach and maintain a contact are all computed automatically within the algorithm. The presented algorithm benefits from the simplicity of the Linear Inverted Pendulum Model (LIPM), while it overcomes the common limitations of this model and enables us to generate a variety of whole-body motions through external contacts. Simulation and experimental implementation of several whole-body actions in multi-contact scenarios on a humanoid robot show the capability of the proposed algorithm.
△ Less
Submitted 24 October, 2018;
originally announced October 2018.
-
Possible heights of Alexandroff square transformation groups
Authors:
Fatemah Ayatollah Zadeh Shirazi,
Fatemeh Ebrahimifar,
Reza Yaghmaeian,
Hamed Yahyaoghli
Abstract:
In the following text we compute possible heights of $\mathbb A$ (Alexandroff square), $\mathbb O$ (unit square $[0,1]\times[0,1]$ with lexicographic order topology) and $\mathbb U$ (unit square $[0,1]\times[0,1]$ with induced topology of Euclidean plane). We prove $P_h(\mathbb{A})=\{n:n\geq5\}\cup\{+\infty\}$, $P_h(\mathbb{O})=\{n:n\geq4\}\cup\{+\infty\}$,…
▽ More
In the following text we compute possible heights of $\mathbb A$ (Alexandroff square), $\mathbb O$ (unit square $[0,1]\times[0,1]$ with lexicographic order topology) and $\mathbb U$ (unit square $[0,1]\times[0,1]$ with induced topology of Euclidean plane). We prove $P_h(\mathbb{A})=\{n:n\geq5\}\cup\{+\infty\}$, $P_h(\mathbb{O})=\{n:n\geq4\}\cup\{+\infty\}$, $P_h(\mathbb{U})=\{n:n\geq1\}\cup\{+\infty\}$ (where for topological space $X$, by $P_h(X)$ we mean the collection of heights of transformation groups with phase space $X$. In this way we also prove that there is not any topological transitive (resp. Devaney chaotic) Alexandroff square transformation group.
△ Less
Submitted 2 October, 2018;
originally announced October 2018.
-
On Li--Yorke chaotic transformation groups modulo an ideal
Authors:
Mehrnaz Pourattar,
Fatemah Ayatollah Zadeh Shirazi
Abstract:
In the following text we introduce the notion of chaoticity modulo an ideal in the sense of Li-Yorke in topological transformation semigroups and bring some of its elementary properties. We continue our study by characterizing a class of abelian infinite Li-Yorke chaotic Fort transformation groups and show all of the elements of the above class is co-decomposable to non-Li-Yorke chaotic transforma…
▽ More
In the following text we introduce the notion of chaoticity modulo an ideal in the sense of Li-Yorke in topological transformation semigroups and bring some of its elementary properties. We continue our study by characterizing a class of abelian infinite Li-Yorke chaotic Fort transformation groups and show all of the elements of the above class is co-decomposable to non-Li-Yorke chaotic transformation groups.
△ Less
Submitted 23 February, 2021; v1 submitted 5 August, 2018;
originally announced August 2018.
-
Set-theoretical entropies of Euler's totient function and other number theoretical special functions
Authors:
Fatemah Ayatollah Zadeh Shirazi,
Reza Yaghmaeian
Abstract:
In the following text we show set--theoretical entropy of Euler's totient function and contravariant set--theoretical entropy of Dedekind psi function are zero. Also contravariant set--theoretical entropy of Euler's totient function and set--theoretical entropy of Dedekind psi function are $+\infty$. We pay attention to some of the other number theoretical special functions too. We continue our st…
▽ More
In the following text we show set--theoretical entropy of Euler's totient function and contravariant set--theoretical entropy of Dedekind psi function are zero. Also contravariant set--theoretical entropy of Euler's totient function and set--theoretical entropy of Dedekind psi function are $+\infty$. We pay attention to some of the other number theoretical special functions too. We continue our studies on Alexandroff topologies induced by Euler's totient function and Dedekind psi function.
△ Less
Submitted 21 May, 2018;
originally announced May 2018.
-
Top-designs in the category of Fort spaces
Authors:
Mehrnaz Pourattar,
Fatemah Ayatollah Zadeh Shirazi
Abstract:
In infinite topological Fort space $X$, for nonempty subsets $C,D$ of $X$ in the following text we answer to this question "Is there any $λ$ and Top--design $C-(X,D,λ)$ of type $i$?" for $i=1,2,3,4$. We prove there exist $λ$ and $C-(X,D,λ)$, Top--design of type 2 (resp. type 4) if and only if $C$ can be embedded into $D$.
In infinite topological Fort space $X$, for nonempty subsets $C,D$ of $X$ in the following text we answer to this question "Is there any $λ$ and Top--design $C-(X,D,λ)$ of type $i$?" for $i=1,2,3,4$. We prove there exist $λ$ and $C-(X,D,λ)$, Top--design of type 2 (resp. type 4) if and only if $C$ can be embedded into $D$.
△ Less
Submitted 28 April, 2018;
originally announced April 2018.
-
Is there any nontrivial compact generalized shift operator on Hilbert spaces?
Authors:
Fatemah Ayatollah Zadeh Shirazi,
Fatemeh Ebrahimifar
Abstract:
In the following text for cardinal number $τ>0$, and self--map $\varphi:τ\toτ$ we show the generalized shift operator $σ_\varphi(\ell^2(τ))\subseteq\ell^2(τ)$ (where $σ_\varphi((x_α)_{α<τ})=(x_{\varphi(α)})_{α<τ}$ for $(x_α)_{α<τ}\in{\mathbb C}^τ$) if and only if $\varphi:τ\toτ$ is bounded and in this case $σ_\varphi\restriction_{\ell^2(τ)}:\ell^2(τ)\to\ell^2(τ)$ is continuous, consequently…
▽ More
In the following text for cardinal number $τ>0$, and self--map $\varphi:τ\toτ$ we show the generalized shift operator $σ_\varphi(\ell^2(τ))\subseteq\ell^2(τ)$ (where $σ_\varphi((x_α)_{α<τ})=(x_{\varphi(α)})_{α<τ}$ for $(x_α)_{α<τ}\in{\mathbb C}^τ$) if and only if $\varphi:τ\toτ$ is bounded and in this case $σ_\varphi\restriction_{\ell^2(τ)}:\ell^2(τ)\to\ell^2(τ)$ is continuous, consequently $σ_\varphi\restriction_{\ell^2(τ)}:\ell^2(τ)\to\ell^2(τ)$ is a compact operator if and only if $τ$ is finite.
△ Less
Submitted 21 April, 2018;
originally announced April 2018.
-
On generalized shift transformation semigroups
Authors:
Fatemah Ayatollah Zadeh Shirazi,
Fatemeh Ebrahimifar
Abstract:
In the following text we prove that for finite discrete $X$ with at least two elements and infinite $Γ$, the generalized shift transformation semigroup $({\mathcal S},X^Γ)$ is equicontinuous (resp. has at least an equicontinuous point, is not sensitive) if and only if for all $w\inΓ$, $\{\varphi(w):σ_\varphi\in{\mathcal S}\}$ is finite. We continue our study regarding distality and expansivity of…
▽ More
In the following text we prove that for finite discrete $X$ with at least two elements and infinite $Γ$, the generalized shift transformation semigroup $({\mathcal S},X^Γ)$ is equicontinuous (resp. has at least an equicontinuous point, is not sensitive) if and only if for all $w\inΓ$, $\{\varphi(w):σ_\varphi\in{\mathcal S}\}$ is finite. We continue our study regarding distality and expansivity of $({\mathcal S},X^Γ)$.
△ Less
Submitted 29 November, 2017;
originally announced December 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.
-
A Reactive and Efficient Walking Pattern Generator for Robust Bipedal Locomotion
Authors:
Fatemeh Nazemi,
Aghil Yousefi-koma,
Farzad A. shirazi,
Majid Khadiv
Abstract:
Available possibilities to prevent a biped robot from falling down in the presence of severe disturbances are mainly Center of Pressure (CoP) modulation, step location and timing adjustment, and angular momentum regulation. In this paper, we aim at designing a walking pattern generator which employs an optimal combination of these tools to generate robust gaits. In this approach, first, the next s…
▽ More
Available possibilities to prevent a biped robot from falling down in the presence of severe disturbances are mainly Center of Pressure (CoP) modulation, step location and timing adjustment, and angular momentum regulation. In this paper, we aim at designing a walking pattern generator which employs an optimal combination of these tools to generate robust gaits. In this approach, first, the next step location and timing are decided consistent with the commanded walking velocity and based on the Divergent Component of Motion (DCM) measurement. This stage which is done by a very small-size Quadratic Program (QP) uses the Linear Inverted Pendulum Model (LIPM) dynamics to adapt the switching contact location and time. Then, consistent with the first stage, the LIPM with flywheel dynamics is used to regenerate the DCM and angular momentum trajectories at each control cycle. This is done by modulating the CoP and Centroidal Momentum Pivot (CMP) to realize a desired DCM at the end of current step. Simulation results show the merit of this reactive approach in generating robust and dynamically consistent walking patterns.
△ Less
Submitted 24 October, 2017;
originally announced October 2017.
-
Set-theoretical entropies of generalized shifts
Authors:
Zahra Nili Ahmadabadi,
Fatemah Ayatollah Zadeh Shirazi
Abstract:
In the following text for arbitrary $X$ with at least two elements, nonempty set $Γ$ and self-map $\varphi:Γ\toΓ$ we prove the set-theoretical entropy of generalized shift $σ_\varphi:X^Γ\to X^Γ$ ($σ_\varphi((x_α)_{α\inΓ})=(x_{\varphi(α)})_{α\inΓ}$ (for $(x_α)_{α\inΓ}\in X^Γ$)) is either zero or infinity, moreover it is zero if and only if $\varphi$ is quasi-periodic. We continue our study on contr…
▽ More
In the following text for arbitrary $X$ with at least two elements, nonempty set $Γ$ and self-map $\varphi:Γ\toΓ$ we prove the set-theoretical entropy of generalized shift $σ_\varphi:X^Γ\to X^Γ$ ($σ_\varphi((x_α)_{α\inΓ})=(x_{\varphi(α)})_{α\inΓ}$ (for $(x_α)_{α\inΓ}\in X^Γ$)) is either zero or infinity, moreover it is zero if and only if $\varphi$ is quasi-periodic. We continue our study on contravariant set-theoretical entropy of generalized shift and motivate the text using counterexamples dealing with algebraic, topological, set-theoretical and contravariant set-theoretical positive entropies of generalized shifts.
△ Less
Submitted 1 February, 2018; v1 submitted 5 September, 2017;
originally announced September 2017.
-
Indicator sequences and indicator topologies of Fort transformation groups
Authors:
Fatemah Ayatollah Zadeh Shirazi,
Fatemeh Ebrahimifar
Abstract:
In the following text we prove that there exists a Fort transformation group with indicator sequence $(p_0,\ldots,p_n)$ if and only if $0=p_0\leq p_1\leq\cdots\leq p_n=1$, moreover we characterize all possible indicator topological spaces of Fort transformation groups.The text will study indicator sequences and indicator topologies of Fort transformation semigroups too.
In the following text we prove that there exists a Fort transformation group with indicator sequence $(p_0,\ldots,p_n)$ if and only if $0=p_0\leq p_1\leq\cdots\leq p_n=1$, moreover we characterize all possible indicator topological spaces of Fort transformation groups.The text will study indicator sequences and indicator topologies of Fort transformation semigroups too.
△ Less
Submitted 25 August, 2017;
originally announced August 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.
-
Distributional chaotic generalized shifts
Authors:
Zahra Nili Ahmadabadi,
Fatemah Ayatollah Zadeh Shirazi
Abstract:
Suppose $X$ is a finite discrete space with at least two elements, $Γ$ is a nonempty countable set, and consider self--map $\varphi:Γ\toΓ$. We prove that the generalized shift $σ_\varphi:X^Γ\to X^Γ$ with $σ_\varphi((x_α)_{α\inΓ})=(x_{\varphi(α)})_{α\inΓ}$ (for $(x_α)_{α\inΓ}\in X^Γ$) is:
$\bullet$ distributional chaotic (uniform, type 1, type 2) if and only if $\varphi:Γ\toΓ$ has at least a non-…
▽ More
Suppose $X$ is a finite discrete space with at least two elements, $Γ$ is a nonempty countable set, and consider self--map $\varphi:Γ\toΓ$. We prove that the generalized shift $σ_\varphi:X^Γ\to X^Γ$ with $σ_\varphi((x_α)_{α\inΓ})=(x_{\varphi(α)})_{α\inΓ}$ (for $(x_α)_{α\inΓ}\in X^Γ$) is:
$\bullet$ distributional chaotic (uniform, type 1, type 2) if and only if $\varphi:Γ\toΓ$ has at least a non-quasi-periodic point,
$\bullet$ dense distributional chaotic if and only if $\varphi:Γ\toΓ$ does not have any periodic point,
$\bullet$ transitive distributional chaotic if and only if $\varphi:Γ\toΓ$ is one--to--one without any periodic point.
We complete the text by counterexamples.
△ Less
Submitted 3 August, 2020; v1 submitted 16 August, 2017;
originally announced August 2017.
-
Multiparty Routing: Secure Routing for Mixnets
Authors:
Fatemeh Shirazi,
Elena Andreeva,
Markulf Kohlweiss,
Claudia Diaz
Abstract:
Anonymous communication networks are important building blocks for online privacy protection. One approach to achieve anonymity is to relay messages through multiple routers, where each router shuffles messages independently. To achieve anonymity, at least one router needs to be honest. In the presence of an adversary that is controlling a subset of the routers unbiased routing is important for gu…
▽ More
Anonymous communication networks are important building blocks for online privacy protection. One approach to achieve anonymity is to relay messages through multiple routers, where each router shuffles messages independently. To achieve anonymity, at least one router needs to be honest. In the presence of an adversary that is controlling a subset of the routers unbiased routing is important for guaranteeing anonymity. However, the routing strategy also influenced other factors such as the scalability and the performance of the system. One solution is to use a fixed route for relaying all messages with many routers. If the route is not fixed the routing decision can either be made by the communication initiator or the intermediate routers. However, the existing routing types each have limitations. For example, one faces scalability issues when increasing the throughput of systems with fixed routes. Moreover, when the routing decision is left to the initiator, the initiator needs to maintain an up-to-date view of the system at all times, which also does not scale. If the routing decision is left to intermediate routers the routing of the communication can be influenced by an adversary. In this work, we propose a novel multiparty routing approach for anonymous communication that addresses these shortcomings. We distribute the routing decision and verify the correctness of routing to achieve routing integrity. More concretely, we provide a mixnet design that uses our routing approach and that in addition, addresses load balancing. We show that our system is secure against a global active adversary.
△ Less
Submitted 9 November, 2017; v1 submitted 10 August, 2017;
originally announced August 2017.
-
On special subgroups of fundamental group
Authors:
Fatemah Ayatollah Zadeh Shirazi,
Fatemeh Ebrahimifar,
Mohammad Ali Mahmoodi
Abstract:
Suppose $α$ is a nonzero cardinal number, $\mathcal I$ is an ideal on arc connected topological space $X$, and ${\mathfrak P}_{\mathcal I}^α(X)$ is the subgroup of $π_1(X)$ (the first fundamental group of $X$) generated by homotopy classes of $α\frac{\mathcal I}{}$loops. The main aim of this text is to study ${\mathfrak P}_{\mathcal I}^α(X)$s and compare them. Most interest is in $α\in\{ω,c\}$ and…
▽ More
Suppose $α$ is a nonzero cardinal number, $\mathcal I$ is an ideal on arc connected topological space $X$, and ${\mathfrak P}_{\mathcal I}^α(X)$ is the subgroup of $π_1(X)$ (the first fundamental group of $X$) generated by homotopy classes of $α\frac{\mathcal I}{}$loops. The main aim of this text is to study ${\mathfrak P}_{\mathcal I}^α(X)$s and compare them. Most interest is in $α\in\{ω,c\}$ and $\mathcal I\in\{\mathcal P_{fin}(X),\{\varnothing\}\}$, where $\mathcal P_{fin}(X)$ denotes the collection of all finite subsets of $X$. We denote ${\mathfrak P}_{\{\varnothing\}}^α(X)$ with ${\mathfrak P}^α(X)$. We prove the following statements:
$\bullet$ for arc connected topological spaces $X$ and $Y$ if ${\mathfrak P}^α(X)$ is isomorphic to ${\mathfrak P}^α(Y)$ for all infinite cardinal number $α$, then $π_1(X)$ is isomorphic to $π_1(Y)$;
$\bullet$ there are arc connected topological spaces $X$ and $Y$ such that $π_1(X)$ is isomorphic to $π_1(Y)$ but ${\mathfrak P}^ω(X)$ is not isomorphic to ${\mathfrak P}^ω(Y)$;
$\bullet$ for arc connected topological space $X$ we have ${\mathfrak P}^ω(X)\subseteq{\mathfrak P}^c(X) \subseteqπ_1(X)$;
$\bullet$ for Hawaiian earring $\mathcal X$, the sets ${\mathfrak P}^ω({\mathcal X})$, ${\mathfrak P}^c({\mathcal X})$, and $π_1({\mathcal X})$ are pairwise distinct.
So ${\mathfrak P}^α(X)$s and ${\mathfrak P}_{\mathcal I}^α(X)$s will help us to classify the class of all arc connected topological spaces with isomorphic fundamental groups.
△ Less
Submitted 18 December, 2020; v1 submitted 10 April, 2017;
originally announced April 2017.
-
Specification properties on uniform spaces
Authors:
Fatemah Ayatollah Zadeh Shirazi,
Zahra Nili Ahmadabadi,
Bahman Taherkhani,
Khosro Tajbakhsh
Abstract:
In the following text we introduce specification property (stroboscopical property) for dynamical systems on uniform space. We focus on two classes of dynamical systems: generalized shifts and dynamical systems with Alexandroff compactification of a discrete space as phase space. We prove that for a discrete finite topological space $X$ with at least two elements, a nonempty set $Γ$ and a self--ma…
▽ More
In the following text we introduce specification property (stroboscopical property) for dynamical systems on uniform space. We focus on two classes of dynamical systems: generalized shifts and dynamical systems with Alexandroff compactification of a discrete space as phase space. We prove that for a discrete finite topological space $X$ with at least two elements, a nonempty set $Γ$ and a self--map $\varphi:Γ\toΓ$ the generalized shift dynamical system $(X^Γ,σ_\varphi)$: \begin{itemize} \item has (almost) weak specification property if and only if $\varphi:Γ\toΓ$
does not have any periodic point,
\item has (uniform) stroboscopical property if and only if $\varphi:Γ\toΓ$
is one-to-one. \end{itemize}
△ Less
Submitted 25 July, 2018; v1 submitted 7 March, 2017;
originally announced March 2017.
-
A Survey on Routing in Anonymous Communication Protocols
Authors:
Fatemeh Shirazi,
Milivoj Simeonovski,
Muhammad Rizwan Asghar,
Michael Backes,
Claudia Diaz
Abstract:
The Internet has undergone dramatic changes in the past 15 years, and now forms a global communication platform that billions of users rely on for their daily activities. While this transformation has brought tremendous benefits to society, it has also created new threats to online privacy, ranging from profiling of users for monetizing personal information to nearly omnipotent governmental survei…
▽ More
The Internet has undergone dramatic changes in the past 15 years, and now forms a global communication platform that billions of users rely on for their daily activities. While this transformation has brought tremendous benefits to society, it has also created new threats to online privacy, ranging from profiling of users for monetizing personal information to nearly omnipotent governmental surveillance. As a result, public interest in systems for anonymous communication has drastically increased. Several such systems have been proposed in the literature, each of which offers anonymity guarantees in different scenarios and under different assumptions, reflecting the plurality of approaches for how messages can be anonymously routed to their destination. Understanding this space of competing approaches with their different guarantees and assumptions is vital for users to understand the consequences of different design options.
In this work, we survey previous research on designing, develo**, and deploying systems for anonymous communication. To this end, we provide a taxonomy for clustering all prevalently considered approaches (including Mixnets, DC-nets, onion routing, and DHT-based protocols) with respect to their unique routing characteristics, deployability, and performance. This, in particular, encompasses the topological structure of the underlying network; the routing information that has to be made available to the initiator of the conversation; the underlying communication model; and performance-related indicators such as latency and communication layer. Our taxonomy and comparative assessment provide important insights about the differences between the existing classes of anonymous communication protocols, and it also helps to clarify the relationship between the routing characteristics of these protocols, and their performance and scalability.
△ Less
Submitted 19 August, 2016;
originally announced August 2016.
-
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.