Mathematics Commons^™

The Lagrangian Formulation For Wave Motion With A Shear Current And Surface Tension, Conor Curtin, Rossen Ivanov

Articles

The Lagrangian formulation for the irrotational wave motion is straightforward and follows from a Lagrangian functional which is the difference between the kinetic and the potential energy of the system. In the case of fluid with constant vorticity, which arises for example when a shear current is present, the separation of the energy into kinetic and potential is not at all obvious and neither is the Lagrangian formulation of the problem. Nevertheless, we use the known Hamiltonian formulation of the problem in this case to obtain the Lagrangian density function, and utilising the Euler-Lagrange equations we proceed to derive some …

Neutrosophic Treatment Of The Modified Simplex Algorithm To Find The Optimal Solution For Linear Models, Florentin Smarandache, Maissam Ahmad Jdid

Branch Mathematics and Statistics Faculty and Staff Publications

Science is the basis for managing the affairs of life and human activities, and living without knowledge is a form of wandering and a kind of loss. Using scientific methods helps us understand the foundations of choice, decision-making, and adopting the right solutions when solutions abound and options are numerous. Operational research is considered the best that scientific development has provided because its methods depend on the application of scientific methods in solving complex issues and the optimal use of available resources in various fields, private and governmental work in peace and war, in politics and economics, in planning and …

The Mceliece Cryptosystem As A Solution To The Post-Quantum Cryptographic Problem, Isaac Hanna

Senior Honors Theses

The ability to communicate securely across the internet is owing to the security of the RSA cryptosystem, among others. This cryptosystem relies on the difficulty of integer factorization to provide secure communication. Peter Shor’s quantum integer factorization algorithm threatens to upend this. A special case of the hidden subgroup problem, the algorithm provides an exponential speedup in the integer factorization problem, destroying RSA’s security. Robert McEliece’s cryptosystem has been proposed as an alternative. Based upon binary Goppa codes instead of integer factorization, his cryptosystem uses code scrambling and error introduction to hinder decrypting a message without the private key. This …

Optimal Agricultural Land Use: An Efficient Neutrosophic Linear Programming Method, Maisam Jdid, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

The increase in the size of the problems facing humans, their overlap, the division of labor, the multiplicity of departments, as well as the diversity of products and commodities, led to the complexity of business and the emergence of many administrative and production problems. It was necessary to search for appropriate methods to confront these problems. The science of operations research, with its diverse methods, provided the optimal solutions. It addresses many problems and helps in making scientific and thoughtful decisions to carry out the work in the best way within the available capabilities. Operations research is one of the …

Medical Diagnosis Via Refined Neutrosophic Fuzzy Logic: Detection Of Illness Using Neutrosophic Sets, K. Hemabala, B. Srinivasa Kumar, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

The objective of the paper is to implement and validate diagnosis in the medical field via refined neutrosophic fuzzy logic (RNFL). As such, we have proposed a Max-Min composition (MMC) method in RNFL. This method deals with the diagnosis under certain constraints like uncertainty and indeterminacy. Further, we have considered the diagnosis problems to validate the sensitivity analysis of the novel multi attribute decision-making technique. Finally, we gave the graphical representations and compared the obtained results with other existing measures in refined neutrosophic fuzzy sets.

On Refined Neutrosophic Finite P-Group, Sunday Adesina Adebisi, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

The neutrosophic automorphisms of a neutrosophic groups G (I) , denoted by Aut(G (I)) is a neu-trosophic group under the usual mapping composition. It is a permutation of G (I) which is also a neutrosophic homomorphism. Moreover, suppose that X1 = X(G (I)) is the neutrosophic group of inner neutrosophic auto-morphisms of a neutrosophic group G (I) and Xn the neutrosophic group of inner neutrosophic automorphisms of Xn-1. In this paper, we show that if any neutrosophic group of the sequence G (I), X1, X2, … is the identity, then G (I) is nilpotent.

