title: On the Approximation and Simulation of Iterated Stochastic Integrals and the Corresponding L\'{e}vy Areas in Terms of a Multidimensional Brownian Motion

abstract: A new algorithm for the approximation and simulation of twofold iterated stochastic integrals together with the corresponding L\'{e}vy areas driven by a multidimensional Brownian motion is proposed. The algorithm is based on a truncated Fourier series approach. However, the approximation of the remainder terms differs from the approach considered by Wiktrosson (2001). As the main advantage, the presented algorithm makes use of a diagonal covariance matrix for the approximation of one part of the remainder term and has a higher accuracy due to an exact approximation of the other part of the remainder. This results in a significant reduction of the computational cost compared to, e.g., the algorithm introduced by Wiktorsson. Convergence in $L^p(\Omega)$-norm with $p \geq 2$ for the approximations calculated with the new algorithm as well as for approximations calculated by the basic truncated Fourier series algorithm is proved and the efficiency of the new algorithm is analyzed.


title: Inference on the New Keynesian Phillips Curve with Very Many Instrumental Variables

abstract: Limited-information inference on New Keynesian Phillips Curves (NKPCs) and other single-equation macroeconomic relations is characterised by weak and high-dimensional instrumental variables (IVs). Beyond the efficiency concerns previously raised in the literature, I show by simulation that ad-hoc selection procedures can lead to substantial biases in post-selection inference. I propose a Sup Score test that remains valid under dependent data, arbitrarily weak identification, and a number of IVs that increases exponentially with the sample size. Conducting inference on a standard NKPC with 359 IVs and 179 observations, I find substantially wider confidence sets than those commonly found.


title: Transmission based tomography for spin qubits

abstract: We consider a system of static spin qubits embedded in a one-dimensional spin coherent channel and develop a scheme to readout the state of one and two qubits separately. We use unpolarized flying qubits for this purpose that scatter off from the static qubits due to the Heisenberg exchange interaction. Analysing the transmission coefficient as a function of density matrix elements along with additional unitary gates we reconstruct the state of static qubits.


title: Acceleration Methods

abstract: This monograph covers some recent advances in a range of acceleration techniques frequently used in convex optimization. We first use quadratic optimization problems to introduce two key families of methods, namely momentum and nested optimization schemes. They coincide in the quadratic case to form the Chebyshev method. We discuss momentum methods in detail, starting with the seminal work of Nesterov and structure convergence proofs using a few master templates, such as that for optimized gradient methods, which provide the key benefit of showing how momentum methods optimize convergence guarantees. We further cover proximal acceleration, at the heart of the Catalyst and Accelerated Hybrid Proximal Extragradient frameworks, using similar algorithmic patterns. Common acceleration techniques rely directly on the knowledge of some of the regularity parameters in the problem at hand. We conclude by discussing restart schemes, a set of simple techniques for reaching nearly optimal convergence rates while adapting to unobserved regularity parameters.


title: On the noise generation and unsteady performance of combined heaving and pitching foils

abstract: A transient two-dimensional acoustic boundary element solver is coupled to a potential flow boundary element solver via Powell's acoustic analogy to determine the acoustic emission of isolated hydrofoils performing biologically-inspired motions. The flow-acoustic boundary element framework is validated against experimental and asymptotic solutions for the noise produced by canonical vortex-body interactions. The numerical framework then characterizes the noise production of an oscillating foil, which is a simple representation of a fish caudal fin. A rigid NACA 0012 hydrofoil is subjected to combined heaving and pitching motions for Strouhal numbers ($0.03 < St < 1$) based on peak-to-peak amplitudes and chord-based reduced frequencies ($0.125 < f^* < 1$) that span the parameter space of many swimming fish species. A dipolar acoustic directivity is found for all motions, frequencies, and amplitudes considered, and the peak noise level increases with both the reduced frequency and the Strouhal number. A combined heaving and pitching motion produces less noise than either a purely pitching or purely heaving foil at a fixed reduced frequency and amplitude of motion. Correlations of the lift and power coefficients with the peak root-mean-square acoustic pressure levels are determined, which could be utilized to develop long-range, quiet swimmers.


title: A 3D Modeling Approach to Tractable Analysis in UAV-Enabled Cellular Networks

abstract: This paper aims to propose a three-dimensional (3D) point process that can be employed to generally deploy unmanned aerial vehicles (UAVs) in a large-scale cellular network and tractably analyze the fundamental network-wide performances of the network. This 3D point process is devised based on a 2D marked Poisson point process in which each point and its random mark uniquely correspond to the projection and the altitude of each point in the 3D point process, respectively. We elaborate on some important statistical properties of the proposed 3D point process and use them to tractably analyze the coverage performances of a UAV-enabled cellular network wherein all the UAVs equipped with multiple antennas are served as aerial base stations. The downlink coverage of the UAV-enabled cellular network is found and its closed-form results for some special cases are explicitly derived as well. Furthermore, the fundamental limits achieved by cell-free massive antenna array are characterized when coordinating all the UAVs to jointly perform non-coherent downlink transmission. These findings are validated by numerical simulation.


title: Automorphism Groups and Isometries for Cyclic Orbit Codes

abstract: We study orbit codes in the field extension ${\mathbb F}_{q^n}$. First we show that the automorphism group of a cyclic orbit code is contained in the normalizer of the Singer subgroup if the orbit is generated by a subspace that is not contained in a proper subfield of ${\mathbb F}_{q^n}$. We then generalize to orbits under the normalizer of the Singer subgroup. In that situation some exceptional cases arise and some open cases remain. Finally we characterize linear isometries between such codes.


title: On graded $I_{e}$-prime submodules of graded modules over graded commutative rings

abstract: Let $G$ be a group with identity $e$. Let $R$ be a $G$-graded commutative ring with identity and $M$ a graded $R$-module. In this paper, we introduce the concept of graded $I_{e}$-prime submodule as a generalization of a graded prime submodule for $I=\oplus_{g\in G}I_{g}$ a fixed graded ideal of $R$. We give a number of results concerning of these classes of graded submodules and their homogeneous components. A proper graded submodule $N$ of $M$ is said to be a graded $I_{e}$-prime submodule of $M$ if whenever $% r_{g}\in h(R)$ and $m_{h}\in h(M)$ with $r_{g}m_{h}\in N-I_{e}N,$ then either $r_{g}\in (N:_{R}M)$ or $m_{h}\in N.$


title: Generalized Collective Lamb Shift

abstract: Hybrid quantum systems consisting of an ensemble of two--level systems interacting with a single--mode electromagnetic field are important for the development of quantum information processors and other quantum devices. These systems are characterized by the set of energy level hybridizations, split by collective Lamb shifts, that occur when the ensemble and field mode interact coherently with high cooperativity. Computing the full set of Lamb shifts is generally intractable given the high dimensionality of many devices. In this work, we present a set of techniques that allow a compact description of the Lamb shift statistics across all collective angular momentum subspaces of the ensemble without using restrictive approximations on the state space. We use these techniques to both analyze the Lamb shift in all subspaces and excitation manifolds and to describe the average observed Lamb shift weighted over the degeneracies of all subspaces.


title: Learning Competitive Equilibria in Noisy Combinatorial Markets

abstract: We present a methodology to robustly estimate the competitive equilibria (CE) of combinatorial markets under the assumption that buyers do not know their precise valuations for bundles of goods, but instead can only provide noisy estimates. We first show tight lower- and upper-bounds on the buyers' utility loss, and hence the set of CE, given a uniform approximation of one market by another. We then develop a learning framework for our setup, and present two probably-approximately-correct algorithms for learning CE, i.e., producing uniform approximations that preserve CE, with finite-sample guarantees. The first is a baseline that uses Hoeffding's inequality to produce a uniform approximation of buyers' valuations with high probability. The second leverages a connection between the first welfare theorem of economics and uniform approximations to adaptively prune value queries when it determines that they are provably not part of a CE. We experiment with our algorithms and find that the pruning algorithm achieves better estimates than the baseline with far fewer samples.


title: Stochastic Image Denoising by Sampling from the Posterior Distribution

abstract: Image denoising is a well-known and well studied problem, commonly targeting a minimization of the mean squared error (MSE) between the outcome and the original image. Unfortunately, especially for severe noise levels, such Minimum MSE (MMSE) solutions may lead to blurry output images. In this work we propose a novel stochastic denoising approach that produces viable and high perceptual quality results, while maintaining a small MSE. Our method employs Langevin dynamics that relies on a repeated application of any given MMSE denoiser, obtaining the reconstructed image by effectively sampling from the posterior distribution. Due to its stochasticity, the proposed algorithm can produce a variety of high-quality outputs for a given noisy input, all shown to be legitimate denoising results. In addition, we present an extension of our algorithm for handling the inpainting problem, recovering missing pixels while removing noise from partially given data.


title: Real-Time, Flight-Ready, Non-Cooperative Spacecraft Pose Estimation Using Monocular Imagery

abstract: A key requirement for autonomous on-orbit proximity operations is the estimation of a target spacecraft's relative pose (position and orientation). It is desirable to employ monocular cameras for this problem due to their low cost, weight, and power requirements. This work presents a novel convolutional neural network (CNN)-based monocular pose estimation system that achieves state-of-the-art accuracy with low computational demand. In combination with a Blender-based synthetic data generation scheme, the system demonstrates the ability to generalize from purely synthetic training data to real in-space imagery of the Northrop Grumman Enhanced Cygnus spacecraft. Additionally, the system achieves real-time performance on low-power flight-like hardware.


title: Reconstructing missing seismic data using Deep Learning

