title: Multi-d Isothermal Euler Flow: Existence of unbounded radial similarity solutions

abstract: We show that the multi-dimensional compressible Euler system for isothermal flow of an ideal, polytropic gas admits global-in-time, radially symmetric solutions with unbounded amplitudes due to wave focusing. The examples are similarity solutions and involve a converging wave focusing at the origin. At time of collapse, the density, but not the velocity, becomes unbounded, resulting in an expanding shock wave. The solutions are constructed as functions of radial distance to the origin $r$ and time $t$. We verify that they provide genuine, weak solutions to the original, multi-d, isothermal Euler system. While motivated by the well-known Guderley solutions to the full Euler system for an ideal gas, the solutions we consider are of a different type. In Guderley solutions an incoming shock propagates toward the origin by penetrating a stationary and "cold" gas at zero pressure (there is no counter pressure due to vanishing temperature near the origin), accompanied by blowup of velocity and pressure, but not of density, at collapse. It is currently not known whether the full system admits unbounded solutions in the absence of zero-pressure regions. The present work shows that the simplified isothermal model does admit such behavior.


title: A type theory for cartesian closed bicategories

abstract: We construct an internal language for cartesian closed bicategories. Precisely, we introduce a type theory modelling the structure of a cartesian closed bicategory and show that its syntactic model satisfies an appropriate universal property, thereby lifting the Curry-Howard-Lambek correspondence to the bicategorical setting. Our approach is principled and practical. Weak substitution structure is constructed using a bicategorification of the notion of abstract clone from universal algebra, and the rules for products and exponentials are synthesised from semantic considerations. The result is a type theory that employs a novel combination of 2-dimensional type theory and explicit substitution, and directly generalises the Simply-Typed Lambda Calculus. This work is the first step in a programme aimed at proving coherence for cartesian closed bicategories.


title: HAKE: Human Activity Knowledge Engine

abstract: Human activity understanding is crucial for building automatic intelligent system. With the help of deep learning, activity understanding has made huge progress recently. But some challenges such as imbalanced data distribution, action ambiguity, complex visual patterns still remain. To address these and promote the activity understanding, we build a large-scale Human Activity Knowledge Engine (HAKE) based on the human body part states. Upon existing activity datasets, we annotate the part states of all the active persons in all images, thus establish the relationship between instance activity and body part states. Furthermore, we propose a HAKE based part state recognition model with a knowledge extractor named Activity2Vec and a corresponding part state based reasoning network. With HAKE, our method can alleviate the learning difficulty brought by the long-tail data distribution, and bring in interpretability. Now our HAKE has more than 7 M+ part state annotations and is still under construction. We first validate our approach on a part of HAKE in this preliminary paper, where we show 7.2 mAP performance improvement on Human-Object Interaction recognition, and 12.38 mAP improvement on the one-shot subsets.


title: Giant Interfacial Thermal Resistance Arising From Materials With Mismatched Phonon Structures

abstract: Previous researches only reported very small interfacial thermal resistances at room temperature due to limitations in sample combinations and methods. Taking cognizance of the importance of mismatched phonon structures, we report values up to $2*10^{-4}W^{-1}m^{2}K$, thousand times larger than highest values reported to date. This enables substantial tuning of the thermal conductivity in composites, and does not constrain other characteristics. Our findings inspire new design strategies, for heat control in integrated circuits and thermoelectric composites, that harness thermal transport at interfaces.


title: Murchison Widefield Array and XMM-Newton observations of the Galactic supernova remnant G5.9+3.1

abstract: In this paper we discuss the radio continuum and X-ray properties of the so-far poorly studied Galactic supernova remnant (SNR) G5.9+3.1. We present the radio spectral energy distribution (SED) of the Galactic SNR G5.9+3.1 obtained with the Murchison Widefield Array (MWA). Combining these new observations with the surveys at other radio continuum frequencies, we discuss the integrated radio continuum spectrum of this particular remnant. We have also analyzed an archival XMM-Newton observation, which represents the first detection of X-ray emission from this remnant. The SNR SED is very well explained by a simple power-law relation. The synchrotron radio spectral index of G5.9+3.1, is estimated to be 0.42$\pm$0.03 and the integrated flux density at 1GHz to be around 2.7Jy. Furthermore, we propose that the identified point radio source, located centrally inside the SNR shell, is most probably a compact remnant of the supernova explosion. The shell-like X-ray morphology of G5.9+3.1 as revealed by XMM-Newton broadly matches the spatial distribution of the radio emission, where the radio-bright eastern and western rims are also readily detected in the X-ray while the radio-weak northern and southern rims are weak or absent in the X-ray. Extracted MOS1+MOS2+PN spectra from the whole SNR as well as the north, east, and west rims of the SNR are fit successfully with an optically thin thermal plasma model in collisional ionization equilibrium with a column density N_H~0.80x$10^{22}$ cm$^{-2}$ and fitted temperatures spanning the range kT~0.14-0.23keV for all of the regions. The derived electron number densities n_e for the whole SNR and the rims are also roughly comparable (ranging from ~$0.20f^{-1/2}$ cm$^{-3}$ to ~$0.40f^{-1/2}$ cm$^{-3}$, where f is the volume filling factor). We also estimate the swept-up mass of the X-ray emitting plasma associated with G5.9+3.1 to be ~$46f^{-1/2}M_{\odot}$.


title: Quantum Point Contact Parameter Extraction of Carbon-based Resistive Memory using Hybrid Genetic Algorithm

abstract: Resistive switching phenomenon in carbon film is associated with formation and annihilation of low resistance sp2 nanochannels within the amorphous sp3 matrix. The thinnest point of these graphitic nanochannels behaves like quantum wire (QW) and limits current flow. Transport mechanism at these bottlenecks can be described within the framework of quantum point contact (QPC) model. The model applies mesoscopic Landauer formalism and correlates device resistance state with the density of the nanochannels as well as lateral area of its constriction. However, QPC model parameter extraction from macroscopic I-V characteristic is not feasible due to multiple nonlinear and closely coupled parameters, e.g. barrier height ({\Phi}), barrier curvature ({\alpha}) and voltage drop ratio (\b{eta}). In this work, a hybrid genetic algorithm (GA) based parameter extraction flow is proposed and is applied to extract parameters from experimental result of carbon-based resistive memories. In this proposed flow, the number of single subband channels for low resistance state (NLRS) and barrier curvature parameter at high resistance state ({\alpha}HRS) were first derived by exploring boundary conditions at low voltage. The four remaining parameters ({\Phi}HRS, {\Phi}LRS, {\alpha}LRS, and \b{eta}) were then extracted from experimental I-V characteristic by leveraging hybrid GA. Mean absolute percentage error (MAPE) of fitted QPC models is only 3.7% and the extracted parameters are within reasonable range. Hereby, we regard the QPC model as a viable model to describe conduction mechanism of graphitic nanochannels in carbon-based resistive memories.


title: Online Bin Covering with Limited Migration

abstract: Semi-online models where decisions may be revoked in a limited way have been studied extensively in the last years. This is motivated by the fact that the pure online model is often too restrictive to model real-world applications, where some changes might be allowed. A well-studied measure of the amount of decisions that can be revoked is the migration factor $\beta$: When an object $o$ of size $s(o)$ arrives, the decisions for objects of total size at most $\beta\cdot s(o)$ may be revoked. Usually $\beta$ should be a constant. This means that a small object only leads to small changes. This measure has been successfully investigated for different, classic problems such as bin packing or makespan minimization. The dual of makespan minimization - the Santa Claus or machine covering problem - has also been studied, whereas the dual of bin packing - the bin covering problem - has not been looked at from such a perspective. In this work, we extensively study the bin covering problem with migration in different scenarios. We develop algorithms both for the static case - where only insertions are allowed - and for the dynamic case, where items may also depart. We also develop lower bounds for these scenarios both for amortized migration and for worst-case migration showing that our algorithms have nearly optimal migration factor and asymptotic competitive ratio (up to an arbitrary small $\eps$). We therefore resolve the competitiveness of the bin covering problem with migration.


title: Spectroscopic orbits of nearby stars

abstract: We observed stars with variable radial velocities to determine their spectroscopic orbits. Velocities of 132 targets taken over a time span reaching 30 years are presented. They were measured with the correlation radial velocity spectrometers (1913 velocities) and the new VUES echelle spectrograph (632 velocities), with typical accuracy of 0.5 and 0.2 km/s, respectively. We derived spectroscopic orbits of 57 stars (including 53 first-time orbits), mostly nearby dwarfs of spectral types K and M. Their periods range from 2.2 days to 14 years, some of those are Hipparcos astrometric binaries. Comments on individual objects are provided. Many stars belong to hierarchical systems containing three or more components, including 20 new hierarchies resulting from this project. The preliminary orbit of the young star HIP~47110B has a large eccentricity e=0.47 despite short period of 4.4 d; it could be still circularizing. Our results enrich the data on nearby stars and contribute to a better definition of the multiplicity statistics.


title: Groups with few $p'$-character degrees

abstract: We prove a variation of Thompson's Theorem. Namely, if the first column of the character table of a finite group $G$ contains only two distinct values not divisible by a given prime number $p>3$, then $O^{pp'pp'}(G)=1$. This is done by using the classification of finite simple groups.


title: Self-Paced Probabilistic Principal Component Analysis for Data with Outliers

abstract: Principal Component Analysis (PCA) is a popular tool for dimensionality reduction and feature extraction in data analysis. There is a probabilistic version of PCA, known as Probabilistic PCA (PPCA). However, standard PCA and PPCA are not robust, as they are sensitive to outliers. To alleviate this problem, this paper introduces the Self-Paced Learning mechanism into PPCA, and proposes a novel method called Self-Paced Probabilistic Principal Component Analysis (SP-PPCA). Furthermore, we design the corresponding optimization algorithm based on the alternative search strategy and the expectation-maximization algorithm. SP-PPCA looks for optimal projection vectors and filters out outliers iteratively. Experiments on both synthetic problems and real-world datasets clearly demonstrate that SP-PPCA is able to reduce or eliminate the impact of outliers.


title: Entrainment to Subharmonic Trajectories in Oscillatory Discrete-Time Systems

