title: Exploring The Role of Local and Global Explanations in Recommender Systems

abstract: Explanations are well-known to improve recommender systems' transparency. These explanations may be local, explaining an individual recommendation, or global, explaining the recommender model in general. Despite their widespread use, there has been little investigation into the relative benefits of these two approaches. Do they provide the same benefits to users, or do they serve different purposes? We conducted a 30-participant exploratory study and a 30-participant controlled user study with a research-paper recommender system to analyze how providing participants local, global, or both explanations influences user understanding of system behavior. Our results provide evidence suggesting that both explanations are more helpful than either alone for explaining how to improve recommendations, yet both appeared less helpful than global alone for efficiency in identifying false positives and negatives. However, we note that the two explanation approaches may be better compared in the context of a higher-stakes or more opaque domain.


title: Clustering with Neighborhoods

abstract: In the standard planar $k$-center clustering problem, one is given a set $P$ of $n$ points in the plane, and the goal is to select $k$ center points, so as to minimize the maximum distance over points in $P$ to their nearest center. Here we initiate the systematic study of the clustering with neighborhoods problem, which generalizes the $k$-center problem to allow the covered objects to be a set of general disjoint convex objects $\mathscr{C}$ rather than just a point set $P$. For this problem we first show that there is a PTAS for approximating the number of centers. Specifically, if $r_{opt}$ is the optimal radius for $k$ centers, then in $n^{O(1/\varepsilon^2)}$ time we can produce a set of $(1+\varepsilon)k$ centers with radius $\leq r_{opt}$. If instead one considers the standard goal of approximating the optimal clustering radius, while keeping $k$ as a hard constraint, we show that the radius cannot be approximated within any factor in polynomial time unless $\mathsf{P=NP}$, even when $\mathscr{C}$ is a set of line segments. When $\mathscr{C}$ is a set of unit disks we show the problem is hard to approximate within a factor of $\frac{\sqrt{13}-\sqrt{3}}{2-\sqrt{3}}\approx 6.99$. This hardness result complements our main result, where we show that when the objects are disks, of possibly differing radii, there is a $(5+2\sqrt{3})\approx 8.46$ approximation algorithm. Additionally, for unit disks we give an $O(n\log k)+(k/\varepsilon)^{O(k)}$ time $(1+\varepsilon)$-approximation to the optimal radius, that is, an FPTAS for constant $k$ whose running time depends only linearly on $n$. Finally, we show that the one dimensional version of the problem, even when intersections are allowed, can be solved exactly in $O(n\log n)$ time.


title: The importance of few-nucleon forces in chiral effective field theory

abstract: We study the importance of few-nucleon forces in chiral effective field theory for describing many-nucleon systems. A combinatorial argument suggests that three-nucleon forces -- which are conventionally regarded as next-to-next-to-leading order -- should accompany the two-nucleon force already at leading order (LO) starting with mass number $A\approx 10-20$. We find that this promotion enables the first realistic description of the $^{16}$O ground state based on a renormalization-group-invariant LO interaction. We also performed coupled-cluster calculations of the equation of state for symmetric nuclear matter and our results indicate that LO four-nucleon forces could play a crucial role for describing heavy-mass nuclei. The enhancement mechanism we found is very general and could be important also in other many-body problems.


title: On Isotropy Calibration of Transformers

abstract: Different studies of the embedding space of transformer models suggest that the distribution of contextual representations is highly anisotropic - the embeddings are distributed in a narrow cone. Meanwhile, static word representations (e.g., Word2Vec or GloVe) have been shown to benefit from isotropic spaces. Therefore, previous work has developed methods to calibrate the embedding space of transformers in order to ensure isotropy. However, a recent study (Cai et al. 2021) shows that the embedding space of transformers is locally isotropic, which suggests that these models are already capable of exploiting the expressive capacity of their embedding space. In this work, we conduct an empirical evaluation of state-of-the-art methods for isotropy calibration on transformers and find that they do not provide consistent improvements across models and tasks. These results support the thesis that, given the local isotropy, transformers do not benefit from additional isotropy calibration.


title: ST-MAML: A Stochastic-Task based Method for Task-Heterogeneous Meta-Learning

abstract: Optimization-based meta-learning typically assumes tasks are sampled from a single distribution - an assumption oversimplifies and limits the diversity of tasks that meta-learning can model. Handling tasks from multiple different distributions is challenging for meta-learning due to a so-called task ambiguity issue. This paper proposes a novel method, ST-MAML, that empowers model-agnostic meta-learning (MAML) to learn from multiple task distributions. ST-MAML encodes tasks using a stochastic neural network module, that summarizes every task with a stochastic representation. The proposed Stochastic Task (ST) strategy allows a meta-model to get tailored for the current task and enables us to learn a distribution of solutions for an ambiguous task. ST-MAML also propagates the task representation to revise the encoding of input variables. Empirically, we demonstrate that ST-MAML matches or outperforms the state-of-the-art on two few-shot image classification tasks, one curve regression benchmark, one image completion problem, and a real-world temperature prediction application. To the best of authors' knowledge, this is the first time optimization-based meta-learning method being applied on a large-scale real-world task.


title: Introducing the viewpoint in the resource description using machine learning

abstract: Search engines allow providing the user with data information according to their interests and specialty. Thus, it is necessary to exploit descriptions of the resources, which take into consideration viewpoints. Generally, the resource descriptions are available in RDF (e.g., DBPedia of Wikipedia content). However, these descriptions do not take into consideration viewpoints. In this paper, we propose a new approach, which allows converting a classic RDF resource description to a resource description that takes into consideration viewpoints. To detect viewpoints in the document, a machine learning technique will be exploited on an instanced ontology. This latter allows representing the viewpoint in a given domain. An experimental study shows that the conversion of the classic RDF resource description to a resource description that takes into consideration viewpoints, allows giving very relevant responses to the user's requests.


title: Signatures of a Distant Planet on the Inclination Distribution of the Detached Kuiper Belt

abstract: A distant, massive planet in the outer solar system has recently been proposed to explain some observed features of extreme trans-Neptunian objects (TNOs). Here we use N-body simulations of the formation of the Kuiper belt and Oort cloud as well as a survey simulator to compare models of the solar system with and without a 9th planet to one another as well as to observations. The main mechanism for TNOs to be deposited into the distant ($a$ > au), detached ($q$ > au) region of the Kuiper Belt in the 8-planet model is Kozai-Lidov oscillation of objects in mean motion resonances (MMR) with Neptune. This effect does not deposit low-inclination ($i \lesssim$ 20{\deg}) objects into this region. However, we find that the 9th planet generates a group of distant, detached TNOs at low inclinations that are not present in the 8-planet model. This disparity between the 8-planet and the 9-planet models could provide a strong constraint on a possible planet 9 with further detections of TNOs in the distant, detached region of the Kuiper Belt.


title: Hexagonal matching codes with 2-body measurements

abstract: Matching codes are stabilizer codes based on Kitaev's honeycomb lattice model. The hexagonal form of these codes are particularly well-suited to the heavy-hexagon device layouts currently pursued in the hardware of IBM Quantum. Here we show how the stabilizers of the code can be measured solely through the 2-body measurements that are native to the architecture. The process is then run on 27 and 65 qubit devices, to compare results with simulations for a standard error model. It is found that the results correspond well to simulations where the noise strength is similar to that found in the benchmarking of the devices. The best devices show results consistent with a noise model with an error probability of around $1.5\%-2\%$.


title: Freestanding and permeable nanoporous gold membranes for surface-enhanced Raman scattering

abstract: Surface-enhanced Raman spectroscopy (SERS) demands reliable, high enhancement substrates in order to be used in different fields of application. Here, we introduce freestanding porous gold membranes (PAuM) as easy to produce, scalable, mechanically stable, and effective SERS substrates. We fabricate large-scale sub-30 thick PAuM, that form freestanding membranes with varying morphologies depending on the nominal gold thickness. These PAuM are mechanically stable for pressures up to $>3$ bar, and exhibit surface-enhanced Raman scattering with local enhancement factors of $10^4$ to $10^5$, which we demonstrate by wavelength-dependent and spatially resolved Raman measurements using graphene as a local Raman probe. Numerical simulations reveal that the enhancement arises from individual, nanoscale pores in the membrane acting as optical slot antennas. Our PAuM are mechanically stable, provide robust SERS enhancement for excitation power densities up to $10^6$W$\,$cm$^{-2}$, and may find use as a building block in flow-through sensor applications based on SERS.


title: Simple closed curves in stable covers of surfaces

abstract: Let $f: X \to Y$ be a regular covering of a surface $Y$ of finite type with nonempty boundary, with finitely-generated (possibly infinite) deck group $G$. We give necessary and sufficient conditions for an integral homology class on $X$ to admit a representative as a connected component of the preimage of a nonseparating simple closed curve on $Y$, possibly after passing to a "stabilization", i.e. a $G$-equivariant embedding of covering spaces $X \hookrightarrow X^+$.


title: Efimov physics implications at $p$-wave fermionic unitarity

abstract: Efimov physics at $p$-wave unitarity for three equal mass fermions in multiple symmetries interacting via Lennard-Jones potentials is predicted to modify the long range interaction potential energy, but without producing a true Efimov effect. This analysis treats the following total orbital angular momenta and parities, $J^{\Pi}=0^{+}, 1^{+}, 1^{-}$ and $2^{-}$, for either three spin-polarized fermions ($\uparrow \uparrow \uparrow $), or two spin-up and one spin-down fermion ($\downarrow \uparrow \uparrow $). Our results for the long range interaction in some of those cases agree with previous work by Werner and Castin and by Blume {\it et al.}, namely in cases where the $s$-wave scattering length goes to infinity. The present results extend those calculated interaction energies to small and intermediate hyperradii comparable to the van der Waals length, and we consider additional unitarity scenarios where the $p$-wave scattering volume approaches infinity. The crucial role of the diagonal hyperradial adiabatic correction term is identified and characterized.


title: LSTM-based approach to detect cyber attacks on market-based congestion management methods