abstract: In current seismic acquisition practice, there is an increasing drive for sparsely (in space) acquired data, often in irregular geometry. These surveys can trade off subsurface information for efficiency/cost - creating a problem of "missing seismic data" that can greatly hinder subsequent processing and interpretation. Reconstruction of regularly sampled dense data from highly sparse, irregular data can therefore aid in processing and interpretation of these far sparser, more efficient seismic surveys. Here, two methods are compared to solve the reconstruction problem in both space-time and wavenumber-frequency domain. This requires an operator that maps sparse to dense data: the operator is generally unknown, being the inverse of a known data sampling operator. As such, here the deterministic inversion is efficiently solved by least squares optimisation using a numerically efficient Python-based linear operator representation. An alternative approach is probabilistic and uses deep learning. Here, two deep learning architectures are benchmarked against each other and the deterministic approach; a Recurrent Inference Machine (RIM), which is designed specifically to solve inverse problems given known forward operators, and the well-known U-Net. The trained deep learning networks are capable of successfully mapping sparse to dense seismic data for a range of different datasets and decimation percentages, thereby significantly reducing spatial aliasing in the wavenumber-frequency domain. The deterministic inversion on the contrary, could not reconstruct the missing data and thus did not reduce the undesired spatial aliasing. Results show that the application of Deep Learning for seismic reconstruction is promising, but the treatment of large-volume, multi-component seismic datasets will require dedicated learning architectures not yet realisable with existing tools.


title: Studying the lifetime of charge and heat carriers due to intrinsic scattering mechanisms in FeVSb half-Heusler thermoelectric

abstract: This work, presents a study of lifetime of carriers due to intrinsic scattering mechanisms $viz.$ electron-electron (EEI), electron-phonon (EPI) and phonon-phonon interactions (PPI) in a promising half-Heusler thermoelectric FeVSb. Using the full-$GW$ method, the effect of EEI and temperature on the valence and conduction band extrema and band gap are studied. The lifetime of carriers with temperature are estimated at these band extrema. At 300 K, estimated value of lifetime at VBM (CBM) is $\sim$1.91 x10$^{-14}s$ ($\sim$2.05 x10$^{-14}s$). The estimated ground state band gap considering EEI is $\sim$378 meV. Next, the effect of EPI on the lifetime of electrons and phonons with temperature are discussed. The comparison of two electron lifetimes suggests that EEI should be considered in transport calculations along with EPI. The average acoustic, optical and overall phonon lifetimes due to EPI are studied with temperature. Further, the effect of PPI is studied by computing average phonon lifetime for acoustic and optical phonon branches. The lifetime of the acoustic phonons are higher compared to optical phonons which indicates acoustic phonons contribute more to lattice thermal conductivity ($\kappa_{ph}$). The comparison of phonon lifetime due to EPI and PPI suggests that, above 500 K EPI is the dominant phonon scattering mechanism and cannot be ignored in $\kappa_{ph}$ calculations. Lastly, a prediction of the power factor and figure of merit of n-type and p-type FeVSb is made by considering the temperature dependent carrier lifetime for the electronic transport terms. This study shows the importance of considering EEI in electronic transport calculations and EPI in phonon transport calculations. Our study is expected to provide results to further explore the thermoelectric transport in this material.


title: Automatic Preference Based Multi-objective Evolutionary Algorithm on Vehicle Fleet Maintenance Scheduling Optimization

abstract: A preference based multi-objective evolutionary algorithm is proposed for generating solutions in an automatically detected knee point region. It is named Automatic Preference based DI-MOEA (AP-DI-MOEA) where DI-MOEA stands for Diversity-Indicator based Multi-Objective Evolutionary Algorithm). AP-DI-MOEA has two main characteristics: firstly, it generates the preference region automatically during the optimization; secondly, it concentrates the solution set in this preference region. Moreover, the real-world vehicle fleet maintenance scheduling optimization (VFMSO) problem is formulated, and a customized multi-objective evolutionary algorithm (MOEA) is proposed to optimize maintenance schedules of vehicle fleets based on the predicted failure distribution of the components of cars. Furthermore, the customized MOEA for VFMSO is combined with AP-DI-MOEA to find maintenance schedules in the automatically generated preference region. Experimental results on multi-objective benchmark problems and our three-objective real-world application problems show that the newly proposed algorithm can generate the preference region accurately and that it can obtain better solutions in the preference region. Especially, in many cases, under the same budget, the Pareto optimal solutions obtained by AP-DI-MOEA dominate solutions obtained by MOEAs that pursue the entire Pareto front.


title: Pad\'e\ approximants on Riemann surfaces and KP tau functions

abstract: The paper has two relatively distinct but connected goals; the first is to define the notion of Pad\'e\ approximation of Weyl-Stiltjes transforms on an arbitrary compact Riemann surface of higher genus. The data consists of a contour in the Riemann surface and a measure on it, together with the additional datum of a local coordinate near a point and a divisor of degree $g$. The denominators of the resulting Pad\'e--like approximation also satisfy an orthogonality relation and are sections of appropriate line bundles. A Riemann--Hilbert problem for a square matrix of rank two is shown to characterize these orthogonal sections, in a similar fashion to the ordinary orthogonal polynomial case. The second part extends this idea to explore its connection to integrable systems. The same data can be used to define a pairing between two sequences of line bundles. The locus in the deformation space where the pairing becomes degenerate for fixed degree coincides with the zeros of a "tau" function. We show how this tau function satisfies the Kadomtsev--Petviashvili hierarchy with respect to either deformation parameters, and a certain modification of the 2--Toda hierarchy when considering the whole sequence of tau functions. We also show how this construction is related to the Krichever construction of algebro--geometric solutions.


title: The Gauss Hypergeometric Covariance Kernel for Modeling Second-Order Stationary Random Fields in Euclidean Spaces: its Compact Support, Properties and Spectral Representation

abstract: This paper presents a parametric family of compactly-supported positive semidefinite kernels aimed to model the covariance structure of second-order stationary isotropic random fields defined in the $d$-dimensional Euclidean space. Both the covariance and its spectral density have an analytic expression involving the hypergeometric functions ${}_2F_1$ and ${}_1F_2$, respectively, and four real-valued parameters related to the correlation range, smoothness and shape of the covariance. The presented hypergeometric kernel family contains, as special cases, the spherical, cubic, penta, Askey, generalized Wendland and truncated power covariances and, as asymptotic cases, the Mat\'ern, Laguerre, Tricomi, incomplete gamma and Gaussian covariances, among others. The parameter space of the univariate hypergeometric kernel is identified and its functional properties -- continuity, smoothness, transitive upscaling (mont\'ee) and downscaling (descente) -- are examined. Several sets of sufficient conditions are also derived to obtain valid stationary bivariate and multivariate covariance kernels, characterized by four matrix-valued parameters. Such kernels turn out to be versatile, insofar as the direct and cross-covariances do not necessarily have the same shapes, correlation ranges or behaviors at short scale, thus associated with vector random fields whose components are cross-correlated but have different spatial structures.


title: Oscillations of sterile neutrinos from dark matter decay eliminates the IceCube-Fermi tension

abstract: IceCube has observed a flux of cosmic neutrinos, with a "bump" in the energy range $10 \lesssim E/{\rm TeV} \lesssim 100$ that creates a $3\sigma$ tension with gamma-ray data from the Fermi satellite. This has been interpreted as evidence for a population of hidden cosmic-ray accelerators. We propose an alternative explanation of this conundrum on the basis of cold dark matter which decays into sterile neutrinos that after oscillations produce the bump in the cosmic neutrino spectrum.


title: Network-Agnostic Knowledge Transfer for Medical Image Segmentation

abstract: Conventional transfer learning leverages weights of pre-trained networks, but mandates the need for similar neural architectures. Alternatively, knowledge distillation can transfer knowledge between heterogeneous networks but often requires access to the original training data or additional generative networks. Knowledge transfer between networks can be improved by being agnostic to the choice of network architecture and reducing the dependence on original training data. We propose a knowledge transfer approach from a teacher to a student network wherein we train the student on an independent transferal dataset, whose annotations are generated by the teacher. Experiments were conducted on five state-of-the-art networks for semantic segmentation and seven datasets across three imaging modalities. We studied knowledge transfer from a single teacher, combination of knowledge transfer and fine-tuning, and knowledge transfer from multiple teachers. The student model with a single teacher achieved similar performance as the teacher; and the student model with multiple teachers achieved better performance than the teachers. The salient features of our algorithm include: 1)no need for original training data or generative networks, 2) knowledge transfer between different architectures, 3) ease of implementation for downstream tasks by using the downstream task dataset as the transferal dataset, 4) knowledge transfer of an ensemble of models, trained independently, into one student model. Extensive experiments demonstrate that the proposed algorithm is effective for knowledge transfer and easily tunable.


title: Quasiconformal extension for harmonic mappings on finitely connected domains

abstract: We prove that a harmonic quasiconformal mapping defined on a finitely connected domain in the plane, all of whose boundary components are either points or quasicircles, admits a quasiconformal extension to the whole plane if its Schwarzian derivative is small. We also make the observation that a univalence criterion for harmonic mappings holds on uniform domains.


title: Deep Learning for General Game Playing with Ludii and Polygames

abstract: Combinations of Monte-Carlo tree search and Deep Neural Networks, trained through self-play, have produced state-of-the-art results for automated game-playing in many board games. The training and search algorithms are not game-specific, but every individual game that these approaches are applied to still requires domain knowledge for the implementation of the game's rules, and constructing the neural network's architecture -- in particular the shapes of its input and output tensors. Ludii is a general game system that already contains over 500 different games, which can rapidly grow thanks to its powerful and user-friendly game description language. Polygames is a framework with training and search algorithms, which has already produced superhuman players for several board games. This paper describes the implementation of a bridge between Ludii and Polygames, which enables Polygames to train and evaluate models for games that are implemented and run through Ludii. We do not require any game-specific domain knowledge anymore, and instead leverage our domain knowledge of the Ludii system and its abstract state and move representations to write functions that can automatically determine the appropriate shapes for input and output tensors for any game implemented in Ludii. We describe experimental results for short training runs in a wide variety of different board games, and discuss several open problems and avenues for future research.


title: Pr\"azi: From Package-based to Call-based Dependency Networks

