title: Equilibrium of Blockchain Miners with Dynamic Asset Allocation

abstract: We model and analyze blockchain miners who seek to maximize the compound return of their mining businesses. The analysis of the optimal strategies finds a new equilibrium point among the miners and the mining pools, which predicts the market share of each miner or mining pool. The cost of mining determines the share of each miner or mining pool at equilibrium. We conclude that neither miners nor mining pools who seek to maximize their compound return will have a financial incentive to occupy more than 50% of the hash rate if the cost of mining is at the same level for all. However, if there is an outstandingly cost-efficient miner, then the market share of this miner may exceed 50% in the equilibrium, which can threaten the viability of the entire ecosystem.


title: Evolutionary game theory in mixed strategies: from microscopic interactions to kinetic equations

abstract: In this work we propose a kinetic formulation for evolutionary game theory for zero sum games when the agents use mixed strategies. We start with a simple adaptive rule, where after an encounter each agent increases the probability of play the successful pure strategy used in the match. We derive the Boltzmann equation which describes the macroscopic effects of this microscopical rule, and we obtain a first order, nonlocal, partial differential equation as the limit when the probability change goes to zero. We study the relationship between this equation and the well known replicator equations, showing the equivalence between the concepts of Nash equilibria, stationary solutions of the partial differential equation, and the equilibria of the replicator equations. Finally, we relate the long time behavior of solutions to the partial differential equation and the stability of the replicator equations.


title: Structure of the Lipschitz free $p$-spaces $\mathcal{F}_p(\mathbb{Z}^d)$ and $\mathcal{F}_p(\mathbb{R}^d)$ for $0<p\le 1$

abstract: Our aim in this article is to contribute to the theory of Lipschitz free $p$-spaces for $0<p\le 1$ over the Euclidean spaces $\mathbb{R}^d$ and $\mathbb{Z}^d$. To that end, on one hand we show that $\mathcal{F}_p(\mathbb{R}^d)$ admits a Schauder basis for every $p\in(0,1]$, thus generalizing the corresponding result for the case $p=1$ achieved in [P. H\'ajek and E. Perneck\'a, On Schauder bases in Lipschitz-free spaces, J. Math. Anal. Appl. 416 (2014), no. 2, 629--646] and answering in the positive a question that was raised in [F. Albiac, J. L. Ansorena, M. C\'uth, and M. Doucha, Embeddability of lp and bases in Lipschitz free $p$-spaces for $0 < p \le 1$, J. Funct. Anal. 278 (2020), no. 4, 108354, 33]. Explicit formulas for the bases of both $\mathcal{F}_p(\mathbb{R}^d)$ and its isomorphic space $\mathcal{F}_p([0,1]^d)$ are given. On the other hand we show that the well-known fact that $\mathcal{F}(\mathbb{Z})$ is isomorphic to $\ell_{1}$ does not extend to the case when $p<1$, that is, $\mathcal{F}_{p}(\mathbb{Z})$ is not isomorphic to $\ell_p$ when $0<p<1$.


title: Formal Hierarchies and Informal Networks: How Organizational Structure Shapes Information Search in Local Government

abstract: Attention to informal communication networks within public organizations has grown in recent decades. While research has documented the role of individual cognition and social structure in understanding information search in organizations, this article emphasizes the importance of formal hierarchy. We argue that the structural attributes of bureaucracies are too important to be neglected when modeling knowledge flows in public organizations. Empirically, we examine interpersonal information seeking patterns among 143 employees in a small city government, using exponential random graph modeling (ERGM). The results suggest that formal structure strongly shapes information search patterns while accounting for social network variables and individual level perceptions. We find that formal status, permission pathways, and departmental membership all affect the information search of employees. Understanding the effects of organizational structure on information search networks will offer opportunities to improve information flows in public organizations via design choices.


title: Sparsity Turns Adversarial: Energy and Latency Attacks on Deep Neural Networks

abstract: Adversarial attacks have exposed serious vulnerabilities in Deep Neural Networks (DNNs) through their ability to force misclassifications through human-imperceptible perturbations to DNN inputs. We explore a new direction in the field of adversarial attacks by suggesting attacks that aim to degrade the computational efficiency of DNNs rather than their classification accuracy. Specifically, we propose and demonstrate sparsity attacks, which adversarial modify a DNN's inputs so as to reduce sparsity (or the presence of zero values) in its internal activation values. In resource-constrained systems, a wide range of hardware and software techniques have been proposed that exploit sparsity to improve DNN efficiency. The proposed attack increases the execution time and energy consumption of sparsity-optimized DNN implementations, raising concern over their deployment in latency and energy-critical applications. We propose a systematic methodology to generate adversarial inputs for sparsity attacks by formulating an objective function that quantifies the network's activation sparsity, and minimizing this function using iterative gradient-descent techniques. We launch both white-box and black-box versions of adversarial sparsity attacks on image recognition DNNs and demonstrate that they decrease activation sparsity by up to 1.82x. We also evaluate the impact of the attack on a sparsity-optimized DNN accelerator and demonstrate degradations up to 1.59x in latency, and also study the performance of the attack on a sparsity-optimized general-purpose processor. Finally, we evaluate defense techniques such as activation thresholding and input quantization and demonstrate that the proposed attack is able to withstand them, highlighting the need for further efforts in this new direction within the field of adversarial machine learning.


title: RasterNet: Modeling Free-Flow Speed using LiDAR and Overhead Imagery

abstract: Roadway free-flow speed captures the typical vehicle speed in low traffic conditions. Modeling free-flow speed is an important problem in transportation engineering with applications to a variety of design, operation, planning, and policy decisions of highway systems. Unfortunately, collecting large-scale historical traffic speed data is expensive and time consuming. Traditional approaches for estimating free-flow speed use geometric properties of the underlying road segment, such as grade, curvature, lane width, lateral clearance and access point density, but for many roads such features are unavailable. We propose a fully automated approach, RasterNet, for estimating free-flow speed without the need for explicit geometric features. RasterNet is a neural network that fuses large-scale overhead imagery and aerial LiDAR point clouds using a geospatially consistent raster structure. To support training and evaluation, we introduce a novel dataset combining free-flow speeds of road segments, overhead imagery, and LiDAR point clouds across the state of Kentucky. Our method achieves state-of-the-art results on a benchmark dataset.


title: Braided Picard groups and graded extensions of braided tensor categories

abstract: We classify various types of graded extensions of a finite braided tensor category $\cal B$ in terms of its $2$-categorical Picard groups. In particular, we prove that braided extensions of $\cal B$ by a finite group $A$ correspond to braided monoidal $2$-functors from $A$ to the braided $2$-categorical Picard group of $\cal B$ (consisting of invertible central $\cal B$-module categories). Such functors can be expressed in terms of the Eilnberg-Mac~Lane cohomology. We describe in detail braided $2$-categorical Picard groups of symmetric fusion categories and of pointed braided fusion categories.


title: ALMA and VLA reveal the lukewarm chromospheres of the nearby red supergiants Antares and Betelgeuse

abstract: We first present spatially resolved ALMA and VLA continuum observations of the early-M red supergiant Antares to search for the presence of a chromosphere at radio wavelengths. We resolve the free-free emission of the Antares atmosphere at 11 unique wavelengths between 0.7 mm (ALMA band 8) and 10 cm (VLA S band). The projected angular diameter is found to continually increase with increasing wavelength, from a low of 50.7 mas at 0.7 mm up to a diameter of 431 mas at 10 cm, which corresponds to 1.35 and 11.6 times the photospheric angular diameter, respectively. All four ALMA measurements show that the shape of the atmosphere is elongated, with a flattening of 15% at a similar position angle. The disk-averaged gas temperature of the atmosphere initially rises from a value of 2700 K at 1.35 $R_{\star}$ (i.e., 0.35 $R_{\star}$ above the photosphere) to a peak value of 3800 K at $\sim$2.5 $R_{\star}$, after which it then more gradually decreases to 1650 K at 11.6 $R_{\star}$. The rise in gas temperature between 1.35 $R_{\star}$ and $\sim$2.5 $R_{\star}$ is evidence for a chromospheric temperature rise above the photosphere of a red supergiant. We detect a clear change in the spectral index across the sampled wavelength range, with the flux density ${S_{\nu}} \propto {\nu}^{1.42}$ between 0.7 mm and 1.4 cm, which we associate with chromosphere-dominated emission, while the flux density ${S_{\nu}} \propto {\nu}^{0.8}$ between 4.3 cm and 10 cm, which we associate with wind-dominated emission. We then perform nonlocal thermal equilibrium modeling of the far-ultraviolet radiation field of another early-M red supergiant, Betelgeuse, and find that an additional hot (i.e., $>7000$ K) chromospheric photoionization component with a much smaller filling factor must also exist throughout the chromospheres of these stars.


title: Short-Range Ambient Backscatter Communication Using Reconfigurable Intelligent Surfaces

abstract: Ambient backscatter communication (AmBC) has been introduced to address communication and power efficiency issues for short-range and low-power Internet-of-Things (IoT) applications. On the other hand, reconfigurable intelligent surface (RIS) has been recently proposed as a promising approach that can control the propagation environment especially in indoor communication environments. In this paper, we propose a new AmBC model over ambient orthogonal-frequency-division-multiplexing (OFDM) subcarriers in the frequency domain in conjunction with RIS for short-range communication scenarios. A tag transmits one bit per each OFDM subcarrier broadcasted from a WiFi access point. Then, RIS augments the signal quality at a reader by compensating the phase distortion effect of multipath channel on the incident signal. We also exploit the special spectrum structure of OFDM to transmit more data over its squeezed orthogonal subcarriers in the frequency domain. Consequently, the proposed method improves the bit-error-rate (BER) performance and provides a higher data rate compared to existing AmBC methods. Analytical and numerical evaluations show the superior performance of the proposed approach in terms of BER and data rate.


title: Lower Bound on Quantum Tunneling for Strong Magnetic Fields

abstract: We consider a particle bound to a two-dimensional plane and a double well potential, subject to a perpendicular uniform magnetic field . The energy difference between the lowest two eigenvalues--the eigenvalue splitting--is related to the tunneling probability between the two wells. We obtain upper and lower bounds on this splitting in the regime where both the magnetic field strength and the depth of the wells are large. The main step is a lower bound on the hopping probability between the wells, a key parameter in tight binding models of solid state physics.


title: Architecture Support for FPGA Multi-tenancy in the Cloud

abstract: Cloud deployments now increasingly provision FPGA accelerators as part of virtual instances. While FPGAs are still essentially single-tenant, the growing demand for hardware acceleration will inevitably lead to the need for methods and architectures supporting FPGA multi-tenancy. In this paper, we propose an architecture supporting space-sharing of FPGA devices among multiple tenants in the cloud. The proposed architecture implements a network-on-chip (NoC) designed for fast data movement and low hardware footprint. Prototyping the proposed architecture on a Xilinx Virtex Ultrascale+ demonstrated near specification maximum frequency for on-chip data movement and high throughput in virtual instance access to hardware accelerators. We demonstrate similar performance compared to single-tenant deployment while increasing FPGA utilization ( we achieved 6x higher FPGA utilization with our case study), which is one of the major goals of virtualization. Overall, our NoC interconnect achieved about 2x higher maximum frequency than the state-of-the-art and a bandwidth of 25.6 Gbps.


title: Inflation with a quartic potential in the framework of Einstein-Gauss-Bonnet gravity

abstract: We investigate inflationary dynamics in the framework of the Einstein-Gauss-Bonnet gravity. In the model under consideration, the inflaton field is non-minimally coupled to the Gauss-Bonnet curvature invariant, so that the latter appears to be dynamically important. We consider a quartic potential for the inflaton field, in particular the one asymptotically connected to the Higgs inflation, and a wider class of coupling functions not considered in the earlier work. Keeping in mind the observational bounds on the parameters - the amplitude of scalar perturbations $A_s$, spectral index $n_s$ and tensor-to-scalar ratio $r$, we demonstrate that the model a quartic potential and the proposed coupling function is in agreement with observation.


title: Homology and K-theory of dynamical systems. I. torsion-free ample groupoids

abstract: Given an ample groupoid, we construct a spectral sequence with groupoid homology with integer coefficients on the second sheet, converging to the K-groups of the (reduced) groupoid C*-algebra, provided the groupoid has torsion-free stabilizers and satisfies a strong form of the Baum-Connes conjecture. The construction is based on the triangulated category approach to the Baum-Connes conjecture developed by Meyer and Nest. We also present a few applications to topological dynamics and discuss the HK conjecture of Matui.


title: Post-Newtonian Lagrangian of an N-body System with Arbitrary Mass and Spin Multipoles

abstract: The present paper derives the post-Newtonian Lagrangian of translational motion of N arbitrary-structured bodies with all mass and spin multipoles in a scalar-tensor theory of gravity. The multipoles depend on time and evolve in accordance with their own dynamic equations of motion. The Lagrangian is retrieved from the post-Newtonian equations of motion by solving the inverse problem of the Lagrangian mechanics and generalizes a well-known Lagrangian of pole-dipole-quadrupole massive particles to the particles of higher multipolarity. Analytic treatment of the higher-order multipole contributions is important for more rigorous computation of gravitational waveform of inspiralling compact binaries at the latest stage of their orbital evolution before merger when tidal and rotational deformations of stars are no longer small and rapidly change in time. The Lagrangian of an N-body system with arbitrary mass and spin multipoles is instrumental for formulation of the post-Newtonian conservation laws of energy, momenta and the integrals of the center of mass.


title: Fast Robust Subspace Tracking via PCA in Sparse Data-Dependent Noise

abstract: This work studies the robust subspace tracking (ST) problem. Robust ST can be simply understood as a (slow) time-varying subspace extension of robust PCA. It assumes that the true data lies in a low-dimensional subspace that is either fixed or changes slowly with time. The goal is to track the changing subspaces over time in the presence of additive sparse outliers and to do this quickly (with a short delay). We introduce a "fast" mini-batch robust ST solution that is provably correct under mild assumptions. Here "fast" means two things: (i) the subspace changes can be detected and the subspaces can be tracked with near-optimal delay, and (ii) the time complexity of doing this is the same as that of simple (non-robust) PCA. Our main result assumes piecewise constant subspaces (needed for identifiability), but we also provide a corollary for the case when there is a little change at each time. A second contribution is a novel non-asymptotic guarantee for PCA in linearly data-dependent noise. An important setting where this is useful is for linearly data dependent noise that is sparse with support that changes enough over time. The analysis of the subspace update step of our proposed robust ST solution uses this result.


title: From conception to clinical trial: IViST -- the first multi-sensor-based platform for real-time In Vivo dosimetry and Source Tracking in HDR brachytherapy

abstract: This study aims to introduce IViST (In Vivo Source Tracking), a novel multi-sensors dosimetry platform for real-time treatment monitoring in HDR brachytherapy. IViST is a platform that comprises 3 parts: 1) an optimized and characterized multi-point plastic scintillator dosimeter (3 points mPSD; using BCF-60, BCF-12, and BCF-10 scintillators), 2) a compact assembly of photomultiplier tubes (PMTs) coupled to dichroic mirrors and filters for high-sensitivity scintillation light collection, and 3) a Python-based graphical user interface used for system management and signal processing. IViST can simultaneously measure dose, triangulate source position, and measure dwell time. By making 100 000 measurements/s, IViST samples enough data to quickly perform key QA/QC tasks such as identifying wrong individual dwell time or interchanged transfer tubes. By using 3 co-linear sensors and planned information for an implant geometry (from DICOM RT), the platform can also triangulate source position in real-time. A clinical trial is presently on-going using the IViST system.


