title: Rainbow Hamilton cycle in hypergraph system

abstract: In this paper, we develop a new rainbow Hamilton framework, which is of independent interest, settling the problem proposed by Gupta, Hamann, M\"{u}yesser, Parczyk, and Sgueglia when $k=3$, and draw the general conclusion for any $k\geq3$ as follows. A $k$-graph system $\textbf{H}=\{H_i\}_{i\in[n]}$ is a family of not necessarily distinct $k$-graphs on the same $n$-vertex set $V$, moreover, a $k$-graph $H$ on $V$ is rainbow if $E(H)\subseteq \bigcup_{i\in[n]}E(H_i)$ and $|E(H)\cap E(H_i)|\leq1$ for $i\in[n]$. We show that given $\gamma> 0$, sufficiently large $n$ and an $n$-vertex $k$-graph system $\textbf{H}=\{H_i\}_{i\in[n]}$ , if $\delta_{k-2}(H_i)\geq(5/9+\gamma)\binom{n}{2}$ for $i\in[n]$ where $k\geq3$, then there exists a rainbow tight Hamilton cycle. This result implies the conclusion in a single graph, which was proved by Lang and Sanhueza-Matamala [$J. Lond. Math. Soc., 2022$], Polcyn, Reiher, R\"{o}dl and Sch\"{u}lke [$J. Combin. Theory \ Ser. B, 2021$] independently.


title: SonoUno web: an innovative user centred web interface

abstract: Sonification as a complement of visualization is been under research for decades as a new ways of data deployment. ICAD conferences, gather together specialists from different disciplines to discuss about sonification. Different tools as sonoUno, starSound and Web Sandbox are attempt to reach a tool to open astronomical data sets and sonify it in conjunction to visualization. In this contribution, the sonoUno web version is presented, this version allows user to explore data sets without any installation. The data can be uploaded or a pre-loaded file can be opened, the sonification and the visual characteristics of the plot can be customized on the same window. The plot, sound and marks can be saved. The web interface were tested with the main used screen readers in order to confirm their good performance.


title: Adaptive sparseness for correntropy-based robust regression via automatic relevance determination

abstract: Sparseness and robustness are two important properties for many machine learning scenarios. In the present study, regarding the maximum correntropy criterion (MCC) based robust regression algorithm, we investigate to integrate the MCC method with the automatic relevance determination (ARD) technique in a Bayesian framework, so that MCC-based robust regression could be implemented with adaptive sparseness. To be specific, we use an inherent noise assumption from the MCC to derive an explicit likelihood function, and realize the maximum a posteriori (MAP) estimation with the ARD prior by variational Bayesian inference. Compared to the existing robust and sparse L1-regularized MCC regression, the proposed MCC-ARD regression can eradicate the troublesome tuning for the regularization hyper-parameter which controls the regularization strength. Further, MCC-ARD achieves superior prediction performance and feature selection capability than L1-regularized MCC, as demonstrated by a noisy and high-dimensional simulation study.


title: In-Context Retrieval-Augmented Language Models

abstract: Retrieval-Augmented Language Modeling (RALM) methods, which condition a language model (LM) on relevant documents from a grounding corpus during generation, were shown to significantly improve language modeling performance. In addition, they can mitigate the problem of factually inaccurate text generation and provide natural source attribution mechanism. Existing RALM approaches focus on modifying the LM architecture in order to facilitate the incorporation of external information, significantly complicating deployment. This paper considers a simple alternative, which we dub In-Context RALM: leaving the LM architecture unchanged and prepending grounding documents to the input, without any further training of the LM. We show that In-Context RALM that builds on off-the-shelf general purpose retrievers provides surprisingly large LM gains across model sizes and diverse corpora. We also demonstrate that the document retrieval and ranking mechanism can be specialized to the RALM setting to further boost performance. We conclude that In-Context RALM has considerable potential to increase the prevalence of LM grounding, particularly in settings where a pretrained LM must be used without modification or even via API access.


title: How can it be like that?

abstract: Richard Feynman famously said that nobody understands quantum mechanics and cautioned against asking: "But how can it be like that?" Something about the conceptual foundations of the theory is profoundly puzzling, but just what is so disturbing is not easy to pin down. Three books by Olival Freire (The Quantum Dissidents), Adam Becker (What is Real?), and Philip Ball (Beyond Weird) are about rival attempts to say how it can be like that and, in the case of the Freire and Becker books, about the hostility between opposing camps, which sometimes had devastating consequences for the professional careers of the protagonists. I review the issues raised in the three books, and I discuss what Bohr could have meant by the statement (attributed to Bohr by Aage Petersen) that "there is no quantum world," along the lines of a neo-Bohrian, non-representational interpretation of quantum mechanics. (Originally published, with minor changes, as a review article "Interpreting the quantum world: old questions and new answers.")


title: A New Approach to Sonification of Astrophysical Data: The User Centred Design of SonoUno

abstract: Even when actual technologies present the potential to augment inclusion and the United Nations has been stablished the digital access to information as a human right, people with disabilities continuously faced barriers in their profession. In many cases, in sciences, the lack of accessible and user centred tools left behind researches with disabilities and not facilitate them to conduct front-line research by using their respective strengths. In this contribution, we discuss some hurdles and solutions relevant for using new technology for data analysis, analysing the barriers found by final users. A focus group session was conducted with nine people with and without visual impairment, using the tool sonoUno with one linear function and an astronomical data set downloaded from the Sloan Digital Sky Survey. As a result of the focus group study, incorporating data analysis using sonification, we conclude that functionally diverse people require tools to be autonomous, thereby enabling precision, certainty, effectiveness and efficiency in their work, resulting in enhanced equity. This can be achieved by pursuing a user-centred design approach as integral to software development, and by adapting resources according to the research objectives. Development of tools that empower people with wide-ranging abilities to not only access data using multi-sensorial techniques, but also address the current lack of inclusion, is sorely needed.


title: Theory and Instrumentation of Fourier Transform Spectroscopy

abstract: Fourier transform spectroscopy (FTS) has been widely used as an analytical tool for many applications in science and engineering. In this paper, we describe the operation principle and practical implementation of an FTS prototype. First, the structure of an FTS setup based on optical interferometers is introduced, and its optical and electronic components are identified. A simple theory is presented to show the Fourier transform relationship between the measured interferogarm signal at the detector and the spectral intensity of the source. Then, simulation results based on ray-tracing method are demonstrated to show the effect of coherent length of the source on the spectral intensity. Finally, various practical considerations to implement an FTS setup including noise/interference reduction are discussed, and the effect of alignment on the measurement accuracy is investigated. Since the design and implementation of an FTS measurement setup requires the knowledge from various parts of physics and engineering education, therefore, we believe that FTS can provide a very comprehensive educational tool for the last year undergraduate and graduate students.


title: LM-GAN: A Photorealistic All-Weather Parametric Sky Model

abstract: We present LM-GAN, an HDR sky model that generates photorealistic environment maps with weathered skies. Our sky model retains the flexibility of traditional parametric models and enables the reproduction of photorealistic all-weather skies with visual diversity in cloud formations. This is achieved with flexible and intuitive user controls for parameters, including sun position, sky color, and atmospheric turbidity. Our method is trained directly from inputs fitted to real HDR skies, learning both to preserve the input's illumination and correlate it to the real reference's atmospheric components in an end-to-end manner. Our main contributions are a generative model trained on both sky appearance and scene rendering losses, as well as a novel sky-parameter fitting algorithm. We demonstrate that our fitting algorithm surpasses existing approaches in both accuracy and sky fidelity, and also provide quantitative and qualitative analyses, demonstrating LM-GAN's ability to match parametric input to photorealistic all-weather skies. The generated HDR environment maps are ready to use in 3D rendering engines and can be applied to a wide range of image-based lighting applications.


title: A Non-asymptotic Analysis of Generalized Approximate Message Passing Algorithms with Right Rotationally Invariant Designs

abstract: Approximate Message Passing (AMP) algorithms are a class of iterative procedures for computationally-efficient estimation in high-dimensional inference and estimation tasks. Due to the presence of an 'Onsager' correction term in its iterates, for $N \times M$ design matrices $\mathbf{A}$ with i.i.d. Gaussian entries, the asymptotic distribution of the estimate at any iteration of the algorithm can be exactly characterized in the large system limit as $M/N \rightarrow \delta \in (0, \infty)$ via a scalar recursion referred to as state evolution. In this paper, we show that appropriate functionals of the iterates, in fact, concentrate around their limiting values predicted by these asymptotic distributions with rates exponentially fast in $N$ for a large class of AMP-style algorithms, including those that are used when high-dimensional generalized linear regression models are assumed to be the data-generating process, like the generalized AMP algorithm, or those that are used when the measurement matrix is assumed to be right rotationally invariant instead of i.i.d. Gaussian, like vector AMP and generalized vector AMP. In practice, these more general AMP algorithms have many applications, for example in in communications or imaging, and this work provides the first study of finite sample behavior of such algorithms.


title: Mind the (optimality) Gap: A Gap-Aware Learning Rate Scheduler for Adversarial Nets

abstract: Adversarial nets have proved to be powerful in various domains including generative modeling (GANs), transfer learning, and fairness. However, successfully training adversarial nets using first-order methods remains a major challenge. Typically, careful choices of the learning rates are needed to maintain the delicate balance between the competing networks. In this paper, we design a novel learning rate scheduler that dynamically adapts the learning rate of the adversary to maintain the right balance. The scheduler is driven by the fact that the loss of an ideal adversarial net is a constant known a priori. The scheduler is thus designed to keep the loss of the optimized adversarial net close to that of an ideal network. We run large-scale experiments to study the effectiveness of the scheduler on two popular applications: GANs for image generation and adversarial nets for domain adaptation. Our experiments indicate that adversarial nets trained with the scheduler are less likely to diverge and require significantly less tuning. For example, on CelebA, a GAN with the scheduler requires only one-tenth of the tuning budget needed without a scheduler. Moreover, the scheduler leads to statistically significant improvements in model quality, reaching up to $27\%$ in Frechet Inception Distance for image generation and $3\%$ in test accuracy for domain adaptation.


