title: Nature of supersonic turbulence and density distribution function in the multiphase interstellar medium

abstract: Supersonic flows in the interstellar medium (ISM) are believed to be a key driver of the molecular cloud formation and evolution. Among molecular clouds' properties, the ratio between the solenoidal and compressive modes of turbulence plays important roles in determining the star formation efficiency. We use numerical simulations of supersonic converging flows of the warm neutral medium (WNM) resolving the thermal instability to calculate the early phase of molecular cloud formation, and investigate the turbulence structure and the density probability distribution function (density PDF) of the multiphase ISM. We find that both the solenoidal and compressive modes have their power spectrum similar to the Kolmogorov spectrum. The solenoidal (compressive) modes account for >~80% (<~20%) of the total turbulence power. When we consider both the cold neutral medium (CNM) and the thermally unstable neutral medium (UNM) up to T <~ 400 K, the density PDF follows the log-normal distribution whose width sigma_s is well explained by the known relation from the isothermal turbulence as sigma_s = ln(1 + b^2 * M^2) (where b is the parameter representing the turbulence mode ratio and M is the turbulent Mach number). The density PDF of the CNM component alone (T <= 50 K), however, exhibits a narrower sigma_s by a factor of ~ 2. These results suggest that observational estimations of b based on the CNM density PDF requires the internal turbulence within each CNM clump but not the inter-clump relative velocity, the latter of which is instead powered by the WNM/UNM turbulence.


title: Quasi-local energy and microcanonical entropy in two-dimensional nearly de Sitter gravity

abstract: We study the semi-classical thermodynamics of two-dimensional de Sitter space ($\text{dS}_{2}$) in Jackiw-Teitelboim (JT) gravity coupled to conformal matter. We extend the quasi-local formalism of Brown and York to $\text{dS}_{2}$, where a timelike boundary is introduced in the static patch to uniquely define conserved charges, including quasi-local energy. The boundary divides the static patch into two systems, a cosmological system and a black hole system, the former being unstable under thermal fluctuations while the latter is stable. A semi-classical quasi-local first law is derived, where the Gibbons--Hawking entropy is replaced by the generalized entropy. In the microcanonical ensemble the generalized entropy is stationary. Further, we show the on-shell Euclidean microcanonical action of a causal diamond in semi-classical JT gravity equals minus the generalized entropy of the diamond, hence extremization of the entropy follows from minimizing the action. Thus, we provide a first principles derivation of the island rule for $U(1)$ symmetric $\text{dS}_{2}$ backgrounds, without invoking the replica trick. We discuss the implications of our findings for static patch de Sitter holography.


title: Simulating continuous symmetry models with discrete ones

abstract: Especially in one dimension, models with discrete and continuous symmetries display different physical properties, starting from the existence of long-range order. In this work, we that, by adding topological frustration, an antiferromagnetic $XYZ$ spin chain, characterized by a discrete local symmetry, develops a region in parameter space which mimics the features of models with continuous symmetries. For instance, frustration closes the mass gap and we describe a continuous crossover between ground states with different quantum numbers, a finite (Fermi) momentum for low energy states, and the disappearance of the finite order parameter. Moreover, we observe non-trivial ground state degeneracies, non-vanishing chirality and a singular foliation of the ground state fidelity . Across the boundary between this chiral region and the rest of the phase diagram any discontinuity in the energy derivatives vanishes in the thermodynamic limit.


title: Isotope dependence of muon-to-electron conversion

abstract: The lepton-flavor-violating conversion of a muon into an electron in the field of a nucleus is one of the most sensitive probes of physics beyond the Standard Model and the experiments Mu2e, COMET, and DeeMe will explore uncharted terrain in the near future. An observation of this $\mu^-\to e^-$ conversion process opens up the possibility to distinguish the underlying operator or new-physics model by exploiting the target-nucleus dependence of the conversion rate. To facilitate the choice of optimal targets we provide $\mu^-\to e^-$ conversion rates for all stable isotopes and estimate nuclear-structure uncertainties. Our results enable studies of mixed or enriched target materials that are particularly promising for distinguishing scenarios in which the muon converts either on protons or neutrons.


title: Simulation Paths for Quantum Circuit Simulation with Decision Diagrams

abstract: Simulating quantum circuits on classical computers is a notoriously hard, yet increasingly important task for the development and testing of quantum algorithms. In order to alleviate this inherent complexity, efficient data structures and methods such as tensor networks and decision diagrams have been proposed. However, their efficiency heavily depends on the order in which the individual computations are performed. For tensor networks the order is defined by so-called contraction plans and a plethora of methods has been developed to determine suitable plans. On the other hand, simulation based on decision diagrams is mostly conducted in a straight-forward, i.e., sequential, fashion thus far. In this work, we study the importance of the path that is chosen when simulating quantum circuits using decision diagrams and show, conceptually and experimentally, that choosing the right simulation path can make a vast difference in the efficiency of classical simulations using decision diagrams. We propose an open-source framework (available at github.com/cda-tum/ddsim) that not only allows to investigate dedicated simulation paths, but also to re-use existing findings, e.g., obtained from determining contraction plans for tensor networks. Experimental evaluations show that translating strategies from the domain of tensor networks may yield speedups of several factors compared to the state of the art. Furthermore, we design a dedicated simulation path heuristic that allows to improve the performance even further -- frequently yielding speedups of several orders of magnitude. Finally, we provide an extensive discussion on what can be learned from tensor networks and what cannot.


title: The Kohnen-Zagier formula for Maass forms for $\Gamma_0(4)$

abstract: We extend a formula of Duke, Imam\=oglu, and T\'oth (which itself is a generalization of the Katok-Sarnak formula) to prove the Kohnen-Zagier formula for Maass forms for $\Gamma_0(4)$.


title: The Complete Picard Vessiot Closure

abstract: Let F be a differential field with field of constants C. We assume C to be algebraically closed and of characteristic 0. The complete Picard--Vessiot closure of F is a differential field extension of F with the same constants C as F, which has no Picard--Vessiot extensions, and is minimal over F with these properties. There is a correspondence between subfields of the complete Picard--Vessiot closure and subgroups of its differential automorphism group, which arises because the complete Picard--Vessiot closure comes from F via repeated Picard--Vessiot extensions. This correspondence also obtains for certain normal subfields of the complete Picard--Vessiot closure, fields which can be characterized independently of their embedding in the complete Picard--Vessiot closure.


title: Composable security for continuous variable quantum key distribution: Trust levels and practical key rates in wired and wireless networks

abstract: Continuous variable (CV) quantum key distribution (QKD) provides a powerful setting for secure quantum communications, thanks to the use of room-temperature off-the-shelf optical devices and the potential to reach much higher rates than the standard discrete-variable counterpart. In this work, we provide a general framework for studying the composable finite-size security of CV-QKD with Gaussian-modulated coherent-state protocols under various levels of trust for the loss and noise experienced by the parties. Our study considers both wired (i.e., fiber-based) and wireless (i.e., free-space) quantum communications. In the latter case, we show that high key rates are achievable for short-range optical wireless (LiFi) in secure quantum networks with both fixed and mobile devices. Finally, we extend our investigation to microwave wireless (WiFi) discussing security and feasibility of CV-QKD for very short-range applications.


title: Advanced Methods for Connectome-Based Predictive Modeling of Human Intelligence: A Novel Approach Based on Individual Differences in Cortical Topography

abstract: Individual differences in human intelligence can be modeled and predicted from in vivo neurobiological connectivity. Many established modeling frameworks for predicting intelligence, however, discard higher-order information about individual differences in brain network topology, and show only moderate performance when generalized to make predictions in out-of-sample subjects. In this paper, we propose that connectome-based predictive modeling, a common predictive modeling framework for neuroscience data, can be productively modified to incorporate information about brain network topology and individual differences via the incorporation of bagged decision trees and the network based statistic. These modifications produce a novel predictive modeling framework that leverages individual differences in cortical tractography to generate accurate regression predictions of intelligence scores. Network topology-based feature selection provides for natively interpretable networks as input features, increasing the model's explainability. Investigating the proposed modeling framework's efficacy, we find that advanced connectome-based predictive modeling generates neuroscience predictions that account for a significantly greater proportion of variance in general intelligence scores than previously established methods, advancing our scientific understanding of the network architecture that underlies human intelligence.


title: Ion Acceleration at Magnetotail Plasma Jets

abstract: We investigate a series of Earthward bursty bulk flows (BBFs) observed by the Magnetospheric Multiscale (MMS) spacecraft in Earth's magnetotail at (-24, 7, 4) RE in Geocentric Solar Magnetospheric (GSM) coordinates. At the leading edges of the BBFs, we observe complex magnetic field structures. In particular, we focus on one which presents a chain of small scale (~0.5 RE) dipolarizations, and another with a large scale (~3.5 RE) dipolarization. Although the two structures have different scales, both of these structures are associated with flux increases of supra-thermal ions with energies > 100 keV. We investigate the ion acceleration mechanism and its dependence on the mass and charge state. We show that the ions with gyroradii smaller than the scale of the structure are accelerated by the ion bulk flow. We show that whereas in the small scale structure, ions with gyroradii comparable with the scale of the structure undergo resonance acceleration, and the acceleration in the larger scale structure is more likely due to a spatially limited electric field.


title: Radial perturbations of scalar-Gauss-Bonnet black holes beyond spontaneous scalarization

abstract: Spontaneous scalarization of black holes in scalar-Gauss-Bonnet (sGB) gravity is a very interesting phenomenon allowing black holes to circumvent the no-hair theorem and acquire scalar hair while leaving the weak field regime of the theory practically unaltered. It was recently shown that if we allow for a different form of the coupling between the scalar field and the Gauss-Bonnet invariant, a new type of scalarization is possible beyond the standard one that can be excited only nonlinearly. In this case the spectrum of black hole solutions can be more complicated, naturally opening the question about their stability. The goal of the present paper is to study this question including the possible loss of hyperbolicity of the radial perturbation equation. We show that one of the nonlinearly scalarized phases of the Schwarzschild black hole can be stable and hyperbolic for large enough black hole masses. These results establish the studied hairy black holes as viable astrophysical candidates.


