title: Profiling minisat based on user defined execution time -- GPROF

abstract: This paper focuses on the explanation of the architecture of profilers particularly gprof and how to profile a program according to the user defined input of execution time . Gprof is a profiler available open source in the package of binutils. Gprof records the flow of the program including the callee and caller information and their respective execution time. This information is represented in the form of a call graph. Profilers at the time of execution creates a call graph file which indicates the full flow of the program including the individual execution time as well. This paper aims at providing a better understanding of the data structure used to store the information and how is a profiler(gprof) actually using this data structure to give user a readable format. The next section of this paper solves one of the limitation of gprof i.e. edit the time of block of code without understanding the call graph. Any changes in the execution time of a particular block of code would affect the total execution time. So if we edit the gprof in such a way that its consistent and platform independent, then it can yield various results like testing execution time after parallelism, before even designing it by replacing the values with theoretical/emulated ones and see if the total execution time is getting reduced by a desired number or not? Gprof edit can help us figure out that what section of code can be parallelized or which part of code is taking the most time and which call or part can be changed to reduce the execution time. The last section of the paper walks through the application of gprof in minisat and how gprof helps in the hardware acceleration in minisat by suggesting which part to be parallelised and how does it affect the total percentage.


title: Practical shift choice in the shift-and-invert Krylov subspace evaluations of the matrix exponential

abstract: We propose two methods to find a proper shift parameter in the shift-and-invert method for computing matrix exponential matrix-vector products. These methods are useful in the case of matrix exponential action has to be computed for a number of vectors. The first method is based on the zero-order optimization of the mean residual norm for a given number of initial vectors. The second method processes the vectors one-by-one and estimates, for each vector, the derivative of the residual norm as a function of the shift parameter. The estimated derivative value is then used to update the shift value for the next vector. To demonstrate the performance of the proposed methods we perform numerical experiments for two-dimensional non-stationary convection-diffusion equation with discontinuous coefficients and two-dimensional anisotropic diffusion equation.


title: Complete monotonicity-preserving numerical methods for time fractional ODEs

abstract: The time fractional ODEs are equivalent to convolutional Volterra integral equations with completely monotone kernels. We therefore introduce the concept of complete monotonicity-preserving ($\mathcal{CM}$-preserving) numerical methods for fractional ODEs, in which the discrete convolutional kernels inherit the $\mathcal{CM}$ property as the continuous equations. We prove that $\mathcal{CM}$-preserving schemes are at least $A(\pi/2)$ stable and can preserve the monotonicity of solutions to scalar nonlinear autonomous fractional ODEs, both of which are novel. Significantly, by improving a result of Li and Liu (Quart. Appl. Math., 76(1):189-198, 2018), we show that the $\mathcal{L}$1 scheme is $\mathcal{CM}$-preserving, so that the $\mathcal{L}$1 scheme is at least $A(\pi/2)$ stable, which is an improvement on stability analysis for $\mathcal{L}$1 scheme given in Jin, Lazarov and Zhou (IMA J. Numer. Analy. 36:197-221, 2016). The good signs of the coefficients for such class of schemes ensure the discrete fractional comparison principles, and allow us to establish the convergence in a unified framework when applied to time fractional sub-diffusion equations and fractional ODEs. The main tools in the analysis are a characterization of convolution inverses for completely monotone sequences and a characterization of completely monotone sequences using Pick functions due to Liu and Pego (Trans. Amer. Math. Soc. 368(12):8499-8518, 2016). The results for fractional ODEs are extended to $\mathcal{CM}$-preserving numerical methods for Volterra integral equations with general completely monotone kernels. Numerical examples are presented to illustrate the main theoretical results.


title: An updated analysis of satellite quantum-key distribution missions

abstract: Quantum key distribution (QKD) is a cryptographic method enabling two parties to establish a private encryption key. The range of communication of ground-based QKD is limited to an order of 100km, due to in-fibre attenuations and atmospheric losses, and the development of quantum repeaters remains technologically challenging. While trusted-node links make communication over large distances possible, satellite-QKD is required for communication over global distances. By using satellites equipped with high-quality optical links, satellite-QKD can achieve ultra-long-distance quantum communication in the 1000-km range. The significant potential of satellite-QKD for the creation of global quantum networks thus makes it a particularly interesting field of research. In this analysis, we begin with an overview of the technical parameters of performing satellite-QKD, including infrastructure and protocols. We continue with a high-level summary of advancements in satellite-QKD by analysing past, present and proposed satellite-QKD missions and initiatives around the world. We conclude by discussing the technical challenges currently faced in satellite-QKD, which can be tackled through future research in this area.


abstract: Recently generative models have focused on combining the advantages of variational autoencoders (VAE) and generative adversarial networks (GAN) for good reconstruction and generative abilities. In this work we introduce a novel hybrid architecture, Implicit Discriminator in Variational Autoencoder (IDVAE), that combines a VAE and a GAN, which does not need an explicit discriminator network. The fundamental premise of the IDVAE architecture is that the encoder of a VAE and the discriminator of a GAN utilize common features and therefore can be trained as a shared network, while the decoder of the VAE and the generator of the GAN can be combined to learn a single network. This results in a simple two-tier architecture that has the properties of both a VAE and a GAN. The qualitative and quantitative experiments on real-world benchmark datasets demonstrates that IDVAE perform better than the state of the art hybrid approaches. We experimentally validate that IDVAE can be easily extended to work in a conditional setting and demonstrate its performance on complex datasets.


title: Training convolutional neural networks with cheap convolutions and online distillation

abstract: The large memory and computation consumption in convolutional neural networks (CNNs) has been one of the main barriers for deploying them on resource-limited systems. To this end, most cheap convolutions (e.g., group convolution, depth-wise convolution, and shift convolution) have recently been used for memory and computation reduction but with the specific architecture designing. Furthermore, it results in a low discriminability of the compressed networks by directly replacing the standard convolution with these cheap ones. In this paper, we propose to use knowledge distillation to improve the performance of the compact student networks with cheap convolutions. In our case, the teacher is a network with the standard convolution, while the student is a simple transformation of the teacher architecture without complicated redesigning. In particular, we propose a novel online distillation method, which online constructs the teacher network without pre-training and conducts mutual learning between the teacher and student network, to improve the performance of the student model. Extensive experiments demonstrate that the proposed approach achieves superior performance to simultaneously reduce memory and computation overhead of cutting-edge CNNs on different datasets, including CIFAR-10/100 and ImageNet ILSVRC 2012, compared to the state-of-the-art CNN compression and acceleration methods. The codes are publicly available at https://github.com/EthanZhangYC/OD-cheap-convolution.


title: Terrestrial modification of the Ivuna meteorite and a reassessment of the chemical composition of the CI type specimen

abstract: The rare CI carbonaceous chondrites are the most aqueously altered and chemically primitive meteorites but due to their porous nature and high abundance of volatile elements are susceptible to terrestrial weathering. The Ivuna meteorite, type specimen for the CI chondrites, is the largest twentieth-century CI fall and least affected by terrestrial alteration. The main mass of Ivuna (BM2008 M1) has been stored in a nitrogen atmosphere at least since 2008 and is the most pristine CI chondrite stone. We report the mineralogy, petrography and bulk elemental composition of BM2008 M1 and a second Ivuna stone (BM1996 M4) stored in air. Both Ivuna stones are breccias consisting of multiple rounded, phyllosilicate-rich clasts formed through aqueous alteration followed by impact processing. A polished thin section of BM2008 M1 analysed immediately after preparation was found to contain sulphate-bearing veins formed when primary sulphides reacted with oxygen and atmospheric water. A section of BM1996 M4 lacked veins but had sulphate grains on the surface recently formed (last 6 years). Differences in the extent of terrestrial alteration recorded by BM2008 M1 and BM1996 M4 probably reflect variations in the post-recovery curation history of the stones before entering the NHM collection, and indicate that where possible pristine samples of hydrated carbonaceous should be kept out of the terrestrial environment in a stable environment to avoid modification. The bulk elemental composition of the two Ivuna stones show some variability due to their heterogeneous nature but in general are similar to previous analyses of CI chondrites. We combine our elemental abundances with literature values to calculate a new average composition for the Ivuna meteorite, which is in good agreement with existing compilations of CI chondrites and the most recent solar photospheric abundances.


title: Can the Uranian Satellites Form from a Debris Disk Generated by a Giant Impact?

abstract: Hydrodynamic simulations of a giant impact to proto-Uranus indicated that such an impact could tilt its rotational axis and produce a circumplanetary debris disk beyond the corotation radius of Uranus. However, whether Uranian satellites can actually be formed from such a wide disk remains unclear. Herein, we modeled a wide debris disk of solids with several initial conditions inferred from the hydrodynamic simulations, and performed $N$-body simulations to investigate in-situ satellite formation from the debris disk. We also took account of orbital evolutions of satellites due to the planetary tides after the growth of satellites. We found that, in any case, the orbital distribution of the five major satellites could not be reproduced from the disk as long as the power index of its surface density is similar to that of the disk generated just after the giant impact: Satellites in the middle region obtained much larger masses than Ariel or Umbriel, while the outermost satellite did not grow to the mass of Oberon. Our results indicate that we should consider the thermal and viscous evolution of the evaporated disk after the giant impact to form the five major satellites through the in-situ formation scenario. On the other hand, the small inner satellites would be formed from the rings produced by the disrupted satellites which migrated from around the corotation radius of Uranus due to the planetary tides.


title: Voting for Distortion Points in Geometric Processing

abstract: Low isometric distortion is often required for mesh parameterizations. A configuration of some vertices, where the distortion is concentrated, provides a way to mitigate isometric distortion, but determining the number and placement of these vertices is non-trivial. We call these vertices distortion points. We present a novel and automatic method to detect distortion points using a voting strategy. Our method integrates two components: candidate generation and candidate voting. Given a closed triangular mesh, we generate candidate distortion points by executing a three-step procedure repeatedly: (1) randomly cut an input to a disk topology; (2) compute a low conformal distortion parameterization; and (3) detect the distortion points. Finally, we count the candidate points and generate the final distortion points by voting. We demonstrate that our algorithm succeeds when employed on various closed meshes with a genus of zero or higher. The distortion points generated by our method are utilized in three applications, including planar parameterization, semi-automatic landmark correspondence, and isotropic remeshing. Compared to other state-of-the-art methods, our method demonstrates stronger practical robustness in distortion point detection.


