title: CoLI-Machine Learning Approaches for Code-mixed Language Identification at the Word Level in Kannada-English Texts

abstract: The task of automatically identifying a language used in a given text is called Language Identification (LI). India is a multilingual country and many Indians especially youths are comfortable with Hindi and English, in addition to their local languages. Hence, they often use more than one language to post their comments on social media. Texts containing more than one language are called "code-mixed texts" and are a good source of input for LI. Languages in these texts may be mixed at sentence level, word level or even at sub-word level. LI at word level is a sequence labeling problem where each and every word in a sentence is tagged with one of the languages in the predefined set of languages. In order to address word level LI in code-mixed Kannada-English (Kn-En) texts, this work presents i) the construction of code-mixed Kn-En dataset called CoLI-Kenglish dataset, ii) code-mixed Kn-En embedding and iii) learning models using Machine Learning (ML), Deep Learning (DL) and Transfer Learning (TL) approaches. Code-mixed Kn-En texts are extracted from Kannada YouTube video comments to construct CoLI-Kenglish dataset and code-mixed Kn-En embedding. The words in CoLI-Kenglish dataset are grouped into six major categories, namely, "Kannada", "English", "Mixed-language", "Name", "Location" and "Other". The learning models, namely, CoLI-vectors and CoLI-ngrams based on ML, CoLI-BiLSTM based on DL and CoLI-ULMFiT based on TL approaches are built and evaluated using CoLI-Kenglish dataset. The performances of the learning models illustrated, the superiority of CoLI-ngrams model, compared to other models with a macro average F1-score of 0.64. However, the results of all the learning models were quite competitive with each other.


title: Fully Digital Second-order Level-crossing Sampling ADC for Data Saving in Sensing Sparse Signals

abstract: This paper presents a fully integrated second-order level-crossing sampling data converter for real-time data compression and feature extraction. Compared with level-sampling ADCs which sample at fixed voltage levels, the proposed circuits updates tracking thresholds using linear extrapolation, which forms a second-order level-crossing sampling ADC that has sloped sampling levels. The computing is done digitally and is implemented by modifying the digital control logic of a conventional SAR ADC. The system selects only the turning points in the input waveform for quantization. The output of the proposed data converter consists of both the digital value of the selected sampling points and the timestamp between the selected sampling points. The main advantages are data savings and power savings for the data converter and the following digital signal processing or communication circuits, which are ideal for low-power sensors. The test chip was fabricated using a 180nm CMOS process. The proposed ADC saves 30% compared to a conventional SAR ADC and achieves a compression factor of 6.17 for tracking ECG signals.


title: Discrete Absorption Components from 3-D spot models of hot star winds

abstract: The winds of hot, massive stars are variable from processes happening on both large and small spatial scales. A particular case of such wind variability is 'discrete-absorption components' (DACs) that manifest themselves as outward moving density features in UV resonance line spectra. Such DACs are believed to be caused by large-scale spiral-shaped density structures in the stellar wind. We consider novel 3-D radiation-hydrodynamic models of rotating hot star winds and study the emergence of co-rotating spiral structures due to a local (pseudo-)magnetic spot on the stellar surface. Subsequently, the hydrodynamic models are used to retrieve DAC spectral signatures in synthetic UV spectra created from a 3-D short characteristics radiative transfer code.


title: Aspects of the phenomenology of interference that are genuinely nonclassical

abstract: Interference phenomena are often claimed to resist classical explanation. However, such claims are undermined by the fact that the specific aspects of the phenomenology upon which they are based can in fact be reproduced in a noncontextual ontological model [Catani et al., Quantum 7, 1119 (2023)]. This raises the question of what other aspects of the phenomenology of interference do in fact resist classical explanation. We answer this question by demonstrating that the most basic quantum wave-particle duality relation, which expresses the precise tradeoff between path distinguishability and fringe visibility, cannot be reproduced in any noncontextual model. We do this by showing that it is a specific type of uncertainty relation and then leveraging a recent result establishing that noncontextuality restricts the functional form of this uncertainty relation [Catani et al., Phys. Rev. Lett. 129, 240401 (2022)]. Finally, we discuss what sorts of interferometric experiment can demonstrate contextuality via the wave-particle duality relation.


title: Unstable Mass Transfer from a Main-Sequence Star to a Supermassive Black Hole and Quasi-Periodic Eruptions

abstract: We discuss the formation and evolution of systems comprised of a low-mass ($M_\star \lesssim 4 \, \rm M_\odot$) main sequence star, orbiting a $10^5-10^7 \, \rm M_\odot$ supermassive black hole with an orbital period of order $\sim$hours, and a mild eccentricity ($e\approx0.1-0.2$), episodically shedding mass at each pericenter passage. We argue that the resulting mass transfer is likely unstable, with Roche lobe overflow initially driven by gravitational wave emission, but then being accelerated by the star's expansion in response to its mass loss, undergoing a runaway process. We show that such systems are naturally produced by two-body gravitational encounters within the inner parsec of a galaxy, followed by gravitational wave circularization and inspiral from initially highly eccentric orbits. We argue that such systems can produce recurring flares similar to the recently identified class of X-ray transients known as Quasi-Periodic Eruptions, observed at the centers of a few distant galaxies.


title: Recovering Phosphine in Venus' Atmosphere from SOFIA Observations

abstract: Searches for phosphine in Venus' atmosphere have sparked a debate. Cordiner et al. 2022 analyse spectra from the Stratospheric Observatory For Infrared Astronomy (SOFIA) and infer <0.8 ppb of PH3. We noticed that some spectral artefacts arose from non-essential calibration-load signals. By-passing these signals allows simpler post-processing and a 5.7{\sigma} candidate detection, suggesting approx. 3 ppb of PH3 above the clouds. Compiling six phosphine results hints at an inverted abundance trend: decreasing above the clouds but rising again in the mesosphere from some unexplained source. However, no such extra source is needed if phosphine is undergoing destruction by sunlight (photolysis), to a similar degree as on Earth. Low phosphine values/limits are found where the viewed part of the super-rotating Venusian atmosphere had passed through sunlight, while high values are from views moving into sunlight. We suggest Venusian phosphine is indeed present, and so merits further work on models of its origins.


title: Perspectives on Novel Refractory Amorphous High-Entropy Alloys in Extreme Environments

abstract: Two new refractory amorphous high-entropy alloys (RAHEAs) within the W--Ta--Cr--V and W--Ta--Cr--V--Hf systems were herein synthesized using magnetron-sputtering and tested under high-temperature annealing and displacing irradiation using \textit{in situ} Transmission Electron Microscopy. While the WTaCrV RAHEA was found to be unstable under such tests, additions of Hf in this system composing a new quinary WTaCrVHf RAHEA was found to be a route to achieve stability both under annealing and irradiation. A new effect of nanoprecipitate reassembling observed to take place within the WTaCrVHf RAHEA under irradiation indicates that a duplex microstructure composed of an amorphous matrix with crystalline nanometer-sized precipitates enhances the radiation response of the system. It is demonstrated that tunable chemical complexity arises as a new alloy design strategy to foster the use of novel RAHEAs within extreme environments. New perspectives for the alloy design and application of chemically-complex amorphous metallic alloys in extreme environments are presented with focus on their thermodynamic phase stability when subjected to high-temperature annealing and displacing irradiation.


title: An Iterative Method to Learn a Linear Control Barrier Function

abstract: Control barrier function (CBF) has recently started to serve as a basis to develop approaches for enforcing safety requirements in control systems. However, constructing such function for a general system is a non-trivial task. This paper proposes an iterative, optimization-based framework to obtain a CBF from a given user-specified set for a general control affine system. Without losing generality, we parameterize the CBF as a set of linear functions of states. By taking samples from the given user-specified set, we reformulate the problem of learning a CBF into an optimization problem that solves for linear function coefficients. The resulting linear functions construct the CBF and yield a safe set which has forward invariance property. In addition, the proposed framework explicitly addresses control input constraints during the construction of CBFs. Effectiveness of the proposed method is demonstrated by learning a CBF for an nonlinear Moore Greitzer jet engine, where the system trajectory is prevented from entering unsafe set.


title: ProtSi: Prototypical Siamese Network with Data Augmentation for Few-Shot Subjective Answer Evaluation

abstract: Subjective answer evaluation is a time-consuming and tedious task, and the quality of the evaluation is heavily influenced by a variety of subjective personal characteristics. Instead, machine evaluation can effectively assist educators in saving time while also ensuring that evaluations are fair and realistic. However, most existing methods using regular machine learning and natural language processing techniques are generally hampered by a lack of annotated answers and poor model interpretability, making them unsuitable for real-world use. To solve these challenges, we propose ProtSi Network, a unique semi-supervised architecture that for the first time uses few-shot learning to subjective answer evaluation. To evaluate students' answers by similarity prototypes, ProtSi Network simulates the natural process of evaluator scoring answers by combining Siamese Network which consists of BERT and encoder layers with Prototypical Network. We employed an unsupervised diverse paraphrasing model ProtAugment, in order to prevent overfitting for effective few-shot text classification. By integrating contrastive learning, the discriminative text issue can be mitigated. Experiments on the Kaggle Short Scoring Dataset demonstrate that the ProtSi Network outperforms the most recent baseline models in terms of accuracy and quadratic weighted kappa.


title: Machine Learning-Assisted Recurrence Prediction for Early-Stage Non-Small-Cell Lung Cancer Patients

