title: Laboratory experiments on CO2 gas exchange with wave breaking

abstract: The CO2 gas transfer velocity (KCO2) at air-water interface in a wind-wave flume was estimated at the circumstance of wave breaking. Three types of dynamic processes in the flume were created: monochromatic waves generated by wavemaker, mechanically-generated monochromatic waves with superimposed wind forcing, pure wind waves with 10-meter wind speed ranging from 4.5 m/s to 15.5 m/s. Without wind forcing, KCO2 correlated with the wave breaking probability, wave height of breakers and energy loss due to wave breaking. With superimposed wind, wind speed was found to influence KCO2 both in the coupled wind/mechanical wave experiments and in pure wind waves, but wave breaking still played a significant role in CO2 gas exchange. Therefore, wave properties should be considered directly in parameterization of KCO2. A non-dimensional empirical formula was established in which KCO2 is expressed as a function of wave breaking probability, a modified Reynolds number and an enhancement factor to account for wind speed.


title: PaDGAN: A Generative Adversarial Network for Performance Augmented Diverse Designs

abstract: Deep generative models are proven to be a useful tool for automatic design synthesis and design space exploration. When applied in engineering design, existing generative models face three challenges: 1) generated designs lack diversity and do not cover all areas of the design space, 2) it is difficult to explicitly improve the overall performance or quality of generated designs, and 3) existing models generally do not generate novel designs, outside the domain of the training data. In this paper, we simultaneously address these challenges by proposing a new Determinantal Point Processes based loss function for probabilistic modeling of diversity and quality. With this new loss function, we develop a variant of the Generative Adversarial Network, named "Performance Augmented Diverse Generative Adversarial Network" or PaDGAN, which can generate novel high-quality designs with good coverage of the design space. Using three synthetic examples and one real-world airfoil design example, we demonstrate that PaDGAN can generate diverse and high-quality designs. In comparison to a vanilla Generative Adversarial Network, on average, it generates samples with a 28% higher mean quality score with larger diversity and without the mode collapse issue. Unlike typical generative models that usually generate new designs by interpolating within the boundary of training data, we show that PaDGAN expands the design space boundary outside the training data towards high-quality regions. The proposed method is broadly applicable to many tasks including design space exploration, design optimization, and creative solution recommendation.


title: Remarks on a nonlocal transport

abstract: We consider a one dimensional nonlocal transport equation and its natural multi-dimensional analogues. By using a new pointwise inequality for the Hilbert transform, we give a short proof of a nonlinear inequality first proved by C\'{o}rdoba, C\'{o}rdoba and Fontelos in 2005. We also prove several new weighted inequalities for the Hilbert transform and various nonlinear versions. Some of these results generalize to a related family of nonlocal models.


title: On the Origin of Divergences in Time-Dependent Orbifolds

abstract: We consider time-dependent orbifolds in String Theory and we show that divergences are not associated with a gravitational backreaction since they appear in the open string sector too. They are related to the non existence of the underlying effective field theory as in several cases fourth and higher order contact terms do not exist. Since contact terms may arise from the exchange of string massive states, we investigate and show that some three points amplitudes with one massive state in the open string sector are divergent on the time-dependent orbifolds. To check that divergences are associated with the existence of a discrete zero eigenvalue of the Laplacian of the subspace with vanishing volume, we construct the Generalized Null Boost Orbifold where this phenomenon can be turned on and off.


title: Biconvex Polytopes and Tropical Linear Spaces

abstract: A biconvex polytope is a classical and tropical convex hull of finitely many points. Given a biconvex polytope, for each vertex of it we construct a directed bigraph and a gammoid so that the collection of base polytopes of those gammoids is a matroid subdivision of the hypersimplex, thereby proving a biconvex polytope arises as a cell of a tropical linear space. Our construction provides manually feasible guidelines for subdividing the hypersimplex into base polytopes, without resorting to computers. We work out the rank-4 case as a demonstration. We also show there is an injection from the vertices of any (k-1)-dimensional biconvex polytope into the degree-(k-1) monomials in k indeterminates.


title: Effect of lattice distortions on the electron and thermal transport properties of transparent oxide semiconductor Ba1-xSrxSnO3 solid solution films

abstract: La-doped ASnO3 (A = Ba, Sr) have great potential as advanced transparent oxide semiconductors due to their large optical bandgap and relatively high electron mobility. The bandgap of Ba1-xSrxSnO3 solid solution increases from 3.2 eV (BaSnO3) to 4.6 eV (SrSnO3) with x. However, the increase in the bandgap is accompanied by reductions in the electrical conductivity. The versatility in the changes in the electrical properties are not trivial, and the property optimization has been challenging. Here we propose a simple metric for quantifying the transport properties of ASnO3. We investigated the electron/thermal transport properties of Ba1-xSrxSnO3 solid solution films and their relationship with the lattice distortion. The results suggest that the all transport properties of Ba1-xSrxSnO3 are dominated by the lattice distortion. This phenomenon is attributed to the distortions in the SnO6 octahedron, which consists the conduction band.


title: Neural Parametric Fokker-Planck Equations

abstract: In this paper, we develop and analyze numerical methods for high dimensional Fokker-Planck equations by leveraging generative models from deep learning. Our starting point is a formulation of the Fokker-Planck equation as a system of ordinary differential equations (ODEs) on finite-dimensional parameter space with the parameters inherited from generative models such as normalizing flows. We call such ODEs neural parametric Fokker-Planck equations. The fact that the Fokker-Planck equation can be viewed as the $L^2$-Wasserstein gradient flow of Kullback-Leibler (KL) divergence allows us to derive the ODEs as the constrained $L^2$-Wasserstein gradient flow of KL divergence on the set of probability densities generated by neural networks. For numerical computation, we design a variational semi-implicit scheme for the time discretization of the proposed ODE. Such an algorithm is sampling-based, which can readily handle the Fokker-Planck equations in higher dimensional spaces. Moreover, we also establish bounds for the asymptotic convergence analysis of the neural parametric Fokker-Planck equation as well as the error analysis for both the continuous and discrete versions. Several numerical examples are provided to illustrate the performance of the proposed algorithms and analysis.


title: From Seeing to Moving: A Survey on Learning for Visual Indoor Navigation (VIN)

abstract: Visual Indoor Navigation (VIN) task has drawn increasing attention from the data-driven machine learning communities especially with the recently reported success from learning-based methods. Due to the innate complexity of this task, researchers have tried approaching the problem from a variety of different angles, the full scope of which has not yet been captured within an overarching report. This survey first summarizes the representative work of learning-based approaches for the VIN task and then identifies and discusses lingering issues impeding the VIN performance, as well as motivates future research in these key areas worth exploring for the community.


title: Stochastic Dynamics, Large Deviations Principle, and Non-equilibrium Thermodynamics

abstract: By examining the deterministic limit of a general $\epsilon$-dependent generator for Markovian dynamics, which includes the continuous Fokker-Planck equations and discrete chemical master equations as two special cases, the intrinsic connections among mesoscopic stochastic dynamics, deterministic ODEs or PDEs, large deviations rate function, and macroscopic thermodynamic potential are established. Our result not only solves the long-lasting question on the origin of entropy function in classical irreversible thermodynamics, but also reveals an emergent feature that arises automatically during the deterministic limit, through its large deviations rate function, with both time-reversible dynamics equipped with a Hamiltonian function and time-irreversible dynamics equipped with an entropy function.


title: Multitask Learning and Multistage Fusion for Dimensional Audiovisual Emotion Recognition

abstract: Due to its ability to accurately predict emotional state using multimodal features, audiovisual emotion recognition has recently gained more interest from researchers. This paper proposes two methods to predict emotional attributes from audio and visual data using a multitask learning and a fusion strategy. First, multitask learning is employed by adjusting three parameters for each attribute to improve the recognition rate. Second, a multistage fusion is proposed to combine results from various modalities' final prediction. Our approach used multitask learning, employed at unimodal and early fusion methods, shows improvement over single-task learning with an average CCC score of 0.431 compared to 0.297. A multistage method, employed at the late fusion approach, significantly improved the agreement score between true and predicted values on the development set of data (from [0.537, 0.565, 0.083] to [0.68, 0.656, 0.443]) for arousal, valence, and liking.


title: Computational Aspects of Geometric Algebra Products of Two Homogeneous Multivectors

abstract: Studies on time and memory costs of products in geometric algebra have been limited to cases where multivectors with multiple grades have only non-zero elements. This allows to design efficient algorithms for a generic purpose; however, it does not reflect the practical usage of geometric algebra. Indeed, in applications related to geometry, multivectors are likely to be full homogeneous, having their non-zero elements over a single grade. In this paper, we provide a complete computational study on geometric algebra products of two full homogeneous multivectors, that is, the outer, inner, and geometric products of two full homogeneous multivectors. We show tight bounds on the number of the arithmetic operations required for these products. We also show that algorithms exist that achieve this number of arithmetic operations.


title: The Statistical Foundation of Entropy in Extended Irreversible Thermodynamics

abstract: In the theory of extended irreversible thermodynamics (EIT), the flux-dependent entropy function plays a key role and has a fundamental distinction from the usual flux-independent entropy function adopted by classical irreversible thermodynamics (CIT). However, its existence, as a prerequisite for EIT, and its statistical origin have never been justified. In this work, by studying the macroscopic limit of an \epsilon-dependent Langevin dynamics, which admits a large deviations (LD) principle, we show that the stationary LD rate functions of probability density p_{\epsilon}(x; t) and joint probability density p_{\epsilon}(x; \dot{x}; t) actually turn out to be the desired fluxindependent entropy function in CIT and flux-dependent entropy function in EIT respectively. The difference of the two entropy functions is determined by the time resolution for Brownian motions times a Lagrangian, the latter arises from the LD Hamilton-Jacobi equation and can be used for constructing conserved Lagrangian/Hamiltonian dynamics.


title: Assessing Graph-based Deep Learning Models for Predicting Flash Point