title: Structural localization in the Classical and Quantum Fermi-Pasta-Ulam Model

abstract: We study the statistics and short-times dynamics of the classical and the quantum Fermi-Pasta-Ulam chain in thermal equilibrium. We analyze the distributions of single-particle configurations by integrating out the rest of the system. At low temperatures we observe a systematic increase in the mobility of the chain when transitioning from classical to quantum mechanics due to zero-point energy effects. We analyze the consequences of the quantum dispersion on the dynamics at short times of configurational correlation functions.


title: Universal DV-CV interaction mechanism for deterministic generation of entangled hybridity

abstract: We propose a general approach for the implementation of the hybrid entangled states consisting of continuous variable (CV) and discrete variable (DV) states. Peculiarities of DV-CV interaction mechanism on the beam splitter with arbitrary parameters is key for the for the birth of the entangled hybridity provided that some measurement event is registered in auxiliary mode. We show that the CV states forming entangled state can consist exclusively of either even or odd Fock states. Various input CV states including Schrodinger cat state (SCSs) are used at the input of the beam splitter where they mix with delocalized single photon. We show the hybrid entanglement generation is observed at any values of the experimental parameters used. Degree of the hybrid entanglement is evaluated. Conditions for generating the maximally entangled hybridity are established.


title: Contact Ion Pairs of Phosphate Groups in Water -- Two-Dimensional Infrared Spectroscopy of Dimethyl-Phosphate and Ab-Initio Simulations

abstract: The interaction of phosphate groups with ions in an aqueous environment has a strong impact on the structure and folding processes of DNA and RNA. The dynamic variety of ionic arrangements, including both contact pairs and water separated ions, and the molecular coupling mechanisms are far from being understood. In a combined experimental and theoretical approach, we address the properties of contact ion pairs of the prototypical system dimethyl-phosphate with Na$^+$, Ca$^{2+}$, and Mg$^{2+}$ ions in water. Linear and femtosecond two-dimensional infrared (2D-IR) spectroscopy of the asymmetric (PO$_2$)$^-$ stretching vibration separates and characterizes the different species via their blue-shifted vibrational signatures and 2D-IR lineshapes. Phosphate-magnesium contact pairs stand out as the most compact geometry while the contact pairs with Ca$^{2+}$ and Na$^+$ display a wider structural variation. Microscopic density functional theory simulations rationalize the observed frequency shifts and reveal distinct differences between the contact geometries.


title: Emirati-Accented Speaker Identification in Stressful Talking Conditions

abstract: This research is dedicated to improving text-independent Emirati-accented speaker identification performance in stressful talking conditions using three distinct classifiers: First-Order Hidden Markov Models (HMM1s), Second-Order Hidden Markov Models (HMM2s), and Third-Order Hidden Markov Models (HMM3s). The database that has been used in this work was collected from 25 per gender Emirati native speakers uttering eight widespread Emirati sentences in each of neutral, shouted, slow, loud, soft, and fast talking conditions. The extracted features of the captured database are called Mel-Frequency Cepstral Coefficients (MFCCs). Based on HMM1s, HMM2s, and HMM3s, average Emirati-accented speaker identification accuracy in stressful conditions is 58.6%, 61.1%, and 65.0%, respectively. The achieved average speaker identification accuracy in stressful conditions based on HMM3s is so similar to that attained in subjective assessment by human listeners.


title: Embedding spanning subgraphs in uniformly dense and inseparable graphs

abstract: We consider sufficient conditions for the existence of $k$-th powers of Hamiltonian cycles in $n$-vertex graphs $G$ with minimum degree $\mu n$ for arbitrarily small $\mu>0$. About 20 years ago Koml\'os, Sark\"ozy, and Szemer\'edi resolved the conjectures of P\'osa and Seymour and obtained optimal minimum degree conditions for this problem by showing that $\mu=\frac{k}{k+1}$ suffices for large $n$. For smaller values of $\mu$ the given graph $G$ must satisfy additional assumptions. We show that inducing subgraphs of density $d>0$ on linear subsets of vertices and being inseparable, in the sense that every cut has density at least $\mu>0$, are sufficient assumptions for this problem and, in fact, for a variant of the bandwidth theorem. This generalises recent results of Staden and Treglown.


title: Regression Planning Networks

abstract: Recent learning-to-plan methods have shown promising results on planning directly from observation space. Yet, their ability to plan for long-horizon tasks is limited by the accuracy of the prediction model. On the other hand, classical symbolic planners show remarkable capabilities in solving long-horizon tasks, but they require predefined symbolic rules and symbolic states, restricting their real-world applicability. In this work, we combine the benefits of these two paradigms and propose a learning-to-plan method that can directly generate a long-term symbolic plan conditioned on high-dimensional observations. We borrow the idea of regression (backward) planning from classical planning literature and introduce Regression Planning Networks (RPN), a neural network architecture that plans backward starting at a task goal and generates a sequence of intermediate goals that reaches the current observation. We show that our model not only inherits many favorable traits from symbolic planning, e.g., the ability to solve previously unseen tasks but also can learn from visual inputs in an end-to-end manner. We evaluate the capabilities of RPN in a grid world environment and a simulated 3D kitchen environment featuring complex visual scenes and long task horizons, and show that it achieves near-optimal performance in completely new task instances.


title: First observation of the solar Type III burst decay and its interpretation

abstract: A decay of Type III burst into two Type III bursts was registered during solar observations by GURT and URAN-2 radio telescopes on April 18, 2017. Such phenomenon was observed for the first time. Newborn Type III bursts have drift rates smaller than that of decaying Type III burst. Such decays of Type III bursts were predicted by a gas-dynamic theory of high-energy electron beams propagating through the thermal background plasma. In the frame of this theory Type III sources are beam-plasma structures moving with constant velocities. In our case the sum of velocities of newborn Type III sources equals the velocity of decaying Type III source. The last one is 0.33c in the case of fundamental radio emission and 0.2c at the harmonic radio emission of Type III burst. The density ratio of slow and fast newborn Type III sources is about 3.


title: Primitive values of rational functions at primitive elements of a finite field

abstract: Given a prime power $q$ and an integer $n\geq2$, we establish a sufficient condition for the existence of a primitive pair $(\alpha,f(\alpha))$ where $\alpha \in \mathbb{F}_q$ and $f(x) \in \mathbb{F}_q(x)$ is a rational function of degree $n$. (Here $f=f_1/f_2$, where $f_1, f_2$ are coprime polynomials of degree $n_1,n_2$, respectively, and $n_1+n_2=n$.) For any $n$, such a pair is guaranteed to exist for sufficiently large $q$. Indeed, when $n=2$, such a pair definitely does {\em not} exist only for 28 values of $q$ and possibly (but unlikely) only for at most $3911$ other values of $q$.


title: Asymptotic Behavior and Limiting Distribution of Quantum Walk on Cycles with General U(2) Coin by Reduced Characteristic Matrix Method

abstract: We calculated reduced density characteristic matrix (RDCM) for quantum walk on cycles (QWC) to study asymptotic properties of the most general form of quantum walk on cycles with general $U(2)$ coin operator. As an example, entanglement temperature for general initial state has been calculated and compared to previous results. Also, we have modified RDCM to derive analytical expression for general form of limiting distribution (LD).


title: Features of the Residual Velocity Ellipsoid of Hot Subdwarfs from the Gaia DR2 Catalog

abstract: The evolution of the parameters of the residual velocity ellipsoid of hot subdwarfs (HSDs) with their position relative to the Galactic plane is traced, using the HSDs selected by Geier et al. from the Gaia DR2 catalog. Parameters of the Galactic rotation are determined for two $|z|$ zones. These are used to estimate the gradient of the circular rotation velocity, $V_0,$ versus $|z|,$ found to be $\Delta V_0/\Delta |z|=-71\pm7$ km s$^{-1}$ kpc$^{-1}$. The size of the residual velocity ellipsoid is $(\sigma_1,\sigma_2,\sigma_3)=(36.1,27.6,22.8)\pm(0.4,0.8,0.6)$ km/s for HSDs at $|z|<0.5$ kpc and $(\sigma_1,\sigma_2,\sigma_3)=(56.9,55.8,39.7)\pm(0.9,1.1,0.8)$ km/s for HSDs at $|z|\geq0.5$ kpc. When forming the HSD residual velocities, the Galactic rotation was taken into account using individual approaches for each $z$ zone. Parameters of the residual velocity ellipsoids for HSDs located in four plane-parallel layers are also determined. The size of the ellipsoid increases with $z,$ and the inclination of the first axis relative to the Galactic plane also increases. This inclination is close to zero in zones close to the Galactic plane, $z\sim\pm0.2$ kpc, and rises to $\mp12\pm4^\circ$ for $z\sim\pm0.9$ kpc.


title: W-RNN: News text classification based on a Weighted RNN

abstract: Most of the information is stored as text, so text mining is regarded as having high commercial potential. Aiming at the semantic constraint problem of classification methods based on sparse representation, we propose a weighted recurrent neural network (W-RNN), which can fully extract text serialization semantic information. For the problem that the feature high dimensionality and unclear semantic relationship in text data representation, we first utilize the word vector to represent the vocabulary in the text and use Recurrent Neural Network (RNN) to extract features of the serialized text data. The word vector is then automatically weighted and summed using the intermediate output of the word vector to form the text representation vector. Finally, the neural network is used for classification. W-RNN is verified on the news dataset and proves that W-RNN is superior to other four baseline methods in Precision, Recall, F1 and loss values, which is suitable for text classification.


title: OpenNRE: An Open and Extensible Toolkit for Neural Relation Extraction

