title: VS-Quant: Per-vector Scaled Quantization for Accurate Low-Precision Neural Network Inference

abstract: Quantization enables efficient acceleration of deep neural networks by reducing model memory footprint and exploiting low-cost integer math hardware units. Quantization maps floating-point weights and activations in a trained model to low-bitwidth integer values using scale factors. Excessive quantization, reducing precision too aggressively, results in accuracy degradation. When scale factors are shared at a coarse granularity across many dimensions of each tensor, effective precision of individual elements within the tensor are limited. To reduce quantization-related accuracy loss, we propose using a separate scale factor for each small vector of ($\approx$16-64) elements within a single dimension of a tensor. To achieve an efficient hardware implementation, the per-vector scale factors can be implemented with low-bitwidth integers when calibrated using a two-level quantization scheme. We find that per-vector scaling consistently achieves better inference accuracy at low precision compared to conventional scaling techniques for popular neural networks without requiring retraining. We also modify a deep learning accelerator hardware design to study the area and energy overheads of per-vector scaling support. Our evaluation demonstrates that per-vector scaled quantization with 4-bit weights and activations achieves 37% area saving and 24% energy saving while maintaining over 75% accuracy for ResNet50 on ImageNet. 4-bit weights and 8-bit activations achieve near-full-precision accuracy for both BERT-base and BERT-large on SQuAD while reducing area by 26% compared to an 8-bit baseline.


title: Mysterious, Variable, and Extremely Hot: White Dwarfs Showing Ultra-High Excitation Lines I. Photometric Variability

abstract: About 10% of all stars exhibit absorption lines of ultra-high excited (UHE) metals (e.g. OVIII) in their optical spectra when entering the white dwarf cooling sequence. The recent discovery of a both spectroscopic and photometric variable UHE white dwarf led to the speculation that the UHE lines might be created in a shock-heated circumstellar magnetosphere. We investigate (multi-band) light curves from several ground- and space-based surveys of all 16 currently known UHE white dwarfs (including one newly discovered) and eight white dwarfs that show only the HeII line problem, as both phenomena are believed to be connected. We find that $75^{+8}_{-13}$% of the UHE white dwarfs, and $75^{+9}_{-19}$% of the HeII line problem white dwarfs are significantly photometrically variable, with periods ranging from 0.22d to 2.93d and amplitudes from a few tenth to a few hundredth mag. The high variability rate is in stark contrast to the variability rate amongst normal hot white dwarfs (we find $9^{+4}_{-2}$%), marking UHE and HeII line problem white dwarfs as a new class of variable stars. The period distribution of our sample agrees with both the orbital period distribution of post-common envelope binaries and the rotational period distribution of magnetic white dwarfs if we assume that the objects in our sample will spin-up as a consequence of further contraction. The lack of increasing photometric amplitudes towards longer wavelengths, as well as the non-detection of optical emission lines arising from the highly irradiated face of a hypothetical secondary in the optical spectra of our stars, makes it seem unlikely that an irradiated late type companion is the origin of the photometric variability. Instead, we believe that spots on the surfaces of these stars and/or geometrical effects of circumstellar material might be responsible. (abridged)


title: A note on Fokker-Planck equations and graphons

abstract: Fokker-Planck equations represent a suitable description of the finite-time behavior for a large class of particle systems as the size of the population tends to infinity. Recently, the theory of graph limits has been introduced in the classical mean-field framework to account for heterogeneous interactions among particles. In many instances, such network heterogeneity is preserved in the limit which turns from being a single Fokker-Planck equation (also known as McKean-Vlasov) to an infinite system of non-linear partial differential equations (PDE) coupled by means of a graphon. While appealing from an applied viewpoint, few rigorous results exist on the graphon particle system. This note addresses such limit system focusing on the relation between interaction network and initial conditions: if the system initial datum and the graphon degrees satisfy a suitable condition, a significantly simpler representation of the solution is available. Interesting conclusions can be drawn from this result: substantially different graphons can give rise to exactly the same particle behavior, e.g., if the initial condition is independent of the graphon, the particle behavior is indistinguishable from the well-known mean-field limit as long as the graphon has constant degree; step-kernels, a building block of graph limit theory, can be used to approximate the graphon particle system with a finite system of Fokker-Planck equations and an explicit rate of convergence.


title: A Hybrid Task-Oriented Dialog System with Domain and Task Adaptive Pretraining

abstract: This paper describes our submission for the End-to-end Multi-domain Task Completion Dialog shared task at the 9th Dialog System Technology Challenge (DSTC-9). Participants in the shared task build an end-to-end task completion dialog system which is evaluated by human evaluation and a user simulator based automatic evaluation. Different from traditional pipelined approaches where modules are optimized individually and suffer from cascading failure, we propose an end-to-end dialog system that 1) uses Generative Pretraining 2 (GPT-2) as the backbone to jointly solve Natural Language Understanding, Dialog State Tracking, and Natural Language Generation tasks, 2) adopts Domain and Task Adaptive Pretraining to tailor GPT-2 to the dialog domain before finetuning, 3) utilizes heuristic pre/post-processing rules that greatly simplify the prediction tasks and improve generalizability, and 4) equips a fault tolerance module to correct errors and inappropriate responses. Our proposed method significantly outperforms baselines and ties for first place in the official evaluation. We make our source code publicly available.


title: High-Frequency radar measurements with CODARs in the region of Nice: improved calibration and performance

abstract: We report on the installation and first results of one compact oceanographic radar in the region of Nice for a long-term observation of the coastal surface currents in the North-West Mediterranean Sea. We describe the specific processing and calibration techniques which were developed at the laboratory to produce high-quality radial surface current maps. In particular, we propose an original self-calibration technique of the antenna patterns, which is based on the sole analysis of the databasis and does not require any shipborne transponder or other external transmitters. The relevance of the self-calibration technique and the accuracy of inverted surface currents have been assessed with the launch of 40 drifters that remained under the radar coverage for about 10 days.


title: Physical and unphysical regimes of self-consistent many-body perturbation theory

abstract: In the standard framework of self-consistent many-body perturbation theory, the skeleton series for the self-energy is truncated at a finite order $\mathcal{N}$ and plugged into the Dyson equation, which is then solved for the propagator $G_{\mathcal{N}}\,$. We consider two examples of fermionic models, the Hubbard atom at half filling and its zero space-time dimensional simplified version. First, we show that $G_{\mathcal{N}}\,$ converges when $\mathcal{N}\to\infty$ to a limit $G_\infty\,$, which coincides with the exact physical propagator $G_{\rm exact}\ $ at small enough coupling, while $G_\infty \neq G_{\rm exact}\ $ at strong coupling. This follows from the findings of [Kozik, Ferrero and Georges, PRL 114, 156402 (2015)] and an additional subtle mathematical mechanism elucidated here. Second, we demonstrate that it is possible to discriminate between the $G_\infty=G_{\rm exact}\ $ and $G_\infty\neq G_{\rm exact}\ $ regimes thanks to a criterion which does not require the knowledge of $G_{\rm exact}\ $, as proposed in [Rossi et al., PRB 93, 161102(R) (2016)].


title: Oops I Took A Gradient: Scalable Sampling for Discrete Distributions

abstract: We propose a general and scalable approximate sampling strategy for probabilistic models with discrete variables. Our approach uses gradients of the likelihood function with respect to its discrete inputs to propose updates in a Metropolis-Hastings sampler. We show empirically that this approach outperforms generic samplers in a number of difficult settings including Ising models, Potts models, restricted Boltzmann machines, and factorial hidden Markov models. We also demonstrate the use of our improved sampler for training deep energy-based models on high dimensional discrete data. This approach outperforms variational auto-encoders and existing energy-based models. Finally, we give bounds showing that our approach is near-optimal in the class of samplers which propose local updates.


title: Anomalous sound attenuation in Weyl semimetals in magnetic and pseudomagnetic fields

abstract: We evaluate the sound attenuation in a Weyl semimetal subject to a magnetic field or a pseudomagnetic field associated with a strain. Due to the interplay of intra- and inter-node scattering processes as well as screening, the fields generically reduce the sound absorption. A nontrivial dependence on the relative direction of the magnetic field and the sound wave vector, i.e., the magnetic sound dichroism, can occur in materials with nonsymmetric Weyl nodes (e.g., different Fermi velocities and/or relaxation times). It is found that the sound dichroism in Weyl materials can also be activated by an external strain-induced pseudomagnetic field. In view of the dependence on the field direction, the dichroism may lead to a weak enhancement of the sound attenuation compared with its value at vanishing fields.


title: Detection of a bolide in Jupiter's atmosphere with Juno UVS

abstract: The UVS instrument on the Juno mission recorded transient bright emission from a point source in Jupiter's atmosphere. The spectrum shows that the emission is consistent with a 9600-K blackbody located 225 km above the 1-bar level and the duration of the emission was between 17 ms and 150 s. These characteristics are consistent with a bolide in Jupiter's atmosphere. Based on the energy emitted, we estimate that the impactor had a mass of 250-5000 kg, which corresponds to a diameter of 1-4 m. By considering all observations made with Juno UVS over the first 27 perijoves of the mission, we estimate an impact flux rate of 24,000 per year for impactors with masses greater than 250-5000 kg.


title: Paper card-based vs application-based vaccine credentials: a comparison

abstract: In this early draft, we provide an overview on similarities and differences in the implementation of a paper card-based vaccine credential system and an app-based vaccine credential system. A vaccine credential's primary goal is to regulate entry and ensure safety of individuals within densely packed public locations and workspaces. This is critical for containing the rapid spread of Covid-19 in densely packed public locations since a single individual can infect a large majority of people in a crowd. A vaccine credential can also provide information such as an individual's Covid-19 vaccination history and adverse symptom reaction history to judge their potential impact on the overall health of individuals within densely packed public locations and workspaces. After completing the comparisons, we believe a card-based implementation will benefit regions with less socioeconomic mobility, limited resources, and stagnant administrations. An app-based implementation on the other hand will benefit regions with equitable internet access and lower technological divide. We also believe an interoperable system of both credential systems will work best for regions with enormous working-class populations and dense housing clusters.


