title: A New k-Shortest Path Search Approach based on Graph Reduction

abstract: We present a new approach called GR (Graph Reduction) algorithm for searching loop-less k-shortest paths (1st to k-th shortest paths) in a graph based on graph reduction. Let a source vertex and a target vertex of k-shortest paths be v_s and v_t respectively. First our approach computes shortest paths to every vertex from v_s and v_t respectively, and reduce a graph to a subgraph that contains all vertices and edges of loop-less k-shortest paths using the already computed shortest paths, and apply an existing k-shortest path search algorithm to the reduced graph. A graph can be reduced quickly after computing the shortest paths using them, therefore a very efficient search can be achieved. In an experiment using a hypercube graph which has 16384 vertices where k=128, the number of vertices is reduced to about 1/22, and a variant of Dijkstra algorithm for k-shortest path search were speeded up by about 365 times. We implemented a fast k-shortest path variant of bidirectional Dijkstra algorithm (k-biDij) which is the state-of-the-art algorithm and the fastest as long as we know, GR outperforms k-biDij in dense scale-free graphs. However, k-biDij outperforms GR in hypercube-shaped and sparse scale-free graphs, but even then GR can also speed up it by 12.3 and 2.0 times respectively by precomputing all-pairs shortest paths. We also show the graph reduction can be done in time complexity O(m + n log n). We also introduce our improvements to k-biDij simply.


title: On the 2-colored crossing number

abstract: Let $D$ be a straight-line drawing of a graph. The rectilinear 2-colored crossing number of $D$ is the minimum number of crossings between edges of the same color, taken over all possible 2-colorings of the edges of $D$. First, we show lower and upper bounds on the rectilinear 2-colored crossing number for the complete graph $K_n$. To obtain this result, we prove that asymptotic bounds can be derived from optimal and near-optimal instances with few vertices. We obtain such instances using a combination of heuristics and integer programming. Second, for any fixed drawing of $K_n$, we improve the bound on the ratio between its rectilinear 2-colored crossing number and its rectilinear crossing number.


title: Note on "Experimental Measurement of Quantum Metric Tensor and Related Topological Phase Transition with a Superconducting Qubit"

abstract: In the paper [X. Tan et al., Phys. Rev. Lett. 122, 210401 (2019)], we have studied the Euler characteristic number $\chi$ for a two-band model; However, the calculated $\chi$ there is not an integer when the parameter $|h|>1$ and then may not be considered as a suitable topological number for the system. In this note, we find that the Bloch vectors of the ground state for $|h|>1$ do not cover the whole Bloch sphere and thus the Euler characteristic number should be effectively associated with the manifold of a disk, rather than a sphere. After taking into account the boundary contribution, we derive the correct Euler characteristic number. Unfortunately, the Euler characteristic number does not change when crossing the critical points $|h|=1$ and thus can not be used to characterize the topological phase transition of the present model.


title: Search for production of four top quarks in final states with same-sign or multiple leptons in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: The standard model (SM) production of four top quarks ($\mathrm{t\bar{t}t\bar{t}}$) in proton-proton collision is studied by the CMS Collaboration. The data sample, collected during the 2016-2018 data taking of the LHC, corresponds to an integrated luminosity of 137 fb$^{-1}$ at a center-of-mass energy of 13 TeV. The events are required to contain two same-sign charged leptons (electrons or muons) or at least three leptons, and jets. The observed and expected significances for the $\mathrm{t\bar{t}t\bar{t}}$ signal are respectively 2.6 and 2.7 standard deviations, and the $\mathrm{t\bar{t}t\bar{t}}$ cross section is measured to be 12.6 $^{+5.8}_{-5.2}$ fb. The results are used to constrain the Yukawa coupling of the top quark to the Higgs boson, $y_{\mathrm{t}}$, yielding a limit of $|y_{\mathrm{t}}$ $/$ $y_{\mathrm{t}}^{\mathrm{SM}}|$ $<$ 1.7 at 95% confidence level, where $y_{\mathrm{t}}^{\mathrm{SM}}$ is the SM value of $y_{\mathrm{t}}$. They are also used to constrain the oblique parameter of the Higgs boson in an effective field theory framework, $\hat{H}$ $<$ 0.12. Limits are set on the production of a heavy scalar or pseudoscalar boson in Type-II two-Higgs-doublet and simplified dark matter models, with exclusion limits reaching 350-470 GeV and 350-550 GeV for scalar and pseudoscalar bosons, respectively. Upper bounds are also set on couplings of the top quark to new light particles.


title: Detection of sub-100 GeV gamma-ray pulsations from PSR B1706-44 with H.E.S.S

abstract: We report on the detection of pulsations from PSR B1706-44 based on 28.3 hours of observations with the H.E.S.S. II array with CT5 in monoscopic mode. The lightcurve is similar to that obtained with the Fermi-LAT above 15 GeV and the pulsations exhibit a steep spectrum with index ~ -3.8 in the sub 20 GeV to sub-100 GeV energy range. While a significant signal of ~ 1000 events is detected at energies ~ 70 GeV, it is not possible to either confirm or rule out a power-law behaviour of PSR B1706-44 spectrum in this range.


title: Structural Instability of Semi-Siegel H\'enon maps

abstract: We show that the dynamics of sufficiently dissipative semi-Siegel complex H\'enon maps with golden-mean rotation number is not $J$-stable in a very strong sense. By the work of Dujardin and Lyubich, this implies that the Newhouse phenomenon occurs for a dense $G_\delta$ set of parameters in this family. Another consequence is that the Julia sets of such maps are disconnected for a dense set of parameters.


title: Feedback-based, Automated Failure Testing of Microservice-based Applications

abstract: Modern distributed applications are moving toward a microservice architecture, in which each service is developed and managed independently, and new features and updates are delivered continuously. A guiding principle of microservice architecture is that it must be built to anticipate and mitigate a variety of hardware and software failures. In order to test the fault handling capabilities of microservces, this paper presents IntelliFT, a feedback-based, automated failure testing technique for microservice based applications, which aims to expose the defects in the fault-handling logic quickly. The initial experimental result on a medium-size microservice benchmark system shows that the proposed approach is effective.


title: Collimated gamma-ray beams from structured laser-irradiated targets -- how to increase the efficiency without increasing the laser intensity

abstract: Using three-dimensional kinetic simulations, we examine the emission of collimated gamma-ray beams from structured laser-irradiated targets with a pre-filled cylindrical channel. The channel guides the incident laser pulse, enabling generation of a slowly evolving azimuthal plasma magnetic field that serves two key functions: to enhance laser-driven electron acceleration and to induce emission of gamma-rays by the energetic electrons. Our main finding is that the conversion efficiency of the laser energy into a beam of gamma-rays ($5^{\circ}$ opening angle) can be significantly increased without increasing the laser intensity by utilizing channels with an optimal density. The conversion efficiency into multi-MeV photons increases roughly linearly with the incident laser power $P$, as we increase $P$ from 1 PW to 4 PW while keeping the laser peak intensity fixed at $5 \times 10^{22}$ W/cm$^2$. This scaling is achieved by using an optimal range of plasma densities in the channel between 10 and $20 n_{cr}$, where $n_{cr}$ is the classical cutoff density for electromagnetic waves. The corresponding number of photons scales as $P^2$. One application that directly benefits from such a strong scaling is the pair production via two-photon collisions, with the number of generated pairs increasing as $P^4$ at fixed laser intensity.


title: A Dual-Staged Context Aggregation Method Towards Efficient End-To-End Speech Enhancement

abstract: In speech enhancement, an end-to-end deep neural network converts a noisy speech signal to a clean speech directly in time domain without time-frequency transformation or mask estimation. However, aggregating contextual information from a high-resolution time domain signal with an affordable model complexity still remains challenging. In this paper, we propose a densely connected convolutional and recurrent network (DCCRN), a hybrid architecture, to enable dual-staged temporal context aggregation. With the dense connectivity and cross-component identical shortcut, DCCRN consistently outperforms competing convolutional baselines with an average STOI improvement of 0.23 and PESQ of 1.38 at three SNR levels. The proposed method is computationally efficient with only 1.38 million parameters. The generalizability performance on the unseen noise types is still decent considering its low complexity, although it is relatively weaker comparing to Wave-U-Net with 7.25 times more parameters.


title: Predictive model of persistence in H2RG detectors

abstract: Infrared hybridized detectors are widely used in astronomy, and their performance can be degraded by image persistence. This results in remnant images that can persist in the detector for many hours, contaminating any subsequent low-background observations. A different but related problem is reciprocity failure whereby the detector is less sensitive to low flux observations. It is demonstrated that both of these problems can be explained by trapping and detrapping currents that move charge back and forward across the depletion region boundary of the photodiodes within each pixel. These traps have been characterized in one 2.5 $\mu$m and two 5.3 $\mu$m cutoff wavelength Teledyne H2RG detectors. We have developed a behaviour model of these traps using a 5-pole Infinite Impulse Response digital filter. This model allows the trapped charge in a detector to be constantly calculated for arbitrary exposure histories, providing a near real-time correction for image persistence.


title: Symmetry aspects of spin-filtering in molecular junctions: hybridization and quantum interference effects

abstract: Control and manipulation of electric current and, especially, its degree of spin polarization (spin filtering) across single molecules are currently of great interest in the field of molecular spintronics. We explore one possible strategy based on the modification of nanojunction symmetry which can be realized, for example, by a mechanical strain. Such modification can activate new molecular orbitals which were inactive before due to their orbital mismatch with the electrode's conduction states. This can result in several important consequences such as (i) quantum interference effects appearing as Fano-like features in electron transmission and (ii) the change in molecular level hybridization with the electrode's states. We argue that the symmetry change can affect very differently two majority- and minority-spin conductances and thus alter significantly the resulting spin-filtering ratio as the junction symmetry is modified. We illustrate the idea for two basic molecular junctions: Ni/benzene/Ni (perpendicular vs tilted orientations) and Ni/Si chain/Ni (zigzag vs linear chains). In both cases, one highest occupied molecular orbital (HOMO) and one lowest unoccupied molecular orbital (LUMO) (out of HOMO and LUMO doublets) are important. In particular, their destructive interference with other orbitals leads to dramatic suppression of majority-spin conductance in low-symmetry configurations. For a minority-spin channel, on the contrary, the conductance is strongly enhanced when the symmetry is lowered due to an increase in hybridization strength. We believe that our results may offer a potential route for creating molecular devices with a large on-off ratio of spin polarization via quantum interference effects.