abstract: Modern programming languages such as Java, JavaScript, and Rust encourage software reuse by hosting diverse and fast-growing repositories of highly interdependent packages (i.e., reusable libraries) for their users. The standard way to study the interdependence between software packages is to infer a package dependency network by parsing manifest data. Such networks help answer questions such as "How many packages have dependencies to packages with known security issues?" or "What are the most used packages?". However, an overlooked aspect in existing studies is that manifest-inferred relationships do not necessarily examine the actual usage of these dependencies in source code. To better model dependencies between packages, we developed Pr\"azi, an approach combining manifests and call graphs of packages. Pr\"azi constructs a dependency network at the more fine-grained function-level, instead of at the manifest level. This paper discusses a prototypical Pr\"azi implementation for the popular system programming language Rust. We use Pr\"azi to characterize Rust's package repository, Cratesio, at the function level and perform a comparative study with metadata-based networks. Our results show that metadata-based networks generalize how packages use their dependencies. Using Pr\"azi, we find packages call only 40% of their resolved dependencies, and that manual analysis of 34 cases reveals that not all packages use a dependency the same way. We argue that researchers and practitioners interested in understanding how developers or programs use dependencies should account for its context -- not the sum of all resolved dependencies.


title: The Filtered Gaussian Primitive Diamond Channel

abstract: We investigate the special case of diamond relay comprising a Gaussian channel with identical frequency response from the user to the relays and fronthaul links with limited rate from the relays to the destination. We use the oblivious compress and forward (CF) with distributed compression and decode and forward (DF) where each relay decodes the whole message and sends half of its bits to the destination. We derive achievable rate by using time-sharing between DF and CF. It is proved that optimal CF-DF time sharing is advantageous over superposition of CF and DF. The optimal time sharing proportion between DF and CF and power and rate allocations are different at each frequency and are fully determined.


title: Dirac Book The Principles Of Quantum Mechanics as presenting the alternative organization of a theory

abstract: Authoritative appraisals qualified this book as an axiomatic theory. However, being its essential content no more than an analogy, its theoretical organization cannot be an axiomatic one. In fact, in the first edition Dirac declares to avoid an axiomatic presentation. Moreover, I show that the text is aimed at solving a basic problem: How quantum mechanics is similar to classical mechanics. A previous paper analyzed all past theories of physics, chemistry and mathematics, presented by the respective authors in a non-axiomatic way. Four characteristic features of a new model of organizing a theory have been recognized. An accurate inspection of Dirac text proves that it actually applied this kind of organization of a theory. This fact gives a formal reason of what Kronz and Lupher suggested through intuitive categories, pragmatism and rigor, i.e. Dirac formulation of Quantum mechanics represents a distinct theoretical attitude from von Neumann axiomatic attitude. However, since the second edition Dirac changed his attitude; although relying again on an analogy, his theory was referred to the axiomatic method. Some considerations on the odd paths which led to the present formulation of QM are added. They suggest to look for a new foundation of this theory.


title: Isogeometric Configuration Design Optimization of Three-dimensional Curved Beam Structures for Maximal Fundamental Frequency

abstract: This paper presents a configuration design optimization method for three-dimensional curved beam built-up structures having maximized fundamental eigenfrequency. We develop the method of computation of design velocity field and optimal design of beam structures constrained on a curved surface, where both designs of the embedded beams and the curved surface are simultaneously varied during the optimal design process. A shear-deformable beam model is used in the response analyses of structural vibrations within an isogeometric framework using the NURBS basis functions. An analytical design sensitivity expression of repeated eigenvalues is derived. The developed method is demonstrated through several illustrative examples.


title: Scaling Scientometrics: Dimensions on Google BigQuery as an infrastructure for large-scale analysis

abstract: Cloud computing has the capacity to transform many parts of the research ecosystem, from particular research areas to overall strategic decision making and policy. Scientometrics sits at the boundary between research and the decision making and evaluation processes of research. One of the biggest challenges in research policy and strategy is having access to data that allows iterative analysis to inform decisions. Many of these decisions are based on "global" measures such as benchmark metrics that are hard to source. In this article, Cloud technologies are explored in this context. A novel visualisation technique is presented and used as a means to explore the potential for scaling scientometrics by democratising both access to data and compute capacity using the Cloud.


title: A Transferable Anti-Forensic Attack on Forensic CNNs Using A Generative Adversarial Network

abstract: With the development of deep learning, convolutional neural networks (CNNs) have become widely used in multimedia forensics for tasks such as detecting and identifying image forgeries. Meanwhile, anti-forensic attacks have been developed to fool these CNN-based forensic algorithms. Previous anti-forensic attacks often were designed to remove forgery traces left by a single manipulation operation as opposed to a set of manipulations. Additionally, recent research has shown that existing anti-forensic attacks against forensic CNNs have poor transferability, i.e. they are unable to fool other forensic CNNs that were not explicitly used during training. In this paper, we propose a new anti-forensic attack framework designed to remove forensic traces left by a variety of manipulation operations. This attack is transferable, i.e. it can be used to attack forensic CNNs are unknown to the attacker, and it introduces only minimal distortions that are imperceptible to human eyes. Our proposed attack utilizes a generative adversarial network (GAN) to build a generator that can attack color images of any size. We achieve attack transferability through the use of a new training strategy and loss function. We conduct extensive experiment to demonstrate that our attack can fool many state-of-art forensic CNNs with varying levels of knowledge available to the attacker.


title: S-BEV: Semantic Birds-Eye View Representation for Weather and Lighting Invariant 3-DoF Localization

abstract: We describe a light-weight, weather and lighting invariant, Semantic Bird's Eye View (S-BEV) signature for vision-based vehicle re-localization. A topological map of S-BEV signatures is created during the first traversal of the route, which are used for coarse localization in subsequent route traversal. A fine-grained localizer is then trained to output the global 3-DoF pose of the vehicle using its S-BEV and its coarse localization. We conduct experiments on vKITTI2 virtual dataset and show the potential of the S-BEV to be robust to weather and lighting. We also demonstrate results with 2 vehicles on a 22 km long highway route in the Ford AV dataset.


title: Finite rotating and translating vortex sheets

abstract: We consider the rotating and translating equilibria of open finite vortex sheets with endpoints in two-dimensional potential flows. New results are obtained concerning the stability of these equilibrium configurations which complement analogous results known for unbounded, periodic and circular vortex sheets. First, we show that the rotating and translating equilibria of finite vortex sheets are linearly unstable. However, while in the first case unstable perturbations grow exponentially fast in time, the growth of such perturbations in the second case is algebraic. In both cases the growth rates are increasing functions of the wavenumbers of the perturbations. Remarkably, these stability results are obtained entirely with analytical computations. Second, we obtain and analyze equations describing the time evolution of a straight vortex sheet in linear external fields. Third, it is demonstrated that the results concerning the linear stability analysis of the rotating sheet are consistent with the infinite-aspect-ratio limit of the stability results known for Kirchhoff's ellipse (Love 1893; Mitchell & Rossi 2008) and that the solutions we obtained accounting for the presence of external fields are also consistent with the infinite-aspect-ratio limits of the analogous solutions known for vortex patches.


title: BF++: a language for general-purpose program synthesis

abstract: Most state of the art decision systems based on Reinforcement Learning (RL) are data-driven black-box neural models, where it is often difficult to incorporate expert knowledge into the models or let experts review and validate the learned decision mechanisms. Knowledge-insertion and model review are important requirements in many applications involving human health and safety. One way to bridge the gap between data and knowledge driven systems is program synthesis: replacing a neural network that outputs decisions with a symbolic program generated by a neural network or by means of genetic programming. We propose a new programming language, BF++, designed specifically for automatic programming of agents in a Partially Observable Markov Decision Process (POMDP) setting and apply neural program synthesis to solve standard OpenAI Gym benchmarks.


title: Decentralized and Online Coded Caching with Shared Caches: Fundamental Limits with Uncoded Prefetching

abstract: Decentralized coded caching scheme, introduced by Maddah-Ali and Niesen, assumes that the caches are filled with no coordination. This work identifies a decentralized coded caching scheme -- under the assumption of uncoded placement -- for shared cache network, where each cache serves multiple users. Each user has access to only a single cache and the number of caches is less than or equal to the number of users. For this setting, we derive the optimal worst-case delivery time for any user-to-cache association profile where each such profile describes the number of users served by each cache. The optimality is shown using an index-coding based converse. Further, we improve the delivery scheme to accommodate redundant demands. Also, an optimal linear error correcting delivery scheme is proposed for the worst-case demand scenario. Next, we consider the Least Recently Sent (LRS) online coded caching scheme where the caches need to be updated based on the sequence of demands made by the users. Cache update happens if any of the demanded file was not partially cached at the users. The update is done by replacing the least recently sent file with the new file. But, the least recently sent file need not be unique. In that case, there needs to be some ordering of the files which are getting partially cached, or else centralized coordination would have to be assumed which does not exist. If each user removes any of the least recently used files at random, then the next delivery phase will not serve the purpose. A modification is suggested for the scheme by incorporating an ordering of files. Moreover, all the above results with shared caches are extended to the online setting.


title: RandomPoints package for Macaulay2

abstract: We present {\tt RandomPoints}, a package in \emph{Macaulay2} designed mainly to identify rational and geometric points in a variety over a finite field. We provide tools to estimate the dimension of a variety. We also present methods to obtain non-vanishing minors of a given size in a given matrix, by evaluating the matrix at a point.


title: Strong-interaction matter under extreme conditions from chiral quark models with nonlocal separable interactions

abstract: We review the current status of the research on effective nonlocal NJL-like chiral quark models with separable interactions, focusing on the application of this approach to the description of the properties of hadronic and quark matter under extreme conditions. The analysis includes the predictions for various hadron properties in vacuum, as well as the study of the features of deconfinement and chiral restoration phase transitions for systems at finite temperature and/or density. We also address other related subjects, such as the study of phase transitions for imaginary chemical potentials, the possible existence of inhomogeneous phase regions, the presence of color superconductivity, the effects produced by strong external magnetic fields, and the application to the description of compact stellar objects.


title: Examining Factors Associated with Twitter Account Suspension Following the 2020 U.S. Presidential Election

