title: Justice through the lens of calculus: Framing new possibilities for diversity, equity, and inclusion

abstract: In this volume, we encouraged a broad array of submissions that highlight issues of Diversity, Equity, and Inclusion (DEI) in introductory mathematics programs with special attention to precalculus, differential calculus, and integral calculus and surrounding departmental programs to support students in these courses. The volume features illustrative case studies that showcase ways in which departments and instructors are attending to promoting diverse introductory mathematics programs, achieving, or monitoring equitable student outcomes and experiences, and promoting inclusive teaching practices. Achieving and promoting DEI issues in introductory mathematics programs is not an easy undertaking so we encouraged submissions of models in progress, discussions of potential obstacles, challenges, and what departments and instructors have done to overcome barriers to address these issues. The volume also features thematic chapters that create a vision for DEI based on the illustrative case studies and known literature.


title: A Comparison of State-of-the-Art Techniques for Generating Adversarial Malware Binaries

abstract: We consider the problem of generating adversarial malware by a cyber-attacker where the attacker's task is to strategically modify certain bytes within existing binary malware files, so that the modified files are able to evade a malware detector such as machine learning-based malware classifier. We have evaluated three recent adversarial malware generation techniques using binary malware samples drawn from a single, publicly available malware data set and compared their performances for evading a machine-learning based malware classifier called MalConv. Our results show that among the compared techniques, the most effective technique is the one that strategically modifies bytes in a binary's header. We conclude by discussing the lessons learned and future research directions on the topic of adversarial malware generation.


title: The impact of void environment on AGN

abstract: We study the population of active galaxies in void environment in the SDSS. We use optical spectroscopic information to analyze characteristics of the emission lines of galaxies, accomplished by WHAN and BPT diagrams. Also, we study WISE mid-IR colours to assess AGN activity. We investigate these different AGN classification schemes, both optical and mid-IR, and their dependence on the spatial location with respect to the void centres. To this end, we define three regions: void, the spherical region defined by voidcentric distance relative to void radius (distance/r$_{\rm void}$) smaller than 0.8, comprising overdensities lesser than -0.9, an intermediate/transition shell region (namely void--wall) 0.8 $<$ distance/r$_{\rm void} <$ 1.2, and a region sufficiently distant from voids, the field: distance/r$_{\rm void} >$ 2. We find statistical evidence for a larger fraction of AGN and star--forming galaxies in the void region, regardless of the classification scheme addressed (either BPT, WHAN or WISE). Moreover, we obtain a significantly stronger nuclear activity in voids compared to the field. We find an unusually large fraction of the most massive black holes undergoing strong accretion when their host galaxies reside in voids. Our results suggest a strong influence of the void environment on AGN mechanisms associated with galaxy evolution.


title: Dimensional Expressivity Analysis, best-approximation errors, and automated design of parametric quantum circuits

abstract: The design of parametric quantum circuits (PQCs) for efficient use in variational quantum simulations (VQS) is subject to two competing factors. On one hand, the set of states that can be generated by the PQC has to be large enough to contain the solution state. Otherwise, one may at best find the best approximation of the solution restricted to the states generated by the chosen PQC. On the other hand, the PQC should contain as few parametric quantum gates as possible to minimize noise from the quantum device. Thus, when designing a PQC one needs to ensure that there are no redundant parameters. The dimensional expressivity analysis discussed in these proceedings is a means of addressing these counteracting effects. Its main objective is to identify independent and redundant parameters in the PQC. Using this information, superfluous parameters can be removed and the dimension of the space of states that are generated by the PQC can be computed. Knowing the dimension of the physical state space then allows us to deduce whether or not the PQC can reach all physical states. Furthermore, the dimensional expressivity analysis can be implemented efficiently using a hybrid quantum-classical algorithm. This implementation has relatively small overhead costs both for the classical and quantum part of the algorithm and could therefore be used in the future for on-the-fly circuit construction. This would allow for optimized circuits to be used in every loop of a VQS rather than the same PQC for the entire VQS. These proceedings review and extend work in [1, 2].


title: One-loop electroweak radiative corrections to polarized $e^+e^- \to \gamma Z$ process

abstract: This paper gives high-precision theoretical predictions for cross sections of the process $e^+e^- \to \gamma Z$ for future electron-positron colliders. The calculations are performed using the SANC system. They include complete one-loop electroweak radiative corrections, as well as longitudinal polarization of the initial state. Numerical results are given for the center-of-mass system energy range $\sqrt{s} = 250 - 1000$ GeV with various polarization degrees in the $\alpha(0)$ and $G_\mu$ EW schemes. This study is a contribution to the research program of the CEPC project being under development in China.


title: Image Based Reconstruction of Liquids from 2D Surface Detections

abstract: In this work, we present a solution to the challenging problem of reconstructing liquids from image data. The challenges in reconstructing liquids, which is not faced in previous reconstruction works on rigid and deforming surfaces, lies in the inability to use depth sensing and color features due the variable index of refraction, opacity, and environmental reflections. Therefore, we limit ourselves to only surface detections (i.e. binary mask) of liquids as observations and do not assume any prior knowledge on the liquids properties. A novel optimization problem is posed which reconstructs the liquid as particles by minimizing the error between a rendered surface from the particles and the surface detections while satisfying liquid constraints. Our solvers to this optimization problem are presented and no training data is required to apply them. We also propose a dynamic prediction to seed the reconstruction optimization from the previous time-step. We test our proposed methods in simulation and on two new liquid datasets which we open source so the broader research community can continue developing in this under explored area.


title: Analysis of pedestrian stress level using GSR sensor in virtual immersive reality

abstract: Level of emotional arousal of one's body changes in response to external stimuli in an environment. Given the risks involved while crossing streets, particularly at unsignalized mid-block crosswalks, one can expect a change in the stress level of pedestrians. In this study, we investigate the levels and changes in pedestrian stress, under different road crossing scenarios in immersive virtual reality. To measure the stress level of pedestrians, we used Galvanic Skin Response (GSR) sensors. To collect the required data for the model, Virtual Immersive Reality Environment (VIRE) tool is used, which enables us to measure participants' stress levels in a controlled environment. The results suggested that the density of vehicles has a positive effect, meaning as the density of vehicles increases, so does the stress level for pedestrians. It was noted that younger pedestrians have a lower amount of stress when crossing as compared to older pedestrians which have higher amounts of stress. Geometric variables have an impact on the stress level of pedestrians. The greater the number of lanes the greater the observed stress, which is due to the crossing distance increasing, while the walking speed remains the same.


title: Heat Kernel, Spectral Functions and Anomalies in Weyl Semimetals

abstract: Being motivated by applications to the physics of Weyl semimetals we study spectral geometry of Dirac operator with an abelian gauge field and an axial vector field. We impose chiral bag boundary conditions with variable chiral phase $\theta$ on the fermions. We establish main properties of the spectral functions which ensure applicability of the $\zeta$ function regularization and of the usual heat kernel formulae for chiral and parity anomalies. We develop computational methods, including a perturbation expansion for the heat kernel. We show that the terms in both anomalies which include electromagnetic potential are independent of $\theta$.

categories: math-ph cond-mat.mes-hall hep-th math.MP


title: Infinitesimal Bendings for Classes of Two Dimensional Surfaces

abstract: Infinitesimal bendings for classes of two-dimensional surfaces in $\mathbb{R}^3$ are investigated. The techniques used to construct the bending fields include reduction to solvability of Bers-Vekua type equations and systems of differential equations with periodic coefficients.


title: The Simons Observatory: Magnetic Shielding Measurements for the Universal Multiplexing Module

abstract: The Simons Observatory (SO) includes four telescopes that will measure the temperature and polarization of the cosmic microwave background using over 60,000 highly sensitive transition-edge bolometers (TES). These multichroic TES bolometers are read out by a microwave RF SQUID multiplexing system with a multiplexing factor of 910. Given that both TESes and SQUIDs are susceptible to magnetic field pickup and that it is hard to predict how they will respond to such fields, it is important to characterize the magnetic response of these systems empirically. This information can then be used to limit spurious signals by informing magnetic shielding designs for the detectors and readout. This paper focuses on measurements of magnetic pickup with different magnetic shielding configurations for the SO universal multiplexing module (UMM), which contains the SQUIDs, associated resonators, and TES bias circuit. The magnetic pickup of a prototype UMM was tested under three shielding configurations: no shielding (copper packaging), aluminum packaging for the UMM, and a tin/lead-plated shield surrounding the entire dilution refrigerator 100 mK cold stage. The measurements show that the aluminum packaging outperforms the copper packaging by a shielding factor of 8-10, and adding the tin/lead-plated 1K shield further increases the relative shielding factor in the aluminum configuration by 1-2 orders of magnitude.


title: Two-dimensional Dirac matter in the semiclassical regime

abstract: The semiclassical regime of 2D static Dirac matter is obtained from the Dirac equation in curved space-time. To simplify the formulation, the Cartesian space-time geometry parametrization is transformed to isothermal coordinates using quasi-conformal transformations. Using this framework, it is demonstrated that to first order, the semiclassical approximation yields the relativistic Lorentz force equation with additional fictitious forces related to the space curvature and to the mass gradient. An effective graded index of refraction is defined and is directly linked to the metric component in isothermal coordinates. Semiclassical trajectories are evaluated in a simple example by solving the equation of motion and the Beltrami equation numerically.


title: Dark Matter Search with the Nuclear Isomer Ta-180m

