title: RaP-Net: A Region-wise and Point-wise Weighting Network to Extract Robust Features for Indoor Localization

abstract: Feature extraction plays an important role in visual localization. Unreliable features on dynamic objects or repetitive regions will interfere with feature matching and challenge indoor localization greatly. To address the problem, we propose a novel network, RaP-Net, to simultaneously predict region-wise invariability and point-wise reliability, and then extract features by considering both of them. We also introduce a new dataset, named OpenLORIS-Location, to train the proposed network. The dataset contains 1553 images from 93 indoor locations. Various appearance changes between images of the same location are included and can help the model to learn the invariability in typical indoor scenes. Experimental results show that the proposed RaP-Net trained with OpenLORIS-Location dataset achieves excellent performance in the feature matching task and significantly outperforms state-of-the-arts feature algorithms in indoor localization. The RaP-Net code and dataset are available at https://github.com/ivipsourcecode/RaP-Net.


title: Fractal-based Belief Entropy

abstract: The total uncertainty measurement of basic probability assignment (BPA) in Dempster-Shafer evidence theory (DSET) has always been an open issue. Although some scholars put forward various measurements and entropies of BPA, due to the existence of discord and non-specificity, there is no method can measure BPA reasonably. In order to utilize BPA to practical decision-making, pignistic probability transformation of BPA is a significant method. In the paper, we simulate the pignistic probability transformation (PPT) process based on the fractal idea, which describes PPT process in detail and shows the process of information volume changes during transformation intuitively. Based on transformation process, we propose a new belief entropy called fractal-based belief (FB) entropy. After verification, FB entropy is superior to all existing belief entropies in terms of total uncertainty measurement and physical model consistency.


title: NuSTAR Observations of Abell 2163: Constraints on Non-thermal Emission

abstract: Since the first non-thermal reports of inverse Compton (IC) emission from the intracluster medium (ICM) of galaxy clusters at hard X-ray energies, we have yet to unambiguously confirm IC emission in observations with newer facilities. RXTE detected IC emission in one of the hottest known clusters, Abell 2163 (A2163), a massive merging cluster with a giant radio halo--the presumed source of relativistic electrons IC scattering CMB photons to X-ray energies. The cluster's redshift (z~0.2) allows its thermal and non-thermal radio emission to fit NuSTARS's FOV, permitting a deep observation capable of confirming or ruling out the RXTE report. The IC flux provides constraints on the average magnetic field strength in a cluster. To determine the global diffuse IC emission in A2163, we fit its global NuSTAR spectrum with four models: single (1T) and two-temperature (2T), 1T+power law component (T+IC), and multi-temperature+power law (9T+IC). Each represent different characterizations of the thermal ICM emission, with power law components added to represent IC emission. We find the 3-30 keV spectrum can be described by purely thermal emission, with a global average temperature of kT = (11.8 $\pm$ 0.2) keV. The IC flux is constrained to $<$ $4.0$ $\times$ $10^{-12}$ $erg$ $s^{-1}$ $cm^{-2}$ using the 1T+IC model and $<$ $1.6$ $\times$ $10^{-12}$ $erg$ $s^{-1}$ $cm^{-2}$ with the more physical 9T+IC model, both to 90% confidence levels. Combining these limits with 1.4 GHz diffuse radio data from the VLA, we find the average magnetic field strength to be $>$ $0.22$$\mu$$G$ and $>$ $0.35$$\mu$$G$, respectively, providing the strongest constraints on these values in A2163 to date.


title: On $Q$-manifolds bundles

abstract: We prove a homological characterization of $Q$-manifolds bundles over $C$-spaces. This provides a partial answer to Question QM22 from \cite{w}.


title: Sim2Real for Self-Supervised Monocular Depth and Segmentation

abstract: Image-based learning methods for autonomous vehicle perception tasks require large quantities of labelled, real data in order to properly train without overfitting, which can often be incredibly costly. While leveraging the power of simulated data can potentially aid in mitigating these costs, networks trained in the simulation domain usually fail to perform adequately when applied to images in the real domain. Recent advances in domain adaptation have indicated that a shared latent space assumption can help to bridge the gap between the simulation and real domains, allowing the transference of the predictive capabilities of a network from the simulation domain to the real domain. We demonstrate that a twin VAE-based architecture with a shared latent space and auxiliary decoders is able to bridge the sim2real gap without requiring any paired, ground-truth data in the real domain. Using only paired, ground-truth data in the simulation domain, this architecture has the potential to generate perception tasks such as depth and segmentation maps. We compare this method to networks trained in a supervised manner to indicate the merit of these results.


title: Optimal Distributed Control for Leader-Follower Networks: A Scalable Design

abstract: The focus of this paper is directed towards optimal control of multi-agent systems consisting of one leader and a number of followers in the presence of noise. The dynamics of every agent is assumed to be linear, and the performance index is a quadratic function of the states and actions of the leader and followers. The leader and followers are coupled in both dynamics and cost. The state of the leader and the average of the states of all followers (called mean-field) are common information and known to all agents; however, the local state of the followers are private information and unknown to other agents. It is shown that the optimal distributed control strategy is linear time-varying, and its computational complexity is independent of the number of followers. This strategy can be computed in a distributed manner, where the leader needs to solve one Riccati equation to determine its optimal strategy while each follower needs to solve two Riccati equations to obtain its optimal strategy. This result is subsequently extended to the case of the infinite horizon discounted and undiscounted cost functions, where the optimal distributed strategy is shown to be stationary. A numerical example with $100$ followers is provided to demonstrate the efficacy of the results.


title: Fast and Accurate Non-Linear Predictions of Universes with Deep Learning

abstract: Cosmologists aim to model the evolution of initially low amplitude Gaussian density fluctuations into the highly non-linear "cosmic web" of galaxies and clusters. They aim to compare simulations of this structure formation process with observations of large-scale structure traced by galaxies and infer the properties of the dark energy and dark matter that make up 95% of the universe. These ensembles of simulations of billions of galaxies are computationally demanding, so that more efficient approaches to tracing the non-linear growth of structure are needed. We build a V-Net based model that transforms fast linear predictions into fully nonlinear predictions from numerical simulations. Our NN model learns to emulate the simulations down to small scales and is both faster and more accurate than the current state-of-the-art approximate methods. It also achieves comparable accuracy when tested on universes of significantly different cosmological parameters from the one used in training. This suggests that our model generalizes well beyond our training set.


title: Deep Residual Network Empowered Channel Estimation for IRS-Assisted Multi-User Communication Systems

abstract: Channel estimation is of great importance in realizing practical intelligent reflecting surface-assisted multi-user communication (IRS-MC) systems. However, different from traditional communication systems, an IRS-MC system generally involves a cascaded channel with a sophisticated statistical distribution, which hinders the implementations of the Bayesian estimators. To further improve the channel estimation performance, in this paper, we model the channel estimation as a denoising problem and adopt a data-driven approach to realize the channel estimation. Specifically, we propose a convolutional neural network (CNN)-based deep residual network (CDRN) to implicitly learn the residual noise for recovering the channel coefficients from the noisy pilot-based observations. In the proposed CDRN, a CNN denoising block equipped with an element-wise subtraction structure is designed to exploit both the spatial features of the noisy channel matrices and the additive nature of the noise simultaneously, which further improves the estimation accuracy. Simulation results demonstrate that the proposed method can almost achieve the same estimation accuracy as that of the optimal minimum mean square error (MMSE) estimator requiring the knowledge of the channel distribution.


title: 3D Guided Weakly Supervised Semantic Segmentation

abstract: Pixel-wise clean annotation is necessary for fully-supervised semantic segmentation, which is laborious and expensive to obtain. In this paper, we propose a weakly supervised 2D semantic segmentation model by incorporating sparse bounding box labels with available 3D information, which is much easier to obtain with advanced sensors. We manually labeled a subset of the 2D-3D Semantics(2D-3D-S) dataset with bounding boxes, and introduce our 2D-3D inference module to generate accurate pixel-wise segment proposal masks. Guided by 3D information, we first generate a point cloud of objects and calculate objectness probability score for each point. Then we project the point cloud with objectness probabilities back to 2D images followed by a refinement step to obtain segment proposals, which are treated as pseudo labels to train a semantic segmentation network. Our method works in a recursive manner to gradually refine the above-mentioned segment proposals. Extensive experimental results on the 2D-3D-S dataset show that the proposed method can generate accurate segment proposals when bounding box labels are available on only a small subset of training images. Performance comparison with recent state-of-the-art methods further illustrates the effectiveness of our method.


title: Levy and Thurston obstructions of finite subdivision rules

abstract: For a post-critically finite branched covering of the sphere that is a subdivision map of a finite subdivision rule, we define non-expanding spines which determine the existence of a Levy cycle in a non-exhaustive semi-decidable algorithm. Especially when a finite subdivision rule has polynomial growth of edge subdivisions, the algorithm terminates very quickly, and the existence of a Levy cycle is equivalent to the existence of a Thurston obstruction. In order to show the equivalence between Levy and Thurston obstructions, we generalize the arcs intersecting obstruction theorem by Pilgrim and Tan to a graph intersecting obstruction theorem. As a corollary, we prove that for a pair of post-critically finite polynomials, if at least one polynomial has core entropy zero, then their mating has a Levy cycle if and only if the mating has a Thurston obstruction.


title: The Optimal Location and Size of an Intermediate Coil in a Magnetic Resonant Coupling Wireless Power Transfer System

abstract: To increase the transmission distance of Wireless Power Transfer (WPT) systems, we provide guidelines on choosing the optimal location of an Intermediate Coil with respect to size within a standard five-coil axially aligned experimental setup. From our results, for maximum magnitude of S21 at the resonant frequency we found the optimal location to exist where the coupling coefficient between the Transmitter and the Intermediate Coil and the coupling coefficient between the Receiver and the Intermediate Coil are identical. Additionally, the optimal outer diameter for the maximum magnitude of S21 at the resonant frequency of the Intermediate Coil in the given symmetric and asymmetric setup are found to be larger than both TX and RX.