title: Cryptographic multilinear maps using pro-p groups

abstract: To any nilpotent group of class n, one can associate a non-interactive key exchange protocol between n+1 users. The multilinear commutator maps associated to nilpotent groups play a key role in this protocol. In the present paper, we discuss the security of this key exchange when applied to finite p-groups and explore some alternative platforms, such as pro-p groups.


title: Complementary cycles of any length in regular bipartite tournaments

abstract: Let $D$ be a $k$-regular bipartite tournament on $n$ vertices. We show that, for every $p$ with $2 \le p \le n/2-2$, $D$ has a cycle $C$ of length $2p$ such that $D \setminus C$ is hamiltonian unless $D$ is isomorphic to the special digraph $F_{4k}$. This statement was conjectured by Manoussakis, Song and Zhang [K. Zhang, Y. Manoussakis, and Z. Song. Complementary cycles containing a fixed arc in diregular bipartite tournaments. Discrete Mathematics, 133(1-3):325--328,1994]. In the same paper, the conjecture was proved for $p=2$ and more recently Bai, Li and He gave a proof for $p=3$ [Y. Bai, H. Li, and W. He. Complementary cycles in regular bipartite tournaments. Discrete Mathematics, 333:14--27, 2014].


title: Leaf Image-based Plant Disease Identification using Color and Texture Features

abstract: Identification of plant disease is usually done through visual inspection or during laboratory examination which causes delays resulting in yield loss by the time identification is complete. On the other hand, complex deep learning models perform the task with reasonable performance but due to their large size and high computational requirements, they are not suited to mobile and handheld devices. Our proposed approach contributes automated identification of plant diseases which follows a sequence of steps involving pre-processing, segmentation of diseased leaf area, calculation of features based on the Gray-Level Co-occurrence Matrix (GLCM), feature selection and classification. In this study, six color features and twenty-two texture features have been calculated. Support vector machines is used to perform one-vs-one classification of plant disease. The proposed model of disease identification provides an accuracy of 98.79% with a standard deviation of 0.57 on 10-fold cross-validation. The accuracy on a self-collected dataset is 82.47% for disease identification and 91.40% for healthy and diseased classification. The reported performance measures are better or comparable to the existing approaches and highest among the feature-based methods, presenting it as the most suitable method to automated leaf-based plant disease identification. This prototype system can be extended by adding more disease categories or targeting specific crop or disease categories.


title: A homogeneous comparison between the chemical composition of the Large Magellanic Cloud and the Sagittarius dwarf galaxy

abstract: Similarities in the chemical composition of two of the closest Milky Way satellites, namely the Large Magellanic Cloud (LMC) and the Sagittarius (Sgr) dwarf galaxy, have been proposed in the literature, suggesting similar chemical enrichment histories between the two galaxies. This proposition, however, rests on different abundance analyses, which likely introduce various systematics that hamper a fair comparison among the different data sets. In order to bypass this issue (and highlight real similarities and differences between their abundance patterns), we present a homogeneous chemical analysis of 30 giant stars in LMC, 14 giant stars in Sgr and 14 giants in the Milky Way, based on high-resolution spectra taken with the spectrograph UVES-FLAMES. The LMC and Sgr stars, in the considered metallicity range ([Fe/H]>-1.1 dex), show very similar abundance ratios for almost all the elements, with differences only in the heavy s-process elements Ba, La and Nd, suggesting a different contribution by asymptotic giant branch stars. On the other hand, the two galaxies have chemical patterns clearly different from those measured in the Galactic stars, especially for the elements produced by massive stars. This finding suggests the massive stars contributed less to the chemical enrichment of these galaxies with respect to the Milky Way. The derived abundances support similar chemical enrichment histories for the LMC and Sgr.


title: Power Off! Challenges in Planning and Executing Power Isolations on Shared-Use Electrified Railways

abstract: Electric railways are fast, clean, and safe, but complex to operate and maintain. Electric traction infrastructure includes signal power and feeder lines that remain live during isolations and complicate maintenance processes. Stakeholders involved in power outage planning include contractors, linemen, groundmen, power directors, dispatchers, conductor-flag, and support personnel. Weekly planning processes for track time requires many contingencies due to large number of moving parts and factors not known in advance, like personnel availability. Electrical and mechanical environments faced by crews working in adjacent areas may be entirely different and require a "bespoke" circuit configuration to de-energize catenary, which must be planned meticulously. Although recent automation improved real-time "plate order" communications between power directors and dispatchers, each outage still requires many manual switching operations. Net impact of this isolation process reduces available construction work windows nightly from a nominal 7 hours to 2 hrs 39 mins. We recommend joint design of electrical and civil infrastructure, cross-training between disciplines, limiting maximum number of concurrent outages, formal study of maintenance outage capacity, and further automation in power switching.


title: A* Search Without Expansions: Learning Heuristic Functions with Deep Q-Networks

abstract: Efficiently solving problems with large action spaces using A* search has been of importance to the artificial intelligence community for decades. This is because the computation and memory requirements of A* search grow linearly with the size of the action space. This burden becomes even more apparent when A* search uses a heuristic function learned by computationally expensive function approximators, such as deep neural networks. To address this problem, we introduce Q* search, a search algorithm that uses deep Q-networks to guide search in order to take advantage of the fact that the sum of the transition costs and heuristic values of the children of a node can be computed with a single forward pass through a deep Q-network without explicitly generating those children. This significantly reduces computation time and requires only one node to be generated per iteration. We use Q* search to solve the Rubik's cube when formulated with a large action space that includes 1872 meta-actions and find that this 157-fold increase in the size of the action space incurs less than a 4-fold increase in computation time and less than a 3-fold increase in number of nodes generated when performing Q* search. Furthermore, Q* search is up to 129 times faster and generates up to 1288 times fewer nodes than A* search. Finally, although obtaining admissible heuristic functions from deep neural networks is an ongoing area of research, we prove that Q* search is guaranteed to find a shortest path given a heuristic function that neither overestimates the cost of a shortest path nor underestimates the transition cost.


title: Semiquantitative Group Testing in at Most Two Rounds

abstract: Semiquantitative group testing (SQGT) is a pooling method in which the test outcomes represent bounded intervals for the number of defectives. Alternatively, it may be viewed as an adder channel with quantized outputs. SQGT represents a natural choice for Covid-19 group testing as it allows for a straightforward interpretation of the cycle threshold values produced by polymerase chain reactions (PCR). Prior work on SQGT did not address the need for adaptive testing with a small number of rounds as required in practice. We propose conceptually simple methods for 2-round and nonadaptive SQGT that significantly improve upon existing schemes by using ideas on nonbinary measurement matrices based on expander graphs and list-disjunct matrices.


title: 28 -- 40 GHz variability and polarimetry of bright compact sources in the QUIJOTE cosmological fields

abstract: We observed 51 sources in the Q-U-I JOint TEnerife (QUIJOTE) cosmological fields which were brighter than 1 Jy at 30 GHz in the Planck Point Source Catalogue (version 1), with the Very Large Array at 28 -- 40 GHz, in order to characterise their high-radio-frequency variability and polarization properties. We find a roughly log-normal distribution of polarization fractions with a median of 2%, in agreement with previous studies, and a median rotation measure (RM) of $\approx$ 1110 rad m$^{-2}$ with one outlier up to $\approx$ 64000 rad m$^{-2}$ which is among the highest RMs measured in quasar cores. We find hints of a correlation between the total intensity flux density and median polarization fraction. We find 59% of sources are variable in total intensity, and 100% in polarization at $3\sigma$ level, with no apparent correlation between total intensity variability and polarization variability. This indicates that it will be difficult to model these sources without simultaneous polarimetric monitoring observations and they will need to be masked for cosmological analysis.


title: A study of text representations in Hate Speech Detection

abstract: The pervasiveness of the Internet and social media have enabled the rapid and anonymous spread of Hate Speech content on microblogging platforms such as Twitter. Current EU and US legislation against hateful language, in conjunction with the large amount of data produced in these platforms has led to automatic tools being a necessary component of the Hate Speech detection task and pipeline. In this study, we examine the performance of several, diverse text representation techniques paired with multiple classification algorithms, on the automatic Hate Speech detection and abusive language discrimination task. We perform an experimental evaluation on binary and multiclass datasets, paired with significance testing. Our results show that simple hate-keyword frequency features (BoW) work best, followed by pre-trained word embeddings (GLoVe) as well as N-gram graphs (NGGs): a graph-based representation which proved to produce efficient, very low-dimensional but rich features for this task. A combination of these representations paired with Logistic Regression or 3-layer neural network classifiers achieved the best detection performance, in terms of micro and macro F-measure.


title: A note on 3-subgroups in the space Cremona group

abstract: We prove that a finite $3$-group in the Cremona group $\mathrm{Cr}_3(\mathbb{C})$ can be generated by at most $4$ elements. This provides the last missing piece in bounding the ranks of finite $p$-subgroups in the space Cremona group.


title: Multi-Objective Learning to Predict Pareto Fronts Using Hypervolume Maximization

abstract: Real-world problems are often multi-objective with decision-makers unable to specify a priori which trade-off between the conflicting objectives is preferable. Intuitively, building machine learning solutions in such cases would entail providing multiple predictions that span and uniformly cover the Pareto front of all optimal trade-off solutions. We propose a novel approach for multi-objective training of neural networks to approximate the Pareto front during inference. In our approach, the neural networks are trained multi-objectively using a dynamic loss function, wherein each network's losses (corresponding to multiple objectives) are weighted by their hypervolume maximizing gradients. We discuss and illustrate why training processes to approximate Pareto fronts need to optimize on fronts of individual training samples instead of on only the front of average losses. Experiments on three multi-objective problems show that our approach returns outputs that are well-spread across different trade-offs on the approximated Pareto front without requiring the trade-off vectors to be specified a priori. Further, results of comparisons with the state-of-the-art approaches highlight the added value of our proposed approach, especially in asymmetric Pareto fronts.


