title: The nonleptonic decays of $b$-flavored mesons to $S$-wave charmonium and charm meson states

abstract: The detection of radially excited heavy meson \\states in recent years and measurement of heavy meson decays, particularly $B_c^+\to J/\psi D_s^+$ and $B_c^+\to J/\psi D_s^{*+}$, by the LHCb and ATLAS Collaborations, have aroused a lot of theoretical interest in the nonleptonic decays of $b$-flavored mesons. In this paper, we study the exclusive two-body nonleptonic $\bar{B}^0$, $\bar{B_s^0}$, $B^-$ and $B_c^-$-meson decays to two vector meson ($V_1(nS)V_2$) states. Assuming the factorization hypothesis, we calculate the weak-decay form factors from the overlapping integrals of meson wave functions, in the framework of the relativistic independent quark (RIQ) model. We find a few dominant decay modes: $B^-\to D^{*0}\rho^-$, $\bar{B^0}\to D^{*+}\rho^-$, $\bar{B_s^0}\to D_s^{*+}\rho^-$, $B^-\to J/\psi K^{*-}$ and $B_c^-\to J/\psi D_s^{*-}$ with predicted branching fractions of 1.54, 1.42, 1.17, 0.53 and 0.52 (in $\%$), which are experimentally accessible. The predicted branching fractions for corresponding decay modes to excited ($2S$) states, obtained in the order ${\cal O }(10^{-3}-10^{-4})$ lie within the detection accuracy of the current experiments at LHCb and Tevatron. The sizeable $CP$-odd fractions predicted for $B_c^-$-meson decay to two charmful states: $D^{*0}D^{*-}_{(s)}$ and $\bar{D}^{*0}D^{*-}_{(s)}$ indicate significant $CP$-violation hinting at the so-called new physics beyond the standard model.


title: The Scholz conjecture for $n=2^m(23)+7$, $m \in \mathbb{N}^*$

abstract: The Scholz conjecture on addition chains states that $\ell(2^n-1) \leq \ell(n) + n -1$ for all integers $n$ where $\ell(n)$ stands for the minimal length of all addition chains for $n$. It is proven to hold for infinite sets of integers. In this paper, we will prove that the conjecture still holds for $n=2^m(23)+7$. It is the first set of integers given by Thurber \cite{9} to prove that there are an infinity of integers satisfying $\ell(2n) = \ell(n)$. Later on, Thurber \cite{4} give a second set of integers with the same properties ($n=2^{2m+k+7} + 2^{2m+k+5} + 2^{m+k+4} + 2^{m+k+3} + 2^{m+2} + 2^{m+1} + 1$). We will prove that the conjecture holds for them as well.


title: Global existence for reaction diffusion systems with strict balance Law and nonlinearities with non constant-sign and unlimited polynomial growth

abstract: The purpose of this paper is to prove global existence of solutions for general systems of reaction diffusion equations with nonlinearities for which only two main proprieties hold: Quasi-Positivity and balance law but with two difficulties: they change sign and with unlimited polynomial growth. We overcome the first difficulty by fixing the reaction sign after some time and the second one by using a judicious polynomial Lyapunov functional.


title: Room Temperature Ferroelectricity, Ferromagnetism, and Anomalous Hall Effect in Half-metallic Monolayer CrTe

abstract: Two-dimensional materials hosting ferroelectricity and ferromagnetism are crucial for low-power and high-speed information processing technologies. However, intrinsic 2D multiferroics in the monolayer limit are rare. Here, we demonstrate that monolayer CrTe, obtained by cleaving the [002] surface, is dynamically stable multiferroic at temperatures beyond room temperature. We show that it orders ferromagnetically with significant in-plane magnetocrystalline anisotropy, and it is a half-metal featuring a large half-metal gap. Remarkably, the broken inversion symmetry and buckled geometry of monolayer CrTe make it a ferroelectric with a large spontaneous out-of-plane polarization and significant magnetoelectric coupling. In addition, we demonstrate polarization or electric field-induced tunability of the anomalous Hall effect, accompanied by substantial bandstructure modulation. Our findings establish monolayer CrTe as a room-temperature multiferroic with great potential for applications in spintronics and ferroelectric devices.


title: Augmenting Interpretable Knowledge Tracing by Ability Attribute and Attention Mechanism

abstract: Knowledge tracing aims to model students' past answer sequences to track the change in their knowledge acquisition during exercise activities and to predict their future learning performance. Most existing approaches ignore the fact that students' abilities are constantly changing or vary between individuals, and lack the interpretability of model predictions. To this end, in this paper, we propose a novel model based on ability attributes and attention mechanism. We first segment the interaction sequences and captures students' ability attributes, then dynamically assign students to groups with similar abilities, and quantify the relevance of the exercises to the skill by calculating the attention weights between the exercises and the skill to enhance the interpretability of the model. We conducted extensive experiments and evaluate real online education datasets. The results confirm that the proposed model is better at predicting performance than five well-known representative knowledge tracing models, and the model prediction results are explained through an inference path.


title: Multi-Stability in Cavity QED with Spin-Orbit Coupled Bose-Einstein Condensate

abstract: We investigate the occurrence of steady-state multi-stability in a cavity system containing spin-orbit coupled Bose-Einstein condensate and driven by a strong pump laser. The applied magnetic field splits the Bose-Einstein condensate into pseudo-spin states, which then became momentum sensitive with two counter propagating Raman lasers directly interacting with ultra-cold atoms. After governing the steady-state dynamics for all associated subsystems, we show the emergence of multi-stable behavior of cavity photon number, which is unlike with previous investigation on cavity-atom systems. However, this multi-stability can be tuned with associated system parameters. Further, we illustrate the occurrence of mixed-stability behavior for atomic population of the pseudo spin-$\uparrow$ amd spin-$\downarrow$ states, which are appearing in so-called bi-unstable form. The collective behavior of these atomic number states interestingly possesses a transitional interface among the population of both spin states, which can be enhance and controlled by spin-orbit coupling and Zeeman field effects. Furthermore, we illustrate the emergence of secondary interface mediated by increasing the mechanical dissipation rate of the pseudo-spin states. These interfaces could be cause by the non-trivial behavior of synthetic spin state mediated by cavity. Our findings are not only crucial for the subject of optical switching, but also could provide foundation for future studies on mechanical aspect of synthetic atomic states with cavity quantum electrodynamics.

categories: cond-mat.quant-gas nlin.CD physics.atom-ph physics.optics quant-ph


title: Entangling gates for trapped-ion quantum computation and quantum simulation

abstract: The trapped-ion system has been a leading platform for practical quantum computation and quantum simulation since the first scheme of a quantum gate was proposed by Cirac and Zoller in 1995. Quantum gates with trapped ions have shown the highest fidelity among all physical platforms. Recently, sophisticated schemes of quantum gates such as amplitude, phase, frequency modulation, or multi-frequency application, have been developed to make the gates fast, robust to many types of imperfections, and applicable to multiple qubits. Here, we review the basic principle and recent development of quantum gates with trapped ions.


title: Invariants for neural automata

abstract: Computational modeling of neurodynamical systems often deploys neural networks and symbolic dynamics. A particular way for combining these approaches within a framework called vector symbolic architectures leads to neural automata. An interesting research direction we have pursued under this framework has been to consider mapping symbolic dynamics onto neurodynamics, represented as neural automata. This representation theory, enables us to ask questions, such as, how does the brain implement Turing computations. Specifically, in this representation theory, neural automata result from the assignment of symbols and symbol strings to numbers, known as G\"odel encoding. Under this assignment symbolic computation becomes represented by trajectories of state vectors in a real phase space, that allows for statistical correlation analyses with real-world measurements and experimental data. However, these assignments are usually completely arbitrary. Hence, it makes sense to address the problem question of, which aspects of the dynamics observed under such a representation is intrinsic to the dynamics and which are not. In this study, we develop a formally rigorous mathematical framework for the investigation of symmetries and invariants of neural automata under different encodings. As a central concept we define patterns of equality for such systems. We consider different macroscopic observables, such as the mean activation level of the neural network, and ask for their invariance properties. Our main result shows that only step functions that are defined over those patterns of equality are invariant under recodings, while the mean activation is not. Our work could be of substantial importance for related regression studies of real-world measurements with neurosymbolic processors for avoiding confounding results that are dependant on a particular encoding and not intrinsic to the dynamics.


title: This Intestine Does Not Exist: Multiscale Residual Variational Autoencoder for Realistic Wireless Capsule Endoscopy Image Generation

abstract: Medical image synthesis has emerged as a promising solution to address the limited availability of annotated medical data needed for training machine learning algorithms in the context of image-based Clinical Decision Support (CDS) systems. To this end, Generative Adversarial Networks (GANs) have been mainly applied to support the algorithm training process by generating synthetic images for data augmentation. However, in the field of Wireless Capsule Endoscopy (WCE), the limited content diversity and size of existing publicly available annotated datasets, adversely affect both the training stability and synthesis performance of GANs. Aiming to a viable solution for WCE image synthesis, a novel Variational Autoencoder architecture is proposed, namely "This Intestine Does not Exist" (TIDE). The proposed architecture comprises multiscale feature extraction convolutional blocks and residual connections, which enable the generation of high-quality and diverse datasets even with a limited number of training images. Contrary to the current approaches, which are oriented towards the augmentation of the available datasets, this study demonstrates that using TIDE, real WCE datasets can be fully substituted by artificially generated ones, without compromising classification performance. Furthermore, qualitative and user evaluation studies by experienced WCE specialists, validate from a medical viewpoint that both the normal and abnormal WCE images synthesized by TIDE are sufficiently realistic.


title: Contrastive Collaborative Filtering for Cold-Start Item Recommendation

