
A rack is a set together with a selfdistributive bijective binary operation.
In this paper, we give a positive answer to a question due to Heckenberger,
Shareshian and Welker. Indeed, we prove that the lattice of subracks of a rack
is atomic. Further, by using the atoms, we associate certain quandles to racks.
We also show that the lattice of subracks of a rack is isomorphic to the
lattice of subracks of a quandle. Moreover, we show that the lattice of
subracks of a rack is distributive if and only if its corresponding quandle is
trivial. Finally, applying our corresponding quandles, we provide a coloring of
certain knot diagrams.

Let $J_G$ be the binomial edge ideal of a graph $G$. We characterize all
graphs whose binomial edge ideals, as well as their initial ideals, have
regularity $3$. Consequently we characterize all graphs $G$ such that $J_G$ is
extremal Gorenstein. Indeed, these characterizations are consequences of an
explicit formula we obtain for the regularity of the binomial edge ideal of the
join product of two graphs. Finally, by using our regularity formula, we
discuss some open problems in the literature. In particular we disprove a
conjecture in \cite{CDI} on the regularity of weakly closed graphs.

Quasicyclic (QC) lowdensity paritycheck (LDPC) codes which are known as
QCLDPC codes, have many applications due to their simple encoding
implementation by means of cyclic shift registers. In this paper, we construct
QCLDPC codes from group rings. A group ring is a free module (at the same time
a ring) constructed in a natural way from any given ring and any given group.
We present a structure based on the elements of a group ring for constructing
QCLDPC codes. Some of the previously addressed methods for constructing
QCLDPC codes based on finite fields are special cases of the proposed
construction method. The constructed QCLDPC codes perform very well over the
additive white Gaussian noise (AWGN) channel with iterative decoding in terms
of biterror probability and blockerror probability. Simulation results
demonstrate that the proposed codes have competitive performance in comparison
with the similar existing LDPC codes. Finally, we propose a new encoding method
for the proposed group ring based QCLDPC codes that can be implemented faster
than the current encoding methods. The encoding complexity of the proposed
method is analyzed mathematically, and indicates a significate reduction in the
required number of operations, even when compared to the available efficient
encoding methods that have linear time and space complexities.

Let $A$ be an acyclic symmetric matrix of order $n$. There is a weighted
forest $F$ whose adjacency matrix is $A$. In this paper, using some results on
matching polynomials, we provide an explicit formula for eigenvectors of $A$.

Let $M=[m_{ij}]$ be an $n\times m$ real matrix, $\rho$ be a nonzero real
number, and $A$ be a symmetric real matrix. We denote by $D(M)$ the $n\times n$
diagonal matrix $diag(\sum_{j=1}^{m}m_{1j},\ldots,\sum_{j=1}^{m}m_{nj})$ and
denote by $L_{A}^{\rho}$ the generalized Laplacian matrix $D(A)\rho A$. A
wellknown result of Grone et al. states that by connecting one of the
endvertices of $P_{3}$ to an arbitrary vertex of a graph, does not change the
multiplicity of Laplacian eigenvalue $1$. We extend this theorem and some other
results for a given generalized Laplacian eigenvalue $\mu$. Furthermore, we
give two proofs for a conjecture by Saito and Woei on the relation between the
multiplicity of some Laplacian eigenvalues and pendant paths.

Low density parity check (LDPC) lattices are obtained from Construction D'
and a family of nested binary LDPC codes. We consider an special case of these
lattices with one binary LDPC code as underlying code. This special case of
LDPC lattices can be obtained by lifting binary LDPC codes using Construction A
lattices. The LDPC lattices were the first family of lattices which have
efficient decoding in high dimensions. We employ the encoding and decoding of
the LDPC lattices in a cooperative transmission framework. We establish two
efficient shaping methods based on hypercube shaping and Voronoi shaping, to
obtain LDPC lattice codes. Then, we propose the implementation of block Markov
encoding for oneway and twoway relay networks using LDPC lattice codes. This
entails owning an efficient method for decomposing fullrate codebook into
lower rate codebooks. We apply different decomposition schemes for oneway and
twoway relay channels which are the altered versions of the decomposition
methods of low density lattice codes (LDLCs). Due to the lower complexity of
the decoding for LDPC lattices comparing to LDLCs, the complexity of our
schemes are significantly lower than the ones proposed for LDLCs. The
efficiency of the proposed schemes are presented using simulation results.