abstract: Market-based congestion management methods adopt Demand Side Management (DSM) techniques to alleviate congestion in the day-ahead market. Reliance of these methods on the communication layer makes it prone to cyber attacks affecting the security, reliability, and economic operation of the distribution network. In this paper, we focus on Load Altering Attacks that would compromise the operation of market-based congestion management methods. A detection technique is proposed using Long Short-term Memory (LSTM) Recurrent Neural Networks (RNN). IEEE 33 bus system is used as a case study to demonstrate the effectiveness of the proposed technique. An accuracy of 97% was obtained proving the capability of using LSTM-RNN to detect a load altering cyber attack compromising aggregators in the network.


title: Space-split algorithm for sensitivity analysis of discrete chaotic systems with unstable manifolds of arbitrary dimension

abstract: Accurate approximations of the change of system's output and its statistics with respect to the input are highly desired in computational dynamics. Ruelle's linear response theory provides breakthrough mathematical machinery for computing the sensitivity of chaotic dynamical systems, which enables a better understanding of chaotic phenomena. In this paper, we propose an algorithm for sensitivity analysis of discrete chaos with an arbitrary number of positive Lyapunov exponents. We combine the concept of perturbation space-splitting regularizing Ruelle's original expression together with measure-based parameterization of the expanding subspace. We use these tools to rigorously derive trajectory-following recursive relations that exponentially converge, and construct a memory-efficient Monte Carlo scheme for derivatives of the output statistics. Thanks to the regularization and lack of simplifying assumptions on the behavior of the system, our method is immune to the common problems of other popular systems such as the exploding tangent solutions and unphysicality of shadowing directions. We provide a ready-to-use algorithm, analyze its complexity, and demonstrate several numerical examples of sensitivity computation of physically-inspired low-dimensional systems.


title: Demazure formula for $A_n$ Weyl polytope sums

abstract: The weights of finite-dimensional representations of simple Lie algebras are naturally associated with Weyl polytopes. Representation characters decompose into multiplicity-free sums over the weights in Weyl polytopes. The Brion formula for these Weyl polytope sums is remarkably similar to the Weyl character formula. Moreover, the same Lie characters are also expressible as Demazure character formulas. This motivates a search for new expressions for Weyl polytope sums, and we prove such a formula involving Demazure operators. It applies to the Weyl polytope sums of the simple Lie algebras $A_n$, for all dominant integrable highest weights and all ranks $n$.


title: Critical branching processes in random environment with immigration: the size of the only surviving family

abstract: We consider a critical branching process $Y_{n}$ in an i.i.d. random environment, in which one immigrant arrives at each generation. Let $% \mathcal{A}_{i}(n)$ be the event that all individuals alive at time $n$ are offspring of the immigrant which joined the population at time $i$. We study the conditional distribution of $Y_{n}$ given $\mathcal{A}_{i}(n)$ when $n$ is large and $i$ follows different asymptotics which may be related to $n$ ($% i$ fixed, close to $n$, or going to infinity but far from $n$).


title: Scaling laws to predict humidity-induced swelling and stiffness in hydrogels

abstract: From pasta to biological tissues to contact lenses, gel and gel-like materials inherently soften as they swell with water. In dry, low-relative-humidity environments, these materials stiffen as they de-swell with water. Here, we use semi-dilute polymer theory to develop a simple power-law relationship between hydrogel elastic modulus and swelling. From this relationship, we predict hydrogel stiffness or swelling at arbitrary relative humidities. Our close predictions of properties of hydrogels across three different polymer mesh families at varying crosslinking densities and relative humidities demonstrate the validity and generality of our understanding. This predictive capability enables more rapid material discovery and selection for hydrogel applications in varying humidity environments.


title: The SpinParser software for pseudofermion functional renormalization group calculations on quantum magnets