abstract: A matrix $A$ is called totally positive (TP) if all its minors are positive, and totally nonnegative (TN) if all its minors are nonnegative. A square matrix $A$ is called oscillatory if it is TN and some power of $A$ is TP. A linear time-varying system is called an oscillatory discrete-time system (ODTS) if the matrix defining its evolution at each time $k$ is oscillatory. We analyze the properties of $n$-dimensional time-varying nonlinear discrete-time systems whose variational system is an ODTS, and show that they have a well-ordered behavior. More precisely, if the nonlinear system is time-varying and $T$-periodic then any trajectory either leaves any compact set or converges to an $(n-1)T$-periodic trajectory, that is, a subharmonic trajectory. These results hold for any dimension $n$. The analysis of such systems requires establishing that a line integral of the Jacobian of the nonlinear system is an oscillatory matrix. This is non-trivial, as the sum of two oscillatory matrices is not necessarily oscillatory, and this carries over to integrals. We derive several new sufficient conditions guaranteeing that the line integral of a matrix is oscillatory, and demonstrate how this yields interesting classes of discrete-time nonlinear systems that admit a well-ordered behavior.


title: Research and development in cylindrical triple-GEM detector with $\mu$TPC readout for the BESIII experiment

abstract: The third generation of the Beijing Electron Spectrometer, BESIII, is an apparatus for high energy physics research. The hunting of new particles and the measurement of their properties or the research of rare processes are sought to understand if the measurements confirm the Standard Model and to look for physics beyond it. The detectors ensure the reconstruction of events belonging to the sub-atomic domain. The operation and the efficiency of the BESIII inner tracker is compromised due to the the radiation level of the apparatus. A new detector is needed to guarantee better performance and to improve the physics research. A cylindrical triple-GEM detector (CGEM) is an answer to this need: it will maintain the excellent performance of the inner tracker while improving the spatial resolution in the beam direction allowing a better reconstruction of secondary vertices. The technological challenge of the CGEM is related in its spatial limitation and the needed cylindrical shape. At the same time the detector has to ensure an efficiency close to 1 and a stable spatial resolution better than 150 $\mu$m, independently from the track incident angle and the presence of 1 T magnetic field. In the years 2014-2018 the CGEM-IT has been designed and built. Through several test beam and simulations the optimal configuration from the geometrical and electrical points of view has been found. This allows to measure the position of the charged particle interacting with the CGEM-IT. Two algorithms have been used for this purpose, the charge centroid and the $\mu$TPC, a new technique introduced by ATLAS in MicroMegas and developed here for the first time for triple-GEM detector. A complete triple-GEM simulation software has been developed to improve the knowledge of the detection processes. The software reproduces the CGEM-IT behavior in the BESIII offline software.


title: Structural Evolution of Granular Systems: Theory

abstract: A general theory is developed for the evolution of the cell order (CO) distribution in planar granular systems. Dynamic equations are constructed and solved in closed form for several examples: systems under compression; dilation of very dense systems; and the general approach to steady state. We find that all the steady states are stable and that they satisfy detailed balance-like condition when the CO$\,\leq 6$. Illustrative numerical solutions of the evolution are shown. Our theoretical results are validated against an extensive simulation of a sheared system. The formalism can be readily extended to other structural characteristics, paving the way to a general theory of structural organisation of granular systems.


title: Compact operators under Orlicz functions

abstract: In this paper, the definition of noncommutative Orlicz sequence spaces is given, these spaces generalize the Schatten classes Sp(H). After some relations of trace and norm on this spaces have been researched, one give the criterion of reflexivity of these spaces. At last, as an application, we find the Toeplitz operator on the Bergman space belongs to some noncommutative Orlicz sequence spaces, hence the trace and the norm of operator could be computed.


title: A partial knowledge of friends of friends speeds social search

abstract: Milgram empirically showed that people knowing only connections to their friends could locate any person in the U.S. in a few steps. Later research showed that social network topology enables a node aware of its full routing to find an arbitrary target in even fewer steps. Yet, the success of people in forwarding efficiently knowing only personal connections is still not fully explained. To study this problem, we emulate it on a real location-based social network, Gowalla. It provides explicit information about friends and temporal locations of each user useful for studies of human mobility. Here, we use it to conduct a massive computational experiment to establish new necessary and sufficient conditions for achieving social search efficiency. The results demonstrate that only the distribution of friendship edges and the partial knowledge of friends of friends are essential and sufficient for the efficiency of social search. Surprisingly, the efficiency of the search using the original distribution of friendship edges is not dependent on how the nodes are distributed into space. Moreover, the effect of using a limited knowledge that each node possesses about friends of its friends is strongly nonlinear. We show that gains of such use grow statistically significantly only when this knowledge is limited to a small fraction of friends of friends.


title: Solitary waves explore the quantum-to-classical transition

abstract: It is an open fundamental question how the classical appearance of our environment arises from the underlying quantum many-body theory. We propose that phenomena involved in the quantum-to-classical transition can be probed in collisions of bright solitary waves in Bose- Einstein condensates, where thousands of atoms form a large compound object at ultra cold temperatures. For the experimentally most relevant quasi-1D regime, where integrability is broken through effective three-body interactions, we find that ensembles of solitary waves exhibit complex interplay between phase coherence and entanglement generation in beyond mean-field simulations using the truncated Wigner method: An initial state of two solitons with a well defined relative phase looses that phase coherence in the ensemble, with its single particle two-mode density matrix exhibiting similar dynamics as a decohering two mode superposition. This apparent decoherence is a prerequisite for the formation of entangled superpositions of different atom numbers in a subsequent soliton collision. The necessity for the solitons to first decohere is explained based on the underlying phase-space of the quintic mean field equation. We show elsewhere that superpositions of different atom numbers later further evolve into spatially entangled solitons. Loss of ensemble phase coherence followed by system internal entanglement generation appear in an unusual order in this closed system, compared to a typical open quantum system.


title: Electromagnetic self-force in the five dimensional Myers-Perry space time

abstract: We calculate the effects of the electromagnetic self-force on a charged particle outside a five dimensional Myers-Perry space-time. Based on our earlier work [1], we obtain the self-force using quaternions in Janis-Newman and Giampieri algorithms. In four dimensional rotating space-time the electromagnetic self-force is repulsive at any point, however, in five dimensional rotational space-time, we find a point r0 where the electromagnetic self-force vanishes. For r < r0 (r > r0) the electromagnetic self-force is attractive (repulsive).


title: Texture image analysis and texture classification methods - A review

abstract: Tactile texture refers to the tangible feel of a surface and visual texture refers to see the shape or contents of the image. In the image processing, the texture can be defined as a function of spatial variation of the brightness intensity of the pixels. Texture is the main term used to define objects or concepts of a given image. Texture analysis plays an important role in computer vision cases such as object recognition, surface defect detection, pattern recognition, medical image analysis, etc. Since now many approaches have been proposed to describe texture images accurately. Texture analysis methods usually are classified into four categories: statistical methods, structural, model-based and transform-based methods. This paper discusses the various methods used for texture or analysis in details. New researches shows the power of combinational methods for texture analysis, which can't be in specific category. This paper provides a review on well known combinational methods in a specific section with details. This paper counts advantages and disadvantages of well-known texture image descriptors in the result part. Main focus in all of the survived methods is on discrimination performance, computational complexity and resistance to challenges such as noise, rotation, etc. A brief review is also made on the common classifiers used for texture image classification. Also, a survey on texture image benchmark datasets is included.


title: Lucas sequences in t-uniform simplicial complexes

abstract: We introduce t-uniform simplicial complexes and we show that the lengths of spheres in such complexes are the terms of certain Lucas sequences. We find optimal constants for the linear isoperimetric inequality in the hyperbolic case.


title: On barrier and modified barrier multigrid methods for 3d topology optimization

abstract: One of the challenges encountered in optimization of mechanical structures, in particular in what is known as topology optimization, is the size of the problems, which can easily involve millions of variables. A basic example is the minimum compliance formulation of the variable thickness sheet (VTS) problem, which is equivalent to a convex problem. We propose to solve the VTS problem by the Penalty-Barrier Multiplier (PBM) method, introduced by R.\ Polyak and later studied by Ben-Tal and Zibulevsky and others. The most computationally expensive part of the algorithm is the solution of linear systems arising from the Newton method used to minimize a generalized augmented Lagrangian. We use a special structure of the Hessian of this Lagrangian to reduce the size of the linear system and to convert it to a form suitable for a standard multigrid method. This converted system is solved approximately by a multigrid preconditioned MINRES method. The proposed PBM algorithm is compared with the optimality criteria (OC) method and an interior point (IP) method, both using a similar iterative solver setup. We apply all three methods to different loading scenarios. In our experiments, the PBM method clearly outperforms the other methods in terms of computation time required to achieve a certain degree of accuracy.


title: Dispersion forces stabilise ice coatings at certain gas hydrate interfaces which prevent water wetting

abstract: Gas hydrates formed in oceans and permafrost occur in vast quantities on Earth representing both a massive potential fuel source and a large threat in climate forecasts. They have been predicted to be important on other bodies in our solar systems such as Enceladus, a moon of Saturn. CO$_2$-hydrates likely drive the massive gas-rich water plumes seen and sampled by the spacecraft Cassini, and the source of these hydrates is thought to be due to buoyant gas hydrate particles. Dispersion forces cause gas hydrates to be coated in a 3-4 nm thick film of ice, or to contact water directly, depending on which gas they contain. These films are shown to significantly alter the properties of the gas hydrate clusters, for example, whether they float or sink. It is also expected to influence gas hydrate growth and gas leakage.


title: Semiclassical gravity effects near horizon formation

