title: Melting curves of ice polymorphs in the vicinity of the liquid-liquid critical point

abstract: The possible existence of a liquid-liquid critical point in deeply supercooled water has been a subject of debate in part due to the challenges associated with providing definitive experimental evidence. Pioneering work by Mishima and Stanley [Nature 392, 164 (1998) and Phys. Rev. Lett. 85, 334 (2000)] sought to shed light on this problem by studying the melting curves of different ice polymorphs and their metastable continuation in the vicinity of the expected location of the liquid-liquid transition and its associated critical point. Based on the continuous or discontinuous changes in slope of the melting curves, Mishima suggested that the liquid-liquid critical point lies between the melting curves of ice III and ice V. Here, we explore this conjecture using molecular dynamics simulations with a purely-predictive machine learning model based on ab initio quantum-mechanical calculations. We study the melting curves of ices III, IV, V, VI, and XIII using this model and find that the melting lines of all the studied ice polymorphs are supercritical and do not intersect the liquid-liquid transition locus. We also find a pronounced, yet continuous, change in slope of the melting lines upon crossing of the locus of maximum compressibility of the liquid. Finally, we analyze critically the literature in light of our findings, and conclude that the scenario in which melting curves are supercritical is favored by the most recent computational and experimental evidence. Thus, although the preponderance of experimental and computational evidence is consistent with the existence of a second critical point in water, the behavior of the melting lines of ice polymorphs does not provide strong evidence in support of this viewpoint, according to our calculations.


title: Stable Marriage, Children, and Intrahousehold Allocations

abstract: We present a revealed preference framework to study sharing of resources in households with children. We explicitly model the impact of the presence of children in the context of stable marriage markets under both potential types of custody arrangement - joint custody and sole custody. Our models deliver testable revealed preference conditions and allow for the identification of intrahousehold allocation of resources. Empirical applications to household data from the Netherlands (joint custody) and Russia (sole custody) show the methods' potential to identify intrahousehold allocation.


title: On the Theory of Specialisations of Regular Covers of Zariski Structures

abstract: In algebraic geometry specialisations and valuations play and important role. In this paper we start investigating analogous structures for Zariski structures. Specifically, we look into the existence and uniqueness properties of extensions of universal specialisations from a base Zariski structure to its regular cover. In the process we begin to uncover some structural properties of regular covers of Zariski structures, and also to uncover the type of topological properties necessary for a Zariski structure to have a "good" theory of specialisations. A subclass of Zariski structures is identified with a ``good'' theory of specialisations.


title: Numerical analysis of a multistable capsule system under the delayed feedback control with a constant delay

abstract: The vibro-impact capsule system is a self-propelled mechanism that has abundant coexisting attractors and moves rectilinearly under periodic excitation when overcoming environmental resistance. In this paper, we study the control of coexisting attractors in this system by using a delayed feedback controller (DFC) with a constant delay. The aim of our control is to steer this complex system toward an attractor with preferable performance characteristics among multiple coexisting attractors, e.g., a periodically fast forward progression. For this purpose, we give an example of a feedback-controlled transition from a period-3 motion with low progression speed to a period-1 motion with high progression speed at the system parameters where both responses coexist. The effectiveness of this controller is investigated numerically by considering its convergence time and the required control energy input to achieve transition. We combine pseudo-spectral approximation of the delay, event detection for the discontinuities and path-following (continuation) techniques for non-smooth delay dynamical systems to carry out bifurcation analysis. We systematically study the dynamical performance of the controlled system when varying its control gain and delay time. Our numerical simulations show the effectiveness of DFC under a wide range of system parameters. We find that the desired period-1 motion is achievable in a range of control delays between a period-doubling and a grazing bifurcation. Therefore, two-parameter continuation of these two bifurcations with respect to the control delay and control gain is conducted to identify the delay-gain parameter region where the period-1 motion is stable. The findings of this work can be used for tuning control parameters in experiments, and similar analysis can be carried out for other non-smooth dynamical systems with a constant delay term.


title: Knowledge-based Intent Modeling for Next Generation Cellular Networks

abstract: Intent-based networking (IBN) facilitates the representation of consumer expectations in a declarative and domain-independent form. However, mapping intents to service and resource models remains an open challenge. IBN requires handling existing system data in a structured yet flexible structure way. Knowledge graphs provide an efficient conceptual framework for constructing contexts and organizing known information. We utilize knowledge graphs to construct a knowledge-based for modeling of intents in the networking domain. In addition, this work also proposes a knowledge-based intent modeling and processing methodology, extending the standardized intent common model proposed by TM Forum for next-generation cellular networks and services. The proposed knowledge-based IBN approach is demonstrated for next-generation cellular services, validating its potential.


title: THC: Accelerating Distributed Deep Learning Using Tensor Homomorphic Compression

abstract: Deep neural networks (DNNs) are the de facto standard for essential use cases, such as image classification, computer vision, and natural language processing. As DNNs and datasets get larger, they require distributed training on increasingly larger clusters. A main bottleneck is the resulting communication overhead where workers exchange model updates (i.e., gradients) on a per-round basis. To address this bottleneck and accelerate training, a widely-deployed approach is compression. However, previous deployments often apply bi-directional compression schemes by simply using a uni-directional gradient compression scheme in each direction. This results in significant computational overheads at the parameter server and increased compression error, leading to longer training and lower accuracy. We introduce Tensor Homomorphic Compression (THC), a novel bi-directional compression framework that enables the direct aggregation of compressed values and thus eliminating the aforementioned computational overheads. Moreover, THC is compatible with in-network aggregation (INA), which allows for further acceleration. Our evaluation shows that training representative vision and language models with THC reaches target accuracy by 1.40x to 1.47x faster using INA and 1.28x to 1.33x faster using a software PS compared with state-of-the-art systems.


title: Triple-Pomeron Diffraction Peak as a Signature of UHE Proton-Initiated Spectra of Gammas and Neutrinos in Astrophysics

abstract: Production of ultra-high-energy (UHE) particles in astrophysics should not be different from the hadron production at the contemporary proton colliders. LHC experiments are providing us with the proton spectra at very high energy (VHE) that are measured in the center-of-mass system (c.m.s.). The proton spectrum in c.m.s. has two special features that are important at HE hadron collisions: the growing central-rapidity part with hadron-antihadron pair production and the valuable diffractive peak in the region of the leading proton due to the triple-pomeron term. The QCD phenomenological studies of previous years gave us the Quark-Gluon String Model for the calculations of baryon and meson production spectra in a full kinematical range of rapidities. The collider proton production spectrum was recalculated to the laboratory system of coordinates, which is natural for astrophysical observations. The specifics of collider distributions of protons are reflected in astrophysical spectra as the knee of cosmic proton spectrum and as the spectrum bulge at the UHE area in cosmic spectra of protons, neutrinos, and gamma-photons. They help us to conclude that the energy distribution of baryon production plays an important role in the production of UHE cosmic particles. The remarkable result of this approach is the estimation of maximal energy (Emax) of initial protons (and antiprotons) from the energy of knee in the proton spectrum that give us $E_{max} = 6*10^{12}$ GeV.


title: Localization effects from local phase shifts in the modulation of waveguide arrays

abstract: Artificial gauge fields enable the intriguing possibility to manipulate the propagation of light as if it were under the influence of a magnetic field even though photons possess no intrinsic electric charge. Typically, such fields are engineered via periodic modulations of photonic lattices such that the effective coupling coefficients after one period become complex-valued. In this work, we investigate the possibility to introduce randomness into artificial gauge fields by applying local random phase shifts in the modulation of lattices of optical waveguides. We first study the elemental unit consisting of two coupled single-mode waveguides and determine the effective complex-valued coupling coefficient after one period of the modulation as a function of the phase shift, the modulation amplitude and the modulation frequency. Thereby we identify the regime where varying the modulation phase yields sufficiently large changes of the effective coupling coefficient to induce Anderson localization. Using these results, we demonstrate numerically the onset of Anderson localization in 1D- and 2D-lattices of x-, and helically-modulated waveguides via randomly choosing the modulation phases of the individual waveguides. Besides further fundamental investigations of wave propagation in the presence of random gauge fields, our findings enable the engineering of the coupling coefficients without changing the footprint of the overall lattice. As a proof of concept, we demonstrate how to engineer out-of-phase modulated lattices which exhibit dynamic localization and defect-free surface states. Therefore, we anticipate that the modulation phase will play an important role in the judicious design of functional waveguide lattices.


title: Connectomes and Properties of Quantum Entanglement

abstract: Topological quantum field theories (TQFT) encode properties of quantum states in the topological features of abstract manifolds. One can use the topological avatars of quantum states to develop intuition about different concepts and phenomena of quantum mechanics. In this paper we focus on the class of simplest topologies provided by a specific TQFT and investigate what the corresponding states teach us about entanglement. These ``planar connectome" states are defined by graphs of simplest topology for a given adjacency matrix. In the case of bipartite systems the connectomes classify different types of entanglement matching the classification of stochastic local operations and classical communication (SLOCC). The topological realization makes explicit the nature of entanglement as a resource and makes apparent a number of its properties, including monogamy and characteristic inequalities for the entanglement entropy. It also provides tools and hints to engineer new measures of entanglement and other applications. Here the approach is used to construct purely topological versions of the dense coding and quantum teleportation protocols, giving diagrammatic interpretation of the role of entanglement in quantum computation and communication. Finally, the topological concepts of entanglement and quantum teleportation are employed in a simple model of information retrieval from a causally disconnected region, similar to the interior of an evaporating black hole.


title: Speaker Change Detection for Transformer Transducer ASR