title: Understanding Effects of Algorithmic vs. Community Label on Perceived Accuracy of Hyper-partisan Misinformation

abstract: Hyper-partisan misinformation has become a major public concern. In order to examine what type of misinformation label can mitigate hyper-partisan misinformation sharing on social media, we conducted a 4 (label type: algorithm, community, third-party fact-checker, and no label) X 2 (post ideology: liberal vs. conservative) between-subjects online experiment (N = 1,677) in the context of COVID-19 health information. The results suggest that for liberal users, all labels reduced the perceived accuracy and believability of fake posts regardless of the posts' ideology. In contrast, for conservative users, the efficacy of the labels depended on whether the posts were ideologically consistent: algorithmic labels were more effective in reducing the perceived accuracy and believability of fake conservative posts compared to community labels, whereas all labels were effective in reducing their belief in liberal posts. Our results shed light on the differing effects of various misinformation labels dependent on people's political ideology.


title: A fast continuous time approach with time scaling for nonsmooth convex optimization

abstract: In a Hilbert setting we study the convergence properties of a second order in time dynamical system combining viscous and Hessian-driven damping with time scaling in relation with the minimization of a nonsmooth and convex function. The system is formulated in terms of the gradient of the Moreau envelope of the objective function with time-dependent parameter. We show fast convergence rates for the Moreau envelope and its gradient along the trajectory, and also for the velocity of the system. From here we derive fast convergence rates for the objective function along a path which is the image of the trajectory of the system through the proximal operator of the first. Moreover, we prove the weak convergence of the trajectory of the system to a global minimizer of the objective function. Finally, we provide multiple numerical examples which illustrate the theoretical results.


title: SUPER Scheme in Action: Experimental Demonstration of Red-detuned Excitation of a Quantum Dot

abstract: The quest for the perfect single-photon source includes finding the optimal protocol for exciting the quantum emitter. Based on a recently proposed, so-called SUPER (swing-up of quantum emitter population) scheme, we demonstrate experimentally that two red-detuned laser pulses, neither of which could yield a significant upper-level population individually, lead to the coherent excitation of a semiconductor quantum dot. We characterize the emitted single photons and show that they have properties comparable to those achieved under resonant excitation schemes.


title: Determining Research Priorities for Astronomy Using Machine Learning

abstract: We summarize the first exploratory investigation into whether Machine Learning techniques can augment science strategic planning. We find that an approach based on Latent Dirichlet Allocation using abstracts drawn from high impact astronomy journals may provide a leading indicator of future interest in a research topic. We show two topic metrics that correlate well with the high-priority research areas identified by the 2010 National Academies' Astronomy and Astrophysics Decadal Survey science frontier panels. One metric is based on a sum of the fractional contribution to each topic by all scientific papers ("counts") while the other is the Compound Annual Growth Rate of these counts. These same metrics also show the same degree of correlation with the whitepapers submitted to the same Decadal Survey. Our results suggest that the Decadal Survey may under-emphasize fast growing research. A preliminary version of our work was presented by Thronson et al. 2021.


title: Subspace-Based Pilot Decontamination in User-Centric Scalable Cell-Free Wireless Networks

abstract: We consider a cell-free wireless system operated in Time Division Duplex (TDD) mode with user-centric clusters of remote radio units (RUs). Since the uplink pilot dimensions per channel coherence slot is limited, co-pilot users might incur mutual pilot contamination. In the current literature, it is assumed that the long-term statistical knowledge of all user channels is available. This enables Minimum Mean-Square Error channel estimation or simplified dominant subspace projection, which achieves significant pilot decontamination under certain assumptions on the channel covariance matrices. However, estimating the channel covariance matrix or even just its dominant subspace at all RUs forming a user cluster is not an easy task. In fact, if not properly designed, a piloting scheme for such long-term statistics estimation will also be subject to the contamination problem. In this paper, we propose a new channel subspace estimation scheme explicitly designed for cell-free wireless networks. Our scheme is based on 1) a sounding reference signal (SRS) using latin squares wideband frequency hopping, and 2) a subspace estimation method based on robust Principal Component Analysis (R-PCA). The SRS hopping scheme ensures that for any user and any RU participating in its cluster, only a few pilot measurements will contain strong co-pilot interference. These few heavily contaminated measurements are (implicitly) eliminated by R-PCA, which is designed to regularize the estimation and discount the ``outlier'' measurements. Our simulation results show that the proposed scheme achieves almost perfect subspace knowledge, which in turns yields system performance very close to that with ideal channel state information, thus essentially solving the problem of pilot contamination in cell-free user-centric TDD wireless networks.


title: Learning Robust Real-Time Cultural Transmission without Human Data

abstract: Cultural transmission is the domain-general social skill that allows agents to acquire and use information from each other in real-time with high fidelity and recall. In humans, it is the inheritance process that powers cumulative cultural evolution, expanding our skills, tools and knowledge across generations. We provide a method for generating zero-shot, high recall cultural transmission in artificially intelligent agents. Our agents succeed at real-time cultural transmission from humans in novel contexts without using any pre-collected human data. We identify a surprisingly simple set of ingredients sufficient for generating cultural transmission and develop an evaluation methodology for rigorously assessing it. This paves the way for cultural evolution as an algorithm for developing artificial general intelligence.


title: Computing Bounds on $L_{\infty}$-induced Norm for Linear Time-Invariant Systems Using Homogeneous Lyapunov Functions

abstract: Quadratic Lyapunov function has been widely used in the analysis of linear time invariant (LTI) systems ever since it has shown that the existence of such quadratic Lyapunov function certifies the stability of the LTI system. In this work, the problem of finding upper and lower bounds for the $L_{\infty}$-induced norm of the LTI system is considered. Quadratic Lyapunov functions are used to find the star norm, the best upper on the $L_{\infty}$-induced norm, by bounding the unit peak input reachable sets by inescapable ellipsoids. Instead, a more general class of homogeneous Lyapunov functions is used to get less conservative upper bounds on the $L_{\infty}$-induced norm and better conservative approximations for the reachable sets than those obtained using standard quadratic Lyapunov functions. The homogeneous Lyapunov function for the LTI system is considered to be a quadratic Lyapunov function for a higher-order system obtained by Lifting the LTI system via Kronecker product. Different examples are provided to show the significant improvements on the bounds obtained by using Homogeneous Lyapunov functions.


title: Twisted hybrid algorithms for combinatorial optimization

abstract: Proposed hybrid algorithms encode a combinatorial cost function into a problem Hamiltonian and optimize its energy by varying over a set of states with low circuit complexity. Classical processing is typically only used for the choice of variational parameters following gradient descent. As a consequence, these approaches are limited by the descriptive power of the associated states. We argue that for certain combinatorial optimization problems, such algorithms can be hybridized further, thus harnessing the power of efficient non-local classical processing. Specifically, we consider combining a quantum variational ansatz with a greedy classical post-processing procedure for the MaxCut-problem on $3$-regular graphs. We show that the average cut-size produced by this method can be quantified in terms of the energy of a modified problem Hamiltonian. This motivates the consideration of an improved algorithm which variationally optimizes the energy of the modified Hamiltonian. We call this a twisted hybrid algorithm since the additional classical processing step is combined with a different choice of variational parameters. We exemplify the viability of this method using the quantum approximate optimization algorithm (QAOA), giving analytic lower bounds on the expected approximation ratios achieved by twisted QAOA. These show that the necessary non-locality of the quantum ansatz can be reduced compared to the original QAOA: We find that for levels $p=2,\ldots, 6$, the level $p$ can be reduced by one while roughly maintaining the expected approximation ratio. This reduces the circuit depth by $4$ and the number of variational parameters by $2$.


title: Isoperimetric problem for the first curl eigenvalue

abstract: We consider an isoperimetric problem involving the smallest positive and largest negative curl eigenvalues on abstract ambient manifolds, with a focus on the standard model spaces. We in particular show that the corresponding eigenvalues on optimal domains, assuming optimal domains exist, must be simple in the Euclidean and hyperbolic setting. This generalises a recent result by Enciso and Peralta-Salas who showed the simplicity for axisymmetric optimal domains with connected boundary in Euclidean space. We then generalise another recent result by Enciso and Peralta-Salas, namely that the points of any rotationally symmetric optimal domain with connected boundary in Euclidean space which are closest to the symmetry axis must disconnect the boundary, to the hyperbolic setting, as well as strengthen it in the Euclidean case by getting rid of the connected boundary assumption. Lastly, we show how a second variation inequality related to the isoperimetric problem may be used in order to relate the existence of Killing-Beltrami fields to the geometry of the ambient space.


title: CHEMOUT: CHEMical complexity in star-forming regions of the OUTer Galaxy. I. Organic molecules and tracers of star-formation activity

abstract: The outer Galaxy is an environment with metallicity lower than the Solar one. Because of this, the formation and survival of molecules in star-forming regions located in the inner and outer Galaxy is expected to be different. To gain understanding on how chemistry changes throughout the Milky Way, it is crucial to observe outer Galaxy star-forming regions to constrain models adapted for lower metallicity environments. In this paper we present a new observational project: chemical complexity in star-forming regions of the outer Galaxy (CHEMOUT). The goal is to unveil the chemical composition in 35 dense molecular clouds associated with star-forming regions of the outer Galaxy through observations obtained with the IRAM 30m telescope. In this first paper, we present the sample, and report the detection at 3~mm of simple organic species HCO+, H13CO+, HCN, c-C3H2, HCO, C4H, and HCS+, of the complex hydrocarbon CH3CCH, and of SiO, CCS and SO. From c-C3H2, we estimate new kinematic heliocentric and Galactocentric distances based on an updated rotation curve of the Galaxy. The detection of the molecular tracers does not seem to have a clear dependence on the Galactocentric distance. We also analyse the HCO+ line profiles. We find high velocity wings in ~71% of the targets, and their occurrence does not depend on the Galactocentric distance. Our results, confirmed by a statistical analysis, show that the presence of organic molecules and tracers of protostellar activity is ubiquitous in the low-metallicity environment of the outer Galaxy. Based on this, and on the additional evidence that small, terrestrial planets are omnipresent in the Galaxy, we support previous claims that the definition of Galactic Habitable Zone should be rediscussed in view of the ubiquitous capacity of the interstellar medium to form organic molecules.


