title: Digital Surveillance Networks of 2014 Ebola Epidemics and Lessons for COVID-19

abstract: 2014 Ebola outbreaks can offer lessons for the COVOID-19 and the ongoing variant surveillance and the use of multi method approach to detect public health preparedness. We are increasingly seeing a delay and disconnect of the transmission of locally situated information to the hierarchical system for making the overall preparedness and response more proactive than reactive for dealing with emergencies such as 2014 Ebola. For our COVID-19, it is timely to consider whether digital surveillance networks and support systems can be used to bring the formal and community based ad hoc networks required for facilitating the transmission of both strong (i.e., infections, confirmed cases, deaths in hospital or clinic settings) and weak alters from the community. This will allow timely detection of symptoms of isolated suspected cases for making the overall surveillance and intervention strategy far more effective. The use of digital surveillance networks can further contribute to the development of global awareness of complex emergencies such as Ebola for constructing information infrastructure required to develop, monitor and analysis of community based global emergency surveillance in developed and developing countries. In this study, a systematic analysis of the spread during the months of March to October 2014 was performed using data from the Program for Monitoring Emerging Diseases (ProMED) and the Factiva database. Using digital surveillance networks, we aim to draw network connections of individuals/groups from a localized to a globalized transmission of Ebola using reported suspected/probable/confirmed cases at different locations around the world. We argue that public health preparedness and response can be strengthened by understanding the social network connections between responders (such as local health authorities) and spreaders (infected individuals and groups).


title: A Simple Proof of PreciseQMA = PSPACE

abstract: We give an alternative proof of PreciseQMA = PSPACE, first proved by Fefferman and Lin (Innov. Theor. Comp. Sci. 2018), where PreciseQMA is the class Quantum Merlin-Arthur with inverse exponential completeness-soundness gap. We adapt the proof of Quantum Cook-Levin Theorem to prove the inclusion PSPACE in PreciseQMA.


title: Seismic Wavefield Reconstruction based on Compressed Sensing using Data-Driven Reduced-Order Model

abstract: A seismic wavefield reconstruction framework based on compressed sensing using the data-driven reduced-order model (ROM) is proposed and its characteristics are investigated through numerical experiments. The data-driven ROM is generated from the dataset of the wavefield using the singular value decomposition. The spatially continuous seismic wavefield is reconstructed from the sparse and discrete observation and the data-driven ROM. The observation sites used for reconstruction are effectively selected by the sensor optimization method for linear inverse problems based on a greedy algorithm. The proposed framework was applied to simulation data of theoretical waveform with the subsurface structure of the horizontally-stratified three layers. The validity of the proposed method was confirmed by the reconstruction based on the noise-free observation. Since the ROM of the wavefield is used as prior information, the reconstruction error is reduced to an approximately lower error bound of the present framework, even though the number of sensors used for reconstruction is limited and randomly selected. In addition, the reconstruction error obtained by the proposed framework is much smaller than that obtained by the Gaussian process regression. For the numerical experiment with noise-contaminated observation, the reconstructed wavefield is degraded due to the observation noise, but the reconstruction error obtained by the present framework with all available observation sites is close to a lower error bound, even though the reconstructed wavefield using the Gaussian process regression is fully collapsed. Although the reconstruction error is larger than that obtained using all observation sites, the number of observation sites used for reconstruction can be reduced while minimizing the deterioration and scatter of the reconstructed data by combining it with the sensor optimization method.


title: Absolute frequencies of H13C14N hydrogen cyanide transitions in 1,5 {\mu}m region with saturated spectroscopy and sub-kHz scanning laser

abstract: The wide span and high density of lines in its rovibrational spectrum render hydrogen cyanide a useful spectroscopic media for referencing absolute frequencies of lasers in optical communication and dimensional metrology. We determined, for the first time to the best of our knowledge, the molecular transitions' center frequencies of the H13C14N isotope in the range from 1526 nm to 1566 nm with 1,3e-10 fractional uncertainty. We investigated the molecular transitions with a highly coherent and widely tunable scanning laser that was precisely referenced to a Hydrogen maser through an optical frequency comb. We demonstrated an approach to stabilize the operational conditions needed to maintain the constantly low pressure of the hydrogen cyanide to carry out the saturated spectroscopy with the third-harmonic synchronous demodulation. We demonstrated approximately a fourtyfold improvement in the line centers' resolution compared to the previous result.


title: IID Sampling from Posterior Dirichlet Process Mixtures

abstract: The influence of Dirichlet process mixture is ubiquitous in the Bayesian nonparametrics literature. But sampling from its posterior distribution remains a challenge, despite the advent of various Markov chain Monte Carlo methods. The primary challenge is the infinite-dimensional setup, and even if the infinite-dimensional random measure is integrated out, high-dimensionality and discreteness still remain difficult issues to deal with. In this article, exploiting the key ideas proposed in Bhattacharya (2021b), we propose a novel methodology for drawing iid realizations from posteriors of Dirichlet process mixtures. We focus in particular on the more general and flexible model of Bhattacharya (2008), so that the methods developed here are simply applicable to the traditional Dirichlet process mixture. We illustrate our ideas on the well-known enzyme, acidity and the galaxy datasets, which are usually considered benchmark datasets for mixture applications. Generating 10, 000 iid realizations from the Dirichlet process mixture posterior of Bhattacharya (2008) given these datasets took 19 minutes, 8 minutes and 5 minutes, respectively, in our parallel implementation.


title: An explicit expression of the Lerch zeta function on maximal domains of holomorphy

abstract: We give two results on the Lerch zeta function $\Phi(z,\,s,\,w)$. The first is to give an explicit expression providing both the analytic continuation of $\Phi$ in $n$-variables $(n \in \{1,\,2,\,3\})$ to maximal domains of holomorphy in $\mathbb{C}^n$ with computable evaluation and an extended formula for the special values of $\Phi$ at non-positive integers in the variable $s$. The second is to show that Lerch's functional equation is essentially the same as Apostol's functional equation using the first result.


title: Risk Filtering and Risk-Averse Control of Markovian Systems Subject to Model Uncertainty

abstract: We consider a Markov decision process subject to model uncertainty in a Bayesian framework, where we assume that the state process is observed but its law is unknown to the observer. In addition, while the state process and the controls are observed at time $t$, the actual cost that may depend on the unknown parameter is not known at time $t$. The controller optimizes total cost by using a family of special risk measures, that we call risk filters and that are appropriately defined to take into account the model uncertainty of the controlled system. These key features lead to non-standard and non-trivial risk-averse control problems, for which we derive the Bellman principle of optimality. We illustrate the general theory on two practical examples: optimal investment and clinical trials.


title: Model-Agnostic Few-Shot Open-Set Recognition

abstract: We tackle the Few-Shot Open-Set Recognition (FSOSR) problem, i.e. classifying instances among a set of classes for which we only have few labeled samples, while simultaneously detecting instances that do not belong to any known class. Departing from existing literature, we focus on developing model-agnostic inference methods that can be plugged into any existing model, regardless of its architecture or its training procedure. Through evaluating the embedding's quality of a variety of models, we quantify the intrinsic difficulty of model-agnostic FSOSR. Furthermore, a fair empirical evaluation suggests that the naive combination of a kNN detector and a prototypical classifier ranks before specialized or complex methods in the inductive setting of FSOSR. These observations motivated us to resort to transduction, as a popular and practical relaxation of standard few-shot learning problems. We introduce an Open Set Transductive Information Maximization method OSTIM, which hallucinates an outlier prototype while maximizing the mutual information between extracted features and assignments. Through extensive experiments spanning 5 datasets, we show that OSTIM surpasses both inductive and existing transductive methods in detecting open-set instances while competing with the strongest transductive methods in classifying closed-set instances. We further show that OSTIM's model agnosticity allows it to successfully leverage the strong expressive abilities of the latest architectures and training strategies without any hyperparameter modification, a promising sign that architectural advances to come will continue to positively impact OSTIM's performances.


title: Systematic Analysis and Comparison of Security Advice as Datasets

abstract: A long list of documents have been offered as security advice, codes of practice, and security guidelines for building and using security products, including Internet of Things (IoT) devices. To date, little or no systematic analysis has been carried out on the advice datasets themselves. Towards addressing this, with IoT as a case study, we begin with an informal analysis of two documents offering advice related to IoT security -- the ETSI Provisions and the UK DCMS Guidelines -- and then carry out what we believe is the first systematic analysis of these advice datasets. Our analysis explains in what ways the ETSI Provisions are a positive evolution of the UK DCMS Guidelines. We also suggest aspects of security advice warranting special attention by those offering security advice. Such parties may find the systematic analysis method, which categorizes advice into predefined categories, to be of general interest beyond IoT itself.


title: On the Role of Generalization in Transferability of Adversarial Examples

abstract: Black-box adversarial attacks designing adversarial examples for unseen neural networks (NNs) have received great attention over the past years. While several successful black-box attack schemes have been proposed in the literature, the underlying factors driving the transferability of black-box adversarial examples still lack a thorough understanding. In this paper, we aim to demonstrate the role of the generalization properties of the substitute classifier used for generating adversarial examples in the transferability of the attack scheme to unobserved NN classifiers. To do this, we apply the max-min adversarial example game framework and show the importance of the generalization properties of the substitute NN in the success of the black-box attack scheme in application to different NN classifiers. We prove theoretical generalization bounds on the difference between the attack transferability rates on training and test samples. Our bounds suggest that a substitute NN with better generalization behavior could result in more transferable adversarial examples. In addition, we show that standard operator norm-based regularization methods could improve the transferability of the designed adversarial examples. We support our theoretical results by performing several numerical experiments showing the role of the substitute network's generalization in generating transferable adversarial examples. Our empirical results indicate the power of Lipschitz regularization methods in improving the transferability of adversarial examples.


title: Two-Stage Robust Unit Commitment Problem with Complex Temperature and Demand Uncertainties