abstract: Speaker change detection (SCD) is an important feature that improves the readability of the recognized words from an automatic speech recognition (ASR) system by breaking the word sequence into paragraphs at speaker change points. Existing SCD solutions either require additional ensemble for the time based decisions and recognized word sequences, or implement a tight integration between ASR and SCD, limiting the potential optimum performance for both tasks. To address these issues, we propose a novel framework for the SCD task, where an additional SCD module is built on top of an existing Transformer Transducer ASR (TT-ASR) network. Two variants of the SCD network are explored in this framework that naturally estimate speaker change probability for each word, while allowing the ASR and SCD to have independent optimization scheme for the best performance. Experiments show that our methods can significantly improve the F1 score on LibriCSS and Microsoft call center data sets without ASR degradation, compared with a joint SCD and ASR baseline.


title: Thermal stability of stealth and de Sitter spacetimes in scalar-tensor gravity

abstract: Stealth solutions of scalar-tensor gravity and less-known de Sitter spaces that generalize them are analyzed regarding their possible role as thermal equilibria at non-zero temperature in the new first-order thermodynamics of scalar-tensor gravity. No stable equilibria are found, further validating the special role of general relativity as an equilibrium state in the landscape of gravity theories, seen through the lens of first-order thermodynamics.


title: Infinite Action Contextual Bandits with Reusable Data Exhaust

abstract: For infinite action contextual bandits, smoothed regret and reduction to regression results in state-of-the-art online performance with computational cost independent of the action set: unfortunately, the resulting data exhaust does not have well-defined importance-weights. This frustrates the execution of downstream data science processes such as offline model selection. In this paper we describe an online algorithm with an equivalent smoothed regret guarantee, but which generates well-defined importance weights: in exchange, the online computational cost increases, but only to order smoothness (i.e., still independent of the action set). This removes a key obstacle to adoption of smoothed regret in production scenarios.


title: Initial Fabrication and Characterization of Chemically-Etched Silicon Slits for KOSMOS

abstract: KOSMOS is a low-resolution, long-slit, optical spectrograph that has been upgraded at the University of Washington for its move from Kitt Peak National Observatory's Mayall 4m telescope to the Apache Point Observatory's ARC 3.5m telescope. One of the additions to KOSMOS is a slitviewer, which requires the fabrication of reflective slits, as KOSMOS previously used matte slits machined via wire EDM. We explore a novel method of slit fabrication using nanofabrication methods and compare the slit edge roughness, width uniformity, and the resulting scattering of the new fabricated slits to the original slits. We find the kerf surface of the chemically-etched reflective silicon slits are generally smoother than the machined matte slits, with an upper limit average roughness of 0.42 $\pm$ 0.03 $\mu$m versus 1.06 $\pm$ 0.04 $\mu$m respectively. The etched slits have width standard deviations of 6 $\pm$ 3 $\mu$m versus 10 $\pm$ 6 $\mu$m, respectively. The scattering for the chemically-etched slits is higher than that of the machined slits, showing that the reflectivity is the major contributor to scattering, not the roughness. This scattering, however, can be effectively reduced to zero with proper background subtraction. As slit widths increase, scattering increases for both types of slits, as expected. Future work will consist of testing and comparing the throughput and spectrophotometric data quality of these nanofabricated slits to the machined slits with on-sky data, in addition to making the etched slits more robust against breakage and finalizing the slit manufacturing process.


title: A New 22 nm ULPLS Architecture to Detect 70 mV Minimum Input, Suitable for IOT Applications

abstract: Modern applications such as energy harvesting, signal monitoring in bio-medical sensing, portable point of care devices, etc. which involve state of the art mixed signal subsystems require robust ultra low power operation. Here in this work, a novel ultra low power level shifter (ULPLS) is proposed for sensing voltage signals in sub-threshold region. The proposed architecture is implemented in 22 nm technology using a dual power supply. The high and low supply voltages (VddH & VddL) are set as 0.8 V and 0.4 V respectively. The key design features of ULPLS include a current limiting PMOS diode, a voltage divider, and an enhanced pull up network. The ULPLS exhibits a low power dissipation of ~ 22.84 nW with a minimum ~ 70 mV detection of input signal. The robustness of the design has been examined via worst case and Monte Carlo analyses.


title: Chebyshev distances associated to the second members of systems of Max-product/Lukasiewicz Fuzzy relational equations

abstract: In this article, we study the inconsistency of a system of $\max$-product fuzzy relational equations and of a system of $\max$-Lukasiewicz fuzzy relational equations. For a system of $\max-\min$ fuzzy relational equations $A \Box_{\min}^{\max} x = b$ and using the $L_\infty$ norm, (Baaj, 2023) showed that the Chebyshev distance $\Delta = \inf_{c \in \mathcal{C}} \Vert b - c \Vert$, where $\mathcal{C}$ is the set of second members of consistent systems defined with the same matrix $A$, can be computed by an explicit analytical formula according to the components of the matrix $A$ and its second member $b$. In this article, we give analytical formulas analogous to that of (Baaj, 2023) to compute the Chebyshev distance associated to the second member of a system of $\max$-product fuzzy relational equations and that associated to the second member of a system of $\max$-Lukasiewicz fuzzy relational equations.


title: Asymmetry of motion: vortex rings crossing a density gradient

abstract: Vortex rings are critical for thrust production underwater. In the ocean, self-propelled mesozooplankton generate vortices while swimming within a weakly stratified fluid. While large-scale biogenic transport has been observed during vertical migration in the wild and lab experiments, little focus has been given to the evolution of induced vortex rings as a function of their propagation direction relative to the density gradient. In this study, the evolution of an isolated vortex ring crossing the interface of a stable two-layer system is examined as a function of its translation direction with respect to gravity. The vortex ring size and position are visualized using Planar Induced Fluorescence (PLIF) and the induced vorticity field derived from Particle Image Velocimetry (PIV) is examined. It is found that the production of baroclinic vorticity significantly affects the propagation of vortex rings crossing the density interface. As a result, any expected symmetry between vortex rings traveling from dense to light fluids and from light to dense fluids breaks down. In turn, the maximum penetration depth of the vortex ring occurs in the case in which the vortex propagates against the density gradient due to the misalignment of the pressure and density gradients. Our results have far-reaching implications for the characterization of local ecosystems in marine environments.


title: Propagation of anisotropic gravitational and electromagnetic waves at very high energies

abstract: We analyze the dispersion relation for an anisotropic gravity-electromagnetic theory at very high energies. In particular for photons of very high energy. We start by introducing the anisotropic gravity-gauge vector field model. It is invariant under spacelike diffeomorphisms, time parametrization, and U(1) gauge transformations. It includes high-order spacelike derivatives as well as polynomial expressions of the Riemann and field strength tensor fields. It is based on the Ho\v{r}ava-Lifshitz anisotropic proposal. We show its consistency, and the stability of the Minkowski ground state. Finally, we determine the exact zone at which the physical degrees of freedom, i.e. the transverse-traceless tensorial degrees of freedom and the transverse vectorial degrees of freedom propagate according to a linear wave equation. This is so, in spite of the fact that there exists in the zone a non-trivial Newtonian background of the same order. The wave equation contains spatial derivatives up to the sixth order, in the lowest order it exactly matches the relativistic wave equation. We then analyze the dispersion relation at very high energies in the context of recent experimental data. The qualitative predictions of the proposed model, concerning the propagation of highly energetic photons, are different from the ones obtained from the modified dispersion relation of the LIV models.


title: Discrepancies of subtrees

abstract: We study multicolour, oriented and high-dimensional discrepancies of the set of all subtrees of a tree. As our main result, we show that the $r$-colour discrepancy of the subtrees of any tree is a linear function of the number of leaves $\ell$ of that tree. More concretely, we show that it is bounded by $\lceil(r-1)\ell/r\rceil$ from below and $\lceil(r-1)\ell/2\rceil$ from above, and that these bounds are asymptotically sharp. Motivated by this result, we introduce natural notions of oriented and high-dimensional discrepancies and prove bounds for the corresponding discrepancies of the set of all subtrees of a given tree as functions of its number of leaves.


title: Generative Adversarial Networks for Malware Detection: a Survey

abstract: Since their proposal in the 2014 paper by Ian Goodfellow, there has been an explosion of research into the area of Generative Adversarial Networks. While they have been utilised in many fields, the realm of malware research is a problem space in which GANs have taken root. From balancing datasets to creating unseen examples in rare classes, GAN models offer extensive opportunities for application. This paper surveys the current research and literature for the use of Generative Adversarial Networks in the malware problem space. This is done with the hope that the reader may be able to gain an overall understanding as to what the Generative Adversarial model provides for this field, and for what areas within malware research it is best utilised. It covers the current related surveys, the different categories of GAN, and gives the outcomes of recent research into optimising GANs for different topics, as well as future directions for exploration.


title: Status of the High Field Cable Test Facility at Fermilab

abstract: Fermi National Accelerator Laboratory (FNAL) and Lawrence Berkeley National Laboratory (LBNL) are building a new High Field Vertical Magnet Test Facility (HFVMTF) for testing superconducting cables in high magnetic field. The background magnetic field of 15 T in the HFVMTF will be produced by a magnet provided by LBNL. The HFVMTF is jointly funded by the US DOE Offices of Science, High Energy Physics (HEP), and Fusion Energy Sciences (FES), and will serve as a superconducting cable test facility in high magnetic fields and a wide range of temperatures for HEP and FES communities. This facility will also be used to test high-field superconducting magnet models and demonstrators, including hybrid magnets, produced by the US Magnet Development Program (MDP). The paper describes the status of the facility, including construction, cryostat designs, top and lambda plates, and systems for powering, and quench protection and monitoring.


title: Dual RL: Unification and New Methods for Reinforcement and Imitation Learning

