title: Computational fluid dynamics (CFD) simulation of three-phase non-Newtonian slurry flows in industrial horizontal pipelines

abstract: Understanding the flow behavior of complex concentrated slurries is of tremendous importance for industrial waste management. In this study, the transport of three-phase oil sands tailings in a horizontal pipeline is simulated via the mixture multiphase model coupled with the kinetic theory of granular flow. The solid particles and bitumen droplets are conveyed via a non-Newtonian carrier fluid in a turbulent regime inside an industrial-scale pipeline. The simulation results showed exceptional agreement with the field data, with errors of <3.5% for velocity distribution and <15% for the pressure drop. A systematic parametric investigation was performed for a wide range of flow conditions, showing that the majority of bitumen droplets reside at the top region of the pipe. Our findings may help design an effective process for the separation of bitumen residues during pipeline transport.


title: Wiggle: Physical Challenge-Response Verification of Vehicle Platooning

abstract: Autonomous vehicle platooning promises many benefits such as fuel efficiency, road safety, reduced traffic congestion, and passenger comfort. Platooning vehicles travel in a single file, in close distance, and at the same velocity. The platoon formation is autonomously maintained by a Cooperative Adaptive Cruise Control (CACC) system which relies on sensory data and vehicle-to-vehicle (V2V) communications. In fact, V2V messages play a critical role in shortening the platooning distance while maintaining safety. Whereas V2V message integrity and source authentication can be verified via cryptographic methods, establishing the truthfulness of the message contents is a much harder task. This work establishes a physical access control mechanism to restrict V2V messages to platooning members. Specifically, we aim at tying the digital identity of a candidate requesting to join a platoon to its physical trajectory relative to the platoon. We propose the {\em Wiggle} protocol that employs a physical challenge-response exchange to prove that a candidate requesting to be admitted into a platoon actually follows it. The protocol name is inspired by the random longitudinal movements that the candidate is challenged to execute. {\em Wiggle} prevents any remote adversary from joining the platoon and injecting fake CACC messages. Compared to prior works, {\em Wiggle} is resistant to pre-recording attacks and can verify that the candidate is directly behind the verifier at the same lane.


title: A Semi-Algebraic Framework for Verification and Synthesis of Control Barrier Functions

abstract: Safety is a critical property for control systems in medicine, transportation, manufacturing, and other applications, and can be defined as ensuring positive invariance of a predefined safe set. This paper investigates the problems of verifying positive invariance of a semi-algebraic set as well as synthesizing sets that can be made positive invariant through Control Barrier Function (CBF)-based control. The key to our approach consists of mapping conditions for positive invariance to sum-of-squares constraints via the Positivstellensatz from real algebraic geometry. Based on these conditions, we propose a framework for verifying safety of CBF-based control including single CBFs, high-order CBFs, multi-CBFs, and systems with trigonometric dynamics and actuation constraints. In the area of synthesis, we propose algorithms for constructing CBFs, namely, an alternating-descent approach and a local CBF approach. We evaluate our approach through a case study on a linearized quadrotor model with actuation constraints.


title: Multi-View Reconstruction using Signed Ray Distance Functions (SRDF)

abstract: In this paper, we investigate a new optimization framework for multi-view 3D shape reconstructions. Recent differentiable rendering approaches have provided breakthrough performances with implicit shape representations though they can still lack precision in the estimated geometries. On the other hand multi-view stereo methods can yield pixel wise geometric accuracy with local depth predictions along viewing rays. Our approach bridges the gap between the two strategies with a novel volumetric shape representation that is implicit but parameterized with pixel depths to better materialize the shape surface with consistent signed distances along viewing rays. The approach retains pixel-accuracy while benefiting from volumetric integration in the optimization. To this aim, depths are optimized by evaluating, at each 3D location within the volumetric discretization, the agreement between the depth prediction consistency and the photometric consistency for the corresponding pixels. The optimization is agnostic to the associated photo-consistency term which can vary from a median-based baseline to more elaborate criteria learned functions. Our experiments demonstrate the benefit of the volumetric integration with depth predictions. They also show that our approach outperforms existing approaches over standard 3D benchmarks with better geometry estimations.


title: Feynman on Artificial Intelligence and Machine Learning, with Updates

abstract: I present my recollections of Richard Feynman's mid-1980s interest in artificial intelligence and neural networks, set in the technical context of the physics-related approaches to neural networks of that time. I attempt to evaluate his ideas in the light of the substantial advances in the field since then, and vice versa. There are aspects of Feynman's interests that I think have been largely achieved and others that remain excitingly open, notably in computational science, and potentially including the revival of symbolic methods therein.


title: RecLight: A Recurrent Neural Network Accelerator with Integrated Silicon Photonics

abstract: Recurrent Neural Networks (RNNs) are used in applications that learn dependencies in data sequences, such as speech recognition, human activity recognition, and anomaly detection. In recent years, newer RNN variants, such as GRUs and LSTMs, have been used for implementing these applications. As many of these applications are employed in real-time scenarios, accelerating RNN/LSTM/GRU inference is crucial. In this paper, we propose a novel photonic hardware accelerator called RecLight for accelerating simple RNNs, GRUs, and LSTMs. Simulation results indicate that RecLight achieves 37x lower energy-per-bit and 10% better throughput compared to the state-of-the-art.


title: Dynamics of endomorphisms of algebraic groups

