title: Reducing Compare-and-Swap to Consensus Number One Primitives

abstract: The consensus number of an object is the maximum number of processes among which binary consensus can be solved using any number of instances of the object and read-write registers. Herlihy [6] showed in his seminal work that if an object has a consensus number of n, then there is a universal construction for a wait-free and linearizable implementation of any non-trivial concurrent object or data structure that is shared among n processes. Thus, a synchronization object such as compare-and-swap with an infinite consensus number and the corresponding instruction can be viewed as "strong". On the other hand, a synchronization object such as fetch-and-add with consensus number two and the corresponding fetch-and-add instruction can be viewed as "weak". Ellen et al. [2] observed recently that an object supporting two weak instructions can also achieve infinite consensus number like an object that supports one strong instruction. Using Herlihy's universal construction, this implies that ignoring concerns about efficiency, one can design any concurrent data structure or algorithm using only weak instructions. However, is it possible that a combination of weak instructions is really powerful enough to efficiently replace a strong instruction, like compare-and-swap, without incurring a large overhead in time or space? In this paper, we answer this question by giving an O(1) time wait-free and linearizable implementation of a compare-and-swap register shared among n processes using read-write registers and O(1) registers that support two synchronization primitives half-max and max-write, each having consensus number one. Thus, any algorithm that solves some arbitrary synchronization problem using read-write and compare-and-swap registers can be transformed into an algorithm that has the same asymptotic time complexity and only uses consensus number one instructions.


title: $T_2$-limited sensing of static magnetic fields via fast rotation of quantum spins

abstract: Diamond-based quantum magnetometers are more sensitive to oscillating (AC) magnetic fields than static (DC) fields because the crystal impurity-induced ensemble dephasing time $T_2^*$, the relevant sensing time for a DC field, is much shorter than the spin coherence time $T_2$, which determines the sensitivity to AC fields. Here we demonstrate measurement of DC magnetic fields using a physically rotating ensemble of nitrogen-vacancy centres at a precision ultimately limited by $T_2$ rather than $T_2^*$. The rotation period of the diamond is comparable to $T_2$ and the angle between the NV axis and the target magnetic field changes as a function of time, thus upconverting the static magnetic field to an oscillating field in the physically rotating frame. Using spin-echo interferometry of the rotating NV centres, we are able to perform measurements for over a hundred times longer compared to a conventional Ramsey experiment. With modifications our scheme could realise DC sensitivities equivalent to demonstrated NV center AC magnetic field sensitivities of order $0.1$\,nT\,Hz$^{-1/2}$.


title: Equidimensionality and regularity

abstract: The existence of an equidimensional morphism f with etale local sections from a regular algebraic space X to a locally noetherian normal algebraic space S of characteristic zero with excellent local rings implies that S is regular and f flat.


title: Evolution of the quantum Hall bulk spectrum into chiral edge states

abstract: One of the most intriguing and fundamental properties of topological materials is the correspondence between the conducting edge states and the gapped bulk spectrum. So far, it has been impossible to access the full evolution of edge states with critical parameters such as magnetic field due to poor resolution, remnant bulk conductivity, or disorder. Here, we use a GaAs cleaved edge quantum wire to perform momentum-resolved tunneling spectroscopy. This allows us to probe the evolution of the chiral quantum Hall edge states and their positions from the sample edge with unprecedented precision from very low magnetic fields all the way to high fields where depopulation occurs. We present consistent analytical and numerical models, inferring the edge states from the well known bulk spectrum, finding excellent agreement with the experiment -- thus providing direct evidence for the bulk to edge correspondence. In addition, we observe various features beyond the single-particle picture, such as Fermi level pinning, exchange-enhanced spin splitting and signatures of edge-state reconstruction.


title: Region Detection in Markov Random Fields: Gaussian Case

abstract: We consider the problem of model selection in Gaussian Markov fields in the sample deficient scenario. The benchmark information-theoretic results in the case of d-regular graphs require the number of samples to be at least proportional to the logarithm of the number of vertices to allow consistent graph recovery. When the number of samples is less than this amount, reliable detection of all edges is impossible. In many applications, it is more important to learn the distribution of the edge (coupling) parameters over the network than the specific locations of the edges. Assuming that the entire graph can be partitioned into a number of spatial regions with similar edge parameters and reasonably regular boundaries, we develop new information-theoretic sample complexity bounds and show that a bounded number of samples can be sufficient to consistently recover these regions. Finally, we introduce and analyze an efficient region growing algorithm capable of recovering the regions with high accuracy. We show that it is consistent and demonstrate its performance benefits in synthetic simulations.


title: Large Deviations of Convex Polyominoes

abstract: Enumeration of various types of lattice polygons and in particular polyominoes is of primary importance in many machine learning, pattern recognition, and geometric analysis problems. In this work, we develop a large deviation principle for convex polyominoes under different restrictions, such as fixed area and/or perimeter.


title: Scientific Methodology: A View from Early String Theory

abstract: This paper addresses the question as to whether the methodology followed in building and assessing string theory can be considered scientific in the same sense, say, that the methodology followed in building and assessing the Standard Model of particle physics is scientific, by focussing on the "founding" period of the theory. More precisely, its aim is to argue for a positive answer to the above question (there is no real change of scientific status in the way of proceeding and reasoning in fundamental physical research) in the light of a historical analysis of the early developments of the string theoretical framework.


title: Webs for permutation supermodules of type Q

abstract: We give a diagrammatic calculus for the intertwiners between permutation supermodules over the Sergeev superalgebra. We also give a diagrammatic basis for the space of intertwiners between two permutation supermodules.


title: A Personalized Method for Calorie Consumption Assessment

abstract: This paper proposes an image-processing-based method for personalization of calorie consumption assessment during exercising. An experiment is carried out where several actions are required in an exercise called broadcast gymnastics, especially popular in Japan and China. We use Kinect, which captures body actions by separating the body into joints and segments that contain them, to monitor body movements to test the velocity of each body joint and capture the subject's image for calculating the mass of each body joint that differs for each subject. By a kinetic energy formula, we obtain the kinetic energy of each body joint, and calories consumed during exercise are calculated in this process. We evaluate the performance of our method by benchmarking it to Fitbit, a smart watch well-known for health monitoring during exercise. The experimental results in this paper show that our method outperforms a state-of-the-art calorie assessment method, which we base on and improve, in terms of the error rate from Fitbit's ground-truth values.


title: Geodesic planes in the convex core of an acylindrical 3-manifold

abstract: Let $M$ be a convex cocompact acylindrical hyperbolic 3-manifold of infinite volume, and let $M^*$ denote the interior of the convex core of $M$. In this paper we show that any geodesic plane in $M^*$ is either closed or dense. We also show that only countably many planes are closed. These are the first rigidity theorems for planes in convex cocompact 3-manifolds of infinite volume that depend only on the topology of M.


title: Steinberg's theorem for crystallographic complex reflection groups

abstract: Popov classified crystallographic complex reflection groups by determining lattices they stabilize. These analogs of affine Weyl groups have infinite order and are generated by reflections about affine hyperplanes; most arise as the semi-direct product of a finite complex reflection group and a full rank lattice. Steinberg's fixed point theorem asserts that the regular orbits under the action of a reflection group are exactly the orbits lying off of reflecting hyperplanes. This theorem holds for finite reflection groups (real or complex) and also affine Weyl groups but fails for some crystallographic complex reflection groups. We determine when Steinberg's theorem holds for the infinite family of crystallographic complex reflection groups. We include crystallographic groups built on finite Coxeter groups.


title: MedTQ: Dynamic Topic Discovery and Query Generation for Medical Ontologies

abstract: Biomedical ontology refers to a shared conceptualization for a biomedical domain of interest that has vastly improved data management and data sharing through the open data movement. The rapid growth and availability of biomedical data make it impractical and computationally expensive to perform manual analysis and query processing with the large scale ontologies. The lack of ability in analyzing ontologies from such a variety of sources, and supporting knowledge discovery for clinical practice and biomedical research should be overcome with new technologies. In this study, we developed a Medical Topic discovery and Query generation framework (MedTQ), which was composed by a series of approaches and algorithms. A predicate neighborhood pattern-based approach introduced has the ability to compute the similarity of predicates (relations) in ontologies. Given a predicate similarity metric, machine learning algorithms have been developed for automatic topic discovery and query generation. The topic discovery algorithm, called the hierarchical K-Means algorithm was designed by extending an existing supervised algorithm (K-means clustering) for the construction of a topic hierarchy. In the hierarchical K-Means algorithm, a level-by-level optimization strategy was selected for consistent with the strongly association between elements within a topic. Automatic query generation was facilitated for discovered topic that could be guided users for interactive query design and processing. Evaluation was conducted to generate topic hierarchy for DrugBank ontology as a case study. Results demonstrated that the MedTQ framework can enhance knowledge discovery by capturing underlying structures from domain specific data and ontologies.


title: Quantum Algorithm for Optimization and Polynomial System Solving over Finite Field and Application to Cryptanalysis

abstract: In this paper, we give quantum algorithms for two fundamental computation problems: solving polynomial systems over finite fields and optimization where the arguments of the objective function and constraints take values from a finite field or a bounded interval of integers. The quantum algorithms can solve these problems with any given success probability and have polynomial runtime complexities in the size of the input, the degree of the inequality constraints, and the condition number of certain matrices derived from the problem. So, we achieved exponential speedup for these problems when their condition numbers are small. As applications, quantum algorithms are given to three basic computational problems in cryptography: the polynomial system with noise problem, the short integer solution problem, the shortest vector problem, as well as the cryptanalysis for the lattice based NTRU cryptosystem. It is shown that these problems and NTRU can against quantum computer attacks only if their condition numbers are large, so the condition number could be used as a new criterion for the lattice based post-quantum cryptosystems.


title: Critical varieties and motivic equivalence for algebras with involution