abstract: Background: Stratifying cancer patients according to risk of relapse can personalize their care. In this work, we provide an answer to the following research question: How to utilize machine learning to estimate probability of relapse in early-stage non-small-cell lung cancer patients? Methods: For predicting relapse in 1,387 early-stage (I-II), non-small-cell lung cancer (NSCLC) patients from the Spanish Lung Cancer Group data (65.7 average age, 24.8% females, 75.2% males) we train tabular and graph machine learning models. We generate automatic explanations for the predictions of such models. For models trained on tabular data, we adopt SHAP local explanations to gauge how each patient feature contributes to the predicted outcome. We explain graph machine learning predictions with an example-based method that highlights influential past patients. Results: Machine learning models trained on tabular data exhibit a 76% accuracy for the Random Forest model at predicting relapse evaluated with a 10-fold cross-validation (model was trained 10 times with different independent sets of patients in test, train and validation sets, the reported metrics are averaged over these 10 test sets). Graph machine learning reaches 68% accuracy over a 200-patient, held-out test set, calibrated on a held-out set of 100 patients. Conclusions: Our results show that machine learning models trained on tabular and graph data can enable objective, personalised and reproducible prediction of relapse and therefore, disease outcome in patients with early-stage NSCLC. With further prospective and multisite validation, and additional radiological and molecular data, this prognostic model could potentially serve as a predictive decision support tool for deciding the use of adjuvant treatments in early-stage lung cancer. Keywords: Non-Small-Cell Lung Cancer, Tumor Recurrence Prediction, Machine Learning


title: Balanced homogeneous harmonic maps between cones

abstract: We study the degrees of homogeneous harmonic maps between simplicial cones. Such maps have been used to model the local behavior of harmonic maps between singular spaces, where the degrees of homogeneous approximations describe the regularity of harmonic maps. In particular the degrees of homogeneous harmonic maps are related to eigenvalues of discrete normalized graph Laplacians.


title: Robust Vocal Quality Feature Embeddings for Dysphonic Voice Detection

abstract: Approximately 1.2% of the world's population has impaired voice production. As a result, automatic dysphonic voice detection has attracted considerable academic and clinical interest. However, existing methods for automated voice assessment often fail to generalize outside the training conditions or to other related applications. In this paper, we propose a deep learning framework for generating acoustic feature embeddings sensitive to vocal quality and robust across different corpora. A contrastive loss is combined with a classification loss to train our deep learning model jointly. Data warping methods are used on input voice samples to improve the robustness of our method. Empirical results demonstrate that our method not only achieves high in-corpus and cross-corpus classification accuracy but also generates good embeddings sensitive to voice quality and robust across different corpora. We also compare our results against three baseline methods on clean and three variations of deteriorated in-corpus and cross-corpus datasets and demonstrate that the proposed model consistently outperforms the baseline methods.


title: Data-Centric Debugging: mitigating model failures via targeted data collection

abstract: Deep neural networks can be unreliable in the real world when the training set does not adequately cover all the settings where they are deployed. Focusing on image classification, we consider the setting where we have an error distribution $\mathcal{E}$ representing a deployment scenario where the model fails. We have access to a small set of samples $\mathcal{E}_{sample}$ from $\mathcal{E}$ and it can be expensive to obtain additional samples. In the traditional model development framework, mitigating failures of the model in $\mathcal{E}$ can be challenging and is often done in an ad hoc manner. In this paper, we propose a general methodology for model debugging that can systemically improve model performance on $\mathcal{E}$ while maintaining its performance on the original test set. Our key assumption is that we have access to a large pool of weakly (noisily) labeled data $\mathcal{F}$. However, naively adding $\mathcal{F}$ to the training would hurt model performance due to the large extent of label noise. Our Data-Centric Debugging (DCD) framework carefully creates a debug-train set by selecting images from $\mathcal{F}$ that are perceptually similar to the images in $\mathcal{E}_{sample}$. To do this, we use the $\ell_2$ distance in the feature space (penultimate layer activations) of various models including ResNet, Robust ResNet and DINO where we observe DINO ViTs are significantly better at discovering similar images compared to Resnets. Compared to LPIPS, we find that our method reduces compute and storage requirements by 99.58\%. Compared to the baselines that maintain model performance on the test set, we achieve significantly (+9.45\%) improved results on the debug-heldout sets.


title: Automated Quantum Memory Compilation with Improved Dynamic Range

abstract: Emerging quantum algorithms that process data require that classical input data be represented as a quantum state. These data-processing algorithms often follow the gate model of quantum computing--which requires qubits to be initialized to a basis state, typically $\lvert 0 \rangle$--and thus often employ state generation circuits to transform the initialized basis state to a data-representation state. There are many ways to encode classical data in a qubit, and the oft-applied approach of basis encoding does not allow optimization to the extent that other variants do. In this work, we thus consider automatic synthesis of addressable, quantum read-only memory (QROM) circuits, which act as data-encoding state-generation circuits. We investigate three data encoding approaches, one of which we introduce to provide improved dynamic range and precision. We present experimental results that compare these encoding methods for QROM synthesis to better understand the implications of and applications for each.


title: Self-Supervised Visual Representation Learning via Residual Momentum

abstract: Self-supervised learning (SSL) approaches have shown promising capabilities in learning the representation from unlabeled data. Amongst them, momentum-based frameworks have attracted significant attention. Despite being a great success, these momentum-based SSL frameworks suffer from a large gap in representation between the online encoder (student) and the momentum encoder (teacher), which hinders performance on downstream tasks. This paper is the first to investigate and identify this invisible gap as a bottleneck that has been overlooked in the existing SSL frameworks, potentially preventing the models from learning good representation. To solve this problem, we propose "residual momentum" to directly reduce this gap to encourage the student to learn the representation as close to that of the teacher as possible, narrow the performance gap with the teacher, and significantly improve the existing SSL. Our method is straightforward, easy to implement, and can be easily plugged into other SSL frameworks. Extensive experimental results on numerous benchmark datasets and diverse network architectures have demonstrated the effectiveness of our method over the state-of-the-art contrastive learning baselines.


title: Knowledge distillation for fast and accurate DNA sequence correction

abstract: Accurate genome sequencing can improve our understanding of biology and the genetic basis of disease. The standard approach for generating DNA sequences from PacBio instruments relies on HMM-based models. Here, we introduce Distilled DeepConsensus - a distilled transformer-encoder model for sequence correction, which improves upon the HMM-based methods with runtime constraints in mind. Distilled DeepConsensus is 1.3x faster and 1.5x smaller than its larger counterpart while improving the yield of high quality reads (Q30) over the HMM-based method by 1.69x (vs. 1.73x for larger model). With improved accuracy of genomic sequences, Distilled DeepConsensus improves downstream applications of genomic sequence analysis such as reducing variant calling errors by 39% (34% for larger model) and improving genome assembly quality by 3.8% (4.2% for larger model). We show that the representations learned by Distilled DeepConsensus are similar between faster and slower models.


title: Muon $g-2$ in a 2HDM assisted by inert scalars: probing at the ILC

abstract: A Two-Higgs doublet model (2HDM) can predict the observed muon $g-2$ for an appropriately light pseudoscalar that now faces tight constraints. However, It was shown in past that augmenting the 2HDM by an additional inert doublet can lead to an explanation to the muon $g-2$ anomaly for a much heavier pseudoscalar. In this study, we probe such a framework at the proposed International Linear Collider (ILC) using beam polarization for $\sqrt{s}$ = 1 TeV. Using multivariate techniques, we analyse the signals $e^+ e^- \rightarrow \tau^+ \tau^- +$ missing transverse energy and $e^+ e^- \rightarrow \mu^+ \mu^- + $ missing transverse energy in the lepton- and muon-specific versions of the framework respectively. Our analysis reveals that the $e^+ e^-$ machine operating at a 3000 fb$^{-1}$ luminosity predicts a 5$\sigma$ discovery of a pseudoscalar as heavy as 400 GeV. Comparing with the previous study, it is concluded that the ILC is a much more potent machine than the LHC in this regard.


title: SafeBound: A Practical System for Generating Cardinality Bounds

abstract: Recent work has reemphasized the importance of cardinality estimates for query optimization. While new techniques have continuously improved in accuracy over time, they still generally allow for under-estimates which often lead optimizers to make overly optimistic decisions. This can be very costly for expensive queries. An alternative approach to estimation is cardinality bounding, also called pessimistic cardinality estimation, where the cardinality estimator provides guaranteed upper bounds of the true cardinality. By never underestimating, this approach allows the optimizer to avoid potentially inefficient plans. However, existing pessimistic cardinality estimators are not yet practical: they use very limited statistics on the data, and cannot handle predicates. In this paper, we introduce SafeBound, the first practical system for generating cardinality bounds. SafeBound builds on a recent theoretical work that uses degree sequences on join attributes to compute cardinality bounds, extends this framework with predicates, introduces a practical compression method for the degree sequences, and implements an efficient inference algorithm. Across four workloads, SafeBound achieves up to 80% lower end-to-end runtimes than PostgreSQL, and is on par or better than state of the art ML-based estimators and pessimistic cardinality estimators, by improving the runtime of the expensive queries. It also saves up to 500x in query planning time, and uses up to 6.8x less space compared to state of the art cardinality estimation methods.


title: Gender Bias in Big Data Analysis

abstract: This article combines humanistic "data critique" with informed inspection of big data analysis. It measures gender bias when gender prediction software tools (Gender API, Namsor, and Genderize.io) are used in historical big data research. Gender bias is measured by contrasting personally identified computer science authors in the well-regarded DBLP dataset (1950-1980) with exactly comparable results from the software tools. Implications for public understanding of gender bias in computing and the nature of the computing profession are outlined. Preliminary assessment of the Semantic Scholar dataset is presented. The conclusion combines humanistic approaches with selective use of big data methods.


title: Fast Uncertainty Estimates in Deep Learning Interatomic Potentials