abstract: Let $\sigma$ denote an endomorphism of a smooth algebraic group $G$ over the algebraic closure of a finite field, and assume all iterates of $\sigma$ have finitely many fixed points. Steinberg gave a formula for the number of fixed points of $\sigma$ (and hence of all of its iterates $\sigma^n$) in the semisimple case, leading to a representation of its Artin-Mazur zeta function as a rational function. We generalise this to an arbitrary (smooth) algebraic group $G$, where the number of fixed points $\sigma_n$ of $\sigma^n$ can depend on $p$-adic properties of $n$. We axiomatise the structure of the sequence $(\sigma_n)$ via the concept of a `finite-adelically distorted' (FAD-)sequence. Such sequences also occur in topological dynamics, and our subsequent results about zeta functions and asymptotic counting of orbits apply equally well in that situation; for example, to $S$-integer dynamical systems, additive cellular automata and other compact abelian groups. We prove dichotomies for the associated Artin-Mazur zeta function, and study the analogue of the Prime Number Theorem for the function counting periodic orbits of length $\leq N$. For an algebraic group $G$ we express the error term via the $\ell$-adic cohomological zeta function of $G$.


title: In Alexa, We Trust. Or Do We? : An analysis of People's Perception of Privacy Policies

abstract: Smart home devices have found their way through people's homes as well as hearts. One such smart device is Amazon Alexa. Amazon Alexa is a voice-controlled application that is rapidly gaining popularity. Alexa was primarily used for checking weather forecasts, playing music, and controlling other devices. This paper tries to explore the extent to which people are aware of the privacy policies pertaining to the Amazon Alexa devices. We have evaluated behavioral change towards their interactions with the device post being aware of the adverse implications. Resulting knowledge will give researchers new avenues of research and interaction designers new insights into improving their systems.


title: An Inexact Variance-Reduced Method For Stochastic Quasi-Variational Inequality Problems With An Application In Healthcare

abstract: This paper is focused on a stochastic quasi-variational inequality (SQVI) problem with a continuous and strongly-monotone mapping over a closed and convex set where the projection onto the constraint set may not be easy to compute. We present an inexact variance reduced stochastic scheme to solve SQVI problems and analyzed its convergence rate and oracle complexity. A linear rate of convergence is obtained by progressively increasing sample-size and approximating the projection operator. Moreover, we show how a competition among blood donation organizations can be modeled as an SQVI and we provide some preliminary simulation results to validate our findings.


title: Asphaltene precipitation under controlled mixing conditions in a microchamber

abstract: Solvent exchange is a controlled process for dilution-induced phase separation. This work utilizes the solvent exchange method to reveal the effect of the mixing dynamics on the asphaltene precipitation process under 20 different mixing conditions using a model system of n-heptane and asphaltene in toluene. The external mixing between the asphaltene solution and the paraffinic solvent is strictly controlled. We employed a high-spatial-resolution total internal reflection fluorescence microscope to detect asphaltene precipitates with a resolution up to 200 nm. A multiphysics model is used to simulate the evolution of the oversaturation pulse in the solvent exchange process. Based on the simulation results, we predicted the effect of the flow rate, dimension, the orientation of the microfluidic chamber, and temperature on the surface coverage and size distribution of asphaltene precipitates. The model predictions of all factors corroborate with the experimental observations. Local concentration of the solvent and shear forces are found to be the two main reasons for the change of asphaltene precipitation caused by mixing dynamics. However, the influence of thermodynamics is more critical than the mixing dynamics as temperature changes. Through a combination of experimental and simulation studies, this work illuminates the significance of the transportation process for the final morphology of asphaltene precipitates and provides an in-depth insight into the mechanism of mixing dynamics on the asphaltene precipitation. A smart mixing may be to boost new phase formation without excessive solvent consumption.


title: Analytic solution of the exact Daum-Huang flow equation for particle filters

abstract: State estimation for nonlinear systems, especially in high dimensions, is a generally intractable problem, despite the ever-increasing computing power. Efficient algorithms usually apply a finite-dimensional model for approximating the probability density of the state vector or treat the estimation problem numerically. In 2007 Daum and Huang introduced a novel particle filter approach that uses a homotopy-induced particle flow for the Bayesian update step. Multiple types of particle flows were derived since with different properties. The exact flow considered in this work is a first-order linear ordinary time-varying inhomogeneous differential equation for the particle motion. An analytic solution in the interval [0,1] is derived for the scalar measurement case, which enables significantly faster computation of the Bayesian update step for particle filters.


title: Continuation Criterion For Solutions To The Einstein Equations

abstract: We prove a continuation condition in the context of 3+1 dimensional vacuum Einstein gravity in Constant Mean extrinsic Curvature (CMC) gauge. More precisely, we obtain quantitative criteria under which the physical spacetime can be extended in the future indefinitely as a solution to the Cauchy problem of the Einstein equations given regular initial data. In particular, we show that a gauge-invariant $H^{2}$ Sobolev norm of the spacetime Riemann curvature remains bounded in the future time direction provided the so-called deformation tensor of the unit timelike vector field normal to the chosen CMC hypersurfaces verifies a spacetime $L^\infty$ bound. To this end, we implement a novel technique to obtain this refined estimate by using Friedlander's parametrix for tensor wave equations on curved spacetime and Moncrief's subsequent improvement. We conclude by providing a physical explanation of our result as well as its relation to the issues of determinism and weak cosmic censorship.


title: Solvable Groups and Affine Actions on the Line

abstract: We prove a structural result for orientation-preserving actions of finitely generated solvable groups on real intervals, considered up to semi-conjugacy. As applications we obtain new answers to a problem first considered by J. F. Plante, which asks under which conditions an action of a solvable group on a real interval is semi-conjugate to an action on the line by affine transformations. We show that this is always the case for actions by $C^1$ diffeomorphisms on closed intervals. For arbitrary actions by homeomorphisms, for which this result is no longer true (as shown by Plante), we show that a semi-conjugacy to an affine action still exists in a local sense, at the level of germs near the endpoints. Finally for a vast class of solvable groups, including all solvable linear groups, we show that the family of affine actions on the line is robust, in the sense that any action by homeomorphisms on the line which is sufficiently close to an affine action must be semi-conjugate to an affine action. This robustness fails for general solvable groups, as illustrated by a counterexample.


title: A rapid-prototype MPC tool based on gPROMS platform

abstract: This paper presents a rapid-prototype Model Predictive Control (MPC) tool based on the gPROMS platform, with the support for the whole MPC design workflow. The gPROMS-MPC tool can not only directly interact with a first-principle-based gPROMS model for closed-loop simulations but also utilizes its mathematical information to derive simplified control-oriented models, basically via linearization techniques. It can inherit the interpretability of the first-principle-based gPROMS model, unlike the PAROC framework in which the control-oriented models are obtained from black-box system identification based on gPROMS simulation data. The gPROMS-MPC tool allows users to choose when to linearize such as at each sampling time (successive linearization) or some specific points to obtain one or multiple good linear models. The gPROMS-MPC tool implements our previous construction-free CDAL and the online parametric active-set qpOASES algorithms to solve sparse or condensed MPC problem formulations, respectively, for possible successive linearization or high state-dimension cases. Our CDAL algorithm is also matrix-free and library-free, thus supporting embedded C-code generation. After many example validations of the tool, here we only show one example to investigate the performance of different MPC schemes.


title: Variational Monte Carlo Calculations of n+3H Scattering

abstract: A paramount goal in the field of nuclear physics is to unify ab-initio treatments of bound and unbound states. The position-space quantum Monte Carlo (QMC) methods have a long history of successful bound state calculations in light systems but so far have seen very little application to unbound systems. Here we introduce a numerical method to improve the efficiency and accuracy of unbound-state calculations in QMC, and as an initial application we compute scattering observables for the neutron-triton system using variational Monte Carlo (VMC) wave functions. The method consists of inferring long-range amplitudes in the wave function from integrals over the short-ranged region where all the particles interact. This approach using integral relations is well established in the literature; here we develop it for the QMC framework. We validate our code with a consistency check between short-range spectroscopic overlap functions computed from direct evaluation and from the integral relations; scattering amplitudes are long-range asymptotics of those overlaps. Comparison against published benchmark calculations using the same potential demonstrates that the integral method, when applied to the current VMC wave functions, produces more accurate scattering observables than direct evaluation from the same variational wave function. However, it still differs noticeably from exact results. We then present phase shifts and mixing parameters for the neutron-triton system using various interactions. Application of the integral method here paves the way for its use in Green's function Monte Carlo (GFMC) calculations. In GFMC the wave functions are more precise, but high-precision convergence of their tails is slow, and there are additional difficulties in reading out amplitudes. The integral methods will address both of those remaining problems.


title: On Poisoned Wardrop Equilibrium in Congestion Games

abstract: Recent years have witnessed a growing number of attack vectors against increasingly interconnected traffic networks. Informational attacks have emerged as the prominent ones that aim to poison traffic data, misguide users, and manipulate traffic patterns. To study the impact of this class of attacks, we propose a game-theoretic framework where the attacker, as a Stackelberg leader, falsifies the traffic conditions to change the traffic pattern predicted by the Wardrop traffic equilibrium, achieved by the users, or the followers. The intended shift of the Wardrop equilibrium is a consequence of strategic informational poisoning. Leveraging game-theoretic and sensitivity analysis, we quantify the system-level impact of the attack by characterizing the concept of poisoned Price of Anarchy, which compares the poisoned Wardrop equilibrium and its non-poisoned system optimal counterpart. We use an evacuation case study to show that the Stackelberg equilibrium can be found through a two-time scale zeroth-order learning process and demonstrate the disruptive effects of informational poisoning, indicating a compelling need for defense policies to mitigate such security threats.


title: $\hat Z$- invariant for $SO(3)$ and $OSp(1|2)$ Groups

abstract: Three-manifold invariants $\hat Z$ (''$Z$-hat''), also known as homological blocks, are $q$-series with integer coefficients. Explicit $q$-series form for $\hat Z$ is known for $SU(2)$ group, supergroup $SU(2|1)$ and ortho-symplectic supergroup $OSp(2|2)$. We focus on $\hat Z$ for $SO(3)$ group and orthosymplectic supergroup $OSp(1|2)$ in this paper. Particularly, the change of variable relating $SU(2)$ link invariants to the $SO(3)$ & $OSp(1|2)$ link invariants plays a crucial role in explicitly writing the $q$-series.


title: Simulating Airplane Aerodynamics with Body Forces: Actuator Line Method for Non-planar Wings

abstract: Two configurations typical of fixed-wing aircraft are simulated with the actuator line method (ALM): a wing with winglets and a T-tail. The ALM is extensively used in rotor simulations to model the blades by body forces, which are calculated from airfoil data and the relative flow velocity. This method has not been used to simulate airplane aerodynamics, despite its advantage of allowing coarser grids. This may be credited to the failure of the uncorrected ALM to accurately predict forces near the tip of wings, even for simple configurations. The recently-proposed vortex-based smearing correction shows improved results, suggesting those limitations are part of the past. For the non-planar configurations studied in this work, differences between the ALM with the original smearing correction and a non-linear lifting line method (LL) are observed near the intersection of surfaces, because the circulation generated in the numerical simulation differs from the calculated corrected circulation. A vorticity magnitude correction is proposed, which improves the agreement between ALM and LL. This second-order correction resolves the ambiguity in the velocity used to define the lift force. The good results indicate that the improved ALM can be used for airplane aerodynamics, with an accuracy similar to the LL.


title: Iterative Calculation of Characteristic Modes Using Arbitrary Full-wave Solvers

abstract: An iterative algorithm is adopted to construct approximate representations of matrices describing the scattering properties of arbitrary objects. The method is based on the implicit evaluation of scattering responses from iteratively generated excitations. The method does not require explicit knowledge of any system matrices (e.g., stiffness or impedance matrices) and is well-suited for use with matrix-free and iterative full-wave solvers, such as FDTD, FEM, and MLFMA. The proposed method allows for significant speed-up compared to the direct construction of a full transition matrix or scattering dyadic. The method is applied to the characteristic mode decomposition of arbitrarily shaped obstacles of arbitrary material distribution. Examples demonstrating the speed-up and complexity of the algorithm are studied with several commercial software packages.


title: Qubitization strategies for bosonic field theories

abstract: Quantum simulations of bosonic field theories require a truncation in field space to map the theory onto finite quantum registers. Ideally, the truncated theory preserves the symmetries of the original model and has a critical point in the same universality class. In this paper, we explore two different truncations that preserve the symmetries of the 1+1-dimensional $O(3)$ non-linear $\sigma$-model - one that truncates the Hilbert space for the unit sphere by setting an angular momentum cutoff and a fuzzy sphere truncation inspired by non-commutative geometry. We compare the spectrum of the truncated theories in a finite box with the full theory. We use open boundary conditions, a novel method that improves on the correlation lengths accessible in our calculations. We provide evidence that the angular-momentum truncation fails to reproduce the $\sigma$-model and that the anti-ferromagnetic fuzzy model agrees with the full theory.


title: Efficient Methods for Natural Language Processing: A Survey

abstract: Recent work in natural language processing (NLP) has yielded appealing results from scaling model parameters and training data; however, using only scale to improve performance means that resource consumption also grows. Such resources include data, time, storage, or energy, all of which are naturally limited and unevenly distributed. This motivates research into efficient methods that require fewer resources to achieve similar results. This survey synthesizes and relates current methods and findings in efficient NLP. We aim to provide both guidance for conducting NLP under limited resources, and point towards promising research directions for developing more efficient methods.


title: Collective motion driven by nutrient consumption

abstract: A classical problem describing the collective motion of cells, is the movement driven by consumption/depletion of a nutrient. Here we analyze one of the simplest such model written as a coupled Partial Differential Equation/Ordinary Differential Equation system which we scale so as to get a limit describing the usually observed pattern. In this limit the cell density is concentrated as a moving Dirac mass and the nutrient undergoes a discontinuity. We first carry out the analysis without diffusion, getting a complete description of the unique limit. When diffusion is included, we prove several specific a priori estimates and interpret the system as a heterogeneous monostable equation. This allow us to obtain a limiting problem which shows the concentration effect of the limiting dynamics.


title: Limit of the environment viewed from Sina\"i's walk

abstract: For Sina\"i's walk (X_k) we show that the empirical measure of the environment seen from the particle (\bar\w_k) converges in law to some random measure S. This limit measure is explicitly given in terms of the infinite valley, which construction goes back to Golosov. As a consequence an "in law" ergodic theorem holds for additive functionals of (\bar\w_k) . When the limit in this "in law" ergodic theorem is deterministic, it holds in probability. This allows some extensions to the recurrent case of the ballistic "environment's method" dating back to Kozlov and Molchanov. In particular, we show an LLN and a mixed CLT for the sums sum_{k=1}^nf(\Delta X_k), where f is bounded and depending on the steps \Delta X_k:=X_{k+1}-X_k.


title: Bayesian Mixed Multidimensional Scaling for Auditory Processing

abstract: The human brain distinguishes speech sound categories by representing acoustic signals in a latent multidimensional auditory-perceptual space. This space can be statistically constructed using multidimensional scaling, a technique that can compute lower-dimensional latent features representing the speech signals in such a way that their pairwise distances in the latent space closely resemble the corresponding distances in the observation space. The inter-individual and inter-population (e.g., native versus non-native listeners) heterogeneity in such representations is however not well understood. These questions have often been examined using joint analyses that ignore individual heterogeneity or using separate analyses that cannot characterize human similarities. Neither extreme, therefore, allows for principled comparisons between populations and individuals. The focus of the current literature has also often been on inference on latent distances between the categories and not on the latent features themselves, which are crucial for our applications, that make up these distances. Motivated by these problems, we develop a novel Bayesian mixed multidimensional scaling method, taking into account the heterogeneity across populations and subjects. We design a Markov chain Monte Carlo algorithm for posterior computation. We then recover the latent features using a post-processing scheme applied to the posterior samples. We evaluate the method's empirical performances through synthetic experiments. Applied to a motivating auditory neuroscience study, the method provides novel insights into how biologically interpretable lower-dimensional latent features reconstruct the observed distances between the stimuli and vary between individuals and their native language experiences.


title: GGArray: A Dynamically Growable GPU Array

abstract: We present a dynamically Growable GPU array (GGArray) fully implemented in GPU that does not require synchronization with the host. The idea is to improve the programming of GPU applications that require dynamic memory, by offering a structure that does not require pre-allocating GPU VRAM for the worst case scenario. The GGArray is based on the LFVector, by utilizing an array of them in order to take advantage of the GPU architecture and the synchronization offered by thread blocks. This structure is compared to other state of the art ones such as a pre-allocated static array and a semi-static array that needs to be resized through communication with the host. Experimental evaluation shows that the GGArray has a competitive insertion and resize performance, but it is slower for regular parallel memory accesses. Given the results, the GGArray is a potentially useful structure for applications with high uncertainty on the memory usage as well as applications that have phases, such as an insertion phase followed by a regular GPU phase. In such cases, the GGArray can be used for the first phase and then data can be flattened for the second phase in order to allow the classical GPU memory accesses which are faster. These results constitute a step towards achieving a parallel efficient C++ like vector for modern GPU architectures.


title: Recategorising research: Mapping from FoR 2008 to FoR 2020 in Dimensions

abstract: In 2020 the Australia New Zealand Standard Research Classification Fields of Research Codes (ANZSRC FoR codes) were updated by their owners. This has led the sector to need to update their systems of reference and has caused suppliers working in the research information sphere to need to update both systems and data. This paper describes the approach developed by Digital Science's Dimensions team to the creation of an improved machine learning training set, and the mapping of that set from FoR 2008 codes to FoR 2020 codes so that Dimensions classification approach for the ANZSRC codes could be improved and updated.


title: Personalized Biopsy Schedules Using an Interval-censored Cause-specific Joint Model

abstract: Active surveillance (AS), where biopsies are conducted to detect cancer progression, has been acknowledged as an efficient way to reduce the overtreatment of prostate cancer. Most AS cohorts use fixed biopsy schedules for all patients. However, the ideal test frequency remains unknown, and the routine use of such invasive tests burdens the patients. An emerging idea is to generate personalized biopsy schedules based on each patient's progression-specific risk. To achieve that, we propose the interval-censored cause-specific joint model (ICJM), which models the impact of longitudinal biomarkers on cancer progression while considering the competing event of early treatment initiation. The underlying likelihood function incorporates the interval-censoring of cancer progression, the competing risk of treatment, and the uncertainty about whether cancer progression occurred since the last biopsy in patients that are right-censored or experience the competing event. The model can produce patient-specific risk profiles until a horizon time. If the risk exceeds a certain threshold, a biopsy is conducted. The optimal threshold can be chosen by balancing two indicators of the biopsy schedules: the expected number of biopsies and expected delay in detection of cancer progression. A simulation study showed that our personalized schedules could considerably reduce the number of biopsies per patient by 34%-54% compared to the fixed schedules, though at the cost of a slightly longer detection delay.


title: Structural Dynamics of Polymer:Non-Fullerene Organic Solar Cell Blends: A Neutron Spectroscopy Perspective

abstract: Organic solar cells (OSCs) based on ADA-type (acceptor-donor-acceptor) non-fullerene acceptors (NFAs) exhibit improved power conversion efficiency (PCE) compared to the conventional fullerene-based analogues. The optoelectronic properties of OSC active layer blends are correlated to their underlying structural dynamics and therefore influence the device performance. Using synergistically different neutron spectroscopy techniques, we studied the dynamics of binary and ternary blends made of the NFAs O-IDTBR and O-IDFBR and the regioregular donor polymer P3HT. Deuteration was considered for a contrast variation purpose. In addition to shedding light on the miscibilty and alloying characters of the blends, a main outcome of this work is the evidenced similar dynamical response of the blend components. This finding is in contrast with our previous neutron spectroscopy and molecular dynamics studies of the fullerene-based blend P3HT:PCBM, where we highlighted distinct behaviors of P3HT and PCBM in terms of the vitrification/frustration of P3HT and the plasticization of PCBM by P3HT upon blending. Alike P3HT vitrification is not presently observed. The absence or the weak vitrification evidenced here is in line with recent reports and is likely related to the improved PCE exhibited by the ADA-type NFA-based OSCs.


title: Equivalence of SS-based MPC and ARX-based MPC

abstract: Two kinds of control-oriented models used in MPC are the state-space (SS) model and the input-output model (such as the ARX model). The SS model has interpretability when obtained from the modeling paradigm, and the ARX model is black-box but adaptable. This paper aims to introduce interpretability into ARX models, thereby proposing a first-principle-based modeling paradigm for acquiring control-oriented ARX models, as an alternative to the existing data-driven ARX identification paradigm. That is, first to obtain interpretative SS models via linearizing the first-principle-based models at interesting points and then to transform interpretative SS models into their equivalent ARX models via the SS-to-ARX transformations. This paper presents the Cayley-Hamilton, Observer-Theory, and Kalman Filter based SS-to-ARX transformations, further showing that choosing the ARX model order should depend on the process noise to achieve a good closed-loop performance rather than the fitting criteria in data-driven ARX identification paradigm. An AFTI-16 MPC example is used to illustrate the equivalence of SS-based MPC and ARX-based MPC problems and to investigate the robustness of different SS-to-ARX transformations to noise.


title: Countable strict reverse mathematics

abstract: We investigate subsystems $COM_{fcn}$, $COMI_{fcn}$ and $PRA_{fcn}$ of the elementary theory of functions $ETF$, the base theory for countable strict reverse mathematics. We show that inductions on any variable for unary, binary and ternary functions are pairwise equivalent over $COM_{fcn}$. We prove that weakened primitive recursion axiom $WPRA$ is equivalent to primitive recursion axiom $PRA$ over $COMI_{fcn}$. We show that permutation axiom and minimization axioms $MIN^1$, $MIN^2$, $MIN^3$ are pairwise equivalent over $PRA_{fcn}$. Thus, we present several equivalent axiomatizations of $ETF$.


title: A DeepParticle method for learning and generating aggregation patterns in multi-dimensional Keller-Segel chemotaxis systems

abstract: We study a regularized interacting particle method for computing aggregation patterns and near singular solutions of a Keller-Segal (KS) chemotaxis system in two and three space dimensions, then further develop DeepParticle (DP) method to learn and generate solutions under variations of physical parameters. The KS solutions are approximated as empirical measures of particles which self-adapt to the high gradient part of solutions. We utilize the expressiveness of deep neural networks (DNNs) to represent the transform of samples from a given initial (source) distribution to a target distribution at finite time T prior to blowup without assuming invertibility of the transforms. In the training stage, we update the network weights by minimizing a discrete 2-Wasserstein distance between the input and target empirical measures. To reduce computational cost, we develop an iterative divide-and-conquer algorithm to find the optimal transition matrix in the Wasserstein distance. We present numerical results of DP framework for successful learning and generation of KS dynamics in the presence of laminar and chaotic flows. The physical parameter in this work is either the small diffusivity of chemo-attractant or the reciprocal of the flow amplitude in the advection-dominated regime.


title: Complexity of diameter on AT-free graphs is linear

abstract: We develop a linear time algorithm for finding the diameter of an asteroidal triple-free (AT-free) graph. Furthermore, we update the definition of polar pairs and develop new properties of polar pairs for (weak) dominating pair graphs. We prove that the problem of computing a simplicial vertex in a general graph can be accomplished in O(n^2) based on an existing reduction to the problem of finding diameter in an AT-free graph. We improve the best-known run-time complexities of several graph theoretical problems.


title: Modeling the induction, thrust, and power of a yaw misaligned actuator disk

abstract: Collective wind farm flow control, where wind turbines are operated in an individually suboptimal strategy to benefit the aggregate farm, has demonstrated potential to reduce wake interactions and increase farm energy production. However, existing wake models used for flow control often estimate the thrust and power of yaw misaligned turbines using simplified empirical expressions which require expensive calibration data and do not accurately extrapolate between turbine models. The thrust, wake velocity deficit, wake deflection, and power of a yawed wind turbine depend on its induced velocity. Here, we extend classical one-dimensional momentum theory to model the induction of a yaw misaligned actuator disk. Analytical expressions for the induction, thrust, initial wake velocities, and power are developed as a function of the yaw angle and thrust coefficient. The analytical model is validated against large eddy simulations of a yawed actuator disk. Because the induction depends on the yaw and thrust coefficient, the power generated by a yawed actuator disk will always be greater than a $\cos^3(\gamma)$ model suggests, where $\gamma$ is yaw. The power lost by yaw depends on the thrust coefficient. An analytical expression for the thrust coefficient that maximizes power, depending on the yaw, is developed and validated. Finally, using the developed induction model as an initial condition for a turbulent far-wake model, we demonstrate how combining wake steering and thrust (induction) control can increase array power, compared to either independent steering or induction control, due to the joint dependence of the induction on the thrust coefficient and yaw angle.


title: KMT-2017-BLG-0673Lb and KMT-2019-BLG-0414Lb: Two microlensing planets detected in peripheral fields of KMTNet survey

abstract: We investigate the microlensing data collected during the 2017--2019 seasons in the peripheral Galactic bulge fields with the aim of finding planetary signals in microlensing light curves observed with relatively sparse coverage. We first sort out lensing events with weak short-term anomalies in the lensing light curves from the visual inspection of all non-prime-field events, and then test various interpretations of the anomalies. From this procedure, we find two previously unidentified candidate planetary lensing events KMT-2017-BLG-0673 and KMT-2019-BLG-0414. It is found that the planetary signal of KMT-2017-BLG-0673 was produced by the source crossing over a planet-induced caustic, but it was previously missed because of the sparse coverage of the signal. On the other hand, the possibly planetary signal of KMT-2019-BLG-0414 was generated without caustic crossing, and it was previously missed due to the weakness of the signal. We identify a unique planetary solution for KMT-2017-BLG-0673. However, for KMT-2019-BLG-0414, we identify two pairs of planetary solutions, for each of which there are two solutions caused by the close-wide degeneracy, and a slightly less favored binary-source solution, in which a single lens mass gravitationally magnified a rapidly orbiting binary source with a faint companion (xallarap). From Bayesian analyses, it is estimated that the planet KMT-2017-BLG-0673Lb has a mass of $3.7^{+2.2}_{-2.1}~M_{\rm J}$, and it is orbiting a late K-type host star with a mass of $0.63^{+0.37}_{-0.35}~M_\odot$. Under the planetary interpretation of KMT-2010-BLG-0414L, a star with a mass of $0.74^{+0.43}_{-0.38}~M_\odot$ hosts a planet with a mass of $\sim 3.2$--3.6~$M_{\rm J}$ depending on the solution. We discuss the possible resolution of the planet-xallarap degeneracy of KMT-2019-BLG-0414 by future adaptive-optics observations on 30~m class telescopes.


title: Isometries of combinatorial Tsirelson spaces

abstract: We extend existing results that characterize isometries on the Tsirelson-type spaces $T\big[\frac{1}{n}, \mathcal{S}_1\big]$ ($n\in \mathbb{N}, n\geq 2$) to the class $T[\theta, \mathcal{S}_{\alpha}]$ ($\theta \in \big(0, \frac{1}{2}\big]$, $1\leqslant \alpha < \omega_1$), where $\mathcal{S}_{\alpha}$ denote the Schreier families of order $\alpha$. We prove that every isometry on $T[\theta, \mathcal{S}_1]$ ($\theta \in \big(0, \frac{1}{2}\big]$) is determined by a permutation of the first $\lceil {\theta}^{-1} \rceil$ elements of the canonical unit basis followed by a possible sign-change of the corresponding coordinates together with a sign-change of the remaining coordinates. Moreover, we show that for the spaces $T[\theta, \mathcal{S}_{\alpha}]$ ($\theta \in \big(0, \frac{1}{2}\big]$, $2\leqslant \alpha < \omega_1$) the isometries exhibit a more rigid character, namely, they are all implemented by a sign-change operation of the vector coordinates.


title: RAPTOR: Ravenous Throughput Computing

abstract: We describe the design, implementation and performance of the RADICAL-Pilot task overlay (RAPTOR). RAPTOR enables the execution of heterogeneous tasks -- i.e., functions and executables with arbitrary duration -- on HPC platforms, providing high throughput and high resource utilization. RAPTOR supports the high throughput virtual screening requirements of DOE's National Virtual Biotechnology Laboratory effort to find therapeutic solutions for COVID-19. RAPTOR has been used on $>8000$ compute nodes to sustain 144M/hour docking hits, and to screen $\sim$10$^{11}$ ligands. To the best of our knowledge, both the throughput rate and aggregated number of executed tasks are a factor of two greater than previously reported in literature. RAPTOR represents important progress towards improvement of computational drug discovery, in terms of size of libraries screened, and for the possibility of generating training data fast enough to serve the last generation of docking surrogate models.


title: An evaluation framework for comparing causal inference models

abstract: Estimation of causal effects is the core objective of many scientific disciplines. However, it remains a challenging task, especially when the effects are estimated from observational data. Recently, several promising machine learning models have been proposed for causal effect estimation. The evaluation of these models has been based on the mean values of the error of the Average Treatment Effect (ATE) as well as of the Precision in Estimation of Heterogeneous Effect (PEHE). In this paper, we propose to complement the evaluation of causal inference models using concrete statistical evidence, including the performance profiles of Dolan and Mor{\'e}, as well as non-parametric and post-hoc statistical tests. The main motivation behind this approach is the elimination of the influence of a small number of instances or simulation on the benchmarking process, which in some cases dominate the results. We use the proposed evaluation methodology to compare several state-of-the-art causal effect estimation models.


title: LaserSVG: Responsive Laser-Cutter Templates

abstract: Laser cutters take vector data for the shapes they cut or engrave as input, however, re-using a given design with different material or on a different machine requires adaptation of the template. Unfortunately, vector drawings lack the semantic information required for an automated adjustment to new parameters, making the manual adjustment a tedious and error-prone process for end-users. We present LaserSVG, a standard-compliant vector-based file format, software library, and authoring tool to specify, generate, exchange and re-use responsive laser-cutting templates. With LaserSVG, designers can easily turn their vector-drawings into parametric templates that end-users can easily adjust to new materials or production parameters. Our tools provide various functions for parametric design that allows end-users and designers to adapt objects while ensuring overall consistency of the results.


title: GPU Voronoi Diagrams for Random Moving Seeds

abstract: The Voronoi Diagram is a geometrical structure that is widely used in scientific or technological applications where proximity is a relevant aspect to consider, and it also resembles natural phenomena such as cellular banks, rock formations or bee hives, among others. Typically, computing the Voronoi Diagram is done in a static context, that is, the location of the input seeds is defined once and does not change. In this work we study the dynamic case where seeds move, which leads to a dynamic Voronoi Diagram that changes over time. In particular, we consider uniform random moving seeds, for which we propose the \textit{dynamic Jump Flooding Algorithm} (dJFA), a variant of JFA that uses less iterations than the standard JFA. An experimental evaluation shows that dJFA achieves a speedup of up to $\sim 5.3 \times$ over JFA, while maintaining a similarity of at least $88\%$ and close to $100\%$ in many cases. These results contribute with a step towards the achievement of real-time GPU-based computation of dynamic Voronoi diagrams for any particle simulation.


title: The safe operating space for greenhouse gas emissions

abstract: The Planetary Boundary for Climate Change has been surpassed, and humanity must therefore decide on a pathway back to the safe operating space below the Planetary boundaries to minimise the risk of deleterious or even catastrophic environmental change at continental to global scales. However, the control variables used in the concept do not link to current indicators quantified in life-cycle assessments. Translating the Planetary Boundaries into maximum scores for life-cycle assessment indicators is therefore necessary to enable the assessment of whether life-cycle environmental impacts of e.g. products and services respect the Planetary Boundaries. This paper investigates two different approaches for translating the Planetary Boundary for Climate Change into estimations of maximum emission of greenhouse gasses expressed as annual emissions of CO2-equivalents, a commonly used Climate Change indicator in life-cycle assessments. The estimations may serve as an end goal benchmark for the life-cycle environmental impact of products and services in proposed pathways and roadmaps for the regeneration back to the Planetary Boundary for Climate Change.


title: On basic double G-links of squarefree monomial ideals

abstract: Nagel and R\"omer introduced the class of weakly vertex decomposable simplicial complexes, which include matroid, shifted, and Gorenstein complexes as well as vertex decomposable complexes. They proved that the Stanley-Reisner ideal of every weakly vertex decomposable simplicial complex is Gorenstein linked to an ideal of indeterminates via a sequence of basic double G-links. In this paper, we explore basic double G-links between squarefree monomial ideals beyond the weakly vertex decomposable setting. Our first contribution is a structural result about certain basic double G-links which involve an edge ideal. Specifically, suppose $I(G)$ is the edge ideal of a graph $G$. When $I(G)$ is a basic double G-link of a monomial ideal $B$ on an arbitrary homogeneous ideal $A$, we give a generating set for $B$ in terms of $G$ and show that this basic double G-link must be of degree $1$. Our second focus is on examples from the literature of simplicial complexes known to be Cohen-Macaulay but not weakly vertex decomposable. We show that these examples are not basic double links of any other squarefree monomial ideals.


title: New Dynamical State and Habitability of the HD 45364 Planetary System

abstract: Planetary systems with multiple giant planets provide important opportunities to study planetary formation and evolution. The HD 45364 system hosts two giant planets that reside within the Habitable Zone (HZ) of their host star and was the first system discovered with a 3:2 mean motion resonance (MMR). Several competing migration theories with different predictions have previously provided explanations regarding the observed resonance through dynamical simulations that utilized limited data. Here, over ten years since the original discovery, we revisit the system with a substantially increased radial velocity (RV) sample from HARPS and HIRES that significantly extend the observational baseline. We present the revised orbital solutions for the two planets using both Keplerian and dynamical models. Our RV models suggest orbits that are more circular and separated than those previously reported. As a result, predicted strong planet-planet interactions were not detected. The system dynamics were reanalyzed, and the planet pair was found to exhibit apsidal behavior of both libration and circulation, indicating a quasi-resonance state rather than being truly in MMR. The new orbital solution and dynamical state of the system confirm migration models that predicted near circular orbits as the preferred scenario. We also study the habitability prospects of this system and found that an additional Earth-mass planet and exomoons in the HZ are possible. This work showcases the importance of continued RV observation and its impact on our knowledge of the system's dynamical history. HD 45364 continues to be an interesting target for both planetary formation and habitability studies.


title: 150 Years of Return Predictability Around the World: A Holistic View

abstract: Using new annual data of 16 developed countries across bond, equity, and housing markets, I study the return predictability using the payout-price ratios, i.e., coupon price, dividend price, and rent price. None of the 48 country-asset combinations shows consistent in-sample and out-of-sample performance with positive utility gain for the mean-variance investor. Only 3 (4/2) countries show positive economic gains in their equity (housing/bond) markets. The return predictability for the representative agents' risky asset portfolios and wealth portfolios is even weaker, suggesting that timing the investment return of a country using payout-price ratios will not make the investors better off. The predictive regressions based on the VAR analysis by Cochrane (2008, 2011) suggest that 14 (5) countries have predictable payout growth in the equity (housing) markets, ex., the dividend price predicts the dividend growth in the US. The VAR simulation using data from all the countries does not reject the null that the dividend growth is predictable. This paper presents firm evidence against the return predictability based on payout ratios.


title: Tree-Based Adaptive Model Learning

abstract: We extend the Kearns-Vazirani learning algorithm to be able to handle systems that change over time. We present a new learning algorithm that can reuse and update previously learned behavior, implement it in the LearnLib library, and evaluate it on large examples, to which we make small adjustments between two runs of the algorithm. In these experiments our algorithm significantly outperforms both the classic Kearns-Vazirani learning algorithm and the current state-of-the-art adaptive algorithm.


title: Addressing Class Imbalance in Semi-supervised Image Segmentation: A Study on Cardiac MRI

abstract: Due to the imbalanced and limited data, semi-supervised medical image segmentation methods often fail to produce superior performance for some specific tailed classes. Inadequate training for those particular classes could introduce more noise to the generated pseudo labels, affecting overall learning. To alleviate this shortcoming and identify the under-performing classes, we propose maintaining a confidence array that records class-wise performance during training. A fuzzy fusion of these confidence scores is proposed to adaptively prioritize individual confidence metrics in every sample rather than traditional ensemble approaches, where a set of predefined fixed weights are assigned for all the test cases. Further, we introduce a robust class-wise sampling method and dynamic stabilization for a better training strategy. Our proposed method considers all the under-performing classes with dynamic weighting and tries to remove most of the noises during training. Upon evaluation on two cardiac MRI datasets, ACDC and MMWHS, our proposed method shows effectiveness and generalizability and outperforms several state-of-the-art methods found in the literature.


title: A general framework for the analysis of kernel-based tests

abstract: Kernel-based tests provide a simple yet effective framework that use the theory of reproducing kernel Hilbert spaces to design non-parametric testing procedures. In this paper we propose new theoretical tools that can be used to study the asymptotic behaviour of kernel-based tests in several data scenarios, and in many different testing problems. Unlike current approaches, our methods avoid using lengthy $U$ and $V$ statistics expansions and limit theorems, that commonly appear in the literature, and works directly with random functionals on Hilbert spaces. Therefore, our framework leads to a much simpler and clean analysis of kernel tests, only requiring mild regularity conditions. Furthermore, we show that, in general, our analysis cannot be improved by proving that the regularity conditions required by our methods are both sufficient and necessary. To illustrate the effectiveness of our approach we present a new kernel-test for the conditional independence testing problem, as well as new analyses for already known kernel-based tests.


title: Estimating the realistic start-up of spontaneous emission in the supercritical QED

abstract: The scenario of spontaneous positron emission, caused by the supercritical Coulomb source with charge $Z$ and size $R$, is explored in essentially non-perturbative approach with emphasis on the vacuum energy $\mathcal{E}_{VP}$\footnote{Throughout the paper the abbreviation "VP"\, stands for "vacuum polarization"\,.}, considered as a function of $R$ with fixed $Z>Z_{cr,1}\simeq 170$. It is shown that in the supercritical region the behavior of $\mathcal{E}_{VP}(R)$ turns out to be quite different in dependence on the value of the Coulomb charge $Z$. In particular, spontaneous emission becomes a visible effect starting only from $Z \sim 300$. With further growth of $Z$ its intensity increases very rapidly, which opens up the possibility for unambiguous detection. For such $Z$ the appearing picture of spontaneous emission turns out to be well-established and quite transparent in terms of the resonance decay combined with vacuum shells formation. The intimate, but crucial role of $\mathcal{E}_{VP}(R)$ in the total energy balance in the system is outlined. The additional problems of spontaneous emission, caused by the lepton number conservation, are also discussed.


title: Characterizing Qubit Traffic of a Quantum Intranet aiming at Modular Quantum Computers

abstract: Quantum many-core processors are envisioned as the ultimate solution for the scalability of quantum computers. Based upon Noisy Intermediate-Scale Quantum (NISQ) chips interconnected in a sort of quantum intranet, they enable large algorithms to be executed on current and close future technology. In order to optimize such architectures, it is crucial to develop tools that allow specific design space explorations. To this aim, in this paper we present a technique to perform a spatio-temporal characterization of quantum circuits running in multi-chip quantum computers. Specifically, we focus on the analysis of the qubit traffic resulting from operations that involve qubits residing in different cores, and hence quantum communication across chips, while also giving importance to the amount of intra-core operations that occur in between those communications. Using specific multi-core performance metrics and a complete set of benchmarks, our analysis showcases the opportunities that the proposed approach may provide to guide the design of multi-core quantum computers and their interconnects.


title: Tradeoffs in Resampling and Filtering for Imbalanced Classification

abstract: Imbalanced classification problems are extremely common in natural language processing and are solved using a variety of resampling and filtering techniques, which often involve making decisions on how to select training data or decide which test examples should be labeled by the model. We examine the tradeoffs in model performance involved in choices of training sample and filter training and test data in heavily imbalanced token classification task and examine the relationship between the magnitude of these tradeoffs and the base rate of the phenomenon of interest. In experiments on sequence tagging to detect rare phenomena in English and Arabic texts, we find that different methods of selecting training data bring tradeoffs in effectiveness and efficiency. We also see that in highly imbalanced cases, filtering test data using first-pass retrieval models is as important for model performance as selecting training data. The base rate of a rare positive class has a clear effect on the magnitude of the changes in performance caused by the selection of training or test data. As the base rate increases, the differences brought about by those choices decreases.


title: Archangel: A Hybrid UAV-based Human Detection Benchmark with Position and Pose Metadata

abstract: Learning to detect objects, such as humans, in imagery captured by an unmanned aerial vehicle (UAV) usually suffers from tremendous variations caused by the UAV's position towards the objects. In addition, existing UAV-based benchmark datasets do not provide adequate dataset metadata, which is essential for precise model diagnosis and learning features invariant to those variations. In this paper, we introduce Archangel, the first UAV-based object detection dataset composed of real and synthetic subsets captured with similar imagining conditions and UAV position and object pose metadata. A series of experiments are carefully designed with a state-of-the-art object detector to demonstrate the benefits of leveraging the metadata during model evaluation. Moreover, several crucial insights involving both real and synthetic data during model optimization are presented. In the end, we discuss the advantages, limitations, and future directions regarding Archangel to highlight its distinct value for the broader machine learning community.


title: Strongly enhanced light-matter coupling of a monolayer WS2 from a bound state in the continuum

abstract: Optical bound states in the continuum (BIC) allow to totally prevent a photonic mode from radiating into free space along a given spatial direction. Polariton excitations derived from the strong radiation-matter interaction of a BIC with an excitonic resonance inherit an ultralong radiative lifetime and significant nonlinearities due to their hybrid nature. However, maximizing the light-matter interaction in these structures remains challenging, especially with 2D semiconductors, thus preventing the observation of room temperature nonlinearities of BIC polaritons. Here we show a strong light-matter interaction enhancement at room temperature by coupling monolayer WS2 excitons to a BIC, while optimizing for the electric field strength at the monolayer position through Bloch surface wave confinement. By acting on the grating geometry, the coupling with the active material is maximized in an open and flexible architecture, allowing to achieve a 100 meV photonic bandgap with the BIC in a local energy minimum and a record 70 meV Rabi splitting. Our novel architecture provides large room temperature optical nonlinearities, thus paving the way to tunable BIC-based polariton devices with topologically-protected robustness to fabrication imperfections.


title: Evaluating generative audio systems and their metrics

abstract: Recent years have seen considerable advances in audio synthesis with deep generative models. However, the state-of-the-art is very difficult to quantify; different studies often use different evaluation methodologies and different metrics when reporting results, making a direct comparison to other systems difficult if not impossible. Furthermore, the perceptual relevance and meaning of the reported metrics in most cases unknown, prohibiting any conclusive insights with respect to practical usability and audio quality. This paper presents a study that investigates state-of-the-art approaches side-by-side with (i) a set of previously proposed objective metrics for audio reconstruction, and with (ii) a listening study. The results indicate that currently used objective metrics are insufficient to describe the perceptual quality of current systems.


title: On the incorrect use of Carlisle's method for dichotomous variables

abstract: In 2017, J. B. Carlisle has proposed a method for fraud detection in randomized controlled trials based on a comparison of reported baseline data between treatment groups. While Carlisle has only used the method for continuous variables, some authors have recently employed a naive adaption of the method for dichotomous variables. We explain why such adaptation leads to p-values that are wrong by orders of magnitude and we make a simple concrete proposal for correction of the method.


title: Eight spectra of very excited flux tubes in $SU(3)$ gauge theory

abstract: We compute the spectra of flux tubes formed between a static quark antiquark pair up to a significant number of excitations and for eight symmetries of the flux tubes, up to $\Delta_u$, using pure $SU(3)$ gauge lattice QCD in $3+1$ dimensions. To accomplish this goal, we use a large set of appropriate operators, an anisotropic tadpole improved action, smearing techniques, and solve a generalized eigenvalue problem. Moreover, we compare our results with the Nambu-Goto string model to evaluate possible tensions which could be a signal for novel phenomena.


title: The Fellowship of the Authors: Disambiguating Names from Social Network Context

abstract: Most NLP approaches to entity linking and coreference resolution focus on retrieving similar mentions using sparse or dense text representations. The common "Wikification" task, for instance, retrieves candidate Wikipedia articles for each entity mention. For many domains, such as bibliographic citations, authority lists with extensive textual descriptions for each entity are lacking and ambiguous named entities mostly occur in the context of other named entities. Unlike prior work, therefore, we seek to leverage the information that can be gained from looking at association networks of individuals derived from textual evidence in order to disambiguate names. We combine BERT-based mention representations with a variety of graph induction strategies and experiment with supervised and unsupervised cluster inference methods. We experiment with data consisting of lists of names from two domains: bibliographic citations from CrossRef and chains of transmission (isnads) from classical Arabic histories. We find that in-domain language model pretraining can significantly improve mention representations, especially for larger corpora, and that the availability of bibliographic information, such as publication venue or title, can also increase performance on this task. We also present a novel supervised cluster inference model which gives competitive performance for little computational effort, making it ideal for situations where individuals must be identified without relying on an exhaustive authority list.


title: Content systems and deformations of cyclotomic KLR algebras of type $A$ and $C$

abstract: This paper initiates a systematic study of the cyclotomic KLR algebras of affine types $A$ and $C$. We start by introducing a graded deformation of these algebras and the constructing all of the irreducible representations of the deformed cyclotomic KLR algebras using content systems and a generalisation of the Young's seminormal forms for the symmetric groups. Quite amazingly, this theory simultaneously captures the representation theory of the cyclotomic KLR algebras of types $A$ and $C$, with the main difference being the definition of residue sequences of tableaux. We then use our semisimple deformations to construct two "dual" cellular bases for the non-semisimple KLR algebras of affine types $A$ and $C$. As applications of this theory we recover many of the main features from the representation theory in type $A$, simultaneously proving them for the cyclotomic KLR algebras of types $A$ and $C$. These results are completely new in type $C$ and we, usually, more direct proofs in type $A$. In particular, we show that these algebras categorify the irreducible integrable highest weight modules of the corresponding Kac-Moody algebras, we construct and classify their simple modules, we investigate links with canonical bases and we generalise Kleshchev's modular branching rules to these algebras.


title: Stabilizing effect of delay in higher dimensions

abstract: We describe a situation where an unstable equilibrium in a $3 \times 3$ system of linear differential equations may be stabilized by introducing a delayed response, i.e. converting to a system of delayed differential equations. This generalizes one of the cases for $2 \times 2$ systems studied in 'Delay can stabilize: Love affairs dynamic' by N. Bielczyk et al.


title: Finite temperature effects on magnetized Bose-Einstein condensate stars

abstract: We study the role of temperature and magnetic field on the equation of state and macroscopic properties of Bose-Einstein condensate stars. These compact objects are composed of a condensed gas of interacting neutral vector bosons coupled to a uniform and constant magnetic field. We found that the main consequence of a finite temperature in the magnetized equations of state is to increase the inner pressure of the star. As a consequence, magnetized hot Bose-Einstein condensate stars are larger and heavier than their zero-temperature counterparts. However, the maximum masses obtained by the model remain almost unchanged, and the magnetic deformation of the star increases with the temperature. Besides, augmenting the temperature reduces the number of stable stars, an effect that the magnetic field enhances. The implications of our results for the star's evolution, compactness, redshift, and mass quadupolar moment are also analyzed.


title: Partial Counterfactual Identification for Infinite Horizon Partially Observable Markov Decision Process

abstract: This paper investigates the problem of bounding possible output from a counterfactual query given a set of observational data. While various works of literature have described methodologies to generate efficient algorithms that provide an optimal bound for the counterfactual query, all of them assume a finite-horizon causal diagram. This paper aims to extend the previous work by modifying Q-learning algorithm to provide informative bounds of a causal query given an infinite-horizon causal diagram. Through simulations, our algorithms are proven to perform better compared to existing algorithm.


title: Pouch cells with 15% silicon calendar-aged for 4 years

abstract: Small amounts of high-capacity silicon-based materials are already used in the anode of commercial Li-ion batteries, helping increase their energy density. Despite their remarkable storage capability, silicon continuously reacts with the electrolyte, accelerating time-dependent cell performance fade. Nevertheless, very limited information is available on the specific consequences of this reactivity for the calendar aging of Li-ion cells. Here, we analyze aging effects on 450 mAh pouch cells containing 15 wt% of Si (and 73 wt% graphite) after storage at 21 oC for four years. We show that severe losses of Si capacity occurred due to particle isolation when cells were stored at high states of charge (SOC), but not when cells were fully discharged prior to storage. Impedance rise was also significantly higher when cells were kept at high SOCs and was mostly due to phenomena taking place at the cathode; the continuous electrolyte reduction at the anode did not lead to a major increase in bulk electrode resistance. A series of post-test characterization provided additional information on the effects of time and SOC on the calendar aging of Si-containing cells. Our study highlights the many challenges posed by Si during calendar aging and can inform future studies in the field.


title: Variational Quantum Circuits for Multi-Qubit Gate Automata

abstract: Variational quantum algorithms (VQAs) may have the capacity to provide a quantum advantage in the Noisy Intermediate-scale Quantum (NISQ) era. Here, we present a quantum machine learning (QML) framework, inspired by VQAs, to tackle the problem of finding time-independent Hamiltonians that generate desired unitary evolutions, i.e. multi-qubit quantum gates. The Hamiltonians are designed by tuning local fields and two-body interaction terms only. We find that our approach achieves high fidelity quantum gates, such as the Toffoli gate, with a significantly lower computational complexity than is possible classically. This method can also be extended to realize higher-order multi-controlled quantum gates, which could be directly applied to quantum error correction (QEC) schemes.


title: New Lower Bounds For Essential Covers Of The Cube

abstract: An essential cover of the vertices of the $n$-cube $\{0,1\}^n$ by hyperplanes is a minimal covering where no hyperplane is redundant and every variable appears in the equation of at least one hyperplane. Linial and Radhakrishnan gave a construction of an essential cover with $\lceil \frac{n}{2} \rceil + 1$ hyperplanes and showed that $\Omega(\sqrt{n})$ hyperplanes are required. Recently, Yehuda and Yehudayoff improved the lower bound by showing that any essential cover of the $n$-cube contains at least $\Omega(n^{0.52})$ hyperplanes. In this paper, building on the method of Yehuda and Yehudayoff, we prove that $\Omega \left( \frac{n^{5/9}}{(\log n)^{4/9}} \right)$ hyperplanes are needed.


title: The mass of the static extension of small spheres

abstract: We give a simple proof to the computation of ADM mass of the static extensions of small spheres in Wiygul \cite{W1, W2}. It makes use of the mass formula $m = \frac{1}{4\pi} \int_{\partial M} \frac{\partial V}{\partial \nu}$ for an asymptotically flat static manifold with boundary.


title: Charged Lepton Flavor Violation

abstract: This reports summarizes the activities of the Charged Lepton Flavor Violation group of the 2022 Community Summer Study. Charged lepton flavor violating reactions provide unique information on the scale and dynamics of flavor generation, and more generally a wide range of New Physics scenarios, complementing direct searches performed at collider and neutrino physics experiments. These processes already probe mass scales up to thousands of TeV, and an observation would be an unambiguous signature of physics beyond the Standard Model. We review the current status and future experimental opportunities in muon, tau and heavy state transitions, with a focus on US-led initiatives.


title: The Emergence of League and Sub-League Structure in the Population Lotto Game

abstract: In order to understand if and how strategic resource allocation can constrain the structure of pair-wise competition outcomes in competitive human competitions we introduce a new multiplayer resource allocation game, the Population Lotto Game. This new game allows agents to allocate their resources across a continuum of possible specializations. While this game allows non-transitive cycles between players, we show that the Nash equilibrium of the game also forms a hierarchical structure between discrete `leagues' based on their different resource budgets, with potential sub-league structure and/or non-transitive cycles inside individual leagues. We provide an algorithm that can find a particular Nash equilibrium for any finite set of discrete sub-population sizes and budgets. Further, our algorithm finds the unique Nash equilibrium that remains stable for the subset of players with budgets below any threshold.