title: Direct inner-shell photoionization of Xe atoms embedded in helium nanodroplets

abstract: We present the first measurements of photoelectron spectra of atomic clusters embedded in superfluid helium (He) nanodroplets. Owing to the large absorption cross section of xenon (Xe) around 100 eV photon energy (4d inner-shell ionization), direct dopant photoionization exceeds charge transfer ionization via the ionized He droplets. Despite the predominant creation of Xe^2+ and Xe^3+ by subsequent Auger decay of free Xe atoms, for Xe embedded in He droplets only singly charged Xe_k^+, k=1,2,3 fragments are observed. Broad Xe^+ ion kinetic-energy distributions indicate Coulomb explosion of the ions due to electron transfer to the primary Auger ions from surrounding neutral atoms. The electron spectra correlated with Xe ions emitted from the He nanodroplets contain a low-energy feature and nearly unshifted Xe photolines. These results pave the way to extreme ultraviolet (XUV) and x-ray photoelectron spectroscopy of clusters and molecular complexes embedded in He nanodroplets.


title: Mid-infrared photoconductivity spectra of single tellurium nanowires]{Mid-infrared photoconductivity spectra of single tellurium nanowires

abstract: Due to its low bandgap and high optical efficiency, tellurium is considered an important material candidate for mid-infrared applications. Taking advantage of its structural anisotropy, we fabricated tellurium nanowire devices and investigated the radiative interaction of charge carriers by the polarization-resolved photoconductivity spectra under mid-infrared illumination. The intensity of the photoresponse shows sensitive dependence on temperature and could be significantly boosted by positive voltage bias from the back gate.


title: Chiral anomaly and the pion properties in the light-front quark model

abstract: We explore the link between the chiral symmetry of QCD and the numerical results of the light-front quark model, analyzing both the two-point and three-point functions of the pion. Including the axial-vector coupling as well as the pseudoscalar coupling in the light-front quark model, we discuss the implication of the chiral anomaly in describing the pion decay constant, the pion-photon transition form factor and the electromagnetic form factor of the pion. In constraining the model parameters, we find that the chiral anomaly plays a critical role and the analysis of $F_{\pi\gamma}(Q^2)$ in timelike region is important. Our results indicate that the constituent quark picture is effective for the low and high $Q^2$ ranges implementing the quark mass evolution effect as $Q^2$ grows.


title: The Statistical Cost of Robust Kernel Hyperparameter Tuning

abstract: This paper studies the statistical complexity of kernel hyperparameter tuning in the setting of active regression under adversarial noise. We consider the problem of finding the best interpolant from a class of kernels with unknown hyperparameters, assuming only that the noise is square-integrable. We provide finite-sample guarantees for the problem, characterizing how increasing the complexity of the kernel class increases the complexity of learning kernel hyperparameters. For common kernel classes (e.g. squared-exponential kernels with unknown lengthscale), our results show that hyperparameter optimization increases sample complexity by just a logarithmic factor, in comparison to the setting where optimal parameters are known in advance. Our result is based on a subsampling guarantee for linear regression under multiple design matrices, combined with an {\epsilon}-net argument for discretizing kernel parameterizations.


title: Heckman selection-t model: parameter estimation via the EM-algorithm

abstract: Heckman selection model is perhaps the most popular econometric model in the analysis of data with sample selection. The analyses of this model are based on the normality assumption for the error terms, however, in some applications, the distribution of the error term departs significantly from normality, for instance, in the presence of heavy tails and/or atypical observation. In this paper, we explore the Heckman selection-t model where the random errors follow a bivariate Student's-t distribution. We develop an analytically tractable and efficient EM-type algorithm for iteratively computing maximum likelihood estimates of the parameters, with standard errors as a by-product. The algorithm has closed-form expressions at the E-step, that rely on formulas for the mean and variance of the truncated Student's-t distributions. Simulations studies show the vulnerability of the Heckman selection-normal model, as well as the robustness aspects of the Heckman selection-t model. Two real examples are analyzed, illustrating the usefulness of the proposed methods. The proposed algorithms and methods are implemented in the new R package HeckmanEM.


title: Recursive Two-Step Lookahead Expected Payoff for Time-Dependent Bayesian Optimization

abstract: We propose a novel Bayesian method to solve the maximization of a time-dependent expensive-to-evaluate oracle. We are interested in the decision that maximizes the oracle at a finite time horizon, when relatively few noisy evaluations can be performed before the horizon. Our recursive, two-step lookahead expected payoff ($\texttt{r2LEY}$) acquisition function makes nonmyopic decisions at every stage by maximizing the estimated expected value of the oracle at the horizon. $\texttt{r2LEY}$ circumvents the evaluation of the expensive multistep (more than two steps) lookahead acquisition function by recursively optimizing a two-step lookahead acquisition function at every stage; unbiased estimators of this latter function and its gradient are utilized for efficient optimization. $\texttt{r2LEY}$ is shown to exhibit natural exploration properties far from the time horizon, enabling accurate emulation of the oracle, which is exploited in the final decision made at the horizon. To demonstrate the utility of $\texttt{r2LEY}$, we compare it with time-dependent extensions of popular myopic acquisition functions via both synthetic and real-world datasets.


title: Comment on "Bidimensional bound states for charged polar nanoparticles''

abstract: In a recent paper Castellanos-Jaramillo and Castellanos-Moreno proposed a simple quantum-mechanical model for an electron in the vicinity of an ionized nanostructure with a permanent electric dipole. They chose the interaction of the electron with the charge and the dipole in such a way that the resulting Schr\"{o}dinger equation is separable into radial and angular parts. In this comment we show that those authors did not solve the angular eigenvalue equation with proper periodic boundary conditions and that they also made a mistake in the elimination of the first derivative in the radial equation. Such errors invalidate their results of the Einstein coefficients for the $\left( GaAs\right)_{3}$ system considered.


title: Adversarial representation learning for synthetic replacement of private attributes

abstract: Data privacy is an increasingly important aspect of many real-world Data sources that contain sensitive information may have immense potential which could be unlocked using the right privacy enhancing transformations, but current methods often fail to produce convincing output. Furthermore, finding the right balance between privacy and utility is often a tricky trade-off. In this work, we propose a novel approach for data privatization, which involves two steps: in the first step, it removes the sensitive information, and in the second step, it replaces this information with an independent random sample. Our method builds on adversarial representation learning which ensures strong privacy by training the model to fool an increasingly strong adversary. While previous methods only aim at obfuscating the sensitive information, we find that adding new random information in its place strengthens the provided privacy and provides better utility at any given level of privacy. The result is an approach that can provide stronger privatization on image data, and yet be preserving both the domain and the utility of the inputs, entirely independent of the downstream task.


title: Bias no more: high-probability data-dependent regret bounds for adversarial bandits and MDPs

abstract: We develop a new approach to obtaining high probability regret bounds for online learning with bandit feedback against an adaptive adversary. While existing approaches all require carefully constructing optimistic and biased loss estimators, our approach uses standard unbiased estimators and relies on a simple increasing learning rate schedule, together with the help of logarithmically homogeneous self-concordant barriers and a strengthened Freedman's inequality. Besides its simplicity, our approach enjoys several advantages. First, the obtained high-probability regret bounds are data-dependent and could be much smaller than the worst-case bounds, which resolves an open problem asked by Neu (2015). Second, resolving another open problem of Bartlett et al. (2008) and Abernethy and Rakhlin (2009), our approach leads to the first general and efficient algorithm with a high-probability regret bound for adversarial linear bandits, while previous methods are either inefficient or only applicable to specific action sets. Finally, our approach can also be applied to learning adversarial Markov Decision Processes and provides the first algorithm with a high-probability small-loss bound for this problem.


title: Nonlinear nanophotonic devices in the Ultraviolet to Visible wavelength range

abstract: Although the first lasers invented operated in the visible, the first on-chip devices were optimized for near-infrared (IR) performance driven by demand in telecommunications. However, as the applications of integrated photonics has broadened, the wavelength demand has as well, and we are now returning to the visible (Vis) and pushing into the ultraviolet (UV). This shift has required innovations in device design and in materials as well as leveraging nonlinear behavior to reach these wavelengths. This review discusses the key nonlinear phenomena that can be used as well as presents several emerging material systems and devices that have reached the UV-Vis wavelength range.


title: gPAV-Based Unconditionally Energy-Stable Schemes for the Cahn-Hilliard Equation: Stability and Error Analysis

abstract: We present several first-order and second-order numerical schemes for the Cahn-Hilliard equation with discrete unconditional energy stability. These schemes stem from the generalized Positive Auxiliary Variable (gPAV) idea, and require only the solution of linear algebraic systems with a constant coefficient matrix. More importantly, the computational complexity (operation count per time step) of these schemes is approximately a half of those of the gPAV and the scalar auxiliary variable (SAV) methods in previous works. We investigate the stability properties of the proposed schemes to establish stability bounds for the field function and the auxiliary variable, and also provide their error analyses. Numerical experiments are presented to verify the theoretical analyses and also demonstrate the stability of the schemes at large time step sizes.

categories: math.NA cs.NA physics.comp-ph physics.flu-dyn


title: Neutrino mixing in nuclear rapid neutron-capture processes

abstract: A possible mechanism for the formation of heavy-mass elements in supernovae is the rapid neutron-capture-mechanism (r-process). It depends upon the electron-fraction $Y_e$, a quantity which is determined by beta-decay-rates. In this paper, we focus on the calculation of electroweak decay-rates in presence of massive neutrinos. The resulting expressions are then used to calculate nuclear reactions entering the rapid-neutron capture. We fix the astrophysical parameters to the case of a core-collapse supernova. The neutrino sector includes a mass scheme and mixing angles for active neutrinos, and also by including the mixing between active and sterile neutrinos. The results of the calculations show that the predicted abundances of heavy-mass nuclei are indeed affected by the neutrino mixing.


title: Survey on Physical Layer Security for 5G Wireless Networks

abstract: Physical layer security is a promising approach that can benefit traditional encryption methods. The idea of physical layer security is to take advantage of the features of the propagation medium and its impairments to ensure secure communication in the physical layer. This work introduces a comprehensive review of the main information-theoretic metrics used to measure the secrecy performance in physical layer security. Furthermore, a theoretical framework related to the most commonly used physical layer security techniques to improve the secrecy performance is provided. Finally, our work surveys physical layer security research over several enabling 5G technologies, such as massive multiple-input multiple-output, millimeter-wave communications, heterogeneous networks, non-orthogonal multiple access, and full-duplex. Also, we include the key concepts of each of the aforementioned technologies. Future fields of research and technical challenges of physical layer security are also identified.


title: Design of a sensing module for a kiwifruit flower pollinator robot

abstract: This paper describes steps taken to develop a sensing module for a robotic kiwifruit flower pollinator, which could be integrated into an imaging module and a spray module. The paper described different indicators to present the performance of the sensing module that can be used as a benchmark. The sensing module provides data for the imaging module to detect kiwifruit flower reliably and accurately in the canopy. Four major challenges for a sensing module is the speed, accuracy, visibility, and robustness to variable lighting conditions. Regarding these issues, Basler acA1920-40uc camera with an LM6HC lens were selected from a list of fast cameras and lenses based on different parameters. The sensing module was tested in four orchards and captured 9128 images. According to the saturation rate parameter, the captured images were typical in 96% of conditions and the rest were glare due to the sunny weather and early season. The camera speed and field of view guarantee that in the highest speed of the robot a flower can be seen at least in three images in normal conditions. The sensing module was calibrated with less than 3 mm error and integrated to the spray module. The pollinator module was mounted on a robot and tested in the real world and achieved 79.5% hit rate at an average velocity of 3.5 km/h.


title: Continuous and discrete dynamical sampling

abstract: In this paper we study the continuous dynamical sampling problem at infinite time in a complex Hilbert space $\mathcal{H}$. We find necessary and sufficient conditions on a bounded linear operator $A\in\mathcal{B}(\mathcal{H})$ and a set of vectors $\mathcal{G}\subset \mathcal{H}$, in order to obtain that $\{e^{tA}g\}_{g\in\mathcal{G}, t\in[0,\infty)}$ is a semi-continuous frame for $\mathcal{H}$. We study if it is possible to discretize the time variable $t$ and still have a frame for $\mathcal{H}$. We also relate the continuous iteration $e^{tA}$ on a set $\mathcal{G}$ to the discrete iteration $(A^\prime)^n$ on $\mathcal{G}^\prime$ for an adequate operator $A^\prime$ and set $\mathcal{G}^\prime\subset \mathcal{H}$.


title: Proof of the orthogonal--Pin duality

abstract: This article contains the proof of a theorem on orthogonal-Pin duality that was cited without proof in a previous article in this journal.


title: Iteration-complexity of an inexact proximal accelerated augmented Lagrangian method for solving linearly constrained smooth nonconvex composite optimization problems

abstract: This paper proposes and establishes the iteration-complexity of an inexact proximal accelerated augmented Lagrangian (IPAAL) method for solving linearly constrained smooth nonconvex composite optimization problems. Each IPAAL iteration consists of inexactly solving a proximal augmented Lagrangian subproblem by an accelerated composite gradient (ACG) method followed by a suitable Lagrange multiplier update. It is shown that IPAAL generates an approximate stationary solution in at most ${\cal O}(\log(1/\rho)/\rho^{3})$ ACG iterations, where $\rho>0$ is the given tolerance. It is also shown that the previous complexity bound can be sharpened to ${\cal O}(\log(1/\rho)/\rho^{2.5})$ under additional mildly stronger assumptions. The above bounds are derived assuming that the initial point is neither feasible nor the domain of the composite term of the objective function is bounded. Some preliminary numerical results are presented to illustrate the performance of the IPAAL method.


title: Quadratically pinched hypersurfaces of the sphere via mean curvature flow with surgery

abstract: We study mean curvature flow in $\mathbb S_K^{n+1}$, the round sphere of sectional curvature $K>0$, under the quadratic curvature pinching condition $|A|^{2} < \frac{1}{n-2} H^{2} + 4 K$ when $n\ge 4$ and $|A|^{2} < \frac{3}{5}H^{2}+\frac{8}{3}K$ when $n=3$. This condition is related to a famous theorem of Simons, which states that the only minimal hypersurfaces satisfying $\vert A\vert^2<nK$ are the totally geodesic hyperspheres. It is related to but distinct from two-convexity. Notably, in contrast to two-convexity, it allows the mean curvature to change sign. We show that the pinching condition is preserved by mean curvature flow, and obtain a cylindrical estimate and corresponding pointwise derivative estimates for the curvature. As a result, we find that the flow becomes either uniformly convex or quantitatively cylindrical in regions of high curvature. This allows us to apply the surgery apparatus developed by Huisken and Sinestrari. We conclude that any smoothly, properly, isometrically immersed hypersurface $\mathcal{M}$ of $\mathbb S_K^{n+1}$ satisfying the pinching condition is diffeomorphic to $\mathbb S^n$ or the connected sum of a finite number of copies of $\mathbb S^1\times \mathbb S^{n-1}$. If $\mathcal M$ is embedded, then it bounds a 1-handlebody. The results are sharp when $n\ge 4$.


title: Mustafin models of projective varieties and vector bundles

abstract: Mustafin varieties are well-studied degenerations of projective spaces induced by a choice of integral points in a Bruhat--Tits building. In recent work, Annette Werner and the author initiated the study of degenerations of plane curves obtained by Mustafin varieties by means of arithmetic geometry. Moreover, we applied these techniques to construct models of vector bundles on plane curves with strongly semistable reduction. In this work, we take a Groebner basis approach to the more general problem of studying degenerations of projective varieties. Our methods include determining the behaviour of Groebner bases under substitution over unique factorisation rings. Finally, we outline applications to the $p-$adic Simpson correspondence, when the respective projective variety is a curve.


title: Provably Efficient Model-based Policy Adaptation

abstract: The high sample complexity of reinforcement learning challenges its use in practice. A promising approach is to quickly adapt pre-trained policies to new environments. Existing methods for this policy adaptation problem typically rely on domain randomization and meta-learning, by sampling from some distribution of target environments during pre-training, and thus face difficulty on out-of-distribution target environments. We propose new model-based mechanisms that are able to make online adaptation in unseen target environments, by combining ideas from no-regret online learning and adaptive control. We prove that the approach learns policies in the target environment that can quickly recover trajectories from the source environment, and establish the rate of convergence in general settings. We demonstrate the benefits of our approach for policy adaptation in a diverse set of continuous control tasks, achieving the performance of state-of-the-art methods with much lower sample complexity.


title: Autofocused oracles for model-based design

abstract: Data-driven design is making headway into a number of application areas, including protein, small-molecule, and materials engineering. The design goal is to construct an object with desired properties, such as a protein that binds to a therapeutic target, or a superconducting material with a higher critical temperature than previously observed. To that end, costly experimental measurements are being replaced with calls to high-capacity regression models trained on labeled data, which can be leveraged in an in silico search for design candidates. However, the design goal necessitates moving into regions of the design space beyond where such models were trained. Therefore, one can ask: should the regression model be altered as the design algorithm explores the design space, in the absence of new data? Herein, we answer this question in the affirmative. In particular, we (i) formalize the data-driven design problem as a non-zero-sum game, (ii) develop a principled strategy for retraining the regression model as the design algorithm proceeds---what we refer to as autofocusing, and (iii) demonstrate the promise of autofocusing empirically.


title: Imaging orbital ferromagnetism in a moir\'e Chern insulator

abstract: Electrons in moir\'e flat band systems can spontaneously break time reversal symmetry, giving rise to a quantized anomalous Hall effect. Here we use a superconducting quantum interference device to image stray magnetic fields in one such system composed of twisted bilayer graphene aligned to hexagonal boron nitride. We find a magnetization of several Bohr magnetons per charge carrier, demonstrating that the magnetism is primarily orbital in nature. Our measurements reveal a large change in the magnetization as the chemical potential is swept across the quantum anomalous Hall gap consistent with the expected contribution of chiral edge states to the magnetization of an orbital Chern insulator. Mapping the spatial evolution of field-driven magnetic reversal, we find a series of reproducible micron scale domains whose boundaries host chiral edge states.


title: Acoustic-electroelastic modeling of piezoelectric disks in high-intensity focused ultrasound power transfer systems

abstract: Contactless ultrasound power transfer (UPT) has emerged as one of the promising techniques for wireless power transfer. Physical processes supporting UPT include the vibrations at a transmitting/acoustic source element, acoustic wave propagation, piezoelectric transduction of elastic vibrations at a receiving element, and acoustic-structure interactions at the surfaces of the transmitting and receiving elements. A novel mechanism using a high-intensity focused ultrasound (HIFU) transmitter is proposed for enhanced power transfer in UPT systems. The HIFU source is used for actuating a finite-size piezoelectric disk receiver. The underlying physics of the proposed system includes the coupling of the nonlinear acoustic field with structural responses of the receiver, which leads to spatial resonances and the appearance of higher harmonics during wave propagation in a medium. Acoustic nonlinearity due to wave kinematics in the HIFU-UPT system is modeled by taking into account the effects of diffraction, absorption, and nonlinearity in the medium. Experimentally-validated acoustic-structure interaction formulation is employed in a finite element based multiphysics model. The results show that the HIFU high-level excitation can cause disproportionately large responses in the piezoelectric receiver if the frequency components in the nonlinear acoustic field coincide with the resonant frequencies of the receiver.


title: Multi-Purchase Behavior: Modeling, Estimation and Optimization

abstract: We study the problem of modeling purchase of multiple products and utilizing it to display optimized recommendations for online retailers and e-commerce platforms. We present a parsimonious multi-purchase family of choice models called the Bundle-MVL-K family, and develop a binary search based iterative strategy that efficiently computes optimized recommendations for this model. We establish the hardness of computing optimal recommendation sets, and derive several structural properties of the optimal solution that aid in speeding up computation. This is one of the first attempts at operationalizing multi-purchase class of choice models. We show one of the first quantitative links between modeling multiple purchase behavior and revenue gains. The efficacy of our modeling and optimization techniques compared to competing solutions is shown using several real world datasets on multiple metrics such as model fitness, expected revenue gains and run-time reductions. For example, the expected revenue benefit of taking multiple purchases into account is observed to be $\sim5\%$ in relative terms for the Ta Feng and UCI shopping datasets, when compared to the MNL model for instances with $\sim 1500$ products. Additionally, across $6$ real world datasets, the test log-likelihood fits of our models are on average $17\%$ better in relative terms. Our work contributes to the study multi-purchase decisions, analyzing consumer demand and the retailers optimization problem. The simplicity of our models and the iterative nature of our optimization technique allows practitioners meet stringent computational constraints while increasing their revenues in practical recommendation applications at scale, especially in e-commerce platforms and other marketplaces.


title: The formation of blue cluster in local Universe

abstract: It is well known from the Butcher-Oemler effect that galaxies in dense environment are mostly red with little star formation and the fraction of blue galaxies in galaxy groups/clusters also declines rapidly with redshifts. A recent work by Hashimoto et al. reported a local 'blue cluster' with high fraction of blue galaxies ($\sim 0.57$), higher than the model predictions. They ascribed this blue cluster to the feeding of gas along a filamentary structure around the cluster. In this work we use group catalog from the Sloan Digital Sky Survey Data Release 7 (SDSS DR7) and the state-of-art of semi-analytic model (SAM) to investigate the formation of blue clusters in local Universe. In total, we find four blue clusters with halo mass $\sim 10^{14}M_{\odot}$ at $0.02 < z < 0.082$, while only the one found by Hashimoto et al. is in a filamentary structure. The SAM predicts that blue clusters have later formation time and most blue satellite galaxies are recently accreted. We conclude that the formation of blue clusters is mainly governed by newly accreted blue satellites, rather than the effect of large-scale environment.


title: $PD_3$-pairs with compressible boundary

abstract: We extend work of Turaev and Bleile to relax the $\pi_1$-injectivity hypothesis in the characterization of the fundamental triples of $PD_3$-pairs with aspherical boundary components. This is further extended to pairs $(P,\partial{P})$ which also have spherical boundary components and with $c.d.\pi_1(P)\leq2$.


title: EDGE COVID-19: A Web Platform to generate submission-ready genomes for SARS-CoV-2 sequencing efforts

abstract: Genomics has become an essential technology for surveilling emerging infectious disease outbreaks. A wide range of technologies and strategies for pathogen genome enrichment and sequencing are being used by laboratories worldwide, together with different, and sometimes ad hoc, analytical procedures for generating genome sequences. As a result, public repositories now contain non-standard entries of varying quality. A standardized analytical process for consensus genome sequence determination, particularly for outbreaks such as the ongoing COVID-19 pandemic, is critical to provide a solid genomic basis for epidemiological analyses and well-informed decision making. To address this need, we have developed a bioinformatic workflow to standardize the analysis of SARS-CoV-2 sequencing data generated with either the Illumina or Oxford Nanopore platforms. Using an intuitive web-based interface, this workflow automates SARS-CoV-2 reference-based genome assembly, variant calling, lineage determination, and provides the ability to submit the consensus sequence and necessary metadata to GenBank or GISAID. Given a raw Illumina or Oxford Nanopore FASTQ read file, this web-based platform enables non-bioinformatics experts to automatically produce a SARS-CoV-2 genome that is ready for submission to GISAID or GenBank. Availability:https://edge-covid19.edgebioinformatics.org;https://github.com/LANL-Bioinformatics/EDGE/tree/SARS-CoV2


title: On the wall-crossing formula for quadratic differentials

abstract: We prove an analytic version of the Kontsevich-Soibelman wall-crossing formula describing how the number of finite-length trajectories of a quadratic differential jumps as the differential is varied. We characterize certain birational automorphisms of an algebraic torus appearing in this wall-crossing formula using Fock-Goncharov coordinates. As an application, we compute the Stokes automorphisms for the Voros symbols appearing in the exact WKB analysis of Schr\"odinger's equation.


title: Forensic Considerations for the High Efficiency Image File Format (HEIF)

abstract: The High Efficiency File Format (HEIF) was adopted by Apple in 2017 as their favoured means of capturing images from their camera application, with Android devices such as the Galaxy S10 providing support more recently. The format is positioned to replace JPEG as the de facto image compression file type, touting many modern features and better compression ratios over the aging standard. However, while millions of devices across the world are already able to produce HEIF files, digital forensics research has not given the format much attention. As HEIF is a complex container format, much different from traditional still picture formats, this leaves forensics practitioners exposed to risks of potentially mishandling evidence. This paper describes the forensically relevant features of the HEIF format, including those which could be used to hide data, or cause issues in an investigation, while also providing commentary on the state of software support for the format. Finally, suggestions for current best-practice are provided, before discussing the requirements of a forensically robust HEIF analysis tool.


title: Searching for Anisotropic Cosmic Birefringence with Polarization Data from SPTpol

abstract: We present a search for anisotropic cosmic birefringence in 500 deg$^2$ of southern sky observed at 150 GHz with the SPTpol camera on the South Pole Telescope. We reconstruct a map of cosmic polarization rotation anisotropies using higher-order correlations between the observed cosmic microwave background (CMB) $E$ and $B$ fields. We then measure the angular power spectrum of this map, which is found to be consistent with zero. The non-detection is translated into an upper limit on the amplitude of the scale-invariant cosmic rotation power spectrum, $L(L+1)C_L^{\alpha\alpha}/2\pi < 0.10 \times 10^{-4}$ rad$^2$ (0.033 deg$^2$, 95% C.L.). This upper limit can be used to place constraints on the strength of primordial magnetic fields, $B_{1 \rm Mpc} < 17 {\rm nG} $ (95% C.L.), and on the coupling constant of the Chern-Simons electromagnetic term $g_{a\gamma} < 4.0 \times 10^{-2}/H_I $ (95% C.L.), where $H_I$ is the inflationary Hubble scale. For the first time, we also cross-correlate the CMB temperature fluctuations with the reconstructed rotation angle map, a signal expected to be non-vanishing in certain theoretical scenarios, and find no detectable signal. We perform a suite of systematics and consistency checks and find no evidence for contamination.


title: Observability of a Sharp Majorana Transition in a Few-Body Model

abstract: We propose experimentally observable signatures of of topological Majorana quasiparticles in the few-body limit of the interacting cold-atom model of [Iemini et al. Phys. Rev. Lett. 118 200404 (2017)]. In this limit, the total on-site density and single-body correlations change smoothly with the model parameters, while the calculated mutual information of opposite ends of the lattice indicates a sharp transition of the system to a topological ground state. Furthermore, local density and parity measurements provide an experimentally viable path for observing the ground state Majorana quasiparticles in ultracold atoms. Our results lay out a promising future for utilizing few-body systems as a testing ground for Majorana physics.


title: Gradient Estimation with Stochastic Softmax Tricks

abstract: The Gumbel-Max trick is the basis of many relaxed gradient estimators. These estimators are easy to implement and low variance, but the goal of scaling them comprehensively to large combinatorial distributions is still outstanding. Working within the perturbation model framework, we introduce stochastic softmax tricks, which generalize the Gumbel-Softmax trick to combinatorial spaces. Our framework is a unified perspective on existing relaxed estimators for perturbation models, and it contains many novel relaxations. We design structured relaxations for subset selection, spanning trees, arborescences, and others. When compared to less structured baselines, we find that stochastic softmax tricks can be used to train latent variable models that perform better and discover more latent structure.


title: Timely Detection and Mitigation of Stealthy DDoS Attacks via IoT Networks

abstract: Internet of Things (IoT) networks consist of sensors, actuators, mobile and wearable devices that can connect to the Internet. With billions of such devices already in the market which have significant vulnerabilities, there is a dangerous threat to the Internet services and also some cyber-physical systems that are also connected to the Internet. Specifically, due to their existing vulnerabilities IoT devices are susceptible to being compromised and being part of a new type of stealthy Distributed Denial of Service (DDoS) attack, called Mongolian DDoS, which is characterized by its widely distributed nature and small attack size from each source. This study proposes a novel anomaly-based Intrusion Detection System (IDS) that is capable of timely detecting and mitigating this emerging type of DDoS attacks. The proposed IDS's capability of detecting and mitigating stealthy DDoS attacks with even very low attack size per source is demonstrated through numerical and testbed experiments.


title: Cosupport for triangulated categories

abstract: The goal of the article is to better understand cosupport in triangulated categories since it is still quite mysterious. We study boundedness of local cohomology and local homology functors using Koszul objects, give some characterizations of cosupport and get some results that, in special cases, recover and generalize the known results about the usual cosupport. Also we include some computations of cosupport, settle the comparison of support and cosupport of cohomologically finite objects. Finally, we assign to any object of the category a subset of $\mathrm{Spec}R$, called the big cosupport.


title: Wigner and Bell Inequalities relationships and Kolmogorov's Axioms

abstract: In this work, we show that Bell's inequality violation of arise from the fact that the condition imposed upon the development of inequality is not respected when it is applied in the idealized experiment. Such a condition is that the quantities taken by probability must be non negative, and such a condition is represented by $|\cal{P(w)}|=\cal{P(w)}$. We will also show that, when trying to define the values of the joint probabilities of $ (Z_1, Z_2, Z_3) $, through the values obtained from the $ (Z_j, Z_k) $ pairs, we find that these values are negative, so not Kolmogorov's axiom is respected: $\cal{P(w)}\geq0$ in cases where Bell's inequality is violated, and we also show that only such violation is possible if Wigner's inequality, in a certain arrangement, is violated, and that both violations are related to the violation of one of Kolmogorov's axioms. At the end of the paper, we suggest a new interpretation of the probabilities involved, in order to avoid the situation of negative probabilities and the violation of Bell's inequality and, consequently, Wigner's inequality.


title: CoT: Decentralized Elastic Caches for Cloud Environments

abstract: Distributed caches are widely deployed to serve social networks and web applications at billion-user scales. This paper presents Cache-on-Track (CoT), a decentralized, elastic, and predictive caching framework for cloud environments. CoT proposes a new cache replacement policy specifically tailored for small front-end caches that serve skewed workloads. Front-end servers use a heavy hitter tracking algorithm to continuously track the top-k hot keys. CoT dynamically caches the hottest C keys out of the tracked keys. Our experiments show that CoT's replacement policy consistently outperforms the hit-rates of LRU, LFU, and ARC for the same cache size on different skewed workloads. Also, \algoname slightly outperforms the hit-rate of LRU-2 when both policies are configured with the same tracking (history) size. CoT achieves server size load-balance with 50\% to 93.75\% less front-end cache in comparison to other replacement policies.


title: Reputation Building under Observational Learning

abstract: I study a social learning model in which the object to learn is a strategic player's endogenous actions rather than an exogenous state. A patient seller faces a sequence of buyers and decides whether to build a reputation for supplying high quality products. Each buyer does not have access to the seller's complete records, but can observe all previous buyers' actions, and some informative private signal about the seller's actions. I examine how the buyers' private signals affect the speed of social learning and the seller's incentives to establish reputations. When each buyer privately observes a bounded subset of the seller's past actions, the speed of learning is strictly positive but can vanish to zero as the seller becomes patient. As a result, reputation building can lead to low payoff for the patient seller and low social welfare. When each buyer observes an unboundedly informative private signal about the seller's current-period action, the speed of learning is uniformly bounded from below and a patient seller can secure high returns from building reputations. My results shed light on the effectiveness of various policies in accelerating social learning and encouraging sellers to establish good reputations.


title: Repeated Communication with Private Lying Cost

abstract: I study repeated communication games between a patient sender and a sequence of receivers. The sender has persistent private information about his psychological cost of lying, and in every period, can privately observe the realization of an i.i.d. state before communication takes place. I characterize every type of sender's highest equilibrium payoff. When the highest lying cost in the support of the receivers' prior belief approaches the sender's benefit from lying, every type's highest equilibrium payoff in the repeated communication game converges to his equilibrium payoff in a one-shot Bayesian persuasion game. I also show that in every sender-optimal equilibrium, no type of sender mixes between telling the truth and lying at every history. When there exist ethical types whose lying costs outweigh their benefits, I provide necessary and sufficient conditions for all non-ethical type senders to attain their optimal commitment payoffs. I identify an outside option effect through which the possibility of being ethical decreases every non-ethical type's payoff.


title: Multiple Video Frame Interpolation via Enhanced Deformable Separable Convolution

abstract: Generating non-existing frames from a consecutive video sequence has been an interesting and challenging problem in the video processing field. Typical kernel-based interpolation methods predict pixels with a single convolution process that convolves source frames with spatially adaptive local kernels, which circumvents the time-consuming, explicit motion estimation in the form of optical flow. However, when scene motion is larger than the pre-defined kernel size, these methods are prone to yield less plausible results. In addition, they cannot directly generate a frame at an arbitrary temporal position because the learned kernels are tied to the midpoint in time between the input frames. In this paper, we try to solve these problems and propose a novel non-flow kernel-based approach that we refer to as enhanced deformable separable convolution (EDSC) to estimate not only adaptive kernels, but also offsets, masks and biases to make the network obtain information from non-local neighborhood. During the learning process, different intermediate time step can be involved as a control variable by means of an extension of coord-conv trick, allowing the estimated components to vary with different input temporal information. This makes our method capable to produce multiple in-between frames. Furthermore, we investigate the relationships between our method and other typical kernel- and flow-based methods. Experimental results show that our method performs favorably against the state-of-the-art methods across a broad range of datasets. Code will be publicly available on URL: \url{https://github.com/Xianhang/EDSC-pytorch}.


title: Trust and Betrayals: Reputational Payoffs and Behaviors without Commitment

abstract: I study a repeated game in which a patient player (e.g., a seller) wants to win the trust of some myopic opponents (e.g., buyers) but can strictly benefit from betraying them. Her benefit from betrayal is strictly positive and is her persistent private information. I characterize every type of patient player's highest equilibrium payoff. Her persistent private information affects this payoff only through the lowest benefit in the support of her opponents' prior belief. I also show that in every equilibrium which is optimal for the patient player, her on-path behavior is nonstationary, and her long-run action frequencies are pinned down for all except two types. Conceptually, my payoff-type approach incorporates a realistic concern that no type of reputation-building player is immune to reneging temptations. Compared to commitment-type models, the incentive constraints for all types of patient player lead to a sharp characterization of her highest attainable payoff and novel predictions on her behaviors.


title: Geo-PIFu: Geometry and Pixel Aligned Implicit Functions for Single-view Human Reconstruction

abstract: We propose Geo-PIFu, a method to recover a 3D mesh from a monocular color image of a clothed person. Our method is based on a deep implicit function-based representation to learn latent voxel features using a structure-aware 3D U-Net, to constrain the model in two ways: first, to resolve feature ambiguities in query point encoding, second, to serve as a coarse human shape proxy to regularize the high-resolution mesh and encourage global shape regularity. We show that, by both encoding query points and constraining global shape using latent voxel features, the reconstruction we obtain for clothed human meshes exhibits less shape distortion and improved surface details compared to competing methods. We evaluate Geo-PIFu on a recent human mesh public dataset that is $10 \times$ larger than the private commercial dataset used in PIFu and previous derivative work. On average, we exceed the state of the art by $42.7\%$ reduction in Chamfer and Point-to-Surface Distances, and $19.4\%$ reduction in normal estimation errors.


title: Quiver representations and dimension reduction in dynamical systems

abstract: Dynamical systems often admit geometric properties that must be taken into account when studying their behaviour. We show that many such properties can be encoded by means of quiver representations. These properties include classical symmetry, hidden symmetry and feedforward structure, as well as subnetwork and quotient relations in network dynamical systems. A quiver equivariant dynamical system consists of a collection of dynamical systems with maps between them that send solutions to solutions. We prove that such quiver structures are preserved under Lyapunov-Schmidt reduction, center manifold reduction, and normal form reduction.


title: Generalized Jacobson's lemma for generalized Drazin inverses

abstract: We present new generalized Jacobson's lemma for generalized Drazin inverses. This extend the main results on g-Drazin inverse of Yan, Zeng and Zhu (Linear $\&$ Multilinear Algebra, {\bf 68}(2020), 81--93).


title: Barrier-Controlled Non-Equilibrium Criticality in Reactive Particle Systems

abstract: Non-equilibrium critical phenomena generally exist in many dynamic systems, like chemical reactions and some driven-dissipative {reactive} particle systems. Here, by using computer simulation and theoretical analysis, we demonstrate the crucial role of the activation barrier on the criticality of dynamic phase transitions in a minimal reactive hard-sphere model. We find that at zero thermal noise, with increasing the activation barrier, the type of transition changes from a continuous conserved directed percolation into a discontinuous dynamic transition by crossing a \emph{tricritical} point. A mean-field theory combined with field-simulation is proposed to explain this phenomenon. The possibility of Ising-type criticality in the non-equilibrium system at finite thermal noise is also discussed.


title: An open boundary condition for high-order solutions of magnetohydrodynamics on unstructured grids

abstract: In this paper a characteristics-based open boundary condition (CBC) is proposed for the magnetohydrodynamic (MHD) system of equations. The algorithm is carefully designed and implemented in the context of a high-order flux reconstruction (FR) scheme under the Generalized Lagrange Multiplier (GLM)-MHD system of equations. It is implemented by adding the contribution of the characteristic equation directly to the corrected flux term in the FR scheme dispensing with solving time-dependent characteristic equations along boundary faces. The CBC method is shown to be more accurate and robust than commonly used zero normal derivative (ZND) and approximate Riemann solver boundary conditions (ARBC) in solving 1D, 2D, and 3D test problems. The CBC method is successfully applied to simulate challenging problems of magnetic reconnection for which other options failed to get stable results over long-period time integration.


title: Entropies of commuting transformations on Hilbert spaces

abstract: By establishing Multiplicative Ergodic Theorem for commutative transformations on a separable infinite dimensional Hilbert space, in this paper, we investigate Pesin's entropy formula and SRB measures of a finitely generated random transformations on such space via its commuting generators. Moreover, as an application, we give a formula of Friedland's entropy for certain $C^{2}$ $\mathbb{N}^2$-actions.


title: Optical Studies of 8 AM Herculis-Type Cataclysmic Variable Stars

abstract: We report detailed follow-up observations of 8 cataclysmic variable stars (CVs) that are apparently AM Her stars, also called polars. For all, we either determine orbital periods for the first time, or improve on existing determinations. The seven for which we have spectra show the high-amplitude radial velocity curves and prominent HeII 4686 emission lines characteristic of strongly magnetic CVs, and their periods, which range from 81 to 219 minutes, are also typical for AM Her stars. Two objects from the Gaia-alerts index, Gaia18aot and Gaia18aya, are newly identified as CVs. Another, RX J0636.3+6554, eclipses deeply, while CSS080228:081210+040352 shows a sharp dip that is apparently a partial eclipse. The spectrum of Gaia18aya has a cyclotron harmonic near 5500 Angstroms that constrains the surface field to about 49 Megagauss or greater.


title: Regularized finite difference methods for the logarithmic Klein-Gordon equation

abstract: We propose and analyze two regularized finite difference methods for the logarithmic Klein-Gordon equation (LogKGE). Due to the blowup phenomena caused by the logarithmic nonlinearity of the LogKGE, it is difficult to construct numerical schemes and establish their error bounds. In order to avoid singularity, we present a regularized logarithmic Klein-Gordon equation (RLogKGE) with a small regularized parameter $0<\varepsilon\ll1$. Besides, two finite difference methods are adopted to solve the regularized logarithmic Klein-Gordon equation (RLogKGE) and rigorous error bounds are estimated in terms of the mesh size $h$, time step $\tau$, and the small regularized parameter $\varepsilon$. Finally, numerical experiments are carried out to verify our error estimates of the two numerical methods and the convergence results from the LogKGE to the RLogKGE with the linear convergence order $O(\varepsilon)$.


title: The R-Process Alliance: J1521-3538, a very metal-poor, extremely r-process-enhanced star with [Eu/Fe]=+2.2, and the class of r-III stars

abstract: We report the discovery of J1521-3538, a bright (V=12.2), very metal-poor ([Fe/H]=-2.8) strongly r-process enhanced field horizontal branch star, based on a high-resolution, high signal-to-noise Magellan/MIKE spectrum. J1521-3538 shows the largest r-process element over-abundance in any known r-process-enhanced star, with [Eu/Fe]=+2.2, and its chemical abundances of 22 neutron-capture elements closely match the scaled solar r-process pattern. J1521-3538 is also one of few known carbon-enhanced metal-poor stars with r-process enhancement (CEMP-r stars), as found after correcting the measured C abundance for the star's evolutionary status. We propose to extend the existing classification of moderately enhanced (+0.3<=[Eu/Fe]<=+1.0) r-I and strongly r-process enhanced ([Eu/Fe]>+1.0) r-II stars to include an r-III class, for r-process stars such as J1521-3538, with [Eu/Fe]>+2.0 and [Ba/Eu]<-0.5, or >100 times the solar ratio of europium to iron. Using cosmochronometry, we estimate J1521-3538 to be 12.5+-5 Gyr and 8.9+-5 Gyr old, using two different sets of initial production ratios. These ages are based on measurements of the Th line at 4019 A and other r-process element abundances. This is broadly consistent with the old age of a low-mass metal-poor field red horizontal branch star. J1521-3538 likely originated in a low-mass dwarf galaxy that was later accreted by the Milky Way, as evidenced by its highly eccentric orbit.


title: Effects of postselected von Neumann measurement on nonclassicality of single-photon-added coherent state

abstract: The effects of von Neumann postselected measurement on nonclassicality of single-photon-added coherent state (SPACS) are studied. Explicit expressions and analytical results for various field properties of SPACS such as the photon number distribution, the Mandel Q_{m} factor and the squeezing parameter of field quadrature after postselected von Neumann measurement are investigated. The results showed that the nonclassicality of SPACS after measurement changed dramatically than initial state. The measurement let SPACS possess more strong sub-Poissonian photon statistics in some definite coupling strength regimes and large weak values which accompanied by low postselection probabilities.


title: A dual approach to Burkholder's $L^p$ estimates

abstract: The paper contains an alternative proof of the celebrated $L^p$ estimates for differentially subordinate martingales established by Burkholder and Wang in the eighties and nineties. The approach links the validity of the estimate to the existence of a lower solution to a novel boundary value problem.


title: Curious Squares

abstract: A curious number is a palindromic number whose base ten representation has the form $a \ldots a b \ldots b a \ldots a$. In this paper, we determine all curious numbers that are perfect squares. Our proof involves reducing the search for such numbers to several single variable families. From here, we complete the proof in two different ways. The first approach is elementary, though somewhat ad hoc. The second entails studying integral points on elliptic curves and is more systematic.


title: Neural Execution Engines: Learning to Execute Subroutines

abstract: A significant effort has been made to train neural networks that replicate algorithmic reasoning, but they often fail to learn the abstract concepts underlying these algorithms. This is evidenced by their inability to generalize to data distributions that are outside of their restricted training sets, namely larger inputs and unseen data. We study these generalization issues at the level of numerical subroutines that comprise common algorithms like sorting, shortest paths, and minimum spanning trees. First, we observe that transformer-based sequence-to-sequence models can learn subroutines like sorting a list of numbers, but their performance rapidly degrades as the length of lists grows beyond those found in the training set. We demonstrate that this is due to attention weights that lose fidelity with longer sequences, particularly when the input numbers are numerically similar. To address the issue, we propose a learned conditional masking mechanism, which enables the model to strongly generalize far outside of its training range with near-perfect accuracy on a variety of algorithms. Second, to generalize to unseen data, we show that encoding numbers with a binary representation leads to embeddings with rich structure once trained on downstream tasks like addition or multiplication. This allows the embedding to handle missing data by faithfully interpolating numbers not seen during training.


title: Optimal Complexity in Decentralized Training

abstract: Decentralization is a promising method of scaling up parallel machine learning systems. In this paper, we provide a tight lower bound on the iteration complexity for such methods in a stochastic non-convex setting. Our lower bound reveals a theoretical gap in known convergence rates of many existing decentralized training algorithms, such as D-PSGD. We prove by construction this lower bound is tight and achievable. Motivated by our insights, we further propose DeTAG, a practical gossip-style decentralized algorithm that achieves the lower bound with only a logarithm gap. Empirically, we compare DeTAG with other decentralized algorithms on image classification tasks, and we show DeTAG enjoys faster convergence compared to baselines, especially on unshuffled data and in sparse networks.


title: An equivariant Atiyah-Patodi-Singer index theorem for proper actions II: the $K$-theoretic index

abstract: Consider a proper, isometric action by a unimodular locally compact group $G$ on a Riemannian manifold $M$ with boundary, such that $M/G$ is compact. Then an equivariant Dirac-type operator $D$ on $M$ under a suitable boundary condition has an equivariant index $\operatorname{index}_G(D)$ in the $K$-theory of the reduced group $C^*$-algebra $C^*_rG$ of $G$. This is a common generalisation of the Baum-Connes analytic assembly map and the (equivariant) Atiyah-Patodi-Singer index. In part I of this series, a numerical index $\operatorname{index}_g(D)$ was defined for an element $g \in G$, in terms of a parametrix of $D$ and a trace associated to $g$. An Atiyah-Patodi-Singer type index formula was obtained for this index. In this paper, we show that, under certain conditions, $\tau_g(\operatorname{index}_G(D)) = \operatorname{index}_g(D)$, for a trace $\tau_g$ defined by the orbital integral over the conjugacy class of $g$. This implies that the index theorem from part I yields information about the $K$-theoretic index $\operatorname{index}_G(D)$. It also shows that $\operatorname{index}_g(D)$ is a homotopy-invariant quantity.


title: Masses of doubly heavy tetraquarks $T_{QQ^\prime}$ in a relativized quark model

abstract: In the present work, the mass spectra of doubly heavy tetraquarks $T_{QQ^\prime}$ are systematically investigated in a relativized quark model. The four-body systems including the Coulomb potential, confining potential, spin-spin interactions, and relativistic corrections are solved within the variational method. Our results suggest that the $IJ^P=01^+$ $bb \bar u \bar d$ state is 54 MeV below the relevant $\bar B \bar B$ and $\bar B \bar B^*$ thresholds, which indicates that both strong and electromagnetic decays are forbidden, and thus this state can be a stable one. Its large hidden color component and small root mean square radius demonstrate that it is a compact tetraquark rather than a loosely bound molecule or point-like diquark-antidiquark structure. Our predictions of the doubly heavy tetraquarks may provide valuable information for future experimental searches.


title: Destruction of molecular hydrogen ice and Implications for 1I/2017 U1 (`Oumuamua)

abstract: The first interstellar object observed in our solar system, 1I/2017 U1 (`Oumuamua), exhibited a number of peculiar properties, including extreme elongation and acceleration excess. Recently, \cite{Seligman:2020vb} proposed that the object was made out of molecular hydrogen (H$_{2}$) ice. The question is whether H$_2$ objects could survive their travel from the birth sites to the solar system. Here we study destruction processes of icy H$_2$ objects through their journey from giant molecular clouds (GMCs) to the interstellar medium (ISM) and the solar system, owing to interstellar radiation, gas and dust, and cosmic rays. We find that thermal sublimation due to heating by starlight can destroy `Oumuamua-size objects in less than 10 Myr. Thermal sublimation by collisional heating in GMCs could destroy H$_2$ objects of `Oumuamua-size before their escape into the ISM. Most importantly, the formation of icy grains rich in H$_2$ is unlikely to occur in dense environments because collisional heating raises the temperature of the icy grains, so that thermal sublimation rapidly destroys the H$_2$ mantle before grain growth.


title: Generalized Adversarially Learned Inference

abstract: Allowing effective inference of latent vectors while training GANs can greatly increase their applicability in various downstream tasks. Recent approaches, such as ALI and BiGAN frameworks, develop methods of inference of latent variables in GANs by adversarially training an image generator along with an encoder to match two joint distributions of image and latent vector pairs. We generalize these approaches to incorporate multiple layers of feedback on reconstructions, self-supervision, and other forms of supervision based on prior or learned knowledge about the desired solutions. We achieve this by modifying the discriminator's objective to correctly identify more than two joint distributions of tuples of an arbitrary number of random variables consisting of images, latent vectors, and other variables generated through auxiliary tasks, such as reconstruction and inpainting or as outputs of suitable pre-trained models. We design a non-saturating maximization objective for the generator-encoder pair and prove that the resulting adversarial game corresponds to a global optimum that simultaneously matches all the distributions. Within our proposed framework, we introduce a novel set of techniques for providing self-supervised feedback to the model based on properties, such as patch-level correspondence and cycle consistency of reconstructions. Through comprehensive experiments, we demonstrate the efficacy, scalability, and flexibility of the proposed approach for a variety of tasks.


title: Higher-Dimensional Open Quantum Walk Constructed from Quantum Bernoulli Noises

abstract: Quantum Bernoulli noises are annihilation and creation operators acting on Bernoulli functionals, which satisfy the canonical anti-commutation relations (CAR) in equal-time. In this paper, we use quantum Bernoulli noises to introduce a model of open quantum walk on the $d$-dimensional integer lattice $\mathbb{Z}^d$ for a general positive integer $d\geq 2$, which we call the $d$-dimensional open QBN walk. We obtain a quantum channel representation of the $d$-dimensional open QBN walk, and find that it admits the ``separability-preserving'' property. We prove that, for a wide range of choices of its initial state, the $d$-dimensional open QBN walk has a limit probability distribution of $d$-dimensional Gauss type. Finally we unveil links between the $d$-dimensional open QBN walk and the unitary quantum walk recently introduced in [Ce Wang and Caishi Wang, Higher-dimensional quantum walk in terms of quantum Bernoulli noises, Entropy 2020, 22, 504].


title: Equitable multiparty quantum communication without a trusted third party

abstract: Multiparty quantum communication provides delightful applications including quantum cryptographic communication and quantum secret sharing. Measurement-Device-Independent (MDI) quantum communication based on the Greenberg-Horne-Zeilinger (GHZ) state measurement provides a practical way to implement multiparty quantum communication. With the standard spatially localized GHZ state measurement, however, information can be imbalanced among the communication parties that can cause significant problems in multiparty cryptographic communication. Here, we propose an equitable multiparty quantum communication where information balance among the communication parties is achieved without a trusted third party. Our scheme is based on the GHZ state measurement which is not spatially localized but implemented in a way that all the distant communication parties symmetrically participate. We also verify the feasibility of our scheme by presenting the proof-of-principle experimental demonstration of informationally balanced three-party quantum communication using weak coherent pulses.


title: An online evolving framework for advancing reinforcement-learning based automated vehicle control

abstract: In this paper, an online evolving framework is proposed to detect and revise a controller's imperfect decision-making in advance. The framework consists of three modules: the evolving Finite State Machine (e-FSM), action-reviser, and controller modules. The e-FSM module evolves a stochastic model (e.g., Discrete-Time Markov Chain) from scratch by determining new states and identifying transition probabilities repeatedly. With the latest stochastic model and given criteria, the action-reviser module checks validity of the controller's chosen action by predicting future states. Then, if the chosen action is not appropriate, another action is inspected and selected. In order to show the advantage of the proposed framework, the Deep Deterministic Policy Gradient (DDPG) w/ and w/o the online evolving framework are applied to control an ego-vehicle in the car-following scenario where control criteria are set by speed and safety. Experimental results show that inappropriate actions chosen by the DDPG controller are detected and revised appropriately through our proposed framework, resulting in no control failures after a few iterations.


title: A Survey on Dynamic Network Embedding

abstract: Real-world networks are composed of diverse interacting and evolving entities, while most of existing researches simply characterize them as particular static networks, without consideration of the evolution trend in dynamic networks. Recently, significant progresses in tracking the properties of dynamic networks have been made, which exploit changes of entities and links in the network to devise network embedding techniques. Compared to widely proposed static network embedding methods, dynamic network embedding endeavors to encode nodes as low-dimensional dense representations that effectively preserve the network structures and the temporal dynamics, which is beneficial to multifarious downstream machine learning tasks. In this paper, we conduct a systematical survey on dynamic network embedding. In specific, basic concepts of dynamic network embedding are described, notably, we propose a novel taxonomy of existing dynamic network embedding techniques for the first time, including matrix factorization based, Skip-Gram based, autoencoder based, neural networks based and other embedding methods. Additionally, we carefully summarize the commonly used datasets and a wide variety of subsequent tasks that dynamic network embedding can benefit. Afterwards and primarily, we suggest several challenges that the existing algorithms faced and outline possible directions to facilitate the future research, such as dynamic embedding models, large-scale dynamic networks, heterogeneous dynamic networks, dynamic attributed networks, task-oriented dynamic network embedding and more embedding spaces.


title: Extreme Gradient Boosted Multi-label Trees for Dynamic Classifier Chains

abstract: Classifier chains is a key technique in multi-label classification, since it allows to consider label dependencies effectively. However, the classifiers are aligned according to a static order of the labels. In the concept of dynamic classifier chains (DCC) the label ordering is chosen for each prediction dynamically depending on the respective instance at hand. We combine this concept with the boosting of extreme gradient boosted trees (XGBoost), an effective and scalable state-of-the-art technique, and incorporate DCC in a fast multi-label extension of XGBoost which we make publicly available. As only positive labels have to be predicted and these are usually only few, the training costs can be further substantially reduced. Moreover, as experiments on eleven datasets show, the length of the chain allows for a more control over the usage of previous predictions and hence over the measure one want to optimize.


title: SliT: A Strip-sensor Readout Chip with Subnanosecond Time-walk for the J-PARC Muon $g-2$/EDM Experiment

abstract: A new silicon-strip readout chip named "SliT" has been developed for the measurement of the muon anomalous magnetic moment and electric dipole moment at J-PARC. The SliT is designed in the Silterra 180 nm CMOS technology with mixed-signal integrated circuits. An analog circuit incorporates a conventional charge-sensitive amplifier, shaping amplifiers, and two distinct discriminators for each of 128 identical channels. A digital part includes storage memories, an event building block, a serializer, and LVDS drivers. A distinct feature of the SliT is utilization of the zero-cross architecture, which consists of a CR-RC filter followed by a CR circuit as a voltage differentiator. This architecture enables to generate hit signals with subnanosecond amplitude-independent time walk, which is the primary requirement for the experiment. The test results show the time walk of $0.38 \pm 0.16$ ns between 0.5 and 3 MIP signals. The equivalent noise charge is $1547 \pm 75 $ $e^{-}$ (rms) at $C_{\rm det} = 33$ pF as a strip-sensor capacitance. Other functionalities such as a strip-sensor readout chip have also been proven in the tests. The SliT128C satisfies all requirements of the J-PARC muon $g-2$/EDM experiment.


title: Quantum-stochasticity-induced asymmetry in angular distribution of electrons in a quasi-classical regime

abstract: Impacts of quantum stochasticity on the dynamics of an ultra-relativistic electron beam head-on colliding with a linearly polarized ultra-intense laser pulse are theoretically investigated in a quasi-classical regime. Generally, the angular distribution of the electron beam keeps symmetrically in transverse directions in this regime, even under the ponderomotive force of the laser pulse. Here we show that when the initial angular divergence $\Delta \theta_i \lesssim 10^{-6} a_0^2$ with $a_0$ being the normalized laser field amplitude, an asymmetric angular distribution of the electron beam arises due to the quantum stochasticity effect, via simulations employing Landau-Lifshitz, quantum-modified Landau-Lifshitz equations, and quantum stochastic radiation reaction form to describe the radiative electron dynamics respectively. The asymmetry is robust against a variety of laser and electron parameters, providing an experimentally detectable signature for the nature of quantum stochasticity of photon emission with laser and electron beams currently available.


title: FinBERT: A Pretrained Language Model for Financial Communications

abstract: Contextual pretrained language models, such as BERT (Devlin et al., 2019), have made significant breakthrough in various NLP tasks by training on large scale of unlabeled text re-sources.Financial sector also accumulates large amount of financial communication text.However, there is no pretrained finance specific language models available. In this work,we address the need by pretraining a financial domain specific BERT models, FinBERT, using a large scale of financial communication corpora. Experiments on three financial sentiment classification tasks confirm the advantage of FinBERT over generic domain BERT model. The code and pretrained models are available at https://github.com/yya518/FinBERT. We hope this will be useful for practitioners and researchers working on financial NLP tasks.


title: Utility and Privacy in Object Tracking from Video Stream using Kalman Filter

abstract: Tracking objects in Computer Vision is a hard problem. Privacy and utility concerns adds an extra layer of complexity over this problem. In this work we consider the problem of maintaining privacy and utility while tracking an object in a video stream using Kalman filtering. Our first proposed method ensures that the localization accuracy of this object will not improve beyond a certain level. Our second method ensures that the localization accuracy of the same object will always remain under a certain threshold.


title: Iterative Algorithm Induced Deep-Unfolding Neural Networks: Precoding Design for Multiuser MIMO Systems

abstract: Optimization theory assisted algorithms have received great attention for precoding design in multiuser multiple-input multiple-output (MU-MIMO) systems. Although the resultant optimization algorithms are able to provide excellent performance, they generally require considerable computational complexity, which gets in the way of their practical application in real-time systems. In this work, in order to address this issue, we first propose a framework for deep-unfolding, where a general form of iterative algorithm induced deep-unfolding neural network (IAIDNN) is developed in matrix form to better solve the problems in communication systems. Then, we implement the proposed deepunfolding framework to solve the sum-rate maximization problem for precoding design in MU-MIMO systems. An efficient IAIDNN based on the structure of the classic weighted minimum mean-square error (WMMSE) iterative algorithm is developed. Specifically, the iterative WMMSE algorithm is unfolded into a layer-wise structure, where a number of trainable parameters are introduced to replace the highcomplexity operations in the forward propagation. To train the network, a generalized chain rule of the IAIDNN is proposed to depict the recurrence relation of gradients between two adjacent layers in the back propagation. Moreover, we discuss the computational complexity and generalization ability of the proposed scheme. Simulation results show that the proposed IAIDNN efficiently achieves the performance of the iterative WMMSE algorithm with reduced computational complexity.


title: Exponential Tilting of Generative Models: Improving Sample Quality by Training and Sampling from Latent Energy

abstract: In this paper, we present a general method that can improve the sample quality of pre-trained likelihood based generative models. Our method constructs an energy function on the latent variable space that yields an energy function on samples produced by the pre-trained generative model. The energy based model is efficiently trained by maximizing the data likelihood, and after training, new samples in the latent space are generated from the energy based model and passed through the generator to producing samples in observation space. We show that using our proposed method, we can greatly improve the sample quality of popular likelihood based generative models, such as normalizing flows and VAEs, with very little computational overhead.


title: Evidence-Aware Inferential Text Generation with Vector Quantised Variational AutoEncoder

abstract: Generating inferential texts about an event in different perspectives requires reasoning over different contexts that the event occurs. Existing works usually ignore the context that is not explicitly provided, resulting in a context-independent semantic representation that struggles to support the generation. To address this, we propose an approach that automatically finds evidence for an event from a large text corpus, and leverages the evidence to guide the generation of inferential texts. Our approach works in an encoder-decoder manner and is equipped with a Vector Quantised-Variational Autoencoder, where the encoder outputs representations from a distribution over discrete variables. Such discrete representations enable automatically selecting relevant evidence, which not only facilitates evidence-aware generation, but also provides a natural way to uncover rationales behind the generation. Our approach provides state-of-the-art performance on both Event2Mind and ATOMIC datasets. More importantly, we find that with discrete representations, our model selectively uses evidence to generate different inferential texts.


title: Hybrid Systems Differential Dynamic Programming for Whole-Body Motion Planning of Legged Robots

abstract: This paper presents a Differential Dynamic Programming (DDP) framework for trajectory optimization (TO) of hybrid systems with state-based switching. The proposed Hybrid Systems DDP (HS-DDP) approach is considered for application to whole-body motion planning with legged robots. Specifically, HS-DDP incorporates three algorithmic advances: an impact-aware DDP step addressing the impact event in legged locomotion, an Augmented Lagrangian (AL) method dealing with the switching constraint, and a Switching Time Optimization (STO) algorithm that optimizes switching times by leveraging the structure of DDP. Further, a Relaxed Barrier (ReB) method is used to manage inequality constraints and is integrated into HS-DDP for locomotion planning. The performance of the developed algorithms is benchmarked on a simulation model of the MIT Mini Cheetah executing a bounding gait. We demonstrate the effectiveness of AL and ReB for handling switching constraints, friction constraints, and torque limits. By comparing to previous solutions, we show that the STO algorithm achieves 2.3 times more reduction of total switching times, demonstrating the efficiency of our method.


title: The influence of angular momentum and environment on the HI gas of late-type galaxies

abstract: We use high-resolution HI data from the WHISP survey to study the HI and angular momentum properties of a sample of 114 late-type galaxies. We explore the specific baryonic angular momentum -- baryonic mass ($j_b - M_b$) relation, and find that an unbroken power law of the form $j_b \propto M_b^{0.55 \pm 0.02}$ fits the data well, with an intrinsic scatter of $\sim 0.13 \pm 0.01$ dex. We revisit the relation between the atomic gas fraction, $f_{atm}$, and the integrated atomic stability parameter $q$ (the $f_{atm} - q$ relation), originally introduced by Obreschkow et al., and probe this parameter space by populating it with galaxies from different environments, in order to study the influence of the environment on their $j_b$, $f_{atm}$ and $q$ values. We find evidence that galaxies with close neighbours show a larger intrinsic scatter about the $f_{atm} - q$ relation compared to galaxies without close-neighbours. We also find enhanced SFR among the deviating galaxies with close neighbours. In addition, we use the bulge-to-total (B/T) ratio as a morphology proxy, and find a general trend of decreasing B/T values with increasing disc stability and HI fraction in the $f_{atm} - q$ plane, indicating a fundamental link between mass, specific angular momentum, gas fraction and morphology of galaxies.


title: Multiparametric analysis of conic linear optimization based on the lift-and-project procedure

abstract: We study how the lift-and-project procedure applies to the multiparametric analysis of conic linear optimization (CLO) problems. We first introduce the concept of a pair of primal and dual conic representable sets and define the set-valued mappings between them. We then explore a novel kind of duality of mpCLOs, which allows us to generalize as well as treat previous results for the mulitparametric analysis in a unified framework. In particular, we discuss the behavior of the optimal partition of a conic representable set. This leads to the invariant region decomposition of a conic representable set that is more general than the known results in the literatures. Finally, we study the properties of the optimal objective values as a function of that parametric vectors. All results are corroborated by examples having correlation.


title: Learning Expected Reward for Switched Linear Control Systems: A Non-Asymptotic View

abstract: In this work, we show existence of invariant ergodic measure for switched linear dynamical systems (SLDSs) under a norm-stability assumption of system dynamics in some unbounded subset of $\mathbb{R}^{n}$. Consequently, given a stationary Markov control policy, we derive non-asymptotic bounds for learning expected reward (w.r.t the invariant ergodic measure our closed-loop system mixes to) from time-averages using Birkhoff's Ergodic Theorem. The presented results provide a foundation for deriving non-asymptotic analysis for average reward-based optimal control of SLDSs. Finally, we illustrate the presented theoretical results in two case-studies.


title: Parametric down-conversion beyond the semi-classical approximation

abstract: Using a perturbative approach, we investigate the parametric down-conversion process without the semi-classical approximation. A Wigner functional formalism, which incorporates both the spatiotemproal degrees of freedom and the particle-number degrees of freedom is used to perform the analysis. First, we derive an evolution equation for the down-conversion process in the nonlinear medium. Then we use the perturbative approach to solve the equation. The leading order contribution is equivalent to the semi-classical solution. The next-to-leading order contribution provides a solution that includes the evolution of the pump field as a quantum field.


title: Existence and rigidity of the Peierls-Nabarro model for dislocations in high dimensions

abstract: We focus on existence and rigidity problems of the vectorial Peierls-Nabarro (PN) model for dislocations. Under the assumption that the misfit potential on the slip plane only depends on the shear displacement along the Burgers vector, a reduced non-local scalar Ginzburg-Landau equation with an anisotropic positive (if Poisson ratio belongs to $(-1/2,1/3)$) singular kernel is derived on the slip plane. We first prove that minimizers of the PN energy for this reduced scalar problem exist. Starting from $H^{1/2}$ regularity, we prove that these minimizers are smooth 1D profiles only depending on the shear direction, monotonically and uniformly converge to two stable states at far fields in the direction of the Burgers vector. Then a De Giorgi-type conjecture of single-variable symmetry for both minimizers and layer solutions is established. As a direct corollary, minimizers and layer solutions are unique up to translations. The proof of this De Giorgi-type conjecture relies on a delicate spectral analysis which is especially powerful for nonlocal pseudo-differential operators with strong maximal principle. All these results hold in any dimension since we work on the domain periodic in the transverse directions of the slip plane. The physical interpretation of this rigidity result is that the equilibrium dislocation on the slip plane only admits shear displacements and is a strictly monotonic 1D profile provided exclusive dependence of the misfit potential on the shear displacement.