abstract: Flash points of organic molecules play an important role in preventing flammability hazards and large databases of measured values exist, although millions of compounds remain unmeasured. To rapidly extend existing data to new compounds many researchers have used quantitative structure-property relationship (QSPR) analysis to effectively predict flash points. In recent years graph-based deep learning (GBDL) has emerged as a powerful alternative method to traditional QSPR. In this paper, GBDL models were implemented in predicting flash point for the first time. We assessed the performance of two GBDL models, message-passing neural network (MPNN) and graph convolutional neural network (GCNN), by comparing methods. Our result shows that MPNN both outperforms GCNN and yields slightly worse but comparable performance with previous QSPR studies. The average R2 and Mean Absolute Error (MAE) scores of MPNN are, respectively, 2.3% lower and 2.0 K higher than previous comparable studies. To further explore GBDL models, we collected the largest flash point dataset to date, which contains 10575 unique molecules. The optimized MPNN gives a test data R2 of 0.803 and MAE of 17.8 K on the complete dataset. We also extracted 5 datasets from our integrated dataset based on molecular types (acids, organometallics, organogermaniums, organosilicons, and organotins) and explore the quality of the model in these classes.against 12 previous QSPR studies using more traditional


title: Quantum B-algebras with involutions

abstract: The aim of this paper is to define and study the involutive and weakly involutive quantum B-algebras. We prove that any weakly involutive quantum B-algebra is a quantum B-algebra with pseudo-product. As an application, we introduce and investigate the notions of existential and universal quantifiers on involutive quantum B-algebras. It is proved that there is a one-to-one correspondence between the quantifiers on weakly involutive quantum B-algebras. One of the main results consists of proving that any pair of quantifiers is a monadic operator on weakly involutive quantum B-algebras. We investigate the relationship between quantifiers on bounded sup-commutative pseudo BCK-algebras and quantifiers on other related algebraic structures, such as pseudo MV-algebras and bounded Wajsberg hoops.


title: Two-body repulsive bound pairs in multi-body interacting Bose-Hubbard model

abstract: We study the system of multi-body interacting bosons on a two dimensional optical lattice and analyze the formation of bound bosonic pairs in the context of the Bose-Hubbard model. Assuming a repulsive two-body interaction we obtain the signatures of pair formation in the regions between the Mott insulator lobes of the phase diagram for different choices of higher order local interactions. Considering the most general Bose-Hubbard model involving local multi-body interactions we investigate the ground state properties utilizing the cluster mean-field theory approach and further confirm the results by means of sophisticated infinite Projected Entangled Pair States calculations. By using various order parameters, we show that the choice of higher-order interaction can lead to pair superfluid phase in the system between two different Mott lobes. We also analyze the effect of temperature and density-dependent tunneling to establish the stability of the PSF phase.


title: Can we have it all? On the Trade-off between Spatial and Adversarial Robustness of Neural Networks

abstract: (Non-)robustness of neural networks to small, adversarial pixel-wise perturbations, and as more recently shown, to even random spatial transformations (e.g., translations, rotations) entreats both theoretical and empirical understanding. Spatial robustness to random translations and rotations is commonly attained via equivariant models (e.g., StdCNNs, GCNNs) and training augmentation, whereas adversarial robustness is typically achieved by adversarial training. In this paper, we prove a quantitative trade-off between spatial and adversarial robustness in a simple statistical setting. We complement this empirically by showing that: (a) as the spatial robustness of equivariant models improves by training augmentation with progressively larger transformations, their adversarial robustness worsens progressively, and (b) as the state-of-the-art robust models are adversarially trained with progressively larger pixel-wise perturbations, their spatial robustness drops progressively. Towards achieving pareto-optimality in this trade-off, we propose a method based on curriculum learning that trains gradually on more difficult perturbations (both spatial and adversarial) to improve spatial and adversarial robustness simultaneously.


title: A neural network model of perception and reasoning

abstract: How perception and reasoning arise from neuronal network activity is poorly understood. This is reflected in the fundamental limitations of connectionist artificial intelligence, typified by deep neural networks trained via gradient-based optimization. Despite success on many tasks, such networks remain unexplainable black boxes incapable of symbolic reasoning and concept generalization. Here we show that a simple set of biologically consistent organizing principles confer these capabilities to neuronal networks. To demonstrate, we implement these principles in a novel machine learning algorithm, based on concept construction instead of optimization, to design deep neural networks that reason with explainable neuron activity. On a range of tasks including NP-hard problems, their reasoning capabilities grant additional cognitive functions, like deliberating through self-analysis, tolerating adversarial attacks, and learning transferable rules from simple examples to solve problems of unencountered complexity. The networks also naturally display properties of biological nervous systems inherently absent in current deep neural networks, including sparsity, modularity, and both distributed and localized firing patterns. Because they do not sacrifice performance, compactness, or training time on standard learning tasks, these networks provide a new black-box-free approach to artificial intelligence. They likewise serve as a quantitative framework to understand the emergence of cognition from neuronal networks.


title: MGA: Momentum Gradient Attack on Network

abstract: The adversarial attack methods based on gradient information can adequately find the perturbations, that is, the combinations of rewired links, thereby reducing the effectiveness of the deep learning model based graph embedding algorithms, but it is also easy to fall into a local optimum. Therefore, this paper proposes a Momentum Gradient Attack (MGA) against the GCN model, which can achieve more aggressive attacks with fewer rewiring links. Compared with directly updating the original network using gradient information, integrating the momentum term into the iterative process can stabilize the updating direction, which makes the model jump out of poor local optimum and enhance the method with stronger transferability. Experiments on node classification and community detection methods based on three well-known network embedding algorithms show that MGA has a better attack effect and transferability.


title: Improved Extension Protocols for Byzantine Broadcast and Agreement

abstract: Byzantine broadcast (BB) and Byzantine agreement (BA) are two most fundamental problems and essential building blocks in distributed computing, and improving their efficiency is of interest to both theoreticians and practitioners. In this paper, we study extension protocols of BB and BA, i.e., protocols that solve BB/BA with long inputs of $l$ bits using lower costs than $l$ single-bit instances. We present new protocols with improved communication complexity in almost all settings: authenticated BA/BB with $t<n/2$, authenticated BB with $t<(1-\epsilon)n$, unauthenticated BA/BB with $t<n/3$, and asynchronous reliable broadcast and BA with $t<n/3$. The new protocols are advantageous and significant in several aspects. First, they achieve the best-possible communication complexity of $\Theta(nl)$ for wider ranges of input sizes compared to prior results. Second, the authenticated extension protocols achieve optimal communication complexity given the current best available BB/BA protocols for short messages. Third, to the best of our knowledge, our asynchronous and authenticated protocols in the setting are the first extension protocols in that setting.


title: Wood-Saxon alpha potential for p-nuclei $^{106}$Cd and $^{113}$In

abstract: Alpha elastic scattering of p-nuclei were studied for calculating optical potentials. Choice of the $\alpha$-optical potentials are important to measure the reaction rates of p-process. $^{106}$Cd$(\alpha,\alpha)^{106}$Cd and $^{113}$In$(\alpha,\alpha)^{113}$In elastic scattering cross-section data were used to determine the potential parameter sets at E$_{lab}$= 16.1-27 MeV for $^{106}$Cd and E$_{lab}$=16.14, 19.4 MeV for $^{113}$In system. A Wood-Saxon potential form factor is used for both real and imaginary part. The potential parameters extracted in the present study exhibit a satisfactory result with respect to existing global potential parameters.


title: Convergence to Second-Order Stationarity for Non-negative Matrix Factorization: Provably and Concurrently

abstract: Non-negative matrix factorization (NMF) is a fundamental non-convex optimization problem with numerous applications in Machine Learning (music analysis, document clustering, speech-source separation etc). Despite having received extensive study, it is poorly understood whether or not there exist natural algorithms that can provably converge to a local minimum. Part of the reason is because the objective is heavily symmetric and its gradient is not Lipschitz. In this paper we define a multiplicative weight update type dynamics (modification of the seminal Lee-Seung algorithm) that runs concurrently and provably avoids saddle points (first order stationary points that are not second order). Our techniques combine tools from dynamical systems such as stability and exploit the geometry of the NMF objective by reducing the standard NMF formulation over the non-negative orthant to a new formulation over (a scaled) simplex. An important advantage of our method is the use of concurrent updates, which permits implementations in parallel computing environments.


title: Optimizing hospital distribution across districts for reducing tuberculosis fatalities

abstract: The spatial distributions of diverse facilities are often understood in terms of the optimization of the commute distance or the economic profit. Incorporating more general objective functions into such optimization framework may be useful, helping the policy decisions to meet various social and economic demands. As an example, we consider how hospitals should be distributed to minimize the total fatalities of tuberculosis (TB). The empirical data of Korea shows that the fatality rate of TB in a district decreases with the areal density of hospitals, implying their correlation and the possibility of reducing the nationwide fatalities by adjusting the hospital distribution across districts. Approximating the fatality rate by the probability of a patient not to visit a hospital in her/his residential district for the duration period of TB and evaluating the latter probability in the random-walk framework, we obtain the fatality rate as an exponential function of the hospital density with a characteristic constant related to each district's effective lattice constant estimable empirically. This leads us to the optimal hospital distribution which finds the hospital density in a district to be a logarithmic function of the rescaled patient density. The total fatalities is reduced by 13\% with this optimum. The current hospital density deviates from the optimized one in different manners from district to district, which is analyzed in the proposed model framework. The assumptions and limitations of our study are also discussed.


title: Search for dijet resonances in events with an isolated charged lepton using $\sqrt{s} = 13$ TeV proton-proton collision data collected by the ATLAS detector