abstract: We study the magnitude of semiclassical gravity effects near the formation of a black-hole horizon in spherically-symmetric spacetimes. As a probe for these effects we use a quantised massless scalar field. Specifically, we calculate two quantities derived from it: the renormalised stress-energy tensor (a measure of how the field vacuum state affects the spacetime) and the effective temperature function (a generalisation of Hawking temperature related to the energy flux of the field vacuum). The subject of our study are spacetimes which contain a spherical distribution of matter and an empty exterior Schwarzschild region, separated by a surface which is moving in proximity to the Schwarzschild radius $r_{\rm s}=2M$, with $M$ the total mass. In particular, we analyse the consequences of three types of surface movement: an oscillation just above $r_{\rm s}$, a monotonous approach towards $r_{\rm s}$ in infinite time and a crossing of $r_{\rm s}$ at different velocities. For a collapsing matter distribution which follows the expected dynamical evolution in general relativity, we recover the standard picture of black-hole formation and its tenuous semiclassical effects. In more general dynamical regimes, allowing deviations from the standard classical evolution, we obtain a variety of different effects: from the emission of Hawking-like radiation without the formation of a horizon, to large values of the renormalised stress-energy tensor, related to the Boulware vacuum divergence in static spacetimes.


title: Physics-Informed Tolerance Allocation: A Surrogate-Based Framework for the Control of Geometric Variation on System Performance

abstract: In this paper, we present a novel tolerance allocation algorithm for the assessment and control of geometric variation on system performance that is applicable to any system of partial differential equations. In particular, we parameterize the geometric domain of the system in terms of design parameters and subsequently measure the effect of design parameter variation on system performance. A surrogate model via a tensor representation is constructed to map the design parameter variation to the system performance. A set of optimization problems over this surrogate model restricted to nested hyperrectangles represents the effect of prescribing design tolerances, where the maximizer of this restricted function depicts the worst-case member, i.e. the worst-case design. Moreover, the loci of these tolerance hyperrectangles with maximizers attaining, but not surpassing, the performance constraint represents the boundary to the feasible region of allocatable tolerances. Every tolerance in this domain is measured through a user-specified, weighted norm which is informed by design considerations such as cost and manufacturability. The boundary of the feasible set is elucidated as an immersed manifold of codimension one, over which a suite of optimization routines exist and are employed to efficiently determine an optimal feasible tolerance with respect to the specified measure. Examples of this algorithm are presented with applications to a plate with a hole described by two design parameters, a plate with a hole described by six design parameters, and an L-Bracket described by seventeen design parameters.


title: A Quantum Engineer's Guide to Superconducting Qubits

abstract: The aim of this review is to provide quantum engineers with an introductory guide to the central concepts and challenges in the rapidly accelerating field of superconducting quantum circuits. Over the past twenty years, the field has matured from a predominantly basic research endeavor to one that increasingly explores the engineering of larger-scale superconducting quantum systems. Here, we review several foundational elements -- qubit design, noise properties, qubit control, and readout techniques -- developed during this period, bridging fundamental concepts in circuit quantum electrodynamics (cQED) and contemporary, state-of-the-art applications in gate-model quantum computation.


title: Optimal control of second-order integral equations

abstract: We analyze optimal control problems for multiple Fredholm and Volterra integral equations. These are non Pontryaginian optimal control problems, i.e. an extremum principle of Pontryagin type does not hold. We obtain first order necessary conditions for optimality, and second order necessary and sufficient conditions. We illustrate with applications to first order and second order Volterra bilinear control problems.


title: Tensorization of the strong data processing inequality for quantum chi-square divergences

abstract: It is well-known that any quantum channel $\mathcal{E}$ satisfies the data processing inequality (DPI), with respect to various divergences, e.g., quantum $\chi^2_{\kappa}$divergences and quantum relative entropy. More specifically, the data processing inequality states that the divergence between two arbitrary quantum states $\rho$ and $\sigma$ does not increase under the action of any quantum channel $\mathcal{E}$. For a fixed channel $\mathcal{E}$ and a state $\sigma$, the divergence between output states $\mathcal{E}(\rho)$ and $\mathcal{E}(\sigma)$ might be strictly smaller than the divergence between input states $\rho$ and $\sigma$, which is characterized by the strong data processing inequality (SDPI). Among various input states $\rho$, the largest value of the rate of contraction is known as the SDPI constant. An important and widely studied property for classical channels is that SDPI constants tensorize. In this paper, we extend the tensorization property to the quantum regime: we establish the tensorization of SDPIs for the quantum $\chi^2_{\kappa_{1/2}}$ divergence for arbitrary quantum channels and also for a family of $\chi^2_{\kappa}$ divergences (with $\kappa \ge \kappa_{1/2}$) for arbitrary quantum-classical channels.


abstract: We consider the Ising model with invisible states on scale-free networks. Our goal is to investigate the interplay between the entropic and topological influence on a phase transition. The former is manifest through the number of invisible states $r$, while the latter is controlled by the network node-degree distribution decay exponent $\lambda$. We show that the phase diagram, in this case, is characterised by two marginal values $r_{c1}(\lambda)$ and $r_{c2}(\lambda)$, which separate regions with different critical behaviours. Below the $r_{c1}(\lambda)$ line the system undergoes only second order phase transition; above the $r_{c2}(\lambda)$ - only a first order phase transition occurs; and in-between the lines both of these phase transitions occur at different temperatures. This behaviour differs from the one, observed on the lattice, where the Ising model with invisible states is only characterised with one marginal value $r_{c}\simeq 3.62$ separating the first and second order regimes.


title: Half-BPS Vertex Operators of the $AdS_5\times S^5$ Superstring

abstract: Using the pure spinor formalism for the superstring in an $AdS_5\times S^5$ background, a simple expression is found for half-BPS vertex operators. At large radius, these vertex operators reduce to the usual supergravity vertex operators in a flat background. And at small radius, there is a natural conjecture for generalizing these vertex operators to non-BPS states.


title: A sensitive 3 mm line survey of L483: a broad view of the chemical composition of a core around a Class 0 object

abstract: We present an IRAM 30m line survey of the dense core L483 in the 3 mm band. We detected 71 molecules (140 including different isotopologs), most of which are present in the cold and quiescent ambient cloud. Of particular interest among the detected molecules are the cis isomer of HCOOH, the complex organic molecules HCOOCH3, CH3OCH3, and C2H5OH, a wide variety of carbon chains, nitrogen oxides like N2O, and saturated molecules like CH3SH. In general, fractional molecular abundances in L483 are systematically lower than in TMC-1 (especially for carbon chains), tend to be higher than in L1544 and B1-b, and are similar to those in L1527. Apart from the overabundance of carbon chains in TMC-1, we find that L483 does not have a marked chemical differentiation with respect to starless/prestellar cores like TMC-1 and L1544, although it does chemically differentiate from Class 0 hot corino sources like IRAS 16293-2422. This fact suggests that the chemical composition of the ambient cloud of some Class 0 sources could be largely inherited from the dark cloud starless/prestellar phase. We also derived isotopic ratios for a variety of molecules, some of which show isotopic anomalies like an extreme depletion in 13C for one of the two isotopologs of c-C3H2, a drastic enrichment in 18O for SO and HNCO (SO being also largely enriched in 17O), and different abundances for the two 13C substituted species of C2H and the two 15N substituted species of N2H+. We report the first detection in space of some minor isotopologs like c-C3D. The exhaustive chemical characterization of L483 presented here, together with similar studies of other prestellar and protostellar sources, should allow us to identify the main factors that regulate the chemical composition of cores along the process of formation of low-mass protostars.


title: Study of the core-crust transition in neutron stars with finite-range interactions: the dynamical method

abstract: The properties of the core-crust transition in neutron stars are investigated using effective nuclear forces of finite-range. Special attention is paid to the so-called dynamical method for locating the transition point, which, apart from the stability of the uniform nuclear matter against clusterization, also considers contributions due to finite-size effects. In particular, contributions to the transition density and pressure from the direct and exchange energies are carefully analyzed. To this end, finite-range forces of Gogny, Modified Gogny Interaction (MDI) and Simple Effective Interaction (SEI) types are used in the numerical applications. The results from the dynamical approach are compared with those from the popular thermodynamical method that neglects the surface and Coulomb effects in the stability condition. The dependence of the core-crust transition on the stiffness of the symmetry energy of the finite-range models is also addressed. Finally, we analyze the impact of the transition point on the mass, thickness and fraction of the moment of inertia of the neutron star crust. Prominent differences in these crustal properties of the star are found between using the transition point obtained with the dynamical method or the thermodynamical method. It is concluded that the core-crust transition needs to be ascertained as precisely as possible in order to have realistic estimates of the observed phenomena where the crust plays a significant role.


title: On subadditive functions upper bounded on a 'large' set

abstract: The notion of a shift-compact set in an abelian topological group $X$ plays a significant role in functional equations and inequalities, especially so since each Borel set that is not Haar-meagre, alternatively not Haar-null, is necessarily shift-compact for $X$ completely metrizable (see \cite{BJ} and \cite{BinO8}). Although in general boundedness of a subadditive function does not imply its continuity, here we prove that each subadditive function $f:X\rightarrow \mathbb{R}$ (i.e. with the function satisfying $f(x+y)\leq f(x)+f(y)$ for $x,y\in X$) bounded above on a~shift-compact (non-Haar-null, non-Haar-meagre) set is locally bounded at each point of the domain. Our results refer to \cite[Chapter~XVI]{Kuczma} and papers by N.H.~Bingham and A.J.~Ostaszewski \cite{BO,BinO1,BinO2,BinO6,BinO7}.


title: Reversible electric-field-driven magnetization in a columnar nanocomposite film

abstract: Magnetic hysteresis loops show a moderate perpendicular anisotropy of the magnetostrictive CFO pillars, which is related to their vertical compression. The application of an electric field to the electromechanical PMN-PT substrate produced significant and reversible changes in the magnetization due to an additional strain-induced magnetic anisotropy. This demonstrates completely reversible, room-temperature electric-field-assisted control of magnetization in self-assembled vertical nanocomposites of CFO and BFO.


title: Regularity and convergence analysis in Sobolev and H\"older spaces for generalized Whittle-Mat\'ern fields

