title: Novel Theorems and Algorithms Relating to the Collatz Conjecture

abstract: Proposed in 1937, the Collatz conjecture has remained in the spotlight for mathematicians and computer scientists alike due to its simple proposal, yet intractable proof. In this paper, we propose several novel theorems, corollaries, and algorithms that explore relationships and properties between the natural numbers, their peak values, and the conjecture. These contributions primarily analyze the number of Collatz iterations it takes for a given integer to reach 1 or a number less than itself, or the relationship between a starting number and its peak value.


title: Bringing Yang-Mills Theory Closer to Quasiclassics

abstract: A deformation of pure Yang-Mill theory by a phantom field similar to the Faddeev-Popov ghost is considered. In this theory an {\em Ersatz}-supersymmetry is identified which results in cancellation of quantum corrections up to two-loop order. A quadruplet built from two complex fields in the adjoint -- the Faddeev-Popov ghost $c^a$ and the phantom $\Phi^a$, all with the wrong statistics -- balances four gauge fields $a_\mu^a$. At this level, the instanton measure and the $\beta$ function is fully determined by quasiclassics. In a simple $\phi^4$ theory with a phantom added I identify a strictly conserved {\em Ersatz}-supercurrent. In the latter theory unitarity of amplitudes persists despite the presence of the phantom. In deformed Yang-Mills it is likely (although not proven) to persist too in all amplitudes with only gluon external legs. It remains to be seen whether this construction is just a device facilitating some loop calculations or broader applications can be found.


title: Uncertainty-Aware Boosted Ensembling in Multi-Modal Settings

abstract: Reliability of machine learning (ML) systems is crucial in safety-critical applications such as healthcare, and uncertainty estimation is a widely researched method to highlight the confidence of ML systems in deployment. Sequential and parallel ensemble techniques have shown improved performance of ML systems in multi-modal settings by leveraging the feature sets together. We propose an uncertainty-aware boosting technique for multi-modal ensembling in order to focus on the data points with higher associated uncertainty estimates, rather than the ones with higher loss values. We evaluate this method on healthcare tasks related to Dementia and Parkinson's disease which involve real-world multi-modal speech and text data, wherein our method shows an improved performance. Additional analysis suggests that introducing uncertainty-awareness into the boosted ensembles decreases the overall entropy of the system, making it more robust to heteroscedasticity in the data, as well as better calibrating each of the modalities along with high quality prediction intervals. We open-source our entire codebase at https://github.com/usarawgi911/Uncertainty-aware-boosting


title: Accelerating SpMM Kernel with Cache-First Edge Sampling for Graph Neural Networks

abstract: Graph neural networks (GNNs), an emerging deep learning model class, can extract meaningful representations from highly expressive graph-structured data and are therefore gaining popularity for wider ranges of applications. However, current GNNs suffer from the poor performance of their sparse-dense matrix multiplication (SpMM) operator, even when using powerful GPUs. Our analysis shows that 95% of the inference time could be spent on SpMM when running popular GNN models on NVIDIA's advanced V100 GPU. Such SpMM performance bottleneck hinders GNNs' applicability to large-scale problems or the development of more sophisticated GNN models. To address this inference time bottleneck, we introduce ES-SpMM, a cache-first edge sampling mechanism and codesigned SpMM kernel. ES-SpMM uses edge sampling to downsize the graph to fit into GPU's shared memory. It thus reduces the computation cost and improves SpMM's cache locality. To evaluate ES-SpMM's performance, we integrated it with a popular GNN framework, DGL, and tested it using representative GNN models and datasets. Our results show that ES-SpMM outperforms the highly optimized cuSPARSE SpMM kernel by up to 4.35x with no accuracy loss and by 45.3x with less than a 1% accuracy loss.


title: Komar integrals for theories of higher order in the curvature and black-hole chemistry

abstract: We construct Komar-type integrals for theories of gravity of higher order in the Riemann curvature coupled to simple kinds of matter (scalar and vector fields) and we use them to compute Smarr formulae for black-hole solutions in those theories. The equivalence between f(R) and Brans-Dicke theories is used to argue that the dimensionful parameters that appear in scalar potentials must be interpreted as thermodynamical variables ("pressures") and we give a general expression for their conjugate potentials ("volumes"}.


title: Actor of a crossed module of dialgebras via tetramultipliers

abstract: We study the representability of actions in the category of crossed modules of dialgebras via tetramultipliers. We deduce a pair of dialgebras in order to construct an object which, under certain circumstances, is the actor (also known as the split extension classifier). Moreover, we give give a full description of actions in terms of equations. Finally, we check that under the aforementioned circumstances, the center coincides with the kernel of the canonical map from a crossed module to its actor.


title: A Fully Spiking Hybrid Neural Network for Energy-Efficient Object Detection

abstract: This paper proposes a Fully Spiking Hybrid Neural Network (FSHNN) for energy-efficient and robust object detection in resource-constrained platforms. The network architecture is based on Convolutional SNN using leaky-integrate-fire neuron models. The model combines unsupervised Spike Time-Dependent Plasticity (STDP) learning with back-propagation (STBP) learning methods and also uses Monte Carlo Dropout to get an estimate of the uncertainty error. FSHNN provides better accuracy compared to DNN based object detectors while being 150X energy-efficient. It also outperforms these object detectors, when subjected to noisy input data and less labeled training data with a lower uncertainty error.


title: Stormwater on the Margins: Influence of Race, Gender, and Education on Willingness to Participate in Stormwater Management

abstract: Stormwater has immense impacts on urban flooding and water quality, leaving the marginalized and the impoverished disproportionately impacted by and vulnerable to stormwater hazards. However, the environmental health concerns of socially and economically marginalized individuals are largely underestimated. Through regression analysis of data from three longitudinal surveys, this article examines if and how an individual's race, gender, and education level help predict one's concern about and willingness to participate in stormwater management. We found that people of color, women, and less-educated respondents had a greater willingness to participate in stormwater management than White, male, and more-educated respondents, and their concern about local stormwater hazards drove their willingness to participate. Our analysis suggests that physical exposure and high vulnerability to stormwater hazards may shape an individual's concern about and willingness to participate in stormwater management.


title: A convergent numerical scheme for a model of liquid crystal dynamics subjected to an electric field

abstract: We present a convergent and constraint-preserving numerical discretization of a mathematical model for the dynamics of a liquid crystal subjected to an electric field. This model can be derived from the Oseen-Frank director field theory, assuming that the dynamics of the electric field are governed by the electrostatics equations with a suitable constitutive relation for the electric displacement field that describes the coupling with the liquid crystal director field. The resulting system of partial differential equations consists of an elliptic equation that is coupled to the wave map equations through a quadratic source term. We show that the discretization preserves the unit length constraint of the director field, is energy-stable and convergent. In numerical experiments, we show that the method is stable even when singularities develop. Moreover, predictions about the alignment of the director field with the electric field are confirmed.


title: Towards 3D Metric GPR Imaging Based on DNN Noise Removal and Dielectric Estimation

abstract: Ground Penetrating Radar (GPR) is one of the most important non-destructive evaluation (NDE) devices to detect subsurface objects (i.e., rebars, utility pipes) and reveal the underground scene. The two biggest challenges in GPR-based inspection are the GPR data collection and subsurface target imaging. To address these challenges, we propose a robotic solution that automates the GPR data collection process with a free motion pattern. It facilitates the 3D metric GPR imaging by tagging the pose information with GPR measurement in real-time. We also introduce a deep neural network (DNN) based GPR data analysis method which includes a noise removal segmentation module to clear the noise in GPR raw data and a DielectricNet to estimate the dielectric value of subsurface media in each GPR B-scan data. We use both the field and synthetic data to verify the proposed method. Experimental results demonstrate that our proposed method can achieve better performance and faster processing speed in GPR data collection and 3D GPR imaging than other methods.


title: On absorbing set for 3D Maxwell--Schr\"odinger damped driven equations in bounded region

abstract: We consider the 3D damped driven Maxwell--Schr\"odinger equations in a bounded region under suitable boundary conditions. We establish new a priori estimates, which provide the existence of global finite energy weak solutions and bounded absorbing set. The proofs rely on the Sobolev type estimates for magnetic Schr\"odinger operator.


title: Cohomology and deformations of O-operators on Hom-associative algebras

abstract: In this paper, we introduce the cohomology theory of $\mathcal{O}$-operators on Hom-associative algebras. This cohomology can also be viewed as the Hochschild cohomology of a certain Hom-associative algebra with coefficients in a suitable bimodule. Next, we study infinitesimal and formal deformations of an $\mathcal{O}$-operator and show that they are governed by the above-defined cohomology. Furthermore, the notion of Nijenhuis elements associated with an $\mathcal{O}$-operator is introduced to characterize trivial infinitesimal deformations.


title: Unusual excitations and double-peak specific heat in a bond-alternating spin-$1$ $K$-$\Gamma$ chain

abstract: One-dimensional gapped phases that avoid any symmetry breaking have drawn enduring attention. In this paper, we study such phases in a bond-alternating spin-1 $K$-$\Gamma$ chain built of a Kitaev ($K$) interaction and an off-diagonal $\Gamma$ term. In the case of isotropic bond strength, a Haldane phase, which resembles the ground state of a spin-$1$ Heisenberg chain, is identified in a wide region. A gapped Kitaev phase situated at dominant ferromagnetic and antiferromagnetic Kitaev limits is also found. The Kitaev phase has extremely short-range spin correlations and is characterized by finite $\mathbb{Z}_2$-valued quantities on bonds. Its lowest entanglement spectrum is unique, in contrast to the Haldane phase whose entanglement spectrum is doubly degenerate. In addition, the Kitaev phase shows a double-peak structure in the specific heat at two different temperatures. In the pure Kitaev limit, the two peaks are representative of the development of short-range spin correlation at $T_h \simeq 0.5680$ and the freezing of $\mathbb{Z}_2$ quantities at $T_l \simeq 0.0562$, respectively. By considering bond anisotropy, regions of Haldane phase and Kitaev phase are enlarged, accompanied by the emergence of dimerized phases and three distinct magnetically ordered states.