title: Estimation of Radio Refractivity from a Decade Satellite Derived Meteorological Data for West Africa

abstract: Radio refractivity, which is the bending of radio signal as it propagates through media, is very important in works involving terrestrial atmospheric electromagnetic propagation such as point-to-point microwave communication, terrestrial radio and television broadcast, mobile communication system, and so on. This study has focused on the West African region where it was found that the region has a refractivity which varies exponentially with height and from the coast towards the desert. Generally, refractivity gradient was found to range between -46.48 and -29.51 N-units/km (k-factor value of between 1.23 and 1.42) across the region, splitting the between sub- and super-refraction. The variation in refraction type was found to follow seasonal pattern across the West African region, with sub-refraction dominating during dry season and super-refraction dominating most part in the coastal area during the wet season.


title: Deterministic single-atom source of quasi-superradiant $N$-photon pulses

abstract: We propose a single-atom, cavity quantum electrodynamics system, compatible with recently demonstrated, fiber-integrated micro- and nano-cavity setups, for the on-demand production of optical number-state, $0N$-state, and binomial-code-state pulses. The scheme makes use of Raman transitions within an entire atomic ground-state hyperfine level and operates with laser and cavity fields detuned from the atomic transition by much more than the excited-state hyperfine splitting. This enables reduction of the dynamics to that of a simple, cavity-damped Tavis-Cummings model with the collective spin determined by the total angular momentum of the ground hyperfine level.


title: First-order asymptotic perturbation theory for extensions of symmetric operators

abstract: This work offers a new prospective on asymptotic perturbation theory for varying self-adjoint extensions of symmetric operators. Employing symplectic formulation of self-adjointness we obtain a new version of Krein formula for resolvent difference which facilitates asymptotic analysis of resolvent operators via first order expansion for the family of Lagrangian planes associated with perturbed operators. Specifically, we derive a Riccati-type differential equation and the first order asymptotic expansion for resolvents of self-adjoint extensions determined by smooth one-parameter families of Lagrangian planes. This asymptotic perturbation theory yields a symplectic version of the abstract Kato selection theorem and Hadamard-Rellich-type variational formula for slopes of multiple eigenvalue curves bifurcating from an eigenvalue of the unperturbed operator. The latter, in turn, gives a general infinitesimal version of the celebrated formula equating the spectral flow of a path of self-adjoint extensions and the Maslov index of the corresponding path of Lagrangian planes. Applications are given to quantum graphs, periodic Kronig-Penney model, elliptic second order partial differential operators with Robin boundary conditions, and physically relevant heat equations with thermal conductivity.


title: Viewing angle analysis of reconstructed image from digital Fresnel hologram with enhanced numerical aperture

abstract: The viewing-angle enlargement of a holographic image is a crucial factor for realizing the holographic display. The numerical aperture (NA) of digital hologram other than a pixel specification has been known to determine the angular field extent of image. Here, we provide a valid foundation for the dependence of viewing angle on the hologram numerical aperture by investigating mathematically the internal structure of the sampled point spread function showing a self-similarity of its modulating curves and especially, analyzing this scheme on the basis of quantum mechanical framework. The enhanced-NA Fresnel hologram generates the multiple images with a high resolution, which can lead to the higher viewing angle represented as the NA of whole aperture of hologram. Optical experiment shows the consistent result with quantum mechanical description of viewing angle of holographic images. Finally, we discuss the method for enlarging viewing angle of holographic image without sacrificing image size by using this scheme.


title: Cross-artform performance using networked interfaces: Last Man to Die's Vital LMTD

abstract: In 2009 the cross artform group, Last Man to Die, presented a series of performances using new interfaces and networked performance to integrate the three artforms of its members (actor, Hanna Cormick, visual artist, Benjamin Forster and percussionist, Charles Martin). This paper explains our artistic motivations and design for a computer vision surface and networked heartbeat sensor as well as the experience of mounting our first major work, Vital LMTD.


title: Strike on Stage: a percussion and media performance

abstract: This paper describes Strike on Stage, an interface and corresponding audio-visual performance work developed and performed in 2010 by percussionists and media artists Chi-Hsia Lai and Charles Martin. The concept of Strike on Stage is to integrate computer visuals and sound into an improvised percussion performance. A large projection surface is positioned directly behind the performers, while a computer vision system tracks their movements. The setup allows computer visualisation and sonification to be directly responsive and unified with the performers' gestures.


title: Higher-order Dirac sonic crystals

abstract: Discovering new topological phases of matter is a major theme in fundamental physics and materials science. Dirac semimetal provides an exceptional platform for exploring topological phase transitions under symmetry breaking. Recent theoretical studies have revealed that a three-dimensional Dirac semimetal can harbor fascinating hinge states, a higher-order topological manifestation not known before. However, its realization in experiment is yet to be achieved. In this Letter, we propose a minimum model to construct a spinless higher-order Dirac semimetal protected by C_6v symmetry. By breaking different symmetries, this parent phase transitions into a variety of novel topological phases including higher-order topological insulator, higher-order Weyl semimetal, and higher-order nodal-ring semimetal. Furthermore, for the first time, we experimentally realize this unprecedented higher-order topological phase in a sonic crystal and present an unambiguous observation of the desired hinge states via momentun-space spectroscopy and real-space visualization. Our findings may offer new opportunities to manipulate classical waves such as sound and light.


title: Tregs self-organize into a "computing ecosystem" and implement a sophisticated optimization algorithm for mediating immune response

abstract: Regulatory T cells (Tregs) play a crucial role in mediating immune response. Yet an algorithmic understanding of the role of Tregs in adaptive immunity remains lacking. Here, we present a biophysically realistic model of Treg mediated self-tolerance in which Tregs bind to self-antigens and locally inhibit the proliferation of nearby activated T cells. By exploiting a duality between ecological dynamics and constrained optimization, we show that Tregs tile the potential antigen space while simultaneously minimizing the overlap between Treg activation profiles. We find that for sufficiently high Treg diversity, Treg mediated self-tolerance is robust to fluctuations in self-antigen concentrations but lowering the Treg diversity results in a sharp transition -- related to the Gardner transition in perceptrons -- to a regime where changes in self-antigen concentrations can result in an auto-immune response. We propose a novel experimental test of this transition in immune-deficient mice and discuss potential implications for autoimmune diseases.

categories: q-bio.PE cond-mat.soft cond-mat.stat-mech nlin.AO q-bio.TO


title: A New Action Recognition Framework for Video Highlights Summarization in Sporting Events

abstract: To date, machine learning for human action recognition in video has been widely implemented in sports activities. Although some studies have been successful in the past, precision is still the most significant concern. In this study, we present a high-accuracy framework to automatically clip the sports video stream by using a three-level prediction algorithm based on two classical open-source structures, i.e., YOLO-v3 and OpenPose. It is found that by using a modest amount of sports video training data, our methodology can perform sports activity highlights clipping accurately. Comparing with the previous systems, our methodology shows some advantages in accuracy. This study may serve as a new clipping system to extend the potential applications of the video summarization in sports field, as well as facilitates the development of match analysis system.


title: Airy structures and deformations of curves in surfaces

abstract: An embedded curve in a symplectic surface $\Sigma\subset X$ defines a smooth deformation space $\mathcal{B}$ of nearby embedded curves. A key idea of Kontsevich and Soibelman arXiv:1701.09137 [math.AG], is to equip the symplectic surface $X$ with a foliation in order to study the deformation space $\mathcal{B}$. The foliation, together with a vector space $V_\Sigma$ of meromorphic differentials on $\Sigma$, endows an embedded curve $\Sigma$ with the structure of the initial data of topological recursion, which defines a collection of symmetric tensors on $V_\Sigma$. Kontsevich and Soibelman define an Airy structure on $V_\Sigma$ to be a formal quadratic Lagrangian $\mathcal{L}\subset T^*(V_\Sigma^*)$ which leads to an alternative construction of the tensors of topological recursion. In this paper we produce a formal series $\theta$ on $\mathcal{B}$ of meromorphic differentials on $\Sigma$ which takes it values in $\mathcal{L}$, and use this to produce the Donagi-Markman cubic from a natural cubic tensor on $V_\Sigma$, giving a generalisation of a result of Baraglia and Huang, arXiv:1707.04975 [math.DG].


title: Positivity of Curvature on Manifolds with Boundary

abstract: Consider a compact manifold $M$ with smooth boundary $\partial M$. Suppose that $g$ and $\tilde{g}$ are two Riemannian metrics on $M$. We construct a family of metrics on $M$ which agrees with $g$ outside a neighborhood of $\partial M$ and agrees with $\tilde{g}$ in a neighborhood of $\partial M$. We prove that the family of metrics preserves various natural curvature conditions under suitable assumptions on the boundary data. Moreover, under suitable assumptions on the boundary data, we can deform a metric to one with totally geodesic boundary while preserving various natural curvature conditions.


title: A Hybrid System for Learning Classical Data in Quantum States

abstract: Deep neural network powered artificial intelligence has rapidly changed our daily life with various applications. However, as one of the essential steps of deep neural networks, training a heavily weighted network requires a tremendous amount of computing resources. Especially in the post-Moore's Law era, the limit of semiconductor fabrication technology has restricted the development of learning algorithms to cope with the increasing high-intensity training data. Meanwhile, quantum computing has demonstrated its significant potential in terms of speeding up the traditionally compute-intensive workloads. For example, Google illustrated quantum supremacy by completing a sampling calculation task in 200 seconds, which is otherwise impracticable on the world's largest supercomputers. To this end, quantum-based learning has become an area of interest, with the potential of a quantum speedup. In this paper, we propose GenQu, a hybrid and general-purpose quantum framework for learning classical data through quantum states. We evaluate GenQu with real datasets and conduct experiments on both simulations and real quantum computer IBM-Q. Our evaluation demonstrates that, compared with classical solutions, the proposed models running on GenQu framework achieve similar accuracy with a much smaller number of qubits, while significantly reducing the parameter size by up to 95.86% and converging speedup by 33.33% faster.


