Mathematics Commons^™

Computing The Metric Dimension Of Truncated Wheels, Ian June L. Garces, Jose B. Rosario

Mathematics Faculty Publications

For an ordered subset W = {w1, w2, w3, . . . , wk} of vertices in a connected graph G and a vertex v of G, the metric representation of v with respect to W is the k-vector r(v|W) = (d(v, w1), d(v, w2), d(v, w3), . . . , d(v, wk)). The set W is called a resolving set of G if r(u|W) = r(v|W) implies u = v. The metric dimension of G, denoted by β(G), is the minimum cardinality of a resolving set of G. Let n ≥ 3 be an integer. A truncated wheel, denoted …

On Completely K-Magic Regular Graphs, Arnold A. Eniego, Ian June L. Garces

Mathematics Faculty Publications

Let k be a positive integer. A graph G = (V (G), E(G)) is said to be k-magic if there is a function (or edge labeling) ` : E(G) → Zk \ {0}, where Z1 = Z, such that the induced function (or vertex labeling) ` + : V (G) → Zk, defined by ` +(v) = P uv∈E(G) `(uv), is a constant map, where the sum is taken in Zk. We say that G is c-sum k-magic if ` +(v) = c for all v ∈ V (G). The set of all c ∈ Zk such that G is …

A Simpler Proof For The Ε-Δ Characterization Of Baire Class One Functions, Emmanuel A. Cabral, Jonald P. Fenecios

Mathematics Faculty Publications

We offer a new and simpler proof of a recent ϵ-δ characterization of Baire class one functions using a theorem by Henri Lebesgue. The proof is more elementary in the sense that it does not use the Baire Category Theorem. Furthermore, the proof requires only that the domain and range be separable metric spaces instead of Polish spaces.

Computing Singular Values Of Large Matrices With An Inverse-Free Preconditioned Krylov Subspace Method, Qiao Liang, Qiang Ye

Mathematics Faculty Publications

We present an efficient algorithm for computing a few extreme singular values of a large sparse m×n matrix C. Our algorithm is based on reformulating the singular value problem as an eigenvalue problem for C^TC. To address the clustering of the singular values, we develop an inverse-free preconditioned Krylov subspace method to accelerate convergence. We consider preconditioning that is based on robust incomplete factorizations, and we discuss various implementation issues. Extensive numerical tests are presented to demonstrate efficiency and robustness of the new algorithm.

The Unimodality Of Pure O-Sequences Of Type Three In Three Variables, Bernadette Boyle

Mathematics Faculty Publications

Since the 1970’s, great interest has been taken in the study of pure O-sequences, which are in bijective correspondence to the Hilbert functions of Artinian level monomial algebras. Much progress has been made in classifying these by their shape. It has been shown that all monomial complete intersections, Artinian algebras in two variables and Artinian level monomial algebras with type two in both three and four variables have unimodal Hilbert functions. This paper proves that Artinian level monomial algebras of type three in three variables have unimodal Hilbert functions. We will also discuss the licciness of these algebras.

Sensitivity Analysis Of Biological Boolean Networks Using Information Fusion Based On Nonadditive Set Functions, Naomi Kochi, Tomáš Helikar, Laura Allen, Jim A. Rogers, Zhenyuan Wang, Mihaela Teodora Matache

Mathematics Faculty Publications

Background: An algebraic method for information fusion based on nonadditive set functions is used to assess the joint contribution of Boolean network attributes to the sensitivity of the network to individual node mutations. The node attributes or characteristics under consideration are: in-degree, out-degree, minimum and average path lengths, bias, average sensitivity of Boolean functions, and canalizing degrees. The impact of node mutations is assessed using as target measure the average Hamming distance between a non-mutated/wild-type network and a mutated network.

Results: We find that for a biochemical signal transduction network consisting of several main signaling pathways whose nodes represent signaling …

Isometric Weighted Composition Operators, Valentin Matache

Mathematics Faculty Publications

A composition operator is an operator on a space of functions defined on the same set. Its action is by composition to the right with a fixed selfmap of that set. A composition operator followed by a multiplication operator is called a weighted composition operator. In this paper, we study when weighted composition operators on the Hilbert Hardy space of the open unit disc are isometric. We find their Wold decomposition in select cases and apply it to the computation of numerical ranges.

On The Intersection Of Certain Maximal Subgroups Of A Finite Group, Adolfo Ballester-Bolinches, James C. Beidleman, Hermann Heineken, Matthew F. Ragland, Jack Schmidt

Mathematics Faculty Publications

Let Δ(G) denote the intersection of all non-normal maximal subgroups of a group G. We introduce the class of T₂-groups which are defined as the groups G for which G/Δ(G) is a T-group, that is, a group in which normality is a transitive relation. Several results concerning the class T₂ are discussed. In particular, if G is a solvable group, then Sylow permutability is a transitive relation in G if and only if every subgroup H of G is a T₂-group such that the nilpotent residual of H …

Evaluation Of Bias-Variance Trade-Off For Commonly Used Post-Summarizing Normalization Procedures In Large-Scale Gene Expression Studies, Zhixin Wu, Rui Hu, Xing Qiu

Mathematics Faculty Publications

Normalization procedures are widely used in high-throughput genomic data analyses to remove various technological noise and variations. They are known to have profound impact to the subsequent gene differential expression analysis. Although there has been some research in evaluating different normalization procedures, few attempts have been made to systematically evaluate the gene detection performances of normalization procedures from the bias-variance trade-off point of view, especially with strong gene differentiation effects and large sample size. In this paper, we conduct a thorough study to evaluate the effects of normalization procedures combined with several commonly used statistical tests and MTPs under different …

Pythagorean Triples Challenge, Thomas Moore

Mathematics Faculty Publications

No abstract provided.

Computing Local Constants For Cm Elliptic Curves, Sunil Chetty, Lung Li

Mathematics Faculty Publications

Let E/k be an elliptic curve with CM by O. We determine a formula for (a generalization of) the arithmetic local constant of Mazur-Rubin at almost all primes of good reduction. We apply this formula to the CM curves defined over Q and are able to describe extensions F/Q over which the O-rank of E grows.

Almost Contact Lagrangian Submanifolds Of Nearly Kaehler 6-Sphere, Ramesh Sharma, Sharief Deshmukh, Falleh Al-Solamy

Mathematics Faculty Publications

For a Lagrangian submanifold M of S 6 with nearly Kaehler structure, we provide conditions for a canonically induced almost contact metric structure on M by a unit vector field, to be Sasakian. Assuming M contact metric, we show that it is Sasakian if and only if the second fundamental form annihilates the Reeb vector field ξ, furthermore, if the Sasakian submanifold M is parallel along ξ, then it is the totally geodesic 3-sphere. We conclude with a condition that reduces the normal canonical almost contact metric structure on M to Sasakian or cosymplectic structure.

Almost Ricci Solitons And K-Contact Geometry, Ramesh Sharma

Mathematics Faculty Publications

We give a short Lie-derivative theoretic proof of the following recent result of Barros et al. “A compact non-trivial almost Ricci soliton with constant scalar curvature is gradient, and isometric to a Euclidean sphere”. Next, we obtain the result: a complete almost Ricci soliton whose metric g is K-contact and flow vector field X is contact, becomes a Ricci soliton with constant scalar curvature. In particular, for X strict, g becomes compact Sasakian Einstein.

Sasakian Metric As A Ricci Soliton And Related Results, Ramesh Sharma, Amalendu Ghosh

Mathematics Faculty Publications

We prove the following results: (i) a Sasakian metric as a non-trivial Ricci soliton is null η-Einstein, and expanding. Such a characterization permits us to identify the Sasakian metric on the Heisenberg group H2n+1 as an explicit example of (non-trivial) Ricci soliton of such type. (ii) If an η-Einstein contact metric manifold M has a vector field V leaving the structure tensor and the scalar curvature invariant, then either V is an infinitesimal automorphism, or M is D-homothetically fixed K-contact.

Fractional Generalizations Of Filtering Problems And Their Associated Fractional Zakai Equation, Sabir Umarov, Fred Daum, Kenric Nelson

Mathematics Faculty Publications

In this paper we discuss fractional generalizations of the filtering problem. The ”fractional” nature comes from time-changed state or observation processes, basic ingredients of the filtering problem. The mathematical feature of the fractional filtering problem emerges as the Riemann-Liouville or Caputo-Djrbashian fractional derivative in the associated Zakai equation. We discuss fractional generalizations of the nonlinear filtering problem whose state and observation processes are driven by time-changed Brownian motion or/and Lévy process.

On The Maximum Leaf Number Of A Family Of Circulant Graphs, Felix P. Muga Ii

Mathematics Faculty Publications

This paper determines the maximum leaf number and the connected domination number of some undirected and connected circulant networks which are optimal among all the maximum leaf numbers and connected domination numbers of circulant networks of the same order n and the same degree 2k. We shall tackle this problem by working on the largest possible number of vertices between two consecutive jump sizes.

Superconvergence And A Posteriori Error Estimates Of A Local Discontinuous Galerkin Method For The Fourth-Order Initial-Boundary Value Problems Arising In Beam Theory, Mahboub Baccouch

Mathematics Faculty Publications

In this paper, we investigate the superconvergence properties and a posteriori error estimates of a local discontinuous Galerkin (LDG) method for solving the one-dimensional linear fourth-order initial-boundary value problems arising in study of transverse vibrations of beams. We present a local error analysis to show that the leading terms of the local spatial discretization errors for the k-degree LDG solution and its spatial derivatives are proportional to (k + 1)-degree Radau polynomials. Thus, the k-degree LDG solution and its derivatives are O(h^k+2) superconvergent at the roots of (k + 1)-degree Radau polynomials. Computational results indicate …

Tropical Convexity Over Max-Min Semiring, Viorel Nitica, Sergei Sergeev

Mathematics Faculty Publications

No abstract provided.

A Metric On Max-Min Algebra, Jonathan Eskeldson, Miriam Jaffe, Viorel Nitica

Mathematics Faculty Publications

No abstract provided.

An Explicit Construction Of Kleinian Groups With Small Limit Sets, Andrew Lazowski

Mathematics Faculty Publications

This paper provides an explicit construction of Kleinian groups that have small Hausdorff dimension of their limit sets. It is known that such groups exist and they can be constructed by results of Patterson. The purpose here is to work out the methods of calculation.

Global Convergence Of A Posteriori Error Estimates For A Discontinuous Galerkin Method For One-Dimensional Linear Hyperbolic Problems, Mahboub Baccouch

Mathematics Faculty Publications

In this paper we study the global convergence of the implicit residual-based a posteriori error estimates for a discontinuous Galerkin method applied to one-dimensional linear hyperbolic problems. We apply a new optimal superconvergence result [Y. Yang and C.-W. Shu, SIAM J. Numer. Anal., 50 (2012), pp. 3110-3133] to prove that, for smooth solutions, these error estimates at a fixed time converge to the true spatial errors in the L² -norm under mesh refinement. The order of convergence is proved to be k + 2, when k-degree piecewise polynomials with k ≥ 1 are used. As a consequence, we …

Small-World Properties Of Facebook Group Networks, Jason Wohlgemuth, Mihaela Teodora Matache

Mathematics Faculty Publications

Small-world networks permeate modern society. In this paper we present a methodology for creating and analyzing a practically limitless number of networks exhibiting small-world network properties. More precisely, we analyze networks whose nodes are Facebook groups sharing a common word in the group name and whose links are mutual members in any two groups. By analyzing several numerical characteristics of single networks and network aggregations, we investigate how the small-world properties scale with a coarsening of the network. We show that Facebook group networks have small average path lengths and large clustering coefficients that do not vanish with increased network …

A Generalization Of Poincaré-Cartan Integral Invariants Of A Nonlinear Nonholonomic Dynamical System, Muhammad Usman, M. Imran

Mathematics Faculty Publications

Based on the d'Alembert-Lagrange-Poincar\'{e} variational principle, we formulate general equations of motion for mechanical systems subject to nonlinear nonholonomic constraints, that do not involve Lagrangian undetermined multipliers. We write these equations in a canonical form called the Poincar\'{e}-Hamilton equations, and study a version of corresponding Poincar\'{e}-Cartan integral invariant which are derived by means of a type of asynchronous variation of the Poincar\'{e} variables of the problem that involve the variation of the time. As a consequence, it is shown that the invariance of a certain line integral under the motion of a mechanical system of the type considered characterizes the …

Lyapunov Functionals That Lead To Exponential Stability And Instability In Finite Delay Volterra Difference Equations, Catherine Kublik, Youssef Raffoul

Mathematics Faculty Publications

We use Lyapunov functionals to obtain sufficient conditions that guarantee exponential stability of the zero solution of the finite delay Volterra difference equation.

Also, by displaying a slightly different Lyapunov functional, we obtain conditions that guarantee the instability of the zero solution. The highlight of the paper is the relaxing of the condition |a(t)| < 1. Moreover, we provide examples in which we show that our theorems provide an improvement of some recent results.

Conjugate Points For Fractional Differential Equations, Paul W. Eloe, Jeffrey T. Neugebauer

Mathematics Faculty Publications

Let b > 0. Let 1 < α ≤ 2. The theory of u 0-positive operators with respect to a cone in a Banach space is applied to study the conjugate boundary value problem for Riemann-Liouville fractional linear differential equations D 0+α u + λp(t)u = 0, 0 < t < b, satisfying the conjugate boundary conditions u(0) = u(b) = 0. The first extremal point, or conjugate point, of the conjugate boundary value problem is defined and criteria are established to characterize the conjugate point. As an application, a fixed point theorem is applied to give sufficient conditions for existence of a solution of a related boundary value problem for a nonlinear fractional differential equation.

Existence And Comparison Of Smallest Eigenvalues For A Fractional Boundary-Value Problem, Paul W. Eloe, Jeffrey T. Neugebauer

Mathematics Faculty Publications

The theory of u0-positive operators with respect to a cone in a Banach space is applied to the fractional linear differential equations

(see PDF)

0 < t < 1, with each satisfying the boundary conditions u(0) = u(1) = 0. The existence of smallest positive eigenvalues is established, and a comparison theorem for smallest positive eigenvalues is obtained.

Zp-Modules With Partial Decomposition Bases In L Δ ∞Ω, Carol Jacoby, Peter Loth

Mathematics Faculty Publications

We consider the class of mixed Zp-modules with partial decomposition bases. This class includes those modules classified by Ulm and Warfield and is closed under L∞ω-equivalence. In the context of L∞ω- equivalence, Jacoby defined invariants for this class and proved a classification theorem. Here we examine this class relative to Lδ∞ω, those formulas of quantifier rank ≤ some ordinal δ, defining invariants and proving a classification theorem. This generalizes a result of Barwise and Eklof.

Leslie Matrices For Logistic Population Modeling, Bruce Kessler

Mathematics Faculty Publications

Leslie matrices are taught as a method of modeling populations in a discrete-time fashion with more detail in the tracking of age groups within the population. Leslie matrices have limited use in the actual modeling of populations, since when the age groups are summed, it is basically equivalent to discrete-time modeling assuming exponential population growth. The logistic model of population growth is more realistic, since it takes into account a carrying capacity for the environment of the population. This talk will describe an adjustment to the Leslie matrix approach for population modeling that is both takes into account the carrying …

Left Baire-1 Compositors And Continuous Functions, Jonald P. Fenecios, Emmanuel A. Cabral

Mathematics Faculty Publications

We showed that the class of left Baire-1 compositors is precisely the class of continuous functions. This answers a characterization problem posed in the work by Zhao (2007, page 550) and settles in the affirmative the conjecture in the work by Fenecios and Cabral (2012, page 43). Moreover, based on the above result we provide a new proof that the class of functions BS,T where S is the class of all positive continuous functions and T is the class of all positive constants as defined in the work by Bakowska and Pawlak (2010) is exactly the class of all continuous …

Long-Wave Model For Strongly Anisotropic Growth Of A Crystal Step, Mikhail Khenner

Mathematics Faculty Publications

A continuum model for the dynamics of a single step with the strongly anisotropic line energy is formulated and analyzed. The step grows by attachment of adatoms from the lower terrace, onto which atoms adsorb from a vapor phase or from a molecular beam, and the desorption is nonnegligible (the “one-sided” model). Via a multiscale expansion, we derived a long-wave, strongly nonlinear, and strongly anisotropic evolution PDE for the step profile. Written in terms of the step slope, the PDE can be represented in a form similar to a convective Cahn-Hilliard equation. We performed the linear stability analysis and computed …