title: Charged Particles Circular Orbits around Weakly Charged and Magnetized Kerr Black Holes

abstract: We study the circular orbits of charged particles around a weakly charged Kerr black hole immersed in a weak, axisymmetric magnetic field. Firstly, we review the circular orbits of neutral particles. We then review the circular orbits of charged particles around a weakly charged Kerr black hole and weakly magnetized Kerr black hole. The case of a weakly magnetized and charged black hole is investigated thereafter. We investigate, in particular, the effect of the electromagnetic forces on the charged particles' innermost stable circular orbits. We examine the conditions for the existence of negative-energy stable circular orbits and the possibility of the emergence of a gap or double orbit in thin accretion disks. Some of the interesting astrophysical consequences of our findings are discussed as well.


title: Barry Carpenter. Pioneering Physical Organic Chemist, Teacher, Mentor and Friend

abstract: This is the preface to a special issue of the Journal of Physical Organic Chemistry dedicated to an outstanding physical organic chemist, mentor and friend, Barry Carpenter on the occasion of his official retirement.


title: Monodromy of Complexified Planar Kepler Problem

abstract: The planar Kepler problem is complexified and we show that this holomorphic completely integrable Hamiltonian system has nontrivial monodromy.


title: The Infinitesimal Jackknife and Combinations of Models