abstract: We present the SpinParser open-source software [ https://github.com/fbuessen/SpinParser ]. The software is designed to perform pseudofermion functional renormalization group (pf-FRG) calculations for frustrated quantum magnets in two and three spatial dimensions. It aims to make such calculations readily accessible without the need to write specialized program code; instead, custom lattice graphs and microscopic spin models can be defined as plain-text input files. Underlying symmetries of the model are automatically analyzed and exploited by the numerical core written in C++ in order to optimize the performance across large-scale shared memory and/or distributed memory computing platforms.


title: Stochastic Transformer Networks with Linear Competing Units: Application to end-to-end SL Translation

abstract: Automating sign language translation (SLT) is a challenging real world application. Despite its societal importance, though, research progress in the field remains rather poor. Crucially, existing methods that yield viable performance necessitate the availability of laborious to obtain gloss sequence groundtruth. In this paper, we attenuate this need, by introducing an end-to-end SLT model that does not entail explicit use of glosses; the model only needs text groundtruth. This is in stark contrast to existing end-to-end models that use gloss sequence groundtruth, either in the form of a modality that is recognized at an intermediate model stage, or in the form of a parallel output process, jointly trained with the SLT model. Our approach constitutes a Transformer network with a novel type of layers that combines: (i) local winner-takes-all (LWTA) layers with stochastic winner sampling, instead of conventional ReLU layers, (ii) stochastic weights with posterior distributions estimated via variational inference, and (iii) a weight compression technique at inference time that exploits estimated posterior variance to perform massive, almost lossless compression. We demonstrate that our approach can reach the currently best reported BLEU-4 score on the PHOENIX 2014T benchmark, but without making use of glosses for model training, and with a memory footprint reduced by more than 70%.


title: How Low Can You Go? Practical cold-start performance limits in FaaS

abstract: Function-as-a-Service (FaaS) has recently emerged as a new cloud computing paradigm. It promises high utilization of data center resources through allocating resources on demand at per-function request granularity. High cold-start overheads, however, have been limiting FaaS systems' such potential. Prior work has recognized that time redundancy exists across different cold function invocations and has proposed varied snapshots that capture the instantaneous execution state so allow for jump-starts through restoration. However, it remains unclear what the cold-start performance limits are as the previous snapshots employ different techniques and aredesigned for different environments. In this paper, we summarize these snapshots from a taxonomic perspective andpresent a model that depicts the cold-start performance fromfirst principles. To approximate the performance limits, we propose a snapshot design SnapFaaS. We evaluate SnapFaaS using real-world FaaS functions. Our empirical results prove SnapFaaS' efficiency. It is 2-10x as fast as prior work for most functions and achieves near-optimal cold-start performance.


title: Second Harmonic Generation in Lithiated Silicon Nanowires: Derivations and Computational Methods

abstract: This research will examine the computational methods to calculate the nonlinear optical process of second harmonic generation (SHG) that will be hypothesized to be present during lithium ion insertion into silicon nanowires. First it will be determined whether the medium in which SHG is conveyed is non-centrosymmetric or whether the medium is inversion symmetric where SHG as a part of the second-order nonlinear optical phenomenon does not exist. It will be demonstrated that the main interaction that determines SHG is multiphoton absorption on lithium ions. The quantum harmonic oscillator (QHO) is used as the background that generates coherent states for electrons and photons that transverse the length of the silicon nanowire. The matrix elements of the Hamiltonian which represents the energy of the system will be used to calculate the probability density of second-order nonlinear optical interactions which includes collectively SHG, sum-frequency generation (SFG) and difference-frequency generation (DFG). As a result it will be seen that at varies concentrations of lithium ions (Li+) within the crystallized silicon (c-Si) matrix the second-order nonlinear optical process has probabilities substantial enough to create second harmonic generation that could possibly be used for such applications as second harmonic imaging microscopy.


title: Consistent approach to study gluon quasi-particles

abstract: We discuss a novel approach to estimate the partition function in effective model frameworks when the effective potentials have multiple extrema, so that ascertaining a mean field becomes difficult. Using this approach we present a consistent model to study the thermodynamic properties of gluon quasi-particles as a function of temperature, both in the color confined and the color deconfined phases.


title: Induced transparency: interference or polarization?

abstract: The polarization of optical fields is a crucial degree of freedom in the all-optical analogue of electromagnetically induced transparency (EIT). However, the physical origins of EIT and polarization induced phenomena have not been well distinguished, which can lead to confusion in associated applications such as slow light and optical/quantum storage. Here we study the polarization effects in various optical EIT systems. We find that a polarization mismatch between whispering gallery modes in two indirectly coupled resonators can induce a narrow transparency window in the transmission spectrum resembling the EIT lineshape. However, such polarization induced transparency (PIT) is distinct from EIT: it originates from strong polarization rotation effects and shows unidirectional feature. The coexistence of PIT and EIT provides new routes for the manipulation of light flow in optical resonator systems.

categories: physics.optics cs.SY eess.SY physics.app-ph quant-ph


title: Gromov-Witten Theory of Complete Intersections via Nodal Invariants

abstract: We provide an inductive algorithm computing Gromov-Witten invariants in all genera with arbitrary insertions of all smooth complete intersections in projective space. We also prove that all Gromov-Witten classes of all smooth complete intersections in projective space belong to the tautological ring of the moduli space of stable curves. The main idea is to show that invariants with insertions of primitive cohomology classes are controlled by their monodromy and by invariants defined without primitive insertions but with imposed nodes in the domain curve. To compute these nodal Gromov-Witten invariants, we introduce the new notion of nodal relative Gromov-Witten invariants. We then prove a nodal degeneration formula and a relative splitting formula. These results for nodal relative Gromov-Witten theory are stated in complete generality and are of independent interest.


title: Multiple-Pilot Collaboration for Advanced Remote Intervention using Reinforcement Learning

abstract: The traditional master-slave teleoperation relies on human expertise without correction mechanisms, resulting in excessive physical and mental workloads. To address these issues, a co-pilot-in-the-loop control framework is investigated for cooperative teleoperation. A deep deterministic policy gradient(DDPG) based agent is realised to effectively restore the master operators' intents without prior knowledge on time delay. The proposed framework allows for introducing an operator (i.e., co-pilot) to generate commands at the slave side, whose weights are optimally assigned online through DDPG-based arbitration, thereby enhancing the command robustness in the case of possible human operational errors. With the help of interval type-2(IT2) Takagi-Sugeno (T-S) fuzzy identification, force feedback can be reconstructed at the master side without a sense of delay, thus ensuring the telepresence performance in the force-sensor-free scenarios. Two experimental applications validate the effectiveness of the proposed framework.


title: Enhanced Audit Bit Based Distributed Bayesian Detection in the Presence of Strategic Attacks

abstract: This paper employs an audit bit based mechanism to mitigate the effect of Byzantine attacks. In this framework, the optimal attacking strategy for intelligent attackers is investigated for the traditional audit bit based scheme (TAS) to evaluate the robustness of the system. We show that it is possible for an intelligent attacker to degrade the performance of TAS to the system without audit bits. To enhance the robustness of the system in the presence of intelligent attackers, we propose an enhanced audit bit based scheme (EAS). The optimal fusion rule for the proposed scheme is derived and the detection performance of the system is evaluated via the probability of error for the system. Simulation results show that the proposed EAS improves the robustness and the detection performance of the system. Moreover, based on EAS, another new scheme called the reduced audit bit based scheme (RAS) is proposed which further improves system performance. We derive the new optimal fusion rule and the simulation results show that RAS outperforms EAS and TAS in terms of both robustness and detection performance of the system. Then, we extend the proposed RAS for a wide-area cluster based distributed wireless sensor networks (CWSNs). Simulation results show that the proposed RAS significantly reduces the communication overhead between the sensors and the FC, which prolongs the lifetime of the network.


title: Characteristics of room temperature bipolar photoconductance in 150 GHz probe transients obtained from normal and irradiated silicon illuminated by 532 nm laser

abstract: A negative kink in excess conductivity is observed in p-type non-degenerate (moderate dopant concentration) silicon wafers when excited by a very narrow pulse of 532 nm laser appearing just after the complete positive decay of dark conductivity voltage. Most of the Si samples are pristine, and 3 of them are irradiated with gamma, proton, and chlorine ion beams respectively. These transients were examined using a time-resolved millimeter-wave conductivity apparatus (TRmmWC ) and the radiofrequency (RF) voltage response (after laser cut-off) consistently reveals a positive peak with nominal decay to zero followed by a negative kink. This negative photoconductivity (NPC) kink develops just after the complete decay of the positive photoconductivity (PPC) and lasts typically ~ 36 us. We present some data on general characteristics obtained from a set of normal (pristine doped Si) wafers and the gamma- and ion beam irradiated silicon (comparing with the parent pristine sample responses) for establishing possible new links that might enable estimation of defect parameters introduced in silicon.


title: HSS(0): an Improved Hermitian/Skew-Hermitian Splitting Iteration

abstract: We propose an improved version of the Hermitian/skew-Hermitian splitting (HSS) iterative method, which we call HSS(0), to solve non-Hermitian linear systems with a positive definite Hermitian part. The improvement is based on solving the Hermitian half iteration without a shift, and applying a shift only for the skew-Hermitian solve. An optimal parameter is derived analytically, and a corresponding upper bound on the convergence speed is obtained. Using a combination of analytical proofs and numerical validations, we show that HSS(0) yields a dramatically faster convergence speed than standard HSS. Furthermore, HSS(0) is much less sensitive to the choice of the parameter. Numerical experiments on a convection-diffusion model problem in two and three dimensions illustrate the high efficiency of HSS(0).


title: GNSS Radio Occultation on Aerial Platforms with Commercial Off-The-Shelf Receivers

abstract: In recent decades, GNSS Radio Occultation soundings have proven an invaluable input to global weather forecasting. The success of government-sponsored programs such as COSMIC is now complemented by commercial low-cost cubesat implementations. The result is access to more than 10,000 soundings per day and improved weather forecasting accuracy. This movement towards commercialization has been supported by several agencies, including the National Aeronautics and Space Administration (NASA), National Oceanic and Atmospheric Administration (NOAA) and the U.S. Air Force (USAF) with programs such as the Commercial Weather Data Pilot (CWDP). This has resulted in further interest in commercially deploying GNSS-RO on complementary platforms. Here, we examine a so far underutilized platform: the high-altitude weather balloon. Such meteorological radiosondes are deployed twice daily at over 900 locations globally and form an essential in-situ data source as a long-standing input to weather forecasting models. Adding GNSS-RO capability to existing radiosonde platforms would greatly expand capability, allowing for persistent and local area monitoring, a feature particularly useful for hurricane and other severe weather monitoring. A prohibitive barrier to entry to this inclusion is cost and complexity as GNSS-RO traditionally requires highly specialized and sensitive equipment. This paper describes a multi-year effort to develop a low-cost and scalable approach to balloon GNSS-RO based on Commercial-Off-The-Shelf (COTS) GNSS receivers. We present hardware prototypes and data processing techniques which demonstrate the technical feasibility of the approach through results from several flight testing campaigns.


title: A short basis of the Stickelberger ideal of a cyclotomic field

abstract: We exhibit an explicit short basis of the Stickelberger ideal of cyclotomic fields of any conductor $m$, i.e., a basis containing only short elements. By definition, an element of $\mathbb{Z}[G_m]$, where $G_m$ denotes the Galois group of the field, is called short whenever it writes as $\sum_{\sigma\in G_m} \varepsilon_{\sigma}\sigma$ with all $\varepsilon_\sigma\in\{0,1\}$. One ingredient for building such a basis consists in picking wisely generators $\alpha_m(b)$ in a large family of short elements. As a direct practical consequence, we deduce from this short basis an explicit upper bound on the relative class number, that is valid for any conductor. This basis also has several concrete applications, in particular for the cryptanalysis of the Shortest Vector Problem on Ideal lattices.


title: Arithmetic Statistics and noncommutative Iwasawa Theory

abstract: Let $p$ be an odd prime. Associated to a pair $(E, \mathcal{F}_\infty)$ consisting of a rational elliptic curve $E$ and a $p$-adic Lie extension $\mathcal{F}_\infty$ of $\mathbb{Q}$, is the $p$-primary Selmer group $Sel_{p^\infty}(E/\mathcal{F}_\infty)$ of $E$ over $\mathcal{F}_\infty$. In this paper, we study the arithmetic statistics for the algebraic structure of this Selmer group. The results provide insights into the asymptotics for the growth of Mordell--Weil ranks of elliptic curves in noncommutative towers.


title: Ionic control over ferroelectricity in 2D layered van der Waals capacitors

abstract: The van der Waals layered material CuInP2S6 features interesting functional behavior, including the existence of four uniaxial polarization states, polarization reversal against the electric field through Cu ion migration, a negative-capacitance regime, and reversible extraction of Cu ions. At the heart of these characteristics lies the high mobility of Cu ions, which also determines the spontaneous polarization. Therefore, Cu migration across the lattice results in unusual ferroelectric behavior. Here, we demonstrate how the interplay of polar and ionic properties provides a path to ionically controlled ferroelectric behavior, achieved by applying selected DC voltage pulses and subsequently probing ferroelectric switching during fast triangular voltage sweeps. Using current measurements and theoretical calculations, we observe that increasing DC pulse duration results in higher ionic currents, the build-up of an internal electric field that shifts polarization loops, and an increase in total switchable polarization by ~50% due to the existence of a high polarization phase which is stabilized by the internal electric field. Apart from tuning ferroelectric behavior by selected square pulses, hysteretic polarization switching can even be entirely deactivated and reactivated, resulting in three-state systems where polarization switching is either inhibited or can be performed in two different directions.


title: Structure-Property-Performance Relationships of Cuprous Oxide Nanostructures for Dielectric Mie Resonance-Enhanced Photocatalysis

abstract: Nanostructured metal oxides, such as Cu2O, CeO2, {\alpha}-Fe2O3, and TiO2 can efficiently mediate photocatalysis for solar-to-chemical energy conversion and pollution remediation. In this contribution, we report a novel approach, dielectric Mie resonance-enhanced photocatalysis, to enhance the catalytic activity of metal oxide photocatalysts. Specifically, we demonstrate that Cu2O nanostructures exhibiting dielectric Mie resonances can exhibit up to an order of magnitude higher photocatalytic rate as compared to Cu2O nanostructures not exhibiting dielectric Mie resonances. Our finite-difference time-domain (FDTD) simulation and experimental results predict a volcano-type relationship between the photocatalytic rate and the size of Cu2O nanospheres and nanocubes. Using transient absorption measurements, we reveal that a coherent electronic process associated with dielectric Mie resonance-mediated charge carrier generation is dominant in Cu2O nanostructures that exhibit higher photocatalytic rates. Although we experimentally demonstrate dielectric Mie resonance-enhanced photocatalysis using Cu2O particles here, based on our FDTD simulations, we anticipate the same can be achieved with other metal oxide photocatalysts, including CeO2, {\alpha}-Fe2O3, and TiO2.


title: Urban Driver: Learning to Drive from Real-world Demonstrations Using Policy Gradients

abstract: In this work we are the first to present an offline policy gradient method for learning imitative policies for complex urban driving from a large corpus of real-world demonstrations. This is achieved by building a differentiable data-driven simulator on top of perception outputs and high-fidelity HD maps of the area. It allows us to synthesize new driving experiences from existing demonstrations using mid-level representations. Using this simulator we then train a policy network in closed-loop employing policy gradients. We train our proposed method on 100 hours of expert demonstrations on urban roads and show that it learns complex driving policies that generalize well and can perform a variety of driving maneuvers. We demonstrate this in simulation as well as deploy our model to self-driving vehicles in the real-world. Our method outperforms previously demonstrated state-of-the-art for urban driving scenarios -- all this without the need for complex state perturbations or collecting additional on-policy data during training. We make code and data publicly available.


title: On deploying the Artificial Sport Trainer into practice

abstract: Computational Intelligence methods for automatic generation of sport training plans in individual sport disciplines have achieved a mature phase. In order to confirm their added value, they have been deployed into practice. As a result, several methods have been developed for generating well formulated training plans on computers automatically that, typically, depend on the collection of past sport activities. However, monitoring the realization of the performed training sessions still represents a bottleneck in automating the process of sport training as a whole. The objective of this paper is to present a new low-cost and efficient embedded device for monitoring the realization of sport training sessions that is dedicated to monitor cycling training sessions. We designed and developed a new bike computer, i.e. the AST-Monitor, that can be mounted easily on almost every bicycle. The aforementioned bike computer is based on the Raspberry Pi device that supports different external sensors for capturing the data during the realization of sport training sessions. An adjusted GUI tailored to the needs of athletes is developed, along with the hardware. The proof of concept study, using the AST-Monitor in practice, revealed the potential of the proposed solution for monitoring of realized sport training sessions automatically. The new device also opens the door for the future utilization of Artificial Intelligence in a wide variety of sports.


title: Algorithms for matrix multiplication via sampling and opportunistic matrix multiplication

abstract: Karppa & Kaski (2019) proposed a novel ``broken" or ``opportunistic" matrix multiplication algorithm, based on a variant of Strassen's algorithm, and used this to develop new algorithms for Boolean matrix multiplication, among other tasks. Their algorithm can compute Boolean matrix multiplication in $O(n^{2.778})$ time. While asymptotically faster matrix multiplication algorithms exist, most such algorithms are infeasible for practical problems. We describe an alternative way to use the broken multiplication algorithm to approximately compute matrix multiplication, either for real-valued or Boolean matrices. In brief, instead of running multiple iterations of the broken algorithm on the original input matrix, we form a new larger matrix by sampling and run a single iteration of the broken algorithm on it. Asymptotically, our algorithm has runtime $O(n^{2.763})$, a slight improvement over the Karppa-Kaski algorithm. Since the goal is to obtain new practical matrix-multiplication algorithms, we also estimate the concrete runtime for our algorithm for some large-scale sample problems. It appears that for these parameters, further optimizations are still needed to make our algorithm competitive.


title: Fake or Credible? Towards Designing Services to Support Users' Credibility Assessment of News Content

abstract: Fake news has become omnipresent in digitalized areas such as social media platforms. While being disseminated online, it also poses a threat to individuals and societies offline, for example, in the context of democratic elections. Research and practice have investigated the detection of fake news with behavioral science or method-related perspectives. However, to date, we lack design knowledge on presenting fake news warnings to users to support their individual news credibility assessment. We present the journey through the first design cycle on developing a fake news detection service focusing on the user interface design. The design is grounded in concepts from the field of source credibility theory and instantiated in a prototype that was qualitatively evaluated. The 13 participants communicated their interest in a lightweight application that aids in the news credibility assessment and rated the design features as useful as well as desirable.


title: DEBOSH: Deep Bayesian Shape Optimization

abstract: Graph Neural Networks (GNNs) can predict the performance of an industrial design quickly and accurately and be used to optimize its shape effectively. However, to fully explore the shape space, one must often consider shapes deviating significantly from the training set. For these, GNN predictions become unreliable, something that is often ignored. For optimization techniques relying on Gaussian Processes, Bayesian Optimization (BO) addresses this issue by exploiting their ability to assess their own accuracy. Unfortunately, this is harder to do when using neural networks because standard approaches to estimating their uncertainty can entail high computational loads and reduced model accuracy. Hence, we propose a novel uncertainty-based method tailored to shape optimization. It enables effective BO and increases the quality of the resulting shapes beyond that of state-of-the-art approaches.


title: Solving Challenging Control Problems Using Two-Staged Deep Reinforcement Learning

abstract: We present a deep reinforcement learning (deep RL) algorithm that consists of learning-based motion planning and imitation to tackle challenging control problems. Deep RL has been an effective tool for solving many high-dimensional continuous control problems, but it cannot effectively solve challenging problems with certain properties, such as sparse reward functions or sensitive dynamics. In this work, we propose an approach that decomposes the given problem into two deep RL stages: motion planning and motion imitation. The motion planning stage seeks to compute a feasible motion plan by leveraging the powerful planning capability of deep RL. Subsequently, the motion imitation stage learns a control policy that can imitate the given motion plan with realistic sensors and actuation models. This new formulation requires only a nominal added cost to the user because both stages require minimal changes to the original problem. We demonstrate that our approach can solve challenging control problems, rocket navigation, and quadrupedal locomotion, which cannot be solved by the monolithic deep RL formulation or the version with Probabilistic Roadmap.


title: Central Limit Theorem for $C\beta E$ Pair Dependent Statistics in Mesoscopic Regime

abstract: We extend our results on the fluctuation of the pair counting statistic of the Circular Beta Ensemble $\sum_{i\neq j}f(L_N(\theta_i-\theta_j))$ for arbitrary $\beta>0$ in the mesoscopic regime $L_N=O(N^{2/3-\epsilon})$.


title: Success at high peaks: a multiscale approach combining individual and expedition-wide factors

abstract: This work presents a network-based data-driven study of the combination of factors that contribute to success in mountaineering. It simultaneously examines the effects of individual factors such as age, gender, experience etc., as well as expedition-wide factors such as number of camps, ratio of sherpas to paying climbers etc. Specifically, it combines the two perspectives into a multiscale network, i.e., a network of individual climber features within each expedition at the finer scale, and an expedition similarity network on the coarser scale. The latter is represented as a multiplex network where layers encode different factors. The analysis reveals that chances of failure to summit due to fatigue, altitude or logistical problems, drastically reduce when climbing with repeat partners, especially for experienced climbers. Additionally, node-centrality indicates that individual traits of youth and oxygen use are the strongest drivers of success. Further, the learning of network projections enables computation of correlations between intra-expedition networks and corresponding expedition success rates. Of expedition-wide factors, the expedition size and length layers are found to be strongly correlated with success rate. Lastly, community detection on the expedition-similarity network reveals distinct communities where a difference in success rates naturally emerges amongst the communities.

categories: cs.SI nlin.AO physics.data-an physics.soc-ph


title: 0-Gaps on 3D Digital Curves

abstract: In Digital Geometry, gaps are some basic portion of a digital object that a discrete ray can cross without intersecting any voxel of the object itself. Such a notion is quite important in combinatorial image analysis and it is strictly connected with some applications in fields as CAD and Computer graphics. In this paper we prove that the number of $0$-gaps of a $3$D digital curve can be expressed as a linear combination of the number of its $i$-cells (with $i = 0, \ldots, 3$).


title: Molecular Dynamic Characteristic Temperatures for Predicting Metallic Glass Forming Ability

abstract: We explore the use of characteristic temperatures derived from molecular dynamics to predict aspects of metallic Glass Forming Ability (GFA). Temperatures derived from cooling curves of self-diffusion, viscosity, and energy were used as features for machine learning models of GFA. Multiple target and model combinations with these features were explored. First, we use the logarithm of critical casting thickness, $log_{10}(D_{max})$, as the target and trained regression models on 21 compositions. Application of 3-fold cross-validation on the 21 $log_{10}(D_{max})$ alloys showed only weak correlation between the model predictions and the target values. Second, the GFA of alloys were quantified by melt-spinning or suction casting amorphization behavior, with alloys that showed crystalline phases after synthesis classified as Poor GFA and those with pure amorphous phases as Good GFA. Binary GFA classification was then modeled using decision tree-based methods (random forest and gradient boosting models) and were assessed with nested-cross validation. The maximum F1 score for the precision-recall with Good Glass Forming Ability as the positive class was $0.82 \pm 0.01$ for the best model type. We also compared using simple functions of characteristic temperatures as features in place of the temperatures themselves and found no statistically significant difference in predictive abilities. Although the predictive ability of the models developed here are modest, this work demonstrates clearly that one can use molecular dynamics simulations and machine learning to predict metal glass forming ability.


title: Sparse hard-disk packings and local Markov chains

abstract: We propose locally stable sparse hard-disk packings, as introduced by B\"or\"oczky, as a model for the analysis and benchmarking of Markov-chain Monte Carlo (MCMC) algorithms. We first generate such packings in a square box with periodic boundary conditions and analyze their properties. We then study how local MCMC algorithms, namely the Metropolis algorithm and several versions of event-chain Monte Carlo (ECMC), escape from configurations that are obtained by slightly reducing all disk radii by a relaxation parameter. A scaling analysis is confirmed by simulation results. We obtain two classes of ECMC, one in which the escape time varies algebraically with the relaxation parameter (as for the local Metropolis algorithm) and another in which the escape time scales as the logarithm of the relaxation parameter. We discuss the connectivity of the hard-disk sample space, the ergodicity of local MCMC algorithms, as well as the meaning of packings in the context of the NPT ensemble. Our work is accompanied by open-source, arbitrary-precision software for B\"or\"oczky packings (in Python) and for straight, reflective, forward, and Newtonian ECMC (in Go).


title: Flexoelectric and piezoelectric coupling in a bended MoS$_2$ monolayer

abstract: Low-dimensional (LD) transition metal dichalcogenides (TMDs) in the form of nanoflakes, which consist of one or several layers, are the subject of intensive fundamental and applied research. Due to the size-induced transition from a bulk to nanoscale, they can be both nonpolar, piezoelectric or even ferroelectric. Also, in terms of electronic properties, they can be direct-band semiconductors, semi-metals or even metals. The tuning of the electronic properties in the LD-TMDs are commonly related with applied strains and strain gradients, which can affect strongly their polar properties via the piezoelectric and flexoelectric couplings. Using the density functional theory (DFT) and phenomenological Landau approach, we studied the bended 2H-MoS$_2$ monolayer and analyzed its flexoelectric and piezoelectric properties. The dependences of the dipole moment, strain and strain gradient on the coordinate along the layer were calculated. From these dependences the components of the flexoelectric and piezoelectric tensors have been determined and analyzed. Obtained results are useful for applications of LD-TMDs in strain engineering and flexible electronics.


title: A Strategy to Identify Materials Exhibiting a Large Nonlinear Phononics Response: Tuning the Ultrafast Structural Response of LaAlO$_3$ with Pressure

abstract: We use theory and first-principles calculations to investigate how structural changes induced by ultrafast optical excitation of infrared-active phonons change with hydrostatic pressure in LaAlO$_3$. Our calculations show that the observed structural changes are sensitive to pressure, with the largest changes occurring at pressures near the boundary between the cubic perovskite and rhombohedral phases. We rationalize our findings by defining a figure of merit that depends only on intrinsic materials quantities, and show that the peak response near the phase boundary is dictated by different microscopic materials properties depending on the particular phonon mode being excited. Our work demonstrates how it is possible to systematically identify materials that may exhibit particularly large changes in structure and properties due to optical excitation of infrared-active phonons.


title: Quantum Computational Phase Transition in Combinatorial Problems

abstract: Quantum Approximate Optimization algorithm (QAOA) aims to search for approximate solutions to discrete optimization problems with near-term quantum computers. As there are no algorithmic guarantee possible for QAOA to outperform classical computers, without a proof that $BQP\neq NP$, it is necessary to investigate the empirical advantages of QAOA. We identify a computational phase transition of QAOA when solving hard problems such as SAT -- random instances are most difficult to train at a critical problem density. We connect the transition to the controllability and the complexity of QAOA circuits. Moreover, we find that the critical problem density in general deviates from the SAT-UNSAT phase transition, where the hardest instances for classical algorithm lies. Then, we show that the high problem density region, which limits QAOA's performance in hard optimization problems ({\it reachability deficits}), is actually a good place to utilize QAOA: its approximation ratio has a much slower decay with the problem density, compared to classical approximate algorithms. Indeed, it is exactly in this region that quantum advantages of QAOA over classical approximate algorithms can be identified.

categories: quant-ph cond-mat.dis-nn cond-mat.stat-mech cs.CC


title: The chromatic number of random lifts of complete graphs

abstract: An $n$-lift of a graph $G$ is a graph from which there is an $n$-to-$1$ covering map onto $G$. Amit, Linial, and Matou\v sek (2002) raised the question of whether the chromatic number of a random $n$-lift of $K_5$ is concentrated on a single value. We consider this problem for $G=K_{d+1}$, and show that for fixed $d\ge 3$ the chromatic number of a random lift of $K_d$ is (asymptotically almost surely) either $k$ or $k+1$, where $k$ is the smallest integer satisfying $d < 2k \log k$. Moreover, we show that, for roughly half of the values of $d$, the chromatic number is concentrated on $k$. The argument for the upper-bound on the chromatic number uses the small subgraph conditioning method, and it can be extended to random $n$-lifts of $G$, for any fixed $d$-regular graph $G$.


title: Evaluating Biomedical BERT Models for Vocabulary Alignment at Scale in the UMLS Metathesaurus

abstract: The current UMLS (Unified Medical Language System) Metathesaurus construction process for integrating over 200 biomedical source vocabularies is expensive and error-prone as it relies on the lexical algorithms and human editors for deciding if the two biomedical terms are synonymous. Recent advances in Natural Language Processing such as Transformer models like BERT and its biomedical variants with contextualized word embeddings have achieved state-of-the-art (SOTA) performance on downstream tasks. We aim to validate if these approaches using the BERT models can actually outperform the existing approaches for predicting synonymy in the UMLS Metathesaurus. In the existing Siamese Networks with LSTM and BioWordVec embeddings, we replace the BioWordVec embeddings with the biomedical BERT embeddings extracted from each BERT model using different ways of extraction. In the Transformer architecture, we evaluate the use of the different biomedical BERT models that have been pre-trained using different datasets and tasks. Given the SOTA performance of these BERT models for other downstream tasks, our experiments yield surprisingly interesting results: (1) in both model architectures, the approaches employing these biomedical BERT-based models do not outperform the existing approaches using Siamese Network with BioWordVec embeddings for the UMLS synonymy prediction task, (2) the original BioBERT large model that has not been pre-trained with the UMLS outperforms the SapBERT models that have been pre-trained with the UMLS, and (3) using the Siamese Networks yields better performance for synonymy prediction when compared to using the biomedical BERT models.


title: Control Barrier Functions for Singularity Avoidance in Passivity-Based Manipulator Control

abstract: Task-space Passivity-Based Control (PBC) for manipulation has numerous appealing properties, including robustness to modeling error and safety for human-robot interaction. Existing methods perform poorly in singular configurations, however, such as when all the robot's joints are fully extended. Additionally, standard methods for constrained task-space PBC guarantee passivity only when constraints are not active. We propose a convex-optimization-based control scheme that provides guarantees of singularity avoidance, passivity, and feasibility. This work paves the way for PBC with passivity guarantees under other types of constraints as well, including joint limits and contact/friction constraints. The proposed methods are validated in simulation experiments on a 7 degree-of-freedom manipulator.


title: On subclasses of Browder and Weyl operators

abstract: The main purpose of this paper, is to introduce and study the classes $(ab_{e})$ and $(aw_{e})$ which are strongly related to what has been recently studied in \cite{aznay-zariouh}. Furthermore, we give the connection between these classes and those that have been studied in \cite{berkani-zariouh0}. We also give an affirmative answer to a question asked in \cite{aznay-zariouh}.


title: SOAR/Goodman Spectroscopic Assessment of Candidate Counterparts of the LIGO-Virgo Event GW190814

abstract: On 2019 August 14 at 21:10:39 UTC, the LIGO/Virgo Collaboration (LVC) detected a possible neutron star-black hole merger (NSBH), the first ever identified. An extensive search for an optical counterpart of this event, designated GW190814, was undertaken using the Dark Energy Camera (DECam) on the 4m Victor M. Blanco Telescope at the Cerro Tololo Inter-American Observatory. Target of Opportunity interrupts were issued on 8 separate nights to observe 11 candidates using the 4.1m Southern Astrophysical Research (SOAR) telescope's Goodman High Throughput Spectrograph in order to assess whether any of these transients was likely to be an optical counterpart of the possible NSBH merger. Here, we describe the process of observing with SOAR, the analysis of our spectra, our spectroscopic typing methodology, and our resultant conclusion that none of the candidates corresponded to the gravitational wave merger event but were all instead other transients. Finally, we describe the lessons learned from this effort. Application of these lessons will be critical for a successful community spectroscopic follow-up program for LVC observing run 4 (O4) and beyond.


title: Harmonic analysis of isotropic fields on the sphere with arbitrary masks

abstract: Obtaining constraints from the largest scales of a galaxy survey is challenging due to the survey mask allowing only partial measurement of large angular modes. This scatters information from the harmonic-space 2-point function away from the diagonal and introduces coupling between modes. In this paper, we derive a custom eigenbasis adapted to any particular survey geometry so that all information is retained on the diagonal. At the expense of a somewhat complex pixel- and selection-function-window, the result is a diagonal 2-point function with a simple shot noise, and a diagonal covariance matrix in the case of a Gaussian random field. We derive the basis on the surface of a sphere, and we use it to construct a 3D spherical Fourier-Bessel power spectrum estimator assuming a survey geometry that is separable in the angular and radial directions.


title: SCExAO, a testbed for developing high-contrast imaging technologies for ELTs

abstract: To directly detect exoplanets and protoplanetary disks, the development of high accuracy wavefront sensing and control (WFS&C) technologies is essential, especially for ground-based Extremely Large Telescopes (ELTs). The Subaru Coronagraphic Extreme Adaptive Optics (SCExAO) instrument is a high-contrast imaging platform to discover and characterize exoplanets and protoplanetary disks. It also serves as a testbed to validate and deploy new concepts or algorithms for high-contrast imaging approaches for ELTs, using the latest hardware and software technologies on an 8-meter class telescope. SCExAO is a multi-band instrument, using light from 600 to 2500 nm, and delivering a high Strehl ratio (>80% in median seeing in H-band) downstream of a low-order correction provided by the facility AO188. Science observations are performed with coronagraphs, an integral field spectrograph, or single aperture interferometers. The SCExAO project continuously reaches out to the community for development and upgrades. Existing operating testbeds such as the SCExAO are also unique opportunities to test and deploy the new technologies for future ELTs. We present and show a live demonstration of the SCExAO capabilities (Real-time predictive AO control, Focal plane WFS&C, etc) as a host testbed for the remote collaborators to test and deploy the new WFS&C concepts or algorithms. We also present several high-contrast imaging technologies that are under development or that have already been demonstrated on-sky.


title: Audio-to-Image Cross-Modal Generation

abstract: Cross-modal representation learning allows to integrate information from different modalities into one representation. At the same time, research on generative models tends to focus on the visual domain with less emphasis on other domains, such as audio or text, potentially missing the benefits of shared representations. Studies successfully linking more than one modality in the generative setting are rare. In this context, we verify the possibility to train variational autoencoders (VAEs) to reconstruct image archetypes from audio data. Specifically, we consider VAEs in an adversarial training framework in order to ensure more variability in the generated data and find that there is a trade-off between the consistency and diversity of the generated images - this trade-off can be governed by scaling the reconstruction loss up or down, respectively. Our results further suggest that even in the case when the generated images are relatively inconsistent (diverse), features that are critical for proper image classification are preserved.


title: Evolving reversible circuits for the even-parity problem

abstract: Reversible computing basically means computation with less or not at all electrical power. Since the standard binary gates are not usually reversible we use the Fredkin gate in order to achieve reversibility. An algorithm for designing reversible digital circuits is described in this paper. The algorithm is based on Multi Expression Programming (MEP), a Genetic Programming variant with a linear representation of individuals. The case of digital circuits for the even-parity problem is investigated. Numerical experiments show that the MEP-based algorithm is able to easily design reversible digital circuits for up to the even-8-parity problem.


title: Efficient Computer Vision on Edge Devices with Pipeline-Parallel Hierarchical Neural Networks

abstract: Computer vision on low-power edge devices enables applications including search-and-rescue and security. State-of-the-art computer vision algorithms, such as Deep Neural Networks (DNNs), are too large for inference on low-power edge devices. To improve efficiency, some existing approaches parallelize DNN inference across multiple edge devices. However, these techniques introduce significant communication and synchronization overheads or are unable to balance workloads across devices. This paper demonstrates that the hierarchical DNN architecture is well suited for parallel processing on multiple edge devices. We design a novel method that creates a parallel inference pipeline for computer vision problems that use hierarchical DNNs. The method balances loads across the collaborating devices and reduces communication costs to facilitate the processing of multiple video frames simultaneously with higher throughput. Our experiments consider a representative computer vision problem where image recognition is performed on each video frame, running on multiple Raspberry Pi 4Bs. With four collaborating low-power edge devices, our approach achieves 3.21X higher throughput, 68% less energy consumption per device per frame, and 58% decrease in memory when compared with existing single-device hierarchical DNNs.


title: WarpedGANSpace: Finding non-linear RBF paths in GAN latent space

abstract: This work addresses the problem of discovering, in an unsupervised manner, interpretable paths in the latent space of pretrained GANs, so as to provide an intuitive and easy way of controlling the underlying generative factors. In doing so, it addresses some of the limitations of the state-of-the-art works, namely, a) that they discover directions that are independent of the latent code, i.e., paths that are linear, and b) that their evaluation relies either on visual inspection or on laborious human labeling. More specifically, we propose to learn non-linear warpings on the latent space, each one parametrized by a set of RBF-based latent space warping functions, and where each warping gives rise to a family of non-linear paths via the gradient of the function. Building on the work of Voynov and Babenko, that discovers linear paths, we optimize the trainable parameters of the set of RBFs, so as that images that are generated by codes along different paths, are easily distinguishable by a discriminator network. This leads to easily distinguishable image transformations, such as pose and facial expressions in facial images. We show that linear paths can be derived as a special case of our method, and show experimentally that non-linear paths in the latent space lead to steeper, more disentangled and interpretable changes in the image space than in state-of-the art methods, both qualitatively and quantitatively. We make the code and the pretrained models publicly available at: https://github.com/chi0tzp/WarpedGANSpace.


