title: Thermal effects on nonlinear acceleration waves in the Biot theory of porous media

abstract: We generalize a theory of Biot for a porous solid based on nonlinear elasticity theory to incorporate temperature effects. Acceleration waves are studied in detail in the fully nonlinear theory. The wavespeeds are found explicitly and the amplitudes are then determined. The possibility of shock formation is discussed.


title: Encoding Microreactors with Droplet Chains in Microfluidics

abstract: Droplet-based high throughput biomolecular screening and combinatorial synthesis entail a viable indexing strategy to be developed for the identification of each micro-reactor. Here, we propose a novel indexing scheme based on the generation of droplet sequences on demand to form unique encoding droplet chains in fluidic networks. These codes are represented by multiunit and multilevel droplets packages, with each code unit possessing several distinct signal levels, potentially allowing large encoding capacity. For proof of concept, we use magnetic nanoparticles as the encoding material and a giant magnetoresistance (GMR) sensor-based active sorting system supplemented with an optical detector to generate and decode the sequence of one exemplar sample droplet reactor and a 4-unit quaternary magnetic code. The indexing capacity offered by 4-unit multilevel codes with this indexing strategy is estimated to exceed 104, which holds great promise for large-scale droplet-based screening and synthesis.


title: Improved upper bound on root number of linearized polynomials and its application to nonlinearity estimation of Boolean functions

abstract: To determine the dimension of null space of any given linearized polynomial is one of vital problems in finite field theory, with concern to design of modern symmetric cryptosystems. But, the known general theory for this task is much far from giving the exact dimension when applied to a specific linearized polynomial. The first contribution of this paper is to give a better general method to get more precise upper bound on the root number of any given linearized polynomial. We anticipate this result would be applied as a useful tool in many research branches of finite field and cryptography. Really we apply this result to get tighter estimations of the lower bounds on the second order nonlinearities of general cubic Boolean functions, which has been being an active research problem during the past decade, with many examples showing great improvements. Furthermore, this paper shows that by studying the distribution of radicals of derivatives of a given Boolean functions one can get a better lower bound of the second-order nonlinearity, through an example of the monomial Boolean function $g_{\mu}=Tr(\mu x^{2^{2r}+2^r+1})$ over any finite field $\GF{n}$.


title: Adaptive Anisotropic Total Variation - A Nonlinear Spectral Analysis

abstract: A fundamental concept in solving inverse problems is the use of regularizers, which yield more physical and less-oscillatory solutions. Total variation (TV) has been widely used as an edge-preserving regularizer. However, objects are often over-regularized by TV, becoming blob-like convex structures of low curvature. This phenomenon was explained mathematically in the analysis of Andreau et al. They have shown that a TV regularizer can spatially preserve perfectly sets which are nonlinear eigenfunctions of the form $\lambda u \in \partial J_{TV}(u)$, where $\partial J_{TV}(u)$ is the TV subdifferential. For TV, these shapes are convex sets of low-curvature. A compelling approach to better preserve structures is to use anisotropic functionals, which adapt the regularization in an image-driven manner, with strong regularization along edges and low across them. This follows earlier ideas of Weickert on anisotropic diffusion, which do not stem directly from functional minimization. Adaptive anisotropic TV (A$^2$TV) was successfully used in several studies in the past decade. However, until now there is no theory formulating the type of structures which can be perfectly preserved. In this study we address this question. We rely on a recently developed theory of Burger et al on nonlinear spectral analysis of one-homogeneous functionals. We have that eigenfunction sets, admitting $\lambda u \in \partial J_{A^2TV}(u)$, are perfectly preserved under A$^2$TV-flow or minimization with $L^2$ square fidelity. We thus investigate these eigenfunctions theoretically and numerically. We prove non-convex sets can be eigenfunctions in certain conditions and provide numerical results which characterize well the relations between the degree of local anisotropy of the functional and the admitted maximal curvature....


title: Theory Vision talk at LHCP2018

abstract: Particle physics is sometimes described as going through a crisis, notably because of the continued lack of discovery of physics beyond the Standard Model, despite the LHC having operated at close to maximal energy for some years now. Here, I argue that we should not underestimate the significance of recent progress and future prospects in the Higgs sector of the Standard Model. This is especially the case for the Yukawa interactions and the structure of the Higgs potential, both of which are unlike any sector that has been established and stress-tested before in particle physics. Other topics that I touch on include the still substantial scope for increasing the reach of searches at LHC, the increasing role of precision in hadron-collider physics and the rich interplay that is developing between heavy-ion and proton-proton physics.


title: A Compact Embedding for Facial Expression Similarity

abstract: Most of the existing work on automatic facial expression analysis focuses on discrete emotion recognition, or facial action unit detection. However, facial expressions do not always fall neatly into pre-defined semantic categories. Also, the similarity between expressions measured in the action unit space need not correspond to how humans perceive expression similarity. Different from previous work, our goal is to describe facial expressions in a continuous fashion using a compact embedding space that mimics human visual preferences. To achieve this goal, we collect a large-scale faces-in-the-wild dataset with human annotations in the form: Expressions A and B are visually more similar when compared to expression C, and use this dataset to train a neural network that produces a compact (16-dimensional) expression embedding. We experimentally demonstrate that the learned embedding can be successfully used for various applications such as expression retrieval, photo album summarization, and emotion recognition. We also show that the embedding learned using the proposed dataset performs better than several other embeddings learned using existing emotion or action unit datasets.


title: Rethinking the Transient Network Concept in Entangled Polymer Rheology

abstract: The classical rheological theories of entangled polymeric liquids are built upon two pillars: Gaussian statistics of entanglement strands and the assumption that the stress arises exclusively from the change of intramolecular configuration entropy. We show that these two hypotheses are not supported by molecular dynamics simulations of polymer melts. Specifically, the segment distribution functions at the entanglement length scale and below deviate considerably from the theoretical predictions, in both the equilibrium and deformed states. Further conformational analysis reveals that the intrachain entropic stress at the entanglement length scale is substantially smaller than the total stress, indicative of a considerable contribution from interchain entropy. Lastly, the relation between entanglement strand entropic stress and macroscopic stress exhibits a bifurcation behavior during deformation and stress relaxation, which cannot be accounted for by the classical theories.


title: On identities of the Rogers--Ramanujan type

abstract: A generalized Bailey pair, which contains several special cases considered by Bailey (\emph{Proc. London Math. Soc. (2)}, 50 (1949), 421--435), is derived and used to find a number of new Rogers-Ramanujan type identities. Consideration of associated $q$-difference equations points to a connection with a mild extension of Gordon's combinatorial generalization of the Rogers-Ramanujan identities (\emph{Amer. J. Math.}, 83 (1961), 393--399). This, in turn, allows the formulation of natural combinatorial interpretations of many of the identities in Slater's list (\emph{Proc. London Math. Soc. (2)} 54 (1952), 147--167), as well as the new identities presented here. A list of 26 new double sum--product Rogers-Ramanujan type identities are included as an appendix.


title: Patch-based Progressive 3D Point Set Upsampling

abstract: We present a detail-driven deep neural network for point set upsampling. A high-resolution point set is essential for point-based rendering and surface reconstruction. Inspired by the recent success of neural image super-resolution techniques, we progressively train a cascade of patch-based upsampling networks on different levels of detail end-to-end. We propose a series of architectural design contributions that lead to a substantial performance boost. The effect of each technical contribution is demonstrated in an ablation study. Qualitative and quantitative experiments show that our method significantly outperforms the state-of-the-art learning-based and optimazation-based approaches, both in terms of handling low-resolution inputs and revealing high-fidelity details.


title: Lagged correlation-based deep learning for directional trend change prediction in financial time series

abstract: Trend change prediction in complex systems with a large number of noisy time series is a problem with many applications for real-world phenomena, with stock markets as a notoriously difficult to predict example of such systems. We approach predictions of directional trend changes via complex lagged correlations between them, excluding any information about the target series from the respective inputs to achieve predictions purely based on such correlations with other series. We propose the use of deep neural networks that employ step-wise linear regressions with exponential smoothing in the preparatory feature engineering for this task, with regression slopes as trend strength indicators for a given time interval. We apply this method to historical stock market data from 2011 to 2016 as a use case example of lagged correlations between large numbers of time series that are heavily influenced by externally arising new information as a random factor. The results demonstrate the viability of the proposed approach, with state-of-the-art accuracies and accounting for the statistical significance of the results for additional validation, as well as important implications for modern financial economics.


title: Impact on floating thin elastic sheets: A mathematical model

abstract: We investigate impact of a sphere onto a floating elastic sheet and the resulting formation and evolution of wrinkles in the sheet. Following impact, we observe a radially propagating wave, beyond which the sheet remains approximately planar but is decorated by a series of radial wrinkles whose wavelength grows in time. We develop a mathematical model to describe these phenomena by exploiting the asymptotic limit in which the bending stiffness is small compared to stresses in the sheet. The results of this analysis show that, at a time $t$ after impact, the transverse wave is located at a radial distance $r\sim t^{1/2}$ from the impactor, in contrast to the classic $r\sim t^{2/3}$ scaling observed for capillary--inertia ripples produced by dropping a stone into a pond. We describe the shape of this wave, starting from the simplest case of a point impactor, but subsequently addressing a finite-radius spherical impactor, contrasting this case with the classic Wagner theory of impact. We show also that the coarsening of wrinkles in the flat portion of the sheet is controlled by the inertia of the underlying liquid: short-wavelength, small-amplitude wrinkles form at early times since they accommodate the geometrically-imposed compression without significantly displacing the underlying liquid. As time progresses, the liquid accelerates and the wrinkles grow larger and coarsen. We explain this coarsening quantitatively using numerical simulations and scaling arguments, and we compare our predictions with experimental data.


title: Numerical study on a shelled gas bubble submerged in soft tissue

