Showing 1–12 of 12 results for author: Khatami, M

The Craig Interpolation Property in First-order Gödel Logic

Authors: Seyed Mohammad Amin Khatami, Massoud Pourmahdian, Nazanin R. Tavana

Abstract: In this article, a model-theoretic approach is proposed to prove that the first-order Gödel logic, $\mathbf{G}$, as well as its extension $\mathbf{G}^Δ$ associated with first-order relational languages enjoy the Craig interpolation property. These results partially provide an affirmative answer to a question posed in [Aguilera, Baaz, 2017, Ten problems in Gödel logic]. In this article, a model-theoretic approach is proposed to prove that the first-order Gödel logic, $\mathbf{G}$, as well as its extension $\mathbf{G}^Δ$ associated with first-order relational languages enjoy the Craig interpolation property. These results partially provide an affirmative answer to a question posed in [Aguilera, Baaz, 2017, Ten problems in Gödel logic]. △ Less

Submitted 19 September, 2023; originally announced September 2023.

MSC Class: 03C40; 03B50; 03B52

New Upper Bounds on the Size of Permutation Codes under Kendall $τ$-Metric

Authors: Alireza Abdollahi, Javad Bagherian, Fatemeh Jafari, Maryam Khatami, Farzad Parvaresh, Reza Sobhani

Abstract: We first give two methods based on the representation theory of symmetric groups to study the largest size $P(n,d)$ of permutation codes of length $n$ i.e. subsets of the set $S_n$ all permutations on $\{1,\dots,n\}$ with the minimum distance (at least) $d$ under the Kendall $τ$-metric. The first method is an integer programming problem obtained from the transitive actions of $S_n$. The second met… ▽ More We first give two methods based on the representation theory of symmetric groups to study the largest size $P(n,d)$ of permutation codes of length $n$ i.e. subsets of the set $S_n$ all permutations on $\{1,\dots,n\}$ with the minimum distance (at least) $d$ under the Kendall $τ$-metric. The first method is an integer programming problem obtained from the transitive actions of $S_n$. The second method can be applied to refute the existence of perfect codes in $S_n$.\\ Here we reduce the known upper bound $(n-1)!-1$ for $P(n,3)$ to $(n-1)!-\lceil\frac{n}{3}\rceil+2\leq (n-1)!-2$, whenever $n\geq 11$ is any prime number. If $n=6$, $7$, $11$, $13$, $14$, $15$, $17$, the known upper bound for $P(n,3)$ is decreased by $3,3,9,11,1,1,4$, respectively. △ Less

Submitted 4 March, 2023; originally announced March 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:2206.10193

MSC Class: 20C30; 94B25

New Bounds on the Size of Permutation Codes With Minimum Kendall $τ$-distance of Three

Authors: A. Abdollahi, J. Bagherian, F. Jafari, M. Khatami, F. Parvaresh, R. Sobhani

Abstract: We study $P(n,3)$, the size of the largest subset of the set of all permutations $S_n$ with minimum Kendall $τ$-distance $3$. Using a combination of group theory and integer programming, we reduced the upper bound of $P(p,3)$ from $(p-1)!-1$ to $(p-1)!-\lceil\frac{p}{3}\rceil+2\leq (p-1)!-2$ for all primes $p\geq 11$. In special cases where $n$ is equal to $6,7,11,13,14,15$ and $17$ we reduced the… ▽ More We study $P(n,3)$, the size of the largest subset of the set of all permutations $S_n$ with minimum Kendall $τ$-distance $3$. Using a combination of group theory and integer programming, we reduced the upper bound of $P(p,3)$ from $(p-1)!-1$ to $(p-1)!-\lceil\frac{p}{3}\rceil+2\leq (p-1)!-2$ for all primes $p\geq 11$. In special cases where $n$ is equal to $6,7,11,13,14,15$ and $17$ we reduced the upper bound of $P(n,3)$ by $3,3,9,11,1,1$ and $4$, respectively. △ Less

