arXiv ScienceSearch

arXiv subjects

Matthew Schmidt

Publications and source records attributed to Matthew Schmidt.

6 recordsLinked to original sources

Beyond Technological Usability: Exploratory Factor Analysis of the Comprehensive Assessment of Usability Scale for Learning Technologies (CAUSLT)

Traditionally rooted in the domain of Human-Computer Interaction (HCI), usability has been primarily associated with the technological performance of a system's user interface. However, as learning technologies continue to advance, a pressing need exists to evaluate these tools from a broader perspective, encompassing not just technological but also pedagogical and sociocultural dimensions. The current paper delves into the multifaceted nature of usability in the context of Learning Design and Technology (LDT). We identified prevailing gaps in current usability research practices within LDT, notably the over-reliance on HCI-derived instruments that may not holistically capture the unique usability demands of learning technologies. To address these challenges, we embarked on the development and analysis of the Comprehensive Assessment of Usability Scale for Learning Technologies (CAUSLT). A total of 155 responses were collected and analyzed. Utilizing exploratory factor analysis, this study aimed to explore core constructs for the development of CAUSLT. Our findings underscore the importance and the critical need for a comprehensive usability evaluation framework tailored for learning technologies, setting the stage for more effective and user-centric educational tools.

cs.HC

On a Fiber Conjecture of Wan

For a prime $p$ and $p$-power $q$, let $f(x)\in\mathbb{F}_q[x]$ with $\textrm{deg}\ f$ coprime to $p$. As $\lambda$ varies in $\overline{\mathbb{F}_p^\times}$, Wan has conjectured that the $p$-adic Newton polygon of the corresponding Artin-Schreier curve given by $\lambda f$ is constant. That is, \[ \textrm{NP}(f) = \textrm{NP}(\lambda f). \] In this paper, we prove this conjecture when $\lambda\in\mathbb{F}_p^\times$ and provide a detailed counterexample showing it is false in general.

math.NT

A determinant of the Artin-Hasse exponential coefficients

We present a new determinant identity involving the coefficients of the Artin-Hasse exponential. In particular, if $E(x) = \exp(\sum_{k=0}^\infty \frac{x^{p^k}}{p^k}) = \sum_{n=0}^\infty u_nx^n$ is the Artin-Hasse exponential, we give, for any $\ell\geq 1$, a closed-form formula for the determinant $|u_{pi-j}|_{1\leq i,j\leq \ell}$ and show it is a $p$-adic unit.

math.NT

Exponential Sums of Witt Towers over Affinoids

In this paper we construct a Dwork theory for general exponential sums over affinoids in Witt towers. Using this, we compute the degree of the $L$-function, its Hodge polygon and examine when the Hodge and Newton polygons coincide.

math.NT

$T$-adic Exponential Sums over Affinoids

We introduce and develop $(\pi,p)$-adic Dwork theory for $L$-functions of exponential sums associated to one-variable rational functions, interpolating $p^k$-order exponential sums over affinoids. Namely, we prove a generalization of the Dwork-Monsky-Reich trace formula and apply it to establish an analytic continuation of the $C$-function $C_f(s,\pi)$. We compute the lower $(\pi,p)$-adic bound, the Hodge polygon, for this $C$-function. Along the way, we also show why a strictly $\pi$-adic theory will not work in this case.

math.NT

Schmid's Formula for Higher Local Fields

In local class field theory, the Schmid-Witt symbol encodes interesting data about the ramification theory of $p$-extensi-ons of $K$ and can, for example, be used to compute the higher ramification groups of such extensions. In 1936, Schmid discovered an explicit formula for the Schmid-Witt symbol of Artin-Schreier extensions of local fields. Later, his formula was generalized to Artin-Schreier-Witt extensions, but still over a local field. In this paper we generalize Schmid's formula to compute the Artin-Schreier-Witt-Parshin symbol for Artin-Schreier-Witt extensions of two-dimensional local fields of positive characteristic.

math.NT