Let $X$ be an $(m\times n)$matrix of indeterminates, and let $J$ be the
ideal generated by a set $\mathcal{S}$ of maximal minors of $X$. We construct
the linear strand of the resolution of $J$. This linear strand is determined by
the clique complex of the $m$clutter corresponding to the set $\mathcal{S}$.
As a consequence one obtains explicit formulas for the graded Betti numbers
$\beta_{i,i+m}(J)$ for all $i\geq 0$. We also determine all sets $\mathcal{S}$
for which $J$ has a linear resolution.

We study unmixed and CohenMacaulay properties of the binomial edge ideal of
some classes of graphs. We compute the depth of the binomial edge ideal of a
generalized block graph. We also characterize all generalized block graphs
whose binomial edge ideals are CohenMacaulay and unmixed. So that we
generalize the results of Ene, Herzog and Hibi on block graphs. Moreover, we
study unmixedness and CohenMacaulayness of the binomial edge ideal of some
graph products such as the join and corona of two graphs with respect to the
original graphs'.

Let $R=k[x_{1},\ldots,x_{n}]$, where $k$ is a field. The path ideal (of
length $t\geq 2$) of a directed graph $G$ is the monomial ideal, denoted by
$I_{t}(G)$, whose generators correspond to the directed paths of length $t$ in
$G$. Let $\Gamma$ be a directed rooted tree. We characterize all such trees
whose path ideals are unmixed and CohenMacaulay.
Moreover, we show that $R/I_{t}(\Gamma)$ is Gorenstein if and only if the
StanleyReisner simplicial complex of $I_{t}(\Gamma)$ is a matroid.

We prove a conjectured upper bound for the CastelnuovoMumford regularity of
binomial edge ideals of graphs, due to Matsuda and Murai. Indeed, we prove that
$\mathrm{reg}(J_G)\leq n1$ for any graph $G$ with $n$ vertices, which is not a
path. Moreover, we study the behavior of the regularity of binomial edge ideals
under the join product of graphs.

We classify all complete uniform multipartite hypergraphs with respect to
some algebraic properties, such as being (almost) complete intersection,
Gorenstein, level, $l$CohenMacaulay, $l$Buchsbaum, unmixed, and satisfying
Serre's condition $S_r$, via some combinatorial terms. Also, we prove that for
a complete $s$uniform $t$partite hypergraph $H$, vertex decomposability,
shellability, sequentially $S_r$ and sequentially CohenMacaulay properties
coincide with the condition that $H$ has $t1$ sides consisting of a single
vertex. Moreover, we show that the latter condition occurs if and only if it is
a chordal hypergraph.

We characterize all graphs whose binomial edge ideals have pure resolutions.
Moreover, we introduce a new switching of graphs which does not change some
algebraic invariants of graphs, and using this, we study the linear strand of
the binomial edge ideals for some classes of graphs. Also, we pose a conjecture
on the linear strand of such ideals for every graph.

We prove two recent conjectures on some upper bounds for the
CastelnuovoMumford regularity of the binomial edge ideals of some different
classes of graphs. We prove the conjecture of Matsuda and Murai for graphs
which has a cut edge or a simplicial vertex, and hence for chordal graphs. We
determine the regularity of the binomial edge ideal of the join of graphs in
terms of the regularity of the original graphs, and consequently prove the
conjecture of Matsuda and Murai for such a graph, and hence for complete
$t$partite graphs. We also generalize some results of Schenzel and Zafar about
complete $t$partite graphs. We also prove the conjecture due to the authors
for a class of chordal graphs.

In this paper we give upper bounds for the regularity of edge ideal of some
classes of graphs in terms of invariants of graph. We introduce two numbers
$a'(G)$ and $n(G)$ depending on graph $G$ and show that for a vertex
decomposable graph $G$, $\reg(R/I(G))\leq \min\{a'(G),n(G)\}$ and for a
shellable graph $G$, $\reg(R/I(G))\leq n(G)$. Moreover it is shown that for a
graph $G$, where $G^c$ is a $d$tree, we have $\pd(R/I(G))=\max_{v\in V(G)}
\{\deg_G(v)\}$.

We show that for the edge ideals of the graphs consisting of one cycle or two
cycles of any length connected through a vertex or a path, the arithmetical
rank equals the projective dimension.