title: Photon Counting Histogram Expectation Maximization Algorithm for Characterization of Deep Sub-Electron Read Noise Sensors

abstract: We develop a novel algorithm for characterizing Deep Sub-Electron Read Noise (DSERN) image sensors. This algorithm is able to simultaneously compute maximum likelihood estimates of quanta exposure, conversion gain, bias, and read noise of DSERN pixels from a single sample of data with less uncertainty than the traditional photon transfer method. Methods for estimating the starting point of the algorithm are also provided to allow for automated analysis. Demonstration through Monte Carlo numerical experiments are carried out to show the effectiveness of the proposed technique. In support of the reproducible research effort, all of the simulation and analysis tools developed are available on the MathWorks file exchange [1].


title: Exponential Crystal Relaxation Model With P-Laplacian

abstract: In this article we prove the global existence of weak solutions to an initial boundary value problem with an exponential and p-Laplacian nonlinearity. The equation is a continuum limit of a family of kinetic Monte Carlo models of crystal surface relaxation. In our investigation we find a weak solution where the exponent in the equation, $-\Delta_p u$, can have a singular part in accordance with the Lebesgue Decomposition Theorem. The singular portion of $-\Delta_p u$ corresponds to where $-\Delta_p u = -\infty$, which leads it to have a canceling effect with the exponential nonlinearity. This effect has already been demonstrated for the case of a linear exponent $p=2$, and for the time independent problem. Our investigation reveals that we can exploit this same effect in the time dependent case with nonlinear exponent. We obtain a solution by first forming a sequence of approximate solutions and then passing to the limit. The key to our existence result lies in the observation that one can still obtain the precompactness of the term $e^{-\Delta_p u}$ despite a complete lack of estimates in the time direction. However, we must assume that $1<p\leq 2$.


title: Efficient Generalization and Transportation

abstract: When estimating causal effects, it is important to assess external validity, i.e., determine how useful a given study is to inform a practical question for a specific target population. One challenge is that the covariate distribution in the population underlying a study may be different from that in the target population. If some covariates are effect modifiers, the average treatment effect (ATE) may not generalize to the target population. To tackle this problem, we propose new methods to generalize or transport the ATE from a source population to a target population, in the case where the source and target populations have different sets of covariates. When the ATE in the target population is identified, we propose new doubly robust estimators and establish their rates of convergence and limiting distributions. Under regularity conditions, the doubly robust estimators provably achieve the efficiency bound and are locally asymptotic minimax optimal. A sensitivity analysis is provided when the identification assumptions fail. Simulation studies show the advantages of the proposed doubly robust estimator over simple plug-in estimators. Importantly, we also provide minimax lower bounds and higher-order estimators of the target functionals. The proposed methods are applied in transporting causal effects of dietary intake on adverse pregnancy outcomes from an observational study to the whole U.S. female population.


title: Large Language Models Can Be Easily Distracted by Irrelevant Context

abstract: Large language models have achieved impressive performance on various natural language processing tasks. However, so far they have been evaluated primarily on benchmarks where all information in the input context is relevant for solving the task. In this work, we investigate the distractibility of large language models, i.e., how the model problem-solving accuracy can be influenced by irrelevant context. In particular, we introduce Grade-School Math with Irrelevant Context (GSM-IC), an arithmetic reasoning dataset with irrelevant information in the problem description. We use this benchmark to measure the distractibility of cutting-edge prompting techniques for large language models, and find that the model performance is dramatically decreased when irrelevant information is included. We also identify several approaches for mitigating this deficiency, such as decoding with self-consistency and adding to the prompt an instruction that tells the language model to ignore the irrelevant information.


title: The Impacts of Unanswerable Questions on the Robustness of Machine Reading Comprehension Models

abstract: Pretrained language models have achieved super-human performances on many Machine Reading Comprehension (MRC) benchmarks. Nevertheless, their relative inability to defend against adversarial attacks has spurred skepticism about their natural language understanding. In this paper, we ask whether training with unanswerable questions in SQuAD 2.0 can help improve the robustness of MRC models against adversarial attacks. To explore that question, we fine-tune three state-of-the-art language models on either SQuAD 1.1 or SQuAD 2.0 and then evaluate their robustness under adversarial attacks. Our experiments reveal that current models fine-tuned on SQuAD 2.0 do not initially appear to be any more robust than ones fine-tuned on SQuAD 1.1, yet they reveal a measure of hidden robustness that can be leveraged to realize actual performance gains. Furthermore, we find that the robustness of models fine-tuned on SQuAD 2.0 extends to additional out-of-domain datasets. Finally, we introduce a new adversarial attack to reveal artifacts of SQuAD 2.0 that current MRC models are learning.


title: XCRYPT: Accelerating Lattice Based Cryptography with Memristor Crossbar Arrays

abstract: This paper makes a case for accelerating lattice-based post quantum cryptography (PQC) with memristor based crossbars, and shows that these inherently error-tolerant algorithms are a good fit for noisy analog MAC operations in crossbars. We compare different NIST round-3 lattice-based candidates for PQC, and identify that SABER is not only a front-runner when executing on traditional systems, but it is also amenable to acceleration with crossbars. SABER is a module-LWR based approach, which performs modular polynomial multiplications with rounding. We map the polynomial multiplications in SABER on crossbars and show that analog dot-products can yield a $1.7-32.5\times$ performance and energy efficiency improvement, compared to recent hardware proposals. This initial design combines the innovations in multiple state-of-the-art works -- the algorithm in SABER and the memristive acceleration principles proposed in ISAAC (for deep neural network acceleration). We then identify the bottlenecks in this initial design and introduce several additional techniques to improve its efficiency. These techniques are synergistic and especially benefit from SABER's power-of-two modulo operation. First, we show that some of the software techniques used in SABER, that are effective on CPU platforms, are unhelpful in crossbar-based accelerators. Relying on simpler algorithms further improves our efficiencies by $1.3-3.6\times$. Second, we exploit the nature of SABER's computations to stagger the operations in crossbars and share a few variable precision ADCs, resulting in up to $1.8\times$ higher efficiency. Third, to further reduce ADC pressure, we propose a simple analog Shift-and-Add technique, which results in a $1.3-6.3\times$ increase in the efficiency. Overall, our designs achieve $3-15\times$ higher efficiency over initial design, and $3-51\times$ higher than prior work.


title: Ignore, Trust, or Negotiate: Understanding Clinician Acceptance of AI-Based Treatment Recommendations in Health Care

abstract: Artificial intelligence (AI) in healthcare has the potential to improve patient outcomes, but clinician acceptance remains a critical barrier. We developed a novel decision support interface that provides interpretable treatment recommendations for sepsis, a life-threatening condition in which decisional uncertainty is common, treatment practices vary widely, and poor outcomes can occur even with optimal decisions. This system formed the basis of a mixed-methods study in which 24 intensive care clinicians made AI-assisted decisions on real patient cases. We found that explanations generally increased confidence in the AI, but concordance with specific recommendations varied beyond the binary acceptance or rejection described in prior work. Although clinicians sometimes ignored or trusted the AI, they also often prioritized aspects of the recommendations to follow, reject, or delay in a process we term "negotiation." These results reveal novel barriers to adoption of treatment-focused AI tools and suggest ways to better support differing clinician perspectives.


title: Wiener densities for the Airy line ensemble

abstract: The parabolic Airy line ensemble $\mathfrak A$ is a central limit object in the KPZ universality class and related areas. On any compact set $K = \{1, \dots, k\} \times [a, a + t]$, the law of the recentered ensemble $\mathfrak A - \mathfrak A(a)$ has a density $X_K$ with respect to the law of $k$ independent Brownian motions. We show that $$ X_K(f) = \exp \left(-\textsf{S}(f) + o(\textsf{S}(f))\right) $$ where $\textsf{S}$ is an explicit, tractable, non-negative function of $f$. We use this formula to show that $X_K$ is bounded above by a $K$-dependent constant, give a sharp estimate on the size of the set where $X_K < \epsilon$ as $\epsilon \to 0$, and prove a large deviation principle for $\mathfrak A$. We also give density estimates that take into account the relative positions of the Airy lines, and prove sharp two-point tail bounds that are stronger than those for Brownian motion. These estimates are a key input in the classification of geodesic networks in the directed landscape. The paper is essentially self-contained, requiring only tail bounds on the Airy point process and the Brownian Gibbs property as inputs.


title: Deep Active Learning for Scientific Computing in the Wild

abstract: Deep learning (DL) is revolutionizing the scientific computing community. To reduce the data gap caused by usually expensive simulations or experimentation, active learning has been identified as a promising solution for the scientific computing community. However, the deep active learning (DAL) literature is currently dominated by image classification problems and pool-based methods, which are not directly transferrable to scientific computing problems, dominated by regression problems with no pre-defined 'pool' of unlabeled data. Here for the first time, we investigate the robustness of DAL methods for scientific computing problems using ten state-of-the-art DAL methods and eight benchmark problems. We show that, to our surprise, the majority of the DAL methods are not robust even compared to random sampling when the ideal pool size is unknown. We further analyze the effectiveness and robustness of DAL methods and suggest that diversity is necessary for a robust DAL for scientific computing problems.


title: Learning noisy-OR Bayesian Networks with Max-Product Belief Propagation