title: Observation of a new excited beauty strange baryon decaying to $\Xi^-_\mathrm{b} \pi^+ \pi^-$

abstract: The $\Xi^-_\mathrm{b} \pi^+ \pi^-$ invariant mass spectrum is investigated with an event sample of proton-proton collisions at $\sqrt{s} = $ 13 TeV, collected by the CMS experiment at the LHC in 2016-2018 and corresponding to an integrated luminosity of 140 fb$^{-1}$. The ground state $\Xi^-_\mathrm{b}$ is reconstructed via its decays to J$/\psi$ $\Xi^-$ and J$/\psi$ $\Xi^-$ $\Lambda$ K$^-$. A narrow resonance, labeled $\Xi_\mathrm{b}$(6100)$^-$, is observed at a $\Xi^-_\mathrm{b} \pi^+ \pi^-$ invariant mass of 6100.3 $\pm$ 0.2 (stat) $\pm$ 0.1 (syst) $\pm$ 0.6 ($\Xi^-_\mathrm{b}$) MeV, where the last uncertainty reflects the precision of the $\Xi^-_\mathrm{b}$ baryon mass. The upper limit on the $\Xi_\mathrm{b}$(6100)$^-$ natural width is determined to be 1.9 MeV at 95% confidence level. Following analogies with the established excited $\Xi_\mathrm{c}$ baryon states, the new $\Xi_\mathrm{b}$(6100)$^-$ resonance and its decay sequence are consistent with the orbitally excited $\Xi^-_\mathrm{b}$ baryon, with spin and parity quantum numbers $J^P$ $=$ 3/2$^-$.


title: Unified Focal loss: Generalising Dice and cross entropy-based losses to handle class imbalanced medical image segmentation

abstract: Automatic segmentation methods are an important advancement in medical image analysis. Machine learning techniques, and deep neural networks in particular, are the state-of-the-art for most medical image segmentation tasks. Issues with class imbalance pose a significant challenge in medical datasets, with lesions often occupying a considerably smaller volume relative to the background. Loss functions used in the training of deep learning algorithms differ in their robustness to class imbalance, with direct consequences for model convergence. The most commonly used loss functions for segmentation are based on either the cross entropy loss, Dice loss or a combination of the two. We propose the Unified Focal loss, a new hierarchical framework that generalises Dice and cross entropy-based losses for handling class imbalance. We evaluate our proposed loss function on five publicly available, class imbalanced medical imaging datasets: CVC-ClinicDB, Digital Retinal Images for Vessel Extraction (DRIVE), Breast Ultrasound 2017 (BUS2017), Brain Tumour Segmentation 2020 (BraTS20) and Kidney Tumour Segmentation 2019 (KiTS19). We compare our loss function performance against six Dice or cross entropy-based loss functions, across 2D binary, 3D binary and 3D multiclass segmentation tasks, demonstrating that our proposed loss function is robust to class imbalance and consistently outperforms the other loss functions. Source code is available at: https://github.com/mlyg/unified-focal-loss


title: Data-Driven Inference of High-Accuracy Isostable-Based Dynamical Models in Response to External Inputs

abstract: Isostable reduction is a powerful technique that can be used to characterize behaviors of nonlinear dynamical systems in a basis of slowly decaying eigenfunctions of the Koopman operator. When the underlying dynamical equations are known, previously developed numerical techniques allow for high-order accuracy computation of isostable reduced models. However, in situations where the dynamical equations are unknown, few general techniques are available that provide reliable estimates of the isostable reduced equations, especially in applications where large magnitude inputs are considered. In this work, a purely data-driven inference strategy yielding high-accuracy isostable reduced models is developed for dynamical systems with a fixed point attractor. By analyzing steady state outputs of nonlinear systems in response to sinusoidal forcing, both isostable response functions and isostable-to-output relationships can be estimated to arbitrary accuracy in an expansion performed in the isostable coordinates. Detailed examples are considered for a population of synaptically coupled neurons and for the one-dimensional Burgers' equation. While linear estimates of the isostable response functions are sufficient to characterize the dynamical behavior when small magnitude inputs are considered, the high-accuracy reduced order model inference strategy proposed here is essential when considering large magnitude inputs.


title: Playing the Blame Game with Robots

abstract: Recent research shows -- somewhat astonishingly -- that people are willing to ascribe moral blame to AI-driven systems when they cause harm [1]-[4]. In this paper, we explore the moral-psychological underpinnings of these findings. Our hypothesis was that the reason why people ascribe moral blame to AI systems is that they consider them capable of entertaining inculpating mental states (what is called mens rea in the law). To explore this hypothesis, we created a scenario in which an AI system runs a risk of poisoning people by using a novel type of fertilizer. Manipulating the computational (or quasi-cognitive) abilities of the AI system in a between-subjects design, we tested whether people's willingness to ascribe knowledge of a substantial risk of harm (i.e., recklessness) and blame to the AI system. Furthermore, we investigated whether the ascription of recklessness and blame to the AI system would influence the perceived blameworthiness of the system's user (or owner). In an experiment with 347 participants, we found (i) that people are willing to ascribe blame to AI systems in contexts of recklessness, (ii) that blame ascriptions depend strongly on the willingness to attribute recklessness and (iii) that the latter, in turn, depends on the perceived "cognitive" capacities of the system. Furthermore, our results suggest (iv) that the higher the computational sophistication of the AI system, the more blame is shifted from the human user to the AI system.


title: Deterministic Sampling on the Circle using Projected Cumulative Distributions

abstract: We propose a method for deterministic sampling of arbitrary continuous angular density functions. With deterministic sampling, good estimation results can typically be achieved with much smaller numbers of samples compared to the commonly used random sampling. While the Unscented Kalman Filter uses deterministic sampling as well, it only takes the absolute minimum number of samples. Our method can draw arbitrary numbers of deterministic samples and therefore improve the quality of state estimation. Conformity between the continuous density function (reference) and the Dirac mixture density, i.e., sample locations (approximation) is established by minimizing the difference of the cumulatives of many univariate projections. In other words, we compare cumulatives of probability densities in the Radon space.


title: Chevron pattern equations: exponential attractor and global stabilization

abstract: The initial boundary value problem for a nonlinear system of equations modeling the chevron patterns is studied in one and two spatial dimensions. The existence of an exponential attractor and the stabilization of the zero steady state solution through application of a finite-dimensional feedback control is proved in two spatial dimensions. The stabilization of an arbitrary fixed solution is shown in one spatial dimension along with relevant numerical results.


title: (AF)2-S3Net: Attentive Feature Fusion with Adaptive Feature Selection for Sparse Semantic Segmentation Network

abstract: Autonomous robotic systems and self driving cars rely on accurate perception of their surroundings as the safety of the passengers and pedestrians is the top priority. Semantic segmentation is one the essential components of environmental perception that provides semantic information of the scene. Recently, several methods have been introduced for 3D LiDAR semantic segmentation. While, they can lead to improved performance, they are either afflicted by high computational complexity, therefore are inefficient, or lack fine details of smaller instances. To alleviate this problem, we propose AF2-S3Net, an end-to-end encoder-decoder CNN network for 3D LiDAR semantic segmentation. We present a novel multi-branch attentive feature fusion module in the encoder and a unique adaptive feature selection module with feature map re-weighting in the decoder. Our AF2-S3Net fuses the voxel based learning and point-based learning into a single framework to effectively process the large 3D scene. Our experimental results show that the proposed method outperforms the state-of-the-art approaches on the large-scale SemanticKITTI benchmark, ranking 1st on the competitive public leaderboard competition upon publication.


title: Dissipative Encoding of Quantum Information

abstract: We formalize the problem of dissipative quantum encoding, and explore the advantages of using Markovian evolution to prepare a quantum code in the desired logical space, with emphasis on discrete-time dynamics and the possibility of exact finite-time convergence. In particular, we investigate robustness of the encoding dynamics and their ability to tolerate initialization errors, thanks to the existence of non-trivial basins of attraction. As a key application, we show that for stabilizer quantum codes on qubits, a finite-time dissipative encoder may always be constructed, by using at most a number of quantum maps determined by the number of stabilizer generators. We find that even in situations where the target code lacks gauge degrees of freedom in its subsystem form, dissipative encoders afford nontrivial robustness against initialization errors, thus overcoming a limitation of purely unitary encoding procedures. Our general results are illustrated in a number of relevant examples, including Kitaev's toric code.


title: Asymmetric Tsallis distributions for modelling financial market dynamics

abstract: Financial markets are highly non-linear and non-equilibrium systems. Earlier works have suggested that the behavior of market returns can be well described within the framework of non-extensive Tsallis statistics or superstatistics. For small time scales (delays), a good fit to the distributions of stock returns is obtained with q-Gaussian distributions, which can be derived either from Tsallis statistics or superstatistics. These distributions are symmetric. However, as the time lag increases, the distributions become increasingly non-symmetric. In this work, we address this problem by considering the data distribution as a linear combination of two independent normalized distributions - one for negative returns and one for positive returns. Each of these two independent distributions are half q-Gaussians with different non-extensivity parameter q and temperature parameter beta. Using this model, we investigate the behavior of stock market returns over time scales from 1 to 80 days. The data covers both the .com bubble and the 2008 crash periods. These investigations show that for all the time lags, the fits to the data distributions are better using asymmetric distributions than symmetric q-Gaussian distributions. The behaviors of the q parameter are quite different for positive and negative returns. For positive returns, q approaches a constant value of 1 after a certain lag, indicating the distributions have reached equilibrium. On the other hand, for negative returns, the q values do not reach a stationary value over the time scales studied. In the present model, the markets show a transition from normal to superdiffusive behavior (a possible phase transition) during the 2008 crash period. Such behavior is not observed with a symmetric q-Gaussian distribution model with q independent of time lag.