abstract: OpenNRE is an open-source and extensible toolkit that provides a unified framework to implement neural models for relation extraction (RE). Specifically, by implementing typical RE methods, OpenNRE not only allows developers to train custom models to extract structured relational facts from the plain text but also supports quick model validation for researchers. Besides, OpenNRE provides various functional RE modules based on both TensorFlow and PyTorch to maintain sufficient modularity and extensibility, making it becomes easy to incorporate new models into the framework. Besides the toolkit, we also release an online system to meet real-time extraction without any training and deploying. Meanwhile, the online system can extract facts in various scenarios as well as aligning the extracted facts to Wikidata, which may benefit various downstream knowledge-driven applications (e.g., information retrieval and question answering). More details of the toolkit and online system can be obtained from http://github.com/thunlp/OpenNRE.


title: An Optimal Algorithm for Multiplayer Multi-Armed Bandits

abstract: The paper addresses the Multiplayer Multi-Armed Bandit (MMAB) problem, where $M$ decision makers or players collaborate to maximize their cumulative reward. When several players select the same arm, a collision occurs and no reward is collected on this arm. Players involved in a collision are informed about this collision. We present DPE (Decentralized Parsimonious Exploration), a decentralized algorithm that achieves the same regret as that obtained by an optimal centralized algorithm. Our algorithm has better regret guarantees than the state-of-the-art algorithm SIC-MMAB \cite{boursier2019}. As in SIC-MMAB, players communicate through collisions only. An additional important advantage of DPE is that it requires very little communication. Specifically, the expected number of rounds where players use collisions to communicate is finite.


title: On Generalizing Detection Models for Unconstrained Environments

abstract: Object detection has seen tremendous progress in recent years. However, current algorithms don't generalize well when tested on diverse data distributions. We address the problem of incremental learning in object detection on the India Driving Dataset (IDD). Our approach involves using multiple domain-specific classifiers and effective transfer learning techniques focussed on avoiding catastrophic forgetting. We evaluate our approach on the IDD and BDD100K dataset. Results show the effectiveness of our domain adaptive approach in the case of domain shifts in environments.


title: Gradient flow model of mode-III fracture in Maxwell-type viscoelastic materials

abstract: We formulate a phase field crack growth model for mode III fracture in a Maxwell-type viscoelastic material. To describe viscoelastic relaxation, a field variable of viscously flowed strain is employed in addition to a displacement field and damage phase field used in the original elastic model. Unlike preceding models constructed in the mechanical engineering community, our model is based only on the generic procedure for driving (uni-directional) gradient flow system from a physically natural system energy and employ no additional assumption such as the super-imposed relations for stress and strain (and their time derivatives) valid only for linear viscoelasticity. Numerical simulations indicate that the competition between increase in deformation by applied loading and the viscoelastic relaxation determines whether a distinct crack propagation has occurred from an initial crack. Furthermore, we consider the numerical results from an energetic perspective.


title: Wasserstein-2 Generative Networks

abstract: We propose a novel end-to-end non-minimax algorithm for training optimal transport mappings for the quadratic cost (Wasserstein-2 distance). The algorithm uses input convex neural networks and a cycle-consistency regularization to approximate Wasserstein-2 distance. In contrast to popular entropic and quadratic regularizers, cycle-consistency does not introduce bias and scales well to high dimensions. From the theoretical side, we estimate the properties of the generative mapping fitted by our algorithm. From the practical side, we evaluate our algorithm on a wide range of tasks: image-to-image color transfer, latent space optimal transport, image-to-image style transfer, and domain adaptation.


title: Novel method to reliably determine the photon helicity in $b\to s\gamma$

abstract: A sizable right-handed photon polarization in $b\to s\gamma$ is a clear signal for new physics. In this work we point out that the photon helicity in $b\to s\gamma$ can be unambiguously extracted by combining the measurements in $B\to K_1\gamma$ and the Cabibbo-favored $D\to K_1 e^+\nu$ decay. We propose a ratio of up-down asymmetries in $D\to K_1 e^+\nu$ to quantify the hadronic effects. { A method for measuring in experiment the involved partial decay widths in the ratio is discussed, and experimental facilities like BESIII, Belle-II and LHCb are likely to measure this ratio. We also give the angular distribution that is useful to extract the photon polarization in the presence of different kaon resonances. }


title: Demand forecasting in supply chain: The impact of demand volatility in the presence of promotion

abstract: The demand for a particular product or service is typically associated with different uncertainties that can make them volatile and challenging to predict. Demand unpredictability is one of the managers' concerns in the supply chain that can cause large forecasting errors, issues in the upstream supply chain and impose unnecessary costs. We investigate 843 real demand time series with different values of coefficient of variations (CoV) where promotion causes volatility over the entire demand series. In such a case, forecasting demand for different CoV require different models to capture the underlying behavior of demand series and pose significant challenges due to very different and diverse demand behavior. We decompose demand into baseline and promotional demand and propose a hybrid model to forecast demand. Our results indicate that our proposed hybrid model generates robust and accurate forecast across series with different levels of volatilities. We stress the necessity of decomposition for volatile demand series. We also model demand series with a number of well known statistical and machine learning (ML) models to investigate their performance empirically. We found that ARIMA with covariate (ARIMAX) works well to forecast volatile demand series, but exponential smoothing with covariate (ETSX) has a poor performance. Support vector regression (SVR) and dynamic linear regression (DLR) models generate robust forecasts across different categories of demands with different CoV values.


title: An Impedance Sensing Platform for Monitoring Heterogeneous Connectivity and Diagnostics in Lab-on-a-Chip Systems

abstract: Reliable hardware connectivity is vital in heterogeneous integrated systems. For example, in digital microfluidics lab-on-a-chip systems, there are hundreds of physical connections required between a micro-electro-mechanical fabricated device and the driving system that can be remotely located on a printed-circuit-board. Unfortunately, the connection reliability cannot be checked or monitored by vision-based detection methods that are commonly used in the semiconductor industry. Therefore, a sensing platform that can be seamlessly integrated into existing digital microfluidics systems and provide real-time monitoring of multi-connectivity is highly desired. Here, we report an impedance sensing platform that can provide fast detection of a single physical connection in timescales of milli-seconds. Once connectivity is established, the same set-up can be used to determine droplet location. The sensing system can be scaled up to support multiple channels or applied to other heterogeneously integrated systems that require real-time monitoring and diagnostics of multi-connectivity systems.


title: Lattice Boltzmann simulations of melting in a rectangular cavity heated locally from below at high Rayleigh number

abstract: This work presented a block triple-relaxation-time (B-TriRT) lattice Boltzmann model for simulating melting in a rectangular cavity heated from below at high Rayleigh (Ra) number (Ra = 108). The test of benchmark problem shows that present B-TriRT can dramatically reduce the numerical diffusion across the phase interface. In addition, the influences of the location of the heated region are investigated. The results indicate that the location of heated region plays an essential role in melting rate and the full melting occur earliest when the heated region is located in the middle region.


title: Localization formulas on complex supermanifolds

abstract: In this work we provide a localization formulae for odd holomorphic super vector fields on compact complex supermanifolds with fermionic dimension equal to the bosonic dimension. We prove a residue theorem for holomorphic super vector fields with non-degenerated and isolated singularities and we determine the residues under certain generic local conditions.


title: Size-Dependent Structural and Magnetic Properties of Disordered Co2FeAl Heusler Alloy Nanoparticles

abstract: Co2FeAl (CFA) nanoparticles (NPs) of different sizes were synthesized by chemical route. The effect of the size of NPs upon the structure and magnetization compared to its bulk counterpart was investigated. The structure and composition were determined from X-ray diffraction (XRD) and electron microscopy. XRD analysis shows that the samples are having single (A2-type) disordered phase. Magnetization measurements suggest that the samples are soft ferromagnetic in nature with very low coercivity. Enhanced magnetic properties like saturation magnetization, coercive force, retentivity, and Curie-temperature are observed with a decrease in particle size. The effect of particle size on hysteresis losses is also discussed. The smallest particles of size 16 nm exhibited the highest saturation magnetization and transition temperature of 180.73 emu/g and 1261 K, respectively. The origin of enhancement in the magnetization of Co2FeAl nano-alloy is attributed to the strong Co-Co exchange interaction due to disorder present in the systems.


title: Superionic liquids in conducting nanoslits: A variety of phase transitions and ensuing charging behavior

abstract: We develop a theory of charge storage in ultra-narrow slit-like pores of nano\-structured electrodes. Our analysis is based on the Blume-Capel model in external field, which we solve analytically on a Bethe lattice. The obtained solutions allow us to explore the complete phase diagram of confined ionic liquids in terms of the key parameters characterising the system, such as pore ionophilicity, interionic interaction energy and voltage. The phase diagram includes the lines of first and second-order, direct and re-entrant, phase transitions, which are manifested by singularities in the corresponding capacitance-voltage plots. To test our predictions experimentally requires mono-disperse, conducting, ultra-narrow slit pores, permitting only one layer of ions, and thick pore walls, preventing interionic interactions across the pore walls. However, some qualitative features, which distinguish the behavior of ionophilic and ionophobic pores, and its underlying physics, may emerge in future experimental studies of more complex electrode structures.


title: Using simulated annealing for locating array construction

abstract: Context: Combinatorial interaction testing is known to be an efficient testing strategy for computing and information systems. Locating arrays are mathematical objects that are useful for this testing strategy, as they can be used as a test suite that enables fault localization as well as fault detection. In this application, each row of an array is used as an individual test. Objective: This paper proposes an algorithm for constructing locating arrays with a small number of rows. Testing cost increases as the number of tests increases; thus the problem of finding locating arrays of small sizes is of practical importance. Method: The proposed algorithm uses simulation annealing, a meta-heuristic algorithm, to find locating array of a given size. The whole algorithm repeatedly executes the simulated annealing algorithm by dynamically varying the input array size. Results: Experimental results show 1) that the proposed algorithm is able to construct locating arrays for problem instances of large sizes and 2) that, for problem instances for which nontrivial locating arrays are known, the algorithm is often able to generate locating arrays that are smaller than or at least equal to the known arrays. Conclusion: Based on the results, it is concluded that the proposed algorithm can produce small locating arrays and scale to practical problems.


