Showing 1–36 of 36 results for author: May, C

Listen to the Waves: Using a Neuronal Model of the Human Auditory System to Predict Ocean Waves

Authors: Artur Matysiak, Volker Roeber, Henrik Kalisch, Reinhard König, Patrick J. C. May

Abstract: Artificial neural networks (ANNs) have evolved from the 1940s primitive models of brain function to become tools for artificial intelligence. They comprise many units, artificial neurons, interlinked through weighted connections. ANNs are trained to perform tasks through learning rules that modify the connection weights. With these rules being in the focus of research, ANNs have become a branch of… ▽ More Artificial neural networks (ANNs) have evolved from the 1940s primitive models of brain function to become tools for artificial intelligence. They comprise many units, artificial neurons, interlinked through weighted connections. ANNs are trained to perform tasks through learning rules that modify the connection weights. With these rules being in the focus of research, ANNs have become a branch of machine learning develo** independently from neuroscience. Although likely required for the development of truly intelligent machines, the integration of neuroscience into ANNs has remained a neglected proposition. Here, we demonstrate that designing an ANN along biological principles results in drastically improved task performance. As a challenging real-world problem, we choose real-time ocean-wave prediction which is essential for various maritime operations. Motivated by the similarity of ocean waves measured at a single location to sound waves arriving at the eardrum, we redesign an echo state network to resemble the brain's auditory system. This yields a powerful predictive tool which is computationally lean, robust with respect to network parameters, and works efficiently across a wide range of sea states. Our results demonstrate the advantages of integrating neuroscience with machine learning and offer a tool for use in the production of green energy from ocean waves. △ Less

Submitted 15 April, 2024; originally announced April 2024.

Comments: 23 pages, 6 figures

Transactive Local Energy Markets Enable Community-Level Resource Coordination Using Individual Rewards

Authors: Daniel C. May, Petr Musilek

Abstract: ALEX (Autonomous Local Energy eXchange) is an economy-driven, transactive local energy market where each participating building is represented by a rational agent. Relying solely on building-level information, this agent minimizes its electricity bill by automating distributed energy resource utilization and trading. This study examines ALEX's capabilities to align participant and grid-stakeholder… ▽ More ALEX (Autonomous Local Energy eXchange) is an economy-driven, transactive local energy market where each participating building is represented by a rational agent. Relying solely on building-level information, this agent minimizes its electricity bill by automating distributed energy resource utilization and trading. This study examines ALEX's capabilities to align participant and grid-stakeholder interests and assesses ALEX's impact on short- and long-term intermittence using a set of community net-load metrics, such as ram** rate, load factor, and peak load. The policies for ALEX's rational agents are generated using dynamic programming through value iteration in conjunction with iterative best response. This facilitates comparing ALEX and a benchmark energy management system, which optimizes building-level self-consumption, ram** rate, and peak net load. Simulations are performed using the open-source CityLearn2022 dataset to provide a pathway for benchmarking by future studies. The experiments demonstrate that ALEX enables the coordination of distributed energy resources across the community. Remarkably, this community-level coordination occurs even though the system is populated by agents who only access building-level information and selfishly maximize their own relative profit. Compared to the benchmark energy management system, ALEX improves across all metrics. △ Less

Submitted 22 March, 2024; originally announced March 2024.

Comments: Preprint, submitted to IEEE Access

KFVM-WENO: A high-order accurate kernel-based finite volume method for compressible hydrodynamics

Authors: Ian C. T. May, Dongwook Lee

Abstract: This paper presents a fully multidimensional kernel-based reconstruction scheme for finite volume methods applied to systems of hyperbolic conservation laws, with a particular emphasis on the compressible Euler equations. Non-oscillatory reconstruction is achieved through an adaptive order weighted essentially non-oscillatory (WENO-AO) method cast into a form suited to multidimensional reconstruct… ▽ More This paper presents a fully multidimensional kernel-based reconstruction scheme for finite volume methods applied to systems of hyperbolic conservation laws, with a particular emphasis on the compressible Euler equations. Non-oscillatory reconstruction is achieved through an adaptive order weighted essentially non-oscillatory (WENO-AO) method cast into a form suited to multidimensional reconstruction. A kernel-based approach inspired by radial basis functions (RBF) and Gaussian process (GP) modeling, which we call KFVM-WENO, is presented here. This approach allows the creation of a scheme of arbitrary order of accuracy with simply defined multidimensional stencils and substencils. Furthermore, the fully multidimensional nature of the reconstruction allows for a more straightforward extension to higher spatial dimensions and removes the need for complicated boundary conditions on intermediate quantities in modified dimension-by-dimension methods. In addition, a new simple-yet-effective set of reconstruction variables is introduced, which could be useful in existing schemes with little modification. The proposed scheme is applied to a suite of stringent and informative benchmark problems to demonstrate its efficacy and utility. A highly parallel multi-GPU implementation using Kokkos and the message passing interface (MPI) is also provided. △ Less

Submitted 29 January, 2024; originally announced January 2024.

Comments: Submitted to ApJ. arXiv admin note: text overlap with arXiv:2304.03823

Integral Representations of solutions to Poisson Equations

Authors: Aye Chan May, Adisak Seesanea

Abstract: We give a constructive approach for the study of integral representations of classical solutions to Poisson equations under some integrability conditions on data functions. We give a constructive approach for the study of integral representations of classical solutions to Poisson equations under some integrability conditions on data functions. △ Less

Submitted 8 January, 2024; originally announced January 2024.

Comments: 17

MSC Class: 35C15

Estimation of the Emax model

Authors: Giacomo Aletti, Nancy Flournoy, Caterina May, Chiara Tommasi