abstract: The cold-start problem is a long-standing challenge in recommender systems. As a promising solution, content-based generative models usually project a cold-start item's content onto a warm-start item embedding to capture collaborative signals from item content so that collaborative filtering can be applied. However, since the training of the cold-start recommendation models is conducted on warm datasets, the existent methods face the issue that the collaborative embeddings of items will be blurred, which significantly degenerates the performance of cold-start item recommendation. To address this issue, we propose a novel model called Contrastive Collaborative Filtering for Cold-start item Recommendation (CCFCRec), which capitalizes on the co-occurrence collaborative signals in warm training data to alleviate the issue of blurry collaborative embeddings for cold-start item recommendation. In particular, we devise a contrastive collaborative filtering (CF) framework, consisting of a content CF module and a co-occurrence CF module to generate the content-based collaborative embedding and the co-occurrence collaborative embedding for a training item, respectively. During the joint training of the two CF modules, we apply a contrastive learning between the two collaborative embeddings, by which the knowledge about the co-occurrence signals can be indirectly transferred to the content CF module, so that the blurry collaborative embeddings can be rectified implicitly by the memorized co-occurrence collaborative signals during the applying phase. Together with the sound theoretical analysis, the extensive experiments conducted on real datasets demonstrate the superiority of the proposed model. The codes and datasets are available on https://github.com/zzhin/CCFCRec.


title: Extremal digraphs for open neighbourhood location-domination and identifying codes

abstract: A set $S$ of vertices of a digraph $D$ is called an open neighbourhood locating-dominating set if every vertex in $D$ has an in-neighbour in $S$, and for every pair $u,v$ of vertices of $D$, there is a vertex in $S$ that is an in-neighbour of exactly one of $u$ and $v$. The smallest size of an open neighbourhood locating-dominating set of a digraph $D$ is denoted by $\gamma_{OL}(D)$. We study the class of digraphs $D$ whose only open neighbourhood locating-dominating set consists of the whole set of vertices, in other words, $\gamma_{OL}(D)$ is equal to the order of $D$. We call those digraphs extremal. By considering digraphs with loops allowed, our definition also applies to the related (and more widely studied) concept of identifying codes. We extend previous studies from the literature for both open neighbourhood locating-dominating sets and identifying codes of both undirected and directed graphs. These results all correspond to studying open neighbourhood locating-dominating sets on special classes of digraphs. To do so, we prove general structural properties of extremal digraphs, and we describe how they can all be constructed. We then use these properties to give new proofs of several known results from the literature. We also give a recursive and constructive characterization of the extremal di-trees (digraphs whose underlying undirected graph is a tree).


title: An Interpretable Boosting-based Predictive Model for Transformation Temperatures of Shape Memory Alloys

abstract: In this study, we demonstrate how the incorporation of appropriate feature engineering together with the selection of a Machine Learning (ML) algorithm that best suits the available dataset, leads to the development of a predictive model for transformation temperatures that can be applied to a wide range of shape memory alloys. We develop a gradient boosting ML surrogate model capable of predicting Martensite Start, Martensite Finish, Austenite Start, and Austenite Finish transformation temperatures with an average accuracy of more than 95% by explicitly taking care of potential distribution changes when modeling different alloy systems. We included heat treatment, rolling, extrusion processing parameters, and alloy system categorical features in the model input features to achieve more accurate and realistic results. In addition, using Shapley values, which are calculated based on the average marginal contribution of features to all possible coalitions, this study was able to gain insights into the governing features and their effect on predicted transformation temperatures, providing a unique opportunity to examine the critical parameters and features in martensite transformation temperatures.


title: A theoretical basis for Blockchain Extractable Value

abstract: Extractable Value refers to a wide class of economic attacks to public blockchains, where adversaries with the power to reorder, drop or insert transactions in a block can "extract" value from smart contracts. Empirical research has shown that mainstream protocols, like e.g. decentralized exchanges, are massively targeted by these attacks, with detrimental effects on their users and on the blockchain network. Despite the growing impact of these attacks in the real world, theoretical foundations are still missing. We propose a formal theory of Extractable Value, based on a general, abstract model of blockchains and smart contracts. Our theory is the basis for proofs of security against Extractable Value attacks.


title: Guaranteed Tensor Recovery Fused Low-rankness and Smoothness

abstract: The tensor data recovery task has thus attracted much research attention in recent years. Solving such an ill-posed problem generally requires to explore intrinsic prior structures underlying tensor data, and formulate them as certain forms of regularization terms for guiding a sound estimate of the restored tensor. Recent research have made significant progress by adopting two insightful tensor priors, i.e., global low-rankness (L) and local smoothness (S) across different tensor modes, which are always encoded as a sum of two separate regularization terms into the recovery models. However, unlike the primary theoretical developments on low-rank tensor recovery, these joint L+S models have no theoretical exact-recovery guarantees yet, making the methods lack reliability in real practice. To this crucial issue, in this work, we build a unique regularization term, which essentially encodes both L and S priors of a tensor simultaneously. Especially, by equipping this single regularizer into the recovery models, we can rigorously prove the exact recovery guarantees for two typical tensor recovery tasks, i.e., tensor completion (TC) and tensor robust principal component analysis (TRPCA). To the best of our knowledge, this should be the first exact-recovery results among all related L+S methods for tensor recovery. Significant recovery accuracy improvements over many other SOTA methods in several TC and TRPCA tasks with various kinds of visual tensor data are observed in extensive experiments. Typically, our method achieves a workable performance when the missing rate is extremely large, e.g., 99.5%, for the color image inpainting task, while all its peers totally fail in such challenging case.


title: Challenges of cellwise outliers

abstract: It is well-known that real data often contain outliers. The term outlier typically refers to a case, that is, a row of the $n \times d$ data matrix. In recent times a different type has come into focus, the cellwise outliers. These are suspicious cells (entries) that can occur anywhere in the data matrix. Even a relatively small proportion of outlying cells can contaminate over half the rows, which is a problem for rowwise robust methods. In this article we discuss the challenges posed by cellwise outliers, and some methods developed so far to deal with them. We obtain new results on cellwise breakdown values for location, covariance and regression. We also propose a cellwise robust method for correspondence analysis, with real data illustrations. The paper concludes by formulating some points for debate.


title: TrajMatch: Towards Automatic Spatio-temporal Calibration for Roadside LiDARs through Trajectory Matching

abstract: Recently, it has become popular to deploy sensors such as LiDARs on the roadside to monitor the passing traffic and assist autonomous vehicle perception. Unlike autonomous vehicle systems, roadside sensors are usually affiliated with different subsystems and lack synchronization both in time and space. Calibration is a key technology which allows the central server to fuse the data generated by different location infrastructures, which can deliver improve the sensing range and detection robustness. Unfortunately, existing calibration algorithms often assume that the LiDARs are significantly overlapped or that the temporal calibration is already achieved. Since these assumptions do not always hold in the real world, the calibration results from the existing algorithms are often unsatisfactory and always need human involvement, which brings high labor costs. In this paper, we propose TrajMatch -- the first system that can automatically calibrate for roadside LiDARs in both time and space. The main idea is to automatically calibrate the sensors based on the result of the detection/tracking task instead of extracting special features. More deeply, we propose a mechanism for evaluating calibration parameters that is consistent with our algorithm, and we demonstrate the effectiveness of this scheme experimentally, which can also be used to guide parameter iterations for multiple calibration. Finally, to evaluate the performance of TrajMatch , we collect two dataset, one simulated dataset LiDARnet-sim 1.0 and a real-world dataset. Experiment results show that TrajMatch can achieve a spatial calibration error of less than 10cm and a temporal calibration error of less than 1.5ms.


title: An Effective and Differentially Private Protocol for Secure Distributed Cardinality Estimation

abstract: Counting the number of distinct elements distributed over multiple data holders is a fundamental problem with many real-world applications ranging from crowd counting to network monitoring. Although a number of space and computational efficient sketch methods (e.g., the Flajolet-Martin sketch and the HyperLogLog sketch) for cardinality estimation have been proposed to solve the above problem, these sketch methods are insecure when considering privacy concerns related to the use of each data holder's personal dataset. Despite a recently proposed protocol that successfully implements the well-known Flajolet-Martin (FM) sketch on a secret-sharing based multiparty computation (MPC) framework for solving the problem of private distributed cardinality estimation (PDCE), we observe that this MPC-FM protocol is not differentially private. In addition, the MPC-FM protocol is computationally expensive, which limits its applications to data holders with limited computation resources. To address the above issues, in this paper we propose a novel protocol DP-DICE, which is computationally efficient and differentially private for solving the problem of PDCE. Experimental results show that our DP-DICE achieves orders of magnitude speedup and reduces the estimation error by several times in comparison with state-of-the-arts under the same security requirements.


title: A hybrid stochastic configuration interaction-coupled cluster approach for multireference systems

abstract: The development of multireference coupled cluster (MRCC) techniques has remained an open area of study in electronic structure theory for decades due to the inherent complexity of expressing a multi-configurational wavefunction in the fundamentally single-reference coupled cluster framework. The recently developed multireference coupled cluster Monte Carlo (mrCCMC) technique uses the formal simplicity of the Monte Carlo approach to Hilbert space quantum chemistry to avoid some of the complexities of conventional MRCC, but there is room for improvement in terms of accuracy and, particularly, computational cost. In this paper we explore the potential of incorporating ideas from conventional MRCC - namely the treatment of the strongly correlated space in a configuration interaction formalism - to the mrCCMC framework, leading to a series of methods with increasing relaxation of the reference space in the presence of external amplitudes. These techniques offer new balances of stability and cost against accuracy, as well as a means to better explore and better understand the structure of solutions to the mrCCMC equations.


title: Directed Acyclic Graphs With Tears