abstract: A search for dijet resonances in events with at least one isolated charged lepton is performed using $139~{\text{fb}}^{-1}$ of $\sqrt{s}=13$ TeV proton-proton collision data recorded by the ATLAS detector at the LHC. The dijet invariant-mass ($m_{jj}$) distribution constructed from events with at least one isolated electron or muon is searched in the region $0.22 < m_{jj} < 6.3$ TeV for excesses above a smoothly falling background from Standard Model processes. Triggering based on the presence of a lepton in the event reduces limitations imposed by minimum transverse momentum thresholds for triggering on jets. This approach allows smaller dijet invariant masses to be probed than in inclusive dijet searches, targeting a variety of new-physics models, for example ones in which a new state is produced in association with a leptonically decaying $W$ or $Z$ boson. No statistically significant deviation from the Standard Model background hypothesis is found. Limits on contributions from generic Gaussian signals with widths ranging from that determined by the detector resolution up to 15% of the resonance mass are obtained for dijet invariant masses ranging from 0.25 TeV to 6 TeV. Limits are set also in the context of several scenarios beyond the Standard Model, such as the Sequential Standard Model, a technicolor model, a charged Higgs boson model and a simplified Dark Matter model.


title: Fail-safe Flight of a Fully-Actuated Quadcopter in a Single Motor Failure

abstract: In this paper, we introduce a new quadcopter fail-safe flight solution that can perform the same four controllable degrees-of-freedom flight as a regular multirotor even when a single thruster fails. The new solution employs a novel multirotor platform known as the T3-Multirotor and utilizes a distinctive strategy of actively controlling the center of gravity position to restore the nominal flight performance. A dedicated control structure is introduced, along with a detailed analysis of the dynamic characteristics of the platform that change during emergency flights. Experimental results are provided to validate the feasibility of the proposed fail-safe flight strategy.


title: ParasNet: Fast Parasites Detection with Neural Networks

abstract: Deep learning has dramatically improved the performance in many application areas such as image classification, object detection, speech recognition, drug discovery and etc since 2012. Where deep learning algorithms promise to discover the intricate hidden information inside the data by leveraging the large dataset, advanced model and computing power. Although deep learning techniques show medical expert level performance in a lot of medical applications, but some of the applications are still not explored or under explored due to the variation of the species. In this work, we studied the bright field based cell level Cryptosporidium and Giardia detection in the drink water with deep learning. Our experimental demonstrates that the new developed deep learning-based algorithm surpassed the handcrafted SVM based algorithm with above 97 percentage in accuracy and 700+fps in speed on embedded Jetson TX2 platform. Our research will lead to real-time and high accuracy label-free cell level Cryptosporidium and Giardia detection system in the future.


title: Rethinking Bias-Variance Trade-off for Generalization of Neural Networks

abstract: The classical bias-variance trade-off predicts that bias decreases and variance increase with model complexity, leading to a U-shaped risk curve. Recent work calls this into question for neural networks and other over-parameterized models, for which it is often observed that larger models generalize better. We provide a simple explanation for this by measuring the bias and variance of neural networks: while the bias is monotonically decreasing as in the classical theory, the variance is unimodal or bell-shaped: it increases then decreases with the width of the network. We vary the network architecture, loss function, and choice of dataset and confirm that variance unimodality occurs robustly for all models we considered. The risk curve is the sum of the bias and variance curves and displays different qualitative shapes depending on the relative scale of bias and variance, with the double descent curve observed in recent literature as a special case. We corroborate these empirical results with a theoretical analysis of two-layer linear networks with random first layer. Finally, evaluation on out-of-distribution data shows that most of the drop in accuracy comes from increased bias while variance increases by a relatively small amount. Moreover, we find that deeper models decrease bias and increase variance for both in-distribution and out-of-distribution data.


title: A greedy non-intrusive reduced order model for shallow water equations

abstract: In this work, we develop Non-Intrusive Reduced Order Models (NIROMs) that combine Proper Orthogonal Decomposition (POD) with a Radial Basis Function (RBF) interpolation method to construct efficient reduced order models for time-dependent problems arising in large scale environmental flow applications. The performance of the POD-RBF NIROM is compared with a traditional nonlinear POD (NPOD) model by evaluating the accuracy and robustness for test problems representative of riverine flows. Different greedy algorithms are studied in order to determine a near-optimal distribution of interpolation points for the RBF approximation. A new power-scaled residual greedy (psr-greedy) algorithm is proposed to address some of the primary drawbacks of the existing greedy approaches. The relative performances of these greedy algorithms are studied with numerical experiments using realistic two-dimensional (2D) shallow water flow applications involving coastal and riverine dynamics.


title: Rational approximation and its application to improving deep learning classifiers

abstract: A rational approximation by a ratio of polynomial functions is a flexible alternative to polynomial approximation. In particular, rational functions exhibit accurate estimations to nonsmooth and non- Lipschitz functions, where polynomial approximations are not efficient. We prove that the optimisation problems appearing in the best uniform rational approximation are quasiconvex, and show how to use this fact for calculating the best approximation in a fast and efficient method. The paper presents a theoretical study of the arising optimisation problems and provides results of several numerical experiments. In all our computations, the algorithms terminated at optimal solutions. We apply our approximation as a preprocess step to deep learning classifiers and demonstrate that the classification accuracy is significantly improved compared to the classification of the raw signals.


title: Romu: Fast Nonlinear Pseudo-Random Number Generators Providing High Quality

abstract: We introduce the Romu family of pseudo-random number generators (PRNGs) which combines the nonlinear operation of rotation with the linear operations of multiplication and (optionally) addition. Compared to conventional linear-only PRNGs, this mixture of linear and nonlinear operations achieves a greater degree of randomness using the same number of arithmetic operations. Or equivalently, it achieves the same randomness with fewer operations, resulting in higher speed. The statistical properties of these generators are strong, as they pass BigCrush and PractRand -- the most stringent test suites available. In addition, Romu generators take maximum advantage of instruction-level parallelism in modern superscalar processors, giving them an output latency of zero clock-cycles when inlined, thus adding no delay to an application. Scaled-down versions of these generators can be created and tested, enabling one to estimate the maximum number of values the full-size generators can supply before their randomness declines, ensuring the success of large jobs. Such capacity-estimates are rare for conventional PRNGs. A linear PRNG has a single cycle of states of known length comprising almost all possible states. However, a Romu generator computes pseudo-random permutations of those states, creating multiple cycles with pseudo-random lengths which cannot be determined by theory. But the ease of creating state-sizes of 128 or more bits allows (1) short cycles to be constrained to vanishingly low probabilities, and (2) thousands of parallel streams to be created having infinitesimal probabilities of overlap.


title: Structured Linear Contextual Bandits: A Sharp and Geometric Smoothed Analysis

abstract: Bandit learning algorithms typically involve the balance of exploration and exploitation. However, in many practical applications, worst-case scenarios needing systematic exploration are seldom encountered. In this work, we consider a smoothed setting for structured linear contextual bandits where the adversarial contexts are perturbed by Gaussian noise and the unknown parameter $\theta^*$ has structure, e.g., sparsity, group sparsity, low rank, etc. We propose simple greedy algorithms for both the single- and multi-parameter (i.e., different parameter for each context) settings and provide a unified regret analysis for $\theta^*$ with any assumed structure. The regret bounds are expressed in terms of geometric quantities such as Gaussian widths associated with the structure of $\theta^*$. We also obtain sharper regret bounds compared to earlier work for the unstructured $\theta^*$ setting as a consequence of our improved analysis. We show there is implicit exploration in the smoothed setting where a simple greedy algorithm works.


title: Orbital ordering of ultracold alkaline-earth atoms in optical lattices

abstract: We report on a dynamical mean-field theoretical analysis of emerging low-temperature phases in multicomponent gases of fermionic alkaline-earth(-like) atoms in state-dependent optical lattices. Using the example of $^{173}$Yb atoms, we show that a two-orbital mixture with two nuclear spin components is a promising candidate for studies of not only magnetic but also staggered orbital ordering peculiar to certain solid-state materials. We calculate and study the phase diagram of the full Hamiltonian with parameters similar to existing experiments and reveal an antiferroorbital phase. This long-range-ordered phase is inherently stable, and we analyze the change of local and global observables across the corresponding transition lines, paving the way for experimental observations. Furthermore, we suggest a realistic extension of the system to include and probe a Jahn-Teller source field playing one of the key roles in real crystals.


title: Total Dominator Total Chromatic Numbers of Wheels, Complete bipartite graphs and Complete graphs

abstract: Total dominator total coloring of a graph is a total coloring of the graph such that each object of the graph is adjacent or incident to every object of some color class. The minimum namber of the color classes of a total dominator total coloring of a graph is called the total dominator total chromatic number of the graph. Here, we will find the total dominator chromatic numbers of wheels, complete bipartite graphs and complete graphs.


title: Multi-Dimensional Normal Approximation of Heavy-Tailed Moving Averages

abstract: In this paper we extend the refined second-order Poincar\'e inequality for Poisson functionals from a one-dimensional to a multi-dimensional setting. Its proof is based on a multivariate version of the Malliavin-Stein method for normal approximation on Poisson spaces. We also present an application to partial sums of vector-valued functionals of heavy-tailed moving averages. The extension allows a functional with multivariate arguments, i.e. multiple moving averages and also multivariate values of the functional. Such a set-up has previously not been explored in the framework of stable moving average processes. It can potentially capture probabilistic properties which cannot be described solely by the one-dimensional marginals, but instead require the joint distribution.


title: A light-weight and high thermal performance graphene heat pipe

abstract: Heat pipe is one of the most efficient tools for heat dissipation in electronics and power systems. Currently, heat pipes are usually made of copper, aluminum or stainless steel. Due to their relatively high density and limited heat transmission capacity, heat pipes are facing urgent challenges in power electronics and power modules. In this paper, we report a new class of graphene enhanced heat pipes that can cope with these issues. The graphene enhanced heat pipes are made of high thermal conductivity graphene assembled film and graphene laminated copper films with nanostructure enhanced inner surfaces. The study shows that the dramatically improved heat dissipation capacity, 6100 W m-2 K-1 g-1, about 3 times higher than that of copper based commercial heat pipes can be achieved. This paves the way for using graphene enhanced heat pipes in light-weight and large capacity cooling applications, as required in many systems such as avionics, automotive electronics, laptop computers, handsets and space electronics.


title: Fast Linear Convergence of Randomized BFGS