abstract: There is compelling cosmological and astrophysical evidence of dark matter comprising 27% of the energy budget of the Universe. However, dark matter has never been observed in direct detection experiments. The long-time favorite model of Weakly Interacting Massive Particles saw a large experimental effort with steady progress over recent decades. Since also these large-scale searches remain unsuccessful to date, it is compelling to look at more exotic dark matter models which can be constrained with new approaches and much less scientific resources. Using nuclear isomers is one of these approaches. $^{180m}$Ta is the rarest known isotope with the longest-lived meta-stable state whose partial half-life limits are on the order of 10$^{14}$-10$^{16}$ yr. We investigate how strongly interacting dark matter and inelastic dark dark matter collides with $^{180m}$Ta, leading to its de-excitation. The energy stored in the meta-stable state is released in the transition, which becomes the signature for thermalized dark matter in a well-shielded underground experiment. We report on a direct detection experiment searching for these dark-matter-induced decay signatures which has further constrained the open parameter space. We also propose an indirect geochemical experiment to search for decay products of $^{180m}$Ta in tantalum minerals accumulated over 1 billion years.


title: Sym(n)- and Alt(n)-modules with an additive dimension

abstract: We revisit, clarify, and generalise classical results of Dickson and (much later) Wagner on minimal Sym(n)- and Alt(n)-modules. We present a new, natural notion of 'modules with an additive dimension' covering at once the classical, finitary case as well as modules definable in an o-minimal or finite Morley rank setting; in this context, we fully identify the faithful Sym(n)- and Alt(n)-modules of least dimension.


title: Robust Control of Nanoscale Drug Delivery System in Atherosclerosis: A Mathematical Approach

abstract: This paper proposes a mathematical approach for robust control of a nanoscale drug delivery system in treatment of atherosclerosis. First, a new nonlinear lumped model is introduced for mass transport in the arterial wall, and its accuracy is evaluated in comparison with the original distributed-parameter model. Then, based on the notion of sliding-mode control, an abstract model is designed for a smart drug delivery nanoparticle. In contrast to the competing strategies on nanorobotics, the proposed nanoparticles carry simpler hardware to penetrate the interior arterial wall and become more technologically feasible. Finally, from this lumped model and the nonlinear control theory, the overall system's stability is mathematically proven in the presence of uncertainty. Simulation results on a well-known model, and comparisons with earlier benchmark approaches, reveals that even when the LDL concentration in the lumen is high, the proposed nanoscale drug delivery system successfully reduces the drug consumption levels by as much as 16% and the LDL level in the Endothelium, Intima, Internal Elastic Layer (IEL) and Media layers of an unhealthy arterial wall by as much as 14.6%, 50.5%, 51.8%, and 64.4%, respectively.


title: Identifying Axion Insulator by Quantized Magnetoelectric Effect in Antiferromagnetic ${\mathrm{MnBi}}_{2}{\mathrm{Te}}_{4}$ Tunnel Junction

abstract: Intrinsic magnetic topological insulator ${\mathrm{MnBi}}_{2}{\mathrm{Te}}_{4}$ is believed to be an axion insulator in its antiferromagnetic ground state. However, direct identification of axion insulators remains experimentally elusive because the observed vanishing Hall resistance, while indicating the onset of the axion field, is inadequate to distinguish the system from a trivial normal insulator. Using numerical Green's functions, we theoretically demonstrate the quantized magnetoelectric current in a tunnel junction of atomically thin ${\mathrm{MnBi}}_{2}{\mathrm{Te}}_{4}$ sandwiched between two contacts, which is a smoking-gun signal that unambiguously confirms antiferromagnetic ${\mathrm{MnBi}}_{2}{\mathrm{Te}}_{4}$ to be an axion insulator. Our predictions can be verified directly by experiments.


title: Quantum Description of Angles in the Plane

abstract: The real plane with its set of orientations or angles in $[0,\pi)$ is the simplest non trivial example of a (projective) Hilbert space and provides nice illustrations of quantum formalism. We present some of them, namely covariant integral quantization, linear polarisation of light as a quantum measurement, interpretation of entanglement leading to the violation of Bell inequalities, and spin one-half coherent states viewed as two entangled angles.


title: Constraints on partial half-lives of Ce-136 and Ce-138 double electron captures

abstract: The gamma-ray emissions from a radiopure cerium-bromide crystal with a mass of 4381 g were measured for a total of 497.4 d by means of high-resolution gamma-ray spectrometry in the HADES underground laboratory at a depth of 500 m.w.e. A search for 0/2nee and 0/2neb+ double beta decay transitions of Ce-136 and Ce-138 was performed using Bayesian analysis techniques. No signals were observed for a total of 35 investigated decay modes. 90% credibility limits were set in the order of 1e18-1e19 a. Existing constraints from a cerium oxide powder measurement were tested with a different cerium compound and half-life limits could be improved for most of the decay modes. The most likely accessible decay mode of the Ce-136 2nee transition into the 0+1 state of Ba-136 results in a new best 90% credibility limit of 5.0e18 a.


title: Universal Swarm Computing by Nanorobots

abstract: Realization of universal computing units for nanorobots is highly promising in creating new and wide arrays of applications, particularly in the realm of distributed computation. However, such realization is also a challenging problem due to the physical limitations of nanometer-sized designs such as in computation, sensory and perception as well as actuation. This paper proposes a theoretical foundation for solving this problem based on a novel notion of distributed swarm computing by basis agents (BAs). The proposed BA is an abstract model for nanorobots that can compute a very simple basis function called B-function. It is mathematically shown here that a swarm of BAs has the universal function approximation property and can accurately approximate functions. It is then analytically demonstrated that a swarm of BAs can be easily reprogrammed to compute desired functions simply by adjusting the concentrations of BAs in the environment. We further propose a specific structure for BAs which enable them to perform distributed computing such as in the aqueous environment of living tissues and nanomedicine. The hardware complexity of this structure aims to remain low to be more reasonably realizable by today technology. Finally, the performance of the proposed approach is illustrated by a simulation example.


title: Resolved-sideband Micromotion Sensing in Yb$^{+}$ on the 935 nm Repump Transition

abstract: Ions displaced from the potential minimum in a RF Paul trap exhibit excess micromotion. A host of well-established techniques are routinely used to sense (and null) this excess motion in applications ranging from quantum computing to atomic clocks. The rich atomic structure of the heavy ion Yb$^{+}$ includes low-lying $^{2}\text{D}_{3/2}$ states that must be repumped to permit Doppler cooling, typically using a 935 nm laser coupled to the $^{3}\text{D}[3/2]_{1/2}$ states. In this manuscript we demonstrate the use of this transition to make resolved-sideband measurements of 3D micromotion in $^{172}$Yb$^{+}$ and $^{171}$Yb$^{+}$ ions. Relative to other sensing techniques our approach has very low technical overhead and is distinctively compatible with surface-electrode ion traps.


title: Data Assimilation with Deep Neural Nets Informed by Nudging

abstract: The nudging data assimilation algorithm is a powerful tool used to forecast phenomena of interest given incomplete and noisy observations. Machine learning is becoming increasingly popular in data assimilation given its ease of computation and forecasting ability. This work proposes a new approach to data assimilation via machine learning where Deep Neural Networks (DNNs) are being taught the nudging algorithm. The accuracy of the proposed DNN based algorithm is comparable to the nudging algorithm and it is confirmed by the Lorenz 63 and Lorenz 96 numerical examples. The key advantage of the proposed approach is the fact that, once trained, DNNs are cheap to evaluate in comparison to nudging where typically differential equations are needed to be solved. Standard exponential type approximation results are established for the Lorenz 63 model for both the continuous and discrete in time models. These results can be directly coupled with estimates for DNNs (whenever available), to derive the overall approximation error estimates of the proposed algorithm.


title: Interactive Effects Panel Data Models with General Factors and Regressors

abstract: This paper considers a model with general regressors and unobservable factors. An estimator based on iterated principal components is proposed, which is shown to be not only asymptotically normal and oracle efficient, but under certain conditions also free of the otherwise so common asymptotic incidental parameters bias. Interestingly, the conditions required to achieve unbiasedness become weaker the stronger the trends in the factors, and if the trending is strong enough unbiasedness comes at no cost at all. In particular, the approach does not require any knowledge of how many factors there are, or whether they are deterministic or stochastic. The order of integration of the factors is also treated as unknown, as is the order of integration of the regressors, which means that there is no need to pre-test for unit roots, or to decide on which deterministic terms to include in the model.


title: Approximate Bayesian Computation via Classification

abstract: Approximate Bayesian Computation (ABC) enables statistical inference in simulator-based models whose likelihoods are difficult to calculate but easy to simulate from. ABC constructs a kernel-type approximation to the posterior distribution through an accept/reject mechanism which compares summary statistics of real and simulated data. To obviate the need for summary statistics, we directly compare empirical distributions with a Kullback-Leibler (KL) divergence estimator obtained via contrastive learning. In particular, we blend flexible machine learning classifiers within ABC to automate fake/real data comparisons. We consider the traditional accept/reject kernel as well as an exponential weighting scheme which does not require the ABC acceptance threshold. Our theoretical results show that the rate at which our ABC posterior distributions concentrate around the true parameter depends on the estimation error of the classifier. We derive limiting posterior shape results and find that, with a properly scaled exponential kernel, asymptotic normality holds. We demonstrate the usefulness of our approach on simulated examples as well as real data in the context of stock volatility estimation.


title: Direct Constraints on the Extremely Metal-Poor Massive Stars Underlying Nebular C IV Emission from Ultra-Deep HST/COS Ultraviolet Spectroscopy

abstract: Metal-poor nearby galaxies hosting massive stars have a fundamental role to play in our understanding of both high-redshift galaxies and low metallicity stellar populations. But while much attention has been focused on their bright nebular gas emission, the massive stars that power it remain challenging to constrain. Here we present exceptionally deep Hubble Space Telescope ultraviolet spectra targeting six galaxies that power strong nebular C IV emission approaching that encountered at $z>6$. We find that the strength and spectral profile of the nebular C IV in these new spectra follow a sequence evocative of resonant scattering models, indicating that the hot circumgalactic medium likely plays a key role in regulating C IV escape locally. We constrain the metallicity of the massive stars in each galaxy by fitting the forest of photospheric absorption lines, reporting measurements driven by iron that lie uniformly below 10% solar. Comparison with the gas-phase oxygen abundances reveals evidence for enhancement in O/Fe above solar across the sample, robust to assumptions about the absolute gas-phase metallicity scale. This supports the idea that these local systems are more chemically-similar to their primordial high-redshift counterparts than to the bulk of nearby galaxies. Finally, we find significant tension between the strong stellar wind profiles observed and our population synthesis models constrained by the photospheric forest in our highest-quality spectra. This reinforces the need for caution in interpreting wind lines in isolation at high-redshift, but also suggests a unique path towards validating fundamental massive star physics at extremely low metallicity with integrated ultraviolet spectra.