abstract: Noisy-OR Bayesian Networks (BNs) are a family of probabilistic graphical models which express rich statistical dependencies in binary data. Variational inference (VI) has been the main method proposed to learn noisy-OR BNs with complex latent structures (Jaakkola & Jordan, 1999; Ji et al., 2020; Buhai et al., 2020). However, the proposed VI approaches either (a) use a recognition network with standard amortized inference that cannot induce ``explaining-away''; or (b) assume a simple mean-field (MF) posterior which is vulnerable to bad local optima. Existing MF VI methods also update the MF parameters sequentially which makes them inherently slow. In this paper, we propose parallel max-product as an alternative algorithm for learning noisy-OR BNs with complex latent structures and we derive a fast stochastic training scheme that scales to large datasets. We evaluate both approaches on several benchmarks where VI is the state-of-the-art and show that our method (a) achieves better test performance than Ji et al. (2020) for learning noisy-OR BNs with hierarchical latent structures on large sparse real datasets; (b) recovers a higher number of ground truth parameters than Buhai et al. (2020) from cluttered synthetic scenes; and (c) solves the 2D blind deconvolution problem from Lazaro-Gredilla et al. (2021) and variant - including binary matrix factorization - while VI catastrophically fails and is up to two orders of magnitude slower.


title: Physics-informed Reduced-Order Learning from the First Principles for Simulation of Quantum Nanostructures

abstract: Multi-dimensional direct numerical simulation (DNS) of the Schr\"odinger equation is needed for design and analysis of quantum nanostructures that offer numerous applications in biology, medicine, materials, electronic/photonic devices, etc. In large-scale nanostructures, extensive computational effort needed in DNS may become prohibitive due to the high degrees of freedom (DoF). This study employs a reduced-order learning algorithm, enabled by the first principles, for simulation of the Schr\"odinger equation to achieve high accuracy and efficiency. The proposed simulation methodology is applied to investigate two quantum-dot structures; one operates under external electric field, and the other is influenced by internal potential variation with periodic boundary conditions. The former is similar to typical operations of nanoelectronic devices, and the latter is of interest to simulation and design of nanostructures and materials, such as applications of density functional theory. Using the proposed methodology, a very accurate prediction can be realized with a reduction in the DoF by more than 3 orders of magnitude and in the computational time by 2 orders, compared to DNS. The proposed physics-informed learning methodology is also able to offer an accurate prediction beyond the training conditions, including higher external field and larger internal potential in untrained quantum states.

categories: cs.CE cond-mat.mes-hall cs.LG physics.comp-ph


title: AstroPix: CMOS pixels in space

abstract: Space-based gamma-ray telescopes such as the Fermi Large Area Telescope have used single sided silicon strip detectors to measure the position of charged particles produced by incident gamma rays with high resolution. At energies in the Compton regime and below, two dimensional position information within a single detector is required. Double sided silicon strip detectors are one option; however, this technology is difficult to fabricate and large arrays are susceptible to noise. This work outlines the development and implementation of monolithic CMOS active pixel silicon sensors, AstroPix, for use in future gamma-ray telescopes. Based upon detectors designed using the HVCMOS process at the Karlsruhe Institute of Technology, AstroPix has the potential to maintain the high energy and angular resolution required of a medium-energy gamma-ray telescope while reducing noise with the dual detection-and-readout capabilities of a CMOS chip. The status of AstroPix development and testing as well as outlook for application in future telescopes is presented.


title: Towards Detecting Harmful Agendas in News Articles

abstract: Manipulated news online is a growing problem which necessitates the use of automated systems to curtail its spread. We argue that while misinformation and disinformation detection have been studied, there has been a lack of investment in the important open challenge of detecting harmful agendas in news articles; identifying harmful agendas is critical to flag news campaigns with the greatest potential for real world harm. Moreover, due to real concerns around censorship, harmful agenda detectors must be interpretable to be effective. In this work, we propose this new task and release a dataset, NewsAgendas, of annotated news articles for agenda identification. We show how interpretable systems can be effective on this task and demonstrate that they can perform comparably to black-box models.


title: Online Learning in Dynamically Changing Environments

abstract: We study the problem of online learning and online regret minimization when samples are drawn from a general unknown non-stationary process. We introduce the concept of a dynamic changing process with cost $K$, where the conditional marginals of the process can vary arbitrarily, but that the number of different conditional marginals is bounded by $K$ over $T$ rounds. For such processes we prove a tight (upto $\sqrt{\log T}$ factor) bound $O(\sqrt{KT\cdot\mathsf{VC}(\mathcal{H})\log T})$ for the expected worst case regret of any finite VC-dimensional class $\mathcal{H}$ under absolute loss (i.e., the expected miss-classification loss). We then improve this bound for general mixable losses, by establishing a tight (up to $\log^3 T$ factor) regret bound $O(K\cdot\mathsf{VC}(\mathcal{H})\log^3 T)$. We extend these results to general smooth adversary processes with unknown reference measure by showing a sub-linear regret bound for $1$-dimensional threshold functions under a general bounded convex loss. Our results can be viewed as a first step towards regret analysis with non-stationary samples in the distribution blind (universal) regime. This also brings a new viewpoint that shifts the study of complexity of the hypothesis classes to the study of the complexity of processes generating data.


title: NetMoST: A network-based machine learning approach for subtyping schizophrenia using polygenic SNP allele biomarkers

abstract: Subtyping neuropsychiatric disorders like schizophrenia is essential for improving the diagnosis and treatment of complex diseases. Subtyping schizophrenia is challenging because it is polygenic and genetically heterogeneous, rendering the standard symptom-based diagnosis often unreliable and unrepeatable. We developed a novel network-based machine-learning approach, netMoST, to subtyping psychiatric disorders. NetMoST identifies polygenic risk SNP-allele modules from genome-wide genotyping data as polygenic haplotype biomarkers (PHBs) for disease subtyping. We applied netMoST to subtype a cohort of schizophrenia subjects into three distinct biotypes with differentiable genetic, neuroimaging and functional characteristics. The PHBs of the first biotype (36.9% of all patients) were related to neurodevelopment and cognition, the PHBs of the second biotype (28.4%) were enriched for neuroimmune functions, and the PHBs of the third biotype (34.7%) were associated with the transport of calcium ions and neurotransmitters. Neuroimaging patterns provided additional support to the new biotypes, with unique regional homogeneity (ReHo) patterns observed in the brains of each biotype compared with healthy controls. Our findings demonstrated netMoST's capability for uncovering novel biotypes of complex diseases such as schizophrenia. The results also showed the power of exploring polygenic allelic patterns that transcend the conventional GWAS approaches.


title: Fourier series weight in quantum machine learning

abstract: In this work, we aim to confirm the impact of the Fourier series on the quantum machine learning model. We will propose models, tests, and demonstrations to achieve this objective. We designed a quantum machine learning leveraged on the Hamiltonian encoding. With a subtle change, we performed the trigonometric interpolation, binary and multiclass classifier, and a quantum signal processing application. We also proposed a block diagram of determining approximately the Fourier coefficient based on quantum machine learning. We performed and tested all the proposed models using the Pennylane framework.


title: Truthful Incentive Mechanism for Federated Learning with Crowdsourced Data Labeling

abstract: Federated learning (FL) has emerged as a promising paradigm that trains machine learning (ML) models on clients' devices in a distributed manner without the need of transmitting clients' data to the FL server. In many applications of ML, the labels of training data need to be generated manually by human agents. In this paper, we study FL with crowdsourced data labeling where the local data of each participating client of FL are labeled manually by the client. We consider the strategic behavior of clients who may not make desired effort in their local data labeling and local model computation and may misreport their local models to the FL server. We characterize the performance bounds on the training loss as a function of clients' data labeling effort, local computation effort, and reported local models. We devise truthful incentive mechanisms which incentivize strategic clients to make truthful efforts and report true local models to the server. The truthful design exploits the non-trivial dependence of the training loss on clients' efforts and local models. Under the truthful mechanisms, we characterize the server's optimal local computation effort assignments. We evaluate the proposed FL algorithms with crowdsourced data labeling and the incentive mechanisms using experiments.


title: Distributed sequential federated learning

abstract: The analysis of data stored in multiple sites has become more popular, raising new concerns about the security of data storage and communication. Federated learning, which does not require centralizing data, is a common approach to preventing heavy data transportation, securing valued data, and protecting personal information protection. Therefore, determining how to aggregate the information obtained from the analysis of data in separate local sites has become an important statistical issue. The commonly used averaging methods may not be suitable due to data nonhomogeneity and incomparable results among individual sites, and applying them may result in the loss of information obtained from the individual analyses. Using a sequential method in federated learning with distributed computing can facilitate the integration and accelerate the analysis process. We develop a data-driven method for efficiently and effectively aggregating valued information by analyzing local data without encountering potential issues such as information security and heavy transportation due to data communication. In addition, the proposed method can preserve the properties of classical sequential adaptive design, such as data-driven sample size and estimation precision when applied to generalized linear models. We use numerical studies of simulated data and an application to COVID-19 data collected from 32 hospitals in Mexico, to illustrate the proposed method.


title: Small area estimation under unit-level generalized additive models for location, scale and shape

abstract: We propose a Small Area Estimation model based on Generalized Additive Models for Location, Scale and Shape (SAE-GAMLSS), for the estimation of household economic indicators. SAE-GAMLSS release the exponential family distributional assumption and allow each distributional parameter to depend on covariates. A bootstrap approach to estimate MSE is proposed. The SAE-GAMLSS estimator shows a largely better performance than the well-known EBLUP, under various simulated scenarios. Based on SAE-GAMLSS per-capita consumption of Italian and foreign households in Italian regions, in urban and rural areas, is estimated. Results show that the well-known Italian North-South divide does not hold for foreigners.


title: OrthoReg: Improving Graph-regularized MLPs via Orthogonality Regularization