title: Learning Fine-grained Fact-Article Correspondence in Legal Cases

abstract: Automatically recommending relevant law articles to a given legal case has attracted much attention as it can greatly release human labor from searching over the large database of laws. However, current researches only support coarse-grained recommendation where all relevant articles are predicted as a whole without explaining which specific fact each article is relevant with. Since one case can be formed of many supporting facts, traversing over them to verify the correctness of recommendation results can be time-consuming. We believe that learning fine-grained correspondence between each single fact and law articles is crucial for an accurate and trustworthy AI system. With this motivation, we perform a pioneering study and create a corpus with manually annotated fact-article correspondences. We treat the learning as a text matching task and propose a multi-level matching network to address it. To help the model better digest the content of law articles, we parse articles in form of premise-conclusion pairs with random forest. Experiments show that the parsed form yielded better performance and the resulting model surpassed other popular text matching baselines. Furthermore, we compare with previous researches and find that establishing the fine-grained fact-article correspondences can improve the recommendation accuracy by a large margin. Our best system reaches an F1 score of 96.3%, making it of great potential for practical use. It can also significantly boost the downstream task of legal decision prediction, increasing the F1 score by up to 12.7%.


title: Deep limits and cut-off phenomena for neural networks

abstract: We consider dynamical and geometrical aspects of deep learning. For many standard choices of layer maps we display semi-invariant metrics which quantify differences between data or decision functions. This allows us, when considering random layer maps and using non-commutative ergodic theorems, to deduce that certain limits exist when letting the number of layers tend to infinity. We also examine the random initialization of standard networks where we observe a surprising cut-off phenomenon in terms of the number of layers, the depth of the network. This could be a relevant parameter when choosing an appropriate number of layers for a given learning task, or for selecting a good initialization procedure. More generally, we hope that the notions and results in this paper can provide a framework, in particular a geometric one, for a part of the theoretical understanding of deep neural networks.


title: Lax representations via twisted extensions of infinite-dimensional Lie algebras: some new results

abstract: We apply the technique of twisted extensions of infinite-dimensional Lie algebras to find new 3D integrable {\sc pde}s related to the deformations of Lie algebra $\mathbb{R}_N[s]\otimes \mathfrak{w}$ with $N=1, 2$ as well as to the Lie algebra $\mathfrak{h} \oplus \mathfrak{w}$, where $\mathbb{R}_N[s]$ is the algebra of truncated polynomials of degree $N$, $\mathfrak{w}$ is the Lie algebra of polynomial vector fields on $\mathbb{R}$ and $\mathfrak{h}$ is the Lie algebra of polynomial Hamiltonian vector fields on $\mathbb{R}^2$.


title: Low-Light Image and Video Enhancement Using Deep Learning: A Survey

abstract: Low-light image enhancement (LLIE) aims at improving the perception or interpretability of an image captured in an environment with poor illumination. Recent advances in this area are dominated by deep learning-based solutions, where many learning strategies, network structures, loss functions, training data, etc. have been employed. In this paper, we provide a comprehensive survey to cover various aspects ranging from algorithm taxonomy to open issues. To examine the generalization of existing methods, we propose a low-light image and video dataset, in which the images and videos are taken by different mobile phones' cameras under diverse illumination conditions. Besides, for the first time, we provide a unified online platform that covers many popular LLIE methods, of which the results can be produced through a user-friendly web interface. In addition to qualitative and quantitative evaluation of existing methods on publicly available and our proposed datasets, we also validate their performance in face detection in the dark.This survey together with the proposed dataset and online platform could serve as a reference source for future study and promote the development of this research field. The proposed platform and dataset as well as the collected methods, datasets, and evaluation metrics are publicly available and will be regularly updated.


title: Relative Position Estimation Between Two UWB Devices with IMUs

abstract: For a team of robots to work collaboratively, it is crucial that each robot have the ability to determine the position of their neighbors, relative to themselves, in order to execute tasks autonomously. This letter presents an algorithm for determining the three-dimensional relative position between two mobile robots, each using nothing more than a single ultra-wideband transceiver, an accelerometer, a rate gyro, and a magnetometer. A sliding window filter estimates the relative position at selected keypoints by combining the distance measurements with acceleration estimates, which each agent computes using an on-board attitude estimator. The algorithm is appropriate for real-time implementation, and has been tested in simulation and experiment, where it comfortably outperforms standard estimators. A positioning accuracy of less than 1 meter is achieved with inexpensive sensors.


title: Mixture Models for the Analysis, Edition, and Synthesis of Continuous Time Series

abstract: This chapter presents an overview of techniques used for the analysis, edition, and synthesis of time series, with a particular emphasis on motion data. The use of mixture models allows the decomposition of time signals as a superposition of basis functions. It provides a compact representation that aims at keeping the essential characteristics of the signals. Various types of basis functions have been proposed, with developments originating from different fields of research, including computer graphics, human motion science, robotics, control, and neuroscience. Examples of applications with radial, Bernstein and Fourier basis functions will be presented, with associated source codes to get familiar with these techniques.


title: The Acceleration of Charged Particles and Formation of Power-law Energy Spectra in Nonrelativistic Magnetic Reconnection

abstract: Magnetic reconnection is a primary driver of particle acceleration processes in space and astrophysical plasmas. Understanding how particles are accelerated and the resulting particle energy spectra is among the central topics in reconnection studies. We review recent advances in addressing this problem in nonrelativistic reconnection that is relevant to space and solar plasmas and beyond. We focus on particle acceleration mechanisms, particle transport due to 3D reconnection physics, and their roles in forming power-law particle energy spectra. We conclude by pointing out the challenges in studying particle acceleration and transport in a large-scale reconnection layer and the relevant issues to be addressed in the future.


title: Compactness of composition operators on the Bergman spaces of convex domains and analytic discs

abstract: We study the compactness of composition operators on the Bergman spaces of certain bounded convex domains in $\mathbb{C}^n$ with non-trivial analytic discs contained in the boundary. As a consequence we characterize that compactness of the composition operator with a continuous symbol (up to the closure) on the Bergman space of the polydisc.


title: Digraphs with exactly one Eulerian tour

abstract: We give two combinatorial proofs of the fact that the number of loopless digraphs on the vertex set $[n]$ with no isolated vertices and with exactly one Eulerian tour up to a cyclic shift is $\frac{1}{2}(n-1)!C_{n}$, where $C_{n}$ denotes the $n$-th Catalan number. We construct a bijection with a set of labeled rooted plane trees and with a set of valid parenthesis arrangements.


title: The Maximal Eigengap Estimator for Acoustic Vector-Sensor Processing

abstract: This paper introduces the maximal eigengap estimator for finding the direction of arrival of a wideband acoustic signal using a single vector-sensor. We show that in this setting narrowband cross-spectral density matrices can be combined in an optimal weighting that approximately maximizes signal-to-noise ratio across a wide frequency band. The signal subspace resulting from this optimal combination of narrowband power matrices defines the maximal eigengap estimator. We discuss the advantages of the maximal eigengap estimator over competing methods, and demonstrate its utility in a real-data application using signals collected in 2019 from an acoustic vector-sensor deployed in the Monterey Bay.


title: Network diffusion capacity unveiled by dynamical paths

abstract: Improving the understanding of diffusive processes in networks with complex topologies is one of the main challenges of today's complexity science. Each network possesses an intrinsic diffusive potential that depends on its structural connectivity. However, the diffusion of a process depends not only on this topological potential but also on the dynamical process itself. Quantifying this potential will allow the design of more efficient systems in which it is necessary either to weaken or to enhance diffusion. Here we introduce a measure, the {\em diffusion capacity}, that quantifies, through the concept of dynamical paths, the potential of an element of the system, and also, of the system itself, to propagate information. Among other examples, we study a heat diffusion model and SIR model to demonstrate the value of the proposed measure. We found, in the last case, that diffusion capacity can be used as a predictor of the evolution of the spreading process. In general, we show that the diffusion capacity provides an efficient tool to evaluate the performance of systems, and also, to identify and quantify structural modifications that could improve diffusion mechanisms.


title: Feedforward-Feedback wake redirection for wind farm control

abstract: This work presents a combined feedforward-feedback wake redirection framework for wind farm control. The FLORIS wake model, a control-oriented steady-state wake model is used to calculate optimal yaw angles for a given wind farm layout and atmospheric condition. The optimal yaw angles, which maximize the total power output, are applied to the wind farm. Further, the lidar-based closed-loop wake redirection concept is used to realize a local feedback on turbine level. The wake center is estimated from lidar measurements \unit[3]{D} downwind of the wind turbines. The dynamical feedback controllers support the feedforward controller and reject disturbances and adapt to model uncertainties. Altogether, the total framework is presented and applied to a nine turbine wind farm test case. In a high fidelity simulation study the concept shows promising results and an increase in total energy production compared to the baseline case and the feedforward-only case.


title: Geometrically Regulating Evolutionary Dynamics in Biofilms

abstract: Theoretical understanding of evolutionary dynamics in spatially structured populations often relies on non-spatial models. Biofilms are among such populations where a more accurate understanding is of theoretical interest and can reveal new solutions to existing challenges. Here, we studied how the geometry of the environment affects the evolutionary dynamics of expanding populations, using the Eden model. Our results show that fluctuations of sub-populations during range expansion in 2D and 3D environments are not Brownian. Furthermore, we found that the substrate's geometry interferes with the evolutionary dynamics of populations that grow upon it. Inspired by these findings, we propose a periodically wedged pattern on surfaces prone to develop biofilms. On such patterned surfaces, natural selection becomes less effective and beneficial mutants would have a harder time establishing. Additionally, this modification accelerates genetic drift and leads to less diverse biofilms. Both interventions are highly desired for biofilms.