abstract: Motivic equivalence for algebraic groups was recently introduced in [9], where a characterization of motivic equivalent groups in terms of higher Tits indexes is given. As a consequence, if the quadrics associated to two quadratic forms have the same Chow motives with coefficients in F_2, this remains true for any two projective homogeneous varieties of the same type under the orthogonal groups of those two quadratic forms. Our main result extends this to all groups of classical type, and to some exceptional groups, introducing a notion of critical variety. On the way, we prove that motivic equivalence of the automorphism groups of two involutions can be checked after extending scalars to some index reduction field, which depends on the type of the involutions. In addition, we describe conditions on the base field which guarantee that motivic equivalent involutions actually are isomorphic, extending a result of Hoffmann on quadratic forms.


title: Machine Learning-based Variability Handling in IoT Agents

abstract: Agent-based IoT applications have recently been proposed in several domains, such as health care, smart cities and agriculture. Deploying these applications in specific settings has been very challenging for many reasons including the complex static and dynamic variability of the physical devices such as sensors and actuators, the software application behavior and the environment in which the application is embedded. In this paper, we propose a self-configurable IoT agent approach based on feedback-evaluative machine-learning. The approach involves: i) a variability model of IoT agents; ii) generation of sets of customized agents; iii) feedback evaluative machine learning; iv) modeling and composition of a group of IoT agents; and v) a feature-selection method based on manual and automatic feedback.


title: The GAPS Programme with HARPS-N at TNG XVI: Measurement of the Rossiter-McLaughlin effect of the transiting planetary systems HAT-P-3, HAT-P-12, HAT-P-22, WASP-39 and WASP-60

abstract: We characterised five transiting planetary systems (HAT-P-3, HAT-P-12, HAT-P-22, WASP-39 and WASP-60) and determined their sky-projected planet orbital obliquity through the measurement of the RM effect. We used HARPS-N high-precision radial velocity measurements, gathered during transit events, to measure the RM effect in the target systems and determine the sky-projected angle between the planetary orbital plane and the stellar equator. The characterisation of stellar atmospheric parameters was performed exploiting the HARPS-N spectra, using line equivalent width ratios, and spectral synthesis methods. Photometric parameters of the five transiting exoplanets were re-analysed through 17 new light curves, obtained with an array of medium-class telescopes, and other light curves from the literature. Survey-time-series photometric data were analysed for determining the rotation periods of the five stars and their spin inclination. From the analysis of the RM effect we derived a sky-projected obliquity of 21.2 degree, -54 degree, -2.1 degree, 0 degree and -129 degree for HAT-P-3b, HAT-P-12b, HAT-P-22b, WASP-39b and WASP-60b, respectively. The latter value indicates that WASP-60b is moving on a retrograde orbit. These values represent the first measurements of \lambda for the five exoplanetary systems under study. The stellar activity of HAT-P-22 indicates a rotation period of 28.7 days, which allowed us to estimate the true misalignment angle of HAT-P-22b, \psi=24 degree. The revision of the physical parameters of the five exoplanetary systems returned values that are fully compatible with those existing in the literature. The exception to this is the WASP-60 system, for which, based on higher quality spectroscopic and photometric data, we found a more massive and younger star and a larger and hotter planet.


title: Discovery of switchable weak topological insulator state in quasi-one-dimensional bismuth iodide

abstract: The major breakthroughs in the understanding of topological materials over the past decade were all triggered by the discovery of the Z$_2$ topological insulator (TI). In three dimensions (3D), the TI is classified as either "strong" or "weak", and experimental confirmations of the strong topological insulator (STI) rapidly followed the theoretical predictions. In contrast, the weak topological insulator has so far eluded experimental verification, since the topological surface states emerge only on particular side surfaces which are typically undetectable in real 3D crystals. Here we provide experimental evidence for the WTI state in a bismuth iodide, $\beta$-Bi4I4. Significantly, the crystal has naturally cleavable top and side planes both stacked via van-der-Waals forces, which have long been desirable for the experimental realization of the WTI state. As a definitive signature of it, we find quasi-1D Dirac TSS at the side-surface (100) while the top-surface (001) is topologically dark. Furthermore, a crystal transition from the $\beta$- to $\alpha$-phase drives a topological phase transition from a nontrivial WTI to the trivial insulator around room temperature. This topological phase, viewed as quantum spin Hall (QSH) insulators stacked three-dimensionally, and excellent functionality with on/off switching will lay a foundation for new technology benefiting from highly directional spin-currents with large density protected against backscattering.


title: Variational principle for quantum impurity systems in and out of equilibrium: application to Kondo problems

abstract: We provide a detailed formulation of the recently proposed variational approach [Y. Ashida et al., Phys. Rev. Lett. 121, 026805 (2018)] to study ground-state properties and out-of-equilibrium dynamics for generic quantum spin-impurity systems. Motivated by the original ideas by Tomonaga, Lee, Low, and Pines, we construct a canonical transformation that completely decouples the impurity from the bath degrees of freedom. By combining this transformation with a Gaussian ansatz for the fermionic bath, we obtain a family of variational many-body states that can efficiently encode the strong entanglement between the impurity and fermions of the bath. We give a detailed derivation of equations of motions in the imaginary- and real-time evolutions on the variational manifold. We benchmark our approach by applying it to investigate ground-state and dynamical properties of the anisotropic Kondo model and compare results with those obtained using matrix-product state (MPS) ansatz. We show that our approach can achieve an accuracy comparable to MPS-based methods with several orders of magnitude fewer variational parameters than the corresponding MPS ansatz. Comparisons to the Yosida ansatz and the exact solution from the Bethe ansatz are also discussed. We use our approach to investigate the two-lead Kondo model and analyze its long-time spatiotemporal behavior and the conductance behavior at finite bias and magnetic fields. The obtained results are consistent with the previous findings in the Anderson model and the exact solutions at the Toulouse point.

categories: cond-mat.str-el cond-mat.quant-gas cond-mat.stat-mech quant-ph


title: Long spin coherence times in the ground state and an optically excited state of $^{167}$Er$^{3+}$:Y$_2$SiO$_5$ at zero magnetic field

abstract: Spins in solids are an ideal candidate to act as a memory and interface with superconducting qubits due to their long coherence times. We spectroscopically investigate erbium-167-doped yttrium orthosilicate as a possible microwave-addressed memory employing its microwave frequency transitions that occur without applying an external magnetic field. We obtain coherence times of 380 $\mu$s in a ground state spin transition and 1.48 ms in an excited state spin transition. This is 28 times longer compared to previous zero field measurements, as well as 200 times longer than a previous microwave memory demonstration in the same material. These long coherence times show that erbium-167-doped yttrium orthosilicate has potential as a microwave-addressed quantum memory.


title: Particle-Hole Mirror Symmetries around the Half-Filled Shell: The Quantum Numbers and Algebraic Structure of Composite Fermions

abstract: Composite fermions (CFs) of the fractional quantum Hall effect are described as spherical products of electron and vortex spinors, built from underlying L=1/2 ladder operators aligned so that the spinor angular momenta Le and Lv are maximal. We identify the CF's quantum numbers as the angular momentum L in (L_e L_v)L, its magnetic projection m_L, the electron number N, with L_v={N-1)/2, and magnetic \nu-spin, m_\nu=L_e-L_v. Translationally invariant FQHE states are formed by filling p subshells with their respective CFs, in order of ascending L for fixed L_e and L_v, beginning with the lowest allowed value, L=|m_\nu|. We show that this wave function has an exactly equivalent hierarchical form. FQHE states can be grouped into \nu-spin multiplets mirror symmetric around m_\nu=0, with N held constant. Electron particle-hole conjugation with respect to this vacuum is identified as the mirror symmetry relating FQHE states of the same N but distinct fillings \nu = p/(2p+1} and p/( 2p-1). Alternatively, mirror symmetric \nu-spin multiplets can be constructed in which the magnetic field strength is held fixed: the valence states are electron particle-vortex hole excitations. Particle-hole symmetry -- relating the N-particle FQHE state of filling \nu=p/(2p+1} to the $\bar{N}$-particle state of filling {p+1)/(2p+1} -- is shown to be equivalent to electron-vortex exchange. In this construction $\bar{N}$-N CFs of the higher density state occupy an extra zero-mode subshell. We link this structure, familiar from supersymmetric quantum mechanics, to the CF Pauli Hamiltonian, which we show is isospectral, quadratic in the \nu-spin raising and lowering operators, and four-fold degenerate. On linearization, it takes a Dirac form similar to that found in the integer quantum Hall effect (IQHE).


title: Projective Truncation Approximation for Equations of Motion of Two-Time Green's Functions

abstract: In the equation of motion approach to the two-time Green's functions, conventional Tyablikov-type truncation of the chain of equations is rather arbitrary and apt to violate the analytical structure of Green's functions. Here, we propose a practical way to truncate the equations of motion using operator projection. The partial projection approximation is introduced to evaluate the Liouville matrix. It guarantees the causality of Green's functions, fulfills the time translation invariance and the particle-hole symmetry, and is easy to implement in a computer. To benchmark this method, we study the Anderson impurity model using the operator basis at the level of Lacroix approximation. Improvement over conventional Lacroix approximation is observed. The distribution of Kondo screening in the energy space is studied using this method.


title: Spin-orbit torque and spin pumping in YIG/Pt with interfacial insertion layers

abstract: We experimentally investigate spin-orbit torque and spin pumping in Y$_3$Fe$_5$O$_{12}$(YIG)/Pt bilayers with ultrathin insertion layers at the interface. An insertion layer of Cu suppresses both spin-orbit torque and spin pumping, whereas an insertion layer of Ni$_{80}$Fe$_{20}$ (permalloy, Py) enhances them, in a quantitatively consistent manner with the reciprocity of the two spin transmission processes. However, we observe a large enhancement of Gilbert damping with the insertion of Py that cannot be accounted for solely by spin pumping, suggesting significant spin-memory loss due to the interfacial magnetic layer. Our findings indicate that the magnetization at the YIG-metal interface strongly influences the transmission and depolarization of pure spin current.


title: Katyusha X: Practical Momentum Method for Stochastic Sum-of-Nonconvex Optimization