title: Degenerations of Bundle Moduli

abstract: Over a family $\mathbb X$ of genus $g$ complete curves, which gives the degeneration of a smooth curve into one with nodal singularities, we build a moduli space which is the moduli space of ${\rm SL}(n, \mathbb C)$ bundles over the generic smooth curve $X_t$ in the family, and is a moduli space of bundles equipped with extra structure at the nodes for the nodal curves in the family. This moduli space is a quotient by $(\mathbb C^*)^s$ of a moduli space on the desingularisation. Taking a "maximal" degeneration of the curve into a nodal curve built from the glueing of three-pointed spheres, we obtain a degeneration of the moduli space of bundles into a $(\mathbb C^*)^{(3g-3)(n-1)}$-quotient of a $(2g-2)$-th power of a space associated to the three-pointed sphere. Via the Narasimhan-Seshadri theorem, the moduli of bundles on the smooth curve is a space of representations of the fundamental group into ${\rm SU}(n)$ (the "symplectic picture"). We obtain the degenerations also in this symplectic context, in a way that is compatible with the holomorphic degeneration, so that our limit space is also a $(S^1)^{(3g-3)(n-1)}$ symplectic quotient of a $(2g-2)$-th power of a space associated to the three-pointed sphere.


title: Lyapunov-Net: A Deep Neural Network Architecture for Lyapunov Function Approximation