title: Surface Disinfection using Ultraviolet Lightwith a Mobile Manipulation Robot

abstract: Robots are being increasingly used in the fight against highly-infectious diseases such as Ebola, MERS, and SARS-COV-2. Many of the robots that are being used employ ultraviolet lights mounted on a mobile base to inactivate the pathogens. However, these lights are often mounted in a fixed configuration and do not provide adequate decontamination of horizontal surfaces, which can be a major source of cross-contamination. In the paper, we describe the design, implementation, and testing of an Ultraviolet Germicidal Irradiation (UVGI) system implemented on a mobile manipulation robot. A human supervisor designates a surface for disinfection, the robot autonomously plans and executes an end-effector trajectory to disinfect the surface to the required certainty, and then displays the results for the human supervisor to verify. We also provide some background information on UVGI and describe how we constructed and validated mathematical models of Ultraviolet (UV) radiation propagation and accumulation. Finally, we describe our implementation on a Fetch mobile manipulation platform, and discuss how the practicalities of implementation on a real robot affect our models.


title: Robust Testing and Estimation under Manipulation Attacks

abstract: We study robust testing and estimation of discrete distributions in the strong contamination model. We consider both the "centralized setting" and the "distributed setting with information constraints" including communication and local privacy (LDP) constraints. Our technique relates the strength of manipulation attacks to the earth-mover distance using Hamming distance as the metric between messages(samples) from the users. In the centralized setting, we provide optimal error bounds for both learning and testing. Our lower bounds under local information constraints build on the recent lower bound methods in distributed inference. In the communication constrained setting, we develop novel algorithms based on random hashing and an $\ell_1/\ell_1$ isometry.


title: AdaptiFont: Increasing Individuals' Reading Speed with a Generative Font Model and Bayesian Optimization

abstract: Digital text has become one of the primary ways of exchanging knowledge, but text needs to be rendered to a screen to be read. We present AdaptiFont, a human-in-the-loop system that is aimed at interactively increasing readability of text displayed on a monitor. To this end, we first learn a generative font space with non-negative matrix factorization from a set of classic fonts. In this space we generate new true-type-fonts through active learning, render texts with the new font, and measure individual users' reading speed. Bayesian optimization sequentially generates new fonts on the fly to progressively increase individuals' reading speed. The results of a user study show that this adaptive font generation system finds regions in the font space corresponding to high reading speeds, that these fonts significantly increase participants' reading speed, and that the found fonts are significantly different across individual readers.


title: Robustness of ML-Enhanced IDS to Stealthy Adversaries

abstract: Intrusion Detection Systems (IDS) enhanced with Machine Learning (ML) have demonstrated the capacity to efficiently build a prototype of "normal" cyber behaviors in order to detect cyber threats' activity with greater accuracy than traditional rule-based IDS. Because these are largely black boxes, their acceptance requires proof of robustness to stealthy adversaries. Since it is impossible to build a baseline from activity completely clean of that of malicious cyber actors (outside of controlled experiments), the training data for deployed models will be poisoned with examples of activity that analysts would want to be alerted about. We train an autoencoder-based anomaly detection system on network activity with various proportions of malicious activity mixed in and demonstrate that they are robust to this sort of poisoning.


title: A Unifying Bayesian Formulation of Measures of Interpretability in Human-AI

abstract: Existing approaches for generating human-aware agent behaviors have considered different measures of interpretability in isolation. Further, these measures have been studied under differing assumptions, thus precluding the possibility of designing a single framework that captures these measures under the same assumptions. In this paper, we present a unifying Bayesian framework that models a human observer's evolving beliefs about an agent and thereby define the problem of Generalized Human-Aware Planning. We will show that the definitions of interpretability measures like explicability, legibility and predictability from the prior literature fall out as special cases of our general framework. Through this framework, we also bring a previously ignored fact to light that the human-robot interactions are in effect open-world problems, particularly as a result of modeling the human's beliefs over the agent. Since the human may not only hold beliefs unknown to the agent but may also form new hypotheses about the agent when presented with novel or unexpected behaviors.


title: Electrification of Commercial E-buses by Utilizing Stationary Battery Energy Storage Systems for Mass Transportation Network in Los Angeles

abstract: The 2028 LA Olympics is approaching, and the mass transportation network requires to be expanded. The green electric bus transportation system is gaining increasing attention as an essential step to mitigate emission concerns. However, the introduction of a large electric bus fleet will increase the peak load demand, which will adversely affect the grid. This research addresses the issue of an increase in the peak load demand due to the introduction of the electric bus fleet. Therefore, the potential implementation of stationary battery energy storage systems is investigated to shave the peak load demand by providing energy during peak hours. Moreover, a fleet management software implementation has been demonstrated for a test case scenario in Los Angeles. As a result, based on specific energy demand values, battery hardware options, standard e-bus driving cycles and profiles, and local bus route characteristics, the optimal battery specifications, and power rates have been addressed. Moreover, techno-economic analysis has been carried out to demonstrate the cost-benefit analysis.


title: PocketNet: A Smaller Neural Network for Medical Image Analysis

abstract: Medical imaging deep learning models are often large and complex, requiring specialized hardware to train and evaluate these models. To address such issues, we propose the PocketNet paradigm to reduce the size of deep learning models by throttling the growth of the number of channels in convolutional neural networks. We demonstrate that, for a range of segmentation and classification tasks, PocketNet architectures produce results comparable to that of conventional neural networks while reducing the number of parameters by multiple orders of magnitude, using up to 90% less GPU memory, and speeding up training times by up to 40%, thereby allowing such models to be trained and deployed in resource-constrained settings.


title: Automatic model training under restrictive time constraints

abstract: We develop a hyperparameter optimisation algorithm, Automated Budget Constrained Training (AutoBCT), which balances the quality of a model with the computational cost required to tune it. The relationship between hyperparameters, model quality and computational cost must be learnt and this learning is incorporated directly into the optimisation problem. At each training epoch, the algorithm decides whether to terminate or continue training, and, in the latter case, what values of hyperparameters to use. This decision weighs optimally potential improvements in the quality with the additional training time and the uncertainty about the learnt quantities. The performance of our algorithm is verified on a number of machine learning problems encompassing random forests and neural networks. Our approach is rooted in the theory of Markov decision processes with partial information and we develop a numerical method to compute the value function and an optimal strategy.


title: Accented Speech Recognition: A Survey

abstract: Automatic Speech Recognition (ASR) systems generalize poorly on accented speech. The phonetic and linguistic variability of accents present hard challenges for ASR systems today in both data collection and modeling strategies. The resulting bias in ASR performance across accents comes at a cost to both users and providers of ASR. We present a survey of current promising approaches to accented speech recognition and highlight the key challenges in the space. Approaches mostly focus on single model generalization and accent feature engineering. Among the challenges, lack of a standard benchmark makes research and comparison especially difficult.


title: Clustering Introductory Computer Science Exercises Using Topic Modeling Methods

abstract: Manually determining concepts present in a group of questions is a challenging and time-consuming process. However, the process is an essential step while modeling a virtual learning environment since a mapping between concepts and questions using mastery level assessment and recommendation engines are required. We investigated unsupervised semantic models (known as topic modeling techniques) to assist computer science teachers in this task and propose a method to transform Computer Science 1 teacher-provided code solutions into representative text documents, including the code structure information. By applying non-negative matrix factorization and latent Dirichlet allocation techniques, we extract the underlying relationship between questions and validate the results using an external dataset. We consider the interpretability of the learned concepts using 14 university professors' data, and the results confirm six semantically coherent clusters using the current dataset. Moreover, the six topics comprise the main concepts present in the test dataset, achieving 0.75 in the normalized pointwise mutual information metric. The metric correlates with human ratings, making the proposed method useful and providing semantics for large amounts of unannotated code.


title: Constantine: Automatic Side-Channel Resistance Using Efficient Control and Data Flow Linearization

abstract: In the era of microarchitectural side channels, vendors scramble to deploy mitigations for transient execution attacks, but leave traditional side-channel attacks against sensitive software (e.g., crypto programs) to be fixed by developers by means of constant-time programming (i.e., absence of secret-dependent code/data patterns). Unfortunately, writing constant-time code by hand is hard, as evidenced by the many flaws discovered in production side channel-resistant code. Prior efforts to automatically transform programs into constant-time equivalents offer limited security or compatibility guarantees, hindering their applicability to real-world software. In this paper, we present Constantine, a compiler-based system to automatically harden programs against microarchitectural side channels. Constantine pursues a radical design point where secret-dependent control and data flows are completely linearized (i.e., all involved code/data accesses are always executed). This strategy provides strong security and compatibility guarantees by construction, but its natural implementation leads to state explosion in real-world programs. To address this challenge, Constantine relies on carefully designed optimizations such as just-in-time loop linearization and aggressive function cloning for fully context-sensitive points-to analysis, which not only address state explosion, but also lead to an efficient and compatible solution. Constantine yields overheads as low as 16% on standard benchmarks and can handle a fully-fledged component from the production wolfSSL library.


title: Precision Matrix Estimation under the Horseshoe-like Prior-Penalty Dual

abstract: Precision matrix estimation in a multivariate Gaussian model is fundamental to network estimation. Although there exist both Bayesian and frequentist approaches to this, it is difficult to obtain good Bayesian and frequentist properties under the same prior--penalty dual. To bridge this gap, our contribution is a novel prior--penalty dual that closely approximates the graphical horseshoe prior and penalty, and performs well in both Bayesian and frequentist senses. A chief difficulty with the horseshoe prior is a lack of closed form expression of the density function, which we overcome in this article. In terms of theory, we establish posterior convergence rate of the precision matrix that matches the oracle rate, in addition to the frequentist consistency of the MAP estimator. In addition, our results also provide theoretical justifications for previously developed approaches that have been unexplored so far, e.g. for the graphical horseshoe prior. Computationally efficient EM and MCMC algorithms are developed respectively for the penalized likelihood and fully Bayesian estimation problems. In numerical experiments, the horseshoe-based approaches echo their superior theoretical properties by comprehensively outperforming the competing methods. A protein--protein interaction network estimation in B-cell lymphoma is considered to validate the proposed methodology.