abstract: Online social media enables mass-level, transparent, and democratized discussion on numerous socio-political issues. Due to such openness, these platforms often endure manipulation and misinformation - leading to negative impacts. To prevent such harmful activities, platform moderators employ countermeasures to safeguard against actors violating their rules. However, the correlation between publicly outlined policies and employed action is less clear to general people. In this work, we examine violations and subsequent moderation related to the 2020 U.S. President Election discussion on Twitter, a popular micro-blogging site. We focus on quantifying plausible reasons for the suspension, drawing on Twitter's rules and policies by identifying suspended users (Case) and comparing their activities and properties with (yet) non-suspended (Control) users. Using a dataset of 240M election-related tweets made by 21M unique users, we observe that Suspended users violate Twitter's rules at a higher rate (statistically significant) than Control users across all the considered aspects - hate speech, offensiveness, spamming, and civic integrity. Moreover, through the lens of Twitter's suspension mechanism, we qualitatively examine the targeted topics for manipulation.


title: Digital Transformations of Classrooms in Virtual Reality

abstract: With rapid developments in consumer-level head-mounted displays and computer graphics, immersive VR has the potential to take online and remote learning closer to real-world settings. However, the effects of such digital transformations on learners, particularly for VR, have not been evaluated in depth. This work investigates the interaction-related effects of sitting positions of learners, visualization styles of peer-learners and teachers, and hand-raising behaviors of virtual peer-learners on learners in an immersive VR classroom, using eye tracking data. Our results indicate that learners sitting in the back of the virtual classroom may have difficulties extracting information. Additionally, we find indications that learners engage with lectures more efficiently if virtual avatars are visualized with realistic styles. Lastly, we find different eye movement behaviors towards different performance levels of virtual peer-learners, which should be investigated further. Our findings present an important baseline for design decisions for VR classrooms.


title: ReliefE: Feature Ranking in High-dimensional Spaces via Manifold Embeddings

abstract: Feature ranking has been widely adopted in machine learning applications such as high-throughput biology and social sciences. The approaches of the popular Relief family of algorithms assign importances to features by iteratively accounting for nearest relevant and irrelevant instances. Despite their high utility, these algorithms can be computationally expensive and not-well suited for high-dimensional sparse input spaces. In contrast, recent embedding-based methods learn compact, low-dimensional representations, potentially facilitating down-stream learning capabilities of conventional learners. This paper explores how the Relief branch of algorithms can be adapted to benefit from (Riemannian) manifold-based embeddings of instance and target spaces, where a given embedding's dimensionality is intrinsic to the dimensionality of the considered data set. The developed ReliefE algorithm is faster and can result in better feature rankings, as shown by our evaluation on 20 real-life data sets for multi-class and multi-label classification tasks. The utility of ReliefE for high-dimensional data sets is ensured by its implementation that utilizes sparse matrix algebraic operations. Finally, the relation of ReliefE to other ranking algorithms is studied via the Fuzzy Jaccard Index.


title: Variational methods for fluid-structure interaction and porous media

abstract: In this work we consider a poroelastic flexible material that may deform largely which is situated in an incompressible fluid driven by the Navier-Stokes equations in two or three space dimensions. By a variational approach we show existence of weak solutions for a class of such coupled systems. We consider the unsteady case, this means that the PDE for the poroelastic solid involves the Frechet derivative of a non-convex functional as well as (second order in time) inertia terms.


title: On the Evolution of Word Order

abstract: Most natural languages have a predominant or fixed word order. For example in English the word order is usually Subject-Verb-Object. This work attempts to explain this phenomenon as well as other typological findings regarding word order from a functional perspective. In particular, we examine whether fixed word order provides a functional advantage, explaining why these languages are prevalent. To this end, we consider an evolutionary model of language and demonstrate, both theoretically and using genetic algorithms, that a language with a fixed word order is optimal. We also show that adding information to the sentence, such as case markers and noun-verb distinction, reduces the need for fixed word order, in accordance with the typological findings.


title: The Second Variation for Null-Torsion Holomorphic Curves in the 6-Sphere

abstract: In the round 6-sphere, null-torsion holomorphic curves are fundamental examples of minimal surfaces. This class of minimal surfaces is quite rich: By a theorem of Bryant, extended by Rowland, every closed Riemann surface may be conformally embedded in the round 6-sphere as a null-torsion holomorphic curve. In this work, we study the second variation of area for compact null-torsion holomorphic curves $\Sigma$ of genus $g$ and area $4\pi d$, focusing on the spectrum of the Jacobi operator. We show that if $g \leq 6$, then the multiplicity of the lowest eigenvalue $\lambda_1 = -2$ is exactly equal to $4d$. Moreover, for any genus, we show that the nullity is at least $2d + 2 - 2g$. These results are likely to have implications for the deformation theory of asymptotically conical associative $3$-folds in $\mathbb{R}^7$, as studied by Lotay.


title: Machine learning of high dimensional data on a noisy quantum processor

abstract: We present a quantum kernel method for high-dimensional data analysis using Google's universal quantum processor, Sycamore. This method is successfully applied to the cosmological benchmark of supernova classification using real spectral features with no dimensionality reduction and without vanishing kernel elements. Instead of using a synthetic dataset of low dimension or pre-processing the data with a classical machine learning algorithm to reduce the data dimension, this experiment demonstrates that machine learning with real, high dimensional data is possible using a quantum processor; but it requires careful attention to shot statistics and mean kernel element size when constructing a circuit ansatz. Our experiment utilizes 17 qubits to classify 67 dimensional data - significantly higher dimensionality than the largest prior quantum kernel experiments - resulting in classification accuracy that is competitive with noiseless simulation and comparable classical techniques.


title: $\mathcal{N}$-field cosmology in hyperbolic field space: stability and general solutions

abstract: We study the dynamics of a cosmological model with a perfect fluid and $\mathcal{N}$ fields on a hyperbolic field space interacting via a symmetric potential. We list all late-time solutions, investigate their stability and briefly discuss predictions of the theory. Moreover, for the case of two scalar fields and an exponential potential we prove that the field equations are Liouville integrable and we provide for the first time the general solution for a region of the parameter space.


title: Communication-Efficient Variance-Reduced Decentralized Stochastic Optimization over Time-Varying Directed Graphs

abstract: We consider the problem of decentralized optimization over time-varying directed networks. The network nodes can access only their local objectives, and aim to collaboratively minimize a global function by exchanging messages with their neighbors. Leveraging sparsification, gradient tracking and variance-reduction, we propose a novel communication-efficient decentralized optimization scheme that is suitable for resource-constrained time-varying directed networks. We prove that in the case of smooth and strongly-convex objective functions, the proposed scheme achieves an accelerated linear convergence rate. To our knowledge, this is the first decentralized optimization framework for time-varying directed networks that achieves such a convergence rate and applies to settings requiring sparsified communication. Experimental results on both synthetic and real datasets verify the theoretical results and demonstrate efficacy of the proposed scheme.


title: HyCoR: Fault-Tolerant Replicated Containers Based on Checkpoint and Replay

abstract: HyCoR is a fully-operational fault tolerance mechanism for multiprocessor workloads, based on container replication, using a hybrid of checkpointing and replay. HyCoR derives from two insights regarding replication mechanisms: 1) deterministic replay can overcome a key disadvantage of checkpointing alone -- unacceptably long delays of outputs to clients, and 2) checkpointing can overcome a key disadvantage of active replication with deterministic replay alone -- vulnerability to even rare replay failures due to an untracked nondeterministic events. With HyCoR, the primary sends periodic checkpoints to the backup and logs the outcomes of sources of nondeterminism. Outputs to clients are delayed only by the short time it takes to send the corresponding log to the backup. Upon primary failure, the backup replays only the short interval since the last checkpoint, thus minimizing the window of vulnerability. HyCoR includes a "best effort" mechanism that results in a high recovery rate even in the presence of data races, as long as their rate is low. The evaluation includes measurement of the recovery rate and recovery latency based on fault injection. On average, HyCoR delays responses to clients by less than 1ms and recovers in less than 1s. For a set of eight real-world benchmarks, if data races are eliminated, the performance overhead of HyCoR is under 59%.


title: BSUV-Net 2.0: Spatio-Temporal Data Augmentations for Video-Agnostic Supervised Background Subtraction

abstract: Background subtraction (BGS) is a fundamental video processing task which is a key component of many applications. Deep learning-based supervised algorithms achieve very good perforamnce in BGS, however, most of these algorithms are optimized for either a specific video or a group of videos, and their performance decreases dramatically when applied to unseen videos. Recently, several papers addressed this problem and proposed video-agnostic supervised BGS algorithms. However, nearly all of the data augmentations used in these algorithms are limited to the spatial domain and do not account for temporal variations that naturally occur in video data. In this work, we introduce spatio-temporal data augmentations and apply them to one of the leading video-agnostic BGS algorithms, BSUV-Net. We also introduce a new cross-validation training and evaluation strategy for the CDNet-2014 dataset that makes it possible to fairly and easily compare the performance of various video-agnostic supervised BGS algorithms. Our new model trained using the proposed data augmentations, named BSUV-Net 2.0, significantly outperforms state-of-the-art algorithms evaluated on unseen videos of CDNet-2014. We also evaluate the cross-dataset generalization capacity of BSUV-Net 2.0 by training it solely on CDNet-2014 videos and evaluating its performance on LASIESTA dataset. Overall, BSUV-Net 2.0 provides a ~5% improvement in the F-score over state-of-the-art methods on unseen videos of CDNet-2014 and LASIESTA datasets. Furthermore, we develop a real-time variant of our model, that we call Fast BSUV-Net 2.0, whose performance is close to the state of the art.


title: The $*$-product of domains in several complex variables

abstract: In this article we continue the research, carried out in \cite{zajac}, on computing the $*$-product of domains in $\CC^N$. Assuming that $0\in G\subset\CC^N$ is an arbitrary Runge domain and $0\in D\subset\CC^N$ is a bounded, smooth and linearly convex domain (or a non-decreasing union of such ones), we establish a geometric relation between $D*G$ and another domain in $\CC^N$ which is 'extremal' (in an appropriate sense) with respect to a special coefficient multiplier dependent only on the dimension $N$. Next, for $N=2$, we derive a characterization of the latter domain expressed in terms of planar geometry. These two results, when combined together, give a formula which allows to calculate $D*G$ for two-dimensional domains $D$ and $G$ satisfying the outlined assumptions.