title: Confluence: A Robust Non-IoU Alternative to Non-Maxima Suppression in Object Detection

abstract: Confluence is a novel non-Intersection over Union (IoU) alternative to Non-Maxima Suppression (NMS) in bounding box post-processing in object detection. It overcomes the inherent limitations of IoU-based NMS variants to provide a more stable, consistent predictor of bounding box clustering by using a normalized Manhattan Distance inspired proximity metric to represent bounding box clustering. Unlike Greedy and Soft NMS, it does not rely solely on classification confidence scores to select optimal bounding boxes, instead selecting the box which is closest to every other box within a given cluster and removing highly confluent neighboring boxes. Confluence is experimentally validated on the MS COCO and CrowdHuman benchmarks, improving Average Precision by up to 2.3-3.8% and Average Recall by up to 5.3-7.2% when compared against de-facto standard and state of the art NMS variants. Quantitative results are supported by extensive qualitative analysis and threshold sensitivity analysis experiments support the conclusion that Confluence is more robust than NMS variants. Confluence represents a paradigm shift in bounding box processing, with potential to replace IoU in bounding box regression processes.


title: Traversable wormholes in the traceless $f(R,T)$ gravity

abstract: We present a traversable wormhole solution using the traceless $f(R,T)$ theory of gravity. In the $f(R,T)$ gravity, the Ricci scalar $R$ in the Einstein-Hilbert action is replaced by a function of $R$ and trace of the energy momentum tensor $T$. The traceless version of the $f(R,T)$ gravity gives rise to a possible wormhole geometry without need for "exotic matter", which violates the principle of causality. Using a physically plausible ansatz for the wormhole's shape function, the traceless field equations lead to compliance with the weak energy condition at very well defined intervals of the coupling constant $\lambda$ in the $f(R,T)=R+2\lambda T$ form. Our solution leads to other well-behaved energy conditions considering some possible values of the parameter $\omega$ in the equation of state $p_r=\omega \rho$, with $p_r$ being the radial pressure and $\rho $ the density. The energy conditions are obeyed in the ranges $\lambda < -4\pi$ and $\omega > -1$. Through the calculation of the Volume Integral Quantifier, one sees that this wormholes can be traversable and respect the causality, since the amount of exotic matter in its interior can be arbitrarily small.


title: Massive MIMO Precoding and Spectral Shaping with Low Resolution Phase-only DACs and Active Constellation Extension

abstract: Nonlinear precoding and pulse shaping are jointly considered in multi-user massive multiple-input multiple-output (MIMO) systems with low-resolution D/A-converters (DACs) in terms of algorithmic approach as well as large system performance. Two design criteria are investigated: the mean {squared} error (MSE) with active constellation extension (ACE) and the symbol error rate (SER). Both formulations are solved based on a modified version of the generalized approximate message passing (GAMP) algorithm. Furthermore, theoretical performance results are derived based on the state evolution analysis of the GAMP algorithm. The MSE based technique is extended to jointly perform over-the-air (OTA) spectral shaping and precoding for frequency-selective channels, in which the spectral performance is characterized at the transmitter and at the receiver. Simulation and analytical results demonstrate that the MSE based approach yields the same performance as the SER based formulation in terms of uncoded SER. The analytical results provide good performance predictions up to medium SNR. Substantial improvements in detection, as well as spectral performance, are obtained from the proposed combined pulse shaping and precoding approach compared to standard linear methods.


title: Near-Optimal Control Strategy in Leader-Follower Networks: A Case Study for Linear Quadratic Mean-Field Teams

abstract: In this paper, a decentralized stochastic control system consisting of one leader and many homogeneous followers is studied. The leader and followers are coupled in both dynamics and cost, where the dynamics are linear and the cost function is quadratic in the states and actions of the leader and followers. The objective of the leader and followers is to reach consensus while minimizing their communication and energy costs. The leader knows its local state and each follower knows its local state and the state of the leader. The number of required links to implement this decentralized information structure is equal to the number of followers, which is the minimum number of links for a communication graph to be connected. In the special case of leaderless, no link is required among followers, i.e., the communication graph is not even connected. We propose a near-optimal control strategy that converges to the optimal solution as the number of followers increases. One of the salient features of the proposed solution is that it provides a design scheme, where the convergence rate \edit{as well as} the collective behavior of the followers can be designed by choosing appropriate cost functions. In addition, the computational complexity of the proposed solution does not depend on the number of followers. Furthermore, the proposed strategy can be computed in a distributed manner, where the leader solves one Riccati equation and each follower solves two Riccati equations to calculate their strategies. Two numerical examples are provided to demonstrate the effectiveness of the results in the control of multi-agent systems.


title: NEAT: Non-linearity Aware Training for Accurate and Energy-Efficient Implementation of Neural Networks on 1T-1R Memristive Crossbars

abstract: Memristive crossbars suffer from non-idealities (such as, sneak paths) that degrade computational accuracy of the Deep Neural Networks (DNNs) mapped onto them. A 1T-1R synapse, adding a transistor (1T) in series with the memristive synapse (1R), has been proposed to mitigate such non-idealities. We observe that the non-linear characteristics of the transistor affect the overall conductance of the 1T-1R cell which in turn affects the Matrix-Vector-Multiplication (MVM) operation in crossbars. This 1T-1R non-ideality arising from the input voltage-dependent non-linearity is not only difficult to model or formulate, but also causes a drastic performance degradation of DNNs when mapped onto crossbars. In this paper, we analyse the non-linearity of the 1T-1R crossbar and propose a novel Non-linearity Aware Training (NEAT) method to address the non-idealities. Specifically, we first identify the range of network weights, which can be mapped into the 1T-1R cell within the linear operating region of the transistor. Thereafter, we regularize the weights of the DNNs to exist within the linear operating range by using iterative training algorithm. Our iterative training significantly recovers the classification accuracy drop caused by the non-linearity. Moreover, we find that each layer has a different weight distribution and in turn requires different gate voltage of transistor to guarantee linear operation. Based on this observation, we achieve energy efficiency while preserving classification accuracy by applying heterogeneous gate voltage control to the 1T-1R cells across different layers. Finally, we conduct various experiments on CIFAR10 and CIFAR100 benchmark datasets to demonstrate the effectiveness of our non-linearity aware training. Overall, NEAT yields ~20% energy gain with less than 1% accuracy loss (with homogeneous gate control) when mapping ResNet18 networks on 1T-1R crossbars.


title: Paths of given length in tournaments

abstract: We prove that every $n$-vertex tournament has at most $n\left(\frac{n-1}{2}\right)^k$ walks of length $k$.


title: $\gamma$-phase Inclusions as Common Defects in Alloyed $\beta$-(Al$_x$Ga$_{1\text{-}x}$)$_2$O$_3$ and Doped $\beta$-Ga$_2$O$_3$ Films

abstract: $\beta$-Ga$_2$O$_3$ is a promising ultra-wide bandgap semiconductor whose properties can be further enhanced by alloying with Al. Here, using atomic-resolution scanning transmission electron microscopy (STEM), we find the thermodynamically-unstable $\gamma$-phase is a ubiquitous defect in both $\beta$-(Al$_x$Ga$_{1\text{-}x}$)$_2$O$_3$ films and doped $\beta$-Ga$_2$O$_3$ films grown by molecular beam epitaxy. For undoped $\beta$-(Al$_x$Ga$_{1\text{-}x}$)$_2$O$_3$ films we observe $\gamma$-phase inclusions between nucleating islands of the $\beta$-phase at lower growth temperatures (~400-600 $^{\circ}$C). In doped $\beta$-Ga$_2$O$_3$, a thin layer of the $\gamma$-phase is observed on the surfaces of films grown with a wide range of n-type dopants and dopant concentrations. The thickness of the $\gamma$-phase layer was most strongly correlated with the growth temperature, peaking at about 600 $^{\circ}$C. Ga interstitials are observed in $\beta$-phase, especially near the interface with the $\gamma$-phase. By imaging the same region of the surface of a Sn-doped $\beta$-(Al$_x$Ga$_{1\text{-}x}$)$_2$O$_3$ after ex-situ heating up to 400 $^{\circ}$C, a $\gamma$-phase region is observed to grow above the initial surface, accompanied by a decrease in Ga interstitials in the $\beta$-phase. This suggests that the diffusion of Ga interstitials towards the surface is likely the mechanism for growth of the surface $\gamma$-phase, and more generally that the more-open $\gamma$-phase may offer diffusion pathways to be a kinetically-favored and early-forming phase in the growth of Ga$_2$O$_3$.


title: poly-Dedekind type DC sums involving poly-Euler functions

abstract: The classical Dedekind sums appear in the transformation behavior of the logarithm of the Dedekind eta-function under substitutions from the modular group. The Dedekind sums and their generalizations are defined in terms of Bernoulli functions and their generalizations, and are shown to satisfy some reciprocity relations. In contrast, Dedekind type DC (Daehee and Changhee) sums and their generalizations are defined in terms of Euler functions and their generalizations. The purpose of this paper is to introduce the poly-Dedekind type DC sums, which are obtained from the Dedekind type DC sums by replacing the Euler function by poly-Euler functions of arbitrary indices, and to show that those sums satisfy, among other things, a reciprocity relation.


title: Performing with a Mobile Computer System for Vibraphone

abstract: This paper describes the development of an Apple iPhone based mobile computer system for vibraphone and its use in a series of the author's performance projects in 2011 and 2012. This artistic research was motivated by a desire to develop an alternative to laptop computers for the author's existing percussion and computer performance practice. The aims were to develop a light, compact and flexible system using mobile devices that would allow computer music to infiltrate solo and ensemble performance situations where it is difficult to use a laptop computer. The project began with a system that brought computer elements to Nordlig Vinter, a suite of percussion duos, using an iPhone, RjDj, Pure Data and a home-made pickup system. This process was documented with video recordings and analysed using ethnographic methods. The mobile computer music setup proved to be elegant and convenient in performance situations with very little time and space to set up, as well as in performance classes and workshops. The simple mobile system encouraged experimentation and the platforms used enabled sharing with a wider audience.