title: Rule Generation for Classification: Scalability, Interpretability, and Fairness

abstract: We introduce a new rule-based optimization method for classification with constraints. The proposed method leverages column generation for linear programming, and hence, is scalable to large datasets. The resulting pricing subproblem is shown to be NP-Hard. We recourse to a decision tree-based heuristic and solve a proxy pricing subproblem for acceleration. The method returns a set of rules along with their optimal weights indicating the importance of each rule for learning. We address interpretability and fairness by assigning cost coefficients to the rules and introducing additional constraints. In particular, we focus on local interpretability and generalize separation criterion in fairness to multiple sensitive attributes and classes. We test the performance of the proposed methodology on a collection of datasets and present a case study to elaborate on its different aspects. The proposed rule-based learning method exhibits a good compromise between local interpretability and fairness on the one side, and accuracy on the other side.


title: A Concise Guide on the Integration of Battery Electric Buses into Urban Bus Networks

abstract: With the increasing market penetration of battery-electric buses into urban bus networks, practitioners face many novel planning problems. As a result, the interest in optimization-based decision-making for these planning problems increases but practitioners' requirements on planning solutions and current academic approaches often diverge. Against this background, this survey aims to provide a concise guide on optimization-based planning approaches for integrating battery-electric buses into urban bus networks for both practitioners and academics. First, we derive practitioners' requirements for integrating battery-electric buses from state-of-the-art specifications, project reports, and expert knowledge. Second, we analyze whether existing optimization-based planning models fulfill these practitioners' requirements. Based on this analysis, we carve out the existing gap between practice and research and discuss how to address these in future research.


title: Multi-task Learning with Attention for End-to-end Autonomous Driving

abstract: Autonomous driving systems need to handle complex scenarios such as lane following, avoiding collisions, taking turns, and responding to traffic signals. In recent years, approaches based on end-to-end behavioral cloning have demonstrated remarkable performance in point-to-point navigational scenarios, using a realistic simulator and standard benchmarks. Offline imitation learning is readily available, as it does not require expensive hand annotation or interaction with the target environment, but it is difficult to obtain a reliable system. In addition, existing methods have not specifically addressed the learning of reaction for traffic lights, which are a rare occurrence in the training datasets. Inspired by the previous work on multi-task learning and attention modeling, we propose a novel multi-task attention-aware network in the conditional imitation learning (CIL) framework. This does not only improve the success rate of standard benchmarks, but also the ability to react to traffic lights, which we show with standard benchmarks.


title: Wolstenholme Type Congruences and Framing of Rational 2-Functions

abstract: We show that the framing of $2$-sequences whose generating functions are rational integrate to $3$-sequences. To do so, we give a generalization of Wolstenholme's Theorem.


title: On circulant nut graphs

abstract: A nut graph is a simple graph whose adjacency matrix has the eigenvalue~0 with multiplicity~1 such that its corresponding eigenvector has no zero entries. Motivated by a question of Fowler et al.~[\emph{Disc. Math. Graph Theory} 40 (2020), 533--557] to determine the pairs $(n,d)$ for which a vertex-transitive nut graph of order $n$ and degree $d$ exists, Ba\v si\'c et al.\ [\arxiv{2102.04418}, 2021] initiated the study of circulant nut graphs. Here we first show that the generator set of a circulant nut graph necessarily contains equally many even and odd integers. Then we characterize circulant nut graphs with the generator set $\{x,x+1,\dots,x+2t-1\}$ for $x,t\in\N$, which generalizes the result of Ba\v si\'c et al.\ for the generator set $\{1,\dots,2t\}$. We further study circulant nut graphs with the generator set $\{1,\dots,2t+1\}\setminus\{t\}$, which yields nut graphs of every even order $n\geq 4t+4$ whenever $t$~is odd such that $t\not\equiv_{10}1$ and $t\not\equiv_{18}15$. This fully resolves Conjecture~9 from Ba\v si\'c et al.~[ibid.]. We also study the existence of $4t$-regular circulant nut graphs for small values of~$t$, which partially resolves Conjecture~10 of Ba\v si\'c et al.~[ibid.].


title: Determining the doubly slice genera of prime knots with up to 12 crossings

abstract: For a knot $K$, the doubly slice genus $g_{ds}(K)$ is the minimal $g$ such that $K$ divides a closed, orientable, and unknotted surface of genus $g$ embedded in $S^4$. In this paper, we identify the doubly slice genera of 2909 of the 2977 prime knots which have a crossing number of 12 or fewer.


title: Scene-aware Far-field Automatic Speech Recognition

abstract: We propose a novel method for generating scene-aware training data for far-field automatic speech recognition. We use a deep learning-based estimator to non-intrusively compute the sub-band reverberation time of an environment from its speech samples. We model the acoustic characteristics of a scene with its reverberation time and represent it using a multivariate Gaussian distribution. We use this distribution to select acoustic impulse responses from a large real-world dataset for augmenting speech data. The speech recognition system trained on our scene-aware data consistently outperforms the system trained using many more random acoustic impulse responses on the REVERB and the AMI far-field benchmarks. In practice, we obtain 2.64% absolute improvement in word error rate compared with using training data of the same size with uniformly distributed reverberation times.


title: Charge- and anion-orderings in the quasi-one-dimensional organic conductor (TMTTF)$_2$NO$_3$

abstract: The quasi-one-dimensional organic conductors (TMTTF)$_2X$ with non-centrosymmetric anions commonly undergo charge- and anion-order transitions upon cooling. While for compounds with tetrahedral anions ($X$ = BF$_4^-$, ReO$_4^-$, and ClO$_4^-$) the charge-ordered phase is rather well understood, the situation is less clear in the case of planar triangular anions, such as (TMTTF)$_2$NO$_3$. Here we explore the electronic and structural transitions by transport experiments, optical and magnetic spectroscopy. This way we analyze the temperature dependence of the charge imbalance 2$\delta$ and an activated behavior of $\rho(T)$ with $\Delta_{\rm CO}\approx 530$~K below $T_{\rm CO} = 250$~K. Since (TMTTF)$_2$NO$_3$ follows the universal relation between charge imbalance 2$\delta$ and size of the gap $\Delta_{\rm CO}$, our findings suggest that charge order is determined by TMTTF stacks with little influence of the anions. Clear signatures of anion ordering are detected at $T_{\rm AO}=50$~K. The tetramerization affects the dc transport, the vibrational features of donors and acceptors, and leads to formation of spin singlets.


title: Singularity Formation in the Deterministic and Stochastic Fractional Burgers Equation

abstract: This study is motivated by the question of how singularity formation and other forms of extreme behavior in nonlinear dissipative partial differential equations are affected by stochastic excitations. To address this question we consider the 1D fractional Burgers equation with additive colored noise as a model problem. This system is interesting, because in the deterministic setting it exhibits finite-time blow-up or a globally well-posed behavior depending on the value of the fractional dissipation exponent. The problem is studied by performing a series of accurate numerical computations combining spectrally-accurate spatial discretization with a Monte-Carlo approach. First, we carefully document the singularity formation in the deterministic system in the supercritical regime where the blow-up time is shown to be a decreasing function of the fractional dissipation exponent. Our main result for the stochastic problem is that there is no evidence for the noise to regularize the evolution by suppressing blow-up in the supercritical regime, or for the noise to trigger blow-up in the subcritical regime. However, as the noise amplitude becomes large, the blow-up times in the supercritical regime are shown to exhibit an increasingly non-Gaussian behavior. Analogous observations are also made for the maximum attained values of the enstrophy and the times when the maxima occur in the subcritical regime.

categories: math.NA cs.NA math-ph math.AP math.MP math.PR physics.flu-dyn


title: Three-level multilevel simulation of the neuroreceptor function of NMDA

abstract: We present a new multiscale method to study the N-Methyl-D-Aspartate (NMDA) neuroreceptor starting from the reconstruction of its crystallographic structure. Thanks to the combination of homology modelling, Molecular Dynamics and Lattice Boltzmann simulations, we analyse the allosteric transition of NDMA upon ligand binding and compute the receptor response to ionic passage across the membrane.


title: Reinforcement learning for Admission Control in 5G Wireless Networks

abstract: The key challenge in admission control in wireless networks is to strike an optimal trade-off between the blocking probability for new requests while minimizing the dropping probability of ongoing requests. We consider two approaches for solving the admission control problem: i) the typically adopted threshold policy and ii) our proposed policy relying on reinforcement learning with neural networks. Extensive simulation experiments are conducted to analyze the performance of both policies. The results show that the reinforcement learning policy outperforms the threshold-based policies in the scenario with heterogeneous time-varying arrival rates and multiple user equipment types, proving its applicability in realistic wireless network scenarios.


title: Image Segmentation, Compression and Reconstruction from Edge Distribution Estimation with Random Field and Random Cluster Theories

abstract: Random field and random cluster theory are used to describe certain mathematical results concerning the probability distribution of image pixel intensities characterized as generic $2D$ integer arrays. The size of the smallest bounded region within an image is estimated for segmenting an image, from which, the equilibrium distribution of intensities can be recovered. From the estimated bounded regions, properties of the sub-optimal and equilibrium distributions of intensities are derived, which leads to an image compression methodology whereby only slightly more than half of all pixels are required for a worst-case reconstruction of the original image. A custom deep belief network and heuristic allows for the unsupervised segmentation, detection and localization of objects in an image. An example illustrates the mathematical results.


