arXiv subjects

Mark Weber

Publications and source records attributed to Mark Weber.

At least 37 records · Page 2Linked to original sources

arXiv2019

Unfolding overlapped slitless imaging spectrometer data for extended sources

Slitless spectrometers can provide simultaneous imaging and spectral data over an extended field of view, thereby allowing rapid data acquisition for extended sources. In some instances, when the object is greatly extended or the spectral dispersion is too small, there may be locations in the focal plane where contributions from emission lines at different wavelengths contribute. It is then desirable to unfold the overlapped regions in order to isolate the contributions from the individual wavelengths. In this paper, we describe a method for such an unfolding, using an inversion technique developed for an extreme ultraviolet imaging spectrometer and coronagraph named the COronal Spectroscopic Imager in the EUV (COSIE). The COSIE spectrometer wavelength range (18.6 - 20.5 nm) contains a number of strong coronal emission lines and several density sensitive lines. We focus on optimizing the unfolding process to retrieve emission measure maps at constant temperature, maps of spectrally pure intensity in the Fe XII and Fe XIII lines and density maps based on both Fe XII and Fe XIII diagnostics.

astro-ph.SR↗

arXiv2018

Operadic categories and décalage

Batanin and Markl's operadic categories are categories in which each map is endowed with a finite collection of "abstract fibres" -- also objects of the same category -- subject to suitable axioms. We give a reconstruction of the data and axioms of operadic categories in terms of the décalage comonad D on small categories. A simple case involves unary operadic categories -- ones wherein each map has exactly one abstract fibre -- which are exhibited as categories which are, first of all, coalgebras for the comonad D, and, furthermore, algebras for the monad induced on the category of D-coalgebras by the forgetful-cofree adjunction. A similar description is found for general operadic categories arising out of a corresponding analysis that starts from a "modified décalage" comonad on the arrow category of Cat.

math.CT↗

arXiv2018

Scalable Graph Learning for Anti-Money Laundering: A First Look

Organized crime inflicts human suffering on a genocidal scale: the Mexican drug cartels have murdered 150,000 people since 2006, upwards of 700,000 people per year are "exported" in a human trafficking industry enslaving an estimated 40 million people. These nefarious industries rely on sophisticated money laundering schemes to operate. Despite tremendous resources dedicated to anti-money laundering (AML) only a tiny fraction of illicit activity is prevented. The research community can help. In this brief paper, we map the structural and behavioral dynamics driving the technical challenge. We review AML methods, current and emergent. We provide a first look at scalable graph convolutional neural networks for forensic analysis of financial data, which is massive, dense, and dynamic. We report preliminary experimental results using a large synthetic graph (1M nodes, 9M edges) generated by a data simulator we created called AMLSim. We consider opportunities for high performance efficiency, in terms of computation and memory, and we share results from a simple graph compression experiment. Our results support our working hypothesis that graph deep learning for AML bears great promise in the fight against criminal financial activity.

cs.SI↗

arXiv2018

Regular patterns, substitudes, Feynman categories and operads