abstract: Graph Neural Networks (GNNs) are currently dominating in modeling graph-structure data, while their high reliance on graph structure for inference significantly impedes them from widespread applications. By contrast, Graph-regularized MLPs (GR-MLPs) implicitly inject the graph structure information into model weights, while their performance can hardly match that of GNNs in most tasks. This motivates us to study the causes of the limited performance of GR-MLPs. In this paper, we first demonstrate that node embeddings learned from conventional GR-MLPs suffer from dimensional collapse, a phenomenon in which the largest a few eigenvalues dominate the embedding space, through empirical observations and theoretical analysis. As a result, the expressive power of the learned node representations is constrained. We further propose OrthoReg, a novel GR-MLP model to mitigate the dimensional collapse issue. Through a soft regularization loss on the correlation matrix of node embeddings, OrthoReg explicitly encourages orthogonal node representations and thus can naturally avoid dimensionally collapsed representations. Experiments on traditional transductive semi-supervised classification tasks and inductive node classification for cold-start scenarios demonstrate its effectiveness and superiority.


title: Dilute Rhenium Doping and its Impact on Intrinsic Defects in MoS2

abstract: Substitutionally-doped 2D transition metal dichalcogenides are primed for next-generation device applications such as field effect transistors (FET), sensors, and optoelectronic circuits. In this work, we demonstrate substitutional Rhenium (Re) doping of MoS2 monolayers with controllable concentrations down to 500 parts-per-million (ppm) by metal-organic chemical vapor deposition (MOCVD). Surprisingly, we discover that even trace amounts of Re lead to a reduction in sulfur site defect density by 5-10x. Ab initio models indicate the free-energy of sulfur-vacancy formation is increased along the MoS2 growth-front when Re is introduced, resulting in an improved stoichiometry. Remarkably, defect photoluminescence (PL) commonly seen in as-grown MOCVD MoS2 is suppressed by 6x at 0.05 atomic percent (at.%) Re and completely quenched with 1 at.% Re. Furthermore, Re-MoS2 transistors exhibit up to 8x higher drain current and enhanced mobility compared to undoped MoS2 because of the improved material quality. This work provides important insights on how dopants affect 2D semiconductor growth dynamics, which can lead to improved crystal quality and device performance.


title: Learning Universal Policies via Text-Guided Video Generation

abstract: A goal of artificial intelligence is to construct an agent that can solve a wide variety of tasks. Recent progress in text-guided image synthesis has yielded models with an impressive ability to generate complex novel images, exhibiting combinatorial generalization across domains. Motivated by this success, we investigate whether such tools can be used to construct more general-purpose agents. Specifically, we cast the sequential decision making problem as a text-conditioned video generation problem, where, given a text-encoded specification of a desired goal, a planner synthesizes a set of future frames depicting its planned actions in the future, after which control actions are extracted from the generated video. By leveraging text as the underlying goal specification, we are able to naturally and combinatorially generalize to novel goals. The proposed policy-as-video formulation can further represent environments with different state and action spaces in a unified space of images, which, for example, enables learning and generalization across a variety of robot manipulation tasks. Finally, by leveraging pretrained language embeddings and widely available videos from the internet, the approach enables knowledge transfer through predicting highly realistic video plans for real robots.


title: Adding an Edge in a $P_4$-sparse Graph

abstract: The minimum completion (fill-in) problem is defined as follows: Given a graph family $\mathcal{F}$ (more generally, a property $\Pi$) and a graph $G$, the completion problem asks for the minimum number of non-edges needed to be added to $G$ so that the resulting graph belongs to the graph family $\mathcal{F}$ (or has property $\Pi$). This problem is NP-complete for many subclasses of perfect graphs and polynomial solutions are available only for minimal completion sets. We study the minimum completion problem of a $P_4$-sparse graph $G$ with an added edge. For any optimal solution of the problem, we prove that there is an optimal solution whose form is of one of a small number of possibilities. This along with the solution of the problem when the added edge connects two non-adjacent vertices of a spider or connects two vertices in different connected components of the graph enables us to present a polynomial-time algorithm for the problem.


title: Fast and Noise-Resilient Magnetic Field Mapping on a Low-Cost UAV Using Gaussian Process Regression

abstract: This work presents a number of techniques to improve the ability to create magnetic field maps on a UAV which can be used to quickly and reliably gather magnetic field observations at multiple altitudes in a workspace. Unfortunately, the electronics on the UAV can introduce their own magnetic fields, distorting the resultant magnetic field map. We show methods of reducing and working with UAV-induced noise to better enable magnetic fields as a sensing modality for indoor navigation. First, some gains in our flight controller create high-frequency motor commands that introduce large noise in the measured magnetic field. Next, we implement a common noise reduction method of distancing the magnetometer from other components on our UAV. Finally, we introduce what we call a compromise GPR (Gaussian process regression) map that can be trained on multiple flight tests to learn any flight-by-flight variations between UAV observation tests. We investigate the spatial density of observations used to train a GPR map then use the compromise map to define a consistency test that can indicate whether or not the magnetometer data and corresponding GPR map are appropriate to use for state estimation. The interventions we introduce in this work facilitate indoor position localization of a UAV whose estimates we found to be quite sensitive to noise generated by the UAV.


title: Real-time quantitative imaging of RTV silicone pyrolysis

abstract: Quantitative microstructural analysis of Room Temperature Vulcanized (RTV) silicone pyrolysis at high temperatures is presented. RTV is used as a bonding agent in multiple industries, particularly filling gaps in ablative tiles for hypersonic (re-)entry vehicles and fire prevention. Decomposition of RTV is resolved in real time using in situ high-temperature X-ray computed micro-tomography. Full tomographies are acquired every 90~seconds for four different linear heating rates ranging from 7 to 54 C/min. The microstructure is resolved below 5 micro-meters/pixel, allowing for a full quantitative analysis of the micro-structural evolution and porous network development. Results are highly heating rate dependent, and are evaluated for bulk sample volume change, porosity, pore network size, and observed densification from X-ray attenuation. The outcome of this work is critical to develop multi-physics models for thermal response.


title: On Memory Codelets: Prefetching, Recoding, Moving and Streaming Data

abstract: For decades, memory capabilities have scaled up much slower than compute capabilities, leaving memory utilization as a major bottleneck. Prefetching and cache hierarchies mitigate this in applications with easily predictable memory accesses or those with high locality. In other applications like sparse linear algebra or graph-based applications, these strategies do not achieve effective utilization of memory. This is the case for the von Neumann model of computation, but other program execution models (PXM) provide different opportunities. Furthermore, the problem is complicated by increasing levels of heterogeneity and devices' varying memory subsystems. The Codelet PXM presented in this paper provides a program structure that allows for well-defined prefetching, streaming, and recoding operations to improve memory utilization and efficiently coordinate data movement with respect to computation. We propose the Memory Codelet, an extension to the original Codelet Model, to provide users these functionalities in a well-defined manner within the Codelet PXM.


title: Control-Tree Optimization: an approach to MPC under discrete Partial Observability

abstract: This paper presents a new approach to Model Predictive Control for environments where essential, discrete variables are partially observed. Under this assumption, the belief state is a probability distribution over a finite number of states. We optimize a \textit{control-tree} where each branch assumes a given state-hypothesis. The control-tree optimization uses the probabilistic belief state information. This leads to policies more optimized with respect to likely states than unlikely ones, while still guaranteeing robust constraint satisfaction at all times. We apply the method to both linear and non-linear MPC with constraints. The optimization of the \textit{control-tree} is decomposed into optimization subproblems that are solved in parallel leading to good scalability for high number of state-hypotheses. We demonstrate the real-time feasibility of the algorithm on two examples and show the benefits compared to a classical MPC scheme optimizing w.r.t. one single hypothesis.


title: Real Estate Property Valuation using Self-Supervised Vision Transformers

abstract: The use of Artificial Intelligence (AI) in the real estate market has been growing in recent years. In this paper, we propose a new method for property valuation that utilizes self-supervised vision transformers, a recent breakthrough in computer vision and deep learning. Our proposed algorithm uses a combination of machine learning, computer vision and hedonic pricing models trained on real estate data to estimate the value of a given property. We collected and pre-processed a data set of real estate properties in the city of Boulder, Colorado and used it to train, validate and test our algorithm. Our data set consisted of qualitative images (including house interiors, exteriors, and street views) as well as quantitative features such as the number of bedrooms, bathrooms, square footage, lot square footage, property age, crime rates, and proximity to amenities. We evaluated the performance of our model using metrics such as Root Mean Squared Error (RMSE). Our findings indicate that these techniques are able to accurately predict the value of properties, with a low RMSE. The proposed algorithm outperforms traditional appraisal methods that do not leverage property images and has the potential to be used in real-world applications.


title: Measure-theoretic approach to negative probabilities

abstract: In this work, we elaborate on a measure-theoretic approach to negative probabilities. We study a natural notion of contextuality measure and characterize its main properties. Then, we apply this measure to relevant examples of quantum physics. In particular, we study the role played by contextuality in quantum computing circuits.


title: Machine Translation Impact in E-commerce Multilingual Search

abstract: Previous work suggests that performance of cross-lingual information retrieval correlates highly with the quality of Machine Translation. However, there may be a threshold beyond which improving query translation quality yields little or no benefit to further improve the retrieval performance. This threshold may depend upon multiple factors including the source and target languages, the existing MT system quality and the search pipeline. In order to identify the benefit of improving an MT system for a given search pipeline, we investigate the sensitivity of retrieval quality to the presence of different levels of MT quality using experimental datasets collected from actual traffic. We systematically improve the performance of our MT systems quality on language pairs as measured by MT evaluation metrics including Bleu and Chrf to determine their impact on search precision metrics and extract signals that help to guide the improvement strategies. Using this information we develop techniques to compare query translations for multiple language pairs and identify the most promising language pairs to invest and improve.


title: Holistic Cube Analysis: A Query Framework for Data Insights