title: VERITAS Observations of Fast Radio Bursts

abstract: Fast radio bursts (FRBs) are bright, unresolved, millisecond-duration flashes of radio emission originating from outside of the Milky Way. The source of these mysterious outbursts is unknown, but their high luminosity, high dispersion measure and short duration requires an extreme, high-energy, astrophysical process. The majority of FRBs have been discovered as single events which would require a chance coincidence for contemporaneous multiwavelength observations. However, two have been observed to repeat: FRB 121102 and the recently detected FRB 180814.J0422+73. These repeating FRBs have allowed for targeted observations by a number of different instruments, including VERITAS. We present the VERITAS FRB observing program and the results of these observations.


title: Training Deep Learning Models via Synthetic Data: Application in Unmanned Aerial Vehicles

abstract: This paper describes preliminary work in the recent promising approach of generating synthetic training data for facilitating the learning procedure of deep learning (DL) models, with a focus on aerial photos produced by unmanned aerial vehicles (UAV). The general concept and methodology are described, and preliminary results are presented, based on a classification problem of fire identification in forests as well as a counting problem of estimating number of houses in urban areas. The proposed technique constitutes a new possibility for the DL community, especially related to UAV-based imagery analysis, with much potential, promising results, and unexplored ground for further research.


title: From Open Set to Closed Set: Counting Objects by Spatial Divide-and-Conquer

abstract: Visual counting, a task that predicts the number of objects from an image/video, is an open-set problem by nature, i.e., the number of population can vary in $[0,+\infty)$ in theory. However, the collected images and labeled count values are limited in reality, which means only a small closed set is observed. Existing methods typically model this task in a regression manner, while they are likely to suffer from an unseen scene with counts out of the scope of the closed set. In fact, counting is decomposable. A dense region can always be divided until sub-region counts are within the previously observed closed set. Inspired by this idea, we propose a simple but effective approach, Spatial Divide-and- Conquer Network (S-DCNet). S-DCNet only learns from a closed set but can generalize well to open-set scenarios via S-DC. S-DCNet is also efficient. To avoid repeatedly computing sub-region convolutional features, S-DC is executed on the feature map instead of on the input image. S-DCNet achieves the state-of-the-art performance on three crowd counting datasets (ShanghaiTech, UCF_CC_50 and UCF-QNRF), a vehicle counting dataset (TRANCOS) and a plant counting dataset (MTC). Compared to the previous best methods, S-DCNet brings a 20.2% relative improvement on the ShanghaiTech Part B, 20.9% on the UCF-QNRF, 22.5% on the TRANCOS and 15.1% on the MTC. Code has been made available at: https://github. com/xhp-hust-2018-2011/S-DCNet.


title: Magnetic stochasticity and diffusion

abstract: We develop a quantitative relationship between magnetic diffusion and the level of randomness, or stochasticity, of the diffusing magnetic field in a magnetized medium. A general mathematical formulation of magnetic stochasticity in turbulence has been developed in previous work in terms of the ${\cal L}_p$-norm $S_p(t)={1\over 2}|| 1-\hat{\bf B}_l.\hat{\bf B}_L||_p$, $p$th order magnetic stochasticity of the stochastic field ${\bf B}({\bf x}, t)$, based on the coarse-grained fields, ${\bf B}_l$ and ${\bf B}_L$, at different scales, $l\neq L$. For laminar flows, stochasticity level becomes the level of field self-entanglement or spatial complexity. In this paper, we establish a connection between magnetic stochasticity $S_p(t)$ and magnetic diffusion in magnetohydrodynamic (MHD) turbulence and use a homogeneous, incompressible MHD simulation to test this prediction. Our results agree with the well-known fact that magnetic diffusion in turbulent media follows the super-linear Richardson dispersion scheme. This is intimately related to stochastic magnetic reconnection in which super-linear Richardson diffusion broadens the matter outflow width and accelerates the reconnection process.

categories: astro-ph.HE math-ph math.MP physics.flu-dyn physics.plasm-ph


title: SPOCC: Scalable POssibilistic Classifier Combination -- toward robust aggregation of classifiers

abstract: We investigate a problem in which each member of a group of learners is trained separately to solve the same classification task. Each learner has access to a training dataset (possibly with overlap across learners) but each trained classifier can be evaluated on a validation dataset. We propose a new approach to aggregate the learner predictions in the possibility theory framework. For each classifier prediction, we build a possibility distribution assessing how likely the classifier prediction is correct using frequentist probabilities estimated on the validation set. The possibility distributions are aggregated using an adaptive t-norm that can accommodate dependency and poor accuracy of the classifier predictions. We prove that the proposed approach possesses a number of desirable classifier combination robustness properties.


title: Algebraic conditions for the positivity of sectional curvature

abstract: We examine algebraic conditions for the sectional positivity of the Riemann curvature operator. We describe sufficient conditions for dimension $n=4$, and complete characterization for a dense open subset of the space of operators in dimension $4$. We also briefly examine higher-dimentional curvature operators.


title: Demystifying Learning Rate Policies for High Accuracy Training of Deep Neural Networks

abstract: Learning Rate (LR) is an important hyper-parameter to tune for effective training of deep neural networks (DNNs). Even for the baseline of a constant learning rate, it is non-trivial to choose a good constant value for training a DNN. Dynamic learning rates involve multi-step tuning of LR values at various stages of the training process and offer high accuracy and fast convergence. However, they are much harder to tune. In this paper, we present a comprehensive study of 13 learning rate functions and their associated LR policies by examining their range parameters, step parameters, and value update parameters. We propose a set of metrics for evaluating and selecting LR policies, including the classification confidence, variance, cost, and robustness, and implement them in LRBench, an LR benchmarking system. LRBench can assist end-users and DNN developers to select good LR policies and avoid bad LR policies for training their DNNs. We tested LRBench on Caffe, an open source deep learning framework, to showcase the tuning optimization of LR policies. Evaluated through extensive experiments, we attempt to demystify the tuning of LR policies by identifying good LR policies with effective LR value ranges and step sizes for LR update schedules.


title: Type-Based Resource Analysis on Haskell

abstract: We propose an amortized analysis that approximates the resource usage of a Haskell expression. Using the plugin API of GHC, we convert the Haskell code into a simplified representation called GHC Core. We then apply a type-based system which derives linear upper bounds on the resource usage. This setup allows us to analyze actual Haskell code, whereas previous implementations of similar analyses do not support any commonly used lazy functional programming languages.


title: Studying Algebraic Structures using Prover9 and Mace4

abstract: In this chapter we present a case study, drawn from our research work, on the application of a fully automated theorem prover together with an automatic counter-example generator in the investigation of a class of algebraic structures. We will see that these tools, when combined with human insight and traditional algebraic methods, help us to explore the problem space quickly and effectively. The counter-example generator rapidly rules out many false conjectures, while the theorem prover is often much more efficient than a human being at verifying algebraic identities. The specific tools in our case study are Prover9 and Mace4; the algebraic structures are generalisations of Heyting algebras known as hoops. We will see how this approach helped us to discover new theorems and to find new or improved proofs of known results. We also make some suggestions for how one might deploy these tools to supplement a more conventional approach to teaching algebra.


title: On the local structure of oriented graphs -- a case study in flag algebras

abstract: Let $G$ be an $n$-vertex oriented graph. Let $t(G)$ (respectively $i(G)$) be the probability that a random set of $3$ vertices of $G$ spans a transitive triangle (respectively an independent set). We prove that $t(G) + i(G) \geq \frac{1}{9}-o_n(1)$. Our proof uses the method of flag algebras that we supplement with several steps that make it more easily comprehensible. We also prove a stability result and an exact result. Namely, we describe an extremal construction, prove that it is essentially unique, and prove that if $H$ is sufficiently far from that construction, then $t(H) + i(H)$ is significantly larger than $\frac{1}{9}$. We go to greater technical detail than is usually done in papers that rely on flag algebras. Our hope is that as a result this text can serve others as a useful introduction to this powerful and beautiful method.


title: Scattering of energetic electrons by heat-flux-driven whistlers in flares

abstract: The scattering of electrons by heat-flux-driven whistler waves is explored with a particle-in-cell (PIC) simulation relevant to the transport of energetic electrons in flares. The simulation is initiated with a large heat flux that is produced using a kappa distribution of electrons with positive velocity and a cold return current beam. This system represents energetic electrons escaping from a reconnection-driven energy release site. This heat flux system drives large amplitude oblique whistler waves propagating both along and against the heat flux, as well as electron acoustic waves. While the waves are dominantly driven by the low energy electrons, including the cold return current beam, the energetic electrons resonate with and are scattered by the whistlers on time scales of the order of a hundred electron cyclotron times. Peak whistler amplitudes of $\tilde{B} / B_{0} \sim 0.125$ and angles of $\sim 60 \degree$ with respect to the background magnetic field are observed. Electron perpendicular energy is increased while the field-aligned electron heat flux is suppressed. The resulting scattering mean-free-paths of energetic electrons are small compared with the typical scale size of energy release sites in flares, which might lead to the effective confinement of energetic electrons that is required for the production of very energetic particles.


title: Scalable Explanation of Inferences on Large Graphs

abstract: Probabilistic inferences distill knowledge from graphs to aid human make important decisions. Due to the inherent uncertainty in the model and the complexity of the knowledge, it is desirable to help the end-users understand the inference outcomes. Different from deep or high-dimensional parametric models, the lack of interpretability in graphical models is due to the cyclic and long-range dependencies and the byzantine inference procedures. Prior works did not tackle cycles and make \textit{the} inferences interpretable. To close the gap, we formulate the problem of explaining probabilistic inferences as a constrained cross-entropy minimization problem to find simple subgraphs that faithfully approximate the inferences to be explained. We prove that the optimization is NP-hard, while the objective is not monotonic and submodular to guarantee efficient greedy approximation. We propose a general beam search algorithm to find simple trees to enhance the interpretability and diversity in the explanations, with parallelization and a pruning strategy to allow efficient search on large and dense graphs without hurting faithfulness. We demonstrate superior performance on 10 networks from 4 distinct applications, comparing favorably to other explanation methods. Regarding the usability of the explanation, we visualize the explanation in an interface that allows the end-users to explore the diverse search results and find more personalized and sensible explanations.