abstract: The problem of minimizing sum-of-nonconvex functions (i.e., convex functions that are average of non-convex ones) is becoming increasingly important in machine learning, and is the core machinery for PCA, SVD, regularized Newton's method, accelerated non-convex optimization, and more. We show how to provably obtain an accelerated stochastic algorithm for minimizing sum-of-nonconvex functions, by $\textit{adding one additional line}$ to the well-known SVRG method. This line corresponds to momentum, and shows how to directly apply momentum to the finite-sum stochastic minimization of sum-of-nonconvex functions. As a side result, our method enjoys linear parallel speed-up using mini-batch.


title: High-Resolution Angle Tracking for Mobile Wideband Millimeter-Wave Systems with Antenna Array Calibration

abstract: Millimeter-wave (mmWave) systems use directional beams to support high-rate data communications. Small misalignment between the transmit and receive beams (e.g., due to the mobility) can result in significant drop of the received signal quality especially in line-of-sight communication channels. In this paper, we propose and evaluate high-resolution angle tracking strategies for wideband mmWave systems with mobility. We custom design pairs of auxiliary beams as the tracking beams, and use them to capture the angle variations, towards which the steering directions of the data beams are adjusted. Different from conventional beam tracking designs, the proposed framework neither depends on the angle variation model nor requires an on-grid assumption. For practical implementation of the proposed methods, we examine the impact of the array calibration errors on the auxiliary beam pair design. Numerical results reveal that by employing the proposed methods, good angle tracking performance can be achieved under various antenna array configurations, channel models, and mobility conditions.


title: Dynamics of a magnetic skyrmionium driven by spin waves

abstract: The magnetic skyrmionium is a skyrmion-like structure but carries a zero net skyrmion number, which can be used as a building block for non-volatile information processing devices. Here, we study the dynamics of a magnetic skyrmionium driven by propagating spin waves. It is found that the skyrmionium can be effectively driven into motion by spin waves showing tiny skyrmion Hall effect, of which the mobility is much better than that of the skyrmion at the same condition. We also show that the skyrmionium mobility depends on the nanotrack width and damping coefficient, and can be controlled by an external out-of-plane magnetic field. Besides, we demonstrate the skyrmionium motion driven by spin waves is inertial. Our results indicate that the skyrmionium is a promising building block for building spin-wave spintronic devices.


title: Beam energy and system dependence of rapidity-even dipolar flow

abstract: New measurements of rapidity-even dipolar flow, v$^{even}_{1}$, are presented for several transverse momenta, $p_T$, and centrality intervals in Au+Au collisions at $\sqrt{s_{NN}}~=~200,~39$ and $19.6$ GeV, U+U collisions at $\sqrt{s_{NN}}~=~193$ GeV, and Cu+Au, Cu+Cu, d+Au and p+Au collisions at $\sqrt{s_{NN}}~=~200$~GeV. The v$^{even}_{1}$ shows characteristic dependencies on $p_{T}$, centrality, collision system and $\sqrt{s_{_{NN}}}$, consistent with the expectation from a hydrodynamic-like expansion to the dipolar fluctuation in the initial state. These measurements could serve as constraints to distinguish between different initial-state models, and aid a more reliable extraction of the specific viscosity $\eta/s$.


title: A New Combinatorial Design of Coded Distributed Computing

abstract: Coded distributed computing introduced by Li et al. in 2015 is an efficient approach to trade computing power to reduce the communication load in general distributed computing frameworks such as MapReduce. In particular, Li et al. show that increasing the computation load in the Map phase by a factor of $r$ can create coded multicasting opportunities to reduce the communication load in the Reduce phase by the same factor. However, there are two major limitations in practice. First, it requires an exponentially large number of input files (data batches) when the number of computing nodes gets large. Second, it forces every $s$ computing nodes to compute one Map function, which leads to a large number of Map functions required to achieve the promised gain. In this paper, we make an attempt to overcome these two limitations by proposing a novel coded distributed computing approach based on a combinatorial design. We demonstrate that when the number of computing nodes becomes large, 1) the proposed approach requires an exponentially less number of input files; 2) the required number of Map functions is also reduced exponentially. Meanwhile, the resulting computation-communication trade-off maintains the multiplicative gain compared to conventional uncoded unicast and achieves the information theoretic lower bound asymmetrically for some system parameters.


title: Algebraic Intersection Spaces

abstract: We define a variant of intersection space theory that applies to many compact complex and real analytic spaces $X$, including all complex projective varieties; this is a significant extension to a theory which has so far only been shown to apply to a particular subclass of spaces with smooth singular sets. We verify existence of these so-called algebraic intersection spaces and show that they are the (reduced) chain complexes of known topological intersection spaces in the case that both exist. We next analyze "local duality obstructions", which we can choose to vanish, and verify that algebraic intersection spaces satisfy duality in the absence of these obstructions. We conclude by defining an untwisted algebraic intersection space pairing, whose signature is equal to the Novikov signature of the complement in $X$ of a tubular neighborhood of the singular set.


title: Twofold Cantor sets in R

abstract: We introduce a class of self-similar sets which we call {\em twofold Cantor sets} $K_{pq}$ in $\mathbb R$ which are totally disconnected, do not have weak separation property and at the same time have isomorphic self-similar structures.


title: PRIL: Perceptron Ranking Using Interval Labeled Data

abstract: In this paper, we propose an online learning algorithm PRIL for learning ranking classifiers using interval labeled data and show its correctness. We show its convergence in finite number of steps if there exists an ideal classifier such that the rank given by it for an example always lies in its label interval. We then generalize this mistake bound result for the general case. We also provide regret bound for the proposed algorithm. We propose a multiplicative update algorithm for PRIL called M-PRIL. We provide its correctness and convergence results. We show the effectiveness of PRIL by showing its performance on various datasets.


title: Canted ferrimagnetism and giant coercivity in the non-stoichiometric double perovskite La2Ni1.19Os0.81O6

abstract: The non-stoichiometric double perovskite oxide La2Ni1.19Os0.81O6 was synthesized by solid state reaction and its crystal and magnetic structures were investigated by powder x-ray and neutron diffraction. La2Ni1.19Os0.81O6 crystallizes in the monoclinic double perovskite structure (general formula A2BB'O6) with space group P21/n, where the B site is fully occupied by Ni and the B' site by 19 % Ni and 81 % Os atoms. Using x-ray absorption spectroscopy an Os4.5+ oxidation state was established, suggesting presence of about 50 % paramagnetic Os5+ (5d3, S = 3/2) and 50 % non-magnetic Os4+ (5d4, Jeff = 0) ions at the B' sites. Magnetization and neutron diffraction measurements on La2Ni1.19Os0.81O6 provide evidence for a ferrimagnetic transition at 125 K. The analysis of the neutron data suggests a canted ferrimagnetic spin structure with collinear Ni2+ spin chains extending along the c axis but a non-collinear spin alignment within the ab plane. The magnetization curve of La2Ni1.19Os0.81O6 features a hysteresis with a very high coercive field, HC = 41 kOe, at T = 5 K, which is explained in terms of large magnetocrystalline anisotropy due to the presence of Os ions together with atomic disorder. Our results are encouraging to search for rare earth free hard magnets in the class of double perovskite oxides.


title: Pseudo-Recursal: Solving the Catastrophic Forgetting Problem in Deep Neural Networks

abstract: In general, neural networks are not currently capable of learning tasks in a sequential fashion. When a novel, unrelated task is learnt by a neural network, it substantially forgets how to solve previously learnt tasks. One of the original solutions to this problem is pseudo-rehearsal, which involves learning the new task while rehearsing generated items representative of the previous task/s. This is very effective for simple tasks. However, pseudo-rehearsal has not yet been successfully applied to very complex tasks because in these tasks it is difficult to generate representative items. We accomplish pseudo-rehearsal by using a Generative Adversarial Network to generate items so that our deep network can learn to sequentially classify the CIFAR-10, SVHN and MNIST datasets. After training on all tasks, our network loses only 1.67% absolute accuracy on CIFAR-10 and gains 0.24% absolute accuracy on SVHN. Our model's performance is a substantial improvement compared to the current state of the art solution.


title: Brownian motion between two random trajectories

abstract: Consider the first exit time of one-dimensional Brownian motion $\{B_s\}_{s\geq 0}$ from a random passageway. We discuss a Brownian motion with two time-dependent random boundaries in quenched sense. Let $\{W_s\}_{s\geq 0}$ be an other one-dimensional Brownian motion independent of $\{B_s\}_{s\geq 0}$ and let $\bfP(\cdot|W)$ represent the conditional probability depending on the realization of $\{W_s\}_{s\geq 0}$. We show that $$-t^{-1}\ln\bfP^x(\forall_{s\in[0,t]}a+\beta W_s\leq B_s\leq b+\beta W_s|W)$$ converges to a finite positive constant $\gamma(\beta)(b-a)^{-2}$ almost surely and in $L^p~ (p\geq 1)$ if $a<B_0=x<b$ and $W_0=0.$ When $\beta=1, a+b=2x,$ it is equivalent to the random small ball probability problem in the sense of equiditribution, which has been investigated in \cite{DL2005}. We also find some properties of the function $\gamma(\beta)$. An important moment estimation has also been obtained, which can be applied to discuss the small deviation of random walk with random environment in time (see [12]).


title: Gaussian Process Classification with Privileged Information by Soft-to-Hard Labeling Transfer

abstract: Learning using privileged information is an attractive problem setting that helps many learning scenarios in the real world. A state-of-the-art method of Gaussian process classification (GPC) with privileged information is GPC+, which incorporates privileged information into a noise term of the likelihood. A drawback of GPC+ is that it requires numerical quadrature to calculate the posterior distribution of the latent function, which is extremely time-consuming. To overcome this limitation, we propose a novel classification method with privileged information based on Gaussian processes, called "soft-label-transferred Gaussian process (SLT-GP)." Our basic idea is that we construct another learning task of predicting soft labels (continuous values) obtained from privileged information and we perform transfer learning from this task to the target task of predicting hard labels. We derive a PAC-Bayesian bound of our proposed method, which justifies optimizing hyperparameters by the empirical Bayes method. We also experimentally show the usefulness of our proposed method compared with GPC and GPC+.


title: Ultra-Reliable Communication in 5G mmWave Networks: A Risk-Sensitive Approach

abstract: This letter investigates the problem of providing gigabit wireless access with reliable communication in 5G millimeter-Wave (mmWave) massive multiple-input multiple-output (MIMO) networks. In contrast to the classical network design based on average metrics, a distributed risk-sensitive reinforcement learning-based framework is proposed to jointly optimize the beamwidth and transmit power, while taking into account the sensitivity of mmWave links due to blockage. Numerical results show that our proposed algorithm achieves more than 9 Gbps of user throughput with a guaranteed probability of 90%, whereas the baselines guarantee less than 7.5 Gbps. More importantly, there exists a rate-reliability-network density tradeoff, in which as the user density increases from 16 to 96 per km2, the fraction of users that achieve 4 Gbps are reduced by 11.61% and 39.11% in the proposed and the baseline models, respectively.


title: Dark-ages Reionization and Galaxy Formation Simulation - XIV. Gas accretion, cooling and star formation in dwarf galaxies at high redshift

abstract: We study dwarf galaxy formation at high redshift ($z\ge5$) using a suite of high- resolution, cosmological hydrodynamic simulations and a semi-analytic model (SAM). We focus on gas accretion, cooling and star formation in this work by isolating the relevant process from reionization and supernova feedback, which will be further discussed in a companion paper. We apply the SAM to halo merger trees constructed from a collisionless N-body simulation sharing identical initial conditions to the hydrodynamic suite, and calibrate the free parameters against the stellar mass function predicted by the hydrodynamic simulations at z = 5. By making comparisons of the star formation history and gas components calculated by the two modelling techniques, we find that semi-analytic prescriptions that are commonly adopted in the literature of low-redshift galaxy formation do not accurately represent dwarf galaxy properties in the hydrodynamic simulation at earlier times. We propose 3 modifications to SAMs that will provide more accurate high-redshift simulations. These include 1) the halo mass and baryon fraction which are overestimated by collisionless N-body simulations; 2) the star formation efficiency which follows a different cosmic evolutionary path from the hydrodynamic simulation; and 3) the cooling rate which is not well defined for dwarf galaxies at high redshift. Accurate semi-analytic modelling of dwarf galaxy formation informed by detailed hydrodynamical modelling will facilitate reliable semi-analytic predictions over the large volumes needed for the study of reionization.