title: Learning from Shader Program Traces

abstract: Deep learning for image processing typically treats input imagery as pixels in some color space. This paper proposes instead to learn from program traces of procedural fragment shaders -- programs that generate images. At each pixel, we collect the intermediate values computed at program execution, and these data form the input to the learned model. We investigate this learning task for a variety of applications: our model can learn to predict a low-noise output image from shader programs that exhibit sampling noise; this model can also learn from a simplified shader program that approximates the reference solution with less computation, as well as learn the output of postprocessing filters like defocus blur and edge-aware sharpening. Finally we show that the idea of learning from program traces can even be applied to non-imagery simulations of flocks of boids. Our experiments on a variety of shaders show quantitatively and qualitatively that models learned from program traces outperform baseline models learned from RGB color augmented with hand-picked shader-specific features like normals, depth, and diffuse and specular color.


title: A modular framework for extreme weather generation

abstract: Extreme weather events have an enormous impact on society and are expected to become more frequent and severe with climate change. In this context, resilience planning becomes crucial for risk mitigation and coping with these extreme events. Machine learning techniques can play a critical role in resilience planning through the generation of realistic extreme weather event scenarios that can be used to evaluate possible mitigation actions. This paper proposes a modular framework that relies on interchangeable components to produce extreme weather event scenarios. We discuss possible alternatives for each of the components and show initial results comparing two approaches on the task of generating precipitation scenarios.


title: Optimal Control of Oscillation Timing and Entrainment Using Large Magnitude Inputs: An Adaptive Phase-Amplitude-Coordinate-Based Approach

abstract: Given the high dimensionality and underlying complexity of many oscillatory dynamical systems, phase reduction is often an imperative first step in control applications where oscillation timing and entrainment are of interest. Unfortunately, most phase reduction frameworks place restrictive limitations on the magnitude of allowable inputs, limiting the practical utility of the resulting phase reduced models in many situations. In this work, motivated by the search for control strategies to hasten recovery from jet-lag caused by rapid travel through multiple time zones, the efficacy of the recently developed adaptive phase-amplitude reduction is considered for manipulating oscillation timing in the presence of a large magnitude entraining stimulus. The adaptive phase-amplitude reduced equations allow for a numerically tractable optimal control formulation and the associated optimal stimuli significantly outperform those resulting from from previously proposed optimal control formulations. Additionally, a data-driven technique to identify the necessary terms of the adaptive phase-amplitude reduction is proposed and validated using a model describing the aggregate oscillations of a large population of coupled limit cycle oscillators. Such data-driven model reduction algorithms are essential in situations where the underlying model equations are either unreliable or unavailable.


title: Minimal Group Determinants For Dicyclic Groups

abstract: We determine the minimal non-trivial integer group determinant for the dicyclic group of order $4n$ when $n$ is odd. We also discuss the set of all integer group determinants for the dicyclic groups of order $4p$.


title: Applications of Teaching Secondary Mathematics in Undergraduate Mathematics Courses

abstract: Robust preparation of future secondary mathematics teachers requires attention to the acquisition of mathematical knowledge for teaching. Many future teachers learn mathematics content primarily through mathematics major courses that are taught by mathematicians who do not specialize in teacher preparation. How can mathematics education researchers assist mathematicians in making explicit connections between the content of undergraduate mathematics courses and the content of secondary mathematics? We present an articulation of five types of connections that can be used in secondary mathematics teacher preparation and give examples of question prompts that mathematicians can use as applications of teaching secondary mathematics in undergraduate mathematics courses.


title: A Tutorial on 5G NR V2X Communications

abstract: The Third Generation Partnership Project (3GPP) has recently published its Release 16 that includes the first Vehicle to-Everything (V2X) standard based on the 5G New Radio (NR) air interface. 5G NR V2X introduces advanced functionalities on top of the 5G NR air interface to support connected and automated driving use cases with stringent requirements. This paper presents an in-depth tutorial of the 3GPP Release 16 5G NR V2X standard for V2X communications, with a particular focus on the sidelink, since it is the most significant part of 5G NR V2X. The main part of the paper is an in-depth treatment of the key aspects of 5G NR V2X: the physical layer, the resource allocation, the quality of service management, the enhancements introduced to the Uu interface and the mobility management for V2N (Vehicle to Network) communications, as well as the co-existence mechanisms between 5G NR V2X and LTE V2X. We also review the use cases, the system architecture, and describe the evaluation methodology and simulation assumptions for 5G NR V2X. Finally, we provide an outlook on possible 5G NR V2X enhancements, including those identified within Release 17.


title: Placing Green Bridges Optimally, with a Multivariate Analysis

abstract: We study the problem of placing wildlife crossings, such as green bridges, over human-made obstacles to challenge habitat fragmentation. The main task herein is, given a graph describing habitats or routes of wildlife animals and possibilities of building green bridges, to find a low-cost placement of green bridges that connects the habitats. We develop different problem models for this task and study them from a computational complexity and parameterized algorithmics perspective.


title: Last-iterate Convergence of Decentralized Optimistic Gradient Descent/Ascent in Infinite-horizon Competitive Markov Games

