title: Dragon-kings death in nonlinear wave interactions

abstract: Extreme events are characterised by low probabilities and high impact on the systems. As a consequence, it is possible to find many studies about the predictability and suppression of extreme events. In this work, we show the existence of dragon-kings extreme events in nonlinear three-wave interactions. Dragon-king extreme events, identified by phase transitions, tipping points, and catastrophes, affects fluctuating systems. We show that these events can be avoided by adding a perturbing small amplitude wave to the system.


title: Stabilized SVRG: Simple Variance Reduction for Nonconvex Optimization

abstract: Variance reduction techniques like SVRG provide simple and fast algorithms for optimizing a convex finite-sum objective. For nonconvex objectives, these techniques can also find a first-order stationary point (with small gradient). However, in nonconvex optimization it is often crucial to find a second-order stationary point (with small gradient and almost PSD hessian). In this paper, we show that Stabilized SVRG (a simple variant of SVRG) can find an $\epsilon$-second-order stationary point using only $\widetilde{O}(n^{2/3}/\epsilon^2+n/\epsilon^{1.5})$ stochastic gradients. To our best knowledge, this is the first second-order guarantee for a simple variant of SVRG. The running time almost matches the known guarantees for finding $\epsilon$-first-order stationary points.


title: First principles study of the vibronic coupling in positively charged C$_{60}^+$

abstract: Vibronic coupling parameters for C$_{60}^{+}$ were derived via DFT calculations with hybrid B3LYP and CAM-B3LYP functional, based on which the static Jahn-Teller effect were analyzed. The global minima of adiabatic potential energy surface (APES) shows a D$_{5d}$ Jahn-Teller deformation, with stabilization energies of 110 and 129 meV (with B3LYP and CAM-B3LYP respectively), which are two times larger than that in C$_{60}^-$, suggesting the crucial role of the dynamical Jahn-Teller effect. Present results enable us to assess the actual situation of dynamical Jahn-Teller effect in C$_{60}^{+}$ and excited C$_{60}$ in combination with the established parameters for C$_{60}^{-}$.


title: Recombinator-k-means: An evolutionary algorithm that exploits k-means++ for recombination