abstract: Bayesian network is a frequently-used method for fault detection and diagnosis in industrial processes. The basis of Bayesian network is structure learning which learns a directed acyclic graph (DAG) from data. However, the search space will scale super-exponentially with the increase of process variables, which makes the data-driven structure learning a challenging problem. To this end, the DAGs with NOTEARs methods are being well studied not only for their conversion of the discrete optimization into continuous optimization problem but also their compatibility with deep learning framework. Nevertheless, there still remain challenges for NOTEAR-based methods: 1) the infeasible solution results from the gradient descent-based optimization paradigm; 2) the truncation operation to promise the learned graph acyclic. In this work, the reason for challenge 1) is analyzed theoretically, and a novel method named DAGs with Tears method is proposed based on mix-integer programming to alleviate challenge 2). In addition, prior knowledge is able to incorporate into the new proposed method, making structure learning more practical and useful in industrial processes. Finally, a numerical example and an industrial example are adopted as case studies to demonstrate the superiority of the developed method.


title: Reflective ability and its energy dependence

abstract: We introduce the notion of reflective ability and discuss its energy dependence using rational form of unitarization. Correspondence with the phase of exponential unitarization is traced. Increase of the reflective ability of interaction region starts at the LHC energies. Numerical estimates are given.


title: AUTOLYCUS: Exploiting Explainable AI (XAI) for Model Extraction Attacks against White-Box Models

abstract: Explainable Artificial Intelligence (XAI) encompasses a range of techniques and procedures aimed at elucidating the decision-making processes of AI models. While XAI is valuable in understanding the reasoning behind AI models, the data used for such revelations poses potential security and privacy vulnerabilities. Existing literature has identified privacy risks targeting machine learning models, including membership inference, model inversion, and model extraction attacks. Depending on the settings and parties involved, such attacks may target either the model itself or the training data used to create the model. We have identified that tools providing XAI can particularly increase the vulnerability of model extraction attacks, which can be a significant issue when the owner of an AI model prefers to provide only black-box access rather than sharing the model parameters and architecture with other parties. To explore this privacy risk, we propose AUTOLYCUS, a model extraction attack that leverages the explanations provided by popular explainable AI tools. We particularly focus on white-box machine learning (ML) models such as decision trees and logistic regression models. We have evaluated the performance of AUTOLYCUS on 5 machine learning datasets, in terms of the surrogate model's accuracy and its similarity to the target model. We observe that the proposed attack is highly effective; it requires up to 60x fewer queries to the target model compared to the state-of-the-art attack, while providing comparable accuracy and similarity. We first validate the performance of the proposed algorithm on decision trees, and then show its performance on logistic regression models as an indicator that the proposed algorithm performs well on white-box ML models in general. Finally, we show that the existing countermeasures remain ineffective for the proposed attack.


title: Parameterized Verification under TSO with Data Types

abstract: We consider parameterized verification of systems executing according to the total store ordering (TSO) semantics. The processes manipulate abstract data types over potentially infinite domains. We present a framework that translates the reachability problem for such systems to the reachability problem for register machines enriched with the given abstract data type. We use the translation to obtain tight complexity bounds for TSO-based parameterized verification over several abstract data types, such as push-down automata, ordered multi push-down automata, one-counter nets, one-counter automata, and Petri nets. We apply the framework to get complexity bounds for higher order stack and counter variants as well.


title: Effect of Impurities on Charge and Heat Transport in Tubular Nanowires

abstract: We calculate the charge and heat currents carried by electrons, originating from a temperature gradient and a chemical potential difference between the two ends of tubular nanowires with different geometries of the cross-sectional areas: circular, square, triangular, and hexagonal. We consider nanowires based on InAs semiconductor material, and use the Landauer-B\"{u}ttiker approach to calculate the transport quantities. We include impurities in the form of delta scatterers and compare their effect for different geometries. The results depend on the quantum localization of the electrons along the edges of the tubular prismatic shell. For example, the effect of impurities on the charge and heat transport is weaker in the triangular shell than in the hexagonal shell, and the thermoelectric current in the triangular case is several times larger than in the hexagonal case, for the same temperature gradient.


title: Opportunities for Fundamental Physics Research with Radioactive Molecules

abstract: Molecules containing short-lived, radioactive nuclei are uniquely positioned to enable a wide range of scientific discoveries in the areas of fundamental symmetries, astrophysics, nuclear structure, and chemistry. Recent advances in the ability to create, cool, and control complex molecules down to the quantum level, along with recent and upcoming advances in radioactive species production at several facilities around the world, create a compelling opportunity to coordinate and combine these efforts to bring precision measurement and control to molecules containing extreme nuclei. In this manuscript, we review the scientific case for studying radioactive molecules, discuss recent atomic, molecular, nuclear, astrophysical, and chemical advances which provide the foundation for their study, describe the facilities where these species are and will be produced, and provide an outlook for the future of this nascent field.


title: The cradle of nonlinear asteroseismology: observations of oscillation mode variability in compact pulsating stars

abstract: We briefly review progress in developing a pathway to nonlinear astereoseismology, both from theoretical and observational aspects. As predicted by the theory of weak nonlinear interactions between resonant modes, their amplitude and frequency can be modulated according to various kinds of patterns. However, those subtle modulations could hardly be well characterized from ground-based photometric monitoring. The {\sl Kepler} spacecraft offered a new window to find clear-cut evidence of well-determined amplitude and frequency modulations, leading to the first discoveries of such variations in pulsating white dwarf and hot B subdwarf stars. Following that direction, a systematic survey of oscillation mode properties in compact pulsators monitored by {\sl Kepler} suggests that mode variability is likely a common phenomenon, which remain unaccounted for by standard linear non-radial pulsation theory. To reach this conclusion firmly, the survey has now been extended to a larger context including compact stars observed by K2 and TESS. We expect that this extended survey will help to constrain key parameters governing weak nonlinear effects in stellar oscillations.


title: Timing analysis of EXO 2030+375 during its 2021 giant outburst observed with Insight-HXMT

abstract: We report the evolution of the X-ray pulsations of EXO 2030+375 during its 2021 outburst using the observations from \textit{Insight}-HXMT. Based on the accretion torque model, we study the correlation between the spin frequency derivatives and the luminosity. Pulsations can be detected in the energy band of 1--160 keV. The pulse profile evolves significantly with luminosity during the outburst, leading to that the whole outburst can be divided into several parts with different characteristics. The evolution of the pulse profile reveals the transition between the super-critical (fan-beam dominated) and the sub-critical accretion (pencil-beam dominated) mode. From the accretion torque model and the critical luminosity model, based on a distance of 7.1 kpc, the inferred magnetic fields are $(0.41-0.74) \times 10^{12}$ G and $(3.48-3.96) \times 10^{12}$ G, respectively, or based on a distance of 3.6 kpc, the estimated magnetic fields are $(2.4-4.3) \times 10^{13}$ G and $(0.98-1.11)\times 10^{12}$ G, respectively. Two different sets of magnetic fields both support the presence of multipole magnetic fields of the NS.


title: Stability Constrained OPF in Microgrids: A Chance Constrained Optimization Framework with Non-Gaussian Uncertainty

abstract: To figure out the stability issues brought by renewable energy sources (RES) with non-Gaussian uncertainties in isolated microgrids, this paper proposes a chance constrained stability constrained optimal power flow (CC-SC-OPF) model. Firstly, we propose a bi-level optimization problem, of which the upper level aims to minimize the expected generation cost without violating the stability chance constraint; the lower level concerns about the stability index given by a semi-definite program (SDP). Secondly, we apply the Gaussian mixture model (GMM) to handle the non-Gaussian RES uncertainties and introduce analytical sensitivity analysis to reformulate chance constraints with respect to stability index and operational variables into linear deter-ministic versions. By incorporating linearized constraints, the bi-level model can be efficiently solved by Benders decomposition-based approach. Thirdly, we design a supplementary corrective countermeasure to compensate the possible control error caused by the linear approximation. Simulation results on the 33-bus microgrid reveal that compared to benchmarking approaches, the proposed model converges 30 times faster with more accurate solutions.


title: How Many and Which Training Points Would Need to be Removed to Flip this Prediction?

abstract: We consider the problem of identifying a minimal subset of training data $\mathcal{S}_t$ such that if the instances comprising $\mathcal{S}_t$ had been removed prior to training, the categorization of a given test point $x_t$ would have been different. Identifying such a set may be of interest for a few reasons. First, the cardinality of $\mathcal{S}_t$ provides a measure of robustness (if $|\mathcal{S}_t|$ is small for $x_t$, we might be less confident in the corresponding prediction), which we show is correlated with but complementary to predicted probabilities. Second, interrogation of $\mathcal{S}_t$ may provide a novel mechanism for contesting a particular model prediction: If one can make the case that the points in $\mathcal{S}_t$ are wrongly labeled or irrelevant, this may argue for overturning the associated prediction. Identifying $\mathcal{S}_t$ via brute-force is intractable. We propose comparatively fast approximation methods to find $\mathcal{S}_t$ based on influence functions, and find that -- for simple convex text classification models -- these approaches can often successfully identify relatively small sets of training examples which, if removed, would flip the prediction.


title: Characterization of Constrained Continuous Multiobjective Optimization Problems: A Performance Space Perspective

abstract: Constrained multiobjective optimization has gained much interest in the past few years. However, constrained multiobjective optimization problems (CMOPs) are still unsatisfactorily understood. Consequently, the choice of adequate CMOPs for benchmarking is difficult and lacks a formal background. This paper addresses this issue by exploring CMOPs from a performance space perspective. First, it presents a novel performance assessment approach designed explicitly for constrained multiobjective optimization. This methodology offers a first attempt to simultaneously measure the performance in approximating the Pareto front and constraint satisfaction. Secondly, it proposes an approach to measure the capability of the given optimization problem to differentiate among algorithm performances. Finally, this approach is used to contrast eight frequently used artificial test suites of CMOPs. The experimental results reveal which suites are more efficient in discerning between three well-known multiobjective optimization algorithms. Benchmark designers can use these results to select the most appropriate CMOPs for their needs.