abstract: Since the late 1950's when quasi-Newton methods first appeared, they have become one of the most widely used and efficient algorithmic paradigms for unconstrained optimization. Despite their immense practical success, there is little theory that shows why these methods are so efficient. We provide a semi-local rate of convergence for the randomized BFGS method which can be significantly better than that of gradient descent, finally giving theoretical evidence supporting the superior empirical performance of the method.


title: Refined Gate: A Simple and Effective Gating Mechanism for Recurrent Units

abstract: Recurrent neural network (RNN) has been widely studied in sequence learning tasks, while the mainstream models (e.g., LSTM and GRU) rely on the gating mechanism (in control of how information flows between hidden states). However, the vanilla gates in RNN (e.g., the input gate in LSTM) suffer from the problem of gate undertraining, which can be caused by various factors, such as the saturating activation functions, the gate layouts (e.g., the gate number and gating functions), or even the suboptimal memory state etc.. Those may result in failures of learning gating switch roles and thus the weak performance. In this paper, we propose a new gating mechanism within general gated recurrent neural networks to handle this issue. Specifically, the proposed gates directly short connect the extracted input features to the outputs of vanilla gates, denoted as refined gates. The refining mechanism allows enhancing gradient back-propagation as well as extending the gating activation scope, which can guide RNN to reach possibly deeper minima. We verify the proposed gating mechanism on three popular types of gated RNNs including LSTM, GRU and MGU. Extensive experiments on 3 synthetic tasks, 3 language modeling tasks and 5 scene text recognition benchmarks demonstrate the effectiveness of our method.


title: Generalized maps between diffeological spaces

abstract: By utilizing the idea of Colombeau's generalized function, we introduce a notion of asymptotic map between arbitrary diffeological spaces. The category consisting of diffeological spaces and asymptotic maps is enriched over the category of diffeological spaces, and inherits completeness and cocompleteness. In particular, the set of asymptotic functions on a Euclidean open set include Schwartz distributions and form a Colombeau type smooth differential algebra over Robinson's field of asymptotic numbers. To illustrate the usefulness of our machinery, we show that homotopy extension property can be established for smooth relative cell complexes if we exploit asymptotic maps instead of smooth ones.


title: Numerical Solution of Inverse Problems by Weak Adversarial Networks

abstract: We consider a weak adversarial network approach to numerically solve a class of inverse problems, including electrical impedance tomography and dynamic electrical impedance tomography problems. We leverage the weak formulation of PDE in the given inverse problem, and parameterize the solution and the test function as deep neural networks. The weak formulation and the boundary conditions induce a minimax problem of a saddle function of the network parameters. As the parameters are alternatively updated, the network gradually approximates the solution of the inverse problem. We provide theoretical justifications on the convergence of the proposed algorithm. Our method is completely mesh-free without any spatial discretization, and is particularly suitable for problems with high dimensionality and low regularity on solutions. Numerical experiments on a variety of test inverse problems demonstrate the promising accuracy and efficiency of our approach.


title: Enhanced nearby and vanishing cycles in dimension one and Fourier transform

abstract: Enhanced ind-sheaves provide a suitable framework for the irregular Riemann-Hilbert correspondence. In this paper, we give some precisions on nearby and vanishing cycles for enhanced perverse objects in dimension one. As an application, we give a topological proof of the following fact. Let $\mathcal M$ be a holonomic algebraic $\mathcal D$-module on the affine line, and denote by ${}^{\mathsf{L}}\mathcal M$ its Fourier-Laplace transform. For a point $a$ on the affine line, denote by $\ell_a$ the corresponding linear function on the dual affine line. Then, the vanishing cycles of $\mathcal M$ at $a$ are isomorphic to the graded component of degree $\ell_a$ of the Stokes filtration of ${}^{\mathsf{L}}\mathcal M$ at infinity.


title: Asymmetric Streaming Algorithms for Edit Distance and LCS

abstract: The edit distance (ED) and longest common subsequence (LCS) are two fundamental problems which quantify how similar two strings are to one another. In this paper, we consider these problems in the asymmetric streaming model introduced by Andoni et al. (FOCS'10) and Saks and Seshadhri (SODA'13). In this model we have random access to one string and streaming access the other string. Our main contribution is a constant factor approximation algorithm for ED with the memory of $\tilde O(n^{\delta})$ for any constant $\delta > 0$. In addition to this, we present an upper bound of $\tilde O_\epsilon(\sqrt{n})$ on the memory needed to approximate ED or LCS within a factor $1+\epsilon$. All our algorithms are deterministic and run in a single pass. For approximating ED within a constant factor, we discover yet another application of triangle inequality, this time in the context of streaming algorithms. Triangle inequality has been previously used to obtain subquadratic time approximation algorithms for ED. Our technique is novel and elegantly utilizes triangle inequality to save memory at the expense of an exponential increase in the runtime.


title: HFEL: Joint Edge Association and Resource Allocation for Cost-Efficient Hierarchical Federated Edge Learning

abstract: Federated Learning (FL) has been proposed as an appealing approach to handle data privacy issue of mobile devices compared to conventional machine learning at the remote cloud with raw user data uploading. By leveraging edge servers as intermediaries to perform partial model aggregation in proximity and relieve core network transmission overhead, it enables great potentials in low-latency and energy-efficient FL. Hence we introduce a novel Hierarchical Federated Edge Learning (HFEL) framework in which model aggregation is partially migrated to edge servers from the cloud. We further formulate a joint computation and communication resource allocation and edge association problem for device users under HFEL framework to achieve global cost minimization. To solve the problem, we propose an efficient resource scheduling algorithm in the HFEL framework. It can be decomposed into two subproblems: \emph{resource allocation} given a scheduled set of devices for each edge server and \emph{edge association} of device users across all the edge servers. With the optimal policy of the convex resource allocation subproblem for a set of devices under a single edge server, an efficient edge association strategy can be achieved through iterative global cost reduction adjustment process, which is shown to converge to a stable system point. Extensive performance evaluations demonstrate that our HFEL framework outperforms the proposed benchmarks in global cost saving and achieves better training performance compared to conventional federated learning.


title: Spin-orbit-phonon interaction as an origin of helical-symmetry breaking spin-triplet superconducting state

abstract: The excess increase of the local field distribution width $\Delta H\equiv\sigma/\gamma_{\mu}$ (with $\gamma_{\mu}=135.5\,$MHz/T being the gyromagnetic ratio of $\mu^{+}$), and/or the spontaneous magnetic field $H_{\rm spon}$, have been reported in the superconducting state of a series of compounds more than 10 by $\mu$SR (muon spin rotation or relaxation) experiment. Sizes of these quantities are of the order of 1G on the whole. We propose that the increase of the local field distribution $\Delta H$ in those compounds, including ions with strong spin-orbit interaction of 5d electrons, such as La in LaNiGa$_2$ or Re in Re$_6$Zr, is possible through the cooperation of the spin-orbit coupling between the quasiparticles and ionic vibrations (phonons) and the conventional quasiparticles-phonon coupling, inducing the spin-triplet p-wave pairing with helical symmetry breaking superconducting state with chiral super spin current around stopped $\mu^{+}$ site. The size of $\Delta H$ is estimated as of the order of 1G, in consistent with experimental observations.


title: Jordan-Wigner Dualities for Translation-Invariant Hamiltonians in Any Dimension: Emergent Fermions in Fracton Topological Order

abstract: Inspired by recent developments generalizing Jordan-Wigner dualities to higher dimensions, we develop a framework of such dualities using an algebraic formalism for translation-invariant Hamiltonians proposed by Haah. We prove that given a translation-invariant fermionic system with general $q$-body interactions, where $q$ is even, a local mapping preserving global fermion parity to a dual Pauli spin model exists and is unique up to a choice of basis. Furthermore, the dual spin model is constructive, and we present various examples of these dualities. As an application, we bosonize fermionic systems where free-fermion hopping terms are absent ($q \ge 4$) and fermion parity is conserved on submanifolds such as higher-form, line, planar or fractal symmetry. For some cases in 3+1D, bosonizing such a system can give rise to fracton models where the emergent particles are immobile but yet can behave in certain ways like fermions. These models may be examples of new nonrelativistic 't Hooft anomalies. Furthermore, fermionic subsystem symmetries are also present in various Majorana stabilizer codes, such as the color code or the checkerboard model, and we give examples where their duals are cluster states or new fracton models distinct from their doubled CSS codes.

categories: cond-mat.str-el cond-mat.stat-mech hep-th math-ph math.MP quant-ph


title: Effect of the tangential NBI current drive on the stability of pressure and energetic particle driven MHD modes in LHD plasma

abstract: The aim of the present study is to analyze the stability of the pressure gradient driven modes (PM) and Alfven eigenmodes (AE) in the Large Helical Device (LHD) plasma if the rotational transform profile is modified by the current drive of the tangential neutral beam injectors (NBI). This study forms a basic search for optimized operation scenarios with reduced mode activity. The analysis is performed using the code FAR3d which solves the reduced MHD equations describing the linear evolution of the poloidal flux and the toroidal component of the vorticity in a full 3D system, coupled with equations for density and parallel velocity moments of the energetic particle (EP) species, including the effect of the acoustic modes. The Landau damping and resonant destabilization effects are added via the closure relation. On-axis and off-axis NBI current drive modifies the rotational transform which becomes strongly distorted as the intensity of the neutral beam current drive (NBCD) increases, leading to wider continuum gaps and modifying the magnetic shear. The simulations with on-axis NBI injection show that a counter (ctr-) NBCD in inward shifted and default configurations leads to a lower growth rate of the PM, although strong n=1 and 2 AEs can be destabilized. For the outward shifted configurations, a co-NBCD improves the AEs stability but the PM are further destabilized if the co-NBCD intensity is 30 kA/T. If the NBI injection is off-axis, the plasma stability is not significantly improved due to the further destabilization of the AE and energetic particle modes (EPM) in the middle and outer plasma region.


title: A multi-sided generalization of the $C^0$ Coons patch

abstract: Most multi-sided transfinite surfaces require cross-derivatives at the boundaries. Here we show a general $n$-sided patch that interpolates all boundaries based on only positional information. The surface is a weighted sum of $n$ Coons patches, using a parameterization based on Wachspress coordinates.


