Showing 1–6 of 6 results for author: Afshari, B

Eccentricity and algebraic connectivity of graphs

Authors: B. Afshari, M. Afshari

Abstract: Let $G$ be a graph on $n$ nodes with algebraic connectivity $λ_{2}$. The eccentricity of a node is defined as the length of a longest shortest path starting at that node. If $s_\ell$ denotes the number of nodes of eccentricity at most $\ell$, then for $\ell \ge 2$, $$λ_{2} \ge \frac{ 4 \, s_\ell }{ (\ell-2+\frac{4}{n}) \, n^2 }.$$ As a corollary, if $d$ denotes the diameter of $G$, then… ▽ More Let $G$ be a graph on $n$ nodes with algebraic connectivity $λ_{2}$. The eccentricity of a node is defined as the length of a longest shortest path starting at that node. If $s_\ell$ denotes the number of nodes of eccentricity at most $\ell$, then for $\ell \ge 2$, $$λ_{2} \ge \frac{ 4 \, s_\ell }{ (\ell-2+\frac{4}{n}) \, n^2 }.$$ As a corollary, if $d$ denotes the diameter of $G$, then $$λ_{2} \ge \frac{ 4 }{ (d-2+\frac{4}{n}) \, n }.$$ It is also shown that $$λ_{2} \ge \frac{ s_\ell }{ 1+ \ell \left(e(G^{\ell})-m\right) },$$ where $m$ and $e(G^\ell)$ denote the number of edges in $G$ and in the $\ell$-th power of $ G $, respectively. △ Less

Submitted 1 July, 2024; originally announced July 2024.

MSC Class: 05C50; 15A18

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic

Authors: Bahareh Afshari, Johannes Kloibhofer

Abstract: We consider modal logic extended with the well-known temporal operator `eventually' and provide a cut-elimination procedure for a cyclic sequent calculus that captures this fragment. The work showcases an adaptation of the reductive cut-elimination method to cyclic calculi. Notably, the proposed algorithm applies to a cyclic proof and directly outputs a cyclic cut-free proof without appealing to i… ▽ More We consider modal logic extended with the well-known temporal operator `eventually' and provide a cut-elimination procedure for a cyclic sequent calculus that captures this fragment. The work showcases an adaptation of the reductive cut-elimination method to cyclic calculi. Notably, the proposed algorithm applies to a cyclic proof and directly outputs a cyclic cut-free proof without appealing to intermediate machinery for regularising the end proof. △ Less

Submitted 3 May, 2024; originally announced May 2024.

Demystifying $μ$

Authors: Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata

Abstract: We develop the theory of illfounded and cyclic proof systems in the context of the modal $μ$-calculus. A fine analysis of provability and admissibility bridges the finitary, cyclic and illfounded notions of proof for this logic and re-enforces the subtlety of two important normal form theorems: guardedness and disjunctiveness. We develop the theory of illfounded and cyclic proof systems in the context of the modal $μ$-calculus. A fine analysis of provability and admissibility bridges the finitary, cyclic and illfounded notions of proof for this logic and re-enforces the subtlety of two important normal form theorems: guardedness and disjunctiveness. △ Less

Submitted 2 January, 2024; originally announced January 2024.

Algebraic connectivity of the second power of a graph

Authors: B. Afshari

Abstract: Denote the Laplacian of a graph $G$ by $L(G)$ and its second smallest Laplacian eigenvalue by $λ_2(G)$. If $G$ is a graph on $n\ge 2$ vertices, then it is shown that the second smallest eigenvalue of $L(G) + \frac{1}{n} L(\overline{G^2})$ is at least 1, where $\overline{G^2}$ is the complement of the second power of $ G $. As a corollary of this result, it is shown that \begin{itemize} \item… ▽ More Denote the Laplacian of a graph $G$ by $L(G)$ and its second smallest Laplacian eigenvalue by $λ_2(G)$. If $G$ is a graph on $n\ge 2$ vertices, then it is shown that the second smallest eigenvalue of $L(G) + \frac{1}{n} L(\overline{G^2})$ is at least 1, where $\overline{G^2}$ is the complement of the second power of $ G $. As a corollary of this result, it is shown that \begin{itemize} \item $ n \, λ_2(G) \ge λ_2(G^2), $ \item $ λ_2(G) \ge 1-\frac{|D_G|}{n}, $ \item $ λ_2(G) + λ_2(\Gb) \ge 1, $ \end{itemize} where $|D_G|$ is the number of vertices of eccentricity at least 3 in $G$. △ Less

Submitted 6 April, 2023; v1 submitted 9 September, 2021; originally announced September 2021.

Comments: 8 pages, correct some typos, rewrite abstract, same as the version published in the JGT

MSC Class: 05C50; 15A18

The Algebraic Connectivity of a Graph and its Complement

Authors: B. Afshari, S. Akbari, M. J. Moghaddamzadeh, B. Mohar

Abstract: For a graph $G$, let $λ_2(G)$ denote its second smallest Laplacian eigenvalue. It was conjectured that $λ_2(G) + λ_2(\overline G) \ge 1$, where $\overline G$ is the complement of $G$. In this paper, it is shown that $\max\{λ_2(G), λ_2(\overline G)\} \ge 2/5$. For a graph $G$, let $λ_2(G)$ denote its second smallest Laplacian eigenvalue. It was conjectured that $λ_2(G) + λ_2(\overline G) \ge 1$, where $\overline G$ is the complement of $G$. In this paper, it is shown that $\max\{λ_2(G), λ_2(\overline G)\} \ge 2/5$. △ Less

Submitted 18 June, 2018; originally announced June 2018.

MSC Class: 05C50

Journal ref: Linear Algebra Appl. (2018)

On the Herbrand content of LK

Authors: Bahareh Afshari, Stefan Hetzl, Graham E. Leigh

Abstract: We present a structural representation of the Herbrand content of LK-proofs with cuts of complexity prenex Sigma-2/Pi-2. The representation takes the form of a typed non-deterministic tree grammar of order 2 which generates a finite language of first-order terms that appear in the Herbrand expansions obtained through cut-elimination. In particular, for every Gentzen-style reduction between LK-proo… ▽ More We present a structural representation of the Herbrand content of LK-proofs with cuts of complexity prenex Sigma-2/Pi-2. The representation takes the form of a typed non-deterministic tree grammar of order 2 which generates a finite language of first-order terms that appear in the Herbrand expansions obtained through cut-elimination. In particular, for every Gentzen-style reduction between LK-proofs we study the induced grammars and classify the cases in which language equality and inclusion hold. △ Less

Submitted 20 June, 2016; originally announced June 2016.

Comments: In Proceedings CL&C 2016, arXiv:1606.05820

ACM Class: F.4.1; F.4.2

Journal ref: EPTCS 213, 2016, pp. 1-10