title: Towards the Standardization of Non-orthogonal Multiple Access for Next Generation Wireless Networks

abstract: Non-orthogonal multiple access (NoMA) as an efficient way of radio resource sharing can root back to the network information theory. For generations of wireless communication systems design, orthogonal multiple access (OMA) schemes in time, frequency, or code domain have been the main choices due to the limited processing capability in the transceiver hardware, as well as the modest traffic demands in both latency and connectivity. However, for the next generation radio systems, given its vision to connect everything and the much evolved hardware capability, NoMA has been identified as a promising technology to help achieve all the targets in system capacity, user connectivity, and service latency. This article will provide a systematic overview of the state-of-the-art design of the NoMA transmission based on a unified transceiver design framework, the related standardization progress, and some promising use cases in future cellular networks, based on which the interested researchers can get a quick start in this area.


title: Answerer in Questioner's Mind: Information Theoretic Approach to Goal-Oriented Visual Dialog

abstract: Goal-oriented dialog has been given attention due to its numerous applications in artificial intelligence. Goal-oriented dialogue tasks occur when a questioner asks an action-oriented question and an answerer responds with the intent of letting the questioner know a correct action to take. To ask the adequate question, deep learning and reinforcement learning have been recently applied. However, these approaches struggle to find a competent recurrent neural questioner, owing to the complexity of learning a series of sentences. Motivated by theory of mind, we propose "Answerer in Questioner's Mind" (AQM), a novel information theoretic algorithm for goal-oriented dialog. With AQM, a questioner asks and infers based on an approximated probabilistic model of the answerer. The questioner figures out the answerer's intention via selecting a plausible question by explicitly calculating the information gain of the candidate intentions and possible answers to each question. We test our framework on two goal-oriented visual dialog tasks: "MNIST Counting Dialog" and "GuessWhat?!". In our experiments, AQM outperforms comparative algorithms by a large margin.


title: Random Hinge Forest for Differentiable Learning

abstract: We propose random hinge forests, a simple, efficient, and novel variant of decision forests. Importantly, random hinge forests can be readily incorporated as a general component within arbitrary computation graphs that are optimized end-to-end with stochastic gradient descent or variants thereof. We derive random hinge forest and ferns, focusing on their sparse and efficient nature, their min-max margin property, strategies to initialize them for arbitrary network architectures, and the class of optimizers most suitable for optimizing random hinge forest. The performance and versatility of random hinge forests are demonstrated by experiments incorporating a variety of of small and large UCI machine learning data sets and also ones involving the MNIST, Letter, and USPS image datasets. We compare random hinge forests with random forests and the more recent backpropagating deep neural decision forests.


title: Estimating Depth-Salient Edges And its Application To Stereoscopic Image Quality Assessment

abstract: The human visual system pays attention to salient regions while perceiving an image. When viewing a stereoscopic 3D (S3D) image, we hypothesize that while most of the contribution to saliency is provided by the 2D image, a small but significant contribution is provided by the depth component. Further, we claim that only a subset of image edges contribute to depth perception while viewing an S3D image. In this paper, we propose a systematic approach for depth saliency estimation, called Salient Edges with respect to Depth perception (SED) which localizes the depth-salient edges in an S3D image. We demonstrate the utility of SED in full reference stereoscopic image quality assessment (FRSIQA). We consider gradient magnitude and inter-gradient maps for predicting structural similarity. A coarse quality estimate is derived first by comparing the 2D saliency and gradient maps of reference and test stereo pairs. We refine this quality using SED maps for evaluating depth quality. Finally, we combine this luminance and depth quality to obtain an overall stereo image quality. We perform a comprehensive evaluation of our metric on seven publicly available S3D IQA databases. The proposed metric shows competitive performance on all seven databases with state-of-the-art performance on three of them.


title: Simultaneous Rank Tests in Analysis of Covariance Based on Pairwise Ranking

abstract: Nonparametric tests provide robust and powerful alternatives to the corresponding least squares methods. There are two approaches to nonparametric pairwise comparisons of treatment effects, the method based on pairwise rankings and the method based on overall ranking. The former is generally recommended in the literature because of its strong control of familywise error rate. However, this method is developed only for one-way layouts and randomized complete blocks. By combining the method of aligned ranks and pairwise ranking, we extend the Steel-Dwass pairwise comparisons to the analysis of covariance and factorial models for both one-sided and two-sided comparisons as well as testing for treatment versus control. Unlike the traditional two-sample standardization of test statistics, we propose a weighted estimate of the scale parameter for ranks and show through simulation that it has superior small sample performance by controlling the familywise error rate at nominal level. This method provides an improvement for large sample approximation of Steel-Dwass method for one-way layouts. The marginal and joint asymptotic distributions are derived and power comparisons are made with the method of aligned rank transformation and the least squares method.


title: ClosNets: a Priori Sparse Topologies for Faster DNN Training

abstract: Fully-connected layers in deep neural networks (DNN) are often the throughput and power bottleneck during training. This is due to their large size and low data reuse. Pruning dense layers can significantly reduce the size of these networks, but this approach can only be applied after training. In this work we propose a novel fully-connected layer that reduces the memory requirements of DNNs without sacrificing accuracy. We replace a dense matrix with products of sparse matrices whose topologies we pick in advance. This allows us to: (1) train significantly smaller networks without a loss in accuracy, and (2) store the network weights without having to store connection indices. We therefore achieve significant training speedups due to the smaller network size, and a reduced amount of computation per epoch. We tested several sparse layer topologies and found that Clos networks perform well due to their high path diversity, shallowness, and high model accuracy. With the ClosNets, we are able to reduce dense layer sizes by as much as an order of magnitude without hurting model accuracy.


title: Local and Global Existence of Solutions to Scalar Equations on Spatially Flat Universe as a Background with Non-minimal Coupling

abstract: We prove the wellposedness of scalar wave equations on spatially flat universe as a background with nonminimal coupling with the scalar potential turned on by introducing the $k$-order linear energy and the corresponding energy norm. In the local case, we show that both the $k$-order linear energy and the energy norm are bounded for finite time with initial data in $H^{k+1}\times H^{k}$. Whereas in the global case, we have to add three assumptions related to the nonminimal coupling constant, the scale factor of spacetimes, and the form of the scalar that has to be a polynomial with a small positive parameter. Then, we show that the solution does globally exist with a particular decay estimate that depends on the scale factor of the spacetimes. Finally, we provide some physical models that support our general setup.


title: A Systems Theory Approach to the Synthesis of Minimum Noise Phase-Insensitive Quantum Amplifiers

abstract: We present a systems theory approach to the proof of a result bounding the required level of added quantum noise in a phase-insensitive quantum amplifier. We also present a synthesis procedure for constructing a quantum optical phase-insensitive quantum amplifier which adds the minimum level of quantum noise and achieves a required gain and bandwidth. This synthesis procedure is based on a singularly perturbed quantum system and leads to an amplifier involving two squeezers and two beamsplitters.


title: Consistent Individualized Feature Attribution for Tree Ensembles

abstract: Interpreting predictions from tree ensemble methods such as gradient boosting machines and random forests is important, yet feature attribution for trees is often heuristic and not individualized for each prediction. Here we show that popular feature attribution methods are inconsistent, meaning they can lower a feature's assigned importance when the true impact of that feature actually increases. This is a fundamental problem that casts doubt on any comparison between features. To address it we turn to recent applications of game theory and develop fast exact tree solutions for SHAP (SHapley Additive exPlanation) values, which are the unique consistent and locally accurate attribution values. We then extend SHAP values to interaction effects and define SHAP interaction values. We propose a rich visualization of individualized feature attributions that improves over classic attribution summaries and partial dependence plots, and a unique "supervised" clustering (clustering based on feature attributions). We demonstrate better agreement with human intuition through a user study, exponential improvements in run time, improved clustering performance, and better identification of influential features. An implementation of our algorithm has also been merged into XGBoost and LightGBM, see http://github.com/slundberg/shap for details.


title: Convergence Analysis of Alternating Projection Method for Nonconvex Sets