title: Chiral Radiation Transport Theory of Neutrinos

abstract: We construct the chiral radiation transport equation for left-handed neutrinos in the context of radiation hydrodynamics for core-collapse supernovae. Based on the chiral kinetic theory incorporating quantum corrections due to the chirality of fermions, we derive a general relativistic form of the chiral transfer equation with collisions. We show that such quantum corrections explicitly break the spherical symmetry and axisymmetry of the system. In the inertial frame, in particular, we find that the so-called side jump leads to quantum corrections in the collisions between neutrinos and matter. We also derive analytic forms of such corrections in the emission and absorption rates for the neutrino absorption process. These corrections result in the generation of kinetic helicity and cross helicity of matter, which should then modify the subsequent evolution of matter. This theoretical framework can be applied to investigate the impacts of the chirality of neutrinos on the evolution of core-collapse supernovae.


title: Designing Truthful Contextual Multi-Armed Bandits based Sponsored Search Auctions

abstract: For sponsored search auctions, we consider contextual multi-armed bandit problem in the presence of strategic agents. In this setting, at each round, an advertising platform (center) runs an auction to select the best-suited ads relevant to the query posted by the user. It is in the best interest of the center to select an ad that has a high expected value (i.e., probability of getting a click $\times$ value it derives from a click of the ad). The probability of getting a click (CTR) is unknown to the center and depends on the user's profile (context) posting the query. Further, the value derived for a click is the private information to the advertiser and thus needs to be elicited truthfully. The existing solution in this setting is not practical as it suffers from very high regret ($O(T^{\frac{2}{3}})$).


title: Singlet state encoded magnetic resonance (SISTEM) spectroscopy

abstract: Magnetic resonance spectroscopy (MRS) allows the analysis of biochemical processes non invasively and in vivo. Still, its application in clinical diagnostics is rare. Routine MRS is limited to spatial, chemical and temporal resolutions of cubic centimetres, mM and minutes. In fact, the signal of many metabolites is strong enough for detection, but the resonances significantly overlap, exacerbating identification and quantification. In addition, the signals of water and lipids are much stronger and dominate the entire spectrum. To suppress the background and isolate selected signals, usually, relaxation times, J-coupling and chemical shifts are used. Here, we propose methods to isolate the signals of selected molecular groups within endogenous metabolites by using long-lived spin states (LLS). We exemplify the method by preparing the LLSs of coupled protons in the endogenous molecules N-acetyl-L-aspartic acid (NAA). First, we store polarization in long-lived, double spin states and then apply saturation pulses and double quantum filters to suppress background signals. We show that LLS can be used to selectively prepare and measure the signals of chosen metabolites or drugs in the presence of water, inhomogeneous field and highly concentrated fatty solutions. The pH measurement presented here is one of the possible applications.


title: Slave-rotor theory on magic-angle twisted bilayer graphene