title: Blockchain-based Recommender Systems: Applications, Challenges and Future Opportunities

abstract: Recommender systems have been widely used in different application domains including energy-preservation, e-commerce, healthcare, social media, etc. Such applications require the analysis and mining of massive amounts of various types of user data, including demographics, preferences, social interactions, etc. in order to develop accurate and precise recommender systems. Such datasets often include sensitive information, yet most recommender systems are focusing on the models' accuracy and ignore issues related to security and the users' privacy. Despite the efforts to overcome these problems using different risk reduction techniques, none of them has been completely successful in ensuring cryptographic security and protection of the users' private information. To bridge this gap, the blockchain technology is presented as a promising strategy to promote security and privacy preservation in recommender systems, not only because of its security and privacy salient features, but also due to its resilience, adaptability, fault tolerance and trust characteristics. This paper presents a holistic review of blockchain-based recommender systems covering challenges, open issues and solutions. Accordingly, a well-designed taxonomy is introduced to describe the security and privacy challenges, overview existing frameworks and discuss their applications and benefits when using blockchain before indicating opportunities for future research.


title: Bootstrap Your Flow

abstract: Normalizing flows are flexible, parameterized distributions that can be used to approximate expectations from intractable distributions via importance sampling. However, current flow-based approaches are limited on challenging targets where they either suffer from mode seeking behaviour or high variance in the training loss, or rely on samples from the target distribution, which may not be available. To address these challenges, we combine flows with annealed importance sampling (AIS), while using the $\alpha$-divergence as our objective, in a novel training procedure, FAB (Flow AIS Bootstrap). Thereby, the flow and AIS improve each other in a bootstrapping manner. We demonstrate that FAB can be used to produce accurate approximations to complex target distributions, including Boltzmann distributions, in problems where previous flow-based methods fail.


title: Atomic Shocks in the Outflow of L1551 IRS 5 Identified with SOFIA-upGREAT Observations of [OI]

abstract: We present velocity resolved SOFIA/upGREAT observations of [OI] and [CII] lines toward a Class I protostar, L1551 IRS 5, and its outflows. The SOFIA observations detect [OI] emission toward only the protostar and [CII] emission toward the protostar and the red-shifted outflow. The [OI] emission has a width of $\sim$100 km s$^{-1}$ only in the blue-shifted velocity, suggesting an origin in shocked gas. The [CII] lines are narrow, consistent with an origin in a photodissociation region. Differential dust extinction from the envelope due to the inclination of the outflows is the most likely cause of the missing red-shifted [OI] emission. Fitting the [OI] line profile with two Gaussian components, we find one component at the source velocity with a width of $\sim$20 km s$^{-1}$ and another extremely broad component at -30 km s$^{-1}$ with a width of 87.5 km s$^{-1}$, the latter of which has not been seen in L1551 IRS 5. The kinematics of these two components resemble cavity shocks in molecular outflows and spot shocks in jets. Radiative transfer calculations of the [OI], high-J CO, and H$_2$O lines in the cavity shocks indicate that [OI] dominates the oxygen budget, making up more than 70% of the total gaseous oxygen abundance and suggesting [O]/[H] of $\sim$1.5$\times$10$^{-4}$. Attributing the extremely broad [OI] component to atomic winds, we estimate the intrinsic mass loss rate of (1.3$\pm$0.8)$\times$ 10$^{-6}$ M$_{\odot}$ yr$^{-1}$. The intrinsic mass loss rates derived from low-J CO, [OI], and HI are similar, supporting the model of momentum-conserving outflows, where the atomic wind carries most momentum and drives the molecular outflows.


title: Candidate structure for the H$_2$-PRE phase of solid hydrogen

abstract: Experimental progress finally reached the metallic solid hydrogen phase, which was predicted by Wigner and Huntington over 80 years ago. However, the different structures in the phase diagram are still been debated due to the difficulty of diffraction experiments for high-pressured hydrogen. The determination of crystal structures under extreme condition is both of the basic condensed matter physics, and in planetary science: the behavior of giant gaseous planets (e.g. Jupiter, Saturn...) strongly depends on the properties of inner high-pressured hydrogen. This work describes new possible structures appearing under high pressures of 400$\sim$600 GPa. We applied a structural search using particle swarm optimization with density functional theory (DFT) to propose several candidate structures. For these structures, we performed fixed-node diffusion Monte Carlo simulations combined with DFT zero-point energy corrections to confirm their relative stability. We found $P2_{1}/c$-8 as a promising candidate structure for the H$_2$-PRE phase. $P2_{1}/c$-8 is predicted the most stable at 400 and 500~GPa. $P2_{1}/c$-8 reproduces qualitatively the IR spectrum peaks observed in the H$_2$-PRE phase.

categories: cond-mat.mtrl-sci cond-mat.soft cond-mat.str-el cond-mat.supr-con physics.comp-ph


title: Fidelity results for {DG} modules

abstract: We investigate notions of support and cosupport for differential graded (DG) modules over DG algebras. We apply these notions to identify certain classes of derived functors that are able to detect triviality and isomorphisms in derived categories.


title: On Data-centric Myths

abstract: The community lacks theory-informed guidelines for building good data sets. We analyse theoretical directions relating to what aspects of the data matter and conclude that the intuitions derived from the existing literature are incorrect and misleading. Using empirical counter-examples, we show that 1) data dimension should not necessarily be minimised and 2) when manipulating data, preserving the distribution is inessential. This calls for a more data-aware theoretical understanding. Although not explored in this work, we propose the study of the impact of data modification on learned representations as a promising research direction.


title: Multi-channel waveguide QED with atomic arrays in free space

abstract: We study light scattering off a two-dimensional (2D) array of atoms driven to Rydberg levels. We show that the problem can be mapped to a generalized model of waveguide QED, consisting of multiple 1D photonic channels (transverse modes), each of which directionally coupled to a corresponding Rydberg surface mode of the array. In the Rydberg blockade regime, collective excitations of different surface modes block each other, leading to multi-channel correlated photonic states. Using an analytical approach, we characterize inter-channel quantum correlations, and elucidate the role of collective two-photon resonances of the array. Our results open new possibilities for multimode many-body physics and quantum information with photons in a free-space platform.


title: Shape-Dependent Multi-Weight Magnetic Artificial Synapses for Neuromorphic Computing

abstract: In neuromorphic computing, artificial synapses provide a multi-weight conductance state that is set based on inputs from neurons, analogous to the brain. Additional properties of the synapse beyond multiple weights can be needed, and can depend on the application, requiring the need for generating different synapse behaviors from the same materials. Here, we measure artificial synapses based on magnetic materials that use a magnetic tunnel junction and a magnetic domain wall. By fabricating lithographic notches in a domain wall track underneath a single magnetic tunnel junction, we achieve 4-5 stable resistance states that can be repeatably controlled electrically using spin orbit torque. We analyze the effect of geometry on the synapse behavior, showing that a trapezoidal device has asymmetric weight updates with high controllability, while a straight device has higher stochasticity, but with stable resistance levels. The device data is input into neuromorphic computing simulators to show the usefulness of application-specific synaptic functions. Implementing an artificial neural network applied on streamed Fashion-MNIST data, we show that the trapezoidal magnetic synapse can be used as a metaplastic function for efficient online learning. Implementing a convolutional neural network for CIFAR-100 image recognition, we show that the straight magnetic synapse achieves near-ideal inference accuracy, due to the stability of its resistance levels. This work shows multi-weight magnetic synapses are a feasible technology for neuromorphic computing and provides design guidelines for emerging artificial synapse technologies.


title: Columnar Formats for Schemaless LSM-based Document Stores

abstract: In the last decade, document store database systems have gained more traction for storing and querying large volumes of semi-structured data. However, the flexibility of the document stores' data models has limited their ability to store data in a columnar-major layout - making them less performant for analytical workloads than column store relational databases. In this paper, we propose several techniques based on piggy-backing on Log-Structured Merge (LSM) tree events and tailored to document stores to store document data in a columnar layout. We first extend the Dremel format, a popular on-disk columnar format for semi-structured data, to comply with document stores' flexible data model. We then introduce two columnar layouts for organizing and storing data in LSM-based storage. We also highlight the potential of using query compilation techniques for document stores, where values' types are known only at runtime. We have implemented and evaluated our techniques to measure their impact on storage, data ingestion, and query performance in Apache AsterixDB. Our experiments show significant performance gains, improving the query execution time by orders of magnitude while minimally impacting ingestion performance.


title: Development and Validation of MicrobEx: an Open-Source Package for Microbiology Culture Concept Extraction

abstract: Microbiology culture reports contain critical information for important clinical and public health applications. However, microbiology reports often have complex, semi-structured, free-text data that present a barrier for secondary use. Here we present the development and validation of an open-source package designed to ingest free-text microbiology reports, determine whether the culture is positive, and return a list of SNOMED-CT mapped bacteria. Our rule-based natural language processing algorithm was developed using microbiology reports from two different electronic health record systems in a large healthcare organization, and then externally validated on the reports of two other institutions with manually-extracted results as a benchmark. Our algorithm achieved F-1 scores >0.95 on all classification tasks across both validation sets. Our concept extraction Python package, MicrobEx, is designed to be reused and adapted to individual institutions as an upstream process for other clinical applications, such as machine learning studies, clinical decision support, and disease surveillance systems.