title: Bayesian Edge Regression in Undirected Graphical Models to Characterize Interpatient Heterogeneity in Cancer

abstract: Graphical models are commonly used to discover associations within gene or protein networks for complex diseases such as cancer. Most existing methods estimate a single graph for a population, while in many cases, researchers are interested in characterizing the heterogeneity of individual networks across subjects with respect to subject-level covariates. Examples include assessments of how the network varies with patient-specific prognostic scores or comparisons of tumor and normal graphs while accounting for tumor purity as a continuous predictor. In this paper, we propose a novel edge regression model for undirected graphs, which estimates conditional dependencies as a function of subject-level covariates. Bayesian shrinkage algorithms are used to induce sparsity in the underlying graphical models. We assess our model performance through simulation studies focused on comparing tumor and normal graphs while adjusting for tumor purity and a case study assessing how blood protein networks in hepatocellular carcinoma patients vary with severity of disease, measured by HepatoScore, a novel biomarker signature measuring disease severity.


title: 3D Underactuated Bipedal Walking via H-LIP based Gait Synthesis and Stepping Stabilization

abstract: In this paper, we holistically present a Hybrid-Linear Inverted Pendulum (H-LIP) based approach for synthesizing and stabilizing 3D foot-underactuated bipedal walking, with an emphasis on thorough hardware realization. The H-LIP is proposed to capture the essential components of the underactuated and actuated part of the robotic walking. The robot walking gait is then directly synthesized based on the H-LIP. We comprehensively characterize the periodic orbits of the H-LIP and provably derive the stepping stabilization via its step-to-step (S2S) dynamics, which is then utilized to approximate the S2S dynamics of the horizontal state of the center of mass (COM) of the robotic walking. The approximation facilities a H-LIP based stepping controller to provide desired step sizes to stabilize the robotic walking. By realizing the desired step sizes, the robot achieves dynamic and stable walking. The approach is fully evaluated in both simulation and experiment on the 3D underactuated bipedal robot Cassie, which demonstrates dynamic walking behaviors with both high versatility and robustness.


title: R2P2: Reactive Routing and Payment Protocol for Named Data Network using Blockchain

abstract: With the continuous emergence of new mobile devices which support new communication paradigms such as D2D and V2V, Internet users can take advantage of these devices to achieve better Internet connectivity and improve service quality. Meanwhile, packet forwarding brings extra costs to devices (e.g. electricity consumption), that hinders the realisation of successful ad-hoc networks. This paper proposes Reactive Routing and Payment Protocol (R2P2) to incentivise mobile devices to contribute idle networking resources and gain monetary returns. The routing and payment protocol is developed for Named-Data Network (NDN) because its content-centric nature can better support the intermittent and ephemeral communication requirements in ad-hoc networks. Blockchain is used as the settlement platform for transactions between devices because of its neutrality, robustness and trust. R2P2 is still an on-going project. The content of this paper focuses on the design of R2P2.


title: The density of polynomials of degree $n$ over $\mathbb{Z}_p$ having exactly $r$ roots in $\mathbb{Q}_p$

abstract: We determine the probability that a random polynomial of degree $n$ over $\mathbb{Z}_p$ has exactly $r$ roots in $\mathbb{Q}_p$, and show that it is given by a rational function of $p$ that is invariant under replacing $p$ by $1/p$.


title: $(2,2)$ Scattering and the Celestial Torus

abstract: Analytic continuation from Minkowski space to $(2,2)$ split signature spacetime has proven to be a powerful tool for the study of scattering amplitudes. Here we show that, under this continuation, null infinity becomes the product of a null interval with a celestial torus (replacing the celestial sphere) and has only one connected component. Spacelike and timelike infinity are time-periodic quotients of AdS$_3$. These three components of infinity combine to an $S^3$ represented as a toric fibration over the interval. Privileged scattering states of scalars organize into $SL(2,\mathbb{R})_L \times SL(2,\mathbb{R})_R$ conformal primary wave functions and their descendants with real integral or half-integral conformal weights, giving the normally continuous scattering problem a discrete character.


title: Point-hyperplane incidence geometry and the log-rank conjecture