abstract: In this paper, we present and study a robust unit commitment model and some variants that consider complex temperature and demand uncertainties. Since there is a strong relationship among the efficiency of gas generators, demand, and temperature in practical systems, our robust models have both left- and right-hand-side (LHS and RHS, respectively) uncertainties. Unlike many existing robust models with RHS uncertainty only, the introduction of LHS uncertainty imposes a huge challenge in computing robust solutions. For those complex formulations, we analyze their structures, derive important properties, and design exact and fast approximation solution strategies under the column-and-constraint generation framework. Numerical experiments are conducted on typical IEEE test systems, which showcase the great performance of our solution methods and demonstrate a clear impact of complex and correlated uncertainties in system operations.


title: Siberian forest fires: anomalies and trends from satellite data (2000-2019)

abstract: The forest fires characteristics in Siberia detected by satellite data (MODIS instruments on Aqua and Terra platforms) for the period 2000-2019 are analyzed. Regional statistical data and distribution functions of wildfire characteristics are presented. Differences in spatio-temporal changes of forest fires of various intensity were revealed. An analysis of trends of the wildfire characteristics over the past two decades indicates an increase in the proportion of intense forest fires during the fire hazardous seasons, as well as an increase in the intensity of average Siberian wildfire in summer.


title: An Empirical Study of Quantum Dynamics as a Ground State Problem with Neural Quantum States

abstract: We consider the Feynman-Kitaev formalism applied to a spin chain described by the transverse field Ising model. This formalism consists of building a Hamiltonian whose ground state encodes the time evolution of the spin chain at discrete time steps. To find this ground state, variational wave functions parameterised by artificial neural networks -- also known as neural quantum states (NQSs) -- are used. Our work focuses on assessing, in the context of the Feynman-Kitaev formalism, two properties of NQSs: expressivity (the possibility that variational parameters can be set to values such that the NQS is faithful to the true ground state of the system) and trainability (the process of reaching said values). We find that the considered NQSs are capable of accurately approximating the true ground state of the system, i.e., they are expressive enough ans\"atze. However, extensive hyperparameter tuning experiments show that, empirically, reaching the set of values for the variational parameters that correctly describe the ground state becomes ever more difficult as the number of time steps increase because the true ground state becomes more entangled, and the probability distribution starts to spread across the Hilbert space canonical basis.


title: GaLeNet: Multimodal Learning for Disaster Prediction, Management and Relief

abstract: After a natural disaster, such as a hurricane, millions are left in need of emergency assistance. To allocate resources optimally, human planners need to accurately analyze data that can flow in large volumes from several sources. This motivates the development of multimodal machine learning frameworks that can integrate multiple data sources and leverage them efficiently. To date, the research community has mainly focused on unimodal reasoning to provide granular assessments of the damage. Moreover, previous studies mostly rely on post-disaster images, which may take several days to become available. In this work, we propose a multimodal framework (GaLeNet) for assessing the severity of damage by complementing pre-disaster images with weather data and the trajectory of the hurricane. Through extensive experiments on data from two hurricanes, we demonstrate (i) the merits of multimodal approaches compared to unimodal methods, and (ii) the effectiveness of GaLeNet at fusing various modalities. Furthermore, we show that GaLeNet can leverage pre-disaster images in the absence of post-disaster images, preventing substantial delays in decision making.


title: Structured Light with Redundancy Codes

abstract: Structured light (SL) systems acquire high-fidelity 3D geometry with active illumination projection. Conventional systems exhibit challenges when working in environments with strong ambient illumination, global illumination and cross-device interference. This paper proposes a general-purposed technique to improve the robustness of SL by projecting redundant optical signals in addition to the native SL patterns. In this way, projected signals become more distinguishable from errors. Thus the geometry information can be more easily recovered using simple signal processing and the ``coding gain" in performance is obtained. We propose three applications using our redundancy codes: (1) Self error-correction for SL imaging under strong ambient light, (2) Error detection for adaptive reconstruction under global illumination, and (3) Interference filtering with device-specific projection sequence encoding, especially for event camera-based SL and light curtain devices. We systematically analyze the design rules and signal processing algorithms in these applications. Corresponding hardware prototypes are built for evaluations on real-world complex scenes. Experimental results on the synthetic and real data demonstrate the significant performance improvements in SL systems with our redundancy codes.


title: GAN2X: Non-Lambertian Inverse Rendering of Image GANs

abstract: 2D images are observations of the 3D physical world depicted with the geometry, material, and illumination components. Recovering these underlying intrinsic components from 2D images, also known as inverse rendering, usually requires a supervised setting with paired images collected from multiple viewpoints and lighting conditions, which is resource-demanding. In this work, we present GAN2X, a new method for unsupervised inverse rendering that only uses unpaired images for training. Unlike previous Shape-from-GAN approaches that mainly focus on 3D shapes, we take the first attempt to also recover non-Lambertian material properties by exploiting the pseudo paired data generated by a GAN. To achieve precise inverse rendering, we devise a specularity-aware neural surface representation that continuously models the geometry and material properties. A shading-based refinement technique is adopted to further distill information in the target image and recover more fine details. Experiments demonstrate that GAN2X can accurately decompose 2D images to 3D shape, albedo, and specular properties for different object categories, and achieves the state-of-the-art performance for unsupervised single-view 3D face reconstruction. We also show its applications in downstream tasks including real image editing and lifting 2D GANs to decomposed 3D GANs.


title: Silicon nitride stress-optic microresonator modulator for optical control applications

abstract: The silicon nitride integration platform has been successful at realizing extremely low waveguide losses across the visible to infrared and components including high performance lasers, filters, resonators, stabilization cavities, and optical frequency combs. Yet, progress towards implementing low loss, low power modulators in the silicon nitride platform, while maintaining the planar, wafer-scale process compatibility has been limited. Here we report a significant advance in integration of a piezo-electric (PZT) actuated micro-ring modulation in a fully-planar, wafer-scale silicon nitride platform, that maintains low optical loss (0.03 dB/cm in a 625 um resonator) at 1550 nm, with an order of magnitude increase in bandwidth (DC to 20 MHz 3-dB) and order of magnitude lower power consumption of 20 nW improvement over prior PZT modulators. The modulator provides a >14 dB ER and 7.1 million Q over the entire 4 GHz tuning range, a tuning efficiency of 200 MHz/V, and delivers the linearity required for control applications with 65.1 dBHz2/3 and 73.8 dBHz2/3 IMD3 SFDR at 1 MHz and 10 MHz respectively. We demonstrate two control applications, laser stabilization in a PDH lock loop, reducing laser frequency noise by 40 dB, and as a laser carrier tracking filter. This PZT modulator design can be extended to the visible in the ultra-low loss silicon nitride platform with minor waveguide design changes. This integration of PZT modulation in the ultra-low loss silicon nitride waveguide platform enables modulator control functions in a wide range of visible to IR applications such as atomic and molecular transition locking for cooling, controllable optical frequency combs, low-power external cavity tunable lasers, atomic clocks, and tunable ultra-low linewidth lasers and ultra-low phase noise microwave synthesizers.


title: The impact of two massive early accretion events in a Milky Way-like galaxy: repercussions for the buildup of the stellar disc and halo

abstract: We identify and characterise a Milky Way-like realisation from the Auriga simulations with two consecutive massive mergers $\sim2\,$Gyr apart at high redshift, comparable to the reported Kraken and Gaia-Sausage-Enceladus. The Kraken-like merger ($z=1.6$, $M_{\rm Tot} = 8\times10^{10}\,$M$_{\odot}$) is gas-rich, deposits most of its mass in the inner $10\,$kpc, and is largely isotropic. The Sausage-like merger ($z=1.14$, $M_{\rm Tot} = 1\times10^{11}\,$M$_{\odot}$) leaves a more extended mass distribution at higher energies, and has a radially anisotropic distribution. For the higher redshift merger, the stellar mass ratio of the satellite to host galaxy is 1:3. As a result, the chemistry of the remnant is indistinguishable from contemporaneous in-situ populations, making it challenging to identify this component through chemical abundances. This naturally explains why all abundance patterns attributed so far to Kraken are in fact fully consistent with the metal-poor in-situ so-called Aurora population and thick disc. However, our model makes a falsifiable prediction: if the Milky Way underwent a gas-rich double merger at high redshift, then this should be imprinted on its star formation history with bursts about $\sim2\,$Gyrs apart. This may offer constraining power on the highest-redshift major mergers.


title: Reduced Robust Random Cut Forest for Out-Of-Distribution detection in machine learning models

abstract: Most machine learning-based regressors extract information from data collected via past observations of limited length to make predictions in the future. Consequently, when input to these trained models is data with significantly different statistical properties from data used for training, there is no guarantee of accurate prediction. Consequently, using these models on out-of-distribution input data may result in a completely different predicted outcome from the desired one, which is not only erroneous but can also be hazardous in some cases. Successful deployment of these machine learning models in any system requires a detection system, which should be able to distinguish between out-of-distribution and in-distribution data (i.e. similar to training data). In this paper, we introduce a novel approach for this detection process using a Reduced Robust Random Cut Forest (RRRCF) data structure, which can be used on both small and large data sets. Similar to the Robust Random Cut Forest (RRCF), RRRCF is a structured, but a reduced representation of the training data sub-space in form of cut trees. Empirical results of this method on both low and high-dimensional data showed that inference about data being in/out of training distribution can be made efficiently and the model is easy to train with no difficult hyper-parameter tuning. The paper discusses two different use-cases for testing and validating results.


title: Collocation2Text: Controllable Text Generation from Guide Phrases in Russian