title: Extremal eigenvalues of the Dirichlet biharmonic operator on rectangles

abstract: We study the behaviour of extremal eigenvalues of the Dirichlet biharmonic operator over rectangles with a given fixed area. We begin by proving that the principal eigenvalue is minimal for a rectangle for which the ratio between the longest and the shortest side lengths does not exceed $1.066459$. We then consider the sequence formed by the minimal $k^{\rm th}$ eigenvalue and show that the corresponding sequence of minimising rectangles converges to the square as $k$ goes to infinity.


title: A Software to Detect OCC Emotion, Big-Five Personality and Hofstede Cultural Dimensions of Pedestrians from Video Sequences

abstract: This paper presents a video analysis application to detect personality, emotion and cultural aspects from pedestrians in video sequences, along with a visualizer of features. The proposed model considers a series of characteristics of the pedestrians and the crowd, such as number and size of groups, distances, speeds, among others, and performs the mapping of these characteristics in personalities, emotions and cultural aspects, considering the Cultural Dimensions of Hofstede (HCD), the Big-Five Personality Model (OCEAN) and the OCC Emotional Model. The main hypothesis is that there is a relationship between so-called intrinsic human variables (such as emotion) and the way people behave in space and time. The software was tested in a set of videos from different countries and results seem promising in order to identify these three different levels of psychological traits in the filmed sequences. In addition, the data of the people present in the videos can be seen in a crowd viewer.


title: The selection problem for some first-order stationary mean-field games

abstract: Here, we study the existence and the convergence of solutions for the vanishing discount MFG problem with a quadratic Hamiltonian. We give conditions under which the discounted problem has a unique classical solution and prove convergence of the vanishing-discount limit to a unique solution up to constants. Then, we establish refined asymptotics for the limit. When those conditions do not hold, the limit problem may not have a unique solution and its solutions may not be smooth, as we illustrate in an elementary example. Finally, we investigate the stability of regular weak solutions and address the selection problem. Using ideas from Aubry-Mather theory, we establish a selection criterion for the limit.


title: Independence Testing for Temporal Data

abstract: Temporal data are increasingly prevalent in modern data science. A fundamental question is whether two time series are related or not. Existing approaches often have limitations, such as relying on parametric assumptions, detecting only linear associations, and requiring multiple tests and corrections. While many non-parametric and universally consistent dependence measures have recently been proposed, directly applying them to temporal data can inflate the p-value and result in an invalid test. To address these challenges, this paper introduces the temporal dependence statistic with block permutation to test independence between temporal data. Under proper assumptions, the proposed procedure is asymptotically valid and universally consistent for testing independence between stationary time series, and capable of estimating the optimal dependence lag that maximizes the dependence. Moreover, it is compatible with a rich family of distance and kernel based dependence measures, eliminates the need for multiple testing, and exhibits excellent testing power in various simulation settings.


title: Neural Network Based Undersampling Techniques

abstract: Class imbalance problem is commonly faced while developing machine learning models for real-life issues. Due to this problem, the fitted model tends to be biased towards the majority class data, which leads to lower precision, recall, AUC, F1, G-mean score. Several researches have been done to tackle this problem, most of which employed resampling, i.e. oversampling and undersampling techniques to bring the required balance in the data. In this paper, we propose neural network based algorithms for undersampling. Then we resampled several class imbalanced data using our algorithms and also some other popular resampling techniques. Afterwards we classified these undersampled data using some common classifier. We found out that our resampling approaches outperform most other resampling techniques in terms of both AUC, F1 and G-mean score.


title: Work-distribution quantumness and irreversibility when crossing a quantum phase transition in finite time

abstract: The thermodynamic behavior of out-of-equilibrium quantum systems in finite-time dynamics encompasses the description of energy fluctuations, which dictates a series of system's physical properties. In addition, strong interactions in many-body systems strikingly affect the energy-fluctuation statistics along a non-equilibrium dynamics. By driving transient currents to oppose the precursor to metal-Mott insulator transition in a diversity of dynamical regimes, we show how increasing correlations dramatically affect the statistics of energy fluctuations and consequently the quantum work distribution of finite Hubbard chains. Statistical properties of such distributions, as its skewness, that changes dramatically across the transition, can be related to irreversibility and entropy production. Even close to adiabaticity, the quasi quantum phase transition hinders equilibration, increasing the process irreversibility, and inducing strong quantum features in the quantum work distribution. In the Mott-insulating phase the work fluctuation-dissipation balance gets modified, with the irreversible entropy production dominating over work fluctuations. The effect of an interaction-driven quantum-phase-transition on thermodynamics quantities and irreversibility has to be considered in the design of protocols in small scale devices for application in quantum technology. Eventually, such many-body effects can also be employed in work extraction and refrigeration protocols at quantum scale.


title: Slowly rotating Bose-Einstein Condensate confronted with the rotation curves of 12 dwarf galaxies

abstract: We assemble a database of 12 dwarf galaxies, for which optical (R-band) and near-infrared ($3.6\mu m$) surface brightness density together with spectroscopic rotation curve data are available, in order to test the slowly rotating Bose-Einstein Condensate (srBEC) dark matter model. We aim to establish the angular velocity range compatible with observations, bounded from above by the requirement of finite size halos, to check the modelfits with the dataset, and the universality of the BEC halo parameter $\mathcal{R}$. We construct the spatial luminosity density of the stellar component of the dwarf galaxies based on their $3.6\mu m$ and R-band surface brightness profiles, assuming an axisymmetric baryonic mass distribution. We build up the gaseous component by employing a truncated disk model. We fit a baryonic plus dark matter combined model, parametrized by the M/L ratios of the baryonic components and parameters of the srBEC (the central density $\rho_c$, size of the static BEC halo $\mathcal{R}$, angular velocity $\omega$) to the rotation curves. The $3.6\mu m$ surface brightness of 6 galaxies indicates the presence of a bulge and a disk component. The shape of the $3.6\mu m$ and R-band spatial mass density profiles being similar is consistent with the stellar mass of the galaxies emerging wavelength-independent. The srBEC model fits the rotation curve of 11 galaxies out of 12 within $1\sigma$ significance level, with the average of $\mathcal{R}$ as 7.51 kpc and standard deviation of 2.96 kpc. This represents an improvement over the static BEC modelfit. For the well-fitting 11 galaxies the angular velocities allowing for a finite size srBEC halo are $<2.2\times 10^{-16}$ 1/s. For a scattering length of the BEC particle of $a\approx 10^6$ fm, the mass of the BEC particle is slightly better constrained than in the static case as $m\in[1.26\times10^{-17}\div3.08\times10^{-17}]$ eV/c$^2$.


title: Geometry and integrability in $\mathcal{N}=8$ supersymmetric mechanics

abstract: We construct the $\mathcal{N}=8$ supersymmetric mechanics with potential term whose configuration space is the special K\"ahler manifold of rigid type and show that it can be viewed as the K\"ahler counterpart of $\mathcal{N}=4$ mechanics related to "curved WDVV equations". Then, we consider the special case of the supersymmetric mechanics with the non-zero potential term defined on the family of $U(1)$-invariant one-(complex)dimensional special K\"ahler metrics. The bosonic parts of these systems include superintegrable deformations of perturbed two-dimensional oscillator and Coulomb systems.


title: Neural Dynamics on Complex Networks

abstract: Learning continuous-time dynamics on complex networks is crucial for understanding, predicting and controlling complex systems in science and engineering. However, this task is very challenging due to the combinatorial complexities in the structures of high dimensional systems, their elusive continuous-time nonlinear dynamics, and their structural-dynamic dependencies. To address these challenges, we propose to combine Ordinary Differential Equation Systems (ODEs) and Graph Neural Networks (GNNs) to learn continuous-time dynamics on complex networks in a data-driven manner. We model differential equation systems by GNNs. Instead of mapping through a discrete number of neural layers in the forward process, we integrate GNN layers over continuous time numerically, leading to capturing continuous-time dynamics on graphs. Our model can be interpreted as a Continuous-time GNN model or a Graph Neural ODEs model. Our model can be utilized for continuous-time network dynamics prediction, structured sequence prediction (a regularly-sampled case), and node semi-supervised classification tasks (a one-snapshot case) in a unified framework. We validate our model by extensive experiments in the above three scenarios. The promising experimental results demonstrate our model's capability of jointly capturing the structure and dynamics of complex systems in a unified framework.


title: API Misuse Correction: A Statistical Approach

abstract: Modern software development relies heavily on Application Programming Interface (API) libraries. However, there are often certain constraints on using API elements in such libraries. Failing to follow such constraints (API misuse) could lead to serious programming errors. Many approaches have been proposed to detect API misuses, but they still have low accuracy and cannot repair the detected misuses. In this paper, we propose SAM, a novel approach to detect and repair API misuses automatically. SAM uses statistical models to describe five factors involving in any API method call: related method calls, exceptions, pre-conditions, post-conditions, and values of arguments. These statistical models are trained from a large repository of high-quality production code. Then, given a piece of code, SAM verifies each of its method calls with the trained statistical models. If a factor has a sufficiently low probability, the corresponding call is considered as an API misuse. SAM performs an optimal search for editing operations to apply on the code until it has no API issue.


title: TwistBytes -- Hierarchical Classification at GermEval 2019: walking the fine line (of recall and precision)

abstract: We present here our approach to the GermEval 2019 Task 1 - Shared Task on hierarchical classification of German blurbs. We achieved first place in the hierarchical subtask B and second place on the root node, flat classification subtask A. In subtask A, we applied a simple multi-feature TF-IDF extraction method using different n-gram range and stopword removal, on each feature extraction module. The classifier on top was a standard linear SVM. For the hierarchical classification, we used a local approach, which was more light-weighted but was similar to the one used in subtask A. The key point of our approach was the application of a post-processing to cope with the multi-label aspect of the task, increasing the recall but not surpassing the precision measure score.


title: Pressure induced electronic structure transformation of topological semimetal