Submitted 21 June, 2022; originally announced June 2022.

MSC Class: 94B25; 94B65; 68P30

Regular character-graphs whose eigenvalues are greater than or equal to -2

Authors: Mahdi Ebrahimi, Maryam Khatami, Zohreh Mirzaei

Abstract: Let $G$ be a finite group and $\mathrm{Irr}(G)$ be the set of all complex irreducible characters of $G$. The character-graph $Δ(G)$ associated to $G$, is a graph whose vertex set is the set of primes which divide the degrees of some characters in $\mathrm{Irr}(G)$ and two distinct primes $p$ and $q$ are adjacent in $Δ(G)$ if the product $pq$ divides $χ(1)$, for some $χ\in\mathrm{Irr}(G)$. Tong-vie… ▽ More Let $G$ be a finite group and $\mathrm{Irr}(G)$ be the set of all complex irreducible characters of $G$. The character-graph $Δ(G)$ associated to $G$, is a graph whose vertex set is the set of primes which divide the degrees of some characters in $\mathrm{Irr}(G)$ and two distinct primes $p$ and $q$ are adjacent in $Δ(G)$ if the product $pq$ divides $χ(1)$, for some $χ\in\mathrm{Irr}(G)$. Tong-viet posed the conjecture that if $Δ(G)$ is $k$-regular for some integer $k\geqslant 2$, then $Δ(G)$ is either a complete graph or a cocktail party graph. In this paper, we show that his conjecture is true for all regular character-graphs whose eigenvalues are in the interval $[-2, \infty )$. △ Less

Submitted 24 September, 2021; v1 submitted 13 July, 2021; originally announced July 2021.

MSC Class: 20C15; 05C50; 05C25

On the multiplicities of the character codegrees

Authors: Zeinab Akhlaghi, Mehdi Ebrahimi, Maryam Khatami

Abstract: Let G be a finite group and ? be an irreducible character of G, the number cod(?) = jG : Let $ G $ be a finite group and $ χ$ be an irreducible character of $ G $, the number $ \cod(χ) = |G: \kernel(χ)|/χ(1) $ is called the codegree of $ χ$. Also, $ \cod(G) = \{ \cod(χ) \ | \ χ\in \Irr(G) \} $. For $d\in\cod(G)$, the multiplicity of $d$ in $G$, denoted by $m'_G(d)$, is the number of irreducible… ▽ More Let G be a finite group and ? be an irreducible character of G, the number cod(?) = jG : Let $ G $ be a finite group and $ χ$ be an irreducible character of $ G $, the number $ \cod(χ) = |G: \kernel(χ)|/χ(1) $ is called the codegree of $ χ$. Also, $ \cod(G) = \{ \cod(χ) \ | \ χ\in \Irr(G) \} $. For $d\in\cod(G)$, the multiplicity of $d$ in $G$, denoted by $m'_G(d)$, is the number of irreducible characters of $G$ having codegree $d$. A finite group $G$ is called a $T'_k$-group for some integer $k\geq 1$, if there exists $d_0\in\cod(G)$ such that $m'_G(d_0)=k$ and for every $d\in\cod(G)-\{d_0\}$, we have $m'_G(d)=1$. In this note we characterize finite $T'_k$-groups completely, where $k\geq 1$ is an integer. △ Less

Submitted 30 May, 2021; originally announced May 2021.

A conjecture of Cameron and Kiyota on sharp characters with prescribed values

Authors: A. Abdollahi, J. Bagherian, M. Khatami, Z. Shahbazi, R. Sobhani