title: The Long Tails of the Pegasus-Pisces Arch Intermediate Velocity Cloud

abstract: We present hydrodynamic simulations of the Pegasus-Pisces (PP Arch), an intermediate velocity cloud in our Galaxy. The PP Arch, also known as IVC 86-36, is unique among intermediate and high velocity clouds, because its twin tails are unusually long and narrow. Its -50 km/s line-of-sight velocity qualifies it as an intermediate velocity cloud, but the tails' orientations indicate that the cloud's total three-dimensional speed is at least ~100 km/s. This speed is supersonic in the Reynold's Layer and thick disk. We simulated the cloud as it travels supersonically through the Galactic thick and thin disks at an oblique angle relative to the midplane. Our simulated clouds grow long double tails and reasonably reproduce the H I 21~cm intensity and velocity of the head of the PP Arch. A bow shock protects each simulated cloud from excessive shear and lowers its Reynolds number. These factors may similarly protect the PP Arch and enable the survival of its unusually long tails. The simulations predict the future hydrodynamic behavior of the cloud when it collides with denser gas nearer to the Galactic midplane. It appears that the PP Arch's fate is to deform, dissipate, and merge with the Galactic disk.


title: Validation of the Reduced Unified Continuum Formulation Against In Vitro 4D-Flow MRI

abstract: In our recent work, we introduced the reduced unified continuum formulation for vascular fluid-structure interaction (FSI) and demonstrated enhanced solver accuracy, scalability, and performance compared to conventional approaches. We further verified the formulation against Womersley's deformable wall theory. In this study, we assessed its performance in a compliant patient-specific aortic model by leveraging 3D printing, 2D magnetic resonance imaging (MRI), and 4D-flow MRI to extract high-resolution anatomical and hemodynamic information from an in vitro flow circuit. To accurately reflect experimental conditions, we additionally enabled in-plane vascular motion at each inlet and outlet, and implemented viscoelastic external tissue support and vascular tissue prestressing. Validation of our formulation is achieved through close quantitative agreement in pressures, lumen area changes, pulse wave velocity, and early systolic velocities, as well as qualitative agreement in late systolic flow structures. Our validated suite of FSI techniques can be used to investigate vascular disease initiation, progression, and treatment at a computational cost on the same order as that of rigid-walled simulations. This study is the first to validate a cardiovascular FSI formulation against an in vitro flow circuit involving a compliant vascular phantom of complex patient-specific anatomy.


title: Media Modulation based Molecular Communication

abstract: In conventional molecular communication (MC) systems, the signaling molecules used for information transmission are stored, released, and then replenished by a transmitter (TX). However, the replenishment of signaling molecules at the TX is challenging in practice. Furthermore, in most envisioned MC applications, e.g., in the medical field, it is not desirable to insert the TX into the MC system, as this might impair natural biological processes. In this paper, we propose the concept of media modulation based MC where the TX is placed outside the channel and utilizes signaling molecules already present inside the system. The signaling molecules can assume different states which can be switched by external stimuli. Hence, in media modulation based MC, the TX modulates information into the state of the signaling molecules. In particular, we exploit the group of photochromic molecules, which undergo light-induced reversible state transitions, for media modulation. We study the usage of these molecules for information transmission in a three-dimensional duct system, which contains an eraser, a TX, and a receiver for erasing, writing, and reading of information via external light, respectively. We develop a statistical model for the received signal which accounts for the distribution of the signaling molecules in the system, the initial states of the signaling molecules, the reliability of the state control mechanism, the randomness of irrepressible, spontaneous state switching, and the randomness of molecule propagation. We adopt a maximum likelihood detector and a threshold based detector. Furthermore, we derive analytical expressions for the optimal threshold value and the resulting bit error rate (BER), respectively. Our results reveal that media modulation enables reliable information transmission, validating it as a promising alternative to MC based on molecule emitting TXs.


title: The Energetics of the Central Engine in the Powerful Quasar, 3C298

abstract: The compact steep spectrum radio source, 3C 298, (redshift of 1.44) has the largest 178 MHz luminosity in the 3CR (revised Third Cambridge Catalogue) catalog; its radio lobes are among the most luminous in the Universe. The plasma state of the radio lobes is modeled with the aid of interferometric radio observations (in particular, the new Low Frequency Array observation and archival MERLIN data) and archival single-station data. It is estimated that the long-term time-averaged jet power required to fill these lobes with leptonic plasma is $\overline{Q} \approx 1.28 \pm 0.51 \times 10^{47} \rm{erg}\,\rm{s}^{-1}$, rivaling the largest time averaged jet powers from any quasar. Supporting this notion of extraordinary jet power is a 0.5 keV -10 keV luminosity of $\approx 5.2 \times 10^{46} \rm{erg}\, \rm{s}^{-1}$, comparable to luminous blazars, yet there is no other indication of strong relativistic beaming. We combine two new high signal to noise optical spectroscopic observations from the Hobby-Eberly Telescope with archival Hubble Space Telescope, Two Micron Survey and Galaxy Evolutionary Explorer data to compute a bolometric luminosity from the accretion flow of $L_{\rm{bol}} \approx 1.55 \pm 0.15 \times 10^{47} \rm{erg} \,\rm{s}^{-1}$. The ratio, $\overline{Q}/L_{\rm{bol}}\approx 1$, is the approximate upper limit for quasars. Characteristic of a large $\overline{Q}/L_{\rm{bol}}$, we find an extreme ultraviolet (EUV) spectrum that is very steep (the "EUV deficit" of powerful radio quasars relative to radio quiet quasars) and this weak ionizing continuum is likely a contributing factor to the relatively small equivalent widths of the broad emission lines in this quasar.


title: On The large Time Asymptotics of Schr\"odinger type equations with General Data

abstract: For the Schr\"odinger equation with general interaction term, which may be linear or nonlinear, time dependent and including charge transfer potentials, we prove the global solutions are asymptotically given by a free wave and a weakly localized part. The proof is based on constructing in a new way the Free Channel wave operator, and further tools from the recent works \cite{Liu-Sof1,Liu-Sof2,SW2020}. This work generalizes the results of the first part of \cite{Liu-Sof1,Liu-Sof2} to arbitrary dimension, and non-radial data.


title: A Conformer Based Acoustic Model for Robust Automatic Speech Recognition

abstract: This study addresses robust automatic speech recognition (ASR) by introducing a Conformer-based acoustic model. The proposed model builds on the wide residual bi-directional long short-term memory network (WRBN) with utterance-wise dropout and iterative speaker adaptation, but employs a Conformer encoder instead of the recurrent network. The Conformer encoder uses a convolution-augmented attention mechanism for acoustic modeling. The proposed system is evaluated on the monaural ASR task of the CHiME-4 corpus. Coupled with utterance-wise normalization and speaker adaptation, our model achieves $6.25\%$ word error rate, which outperforms WRBN by $8.4\%$ relatively. In addition, the proposed Conformer-based model is $18.3\%$ smaller in model size and reduces total training time by $79.6\%$.


title: Minimal invariable generating sets

abstract: A subset $S$ of a group $G$ invariably generates $G$ if, when each element of $S$ is replaced by an arbitrary conjugate, the resulting set generates $G.$ An invariable generating set $X$ of $G$ is called minimal if no proper subset of $X$ invariably generates $G.$ We will address several questions related to the behaviour of minimal invariable generating sets of a finite group.


title: Repeated Robot-Assisted Unilateral Stiffness Perturbations Result in Significant Aftereffects Relevant to Post-Stroke Gait Rehabilitation

abstract: Due to hemiparesis, stroke survivors frequently develop a dysfunctional gait that is often characterized by an overall decrease in walking speed and a unilateral decrease in step length. With millions currently affected by this dysfunctional gait, robust and effective rehabilitation protocols are needed. Although robotic devices have been used in numerous rehabilitation protocols for gait, the lack of significant aftereffects that translate to effective therapy makes their application still questionable. This paper proposes a novel type of robot-assisted intervention that results in significant aftereffects that last much longer than any other previous study. With the utilization of a novel robotic device, the Variable Stiffness Treadmill (VST), the stiffness of the walking surface underneath one leg is decreased for a number of steps. This unilateral stiffness perturbation results in a significant aftereffect that is both useful for stroke rehabilitation and often lasts for over 200 gait cycles after the intervention has concluded. More specifically, the aftereffect created is an increase in both left and right step lengths, with the unperturbed step length increasing significantly more than the perturbed. These effects may be helpful in correcting two of the most common issues in post-stroke gait: overall decrease in walking speed and a unilateral shortened step length. The results of this work show that a robot-assisted therapy protocol involving repeated unilateral stiffness perturbations can lead to a more permanent and effective solution to post-stroke gait.


title: FHEBench: Benchmarking Fully Homomorphic Encryption Schemes

abstract: Fully Homomorphic Encryption (FHE) emerges one of the most promising solutions to privacy-preserving computing in an untrusted cloud. FHE can be implemented by various schemes, each of which has distinctive advantages, i.e., some are good at arithmetic operations, while others are efficient when implementing Boolean logic operations. Therefore, it is difficult for even cryptography experts let alone average users to choose the "right" FHE scheme to efficiently implement a specific application. Prior work only qualitatively compares few FHE schemes. In this paper, we present an empirical study, FHEBench, to quantitatively compare major FHE schemes