abstract: We study the electronic structure change of yttrium trihydride $\mathrm{YH_3}$ by applying a hydrostatic pressure. At zero pressure, $\mathrm{YH_3}$ has the structure with energy favored symmetry group $P\bar{3}c1$ (165). From first principle calculation, we argue that the band crossings are caused by overlapping of an electron- and hole-like bands. Besides the space inversion symmetry ($\mathcal{I}$) and the time reversal symmetry, the band structure also exhibits an approximate particle-hole symmetry. Thus, $\mathrm{YH_3}$ can be viewed as a pseudo nodal surface semimetal belongs to class BDI of the ten-fold AZ+ $\mathcal{I}$ classifications of gapless topological matter. As pressure increases, the approximate particle-hole symmetry is gradually broken and the pseudo nodal surface turns into a nodal ring belonging to the class AI with fewer non-spatial symmetries. Also, the nodal ring is shrinking in the process. At about $31$ GPa, which is higher than the reported structure phase transition pressure $21$ GPa, the nodal ring shrinks to a nodal point. When above $31$ GPa, all band crossings are gapped out and $\mathrm{YH_3}$ becomes a trivial insulator eventually.


title: High-Speed Phase-Only Spatial Light Modulators with Two-Dimensional Tunable Microcavity Arrays

abstract: Spatial light modulators (SLMs) are central to numerous applications ranging from high-speed displays to adaptive optics, structured illumination microscopy, and holography. After decades of advances, SLM arrays based on liquid crystals can now reach large pixel counts exceeding 10^6 with phase-only modulation with a pixel pitch of less than 10 {\mu}m and reflectance around 75%. However, the rather slow modulation speed in such SLMs (below hundreds of Hz) presents limitations for many applications. Here we propose an SLM architecture that can achieve high pixel count with high-resolution phase-only modulation at high speed in excess of GHz. The architecture consists of a tunable two-dimensional array of vertically oriented, one-sided microcavities that are tuned through an electro-optic material such as barium titanate (BTO). We calculate that the optimized microcavity design achieves a {\pi} phase shift under an applied bias voltage below 10 V, while maintaining nearly constant reflection amplitude. As two model applications, we consider high-speed 2D beam steering as well as beam forming. The outlined design methodology could also benefit future design of spatial light modulators with other specifications (for example amplitude modulators). This high-speed SLM architecture promises a wide range of new applications ranging from fully tunable metasurfaces to optical computing accelerators, high-speed interconnects, true 2D phased array beam steering, and quantum computing with cold atom arrays.


title: Signature Cumulants, Ordered Partitions, and Independence of Stochastic Processes

abstract: The sequence of so-called signature moments describes the laws of many stochastic processes in analogy with how the sequence of moments describes the laws of vector-valued random variables. However, even for vector-valued random variables, the sequence of cumulants is much better suited for many tasks than the sequence of moments. This motivates us to study so-called signature cumulants. To do so, we develop an elementary combinatorial approach and show that in the same way that cumulants relate to the lattice of partitions, signature cumulants relate to the lattice of so-called "ordered partitions". We use this to give a new characterisation of independence of multivariate stochastic processes; finally we construct a family of unbiased minimum-variance estimators of signature cumulants.


title: A Spectral Gradient Projection Method for the Positive Semi-definite Procrustes Problem

abstract: This paper addresses the positive semi-definite procrustes problem (PSDP). The PSDP corresponds to a least squares problem over the set of symmetric and semi-definite positive matrices. These kinds of problems appear in many applications such as structure analysis, signal processing, among others. A non-monotone spectral projected gradient algorithm is proposed to obtain a numerical solution for the PSDP. The proposed algorithm employs the Zhang and Hager's non-monotone technique in combination with the Barzilai and Borwein's step size to accelerate convergence. Some theoretical results are presented. Finally, numerical experiments are performed to demonstrate the effectiveness and efficiency of the proposed method, and comparisons are made with other state-of-the-art algorithms.


title: Weakly Supervised Segmentation by A Deep Geodesic Prior

abstract: The performance of the state-of-the-art image segmentation methods heavily relies on the high-quality annotations, which are not easily affordable, particularly for medical data. To alleviate this limitation, in this study, we propose a weakly supervised image segmentation method based on a deep geodesic prior. We hypothesize that integration of this prior information can reduce the adverse effects of weak labels in segmentation accuracy. Our proposed algorithm is based on a prior information, extracted from an auto-encoder, trained to map objects geodesic maps to their corresponding binary maps. The obtained information is then used as an extra term in the loss function of the segmentor. In order to show efficacy of the proposed strategy, we have experimented segmentation of cardiac substructures with clean and two levels of noisy labels (L1, L2). Our experiments showed that the proposed algorithm boosted the performance of baseline deep learning-based segmentation for both clean and noisy labels by 4.4%, 4.6%(L1), and 6.3%(L2) in dice score, respectively. We also showed that the proposed method was more robust in the presence of high-level noise due to the existence of shape priors.


title: Demazure slices of type $A_{2l}^{(2)}$

abstract: We consider a Demazure slice of type $A_{2l}^{(2)}$, that is an associated graded piece of an infinite-dimensional version of a Demazure module. We show that a global Weyl module of a hyperspecial current algebra of type $A_{2l}^{(2)}$ is filtered by Demazure slices. We calculate extensions between a Demazure slice and a usual Demazure module and prove that a graded character of a Demazure slice is equal to a nonsymmetric Macdonald-Koornwinder polynomial divided by its norm. In the last section, we prove that a global Weyl module of the special current algebra of type $A_{2l}^{(2)}$ is a free module over the polynomial ring arising as the endomorphism ring of itself.


title: Uniform attractors of non-autonomous Kirchhoff wave models

abstract: The paper investigates the existence and upper semicontinuity of uniform attractors of the perturbed non-autonomous Kirchhoff wave equations with strong damping and supercritical nonlinearity: $u_{tt}-\Delta u_{t}-(1+\epsilon\|\nabla u\|^{2})\Delta u+f(u)=g(x,t)$, where $\epsilon\in [0,1]$ is a perturbed parameter. It shows that when the nonlinearity $f(u)$ is of supercritical growth $p: \frac{N+2}{N-2}=p^*<p<p^{**}=\frac{N+4}{(N-4)^+}$: (i) the related evolution process has a compact uniform attractor $\mathcal{A}_\ls^\e $ for each $\epsilon\in [0,1]$; (ii) the family of uniform attractor $\mathcal{A}_\ls^\e $ is upper semicontinuous on the perturbed parameter $\epsilon$ in the sense of partially strong topology.


title: Spinning and Spinning Deviation Equations of Bi-metric Type Theories

abstract: Spinning equations of bi-metric types theories of gravity, the counterpart of the Papapetrou spinning equations of motion have been derived as well as their corresponding spinning deviation equations. Due to introducing different types of bi-metric theories, the influence of different curvatures based upon different affine connections , have been examined. A specific Lagrangian function for each type theory has been proposed, in order to derive the set of spinning motions and their corresponding spinning deviation equations.


title: Incorporating fault-proneness estimations into coverage-based test case prioritization methods

abstract: Context: During the development process of a software program, regression testing is used to ensure that the correct behavior of the software is retained after updates to the source code. This regression testing becomes costly over time as the number of test cases increases and it makes sense to prioritize test cases in order to execute fault-detecting test cases as soon as possible. There are many coverage-based test case prioritization (TCP) methods that only use the code coverage data to prioritize test cases. By incorporating the fault-proneness estimations of code units into the coverage-based TCP methods, we can improve such techniques. Objective: In this paper, we aim to propose an approach which improves coverage-based TCP methods by considering the fault-proneness distribution over code units. Further, we present the results of an empirical study that shows using our proposed approach significantly improves the additional strategy, which is a widely used coverage-based TCP method. Method: The approach presented in this study uses the bug history of the software in order to introduce a defect prediction method to learn a neural network model. This model is then used to estimate fault-proneness of each area of the source code and then the estimations are incorporated into coverage-based TCP methods. Our proposed approach is a general idea that can be applied to many coverage-based methods, such as the additional and total TCP methods. Results: The proposed methods are evaluated on datasets collected from the development history of five real-world projects including 357 versions in total. The experiments show that using an appropriate bug history can improve coverage-based TCP methods.


title: System Evaluation of the Intel Optane Byte-addressable NVM

abstract: Byte-addressable non-volatile memory (NVM) features high density, DRAM comparable performance, and persistence. These characteristics position NVM as a promising new tier in the memory hierarchy. Nevertheless, NVM has asymmetric read and write performance, and considerably higher write energy than DRAM. Our work provides an in-depth evaluation of the first commercially available byte-addressable NVM -- the Intel Optane DC persistent memory. The first part of our study quantifies the latency, bandwidth, power efficiency, and energy consumption under eight memory configurations. We also evaluate the real impact on in-memory graph processing workloads. Our results show that augmenting NVM with DRAM is essential, and the combination can effectively bridge the performance gap and provide reasonable performance with higher capacity. We also identify NUMA-related performance characteristics for accesses to memory on a remote socket. In the second part, we employ two fine-grained allocation policies to control traffic distribution between DRAM and NVM. Our results show that bandwidth spilling between DRAM and NVM could provide 2.0x bandwidth and enable $20\%$ larger problems than using DRAM as a cache. Also, write isolation between DRAM and NVM could save up to 3.9x energy and improves bandwidth by 3.1x compared to DRAM-cached NVM. We establish a roofline model to explore power and energy efficiency at various distributions of read-only traffic. Our results show that NVM requires 1.8x lower power than DRAM for data-intensive workloads. Overall, applications can significantly optimize performance and power efficiency by adapting traffic distribution to NVM and DRAM through memory configurations and fine-grained policies to fully exploit the new memory device.


title: Graphs with large total angular resolution

abstract: The total angular resolution of a straight-line drawing is the minimum angle between two edges of the drawing. It combines two properties contributing to the readability of a drawing: the angular resolution, which is the minimum angle between incident edges, and the crossing resolution, which is the minimum angle between crossing edges. We consider the total angular resolution of a graph, which is the maximum total angular resolution of a straight-line drawing of this graph. We prove that, up to a finite number of well specified exceptions of constant size, the number of edges of a graph with $n$ vertices and a total angular resolution greater than $60^{\circ}$ is bounded by $2n-6$. This bound is tight. In addition, we show that deciding whether a graph has total angular resolution at least $60^{\circ}$ is NP-hard.