abstract: We develop a versatile deep neural network architecture, called Lyapunov-Net, to approximate Lyapunov functions of dynamical systems in high dimensions. Lyapunov-Net guarantees positive definiteness, and thus it can be easily trained to satisfy the negative orbital derivative condition, which only renders a single term in the empirical risk function in practice. This significantly reduces the number of hyper-parameters compared to existing methods. We also provide theoretical justifications on the approximation power of Lyapunov-Net and its complexity bounds. We demonstrate the efficiency of the proposed method on nonlinear dynamical systems involving up to 30-dimensional state spaces, and show that the proposed approach significantly outperforms the state-of-the-art methods.


title: IGAN: Inferent and Generative Adversarial Networks

abstract: I present IGAN (Inferent Generative Adversarial Networks), a neural architecture that learns both a generative and an inference model on a complex high dimensional data distribution, i.e. a bidirectional mapping between data samples and a simpler low-dimensional latent space. It extends the traditional GAN framework with inference by rewriting the adversarial strategy in both the image and the latent space with an entangled game between data-latent encoded posteriors and priors. It brings a measurable stability and convergence to the classical GAN scheme, while keeping its generative quality and remaining simple and frugal in order to run on a lab PC. IGAN fosters the encoded latents to span the full prior space: this enables the exploitation of an enlarged and self-organised latent space in an unsupervised manner. An analysis of previously published articles sets the theoretical ground for the proposed algorithm. A qualitative demonstration of potential applications like self-supervision or multi-modal data translation is given on common image datasets including SAR and optical imagery.