abstract: We investigate the correlated electrons in the magic-angle twisted bilayer graphene by using the slave-rotor mean-field theory. Owing to the extended figure of Wannier orbitals, we study the two-orbital cluster Hubbard model with spin-valley fourfold degeneracy, focusing around half filling of valence bands below the neutrality point. The theory predicts multiple Mott insulator phases at fractional fillings not only for integer charges per moir{\'e} site, and it demonstrates that long-range electron hopping is highly suppressed because multiple-charge excitations are induced. Furthermore, the Kekul{\'e} valence bond order is investigated and is found to extend the Mott insulator phases to occupy a finite doping region. Adjacent to Mott insulator phases, superconducting domes emerges by virtue of spin-valley fluctuations. This work has provided a primal understanding and interesting phenomena of the correlated system, and for its novel interaction the model might produce plenty of possibilities waiting to be explored.


title: Quantum simulation for three-dimensional chiral topological insulator

abstract: Quantum simulation, as a state-of-art technique, provides the powerful way to explore topological quantum phases beyond natural limits. Nevertheless, a previously-not-realized three-dimensional (3D) chiral topological insulator, and demonstrate by quantum quenches a complete study of both the bulk and surface topological physics. First, a dynamical bulk-surface correspondence in momentum space is observed, showing that the bulk topology of the 3D phase uniquely corresponds to the nontrivial quench dynamics emerging on 2D momentum hypersurfaces called band inversion surfaces (BISs), equivalent to the bulk-boundary correspondence in real space. Further, the symmetry protection of the 3D chiral phase is uncovered by measuring dynamical spin textures on BISs, which exhibit perfect (broken) topology when the chiral symmetry is preserved (broken). Finally we measure the topological charges to characterize directly the bulk topology, and identify an emergent dynamical topological transition when varying the quenches from deep to shallow regimes. This work opens a new avenue of quantum simulation towards for the complete study of topological quantum phases.


title: A note on Assmus--Mattson type theorems

abstract: In the present paper, we give Assmus--Mattson type theorems for codes and lattices. We show that a binary doubly even self-dual code of length 24m with minimum weight 4m provides a combinatorial 1-design and an even unimodular lattice of rank 24m with minimum norm 2m provides a spherical 3-design. We remark that some of such codes and lattices give t-designs for higher t. As a corollary, we give some restrictions on the weight enumerators of binary doubly even self-dual codes of length 24m with minimum weight 4m. Ternary and quaternary analogues are also given.


title: Acene:spacer blends show exothermic singlet fission to proceed coherently, while endothermic fission proceeds incoherently

abstract: The fission of singlet excitons into triplet pairs in organic materials holds great technological promise, but the rational application of this phenomenon is hampered by a lack of understanding of its complex photophysics. Here, we use the controlled introduction of vacancies by means of spacer molecules in tetracene and pentacene thin films as a tuning parameter complementing experimental observables to identify the operating principles of different singlet fission pathways. Time-resolved spectroscopic measurements in combination with microscopic modelling enables us to demonstrate distinct scenarios, resulting from different singlet-to-triplet energy alignments. For exothermic fission, as found for pentacene, coherent mixing between the photoexcited singlet and triplet pair states is promoted by vibronic resonances, which drives the fission process with little sensitivity to the vacancy concentration. For endothermic materials, such as tetracene, the impossibility of such vibronic resonances renders fission fully incoherent; a process that is shown to slow down with vacancy concentration.


title: Multi-messenger constraints on the neutron-star equation of state and the Hubble constant

abstract: Observations of neutron-star mergers based on distinct messengers, including gravitational waves and electromagnetic signals, can be used to study the behavior of matter denser than an atomic nucleus, and to measure the expansion rate of the Universe described by the Hubble constant. We perform a joint analysis of the gravitational-wave signal GW170817 with its electromagnetic counterparts AT2017gfo and GRB170817A, and the gravitational-wave signal GW190425, both originating from neutron-star mergers. We combine these with previous measurements of pulsars using X-ray and radio observations, and nuclear-theory computations using chiral effective field theory to constrain the neutron-star equation of state. We find that the radius of a $1.4$ solar mass neutron star is $11.75^{+0.86}_{-0.81}\ \rm km$ at $90\%$ confidence and the Hubble constant is $66.2^{+4.4}_{-4.2}\ \rm km \,Mpc^{-1}\, s^{-1}$ at $1\sigma$ uncertainty.


title: BUT System for the Second DIHARD Speech Diarization Challenge

abstract: This paper describes the winning systems developed by the BUT team for the four tracks of the Second DIHARD Speech Diarization Challenge. For tracks 1 and 2 the systems were mainly based on performing agglomerative hierarchical clustering (AHC) of x-vectors, followed by another x-vector clustering based on Bayes hidden Markov model and variational Bayes inference. We provide a comparison of the improvement given by each step and share the implementation of the core of the system. For tracks 3 and 4 with recordings from the Fifth CHiME Challenge, we explored different approaches for doing multi-channel diarization and our best performance was obtained when applying AHC on the fusion of per channel probabilistic linear discriminant analysis scores.


title: Asymptotic expansions for the Large Scale Structure

abstract: We explore the deep ultraviolet (that is, short-distance) limit of the power spectrum (PS) and of the correlation function of a cold dark matter dominated Universe. While for large scales the PS can be written as a double series expansion, in powers of the linear PS and of the wavenumber $k$, we show that, in the opposite limit, it can be expressed via an expansion in powers of the form $1/k^{d+2n}$, where $d$ is the number of spatial dimensions, and $n$ is a non negative integer. The coefficients of the terms of the expansion are nonperturbative in the linear PS, and can be interpreted in terms of the probability density function for the displacement field, evaluated around specific configurations of the latter, that we identify. In the case of the Zel'dovich dynamics, these coefficients can be determined analytically, whereas for the exact dynamics they can be treated as fit, or nuisance, parameters. We confirm our findings with numerical simulations and discuss the necessary steps to match our results to those obtained for larger scales and to actual measurements.


title: Perihelion librations in the secular three--body problem

abstract: A normal form theory for non--quasi--periodic systems is combined with the special properties of the partially averaged Newtonian potential pointed out in [15] to prove, in the averaged, planar three--body problem, the existence of a plenty of motions where, periodically, the perihelion of the inner body affords librations about one equilibrium position and its ellipse squeezes to a segment before reversing its direction and again decreasing its eccentricity (perihelion librations).


title: Rethinking the Route Towards Weakly Supervised Object Localization

abstract: Weakly supervised object localization (WSOL) aims to localize objects with only image-level labels. Previous methods often try to utilize feature maps and classification weights to localize objects using image level annotations indirectly. In this paper, we demonstrate that weakly supervised object localization should be divided into two parts: class-agnostic object localization and object classification. For class-agnostic object localization, we should use class-agnostic methods to generate noisy pseudo annotations and then perform bounding box regression on them without class labels. We propose the pseudo supervised object localization (PSOL) method as a new way to solve WSOL. Our PSOL models have good transferability across different datasets without fine-tuning. With generated pseudo bounding boxes, we achieve 58.00% localization accuracy on ImageNet and 74.97% localization accuracy on CUB-200, which have a large edge over previous models.


title: LASG: Lazily Aggregated Stochastic Gradients for Communication-Efficient Distributed Learning

abstract: This paper targets solving distributed machine learning problems such as federated learning in a communication-efficient fashion. A class of new stochastic gradient descent (SGD) approaches have been developed, which can be viewed as the stochastic generalization to the recently developed lazily aggregated gradient (LAG) method --- justifying the name LASG. LAG adaptively predicts the contribution of each round of communication and chooses only the significant ones to perform. It saves communication while also maintains the rate of convergence. However, LAG only works with deterministic gradients, and applying it to stochastic gradients yields poor performance. The key components of LASG are a set of new rules tailored for stochastic gradients that can be implemented either to save download, upload, or both. The new algorithms adaptively choose between fresh and stale stochastic gradients and have convergence rates comparable to the original SGD. LASG achieves impressive empirical performance --- it typically saves total communication by an order of magnitude.


title: Understanding Self-Training for Gradual Domain Adaptation

abstract: Machine learning systems must adapt to data distributions that evolve over time, in applications ranging from sensor networks and self-driving car perception modules to brain-machine interfaces. We consider gradual domain adaptation, where the goal is to adapt an initial classifier trained on a source domain given only unlabeled data that shifts gradually in distribution towards a target domain. We prove the first non-vacuous upper bound on the error of self-training with gradual shifts, under settings where directly adapting to the target domain can result in unbounded error. The theoretical analysis leads to algorithmic insights, highlighting that regularization and label sharpening are essential even when we have infinite data, and suggesting that self-training works particularly well for shifts with small Wasserstein-infinity distance. Leveraging the gradual shift structure leads to higher accuracies on a rotating MNIST dataset and a realistic Portraits dataset.


title: Feasible Joint Posterior Beliefs

abstract: We study the set of possible joint posterior belief distributions of a group of agents who share a common prior regarding a binary state, and who observe some information structure. For two agents we introduce a quantitative version of Aumann's Agreement Theorem, and show that it is equivalent to a characterization of feasible distributions due to Dawid et al. (1995). For any number of agents, we characterize feasible distributions in terms of a "no-trade" condition. We use these characterizations to study information structures with independent posteriors. We also study persuasion problems with multiple receivers, exploring the extreme feasible distributions.


title: Magnetic sensitivity of the Microwave Cryogenic Sapphire Oscillator

abstract: The Cryogenic Sapphire Oscillator is today recognized for its unprecedented frequency stability, mainly coming from the exceptional physical properties of its resonator made in a high quality sapphire crystal. With these instruments, the fractional frequency measurement resolution, currently of the order of 1e-16, is such that it is possible to detect very small phenomena like residual resonator environmental sensitivities. Thus, we highlighted an unexpected magnetic sensitivity of the Cryogenic Sapphire Oscillator (CSO) at low magnetic field. The fractional frequency sensitivity has been preliminary evaluated to 1e-13/Gauss, making this phenomenon a potential cause of frequency stability limitation. In this paper we report the experimental data related to the magnetic sensitivity of the quasi-transverse magnetic Whispering Gallery (WGH) modes excited in sapphire crystals differing from their paramagnetic contaminants concentration. The magnetic behavior of the WGH modes does not follow the expected theory combining the Curie law and the Zeeman effect affecting the Electron Spin Resonance of the paramagnetic ions present in the crystal.


title: Acceleration for Compressed Gradient Descent in Distributed and Federated Optimization

abstract: Due to the high communication cost in distributed and federated learning problems, methods relying on compression of communicated messages are becoming increasingly popular. While in other contexts the best performing gradient-type methods invariably rely on some form of acceleration/momentum to reduce the number of iterations, there are no methods which combine the benefits of both gradient compression and acceleration. In this paper, we remedy this situation and propose the first accelerated compressed gradient descent (ACGD) methods. In the single machine regime, we prove that ACGD enjoys the rate $O\Big((1+\omega)\sqrt{\frac{L}{\mu}}\log \frac{1}{\epsilon}\Big)$ for $\mu$-strongly convex problems and $O\Big((1+\omega)\sqrt{\frac{L}{\epsilon}}\Big)$ for convex problems, respectively, where $\omega$ is the compression parameter. Our results improve upon the existing non-accelerated rates $O\Big((1+\omega)\frac{L}{\mu}\log \frac{1}{\epsilon}\Big)$ and $O\Big((1+\omega)\frac{L}{\epsilon}\Big)$, respectively, and recover the optimal rates of accelerated gradient descent as a special case when no compression ($\omega=0$) is applied. We further propose a distributed variant of ACGD (called ADIANA) and prove the convergence rate $\widetilde{O}\Big(\omega+\sqrt{\frac{L}{\mu}}+\sqrt{\big(\frac{\omega}{n}+\sqrt{\frac{\omega}{n}}\big)\frac{\omega L}{\mu}}\Big)$, where $n$ is the number of devices/workers and $\widetilde{O}$ hides the logarithmic factor $\log \frac{1}{\epsilon}$. This improves upon the previous best result $\widetilde{O}\Big(\omega + \frac{L}{\mu}+\frac{\omega L}{n\mu} \Big)$ achieved by the DIANA method of Mishchenko et al. (2019). Finally, we conduct several experiments on real-world datasets which corroborate our theoretical results and confirm the practical superiority of our accelerated methods.


title: Information geometry encoded in bulk geometry

abstract: We study how information geometry is described by bulk geometry in the gauge/gravity correspondence. We consider a quantum information metric that measures the distance between the ground states of a CFT and a theory obtained by perturbing the CFT. We find a universal formula that represents the quantum information metric in terms of back reaction to the AdS bulk geometry.


title: On the Diophantine equation $(5pn^{2}-1)^{x}+(p(p-5)n^{2}+1)^{y}=(pn)^{z}$

abstract: Let $p$ be a prime number with $p>3$, $p\equiv 3\pmod{4}$ and let $n$ be a positive integer. In this paper, we prove that the Diophantine equation $(5pn^{2}-1)^{x}+(p(p-5)n^{2}+1)^{y}=(pn)^{z}$ has only the positive integer solution $(x,y,z)=(1,1,2)$ where $pn \equiv \pm1 \pmod 5$. As an another result, we show that the Diophantine equation $(35n^{2}-1)^{x}+(14n^{2}+1)^{y}=(7n)^{z}$ has only the positive integer solution $(x,y,z)=(1,1,2)$ where $n\equiv \pm 3% \pmod{5}$ or $5\mid n$. On the proofs, we use the properties of Jacobi symbol and Baker's method.


title: Unsupervised Temporal Video Segmentation as an Auxiliary Task for Predicting the Remaining Surgery Duration

abstract: Estimating the remaining surgery duration (RSD) during surgical procedures can be useful for OR planning and anesthesia dose estimation. With the recent success of deep learning-based methods in computer vision, several neural network approaches have been proposed for fully automatic RSD prediction based solely on visual data from the endoscopic camera. We investigate whether RSD prediction can be improved using unsupervised temporal video segmentation as an auxiliary learning task. As opposed to previous work, which presented supervised surgical phase recognition as auxiliary task, we avoid the need for manual annotations by proposing a similar but unsupervised learning objective which clusters video sequences into temporally coherent segments. In multiple experimental setups, results obtained by learning the auxiliary task are incorporated into a deep RSD model through feature extraction, pretraining or regularization. Further, we propose a novel loss function for RSD training which attempts to counteract unfavorable characteristics of the RSD ground truth. Using our unsupervised method as an auxiliary task for RSD training, we outperform other self-supervised methods and are comparable to the supervised state-of-the-art. Combined with the novel RSD loss, we slightly outperform the supervised approach.


title: Robustness of intra-atomic frequency comb based quantum memory against fluctuating environment

abstract: In this article, we study the robustness of the intra-atomic frequency comb (I-AFC) based quantum memory against various environmental factors. The effect of the environment is incorporated as random fluctuations in the parameters such as comb spacing and the optical depth, of the frequency comb. We also study the effect of temperature on the quality of the quantum memory which is quantified in terms of the efficiency of the photon storage. We found that the I-AFC is viable for photon storage even for very large fluctuations in the parameters of the frequency comb. Moreover, the temperature has a negligible effect on the quality of I-AFC. Our study conclusively establishes the tenacious nature of the I-AFC.


title: Lipschitz standardization for multivariate learning

abstract: Probabilistic learning is increasingly being tackled as an optimization problem, with gradient-based approaches as predominant methods. When modelling multivariate likelihoods, a usual but undesirable outcome is that the learned model fits only a subset of the observed variables, overlooking the rest. In this work, we study this problem through the lens of multitask learning (MTL), where similar effects have been broadly studied. While MTL solutions do not directly apply in the probabilistic setting (as they cannot handle the likelihood constraints) we show that similar ideas may be leveraged during data preprocessing. First, we show that data standardization often helps under common continuous likelihoods, but it is not enough in the general case, specially under mixed continuous and discrete likelihood models. In order for balance multivariate learning, we then propose a novel data preprocessing, Lipschitz standardization, which balances the local Lipschitz smoothness across variables. Our experiments on real-world datasets show that Lipschitz standardization leads to more accurate multivariate models than the ones learned using existing data preprocessing techniques. The models and datasets employed in the experiments can be found in https://github.com/adrianjav/lipschitz-standardization.


title: Strong field frustrated double ionization of argon atoms

abstract: Using a three-dimensional semiclassical method, we theoretically investigate frustrated double ionization (FDI) of Ar atoms subjected to strong laser fields. The double-hump photoelectron momentum distribution generated from FDI observed in a recent experiment [S. Larimian et al., Phys. Rev. Research 2, 013021 (2020)] is reproduced by our simulation. We confirm that the observed spectrum is due to recollision. The laser intensity dependence of FDI is investigated. We reveal that the doubly excited states of Ar atoms and excited states of Ar+ are the dominant pathways for producing FDI at relatively low and high intensities, respectively. Our work demonstrates that at modest intensities, FDI is a general strong-field physical process accompanied with nonsequential double ionization and it is an important consequence of recollision.


title: PuzzleNet: Scene Text Detection by Segment Context Graph Learning

abstract: Recently, a series of decomposition-based scene text detection methods has achieved impressive progress by decomposing challenging text regions into pieces and linking them in a bottom-up manner. However, most of them merely focus on linking independent text pieces while the context information is underestimated. In the puzzle game, the solver often put pieces together in a logical way according to the contextual information of each piece, in order to arrive at the correct solution. Inspired by it, we propose a novel decomposition-based method, termed Puzzle Networks (PuzzleNet), to address the challenging scene text detection task in this work. PuzzleNet consists of the Segment Proposal Network (SPN) that predicts the candidate text segments fitting arbitrary shape of text region, and the two-branch Multiple-Similarity Graph Convolutional Network (MSGCN) that models both appearance and geometry correlations between each segment to its contextual ones. By building segments as context graphs, MSGCN effectively employs segment context to predict combinations of segments. Final detections of polygon shape are produced by merging segments according to the predicted combinations. Evaluations on three benchmark datasets, ICDAR15, MSRA-TD500 and SCUT-CTW1500, have demonstrated that our method can achieve better or comparable performance than current state-of-the-arts, which is beneficial from the exploitation of segment context graph.


title: Fluctuations for the partition function of Ising models on Erd\"os-R\'enyi random graphs

abstract: We analyze Ising/Curie-Weiss models on the Erd\H{o}s-R\'enyi graph with $N$ vertices and edge probability $p=p(N)$ that were introduced by Bovier and Gayrard [J.\ Statist.\ Phys., 72(3-4):643--664, 1993] and investigated in two previous articles by the authors. We prove Central Limit Theorems for the partition function of the model and -- at other decay regimes of $p(N)$ -- for the logarithmic partition function. We find critical regimes for $p(N)$ at which the behavior of the fluctuations of the partition function changes.


title: Bistability in the dissipative quantum systems I: Damped and driven nonlinear oscillator

abstract: We revisit quantum dynamics of the damped and driven nonlinear oscillator. In the classical case this system has two stationary solutions (the limit cycles) in the certain parameter region, which is the origin of the celebrated bistability phenomenon. The quantum-classical correspondence for the oscillator dynamics is discussed in details.


title: Adversarial Attack on Deep Product Quantization Network for Image Retrieval

abstract: Deep product quantization network (DPQN) has recently received much attention in fast image retrieval tasks due to its efficiency of encoding high-dimensional visual features especially when dealing with large-scale datasets. Recent studies show that deep neural networks (DNNs) are vulnerable to input with small and maliciously designed perturbations (a.k.a., adversarial examples). This phenomenon raises the concern of security issues for DPQN in the testing/deploying stage as well. However, little effort has been devoted to investigating how adversarial examples affect DPQN. To this end, we propose product quantization adversarial generation (PQ-AG), a simple yet effective method to generate adversarial examples for product quantization based retrieval systems. PQ-AG aims to generate imperceptible adversarial perturbations for query images to form adversarial queries, whose nearest neighbors from a targeted product quantizaiton model are not semantically related to those from the original queries. Extensive experiments show that our PQ-AQ successfully creates adversarial examples to mislead targeted product quantization retrieval models. Besides, we found that our PQ-AG significantly degrades retrieval performance in both white-box and black-box settings.


title: Mandate-driven Networking Eco-system: A Paradigm Shift in End-to-End Communications

abstract: The wireless industry is driven by key stakeholders that follow a holistic approach of "one-system-fits-all" that leads to moving network functionality of meeting stringent E2E communication requirements towards the core and cloud infrastructures. This trend is limiting smaller and new players for bringing in new and novel solutions. For meeting these E2E requirements, tenants and end-users need to be active players for bringing their needs and innovations. Driving E2E communication not only in terms of QoS but also overall carbon footprint and spectrum efficiency from one specific community may lead to undesirable simplifications and a higher level of abstraction of other network segments may lead to sub-optimal operations. Based on this, the paper presents a paradigm shift that will enlarge the role of wireless innovation at academia, SME's, industries and start-ups while taking into account decentralized mandate-driven intelligence in E2E communications


title: Controllable Descendant Face Synthesis

abstract: Kinship face synthesis is an interesting topic raised to answer questions like "what will your future children look like?". Published approaches to this topic are limited. Most of the existing methods train models for one-versus-one kin relation, which only consider one parent face and one child face by directly using an auto-encoder without any explicit control over the resemblance of the synthesized face to the parent face. In this paper, we propose a novel method for controllable descendant face synthesis, which models two-versus-one kin relation between two parent faces and one child face. Our model consists of an inheritance module and an attribute enhancement module, where the former is designed for accurate control over the resemblance between the synthesized face and parent faces, and the latter is designed for control over age and gender. As there is no large scale database with father-mother-child kinship annotation, we propose an effective strategy to train the model without using the ground truth descendant faces. No carefully designed image pairs are required for learning except only age and gender labels of training faces. We conduct comprehensive experimental evaluations on three public benchmark databases, which demonstrates encouraging results.


title: Effects of bonded and non-bonded B/N codoping of graphene on its stability,\break interaction energy, electronic structure, and power factor

abstract: We model boron and nitrogen doped/codoped monolayer graphene to study its stability, interaction energy, electronic and thermal properties using density functional theory. It is found that a doped graphene sheet with non-bonded B or N atoms induces an attractive interaction and thus opens up the bandgap. Consequently, the power factor is enhanced. Additionally, bonded B or N atoms in doped graphene generate a repulsive interaction leading to a diminished bandgap, and thus a decreased power factor. We emphasis that enhancement of the power factor is not very sensitive to the concentration of the boron and nitrogen atoms, but it is more sensitive to the positions of the B or N atoms in ortho, meta, and para positions of the hexagonal structure of graphene. In the B and N codoped graphene, the non-bonded dopant atoms have a weak attractive interaction and interaction leading to a small bandgap, while bonded doping atoms cause a strong attractive interaction and a large bandgap. As a result, the power factor of the graphene with non-bonded doping atoms is reduced while it is enhanced for graphene with bonded doping atoms.


title: Upper and Lower Bounds on the Space Complexity of Detectable Object

abstract: The emergence of systems with non-volatile main memory (NVM) increases the interest in the design of \emph{recoverable concurrent objects} that are robust to crash-failures, since their operations are able to recover from such failures by using state retained in NVM. Of particular interest are recoverable algorithms that, in addition to ensuring object consistency, also provide \emph{detectability}, a correctness condition requiring that the recovery code can infer if the failed operation was linearized or not and, in the former case, obtain its response. In this work, we investigate the space complexity of detectable algorithms and the external support they require. We make the following three contributions. First, we present the first wait-free bounded-space detectable read/write and CAS object implementations. Second, we prove that the bit complexity of every $N$-process obstruction-free detectable CAS implementation, assuming values from a domain of size at least $N$, is $\Omega(N)$. Finally, we prove that the following holds for obstruction-free detectable implementations of a large class of objects: their recoverable operations must be provided with \emph{auxiliary state} -- state that is not required by the non-recoverable counterpart implementation -- whose value must be provided from outside the operation, either by the system or by the caller of the operation. In contrast, this external support is, in general, not required if the recoverable algorithm is not detectable.


title: CheXpedition: Investigating Generalization Challenges for Translation of Chest X-Ray Algorithms to the Clinical Setting

abstract: Although there have been several recent advances in the application of deep learning algorithms to chest x-ray interpretation, we identify three major challenges for the translation of chest x-ray algorithms to the clinical setting. We examine the performance of the top 10 performing models on the CheXpert challenge leaderboard on three tasks: (1) TB detection, (2) pathology detection on photos of chest x-rays, and (3) pathology detection on data from an external institution. First, we find that the top 10 chest x-ray models on the CheXpert competition achieve an average AUC of 0.851 on the task of detecting TB on two public TB datasets without fine-tuning or including the TB labels in training data. Second, we find that the average performance of the models on photos of x-rays (AUC = 0.916) is similar to their performance on the original chest x-ray images (AUC = 0.924). Third, we find that the models tested on an external dataset either perform comparably to or exceed the average performance of radiologists. We believe that our investigation will inform rapid translation of deep learning algorithms to safe and effective clinical decision support tools that can be validated prospectively with large impact studies and clinical trials.


title: The Magnetized Vlasov-Amp\`ere system and the Bernstein-Landau paradox

abstract: We study the Bernstein-Landau paradox in the collisionless motion of an electrostatic plasma in the presence of a constant external magnetic field. The Bernstein-Landau paradox consists in that in the presence of the magnetic field, the electric field and the charge density fluctuation have an oscillatory behavior in time. This is radically different from Landau damping, in the case without magnetic field, where the electric field tends to zero for large times. We consider this problem from a new point of view. Instead of analyzing the linear magnetized Vlasov-Poisson system, as it is usually done, we study the linear magnetized Vlasov-Amp\`ere system. We formulate the magnetized Vlasov-Amp\`ere system as a Schr\"odinger equation with a selfadjoint magnetized Vlasov-Amp\`ere operator in the Hilbert space of states with finite energy. The magnetized Vlasov-Amp\`ere operator has a complete set of orthonormal eigenfunctions, that include the Bernstein modes. The expansion of the solution of the magnetized Vlasov-Amp\`ere system in the eigenfunctions shows the oscillatory behavior in time. We prove the convergence of the expansion under optimal conditions, assuming only that the initial state has finite energy. This solves a problem that was recently posed in the literature. The Bernstein modes are not complete. To have a complete system it is necessary to add eigenfunctions that are associated with eigenvalues at all the integer multiples of the cyclotron frequency. These special plasma oscillations actually exist on their own, without the excitation of the other modes. In the limit when the magnetic fields goes to zero the spectrum of the magnetized Vlasov-Amp\`ere operator changes drastically from pure point to absolutely continuous in the orthogonal complement to its kernel, due to a sharp change on its domain. This explains the Bernstein-Landau paradox.

categories: physics.plasm-ph math-ph math.MP math.SP


title: On the extensions of K\"ahler currents on compact K\"{a}hler manifolds

abstract: Let $(X,\omega)$ be a compact K\"{a}hler manifold with a K\"{a}hler form $\omega$ of complex dimension $n$, and $V\subset X$ is a compact complex submanifold of positive dimension $k<n$. Suppose that $V$ can be embedded in $X$ as a zero section of a holomorphic vector bundle or rank $n-k$ over $V$. Let $\varphi$ be a strictly $\omega|_V$-psh function on $V$. In this paper, we prove that there is a strictly $\omega$-psh function $\Phi$ on $X$, such that $\Phi|_V=\varphi$. This result gives a partial answer to an open problem raised by Collins-Tosatti and Dinew-Guedj-Zeriahi, for the case of K\"{a}hler currents. We also discuss possible extensions of K\"ahler currents in a big class.


title: Mechanism Design for Public Projects via Neural Networks

abstract: We study mechanism design for nonexcludable and excludable binary public project problems. We aim to maximize the expected number of consumers and the expected social welfare. For the nonexcludable public project model, we identify a sufficient condition on the prior distribution for the conservative equal costs mechanism to be the optimal strategy-proof and individually rational mechanism. For general distributions, we propose a dynamic program that solves for the optimal mechanism. For the excludable public project model, we identify a similar sufficient condition for the serial cost sharing mechanism to be optimal for $2$ and $3$ agents. We derive a numerical upper bound. Experiments show that for several common distributions, the serial cost sharing mechanism is close to optimality. The serial cost sharing mechanism is not optimal in general. We design better performing mechanisms via neural networks. Our approach involves several technical innovations that can be applied to mechanism design in general. We interpret the mechanisms as price-oriented rationing-free (PORF) mechanisms, which enables us to move the mechanism's complex (e.g., iterative) decision making off the network, to a separate program. We feed the prior distribution's analytical form into the cost function to provide quality gradients for training. We use supervision to manual mechanisms as a systematic way for initialization. Our approach of "supervision and then gradient descent" is effective for improving manual mechanisms' performances. It is also effective for fixing constraint violations for heuristic-based mechanisms that are infeasible.


title: Symmetric uncoded caching schemes with low subpacketization levels

abstract: Caching is a commonly used technique in content-delivery networks which aims to deliver information from hosting servers to users in the most efficient way. In 2014, Maddah-Ali and Niessen formulated caching into a formal information theoretic problem and it has gained a lot of attention since then. It is known that the caching schemes proposed by Ali-Niesen and Yu et. al. are optimal, that is, they require the least number of transmissions from the server to satisfy all users' demands. However for these schemes to work, each file needs to be partitioned into $F^*$ subfiles ($F^*$ is called the subpacketization level of files) with $F^*$ growing exponentially in the number $K$ of users. As a result, it is problematic to apply these schemes in practical situations, where $K$ tends to be very large. There rise the following questions: (1) are there optimal schemes in which each file is partitioned into $F$ subfiles, where $F$ is not exponential, say polynomial for example, in $K$? (2) if the answer to this question is no, is there a near-optimal scheme, a scheme which is as asymptotically good as the one in \cite{ali1,yu}, with $F$ polynomial in $K$? Both these questions are open. Our main contribution in this paper is to provide answers to above questions. Firstly, we prove that under some mild restriction on user's cache rate, there are no optimal schemes with $F$ smaller than $F^*$. Moreover, we give necessary and sufficient conditions for the existence of optimal schemes in this case. Secondly, we provide an affirmative answer to the second question raised above by an explicit construction and a detailed performance analysis.


title: Intrinsic Construction of Lyapunov Functions on Riemannian Manifold

abstract: For systems evolving on a Riemannian manifold, we propose converse Lyapunov theorems for asymptotic and exponential stability. The novelty of the proposed approach is that is does not rely on local Euclidean coordinate, and is thus valid on a wider domain than the immediate vicinity of the considered equilibrium. We also show how the constructions can be useful for robustness analysis.


title: When Do Drivers Concentrate? Attention-based Driver Behavior Modeling With Deep Reinforcement Learning

abstract: Driver distraction a significant risk to driving safety. Apart from spatial domain, research on temporal inattention is also necessary. This paper aims to figure out the pattern of drivers' temporal attention allocation. In this paper, we propose an actor-critic method - Attention-based Twin Delayed Deep Deterministic policy gradient (ATD3) algorithm to approximate a driver' s action according to observations and measure the driver' s attention allocation for consecutive time steps in car-following model. Considering reaction time, we construct the attention mechanism in the actor network to capture temporal dependencies of consecutive observations. In the critic network, we employ Twin Delayed Deep Deterministic policy gradient algorithm (TD3) to address overestimated value estimates persisting in the actor-critic algorithm. We conduct experiments on real-world vehicle trajectory datasets and show that the accuracy of our proposed approach outperforms seven baseline algorithms. Moreover, the results reveal that the attention of the drivers in smooth vehicles is uniformly distributed in previous observations while they keep their attention to recent observations when sudden decreases of relative speeds occur. This study is the first contribution to drivers' temporal attention and provides scientific support for safety measures in transportation systems from the perspective of data mining.


title: Polar-Slotted ALOHA over Slot Erasure Channels

abstract: In this paper, we design a new polar slotted ALOHA (PSA) protocol over the slot erasure channels, which uses polar coding to construct the identical slot pattern (SP) assembles within each active user and base station. A theoretical analysis framework for the PSA is provided. First, by using the packet-oriented operation for the overlap packets when they conflict in a slot interval, we introduce the packet-based polarization transform and prove that this transform is independent of the packet's length. Second, guided by the packet-based polarization, an SP assignment (SPA) method with the variable slot erasure probability (SEP) and a SPA method with a fixed SEP value are designed for the PSA scheme. Then, a packet-oriented successive cancellation (pSC) and a pSC list (pSCL) decoding algorithm are developed. Simultaneously, the finite-slots throughput bounds and the asymptotic throughput for the pSC algorithm are analyzed. The simulation results show that the proposed PSA scheme can achieve an improved throughput with the pSC/SCL decoding algorithm over the traditional repetition slotted ALOHA scheme.


title: Gini Index based Initial Coin Offering Mechanism

abstract: As a fundraising method, Initial Coin Offering (ICO) has raised billions of dollars for thousands of startups in the past two years. Existing ICO mechanisms place more emphasis on the short-term benefits of maximal fundraising while ignoring the problem of unbalanced token allocation, which negatively impacts subsequent fundraising and has bad effects on introducing new investors and resources. We propose a new ICO mechanism which uses the concept of Gini index for the very first time as a mechanism design constraint to control allocation inequality. Our mechanism maintains an elegant and straightforward structure. It allows the agents to modify their bids as a price discovery process, while limiting the bids of whales. We analyze the agents' equilibrium behaviors under our mechanism. Under natural technical assumptions, we show that most agents have simple dominant strategies and the equilibrium revenue approaches the optimal revenue asymptotically in the number of agents. We verify our mechanism using real ICO dataset we collected, and confirm that our mechanism performs well in terms of both allocation fairness and revenue.


title: Light curves of ten Centaurs from K2 measurements

abstract: Here we present the results of visible range light curve observations of ten Centaurs using the Kepler Space Telescope in the framework of the K2 mission. Well defined periodic light curves are obtained in six cases allowing us to derive rotational periods, a notable increase in the number of Centaurs with known rotational properties. The low amplitude light curves of (471931) 2013 PH44 and (250112) 2002 KY14 can be explained either by albedo variegations, binarity or elongated shape. (353222) 2009 YD7 and (514312) 2016 AE193 could be rotating elongated objects, while 2017 CX33 and 2012 VU85 are the most promising binary candidates due to their slow rotations and higher light curve amplitudes. (463368) 2012 VU85 has the longest rotation period, P=56.2h observed among Centaurs. The P>20h rotation periods obtained for the two potential binaries underlines the importance of long, uninterrupted time series photometry of solar system targets that can suitably be performed only from spacecraft, like the Kepler in the K2 mission, and the currently running TESS mission.


title: High-precision mass spectrometer for light ions

abstract: The precise knowledge of the atomic masses of light atomic nuclei, e.g. the proton, deuteron, triton and helion, is of great importance for several fundamental tests in physics. However, the latest high-precision measurements of these masses carried out at different mass spectrometers indicate an inconsistency of five standard deviations. To determine the masses of the lightest ions with a relative precision of a few parts per trillion and investigate this mass problem a cryogenic multi-Penning trap setup, LIONTRAP (Light ION TRAP), was constructed. This allows an independent and more precise determination of the relevant atomic masses by measuring the cyclotron frequency of single trapped ions in comparison to that of a single carbon ion. In this paper the measurement concept and the first doubly compensated cylindrical electrode Penning trap, are presented. Moreover, the analysis of the first measurement campaigns of the proton's and oxygen's atomic mass is described in detail, resulting in mp = 1.007 276 466 598 (33) u and m(16O)= 15.994 914 619 37 (87) u. The results on these data sets have already been presented in [F. Heisse et al., Phys. Rev. Lett. 119, 033001 (2017)]. For the proton's atomic mass, the uncertainty was improved by a factor of three compared to the 2014 CODATA value.


title: One-loop same helicity four-point amplitude from shifts

abstract: It has been suggested a long time ago by W. Bardeen that non-vanishing of the one-loop same helicity YM amplitudes, in particular such an amplitude at four points, should be interpreted as an anomaly. However, the available derivations of these amplitudes are rather far from supporting this interpretation in that they share no similarity whatsoever with the standard triangle diagram chiral anomaly calculation. We provide a new computation of the same helicity four-point amplitude by a method designed to mimic the chiral anomaly derivation. This is done by using the momentum conservation to rewrite the logarithmically divergent four-point amplitude as a sum of linearly and then quadratically divergent integrals. These integrals are then seen to vanish after appropriate shifts of the loop momentum integration variable. The amplitude thus gets related to shifts, and these are computed in the standard textbook way. We thus reproduce the usual result but by a method which greatly strengthens the case for an anomaly interpretation of these amplitudes.