abstract: The Infinitesimal Jackknife is a general method for estimating variances of parametric models, and more recently also for some ensemble methods. In this paper we extend the Infinitesimal Jackknife to estimate the covariance between any two models. This can be used to quantify uncertainty for combinations of models, or to construct test statistics for comparing different models or ensembles of models fitted using the same training dataset. Specific examples in this paper use boosted combinations of models like random forests and M-estimators. We also investigate its application on neural networks and ensembles of XGBoost models. We illustrate the efficacy of variance estimates through extensive simulations and its application to the Beijing Housing data, and demonstrate the theoretical consistency of the Infinitesimal Jackknife covariance estimate.


title: A Note on the Games-Chan Algorithm

abstract: The Games-Chan algorithm finds the minimal period of a periodic binary sequence of period $2^n$, in $n$ iterations. We generalise this to periodic $q$-ary sequences (where $q$ is a prime power) using generating functions and polynomials and apply this to find the multiplicity of $x-1$ in a $q$-ary polynomial $f$ in $\log_{\,q}\deg(f)$ iterations.


title: A New Approach of Linear Theory of Tearing Instability in Uniform Resistivity

abstract: The linear perturbation equation of the tearing instability derived in LSC theory (Loureiro, Schekochihin, and Cowley, PoP2007) is numerically examined as an initial value problem, where the inner and outer regions are seamlessly solved under uniform resistivity. Hence, all regions are solved as the resistive MHD (magnetohydrodynamics). To comprehensively study physically acceptable perturbation solutions, the behaviors of the local maximum points required for physically acceptable solutions and zero-crossing points, at which \phi=0 and \psi=0, are examined. Eventually, the uniform resistivity assumed in the outer region is shown to play an important role in improving some conclusions derived from the theory. In conclusion, the upper limit \lambda_{up} of the growth rate obtained in the improved (modified) LSC theory is shown to be regulated by the Alfven speed measured in the outer region. It is also shown to be partially consistent with the growth rate in the linear developing stage of the impulsive tearing instability observed in the compressible MHD simulation of the plasmoid instability (PI) based on uniform resistivity.