title: System reduction-based approximate reanalysis method for statically indeterminate structures with high-rank modification

abstract: Efficient structural reanalysis for high-rank modification plays an important role in engineering computations which require repeated evaluations of structural responses, such as structural optimization and probabilistic analysis. To improve the efficiency of engineering computations, a novel approximate static reanalysis method based on system reduction and iterative solution is proposed for statically indeterminate structures with high-rank modification. In this approach, a statically indeterminate structure is divided into the basis system and the additional components. Subsequently, the structural equilibrium equations are rewritten as the equation system with the stiffness matrix of the basis system and the pseudo forces derived from the additional elements. With the introduction of spectral decomposition, a reduced equation system with the element forces of the additional elements as the unknowns is established. Then, the approximate solutions of the modified structure can be obtained by solving the reduced equation system through a pre-conditioned iterative solution algorithm. The computational costs of the proposed method and the other two reanalysis methods are compared and numerical examples including static reanalysis and static nonlinear analysis are presented. The results demonstrate that the proposed method has excellent computational performance for both the structures with homogeneous material and structures composed of functionally graded beams. Meanwhile, the superiority of the proposed method indicates that the combination of system reduction and pre-conditioned iterative solution technology is an effective way to develop high-performance reanalysis methods.


title: Exact solution and coherent states of an asymmetric oscillator with position-dependent mass

abstract: We revisit the problem of the deformed oscillator with position-dependent mass [da Costa et al., J. Math. Phys. {\bf 62}, 092101 (2021)] in the classical and quantum formalisms, by introducing the effect of the mass function in both kinetic and potential energies. The resulting Hamiltonian is mapped into a Morse oscillator by means of a point canonical transformation from the usual phase space $(x, p)$ to a deformed one $(x_\gamma, \Pi_\gamma)$. Similar to the Morse potential, the deformed oscillator presents bound trajectories in phase space corresponding to an anharmonic oscillatory motion in classical formalism and, therefore, bound states with a discrete spectrum in quantum formalism. On the other hand, open trajectories in phase space are associated with scattering states and continuous energy spectrum. Employing the factorization method, we investigate the properties of the coherent states, such as the time evolution and their uncertainties. A fast localization, classical and quantum, is reported for the coherent states due to the asymmetrical position-dependent mass. An oscillation of the time evolution of the uncertainty relationship is also observed, whose amplitude increases as the deformation increases.


title: A Survey on Deep Learning based Time Series Analysis with Frequency Transformation

abstract: Recently, frequency transformation (FT) has been increasingly incorporated into deep learning models to significantly enhance state-of-the-art accuracy and efficiency in time series analysis. The advantages of FT, such as high efficiency and a global view, have been rapidly explored and exploited in various time series tasks and applications, demonstrating the promising potential of FT as a new deep learning paradigm for time series analysis. Despite the growing attention and the proliferation of research in this emerging field, there is currently a lack of a systematic review and in-depth analysis of deep learning-based time series models with FT. It is also unclear why FT can enhance time series analysis and what its limitations in the field are. To address these gaps, we present a comprehensive review that systematically investigates and summarizes the recent research advancements in deep learning-based time series analysis with FT. Specifically, we explore the primary approaches used in current models that incorporate FT, the types of neural networks that leverage FT, and the representative FT-equipped models in deep time series analysis. We propose a novel taxonomy to categorize the existing methods in this field, providing a structured overview of the diverse approaches employed in incorporating FT into deep learning models for time series analysis. Finally, we highlight the advantages and limitations of FT for time series modeling and identify potential future research directions that can further contribute to the community of time series analysis.


title: Comment on "Axion-matter coupling in multiferroics"

abstract: A previous publication [H. S. Roising et al., Phys. Rev. Research 3, 033236 (2021)] involving the current authors pointed out a coupling between dark matter axions and ferroic orders in multiferroics. In this comment we argue that using this coupling for dark matter sensing is likely not feasible for the material class we considered, with present-day technologies and level of materials synthesis. The proposed effect (for QCD axions) is small and is overwhelmed by thermal noise. This finding means that likely materials for the proposed detection scheme would need to be found with significantly lower magnetic ordering temperatures.


title: Anisotropic Ballistic Transport Revealed by Molecular Nanoprobe Experiments

abstract: Atomic-scale charge transport properties are not only of significant fundamental interest but also highly relevant for numerous technical applications. However, experimental methods which are capable of detecting charge transport at the relevant single-digit nanometer length scales are scarce. Here we report on molecular nanoprobe (MONA) experiments on Pd(110) where we utilize the charge carrier-driven switching of a single cis-2-butene molecule to detect ballistic transport properties over length scales of a few nanometers. Our data demonstrate a striking angular dependence with a dip in charge transport along the [1-10]-oriented atomic rows and a peak in the transverse [001] direction. The narrow angular width of both features and distance-dependent measurements suggest that the nanometer-scale ballistic transport properties of metallic surfaces is significantly influenced by the atomic structure.


title: An analysis of the technology acceptance model in understanding university students behavioral intention to use metaverse technologies

abstract: Metaverse can be applied in several aspects of life such as the Economy, finance, social life, working environment, healthcare, real estate, and education. In the last 2 and a half years, during the COVID-19 pandemic, universities made immediate use of learning technologies, providing students with access to online learning content and platforms. Previous considerations on how to better integrate technology into universities or how the institutions can be better prepared in terms of infrastructure vanished almost immediately due to the necessity of immediate actions towards the need for social distance and global health. The present study proposes a framework for university students metaverse technologies in education acceptance and intention to use. The present study develops a structural model of MetaEducation acceptance. This model will be useful to university managers, policymakers, and professors to better incorporate the upcoming metaverse technology. The present study tests (if supported) the correlations among the aforementioned constructs. Preliminary results show hesitance to use MetaEducation technologies from university students. Self-efficacy and Subjective Norms affect Attitude and Perceived Usefulness positively, but on the other side, there is no strong correlation between Perceived Ease of Use and Attitude or Perceived Usefulness and Attitude. Authors believe that the weak ties among the study constructs have to do with the lack of knowledge of what really MetaEducation really is, and which are its advantages of use.


title: Towards a modeling, optimization and predictive control framework for fed-batch metabolic cybergenetics

abstract: Biotechnology offers many opportunities for the sustainable manufacturing of valuable products. The toolbox to optimize bioprocesses includes \textit{extracellular} process elements such as the bioreactor design and mode of operation, medium formulation, culture conditions, feeding rates, etc. However, these elements are frequently insufficient for achieving optimal process performance or precise product composition. One can use metabolic and genetic engineering methods for optimization at the intracellular level. Nevertheless, those are often of static nature, failing when applied to dynamic processes or if disturbances occur. Furthermore, many bioprocesses are optimized empirically and implemented with little-to-no feedback control to counteract disturbances. The concept of cybergenetics has opened new possibilities to optimize bioprocesses by enabling online modulation of the gene expression of metabolism-relevant proteins via external inputs (e.g., light intensity in optogenetics). Here, we fuse cybergenetics with model-based optimization and predictive control for optimizing dynamic bioprocesses. To do so, we propose to use dynamic constraint-based models that integrate the dynamics of metabolic reactions, resource allocation, and inducible gene expression. We formulate a model-based optimal control problem to find the optimal process inputs. Furthermore, we propose using model predictive control to address uncertainties via online feedback. We focus on fed-batch processes, where the substrate feeding rate is an additional optimization variable. As a simulation example, we show the optogenetic control of the ATPase enzyme complex for dynamic modulation of enforced ATP wasting to adjust product yield and productivity.


title: Construction Grammar Provides Unique Insight into Neural Language Models

abstract: Construction Grammar (CxG) has recently been used as the basis for probing studies that have investigated the performance of large pretrained language models (PLMs) with respect to the structure and meaning of constructions. In this position paper, we make suggestions for the continuation and augmentation of this line of research. We look at probing methodology that was not designed with CxG in mind, as well as probing methodology that was designed for specific constructions. We analyse selected previous work in detail, and provide our view of the most important challenges and research questions that this promising new field faces.


title: Developing Driving Strategies Efficiently: A Skill-Based Hierarchical Reinforcement Learning Approach

abstract: Driving in dense traffic with human and autonomous drivers is a challenging task that requires high-level planning and reasoning. Human drivers can achieve this task comfortably, and there has been many efforts to model human driver strategies. These strategies can be used as inspirations for developing autonomous driving algorithms or to create high-fidelity simulators. Reinforcement learning is a common tool to model driver policies, but conventional training of these models can be computationally expensive and time-consuming. To address this issue, in this paper, we propose ``skill-based" hierarchical driving strategies, where motion primitives, i.e. skills, are designed and used as high-level actions. This reduces the training time for applications that require multiple models with varying behavior. Simulation results in a merging scenario demonstrate that the proposed approach yields driver models that achieve higher performance with less training compared to baseline reinforcement learning methods.


title: Dual Self-Awareness Value Decomposition Framework without Individual Global Max for Cooperative Multi-Agent Reinforcement Learning

abstract: Value decomposition methods have gained popularity in the field of cooperative multi-agent reinforcement learning. However, almost all existing methods follow the principle of Individual Global Max (IGM) or its variants, which limits their problem-solving capabilities. To address this, we propose a dual self-awareness value decomposition framework, inspired by the notion of dual self-awareness in psychology, that entirely rejects the IGM premise. Each agent consists of an ego policy for action selection and an alter ego value function to solve the credit assignment problem. The value function factorization can ignore the IGM assumption by utilizing an explicit search procedure. On the basis of the above, we also suggest a novel anti-ego exploration mechanism to avoid the algorithm becoming stuck in a local optimum. As the first fully IGM-free value decomposition method, our proposed framework achieves desirable performance in various cooperative tasks.


title: Model Stitching and Visualization How GAN Generators can Invert Networks in Real-Time

