Mathematics Commons^™

Detection And Approximation Of Function Of Two Variables In High Dimensions, Minzhe Pan

Electronic Theses and Dissertations

This thesis originates from the deterministic algorithm of DeVore, Petrova, and Wojtaszcsyk for the detection and approximation of functions of one variable in high dimensions. We propose a deterministic algorithm for the detection and approximation of function of two variables in high dimensions.

Numerical Computations For Pde Models Of Rocket Exhaust Flow In Soil, Brian Brennan

Electronic Theses and Dissertations

We study numerical methods for solving the nonlinear porous medium and Navier-Lame problems. When coupled together, these equations model the flow of exhaust through a porous medium, soil, and the effects that the pressure has on the soil in terms of spatial displacement. For the porous medium equation we use the Crank-Nicolson time stepping method with a spectral discretization in space. Since the Navier-Lame equation is a boundary value problem, it is solved using a finite element method where the spatial domain is represented by a triangulation of discrete points. The two problems are coupled by using approximations of solutions …

Singular Points Of Real Sextic Curves I, David A. Weinberg, Nicholas J. Willis

Faculty Publications - Department of Mathematics

A complete classification of the individual types of singular points is given for irreducible real sextic curves. This classification is derived by using the computer algebra system Maple. There are 191 types of singular points for real irreducible sextic curves. We clarify that the classification is based on computing just enough of the Puiseux expansion to separate the branches. A significant portion of the proof consists of a sequence of large symbolic computations that can be done nicely using Maple.

Covariant Quantum Fields On Noncommutative Spacetimes, A. P. Balachandran, A. Ibort, G. Marmo, M. Martone

Physics - All Scholarship

A spinless covariant field $\phi$ on Minkowski spacetime $\M^{d+1}$ obeys the relation $U(a,\Lambda)\phi(x)U(a,\Lambda)^{-1}=\phi(\Lambda x+a)$ where $(a,\Lambda)$ is an element of the Poincar\'e group $\Pg$ and $U:(a,\Lambda)\to U(a,\Lambda)$ is its unitary representation on quantum vector states. It expresses the fact that Poincar\'e transformations are being unitary implemented. It has a classical analogy where field covariance shows that Poincar\'e transformations are canonically implemented. Covariance is self-reproducing: products of covariant fields are covariant. We recall these properties and use them to formulate the notion of covariant quantum fields on noncommutative spacetimes. In this way all our earlier results on dressing, statistics, etc. for …

Quantum Geons And Noncommutative Spacetimes, A. P. Balachandran, A. Ibort, G. Marmo, M. Martone

Physics - All Scholarship

Physical considerations strongly indicate that spacetime at Planck scales is noncommutative. A popular model for such a spacetime is the Moyal plane. The Poincare group algebra acts on it with a Drinfel'd-twisted coproduct. But the latter is not appropriate for more complicated spacetimes such as those containing the Friedman-Sorkin (topological) geons. They have rich diffeomorphism groups and in particular mapping class groups, so that the statistics groups for N identical geons is strikingly different from the permutation group SN. We generalise the Drinfel'd twist to (essentially) generic groups including to finite and discrete ones and use it to modify the …

U-Singularity And T-Topos Theoretic Entropy, Goro C. Kato

Mathematics

We will give descriptions of u-singularities as we introduce the notion of t-topos theoretic entropies. The unifying methodology for a u-singularity is the universal mapping property of an inverse or direct limit. The qualitative, conceptual, and structural analyses of u-singularities are given in terms of inverse and direct limits of micro decompositions of a presheaf and coverings of an object in t-site in the theory of temporal topos.

Urcohomologies And Cohomologies Of N -Complexes, Naoya Hiramatsu, Goro Kato

Mathematics