title: The Economics and Econometrics of Gene-Environment Interplay

abstract: Economists and social scientists have debated the relative importance of nature (one's genes) and nurture (one's environment) for decades, if not centuries. This debate can now be informed by the ready availability of genetic data in a growing number of social science datasets. This paper explores the potential uses of genetic data in economics, with a focus on estimating the interplay between nature (genes) and nurture (environment). We discuss how economists can benefit from incorporating genetic data into their analyses even when they do not have a direct interest in estimating genetic effects. We argue that gene--environment (GxE) studies can be instrumental for (i) testing economic theory, (ii) uncovering economic or behavioral mechanisms, and (iii) analyzing treatment effect heterogeneity, thereby improving the understanding of how (policy) interventions affect population subgroups. We introduce the reader to essential genetic terminology, develop a conceptual economic model to interpret gene-environment interplay, and provide practical guidance to empirical researchers.


title: Low-energy spectrum and dynamics of the weakly interacting Bose gas

abstract: We consider a gas of N bosons with interactions in the mean-field scaling regime. We review the proof of an asymptotic expansion of its low-energy spectrum, eigenstates and dynamics, which provides corrections to Bogoliubov theory to all orders in 1/N. This is based on joint works with S. Petrat, P. Pickl, R. Seiringer and A. Soffer. In addition, we derive a full asymptotic expansion of the ground state one-body reduced density matrix.


title: A lower bound on the proportion of modular elliptic curves over Galois CM fields

abstract: We calculate an explicit lower bound on the proportion of elliptic curves that are modular over any Galois CM field not containing $\zeta_5$. Applied to imaginary quadratic fields, this proportion is at least $2/5$. Applied to cyclotomic fields $\mathbb{Q}(\zeta_n)$ with $5\nmid n$, this proportion is at least $1-\varepsilon$ with only finitely many exceptions of $n$, for any choice of $\varepsilon > 0$.


title: Attend, Memorize and Generate: Towards Faithful Table-to-Text Generation in Few Shots

abstract: Few-shot table-to-text generation is a task of composing fluent and faithful sentences to convey table content using limited data. Despite many efforts having been made towards generating impressive fluent sentences by fine-tuning powerful pre-trained language models, the faithfulness of generated content still needs to be improved. To this end, this paper proposes a novel approach Attend, Memorize and Generate (called AMG), inspired by the text generation process of humans. In particular, AMG (1) attends over the multi-granularity of context using a novel strategy based on table slot level and traditional token-by-token level attention to exploit both the table structure and natural linguistic information; (2) dynamically memorizes the table slot allocation states; and (3) generates faithful sentences according to both the context and memory allocation states. Comprehensive experiments with human evaluation on three domains (i.e., humans, songs, and books) of the Wiki dataset show that our model can generate higher qualified texts when compared with several state-of-the-art baselines, in both fluency and faithfulness.


title: Task-grasping from human demonstration

abstract: A challenge in robot grasping is to achieve task-grasping which is to select a grasp that is advantageous to the success of tasks before and after grasps. One of the frameworks to address this difficulty is Learning-from-Observation (LfO), which obtains various hints from human demonstrations. This paper solves three issues in the grasping skills in the LfO framework: 1) how to functionally mimic human-demonstrated grasps to robots with limited grasp capability, 2) how to coordinate grasp skills with reaching body mimicking, 3) how to robustly perform grasps under object pose and shape uncertainty. A deep reinforcement learning using contact-web based rewards and domain randomization of approach directions is proposed to achieve such robust mimicked grasping skills. Experiment results show that the trained grasping skills can be applied in an LfO system and executed on a real robot. In addition, it is shown that the trained skill is robust to errors in the object pose and to the uncertainty of the object shape and can be combined with various reach-coordination.


title: Knock, knock. Who's there? -- Identifying football player jersey numbers with synthetic data

abstract: Automatic player identification is an essential and complex task in sports video analysis. Different strategies have been devised over the years, but identification based on jersey numbers is one of the most common approaches given its versatility and relative simplicity. However, automatic detection of jersey numbers is still challenging due to changing camera angles, low video resolution, small object size in wide-range shots and transient changes in the player's posture and movement. In this paper we present a novel approach for jersey number identification in a small, highly imbalanced dataset from the Seattle Seahawks practice videos. Our results indicate that simple models can achieve an acceptable performance on the jersey number detection task and that synthetic data can improve the performance dramatically (accuracy increase of ~9% overall, ~18% on low frequency numbers) making our approach achieve state of the art results.


title: Permutatorial Optimization via the Permutahedron

abstract: A water company decides to expand its network with a set of water lines, but it cannot build them all at once. However, it starts reaping benefits from a partial expansion. In what order should the company build the lines? We formalize a class of permutatorial problems with combinatorial/continuous subproblems capturing applications of incremental deployment. We show that, for additive/linear objective functions, efficient polyhedral methods for the subproblems extend to the permutatorial problem. Our main technical ingredient is the permutahedron.


title: 3D Skeleton-based Human Motion Prediction with Manifold-Aware GAN

abstract: In this work we propose a novel solution for 3D skeleton-based human motion prediction. The objective of this task consists in forecasting future human poses based on a prior skeleton pose sequence. This involves solving two main challenges still present in recent literature; (1) discontinuity of the predicted motion which results in unrealistic motions and (2) performance deterioration in long-term horizons resulting from error accumulation across time. We tackle these issues by using a compact manifold-valued representation of 3D human skeleton motion. Specifically, we model the temporal evolution of the 3D poses as trajectory, what allows us to map human motions to single points on a sphere manifold. Using such a compact representation avoids error accumulation and provides robust representation for long-term prediction while ensuring the smoothness and the coherence of the whole motion. To learn these non-Euclidean representations, we build a manifold-aware Wasserstein generative adversarial model that captures the temporal and spatial dependencies of human motion through different losses. Experiments have been conducted on CMU MoCap and Human 3.6M datasets and demonstrate the superiority of our approach over the state-of-the-art both in short and long term horizons. The smoothness of the generated motion is highlighted in the qualitative results.


title: Runtime Detection of Executional Errors in Robot-Assisted Surgery

abstract: Despite significant developments in the design of surgical robots and automated techniques for objective evaluation of surgical skills, there are still challenges in ensuring safety in robot-assisted minimally-invasive surgery (RMIS). This paper presents a runtime monitoring system for the detection of executional errors during surgical tasks through the analysis of kinematic data. The proposed system incorporates dual Siamese neural networks and knowledge of surgical context, including surgical tasks and gestures, their distributional similarities, and common error modes, to learn the differences between normal and erroneous surgical trajectories from small training datasets. We evaluate the performance of the error detection using Siamese networks compared to single CNN and LSTM networks trained with different levels of contextual knowledge and training data, using the dry-lab demonstrations of the Suturing and Needle Passing tasks from the JIGSAWS dataset. Our results show that gesture specific task nonspecific Siamese networks obtain micro F1 scores of 0.94 (Siamese-CNN) and 0.95 (Siamese-LSTM), and perform better than single CNN (0.86) and LSTM (0.87) networks. These Siamese networks also outperform gesture nonspecific task specific Siamese-CNN and Siamese-LSTM models for Suturing and Needle Passing.


title: The role of morphology on the emergence of topologically trivial surface states and selection rules in topological-insulator nano-particles

abstract: Confined electronic states and optical transitions in 3D topological insulator nanoparticles have been studied in the literature, assuming idealized geometries such as spheres or infinitely long cylinders, that allow to obtain analytical solutions to the corresponding eigenvalue equation within such geometries. In contrast, in this article we consider triangular-shaped nanoplates as a more realistic approximation to the experimentally observed morphologies of topological insulator nanoparticles. In this particular geometry, we obtain analytical expressions for the confined eigenstates and the corresponding energy spectrum. Moreover, by a spatial representation of the probability density distribution of these states, we further identify the conditions leading to the emergence of topologically trivial surface states as a result of geometric confinement. Finally, we also study the optical transitions and the corresponding selection rules imposed by the nanoparticle size and morphology.


title: Rapidity evolution of the entanglement entropy in quarkonium: parton and string duality

abstract: We investigate the quantum entanglement in rapidity space of the soft gluon wave function of a quarkonium, in theories with non-trivial rapidity evolutions. We found that the rapidity evolution drastically changes the behavior of the entanglement entropy, at any given order in perturbation theory. At large $N_c$, the reduced density matrices that "resum" the leading rapidity-logs can be explicitly constructed, and shown to satisfy Balitsky-Kovchegov (BK)-like evolution equations. We study their entanglement entropy in a simplified $1+1$ toy model, and in 3D QCD. The entanglement entropy in these cases, after re-summation, is shown to saturate the Kolmogorov-Sinai bound of 1. Remarkably, in 3D QCD the essential growth rate of the entanglement entropy is found to vanish at large rapidities, a result of kinematical "quenching" in transverse space. The one-body reduction of the entangled density matrix obeys a BFKL evolution equation, which can be recast as an evolution in an emergent AdS space, at large impact-parameter and large rapidity. This observation allows the extension of the perturbative wee parton evolution at low-x, to a dual non-perturbative evolution of string bits in curved AdS$_5$ space, with manifest entanglement entropy in the confining regime.


title: Low-Energy Physics in Neutrino LArTPCs