title: Graph Neural Network-based Resource Allocation Strategies for Multi-Object Spectroscopy

abstract: Resource allocation problems are often approached with linear programming techniques. But many concrete allocation problems in the experimental and observational sciences cannot or should not be expressed in the form of linear objective functions. Even if the objective is linear, its parameters may not be known beforehand because they depend on the results of the experiment for which the allocation is to be determined. To address these challenges, we present a bipartite Graph Neural Network architecture for trainable resource allocation strategies. Items of value and constraints form the two sets of graph nodes, which are connected by edges corresponding to possible allocations. The GNN is trained on simulations or past problem occurrences to maximize any user-supplied, scientifically motivated objective function, augmented by an infeasibility penalty. The amount of feasibility violation can be tuned in relation to any available slack in the system. We apply this method to optimize the astronomical target selection strategy for the highly multiplexed Subaru Prime Focus Spectrograph instrument, where it shows superior results to direct gradient descent optimization and extends the capabilities of the currently employed solver which uses linear objective functions. The development of this method enables fast adjustment and deployment of allocation strategies, statistical analyses of allocation patterns, and fully differentiable, science-driven solutions for resource allocation problems.


title: FastMimic: Model-based Motion Imitation for Agile, Diverse and Generalizable Quadrupedal Locomotion

abstract: Robots operating in human environments need various skills, like slow and fast walking, turning, side-stepping, and many more. However, building robot controllers that can exhibit such a large range of behaviors is a challenging problem that requires tedious investigation for every task. We present a unified model-based control algorithm for imitating different animal gaits without expensive simulation training or real-world fine-tuning. Our method consists of stance and swing leg controllers using a centroidal dynamics model augmented with online adaptation techniques. We also develop a whole-body trajectory optimization procedure to fix the kinematic infeasibility of the reference animal motions. We demonstrate that our universal data-driven model-based controller can seamlessly imitate various motor skills, including trotting, pacing, turning, and side-stepping. It also shows better tracking capabilities in simulation and the real world against several baselines, including another model-based imitation controller and a learning-based motion imitation technique.


title: Constraining anomalous Higgs boson couplings to virtual photons

abstract: We present a study of Higgs boson production in vector boson fusion and in association with a vector boson and its decay to two vector bosons, with a focus on the treatment of virtual loops and virtual photons. Our analysis is performed with the JHU generator framework. Comparisons are made to several other frameworks, and the results are expressed in terms of an effective field theory. New features of this study include a proposal on how to handle singularities involving Higgs boson decays to light fermions via photons, calculation of the partial Higgs boson width in the presence of anomalous couplings to photons, a comparison of the next-to-leading-order electroweak corrections to effects from effective couplings, and phenomenological observations regarding the special role of intermediate photons in analysis of LHC data in the effective field theory framework. Some of these features are illustrated with projections for experimental measurements with the full LHC and HL-LHC datasets.


title: Including relativistic and primordial Non-Gaussianity contributions in cosmological simulations by modifying the initial condition

abstract: We present a method to implement relativistic corrections to the evolution of dark matter structures in Newtonian simulations of a LCDM universe via the initial conditions. We take the nonlinear correspondence between the Lagrangian (Newtonian) evolution of dark matter inhomogeneities and the synchronous-comoving (relativistic) matter density description, and use it to promote the relativistic constraint as the initial condition for numerical simulations of structure formation. In this case, the incorporation of Primordial non-Gaussianity (PNG) contributions as initial conditions is straightforward. We implement the relativistic,fNL and gNLcontributions as initial conditions for the L-PICOLA code, and compute the power spectrum and bispectrum of the evolved matter field. We focus specifically on the case of largest values of non-Gaussianity allowed at 1-sigma by Planck observations(fNL=-4.2 and gNL=-7000). As a checkup, we show consistency with the one-loop perturbative prescription and with a fully relativistic simulation (GRAMSES) on the adequate scales. Our results confirm that both relativistic and PNG features are most prominent at very large scales and for squeezed triangulations. We discuss future prospects to probe these two contributions in the bispectrum of the matter density distribution


title: Polynomials that preserve nonnegative matrices of order two

abstract: A known characterization for entire functions that preserve all nonnegative matrices of order two is shown to characterize polynomials that preserve nonnegative matrices of order two. Equivalent conditions are derived and used to prove that $\mathscr{P}_3 \subset \mathscr{P}_2$, which was previously unknown. A new characterization is given for polynomials that preserve nonnegative circulant matrices of order two.


title: Probing the dispersive properties of optical fibers with an array of femtosecond-written fiber Bragg gratings

abstract: We propose an efficient method to determine the effective refractive index of step-index optical fibers from the visible to the mid-IR and thus allowing to infer their dispersive properties over a broad spectral range. The validity of the method, based on the writing of an array of fiber Bragg gratings (FBGs) with known periods using the fs scanning phase mask technique, is first confirmed with a standard silica fiber, then applied to various fluoride glass fibers to determine their effective refractive index and dispersion over more than three octaves, i.e. from 550 to 4800 nm.


title: A taxonomy of strategic human interactions in traffic conflicts