abstract: In this work, we propose a fast and accurate method to reconstruct activations of classification and semantic segmentation networks by stitching them with a GAN generator utilizing a 1x1 convolution. We test our approach on images of animals from the AFHQ wild dataset, ImageNet1K, and real-world digital pathology scans of stained tissue samples. Our results show comparable performance to established gradient descent methods but with a processing time that is two orders of magnitude faster, making this approach promising for practical applications.


title: Online Reinforcement Learning in Non-Stationary Context-Driven Environments

abstract: We study online reinforcement learning (RL) in non-stationary environments, where a time-varying exogenous context process affects the environment dynamics. Online RL is challenging in such environments due to "catastrophic forgetting" (CF). The agent tends to forget prior knowledge as it trains on new experiences. Prior approaches to mitigate this issue assume task labels (which are often not available in practice) or use off-policy methods that suffer from instability and poor performance. We present Locally Constrained Policy Optimization (LCPO), an online RL approach that combats CF by anchoring policy outputs on old experiences while optimizing the return on current experiences. To perform this anchoring, LCPO locally constrains policy optimization using samples from experiences that lie outside of the current context distribution. We evaluate LCPO in Mujoco, classic control and computer systems environments with a variety of synthetic and real context traces, and find that it outperforms state-of-the-art on-policy and off-policy RL methods in the non-stationary setting, while achieving results on-par with an "oracle" agent trained offline across all context traces.


title: Discovering planets with PLATO: Comparison of algorithms for stellar activity filtering

abstract: Context. To date, stellar activity is one of the main limitations in detecting small exoplanets via transit photometry. Since this activity is enhanced in young stars, traditional filtering algorithms may severely under-perform in detecting such exoplanets. Aims.This paper aims to compare the relative performances of four algorithms developed by independent research groups specifically for the filtering of activity in the light curves (LCs) of young active stars, prior to the search for planetary transit signals: Notch and LOCoR(N&L), Young Stars Detrending(YSD), K2 Systematics Correction(K2SC) and VARLET. We include in the comparison also the two best-performing algorithms implemented in Wotan, namely the Tukey's biweight and the Huber Spline. Methods. We performed a series of injection-retrieval tests of planetary transits of different types, from Jupiter down to Earth-sized planets, moving both on circular and eccentric orbits. The tests were carried out over 100 simulated LCs of both quiet and active solar-like stars that will be observed by the ESA space telescope PLATO. Results. We found that N&L is the best choice in many cases, since it misses the lowest number of transits. However, it under-performs if the planetary orbital period closely matches the stellar rotation period, especially in the case of small planets for which the biweight and VARLET algorithms work better. For LCs with a large number of data, the combined results of YSD and Huber Spline yield the highest recovery percentage. Filtering algorithms allow us to get a very precise estimate of the orbital period and the mid-transit time of the detected planets, while the planet-to-star radius is under-estimated most of the time, especially in the case of grazing transits or eccentric orbits. A refined filtering taking into account the presence of the planet is compulsory for a proper planetary characterization.


title: Real-Time Image Demoireing on Mobile Devices

abstract: Moire patterns appear frequently when taking photos of digital screens, drastically degrading the image quality. Despite the advance of CNNs in image demoireing, existing networks are with heavy design, causing redundant computation burden for mobile devices. In this paper, we launch the first study on accelerating demoireing networks and propose a dynamic demoireing acceleration method (DDA) towards a real-time deployment on mobile devices. Our stimulus stems from a simple-yet-universal fact that moire patterns often unbalancedly distribute across an image. Consequently, excessive computation is wasted upon non-moire areas. Therefore, we reallocate computation costs in proportion to the complexity of image patches. In order to achieve this aim, we measure the complexity of an image patch by designing a novel moire prior that considers both colorfulness and frequency information of moire patterns. Then, we restore image patches with higher-complexity using larger networks and the ones with lower-complexity are assigned with smaller networks to relieve the computation burden. At last, we train all networks in a parameter-shared supernet paradigm to avoid additional parameter burden. Extensive experiments on several benchmarks demonstrate the efficacy of our proposed DDA. In addition, the acceleration evaluated on the VIVO X80 Pro smartphone equipped with a chip of Snapdragon 8 Gen 1 shows that our method can drastically reduce the inference time, leading to a real-time image demoireing on mobile devices. Source codes and models are released at https://github.com/zyxxmu/DDA


title: Perfect matching problems in cluster algebras and number theory

abstract: This paper is a slightly extended version of the talk I gave at the Open Problems in Algebraic Combinatorics conference at the University of Minnesota in May 2022. We introduce two strict order relations on lattice paths and formulate several open problems. The topic is related to Markov numbers, the Lagrange spectrum, snake graphs and the cluster algebra of the once punctured torus. Our lattice paths are required to proceed by North and East steps and never go over the diagonal. To define the order relations, we first construct a snake graph $\mathcal{G}(\omega)$ and a band graph $\overline{\mathcal{G}(\omega)}$ for every such lattice path $\omega$. The first order relation $<_M$ is given by the number of perfect matchings of the snake graphs. The second order relation $<_L$ is given by the Lagrange number of a quadratic irrational associated to the band graph.


title: Perimeter Defense using a Turret with Finite Range and Service Times

abstract: We consider a perimeter defense problem in a planar conical environment comprising a single turret that has a finite range and non-zero service time. The turret seeks to defend a concentric perimeter against $N\geq 2$ intruders. Upon release, each intruder moves radially towards the perimeter with a fixed speed. To capture an intruder, the turret's angle must be aligned with that of the intruder's angle and must spend a specified service time at that orientation. We address offline and online versions of this optimization problem. Specifically, in the offline version, we establish that in general parameter regimes, this problem is equivalent to solving a Travelling Repairperson Problem with Time Windows (TRP-TW). We then identify specific parameter regimes in which there is a polynomial time algorithm that maximizes the number of intruders captured. In the online version, we present a competitive analysis technique in which we establish a fundamental guarantee on the existence of at best $(N-1)$-competitive algorithms. We also design two online algorithms that are provably $1$ and $2$-competitive in specific parameter regimes.


title: Appropriate Reliance on AI Advice: Conceptualization and the Effect of Explanations

abstract: AI advice is becoming increasingly popular, e.g., in investment and medical treatment decisions. As this advice is typically imperfect, decision-makers have to exert discretion as to whether actually follow that advice: they have to "appropriately" rely on correct and turn down incorrect advice. However, current research on appropriate reliance still lacks a common definition as well as an operational measurement concept. Additionally, no in-depth behavioral experiments have been conducted that help understand the factors influencing this behavior. In this paper, we propose Appropriateness of Reliance (AoR) as an underlying, quantifiable two-dimensional measurement concept. We develop a research model that analyzes the effect of providing explanations for AI advice. In an experiment with 200 participants, we demonstrate how these explanations influence the AoR, and, thus, the effectiveness of AI advice. Our work contributes fundamental concepts for the analysis of reliance behavior and the purposeful design of AI advisors.


title: Lower Bounds of Functions on Finite Abelian Groups

abstract: The problem of computing the optimum of a function on a finite set is an important problem in mathematics and computer science. Many combinatorial problems such as MAX-SAT and MAXCUT can be recognized as optimization problems on the hypercube $C_2^n = \{-1,1\}^n$ consisting of $2^n$ points. It has been noticed that if a finite set is equipped with an abelian group structure, then one can efficiently certify nonnegative functions on it by Fourier sum of squares (FSOS). Motivated by these works, this paper is devoted to developing a framework to find a lower bound of a function on a finite abelian group efficiently. We implement our algorithm by the SDP solver SDPNAL+ for computing the verified lower bound of $f$ on $G$ and test it on the MAX-2SAT and MAX-3SAT benchmark problems from the Max-SAT competitions in 2009 and 2016. Beyond that, we also test our algorithm on random functions on $C_3^n$. These experiments demonstrate the advantage of our algorithm over previously known methods.


title: A self-similar infinite binary tree is a solution of Steiner problem

abstract: We consider a general metric Steiner problem which is of finding a set $\mathcal{S}$ with minimal length such that $\mathcal{S} \cup A$ is connected, where $A$ is a given compact subset of a given complete metric space $X$; a solution is called Steiner tree. Paolini, Stepanov and Teplitskaya provided an example of a planar Steiner tree with an infinite number of branching points connecting an uncountable set of points. We prove that such a set can have a positive Hausdorff dimension which was an open question (the corresponding tree is a self-similar fractal).


title: An Alon-Tarsi Style Theorem for Additive Colorings

abstract: We first give an alternative proof of the Alon-Tarsi list coloring theorem. We use the ideas from this proof to obtain the following result, which is an additive coloring analog of the Alon-Tarsi Theorem: Let $G$ be a graph and let $D$ be an orientation of $G$. We introduce a new digraph $\mathcal{W}(D)$, such that if the out-degree in $D$ of each vertex $v$ is $d_v$, and if the number of Eulerian subdigraphs of $\mathcal{W}(D)$ with an even number of edges differs from the number of Eulerian subdigraphs of $\mathcal{W}(D)$ with an odd number of edges, then for any assignment of lists $L(v)$ of $d_v+1$ positive integers to the vertices of $G$, there is an additive coloring of $G$ assigning to each vertex $v$ an element from $L(v)$. As an application, we prove an additive list coloring result for tripartite graphs $G$ such that one of the color classes of $G$ contains only vertices whose neighborhoods are complete.


title: Unsupervised Learning for Pilot-free Transmission in 3GPP MIMO Systems