abstract: Ultrasound contrast agents have been recently utilized in therapeutical implementations for targeted delivery of pharmaceutical substances. Radial pulsations of the encapsulated microbubbles under the action of an ultrasound field are complex and high nonlinear, particularly for drug and gene delivery applications with high acoustic pressure amplitudes. The dynamics of a polymer-shelled agent is inspected \textit{in vivo} through applying the method of chaos physics whereas the effects of the outer medium compressibility and the shell were considered. The stability of the ultrasound contrast agent is examined by plotting the bifurcation diagrams over a wide range of variations of influential parameters. The results imply that the composition of the surrounding medium alters the microbubble dynamics, strongly. Furthermore, influences of various parameters which present a comprehensive view of the radial oscillations of the microbubble are quantitatively discussed with clear descriptions of the stable and unstable regions of the microbubble oscillations.


title: Study of the magnetic properties of the compound M_n B_i using the Monte Carlo simulations

abstract: The aim of this paper is to investigate the magnetic properties of the M_n B_i magnetic systems by using the Monte Carlo simulation. Indeed, we analyzed the effect of the number of layers on the magnetic properties of the compound M_n B_i. The magnetization, the binder cumulant, the Curie temperature and the hysteresis cycle are also calculated in this work. We used the free boundary conditions to simulate the properties of the studied system, and we presented the effect of multilayer numbers on the magnetic properties of M_n B_i films. Meanwhile, there are clear indications that coercive field increases drastically with the increases multilayer numbers is consistent with the experimental facts.


title: Bound-State Solutions of Dirac Equation for Kratzer Potential with Pseudoscalar-Coulomb Term

abstract: We present exact analytical solutions of the Dirac equation in $(1+1)$-dimensions for the generalized Kratzer potential by taking the pseudoscalar interaction term as an attractive Coulomb potential. We study the problem for a particular (spin) symmetry of the Dirac Hamiltonian. After a qualitative analyse, we study the results for some special cases such as Dirac-Coulomb problem in the existence of the pseudoscalar interaction, and the "pure" Coulomb problem by discussing some points about pseudospin and spin symmetries in one dimension. We also plot some figures representing the dependence of the energy on quantum number, and potential parameters.


title: Exploring the Influence of Dynamic Disorder on Transport Gap in Solid Pentacene

abstract: We combine a GW approach and ab initio Molecular Dynamics (AIMD) simulations to study the impact of thermal effects on transport gap in solid pentacene (C22H14). The dynamic disorder induced by thermal fluctuations is simulated by AIMD, providing the ensemble-averaged density of states (DOS) near the band gap. The GW corrected DOS, averaged over hundreds of snapshots from AIMD simulation containing disordered structures indicates that the edge-to-edge transport gap is 2.1+/-0.04 eV, reduced by ~0.1 eV in contrast to the static 0 K GW calculation. The peak-to-peak gap is found to be 2.7eV in excellent agreement with experiment after corrections for the surface and the Frank-Condon effects and providing fully ab initio agreement with experiment where previous theory required ad hoc Gaussian broadening and temperature corrections.


title: Questioning the assumptions behind fairness solutions

abstract: In addition to their benefits, optimization systems can have negative economic, moral, social, and political effects on populations as well as their environments. Frameworks like fairness have been proposed to aid service providers in addressing subsequent bias and discrimination during data collection and algorithm design. However, recent reports of neglect, unresponsiveness, and malevolence cast doubt on whether service providers can effectively implement fairness solutions. These reports invite us to revisit assumptions made about the service providers in fairness solutions. Namely, that service providers have (i) the incentives or (ii) the means to mitigate optimization externalities. Moreover, the environmental impact of these systems suggests that we need (iii) novel frameworks that consider systems other than algorithmic decision-making and recommender systems, and (iv) solutions that go beyond removing related algorithmic biases. Going forward, we propose Protective Optimization Technologies that enable optimization subjects to defend against negative consequences of optimization systems.


title: Reversible magnetic switching of high-spin molecules on a giant Rashba surface

abstract: The quantum mechanical screening of a spin via conduction electrons depends sensitively on the environment seen by the magnetic impurity. A high degree of responsiveness can be obtained with metal complexes, as the embedding of a metal ion into an organic molecule prevents intercalation or alloying and allows for a good control by an appropriate choice of the ligands. There are therefore hopes to reach an "on demand" control of the spin state of single molecules adsorbed on substrates. Hitherto one route was to rely on "switchable" molecules with intrinsic bistabilities triggered by external stimuli, such as temperature or light, or on the controlled dosing of chemicals to form reversible bonds. However, these methods constrain the functionality to switchable molecules or depend on access to atoms or molecules. Here, we present a way to induce bistability also in a planar molecule by making use of the environment. We found that the particular "habitat" offered by an antiphase boundary of the Rashba system BiAg$_2$ stabilizes a second structure for manganese phthalocyanine molecules, in which the central Mn ion moves out of the molecular plane. This corresponds to the formation of a large magnetic moment and a concomitant change of the ground state with respect to the conventional adsorption site. The reversible spin switch found here shows how we can not only rearrange electronic levels or lift orbital degeneracies via the substrate, but even sway the effects of many-body interactions in single molecules by acting on their surrounding.


title: A Microscopic Decision Model for Route Choice and Event-Driven Revisions

abstract: We propose a microscopic decision model for route choice based on discrete choice theory. The correlation of overlapping routes is included in the random portions of the utility explicitly. For computational efficiency, we restrict the choice set to the turning possibilities at the next intersection, assuming shortest paths to the destination afterwards. The proposed decision model also regards traffic conditions (e.g. traffic lights, long queues) such that drivers may revise their previously taken decision. Due to its compatibility to already existing microscopic traffic flow models, the proposed route choice model can be readily simulated with available software. Combined, the proposed decision model features realistic behavior, i.e., adaptive choice based on incomplete information and simultaneously allows for a straightforward implementation.


title: Taking Control of Intra-class Variation in Conditional GANs Under Weak Supervision

abstract: Generative Adversarial Networks (GANs) are able to learn mappings between simple, relatively low-dimensional, random distributions and points on the manifold of realistic images in image-space. The semantics of this mapping, however, are typically entangled such that meaningful image properties cannot be controlled independently of one another. Conditional GANs (cGANs) provide a potential solution to this problem, allowing specific semantics to be enforced during training. This solution, however, depends on the availability of precise labels, which are sometimes difficult or near impossible to obtain, e.g. labels representing lighting conditions or describing the background. In this paper we introduce a new formulation of the cGAN that is able to learn disentangled, multivariate models of semantically meaningful variation and which has the advantage of requiring only the weak supervision of binary attribute labels. For example, given only labels of ambient / non-ambient lighting, our method is able to learn multivariate lighting models disentangled from other factors such as the identity and pose. We coin the method intra-class variation isolation (IVI) and the resulting network the IVI-GAN. We evaluate IVI-GAN on the CelebA dataset and on synthetic 3D morphable model data, learning to disentangle attributes such as lighting, pose, expression, and even the background.


title: Hybrid magneto-dynamical modes in a single magnetostrictive nanomagnet on a piezoelectric substrate arising from magneto-elastic modulation of precessional dynamics

abstract: Magneto-elastic (or "straintronic") switching has emerged as an extremely energy-efficient mechanism for switching the magnetization of magnetostrictive nanomagnets in magnetic memory, logic and non-Boolean circuits. Here, we investigate the ultrafast magneto-dynamics associated with straintronic switching in a single quasi-elliptical magnetostrictive Co nanomagnet deposited on a piezoelectric PMN-PT substrate using time-resolved magneto-optical Kerr effect (TR-MOKE) measurements. The pulsed laser pump beam in the TR-MOKE plays a dual role: it causes precession of the nanomagnet's magnetization about an applied bias magnetic field and it also generates surface acoustic waves (SAWs) in the piezoelectric substrate that produce periodic strains in the magnetostrictive nanomagnet and modulate the precessional dynamics. This modulation gives rise to intriguing hybrid magneto-dynamical modes in the nanomagnet, with rich spin wave texture. The characteristic frequencies of these modes are 5-15 GHz, indicating that strain can affect magnetization in a magnetostrictive nanomagnet in time scales much smaller than 1 ns (~100 ps). This can enable ~10 GHz-range magneto-elastic nano-oscillators that are actuated by strain instead of a spin-polarized current, as well as ultrafast magneto-electric generation of spin waves for magnonic logic circuits, holograms, etc.


title: Exploring Restart Distributions

abstract: We consider the generic approach of using an experience memory to help exploration by adapting a restart distribution. That is, given the capacity to reset the state with those corresponding to the agent's past observations, we help exploration by promoting faster state-space coverage via restarting the agent from a more diverse set of initial states, as well as allowing it to restart in states associated with significant past experiences. This approach is compatible with both on-policy and off-policy methods. However, a caveat is that altering the distribution of initial states could change the optimal policies when searching within a restricted class of policies. To reduce this unsought learning bias, we evaluate our approach in deep reinforcement learning which benefits from the high representational capacity of deep neural networks. We instantiate three variants of our approach, each inspired by an idea in the context of experience replay. Using these variants, we show that performance gains can be achieved, especially in hard exploration problems.


title: "Small step" remodeling and counterexamples for weighted estimates with arbitrarily "smooth" weights

abstract: For an $A_p$ weight $w$ the norm of the Hilbert Transform in $L^p(w)$, $1<p<\infty$ is estimated by $[w]_{A_p}^{s}$, where $[w]_{A_p}$ is the $A_p$ characteristic of the weight $w$ and $s = \max(1,1/(p-1))$; as simple examples with power weights show, these estimates are sharp. A natural question to ask, is whether it is possible to improve the exponent $s$ in the above estimate if one replaces the $A_p$ characteristic by its "fattened" version, where the averages are replaced by Poisson-like averages. For power weights (for example with $p=2$ and Poisson averages) one can see that there is indeed an improvement in the exponent: but is it true for general weights? In this paper we show that the optimal exponent $s$ remains the same by constructing counterexamples for arbitrarily "smooth" weights (in the sense that the doubling constant is arbitrarily close to $2$), so the "fattened" $A_p$ characteristic is equivalent to the classical one, and such that $\|T\|_{L^p(w)} \sim [w]_{A_p}^{s}$. We use the ideas from the unpublished manuscript by F. Nazarov disproving Sarason's conjecture. We start from simple classical counterexamples for dyadic models, and then by using what we call "small step construction" we transform them into examples with weights that are arbitrarily dyadically smooth. F.~Nazarov had used Bellman function method to prove the existence of such examples, but our construction gives a way to get such examples from the standard dyadic ones. We then use a modification of "remodeling", introduced by J.~Bourgain and developed by F.~Nazarov, to get from examples for dyadic models to examples for the Hilbert transform. As an added bonus, we present a proof that the $L^p$ analog of Sarason's conjecture is false for all $p$, $1<p<\infty$.