Hamilton Cycles In Bidirected Complete Graphs, Arthur Busch, Mohammed A. Mutar, Daniel Slilaty

Mathematics and Statistics Faculty Publications

Zaslavsky observed that the topics of directed cycles in directed graphs and alternating cycles in edge 2-colored graphs have a common generalization in the study of coherent cycles in bidirected graphs. There are classical theorems by Camion, Harary and Moser, Häggkvist and Manoussakis, and Saad which relate strong connectivity and Hamiltonicity in directed "complete" graphs and edge 2-colored "complete" graphs. We prove two analogues to these theorems for bidirected "complete" signed graphs.

One-Point Gleason Parts And Point Derivations In Uniform Algebras, Swarup Ghosh, Alexander J. Izzo

Faculty Articles & Research

It is shown that a uniform algebra can have a nonzero bounded point derivation while having no nontrivial Gleason parts. Conversely, a uniform algebra can have a nontrivial Gleason part while having no nonzero, even possibly unbounded, point derivations.

Minimizers Of Nonlocal Polyconvex Energies In Nonlocal Hyperelasticity, José C. Bellido, Javier Cueto, Carlos Mora-Corral

Department of Mathematics: Faculty Publications

We develop a theory of existence of minimizers of energy functionals in vectorial problems based on a nonlocal gradient under Dirichlet boundary conditions. The model shares many features with the peridynamics model and is also applicable to nonlocal solid mechanics, especially nonlinear elasticity. This nonlocal gradient was introduced in an earlier work, inspired by Riesz’ fractional gradient, but suitable for bounded domains. The main assumption on the integrand of the energy is polyconvexity. Thus, we adapt the corresponding results of the classical case to this nonlocal context, notably, Piola’s identity, the integration by parts of the determinant and the weak …

Bounds On Cohomological Support Varieties, Benjamin Briggs, Eloisa Grifo, Josh Pollitz

Department of Mathematics: Faculty Publications

Over a local ring R, the theory of cohomological support varieties attaches to any bounded complex M of finitely generated R-modules an algebraic variety VR(M) that encodes homological properties of M. We give lower bounds for the dimension of VR(M) in terms of classical invariants of R. In particular, when R is Cohen-Macaulay and not complete intersection we find that there are always varieties that cannot be realized as the cohomological support of any complex. When M has finite projective dimension, we also give an upper bound for dimVR(M) in terms of the dimension of the radical of the homotopy …

A Mode-Sum Prescription For The Renormalized Stress Energy Tensor On Black Hole Spacetimes, Peter Taylor, Cormac Breen, Adrian Ottewill

Articles

In this paper, we describe an extremely efficient method for computing the renormalized stress-energy tensor of a quantum scalar field in spherically symmetric black hole spacetimes. The method applies to a scalar field with arbitrary field parameters. We demonstrate the utility of the method by computing the renormalized stress-energy tensor for a scalar field in the Schwarzschild black hole spacetime, applying our results to discuss the null energy condition and the semiclassical backreaction.

Computing Rational Powers Of Monomial Ideals, Pratik Dongre, Benjamin Drabkin, Josiah Lim, Ethan Partida, Ethan Roy, Dylan Ruff, Alexandra Seceleanu, Tingting Tang

Department of Mathematics: Faculty Publications

This paper concerns fractional powers of monomial ideals. Rational powers of a monomial ideal generalize the integral closure operation as well as recover the family of symbolic powers. They also highlight many interesting connections to the theory of convex polytopes. We provide multiple algorithms for computing the rational powers of a monomial ideal. We also introduce a mild generalization allowing real powers of monomial ideals. An important result is that given any monomial ideal I, the function taking a real number to the corresponding real power of I is a step function which is left continuous and has rational …

Duality For Asymptotic Invariants Of Graded Families, Michael Dipasquale, Thái Thành Nguyễn, Alexandra Seceleanu

Department of Mathematics: Faculty Publications