title: Quantum surface holonomies for loop quantum gravity and their application to black hole horizons

abstract: In this work we define a new type of flux operators on the Hilbert space of loop quantum gravity. We use them to solve an equation of the form $F(A)=c\,\Sigma$ in loop quantum gravity. This equation, which relates the curvature of a connection $A$ with its canonical conjugate $\Sigma=*E$, plays an important role for spherically symmetric isolated horizons, and, more generally, for maximally symmetric geometries and for the Kodama state. If the equation holds, the new flux operators can be interpreted as a quantization of surface holonomies from higher gauge theory. Also, they represent a kind of quantum deformation of SU(2). We investigate their properties and discuss how they can be used to define states that satisfy the isolated horizon boundary condition in the quantum theory.


title: GLA-Net: An Attention Network with Guided Loss for Mismatch Removal

abstract: Mismatch removal is a critical prerequisite in many feature-based tasks. Recent attempts cast the mismatch removal task as a binary classification problem and solve it through deep learning based methods. In these methods, the imbalance between positive and negative classes is important, which affects network performance, i.e., Fn-score. To establish the link between Fn-score and loss, we propose to guide the loss with the Fn-score directly. We theoretically demonstrate the direct link between our Guided Loss and Fn-score during training. Moreover, we discover that outliers often impair global context in mismatch removal networks. To address this issue, we introduce the attention mechanism to mismatch removal task and propose a novel Inlier Attention Block (IA Block). To evaluate the effectiveness of our loss and IA Block, we design an end-to-end network for mismatch removal, called GLA-Net \footnote{Our code will be available in Github later.}. Experiments have shown that our network achieves the state-of-the-art performance on benchmark datasets.


title: A simple two-component description of energy equipartition and mass segregation for anisotropic globular clusters

abstract: In weakly collisional stellar systems such as some globular clusters, partial energy equipartition and mass segregation are expected to develop as a result of the cumulative effect of stellar encounters even in systems initially characterized by star-mass independent density and energy distributions. In parallel, numerical simulations have demonstrated that radially-biased pressure anisotropy slowly builds up in realistic models of globular clusters from initial isotropic conditions, leading to anisotropy profiles that, to some extent, mimic those resulting from incomplete violent relaxation known to be relevant to elliptical galaxies. In this paper we consider a set of realistic simulations realized by means of Monte Carlo methods and analyze them by means of self-consistent two-component models. For the purpose, we refer to an underlying distribution function, originally conceived to describe elliptical galaxies, that has been recently truncated and adapted to the context of globular clusters. The two components are meant to represent light stars (combining all main sequence stars) and heavy stars (giants, dark remnants, and binaries). We show that this conceptually simple family of two-component truncated models provides a reasonable description of simulated density, velocity dispersion, and anisotropy profiles, especially for the most relaxed systems, with the capability to express quantitatively the attained levels of energy equipartition and mass segregation. In contrast, two-component isotropic models based on the King distribution function do not offer a comparably satisfactory representation of the simulated globular clusters. With this work we provide a new reliable diagnostic tool applicable to nonrotating globular clusters that are characterized by significant gradients in the local value of the mass-to-light ratio, beyond the commonly used one-component dynamical models.


title: Optical scheme for cryptographic commitments with physical unclonable keys

abstract: We investigate the possibility of using multiple-scattering optical media, as resources of randomness in cryptographic tasks pertaining to commitments and auctions. The proposed commitment protocol exploits standard wavefront-shaping and heterodyne-detection techniques, and can be implemented with current technology. Its security is discussed in the framework of a tamper-resistant trusted setup.

categories: quant-ph cs.CR physics.app-ph physics.optics


title: Cubic Hodge integrals and integrable hierarchies of Volterra type

abstract: A tau function of the 2D Toda hierarchy can be obtained from a generating function of the two-partition cubic Hodge integrals. The associated Lax operators turn out to satisfy an algebraic relation. This algebraic relation can be used to identify a reduced system of the 2D Toda hierarchy that emerges when the parameter $\tau$ of the cubic Hodge integrals takes a special value. Integrable hierarchies of the Volterra type are shown to be such reduced systems. They can be derived for positive rational values of $\tau$. In particular, the discrete series $\tau = 1,2,\ldots$ correspond to the Volterra lattice and its hungry generalizations. This provides a new explanation to the integrable structures of the cubic Hodge integrals observed by Dubrovin et al. in the perspectives of tau-symmetric integrable Hamiltonian PDEs.


title: On Representing Resilience Requirements of Microservice Architecture Systems

abstract: Together with the spread of DevOps practices and container technologies, Microserivce Architecture has become a mainstream architecture style in recent years. Resilience is a key characteristic in Microservice Architecture Systems(MSA Systems), and it shows the ability to cope with various kinds of system disturbances which cause degradations of services. However, due to lack of consensus definition of resilience in the software field, although a lot of work has been done on resilience for MSA Systems, developers still don't have a clear idea on how resilient an MSA System should be, and what resilience mechanisms are needed. In this paper, by referring to existing systematic studies on resilience in other scientific areas, the definition of microservice resilience is provided and a Microservice Resilience Measurement Model is proposed to measure service resilience. And a requirement model to represent resilience requirements of MSA Systems is given. The requirement model uses elements in KAOS to represent notions in the measurement model, and decompose service resilience goals into system behaviors that can be executed by system components. As a proof of concept, a case study is conducted on an MSA System to illustrate how the proposed models are applied.


title: Meson-Nucleon Scattering Amplitudes from Lattice QCD

abstract: Lattice QCD calculations of resonant meson-meson scattering amplitudes have improved significantly due to algorithmic and computational advances. However, progress in meson-nucleon scattering has been slower due to difficulties in computing the necessary correlation functions, the exponential signal-to-noise problem, and the finite-volume treatment of scattering with fermions. Nonetheless, first benchmark calculations have now been performed. The status of lattice QCD calculations of meson-nucleon scattering amplitudes is reviewed together with comments on future prospects.


title: Thermally-induced nonlinear spatial shaping of infrared femtosecond pulses in nematic liquid crystals

abstract: An optically-induced thermal non-linear effect in a nematic liquid-crystal (E7) cell is evidenced through weak light-absorption by the ITO coating of an infrared pulsed femtosecond laser (m). Strong spatial self-phase modulation is generated, thus a multiple-ring pattern is observed in the far-field. The sign of the nonlinearity is changed depending on the laser polarization. The refractive index and thermal gradients are measured as a function of the laser intensity and we observe that the temperature can increase close to the nematic phase transition. The fidelity and stability of the process open new prospects for spatial shaping devices and delimits the operating wavelength range for ultrafast liquid-crystal based electro-optic application.


title: Canonical interpretation of the $X(4140)$ state within the $^3P_0$ model

abstract: Recently, the LHCb Collaboration has confirmed the state $X(4140)$, with a mass $M=4146.5\pm 4.5^{+4.6}_{-2.8}$~MeV, and a much larger width $\Gamma=83\pm21^{+21}_{-14}$~MeV than the previous experimental measurements, which has confused the understanding of its nature. We will investigate the possibility of the $\chi_{c1}(3P)$ interpretation for the $X(4140)$, considering the mass spectra predicted in the quark model, and the strong decay properties within the $^3P_0$ model. We also predict the strong decay properties of the charmonium states $\chi_{c0}(3P)$ and $\chi_{c2}(3P)$. Our results show that the $X(4140)$ state with the small width given in PDG can be explained as the charmonium state $\chi_{c1}(3P)$ in the $^3P_0$ model, and high precision measurement of the width of the $X(4140)$ is crucial to understand its nature.


title: On proximal relations in transformation semigroups arising from generalized shifts

abstract: For a finite discrete topological space $X$ with at least two elements, a nonempty set $\Gamma$, and a map $\varphi:\Gamma\to\Gamma$, $\sigma_\varphi:X^\Gamma\to X^\Gamma$ with $\sigma_\varphi((x_\alpha)_{\alpha\in\Gamma})= (x_{\varphi(\alpha)})_{\alpha\in\Gamma}$ (for $(x_\alpha)_{\alpha\in\Gamma}\in X^\Gamma$) is a generalized shift. In this text for $\mathcal{S}=\{\sigma_\psi:\psi\in\Gamma^\Gamma\}$ and $\mathcal{H}=\{\sigma_\psi: \Gamma\mathop{\rightarrow}\limits^{\psi}\Gamma$ is bijective$\}$ we study proximal relations of transformation semigroups $(\mathcal{S},X^\Gamma)$ and $(\mathcal{H},X^\Gamma)$. Regarding proximal relation we prove: \[P({\mathcal S},X^\Gamma)=\{((x_\alpha)_{\alpha\in\Gamma},(y_\alpha)_{\alpha\in\Gamma}) \in X^\Gamma\times X^\Gamma: \exists\beta\in\Gamma\:(x_\beta=y_\beta)\}\] and $P({\mathcal H},X^\Gamma)\subseteq \{((x_\alpha)_{\alpha\in\Gamma},(y_\alpha)_{\alpha\in\Gamma}) \in X^\Gamma\times X^\Gamma: \{\beta\in\Gamma:x_\beta=y_\beta\}$ is infinite~$\}\cup\{ (x,x):x\in \mathcal{X}\}$. \\ Moreover, for infinite $\Gamma$, both transformation semigroups $({\mathcal S},X^\Gamma)$ and $({\mathcal H},X^\Gamma)$ are regionally proximal, i.e., $Q({\mathcal S},X^\Gamma)=Q({\mathcal H},X^\Gamma)=X^\Gamma \times X^\Gamma$, also for sydetically proximal relation we have $L({\mathcal H},X^\Gamma)=\{((x_\alpha)_{\alpha\in\Gamma},(y_\alpha)_{\alpha\in\Gamma}) \in X^\Gamma\times X^\Gamma: \{\gamma\in\Gamma:x_\gamma\neq y_\gamma\}$ is finite$\}$.


