We show that if H is an effectively completely decomposable computable torsion-free abelian group, then there is a computable copy G of H such that G has computable orders but not orders of every (Turing) degree.

Let G be a finite simple graph and I(G) denote the corresponding edge ideal. In this paper, we obtain upper bounds for Castelnuovo-Mumford regularity of I(G)q in terms certain combinatorial invariants associated with G. We also prove weaker version conjecture by Alilooee, Banerjee, Beyarslan Hà on an bound conjectured class vertex decomposable graphs. Using these results, explicitly compute sev...

given a graph $g$, let $g^sigma$ be an oriented graph of $g$ with the orientation $sigma$ and skew-adjacency matrix $s(g^sigma)$. then the spectrum of $s(g^sigma)$ consisting of all the eigenvalues of $s(g^sigma)$ is called the skew-spectrum of $g^sigma$, denoted by $sp(g^sigma)$. the skew energy of the oriented graph $g^sigma$, denoted by $mathcal{e}_s(g^sigma)$, is defined as the sum of the n...

We study projective dimension, a graph parameter (denoted by pd(G) for a graph G), introduced by Pudlák and Rödl [13], who showed that proving lower bounds for pd(Gf ) for bipartite graphs Gf associated with a Boolean function f imply size lower bounds for branching programs computing f . Despite several attempts [13, 17], proving super-linear lower bounds for projective dimension of explicit f...

Block-intersection graphs of Steiner triple systems are considered. We prove that the block-intersection graphs of non-isomorphic Steiner triple systems are themselves non-isomorphic. We also prove that each Steiner triple system of order at most 15 has a Hamilton decomposable block-intersection graph.

Let $G$ be a group. The order graph of $G$ is the (undirected)graph $Gamma(G)$,those whose vertices are non-trivial subgroups of $G$ and two distinctvertices $H$ and $K$ are adjacent if and only if either$o(H)|o(K)$ or $o(K)|o(H)$. In this paper, we investigate theinterplay between the group-theoretic properties of $G$ and thegraph-theoretic properties of $Gamma(G)$. For a finite group$G$, we s...

The Harmonic index $ H(G) $ of a graph $ G $ is defined as the sum of the weights $ dfrac{2}{d(u)+d(v)} $ of all edges $ uv $ of $G$, where $d(u)$ denotes the degree of the vertex $u$ in $G$. In this work, we prove the conjecture $dfrac{H(G)}{D(G)} geq dfrac{1}{2}+dfrac{1}{3(n-1)}  $ given by Jianxi Liu in 2013 when G is a unicyclic graph and give a better bound $ dfrac{H(G)}{D(G)}geq dfra...

We study effective categoricity of computable abelian groups of the form ⊕ i∈ω H, where H is a subgroup of (Q,+). Such groups are called homogeneous completely decomposable. It is well-known that a homogeneous completely decomposable group is computably categorical if and only if its rank is finite. We study ∆n-categoricity in this class of groups, for n > 1. We introduce a new algebraic concep...

In this paper, we shall introduce a special structure for graphs and show that a graph G is hamiltonian if and only if G has such a special structure. Using this result, we can prove a new weakened version of Fan's condition for hamiltonian graphs, which a recent result of Bedrossian, Chen and Schelp (1993). 1 Preliminaries and Main Results We consider only finite undirected graphs without loop...

For any h in N , a graph G = (V, E) is said to be h-magic if there exists a labeling l: E(G) to Z_{h}-{0} such that the induced vertex set labeling l^{+: V(G) to Z_{h}} defined by l^{+}(v)= Summation of l(uv)such that e=uvin in E(G) is a constant map. For a given graph G, the set of all for which G is h-magic is called the integer-magic spectrum of G and is denoted by IM(G). In this paper, the ...