Abstract: Let $ χ$ be a virtual (generalized) character of a finite group $ G $ and $ L=L(χ)$ be the image of $ χ$ on $ G-\lbrace 1 \rbrace $. The pair $ (G, χ) $ is said to be sharp of type $ L $ if $|G|=\prod _{ l \in L} (χ(1) - l) $. If the principal character of $G$ is not an irreducible constituent of $χ$, the pair $(G,χ)$ is called normalized. In this paper, we first provide some counterexamples to a… ▽ More Let $ χ$ be a virtual (generalized) character of a finite group $ G $ and $ L=L(χ)$ be the image of $ χ$ on $ G-\lbrace 1 \rbrace $. The pair $ (G, χ) $ is said to be sharp of type $ L $ if $|G|=\prod _{ l \in L} (χ(1) - l) $. If the principal character of $G$ is not an irreducible constituent of $χ$, the pair $(G,χ)$ is called normalized. In this paper, we first provide some counterexamples to a conjecture that was proposed by Cameron and Kiyota in $1988$. This conjecture states that if $(G,χ)$ is sharp and $|L|\geq 2$, then the inner product $(χ,χ)_G$ is uniquely determined by $ L $. We then prove that this conjecture is true in the case that $(G,χ) $ is normalized, $χ$ is a character of $ G $, and $ L $ contains at least an irrational value. △ Less

Submitted 20 October, 2020; originally announced October 2020.

Yet Another Generalization of The Notion of a Metric Space

Authors: Seyed Mohammad Amin Khatami, Madjid Mirzavaziri

Abstract: A generalization of the triangle inequality is introduced by a mapping similar to a t-conorm mapping. This generalization leads us to a notion for which we use the $\star$-metric terminology. We are interested in the topological space induced by a $\star$-metric. Considering some examples of non-trivial $\star$-metrizable topological spaces, we also study the product topology for a finite family o… ▽ More A generalization of the triangle inequality is introduced by a mapping similar to a t-conorm mapping. This generalization leads us to a notion for which we use the $\star$-metric terminology. We are interested in the topological space induced by a $\star$-metric. Considering some examples of non-trivial $\star$-metrizable topological spaces, we also study the product topology for a finite family of $\star$-metrizable topological spaces. △ Less

Submitted 2 September, 2020; originally announced September 2020.

MSC Class: 54E35

A metric-like topology yon BL-algebras

Authors: Seyed Mohammad Amin Khatami

Abstract: This paper is devoted to introduce a topology on BL-algebras, makes them semitopological algebras. For any BL-algebra $\mathcal{L}=(L, \wedge, \vee, *, \to , 0, 1)$, the introduced topology is defined by a distance-like function between elements of $L$ which is defined by $a \leftrightarrow b=(a\to b)*(b\to a)$. We will show that when the continuous scale $[0,1]$ is endowed to be a BL-algebra, the… ▽ More This paper is devoted to introduce a topology on BL-algebras, makes them semitopological algebras. For any BL-algebra $\mathcal{L}=(L, \wedge, \vee, *, \to , 0, 1)$, the introduced topology is defined by a distance-like function between elements of $L$ which is defined by $a \leftrightarrow b=(a\to b)*(b\to a)$. We will show that when the continuous scale $[0,1]$ is endowed to be a BL-algebra, then this topology admits some of the most important properties of the metric topology. Finally, we will show that this topology can be examined by a similar topology on dual of BL-algebras as well. △ Less

Submitted 24 February, 2022; v1 submitted 26 August, 2019; originally announced September 2019.

MSC Class: 03G25; 06F30; 06B30

Journal ref: Journal of Algebraic Systems, Volume 9, Issue 2, 2022, Pages 281-298

Compactness of first-order fuzzy logics

Authors: Seyed Mohammad Amin Khatami