title: Self-Healing Road Networks: A Self-Organized Management Strategy for Traffic Incidents in Urban Road Networks

abstract: We propose a novel self-organized traffic management strategy for incidents in traffic-light-controlled road networks. During incidents, it regulates the inflow into already congested road segments by restricting or skipping green times. Simultaneously, the remaining green times are used for the yet free turning directions. In this way, drivers can utilize unused road capacities and circumvent congested areas by revising their originally chosen routes. Consequently, the network has "healed itself" as soon as all affected traffic flows have been redistributed along remaining road capacities. Driver's route choice is modeled by means of discrete choice theory and regards the signaling at the next observable intersection. To this end, we propose a microscopic route choice model for event-oriented decisions. Subsequently, we examine four distinct incident scenarios in a grid and real-size road network and compare fixed-time and traffic-dependent traffic light controls with and without the self-healing strategy employed. As result, the self-healing strategy accounts for significantly lower vehicle accumulations during and after the incident as it effectively antagonizes gridlock effects in the disturbed network.


title: Calculating CVaR and bPOE for Common Probability Distributions With Application to Portfolio Optimization and Density Estimation

abstract: Conditional Value-at-Risk (CVaR) and Value-at-Risk (VaR), also called the superquantile and quantile, are frequently used to characterize the tails of probability distribution's and are popular measures of risk. Buffered Probability of Exceedance (bPOE) is a recently introduced characterization of the tail which is the inverse of CVaR, much like the CDF is the inverse of the quantile. These quantities can prove very useful as the basis for a variety of risk-averse parametric engineering approaches. Their use, however, is often made difficult by the lack of well-known closed-form equations for calculating these quantities for commonly used probability distribution's. In this paper, we derive formulas for the superquantile and bPOE for a variety of common univariate probability distribution's. Besides providing a useful collection within a single reference, we use these formulas to incorporate the superquantile and bPOE into parametric procedures. In particular, we consider two: portfolio optimization and density estimation. First, when portfolio returns are assumed to follow particular distribution families, we show that finding the optimal portfolio via minimization of bPOE has advantages over superquantile minimization. We show that, given a fixed threshold, a single portfolio is the minimal bPOE portfolio for an entire class of distribution's simultaneously. Second, we apply our formulas to parametric density estimation and propose the method of superquantile's (MOS), a simple variation of the method of moment's (MM) where moment's are replaced by superquantile's at different confidence levels. With the freedom to select various combinations of confidence levels, MOS allows the user to focus the fitting procedure on different portions of the distribution, such as the tail when fitting heavy-tailed asymmetric data.


title: A QR Decomposition Approach to Factor Modelling: A Thesis Report

abstract: An observed $K$-dimensional series $\left\{ y_{n}\right\} _{n=1}^{N}$ is expressed in terms of a lower $p$-dimensional latent series called factors $f_{n}$ and random noise $\varepsilon_{n}$. The equation, $y_{n}=Qf_{n}+\varepsilon_{n}$ is taken to relate the factors with the observation. The goal is to determine the dimension of the factors, $p$, the factor loading matrix, $Q$, and the factors $f_{n}$. Here, it is assumed that the noise co-variance is positive definite and allowed to be correlated with the factors. An augmented matrix, \[ \tilde{M}\triangleq\left[\begin{array}{cccc} \tilde{\Sigma}_{yy}(1) & \tilde{\Sigma}_{yy}(2) & \ldots & \tilde{\Sigma}_{yy}(m)\end{array}\right] \] is formed using the observed sample autocovariances $\tilde{\Sigma}_{yy}(l)=\frac{1}{N-l}\sum_{n=1}^{N-l}\left(y_{n+l}-\bar{y}\right)\left(y_{n}-\bar{y}\right)^{\top}$, $\bar{y}=\frac{1}{N}\sum_{n=1}^{N}y_{n}$. Estimating $p$ is equated to determining the numerical rank of $\tilde{M}$. Using Rank Revealing QR (RRQR) decomposition, a model order detection scheme is proposed for determining the numerical rank and for estimating the loading matrix $Q$. The rate of convergence of the estimates, as $K$ and $N$ tends to infinity, is derived and compared with that of the existing Eigen Value Decomposition based approach. Two applications of this algorithm, i) The problem of extracting signals from their noisy mixtures and ii) modelling of the S&P index are presented.


title: Capacity Upper Bounds for the Relay Channel via Reverse Hypercontractivity

abstract: The primitive relay channel, introduced by Cover in 1987, is the simplest single-source single-destination network model that captures some of the most essential features and challenges of relaying in wireless networks. Recently, Wu and Ozgur developed upper bounds on the capacity of this channel that are tighter than the cutset bound. In this paper, we recover, generalize and improve their upper bounds with simpler proofs that rely on a converse technique recently introduced by Liu, van Handel and Verd\'u that builds on reverse hypercontractivity. To our knowledge, this is the first application of reverse hypercontractivity for proving first-order converses in network information theory.


title: Universal Adversarial Training

abstract: Standard adversarial attacks change the predicted class label of a selected image by adding specially tailored small perturbations to its pixels. In contrast, a universal perturbation is an update that can be added to any image in a broad class of images, while still changing the predicted class label. We study the efficient generation of universal adversarial perturbations, and also efficient methods for hardening networks to these attacks. We propose a simple optimization-based universal attack that reduces the top-1 accuracy of various network architectures on ImageNet to less than 20%, while learning the universal perturbation 13X faster than the standard method. To defend against these perturbations, we propose universal adversarial training, which models the problem of robust classifier generation as a two-player min-max game, and produces robust models with only 2X the cost of natural training. We also propose a simultaneous stochastic gradient method that is almost free of extra computation, which allows us to do universal adversarial training on ImageNet.


title: Generalized Harmonic Progression

abstract: This paper presents formulae for the sum of the terms of a harmonic progression of order $k$ with integer parameters, $HP_k(n)$, and for the partial sums of its two associated Fourier series, $C^m_{k}(a,b,n)$ and $S^m_{k}(a,b,n)$. These new formulae are a generalization of the formulae created in a previous paper and were achieved using a slightly modified version of the reasoning employed before.


title: Energy stable semi-implicit schemes for Allen-Cahn-Ohta-Kawasaki Model in Binary System

abstract: In this paper, we propose a first order energy stable linear semi-implicit method for solving the Allen-Cahn-Ohta-Kawasaki equation. By introducing a new nonlinear term in the Ohta-Kawasaki free energy functional, all the system forces in the dynamics are localized near the interfaces which results in the desire hyperbolic tangent profile. In our numerical method, the time discretization is done by some stabilization technique in which some extra nonlocal but linear term is introduced and treated explicitly together with other linear terms, while other nonlinear and nonlocal terms are treated implicitly. The spatial discretization is performed by the Fourier collocation method with FFT-based fast implementations. The energy stabilities are proved for this method in both semi-discretization and full discretization levels. Numerical experiments indicate the force localization and desire hyperbolic tangent profile due to the new nonlinear term. We test the first order temporal convergence rate of the proposed scheme. We also present hexagonal bubble assembly as one type of equilibrium for the Ohta-Kawasaki model. Additionally, the two-third law between the number of bubbles and the strength of long-range interaction is verified which agrees with the theoretical studies.


title: Improved Speech Enhancement with the Wave-U-Net

abstract: We study the use of the Wave-U-Net architecture for speech enhancement, a model introduced by Stoller et al for the separation of music vocals and accompaniment. This end-to-end learning method for audio source separation operates directly in the time domain, permitting the integrated modelling of phase information and being able to take large temporal contexts into account. Our experiments show that the proposed method improves several metrics, namely PESQ, CSIG, CBAK, COVL and SSNR, over the state-of-the-art with respect to the speech enhancement task on the Voice Bank corpus (VCTK) dataset. We find that a reduced number of hidden layers is sufficient for speech enhancement in comparison to the original system designed for singing voice separation in music. We see this initial result as an encouraging signal to further explore speech enhancement in the time-domain, both as an end in itself and as a pre-processing step to speech recognition systems.


title: Developing a Bubble Chamber Particle Discriminator Using Semi-Supervised Learning

abstract: The identification of non-signal events is a major hurdle to overcome for bubble chamber dark matter experiments such as PICO-60. The current practice of manually developing a discriminator function to eliminate background events is difficult when available calibration data is frequently impure and present only in small quantities. In this study, several different discriminator input/preprocessing formats and neural network architectures are applied to the task. First, they are optimized in a supervised learning context. Next, two novel semi-supervised learning algorithms are trained, and found to replicate the Acoustic Parameter (AP) discriminator previously used in PICO-60 with a mean of 97% accuracy.


title: Lepton Flavor Universality tests in $b\to s\ell^+\ell^-$ decays at LHCb

abstract: The electroweak sector of the Standard Model contains three generations of charged leptons $\ell^-\in\{e^-,\mu^-,\tau^-\}$ as exact replicas of each other, except for their Yukawa couplings to the Higgs that determine their masses. The Yukawas, and thereby, the masses, are not predicted but are parameters in the theory. A basic tenet in the formalism, known as lepton universality, is equality of the couplings to the electroweak gauge bosons $\{\gamma, Z, W^-\}$ among all three generations, and has mostly stood the test of time. However, precision tests in $B$ decays have recently posed serious challenges to lepton flavor universality, potentially pointing to New Physics beyond the Standard Model. In this work we summarize the latest LHCb results on lepton flavor universality tests in the $b\to s\ell^-\ell^+$ electroweak penguin sector and mention further prospects with the upgraded LHCb detector.


title: Using Attribution to Decode Dataset Bias in Neural Network Models for Chemistry