The starting point of this paper is a duality for sequences of natural numbers which, under mild hypotheses, interchanges subadditive and superadditive sequences and inverts their asymptotic growth constants.

We are motivated to explore this sequence duality since it arises naturally in at least two important algebraic-geometric contexts. The first context is Macaulay- Matlis duality, where the sequence of initial degrees of the family of symbolic powers of a radical ideal is dual to the sequence of Castelnuovo-Mumford regularity values of a quotient by ideals generated by powers of linear forms. This philosophy is drawn from an influential paper of …

Lorentzian Polynomials, Higher Hessians, And The Hodge-Riemann Property For Codimension Two Graded Artinian Gorenstein Algebras, Pedro Macias-Marques, Chris Mcdaniel, Alexandra Seceleanu, Junzo Watanabe

Department of Mathematics: Faculty Publications

We study the Hodge-Riemann property (HRP) for graded Artinian Gorenstein (AG) algebras. We classify AG algebras in codimension two that have HRP in terms of higher Hessian matrices and positivity of Schur functions associated to certain rectangular partitions.

In this paper we introduce the Hodge Riemann property (HRP) on an arbitrary graded oriented Artinian Gorenstein (AG) algebra defined over R, and we give a criterion on the higher Hessian matrix of its Macaulay dual generator (Theorem 3.1). AG algebras can be regarded as algebraic analogues of cohomology rings (in even degrees) of complex manifolds, and the HRP is analogous to …

Polynomial Growth Of Betti Sequences Over Local Rings, Luchezar L. Avramov, Alexandra Seceleanu, Zheng Yang

Department of Mathematics: Faculty Publications

We study sequences of Betti numbers (β^R_i (M)) of finite modules M over a complete intersection local ring, R. It is known that for every M the subsequence with even, respectively, odd indices i is eventually given by some polynomial in i. We prove that these polynomials agree for all R-modules if the ideal I^☐ generated by the quadratic relations of the associated graded ring of R satisfies height I^☐ ≥ codim R − 1, and that the converse holds when R is homogeneous and when codim R ≤ 4. Avramov, …

Low-Gain Integral Control For A Class Of Discrete-Time Lur’E Systems With Applications To Sampled-Data Control, Chris Guiver, Richard Rebarber, Stuart Townley

Department of Mathematics: Faculty Publications

We study low-gain (P)roportional (I)ntegral control of multivariate discrete-time, forced Lur’e systems to solve the output-tracking problem for constant reference signals. We formulate an incremental sector condition which is sufficient for a usual linear low-gain PI controller to achieve exponential disturbance-to-state and disturbance-to-tracking-error stability in closed-loop, for all sufficiently small integrator gains. Output tracking is achieved in the absence of exogenous disturbance (noise) terms. Our line of argument invokes a recent circle criterion for exponential incremental input-to-state stability. The discrete-time theory facilitates a similar result for a continuous-time forced Lur’e system in feedback with sampled-data low-gain integral control. The theory …

Bridge Trisections And Classical Knotted Surface Theory, Jason Joseph, Jeffrey Meier, Maggie Miller, Miller Zupan

Department of Mathematics: Faculty Publications

We seek to connect ideas in the theory of bridge trisections with other wellstudied facets of classical knotted surface theory. First, we show how the normal Euler number can be computed from a tri-plane diagram, and we use this to give a trisection-theoretic proof of the Whitney–Massey theorem, which bounds the possible values of this number in terms of the Euler characteristic. Second, we describe in detail how to compute the fundamental group and related invariants from a tri-plane diagram, and we use this, together with an analysis of bridge trisections of ribbon surfaces, to produce an infinite family of …

Symbolic Power Containments In Singular Rings In Positive Characteristic, Eloísa Grifo, Linquan Ma, Karl Schwede

Department of Mathematics: Faculty Publications