Abstract: One of the nice properties of the first-order logic is the compactness of satisfiability. It state that a finitely satisfiable theory is satisfiable. However, different degrees of satisfiability in many-valued logics, poses various kind of the compactness in these logics. One of this issues is the compactness of $K$-satisfiability. Here, after an overview on the results around the compactness of s… ▽ More One of the nice properties of the first-order logic is the compactness of satisfiability. It state that a finitely satisfiable theory is satisfiable. However, different degrees of satisfiability in many-valued logics, poses various kind of the compactness in these logics. One of this issues is the compactness of $K$-satisfiability. Here, after an overview on the results around the compactness of satisfiability and compactness of $K$-satisfiability in many-valued logic based on continuous t-norms (basic logic), we extend the results around this topic. To this end, we consider a reverse semantical meaning for basic logic. Then we introduce a topology on $[0,1]$ and $[0,1]^2$ that the interpretation of all logical connectives are continuous with respect to these topologies. Finally using this fact we extend the results around the compactness of satisfiability in basic ogic. △ Less

Submitted 4 May, 2019; originally announced May 2019.

MSC Class: 03b50; 03c20; 03g10

Journal ref: Iranian Journal of Fuzzy Systems, Volume 19, Number 3, (2022), pp. 53-68

Additive Gödel Logic

Authors: Seyed Mohammad Amin Khatami

Abstract: We study an extension of \g propositional logic whose corresponding algebra is an ordered Abelian group. Then we expand the ideas to first-order case of this logic. We study an extension of \g propositional logic whose corresponding algebra is an ordered Abelian group. Then we expand the ideas to first-order case of this logic. △ Less

Submitted 7 November, 2018; v1 submitted 24 July, 2015; originally announced July 2015.

MSC Class: 03B50; 03B52; 03G25

On the compactness property of extensions of first-order Gödel logic

Authors: Seyed Mohammad Amin Khatami

Abstract: We study three kinds of compactness in some variants of Gödel logic: compactness, entailment compactness, and approximate entailment compactness. For countable first-order underlying language we use the Henkin construction to prove the compactness property of extensions of first-order Gödel logic enriched by nullary connective or the Baaz's projection connective. In the case of uncountable first-o… ▽ More We study three kinds of compactness in some variants of Gödel logic: compactness, entailment compactness, and approximate entailment compactness. For countable first-order underlying language we use the Henkin construction to prove the compactness property of extensions of first-order Gödel logic enriched by nullary connective or the Baaz's projection connective. In the case of uncountable first-order language we use the ultraproduct method to derive the compactness theorem △ Less

Submitted 25 October, 2014; v1 submitted 11 October, 2014; originally announced October 2014.

Comments: 16 pages

MSC Class: 03B50

From rational Godel logic to continuous ultrametric logic

Authors: Seyed Mohammad Amin Khatami, Masoud Pourmahdian, Nazanin R. Tavana

Abstract: This paper is devoted to systematic studies of some extensions of first-order Gödel logic. The first extension is the first-order rational Gödel logic which is an extension of first-order Gödel logic, enriched by countably many nullary logical connectives. By introducing some suitable semantics and proof theory, it is shown that the first-order rational Gödel logic has the completeness property, t… ▽ More This paper is devoted to systematic studies of some extensions of first-order Gödel logic. The first extension is the first-order rational Gödel logic which is an extension of first-order Gödel logic, enriched by countably many nullary logical connectives. By introducing some suitable semantics and proof theory, it is shown that the first-order rational Gödel logic has the completeness property, that is any (strongly) consistent theory is satisfiable. Furthermore, two notions of entailment and strong entailment are defined and their relations with the corresponding notion of proof is studied. In particular, an approximate entailment-compactness is shown. Next, by adding a binary predicate symbol $d$ to the first-order rational Gödel logic, the ultrametric logic is introduced. This serves as a suitable framework for analyzing structures which carry an ultrametric function $d$ together with some functions and predicates which are uniformly continuous with respect to the ultrametric $d$. Some model theory is developed and to justify the relevance of this model theory, the Robinson joint consistency theorem is proven. △ Less

Submitted 19 November, 2013; v1 submitted 4 September, 2013; originally announced September 2013.

Comments: 25 pages, 1 figure

MSC Class: 03B50; 03C90