title: Isotropic plasma-thermal atomic layer etching of aluminum nitride using SF$_6$ plasma and Al(CH$_3$)$_3$

abstract: We report the isotropic plasma atomic layer etching (ALE) of aluminum nitride using sequential exposures of SF$_6$ plasma and trimethylaluminum (Al(CH$_3$)$_3$, TMA). ALE was observed at temperatures greater than 200 $^\circ$C, with a maximum etch rate of 1.9 \r{A}/cycle observed at 300 $^\circ$C as measured using ex-situ ellipsometry. After ALE, the etched surface was found to contain a lower concentration of oxygen compared to the original surface and exhibited a $\sim 35$% decrease in surface roughness. These findings have relevance for applications of AlN in nonlinear photonics and wide bandgap semiconductor devices.


title: Upper Bounds for the Clock Speeds of Fault-Tolerant Distributed Quantum Computation using Satellites to Supply Entangled Photon Pairs

abstract: Despite recent advances in quantum repeater networks, entanglement distribution on a continental scale remains prohibitively difficult and resource intensive. Using satellites to distribute maximally entangled photons (Bell pairs) between distant stations is an intriguing alternative. Quantum satellite networks are known to be viable for quantum key distribution, but the question of if such a network is feasible for fault tolerant distributed quantum computation (FTDQC) has so far been unaddressed. In this paper we determine a closed form expression for the rate at which logical Bell pairs can be produced between distant fault-tolerant qubits using a satellite network to supply imperfect physical Bell pairs. With generous parameter assumptions, our results show that FTDQC with satellite networks over statewide distances (500-999 km) is possible for a collective clock rate on the order of 1 MHz while continental (1000-4999 km) and transcontinental (5000+ km) distances run on the order of 10 kHz and 100 Hz respectively.