The containment problem for symbolic and ordinary powers of ideals asks for what values of a and b we have I(a)⊆Ib. Over a regular ring, a result by Ein-Lazarsfeld-Smith, Hochster-Huneke, and Ma-Schwede partially answers this question, but the containments it provides are not always best possible. In particular, a tighter containment conjectured by Harbourne has been shown to hold for interesting classes of ideals - although it does not hold in general. In this paper, we develop a Fedder (respectively, Glassbrenner) type criterion for F-purity (respectively, strong F-regularity) for ideals of finite projective dimension over F-finite Gorenstein rings and use …

Bbt Acoustic Alternative Top Bracing Cadd Data Set-Norev-2022jun28, Bill Hemphill

STEM Guitar Project’s BBT Acoustic Kit

This electronic document file set consists of an overview presentation (PDF-formatted) file and companion video (MP4) and CADD files (DWG & DXF) for laser cutting the ETSU-developed alternate top bracing designs and marking templates for the STEM Guitar Project’s BBT (OM-sized) standard acoustic guitar kit. The three (3) alternative BBT top bracing designs in this release are
(a) a one-piece base for the standard kit's (Martin-style) bracing,
(b) 277 Ladder-style bracing, and
(c) an X-braced fan-style bracing similar to traditional European or so-called 'classical' acoustic guitars.

The CADD data set for each of the three (3) top bracing designs includes …

Many Cliques In Bounded-Degree Hypergraphs, Rachel Kirsch, J. Radcliffe

Department of Mathematics: Faculty Publications

Recently Chase determined the maximum possible number of cliques of size t in a graph on n vertices with given maximum degree. Soon afterward, Chakraborti and Chen answered the version of this question in which we ask that the graph have m edges and fixed maximum degree (without imposing any constraint on the number of vertices). In this paper we address these problems on hypergraphs. For s-graphs with s ≥ 3 a number of issues arise that do not appear in the graph case. For instance, for general s-graphs we can assign degrees to any i-subset of the vertex set …

Mentoring Undergraduate Research In Mathematical Modeling, Glenn Ledder

Department of Mathematics: Faculty Publications

In writing about undergraduate research in mathematical modeling, I draw on my 31 years as a mathematics professor at the University of Nebraska–Lincoln, where I mentored students in honors’ theses, REU groups, and research done in a classroom setting, as well as my prior experience. I share my views on the differences between research at the undergraduate and professional levels, offer advice for undergraduate mentoring, provide suggestions for a variety of ways that students can disseminate their research, offer some thoughts on mathematical modeling and how to explain it to undergraduates, and discuss the challenges involved in broadening research participation …

Mentoring Undergraduate Research In Mathematical Modeling, Glenn Ledder

Department of Mathematics: Faculty Publications

In writing about undergraduate research in mathematical modeling, I draw on my 31 years as a mathematics professor at the University of Nebraska–Lincoln, where I mentored students in honors’ theses, REU groups, and research done in a classroom setting, as well as my prior experience. I share my views on the differences between research at the undergraduate and professional levels, offer advice for undergraduate mentoring, provide suggestions for a variety of ways that students can disseminate their research, offer some thoughts on mathematical modeling and how to explain it to undergraduates, and discuss the challenges involved in broadening research participation …

Differential Operators On Classical Invariant Rings Do Not Lift Modulo P, Jack Jeffries, Anurag K. Singh

Department of Mathematics: Faculty Publications

Levasseur and Stafford described the rings of differential operators on various classical invariant rings of characteristic zero; in each of the cases that they considered, the differential operators form a simple ring. Towards an attack on the simplicity of rings of differential operators on invariant rings of linearly reductive groups over the complex numbers, Smith and Van den Bergh asked if differential operators on the corresponding rings of positive prime characteristic lift to characteristic zero differential operators. We prove that, in general, this is not the case for determinantal hypersurfaces, as well as for Pfaffian and symmetric determinantal hypersurfaces. We …

Bbt Side Mold Assy, Bill Hemphill

STEM Guitar Project’s BBT Acoustic Kit