abstract: The goal of reinforcement learning (RL) is to find a policy that maximizes the expected cumulative return. It has been shown that this objective can be represented as an optimization problem of state-action visitation distribution under linear constraints. The dual problem of this formulation, which we refer to as dual RL, is unconstrained and easier to optimize. In this work, we first cast several state-of-the-art offline RL and offline imitation learning (IL) algorithms as instances of dual RL approaches with shared structures. Such unification allows us to identify the root cause of the shortcomings of prior methods. For offline IL, our analysis shows that prior methods are based on a restrictive coverage assumption that greatly limits their performance in practice. To fix this limitation, we propose a new discriminator-free method ReCOIL that learns to imitate from arbitrary off-policy data to obtain near-expert performance. For offline RL, our analysis frames a recent offline RL method XQL in the dual framework, and we further propose a new method f-DVL that provides alternative choices to the Gumbel regression loss that fixes the known training instability issue of XQL. The performance improvements by both of our proposed methods, ReCOIL and f-DVL, in IL and RL are validated on an extensive suite of simulated robot locomotion and manipulation tasks. Project code and details can be found at this https://hari-sikchi.github.io/dual-rl.


title: Topological Signal Processing over Weighted Simplicial Complexes

abstract: Weighing the topological domain over which data can be represented and analysed is a key strategy in many signal processing and machine learning applications, enabling the extraction and exploitation of meaningful data features and their (higher order) relationships. Our goal in this paper is to present topological signal processing tools for weighted simplicial complexes. Specifically, relying on the weighted Hodge Laplacian theory, we propose efficient strategies to jointly learn the weights of the complex and the filters for the solenoidal, irrotational and harmonic components of the signals defined over the complex. We numerically asses the effectiveness of the proposed procedures.


title: Local dualisable objects in local algebra

abstract: We discuss dualisable objects in minimal subcategories of compactly generated tensor triangulated categories, paying special attention to the derived category of a commutative noetherian ring. A cohomological criterion for detecting these local dualisable objects is established. Generalisations to other related contexts are discussed.


title: PACMAN Attack: A Mobility-Powered Attack in Private 5G-Enabled Industrial Automation System

abstract: 3GPP has introduced Private 5G to support the next-generation industrial automation system (IAS) due to the versatility and flexibility of 5G architecture. Besides the 3.5GHz CBRS band, unlicensed spectrum bands, like 5GHz, are considered as an additional medium because of their free and abundant nature. However, while utilizing the unlicensed band, industrial equipment must coexist with incumbents, e.g., Wi-Fi, which could introduce new security threats and resuscitate old ones. In this paper, we propose a novel attack strategy conducted by a mobility-enabled malicious Wi-Fi access point (mmAP), namely \textit{PACMAN} attack, to exploit vulnerabilities introduced by heterogeneous coexistence. A mmAP is capable of moving around the physical surface to identify mission-critical devices, hopping through the frequency domain to detect the victim's operating channel, and launching traditional MAC layer-based attacks. The multi-dimensional mobility of the attacker makes it impervious to state-of-the-art detection techniques that assume static adversaries. In addition, we propose a novel Markov Decision Process (MDP) based framework to intelligently design an attacker's multi-dimensional mobility in space and frequency. Mathematical analysis and extensive simulation results exhibit the adverse effect of the proposed mobility-powered attack.


title: First-principles calculations of magnetic states in pyrochlores using a source-corrected exchange and correlation functional

abstract: We present a first-principles investigation of the spin-ice state in Dy$_2$Ti$_2$O$_7$ using a magnetic source-free exchange and correlation functional, implemented in the Castep electronic-structure code. By comparing results from the conventional local spin-density approximation, we show that a spin-ice state in Dy$_2$Ti$_2$O$_7$ can be reliably obtained by removing the magnetic sources from the exchange and correlation contributions to the potential, and we contrast this against the computed ground states of other frustrated pyrochlore magnets.


title: Variance Sum Rule for Entropy Production

abstract: Entropy production is the hallmark of nonequilibrium physics, quantifying irreversibility, dissipation, and the efficiency of energy transduction processes. Despite many efforts, its measurement at the nanoscale remains challenging. We introduce a variance sum rule for displacement and force variances that permits us to measure the entropy production rate $\sigma$ in nonequilibrium steady states. We first illustrate it for directly measurable forces, such as an active Brownian particle in an optical trap. We then apply the variance sum rule to flickering experiments in human red blood cells. We find that $\sigma$ is spatially heterogeneous with a finite correlation length and its average value agrees with calorimetry measurements. The VSR paves the way to derive $\sigma$ using force spectroscopy and time-resolved imaging in living and active matter.


title: Local versus global stability in dynamical systems with consecutive Hopf-Bifurcations

abstract: Quantifying the stability of an equilibrium is central in the theory of dynamical systems as well as in engineering and control. A comprehensive picture must include the response to both small and large perturbations, leading to the concepts of local (linear) and global stability. Here, we show how systems displaying Hopf bifurcations show contrarian results on these two aspects of stability: Global stability is large close to the point where the system loses its local stability altogether. We demonstrate this effect for an elementary model system, an anharmonic oscillator and a realistic model of power system dynamics with delayed control. Detailed investigations of the bifurcation explain the seeming paradox in terms of the location of the attractors relative to the equilibrium.


title: Coherent feedback control of quantum correlations in cavity magnomechanical system with magnon squeezing

abstract: We address a scheme to enhance the quantum correlations in cavity opto-magnomechanical system by using the coherent feedback loop in the presence of magnon squeezing. The proposed coherent feedback-control allows a significant enhancement of the entanglement of three bipartite subsystems, i.e., photon-phonon, photon-magnon and phonon-magnon. We also study the Einstein-Podolsky-Rosen steering and one-way steering in the presence of thermal effects without imposing additional conditions of asymmetric losses or noises in the subsystems. Furthermore, we investigate the sensitiveness of the scheme to the magnon squeezing, and its performance in non-ideal situations in which losses and noises are taken into account.


title: Can SUSY relax LNV constraints coming from loop corrections to light neutrino masses on the low-scale Seesaw?

abstract: Heavy neutrinos from the Type-I Seesaw model can have a large mixing with active states, motivating their search at collider experiments. However, loop corrections to light neutrino masses constrain the heavy neutrinos to appear in pseudo-Dirac pairs, leading to a potential suppression of lepton number violating parameters. In this work we perform a detailed review of a proposal to relax constraints on lepton number violation by adding supersymmetry. We define the conditions necessary to maximise the SUSY screening effect, with the objective of allowing a larger mass splitting between low-scale heavy neutrino masses. We find that the sole addition of SUSY does not guarantee a screening, and that favourable cases have some degree of fine-tuning.


title: Total momentum and other Noether charges for particles interacting in a quantum spacetime

abstract: There has been strong interest in the fate of relativistic symmetries in some quantum spacetimes, also because of its possible relevance for high-precision experimental tests of relativistic properties. However, the main technical results obtained so far concern the description of suitably deformed relativistic-symmetry transformation rules, whereas the properties of the associated Noether charges, which are crucial for the phenomenology, are still poorly understood. We here tackle this problem focusing on first-quantized particles described within a Hamiltonian framework and using as toy model the so-called ``spatial kappa-Minkowski noncommutative spacetime'', where all the relevant conceptual challenges are present but, as here shown, in technically manageable fashion. We derive the Noether charges, including the much-debated total-momentum charges, and we expose a strong link between the properties of these Noether charges and the structure of the laws of interaction among particles.


title: The complexity of counting planar graph homomorphisms of domain size 3

abstract: We prove a complexity dichotomy theorem for counting planar graph homomorphisms of domain size 3. Given any 3 by 3 real valued symmetric matrix $H$ defining a graph homomorphism from all planar graphs $G \mapsto Z_H(G)$, we completely classify the computational complexity of this problem according to the matrix $H$. We show that for every $H$, the problem is either polynomial time computable or \#P-hard. The P-time computable cases consist of precisely those that are P-time computable for general graphs (a complete classification is known) or computable by Valiant's holographic algorithm via matchgates. We also prove several results about planar graph homomorphisms for general domain size $q$. The proof uses mainly analytic arguments.


title: A Comprehensive Review and a Taxonomy of Edge Machine Learning: Requirements, Paradigms, and Techniques

abstract: The union of Edge Computing (EC) and Artificial Intelligence (AI) has brought forward the Edge AI concept to provide intelligent solutions close to the end-user environment, for privacy preservation, low latency to real-time performance, and resource optimization. Machine Learning (ML), as the most advanced branch of AI in the past few years, has shown encouraging results and applications in the edge environment. Nevertheless, edge-powered ML solutions are more complex to realize due to the joint constraints from both edge computing and AI domains, and the corresponding solutions are expected to be efficient and adapted in technologies such as data processing, model compression, distributed inference, and advanced learning paradigms for Edge ML requirements. Despite the fact that a great deal of the attention garnered by Edge ML is gained in both the academic and industrial communities, we noticed the lack of a complete survey on existing Edge ML technologies to provide a common understanding of this concept. To tackle this, this paper aims at providing a comprehensive taxonomy and a systematic review of Edge ML techniques, focusing on the soft computing aspects of existing paradigms and techniques. We start by identifying the Edge ML requirements driven by the joint constraints. We then extensively survey more than twenty paradigms and techniques along with their representative work, covering two main parts: edge inference, and edge learning. In particular, we analyze how each technique fits into Edge ML by meeting a subset of the identified requirements. We also summarize Edge ML frameworks and open issues to shed light on future directions for Edge ML.


title: Towards Reliable Assessments of Demographic Disparities in Multi-Label Image Classifiers