abstract: Alternating projection method has been used in a wide range of engineering applications since it is a gradient-free method (without requiring tuning the step size) and usually has fast speed of convergence. In this paper, we formalize two properties of proper, lower semi-continuous and semi-algebraic sets: the three-point property for all possible iterates and the local contraction property that serves as the non-expensiveness property of the projector but only for the iterates that are close enough to each other. Then by exploiting the geometric properties of the objective function around its critical point, i.e. the Kurdyka-\L{ojasiewicz} (KL) property, we establish a new convergence analysis framework to show that if one set satisfies the three-point property and the other one obeys the local contraction property, the iterates generated by alternating projection method is a convergent sequence and converges to a critical point. We complete this study by providing convergence rate which depends on the explicit expression of the KL exponent. As a byproduct, we use our new analysis framework to recover the linear convergence rate of alternating projection method onto closed convex sets. To illustrate the power of our new framework, we provide new convergence result for a class of concrete applications: alternating projection method for designing structured tight frames that are widely used in sparse representation, compressed sensing and communication.


title: Unveiling the Origin of the Fermi Bubbles

abstract: The Fermi bubbles, two giant structures above and below the Galactic center (GC), are among the most important discoveries of the Fermi Gamma-ray Space Telescope. Studying their physical origin has been providing valuable insights into cosmic-ray transport, the Galactic magnetic field, and past activity at the GC in the Milky Way galaxy. Despite their importance, the formation mechanism of the bubbles is still elusive. Over the past few years there have been numerous efforts, both observational and theoretical, to uncover the nature of the bubbles. In this article, we present an overview of the current status of our understanding of the bubbles' origin, and discuss possible future directions that will help to distinguish different scenarios of bubble formation.


title: Multifunctionality in embodied agents: Three levels of neural reuse

abstract: The brain in conjunction with the body is able to adapt to new environments and perform multiple behaviors through reuse of neural resources and transfer of existing behavioral traits. Although mechanisms that underlie this ability are not well understood, they are largely attributed to neuromodulation. In this work, we demonstrate that an agent can be multifunctional using the same sensory and motor systems across behaviors, in the absence of modulatory mechanisms. Further, we lay out the different levels at which neural reuse can occur through a dynamical filtering of the brain-body-environment system's operation: structural network, autonomous dynamics, and transient dynamics. Notably, transient dynamics reuse could only be explained by studying the brain-body-environment system as a whole and not just the brain. The multifunctional agent we present here demonstrates neural reuse at all three levels.


title: Escape of Resonantly Scattered Ly$\beta$ and H$\alpha$ from Hot and Optically Thick Media

abstract: We investigate the escape of Ly$\beta$ from emission nebulae with a significant population of excited hydrogen atoms in the level $n=2$, rendering them optically thick in H$\alpha$. The transfer of Ly$\beta$ line photons in these optically thick regions is complicated by the presence of another scattering channel leading to re-emission of H$\alpha$, alternating their identities between Ly$\beta$ and H$\alpha$. In this work, we develop a Monte Carlo code to simulate the transfer of Ly$\beta$ line photons incorporating the scattering channel into H$\alpha$. Both H$\alpha$ and Ly$\beta$ lines are formed through diffusion in frequency space, where a line photon enters the wing regime after a fairly large number of resonance scatterings with hydrogen atoms. Various line profiles of H$\alpha$ and Ly$\beta$ emergent from our model nebulae are presented. It is argued that the electron temperature is a critical parameter which controls the flux ratio of emergent Ly$\beta$ and H$\alpha$. Specifically for $T=3 \times 10^4{\rm\ K}$ and H$\alpha$ line center optical depth $\tau_\alpha=10$, the number flux ratio of emergent Ly$\beta$ and H$\alpha$ is $\sim 49$ percent, which is quite significant. We propose that the leaking Ly$\beta$ can be an interesting source for the formation of H$\alpha$ wings observed in many symbiotic stars and active galactic nuclei. Similar broad H$\alpha$ wings are also expected in Ly$\alpha$ emitting halos found in the early universe, which can be potentially probed by the {\it James Webb Telescope} in the future.


title: Dynamics of a bilayer membrane with membrane-solvent partial slip boundary conditions

abstract: We discuss the dynamics of a bilayer membrane with partial slip boundary conditions between the monolayers and the bulk fluid. Using Onsager's variational principle to account for the associated dissipations, we derive the coupled dynamic equations for the membrane height and the excess lipid density. The newly introduced friction coefficients appear in the renormalized fluid viscosities. For ordinary lipid bilayer membranes, we find that it is generally justified to ignore the effects of permeation and parallel slip at the membrane surface.


title: Fundamental noise dynamics in cascaded-order Brillouin lasers

abstract: The dynamics of cascaded-order Brillouin lasers make them ideal for applications such as rotation sensing, highly coherent optical communications, and low-noise microwave signal synthesis. Remark- ably, when implemented at the chip-scale, recent experimental studies have revealed that Brillouin lasers can operate in the fundamental linewidth regime where optomechanical and quantum noise sources dominate. To explore new opportunities for enhanced performance, we formulate a simple model to describe the physics of cascaded Brillouin lasers based on the coupled mode dynamics governed by electrostriction and the fluctuation-dissipation theorem. From this model, we obtain analytical formulas describing the steady state power evolution and accompanying noise properties, including expressions for phase noise, relative intensity noise and power spectra for beat notes of cascaded laser orders. Our analysis reveals that cascading modifies the dynamics of intermediate laser orders, yielding noise properties that differ from single-mode Brillouin lasers. These modifications lead to a Stokes order linewidth dependency on the coupled order dynamics and a broader linewidth than that predicted with previous single order theories. We also derive a simple analytical expression for the higher order beat notes that enables calculation of the Stokes linewidth based on only the relative measured powers between orders instead of absolute parameters, yielding a method to measure cascaded order linewidth as well as a prediction for sub-Hz operation. We validate our results using stochastic numerical simulations of the cascaded laser dynamics.


title: Isospin Conservation in Neutron Rich Systems of Heavy Nuclei

abstract: It is generally believed that isospin would diminish in its importance as we go towards heavy mass region due to isospin mixing caused by the growing Coulomb forces. However, it was realized quite early that isospin could become an important and useful quantum number for all nuclei including heavy nuclei due to neutron richness of the systems~\cite{robson}. Lane and Soper~\cite{lane} also showed in a theoretical calculation that isospin indeed remains quite good in heavy mass neutron rich systems. In this paper, we present isospin based calculations~\cite{jain,swati} for the fission fragment distributions obtained from heavy-ion fusion fission reactions. We discuss in detail the procedure adopted to assign the isospin values and the role of neutron multiplicity data in obtaining the total fission fragment distributions. We show that the observed fragment distributions can be reproduced rather reasonably well by the calculations based on the idea of conservation of isospin. This is probably the very first direct experimental evidence of the validity of isospin in heavy nuclei, which arises largely due to the neutron-rich nature of heavy nuclei and their fragments. This result may eventually become useful for the theories of nuclear fission and also in other practical applications.


title: Weighted first moments of some special quadratic Dirichlet $L$-functions

abstract: In this paper, we obtain asymptotic formulas for weighted first moments of central values of families of primitive quadratic Dirichlet $L$-functions whose conductors comprise only primes that split in a given quadratic number field. We then deduce a non-vanishing result of these $L$-functions at the point $s=1/2$.


title: A Novel Sub-Nyquist Multiband Signal Detection Algorithm for Cognitive Radio

abstract: Wideband spectrum sensing (WSS) is an essential technology for cognitive radio. However, the sampling rate is still a bottleneck of WSS. Several sub-Nyquist sensing methods have been proposed. These technologies deteriorate in the low signal to noise ratio (SNR) regime or suffer high computational complexity. In this paper, we propose a novel sub-Nyquist WSS method based on Multi-coset (MC) sampling. We design a simple SNR-robust and low-complexity multiband signal detection algorithm. In particular, the proposed method differs the commonly used detection algorithms which are based on energy detection (ED), matched filter (MF) or cyclostationary detection (CD). We exploit the linear recurrent relation between the locations of nonzero frequencies and the DFT of the arithmetic-shifted subsampled signals. These relations can be uniquely expressed by a series of the so-called frequency locator polynomials (FLPs). The scalar of the relations is related to the bandwidths of the subsignals. Basing on this, we propose a detector for sparse multiband signals along with the method estimating carrier frequency and bandwidth. The detector does not require priori knowledge about the frequency locations of the signals of interest. Moreover, it has lower complexity of both samples and computation compared to CD in sparse case. Experimental results show the detector outperforms ED in the sub-Nyquist regime especially in low SNRs.


title: Scalable Downward Routing for Wireless Sensor Networks and Internet of Things Actuation

abstract: In this paper, we study the downward routing for network control/actuation in large-scale and heterogeneous wireless sensor networks (WSNs) and Internet of Things (IoT). We propose the Opportunistic Source Routing (OSR), a scalable and reliable downward routing protocol for WSNs/IoT. OSR introduces opportunistic routing into traditional source routing based on the parent set of a node's upward routing in data collection, significantly addressing the drastic link dynamics in low-power and lossy WSNs. We devise a novel adaptive Bloom filter mechanism to effectively and efficiently encode a downward source-route in OSR, which enables a significant reduction of the length of source-route field in packet header. OSR is scalable to very large-size WSN/IoT deployments, since each resource-constrained node in the network only stores the set of its direct children. The probabilistic nature of the Bloom filter passively explores opportunistic routing. Upon a delivery failure at any hop along the downward path, OSR actively performs opportunistic routing to bypass the obsolete/bad link. We demonstrate the desirable scalability of OSR against the standard RPL downward routing. We evaluate the performance of OSR via both simulations and real-world testbed experiments, in comparison with the standard RPL (both storing mode and non-storing mode), ORPL, and the representative dissemination protocol Drip. Our results show that OSR significantly outperforms RPL and ORPL in scalability and reliability. OSR also achieves significantly better energy efficiency compared to TinyRPL and Drip which are based on the same TinyOS platform as OSR implementation.


title: Measurement of the intensity ratio of Auger and conversion electrons for the electron capture decay of $^{125}$I