abstract: We study infinite-horizon discounted two-player zero-sum Markov games, and develop a decentralized algorithm that provably converges to the set of Nash equilibria under self-play. Our algorithm is based on running an Optimistic Gradient Descent Ascent algorithm on each state to learn the policies, with a critic that slowly learns the value of each state. To the best of our knowledge, this is the first algorithm in this setting that is simultaneously rational (converging to the opponent's best response when it uses a stationary policy), convergent (converging to the set of Nash equilibria under self-play), agnostic (no need to know the actions played by the opponent), symmetric (players taking symmetric roles in the algorithm), and enjoying a finite-time last-iterate convergence guarantee, all of which are desirable properties of decentralized algorithms.


title: Edge-connectivity matrices and their spectra

abstract: The edge-connectivity matrix of a weighted graph is the matrix whose off-diagonal $v$-$w$ entry is the weight of a minimum edge cut separating vertices $v$ and $w$. Its computation is a classical topic of combinatorial optimization since at least the seminal work of Gomory and Hu. In this article, we investigate spectral properties of these matrices. In particular, we provide tight bounds on the smallest eigenvalue and the energy. Moreover, we study the eigenvector structure and show in which cases eigenvectors can be easily obtained from matrix entries. These results in turn rely on a new characterization of those nonnegative matrices that can actually occur as edge-connectivity matrices.


title: Tractable mechanisms for computing near-optimal utility functions

abstract: Large scale multiagent systems must rely on distributed decision making, as centralized coordination is either impractical or impossible. Recent works approach this problem under a game theoretic lens, whereby utility functions are assigned to each of the agents with the hope that their local optimization approximates the centralized optimal solution. Yet, formal guarantees on the resulting performance cannot be obtained for broad classes of problems without compromising on their accuracy. In this work, we address this concern relative to the well-studied problem of resource allocation with nondecreasing concave welfare functions. We show that optimally designed local utilities achieve an approximation ratio (price of anarchy) of 1-c/e, where c is the function's curvature and e is Euler's constant. The upshot of our contributions is the design of approximation algorithms that are distributed and efficient, and whose performance matches that of the best existing polynomial-time (and centralized) schemes.


title: Sharp Sensitivity Analysis for Inverse Propensity Weighting via Quantile Balancing

abstract: Inverse propensity weighting (IPW) is a popular method for estimating treatment effects from observational data. However, its correctness relies on the untestable (and frequently implausible) assumption that all confounders have been measured. This paper introduces a robust sensitivity analysis for IPW that estimates the range of treatment effects compatible with a given amount of unobserved confounding. The estimated range converges to the narrowest possible interval (under the given assumptions) that must contain the true treatment effect. Our proposal is a refinement of the influential sensitivity analysis by Zhao, Small, and Bhattacharya (2019), which we show gives bounds that are too wide even asymptotically. This analysis is based on new partial identification results for Tan (2006)'s marginal sensitivity model.


title: A Bayesian spatio-temporal nowcasting model for public health decision-making and surveillance

abstract: As COVID-19 spread through the United States in 2020, states began to set up alert systems to inform policy decisions and serve as risk communication tools for the general public. Many of these systems, like in Ohio, included indicators based on an assessment of trends in reported cases. However, when cases are indexed by date of disease onset, reporting delays complicate the interpretation of trends. Despite a foundation of statistical literature to address this problem, these methods have not been widely applied in practice. In this paper, we develop a Bayesian spatio-temporal nowcasting model for assessing trends in county-level COVID-19 cases in Ohio. We compare the performance of our model to the current approach used in Ohio and the approach that was recommended by the Centers for Disease Control and Prevention. We demonstrate gains in performance while still retaining interpretability using our model. In addition, we are able to fully account for uncertainty in both the time series of cases and in the reporting process. While we cannot eliminate all of the uncertainty in public health surveillance and subsequent decision-making, we must use approaches that embrace these challenges and deliver more accurate and honest assessments to policymakers.


title: ICEYE microsatellite SAR constellation status update: Evaluation of first commercial imaging modes

abstract: The ICEYE constellation features the first operational microsatellite based X-band SAR sensors suitable for all weather day-and-night Earth Observation. In this paper, we report on the status of the ICEYE Constellation and describe the characteristics of the first operational imaging modes.


title: Superfast Coloring in CONGEST via Efficient Color Sampling

abstract: We present a procedure for efficiently sampling colors in the {\congest} model. It allows nodes whose number of colors exceeds their number of neighbors by a constant fraction to sample up to $\Theta(\log n)$ semi-random colors unused by their neighbors in $O(1)$ rounds, even in the distance-2 setting. This yields algorithms with $O(\log^* \Delta)$ complexity for different edge-coloring, vertex coloring, and distance-2 coloring problems, matching the best possible. In particular, we obtain an $O(\log^* \Delta)$-round CONGEST algorithm for $(1+\epsilon)\Delta$-edge coloring when $\Delta \ge \log^{1+1/\log^*n} n$, and a poly($\log\log n$)-round algorithm for $(2\Delta-1)$-edge coloring in general. The sampling procedure is inspired by a seminal result of Newman in communication complexity.


title: Asynchronous Parallel Nonconvex Optimization Under the Polyak-Lojasiewicz Condition

abstract: Communication delays and synchronization are major bottlenecks for parallel computing, and tolerating asynchrony is therefore crucial for accelerating parallel computation. Motivated by optimization problems that do not satisfy convexity assumptions, we present an asynchronous block coordinate descent algorithm for nonconvex optimization problems whose objective functions satisfy the Polyak-Lojasiewicz condition. This condition is a generalization of strong convexity to nonconvex problems and requires neither convexity nor uniqueness of minimizers. Under only assumptions of mild smoothness of objective functions and bounded delays, we prove that a linear convergence rate is obtained. Numerical experiments for logistic regression problems are presented to illustrate the impact of asynchrony upon convergence.


title: Synthesizing Skeletal Motion and Physiological Signals as a Function of a Virtual Human's Actions and Emotions

abstract: Round-the-clock monitoring of human behavior and emotions is required in many healthcare applications which is very expensive but can be automated using machine learning (ML) and sensor technologies. Unfortunately, the lack of infrastructure for collection and sharing of such data is a bottleneck for ML research applied to healthcare. Our goal is to circumvent this bottleneck by simulating a human body in virtual environment. This will allow generation of potentially infinite amounts of shareable data from an individual as a function of his actions, interactions and emotions in a care facility or at home, with no risk of confidentiality breach or privacy invasion. In this paper, we develop for the first time a system consisting of computational models for synchronously synthesizing skeletal motion, electrocardiogram, blood pressure, respiration, and skin conductance signals as a function of an open-ended set of actions and emotions. Our experimental evaluations, involving user studies, benchmark datasets and comparison to findings in the literature, show that our models can generate skeletal motion and physiological signals with high fidelity. The proposed framework is modular and allows the flexibility to experiment with different models. In addition to facilitating ML research for round-the-clock monitoring at a reduced cost, the proposed framework will allow reusability of code and data, and may be used as a training tool for ML practitioners and healthcare professionals.


title: Survey on L^2-invariants and 3-manifolds

abstract: In this paper give a survey about L^2-invariants focusing on 3-manifolds.


title: Efficient Bitrate Ladder Construction for Content-Optimized Adaptive Video Streaming

abstract: One of the challenges faced by many video providers is the heterogeneity of network specifications, user requirements, and content compression performance. The universal solution of a fixed bitrate ladder is inadequate in ensuring a high quality of user experience without re-buffering or introducing annoying compression artifacts. However, a content-tailored solution, based on extensively encoding across all resolutions and over a wide quality range is highly expensive in terms of computational, financial, and energy costs. Inspired by this, we propose an approach that exploits machine learning to predict a content-optimized bitrate ladder. The method extracts spatio-temporal features from the uncompressed content, trains machine-learning models to predict the Pareto front parameters, and, based on that, builds the ladder within a defined bitrate range. The method has the benefit of significantly reducing the number of encodes required per sequence. The presented results, based on 100 HEVC-encoded sequences, demonstrate a reduction in the number of encodes required when compared to an exhaustive search and an interpolation-based method, by 89.06% and 61.46%, respectively, at the cost of an average Bj{\o}ntegaard Delta Rate difference of 1.78% compared to the exhaustive approach. Finally, a hybrid method is introduced that selects either the proposed or the interpolation-based method depending on the sequence features. This results in an overall 83.83% reduction of required encodings at the cost of an average Bj{\o}ntegaard Delta Rate difference of 1.26%.


title: Minimal volume entropy and fiber growth

abstract: This article deals with topological assumptions under which the minimal volume entropy of a closed manifold $M$, and more generally of a finite simplicial complex $X$, vanishes or is positive. These topological conditions are expressed in terms of the growth of the fundamental group of the fibers of maps from a given finite simplicial complex $X$ to lower dimensional simplicial complexes $P$. We also give examples of finite simplicial complexes with zero simplicial volume and arbitrarily large minimal volume entropy.


title: Quantum Technologies: A Review of the Patent Landscape

abstract: Quantum Technologies is a term that is getting broader with every passing year. Nanotechnology and electronics operate in this realm. With the invention of industry-disrupting algorithms like Shor's algorithm that can break RSA encryption on a quantum computer and Quantum Key Distribution, which offers unconditional security in theory, investment is pouring in. Here we taxonomize and analyze 48,577 patents in this area from 2015 to present captured with a comprehensive query in Relecura's patent database. The author's subject experience, along with the company's AI-based tools and scholarly literature, were utilized to make this highly subjective choice of taxonomy. Though most Patent Landscape Analysis Reports consider a single technology, geography, or company, we have tried to give a holistic overview of these technologies as a whole due to their collaborative and intertwined nature. The physics of each technology and its role in the industry is briefly explained where possible.


title: Minimum-time lateral interception of a moving target by a Dubins car

abstract: This paper presents the problem of lateral interception by a Dubins car of a target that moves along an a priori known trajectory. This trajectory is given by two coordinates of a planar location and one angle of a heading orientation, every one of them is a continuous function of time. The optimal trajectory planning problem of constructing minimum-time trajectories for a Dubins car in the presence of a priory known time-dependent wind vector field is a special case of the presented problem. Using the properties of the three-dimensional reachable set of a Dubins car, it is proved that the optimal interception point belongs to a part of an analytically described surface in the three-dimensional space. The analytical description of the surface makes it possible to obtain 10 algebraic equations for calculating parameters of the optimal control that implements the minimum-time lateral interception. These equations are generally transcendental and can be simplified for particular cases of target motion (e.g. resting target, straight-line uniform target motion). Finally, some particular cases of the optimal lateral interception validate developments of the paper and highlight the necessity to consider each of 10 algebraic equations in general case.


title: Feature Engineering for Scalable Application-Level Post-Silicon Debugging

abstract: We present systematic and efficient solutions for both observability enhancement and root-cause diagnosis of post-silicon System-on-Chips (SoCs) validation with diverse usage scenarios. We model specification of interacting flows in typical applications for message selection. Our method for message selection optimizes flow specification coverage and trace buffer utilization. We define the diagnosis problem as identifying buggy traces as outliers and bug-free traces as inliers/normal behaviors, for which we use unsupervised learning algorithms for outlier detection. Instead of direct application of machine learning algorithms over trace data using the signals as raw features, we use feature engineering to transform raw features into more sophisticated features using domain specific operations. The engineered features are highly relevant to the diagnosis task and are generic to be applied across any hardware designs. We present debugging and root cause analysis of subtle post-silicon bugs in industry-scale OpenSPARC T2 SoC. We achieve a trace buffer utilization of 98.96\% with a flow specification coverage of 94.3\% (average). Our diagnosis method was able to diagnose up to 66.7\% more bugs and took up to 847$\times$ less diagnosis time as compared to the manual debugging with a diagnosis precision of 0.769.


title: First demonstration of early warning gravitational wave alerts

abstract: Gravitational-wave observations became commonplace in Advanced LIGO-Virgo's recently concluded third observing run. 56 non-retracted candidates were identified and publicly announced in near real time. Gravitational waves from binary neutron star mergers, however, remain of special interest since they can be precursors to high-energy astrophysical phenomena like $\gamma$-ray bursts and kilonovae. While late-time electromagnetic emissions provide important information about the astrophysical processes within, the prompt emission along with gravitational waves uniquely reveals the extreme matter and gravity during - and in the seconds following - merger. Rapid communication of source location and properties from the gravitational-wave data is crucial to facilitate multi-messenger follow-up of such sources. This is especially enabled if the partner facilities are forewarned via an early-warning (pre-merger) alert. Here we describe the commissioning and performance of such a low-latency infrastructure within LIGO-Virgo. We present results from an end-to-end mock data challenge that detects binary neutron star mergers and alerts partner facilities before merger. We set expectations for these alerts in future observing runs.


title: Design of an electrostatic balance mechanism to measure optical power of 100 kW

abstract: A new instrument is required to accommodate the need for increased portability and accuracy in laser power measurement above 100 W. Reflection and absorption of laser light provide a measurable force from photon momentum exchange that is directly proportional to laser power, which can be measured with an electrostatic balance traceable to the SI. We aim for a relative uncertainty of $10^{-3}$ with coverage factor $k=2$. For this purpose, we have designed a monolithic parallelogram 4-bar linkage incorporating elastic circular notch flexure hinges. The design is optimized to address the main factors driving force measurement uncertainty from the balance mechanism: corner loading errors, balance stiffness, stress in the flexure hinges, sensitivity to vibration, and sensitivity to thermal gradients. Parasitic rotations in the free end of the 4-bar linkage during arcuate motion are constrained by machining tolerances. An analytical model shows this affects the force measurement less than 0.01 percent. Incorporating an inverted pendulum reduces the stiffness of the system without unduly increasing tilt sensitivity. Finite element modeling of the flexures is used to determine the hinge orientation that minimizes stress which is therefore expected to minimize hysteresis. Thermal effects are mitigated using an external enclosure to minimize temperature gradients, although a quantitative analysis of this effect is not carried out. These analyses show the optimized mechanism is expected to contribute less than $10^{-3}$ relative uncertainty in the final laser power measurement.


title: Non-equilibrium criticality and efficient exploration of glassy landscapes with memory dynamics

abstract: Spin glasses are notoriously difficult to study both analytically and numerically due to the presence of frustration and metastability. Their highly non-convex landscapes require collective updates to explore efficiently. Currently, most state-of-the-art algorithms rely on stochastic spin clusters to perform non-local updates, but such "cluster algorithms" lack general efficiency. Here, we introduce a non-equilibrium approach for simulating spin glasses based on classical dynamics with memory. By simulating various classes of 3d spin glasses (Edwards-Anderson, partially-frustrated, and fully-frustrated models), we find that memory dynamically promotes critical spin clusters during time evolution, in a self-organizing manner. This facilitates an efficient exploration of the low-temperature phases of spin glasses.


title: E-Health Management Services in Supporting Empowerment

abstract: The Web technology provides healthcare providers the ability to broaden their services beyond the usual practices, and thus provides a particular advantageous environment to achieve complex e-health goals. This paper discusses how a Web 2.0 application will help healthcare provider to extend and enhance their services by involving and empowering their customers.Web 2.0 referes to the next generations of Web technology that empowers users to generate contents over Internet. The Web 2.0 also refers to the Web as a platform to perform any task online. The Web 2.0 allows customers to have greater control of information flow from interactions between healthcare providers with its customers and among customers themselves. The study employed quantitative methods to depict expectations of customers in Indonesia towards healthcare services that can offer empowerment and social media and sharing. The questionnaires were fairly distributed to the groups of healthcare staffs and customers (patients) who regularly visit healthcare centres. The survey revealed that features of Web 2.0 in e-health services such as consultation online, sharing in social networks, empowerment in detailing personal health records are highly appreciated by customers. Regardless of the limitations of the survey, the public has responded with a great support for the capabilities of Web 2.0 listed from the questionnaires. The findings provide initial ideas and recommendation for a future direction of prototype of social networks in e-health services.


title: Designing for Contestation: Insights from Administrative Law

abstract: A paper presented at the Workshop on Contestability in Algorithmic Systems at CSCW 2019. Challenging algorithmic decisions is important to decision subjects, yet numerous factors can limit a person's ability to contest such decisions. We propose that administrative law systems, which were created to ensure that governments are kept accountable for their actions and decision making in relation to individuals, can provide guidance on how to design contestation systems for algorithmic decision-making.


title: Core Imaging Library -- Part I: a versatile Python framework for tomographic imaging

abstract: We present the Core Imaging Library (CIL), an open-source Python framework for tomographic imaging with particular emphasis on reconstruction of challenging datasets. Conventional filtered back-projection reconstruction tends to be insufficient for highly noisy, incomplete, non-standard or multi-channel data arising for example in dynamic, spectral and in situ tomography. CIL provides an extensive modular optimisation framework for prototyping reconstruction methods including sparsity and total variation regularisation, as well as tools for loading, preprocessing and visualising tomographic data. The capabilities of CIL are demonstrated on a synchrotron example dataset and three challenging cases spanning golden-ratio neutron tomography, cone-beam X-ray laminography and positron emission tomography.


title: On the variation in stellar $\alpha$-enhancements of star-forming galaxies in the EAGLE simulation

abstract: The ratio of $\alpha$-elements to iron in galaxies holds valuable information about the star formation history since their enrichment occurs on different timescales. The fossil record of stars in galaxies has mostly been excavated for passive galaxies, since the light of star-forming galaxies is dominated by young stars which have much weaker atmospheric absorption features. Here we use the largest reference cosmological simulation of the EAGLE project to investigate the origin of variations in stellar $\alpha$-enhancement among star-forming galaxies at $z=0$, and their impact on integrated spectra. The definition of $\alpha$-enhancement in a composite stellar population is ambiguous. We elucidate two definitions - termed `mean' and `galactic' $\alpha$-enhancement - in more detail. While a star-forming galaxy has a high `mean' $\alpha$-enhancement when its stars formed rapidly, a galaxy with a large `galactic' $\alpha$-enhancement generally had a delayed star formation history. We find that absorption-line strengths of Mg and Fe correlate with variations in $\alpha$-enhancement. These correlations are strongest for the `galactic' $\alpha$-enhancement. However, we show that these are mostly caused by other effects which are cross-correlated with $\alpha$-enhancement, such as variations in the light-weighted age. This severely complicates the retrieval of $\alpha$-enhancements in star-forming galaxies. The ambiguity is not severe for passive galaxies and we confirm that spectral variations in these galaxies are caused by measurable variations in $\alpha$-enhancements. We suggest that this more complex coupling between $\alpha$-enhancement and star formation histories can guide the interpretation of new observations of star-forming galaxies.


title: Projector Matrix Product Operators, Anyons and Higher Relative Commutants of Subfactors

abstract: A bi-unitary connection in subfactor theory of Jones producing a subfactor of finite depth gives a 4-tensor appearing in a recent work of Bultinck-Mariena-Williamson-Sahinoglu-Haegemana-Verstraete on 2-dimensional topological order and anyons. In their work, they have a special projection called a projector matrix product operator. We prove that the range of this projection of length k is naturally identified with the k-th higher relative commutant of the subfactor arising from the bi-unitary connection. This gives a further connection between 2-dimensional topological order and subfactor theory.

categories: math.OA cond-mat.str-el math-ph math.MP math.QA


title: An oversized magnetic sheath wrapping around the parsec-scale jet in 3C 273

abstract: In recent studies, several AGN have exhibited gradients of the Faraday Rotation Measure (RM) transverse to their parsec-scale jet direction. Faraday rotation likely occurs as a result of a magnetized sheath wrapped around the jet. In the case of 3C 273, using Very Long Baseline Array multi-epoch observations at 5, 8 and 15 GHz in 2009--2010, we observe that the jet RM has changed significantly towards negative values compared with that previously observed. These changes could be explained by a swing of the parsec-scale jet direction which causes synchrotron emission to pass through different portions of the Faraday screen. We develop a model for the jet-sheath system in 3C 273 where the sheath is wider than the single-epoch narrow relativistic jet. We present our oversized sheath model together with a derived wide jet full intrinsic opening angle $\alpha_\mathrm{int}=2.1^\circ$ and magnetic field strength $B_{||}=3$ $\mu$G and thermal particle density $N_\mathrm{e}=125~\mathrm{cm}^{-3}$ at the wide jet--sheath boundary 230 pc downstream (deprojected) from its beginning. Most of the Faraday rotation occurs within the innermost layers of the sheath. The model brings together the jet direction swing and long-term RM evolution and may be applicable to other AGN jets that exhibit changes of their apparent jet direction.


title: Resolved HI in two ultra-diffuse galaxies from contrasting non-cluster environments

abstract: We report on the first resolved HI observations of two blue ultra-diffuse galaxies (UDGs)using the Giant Metrewave Radio Telescope (GMRT). These observations add to the sofar limited number of UDGs with resolved HI data. The targets are from contrasting non-cluster environments: UDG-B1 is projected in the outskirts of Hickson Compact Group 25 and Secco-dI-2 (SdI-2) is an isolated UDG. These UDGs also have contrasting effective radii with Re of 3.7 kpc (similar to the Milky Way) and 1.3 kpc respectively. SdI-2 has an unusually large MHI/M* ratio =28.9, confirming a previous single dish HI observation. Both galaxies display HI morphological and kinematic signatures consistent with a recent tidal interaction, which is also supported by observations from other wavelengths, including optical spectroscopy. Within the limits of the observations' resolution, our analysis indicates that SdI-2 is dark matter-dominated within its HI radius and this is also likely to be the case for UDG-B1. Our study highlights the importance of high spatial and spectral resolution HI observations for the study of the dark matter properties of UDGs.


title: A Ranking Approach to Fair Classification

abstract: Algorithmic decision systems are increasingly used in areas such as hiring, school admission, or loan approval. Typically, these systems rely on labeled data for training a classification model. However, in many scenarios, ground-truth labels are unavailable, and instead we have only access to imperfect labels as the result of (potentially biased) human-made decisions. Despite being imperfect, historical decisions often contain some useful information on the unobserved true labels. In this paper, we focus on scenarios where only imperfect labels are available and propose a new fair ranking-based decision system based on monotonic relationships between legitimate features and the outcome. Our approach is both intuitive and easy to implement, and thus particularly suitable for adoption in real-world settings. More in detail, we introduce a distance-based decision criterion, which incorporates useful information from historical decisions and accounts for unwanted correlation between protected and legitimate features. Through extensive experiments on synthetic and real-world data, we show that our method is fair in the sense that a) it assigns the desirable outcome to the most qualified individuals, and b) it removes the effect of stereotypes in decision-making, thereby outperforming traditional classification algorithms. Additionally, we are able to show theoretically that our method is consistent with a prominent concept of individual fairness which states that "similar individuals should be treated similarly."