This electronic document file set covers the design and fabrication information of the ETSU Guitar Building Project’s BBT (OM-sized) Side Mold Assy for use with the STEM Guitar Project’s standard acoustic guitar kit. The extended 'as built' data set contains an overview file and companion video, the 'parent' CADD drawing, CADD data for laser etching and cutting a drill &/or layout template, CADD drawings in AutoCAD .DWG and .DXF R12 formats of the centerline tool paths for creating the mold assembly pieces on an AXYZ CNC router, and support documentation for CAM applications including router bit specifications, feeds, speed, multi-pass …

Analysis Of A Quantum Attack On The Blum-Micali Pseudorandom Number Generator, Tingfei Feng

Mathematical Sciences Technical Reports (MSTR)

In 2012, Guedes, Assis, and Lula proposed a quantum attack on a pseudorandom number generator named the Blum-Micali Pseudorandom number generator. They claimed that the quantum attack can outperform classical attacks super-polynomially. However, this paper shows that the quantum attack cannot get the correct seed and provides another corrected algorithm that is in exponential time but still faster than the classical attack. Since the original classical attacks are in exponential time, the Blum-Micali pseudorandom number generator would be still quantum resistant.

Characterization Of A Family Of Rotationally Symmetric Spherical Quadrangulations, Lowell Abrams, Daniel Slilaty

Mathematics and Statistics Faculty Publications

A spherical quadrangulation is an embedding of a graph G in the sphere in which each facial boundary walk has length four. Vertices that are not of degree four in G are called curvature vertices. In this paper we classify all spherical quadrangulations with n-fold rotational symmetry (n ≥ 3) that have minimum degree 3 and the least possible number of curvature vertices, and describe all such spherical quadrangulations in terms of nets of quadrilaterals. The description reveals that such rotationally symmetric quadrangulations necessarily also have a pole-exchanging symmetry.

The Primitive Root Problem: A Problem In Bqp, Shixin Wu

Mathematical Sciences Technical Reports (MSTR)

Shor’s algorithm proves that the discrete logarithm problem is in BQP. Based on his algorithm, we prove that the primitive root problem, a problem that verifies if some integer g is a primitive root modulo p where p is the largest prime number smaller than 2n for a given n, which is assumed to be harder than the discrete logarithm problem, is in BQP by using an oracle quantum Turing machine.

Structure Of Number Theoretic Graphs, Lee Trent

Mathematical Sciences Technical Reports (MSTR)

The tools of graph theory can be used to investigate the structure
imposed on the integers by various relations. Here we investigate two
kinds of graphs. The first, a square product graph, takes for its vertices
the integers 1 through n, and draws edges between numbers whose product
is a square. The second, a square product graph, has the same vertex set,
and draws edges between numbers whose sum is a square.
We investigate the structure of these graphs. For square product
graphs, we provide a rather complete characterization of their structure as
a union of disjoint complete graphs. For …

Nessie Notation: A New Tool In Sequential Substitution Systems And Graph Theory For Summarizing Concatenations, Colton Davis

Student Research

While doing research looking for ways to categorize causal networks generated by Sequential Substitution Systems, I created a new notation to compactly summarize concatenations of integers or strings of integers, including infinite sequences of these, in the same way that sums, products, and unions of sets can be summarized. Using my method, any sequence of integers or strings of integers with a closed-form iterative pattern can be compactly summarized in just one line of mathematical notation, including graphs generated by Sequential Substitution Systems, many Primitive Pythagorean Triplets, and various Lucas sequences including the Fibonacci sequence and the sequence of square …

A Uniform Chevalley Theorem For Direct Summands Of Polynomial Rings In Mixed Characteristic, Alessandro De Stefani, Eloisa Grifo, Jack Jeffries

Department of Mathematics: Faculty Publications

We prove an explicit uniform Chevalley theorem for direct summands of graded polynomial rings in mixed characteristic. Our strategy relies on the introduction of a new type of differential powers that does not require the existence of a p-derivation on the direct summand.