title: Maximal log Fano manifolds are generalized Bott towers

abstract: We prove that maximal log Fano manifolds are generalized Bott towers. As an application, we prove that in each dimension, there is a unique maximal snc Fano variety satisfying Friedman's d-semistability condition.


title: Performance and Optimization of Reconfigurable Intelligent Surface Aided THz Communications

abstract: TeraHertz (THz) communications can satisfy the high data rate demand with massive bandwidth. However, severe path attenuation and hardware imperfection greatly alleviate its performance. Therefore, we utilize the reconfigurable intelligent surface (RIS) technology and investigate the RIS-aided THz communications. We first prove that the small-scale amplitude fading of THz signals can be accurately modeled by the fluctuating two-ray distribution based on two THz signal measurement experiments conducted in a variety of different scenarios. To optimize the phase-shifts at the RIS elements, we propose a novel swarm intelligence-based method that does not require full channel estimation. We then derive exact statistical characterizations of end-to-end signal-to-noise plus distortion ratio (SNDR) and signal-to-noise ratio (SNR). Moreover, we present asymptotic analysis to obtain more insights when the SNDR or the number of RIS's elements is high. Finally, we derive analytical expressions for the outage probability and ergodic capacity. The tight upper bounds of ergodic capacity for both ideal and nonideal radio frequency chains are obtained. It is interesting to find that increasing the number of RIS's elements can significantly improve the THz communications system performance. For example, the ergodic capacity can increase up to 25% when the number of elements increases from 40 to 80, which incurs only insignificant costs to the system.


title: Secrecy Performance of Body-Centric Communications over Alternate Rician Shadowed Fading Channels

abstract: In this paper, we investigate the physical layer security over the Alternate Rician Shadowed fading channel, which is a novel channel model for body-centric wireless links and land mobile satellite. We derive exact closed-form expressions for the average secrecy capacity (ASC), secrecy outage probability (SOP), and probability of non-zero secrecy capacity (PNZ) for two cases: (i) m is a positive real number and (ii) m is a positive integer number, where m describes the level of fluctuation of the line-of-sight component. In the first case, SOP is derived in terms of the Meijer's G-function, while ASC and PNZ are derived in terms of the multivariate Fox's H-function. In the second case, ASC is derived in terms of the Meijer's G-function, while SOP and PNZ are derived in terms of elementary functions. In addition, we derive the asymptotic ASC, SOP and PNZ expressions which all match well the exact ones at high values of signal-to-noise ratio, respectively. The capacity slope of asymptotic ASC and the secrecy diversity order of asymptotic SOP have been derived for providing more physical insights. Finally, the accuracy of our derived expressions is validated by Monte-Carlo simulations.


title: Physical Layer Security Enhancement With Reconfigurable Intelligent Surface-Aided Networks

abstract: Reconfigurable intelligent surface (RIS)-aided wireless communications have drawn significant attention recently. We study the physical layer security of the downlink RIS-aided transmission framework for randomly located users in the presence of a multi-antenna eavesdropper. To show the advantages of RIS-aided networks, we consider two practical scenarios: Communication with and without RIS. In both cases, we apply the stochastic geometry theory to derive exact probability density function (PDF) and cumulative distribution function (CDF) of the received signal-to-interference-plus-noise ratio. Furthermore, the obtained PDF and CDF are exploited to evaluate important security performance of wireless communication including the secrecy outage probability, the probability of nonzero secrecy capacity, and the average secrecy rate. Monte-Carlo simulations are subsequently conducted to validate the accuracy of our analytical results. Compared with traditional MIMO systems, the RIS-aided system offers better performance in terms of physical layer security. In particular, the security performance is improved significantly by increasing the number of reflecting elements equipped in a RIS. However, adopting RIS equipped with a small number of reflecting elements cannot improve the system performance when the path loss of NLoS is small.


title: Topological edge states in bowtie ladders with different cutting edges

abstract: We have studied topological edge states in bowtie ladders with various edge truncations. The symmetric bowtie ladder, which comprises two trivial Su-Schrieffer-Heeger (SSH) lattices, exhibits an insulator-metal transition with trivial insulating states. On the other hand, the lattice can be transformed into an extended SSH lattice depending on the edge shapes with non-trivial insulating states in that the winding number is non-zero. The winding numbers are permutationally designated in the phase diagram depending on the choice of unit cell. The topological edge states are affected by the shape of the edge and the corresponding winding number. We also studied general bowtie ladder models with richer phase diagrams using the characteristics of the localization length of the edge states showing state bifurcation.


title: Upper semi-continuity of random attractors and existence of invariant measures for nonlocal stochastic Swift-Hohenberg equation with multiplicative noise

abstract: In this paper, we mainly study the long-time dynamical behaviors of 2D nonlocal stochastic Swift-Hohenberg equations with multiplicative noise from two perspectives. Firstly, by adopting the analytic semigroup theory, we prove the upper semi-continuity of random attractors in the Sobolev space $H_0^2(U)$, as the coefficient of the multiplicative noise approaches zero. Then, we extend the classical "stochastic Gronwall's lemma", making it more convenient in applications. Based on this improvement, we are allowed to use the analytic semigroup theory to establish the existence of ergodic invariant measures.


title: Remarks on nef and movable cones of hypersurfaces in Mori dream spaces

abstract: We investigate nef and movable cones of hypersurfaces in Mori dream spaces. The first result is: Let $Z$ be a smooth Mori dream space of dimension at least four whose extremal contractions are of fiber type of relative dimension at least two and let $X$ be a smooth ample divisor in $Z$, then $X$ is a Mori dream space as well. The second result is: Let $Z$ be a Fano manifold of dimension at least four whose extremal contractions are of fiber type and let $X$ be a smooth anti-canonical hypersurface in $Z$, which is a smooth Calabi--Yau variety, then the unique minimal model of $X$ up to isomorphism is $X$ itself, and moreover, the movable cone conjecture holds for $X$, namely, there exists a rational polyhedral cone which is a fundamental domain for the action of birational automorphisms on the effective movable cone of $X$. The third result is: Let $P:= \mathbb{P}^n \times \cdots \times \mathbb{P}^n$ be the $N$-fold self-product of the $n$-dimensional projective space. Let $X$ be a general complete intersection of $n+1$ hypersurfaces of multidegree $(1, \dots, 1)$ in $P$ with $\dim X \geq 3$. Then $X$ has only finitely many minimal models up to isomorphism, and moreover, the movable cone conjecture holds for $X$.


title: Nonrelativistic limit of solitary waves for nonlinear Maxwell-Klein-Gordon equations

abstract: We study the nonrelativistic limit of solitary waves from Nonlinear Maxwell-Klein-Gordon equations (NMKG) to Nonlinear Schrodinger-Poisson equations (NSP). It is known that the existence or multiplicity of positive solutions depends on the choices of parameters the equations contain. In this paper, we prove that for a given positive solitary wave of NSP, which is found in Ruiz's work \cite{R}, there corresponds a family of positive solitary waves of NMKG under the nonrelativistic limit. Notably, our results contain a new result of existence of positive solutions to (NMKG) with lower order nonlinearity.


title: Evaluation of Reusability in Aspect Oriented Software using Inheritance Metrics

abstract: Aspect-Oriented Software Development (AOSD) is a promising methodology for efficiently capturing the cross-cutting functionalities (concerns) as independent units called aspects. Inheritance of classes and aspects play a vital role in defining the units of encapsulation. Hence, it is essential to quantitatively capture the impact of inheritance in AOSD using design level metrics and to infer on the higher level quality attribute, reusability. An application to automate the processes of a typical University has been developed in order to study the effect of using inheritance over the versions of an aspectized AO application. A set of metrics to capture the manifestations of inheritance is proposed for measurement. An automated tool named as Aspect Oriented Software Reusability Measurement AOSRM is also designed and developed to calculate the values of the proposed metrics. Based on the obtained metric values for Java and AspectJ versions of the case study application, inheritance in AspectJ versions showed a positive impact on reusability of software.


title: Multi-bump standing waves for nonlinear Schrodinger equations with a general nonlinearity: the topological effect of potential wells

abstract: In this article, we are interested in multi-bump solutions of the singularly perturbed problem \begin{equation*} -\epsilon^2\Delta v+V(x)v=f(v) \ \ \mbox{ in }\ \ \R^N. \end{equation*} Extending previous results \cite{B, DLY,W1}, we prove the existence of multi-bump solutions for an optimal class of nonlinearities $f$ satisfying the Berestycki-Lions conditions and, notably, also for more general classes of potential wells than those previously studied. We devise two novel topological arguments to deal with general classes of potential wells. Our results prove the existence of multi-bump solutions in which the centers of bumps converge toward potential wells as $\epsilon\rightarrow 0$. Examples of potential wells include the following: the union of two compact smooth submanifolds of $\R^N$ where these two submanifolds meet at the origin and an embedded topological submanifold of $\R^N$.


title: Design Level Metrics to Measure the Complexity Across Versions of AO Software

abstract: Software metric plays a vital role in quantitative assessment of any specific software development methodology and its impact on the maintenance of software. It can also be used to indicate the degree of interdependence among the components by providing valuable feedback about quality attributes such as maintainability, modifiability and understandability. The effort for software maintenance normally has a high correlation with the complexity of its design. Aspect Oriented Software Design is an emerging methodology that provides powerful new techniques to improve the modularity of software from its design. In this paper, evaluation model to capture the symptoms of complexity has been defined consisting of metrics, artifacts and elements of complexity. A tool to automatically capture these metrics across different versions of a case study application, University Automation System has been developed. The values obtained for the proposed metrics are used to infer on the complexity of Java and AspectJ implementations of the case study application. These measurements indicate that AspectJ implementations are less complex compared to the Java implementations and there by positively influencing the maintainability of software.