abstract: Many data insight questions can be viewed as searching in a large space of tables and finding important ones, where the notion of importance is defined in some adhoc user defined manner. This paper presents Holistic Cube Analysis (HoCA), a framework that augments the capabilities of relational queries for such problems. HoCA first augments the relational data model and introduces a new data type AbstractCube, defined as a function which maps a region-features pair to a relational table (a region is a tuple which specifies values of a set of dimensions). AbstractCube provides a logical form of data, and HoCA operators are cube-to-cube transformations. We describe two basic but fundamental HoCA operators, cube crawling and cube join (with many possible extensions). Cube crawling explores a region space, and outputs a cube that maps regions to signal vectors. Cube join, in turn, is critical for composition, allowing one to join information from different cubes for deeper analysis. Cube crawling introduces two novel programming features, (programmable) Region Analysis Models (RAMs) and Multi-Model Crawling. Crucially, RAM has a notion of population features, which allows one to go beyond only analyzing local features at a region, and program region-population analysis that compares region and population features, capturing a large class of importance notions. HoCA has a rich algorithmic space, such as optimizing crawling and join performance, and physical design of cubes. We have implemented and deployed HoCA at Google. Our early HoCA offering has attracted more than 30 teams building applications with it, across a diverse spectrum of fields including system monitoring, experimentation analysis, and business intelligence. For many applications, HoCA empowers novel and powerful analyses, such as instances of recurrent crawling, which are challenging to achieve otherwise.


title: Homogeneous multigrid method for HDG applied to the Stokes equation

abstract: We propose a multigrid method to solve the linear system of equations arising from a hybrid discontinuous Galerkin (in particular, a single face hybridizable, a hybrid Raviart--Thomas, or a hybrid Brezzi--Douglas--Marini) discretization of a Stokes problem. Our analysis is centered around the augmented Lagrangian approach and we prove uniform convergence in this setting. Numerical experiments underline our analytical findings.


title: Chance-Constrained Trajectory Optimization for High-DOF Robots in Uncertain Environments