abstract: We study the log-rank conjecture from the perspective of point-hyperplane incidence geometry. We formulate the following conjecture: Given a point set in $\mathbb{R}^d$ that is covered by constant-sized sets of parallel hyperplanes, there exists an affine subspace that accounts for a large (i.e., $2^{-{\operatorname{polylog}(d)}}$) fraction of the incidences. Alternatively, our conjecture may be interpreted linear-algebraically as follows: Any rank-$d$ matrix containing at most $O(1)$ distinct entries in each column contains a submatrix of fractional size $2^{-{\operatorname{polylog}(d)}}$, in which each column contains one distinct entry. We prove that our conjecture is equivalent to the log-rank conjecture. Motivated by the connections above, we revisit well-studied questions in point-hyperplane incidence geometry without structural assumptions (i.e., the existence of partitions). We give an elementary argument for the existence of complete bipartite subgraphs of density $\Omega(\epsilon^{2d}/d)$ in any $d$-dimensional configuration with incidence density $\epsilon$. We also improve an upper-bound construction of Apfelbaum and Sharir (SIAM J. Discrete Math. '07), yielding a configuration whose complete bipartite subgraphs are exponentially small and whose incidence density is $\Omega(1/\sqrt d)$. Finally, we discuss various constructions (due to others) which yield configurations with incidence density $\Omega(1)$ and bipartite subgraph density $2^{-\Omega(\sqrt d)}$. Our framework and results may help shed light on the difficulty of improving Lovett's $\tilde{O}(\sqrt{\operatorname{rank}(f)})$ bound (J. ACM '16) for the log-rank conjecture; in particular, any improvement on this bound would imply the first bipartite subgraph size bounds for parallel $3$-partitioned configurations which beat our generic bounds for unstructured configurations.


title: Generating a Doppelganger Graph: Resembling but Distinct

abstract: Deep generative models, since their inception, have become increasingly more capable of generating novel and perceptually realistic signals (e.g., images and sound waves). With the emergence of deep models for graph structured data, natural interests seek extensions of these generative models for graphs. Successful extensions were seen recently in the case of learning from a collection of graphs (e.g., protein data banks), but the learning from a single graph has been largely under explored. The latter case, however, is important in practice. For example, graphs in financial and healthcare systems contain so much confidential information that their public accessibility is nearly impossible, but open science in these fields can only advance when similar data are available for benchmarking. In this work, we propose an approach to generating a doppelganger graph that resembles a given one in many graph properties but nonetheless can hardly be used to reverse engineer the original one, in the sense of a near zero edge overlap. The approach is an orchestration of graph representation learning, generative adversarial networks, and graph realization algorithms. Through comparison with several graph generative models (either parameterized by neural networks or not), we demonstrate that our result barely reproduces the given graph but closely matches its properties. We further show that downstream tasks, such as node classification, on the generated graphs reach similar performance to the use of the original ones.


title: Discovery of soft and hard X-ray time lags in low-mass AGNs

abstract: The scaling relations between the black hole (BH) mass and soft lag properties for both active galactic nuclei (AGNs) and BH X-ray binaries (BHXRBs) suggest the same underlying physical mechanism at work in accreting BH systems spanning a broad range of mass. However, the low-mass end of AGNs has never been explored in detail. In this work, we extend the existing scaling relations to lower-mass AGNs, which serve as anchors between the normal-mass AGNs and BHXRBs. For this purpose, we construct a sample of low-mass AGNs ($M_{\rm BH}<3\times 10^{6} M_{\rm \odot}$) from the XMM-Newton archive and measure frequency-resolved time delays between the soft (0.3-1 keV) and hard (1-4 keV) X-ray emissions. We report that the soft band lags behind the hard band emission at high frequencies $\sim[1.3-2.6]\times 10^{-3}$ Hz, which is interpreted as a sign of reverberation from the inner accretion disc in response to the direct coronal emission. At low frequencies ($\sim[3-8]\times 10^{-4}$ Hz), the hard band lags behind the soft band variations, which we explain in the context of the inward propagation of luminosity fluctuations through the corona. Assuming a lamppost geometry for the corona, we find that the X-ray source of the sample extends at an average height and radius of $\sim 10r_{\rm g}$ and $\sim 6r_{\rm g}$, respectively. Our results confirm that the scaling relations between the BH mass and soft lag amplitude/frequency derived for higher-mass AGNs can safely extrapolate to lower-mass AGNs, and the accretion process is indeed independent of the BH mass.


title: Spectral construction of non-holomorphic Eisenstein-type series and their Kronecker limit formulas

abstract: Let $X$ be a smooth, compact, projective K\"ahler variety and $D$ be a divisor of a holomorphic form $F$, and assume that $D$ is smooth up to codimension two. Let $\omega$ be a K\"ahler form on $X$ and $K_{X}$ the corresponding heat kernel which is associated to the Laplacian that acts on the space of smooth functions on $X$. Using various integral transforms of $K_{X}$, we will construct a meromorphic function in a complex variable $s$ whose special value at $s=0$ is the log-norm of $F$ with respect to $\mu$. In the case when $X$ is the quotient of a symmetric space, then the function we construct is a generalization of the so-called elliptic Eisenstein series which has been defined and studied for finite volume Riemann surfaces.


title: The Role of Distributional Overlap on the Precision Gain of Bounds for Generalization

abstract: Over the past ten years, propensity score methods have made an important contribution to improving generalizations from studies that do not select samples randomly from a population of inference. However, these methods require assumptions and recent work has considered the role of bounding approaches that provide a range of treatment impact estimates that are consistent with the observable data. An important limitation to bound estimates is that they can be uninformatively wide. This has motivated research on the use of propensity score stratification to narrow bounds. This article assesses the role of distributional overlap in propensity scores on the effectiveness of stratification to tighten bounds. Using the results of two simulation studies and two case studies, I evaluate the relationship between distributional overlap and precision gain and discuss the implications when propensity score stratification is used as a method to improve precision in the bounding framework.


title: Almost orthogonal subsets of vector spaces over finite fields

abstract: We prove various results on the size and structure of subsets of vector spaces over finite fields which, in some sense, have too many mutually orthogonal pairs of vectors. In particular, we obtain sharp finite field variants of a theorem of Rosenfeld and an almost version of a theorem of Berlekamp.


title: Evaluating the Mahler measure of linear forms via Kronecker limit formulas on complex projective space

abstract: In Cogdell et al., \it LMS Lecture Notes Series \bf 459, \rm 393--427 (2020), \rm the authors proved an analogue of Kronecker's limit formula associated to any divisor $\mathcal D$ which is smooth in codimension one on any smooth K\"ahler manifold $X$. In the present article, we apply the aforementioned Kronecker limit formula in the case when $X$ is complex projective space $\CC\PP^n$ for $n \geq 2$ and $\mathcal D$ is a hyperplane, meaning the divisor of a linear form $P_D({z})$ for ${z} = (\mathcal{Z}_{j}) \in \CC\PP^n$. Our main result is an explicit evaluation of the Mahler measure of $P_{D}$ as a convergent series whose each term is given in terms of rational numbers, multinomial coefficients, and the $L^{2}$-norm of the vector of coefficients of $P_{D}$.


title: Kronecker limit functions and an extension of the Rohrlich-Jensen formula

abstract: In 1984 Rohrlich proved a modular analogue of Jensen's formula. Under certain conditions, the Rohrlich-Jensen formula expresses an integral of the log-norm $\log \Vert f \Vert$ of a $\text{\rm PSL}(2,\ZZ)$ modular form $f$ in terms of the Dedekind Delta function evaluated at the divisor of $f$. Recently, Bringmann-Kane re-interpreted the Rohrlich-Jensen formula as evaluating a regularized inner product of $\log \Vert f \Vert$ and extended the result to compute a regularized inner product of $\log \Vert f \Vert$ with what amounts to powers of the Hauptmoduli of $\text{\rm PSL}(2,\ZZ)$. In the present article, we revisit the Rohrlich-Jensen formula and prove that it can be viewed as a regularized inner product of special values of two Poincar\'e series, one of which is the Niebur-Poincar\'e series and the other is the resolvent kernel of the Laplacian. The regularized inner product can be seen as a type of Maass-Selberg relation. In this form, we develop a Rohrlich-Jensen formula associated to any Fuchsian group $\Gamma$ of the first kind with one cusp by employing a type of Kronecker limit formula associated to the resolvent kernel. We present two examples of our main result: First, when $\Gamma$ is the full modular group $\text{\rm PSL}(2,\ZZ)$, thus reproving the theorems from \cite{BK19}; and second when $\Gamma$ is an Atkin-Lehner group $\Gamma_{0}(N)^+$, where explicit computations are given for certain genus zero, one and two levels.


title: Extremizing Temperature Functions of Rods with Robin Boundary Conditions

abstract: We compare the solutions of two one-dimensional Poisson problems on an interval with Robin boundary conditions, one with given data, and one where the data has been symmetrized. When the Robin parameter is positive and the symmetrization is symmetric decreasing rearrangement, we prove that the solution to the symmetrized problem has larger increasing convex means. When the Robin parameter equals zero (so that we have Neumann boundary conditions) and the symmetrization is decreasing rearrangement, we similarly show that the solution to the symmetrized problem has larger convex means.


title: A note on simplified SINR expressions for OFDM with insufficient CP

abstract: This note provides derivation details of simplified OFDM transmission equation and resulting signal-to-interference plus noise ratio (SINR) for the case of an insufficient CP. Each channel component after demodulation is expressed as a single sum which can be interpreted a weighted Fourier transform of the channel impulse response.


title: A Density Theorem for $\operatorname{Sp}(4)$

abstract: Strong bounds are obtained for the number of automorphic forms for the group $\Gamma_0(q) \subseteq \operatorname{Sp}(4,\mathbb{Z})$ violating the Ramanujan conjecture at any given unramified place, which go beyond Sarnak's density hypothesis. The proof is based on a relative trace formula of Kuznetsov type, and best-possible bounds for certain Kloosterman sums for $\operatorname{Sp}(4)$.


title: Optimistic and Adaptive Lagrangian Hedging

abstract: In online learning an algorithm plays against an environment with losses possibly picked by an adversary at each round. The generality of this framework includes problems that are not adversarial, for example offline optimization, or saddle point problems (i.e. min max optimization). However, online algorithms are typically not designed to leverage additional structure present in non-adversarial problems. Recently, slight modifications to well-known online algorithms such as optimism and adaptive step sizes have been used in several domains to accelerate online learning -- recovering optimal rates in offline smooth optimization, and accelerating convergence to saddle points or social welfare in smooth games. In this work we introduce optimism and adaptive stepsizes to Lagrangian hedging, a class of online algorithms that includes regret-matching, and hedge (i.e. multiplicative weights). Our results include: a general general regret bound; a path length regret bound for a fixed smooth loss, applicable to an optimistic variant of regret-matching and regret-matching+; optimistic regret bounds for $\Phi$ regret, a framework that includes external, internal, and swap regret; and optimistic bounds for a family of algorithms that includes regret-matching+ as a special case.


title: UltraNest -- a robust, general purpose Bayesian inference engine

abstract: UltraNest is a general-purpose Bayesian inference package for parameter estimation and model comparison. It allows fitting arbitrary models specified as likelihood functions written in Python, C, C++, Fortran, Julia or R. With a focus on correctness and speed (in that order), UltraNest is especially useful for multi-modal or non-Gaussian parameter spaces, computational expensive models, in robust pipelines. Parallelisation to computing clusters and resuming incomplete runs is available.


title: Kernel regression analysis of tie-breaker designs

abstract: Tie-breaker experimental designs are hybrids of Randomized Controlled Trials (RCTs) and Regression Discontinuity Designs (RDDs) in which subjects with moderate scores are placed in an RCT while subjects with extreme scores are deterministically assigned to the treatment or control group. In settings where it is unfair or uneconomical to deny the treatment to the more deserving recipients, the tie-breaker design (TBD) trades off the practical advantages of the RDD with the statistical advantages of the RCT. The practical costs of the randomization in TBDs can be hard to quantify in generality, while the statistical benefits conferred by randomization in TBDs have only been studied under linear and quadratic models. In this paper, we discuss and quantify the statistical benefits of TBDs without using parametric modelling assumptions. If the goal is estimation of the average treatment effect or the treatment effect at more than one score value, the statistical benefits of using a TBD over an RDD are apparent. If the goal is nonparametric estimation of the mean treatment effect at merely one score value, we prove that about 2.8 times more subjects are needed for an RDD in order to achieve the same asymptotic mean squared error. We further demonstrate using both theoretical results and simulations from the Angrist and Lavy (1999) classroom size dataset, that larger experimental radii choices for the TBD lead to greater statistical efficiency.


title: Learning degraded image classification with restoration data fidelity

abstract: Learning-based methods especially with convolutional neural networks (CNN) are continuously showing superior performance in computer vision applications, ranging from image classification to restoration. For image classification, most existing works focus on very clean images such as images in Caltech-256 and ImageNet datasets. However, in most realistic scenarios, the acquired images may suffer from degradation. One important and interesting problem is to combine image classification and restoration tasks to improve the performance of CNN-based classification networks on degraded images. In this report, we explore the influence of degradation types and levels on four widely-used classification networks, and the use of a restoration network to eliminate the degradation's influence. We also propose a novel method leveraging a fidelity map to calibrate the image features obtained by pre-trained classification networks. We empirically demonstrate that our proposed method consistently outperforms the pre-trained networks under all degradation levels and types with additive white Gaussian noise (AWGN), and it even outperforms the re-trained networks for degraded images under low degradation levels. We also show that the proposed method is a model-agnostic approach that benefits different classification networks. Our results reveal that the proposed method is a promising solution to mitigate the effect caused by image degradation.


title: The Weak Eightfold Way: $SU(3)_W$ unification of the electroweak interactions

abstract: In a recent work, a successful prediction has been made for $\sin^2 \theta_W$ at an energy scale of O(TeV) based on the Dirac quantization condition of an electroweak monopole of the EW-$\nu_R$ model. The fact that such a prediction can be made has prompted the following question: Can $SU(2)$ be unified with $U(1)$ at O(TeV) scale since a prediction for $\sin^2 \theta_W$ necessarily relates the $U(1)$ coupling $g^{\prime}$ to the $SU(2)$ weak coupling $g$? It is shown in this manuscript that this can be accomplished by embedding $SU(2) \times U(1)$ into $SU(3)_W$ (The Weak Eightfold Way) with the following results: 1) The same prediction of the weak mixing angle is obtained; 2) The scalar representations of $SU(3)_W$ contain all those that are needed to build the the EW-$\nu_R$ model and, in particular, the real Higgs triplet used in the construction of the electroweak monopole. 3) Anomaly freedom requires the existence of mirror fermions present in the EW-$\nu_R$ model. 4) Vector-Like Quarks (VLQ) with unconventional electric charges are needed to complete the $SU(3)_W$ representations containing the right-handed up-quarks, with interesting experimental implications such as the prediction of doubly-charged hybrid mesons.


title: The design of the Ali CMB Polarization Telescope receiver

abstract: Ali CMB Polarization Telescope (AliCPT-1) is the first CMB degree-scale polarimeter to be deployed on the Tibetan plateau at 5,250m above sea level. AliCPT-1 is a 90/150 GHz 72 cm aperture, two-lens refracting telescope cooled down to 4 K. Alumina lenses, 800mm in diameter, image the CMB in a 33.4{\deg} field of view on a 636mm wide focal plane. The modularized focal plane consists of dichroic polarization-sensitive Transition-Edge Sensors (TESes). Each module includes 1,704 optically active TESes fabricated on a 150mm diameter silicon wafer. Each TES array is read out with a microwave multiplexing readout system capable of a multiplexing factor up to 2,048. Such a large multiplexing factor has allowed the practical deployment of tens of thousands of detectors, enabling the design of a receiver that can operate up to 19 TES arrays for a total of 32,376 TESes. AliCPT-1 leverages the technological advancements in the detector design from multiple generations of previously successful feedhorn-coupled polarimeters, and in the instrument design from BICEP-3, but applied on a larger scale. The cryostat receiver is currently under integration and testing. During the first deployment year, the focal plane will be populated with up to 4 TES arrays. Further TES arrays will be deployed in the following years, fully populating the focal plane with 19 arrays on the fourth deployment year. Here we present the AliCPT-1 receiver design, and how the design has been optimized to meet the experimental requirements.