abstract: In this white paper, we outline some of the scientific opportunities and challenges related to detection and reconstruction of low-energy (less than 100 MeV) signatures in liquid argon time-projection chamber (LArTPC) detectors. Key takeaways are summarized as follows. 1) LArTPCs have unique sensitivity to a range of physics and astrophysics signatures via detection of event features at and below the few tens of MeV range. 2) Low-energy signatures are an integral part of GeV-scale accelerator neutrino interaction final states, and their reconstruction can enhance the oscillation physics sensitivities of LArTPC experiments. 3) BSM signals from accelerator and natural sources also generate diverse signatures in the low-energy range, and reconstruction of these signatures can increase the breadth of BSM scenarios accessible in LArTPC-based searches. 4) Neutrino interaction cross sections and other nuclear physics processes in argon relevant to sub-hundred-MeV LArTPC signatures are poorly understood. Improved theory and experimental measurements are needed. Pion decay-at-rest sources and charged particle and neutron test beams are ideal facilities for experimentally improving this understanding. 5) There are specific calibration needs in the low-energy range, as well as specific needs for control and understanding of radiological and cosmogenic backgrounds. 6) Novel ideas for future LArTPC technology that enhance low-energy capabilities should be explored. These include novel charge enhancement and readout systems, enhanced photon detection, low radioactivity argon, and xenon doping. 7) Low-energy signatures, whether steady-state or part of a supernova burst or larger GeV-scale event topology, have specific triggering, DAQ and reconstruction requirements that must be addressed outside the scope of conventional GeV-scale data collection and analysis pathways.


title: Study of scalar and tensor power spectra in the generalized Starobinsky inflationary model using semiclassical methods

abstract: In this work we solved the equation of scalar and tensor perturbations for the generalized Starobinsky inflationary model using the improved uniform approximation method and the phase-integral method up to third-order in deviation. We compare our results with the numerical integration. We have obtained that both semiclassical methods reproduce the scalar power spectra $P_{S,T}$, the scalar spectral index $n_S$, and the tensor-to-scalar ratio $r$. Also we present our results in the $(n_S,r)$ plane.


title: Measuring Changes in Regional Network Traffic Due to COVID-19 Stay-at-Home Measures

abstract: During the 2020 pandemic caused by the COVID-19 virus, many countries implemented stay-at-home measures, which led to many businesses and schools moving from in-person to online mode of operation. We analyze sampled Netflow records at a medium-sized US Regional Optical Network to quantify the changes in the network traffic due to stay-at-home measures in that region. We find that human-driven traffic in the network decreases to around 70%, and mostly shifts to local ISPs, while VPN and online meeting traffic increases up to 5 times. We also find that networks adopt a variety of online meeting solutions and favor one but continue using a few others. We find that educational and government institutions experience large traffic changes, but aim to keep their productivity via increased online meetings. Some scientific traffic also reduces possibly leading to loss of research productivity. Businesses mostly lose their traffic and few show VPN or online meeting activity. Most network prefixes experience large loss of live addresses but a handful increase their liveness. We also find increased incidence of network attacks. Our findings can help plan network provisioning and management to prepare for future possible infection outbreaks and natural disasters.


title: Uncovering the dynamic effects of DEX treatment on lung cancer by integrating bioinformatic inference and multiscale modeling of scRNA-seq and proteomics data

abstract: Motivation: Lung cancer is one of the leading causes for cancer-related death, with a five-year survival rate of 18%. It is a priority for us to understand the underlying mechanisms that affect the implementation and effectiveness of lung cancer therapeutics. In this study, we combine the power of Bioinformatics and Systems Biology to comprehensively uncover functional and signaling pathways of drug treatment using bioinformatics inference and multiscale modeling of both scRNA-seq data and proteomics data. The innovative and cross-disciplinary approach can be further applied to other computational studies in tumorigenesis and oncotherapy. Results: A time series of lung adenocarcinoma-derived A549 cells after DEX treatment were analysed. (1) We first discovered the differentially expressed genes in those lung cancer cells. Then through the interrogation of their regulatory network, we identified key hub genes including TGF-\b{eta}, MYC, and SMAD3 varied underlie DEX treatment. Further enrichment analysis revealed the TGF-\b{eta} signaling pathway as the top enriched term. Those genes involved in the TGF-\b{eta} pathway and their crosstalk with the ERBB pathway presented a strong survival prognosis in clinical lung cancer samples. (2) Based on biological validation and further curation, a multiscale model of tumor regulation centered on both TGF-\b{eta}-induced and ERBB-amplified signaling pathways was developed to characterize the dynamics effects of DEX therapy on lung cancer cells. Our simulation results were well matched to available data of SMAD2, FOXO3, TGF\b{eta}1, and TGF\b{eta}R1 over the time course. Moreover, we provided predictions of different doses to illustrate the trend and therapeutic potential of DEX treatment.


title: Effective forces between active polymers

abstract: The characterization of the interactions between two fully flexible self-avoiding polymers is one of the classic and most important problems in polymer physics. In this paper we measure these interactions in the presence of active fluctuations. We introduce activity into the problem using two of the most popular models in this field. One where activity is effectively embedded into the monomers' dynamics, and the other where passive polymers fluctuate in an explicit bath of active particles. We establish the conditions under which the interaction between active polymers can be mapped into the classical passive problem. We observe that the active bath can drive the development of strong attractive interactions between the polymers and that, upon enforcing a significant degree of overlap, they come together to form a single double-stranded unit. A phase diagram tracing this change in conformational behavior is also reported.


title: Hierarchical team structure and multidimensional localization (or siloing) on networks

abstract: Knowledge silos emerge when structural properties of organizational interaction networks limit the diffusion of information. These structural barriers are known to take many forms at different scales - hubs in otherwise sparse organisations, large dense teams, or global core-periphery structure - but we lack an understanding of how these different structures interact. Here we bridge the gap between the mathematical literature on localization of spreading dynamics and the more applied literature on knowledge silos in organizational interaction networks. To do so, we introduce a new model that considers a layered structure of teams to unveil a new form of hierarchical localization (i.e., the localization of information at the top or center of an organization) and study its interplay with known phenomena of mesoscopic localization (i.e., the localization of information in large groups), $k$-core localization (i.e., around denser $k$-cores) and hub localization (i.e., around high degree stars). We also include a complex contagion mechanism by considering a general infection kernel which can depend on hierarchical level (influence), degree (popularity), infectious neighbors (social reinforcement) or team size (importance). This general model allows us to study the multifaceted phenomenon of information siloing in complex organizational interaction networks and opens the door to new optimization problems to promote or hinder the emergence of different localization regimes.


title: Multi-level Coordinated Energy Management for Energy Hub in Hybrid Markets with Distributionally Robust Scheduling

abstract: Maintaining energy balance and economical operation is significant for multi-energy systems such as the energy hub. However, it is usually challenged by the frequently changing and unpredictable uncertainties at different timescales. Under this scope, this paper investigates the coordinated energy management problem for day-ahead and intra-day conditions considering uncertainties of source-load and market prices concurrently. Note that the precise knowledge of distributions about uncertainties may be unaccessible before the decision-making in day-ahead phase. A two-stage chance-constrained model based on distributionally robust approach with ambiguous moment information is proposed to immunize scheduling strategies against the worst-case probability distributions. The first stage is dedicated to obtaining more energy arbitrage and operation flexibility by optimizing bidding strategies in day-ahead power, natural gas and carbon markets. The second stage focuses on the optimization of worst-case expected operation cost. It provides a robust energy equipment and load scheduling strategy for the reference of subsequent intra-day arrangements. With respect to different variations of electrical and thermal components, an intra-day two-timescale coordination is implemented step by step. The energy scheduling is re-dispatched circularly to minimize the operation and penalty costs. The possible energy imbalance is also compensated by this way. As the energy management program is nonlinear, chance-constrained and multi-stage, linearization and dual transformation techniques are designed to enhance tractability of programs. Experimental results show that the developed multi-level framework results in a carbon emission decrease of 37%, and reduces energy cost averagely 3% compared with corresponding contrasting cases. The obtained strategy validates a good tradeoff between robustness and optimality.


title: Asymptotics, Tur\'an inequalities, and the distribution of the BG-rank and 2-quotient rank of partitions

abstract: Let $j,n$ be even positive integers, and let $\overline{p}_j(n)$ denote the number of partitions with BG-rank $j$, and $\overline{p}_j(a,b;n)$ to be the number of partitions with BG-rank $j$ and $2$-quotient rank congruent to $a \pmod{b}$. We give asymptotics for both statistics, and show that $\overline{p}_j(a,b;n)$ is asymptotically equidistributed over the congruence classes modulo $b$. We also show that each of $\overline{p}_j(n)$ and $\overline{p}_j(a,b;n)$ asymptotically satisfy all higher-order Tur\'{a}n inequalities.


title: E-LANG: Energy-Based Joint Inferencing of Super and Swift Language Models

abstract: Building huge and highly capable language models has been a trend in the past years. Despite their great performance, they incur high computational cost. A common solution is to apply model compression or choose light-weight architectures, which often need a separate fixed-size model for each desirable computational budget, and may lose performance in case of heavy compression. This paper proposes an effective dynamic inference approach, called E-LANG, which distributes the inference between large accurate Super-models and light-weight Swift models. To this end, a decision making module routes the inputs to Super or Swift models based on the energy characteristics of the representations in the latent space. This method is easily adoptable and architecture agnostic. As such, it can be applied to black-box pre-trained models without a need for architectural manipulations, reassembling of modules, or re-training. Unlike existing methods that are only applicable to encoder-only backbones and classification tasks, our method also works for encoder-decoder structures and sequence-to-sequence tasks such as translation. The E-LANG performance is verified through a set of experiments with T5 and BERT backbones on GLUE, SuperGLUE, and WMT. In particular, we outperform T5-11B with an average computations speed-up of 3.3$\times$ on GLUE and 2.9$\times$ on SuperGLUE. We also achieve BERT-based SOTA on GLUE with 3.2$\times$ less computations. Code and demo are available in the supplementary materials.


title: Stimulated Raman lineshapes in the large light-matter interaction limit