title: High-entropy ceramics: propelling applications through disorder

abstract: Disorder enhances desired properties, as well as creating new avenues for synthesizing materials. For instance, hardness and yield stress are improved by solid-solution strengthening, a result of distortions and atomic size mismatches. Thermo-chemical stability is increased by the preference of chemically disordered mixtures for high-symmetry super-lattices. Vibrational thermal conductivity is decreased by force-constant disorder without sacrificing mechanical strength and stiffness. Thus, high-entropy ceramics propel a wide range of applications: from wear resistant coatings and thermal and environmental barriers to catalysts, batteries, thermoelectrics and nuclear energy management. Here, we discuss recent progress of the field, with a particular emphasis on disorder-enhanced properties and applications.


title: Zero-Shot Open-Book Question Answering

abstract: Open book question answering is a subset of question answering tasks where the system aims to find answers in a given set of documents (open-book) and common knowledge about a topic. This article proposes a solution for answering natural language questions from a corpus of Amazon Web Services (AWS) technical documents with no domain-specific labeled data (zero-shot). These questions can have yes-no-none answers, short answers, long answers, or any combination of the above. This solution comprises a two-step architecture in which a retriever finds the right document and an extractor finds the answers in the retrieved document. We are introducing a new test dataset for open-book QA based on real customer questions on AWS technical documentation. After experimenting with several information retrieval systems and extractor models based on extractive language models, the solution attempts to find the yes-no-none answers and text answers in the same pass. The model is trained on the The Stanford Question Answering Dataset - SQuAD (Rajpurkaret al., 2016) and Natural Questions (Kwiatkowski et al., 2019) datasets. We were able to achieve 49% F1 and 39% exact match score (EM) end-to-end with no domain-specific training.


title: The Brownian transport map

abstract: Contraction properties of transport maps between probability measures play an important role in the theory of functional inequalities. The actual construction of such maps, however, is a non-trivial task and, so far, relies mostly on the theory of optimal transport. In this work, we take advantage of the infinite-dimensional nature of the Gaussian measure and construct a new transport map, based on the F\"ollmer process, which pushes forward the Wiener measure onto probability measures on Euclidean spaces. Utilizing the tools of the Malliavin and stochastic calculus in Wiener space, we show that this Brownian transport map is a contraction in various settings where the analogous questions for optimal transport maps are open. The contraction properties of the Brownian transport map enable us to prove functional inequalities in Euclidean spaces, which are either completely new or improve on current results. Further and related applications of our contraction results are the existence of Stein kernels with desirable properties (which lead to new central limit theorems), as well as new insights into the Kannan--Lov\'asz--Simonovits conjecture. We go beyond the Euclidean setting and address the problem of contractions on the Wiener space itself. We show that optimal transport maps and causal optimal transport maps (which are related to Brownian transport maps) between the Wiener measure and other target measures on Wiener space exhibit very different behaviors.


title: On the Borel complexity of continued fraction normal, absolutely abnormal numbers

abstract: We show that normality for continued fractions expansions and normality for base-$b$ expansions are maximally logically separate. In particular, the set of numbers that are normal with respect to the continued fraction expansion but not base-$b$ normal for a fixed $b\ge 2$ is $D_2(\boldsymbol{\Pi}_3^0)$-complete. Moreover, the set of numbers that are normal with respect to the continued fraction expansion but not normal to \emph{any} base-$b$ expansion is $D_2(\boldsymbol{\Pi}_3^0)$-hard, confirming the existence of uncountably many such numbers, which was previously only known assuming the generalized Riemann hypothesis. By varying the method of proof we are also able to show that the set of base-$2$ normal, base-$3$ non-normal numbers is also $D_2(\boldsymbol{\Pi}_3^0)$-complete. We also prove an auxiliary result on the normality properties of the continued fraction expansions of fractions with a fixed denominator.


title: Learnable Structural Semantic Readout for Graph Classification

abstract: With the great success of deep learning in various domains, graph neural networks (GNNs) also become a dominant approach to graph classification. By the help of a global readout operation that simply aggregates all node (or node-cluster) representations, existing GNN classifiers obtain a graph-level representation of an input graph and predict its class label using the representation. However, such global aggregation does not consider the structural information of each node, which results in information loss on the global structure. Particularly, it limits the discrimination power by enforcing the same weight parameters of the classifier for all the node representations; in practice, each of them contributes to target classes differently depending on its structural semantic. In this work, we propose structural semantic readout (SSRead) to summarize the node representations at the position-level, which allows to model the position-specific weight parameters for classification as well as to effectively capture the graph semantic relevant to the global structure. Given an input graph, SSRead aims to identify structurally-meaningful positions by using the semantic alignment between its nodes and structural prototypes, which encode the prototypical features of each position. The structural prototypes are optimized to minimize the alignment cost for all training graphs, while the other GNN parameters are trained to predict the class labels. Our experimental results demonstrate that SSRead significantly improves the classification performance and interpretability of GNN classifiers while being compatible with a variety of aggregation functions, GNN architectures, and learning frameworks.


title: Tenodesis Grasp Emulator: Kinematic Assessment of Wrist-Driven Orthotic Control

abstract: Wrist-driven orthotics have been designed to assist people with C6-7 spinal cord injury, however, the kinematic constraint imposed by such a control strategy can impede mobility and lead to abnormal body motion. This study characterizes body compensation using the novel Tenodesis Grasp Emulator, an adaptor orthotic that allows for the investigation of tenodesis grasping in subjects with unimpaired hand function. Subjects perform a series of grasp-and-release tasks in order to compare normal (test control) and constrained wrist-driven modes, showing significant compensation as a result of the constraint. A motor-augmented mode is also compared against traditional wrist-driven operation, to explore the potential role of hybrid human-robot control. We find that both the passive wrist-driven and motor-augmented modes fulfill different roles throughout various tasks tested. Thus, we conclude that a flexible control scheme that can alter intervention based on the task at hand holds the potential to reduce compensation in future work.


title: Component Transfer Learning for Deep RL Based on Abstract Representations

abstract: In this work we investigate a specific transfer learning approach for deep reinforcement learning in the context where the internal dynamics between two tasks are the same but the visual representations differ. We learn a low-dimensional encoding of the environment, meant to capture summarizing abstractions, from which the internal dynamics and value functions are learned. Transfer is then obtained by freezing the learned internal dynamics and value functions, thus reusing the shared low-dimensional embedding space. When retraining the encoder for transfer, we make several observations: (i) in some cases, there are local minima that have small losses but a mismatching embedding space, resulting in poor task performance and (ii) in the absence of local minima, the output of the encoder converges in our experiments to the same embedding space, which leads to a fast and efficient transfer as compared to learning from scratch. The local minima are caused by the reduced degree of freedom of the optimization process caused by the frozen models. We also find that the transfer performance is heavily reliant on the base model; some base models often result in a successful transfer, whereas other base models often result in a failing transfer.


title: Velocity reconstruction with the cosmic microwave background and galaxy surveys

abstract: The kinetic Sunyaev Zel'dovich (kSZ) and moving lens effects, secondary contributions to the cosmic microwave background (CMB), carry significant cosmological information due to their dependence on the large-scale peculiar velocity field. Previous work identified a promising means of extracting this cosmological information using a set of quadratic estimators for the radial and transverse components of the velocity field. These estimators are based on the statistically anisotropic components of the cross-correlation between the CMB and a tracer of large scale structure, such as a galaxy redshift survey. In this work, we assess the challenges to the program of velocity reconstruction posed by various foregrounds and systematics in the CMB and galaxy surveys, as well as biases in the quadratic estimators. To do so, we further develop the quadratic estimator formalism and implement a numerical code for computing properly correlated spectra for all the components of the CMB (primary/secondary blackbody components and foregrounds) and a photometric redshift survey, with associated redshift errors, to allow for accurate forecasting. We create a simulation framework for generating realizations of properly correlated CMB maps and redshift binned galaxy number counts, assuming the underlying fields are Gaussian, and use this to validate a velocity reconstruction pipeline and assess map-based systematics such as masking. We highlight the most significant challenges for velocity reconstruction, which include biases associated with: modelling errors, characterization of redshift errors, and coarse graining of cosmological fields on our past light cone. Despite these challenges, the outlook for velocity reconstruction is quite optimistic, and we use our reconstruction pipeline to confirm that these techniques will be feasible with near-term CMB experiments and photometric galaxy redshift surveys.


title: Permutations with non-decreasing transposition array and pattern avoidance

abstract: We give some results about a bijection associating each permutation with a subexcedant function. This function is related to a particular decomposition of the permutation as a product of transpositions and therefore it has been called transposition array in the literature. In particular, we identify anti-exceedance positions of the permutation through its transposition array and we give an expression of the bijection in terms of the cycle structure of the permutation. We give a characterization of a family of permutations having a non-decreasing transposition array and study length 3 pattern avoidance therein.


title: On Fair Division with Binary Valuations Respecting Social Networks

abstract: We study the computational complexity of finding fair allocations of indivisible goods in the setting where a social network on the agents is given. Notions of fairness in this context are "localized", that is, agents are only concerned about the bundles allocated to their neighbors, rather than every other agent in the system. We comprehensively address the computational complexity of finding locally envy-free and Pareto efficient allocations in the setting where the agents have binary valuations for the goods and the underlying social network is modeled by an undirected graph. We study the problem in the framework of parameterized complexity. We show that the problem is computationally intractable even in fairly restricted scenarios, for instance, even when the underlying graph is a path. We show NP-hardness for settings where the graph has only two distinct valuations among the agents. We demonstrate W-hardness with respect to the number of goods or the size of the vertex cover of the underlying graph. We also consider notions of proportionality that respect the structure of the underlying graph and show that two natural versions of this notion have different complexities: allocating according to the notion that accounts for locality to the greatest degree turns out to be computationally intractable, while for other notions, the allocation problem can be modeled as a structured ILP which can be solved efficiently.