title: Plasmodium Detection Using Simple CNN and Clustered GLCM Features

abstract: Malaria is a serious disease caused by the Plasmodium parasite that transmitted through the bite of a female Anopheles mosquito and invades human erythrocytes. Malaria must be recognized precisely in order to treat the patient in time and to prevent further spread of infection. The standard diagnostic technique using microscopic examination is inefficient, the quality of the diagnosis depends on the quality of blood smears and experience of microscopists in classifying and counting infected and non-infected cells. Convolutional Neural Networks (CNN) is one of deep learning class that able to automate feature engineering and learn effective features that could be very effective in diagnosing malaria. This study proposes an intelligent system based on simple CNN for detecting malaria parasites through images of thin blood smears. The CNN model obtained high sensitivity of 97% and relatively high PPV of 81%. This study also proposes a false positive reduction method using feature clustering extracted from the gray level co-occurrence matrix (GLCM) from the Region of Interests (ROIs). Adding the GLCM feature can significantly reduce false positives. However, this technique requires manual set up of silhouette and euclidean distance limits to ensure cluster quality, so it does not adversely affect sensitivity.


title: A varying terminal time mean-variance model

abstract: To improve the efficient frontier of the classical mean-variance model in continuous time, we propose a varying terminal time mean-variance model with a constraint on the mean value of the portfolio asset, which moves with the varying terminal time. Using the embedding technique from stochastic optimal control in continuous time and varying the terminal time, we determine an optimal strategy and related deterministic terminal time for the model. Our results suggest that doing so for an investment plan requires minimizing the variance with a varying terminal time.


title: Analysis of an Asymptotic Preserving Low Mach Number Accurate IMEX-RK Scheme for the Wave Equation System

abstract: In this paper the analysis of an asymptotic preserving (AP) IMEX-RK finite volume scheme for the wave equation system in the zero Mach number limit is presented. The accuracy of a numerical scheme at low Mach numbers is its ability to maintain the solution close to the incompressible solution for all times, and this can be formulated in terms of the invariance of a space of constant densities and divergence-free velocities. An IMEX-RK methodology is employed to obtain a time semi-discrete scheme, and a space-time fully-discrete scheme is derived by using standard finite volume techniques. The existence of a unique numerical solution, its uniform stability with respect to the Mach number, the AP property, and the accuracy at low Mach numbers are established for both time semi-discrete, and space-time fully-discrete schemes. Extensive numerical case studies confirm uniform second order convergence of the scheme with respect to the Mach number, and all the above-mentioned properties.


title: Attention-based method for categorizing different types of online harassment language

abstract: In the era of social media and networking platforms, Twitter has been doomed for abuse and harassment toward users specifically women. Monitoring the contents including sexism and sexual harassment in traditional media is easier than monitoring on the online social media platforms like Twitter, because of the large amount of user generated content in these media. So, the research about the automated detection of content containing sexual or racist harassment is an important issue and could be the basis for removing that content or flagging it for human evaluation. Previous studies have been focused on collecting data about sexism and racism in very broad terms. However, there is no much study focusing on different types of online harassment attracting natural language processing techniques. In this work, we present an multi-attention based approach for the detection of different types of harassment in tweets. Our approach is based on the Recurrent Neural Networks and particularly we are using a deep, classification specific multi-attention mechanism. Moreover, we tackle the problem of imbalanced data, using a back-translation method. Finally, we present a comparison between different approaches based on the Recurrent Neural Networks.


title: The structure of multiplicative functions with small partial sums

abstract: The Landau-Selberg-Delange method provides an asymptotic formula for the partial sums of a multiplicative function whose average value on primes is a fixed complex number $v$. The shape of this asymptotic implies that $f$ can get very small on average only if $v=0,-1,-2,\dots$. Moreover, if $v<0$, then the Dirichlet series associated to $f$ must have a zero of multiplicity $-v$ at $s=1$. In this paper, we prove a converse result that shows that if $f$ is a multiplicative function that is bounded by a suitable divisor function, and $f$ has very small partial sums, then there must be finitely many real numbers $\gamma_1$, $\dots$, $\gamma_m$ such that $f(p)\approx -p^{i\gamma_1}-\cdots-p^{-i\gamma_m}$ on average. The numbers $\gamma_j$ correspond to ordinates of zeroes of the Dirichlet series associated to $f$, counted with multiplicity. This generalizes a result of the first author, who handled the case when $|f|\le 1$ in previous work.


title: 5.5 years multi-wavelength variability of Mrk 421: evidences of leptonic emission from the radio to TeV

abstract: Mrk 421 is a high-synchrotron-peaked blazar featuring bright and persistent GeV and TeV emission. We use the longest and densest ongoing unbiased observing campaign obtained at TeV and GeV energies during 5.5 years with the FACT telescope and the Fermi-LAT detector. The contemporaneous multi-wavelength observations were used to characterize the variability of the source and to constrain the underlying physical mechanisms. We study and correlate light curves obtained by nine different instruments from radio to gamma rays and found two significant results. The TeV and X-ray light curves are very well correlated with lag, if any, shorter than a day. The GeV light curve varies independently and accurately leads the variations observed at long wavelengths, in particular in the radio band. We find that the observations match the predictions of leptonic models and suggest that the physical conditions vary along the jet, when the emitting region moves outwards.


title: The polarimetric imaging mode of VLT/SPHERE/IRDIS I: Description, data reduction and observing strategy

abstract: Context. Polarimetric imaging is one of the most effective techniques for high-contrast imaging and characterization of protoplanetary disks, and has the potential to be instrumental in characterizing exoplanets. VLT/SPHERE contains the InfraRed Dual-band Imager and Spectrograph (IRDIS) with a dual-beam polarimetric imaging (DPI) mode, which offers the capability to obtain linear polarization images at high contrast and resolution. Aims. We aim to provide an overview of IRDIS/DPI and study its optical design to improve observing strategies and data reduction. Methods. For H-band observations of TW Hya, we compare two data reduction methods that correct for instrumental polarization effects in different ways: a minimization of the noise image, and a polarimetric-model-based correction method that we present in Paper II of this study. Results. We use observations of TW Hya to illustrate the data reduction. In the images of the protoplanetary disk around this star we detect variability in the polarized intensity and angle of linear polarization with pointing-dependent instrument configuration. We explain these variations as instrumental polarization effects and correct for these effects using our model-based correction method. Conclusions. IRDIS/DPI has proven to be a very successful and productive high-contrast polarimetric imaging system. However, the instrument performance depends on the specific instrument configuration. We suggest adjustments to future observing strategies to optimize polarimetric efficiency in field tracking mode by avoiding unfavourable derotator angles. We recommend reducing on-sky data with the pipeline called IRDAP that includes the model-based correction method (described in Paper II) to optimally account for the remaining telescope and instrumental polarization effects and to retrieve the true polarization state of the incident light.


title: The polarimetric imaging mode of VLT/SPHERE/IRDIS II: Characterization and correction of instrumental polarization effects

abstract: Context. Circumstellar disks and self-luminous giant exoplanets or companion brown dwarfs can be characterized through direct-imaging polarimetry at near-infrared wavelengths. SPHERE/IRDIS at the Very Large Telescope has the capabilities to perform such measurements, but uncalibrated instrumental polarization effects limit the attainable polarimetric accuracy. Aims. We aim to characterize and correct the instrumental polarization effects of the complete optical system, i.e. the telescope and SPHERE/IRDIS. Methods. We create a detailed Mueller matrix model in the broadband filters Y-, J-, H- and Ks, and calibrate it using measurements with SPHERE's internal light source and observations of two unpolarized stars. We develop a data-reduction method that uses the model to correct for the instrumental polarization effects, and apply it to observations of the circumstellar disk of T Cha. Results. The instrumental polarization is almost exclusively produced by the telescope and SPHERE's first mirror and varies with telescope altitude angle. The crosstalk primarily originates from the image derotator (K-mirror). At some orientations, the derotator causes severe loss of signal (>90% loss in H- and Ks-band) and strongly offsets the angle of linear polarization. With our correction method we reach in all filters a total polarimetric accuracy of <0.1% in the degree of linear polarization and an accuracy of a few degrees in angle of linear polarization. Conclusions. The correction method enables us to accurately measure the polarized intensity and angle of linear polarization of circumstellar disks, and is a vital tool for detecting unresolved (inner) disks and measuring the polarization of substellar companions. We have incorporated the correction method in a highly-automatic end-to-end data-reduction pipeline called IRDAP which is publicly available at https://irdap.readthedocs.io.