abstract: Disaggregated performance metrics across demographic groups are a hallmark of fairness assessments in computer vision. These metrics successfully incentivized performance improvements on person-centric tasks such as face analysis and are used to understand risks of modern models. However, there is a lack of discussion on the vulnerabilities of these measurements for more complex computer vision tasks. In this paper, we consider multi-label image classification and, specifically, object categorization tasks. First, we highlight design choices and trade-offs for measurement that involve more nuance than discussed in prior computer vision literature. These challenges are related to the necessary scale of data, definition of groups for images, choice of metric, and dataset imbalances. Next, through two case studies using modern vision models, we demonstrate that naive implementations of these assessments are brittle. We identify several design choices that look merely like implementation details but significantly impact the conclusions of assessments, both in terms of magnitude and direction (on which group the classifiers work best) of disparities. Based on ablation studies, we propose some recommendations to increase the reliability of these assessments. Finally, through a qualitative analysis we find that concepts with large disparities tend to have varying definitions and representations between groups, with inconsistencies across datasets and annotators. While this result suggests avenues for mitigation through more consistent data collection, it also highlights that ambiguous label definitions remain a challenge when performing model assessments. Vision models are expanding and becoming more ubiquitous; it is even more important that our disparity assessments accurately reflect the true performance of models.


title: Virtual Therapy Exergame for Upper Extremity Rehabilitation Using Smart Wearable Sensors

abstract: Virtual Reality (VR) has been utilized for several applications and has shown great potential for rehabilitation, especially for home therapy. However, these systems solely rely on information from VR hand controllers, which do not fully capture the individual movement of the joints. In this paper, we propose a creative VR therapy exergame for upper extremity rehabilitation using multi-dimensional reaching tasks while simultaneously capturing hand movement from the VR controllers and elbow joint movement from a flexible carbon nanotube sleeve. We conducted a preliminary study with non-clinical participants (n = 12, 7 F). In a 2x2 within-subjects study (orientation (vertical, horizontal) x configuration (flat, curved)), we evaluated the effectiveness and enjoyment of the exergame in different study conditions. The results show that there was a statistically significant difference in terms of task completion time between the two orientations. However, no significant differences were found in the number of mistakes in both orientation and configuration of the virtual exergame. This can lead to customizing therapy while maintaining the same level of intensity. That is, if a patient has restricted lower limb mobility and requires to be seated, they can use the orientations interchangeably. The results of resistance change generated from the carbon nanotube sleeve revealed that the flat configuration in the vertical orientation induced more elbow stretches than the other conditions. Finally, we reported the subjective measures based on questionnaires for usability and user experience in different study conditions. In conclusion, the proposed VR exergame has the potential as a multimodal sensory tool for personalized upper extremity home-based therapy and telerehabilitation.


title: Comparison of equivariant cohomological dimensions

abstract: We compare three definitions of the equivariant cohomological dimension of a group with operators, coming from Takasu, Adamson and Bredon relative group cohomologies, giving examples of strict inequality in all cases where it can occur. We prove and make use of Stallings--Swan type results which characterise the groups of equivariant cohomological dimension one. Some of our examples are relevant to Farber's problem which asks for an algebraic characterisation of the topological complexity of discrete groups. In particular, the topological complexity of a group is not in general given by a relative cohomological dimension of the product relative to the diagonal subgroup.


title: Foundation Models for Natural Language Processing -- Pre-trained Language Models Integrating Media

abstract: This open access book provides a comprehensive overview of the state of the art in research and applications of Foundation Models and is intended for readers familiar with basic Natural Language Processing (NLP) concepts. Over the recent years, a revolutionary new paradigm has been developed for training models for NLP. These models are first pre-trained on large collections of text documents to acquire general syntactic knowledge and semantic information. Then, they are fine-tuned for specific tasks, which they can often solve with superhuman accuracy. When the models are large enough, they can be instructed by prompts to solve new tasks without any fine-tuning. Moreover, they can be applied to a wide range of different media and problem domains, ranging from image and video processing to robot control learning. Because they provide a blueprint for solving many tasks in artificial intelligence, they have been called Foundation Models. After a brief introduction to basic NLP models the main pre-trained language models BERT, GPT and sequence-to-sequence transformer are described, as well as the concepts of self-attention and context-sensitive embedding. Then, different approaches to improving these models are discussed, such as expanding the pre-training criteria, increasing the length of input texts, or including extra knowledge. An overview of the best-performing models for about twenty application areas is then presented, e.g., question answering, translation, story generation, dialog systems, generating images from text, etc. For each application area, the strengths and weaknesses of current models are discussed, and an outlook on further developments is given. In addition, links are provided to freely available program code. A concluding chapter summarizes the economic opportunities, mitigation of risks, and potential developments of AI.


title: The role of online attention in the supply of disinformation in Wikipedia

abstract: Wikipedia and many User-Generated Content (UGC) communities are known for producing reliable, quality content, but also for being vulnerable to false or misleading information. Previous work has shown that many hoaxes on Wikipedia go undetected for extended periods of time. But little is known about the creation of intentionally false or misleading information online. Does collective attention toward a topic increase the likelihood it will spawn disinformation? Here, we measure the relationship between allocation of attention and the production of hoax articles on the English Wikipedia. Analysis of traffic logs reveals that, compared to legitimate articles created on the same day, hoaxes tend to be more associated with traffic spikes preceding their creation. This is consistent with the idea that the supply of false or misleading information on a topic is driven by the attention it receives. These findings improve our comprehension of the determinants of disinformation in UGC communities and could help promote the integrity of knowledge on Wikipedia.


title: For Generated Text, Is NLI-Neutral Text the Best Text?

abstract: We explore incorporating natural language inference (NLI) into the text generative pipeline by using a pre-trained NLI model to assess whether a generated sentence entails, contradicts, or is neutral to the prompt and preceding text. First, we show that the NLI task is predictive of generation errors made by GPT-3. We use these results to develop an NLI-informed generation procedure for GPT-J. Then, we evaluate these generations by obtaining human annotations on error types and overall quality. We find that an NLI strategy of maximizing entailment improves text generation when the nucleus sampling randomness parameter value is high, while one which maximizes contradiction is in fact productive when the parameter value is low. Overall, though, we demonstrate that an NLI strategy of maximizing the neutral class provides the highest quality of generated text (significantly better than the vanilla generations), regardless of parameter value.


title: Evading the Landau pole in the minimal 3-3-1 model with leptoquarks

abstract: In its original version, the minimal 3-3-1 model possess a Landau-pole around 2-6 TeV scale. Current LHC bound on $Z^{\prime}$ implies that the $SU(3)_L\times U(1)_X$ symmetry must break spontaneously around 4 TeV which means that the model may lose its perturbative character even before symmetry breaking. This is a disaster for the model. Few attention has been devoted to this problem. Here we investigate the efficiency of scalar leptoquarks in evading or shifting the Landau pole to a harmless energy scale.


title: Adaptable End-to-End ASR Models using Replaceable Internal LMs and Residual Softmax

abstract: End-to-end (E2E) automatic speech recognition (ASR) implicitly learns the token sequence distribution of paired audio-transcript training data. However, it still suffers from domain shifts from training to testing, and domain adaptation is still challenging. To alleviate this problem, this paper designs a replaceable internal language model (RILM) method, which makes it feasible to directly replace the internal language model (LM) of E2E ASR models with a target-domain LM in the decoding stage when a domain shift is encountered. Furthermore, this paper proposes a residual softmax (R-softmax) that is designed for CTC-based E2E ASR models to adapt to the target domain without re-training during inference. For E2E ASR models trained on the LibriSpeech corpus, experiments showed that the proposed methods gave a 2.6% absolute WER reduction on the Switchboard data and a 1.0% WER reduction on the AESRC2020 corpus while maintaining intra-domain ASR results.


title: Online Learning Guided Curvature Approximation: A Quasi-Newton Method with Global Non-Asymptotic Superlinear Convergence

abstract: Quasi-Newton algorithms are among the most popular iterative methods for solving unconstrained minimization problems, largely due to their favorable superlinear convergence property. However, existing results for these algorithms are limited as they provide either (i) a global convergence guarantee with an asymptotic superlinear convergence rate, or (ii) a local non-asymptotic superlinear rate for the case that the initial point and the initial Hessian approximation are chosen properly. In particular, no current analysis for quasi-Newton methods guarantees global convergence with an explicit superlinear convergence rate. In this paper, we close this gap and present the first globally convergent quasi-Newton method with an explicit non-asymptotic superlinear convergence rate. Unlike classical quasi-Newton methods, we build our algorithm upon the hybrid proximal extragradient method and propose a novel online learning framework for updating the Hessian approximation matrices. Specifically, guided by the convergence analysis, we formulate the Hessian approximation update as an online convex optimization problem in the space of matrices, and we relate the bounded regret of the online problem to the superlinear convergence of our method.


title: Abstract Corrected Iterations

abstract: We consider $(<\lambda)$-support iterations of $(<\lambda)$-strategically complete $\lambda^+$-c.c. definable forcing notions along partial orders. We show that such iterations can be corrected to yield an analog of a result by Judah and Shelah for finite support iterations of Suslin ccc forcing, namely that if $(\mathbb{P}_{\alpha}, \underset{\sim}{\mathbb Q_{\beta}} : \alpha \leq \delta, \beta <\delta)$ is a FS iteration of Suslin ccc forcing and $U\subseteq \delta$ is sufficiently closed, then letting $\mathbb{P}_U$ be the iteration along $U$, we have $\mathbb{P}_U \lessdot \mathbb{P}_{\delta}$.


title: Pretraining Language Models with Human Preferences

abstract: Language models (LMs) are pretrained to imitate internet text, including content that would violate human preferences if generated by an LM: falsehoods, offensive comments, personally identifiable information, low-quality or buggy code, and more. Here, we explore alternative objectives for pretraining LMs in a way that also guides them to generate text aligned with human preferences. We benchmark five objectives for pretraining with human feedback across three tasks and study how they affect the trade-off between alignment and capabilities of pretrained LMs. We find a Pareto-optimal and simple approach among those we explored: conditional training, or learning distribution over tokens conditional on their human preference scores given by a reward model. Conditional training reduces the rate of undesirable content by up to an order of magnitude, both when generating without a prompt and with an adversarially-chosen prompt. Moreover, conditional training maintains the downstream task performance of standard LM pretraining, both before and after task-specific finetuning. Pretraining with human feedback results in much better preference satisfaction than standard LM pretraining followed by finetuning with feedback, i.e., learning and then unlearning undesirable behavior. Our results suggest that we should move beyond imitation learning when pretraining LMs and incorporate human preferences from the start of training.