Abstract: This study focuses on the estimation of the Emax dose-response model, a widely utilized framework in clinical trials, agriculture, and environmental experiments. Existing challenges in obtaining maximum likelihood estimates (MLE) for model parameters are often ascribed to computational issues but, in reality, stem from the absence of MLE. Our contribution provides a new understanding and control o… ▽ More This study focuses on the estimation of the Emax dose-response model, a widely utilized framework in clinical trials, agriculture, and environmental experiments. Existing challenges in obtaining maximum likelihood estimates (MLE) for model parameters are often ascribed to computational issues but, in reality, stem from the absence of MLE. Our contribution provides a new understanding and control of all the experimental situations that pratictioners might face, guiding them in the estimation process. We derive the exact MLE for a three-point experimental design and we identify the two scenarios where the MLE fails. To address these challenges, we propose utilizing Firth's modified score, providing its analytical expression as a function of the experimental design. Through a simulation study, we demonstrate that, in one of the problematic cases, the Firth modification yields a finite estimate. For the remaining case, we introduce a design-correction strategy akin to a hypothesis test. △ Less

Submitted 30 December, 2023; originally announced January 2024.

Comments: 7 figures, 1 table

Nonlocal Sublinear Elliptic Problems Involving Measures

Authors: Aye Chan May, Adisak Seesanea

Abstract: We study Dirichlet problems for fractional Laplace equations of the form $(-Δ)^{\fracα{2}} u = f(x,u)$ in $\mathbb{R}^{n}$ for $0<α<n$ where the nonlinearity $f(x,u) = \sum_{i=1}^{M} σ_{i} u^{q_i} + ω$ involves sublinear terms with $0<q_{i}<1$ and the coefficients $σ_{i}, ω$ are nonnegative locally finite Borel measures on $\mathbb{R}^n$. We develop a potential theoretic approach for the existence… ▽ More We study Dirichlet problems for fractional Laplace equations of the form $(-Δ)^{\fracα{2}} u = f(x,u)$ in $\mathbb{R}^{n}$ for $0<α<n$ where the nonlinearity $f(x,u) = \sum_{i=1}^{M} σ_{i} u^{q_i} + ω$ involves sublinear terms with $0<q_{i}<1$ and the coefficients $σ_{i}, ω$ are nonnegative locally finite Borel measures on $\mathbb{R}^n$. We develop a potential theoretic approach for the existence of positive minimal solutions in Lorentz spaces to the problems under certain assumptions on $σ_{i}$ and $ω$. The uniqueness properties of such solutions are discussed. Our techniques are also applicable to similar sublinear problems on uniform bounded domains when $0<α< 2$, or on arbitrary domains with positive Green's functions in the classical case $α=2$. △ Less

Submitted 19 October, 2023; originally announced October 2023.

Comments: 27 pages

MSC Class: 35J61

Minimal L^p-Solutions to Singular Sublinear Elliptic Problems

Authors: Aye Chan May, Adisak Seesanea

Abstract: We solve the existence problem for the minimal positive solutions $u\in L^{p}(Ω, dx)$ to the Dirichlet problems for sublinear elliptic equations of the form \[ \begin{cases} Lu=σu^q+μ\qquad \quad \text{in} \quad Ω, \\ \liminf\limits_{x \rightarrow y}u(x) = 0 \qquad y \in \partial_{\infty}Ω, \end{cases} \] where $0<q<1$ and $Lu:=-\text{div} (\mathcal{A}(x)\nabla u)$ is a linear uniformly elliptic o… ▽ More We solve the existence problem for the minimal positive solutions $u\in L^{p}(Ω, dx)$ to the Dirichlet problems for sublinear elliptic equations of the form \[ \begin{cases} Lu=σu^q+μ\qquad \quad \text{in} \quad Ω, \\ \liminf\limits_{x \rightarrow y}u(x) = 0 \qquad y \in \partial_{\infty}Ω, \end{cases} \] where $0<q<1$ and $Lu:=-\text{div} (\mathcal{A}(x)\nabla u)$ is a linear uniformly elliptic operator with bounded measurable coefficients. The coefficient $σ$ and data $μ$ are nonnegative Radon measures on an arbitrary domain $Ω\subset \mathbb{R}^n$ with a positive Green function associated with $L$. Our techniques are based on the use of sharp Green potential pointwise estimates, weighted norm inqualities, and norm estimates in terms of generalized energy. △ Less

Submitted 17 October, 2023; originally announced October 2023.

Comments: 12 pages

MSC Class: 35J61

Journal ref: Results in Applied Mathematics, Volume 21 (2024), 100421

Seq-HyGAN: Sequence Classification via Hypergraph Attention Network

Authors: Khaled Mohammed Saifuddin, Corey May, Farhan Tanvir, Muhammad Ifte Khairul Islam, Esra Akbas

Abstract: Sequence classification has a wide range of real-world applications in different domains, such as genome classification in health and anomaly detection in business. However, the lack of explicit features in sequence data makes it difficult for machine learning models. While Neural Network (NN) models address this with learning features automatically, they are limited to capturing adjacent structur… ▽ More Sequence classification has a wide range of real-world applications in different domains, such as genome classification in health and anomaly detection in business. However, the lack of explicit features in sequence data makes it difficult for machine learning models. While Neural Network (NN) models address this with learning features automatically, they are limited to capturing adjacent structural connections and ignore global, higher-order information between the sequences. To address these challenges in the sequence classification problems, we propose a novel Hypergraph Attention Network model, namely Seq-HyGAN. To capture the complex structural similarity between sequence data, we first create a hypergraph where the sequences are depicted as hyperedges and subsequences extracted from sequences are depicted as nodes. Additionally, we introduce an attention-based Hypergraph Neural Network model that utilizes a two-level attention mechanism. This model generates a sequence representation as a hyperedge while simultaneously learning the crucial subsequences for each sequence. We conduct extensive experiments on four data sets to assess and compare our model with several state-of-the-art methods. Experimental results demonstrate that our proposed Seq-HyGAN model can effectively classify sequence data and significantly outperform the baselines. We also conduct case studies to investigate the contribution of each module in Seq-HyGAN. △ Less

Submitted 15 June, 2023; v1 submitted 4 March, 2023; originally announced March 2023.

Measuring and Analyzing Effects of HEMP Simulation on Synthetic Power Grids

Authors: Carson L. May, Arthur K. Barnes, Jose E. Tabarez, Adam Mate, Eric M. Nelson, Ross Guttromson