For a general sequence of objects and morphisms, we construct two N-complexes. Then we can define cohomologies (i, k)-type of the N-complexes not only on a diagonal region but also in the triangular region. We obtain an invariant defined on a general sequence of objects and morphisms. For a short exact sequence of N-complexes, we get the associated long exact sequence generalizing the classical long exact sequence. Lastly, several properties of the vanishing cohomologies of N-complexes are given.

Numerical Investigation Of Aeroelastic Mode Distribution For Aircraft Wing Model In Subsonic Air Flow, Marianna A. Shubov, Stephen B. Wineberg, Robert Holt

Mathematics & Statistics

In this paper, the numerical results on two problems originated in aircraft wing modeling have been presented. The first problem is concerned with the approximation to the set of the aeroelastic modes, which are the eigenvalues of a certain boundary-value problem. The affirmative answer is given to the following question: can the leading asymptotical terms in the analytical formulas be used as reasonably accurate description of the aeroelastic modes? The positive answer means that these leading terms can be used by engineers for practical calculations. The second problem is concerned with the flutter phenomena in aircraft wings in a subsonic, …

Diagonal Forms And The Rationality Of The Poincaré Series, Dibyajyoti Deb

University of Kentucky Doctoral Dissertations

The Poincaré series, Py(f) of a polynomial f was first introduced by Borevich and Shafarevich in [BS66], where they conjectured, that the series is always rational. Denef and Igusa independently proved this conjecture. However it is still of interest to explicitly compute the Poincaré series in special cases. In this direction several people looked at diagonal polynomials with restrictions on the coefficients or the exponents and computed its Poincaré series. However in this dissertation we consider a general diagonal polynomial without any restrictions and explicitly compute its Poincaré series, thus extending results of Goldman, Wang and Han. In a separate …

A Generalization Of Bernoulli's Inequality, Laura De Carli, Steve M. Hudson

Department of Mathematics and Statistics

No abstract provided.

Categorical Approaches To Non-Commutative Fuzzy Logic, Lawrence Stout

Scholarship

In this paper we consider what it means for a logic to be non-commutative, how to generate examples of structures with a non-commutative operation * which have enough nice properties to serve as the truth values for a logic. Inference in the propositional logic is gotten from the categorical properties (products, coproducts, monoidal and closed structures, adjoint functors) of the categories of truth values. We then show how to extend this view of propositional logic to a predicate logic using categories of propositions about a type A with functors giving change of type and adjoints giving quantifiers. In the case …

Heteroclinic Solutions To An Asymptotically Autonomous Second-Order Equation, Gregory S. Spradlin

Mathematics - Daytona Beach

We study the differential equation ẍ(t) = a(t)V '(x(t)), where V is a double-well potential with minima at x = ±1 and a(t) →l > 0 as |t| → 1. It is proven that under certain additional assumptions on a, there exists a heteroclinic solution x to the differential equation with x(t) → -1 as t → -1 and x(t) → 1 as t → ∞. The assumptions allow l - a(t) to change sign for arbitrarily large values of |t|, and do not restrict the decay rate of |l -a(t)| as |t| → ∞ © 2010 Texas State University - …

An F4-Style Involutive Basis Algorithm, Miao Yu

Mathematics Student Presentations

This paper introduces a new algorithm for computing Gröbner bases. To avoid as much ambiguity as possible, this algorithm combines the F4 algorithm and basic algorithm of involutive bases and it replaces the symbolic precomputation of S-polynomials and ordinary division in F4 by a new symbolic precomputation of non-multiplicative prolongations and involutive division. This innovation makes the sparse matrix of F4 in a deterministic way. As an example the Cyclic-4 problem is presented.

Edge Coloring Bibds And Constructing Moelrs , John S. Asplund

Dissertations, Master's Theses and Master's Reports - Open

Chapter 1 is used to introduce the basic tools and mechanics used within this thesis. Some historical uses and background are touched upon as well. The majority of the definitions are contained within this chapter as well.