title: Development of Aircraft Spoiler Demonstrators for Cost-Efficient Investigations of SHM Technologies under Quasi-Realistic Loading Conditions

abstract: An idealized 1:2 scale demonstrator and a numerical parameter optimization algorithm are proposed to closely reproduce the deformation shape and, thus, spatial strain directions of a real aerodynamically loaded civil aircraft spoiler using only four concentrated loads. Cost-efficient experimental studies on demonstrators of increasing complexity are required to transfer knowledge from coupons to full-scale structures and to build up confidence in novel structural health monitoring (SHM) technologies. Especially for testing novel sensor systems that depend on or are affected by mechanical strains, e.g., strain-based SHM methods, it is essential that the considered lab-scale structures reflect the strain states of the real structure at operational loading conditions. Finite element simulations with detailed models were performed for static strength analysis and for comparison to experimental measurements. The simulated and measured deformations and spatial strain directions of the idealized demonstrator correlated well with the numerical results of the real aircraft spoiler. Thus, using the developed idealized demonstrator, strain-based SHM systems can be tested under conditions that reflect operational aerodynamic pressure loads, while the test effort and costs are significantly reduced. Furthermore, the presented loading optimization algorithm can be easily adapted to mimic other pressure loads in plate-like structures to reproduce specific structural conditions.


title: HMM-Free Encoder Pre-Training for Streaming RNN Transducer

abstract: This work describes an encoder pre-training procedure using frame-wise label to improve the training of streaming recurrent neural network transducer (RNN-T) model. Streaming RNN-T trained from scratch usually performs worse than non-streaming RNN-T. Although it is common to address this issue through pre-training components of RNN-T with other criteria or frame-wise alignment guidance, the alignment is not easily available in end-to-end manner. In this work, frame-wise alignment, used to pre-train streaming RNN-T's encoder, is generated without using a HMM-based system. Therefore an all-neural framework equipping HMM-free encoder pre-training is constructed. This is achieved by expanding the spikes of CTC model to their left/right blank frames, and two expanding strategies are proposed. To our best knowledge, this is the first work to simulate HMM-based frame-wise label using CTC model for pre-training. Experiments conducted on LibriSpeech and MLS English tasks show the proposed pre-training procedure, compared with random initialization, reduces the WER by relatively 5%~11% and the emission latency by 60 ms. Besides, the method is lexicon-free, so it is friendly to new languages without manually designed lexicon.


title: Constants of the Kahane--Salem--Zygmund inequality asymptotically bounded by $1$ II

abstract: In [18] we have shown that, for $p_{1},p_{2}\in(2,\infty]$, the constants of Bennett's inequality on unimodular bilinear forms on $\ell_{p_{1}}^{n_{1} }\times\ell_{p_{2}}^{n_{2}}$ are asymptotically bounded by $1$. In the present paper we use a different approximation technique to investigate the remaining cases $p_{1},p_{2}\in\lbrack1,\infty].$ This new approach also provides a stronger asymptotic control, in the sense that the constants are "uniformly" asymptotically bounded by $1$, with no dependence on $p_{1},p_{2}.$


title: The UCT for $C^*$-algebras with finite complexity

abstract: A $C^*$-algebra satisfies the Universal Coefficient Theorem (UCT) of Rosenberg and Schochet if it is equivalent in Kasparov's $KK$-theory to a commutative $C^*$-algebra. This paper is motivated by the problem of establishing the range of validity of the UCT, and in particular, whether the UCT holds for all nuclear $C^*$-algebras. We introduce the idea of a $C^*$-algebra that "decomposes" over a class $\mathcal{C}$ of $C^*$-algebras. Roughly, this means that locally, there are approximately central elements that approximately cut the $C^*$-algebra into two $C^*$-subalgebras from $\mathcal{C}$ that have well-behaved intersection. We show that if a $C^*$-algebra decomposes over the class of nuclear, UCT $C^*$-algebras, then it satisfies the UCT. The argument is based on controlled $KK$-theory, as introduced by the authors in earlier work. Nuclearity is used via Kasparov's Hilbert module version of Voiculescu's theorem, and Haagerup's theorem that nuclear $C^*$-algebras are amenable We say that a $C^*$-algebra has finite complexity if it is in the smallest class of $C^*$-algebras containing the finite-dimensional $C^*$-algebras, and closed under decomposability; our main result implies that all $C^*$-algebras in this class satisfy the UCT. The class of $C^*$-algebras with finite complexity is large, and comes with an ordinal-number invariant measuring the complexity level. We conjecture that a $C^*$-algebra of finite nuclear dimension and real rank zero has finite complexity; this (and several other related conjectures) would imply the UCT for all separable nuclear $C^*$-algebras. We also give new local formulations of the UCT, and some other necessary and sufficient conditions for the UCT to hold for all nuclear $C^*$-algebras.


title: Reduced-order modeling of LPV systems in the Loewner framework

abstract: We propose a model reduction method for LPV systems. We consider LPV state-space representations with an affine dependence on the scheduling variables. The main idea behind the proposed method is to compute the reduced order model in such a manner that its frequency domain transfer function coincides with that of the original model for some frequencies. The proposed method uses Loewner-like matrices, which can be calculated from the frequency domain representation of the system. The contribution of the paper represents an extension of the well-established Loewner framework to LPV models.


title: Scattering cross-section in gravitating cosmic string spacetimes

abstract: We propose a modification of the partial wave approach to deal with the relativistic quantum scattering of bosonic and fermionic particles in a class of models concerning gravitating cosmic string spacetimes. These spacetimes are characterized by the Minkowski line element at the center of the vortex, non-vanishing curvature at a finite distance from the center but with a conical structure far from the core. We find the correction in the partial wave expansion and the phase shift. Consequently, we show the explicit form of the scattering amplitude and the correction to the differential cross-section for a massive scalar field. We also implement our formalism in a toy model mimicking this class of gravitating cosmic string spacetime. Moreover, we discuss the procedure to apply this formalism to a massive Dirac field.


title: Disfluency Detection with Unlabeled Data and Small BERT Models

abstract: Disfluency detection models now approach high accuracy on English text. However, little exploration has been done in improving the size and inference time of the model. At the same time, automatic speech recognition (ASR) models are moving from server-side inference to local, on-device inference. Supporting models in the transcription pipeline (like disfluency detection) must follow suit. In this work we concentrate on the disfluency detection task, focusing on small, fast, on-device models based on the BERT architecture. We demonstrate it is possible to train disfluency detection models as small as 1.3 MiB, while retaining high performance. We build on previous work that showed the benefit of data augmentation approaches such as self-training. Then, we evaluate the effect of domain mismatch between conversational and written text on model performance. We find that domain adaptation and data augmentation strategies have a more pronounced effect on these smaller models, as compared to conventional BERT models.


title: Skeleton Clustering: Dimension-Free Density-based Clustering

abstract: We introduce a density-based clustering method called skeleton clustering that can detect clusters in multivariate and even high-dimensional data with irregular shapes. To bypass the curse of dimensionality, we propose surrogate density measures that are less dependent on the dimension but have intuitive geometric interpretations. The clustering framework constructs a concise representation of the given data as an intermediate step and can be thought of as a combination of prototype methods, density-based clustering, and hierarchical clustering. We show by theoretical analysis and empirical studies that the skeleton clustering leads to reliable clusters in multivariate and high-dimensional scenarios.


title: Aedes-AI: Neural Network Models of Mosquito Abundance

abstract: We present artificial neural networks as a feasible replacement for a mechanistic model of mosquito abundance. We develop a feed-forward neural network, a long short-term memory recurrent neural network, and a gated recurrent unit network. We evaluate the networks in their ability to replicate the spatiotemporal features of mosquito populations predicted by the mechanistic model, and discuss how augmenting the training data with time series that emphasize specific dynamical behaviors affects model performance. We conclude with an outlook on how such equation-free models may facilitate vector control or the estimation of disease risk at arbitrary spatial scales.


title: MVFuseNet: Improving End-to-End Object Detection and Motion Forecasting through Multi-View Fusion of LiDAR Data

abstract: In this work, we propose \textit{MVFuseNet}, a novel end-to-end method for joint object detection and motion forecasting from a temporal sequence of LiDAR data. Most existing methods operate in a single view by projecting data in either range view (RV) or bird's eye view (BEV). In contrast, we propose a method that effectively utilizes both RV and BEV for spatio-temporal feature learning as part of a temporal fusion network as well as for multi-scale feature learning in the backbone network. Further, we propose a novel sequential fusion approach that effectively utilizes multiple views in the temporal fusion network. We show the benefits of our multi-view approach for the tasks of detection and motion forecasting on two large-scale self-driving data sets, achieving state-of-the-art results. Furthermore, we show that MVFusenet scales well to large operating ranges while maintaining real-time performance.


title: SRB measures of singular hyperbolic attractors

abstract: It is known that nonuniformly hyperbolic maps admitting singularities have at most countably many ergodic Sinai-Ruelle-Bowen (SRB) measures. These maps include the Belykh attractor, the geometric Lorenz attractor, and more general Lorenz-type systems. In this paper, we establish easily verifiable sufficient conditions guaranteeing that the number of ergodic SRB measures is at most finite, and provide examples and nonexamples showing that the conditions are necessary in general.


title: Flow visualization and PIV of wind-waves (2019 Edition)

abstract: This article presents a flow visualization method for wind-waves, as well as a technique to measure flow field on two sides of interface by stereoscopic particle image velocimetry (PIV) simultaneously. The new flow visualization method applied a special illumination setup to enhance reflection and weaken refraction on interface, which improves contrast and detail performance of photos. The concatenation of flow visualization photo along flow direction is able to demonstrate the scenario from capillary waves to gravity-capillary waves at the early stage of wind-waves. After that, time-resolved stereoscopic PIV is employed in vertical planes on both sides of interface with two camera pairs. Two kinds of tracking particles with different scattering performance are spread in air or water separately. Then interface detection algorithm is designed to separate different particles and determine interface position. Adaptive min-max normalization and near-wall image preprocessing is used to improve near-wall and main stream PIV result. Finally, clip arts of results show the flow field in the same time in air and water near interface.