abstract: In order to enable autonomous vehicles (AV) to navigate busy traffic situations, in recent years there has been a focus on game-theoretic models for strategic behavior planning in AVs. However, a lack of common taxonomy impedes a broader understanding of the strategies the models generate as well as the development of safety specification to identity what strategies are safe for an AV to execute. Based on common patterns of interaction in traffic conflicts, we develop a taxonomy for strategic interactions along the dimensions of agents' initial response to right-of-way rules and subsequent response to other agents' behavior. Furthermore, we demonstrate a process of automatic mapping of strategies generated by a strategic planner to the categories in the taxonomy, and based on vehicle-vehicle and vehicle-pedestrian interaction simulation, we evaluate two popular solution concepts used in strategic planning in AVs, QLk and Subgame perfect $\epsilon$-Nash Equilibrium, with respect to those categories.


title: Estimating the causal effects of multiple intermittent treatments with application to COVID-19

abstract: To draw real-world evidence about the comparative effectiveness of multiple time-varying treatments on patient survival, we develop a joint marginal structural survival model and a novel weighting strategy to account for time-varying confounding and censoring. Our methods formulate complex longitudinal treatments with multiple start/stop switches as the recurrent events with discontinuous intervals of treatment eligibility. We derive the weights in continuous time to handle a complex longitudinal dataset without the need to discretize or artificially align the measurement times. We further use machine learning models designed for censored survival data with time-varying covariates and the kernel function estimator of the baseline intensity to efficiently estimate the continuous-time weights. Our simulations demonstrate that the proposed methods provide better bias reduction and nominal coverage probability when analyzing observational longitudinal survival data with irregularly spaced time intervals, compared to conventional methods that require aligned measurement time points. We apply the proposed methods to a large-scale COVID-19 dataset to estimate the causal effects of several COVID-19 treatments on the composite of in-hospital mortality and ICU admission.


title: Instability results for transonic flows past airfoils

abstract: In this short note we present an instability result for transonic flows with respect to perturbations of the Mach number at infinity. More specifically we show that a perturbation of a transonic solution in the context of a Cauchy problem for the 2-dimensional steady, isentropic and irrotational Euler equations, which is a solution that solves an elliptic equation in certain parts of its domain and a hyperbolic equation in other parts, can only take place in the analytic category if the elliptic part of the domain is affected.


title: Sharp Pointwise Weyl Laws for Schr\"odinger Operators with Singular Potentials on Flat Tori

abstract: The Weyl law of the Laplacian on the flat torus $\mathbb{T}^n$ is concerning the number of eigenvalues $\le\lambda^2$, which is equivalent to counting the lattice points inside the ball of radius $\lambda$ in $\mathbb{R}^n$. The leading term in the Weyl law is $c_n\lambda^n$, while the sharp error term $O(\lambda^{n-2})$ is only known in dimension $n\ge5$. Determining the sharp error term in lower dimensions is a famous open problem (e.g. Gauss circle problem). In this paper, we show that under a type of singular perturbations one can obtain the pointwise Weyl law with a sharp error term in any dimensions. Moreover, this result verifies the sharpness of the general theorems for the Schr\"odinger operators $H_V=-\Delta_{g}+V$ in the previous work of the authors, and extends the 3-dimensional results of Frank-Sabin to any dimensions.


title: Exploring the Effects of Active Magnetic Drag in a GCM of the Ultra-Hot Jupiter WASP-76b

abstract: Ultra-hot Jupiters represent an exciting avenue for testing extreme physics and observing atmospheric circulation regimes not found in our solar system. Their high temperatures result in thermally ionized particles embedded in atmospheric winds interacting with the planet's interior magnetic field by generating current and experiencing bulk Lorentz force drag. Previous treatments of magnetic drag in 3D General Circulation Models (GCMs) of ultra-hot Jupiters have mostly been uniform drag timescales applied evenly throughout the planet, which neglects the strong spatial dependence of these magnetic effects. In this work, we apply our locally calculated active magnetic drag treatment in a GCM of the planet WASP-76b. We find the effects of this treatment to be most pronounced in the planet's upper atmosphere, where strong differences between the day and night side circulation are present. These circulation effects alter the resulting phase curves by reducing the hotspot offset and increasing the day-night flux contrast. We compare our models to Spitzer phase curves which imply a magnetic field of at least 3 G for the planet. We additionally contrast our results to uniform drag timescale models. This work highlights the need for more careful treatment of magnetic effects in atmospheric models of hot gas giants.


title: Critical Coupling for Two-dimensional $\phi^4$ Theory in Discretized Light-Cone Quantization

abstract: We solve for the critical coupling in the symmetric phase of two-dimensional $\phi^4$ field theory using Discretized Light-Cone Quantization. We adopt periodic boundary conditions, neglect the zero mode, and obtain a critical coupling consistent with the critical coupling reported using conformal truncation in light-front quantization. We find a 17% dfference from the critical coupling reported with light-front quantization in a symmetric polynomial basis.


title: Trustworthy AI and Robotics and the Implications for the AEC Industry: A Systematic Literature Review and Future Potentials

abstract: Human-technology interaction deals with trust as an inevitable requirement for user acceptance. As the applications of artificial intelligence (AI) and robotics emerge and with their ever-growing socio-economic influence in various fields of research and practice, there is an imminent need to study trust in such systems. With the opaque work mechanism of AI-based systems and the prospect of intelligent robots as workers' companions, context-specific interdisciplinary studies on trust are key in increasing their adoption. Through a thorough systematic literature review on (1) trust in AI and robotics (AIR) and (2) AIR applications in the architecture, engineering, and construction (AEC) industry, this study identifies common trust dimensions in the literature and uses them to organize the paper. Furthermore, the connections of the identified dimensions to the existing and potential AEC applications are determined and discussed. Finally, major future directions on trustworthy AI and robotics in AEC research and practice are outlined.


title: Variance partitioning in spatio-temporal disease mapping models

abstract: Bayesian disease mapping, yet if undeniably useful to describe variation in risk over time and space, comes with the hurdle of prior elicitation on hard-to-interpret random effect precision parameters. We introduce a reparametrized version of the popular spatio-temporal interaction models, based on Kronecker product intrinsic Gaussian Markov Random Fields, that we name the variance partitioning (VP) model. The VP model includes a mixing parameter that balances the contribution of the main and interaction effects to the total (generalized) variance and enhances interpretability. The use of a penalized complexity prior on the mixing parameter aids in coding prior information in a intuitive way. We illustrate the advantages of the VP model using two case studies.


title: Automated Estimation of Construction Equipment Emission using Inertial Sensors and Machine Learning Models

abstract: The construction industry is one of the main producers of greenhouse gasses (GHG). Quantifying the amount of air pollutants including GHG emissions during a construction project has become an additional project objective to traditional metrics such as time, cost, and safety in many parts of the world. A major contributor to air pollution during construction is the use of heavy equipment and thus their efficient operation and management can substantially reduce the harm to the environment. Although the on-road vehicle emission prediction is a widely researched topic, construction equipment emission measurement and reduction have received very little attention. This paper describes the development and deployment of a novel framework that uses machine learning (ML) methods to predict the level of emissions from heavy construction equipment monitored via an Internet of Things (IoT) system comprised of accelerometer and gyroscope sensors. The developed framework was validated using an excavator performing real-world construction work. A portable emission measurement system (PEMS) was employed along with the inertial sensors to record data including the amount of CO, NOX, CO2, SO2, and CH4 pollutions emitted by the equipment. Different ML algorithms were developed and compared to identify the best model to predict emission levels from inertial sensors data. The results showed that Random Forest with the coefficient of determination (R2) of 0.94, 0.91 and 0.94 for CO, NOX, CO2, respectively was the best algorithm among different models evaluated in this study.


title: Counting colorings of triangle-free graphs

abstract: By a theorem of Johansson, every triangle-free graph $G$ of maximum degree $\Delta$ has chromatic number at most $(C+o(1))\Delta/\log \Delta$ for some universal constant $C > 0$. Using the entropy compression method, Molloy proved that one can in fact take $C = 1$. Here we show that for every $q \geq (1 + o(1))\Delta/\log \Delta$, the number $c(G,q)$ of proper $q$-colorings of $G$ satisfies $c(G, q) \,\geq\, \left(1 - \frac{1}{q}\right)^m ((1-o(1))q)^n$, where $n = |V(G)|$ and $m = |E(G)|$. Except for the $o(1)$ term, this lower bound is best possible as witnessed by random $\Delta$-regular graphs. When $q = (1 + o(1)) \Delta/\log \Delta$, our result yields the inequality $c(G,q) \,\geq\, \exp\left((1 - o(1)) \frac{\log \Delta}{2} n\right)$, which improves an earlier bound of Iliopoulos and yields the optimal value for the constant factor in the exponent. Furthermore, this result implies the optimal lower bound on the number of independent sets in $G$ due to Davies, Jenssen, Perkins, and Roberts. An important ingredient in our proof is the counting method that was recently developed by Rosenfeld. As a byproduct, we obtain an alternative proof of Molloy's bound $\chi(G) \leq (1 + o(1))\Delta/\log \Delta$ using Rosenfeld's method in place of entropy compression (other proofs of Molloy's theorem using Rosenfeld's technique were given independently by Hurley and Pirot and Martinsson).


title: Model-Free Reinforcement Learning for Optimal Control of MarkovDecision Processes Under Signal Temporal Logic Specifications

abstract: We present a model-free reinforcement learning algorithm to find an optimal policy for a finite-horizon Markov decision process while guaranteeing a desired lower bound on the probability of satisfying a signal temporal logic (STL) specification. We propose a method to effectively augment the MDP state space to capture the required state history and express the STL objective as a reachability objective. The planning problem can then be formulated as a finite-horizon constrained Markov decision process (CMDP). For a general finite horizon CMDP problem with unknown transition probability, we develop a reinforcement learning scheme that can leverage any model-free RL algorithm to provide an approximately optimal policy out of the general space of non-stationary randomized policies. We illustrate the effectiveness of our approach in the context of robotic motion planning for complex missions under uncertainty and performance objectives.


title: Imprints of the cosmic void evolution on the baryon processes inside galaxy haloes