title: Bayesian Robust Learning in Chain Graph Models for Integrative Pharmacogenomics

abstract: Integrative analysis of multi-level pharmacogenomic data for modeling dependencies across various biological domains is crucial for developing genomic-testing based treatments. Chain graphs characterize conditional dependence structures of such multi-level data where variables are naturally partitioned into multiple ordered layers, consisting of both directed and undirected edges. Existing literature mostly focus on Gaussian chain graphs, which are ill-suited for non-normal distributions with heavy-tailed marginals, potentially leading to inaccurate inferences. We propose a Bayesian robust chain graph model (RCGM) based on random transformations of marginals using Gaussian scale mixtures to account for node-level non-normality in continuous multivariate data. This flexible modeling strategy facilitates identification of conditional sign dependencies among non-normal nodes while still being able to infer conditional dependencies among normal nodes. In simulations, we demonstrate that RCGM outperforms existing Gaussian chain graph inference methods in data generated from various non-normal mechanisms. We apply our method to genomic, transcriptomic and proteomic data to understand underlying biological processes holistically for drug response and resistance in lung cancer cell lines. Our analysis reveals inter- and intra- platform dependencies of key signaling pathways to monotherapies of icotinib, erlotinib and osimertinib among other drugs, along with shared patterns of molecular mechanisms behind drug actions.


title: Approximate Symmetries and Approximate Solutions of Some Perturbed ODE Models

abstract: We find Baikov-Gazizov-Ibragimov approximate point symmetries of the second-order Boussinesq ODE, and we find the higher-order approximate symmetries corresponding to the unstable point symmetries (the point symmetries that disappear fron the classification of the BGI approximate point symmetries) of the unperturbed equation. Approximate local symmetries are used to construct a general approximate solution of the Boussinesq ODE. We use approximate integrating factors to find a general approximate solution of the Benjamin-Bona-Mahony ODE reduction.


title: Analysis of the Most Precise Light Curves of HAT-P-36 Detrended From Spot Signals

abstract: We study the most precise light curves of the planet-host HAT-P-36 that we obtained from the ground primarily with a brand-new 80 cm telescope very recently installed at Ankara University Kreiken Observatory of Turkey and also from the space with Transiting Exoplanet Survey Satellite. The main objective of the study is to analyze the Transit Timing Variations (TTV) observed in the hot-Jupiter type planet HAT-P-36 b, a strong candidate for orbital decay, based on our own observations as well as that have been acquired by professional and amateur observers since its discovery. HAT-P-36 displays out-of-transit variability as well as light curve anomalies during the transits of its planet due to stellar spots. We collected and detrended all the complete transit light curves we had access to from these anomalies, which we modeled with EXOFAST and measured the mid-transit times forming a homogeneous data set for a TTV analysis. We found an increase in the orbital period of HAT-P-36 b at a rate of 0.014 s per year from the best fitting quadratic function, which is only found in the TTV constructed by making use of the mid-transit times measured from detrended light curves, against an expectation of an orbital decay based on its parameters. We refined the values of these system parameters by modeling the Spectral Energy Distribution of the host star, its archival radial velocity observations from multiple instruments, and most precise transit light curves from the space and the ground covering a wide range of wavelengths with EXOFASTV2. We also analyzed the out-of-transit variability from TESS observations to search for potential rotational modulations through a frequency analysis. We report a statistically significant periodicity in the TESS light curve at 4.22 +/- 0.02 d, which might have been caused by instrumental systematics but should be tracked in the future observations of the target.


title: The Complexity of Conjunctive Queries with Degree 2

abstract: We study the tractability of conjunctive query answering for queries with unbounded arity. It is well known that tractability of the problem can be characterised in terms of the queries treewidth under the assumption of bounded arity. We extend this result to cases with unbounded arity but degree 2. To do so, we introduce hypergraph dilutions as an alternative method to primal graph minors for studying substructures of hypergraphs. Using dilutions we observe an analogue to the Excluded Grid Theorem for degree 2 hypergraphs. In consequence, we show that that the tractability of conjunctive query answering can be characterised in terms of generalised hypertree width. A similar characterisation is also shown for the corresponding counting problem. We also generalise our main structural result to arbitrary bounded degree and discuss possible paths towards a characterisation of the bounded degree case.


title: On Rogers-Shephard type inequalities for the lattice point enumerator

abstract: In this paper we study various Rogers-Shephard type inequalities for the lattice point enumerator $\mathrm{G}_{n}(\cdot)$ on $\mathbb{R}^n$. In particular, for any non-empty convex bounded sets $K,L\subset\mathbb{R}^n$, we show that \[\mathrm{G}_{n}(K+L)\mathrm{G}_{n}\bigl(K\cap(-L)\bigr) \leq\binom{2n}{n} \mathrm{G}_{n}\bigl(K+(-1,1)^n\bigr)\mathrm{G}_{n}\bigl(L+(-1,1)^n\bigr). \] and \[ \mathrm{G}_{n-k}(P_{H^\perp} K)\mathrm{G}_{k}(K\cap H)\leq\binom{n}{k}\mathrm{G}_{n}\bigl(K+(-1,1)^n\bigr), \] for $H=\mathrm{lin}\{\mathrm{e}_1,\dots,\mathrm{e}_k\}$, $k\in\{1,\dots,n-1\}$. Additionally, a discrete counterpart to a classical result by Berwald for concave functions, from which other discrete Rogers-Shephard type inequalities may be derived, is shown. Furthermore, we prove that these new discrete analogues for $\mathrm{G}_{n}(\cdot)$ imply the corresponding results involving the Lebesgue measure.


title: Poisoning Attacks to Local Differential Privacy Protocols for Key-Value Data

abstract: Local Differential Privacy (LDP) protocols enable an untrusted server to perform privacy-preserving, federated data analytics. Various LDP protocols have been developed for different types of data such as categorical data, numerical data, and key-value data. Due to their distributed settings, LDP protocols are fundamentally vulnerable to poisoning attacks, in which fake users manipulate the server's analytics results via sending carefully crafted data to the server. However, existing poisoning attacks focused on LDP protocols for simple data types such as categorical and numerical data, leaving the security of LDP protocols for more advanced data types such as key-value data unexplored. In this work, we aim to bridge the gap by introducing novel poisoning attacks to LDP protocols for key-value data. In such a LDP protocol, a server aims to simultaneously estimate the frequency and mean value of each key among some users, each of whom possesses a set of key-value pairs. Our poisoning attacks aim to simultaneously maximize the frequencies and mean values of some attacker-chosen target keys via sending carefully crafted data from some fake users to the sever. Specifically, since our attacks have two objectives, we formulate them as a two-objective optimization problem. Moreover, we propose a method to approximately solve the two-objective optimization problem, from which we obtain the optimal crafted data the fake users should send to the server. We demonstrate the effectiveness of our attacks to three LDP protocols for key-value data both theoretically and empirically. We also explore two defenses against our attacks, which are effective in some scenarios but have limited effectiveness in other scenarios. Our results highlight the needs for new defenses against our poisoning attacks.


title: Ice hockey player identification via transformers and weakly supervised learning

abstract: Identifying players in video is a foundational step in computer vision-based sports analytics. Obtaining player identities is essential for analyzing the game and is used in downstream tasks such as game event recognition. Transformers are the existing standard in Natural Language Processing (NLP) and are swiftly gaining traction in computer vision. Motivated by the increasing success of transformers in computer vision, in this paper, we introduce a transformer network for recognizing players through their jersey numbers in broadcast National Hockey League (NHL) videos. The transformer takes temporal sequences of player frames (also called player tracklets) as input and outputs the probabilities of jersey numbers present in the frames. The proposed network performs better than the previous benchmark on the dataset used. We implement a weakly-supervised training approach by generating approximate frame-level labels for jersey number presence and use the frame-level labels for faster training. We also utilize player shifts available in the NHL play-by-play data by reading the game time using optical character recognition (OCR) to get the players on the ice rink at a certain game time. Using player shifts improved the player identification accuracy by 6%.


title: Decision Theory for the Mass Measurements at the Facility for Rare Isotope Beams

abstract: Nuclear physics facilities, like the Facility for Rare Isotope Beams (FRIB), can potentially perform many nuclear mass measurements of exotic isotopes. Each measurement comes with a particular cost, both in time and money, and thus it is important to establish which mass measurements are the most informative. In this article, we show that one can use the Kullback-Leibler divergence to determine the information gained by a mass measurement. We model the information gain obtained by nuclear mass measurements from two perspectives: first from the perspective of theoretical nuclear mass models, and the second from the perspective of r-process nucleosynthesis. While this work specifically analyzes the abilities of FRIB, other facilities worldwide could benefit from a similar use of information gain in order to decide which experiments are optimal.


title: Machine Learning for Mars Exploration

abstract: Risk to human astronauts and interplanetary distance causing slow and limited communication drives scientists to pursue an autonomous approach to exploring distant planets, such as Mars. A portion of exploration of Mars has been conducted through the autonomous collection and analysis of Martian data by spacecraft such as the Mars rovers and the Mars Express Orbiter. The autonomy used on these Mars exploration spacecraft and on Earth to analyze data collected by these vehicles mainly consist of machine learning, a field of artificial intelligence where algorithms collect data and self-improve with the data. Additional applications of machine learning techniques for Mars exploration have potential to resolve communication limitations and human risks of interplanetary exploration. In addition, analyzing Mars data with machine learning has the potential to provide a greater understanding of Mars in numerous domains such as its climate, atmosphere, and potential future habitation. To explore further utilizations of machine learning techniques for Mars exploration, this paper will first summarize the general features and phenomena of Mars to provide a general overview of the planet, elaborate upon uncertainties of Mars that would be beneficial to explore and understand, summarize every current or previous usage of machine learning techniques in the exploration of Mars, explore implementations of machine learning that will be utilized in future Mars exploration missions, and explore machine learning techniques used in Earthly domains to provide solutions to the previously described uncertainties of Mars.