Abstract: There is significant uncertainty about the potential effects of a high-altitude electromagnetic pulse (HEMP) detonation on the bulk electric system. This study attempts to account for such uncertainty, in using Monte-Carlo methods to account for speculated range of effect of HEMP contingency. Through task parallelism and asynchronous processing techniques implemented throughout simulation, this st… ▽ More There is significant uncertainty about the potential effects of a high-altitude electromagnetic pulse (HEMP) detonation on the bulk electric system. This study attempts to account for such uncertainty, in using Monte-Carlo methods to account for speculated range of effect of HEMP contingency. Through task parallelism and asynchronous processing techniques implemented throughout simulation, this study measure the effects of 700 large-scale HEMP simulations on a 7173 bus synthetic power grid. Analysis explores how contingency severity varies, depending on initial contingency parameters. Severity indices were captured throughout simulation to measure and quantify the cascading nature of an HEMP event. Further development of HEMP simulation modeling is explored as well, which could augment forecasts of potential contingency events as well. △ Less

Submitted 21 April, 2023; v1 submitted 30 January, 2023; originally announced January 2023.

Comments: 6 pages. 13 figures

Report number: LA-UR-22-32309

Journal ref: Proceedings of the 2023 IEEE Texas Power and Energy Conference (TPEC)

Equivariant $\underline{\mathbb{Z}/\ell}$-modules for the cyclic group $C_2$

Authors: Daniel Dugger, Christy Hazel, Clover May

Abstract: For the cyclic group $C_2$ we give a complete description of the derived category of perfect complexes of modules over the constant Mackey ring $\underline{\mathbb{Z}/\ell}$, for $\ell$ a prime. This is fairly simple for $\ell$ odd, but for $\ell=2$ depends on a new splitting theorem. As corollaries of the splitting theorem we compute the associated Picard group and the Balmer spectrum for compact… ▽ More For the cyclic group $C_2$ we give a complete description of the derived category of perfect complexes of modules over the constant Mackey ring $\underline{\mathbb{Z}/\ell}$, for $\ell$ a prime. This is fairly simple for $\ell$ odd, but for $\ell=2$ depends on a new splitting theorem. As corollaries of the splitting theorem we compute the associated Picard group and the Balmer spectrum for compact objects in the derived category, and we obtain a complete classification of finite modules over the $C_2$-equivariant Eilenberg--MacLane spectrum $H\underline{\mathbb{Z}/2}$. We also use the splitting theorem to give new and illuminating proofs of some facts about $RO(C_2)$-graded Bredon cohomology, namely Kronholm's freeness theorem and the structure theorem of C. May. △ Less

Submitted 30 June, 2023; v1 submitted 10 March, 2022; originally announced March 2022.

Comments: 42 pages, 15 figures, v2 accepted version to appear in Journal of Pure and Applied Algebra

A closest point method library for PDEs on surfaces with parallel domain decomposition solvers and preconditioners

Authors: Ian C. T. May, Ronald D. Haynes, Steven J. Ruuth

Abstract: The DD-CPM software library provides a set of tools for the discretization and solution of problems arising from the closest point method (CPM) for partial differential equations on surfaces. The solvers are built on top of the well-known PETSc framework, and are supplemented by custom domain decomposition (DD) preconditioners specific to the CPM. These solvers are fully compatible with distribute… ▽ More The DD-CPM software library provides a set of tools for the discretization and solution of problems arising from the closest point method (CPM) for partial differential equations on surfaces. The solvers are built on top of the well-known PETSc framework, and are supplemented by custom domain decomposition (DD) preconditioners specific to the CPM. These solvers are fully compatible with distributed memory parallelism through MPI. This library is particularly well suited to the solution of elliptic and parabolic equations, including many reaction-diffusion equations. The software is detailed herein, and a number of sample problems and benchmarks are demonstrated. Finally, the parallel scalability is measured. △ Less

Submitted 26 September, 2022; v1 submitted 12 October, 2021; originally announced October 2021.

Comments: Accepted for publication in Numerical Algorithms

Adapting Coreference Resolution Models through Active Learning

Authors: Michelle Yuan, Patrick Xia, Chandler May, Benjamin Van Durme, Jordan Boyd-Graber

Abstract: Neural coreference resolution models trained on one dataset may not transfer to new, low-resource domains. Active learning mitigates this problem by sampling a small subset of data for annotators to label. While active learning is well-defined for classification tasks, its application to coreference resolution is neither well-defined nor fully understood. This paper explores how to actively label… ▽ More Neural coreference resolution models trained on one dataset may not transfer to new, low-resource domains. Active learning mitigates this problem by sampling a small subset of data for annotators to label. While active learning is well-defined for classification tasks, its application to coreference resolution is neither well-defined nor fully understood. This paper explores how to actively label coreference, examining sources of model uncertainty and document reading costs. We compare uncertainty sampling strategies and their advantages through thorough error analysis. In both synthetic and human experiments, labeling spans within the same document is more effective than annotating spans across documents. The findings contribute to a more realistic development of coreference resolution models. △ Less

Submitted 28 March, 2022; v1 submitted 15 April, 2021; originally announced April 2021.

Comments: Accepted at ACL 2022 Main Conference

Genuine-commutative ring structure on rational equivariant $K$-theory for finite abelian groups

Authors: Anna Marie Bohmann, Christy Hazel, Jocelyne Ishak, Magdalena Kędziorek, Clover May

Abstract: In this paper, we build on the work from our previous paper (arXiv:2002.01556) to show that periodic rational $G$-equivariant topological $K$-theory has a unique genuine-commutative ring structure for $G$ a finite abelian group. This means that every genuine-commutative ring spectrum whose homotopy groups are those of $KU_{\mathbb{Q},G}$ is weakly equivalent, as a genuine-commutative ring spectrum… ▽ More In this paper, we build on the work from our previous paper (arXiv:2002.01556) to show that periodic rational $G$-equivariant topological $K$-theory has a unique genuine-commutative ring structure for $G$ a finite abelian group. This means that every genuine-commutative ring spectrum whose homotopy groups are those of $KU_{\mathbb{Q},G}$ is weakly equivalent, as a genuine-commutative ring spectrum, to $KU_{\mathbb{Q},G}$. In contrast, the connective rational equivariant $K$-theory spectrum does not have this type of uniqueness of genuine-commutative ring structure. △ Less