In Chapter 2 we consider the question whether one can decompose λ copies of monochromatic K_v into copies of K_k such that each copy of the K_k contains at most one edge from each K_v. This is called a proper edge coloring (Hurd, Sarvate, [29]). The majority of the content in this section is a wide variety of …

Large Cardinals, Oliver Pechenik

Honors Papers

Infinite sets are a fundamental object of modern mathematics. Surprisingly, the existence of infinite sets cannot be proven within mathematics. Their existence, or even the consistency of their possible existence, must be justified extra-mathematically or taken as an article of faith. We describe here several varieties of large infinite set that have a similar status in mathematics to that of infinite sets, i.e. their existence cannot be proven, but they seem both reasonable and useful. These large sets are known as large cardinals. We focus on two types of large cardinal: inaccessible cardinals and measurable cardinals. Assuming the existence of …

Bass’ Nk Groups And Cd H-Fibrant Hochschild Homology, G. Cortiñas, C. Haesemeyer, Mark E. Walker, C. Weibel

Department of Mathematics: Faculty Publications

The K-theory of a polynomial ring R[t ] contains the K-theory of R as a summand. For R commutative and containing Q, we describe K∗(R[t ])/K∗(R) in terms of Hochschild homology and the cohomology of Kähler differentials for the cdh topology.

We use this to address Bass’ question, whether K_n(R) = K_n(R[t ]) implies K_n(R) = K_n(R[t₁, t₂]). The answer to this question is affirmative when R is essentially of …

Embracing The Vision: Our Work With Teachers Implementing Gps, Sarah Ledford, Wendy B. Sanchez

Proceedings of the Annual Meeting of the Georgia Association of Mathematics Teacher Educators

Abstract: In 2005, three Kennesaw State University mathematics education faculty members began a series of workshops titled “Implementing the Georgia Performance Standards [GPS]: Embracing the Vision.” This workshop series has been underwritten by Georgia’s Teacher Quality Higher Education Program. The first series of workshops began with 6th grade teachers the first year the GPS was implemented and the project has been funded each subsequent year since its inception. Currently, we are working with Math III teachers as they implement the course for the first time. The initial focus for the project was on conceptual understanding versus procedural understanding, writing tasks …

Collaborating To Meet The Standards: Implications For Professional Development, Erik D. Jacobson, Laura M. Singletary

Proceedings of the Annual Meeting of the Georgia Association of Mathematics Teacher Educators

Researchers from the University of Georgia interviewed 27 Mathematics 1 teachers about their experiences during the first year of the high school implementation of the Georgia Performance Standards (GPS). We report our findings about teachers’ experiences with Mathematics 1 professional development and describe features of professional development that teachers identified as most beneficial. Some teachers offered suggestions for professional development that differed from the professional development they had experienced. In addition, we found that many teachers used collaborative strategies to meet the demands of the new curriculum and the perceived inadequacies of resources and training. We discuss the various models …

Parallelization Of The Wolff Single-Cluster Algorithm, Jevgenijs Kaupužs, Jānis Rimšāns, Roderick V.N. Melnik

Mathematics Faculty Publications

A parallel [open multiprocessing (OpenMP)] implementation of the Wolff single-cluster algorithm has been developed and tested for the three-dimensional (3D) Ising model. The developed procedure is generalizable to other lattice spin models and its effectiveness depends on the specific application at hand. The applicability of the developed methodology is discussed in the context of the applications, where a sophisticated shuffling scheme is used to generate pseudorandom numbers of high quality, and an iterative method is applied to find the critical temperature of the 3D Ising model with a great accuracy. For the lattice with linear size L=1024, we have …

On Independent Sets In Purely Atomic Probability Spaces With Geometric Distribution., Eugen J. Ionascu, Alin A. Stancu

Faculty Bibliography

We are interested in constructing concrete independent events in purely atomic probability spaces with geometric distribution. Among other facts we prove that there are uncountable many sequences of independent events.