title: Meta-learning for skin cancer detection using Deep Learning Techniques

abstract: This study focuses on automatic skin cancer detection using a Meta-learning approach for dermoscopic images. The aim of this study is to explore the benefits of the generalization of the knowledge extracted from non-medical data in the classification performance of medical data and the impact of the distribution shift problem within limited data by using a simple class and distribution balancer algorithm. In this study, a small sample of a combined dataset from 3 different sources was used to fine-tune a ResNet model pre-trained on non-medical data. The results show an increase in performance on detecting melanoma, malignant (skin cancer), and benign moles with the prior knowledge obtained from images of everyday objects from the ImageNet dataset by 20 points. These findings suggest that features from non-medical images can be used towards the classification of skin moles and that the distribution of the data affects the performance of the model.


title: Conflicts Between Science and Religion: Epistemology to the Rescue

abstract: Both Albert Einstein and Erwin Schr\"{o}dinger have defined what science is. Einstein includes not only physics, but also all natural sciences dealing with both organic and inorganic processes in his definition of science. According to Schr\"{o}dinger, the present scientific worldview is based on the two basic attitudes of comprehensibility and objectivation. On the other hand, the notion of religion is quite equivocal and unless clearly defined will easily lead to all sorts of misunderstandings. Does science, as defined, encompass the whole of reality? More importantly, what is the whole of reality and how do we obtain data for it? The Christian worldview considers a human as body, mind, and spirit (soul), which is consistent with Cartesian ontology of only three elements: matter, mind, and God. Therefore, is it possible to give a precise definition of science showing that the conflicts are actually apparent and not real?


title: Viking: Variational Bayesian Variance Tracking

abstract: We consider the problem of time series forecasting in an adaptive setting. We focus on the inference of state-space models under unknown and potentially time-varying noise variances. We introduce an augmented model in which the variances are represented as auxiliary gaussian latent variables in a tracking mode. As variances are nonnegative, a transformation is chosen and applied to these latent variables. The inference relies on the online variational Bayesian methodology, which consists in minimizing a Kullback-Leibler divergence at each time step. We observe that the minimum of the Kullback-Leibler divergence is an extension of the Kalman filter taking into account the variance uncertainty. We design a novel algorithm, named Viking, using these optimal recursive updates. For auxiliary latent variables, we use second-order bounds whose optimum admit closed-form solutions. Experiments on synthetic data show that Viking behaves well and is robust to misspecification.


title: Shear-induced phase transition and critical exponents in 3D fiber networks

abstract: When subject to applied strain, fiber networks exhibit nonlinear elastic stiffening. Recent theory and experiements have shown that this phenomenon is controlled by an underlying mechanical phase transition that is critical in nature. Growing simulation evidence points to non-mean-field behavior for this transition and a hyperscaling relation has been proposed to relate the corresponding critical exponents. Here, we report simulations on two distinct network structures in 3D. By performing finite-size scaling analysis, we test hyperscaling and identify various critical exponents. From the apparent validity of hyperscaling, as well as the non-mean-field exponents we observe, our results suggest that the upper critical dimension for the strain-controlled phase transition is above three, in contrast to the jamming transition that represents another athermal, mechanical phase transition.


title: Pair production seeded by electrons in noble gases as a method for the laser intensity diagnostics

abstract: In this study we explore the possibility of using the process of electron-positron pair creation in strong laser fields as a tool for measuring the intensity of the corresponding laser radiation. In the initial state we consider either free electron gas or gas of neutral xenon, the electrons of which get ionized. Once these seed electrons gain sufficient energy in the external laser field, they can emit high-energy photons which subsequently decay producing electron-positron pairs via the Breit-Wheeler mechanism. By detecting the resulting positrons, one can recover the value of the laser intensity by means of the one-to-one correspondences deduced in the present investigation. We analyze two different configurations of the external field: the setup involving an individual focused laser pulse and the combination of two counterpropagating laser pulses. Performing numerical calculations and analyzing their accuracy, we demonstrate that based on our estimates, the laser intensity can be determined within the range $10^{23}$-$10^{26}~\text{W}/\text{cm}^2$ with a relative uncertainty of $10$-$50 \%$.


title: BEVDetNet: Bird's Eye View LiDAR Point Cloud based Real-time 3D Object Detection for Autonomous Driving

abstract: 3D object detection based on LiDAR point clouds is a crucial module in autonomous driving particularly for long range sensing. Most of the research is focused on achieving higher accuracy and these models are not optimized for deployment on embedded systems from the perspective of latency and power efficiency. For high speed driving scenarios, latency is a crucial parameter as it provides more time to react to dangerous situations. Typically a voxel or point-cloud based 3D convolution approach is utilized for this module. Firstly, they are inefficient on embedded platforms as they are not suitable for efficient parallelization. Secondly, they have a variable runtime due to level of sparsity of the scene which is against the determinism needed in a safety system. In this work, we aim to develop a very low latency algorithm with fixed runtime. We propose a novel semantic segmentation architecture as a single unified model for object center detection using key points, box predictions and orientation prediction using binned classification in a simpler Bird's Eye View (BEV) 2D representation. The proposed architecture can be trivially extended to include semantic segmentation classes like road without any additional computation. The proposed model has a latency of 4 ms on the embedded Nvidia Xavier platform. The model is 5X faster than other top accuracy models with a minimal accuracy degradation of 2% in Average Precision at IoU=0.5 on KITTI dataset.


title: NTIRE 2021 Challenge on Quality Enhancement of Compressed Video: Methods and Results

abstract: This paper reviews the first NTIRE challenge on quality enhancement of compressed video, with a focus on the proposed methods and results. In this challenge, the new Large-scale Diverse Video (LDV) dataset is employed. The challenge has three tracks. Tracks 1 and 2 aim at enhancing the videos compressed by HEVC at a fixed QP, while Track 3 is designed for enhancing the videos compressed by x265 at a fixed bit-rate. Besides, the quality enhancement of Tracks 1 and 3 targets at improving the fidelity (PSNR), and Track 2 targets at enhancing the perceptual quality. The three tracks totally attract 482 registrations. In the test phase, 12 teams, 8 teams and 11 teams submitted the final results of Tracks 1, 2 and 3, respectively. The proposed methods and solutions gauge the state-of-the-art of video quality enhancement. The homepage of the challenge: https://github.com/RenYang-home/NTIRE21_VEnh


title: NTIRE 2021 Challenge on Quality Enhancement of Compressed Video: Dataset and Study

abstract: This paper introduces a novel dataset for video enhancement and studies the state-of-the-art methods of the NTIRE 2021 challenge on quality enhancement of compressed video. The challenge is the first NTIRE challenge in this direction, with three competitions, hundreds of participants and tens of proposed solutions. Our newly collected Large-scale Diverse Video (LDV) dataset is employed in the challenge. In our study, we analyze the proposed methods of the challenge and several methods in previous works on the proposed LDV dataset. We find that the NTIRE 2021 challenge advances the state-of-the-art of quality enhancement on compressed video. The proposed LDV dataset is publicly available at the homepage of the challenge: https://github.com/RenYang-home/NTIRE21_VEnh


title: Quillen equivalences inducing Grothendieck duality for unbounded chain complexes of sheaves

abstract: Let $\mathbb{X}$ be a semiseparated Noetherian scheme with a dualizing complex $D$. We lift some well-known triangulated equivalences associated with Grothendieck duality to Quillen equivalences of model categories. In the process we are able to show that the Gorenstein flat model structure, on the category of quasi-coherent sheaves on $\mathbb{X}$, is Quillen equivalent to the Gorenstein injective model structure. Also noteworthy is that we extend the recollement of Krause to hold without the Noetherian condition. Using a set of flat generators, it holds for any quasi-compact semiseparated scheme $\mathbb{X}$. With this we also show that the Gorenstein injective quasi-coherent sheaves are the fibrant objects of a cofibrantly generated abelian model structure for any semiseparated Noetherian scheme $\mathbb{X}$. Finally, we consider both the injective and (mock) projective approach to Tate cohomology of quasi-coherent sheaves. They agree whenever $\mathbb{X}$ is a semiseparated Gorenstein scheme of finite Krull dimension.


title: Designing efficient randomized trials: power and sample size calculation when using semiparametric efficient estimators

abstract: Trials enroll a large number of subjects in order to attain power, making them expensive and time-consuming. Sample size calculations are often performed with the assumption of an unadjusted analysis, even if the trial analysis plan specifies a more efficient estimator (e.g. ANCOVA). This leads to conservative estimates of required sample sizes and an opportunity for savings. Here we show that a relatively simple formula can be used to estimate the power of any two-arm, single-timepoint trial analyzed with a semiparametric efficient estimator, regardless of the domain of the outcome or kind of treatment effect (e.g. odds ratio, mean difference). Since an efficient estimator attains the minimum possible asymptotic variance, this allows for the design of trials that are as small as possible while still attaining design power and control of type I error. The required sample size calculation is parsimonious and requires the analyst to provide only a small number of population parameters. We verify in simulation that the large-sample properties of trials designed this way attain their nominal values. Lastly, we demonstrate how to use this formula in the "design" (and subsequent reanalysis) of a real clinical trial and show that fewer subjects are required to attain the same design power when a semiparametric efficient estimator is accounted for at the design stage.


title: Accurate and fast matrix factorization for low-rank learning