abstract: Deep neural networks have achieved state of the art accuracy at classifying molecules with respect to whether they bind to specific protein targets. A key breakthrough would occur if these models could reveal the fragment pharmacophores that are causally involved in binding. Extracting chemical details of binding from the networks could potentially lead to scientific discoveries about the mechanisms of drug actions. But doing so requires shining light into the black box that is the trained neural network model, a task that has proved difficult across many domains. Here we show how the binding mechanism learned by deep neural network models can be interrogated, using a recently described attribution method. We first work with carefully constructed synthetic datasets, in which the 'fragment logic' of binding is fully known. We find that networks that achieve perfect accuracy on held out test datasets still learn spurious correlations due to biases in the datasets, and we are able to exploit this non-robustness to construct adversarial examples that fool the model. The dataset bias makes these models unreliable for accurately revealing information about the mechanisms of protein-ligand binding. In light of our findings, we prescribe a test that checks for dataset bias given a hypothesis. If the test fails, it indicates that either the model must be simplified or regularized and/or that the training dataset requires augmentation.


title: Hopping Transport in SrTiO3/Nd1-xTiO3/SrTiO3 Heterostructures

abstract: Electronic transport near the insulator-metal transition is investigated in the molecular beam epitaxy-grown SrTiO3/Nd1-xTiO3/SrTiO3 heterostructures using temperature dependent magnetotransport measurements. It was found that Nd-vacancies introduce localized electronic states resulting in the variable range hopping transport at low temperatures. At a fixed Nd-vacancies concentration, a crossover from Mott to Efros-Shklovskii (ES) variable range hopping transport was observed with decreasing temperature. With increasing disorder, a sign reversal of magnetoresistance from positive to negative was observed revealing interplay between intra-state interaction and the energy dependence of the localization length as a function of disorder. These findings highlight the important role of stoichiometry when exploring intrinsic effect using heterostructure and interfaces in addition to offering broad opportunity to tailor low temperature transport using non-stoichiometry defects.


title: Target Driven Visual Navigation with Hybrid Asynchronous Universal Successor Representations

abstract: Being able to navigate to a target with minimal supervision and prior knowledge is critical to creating human-like assistive agents. Prior work on map-based and map-less approaches have limited generalizability. In this paper, we present a novel approach, Hybrid Asynchronous Universal Successor Representations (HAUSR), which overcomes the problem of generalizability to new goals by adapting recent work on Universal Successor Representations with Asynchronous Actor-Critic Agents. We show that the agent was able to successfully reach novel goals and we were able to quickly fine-tune the network for adapting to new scenes. This opens up novel application scenarios where intelligent agents could learn from and adapt to a wide range of environments with minimal human input.


title: SOFIA - HIRMES: Looking forward to the HIgh-Resolution Mid-infrarEd Spectrometer

abstract: The HIgh-Resolution Mid-infrarEd Spectrometer (HIRMES) is the 3rd Generation Instrument for the Stratospheric Observatory For Infrared Astronomy (SOFIA), currently in development at the NASA Goddard Space Flight Center (GSFC), and due for commissioning in 2019. By combining direct-detection Transition Edge Sensor (TES) bolometer arrays, grating-dispersive spectroscopy, and a host of Fabry-Perot tunable filters, HIRMES will provide the ability for High Resolution (R~100,000), Mid-Resolution (R~10,000), and Low-Resolution (R~600) slit-spectroscopy, and 2D Spectral Imaging (R~2000 at selected wavelengths) over the 25 - 122 {\mu}m mid-far infrared waveband. The driving science application is the evolution of proto-planetary systems via measurements of water-vapor, water-ice, deuterated hydrogen (HD), and neutral oxygen lines. However, HIRMES has been designed to be as flexible as possible to cover a wide range of science cases that fall within its phase-space, all whilst reaching sensitivities and observing powers not yet seen thus far on SOFIA, providing unique observing capabilities which will remain unmatched for decades.


title: Skin lesion segmentation using U-Net and good training strategies

abstract: In this paper we approach the problem of skin lesion segmentation using a convolutional neural network based on the U-Net architecture. We present a set of training strategies that had a significant impact on the performance of this model. We evaluated this method on the ISIC Challenge 2018 - Skin Lesion Analysis Towards Melanoma Detection, obtaining threshold Jaccard index of 77.5%.


title: Homeomorphisms of surfaces of finite type

abstract: We give a proof of the Neilsen-Thurston classification theorem of a homeomorphism f of a standard surface of finite type as either periodic, pseudo-Anosov, or reducible. In the periodic case, we show that there exists an integer n>0 such that f is isotopic to h with h^n isotopic to the identity. This is the weaker version of the Nielsen-Thurston theorem.


title: Using Computer Vision Techniques for Moving Poster Design

abstract: Graphic Design encompasses a wide range of activities from the design of traditional print media (e.g., books and posters) to site-specific (e.g., signage systems) and electronic media (e.g., interfaces). Its practice always explores the new possibilities of information and communication technologies. Therefore, interactivity and participation have become key features in the design process. Even in traditional print media, graphic designers are trying to enhance user experience and exploring new interaction models. Moving posters are an example of this. This type of posters combine the specific features of motion and print worlds in order to produce attractive forms of communication that explore and exploit the potential of digital screens. In our opinion, the next step towards the integration of moving posters with the surroundings, where they operate, is incorporating data from the environment, which also enables the seamless participation of the audience. As such, the adoption of computer vision techniques for moving poster design becomes a natural approach. Following this line of thought, we present a system wherein computer vision techniques are used to shape a moving poster. Although it is still a work in progress, the system is already able to sense the surrounding physical environment and translate the collected data into graphical information. The data is gathered from the environment in two ways: (1) directly using motion tracking; and (2) indirectly via contextual ambient data. In this sense, each user interaction with the system results in a different experience and in a unique poster design.


title: Adventures in Formalisation: Financial Contracts, Modules, and Two-Level Type Theory

abstract: We present three projects concerned with applications of proof assistants in the area of programming language theory and mathematics. The first project is about a certified compilation technique for a domain-specific programming language for financial contracts (the CL language). The code in CL is translated into a simple expression language well-suited for integration with software components implementing Monte Carlo simulation techniques (pricing engines). The compilation procedure is accompanied with formal proofs of correctness carried out in Coq. The second project presents techniques that allow for formal reasoning with nested and mutually inductive structures built up from finite maps and sets. The techniques, which build on the theory of nominal sets combined with the ability to work with isomorphic representations of finite maps, make it possible to give a formal treatment, in Coq, of a higher-order module system, including the ability to eliminate at compile time abstraction barriers introduced by the module system. The development is based on earlier work on static interpretation of modules and provides the foundation for a higher-order module language for Futhark, an optimising compiler targeting data-parallel architectures. The third project presents an implementation of two-level type theory, a version of Martin-Lof type theory with two equality types: the first acts as the usual equality of homotopy type theory, while the second allows us to reason about strict equality. In this system, we can formalise results of partially meta-theoretic nature. We develop and explore in details how two-level type theory can be implemented in a proof assistant, providing a prototype implementation in the proof assistant Lean. We demonstrate an application of two-level type theory by developing some results on the theory of inverse diagrams using our Lean implementation.


title: Deep Regionlets: Blended Representation and Deep Learning for Generic Object Detection

abstract: In this paper, we propose a novel object detection algorithm named "Deep Regionlets" by integrating deep neural networks and a conventional detection schema for accurate generic object detection. Motivated by the effectiveness of regionlets for modeling object deformations and multiple aspect ratios, we incorporate regionlets into an end-to-end trainable deep learning framework. The deep regionlets framework consists of a region selection network and a deep regionlet learning module. Specifically, given a detection bounding box proposal, the region selection network provides guidance on where to select sub-regions from which features can be learned from. An object proposal typically contains 3-16 sub-regions. The regionlet learning module focuses on local feature selection and transformations to alleviate the effects of appearance variations. To this end, we first realize non-rectangular region selection within the detection framework to accommodate variations in object appearance. Moreover, we design a "gating network" within the regionlet leaning module to enable instance dependent soft feature selection and pooling. The Deep Regionlets framework is trained end-to-end without additional efforts. We present ablation studies and extensive experiments on the PASCAL VOC dataset and the Microsoft COCO dataset. The proposed method yields competitive performance over state-of-the-art algorithms, such as RetinaNet and Mask R-CNN, even without additional segmentation labels.


title: Non-Hermitian Many-Body Localization

abstract: Many-body localization is shown to suppress imaginary parts of complex eigenenergies for general non-Hermitian Hamiltonians having time-reversal symmetry. We demonstrate that a real-complex transition, which we conjecture occurs upon many-body localization, profoundly affects the dynamical stability of non-Hermitian interacting systems with asymmetric hopping that respect time-reversal symmetry. Moreover, the real-complex transition is shown to be absent in non-Hermitian many-body systems with gain and/or loss that breaks time-reversal symmetry, even though the many-body localization transition still persists.


title: User-Guided Clustering in Heterogeneous Information Networks via Motif-Based Comprehensive Transcription

abstract: Heterogeneous information networks (HINs) with rich semantics are ubiquitous in real-world applications. For a given HIN, many reasonable clustering results with distinct semantic meaning can simultaneously exist. User-guided clustering is hence of great practical value for HINs where users provide labels to a small portion of nodes. To cater to a broad spectrum of user guidance evidenced by different expected clustering results, carefully exploiting the signals residing in the data is potentially useful. Meanwhile, as one type of complex networks, HINs often encapsulate higher-order interactions that reflect the interlocked nature among nodes and edges. Network motifs, sometimes referred to as meta-graphs, have been used as tools to capture such higher-order interactions and reveal the many different semantics. We therefore approach the problem of user-guided clustering in HINs with network motifs. In this process, we identify the utility and importance of directly modeling higher-order interactions without collapsing them to pairwise interactions. To achieve this, we comprehensively transcribe the higher-order interaction signals to a series of tensors via motifs and propose the MoCHIN model based on joint non-negative tensor factorization. This approach applies to arbitrarily many, arbitrary forms of HIN motifs. An inference algorithm with speed-up methods is also proposed to tackle the challenge that tensor size grows exponentially as the number of nodes in a motif increases. We validate the effectiveness of the proposed method on two real-world datasets and three tasks, and MoCHIN outperforms all baselines in three evaluation tasks under three different metrics. Additional experiments demonstrated the utility of motifs and the benefit of directly modeling higher-order information especially when user guidance is limited.