Submitted 2 April, 2021; originally announced April 2021.

Comments: 19 pages

MSC Class: 55P91 (Primary) 55P62; 19L47; 55P43 (Secondary)

LOME: Large Ontology Multilingual Extraction

Authors: Patrick Xia, Guanghui Qin, Siddharth Vashishtha, Yunmo Chen, Tongfei Chen, Chandler May, Craig Harman, Kyle Rawlins, Aaron Steven White, Benjamin Van Durme

Abstract: We present LOME, a system for performing multilingual information extraction. Given a text document as input, our core system identifies spans of textual entity and event mentions with a FrameNet (Baker et al., 1998) parser. It subsequently performs coreference resolution, fine-grained entity ty**, and temporal relation prediction between events. By doing so, the system constructs an event and e… ▽ More We present LOME, a system for performing multilingual information extraction. Given a text document as input, our core system identifies spans of textual entity and event mentions with a FrameNet (Baker et al., 1998) parser. It subsequently performs coreference resolution, fine-grained entity ty**, and temporal relation prediction between events. By doing so, the system constructs an event and entity focused knowledge graph. We can further apply third-party modules for other types of annotation, like relation extraction. Our (multilingual) first-party modules either outperform or are competitive with the (monolingual) state-of-the-art. We achieve this through the use of multilingual encoders like XLM-R (Conneau et al., 2020) and leveraging multilingual training data. LOME is available as a Docker container on Docker Hub. In addition, a lightweight version of the system is accessible as a web demo. △ Less

Submitted 15 March, 2021; v1 submitted 28 January, 2021; originally announced January 2021.

Comments: 2021 EACL System Demonstrations

Designing experiments for estimating an appropriate outlet size for a silo type problem

Authors: Jesus Lopez-Fidalgo, Caterina May, Jose Antonio Moler

Abstract: The problem of jam formation during the discharge by gravity of granular material through a two-dimensional silo has a number of practical applications. In many problems the estimation of the minimum outlet size which guarantees that the time to the next jamming event is long enough is crucial. Assuming that the time is modeled by an exponential distribution with two unknown parameters, this goal… ▽ More The problem of jam formation during the discharge by gravity of granular material through a two-dimensional silo has a number of practical applications. In many problems the estimation of the minimum outlet size which guarantees that the time to the next jamming event is long enough is crucial. Assuming that the time is modeled by an exponential distribution with two unknown parameters, this goal translates to the optimal estimation of a non-linear transformation of the parameters. We obtain $c$-optimum experimental designs with that purpose, applying the graphic Elfving method. Since the optimal designs depend on the nominal values of the parameters, a sensitivity study is additionally provided. Finally, a simulation study checks the performance of the approximations made, first with the Fisher Information matrix, then with the linearization of the function to be estimated. The results are useful for experimenting in a laboratory and translating then the results to a larger scenario. Apart from the application a general methodology is developed in the paper for the problem of precise estimation of a one-dimensional parametric transformation in a non-linear model. △ Less

Submitted 14 September, 2020; originally announced September 2020.

Comments: 11 Figures

MSC Class: 62P30

Design and Deployment of Photo2Building: A Cloud-based Procedural Modeling Tool as a Service

Authors: Manush Bhatt, Rajesh Kalyanam, Gen Nishida, Liu He, Christopher May, Dev Niyogi, Daniel Aliaga

Abstract: We present a Photo2Building tool to create a plausible 3D model of a building from only a single photograph. Our tool is based on a prior desktop version which, as described in this paper, is converted into a client-server model, with job queuing, web-page support, and support of concurrent usage. The reported cloud-based web-accessible tool can reconstruct a building in 40 seconds on average and… ▽ More We present a Photo2Building tool to create a plausible 3D model of a building from only a single photograph. Our tool is based on a prior desktop version which, as described in this paper, is converted into a client-server model, with job queuing, web-page support, and support of concurrent usage. The reported cloud-based web-accessible tool can reconstruct a building in 40 seconds on average and costing only 0.60 USD with current pricing. This provides for an extremely scalable and possibly widespread tool for creating building models for use in urban design and planning applications. With the growing impact of rapid urbanization on weather and climate and resource availability, access to such a service is expected to help a wide variety of users such as city planners, urban meteorologists worldwide in the quest to improved prediction of urban weather and designing climate-resilient cities of the future. △ Less

Submitted 3 August, 2020; originally announced August 2020.

Comments: 7 pages, 7 figures, PEARC '20: Practice and Experience in Advanced Research Computing, July 26--30, 2020, Portland, OR, USA

Journal ref: ACM, PEARC 2020

The freeness theorem for equivariant cohomology of Rep($C_2$)-complexes

Authors: Eric Hogle, Clover May

Abstract: Let $C_2$ be the cyclic group of order two. We show that the $RO(C_2)$-graded Bredon cohomology of a finite Rep($C_2$)-complex is free as a module over the cohomology of a point when using coefficients in the constant Mackey functor $\underline{\mathbb{F}_2}$. This paper corrects some errors in Kronholm's proof of this freeness theorem. It also extends the freeness result to finite type complexes,… ▽ More Let $C_2$ be the cyclic group of order two. We show that the $RO(C_2)$-graded Bredon cohomology of a finite Rep($C_2$)-complex is free as a module over the cohomology of a point when using coefficients in the constant Mackey functor $\underline{\mathbb{F}_2}$. This paper corrects some errors in Kronholm's proof of this freeness theorem. It also extends the freeness result to finite type complexes, those with finitely many cells of each fixed-set dimension. We give a counterexample showing the theorem does not hold for locally finite complexes. △ Less

Submitted 1 November, 2020; v1 submitted 14 May, 2020; originally announced May 2020.