title: Softly broken symmetries in the 2HDM -- an invariant formulation

abstract: Soft breaking of a symmetry requires an invariance of the dimension-4 part of the Lagrangian and non-trivial variation of the lower-dimensional part. However, in general, separation between the dim-4 and lower-dimensional Lagrangian is not invariant with respect to basis transformations of fields. Therefore, a natural question of the physical meaning of soft symmetry breaking arises. This problem is addressed here in the framework of two-Higgs-Doublet Models (2HDM). It has been shown, within these models, that in spite of the ambiguity corresponding to the separation between dim-4 and the lower-dimension Lagrangian, implications of the soft symmetry breaking could be formulated in terms of observables, i.e., they are physical and measurable. There are six global symmetries that can be imposed on the scalar sector of the generic 2HDM. Necessary and sufficient tree-level conditions for soft breaking of all of them have been formulated in terms of observables.


title: Global regularity and decay behavior for Leray equations with critical-dissipation and Its Application to Self-similar Solutions

abstract: In this paper, we show the global regularity and the optimal decay of weak solutions to the generalized Leray problem with critical dissipation. Our method is based on the maximal smoothing effect, $L^{p}$-type elliptic regularity of linearization, and the action of the heat semigroup generated by the fractional powers of Laplace operator on distributions with Fourier transforms supported in an annulus. As a by-product, we shall construct a self-similar solution to the three-dimensional incompressible Navier-Stokes equations, and more importantly, prove the global regularity and the optimal decay without additional requirement of existing literatures.