We show that the regular patterns of Getzler (2009) form a 2-category biequivalent to the 2-category of substitudes of Day and Street (2003), and that the Feynman categories of Kaufmann and Ward (2013) form a 2-category biequivalent to the 2-category of coloured operads (with invertible 2-cells). These biequivalences induce equivalences between the corresponding categories of algebras. There are three main ingredients in establishing these biequivalences. The first is a strictification theorem (exploiting Power's General Coherence Result) which allows to reduce to the case where the structure maps are identity-on-objects functors and strict monoidal. Second, we subsume the Getzler and Kaufmann--Ward hereditary axioms into the notion of Guitart exactness, a general condition ensuring compatibility between certain left Kan extensions and a given monad, in this case the free-symmetric-monoidal-category monad. Finally we set up a biadjunction between substitudes and what we call pinned symmetric monoidal categories, from which the results follow as a consequence of the fact that the hereditary map is precisely the counit of this biadjunction.

math.CT↗

arXiv2016

Faà di Bruno for operads and internal algebras

For any coloured operad R, we prove a Faà di Bruno formula for the `connected Green function' in the incidence bialgebra of R. This generalises on one hand the classical Faà di Bruno formula (dual to composition of power series), corresponding to the case where R is the terminal reduced operad, and on the other hand the Faa di Bruno formula for P-trees of Gálvez--Kock--Tonks (P a finitary polynomial endofunctor), which corresponds to the case where R is the free operad on P. Following Gálvez--Kock--Tonks, we work at the objective level of groupoid slices, hence all proofs are `bijective': the formula is established as the homotopy cardinality of an explicit equivalence of groupoids. In fact we establish the formula more generally in a relative situation, for algebras for one polynomial monad internal to another. This covers in particular nonsymmetric operads (for which the terminal reduced case yields the noncommutative Faà di Bruno formula of Brouder--Frabetti--Krattenthaler).

math.CT↗

arXiv2015

Algebraic Kan extensions along morphisms of internal algebra classifiers

An algebraic left Kan extension is a left Kan extension which interacts well with the algebraic structure present in the given situation, and these appear in various subjects such as the homotopy theory of operads and in the study of conformal field theories. In the most interesting examples, the functor along which we left Kan extend goes between categories that enjoy universal properties which express the meaning of the calculation we are trying to understand. These universal properties say that the categories in question are universal examples of some categorical structure possessing some kind of internal structure, and so fall within the theory of internal algebra classifiers described in earlier work of the author. In this article conditions of a monad-theoretic nature are identified which give rise to morphisms between such universal objects, which satisfy the key condition of Guitart-exactness, which guarantees the algebraicness of left Kan extending along them. The resulting setting explains the algebraicness of the left Kan extensions arising in operad theory, for instance from the theory of Feynman categories of Kaufmann and Ward, generalisations thereof, and also includes the situations considered by Batanin and Berger in their work on the homotopy theory of algebras of polynomial monads.

math.CT↗

arXiv2015

Operads as polynomial 2-monads

In this article we give a construction of a polynomial 2-monad from an operad and describe the algebras of the 2-monads which then arise. This construction is different from the standard construction of a monad from an operad in that the algebras of our associated 2-monad are the categorified algebras of the original operad. Moreover it enables us to characterise operads as categorical polynomial monads in a canonical way. This point of view reveals categorical polynomial monads as a unifying environment for operads, Cat-operads and clubs. We recover the standard construction of a monad from an operad in a 2-categorical way from our associated 2-monad as a coidentifier of 2-monads, and understand the algebras of both as weak morphisms of operads into a Cat-operad of categories. Algebras of operads within general symmetric monoidal categories arise from our new associated 2-monad in a canonical way. When the operad is sigma-free, we establish a Quillen equivalence, with respect to the model structures on algebras of 2-monads found by Lack, between the strict algebras of our associated 2-monad, and those of the standard one.

math.CT↗

arXiv2015

Internal algebra classifiers as codescent objects of crossed internal categories

Inspired by recent work of Batanin and Berger on the homotopy theory of operads, a general monad-theoretic context for speaking about structures within structures is presented, and the problem of constructing the universal ambient structure containing the prescribed internal structure is studied. Following the work of Lack, these universal objects must be constructed from simplicial objects arising from our monad-theoretic framework, as certain 2-categorical colimits called codescent objects. We isolate the extra structure present on these simplicial objects which enable their codescent objects to be computed. These are the crossed internal categories of the title, and generalise the crossed simplicial groups of Loday and Fiedorowicz. The most general results of this article are concerned with how to compute such codescent objects in 2-categories of internal categories, and on isolating conditions on the monad-theoretic situation which enable these results to apply. Combined with earlier work of the author in which operads are seen as polynomial 2-monads, our results are then applied to the theory of non-symmetric, symmetric and braided operads. In particular, the well-known construction of a PROP from an operad is recovered, as an illustration of our techniques.

math.CT↗

arXiv2015

Polynomials in categories with pullbacks

The theory developed by Gambino and Kock, of polynomials over a locally cartesian closed category E, is generalised for E just having pullbacks. The 2-categorical analogue of the theory of polynomials and polynomial functors is given, and its relationship with Street's theory of fibrations within 2-categories is explored. Johnstone's notion of "bagdomain data" is adapted to the present framework to make it easier to completely exhibit examples of polynomial monads.

math.CT↗

arXiv2013

Multitensors as monads on categories of enriched graphs

In this paper we unify previous developments on higher operads and multitensors into a single framework in which the interplay between multitensors on a category V, and monads on the category of graphs enriched in V, is taken as fundamental. The material presented here is the conceptual background for subsequent work in which the Gray tensor product of 2-categories and the Crans tensor product of Gray categories are exhibited as existing within our framework, and in an explicit construction of the funny tensor product of categories is generalised to a large class of Batanin operads.

math.CT↗

arXiv2013

Multitensor lifting and strictly unital higher category theory

In this article we extend the theory of lax monoidal structures, also known as multitensors, and the monads on categories of enriched graphs that they give rise to. Our first principal result -- the lifting theorem for multitensors -- enables us to see the Gray tensor product of 2-categories and the Crans tensor product of Gray categories as part of this framework. We define weak n-categories with strict units by means of a notion of reduced higher operad, using the theory of algebraic weak factorisation systems. Our second principal result is to establish a lax tensor product on the category of weak n-categories with strict units, so that enriched categories with respect to this tensor product are exactly weak (n+1)-categories with strict units.

math.CT↗

arXiv2013

Coronal-Temperature-Diagnostic Capability of the Hinode/X-Ray Telescope Based on Self-Consistent Calibration. II. Calibration with on-Orbit Data

The X-Ray Telescope (XRT) onboard the Hinode satellite is an X-ray imager that observes the solar corona with the capability of diagnosing coronal temperatures from less than 1 MK to more than 10 MK. To make full use of this capability, Narukage et al. (Solar Phys. 269, 169, 2011) determined the thickness of each of the X-ray focal-plane analysis filters based on calibration measurements from the ground-based end-to-end test. However, in their paper, the calibration of the thicker filters for observations of active regions and flares, namely the med-Be, med-Al, thick-Al and thick-Be filters, was insufficient due to the insufficient X-ray flux used in the measurements. In this work, we recalibrate those thicker filters using quiescent active region data taken with multiple filters of XRT. On the basis of our updated calibration results, we present the revised coronal-temperature-diagnostic capability of XRT.

astro-ph.SR↗

arXiv2013

Anti-parallel EUV flows observed along active region filament threads with Hi-C

Plasma flows within prominences/filaments have been observed for many years and hold valuable clues concerning the mass and energy balance within these structures. Previous observations of these flows primarily come from H-alpha and cool EUV lines (e.g., 304A) where estimates of the size of the prominence threads has been limited by the resolution of the available instrumentation. Evidence of `counter-steaming' flows has previously been inferred from these cool plasma observations but now, for the first time, these flows have been directly imaged along fundamental filament threads within the million degree corona (at 193A). In this work we present observations of an active region filament observed with Hi-C that exhibits anti-parallel flows along adjacent filament threads. Complementary data from SDO/AIA and HMI are presented. The ultra-high spatial and temporal resolution of Hi-C allow the anti-parallel flow velocities to be measured (70-80 km/s) and gives an indication of the resolvable thickness of the individual strands (0.8'' +/- 0.1''). The temperature distribution of the plasma flows was estimated to be log T(K) = 5.45 +/- 0.10 using EM loci analysis. We find that SDO/AIA cannot clearly observe these anti-parallel flows nor measure their velocity or thread width due to its larger pixel size. We suggest that anti-parallel/counter-streaming flows are likely commonplace within all filaments and are currently not observed in EUV due to current instrument spatial resolution.

astro-ph.SR↗

arXiv2013

Observing coronal nanoflares in active region moss

The High-resolution Coronal Imager (Hi-C) has provided Fe XII 193A images of the upper transition region moss at an unprecedented spatial (~0.3-0.4 arcsec) and temporal (5.5s) resolution. The Hi-C observations show in some moss regions variability on timescales down to ~15s, significantly shorter than the minute scale variability typically found in previous observations of moss, therefore challenging the conclusion of moss being heated in a mostly steady manner. These rapid variability moss regions are located at the footpoints of bright hot coronal loops observed by SDO/AIA in the 94A channel, and by Hinode/XRT. The configuration of these loops is highly dynamic, and suggestive of slipping reconnection. We interpret these events as signatures of heating events associated with reconnection occurring in the overlying hot coronal loops, i.e., coronal nanoflares. We estimate the order of magnitude of the energy in these events to be of at least a few $10^{23}rg, also supporting the nanoflare scenario. These Hi-C observations suggest that future observations at comparable high spatial and temporal resolution, with more extensive temperature coverage are required to determine the exact characteristics of the heating mechanism(s).

astro-ph.SR↗

arXiv2011

The Lifting Theorem for Multitensors

We continue to develop the theory of monads and multitensors. The central result of this paper - the lifting theorem for multitensors - enables us to see the Gray tensor product of 2-categories and the Crans tensor product of Gray categories as part of our emerging framework. Moreover we explain how our lifting theorem gives an alternative description of Day convolution in the unenriched context.

math.CT↗

arXiv2011

Monads with arities and their associated theories

After a review of the concept of "monad with arities" we show that the category of algebras for such a monad has a canonical dense generator. This is used to extend the correspondence between finitary monads on sets and Lawvere's algebraic theories to a general correspondence between monads and theories for a given category with arities. As application we determine arities for the free groupoid monad on involutive graphs and recover the symmetric simplicial nerve characterisation of groupoids.

math.CT↗

arXiv2010

Coronal Temperature Diagnostic Capability of the Hinode/X-Ray Telescope Based on Self-Consistent Calibration

The X-Ray Telescope (XRT) onboard the Hinode satellite is an X-ray imager that observes the solar corona with unprecedentedly high angular resolution (consistent with its 1" pixel size). XRT has nine X-ray analysis filters with different temperature responses. One of the most significant scientific features of this telescope is its capability of diagnosing coronal temperatures from less than 1 MK to more than 10 MK, which has never been accomplished before. To make full use of this capability, accurate calibration of the coronal temperature response of XRT is indispensable and is presented in this article. The effect of on-orbit contamination is also taken into account in the calibration. On the basis of our calibration results, we review the coronal-temperature-diagnostic capability of XRT.

astro-ph.SR↗

arXiv2010

Algebras of higher operads as enriched categories II

One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product. In this paper we continue the work of [7] to adapt the machinery of globular operads [4] to this task. The resulting theory includes the Gray tensor product of 2-categories and the Crans tensor product [12] of Gray categories. Moreover much of the previous work on the globular approach to higher category theory is simplified by our new foundations, and we illustrate this by giving an expedited account of many aspects of Cheng's analysis [11] of Trimble's definition of weak n-category. By way of application we obtain an "Ekmann-Hilton" result for braided monoidal 2-categories, and give the construction of a tensor product of A-infinity algebras.

math.CT↗