title: Semantic Segmentation with Labeling Uncertainty and Class Imbalance

abstract: Recently, methods based on Convolutional Neural Networks (CNN) achieved impressive success in semantic segmentation tasks. However, challenges such as the class imbalance and the uncertainty in the pixel-labeling process are not completely addressed. As such, we present a new approach that calculates a weight for each pixel considering its class and uncertainty during the labeling process. The pixel-wise weights are used during training to increase or decrease the importance of the pixels. Experimental results show that the proposed approach leads to significant improvements in three challenging segmentation tasks in comparison to baseline methods. It was also proved to be more invariant to noise. The approach presented here may be used within a wide range of semantic segmentation methods to improve their robustness.


title: NELA-GT-2020: A Large Multi-Labelled News Dataset for The Study of Misinformation in News Articles

abstract: In this paper, we present an updated version of the NELA-GT-2019 dataset, entitled NELA-GT-2020. NELA-GT-2020 contains nearly 1.8M news articles from 519 sources collected between January 1st, 2020 and December 31st, 2020. Just as with NELA-GT-2018 and NELA-GT-2019, these sources come from a wide range of mainstream news sources and alternative news sources. Included in the dataset are source-level ground truth labels from Media Bias/Fact Check (MBFC) covering multiple dimensions of veracity. Additionally, new in the 2020 dataset are the Tweets embedded in the collected news articles, adding an extra layer of information to the data. The NELA-GT-2020 dataset can be found at https://doi.org/10.7910/DVN/CHMUYZ.


title: Tracking e-cigarette warning label compliance on Instagram with deep learning