abstract: Reference signals overhead reduction has recently evolved as an effective solution for improving the system spectral efficiency. This paper introduces a new downlink data structure that is free from demodulation reference signals (DM-RS), and hence does not require any channel estimation at the receiver. The new proposed data transmission structure involves a simple repetition step of part of the user data across the different sub-bands. Exploiting the repetition structure at the user side, it is shown that reliable recovery is possible via canonical correlation analysis. This paper also proposes two effective mechanisms for boosting the CCA performance in OFDM systems; one for repetition pattern selection and another to deal with the severe frequency selectivity issues. The proposed approach exhibits favorable complexity-performance tradeoff, rendering it appealing for practical implementation. Numerical results, using a 3GPP link-level testbench, demonstrate the superiority of the proposed approach relative to the state-of-the-art methods.


title: Relaxing Hardware Requirements for Surface Code Circuits using Time-dynamics

abstract: The typical time-independent view of quantum error correction (QEC) codes hides significant freedom in the decomposition into circuits that are executable on hardware. Using the concept of detecting regions, we design time-dynamic QEC circuits directly instead of designing static QEC codes to decompose into circuits. In particular, we improve on the standard circuit constructions for the surface code, presenting new circuits that can embed on a hexagonal grid instead of a square grid, that can use ISWAP gates instead of CNOT or CZ gates, that can exchange qubit data and measure roles, and that move logical patches around the physical qubit grid while executing. All these constructions use no additional entangling gate layers and display essentially the same logical performance, having teraquop footprints within 25% of the standard surface code circuit. We expect these circuits to be of great interest to quantum hardware engineers, because they achieve essentially the same logical performance as standard surface code circuits while relaxing demands on hardware.


title: An easily computable upper bound on the Hoffman constant for homogeneous inequality systems

abstract: Let $A\in \mathbb{R}^{m\times n}\setminus \{0\}$ and $P:=\{x:Ax\le 0\}$. This paper provides a procedure to compute an upper bound on the following homogeneous Hoffman constant: \[ H_0(A) := \sup_{u\in \mathbb{R}^n \setminus P} \frac{\text{dist}(u,P)}{\text{dist}(Au, \mathbb{R}^m_-)}. \] In sharp contrast to the intractability of computing more general Hoffman constants, the procedure described in this paper is entirely tractable and easily implementable.


title: Laplacian ICP for Progressive Registration of 3D Human Head Meshes