title: JEIT: Joint End-to-End Model and Internal Language Model Training for Speech Recognition

abstract: We propose JEIT, a joint end-to-end (E2E) model and internal language model (ILM) training method to inject large-scale unpaired text into ILM during E2E training which improves rare-word speech recognition. With JEIT, the E2E model computes an E2E loss on audio-transcript pairs while its ILM estimates a cross-entropy loss on unpaired text. The E2E model is trained to minimize a weighted sum of E2E and ILM losses. During JEIT, ILM absorbs knowledge from unpaired text while the E2E training serves as regularization. Unlike ILM adaptation methods, JEIT does not require a separate adaptation step and avoids the need for Kullback-Leibler divergence regularization of ILM. We also show that modular hybrid autoregressive transducer (MHAT) performs better than HAT in the JEIT framework, and is much more robust than HAT during ILM adaptation. To push the limit of unpaired text injection, we further propose a combined JEIT and JOIST training (CJJT) that benefits from modality matching, encoder text injection and ILM training. Both JEIT and CJJT can foster a more effective LM fusion. With 100B unpaired sentences, JEIT/CJJT improves rare-word recognition accuracy by up to 16.4% over a model trained without unpaired text.


title: Propagation Measurements and Analyses at 28 GHz via an Autonomous Beam-Steering Platform

abstract: This paper details the design of an autonomous alignment and tracking platform to mechanically steer directional horn antennas in a sliding correlator channel sounder setup for 28 GHz V2X propagation modeling. A pan-and-tilt subsystem facilitates uninhibited rotational mobility along the yaw and pitch axes, driven by open-loop servo units and orchestrated via inertial motion controllers. A geo-positioning subsystem augmented in accuracy by real-time kinematics enables navigation events to be shared between a transmitter and receiver over an Apache Kafka messaging middleware framework with fault tolerance. Herein, our system demonstrates a 3D geo-positioning accuracy of 17 cm, an average principal axes positioning accuracy of 1.1 degrees, and an average tracking response time of 27.8 ms. Crucially, fully autonomous antenna alignment and tracking facilitates continuous series of measurements, a unique yet critical necessity for millimeter wave channel modeling in vehicular networks. The power-delay profiles, collected along routes spanning urban and suburban neighborhoods on the NSF POWDER testbed, are used in pathloss evaluations involving the 3GPP TR38.901 and ITU-R M.2135 standards. Empirically, we demonstrate that these models fail to accurately capture the 28 GHz pathloss behavior in urban foliage and suburban radio environments. In addition to RMS direction-spread analyses for angles-of-arrival via the SAGE algorithm, we perform signal decoherence studies wherein we derive exponential models for the spatial/angular autocorrelation coefficient under distance and alignment effects.


title: Numerical Nonlinear Algebra

abstract: Numerical nonlinear algebra is a computational paradigm that uses numerical analysis to study polynomial equations. Its origins were methods to solve systems of polynomial equations based on the classical theorem of B\'ezout. This was decisively linked to modern developments in algebraic geometry by the polyhedral homotopy algorithm of Huber and Sturmfels, which exploits the combinatorial structure of the equations and led to efficient software for solving polynomial equations. Subsequent growth of numerical nonlinear algebra continues to be informed by algebraic geometry and its applications. These include new approaches to solving, algorithms for studying positive-dimensional varieties, certification, and a range of applications both within mathematics and from other disciplines. With new implementations, numerical nonlinear algebra is now a fundamental computational tool for algebraic geometry and its applications. We survey some of these innovations and some recent applications.


title: Automated detection of symmetry-protected subspaces in quantum simulations

abstract: The analysis of symmetry in quantum systems is of utmost theoretical importance, useful in a variety of applications and experimental settings, and is difficult to accomplish in general. Symmetries imply conservation laws, which partition Hilbert space into invariant subspaces of the time-evolution operator, each of which is demarcated according to its conserved quantity. We show that, starting from a chosen basis, any invariant, symmetry-protected subspaces which are diagonal in that basis are discoverable using transitive closure on graphs representing state-to-state transitions under $k$-local unitary operations. Importantly, the discovery of these subspaces relies neither upon the explicit identification of a symmetry operator or its eigenvalues nor upon the construction of matrices of the full Hilbert space dimension. We introduce two classical algorithms, which efficiently compute and elucidate features of these subspaces. The first algorithm explores the entire symmetry-protected subspace of an initial state in time complexity linear to the size of the subspace by closing local basis state-to-basis state transitions. The second algorithm determines, with bounded error, if a given measurement outcome of a dynamically-generated state is within the symmetry-protected subspace of the state in which the dynamical system is initialized. We demonstrate the applicability of these algorithms by performing post-selection on data generated from emulated noisy quantum simulations of three different dynamical systems: the Heisenberg-XXX model and the $T_6$ and $F_4$ quantum cellular automata. Due to their efficient computability and indifference to identifying the underlying symmetry, these algorithms lend themselves to the post-selection of quantum computer data, optimized classical simulation of quantum systems, and the discovery of previously hidden symmetries in quantum mechanical systems.


title: Plasma-Parameter Dependence of Ro-Vibrational Temperatures for $\mathrm{H}_2$ in LHD Divertor

abstract: We analyzed a thousand visible spectra of Fulcher-$\alpha$ band measured for divertor plasmas in Large Helical Device. With a coronal model and Baysian inference, the population distribution of hydrogen molecule in the electronical ground state were estimated. The non-thermal population distribution was recovered with a two-temperature model, which has two sets of rotational and vibrational temperatures, as well as their mixture coefficient. The lower rotational temperature significantly changes according to the plasma parameters. Its nearly linear dependence on the electron density was found, which is consistent with previous works. The lower vibrational temperature also shows a small density dependence, as reported by a previous work. On the other hand, the higher rotational and vibrational temperatures as well as the mixture coefficient only show slight changes over the broad range of plasma parameters. These population parameters show a significant correlation; with higher electron density, all the temperatures and the fraction of the higher-temperature component increase simultaneously. This suggests that the electron-impact plays an important role to determine the population distribution.


title: MM Algorithms to Estimate Parameters in Continuous-time Markov Chains

abstract: Continuous-time Markov chains (CTMCs) are popular modeling formalism that constitutes the underlying semantics for real-time probabilistic systems such as queuing networks, stochastic process algebras, and calculi for systems biology. Prism and Storm are popular model checking tools that provide a number of powerful analysis techniques for CTMCs. These tools accept models expressed as the parallel composition of a number of modules interacting with each other. The outcome of the analysis is strongly dependent on the parameter values used in the model which govern the timing and probability of events of the resulting CTMC. However, for some applications, parameter values have to be empirically estimated from partially-observable executions. In this work, we address the problem of estimating parameter values of CTMCs expressed as Prism models from a number of partially-observable executions. We introduce the class parametric CTMCs -- CTMCs where transition rates are polynomial functions over a set of parameters -- as an abstraction of CTMCs covering a large class of Prism models. Then, building on a theory of algorithms known by the initials MM, for minorization-maximization, we present iterative maximum likelihood estimation algorithms for parametric CTMCs covering two learning scenarios: when both state-labels and dwell times are observable, or just state-labels are. We conclude by illustrating the use of our technique in a simple but non-trivial case study: the analysis of the spread of COVID-19 in presence of lockdown countermeasures.


title: Syntactic Structure Processing in the Brain while Listening

abstract: Syntactic parsing is the task of assigning a syntactic structure to a sentence. There are two popular syntactic parsing methods: constituency and dependency parsing. Recent works have used syntactic embeddings based on constituency trees, incremental top-down parsing, and other word syntactic features for brain activity prediction given the text stimuli to study how the syntax structure is represented in the brain's language network. However, the effectiveness of dependency parse trees or the relative predictive power of the various syntax parsers across brain areas, especially for the listening task, is yet unexplored. In this study, we investigate the predictive power of the brain encoding models in three settings: (i) individual performance of the constituency and dependency syntactic parsing based embedding methods, (ii) efficacy of these syntactic parsing based embedding methods when controlling for basic syntactic signals, (iii) relative effectiveness of each of the syntactic embedding methods when controlling for the other. Further, we explore the relative importance of syntactic information (from these syntactic embedding methods) versus semantic information using BERT embeddings. We find that constituency parsers help explain activations in the temporal lobe and middle-frontal gyrus, while dependency parsers better encode syntactic structure in the angular gyrus and posterior cingulate cortex. Although semantic signals from BERT are more effective compared to any of the syntactic features or embedding methods, syntactic embedding methods explain additional variance for a few brain regions.


title: What A Situated Language-Using Agent Must be Able to Do: A Top-Down Analysis

abstract: Even in our increasingly text-intensive times, the primary site of language use is situated, co-present interaction. It is primary ontogenetically and phylogenetically, and it is arguably also still primary in negotiating everyday social situations. Situated interaction is also the final frontier of Natural Language Processing, where, compared to the area of text processing, very little progress has been made in the past decade, and where a myriad of practical applications is waiting to be unlocked. While the usual approach in the field is to reach, bottom-up, for the ever next "adjacent possible", in this paper I attempt a top-down analysis of what the demands are that unrestricted situated interaction makes on the participating agent, and suggest ways in which this analysis can structure computational models and research on them. Specifically, I discuss representational demands (the building up and application of world model, language model, situation model, discourse model, and agent model) and what I call anchoring processes (incremental processing, incremental learning, conversational grounding, multimodal grounding) that bind the agent to the here, now, and us.