title: Contextualized language models for semantic change detection: lessons learned

abstract: We present a qualitative analysis of the (potentially erroneous) outputs of contextualized embedding-based methods for detecting diachronic semantic change. First, we introduce an ensemble method outperforming previously described contextualized approaches. This method is used as a basis for an in-depth analysis of the degrees of semantic change predicted for English words across 5 decades. Our findings show that contextualized methods can often predict high change scores for words which are not undergoing any real diachronic semantic shift in the lexicographic sense of the term (or at least the status of these shifts is questionable). Such challenging cases are discussed in detail with examples, and their linguistic categorization is proposed. Our conclusion is that pre-trained contextualized language models are prone to confound changes in lexicographic senses and changes in contextual variance, which naturally stem from their distributional nature, but is different from the types of issues observed in methods based on static embeddings. Additionally, they often merge together syntactic and semantic aspects of lexical entities. We propose a range of possible future solutions to these issues.


title: Surface state mediated ferromagnetism in Mn$_{0.14}$Bi$_{1.86}$Te$_3$ thin films

abstract: A spontaneous ferromagnetic moment can be induced in Bi$_{2}$Te$_{3}$ thin films below a temperature T $\approx$ 16 K by the introduction of Mn dopants. We demonstrate that films grown via molecular beam epitaxy with the stoichiometry Mn$_{0.14}$Bi$_{1.86}$Te$_3$ maintain the crystal structure of pure Bi$_{2}$Te$_{3}$. The van der Waals nature of inter-layer forces in the Mn$_{0.14}$Bi$_{1.86}$Te$_3$ crystal causes lattice mismatch with the underlayer to have a limited effect on the resulting crystal structure, as we demonstrate by thin film growth on tetragonal MgF$_{2}$ (110) and NiF$_{2}$ (110). Electronic transport and magnetic moment measurements show that the ferromagnetic moment of the Mn$_{0.14}$Bi$_{1.86}$Te$_3$ thin films is enhanced as the Fermi level moves from the bulk conduction band and towards the bulk band gap, suggesting that electronic surface states play an important role in mediating the ferromagnetic order. Ferromagnetic Mn$_{0.14}$Bi$_{1.86}$Te$_3$/antiferromagnetic NiF$_{2}$ bilayers show evidence that the ferromagnetic moment of the Mn$_{0.14}$Bi$_{1.86}$Te$_3$ film is suppressed, suggesting the existence of an interface effect between the two magnetic layers.


title: Associative submanifolds in twisted connected sum $G_2$-manifolds

abstract: We introduce a new method to construct closed rigid (unobstructed) associative submanifolds in the twisted connected sum $G_2$-manifolds [Kov03, KL11, CHNP15]. More precisely, we prove a gluing theorem of asymptotically cylindrical (ACyl) associative submanifolds in ACyl $G_2$-manifolds under a hypothesis that can be interpreted as a transverse Lagrangian intersection condition. This is analogous to the gluing theorem for $G_2$-instantons introduced in [SW15]. We rephrase the hypothesis in the special cases where the ACyl associative submanifolds are obtained from holomorphic curves or special Lagrangians in ACyl Calabi-Yau $3$-folds. In this way we find many new associative submanifolds which are diffeomorphic to $S^3$, $\mathbf R\mathbf P^3$ or $\mathbf R\mathbf P^3\#\mathbf R\mathbf P^3$. To lay the foundation for the gluing theorem we also study the moduli space of ACyl associative submanifolds with a natural topology. We prove that the moduli space is locally homeomorphic to the zero set of a smooth map between two finite dimensional spaces whose index depends only on the asymptotic cross section.


title: On the equivalence between S\'aez-Ballester theory and Einstein-scalar field system

abstract: Here we discuss a topic that comes up more often than expected: A same theory or theoretical model arises in two different presentations which are assumed to be actually different theories so that these are independently developed. Sometimes this leads to an unwanted doubling of the results. In this paper we illustrate this issue with the example of two apparently different gravitational theories: (i) the (minimally coupled) Einstein-massless-scalar system and (ii) the S\'aez-Ballester theory. We demonstrate that the latter is not a scalar-tensor theory of gravity, as widely acknowledged. Moreover, S\'aez-Ballester theory is identified with the Einstein-massless-scalar theory. As illustrations of this identification we show that several known solutions of S\'aez-Ballester theory are also solutions of the Einstein-massless-scalar system and viceversa. Cosmological arguments are also considered. In particular, a dynamical systems-based demonstration of the dynamical equivalence between these theories is given. The study of the asymptotic dynamics of the S\'aez-Ballester based cosmological model shows that there are not equilibrium points which could be associated with accelerated expansion, unless one includes a cosmological constant term or a self-interacting scalar field. This is a well-known result for cosmological models which are based in the Einstein-self-interacting-scalar theory, also known as quintessence.


title: Space-efficient data structure for next/previous larger/smaller value queries

abstract: Given an array of size $n$ from a total order, we consider the problem of constructing a data structure that supports various queries (range minimum/maximum queries with their variants and next/previous larger/smaller queries) efficiently. In the encoding model (i.e., the queries can be answered without the input array), we propose a $(3.701n + o(n))$-bit data structure, which supports all these queries in $O(\log^{(\ell)}n)$ time, for any positive integer $\ell$ (here, $\log^{(1)} n = \log n$, and for $\ell > 1$, $\log^{(\ell)} n = \log ({\log^{(\ell-1)}} n)$). The space of our data structure matches the current best upper bound of Tsur (Inf. Process. Lett., 2019), which does not support the queries efficiently. Also, we show that at least $3.16n-\Theta(\log n)$ bits are necessary for answering all the queries. Our result is obtained by generalizing Gawrychowski and Nicholson's $(3n - \Theta(\log n))$-bit lower bound (ICALP 15) for answering range minimum and maximum queries on a permutation of size $n$.


title: Orloj: Predictably Serving Unpredictable DNNs

abstract: Existing DNN serving solutions can provide tight latency SLOs while maintaining high throughput via careful scheduling of incoming requests, whose execution times are assumed to be highly predictable and data-independent. However, inference requests to emerging dynamic DNNs -- e.g., popular natural language processing (NLP) models and computer vision (CV) models that skip layers -- are data-dependent. They exhibit poor performance when served using existing solutions because they experience large variance in request execution times depending on the input -- the longest request in a batch inflates the execution times of the smaller ones, causing SLO misses in the absence of careful batching. In this paper, we present Orloj, a dynamic DNN serving system, that captures this variance in dynamic DNNs using empirical distributions of expected request execution times, and then efficiently batches and schedules them without knowing a request's precise execution time. Orloj significantly outperforms state-of-the-art serving solutions for high variance dynamic DNN workloads by 51--80% in finish rate under tight SLO constraints, and over 100% under more relaxed SLO settings. For well-studied static DNN workloads, Orloj keeps comparable performance with the state-of-the-art.