abstract: We present a progressive 3D registration framework that is a highly-efficient variant of classical non-rigid Iterative Closest Points (N-ICP). Since it uses the Laplace-Beltrami operator for deformation regularisation, we view the overall process as Laplacian ICP (L-ICP). This exploits a `small deformation per iteration' assumption and is progressively coarse-to-fine, employing an increasingly flexible deformation model, an increasing number of correspondence sets, and increasingly sophisticated correspondence estimation. Correspondence matching is only permitted within predefined vertex subsets derived from domain-specific feature extractors. Additionally, we present a new benchmark and a pair of evaluation metrics for 3D non-rigid registration, based on annotation transfer. We use this to evaluate our framework on a publicly-available dataset of 3D human head scans (Headspace). The method is robust and only requires a small fraction of the computation time compared to the most popular classical approach, yet has comparable registration performance.


title: Quantum localization corrections from the Bethe-Salpeter equation

abstract: We investigate coherent matter wave transport in isotropic 3D speckle potentials by using the Bethe-Salper equation and the self-consistent theory of localization. This model constitutes an efficient tool to properly evaluate corrections to Boltzmann diffusion by taking into consideration quantum interference terms between the multiple-scattering paths. We calculate analytically and numerically the static current density, the density of states, the dipolar contribution and the reduced diffusion coefficient. Our results reveal that quantum corrections to diffusive transport, known as weak localization may not only lead to shift the above quantities but affect also the position of the mobility edge.


title: Recursive Analytical Quadrature of Laplace and Helmholtz Layer Potentials in $\mathbb{R}^3$

abstract: A method for the analytical evaluation of layer potentials arising in the collocation boundary element method for the Laplace and Helmholtz equation is developed for piecewise flat boundary elements with polynomial shape functions. The method is based on dimension-reduction via the divergence theorem and a Recursive scheme for evaluating the resulting line Integrals for Polynomial Elements (RIPE). It is used to evaluate single layer, double layer, adjoint double layer, and hypersingular potentials, for both the Laplace and the Helmholtz kernels. It naturally supports nearly singular, singular, and hypersingular integrals under a single framework without separate modifications. The developed framework exhibits accuracy and efficiency.


title: A L\'evy flight for electrons in graphene: superdiffusive-to-diffusive transport transition

abstract: In this work we propose an electronic L\'evy flight device, analogous to a recent optical realization. To that end, we investigate the transmission of electrons in graphene nanoribbons in the presence of circular electrostatic clusters, whose diameter follow a power-law distribution. We analyze the effect of the electrostatic clusters on the electronic transport regime of the nanoribbons, in terms of its diffusion behavior. Our numerical calculations show that the presence of circular electrostatic clusters induces a transition from L\'evy (superdiffusive) to diffusive transport as the energy increases. Furthermore, we argue that in our electronic L\'evy flight device, superdiffusive transport is an exclusive feature of the low-energy quantum regime, while diffusive transport is a feature of the semiclassical regime. Therefore, we attribute the observed transition to the chiral symmetry breaking, once the energy moves away from the Dirac point of graphene.


title: Astronomical tent observatories, relics of a bygone era

abstract: Between the mid-eighteenth and mid-nineteenth centuries, long-haul oceanic voyages of exploration and discovery routinely carried astronomical tent observatories to support land-based longitude determinations using heavy and cumbersome astronomical regulators and transit telescopes. Following James Cook's deployment of a pilot tent observatory on his first voyage to the Pacific in 1768-1771, the tent design was altered by William Bayly for more convenient use on Cook's second and third voyages to the Pacific. Bayly's design became the standard structure of tent observatories assigned to shipboard astronomers during the Age of Sail. By the middle of the nineteenth century, a subtle shift in focus had occurred, with tent observatories now being deployed to observe specific celestial events (such as the 1882 Venus transit or a variety of eclipses), while longitude determinations increasingly relied on the novel, compact and improved box chronometers of the day. A further shift in the application of tent observatories occurred towards the end of the nineteenth century, when astronomical applications largely gave way to a renewed focus on meteorological measurements.


title: Spacetime and large local transformations

abstract: We argue that the existence of solitons in theories in which local symmetries are spontaneously broken requires spacetime to be enlarged by additional coordinates that are associated with large local transformations. In the context of gravity theories the usual coordinates of spacetime can be thought of arising in this way. E theory automatically contains such an enlarged spacetime. We propose that spacetime appears in an underlying theory when the local symmetries are spontaneously broken.


title: Rank-based linkage I: triplet comparisons and oriented simplicial complexes

abstract: Rank-based linkage is a new tool for summarizing a collection $S$ of objects according to their relationships. These objects are not mapped to vectors, and ``similarity'' between objects need be neither numerical nor symmetrical. All an object needs to do is rank nearby objects by similarity to itself, using a Comparator which is transitive, but need not be consistent with any metric on the whole set. Call this a ranking system on $S$. Rank-based linkage is applied to the $K$-nearest neighbor digraph derived from a ranking system. Computations occur on a 2-dimensional abstract oriented simplicial complex whose faces are among the points, edges, and triangles of the line graph of the undirected $K$-nearest neighbor graph on $S$. In $|S| K^2$ steps it builds an edge-weighted linkage graph $(S, \mathcal{L}, \sigma)$ where $\sigma(\{x, y\})$ is called the in-sway between objects $x$ and $y$. Take $\mathcal{L}_t$ to be the links whose in-sway is at least $t$, and partition $S$ into components of the graph $(S, \mathcal{L}_t)$, for varying $t$. Rank-based linkage is a functor from a category of out-ordered digraphs to a category of partitioned sets, with the practical consequence that augmenting the set of objects in a rank-respectful way gives a fresh clustering which does not ``rip apart`` the previous one. The same holds for single linkage clustering in the metric space context, but not for typical optimization-based methods. Open combinatorial problems are presented in the last section.


title: First-principles Studies on Structural, Electronic, Optical and Mechanical Properties of Inorganic CS2NaTlX6 (X = F, Cl, Br) Double Halide Perovskites

abstract: The structural, electrical, optical, and mechanical characteristics of the lead-free halide double perovskites Cs2NaTlX6 X = F, Cl, Br are calculated by utilizing PBE functional within generalized gradient approximation GGA under the context of density functional theory DFT.The structural properties such as lattice parameter, cell volume, total energy, bulk modulus, pressure derivative, and tolerance factor are computed at equilibrium.The electronic density of states reveals the semiconducting nature of the compound and the band structure exhibits the nature of the band gap to be direct.HSE06 functional is introduced to correct the underestimated band gap as obtained in the GGA-PBE functional.The real and imaginary components of the dielectric function, absorption coefficient, energy loss function, reflectivity, refractive index, and extinction coefficient are analyzed and explained by electronic structures.


title: Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares

abstract: Pourchet proved in 1971 that every nonnegative univariate polynomial with rational coefficients is a sum of five or fewer squares. Nonetheless, there are no known algorithms for constructing such a decomposition. The sole purpose of the present paper is to present a set of algorithms that decompose a given nonnegative polynomial into a sum of six (five under some unproven conjecture or when allowing weights) squares of polynomials. Moreover, we prove that the binary complexity can be expressed polynomially in terms of classical operations of computer algebra and algorithmic number theory.


title: A Comparative Study of Z$^{\prime}$ mediated Charged Lepton Flavor Violation at future lepton colliders

abstract: Charged lepton flavor violation (CLFV) represents a transition between charged leptons of different generations that violates lepton flavor conservation, which is a clear signature of possible new physics beyond the standard model. By exploiting a typical example model of extra Z$^{\prime}$ gauge boson, we perform a detailed comparative study on CLFV searches at several future lepton colliders, including a 240 GeV electron-positron collider and a TeV scale muon collider. Based on detailed signal and background Monte-Carlo studies with fast detector simulations, we derive the potentials in searching for Z$^{\prime}$ mediated CLFV couplings with $e\mu$, $e\tau$ and $\mu\tau$ of different future colliders. The results are compared with the current limits set by either low-energy experiments or the high-energy LHC experiments. We find that the sensitivity of the $\tau$ related CLFV coupling strength at future lepton colliders will be significantly improved comparing with the current best constraints.


title: On the parity conjecture for Hilbert schemes of points on threefolds

abstract: Let $Hilb^d(A^3)$ be the Hilbert scheme of $d$ points in $A^3$, and let $T_z$ denote the tangent space to a point $z \in Hilb^d(A^3)$. Okounkov and Pandharipande have conjectured that $\dim T_z$ and $d$ have the same parity for every $z$. For points $z$ parametrizing monomial ideals, the conjecture was proved by Maulik, Nekrasov, Okounkov, and Pandharipande. In this paper, we settle the conjecture for points $z$ parametrizing homogeneous ideals. In fact, we state a generalization of the conjecture to Quot schemes of $A^3$, and we prove it for points parametrizing graded modules.


title: Automating Crochet Patterns for Surfaces of Revolution

abstract: A surface of revolution is created by taking a curve in the $xy$-plane and rotating it about some axis. We develop a program which automatically generates crochet patterns for surfaces by revolution when they are obtained by rotating about the $x$-axis. In order to accomplish this, we invoke the arclength integral to determine where to take measurements for each row. In addition, a distance measure is created to optimally space increases and decreases. The result is a program that will take a function, $x$-bounds, crochet gauge, and a scale in order to produce a polished crochet pattern.


title: Meandering periods and asymmetries in light curves of Miras: Observational evidence for low mass-loss rates

abstract: Some Miras -- long-period variables in late evolutionary stages -- have meandering pulsation periods and light curve asymmetries, the causes of which are still unclear. We aim to understand better the origin of these phenomena by investigating a sample of solar-neighbourhood Miras. We characterised this group of stars and related their variability characteristics to other stellar parameters. We analysed observations from several databases to obtain light curves with maximum time span and temporal coverage for a sample of 548 Miras. We determined their pulsation period evolution over a time span of many decades, searched for changes in the periods, and determined the amplitude of the period change. We also analysed the Fourier spectra with respect to possible secondary frequency maxima. The sample was divided into two groups with respect to the presence of light curve bumps. IR colours and indicators of the third dredge-up were collected to study the sample stars' mass-loss and deep mixing properties. Our analysis revealed one new star, T~Lyn, with a continuously changing period. The group of Miras with meandering period changes is exclusively made up of M-type stars. The Fourier spectra of the meandering period Miras have no prominent additional peaks, suggesting that additional pulsation modes are not the cause of the meandering periods. We confirm that bumps are more common among S and C Miras and show, for the first time, that Miras with bumps have lower mass-loss rates than those with regular, symmetric light curves. Also Miras with meandering period changes have relatively little mass loss. We conclude that Miras with strongly changing periods or asymmetries in their light curves have relatively low dust mass-loss rates. Meandering period changes and light curve asymmetries could be connected to He-shell flashes and third dredge-up episodes.


title: The Weyl law for congruence subgroups and arbitrary $K_\infty$-types

abstract: Let $G$ be a reductive algebraic group over $\mathbb{Q}$ and $\Gamma\subset G(\mathbb{Q})$ an arithmetic subgroup. Let $K_\infty\subset G(\mathbb{R})$ be a maximal compact subgroup. We study the asymptotic behavior of the counting functions of the cuspidal and residual spectrum, respectively, of the regular representation of $G(\mathbb{R})$ in $L^2(\Gamma\backslash G(\mathbb{R}))$ of a fixed $K_\infty$-type $\sigma$. A conjecture, which is due to Sarnak, states that the counting function of the cuspidal spectrum of type $\sigma$ satisfies Weyl's law and the residual spectrum is of lower order growth. Using the Arthur trace formula we reduce the conjecture to a problem about $L$-functions occurring in the constant terms of Eisenstein series. If $G$ satisfies property (L), introduced by Finis and Lapid, we establish the conjecture. This includes classical groups over a number field.


title: Certified Robust Control under Adversarial Perturbations

abstract: Autonomous systems increasingly rely on machine learning techniques to transform high-dimensional raw inputs into predictions that are then used for decision-making and control. However, it is often easy to maliciously manipulate such inputs and, as a result, predictions. While effective techniques have been proposed to certify the robustness of predictions to adversarial input perturbations, such techniques have been disembodied from control systems that make downstream use of the predictions. We propose the first approach for composing robustness certification of predictions with respect to raw input perturbations with robust control to obtain certified robustness of control to adversarial input perturbations. We use a case study of adaptive vehicle control to illustrate our approach and show the value of the resulting end-to-end certificates through extensive experiments.


title: A Theory of Link Prediction via Relational Weisfeiler-Leman on Knowledge Graphs

abstract: Graph neural networks are prominent models for representation learning over graph-structured data. While the capabilities and limitations of these models are well-understood for simple graphs, our understanding remains incomplete in the context of knowledge graphs. Our goal is to provide a systematic understanding of the landscape of graph neural networks for knowledge graphs pertaining to the prominent task of link prediction. Our analysis entails a unifying perspective on seemingly unrelated models and unlocks a series of other models. The expressive power of various models is characterized via a corresponding relational Weisfeiler-Leman algorithm. This analysis is extended to provide a precise logical characterization of the class of functions captured by a class of graph neural networks. The theoretical findings presented in this paper explain the benefits of some widely employed practical design choices, which are validated empirically.


title: Oscillation-free Quantization for Low-bit Vision Transformers

abstract: Weight oscillation is an undesirable side effect of quantization-aware training, in which quantized weights frequently jump between two quantized levels, resulting in training instability and a sub-optimal final model. We discover that the learnable scaling factor, a widely-used $\textit{de facto}$ setting in quantization aggravates weight oscillation. In this study, we investigate the connection between the learnable scaling factor and quantized weight oscillation and use ViT as a case driver to illustrate the findings and remedies. In addition, we also found that the interdependence between quantized weights in $\textit{query}$ and $\textit{key}$ of a self-attention layer makes ViT vulnerable to oscillation. We, therefore, propose three techniques accordingly: statistical weight quantization ($\rm StatsQ$) to improve quantization robustness compared to the prevalent learnable-scale-based method; confidence-guided annealing ($\rm CGA$) that freezes the weights with $\textit{high confidence}$ and calms the oscillating weights; and $\textit{query}$-$\textit{key}$ reparameterization ($\rm QKR$) to resolve the query-key intertwined oscillation and mitigate the resulting gradient misestimation. Extensive experiments demonstrate that these proposed techniques successfully abate weight oscillation and consistently achieve substantial accuracy improvement on ImageNet. Specifically, our 2-bit DeiT-T/DeiT-S algorithms outperform the previous state-of-the-art by 9.8% and 7.7%, respectively. Code and models are available at: https://github.com/nbasyl/OFQ.


title: Performance and systematic uncertainties of CTA-North in conditions of reduced atmospheric transmission

abstract: The Cherenkov Telescope Array (CTA) is the next-generation stereoscopic system of Imaging Atmospheric Cherenkov Telescopes (IACTs). In IACTs, the atmosphere is used as a calorimeter to measure the energy of extensive air showers induced by cosmic gamma rays, which brings along a series of constraints on the precision to which energy can be reconstructed. The presence of clouds during observations can severely affect Cherenkov light yield, contributing to the systematic uncertainty in energy scale calibration. To minimize these systematic uncertainties, a calibration of telescopes is of great importance. For this purpose, the influence of cloud transmission and altitude on CTA-N performance degradation was investigated using detailed Monte Carlo simulations for the case where no action is taken to correct for the effects of clouds. Variations of instrument response functions in the presence of clouds are presented. In the presence of clouds with low transmission ($\leq$ 80%) the energy resolution is aggravated by 30% at energies below 1 TeV, and by 10% at higher energies. For higher transmissions, the energy resolution is worse by less than 10% in the whole energy range. The angular resolution varies up to 10% depending both on the transmission and altitude of the cloud. The sensitivity of the array is most severely reduced at lower energies, even by 60% at 40 GeV, depending on the clouds' properties. A simple semi-analytical model of sensitivity degradation has been introduced to summarize the influence of clouds on sensitivity and provide useful scaling relations.


title: Federated Temporal Difference Learning with Linear Function Approximation under Environmental Heterogeneity

abstract: We initiate the study of federated reinforcement learning under environmental heterogeneity by considering a policy evaluation problem. Our setup involves $N$ agents interacting with environments that share the same state and action space but differ in their reward functions and state transition kernels. Assuming agents can communicate via a central server, we ask: Does exchanging information expedite the process of evaluating a common policy? To answer this question, we provide the first comprehensive finite-time analysis of a federated temporal difference (TD) learning algorithm with linear function approximation, while accounting for Markovian sampling, heterogeneity in the agents' environments, and multiple local updates to save communication. Our analysis crucially relies on several novel ingredients: (i) deriving perturbation bounds on TD fixed points as a function of the heterogeneity in the agents' underlying Markov decision processes (MDPs); (ii) introducing a virtual MDP to closely approximate the dynamics of the federated TD algorithm; and (iii) using the virtual MDP to make explicit connections to federated optimization. Putting these pieces together, we rigorously prove that in a low-heterogeneity regime, exchanging model estimates leads to linear convergence speedups in the number of agents.


title: CosPGD: a unified white-box adversarial attack for pixel-wise prediction tasks

abstract: While neural networks allow highly accurate predictions in many tasks, their lack of robustness towards even slight input perturbations hampers their deployment in many real-world applications. Recent research towards evaluating the robustness of neural networks such as the seminal projected gradient descent(PGD) attack and subsequent works have drawn significant attention, as they provide an effective insight into the quality of representations learned by the network. However, these methods predominantly focus on image classification tasks, while only a few approaches specifically address the analysis of pixel-wise prediction tasks such as semantic segmentation, optical flow, disparity estimation, and others, respectively. Thus, there is a lack of a unified adversarial robustness benchmarking tool(algorithm) that is applicable to all such pixel-wise prediction tasks. In this work, we close this gap and propose CosPGD, a novel white-box adversarial attack that allows optimizing dedicated attacks for any pixel-wise prediction task in a unified setting. It leverages the cosine similarity between the distributions over the predictions and ground truth (or target) to extend directly from classification tasks to regression settings. We outperform the SotA on semantic segmentation attacks in our experiments on PASCAL VOC2012 and CityScapes. Further, we set a new benchmark for adversarial attacks on optical flow, and image restoration displaying the ability to extend to any pixel-wise prediction task.


title: Variational multichannel multiclass segmentation using unsupervised lifting with CNNs

abstract: We propose an unsupervised image segmentation approach, that combines a variational energy functional and deep convolutional neural networks. The variational part is based on a recent multichannel multiphase Chan-Vese model, which is capable to extract useful information from multiple input images simultaneously. We implement a flexible multiclass segmentation method that divides a given image into $K$ different regions. We use convolutional neural networks (CNNs) targeting a pre-decomposition of the image. By subsequently minimising the segmentation functional, the final segmentation is obtained in a fully unsupervised manner. Special emphasis is given to the extraction of informative feature maps serving as a starting point for the segmentation. The initial results indicate that the proposed method is able to decompose and segment the different regions of various types of images, such as texture and medical images and compare its performance with another multiphase segmentation method.


title: On 2-strong connectivity orientations of mixed graphs and related problems

abstract: A mixed graph $G$ is a graph that consists of both undirected and directed edges. An orientation of $G$ is formed by orienting all the undirected edges of $G$, i.e., converting each undirected edge $\{u,v\}$ into a directed edge that is either $(u,v)$ or $(v,u)$. The problem of finding an orientation of a mixed graph that makes it strongly connected is well understood and can be solved in linear time. Here we introduce the following orientation problem in mixed graphs. Given a mixed graph $G$, we wish to compute its maximal sets of vertices $C_1,C_2,\ldots,C_k$ with the property that by removing any edge $e$ from $G$ (directed or undirected), there is an orientation $R_i$ of $G\setminus{e}$ such that all vertices in $C_i$ are strongly connected in $R_i$. We discuss properties of those sets, and we show how to solve this problem in linear time by reducing it to the computation of the $2$-edge twinless strongly connected components of a directed graph. A directed graph $G=(V,E)$ is twinless strongly connected if it contains a strongly connected spanning subgraph without any pair of antiparallel (or twin) edges. The twinless strongly connected components (TSCCs) of a directed graph $G$ are its maximal twinless strongly connected subgraphs. A $2$-edge twinless strongly connected component (2eTSCC) of $G$ is a maximal subset of vertices $C$ such that any two vertices $u, v \in C$ are in the same twinless strongly connected component of $G \setminus e$, for any edge $e$. These concepts are motivated by several diverse applications, such as the design of road and telecommunication networks, and the structural stability of buildings.


title: A Minimax Approach Against Multi-Armed Adversarial Attacks Detection

abstract: Multi-armed adversarial attacks, in which multiple algorithms and objective loss functions are simultaneously used at evaluation time, have been shown to be highly successful in fooling state-of-the-art adversarial examples detectors while requiring no specific side information about the detection mechanism. By formalizing the problem at hand, we can propose a solution that aggregates the soft-probability outputs of multiple pre-trained detectors according to a minimax approach. The proposed framework is mathematically sound, easy to implement, and modular, allowing for integrating existing or future detectors. Through extensive evaluation on popular datasets (e.g., CIFAR10 and SVHN), we show that our aggregation consistently outperforms individual state-of-the-art detectors against multi-armed adversarial attacks, making it an effective solution to improve the resilience of available methods.


title: Tailoring magnetic hysteresis of Fe-Ni permalloy by additive manufacturing: Multiphysics-multiscale simulations of process-property relationships

abstract: Designing the microstructure of Fe-Ni permalloy by additive manufacturing (AM) opens new avenues to tailor the materials' magnetic properties. Yet, AM-produced parts suffer from spatially inhomogeneous thermal-mechanical and magnetic responses, which are less investigated in terms of process simulation and modeling schemes. Here we present a powder-resolved multiphysics-multiscale simulation scheme for describing magnetic hysteresis in materials produced via AM. The underlying physical processes are explicitly considered, including the coupled thermal-structural evolution, chemical order-disorder transitions, and associated thermo-elasto-plastic behaviors. The residual stress is identified as the key thread in connecting the physical processes and in-process phenomena across scales. By employing this scheme, we investigate the dependence of the fusion zone size, the residual stress and plastic strain, and the magnetic hysteresis of AM-produced Fe21.5Ni78.5 permalloy on beam power and scan speed. Simulation results also suggest a phenomenological relation between magnetic coercivity and average residual stress, which can guide the magnetic hysteresis design of soft magnetic materials by choosing appropriate AM-process parameters.


title: Lie integrability by quadratures for symplectic, cosymplectic, contact and cocontact Hamiltonian systems

abstract: In this paper we present the theorem on Lie integrability by quadratures for time-independent Hamiltonian systems on symplectic and contact manifolds, and for time-dependent Hamiltonian systems on cosymplectic and cocontact manifolds. We show that having a solvable Lie algebra of constants of motion for a Hamiltonian system is equivalent to having a solvable Lie algebra of symmetries of the vector field defining the dynamics of the system, which allows us to find the solutions of the equations of motion by quadratures.


title: Distinct melting behaviour of partially oxidized Cu nanoparticles and nanowires

abstract: While most of the experimental studies are dealing with partially oxidized metallic nanosolids, their behaviour is not well understood theoretically. To this end we utilized molecular dynamics simulation and charge-optimized many-body potential to probe melting of Cu nanoparticles and nanowires with and without a monolayer of Cu$_2$O as a shell. It is shown that partially oxidized nanosolids present a different melting behaviour than the widely accepted picture of melting, and especially different than surface melting. (i) For both types of nanosolids we observed inward diffusion of $\sim$40\% of atomic oxygen into the metallic core at room temperature. (ii) For the nanowire with oxide shell we observed a solid state phase transition in the Cu core that is not present for the case without the oxide. (iii) Prior to melting, the oxide shell shrinks, and this process continues after melting, to form a particulate oxide, for both types of nanosolids.


title: Matrix Weights and Regularity for Degenerate Elliptic Equations

abstract: We prove local boundedness, Harnack's inequality and local regularity for weak solutions of quasilinear degenerate elliptic equations in divergence form with Rough coefficients. Degeneracy is encoded by a non-negative, symmetric, measurable matrix valued function Q(x) and two suitable non-negative weight functions. We setup an axiomatic approach in terms of suitable geometric conditions and local Sobolev-Poincar\'e inequalities. Data integrability is close to L1 and is exploited in terms of a suitable Stummel-Kato class that in some cases is necessary for local regularity.


title: A quantification of how much crypto-miners are driving up the wholesale cost of energy in Texas

abstract: The use of energy by cryptocurrency mining comes not just with an environmental cost but also an economic one through increases in electricity prices for other consumers. Here we investigate the increase in wholesale price on Texas ERCOT grid due to energy consumption from cryptocurrency mining. For every GW of cryptocurrency mining load on the grid, we find that the wholesale price of electricity on the ERCOT grid increases by 2 per Cent. Given that todays cryptocurrency mining load on the ERCOT grid is around 1 GW, it suggests that wholesale prices have already risen this amount. There are 27 GW of mining load waiting to be hooked up to the ERCOT grid. If cryptocurrency mining increases rapidly, the price of energy in Texas could skyrocket.


title: Saturated Fusion Systems on Sylow $p$-subgroups of Rank $2$ Simple Groups of Lie Type

abstract: For any prime $p$ and $S$ a $p$-group isomorphic to a Sylow $p$-subgroup of a rank $2$ simple group of Lie type in characteristic $p$, we determine all saturated fusion systems supported on $S$ up to isomorphism.


title: Nooks: Social Spaces to Lower Hesitations in Interacting with New People at Work

abstract: Initiating conversations with new people at work is often intimidating because of uncertainty about their interests. People worry others may reject their attempts to initiate conversation or that others may not enjoy the conversation. We introduce a new system, Nooks, built on Slack, that reduces fear of social evaluation by enabling individuals to initiate any conversation as a nook -- a conversation room that identifies its topic, but not its creator. Automatically convening others interested in the nook, Nooks further reduces fears of social evaluation by guaranteeing individuals in advance that others they are about to interact with are interested in the conversation. In a multi-month deployment with participants in a summer research program, Nooks provided participants with non-threatening and inclusive interaction opportunities, and ambient awareness, leading to new interactions online and offline. Our results demonstrate how intentionally designed social spaces can reduce fears of social evaluation and catalyze new workplace connections.


title: TAP: The Attention Patch for Cross-Modal Knowledge Transfer from Unlabeled Modality

abstract: This paper addresses a cross-modal learning framework, where the objective is to enhance the performance of supervised learning in the primary modality using an unlabeled, unpaired secondary modality. Taking a probabilistic approach for missing information estimation, we show that the extra information contained in the secondary modality can be estimated via Nadaraya-Watson (NW) kernel regression, which can further be expressed as a kernelized cross-attention module (under linear transformation). This expression lays the foundation for introducing The Attention Patch (TAP), a simple neural network add-on that can be trained to allow data-level knowledge transfer from the unlabeled modality. We provide extensive numerical simulations using real-world datasets to show that TAP can provide statistically significant improvement in generalization across different domains and different neural network architectures, making use of seemingly unusable unlabeled cross-modal data.