title: Complex Daily Activities, Country-Level Diversity, and Smartphone Sensing: A Study in Denmark, Italy, Mongolia, Paraguay, and UK

abstract: Smartphones enable understanding human behavior with activity recognition to support people's daily lives. Prior studies focused on using inertial sensors to detect simple activities (sitting, walking, running, etc.) and were mostly conducted in homogeneous populations within a country. However, people are more sedentary in the post-pandemic world with the prevalence of remote/hybrid work/study settings, making detecting simple activities less meaningful for context-aware applications. Hence, the understanding of (i) how multimodal smartphone sensors and machine learning models could be used to detect complex daily activities that can better inform about people's daily lives and (ii) how models generalize to unseen countries, is limited. We analyzed in-the-wild smartphone data and over 216K self-reports from 637 college students in five countries (Italy, Mongolia, UK, Denmark, Paraguay). Then, we defined a 12-class complex daily activity recognition task and evaluated the performance with different approaches. We found that even though the generic multi-country approach provided an AUROC of 0.70, the country-specific approach performed better with AUROC scores in [0.79-0.89]. We believe that research along the lines of diversity awareness is fundamental for advancing human behavior understanding through smartphones and machine learning, for more real-world utility across countries.


title: Speed of extinction for continuous state branching processes in a weakly subcritical L\'evy environment

abstract: In this manuscript, we continue with the systematic study of the speed of extinction of continuous state branching processes in L\'evy environments under more general branching mechanisms. Here, we deal with the weakly subcritical regime under the assumption that the branching mechanism is regularly varying. We extend recent results of Li and Xu [14] and Palau et al. [17], where it is assumed that the branching mechanism is stable and complement the recent articles of Bansaye et al. [2] and by the authors in [7], where the critical and the strongly and intermediate subcritical cases were treated, respectively. Our methodology combines a path analysis of the branching process together with its L\'evy environment, fluctuation theory for L\'evy processes and the asymptotic behaviour of exponential functionals of L\'evy processes. Our approach is inspired by Afanasyev et al. [1], where the discrete analogue was obtained, and by [2] and [7].


title: Playing Games with Cacti

abstract: The Game of Cycles is a two-player impartial mathematical game, introduced by Francis Su in his book Mathematics for Human Flourishing (2020). The game is played on simple planar graphs in which players take turns marking edges using a sink-source rule. In Alvarado et al., the authors determine who is able to win on graphs with certain types of symmetry using a mirror-reverse strategy. In this paper, we analyze the game for specific types of cactus graphs using a modified version of the mirror-reverse strategy.


title: TransUPR: A Transformer-based Uncertain Point Refiner for LiDAR Point Cloud Semantic Segmentation

abstract: Common image-based LiDAR point cloud semantic segmentation (LiDAR PCSS) approaches have bottlenecks resulting from the boundary-blurring problem of convolution neural networks (CNNs) and quantitation loss of spherical projection. In this work, we propose a transformer-based plug-and-play uncertain point refiner, i.e., TransUPR, to refine selected uncertain points in a learnable manner, which leads to an improved segmentation performance. Uncertain points are sampled from coarse semantic segmentation results of 2D image segmentation where uncertain points are located close to the object boundaries in the 2D range image representation and 3D spherical projection background points. Following that, the geometry and coarse semantic features of uncertain points are aggregated by neighbor points in 3D space without adding expensive computation and memory footprint. Finally, the transformer-based refiner, which contains four stacked self-attention layers, along with an MLP module, is utilized for uncertain point classification on the concatenated features of self-attention layers. As the proposed refiner is independent of 2D CNNs, our TransUPR can be easily integrated into any existing image-based LiDAR PCSS approaches, e.g., CENet. Our TransUPR with the CENet achieves state-of-the-art performance, i.e., 68.2% mean Intersection over Union (mIoU) on the Semantic KITTI benchmark, which provides a performance improvement of 0.6% on the mIoU compared to the original CENet.


title: Frequency-domain Learning for Volumetric-based 3D Data Perception

abstract: Frequency-domain learning draws attention due to its superior tradeoff between inference accuracy and input data size. Frequency-domain learning in 2D computer vision tasks has shown that 2D convolutional neural networks (CNN) have a stationary spectral bias towards low-frequency channels so that high-frequency channels can be pruned with no or little accuracy degradation. However, frequency-domain learning has not been studied in the context of 3D CNNs with 3D volumetric data. In this paper, we study frequency-domain learning for volumetric-based 3D data perception to reveal the spectral bias and the accuracy-input-data-size tradeoff of 3D CNNs. Our study finds that 3D CNNs are sensitive to a limited number of critical frequency channels, especially low-frequency channels. Experiment results show that frequency-domain learning can significantly reduce the size of volumetric-based 3D inputs (based on spectral bias) while achieving comparable accuracy with conventional spatial-domain learning approaches. Specifically, frequency-domain learning is able to reduce the input data size by 98% in 3D shape classification while limiting the average accuracy drop within 2%, and by 98% in the 3D point cloud semantic segmentation with a 1.48% mean-class accuracy improvement while limiting the mean-class IoU loss within 1.55%. Moreover, by learning from higher-resolution 3D data (i.e., 2x of the original image in the spatial domain), frequency-domain learning improves the mean-class accuracy and mean-class IoU by 3.04% and 0.63%, respectively, while achieving an 87.5% input data size reduction in 3D point cloud semantic segmentation.


title: High-fidelity reaction kinetic modeling of hot-Jupiter atmospheres incorporating thermal and UV photochemistry enhanced by metastable CO(a3Pi)

abstract: A detailed modeling of simultaneous UV-photochemical and thermochemical processes in exoplanet atmosphere-like conditions is essential for the analysis and interpretation of a vast amount of current and future spectral data from exoplanets. However, a detailed reaction kinetic model that incorporates both UV photochemistry and thermal chemistry is challenging due to the massive size of the chemical system as well as to the lack of understanding of photochemistry compared to thermal-only chemistry. Here, we utilize an automatic chemical reaction mechanism generator to build a high-fidelity thermochemical reaction kinetic model later then incorporated with UV-photochemistry enhanced by metastable triplet-state carbon monoxide (a3Pi). Our model results show that two different photochemical reactions driven by Lyman-a photons (i.e. H2 + CO(a3Pi) -> H + HCO and CO(X1Sig+) + CO(a3Pi) -> C(3P) + CO2) can enhance thermal chemistry resulting in significant increases in the formation of CH4, H2O, and CO2 in H2-dominated systems with trace amounts of CO, which qualitatively matches with the observations from previous experimental studies. Our model also suggests that at temperatures above 2000 K, thermal chemistry becomes the dominant process. Finally, the chemistry simulated up to 2500 K does not produce any larger species such as C3 species, benzene or larger (i.e. PAHs). This might indicate that the photochemistry of C2 species such as C2H2 might play a key role in the formation of organic aerosols observed in the previous experimental study.


title: True or false? Cognitive load when reading COVID-19 news headlines: an eye-tracking study

abstract: Misinformation is an important topic in the Information Retrieval (IR) context and has implications for both system-centered and user-centered IR. While it has been established that the performance in discerning misinformation is affected by a person's cognitive load, the variation in cognitive load in judging the veracity of news is less understood. To understand the variation in cognitive load imposed by reading news headlines related to COVID-19 claims, within the context of a fact-checking system, we conducted a within-subject, lab-based, quasi-experiment (N=40) with eye-tracking. Our results suggest that examining true claims imposed a higher cognitive load on participants when news headlines provided incorrect evidence for a claim and were inconsistent with the person's prior beliefs. In contrast, checking false claims imposed a higher cognitive load when the news headlines provided correct evidence for a claim and were consistent with the participants' prior beliefs. However, changing beliefs after examining a claim did not have a significant relationship with cognitive load while reading the news headlines. The results illustrate that reading news headlines related to true and false claims in the fact-checking context impose different levels of cognitive load. Our findings suggest that user engagement with tools for discerning misinformation needs to account for the possible variation in the mental effort involved in different information contexts.


title: Discrete Elasticity Exact Sequences on Worsey-Farin Splits

abstract: We construct conforming finite element elasticity complexes on Worsey-Farin splits in three dimensions. Spaces for displacement, strain, stress, and the load are connected in the elasticity complex through the differential operators representing deformation, incompatibility, and divergence. For each of these component spaces, a corresponding finite element space on Worsey-Farin meshes is exhibited. Unisolvent degrees of freedom are developed for these finite elements, which also yields commuting (cochain) projections on smooth functions. A distinctive feature of the spaces in these complexes is the lack of extrinsic supersmoothness at subsimplices of the mesh. Notably, the complex yields the first (strongly) symmetric stress finite element with no vertex or edge degrees of freedom in three dimensions. Moreover, the lowest order stress space uses only piecewise linear functions which is the lowest feasible polynomial degree for the stress space.


title: Welfare Distribution in Two-sided Random Matching Markets

abstract: We study the welfare structure in two-sided large random matching markets. In the model, each agent has a latent personal score for every agent on the other side of the market and her preferences follow a logit model based on these scores. Under a contiguity condition, we provide a tight description of stable outcomes. First, we identify an intrinsic fitness for each agent that represents her relative competitiveness in the market, independent of the realized stable outcome. The intrinsic fitness values correspond to scaling coefficients needed to make a latent mutual matrix bi-stochastic, where the latent scores can be interpreted as a-priori probabilities of a pair being matched. Second, in every stable (or even approximately stable) matching, the welfare or the ranks of the agents on each side of the market, when scaled by their intrinsic fitness, have an approximately exponential empirical distribution. Moreover, the average welfare of agents on one side of the market is sufficient to determine the average on the other side. Overall, each agent's welfare is determined by a global parameter, her intrinsic fitness, and an extrinsic factor with exponential distribution across the population.