abstract: Large pre-trained language models are capable of generating varied and fluent texts. Starting from the prompt, these models generate a narrative that can develop unpredictably. The existing methods of controllable text generation, which guide the narrative in the text in the user-specified direction, require creating a training corpus and an additional time-consuming training procedure. The paper proposes and investigates Collocation2Text, a plug-and-play method for automatic controllable text generation in Russian, which does not require fine-tuning. The method is based on two interacting models: the autoregressive language ruGPT-3 model and the autoencoding language ruRoBERTa model. The idea of the method is to shift the output distribution of the autoregressive model according to the output distribution of the autoencoding model in order to ensure a coherent transition of the narrative in the text towards the guide phrase, which can contain single words or collocations. The autoencoding model, which is able to take into account the left and right contexts of the token, "tells" the autoregressive model which tokens are the most and least logical at the current generation step, increasing or decreasing the probabilities of the corresponding tokens. The experiments on generating news articles using the proposed method showed its effectiveness for automatically generated fluent texts which contain coherent transitions between user-specified phrases.


title: RuArg-2022: Argument Mining Evaluation

abstract: Argumentation analysis is a field of computational linguistics that studies methods for extracting arguments from texts and the relationships between them, as well as building argumentation structure of texts. This paper is a report of the organizers on the first competition of argumentation analysis systems dealing with Russian language texts within the framework of the Dialogue conference. During the competition, the participants were offered two tasks: stance detection and argument classification. A corpus containing 9,550 sentences (comments on social media posts) on three topics related to the COVID-19 pandemic (vaccination, quarantine, and wearing masks) was prepared, annotated, and used for training and testing. The system that won the first place in both tasks used the NLI (Natural Language Inference) variant of the BERT architecture, automatic translation into English to apply a specialized BERT model, retrained on Twitter posts discussing COVID-19, as well as additional masking of target entities. This system showed the following results: for the stance detection task an F1-score of 0.6968, for the argument classification task an F1-score of 0.7404. We hope that the prepared dataset and baselines will help to foster further research on argument mining for the Russian language.


title: Robin Milner's Work on Concurrency: An Appreciation

abstract: We give a short appreciation of Robin Milner's seminal contributions to the theory of concurrency.


title: Argumentative Text Generation in Economic Domain

abstract: The development of large and super-large language models, such as GPT-3, T5, Switch Transformer, ERNIE, etc., has significantly improved the performance of text generation. One of the important research directions in this area is the generation of texts with arguments. The solution of this problem can be used in business meetings, political debates, dialogue systems, for preparation of student essays. One of the main domains for these applications is the economic sphere. The key problem of the argument text generation for the Russian language is the lack of annotated argumentation corpora. In this paper, we use translated versions of the Argumentative Microtext, Persuasive Essays and UKP Sentential corpora to fine-tune RuBERT model. Further, this model is used to annotate the corpus of economic news by argumentation. Then the annotated corpus is employed to fine-tune the ruGPT-3 model, which generates argument texts. The results show that this approach improves the accuracy of the argument generation by more than 20 percentage points (63.2\% vs. 42.5\%) compared to the original ruGPT-3 model.


title: A dichotomy for graphs of bounded degeneracy

abstract: We prove that the degeneracy of graphs in a hereditary class defined by a finite set S of forbidden induced subgraphs is bounded if and only if S includes a complete graph, a complete bipartite graph and a forest.


title: Automatic Summarization of Russian Texts: Comparison of Extractive and Abstractive Methods

abstract: The development of large and super-large language models, such as GPT-3, T5, Switch Transformer, ERNIE, etc., has significantly improved the performance of text generation. One of the important research directions in this area is the generation of texts with arguments. The solution of this problem can be used in business meetings, political debates, dialogue systems, for preparation of student essays. One of the main domains for these applications is the economic sphere. The key problem of the argument text generation for the Russian language is the lack of annotated argumentation corpora. In this paper, we use translated versions of the Argumentative Microtext, Persuasive Essays and UKP Sentential corpora to fine-tune RuBERT model. Further, this model is used to annotate the corpus of economic news by argumentation. Then the annotated corpus is employed to fine-tune the ruGPT-3 model, which generates argument texts. The results show that this approach improves the accuracy of the argument generation by more than 20 percentage points (63.2% vs. 42.5%) compared to the original ruGPT-3 model.


title: Mutation-Driven Follow the Regularized Leader for Last-Iterate Convergence in Zero-Sum Games

abstract: In this study, we consider a variant of the Follow the Regularized Leader (FTRL) dynamics in two-player zero-sum games. FTRL is guaranteed to converge to a Nash equilibrium when time-averaging the strategies, while a lot of variants suffer from the issue of limit cycling behavior, i.e., lack the last-iterate convergence guarantee. To this end, we propose mutant FTRL (M-FTRL), an algorithm that introduces mutation for the perturbation of action probabilities. We then investigate the continuous-time dynamics of M-FTRL and provide the strong convergence guarantees toward stationary points that approximate Nash equilibria under full-information feedback. Furthermore, our simulation demonstrates that M-FTRL can enjoy faster convergence rates than FTRL and optimistic FTRL under full-information feedback and surprisingly exhibits clear convergence under bandit feedback.


title: Slowest first passage times, redundancy, and menopause timing

abstract: Biological events are often initiated when a random "searcher" finds a "target," which is called a first passage time (FPT). In some biological systems involving multiple searchers, an important timescale is the time it takes the slowest searcher(s) to find a target. For example, of the hundreds of thousands of primordial follicles in a woman's ovarian reserve, it is the slowest to leave that trigger the onset of menopause. Such slowest FPTs may also contribute to the reliability of cell signaling pathways and influence the ability of a cell to locate an external stimulus. In this paper, we use extreme value theory and asymptotic analysis to obtain rigorous approximations to the full probability distribution and moments of slowest FPTs. Though the results are proven in the limit of many searchers, numerical simulations reveal that the approximations are accurate for any number of searchers in typical scenarios of interest. We apply these general mathematical results to models of ovarian aging and menopause timing, which reveals the role of slowest FPTs for understanding redundancy in biological systems. We also apply the theory to several popular models of stochastic search, including search by diffusive, subdiffusive, and mortal searchers.


title: Multistream Gaze Estimation with Anatomical Eye Region Isolation by Synthetic to Real Transfer Learning

abstract: We propose a novel neural pipeline, MSGazeNet, that learns gaze representations by taking advantage of the eye anatomy information through a multistream framework. Our proposed solution comprises two components, first a network for isolating anatomical eye regions, and a second network for multistream gaze estimation. The eye region isolation is performed with a U-Net style network which we train using a synthetic dataset that contains eye region masks for the visible eyeball and the iris region. The synthetic dataset used in this stage is procured using the UnityEyes simulator, and consists of 80,000 eye images. Successive to training, the eye region isolation network is then transferred to the real domain for generating masks for the real-world eye images. In order to successfully make the transfer, we exploit domain randomization in the training process, which allows for the synthetic images to benefit from a larger variance with the help of augmentations that resemble artifacts. The generated eye region masks along with the raw eye images are then used together as a multistream input to our gaze estimation network, which consists of wide residual blocks. The output embeddings from these encoders are fused in the channel dimension before feeding into the gaze regression layers. We evaluate our framework on three gaze estimation datasets and achieve strong performances. Our method surpasses the state-of-the-art by 7.57% and 1.85% on two datasets, and obtains competitive results on the other. We also study the robustness of our method with respect to the noise in the data and demonstrate that our model is less sensitive to noisy data. Lastly, we perform a variety of experiments including ablation studies to evaluate the contribution of different components and design choices in our solution.


title: Optimal Dynamic Regret in LQR Control

abstract: We consider the problem of nonstochastic control with a sequence of quadratic losses, i.e., LQR control. We provide an efficient online algorithm that achieves an optimal dynamic (policy) regret of $\tilde{O}(\text{max}\{n^{1/3} \mathcal{TV}(M_{1:n})^{2/3}, 1\})$, where $\mathcal{TV}(M_{1:n})$ is the total variation of any oracle sequence of Disturbance Action policies parameterized by $M_1,...,M_n$ -- chosen in hindsight to cater to unknown nonstationarity. The rate improves the best known rate of $\tilde{O}(\sqrt{n (\mathcal{TV}(M_{1:n})+1)} )$ for general convex losses and we prove that it is information-theoretically optimal for LQR. Main technical components include the reduction of LQR to online linear regression with delayed feedback due to Foster and Simchowitz (2020), as well as a new proper learning algorithm with an optimal $\tilde{O}(n^{1/3})$ dynamic regret on a family of ``minibatched'' quadratic losses, which could be of independent interest.


title: Machine Learning in Sports: A Case Study on Using Explainable Models for Predicting Outcomes of Volleyball Matches

abstract: Machine Learning has become an integral part of engineering design and decision making in several domains, including sports. Deep Neural Networks (DNNs) have been the state-of-the-art methods for predicting outcomes of professional sports events. However, apart from getting highly accurate predictions on these sports events outcomes, it is necessary to answer questions such as "Why did the model predict that Team A would win Match X against Team B?" DNNs are inherently black-box in nature. Therefore, it is required to provide high-quality interpretable, and understandable explanations for a model's prediction in sports. This paper explores a two-phased Explainable Artificial Intelligence(XAI) approach to predict outcomes of matches in the Brazilian volleyball League (SuperLiga). In the first phase, we directly use the interpretable rule-based ML models that provide a global understanding of the model's behaviors based on Boolean Rule Column Generation (BRCG; extracts simple AND-OR classification rules) and Logistic Regression (LogReg; allows to estimate the feature importance scores). In the second phase, we construct non-linear models such as Support Vector Machine (SVM) and Deep Neural Network (DNN) to obtain predictive performance on the volleyball matches' outcomes. We construct the "post-hoc" explanations for each data instance using ProtoDash, a method that finds prototypes in the training dataset that are most similar to the test instance, and SHAP, a method that estimates the contribution of each feature on the model's prediction. We evaluate the SHAP explanations using the faithfulness metric. Our results demonstrate the effectiveness of the explanations for the model's predictions.


title: Can Language Models Capture Graph Semantics? From Graphs to Language Model and Vice-Versa