abstract: In this paper, we tackle two important problems in low-rank learning, which are partial singular value decomposition and numerical rank estimation of huge matrices. By using the concepts of Krylov subspaces such as Golub-Kahan bidiagonalization (GK-bidiagonalization) as well as Ritz vectors, we propose two methods for solving these problems in a fast and accurate way. Our experiments show the advantages of the proposed methods compared to the traditional and randomized singular value decomposition methods. The proposed methods are appropriate for applications involving huge matrices where the accuracy of the desired singular values and also all of their corresponding singular vectors are essential. As a real application, we evaluate the performance of our methods on the problem of Riemannian similarity learning between two various image datasets of MNIST and USPS.


title: Exploring 2D Data Augmentation for 3D Monocular Object Detection

abstract: Data augmentation is a key component of CNN based image recognition tasks like object detection. However, it is relatively less explored for 3D object detection. Many standard 2D object detection data augmentation techniques do not extend to 3D box. Extension of these data augmentations for 3D object detection requires adaptation of the 3D geometry of the input scene and synthesis of new viewpoints. This requires accurate depth information of the scene which may not be always available. In this paper, we evaluate existing 2D data augmentations and propose two novel augmentations for monocular 3D detection without a requirement for novel view synthesis. We evaluate these augmentations on the RTM3D detection model firstly due to the shorter training times . We obtain a consistent improvement by 4% in the 3D AP (@IoU=0.7) for cars, ~1.8% scores 3D AP (@IoU=0.25) for pedestrians & cyclists, over the baseline on KITTI car detection dataset. We also demonstrate a rigorous evaluation of the mAP scores by re-weighting them to take into account the class imbalance in the KITTI validation dataset.


title: Restoration of the Parameters of a Gas-Dust Disk Based on Its Synthetic Images

abstract: The topic of the present study is combining a dynamic model of a protoplanetary disk with the computations of radiation transfer for obtaining synthetic spectra and disk images suitable for immediate comparison of the model with observations. Evolution of the disk was computed using the FEOSAD hydrodynamic model, which includes a self-consistent calculation of the dynamics of dust and gas in the 2D thin disk approximation. Radiation transfer was simulated by the open code RADMC-3D. Three phases of disk evolution were considered: a young gravitationally unstable disk, a disk during an accretion luminosity burst, and an evolved disk. For these stages, the influence of various processes upon the disk's thermal structure was analyzed, as well as the differences between the temperatures obtained in the initial dynamic model and in the model with a detailed calculation of the radiation transfer. It is shown that viscous heating in the inner regions and adiabatic heating in the disk spirals can be important sources of heating. On the basis of the calculated spectral energy distributions, using SED-fitter software package used for the observations, physical parameters of the model disks were reconstructed. A significant spread between reconstructed parameters and initial characteristics of the disk indicates verification necessity of the models within the framework of spatially resolved observations of disks in the different spectral ranges


title: Defining and Detecting Toxicity on Social Media: Context and Knowledge are Key

abstract: Online platforms have become an increasingly prominent means of communication. Despite the obvious benefits to the expanded distribution of content, the last decade has resulted in disturbing toxic communication, such as cyberbullying and harassment. Nevertheless, detecting online toxicity is challenging due to its multi-dimensional, context sensitive nature. As exposure to online toxicity can have serious social consequences, reliable models and algorithms are required for detecting and analyzing such communication across the vast and growing space of social media. In this paper, we draw on psychological and social theory to define toxicity. Then, we provide an approach that identifies multiple dimensions of toxicity and incorporates explicit knowledge in a statistical learning algorithm to resolve ambiguity across such dimensions.


title: The Road Less Travelled: Trying And Failing To Generate Walking Simulators

abstract: Automated game design is a rapidly growing area of research, yet many aspects of game design lie largely unexamined still, as most systems focus on two-dimensional games with clear objectives and goal-oriented gameplay. This paper describes several attempts to build an automated game designer for 3D games more focused on space, atmosphere and experience. We describe our attempts to build these systems, why they failed, and what steps and future work we believe would be useful for future attempts by others.


title: Sharp Global Guarantees for Nonconvex Low-Rank Matrix Recovery in the Overparameterized Regime

abstract: We prove that it is possible for nonconvex low-rank matrix recovery to contain no spurious local minima when the rank of the unknown ground truth $r^{\star}<r$ is strictly less than the search rank $r$, and yet for the claim to be false when $r^{\star}=r$. Under the restricted isometry property (RIP), we prove, for the general overparameterized regime with $r^{\star}\le r$, that an RIP constant of $\delta<1/(1+\sqrt{r^{\star}/r})$ is sufficient for the inexistence of spurious local minima, and that $\delta<1/(1+1/\sqrt{r-r^{\star}+1})$ is necessary due to existence of counterexamples. Without an explicit control over $r^{\star}\le r$, an RIP constant of $\delta<1/2$ is both necessary and sufficient for the exact recovery of a rank-$r$ ground truth. But if the ground truth is known a priori to have $r^{\star}=1$, then the sharp RIP threshold for exact recovery is improved to $\delta<1/(1+1/\sqrt{r})$.


title: Extracting Adverse Drug Events from Clinical Notes

abstract: Adverse drug events (ADEs) are unexpected incidents caused by the administration of a drug or medication. To identify and extract these events, we require information about not just the drug itself but attributes describing the drug (e.g., strength, dosage), the reason why the drug was initially prescribed, and any adverse reaction to the drug. This paper explores the relationship between a drug and its associated attributes using relation extraction techniques. We explore three approaches: a rule-based approach, a deep learning-based approach, and a contextualized language model-based approach. We evaluate our system on the n2c2-2018 ADE extraction dataset. Our experimental results demonstrate that the contextualized language model-based approach outperformed other models overall and obtain the state-of-the-art performance in ADE extraction with a Precision of 0.93, Recall of 0.96, and an $F_1$ score of 0.94; however, for certain relation types, the rule-based approach obtained a higher Precision and Recall than either learning approach.


title: Solubility prediction of organic molecules with molecular dynamics simulations

abstract: We present a molecular dynamics simulation method for the computation of the solubility of organic crystals in solution. The solubility is calculated based on the equilibrium free energy difference between the solvated solute and its crystallized state at the crystal surface kink site. In order to efficiently sample the growth and dissolution process, we have carried out well-tempered Metadynamics simulations with a collective variable that captures the slow degrees of freedom, namely the solute diffusion to and adsorption at the kink site together with the desolvation of the kink site. Simulations were performed at different solution concentrations using constant chemical potential molecular dynamics and the solubility was identified at the concentration at which the free energy values between the grown and dissolved kink states were equal. The effectiveness of this method is demonstrated by its success in reproducing the experimental trends of solubility of urea and naphthalene in a variety of solvents.


title: Intrinsic Harmonic Spaces: A Solution to the Ancient Problem of Perfect Tuning

abstract: In this article we solve this ancient problem of perfect tuning in all keys and present a system were all harmonies are conserved at once. It will become clear, when we expose our solution, why this solution could not be found in the way in which earlier on musicians and scientist have been approaching the problem. We follow indeed a different approach. We first construct a mathematical representation of the complete harmony by means of a vector space, where the different tones are represented in complete harmonic way for all keys at once. One of the essential differences with earlier systems is that tones will no longer be ordered within an octave, and we find the octave-like ordering back as a projection of our system. But it is exactly by this projection procedure that the possibility to create a harmonic system for all keys at once is lost. So we see why the old way of ordering tones within an octave could not lead to a solution of the problem. We indicate in which way a real musical instrument could be built that realizes our harmonic scheme. Because tones are no longer ordered within an octave such a musical instrument will be rather unconventional. It is however a physically realizable musical instrument, at least for the Pythagorean harmony. We also indicate how perfect harmonies of every dimension could be realized by computers.


title: Electrically detected paramagnetic resonance in Ag-paint coated DPPH

abstract: We describe a simple experimental method to detect electron paramagnetic resonance (EPR) in polycrystalline 2,2-diphenyl-1-picrylhydrazyl (DPPH) sample, the standard g-marker for EPR spectroscopy, without using a cavity resonator or a prefabricated waveguide. It is shown that microwave(MW) current injected into a layer of silver paint coated on an insulating DPPH sample is able to excite the paramagnetic resonance in DPPH. As the applied dc magnetic field H is swept, the high-frequency resistance of the Ag-paint layer, measured at room temperature with a single port impedance analyzer in the MW frequency range 1 to 2.5 GHz, exhibits a sharp peak at a critical value of the dc field (H = Hres) while the reactance exhibits a dispersion-like behavior around the same field value for a given frequency. Hres increases linearly with the frequency of MW current. We interpret the observed features in the impedance to EPR in DPPH driven by the Oersted magnetic field arising from the MW current in the Ag-paint layer. We also confirm the occurrence of EPR in DPPH independently using a coplanar waveguide-based broadband technique. This technique has the potential to investigate other EPR active inorganic and organic compounds.


title: The external pallidum: think locally, act globally

abstract: The globus pallidus (GPe) of the basal ganglia has been underappreciated for decades due to poor understanding of its cells and circuits. The advent of molecular tools has sparked a resurgence in interest in the GPe. Here, we review a recent flurry of publications that has unveiled the complexity of the molecular landscape and cellular composition within the GPe. These discoveries have revealed that GPe neurons display a number of circuit features that do not conform to the traditional views of the basal ganglia. Consistent with its broad interconnectivity across the brain, emerging evidence suggests that the GPe plays multifaceted roles in both motor and non-motor functions. Altogether, recent data highlight cellular and functional diversity within the GPe and prompt new proposals for computational rules of the basal ganglia.