title: On the Role of Memory in Robust Opinion Dynamics

abstract: We investigate opinion dynamics in a fully-connected system, consisting of $n$ identical and anonymous agents, where one of the opinions (which is called correct) represents a piece of information to disseminate. In more detail, one source agent initially holds the correct opinion and remains with this opinion throughout the execution. The goal for non-source agents is to quickly agree on this correct opinion, and do that robustly, i.e., from any initial configuration. The system evolves in rounds. In each round, one agent chosen uniformly at random is activated: unless it is the source, the agent pulls the opinions of $\ell$ random agents and then updates its opinion according to some rule. We consider a restricted setting, in which agents have no memory and they only revise their opinions on the basis of those of the agents they currently sample. As restricted as it is, this setting encompasses very popular opinion dynamics, such as the voter model and best-of-$k$ majority rules. Qualitatively speaking, we show that lack of memory prevents efficient convergence. Specifically, we prove that no dynamics can achieve correct convergence in an expected number of steps that is sub-quadratic in $n$, even under a strong version of the model in which activated agents have complete access to the current configuration of the entire system, i.e., the case $\ell=n$. Conversely, we prove that the simple voter model (in which $\ell=1$) correctly solves the problem, while almost matching the aforementioned lower bound. These results suggest that, in contrast to symmetric consensus problems (that do not involve a notion of correct opinion), fast convergence on the correct opinion using stochastic opinion dynamics may indeed require the use of memory. This insight may reflect on natural information dissemination processes that rely on a few knowledgeable individuals.


title: Adaptive Safety-Critical Control for a Class of Nonlinear Systems with Parametric Uncertainties: A Control Barrier Function Approach

abstract: This paper presents a novel approach for the safe control design of systems with parametric uncertainties in both drift terms and control-input matrices. The method combines control barrier functions and adaptive laws to generate a safe controller through a nonlinear program with an explicitly given closed-form solution. The proposed approach verifies the non-emptiness of the admissible control set independently of online parameter estimations, which can ensure the safe controller is singularity-free. A data-driven algorithm is also developed to improve the performance of the proposed controller by tightening the bounds of the unknown parameters. The effectiveness of the control scheme is demonstrated through numerical simulations.


title: A Sobolev estimate for radial $L^p$-multipliers on a class of semi-simple Lie groups

abstract: Let $G$ be a semi-simple Lie group in the Harish-Chandra class with maximal compact subgroup $K$. Let $\Omega_K$ be minus the radial Casimir operator. Let $\frac{1}{4} \dim(G/K) < S_G < \frac{1}{2} \dim(G/K) , s \in (0, S_G]$ and $p \in (1,\infty)$ be such that \[ \left| \frac{1}{p} - \frac{1}{2} \right| < \frac{s}{2 S_G}. \] Then, there exists a constant $C_{G,s,p} >0$ such that for every $m \in L^\infty(G) \cap L^2(G)$ bi-$K$-invariant with $m \in {\rm Dom}(\Omega_K^s)$ and $\Omega_K^s(m) \in L^{2S_G/s}(G)$ we have, \[ \Vert T_m: L^p(\widehat{G}) \rightarrow L^p(\widehat{G}) \Vert \leq C_{G, s,p} \Vert \Omega_K^s(m) \Vert_{L^{2S_G/s}(G)}, \] where $T_m$ is the Fourier multiplier with symbol $m$ acting on the non-commutative $L^p$-space of the group von Neumann algebra of $G$. This gives new examples of $L^p$-Fourier multipliers with decay rates becoming slower when $p$ approximates $2$.


title: A Fully Solvable Model of Fermionic Interaction in $3+1d$