abstract: Auger electrons emitted after nuclear decay have potential application in targeted cancer therapy. For this purpose it is important to know the Auger electron yield per nuclear decay. In this work we describe a measurement of the ratio of the number of conversion electrons (emitted as part of the nuclear decay process) to the number of Auger electrons (emitted as part of the atomic relaxation process after the nuclear decay) for the case of $^{125}$I. Results are compared with Monte-Carlo type simulations of the relaxation cascade using the BrIccEmis code. Our results indicate that for $^{125}$I the calculations based on rates from the Evaluated Atomic Data Library (EADL) underestimate the K Auger yields by 20\%.


title: Q-learning with Nearest Neighbors

abstract: We consider model-free reinforcement learning for infinite-horizon discounted Markov Decision Processes (MDPs) with a continuous state space and unknown transition kernel, when only a single sample path under an arbitrary policy of the system is available. We consider the Nearest Neighbor Q-Learning (NNQL) algorithm to learn the optimal Q function using nearest neighbor regression method. As the main contribution, we provide tight finite sample analysis of the convergence rate. In particular, for MDPs with a $d$-dimensional state space and the discounted factor $\gamma \in (0,1)$, given an arbitrary sample path with "covering time" $ L $, we establish that the algorithm is guaranteed to output an $\varepsilon$-accurate estimate of the optimal Q-function using $\tilde{O}\big(L/(\varepsilon^3(1-\gamma)^7)\big)$ samples. For instance, for a well-behaved MDP, the covering time of the sample path under the purely random policy scales as $ \tilde{O}\big(1/\varepsilon^d\big),$ so the sample complexity scales as $\tilde{O}\big(1/\varepsilon^{d+3}\big).$ Indeed, we establish a lower bound that argues that the dependence of $ \tilde{\Omega}\big(1/\varepsilon^{d+2}\big)$ is necessary.


title: Network Overload due to Massive Attacks

abstract: We study the cascading failure of networks due to overload, using the betweenness centrality of a node as the measure of its load following the Motter and Lai model. We study the fraction of survived nodes at the end of the cascade $p_f$ as function of the strength of the initial attack, measured by the fraction of nodes $p$, which survive the initial attack for different values of tolerance $\alpha$ in random regular and Erd\"os-Renyi graphs. We find the existence of first order phase transition line $p_t(\alpha)$ on a $p-\alpha$ plane, such that if $p <p_t$ the cascade of failures lead to a very small fraction of survived nodes $p_f$ and the giant component of the network disappears, while for $p>p_t$, $p_f$ is large and the giant component of the network is still present. Exactly at $p_t$ the function $p_f(p)$ undergoes a first order discontinuity. We find that the line $p_t(\alpha)$ ends at critical point $(p_c,\alpha_c)$ ,in which the cascading failures are replaced by a second order percolation transition. We analytically find the average betweenness of nodes with different degrees before and after the initial attack, investigate their roles in the cascading failures, and find a lower bound for $p_t(\alpha)$. We also study the difference between a localized and random attacks.


title: On a curvature flow model for embryonic epidermal wound healing

abstract: The paper studies a curvature flow linked to the physical phenomenon of wound closure. Under the flow we show that a closed, initially convex or close-to-convex curve shrinks to a round point in finite time. We also study the singularity, showing that the singularity profile after continuous rescaling is that of a circle. We additionally give a maximal time estimate, with an application to the classification of blowups.


title: Unsupervised Anomaly Detection via Variational Auto-Encoder for Seasonal KPIs in Web Applications

abstract: To ensure undisrupted business, large Internet companies need to closely monitor various KPIs (e.g., Page Views, number of online users, and number of orders) of its Web applications, to accurately detect anomalies and trigger timely troubleshooting/mitigation. However, anomaly detection for these seasonal KPIs with various patterns and data quality has been a great challenge, especially without labels. In this paper, we proposed Donut, an unsupervised anomaly detection algorithm based on VAE. Thanks to a few of our key techniques, Donut greatly outperforms a state-of-arts supervised ensemble approach and a baseline VAE approach, and its best F-scores range from 0.75 to 0.9 for the studied KPIs from a top global Internet company. We come up with a novel KDE interpretation of reconstruction for Donut, making it the first VAE-based anomaly detection algorithm with solid theoretical explanation.


title: An Improved and More Accurate Expression for a PDF Related to Eigenvalue-Based Spectrum Sensing

abstract: Cooperative spectrum sensing based on the limiting eigenvalue ratio of the covariance matrix offers superior detection performance and overcomes the noise uncertainty problem. While an exact expression exists, it is complex and multiple useful approximate expressions have been published in the literature. An improved, more accurate, integral solution for the probability density function of the ratio is derived using order statistical analysis to remove the simplifying, but incorrect, independence assumption. Thereby, the letter makes an advance in the rigorous theory of eigenvalue-based spectrum sensing.


title: How to Match when All Vertices Arrive Online

abstract: We introduce a fully online model of maximum cardinality matching in which all vertices arrive online. On the arrival of a vertex, its incident edges to previously-arrived vertices are revealed. Each vertex has a deadline that is after all its neighbors' arrivals. If a vertex remains unmatched until its deadline, the algorithm must then irrevocably either match it to an unmatched neighbor, or leave it unmatched. The model generalizes the existing one-sided online model and is motivated by applications including ride-sharing platforms, real-estate agency, etc. We show that the Ranking algorithm by Karp et al. (STOC 1990) is $0.5211$-competitive in our fully online model for general graphs. Our analysis brings a novel charging mechanic into the randomized primal dual technique by Devanur et al. (SODA 2013), allowing a vertex other than the two endpoints of a matched edge to share the gain. To our knowledge, this is the first analysis of Ranking that beats $0.5$ on general graphs in an online matching problem, a first step towards solving the open problem by Karp et al. (STOC 1990) about the optimality of Ranking on general graphs. If the graph is bipartite, we show that the competitive ratio of Ranking is between $0.5541$ and $0.5671$. Finally, we prove that the fully online model is strictly harder than the previous model as no online algorithm can be $0.6317 < 1-\frac{1}{e}$-competitive in our model even for bipartite graphs.


title: UAV-Enabled Mobile Edge Computing: Offloading Optimization and Trajectory Design

abstract: With the emergence of diverse mobile applications (such as augmented reality), the quality of experience of mobile users is greatly limited by their computation capacity and finite battery lifetime. Mobile edge computing (MEC) and wireless power transfer are promising to address this issue. However, these two techniques are susceptible to propagation delay and loss. Motivated by the chance of short-distance line-of-sight achieved by leveraging unmanned aerial vehicle (UAV) communications, an UAV-enabled wireless powered MEC system is studied. A power minimization problem is formulated subject to the constraints on the number of the computation bits and energy harvesting causality. The problem is non-convex and challenging to tackle. An alternative optimization algorithm is proposed based on sequential convex optimization. Simulation results show that our proposed design is superior to other benchmark schemes and the proposed algorithm is efficient in terms of the convergence.


title: Superconducting transition temperatures in the electronic and magnetic phase diagrams of Sr2VFeAsO3-delta, a superconductor

abstract: We elucidate the magnetic phases and superconducting transition temperatures (Tc) in Sr2VFeAsO3-delta (21113V), an iron-based superconductor with a thick-blocking layer fabricated from a perovskite-related transition metal oxide. At low temperatures (T < 37.1 K), 21113V exhibited a superconducting phase in the range 0.031 =< delta =< 0.145 and an antiferromagnetic (AFM) iron sublattice in the range 0.267 =< delta =< 0.664. Mixed-valent vanadium exhibited a dominant AFM phase in 0.031 =< delta =< 0.088, and a partial ferrimagnetic (Ferri.) phase in the range 0.124 =< delta =< 0.664. The Ferri. phase was the most dominant at a delta value of 0.267, showing an AFM phase of Fe at T < 20 K. Increasing the spontaneous magnetic moments reduced the magnetic shielding volume fraction due to the superconducting phase. This result was attributed to the magnetic phase of vanadium, which dominates the superconductivity of Fe in 21113V. The Tc-delta curve showed two maxima. The smaller and larger of Tc maxima occurred at delta = 0.073 and delta = 0.145, respectively; the latter resides on the phase boundary between AFM and the partial Ferri. phases of vanadium. 21113V is a useful platform for verifing new mechanisms of Tc enhancement in iron-based superconductors.


title: Resource Allocation for Secure MISO-NOMA Cognitive Radios Relying on SWIPT

abstract: Cognitive radio (CR) and non-orthogonal multiple access (NOMA) are two promising technologies in the next generation wireless communication systems. The security of a NOMA CR network (CRN) is important but lacks of study. In this paper, a multiple-input single-output NOMA CRN relying on simultaneous wireless information and power transfer is studied. In order to improve the security of both the primary and secondary network, an artificial noise-aided cooperative jamming scheme is proposed. Different from the most existing works, a power minimization problem is formulated under a practical non-linear energy harvesting model. A suboptimal scheme is proposed to solve this problem based on semidefinite relaxation and successive convex approximation. Simulation results show that the proposed cooperative jamming scheme is efficient to achieve secure communication and NOMA outperforms the conventional orthogonal multiple access in terms of the power consumption.


title: RAPPER: Ransomware Prevention via Performance Counters

abstract: Ransomware can produce direct and controllable economic loss, which makes it one of the most prominent threats in cyber security. As per the latest statistics, more than half of malwares reported in Q1 of 2017 are ransomware and there is a potent threat of a novice cybercriminals accessing rasomware-as-a-service. The concept of public-key based data kidnapping and subsequent extortion was introduced in 1996. Since then, variants of ransomware emerged with different cryptosystems and larger key sizes though, the underlying techniques remained same. Though there are works in literature which proposes a generic framework to detect the crypto ransomwares, we present a two step unsupervised detection tool which when suspects a process activity to be malicious, issues an alarm for further analysis to be carried in the second step and detects it with minimal traces. The two step detection framework- RAPPER uses Artificial Neural Network and Fast Fourier Transformation to develop a highly accurate, fast and reliable solution to ransomware detection using minimal trace points.


title: Discrete spacetime, quantum walks and relativistic wave equations