abstract: Many practical applications of robotics require systems that can operate safely despite uncertainty. In the context of motion planning, two types of uncertainty are particularly important when planning safe robot trajectories. The first is environmental uncertainty -- uncertainty in the locations of nearby obstacles, stemming from sensor noise or (in the case of obstacles' future locations) prediction error. The second class of uncertainty is uncertainty in the robots own state, typically caused by tracking or estimation error. To achieve high levels of safety, it is necessary for robots to consider both of these sources of uncertainty. In this paper, we propose a risk-bounded trajectory optimization algorithm, known as Sequential Convex Optimization with Risk Optimization (SCORA), to solve chance-constrained motion planning problems despite both environmental uncertainty and tracking error. Through experiments in simulation, we demonstrate that SCORA significantly outperforms state-of-the-art risk-aware motion planners both in planning time and in the safety of the resulting trajectories.


title: Design and Implementation of A Soccer Ball Detection System with Multiple Cameras

abstract: The detection of small and medium-sized objects in three dimensions has always been a frontier exploration problem. This technology has a very wide application in sports analysis, games, virtual reality, human animation and other fields. The traditional three-dimensional small target detection technology has the disadvantages of high cost, low precision and inconvenience, so it is difficult to apply in practice. With the development of machine learning and deep learning, the technology of computer vision algorithms is becoming more mature. Creating an immersive media experience is considered to be a very important research work in sports. The main work is to explore and solve the problem of football detection under the multiple cameras, aiming at the research and implementation of the live broadcast system of football matches. Using multi cameras detects a target ball and determines its position in three dimension with the occlusion, motion, low illumination of the target object. This paper designed and implemented football detection system under multiple cameras for the detection and capture of targets in real-time matches. The main work mainly consists of three parts, football detector, single camera detection, and multi-cameras detection. The system used bundle adjustment to obtain the three-dimensional position of the target, and the GPU to accelerates data pre-processing and achieve accurate real-time capture of the target. By testing the system, it shows that the system can accurately detect and capture the moving targets in 3D. In addition, the solution in this paper is reusable for large-scale competitions, like basketball and soccer. The system framework can be well transplanted into other similar engineering project systems. It has been put into the market.


title: Few-photon single ionization of cold rubidium in the over-the-barrier regime

abstract: Photoionization of the rubidium (Rb) atoms cooled in a magneto-optical trap, characterized by the coexistence of the ground 5$S_{1/2}$ and the excited 5$P_{3/2}$ states, is investigated experimentally and theoretically with the 400 nm femtosecond laser pulses at intensities of $I=3\times10^9$ W/cm$^2$ - $4.5\times10^{12}$ W/cm$^2$. Recoil-ion momentum distribution (RIMD) of Rb$^+$ exhibits rich ring-like structures and their energies correspond to one-photon ionization of the 5$P_{3/2}$ state, two-photon and three-photon ionizations of the 5$S_{1/2}$ state, respectively. With the increasing of $I$, we find that experimental signals near zero-momentum (NZM) in RIMDs resulted from the 5$P_{3/2}$ state enhance dramatically and its peaked Rb$^+$ momenta dwindle obviously while that from the 5$S_{1/2}$ state is maintained. Meanwhile, the ion-yield ratio of the 5$S_{1/2}$ over the 5$P_{3/2}$ states varies from $I$ to $I^{1.5}$ as $I$ increases. These features indicate a transition from perturbative ionization to strong-perturbative ionization for the 5$P_{3/2}$ state. Numerical simulations by solving the time-dependent Schr\"odinger equation (TDSE) can qualitatively explain the measurements of RIMD, photoion angular distributions, as well as ion-yield ratio. However, some discrepancies still exist, especially for the NZM dip, which could stem from the electron-electron correlation that is neglected in the present TDSE simulations since we have adopted the single-active-electron approximation.


title: Anisotropic stars made of exotic matter within the complexity factor formalism

abstract: We investigate exotic stars composed of dark energy within the context of Einstein's General Relativity, by applying an extended Chaplygin gas equation-of-state. To account for anisotropies, we utilize a formalism based on the complexity factor to obtain numerical solutions. By applying well-established criteria, we demonstrate that the solutions are physically valid and well-behaved. In addition, a comparison with a more conventional approach is also conducted.


title: Simulated sulfur K-edge X-ray absorption spectroscopy database of lithium thiophosphate solid electrolytes

abstract: X-ray absorption spectroscopy (XAS) is a premier technique for materials characterization, providing key information about the local chemical environment of the absorber atom. In this work, we develop a database of sulfur K-edge XAS spectra of crystalline and amorphous lithium thiophosphate materials based on the atomic structures reported in Chem. Mater., 34, 6702 (2022). The XAS database is based on simulations using the excited electron and core-hole pseudopotential approach implemented in the Vienna Ab initio Simulation Package. Our database contains 2681 S K-edge XAS spectra for 66 crystalline and glassy structure models, making it the largest collection of first-principles computational XAS spectra for glass/ceramic lithium thiophosphates to date. This database can be used to correlate S spectral features with distinct S species based on their local coordination and short-range ordering in sulfide-based solid electrolytes. The data is openly distributed via the Materials Cloud, allowing researchers to access it for free and use it for further analysis, such as spectral fingerprinting, matching with experiments, and developing machine learning models.


title: Exponential integrators for mean-field selective optimal control problems

abstract: In this paper we consider mean-field optimal control problems with selective action of the control, where the constraint is a continuity equation involving a non-local term and diffusion. First order optimality conditions are formally derived in a general framework, accounting for boundary conditions. Hence, the optimality system is used to construct a reduced gradient method, where we introduce a novel algorithm for the numerical realization of the forward and the backward equations, based on exponential integrators. We illustrate extensive numerical experiments on different control problems for collective motion in the context of opinion formation and pedestrian dynamics.


title: TBAM: Towards An Agent-Based Model to Enrich Twitter Data

abstract: Twitter (one example of microblogging) is widely being used by researchers to understand human behavior, specifically how people behave when a significant event occurs and how it changes user microblogging patterns. The changing microblogging behavior can reveal patterns that can help in detecting real-world events. However, the Twitter data that is available has limitations, such as, it is incomplete and noisy and the samples are irregular. In this paper we create a model, called Twitter Behavior Agent-Based Model (TBAM) to simulate Twitter pattern and behavior using Agent-Based Modeling (ABM). The generated data from ABM simulations can be used in place or to complement the real-world data toward improving the accuracy of event detection. We confirm the validity of our model by finding the cross-correlation between the real data collected from Twitter and the data generated using TBAM.


title: Universal Topological Regularities of Syntactic Structures: Decoupling Efficiency from Optimization

abstract: Human syntactic structures are usually represented as graphs. Much research has focused on the mapping between such graphs and linguistic sequences, but less attention has been paid to the shapes of the graphs themselves: their topologies. This study investigates how the topologies of syntactic graphs reveal traces of the processes that led to their emergence. I report a new universal regularity in syntactic structures: Their topology is communicatively efficient above chance. The pattern holds, without exception, for all 124 languages studied, across linguistic families and modalities (spoken, written, and signed). This pattern can arise from a process optimizing for communicative efficiency or, alternatively, by construction, as a by-effect of a sublinear preferential attachment process reflecting language production mechanisms known from psycholinguistics. This dual explanation shows how communicative efficiency, per se, does not require optimization. Among the two options, efficiency without optimization offers the better explanation for the new pattern.


title: Splitting probabilities for dynamics in corrugated channels: passive VS active Brownian motion

abstract: In many practically important problems which rely on particles' transport in realistic corrugated channels, one is interested to know the probability that either of the extremities, (e.g., the one containing a chemically active site, or connected to a broader channel), is reached before the other one. In mathematical literature, the latter are called the "splitting" probabilities (SPs). Here, within the Fick-Jacobs approach, we study analytically the SPs as functions of system's parameters for dynamics in three-dimensional corrugated channels, confronting standard diffusion and active Brownian motion. Our analysis reveals some similarities in the behavior and also some markedly different features, which can be seen as fingerprints of the activity of particles.


title: Chemical diversity of gas in distant galaxies: The metal and dust enrichment and variations within absorbing galaxies

abstract: The chemical composition of gas in galaxies can be measured in detail from absorption spectroscopy. By studying gas in galaxies in this way, it is possible to investigate the small and faint galaxies, which are the most numerous in the universe. In particular, the chemical distribution of gas in absorbing systems gives us insight into cycles of gas in and around galaxies. Here we study chemical enrichment within 64 Damped Lyman-alpha Absorption (DLA) systems between $1.7 < z < 4.2$. We use high-resolution spectra from VLT/UVES to infer dust depletion from relative abundances of several metals. We perform a component-by-component analysis within DLAs, and characterise variations in their chemical enrichment. Unlike hydrogen, the metal columns can be characterised for individual components. We use them to derive the dust depletion ([Zn/Fe]fit), as an indicator for chemical enrichment. We find that some DLAs are chemically diverse within themselves, with [Zn/Fe]fit ranging up to 0.62 dex within a single system. This suggests that absorbing gas within these galaxies is chemically diverse. Although we do not find a clear trend of decreasing dust depletion with redshift, we do see that the most chemically enriched systems are at lower redshifts. We also observe evidence for dust-poor components at all redshifts, which may be due to the accretion of pristine gas onto galaxies. We combine the chemical and kinematic properties of the individual gas components and observe potential signatures of infalling gas, with low depletion at velocities below $\sim$100km/s, and outflows, with high depletion and velocities of $\sim$600km/s. We find over-abundances of alpha-elements (an enhancement of $\sim$0.3dex) and under-abundances of Mn in several components, which is likely a signature of core-collapse SNe nucleosythesis in the ISM. We observe these effects mostly at lower levels of chemical enrichment.


title: The Neumann Green function and scale invariant regularity estimates for elliptic equations with Neumann data in Lipschitz domains

abstract: We construct the Neumann Green function and establish scale invariant regularity estimates for solutions to the Neumann problem for the elliptic operator $Lu=-{\rm div}({\bf A} \nabla u+ \boldsymbol{b}u)+ \boldsymbol{c} \cdot \nabla u+du$ in a Lipschitz domain $\Omega$. We assume that ${\bf A}$ is elliptic and bounded, that the lower order coefficients belong to scale invariant Lebesgue spaces, and that either $d\geq{\rm div}\boldsymbol{b}$ in $\Omega$ and $\boldsymbol{b}\cdot\nu\geq 0$ on $\partial\Omega$ in the sense of distributions, or the analogous condition for $\boldsymbol{c}$ holds. We develop the $L^2$ theory, construct the Neumann Green function and show estimates in the respective optimal spaces, and show local and global pointwise estimates for solutions. The main novelty is that our estimates are scale invariant, since our constants depend on the lower order coefficients only via their norms, and on the Lipschitz domain only via its Lipschitz character. Moreover, our pointwise estimates are shown in the optimal scale invariant setting for the inhomogeneous terms and the Neumann data.


title: Sublinear Approximation Schemes for Scheduling Precedence Graphs of Bounded Depth

abstract: We study the classical scheduling problem on parallel machines %with precedence constraints where the precedence graph has the bounded depth $h$. Our goal is to minimize the maximum completion time. We focus on developing approximation algorithms that use only sublinear space or sublinear time. We develop the first one-pass streaming approximation schemes using sublinear space when all jobs' processing times differ no more than a constant factor $c$ and the number of machines $m$ is at most $\tfrac {2n \epsilon}{3 h c }$. This is so far the best approximation we can have in terms of $m$, since no polynomial time approximation better than $\tfrac{4}{3}$ exists when $m = \tfrac{n}{3}$ unless P=NP. %the problem cannot be approximated within a factor of $\tfrac{4}{3}$ when $m = \tfrac{n}{3}$ even if all jobs have equal processing time. The algorithms are then extended to the more general problem where the largest $\alpha n$ jobs have no more than $c$ factor difference. % for some constant $0 < \alpha \le 1$. We also develop the first sublinear time algorithms for both problems. For the more general problem, when $ m \le \tfrac { \alpha n \epsilon}{20 c^2 \cdot h } $, our algorithm is a randomized $(1+\epsilon)$-approximation scheme that runs in sublinear time. This work not only provides an algorithmic solution to the studied problem under big data % and cloud computing environment, but also gives a methodological framework for designing sublinear approximation algorithms for other scheduling problems.


title: Learning Risk-Aware Costmaps via Inverse Reinforcement Learning for Off-Road Navigation

abstract: The process of designing costmaps for off-road driving tasks is often a challenging and engineering-intensive task. Recent work in costmap design for off-road driving focuses on training deep neural networks to predict costmaps from sensory observations using corpora of expert driving data. However, such approaches are generally subject to over-confident mispredictions and are rarely evaluated in-the-loop on physical hardware. We present an inverse reinforcement learning-based method of efficiently training deep cost functions that are uncertainty-aware. We do so by leveraging recent advances in highly parallel model-predictive control and robotic risk estimation. In addition to demonstrating improvement at reproducing expert trajectories, we also evaluate the efficacy of these methods in challenging off-road navigation scenarios. We observe that our method significantly outperforms a geometric baseline, resulting in 44% improvement in expert path reconstruction and 57% fewer interventions in practice. We also observe that varying the risk tolerance of the vehicle results in qualitatively different navigation behaviors, especially with respect to higher-risk scenarios such as slopes and tall grass.


title: Durable Algorithms for Writable LL/SC and CAS with Dynamic Joining

abstract: We present durable implementations for two well known universal primitives -- CAS (compare-and-swap), and its ABA-free counter-part LLSC (load-linked, store-conditional). All our implementations are: writable, meaning they support a Write() operation; have constant time complexity per operation; allow for dynamic joining, meaning newly created processes (a.k.a. threads) of arbitrary names can join a protocol and access our implementations; and have adaptive space complexities, meaning the space use scales in the number of processes $n$ that actually use the objects, as opposed to previous protocols which are designed for a maximum number of processes $N$. Our durable Writable-CAS implementation, DuraCAS, requires $O(m + n)$ space to support $m$ objects that get accessed by $n$ processes, improving on the state-of-the-art $O(m + N^2)$. By definition, LLSC objects must store "contexts" in addition to object values. Our Writable-LLSC implementation, DuraLL, requires $O(m + n + C)$ space, where $C$ is the number of "contexts" stored across all the objects. While LLSC has an advantage over CAS due to being ABA-free, the object definition seems to require additional space usage. To address this trade-off, we define an External Context (EC) variant of LLSC. Our EC Writable-LLSC implementation is ABA-free and has a space complexity of just $O(m + n)$. To our knowledge, we are the first to present durable CAS algorithms that allow for dynamic joining, and our algorithms are the first to exhibit adaptive space complexities. To our knowledge, we are the first to implement any type of durable LLSC objects.


title: Learning Topology-Preserving Data Representations

abstract: We propose a method for learning topology-preserving data representations (dimensionality reduction). The method aims to provide topological similarity between the data manifold and its latent representation via enforcing the similarity in topological features (clusters, loops, 2D voids, etc.) and their localization. The core of the method is the minimization of the Representation Topology Divergence (RTD) between original high-dimensional data and low-dimensional representation in latent space. RTD minimization provides closeness in topological features with strong theoretical guarantees. We develop a scheme for RTD differentiation and apply it as a loss term for the autoencoder. The proposed method "RTD-AE" better preserves the global structure and topology of the data manifold than state-of-the-art competitors as measured by linear correlation, triplet distance ranking accuracy, and Wasserstein distance between persistence barcodes.


title: Quantization of the Energy for the inhomogeneous Allen-Cahn mean curvature

abstract: We consider the varifold associated to the Allen--Cahn phase transition problem in $\mathbb R^{n+1}$(or $n+1$-dimensional Riemannian manifolds with bounded curvature) with integral $L^{q_0}$ bounds on the Allen--Cahn mean curvature (first variation of the Allen--Cahn energy) in this paper. It is shown here that there is an equidistribution of energy between the Dirichlet and Potential energy in the phase field limit and that the associated varifold to the total energy converges to an integer rectifiable varifold with mean curvature in $L^{q_0}, q_0 > n$. The latter is a diffused version of Allard's convergence theorem for integer rectifiable varifolds.


title: Generating High Fidelity Synthetic Data via Coreset selection and Entropic Regularization

abstract: Generative models have the ability to synthesize data points drawn from the data distribution, however, not all generated samples are high quality. In this paper, we propose using a combination of coresets selection methods and ``entropic regularization'' to select the highest fidelity samples. We leverage an Energy-Based Model which resembles a variational auto-encoder with an inference and generator model for which the latent prior is complexified by an energy-based model. In a semi-supervised learning scenario, we show that augmenting the labeled data-set, by adding our selected subset of samples, leads to better accuracy improvement rather than using all the synthetic samples.


title: Exploring numerical blow-up phenomena for the Keller-Segel-Navier-Stokes equations

abstract: The Keller-Segel-Navier-Stokes system governs chemotaxis in liquid environments. This system is to be solved for the organism and chemoattractant densities and for the fluid velocity and pressure. It is known that if the total initial cell density mass is below $2\pi$ there exist globally defined generalised solutions, but what is less understood is whether there are blow-up solutions beyond such a threshold and its optimality. Motivated by this issue, a numerical blow-up scenario is investigated. Approximate solutions computed via a stabilised finite element method founded on a shock capturing technique are such that they satisfy \emph{a priori} bounds as well as lower and $L^1(\Omega)$ bounds for the cell and chemoattractant densities. In particular, this latter properties are essential in detecting numerical blow-up configurations, since the non-satisfaction of these two requirements might trigger numerical oscillations leading to non-realistic finite-time collapses into persistent Dirac-type measures. Our findings show that the existence threshold value $2\pi$ encountered for the cell density mass may not be optimal and hence it is conjectured that the critical threshold value $4\pi$ may be inherited from the fluid-free Keller-Segel equations. Additionally it is observed that the formation of singular points can be neglected if the fluid flow is intensified.


title: Coulomb potential determining terahertz polarization in two-color laser field

abstract: The orientation and ellipticity of terahertz (THz) polarization generated by two-color strong field not only cast light on underlying mechanisms of laser-matter interaction, but also play an important role for various applications. We develop the Coulomb-corrected classical trajectory Monte Carlo (CTMC) method to well reproduce the joint measurements, that the THz polarization generated by the linearly-polarized 800 nm and circularly-polarized 400 nm fields is independent on two-color phase delay. The trajectory analysis shows that the Coulomb potential twists the THz polarization by deflecting the orientation of asymptotic momentum of electron trajectories. Further, the CTMC calculations predict that, the two-color mid-infrared field can effectively accelerate the electron rapidly away from the parent core to relieve the disturbance of Coulomb potential, and simultaneously create large transverse acceleration of trajectories, leading to the circularly-polarized THz radiation.


title: Revisiting Bellman Errors for Offline Model Selection

abstract: Offline model selection (OMS), that is, choosing the best policy from a set of many policies given only logged data, is crucial for applying offline RL in real-world settings. One idea that has been extensively explored is to select policies based on the mean squared Bellman error (MSBE) of the associated Q-functions. However, previous work has struggled to obtain adequate OMS performance with Bellman errors, leading many researchers to abandon the idea. To this end, we elucidate why previous work has seen pessimistic results with Bellman errors and identify conditions under which OMS algorithms based on Bellman errors will perform well. Moreover, we develop a new estimator of the MSBE that is more accurate than prior methods. Our estimator obtains impressive OMS performance on diverse discrete control tasks, including Atari games.


title: Leveraging Interactions in Microfluidic Droplets for Enhanced Biotechnology Screens

abstract: Microfluidic droplet screens serve as an innovative platform for high-throughput biotechnology, enabling significant advancements in discovery, product optimization, and analysis. This review sheds light on the emerging trend of interaction assays in microfluidic droplets, underscoring the unique suitability of droplets for these applications. Encompassing a diverse range of biological entities such as antibodies, enzymes, DNA, RNA, various microbial and mammalian cell types, drugs, and other molecules, these assays demonstrate their versatility and scope. Recent methodological breakthroughs have escalated these screens to novel scales of bioanalysis and biotechnological product design. Moreover, we highlight pioneering advancements that extend droplet-based screens into new domains: cargo delivery within human bodies, application of synthetic gene circuits in natural environments, 3D-printing, and the development of droplet structures responsive to environmental signals. The potential of this field is profound and only set to increase.


title: How many Dice Rolls Would It Take to Reach Your Favorite Kind of Number?

abstract: Noga Alon and Yaakov Malinovsky recently studied the following game: you start at 0, and keep rolling a fair standard die, and add the outcomes until the sum happens to be prime. We generalize this in several ways, illustrating the power of symbolic, rather than merely numeric, computation. We conclude with polemics why the beautiful rigorous error estimate of Alon and Malinovsky is only of theoretical interest, explaining why we were content, in our numerous extensions, with non-rigorous, but practically-certain, estimates.


title: All-plasmonic switching effect in the graphene nanostructures containing quantum emitters

abstract: Nonlinear plasmonic effects in perspective 2D materials containing low-dimensional quantum emitters can be a basis of a novel technological platform for the fabrication of fast all-plasmonic triggers, transistors, and sensors. This article considers the conditions for achieving a strong plasmon-exciton coupling in the system with quantum nanowire (NW) placed in proximity to the nanostructured graphene sheets. In the condition of strong coupling, nonlinear interaction between two surface plasmon-polariton (SPP) modes propagating along the graphene waveguide integrated with a stub nanoresonator loaded with a core-shell semiconductor NWs is investigated. Using the 2D full-wave electromagnetic simulation, we studied the different transmittance regimes of the stub with NW for both the strong pump SPP and weak signal SPP tuned to interband and intraband transition in NW, respectively. We found such a regime of NW-SPP interaction that corresponds to the destructive interference with the signal SPP transmittance through the stub less than 7% in the case for pump SPP to be turned off. In contrast, the turning on the pump SPP leads to a transition to constructive interference in the stub and enhancement of signal SPP transmittance to 93%. In our model, the effect of plasmonic switching occurs with a rate of 50 GHz at wavelength 8 um for signal SPP localized inside 20 nm graphene stub loaded with core-shell InAs/ZnS NW.


title: Controllability of discrete-time linear systems on solvable Lie groups

abstract: The objective of this paper is to study the controllability of discrete-time linear control systems in solvable Lie groups. In the special case of nilpotent Lie groups, a necessary and sufficient condition for controllability is established. Furthermore, the class of discrete-time linear systems in the two-dimensional affine Lie group is constructed and a condition for controllability of these systems is also stated.


title: Gyri vs. Sulci: Disentangling Brain Core-Periphery Functional Networks via Twin-Transformer

abstract: The human cerebral cortex is highly convoluted into convex gyri and concave sulci. It has been demonstrated that gyri and sulci are significantly different in their anatomy, connectivity, and function, besides exhibiting opposite shape patterns, long-distance axonal fibers connected to gyri are much denser than those connected to sulci, and neural signals on gyri are more complex in low-frequency while sulci are more complex in high-frequency. Although accumulating evidence shows significant differences between gyri and sulci, their primary roles in brain function have not been elucidated yet. To solve this fundamental problem, we design a novel Twin-Transformer framework to unveil the unique functional roles of gyri and sulci as well as their relationship in the whole brain function. Our Twin-Transformer framework adopts two structure-identical (twin) Transformers to disentangle spatial-temporal patterns of gyri and sulci, one focuses on the information of gyri and the other is on sulci. The Gyro-Sulcal interactions, along with the tremendous but widely existing variability across subjects, are characterized in the loss design. We validated our Twin-Transformer on the HCP task-fMRI dataset, for the first time, to elucidate the different roles of gyri and sulci in brain function. Our results suggest that gyri and sulci could work together in a core-periphery network manner, that is, gyri could serve as core networks for information gathering and distributing, while sulci could serve as periphery networks for specific local information processing. These findings have shed new light on our fundamental understanding of the brain's basic structural and functional mechanisms.


title: Influence of the magnetic field topology in the evolution of small-scale two-fluid jets in the solar atmosphere

abstract: We perform a series of numerical simulations to recreate small-scale two-fluid jets using the JOANNA code, considering the magnetohydrodynamics of two fluids (ions + electrons and neutral particles). We first excite the jets in a uniform magnetic field by using velocity pulse perturbations located at $y_{0}=$1.3, 1.5, and 1.8 Mm, considering the base of the photosphere at $y=0$ Mm. Then, we repeat the excitation of the jets in a magnetic field that mimics a flux tube. Mainly, the jets excited at the upper chromosphere ($y\sim1.8$ Mm) reach lower heights than those excited at the lower chromosphere ($y\sim1.3$ Mm); this is due to the higher initial vertical location because of the lesser amount of plasma dragging. In both scenarios, the dynamics of the neutral particles and ions show similar behavior; however, we can still identify some differences in the velocity drift, which in our simulations is of the order of $10^{-3}$ km s$^{-1}$ at the tips of the jets once they reached their maximum heights. Also, we estimate the heat generation due to the friction between ions and neutrals ($Q^{in}_{i,n}$), which is of the order of $0.002-0.06$ W m$^{-3}$; however it is small to contribute to the heating of the surroundings of the solar corona. The jets in the two magnetic environments do not show substantial differences other than a slight variation in the maximum heights reached, particularly in the uniform magnetic field scenario. Finally, the maximum heights reached by the three different jets are in the range of some morphological parameters corresponding to macrospicules, Type I spicules, and Type II spicules.


title: Detecting entanglement of unknown states by violating the Clauser-Horne-Shimony-Holt inequality

abstract: Entangled states play a fundamental role in Quantum Mechanics and are at the core of many contemporary applications, such as quantum communication and quantum computing. Therefore, determining whether a state is entangled or not is an important task. Here, we propose a method to detect the entanglement of unknown two-qubit quantum states. Our method is based on the violation of the Clauser-Horne-Shimony-Holt inequality. This maximizes the value of the inequality even when \lp{it} contains an unknown quantum state. The method iteratively generates local measurement settings that lead to increasing values of the inequality. We show by numerical simulations for pure and mixed states that our algorithm exceeds the classical limit of 2 after a few iterations.


title: Strong collisionless coupling between an unmagnetized driver plasma and a magnetized background plasma

abstract: Fast-exploding plasmas traveling though magnetized, collisionless plasmas can occur in a variety of physical systems, such as supernova remnants, coronal mass ejections, and laser-driven laboratory experiments. To study these systems, it is important to understand the coupling process between the plasmas. In this work, we develop a semi-analytical model of the parameters that characterize the strong collisionless coupling between an unmagnetized driver plasma and a uniformly and perpendicularly magnetized background plasma. In particular, we derive analytical expressions that describe the characteristic diamagnetic cavity and magnetic compression of these systems, such as their corresponding velocities, the compression ratio, and the maximum size of the cavity. The semi-analytical model is compared with collisionless 1D particle-in-cell simulations and experimental results with laser-driven plasmas, showing good agreement. The model allows us to provide bounds for parameters that are otherwise difficult to diagnose in experiments with similar setups.


title: Multi-Grade Deep Learning

abstract: The current deep learning model is of a single-grade, that is, it learns a deep neural network by solving a single nonconvex optimization problem. When the layer number of the neural network is large, it is computationally challenging to carry out such a task efficiently. Inspired by the human education process which arranges learning in grades, we propose a multi-grade learning model: We successively solve a number of optimization problems of small sizes, which are organized in grades, to learn a shallow neural network for each grade. Specifically, the current grade is to learn the leftover from the previous grade. In each of the grades, we learn a shallow neural network stacked on the top of the neural network, learned in the previous grades, which remains unchanged in training of the current and future grades. By dividing the task of learning a deep neural network into learning several shallow neural networks, one can alleviate the severity of the nonconvexity of the original optimization problem of a large size. When all grades of the learning are completed, the final neural network learned is a stair-shape neural network, which is the superposition of networks learned from all grades. Such a model enables us to learn a deep neural network much more effectively and efficiently. Moreover, multi-grade learning naturally leads to adaptive learning. We prove that in the context of function approximation if the neural network generated by a new grade is nontrivial, the optimal error of the grade is strictly reduced from the optimal error of the previous grade. Furthermore, we provide several proof-of-concept numerical examples which demonstrate that the proposed multi-grade model outperforms significantly the traditional single-grade model and is much more robust than the traditional model.


title: Formalising and Computing the Fourth Homotopy Group of the $3$-Sphere in Cubical Agda

abstract: Brunerie's 2016 PhD thesis contains the first synthetic proof in Homotopy Type Theory (HoTT) of the classical result that the fourth homotopy group of the 3-sphere is $\mathbb{Z}/2\mathbb{Z}$. The proof is one of the most impressive pieces of synthetic homotopy theory to date and uses a lot of advanced classical algebraic topology rephrased synthetically. Furthermore, the proof is fully constructive and the main result can be reduced to the question of whether a particular "Brunerie number" $\beta$ can be normalised to $\pm 2$. The question of whether Brunerie's proof could be formalised in a proof assistant, either by computing this number or by formalising the pen-and-paper proof, has since remained open. In this paper, we present a complete formalisation in Cubical Agda. We do this by modifying Brunerie's proof so that a key technical result, whose proof Brunerie only sketched in his thesis, can be avoided. We also present a formalisation of a new and much simpler proof that $\beta$ is $\pm 2$. This formalisation provides us with a sequence of simpler Brunerie numbers, one of which normalises very quickly to $-2$ in Cubical Agda, resulting in a fully formalised computer-assisted proof that $\pi_4(\mathbb{S}^3) \cong \mathbb{Z}/2\mathbb{Z}$.


title: TwinExplainer: Explaining Predictions of an Automotive Digital Twin

abstract: Vehicles are complex Cyber Physical Systems (CPS) that operate in a variety of environments, and the likelihood of failure of one or more subsystems, such as the engine, transmission, brakes, and fuel, can result in unscheduled downtime and incur high maintenance or repair costs. In order to prevent these issues, it is crucial to continuously monitor the health of various subsystems and identify abnormal sensor channel behavior. Data-driven Digital Twin (DT) systems are capable of such a task. Current DT technologies utilize various Deep Learning (DL) techniques that are constrained by the lack of justification or explanation for their predictions. This inability of these opaque systems can influence decision-making and raises user trust concerns. This paper presents a solution to this issue, where the TwinExplainer system, with its three-layered architectural pipeline, explains the predictions of an automotive DT. Such a system can assist automotive stakeholders in understanding the global scale of the sensor channels and how they contribute towards generic DT predictions. TwinExplainer can also visualize explanations for both normal and abnormal local predictions computed by the DT.


title: Phase Separation Driven by Active Flows

abstract: We extend the continuum theories of active nematohydrodynamics to model a two-fluid mixture with separate velocity fields for each fluid component, coupled through a viscous drag. The model is used to study an active nematic fluid, mixed with an isotropic fluid. We find micro-phase separation, and argue that this results from an interplay between active anchoring and active flows driven by concentration gradients. The results may be relevant to cell-sorting and the formation of lipid rafts in cell membranes.


title: Three essays on Machin's type formulas

abstract: We study three questions related to Machin's type formulas. The first one gives all two terms Machin formulas where both arctangent functions are evaluated $2$-integers, that is values of the form $b/2^a$ for some integers $a$ and~$b$. These formulas are computationally useful because multiplication or division by a power of two is a very fast operation for most computers. The second one presents a method for finding infinitely many formulas with $N$ terms. In the particular case $N=2$ the method is quite useful. It recovers most known formulas, gives some new ones, and allows to prove in an easy way that there are two terms Machin formulas with Lehmer measure as small as desired. Finally, we correct an oversight from previous result and give all Machin's type formulas with two terms involving arctangents of powers of the golden section.


title: How to Prove the Optimized Values of Hyperparameters for Particle Swarm Optimization?

abstract: In recent years, several swarm intelligence optimization algorithms have been proposed to be applied for solving a variety of optimization problems. However, the values of several hyperparameters should be determined. For instance, although Particle Swarm Optimization (PSO) has been applied for several applications with higher optimization performance, the weights of inertial velocity, the particle's best known position and the swarm's best known position should be determined. Therefore, this study proposes an analytic framework to analyze the optimized average-fitness-function-value (AFFV) based on mathematical models for a variety of fitness functions. Furthermore, the optimized hyperparameter values could be determined with a lower AFFV for minimum cases. Experimental results show that the hyperparameter values from the proposed method can obtain higher efficiency convergences and lower AFFVs.


title: Beam Selection for Energy-Efficient mmWave Network Using Advantage Actor Critic Learning

abstract: The growing adoption of mmWave frequency bands to realize the full potential of 5G, turns beamforming into a key enabler for current and next-generation wireless technologies. Many mmWave networks rely on beam selection with Grid-of-Beams (GoB) approach to handle user-beam association. In beam selection with GoB, users select the appropriate beam from a set of pre-defined beams and the overhead during the beam selection process is a common challenge in this area. In this paper, we propose an Advantage Actor Critic (A2C) learning-based framework to improve the GoB and the beam selection process, as well as optimize transmission power in a mmWave network. The proposed beam selection technique allows performance improvement while considering transmission power improves Energy Efficiency (EE) and ensures the coverage is maintained in the network. We further investigate how the proposed algorithm can be deployed in a Service Management and Orchestration (SMO) platform. Our simulations show that A2C-based joint optimization of beam selection and transmission power is more effective than using Equally Spaced Beams (ESB) and fixed power strategy, or optimization of beam selection and transmission power disjointly. Compared to the ESB and fixed transmission power strategy, the proposed approach achieves more than twice the average EE in the scenarios under test and is closer to the maximum theoretical EE.


title: Eigenstate Thermalization Hypothesis for Generalized Wigner Matrices

abstract: In this paper, we extend results of Eigenvector Thermalization to the case of generalized Wigner matrices. Analytically, the central quantity of interest here are multiresolvent traces, such as $\Lambda_A:= \frac{1}{N} \text{Tr }{ GAGA}$. In the case of Wigner matrices, as in \cite{cipolloni-erdos-schroder-2021}, one can form a self-consistent equation for a single $\Lambda_A$. There are multiple difficulties extending this logic to the case of general covariances. The correlation structure prevents us from deriving a self-consistent equation for a single matrix $A$; this is due to the introduction of new terms that are quite distinct from the form of $\Lambda_A$. We find a way around this by carefully splitting these new terms and writing them as sums of $\Lambda_B$, for matrices $B$ obtained by modifying $A$ using the covariance matrix. The result is a system of self-consistent equations relating families of deterministic matrices. Our main effort in this work is to derive and analyze this system of self-consistent equations.


abstract: Cross-Domain Recommendation (CDR) is an effective way to alleviate the cold-start problem. However, previous work severely ignores fairness and bias when learning the mapping function, which is used to obtain the representations for fresh users in the target domain. To study this problem, in this paper, we propose a Fairness-aware Cross-Domain Recommendation model, called FairCDR. Our method achieves user-oriented group fairness by learning the fairness-aware mapping function. Since the overlapping data are quite limited and distributionally biased, FairCDR leverages abundant non-overlapping users and interactions to help alleviate these problems. Considering that each individual has different influence on model fairness, we propose a new reweighing method based on Influence Function (IF) to reduce unfairness while maintaining recommendation accuracy. Extensive experiments are conducted to demonstrate the effectiveness of our model.


title: The Chromatic Lagrangian: Wavefunctions and Open Gromov-Witten Conjectures

abstract: Inside a symplectic leaf of the cluster Poisson variety of Borel-decorated $PGL_2$ local systems on a punctured surface is an isotropic subvariety we will call the chromatic Lagrangian. Local charts for the quantized cluster variety are quantum tori defined by cubic planar graphs, and can be put in standard form after some additional markings giving the notion of a framed seed. The mutation structure is encoded as a groupoid. The local description of the chromatic Lagrangian defines a wavefunction which, we conjecture, encodes open Gromov-Witten invariants of a Lagrangian threefold in threespace defined by the cubic graph and the other data of the framed seed. We also find a relationship we call framing duality: for a family of "canoe" graphs, wavefunctions for different framings encode DT invariants of symmetric quivers.


title: Local transfer learning from one data space to another

abstract: A fundamental problem in manifold learning is to approximate a functional relationship in a data chosen randomly from a probability distribution supported on a low dimensional sub-manifold of a high dimensional ambient Euclidean space. The manifold is essentially defined by the data set itself and, typically, designed so that the data is dense on the manifold in some sense. The notion of a data space is an abstraction of a manifold encapsulating the essential properties that allow for function approximation. The problem of transfer learning (meta-learning) is to use the learning of a function on one data set to learn a similar function on a new data set. In terms of function approximation, this means lifting a function on one data space (the base data space) to another (the target data space). This viewpoint enables us to connect some inverse problems in applied mathematics (such as inverse Radon transform) with transfer learning. In this paper we examine the question of such lifting when the data is assumed to be known only on a part of the base data space. We are interested in determining subsets of the target data space on which the lifting can be defined, and how the local smoothness of the function and its lifting are related.


title: A nonlinear relapse model with disaggregated contact rates: analysis of a forward-backward bifurcation

abstract: We developed a nonlinear differential equation model to explore the dynamics of relapse phenomena. Our incidence rate function is formulated, taking inspiration from recent adaptive algorithms. It incorporates contact behavior for individuals in each health class. We use constant contact rates at each health status for our analytical results and prove conditions for different forward-backward bifurcation scenarios. The relationship between the different contact rates influences these conditions. Numerical examples show the sensitivity of the model toward initial conditions. In particular, we highlight the effect of temporarily recovered individuals and infected initial conditions.