abstract: Deep learning has emerged as a promising paradigm to give access to highly accurate predictions of molecular and materials properties. A common short-coming shared by current approaches, however, is that neural networks only give point estimates of their predictions and do not come with predictive uncertainties associated with these estimates. Existing uncertainty quantification efforts have primarily leveraged the standard deviation of predictions across an ensemble of independently trained neural networks. This incurs a large computational overhead in both training and prediction that often results in order-of-magnitude more expensive predictions. Here, we propose a method to estimate the predictive uncertainty based on a single neural network without the need for an ensemble. This allows us to obtain uncertainty estimates with virtually no additional computational overhead over standard training and inference. We demonstrate that the quality of the uncertainty estimates matches those obtained from deep ensembles. We further examine the uncertainty estimates of our methods and deep ensembles across the configuration space of our test system and compare the uncertainties to the potential energy surface. Finally, we study the efficacy of the method in an active learning setting and find the results to match an ensemble-based strategy at order-of-magnitude reduced computational cost.

categories: physics.comp-ph cond-mat.mtrl-sci cs.LG physics.chem-ph


title: Response to `Comment on "Quantum correlations are weaved by the spinors of the Euclidean primitives"'

abstract: In this paper I respond to a critique of one of my papers previously published in the Royal Society Open Science entitled "Quantum correlations are weaved by the spinors of the Euclidean primitives." Without engaging with the geometrical framework presented in my paper, the critique incorrectly claims that there are mathematical errors in it. I demonstrate that the critique is based on a series of misunderstandings, and refute each of its claims of error. I also bring out a number of logical, mathematical, and conceptual errors from the critique and the critiques it relies on.


title: Gradient $\rho$-Einstein Solitons and Applications

abstract: In this paper, we mainly study gradient $\rho$-Einstein solitons on doubly warped product manifolds. More explicitly, we obtain necessary and sufficient conditions for a doubly warped product manifold to be a gradient $\rho$-Einstein soliton. We also apply our main result to warped product spacetime models such as generalized Robertson-Walker and standard static spacetimes as well as 3-dimensional Walker manifolds. We finally establish that there is no 3-dimensional esentially conformally symmetric gradient $\rho$-Einstein soliton.


title: RenderDiffusion: Image Diffusion for 3D Reconstruction, Inpainting and Generation

abstract: Diffusion models currently achieve state-of-the-art performance for both conditional and unconditional image generation. However, so far, image diffusion models do not support tasks required for 3D understanding, such as view-consistent 3D generation or single-view object reconstruction. In this paper, we present RenderDiffusion, the first diffusion model for 3D generation and inference, trained using only monocular 2D supervision. Central to our method is a novel image denoising architecture that generates and renders an intermediate three-dimensional representation of a scene in each denoising step. This enforces a strong inductive structure within the diffusion process, providing a 3D consistent representation while only requiring 2D supervision. The resulting 3D representation can be rendered from any view. We evaluate RenderDiffusion on FFHQ, AFHQ, ShapeNet and CLEVR datasets, showing competitive performance for generation of 3D scenes and inference of 3D scenes from 2D images. Additionally, our diffusion-based approach allows us to use 2D inpainting to edit 3D scenes.


title: The Graph Density Domination Exponent

abstract: For graphs $G$ and $H$, what relations can be determined between $t(G,W)$ and $t(H,W)$ for a general graph $W$? We study this problem through the framework of the density domination exponent, which is defined to be the smallest constant $c$ such that $t(G,W)\ge t(H,W)^c$ for every graph $W$. This broad generalization encompasses the Sidorenko conjecture, the Erd\H{o}s-Simonovits Theorem on paths, and a variety of other statements relating graph homomorphism densities. We introduce some general tools for estimating the density domination exponent, and extend previous results to new graph regimes.


title: Conservation of energy and momentum for an electromagnetic field propagating into a linear medium from the vacuum

abstract: The form of the energy-momentum tensor when a quasimonochromatic field propagates into and through an antireflection-coated, sourceless, transparent, continuous, linear magneto-dielectric medium, initially at rest in the local frame, remains controversial. The Minkowski energy-momentum tensor is the main component of the electromagnetic conservation law. It has been known for over a century that the electromagnetic conservation law is unsound as evidenced by alternative energy-momentum tensors that have been proposed to ameliorate known physical deficiencies (violation of conservation of angular and linear momentum) and by the various material energy-momentum tensors and coupling forces that have been introduced to repair or complete the law. The extant resolution is to treat the continuum electromagnetic system as a subsystem and add a phenomenological material subsystem energy-momentum tensor. We show that the four-divergence of the total, electromagnetic plus material, energy-momentum tensor produces an energy continuity theorem in which the two non-zero terms depend on different powers of the refractive index $n$. Then the extant resolution of the Abraham-Minkowski controversy is self-inconsistent.


title: Invasion of optimal social contracts

abstract: The Stag-hunt game is a prototype for social contracts. Adopting a new and better social contract is usually challenging because the current one is already widely adopted and stable due to deviants' sanctions. Thus, how does a population shift from the current social contract to a better one? In other words, how can a social system leave a local social optimum configuration to achieve an optimum global state? Here, we investigate the effect of promoting diversity on the evolution of social contracts. We considered group-structured populations where individuals play the Stag-hunt game in all groups. We model the diversity incentive as a Snow-drift game played in a single focus group where the individual is more prone to adopt a deviant norm. We show that moderate diversity incentives can change the system dynamics, leading the whole population to move from the locally optimal social normal to the globally optimal one. Thus, an initial fraction of adopters of the new norm can drive the system toward the new social optimum norm. After the new social contract becomes the new equilibrium, it remains stable even without the incentive. The results are obtained using Monte Carlo simulations and analytical approximation methods.


title: Randomised subspace methods for non-convex optimization, with applications to nonlinear least-squares

abstract: We propose a general random subspace framework for unconstrained nonconvex optimization problems that requires a weak probabilistic assumption on the subspace gradient, which we show to be satisfied by various random matrix ensembles, such as Gaussian and sparse sketching, using Johnson-Lindenstrauss embedding properties. We show that, when safeguarded with trust region or quadratic regularization, this random subspace approach satisfies, with high probability, a complexity bound of order $\mathcal{O}(\epsilon^{-2})$ to drive the (full) gradient below $\epsilon$; matching in the accuracy order, deterministic counterparts of these methods and securing almost sure convergence. Furthermore, no problem dimension dependence appears explicitly in the projection size of the sketching matrix, allowing the choice of low-dimensional subspaces. We particularise this framework to Random Subspace Gauss-Newton (RS-GN) methods for nonlinear least squares problems, that only require the calculation of the Jacobian in the subspace; with similar complexity guarantees. Numerical experiments with RS-GN on CUTEst nonlinear least squares are also presented, with some encouraging results.


title: Certified Severi dimensions for hyperelliptic and supersymmetric cusps

abstract: In a previous paper, the first three authors formulated a precise conjecture about the dimension of the {\it generalized Severi variety} $M^n_{d,g; {\rm S}, {\bf k}}$ of degree-$d$ holomorphic maps $\mathbb{P}^1 \rightarrow \mathbb{P}^n$ whose images' singularities are singleton cusps with value semigroups ${\rm S}$ and ramification profiles ${\bf k}$. In this paper, we prove that an adjusted form of the conjecture holds for generic profiles ${\bf k}$ associated with two distinguished (infinite) classes of semigroups ${\rm S}$.


title: Mixture of Experts Distributional Regression: Implementation Using Robust Estimation with Adaptive First-order Methods

abstract: In this work, we propose an efficient implementation of mixtures of experts distributional regression models which exploits robust estimation by using stochastic first-order optimization techniques with adaptive learning rate schedulers. We take advantage of the flexibility and scalability of neural network software and implement the proposed framework in mixdistreg, an R software package that allows for the definition of mixtures of many different families, estimation in high-dimensional and large sample size settings and robust optimization based on TensorFlow. Numerical experiments with simulated and real-world data applications show that optimization is as reliable as estimation via classical approaches in many different settings and that results may be obtained for complicated scenarios where classical approaches consistently fail.


title: Unipotent Subgroups of Stabilizers

abstract: We consider semi-continuity of certain dimensions on group schemes.


title: Near-field structures on a given scalar group

abstract: With this paper, we gain a better understanding of the set of near-field structures on a fixed scalar group. If we were able to describe all near-field structures on a fixed scalar group, we could describe all near-vector spaces. The near-field structures induced by isomorphisms of canonical near-vector spaces differ by quasi-multiplicative bijections while those induced by isomorphisms of near-fields differ by multiplicative bijections. This reveals one of the fundamental differences between linear algebra and near-linear algebra. We find an explicit description of all the elementary near-vector spaces. Significantly, we construct an addition $\boxplus$ on $\mathbb{Q}$ such that $(\mathbb{Q},\boxplus, \cdot)$ is isomorphic to $(\mathbb{Q}(\sqrt{-19}),+, \cdot)$. We also describe explicitly sufficient conditions for such an isomorphism to exist for more general extensions of $\mathbb{Q}$. Moreover, under extra conditions, we still describe those structures on $(\mathbb{R}, \cdot)$, and $(\mathbb{C}, \cdot)$.


title: Reducing Hallucinations in Neural Machine Translation with Feature Attribution

abstract: Neural conditional language generation models achieve the state-of-the-art in Neural Machine Translation (NMT) but are highly dependent on the quality of parallel training dataset. When trained on low-quality datasets, these models are prone to various error types, including hallucinations, i.e. outputs that are fluent, but unrelated to the source sentences. These errors are particularly dangerous, because on the surface the translation can be perceived as a correct output, especially if the reader does not understand the source language. We present a case study focusing on model understanding and regularisation to reduce hallucinations in NMT. We first use feature attribution methods to study the behaviour of an NMT model that produces hallucinations. We then leverage these methods to propose a novel loss function that substantially helps reduce hallucinations and does not require retraining the model from scratch.


title: Existence of the free energy for heavy-tailed spin glasses

abstract: We study the free energy of a mean-field spin glass whose coupling distribution has power law tails. Under the assumption that the couplings have infinite variance and finite mean, we show that the thermodynamic limit of the quenched free energy exists, and that the free energy is self-averaging.


title: Probing van der Waals interactions and detecting polar molecules by F\"orster resonance energy transfer with Rydberg atoms at temperatures below 100 mK

abstract: Electric-field-controlled F\"orster resonance energy transfer (FRET) between Rydberg helium (He) atoms and ground-state ammonia (NH$_3$) molecules has been studied at translational temperatures below 100 mK. The experiments were performed in an intrabeam collision apparatus with pulsed supersonic beams of NH$_3$ seeded in He. A range of F\"orster resonances, between triplet Rydberg states in He with principal quantum numbers of 38, 39 and 40, and the inversion intervals in NH$_3$ were investigated. Resonance widths as low as $100\pm20$ MHz were observed for Rydberg-Rydberg transitions with electric dipole transition moments of 3270 D. These widths result from binary collisions at a mean center-of-mass speed of $19.3\pm2.6$ m/s. For transitions in which the initially prepared Rydberg states were strongly polarized, with large induced static electric dipole moments, van der Waals interactions between the collision partners increased the resonance widths to $\sim750$ MHz. From measurements of the rate of FRET for the narrowest resonances observed, a density of NH$_3$ of $(9.4\pm0.3)\times10^{9}$ cm$^{-3}$ in the upper ground-state inversion sublevel in the interaction region of the apparatus was determined non-destructively.


title: Non-equilibrium evolution of quarkonium in medium in the open quantum system approach

abstract: In this proceedings contribution, I review recent work that aims to provide a more comprehensive and systematic understanding of bottomonium dynamics in the quark-gluon plasma using an open quantum system (OQS) approach that is applied in the framework of the potential non-relativistic QCD (pNRQCD) effective field theory and coupled to realistic hydrodynamical backgrounds that have been tuned to soft hadron observables. I review how the computation of bottomonium suppression can be reduced to solving a Gorini-Kossakowski-Sudarshan-Lindblad (GKSL) equation for the evolution of the b-bbar reduced density matrix, which includes both singlet and octet states plus medium-induced transitions between them at next-to-leading order (NLO) in the binding energy over temperature. Finally, I present comparisons of phenomenological predictions of the NLO OQS+pNRQCD approach and experimental data for bottomonium suppression and elliptic flow in LHC 5.02 TeV Pb-Pb collisions obtained using both smooth and fluctuating hydrodynamic initial conditions.


title: Study on degradation of VUV-sensitivity of MPPC for liquid xenon scintillation detector by radiation damage in MEG II experiment

abstract: In the MEG II experiment, the liquid xenon gamma-ray detector uses Multi-Pixel Photon Counters (MPPC) which are sensitive to vacuum ultraviolet (VUV) light under a high-intensity muon beam environment. In the commissioning phase of the detector with the beam, a significant degradation in the photon detection efficiency (PDE) for VUV light was found, while the degradation in the PDE for visible light was much less significant. This implies that the radiation damage is localized to the surface of the MPPC where incoming VUV photons create electron-hole pairs. It was also found that the PDE can recover to the original level by thermal annealing.


title: Theory and simulations of the angular momentum transfer from swift electrons to spherical nanoparticles in STEM

abstract: Electron beams in scanning transmission electron microscopy (STEM) exert forces and torques on study samples, with magnitudes that allow the controlled manipulation of nanoparticles (a technique called electron tweezers). Related theoretical research has mostly focused on the study of forces and linear momentum transfers from swift electrons (like those used in STEM) to nanoparticles. However, theoretical research on the rotational aspects of the interaction would benefit not only the development of electron tweezers, but also other fields within electron microscopy such as electron vortices. Starting from a classical-electrodynamics description, we present a theoretical model, alongside an efficient numerical methodology, to calculate the angular momentum transfer from a STEM swift electron to a spherical nanoparticle. We show simulations of angular momentum transfers to aluminum, gold, and bismuth nanoparticles of different sizes. We found that the transferred angular momentum is always perpendicular to the system's plane of symmetry, displaying a constant direction for all the cases considered. In the simulations, the angular momentum transfer increased with the radius of the nanoparticle, but decreased as the speed of the electron or the impact parameter increased. Also, the electric contribution to the angular momentum transfer dominated over the magnetic one, being comparable only for high electron's speeds (greater than 90% of the speed of light). Additionally, for nanoparticles with 1 nm radius of the studied materials, we found validity criteria for the small-particle approximation (in which the nanoparticle is modeled as an electric point dipole). We believe that these findings contribute to the understanding of rotational aspects present in STEM experiments, and might be useful for further developments in electron tweezers and other electron microscopy related techniques.


title: Non-Hermitian topological invariant of photonic band structures undergoing inversion

abstract: The interplay between symmetry and topology led to the discovery of symmetry-protected topological phases in Hermitian systems, including topological insulators and topological superconductors. However, the intrinsic symmetry-protected topological characteristics of non-Hermitian systems still await exploration. Here, we investigate experimentally the topological transition associated with the inversion of non-Hermitian band structures in an optical lattice. Intriguingly, we demonstrate that the winding number associated with the symmetry-protected bound state in the continuum is not a conserved quantity after band inversion. To define a topological invariant, we propose the skyrmion number given by spawning in momentum space a pseudo-spin with the polarisation vortex as the in-plane component and the band-index as the pseudo-spin direction at the origin. This leads to a topological transition from an antimeron to an meron-like texture through band inversion, while always conserving the half-charge skyrmion number. We foresee the use of skyrmion number to explore exotic singularities in various non-Hermitian physical system.


title: Curing the Divergence in Time-Dependent Density Functional Quadratic Response Theory

abstract: The adiabatic approximation in time-dependent density functional theory (TDDFT) is known to give an incorrect pole structure in the quadratic response function, leading to unphysical divergences in excited state-to-state transition probabilities and hyperpolarizabilties. We find the form of the exact quadratic response kernel and derive a practical and accurate approximation that cures the divergence. We demonstrate our results on excited state-to-state transition probabilities of a model system and of the LiH molecule.


title: Scalar scattering by black holes and wormholes

abstract: We study the scattering of monochromatic planar scalar waves in a geometry that interpolates between the Schwarzschild solution, regular black holes and traversable wormhole spacetimes. We employ the partial waves approach to compute the differential scattering cross section of the regular black hole, as well as of the wormhole solutions. We compare our full numerical results with the classical geodesic scattering and the glory approximation, obtaining excellent agreement in the appropriate regime of validity of such approximations. We obtain that the differential scattering cross section for the regular black hole case is similar to the Schwarzschild result. Notwithstanding, the results for wormholes can be very distinctive from the black hole ones. In particular, we show that the differential scattering cross section for wormholes considerably decreases at large scattering angles for resonant frequencies.


title: Spherical convolutional neural networks can improve brain microstructure estimation from diffusion MRI data

abstract: Diffusion magnetic resonance imaging is sensitive to the microstructural properties of brain tissue. However, estimating clinically and scientifically relevant microstructural properties from the measured signals remains a highly challenging inverse problem that machine learning may help solve. This study investigated if recently developed rotationally invariant spherical convolutional neural networks can improve microstructural parameter estimation. We trained a spherical convolutional neural network to predict the ground-truth parameter values from efficiently simulated noisy data and applied the trained network to imaging data acquired in a clinical setting to generate microstructural parameter maps. Our network performed better than the spherical mean technique and multi-layer perceptron, achieving higher prediction accuracy than the spherical mean technique with less rotational variance than the multi-layer perceptron. Although we focused on a constrained two-compartment model of neuronal tissue, the network and training pipeline are generalizable and can be used to estimate the parameters of any Gaussian compartment model. To highlight this, we also trained the network to predict the parameters of a three-compartment model that enables the estimation of apparent neural soma density using tensor-valued diffusion encoding.


title: Bayesian Optimization of 2D Echocardiography Segmentation

abstract: Bayesian Optimization (BO) is a well-studied hyperparameter tuning technique that is more efficient than grid search for high-cost, high-parameter machine learning problems. Echocardiography is a ubiquitous modality for evaluating heart structure and function in cardiology. In this work, we use BO to optimize the architectural and training-related hyperparameters of a previously published deep fully convolutional neural network model for multi-structure segmentation in echocardiography. In a fair comparison, the resulting model outperforms this recent state-of-the-art on the annotated CAMUS dataset in both apical two- and four-chamber echo views. We report mean Dice overlaps of 0.95, 0.96, and 0.93 on left ventricular (LV) endocardium, LV epicardium, and left atrium respectively. We also observe significant improvement in derived clinical indices, including smaller median absolute errors for LV end-diastolic volume (4.9mL vs. 6.7), end-systolic volume (3.1mL vs. 5.2), and ejection fraction (2.6% vs. 3.7); and much tighter limits of agreement, which were already within inter-rater variability for non-contrast echo. These results demonstrate the benefits of BO for echocardiography segmentation over a recent state-of-the-art framework, although validation using large-scale independent clinical data is required.


title: Hypercomplex almost abelian solvmanifolds

abstract: We give a characterization of almost abelian Lie groups carrying left invariant hypercomplex structures and we show that the corresponding Obata connection is always flat. We determine when such Lie groups admit HKT metrics and study the corresponding Bismut connection. We obtain the classification of hypercomplex almost abelian Lie groups in dimension 8 and determine which ones admit lattices. We show that the corresponding 8-dimensional solvmanifolds are nilmanifolds or admit a flat hyper-K\"ahler metric. Furthermore, we prove that any 8-dimensional compact flat hyper-K\"ahler manifold is a solvmanifold equipped with an invariant hyper-K\"ahler structure. We also construct almost abelian hypercomplex nilmanifolds and solvmanifolds in higher dimensions.


title: How dark the sky: the JWST backgrounds

abstract: We describe the sources of stray light and thermal background that affect JWST observations, report actual backgrounds as measured from commissioning and early-science observations, compare these background levels to prelaunch predictions, estimate the impact of the backgrounds on science performance, and explore how the backgrounds probe the achieved configuration of the deployed observatory. We find that for almost all applications, the observatory is limited by the irreducible astrophysical backgrounds, rather than scattered stray light and thermal self-emission, for all wavelengths lambda < 12.5 micron, thus meeting the level 1 requirement. This result was not assured given the open architecture and thermal challenges of JWST, and it is the result of meticulous attention to stray light and thermal issues in the design, construction, integration, and test phases. From background considerations alone, JWST will require less integration time in the near-infrared compared to a system that just met the stray-light requirements; as such, JWST will be even more powerful than expected for deep imaging at 1-5 micron. In the mid-infrared, the measured thermal backgrounds closely match prelaunch predictions. The background near 10 micron is slightly higher than predicted before launch, but the impact on observations is mitigated by the excellent throughput of MIRI, such that instrument sensitivity will be as good as expected prelaunch. These measured background levels are fully compatible with JWST's science goals and the Cycle 1 science program currently underway.


title: The Pair Correlation Function of Multi-Dimensional Low-Discrepancy Sequences with Small Stochastic Error Terms

abstract: In any dimension $d \geq 2$, there is no known example of a low-discrepancy sequence which possess Poisssonian pair correlations. This is in some sense rather surprising, because low-discrepancy sequences always have $\beta$-Poissonian pair correlations for all $0 < \beta < \tfrac{1}{d}$ and are therefore arbitrarily close to having Poissonian pair correlations (which corresponds to the case $\beta = \tfrac{1}{d}$). In this paper, we further elaborate on the closeness of the two notions. We show that $d$-dimensional Kronecker sequences for badly approximable vectors $\vec{\alpha}$ with an arbitrary small uniformly distributed stochastic error term generically have $\beta = \tfrac{1}{d}$-Poissonian pair correlations.


title: Summarizing Community-based Question-Answer Pairs

abstract: Community-based Question Answering (CQA), which allows users to acquire their desired information, has increasingly become an essential component of online services in various domains such as E-commerce, travel, and dining. However, an overwhelming number of CQA pairs makes it difficult for users without particular intent to find useful information spread over CQA pairs. To help users quickly digest the key information, we propose the novel CQA summarization task that aims to create a concise summary from CQA pairs. To this end, we first design a multi-stage data annotation process and create a benchmark dataset, CoQASUM, based on the Amazon QA corpus. We then compare a collection of extractive and abstractive summarization methods and establish a strong baseline approach DedupLED for the CQA summarization task. Our experiment further confirms two key challenges, sentence-type transfer and deduplication removal, towards the CQA summarization task. Our data and code are publicly available.


title: Measuring diameters and velocities of artificial raindrops with a neuromorphic dynamic vision sensor disdrometer

abstract: Hydrometers that can measure size and velocity distributions of precipitation are needed for research and corrections of rainfall estimates from weather radars and microwave links. Existing video disdrometers measure drop size distributions, but underestimate small raindrops and are impractical for widespread always-on IoT deployment. We propose an innovative method of measuring droplet size and velocity using a neuromorphic event camera. These dynamic vision sensors asynchronously output a sparse stream of pixel brightness changes. Droplets falling through the plane of focus create events generated by the motion of the droplet. Droplet size and speed are inferred from the stream of events. Using an improved hard disk arm actuator to reliably generate artificial raindrops, our experiments show small errors of 7% (maximum mean absolute percentage error) for droplet sizes from 0.3 to 2.5 mm and speeds from 1.3 m/s to 8.0 m/s. Each droplet requires the processing of only a few hundred to thousands of events, potentially enabling low-power always-on disdrometers that consume power proportional to the rainfall rate.


title: Supervised Feature Compression based on Counterfactual Analysis

abstract: Counterfactual Explanations are becoming a de-facto standard in post-hoc interpretable machine learning. For a given classifier and an instance classified in an undesired class, its counterfactual explanation corresponds to small perturbations of that instance that allows changing the classification outcome. This work aims to leverage Counterfactual Explanations to detect the important decision boundaries of a pre-trained black-box model. This information is used to build a supervised discretization of the features in the dataset with a tunable granularity. Using the discretized dataset, an optimal Decision Tree can be trained that resembles the black-box model, but that is interpretable and compact. Numerical results on real-world datasets show the effectiveness of the approach in terms of accuracy and sparsity.


title: Penalized Variable Selection with Broken Adaptive Ridge Regression for Semi-competing Risks Data

abstract: Semi-competing risks data arise when both non-terminal and terminal events are considered in a model. Such data with multiple events of interest are frequently encountered in medical research and clinical trials. In this framework, terminal event can censor the non-terminal event but not vice versa. It is known that variable selection is practical in identifying significant risk factors in high-dimensional data. While some recent works on penalized variable selection deal with these competing risks separately without incorporating possible correlation between them, we perform variable selection in an illness-death model using shared frailty where semiparametric hazard regression models are used to model the effect of covariates. We propose a broken adaptive ridge (BAR) penalty to encourage sparsity and conduct extensive simulation studies to compare its performance with other popular methods. We perform variable selection in an event specific manner so that the potential risk factors and covariates effects can be estimated and selected, simultaneously corresponding to each event in the study. The grouping effect, as well as the oracle property of the proposed BAR procedure are investigated using simulation studies. The proposed method is then applied to real-life data arising from a Colon Cancer study.


title: Activity Detection in Distributed Massive MIMO With Pilot-Hopping and Activity Correlation

abstract: Many real-world scenarios for massive machine-type communication involve sensors monitoring a physical phenomenon. As a consequence, the activity pattern of these sensors will be correlated. In this letter, we study how the correlation of user activities can be exploited to improve detection performance in grant-free random access systems where the users transmit pilot-hopping sequences and the detection is performed based on the received energy. We show that we can expect considerable performance gains by adding regularizers, which take the activity correlation into account, to the non-negative least squares, which has been shown to work well for independent user activity.


title: Efficient Feature Compression for Edge-Cloud Systems

abstract: Optimizing computation in an edge-cloud system is an important yet challenging problem. In this paper, we consider a three-way trade-off between bit rate, classification accuracy, and encoding complexity in an edge-cloud image classification system. Our method includes a new training strategy and an efficient encoder architecture to improve the rate-accuracy performance. Our design can also be easily scaled according to different computation resources on the edge device, taking a step towards achieving a rate-accuracy-complexity (RAC) trade-off. Under various settings, our feature coding system consistently outperforms previous methods in terms of the RAC performance.


title: Audio Anti-spoofing Using a Simple Attention Module and Joint Optimization Based on Additive Angular Margin Loss and Meta-learning

abstract: Automatic speaker verification systems are vulnerable to a variety of access threats, prompting research into the formulation of effective spoofing detection systems to act as a gate to filter out such spoofing attacks. This study introduces a simple attention module to infer 3-dim attention weights for the feature map in a convolutional layer, which then optimizes an energy function to determine each neuron's importance. With the advancement of both voice conversion and speech synthesis technologies, unseen spoofing attacks are constantly emerging to limit spoofing detection system performance. Here, we propose a joint optimization approach based on the weighted additive angular margin loss for binary classification, with a meta-learning training framework to develop an efficient system that is robust to a wide range of spoofing attacks for model generalization enhancement. As a result, when compared to current state-of-the-art systems, our proposed approach delivers a competitive result with a pooled EER of 0.99% and min t-DCF of 0.0289.


title: Development of Linear Battery Model for Path Planning with Mixed Integer Linear Programming: Simulated and Experimental Validation

abstract: Mixed Integer Linear Programs (MILPs) are often used in the path planning of both ground and aerial vehicles. Such a formulation of the path planning problem requires a linear objective function and constraints, limiting the fidelity of the the tracking of vehicle states. One such parameter is the state of charge of the battery used to power the vehicle. Accurate battery state estimation requires nonlinear differential equations to be solved. This state estimation is important in path planning to ensure flyable paths, however when using MILPs to formulate the path planning problem these nonlinear equations cannot be implemented. Poor accuracy in battery estimation during the path planning runs the risk of the planned path being feasible by the estimation model but in reality will deplete the battery to a critical level. To the end of higher accuracy battery estimation within a MILP, we present here a simple linear battery model which predicts the change in state-of-charge (SOC) of a battery given a power draw and duration. This model accounts for changes in battery voltage due to applied electrical load and changes in battery SOC. The battery model is presented and then tested against alternate battery models in numerical and in experimental tests. Further, the effect the proposed linear model has over a simpler SOC estimation on the time-to-solve a resource constrained shortest path problem is also evaluated, implemented in two different algorithms. It is seen that the linear model performs well in battery state estimation while remaining implementable in a Linear Program or MILP, with little affect on the time-to-solve.


title: A Generalized Isoperimetric Inequality via Thick Embeddings of Graphs

abstract: We prove a generalized isoperimetric inequality for a domain diffeomorphic to a sphere that replaces filling volume with $k$-dilation. Suppose $U$ is an open set in $\mathbb{R}^n$ diffeomorphic to a Euclidean $n$-ball. We show that in dimensions at least 4 there is a map from a standard Euclidean ball of radius about $vol(\partial U)^{1/(n-1)}$ to $U$, with degree 1 on the boundary, and $(n-1)$-dilation bounded by some constant only depending on $n$. We also give an example in dimension 3 of an open set where no such map with small $(n-1)$-dilation can be found. The generalized isoperimetric inequality is reduced to a theorem about thick embeddings of graphs which is proved using the Kolmogorov-Barzdin theorem and the max-flow min-cut theorem. The proof of the counterexample in dimension 3 relies on the coarea inequality and a short winding number computation.


title: Dynamic Predictive Sampling Analog to Digital Converter for Sparse Signal Sensing

abstract: This paper presents a dynamic predictive sampling (DPS) based analog-to-digital converter (ADC) that provides a non-uniform sampling of input analog continuous-time signals. The processing unit generates a dynamic prediction of the input signal using two prior-quantized samplings to compute digital values of an upper threshold and a lower threshold. The digital threshold values are converted to analog thresholds to form a tracking window. A comparator compares the input analog signal with the tracking window to determine if the prediction is successful. A counter records timestamps between the unsuccessful predictions, which are the selected sampling points for quantization. No quantization is performed for successfully predicted sampling points so that the data throughput and power can be saved. The proposed circuits were designed as a 10-bit ADC using 0.18 micro CMOS process sampling at 1 kHz. The results show that the proposed system can achieve a data compression factor of 6.17 and a power saving factor of 31% compared to a Nyquist rate SAR ADC for ECG monitoring.


title: Quantum General Relativity and Effective Field Theory

abstract: This is a review of some of the concepts and results of the effective field theory treatment of quantum general relativity. Included are lessons of low energy quantum gravity, and a discussion of the limits of effective field theory techniques.


title: CHARTER: Identifying the Most-Critical Gate Operations in Quantum Circuits via Amplified Gate Reversibility

abstract: When quantum programs are executed on noisy intermediate-scale quantum (NISQ) computers, they experience hardware noise; consequently, the program outputs are often erroneous. To mitigate the adverse effects of hardware noise, it is necessary to understand the effect of hardware noise on the program output and more fundamentally, understand the impact of hardware noise on specific regions within a quantum program. Identifying and optimizing regions that are more noise-sensitive is the key to expanding the capabilities of NISQ computers. Toward achieving that goal, we propose CHARTER, a novel technique to pinpoint specific gates and regions within a quantum program that are the most affected by the hardware noise and that have the highest impact on the program output. Using CHARTER's methodology, programmers can obtain a precise understanding of how different components of their code affect the output and optimize those components without the need for non-scalable quantum simulation on classical computers.


title: Crossing and intersecting families of geometric graphs on point sets

abstract: Let $S$ be a set of $n$ points in the plane in general position. Two line segments connecting pairs of points of $S$ cross if they have an interior point in common. Two vertex disjoint geometric graphs with vertices in $S$ cross if there are two edges, one from each graph, which cross. A set of vertex disjoint geometric graphs with vertices in $S$ is called mutually crossing if any two of them cross. We show that there exists a constant $c$ such that from any family of $n$ mutually crossing triangles, one can always obtain a family of at least $n^c$ mutually crossing $2$-paths (each of which is the result of deleting an edge from one of the triangles) and then provide an example that implies that $c$ cannot be taken to be larger than $2/3$. For every $n$ we determine the maximum number of crossings that a Hamiltonian cycle on a set of $n$ points might have. Next, we construct a point set whose longest perfect matching contains no crossings. We also consider edges consisting of a horizontal and a vertical line segment joining pairs of points of $S$, which we call elbows, and prove that in any point set $S$ there exists a family of $\lfloor n/4 \rfloor$ vertex disjoint mutually crossing elbows. Additionally, we show a point set that admits no more than $n/3$ mutually crossing elbows. Finally we study intersecting families of graphs, which are not necessarily vertex disjoint. A set of edge disjoint graphs with vertices in $S$ is called an intersecting family if for any two graphs in the set we can choose an edge in each of them such that they cross. We prove a conjecture by Lara and Rubio-Montiel, namely, that any set $S$ of $n$ points in general position admits a family of intersecting triangles with a quadratic number of elements. Some other results are obtained throughout this work.


title: Origin of the Proton Mass

abstract: Atomic nuclei lie at the core of everything visible; and at the first level of approximation, their atomic weights are simply the sum of the masses of all the neutrons and protons (nucleons) they contain. Each nucleon has a mass $m_N \approx 1\,{\rm GeV}\approx 2000$-times the electron mass. The Higgs boson -- discovered at the large hadron collider in 2012, a decade ago -- produces the latter, but what generates the nucleon mass? This is a pivotal question. The answer is widely supposed to lie within quantum chromodynamics (QCD), the strong-interaction piece of the Standard Model. Yet, it is far from obvious. In fact, removing Higgs-boson couplings into QCD, one arrives at a scale invariant theory, which, classically, can't support any masses at all. This contribution sketches forty years of developments in QCD, which suggest a solution to the puzzle, and highlight some of the experiments that can validate the picture.


title: Contextual guidance: An integrated theory for astrocytes function in brain circuits and behavior

abstract: The participation of astrocytes in brain computation was formally hypothesized in 1992, coinciding with the discovery that these glial cells display a complex form of Ca2+ excitability. This fostered conceptual advances centered on the notion of reciprocal interactions between neurons and astrocytes, which permitted a critical leap forward in uncovering many roles of astrocytes in brain circuits, and signaled the rise of a major new force in neuroscience: that of glial biology. In the past decade, a multitude of unconventional and disparate functions of astrocytes have been documented that are not predicted by these canonical models and that are challenging to piece together into a holistic and parsimonious picture. This highlights a disconnect between the rapidly evolving field of astrocyte biology and the conceptual frameworks guiding it, and emphasizes the need for a careful reconsideration of how we theorize the functional position of astrocytes in brain circuitry. Here, we propose a unifying, highly transferable, data-driven, and computationally-relevant conceptual framework for astrocyte biology, which we coin contextual guidance. It describes astrocytes as contextual gates that decode multiple environmental factors to shape neural circuitry in an adaptive, state-dependent fashion. This paradigm is organically inclusive of all fundamental features of astrocytes, many of which have remained unaccounted for in previous theories. We find that this new concept provides an intuitive and powerful theoretical space to improve our understanding of brain function and computational models thereof across scales because it depicts astrocytes as a hub for circumstantial inputs into relevant specialized circuits that permits adaptive behaviors at the network and organism level.


title: Observation of Zitterbewegung in photonic microcavities

abstract: We present and experimentally study the effects of the photonic spin-orbit coupling on real space propagetion of polariton wavepackets in planar semiconductor microcavities and polaritonic analogs of graphene. In particular, we demonstrate the appearance of an analog Zitterbewegung effect, a term which translates as 'trembling motion' in english, which was originally proposed for relativistic Dirac electrons and consists of the oscillations of the center of mass of a wavepacket in the direction perpendicular to its propagation. For a planar microcavity we observe regular Zitterbewegung oscillations whose amplitude and period depend on the wavevector of the polaritons. We then extend these results to a honeycomb lattice of coupled microcavity resonators. Compared to the planar cavity such lattices are inherently more tuneable and versatile, allowing simulation of the Hamilitonians of a wide range of important physical systems. We observe an oscillation pattern related to the presence of the spin-split Dirac cones in the dispersion. In both cases the experimentally observed oscillations are in good agreement with theoretical modelling and independently measured bandstructure parameters, providing strong evidence for the observation of Zitterbewegung.


title: Escaping From Saddle Points Using Asynchronous Coordinate Gradient Descent

abstract: Large-scale non-convex optimization problems are expensive to solve due to computational and memory costs. To reduce the costs, first-order (computationally efficient) and asynchronous-parallel (memory efficient) algorithms are necessary to minimize non-convex functions in machine learning. However, asynchronous-first-order methods applied within non-convex settings run into two difficulties: (i) parallelization delays, which affect convergence by disrupting the monotonicity of first-order methods, and (ii) sub-optimal saddle points where the gradient is zero. To solve these two difficulties, we propose an asynchronous-coordinate-gradient-descent algorithm shown to converge to local minima with a bounded delay. Our algorithm overcomes parallelization-delay issues by using a carefully constructed Hamiltonian function. We prove that our designed kinetic-energy term, incorporated within the Hamiltonian, allows our algorithm to decrease monotonically per iteration. Next, our algorithm steers iterates clear of saddle points by utilizing a perturbation sub-routine. Similar to other state-of-the-art (SOTA) algorithms, we achieve a poly-logarithmic convergence rate with respect to dimension. Unlike other SOTA algorithms, which are synchronous, our work is the first to study how parallelization delays affect the convergence rate of asynchronous first-order algorithms. We prove that our algorithm outperforms synchronous counterparts under large parallelization delays, with convergence depending sublinearly with respect to delays. To our knowledge, this is the first local optima convergence result of a first-order asynchronous algorithm for non-convex settings.


title: The topological state derivative: an optimal control perspective on topology optimisation

abstract: In this paper we introduce the topological state derivative for general topological dilatations and explore its relation to standard optimal control theory. We show that for a class of partial differential equations, the shape dependent state variable can be differentiated with respect to the topology, thus leading to a linearised system resembling those occurring in standard optimal control problems. However, a lot of care has to be taken when handling the regularity of the solutions of this linearised system. In fact, we should expect different notions of (very) weak solutions, depending on whether the main part of the operator or its lower order terms are being perturbed. We also study the relationship with the topological state derivative, usually obtained through classical topological expansions involving boundary layer correctors. A feature of the topological state derivative is that it can either be derived via Stampacchia-type regularity estimates or alternately with classical asymptotic expansions. It should be noted that our approach is flexible enough to cover more than the usual case of point perturbations of the domain. In particular, and in the line of [8,9], we deal with more general dilatations of shapes, thereby yielding topological derivatives with respect to curves, surfaces or hypersurfaces. In order to draw the connection to usual topological derivatives, which are typically expressed with an adjoint equation, we show how usual first order topological derivatives of shape functionals can be easily computed using the topological state derivative.


title: Fractional quantum Hall valley ferromagnetism in the extreme quantum limit

abstract: Electrons' multiple quantum degrees of freedom can lead to rich physics, including a competition between various exotic ground states, as well as novel applications such as spintronics and valleytronics. Here we report magneto-transport experiments demonstrating how the valley degree of freedom impacts the fractional quantum states (FQHSs), and the related magnetic-flux-electron composite fermions (CFs), at very high magnetic fields in the extreme quantum limit when only the lowest Landau level is occupied. Unlike in other multivalley two-dimensional electron systems such as Si or monolayer graphene and transition-metal dichalcogenides, in our AlAs sample we can continuously tune the valley polarization via the application of in-situ strain. We find that the FQHSs remain exceptionally strong even as they make valley polarization transitions, revealing a surprisingly robust ferromagnetism of the FQHSs and the underlying CFs. Our observation implies that the CFs are strongly interacting in our system. We are also able to obtain a phase diagram for the FQHS and CF valley polarization in the extreme quantum limit as we monitor transitions of the FHQSs with different valley polarizations.


title: Short-range order and compositional phase stability in refractory high-entropy alloys via first principles theory and atomistic modelling: NbMoTa, NbMoTaW and VNbMoTaW

abstract: Using an all-electron, first principles, Landau-type theory, we study the nature of short-range order and compositional phase stability in equiatomic refractory high entropy alloys, NbMoTa, NbMoTaW, and VNbMoTaW. We also investigate selected binary subsystems to provide insight into the physical mechanisms driving order. Our approach examines the short-range order of the solid solutions directly, infers disorder/order transitions, and also extracts parameters suitable for atomistic modelling of diffusional phase transformations. We find a hierarchy of relationships between the chemical species in these materials which promote ordering tendencies. The most dominant is a relative atomic size difference between the 3d element, V, and the other 4d and 5d elements which drives a B32-like order. For systems where V is not present, ordering is dominated by the difference in filling of valence states; pairs of elements which are isoelectronic remain weakly correlated to low temperatures, while pairs with a valence difference present B2-like order. Our estimated order-disorder transition temperature in VNbMoTaW is sufficiently high for us to suggest that SRO in this material may be experimentally observable.


title: Do graph neural networks learn traditional jet substructure?

abstract: At the CERN LHC, the task of jet tagging, whose goal is to infer the origin of a jet given a set of final-state particles, is dominated by machine learning methods. Graph neural networks have been used to address this task by treating jets as point clouds with underlying, learnable, edge connections between the particles inside. We explore the decision-making process for one such state-of-the-art network, ParticleNet, by looking for relevant edge connections identified using the layerwise-relevance propagation technique. As the model is trained, we observe changes in the distribution of relevant edges connecting different intermediate clusters of particles, known as subjets. The resulting distribution of subjet connections is different for signal jets originating from top quarks, whose subjets typically correspond to its three decay products, and background jets originating from lighter quarks and gluons. This behavior indicates that the model is using traditional jet substructure observables, such as the number of prongs -- energetic particle clusters -- within a jet, when identifying jets.


title: Multi-source Domain Adaptation for Text-independent Forensic Speaker Recognition

abstract: Adapting speaker recognition systems to new environments is a widely-used technique to improve a well-performing model learned from large-scale data towards a task-specific small-scale data scenarios. However, previous studies focus on single domain adaptation, which neglects a more practical scenario where training data are collected from multiple acoustic domains needed in forensic scenarios. Audio analysis for forensic speaker recognition offers unique challenges in model training with multi-domain training data due to location/scenario uncertainty and diversity mismatch between reference and naturalistic field recordings. It is also difficult to directly employ small-scale domain-specific data to train complex neural network architectures due to domain mismatch and performance loss. Fine-tuning is a commonly-used method for adaptation in order to retrain the model with weights initialized from a well-trained model. Alternatively, in this study, three novel adaptation methods based on domain adversarial training, discrepancy minimization, and moment-matching approaches are proposed to further promote adaptation performance across multiple acoustic domains. A comprehensive set of experiments are conducted to demonstrate that: 1) diverse acoustic environments do impact speaker recognition performance, which could advance research in audio forensics, 2) domain adversarial training learns the discriminative features which are also invariant to shifts between domains, 3) discrepancy-minimizing adaptation achieves effective performance simultaneously across multiple acoustic domains, and 4) moment-matching adaptation along with dynamic distribution alignment also significantly promotes speaker recognition performance on each domain, especially for the LENA-field domain with noise compared to all other systems.


title: State dependent delay maps: numerical algorithms and dynamics of projections

abstract: This work concerns the dynamics of a certain class of delay differential equations (DDEs) which we refer to as state dependent delay maps. These maps are generated by delay differential equations where the derivative of the current state depends only on delayed variables, and not on the un-delayed state. However, we allow that the delay is itself a function of the state variable. A delay map with constant delays can be rewritten explicitly as a discrete time dynamical system on an appropriate function space, and a delay map with small state dependent terms can be viewed as a ``non-autonomous'' perturbation. We develop a fixed point formulation for the Cauchy problem of such perturbations, and under appropriate assumptions obtain the existence of forward iterates of the map. The proof is constructive and leads to numerical procedures which we implement for illustrative examples, including the cubic Ikeda and Mackey-Glass systems with constant and state-dependent delays. After proving a local convergence result for the method, we study more qualitative/global convergence issues using data analytic tools for time series analysis (dimension and topological measures derived from persistent homology). Using these tools we quantify the convergence of the dynamics in the finite dimensional projections to the dynamics of the infinite dimensional system.


title: BAyesian Bent-Line Regression model for longitudinal data with an application to the study of cognitive performance trajectories in Wisconsin Registry for Alzheimer's Prevention

abstract: Preclinical Alzheimer's disease (AD), the earliest stage in the AD continuum, can last fifteen to twenty years, with cognitive decline trajectories nonlinear and heterogeneous between subjects. Characterizing cognitive decline in the preclinical phase of AD is critical for the development of early intervention strategies when disease-modifying therapies may be most effective. In the last decade, there has been an increased interest in the application of change point (CP) models to longitudinal cognitive outcomes. Because patients' change points can vary greatly, it is essential to model this variation. In this paper, we introduce a BAyesian Bent-Line Regression model longitudinal data on cognitive function in middle-aged adults with a high risk of AD. We provide an approach for estimating the fixed (group-level) and random (person-level) CPs, slopes pre- and post-CP, and intercepts at CP for cognition. Our model not only estimates the individual cognitive trajectories but also the distributions of the cognitive bent line curves at each age, enabling researchers and clinicians to estimate subjects' quantiles. Simulation studies show that the estimation and inferential procedures perform reasonably well in finite samples. The practical use is illustrated by an application to a longitudinal cognitive composite in the Wisconsin Registry for Alzheimer's Prevention (WRAP).


title: Online Distribution Shift Detection via Recency Prediction

abstract: When deploying modern machine learning-enabled robotic systems in high-stakes applications, detecting distribution shift is critical. However, most existing methods for detecting distribution shift are not well-suited to robotics settings, where data often arrives in a streaming fashion and may be very high-dimensional. In this work, we present an online method for detecting distribution shift with guarantees on the false positive rate - i.e., when there is no distribution shift, our system is very unlikely (with probability $< \epsilon$) to falsely issue an alert; any alerts that are issued should therefore be heeded. Our method is specifically designed for efficient detection even with high dimensional data, and it empirically achieves up to 11x faster detection on realistic robotics settings compared to prior work while maintaining a low false negative rate in practice (whenever there is a distribution shift in our experiments, our method indeed emits an alert). We demonstrate our approach in both simulation and hardware for a visual servoing task, and show that our method indeed issues an alert before a failure occurs.


title: Inverse Optimal Control with Discount Factor for Continuous and Discrete-Time Control-Affine Systems and Reinforcement Learning

abstract: This paper addresses the inverse optimal control problem of finding the state weighting function that leads to a quadratic value function when the cost on the input is fixed to be quadratic. The paper focuses on a class of infinite horizon discrete-time and continuous-time optimal control problems whose dynamics are control-affine and whose cost is quadratic in the input. The optimal control policy for this problem is the projection of minus the gradient of the value function onto the space formed by all feasible control directions. This projection points along the control direction of steepest decrease of the value function. For discrete-time systems and a quadratic value function the optimal control law can be obtained as the solution of a regularized least squares program, which corresponds to a receding horizon control with a single step ahead. For the single input case and a quadratic value function the solution for small weights in the control energy is interpreted as a control policy that at each step brings the trajectories of the system as close as possible to the origin, as measured by an appropriate norm. Conditions under which the optimal control law is linear are also stated. Additionally, the paper offers a mapping of the optimal control formulation to an equivalent reinforcement learning formulation. Examples show the application of the theoretical results.


title: Portal Matter, Kinetic Mixing, and Muon $g-2$

abstract: We present a minimal construction using leptonic portal matter that addresses the muon $g-2$ anomaly. While the chiral enhancement mechanism is reminiscent of that of fermiophobic $Z'$ gauge models, the parameter space motivated by the kinetic mixing/vector portal dark matter model paradigm is vastly different and can be readily explored in current and forthcoming experiments.


title: Patch-Craft Self-Supervised Training for Correlated Image Denoising

abstract: Supervised neural networks are known to achieve excellent results in various image restoration tasks. However, such training requires datasets composed of pairs of corrupted images and their corresponding ground truth targets. Unfortunately, such data is not available in many applications. For the task of image denoising in which the noise statistics is unknown, several self-supervised training methods have been proposed for overcoming this difficulty. Some of these require knowledge of the noise model, while others assume that the contaminating noise is uncorrelated, both assumptions are too limiting for many practical needs. This work proposes a novel self-supervised training technique suitable for the removal of unknown correlated noise. The proposed approach neither requires knowledge of the noise model nor access to ground truth targets. The input to our algorithm consists of easily captured bursts of noisy shots. Our algorithm constructs artificial patch-craft images from these bursts by patch matching and stitching, and the obtained crafted images are used as targets for the training. Our method does not require registration of the images within the burst. We evaluate the proposed framework through extensive experiments with synthetic and real image noise.


title: Distributed Deep Joint Source-Channel Coding over a Multiple Access Channel

abstract: We consider distributed image transmission over a noisy multiple access channel (MAC) using deep joint source-channel coding (DeepJSCC). It is known that Shannon's separation theorem holds when transmitting independent sources over a MAC in the asymptotic infinite block length regime. However, we are interested in the practical finite block length regime, in which case separate source and channel coding is known to be suboptimal. We introduce a novel joint image compression and transmission scheme, where the devices send their compressed image representations in a non-orthogonal manner. While non-orthogonal multiple access (NOMA) is known to achieve the capacity region, to the best of our knowledge, non-orthogonal joint source channel coding (JSCC) scheme for practical systems has not been studied before. Through extensive experiments, we show significant improvements in terms of the quality of the reconstructed images compared to orthogonal transmission employing current DeepJSCC approaches particularly for low bandwidth ratios. We publicly share source code to facilitate further research and reproducibility.

categories: eess.IV cs.CV cs.IT cs.LG eess.SP math.IT


title: Uncovering hidden spin polarization of energy bands in antiferromagnets

abstract: Many textbook physical effects in crystals are enabled by some specific symmetries. In contrast to such "apparent effects", "hidden effect X" refers to the general condition where the nominal global system symmetry would disallow the effect X, whereas the symmetry of local sectors within the crystal would enable effect X. Known examples include the hidden Rashba and/or hidden Dresselhaus spin polarization that require spin orbit coupling, but (unlike the apparent Rashba and Dresselhaus counterparts) can exist even in inversion-symmetric non-magnetic crystals. Here we point out that the spin splitting effect that does not require spin-orbit coupling (SOC) can have a hidden spin polarization counterpart in antiferromagnets. We show that such hidden, SOC-independent effects reflect intrinsic properties of the perfect crystal rather than an effect due to imperfections, opening the possibility for experimental realization, and offering a potential way to switch antiferromagnetic ordering.


title: Probing dark matter with polarimetry techniques

abstract: In this work, we propose polarimetry experiments to search for low-mass (sub-eV) bosonic field dark matter, including axions and axion-like particles. We show that a polarimetry configuration consisting of a thick birefringent solid inside a Fabry-P\'erot cavity is exceptionally sensitive to scalar field dark matter, which may cause oscillatory variations in the solid's thickness and refractive index. In addition, we show that a reconfiguration of this polarimetry experiment, in which two quarter-wave plates are placed inside the Fabry-P\'erot cavity instead of a thick birefringent solid, is very sensitive to axion-like particles. We investigate the possibility of using cross-correlation of twin polarimeters to increase the sensitivity of the experiment, which in turn could allow us to explore unexplored parts of the parameter space and potentially detect a signal in either dark matter scenario.


title: Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)

abstract: This proceedings contains abstracts and position papers for the work presented at the second Logic and Practice of Programming (LPOP) Workshop. The workshop was held online, virtually in place of Chicago, USA, on November 15, 2010, in conjunction with the ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH) 2020. The purpose of this workshop is to be a bridge between different areas of computer science that use logic as a practical tool. We take advantage of the common language of formal logic to exchange ideas between these different areas.


title: From LQR to Static Output Feedback: a New LMI Approach

abstract: This paper proposes a new Linear Matrix Inequality (LMI) for static output feedback control assuming that a Linear Quadratic Regulator (LQR) has been previously designed for the system. The main idea is to use a quadratic candidate Lyapunov function for the closed-loop system parameterized by the unique positive definite matrix that solves the Riccati equation. A converse result will also be proved guaranteeing the existence of matrices verifying the LMI if the system is static output feedback stabilizable. The proposed method will then be extended to the design of static output feedback for the H1 control problem. Besides being a sufficient condition for which a converse result is proved, there are another four main advantages of the proposed methodology. First, it is computationally tractable. Second, one can use weighting matrices and obtain a solution in a similar way to LQR design. Third, the proposed method has an extremely simple LMI structure when compared with other LMI methods proposed in the literature. Finally, for the cases where the output is equal to the state it is shown that the LQR solution verifies the proposed LMI. Therefore, the static output feedback includes the LQR solution as a special case when the state is available, which is a desired property. Several examples show that the method is consistently successful and works well in practice.


title: FairMILE: Towards an Efficient Framework for Fair Graph Representation Learning

abstract: Graph representation learning models have demonstrated great capability in many real-world applications. Nevertheless, prior research indicates that these models can learn biased representations leading to discriminatory outcomes. A few works have been proposed to mitigate the bias in graph representations. However, most existing works require exceptional time and computing resources for training and fine-tuning. To this end, we study the problem of efficient fair graph representation learning and propose a novel framework FairMILE. FairMILE is a multi-level paradigm that can efficiently learn graph representations while enforcing fairness and preserving utility. It can work in conjunction with any unsupervised embedding approach and accommodate various fairness constraints. Extensive experiments across different downstream tasks demonstrate that FairMILE significantly outperforms state-of-the-art baselines in terms of running time while achieving a superior trade-off between fairness and utility.


title: Orientational wetting and topological transitions in confined solutions of semi-flexible polymers

abstract: Despite their considerable practical and biological applications, the link between molecular properties, assembly conditions and self-organized structure in confined polymer solutions remains elusive. Here, we explore the lyotropic nematic ordering of semi-flexible chains in spherical confinement for multiple contour lengths across a wide regime of concentrations. We uncover an original crossover from two distinct quadrupolar states, both characterized by regular tetrahedral patterns of surface topological defects, to either longitudinal, latitudinal or spontaneously-twisted bipolar structures with increasing densities. These transitions, along with the intermediary arrangements that they involve, are attributed to the combination of orientational wetting with subtle variations in their liquid-crystal (LC) elastic anisotropies. Our molecular simulations are corroborated by density functional calculations, and are quantified through the introduction of several order parameters as well as an unsupervised learning scheme for the localization of topological defects. Our results agree quantitatively with the predictions of continuum nematic elasticity theories, and evidence the extent to which the folding of macromolecules and the self-assembly of low-molecular-weight LCs may be guided by the same, universal principles.


title: SAR-based landslide classification pretraining leads to better segmentation

abstract: Rapid assessment after a natural disaster is key for prioritizing emergency resources. In the case of landslides, rapid assessment involves determining the extent of the area affected and measuring the size and location of individual landslides. Synthetic Aperture Radar (SAR) is an active remote sensing technique that is unaffected by weather conditions. Deep Learning algorithms can be applied to SAR data, but training them requires large labeled datasets. In the case of landslides, these datasets are laborious to produce for segmentation, and often they are not available for the specific region in which the event occurred. Here, we study how deep learning algorithms for landslide segmentation on SAR products can benefit from pretraining on a simpler task and from data from different regions. The method we explore consists of two training stages. First, we learn the task of identifying whether a SAR image contains any landslides or not. Then, we learn to segment in a sparsely labeled scenario where half of the data do not contain landslides. We test whether the inclusion of feature embeddings derived from stage-1 helps with landslide detection in stage-2. We find that it leads to minor improvements in the Area Under the Precision-Recall Curve, but also to a significantly lower false positive rate in areas without landslides and an improved estimate of the average number of landslide pixels in a chip. A more accurate pixel count allows to identify the most affected areas with higher confidence. This could be valuable in rapid response scenarios where prioritization of resources at a global scale is important. We make our code publicly available at https://github.com/VMBoehm/SAR-landslide-detection-pretraining.


title: SMS: Spiking Marching Scheme for Efficient Long Time Integration of Differential Equations

abstract: We propose a Spiking Neural Network (SNN)-based explicit numerical scheme for long time integration of time-dependent Ordinary and Partial Differential Equations (ODEs, PDEs). The core element of the method is a SNN, trained to use spike-encoded information about the solution at previous timesteps to predict spike-encoded information at the next timestep. After the network has been trained, it operates as an explicit numerical scheme that can be used to compute the solution at future timesteps, given a spike-encoded initial condition. A decoder is used to transform the evolved spiking-encoded solution back to function values. We present results from numerical experiments of using the proposed method for ODEs and PDEs of varying complexity.


title: Contrastive Credibility Propagation for Reliable Semi-Supervised Learning

abstract: Producing labels for unlabeled data is error-prone, making semi-supervised learning (SSL) troublesome. Often, little is known about when and why an algorithm fails to outperform a supervised baseline. Using benchmark datasets, we craft five common real-world SSL data scenarios: few-label, open-set, noisy-label, and class distribution imbalance/misalignment in the labeled and unlabeled sets. We propose a novel algorithm called Contrastive Credibility Propagation (CCP) for deep SSL via iterative transductive pseudo-label refinement. CCP unifies semi-supervised learning and noisy label learning for the goal of reliably outperforming a supervised baseline in any data scenario. Compared to prior methods which focus on a subset of scenarios, CCP uniquely outperforms the supervised baseline in all scenarios, supporting practitioners when the qualities of labeled or unlabeled data are unknown.


title: The group determinants for $\mathbb Z_n \times H$

abstract: Let $\mathbb Z_n$ denote the cyclic group of order $n$. We show how the group determinant for $G= \mathbb Z_n \times H$ can be simply written in terms of the group determinant for $H$. We use this to get a complete description of the integer group determinants for $\mathbb Z_2 \times D_8$ where $D_8$ is the dihedral group of order 8, and $\mathbb Z_2 \times Q_8$ where $Q_8$ is the quaternion group of order 8.