abstract: Knowledge Graphs are a great resource to capture semantic knowledge in terms of entities and relationships between the entities. However, current deep learning models takes as input distributed representations or vectors. Thus, the graph is compressed in a vectorized representation. We conduct a study to examine if the deep learning model can compress a graph and then output the same graph with most of the semantics intact. Our experiments show that Transformer models are not able to express the full semantics of the input knowledge graph. We find that this is due to the disparity between the directed, relationship and type based information contained in a Knowledge Graph and the fully connected token-token undirected graphical interpretation of the Transformer Attention matrix.


title: Non-radial oscillations and global stellar properties of anisotropic compact stars using realistic equations of state

abstract: In this work, we have made a systematic study of how the gravitational wave frequency of the fundamental mode from compact stars is affected by anisotropic effects using realistic equations of state. Our study is an extension of the seminal research performed by Doneva [Phys. Rev. D 85 (2012) 124023], where a polytropic equation of state was used. To achieve our objective, we considered compact stars which were built by using equations of state in the framework of a relativistic mean field theory for the case of hadronic stars and in the framework of the MIT model for the case of quark stars. In order to obtain some pertinent information that could give us the possibility to detect the anisotropy in compact stars, we also studied and analized the behaviour of various global stellar quantities, e.g., gravitational redshift, stellar mass, radius, among others. We concluded that the anisotropic effects can have important consequences, which are strongly related to the anisotropic parameter and the equation of state of high density matter. Additionally, a comparison with observational data has been made and we have shown that the anisotropic parameter $\lambda$ can be used as a tuning parameter to reproduce mass and radius observational data of neutron stars.

categories: gr-qc astro-ph.HE astro-ph.SR hep-ph nucl-th


title: Quantum information of the Aharanov-Bohm ring with Yukawa interaction in the presence of disclination

abstract: We investigate the quantum information by a theoretical measurement approach of an Aharanov-Bohm (AB) ring with Yukawa interaction in curved space with disclination. It obtained the so-called Shannon entropy, through the eigenfunctions of the system. The quantum states considered come from a Schroedinger theory with the AB field in the background of curved space. With this entropy, it can explore the quantum information at the position space and reciprocal space. Furthermore, we discussed how the magnetic field, the AB flux, and the topological defect influence the quantum states and the information entropy.


title: Motley: Benchmarking Heterogeneity and Personalization in Federated Learning

abstract: Personalized federated learning considers learning models unique to each client in a heterogeneous network. The resulting client-specific models have been purported to improve metrics such as accuracy, fairness, and robustness in federated networks. However, despite a plethora of work in this area, it remains unclear: (1) which personalization techniques are most effective in various settings, and (2) how important personalization truly is for realistic federated applications. To better answer these questions, we propose Motley, a benchmark for personalized federated learning. Motley consists of a suite of cross-device and cross-silo federated datasets from varied problem domains, as well as thorough evaluation metrics for better understanding the possible impacts of personalization. We establish baselines on the benchmark by comparing a number of representative personalized federated learning methods. These initial results highlight strengths and weaknesses of existing approaches, and raise several open questions for the community. Motley aims to provide a reproducible means with which to advance developments in personalized and heterogeneity-aware federated learning, as well as the related areas of transfer learning, meta-learning, and multi-task learning.


title: Approximate Formulas for Characteristics of Multichannel LIFO Preemptive-Resume Priority Queueing System

abstract: This paper considers a multichannel preemptive-resume priority queueing system with a Poisson input and an arbitrary service time distribution depending on the priority of job. Jobs of the same priority are serviced according to the LIFO rule. If, at moment of job arrival, all servers are busy, and at least one server is busy with the service of a job of a not higher than the priority of arriving job, then the service of a job is preempted such that the priority of preempted job is lowest from the priorities of the jobs in service. The service of a preempted job is resumed later. The paper proposes approximate formulas for the sojourn time of a prescribed priority job and some other characteristics of the system.


title: Pisces: Efficient Federated Learning via Guided Asynchronous Training

abstract: Federated learning (FL) is typically performed in a synchronous parallel manner, where the involvement of a slow client delays a training iteration. Current FL systems employ a participant selection strategy to select fast clients with quality data in each iteration. However, this is not always possible in practice, and the selection strategy often has to navigate an unpleasant trade-off between the speed and the data quality of clients. In this paper, we present Pisces, an asynchronous FL system with intelligent participant selection and model aggregation for accelerated training. To avoid incurring excessive resource cost and stale training computation, Pisces uses a novel scoring mechanism to identify suitable clients to participate in a training iteration. It also adapts the pace of model aggregation to dynamically bound the progress gap between the selected clients and the server, with a provable convergence guarantee in a smooth non-convex setting. We have implemented Pisces in an open-source FL platform called Plato, and evaluated its performance in large-scale experiments with popular vision and language models. Pisces outperforms the state-of-the-art synchronous and asynchronous schemes, accelerating the time-to-accuracy by up to 2.0x and 1.9x, respectively.


title: SAViR-T: Spatially Attentive Visual Reasoning with Transformers

abstract: We present a novel computational model, "SAViR-T", for the family of visual reasoning problems embodied in the Raven's Progressive Matrices (RPM). Our model considers explicit spatial semantics of visual elements within each image in the puzzle, encoded as spatio-visual tokens, and learns the intra-image as well as the inter-image token dependencies, highly relevant for the visual reasoning task. Token-wise relationship, modeled through a transformer-based SAViR-T architecture, extract group (row or column) driven representations by leveraging the group-rule coherence and use this as the inductive bias to extract the underlying rule representations in the top two row (or column) per token in the RPM. We use this relation representations to locate the correct choice image that completes the last row or column for the RPM. Extensive experiments across both synthetic RPM benchmarks, including RAVEN, I-RAVEN, RAVEN-FAIR, and PGM, and the natural image-based "V-PROM" demonstrate that SAViR-T sets a new state-of-the-art for visual reasoning, exceeding prior models' performance by a considerable margin.


title: Revisiting Andromeda's Parachute