Comments: 32 pages, 21 figures, v2 corrections to the proof of finite type theorem (6.3), v3 accepted version to appear in Topology and its Applications

Journal ref: Topology and its Applications, 2020

Naive-commutative structure on rational equivariant $K$-theory for abelian groups

Authors: Anna Marie Bohmann, Christy Hazel, Jocelyne Ishak, Magdalena Kędziorek, Clover May

Abstract: In this paper, we calculate the image of the connective and periodic rational equivariant complex $K$-theory spectrum in the algebraic model for naive-commutative ring $G$-spectra given by Barnes, Greenlees and Kędziorek for finite abelian $G$. Our calculations show that these spectra are unique as naive-commutative ring spectra in the sense that they are determined up to weak equivalence by their… ▽ More In this paper, we calculate the image of the connective and periodic rational equivariant complex $K$-theory spectrum in the algebraic model for naive-commutative ring $G$-spectra given by Barnes, Greenlees and Kędziorek for finite abelian $G$. Our calculations show that these spectra are unique as naive-commutative ring spectra in the sense that they are determined up to weak equivalence by their homotopy groups. We further deduce a structure theorem for module spectra over rational equivariant complex $K$-theory. △ Less

Submitted 4 February, 2020; originally announced February 2020.

Comments: 19 pages

MSC Class: 55P91 (Primary) 55P62; 19L47; 55P43 (Secondary)

Journal ref: Topology Appl. 316 (2022), Paper No. 108100, 18 pp

On Measuring Social Biases in Sentence Encoders

Authors: Chandler May, Alex Wang, Shikha Bordia, Samuel R. Bowman, Rachel Rudinger

Abstract: The Word Embedding Association Test shows that GloVe and word2vec word embeddings exhibit human-like implicit biases based on gender, race, and other social constructs (Caliskan et al., 2017). Meanwhile, research on learning reusable text representations has begun to explore sentence-level texts, with some sentence encoders seeing enthusiastic adoption. Accordingly, we extend the Word Embedding As… ▽ More The Word Embedding Association Test shows that GloVe and word2vec word embeddings exhibit human-like implicit biases based on gender, race, and other social constructs (Caliskan et al., 2017). Meanwhile, research on learning reusable text representations has begun to explore sentence-level texts, with some sentence encoders seeing enthusiastic adoption. Accordingly, we extend the Word Embedding Association Test to measure bias in sentence encoders. We then test several sentence encoders, including state-of-the-art methods such as ELMo and BERT, for the social biases studied in prior work and two important biases that are difficult or impossible to test at the word level. We observe mixed results including suspicious patterns of sensitivity that suggest the test's assumptions may not hold in general. We conclude by proposing directions for future work on measuring bias in sentence encoders. △ Less

Submitted 25 March, 2019; originally announced March 2019.

Comments: NAACL 2019

Proceedings of the Workshop on Social Robots in Therapy: Focusing on Autonomy and Ethical Challenges

Authors: Pablo G. Esteban, Daniel Hernández García, Hee Rin Lee, Pauline Chevalier, Paul Baxter, Cindy L. Bethel, Jainendra Shukla, Joan Oliver, Domènec Puig, Jason R. Wilson, Linda Tickle-Degnen, Madeleine Bartlett, Tony Belpaeme, Serge Thill, Kim Baraka, Francisco S. Melo, Manuela Veloso, David Becerra, Maja Matarić, Eduard Fosch-Villaronga, Jordi Albo-Canals, Gloria Beraldo, Emanuele Menegatti, Valentina De Tommasi, Roberto Mancin , et al. (13 additional authors not shown)

Abstract: Robot-Assisted Therapy (RAT) has successfully been used in HRI research by including social robots in health-care interventions by virtue of their ability to engage human users both social and emotional dimensions. Research projects on this topic exist all over the globe in the USA, Europe, and Asia. All of these projects have the overall ambitious goal to increase the well-being of a vulnerable p… ▽ More Robot-Assisted Therapy (RAT) has successfully been used in HRI research by including social robots in health-care interventions by virtue of their ability to engage human users both social and emotional dimensions. Research projects on this topic exist all over the globe in the USA, Europe, and Asia. All of these projects have the overall ambitious goal to increase the well-being of a vulnerable population. Typical work in RAT is performed using remote controlled robots; a technique called Wizard-of-Oz (WoZ). The robot is usually controlled, unbeknownst to the patient, by a human operator. However, WoZ has been demonstrated to not be a sustainable technique in the long-term. Providing the robots with autonomy (while remaining under the supervision of the therapist) has the potential to lighten the therapists burden, not only in the therapeutic session itself but also in longer-term diagnostic tasks. Therefore, there is a need for exploring several degrees of autonomy in social robots used in therapy. Increasing the autonomy of robots might also bring about a new set of challenges. In particular, there will be a need to answer new ethical questions regarding the use of robots with a vulnerable population, as well as a need to ensure ethically-compliant robot behaviours. Therefore, in this workshop we want to gather findings and explore which degree of autonomy might help to improve health-care interventions and how we can overcome the ethical challenges inherent to it. △ Less

Submitted 18 December, 2018; originally announced December 2018.

Comments: 25 pages, editors for the proceedings: Pablo G. Esteban, Daniel Hernández García, Hee Rin Lee, Pauline Chevalier, Paul Baxter, Cindy Bethel

The Effects of Adaptation on Inference for Non-Linear Regression Models with Normal Errors

Authors: Nancy Flournoy, Caterina May, Chiara Tommasi

Abstract: This work studies the properties of the maximum likelihood estimator (MLE) of a non-linear model with Gaussian errors and multidimensional parameter. The observations are collected in a two-stage experimental design and are dependent since the second stage design is determined by the observations at the first stage; the MLE maximizes the total likelihood. Differently from the most of the literatur… ▽ More This work studies the properties of the maximum likelihood estimator (MLE) of a non-linear model with Gaussian errors and multidimensional parameter. The observations are collected in a two-stage experimental design and are dependent since the second stage design is determined by the observations at the first stage; the MLE maximizes the total likelihood. Differently from the most of the literature, the first stage sample size is small, and hence asymptotic approximation is used only in the second stage. It is proved that the MLE is consistent and that its asymptotic distribution is a specific Gaussian mixture, via stable convergence. Finally, a simulation study is provided in the case of a dose-response Emax model. △ Less