abstract: It has been observed that quantum walks on regular lattices can give rise to wave equations for relativistic particles in the continuum limit. In this paper we define the 3D walk as a product of three coined one-dimensional walks. The factor corresponding to each one-dimensional walk involves two projection operators that act on an internal coin space, each projector is associated with either the "forward" or "backward" direction in that physical dimension. We show that the simple requirement that there is no preferred axis or direction along an axis---that is, that the walk be symmetric under parity transformations and rotations that swap the axes of the cubic lattice---leads to the requirement that the continuum limit of the walk is fully Lorentz invariant. We show further that, in the case of a massive particle, this simple symmetry requirement necessitates that inclusion of antimatter---the use of a four-dimensional internal space---and that the "coin flip" operation is generated by the parity transformation on the internal coin space, while the differences of the projection operators associated to each dimension must all anticommute. Finally, we discuss the leading correction to the continuum limit, and the possibility of distinguishing through experiment between the discrete random walk and the continuum-based Dirac equation as a description of fermion dynamics.


title: Detection of discrete spacetime by matter interferometry

abstract: If the structure of spacetime is discrete, then Lorentz symmetry should only be an approximation, valid at long length scales. At finite lattice spacings there will be small corrections to the Dirac evolution that could in principle be experimentally detected. In particular, the lattice structure should be reflected in a modification of the free-particle dispersion relation. We show that these can produce a surprisingly large phase shift between the two arms of an asymmetrical interferometer. This method could be employed to test any model that predicts a direction-dependent dispersion relation. Here, we calculate the size of this phase shift for a particular model, the 3D quantum walk on the body-centered cubic lattice, which has been shown to give rise to the Dirac equation in the continuum limit. Though the details of this model will affect the size of the shift, its magnitude is set largely by dimensional analysis, so there is reason to believe that other models would yield similar results. We find that, with current technology, a modest-sized neutron interferometer could put strong bounds on the size of the lattice spacing. This discreteness could possibly be detected even for lattice spacings at the Planck scale by a suitably scaled-up experiment.


title: Hochschild cohomology and orbifold Jacobian algebras associated to invertible polynomials

abstract: Let $f$ be an invertible polynomial and $G$ a group of diagonal symmetries of $f$. This note shows that the orbifold Jacobian algebra $\mathrm{Jac}(f,G)$ of $(f,G)$ defined by the authors and Elisabeth Werner in arXiv:1608.08962 is isomorphic as a $\mathbb{ZZ}/2\mathbb{ZZ}$-graded algebra to the Hochschild cohomology $\mathsf{HH}^*(\mathrm{MF}_G(f))$ of the dg-category $\mathrm{MF}_G(f)$ of $G$-equivariant matrix factorizations of $f$ by calculating the product formula of $\mathsf{HH}^*(\mathrm{MF}_G(f))$ given by Shklyarov in arXiv:1708.06030. We also discuss the relation of our previous results to the categorical equivalence.


title: Assessing the Utility of Weather Data for Photovoltaic Power Prediction

abstract: Photovoltaic systems have been widely deployed in recent times to meet the increased electricity demand as an environmental-friendly energy source. The major challenge for integrating photovoltaic systems in power systems is the unpredictability of the solar power generated. In this paper, we analyze the impact of having access to weather information for solar power generation prediction and find weather information that can help best predict photovoltaic power.


title: BagMinHash - Minwise Hashing Algorithm for Weighted Sets

abstract: Minwise hashing has become a standard tool to calculate signatures which allow direct estimation of Jaccard similarities. While very efficient algorithms already exist for the unweighted case, the calculation of signatures for weighted sets is still a time consuming task. BagMinHash is a new algorithm that can be orders of magnitude faster than current state of the art without any particular restrictions or assumptions on weights or data dimensionality. Applied to the special case of unweighted sets, it represents the first efficient algorithm producing independent signature components. A series of tests finally verifies the new algorithm and also reveals limitations of other approaches published in the recent past.


title: Topological pseudodefects of a supersymmetric $SO(10)$ model and cosmology

abstract: Obtaining realistic supersymmetry preserving vacua in the minimal renormalizable supersymmetric $Spin(10)$ GUT model introduces considerations of the non-trivial topology of the vacuum manifold. The $D$-parity of low energy unification schemes gets lifted to a one-parameter subgroup $U(1)_D$ of $Spin(10)$. Yet, the choice of the fields signaling spontaneous symmetry breaking leads to disconnected subsets in the vacuum manifold related by the $D$-parity. The resulting domain walls, existing due to topological reasons but not stable, are identified as topological pseudodefects. We obtain a class of one-parameter paths connecting $D$-parity flipped vacua and compute the energy barrier height along the same. We consider the various patterns of symmetry breaking which can result in either intermediate scale gauge groups or a supersymmetric extension of the Standard Model. If the onset of inflation is subsequent to GUT breaking, as could happen also if inflation is naturally explained by the same GUT, the existence of such pseudodefects can leave signatures in the CMB. Specifically, this could have an impact on the scale invariance of the CMB fluctuations and LSS data at the largest scale.


title: Detecting and Correcting for Label Shift with Black Box Predictors

abstract: Faced with distribution shift between training and test set, we wish to detect and quantify the shift, and to correct our classifiers without test set labels. Motivated by medical diagnosis, where diseases (targets) cause symptoms (observations), we focus on label shift, where the label marginal $p(y)$ changes but the conditional $p(x| y)$ does not. We propose Black Box Shift Estimation (BBSE) to estimate the test distribution $p(y)$. BBSE exploits arbitrary black box predictors to reduce dimensionality prior to shift correction. While better predictors give tighter estimates, BBSE works even when predictors are biased, inaccurate, or uncalibrated, so long as their confusion matrices are invertible. We prove BBSE's consistency, bound its error, and introduce a statistical test that uses BBSE to detect shift. We also leverage BBSE to correct classifiers. Experiments demonstrate accurate estimates and improved prediction, even on high-dimensional datasets of natural images.


title: The Axially Symmetric Displacement Problem in the Transversely Isotropic Elasticity

abstract: In the assumption of hexagonal symmetry of an elastic material the axially symmetric displacement problem in a bounded axially symmetric solid with a Lyapunov boundary is reduced to a system of regular (Fredholm) integral equations.


title: Improved bounds for rainbow numbers of matchings in plane triangulations