title: Beamforming Cancellation Design for Millimeter-Wave Full-Duplex

abstract: In recent years, there has been extensive research on millimeter-wave (mmWave) communication and on in-band full-duplex (FD) communication, but work on the combination of the two is relatively lacking. FD mmWave systems could offer increased spectral efficiency and decreased latency while also suggesting the redesign of existing mmWave applications. While FD technology has been well-explored for sub-6 GHz systems, the developed methods do not translate well to mmWave. This turns us to a method called beamforming cancellation (BFC), where the highly directional mmWave beams are steered to mitigate self-interference (SI) and enable simultaneous transmission and reception in-band. In this paper, we present BFC designs for two fully-connected hybrid beamforming scenarios, both of which sufficiently suppress the SI such that the sum spectral efficiency approaches that of a SI-free FD system. A simulation and its results are then used to verify our designs.


title: Positional Voting and Doubly Stochastic Matrices

abstract: We provide elementary proofs of several results concerning the possible outcomes arising from a fixed profile within the class of positional voting systems. Our arguments enable a simple and explicit construction of paradoxical profiles, and we also demonstrate how to choose weights that realize desirable results from a given profile. The analysis ultimately boils down to thinking about positional voting systems in terms of doubly stochastic matrices.


title: Inductive acceleration of ions in Poynting-flux dominated outflows

abstract: Two-fluid (electron-positron) plasma modelling has shown that inductive acceleration can convert Poynting flux directly into bulk kinetic energy in the relativistic flows driven by rotating magnetized neutron stars and black holes. Here, we generalize this approach by adding an ion fluid. Solutions are presented in which all particles are accelerated as the flow expands, with comparable power channeled into each of the plasma components. In an ion-dominated flow, each species reaches the limiting rigidity, according to Hillas' criterion, in a distance significantly shorter than in a lepton-dominated flow. These solutions support the hypothesis that newly born magnetars and pulsars are potential sources of ultra-high energy cosmic rays. The competing process of Poynting flux dissipation by magnetic reconnection is shown to be ineffective in low-density flows in which the conventionally defined electron multiplicity satisfies $\kappa_{\rm e}\lesssim 10^5\left(4\pi L_{38}/\Omega\right)^{1/4} /\textrm{Max}\left(\eta_{\rm ion}^{1/2},1\right)$, where $L_{38}\times 10^{38}\textrm{erg s}^{-1}$ is the power carried by the flow in a solid angle $\Omega$, and $\eta_{\rm ion}$ is the ratio of the ion to lepton power at launch.


title: Inverse source problems in transport via attenuated tensor tomography

abstract: We establish results for the injectivity and injectivity modulo gauge of certain inverse source problems in transport on a simply connected domain with variable index of refraction inducing a 'simple geometry'. The model given by radiative transfer involves a scattering kernel with finite harmonic content in the deviation angle. The results on injectivity are constructive, and they are connected to the explicit inversion (modulo kernel) of the attenuated X-ray transform on tensor fields on simple Riemannian surfaces.


title: The optical noise monitoring systems of Lake Baikal environment for the Baikal-GVD telescope

abstract: We present data on the luminescence of the Baikal water medium collected with the Baikal-GVD neutrino telescope. This three-dimensional array of light sensors allows the observation of time and spatial variations of the ambient light field. We report on observation of an increase of luminescence activity in 2016 and 2018. On the contrary, we observed practically constant optical noise in 2017. An agreement has been found between two independent optical noise data sets. These are data collected with online monitoring system and the trigger system of the cluster.


title: Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)

abstract: The additional complexity caused by concurrently communicating processes in distributed systems render the verification of such systems into a very hard problem. Multiparty session types were developed to govern communication and concurrency in distributed systems. As such, they provide an efficient verification method w.r.t. properties about communication and concurrency, like communication safety or progress. However, they do not support the analysis of properties that require the consideration of concrete runs or concrete values of variables. We sequentialise well-typed systems of processes guided by the structure of their global type to obtain interaction-free abstractions thereof. Without interaction, concurrency in the system is reduced to sequential and completely independent parallel compositions. In such abstractions, the verification of properties such as e.g. data-based termination that are not covered by multiparty session types, but rely on concrete runs or values of variables, becomes significantly more efficient.


title: On the Replacement Property for PSL(2, p)

abstract: The replacement property (or Steinitz Exchange Lemma) for vector spaces has a natural analog for finite groups and their generating sets. For the special case of the groups PSL(2, p), where p is a prime larger than 5, first partial results concerning the replacement property were published by Benjamin Nachman [7]. The main goal of this paper is to provide a complete answer for PSL(2, p).


title: Modeling Time to Open of Emails with a Latent State for User Engagement Level

abstract: Email messages have been an important mode of communication, not only for work, but also for social interactions and marketing. When messages have time sensitive information, it becomes relevant for the sender to know what is the expected time within which the email will be read by the recipient. In this paper we use a survival analysis framework to predict the time to open an email once it has been received. We use the Cox Proportional Hazards (CoxPH) model that offers a way to combine various features that might affect the event of opening an email. As an extension, we also apply a mixture model (MM) approach to CoxPH that distinguishes between recipients, based on a latent state of how prone to opening the messages each individual is. We compare our approach with standard classification and regression models. While the classification model provides predictions on the likelihood of an email being opened, the regression model provides prediction of the real-valued time to open. The use of survival analysis based methods allows us to jointly model both the open event as well as the time-to-open. We experimented on a large real-world dataset of marketing emails sent in a 3-month time duration. The mixture model achieves the best accuracy on our data where a high proportion of email messages go unopened.


title: Influence of hydrogen radicals treatment on layers and solar cells made of solution-processed amorphous silicon

abstract: Solution-processed amorphous silicon is a promising material for semiconductor devices. Unfortunately, its manufacturing leaves a high density of defects in the layer, which can be reduced by a treatment with hydrogen radicals. Here, we present an optimized hydrogen treatment, which is used for best performing solar cells made of solution-processed amorphous silicon. We examine the amount and the nature of hydrogen incorporation using infrared absorption and hydrogen effusion. The hydrogen treatment not only increases hydrogen content significantly, it also enlarges the fraction of hydrogen in a bonding configuration which is known to be advantageous for electronic properties, albeit only close to the surface. Using electron spin resonance and and photothermal deflection spectroscopy spectra, we confirm a reduction of defect density. Regarding the electrical properties, the ratio of photo and dark conductivity is increased by almost two decades. This leads to a greatly enhanced performance of solar cell devices which use the material as the absorber layer. In particular, the efficiency jumps by a factor of three.


title: Revisiting the balance heuristic for estimating normalising constants

abstract: Multiple importance sampling estimators are widely used for computing intractable constants due to its reliability and robustness. The celebrated balance heuristic estimator belongs to this class of methods and has proved very successful in computer graphics. The basic ingredients for computing the estimator are: a set of proposal distributions, indexed by some discrete label, and a predetermined number of draws from each of these proposals. However, if the number of available proposals is much larger than the number of permitted importance points, one needs to select, possibly at random, which of these distributions will be used. The focus of this work lies within the previous context, exploring some improvements and variations of the balance heuristic via a novel extended-space representation of the estimator, leading to straightforward annealing schemes for variance reduction purposes. In addition, we also look at the intractable scenario where the proposal density is only available as a joint function with the discrete label, as may be encountered in problems where an ordering is imposed. For this case, we look at combinations of correlated unbiased estimators which also fit into the extended-space representation and, in turn, will provide other interesting solutions.


title: Computing Estimators of Dantzig Selector type via Column and Constraint Generation

abstract: We consider a class of linear-programming based estimators in reconstructing a sparse signal from linear measurements. Specific formulations of the reconstruction problem considered here include Dantzig selector, basis pursuit (for the case in which the measurements contain no errors), and the fused Dantzig selector (for the case in which the underlying signal is piecewise constant). In spite of being estimators central to sparse signal processing and machine learning, solving these linear programming problems for large scale instances remains a challenging task, thereby limiting their usage in practice. We show that classic constraint- and column-generation techniques from large scale linear programming, when used in conjunction with a commercial implementation of the simplex method, and initialized with the solution from a closely-related Lasso formulation, yields solutions with high efficiency in many settings.


title: Meyer-Neldel and anti-Meyer-Neldel rule in microcrystalline silicon and silicon carbide examined with Hall measurements

abstract: We study the electronic transport in lightly phosphorus-doped hydrogenated microcrystalline silicon ($\mu$c-Si:H) and nominally undoped hydrogenated silicon carbide ($\mu$c-SiC:H) by temperature-dependent Hall measurements. The material properties cover different crystallinities and doping concentrations. For$\mu$c-Si:H samples, the carrier concentration is altered by electron bombardment and subsequent step-wise annealing of defects. We describe the behavior of conductivity, mobility, and carrier concentration in terms of the Meyer-Neldel rule (MNR) and anti-MNR. We present the first sample switching between them. A theoretical examination leverages the anti-MNR to describe electronic room temperature properties, and it expands the statistical shift model.


title: On the quantum affine vertex algebra associated with trigonometric $R$-matrix

abstract: We apply the theory of $\phi$-coordinated modules, developed by H.-S. Li, to the Etingof--Kazhdan quantum affine vertex algebra associated with the trigonometric $R$-matrix of type $A$. We prove, for a certain associate $\phi$ of the one-dimensional additive formal group, that any $\phi$-coordinated module for the level $c\in\mathbb{C}$ quantum affine vertex algebra is naturally equipped with a structure of restricted level $c$ module for the quantum affine algebra in type $A$ and vice versa. Moreover, we show that any $\phi$-coordinated module is irreducible with respect to the action of the quantum affine vertex algebra if and only if it is irreducible with respect to the corresponding action of the quantum affine algebra. In the end, we discuss relation between the centers of the quantum affine algebra and the quantum affine vertex algebra.


title: Determination of fracture toughness of thin-film amorphous silicon using spiral crack structures

abstract: We prepared thin layers of amorphous silicon by deposition of a liquid-phase polysilane precurser on glass substrate. Raman scattering provides evidence for residual tensile stress in the silicon, which is evaluated quantitatively. Under treatment with hydrofluoric acid, this stress leads to spiral cracks in the silicon. We explain the process of crack formation and examine this phenomenon both analytically and numerically, the latter with the finite element method (FEM). The FEM yields the geometry correction factor for such spiral cracks in terms of the Griffith criterion. This allows for the first time the determination of fracture toughness of amorphous silicon, which is greatly enhanced in comparison with crystalline silicon.