Submitted 31 October, 2019; v1 submitted 10 December, 2018; originally announced December 2018.

Comments: 7 figures

A structure theorem for $RO(C_2)$-graded Bredon cohomology

Authors: Clover May

Abstract: Let $C_2$ be the cyclic group of order two. We present a structure theorem for the $RO(C_2)$-graded Bredon cohomology of $C_2$-spaces using coefficients in the constant Mackey functor $\underline{\mathbb{F}_2}.$ We show that, as a module over the cohomology of the point, the $RO(C_2)$-graded cohomology of a finite $C_2$-CW complex decomposes as a direct sum of two basic pieces: shifted copies of t… ▽ More Let $C_2$ be the cyclic group of order two. We present a structure theorem for the $RO(C_2)$-graded Bredon cohomology of $C_2$-spaces using coefficients in the constant Mackey functor $\underline{\mathbb{F}_2}.$ We show that, as a module over the cohomology of the point, the $RO(C_2)$-graded cohomology of a finite $C_2$-CW complex decomposes as a direct sum of two basic pieces: shifted copies of the cohomology of a point and shifted copies of the cohomologies of spheres with the antipodal action. The shifts are by elements of $RO(C_2)$ corresponding to actual (i.e. non-virtual) $C_2$-representations. This decomposition lifts to a splitting of genuine $C_2$-spectra. △ Less

Submitted 15 August, 2019; v1 submitted 10 April, 2018; originally announced April 2018.

Comments: 29 pages, 13 figures. v2: strengthened result to spectrum level splitting and incorporated suggestions from referee

Journal ref: Algebr. Geom. Topol. 20 (2020) 1691-1728

Streaming Word Embeddings with the Space-Saving Algorithm

Authors: Chandler May, Kevin Duh, Benjamin Van Durme, Ashwin Lall

Abstract: We develop a streaming (one-pass, bounded-memory) word embedding algorithm based on the canonical skip-gram with negative sampling algorithm implemented in word2vec. We compare our streaming algorithm to word2vec empirically by measuring the cosine similarity between word pairs under each algorithm and by applying each algorithm in the downstream task of hashtag prediction on a two-month interval… ▽ More We develop a streaming (one-pass, bounded-memory) word embedding algorithm based on the canonical skip-gram with negative sampling algorithm implemented in word2vec. We compare our streaming algorithm to word2vec empirically by measuring the cosine similarity between word pairs under each algorithm and by applying each algorithm in the downstream task of hashtag prediction on a two-month interval of the Twitter sample stream. We then discuss the results of these experiments, concluding they provide partial validation of our approach as a streaming replacement for word2vec. Finally, we discuss potential failure modes and suggest directions for future work. △ Less

Submitted 24 April, 2017; originally announced April 2017.

Comments: 16 pages

ACM Class: I.2.7; I.2.6

An Analysis of Lemmatization on Topic Models of Morphologically Rich Language

Authors: Chandler May, Ryan Cotterell, Benjamin Van Durme

Abstract: Topic models are typically represented by top-$m$ word lists for human interpretation. The corpus is often pre-processed with lemmatization (or stemming) so that those representations are not undermined by a proliferation of words with similar meanings, but there is little public work on the effects of that pre-processing. Recent work studied the effect of stemming on topic models of English texts… ▽ More Topic models are typically represented by top-$m$ word lists for human interpretation. The corpus is often pre-processed with lemmatization (or stemming) so that those representations are not undermined by a proliferation of words with similar meanings, but there is little public work on the effects of that pre-processing. Recent work studied the effect of stemming on topic models of English texts and found no supporting evidence for the practice. We study the effect of lemmatization on topic models of Russian Wikipedia articles, finding in one configuration that it significantly improves interpretability according to a word intrusion metric. We conclude that lemmatization may benefit topic models on morphologically rich languages, but that further investigation is needed. △ Less

Submitted 10 May, 2019; v1 submitted 13 August, 2016; originally announced August 2016.

Best estimation of functional linear models

Authors: Giacomo Aletti, Caterina May, Chiara Tommasi

Abstract: Observations which are realizations from some continuous process are frequent in sciences, engineering, economics, and other fields. We consider linear models, with possible random effects, where the responses are random functions in a suitable Sobolev space. The processes cannot be observed directly. With smoothing procedures from the original data, both the response curves and their derivatives… ▽ More Observations which are realizations from some continuous process are frequent in sciences, engineering, economics, and other fields. We consider linear models, with possible random effects, where the responses are random functions in a suitable Sobolev space. The processes cannot be observed directly. With smoothing procedures from the original data, both the response curves and their derivatives can be reconstructed, even separately. From both these samples of functions, just one sample of representatives is obtained to estimate the vector of functional parameters. A simulation study shows the benefits of this approach over the common method of using information either on curves or derivatives. The main theoretical result is a strong functional version of the Gauss-Markov theorem. This ensures that the proposed functional estimator is more efficient than the best linear unbiased estimator based only on curves or derivatives. △ Less

Submitted 27 April, 2016; v1 submitted 23 December, 2014; originally announced December 2014.

Comments: the best information from the two samples of functions and derivatives: a strong version of the Gauss-Markov theorem. Relaxed an hidden hypothesis on linear independence of the Riesz representation of the Karhunen-Loeve base

Journal ref: J.Multivariate Anal. 151 (2016) 54-68

On involutions and generalized symmetric spaces of dicyclic groups

Authors: Abigail Bishop, Christopher Cyr, John Hutchens, Clover May, Nathaniel Schwartz, Bethany Turner