title: Generalized Boltzmann distributions for systems strongly coupled to large finite bath -- a microcanonical approach

abstract: The theory of probability shows that, as the fraction $X_n/Y\to 0$, the conditional probability for $X_n$, given $X_n+Y \in h_{\delta}:=[h, h+\delta]$, has a limit law $f_{X_n}(x)e^{-\psi_n(h_\delta)x}$, where $\psi_n(h_\delta) $ equals to $[\partial \ln P(Y \in y_\delta)/\partial y]_{y=h}$ plus an additional term, contributed from the correlation between $X_n$ and bath $Y$. By applying this limit law to an isolated composite system consisting of two strongly coupled parts, a system of interest and a large but finite bath, we derive the generalized Boltzmann distribution law for the system of interest in the exponential form of a redefined Hamiltonian and corrected Boltzmann temperature that reflects the modification due to strong system-bath coupling and the large but finite bath.


title: Incorporating Equity into the School Bus Scheduling Problem

abstract: We consider the school bus scheduling problem (SBSP) which simultaneously determines school bell times and route schedules. Often, the goal of the SBSP is to minimize the number of buses required by a school district. We extend a time-indexed integer programming model to incorporate additional considerations related to equity and efficiency. We seek to equitably reduce the disutilities associated with changing school start times via a minimax model, then propose a lexicographic minimax approach to improve minimax solutions. We apply our models to randomized instances based on a moderately-sized public school district to show the impact of incorporating equity.


title: Image Labeling with Markov Random Fields and Conditional Random Fields

abstract: Most existing methods for object segmentation in computer vision are formulated as a labeling task. This, in general, could be transferred to a pixel-wise label assignment task, which is quite similar to the structure of hidden Markov random field. In terms of Markov random field, each pixel can be regarded as a state and has a transition probability to its neighbor pixel, the label behind each pixel is a latent variable and has an emission probability from its corresponding state. In this paper, we reviewed several modern image labeling methods based on Markov random field and conditional random Field. And we compare the result of these methods with some classical image labeling methods. The experiment demonstrates that the introduction of Markov random field and conditional random field make a big difference in the segmentation result.


title: Variation of Calder\'on--Zygmund Operators with Matrix Weight

abstract: Let $p\in(1,\infty)$, $\rho\in (2, \infty)$ and $W$ be a matrix $A_p$ weight. In this article, we introduce a version of variation $\mathcal{V}_{\rho}({\mathcal T_n}_{\,,\,\ast})$ for matrix Calder\'on--Zygmund operators with modulus of continuity satisfying the Dini condition. We then obtain the $L^p(W)$-boundedness of $\mathcal{V}_{\rho}({\mathcal T_n}_{\,,\,\ast})$ with norm \begin{align*} \|\mathcal{V}_{\rho}({\mathcal T_n}_{\,,\,\ast})\|_{L^p(W)\to L^p(W)}\leq C[W]_{A_p}^{1+{1\over p-1} -{1\over p}} \end{align*} by first proving a sparse domination of the variation of the scalar Calder\'on--Zygmund operator, and then providing a convex body sparse domination of the variation of the matrix Calder\'on--Zygmund operator. The key step here is a weak type estimate of a local grand maximal truncated operator with respect to the scalar Calder\'on--Zygmund operator.


title: CyLKs: Unsupervised Cycle Lucas-Kanade Network for Landmark Tracking

abstract: Across a majority of modern learning-based tracking systems, expensive annotations are needed to achieve state-of-the-art performance. In contrast, the Lucas-Kanade (LK) algorithm works well without any annotation. However, LK has a strong assumption of photometric (brightness) consistency on image intensity and is easy to drift because of large motion, occlusion, and aperture problem. To relax the assumption and alleviate the drift problem, we propose CyLKs, a data-driven way of training Lucas-Kanade in an unsupervised manner. CyLKs learns a feature transformation through CNNs, transforming the input images to a feature space which is especially favorable to LK tracking. During training, we perform differentiable Lucas-Kanade forward and backward on the convolutional feature maps, and then minimize the re-projection error. During testing, we perform the LK tracking on the learned features. We apply our model to the task of landmark tracking and perform experiments on datasets of THUMOS and 300VW.


title: Swimming with Wealthy Sharks: Longevity, Volatility and the Value of Risk Pooling

abstract: Who {\em values} life annuities more? Is it the healthy retiree who expects to live long and might become a centenarian, or is the unhealthy retiree with a short life expectancy more likely to appreciate the pooling of longevity risk? What if the unhealthy retiree is pooled with someone who is much healthier and thus forced to pay an implicit loading? To answer these and related questions this paper examines the empirical conditions under which retirees benefit (or may not) from longevity risk pooling by linking the {\em economics} of annuity equivalent wealth (AEW) to {\em actuarially} models of aging. I focus attention on the {\em Compensation Law of Mortality} which implies that individuals with higher relative mortality (e.g. lower income) age more slowly and experience greater longevity uncertainty. Ergo, they place higher utility value on the annuity. The impetus for this research today is the increasing evidence on the growing disparity in longevity expectations between rich and poor.


title: Resonant Gold Nanoparticles Achieve Plasmon-Enhanced Pan-Microbial Pathogen Inactivation in the Shockwave Regime

abstract: Pan-microbial inactivation technologies that do not require high temperatures, reactive chemical compounds, or UV radiation could address gaps in current infection control strategies and provide efficient sterilization of biologics in the biotechnological industry. Here, we demonstrate that femtosecond (fs) laser irradiation of resonant gold nanoparticles (NPs) under conditions that allow for E-field mediated cavitation and shockwave generation achieve an efficient plasmon-enhanced photonic microbial pathogen inactivation. We demonstrate that this NP-enhanced, physical inactivation approach is effective against a diverse group of pathogens, including both enveloped and non-enveloped viruses, and a variety of bacteria and mycoplasma. Photonic inactivation is wavelength-dependent and in the absence of plasmonic enhancement from NPs, negligible levels of microbial inactivation are observed in the near-infrared (NIR) at 800 nm. This changes upon addition of resonant plasmonic NPs, which provide a strong enhancement of inactivation of viral and bacterial contaminants. Importantly, the plasmon-enhanced 800 nm femtosecond (fs)-pulse induced inactivation was selective to pathogens. No measurable damage was observed for antibodies included as representative biologics under identical conditions.


title: Super-resolution reconstruction of turbulent flows with machine learning

abstract: We use machine learning to perform super-resolution analysis of grossly under-resolved turbulent flow field data to reconstruct the high-resolution flow field. Two machine-learning models are developed; namely the convolutional neural network (CNN) and the hybrid Downsampled Skip-Connection Multi-Scale (DSC/MS) models. These machine-learning models are applied to two-dimensional cylinder wake as a preliminary test and show remarkable ability to reconstruct laminar flow from low-resolution flow field data. We further assess the performance of these models for two-dimensional homogeneous turbulence. The CNN and DSC/MS models are found to reconstruct turbulent flows from extremely coarse flow field images with remarkable accuracy. For the turbulent flow problem, the machine-leaning based super-resolution analysis can greatly enhance the spatial resolution with as little as 50 training snapshot data, holding great potential to reveal subgrid-scale physics of complex turbulent flows. With the growing availability of flow field data from high-fidelity simulations and experiments, the present approach motivates the development of effective super-resolution models for a variety of fluid flows.


title: Deep Reinforcement Learning for Autonomous Driving

abstract: Reinforcement learning has steadily improved and outperform human in lots of traditional games since the resurgence of deep neural network. However, these success is not easy to be copied to autonomous driving because the state spaces in real world are extreme complex and action spaces are continuous and fine control is required. Moreover, the autonomous driving vehicles must also keep functional safety under the complex environments. To deal with these challenges, we first adopt the deep deterministic policy gradient (DDPG) algorithm, which has the capacity to handle complex state and action spaces in continuous domain. We then choose The Open Racing Car Simulator (TORCS) as our environment to avoid physical damage. Meanwhile, we select a set of appropriate sensor information from TORCS and design our own rewarder. In order to fit DDPG algorithm to TORCS, we design our network architecture for both actor and critic inside DDPG paradigm. To demonstrate the effectiveness of our model, We evaluate on different modes in TORCS and show both quantitative and qualitative results.


title: Selective Control of Surface Spin Current in Topological Materials based on Pyrite-type OsX2 (X = Se, Te) Crystals

abstract: Topological materials host robust surface states, which could form the basis for future electronic devices. As such states have spins that are locked to the momentum, they are of particular interest for spintronic applications. Understanding spin textures of the surface states of topologically nontrivial materials, and being able to manipulate their polarization, is therefore essential if they are to be utilized in future technologies. Here we use first-principles calculations to show that pyrite-type crystals OsX2 (X= Se, Te) are a class of topological material that can host surface states with spin polarization that can be either in-plane or out-of-plane. We show that the formation of low-energy states with symmetry-protected energy- and direction-dependent spin textures on the (001) surface of these materials is a consequence of a transformation from a topologically trivial to nontrivial state, induced by spin orbit interactions. The unconventional spin textures of these surface states feature an in-plane to out-of-plane spin polarization transition in the momentum space protected by local symmetries. Moreover, the surface spin direction and magnitude can be selectively filtered in specific energy ranges. Our demonstration of a new class of topological material with controllable spin textures provide a platform for experimentalists to detect and exploit unconventional surface spin textures in future spin-based nanoelectronic devices.


title: Asynchronous Local Construction of Bounded-Degree Network Topologies Using Only Neighborhood Information