title: Circular orbits of test particles interacting with massless linear scalar field of the naked singularity

abstract: We study effects of the particles coupling with scalar field (SF) on the distribution of stable circular orbits (SCO) around the naked singularity described by the well-known Fisher-Janis-Newman-Winicour solution. The power-law and exponential models of the particle--SF interaction are analyzed. The focus is on the non-connected SCO distributions. We show that coupling between particles and SF can essentially complicate the topology of the SCO distributions. In particular, it can lead to new non-overlapping SCO regions, which are separated by unstable orbits and/or by regions where the circular orbits do not exist.


title: Closure and Interior Operators of the Category of Positive Topologies

abstract: We define and study the notions of closure $\text{\rsfs{C}}$ operators and interior $\mathbf{I}$ operators of the category $\mathbf{CCov}$ of convergent covers which appears in positive topologies. The main motivation of this paper is to construct the concrete categories $\mathbf{\text{\rsfs{C}}\text{-} CCov}$, \ of\ $\mathbf{CCov}\text{-spaces}$, and $\mathbf{I}\text{-}\mathbf CCov$, \ of\ $\mathbf{CCov}\text{-spaces}$ and deduce that they are topological categories.


title: Prioritization of Metamorphic Relations to reduce the cost of testing

abstract: An oracle is a mechanism to decide whether the outputs of the program for the executed test cases are correct. For machine learning programs, such oracle is not available or too difficult to apply. Metamorphic testing is a testing approach that uses metamorphic relations, which are necessary properties of the software under test to help verify the correctness of a program. Prioritization of metamorphic relations helps to reduce the cost of metamorphic testing [1]. However, prioritizing metamorphic relations based on code coverage is often not effective for prioritizing MRs for machine learning programs, since the decision logic of a machine learning model is learned from training data, and 100% code coverage can be easily achieved with a single test input. To this end, in this work, we propose a cost-effective approach based on diversity in the source and follow-up data set to prioritize metamorphic relations for machine learning programs. We show that the proposed data diversity-based prioritization approach increase the fault detection effectiveness by up to 40% when compared to the code coverage-based approach and reduce the time taken to detect a fault by 29% when compared to random execution of MRs. Overall, our approach leads to saving time and cost during testing.


title: Stability of the Gaussian Stationary Point in the Han-Kobayashi Region for Z-Interference Channels

abstract: The Gaussian stationary point in an inequality motivated by the Z-interference channel was recently conjectured by Costa, Nair, Ng, and Wang to be the global optimizer, which, if true, would imply the optimality of the Han-Kobayashi region for the Gaussian Z-interference channel. This conjecture was known to be true for some parameter regimes, but the validity for all parameters, although suggested by Gaussian tensorization, was previously open. In this paper we construct several counterexamples showing that this conjecture may fail in certain regimes: A simple construction without Hermite polynomial perturbation is proposed, where distributions far from Gaussian are analytically shown to be better than the Gaussian stationary point. As alternatives, we consider perturbation along geodesics under either the $L^2$ or Wasserstein-2 metric, showing that the Gaussian stationary point is unstable in a certain regime. Similarity to stability of the Levy-Cramer theorem is discussed. The stability phase transition point admits a simple characterization in terms of the maximum eigenvalue of the Gaussian maximizer. Similar to the Holley-Stroock principle, we can show that in the stable regime the Gaussian stationary point is optimal in a neighborhood under the $L^{\infty}$-norm with respect to the Gaussian measure. For protocols with constant power control, our counterexamples imply Gaussian suboptimality for the Han-Kobayashi region. Allowing variable power control, we show that the Gaussian optimizers for the Han-Kobayashi region always lie in the stable regime. We propose an amended conjecture, whose validity would imply Gaussian optimality of the Han-Kobayashi bound in a certain regime.


title: Transverse measures to infinite type laminations

abstract: We study the cone of transverse measures to a fixed geodesic lamination on an infinite type hyperbolic surface. Under simple hypotheses on the metric, we give an explicit description of this cone as an inverse limit of finite-dimensional cones. We study the problem of when the cone of transverse measures admits a base and show that such a base exists for many laminations. Moreover, the base is a (typically infinite-dimensional) simplex (called a Choquet simplex) and can be described explicitly as an inverse limit of finite-dimensional simplices. We show that on any fixed infinite type hyperbolic surface, every Choquet simplex arises as a base for some lamination. We use our inverse limit description and a new construction of geodesic laminations to give other explicit examples of cones with exotic properties.


title: On n-Hom-pre-Lie superalgebras structures and their representations

abstract: In this paper, we introduce the notion of n-Hom-pre-Lie superalgebras. We investigate the representation theory of n-Hom-pre-Lie superalgebras and we give some related results and structures based on Rota-Baxter operators, O-operators and Nijenhuis operators. Moreover, we study relationships between n-Hom-pre-Lie superalgebras and its induced Hom-pre-Lie superalgebras. The same procedure is applied for the representations of n- Hom-pre-Lie superalgebras.


title: New types of instability and CP violation in electroweak theory

abstract: It is known that the Schwinger mechanism of vector-like QED theory is afflicted by a logarithmic singularity under background electromagnetic field due to a hypothetical massless charged fermion. We extend singularity analysis to a more realistic case of the chiral electroweak theory, to show that the effective lagrangian under background gauge field at zero temperature exhibits a similar instability proportional to $\ln (1/m_{\nu}^2)$ with $m_{\nu}$ a small neutrino mass. Moreover, the effective lagrangian of chiral fermion loop contains CP violating pieces proportional to background gauge fields in odd powers of $\vec{E}_Z\cdot\vec{B}_Z$ or $(\vec{E}_{W^+}\cdot\vec{B}_{W^-}+ \vec{E}_{W^-}\cdot\vec{B}_{W^+})/2 $. This brings in a new source of CP violation and time-reversal symmetry violation in the standard particle theory independent of the Kobayashi-Maskawa phase of quark mass mixing matrix. The effective action in thermal equilibrium at finite temperature $T$ is then calculated under background SU(2)$\times $U(1) gauge fields in the spontaneously broken phase. An even more singular power-law behavior $\propto (m_{\nu} T)^{-5/2}$ is found and it contains CP violating term as well. The case of Majorana neutrino satisfies almost all necessary conditions to generate a large lepton number asymmetry, though not necessarily convertible to a baryon asymmetry due to lower cosmic temperatures at which this may occur.


title: Optimal Storage for Solar Energy Self-Sufficiency

abstract: We determine the energy storage needed to achieve self sufficiency to a given reliability as a function of excess capacity in a combined solar-energy generation and storage system. Based on 40 years of solar-energy data for the St.\ Louis region, we formulate a statistical model that we use to generate synthetic insolation data over millions of years. We use these data to monitor the energy depletion in the storage system near the winter solstice. From this information, we develop explicit formulas for the required storage and the nature of cost-optimized system configurations as a function of reliability and the excess of generation capacity. Minimizing the cost of the combined generation and storage system gives the optimal mix of these two constituents. For an annual failure rate of less than 3\%, it is sufficient to have a solar generation capacity that slightly exceeds the daily electrical load at the winter solstice, together with a few days of storage.


title: Tunable Polarization-Multiplexed Achromatic Dielectric Metalens

abstract: Tunable metasurfaces provide a compact and efficient strategy for optical components that require active wavefront shaping. Varifocal metalens is one of the most important applications. However, the existing tunable metalens rarely serves broadband wavelengths restricting their applications in broadband imaging and color display due to chromatic aberration. Herein, we demonstrate an electrically tunable polarization-multiplexed varifocal achromatic dielectric metalens integrated with twisted nematic liquid crystals (TNLCs) in the visible region. The phase profiles at different wavelengths under two orthogonal polarization channels are customized by the particle swarm optimization algorithm and optimally matched with the metaunits database to achieve polarization-multiplexed dispersion manipulation including achromatic performance. By combining the broadband linear polarization conversion ability of TNLC, the tunability of varifocal achromatic metalens is realized by applying different voltages. Further, the electrically tunable customized dispersion-manipulated metalens and switchable color metaholograms are demonstrated. The proposed devices will accelerate the application of metasurfaces in broadband zoom imaging, AR/VR displays, and spectral detection.


title: Some Algebraic Questions about the Reed-Muller Code

abstract: Let $R_q(r,n)$ denote the $r$th order Reed-Muller code of length $q^n$ over $\Bbb F_q$. We consider two algebraic questions about the Reed-Muller code. Let $H_q(r,n)=R_q(r,n)/R_q(r-1,n)$. (1) When $q=2$, it is known that there is a "duality" between the actions of $\text{GL}(n,\Bbb F_2)$ on $H_2(r,n)$ and on $H_2(r',n)$, where $r+r'=n$. The result is false for a general $q$. However, we find that a slightly modified duality statement still holds when $q$ is a prime or $r<\text{char}\,\Bbb F_q$. (2) Let $\mathcal F(\Bbb F_q^n,\Bbb F_q)$ denote the $\Bbb F_q$-algebra of all functions from $\Bbb F_q^n$ to $\Bbb F_q$. It is known that when $q$ is a prime, the Reed-Muller codes $\{0\}=R_q(-1,n)\subset R_q(0,n)\subset\cdots\subset R_q(n(q-1),n)=\mathcal F(\Bbb F_q^n,\Bbb F_q)$ are the only $\text{AGL}(n,\Bbb F_q)$-submodules of $\mathcal F(\Bbb F_q^n,\Bbb F_q)$. In particular, $H_q(r,n)$ is an irreducible $\text{GL}(n,\Bbb F_q)$-module when $q$ is a prime. For a general $q$, $H_q(r,n)$ is not necessarily irreducible. We determine all its submodules and the factors in its composition series. The factors of the composition series of $H_q(r,n)$ provide an explicit family of irreducible representations of $\text{GL}(n,\Bbb F_q)$ over $\Bbb F_q$.