abstract: Given two graphs $G$ and $H$, the {\it rainbow number} $rb(G,H)$ for $H$ with respect to $G$ is defined as the minimum number $k$ such that any $k$-edge-coloring of $G$ contains a rainbow $H$, i.e., a copy of $H$, all of whose edges have different colors. Denote by $kK_2$ a matching of size $k$ and $\mathcal {T}_n$ the class of all plane triangulations of order $n$, respectively. In [S. Jendrol$'$, I. Schiermeyer and J. Tu, Rainbow numbers for matchings in plane triangulations, Discrete Math. 331(2014), 158--164], the authors determined the exact values of $rb(\mathcal {T}_n, kK_2)$ for $2\leq k \le 4$ and proved that $2n+2k-9 \le rb(\mathcal {T}_n, kK_2) \le 2n+2k-7+2\binom{2k-2}{3}$ for $k \ge 5$. In this paper, we improve the upper bounds and prove that $rb(\mathcal {T}_n, kK_2)\le 2n+6k-16$ for $n \ge 2k$ and $k\ge 5$. Especially, we show that $rb(\mathcal {T}_n, 5K_2)=2n+1$ for $n \ge 11$.


title: First-principles investigation of graphene/MoS2 bilayer heterostructures using Tkatchenko-Scheffler van der Waals method

abstract: Graphene/MoS$_2$ van der Waals (vdW) heterostructures have promising technological applications due to their unique properties and functionalities. Many experimental and theoretical research groups across the globe have made outstanding contributions to benchmark the properties of graphene/MoS$_2$ heterostructures. Even though some research groups have already made an attempt to model the graphene/MoS$_2$ heterostructures using {\it first-principles} calculations, there exists several discrepancies in the results from different theoretical research groups and the experimental findings. In the present work, we revisit this problem by first principles approach and address the existing discrepancies about the interlayer spacing between graphene and MoS$_2$ monolayers in graphene/MoS$_2$ heterostructures, and the location of Dirac points near Fermi-level. We find that the Tkatchenko--Scheffler method efficiently evaluates the long-range vdW interactions and accurately predicts interlayer spacing between graphene and MoS$_2$ sheets. We further investigate the electronic, mechanical and vibrational properties of the optimized graphene/MoS$_2$ heterostructures created using 5$\times$5/4$\times$4 and 4$\times$4/3$\times$3 supercell geometries having different magnitudes of lattice mismatch. The effect of the varying interlayer spacing on the electronic properties of heterostructures is discussed. Our phonon calculations reveal that the interlayer shear and breathing phonon modes, which are very sensitive to the weak vdW interactions, play vital role in describing the thermal properties of the studied systems. The thermodynamic and elastic properties of heterostructures are further discussed. A comparison between our results and the results reported from other research groups is presented.


title: On Minrank and the Lov\'asz Theta Function

abstract: Two classical upper bounds on the Shannon capacity of graphs are the $\vartheta$-function due to Lov\'asz and the minrank parameter due to Haemers. We provide several explicit constructions of $n$-vertex graphs with a constant $\vartheta$-function and minrank at least $n^\delta$ for a constant $\delta>0$ (over various prime order fields). This implies a limitation on the $\vartheta$-function-based algorithmic approach to approximating the minrank parameter of graphs. The proofs involve linear spaces of multivariate polynomials and the method of higher incidence matrices.


title: Test Agents: Adaptive, Autonomous and Intelligent Test Cases

abstract: Growth of software size, lack of resources to perform regression testing, and failure to detect bugs faster have seen increased reliance on continuous integration and test automation. Even with greater hardware and software resources dedicated to test automation, software testing is faced with enormous challenges, resulting in increased dependence on complex mechanisms for automated test case selection and prioritization as part of a continuous integration framework. These mechanisms are currently using simple entities called test cases that are concretely realized as executable scripts. Our key idea is to provide test cases with more reasoning, adaptive behavior and learning capabilities by using the concepts of intelligent software agents. We refer to such test cases as test agents. The model that underlie a test agent is capable of flexible and autonomous actions in order to meet overall testing objectives. Our goal is to increase the decentralization of regression testing by letting test agents to know for themselves when they should be executing, how they should update their purpose, and when they should interact with each other. In this paper, we envision software test agents that display such adaptive autonomous behavior. Emerging developments and challenges regarding the use of test agents are explored-in particular, new research that seeks to use adaptive autonomous agents in software testing.


title: Entangled Scent of a Charge

abstract: We argue that the ground state of a field theory, in the presence of charged particles, becomes an entangled state involving an infinity of soft photons. The quantum field vacuum is altered by the passage of a uniformly moving charge, leaving in its wake a different dressed ground state. In this sense a charged particle leaves its electromagnetic scent even after passing by. Unlike in classical electrodynamics the effect of the charge remains even at infinite time. The calculation is done in detail for the ground state of a spacetime wedge, although the results are more general. This agrees in spirit with recent results over the infrared aspects of field theory, although the technical details are different. These considerations open the possibility that the information carried by quantum fields, being nonlocal, does not disappear beyond the horizon of black holes.


title: Safe Triplet Screening for Distance Metric Learning

abstract: We study safe screening for metric learning. Distance metric learning can optimize a metric over a set of triplets, each one of which is defined by a pair of same class instances and an instance in a different class. However, the number of possible triplets is quite huge even for a small dataset. Our safe triplet screening identifies triplets which can be safely removed from the optimization problem without losing the optimality. Compared with existing safe screening studies, triplet screening is particularly significant because of (1) the huge number of possible triplets, and (2) the semi-definite constraint in the optimization. We derive several variants of screening rules, and analyze their relationships. Numerical experiments on benchmark datasets demonstrate the effectiveness of safe triplet screening.


title: Holomorphic approximation: the legacy of Weierstrass, Runge, Oka-Weil, and Mergelyan

abstract: In this paper we survey the theory of holomorphic approximation, from the classical 19th century results of Runge and Weierstrass, continuing with the 20th century work of Oka and Weil, Mergelyan, Vitushkin and others, to the most recent ones on higher dimensional manifolds. The paper includes some new results and applications of this theory, especially to manifold-valued maps.


title: Co-evolution of supermassive black holes with galaxies from semi-analytic model: stochastic gravitational wave background and black hole clustering

abstract: We study the co-evolution of supermassive black holes (SMBHs) with galaxies by means of semi-analytic model (SAM) of galaxy formation based on sub-halo merger trees built from Millennium and Millennium-II simulation. We utilize the simulation results from Guo 2013 and Henriques 2015 to study two aspects of the co-evolution, \emph{i.e.} the stochastic gravitational wave (GW) background generated by SMBH merger and the SMBH/galaxy clustering. The characteristic strain amplitude of GW background predicted by Guo 2013 and Henriques 2015 models are $A_{yr^{-1}}=5.00\times10^{-16}$ and $A_{yr^{-1}}=9.42\times10^{-17}$, respectively. We find the GW amplitude is very sensitive to the galaxy merger rate. The difference in the galaxy merger rate between Guo 2013 and Henriques 2015, results in a factor $5$ deviation in the GW strain amplitude. For clusterings, we calculate the spatially isotropic two point auto- and cross-correlation functions (2PCFs) for both SMBHs and galaxies by using the mock catalogs generated from Guo 2013 model. We find that all 2PCFs have positive dependence on both SMBH and galaxy mass. And there exist a significant time evolution in 2PCFs, namely, the clustering effect is enhanced at lower redshifts. Interestingly, this result is not reported in the active galactic nuclei samples in SDSS. Our analysis also shows that, roughly, SMBHs and galaxies, with galaxy mass $10^2\sim10^3$ larger than SMBH mass, have similar pattern of clustering, which is a reflection of the co-evolution of SMBH and galaxy. Finally, we calculate the first ten multiples of the angular power spectrum of the energy density of GW background. We find the amplitude of angular power spectrum of the first ten multiples is about $10\%$ to $60\%$ of the monopole component in the whole frequency range.


title: Sarkisov program for generalized pairs

abstract: In this paper we show that any two birational Mori fiber spaces of $\Qq$-factorial gklt g-pairs are connected by a finite sequence of Sarkisov links.


title: Conductance scaling of junctions of Luttinger-liquid wires out of equilibrium

abstract: We develop the renormalization group theory of the conductances of N-lead junctions of spinless Luttinger-liquid wires as functions of bias voltages applied to N independent Fermi-liquid reservoirs. Based on the perturbative results up to second order in the interaction we demonstrate that the conductances obey scaling. The corresponding renormalization group $\beta$ functions are derived up to second order.


title: Algorithms for robust production scheduling with energy consumption limits

abstract: In this work, we consider a scheduling problem faced by production companies with large electricity consumption. Due to the contract with the electric utility, the production companies are obligated to comply with the total energy consumption limits in the specified time intervals (usually 15-minutes long), otherwise, the companies pay substantial penalty fees. Although it is possible to design production schedules that consider these limits as hard constraints, uncertainties occurring during the execution of the schedules are usually not taken into account. This may lead to situations in which the unexpected delays of the operations cause the violations of the energy consumption limits. Our goal is to design robust production schedules pro-actively guaranteeing that the energy consumption limits are not violated for the given set of uncertainty scenarios. We consider scheduling on one machine with release times of the operations and total tardiness as the objective function. To tackle this problem, we first propose a pseudo-polynomial algorithm for finding the optimal robust schedule for the given permutation of the operations. This algorithm is then utilised in three different algorithms for finding the optimal permutation: two exact (Branch-and-Bound and logic-based Benders decomposition) and one heuristic algorithm (tabu search). All the algorithms were experimentally evaluated on random instances with different sizes of the uncertainty scenarios set. Using the tabu search algorithm, we are able to solve large instances within one minute.


title: Gender Performance in Physics Practicals

abstract: An analysis of longitudinal student Physics practicals data over a period of three semesters is conducted. In particular, we study the association of the gender of students and their Physics practicals marks in mechanics, thermodynamics, optics, electricity, and overall marks (OVM). Together with gender, all variables are binarized, i.e. distinction mark is coded 1, and zero otherwise. To visualize performance of students, the qualitative method of plotting a two-dimensional orbit is used to represent binary multivariate longitudinal data of each student. Analysis of orbits reveals information of patterns in the data. This study gives a good indication of which Physics practical each gender group perform better in. Our visual analysis indicate that male students tend not to get distinctions in both mechanics and OVM, but that females tend to get distinctions in OVM. We have also observed that students' marks is most stable (i.e. least changing) in optics and OVM, and most frequently changing in electricity. A comparison to the GEE statistical model indicates that visual results present initial insights to help and complement statistical analysis.


title: Visualizing Neural Network Developing Perturbation Theory

abstract: In this letter, motivated by the question that whether the empirical fitting of data by neural network can yield the same structure of physical laws, we apply the neural network to a simple quantum mechanical two-body scattering problem with short-range potentials, which by itself also plays an important role in many branches of physics. We train a neural network to accurately predict $ s $-wave scattering length, which governs the low-energy scattering physics, directly from the scattering potential without solving Schr\"odinger equation or obtaining the wavefunction. After analyzing the neural network, it is shown that the neural network develops perturbation theory order by order when the potential increases. This provides an important benchmark to the machine-assisted physics research or even automated machine learning physics laws.

categories: physics.comp-ph cond-mat.dis-nn cond-mat.quant-gas cs.AI cs.LG


title: Deep feature compression for collaborative object detection

abstract: Recent studies have shown that the efficiency of deep neural networks in mobile applications can be significantly improved by distributing the computational workload between the mobile device and the cloud. This paradigm, termed collaborative intelligence, involves communicating feature data between the mobile and the cloud. The efficiency of such approach can be further improved by lossy compression of feature data, which has not been examined to date. In this work we focus on collaborative object detection and study the impact of both near-lossless and lossy compression of feature data on its accuracy. We also propose a strategy for improving the accuracy under lossy feature compression. Experiments indicate that using this strategy, the communication overhead can be reduced by up to 70% without sacrificing accuracy.


title: Frobenius Additive Fast Fourier Transform

abstract: In ISSAC 2017, van der Hoeven and Larrieu showed that evaluating a polynomial P in GF(q)[x] of degree <n at all n-th roots of unity in GF($q^d$) can essentially be computed d-time faster than evaluating Q in GF($q^d$)[x] at all these roots, assuming GF($q^d$) contains a primitive n-th root of unity. Termed the Frobenius FFT, this discovery has a profound impact on polynomial multiplication, especially for multiplying binary polynomials, which finds ample application in coding theory and cryptography. In this paper, we show that the theory of Frobenius FFT beautifully generalizes to a class of additive FFT developed by Cantor and Gao-Mateer. Furthermore, we demonstrate the power of Frobenius additive FFT for q=2: to multiply two binary polynomials whose product is of degree <256, the new technique requires only 29,005 bit operations, while the best result previously reported was 33,397. To the best of our knowledge, this is the first time that FFT-based multiplication outperforms Karatsuba and the like at such a low degree in terms of bit-operation count.


title: Unravelling the origin of piezo/ferro-electric properties of metal-organic frameworks (MOFs) nanocrystals

abstract: Metal-organic framework (MOF) UiO-66 nanocrystals were previously believed to be piezo/ferro-electrically inactive because of their centrosymmetric lattice symmetries (Fm-3m (225)) revealed by Powder X-ray diffraction. However, via delicate dual AC resonance tracking piezoresponse force microscopy and piezoresponse force spectroscopy characterizations, our nanoscale probing for the first time demonstrate that UiO-66 nanocrystals show piezo/ferro-electric response. Our compelling experimental and theoretically analyses disclose that the structure of UiO-66 should not be the highly centrosymmetric Fm-3m (225) but a reduced symmetry form instead. UiO-66(Hf)-type MOFs possess stronger piezoresponse and better ferroelectric switching behaviours than their counterparts UiO-66 (Zr)-type MOFs. Our study not only enriches the structural understanding of UiO-66 MOF, but also suggests possible modification of electronic property of the MOFs by judicious selection of metal ions and functional ligands.