abstract: We consider ad-hoc networks consisting of $n$ wireless nodes that are located on the plane. Any two given nodes are called neighbors if they are located within a certain distance (communication range) from one another. A given node can be directly connected to any one of its neighbors and picks its connections according to a unique topology control algorithm that is available at every node. Given that each node knows only the indices (unique identification numbers) of its one- and two-hop neighbors, we identify an algorithm that preserves connectivity and can operate without the need of any synchronization among nodes. Moreover, the algorithm results in a sparse graph with at most $5n$ edges and a maximum node degree of $10$. Existing algorithms with the same promises further require neighbor distance and/or direction information at each node. We also evaluate the performance of our algorithm for random networks. In this case, our algorithm provides an asymptotically connected network with $n(1+o(1))$ edges with a degree less than or equal to $6$ for $1-o(1)$ fraction of the nodes. We also introduce another asynchronous connectivity-preserving algorithm that can provide an upper bound as well as a lower bound on node degrees.


title: Shortest Path Distance in Manhattan Poisson Line Cox Process

abstract: While the Euclidean distance characteristics of the Poisson line Cox process (PLCP) have been investigated in the literature, the analytical characterization of the path distances is still an open problem. In this paper, we solve this problem for the stationary Manhattan Poisson line Cox process (MPLCP), which is a variant of the PLCP. Specifically, we derive the exact cumulative distribution function (CDF) for the length of the shortest path to the nearest point of the MPLCP in the sense of path distance measured from two reference points: (i) the typical intersection of the Manhattan Poisson line process (MPLP), and (ii) the typical point of the MPLCP. We also discuss the application of these results in infrastructure planning, wireless communication, and transportation networks.


title: Symmetric monoidal categories and $\Gamma$-categories

abstract: In this paper we construct a symmetric monoidal closed model category of coherently commutative monoidal categories. The main aim of this paper is to establish a Quillen equivalence between a model category of coherently commutative monoidal categories and a natural model category of Permutative (or strict symmetric monoidal) categories, $\mathbf{Perm}$, which is not a symmetric monoidal closed model category. The right adjoint of this Quillen equivalence is the classical Segal's Nerve functor.


title: Computational Design of Flexible Electrides with Non-trivial Band Topology

abstract: Electrides, with their excess electrons distributed in crystal cavities playing the role of anions, exhibit a variety of unique electronic and magnetic properties. In this work, we employ the first-principles crystal structure prediction to identify a new prototype of A$_3$B electride in which both interlayer spacings and intralayer vacancies provide channels to accommodate the excess electrons in the crystal. This A$_3$B type of structure is calculated to be thermodynamically stable for two alkaline metals oxides (Rb$_3$O and K$_3$O). Remarkably, the unique feature of multiple types of cavities makes the spatial arrangement of anionic electrons highly flexible via elastic strain engineering and chemical substitution, in contrast to the previously reported electrides characterized by a single topology of interstitial electrons. More importantly, our first-principles calculations reveal that Rb$_3$O is a topological Dirac nodal line semimetal, which is induced by the Rb-$s$ $\rightarrow$ O-$p$ band inversion at the general electronic k momentums in the Brillouin zone associated with the intersitial electric charges. The discovery of flexible electride in combining with topological electronic properties opens an avenue for electride design and shows great promises in electronic device applications.


title: Thermometry based on Coulomb-coupled quantum dots

abstract: A theoretical proposal that Coulomb-coupled quantum dots can be used as quantum probes to determine the temperature of a sample (i.e., an electronic reservoir) is proposed. Through the regulation of the positive or negative voltage bias in the thermometer, we are able to judge whether the temperature of the sample is higher or lower than that of the reference heat reservoir in the measure environment and to determine the precise temperature of the sample by using a particularly simple temperature-voltage bias relationship in the reversible condition. One outstanding characteristic of the thermometer is that when the sample is at low temperatures, a small temperature change will lead to a large voltage bias change. It means that the proposed thermometer has a high sensitivity when low-temperature samples are measured.


title: Effect of magnetic anisotropy on Skyrmions with a high topological number in itinerant magnets

abstract: We report our numerical results for the effect of magnetic anisotropy on a Skyrmion crystal with a high topological number of two, which was recently discovered in an itinerant electron model [R. Ozawa, S. Hayami, and Y. Motome, Phys. Rev. Lett. 118, 147205 (2017)]. By performing numerical simulations based on the kernel polynomial method and the Langevin dynamics for the Kondo lattice model on a triangular lattice, we find that the topological property remains robust against the single-ion anisotropy, while the magnetic texture is deformed continuously. The resultant spin structure is characterized by three wave numbers (triple-$Q$ state), in which the $xy$ component of spins forms a magnetic vortex crystal and the $z$ component of spins behaves a sinusoidal wave. For larger anisotropy, we show that the system exhibits a phase transition from the Skyrmion crystal to topologically trivial phases with vanishing scalar chirality: a single-$Q$ collinear and double-$Q$ noncoplanar states for the easy-axis and easy-plane anisotropy, respectively. We also examine the effect of the single-ion anisotropy in an external magnetic field, and find that the field range of the Skyrmion crystal is rather insensitive to the anisotropy, in contrast to another Skyrmion crystal with the topological number of one whose field range is considerably extended (reduced) by the easy-axis (easy-plane) anisotropy.


title: Challenges in Reconstructing Shapes from Euler Characteristic Curves

abstract: Shape recognition and classification is a problem with a wide variety of applications. Several recent works have demonstrated that topological descriptors can be used as summaries of shapes and utilized to compute distances. In this abstract, we explore the use of a finite number of Euler Characteristic Curves (ECC) to reconstruct plane graphs. We highlight difficulties that occur when attempting to adopt approaches for reconstruction with persistence diagrams to reconstruction with ECCs. Furthermore, we highlight specific arrangements of vertices that create problems for reconstruction and present several observations about how they affect the ECC-based reconstruction. Finally, we show that plane graphs without degree two vertices can be reconstructed using a finite number of ECCs.


title: Inferring the smoothness of the autocorrelation function from that of the initial state

abstract: We point out that by the ``smoothness means fast decay'' principle in Fourier analysis, it is possible to infer the smoothness (or nonsmoothness) of the autocorrelation function from a mere glimpse of the initial state. Specifically, for a generic system with smooth eigenstates, the smoother an initial state is, the faster its decomposition coefficients with respect to the eigenstates of the system decay, and in turn the smoother the autocorrelation function is. The idea is illustrated with three increasingly smooth functions in an infinite square well. By using the Mellin transform, we also find that the nonsmoothness or singularity of the initial state affects the short-time behavior of its autocorrelation function. In particular, a sufficiently nonsmooth or singular initial state could decay in a nonquadratic power law, with the exponent continuously tunable. We now understand the periodic cusps of the autocorrelation function in the quench dynamics of a Bloch state, which was observed previously [Zhang and Yang, EPL 114, 60001 (2016)].


title: Statistical Robust Chinese Remainder Theorem for Multiple Numbers: Wrapped Gaussian Mixture Model

abstract: Generalized Chinese Remainder Theorem (CRT) has been shown to be a powerful approach to solve the ambiguity resolution problem. However, with its close relationship to number theory, study in this area is mainly from a coding theory perspective under deterministic conditions. Nevertheless, it can be proved that even with the best deterministic condition known, the probability of success in robust reconstruction degrades exponentially as the number of estimand increases. In this paper, we present the first rigorous analysis on the underlying statistical model of CRT-based multiple parameter estimation, where a generalized Gaussian mixture with background knowledge on samplings is proposed. To address the problem, two novel approaches are introduced. One is to directly calculate the conditional maximal a posteriori probability (MAP) estimation of residue clustering, and the other is to iteratively search for MAP of both common residues and clustering. Moreover, remainder error-correcting codes are introduced to improve the robustness further. It is shown that this statistically based scheme achieves much stronger robustness compared to state-of-the-art deterministic schemes, especially in low and median Signal Noise Ratio (SNR) scenarios.


title: Investigation of effective thermoelectric properties of composite with interfacial resistance using micromechanics-based homogenisation

abstract: We obtained the analytical expression for the effective thermoelectric properties and dimensionless figure of merit of a composite with interfacial electrical and thermal resistances using a micromechanics-based homogenisation. For the first time, we derived the Eshelby tensor for a spherical inclusion as a function of the interfacial resistances and obtained the solutions of the effective Seebeck coefficient and the electrical and thermal conductivities of a composite, which were validated against finite-element analysis (FEA). Our analytical predictions well match the effective properties obtained from FEA with an inclusion volume fraction up to 15%. Because the effective properties were derived with the assumption of a small temperature difference, we discuss a heuristic method for obtaining the effective properties in the case where a thermoelectric composite is subjected to a large temperature difference.


title: Both cellular ATP level and ATP hydrolysis free energy determine energetically the calcium oscillation in pancreatic $\beta$-cell

abstract: In pancreatic $\beta$-cells, calcium oscillation signal is the core part of glucose-stimulated insulin secretion. Intracellular calcium concentration oscillates in response to the intake of glucose, which triggers the exocytosis of insulin secretory granules. ATP plays a crucial part in this process. ATP increases as the result of glucose intake, then ATP binds to ATP-sensitive $K^+$ channels ($K_{ATP}$), depolarizes the cell and triggers calcium oscillation, while the ion pumps on the cell membrane consumes the free energy form ATP hydrolysis. Based on Betram et. al. 2004 model, we construct a kinetic models to analyze the thermodynamic characteristics of this system, to reveal how the ATP hydrolysis free energy affects the calcium oscillation. Our results suggest that bifurcation point is sensitive to both the free energy level and cellular ATP level, and the insufficient ATP energy supply would cause dysfunction of calcium oscillation.


title: On class A Lorentzian 2-tori with poles II: Foliations by timelike lines

abstract: We show that if $(\mathbb{T}^{2},g)$ is a class A Lorentzian 2-torus with timelike poles, then there exists a Lipschitz foliation by complete future-directed timelike geodesics with any pre-assigned asymptotic direction in the interior of the stable time cone. This is done by constructing certain $C^{1,1}$ solutions to the equation $g(\nabla u,\nabla u)=-1$ on the Abelian cover $(\mathbb{R}^{2},g)$.


title: Finding a Nonnegative Solution to an M-Tensor Equation

