Searcharxiv⌕ Search

arXiv subjects

Amir Daneshgar

Publications and source records attributed to Amir Daneshgar.

14 recordsLinked to original sources
arXiv2023

The Loop of the Rings: A Fully Decentralized Cooperative System (The Concept)

We introduce $LoR$, a secure, fully decentralized, and distributed cooperative system, where $LoR$ stands for "the Loop of the Rings". Distinct from conventional transaction-oriented systems, $LoR$ prioritizes {\it cooperation} using its ring-based structure, making it possible to be used both as a cooperative workspace as well as a versatile platform for service provisioning, accommodating various roles such as freelancers, IoT management systems, and even managing 5G-related services. Within this system, users have access to a secure and reliable environment, enabling them to offer a specific set of services to a potentially vast number of users. Our main contribution is to introduce the new structure along with its operating rules and principles, applying a combination of randomized procedures, in such a way that the whole system can be modeled fairly accurately in mathematically rigorous terms. This, in particular, is used to provide rigorous proof for the facts that $LoR$ is both reliable and secure and that it may be efficiently implemented based on its typical communication complexity.

cs.CR↗
arXiv2021

Mean Isoperimetry with Control on Outliers: Exact and Approximation Algorithms

Given a weighted graph $G=(V,E)$ with weight functions $c:E\to \mathbb{R}_+$ and $π:V\to \mathbb{R}_+$, and a subset $U\subseteq V$, the normalized cut value for $U$ is defined as the sum of the weights of edges exiting $U$ divided by the weight of vertices in $U$. The {\it mean isoperimetry problem}, $\mathsf{ISO}^1(G,k)$, for a weighted graph $G$ is a generalization of the classical uniform sparsest cut problem in which, given a parameter $k$, the objective is to find $k$ disjoint nonempty subsets of $V$ minimizing the average normalized cut value of the parts. The robust version of the problem seeks an optimizer where the number of vertices that fall out of the subpartition is bounded by some given integer $0 \leq ρ\leq |V|$. Our main result states that $\mathsf{ISO}^1(G,k)$, as well as its robust version, $\mathsf{CRISO}^1(G,k,ρ)$, subjected to the condition that each part of the subpartition induces a connected subgraph, are solvable in time $O(k^2 ρ^2\ π(V(T)^3)$ on any weighted tree $T$, in which $π(V(T))$ is the sum of the vertex-weights. This result implies that $\mathsf{ISO}^1(G,k)$ is strongly polynomial-time solvable on weighted trees when the vertex-weights are polynomially bounded and may be compared to the fact that the problem is NP-Hard for weighted trees in general. Also, using this, we show that both mentioned problems, $\mathsf{ISO}^1(G,k)$ and $\mathsf{CRISO}^1(G,k,ρ)$ as well as the ordinary robust mean isoperimetry problem $\mathsf{RISO}^1(G,k,ρ)$, admit polynomial-time $O(\log^{1.5}|V| \log\log |V|)$-approximation algorithms for weighted graphs with polynomially bounded weights, using the R{ä}cke-Shah tree cut sparsifier.

cs.DS↗
arXiv2021

Concrete Evaluation of the Random Probing Security

We study masked implementation's security when an adversary randomly probes each of its internal variables, intending to recover non-trivial knowledge about its secrets. We introduce a novel metric called Secret Recovery Probability (SRP) for assessing the informativeness of the probing leakages about the masked secrets. To evaluate SRP, our starting point is to describe the relations of the intermediate variables with a parity equation system where the target secret is an unknown of this system ...

cs.CR↗
arXiv2017

A Secure Self-synchronized Stream Cipher

We follow two main objectives in this article. On the one hand, we introduce a security model called LORBACPA$^+$ for self-synchronized stream ciphers which is stronger than the blockwise LOR-IND-CPA, where we show that standard constructions as delayed CBC or similar existing self-synchronized modes of operation are not secure in this stronger model. Then, on the other hand, following contributions of G.~Millérioux et.al., we introduce a new self-synchronized stream cipher and prove its security in LORBACPA$^+$ model.

cs.CR↗
arXiv2016

On the Spectra of Symmetric Cylindrical Constructs

In this article, following [A.~Daneshgar, M.~Hejrati, M.~Madani, {\it On cylindrical graph construction and its applications}, EJC, 23(1) p1.29, 45, 2016] we study the spectra of symmetric cylindrical constructs, generalizing some well-known results on the spectra of a variety of graph products, graph subdivisions by V.~B.~Mnuhin (1980) and the spectra of GI-graphs (see [M.~Conder, T.~Pisanski, and A.~{Ž}itnik, {\it GI-graphs: a new class of graphs with many symmetries}, 40, 209--231 (2014)] and references therein). In particular, we show that for bsymmetric cylinders with no internal vertex the spectra is actually equal to the eigenvalues of a perturbation of the base, and using this, we study the spectra of sparsifications of complete graphs by tree-cylinders. We also, show that a specific version of this construction gives rise to a class of highly symmetric graphs as a generalization of Petersen and Coxeter graphs.

math.CO↗
arXiv2015

On The Isoperimetric Spectrum of Graphs and Its Approximations

In this paper we consider higher isoperimetric numbers of a (finite directed) graph. In this regard we focus on the $n$th mean isoperimetric constant of a directed graph as the minimum of the mean outgoing normalized flows from a given set of $n$ disjoint subsets of the vertex set of the graph. We show that the second mean isoperimetric constant in this general setting, coincides with (the mean version of) the classical Cheeger constant of the graph, while for the rest of the spectrum we show that there is a fundamental difference between the $n$th isoperimetric constant and the number obtained by taking the minimum over all $n$-partitions. In this direction, we show that our definition is the correct one in the sense that it satisfies a Federer-Fleming-type theorem, and we also define and present examples for the concept of a supergeometric graph as a graph whose mean isoperimetric constants are attained on partitions at all levels. Moreover, considering the ${\bf NP}$-completeness of the isoperimetric problem on graphs, we address ourselves to the approximation problem where we prove general spectral inequalities that give rise to a general Cheeger-type inequality as well. On the other hand, we also consider some algorithmic aspects of the problem where we show connections to orthogonal representations of graphs and following J.~Malik and J.~Shi ($2000$) we study the close relationships to the well-known $k$-means algorithm and normalized cuts method.

math.CO↗
arXiv2015

On the odd girth and the circular chromatic number of generalized Petersen graphs

A class of simple graphs such as ${\cal G}$ is said to be {\it odd-girth-closed} if for any positive integer $g$ there exists a graph $G \in {\cal G}$ such that the odd-girth of $G$ is greater than or equal to $g$. An odd-girth-closed class of graphs ${\cal G}$ is said to be {\it odd-pentagonal} if there exists a positive integer $g^*$ depending on ${\cal G}$ such that any graph $G \in {\cal G}$ whose odd-girth is greater than $g^*$ admits a homomorphism to the five cycle (i.e. is $C_{_{5}}$-colorable). In this article, we show that finding the odd girth of generalized Petersen graphs can be transformed to an integer programming problem, and using this we explicitly compute the odd girth of such graphs, showing that the class is odd-girth-closed. Also, motivated by showing that the class of generalized Petersen graphs is odd-pentagonal, we study the circular chromatic number of such graphs.

math.CO↗
arXiv2014

A Self-synchronized Image Encryption Scheme

In this paper, a word based chaotic image encryption scheme for gray images is proposed, that can be used in both synchronous and self-synchronous modes. The encryption scheme operates in a finite field where we have also analyzed its performance according to numerical precision used in implementation. We show that the scheme not only passes a variety of security tests, but also it is verified that the proposed scheme operates faster than other existing schemes of the same type even when using lightweight short key sizes.

cs.CR↗
arXiv2014

Cylindrical Graph Construction (definition and basic properties)

In this article we introduce the {\it cylindrical construction} for graphs and investigate its basic properties. We state a main result claiming a weak tensor-like duality for this construction. Details of our motivations and applications of the construction will appear elsewhere.

math.CO↗
arXiv2012

Clustering Using Isoperimetric Number of Trees

In this paper we propose a graph-based data clustering algorithm which is based on exact clustering of a minimum spanning tree in terms of a minimum isoperimetry criteria. We show that our basic clustering algorithm runs in $O(n \log n)$ and with post-processing in $O(n^2)$ (worst case) time where $n$ is the size of the data set. We also show that our generalized graph model which also allows the use of potentials at vertices can be used to extract a more detailed pack of information as the {\it outlier profile} of the data set. In this direction we show that our approach can be used to define the concept of an outlier-set in a precise way and we propose approximation algorithms for finding such sets. We also provide a comparative performance analysis of our algorithm with other related ones and we show that the new clustering algorithm (without the outlier extraction procedure) behaves quite effectively even on hard benchmarks and handmade examples.

cs.CV↗
arXiv2010

On Complexity of Isoperimetric Problems on Trees

This paper is aimed to investigate some computational aspects of different isoperimetric problems on weighted trees. In this regard, we consider different connectivity parameters called {\it minimum normalized cuts}/{\it isoperimteric numbers} defined through taking minimum of the maximum or the mean of the normalized outgoing flows from a set of subdomains of vertices, where these subdomains constitute a {\it partition}/{\it subpartition}. Following the main result of [A. Daneshgar, {\it et. al.}, {\it On the isoperimetric spectrum of graphs and its approximations}, JCTB, (2010)], it is known that the isoperimetric number and the minimum normalized cut both can be described as $\{0,1\}$-optimization programs, where the latter one does {\it not} admit a relaxation to the reals. We show that the decision problem for the case of taking $k$-partitions and the maximum (called the max normalized cut problem {\rm NCP}$^M$) as well as the other two decision problems for the mean version (referred to as {\rm IPP}$^m$ and {\rm NCP}$^m$) are $NP$-complete problems. On the other hand, we show that the decision problem for the case of taking $k$-subpartitions and the maximum (called the max isoperimetric problem {\rm IPP}$^M$) can be solved in {\it linear time} for any weighted tree and any $k \geq 2$. Based on this fact, we provide polynomial time $O(k)$-approximation algorithms for all different versions of $k$th isoperimetric numbers considered. Moreover, when the number of partitions/subpartitions, $k$, is a fixed constant, as an extension of a result of B. Mohar (1989) for the case $k=2$ (usually referred to as the Cheeger constant), we prove that max and mean isoperimetric numbers of weighted trees as well as their max normalized cut can be computed in polynomial time. We also prove some hardness results for the case of simple unweighted graphs and trees.

cs.CC↗
arXiv2010

Graph Coloring and Function Simulation

We prove that every partial function with finite domain and range can be effectively simulated through sequential colorings of graphs. Namely, we show that given a finite set $S=\{0,1,\ldots,m-1\}$ and a number $n \geq \max\{m,3\}$, any partial function $φ:S^{^p} \to S^{^q}$ (i.e. it may not be defined on some elements of its domain $S^{^p}$) can be effectively (i.e. in polynomial time) transformed to a simple graph $\matr{G}_{_{φ,n}}$ along with three sets of specified vertices $$X = \{x_{_{0}},x_{_{1}},\ldots,x_{_{p-1}}\}, \ \ Y = \{y_{_{0}},y_{_{1}},\ldots,y_{_{q-1}}\}, \ \ R = \{\Kv{0},\Kv{1},\ldots,\Kv{n-1}\},$$ such that any assignment $σ_{_{0}}: X \cup R \to \{0,1,\ldots,n-1\} $ with $σ_{_{0}}(\Kv{i})=i$ for all $0 \leq i < n$, is {\it uniquely} and {\it effectively} extendable to a proper $n$-coloring $σ$ of $\matr{G}_{_{φ,n}}$ for which we have $$φ(σ(x_{_{0}}),σ(x_{_{1}}),\ldots,σ(x_{_{p-1}}))=(σ(y_{_{0}}),σ(y_{_{1}}),\ldots,σ(y_{_{q-1}})),$$ unless $(σ(x_{_{0}}),σ(x_{_{1}}),\ldots,σ(x_{_{p-1}}))$ is not in the domain of $φ$ (in which case $σ_{_{0}}$ has no extension to a proper $n$-coloring of $\matr{G}_{_{φ,n}}$).

math.CO↗
arXiv2008

On Sequential Coloring of Graphs and its Defining Sets

In this paper, based on the contributions of Tucker (1983) and Seb{ő} (1992), we generalize the concept of a sequential coloring of a graph to a framework in which the algorithm may use a coloring rule-base obtained from suitable forcing structures. In this regard, we introduce the {\it weak} and {\it strong sequential defining numbers} for such colorings and as the main results, after proving some basic properties, we show that these two parameters are intrinsically different and their spectra are nontrivial. Also, we consider the natural problems related to the complexity of computing such parameters and we show that in a variety of cases these problems are ${\bf NP}$-complete. We conjecture that this result does not depend on the rule-base for all nontrivial cases.

math.CO↗