abstract: Stimulated Raman scattering (SRS) represents a powerful tool for accessing the vibrational properties of molecular compounds or solid state systems. From a spectroscopic perspective, SRS is able to capture Raman spectra free from incoherent background processes and typically ensures a signal enhancement of several orders of magnitude with respect to its spontaneous counterpart. Since its discovery in 1962, SRS has been applied to develop technological applications, such as Raman-based lasers, frequency shifters for pulsed sources and Raman amplifiers. For the full exploitation of their potential, however, it is crucial to have an accurate description of the SRS processes under the large gain regime. Here, by taking as an example the stimulated Raman spectrum of a model solvent, namely liquid cyclohexane, we discuss how the spectral profiles and the lineshapes of Raman excitations critically depend on the pump excitation regime. In particular, we show that in the large light-matter interaction limit the Raman gain undergoes an exponential increase (decrease) in the red (blue) side of the spectrum, with the Raman linewidths that appear sharpened (broadened).


title: Comments on "Direct measurement of the ionization quenching factor of nuclear recoils in germanium in the keV energy range"

abstract: We examine a recent measurement of the quenching factor (QF) in germanium at 80 K, noticing a number of inconsistencies capable of affecting a claimed agreement with Lindhard's ion-stopping formalism in the sub-keV nuclear recoil energy regime. Namely, an underestimated uncertainty in the energy scale and a missing correction for a large instrumental non-linearity in this scale able to severely distort the QF behavior at low energy, favoring reduced values. The discussion is expanded to inspect the impact of QF model selection on a study of neutrino electromagnetic properties using CE$\nu$NS data that supports a non-zero electric charge at the 3.5 $\sigma$ level.


title: Near-Linear Time Approximations for Cut Problems via Fair Cuts

abstract: We introduce the notion of {\em fair cuts} as an approach to leverage approximate $(s,t)$-mincut (equivalently $(s,t)$-maxflow) algorithms in undirected graphs to obtain near-linear time approximation algorithms for several cut problems. Informally, for any $\alpha\geq 1$, an $\alpha$-fair $(s,t)$-cut is an $(s,t)$-cut such that there exists an $(s,t)$-flow that uses $1/\alpha$ fraction of the capacity of \emph{every} edge in the cut. (So, any $\alpha$-fair cut is also an $\alpha$-approximate mincut, but not vice-versa.) We give an algorithm for $(1+\epsilon)$-fair $(s,t)$-cut in $\tilde{O}(m)$-time, thereby matching the best runtime for $(1+\epsilon)$-approximate $(s,t)$-mincut [Peng, SODA '16]. We then demonstrate the power of this approach by showing that this result almost immediately leads to several applications: - the first nearly-linear time $(1+\epsilon)$-approximation algorithm that computes all-pairs maxflow values (by constructing an approximate Gomory-Hu tree). Prior to our work, such a result was not known even for the special case of Steiner mincut [Dinitz and Vainstein, STOC '94; Cole and Hariharan, STOC '03]; - the first almost-linear-work subpolynomial-depth parallel algorithms for computing $(1+\epsilon)$-approximations for all-pairs maxflow values (again via an approximate Gomory-Hu tree) in unweighted graphs; - the first near-linear time expander decomposition algorithm that works even when the expansion parameter is polynomially small; this subsumes previous incomparable algorithms [Nanongkai and Saranurak, FOCS '17; Wulff-Nilsen, FOCS '17; Saranurak and Wang, SODA '19].


title: Benders Adaptive-Cuts Method for Two-Stage Stochastic Programs

abstract: Benders decomposition is one of the most applied methods to solve two-stage stochastic problems (TSSP) with a large number of scenarios. The main idea behind the Benders decomposition is to solve a large problem by replacing the values of the second-stage subproblems with individual variables, and progressively forcing those variables to reach the optimal value of the subproblems, dynamically inserting additional valid constraints, known as Benders cuts. Most traditional implementations add a cut for each scenario (multi-cut) or a single-cut that includes all scenarios. In this paper we present a novel Benders adaptive-cuts method, where the Benders cuts are aggregated according to a partition of the scenarios, which is dynamically refined using the LP-dual information of the subproblems. This scenario aggregation/disaggregation is based on the Generalized Adaptive Partitioning Method (GAPM), which has been successfully applied to TSSPs. We formalize this hybridization of Benders decomposition and the GAPM, by providing sufficient conditions under which an optimal solution of the deterministic equivalent can be obtained in a finite number of iterations. Our new method can be interpreted as a compromise between the Benders single-cuts and multi-cuts methods, drawing on the advantages of both sides, by rendering the initial iterations faster (as for the single-cuts Benders) and ensuring the overall faster convergence (as for the multi-cuts Benders). Computational experiments on three TSSPs validate these statements, showing that the new method outperforms the other implementations of Benders method, as well as other standard methods for solving TSSPs, in particular when the number of scenarios is very large.


title: Proton and pion distribution functions in counterpoint

abstract: Working with proton and pion valence distribution functions (DFs) determined consistently at the same, unique hadron scale and exploiting the possibility that there is an effective charge which defines an evolution scheme for DFs that is all-orders exact, we obtain a unified body of predictions for all proton and pion DFs - valence, glue, and four-flavour-separated sea. Whilst the hadron light-front momentum fractions carried by identifiable parton classes are the same for the proton and pion at any scale, the pointwise behaviour of the DFs is strongly hadron-dependent. All calculated distributions comply with quantum chromodynamics constraints on low- and high-$x$ scaling behaviour and, owing to emergent hadron mass, pion DFs are the most dilated. These results aid in elucidating the sources of similarities and differences between proton and pion structure.


title: Ultimate limit for optical losses in gold, revealed by quantitative near-field microscopy

abstract: We report thorough measurements of surface plasmon polaritons (SPPs) running along nearly perfect air-gold interfaces formed by atomically flat surfaces of chemically synthesized gold monocrystals. By means of amplitude- and phase-resolved near-field microscopy, we obtain their propagation length and effective mode index at visible wavelengths (532, 594, 632.8, 729, and 800 nm). The measured values are compared with the values obtained from the dielectric functions of gold that are reported in literature. Importantly, a reported dielectric function of monocrystalline gold implies $\sim 1.5$ times shorter propagation lengths than those observed in our experiments, whereas a dielectric function reported for properly fabricated polycrystalline gold leads to SPP propagation lengths matching our results. We argue that the SPP propagation lengths measured in our experiments signify the ultimate limit of optical losses in gold, encouraging further comprehensive characterization of optical material properties of pure gold as well as other plasmonic materials.


title: Bounded Generation by semi-simple elements: quantitative results

abstract: We prove that for a number field $F$, the distribution of the points of a set $\Sigma \subset \mathbb{A}_F^n$ with a purely exponential parametrization, for example a set of matrices boundedly generated by semi-simple (diagonalizable) elements, is of at most logarithmic size when ordered by height. As a consequence, one obtains that a linear group $\Gamma\subset \mathrm{GL}_n(K)$ over a field $K$ of characteristic zero admits a purely exponential parametrization if and only if it is finitely generated and the connected component of its Zariski closure is a torus. Our results are obtained via a key inequality about the heights of minimal $m$-tuples for purely exponential parametrizations. One main ingredient of our proof is Evertse's strengthening of the $S$-Unit Equation Theorem.


title: Real time spectrogram inversion on mobile phone

abstract: We present two methods of real time magnitude spectrogram inversion: streaming Griffin Lim(GL) and streaming MelGAN. We demonstrate the impact of looking ahead on perceptual quality of MelGAN. As little as one hop size (12.5ms) of lookahead is able to significantly improve perceptual quality in comparison to its causal version. We compare streaming GL with the streaming MelGAN and show different trade-offs in terms of perceptual quality, on-device latency, algorithmic delay, memory footprint and noise sensitivity. For fair quality assessment of the GL approach, we use input log magnitude spectrogram without mel transformation. We evaluate presented real time spectrogram inversion approaches on clean, noisy and atypical speech. We specified conditions when streaming GL has comparable quality with MelGAN: noisy audio and no mel transformation. Streaming GL is 2.4x faster than real time on the ARM CPU of a Pixel4 and it uses 4.5x times less memory than MelGAN.


title: FlexKeys: Rapidly Customizable 3D Printed Tactile Input Devices with No Assembly Required

abstract: Physical input devices serve as a tactile interface between users and computing systems. These devices are often complex assemblies that consist of both electrical and mechanical components making customization difficult and out of reach for non-engineers. While these components can now be 3D printed on demand, they must still be independently designed and assembled. We present FlexKeys, an approach in which devices that include both electrical and deformable components can be created in a single print on a multi-material 3D printer, requiring no assembly. Designers can customize devices including the input type, travel distance and layout of keys, textures of surfaces, and route all electrical signals directly to a microcontroller socket. In many instances, these devices require no support material, producing a functional device the moment a print finishes. We demonstrate this approach by creating a customized keyboard and report on validation measurements of individual input keys as well as highlighting additional designs. This work provides the first step towards lowering the barrier to entry for non-engineers to design custom tactile inputs, enabling occupational and physical therapists, clinicians, and educators to design and create devices directly based on their assessments of individual user needs.


title: There is a Time and Place for Reasoning Beyond the Image

abstract: Images are often more significant than only the pixels to human eyes, as we can infer, associate, and reason with contextual information from other sources to establish a more complete picture. For example, in Figure 1, we can find a way to identify the news articles related to the picture through segment-wise understandings of the signs, the buildings, the crowds, and more. This reasoning could provide the time and place the image was taken, which will help us in subsequent tasks, such as automatic storyline construction, correction of image source in intended effect photographs, and upper-stream processing such as image clustering for certain location or time. In this work, we formulate this problem and introduce TARA: a dataset with 16k images with their associated news, time, and location, automatically extracted from New York Times, and an additional 61k examples as distant supervision from WIT. On top of the extractions, we present a crowdsourced subset in which we believe it is possible to find the images' spatio-temporal information for evaluation purpose. We show that there exists a $70\%$ gap between a state-of-the-art joint model and human performance, which is slightly filled by our proposed model that uses segment-wise reasoning, motivating higher-level vision-language joint models that can conduct open-ended reasoning with world knowledge. The data and code are publicly available at https://github.com/zeyofu/TARA.