abstract: We analyze several Galerkin approximations of a Gaussian random field $\mathcal{Z}\colon\mathcal{D}\times\Omega\to\mathbb{R}$ indexed by a Euclidean domain $\mathcal{D}\subset\mathbb{R}^d$ whose covariance structure is determined by a negative fractional power $L^{-2\beta}$ of a second-order elliptic differential operator $L:= -\nabla\cdot(A\nabla) + \kappa^2$. Under minimal assumptions on the domain $\mathcal{D}$, the coefficients $A\colon\mathcal{D}\to\mathbb{R}^{d\times d}$, $\kappa\colon\mathcal{D}\to\mathbb{R}$, and the fractional exponent $\beta>0$, we prove convergence in $L_q(\Omega; H^\sigma(\mathcal{D}))$ and in $L_q(\Omega; C^\delta(\overline{\mathcal{D}}))$ at (essentially) optimal rates for (i) spectral Galerkin methods and (ii) finite element approximations. Specifically, our analysis is solely based on $H^{1+\alpha}(\mathcal{D})$-regularity of the differential operator $L$, where $0<\alpha\leq 1$. For this setting, we furthermore provide rigorous estimates for the error in the covariance function of these approximations in $L_{\infty}(\mathcal{D}\times\mathcal{D})$ and in the mixed Sobolev space $H^{\sigma,\sigma}(\mathcal{D}\times\mathcal{D})$, showing convergence which is more than twice as fast compared to the corresponding $L_q(\Omega; H^\sigma(\mathcal{D}))$-rate. For the well-known example of such Gaussian random fields, the original Whittle-Mat\'ern class, where $L=-\Delta + \kappa^2$ and $\kappa \equiv \operatorname{const.}$, we perform several numerical experiments which validate our theoretical results.


title: What can PSR J1640-4631 tell us about the internal physics of this neutron star?

abstract: Gravitational wave emissions (GWEs) of pulsars could not only make them promising targets for continuous gravitational wave searches but also leave imprints in their timing data. We interpret the measured braking index of PSR J1640-4631 with a model involving both the GWE and dipole magnetic field decay. Combining the timing data of PSR J1640-4631 and the theory of magnetic field decay, we propose a new approach of constraining the number of precession cycles, $\xi$, which is highly uncertain currently but can be tightly related to the interior physics of a neutron star and its GWE. We suggest that future observation of the tilt angle $\chi$ of PSR J1640-4631 would not merely help to constrain $\xi$ but also possibly provide information about the internal magnetic field configuration of this pulsar. We find that $\xi$ would be larger than previous estimates unless a tiny angle $\chi\lesssim5^\circ$ is observed. Furthermore, a measured angle $\chi\gtrsim12^\circ$ would indicate $\xi\gtrsim 10^6$, which is at least ten times larger than that suggested previously.


title: Subquandles of free quandles

abstract: We prove that a subquandle of a free quandle is free.


title: Spontaneous scalarization of black holes in the Horndeski theory

abstract: We investigate the possibility of spontaneous scalarization of static, spherically symmetric, and asymptotically flat black holes (BHs) in the Horndeski theory. Spontaneous scalarization of BHs is a phenomenon that the scalar field spontaneously obtains a nontrivial profile in the vicinity of the event horizon via the nonminimal couplings and eventually the BH possesses a scalar charge. In the theory in which spontaneous scalarization takes place, the Schwarzschild solution with a trivial profile of the scalar field exhibits a tachyonic instability in the vicinity of the event horizon, and evolves into a hairy BH solution. Our analysis will extend the previous studies about the Einstein-scalar-Gauss-Bonnet (GB) theory to other classes of the Horndeski theory. First, we clarify the conditions for the existence of the vanishing scalar field solution $\phi=0$ on top of the Schwarzschild spacetime, and we apply them to each individual generalized galileon coupling. For each coupling, we choose the coupling function with minimal power of $\phi$ and $X:=-(1/2)g^{\mu\nu}\partial_\mu\phi\partial_\nu\phi$ that satisfies the above condition, which leaves nonzero and finite imprints in the radial perturbation of the scalar field. Second, we investigate the radial perturbation of the scalar field about the $\phi=0$ solution on top of the Schwarzschild spacetime. While each individual generalized galileon coupling except for a generalized quartic coupling does not satisfy the hyperbolicity condition or realize a tachyonic instability of the Schwarzschild spacetime by itself, a generalized quartic coupling can realize it in the intermediate length scales outside the event horizon. Finally, we investigate a model with generalized quartic and quintic galileon couplings, which includes the Einstein-scalar-GB theory as the special case.


title: Frobenius's last proof