abstract: The U.S. Food & Drug Administration (FDA) requires that e-cigarette advertisements include a prominent warning label that reminds consumers that nicotine is addictive. However, the high volume of vaping-related posts on social media makes compliance auditing expensive and time-consuming, suggesting that an automated, scalable method is needed. We sought to develop and evaluate a deep learning system designed to automatically determine if an Instagram post promotes vaping, and if so, if an FDA-compliant warning label was included or if a non-compliant warning label was visible in the image. We compiled and labeled a dataset of 4,363 Instagram images, of which 44% were vaping-related, 3% contained FDA-compliant warning labels, and 4% contained non-compliant labels. Using a 20% test set for evaluation, we tested multiple neural network variations: image processing backbone model (Inceptionv3, ResNet50, EfficientNet), data augmentation, progressive layer unfreezing, output bias initialization designed for class imbalance, and multitask learning. Our final model achieved an area under the curve (AUC) and [accuracy] of 0.97 [92%] on vaping classification, 0.99 [99%] on FDA-compliant warning labels, and 0.94 [97%] on non-compliant warning labels. We conclude that deep learning models can effectively identify vaping posts on Instagram and track compliance with FDA warning label requirements.


title: Microinstabilities in the Transition Region of Weak Quasi-Perpendicular Intracluster Shocks

abstract: Microinstabilities play important roles in both entropy generation and particle acceleration in collisionless shocks. Recent studies have suggested that in the transition zone of quasi-perpendicular ($Q_{\perp}$) shocks in the high-beta ($\beta=P_{\rm gas}/P_{\rm B}$) intracluster medium (ICM), the ion temperature anisotropy due to the reflected-gyrating ions could trigger the Alfv\'en ion cyclotron (AIC) instability and the ion-mirror instability, while the electron temperature anisotropy induced by magnetic field compression could excite the whistler instability and the electron-mirror instability. Adopting the numerical estimates for ion and electron temperature anisotropies found in particle-in-cell (PIC) simulations of $Q_{\perp}$-shocks with sonic Mach numbers, $M_{\rm s}=2-3$, we carry out a linear stability analysis for these microinstabilities. The kinetic properties of the microinstabilities and the ensuing plasma waves on both ion and electron scales are described for wide ranges of parameters, including the dependence on $\beta$ and the ion-to-electron mass ratio. In addition, the nonlinear evolution of induced plasma waves are examined by performing 2D PIC simulations with periodic boundary conditions. We find that for $\beta\approx 20-100$, the AIC instability could induce ion-scale waves and generate shock surface ripples in supercritical shocks above the AIC critical Mach number, $M_{\rm AIC}^{*} \approx 2.3$. Also electron-scale waves are generated primarily by the whistler instability in these high-$\beta$ shocks. The resulting multi-scale waves from electron to ion scales are thought to be essential in electron injection to the diffusive shock acceleration mechanism in $Q_{\perp}$-shocks in the ICM.


title: The subterahertz solar cycle: Polar and equatorial radii derived from SST and ALMA

abstract: At subterahertz frequencies -- i.e., millimeter and submillimeter wavelengths -- there is a gap of measurements of the solar radius as well as other parameters of the solar atmosphere. As the observational wavelength changes, the radius varies because the altitude of the dominant electromagnetic radiation is produced at different heights in the solar atmosphere. Moreover, radius variations throughout long time series are indicative of changes in the solar atmosphere that may be related to the solar cycle. Therefore, the solar radius is an important parameter for the calibration of solar atmospheric models enabling a better understanding of the atmospheric structure. In this work we use data from the Solar Submillimeter-wave Telescope (SST) and from the Atacama Large Millimeter/submillimeter Array (ALMA), at the frequencies of 100, 212, 230, and 405 GHz, to measure the equatorial and polar radii of the Sun. The radii measured with extensive data from the SST agree with the radius-vs-frequency trend present in the literature. The radii derived from ALMA maps at 230 GHz also agree with the radius-vs-frequency trend, whereas the 100-GHz radii are slightly above the values reported by other authors. In addition, we analyze the equatorial and polar radius behavior over the years, by determining the correlation coefficient between solar activity and subterahertz radii time series at 212 and 405 GHz (SST). The variation of the SST-derived radii over 13 years are correlated to the solar activity when considering equatorial regions of the solar atmosphere, and anticorrelated when considering polar regions. The ALMA derived radii time series for 100 and 230 GHz show very similar behaviors with those of SST.


title: The attenuated ray transforms on Gaussian thermostats with negative curvature

abstract: In the present paper we consider a Gaussian thermostat on a compact Riemannian surface with negative thermostat curvature. In the case of surfaces with boundary, we show that the thermostat ray transform with attenuation given by a general connection and Higgs field is injective, modulo the natural obstruction, for tensors. We also prove that the connection and Higgs field can be determined, up to a gauge transformation, from the knowledge of the parallel transport between boundary points along all possible thermostat geodesics. In the case of closed surfaces, we obtain similar results for the ray transform with some additional conditions on the connection. Under the same condition, we study connections and Higgs fields whose parallel transport along periodic thermostat geodesics coincides with the ones for the flat connection.


title: An octagon containing the numerical range of a bounded linear operator

abstract: A polygon is derived that contains the numerical range of a bounded linear operator on a complex Hilbert space, using only norms. In its most general form, the polygon is an octagon, symmetric with respect to the origin, and tangent to the closure of the numerical range in at least four points when the spectral norm is used.


title: Moderator Factors of Software Security and Performance Verification

abstract: Context: Security and performance (S&P) are critical non-functional requirements on software systems. Therefore, verification activities should be included in the development process to identify related defects and avoiding S&P failures after deployment. However, the state of the practice of S&P verification is unclear, challenging academia to offer solutions for real-world problems faced by the S&P verification practitioners. Thus, identifying factors moderating the S&P verification helps software development organizations improve the S&P verification, releasing software that meets security and performance requirements. Objective: To present moderator factors influencing S&P verification activities and actions to promote S&P moderator factors. Method: Multiple case study using qualitative analysis of observational data to identify S&P moderators factors. Literature Rapid Reviews with Snowballing to strengthen confidence in the identified S&P moderators factors. Practitioners Survey to classify the S&P moderator factors regarding their relevance. Results: Identification of eight S&P moderator factors regarding organizational awareness, crossfunctional team, S&P requirements, support tools, verification environment, verification methodology, verification planning, and reuse practices. The literature reviews allowed us to confirm the identified S&P moderator factors and identify a set of actions to promote each of them. A survey with 37 valid participants allowed us to classify the identified S&P moderators factors and their actions relevant to S&P verification activities. Conclusions: The S&P moderator factors can be considered key points in which software development organizations should invest to implement or improve S&P verification activities.


title: Prototyping Low-Cost Automatic Weather Stations for Natural Disaster Monitoring

abstract: Weather events put human lives at risk mostly when people might reside in areas susceptible to natural disasters. Weather monitoring is a pivotal task that is accomplished in vulnerable areas with the support of reliable weather stations. Such stations are front-end equipment typically mounted on a fixed mast structure with a set of digital and magnetic weather sensors connected to a datalogger. While remote sensing from a number of stations is paramount, the cost of professional weather instruments is extremely high. This imposes a challenge for large-scale deployment and maintenance of weather stations for broad natural disaster monitoring. To address this problem, in this paper, we validate the hypothesis that a Low-Cost Automatic Weather Station system (LCAWS) entirely developed from commercial-off-the-shelf and open-source IoT technologies is able to provide data as reliable as a Professional Weather Station (PWS) of reference for natural disaster monitoring. To achieve data reliability, we propose an intelligent sensor calibration method to correct weather parameters. From the experimental results of a 30-day uninterrupted observation period, we show that the results of the calibrated LCAWS sensors have no statistically significant differences with the PWS's results. Together with The Brazilian National Center for Monitoring and Early Warning of Natural Disasters (Cemaden), LCAWS has opened new opportunities towards reducing maintenance cost of its weather observational network.


title: Extreme Near-Field Heat Transfer Between Gold Surfaces

abstract: Extreme near-field heat transfer between metallic surfaces is a subject of debate as the state-of-the-art theory and experiments are in disagreement on the energy carriers driving heat transport. In an effort to elucidate the physics of extreme near-field heat transfer between metallic surfaces, this Letter presents a comprehensive model combining radiation, acoustic phonon and electron transport across sub-10-nm vacuum gaps. The results obtained for gold surfaces show that in the absence of bias voltage, acoustic phonon transport is dominant for vacuum gaps smaller than ~2 nm. The application of a bias voltage significantly affects the dominant energy carriers as it increases the phonon contribution mediated by the long-range Coulomb force and the electron contribution due to a lower potential barrier. For a bias voltage of 0.6 V, acoustic phonon transport becomes dominant at a vacuum gap of 5 nm, whereas electron tunneling dominates at sub-1-nm vacuum gaps. The comparison of the theory against experimental data from the literature suggests that well-controlled measurements between metallic surfaces are needed to quantify the contributions of acoustic phonon and electron as a function of the bias voltage.


title: Statistical Enumeration of Groups by Double Cosets

abstract: Let $H$ and $K$ be subgroups of a finite group $G$. Pick $g \in G$ uniformly at random. We study the distribution induced on double cosets. Three examples are treated in detail: 1) $H = K = $ the Borel subgroup in $GL_n(\mathbb{F}_q)$. This leads to new theorems for Mallows measure on permutations and new insights into the LU matrix factorization. 2) The double cosets of the hyperoctahedral group inside $S_{2n}$, which leads to new applications of the Ewens's sampling formula of mathematical genetics. 3) Finally, if $H$ and $K$ are parabolic subgroups of $S_n$, the double cosets are `contingency tables', studied by statisticians for the past 100 years.


title: Bayesian Poroelastic Aquifer Characterization from InSAR Surface Deformation Data Part II: Quantifying the Uncertainty