title: HyperPrompt: Prompt-based Task-Conditioning of Transformers

abstract: Prompt-Tuning is a new paradigm for finetuning pre-trained language models in a parameter-efficient way. Here, we explore the use of HyperNetworks to generate hyper-prompts: we propose HyperPrompt, a novel architecture for prompt-based task-conditioning of self-attention in Transformers. The hyper-prompts are end-to-end learnable via generation by a HyperNetwork. HyperPrompt allows the network to learn task-specific feature maps where the hyper-prompts serve as task global memories for the queries to attend to, at the same time enabling flexible information sharing among tasks. We show that HyperPrompt is competitive against strong multi-task learning baselines with as few as $0.14\%$ of additional task-conditioning parameters, achieving great parameter and computational efficiency. Through extensive empirical experiments, we demonstrate that HyperPrompt can achieve superior performances over strong T5 multi-task learning baselines and parameter-efficient adapter variants including Prompt-Tuning and HyperFormer++ on Natural Language Understanding benchmarks of GLUE and SuperGLUE across many model sizes.


title: Towards quantitative inference of nanoscale defects in irradiated metals and alloys

abstract: Quantifying the population of nanoscale defects that are formed in metals and alloys exposed to extreme radiation environments remains a pressing challenge in materials science. These defects both fundamentally alter material properties and seed long-timescale performance degradation, which often limits the lifespan of engineering systems. Unlike ceramic and semiconducting materials, these defects in metals and alloys are not spectroscopically active, forcing characterization to rely on indirect measurements from which the distribution of nanoscale defects may be inferred. In this mini-review, different experimental methodologies which have been employed for defect inference are highlighted to capture the current state of the art. Future directions in this area are proposed, which, by combining data streams from multiple and complementary characterization methods in concert with multi-scale modeling and simulation, will enable the ultimate goal of quantifying the full spectrum of defects in irradiated metals and alloys.


title: Tricks and Plugins to GBM on Images and Sequences

abstract: Convolutional neural networks (CNNs) and transformers, which are composed of multiple processing layers and blocks to learn the representations of data with multiple abstract levels, are the most successful machine learning models in recent years. However, millions of parameters and many blocks make them difficult to be trained, and sometimes several days or weeks are required to find an ideal architecture or tune the parameters. Within this paper, we propose a new algorithm for boosting Deep Convolutional Neural Networks (BoostCNN) to combine the merits of dynamic feature selection and BoostCNN, and another new family of algorithms combining boosting and transformers. To learn these new models, we introduce subgrid selection and importance sampling strategies and propose a set of algorithms to incorporate boosting weights into a deep learning architecture based on a least squares objective function. These algorithms not only reduce the required manual effort for finding an appropriate network architecture but also result in superior performance and lower running time. Experiments show that the proposed methods outperform benchmarks on several fine-grained classification tasks.


title: Topic Analysis for Text with Side Data

abstract: Although latent factor models (e.g., matrix factorization) obtain good performance in predictions, they suffer from several problems including cold-start, non-transparency, and suboptimal recommendations. In this paper, we employ text with side data to tackle these limitations. We introduce a hybrid generative probabilistic model that combines a neural network with a latent topic model, which is a four-level hierarchical Bayesian model. In the model, each document is modeled as a finite mixture over an underlying set of topics and each topic is modeled as an infinite mixture over an underlying set of topic probabilities. Furthermore, each topic probability is modeled as a finite mixture over side data. In the context of text, the neural network provides an overview distribution about side data for the corresponding text, which is the prior distribution in LDA to help perform topic grouping. The approach is evaluated on several different datasets, where the model is shown to outperform standard LDA and Dirichlet-multinomial regression (DMR) in terms of topic grouping, model perplexity, classification and comment generation.


title: Multi-Sentence Knowledge Selection in Open-Domain Dialogue

abstract: Incorporating external knowledge sources effectively in conversations is a longstanding problem in open-domain dialogue research. The existing literature on open-domain knowledge selection is limited and makes certain brittle assumptions on knowledge sources to simplify the overall task (Dinan et al., 2019), such as the existence of a single relevant knowledge sentence per context. In this work, we evaluate the existing state of open-domain conversation knowledge selection, showing where the existing methodologies regarding data and evaluation are flawed. We then improve on them by proposing a new framework for collecting relevant knowledge, and create an augmented dataset based on the Wizard of Wikipedia (WOW) corpus, which we call WOW++. WOW++ averages 8 relevant knowledge sentences per dialogue context, embracing the inherent ambiguity of open-domain dialogue knowledge selection. We then benchmark various knowledge ranking algorithms on this augmented dataset with both intrinsic evaluation and extrinsic measures of response quality, showing that neural rerankers that use WOW++ can outperform rankers trained on standard datasets.


title: Thermodynamics and optimal protocols of multidimensional quadratic Brownian systems

abstract: We characterize finite-time thermodynamic processes of multidimensional quadratic overdamped systems. Analytic expressions are provided for heat, work, and dissipation for any evolution of the system covariance matrix. The Bures-Wasserstein metric between covariance matrices naturally emerges as the local quantifier of dissipation. General principles of how to apply these geometric tools to identify optimal protocols are discussed. Focusing on the relevant slow-driving limit, we show how these results can be used to analyze cases in which the experimental control over the system is partial.


title: Noncommutativity, Saez-Ballester theory and kinetic inflation

abstract: This paper presents a noncommutative (NC) version of an extended S\'{a}ez-Ballester (SB) theory. Concretely, considering the spatially flat Friedmann-Lema\^{\i}tre-Robertson-Walker~(FLRW) metric, we propose an appropriate dynamical deformation between the conjugate momenta and applying the Hamiltonian formalism, obtain deformed equations of motion. In our model, the NC parameter appears linearly in the deformed Poisson bracket and the equations of the NC SB cosmology. When it goes to zero, we get the corresponding commutative counterparts. Even by restricting our attention to a particular case, where there is neither an ordinary matter nor a scalar potential, we show that the effects of the noncommutativity provide interesting results: applying numerical endeavors for very small values of the NC parameter, we show that (i) at the early times of the universe, there is an inflationary phase with a graceful exit, for which the relevant nominal condition is satisfied; (ii) for the late times, there is a zero acceleration epoch. By establishing an appropriate dynamical framework, we show that the results (i) and (ii) can be obtained for many sets of the initial conditions and the parameters of the model. Finally, we indicate that, at the level of the field equations, one may find a close resemblance between our NC model and the Starobinsky inflationary model.


title: Geodesic deviation in Saez--Ballester theory

abstract: We study the geodesic deviation (GD) equation in a generalized version of the S\'{a}ez--Ballester (SB) theory in arbitrary dimensions. We first establish a general formalism and then restrict to particular cases, where (i) the matter-energy distribution is that of a perfect fluid, and (ii) the spacetime geometry is described by a vanishing Weyl tensor. Furthermore, we consider the spatially flat FLRW universe as the background geometry. Based on this setup, we compute the GD equation as well as the convergence condition associated with fundamental observers and past directed null vector fields. Moreover, we extend that framework and extract the corresponding geodesic deviation in the \emph{modified} S\'{a}ez--Ballester theory (MSBT), where the energy-momentum tensor and potential emerge strictly from the geometry of the extra dimensions. In order to examine our herein GD equations, we consider two novel cosmological models within the SB framework. Moreover, we discuss a few quintessential models and a suitable phantom dark energy scenario within the mentioned SB and MSBT frameworks. Noticing that our herein cosmological models can suitably include the present time of our Universe, we solve the GD equations analytically and/or numerically. By employing the correct energy conditions plus recent observational data, we consistently depict the behavior of the deviation vector $\eta(z)$ and the observer area distance $r_0(z)$ for our models. Concerning the Hubble constant problem, we specifically focus on the observational data reported by the Planck collaboration and the SH0ES collaboration to depict $\eta(z)$ and $r_0(z)$ for our herein phantom model. Subsequently, we contrast our results with those associated with the $\Lambda$CDM model.


title: On a notion of entropy for reachability properties

abstract: In this work, we introduce a notion of reachability entropy to characterize the smallest data rate which is sufficient enough to enforce reach-while-stay specification. We also define data rates of coder-controllers that can enforce this specification in finite time. Then, we establish the data-rate theorem which states that the reachability entropy is a tight lower bound of the data rates that allow satisfaction of the reach-while-stay specification. For a system which is related to an another system under feedback refinement relation, we show that the entropy of the former will not be larger than that of the latter. We also provide a procedure to numerically compute an upper bound of the reachability entropy for discrete-time control systems by leveraging their finite abstractions. Finally, we present some examples to demonstrate the effectiveness of the proposed results.


title: Privacy-Preserving, Communication-Efficient, and Target-Flexible Hospital Quality Measurement

abstract: Integrating information from multiple data sources can enable more precise, timely, and generalizable decisions. However, it is challenging to make valid causal inferences using observational data from multiple data sources. For example, in healthcare, learning from electronic health records contained in different hospitals is desirable but difficult due to heterogeneity in patient case mix, differences in treatment guidelines, and data privacy regulations that preclude individual patient data from being pooled. Motivated to overcome these issues, we develop a federated causal inference framework. We devise a doubly robust estimator of the mean potential outcome in a target population and show that it is consistent even when some models are misspecified. To enable real-world use, our proposed algorithm is privacy-preserving (requiring only summary statistics to be shared between hospitals) and communication-efficient (requiring only one round of communication between hospitals). We implement our causal estimation and inference procedure to investigate the quality of hospital care provided by a diverse set of 51 candidate Cardiac Centers of Excellence, as measured by 30-day mortality and length of stay for acute myocardial infarction (AMI) patients. We find that our proposed federated global estimator improves the precision of treatment effect estimates by 59% to 91% compared to using data from the target hospital alone. This precision gain results in qualitatively different conclusions about the estimated effect of percutaneous coronary intervention (PCI) compared to medical management (MM) in 63% (32 of 51) of hospitals. We find that hospitals rarely excel in both PCI and MM, which highlights the importance of assessing performance on specific treatment regimens.