abstract: Cosmic voids provide a unique environment to study galaxy formation and evolution. In this paper, we analyse a set of hydrodynamic zoom-in simulations of voids, to analyse in detail their inner structures. These voids were identified in a cosmological simulation and classified according to their surrounding dynamics at very large scales: whether they are in expansion or contraction at their outskirts. We study how these environments and the dynamics of voids impact the baryonic processes inside haloes and their mechanisms of formation and evolution. We find an under-abundance of processed gas within the voids that can be associated with the lack of massive haloes. By studying the dynamical phase-space diagram of haloes and the halo-particle correlation function, we find that haloes inside of contracting voids are slightly affected by the presence of bigger structures, in comparison to haloes in the inner regions of expanding voids. Consistent signals are obtained both when using dark matter and gas particles. We show that the halo assembly depends on the void dynamical state: haloes in expanding voids assemble slowly than those in contracting voids and in the general universe. This difference in the assembly impacts the baryonic evolution of haloes. Overall the redshift range analysed, haloes in voids have less baryon content than haloes in the general universe and particularly at z = 0 less stellar content. Our results suggest that the large scale void environment modulate the baryonic process occurring inside haloes according to the void dynamical state.


title: Canonical forms for boundary conditions of self-adjoint differential operators

abstract: Canonical forms of boundary conditions are important in the study of the eigenvalues of boundary conditions and their numerical computations. The known canonical forms for self-adjoint differential operators, with eigenvalue parameter dependent boundary conditions, are limited to 4-th order differential operators. We derive canonical forms for self-adjoint 2n-th order differential operators with eigenvalue parameter dependent boundary conditions. We compare the 4-th order canonical forms to the canonical forms derived in this article.


title: Sensitivity of Coupled Cluster Electronic Properties on the Reference Determinant: Can Kohn-Sham Orbitals Be More Beneficial than Hartree-Fock Orbitals?

abstract: Coupled cluster calculations are traditionally performed over Hartree-Fock reference orbitals (HF-CC methodology). However, it has been repeatedly argued in the literature that the use of a Kohn-Sham reference (KS-CC methodology) might result in improved performance relative to HF-CC at the same computational cost. In the present theoretical study, we re-examine the relation of HF-CC and KS-CC methods by comparing the results of widely applied truncated CC calculations (CCSD, CCSD(T), CCSDT) to the limit of full configuration interaction (FCI), which in contrast to wave-function diagnostics with vague physical meaning or experimental data with considerable uncertainty serves as an undebatable reference point of accuracy. We find that apart from incidental exceptions, the Kohn-Sham referenced CC methods show systematic deterioration compared to HF-CC, that is, the KS-CC molecular properties (electronic energy and density) are always farther from the FCI limit than those obtained from HF-CC at the same coupled cluster level. Furthermore, the introduction of common approximations (frozen core, density fitting) to the CC calculation results in significantly higher errors in the case of KS reference. We conclude that the use of KS reference orbitals is not expected to increase the reliability of low-level CC energetics. Nevertheless, molecular errors from the components of the studied chemical reaction might fortunately cancel out resulting in illusory improvement compared to HF-CC. It is also notable that the choice of reference orbitals has negligible influence on the results at sufficiently high CC levels which can be estimated by test calculations or by the magnitude of double amplitudes. Therefore, the application of KS-CC is not unreasonable as it might bypass the difficulties of HF convergence.


title: Dynamical Symmetry and the Thermofield State at Large $N$

abstract: We discus Thermofield Double QFT at real time, in the large $N$ limit. First, we establish a (dynamical) symmetry which we argue holds in general on the real time portion of the Schwinger-Kelydish contour. At large $N$ this symmetry is seen to generate a one parameter degeneracy of stationary collective solutions. The construction is explicitly worked out on the example of $O(N)$ vector QFT. As a nontrivial application we describe construction of the corresponding (large $N$) Thermofield Double State in real time collective formalism.


title: Bimanual Telemanipulation with Force and Haptic Feedback and Predictive Limit Avoidance

abstract: Robotic teleoperation is a key technology for a wide variety of applications. It allows sending robots instead of humans in remote, possibly dangerous locations while still using the human brain with its enormous knowledge and creativity, especially for solving unexpected problems. A main challenge in teleoperation consists of providing enough feedback to the human operator for situation awareness and thus create full immersion, as well as offering the operator suitable control interfaces to achieve efficient and robust task fulfillment. We present a bimanual telemanipulation system consisting of an anthropomorphic avatar robot and an operator station providing force and haptic feedback to the human operator. The avatar arms are controlled in Cartesian space with a 1:1 mapping of the operator movements. The measured forces and torques on the avatar side are haptically displayed directly to the operator. We developed a predictive avatar model for limit avoidance which runs on the operator side, ensuring low latency. Only off-the-shelf components were used to build the system. It is evaluated in lab experiments and by untrained operators in a small user study.


title: Varieties of general type with doubly exponential asymptotics

abstract: We construct smooth projective varieties of general type with the smallest known volume and others with the most known vanishing plurigenera in high dimensions. The optimal volume bound is expected to decay doubly exponentially with dimension, and our examples achieve this decay rate. We also consider the analogous questions for other types of varieties. For example, in every dimension we conjecture the terminal Fano variety of minimal volume, and the canonical Calabi-Yau variety of minimal volume. In each case, our examples exhibit doubly exponential behavior.


title: Comparison of Anomalous and Galactic Cosmic Ray Oxygen at 1 au during 1997-2020

abstract: Using quiet-time measurements of element oxygen within the energy range 7.3--237.9 MeV nuc$^{-1}$ from the ACE spacecraft at 1 au, we compare the energy spectra and intensities of anomalous and Galactic cosmic rays (ACRs and GCRs, respectively) during 1997--2020. Our analysis shows that the transition from ACR-dominated spectrum to GCR-dominated spectrum occurs at energies $\sim$15 to $\sim$35 MeV nuc$^{-1}$, and the transition energy $E_t$ is found to be well anticorrelated with varying solar activity. This is the first study of ACR-GCR transition energy dependence on the solar cycle variation. At energies below $E_t$, the index of the power-law ACR-dominated spectrum ($\gamma_1$) ranges from -2.0 to -0.5, whereas the GCR-dominated spectrum has a power-law index ($\gamma_2$) changing from 0.3 to 0.8 at energies ranging from $E_t$ to 237.9 MeV nuc$^{-1}$. Both $\gamma_1$ and $\gamma_2$ are positively correlated with solar activity. In addition, during the solar cycle 24/25 minimum period, the peak GCR intensity observed by ACE spacecraft is about 8\% above its 2009 value, setting a new record since the space age, while the peak ACR intensity is almost similar to that of the previous two solar cycles with the same pattern of solar magnetic polarity, indicating a different modulation mechanism between ACRs and GCRs.


title: A Sharp Inequality on the Exponentiation of Functions on the Sphere

abstract: In this paper we show a new inequality which generalizes to the unit sphere the Lebedev-Milin inequality of the exponentiation of functions on the unit circle. It may also be regarded as the counterpart on the sphere of the second inequality in the Szeg\"o limit theorem on the Toeplitz determinants on the circle. On the other hand, this inequality is also a variant of several classical inequalities of Moser-Trudinger type on the sphere. The inequality incorporates the deviation of the center of mass from the origin into the optimal inequality of Aubin for functions with mass centered at the origin, and improves Onofri's inequality with the contribution of the shifting of the mass center explicitly expressed.


title: Vacuum replicas in field-theory models of Coulomb QCD

abstract: Dynamical symmetry breaking can happen through a Higgs mechanism but also spontaneously within a strongly-enough coupled theory. We treat a field-theoretical quark model of QCD based on a linear+Coulomb Cornell potential (to account for the longitudinal interaction), together with a transverse interaction (to account for Coulomb-gauge gluons) in BCS approximation. After extracting the well-known BCS ground state on which abundant hadron phenomenology implementing dynamical chiral symmetry breaking has been built, we find two excited replica vacuumlike states shown in figure 1. At the BCS level they are classically unstable, but second quantization blocks transitions between them in volumes much larger than a hadron size. Mesons built over the replica vacua have relative masses similar to normal mesons on the ordinary vacuum; we find no negative-mass mode, confirming their stability found earlier with a harmonic oscillator potential.


title: General relativistic effects on pulsar radiation

abstract: The magnetosphere of, and electromagnetic (EM) radiation from pulsars are usually described in the framework of classical electrodynamics. For some pulsars, however, whose emission heights are relatively close to the surface of the neutron star, general relativistic effects might modify the emission from the pulsar. We consider a magnetic dipole model of a pulsar to investigate general relativistic effects on EM radiation from it. Our study includes general relativistic modifications applicable to some significant issues in pulsar astronomy, such as the magnetosphere structure and pulse profiles. We implement computation of the magnetic field in the pulsar magnetosphere from a solution to Maxwell's equations defined in the strongly curved spacetime around a pulsar and find that the field exhibits a strong gravitational effect. The effect modifies curvature radiation of a pulsar, which then leads to modifications of the pulse profiles of radio emission. We take the pulsar PSR J1828-1101 as an example and work out Stokes parameters to simulate the pulse profiles for its main and interpulse emissions theoretically, which exhibit the gravitational effects clearly; however, their testability is beyond the current detection capabilities, with the absolute magnitude of the pulse profiles not being precisely predictable.


title: Go-Blend behavior and affect

abstract: This paper proposes a paradigm shift for affective computing by viewing the affect modeling task as a reinforcement learning process. According to our proposed framework the context (environment) and the actions of an agent define the common representation that interweaves behavior and affect. To realise this framework we build on recent advances in reinforcement learning and use a modified version of the Go-Explore algorithm which has showcased supreme performance in hard exploration tasks. In this initial study, we test our framework in an arcade game by training Go-Explore agents to both play optimally and attempt to mimic human demonstrations of arousal. We vary the degree of importance between optimal play and arousal imitation and create agents that can effectively display a palette of affect and behavioral patterns. Our Go-Explore implementation not only introduces a new paradigm for affect modeling; it empowers believable AI-based game testing by providing agents that can blend and express a multitude of behavioral and affective patterns.