abstract: The gravitational lens system PS J0147+4630 (Andromeda's Parachute) consists of four quasar images ABCD and a lensing galaxy. We obtained $r$-band light curves of ABCD in the 2017$-$2021 period from a monitoring with two 2-m class telescopes. These curves and state-of-the-art curve-shifting algorithms led to three independent time delays relative to image A, one of which is accurate enough (uncertainty of about 4%) to be used in cosmological studies. Our finely sampled light curves and some additional fluxes in the years 2010$-$2013 also demonstrated the presence of significant microlensing variations. This paper also focused on new near-IR spectra of ABCD in 2018$-$2019 that were derived from archive data of two 10-m class telescopes. We analysed the spectral region including the MgII, H$\beta$, [OIII], and H$\alpha$ emission lines (0.9$-$2.4 $\mu$m), measuring image flux ratios and a reliable quasar redshift of 2.357 $\pm$ 0.002, and finding evidence of an outflow in the H$\alpha$ emission. In addition, we updated the lens mass model of the system and estimated a quasar black-hole logarithmic mass ${\log \left[ M_{\rm{BH}}/\rm{M_{\odot}} \right]}$ = 9.34 $\pm$ 0.30.


title: Quantum Cosmology in Thick Brane

abstract: One of the interesting open problems in the cosmological framework is applying quantum physics to the whole universe, consistently. Although different conceptual aspects of quantum cosmology are still very much alive, till now, all the attempts of obtaining a unique and well-defined version of quantum cosmology have been unfeasible. Motivated by what was mentioned above, in this paper, the quantum tunneling of thick brane is investigated by deriving the Wheeler-DeWitt equation and corresponding solutions. Besides, the cosmological analysis of the brane is studied based on two special cases of the scalar field. Finally, it is found that the constant scalar potential arising from a time-dependent scalar field is supported by the so-called slow-roll inflation.


title: Reconfiguration of vertex colouring and forbidden induced subgraphs

abstract: The reconfiguration graph of the $k$-colourings, denoted $\mathcal{R}_k(G)$, is the graph whose vertices are the $k$-colourings of $G$ and two colourings are adjacent in $\mathcal{R}_k(G)$ if they differ in colour on exactly one vertex. In this paper, we investigate the connectivity and diameter of $\mathcal{R}_{k+1}(G)$ for a $k$-colourable graph $G$ restricted by forbidden induced subgraphs. We show that $\mathcal{R}_{k+1}(G)$ is connected for every $k$-colourable $H$-free graph $G$ if and only if $H$ is an induced subgraph of $P_4$ or $P_3+P_1$. We also start an investigation into this problem for classes of graphs defined by two forbidden induced subgraphs. We show that if $G$ is a $k$-colourable ($2K_2$, $C_4$)-free graph, then $\mathcal{R}_{k+1}(G)$ is connected with diameter at most $4n$. Furthermore, we show that $\mathcal{R}_{k+1}(G)$ is connected for every $k$-colourable ($P_5$, $C_4$)-free graph $G$.


title: Automatic Self-Adaptive Local Voltage Control Under Limited Reactive Power

abstract: The increasing proliferation of distributed energy resources has posed new challenges to Volt/VAr control problems in distribution networks. To this end, this paper proposes an automatic self-adaptive local voltage control (ASALVC) by locally controlling VAr outputs of distributed energy resources. In this ASALVC strategy, each bus agent can locally and dynamically adjust its voltage droop function in accordance with time-varying system changes. The voltage droop function is associated with the bus-specific time-varying slope and intercept, which can be locally updated, merely based on local voltage measurements, without requiring communication. Stability, convergence, and optimality properties of this local voltage control are analytically established. In addition, the online implementation of ASALVC is further proposed to address the real-time system changes by adjusting VAr outputs of DERs online. Numerical test cases are performed to validate and demonstrate the effectiveness and superiority of ASALVC.


title: The Extension of Unital Completely Positive Semigroups on Operator Systems to Semigroups on $C^*$-algebras

abstract: The study of open quantum systems relies on the notion of unital completely positive semigroups on $C^*$-algebras representing physical systems. The natural generalisation would be to consider the unital completely positive semigroups on operator systems. We show that any continuous unital completely positive semigroup on matricial system can be extended to a semigroup on a finite-dimensional $C^*$-algebra, which is an injective envelope of the matricial system. In case the semigroup is invertible, this extension is unique.


title: Nuclei near and at the proton dripline

abstract: Nuclei in the vicinity of the proton dripline and beyond it are a fascinating realm within the chart of nuclei. In this chapter the main phenomena that characterize this domain and are not to be found elsewhere are explored. While moving away from the $\beta$-stability valley towards the proton dripline, phenomena like very exotic decay modes such as $\beta$-delayed (multi-) particle emission, and proton-, or two-proton radioactivity are encountered. Landmark nuclei are here two isotopes with magic proton and neutron numbers, $^{48}$Ni and $^{100}$Sn. Moreover, proton-rich nuclei ($N < Z$) display other interesting features, like breaking of isospin symmetry with consequent asymmetry in the energy spectra between mirror nuclei, the so-called Thomas-Ehrmann shift, or the phenomenon of proton-halo. Last but not least, nuclei close to the proton dripline play a very important role in nucleosynthesis, since they take part in the rapid-proton capture process and their properties are crucial in defining the flow followed and its termination close to $^{100}$Sn.


title: DECK: Model Hardening for Defending Pervasive Backdoors

abstract: Pervasive backdoors are triggered by dynamic and pervasive input perturbations. They can be intentionally injected by attackers or naturally exist in normally trained models. They have a different nature from the traditional static and localized backdoors that can be triggered by perturbing a small input area with some fixed pattern, e.g., a patch with solid color. Existing defense techniques are highly effective for traditional backdoors. However, they may not work well for pervasive backdoors, especially regarding backdoor removal and model hardening. In this paper, we propose a novel model hardening technique against pervasive backdoors, including both natural and injected backdoors. We develop a general pervasive attack based on an encoder-decoder architecture enhanced with a special transformation layer. The attack can model a wide range of existing pervasive backdoor attacks and quantify them by class distances. As such, using the samples derived from our attack in adversarial training can harden a model against these backdoor vulnerabilities. Our evaluation on 9 datasets with 15 model structures shows that our technique can enlarge class distances by 59.65% on average with less than 1% accuracy degradation and no robustness loss, outperforming five hardening techniques such as adversarial training, universal adversarial training, MOTH, etc. It can reduce the attack success rate of six pervasive backdoor attacks from 99.06% to 1.94%, surpassing seven state-of-the-art backdoor removal techniques.


title: High Resolution Point Clouds from mmWave Radar

abstract: This paper explores a machine learning approach for generating high resolution point clouds from a single-chip mmWave radar. Unlike lidar and vision-based systems, mmWave radar can operate in harsh environments and see through occlusions like smoke, fog, and dust. Unfortunately, current mmWave processing techniques offer poor spatial resolution compared to lidar point clouds. This paper presents RadarHD, an end-to-end neural network that constructs lidar-like point clouds from low resolution radar input. Enhancing radar images is challenging due to the presence of specular and spurious reflections. Radar data also doesn't map well to traditional image processing techniques due to the signal's sinc-like spreading pattern. We overcome these challenges by training RadarHD on a large volume of raw I/Q radar data paired with lidar point clouds across diverse indoor settings. Our experiments show the ability to generate rich point clouds even in scenes unobserved during training and in the presence of heavy smoke occlusion. Further, RadarHD's point clouds are high-quality enough to work with existing lidar odometry and mapping workflows.


title: Scalable Classifier-Agnostic Channel Selection for Multivariate Time Series Classification

abstract: Accuracy is a key focus of current work in time series classification. However, speed and data reduction in many applications is equally important, especially when the data scale and storage requirements increase rapidly. Current MTSC algorithms need hundreds of compute hours to complete training and prediction. This is due to the nature of multivariate time series data, which grows with the number of time series, their length and the number of channels. In many applications, not all the channels are useful for the classification task; hence we require methods that can efficiently select useful channels and thus save computational resources. We propose and evaluate two methods for channel selection. Our techniques work by representing each class by a prototype time series and performing channel selection based on the prototype distance between classes. The main hypothesis is that useful channels enable better separation between classes; hence, channels with the higher distance between class prototypes are more useful. On the UEA Multivariate Time Series Classification (MTSC) benchmark, we show that these techniques achieve significant data reduction and classifier speedup for similar levels of classification accuracy. Channel selection is applied as a pre-processing step before training state-of-the-art MTSC algorithms and saves about 70\% of computation time and data storage, with preserved accuracy. Furthermore, our methods enable even efficient classifiers, such as ROCKET, to achieve better accuracy than using no channel selection or forward channel selection. To further study the impact of our techniques, we present experiments on classifying synthetic multivariate time series datasets with more than 100 channels, as well as a real-world case study on a dataset with 50 channels. Our channel selection methods lead to significant data reduction with preserved or improved accuracy.


title: Anticipated emotions associated with trust in autonomous vehicles

abstract: Trust in automation has been mainly studied in the cognitive perspective, though some researchers have shown that trust is also influenced by emotion. Therefore, it is essential to investigate the relationships between emotions and trust. In this study, we explored the pattern of 19 anticipated emotions associated with two levels of trust (i.e., low vs. high levels of trust) elicited from two levels of autonomous vehicles (AVs) performance (i.e., failure and non-failure) from 105 participants from Amazon Mechanical Turk (AMT). Trust was assessed at three layers i.e., dispositional, initial learned, and situational trust. The study was designed to measure how emotions are affected with low and high levels of trust. Situational trust was significantly correlated with emotions that a high level of trust significantly improved participants' positive emotions, and vice versa. We also identified the underlying factors of emotions associated with situational trust. Our results offered important implications on anticipated emotions associated with trust in AVs.


title: Neural Shape-from-Shading for Survey-Scale Self-Consistent Bathymetry from Sidescan

abstract: Sidescan sonar is a small and cost-effective sensing solution that can be easily mounted on most vessels. Historically, it has been used to produce high-definition images that experts may use to identify targets on the seafloor or in the water column. While solutions have been proposed to produce bathymetry solely from sidescan, or in conjunction with multibeam, they have had limited impact. This is partly a result of mostly being limited to single sidescan lines. In this paper, we propose a modern, salable solution to create high quality survey-scale bathymetry from many sidescan lines. By incorporating multiple observations of the same place, results can be improved as the estimates reinforce each other. Our method is based on sinusoidal representation networks, a recent advance in neural representation learning. We demonstrate the scalability of the approach by producing bathymetry from a large sidescan survey. The resulting quality is demonstrated by comparing to data collected with a high-precision multibeam sensor.


title: Magnon straintronics in the 2D van der Waals ferromagnet CrSBr from first-principles

abstract: The recent isolation of two-dimensional (2D) magnets offers tantalizing opportunities for spintronics and magnonics at the limit of miniaturization. One of the key advantages of atomically-thin materials is their outstanding deformation capacity, which provides an exciting avenue to control their properties by strain engineering. Herein, we investigate the magnetic properties, magnon dispersion and spin dynamics of the air-stable 2D magnetic semiconductor CrSBr ($T_C$ = 146 K) under mechanical strain using first-principles calculations. Our results provide a deep microscopic analysis of the competing interactions that stabilize the long-range ferromagnetic order in the monolayer. We showcase that the magnon dynamics of CrSBr can be modified selectively along the two main crystallographic directions as a function of applied strain, probing the potential of this quasi-1D electronic system for magnon straintronics applications. Moreover, we predict a strain-driven enhancement of $T_C$ considering environmental screening by ~30%, allowing the propagation of spin waves at higher temperatures.


title: Massive white dwarfs in $f(R,L_m)$ gravity

abstract: In this work, we investigate the equilibrium configurations of massive white dwarfs (MWD) in the context of modified gravity, namely $f(R,L_m)$ gravity, where $R$ stands for the Ricci scalar and $L_m$ is the Lagrangian matter density. We focused on the specific case $f(R,L_m) = R/2 + L_m + \sigma RL_m$, i.e., we have considered a non-minimal coupling between the gravity field and the matter field, with $\sigma$ being the coupling constant. For the first time, the theory is applied to white dwarfs, in particular to study massive white dwarfs, which is a topic of great interest in the last years. The equilibrium configurations predict maximum masses which are above the Chandrasekhar mass limit. The most important effect of the theory is to increase significantly the mass for stars with radius < 2000 km. We found that the theory can accommodate the super-Chandrasekhar white dwarfs for different star compositions. Apart from this, the theory recovers the General Relativity results for stars with radii larger than 3000 km, independent of the value of $\sigma$.


title: Going Green: Estimating the Potential of Green Jobs in Argentina

abstract: This paper aims to identify and characterize the potential of green jobs in Argentina, i.e., those that would benefit from a transition to a green economy, using occupational green potential scores calculated in US O*NET data. We apply the greenness scores to Argentine household survey data and estimate that 25% of workers are in green jobs, i.e., have a high green potential. However, when taking into account the informality dimension, we find that 15% of workers and 12% of wage earners are in formal green jobs. We then analyze the relationship between the greenness scores (with emphasis on the nexus with decent work) and various labor and demographic variables at the individual level. We find that for the full sample of workers the green potential is relatively greater for men, the elderly, those with very high qualifications, those in formal positions, and those in specific sectors such as construction, transportation, mining, and industry. These are the groups that are likely to be the most benefited by the greening of the Argentine economy. When we restrict the sample to wage earners, the green potential score is positively associated with informality.


title: MetaGL: Evaluation-Free Selection of Graph Learning Models via Meta-Learning

abstract: Given a graph learning task, such as link prediction, on a new graph, how can we select the best method as well as its hyperparameters (collectively called a model) without having to train or evaluate any model on the new graph? Model selection for graph learning has been largely ad hoc. A typical approach has been to apply popular methods to new datasets, but this is often suboptimal. On the other hand, systematically comparing models on the new graph quickly becomes too costly, or even impractical. In this work, we develop the first meta-learning approach for evaluation-free graph learning model selection, called MetaGL, which utilizes the prior performances of existing methods on various benchmark graph datasets to automatically select an effective model for the new graph, without any model training or evaluations. To quantify similarities across a wide variety of graphs, we introduce specialized meta-graph features that capture the structural characteristics of a graph. Then we design G-M network, which represents the relations among graphs and models, and develop a graph-based meta-learner operating on this G-M network, which estimates the relevance of each model to different graphs. Extensive experiments show that using MetaGL to select a model for the new graph greatly outperforms several existing meta-learning techniques tailored for graph learning model selection (up to 47% better), while being extremely fast at test time (~1 sec).


title: Kinematics of the Central Stars Powering Bowshock Nebulae and the Large Multiplicity Fraction of Runaway OB Stars

abstract: OB stars powering stellar bowshock nebulae (SBNe) have been presumed to have large peculiar velocities. We measured peculiar velocities of SBN central stars to assess their kinematics relative to the general O star population using $Gaia$ EDR3 data for 267 SBN central stars and a sample of 455 Galactic O stars to derive projected velocities $v_{\rm 2D}$. For a subset of each sample we obtained new optical spectroscopy to measure radial velocities and identify multiple-star systems. We find a minimum multiplicity fraction of 36$\pm$6% among SBN central stars, consistent with $>$28% among runaway Galactic O stars. The large multiplicity fraction among runaways implicates very efficient dynamical ejection rather than binary-supernova origins. The median $v_{\rm 2D}$ of SBN central stars is $v_{\rm 2D}$=14.6 km s$^{-1}$, larger than the median $v_{\rm 2D}$=11.4 km s$^{-1}$ for non-bowshock O stars. Central stars of SBNe have a runaway ($v_{\rm 2D}$$>$25 km s$^{-1}$) fraction of 24$^{+9}_{-7}$%, consistent with the 22$^{+3}_{-3}$% for control-sample O stars. Most (76%) of SBNe central stars are not runaways. Our analysis of alignment ($\Delta_{\rm PA}$) between the nebular morphological and $v_{\rm 2D}$ kinematic position angles reveals two populations: a highly aligned ($\sigma_{PA}$=25$^\circ$) population that includes stars with the largest $v_{\rm 2D}$ (31% of the sample) and a random (non-aligned) population (69% of the sample). SBNe that lie within or near HII regions comprise a larger fraction of this latter component than SBNe in isolated environments, implicating localized ISM flows as a factor shaping their orientations and morphologies. We outline a new conceptual approach to computing the Solar LSR motion, yielding [U$_\odot$, V$_\odot$, W$_\odot$]= [5.5, 7.5, 4.5] km s$^{-1}$.


title: Gysin_V-functors

abstract: Let $d \geq 1$ be an integer and $\mathcal{K}_{d}$ be a contravariant functor from the category of subgroups of $(\mathbb{Z}/2\mathbb{Z})^{d}$ to the category of graded and finite $\mathbb{F}_{2}$-algebras. In this paper, we generalize the conjecture of G. Carlsson, concerning free actions of $(\mathbb{Z}/2\mathbb{Z})^{d}$ on finite CW-complexes, by suggesting, that if $\mathcal{K}_{d}$ is a Gysin-$(\mathbb{Z}/2\mathbb{Z})^{d}$-functor (that is to say, the functor $\mathcal{K}_{d}$ satisfies some properties), then we have: $\big(C_{d} \big): \; \underset{i \geq 0}{\sum}dim_{\mathbb{F}_{2}} \big(\mathcal{K}_{d}(0)\big)^{i} \geq 2^{d}$.\\ We prove this conjecture for $1 \leq d \leq 3$ and we show that, in certain cases, we get an independent proof of the following result.\\ Theorem. If the group $(\mathbb{Z}/2\mathbb{Z})^{d}$, $ 1 \leq d \leq 3$, acts freely and cellularly on a finite CW-complex $X$, then ${\underset{i \geq 0}{\sum}}dim_{\mathbb{F}_{2}}H^{i}(X;\; \mathbb{F}_{2}) \geq 2^{d}$.


title: Linear algebra and group theory

abstract: This is an introduction to linear algebra and group theory. We first review the linear algebra basics, namely the determinant, the diagonalization procedure and more, and with the determinant being constructed as it should, as a signed volume. We discuss then the basic applications of linear algebra to questions in analysis. Then we get into the study of the closed groups of unitary matrices $G\subset U_N$, with some basic algebraic theory, and with a number of probability computations, in the finite group case. In the general case, where $G\subset U_N$ is compact, we explain how the Weingarten integration formula works, and we present some basic $N\to\infty$ applications.


title: Rank-Metric Lattices

abstract: We introduce the class of rank-metric geometric lattices and initiate the study of their structural properties. Rank-metric lattices can be seen as the $q$-analogues of higher-weight Dowling lattices, defined by Dowling himself in 1971. We fully characterize the supersolvable rank-metric lattices and compute their characteristic polynomials. We then concentrate on the smallest rank-metric lattice whose characteristic polynomial we cannot compute, and provide a formula for it under a polynomiality assumption on its Whitney numbers of the first kind. The proof relies on computational results and on the theory of vector rank-metric codes, which we review in this paper from the perspective of rank-metric lattices. More precisely, we introduce the notion of lattice-rank weights of a rank-metric code and investigate their properties as combinatorial invariants and as code distinguishers for inequivalent codes.


title: Q-linear Convergence of Distributed Optimization with Barzilai-Borwein Step Sizes

abstract: The growth in sizes of large-scale systems and data in machine learning have made distributed optimization a naturally appealing technique to solve decision problems in different contexts. In such methods, each agent iteratively carries out computations on its local objective using information received from its neighbors, and shares relevant information with neighboring agents. Though gradient-based methods are widely used because of their simplicity, they are known to have slow convergence rates. On the other hand, though Newton-type methods have better convergence properties, they are not as applicable because of the enormous computation and memory requirements. In this work, we introduce a distributed quasi-Newton method with Barzilai-Borwein step-sizes. We prove a Q-linear convergence to the optimal solution, present conditions under which the algorithm is superlinearly convergent and validate our results via numerical simulations.


title: From Universal Humanoid Control to Automatic Physically Valid Character Creation

abstract: Automatically designing virtual humans and humanoids holds great potential in aiding the character creation process in games, movies, and robots. In some cases, a character creator may wish to design a humanoid body customized for certain motions such as karate kicks and parkour jumps. In this work, we propose a humanoid design framework to automatically generate physically valid humanoid bodies conditioned on sequence(s) of pre-specified human motions. First, we learn a generalized humanoid controller trained on a large-scale human motion dataset that features diverse human motion and body shapes. Second, we use a design-and-control framework to optimize a humanoid's physical attributes to find body designs that can better imitate the pre-specified human motion sequence(s). Leveraging the pre-trained humanoid controller and physics simulation as guidance, our method is able to discover new humanoid designs that are customized to perform pre-specified human motions.


title: Approximate Bayesian Inference for the Interaction Types 1, 2, 3 and 4 with Application in Disease Mapping

abstract: We address in this paper a new approach for fitting spatiotemporal models with application in disease mapping using the interaction types 1,2,3, and 4. When we account for the spatiotemporal interactions in disease-mapping models, inference becomes more useful in revealing unknown patterns in the data. However, when the number of locations and/or the number of time points is large, the inference gets computationally challenging due to the high number of required constraints necessary for inference, and this holds for various inference architectures including Markov chain Monte Carlo (MCMC) and Integrated Nested Laplace Approximations (INLA). We re-formulate INLA approach based on dense matrices to fit the intrinsic spatiotemporal models with the four interaction types and account for the sum-to-zero constraints, and discuss how the new approach can be implemented in a high-performance computing framework. The computing time using the new approach does not depend on the number of constraints and can reach a 40-fold faster speed compared to INLA in realistic scenarios. This approach is verified by a simulation study and a real data application, and it is implemented in the R package INLAPLUS and the Python header function: inla1234().


title: Cosmogenic background study for a 100Mo-based bolometric demonstration experiment at China JinPing underground Laboratory

abstract: We perform simulation study for a 10-kg $^{100}$Mo-based bolometeric demonstration experiment for neutrinoless double-beta decay ($0\nu\beta\beta$) search at China JinPing underground Laboratory (CJPL). Cosmogenic production of radionuclides in $^{100}$Mo-enriched lithium molybdate crystals and copper components of the detector system are studied using Geant4 toolkit based on the simulated cosmic ray data from the CRY library. Background energy spectra of the cosmogenic radionuclides including $^{56}$Co, $^{82}$Rb and $^{88}$Y which are harmful for the $^{100}$Mo-based $0\nu\beta\beta$ experiment are investigated. We then evaluate the total cosmogenic background level in the $^{100}$Mo $0\nu\beta\beta$ search energy region of interest (ROI) for the demonstration experiment. After one year of cooling down underground, the residual background contribution is found to be 1.8$\times$10$^{-6}$ cts/kg/keV/yr and 3.3$\times$10$^{-4}$ cts/kg/keV/yr from crystals and copper components, respectively. Furthermore, underground cosmogenic activation of copper and lithium molybdate crystal is calculated based on the simulation spectra of neutron and proton in CJPL. The underground cosmogenic background is found to be negligible in the ROI.


title: The Indian Pulsar Timing Array: First data release

abstract: We present the pulse arrival times and high-precision dispersion measure estimates for 14 millisecond pulsars observed simultaneously in the 300-500 MHz and 1260-1460 MHz frequency bands using the upgraded Giant Metrewave Radio Telescope (uGMRT). The data spans over a baseline of 3.5 years (2018-2021), and is the first official data release made available by the Indian Pulsar Timing Array collaboration. This data release presents a unique opportunity for investigating the interstellar medium effects at low radio frequencies and their impact on the timing precision of pulsar timing array experiments. In addition to the dispersion measure time series and pulse arrival times obtained using both narrowband and wideband timing techniques, we also present the dispersion measure structure function analysis for selected pulsars. Our ongoing investigations regarding the frequency dependence of dispersion measures have been discussed. Based on the preliminary analysis for five millisecond pulsars, we do not find any conclusive evidence of chromaticity in dispersion measures. Data from regular simultaneous two-frequency observations are presented for the first time in this work. This distinctive feature leads us to the highest precision dispersion measure estimates obtained so far for a subset of our sample. Simultaneous multi-band uGMRT observations in Band 3 and Band 5 are crucial for high-precision dispersion measure estimation and for the prospect of expanding the overall frequency coverage upon the combination of data from the various Pulsar Timing Array consortia in the near future. Parts of the data presented in this work are expected to be incorporated into the upcoming third data release of the International Pulsar Timing Array.


title: Neutrino-anti-neutrino instability in dense neutrino systems, with applications to the early universe and to supernovae

abstract: We exhibit a new instability that leads to "fast" coherent neutrino-antineutrino mixing in a dense neutrino cloud, arising from the standard four-Fermi interaction induced by Z exchange, and overlooked in the big existing literature on fast processes in this venue. It can play an essential role in creation of an abundance of pseudoscalar mesons of mass in the KeV range in the early universe, at temperatures in the range 10-100 MeV. Also it can overpower existing calculations in the "neutrino bulb" regions of the supernova cloud.


title: Conditional mixing in deterministic chaos

abstract: While on the one hand, chaotic dynamical systems can be predicted for all time given exact knowledge of an initial state, they are also in many cases rapidly mixing, meaning that smooth probabilistic information (quantified by measures) on the system's state has negligible value for predicting the long-term future. However, an understanding of the long-term predictive value of intermediate kinds of probabilistic information is necessary in various physical problems, and largely remains lacking. Of particular interest in data assimilation and linear response theory are the conditional measures of the SRB measure on zero sets of general smooth functions of the phase space. In this paper we give rigorous and numerical evidence that such measures generically converge back under the dynamics to the full SRB measures, exponentially quickly. We call this property conditional mixing. We will prove that conditional mixing holds in a class of generalised baker's maps, and demonstrate it numerically in some non-Markovian piecewise hyperbolic maps. Conditional mixing provides a natural limit on the effectiveness of long-term forecasting of chaotic systems via partial observations, and appears key to proving the existence of linear response outside the setting of smooth uniform hyperbolicity.


title: On convergence of linear response formulae in some piecewise hyperbolic maps

abstract: When high-dimensional non-uniformly hyperbolic chaotic systems undergo dynamical perturbations, their long-time statistics are generally observed to respond differentiably with respect to the perturbation. Although important in applications, this differentiability, which is thought to be connected to the dimensionality of the system, has remained resistant to rigorous study. To model non-uniformly hyperbolic systems, we consider a family of the mathematically tractable class of piecewise smooth hyperbolic maps, the Lozi maps. For these maps we prove that the existence of a formal derivative of the response reduces to an exponential mixing property of the SRB measure when conditioned on the map's singularity set. This property appears to be true and is of independent interest. Further study of this conditional mixing property may yield a better picture of linear response theory.


title: Rethinking Bayesian Deep Learning Methods for Semi-Supervised Volumetric Medical Image Segmentation

abstract: Recently, several Bayesian deep learning methods have been proposed for semi-supervised medical image segmentation. Although they have achieved promising results on medical benchmarks, some problems are still existing. Firstly, their overall architectures belong to the discriminative models, and hence, in the early stage of training, they only use labeled data for training, which might make them overfit to the labeled data. Secondly, in fact, they are only partially based on Bayesian deep learning, as their overall architectures are not designed under the Bayesian framework. However, unifying the overall architecture under the Bayesian perspective can make the architecture have a rigorous theoretical basis, so that each part of the architecture can have a clear probabilistic interpretation. Therefore, to solve the problems, we propose a new generative Bayesian deep learning (GBDL) architecture. GBDL belongs to the generative models, whose target is to estimate the joint distribution of input medical volumes and their corresponding labels. Estimating the joint distribution implicitly involves the distribution of data, so both labeled and unlabeled data can be utilized in the early stage of training, which alleviates the potential overfitting problem. Besides, GBDL is completely designed under the Bayesian framework, and thus we give its full Bayesian formulation, which lays a theoretical probabilistic foundation for our architecture. Extensive experiments show that our GBDL outperforms previous state-of-the-art methods in terms of four commonly used evaluation indicators on three public medical datasets.


title: Quantum teleportation with relativistic communication from first principles

abstract: In this work we provide a genuine relativistic quantum teleportation protocol whose classical communication component makes use of relativistic causal propagation of a quantum field. Consequently, the quantum teleportation is fully relativistic by construction. Our scheme is based on Unruh-DeWitt qubit detector model, where the quantum state being teleported is associated to an actual qubit rather than a field mode considered by Alsing and Milburn [PRL 91, 180404 (2003)]. We show that the existing works in (relativistic) quantum information, including good definitions of one-shot and asymptotic channel capacities, as well as algebraic formulation of quantum field theory, already provide us with all the necessary ingredients to construct fundamentally relativistic teleportation protocol in relatively straightforward manner.


title: Extensions on spectral extrema of $C_5/C_6$-free graphs with given size

abstract: Let $\mathcal{F}$ denote a set of graphs. A graph $G$ is said to be $\mathcal{F}$-free if it does not contain any element of $\mathcal{F}$ as a subgraph. The Tur\'an number is the maximum possible number of edges in an $\mathcal{F}$-free graph with $n$ vertices. It is well known that classical Tur\'an type extremal problem aims to study the Tur\'an number of fixed graphs. In 2010, Nikiforov \cite{Nik2} proposed analogously a spectral Tur\'an type problem which asks to determine the maximum spectral radius of an $\mathcal{F}$-free graph with $n$ vertices. It attracts much attention and many such problems remained elusive open even after serious attempts, and so they are considered as one of the most intriguing problems in spectral extremal graph theory. It is interesting to consider another spectral Tur\'an type problem which asks to determine the maximum spectral radius of an $\mathcal{F}$-free graph with $m$ edges. Denote by $\mathcal{G}(m,\mathcal{F})$ the set of $\mathcal{F}$-free graphs with $m$ edges having no isolated vertices. Each of the graphs among $\mathcal{G}(m,\mathcal{F})$ having the largest spectral radius is called a maximal graph. Let $\theta_{p,q,r}$ be a theta graph formed by connecting two distinct vertices with three independent paths of length $p,q$ and $r,$ respectively (length refers to the number of edges). In this paper, we firstly determine the unique maximal graph among $\mathcal{G}(m,\theta_{1,2,3})$ and $\mathcal{G}(m,\theta_{1,2,4}),$ respectively. Then we determine all the maximal graphs among $\mathcal{G}(m,C_5)$ (resp. $\mathcal{G}(m,C_6)$) excluding the book graph. These results extend some earlier results.


title: Field emitter electrostatics: a review with special emphasis on modern high-precision finite-element modelling

abstract: This review of quantitative field emitter electrostatics, covering analytical, numerical and fitted-formula approaches, is thought the first of its kind. The review relates chiefly to situations where emitters operate in an electronically ideal manner, and zero-current electrostatics is applicable. Terminology is carefully described and is polarity independent; thus the review applies to both field electron and field ion emitters. It also applies more generally to charged, pointed electron-conductors that exhibit the "electrostatic lightning-rod effect", but are poorly discussed in general electricity and magnetism literature. Modern electron-conductor electrostatics is an application of the chemical thermodynamics and statistical mechanics of electrons. The review focuses chiefly on the electrostatics of two common basic emitter forms: the needle-shaped emitters used in traditional projection technologies; and the post-shaped emitters often used in modelling large-area multi-emitter electron sources. In the post-on-plane context, we consider in detail both the electrostatics of the single post and the interaction between two identical posts that occurs as a result of electrostatic depolarization (often called "screening" or "shielding"). Core to the review are discussions of the "minimum domain dimensions" method for implementing effective finite-element-method electrostatic simulations, and of the variant that leads to very precise estimates of dimensionless field enhancement factors (error typically less than 0.001 % in situations where analytical comparisons exist). Brief outline discussions, and core references, are given for each of many "related considerations" that are relevant to the electrostatic situations, methods and results described. Many areas of field emitter electrostatics are suggested where further research and/or separate mini-reviews would probably be useful.

categories: cond-mat.mes-hall physics.acc-ph physics.app-ph physics.plasm-ph


title: Longitudinal and Transverse form Factors from $^{65}$Cu and $^{71}$Ga Nuclei

abstract: In the present work, the inelastic electron scattering for longitudinal and transverse form factors of $^{65}$Cu and $^{71}$Ga nuclei lie in the fp-shell region are studied in the framework of the shell model. The calculation is performed in the ($1f_{5/2}$,$2p_{3/2}$,$2p_{1/2}$,$1g_{9/2}$) model space using jun45 effective interaction. The wavefunctions employed to conduct the shell model calculations are extracted from the jun45 effective interaction for these nuclei with the jj44 shell model space and $(Sk35-Skzs^{*})$ residual interaction to evaluate the interactions matrix element between initial and final states. The effective charges used to account for the core-polarization (CP) effect are created using calculations of microscopic perturbations that include intermediate one-particle, one-hole excitation from the core and the model space (MS) orbits into all upper orbits with n$\hbar\omega$ excitations following the same approach done in [Ref.20]. To account for the (CP) effects contribution, the inelastic form factor is obtained by employing the shape of Tassie and Bohr-Mottelson models with appropriate proton and neutron effective charges. The calculated form factors were compared with available experimental data.


title: GMM based multi-stage Wiener filtering for low SNR speech enhancement

abstract: This paper proposes a single-channel speech enhancement method to reduce the noise and enhance speech at low signal-to-noise ratio (SNR) levels and non-stationary noise conditions. Specifically, we focus on modeling the noise using a Gaussian mixture model (GMM) based on a multi-stage process with a parametric Wiener filter. The proposed noise model estimates a more accurate noise power spectral density (PSD), and allows for better generalization under various noise conditions compared to traditional Wiener filtering methods. Simulations show that the proposed approach can achieve better performance in terms of speech quality (PESQ) and intelligibility (STOI) at low SNR levels.


title: Enforcing continuous symmetries in physics-informed neural network for solving forward and inverse problems of partial differential equations

abstract: As a typical application of deep learning, physics-informed neural network (PINN) {has been} successfully used to find numerical solutions of partial differential equations (PDEs), but how to improve the limited accuracy is still a great challenge for PINN. In this work, we introduce a new method, symmetry-enhanced physics informed neural network (SPINN) where the invariant surface conditions induced by the Lie symmetries or non-classical symmetries of PDEs are embedded into the loss function in PINN, to improve the accuracy of PINN for solving the forward and inverse problems of PDEs. We test the effectiveness of SPINN for the forward problem via two groups of ten independent numerical experiments using different numbers of collocation points and neurons for the heat equation, Korteweg-de Vries (KdV) equation and potential Burgers {equations} respectively, and for the inverse problem by considering different layers and neurons as well as different training points for the Burgers equation in potential form. The numerical results show that SPINN performs better than PINN with fewer training points and simpler architecture of neural network. Furthermore, we discuss the computational overhead of SPINN in terms of the relative computational cost to PINN and show that the training time of SPINN has no obvious increases, even less than PINN for certain cases.


title: Optimal data-driven hiring with equity for underrepresented groups

abstract: We present a data-driven prescriptive framework for fair decisions, motivated by hiring. An employer evaluates a set of applicants based on their observable attributes. The goal is to hire the best candidates while avoiding bias with regard to a certain protected attribute. Simply ignoring the protected attribute will not eliminate bias due to correlations in the data. We present a hiring policy that depends on the protected attribute functionally, but not statistically, and we prove that, among all possible fair policies, ours is optimal with respect to the firm's objective. We test our approach on both synthetic and real data, and find that it shows great practical potential to improve equity for underrepresented and historically marginalized groups.


title: Low-temperature asymptotics for transverse autocorrelator of the magnetically polarized Ising chain studied by ordinary and nested Dyson equations

abstract: Suggesting two versions for the Plakida-Tserkovnikov algorithm breakdown in the low-temperature regime, we derive ordinary and nested Dyson equations for the transverse autocorrelator of the magnetically polarized Ising chain. Using them we get the corresponding low-temperature asymptotics for the autocorrelator. We show that the ordinary Dyson equation results in a correct $o({\rm e}^{-\beta E_{gap}})$ account of the magnon creation process, while the nested Dyson equation additionally gives the correct $o({\rm e}^{-\beta E_{gap}})$ contribution associated with transitions from magnons to bound two-magnon states. The obtained result may be useful for the extension of the suggested approach on the polarized $XXZ$-chain.


title: Delay-aware Multiple Access Design for Intelligent Reflecting Surface Aided Uplink Transmission

abstract: In this paper, we develop a hybrid multiple access (MA) protocol for an intelligent reflecting surface (IRS) aided uplink transmission network by incorporating the IRS-aided time-division MA (I-TDMA) protocol and the IRS-aided non-orthogonal MA (I-NOMA) protocol as special cases. Two typical communication scenarios, namely the transmit power limited case and the transmit energy limited case are considered, where the device's rearranged order, time and power allocation, as well as dynamic IRS beamforming patterns over time are jointly optimized to minimize the sum transmission delay. To shed light on the superiority of the proposed IRS-aided hybrid MA (I-HMA) protocol over conventional protocols, the conditions under which I-HMA outperforms I-TDMA and I-NOMA are revealed by characterizing their corresponding optimal solution. Then, a computationally efficient algorithm is proposed to obtain the high-quality solution to the corresponding optimization problems. Simulation results validate our theoretical findings, demonstrate the superiority of the proposed design, and draw some useful insights. Specifically, it is found that the proposed protocol can significantly reduce the sum transmission delay by combining the additional gain of dynamic IRS beamforming with the high spectral efficiency of NOMA, which thus reveals that integrating IRS into the proposed HMA protocol is an effective solution for delay-aware optimization. Furthermore, it reveals that the proposed design reduces the time consumption not only from the system-centric view, but also from the device-centric view.


title: The Framework For The Discipline Of Software Engineering in Connection to Information Technology Discipline

abstract: This paper represents preliminary work in identifying the foundation for the discipline of Software Engineering and discovering the links between the domains of Software Engineering and Information Technology (IT). Our research utilized IEEE Transactions on Software Engineering (IEEE-TSE), ACM Transactions on Software Engineering and Methodology (ACM-TOSEM), Automated Software Engineering (ASE), the International Conference on Software Engineering(ICSE), and other related journal publication in the software engineering domain to address our research questions. We explored existing frameworks and described the need for software engineering as an academic discipline. We went further to clarify the distinction difference between Software Engineering and Computer Science. Through this efforts we contribute to an understanding of how evidence from IT research can be used to improve Software Engineering as a discipline.


title: Combining acoustic bioprinting with AI-assisted Raman spectroscopy for high-throughput identification of bacteria in blood

abstract: Identifying pathogens in complex samples such as blood, urine, and wastewater is critical to detect infection and inform optimal treatment. Surface-enhanced Raman spectroscopy (SERS) and machine learning (ML) can distinguish among multiple pathogen species, but processing complex fluid samples to sensitively and specifically detect pathogens remains an outstanding challenge. Here, we develop an acoustic bioprinter to digitize samples into millions of droplets, each containing just a few cells, which are identified with SERS and ML. We demonstrate rapid printing of 2 pL droplets from solutions containing S. epidermidis, E. coli, and blood; when mixed with gold nanorods (GNRs), SERS enhancements of up to 1500x are achieved.We then train a ML model and achieve >=99% classification accuracy from cellularly-pure samples, and >=87% accuracy from cellularly-mixed samples. We also obtain >=90% accuracy from droplets with pathogen:blood cell ratios <1. Our combined bioprinting and SERS platform could accelerate rapid, sensitive pathogen detection in clinical, environmental, and industrial settings.


title: Adversarial Scrutiny of Evidentiary Statistical Software

abstract: The U.S. criminal legal system increasingly relies on software output to convict and incarcerate people. In a large number of cases each year, the government makes these consequential decisions based on evidence from statistical software -- such as probabilistic genotyping, environmental audio detection, and toolmark analysis tools -- that defense counsel cannot fully cross-examine or scrutinize. This undermines the commitments of the adversarial criminal legal system, which relies on the defense's ability to probe and test the prosecution's case to safeguard individual rights. Responding to this need to adversarially scrutinize output from such software, we propose robust adversarial testing as an audit framework to examine the validity of evidentiary statistical software. We define and operationalize this notion of robust adversarial testing for defense use by drawing on a large body of recent work in robust machine learning and algorithmic fairness. We demonstrate how this framework both standardizes the process for scrutinizing such tools and empowers defense lawyers to examine their validity for instances most relevant to the case at hand. We further discuss existing structural and institutional challenges within the U.S. criminal legal system that may create barriers for implementing this and other such audit frameworks and close with a discussion on policy changes that could help address these concerns.


title: The Gender Pay Gap in China: Insights from a Discrimination Perspective

abstract: Equal pay is an essential component of gender equality, one of the Sustainable Development Goals of the United Nations. Using resume data of over ten million Chinese online job seekers in 2015, we study the current gender pay gap in China. The results show that on average women only earned 71.57\% of what men earned in China. The gender pay gap exists across all age groups and educational levels. Contrary to the commonly held view that developments in education, economy, and a more open culture would reduce the gender pay gap, the fusion analysis of resume data and socio-economic data presents that they have not helped reach the gender pay equality in China. China seems to be stuck in a place where traditional methods cannot make further progress. Our analysis further shows that 81.47\% of the variance in the gender pay gap can be potentially attributed to discrimination. In particular, compared with the unmarried, both the gender pay gap itself and proportion potentially attributed to discrimination of the married are larger, indicating that married women suffer greater inequality and more discrimination than unmarried ones. Taken together, we suggest that more research attention should be paid to the effect of discrimination in understanding gender pay gap based on the family constraint theory. We also suggest the Chinese government to increase investment in family-supportive policies and grants in addition to female education.


title: Robust ab initio prediction of nuclear electric quadrupole observables by scaling to the charge radius

abstract: Meaningful predictions for electric quadrupole (E2) observables from ab initio nuclear theory are necessary, if the ab initio description of collective correlations is to be confronted with experiment, as well as to provide predictive power for unknown E2 observables. However, converged results for E2 observables are notoriously challenging to obtain in ab initio no-core configuration interaction (NCCI) approaches. Matrix elements of the E2 operator are sensitive to the large-distance tails of the nuclear wave function, which converge slowly in an oscillator basis expansion. Similar convergence challenges beset ab initio prediction of the nuclear charge radius. We demonstrate that the convergence patterns of the E2 and radius observables are strongly correlated, and that meaningful predictions for the absolute scale of E2 observables may be made by calibrating to the experimentally-known ground-state charge radius. We illustrate by providing robust ab initio predictions for several E2 transition strengths and quadrupole moments in p-shell nuclei, in cases where experimental results are available for comparison.


title: Studying triangle singularity through spin observables

abstract: In this work, we study the spin density matrix element $\rho_{00}$ of the $\phi$ in the decay $J/\psi \rightarrow \eta \pi \phi$. In previous studies, a band around 1.4 GeV on the $\pi^0\phi$ distribution in Dalitz plot was reported by the BESIII Collaboration. This structure may be caused by the production of a resonance or the triangle singularity mechanism. We find that the predictions of the spin density matrix elements of the final $\phi$ based on these mechanisms show distinct features. Thus the measurement of the spin density matrix elements of the $\phi$ in this reaction may offer an alternative way to study the triangle singularity and to clarify the reaction mechanisms, i.e. resonance production or kinematic effects. This work also shows the potential of spin observables in studying kinematic singularities.