abstract: We are concerned with the tensor equation with an M-tensor or Z-tensor, which we call the M- tensor equation or Z-tensor equation respectively. We derive a necessary and sufficient condition for a Z (or M)-tensor equation to have nonnegative solutions. We then develop a monotone iterative method to find a nonnegative solution to an M-tensor equation. The method can be regarded as an approximation to Newton's method for solving the equation. At each iteration, we solve a system of linear equations. An advantage of the proposed method is that the coefficient matrices of the linear systems are independent of the iteration. We show that if the initial point is appropriately chosen, then the sequence of iterates generated by the method converges to a nonnegative solution of the M- tensor equation monotonically and linearly. At last, we do numerical experiments to test the proposed methods. The results show the efficiency of the proposed methods.


title: Constructions of involutions over finite fields

abstract: An involution over finite fields is a permutation polynomial whose inverse is itself. Owing to this property, involutions over finite fields have been widely used in applications such as cryptography and coding theory. As far as we know, there are not many involutions, and there isn't a general way to construct involutions over finite fields. This paper gives a necessary and sufficient condition for the polynomials of the form $x^rh(x^s)\in \bF_q[x]$ to be involutions over the finite field~$\bF_q$, where $r\geq 1$ and $s\,|\, (q-1)$. By using this criterion we propose a general method to construct involutions of the form $x^rh(x^s)$ over $\bF_q$ from given involutions over the corresponding subgroup of $\bF_q^*$. Then, many classes of explicit involutions of the form $x^rh(x^s)$ over $\bF_q$ are obtained.


title: Two-Dimensional (2D) Particle Swarms for Structure Selection of Nonlinear Systems

abstract: The present study proposes a new structure selection approach for non-linear system identification based on Two-Dimensional particle swarms (2D-UPSO). The 2D learning framework essentially extends the learning dimension of the conventional particle swarms and explicitly incorporates the information about the cardinality, i.e., number of terms, into the search process. This property of the 2D-UPSO has been exploited to determine the correct structure of the non-linear systems. The efficacy of the proposed approach is demonstrated by considering several simulated benchmark nonlinear systems in discrete and in continuous domain. In addition, the proposed approach is applied to identify a parsimonious structure from practical non-linear wave-force data. The results of the comparative investigation with Genetic Algorithm (GA), Binary Particle Swarm Optimization (BPSO) and the classical Orthogonal Forward Regression (OFR) methods illustrate that the proposed 2D-UPSO could successfully detect the correct structure of the non-linear systems.


title: Semiclassical scarring on tori in KAM Hamiltonian systems

abstract: We show that for almost all perturbations in a one-parameter family of KAM Hamiltonians on a smooth compact surface, for almost all KAM Lagrangian tori $\Lambda_\omega$, we can find a semiclassical measure with positive mass on $\Lambda_\omega$.


title: Effective Ways to Build and Evaluate Individual Survival Distributions

abstract: An accurate model of a patient's individual survival distribution can help determine the appropriate treatment for terminal patients. Unfortunately, risk scores (e.g., from Cox Proportional Hazard models) do not provide survival probabilities, single-time probability models (e.g., the Gail model, predicting 5 year probability) only provide for a single time point, and standard Kaplan-Meier survival curves provide only population averages for a large class of patients meaning they are not specific to individual patients. This motivates an alternative class of tools that can learn a model which provides an individual survival distribution which gives survival probabilities across all times - such as extensions to the Cox model, Accelerated Failure Time, an extension to Random Survival Forests, and Multi-Task Logistic Regression. This paper first motivates such "individual survival distribution" (ISD) models, and explains how they differ from standard models. It then discusses ways to evaluate such models - namely Concordance, 1-Calibration, Brier score, and various versions of L1-loss - and then motivates and defines a novel approach "D-Calibration", which determines whether a model's probability estimates are meaningful. We also discuss how these measures differ, and use them to evaluate several ISD prediction tools, over a range of survival datasets.


title: A modified Riccati approach to analytic interpolation with applications to system identification and robust control

abstract: This paper provides a new method to solve analytic interpolation problems with rationality and derivative constraints, occurring in many applications to system and control. It is based on the covariance extension equation previously proposed by Byrnes and Lindquist in a different context. A complete solution for the scalar problem is provided, and a homotopy continuation method is presented and applied to some problems in modeling and robust control. Some numerical examples illustrate robustness and efficiency of the proposed procedure.


title: Study of the decay $D^0\rightarrow \bar{K}^0\pi^-e^+\nu_e$

abstract: We report a study of the decay $D^0 \rightarrow \bar{K}^0\pi^-e^+\nu_{e}$ based on a sample of $2.93~\mathrm{fb}^{-1}$ $e^+e^-$ annihilation data collected at the center-of-mass energy of 3.773~GeV with the BESIII detector at the BEPCII collider. The total branching fraction is determined to be $\mathcal{B}(D^0\rightarrow \bar{K}^0\pi^-e^+\nu_{e})=(1.434\pm0.029({\rm stat.})\pm0.032({\rm syst.}))\%$, which is the most precise to date. According to a detailed analysis of the involved dynamics, we find this decay is dominated with the $K^{*}(892)^-$ contribution and present an improved measurement of its branching fraction to be $\mathcal{B}(D^0\rightarrow K^{*}(892)^-e^+\nu_e)=(2.033\pm0.046({\rm stat.})\pm0.047({\rm syst.}))\%$. We further access their hadronic form-factor ratios for the first time as $r_{V}=V(0)/A_1(0)=1.46\pm0.07({\rm stat.})\pm0.02({\rm syst.})$ and $r_{2}=A_2(0)/A_1(0)=0.67\pm0.06({\rm stat.})\pm0.01({\rm syst.})$. In addition, we observe a significant $\bar{K}^0\pi^-$ $S$-wave component accounting for $(5.51\pm0.97({\rm stat.})\pm0.62({\rm syst.}))\%$ of the total decay rate.


title: Concentration Behavior of Nonlinear Hartree-type Equation with almost Mass Critical Exponent

abstract: We study the following nonlinear Hartree-type equation \begin{equation*} -\Delta u+V(x)u-a(\frac{1}{|x|^\gamma}\ast |u|^2)u=\lambda u,~\text{in}~\mathbb{R}^N, \end{equation*} where $a>0$, $N\geq3$, $\gamma\in(0,2)$ and $V(x)$ is an external potential. We first study the asymptotic behavior of the ground state of equation for $V(x)\equiv1$, $a=1$ and $\lambda=0$ as $\gamma\nearrow2$. Then we consider the case of some trapping potential $V(x)$, and show that all the mass of ground states concentrate at a global minimum point of $V(x)$ as $\gamma\nearrow2$, which leads to symmetry breaking. Moreover, the concentration rate for maximum points of ground states will be given.


title: Subdwarf B stars as possible surviving companions in Type Ia supernova remnants

abstract: Although type Ia supernovae (SNe Ia) are so important in many astrophysical fields, a debate on their progenitor model is still endless. Searching the surviving companion in a supernova remnant (SNR) may distinguish different progenitor models, since a companion still exists in the remnant for the single-degenerate (SD) model, but does not for the double degenerate (DD) model. However, some recent surveys do not discover the surviving companions in the remnant of SN 1006 and Kepler's supernova, which seems to disfavor the SD model. Such a result could be derived from an incorrect survey target. Here, based on the common-envelope wind SD model for SNe Ia, in which the initial binary system consists of a white dwarf (WD) and a main-sequence (MS) star, we found that the companion at the moment of supernova explosion may be a MS, red-giant (RG) or subdwarf B (sdB) star if a spin-down timescale of less than $10^{\rm 7}$ yr is assumed. We show the properties of the companions at the moment of supernova explosion, which are key clues to search the surviving companions in SNRs. Here, we suggest that the sdB star may be the surviving companion in some SNRs, even if the progenitor systems are the WD + MS systems. The SNe Ia with the sdB companions may contribute to all SNe Ia as much as 22\%.


title: Helicity Amplitude Analysis of $J/\psi$ and $\psi(2S)\rightarrow\Xi(1530)\bar{\Xi}(1530)$

abstract: We perform a helicity amplitude analysis for the processes of $e^+e^-$$\rightarrow$$J/\psi,\psi(2S)\rightarrow\Xi(1530)\bar\Xi(1530)\rightarrow\pi\pi\Xi\bar\Xi\rightarrow\Lambda\bar\Lambda4\pi\rightarrow p\bar{p}6\pi$. The joint angular distribution for these processes are obtained, which allows a proper estimation of the detection efficiency using helicity amplitude information. In addition, the sensitivities of measurement of hyperon asymmetry decay parameters for these processes are discussed.


title: Multi-label classification search space in the MEKA software

abstract: This supplementary material aims to describe the proposed multi-label classification (MLC) search spaces based on the MEKA and WEKA softwares. First, we overview 26 MLC algorithms and meta-algorithms in MEKA, presenting their main characteristics, such as hyper-parameters, dependencies and constraints. Second, we review 28 single-label classification (SLC) algorithms, preprocessing algorithms and meta-algorithms in the WEKA software. These SLC algorithms were also studied because they are part of the proposed MLC search spaces. Fundamentally, this occurs due to the problem transformation nature of several MLC algorithms used in this work. These algorithms transform an MLC problem into one or several SLC problems in the first place and solve them with SLC model(s) in a next step. Therefore, understanding their main characteristics is crucial to this work. Finally, we present a formal description of the search spaces by proposing a context-free grammar that encompasses the 54 learning algorithms. This grammar basically comprehends the possible combinations, the constraints and dependencies among the learning algorithms.


title: A quantum point contact as a (near) perfect spin polariser

abstract: In this paper, I present a simple method of obtaining spin-polarised current from a QPC with a large Rashba interaction. The origin of this spin polarisation is the adiabatic evolution of spin "up" of the first QPC sub-band, into spin "down" of the second QPC sub-band. Unique experimental signatures of this effect can be obtained using a magnetic focusing setup, with the characteristic "double" peak of spin-split magnetic focusing only present for conductances $G>2e^2/h$. These particular magnetic focusing features are present in recently publish experimental results. Finally, I consider hole QPCs, where due to the particular kinematic structure of the Rashba interaction, the required parameters are much less favourable for experimental realisation.