title: The quaternionic Monge-Amp\`{e}re operator and plurisubharmonic functions on the Heisenberg group

abstract: Many fundamental results of pluripotential theory on the quaternionic space $\mathbb{H}^n$ are extended to the Heisenberg group. We introduce notions of a plurisubharmonic function, the quaternionic Monge-Amp\`{e}re operator, differential operators $d_0$ and $d_1$ and a closed positive current on the Heisenberg group. The quaternionic Monge-Amp\`{e}re operator is the coefficient of $ (d_0d_1u)^n$. We establish the Chern-Levine-Nirenberg type estimate, the existence of quaternionic Monge-Amp\`{e}re measure for a continuous quaternionic plurisubharmonic function and the minimum principle for the quaternionic Monge-Amp\`{e}re operator. Unlike the tangential Cauchy-Riemann operator $ \overline{\partial}_b $ on the Heisenberg group which behaves badly as $ \partial_b\overline{\partial}_b\neq -\overline{\partial}_b\partial_b $, the quaternionic counterpart $d_0$ and $d_1$ satisfy $ d_0d_1=-d_1d_0 $. This is the main reason that we have a better theory for the quaternionic Monge-Amp\`{e}re operator than $ (\partial_b\overline{\partial}_b)^n$.


title: Visualizing buried local carrier diffusion in halide perovskite crystals via two-photon microscopy

abstract: Halide perovskites have shown great potential for light emission and photovoltaic applications due to their remarkable electronic properties and compatibility with cost-effective fabrication techniques. Although the device performances are promising, they are still limited by microscale heterogeneities in their photophysical properties. In particular, the relation between local heterogeneities and the diffusion of charge carriers at the surface and in the bulk, crucial for efficient collection of charges in a light harvesting device, is not well understood. Here, a photoluminescence tomography technique is developed in a confocal microscope using one- and two-photon excitation to distinguish between local surface and bulk diffusion of charge carriers in methylammonium lead bromide single crystals. The local temporal diffusion is probed at various excitation depths to build statistics of local electronic diffusion coefficients. The measured values range between 0.3 to 2 $cm^2.s^{-1}$ depending on the local trap density and the morphological environment - a distribution that would be missed from analogous macroscopic or surface-measurements. Tomographic images of carrier diffusion were reconstructed to reveal buried crystal defects that act as barriers to carrier transport. This work reveals a new framework to understand and homogenise diffusion pathways, which are extremely sensitive to local properties and buried defects.


title: MULTIPOLAR: Multi-Source Policy Aggregation for Transfer Reinforcement Learning between Diverse Environmental Dynamics

abstract: Transfer reinforcement learning (RL) aims at improving the learning efficiency of an agent by exploiting knowledge from other source agents trained on relevant tasks. However, it remains challenging to transfer knowledge between different environmental dynamics without having access to the source environments. In this work, we explore a new challenge in transfer RL, where only a set of source policies collected under diverse unknown dynamics is available for learning a target task efficiently. To address this problem, the proposed approach, MULTI-source POLicy AggRegation (MULTIPOLAR), comprises two key techniques. We learn to aggregate the actions provided by the source policies adaptively to maximize the target task performance. Meanwhile, we learn an auxiliary network that predicts residuals around the aggregated actions, which ensures the target policy's expressiveness even when some of the source policies perform poorly. We demonstrated the effectiveness of MULTIPOLAR through an extensive experimental evaluation across six simulated environments ranging from classic control problems to challenging robotics simulations, under both continuous and discrete action spaces. The demo videos and code are available on the project webpage: https://omron-sinicx.github.io/multipolar/.


title: Necessary and Sufficient Criteria for Gaussian Quantum Teleportation

abstract: Quantum teleportation (QT) serves as one of the building blocks of the current state information science and technology which necessitates proper characterization of the resources yielding QT. While entanglement is known to be the basic requirement to achieve QT, condition of sufficiency for QT still remains an open question. Here, we provide an analytic proof that in the case of Gaussian entangled resources, in general, Einstein-Podolsky-Rosen (EPR) correlation is {\em sufficient for QT}. For a relatively restricted set of Gaussian states we provide even a tighter condition that EPR correlation is {\em both necessary and sufficient for QT}. Our results, in turn, provide a complete characterization of the resources required for QT.


title: A study of dynamical effects in the observed second time-derivative of the spin or orbital frequencies of pulsars

abstract: The observed values of the time-derivatives of the spin or orbital frequency of pulsars are affected by their dynamical properties. We derive thorough analytical expressions for such dynamical contributions in terms of the Galactic coordinates, the proper motion, the pulsar distance, and the radial velocity. We find that the effects of the dynamical terms in the second-derivative of frequencies or parameters based on such second derivatives, e.g., braking index, are usually negligible. However, unique pulsars for which the effects of the dynamical terms are significant can exist. In particular, dynamical effects can make the magnitude of the observed value of the braking index to be in the order of thousand while the true value of it is close to the theoretically expected value three, especially if the pulsars lie close to the Galactic centre. Dynamics can also affect the value of the second derivative of the orbital frequency of a binary pulsar at the first decimal place. We also emphasize the fact that our expressions provide more accurate results than pre-existing approximate ones that exclude some of the terms. Comparison with a set of pulsars showed that the median value of the difference between the results obtained by our method and a pre-existing method is about 50 percent.


title: Anisotropic Avalanches and Critical Depinning of Three-Dimensional Magnetic Domain Walls

abstract: Simulations with more than $10^{12}$ spins are used to study the motion of a domain wall driven through a three-dimensional random-field Ising magnet (RFIM) by an external field $H$. The interface advances in a series of avalanches whose size diverges at a critical external field $H_c$. Finite-size scaling is applied to determine critical exponents and test scaling relations. Growth is intrinsically anisotropic with the height of an avalanche normal to the interface $\ell_\perp$ scaling as the width along the interface $\ell_\|$ to a power $\chi=0.85 \pm 0.01$. The total interface roughness is consistent with self-affine scaling with a roughness exponent $\zeta \approx \chi$ that is much larger than values found previously for the RFIM and related models that explicitly break orientational symmetry by requiring the interface to be single-valued. Because the RFIM maintains orientational symmetry, the interface develops overhangs that may surround unfavorable regions to create uninvaded bubbles. Overhangs complicate measures of the roughness exponent but decrease in importance with increasing system size.


title: Higher Casimir operators and the Okounkov Polynomials

abstract: In this paper, we study a certain specialization of Okounkov polynomials and its connection with the eigenfunctions of higher Casimir operators for the complex semi-simple lie algebra gl_n.


title: Predictions for the Higgs boson mass measurement precision as a function of its transverse momentum up to 1 TeV for LHC and high luminosity LHC

abstract: The question of naturalness of the Standard Model (SM) has been a hot topic since the discovery that the Higgs boson has a relatively light mass. It has been pointed out in the past that the mass of a scalar boson can be destabilized by loop corrections. Many theories have been proposed beyond the SM to address this problem. It is possible that such mechanisms contribute to the running of the Higgs mass with the energy scale. We present predictions for the precision of the Higgs mass measurement up to a Higgs boson transverse momentum of 1 TeV for the LHC in Run 3 with a luminosity of 300 fb-1, and the high luminosity LHC with a luminosity of 3000 fb-1. Predictions are generated with Madgraph5, Pythia8 and Delphes based on the CMS detector resolution.


title: Visualizing gravitational Bessel waves

abstract: We explicitly derive a~vortex inspired solution for the metric perturbation within the linearized Einsteins general theory of relativity in arbitrary dimensions $D\geq 4$. We focus on $D=4$ where our solution is the gravitational analog of the well-known electromagnetic (or electron) Bessel vortex beams. Next we visualize the perturbed spacetime via tidal tendexes and frame-drag vortexes. We display and analyze mostly two-dimensional sections of the tendexes and the vortexes for different values of an angular momentum of the wave solution. Corresponding geodesic deviation equations are solved and the results are visualized. We show that the physically most important quadrupolelike case leads to a~wave with rotating polarization. We discuss asymptotical features of the found solution. We provide also several 3D plots of tendex lines. One of them concerns a~special cylindrical-like case and we utilize the topological classification of singularities of the depicted line fields as an approach to characterize the radiation field.


title: Distance-learning For Approximate Bayesian Computation To Model a Volcanic Eruption

abstract: Approximate Bayesian computation (ABC) provides us with a way to infer parameters of models, for which the likelihood function is not available, from an observation. Using ABC, which depends on many simulations from the considered model, we develop an inferential framework to learn parameters of a stochastic numerical simulator of volcanic eruption. Moreover, the model itself is parallelized using Message Passing Interface (MPI). Thus, we develop a nested-parallelized MPI communicator to handle the expensive numerical model with ABC algorithms. ABC usually relies on summary statistics of the data in order to measure the discrepancy model output and observation. However, informative summary statistics cannot be found for the considered model. We therefore develop a technique to learn a distance between model outputs based on deep metric-learning. We use this framework to learn the plume characteristics (eg. initial plume velocity) of the volcanic eruption from the tephra deposits collected by field-work associated with the 2450 BP Pululagua (Ecuador) volcanic eruption.


title: Unified Attitude Determination Problem from Vector Observations and Hand-eye Measurements

abstract: The hand-eye measurements have recently been proven to be very efficient for spacecraft attitude determination relative to an ellipsoidal asteroid. However, recent method does not guarantee full attitude observability for all conditions. This paper refines this problem by taking the vector observations into account so that the accuracy and robustness of the spacecraft attitude estimation can be improved. The vector observations come from many sources including visual perspective geometry, optical navigation and point clouds that frequently occur in aerospace electronic systems. Completely closed-form solutions along with their uncertainty descriptions are presented for the proposed problem. Experiments using our simulated dataset and real-world spacecraft measurements from NASA dawn spacecraft verify the effectiveness and superiority of the derived solution.


title: A generalization of Wilf's conjecture for Generalized Numerical Semigroups

abstract: A numerical semigroup is a submonoid of $\mathbb N$ with finite complement in $\mathbb N$. A generalized numerical semigroup is a submonoid of $\mathbb{N}^{d}$ with finite complement in $\mathbb{N}^{d}$. In the context of numerical semigroups, Wilf's conjecture is a long standing open problem whose study has led to new mathematics and new ways of thinking about monoids. A natural extension of Wilf's conjecture, to the class of $\mathcal C$-semigroups, was proposed by Garc\'ia-Garc\'ia, Mar\'in-Arag\'on, and Vigneron-Tenorio. In this paper, we propose a different generalization of Wilf's conjecture, to the setting of generalized numerical semigroups, and prove the conjecture for several large families including the irreducible, symmetric, and monomial case. We also discuss the relationship of our conjecture to the extension proposed by Garc\'ia-Garc\'ia, Mar\'in-Arag\'on, and Vigneron-Tenorio.


title: How to Evaluate Machine Learning Approaches for Combinatorial Optimization: Application to the Travelling Salesman Problem

abstract: Combinatorial optimization is the field devoted to the study and practice of algorithms that solve NP-hard problems. As Machine Learning (ML) and deep learning have popularized, several research groups have started to use ML to solve combinatorial optimization problems, such as the well-known Travelling Salesman Problem (TSP). Based on deep (reinforcement) learning, new models and architecture for the TSP have been successively developed and have gained increasing performances. At the time of writing, state-of-the-art models provide solutions to TSP instances of 100 cities that are roughly 1.33% away from optimal solutions. However, despite these apparently positive results, the performances remain far from those that can be achieved using a specialized search procedure. In this paper, we address the limitations of ML approaches for solving the TSP and investigate two fundamental questions: (1) how can we measure the level of accuracy of the pure ML component of such methods; and (2) what is the impact of a search procedure plugged inside a ML model on the performances? To answer these questions, we propose a new metric, ratio of optimal decisions (ROD), based on a fair comparison with a parametrized oracle, mimicking a ML model with a controlled accuracy. All the experiments are carried out on four state-of-the-art ML approaches dedicated to solve the TSP. Finally, we made ROD open-source in order to ease future research in the field.


title: Social Resource Allocation in a Mobility System with Connected and Automated Vehicles: A Mechanism Design Problem

abstract: In this paper, we investigate the social resource allocation in an emerging mobility system consisting of connected and automated vehicles (CAVs) using mechanism design. CAVs provide the most intriguing opportunity for enabling travelers to monitor mobility system conditions efficiently and make better decisions. However, this new reality will influence travelers' tendency-of-travel and might give rise to rebound effects, e.g., increased-vehicle-miles traveled. To tackle this phenomenon, we propose a mechanism design formulation that provides an efficient social resource allocation of travel time for all travelers. Our focus is on the socio-technical aspect of the problem, i.e., by designing appropriate socio-economic incentives, we seek to prevent potential rebound effects. In particular, we propose an economically inspired mechanism to influence the impact of the travelers' decision-making on the well-being of an emerging mobility system.


title: Learning Robust Data Representation: A Knowledge Flow Perspective

abstract: It is always demanding to learn robust visual representation for various learning problems; however, this learning and maintenance process usually suffers from noise, incompleteness or knowledge domain mismatch. Thus, robust representation learning by removing noisy features or samples, complementing incomplete data, and mitigating the distribution difference becomes the key. Along this line of research, low-rank modeling has been widely-applied to solving representation learning challenges. This survey covers the topic from a knowledge flow perspective in terms of: (1) robust knowledge recovery, (2) robust knowledge transfer, and (3) robust knowledge fusion, centered around several major applications. First of all, we deliver a unified formulation for robust knowledge discovery given single dataset. Second, we discuss robust knowledge transfer and fusion given multiple datasets with different knowledge flows, followed by practical challenges, model variations, and remarks. Finally, we highlight future research of robust knowledge discovery for incomplete, unbalance, large-scale data analysis. This would benefit AI community from literature review to future direction.


title: Magnetoconductance, Quantum Hall Effect, and Coulomb Blockade in Topological Insulator Nanocones

abstract: Magnetotransport through cylindrical topological insulator (TI) nanowires is governed by the interplay between quantum confinement and geometric (Aharonov-Bohm and Berry) phases. Here, we argue that the much broader class of TI nanowires with varying radius -- for which a homogeneous coaxial magnetic field induces a varying Aharonov-Bohm flux that gives rise to a non-trivial mass-like potential along the wire -- is accessible by studying its simplest member, a TI nanocone. Such nanocones allow to observe intriguing mesoscopic transport phenomena: While the conductance in a perpendicular magnetic field is quantized due to higher-order topological hinge states, it shows resonant transmission through Dirac Landau levels in a coaxial magnetic field. Furthermore, it may act as a quantum magnetic bottle, confining surface Dirac electrons and leading to a largely interaction-dominated regime of Coulomb blockade type. We show numerically that the above-mentioned effects occur for experimentally accessible values of system size and magnetic field, suggesting that TI nanocone junctions may serve as building blocks for Dirac electron optics setups.


title: Transmitting quantum information by superposing causal order of mutually unbiased measurements

abstract: Two quantum measurements sequentially acting one after the other, if they are mutually unbiased, will lead to a complete removal of information encoded in the input quantum state. We find that if the order of the two sequential measurements can be superposed, with a quantum switch, then the information encoded in the input can still be retained in the output state.


title: Feature Level Fusion from Facial Attributes for Face Recognition

abstract: We introduce a deep convolutional neural networks (CNN) architecture to classify facial attributes and recognize face images simultaneously via a shared learning paradigm to improve the accuracy for facial attribute prediction and face recognition performance. In this method, we use facial attributes as an auxiliary source of information to assist CNN features extracted from the face images to improve the face recognition performance. Specifically, we use a shared CNN architecture that jointly predicts facial attributes and recognize face images simultaneously via a shared learning parameters, and then we use facial attribute features an an auxiliary source of information concatenated by face features to increase the discrimination of the CNN for face recognition. This process assists the CNN classifier to better recognize face images. The experimental results show that our model increases both the face recognition and facial attribute prediction performance, especially for the identity attributes such as gender and race. We evaluated our method on several standard datasets labeled by identities and face attributes and the results show that the proposed method outperforms state-of-the-art face recognition models.


title: A Generalized Central Limit Conjecture for Convex Bodies

abstract: The central limit theorem for convex bodies says that with high probability the marginal of an isotropic log-concave distribution along a random direction is close to a Gaussian, with the quantitative difference determined asymptotically by the Cheeger/Poincare/KLS constant. Here we propose a generalized CLT for marginals along random directions drawn from any isotropic log-concave distribution; namely, for $x,y$ drawn independently from isotropic log-concave densities $p,q$, the random variable $\langle x,y\rangle$ is close to Gaussian. Our main result is that this generalized CLT is quantitatively equivalent (up to a small factor) to the KLS conjecture. Any polynomial improvement in the current KLS bound of $n^{1/4}$ in $\mathbb{R}^n$ implies the generalized CLT, and vice versa. This tight connection suggests that the generalized CLT might provide insight into basic open questions in asymptotic convex geometry.


title: Integrated Triaging for Fast Reading Comprehension

abstract: Although according to several benchmarks automatic machine reading comprehension (MRC) systems have recently reached super-human performance, less attention has been paid to their computational efficiency. However, efficiency is of crucial importance for training and deployment in real world applications. This paper introduces Integrated Triaging, a framework that prunes almost all context in early layers of a network, leaving the remaining (deep) layers to scan only a tiny fraction of the full corpus. This pruning drastically increases the efficiency of MRC models and further prevents the later layers from overfitting to prevalent short paragraphs in the training set. Our framework is extremely flexible and naturally applicable to a wide variety of models. Our experiment on doc-SQuAD and TriviaQA tasks demonstrates its effectiveness in consistently improving both speed and quality of several diverse MRC models.


title: Proper Orthogonal Decomposition Analysis and Modelling of the wake deviation behind a squareback Ahmed body

abstract: We investigate numerically the 3-D flow around a squareback Ahmed body at Reynolds number Re = 104. Proper Orthogonal Decomposition (POD) is applied to a symmetry-augmented database in order to describe and model the flow dynamics. Comparison with experiments at a higher Reynolds number in a plane section of the near-wake at mid-height shows that the simulation captures several features of the experimental flow, in particular the antisymmetric quasi-steady deviation mode. 3-D POD analysis allows us to classify the different physical processes in terms of mode contribution to the kinetic energy over the entire domain. It is found that the dominant fluctuating mode on the entire domain corresponds to the 3-D quasi-steady wake deviation, and that its amplitude is well estimated from 2-D near-wake data. The next most energetic flow fluctuations consist of vortex shedding and bubble pumping mechanisms. It is found that the amplitude of the deviation is negatively correlated with the intensity of the vortex shedding in the spanwise direction and the suction drag coefficient. Finally, we find that despite the slow convergence of the decomposition, a POD-based low-dimensional model reproduces the dynamics of the wake deviation observed experimentally, as well as the main characteristics of the global modes identified in the simulation.


title: Grouped Spatial-Temporal Aggregation for Efficient Action Recognition

abstract: Temporal reasoning is an important aspect of video analysis. 3D CNN shows good performance by exploring spatial-temporal features jointly in an unconstrained way, but it also increases the computational cost a lot. Previous works try to reduce the complexity by decoupling the spatial and temporal filters. In this paper, we propose a novel decomposition method that decomposes the feature channels into spatial and temporal groups in parallel. This decomposition can make two groups focus on static and dynamic cues separately. We call this grouped spatial-temporal aggregation (GST). This decomposition is more parameter-efficient and enables us to quantitatively analyze the contributions of spatial and temporal features in different layers. We verify our model on several action recognition tasks that require temporal reasoning and show its effectiveness.


title: A new possibility of the fast neutrino-flavor conversion in the pre-shock region of core-collapse supernova

abstract: We make a strong case that the fast neutrino-flavor conversion, one of the collective flavor oscillation modes, commonly occurs in core-collapse supernovae (CCSNe). It is confirmed in the numerical data obtained in realistic simulations of CCSNe but the argument is much more generic and applicable universally: the coherent neutrino-nucleus scattering makes the electron lepton number (ELN) change signs at some inward direction and trigger the flavor conversion in the outward direction in the pre-shock region. Although the ELN crossing is tiny and that is why it has eluded recognition so far, it is still large enough to induce the flavor conversion. Our findings will have an important observational consequences for CCSNe neutrinos.


title: Model-Free Primal-Dual Methods for Network Optimization with Application to Real-Time Optimal Power Flow

abstract: This paper examines the problem of real-time optimization of networked systems and develops online algorithms that steer the system towards the optimal trajectory without explicit knowledge of the system model. The problem is modeled as a dynamic optimization problem with time-varying performance objectives and engineering constraints. The design of the algorithms leverages the online zero-order primal-dual projected-gradient method. In particular, the primal step that involves the gradient of the objective function (and hence requires networked systems model) is replaced by its zero-order approximation with two function evaluations using a deterministic perturbation signal. The evaluations are performed using the measurements of the system output, hence giving rise to a feedback interconnection, with the optimization algorithm serving as a feedback controller. The paper provides some insights on the stability and tracking properties of this interconnection. Finally, the paper applies this methodology to a real-time optimal power flow problem in power systems, and shows its efficacy on the IEEE 37-node distribution test feeder for reference power tracking and voltage regulation.


title: Bayesian analysis of data from segmented super-resolution images for quantifying protein clustering

abstract: Super-resolution imaging techniques have largely improved our capabilities to visualize nanometric structures in biological systems. Their application further enables one to potentially quantitate relevant parameters to determine the molecular organization and stoichiometry in cells. However, the inherently stochastic nature of the fluorescence emission and labeling strategies imposes the use of dedicated methods to accurately measure these parameters. Here, we describe a Bayesian approach to precisely quantitate the relative abundance of molecular oligomers from segmented images. The distribution of proxies for the number of molecules in a cluster -- such as the number of localizations or the fluorescence intensity -- is fitted via a nested sampling algorithm to compare mixture models of increasing complexity and determine the optimal number of mixture components and their weights. We test the performance of the algorithm on {\it in silico} data as a function of the number of data points, threshold, and distribution shape. We compare these results to those obtained with other statistical methods, showing the improved performance of our approach. Our method provides a robust tool for model selection in fitting data extracted from fluorescence imaging, thus improving the precision of parameter determination. Importantly, the largest benefit of this method occurs for small-statistics or incomplete datasets, enabling accurate analysis at the single image level. We further present the results of its application to experimental data obtained from the super-resolution imaging of dynein in HeLa cells, confirming the presence of a mixed population of cytoplasmatic single motors and higher-order structures.

categories: physics.bio-ph physics.data-an q-bio.QM stat.AP


title: Functional Weak Limit of Random Walks in Cooling Random Environment

abstract: We prove an annealed weak limit of the trajectory of the random walks in cooling random environment (RWCRE) under both slow (polynomial) and fast (exponential) cooling. We identify the weak limit when the underlying static environment is recurrent (Sinai's model). Avena and den Hollander have previously proved law of large numbers and Gaussian fluctuation of RWCRE. We find that the weak limit of the trajectory exists as a time-rescaled Brownian motion in the slow cooling case but the limit degenerates to a constant function in the fast cooling case.


title: Facial Expression Recognition Using Disentangled Adversarial Learning

abstract: The representation used for Facial Expression Recognition (FER) usually contain expression information along with other variations such as identity and illumination. In this paper, we propose a novel Disentangled Expression learning-Generative Adversarial Network (DE-GAN) to explicitly disentangle facial expression representation from identity information. In this learning by reconstruction method, facial expression representation is learned by reconstructing an expression image employing an encoder-decoder based generator. This expression representation is disentangled from identity component by explicitly providing the identity code to the decoder part of DE-GAN. The process of expression image reconstruction and disentangled expression representation learning is improved by performing expression and identity classification in the discriminator of DE-GAN. The disentangled facial expression representation is then used for facial expression recognition employing simple classifiers like SVM or MLP. The experiments are performed on publicly available and widely used face expression databases (CK+, MMI, Oulu-CASIA). The experimental results show that the proposed technique produces comparable results with state-of-the-art methods.


title: Loxodromic unit vector field on punctured spheres

abstract: In these short notes we characterize the loxodromic unit vector fields on antipodally punctured Euclidean spheres as the only ones achieving a lower bound for the volume functional depending on the Poincar\'e indexes around their singularities.


title: Boundedness of Fatou components of the family f(z)=\lambda sin(z)+a

abstract: In this paper we discuss the boundedness of the Fatou components for the sine family and the extended sine family, mainly when the parameter \lambda has modulus greater than 1 and the map is post-critically bounded.


title: Resolving the puzzle of type IIP SN 2016X

abstract: The enigmatic type IIP SN 2016X demonstrates the unprecedented asphericity in the nebular H-alpha line profile, the absence of nebular [O I] emission, and the unusual occultation effect due to the internal dust. The hydrodynamic modelling of the bolometric light curve and expansion velocities suggests that the event is an outcome of the massive star explosion that ejected 28 Msun with the kinetic energy of 1.7x10^51 erg and 0.03 Msun of radioactive Ni-56. We recover the bipolar distribution of Ni-56 from the H-alpha profile via the simulation of the emissivity produced by non-spherical Ni-56 ejecta. The conspicuous effect of the dust absorption in the H-alpha profile rules out the occultation by the dusty sphere or dusty thick disk but turns out consistent with the thin dusty disk-like structure in the plane perpendicular to the bipolar axis. We speculate that the absence of the nebular [O I] emission might originate from the significant cooling of the oxygen-rich matter mediated by CO and SiO molecules.


title: Optimal Sizing of Stand-alone Solar PV Systems via Automated Formal Synthesis

abstract: There exist various methods and tools to size solar photovoltaic systems; however, these tools rely on simulations, which do not cover all aspects of the design space during the search for optimal solution. In prior studies in optimal sizing, the focus was always on criteria or objectives. Here, we present a new sound and automated approach to obtain optimal sizing using an unprecedented program synthesis. Our variant of counterexample guided inductive synthesis (CEGIS) approach has two phases linking the technical and cost analysis: first we synthesize a feasible candidate based on power reliability, but that may not achieve the lowest cost; second, the candidate is then verified iteratively with a lower bound cost via symbolic model checking. If the verification step does not fail, the lower bound is adjusted; and if it fails, a counterexample provides the optimal solution. Experimental results using seven case studies and commercial equipment data show that our synthesis method can produce within an acceptable run-time the optimal system sizing. We also present a comparative with a specialized simulation tool over real photovoltaic systems to show the effectiveness of our approach, which can provide a more detailed and accurate solution than that simulation tool.


title: Feature Weighting and Boosting for Few-Shot Segmentation

abstract: This paper is about few-shot segmentation of foreground objects in images. We train a CNN on small subsets of training images, each mimicking the few-shot setting. In each subset, one image serves as the query and the other(s) as support image(s) with ground-truth segmentation. The CNN first extracts feature maps from the query and support images. Then, a class feature vector is computed as an average of the support's feature maps over the known foreground. Finally, the target object is segmented in the query image by using a cosine similarity between the class feature vector and the query's feature map. We make two contributions by: (1) Improving discriminativeness of features so their activations are high on the foreground and low elsewhere; and (2) Boosting inference with an ensemble of experts guided with the gradient of loss incurred when segmenting the support images in testing. Our evaluations on the PASCAL-$5^i$ and COCO-$20^i$ datasets demonstrate that we significantly outperform existing approaches.


title: Structures, Functions, and Mechanisms of Filament Forming Enzymes: A Renaissance of Enzyme Filamentation

abstract: Filament formation by non-cytoskeletal enzymes has been known for decades, yet only relatively recently has its wide-spread role in enzyme regulation and biology come to be appreciated. This comprehensive review summarizes what is known for each enzyme confirmed to form filamentous structures in vitro, and for the many that are known only to form large self-assemblies within cells. For some enzymes, studies describing both the in vitro filamentous structures and cellular self-assembly formation are also known and described. Special attention is paid to the detailed structures of each type of enzyme filament, as well as the roles the structures play in enzyme regulation and in biology. Where it is known or hypothesized, the advantages conferred by enzyme filamentation are reviewed. Finally, the similarities, differences, and comparison to the SgrAI system are also highlighted.


title: Non-Equilibrium Quantum Spin Dynamics from Classical Stochastic Processes

abstract: Following on from our recent work, we investigate a stochastic approach to non-equilibrium quantum spin systems. We show how the method can be applied to a variety of physical observables and for different initial conditions. We provide exact formulae of broad applicability for the time-dependence of expectation values and correlation functions following a quantum quench in terms of averages over classical stochastic processes. We further explore the behavior of the classical stochastic variables in the presence of dynamical quantum phase transitions, including results for their distributions and correlation functions. We provide details on the numerical solution of the associated stochastic differential equations, and examine the growth of fluctuations in the classical description. We discuss the strengths and limitations of the current implementation of the stochastic approach and the potential for further development.


title: Rainbow independent sets in certain classes of graphs

abstract: For a given class $\mathcal{C}$ of graphs and given integers $m \leq n$, let $f_\mathcal{C}(n,m)$ be the minimal number $k$ such that every $k$ independent $n$-sets in any graph belonging to $\mathcal{C}$ have a (possibly partial) rainbow independent $m$-set. Motivated by known results on the finiteness and actual value of $f_\mathcal{C}(n,m)$ when $\mathcal{C}$ is the class of line graphs of graphs, we study this function for various other classes.


title: Additive Powers-of-Two Quantization: An Efficient Non-uniform Discretization for Neural Networks

abstract: We propose Additive Powers-of-Two~(APoT) quantization, an efficient non-uniform quantization scheme for the bell-shaped and long-tailed distribution of weights and activations in neural networks. By constraining all quantization levels as the sum of Powers-of-Two terms, APoT quantization enjoys high computational efficiency and a good match with the distribution of weights. A simple reparameterization of the clipping function is applied to generate a better-defined gradient for learning the clipping threshold. Moreover, weight normalization is presented to refine the distribution of weights to make the training more stable and consistent. Experimental results show that our proposed method outperforms state-of-the-art methods, and is even competitive with the full-precision models, demonstrating the effectiveness of our proposed APoT quantization. For example, our 4-bit quantized ResNet-50 on ImageNet achieves 76.6% top-1 accuracy without bells and whistles; meanwhile, our model reduces 22% computational cost compared with the uniformly quantized counterpart. The code is available at https://github.com/yhhhli/APoT_Quantization.


title: Identifying Complex Hadamard Submatrices of the Fourier Matrices via Primitive Sets

abstract: For a given selection of rows and columns from a Fourier matrix, we give a number of tests for whether the resulting submatrix is Hadamard based on the primitive sets of those rows and columns. In particular, we demonstrate that whether a given selection of rows and columns of a Fourier matrix forms a Hadamard submatrix is exactly determined by whether the primitive sets of those rows and columns are compatible with respect to the size of the Fourier matrix. This allows the partitioning of all submatrices into equivalence classes that will consist entirely of Hadamard or entirely of non-Hadamard submatrices and motivates the creation of compatibility graphs that represent this structure. We conclude with some results that facilitate the construction of these graphs for submatrix sizes 2 and 3.