title: The Benefits of Trace Cu in Wrought Al-Mg Alloys

abstract: The softening and strengthening contributions in pre-deformed and aged Al-Mg-Cu alloys containing 3wt.%Mg and 0.5wt.%Cu are evaluated by a combination of microscopy, mechanical testing and modelling. A refined phenomenological model for the work hardening response, accounting for the separate effects of recovery and precipitation, is shown to be suitable for an unambiguous determination of the precipitation hardening contribution in these alloys. Significantly, it is found that the mechanical response of these alloys is not strongly impacted by Cu content (in the low Cu content regime), pre-deformation level or aging temperature meaning that the alloys are robust with respect to variations in composition. This is interesting from the perspective of alloy design concepts based on `recycling friendly' compositions in applications that include paint-baking.


title: Convergence analysis of a fully discrete energy-stable numerical scheme for the Q-tensor flow of liquid crystals

abstract: We present a fully discrete convergent finite difference scheme for the Q-tensor flow of liquid crystals based on the energy-stable semi-discrete scheme by Zhao, Yang, Gong, and Wang (Comput. Methods Appl. Mech. Engrg. 2017). We prove stability properties of the scheme and show convergence to weak solutions of the Q-tensor flow equations. We demonstrate the performance of the scheme in numerical simulations.


title: Libra: a package for transformation of differential systems for multiloop integrals

abstract: We present a new package for Mathematica system, called Libra. Its purpose is to provide convenient tools for the transformation of the first-order differential systems $\partial_i \boldsymbol j = M_i \boldsymbol j$ for one or several variables. In particular, Libra is designed for the reduction to $\epsilon$-form of the differential systems which appear in multiloop calculations. The package also contains some tools for the construction of general solution: both via perturbative expansion of path-ordered exponent and via generalized power series expansion near regular singular points.Libra also has tools to determine the minimal list of coefficients in the asymptotics of the original master integrals, sufficient for fixing the boundary conditions.


title: A robust and scalable unfitted adaptive finite element framework for nonlinear solid mechanics

abstract: In this work, we bridge standard adaptive mesh refinement and coarsening on scalable octree background meshes and robust unfitted finite element formulations for the automatic and efficient solution of large-scale nonlinear solid mechanics problems posed on complex geometries, as an alternative to standard body-fitted formulations, unstructured mesh generation and graph partitioning strategies. We pay special attention to those aspects requiring a specialized treatment in the extension of the unfitted h-adaptive aggregated finite element method on parallel tree-based adaptive meshes, recently developed for linear scalar elliptic problems, to handle nonlinear problems in solid mechanics. In order to accurately and efficiently capture localized phenomena that frequently occur in nonlinear solid mechanics problems, we perform pseudo time-stepping in combination with h-adaptive dynamic mesh refinement and rebalancing driven by a-posteriori error estimators. The method is implemented considering both irreducible and mixed (u/p) formulations and thus it is able to robustly face problems involving incompressible materials. In the numerical experiments, both formulations are used to model the inelastic behavior of a wide range of compressible and incompressible materials. First, a selected set of benchmarks are reproduced as a verification step. Second, a set of experiments is presented with problems involving complex geometries. Among them, we model a cantilever beam problem with spherical hollows distributed in a Simple Cubic array. This test involves a discrete domain with up to 11.7M Degrees Of Freedom solved in less than two hours on 3072 cores of a parallel supercomputer.


title: A brief history of the origin of domesticated date palms

abstract: The study of the origins of crops is of interest from both a fundamental evolutionary understanding viewpoint, and from an applied agricultural technology perspective. The date palm (Phoenix dactylifera L.) is the iconic fruit crop of hot and arid regions of North Africa and the Middle East, producing sugar-rich fruits, known as dates. There are many different cultivars each with distinctive fruit traits, and there are many wild Phoenix species too, which in total form a complex of related species. The understanding of plant domestication involves multiple disciplines, including phylogeography, population genetics and archaeology. In the past decade, they have prompted new discoveries on the evolutionary history of date palm, but a complete understanding of its origins remains to be elucidated, along with the genetic architecture of its domestication syndrome. In this chapter, we review the current state of the art regarding the origins of the domesticated date palm. We first discuss whether date palms are domesticated, and highlight how they diverge from their wild Phoenix relatives. We then outline patterns in the population genetic and archaeobotanical data, and review different models for the origins of domesticated date palms by highlighting sources of evidence that are either consistent or inconsistent with each model. We then review the process of date palm domestication, and emphasize the human activities that have prompted its domestication. We particularly focus on the evolution of fruit traits.


title: FairFaceGAN: Fairness-aware Facial Image-to-Image Translation

abstract: In this paper, we introduce FairFaceGAN, a fairness-aware facial Image-to-Image translation model, mitigating the problem of unwanted translation in protected attributes (e.g., gender, age, race) during facial attributes editing. Unlike existing models, FairFaceGAN learns fair representations with two separate latents - one related to the target attributes to translate, and the other unrelated to them. This strategy enables FairFaceGAN to separate the information about protected attributes and that of target attributes. It also prevents unwanted translation in protected attributes while target attributes editing. To evaluate the degree of fairness, we perform two types of experiments on CelebA dataset. First, we compare the fairness-aware classification performances when augmenting data by existing image translation methods and FairFaceGAN respectively. Moreover, we propose a new fairness metric, namely Frechet Protected Attribute Distance (FPAD), which measures how well protected attributes are preserved. Experimental results demonstrate that FairFaceGAN shows consistent improvements in terms of fairness over the existing image translation models. Further, we also evaluate image translation performances, where FairFaceGAN shows competitive results, compared to those of existing methods.


title: A remark on MAKE -- a Matrix Action Key Exchange

abstract: In a recent paper [arXiv:2009.00716], Rahman and Shpilrain proposed a new key-exchange protocol MAKE based on external semidirect product of groups. The purpose of this paper is to show that the key exchange protocol is insecure. We were able to break their challenge problem in under a second.


title: Visual Identification of Articulated Object Parts

abstract: As autonomous robots interact and navigate around real-world environments such as homes, it is useful to reliably identify and manipulate articulated objects, such as doors and cabinets. Many prior works in object articulation identification require manipulation of the object, either by the robot or a human. While recent works have addressed predicting articulation types from visual observations alone, they often assume prior knowledge of category-level kinematic motion models or sequence of observations where the articulated parts are moving according to their kinematic constraints. In this work, we propose FormNet, a neural network that identifies the articulation mechanisms between pairs of object parts from a single frame of an RGB-D image and segmentation masks. The network is trained on 100k synthetic images of 149 articulated objects from 6 categories. Synthetic images are rendered via a photorealistic simulator with domain randomization. Our proposed model predicts motion residual flows of object parts, and these flows are used to determine the articulation type and parameters. The network achieves an articulation type classification accuracy of 82.5% on novel object instances in trained categories. Experiments also show how this method enables generalization to novel categories and be applied to real-world images without fine-tuning.


title: Connectors of the Ohno relation for parametrized multiple zeta series

abstract: The Ohno relation is a well known relation in the theory of multiple zeta values. Recently, Seki and Yamamoto introduced a connector method and gave its succinct proof. On the other hand, Igarashi obtained the generalization of the Ohno relation for parametrized multiple zeta series. In this paper, we give new connectors to simplify his proof.


title: MILP-based Imitation Learning for HVAC control

abstract: To optimize the operation of a HVAC system with advanced techniques such as artificial neural network, previous studies usually need forecast information in their method. However, the forecast information inevitably contains errors all the time, which degrade the performance of the HVAC operation. Hence, in this study, we propose MILP-based imitation learning method to control a HVAC system without using the forecast information in order to reduce energy cost and maintain thermal comfort at a given level. Our proposed controller is a deep neural network (DNN) trained by using data labeled by a MILP solver with historical data. After training, our controller is used to control the HVAC system with real-time data. For comparison, we also develop a second method named forecast-based MILP which control the HVAC system using the forecast information. The performance of the two methods is verified by using real outdoor temperatures and real day-ahead prices in Detroit city, Michigan, United States. Numerical results clearly show that the performance of the MILP-based imitation learning is better than that of the forecast-based MILP method in terms of hourly power consumption, daily energy cost, and thermal comfort. Moreover, the difference between results of the MILP-based imitation learning method and optimal results is almost negligible. These optimal results are achieved only by using the MILP solver at the end of a day when we have full information on the weather and prices for the day.


abstract: In this paper, we propose a novel CycleGAN without checkerboard artifacts for counter-forensics of fake-image detection. Recent rapid advances in image manipulation tools and deep image synthesis techniques, such as Generative Adversarial Networks (GANs) have easily generated fake images, so detecting manipulated images has become an urgent issue. Most state-of-the-art forgery detection methods assume that images include checkerboard artifacts which are generated by using DNNs. Accordingly, we propose a novel CycleGAN without any checkerboard artifacts for counter-forensics of fake-mage detection methods for the first time, as an example of GANs without checkerboard artifacts.


title: BAN-ABSA: An Aspect-Based Sentiment Analysis dataset for Bengali and it's baseline evaluation

abstract: Due to the breathtaking growth of social media or newspaper user comments, online product reviews comments, sentiment analysis (SA) has captured substantial interest from the researchers. With the fast increase of domain, SA work aims not only to predict the sentiment of a sentence or document but also to give the necessary detail on different aspects of the sentence or document (i.e. aspect-based sentiment analysis). A considerable number of datasets for SA and aspect-based sentiment analysis (ABSA) have been made available for English and other well-known European languages. In this paper, we present a manually annotated Bengali dataset of high quality, BAN-ABSA, which is annotated with aspect and its associated sentiment by 3 native Bengali speakers. The dataset consists of 2,619 positive, 4,721 negative and 1,669 neutral data samples from 9,009 unique comments gathered from some famous Bengali news portals. In addition, we conducted a baseline evaluation with a focus on deep learning model, achieved an accuracy of 78.75% for aspect term extraction and accuracy of 71.08% for sentiment classification. Experiments on the BAN-ABSA dataset show that the CNN model is better in terms of accuracy though Bi-LSTM significantly outperforms CNN model in terms of average F1-score.


title: Forks Over Knives: Predictive Inconsistency in Criminal Justice Algorithmic Risk Assessment Tools

abstract: Big data and algorithmic risk prediction tools promise to improve criminal justice systems by reducing human biases and inconsistencies in decision making. Yet different, equally-justifiable choices when developing, testing, and deploying these sociotechnical tools can lead to disparate predicted risk scores for the same individual. Synthesizing diverse perspectives from machine learning, statistics, sociology, criminology, law, philosophy and economics, we conceptualize this phenomenon as predictive inconsistency. We describe sources of predictive inconsistency at different stages of algorithmic risk assessment tool development and deployment and consider how future technological developments may amplify predictive inconsistency. We argue, however, that in a diverse and pluralistic society we should not expect to completely eliminate predictive inconsistency. Instead, to bolster the legal, political, and scientific legitimacy of algorithmic risk prediction tools, we propose identifying and documenting relevant and reasonable "forking paths" to enable quantifiable, reproducible multiverse and specification curve analyses of predictive inconsistency at the individual level.


title: MusicTM-Dataset for Joint Representation Learning among Sheet Music, Lyrics, and Musical Audio

abstract: This work present a music dataset named MusicTM-Dataset, which is utilized in improving the representation learning ability of different types of cross-modal retrieval (CMR). Little large music dataset including three modalities is available for learning representations for CMR. To collect a music dataset, we expand the original musical notation to synthesize audio and generated sheet-music image, and build musical notation based sheet-music image, audio clip and syllable-denotation text as fine-grained alignment, such that the MusicTM-Dataset can be exploited to receive shared representation for multimodal data points. The MusicTM-Dataset presents 3 kinds of modalities, which consists of the image of sheet-music, the text of lyrics and synthesized audio, their representations are extracted by some advanced models. In this paper, we introduce the background of music dataset and express the process of our data collection. Based on our dataset, we achieve some basic methods for CMR tasks. The MusicTM-Dataset are accessible in https: //github.com/dddzeng/MusicTM-Dataset.


title: Effects of Intermediate Frequency Bandwidth on Stepped Frequency Ground Penetrating Radar

abstract: A stepped frequency ground penetrating radar (GPR) system is used for detecting objects buried under high permittivity soil. Different intermediate frequency bandwidth (IFBW) of the mixing receiver is used and measurement results are compared. It is shown that the IFBW can affect the system's signal-to-noise ratio (SNR). Experimental results show that objects of different materials can clearly be detected when the appropriate IFBW is used.


title: Comb inequalities for typical Euclidean TSP instances

abstract: We prove that even in average case, the Euclidean Traveling Salesman Problem exhibits an integrality gap of $(1+\epsilon)$ for $\epsilon>0$ when the Held-Karp Linear Programming relaxation is augmented by all comb inequalities of bounded size. This implies that large classes of branch-and-cut algorithms take exponential time for the Euclidean TSP, even on random inputs.


title: Modes of Information Flow in Collective Cohesion

abstract: Pairwise interactions between individuals are taken as fundamental drivers of collective behavior responsible for group cohesion and decision-making. While an individual directly influences only a few neighbors, over time indirect influences penetrate a much larger group. The abiding question is how this spread of influence comes to affect the collective. One or a few individuals are often identified as leaders, being more influential than others. Transfer entropy and time-delayed mutual information are used to identify underlying asymmetric interactions, such as leader-follower classification in aggregated individuals--cells, birds, fish, and animals. However, these conflate distinct functional modes of information flow between individuals. Computing information measures conditioning on multiple agents requires the proper sampling of a probability distribution whose dimension grows exponentially with the number of agents being conditioned on. Employing simple models of interacting self-propelled particles, we examine the pitfalls of using time-delayed mutual information and transfer entropy to quantify the strength of influence from a leader to a follower. Surprisingly, one must be wary of these pitfalls even for two interacting particles. As an alternative we decompose transfer entropy and time-delayed mutual information into intrinsic, shared, and synergistic modes of information flow. The result not only properly reveals the underlying effective interactions, but also facilitates a more detailed diagnosis of how individual interactions lead to collective behavior. This exposes the role of individual and group memory in collective behaviors. In addition, we demonstrate in a multi-agent system how knowledge of the decomposed information modes between a single pair of agents reveals the nature of many-body interactions without conditioning on additional agents.


title: Spectroscopy of heavy-heavy flavour mesons and annihilation widths of quarkonia

abstract: Within the framework of nonrelativistic quark-antiquark Cornell potential model formalism, we study the annihilation of heavy quarkonia. We determine their annihilation widths resulting into digluon, dilepton, $3\gamma$, $3g$ and $\gamma gg$ and compare our findings with the available theoretical results and experimental data. We also provide the charge radii and absolute square of radial Schr\"odinger wave function at zero quark-antiquark separation for heavy quarkonia and $B_c$ mesons.


title: New Geiger-Nuttall law for two-proton radioactivity

abstract: In the present work, combining with the Geiger-Nuttall law, a two-parameter empirical formula is proposed to study the two-proton (2p) radioactivity. Using this formula, the calculated 2p radioactivity half-lives are in good agreement with the experimental data as well as the calculated ones obtained by Goncalves et al: ([Phys. Lett. B 774, 14 (2017)]) using the effective liquid drop model (ELDM), Sreeja et al: ([Eur. Phys. J. A 55, 33 (2019)]) using a four-parameter empirical formula and Cui et al: ([Phys. Rev. C 101: 014301 (2020)]) using a generalized liquid drop model (GLDM). In addition, this two-parameter empirical formula is extended to predict the half-lives of 22 possible 2p radioactivity candidates, whose the 2p radioactivity released energy Q2p>0, obtained from the latest evaluated atomic mass table AME2016. The predicted results have good consistency with ones using other theoretical models such as the ELDM, GLDM and four-parameter empirical formula.


title: Tracking Ensemble Performance on Touch-Screens with Gesture Classification and Transition Matrices

abstract: We present and evaluate a novel interface for tracking ensemble performances on touch-screens. The system uses a Random Forest classifier to extract touch-screen gestures and transition matrix statistics. It analyses the resulting gesture-state sequences across an ensemble of performers. A series of specially designed iPad apps respond to this real-time analysis of free-form gestural performances with calculated modifications to their musical interfaces. We describe our system and evaluate it through cross-validation and profiling as well as concert experience.


title: Hypergeometric viable models in $f(R)$ gravity

abstract: A cosmologically viable hypergeometric model in the modified gravity theory $f(R)$ is found from the need for asintoticity towards $\Lambda$CDM, the existence of an inflection point in the $f(R)$ curve, and the conditions of viability given by the phase space curves $(m, r)$, where $m$ and $r$ are characteristic functions of the model. To analyze the constraints associated with the viability requirements, the models were expressed in terms of a dimensionless variable, i.e. $R\to x$ and $f(R)\to y(x)=x+h(x)+\lambda$, where $h(x)$ represents the deviation of the model from General Relativity. Using the geometric properties imposed by the inflection point, differential equations were constructed to relate $h'(x)$ and $h''(x)$, and the solutions found were Starobinsky (2007) and Hu-Sawicki type models, nonetheless, it was found that these differential equations are particular cases of a hypergeometric differential equation, so that these models can be obtained from a general hypergeometric model. The parameter domains of this model were analyzed to make the model viable.


title: End-to-End UAV Simulation for Visual SLAM and Navigation

abstract: Visual Simultaneous Localization and Mapping (v-SLAM) and navigation of multirotor Unmanned Aerial Vehicles (UAV) in an unknown environment have grown in popularity for both research and education. However, due to the complex hardware setup, safety precautions, and battery constraints, extensive physical testing can be expensive and time-consuming. As an alternative solution, simulation tools lower the barrier to carry out the algorithm testing and validation before field trials. In this letter, we customize the ROS-Gazebo-PX4 simulator in deep and provide an end-to-end simulation solution for the UAV v-SLAM and navigation study. A set of localization, mapping, and path planning kits were also integrated into the simulation platform. In our simulation, various aspects, including complex environments and onboard sensors, can simultaneously interact with our navigation framework to achieve specific surveillance missions. In this end-to-end simulation, we achieved click and fly level autonomy UAV navigation. The source code is open to the research community.


title: Representations of finite pattern groups

abstract: Let $G=1+A$ be a finite pattern group over the finite field ${\mathbb{F}}_q$. We give a natural bijection between coadjoint orbits of $G$ and its equivalent classes of irreducible representations. More precisely, given any $T\in A^t$, viewed as a representative of associated coadjoint orbit ${\mathfrak{O}}_T$ of $G$, we can explicitly construct a subgroup $H_T $ of $G$, such that ${\mathrm{Ind}}_{H_T}^G \psi_T$ is irreducible and ${\mathrm{Ind}}_{H_T}^G \psi_T \cong {\mathrm{Ind}}_{H_{T'}}^G \psi_{T'}$ if and only if $T$ and $ T'$ are in the same coadjoint orbit. Here $\psi_T(x)=\psi({\mathrm{tr}} Tx)\text{ for }x\in H_T,$ and $\psi$ is a fixed nontrivial additive character of ${\mathbb{F}}_q$.


title: On Fujita's semi-ampleness in the rank one case

abstract: We prove that a conjecture of Fujita on the semi-ampleness is true in the case of rank one direct summand, though it is wrong in higher rank case by Catanese and Dettweiler.


title: Dual Pixel Exploration: Simultaneous Depth Estimation and Image Restoration

abstract: The dual-pixel (DP) hardware works by splitting each pixel in half and creating an image pair in a single snapshot. Several works estimate depth/inverse depth by treating the DP pair as a stereo pair. However, dual-pixel disparity only occurs in image regions with the defocus blur. The heavy defocus blur in DP pairs affects the performance of matching-based depth estimation approaches. Instead of removing the blur effect blindly, we study the formation of the DP pair which links the blur and the depth information. In this paper, we propose a mathematical DP model which can benefit depth estimation by the blur. These explorations motivate us to propose an end-to-end DDDNet (DP-based Depth and Deblur Network) to jointly estimate the depth and restore the image. Moreover, we define a reblur loss, which reflects the relationship of the DP image formation process with depth information, to regularise our depth estimate in training. To meet the requirement of a large amount of data for learning, we propose the first DP image simulator which allows us to create datasets with DP pairs from any existing RGBD dataset. As a side contribution, we collect a real dataset for further research. Extensive experimental evaluation on both synthetic and real datasets shows that our approach achieves competitive performance compared to state-of-the-art approaches.


title: Independence of the Fundamental Equation of the Oscillation Model on Algebraic Representations: Social Media Echo Chamber Effect

abstract: In the oscillation model that describes the user dynamics of online social networks, it is known that the fundamental equation can explicitly describe the causal relationship between the network structure and user dynamics. The fundamental equation uses algebra that satisfies the anti-commutation relation, and its matrix representation is not unique. However, even if the matrix representations are different, the same results should be derived from different representations of the fundamental equation if they are describing the same phenomenon. In this paper, we confirm, using the echo-chamber effect as an example, that the fundamental equations of different matrix representations lead to the same result.


title: Strong and weak (1, 3) homotopies on knot Projections

abstract: Strong and weak (1, 3) homotopies are equivalence relations on knot projections, defined by the first flat Reidemeister move and each of two different types of the third flat Reidemeister moves. In this paper, we introduce the cross chord number that is the minimal number of double points of chords of a chord diagram. Cross chord numbers induce a strong (1, 3) invariant. We show that Hanaki's trivializing number is a weak (1, 3) invariant. We give a complete classification of knot projections having trivializing number two up to the first flat Reidemeister moves using cross chord numbers and the positive resolutions of double points. Two knot projections with trivializing number two are both weak (1, 3) homotopy equivalent and strong (1, 3) homotopy equivalent if and only if they can be related by only the first flat Reidemeister moves. Finally, we determine the strong (1, 3) homotopy equivalence class containing the trivial knot projection and other classes of knot projections.


title: Reconsideration of feasibility of Hall amplifier

abstract: In 1955, it was first suggested that Hall effect can be employed for amplification purposes by using semiconductor material with very high mobility. While this idea was limited at that time, yet it was not entirely discarded expecting eventual progress. We revisit this idea and discuss it in the light of current literature. This manuscript kindles this 65 year old amazing idea and views it with modern understanding, which will aid in realizing Hall amplifiers.


title: Transmission of waves through a pinned elastic medium

abstract: We investigate the scattering of elastic waves off a disordered region described by a one-dimensional random-phase sine-Gordon model. The collective pinning results in an effective static disorder potential with universal and non-Gaussian correlations, acting on propagating waves. We find signatures of the correlations in the wave transmission in a wide frequency range, which covers both the weak and strong localization regimes. Our theory elucidates the dynamics of collectively-pinned phases occurring in any natural or synthetic elastic medium. The latter one is exemplified by a one-dimensional array of Josephson junctions, for which we specify our results. The obtained results provide benchmarks for the array-enabled quantum simulations addressing the dynamics in broader and yet-unexplored domains of individual pinning and quantum Bose glass.


title: Generalized Donaldson's functionals and related nonlinear partial differential equations

abstract: In this paper, we introduce a family of generalized Donaldson's functional on holomorphic vector bundles, whose Euler-Lagrange equations are a vector bundle version of the complex $k$-Hessian equations. We also discuss the uniqueness of solutions to these equations.


title: Edge Deep Learning for Neural Implants

abstract: Implanted devices providing real-time neural activity classification and control are increasingly used to treat neurological disorders, such as epilepsy and Parkinson's disease. Classification performance is critical to identifying brain states appropriate for the therapeutic action. However, advanced algorithms that have shown promise in offline studies, in particular deep learning (DL) methods, have not been deployed on resource-restrained neural implants. Here, we designed and optimized three embedded DL models of commonly adopted architectures and evaluated their inference performance in a case study of seizure detection. A deep neural network (DNN), a convolutional neural network (CNN), and a long short-term memory (LSTM) network were designed to classify ictal, preictal, and interictal phases from the CHB-MIT scalp EEG database. After iterative model compression and quantization, the algorithms were deployed on a general-purpose, off-the-shelf microcontroller. Inference sensitivity, false positive rate, execution time, memory size, and power consumption were quantified. For seizure event detection, the sensitivity and FPR (h-1) for the DNN, CNN, and LSTM models were 87.36%/0.169, 96.70%/0.102, and 97.61%/0.071, respectively. Predicting seizures for early warnings was also feasible. The implemented compression and quantization achieved a significant saving of power and memory with an accuracy degradation of less than 0.5%. Edge DL models achieved performance comparable to many prior implementations that had no time or computational resource limitations. Generic microcontrollers can provide the required memory and computational resources, while model designs can be migrated to ASICs for further optimization. The results suggest that edge DL inference is a feasible option for future neural implants to improve classification performance and therapeutic outcomes.


title: A Stitching Algorithm for Automated Surface Inspection of Rotationally Symmetric Components

abstract: This paper provides a novel approach to stitching surface images of rotationally symmetric parts. It presents a process pipeline that uses a feature-based stitching approach to create a distortion-free and true-to-life image from a video file. The developed process thus enables, for example, condition monitoring without having to view many individual images. For validation purposes, this will be demonstrated in the paper using the concrete example of a worn ball screw drive spindle. The developed algorithm aims at reproducing the functional principle of a line scan camera system, whereby the physical measuring systems are replaced by a feature-based approach. For evaluation of the stitching algorithms, metrics are used, some of which have only been developed in this work or have been supplemented by test procedures already in use. The applicability of the developed algorithm is not only limited to machine tool spindles. Instead, the developed method allows a general approach to the surface inspection of various rotationally symmetric components and can therefore be used in a variety of industrial applications. Deep-learning-based detection Algorithms can easily be implemented to generate a complete pipeline for failure detection and condition monitoring on rotationally symmetric parts.


title: Weak and strong interaction of excitation kinks in scalar parabolic equations

abstract: Motivated by studies of the Greenberg-Hastings cellular automata (GHCA) as a caricature of excitable systems, in this paper we study kink-antikink dynamics in the perhaps simplest PDE model of excitable media given by the scalar reaction diffusion-type $\theta$-equations for excitable angular phase dynamics. On the one hand, we qualitatively study geometric kink positions using the comparison principle and the theory of terraces. This yields the minimal initial distance as a global lower bound, a well-defined sequence of collision data for kinks- and antikinks, and implies that periodic pure kink sequences are asymptotically equidistant. On the other hand, we study metastable dynamics of finitely many kinks using weak interaction theory for certain analytic kink positions, which admits a rigorous reduction to ODE. By blow-up type singular rescaling we show that distances become ordered in finite time, and eventually diverge. We conclude that diffusion implies a loss of information on kink distances so that the entropic complexity based on positions and collisions in the GHCA does not simply carry over to the PDE model.


title: Minimal residual Hermitian and skew-Hermitian splitting iteration method for the continuous Sylvester equation

abstract: By applying the minimal residual technique to the Hermitian and skew-Hermitian (HSS) iteration scheme, we introduce a non-stationary iteration method named minimal residual Hermitian and skew-Hermitian (MRHSS) iteration method to solve the continuous Sylvester equation. Numerical results verify the effectiveness and robustness of the MRHSS iteration method versus the HSS method for the continuous Sylvester equation. Moreover, by numerical computation, we show that the MRHSS splitting can be used as a splitting preconditioner and induce accurate, robust and effective preconditioned Krylov subspace iteration methods for solving the continuous Sylvester equation.


title: Synchronized Traveling Salesman Problem

abstract: We consider a variation of the well-known traveling salesman problem in which there are multiple agents who all have to tour the whole set of nodes of the same graph, while obeying node- and edge-capacity constraints require that agents must not "crash". We consider the simplest model in which the input is an undirected graph with all capacities equal to one. A solution to the synchronized traveling salesman problem is called an "agency". Our model puts the synchronized traveling salesman problem in a similar relation with the traveling salesman problem as the so-called evacuation problem, or the well-known dynamic flow (flow-over-time) problem is in relation with the minimum cost flow problem. We measure the strength of an agency in terms of number of agents which should be as large as possible, and the time horizon which should be as small as possible. Beside some elementary discussion of the notions introduced, we establish several upper and lower bounds for the strength of an agency under the assumption that the input graph is a tree, or a 3-connected 3-regular graph.


title: Density operator approach to turbulent flows in plasma and atmospheric fluids

abstract: We formulate a statistical wave-mechanical approach to describe dissipation and instabilities in two-dimensional turbulent flows of magnetized plasmas and atmospheric fluids, such as drift and Rossby waves. This is made possible by the existence of Hilbert space, associated with the electric potential of plasma or stream function of atmospheric fluid. We therefore regard such turbulent flows as macroscopic wave-mechanical phenomena, driven by the non-Hermitian Hamiltonian operator we derive, whose anti-Hermitian component is attributed to an effect of the environment. Introducing a wave-mechanical density operator for the statistical ensembles of waves, we formulate master equations and define observables: such as the enstrophy and energy of both the waves and zonal flow as statistical averages. We establish that our open system can generally follow two types of time evolution, depending on whether the environment hinders or assists the system's stability and integrity. We also consider a phase-space formulation of the theory, including the geometrical-optic limit and beyond, and study the conservation laws of physical observables. It is thus shown that the approach predicts various mechanisms of energy and enstrophy exchange between drift waves and zonal flow, which were hitherto overlooked in models based on wave kinetic equations.


title: Unsupervised Part Discovery via Feature Alignment

abstract: Understanding objects in terms of their individual parts is important, because it enables a precise understanding of the objects' geometrical structure, and enhances object recognition when the object is seen in a novel pose or under partial occlusion. However, the manual annotation of parts in large scale datasets is time consuming and expensive. In this paper, we aim at discovering object parts in an unsupervised manner, i.e., without ground-truth part or keypoint annotations. Our approach builds on the intuition that objects of the same class in a similar pose should have their parts aligned at similar spatial locations. We exploit the property that neural network features are largely invariant to nuisance variables and the main remaining source of variations between images of the same object category is the object pose. Specifically, given a training image, we find a set of similar images that show instances of the same object category in the same pose, through an affine alignment of their corresponding feature maps. The average of the aligned feature maps serves as pseudo ground-truth annotation for a supervised training of the deep network backbone. During inference, part detection is simple and fast, without any extra modules or overheads other than a feed-forward neural network. Our experiments on several datasets from different domains verify the effectiveness of the proposed method. For example, we achieve 37.8 mAP on VehiclePart, which is at least 4.2 better than previous methods.


title: Decentralized Multi-Agent Linear Bandits with Safety Constraints

abstract: We study decentralized stochastic linear bandits, where a network of $N$ agents acts cooperatively to efficiently solve a linear bandit-optimization problem over a $d$-dimensional space. For this problem, we propose DLUCB: a fully decentralized algorithm that minimizes the cumulative regret over the entire network. At each round of the algorithm each agent chooses its actions following an upper confidence bound (UCB) strategy and agents share information with their immediate neighbors through a carefully designed consensus procedure that repeats over cycles. Our analysis adjusts the duration of these communication cycles ensuring near-optimal regret performance $\mathcal{O}(d\log{NT}\sqrt{NT})$ at a communication rate of $\mathcal{O}(dN^2)$ per round. The structure of the network affects the regret performance via a small additive term - coined the regret of delay - that depends on the spectral gap of the underlying graph. Notably, our results apply to arbitrary network topologies without a requirement for a dedicated agent acting as a server. In consideration of situations with high communication cost, we propose RC-DLUCB: a modification of DLUCB with rare communication among agents. The new algorithm trades off regret performance for a significantly reduced total communication cost of $\mathcal{O}(d^3N^{2.5})$ over all $T$ rounds. Finally, we show that our ideas extend naturally to the emerging, albeit more challenging, setting of safe bandits. For the recently studied problem of linear bandits with unknown linear safety constraints, we propose the first safe decentralized algorithm. Our study contributes towards applying bandit techniques in safety-critical distributed systems that repeatedly deal with unknown stochastic environments. We present numerical simulations for various network topologies that corroborate our theoretical findings.


title: Finite-size effects and optimal system sizes in simulations of surfactant micelle self-assembly

abstract: The spontaneous formation of micelles in aqueous solutions is governed by the amphipathic nature of surfactants and is practically interesting due to the regular use of micelles as membrane mimics, for the characterization of protein structure, and for drug design and delivery. We performed a systematic characterization of the finite-size effect observed in single-component dodecylphosphocholine (DPC) micelles with the coarse-grained MARTINI model. Of multiple coarse-grained solvent models investigated using large system sizes, the non-polarizable solvent model was found to most-accurately reproduce SANS spectra of 100 mM DPC in aqueous solution. We systematically investigated the finite-size effect at constant 100 mM concentration in 23 systems of sizes 40 to 150 DPC, confirming the finite-size effect to manifest as an oscillation in the mean micelle aggregation number about the thermodynamic aggregation number as the system size increases, mostly diminishing once the system supports formation of three micelles. The accuracy of employing a multiscale simulation approach to avoid finite-size effects in the micelle size distribution and SANS spectra using MARTINI and CHARMM36 was explored using multiple long timescale 500-DPC coarse-grained simulations which were back-mapped to CHARMM36 all-atom systems. It was found that the MARTINI model generally occupies more volume than the all-atom model, leading to the formation of micelles that are of a reasonable radius of gyration, but are smaller in aggregation number. The systematic characterization of the finite-size effect and exploration of multiscale modeling presented in this work provides guidance for the accurate modeling of micelles in simulations.


title: Fast and Robust Bin-picking System for Densely Piled Industrial Objects

abstract: Objects grasping, also known as the bin-picking, is one of the most common tasks faced by industrial robots. While much work has been done in related topics, grasping randomly piled objects still remains a challenge because much of the existing work either lack robustness or costs too much resource. In this paper, we develop a fast and robust bin-picking system for grasping densely piled objects adaptively and safely. The proposed system starts with point cloud segmentation using improved density-based spatial clustering of application with noise (DBSCAN) algorithm, which is improved by combining the region growing algorithm and using Octree to speed up the calculation. The system then uses principle component analysis (PCA) for coarse registration and iterative closest point (ICP) for fine registration. We propose a grasp risk score (GRS) to evaluate each object by the collision probability, the stability of the object, and the whole pile's stability. Through real tests with the Anno robot, our method is verified to be advanced in speed and robustness.


title: Diverse Temporal Aggregation and Depthwise Spatiotemporal Factorization for Efficient Video Classification

abstract: Video classification researches that have recently attracted attention are the fields of temporal modeling and 3D efficient architecture. However, the temporal modeling methods are not efficient or the 3D efficient architecture is less interested in temporal modeling. For bridging the gap between them, we propose an efficient temporal modeling 3D architecture, called VoV3D, that consists of a temporal one-shot aggregation (T-OSA) module and depthwise factorized component, D(2+1)D. The T-OSA is devised to build a feature hierarchy by aggregating temporal features with different temporal receptive fields. Stacking this T-OSA enables the network itself to model short-range as well as long-range temporal relationships across frames without any external modules. Inspired by kernel factorization and channel factorization, we also design a depthwise spatiotemporal factorization module, named, D(2+1)D that decomposes a 3D depthwise convolution into two spatial and temporal depthwise convolutions for making our network more lightweight and efficient. By using the proposed temporal modeling method (T-OSA), and the efficient factorized component (D(2+1)D), we construct two types of VoV3D networks, VoV3D-M and VoV3D-L. Thanks to its efficiency and effectiveness of temporal modeling, VoV3D-L has 6x fewer model parameters and 16x less computation, surpassing a state-of-the-art temporal modeling method on both Something-Something and Kinetics-400. Furthermore, VoV3D shows better temporal modeling ability than a state-of-the-art efficient 3D architecture, X3D having comparable model capacity. We hope that VoV3D can serve as a baseline for efficient video classification.


abstract: Online image hashing has received increasing research attention recently, which processes large-scale data in a streaming fashion to update the hash functions on-the-fly. To this end, most existing works exploit this problem under a supervised setting, i.e., using class labels to boost the hashing performance, which suffers from the defects in both adaptivity and efficiency: First, large amounts of training batches are required to learn up-to-date hash functions, which leads to poor online adaptivity. Second, the training is time-consuming, which contradicts with the core need of online learning. In this paper, a novel supervised online hashing scheme, termed Fast Class-wise Updating for Online Hashing (FCOH), is proposed to address the above two challenges by introducing a novel and efficient inner product operation. To achieve fast online adaptivity, a class-wise updating method is developed to decompose the binary code learning and alternatively renew the hash functions in a class-wise fashion, which well addresses the burden on large amounts of training batches. Quantitatively, such a decomposition further leads to at least 75% storage saving. To further achieve online efficiency, we propose a semi-relaxation optimization, which accelerates the online training by treating different binary constraints independently. Without additional constraints and variables, the time complexity is significantly reduced. Such a scheme is also quantitatively shown to well preserve past information during updating hashing functions. We have quantitatively demonstrated that the collective effort of class-wise updating and semi-relaxation optimization provides a superior performance comparing to various state-of-the-art methods, which is verified through extensive experiments on three widely-used datasets.


title: Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis

abstract: The synthesis problem of a cyber-physical system (CPS) is to find an input signal under which the system's behavior satisfies a given specification. Our setting is that the specification is a formula of signal temporal logic, and furthermore, that the specification is a conjunction of different and often conflicting requirements. Conjunctive specifications are often challenging for optimization-based falsification -- an established method for CPS analysis that can also be used for synthesis -- since the usual framework (especially how its robust semantics handles Boolean connectives) is not suited for finding delicate trade-offs between different requirements. Our proposed method consists of the combination of optimization-based falsification and constrained optimization. Specifically, we show that the state-of-the-art multiple constraint ranking method can be combined with falsification powered by CMA-ES optimization; its performance advantage is demonstrated in experiments.


title: Scalar field quasinormal modes of noncommutative high dimensional Schwarzschild-Tangherlini black hole spacetime with smeared matter sources

abstract: We investigate the massless scalar quasinormal modes (QNMs) of the noncommutative $D$-dimensional Schwarzschild-Tangherlini black hole spacetime in this paper. By using the Wentzel-Kramers-Brillouin (WKB) approximation method, the asymptotic iterative method (AIM) and the inverted potential method (IPM) method, we made a detail analysis of the massless scalar QNM frequencies by varying the general smeared matter distribution and the allowable characteristic parameters ($k$ and $\theta$) corresponding to different dimensions. It is found that the nonconvergence of the high order WKB approximation exists in the QNMs frequencies of scalar perturbation around the noncommutative $D$-dimensional Schwarzschild black holes. We conclude that the 3rd WKB result should be more reliable than those of the high order WKB method since our numerical results are also verified by the AIM method and the IPM method. In the dimensional range of $4\leq D \leq7$, the scalar QNMs as a function of the different papameters (the noncommutative parameter $\theta$, the smeared matter distribution parameter $k$, the multipole number $l$ and the main node number $n$) are obtained. Moreover, we study the dynamical evolution of a scalar field in the background of the noncommutative high dimensional Schwarzschild-Tangherlini black hole.