abstract: Recently, Romatschke found that the poles in $O(N)$ scalar theories do not affect observables such as temperature and pressure. Romatschke went on to show this result holds for marginal, relevant, and irrelevant operators in $3+1d$ $(O(N)$ scalar theories. We continue in this direction by studying large-$N$ fermi-interactions in $3+1d$. To do so, we produce a model of marginally coupled fermi-interactions which is fully renormalizable at large-$N$. This theory contains poles in the running coupling, however we argue these poles do not affect any physical observables. Further, our theory contains first order phase transition which separates a stable, meta-stable, and unstable phase.


title: Rubin LSST observing strategies to maximize volume and uniformity coverage of Star Forming Regions in the Galactic Plane

abstract: A complete map of the youngest stellar populations of the Milky Way in the era of all-sky surveys, is one of the most challenging goals in modern astrophysics. The characterisation of the youngest stellar component is crucial not only for a global overview of the Milky Way structure, of the Galactic thin disk, and its spiral arms, but also for local studies. In fact, the identification of the star forming regions (SFRs) and the comparison with the environment in which they form are also fundamental to put them in the context of the surrounding giant molecular clouds and to understand still unknown physical mechanisms related to the star and planet formation processes. In 10 yrs of observations, Vera C. Rubin Legacy Survey of Space and Time (Rubin-LSST) will achieve an exquisite photometric depth that will allow us to significantly extend the volume within which we will be able to discover new SFRs and to enlarge the domain of a detailed knowledge of our own Galaxy. We describe here a metrics that estimates the total number of young stars with ages t < 10 Myr and masses >0.3M$_\odot$ that will be detected with the Rubin LSST observations in the gri bands at a 5 {\sigma} magnitude significance. We examine the results of our metrics adopting the most recent simulated Rubin-LSST survey strategies in order to evaluate the impact that different observing strategies might have on our science case.


title: Using Explainable AI to Cross-Validate Socio-economic Disparities Among Covid-19 Patient Mortality

abstract: This paper applies eXplainable Artificial Intelligence (XAI) methods to investigate the socioeconomic disparities in COVID patient mortality. An Extreme Gradient Boosting (XGBoost) prediction model is built based on a de-identified Austin area hospital dataset to predict the mortality of COVID-19 patients. We apply two XAI methods, Shapley Additive exPlanations (SHAP) and Locally Interpretable Model Agnostic Explanations (LIME), to compare the global and local interpretation of feature importance. This paper demonstrates the advantages of using XAI which shows the feature importance and decisive capability. Furthermore, we use the XAI methods to cross-validate their interpretations for individual patients. The XAI models reveal that Medicare financial class, older age, and gender have high impact on the mortality prediction. We find that LIME local interpretation does not show significant differences in feature importance comparing to SHAP, which suggests pattern confirmation. This paper demonstrates the importance of XAI methods in cross-validation of feature attributions.


title: Intrinsic and extrinsic deep learning on manifolds

abstract: We propose extrinsic and intrinsic deep neural network architectures as general frameworks for deep learning on manifolds. Specifically, extrinsic deep neural networks (eDNNs) preserve geometric features on manifolds by utilizing an equivariant embedding from the manifold to its image in the Euclidean space. Moreover, intrinsic deep neural networks (iDNNs) incorporate the underlying intrinsic geometry of manifolds via exponential and log maps with respect to a Riemannian structure. Consequently, we prove that the empirical risk of the empirical risk minimizers (ERM) of eDNNs and iDNNs converge in optimal rates. Overall, The eDNNs framework is simple and easy to compute, while the iDNNs framework is accurate and fast converging. To demonstrate the utilities of our framework, various simulation studies, and real data analyses are presented with eDNNs and iDNNs.


title: Adaptive Axonal Delays in feedforward spiking neural networks for accurate spoken word recognition

abstract: Spiking neural networks (SNN) are a promising research avenue for building accurate and efficient automatic speech recognition systems. Recent advances in audio-to-spike encoding and training algorithms enable SNN to be applied in practical tasks. Biologically-inspired SNN communicates using sparse asynchronous events. Therefore, spike-timing is critical to SNN performance. In this aspect, most works focus on training synaptic weights and few have considered delays in event transmission, namely axonal delay. In this work, we consider a learnable axonal delay capped at a maximum value, which can be adapted according to the axonal delay distribution in each network layer. We show that our proposed method achieves the best classification results reported on the SHD dataset (92.45%) and NTIDIGITS dataset (95.09%). Our work illustrates the potential of training axonal delays for tasks with complex temporal structures.


title: Bounds on Eigenfunctions of Quantum Cat Maps

abstract: We study $\ell^\infty$ norms of $\ell^2$-normalized eigenfunctions of quantum cat maps. For maps with short quantum periods (constructed by Bonechi and de Bi\`evre), we show that there exists a sequence of eigenfunctions $u$ with $\|u\|_{\infty}\gtrsim (\log N)^{-1/2}$. For general eigenfunctions we show the upper bound $\|u\|_\infty\lesssim (\log N)^{-1/2}$. Here the semiclassical parameter is $h=(2\pi N)^{-1}$. Our upper bound is analogous to the one proved by B\'{e}rard for compact Riemannian manifolds without conjugate points.


title: Jet SIFT-ing: a new scale-invariant jet clustering algorithm for the substructure era

abstract: We introduce a new jet clustering algorithm named SIFT (Scale-Invariant Filtered Tree) that maintains the resolution of substructure for collimated decay products at large boosts. The scale-invariant measure combines properties of kT and anti-kT by preferring early association of soft radiation with a resilient hard axis, while avoiding the specification of a fixed cone size. Integrated filtering and variable-radius isolation criteria block assimilation of soft wide-angle radiation and provide a halting condition. Mutually hard structures are preserved to the end of clustering, automatically generating a tree of subjet axis candidates. Excellent object identification and kinematic reconstruction for multi-pronged resonances are realized across more than an order of magnitude in transverse energy. The clustering measure history facilitates high-performance substructure tagging, which we quantify with the aid of supervised machine learning. These properties suggest that SIFT may prove to be a useful tool for the continuing study of jet substructure.


title: Inverse problem for a nonlocal diffuse optical tomography equation

abstract: In this article a nonlocal analogue of an inverse problem in diffuse optical tomography is considered. We show that whenever one has given two pairs of diffusion and absorption coefficients $(\gamma_j,q_j)$, $j=1,2$, such that there holds $q_1=q_2$ in the measurement set $W$ and they generate the same DN data, then they are necessarily equal in $\mathbb{R}^n$ and $\Omega$, respectively. Additionally, we show that the condition $q_1|_W=q_2|_W$ is optimal in the sense that without this restriction one can construct two distinct pairs $(\gamma_j,q_j)$, $j=1,2$ generating the same DN data.


title: Computing the Characteristic Polynomial of Endomorphisms of a finite Drinfeld Module using Crystalline Cohomology

abstract: We present a new algorithm for computing the characteristic polynomial of an arbitrary endomorphism of a finite Drinfeld module using its associated crystalline cohomology. Our approach takes inspiration from Kedlaya's p-adic algorithm for computing the characteristic polynomial of the Frobenius endomorphism on a hyperelliptic curve using Monsky-Washnitzer cohomology. The method is specialized using a baby-step giant-step algorithm for the particular case of the Frobenius endomorphism, and in this case we include a complexity analysis that demonstrates asymptotic gains over previously existing approaches


title: Robust expected improvement for Bayesian optimization

abstract: Bayesian Optimization (BO) links Gaussian Process (GP) surrogates with sequential design toward optimizing expensive-to-evaluate black-box functions. Example design heuristics, or so-called acquisition functions, like expected improvement (EI), balance exploration and exploitation to furnish global solutions under stringent evaluation budgets. However, they fall short when solving for robust optima, meaning a preference for solutions in a wider domain of attraction. Robust solutions are useful when inputs are imprecisely specified, or where a series of solutions is desired. A common mathematical programming technique in such settings involves an adversarial objective, biasing a local solver away from ``sharp'' troughs. Here we propose a surrogate modeling and active learning technique called robust expected improvement (REI) that ports adversarial methodology into the BO/GP framework. After describing the methods, we illustrate and draw comparisons to several competitors on benchmark synthetic exercises and real problems of varying complexity.


title: Drive Right: Promoting Autonomous Vehicle Education Through an Integrated Simulation Platform

abstract: Autonomous vehicles (AVs) are being rapidly introduced into our lives. However, public misunderstanding and mistrust have become prominent issues hindering the acceptance of these driverless technologies. The primary objective of this study is to evaluate the effectiveness of a driving simulator to help the public gain an understanding of AVs and build trust in them. To achieve this aim, we built an integrated simulation platform, designed various driving scenarios, and recruited 28 participants for the experiment. The study results indicate that a driving simulator effectively decreases the participants' perceived risk of AVs and increases perceived usefulness. The proposed methodologies and findings of this study can be further explored by auto manufacturers and policymakers to provide user-friendly AV design.


title: Skew-Normal Posterior Approximations

abstract: Many approximate Bayesian inference methods assume a particular parametric form for approximating the posterior distribution. A multivariate Gaussian distribution provides a convenient density for such approaches; examples include the Laplace, penalized quasi-likelihood, Gaussian variational, and expectation propagation methods. Unfortunately, these all ignore the potential skewness of the posterior distribution. We propose a modification that accounts for skewness, where key statistics of the posterior distribution are matched instead to a multivariate skew-normal distribution. A combination of simulation studies and benchmarking were conducted to compare the performance of this skew-normal matching method (both as a standalone approximation and as a post-hoc skewness adjustment) with existing Gaussian and skewed approximations. We show empirically that for small and moderate dimensional cases, skew-normal matching can be much more accurate than these other approaches. For post-hoc skewness adjustments, this comes at very little cost in additional computational time.


title: Anharmonic Terms of the Potential Energy Surface: A Group Theoretical Approach

abstract: In the framework of density functional theory (DFT) simulations of molecules and materials, anharmonic terms of the potential energy surface are commonly computed numerically, with an associated cost that rapidly increases with the size of the system. Recently, an efficient approach to calculate cubic and quartic interatomic force constants in the basis of normal modes [Theor. Chem. Acc., 120, 23 (2008)] was implemented in the Crystal program [J. Chem. Theory Comput., 15, 3755-3765 (2019)]. By applying group theory, we are able to further reduce the associated computational cost, as the exploitation of point symmetry can significantly reduce the number of distinct atomically displaced nuclear configurations to be explicitly explored for energy and forces calculations. Our strategy stems from Wigner's theorem and the fact that normal modes are bases of the irreducible representations (irreps) of the point group. The proposed group theoretical approach is implemented in the Crystal program and its efficiency assessed on six test case systems: four molecules (methane, CH4; tetrahedrane, C4H4; cyclo-exasulfur, S6; cubane, C8H8), and two three-dimensional crystals (Magnesium oxide, MgO; and a prototypical Zinc-imidazolate framework, ZIF-8). The speedup imparted by this approach is consistently very large in all high-symmetry molecular and periodic systems, peaking at 76% for MgO.


title: The Poiseuille flow of the full Ericksen-Leslie model for nematic liquid crystals: The general Case

abstract: In this work, we study the Cauchy problem of Poiseuille flow of the full Ericksen-Leslie model for nematic liquid crystals. The model is a coupled system of two partial differential equations: One is a quasi-linear wave equation for the director field representing the crystallization of the nematics, and the other is a parabolic PDE for the velocity field characterizing the liquidity of the material. We extend the work in [Chen, et. al. {\em Arch. Ration. Mech. Anal.} {\bf 236} (2020), 839-891] for a special case to the general physical setup. The Cauchy problem is shown to have global solutions beyond singularity formation. Among a number of progresses made in this paper, a particular contribution is a systematic treatment of a parabolic PDE with only H\"older continuous diffusion coefficient and rough (worse than H\"older) nonhomogeneous terms.


title: Quantum Computing Provides Exponential Regret Improvement in Episodic Reinforcement Learning

abstract: In this paper, we investigate the problem of \textit{episodic reinforcement learning} with quantum oracles for state evolution. To this end, we propose an \textit{Upper Confidence Bound} (UCB) based quantum algorithmic framework to facilitate learning of a finite-horizon MDP. Our quantum algorithm achieves an exponential improvement in regret as compared to the classical counterparts, achieving a regret of $\Tilde{\mathcal{O}}(1)$ as compared to $\Tilde{\mathcal{O}}(\sqrt{K})$ \footnote{$\Tilde{\mathcal{O}}(\cdot)$ hides logarithmic terms.}, $K$ being the number of training episodes. In order to achieve this advantage, we exploit efficient quantum mean estimation technique that provides quadratic improvement in the number of i.i.d. samples needed to estimate the mean of sub-Gaussian random variables as compared to classical mean estimation. This improvement is a key to the significant regret improvement in quantum reinforcement learning. We provide proof-of-concept experiments on various RL environments that in turn demonstrate performance gains of the proposed algorithmic framework.

categories: cs.LG cs.AI cs.SY eess.SY quant-ph stat.ML


title: SplitOut: Out-of-the-Box Training-Hijacking Detection in Split Learning via Outlier Detection

abstract: Split learning enables efficient and privacy-aware training of a deep neural network by splitting a neural network so that the clients (data holders) compute the first layers and only share the intermediate output with the central compute-heavy server. This paradigm introduces a new attack medium in which the server has full control over what the client models learn, which has already been exploited to infer the private data of clients and to implement backdoors in the client models. Although previous work has shown that clients can successfully detect such training-hijacking attacks, the proposed methods rely on heuristics, require tuning of many hyperparameters, and do not fully utilize the clients' capabilities. In this work, we show that given modest assumptions regarding the clients' compute capabilities, an out-of-the-box outlier detection method can be used to detect existing training-hijacking attacks with almost-zero false positive rates. We conclude through experiments on different tasks that the simplicity of our approach we name SplitOut makes it a more viable and reliable alternative compared to the earlier detection methods.


title: A proof of G\"odel's incompleteness theorems using Chaitin's incompleteness theorem

abstract: G\"odel's first and second incompleteness theorems are corner stones of modern mathematics. In this article we present a new proof of these theorems for ZFC and theories containing ZFC, using Chaitin's incompleteness theorem and a very basic numbers extension. As opposed to the usual proofs, these proofs don't use any fixed-point theorem and rely solely on sets structure. Unlike in the original proof, the statements which can be shown to be unprovable by our technique exceed by far one specific statement constructed from the axiom set. Our goal is to draw attention to the technique of number extensions, which we believe can be used to prove more theorems regarding the provability and unprovability of different assertions regarding natural numbers.


title: Taming Multiple Binding Poses in Alchemical Binding Free Energy Prediction: the $\beta$-cyclodextrin Host-Guest SAMPL9 Blinded Challenge

abstract: We apply the Alchemical Transfer Method (ATM) and a bespoke fixed partial charge force field to the SAMPL9 bCD host-guest binding free energy prediction challenge that comprises a combination of complexes formed between five phenothiazine guests and two cyclodextrin hosts. Multiple chemical forms, competing binding poses, and computational modeling challenges pose significant obstacles to obtaining reliable computational predictions for these systems. The phenothiazine guests exist in solution as racemic mixtures of enantiomers related by nitrogen inversions that bind the hosts in various binding poses, each requiring an individual free energy analysis. Due to the large size of the guests and the conformational reorganization of the hosts, which prevent a direct absolute binding free energy route, binding free energies are obtained by a series of absolute and relative binding alchemical steps for each chemical species in each binding pose. Metadynamics-accelerated conformational sampling was found to be necessary to address the poor convergence of some numerical estimates affected by conformational trapping. Despite these challenges, our blinded predictions quantitatively reproduced the experimental affinities for the $\beta$-cyclodextrin host, less one case of the methylated derivative being an outlier. The work illustrates the challenges of obtaining reliable free energy data in in-silico drug design for even seemingly simple systems and introduces some of the technologies available to tackle them.