title: VOLCANO: Detecting Vulnerabilities of Ethereum Smart Contracts Using Code Clone Analysis

abstract: Ethereum Smart Contracts based on Blockchain Technology (BT) enables monetary transactions among peers on a blockchain network independent of a central authorizing agency. Ethereum Smart Contracts are programs that are deployed as decentralized applications, having the building blocks of the blockchain consensus protocol. This enables consumers to make agreements in a transparent and conflict-free environment. However, there exist some security vulnerabilities within these smart contracts that are a potential threat to the applications and their consumers and have shown in the past to cause huge financial losses. This paper presents a framework and empirical analysis that use code clone detection techniques for identifying vulnerabilities and their variations in smart contracts. Our empirical analysis is conducted using the Nicad code clone detection tool on a dataset of approximately 50k Ethereum smart contracts. We evaluated VOLCANO on two datasets, one with confirmed vulnerabilities and another with approximately 50k random smart contracts collected from the Etherscan. Our approach shows an improvement in the detection of vulnerabilities in terms of coverage and efficiency when compared to two of the publicly available static analyzers to detect vulnerabilities in smart contracts. To the best of our knowledge, this is the first study that uses a clone detection technique to identify vulnerabilities and their evolution in Ethereum smart contracts.


title: Short-Packet Interleaver against Impulse Interference in Practical Industrial Environments

abstract: The most common cause of transmission failure in Wireless High Performance (WirelessHP) target industry environments is impulse interference. As interleavers are commonly used to improve the reliability on the Orthogonal Frequency Division Multiplexing (OFDM) symbol level for long packet transmission, this paper considers the feasibility of applying short-packet bit interleaving to enhance the impulse/burst interference resisting capability on both OFDM symbol and frame level. Using the Universal Software Radio Peripherals (USRP) and PC hardware platform, the Packet Error Rate (PER) performance of interleaved coded short-packet transmission with Convolutional Codes (CC), Reed-Solomon codes (RS) and RS+CC concatenated codes are tested and analyzed. Applying the IEEE 1613 standard for impulse interference generation, extensive PER tests of CC(1=2) and RS(31; 21)+CC(1=2) concatenated codes are performed. With practical experiments, we prove the effectiveness of bit in terleaved coded short-packet transmission in real factory environments. We also investigate how PER performance depends on the interleavers, codes and impulse interference power and frequency.


title: Mining Domain Models in Ethereum DApps using Code Cloning

abstract: This research study explores the use of near-miss clone detection to support the characterization of domain models of smart contracts for each of the popular domains in which smart contracts are being rapidly adopted. In this paper, we leverage the code clone detection techniques to detect similarities in functions of the smart contracts deployed onto the Ethereum blockchain network. We analyze the clusters of code clones and the semantics of the code fragments in the clusters in an attempt to categorize them and discover the structural models of the patterns in code clones.


title: Low-Cost On-device Partial Domain Adaptation (LoCO-PDA): Enabling efficient CNN retraining on edge devices

abstract: With the increased deployment of Convolutional Neural Networks (CNNs) on edge devices, the uncertainty of the observed data distribution upon deployment has led researchers to to utilise large and extensive datasets such as ILSVRC'12 to train CNNs. Consequently, it is likely that the observed data distribution upon deployment is a subset of the training data distribution. In such cases, not adapting a network to the observed data distribution can cause performance degradation due to negative transfer and alleviating this is the focus of Partial Domain Adaptation (PDA). Current works targeting PDA do not focus on performing the domain adaptation on an edge device, adapting to a changing target distribution or reducing the cost of deploying the adapted network. This work proposes a novel PDA methodology that targets all of these directions and opens avenues for on-device PDA. LoCO-PDA adapts a deployed network to the observed data distribution by enabling it to be retrained on an edge device. Across subsets of the ILSVRC12 dataset, LoCO-PDA improves classification accuracy by 3.04pp on average while achieving up to 15.1x reduction in retraining memory consumption and 2.07x improvement in inference latency on the NVIDIA Jetson TX2. The work is open-sourced at \emph{link removed for anonymity}.


title: Parametric exploration of zero-energy modes in three-terminal InSb-Al nanowire devices

abstract: We systematically study three-terminal InSb-Al nanowire devices by using radio-frequency reflectometry. Tunneling spectroscopy measurements on both ends of the hybrid nanowires are performed while systematically varying the chemical potential, magnetic field and junction transparencies. Identifying the lowest-energy state allows for the construction of lowest- and zero-energy state diagrams, which show how the states evolve as a function of the aforementioned parameters. Importantly, comparing the diagrams taken for each end of the hybrids enables the identification of states which do not coexist simultaneously, ruling out a significant amount of the parameter space as candidates for a topological phase. Furthermore, altering junction transparencies filters out zero-energy states sensitive to a local gate potential. Such a measurement strategy significantly reduces the time necessary to identify a potential topological phase and minimizes the risk of falsely recognizing trivial bound states as Majorana zero modes.


title: Multi-Layer Perceptron Neural Network for Improving Detection Performance of Malicious Phishing URLs Without Affecting Other Attack Types Classification

abstract: The hypothesis here states that neural network algorithms such as Multi-layer Perceptron (MLP) have higher accuracy in differentiating malicious and semi-structured phishing URLs. Compared to classical machine learning algorithms such as Logistic Regression and Multinomial Naive Bayes, the classical algorithms rely heavily on substantial corpus data training and machine learning experts' domain knowledge to perform complex feature engineering. MLP could perform non-linear separable multi-classes classification and focus less on corpus feature training. In addition, backpropagation weight adjustment could learn which features are more important in differentiating phishing from other attack types.


title: Tight convergence rates of the gradient method on smooth hypoconvex functions

abstract: We perform the first tight convergence analysis of the gradient method with varying step sizes when applied to smooth hypoconvex (weakly convex) functions. Hypoconvex functions are smooth nonconvex functions whose curvature is bounded and assumed to belong to the interval $[\mu, L]$, with $\mu<0$. Our convergence rates improve and extend the existing analysis for smooth nonconvex functions with $L$-Lipschitz gradient (which corresponds to the case $\mu=-L$), and smoothly interpolates between that class and the class of smooth convex functions. We obtain our results using the performance estimation framework adapted to hypoconvex functions, for which new interpolation conditions are derived. We derive explicit upper bounds on the minimum gradient norm of the iterates for a large range of step sizes, explain why all such rates share a common structure, and prove that these rates are tight when step sizes are smaller or equal to $1/L$. Finally, we identify the optimal constant step size that minimizes the worst-case of the gradient method applied to hypoconvex functions.


title: Grasp Transfer for Deformable Objects by Functional Map Correspondence

abstract: Handling object deformations for robotic grasping is still a major problem to solve. In this paper, we propose an efficient learning-free solution for this problem where generated grasp hypotheses of a region of an object are adapted to its deformed configurations. To this end, we investigate the applicability of functional map (FM) correspondence, where the shape matching problem is treated as searching for correspondences between geometric functions in a reduced basis. For a user selected region of an object, a ranked list of grasp candidates is generated with local contact moment (LoCoMo) based grasp planner. The proposed FM-based methodology maps these candidates to an instance of the object that has suffered arbitrary level of deformation. The best grasp, by analysing its kinematic feasibility while respecting the original finger configuration as much as possible, is then executed on the object. We have compared the performance of our method with two different state-of-the-art correspondence mapping techniques in terms of grasp stability and region grasping accuracy for 4 different objects with 5 different deformations.


title: Ap\'{e}ry-Type Series with Summation Indices of Mixed Parities and Colored Multiple Zeta Values, II

abstract: In this paper, we study Ap\'{e}ry-type series involving the central binomial coefficients \begin{align*} \sum_{n_1>\cdots>n_d>0} \frac1{4^{n_1}}\binom{2n_1}{n_1} \frac{1}{n_1^{s_1}\cdots n_d^{s_d}} \end{align*} and its variations where the summation indices may have mixed parities and some or all "$>$" are replaced by "$\ge$", as long as the series are defined. We show that all these sums can be expressed as $\mathbb Q$-linear combinations of the real and/or imaginary parts of the colored multiple zeta values at level four, i.e., special values of multiple polylogarithms at fourth roots of unity. We also show that the corresponding series where ${\binom{2n_1}{n_1}}/4^{n_1}$ is replaced by ${\binom{2n_1}{n_1}}^2/16^{n_1}$ can be expressed in a similar way except for a possible extra factor of $1/\pi$.


title: Permutation rotation-symmetric S-boxes, liftings and affine equivalence

abstract: In this paper, we investigate permutation rotation-symmetric (shift-invariant) vectorial Boolean functions on $n$ bits that are liftings from Boolean functions on $k$ bits, for $k\leq n$. These functions generalize the well-known map used in the current Keccak hash function, which is generated via the Boolean function on $3$ variables, $x_1+(x_2+1)x_3$. We provide some general constructions, and also study the affine equivalence between rotation-symmetric S-boxes and describe the corresponding relationship between the Boolean function they are associated with.


title: A mathematical modelling portrait of Wnt signalling in early vertebrate embryogenesis

abstract: There are two phases of Wnt signalling in early vertebrate embryogenesis: very early, maternal Wnt signalling promotes dorsal development, and slightly later, zygotic Wnt signalling promotes ventral and lateral mesoderm induction. However, recent molecular biology analysis has revealed more complexity among the direct Wnt target genes, with at least five classes. Here in order to test the logic and the dynamics of a new Gene Regulatory Network model suggested by these discoveries we use mathematical modelling based on ordinary differential equations (ODEs). Our mathematical modelling of this Gene Regulatory Network reveals that a simplified model, with one "super-gene" for each class is sufficient to a large extent to describe the regulatory behaviour previously observed experimentally.