title: Exact Noncommutative Two-Dimensional Hydrogen Atom

abstract: In this work, we present an exact analysis of two-dimensional noncommutative hydrogen atom. In this study, it is used the Levi-Civita transformation to perform the solution of the noncommutative Schr\"odinger equation for Coulomb potential. As an important result, we determine the energy levels for the considered system. Using the result obtained and experimental data, a bound on the noncommutativity parameter was obtained.


title: Boundary Control of the Wave Equation via Linear Quadatic Regulation

abstract: We consider the Linear Quadratic Regulation for the boundary control of the one dimensional linear wave equation under both Dirichlet and Neumann activation. For each activation we present a Riccati partial differential equation that we explicitly solve. The derivation the Riccati partial differential equations is by the simple and explicit technique of completing the square.


title: Generative hypergraph clustering: from blockmodels to modularity

abstract: Hypergraphs are a natural modeling paradigm for a wide range of complex relational systems. A standard analysis task is to identify clusters of closely related or densely interconnected nodes. Many graph algorithms for this task are based on variants of the stochastic blockmodel, a random graph with flexible cluster structure. However, there are few models and algorithms for hypergraph clustering. Here, we propose a Poisson degree-corrected hypergraph stochastic blockmodel (DCHSBM), a generative model of clustered hypergraphs with heterogeneous node degrees and edge sizes. Approximate maximum-likelihood inference in the DCHSBM naturally leads to a clustering objective that generalizes the popular modularity objective for graphs. We derive a general Louvain-type algorithm for this objective, as well as a a faster, specialized "All-Or-Nothing" (AON) variant in which edges are expected to lie fully within clusters. This special case encompasses a recent proposal for modularity in hypergraphs, while also incorporating flexible resolution and edge-size parameters. We show that AON hypergraph Louvain is highly scalable, including as an example an experiment on a synthetic hypergraph of one million nodes. We also demonstrate through synthetic experiments that the detectability regimes for hypergraph community detection differ from methods based on dyadic graph projections. We use our generative model to analyze different patterns of higher-order structure in school contact networks, U.S. congressional bill cosponsorship, U.S. congressional committees, product categories in co-purchasing behavior, and hotel locations from web browsing sessions, finding interpretable higher-order structure. We then study the behavior of our AON hypergraph Louvain algorithm, finding that it is able to recover ground truth clusters in empirical data sets exhibiting the corresponding higher-order structure.

categories: cs.SI cs.DM physics.data-an physics.soc-ph stat.ML


title: On the Proof of Global Convergence of Gradient Descent for Deep ReLU Networks with Linear Widths

abstract: We give a simple proof for the global convergence of gradient descent in training deep ReLU networks with the standard square loss, and show some of its improvements over the state-of-the-art. In particular, while prior works require all the hidden layers to be wide with width at least $\Omega(N^8)$ ($N$ being the number of training samples), we require a single wide layer of linear, quadratic or cubic width depending on the type of initialization. Unlike many recent proofs based on the Neural Tangent Kernel (NTK), our proof need not track the evolution of the entire NTK matrix, or more generally, any quantities related to the changes of activation patterns during training. Instead, we only need to track the evolution of the output at the last hidden layer, which can be done much more easily thanks to the Lipschitz property of ReLU. Some highlights of our setting: (i) all the layers are trained with standard gradient descent, (ii) the network has standard parameterization as opposed to the NTK one, and (iii) the network has a single wide layer as opposed to having all wide hidden layers as in most of NTK-related results.


title: Machine Learning for Strategic Inference

abstract: We study interactions between strategic players and markets whose behavior is guided by an algorithm. Algorithms use data from prior interactions and a limited set of decision rules to prescribe actions. While as-if rational play need not emerge if the algorithm is constrained, it is possible to guide behavior across a rich set of possible environments using limited details. Provided a condition known as weak learnability holds, Adaptive Boosting algorithms can be specified to induce behavior that is (approximately) as-if rational. Our analysis provides a statistical perspective on the study of endogenous model misspecification.


title: A Methodology for the Development of RL-Based Adaptive Traffic Signal Controllers

abstract: This article proposes a methodology for the development of adaptive traffic signal controllers using reinforcement learning. Our methodology addresses the lack of standardization in the literature that renders the comparison of approaches in different works meaningless, due to differences in metrics, environments, and even experimental design and methodology. The proposed methodology thus comprises all the steps necessary to develop, deploy and evaluate an adaptive traffic signal controller -- from simulation setup to problem formulation and experimental design. We illustrate the proposed methodology in two simple scenarios, highlighting how its different steps address limitations found in the current literature.


title: Curvature Invariants and the Geometric Horizon Conjecture in a Binary Black Hole Merger

abstract: We study curvature invariants in a binary black hole merger. It has been conjectured that one could define a quasi-local and foliation independent black hole horizon by finding the level--$0$ set of a suitable curvature invariant of the Riemann tensor. The conjecture is the geometric horizon conjecture and the associated horizon is the geometric horizon. We study this conjecture by tracing the level--$0$ set of the complex scalar polynomial invariant, $\mathcal{D}$, through a quasi-circular binary black hole merger. We approximate these level--$0$ sets of $\mathcal{D}$ with level--$\varepsilon$ sets of $|\mathcal{D}|$ for small $\varepsilon$. We locate the local minima of $|\mathcal{D}|$ and find that the positions of these local minima correspond closely to the level--$\varepsilon$ sets of $|\mathcal{D}|$ and we also compare with the level--$0$ sets of $\text{Re}(\mathcal{D})$. The analysis provides evidence that the level--$\varepsilon$ sets track a unique geometric horizon. By studying the behaviour of the zero sets of $\text{Re}(\mathcal{D})$ and $\text{Im}(\mathcal{D})$ and also by studying the MOTSs and apparent horizons of the initial black holes, we observe that the level--$\varepsilon$ set that best approximates the geometric horizon is given by $\varepsilon = 10^{-3}$.


title: Mathematics of stable tensegrity structures

abstract: Tensegrity structures have been extensively studied over the last years due to their potential applications in modern engineering like metamaterials, deployable structures, planetary lander modules, etc. Many of the form-finding methods proposed continue to produce structures with one or more soft/swinging modes. These modes have been vividly highlighted and outlined as the grounds for these structures to be unsuitable as engineering structures. This work proposes a relationship between the number of rods and strings to satisfy the full-rank convexity criterion as a part of the form-finding process. Using the proposed form-finding process for the famous three-rod tensegrity, the work proposes an alternative three-rod ten-string that is stable. The work demonstrates that the stable tensegrities suitable for engineering are feasible and can be designed.


title: A Comprehensive Evaluation Framework for Deep Model Robustness

abstract: Deep neural networks (DNNs) have achieved remarkable performance across a wide range of applications, while they are vulnerable to adversarial examples, which motivates the evaluation and benchmark of model robustness. However, current evaluations usually use simple metrics to study the performance of defenses, which are far from understanding the limitation and weaknesses of these defense methods. Thus, most proposed defenses are quickly shown to be attacked successfully, which results in the ``arm race'' phenomenon between attack and defense. To mitigate this problem, we establish a model robustness evaluation framework containing 23 comprehensive and rigorous metrics, which consider two key perspectives of adversarial learning (i.e., data and model). Through neuron coverage and data imperceptibility, we use data-oriented metrics to measure the integrity of test examples; by delving into model structure and behavior, we exploit model-oriented metrics to further evaluate robustness in the adversarial setting. To fully demonstrate the effectiveness of our framework, we conduct large-scale experiments on multiple datasets including CIFAR-10, SVHN, and ImageNet using different models and defenses with our open-source platform. Overall, our paper provides a comprehensive evaluation framework, where researchers could conduct comprehensive and fast evaluations using the open-source toolkit, and the analytical results could inspire deeper understanding and further improvement to the model robustness.


title: The impact of asymmetric neutrino emissions on nucleosynthesis in core-collapse supernovae II -- progenitor dependences --

abstract: We investigate the impact of asymmetric neutrino-emissions on explosive nucleosynthesis in core-collapse supernovae (CCSNe) of progenitors with a mass range of 9.5 to 25$M_{\odot}$. We perform axisymmetric, hydrodynamic simulations of the CCSN explosion with a simplified neutrino-transport, in which anti-correlated dipolar emissions of $\nu_{\rm e}$ and ${\bar \nu}_{\rm e}$ are imposed. We then evaluate abundances and masses of the CCSN ejecta in a post-processing manner. We find that the asymmetric $\nu$-emission leads to the abundant ejection of $p$- and $n$-rich matter in the high-$\nu_{\rm e}$ and -${\bar \nu}_{\rm e}$ hemispheres, respectively. It substantially affects the abundances of the ejecta for elements heavier than Ni regardless of progenitors, although those elements lighter than Ca are less sensitive. Based on these results, we calculate the IMF-averaged abundances of the CCSN ejecta with taking into account the contribution from Type Ia SNe. For $m_{\rm asy} = 10/3\%$ and $10\%$, where $m_{\rm asy}$ denotes the asymmetric degree of the dipole components in the neutrino emissions, the averaged abundances for elements lighter than Y are comparable to those of the solar abundances, whereas those of elements heavier than Ge are overproduced in the case with $m_{\rm asy} \ge 30\%$. Our result also suggests that the effect of the asymmetric neutrino emissions is imprinted in the difference of abundance ratio of [Ni/Fe] and [Zn/Fe] between the high-$\nu_{\rm e}$ and -${\bar \nu}_{\rm e}$ hemispheres, indicating that the future spectroscopic X-ray observations of a CCSN remnant will bring evidence of the asymmetric neutrino emissions if exist.


title: Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System