title: Workload-Aware Opportunistic Energy Efficiency in Multi-FPGA Platforms

abstract: The continuous growth of big data applications with high computational and scalability demands has resulted in increasing popularity of cloud computing. Optimizing the performance and power consumption of cloud resources is therefore crucial to relieve the costs of data centers. In recent years, multi-FPGA platforms have gained traction in data centers as low-cost yet high-performance solutions particularly as acceleration engines, thanks to the high degree of parallelism they provide. Nonetheless, the size of data centers workloads varies during service time, leading to significant underutilization of computing resources while consuming a large amount of power, which turns out as a key factor of data center inefficiency, regardless of the underlying hardware structure. In this paper, we propose an efficient framework to throttle the power consumption of multi-FPGA platforms by dynamically scaling the voltage and hereby frequency during runtime according to prediction of, and adjustment to the workload level, while maintaining the desired Quality of Service (QoS). This is in contrast to, and more efficient than, conventional approaches that merely scale (i.e., power-gate) the computing nodes or frequency. The proposed framework carefully exploits a pre-characterized library of delay-voltage, and power-voltage information of FPGA resources, which we show is indispensable to obtain the efficient operating point due to the different sensitivity of resources w.r.t. voltage scaling, particularly considering multiple power rails residing in these devices. Our evaluations by implementing state-of-the-art deep neural network accelerators revealed that, providing an average power reduction of 4.0X, the proposed framework surpasses the previous works by 33.6% (up to 83%).


title: Modeling Islamist Extremist Communications on Social Media using Contextual Dimensions: Religion, Ideology, and Hate

abstract: Terror attacks have been linked in part to online extremist content. Although tens of thousands of Islamist extremism supporters consume such content, they are a small fraction relative to peaceful Muslims. The efforts to contain the ever-evolving extremism on social media platforms have remained inadequate and mostly ineffective. Divergent extremist and mainstream contexts challenge machine interpretation, with a particular threat to the precision of classification algorithms. Our context-aware computational approach to the analysis of extremist content on Twitter breaks down this persuasion process into building blocks that acknowledge inherent ambiguity and sparsity that likely challenge both manual and automated classification. We model this process using a combination of three contextual dimensions -- religion, ideology, and hate -- each elucidating a degree of radicalization and highlighting independent features to render them computationally accessible. We utilize domain-specific knowledge resources for each of these contextual dimensions such as Qur'an for religion, the books of extremist ideologues and preachers for political ideology and a social media hate speech corpus for hate. Our study makes three contributions to reliable analysis: (i) Development of a computational approach rooted in the contextual dimensions of religion, ideology, and hate that reflects strategies employed by online Islamist extremist groups, (ii) An in-depth analysis of relevant tweet datasets with respect to these dimensions to exclude likely mislabeled users, and (iii) A framework for understanding online radicalization as a process to assist counter-programming. Given the potentially significant social impact, we evaluate the performance of our algorithms to minimize mislabeling, where our approach outperforms a competitive baseline by 10.2% in precision.


title: The Traditional Approximation of Rotation including the centrifugal acceleration for slightly deformed stars

abstract: The Traditional Approximation of Rotation (TAR) is a treatment of the dynamical equations of rotating stably stratified fluids where the action of the Coriolis acceleration along the direction of the entropy (and chemicals) stratification is neglected while assuming that the fluid motions are mostly horizontal because of their inhibition in the vertical direction by the buoyancy force. This leads to neglect the horizontal projection of the rotation vector in the equations for the dynamics of gravito-inertial waves (GIWs) that become separable as in the non-rotating case while they are not in the case with the full Coriolis acceleration. This approximation has been broadly applied in stellar (and planetary) astrophysics to study low-frequency GIWs. TAR is built on the assumptions that the star is spherical (i.e. its centrifugal deformation is neglected) and uniformly rotating while an adiabatic treatment of the dynamics of the waves is adopted. However, it has been recently generalised with including the effects of a differential rotation. We aim to do a new generalisation that takes into account the centrifugal acceleration in the case of moderately uniformly rotating deformed stars. As in the case of a differentially rotating spherical star, the problem becomes 2D but can be treated analytically if assuming the Cowling, anelastic and JWKB approximations, which are relevant for low-frequency GIWs. It allows us to derive a generalised Laplace tidal equation for the horizontal eigenfunctions and asymptotic wave periods that can be used to probe the structure and dynamics of rotating deformed stars thanks to asteroseismology. A first numerical exploration of its eigenvalues and horizontal eigenfunctions shows their variation as a function of the pseudo-radius for different rotation rates and frequencies and the development of avoided crossings.

categories: astro-ph.SR astro-ph.EP physics.ao-ph physics.flu-dyn


title: The fate of quantum shock waves at late times

abstract: Shock waves are an ubiquitous feature of hydrodynamic theories. Given that fermionic quantum many-body systems admit hydrodynamical descriptions on length scales large compared to the Fermi wavelength, it is natural to ask what the status of shock waves is in such systems. Free fermions provide a solvable yet non-trivial example, and here we generalise to include generic (non-integrable) weak interactions to understand how a shock wave decays and changes its shape well after forming.


title: Accelerated relaxation in disordered solids under cyclic loading with alternating shear orientation

abstract: The effect of alternating shear orientation during cyclic loading on the relaxation dynamics in disordered solids is examined using molecular dynamics simulations. The model glass was initially prepared by rapid cooling from the liquid state and then subjected to cyclic shear along a single plane or periodically alternated in two or three dimensions. We showed that with increasing strain amplitude in the elastic range, the system is relocated to deeper energy minima. Remarkably, it was found that each additional alternation of the shear orientation in the deformation protocol brings the glass to lower energy states. The results of mechanical tests after more than a thousand shear cycles indicate that cyclic loading leads to the increase in strength and shear-modulus anisotropy.


title: Time dynamics with matrix product states: Many-body localization transition of large systems revisited

abstract: We compare accuracy of two prime time evolution algorithms involving Matrix Product States - tDMRG (time-dependent density matrix renormalization group) and TDVP (time-dependent variational principle). The latter is supposed to be superior within a limited and fixed auxiliary space dimension. Surprisingly, we find that the performance of algorithms depends on the model considered. In particular, many-body localized systems as well as the crossover regions between localized and delocalized phases are better described by tDMRG, contrary to the delocalized regime where TDVP indeed outperforms tDMRG in terms of accuracy and reliability. As an example, we study many-body localization transition in a large size Heisenberg chain. We discuss drawbacks of previous estimates [Phys. Rev. B 98, 174202 (2018)] of the critical disorder strength for large systems.

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


title: Maps from Feigin and Odesskii's elliptic algebras to twisted homogeneous coordinate rings

abstract: The elliptic algebras in the title are connected graded $\mathbb{C}$-algebras, denoted $Q_{n,k}(E,\tau)$, depending on a pair of relatively prime integers $n>k\ge 1$, an elliptic curve $E$, and a point $\tau\in E$. This paper examines a canonical homomorphism from $Q_{n,k}(E,\tau)$ to the twisted homogeneous coordinate ring $B(X_{n/k},\sigma',\mathcal{L}'_{n/k})$ on the characteristic variety $X_{n/k}$ for $Q_{n,k}(E,\tau)$. When $X_{n/k}$ is isomorphic to $E^g$ or the symmetric power $S^gE$ we show the homomorphism $Q_{n,k}(E,\tau) \to B(X_{n/k},\sigma',\mathcal{L}'_{n/k})$ is surjective, that the relations for $B(X_{n/k},\sigma',\mathcal{L}'_{n/k})$ are generated in degrees $\le 3$, and the non-commutative scheme $\mathrm{Proj}_{nc}(Q_{n,k}(E,\tau))$ has a closed subvariety that is isomorphic to $E^g$ or $S^gE$, respectively. When $X_{n/k}=E^g$ and $\tau=0$, the results about $B(X_{n/k},\sigma',\mathcal{L}'_{n/k})$ show that the morphism $\Phi_{|\mathcal{L}_{n/k}|}:E^g \to \mathbb{P}^{n-1}$ embeds $E^g$ as a projectively normal subvariety that is a scheme-theoretic intersection of quadric and cubic hypersurfaces.


title: Homological dimensions of Banach spaces

abstract: The purpose of this paper is to lay the foundations for the study of the problem of when $\Ext^n(X, Y)=0$ in Banach/quasi-Banach spaces. We provide a number of examples of couples $X,Y$ so that $\Ext^n(X,Y)$ is (or is not ) $0$, including the first example of a separable Banach space $\mathscr K$ so that $\Ext^n(\mathscr K, \mathscr K)\neq 0$ for all $n\in \N$. Such space moreover provides the first example of Banach spaces with infinite homological dimension/codimension. We also show that the homological dimension/codimension of Hilbert spaces is infinite. The final section is devoted to compare $\Ext^2(\cdot, \cdot)$ in Banach and Quasi-Banach spaces.


title: The Runtime of the Compact Genetic Algorithm on Jump Functions

abstract: In the first and so far only mathematical runtime analysis of an estimation-of-distribution algorithm (EDA) on a multimodal problem, Hasen\"ohrl and Sutton (GECCO 2018) showed for any $k = o(n)$ that the compact genetic algorithm (cGA) with any hypothetical population size $\mu = \Omega(ne^{4k} + n^{3.5+\varepsilon})$ with high probability finds the optimum of the $n$-dimensional jump function with jump size $k$ in time $O(\mu n^{1.5} \log n)$. We significantly improve this result for small jump sizes $k \le \frac 1 {20} \ln n -1$. In this case, already for $\mu = \Omega(\sqrt n \log n) \cap \text{poly}(n)$ the runtime of the cGA with high probability is only $O(\mu \sqrt n)$. For the smallest admissible values of $\mu$, our result gives a runtime of $O(n \log n)$, whereas the previous one only shows $O(n^{5+\varepsilon})$. Since it is known that the cGA with high probability needs at least $\Omega(\mu \sqrt n)$ iterations to optimize the unimodal OneMx function, our result shows that the cGA in contrast to most classic evolutionary algorithms here is able to cross moderate-sized valleys of low fitness at no extra cost. For large $k$, we show that the exponential (in $k$) runtime guarantee of Hasen\"ohrl and Sutton is tight and cannot be improved, also not by using a smaller hypothetical population size. We prove that any choice of the hypothetical population size leads to a runtime that, with high probability, is at least exponential in the jump size $k$. This result might be the first non-trivial exponential lower bound for EDAs that holds for arbitrary parameter settings.


