Abstract:

Let \( S_n \) be the random walk on \( (0, 1) \). The \( S_n \) have been the subject of intense study; their definition is immediately intuitive. Nevertheless, they are quite intentionally disorderly, and this disorder is mirrored by the fact that, pointwise, \( \left( \frac{S_n}{\sqrt{n}} \mid n \in \mathbb{N}^+ \right) \) behaves quite badly.

In this paper, we provide our results on the fine structure of the random walk that give insight into this behavior.

Leyda Almoddévar1, Sydney Martin1, Samantha Mauro 2, Heiko Tod2
1Dept. of Mathematics Dept. of Mathematics Stonehill College Stonehill College Easton, MA 02357, USA Easton, MA 02357, USA
2Dept. of Mathematics Dept. of Mathematics Stonehill College Stonehill College Easton, MA 02357, USA Easton, MA 02357, USA
Abstract:

We utilize the flexible tile model presented in [13] to design self-assembling DNA structures from a graph theory perspective. These tiles represent branched junction molecules whose arms are double strands of DNA.

We consider \( 2 \times n \) triangular lattice graphs \( G_n \), where \( n \) represents the number of triangles. Given a target graph \( G_n \), we determine the minimum number of tile and bond-edge types needed in order to create \( G_n \) as a complete self-assembled complex in three different scenarios. Each scenario corresponds to a distinct level of laboratory constraint.

In the first scenario, graphs of a smaller size than \( G_n \) are allowed. In the second scenario, non-isomorphic graphs of the same size as \( G_n \) are allowed, but not graphs of smaller size. In the third scenario, only graphs isomorphic or larger in size to the target graph are allowed.

We provide optimal tile sets for all \( 2 \times n \) triangular lattice graphs \( G_n \) in Scenario 1 and Scenario 3. We also include some small examples in Scenario 2.

Abstract:

An upper bound on the energy of graphs is obtained using the spectral moments of the eigenvalues of the adjacency matrix associated with the graph, utilizing the method of Lagrange multipliers and properties of cubic equations

Elie Feder1, Heiko Harborth2
1Department of Mathematics and Computer Science, Kingsborough Community College-CUNY, Brooklyn, NY, USA.
2Diskrete Mathematik, Technische Universitat, Braunschweig, Germany
Abstract:

A polyhex is a set of hexagons of the Euclidean tessellation of the plane by congruent regular hexagons. Then, a polyhex graph has the vertex points of the hexagons as its vertices and the sides of the hexagons as its edges. A rectilinear drawing of a graph in the plane uses straight line segments for the edges. Partial results are given for the maximum number of crossings over all rectilinear drawings of a polyhex graph

Abstract:

Distinctive power of the alliance polynomial has been studied in previous works. For instance, it has been proved that the empty, path, cycle, complete, complete without one edge, and star graphs are characterized by its alliance polynomial. Moreover, it has been proved that the family of alliance polynomials of regular graphs with small degree is a very
special one, since it does not contain alliance polynomials of graphs other than regular graphs with the same degree. In this work, we prove that the alliance polynomial also
determines the wheel graphs.

Oluwatobi Aderotoye1, Dennis Davenport1, Shakuan Frankson1, Kanasia McTyeire1
1Mathematics Department Howard University, Washington, DC
Abstract:

An ordered tree, also known as a plane tree or a planar tree, is defined recursively as having a root and an ordered set of subtrees. A \(3\)-zebra tree is an ordered tree where all edges connected to the root (called height \( 1 \)) are tricolored, as are all edges at odd height. The edges at even height are all black as usual.

In this paper, we show that the number of \(3\)-zebra trees with \( n \) edges is equal to the number of Schröder paths with bicolored level steps.

Elizabeth Newman1, Bianca Reilly1, John T. Saccoman1
1DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCE Seton Hall University South Orange, NJ 07079, U.S.A.
Abstract:

A split graph is a graph whose vertices can be partitioned into a clique and an independent set. Most results in spectral graph theory do not address multigraph concerns. Exceptions are [2] and [4], but these papers present results involving a special class of underlying split graphs, threshold graphs, in which all pairs of nodes exhibit neighborhood nesting, and all multiple edges are confined to the clique.

We present formulas for the eigenvalues of some infinite families of regular split multigraphs in which all multiple edges occur between the clique nodes and cone nodes, with multiplicity of multiple edges \( \mu > 1 \) fixed, and which have integer eigenvalues for the adjacency, Laplacian, and signless Laplacian matrices.

Hayden Hunter1, NataSa Jonoska1, Masahico Saito1
1Department of Mathematics and Statistics University of South Florida
Abstract:

A rigid vertex is a vertex with a prescribed cyclic order of its incident edges. An embedding of a rigid vertex graph preserves such a cyclic order in the surface at every vertex. A cellular embedding of a graph has the complementary regions homeomorphic to open disks.

The genus range of a \( 4 \)-regular rigid vertex graph \( \Gamma \) is the set of genera of closed surfaces that \( \Gamma \) can be cellularly embedded into. Inspired by models of DNA rearrangements, we study the change in the genus range of a graph \( \Gamma \) after the insertion of subgraph structures that correspond to intertwining two edges. We show that such insertions can increase the genus at most by \( 2 \) and decrease by at most \( 1 \), regardless of the number of new vertices inserted.

M. R. Emamy-K.1, R. Arce-Nazario2, L. J. Uribe3
1 Dept. of Mathematics, University of Puerto Rico, Rio Piedras,PR, USA
2Dept. of Computer Science, University of Puerto Rico, Rio Piedras,PR, USA
3Dept. of Edu. Technology, Boise State University, Idaho, USA
Abstract:

The hypercube cut number \( S(d) \) is the minimum number of hyperplanes in the \( d \)-dimensional Euclidean space \( \mathbb{R}^d \) that slice all the edges of the \( d \)-cube. The problem was originally posed by P. O’Neil in 1971. B. Grünbaum, V. Klee, M. Saks, and Z. Füredi have raised the problem in various contexts.

The identity \( S(d) = d \) has been well-known for \( d \leq 4 \) since 1986. However, it was only until the year 2000 that Sohler and Ziegler obtained a computational proof for \( S(5) = 5 \). Nevertheless, finding a short proof for the problem, independent of computer computations, remains a challenging task.

We present a short proof for the result presented by Emamy-Uribe-Tomassini in Hypercube 2002 based on Tomassini’s Thesis. The proof here is substantially shorter than the original proof of 60 pages.

John C. Wierman1
1Department of Applied Mathematics & Statistics Johns Hopkins University
Abstract:

Percolation models are infinite random graph models which have applications to phase transitions and critical phenomena. In the site percolation model, each vertex in an infinite graph \( G \) is retained independently with probability \( p \) and deleted otherwise. The percolation threshold is the critical probability \( p_c(G) \) such that if \( p > p_c(G) \), there is positive probability that the random subgraph induced by the retained vertices has an infinite connected component, while the probability that all of its components are finite is one if \( p < p_c(G) \).

There are few lattice graphs for which the site percolation threshold is exactly known, and rigorous bounds for unsolved lattices are very imprecise. The substitution method for computing bounds for the more common class of bond percolation models must be modified to apply to site models. Some modifications will be illustrated with an application to the \( (4,8^2) \) Archimedean lattice, which is a vertex-transitive tiling of the plane by squares and regular octagons. An improved upper bound, \( p_c^{site}(4,8^2) < 0.785661 \), is obtained.