abstract: Uncertainty quantification of groundwater (GW) aquifer parameters is critical for efficient management and sustainable extraction of GW resources. These uncertainties are introduced by the data, model, and prior information on the parameters. Here we develop a Bayesian inversion framework that uses Interferometric Synthetic Aperture Radar (InSAR) surface deformation data to infer the laterally heterogeneous permeability of a transient linear poroelastic model of a confined GW aquifer. The Bayesian solution of this inverse problem takes the form of a posterior probability density of the permeability. Exploring this posterior using classical Markov chain Monte Carlo (MCMC) methods is computationally prohibitive due to the large dimension of the discretized permeability field and the expense of solving the poroelastic forward problem. However, in many partial differential equation (PDE)-based Bayesian inversion problems, the data are only informative in a few directions in parameter space. For the poroelasticity problem, we prove this property theoretically for a one-dimensional problem and demonstrate it numerically for a three-dimensional aquifer model. We design a generalized preconditioned Crank--Nicolson (gpCN) MCMC method that exploits this intrinsic low dimensionality by using a low-rank based Laplace approximation of the posterior as a proposal, which we build scalably. The feasibility of our approach is demonstrated through a real GW aquifer test in Nevada. The inherently two dimensional nature of InSAR surface deformation data informs a sufficient number of modes of the permeability field to allow detection of major structures within the aquifer, significantly reducing the uncertainty in the pressure and the displacement quantities of interest.


title: Relationship between three-dimensional velocity of filament eruptions and CME association

abstract: It is widely recognised that filament disappearances or eruptions are frequently associated with Coronal Mass Ejections (CMEs). Since CMEs are a major source of disturbances of the space environment surrounding the Earth, it is important to investigate these associations in detail for the better prediction of CME occurrence. However, the proportion of filament disappearances associated with CMEs is under debate. The estimates range from $\sim$10% to $\sim$90% and could be affected by the manners to select the events. In this study, we aim to reveal what parameters control the association between filament eruptions and CMEs. We analysed the relationships between CME associations and the physical parameters of filaments including their length, maximum ascending velocity, and direction of eruptions using 28 events of filament eruptions observed in H$\alpha$. We found that the product of the maximum radial velocity and the filament length is well correlated with the CME occurrence. If the product is larger than 8.0$\times$10$^{6}$ km$^{2}$ s$^{-1}$, the filament will become a CME with a probability of 93%, and if the product is smaller than this value, it will not become a CME with a probability of 100%. We suggest a kinetic-energy threshold above which filament eruptions are associated with CMEs. Our findings also suggest the importance of measuring the velocity vector of filament eruption in three-dimensional space for the better prediction of CME occurrence.


title: Quantum machine learning with adaptive linear optics

abstract: We study supervised learning algorithms in which a quantum device is used to perform a computational subroutine - either for prediction via probability estimation, or to compute a kernel via estimation of quantum states overlap. We design implementations of these quantum subroutines using Boson Sampling architectures in linear optics, supplemented by adaptive measurements. We then challenge these quantum algorithms by deriving classical simulation algorithms for the tasks of output probability estimation and overlap estimation. We obtain different classical simulability regimes for these two computational tasks in terms of the number of adaptive measurements and input photons. In both cases, our results set explicit limits to the range of parameters for which a quantum advantage can be envisaged with adaptive linear optics compared to classical machine learning algorithms: we show that the number of input photons and the number of adaptive measurements cannot be simultaneously small compared to the number of modes. Interestingly, our analysis leaves open the possibility of a near-term quantum advantage with a single adaptive measurement.


title: Finding Nash Equilibria of Two-Player Games

abstract: This paper is an exposition of algorithms for finding one or all equilibria of a bimatrix game (a two-player game in strategic form) in the style of a chapter in a graduate textbook. Using labeled "best-response polytopes", we present the Lemke-Howson algorithm that finds one equilibrium. We show that the path followed by this algorithm has a direction, and that the endpoints of the path have opposite index, in a canonical way using determinants. For reference, we prove that a number of notions of nondegeneracy of a bimatrix game are equivalent. The computation of all equilibria of a general bimatrix game, via a description of the maximal Nash subsets of the game, is canonically described using "complementary pairs" of faces of the best-response polytopes.


title: Synchronous Inductor Switched Energy Extraction Circuits for Triboelectric Nanogenerator

abstract: Triboelectric nanogenerator (TENG), a class of mechanical to electrical energy transducers, has emerged as a promising solution to self-power Internet of Things (IoT) sensors, wearable electronics, etc. The use of synchronous switched energy extraction circuits (EECs) as an interface between TENG and battery load can deliver multi-fold energy gain over simple minded Full Wave Rectification (FWR). This paper presents a detailed analysis of Parallel and Series Synchronous Switched Harvesting on Inductor (P-SSHI and S-SSHI) EECs to derive the energy delivered to the battery load and compare it with the standard FWR (a 3rd circuit) in a common analytical framework, under both realistic conditions, and also ideal conditions. Further, the optimal value of battery load to maximize output and upper bound beyond which charging is not feasible are derived for all the three considered circuits. These closed-form results derived with general TENG electrical parameters and first-order circuit non-idealities shed light on the physics of the modeling and guide the choice and design of EECs for any given TENG. The derived analytical results are verified against PSpice based simulation results as well as the experimentally measured values.


title: RMOPP: Robust Multi-Objective Post-Processing for Effective Object Detection

abstract: Over the last few decades, many architectures have been developed that harness the power of neural networks to detect objects in near real-time. Training such systems requires substantial time across multiple GPUs and massive labeled training datasets. Although the goal of these systems is generalizability, they are often impractical in real-life applications due to flexibility, robustness, or speed issues. This paper proposes RMOPP: A robust multi-objective post-processing algorithm to boost the performance of fast pre-trained object detectors with a negligible impact on their speed. Specifically, RMOPP is a statistically driven, post-processing algorithm that allows for simultaneous optimization of precision and recall. A unique feature of RMOPP is the Pareto frontier that identifies dominant possible post-processed detectors to optimize for both precision and recall. RMOPP explores the full potential of a pre-trained object detector and is deployable for near real-time predictions. We also provide a compelling test case on YOLOv2 using the MS-COCO dataset.


title: Can Existing Theory Predict the Response of Tropical Cyclone Intensity to Idealized Landfall?

abstract: Tropical cyclones cause significant inland hazards, including wind damage and freshwater flooding, that depend strongly on how storm intensity evolves at and after landfall. Existing theoretical predictions for the time-dependent and equilibrium response of storm intensity have been tested over the open ocean but not yet to be applied to storms after landfall. Recent work examined the transient response of the tropical cyclone low-level wind field to instantaneous surface roughening or drying in idealized axisymmetric f-plane simulations. Here, experiments testing combined surface roughening and drying with varying magnitudes of each are used to test theoretical predictions for the intensity response. The transient response to combined surface forcings can be reproduced by the product of their individual responses, in line with traditional potential intensity theory. Existing intensification theory is generalized to weakening and found capable of reproducing the time-dependent inland intensity decay. The initial (0-10min) rapid decay of near-surface wind caused by surface roughening is not captured by existing theory but can be reproduced by a simple frictional spin-down model, where the decay rate is a function of surface roughness. Finally, the theory is shown to compare well with the prevailing empirical decay model for real-world storms. Overall, results indicate the potential for existing theory to predict how tropical cyclone intensity evolves after landfall.


title: The braid group action on exceptional sequences for weighted projective lines

abstract: We give a new and intrinsic proof of the transitivity of the braid group action on the set of full exceptional sequences of coherent sheaves on a weighted projective line. We do not use here the corresponding result of Crawley-Boevey for modules over hereditary algebras. As an application we prove that the strongest global dimension of the category of coherent sheaves on a weighted projective line $\XX$ does not depend on the parameters of $\XX$. Finally we prove that the determinant of the matrix obtained by taking the values of $n$ $\ZZ$-linear functions defined on the Grothendieck group $K_0(\XX) \simeq \ZZ^n $ of the elements of a full exceptional sequence is an invariant, up to sign.


title: Broadband RF Phased Array Design with MEEP: Comparisons to Array Theory in Two and Three Dimensions

abstract: Phased array radar systems have a wide variety of applications in engineering and physics research. Phased array design usually requires numerical modeling with expensive commercial computational packages. Using the open-source MIT Electrogmagnetic Equation Propagation (MEEP) package, a set of phased array designs is presented. Specifically, one and two-dimensional arrays of Yagi-Uda and horn antennas were modeled in the bandwidth [0.1 - 5] GHz, and compared to theoretical expectations in the far-field. Precise matches between MEEP simulation and radiation pattern predictions at different frequencies and beam angles are demonstrated. Given that the computations match the theory, the effect of embedding a phased array within a medium of varying index of refraction is then computed. Understanding the effect of varying index on phased arrays is critical for proposed ultra-high energy neutrino observatories which rely on phased array detectors embedded in natural ice. Future work will develop the phased array concepts with parallel MEEP, in order to increase the detail, complexity, and speed of the computations.


title: Tightness and Equivalence of Semidefinite Relaxations for MIMO Detection

abstract: The multiple-input multiple-output (MIMO) detection problem, a fundamental problem in modern digital communications, is to detect a vector of transmitted symbols from the noisy outputs of a fading MIMO channel. The maximum likelihood detector can be formulated as a complex least-squares problem with discrete variables, which is NP-hard in general. Various semidefinite relaxation (SDR) methods have been proposed in the literature to solve the problem due to their polynomial-time worst-case complexity and good detection error rate performance. In this paper, we consider two popular classes of SDR-based detectors and study the conditions under which the SDRs are tight and the relationship between different SDR models. For the enhanced complex and real SDRs proposed recently by Lu et al., we refine their analysis and derive the necessary and sufficient condition for the complex SDR to be tight, as well as a necessary condition for the real SDR to be tight. In contrast, we also show that another SDR proposed by Mobasher et al. is not tight with high probability under mild conditions. Moreover, we establish a general theorem that shows the equivalence between two subsets of positive semidefinite matrices in different dimensions by exploiting a special "separable" structure in the constraints. Our theorem recovers two existing equivalence results of SDRs defined in different settings and has the potential to find other applications due to its generality.