title: Maximizing the spin-orbit torque efficiency of Pt/Ti multilayers by optimization of the tradeoff between the intrinsic spin Hall conductivity and carrier lifetime

abstract: We report a comprehensive study of the maximization of the spin Hall ratio ({\theta}SH) in Pt thin films by the insertion of sub-monolayer layers of Ti to decrease carrier lifetime while minimizing the concurrent reduction in the spin Hall conductivity. We establish that the intrinsic spin Hall conductivity of Pt, while robust against the strain and the moderate interruption of crystal order caused by these insertions, begins to decrease rapidly at high resistivity level because of the shortening carrier lifetime. The unavoidable trade-off between the intrinsic spin Hall conductivity and carrier lifetime sets a practical upper bound of {\theta}SH >=0.8 for heterogeneous materials where the crystalline Pt component is the source of the spin Hall effect and the resistivity is increased by shortening carrier lifetime. This work also establishes a very promising spin-Hall metal of [Pt 0.75 nm/Ti 0.2 nm]7/Pt 0.75 nm for energy-efficient, high-endurance spin-orbit torque technologies (e.g., memories, oscillators, and logic) due to its combination of a giant {\theta}SH of 0.8, or equivalently a dampinglike spin torque efficiency per unit current density of 0.35, with a relatively low resistivity (90 uOhm cm) and high suitability for practical technology integration.


title: On the ${\Ext}^2$-problem for Hilbert spaces

abstract: We show that $\Ext^2(\ell_2, \ell_2)\neq 0$ in the category of Banach spaces. This solves a sharpened version of Palamodov's problem and provides a solution to the second order version of Palais problem. We also show that $\Ext^2(\ell_1, \K)\neq 0$ in the category of quasi Banach spaces which solves the four-space problem for local convexity.


title: Tidal-locking-induced stellar rotation dichotomy in the open cluster NGC 2287?

abstract: Stars spend most of their lifetimes on the `main sequence' (MS) in the Hertzsprung--Russell diagram. The obvious double MSs seen in the equivalent color--magnitude diagrams characteristic of Milky Way open clusters pose a fundamental challenge to our traditional understanding of star clusters as `single stellar populations.' The clear MS bifurcation of early-type stars with masses greater than $\sim1.6 M_\odot$ is thought to result from a range in the stellar rotation rates. However, direct evidence connecting double MSs to stellar rotation properties has yet to emerge. Here, we show through analysis of the projected stellar rotational velocities ($v\sin i$, where $i$ represents the star's inclination angle) that the well-separated double MS in the young, $\sim200Myr$-old Milky Way open cluster NGC 2287 is tightly correlated with a dichotomous distribution of stellar rotation rates. We discuss whether our observations may reflect the effects of tidal locking affecting a fraction of the cluster's member stars in stellar binary systems. We show that the slow rotators could potentially be initially rapidly rotating stars that have been slowed down by tidal locking by a low mass-ratio companion in a cluster containing a large fraction of short-period, low-mass-ratio binaries. This demonstrates that stellar rotation drives the split MSs in young, $\lessapprox 300$Myr-old star clusters. However, special conditions, e.g., as regards the mass-ratio distribution, might be required for this scenario to hold.


title: Stellar rotation bifurcation caused by tidal locking in the open cluster NGC 2287?

abstract: We present a detailed analysis of the projected stellar rotational velocities of the well-separated double main sequence (MS) in the young, $\sim200$Myr-old Milky Way open cluster NGC 2287 and suggest that stellar rotation may drive the split MSs in NGC 2287. We find that the observed distribution of projected stellar rotation velocities could result from a dichotomous distribution of stellar rotation rates. We discuss whether our observations may reflect the effects of tidal locking affecting a fraction of the cluster's member stars in stellar binary systems. The slow rotators are likely stars that initially rotated rapidly but subsequently slowed down through tidal locking induced by low-mass-ratio binary systems. However, the cluster may have a much larger population of short-period binaries than is usually seen in the literature, with relatively low secondary masses.


title: A clock-less ultra-low power bit-serial LVDS link for Address-Event multi-chip systems

abstract: We present a power efficient clock-less fully asynchronous bit-serial Low Voltage Differential Signaling (LVDS) link with event-driven instant wake-up and self-sleep features, optimized for high speed inter-chip communication of asynchronous address-events between neuromorphic chips. The proposed LVDS link makes use of the Level-Encoded Dual-Rail (LEDR) representation and a token-ring architecture to encode and transmit data, avoiding the use of conventional large ClockData Recovery (CDR) modules with power-hungry DLL or PLL circuits. We implemented the LVDS circuits in a device fabricated with a standard 0.18 um CMOS process. The total silicon area used for such block is of 0.14 mm^2. We present experimental measurement results to demonstrate that, with a bit rate of 1.5 Gbps and an event width of 32-bit, the proposed LVDS link can achieve transmission event rates of 35.7 M Events/second with current consumption of 19.3 mA and 3.57 mA for receiver and transmitter blocks, respectively. Given the clock-less and instant on/off design choices made, the power consumption of the whole link depends linearly on the data transmission rate. We show that the current consumption can go down to sub-uA for low event rates (e.g., <1k Events/second), with a floor of 80 nA for transmitter and 42 nA for receiver, determined mainly by static off-leakage currents.


title: Unbounded sequences of stable limit cycles in the delayed Duffing equation: an exact analysis

abstract: The delayed Duffing equation $\ddot{x}(t)+x(t-T)+x^3(t)=0$ is shown to possess an infinite and unbounded sequence of rapidly oscillating, asymptotically stable periodic solutions, for fixed delays such that $T^2<\tfrac{3}{2}\pi^2$. In contrast to several previous works which involved approximate solutions, the treatment here is exact.


title: Two-photon absorption in a two-level system enabled by noise

abstract: We address the textbook problem of dynamics of a spin placed in a dc magnetic field and subjected to an ac drive. If the drive is polarized in the plane perpendicular to the dc field, the drive photons are resonantly absorbed when the spacing between the Zeeman levels is close to the photon energy. This is the only resonance when the drive is circularly polarized. For linearly polarized drive, additional resonances corresponding to absorption of three, five, and multiple odd numbers of photons is possible. Interaction with the environment causes the broadening of the absorption lines. We demonstrate that the interaction with environment enables the forbidden two-photon absorption. We adopt a model of the environment in the form of random telegraph noise produced by a single fluctuator. As a result of the synchronous time fluctuations of different components of the random field, the shape of the two-photon absorption line is non-Lorentzian and depends dramatically on the drive amplitude. This shape is a monotonic curve at strong drive, while, at weak drive, it develops a two-peak structure reminiscent of an induced transparency on resonance.


title: State Synchronization for Homogeneous Networks of Non-introspective Agents in Presence of Input Saturation -A Scale-free Protocol Design

abstract: This paper studies global and semi-global regulated state synchronization of homogeneous networks of non-introspective agents in presence of input saturation based on additional information exchange where the reference trajectory is given by a so-called exosystem which is assumed to be globally reachable. Our protocol design methodology does not need any knowledge of the directed network topology and the spectrum of the associated Laplacian matrix. Moreover, the proposed protocol is scalable and achieves synchronization for any arbitrary number of agents.


title: Influence of chemical stability on the fabrication of MnGa-based devices

abstract: Ferromagnetic films of L10-ordered MnGa have shown promise not only in the applications in ultrahigh-density magnetic recording and spintronic memories, oscillators, and sensors, but also in controllable studies of novel electrical transport phenomena. However, the stability of MnGa in chemicals and oxygen plasma that are commonly used in the standard micro-/nano-fabrication process has unsettled. In this work, we report a systematic study on the chemical stability of the MnGa films in acids, acetone, ethanol, deionized water, tetramethylammonium hydroxide (TMAOH) and oxygen plasma. We find that MnGa is very stable in acetone and ethanol, while can be attacked substantially if soaked in TMAOH solution for sufficiently long time. Deionized water and acids (e.g., HCl, H3PO4 and H2SO4 solutions) attack MnGa violently and should be avoided whenever possible. In addition, oxygen plasma can passivate the MnGa surface by oxidizing the surface. These results provide important information for the fabrication and the integration of MnGa based spintronic devices.


title: Hyperpixel Flow: Semantic Correspondence with Multi-layer Neural Features

abstract: Establishing visual correspondences under large intra-class variations requires analyzing images at different levels, from features linked to semantics and context to local patterns, while being invariant to instance-specific details. To tackle these challenges, we represent images by "hyperpixels" that leverage a small number of relevant features selected among early to late layers of a convolutional neural network. Taking advantage of the condensed features of hyperpixels, we develop an effective real-time matching algorithm based on Hough geometric voting. The proposed method, hyperpixel flow, sets a new state of the art on three standard benchmarks as well as a new dataset, SPair-71k, which contains a significantly larger number of image pairs than existing datasets, with more accurate and richer annotations for in-depth analysis.


title: The Nuclear Source of the Galactic Wind in NGC 253