abstract: Around about 1917, Issai Schur rediscovered the Rogers-Ramanujan identities, and proved a system of polynomial identities that imply them. Schur wrote that Georg Frobenius (his former advisor) had shown him a simple, direct proof of these polynomial identities. Schur did not see fit to reveal Frobenius's proof, preferring his own rather complicated proof. But it is easy enough to guess what this `simple, direct' proof must have been. As Frobenius died in 1917, we may call this `Frobenius's last proof'.


title: Robust Network Design for Software-Defined IP/Optical Backbones

abstract: Recently, Internet service providers (ISPs) have gained increased flexibility in how they configure their in-ground optical fiber into an IP network. This greater control has been made possible by (i) the maturation of software defined networking (SDN), and (ii) improvements in optical switching technology. Whereas traditionally, at network design time, each IP link was assigned a fixed optical path and bandwidth, modern colorless and directionless Reconfigurable Optical Add/Drop Multiplexers (CD ROADMs) allow a remote SDN controller to remap the IP topology to the optical underlay on the fly. Consequently, ISPs face new opportunities and challenges in the design and operation of their backbone networks. Specifically, ISPs must determine how best to design their networks to take advantage of the new capabilities; they need an automated way to generate the least expensive network design that still delivers all offered traffic, even in the presence of equipment failures. This problem is difficult because of the physical constraints governing the placement of optical regenerators, a piece of optical equipment necessary for maintaining an optical signal over long stretches of fiber. As a solution, we present an integer linear program (ILP) which (1) solves the equipment-placement network design problem; (2) determines the optimal mapping of IP links to the optical infrastructure for any given failure scenario; and (3) determines how best to route the offered traffic over the IP topology. To scale to larger networks, we also describe an efficient heuristic that finds nearly optimal network designs in a fraction of the time. Further, in our experiments our ILP offers cost savings of up to 29% compared to traditional network design techniques.


title: Analysis and Identification of Controller Interaction and Limitation in VSC-HVDC Grid

abstract: With the advancement of the idea of the HVDC grid, it becomes imperative to study the interaction of controller and identification of modes of oscillations. The paper presents the complete model of HVDC grid with detailed modeling of controllers, phase lock loops (PLLs), dc grid and the ac systems. An analytical method combining participation factors and Eigen-sensitivity is proposed to determine the relative stability of the HVDC grid with respect to parameter variations. The paper also proposes the identification of inter-area and controller interaction modes on the basis of the nearest distance between the eigenvalues using the derived sensitivity indices. The critical parameters are varied in a mixed short circuit ratio (SCR) HVDC grid and predictions from the analysis method are confirmed with time-domain simulation in PSCAD simulator


title: Statistical-Based Privacy-Preserving Scheme with Malicious Consumers Identification for Smart Grid

abstract: As smart grids are getting popular and being widely implemented, preserving the privacy of consumers is becoming more substantial. Power generation and pricing in smart grids depends on the continuously gathered information from the consumers. However, having access to the data relevant to the electricity consumption of each individual consumer is in conflict with its privacy. One common approach for preserving privacy is to aggregate data of different consumers and to use their smart-meters for calculating the bills. But in this approach, malicious consumers who send erroneous data to take advantage or disrupt smart grid cannot be identified. In this paper, we propose a new statistical-based scheme for data gathering and billing in which the privacy of consumers is preserved, and at the same time, if any consumer with erroneous data can be detected. Our simulation results verify these matters.


title: Direct Sparse Mapping

abstract: Photometric bundle adjustment, PBA, accurately estimates geometry from video. However, current PBA systems have a temporary map that cannot manage scene reobservations. We present, DSM, a full monocular visual SLAM based on PBA. Its persistent map handles reobservations, yielding the most accurate results up to date on EuRoC for a direct method.


title: Deep-learning PDEs with unlabeled data and hardwiring physics laws

abstract: Providing fast and accurate solutions to partial differential equations is a problem of continuous interest to the fields of applied mathematics and physics. With the recent advances in machine learning, the adoption learning techniques in this domain is being eagerly pursued. We build upon earlier works on linear and homogeneous PDEs, and develop convolutional deep neural networks that can accurately solve nonlinear and non-homogeneous equations without the need for labeled data. The architecture of these networks is readily accessible for scientific disciplines who deal with PDEs and know the basics of deep learning.


title: Design of optimized backstepping controller for the synchronization of chaotic Colpitts oscillator using shark smell algorithm

abstract: In this paper, an adaptive backstepping controller has been tuned to synchronize two chaotic Colpitts oscillators in a master slave configuration. The parameters of the controller are determined using shark smell optimization (SSO) algorithm. Numerical results are presented and compared with those of particle swarm optimization (PSO) algorithm. Simulation results show better performance in terms of accuracy and convergence for the proposed optimized method compared to PSO optimized controller or any non-optimized backstepping controller.


title: Combining Physical Simulators and Object-Based Networks for Control

abstract: Physics engines play an important role in robot planning and control; however, many real-world control problems involve complex contact dynamics that cannot be characterized analytically. Most physics engines therefore employ . approximations that lead to a loss in precision. In this paper, we propose a hybrid dynamics model, simulator-augmented interaction networks (SAIN), combining a physics engine with an object-based neural network for dynamics modeling. Compared with existing models that are purely analytical or purely data-driven, our hybrid model captures the dynamics of interacting objects in a more accurate and data-efficient manner.Experiments both in simulation and on a real robot suggest that it also leads to better performance when used in complex control tasks. Finally, we show that our model generalizes to novel environments with varying object shapes and materials.


title: Chemo-mechanical modeling of artificially and naturally bonded soils

abstract: Chemo-mechanical effects are known to be significant in a number of applications in modern geomechanics, ranging from slope stability assessment to soil improvement and CO2 sequestration. This work focuses on coupled chemo-mechanical modeling of bonded geomaterials undergoing either mechanical strengthening, due to increased cementation, or weakening, due to cement dissolution. A constitutive model is developed that accounts for the multi-scale nature of the chemo-mechanical problem, introducing some cross-scale functions establishing a relationship between the evolution of microscopic variables and the macroscopic material behavior, realistically following the evolution of the reactive surface area, cross-sectional area and the number of bonds along with dissolution/deposition. The model presented here builds up on a previously introduced framework. However, at variance with existing works, it is specialized on materials with only reactive bonds, such as carbonate cemented sandstone or microbially cemented silica sand. Model validation is provided upon reproducing different types of chemo-mechanical experimental datasets, on different naturally and artificially cemented materials, to establish the reliability of the proposed framework.


title: Supersymmetric gradient flow in the Wess-Zumino model

abstract: We propose a supersymmetric gradient flow equation in the four-dimensional Wess-Zumino model. The flow is constructed in two ways. One is based on the off-shell component fields and the other is based on the superfield formalism, in which the same result is provided. The obtained flow is supersymmetric because the flow time derivative and the supersymmetry transformation commute with each other. Solving the equation, we find that it has a damping oscillation with the flow time for nonzero mass, which is different from the Yang-Mills flow. The on-shell flow equation is also discussed.


title: Solvers and precondtioners based on Gauss-Seidel and Jacobi algorithms for non-symmetric stochastic Galerkin system of equations

abstract: In this work, solvers and preconditioners based on Gauss-Seidel and Jacobi algorithms are explored for stochastic Galerkin discretization of partial differential equations (PDEs) with random input data. Gauss-Seidel and Jacobi algorithms are formulated such that the existing software is leveraged in the computational effort. These algorithms are also used as preconditioners to Krylov iterative methods. The solvers and preconditiners are compared with Krylov based iterative methods with the traditional mean-based preconditioner [13] and Kronecker-product preconditioner [17] by solving a steady state state advection-diffusion equation, which upon discretization, results in a non-symmetric positive definite matrix on left-hand-side. Numerical results show that an approximate version of Gauss-Seidel algorithm is a good preconditioner for GMRES to solve non-symmetric Galerkin system of equations.


title: Got: Git, but for Objects

abstract: We look at one important category of distributed applications characterized by the existence of multiple collaborating, and competing, components sharing mutable, long-lived, replicated objects. The problem addressed by our work is that of object state synchronization among the components. As an organizing principle for replicated objects, we formally specify the Global Object Tracker (GoT) model, an object-oriented programming model based on causal consistency with application-level conflict resolution strategies, whose elements and interfaces mirror those found in decentralized version control systems: a version graph, working data, diffs, commit, checkout, fetch, push, and merge. We have implemented GoT in a framework called Spacetime, written in Python. In its purest form, GoT is impractical for real systems, because of the unbounded growth of the version graph and because passing diff'ed histories over the network makes remote communication too slow. We present our solution to these problems that adds some constraints to GoT applications, but that makes the model feasible in practice. We present a performance analysis of Spacetime for representative workloads, which shows that the additional constraints added to GoT make it not just feasible, but viable for real applications.


title: Recovery of Superquadrics from Range Images using Deep Learning: A Preliminary Study

abstract: It has been a longstanding goal in computer vision to describe the 3D physical space in terms of parameterized volumetric models that would allow autonomous machines to understand and interact with their surroundings. Such models are typically motivated by human visual perception and aim to represents all elements of the physical word ranging from individual objects to complex scenes using a small set of parameters. One of the de facto stadards to approach this problem are superquadrics - volumetric models that define various 3D shape primitives and can be fitted to actual 3D data (either in the form of point clouds or range images). However, existing solutions to superquadric recovery involve costly iterative fitting procedures, which limit the applicability of such techniques in practice. To alleviate this problem, we explore in this paper the possibility to recover superquadrics from range images without time consuming iterative parameter estimation techniques by using contemporary deep-learning models, more specifically, convolutional neural networks (CNNs). We pose the superquadric recovery problem as a regression task and develop a CNN regressor that is able to estimate the parameters of a superquadric model from a given range image. We train the regressor on a large set of synthetic range images, each containing a single (unrotated) superquadric shape and evaluate the learned model in comparaitve experiments with the current state-of-the-art. Additionally, we also present a qualitative analysis involving a dataset of real-world objects. The results of our experiments show that the proposed regressor not only outperforms the existing state-of-the-art, but also ensures a 270x faster execution time.


title: Supernova 2018aoq and a distance to Seyfert galaxy NGC 4151

abstract: We present optical photometric observations of SN 2018aoq from 2 to 100 days after explosion, and 7 spectra at epochs from 11 to 71 days. The light curves and spectra are typical for SNe II-P. As previously reported, SN 2018aoq appears to be of intermediate brightness between subluminous and normal SNe II-P. SN 2018aoq was discovered in Seyfert galaxy NGC 4151, for which the distance is uncertain. We utilised the Expanding Photosphere Method using three sets of filter combinations and velocities derived from the absorption minima of FeII lines and obtained a distance of 20.0 +-1.6 Mpc. The Standard Candle Method applied to SN 2018aoq yields a distance of 16.6 +-1.1 Mpc. Both values are consistent with the distance measurements for NGC 4151 based on geometric method.


title: GA-Net: Guided Aggregation Net for End-to-end Stereo Matching

abstract: In the stereo matching task, matching cost aggregation is crucial in both traditional methods and deep neural network models in order to accurately estimate disparities. We propose two novel neural net layers, aimed at capturing local and the whole-image cost dependencies respectively. The first is a semi-global aggregation layer which is a differentiable approximation of the semi-global matching, the second is the local guided aggregation layer which follows a traditional cost filtering strategy to refine thin structures. These two layers can be used to replace the widely used 3D convolutional layer which is computationally costly and memory-consuming as it has cubic computational/memory complexity. In the experiments, we show that nets with a two-layer guided aggregation block easily outperform the state-of-the-art GC-Net which has nineteen 3D convolutional layers. We also train a deep guided aggregation network (GA-Net) which gets better accuracies than state-of-the-art methods on both Scene Flow dataset and KITTI benchmarks.


title: Audio Compression Using Graph-based Transform

abstract: Graph-based Transform is one of the recent transform coding methods which has been used successfully in the state-of-art data decorrelation applications. In this paper, we propose a Graph-based Transform (GT) for audio compression. Hence, we introduce a proper graph structure for audio. Then the audio frames are projected onto an orthogonal matrix consisting of eigenvectors of the introduced graph matrix, leading to the sparse coefficients. The results show that the proposed method outperforms the conventional transform methods like Discrete Cosine Transform (DCT) and Walsh-Hadamard Transform (WHT) in decorrelation of the audio signals.


title: A Theory of Entanglement

abstract: This article presents the basis of a theory of entanglement. We begin with a classical theory of entangled discrete measures in Section~1. Section~2 treats quantum mechanics and discusses the statistics of bounded operators on a Hilbert space in terms of context coefficients. In Section~3 we combine the work of the first two sections to develop a general theory of entanglement for quantum states. A measure of entanglement called the entanglement number is introduced. Although this number is related to entanglement robustness, its motivation is not the same and there are some differences. The present article only involves bipartite systems and we leave the study of multipartite systems for later work.


title: Unsupervised Singing Voice Conversion

abstract: We present a deep learning method for singing voice conversion. The proposed network is not conditioned on the text or on the notes, and it directly converts the audio of one singer to the voice of another. Training is performed without any form of supervision: no lyrics or any kind of phonetic features, no notes, and no matching samples between singers. The proposed network employs a single CNN encoder for all singers, a single WaveNet decoder, and a classifier that enforces the latent representation to be singer-agnostic. Each singer is represented by one embedding vector, which the decoder is conditioned on. In order to deal with relatively small datasets, we propose a new data augmentation scheme, as well as new training losses and protocols that are based on backtranslation. Our evaluation presents evidence that the conversion produces natural signing voices that are highly recognizable as the target singer.


title: Towards Vulnerability Analysis of Voice-Driven Interfaces and Countermeasures for Replay

abstract: Fake audio detection is expected to become an important research area in the field of smart speakers such as Google Home, Amazon Echo and chatbots developed for these platforms. This paper presents replay attack vulnerability of voice-driven interfaces and proposes a countermeasure to detect replay attack on these platforms. This paper presents a novel framework to model replay attack distortion, and then use a non-learning-based method for replay attack detection on smart speakers. The reply attack distortion is modeled as a higher-order nonlinearity in the replay attack audio. Higher-order spectral analysis (HOSA) is used to capture characteristics distortions in the replay audio. Effectiveness of the proposed countermeasure scheme is evaluated on original speech as well as corresponding replayed recordings. The replay attack recordings are successfully injected into the Google Home device via Amazon Alexa using the drop-in conferencing feature.


title: Hydrodynamic flow in small systems, or: "How the heck is it possible that a system emitting only a dozen particles can be described by fluid dynamics?"

abstract: The "unreasonable effectiveness" of relativistic fluid dynamics in describing high energy heavy-ion and even proton-proton collisions are demonstrated and discussed. Several recent ideas of optimizing relativistic fluid dynamics for the specific challenges posed by such collisions will be presented, and some thoughts will be offered why the framework works better than originally expected. I will also address the unresolved question where exactly hydrodynamics breaks down, and why.


title: Shakeout: A New Approach to Regularized Deep Neural Network Training

abstract: Recent years have witnessed the success of deep neural networks in dealing with a plenty of practical problems. Dropout has played an essential role in many successful deep neural networks, by inducing regularization in the model training. In this paper, we present a new regularized training approach: Shakeout. Instead of randomly discarding units as Dropout does at the training stage, Shakeout randomly chooses to enhance or reverse each unit's contribution to the next layer. This minor modification of Dropout has the statistical trait: the regularizer induced by Shakeout adaptively combines $L_0$, $L_1$ and $L_2$ regularization terms. Our classification experiments with representative deep architectures on image datasets MNIST, CIFAR-10 and ImageNet show that Shakeout deals with over-fitting effectively and outperforms Dropout. We empirically demonstrate that Shakeout leads to sparser weights under both unsupervised and supervised settings. Shakeout also leads to the grouping effect of the input units in a layer. Considering the weights in reflecting the importance of connections, Shakeout is superior to Dropout, which is valuable for the deep model compression. Moreover, we demonstrate that Shakeout can effectively reduce the instability of the training process of the deep architecture.


title: Involution algebroids: a generalisation of Lie algebroids for tangent categories

abstract: We define involution algebroids which generalise Lie algebroids to the abstract setting of tangent categories. As a part of this generalisation the Jacobi identity which appears in classical Lie theory is replaced by an identity similar to the Yang-Baxter equation. Every classical Lie algebroid has the structure of an involution algebroid and every involution algebroid in a tangent category admits a Lie bracket on the sections of its underlying bundle. As an illustrative application we take the first steps in developing the homotopy theory of involution algebroids.


title: Minimal Separators in Graphs

abstract: The Known Menger's theorem states that in a finite graph, the size of a minimum separator set of any pair of vertices is equal to the maximum number of disjoint paths that can be found between these two vertices. In this paper, we study the minimal separators of two non-adjacent vertices in a finite graph, and we give a new elementary proof of Menger's theorem.


title: Stueckelberg breaking of Weyl conformal geometry with applications to gravity

abstract: Weyl conformal geometry may play a role in early cosmology where effective theory at short distances becomes conformal. Weyl conformal geometry also has a built-in geometric Stueckelberg mechanism: it is broken spontaneously to Riemannian geometry after a Weyl gauge transformation (of "gauge fixing") while Stueckelberg mechanism re-arranges the degrees of freedom, conserving their number ($n_{df}$). The Weyl gauge field ($\omega_\mu$) of local scale transformations acquires a mass after absorbing a compensator (dilaton), decouples, and Weyl connection becomes Riemannian. Mass generation has thus a dynamic origin, as a transition from Weyl to Riemannian geometry. We show that a "gauge fixing" symmetry transformation of the original Weyl quadratic gravity action in its Weyl geometry formulation immediately gives the Einstein-Proca action for the Weyl gauge field and a positive cosmological constant, plus matter action (if present). As a result, the Planck scale is an {\it emergent} scale, where Weyl gauge symmetry is spontaneously broken and Einstein action is the broken phase of Weyl action. This is in contrast to local scale invariant models (no gauging) where a negative kinetic term (ghost dilaton) remains present and $n_{df}$ is not conserved when this symmetry is broken. The mass of $\omega_\mu$, setting the non-metricity scale, can be much smaller than $M_\text{Planck}$, for ultraweak values of the coupling ($q$). If matter is present, a positive contribution to the Planck scale from a scalar field ($\phi_1$) vev induces a negative (mass)$^2$ term for $\phi_1$ and spontaneous breaking of the symmetry under which it is charged. These results are immediate when using a Weyl geometry formulation of an action instead of its Riemannian picture. Briefly, Weyl gauge symmetry is physically relevant and its role in high scale physics should be reconsidered.


title: Effective Quantum Mechanics of a falling particle

abstract: We analyze the problem of one dimensional quantum particle falling in a constant gravitational field, also known as the {\it bouncing ball}, employing a semiclassical approach known as momentous effective quantum mechanics. In this formalism the quantum evolution is described through a dynamical system of infinite dimension for the position, the momentum and all dispersions. Usually the system is truncated to have a finite dimensional one, however, in this case equations of motion decouple and the system can be solved. For a specific set of initial conditions we find that the time dependent dispersion in position is always around the classical trajectory.


title: Modeling the Light Curves of the Luminous Type Ic Supernova 2007D

abstract: SN~2007D is a nearby (redshift $z = 0.023146$), luminous Type Ic supernova (SN) having a narrow light curve (LC) and high peak luminosity. Previous research based on the assumption that it was powered by the $^{56}$Ni cascade decay suggested that the inferred $^{56}$Ni mass and the ejecta mass are $\sim 1.5$M$_{\odot}$ and $\sim 3.5$M$_{\odot}$, respectively. In this paper, we employ some multiband LC models to model the $R$-band LC and the color ($V-R$) evolution of SN~2007D to investigate the possible energy sources powering them. We find that the pure $^{56}$Ni model is disfavored; the multiband LCs of SN~2007D can be reproduced by a magnetar whose initial rotational period $P_{0}$ and magnetic field strength $B_p$ are $7.28_{-0.21}^{+0.21}$ (or $9.00_{-0.42}^{+0.32}$) ms and $3.10_{-0.35}^{+0.36}\times 10^{14}$ (or $2.81_{-0.44}^{+0.43}\times 10^{14}$) G, respectively. By comparing the spectrum of SN~2007D with that of some superluminous SNe (SLSNe), we find that it might be a luminous SN like several luminous ``gap-filler" optical transients that bridge ordinary and SLSNe, rather than a genuine SLSN.


title: TDMR Detection System with Local Area Influence Probabilistic a Priori Detector

abstract: We propose a three-track detection system for two dimensional magnetic recording (TDMR) in which a local area influence probabilistic (LAIP) detector works with a trellis-based Bahl-Cocke-Jelinek-Raviv (BCJR) detector to remove intersymbol interference (ISI) and intertrack interference (ITI) among coded data bits as well as media noise due to magnetic grain-bit interactions. Two minimum mean-squared error (MMSE) linear equalizers with different response targets are employed before the LAIP and BCJR detectors. The LAIP detector considers local grain-bit interactions and passes coded bit log-likelihood ratios (LLRs) to the channel decoder, whose output LLRs serve as a priori information to the BCJR detector, which is followed by a second channel decoding pass. Simulation results under 1-shot decoding on a grain-flipping-probability (GFP) media model show that the proposed LAIP/BCJR detection system achieves density gains of 6.8% for center-track detection and 1.2% for three-track detection compared to a standard BCJR/1D-PDNP. The proposed system's BCJR detector bit error rates (BERs) are lower than those of a recently proposed two-track BCJR/2D-PDNP system by factors of (0.55, 0.08) for tracks 1 and 2 respectively.


title: High-Resolution X-ray Imaging Studies of Neutron Stars, Pulsar Wind Nebulae and Supernova Remnants

abstract: Supernova remnants serve as nearby laboratories relevant to many areas in Astrophysics, from stellar and galaxy evolution to extreme astrophysics and the formation of the heavy elements in the Universe. The Chandra X-ray mission has enabled a giant leap forward in studying both SNRs and their compact stellar remnants on sub-arcsecond scale. However, such high-resolution imaging studies have been mostly limited to the nearby and/or relatively bright objects. There is no question that we are missing a large population, especially in external galaxies. Within our own Galaxy, we are presented with new fundamental questions related to neutron stars' diversity, kicks, relativistic winds and the way these objects interact with, and impact, their host environments. In this white paper, we highlight some of the breakthroughs to be achieved with future X-ray missions (such as the proposed AXIS probe) equipped with sub-arcsecond imaging resolution and an order of magnitude improvement in sensitivity.


title: Introducing Enumerative Sphere Shaping for Optical Communication Systems with Short Blocklengths

abstract: Probabilistic shaping based on constant composition distribution matching (CCDM) has received considerable attention as a way to increase the capacity of fiber optical communication systems. CCDM suffers from significant rate loss at short blocklengths and requires long blocklengths to achieve high shaping gain, which makes its implementation very challenging. In this paper, we propose to use enumerative sphere shaping (ESS) and investigate its performance for the nonlinear fiber optical channel. ESS has lower rate loss than CCDM at the same shaping rate, which makes it a suitable candidate to be implemented in real-time high-speed optical systems. In this paper, we first show that finite blocklength ESS and CCDM exhibit higher effective signal-to-noise ratio than their infinite blocklength counterparts. These results show that for the nonlinear fiber optical channel, large blocklengths should be avoided. We then show that for a 400 Gb/s dual-polarization 64-QAM WDM transmission system, ESS with short blocklengths outperforms both uniform signaling and CCDM. Gains in terms of both bit-metric decoding rate and bit-error rate are presented. ESS with a blocklength of 200 is shown to provide an extension reach of about 200 km in comparison with CCDM with the same blocklength. The obtained reach increase of ESS with a blocklength of 200 over uniform signaling is approximately 450 km (approximately 19%)


title: Mode-selective coupling of coherent phonons to the Bi2212 electronic band structure

abstract: Cuprate superconductors host a multitude of low-energy optical phonons. Using time- and angle-resolved photoemission spectroscopy, we study coherent phonons in Bi$_{2}$Sr$_{2}$Ca$_{0.92}$Y$_{0.08}$Cu$_{2}$O$_{8+\delta}$. Sub-meV modulations of the electronic band structure are observed at frequencies of $3.94\pm 0.01$ and $5.59\pm 0.06$ THz. For the dominant mode at 3.94 THz, the amplitude of the band energy oscillation weakly increases as a function of momentum away from the node. Theoretical calculations allow identifying the observed modes as CuO$_{2}$-derived $A_{1g}$ phonons. The Bi- and Sr-derived $A_{1g}$ modes which dominate Raman spectra in the relevant frequency range are absent in our measurements. This highlights the mode-selectivity for phonons coupled to the near-Fermi-level electrons, which originate from CuO$_{2}$ planes and dictate thermodynamic properties.


title: Absence of irreducible multiple zeta-values in melon modular graph functions

abstract: The expansion of a modular graph function on a torus of modulus $\tau$ near the cusp is given by a Laurent polynomial in $y= \pi \Im (\tau)$ with coefficients that are rational multiples of single-valued multiple zeta-values, apart from the leading term whose coefficient is rational and exponentially suppressed terms. We prove that the coefficients of the non-leading terms in the Laurent polynomial of the modular graph function $D_N(\tau)$ associated with a melon graph is free of irreducible multiple zeta-values and can be written as a polynomial in odd zeta-values with rational coefficients for arbitrary $N \geq 0$. The proof proceeds by expressing a generating function for $D_N(\tau)$ in terms of an integral over the Virasoro-Shapiro closed-string tree amplitude.


title: Strominger connection and pluriclosed metrics

abstract: In this paper, we prove a conjecture raised by Angella, Otal, Ugarte, and Villacampa recently, which states that if the Strominger connection (also known as Bismut connection) of a compact Hermitian manifold is K\"ahler-like, in the sense that its curvature tensor obeys all the symmetries of the curvature of a K\"ahler manifold, then the metric must be pluriclosed. What we actually showed is a bit more: for any given Hermitian manifold, the Strominger K\"ahler-like condition is equivalent to the pluriclosedness of the metric plus the parallelness of the torsion.


title: Interpretable hypothesis tests

abstract: Although hypothesis tests play a prominent role in Science, their interpretation can be challenging. Three issues are (i) the difficulty in making an assertive decision based on the output of an hypothesis test, (ii) the logical contradictions that occur in multiple hypothesis testing, and (iii) the possible lack of practical importance when rejecting a precise hypothesis. These issues can be addressed through the use of agnostic tests and pragmatic hypotheses.


title: Exploiting Vulnerabilities of Load Forecasting Through Adversarial Attacks

abstract: Load forecasting plays a critical role in the operation and planning of power systems. By using input features such as historical loads and weather forecasts, system operators and utilities build forecast models to guide decision making in commitment and dispatch. As the forecasting techniques becomes more sophisticated, however, they also become more vulnerable to cybersecurity threats. In this paper, we study the vulnerability of a class of load forecasting algorithms and analyze the potential impact on the power system operations, such as load shedding and increased dispatch costs. Specifically, we propose data injection attack algorithms that require minimal assumptions on the ability of the adversary. The attacker does not need to have knowledge about the load forecasting model or the underlying power system. Surprisingly, our results indicate that standard load forecasting algorithms are quite vulnerable to the designed black-box attacks. By only injecting malicious data in temperature from online weather forecast APIs, an attacker could manipulate load forecasts in arbitrary directions and cause significant and targeted damages to system operations.


title: On conformal pseudo-subriemannian fundamental graded Lie algebras associated with pseudo $H$-type Lie algebras

abstract: A pseudo $H$-type Lie algebra naturally gives rise to a conformal pseudo-subriemannian fundamental graded Lie algebras. In this paper we investigate the prolongations of the associated fundamental graded Lie algebra and the associated conformal pseudo-subriemannian fundamental graded Lie algebra. In particular, we show that the prolongation of the associated conformal pseudo-subriemannian fundamental graded Lie algebra coincides with that of the associated fundamental graded Lie algebra under some assumptions.


title: A complete quasiclassical map for the dynamics of interacting fermions

abstract: We present a strategy for mapping the dynamics of a fermionic quantum system to a set of classical dynamical variables. The approach is based on imposing the correspondence relation between the commutator and the Poisson bracket, preserving Heisenberg's equation of motion for one-body operators. In order to accommodate the effect of two-body terms, we further impose quantization on the spin-dependent occupation numbers in the classical equations of motion, with a parameter that is determined self-consistently. Expectation values for observables are taken with respect to an initial quasiclassical distribution that respects the original quantization of the occupation numbers. The proposed classical map becomes complete under the evolution of quadratic Hamiltonians and is extended for all even order observables. We show that the map provides an accurate description of the dynamics for an interacting quantum impurity model in the coulomb blockade regime, at both low and high temperatures. The numerical results are aided by a novel importance sampling scheme that employs a reference system to reduce significantly the sampling effort required to converge the classical calculations.


title: Analysis of the interaction between classical and quantum plasmons via FDTD-TDDFT method

abstract: A powerful hybrid FDTD--TDDFT method is used to study the interaction between classical plasmons of a gold bowtie nanoantenna and quantum plasmons of graphene nanoflakes (GNFs) placed in the narrow gap of the nanoantenna. Due to the hot-spot plasmon of the bowtie nanoantenna, the local-field intensity in the gap increases significantly, so that the optical response of the GNF is dramatically enhanced. To study this interaction between classical and quantum plasmons, we decompose this multiscale and multiphysics system into two computational regions, a classical and a quantum one. In the quantum region, the quantum plasmons of the GNF are studied using the TDDFT method, whereas the FDTD method is used to investigate the classical plasmons of the bowtie nanoantenna. Our analysis shows that in this hybrid system the quantum plasmon response of a molecular-scale GNF can be enhanced by more than two orders of magnitude, when the frequencies of the quantum and classical plasmons are the same. This finding can be particularly useful for applications to molecular sensors and quantum optics.


title: Travel time tomography with formally determined incomplete data in 3D

abstract: For the first time, a globally convergent numerical method is developed and Lipschitz stability estimate is obtained for the challenging problem of travel time tomography in 3D for formally determined incomplete data. The semidiscrete case is considered meaning that finite differences are involved with respect to two out of three variables. First, Lipschitz stability estimate is derived, which implies uniqueness. Next, a weighted globally strictly convex Tikhonov-like functional is constructed using a Carleman-like weight function for a Volterra integral operator. The gradient projection method is constructed to minimize this functional. It is proven that this method converges globally to the exact solution if the noise in the data tends to zero.


title: LiveSketch: Query Perturbations for Guided Sketch-based Visual Search

abstract: LiveSketch is a novel algorithm for searching large image collections using hand-sketched queries. LiveSketch tackles the inherent ambiguity of sketch search by creating visual suggestions that augment the query as it is drawn, making query specification an iterative rather than one-shot process that helps disambiguate users' search intent. Our technical contributions are: a triplet convnet architecture that incorporates an RNN based variational autoencoder to search for images using vector (stroke-based) queries; real-time clustering to identify likely search intents (and so, targets within the search embedding); and the use of backpropagation from those targets to perturb the input stroke sequence, so suggesting alterations to the query in order to guide the search. We show improvements in accuracy and time-to-task over contemporary baselines using a 67M image corpus.


title: Simple Parking Strategies

abstract: We investigate simple strategies that embody the decisions that one faces when trying to park near a popular destination. Should one park far from the target (destination), where finding a spot is easy, but then be faced with a long walk, or should one attempt to look for a desirable spot close to the target, where spots may be hard to find? We study an idealized parking process on a one-dimensional geometry where the desired target is located at $x=0$, cars enter the system from the right at a rate $\lambda$ and each car leaves at a unit rate. We analyze three parking strategies---meek, prudent, and optimistic---and determine which is optimal.


title: Stable bases of the Springer resolution and representation theory

abstract: In this note, we collect basic facts about Maulik and Okounkov's stable bases for the Springer resolution, focusing on their relations to representations of Lie algebras over complex numbers and algebraically closed positive characteristic fields, and of the Langlands dual group over non-Archimedean local fields.


title: Towards the analytic theory of Potential Energy Curves for diatomic molecules. Studying He${}_2^+$ and LiH diatomics as illustration

abstract: Following the first principles the elements of the analytic theory of potential curves for diatomic molecules (diatomics) are presented. It is based on matching the perturbation theory at small internuclear distances $R$ and multipole expansion at large distances, modified by instanton-induced trans-series for homonuclear case, with addition of the phenomenologically described equilibrium configuration, if exists. It leads to a new class of (generalized) meromorphic potentials (modified by exponential terms) with difference in degrees of polynomials in numerator and denominator equal to 4 (6) for positively charged (neutral) diatomics. As examples the He$_2^+$ and LiH diatomics in Born-Oppenheimer (adiabatic) approximation are considered. For ${}^{4}$He$_2^+$ (${}^{3}$He$_2^+$) diatomics it is found the approximate analytic expression for the potential energy curves (analytic PEC) $V(R)$ for the ground state $X^2 \Sigma_u^+$ and the first excited state $A^2 \Sigma_g^+$. It provides 3-4 s.d. correctly for distances $R \in [1, 10]$\,a.u. with some irregularities for $A^2 \Sigma_g^+$ PEC at small distances (much smaller than equilibrium distances) probably related to level crossings which may occur there. The analytic PEC for the ground state $X^2 \Sigma_u^+$ supports 829 (626) rovibrational states with 3-4 s.d. of accuracy in energy, which is only by 1 state less (more) than 830 (625) reported in the literature. In turn, the analytic PEC for the excited state $A^2 \Sigma_g^+$ supports all 9 reported weakly-bound rovibrational states. Entire rovibrational spectra is found in a single calculation using the code based on the Lagrange mesh method.


title: A Multi-Agent Deep Reinforcement Learning based Spectrum Allocation Framework for D2D Communications

abstract: Device-to-device (D2D) communication has been recognized as a promising technique to improve spectrum efficiency. However, D2D transmission as an underlay causes severe interference, which imposes a technical challenge to spectrum allocation. Existing centralized schemes require global information, which can cause serious signaling overhead. While existing distributed solution requires frequent information exchange between users and cannot achieve global optimization. In this paper, a distributed spectrum allocation framework based on multi-agent deep reinforcement learning is proposed, named Neighbor-Agent Actor Critic (NAAC). NAAC uses neighbor users' historical information for centralized training but is executed distributedly without that information, which not only has no signal interaction during execution, but also utilizes cooperation between users to further optimize system performance. The simulation results show that the proposed framework can effectively reduce the outage probability of cellular links, improve the sum rate of D2D links and have good convergence.


title: A possible explanation of the threshold enhancement in the process $e^+e^-\rightarrow \Lambda\bar{\Lambda}$

abstract: Inspired by the recent measurement of the process $e^+e^-\rightarrow \Lambda\bar{\Lambda}$, we calculate the mass spectrum of the $\phi$ meson with the GI model. For the excited vector strangeonium states $\phi(3S,~4S,~5S,~6S)$ and $\phi(2D,~3D,~4D,~5D)$, we further investigate the electronic decay width with the Van Royen-Weisskopf formula, and the partial widths of the $\Lambda\bar{\Lambda}$, $\Xi^{-(*)}\bar{\Xi}^+$, and $\Sigma^{+(*)}\bar{\Sigma}^{-(*)}$ decay modes with the extended quark pair creation model. We find that the electronic decay width of the $D$-wave vector strangeonium is about $3\sim8$ times larger than that of the $S$-wave vector strangeonium. Around 2232 MeV the partial decay width of the $\Lambda\bar{\Lambda}$ mode can reach up to several MeV for $\phi(3^3S_1)$, while the partial $\Lambda\bar{\Lambda}$ decay width of $\phi(2^3D_1)$ is $\mathcal{O}(10^{-3})$ keV. If the threshold enhancement reported by the BESIII Collaboration arises from the strangeonium meson, this state is very likely to be the $\phi(3^3S_1)$ state. We also note that the $\Lambda\bar{\Lambda}$ and $\Sigma^{+}\bar{\Sigma}^{-}$ partial decay widths of the states $\phi(3^3D_1)$ and $\phi(4^3S_1)$ are about several MeV, respectively, which are enough to be observed in future experiments.


title: Minimum Error Entropy Kalman Filter

abstract: To date most linear and nonlinear Kalman filters (KFs) have been developed under the Gaussian assumption and the well-known minimum mean square error (MMSE) criterion. In order to improve the robustness with respect to impulsive (or heavy-tailed) non-Gaussian noises, the maximum correntropy criterion (MCC) has recently been used to replace the MMSE criterion in developing several robust Kalman-type filters. To deal with more complicated non-Gaussian noises such as noises from multimodal distributions, in the present paper we develop a new Kalman-type filter, called minimum error entropy Kalman filter (MEE-KF), by using the minimum error entropy (MEE) criterion instead of the MMSE or MCC. Similar to the MCC based KFs, the proposed filter is also an online algorithm with recursive process, in which the propagation equations are used to give prior estimates of the state and covariance matrix, and a fixed-point algorithm is used to update the posterior estimates. In addition, the minimum error entropy extended Kalman filter (MEE-EKF) is also developed for performance improvement in the nonlinear situations. The high accuracy and strong robustness of MEE-KF and MEE-EKF are confirmed by experimental results.


title: UR-FUNNY: A Multimodal Language Dataset for Understanding Humor

abstract: Humor is a unique and creative communicative behavior displayed during social interactions. It is produced in a multimodal manner, through the usage of words (text), gestures (vision) and prosodic cues (acoustic). Understanding humor from these three modalities falls within boundaries of multimodal language; a recent research trend in natural language processing that models natural language as it happens in face-to-face communication. Although humor detection is an established research area in NLP, in a multimodal context it is an understudied area. This paper presents a diverse multimodal dataset, called UR-FUNNY, to open the door to understanding multimodal language used in expressing humor. The dataset and accompanying studies, present a framework in multimodal humor detection for the natural language processing community. UR-FUNNY is publicly available for research.


title: Solving Differential Equation with Constrained Multilayer Feedforward Network

abstract: In this paper, we present a novel framework to solve differential equations based on multilayer feedforward network. Previous works indicate that solvers based on neural network have low accuracy due to that the boundary conditions are not satisfied accurately. The boundary condition is now inserted directly into the model as boundary term, and the model is a combination of a boundary term and a multilayer feedforward network with its weight function. As the boundary condition becomes predefined constraintion in the model itself, the neural network is trained as an unconstrained optimization problem. This leads to both ease of training and high accuracy. Due to universal convergency of multilayer feedforward networks, the new method is a general approach in solving different types of differential equations. Numerical examples solving ODEs and PDEs with Dirichlet boundary condition are presented and discussed.


title: Microwave Meissner Screening of Proximity coupled Topological Insulator / Superconductor Bilayers

abstract: The proximity coupled topological insulator / superconductor (TI/SC) bilayer system is a representative system to realize topological superconductivity. In order to better understand this unique state and design devices from the TI/SC bilayer, a comprehensive understanding of the microscopic properties of the bilayer is required. In this work, a microwave Meissner screening study, which exploits a high-precision microwave resonator technique, is conducted on the SmB6/YB6 thin film bilayers as an example TI/SC system. The study reveals spatially dependent electrodynamic screening response of the TI/SC system that is not accessible to other techniques, from which the corresponding microscopic properties of a TI/SC bilayer can be obtained. The TI thickness dependence of the effective penetration depth suggests the existence of a bulk insulating region in the TI layer. The spatially dependent electrodynamic screening model analysis provides an estimate for the characteristic lengths of the TI/SC bilayer: normal penetration depth, normal coherence length, and the thickness of the surface states. We also discuss implications of these characteristic lengths on the design of a vortex Majorana device such as the radius of the vortex core, the energy splitting due to intervortex tunneling, and the minimum thickness required for a device.


title: Spatial Control of Frost Formation on Surfaces with Millimetric Serrated Features

abstract: Numerous studies have focused on a low surface energy coating and a micro/nanoscale surface texture to design functional surfaces that delay frost formation and reduce ice adhesion. However, the scientific challenges for in developing icephobic surfaces have not been fully addressed because of degradation such as mechanical wearing. Inspired by the suppressed frost formation on concave regions of natural leaves, here we report findings on the frosting process on hydrophobic surfaces with various serrated structures. Dropwise condensation, the first stage of frosting, is enhanced on the peaks and suppressed in the valleys when the serrated surface is exposed to humid air, causing frosting to initiate from the peak. The condensed droplets in the valley are then evaporated due to the different equilibrium vapor pressure of ice and water, resulting in a non-frost band on both hydrophobic and superhydrophilic surfaces. The frost growth is systematically studied by employing various levels of ambient humidity, surface wettability, and surface geometry. Numerical simulations show the critical role of diffusion of water vapor in the formation of the discontinuous frost pattern.


title: Octahedral developing of knot complement II: Ptolemy coordinates and applications

abstract: It is known that a knot complement (minus two points) decomposes into ideal octahedra with respect to a given knot diagram. In this paper, we study the Ptolemy variety for such an octahedral decomposition in perspective of Thurston's gluing equation variety. More precisely, we compute explicit Ptolemy coordinates in terms of segment and region variables, the coordinates of the gluing equation variety motivated from the volume conjecture. As a consequence, we present an explicit formula for computing the obstruction to lifting a $(\mathrm{PSL}(2,\mathbb{C}),P)$-representation of the knot group to a $(\mathrm{SL}(2,\mathbb{C}),P)$-representation. We also present a diagrammatic algorithm to compute a holonomy representation of the knot group.


title: Beta-delayed-neutron studies of $^{135,136}$Sb and $^{140}$I performed with trapped ions

abstract: Beta-delayed-neutron ($\beta$n) spectroscopy was performed using the Beta-decay Paul Trap and an array of radiation detectors. The $\beta$n branching ratios and energy spectra for $^{135,136}$Sb and $^{140}$I were obtained by measuring the time of flight of recoil ions emerging from the trapped ion cloud. These nuclei are located at the edge of an isotopic region identified as having $\beta$n branching ratios that impact the r-process abundance pattern around the A~130 peak. For $^{135,136}$Sb and $^{140}$I, $\beta$n branching ratios of 14.6(11)%, 17.6(28)%, and 7.6(28)% were determined, respectively. The $\beta$n energy spectra obtained for $^{135}$Sb and $^{140}$I are compared with results from direct neutron measurements, and the $\beta$n energy spectrum for $^{136}$Sb has been measured for the first time.


title: Biphasic Learning of GANs for High-Resolution Image-to-Image Translation

abstract: Despite that the performance of image-to-image translation has been significantly improved by recent progress in generative models, current methods still suffer from severe degradation in training stability and sample quality when applied to the high-resolution situation. In this work, we present a novel training framework for GANs, namely biphasic learning, to achieve image-to-image translation in multiple visual domains at $1024^2$ resolution. Our core idea is to design an adjustable objective function that varies across training phases. Within the biphasic learning framework, we propose a novel inherited adversarial loss to achieve the enhancement of model capacity and stabilize the training phase transition. Furthermore, we introduce a perceptual-level consistency loss through mutual information estimation and maximization. To verify the superiority of the proposed method, we apply it to a wide range of face-related synthesis tasks and conduct experiments on multiple large-scale datasets. Through comprehensive quantitative analyses, we demonstrate that our method significantly outperforms existing methods.


title: Imaging the stochastic microstructure and dynamic development of correlations in perpendicular artificial spin ice

abstract: We use spatially resolved magneto-optical Kerr microscopy to track the complete microstates of arrays of perpendicular anisotropy nanomagnets during magnetization hysteresis cycles. These measurements allow us to disentangle the intertwined effects of nearest neighbor interaction, disorder, and stochasticity on magnetization switching. We find that the nearest neighbor correlations depend on both interaction strength and disorder. We also find that although the global characteristics of the hysteretic switching are repeatable, the exact microstate sampled is stochastic with the behavior of individual islands varying between nonminally identical runs.


title: Secure Consistency Verification for Untrusted Cloud Storage by Public Blockchains

abstract: This work presents ContractChecker, a Blockchain-based security protocol for verifying the storage consistency between the mutually distrusting cloud provider and clients. Unlike existing protocols, the ContractChecker uniquely delegates log auditing to the Blockchain, and has the advantages in reducing client cost and lowering requirements on client availability, lending itself to modern scenarios with mobile and web clients. The ContractChecker collects the logs from both clients and the cloud server, and verifies the consistency by cross-checking the logs. By this means, it does not only detects the attacks from malicious clients and server forging their logs, but also is able to mitigate those attacks and recover the system from them. In addition, we design new attacks against ContractChecker exploiting various limits in real Blockchain systems (e.g., write unavailability, Blockchain forks, contract race conditions). We analyze and harden the security of ContractChecker protocols against the proposed new attacks. For evaluating the cost, we build a functional prototype of the ContractChecker on Ethereum/Solidity. By experiments on private and public Ethereum testnets, we extensively evaluate the cost of the ContractChecker in comparison with that of existing client-based log auditing works. The result shows the ContractChecker can scale to hundreds of clients and save client costs by more than one order of magnitude.


title: Multi-Similarity Loss with General Pair Weighting for Deep Metric Learning

abstract: A family of loss functions built on pair-based computation have been proposed in the literature which provide a myriad of solutions for deep metric learning. In this paper, we provide a general weighting framework for understanding recent pair-based loss functions. Our contributions are three-fold: (1) we establish a General Pair Weighting (GPW) framework, which casts the sampling problem of deep metric learning into a unified view of pair weighting through gradient analysis, providing a powerful tool for understanding recent pair-based loss functions; (2) we show that with GPW, various existing pair-based methods can be compared and discussed comprehensively, with clear differences and key limitations identified; (3) we propose a new loss called multi-similarity loss (MS loss) under the GPW, which is implemented in two iterative steps (i.e., mining and weighting). This allows it to fully consider three similarities for pair weighting, providing a more principled approach for collecting and weighting informative pairs. Finally, the proposed MS loss obtains new state-of-the-art performance on four image retrieval benchmarks, where it outperforms the most recent approaches, such as ABE\cite{Kim_2018_ECCV} and HTL by a large margin: 60.6% to 65.7% on CUB200, and 80.9% to 88.0% on In-Shop Clothes Retrieval dataset at Recall@1. Code is available at https://github.com/MalongTech/research-ms-loss.