Abstract: Let $G=\Dc_{n}$ be the dicyclic group of order $4n$. Let $\varphi$ be an automorphism of $G$ of order $k$. We describe $\varphi$ and the generalized symmetric space $Q$ of $G$ associated with $\varphi$. When $\varphi$ is an involution, we describe its fixed point group $H=G^{\varphi}$ along with the $H$-orbits and $G$-orbits of $Q$ corresponding to the action of $\varphi$-twisted conjugation. Let $G=\Dc_{n}$ be the dicyclic group of order $4n$. Let $\varphi$ be an automorphism of $G$ of order $k$. We describe $\varphi$ and the generalized symmetric space $Q$ of $G$ associated with $\varphi$. When $\varphi$ is an involution, we describe its fixed point group $H=G^{\varphi}$ along with the $H$-orbits and $G$-orbits of $Q$ corresponding to the action of $\varphi$-twisted conjugation. △ Less

Submitted 30 September, 2013; originally announced October 2013.

MSC Class: 53C35; 20C99;

Analogue of surface melting in a macroscopic non-equilibrium system

Authors: Christopher May, Michael Wild, Ingo Rehberg, Kai Huang

Abstract: Agitated wet granular matter can be considered as a nonequilibrium model system for phase transitions, where the macroscopic particles replace the molecules and the capillary bridges replace molecular bonds. It is demonstrated experimentally that a two-dimensional wet granular crystal driven far from thermal equilibrium melts from its free surface, preceded by an amorphous state. The transition in… ▽ More Agitated wet granular matter can be considered as a nonequilibrium model system for phase transitions, where the macroscopic particles replace the molecules and the capillary bridges replace molecular bonds. It is demonstrated experimentally that a two-dimensional wet granular crystal driven far from thermal equilibrium melts from its free surface, preceded by an amorphous state. The transition into the surface melting state, as revealed by the bond orientational order parameters, behaves like a first order phase transition, with a threshold being traceable to the rupture energy of a single capillary bridge. The observation of such a transition in the macroscopic nonequilibrium system triggers the question of the universality of surface melting. △ Less

Submitted 5 December, 2013; v1 submitted 23 January, 2013; originally announced January 2013.

Comments: 5 pages, 4 figures

KL-optimum designs: theoretical properties and practical computation

Authors: Giacomo Aletti, Caterina May, Chiara Tommasi

Abstract: In this paper some new properties and computational tools for finding KL-optimum designs are provided. KL-optimality is a general criterion useful to select the best experimental conditions to discriminate between statistical models. A KL-optimum design is obtained from a minimax optimization problem, which is defined on a infinite-dimensional space. In particular, continuity of the KL-optimality… ▽ More In this paper some new properties and computational tools for finding KL-optimum designs are provided. KL-optimality is a general criterion useful to select the best experimental conditions to discriminate between statistical models. A KL-optimum design is obtained from a minimax optimization problem, which is defined on a infinite-dimensional space. In particular, continuity of the KL-optimality criterion is proved under mild conditions; as a consequence, the first-order algorithm converges to the set of KL-optimum designs for a large class of models. It is also shown that KL-optimum designs are invariant to any scale-position transformation. Some examples are given and discussed, together with some practical implications for numerical computation purposes. △ Less

Submitted 29 September, 2014; v1 submitted 14 December, 2012; originally announced December 2012.

Comments: The final publication is available at Springer via http://dx.doi.org/10.1007/s11222-014-9515-8

MSC Class: 62K05; 62-04

Journal ref: Stat Comput (2016) 26: 107-117

An adaptive sequential optimum design for model selection and parameter estimation in non-linear nested models

Authors: Caterina May, Chiara Tommasi

Abstract: This paper has been withdrawn by the author because it has been substantially modified. This paper has been withdrawn by the author because it has been substantially modified. △ Less

Submitted 20 December, 2011; v1 submitted 26 July, 2011; originally announced July 2011.

Comments: This paper has been withdrawn by the author because it has been substantially modified

Subband Engineering Even-Denominator Quantum Hall States

Authors: V. W. Scarola, C. May, M. R. Peterson, M. Troyer

Abstract: Proposed even-denominator fractional quantum Hall effect (FQHE) states suggest the possibility of excitations with non-Abelian braid statistics. Recent experiments on wide square quantum wells observe even-denominator FQHE even under electrostatic tilt. We theoretically analyze these structures and develop a procedure to accurately test proposed quantum Hall wavefunctions. We find that tilted well… ▽ More Proposed even-denominator fractional quantum Hall effect (FQHE) states suggest the possibility of excitations with non-Abelian braid statistics. Recent experiments on wide square quantum wells observe even-denominator FQHE even under electrostatic tilt. We theoretically analyze these structures and develop a procedure to accurately test proposed quantum Hall wavefunctions. We find that tilted wells favor partial subband polarization to yield Abelian even-denominator states. Our results show that tilting quantum wells effectively engineers different interaction potentials allowing exploration of a wide variety of even-denominator states. △ Less

Submitted 9 September, 2010; v1 submitted 9 April, 2010; originally announced April 2010.

Journal ref: Phys. Rev. B 82, 121304(R) (2010)

Determining the Muon Mass in an Instructional Laboratory

Authors: Benjamin Brau, Christopher May, Robert Ormond, John Essick

Abstract: An instructional laboratory experiment to measure the muon mass is described. Using coincidence-anticoincidence detection, the decay of a cosmic-ray muon into an electron (or positron) is observed in a multiplate spark chamber, and recorded with a triggered CCD detector. The energy of the charged decay-product particle is then quantified by counting the number of spark gaps $n_S$ it traverses be… ▽ More An instructional laboratory experiment to measure the muon mass is described. Using coincidence-anticoincidence detection, the decay of a cosmic-ray muon into an electron (or positron) is observed in a multiplate spark chamber, and recorded with a triggered CCD detector. The energy of the charged decay-product particle is then quantified by counting the number of spark gaps $n_S$ it traverses before being stopped by the chamber's aluminum plates. By running this apparatus under computer-control for several hours, the number of product-particles $N(n_S)$ with various $n_s$-values is obtained. The muon mass is obtained by a least-squares fit, which compares the experimentally observed $N(n_S)$ with simulation values predicted for this distribution by the Fermi description of muon decay via the weak interaction. We present the results for the muon mass we have obtained and discuss the simulation we developed to account for the observed skewing of $N(n_S)$ due to the various directions the spark-producing product particles move as well as the escape of some of the higher-energy particles from the chamber. △ Less