abstract: We present Br$\gamma$ emission line kinematics of the nuclear region of NGC 253, recently known to host a strong galactic wind that limits the global star formation of the galaxy. We obtained high-resolution long-slit spectroscopic data with PHOENIX at Gemini-South, positioning the slit on the nucleus Infrared Core (IRC), close to the nuclear disk major axis. The spatial resolution was 0.35"($\sim$6 pc) and the slit length 14"($\sim$240 pc). The spectral resolution was $\sim$74000, unprecedented high for galactic nuclei observations at $\sim$2.1$\mu$m. The line profiles appear highly complex, with blue asymmetry up to 3.5'' away of the IRC, and red asymmetries further away to NE. Several Gaussian components are necessary to fit the profile, nevertheless a narrow and a wide ones predominate. The IRC presents kinematic widths above 700 kms$^{-1}$ (FWZI), and broad component FWHM$\sim$400 kms$^{-1}$, the highest detected in a nearby galaxy. At the IRC, the blue-shifted broad component displays a 90 km s$^{-1}$ bump in radial velocity distribution, a feature we previously detected in molecular gas kinematics. The narrow component velocity dispersion ($\sim$32 kms$^{-1}$) is within the expected for normal galaxies and LIRGs. Intermediate components (FWHM$\sim$150 kms$^{-1}$, red-shifted to NE, blue-shifted to SW) appear at some positions, as well as weaker blue (-215 kms$^{-1}$) and red line wings (+300 kms$^{-1}$). The IRC depicts a large broad vs. narrow line flux-ratio (F(B)/F(N)$\sim$1.35), and the broad component seems only comparable with those observed at very high star-forming rate galaxies. The results indicate that the IRC would be the main source of the galactic winds originated in the central region of NGC 253.


title: A New Technique of Camera Calibration: A Geometric Approach Based on Principal Lines

abstract: Camera calibration is a crucial prerequisite in many applications of computer vision. In this paper, a new, geometry-based camera calibration technique is proposed, which resolves two main issues associated with the widely used Zhang's method: (i) the lack of guidelines to avoid outliers in the computation and (ii) the assumption of fixed camera focal length. The proposed approach is based on the closed-form solution of principal lines (PLs), with their intersection being the principal point while each PL can concisely represent relative orientation/position (up to one degree of freedom for both) between a special pair of coordinate systems of image plane and calibration pattern. With such analytically tractable image features, computations associated with the calibration are greatly simplified, while the guidelines in (i) can be established intuitively. Experimental results for synthetic and real data show that the proposed approach does compare favorably with Zhang's method, in terms of correctness, robustness, and flexibility, and addresses issues (i) and (ii) satisfactorily.


title: Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing

abstract: There is an urgent societal need to assess whether autonomous vehicles (AVs) are safe enough. From published quantitative safety and reliability assessments of AVs, we know that, given the goal of predicting very low rates of accidents, road testing alone requires infeasible numbers of miles to be driven. However, previous analyses do not consider any knowledge prior to road testing - knowledge which could bring substantial advantages if the AV design allows strong expectations of safety before road testing. We present the advantages of a new variant of Conservative Bayesian Inference (CBI), which uses prior knowledge while avoiding optimistic biases. We then study the trend of disengagements (take-overs by human drivers) by applying Software Reliability Growth Models (SRGMs) to data from Waymo's public road testing over 51 months, in view of the practice of software updates during this testing. Our approach is to not trust any specific SRGM, but to assess forecast accuracy and then improve forecasts. We show that, coupled with accuracy assessment and recalibration techniques, SRGMs could be a valuable test planning aid.


title: The Landscape of Minimum Label Cut (Hedge Connectivity) Problem

abstract: Minimum Label Cut (or Hedge Connectivity) problem is defined as follows: given an undirected graph $G=(V, E)$ with $n$ vertices and $m$ edges, in which, each edge is labeled (with one or multiple labels) from a label set $L=\{\ell_1,\ell_2, ..., \ell_{|L|}\}$, the edges may be weighted with weight set $W =\{w_1, w_2, ..., w_m\}$, the label cut problem(hedge connectivity) problem asks for the minimum number of edge sets(each edge set (or hedge) is the edges with the same label) whose removal disconnects the source-sink pair of vertices or the whole graph with minimum total weights(minimum cardinality for unweighted version). This problem is more general than edge connectivity and hypergraph edge connectivity problem and has a lot of applications in MPLS, IP networks, synchronous optical networks, image segmentation, and other areas. However, due to limited communications between different communities, this problem was studied in different names, with some important existing literature citations missing, or sometimes the results are misleading with some errors. In this paper, we make a further investigation of this problem, give uniform definitions, fix existing errors, provide new insights and show some new results. Specifically, we show the relationship between non-overlapping version(each edge only has one label) and overlapping version(each edge has multiple labels), by fixing the error in the existing literature; hardness and approximation performance between weighted version and unweighted version and some useful properties for further research.


title: Poisson Dixmier-Moeglin equivalence from a topological point of view

abstract: In this paper, we provide some topological criteria for the Poisson Dixmier-Moeglin equivalence for $A$ in terms of the poset $({\rm P. spec A}, \subseteq)$ and the symplectic leaf or core stratification on its maximal spectrum. In particular, we prove that the Zariski topology of the Poisson prime spectrum and of each symplectic leaf or core can detect the Poisson Dixmier-Moeglin equivalence for any complex affine Poisson algebra. Moreover, we generalize the weaker version of the Poisson Dixmier-Moeglin equivalence for a complex affine Poisson algebra proved in [J. Bell, S. Launois, O.L. S\'anchez, and B. Moosa, Poisson algebras via model theory and differential algebraic geometry, J. Eur. Math. Soc. (JEMS), 19(2017), no. 7, 2019-2049] to the general context of a commutative differential algebra.


title: Benchmarks for Graph Embedding Evaluation

abstract: Graph embedding is the task of representing nodes of a graph in a low-dimensional space and its applications for graph tasks have gained significant traction in academia and industry. The primary difference among the many recently proposed graph embedding methods is the way they preserve the inherent properties of the graphs. However, in practice, comparing these methods is very challenging. The majority of methods report performance boosts on few selected real graphs. Therefore, it is difficult to generalize these performance improvements to other types of graphs. Given a graph, it is currently impossible to quantify the advantages of one approach over another. In this work, we introduce a principled framework to compare graph embedding methods. Our goal is threefold: (i) provide a unifying framework for comparing the performance of various graph embedding methods, (ii) establish a benchmark with real-world graphs that exhibit different structural properties, and (iii) provide users with a tool to identify the best graph embedding method for their data. This paper evaluates 4 of the most influential graph embedding methods and 4 traditional link prediction methods against a corpus of 100 real-world networks with varying properties. We organize the 100 networks in terms of their properties to get a better understanding of the embedding performance of these popular methods. We use the comparisons on our 100 benchmark graphs to define GFS-score, that can be applied to any embedding method to quantify its performance. We rank the state-of-the-art embedding approaches using the GFS-score and show that it can be used to understand and evaluate novel embedding approaches. We envision that the proposed framework (https://www.github.com/palash1992/GEM-Benchmark) will serve the community as a benchmarking platform to test and compare the performance of future graph embedding techniques.


title: HumanMeshNet: Polygonal Mesh Recovery of Humans

abstract: 3D Human Body Reconstruction from a monocular image is an important problem in computer vision with applications in virtual and augmented reality platforms, animation industry, en-commerce domain, etc. While several of the existing works formulate it as a volumetric or parametric learning with complex and indirect reliance on re-projections of the mesh, we would like to focus on implicitly learning the mesh representation. To that end, we propose a novel model, HumanMeshNet, that regresses a template mesh's vertices, as well as receives a regularization by the 3D skeletal locations in a multi-branch, multi-task setup. The image to mesh vertex regression is further regularized by the neighborhood constraint imposed by mesh topology ensuring smooth surface reconstruction. The proposed paradigm can theoretically learn local surface deformations induced by body shape variations and can therefore learn high-resolution meshes going ahead. We show comparable performance with SoA (in terms of surface and joint error) with far lesser computational complexity, modeling cost and therefore real-time reconstructions on three publicly available datasets. We also show the generalizability of the proposed paradigm for a similar task of predicting hand mesh models. Given these initial results, we would like to exploit the mesh topology in an explicit manner going ahead.


title: An auto-scaling wide dynamic range current to frequency converter for real-time monitoring of signals in neuromorphic systems

abstract: Neuromorphic systems typically employ current-mode circuits that model neural dynamics and produce output currents that range from few pico-Amperes to hundreds of micro-Amperes. On-line real-time monitoring of the signals produced by these circuits is crucial, for prototyping and debugging purposes, as well as for analyzing and understanding the network dynamics and computational properties. To this end, we propose a compact on-chip auto-scaling Current to Frequency Converter (CFC) for real-time monitoring of analog currents in mixed-signal/analog neuromorphic electronic systems. The proposed CFC is a self-timed asynchronous circuit that has a wide dynamic input range of up to 6 decades, ranging from pico-Amps to micro-Amps, with high current measurement sensitivity. To produce a linear output frequency response, while properly covering the wide dynamic input range, the circuit automatically detects the scale of the input current and adjusts the scale of its output firing rate accordingly. Here we describe the proposed circuit and present experimental results measured from multiple instances of the circuit, implemented using a standard 180 nm CMOS process, and interfaced to silicon neuron and synapse circuits for real-time current monitoring. We demonstrate how the circuit is suitable for measuring neural dynamics by showing the converted response properties of the chip silicon neurons and synapses as they are stimulated by input spikes.


title: $\mathbb Z Q$ type constructions in higher representation theory

abstract: Let $Q$ be an acyclic quiver, it is classical that certain truncations of the translation quiver $\mathbb Z Q$ appear in the Auslander-Reiten quiver of the path algebra $kQ$. The stable $n$-translation quiver $\mathbb Z|_{n-1} Q$ is introduced as a generalization of the $\mathbb Z Q$ construction in studying higher representation theory of algebras for an acyclic bound quiver $Q$. In this paper, we find conditions for a Hom-finite Krull-Schmidt $k$-category to be realized as the bound path category of a convex full subquiver of an stable $n$-translation quiver.We show that for $n$-slice algebra $\Gamma$, which is an $n$-hereditary algebra whose $(n+1)$-preprojective algebra is $(q+1,n+1)$-Koszul, with bound quiver $Q^{op}$, its $n$-preprojective and $n$-preinjective components in the module category and truncations of the stable $n$-translation quiver $\mathbb Z|_{n-1} Q^{op}$. We also use $\mathbb Z|_{n-1} Q^{op}$ to describe the $\nu_n$-closure of $\Gamma$ in the derived category.


title: Three-Dimensional Generalized Dynamics of Soft-Matter Quasicrystals

abstract: The three-dimensional generalized dynamics of soft-matter quasicrystals was investigated, in which the governing equations of the dynamics are derived for observed 12-fold symmetry quasicrystals and possible observed 8- and 10-symmetry ones in near future in soft matter. The solving methods, possible solutions for some initial and boundary value problems of the equations and possible applications are discussed as well.