title: Validity of Landauer principle and quantum memory effects via collision models

abstract: We study the validity of Landauer principle in the non-Markovian regime by means of collision models where the intracollisions inside the reservoir cause memory effects generating system-environment correlations. We adopt the system-environment correlations created during the dynamical process to assess the effect of non-Markovianity on the Landauer principle. Exploiting an exact equality for the entropy change of the system, we find the condition for the violation of the Landauer principle, which occurs when the established system-environment correlations become larger than the entropy production of the system. We then generalize the study to the non-equilibrium situation where the system is surrounded by many reservoirs at different temperatures.Our results, verified through collision models with Heisenberg-type interactions, suggest that the complexity of the environment does not play a significant role in the qualitative mechanisms underlying the violation of the Landauer principle under non-Markovian processes.


title: Robust neural circuit reconstruction from serial electron microscopy with convolutional recurrent networks

abstract: Recent successes in deep learning have started to impact neuroscience. Of particular significance are claims that current segmentation algorithms achieve "super-human" accuracy in an area known as connectomics. However, as we will show, these algorithms do not effectively generalize beyond the particular source and brain tissues used for training -- severely limiting their usability by the broader neuroscience community. To fill this gap, we describe a novel connectomics challenge for source- and tissue-agnostic reconstruction of neurons (STAR), which favors broad generalization over fitting specific datasets. We first demonstrate that current state-of-the-art approaches to neuron segmentation perform poorly on the challenge. We further describe a novel convolutional recurrent neural network module that combines short-range horizontal connections within a processing stage and long-range top-down connections between stages. The resulting architecture establishes the state of the art on the STAR challenge and represents a significant step towards widely usable and fully-automated connectomics analysis.


title: Metropolis-Hastings Generative Adversarial Networks

abstract: We introduce the Metropolis-Hastings generative adversarial network (MH-GAN), which combines aspects of Markov chain Monte Carlo and GANs. The MH-GAN draws samples from the distribution implicitly defined by a GAN's discriminator-generator pair, as opposed to standard GANs which draw samples from the distribution defined only by the generator. It uses the discriminator from GAN training to build a wrapper around the generator for improved sampling. With a perfect discriminator, this wrapped generator samples from the true distribution on the data exactly even when the generator is imperfect. We demonstrate the benefits of the improved generator on multiple benchmark datasets, including CIFAR-10 and CelebA, using the DCGAN, WGAN, and progressive GAN.


title: Future Segmentation Using 3D Structure

abstract: Predicting the future to anticipate the outcome of events and actions is a critical attribute of autonomous agents; particularly for agents which must rely heavily on real time visual data for decision making. Working towards this capability, we address the task of predicting future frame segmentation from a stream of monocular video by leveraging the 3D structure of the scene. Our framework is based on learnable sub-modules capable of predicting pixel-wise scene semantic labels, depth, and camera ego-motion of adjacent frames. We further propose a recurrent neural network based model capable of predicting future ego-motion trajectory as a function of a series of past ego-motion steps. Ultimately, we observe that leveraging 3D structure in the model facilitates successful prediction, achieving state of the art accuracy in future semantic segmentation.


title: Unsupervised Control Through Non-Parametric Discriminative Rewards

abstract: Learning to control an environment without hand-crafted rewards or expert data remains challenging and is at the frontier of reinforcement learning research. We present an unsupervised learning algorithm to train agents to achieve perceptually-specified goals using only a stream of observations and actions. Our agent simultaneously learns a goal-conditioned policy and a goal achievement reward function that measures how similar a state is to the goal state. This dual optimization leads to a co-operative game, giving rise to a learned reward function that reflects similarity in controllable aspects of the environment instead of distance in the space of observations. We demonstrate the efficacy of our agent to learn, in an unsupervised manner, to reach a diverse set of goals on three domains -- Atari, the DeepMind Control Suite and DeepMind Lab.


title: Stochastic orders for convolution of heterogeneous gamma and negative binomial random variables

abstract: Convolutions of independent random variables often arise in a natural way in many applied problems. In this article, we compare convolutions of two sets of gamma (negative binomial) random variables in the convolution order and the usual stochastic order in a unified set-up, when the shape and scale parameters satisfy a partial order called reverse-coupled majorization order. This partial order is an extension of the majorization order from vectors to pairs of vectors which also incorporates the arrangement information. The results established in this article strengthen those known in the literature.


title: Discrete and Ultradiscrete Periodic Phase Soliton Equations

abstract: We propose new type of discrete and ultradiscrete soliton equations, which admit extended soliton solution called periodic phase soliton solution. The discrete equation is derived from the discrete DKP equation and the ultradiscrete one is obtained by applying the ultradiscrete limit. The soliton solutions have internal freedom and change their shape periodically during propagation. In particular, the ultradiscrete solution reduces into the solution to the ultradiscrete hungry Lotka-Volterra equation in a special case.


title: La espiral \'aurea, su longitud y rect\'angulos \'aureos

abstract: In this article we calculate the length of the golden spiral, and we study the golden rectangles. We calculate some measures of interest. We also show that the only rectangles that can be subdivided or that generate sub rectangles indefinitely are the golden rectangles. We emphasize that when subdividing a rectangle into sub rectangles, the Fibonacci sequence naturally appears. In addition, we identify the rectangles that resemble the golden rectangles.


title: Imaging observations of chromospheric evaporation in a circular-ribbon flare

abstract: In this paper, we report our multiwavelength imaging observations of chromospheric evaporation in a C5.5 circular-ribbon flare (CRF) on 2014 August 24. The flare was observed by the Atmospheric Imaging Assembly (AIA) on board the \textit{Solar Dynamics Observatory} (\textit{SDO}), X-ray Telescope (XRT) on board the \textit{Hinode} spacecraft, and ground-based Nobeyama Radioheliograph (NoRH). The CRF consisted of a discrete circular ribbon with a diameter of $\sim$1$\arcmin$ and a short inner ribbon observed in ultraviolet (UV), extreme-ultraviolet (EUV), soft X-ray (SXR), and especially in 17 GHz. The peak time ($\sim$04:58 UT) of the flare in 17 GHz coincided with that in UV 1600 {\AA} and SXR derivative as a hard X-ray proxy, implying the peak time of impulsive energy deposition in the lower atmosphere. Shortly after the peak time, converging motion and filling process in the flare loop were revealed in AIA 131 {\AA} and two XRT filters (Be\_thin and Be\_med), which are clear evidence for chromospheric evaporation upflows. The chromospheric evaporation lasted for $\sim$6 minutes until $\sim$05:04 UT. The temperature, density, and apparent velocities of the upflows are $\sim$10$^7$ K, $\sim$1.8$\times$10$^{10}$ cm$^{-3}$, and 50$-$630 km s$^{-1}$ with a mean value of $\sim$170 km s$^{-1}$. By comparison with previous models, we are able to estimate that energies above 5$\times$10$^{10}$ erg cm$^{-2}$ s$^{-1}$ are likely needed to explain the observational results. Since heating by thermal conduction does not seem to provide enough energy, alternative mechanisms such as nonthermal electrons or Alfv\'{e}nic waves might need to be invoked.


title: Tidal Love Numbers of Black Holes and Neutron Stars in the Presence of Higher Dimensions: Implications of GW170817

abstract: We calculate the tidal Love numbers of black holes and neutron stars in the presence of higher dimensions. The perturbation equations around an arbitrary static and spherically symmetric metric for the even parity modes are presented in the context of an effective four-dimensional theory on the brane. This subsequently leads to the sought expression for the tidal Love number for black holes in the presence of extra spatial dimensions. Surprisingly, these numbers are non-zero and, more importantly, negative. We extend our method to determine the tidal Love number of neutron stars in a spacetime inheriting extra dimensions and show that, in the context of effective gravitational theory on the brane, they are smaller than in general relativity. Finally we have explicitly demonstrated that earlier constraints on the parameters inherited from higher dimensions are consistent with the bound on the tidal deformability parameter from the GW170817 event as well.


title: Unsupervised Multi-modal Neural Machine Translation

abstract: Unsupervised neural machine translation (UNMT) has recently achieved remarkable results with only large monolingual corpora in each language. However, the uncertainty of associating target with source sentences makes UNMT theoretically an ill-posed problem. This work investigates the possibility of utilizing images for disambiguation to improve the performance of UNMT. Our assumption is intuitively based on the invariant property of image, i.e., the description of the same visual content by different languages should be approximately similar. We propose an unsupervised multi-modal machine translation (UMNMT) framework based on the language translation cycle consistency loss conditional on the image, targeting to learn the bidirectional multi-modal translation simultaneously. Through an alternate training between multi-modal and uni-modal, our inference model can translate with or without the image. On the widely used Multi30K dataset, the experimental results of our approach are significantly better than those of the text-only UNMT on the 2016 test dataset.


title: Restrictions on the existence of a canonical system flow hierarchy

abstract: The KdV hierarchy is a family of evolutions on a Schr\"odinger operator that preserves its spectrum. Canonical systems are a generalization of Schr\"odinger operators, that nevertheless share many features with Schr\"odinger operators. Since this is a very natural generalization, one would expect that it would also be straightforward to build a hierarchy of isospectral evolutions on canonical systems analogous to the KdV hierarchy. Surprisingly, we show that there are many obstructions to constructing a hierarchy of flows on canonical systems that obeys the standard assumptions of the KdV hierarchy. This suggests that we need a more sophisticated approach to develop such a hierarchy, if it is indeed possible to do so.


title: Duality Web on a 3D Euclidean Lattice and Manifestation of Hidden Symmetries

abstract: We generalize our previous lattice construction of the abelian bosonization duality in $2+1$ dimensions to the entire web of dualities as well as the $N_f=2$ self-duality, via the lattice implementation of a set of modular transformations in the theory space. The microscopic construction provides explicit operator mappings, and allows the manifestation of some hidden symmetries. It also exposes certain caveats and implicit assumptions beneath the usual application of the modular transformations to generate the web of dualities. Finally, we make brief comments on the non-relativistic limit of the dualities.