abstract: This paper introduces techniques to integrate WordNet into a Fuzzy Logic Programming system. Since WordNet relates words but does not give graded information on the relation between them, we have implemented standard similarity measures and new directives allowing the proximity equations linking two words to be generated with an approximation degree. Proximity equations are the key syntactic structures which, in addition to a weak unification algorithm, make a flexible query-answering process possible in this kind of programming language. This addition widens the scope of Fuzzy Logic Programming, allowing certain forms of lexical reasoning, and reinforcing Natural Language Processing applications. [Under consideration in Theory and Practice of Logic Programming (TPLP)]


title: The Anthropocene by the Numbers: A Quantitative Snapshot of Humanity's Influence on the Planet

abstract: The presence and action of humans on Earth has exerted a strong influence on the evolution of the planet over the past $\approx$ 10,000 years, the consequences of which are now becoming broadly evident. Despite a deluge of tightly-focused and necessarily technical studies exploring each facet of "human impacts" on the planet, their integration into a complete picture of the human-Earth system lags far behind. Here, we quantify twelve dimensionless ratios which put the magnitude of human impacts in context, comparing the magnitude of anthropogenic processes to their natural analogues. These ratios capture the extent to which humans alter the terrestrial surface, hydrosphere, biosphere, atmosphere, and biogeochemistry of Earth. In almost all twelve cases, the impact of human processes rivals or exceeds their natural counterparts. The values and corresponding uncertainties for these impacts at global and regional resolution are drawn from the primary scientific literature, governmental and international databases, and industry reports. We present this synthesis of the current "state of affairs" as a graphical snapshot designed to be used as a reference. Furthermore, we establish a searchable database termed the Human Impacts Database (www.anthroponumbers.org) which houses all quantities reported here and many others with extensive curation and annotation. While necessarily incomplete, this work collates and contextualizes a set of essential numbers summarizing the broad impacts of human activities on Earth's atmosphere, land, water, and biota.


title: Online Adjoint Methods for Optimization of PDEs

abstract: We present and mathematically analyze an online adjoint algorithm for the optimization of partial differential equations (PDEs). Traditional adjoint algorithms would typically solve a new adjoint PDE at each optimization iteration, which can be computationally costly. In contrast, an online adjoint algorithm updates the design variables in continuous-time and thus constantly makes progress towards minimizing the objective function. The online adjoint algorithm we consider is similar in spirit to the the pseudo-time-stepping, one-shot method which has been previously proposed. Motivated by the application of such methods to engineering problems, we mathematically study the convergence of the online adjoint algorithm. The online adjoint algorithm relies upon a time-relaxed adjoint PDE which provides an estimate of the direction of steepest descent. The algorithm updates this estimate continuously in time, and it asymptotically converges to the exact direction of steepest descent as $t \rightarrow \infty$. We rigorously prove that the online adjoint algorithm converges to a critical point of the objective function for optimizing the PDE. Under appropriate technical conditions, we also prove a convergence rate for the algorithm. A crucial step in the convergence proof is a multi-scale analysis of the coupled system for the forward PDE, adjoint PDE, and the gradient descent ODE for the design variables.


title: The Patterson-Sullivan Interpolation of Pluriharmonic Functions for Determinantal Point Processes on Complex Hyperbolic Spaces

abstract: The Patterson-Sullivan construction is proved almost surely to recover a Bergman function from its values on a random discrete subset sampled with the determinantal point process induced by the Bergman kernel on the unit ball $\mathbb{D}_d$ in $\mathbb{C}^d$. For super-critical weighted Bergman spaces, the interpolation is uniform when the functions range over the unit ball of the weighted Bergman space. As main results, we obtain a necessary and sufficient condition for interpolation of a fixed pluriharmonic function in the complex hyperbolic space of arbitrary dimension (cf. Theorem 1.4 and Theorem 4.11); optimal simultaneous uniform interpolation for weighted Bergman spaces (cf. Theorem 1.8, Proposition 1.9 and Theorem 4.13); strong simultaneous uniform interpolation for weighted harmonic Hardy spaces (cf. Theorem 1.11 and Theorem 4.15); and establish the impossibility of the uniform simultaneous interpolation for the Bergman space $A^2(\mathbb{D}_d)$ on $\mathbb{D}_d$ (cf. Theorem 1.12 and Theorem 6.7).


title: Towards Stable Radial Basis Function Methods for Linear Advection Problems

abstract: In this work, we investigate (energy) stability of global radial basis function (RBF) methods for linear advection problems. Classically, boundary conditions (BC) are enforced strongly in RBF methods. By now it is well-known that this can lead to stability problems, however. Here, we follow a different path and propose two novel RBF approaches which are based on a weak enforcement of BCs. By using the concept of flux reconstruction and simultaneous approximation terms (SATs), respectively, we are able to prove that both new RBF schemes are strongly (energy) stable. Numerical results in one and two spatial dimensions for both scalar equations and systems are presented, supporting our theoretical analysis.


title: A Review of Speaker Diarization: Recent Advances with Deep Learning

abstract: Speaker diarization is a task to label audio or video recordings with classes that correspond to speaker identity, or in short, a task to identify "who spoke when". In the early years, speaker diarization algorithms were developed for speech recognition on multispeaker audio recordings to enable speaker adaptive processing. These algorithms also gained their own value as a standalone application over time to provide speaker-specific metainformation for downstream tasks such as audio retrieval. More recently, with the emergence of deep learning technology, which has driven revolutionary changes in research and practices across speech application domains, rapid advancements have been made for speaker diarization. In this paper, we review not only the historical development of speaker diarization technology but also the recent advancements in neural speaker diarization approaches. Furthermore, we discuss how speaker diarization systems have been integrated with speech recognition applications and how the recent surge of deep learning is leading the way of jointly modeling these two components to be complementary to each other. By considering such exciting technical trends, we believe that this paper is a valuable contribution to the community to provide a survey work by consolidating the recent developments with neural methods and thus facilitating further progress toward a more efficient speaker diarization.


title: Phase-Field Modeling of Wetting and Balling Dynamics in Powder Bed Fusion Process

abstract: In a powder bed fusion additive manufacturing (AM) process, the balling effect has a significant impact on the surface quality of the printing parts. Surface wetting helps the bonding between powder and substrate and the inter-particle fusion, whereas the balling effect forms large spheroidal beads around the laser beam and causes voids, discontinuities, and poor surface roughness during the printing process. To better understand the transient dynamics, a theoretical model with a simplified 2D configuration is developed to investigate the underlying fluid flow and heat transfer, phase transition, and interfacial instability along with the laser heating. We demonstrate that the degree of wetting and fast solidification counter-balance the balling effect, and the Rayleigh-Plateau flow instability plays an important role for cases with relatively low substrate wettability and high scanning rate.


title: Regulation by Progestins, Corticosteroids and RU486 of Activation of Elephant Shark and Human Progesterone Receptors: An Evolutionary Perspec

abstract: We investigated progestin and corticosteroid activation of the progesterone receptor (PR) from elephant shark (Callorhinchus milii), a cartilaginous fish belonging to the oldest group of jawed vertebrates. Comparison with human PR experiments provides insights into the evolution of steroid activation of human PR. At 1 nM steroid, elephant shark PR is activated by progesterone, 17-hydroxy-progesterone, 20beta-hydroxy-progesterone, 11-deoxycorticosterone (21-hydroxyprogesterone) and 11-deoxycortisol. At 1 nM steroid, human PR is activated only by progesterone and11-deoxycorticosterone indicating increased specificity for progestins and corticosteroids during the evolution of human PR. RU486, an important clinical antagonist of human PR, did not inhibit progesterone activation of elephant shark PR. Cys-528 in elephant shark PR corresponds to Gly-722 in human PR, which is essential for RU486 inhibition of human PR. Confirming the importance of this site on elephant shark PR, RU486 inhibited progesterone activation of the Cys528Gly mutant PR. There also was a decline in activation of elephant shark Cys528Gly PR by 11-deoxycortisol, 17-hydroxy-progesterone and 20beta-hydroxy-progesterone and an increase in activation of human Gly722Cys PR by 11-deoxycortisol and decreased activation by corticosterone. One or more of these changes may have selected for the mutation corresponding to human glycine-722 PR that first evolved in platypus PR, a basal mammal.


title: An unfitted finite element method for two-phase Stokes problems with slip between phases

abstract: We present an isoparametric unfitted finite element approach of the CutFEM or Nitsche-XFEM family for the simulation of two-phase Stokes problems with slip between phases. For the unfitted generalized Taylor--Hood finite element pair $\mathbf{P}_{k+1}-P_k$, $k\ge1$, we show an inf-sup stability property with a stability constant that is independent of the viscosity ratio, slip coefficient, position of the interface with respect to the background mesh and, of course, mesh size. In addition, we prove stability and optimal error estimates that follow from this inf-sup property. We provide numerical results in two and three dimensions to corroborate the theoretical findings and demonstrate the robustness of our approach with respect to the contrast in viscosity, slip coefficient value, and position of the interface relative to the fixed computational mesh.


title: On the Asymmetry of Rotating Stratified Throughflows Across Finite Amplitude Topography. Part I: Injection of Boundary Layer PV

abstract: We present an idealized study of the baroclinic structure of a rotating, stratified throughflow across a finite amplitude ridge in the f-plane that is forced by a steady, uniform inflow and outflow of equal magnitude. The resulting equilibrated circulation is characterized by unstable, western-intensified boundary currents and flow along f/H contours atop the ridge near the crest that closes the forced circulation. We find that bottom Ekman dynamics localized to lateral boundary currents amplify the stratification expected by simple stretching/squashing: a strongly stratified bottom front (high PV anomaly) along the anticyclonic boundary current associated with net upslope transport, and a bottom mixed layer front (vanishing PV anomaly) localized to the cyclonic boundary current where there is net downslope transport. PV anomalies associated with the two fronts are advected by both the mean flow and eddies that result from baroclinic growth, resulting in a spatial distribution where high PV is concentrated along the ridge, and low PV is advected into the interior ocean downstream from the ridge, at mid-depth. Using a framework of volume integrated PV conservation which incorporates the net fluxes associated with bottom topography, we conform an approximate integral balance between the PV injection from the bottom boundary layer on the ridge and net advection across the ridge. Implications of these findings for understanding the interplay between large scale and bottom boundary dynamics are discussed.