abstract: Knowledge Graph (KG) is a flexible structure that is able to describe the complex relationship between data entities. Currently, most KG embedding models are trained based on negative sampling, i.e., the model aims to maximize some similarity of the connected entities in the KG, while minimizing the similarity of the sampled disconnected entities. Negative sampling helps to reduce the time complexity of model learning by only considering a subset of negative instances, which may fail to deliver stable model performance due to the uncertainty in the sampling procedure. To avoid such deficiency, we propose a new framework for KG embedding -- Efficient Non-Sampling Knowledge Graph Embedding (NS-KGE). The basic idea is to consider all of the negative instances in the KG for model learning, and thus to avoid negative sampling. The framework can be applied to square-loss based knowledge graph embedding models or models whose loss can be converted to a square loss. A natural side-effect of this non-sampling strategy is the increased computational complexity of model learning. To solve the problem, we leverage mathematical derivations to reduce the complexity of non-sampling loss function, which eventually provides us both better efficiency and better accuracy in KG embedding compared with existing models. Experiments on benchmark datasets show that our NS-KGE framework can achieve a better performance on efficiency and accuracy over traditional negative sampling based models, and that the framework is applicable to a large class of knowledge graph embedding models.


title: On the $\mu$-invariants of residually reducible Galois representations

abstract: The Iwasawa $\mu$-invariant of the Selmer group of a residually reducible Galois representation arising from a Hecke eigencuspform is studied. Furthermore, certain Iwasawa-invariants refining the $\mu$-invariant are defined and analyzed. As an application, we show that given any reducible mod-$p$ Galois representation $\bar{\rho}$ and any choice of integer $N\geq 1$, there is a modular Galois representation lifting $\bar{\rho}$ whose associated Selmer group has $\mu$-invariant $\geq N$. This is a refinement of Serre's conjecture in the residually reducible case.


title: Nonuniqueness in law for stochastic hypodissipative Navier-Stokes equations

abstract: We study the incompressible hypodissipative Navier-Stokes equations with dissipation exponent $0 < \alpha < \frac{1}{2}$ on the three-dimensional torus perturbed by an additive Wiener noise term and prove the existence of an initial condition for which distinct probabilistic weak solutions exist. To this end, we employ convex integration methods to construct a pathwise probabilistically strong solution, which violates a pathwise energy inequality up to a suitable stopping time. This paper seems to be the first in which such solutions are constructed via Beltrami waves instead of intermittent jets or flows in a stochastic setting.


title: On Negative Dependence Properties of Latin Hypercube Samples and Scrambled Nets

abstract: We study the notion of $\gamma$-negative dependence of random variables. This notion is a relaxation of the notion of negative orthant dependence (which corresponds to $1$-negative dependence), but nevertheless it still ensures concentration of measure and allows to use large deviation bounds of Chernoff-Hoeffding- or Bernstein-type. We study random variables based on random points $P$. These random variables appear naturally in the analysis of the discrepancy of $P$ or, equivalently, of a suitable worst-case integration error of the quasi-Monte Carlo cubature that uses the points in $P$ as integration nodes. We introduce the correlation number, which is the smallest possible value of $\gamma$ that ensures $\gamma$-negative dependence. We prove that the random variables of interest based on Latin hypercube sampling or on $(t,m,d)$-nets do, in general, not have a correlation number of $1$, i.e., they are not negative orthant dependent. But it is known that the random variables based on Latin hypercube sampling in dimension $d$ are actually $\gamma$-negatively dependent with $\gamma \le e^d$, and the resulting probabilistic discrepancy bounds do only mildly depend on the $\gamma$-value.


title: Uncertainty limits of the information exchange between a quantum system and an external meter

abstract: It is not possible to obtain information about the observable properties of a quantum system without a physical interaction between the system and an external meter. This physical interaction is described by a unitary transformation of the joint quantum state of the system and the meter, which means that the information transfer from the system to the meter depends on the initial quantum coherence of the meter. In the present paper, we analyze the measurement interaction in terms of the changes of the meter state caused by the interaction with the system. The sensitivity of the meter can then be defined by evaluating the distinguishability of meter states for different values of the target observable. It is shown that the sensitivity of the meter requires quantum coherences in the generator observable that determines the magnitude of the back action of the meter on the system. The trade-off between measurement resolution and back action is decided by the relation between sensitivity and quantum coherent uncertainty in the external meter. No matter how macroscopic the device used as a meter is, it must necessarily be quantum coherent in the degrees of freedom that interact with the system being measured.


title: Switchable and Simultaneous Spatiotemporal Analog Computing

abstract: Optical wave-based computing has enabled the realization of real-time information processing in both space and time domains. In the past few years, analog computing has experienced rapid development but mostly for a single function. Motivated by parallel space-time computing and miniaturization, we show that reconfigurable graphene-based metasurfaces offer a promising path towards spatiotemporal computing with integrated functionalities by properly engineering both spatial- and temporal-frequency responses. This paper employs a tunable graphene-based metasurface to enable analog signal and image processing in both space and time by tuning the electrostatic bias. In the first part of the paper, we propose a switchable analog computing paradigm in which the proposed metasurface can switch among defined performances by selecting a proper external voltage for graphene monolayers. Spatial isotropic differentiation and edge detection in the spatial channel and first-order temporal differentiation and metasurface-based phaser with linear group-delay response in the temporal channel are demonstrated. In the second section of the paper, simultaneous and parallel spatiotemporal analog computing is demonstrated. The proposed metasurface processor has almost no static power consumption due to its floating-gate configuration. The spatial- and temporal-frequency transfer functions (TFs) are engineered by using a transmission line (TL) model, and the obtained results are validated with full-wave simulations. Our proposal will enable real-time parallel spatiotemporal analog signal and image processing.


title: $T$-convex $T$-differential fields and their immediate extensions

abstract: Let $T$ be a polynomially bounded o-minimal theory extending the theory of real closed ordered fields. Let $K$ be a model of $T$ equipped with a $T$-convex valuation ring and a $T$-derivation. If this derivation is continuous with respect to the valuation topology, then we call $K$ a $T$-convex $T$-differential field. We show that every $T$-convex $T$-differential field has an immediate strict $T$-convex $T$-differential field extension which is spherically complete. In some important cases, the assumption of polynomial boundedness can be relaxed to power boundedness.


title: The visualisation of two-dimensional dose distribution on X-ray CT using radiochromic film

abstract: X-ray CT dose measurement has mainly been performed using an ionization chamber dosimeter. Therefore, the dose distribution has not been sufficiently studied. We investigated the importance of evaluating the two or three-dimensional dose distributions for X-ray computed tomography (CT). To confirm this purpose, we investigated the effects of phantom size and exposure parameters on the phantom diameter. We performed 12 scans using XR-QA2 film and cylindrical acrylic phantoms of two lengths. The tube current and slice thicknesses were varied as exposure parameters. The dose distribution of the primary and scattered radiation was visu-alised using ImageJ. The results were evaluated using the profile curves, three-dimensional surface plots, and subtrac-tion dose images. We observed changes in the dose distributions for scans with and without phantoms. However, no significant differ-ence in the dose distribution was observed with changes in the lengths of the phantom. To visualise the dose distribution, three-dimensional surface plots and subtraction images were found helpful. We must confirm that the dose distribution does not change for phantoms with multiple diameters in future studies. For using a clinical application, accurate quantitative assessment of dose distribution requires improved accuracy of the calibration curve.


title: Near-optimal intense and powerful terahertz source by optical rectification in lithium niobate crystal

abstract: Using an affordable ytterbium laser with sub-mJ of energy combined with a novel pulse compression technique, we demonstrate an extremely competitive state-of-the-art terahertz (THz) source with 53 mW of average power and 310 kV/cm at focus from the tilted-pulse front pumping scheme in lithium niobate at room temperature. Key points of this demonstration include the use of a pump pulse duration of 280 fs in combination with an echelon mirror. Our results present unmatched combined characteristics and are highly competitive with the existing THz sources pumped at the mJ range. This demonstration is a step towards the democratization of access to intense and powerful THz pulses.


title: Multi-point Coordination in Massive MIMO Systems with Sectorized Antennas

abstract: Non-cooperative cellular massive MIMO, combined with power control, is known to lead to significant improvements in per-user throughput compared with conventional LTE technology. In this paper, we investigate further refinements to massive MIMO, first, in the form of three-fold sectorization, and second, coordinated multi-point operation (with and without sectorization), in which the three base stations cooperate in the joint service of their users. For these scenarios, we analyze the downlink performance for both maximum-ratio and zero-forcing precoding and derive closed-form lower-bound expressions on the achievable rate of the users. These expressions are then used to formulate power optimization problems with two throughput fairness criteria: i) network-wide max-min fairness, and ii) per-cell max-min fairness. Furthermore, we provide centralized and decentralized power control strategies to optimize the transmit powers in the network. We demonstrate that employing sectorized antenna elements mitigates the detrimental effects of pilot contamination by rejecting a portion of interfering pilots in the spatial domain during channel estimation phase. Simulation results with practical sectorized antennas reveal that sectorization and multi-point coordination combined with sectorization lead to more than 1.7x and 2.6x improvements in the 95%-likely per-user throughput, respectively.


title: Self-consistent simulation of resistive kink instabilities with runaway electrons

abstract: A new fluid model for runaway electron simulation based on fluid description is introduced and implemented in the magnetohydrodynamics code M3D-C1, which includes self-consistent interactions between plasma and runaway electrons. The model utilizes the method of characteristics to solve the continuity equation for the runaway electron density with large convection speed, and uses a modified Boris algorithm for pseudo particle pushing. The model was employed to simulate magnetohydrodynamics instabilities happening in a runaway electron final loss event in the DIII-D tokamak. Nonlinear simulation reveals that a large fraction of runaway electrons get lost to the wall when kink instabilities are excited and form stochastic field lines in the outer region of the plasma. Plasma current converts from runaway electron current to Ohmic current, and get pinched at the magnetic axis. Given the good agreement with experiment, the simulation model provides a reliable tool to study macroscopic plasma instabilities in existence of runaway electron current, and can be used to support future studies of runaway electron mitigation strategies in ITER.