abstract: We introduce an evolutionary algorithm called recombinator-$k$-means for optimizing the highly non-convex kmeans problem. Its defining feature is that its crossover step involves all the members of the current generation, stochastically recombining them with a repurposed variant of the $k$-means++ seeding algorithm. The recombination also uses a reweighting mechanism that realizes a progressively sharper stochastic selection policy and ensures that the population eventually coalesces into a single solution. We compare this scheme with state-of-the-art alternative, a more standard genetic algorithm with deterministic pairwise-nearest-neighbor crossover and an elitist selection policy, of which we also provide an augmented and efficient implementation. Extensive tests on large and challenging datasets (both synthetic and real-word) show that for fixed population sizes recombinator-$k$-means is generally superior in terms of the optimization objective, at the cost of a more expensive crossover step. When adjusting the population sizes of the two algorithms to match their running times, we find that for short times the (augmented) pairwise-nearest-neighbor method is always superior, while at longer times recombinator-$k$-means will match it and, on the most difficult examples, take over. We conclude that the reweighted whole-population recombination is more costly, but generally better at escaping local minima. Moreover, it is algorithmically simpler and more general (it could be applied even to $k$-medians or $k$-medoids, for example). Our implementations are publicly available at \href{https://github.com/carlobaldassi/RecombinatorKMeans.jl}{https://github.com/carlobaldassi/RecombinatorKMeans.jl}.


title: An Efficient Reachability-Based Framework for Provably Safe Autonomous Navigation in Unknown Environments

abstract: Real-world autonomous vehicles often operate in a priori unknown environments. Since most of these systems are safety-critical, it is important to ensure they operate safely in the face of environment uncertainty, such as unseen obstacles. Current safety analysis tools enable autonomous systems to reason about safety given full information about the state of the environment a priori. However, these tools do not scale well to scenarios where the environment is being sensed in real time, such as during navigation tasks. In this work, we propose a novel, real-time safety analysis method based on Hamilton-Jacobi reachability that provides strong safety guarantees despite environment uncertainty. Our safety method is planner-agnostic and provides guarantees for a variety of mapping sensors. We demonstrate our approach in simulation and in hardware to provide safety guarantees around a state-of-the-art vision-based, learning-based planner.


title: Cardinality of a floor function set

abstract: Fix a positive integer X. We quantify the cardinality of the set $\{\lfloor X/n \rfloor\}_{n=1}^X$. We discuss restricting the set to those elements that are prime, semiprime or similar.


title: Drug-Drug Adverse Effect Prediction with Graph Co-Attention

abstract: Complex or co-existing diseases are commonly treated using drug combinations, which can lead to higher risk of adverse side effects. The detection of polypharmacy side effects is usually done in Phase IV clinical trials, but there are still plenty which remain undiscovered when the drugs are put on the market. Such accidents have been affecting an increasing proportion of the population (15% in the US now) and it is thus of high interest to be able to predict the potential side effects as early as possible. Systematic combinatorial screening of possible drug-drug interactions (DDI) is challenging and expensive. However, the recent significant increases in data availability from pharmaceutical research and development efforts offer a novel paradigm for recovering relevant insights for DDI prediction. Accordingly, several recent approaches focus on curating massive DDI datasets (with millions of examples) and training machine learning models on them. Here we propose a neural network architecture able to set state-of-the-art results on this task---using the type of the side-effect and the molecular structure of the drugs alone---by leveraging a co-attentional mechanism. In particular, we show the importance of integrating joint information from the drug pairs early on when learning each drug's representation.


title: Neutrino-induced single-pion production: Kinematics and Cross Section

abstract: In the energy range of present and future accelerator-based neutrino-oscillation experiments, single-pion production (SPP) is one of the main contributions to the neutrino-nucleus scattering cross section. For these neutrino energies, ranging from several hundreds of MeV to a few GeV, the SPP on the nucleus is usually described by the reaction in which the incoming lepton couples to one bound nucleon in the nucleus, producing a pion and the knock-out nucleon, along with the residual system and the scattered lepton in the final state. Here, the kinematics and cross section formula for this process are discussed, although the formalism can be applied to other $2\rightarrow4$ processes.


title: Multi-Level Graph Sketches via Single-Level Solvers

abstract: Given an undirected weighted graph $G(V,E)$, a constrained sketch over a terminal set $T\subset V$ is a subgraph $G'$ that connects the terminal vertices while satisfying a given set of constraints. Examples include Steiner trees (preserving connectivity among $T$) and subsetwise spanners (preserving shortest path distances up to a stretch factor). Multi-level constrained terminal sketches are generalizations in which terminal vertices require different levels or grades of service and each terminal pair is connected with edges of at least the minimum required level of the two terminals. This paper gives a flexible procedure for computing a broad class of multi-level graph sketches, which encompasses multi-level graph spanners, Steiner trees, and $k$--connected subgraphs as a few special cases. The proposed procedure is modular, i.e., it relies on availability of a single-level solver module (be it an oracle or approximation algorithm). One key result is that an $\ell$--level constrained terminal sketch can be computed with $\log\ell$ queries of the solver module while producing feasible solutions with approximation guarantees independent of $\ell$. Additionally, a new polynomial time algorithm for computing a subsetwise spanner is proposed. We show that for $k\in\N$, $\eps>0$, and $T\subset V$, there is a subsetwise $(2k-1)(1+\eps)$--spanner with total weight $O(|T|^\frac1kW(\ST(G,T)))$, where $W(\ST(G,T))$ is the weight of the Steiner tree of $G$ over the subset $T$. This is the first algorithm and weight guarantee for a multiplicative subsetwise spanner for nonplanar graphs. Numerical experiments are also done to illustrate the performance of the proposed algorithms.


title: SuperGLUE: A Stickier Benchmark for General-Purpose Language Understanding Systems

abstract: In the last year, new models and methods for pretraining and transfer learning have driven striking performance improvements across a range of language understanding tasks. The GLUE benchmark, introduced a little over one year ago, offers a single-number metric that summarizes progress on a diverse set of such tasks, but performance on the benchmark has recently surpassed the level of non-expert humans, suggesting limited headroom for further research. In this paper we present SuperGLUE, a new benchmark styled after GLUE with a new set of more difficult language understanding tasks, a software toolkit, and a public leaderboard. SuperGLUE is available at super.gluebenchmark.com.


title: DPSNet: End-to-end Deep Plane Sweep Stereo

abstract: Multiview stereo aims to reconstruct scene depth from images acquired by a camera under arbitrary motion. Recent methods address this problem through deep learning, which can utilize semantic cues to deal with challenges such as textureless and reflective regions. In this paper, we present a convolutional neural network called DPSNet (Deep Plane Sweep Network) whose design is inspired by best practices of traditional geometry-based approaches for dense depth reconstruction. Rather than directly estimating depth and/or optical flow correspondence from image pairs as done in many previous deep learning methods, DPSNet takes a plane sweep approach that involves building a cost volume from deep features using the plane sweep algorithm, regularizing the cost volume via a context-aware cost aggregation, and regressing the dense depth map from the cost volume. The cost volume is constructed using a differentiable warping process that allows for end-to-end training of the network. Through the effective incorporation of conventional multiview stereo concepts within a deep learning framework, DPSNet achieves state-of-the-art reconstruction results on a variety of challenging datasets.


title: Specific Heats and Schottky Peaks for Black Holes in Extended Thermodynamics

abstract: In the extended thermodynamics of black holes, there is a dynamical pressure and its conjugate volume. The phase structure of many of these black holes has been studied a great deal and shown to give close analogues of the phase structure of various ordinary matter systems. However, we point out that the most studied black holes in this framework, such as Schwarzschild-AdS and Reissner-Nordstrom-AdS, and various analogues in higher-derivative gravity, do not have the type of elementary degrees of freedom that play a central role in the classic models of matter. This is because they have vanishing specific heat at constant volume, C_V. As examples with non-vanishing C_V, the Kerr-AdS and STU-AdS black holes do have such degrees of freedom, and a study of C_V(T) reveals Schottky-like behaviour suggestive of a finite window of energy excitations. This intriguing physics may have useful applications in fields such as holographic duality, quantum information, and beyond.


title: Deterministic versus probabilistic quantum information masking

abstract: We investigate quantum information masking for arbitrary dimensional quantum states. We show that mutually orthogonal quantum states can always be served for deterministic masking of quantum information. We further construct a probabilistic masking machine for linearly independent states. It is shown that a set of d dimensional states, $\{ |a_1 \rangle_A, |t a_2 \rangle_A, \dots, |a_n \rangle_A \}$, $n \leq d$, can be probabilistically masked by a general unitary-reduction operation if they are linearly independent. The maximal successful probability of probabilistic masking is analyzed and derived for the case of two initial states.


title: Probing for high momentum protons in $^4$He via the $^4He(e,e'p)X$ reaction

abstract: Experimental cross sections for the $^4He(e,e'p)X$ reaction up to a missing momentum of 0.632 GeV/$c$ at $x_B=1.24$ and $Q^2$=2(GeV/$c$)$^2$ are reported. The data are compared to Relativistic Distorted Wave Impulse Approximation(RDWIA) calculations for $^4He(e,e'p)^3H$ channel. Significantly more events in the triton mass region are measured for $p_{m}$$>$0.45 GeV/$c$ than are predicted by the theoretical model, suggesting that the effects of initial-state multi-nucleon correlations are stronger than expected by the RDWIA model.


title: Taming Convergence in the Determinant Approach for X-Ray Excitation Spectra

abstract: A determinant formalism in combination with \emph{ab initio} calculations proposed recently has paved a new way for simulating and interpreting x-ray excitation spectra. The new method systematically takes into account many-electron effects in the Mahan-Nozi\'eres-De Dominicis (MND) theory, including core-level excitonic effects, the Fermi-edge singularity, shakeup excitations, and wavefunction overlap effects such as the orthogonality catastrophe, all within a universal framework using many-electron configurations. A heuristic search algorithm was introduced to search for the configurations that are important for defining spectral lineshapes, instead of enumerating them in a brute-force way. The algorithm has proven to be efficient for calculating \ce{O} $K$ edges of transition metal oxides, which converge at the second excitation order (denoted as $f^{(n)}$ with $n = 2$), i.e., the final-state configurations with two \emph{e-h} pairs (with one hole being the core hole). However, it remains unknown how the determinant calculations converge for general cases and at which excitation order $n$ one should stop the determinant calculation. Even with the heuristic algorithm, the number of many-electron configurations still grows exponentially with the excitation order $n$. In this work, we prove two theorems that can indicate the order of magnitude of the contribution of the $f^{(n)}$ configurations, so that one can estimate their contribution very quickly without actually calculating their amplitudes. The two theorems are based on the singular-value decomposition (SVD) analysis, a method that is widely used to quantify entanglement between two quantum many-body systems. We examine the $K$ edges of several metallic systems with the determinant formalism up to $f^{(5)}$ to illustrate the usefulness of the theorems.


title: Optimal Power Allocation for Minimizing Outage Probability of UAV Relay Communications

abstract: Unmanned aerial vehicle (UAV) networks have grown rapidly in recent years and become attractive for various emergence communications scenarios. In this paper, we consider a UAV acting as a relay node to assist wireless transmissions from a base station (BS) to a ground user (GUs). A closed-form expression of outage probability for the BS-GUs transmission via UAV relaying is derived over Rician fading channels. We then formulate an optimization problem to minimize the outage probability of UAV relay communications with a constraint on the total transit power of the BS and GUs. It is proved that our formulated optimization problem is convex and an optimal power allocation solution is found for the outage probability minimization. Simulation results demonstrate that with an increasing power allocation factor, the outage probability initially decreases and then starts to increase, showing the existence of an optimal power allocation solution. Additionally, it is shown that the proposed optimal power allocation scheme significantly outperforms the conventional equal power allocation in terms of the outage probability.


title: The Holographic Entropy Cone in AdS-Vaidya Spacetimes

abstract: We examine the five-region holographic entropy cone inequalities for the special case of the AdS$_3$-Vaidya metric for a variety of boundary configurations. This is done by numerically solving the geodesic equation in the bulk for various boundary configurations. In all the cases we examine, we find that all the inequalities are satisfied when the bulk satisfies the null energy condition, while the inequalities are all violated when the bulk spacetime violates the null energy condition. A proof of the five-region holographic entropy cone inequalities for the dynamical bulk case remains an open problem--our results provide evidence that these inequalities hold for dynamical bulk spacetimes.


title: Determining the number of factors in a forecast model by a random matrix test: cryptocurrencies

abstract: We determine the number of statistically significant factors in a forecast model using a random matrices test. The applied forecast model is of the type of Reduced Rank Regression (RRR), in particular, we chose a flavor which can be seen as the Canonical Correlation Analysis (CCA). As empirical data, we use cryptocurrencies at hour frequency, where the variable selection was made by a criterion from information theory. The results are consistent with the usual visual inspection, with the advantage that the subjective element is avoided. Furthermore, the computational cost is minimal compared to the cross-validation approach.


title: Billion-scale semi-supervised learning for image classification

abstract: This paper presents a study of semi-supervised learning with large convolutional networks. We propose a pipeline, based on a teacher/student paradigm, that leverages a large collection of unlabelled images (up to 1 billion). Our main goal is to improve the performance for a given target architecture, like ResNet-50 or ResNext. We provide an extensive analysis of the success factors of our approach, which leads us to formulate some recommendations to produce high-accuracy models for image classification with semi-supervised learning. As a result, our approach brings important gains to standard architectures for image, video and fine-grained classification. For instance, by leveraging one billion unlabelled images, our learned vanilla ResNet-50 achieves 81.2% top-1 accuracy on the ImageNet benchmark.


title: The relationship between Biological and Artificial Intelligence

abstract: Intelligence can be defined as a predominantly human ability to accomplish tasks that are generally hard for computers and animals. Artificial Intelligence [AI] is a field attempting to accomplish such tasks with computers. AI is becoming increasingly widespread, as are claims of its relationship with Biological Intelligence. Often these claims are made to imply higher chances of a given technology succeeding, working on the assumption that AI systems which mimic the mechanisms of Biological Intelligence should be more successful. In this article I will discuss the similarities and differences between AI and the extent of our knowledge about the mechanisms of intelligence in biology, especially within humans. I will also explore the validity of the assumption that biomimicry in AI systems aids their advancement, and I will argue that existing similarity to biological systems in the way Artificial Neural Networks [ANNs] tackle tasks is due to design decisions, rather than inherent similarity of underlying mechanisms. This article is aimed at people who understand the basics of AI (especially ANNs), and would like to be better able to evaluate the often wild claims about the value of biomimicry in AI.


title: The inequivalent substitution on Ca site of cubic CaTiO3 perovskite for transparent conductive oxides from USPEX and DFT

abstract: Based on genetic evolution algorithm, universal structure predictor USPEX assists to explore the most stable structure from Na+ substituting Ca2+ under variable concentration, for p type transparent conductive oxide application. The study finds 2 atoms of NaCa maintain the octahedral packing and cubic phase without the presence of oxygen vacancy, but the electron loss causes in fermi level entering into valence band, realizing p type TCOs character. While others still remain insulator character due to the compensation of oxygen vacancy. Applying Al3+ substituting Ca2+ achieve the fermi level into conduction band with n-type TCOs, with the symmetry of tetragonal phase. And the transport properties for p- type Ca0.75Na0.25TiO3 and n-type Ca0.75Al0.25TiO3 are calculated, the mobility in p- type Ca0.75Na0.25TiO3 is more superior owing to its curvature edge.


title: Extreme-ultraviolet Late Phase Caused by Magnetic Reconnection over Quadrupolar Magnetic Configuration in a Solar Flare

abstract: A second emission enhancement in warm coronal extreme-ultraviolet (EUV) lines (about 2-7 MK) during some solar flares is known as the EUV late phase. Imaging observations confirm that the late phase emission originates from a set of longer or higher loops than the main flare loops. Nevertheless, some questions remain controversial: What is the relationship between these two loop systems? What is the heating source of late phase emission, a heating accompany the main phase heating or occuring quite later? In this paper, we present clear evidence for heating source in a late-phase solar flare: magnetic reconnection of overlying field in a quadrupolar magnetic configuration. The event is triggered by an erupted core structure that eventually leads to a coronal mass ejection (CME). Cusp feature and its shrinkage motion high in the late-phase emission region are the manifestation of the later phase reconnection following the main flare reconnection. Using the enthalpy-based thermal evolution of loops (EBTEL) model, we reasonably reproduce the late-phase emissions in some EUV lines. We suggest that a continuous additional heating is responsible for the appearance of the elongated EUV late phase.


title: Joint Precoder and Combiner Design for MMSE Distributed Beamforming with Per-Antenna Power Constraints

abstract: We consider minimum mean square error (MMSE) joint precoder and combiner design for single and multi carrier distributed beamforming systems with nonuniform per-antenna transmit power constraints. We show that, similar to the maximum-gain problem, an iterative Gauss-Seidel algorithm can be used for minimizing MSE which alternately optimizes the transmitter and receiver coefficients. In a single carrier system the optimum transmit coefficients are obtained by a simple projection of the effective MISO channel. In the multicarrier case with a sum-MSE objective, the Gauss-Seidel approach is once again applicable, but the transmit coefficients must be found by solving a quadratically constrained quadratic problem for which we apply a dual gradient algorithm. A numerical example is presented which shows improvement of 0.7 dB in carrier signal-to-noise ratio (SNR) relative to a projected eigenvector method for a multicarrier DBF system with Rayleigh-faded multipath channels.


title: Phonon dispersion, Raman spectra and evidence for spin-phonon coupling in MnV$_2$O$_4$ from first-principles

abstract: MnV$_2$O$_4$ in the spinel structure is known to exhibit coupled orbital and spin ordering, and its Raman spectra show interesting anomalies in its low-temperature phase. With a goal to explain this behavior involving coupled spins and phonons, we determine here the spin-phonon couplings in MnV$_2$O$_4$ from a theoretical analysis of its phonon spectra and their dependence on spin-ordering and electron correlations, obtained from first-principles density functional theoretical calculations. Using these in an analysis based on a Landau-like theory, we uncover the mechanism governing the Raman anomalies observed in its low-temperature phase.


title: Direct Evidence of Torque-mediated Optical Magnetism

abstract: We report experimental evidence of a mechanism that supports and intensifies induced magnetization at optical frequencies without the intervention of spin-orbit or spin-spin interactions. Energy-resolved spectra of scattered light, recorded at moderate intensities (108 W/cm2) and short timescales (<150 fs) in a series of non-magnetic molecular liquids, reveal the signature of torque dynamics driven jointly by the electric and magnetic field components of light at the molecular level. While past experiments have recorded radiant magnetization from magneto-electric interactions of this type, no evidence has been provided to date of the inelastic librational features expected in cross-polarized light scattering spectra due to the Lorentz force acting in combination with optical magnetic torque. Here, torque is shown to account for inelastic components in the magnetic scattering spectrum under conditions that produce no such features in electric dipole scattering, in excellent agreement with quantum theoretical predictions


title: Empirically Analyzing Ethereum's Gas Mechanism

abstract: Ethereum's Gas mechanism attempts to set transaction fees in accordance with the computational cost of transaction execution: a cost borne by default by every node on the network to ensure correct smart contract execution. Gas encourages users to author transactions that are efficient to execute and in so doing encourages node diversity, allowing modestly resourced nodes to join and contribute to the security of the network. However, the effectiveness of this scheme relies on Gas costs being correctly aligned with observed computational costs in reality. In this work, we performed the first large scale empirical study to understand to what degree this alignment exists in practice, by collecting and analyzing Tera-bytes worth of nanosecond-precision transaction execution traces. Besides confirming potential denial-of-service vectors, our results also shed light on the role of I/O in transaction costs which remains poorly captured by the current Gas cost model. Finally, our results suggest that under the current Gas cost model, nodes with modest computational resources are disadvantaged compared to their better resourced peers, which we identify as an ongoing threat to node diversity and network decentralization.


title: On the Practical Implementation of Propagation Delay and Clock Skew Compensated High-Precision Time Synchronization Schemes with Resource-Constrained Sensor Nodes in Multi-Hop Wireless Sensor Networks

abstract: In wireless sensor networks (WSNs), implementing a high-precision time synchronization scheme on resource-constrained sensor nodes is a major challenge. Our investigation of the practical implementation on a real testbed of the state-of-the-art WSN time synchronization scheme based on the asynchronous source clock frequency recovery and the reverse two-way message exchange, which can compensate for both propagation delay and clock skew for higher precision, reveals that its performance on battery-powered, low-complexity sensor nodes is not up to that predicted from simulation experiments due to the limited precision floating-point arithmetic of sensor nodes. Noting the lower computational capability of typical sensor nodes and its impact on time synchronization, we propose an asymmetric high-precision time synchronization scheme that can provide high-precision time synchronization even with resource-constrained sensor nodes in multi-hop WSNs. In the proposed scheme, all synchronization-related computations are done at the head node equipped with abundant computing and power resources, while the sensor nodes are responsible for timestamping only. Experimental results with a testbed based on TelosB motes running TinyOS demonstrate that the proposed time synchronization scheme can avoid time synchronization errors resulting from the single-precision floating-point arithmetic of the resource-constrained sensor nodes and achieve microsecond-level time synchronization accuracy in multi-hop WSNs.


title: Optimizing enzymatic catalysts for rapid turnover of substrates with low enzyme sequestration

abstract: We analyse the mechanism of enzyme-substrate catalysis from the perspective of minimizing the load on the enzymes through sequestration, whilst maintaining at least a minimum reaction flux. In particular, we ask: which binding free energies of the enzyme-substrate and enzyme-product reaction intermediates minimize the fraction of enzymes sequestered in complexes, while sustaining at a certain minimal flux? Under reasonable biophysical assumptions, we find that the optimal design will saturate the bound on the minimal flux, and reflects a basic trade-off in catalytic operation. If both binding free energies are too high, there is low sequestration, but the effective progress of the reaction is hampered. If both binding free energies are too low, there is high sequestration, and the reaction flux may also be suppressed in extreme cases. The optimal binding free energies are therefore neither too high nor too low, but in fact moderate. Moreover, the optimal difference in substrate and product binding free energies, which contributes to the thermodynamic driving force of the reaction, is in general strongly constrained by the intrinsic free-energy difference between products and reactants. Both the strategies of using a negative binding free-energy difference to drive the catalyst-bound reaction forward, and of using a positive binding free-energy difference to enhance detachment of the product, are limited in their efficacy.


title: Data Analytics in Operations Management: A Review

abstract: Research in operations management has traditionally focused on models for understanding, mostly at a strategic level, how firms should operate. Spurred by the growing availability of data and recent advances in machine learning and optimization methodologies, there has been an increasing application of data analytics to problems in operations management. In this paper, we review recent applications of data analytics to operations management, in three major areas -- supply chain management, revenue management and healthcare operations -- and highlight some exciting directions for the future.


title: Adaptive Intelligent Secondary Control of Microgrids Using a Biologically-Inspired Reinforcement Learning

abstract: In this paper, a biologically-inspired adaptive intelligent secondary controller is developed for microgrids to tackle system dynamics uncertainties, faults, and/or disturbances. The developed adaptive biologically-inspired controller adopts a novel computational model of emotional learning in mammalian limbic system. The learning capability of the proposed biologically-inspired intelligent controller makes it a promising approach to deal with the power system non-linear and volatile dynamics without increasing the controller complexity, and maintain the voltage and frequency stabilities by using an efficient reference tracking mechanism. The performance of the proposed intelligent secondary controller is validated in terms of the voltage and frequency absolute errors in the simulated microgrid. Simulation results highlight the efficiency and robustness of the proposed intelligent controller under the fault conditions and different system uncertainties compared to other benchmark controllers.


title: Subradiance dynamics in a singly-excited chiral-coupled atomic chain

abstract: We theoretically investigate the subradiance dynamics in a nonreciprocal chiral-coupled atomic chain, in which infinite-range dipole-dipole interaction emerges in the dissipation. We find that super- and subradiance are both present in the dissipation process following single photon excitation, and the decay dynamics shows burst emissions from uniform initial excitations, which reflects the influence of atomic ordering on the propagation of light-induced atom-atom correlations. By tuning the nonreciprocal couplings in the chiral-coupled atomic system, we show that the subradiance dynamics can be greatly modified. We further study the effect of atomic local disorder, and find occurrence of plateaus on the decay curve dependent on the defect locations, as well as persistent localized excitations induced by disorders. We also discuss the effect of imperfections of systems on the subradiance dynamics. Our results show rich opportunities in the chiral-coupled system toward photon storage and routing.


title: A B\"uchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage

abstract: We introduce MSO graph storage types, and call a storage type MSO-expressible if it is isomorphic to some MSO graph storage type. An MSO graph storage type has MSO-definable sets of graphs as storage configurations and as storage transformations. We consider sequential automata with MSO graph storage and associate with each such automaton a string language (in the usual way) and a graph language; a graph is accepted by the automaton if it represents a correct sequence of storage configurations for a given input string. For each MSO graph storage type, we define an MSO logic which is a subset of the usual MSO logic on graphs. We prove a B\"uchi-Elgot-Trakhtenbrot theorem, both for the string case and the graph case. Moreover, we prove that (i) each MSO graph transduction can be used as storage transformation in an MSO graph storage type, (ii) every automatic storage type is MSO-expressible, and (iii) the pushdown operator on storage types preserves the property of MSO-expressibility. Thus, the iterated pushdown storage types are MSO-expressible.


title: Spacetime Metamaterials

abstract: This paper presents the authors' vision of the emerging field of spacetime metamaterials in a cohesive and pedagogical perspective. For this purpose, it systematically builds up the physics, modeling and applications of these media upon the foundation of their pure-space and pure-time counterparts.


title: Large-scale weakly-supervised pre-training for video action recognition

abstract: Current fully-supervised video datasets consist of only a few hundred thousand videos and fewer than a thousand domain-specific labels. This hinders the progress towards advanced video architectures. This paper presents an in-depth study of using large volumes of web videos for pre-training video models for the task of action recognition. Our primary empirical finding is that pre-training at a very large scale (over 65 million videos), despite on noisy social-media videos and hashtags, substantially improves the state-of-the-art on three challenging public action recognition datasets. Further, we examine three questions in the construction of weakly-supervised video action datasets. First, given that actions involve interactions with objects, how should one construct a verb-object pre-training label space to benefit transfer learning the most? Second, frame-based models perform quite well on action recognition; is pre-training for good image features sufficient or is pre-training for spatio-temporal features valuable for optimal transfer learning? Finally, actions are generally less well-localized in long videos vs. short videos; since action labels are provided at a video level, how should one choose video clips for best performance, given some fixed budget of number or minutes of videos?


title: Disciplined Quasiconvex Programming

abstract: We present a composition rule involving quasiconvex functions that generalizes the classical composition rule for convex functions. This rule complements well-known rules for the curvature of quasiconvex functions under increasing functions and pointwise maximums. We refer to the class of optimization problems generated by these rules, along with a base set of quasiconvex and quasiconcave functions, as disciplined quasiconvex programs. Disciplined quasiconvex programming generalizes disciplined convex programming, the class of optimization problems targeted by most modern domain-specific languages for convex optimization. We describe an implementation of disciplined quasiconvex programming that makes it possible to specify and solve quasiconvex programs in CVXPY 1.0.


title: Investigating Robustness and Interpretability of Link Prediction via Adversarial Modifications

abstract: Representing entities and relations in an embedding space is a well-studied approach for machine learning on relational data. Existing approaches, however, primarily focus on improving accuracy and overlook other aspects such as robustness and interpretability. In this paper, we propose adversarial modifications for link prediction models: identifying the fact to add into or remove from the knowledge graph that changes the prediction for a target fact after the model is retrained. Using these single modifications of the graph, we identify the most influential fact for a predicted link and evaluate the sensitivity of the model to the addition of fake facts. We introduce an efficient approach to estimate the effect of such modifications by approximating the change in the embeddings when the knowledge graph changes. To avoid the combinatorial search over all possible facts, we train a network to decode embeddings to their corresponding graph components, allowing the use of gradient-based optimization to identify the adversarial modification. We use these techniques to evaluate the robustness of link prediction models (by measuring sensitivity to additional facts), study interpretability through the facts most responsible for predictions (by identifying the most influential neighbors), and detect incorrect facts in the knowledge base.


title: Hyperspaces $C(p,X)$ of finite graphs

abstract: Given a continuum $X$ and $p\in X$, we will consider the hyperspace $C(p,X)$ of all subcontinua of $X$ containing $p$ and the family $K(X)$ of all hyperspaces $C(q,X)$, where $q\in X$. In this paper we give some conditions on the points $p,q\in X$ to guarantee that $C(p,X)$ and $C(q,X)$ are homeomorphic, for finite graphs $X$. Also, we study the relationship between the homogeneity degree of a finite graph $X$ and the number of topologically distinct spaces in $K(X)$, called the size of $K(X)$. In addition, we construct for each positive integer $n$, a finite graph $X_n$ such that $K(X_n)$ has size $n$, and we present a theorem that allows to construct finite graphs $X$ with a degree of homogeneity different from the size of the family $K(X)$.


title: Parallelizing Convergent Cross Mapping Using Apache Spark

abstract: Identifying the causal relationships between subjects or variables remains an important problem across various scientific fields. This is particularly important but challenging in complex systems, such as those involving human behavior, sociotechnical contexts, and natural ecosystems. By exploiting state space reconstruction via lagged embedding of time series, convergent cross mapping (CCM) serves as an important method for addressing this problem. While powerful, CCM is computationally costly; moreover, CCM results are highly sensitive to several parameter values. While best practice entails exploring a range of parameter settings when assessing casual relationships, the resulting computational burden can raise barriers to practical use, especially for long time series exhibiting weak causal linkages. We demonstrate here several means of accelerating CCM by harnessing the distributed Apache Spark platform. We characterize and report on results of several experiments with parallelized solutions that demonstrate high scalability and a capacity for over an order of magnitude performance improvement for the baseline configuration. Such economies in computation time can speed learning and robust identification of causal drivers in complex systems.


title: Graph Coloring via Degeneracy in Streaming and Other Space-Conscious Models

abstract: We study the problem of coloring a given graph using a small number of colors in several well-established models of computation for big data. These include the data streaming model, the general graph query model, the massively parallel computation (MPC) model, and the CONGESTED-CLIQUE and the LOCAL models of distributed computation. On the one hand, we give algorithms with sublinear complexity, for the appropriate notion of complexity in each of these models. Our algorithms color a graph $G$ using about $\kappa(G)$ colors, where $\kappa(G)$ is the degeneracy of $G$: this parameter is closely related to the arboricity $\alpha(G)$. As a function of $\kappa(G)$ alone, our results are close to best possible, since the optimal number of colors is $\kappa(G)+1$. On the other hand, we establish certain lower bounds indicating that sublinear algorithms probably cannot go much further. In particular, we prove that any randomized coloring algorithm that uses $\kappa(G)+1$ many colors, would require $\Omega(n^2)$ storage in the one pass streaming model, and $\Omega(n^2)$ many queries in the general graph query model, where $n$ is the number of vertices in the graph. These lower bounds hold even when the value of $\kappa(G)$ is known in advance; at the same time, our upper bounds do not require $\kappa(G)$ to be given in advance.


title: Social Network of Extreme Tweeters: A Case Study

abstract: The number of posts made by a single user account on a social media platform Twitter in any given time interval is usually quite low. However, there is a subset of users whose volume of posts is much higher than the median. In this paper, we investigate the content diversity and the social neighborhood of these extreme users and others. We define a metric called "interest narrowness", and identify that a subset of extreme users, termed anomalous users, write posts with very low topic diversity, including posts with no text content. Using a few interaction patterns we show that anomalous groups have the strongest within-group interactions, compared to their interaction with others. Further, they exhibit different information sharing behaviors with other anomalous users compared to non-anomalous extreme tweeters.


title: Weight Map Layer for Noise and Adversarial Attack Robustness

abstract: Convolutional neural networks (CNNs) are known for their good performance and generalization in vision-related tasks and have become state-of-the-art in both application and research-based domains. However, just like other neural network models, they suffer from a susceptibility to noise and adversarial attacks. An adversarial defence aims at reducing a neural network's susceptibility to adversarial attacks through learning or architectural modifications. We propose the weight map layer (WM) as a generic architectural addition to CNNs and show that it can increase their robustness to noise and adversarial attacks. We further explain that the enhanced robustness of the two WM variants results from the adaptive activation-variance amplification exhibited by the layer. We show that the WM layer can be integrated into scaled up models to increase their noise and adversarial attack robustness, while achieving comparable accuracy levels across different datasets.


title: Group Retention when Using Machine Learning in Sequential Decision Making: the Interplay between User Dynamics and Fairness

abstract: Machine Learning (ML) models trained on data from multiple demographic groups can inherit representation disparity (Hashimoto et al., 2018) that may exist in the data: the model may be less favorable to groups contributing less to the training process; this in turn can degrade population retention in these groups over time, and exacerbate representation disparity in the long run. In this study, we seek to understand the interplay between ML decisions and the underlying group representation, how they evolve in a sequential framework, and how the use of fairness criteria plays a role in this process. We show that the representation disparity can easily worsen over time under a natural user dynamics (arrival and departure) model when decisions are made based on a commonly used objective and fairness criteria, resulting in some groups diminishing entirely from the sample pool in the long run. It highlights the fact that fairness criteria have to be defined while taking into consideration the impact of decisions on user dynamics. Toward this end, we explain how a proper fairness criterion can be selected based on a general user dynamics model.


title: On self-conjugate $(s, s+1,\ldots, s+k)$-core partitions

abstract: Simultaneous core partitions have been widely studied since Anderson's work on the enumeration of $(s,t)$-core partitions. Amdeberhan and Leven showed that the number of $(s,s+1, \ldots, s+k)$-core partitions is equal to the number of $(s, k)$-Dyck paths. In this paper, we prove that self-conjugate $(s,s+1, \ldots, s+k)$-core partitions are equinumerous with symmetric $(s, k)$-Dyck paths, confirming a conjecture posed by Cho, Huh and Sohn.


title: 26ms Inference Time for ResNet-50: Towards Real-Time Execution of all DNNs on Smartphone

abstract: With the rapid emergence of a spectrum of high-end mobile devices, many applications that required desktop-level computation capability formerly can now run on these devices without any problem. However, without a careful optimization, executing Deep Neural Networks (a key building block of the real-time video stream processing that is the foundation of many popular applications) is still challenging, specifically, if an extremely low latency or high accuracy inference is needed. This work presents CADNN, a programming framework to efficiently execute DNN on mobile devices with the help of advanced model compression (sparsity) and a set of thorough architecture-aware optimization. The evaluation result demonstrates that CADNN outperforms all the state-of-the-art dense DNN execution frameworks like TensorFlow Lite and TVM.


title: Argument Identification in Public Comments from eRulemaking

abstract: Administrative agencies in the United States receive millions of comments each year concerning proposed agency actions during the eRulemaking process. These comments represent a diversity of arguments in support and opposition of the proposals. While agencies are required to identify and respond to substantive comments, they have struggled to keep pace with the volume of information. In this work we address the tasks of identifying argumentative text, classifying the type of argument claims employed, and determining the stance of the comment. First, we propose a taxonomy of argument claims based on an analysis of thousands of rules and millions of comments. Second, we collect and semi-automatically bootstrap annotations to create a dataset of millions of sentences with argument claim type annotation at the sentence level. Third, we build a system for automatically determining argumentative spans and claim type using our proposed taxonomy in a hierarchical classification model.


title: Some enumerative properties of a class of Fibonacci-like cubes

abstract: A filter lattice is a distributive lattice formed by all filters of a poset in the anti-inclusion order. We study the combinatorial properties of the Hasse diagrams of filter lattices of certain posets, so called Fibonacci-like cubes, in this paper. Several enumerative polynomials, e.g.\ rank generating function, cube polynomials and degree sequence polynomials are obtained. Some of these results relate to Fibonacci sequence and Padovan sequence.


title: Paper-based cell cryopreservation

abstract: The continuous development of simple and practical cell cryopreservation methods is of great importance to a variety of sectors, especially when considering the efficient short- and long-term storage of cells and their transportation. Although the overall success of such methods has been increased in recent years, there is still need for a unified platform that is highly suitable for efficient cryogenic storage of cells in addition to their easy-to-manage retrieval. Here, we present a paper-based cell cryopreservation method as an alternative to conventional cryopreservation methods. The method is space saving, cost-effective, simple and easy to manage, and requires no additional fine-tuning to conventional freezing and thawing procedures to yield comparable recovery of viable cells. We show that treating papers with fibronectin solution induces enhanced release of viable cells post thawing as compared to untreated paper platforms. Additionally, upon release, the remaining cells within paper lead to the formation and growth of spheroid-like structures. Moreover, we demonstrate that the developed method works with paper-based 3D cultures, where pre-formed 3D cultures can be efficiently cryopreserved.


title: Neutrino Signal from Compact Objects during their Formation, their Mergers, or as a Signature of Electric-Charge Phase Transition

abstract: We study neutrino production, propagation, and oscillations within an extremely magnetized background of finite-temperature nuclear matter. We focus on three particularly interesting cases and identify the astrophysical scenarios where such a signal may be found. The first case involves nuclear matter with electrons, and it is found during the central-engine stage of, both, short and long gamma-ray bursts (GRBs). Thus, for the short GRB case it will also be associated to gravitational-wave events where there is an electromagnetic counterpart (e.g., GW170817). The second and third scenarios involve the presence of strange-quark matter (SQM). The second scenario occurs if SQM can become negatively charged (SQM$^-$; which may only occur at high pressure) and, thus, it is embedded in a positron plasma. The third case may be found at the interphase where SQM transitions from positive (SQM$^+$) to negative; here, positrons and electrons may constantly annihilate and give a distinctive neutrino signature. Therefore, this may also be a signature of the existence of strange stars. Given the wide range of magnetic fields we find in the literature, we also briefly discuss the maximum limit that a stellar mass compact object may posses.


title: Measurement of CH$_3$D on Titan at Submillimeter Wavelengths

abstract: We present the first radio/submillimeter detection of monodeuterated methane (CH$_3$D) in Titan's atmosphere, using archival data from of the Atacama Large Millimeter/submillimeter Array (ALMA). The $J_K=2_1-1_1$ and $J_K=2_0-1_0$ transitions at 465.235 and 465.250 GHz ($\sim0.644$ mm) were measured at significance levels of $4.6\sigma$ and $5.7\sigma$, respectively. These two lines were modeled using the Non-linear optimal Estimator for MultivariatE spectral analySIS (NEMESIS) radiative transfer code to determine the disk-averaged CH$_3$D volume mixing ratio = $6.157\times10^{-6}$ in Titan's stratosphere (at altitudes $\gt130$ km). By comparison with the CH$_4$ vertical abundance profile measured by Cassini-Huygens mass spectrometry, the resulting value for D/H in CH$_4$ is $(1.033\pm0.081)\times10^{-4}$. This is consistent with previous ground-based and in-situ measurements from the Cassini-Huygens mission, though slightly lower than the average of the previous values. Additional CH$_3$D observations at higher spatial resolution will be required to determine a value truly comparable with the Cassini-Huygens CH$_4$ measurements, by measuring CH$_3$D with ALMA close to Titan's equator. In the post-Cassini era, spatially resolved observations of CH$_3$D with ALMA will enable the latitudinal distribution of methane to be determined, making this an important molecule for further studies.


title: A canonical purification for the entanglement wedge cross-section

abstract: In AdS/CFT we consider a class of bulk geometric quantities inside the entanglement wedge called reflected minimal surfaces. The areas of these surfaces are dual to the entanglement entropy associated to a canonical purification (the GNS state) that we dub the reflected entropy. From the bulk point of view, we show that half the area of the reflected minimal surface gives a reinterpretation of the notion of the entanglement wedge cross-section. We prove some general properties of the reflected entropy and introduce a novel replica trick in CFTs for studying it. The duality is established using a recently introduced approach to holographic modular flow. We also consider an explicit holographic construction of the canonical purification, introduced by Engelhardt and Wall; the reflected minimal surfaces are simply RT surfaces in this new spacetime. We contrast our results with the entanglement of purification conjecture, and finally comment on the continuum limit where we find a relation to the split property: the reflected entropy computes the von Neumann entropy of a canonical splitting type-I factor introduced by Doplicher and Longo.


title: A Note on Adjoint Linear Algebra

abstract: A new proof for adjoint systems of linear equations is presented. The argument is built on the principles of Algorithmic Differentiation. Application to scalar multiplication sets the base line. Generalization yields adjoint inner vector, matrix-vector, and matrix-matrix products leading to an alternative proof for first- as well as higher-order adjoint linear systems.


title: Herding Effect based Attention for Personalized Time-Sync Video Recommendation

abstract: Time-sync comment (TSC) is a new form of user-interaction review associated with real-time video contents, which contains a user's preferences for videos and therefore well suited as the data source for video recommendations. However, existing review-based recommendation methods ignore the context-dependent (generated by user-interaction), real-time, and time-sensitive properties of TSC data. To bridge the above gaps, in this paper, we use video images and users' TSCs to design an Image-Text Fusion model with a novel Herding Effect Attention mechanism (called ITF-HEA), which can predict users' favorite videos with model-based collaborative filtering. Specifically, in the HEA mechanism, we weight the context information based on the semantic similarities and time intervals between each TSC and its context, thereby considering influences of the herding effect in the model. Experiments show that ITF-HEA is on average 3.78\% higher than the state-of-the-art method upon F1-score in baselines.


title: Deterministic Leader Election in Programmable Matter

abstract: Addressing a fundamental problem in programmable matter, we present the first deterministic algorithm to elect a unique leader in a system of connected amoebots assuming only that amoebots are initially contracted. Previous algorithms either used randomization, made various assumptions (shapes with no holes, or known shared chirality), or elected several co-leaders in some cases. Some of the building blocks we introduce in constructing the algorithm are of interest by themselves, especially the procedure we present for reaching common chirality among the amoebots. Given the leader election and the chirality agreement building block, it is known that various tasks in programmable matter can be performed or improved. The main idea of the new algorithm is the usage of the ability of the amoebots to move, which previous leader election algorithms have not used.


title: Electron pumping in the strong coupling and non-Markovian regime: A reaction coordinate mapping approach

abstract: We study electron pumping in the strong coupling and non-Markovian regime. Our model is a single quantum dot with periodically modulated energy and tunnelling amplitudes. We identify four parameters to control the direction of the current: the driving phase, the coupling strength, the driving frequency and the location of the maxima of the spectral density. In the high-frequency regime, we use a Markovian embedding strategy to map our model to three serial quantum dots weakly coupled to the reservoirs allowing us to use a Floquet master equation. We observe a rectification effect of the pumped charge that is exclusive to the non-Markovian character of our model. In the low-frequency regime, we apply an additional transformation to see our model as three independent transport channels. With the use of full counting statistics, we study charge fluctuations and validate that our model behaves as a single electron source.


title: Recurrent Convolutional Strategies for Face Manipulation Detection in Videos

abstract: The spread of misinformation through synthetically generated yet realistic images and videos has become a significant problem, calling for robust manipulation detection methods. Despite the predominant effort of detecting face manipulation in still images, less attention has been paid to the identification of tampered faces in videos by taking advantage of the temporal information present in the stream. Recurrent convolutional models are a class of deep learning models which have proven effective at exploiting the temporal information from image streams across domains. We thereby distill the best strategy for combining variations in these models along with domain specific face preprocessing techniques through extensive experimentation to obtain state-of-the-art performance on publicly available video-based facial manipulation benchmarks. Specifically, we attempt to detect Deepfake, Face2Face and FaceSwap tampered faces in video streams. Evaluation is performed on the recently introduced FaceForensics++ dataset, improving the previous state-of-the-art by up to 4.55% in accuracy.


title: Investigate the pentaquark resonance in the $NK$ system

abstract: A dynamical calculation of pentaquark systems with quark contents $uudd\bar{s}$ is performed in the framework of quark delocalization color screening model with the help of resonating group method. The effective potentials between baryon and meson clusters are given, and the possible bound states or resonances are investigated. The single calculations show that the $NK^{*}$ with $I=0, J^{P}=\frac{1}{2}^{-}$, $\Delta K^{*}$ with $I=1, J^{P}=\frac{1}{2}^{-}$, and $\Delta K^{*}$ with $I=2, J^{P}=\frac{3}{2}^{-}$ are all bound, but they all turns into scattering states by coupling with the corresponding open channels. A possible resonance state $\Delta K^{*}$ with $I=1, J^{P}=\frac{5}{2}^{-}$ is proposed. The mass is around $2110.5$ MeV, and the decay modes are $NK$ in $D$-wave or $NK\pi\pi$ in $P$-waves.


title: Demonstration of Sputtering Atomic Layer Augmented Deposition (SALAD): Aluminum Oxide-Copper Dielectric-Metal Nanocomposite

abstract: Designing a thin film structure often begins with choosing a film deposition method that employs a specific primary process by which chemical species are formed and transported. In other words, a film deposition system in which two complementary deposition methods are hybridized should lead to new ways of designing thin film structures with structural complexity tailored at a level that has never been envisioned.This premise inspired us to uniquely combine atomic layer deposition (ALD) and magnetron sputtering (SPU) within a single deposition chamber; the combined film deposition system is referred to as sputtering atomic layer augmented deposition (SALAD). SALAD allows us to take full advantages of both ALDs precise and accurate precursor delivery and SPUs versatility in choices of chemical elements. A SALAD system was designed based on knowledge obtained by computational fluid dynamics with the goal of conceiving a film deposition system that satisfied deposition conditions distinctive for both ALD and SPU, and a prototype SALAD system was assembled by employing off-the-shelf vacuum components.A s a demonstration, the SALAD system was utilized to deposit a unique nanocomposite made of a stack of aluminum oxide thin films by ALD and copper thin films by SPU, AlOx-Cu dielectric-metal (ACDM) nanocomposite thin films, on Si and glass substrates. Spectroscopic reflectivity collected on ACDM nanocomposite thin films shows unique dispersion features to which conventional effective medium theories used for describing optical properties of composites made of a dielectric host that contains metallic inclusions do not seem to simply apply.


title: Reputation-Based Information Design for Inducing Prosocial Behavior

abstract: We study the idea of information design for inducing prosocial behavior in the context of electricity consumption. We consider a continuum of agents. Each agent has a different intrinsic motivation to reduce her power consumption. Each agent models the power consumption of the others via a distribution. Using this distribution, agents will anticipate their reputational benefit and choose a power consumption by trading off their own intrinsic motivation to do a prosocial action, the cost of this prosocial action and their reputation. Initially, the service provider can provide two types of quantized feedbacks of the power consumption. We study their advantages and disadvantages. For each feedback, we characterize the corresponding mean field equilibrium, using a fixed point equation. Besides computing the mean field equilibrium, we highlight the need for a systematic study of information design, by showing that revealing less information to the society can lead to more prosociality. In the last part of the paper, we introduce the notion of privacy and provide a new quantized feedback, more flexible than the previous ones, that respects agents' privacy concern but at the same time improves prosociality. The results of this study are also applicable to generic resource sharing problems.


title: Estimating Kullback-Leibler Divergence Using Kernel Machines

abstract: Recently, a method called the Mutual Information Neural Estimator (MINE) that uses neural networks has been proposed to estimate mutual information and more generally the Kullback-Leibler (KL) divergence between two distributions. The method uses the Donsker-Varadhan representation to arrive at the estimate of the KL divergence and is better than the existing estimators in terms of scalability and flexibility. The output of MINE algorithm is not guaranteed to be a consistent estimator. We propose a new estimator that instead of searching among functions characterized by neural networks searches the functions in a Reproducing Kernel Hilbert Space. We prove that the proposed estimator is consistent. We carry out simulations and show that when the datasets are small the proposed estimator is more reliable than the MINE estimator and when the datasets are large the performance of the two methods are close.


title: Coordination and Trajectory Prediction for Vehicle Interactions via Bayesian Generative Modeling

abstract: Coordination recognition and subtle pattern prediction of future trajectories play a significant role when modeling interactive behaviors of multiple agents. Due to the essential property of uncertainty in the future evolution, deterministic predictors are not sufficiently safe and robust. In order to tackle the task of probabilistic prediction for multiple, interactive entities, we propose a coordination and trajectory prediction system (CTPS), which has a hierarchical structure including a macro-level coordination recognition module and a micro-level subtle pattern prediction module which solves a probabilistic generation task. We illustrate two types of representation of the coordination variable: categorized and real-valued, and compare their effects and advantages based on empirical studies. We also bring the ideas of Bayesian deep learning into deep generative models to generate diversified prediction hypotheses. The proposed system is tested on multiple driving datasets in various traffic scenarios, which achieves better performance than baseline approaches in terms of a set of evaluation metrics. The results also show that using categorized coordination can better capture multi-modality and generate more diversified samples than the real-valued coordination, while the latter can generate prediction hypotheses with smaller errors with a sacrifice of sample diversity. Moreover, employing neural networks with weight uncertainty is able to generate samples with larger variance and diversity.


title: Probing the anomalous $tq\gamma$ couplings through single top production at the future lepton-hadron colliders

abstract: The measurements of the top quark flavor changing neutral current interactions are one of the most important goals of the top quark physics program in the present and the future collider experiments. These measurements provide direct information on non-standard interactions of the top quark. Within the framework of new physics beyond the Standard Model, these interactions can be defined by an effective Lagrangian. In this study, we have investigated the potential of the future $\mu p$ colliders on the top quark flavor changing neutral current interactions through the subprocesses $\gamma q \rightarrow t \rightarrow W b$ where $q=u,c$. These subprocesses have been produced through the main reaction $\mu p \rightarrow \mu \gamma p \rightarrow \mu W b X $ at the LHC$-\mu p$, the FCC$-\mu p$ and the SPPC-$\mu p$. For the main reaction, the total cross sections have been calculated as a function of the anomalous $ tq\gamma $ couplings. In addition, sensitivities on BR($t \rightarrow q \gamma$) at $95\%$ Confidence Level have been calculated. We obtain that the best constraints on BR($t \rightarrow q \gamma$) are at the order of 10$^{-7}$ which is four orders of magnitude better than the LHC's experimental results.


title: Stationary light in atomic media

abstract: When ensembles of atoms interact with coherent light fields a great many interesting and useful effects can be observed. In particular, the group velocity of the coherent fields can be modified dramatically. Electromagnetically induced transparency is perhaps the best known example, giving rise to very slow light. Careful tuning of the optical fields can also produce stored light where a light field is mapped completely into a coherence of the atomic ensemble. In contrast to stored light, in which the optical field is extinguished, stationary light is a bright field of light with a group velocity of zero. Stationary light has applications in situations where it is important to maintain an optical field, such as attempts to engineer large nonlinear interactions. In this paper we review the stationary light demonstrations published to date and provide a unified theoretical framework that describes the experimental observations. We also discuss possible applications of stationary light with a particular focus on all-optical phase gates for quantum information technology.


title: High quality, lightweight and adaptable TTS using LPCNet

abstract: We present a lightweight adaptable neural TTS system with high quality output. The system is composed of three separate neural network blocks: prosody prediction, acoustic feature prediction and Linear Prediction Coding Net as a neural vocoder. This system can synthesize speech with close to natural quality while running 3 times faster than real-time on a standard CPU. The modular setup of the system allows for simple adaptation to new voices with a small amount of data. We first demonstrate the ability of the system to produce high quality speech when trained on large, high quality datasets. Following that, we demonstrate its adaptability by mimicking unseen voices using 5 to 20 minutes long datasets with lower recording quality. Large scale Mean Opinion Score quality and similarity tests are presented, showing that the system can adapt to unseen voices with quality gap of 0.12 and similarity gap of 3% compared to natural speech for male voices and quality gap of 0.35 and similarity of gap of 9 % for female voices.


title: Highly nonlinear magnetoelectric effect in antiferromagnetic Co4Ta2O9 single crystals

abstract: Strongly correlated materials with multiple order parameters provide unique insights into the fundamental interactions in condensed matter systems and present opportunities for innovative technological applications. A class of antiferromagnetic honeycomb lattices compounds, A4B2O9 (A = Co, Fe, Mn; B = Nb, Ta), have been explored owing to the occurrence of linear magnetoelectricity. We observe a highly nonlinear magnetoelectric effect on single crystals of Co4Ta2O9 (CTO), distinctive from the linear behavior in the isostructural Co4Nb2O9. Ferroelectricity emerges primarily along the [110] direction under magnetic fields, with the onset of antiferromagnetic order at TN = 20.5 K. For in-plane magnetic field, a spin-flop occurs at HC ~ 0.3 T, above which the ferroelectric polarization gradually becomes negative and reaches a broad minimum. Upon increasing magnetic field further, the polarization crosses zero and increases continuously to ~60 uC/m2 at 9 T. In contrast, the polarization for a magnetic field perpendicular to the hexagonal plane increases monotonously and reaches ~80 uC/m2 at 9 T. This observation of a strongly nonlinear magnetoelectricity suggests that two types of inequivalent Co2+ sublattices generate magnetic field-dependent ferroelectric polarization with opposite signs. These results motivate fundamental and applied research on the intriguing magnetoelectric characteristics of these honeycomb lattice materials.


title: Modeling the ASF (African Swine Fever) spread till summer 2017 and risk assessment for Poland

abstract: African Swine Fever (ASF) is viral infection which causes acute disease in domestic pigs and wild boar. Although the virus does not cause disease in humans, the impact it has on the economy, especially through trade and farming, is substantial. Recent rapid propagation of the (ASF) from East to West of Europe encouraged us to prepare risk assessment for Poland. The early growth estimation can be easily done by matching incidence trajectory to the exponential function, resulting in the approximation of the force of infection. With these calculations the basic reproduction rate of the epidemic, the effective outbreaks detection and elimination times could be estimated. In regression mode, 380 Polish counties (poviats) have been analysed, where 18 (located in Northeast Poland) have been affected (until August 2017) for spatial propagation (risk assessment for future). Mathematical model has been applied by taking into account: swine amount significance, disease vectors (wild boards) significance. We use pseudogravitational models of short and longrange interactions referring to the socio-migratory behavior of wild boars and the pork production chain significance. Spatial modeling in a certain range of parameters proves the existence of a natural protective barrier within boarders of the Congress Poland. The spread of the disease to the Greater Poland should result in the accelerated outbreak of ASF production chain. In the preliminary setup, we perform regression analysis, network outbreak investigation, early epidemic growth estimation and simulate landscape-based propagation.


title: Directing DNNs Attention for Facial Attribution Classification using Gradient-weighted Class Activation Mapping

abstract: Deep neural networks (DNNs) have a high accuracy on image classification tasks. However, DNNs trained by such dataset with co-occurrence bias may rely on wrong features while making decisions for classification. It will greatly affect the transferability of pre-trained DNNs. In this paper, we propose an interactive method to direct classifiers paying attentions to the regions that are manually specified by the users, in order to mitigate the influence of co-occurrence bias. We test on CelebA dataset, the pre-trained AlexNet is fine-tuned to focus on the specific facial attributes based on the results of Grad-CAM.


title: Early Warning of mmWave Signal Blockage and AoA Transition Using sub-6 GHz Observations

abstract: The susceptibility of millimeter-wave (mmWave) signals to physical blockage and abrupt signal strength variations presents a challenge to reliable 5G communication. This work proposes and examines the feasibility of utilizing lower-frequency signals as early-warning indicators of mobile mmWave signal blockage or recovery. A physics-based channel simulation tool incorporating Fresnel diffraction and image sources is employed to demonstrate that sub-6 GHz signals "lead" mmWave signals in reaching a specific signal-strength threshold by several to tens of milliseconds at mobile speeds, suggesting early-warning systems are viable. This predictive approach stems from frequency-dependent properties of diffraction and does not assume a specific topology or mobile and obstacle speeds. Realistic simulations that include transitions from line of sight (LoS) to non-line of sight (NLoS) and reflection scenarios are employed to verify the proposed prediction capabilities. Moreover, prediction of the strongest multipath component and its angle of arrival (AoA) using sub-6 GHz observations is investigated.


title: Strong magnetoelectric coupling in mixed ferrimagnetic-multiferroic phases of a double perovskite

abstract: Exploring new magnetic materials is essential for finding advantageous functional properties such as magnetoresistance, magnetocaloric effect, spintronic functionality, and multiferroicity. Versatile classes of double perovskite compounds have been recently investigated because of intriguing physical properties arising from the proper combination of several magnetic ions. In this study, it is observed that the dominant ferrimagnetic phase is coexisted with a minor multiferroic phase in single-crystalline double-perovskite Er2CoMnO6. The majority portion of the ferrimagnetic order is activated by the long-range order of Er3+ moments below TEr = 10 K in addition to the ferromagnetic order of Co2+ and Mn4+ moments arising at TC = 67 K, characterized by compensated magnetization at TComp = 3.15 K. The inverted magnetic hysteresis loop observed below TComp can be described by an extended Stoner-Wohlfarth model. The additional multiferroic phase is identified by the ferroelectric polarization of 0.9 uC/m2 at 2 K. The coexisting ferrimagnetic and multiferroic phases appear to be strongly correlated in that metamagnetic and ferroelectric transitions occur simultaneously. The results based on intricate magnetic correlations and phases in Er2CoMnO6 enrich fundamental and applied research on magnetic materials through the scope of distinct magnetic characteristics in double perovskites.


title: An ultra-fast method for gain and noise prediction of Raman amplifiers

abstract: A machine learning method for prediction of Raman gain and noise spectra is presented: it guarantees high-accuracy (RMSE < 0.4 dB) and low computational complexity making it suitable for real-time implementation in future optical networks controllers.


title: Stellar Evolution in Real Time: Models Consistent with Direct Observation of Thermal Pulse in T Ursae Minoris

abstract: Most aspects of stellar evolution proceed far too slowly to be directly observable in a single star on human timescales. The thermally pulsing asymptotic giant branch is one exception. The combination of state-of-the-art modelling techniques with data assimilated from observations collected by amateur astronomers over many decades provide, for the first time, the opportunity to identify a star occupying precisely this evolutionary stage. In this study, we show that the rapid pulsation period change and associated reduction in radius in the bright, northern variable star T Ursae Minoris are caused by the recent onset of a thermal pulse. We demonstrate that T UMi transitioned into a double-mode pulsation state, and we exploit its asteroseismic features to constrain its fundamental stellar parameters. We use evolutionary models from MESA and linear pulsation models from GYRE to track simultaneously the structural and oscillatory evolution of models with varying mass. We apply a sophisticated iterative sampling scheme to achieve time resolution $\le10$ years at the onset of the relevant thermal pulses. We report initial mass of $2.0\pm0.15\, \mathrm{M}_\odot$ and an age of $1.17 \pm 0.21$ Gyr for T UMi. This is the most precise mass and age determination for a single asymptotic giant branch star ever obtained. The ultimate test of our models will be the continued observation of its evolution in real time: we predict that the pulsation periods in T UMi will continue shortening for a few decades before they rebound and begin to lengthen again, as the star expands in radius.


title: MWA Tied-Array Processing II: Polarimetric Verification and Analysis of two Bright Southern Pulsars

abstract: Polarimetric studies of pulsars at low radio frequencies provide important observational insights into the pulsar emission mechanism and beam models, and probe the properties of the magneto-ionic interstellar medium (ISM). Aperture arrays are the main form of next-generation low-frequency telescopes, including the Murchison Widefield Array (MWA). These require a distinctly different approach to data processing (e.g. calibration and beamforming) compared to traditional dish antennas. As the second paper of this series, we present a verification of the MWA's pulsar polarimetry capability, using two bright southern pulsars, PSRs J0742-2822 and J1752-2806. Our observations simultaneously cover multiple frequencies (76-313 MHz) and were taken at multiple zenith angles during a single night for each pulsar. We show that the MWA can be reliably calibrated for zenith angles < 45 degree and frequencies < 270 MHz. We present the polarimetric profiles for PSRs J0742-2822 and J1752-2806 at frequencies lower than 300 MHz for the first time, along with an analysis of the linear polarisation degree and pulse profile evolution with frequency. For PSR J0742-2822, the measured degree of linear polarisation shows a rapid decrease at low frequencies, in contrast with the generally expected trend, which can be attributed to depolarisation effects from small-scale, turbulent, magneto-ionic ISM components. This effect has not been widely explored for pulsars in general, and will be further investigated in future work.


title: Human Activity Recognition Using LSTM-RNN Deep Neural Network Architecture

abstract: Using raw sensor data to model and train networks for Human Activity Recognition can be used in many different applications, from fitness tracking to safety monitoring applications. These models can be easily extended to be trained with different data sources for increased accuracies or an extension of classifications for different prediction classes. This paper goes into the discussion on the available dataset provided by WISDM and the unique features of each class for the different axes. Furthermore, the design of a Long Short Term Memory (LSTM) architecture model is outlined for the application of human activity recognition. An accuracy of above 94% and a loss of less than 30% has been reached in the first 500 epochs of training.


title: Orbit Design for Space Atom-Interferometer AIGSO

abstract: Atom Interferometric Gravitational-wave (GW) Space Observatory (AIGSO) is a mission concept mainly aimed at the middle-frequency (0.1 Hz - 10 Hz) GW detection. AIGSO proposes to have three spacecraft in linear formation with extension of 10 km. The three spacecraft need to maintain 5 km + 5 km constant arm-length formation. In this study, we address the issue of orbit design and thruster requirement. The acceleration to maintain the formation can be designed to be less than 30 pm/s$^2$ and the thruster requirement is in the 30 nN range. Application to other arm-length-maintaining missions is also discussed.


title: Exploring inorganic and nontoxic double perovskites Cs$_2$AgInBr$_{6-x}$Cl$_x$ from material selection to device design in material genome approach

abstract: Halide double perovskites have recently been proposed as potential environmentally friendly alternatives to organic group and lead based hybrid halide perovskites. In particular, Cs2BiAgX6 have been synthesized and found to exhibit tunable band gaps in the visible range. However, the band gaps of these compounds are indirect, not ideal for applications in thin film photovoltaics. Here in this work we have carried out systematic modelling, using a materials genome approach in the framework of the density functional theory (DFT), to formulate a new system of solar absorption layer based on Cs2InAgX6 and its heterojunction device. Through Cl partial substitution on Br in Cs2InAgBr6 to optimize its thermodynamic stability after the calculation of ATAT proportion searching and Gibbs free energy, we have identified a series of stable cubic structured phases, with the general formula of Cs2AgInBr(6-x)Clx, as remarkable solar absorption layer to enable harvesting the solar energy. The optimized Cs2InAgBr5Cl compound is a marvellous solar absorption layer, with direct 1.92 eV bandgap and high solar absorption ability, consistent with Cs2InAgBr6 at standard room temperature (298 K). Assembling with anatase as n type TCO and Cs6Ag4In4Br18Cl4 as p type TCO fabricated by introducing Cs_Br defect, the heterojunction is integrated into PSCs based on the standard pin structure (TiO2_Cs2InAgBr5Cl_Cs6Ag4In4Br18Cl4), the lattice mismatching, microscopic function and band offset are evaluated for this well designed device.


title: Local order parameters for symmetry fractionalization

abstract: We propose a family of order parameters to detect the symmetry fractionalization class of anyons in 2D topological phases. This fractionalization class accounts for the projective, as opposed to linear, representations of the symmetry group on the anyons. We focus on quantum double models on a lattice enriched with an internal symmetry in the framework of $G$-isometric projected entangled pair states. Unlike previous schemes based on reductions to effective 1D systems (dimensional compactification), the order parameters presented here can be probed on genuinely two-dimensional geometries, and are local: they rely on operations on few neighbouring particles in the bulk. The power of these order parameters is illustrated with several combinations of topological content and symmetry. We demonstrate that a strictly finer phase distinction than that provided by dimensional compactification can be obtained. As particular examples, the resolution power of these order parameters is illustrated for a case with non-abelian topological order, and for another with symmetries that involves permutation of anyons.


title: A Mathematical Justification for Exponentially Distributed NLOS Bias

abstract: In the past few decades, the localization literature has seen many models attempting to characterize the non-line-of-sight (NLOS) bias error commonly experienced in range measurements. These models have either been based on specific measurement data or chosen due to attractive features of a particular distribution, yet to date, none have been backed by rigorous analysis. Leveraging tools from stochastic geometry, this paper attempts to fill this void by providing the first analytical backing for an NLOS bias error model. Using a Boolean model to statistically characterize the random locations, orientations, and sizes of reflectors, and assuming first-order (i.e., single-bounce) reflections, the distance traversed by the first-arriving NLOS path is characterized. Under these assumptions, this analysis reveals that NLOS bias exhibits an exponential form and can in fact be well approximated by an exponential distribution -- a result consistent with previous NLOS bias error models in the literature. This analytically derived distribution is then compared to a common exponential model from the literature, revealing this distribution to be a close match in some cases and a lower bound in others. Lastly, the assumptions under which these results were derived suggest this model is aptly suited to characterize NLOS bias in 5G millimeter wave systems as well.


title: IRS-Enhanced OFDM: Power Allocation and Passive Array Optimization

abstract: Intelligent reflecting surface (IRS) is a promising new technology for achieving spectrum and energy efficient wireless communication systems in the future. By adaptively varying the incident signals' phases/amplitudes and thereby establishing favorable channel responses through a large number of reconfigurable passive reflecting elements, IRS is able to enhance the communication performance of mobile users in its vicinity cost-effectively. In this paper, we study an IRS-enhanced orthogonal frequency division multiplexing (OFDM) system in which an IRS is deployed to assist the communication between a nearby user and its associated base station (BS). We aim to maximize the downlink achievable rate for the user by jointly optimizing the transmit power allocation at the BS and the passive array reflection coefficients at the IRS. Although the formulated problem is non-convex and thus difficult to solve, we propose an efficient algorithm to obtain a high-quality suboptimal solution for it, by alternately optimizing the BS's power allocation and the IRS's passive array coefficients in an iterative manner, along with a customized method for the initialization. Simulation results show that the proposed design significantly improves the OFDM link rate performance as compared to the cases without the IRS or with other heuristic IRS designs.


title: On the rate of convergence of iterated Bregman projections and of the alternating algorithm

abstract: We study the alternating algorithm for the computation of the metric projection onto the closed sum of two closed subspaces in uniformly convex and uniformly smooth Banach spaces. For Banach spaces which are convex and smooth of power type, we exhibit a condition which implies linear convergence of this method. We show these convergence results for iterates of Bregman projections onto closed linear subspaces. Using an intimate connection between the metric projection onto a closed linear subspace and the Bregman projection onto its annihilator, we deduce the convergence rate results for the alternating algorithm from the corresponding results for the iterated Bregman projection method.


title: Numerical study of Galerkin-collocation approximation in time for the wave equation

abstract: The elucidation of many physical problems in science and engineering is subject to the accurate numerical modelling of complex wave propagation phenomena. Over the last decades, high-order numerical approximation for partial differential equations has become a well-established tool. Here we propose and study numerically the implicit approximation in time of wave equations by a Galerkin--collocation approach that relies on a higher order space-time finite element approach. The conceptual basis is the establishment of a direct connection between the Galerkin method for the time discretization and the classical collocation methods, with the perspective of achieving the accuracy of the former with reduced computational costs provided by the latter in terms of less complex linear algebraic systems. For the fully discrete solution, higher order regularity in time is further ensured which can be advantageous in the discretization of multi-physics systems. The accuracy and efficiency of the variational collocation approach is carefully studied by numerical experiments.


title: A knowledge-based intelligent system for control of dirt recognition process in the smart washing machines

abstract: In this paper, we propose an intelligence approach based on fuzzy logic to modeling human intelligence in washing clothes. At first, an intelligent feedback loop is designed for perception-based sensing of dirt inspired by human color understanding. Then, when color stains leak out of some colored clothes the human probabilistic decision making is computationally modeled to detect this stain leakage and thus the problem of recognizing dirt from stain can be considered in the washing process. Finally, we discuss the fuzzy control of washing clothes and design and simulate a smart controller based on the fuzzy intelligence feedback loop.


title: Search for rare or forbidden decays of the $D^{0}$ meson

abstract: We present a search for nine lepton-number-violating and three lepton-flavor-violating neutral charm decays of the type $D^0\rightarrow h^{\prime -} h^{-}\ell^{\prime +} \ell^{+}$ and $D^0\rightarrow h^{\prime -} h^{+}\ell^{\prime\pm} \ell^{\mp}$, where $h$ and $h^{\prime}$ represent a $K$ or $\pi$ meson and $\ell$ and $\ell^{\prime}$ an electron or muon. The analysis is based on $468$ fb$^{-1}$ of $e^+e^-$ annihilation data collected at or close to the $Y(4S)$ resonance with the BaBar detector at the SLAC National Accelerator Laboratory. No significant signal is observed for any of the twelve modes and we establish 90% confidence level upper limits on the branching fractions in the range $(1.0 - 30.6)\times 10^{-7}$. The limits are between one and three orders of magnitude times more stringent than previous measurements.


title: Synthetic Oversampling of Multi-Label Data based on Local Label Distribution

abstract: Class-imbalance is an inherent characteristic of multi-label data which affects the prediction accuracy of most multi-label learning methods. One efficient strategy to deal with this problem is to employ resampling techniques before training the classifier. Existing multilabel sampling methods alleviate the (global) imbalance of multi-label datasets. However, performance degradation is mainly due to rare subconcepts and overlapping of classes that could be analysed by looking at the local characteristics of the minority examples, rather than the imbalance of the whole dataset. We propose a new method for synthetic oversampling of multi-label data that focuses on local label distribution to generate more diverse and better labeled instances. Experimental results on 13 multi-label datasets demonstrate the effectiveness of the proposed approach in a variety of evaluation measures, particularly in the case of an ensemble of classifiers trained on repeated samples of the original data.


title: Nonlocal transformations of the Generalized Li\'enard type equations and dissipative Ermakov-Milne-Pinney systems

abstract: We employ the method of nonlocal generalized Sundman transformations to formulate the linearization problem for equations of the generalized Li\'enard type and show that they may be mapped to equations of the dissipative Ermakov-Milne-Pinney type. We obtain the corresponding new first integrals of these derived equations, this method yields a natural generalization of the construction of Ermakov-Lewis invariant for a time dependent oscillator to (coupled) Li\'enard and Li\'enard type equations. We also study the linearization problem for the coupled Li\'enard equation using nonlocal transformations and derive coupled dissipative Ermakov-Milne-Pinney equation. As an offshoot of this nonlocal transformation method when the standard Li\'enard equation, x + f(x)x_ + g(x) = 0, is mapped to that of the linear harmonic oscillator equation we obtain a relation between the functions f(x) and g(x) which is exactly similar to the condition derived in the context of isochronicity of the Li\'enard equation.


title: An algorithmic search for $\mathcal{A}$-annihilated classes in the Dyer-Lashof algebra and $H_*QS^0$ I. Closed form for low lengths and tables in low dimensions

abstract: The aim of this work is to publicise some computational results involving tables which contain $\mathcal{A}$-annihilated monomials, excluding square classes, in the Dyer-Lashof algebra and $H_*QS^0$; our computations go up to dimension $1.1\times 10^7$ but the tables in this paper only announce results up to dimension $2^{17}=131072$ and full tables would be available upon request. The theoretical background for our computations is provided by work of Curtis \cite{Curtis} and Wellington \cite{Wellington} on the $\mathcal{A}$-module structure of the Dyer-Lashof algebra as well as $H_*QS^0$. It seems to us that there is a workable algorithm to do these computations which we plan to announce in a future work, partly to avoid making this paper longer than it is. We hope to receive feedback from the experts on these computations and make our algorithm available as soon as we can. We hope that these tables provide a source for researchers in the field, as well as a pool of data to analyse the behaviour of these sequences, their distributions and other asymptotic behaviours. The problem of computing spherical classes in $H_*QS^0$ as well as the symmetric and non-symmetric hit problems have been our main motivations to pursue this project.


title: Online Circle Packing

abstract: We consider the online problem of packing circles into a square container. A sequence of circles has to be packed one at a time, without knowledge of the following incoming circles and without moving previously packed circles. We present an algorithm that packs any online sequence of circles with a combined area not larger than 0.350389 0.350389 of the square's area, improving the previous best value of {\pi}/10 \approx 0.31416; even in an offline setting, there is an upper bound of {\pi}/(3 + 2 \sqrt{2}) \approx 0.5390. If only circles with radii of at least 0.026622 are considered, our algorithm achieves the higher value 0.375898. As a byproduct, we give an online algorithm for packing circles into a 1\times b rectangle with b \geq 1. This algorithm is worst case-optimal for b \geq 2.36.


title: Combinatorics of faithfully balanced modules

abstract: We study and classify faithfully balanced modules for the algebra of lower triangular $n$ by $n$ matrices. The theory extends known results about tilting modules, which are classified by binary trees, and counted with the Catalan numbers. The number of faithfully balanced modules is a $2$-factorial number. Among them are $n!$ modules with $n$ indecomposable summands, which can be classified by interleaved binary trees or by increasing binary trees.


title: Alternative Techniques for Mapping Paths to HLAI

abstract: The only systematic mapping of the HLAI technical landscape was conducted at a workshop in 2009 [Adams et al., 2012]. However, the results from it were not what organizers had hoped for [Goertzel 2014, 2016], merely just a series of milestones, up to 50% of which could be argued to have been completed already. We consider two more recent articles outlining paths to human-like intelligence [Mikolov et al., 2016; Lake et al., 2017]. These offer technical and more refined assessments of the requirements for HLAI rather than just milestones. While useful, they also have limitations. To address these limitations we propose the use of alternative techniques for an updated systematic mapping of the paths to HLAI. The newly proposed alternative techniques can model complex paths of future technologies using intricate directed graphs. Specifically, there are two classes of alternative techniques that we consider: scenario mapping methods and techniques for eliciting expert opinion through digital platforms and crowdsourcing. We assess the viability and utility of both the previous and alternative techniques, finding that the proposed alternative techniques could be very beneficial in advancing the existing body of knowledge on the plausible frameworks for creating HLAI. In conclusion, we encourage discussion and debate to initiate efforts to use these proposed techniques for mapping paths to HLAI.


title: Investigation of F0 conditioning and Fully Convolutional Networks in Variational Autoencoder based Voice Conversion

abstract: In this work, we investigate the effectiveness of two techniques for improving variational autoencoder (VAE) based voice conversion (VC). First, we reconsider the relationship between vocoder features extracted using the high quality vocoders adopted in conventional VC systems, and hypothesize that the spectral features are in fact F0 dependent. Such hypothesis implies that during the conversion phase, the latent codes and the converted features in VAE based VC are in fact source F0 dependent. To this end, we propose to utilize the F0 as an additional input of the decoder. The model can learn to disentangle the latent code from the F0 and thus generates converted F0 dependent converted features. Second, to better capture temporal dependencies of the spectral features and the F0 pattern, we replace the frame wise conversion structure in the original VAE based VC framework with a fully convolutional network structure. Our experiments demonstrate that the degree of disentanglement as well as the naturalness of the converted speech are indeed improved.


title: Variational Autoencoders for Sparse and Overdispersed Discrete Data

abstract: Many applications, such as text modelling, high-throughput sequencing, and recommender systems, require analysing sparse, high-dimensional, and overdispersed discrete (count-valued or binary) data. Although probabilistic matrix factorisation and linear/nonlinear latent factor models have enjoyed great success in modelling such data, many existing models may have inferior modelling performance due to the insufficient capability of modelling overdispersion in count-valued data and model misspecification in general. In this paper, we comprehensively study these issues and propose a variational autoencoder based framework that generates discrete data via negative-binomial distribution. We also examine the model's ability to capture properties, such as self- and cross-excitations in discrete data, which is critical for modelling overdispersion. We conduct extensive experiments on three important problems from discrete data analysis: text analysis, collaborative filtering, and multi-label learning. Compared with several state-of-the-art baselines, the proposed models achieve significantly better performance on the above problems.