title: Chemo-Mechanical Phase-Field Modeling of Iron Oxide Reduction with Hydrogen

abstract: The reduction of iron ore with carbon-carriers is one of the largest sources of greenhouse gas emissions in the industry, motivating global activities to replace the coke-based blast furnace reduction by hydrogen-based direct reduction (HyDR). Iron oxide reduction with hydrogen has been widely investigated both experimentally and theoretically. The process includes multiple types of chemical reactions, solid state and defect-mediated diffusion (by oxygen and hydrogen species), several phase transformations, as well as massive volume shrinkage and mechanical stress buildup. In this work, a chemo-mechanically coupled phase-field (PF) model has been developed to explore the interplay between phase transformation, chemical reaction, species diffusion, large elasto-plastic deformation and microstructure evolution. Energetic constitutive relations of the model are based on the system free energy which is calibrated with the help of a thermodynamic database. The model has been first applied to the classical core-shell (w\"ustite-iron) structure. Simulations show that the phase transformation from w\"ustite to alpha-iron can result in high stress and rapidly decelerating reaction kinetics. Mechanical stresses can contribute elastic energy to the system, making phase transformation difficult. Thus slow reaction kinetics and low metallization are observed. However, if the stress becomes comparatively high, it can shift the shape of the free energy from a double-well to a single-well case and speed up the transformation. The model has been further applied to simulate an actual iron oxide specimen with its complex microstructure, characterized by electron microscopy. The simulation results show that isolated pores in the microstructure are filled with water vapor during reduction, an effect which influences the local reaction atmosphere and dynamics.


title: Active Segregation Dynamics in the Living Cell

abstract: In this paper, we bring together our efforts in identifying and understanding nonequilibrium phase segregation driven by active processes in the living cell, with special focus on the segregation of cell membrane components driven by active contractile stresses arising from cortical actomyosin. This also has implications for active segregation dynamics in membraneless regions within the cytoplasm and nucleus (3d). We formulate an active version of the Flory-Huggins theory that incorporates a contribution from fluctuating active stresses. Apart from knitting together some of our past theoretical work in a comprehensive narrative, we highlight some new results, and establish a correspondence with recent studies on Active Model B/B+. We point to the many unusual aspects of the dynamics of active phase segregation, such as (i) anomalous growth dynamics, (ii) coarsening accompanied by propulsion and coalescence of domains that exhibit nonreciprocal effects, (iii) segregation into mesoscale domains, (iv) emergence of a nonequilibrium phase segregated steady state characterised by strong macroscopic fluctuations (fluctuation dominated phase ordering (FDPO)), and (v) mesoscale segregation even above the equilibrium Tc. Apart from its implications for actively driven segregation of binary fluids, these ideas are at the heart of an Active Emulsion description of the lateral organisation of molecules on the plasma membrane of living cells, whose full molecular elaboration appears elsewhere.


title: High Power Vacuum Ultraviolet Source Based on Gasdynamic ECR Plasma

abstract: We report experimental results of vacuum ultraviolet (VUV) emission from the plasma of an electron cyclotron resonance (ECR) discharge in hydrogen, sustained by powerful millimeter-wavelength radiation of a gyrotron. Distinctive features of the considered discharge are the high plasma density ($10^{13}$ cm$^{-3}$ order of magnitude) and, at the same time, the high electron average energy ($10 - 300$ eV), which makes it possible to significantly increase the efficiency of VUV re-emission of the energy deposited into the plasma by the microwave radiation. Experiments were performed with the plasma confined in a simple mirror trap and heated by pulsed gyrotron radiation $37.5$ GHz / $100$ kW under the ECR condition. The measured volumetric VUV emission power of Lyman-alpha line ($122 \pm 10$ nm) overlapping with the Werner band, Lyman band ($160 \pm 10$ nm), and molecular continuum ($180 \pm 20$ nm) reached $45$, $25$, and $55$ W/cm$^3$, respectively. The total absolute radiation power in these three ranges integrated over the plasma volume is estimated to be $22$ kW i.e. $22$% of the incident microwave power, which matches theoretical predictions. Further optimization of the conditions of the ECR hydrogen discharge sustained by powerful gyrotron radiation provides an opportunity for the development of effective technological VUV sources of a kilowatt power level.


title: $H$ dibaryon away from the $SU(3)_f$ symmetric point

abstract: We present the current status of our efforts in search of $H$ dibaryon on $N_f$=2+1 CLS ensembles away from the $SU(3)$ flavor symmetric point. Utilizing the distillation framework (also known as LapH) in its exact and stochastic forms, we calculate two-point correlation matrices using large bases of bi-local two-baryon interpolators to reliably determine the low-energy spectra. We report the low lying spectrum on several moving frames for multiple ensembles with different lattice spacing and physical volumes. The status of finite-volume analysis to extract the scattering amplitudes is also discussed.


title: Depth Without the Magic: Inductive Bias of Natural Gradient Descent

abstract: In gradient descent, changing how we parametrize the model can lead to drastically different optimization trajectories, giving rise to a surprising range of meaningful inductive biases: identifying sparse classifiers or reconstructing low-rank matrices without explicit regularization. This implicit regularization has been hypothesised to be a contributing factor to good generalization in deep learning. However, natural gradient descent is approximately invariant to reparameterization, it always follows the same trajectory and finds the same optimum. The question naturally arises: What happens if we eliminate the role of parameterization, which solution will be found, what new properties occur? We characterize the behaviour of natural gradient flow in deep linear networks for separable classification under logistic loss and deep matrix factorization. Some of our findings extend to nonlinear neural networks with sufficient but finite over-parametrization. We demonstrate that there exist learning problems where natural gradient descent fails to generalize, while gradient descent with the right architecture performs well.


title: Local integrals of motion detection of localization-protected topological order

abstract: Many-body-localized (MBL) phases can be topologically distinct, but distinguishing these phases using order parameters can be challenging. Here we show how topologically distinct local integrals of motion, variationally parametrized by quantum circuits, can be used to numerically demonstrate the topological inequivalence of MBL phases. We illustrate our approach on a fermionic chain where both topologically distinct MBL phases and benchmark comparisons to order parameters are possible. We also use our approach, augmented by the DMRG-X algorithm, to extract high-energy topological doublets. We describe applying our methods to higher dimensions to identify MBL topological order and topological multiplets hidden by the dense many-body spectrum.


title: Master-field simulations of QCD

abstract: We report on the first master-field simulations of QCD with 2+1 dynamical quark flavours using non-perturbatively improved stabilised Wilson fermions. Our simulations are performed at a lattice spacing of 0.094 fm with 96 and 192 points in each direction. On both lattices, the pion and kaon masses are equal to 270 and 450 MeV, respectively, and $m_\pi L$ thus reaches an unprecedented value of 25 on the larger lattice. This setup matches a single point on a chiral trajectory with fixed trace of the quark mass matrix and allows for comparisons to standard large-scale simulations. We present our algorithmic setup and performance measures, and report about our experience in thermalising large master-field lattices with fermions.


title: Spin-charge separation in a 1D Fermi gas with tunable interactions

abstract: Ultracold atoms confined to periodic potentials have proven to be a powerful tool for quantum simulation of complex many-body systems. We confine fermions to one-dimension to realize the Tomonaga-Luttinger liquid model describing the highly collective nature of their low-energy excitations. We use Bragg spectroscopy to directly excite either the spin or charge wave for various strength of repulsive interaction. We observe that the velocity of the spin and charge excitations shift in opposite directions with increasing interaction, a hallmark of spin-charge separation. The excitation spectra are in quantitative agreement with the Tomonaga-Luttinger liquid theory, and furthermore, we find that the spin excitations become dispersive at large interaction, signaling the onset of the nonlinear Luttinger liquid regime.


title: Lightweight Transformer Backbone for Medical Object Detection

abstract: Lesion detection in digital breast tomosynthesis (DBT) is an important and a challenging problem characterized by a low prevalence of images containing tumors. Due to the label scarcity problem, large deep learning models and computationally intensive algorithms are likely to fail when applied to this task. In this paper, we present a practical yet lightweight backbone to improve the accuracy of tumor detection. Specifically, we propose a novel modification of visual transformer (ViT) on image feature patches to connect the feature patches of a tumor with healthy backgrounds of breast images and form a more robust backbone for tumor detection. To the best of our knowledge, our model is the first work of Transformer backbone object detection for medical imaging. Our experiments show that this model can considerably improve the accuracy of lesion detection and reduce the amount of labeled data required in typical ViT. We further show that with additional augmented tumor data, our model significantly outperforms the Faster R-CNN model and state-of-the-art SWIN transformer model.


title: Camera Measurement of Physiological Vital Signs

abstract: The need for remote tools for healthcare monitoring has never been more apparent. Camera measurement of vital signs leverages imaging devices to compute physiological changes by analyzing images of the human body. Building on advances in optics, machine learning, computer vision and medicine these techniques have progressed significantly since the invention of digital cameras. This paper presents a comprehensive survey of camera measurement of physiological vital signs, describing they vital signs that can be measured and the computational techniques for doing so. I cover both clinical and non-clinical applications and the challenges that need to be overcome for these applications to advance from proofs-of-concept. Finally, I describe the current resources (datasets and code) available to the research community and provide a comprehensive webpage (https://cameravitals.github.io/) with links to these resource and a categorized list of all the papers referenced in this article.


title: Identification of vaccine effects when exposure status is unknown

abstract: Results from randomized controlled trials (RCTs) help determine vaccination strategies and related public health policies. However, defining and identifying estimands that can guide policies in infectious disease settings is difficult, even in an RCT. The effects of vaccination critically depend on characteristics of the population of interest, such as the prevalence of infection, the number of vaccinated, and social behaviors. To mitigate the dependence on such characteristics, estimands, and study designs, that require conditioning or intervening on exposure to the infectious agent have been advocated. But a fundamental problem for both RCTs and observational studies is that exposure status is often unavailable or difficult to measure, which has made it impossible to apply existing methodology to study vaccine effects that account for exposure status. In this work, we present new results on this type of vaccine effects. Under plausible conditions, we show that point identification of certain relative effects is possible even when the exposure status is unknown. Furthermore, we derive sharp bounds on the corresponding absolute effects. We apply these results to estimate the effects of the ChAdOx1 nCoV-19 vaccine on SARS-CoV-2 disease (COVID-19) conditional on post-vaccine exposure to the virus, using data from a large RCT.


title: Consecutive real quadratic fields with large class numbers

abstract: For a given positive integer $k$, we prove that there are at least $x^{1/2-o(1)}$ integers $d\leq x$ such that the real quadratic fields $\mathbb Q(\sqrt{d+1}),\dots,\mathbb Q(\sqrt{d+k})$ have class numbers essentially as large as possible.


title: Dynamic Regret for Strongly Adaptive Methods and Optimality of Online KRR

abstract: We consider the framework of non-stationary Online Convex Optimization where a learner seeks to control its dynamic regret against an arbitrary sequence of comparators. When the loss functions are strongly convex or exp-concave, we demonstrate that Strongly Adaptive (SA) algorithms can be viewed as a principled way of controlling dynamic regret in terms of path variation $V_T$ of the comparator sequence. Specifically, we show that SA algorithms enjoy $\tilde O(\sqrt{TV_T} \vee \log T)$ and $\tilde O(\sqrt{dTV_T} \vee d\log T)$ dynamic regret for strongly convex and exp-concave losses respectively without apriori knowledge of $V_T$. The versatility of the principled approach is further demonstrated by the novel results in the setting of learning against bounded linear predictors and online regression with Gaussian kernels. Under a related setting, the second component of the paper addresses an open question posed by Zhdanov and Kalnishkan (2010) that concerns online kernel regression with squared error losses. We derive a new lower bound on a certain penalized regret which establishes the near minimax optimality of online Kernel Ridge Regression (KRR). Our lower bound can be viewed as an RKHS extension to the lower bound derived in Vovk (2001) for online linear regression in finite dimensions.


title: Optimizing Pricing, Repositioning, En-Route Time, and Idle Time in Ride-Hailing Systems

abstract: In ride-hailing systems, en-route time refers to the time that elapses from the moment a car is dispatched to pick up a rider until the rider is picked up. A fundamental phenomenon in ride-hailing systems is that there is a trade-off between en-route time and the time that a car waits for a dispatch. In short, if cars spend little time idle waiting for a dispatch, then few cars are available when a rider makes a request, and thus the mean distance between a rider and the closest available car is long, which means that en-route time is long. This phenomenon is of great importance in ride-hailing, because en-route time increases rapidly as the number of idle cars decreases, and every minute that a car spends en-route is one minute less that the car can transport riders. In spite of this, the existing literature on price optimization for ride-hailing, and on repositioning optimization for ride-hailing, ignores en-route time. Initial attempts to take this trade-off for the mean en-route time into account when considering price optimization or repositioning optimization all resulted in intractable optimization problems. Then we found a way to reformulate a simultaneous price and repositioning optimization problem, that takes this trade-off for the distribution of en-route time into account, as a tractable convex optimization problem. We show how the optimal solution can be used to construct policies that perform much better in simulations than the policies proposed in previous papers.


title: Ultraviolet Spectropolarimetry with Polstar: Massive Star Binary Colliding Winds

abstract: As sources of chemical enrichment, ionizing radiation and energetic feedback, massive stars drive the ecology of their host galaxies despite their relative rarity, additionally to yielding compact remnants, which can generate gravitational waves. The evolution of massive stars is crucially informed by their detailed mass-loss history; however, wind structures on a variety of scales cause important uncertainties on their mass-loss rates. Binary systems can place further constraints on the mass-loss properties of massive stars, especially colliding-wind binaries. In this paper, we review how the proposed MIDEX-scale mission Polstar can critically constrain the physics of colliding winds (and hence radiatively-driven winds in general) with ultraviolet spectropolarimetric observations, providing an unprecedented improvement on the accuracy of the determination of both mass-loss rates and the velocity structure of the winds of massive stars. We propose a sample of 17 targets that will allow us to study a variety of wind-colliding systems spanning a large parameter space using the spatial information yielded by both spectroscopic and polarimetric data obtained with Polstar.


title: The canonical complex of the weak order

abstract: We define and study the canonical complex of a finite semidistributive lattice $L$. It is the simplicial complex on the join or meet irreducible elements of $L$ which encodes each interval of $L$ by recording the canonical join representation of its bottom element and the canonical meet representation of its top element. This complex behaves properly with respect to lattice quotients of $L$, in the sense that the canonical complex of a quotient of $L$ is the subcomplex of the canonical complex of $L$ induced by the join or meet irreducibles of $L$ uncontracted in the quotient. We then describe combinatorially the canonical complex of the weak order on permutations in terms of semi-crossing arc bidiagrams, formed by the superimposition of two non-crossing arc diagrams of N. Reading. We provide explicit direct bijections between the semi-crossing arc bidiagrams and the weak order interval posets of G. Ch\^atel, V. Pilaud and V. Pons. Finally, we provide an algorithm to describe the Kreweras maps in any lattice quotient of the weak order in terms of semi-crossing arc bidiagrams.


title: KML: Using Machine Learning to Improve Storage Systems

abstract: Operating systems include many heuristic algorithms designed to improve overall storage performance and throughput. Because such heuristics cannot work well for all conditions and workloads, system designers resorted to exposing numerous tunable parameters to users -- thus burdening users with continually optimizing their own storage systems and applications. Storage systems are usually responsible for most latency in I/O-heavy applications, so even a small latency improvement can be significant. Machine learning (ML) techniques promise to learn patterns, generalize from them, and enable optimal solutions that adapt to changing workloads. We propose that ML solutions become a first-class component in OSs and replace manual heuristics to optimize storage systems dynamically. In this paper, we describe our proposed ML architecture, called KML. We developed a prototype KML architecture and applied it to two case studies: optimizing readahead and NFS read-size values. Our experiments show that KML consumes less than 4KB of dynamic kernel memory, has a CPU overhead smaller than 0.2%, and yet can learn patterns and improve I/O throughput by as much as 2.3x and 15x for two case studies -- even for complex, never-seen-before, concurrently running mixed workloads on different storage devices.


title: SNAD Transient Miner: Finding Missed Transient Events in ZTF DR4 using k-D trees

abstract: We report the automatic detection of 11 transients (7 possible supernovae and 4 active galactic nuclei candidates) within the Zwicky Transient Facility fourth data release (ZTF DR4), all of them observed in 2018 and absent from public catalogs. Among these, three were not part of the ZTF alert stream. Our transient mining strategy employs 41 physically motivated features extracted from both real light curves and four simulated light curve models (SN Ia, SN II, TDE, SLSN-I). These features are input to a k-D tree algorithm, from which we calculate the 15 nearest neighbors. After pre-processing and selection cuts, our dataset contained approximately a million objects among which we visually inspected the 105 closest neighbors from seven of our brightest, most well-sampled simulations, comprising 89 unique ZTF DR4 sources. Our result illustrates the potential of coherently incorporating domain knowledge and automatic learning algorithms, which is one of the guiding principles directing the SNAD team. It also demonstrates that the ZTF DR is a suitable testing ground for data mining algorithms aiming to prepare for the next generation of astronomical data.


title: FLIX: A Simple and Communication-Efficient Alternative to Local Methods in Federated Learning

abstract: Federated Learning (FL) is an increasingly popular machine learning paradigm in which multiple nodes try to collaboratively learn under privacy, communication and multiple heterogeneity constraints. A persistent problem in federated learning is that it is not clear what the optimization objective should be: the standard average risk minimization of supervised learning is inadequate in handling several major constraints specific to federated learning, such as communication adaptivity and personalization control. We identify several key desiderata in frameworks for federated learning and introduce a new framework, FLIX, that takes into account the unique challenges brought by federated learning. FLIX has a standard finite-sum form, which enables practitioners to tap into the immense wealth of existing (potentially non-local) methods for distributed optimization. Through a smart initialization that does not require any communication, FLIX does not require the use of local steps but is still provably capable of performing dissimilarity regularization on par with local methods. We give several algorithms for solving the FLIX formulation efficiently under communication constraints. Finally, we corroborate our theoretical results with extensive experimentation.


title: Holy memristor

abstract: It was recently shown that when a drop of Glenlivet whiskey evaporates, it leaves behind a uniform deposit [PRL 116, 124501 (2016)]. We utilize this fascinating finding in the fabrication of electrochemical metallization memory (ECM) cells. The top (Ag) and bottom (Co) electrodes in our structure are separated by a layer of Glenlivet whiskey deposit (an insulator). Measurements show the device response is typical of ECM cells that involve threshold-type switching, pinched hysteresis loops, and a large difference between the high- and low-resistance states. The surface coating process used in our experiments simplifies the device fabrication and results in a biodegradable insulating layer, which may facilitate the recovery of recyclable materials at the end of the device's use.


title: Structure-based approach to identifying small sets of driver nodes in biological networks

abstract: In network control theory, driving all the nodes in the Feedback Vertex Set (FVS) forces the network into one of its attractors (long-term dynamic behaviors). The FVS is often composed of more nodes than can be realistically manipulated in a system; for example, only up to three nodes can be controlled in intracellular networks, while their FVS may contain more than 10 nodes. Thus, we developed an approach to rank subsets of the FVS on Boolean models of intracellular networks using topological, dynamics-independent measures. We investigated the use of seven topological prediction measures sorted into three categories -- centrality measures, propagation measures, and cycle-based measures. Using each measure every subset was ranked and then evaluated against two dynamics-based metrics that measure the ability of interventions to drive the system towards or away from its attractors: To Control and Away Control. After examining an array of biological networks, we found that the FVS subsets that ranked in the top according to the propagation metrics can most effectively control the network. This result was independently corroborated on a second array of different Boolean models of biological networks. Consequently, overriding the entire FVS is not required to drive a biological network to one of its attractors, and this method provides a way to reliably identify effective FVS subsets without knowledge of the network's dynamics.


title: A Non-Newtonian Noether's Symmetry Theorem

abstract: The universal principle obtained by Emmy Noether in 1918, asserts that the invariance of a variational problem with respect to a one-parameter family of symmetry transformations implies the existence of a conserved quantity along the Euler-Lagrange extremals. Here we prove Noether's theorem for the recent non-Newtonian calculus of variations. The proof is based on a new necessary optimality condition of DuBois-Reymond type.


title: Controlling non-controllable scallops

abstract: Any swimmer embedded on a inertialess fluid must perform a non-reciprocal motion to swim forward. The archetypal demonstration of this unique motion-constraint was introduced by Purcell with the so-called "scallop theorem". Scallop here is a minimal mathematical model of a swimmer composed by two arms connected via a hinge whose periodic motion (of opening and closing its arms) is not sufficient to achieve net displacement. Any source of incongruence on the motion or in the forces/torques experienced by such time-reversible scallop will break the symmetry imposed by the Stokes linearity and lead to subsequent propulsion of the scallop. However, little is known about the controllability of time-reversible scalloping systems. Here, we consider two individually non-controllable scallops swimming together. Under a suitable geometric assumption on the configuration of the system, it is proved that non-zero net displacement can be achieved as a consequence of their hydrodynamic interaction. A detailed analysis of the control system of equations is carried out analytically by means of geometric control theory. We obtain an analytic expression for the the displacement after a prescribed sequence of controls in function of the phase difference of the two scallops. Numerical validation of the theoretical results is presented with model predictions in further agreement with the literature.


title: Strategies for the Iterated Prisoner's Dilemma

abstract: We explore some strategies which tend to perform well in the IPD. We start off by showing the significance of Tit-For-Tat strategies in evolutionary game theory. This is followed by a theoretical derivation of zero-determinant strategies, where we highlight an error on bounds for scale parameters from the original paper on ZD strategies[6]. We then present examples of such strategies and create a custom player drawing inspiration from Markov Decision Processes. At the end we pit them all against each other and see how they perform in an IPD tournament.


title: Reliable Actors with Retry Orchestration

abstract: Cloud developers have to build applications that are resilient to failures and interruptions. We advocate for a fault-tolerant programming model for the cloud based on actors, retry orchestration, and tail calls. This model builds upon persistent data stores and messages queues readily available on the cloud. Retry orchestration not only guarantees that (1) failed actor invocations will be retried but also that (2) completed invocations are never repeated and (3) it preserves a strict happen-before relationship across failures within call stacks. Tail calls can break complex tasks into simple steps to minimize re-execution during recovery. We review key application patterns and failure scenarios. We formalize a process calculus to precisely capture the mechanisms of fault tolerance in this model. We briefly describe our implementation. Using an application inspired by a typical enterprise scenario, we validate the functional correctness of our implementation and assess the impact of fault preparedness and recovery on performance.


title: Multivariable de Rham representations, Sen theory and $p$-adic differential equations

abstract: Let $K$ be a complete valued field extension of $\mathbf{Q}_p$ with perfect residue field. We consider $p$-adic representations of a finite product $G_{K,\Delta}=G_K^\Delta$ of the absolute Galois group $G_K$ of $K$. This product appears as the fundamental group of a product of diamonds. We develop the corresponding $p$-adic Hodge theory by constructing analogues of the classical period rings $\mathsf{B}_{\rm dR}$ and $\mathsf{B}_{\rm HT}$, and multivariable Sen theory. In particular, we associate to any $p$-adic representation $V$ of $G_{K,\Delta}$ an integrable $p$-adic differential system in several variables $\mathsf{D}_{\rm dif}(V)$. We prove that this system is trivial if and only if the representation $V$ is de Rham. Finally, we relate this differential system to the multivariable overconvergent $(\varphi,\Gamma)$-module of $V$ constructed by Pal and Z\'abr\'adi, along classical Berger's construction.


title: Ensemble spin relaxation of shallow donor qubits in ZnO

abstract: We present an experimental and theoretical study of the longitudinal electron spin relaxation ($T_1$) of shallow donors in the direct band-gap semiconductor ZnO. $T_1$ is measured via resonant excitation of the Ga donor-bound exciton. $T_1$ exhibits an inverse-power dependence on magnetic field $T_1\propto B^{-n}$, with $4\leq n\leq 5$, over a field range of 1.75 T to 7 T. We derive an analytic expression for the donor spin-relaxation rate due to spin-orbit (admixture mechanism) and electron-phonon (piezoelectric) coupling for the wurtzite crystal symmetry. Excellent quantitative agreement is found between experiment and theory suggesting the admixture spin-orbit mechanism is the dominant contribution to $T_1$ in the measured magnetic field range. Temperature and excitation-energy dependent measurements indicate a donor density dependent interaction may contribute to small deviations between experiment and theory. The longest $T_1$ measured is 480 ms at 1.75 T with increasing $T_1$ at smaller fields theoretically expected. This work highlights the extremely long longitudinal spin-relaxation time for ZnO donors due to their small spin-orbit coupling.


title: Photon statistics of the light transmitted and reflected by a two-dimensional atomic array

abstract: This work proposes to investigate the photon statistics of the light transmitted and reflected by a two-dimensional array of interacting atoms. The reflected beam is characterized by photon antibunching. On the other hand, in the transmitted beam the indistinguishability between the driving laser photons and the photons re-emitted by the atoms results in photon bunching. The overlap between the driving and scattered fields is enhanced by the cooperative optical response of the atomic array. In the examples used in this paper, up to 25\% of the transmitted photons are grouped in pairs. The simulations are carried out using the stochastic method of quantum trajectories.


title: Combining chains of Bayesian models with Markov melding

abstract: A challenge for practitioners of Bayesian inference is specifying a model that incorporates multiple relevant, heterogeneous data sets. It may be easier to instead specify distinct submodels for each source of data, then join the submodels together. We consider chains of submodels, where submodels directly relate to their neighbours via common quantities which may be parameters or deterministic functions thereof. We propose chained Markov melding, an extension of Markov melding, a generic method to combine chains of submodels into a joint model. One challenge we address is appropriately capturing the prior dependence between common quantities within a submodel, whilst also reconciling differences in priors for the same common quantity between two adjacent submodels. Estimating the posterior of the resulting overall joint model is also challenging, so we describe a sampler that uses the chain structure to incorporate information contained in the submodels in multiple stages, possibly in parallel. We demonstrate our methodology using two examples. The first example considers an ecological integrated population model, where multiple data sets are required to accurately estimate population immigration and reproduction rates. We also consider a joint longitudinal and time-to-event model with uncertain, submodel-derived event times. Chained Markov melding is a conceptually appealing approach to integrating submodels in these settings.


title: ATLANTIS: A Benchmark for Semantic Segmentation of Waterbody Images

abstract: Vision-based semantic segmentation of waterbodies and nearby related objects provides important information for managing water resources and handling flooding emergency. However, the lack of large-scale labeled training and testing datasets for water-related categories prevents researchers from studying water-related issues in the computer vision field. To tackle this problem, we present ATLANTIS, a new benchmark for semantic segmentation of waterbodies and related objects. ATLANTIS consists of 5,195 images of waterbodies, as well as high quality pixel-level manual annotations of 56 classes of objects, including 17 classes of man-made objects, 18 classes of natural objects and 21 general classes. We analyze ATLANTIS in detail and evaluate several state-of-the-art semantic segmentation networks on our benchmark. In addition, a novel deep neural network, AQUANet, is developed for waterbody semantic segmentation by processing the aquatic and non-aquatic regions in two different paths. AQUANet also incorporates low-level feature modulation and cross-path modulation for enhancing feature representation. Experimental results show that the proposed AQUANet outperforms other state-of-the-art semantic segmentation networks on ATLANTIS. We claim that ATLANTIS is the largest waterbody image dataset for semantic segmentation providing a wide range of water and water-related classes and it will benefit researchers of both computer vision and water resources engineering.


title: Finite solvable groups with a rational skew-field of noncommutative real rational invariants

abstract: We consider the Noether's problem on the noncommutative real rational functions invariant under the linear action of a finite group. For abelian groups the invariant skew-fields are always rational. We show that for a solvable group the invariant skew-field is finitely generated. The skew-field invariant under a linear action of a solvable group is rational if the action is well-behaved -- given by a so-called complete representation. We determine the groups that admit such representations and call them totally psuedo-unramified. In the second part we study the reach of totally psuedo-unramified groups and classify totally pseudo-unramified p-groups of rank at most 5.


title: Fourier Transformable Measures with Meyer set support and their lift to the cut and project scheme

abstract: In this paper, we prove that given a cut-and-project scheme $(G, H, \mathcal{L})$ and a compact window $W \subseteq H$, the natural projection gives a bijection between the Fourier transformable measures on $G \times H$ supported inside the strip $\cL \cap (G \times W)$ and the Fourier transformable measures supported inside $\oplam(W)$, and relate their Fourier transforms. We use this formula to relate the Fourier transforms of the measures, and explain how one can use this relation to re-derive some known results about Fourier analysis of measures with Meyer set support.


title: Generalized unitarity method for unstable particles

abstract: In theories with unstable particles, unitarity is satisfied by the inclusion of only stable states in unitarity sums. Hence unitarity cuts are not to be taken through unstable particles. This raises a challenge to the generalized unitarity method, whose aim is to reconstruct amplitudes by analyzing sets of unitarity cuts. Nevertheless, under some general physical conditions, and perhaps some methodological modifications, we prove that the method is still reliable for one-loop amplitudes containing resonances. We discuss some simple examples which illustrate these features.