Submitted 30 July, 2009; originally announced July 2009.

Comments: 8 pages, 7 figures, accepted by AJP

Journal ref: Am.J.Phys.78:64-70,2010

A functional equation whose unknown is P([0,1]) valued

Authors: Giacomo Aletti, Caterina May, Piercesare Secchi

Abstract: We study a functional equation whose unknown maps a Euclidean space into the space of probability distributions on [0,1]. We prove existence and uniqueness of its solution under suitable regularity and boundary conditions, we show that it depends continuously on the boundary datum, and we characterize solutions that are diffuse on [0,1]. A canonical solution is obtained by means of a Randomly Rein… ▽ More We study a functional equation whose unknown maps a Euclidean space into the space of probability distributions on [0,1]. We prove existence and uniqueness of its solution under suitable regularity and boundary conditions, we show that it depends continuously on the boundary datum, and we characterize solutions that are diffuse on [0,1]. A canonical solution is obtained by means of a Randomly Reinforced Urn with different reinforcement distributions having equal means. The general solution to the functional equation defines a new parametric collection of distributions on [0,1] generalizing the Beta family. △ Less

Submitted 23 November, 2011; v1 submitted 20 May, 2009; originally announced May 2009.

Comments: 31 pages, pre-galleys version of accepted paper

MSC Class: 62E10; 39B52; 62E20

Journal ref: Journal of Theoretical Probability, December 2012, Volume 25, Issue 4, pp 1207-1232

Asymptotics in response-adaptive designs generated by a two-color, randomly reinforced urn

Authors: Caterina May, Nancy Flournoy

Abstract: This paper illustrates asymptotic properties for a response-adaptive design generated by a two-color, randomly reinforced urn model. The design considered is optimal in the sense that it assigns patients to the best treatment, with probability converging to one. An approach to show the joint asymptotic normality of the estimators of the mean responses to the treatments is provided in spite of th… ▽ More This paper illustrates asymptotic properties for a response-adaptive design generated by a two-color, randomly reinforced urn model. The design considered is optimal in the sense that it assigns patients to the best treatment, with probability converging to one. An approach to show the joint asymptotic normality of the estimators of the mean responses to the treatments is provided in spite of the fact that allocation proportions converge to zero and one. Results on the rate of convergence of the number of patients assigned to each treatment are also obtained. Finally, we study the asymptotic behavior of a suitable test statistic. △ Less

Submitted 2 April, 2009; originally announced April 2009.

Comments: Published in at http://dx.doi.org/10.1214/08-AOS596 the Annals of Statistics (http://www.imstat.org/aos/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOS-AOS596 MSC Class: 62L05 (Primary) 60F15; 60F05 (Secondary)

Journal ref: Annals of Statistics 2009, Vol. 37, No. 2, 1058-1078

A Central Limit Theorem, and related results, for a two-color randomly reinforced urn

Authors: G. Aletti, C. May, P. Secchi

Abstract: We prove a Central Limit Theorem for the sequence of random compositions of a two-color randomly reinforced urn. As a consequence, we are able to show that the distribution of the urn limit composition has no point masses. We prove a Central Limit Theorem for the sequence of random compositions of a two-color randomly reinforced urn. As a consequence, we are able to show that the distribution of the urn limit composition has no point masses. △ Less

Submitted 22 April, 2009; v1 submitted 13 November, 2008; originally announced November 2008.

Comments: typos corrected

MSC Class: 60F05

Journal ref: Adv. in Appl. Probab. Volume 41, Number 3 (2009), 829-844

Self-consistent simulation of quantum wires defined by local oxidation of Ga[Al]As heterostructures

Authors: C. May, M. Troyer, K. Ensslin

Abstract: We calculate the electronic width of quantum wires as a function of their lithographic width in analogy to experiments performed on nanostructures defined by local oxidation of Ga[Al]As heterostructures. Two--dimensional simulations of two parallel oxide lines on top of a Ga[Al]As heterostructure defining a quantum wire are carried out in the framework of Density Functional Theory in the Local D… ▽ More We calculate the electronic width of quantum wires as a function of their lithographic width in analogy to experiments performed on nanostructures defined by local oxidation of Ga[Al]As heterostructures. Two--dimensional simulations of two parallel oxide lines on top of a Ga[Al]As heterostructure defining a quantum wire are carried out in the framework of Density Functional Theory in the Local Density Approximation and are found to be in agreement with measurements. Quantitative assessment of the influence of various experimental uncertainties is given. The most influential parameter turns out to be the oxide line depth, followed by its exact shape and the effect of background do** (in decreasing order). △ Less

Submitted 22 December, 2007; v1 submitted 5 October, 2007; originally announced October 2007.

Comments: 5 pages, 6 figures; revised figures, clarified text

Journal ref: Phys. Rev. B 76, 235321 (2007)

Mean field and pairing properties in the crust of neutron stars

Authors: F. Montani, C. May, H. Müther

Abstract: Properties of the matter in the inner crust of a neutron star are investigated in a Hartree-Fock plus BCS approximation employing schematic effective forces of the type of the Skyrme forces. Special attention is paid to differences between a homogenous and inhomogeneous description of the matter distribution. For that purpose self-consistent Hartree Fock calculations are performed in a spherical… ▽ More Properties of the matter in the inner crust of a neutron star are investigated in a Hartree-Fock plus BCS approximation employing schematic effective forces of the type of the Skyrme forces. Special attention is paid to differences between a homogenous and inhomogeneous description of the matter distribution. For that purpose self-consistent Hartree Fock calculations are performed in a spherical Wigner-Seitz cell. The results are compared to predictions of corresponding Thomas Fermi calculations. The influence of the shell structure on the formation of pairing correlations in inhomogeneous matter are discussed. △ Less

Submitted 12 January, 2004; originally announced January 2004.

Comments: 11 pages, 9 figures

Journal ref: Phys.Rev. C69 (2004) 065801