-
A generalization of quantum pair state transfer
Authors:
Sooyeong Kim,
Hermie Monterde,
Bahman Ahmadi,
Ada Chan,
Stephen Kirkland,
Sarah Plosker
Abstract:
An $s$-pair state in a graph is a quantum state of the form $\mathbf{e}_u+s\mathbf{e}_v$, where $u$ and $v$ are vertices in the graph and $s$ is a non-zero complex number. If $s=-1$ (resp., $s=1$), then such a state is called a pair state (resp. plus state). In this paper, we develop the theory of perfect $s$-pair state transfer in continuous quantum walks, where the Hamiltonian is taken to be the…
▽ More
An $s$-pair state in a graph is a quantum state of the form $\mathbf{e}_u+s\mathbf{e}_v$, where $u$ and $v$ are vertices in the graph and $s$ is a non-zero complex number. If $s=-1$ (resp., $s=1$), then such a state is called a pair state (resp. plus state). In this paper, we develop the theory of perfect $s$-pair state transfer in continuous quantum walks, where the Hamiltonian is taken to be the adjacency, Laplacian or signless Laplacian matrix of the graph. We characterize perfect $s$-pair state transfer in complete graphs, cycles and antipodal distance-regular graphs admitting vertex perfect state transfer. We construct infinite families of graphs with perfect $s$-pair state transfer using quotient graphs and graphs that admit fractional revival. We provide necessary and sufficient conditions such that perfect state transfer between vertices in the line graph relative to the adjacency matrix is equivalent to perfect state transfer between the plus states formed by corresponding edges in the graph relative to the signless Laplacian matrix. Finally, we characterize perfect state transfer between vertices in the line graphs of Cartesian products relative to the adjacency matrix.
△ Less
Submitted 28 July, 2024; v1 submitted 25 April, 2024;
originally announced April 2024.
-
Distinguishing threshold for some graph operations
Authors:
Mohammad Hadi Shekarriz,
Seyed Alireza Talebpour Shirazi Fard,
Bahman Ahmadi,
Mohammad Hassan Shirdareh Haghighi,
Saeid Alikhani
Abstract:
A vertex coloring of a graph $G$ is distinguishing if non-identity automorphisms do not preserve it. The distinguishing number, $D(G)$, is the minimum number of colors required for such a coloring and the distinguishing threshold, $θ(G)$, is the minimum number of colors~$k$ such that any arbitrary $k$-coloring is distinguishing. Moreover, $Φ_k (G)$ is the number of distinguishing coloring of $G$ u…
▽ More
A vertex coloring of a graph $G$ is distinguishing if non-identity automorphisms do not preserve it. The distinguishing number, $D(G)$, is the minimum number of colors required for such a coloring and the distinguishing threshold, $θ(G)$, is the minimum number of colors~$k$ such that any arbitrary $k$-coloring is distinguishing. Moreover, $Φ_k (G)$ is the number of distinguishing coloring of $G$ using at most $k$ colors. In this paper, for some graph operations, namely, vertex-sum, rooted product, corona product and lexicographic product, we find formulae of the distinguishing number and threshold using $Φ_k (G)$.
△ Less
Submitted 16 December, 2022; v1 submitted 31 August, 2021;
originally announced September 2021.
-
Distinguishing threshold of graphs
Authors:
Mohammad Hadi Shekarriz,
Bahman Ahmadi,
Seyed Alireza Talebpour Shirazi Fard,
Mohammad Hassan Shirdareh Haghighi
Abstract:
A vertex coloring of a graph $G$ is called distinguishing if no non-identity automorphisms of $G$ can preserve it. The distinguishing number of $G$, denoted by $D(G)$, is the minimum number of colors required for such a coloring, and the distinguishing threshold of $G$, denoted by $θ(G)$, is the minimum number $k$ such that every $k$-coloring of $G$ is distinguishing. As an alternative definition,…
▽ More
A vertex coloring of a graph $G$ is called distinguishing if no non-identity automorphisms of $G$ can preserve it. The distinguishing number of $G$, denoted by $D(G)$, is the minimum number of colors required for such a coloring, and the distinguishing threshold of $G$, denoted by $θ(G)$, is the minimum number $k$ such that every $k$-coloring of $G$ is distinguishing. As an alternative definition, $θ(G)$ is one more than the maximum number of cycles in the cycle decomposition of automorphisms of $G$. In this paper, we characterize $θ(G)$ when $G$ is disconnected. Afterwards, we prove that, although for every positive integer $k\neq 2$ there are infinitely many graphs whose distinguishing thresholds are equal to $k$, we have $θ(G)=2$ if and only if $\vert V(G)\vert =2$. Moreover, we show that if $θ(G)=3$, then either $G$ is isomorphic to one of the four graphs on~3 vertices or it is of order $2p$, where $p\neq 3,5$ is a prime number. Furthermore, we prove that $θ(G)=D(G)$ if and only if $G$ is asymmetric, $K_n$ or $\overline{K_n}$. Finally, we consider all generalized Johnson graphs, $J(n,k,i)$, which are the graphs on all $k$-subsets of $\{1,\ldots , n\}$ where two vertices $A$ and $B$ are adjacent if $|A\cap B|=k-i$. After studying their automorphism groups and distinguishing numbers, we calculate their distinguishing thresholds as $θ(J(n,k,i))={n\choose k} - {n-2\choose k-1}+1$, unless $ k=\frac{n}{2}$ and $i\in\{ \frac{k}{2} , k\}$ in which case we have $θ(J(n,k,i))={n\choose k}$.
△ Less
Submitted 16 December, 2022; v1 submitted 30 July, 2021;
originally announced July 2021.
-
Number of Distinguishing Colorings and Partitions
Authors:
Bahman Ahmadi,
Fatemeh Alinaghipour,
Mohammad Hadi Shekarriz
Abstract:
A vertex coloring of a graph $G$ is called distinguishing (or symmetry breaking) if no non-identity automorphism of $G$ preserves it, and the distinguishing number, shown by $D(G)$, is the smallest number of colors required for such a coloring. This paper is about counting non-equivalent distinguishing colorings of graphs with $k$ colors. A parameter, namely $Φ_k (G)$, which is the number of non-e…
▽ More
A vertex coloring of a graph $G$ is called distinguishing (or symmetry breaking) if no non-identity automorphism of $G$ preserves it, and the distinguishing number, shown by $D(G)$, is the smallest number of colors required for such a coloring. This paper is about counting non-equivalent distinguishing colorings of graphs with $k$ colors. A parameter, namely $Φ_k (G)$, which is the number of non-equivalent distinguishing colorings of a graph $G$ with at most $k$ colors, is shown here to have an application in calculating the distinguishing number of the lexicographic product and the $X$-join of graphs. We study this index (and some other similar indices) which is generally difficult to calculate. Then, we show that if one knows the distinguishing threshold of a graph $G$, which is the smallest number of colors $θ(G)$ so that, for $k\geq θ(G)$, every $k$-coloring of $G$ is distinguishing, then, in some special cases, counting the number of distinguishing colorings with $k$ colors is very easy. We calculate $θ(G)$ for some classes of graphs including the Kneser graph $K(n,2)$. We then turn to vertex partitioning by studying the distinguishing coloring partition of a graph $G$; a partition of vertices of $G$ which induces a distinguishing coloring for $G$. There, we introduce $Ψ_k (G)$ as the number of non-equivalent distinguishing coloring partitions with at most $k$ cells, which is a generalization to its distinguishing coloring counterpart.
△ Less
Submitted 8 May, 2020; v1 submitted 26 October, 2019;
originally announced October 2019.
-
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.
-
Perfect quantum state transfer on the Johnson scheme
Authors:
Bahman Ahmadi,
M. H. Shirdareh Haghighi,
Ahmad Mokhtar
Abstract:
For any graph $X$ with the adjacency matrix $A$, the transition matrix of the continuous-time quantum walk at time $t$ is given by the matrix-valued function $\mathcal{H}_X(t)=\mathrm{e}^{itA}$. We say that there is perfect state transfer in $X$ from the vertex $u$ to the vertex $v$ at time $τ$ if $|\mathcal{H}_X(τ)_{u,v}| = 1$. It is an important problem to determine whether perfect state transfe…
▽ More
For any graph $X$ with the adjacency matrix $A$, the transition matrix of the continuous-time quantum walk at time $t$ is given by the matrix-valued function $\mathcal{H}_X(t)=\mathrm{e}^{itA}$. We say that there is perfect state transfer in $X$ from the vertex $u$ to the vertex $v$ at time $τ$ if $|\mathcal{H}_X(τ)_{u,v}| = 1$. It is an important problem to determine whether perfect state transfers can happen on a given family of graphs. In this paper we characterize all the graphs in the Johnson scheme which have this property. Indeed, we show that the Kneser graph $K(2k,k)$ is the only class in the scheme which admits perfect state transfers. We also show that, under some conditions, some of the unions of the graphs in the Johnson scheme admit perfect state transfer.
△ Less
Submitted 15 April, 2018; v1 submitted 25 October, 2017;
originally announced October 2017.
-
A note on perfect quantum state transfers on trees
Authors:
Bahman Ahmadi,
Ahmad Mokhtar
Abstract:
It has been asked whether there are trees other than $P_2$ and $P_3$ which can admit perfect state transfers. In this note we show that the answer is negative.
It has been asked whether there are trees other than $P_2$ and $P_3$ which can admit perfect state transfers. In this note we show that the answer is negative.
△ Less
Submitted 14 June, 2017;
originally announced June 2017.
-
The strict complementary slackness condition in linear fractional programming
Authors:
Mahmood Mehdiloozad,
Kaoru Tone,
Mohammad Bagher Ahmadi
Abstract:
The strict complementary slackness condition (SCSC) is an important concept in the duality theory of linear programming (LP). The current study aims at extending this concept to the framework of linear fractional programming (LFP). First, we define this concept in this framework and demonstrate the existence of a strict complementary solution - a pair of primal and dual optimal solutions satisfyin…
▽ More
The strict complementary slackness condition (SCSC) is an important concept in the duality theory of linear programming (LP). The current study aims at extending this concept to the framework of linear fractional programming (LFP). First, we define this concept in this framework and demonstrate the existence of a strict complementary solution - a pair of primal and dual optimal solutions satisfying the SCSC. Second, we show that the problem of finding such a solution reduces to that of identifying a relative interior point of a polyhedron. More recently, Mehdiloozad et al. (2016) have addressed the latter problem by proposing an LP problem. Using their proposed LP problem, we finally develop two procedures for finding a strict complementary solution.
△ Less
Submitted 2 March, 2016;
originally announced March 2016.
-
On classifying decision making units in DEA: A unified dominance-based model
Authors:
Mahmood Mehdiloozad,
Mohammad Bagher Ahmadi,
Biresh K. Sahoo
Abstract:
In data envelopment analysis (DEA), the concept of efficiency is examined in either Farrell (DEA) or Pareto senses. In either of these senses, the efficiency status of a decision making unit (DMU) is classified as either weak or strong. It is well established that the strong DEA efficiency is both necessary and sufficient for achieving the Pareto efficiency. For the weak Pareto efficiency, however…
▽ More
In data envelopment analysis (DEA), the concept of efficiency is examined in either Farrell (DEA) or Pareto senses. In either of these senses, the efficiency status of a decision making unit (DMU) is classified as either weak or strong. It is well established that the strong DEA efficiency is both necessary and sufficient for achieving the Pareto efficiency. For the weak Pareto efficiency, however, the weak DEA efficiency is only sufficient, but not necessary in general. Therefore, a DEA-inefficient DMU can be either weakly Pareto efficient or Pareto inefficient. Motivated by this fact, we propose a new classification of DMUs in terms of both DEA and Pareto efficiencies. To make this classification, we first demonstrate that the Farrell efficiency is based on the notion of FGL dominance. Based on the concept of dominance, we then propose and substantiate an alternative single-stage method. Our method is computationally efficient since (i) it involves solving a unique single-stage model for each DMU, and (ii) it accomplishes the classification of DMUs in both input and output orientations simultaneously. Finally, we present a numerical example to illustrate our proposed method.
△ Less
Submitted 7 August, 2015;
originally announced August 2015.
-
Identification of reference set and measurement of returns to scale in DEA: A least distance based framework
Authors:
Mahmood Mehdiloozad,
Mohammad Bagher Ahmadi
Abstract:
In data envelopment model (DEA), while either the most or least distance based frameworks can be implemented for targeting, the latter is often more relevant than the former from a managerial point of view due to easy attainability of the targets. To date, the two projection-dependent problems of reference set identification and returns to scale (RTS) measurement have been extensively discussed in…
▽ More
In data envelopment model (DEA), while either the most or least distance based frameworks can be implemented for targeting, the latter is often more relevant than the former from a managerial point of view due to easy attainability of the targets. To date, the two projection-dependent problems of reference set identification and returns to scale (RTS) measurement have been extensively discussed in DEA literature. To the best of our knowledge, nonetheless, there exists only one study which uses a closest projection for identifying reference set and accomplishes this task through a primal-dual linear programming based method. Motivated by this, we investigate the two aforementioned problems in a least distance based framework. First, we propose a lexicographic multiple-objective programming problem to find a unique closest projection for an inefficient decision making unit (DMU). Associated with the founded projection, we then identify all the possible closest reference DMUs by developing a linear programming model in the envelopment form. For an inefficient DMU, we next define closest RTS (CRTS) as the RTS of its least distance projection and measure the CRTS in two stages. Finally, we illustrate our proposed approach by a numerical example and compare the results with those found in the most distance based framework.
△ Less
Submitted 31 March, 2015;
originally announced March 2015.
-
Finding a maximal element of a convex set through its characteristic cone: An application to finding a strictly complementary solution
Authors:
Mahmood Mehdiloozad,
Kaoru Tone,
Rahim Askarpour,
Mohammad Bagher Ahmadi
Abstract:
In order to express a polyhedron as the (Minkowski) sum of a polytope and a polyhedral cone, Motzkin (1936) made a transition from the polyhedron to a polyhedral cone. Based on his excellent idea, we represent a set by a characteristic cone. By using this representation, we then reach four main results: (i) expressing a closed convex set containing no line as the direct sum of the convex hull of i…
▽ More
In order to express a polyhedron as the (Minkowski) sum of a polytope and a polyhedral cone, Motzkin (1936) made a transition from the polyhedron to a polyhedral cone. Based on his excellent idea, we represent a set by a characteristic cone. By using this representation, we then reach four main results: (i) expressing a closed convex set containing no line as the direct sum of the convex hull of its extreme points and conical hull of its extreme directions, (ii) establishing a convex programming (CP) based framework for determining a maximal element-an element with the maximum number of positive components-of a convex set, (iii) developing a linear programming problem for finding a relative interior point of a polyhedron, and (iv) proposing two procedures for the identification of a strictly complementary solution in linear programming.
△ Less
Submitted 31 March, 2015;
originally announced March 2015.
-
Maximum Intersecting Families of Permutations
Authors:
Bahman Ahmadi
Abstract:
It was first shown by Cameron and Ku that the group $G=Sym(n)$ has the strict EKR property. Then Godsil and Meagher presented an entirely different proof of this fact using some algebraic properties of the symmetric group. A similar method was employed to prove that the projective general linear group $PGL(2,q)$, with its natural action on the projective line $\mathbb{P}_q$, has the strict EKR pro…
▽ More
It was first shown by Cameron and Ku that the group $G=Sym(n)$ has the strict EKR property. Then Godsil and Meagher presented an entirely different proof of this fact using some algebraic properties of the symmetric group. A similar method was employed to prove that the projective general linear group $PGL(2,q)$, with its natural action on the projective line $\mathbb{P}_q$, has the strict EKR property. The main objective in this thesis is to formally introduce this method, which we call the module method, and show that this provides a standard way to prove Erdos-Ko-Rado theorems for other permutation groups. We then, along with proving Erdos-Ko-Rado theorems for various groups, use this method to prove some permutation groups have the strict EKR property. We will also show that this method can be useful in characterizing the maximum independent sets of some Cayley graphs. To explain the module method, we need some facts from representation theory of groups, in particular, the symmetric group. We will provide the reader with a sufficient level of background from representation theory as well as graph theory and linear algebraic facts about graphs.
△ Less
Submitted 29 November, 2013;
originally announced November 2013.
-
The Erdős-Ko-Rado property for some permutation groups
Authors:
Bahman Ahmadi,
Karen Meagher
Abstract:
A subset in a group $G \leq Sym(n)$ is intersecting if for any pair of permutations $π,σ$ in the subset there is an $i \in \{1,2,\dots,n\}$ such that $π(i) = σ(i)$. If the stabilizer of a point is the largest intersecting set in a group, we say that the group has the Erdős-Ko-Rado (EKR) property. Moreover, the group has the strict EKR property if every intersecting set of maximum size in the group…
▽ More
A subset in a group $G \leq Sym(n)$ is intersecting if for any pair of permutations $π,σ$ in the subset there is an $i \in \{1,2,\dots,n\}$ such that $π(i) = σ(i)$. If the stabilizer of a point is the largest intersecting set in a group, we say that the group has the Erdős-Ko-Rado (EKR) property. Moreover, the group has the strict EKR property if every intersecting set of maximum size in the group is either the stabilizer of a point or the coset of the stabilizer of a point. In this paper we look at several families of permutation groups and determine if the groups have either the EKR property or the strict EKR property. First, we prove that all cyclic groups have the strict EKR property. Next we show that all dihedral and Frobenius groups have the EKR property and we characterize which ones have the strict EKR property. Further, we show that if all the groups in an external direct sum or an internal direct sum have the EKR (or strict EKR) property, then the product does as well. Finally, we show that the wreath product of two groups with EKR property also has the EKR property.
△ Less
Submitted 27 November, 2013;
originally announced November 2013.
-
The Erdős-Ko-Rado property for some 2-transitive groups
Authors:
Bahman Ahmadi,
Karen Meagher
Abstract:
A subset of a group G of Sym(n) is intersecting if for any pair of permutations $π,σ\in G$ there is an $i$ in {1,2,...,n} such that $π(i) = σ(i)$. It has been shown, using an algebraic approach, that the largest intersecting sets in each of Sym(n), Alt(n) and PGL(2,q) are exactly the cosets of the point-stabilizers. In this paper, we show how this method can be applied more generally to many 2-tra…
▽ More
A subset of a group G of Sym(n) is intersecting if for any pair of permutations $π,σ\in G$ there is an $i$ in {1,2,...,n} such that $π(i) = σ(i)$. It has been shown, using an algebraic approach, that the largest intersecting sets in each of Sym(n), Alt(n) and PGL(2,q) are exactly the cosets of the point-stabilizers. In this paper, we show how this method can be applied more generally to many 2-transitive groups. We then apply this method to the Mathieu groups and to all 2-transtive groups with degree no more than 20.
△ Less
Submitted 2 August, 2013;
originally announced August 2013.
-
Minimum number of distinct eigenvalues of graphs
Authors:
Bahman Ahmadi,
Fatemeh Alinaghipour,
Michael S. Cavers,
Shaun Fallat,
Karen Meagher,
Shahla Nasserasr
Abstract:
The minimum number of distinct eigenvalues, taken over all real symmetric matrices compatible with a given graph $G$, is denoted by $q(G)$. Using other parameters related to $G$, bounds for $q(G)$ are proven and then applied to deduce further properties of $q(G)$. It is shown that there is a great number of graphs $G$ for which $q(G)=2$. For some families of graphs, such as the join of a graph wit…
▽ More
The minimum number of distinct eigenvalues, taken over all real symmetric matrices compatible with a given graph $G$, is denoted by $q(G)$. Using other parameters related to $G$, bounds for $q(G)$ are proven and then applied to deduce further properties of $q(G)$. It is shown that there is a great number of graphs $G$ for which $q(G)=2$. For some families of graphs, such as the join of a graph with itself, complete bipartite graphs, and cycles, this minimum value is obtained. Moreover, examples of graphs $G$ are provided to show that adding and deleting edges or vertices can dramatically change the value of $q(G)$. Finally, the set of graphs $G$ with $q(G)$ near the number of vertices is shown to be a subset of known families of graphs with small maximum multiplicity.
△ Less
Submitted 3 April, 2013;
originally announced April 2013.
-
A new proof for the Erdős-Ko-Rado Theorem for the alternating group
Authors:
Bahman Ahmadi,
Karen Meagher
Abstract:
A subset $S$ of the alternating group on $n$ points is {\it intersecting} if for any pair of permutations $π,σ$ in $S$, there is an element $i\in \{1,\dots,n\}$ such that $π(i)=σ(i)$. We prove that if $S$ is intersecting, then $|S|\leq \frac{(n-1)!}{2}$. Also, we prove that if $n \geq 5$, then the only sets $S$ that meet this bound are the cosets of the stabilizer of a point of $\{1,\dots,n\}$.
A subset $S$ of the alternating group on $n$ points is {\it intersecting} if for any pair of permutations $π,σ$ in $S$, there is an element $i\in \{1,\dots,n\}$ such that $π(i)=σ(i)$. We prove that if $S$ is intersecting, then $|S|\leq \frac{(n-1)!}{2}$. Also, we prove that if $n \geq 5$, then the only sets $S$ that meet this bound are the cosets of the stabilizer of a point of $\{1,\dots,n\}$.
△ Less
Submitted 28 February, 2013;
originally announced February 2013.
-
The minimum rank of universal adjacency matrices
Authors:
Bahman Ahmadi,
Fatemeh Alinaghipour,
Shaun M. Fallat,
Yi-Zheng Fan,
Karen Meagher,
Shahla Nasserasr
Abstract:
In this paper we introduce a new parameter for a graph called the {\it minimum universal rank}. This parameter is similar to the minimum rank of a graph. For a graph $G$ the minimum universal rank of $G$ is the minimum rank over all matrices of the form \[ U(α, β, γ, δ) = αA + βI + γJ + δD \] where $A$ is the adjacency matrix of $G$, $J$ is the all ones matrix and $D$ is the matrix with the degree…
▽ More
In this paper we introduce a new parameter for a graph called the {\it minimum universal rank}. This parameter is similar to the minimum rank of a graph. For a graph $G$ the minimum universal rank of $G$ is the minimum rank over all matrices of the form \[ U(α, β, γ, δ) = αA + βI + γJ + δD \] where $A$ is the adjacency matrix of $G$, $J$ is the all ones matrix and $D$ is the matrix with the degrees of the vertices in the main diagonal, and $α\neq 0, β, γ, δ$ are scalars. Bounds for general graphs based on known graph parameters are given, as is a formula for the minimum universal rank for regular graphs based on the multiplicity of the eigenvalues of $A$. The exact value of the minimum universal rank of some families of graphs are determined, including complete graphs, complete bipartite graph, paths and cycles. Bounds on the minimum universal rank of a graph obtained by deleting a single vertex are established. It is shown that the minimum universal rank is not monotone on induced subgraphs, but bounds based on certain induced subgraphs, including bounds on the union of two graphs, are given. Finally we characterize all graphs with minimum universal rank equal to 0 and to 1.
△ Less
Submitted 7 December, 2011;
originally announced December 2011.
