title: Solid ergodicity and orbit equivalence rigidity for coinduced actions

abstract: We prove that the solid ergodicity property is stable with respect to taking coinduction for a fairly large class of coinduced action. More precisely, assume that $\Sigma<\Gamma$ are countable groups such that $g\Sigma g^{-1}\cap \Sigma$ is finite for any $g\in\Gamma\setminus\Sigma$. Then any measure preserving action $\Sigma\curvearrowright X_0$ gives rise to a solidly ergodic equivalence relation if and only if the equivalence relation of the associated coinduced action $\Gamma\curvearrowright X$ is solidly ergodic. We also obtain orbit equivalence rigidity for such actions by showing that the orbit equivalence relation of a rigid or compact measure preserving action $\Sigma\curvearrowright X_0$ of a property (T) group is "remembered" by the orbit equivalence relation of $\Gamma\curvearrowright X$.


title: Generative Adversarial Imitation Learning with Neural Networks: Global Optimality and Convergence Rate

abstract: Generative adversarial imitation learning (GAIL) demonstrates tremendous success in practice, especially when combined with neural networks. Different from reinforcement learning, GAIL learns both policy and reward function from expert (human) demonstration. Despite its empirical success, it remains unclear whether GAIL with neural networks converges to the globally optimal solution. The major difficulty comes from the nonconvex-nonconcave minimax optimization structure. To bridge the gap between practice and theory, we analyze a gradient-based algorithm with alternating updates and establish its sublinear convergence to the globally optimal solution. To the best of our knowledge, our analysis establishes the global optimality and convergence rate of GAIL with neural networks for the first time.


title: Trajectory Grouping with Curvature Regularization for Tubular Structure Tracking

abstract: Tubular structure tracking is a crucial task in the fields of computer vision and medical image analysis. The minimal paths-based approaches have exhibited their strong ability in tracing tubular structures, by which a tubular structure can be naturally modeled as a minimal geodesic path computed with a suitable geodesic metric. However, existing minimal paths-based tracing approaches still suffer from difficulties such as the shortcuts and short branches combination problems, especially when dealing with the images involving complicated tubular tree structures or background. In this paper, we introduce a new minimal paths-based model for minimally interactive tubular structure centerline extraction in conjunction with a perceptual grouping scheme. Basically, we take into account the prescribed tubular trajectories and curvature-penalized geodesic paths to seek suitable shortest paths. The proposed approach can benefit from the local smoothness prior on tubular structures and the global optimality of the used graph-based path searching scheme. Experimental results on both synthetic and real images prove that the proposed model indeed obtains outperformance comparing with the state-of-the-art minimal paths-based tubular structure tracing algorithms.


title: Single-View 3D Object Reconstruction from Shape Priors in Memory

abstract: Existing methods for single-view 3D object reconstruction directly learn to transform image features into 3D representations. However, these methods are vulnerable to images containing noisy backgrounds and heavy occlusions because the extracted image features do not contain enough information to reconstruct high-quality 3D shapes. Humans routinely use incomplete or noisy visual cues from an image to retrieve similar 3D shapes from their memory and reconstruct the 3D shape of an object. Inspired by this, we propose a novel method, named Mem3D, that explicitly constructs shape priors to supplement the missing information in the image. Specifically, the shape priors are in the forms of "image-voxel" pairs in the memory network, which is stored by a well-designed writing strategy during training. We also propose a voxel triplet loss function that helps to retrieve the precise 3D shapes that are highly related to the input image from shape priors. The LSTM-based shape encoder is introduced to extract information from the retrieved 3D shapes, which are useful in recovering the 3D shape of an object that is heavily occluded or in complex environments. Experimental results demonstrate that Mem3D significantly improves reconstruction quality and performs favorably against state-of-the-art methods on the ShapeNet and Pix3D datasets.


title: Testing Scenario Library Generation for Connected and Automated Vehicles: An Adaptive Framework

abstract: How to generate testing scenario libraries for connected and automated vehicles (CAVs) is a major challenge faced by the industry. In previous studies, to evaluate maneuver challenge of a scenario, surrogate models (SMs) are often used without explicit knowledge of the CAV under test. However, performance dissimilarities between the SM and the CAV under test usually exist, and it can lead to the generation of suboptimal scenario libraries. In this paper, an adaptive testing scenario library generation (ATSLG) method is proposed to solve this problem. A customized testing scenario library for a specific CAV model is generated through an adaptive process. To compensate the performance dissimilarities and leverage each test of the CAV, Bayesian optimization techniques are applied with classification-based Gaussian Process Regression and a new-designed acquisition function. Comparing with a pre-determined library, a CAV can be tested and evaluated in a more efficient manner with the customized library. To validate the proposed method, a cut-in case study was performed and the results demonstrate that the proposed method can further accelerate the evaluation process by a few orders of magnitude.


title: Shannon-Limit Approached Information Reconciliation for Quantum Key Distribution

abstract: Information reconciliation (IR) corrects the errors in sifted keys and ensures the correctness of quantum key distribution (QKD) systems. Polar codes-based IR schemes can achieve high reconciliation efficiency, however, the incidental high frame error rate decreases the secure key rate of QKD systems. In this article, we propose a Shannon-limit approached (SLA) IR scheme, which mainly contains two phases: the forward reconciliation phase and the acknowledgment reconciliation phase. In the forward reconciliation phase, the sifted key is divided into sub-blocks and performed with the improved block checked successive cancellation list (BC-SCL) decoder of polar codes. Afterwards, only the failure corrected sub-blocks perform the additional acknowledgment reconciliation phase, which decreases the frame error rate of the SLA IR scheme. The experimental results show that the overall failure probability of SLA IR scheme is decreased to $10^{-8}$ and the efficiency is improved to 1.091 with the IR block length of 128Mb. Furthermore, the efficiency of the proposed SLA IR scheme is 1.055, approached to Shannon-limit, when quantum bit error rate is 0.02 and the input scale of 1Gb, which is hundred times larger than the state-of-art implemented polar codes-based IR schemes.


title: Spatiotemporal fluctuation scaling law and metapopulation modeling of the novel coronavirus (COVID-19) and SARS outbreaks

abstract: We comparatively analyzed the spatiotemporal fluctuations of the 2019-novel coronavirus (COVID-19) and SARS outbreaks to understand their epidemiological characteristics. Methodologically, we introduced TPL (Taylor power law) to characterize their spatiotemporal heterogeneity/stability and Hubbell (2001) unified neutral theory of biodiversity (UNTB) [specifically Harris et al. (2015) HDP-MSN model (hierarchical Dirichlet process multi-site neutral model)] to approximate the metapopulation of coronavirus infections. First, TPL analysis suggested that the coronaviruses appear to have a specific heterogeneity/stability scaling parameter (TPL-b) slightly exceeding 2 for cumulative infections or exceeding 1 for daily incremental infections, suggesting their potentially chaotic, unstable outbreaks. Another TPL parameter (M0) (i.e., infection critical threshold) depends on virus kinds (COVID-19/SARS), time (disease-stages), space (regions) and public-health interventions (e.g., quarantines and mobility control). M0 measures the infection level, at which infections are random (Poisson distribution) and below which infections follow uniform distribution and may die off if M0 coincides or below the level of Allee effects. It was found that COVID-19 outbreak seems nearly twice more risky than SARS, and the lower infection threshold may be due to its lower lethality than SARS since lower fatality rates can facilitate the survival and spread of pathogen. Second, metacommunity UNTB neutrality testing seems appropriate for approximating metapopulation of coronavirus infections. Specifically, two parameters {\theta} and M, borrowed from neutral theory, may be used to assess the relative significance of infection through local contagion vs. infection through migration, both of which may depend on time, space, virus kinds, and particularly public-health interventions.


title: OVC-Net: Object-Oriented Video Captioning with Temporal Graph and Detail Enhancement

abstract: Traditional video captioning requests a holistic description of the video, yet the detailed descriptions of the specific objects may not be available. Without associating the moving trajectories, these image-based data-driven methods cannot understand the activities from the spatio-temporal transitions in the inter-object visual features. Besides, adopting ambiguous clip-sentence pairs in training, it goes against learning the multi-modal functional mappings owing to the one-to-many nature. In this paper, we propose a novel task to understand the videos in object-level, named object-oriented video captioning. We introduce the video-based object-oriented video captioning network (OVC)-Net via temporal graph and detail enhancement to effectively analyze the activities along time and stably capture the vision-language connections under small-sample condition. The temporal graph provides useful supplement over previous image-based approaches, allowing to reason the activities from the temporal evolution of visual features and the dynamic movement of spatial locations. The detail enhancement helps to capture the discriminative features among different objects, with which the subsequent captioning module can yield more informative and precise descriptions. Thereafter, we construct a new dataset, providing consistent object-sentence pairs, to facilitate effective cross-modal learning. To demonstrate the effectiveness, we conduct experiments on the new dataset and compare it with the state-of-the-art video captioning methods. From the experimental results, the OVC-Net exhibits the ability of precisely describing the concurrent objects, and achieves the state-of-the-art performance.


title: Investigating the Decoders of Maximum Likelihood Sequence Models: A Look-ahead Approach

abstract: We demonstrate how we can practically incorporate multi-step future information into a decoder of maximum likelihood sequence models. We propose a "k-step look-ahead" module to consider the likelihood information of a rollout up to k steps. Unlike other approaches that need to train another value network to evaluate the rollouts, we can directly apply this look-ahead module to improve the decoding of any sequence model trained in a maximum likelihood framework. We evaluate our look-ahead module on three datasets of varying difficulties: IM2LATEX-100k OCR image to LaTeX, WMT16 multimodal machine translation, and WMT14 machine translation. Our look-ahead module improves the performance of the simpler datasets such as IM2LATEX-100k and WMT16 multimodal machine translation. However, the improvement of the more difficult dataset (e.g., containing longer sequences), WMT14 machine translation, becomes marginal. Our further investigation using the k-step look-ahead suggests that the more difficult tasks suffer from the overestimated EOS (end-of-sentence) probability. We argue that the overestimated EOS probability also causes the decreased performance of beam search when increasing its beam width. We tackle the EOS problem by integrating an auxiliary EOS loss into the training to estimate if the model should emit EOS or other words. Our experiments show that improving EOS estimation not only increases the performance of our proposed look-ahead module but also the robustness of the beam search.


title: Online Self-Supervised Learning for Object Picking: Detecting Optimum Grasping Position using a Metric Learning Approach

abstract: Self-supervised learning methods are attractive candidates for automatic object picking. However, the trial samples lack the complete ground truth because the observable parts of the agent are limited. That is, the information contained in the trial samples is often insufficient to learn the specific grasping position of each object. Consequently, the training falls into a local solution, and the grasp positions learned by the robot are independent of the state of the object. In this study, the optimal grasping position of an individual object is determined from the grasping score, defined as the distance in the feature space obtained using metric learning. The closeness of the solution to the pre-designed optimal grasping position was evaluated in trials. The proposed method incorporates two types of feedback control: one feedback enlarges the grasping score when the grasping position approaches the optimum; the other reduces the negative feedback of the potential grasping positions among the grasping candidates. The proposed online self-supervised learning method employs two deep neural networks. : SSD that detects the grasping position of an object, and Siamese networks (SNs) that evaluate the trial sample using the similarity of two input data in the feature space. Our method embeds the relation of each grasping position as feature vectors by training the trial samples and a few pre-samples indicating the optimum grasping position. By incorporating the grasping score based on the feature space of SNs into the SSD training process, the method preferentially trains the optimum grasping position. In the experiment, the proposed method achieved a higher success rate than the baseline method using simple teaching signals. And the grasping scores in the feature space of the SNs accurately represented the grasping positions of the objects.


title: Influence of the velocity barrier on the massive Dirac electron transport in a monolayer MoS$_{2}$ quantum structure

abstract: Using the transfer matrix method, spin- and valley-dependent electron transport properties modulated by the velocity barrier were studied in the normal/ferromagnetic/normal monolayer MoS$_{2}$ quantum structure. Based on Snell's Law in optics, we define the velocity barrier as $\xi=v_{2}/v_{1}$ by changing the Fermi velocity of the intermediate ferromagnetic region to obtain a deflection condition during the electron transport process in the structure. The results show that both the magnitude and the direction of spin- and valley-dependent electron polarization can be regulated by the velocity barrier. $-100\%$ polarization of spin- and valley-dependent electron can be achieved for $\xi>1$, while $100\%$ polarization can be obtained for $\xi<1$. Furthermore, it is determined that perfect spin and valley transport always occur at a large incident angle. In addition, the spin- and valley-dependent electron transport considerably depends on the length $k_{F}L$ and the gate voltage $U(x)$ of the intermediate ferromagnetic region. These findings provide an effective method for designing novel spin and valley electronic devices.


title: Field-induced spin reorientation in the antiferromagnetic Dirac material EuMnBi$_2$ revealed by neutron and resonant x-ray diffraction

abstract: Field-dependent magnetic structure of a layered Dirac material EuMnBi$_2$ was investigated in detail by the single crystal neutron diffraction and the resonant x-ray magnetic diffraction techniques. On the basis of the reflection conditions in the antiferromagnetic phase at zero field, the Eu moments were found to be ordered ferromagnetically within the $ab$ plane and stacked antiferromagnetically along the $c$ axis in the sequence of up-up-down-down. Upon the spin-flop transition under the magnetic field parallel to the $c$ axis, the Eu moments are reoriented from the $c$ to the $a$ or $b$ directions forming two kinds of spin-flop domains, whereas the antiferromagnetic structure of the Mn sublattice remains intact as revealed by the quantitative analysis of the change in the neutron diffraction intensities. The present study provides a concrete basis to discuss the dominant role of the Eu sublattice on the enhanced two-dimensionality of the Dirac fermion transport in EuMnBi$_2$.


title: A gravitational decoupling MGD model in modified $f(R,T)$ gravity theory

abstract: The present paper is devoted to investigating the possibility of getting stellar interiors for ultra-dense compact spherical systems portraying an anisotropic matter distribution employing the gravitational decoupling by means of Minimal Geometric Deformation (MGD) procedure within the modified theory of f(R,T) gravity. According to this theory, the covariant divergence of stress-energy tensor does not vanish, hence the movement of classical particles does not follow geodesics resulting in an extra acceleration which suffices the late-time acceleration of the universe without adopting to exotic matter fields. In this regard, we have considered the algebraic function as f(R, {\rm T})= R+2\chi T, the corresponding effective stress-energy tensor is conserved as well as the exact solutions are derived, where $\chi$ indicates a coupling constant. Moreover, the physical quantities associated with the new solutions are well-behaved from the physical and mathematical point of view as well as free of geometrical singularities, violation of the causality condition, non-decreasing thermodynamic functions. Thereafter, the physical viability of the obtained model is affirmed by performing several physical tests of the main salient features such as energy density, radial, and tangential pressure, anisotropy effect, dynamical equilibrium, energy conditions, and dynamical stability. On the other hand, we have generated the M-R curves from our solutions in the four different scenarios, including GR, GR+MGD, f(R,T) and f(R,T)+MGD, and we found a perfect fit for many compact spherical objects in these scenarios by changing the gravitational decoupling constant \alpha and the coupling constant \chi as free parameters. The present study reveals that the modified f(R,T) gravity through gravitational decoupling by means of MGD method is a suitable theory to explain compact stellar spherical systems....


title: Ensemble averaged Madelung energies of finite volumes and surfaces

abstract: Exact expressions for ensemble averaged Madelung energies of finite volumes are derived. The extrapolation to the thermodynamic limit converges unconditionally and can be used as a parameter-free real-space summation method of Madelung constants. In the large volume limit, the surface term of the ensemble averaged Madelung energy has a universal form, independent of the crystal structure. The scaling of the Madelung energy with system size provides a simple explanation for the structural phase transition observed in cesium halide clusters.


title: On the Robustness of Cooperative Multi-Agent Reinforcement Learning

abstract: In cooperative multi-agent reinforcement learning (c-MARL), agents learn to cooperatively take actions as a team to maximize a total team reward. We analyze the robustness of c-MARL to adversaries capable of attacking one of the agents on a team. Through the ability to manipulate this agent's observations, the adversary seeks to decrease the total team reward. Attacking c-MARL is challenging for three reasons: first, it is difficult to estimate team rewards or how they are impacted by an agent mispredicting; second, models are non-differentiable; and third, the feature space is low-dimensional. Thus, we introduce a novel attack. The attacker first trains a policy network with reinforcement learning to find a wrong action it should encourage the victim agent to take. Then, the adversary uses targeted adversarial examples to force the victim to take this action. Our results on the StartCraft II multi-agent benchmark demonstrate that c-MARL teams are highly vulnerable to perturbations applied to one of their agent's observations. By attacking a single agent, our attack method has highly negative impact on the overall team reward, reducing it from 20 to 9.4. This results in the team's winning rate to go down from 98.9% to 0%.


title: Traffic networks are vulnerable to disinformation attacks

abstract: Disinformation continues to attract attention due to its increasing threat to society. Nevertheless, a disinformation-based attack on critical infrastructure has never been studied to date. Here, we consider traffic networks and focus on fake information that manipulates drivers' decisions to create congestion. We study the optimization problem faced by the adversary when choosing which streets to target to maximize disruption. We prove that finding an optimal solution is computationally intractable, implying that the adversary has no choice but to settle for suboptimal heuristics. We analyze one such heuristic, and compare the cases when targets are spread across the city of Chicago vs. concentrated in its business district. Surprisingly, the latter results in more far-reaching disruption, with its impact felt as far as 2 kilometers from the closest target. Our findings demonstrate that vulnerabilities in critical infrastructure may arise not only from hardware and software, but also from behavioral manipulation.


title: Quasilinear Riccati type equations with oscillatory and singular data

abstract: We characterize the existence of solutions to the quasilinear Riccati type equation \begin{eqnarray*} \left\{ \begin{array}{rcl} -{\rm div}\,\mathcal{A}(x, \nabla u)&=& |\nabla u|^q + \sigma \quad \text{in} ~\Omega, \\ u&=&0 \quad \text{on}~ \partial \Omega, \end{array}\right. \end{eqnarray*} with a distributional or measure datum $\sigma$. Here ${\rm div}\,\mathcal{A}(x, \nabla u)$ is a quasilinear elliptic operator modeled after the $p$-Laplacian ($p>1$), and $\Omega$ is a bounded domain whose boundary is sufficiently flat (in the sense of Reifenberg). For distributional data, we assume that $p>1$ and $q>p$. For measure data, we assume that they are compactly supported in $\Omega$, $p>\frac{3n-2}{2n-1}$, and $q$ is in the sub-linear range $p-1<q<1$. We also assume more regularity conditions on $\mathcal{A}$ and on $\partial\Omega$ in this case.


title: Existence and regularity estimates for quasilinear equations with measure data: the case $1<p\leq \frac{3n-2}{2n-1}$

abstract: We obtain existence and global regularity estimates for gradients of solutions to quasilinear elliptic equations with measure data whose prototypes are of the form $-{\rm div} (|\nabla u|^{p-2} \nabla u)= \delta\, |\nabla u|^q +\mu$ in a bounded main $\Om\subset\RR^n$ potentially with non-smooth boundary. Here either $\delta=0$ or $\delta=1$, $\mu$ is a finite signed Radon measure in $\Omega$, and $q$ is of linear or super-linear growth, i.e., $q\geq 1$. Our main concern is to extend earlier results to the strongly singular case $1<p\leq \frac{3n-2}{2n-1}$. In particular, in the case $\delta=1$ which corresponds to a Riccati type equation, we settle the question of solvability that has been raised for some time in the literature.


title: Transferable Task Execution from Pixels through Deep Planning Domain Learning

abstract: While robots can learn models to solve many manipulation tasks from raw visual input, they cannot usually use these models to solve new problems. On the other hand, symbolic planning methods such as STRIPS have long been able to solve new problems given only a domain definition and a symbolic goal, but these approaches often struggle on the real world robotic tasks due to the challenges of grounding these symbols from sensor data in a partially-observable world. We propose Deep Planning Domain Learning (DPDL), an approach that combines the strengths of both methods to learn a hierarchical model. DPDL learns a high-level model which predicts values for a large set of logical predicates consisting of the current symbolic world state, and separately learns a low-level policy which translates symbolic operators into executable actions on the robot. This allows us to perform complex, multi-step tasks even when the robot has not been explicitly trained on them. We show our method on manipulation tasks in a photorealistic kitchen scenario.


title: Min-Max Q-Learning for Multi-Player Pursuit-Evasion Games

abstract: In this paper, we address a pursuit-evasion game involving multiple players by utilizing tools and techniques from reinforcement learning and matrix game theory. In particular, we consider the problem of steering an evader to a goal destination while avoiding capture by multiple pursuers, which is a high-dimensional and computationally intractable problem in general. In our proposed approach, we first formulate the multi-agent pursuit-evasion game as a sequence of discrete matrix games. Next, in order to simplify the solution process, we transform the high-dimensional state space into a low-dimensional manifold and the continuous action space into a feature-based space, which is a discrete abstraction of the original space. Based on these transformed state and action spaces, we subsequently employ min-max Q-learning, to generate the entries of the payoff matrix of the game, and subsequently obtain the optimal action for the evader at each stage. Finally, we present extensive numerical simulations to evaluate the performance of the proposed learning-based evading strategy in terms of the evader's ability to reach the desired target location without being captured, as well as computational efficiency.


title: Pseudo Labeling and Negative Feedback Learning for Large-scale Multi-label Domain Classification

abstract: In large-scale domain classification, an utterance can be handled by multiple domains with overlapped capabilities. However, only a limited number of ground-truth domains are provided for each training utterance in practice while knowing as many as correct target labels is helpful for improving the model performance. In this paper, given one ground-truth domain for each training utterance, we regard domains consistently predicted with the highest confidences as additional pseudo labels for the training. In order to reduce prediction errors due to incorrect pseudo labels, we leverage utterances with negative system responses to decrease the confidences of the incorrectly predicted domains. Evaluating on user utterances from an intelligent conversational system, we show that the proposed approach significantly improves the performance of domain classification with hypothesis reranking.


title: Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)

abstract: Due to major breakthroughs in software and engineering technologies, embedded systems are increasingly being utilized in areas ranging from aerospace and next-generation transportation systems, to smart grid and smart cities, to health care systems, and broadly speaking to what is known as Cyber-Physical Systems (CPS). A CPS is primarily composed of several electronic, communication and controller modules and some actuators and sensors. The mix of heterogeneous underlying smart technologies poses a number of technical challenges to the design and more severely to the verification of such complex infrastructure. In fact, a CPS shall adhere to strict safety, reliability, performance and security requirements, where one needs to capture both physical and random aspects of the various CPS modules and then analyze their interrelationship across interlinked continuous and discrete dynamics. Often times however, system bugs remain uncaught during the analysis and in turn cause unwanted scenarios that may have serious consequences in safety-critical applications. In this paper, we introduce some of the challenges surrounding the design and verification of contemporary CPS with the advent of smart technologies. In particular, we survey recent developments in the use of theorem proving, a formal method, for the modeling, analysis and verification of CPS, and overview some real world CPS case studies from the automotive, avionics and healthtech domains from system level to physical components.


title: Electronics-Free Pneumatic Logic Circuits for Localized Feedback Control of Multi-Actuator Soft Robots

abstract: The vision of creating entirely-soft robots capable of performing complex tasks will be accomplished only when the controllers required for autonomous operation can be fully implemented on soft components. Despite recent advances in compliant fluidic circuitry for mechanical signal processing, the applicability of this technology for soft robot control has been limited by complicated fabrication and tuning processes, and also the need for external signals such as clocks and digital references. We propose a method to develop pneumatic soft robots in which coordinated interactions between multiple actuators are performed using controllers implemented on components distributedly embedded in the soft structures of the system. In this approach, the notions of binary and multi-valued actuator logic states are introduced. In this way, the physical local dynamical couplings between the analog states of the actuators, established using soft valves of a new type, can be thought of as logic-gate-based mappings acting on discretized representations of the actuator states. Consequently, techniques for digital logic design can be applied to derive the architectures of the localized mechanical couplings that intelligently coordinate the oscillation patterns of the actuator responses. For the purposes of controller tuning, the soft valves are conceived so that their main physical parameters can be adjusted from the exterior of the robot through simple geometrical changes of the corresponding structural elements. To demonstrate the proposed approach, we present the development of a six-state locomoting soft robot.


title: A Positivstellensatz for Conditional SAGE Signomials

abstract: Recently, the conditional SAGE certificate has been proposed as a sufficient condition for signomial positivity over a convex set. In this article, we show that the conditional SAGE certificate is $\textit{complete}$. That is, for any signomial $f(\mathbf{x}) = \sum_{j=1}^{\ell}c_j \exp(\mathbf{A}_j\mathbf{x})$ defined by rational exponents that is positive over a compact convex set $\mathcal{X}$, there is $p \in \mathbb{Z}_+$ and a specific positive definite function $w(\mathbf{x})$ such that $w(\mathbf{x})^p f(\mathbf{x})$ may be verified by the conditional SAGE certificate. The completeness result is analogous to Positivstellensatz results from algebraic geometry, which guarantees representation of positive polynomials with sum of squares polynomials. The result gives rise to a convergent hierarchy of lower bounds for constrained signomial optimization over an $\textit{arbitrary}$ compact convex set that is computable via the conditional SAGE certificate.


title: Complexity Comparison between Two Optimal-Ordered SIC MIMO Detectors Based on Matlab Simulations

abstract: This paper firstly introduces our shared Matlab source code that simulates the two optimal-ordered SIC detectors proposed in [1] and [2]. Based on our shared Matlab code, we compare the computational complexities between the two detectors in [1] and [2] by theoretical complexity calculations and numerical experiments. We carry out theoretical complexity calculations to obtain the worst-case complexities for the two detectors in [1] and [2]. Then from the theoretical worst-case complexities, we make the conclusion that the detector proposed in [2] requires 9N 2 more floating-point operations (flops) than the detector proposed in [1], where N is the number of transmit antennas. Our numerical experiments also show that the detector in [2] requires more worst-case and average complexities than the detector in [1].


title: Multiplicative functions arising from the study of mutually unbiased bases

abstract: We embed the somewhat unusual multiplicative function, which was serendipitously discovered in 2010 during a study of mutually unbiased bases in the Hilbert space of quantum physics, into two families of multiplicative functions that we construct as generalizations of that particular example. In addition, we report yet another multiplicative function, which is also suggested by that example; it can be used to express the squarefree part of an integer in terms of an exponential sum.


title: ESBM: An Entity Summarization BenchMark

abstract: Entity summarization is the problem of computing an optimal compact summary for an entity by selecting a size-constrained subset of triples from RDF data. Entity summarization supports a multiplicity of applications and has led to fruitful research. However, there is a lack of evaluation efforts that cover the broad spectrum of existing systems. One reason is a lack of benchmarks for evaluation. Some benchmarks are no longer available, while others are small and have limitations. In this paper, we create an Entity Summarization BenchMark (ESBM) which overcomes the limitations of existing benchmarks and meets standard desiderata for a benchmark. Using this largest available benchmark for evaluating general-purpose entity summarizers, we perform the most extensive experiment to date where 9~existing systems are compared. Considering that all of these systems are unsupervised, we also implement and evaluate a supervised learning based system for reference.


title: On the distributional expansions of powered extremes from Maxwell distribution

abstract: In this paper, asymptotic expansions of the distributions and densities of powered extremes for Maxwell samples are considered. The results show that the convergence speeds of normalized partial maxima relies on the powered index. Additionally, compared with previous result, the convergence rate of the distribution of powered extreme from Maxwell samples is faster than that of its extreme. Finally, numerical analysis is conducted to illustrate our findings.


title: DeepLENS: Deep Learning for Entity Summarization

abstract: Entity summarization has been a prominent task over knowledge graphs. While existing methods are mainly unsupervised, we present DeepLENS, a simple yet effective deep learning model where we exploit textual semantics for encoding triples and we score each candidate triple based on its interdependence on other triples. DeepLENS significantly outperformed existing methods on a public benchmark.


title: 3D motion of flexible ferromagnetic filaments under rotating magnetic field

abstract: Ferromagnetic filaments in a rotating magnetic field are studied both numerically and experimentally. The filaments are made from micron-sized ferromagnetic particles linked with DNA strands. It is found that at low frequencies of the rotating field a filament rotates synchronously with the field and beyond a critical frequency it undergoes a transition to a three dimensional regime. In this regime the tips of the filament rotate synchronously with the field on circular trajectories in the plane parallel to the plane of the rotating field. The characteristics of this motion found numerically match the experimental data and allow us to obtain the physical properties of such filaments. We also discuss the differences in behaviour between magnetic rods and filaments and the applicability of filaments in mixing.


title: Singularity-free black holes in conformal gravity: new observational constraints

abstract: We consider the family of singularity-free rotating black hole solutions in Einstein's conformal gravity found in Bambi, Modesto & Rachwal (2017) and we constrain the value of the conformal parameter $L$ from the analysis of a 30 ks NuSTAR observation of the stellar-mass black hole in GS 1354-645 during its outburst in 2015. Our new constraint is much stronger than that found in previous work. Here we obtain $L/M < 0.12$ (99% confidence level, statistical uncertainty only).


title: Harmonic Suppression Study on Twin Aperture CCT Type Superconducting Quadrupole for CEPC Interaction Region

abstract: From the field calculation, we can also draw a conclusion that the different order harmonics have an independent property, which we can design a combined magnet by adding some high order harmonics, so that it can save space and reduce the magnet cost.


title: Expansions of maximum and minimum from Generalized Maxwell distribution

abstract: Generalized Maxwell distribution is an extension of the classic Maxwell distribution. In this paper, we concentrate on the joint distributional asymptotics of normalized maxima and minima. Under optimal normalizing constants, asymptotic expansions of joint distribution and density for normalized partial maxima and minima are established. These expansions are used to educe speeds of convergence of joint distribution and density of normalized maxima and minima tending to its corresponding ultimate limits. Numerical analysis are provided to support our results.


title: PUMiner: Mining Security Posts from Developer Question and Answer Websites with PU Learning

abstract: Security is an increasing concern in software development. Developer Question and Answer (Q&A) websites provide a large amount of security discussion. Existing studies have used human-defined rules to mine security discussions, but these works still miss many posts, which may lead to an incomplete analysis of the security practices reported on Q&A websites. Traditional supervised Machine Learning methods can automate the mining process; however, the required negative (non-security) class is too expensive to obtain. We propose a novel learning framework, PUMiner, to automatically mine security posts from Q&A websites. PUMiner builds a context-aware embedding model to extract features of the posts, and then develops a two-stage PU model to identify security content using the labelled Positive and Unlabelled posts. We evaluate PUMiner on more than 17.2 million posts on Stack Overflow and 52,611 posts on Security StackExchange. We show that PUMiner is effective with the validation performance of at least 0.85 across all model configurations. Moreover, Matthews Correlation Coefficient (MCC) of PUMiner is 0.906, 0.534 and 0.084 points higher than one-class SVM, positive-similarity filtering, and one-stage PU models on unseen testing posts, respectively. PUMiner also performs well with an MCC of 0.745 for scenarios where string matching totally fails. Even when the ratio of the labelled positive posts to the unlabelled ones is only 1:100, PUMiner still achieves a strong MCC of 0.65, which is 160% better than fully-supervised learning. Using PUMiner, we provide the largest and up-to-date security content on Q&A websites for practitioners and researchers.


title: Explicit isometric embeddings of collapsing dust ball

abstract: The work is devoted to the search for explicit isometric embeddings of a metric corresponding to the collapse of spherically symmetric matter with the formation of a black hole. Two approaches are considered: in the first, the embedding is constructed for the whole manifold at once; in the second, the idea of a junction of solutions, obtained separately for areas inside and outside the dust ball, is used. In the framework of the first approach, a global smooth embedding in 7D space with a signature (2 + 5) was constructed. It corresponds to the formation of the horizon as a result of matter falling from infinity. The second approach generally leads to an embedding in 7D space with the signature (1 + 6). This embedding corresponds to the case when matter flies out of a white hole with the disappearance of its horizon, after which the radius of the dust ball reaches its maximum, and then a collapse occurs with the formation of the horizon of a black hole. The embedding obtained is not smooth everywhere --- it contains a kink on the edge of the dust ball, and {also, it is} not quite global. In the particular case, when the maximum radius of the dust ball coincides with the radius of the horizon, it is possible to construct a global smooth embedding in a flat 6D space with a signature (1 + 5).


title: Affine random walks on the torus

abstract: We consider random walks on the torus arising from the action of the group of affine transformations. We give a quantitative equidistribution result for this random walk under the assumption that the Zariski closure of the group generated by the linear part acts strongly irreducibly on $\mathbb{R}^d$ and is either Zariski connected or contains a proximal element. Specifically, we give quantitative estimates (depending only on the linear part of the random walk) for how fast the random walk equidistributes unless the initial point and the translation part of the affine transformations can be perturbed so that the random walk is trapped in a finite orbit of small cardinality. In particular, we prove that the random walk equidistributes in law to the Haar measure if and only if the random walk is not trapped in a finite orbit.


title: A Multi-scale CNN-CRF Framework for Environmental Microorganism Image Segmentation

abstract: To assist researchers to identify Environmental Microorganisms (EMs) effectively, a Multiscale CNN-CRF (MSCC) framework for the EM image segmentation is proposed in this paper. There are two parts in this framework: The first is a novel pixel-level segmentation approach, using a newly introduced Convolutional Neural Network (CNN), namely, "mU-Net-B3", with a dense Conditional Random Field (CRF) postprocessing. The second is a VGG-16 based patch-level segmentation method with a novel "buffer" strategy, which further improves the segmentation quality of the details of the EMs. In the experiment, compared with the state-of-the-art methods on 420 EM images, the proposed MSCC method reduces the memory requirement from 355 MB to 103 MB, improves the overall evaluation indexes (Dice, Jaccard, Recall, Accuracy) from 85.24%, 77.42%, 82.27%, and 96.76% to 87.13%, 79.74%, 87.12%, and 96.91%, respectively, and reduces the volume overlap error from 22.58% to 20.26%. Therefore, the MSCC method shows great potential in the EM segmentation field.


title: Non-local Hydrodynamics as a slow manifold for the one-dimensional kinetic equation

abstract: We prove an explicit, non-local hydrodynamic closure for the linear one-dimensional kinetic equation independent on the size of the relaxation time. We compare this dynamical equation to the local approximations obtained from the Chapman--Enskog expansion for small relaxation times. Our results rely on the spectral theory of Jacobi operators with rank-one perturbations.


title: On symmetry and recovery of steady continuous stratified periodic water waves

abstract: This paper considers two-dimensional steady continuous stratified periodic water waves. Firstly, we prove that each streamline must be symmetric about the crest line when it is strictly monotonous between troughs and crests by exploiting the maximum principle and analysis of surface profile. Then, standard Schauder estimates are exploited on the uniform oblique derivative problems to show that all streamlines are real analytic (including the free surface). Based on above symmetry and regularity of streamlines, finally we provide an analytic expansion method to recover the water waves from horizontal velocity on the axis of symmetry and wave height. Most notably, all of results here are suitable not only for small amplitude but also for large amplitude.


title: Generative Deep Learning Model for a Multi-level Nano-Optic Broadband Power Splitter

abstract: We propose a novel Conditional Variational Autoencoder (CVAE) model, enhanced with adversarial censoring and active learning, for the generation of 550 nm broad bandwidth (1250 nm to 1800 nm) power splitters with arbitrary splitting ratio. The device footprint is 2.25 x 2.25 {\mu} m2 with a 20 x 20 etched hole combination. It is the first demonstration to apply the CVAE model and the adversarial censoring for the photonics problems. We confirm that the optimized device has an overall performance close to 90% across all bandwidths from 1250 nm to 1800 nm. To the best of our knowledge, this is the smallest broadband power splitter with arbitrary ratio.


title: A table of $n$-component handlebody links of genus $n+1$ up to six crossings

abstract: A handlebody link is a union of handlebodies of positive genus embedded in 3-space, which generalizes the notion of links in classical knot theory. In this paper, we consider handlebody links with one genus 2 handlebody and $n-1$ solid tori, $n>1$. Our main result is the complete classification of such handlebody links with six crossings or less, up to ambient isotopy.


title: Better Captioning with Sequence-Level Exploration

abstract: Sequence-level learning objective has been widely used in captioning tasks to achieve the state-of-the-art performance for many models. In this objective, the model is trained by the reward on the quality of its generated captions (sequence-level). In this work, we show the limitation of the current sequence-level learning objective for captioning tasks from both theory and empirical result. In theory, we show that the current objective is equivalent to only optimizing the precision side of the caption set generated by the model and therefore overlooks the recall side. Empirical result shows that the model trained by this objective tends to get lower score on the recall side. We propose to add a sequence-level exploration term to the current objective to boost recall. It guides the model to explore more plausible captions in the training. In this way, the proposed objective takes both the precision and recall sides of generated captions into account. Experiments show the effectiveness of the proposed method on both video and image captioning datasets.


title: A Scenario-based Branch-and-Bound Approach for MES Scheduling in Urban Buildings

abstract: This paper presents a novel solution technique for scheduling multi-energy system (MES) in a commercial urban building to perform price-based demand response and reduce energy costs. The MES scheduling problem is formulated as a mixed integer nonlinear program (MINLP), a non-convex NPhard problem with uncertainties due to renewable generation and demand. A model predictive control approach is used to handle the uncertainties and price variations. This in-turn requires solving a time-coupled multi-time step MINLP during each time-epoch which is computationally intensive. This investigation proposes an approach called the Scenario-Based Branch-and-Bound (SB3), a light-weight solver to reduce the computational complexity. It combines the simplicity of convex programs with the ability of meta-heuristic techniques to handle complex nonlinear problems. The performance of the SB3 solver is validated in the Cleantech building, Singapore and the results demonstrate that the proposed algorithm reduces energy cost by about 17.26% and 22.46% as against solving a multi-time step heuristic optimization model.


title: Classification of doubly distributive skew hyperfields and stringent hypergroups

abstract: A hypergroup is stringent if $a \boxplus b$ is a singleton whenever $a \neq -b$. A hyperfield is stringent if the underlying additive hypergroup is. Every doubly distributive skew hyperfield is stringent, but not vice versa. We present a classification of stringent hypergroups, from which a classification of doubly distributive skew hyperfields follows. It follows from our classification that every such hyperfield is a quotient of a skew field.


title: Bose-Fermi Cancellation of Cosmological Coleman-Weinberg Potentials

abstract: Cosmological Coleman-Weinberg potentials are induced when normal matter is coupled to the inflaton. It has long been known that the corrections from bosonic fields are positive whereas those from fermionic fields are negative. In flat space both take the form $\pm \varphi^4 \ln(\varphi)$, and they can be made to cancel by appropriately choosing the coupling constants. In an expanding universe the bosonic and fermionic results no longer take the same form, although their large field limits do. We choose the coupling constants so that the large field limits cancel, and then follow the deviations which result as inflation progresses. Although the result is not satisfactory we discuss how adding scalars with various conformal couplings likely solves the problem.


title: Invariant subspaces for certain tuples of operators with applications to reproducing kernel correspondences

abstract: The techniques developed by Popescu, Muhly-Solel and Good for the study of algebras generated by weighted shifts are applied to generalize results of Sarkar and of Bhattacharjee-Eschmeier-Keshari-Sarkar concerning dilations and invariant subspaces for commuting tuples of operators. In that paper the authors prove Beurling-Lax-Halmos type results for commuting tuples $T=(T_1,\ldots,T_d)$ operators that are contractive and pure; that is $\Phi_T(I)\leq I$ and $\Phi_T^n(I)\searrow 0$ where $$\Phi_T(a)=\Sigma_i T_iaT_i^*.$$ Here we generalize some of their results to commuting tuples $T$ satisfying similar conditions but for $$\Phi_T(a)=\Sigma_{\alpha \in \mathbb{F}^+_d} x_{|\alpha|}T_{\alpha}aT_{\alpha}^*$$ where $\{x_k\}$ is a sequence of non negative numbers satisfying some natural conditions (where $T_{\alpha}=T_{\alpha(1)}\cdots T_{\alpha(k)}$ for $k=|\alpha|$). In fact, we deal with a more general situation where each $x_k$ is replaced by a $d^k\times d^k$ matrix. We also apply these results to subspaces of certain reproducing kernel correspondences $E_K$ (associated with maps-valued kernels $K$) that are invariant under the multipliers given by the coordinate functions.


title: Resonant Contributions to Three-body $B\to KKK$ Decays in Perturbative QCD Approach

abstract: In this work, we study the ($S$, $P$ and $D$)-wave $K^+K^-$ contributions to $B\to KKK$ decays in the perturbative QCD approach at leading order. Within the two-meson wave functions describing the nonperturbative dynamics in the kaon-pair for different waves, we calculate the branching fractions and the direct $CP$ asymmetries of these decay modes in the corresponding resonance regions. Most of our numerical results are well consistent with the current measurements. We note that the narrow-width approximation is invalid in the quasi-two-body decays $B\to Kf_0(980)\to KKK$. For other decays, under the narrow-width approximation we can extract the branching fractions of the corresponding two-body decays involving the intermediate resonant states, and the related branching fractions agree with the current experimental data well. Furthermore, we also predict the corresponding quasi-two-body decays $B\to K\pi^+\pi^-$, which are expected to be measured in the ongoing LHCb and Belle-II experiments.


title: Coherent x-ray-optical control of nuclear excitons with zeptosecond phase-stability

abstract: Coherent control of quantum dynamics is key to a multitude of fundamental studies and applications alike. In the visible or longer-wavelength domains, near-resonant light fields have become the primary tool to control electron dynamics. Recently, coherent control in the extreme-ultraviolet range was demonstrated, with timing stability of the applied light fields in the few-attosecond range. At hard x-ray energies, M\"ossbauer nuclei feature narrow nuclear resonances, and spectroscopy of these resonances is a widespread tool to study magnetic, structural and dynamical properties of matter. It has been shown that the power and scope of M\"ossbauer spectroscopy can be significantly advanced using various control techniques. However, the coherent control of atomic nuclei using near-resonant x-ray fields remains an open challenge, also because of the extreme stability requirements on the x-ray light in the few-zeptosecond range. Here, we demonstrate such control, and use the relative phase of two x-ray pulses to switch the nuclear dynamics between stimulated emission and enhanced coherent excitation. For this, we suggest and implement a method to shape single pulses delivered by modern x-ray facilities into tunable double-pulses, with the desired stability on the few-zeptosecond level. Our results unlock coherent optical control for nuclei, and pave the way for nuclear Ramsey spectroscopy and spin-echo-like techniques, which not only provide key concepts for advancing nuclear quantum optics, but also essential ingredients for possible x-ray clocks and frequency standards. As a long-term perspective, we envision time-resolved studies of nuclear out-of-equilibrium dynamics, which is a long-standing open challenge in M\"ossbauer science.


title: Perceptual Image Super-Resolution with Progressive Adversarial Network

abstract: Single Image Super-Resolution (SISR) aims to improve resolution of small-size low-quality image from a single one. With popularity of consumer electronics in our daily life, this topic has become more and more attractive. In this paper, we argue that the curse of dimensionality is the underlying reason of limiting the performance of state-of-the-art algorithms. To address this issue, we propose Progressive Adversarial Network (PAN) that is capable of coping with this difficulty for domain-specific image super-resolution. The key principle of PAN is that we do not apply any distance-based reconstruction errors as the loss to be optimized, thus free from the restriction of the curse of dimensionality. To maintain faithful reconstruction precision, we resort to U-Net and progressive growing of neural architecture. The low-level features in encoder can be transferred into decoder to enhance textural details with U-Net. Progressive growing enhances image resolution gradually, thereby preserving precision of recovered image. Moreover, to obtain high-fidelity outputs, we leverage the framework of the powerful StyleGAN to perform adversarial learning. Without the curse of dimensionality, our model can super-resolve large-size images with remarkable photo-realistic details and few distortions. Extensive experiments demonstrate the superiority of our algorithm over state-of-the-arts both quantitatively and qualitatively.


title: Elliptic characterization and unification of Oka maps

abstract: We generalize our elliptic characterization of Oka manifolds to Oka maps. The generalized characterization can be considered as an affirmative answer to the relative version of Gromov's conjecture. As an application, we unify previously known Oka principles for submersions; namely the Gromov type Oka principle for subelliptic submersions and the Forstneri\v{c} type Oka principle for holomorphic fiber bundles with CAP fibers. We also establish the localization principle for Oka maps which gives new examples of Oka maps.


title: Reinforcement Learning Based Cooperative Coded Caching under Dynamic Popularities in Ultra-Dense Networks

abstract: For ultra-dense networks with wireless backhaul, caching strategy at small base stations (SBSs), usually with limited storage, is critical to meet massive high data rate requests. Since the content popularity profile varies with time in an unknown way, we exploit reinforcement learning (RL) to design a cooperative caching strategy with maximum-distance separable (MDS) coding. We model the MDS coding based cooperative caching as a Markov decision process to capture the popularity dynamics and maximize the long-term expected cumulative traffic load served directly by the SBSs without accessing the macro base station. For the formulated problem, we first find the optimal solution for a small-scale system by embedding the cooperative MDS coding into Q-learning. To cope with the large-scale case, we approximate the state-action value function heuristically. The approximated function includes only a small number of learnable parameters and enables us to propose a fast and efficient action-selection approach, which dramatically reduces the complexity. Numerical results verify the optimality/near-optimality of the proposed RL based algorithms and show the superiority compared with the baseline schemes. They also exhibit good robustness to different environments.


title: 3D Object Detection from a Single Fisheye Image Without a Single Fisheye Training Image

abstract: Existing monocular 3D object detection methods have been demonstrated on rectilinear perspective images and fail in images with alternative projections such as those acquired by fisheye cameras. Previous works on object detection in fisheye images have focused on 2D object detection, partly due to the lack of 3D datasets of such images. In this work, we show how to use existing monocular 3D object detection models, trained only on rectilinear images, to detect 3D objects in images from fisheye cameras, without using any fisheye training data. We outperform the only existing method for monocular 3D object detection in panoramas on a benchmark of synthetic data, despite the fact that the existing method trains on the target non-rectilinear projection whereas we train only on rectilinear images. We also experiment with an internal dataset of real fisheye images.


title: Compact K\"ahler threefolds with the action of an abelian group of maximal rank

abstract: In this note, we study the normal compact K\"ahler (possibly singular) threefold $X$ admitting the action of a free abelian group $G$ of maximal rank, all the non-trivial elements of which are of positive entropy. If such $X$ is further assumed to have only terminal singularities, then we prove that it is either a rationally connected projective threefold or bimeromorphic to a quasi-\'etale quotient of a complex $3$-torus.


title: Coherent anti-Stokes Raman scattering through thick biological tissues by single wavefront shaping

abstract: Coherent Anti Stokes Raman Scattering (CARS) offers many advantages for nonlinear bio-imaging, thanks to its sub-cellular spatial resolution and unique chemical specificity. Its working principle requires two incident pulsed laser beams with distinct frequencies to be focused in space and time, which focus quality however rapidly deteriorates when propagating at large depths in biological tissues. The depth limits of CARS and the capability of wavefront correction to overcome these limits are currently unknown. In this work we exploit the spectral correlation properties of the transmission matrix of a scattering medium in a pulsed regime, to recover coherent focusing for two distant incident CARS wavelengths which propagation is initially uncorrelated. Using wavefront shaping with a single spatial light modulator, we recover CARS generation through thick mice spinal cord tissues where initially no signal is measurable due to scattering, and demonstrate point scanning over large field of views of tens of micrometers.


title: A spectral property for concurrent systems and some probabilistic applications

abstract: We study trace theoretic concurrent systems. This setting encompasses safe (1-bounded) Petri nets. We introduce a notion of irreducible concurrent system and we prove the equivalence between irreducibility and a "spectral property". The spectral property states a strict inequality between radii of convergence of certain growth series associated with the system. The proof that we present relies on analytic combinatorics techniques. The spectral property is the cornerstone of our theory, in a framework where the Perron-Frobenius theory does not apply directly. This restriction is an inherent difficulty in the study of concurrent systems. We apply the spectral property to the probabilistic theory of concurrent systems. We prove on the one hand the uniqueness of the uniform measure, a question left open in a previous paper. On the other hand, we prove that this uniform measure can be realized as a Markov chain of states-and-cliques on a state space that can be precisely characterized.


title: A Benchmark for Temporal Color Constancy

abstract: Temporal Color Constancy (CC) is a recently proposed approach that challenges the conventional single-frame color constancy. The conventional approach is to use a single frame - shot frame - to estimate the scene illumination color. In temporal CC, multiple frames from the view finder sequence are used to estimate the color. However, there are no realistic large scale temporal color constancy datasets for method evaluation. In this work, a new temporal CC benchmark is introduced. The benchmark comprises of (1) 600 real-world sequences recorded with a high-resolution mobile phone camera, (2) a fixed train-test split which ensures consistent evaluation, and (3) a baseline method which achieves high accuracy in the new benchmark and the dataset used in previous works. Results for more than 20 well-known color constancy methods including the recent state-of-the-arts are reported in our experiments.


abstract: We study N\'eron models of pseudo-Abelian varieties over excellent discrete valuation rings of equal characteristic $p>0$ and generalize the notions of good reduction and semiabelian reduction to such algebraic groups. We prove that the well-known representation-theoretic criteria for good and semiabelian reduction due to N\'eron-Ogg-Shafarevich and Grothendieck carry over to the pseudo-Abelian case, and give examples to show that our results are the best possible in most cases. Finally, we study the order of the group scheme of connected components of the N\'eron model in the pseudo-Abelian case. Our method is able to control the $\ell$-part (for $\ell\not=p$) of this order completely, and we study the $p$-part in a particular (but still reasonably general) situation.


title: Chiral phase transition in a rotating sphere

abstract: We study the chiral phase transition of the two-flavor Nambu-Jona-Lasinio (NJL) model in a rotating sphere, which includes both rotation and finite size effects. We find that rotation leads to a suppression of the chiral condensate at a finite temperature, while its effects are smaller than the finite size effects. Our work can be helpful to study the effects relevant to rotation in heavy-ion collisions in a more realistic way.


title: DFVS: Deep Flow Guided Scene Agnostic Image Based Visual Servoing

abstract: Existing deep learning based visual servoing approaches regress the relative camera pose between a pair of images. Therefore, they require a huge amount of training data and sometimes fine-tuning for adaptation to a novel scene. Furthermore, current approaches do not consider underlying geometry of the scene and rely on direct estimation of camera pose. Thus, inaccuracies in prediction of the camera pose, especially for distant goals, lead to a degradation in the servoing performance. In this paper, we propose a two-fold solution: (i) We consider optical flow as our visual features, which are predicted using a deep neural network. (ii) These flow features are then systematically integrated with depth estimates provided by another neural network using interaction matrix. We further present an extensive benchmark in a photo-realistic 3D simulation across diverse scenes to study the convergence and generalisation of visual servoing approaches. We show convergence for over 3m and 40 degrees while maintaining precise positioning of under 2cm and 1 degree on our challenging benchmark where the existing approaches that are unable to converge for majority of scenarios for over 1.5m and 20 degrees. Furthermore, we also evaluate our approach for a real scenario on an aerial robot. Our approach generalizes to novel scenarios producing precise and robust servoing performance for 6 degrees of freedom positioning tasks with even large camera transformations without any retraining or fine-tuning.


title: Gamma -ray spectra in the positron-annihilation process of molecules at room temperature

abstract: In this study, a fully self-consistent method was developed to obtain the wave functions of the positron and electrons in molecules simultaneously. The wave function of a positron at room temperature , with a characteristic energy of approximately $0.04 eV$, was used to analyse the experimental results of its annihilation in helium, neon, hydrogen, and methane molecules. The interactions between the positron and molecule provide a significant correction in the gamma-ray spectra of the annihilating electron--positron pairs. It was also observed that high-order correlations offered almost no correction in the spectra, as the interaction between the low-energy positron and electrons cannot drive the electrons into excited electronic states. More accurate studies, which consider the coupling of the positron--electron pair states and vibration states of nuclei, must be undertaken.


title: A Simple Improvement for Permanent Magnet Systems for Kibble Balances: More Flat Field at Almost No Cost

abstract: Permanent magnets together with yokes to concentrate the magnetic flux into a cylindrical air-gap are widely employed in Kibble balances. These experiments require a uniform magnetic flux density along a vertical path, typically a substantial fraction of the length of the air-gap. Fringe fields that are present at both ends of the air-gap limit the region where the flux density does not change more than a certain relative fraction (here: $5\times 10^{-4}$) of the flux density in the center of the magnet system. By simply adding an iron ring with a rectangular cross-section to the inner yoke at each end of the air gap, the effects of the fringe fields can be counteracted, and, hence, the length of the region, where the flux density remains within a given tolerance band is increased. Compared to the alternative, employing a taller magnet, the proposed method yields a magnet system with an extended region of a uniform field without significantly increasing the mass of the magnet system. Potential applications include compact and table-top Kibble balances. We investigate possible adverse effects on the performance of the magnet system caused by the additional rings: magnetic field strength, coil-current effect, and a dependence of the radial field on the radial position in the field. No substantial disadvantage was found. Instead, the method presented here outperformed previously suggested methods to improve the radial dependence of the radial field, e.g., shorter outer yoke. In summary, adding rings to the inner yoke improves the uniformity of the field without a detrimental effect to function, cost, and form factor of the magnet system.


title: Sp(n,1) admits a proper 1-cocycle for a uniformly bounded representation

abstract: We verify Shalom's conjecture for the simple real-rank-one Lie group Sp(n ,1) for any n: i.e. we show that it admits a metrically proper affine action on a Hilbert space whose linear part is a uniformly bounded representation. We provide two different proofs. Both approaches crucially use results on uniformly bounded representations by Michael Cowling. The first approach is quite abstract: it uses an automatic-properness result of Shalom and requires almost no computations. The second approach is explicit: we deduce the properness of cocycles from the non-continuity of a critical case of the Sobolev embedding. This work is inspired from Pierre Julg's work on the Baum--Connes conjecture for Sp(n,1).


title: Single spin asymmetry $A_{UL}^{\sin(\phi_h-\phi_R)}$ in dihadron semi-inclusive DIS

abstract: In this paper we study the single longitudinal spin asymmetry $A_{UL}^{\sin(\phi_h-\phi_R)}$ of dihadron production in semi-inclusive deep inelastic scattering (SIDIS) via helicity-dependent dihadron fragmentation function (DiFF), which describes the correlation of the longitudinal polarization of a fragmenting quark with the transverse momenta of the produced hadron pair. Recently experimental searching for this azimuthal asymmetry in dihadron SIDIS by the COMPASS Collaboration yielded a very small signal. Here we calculate this unknown T-odd DiFF $G_1^\perp$ using a spectator model to access the asymmetry and clarify why the signal is very small. The transverse momentum dependent (TMD) factorization method, in which the transverse momentum of the final state hadron pair leaves unintegrated, has been applied. We estimate the $\sin(\phi_h-\phi_R)$ asymmetry at the kinematics of COMPASS experiments and compare with the data. What's more, the predictions on the same asymmetry are also made at the Electron Ion Collider (EIC).


title: Pixel-in-Pixel Net: Towards Efficient Facial Landmark Detection in the Wild

abstract: Recently, heatmap regression models have become popular due to their superior performance in locating facial landmarks. However, three major problems still exist among these models: (1) they are computationally expensive; (2) they usually lack explicit constraints on global shapes; (3) domain gaps are commonly present. To address these problems, we propose Pixel-in-Pixel Net (PIPNet) for facial landmark detection. The proposed model is equipped with a novel detection head based on heatmap regression, which conducts score and offset predictions simultaneously on low-resolution feature maps. By doing so, repeated upsampling layers are no longer necessary, enabling the inference time to be largely reduced without sacrificing model accuracy. Besides, a simple but effective neighbor regression module is proposed to enforce local constraints by fusing predictions from neighboring landmarks, which enhances the robustness of the new detection head. To further improve the cross-domain generalization capability of PIPNet, we propose self-training with curriculum. This training strategy is able to mine more reliable pseudo-labels from unlabeled data across domains by starting with an easier task, then gradually increasing the difficulty to provide more precise labels. Extensive experiments demonstrate the superiority of PIPNet, which obtains state-of-the-art results on three out of six popular benchmarks under the supervised setting. The results on two cross-domain test sets are also consistently improved compared to the baselines. Notably, our lightweight version of PIPNet runs at 35.7 FPS and 200 FPS on CPU and GPU, respectively, while still maintaining a competitive accuracy to state-of-the-art methods. The code of PIPNet is available at https://github.com/jhb86253817/PIPNet.


title: IMRAM: Iterative Matching with Recurrent Attention Memory for Cross-Modal Image-Text Retrieval

abstract: Enabling bi-directional retrieval of images and texts is important for understanding the correspondence between vision and language. Existing methods leverage the attention mechanism to explore such correspondence in a fine-grained manner. However, most of them consider all semantics equally and thus align them uniformly, regardless of their diverse complexities. In fact, semantics are diverse (i.e. involving different kinds of semantic concepts), and humans usually follow a latent structure to combine them into understandable languages. It may be difficult to optimally capture such sophisticated correspondences in existing methods. In this paper, to address such a deficiency, we propose an Iterative Matching with Recurrent Attention Memory (IMRAM) method, in which correspondences between images and texts are captured with multiple steps of alignments. Specifically, we introduce an iterative matching scheme to explore such fine-grained correspondence progressively. A memory distillation unit is used to refine alignment knowledge from early steps to later ones. Experiment results on three benchmark datasets, i.e. Flickr8K, Flickr30K, and MS COCO, show that our IMRAM achieves state-of-the-art performance, well demonstrating its effectiveness. Experiments on a practical business advertisement dataset, named \Ads{}, further validates the applicability of our method in practical scenarios.


title: Rectifying Pseudo Label Learning via Uncertainty Estimation for Domain Adaptive Semantic Segmentation

abstract: This paper focuses on the unsupervised domain adaptation of transferring the knowledge from the source domain to the target domain in the context of semantic segmentation. Existing approaches usually regard the pseudo label as the ground truth to fully exploit the unlabeled target-domain data. Yet the pseudo labels of the target-domain data are usually predicted by the model trained on the source domain. Thus, the generated labels inevitably contain the incorrect prediction due to the discrepancy between the training domain and the test domain, which could be transferred to the final adapted model and largely compromises the training process. To overcome the problem, this paper proposes to explicitly estimate the prediction uncertainty during training to rectify the pseudo label learning for unsupervised semantic segmentation adaptation. Given the input image, the model outputs the semantic segmentation prediction as well as the uncertainty of the prediction. Specifically, we model the uncertainty via the prediction variance and involve the uncertainty into the optimization objective. To verify the effectiveness of the proposed method, we evaluate the proposed method on two prevalent synthetic-to-real semantic segmentation benchmarks, i.e., GTA5 -> Cityscapes and SYNTHIA -> Cityscapes, as well as one cross-city benchmark, i.e., Cityscapes -> Oxford RobotCar. We demonstrate through extensive experiments that the proposed approach (1) dynamically sets different confidence thresholds according to the prediction variance, (2) rectifies the learning from noisy pseudo labels, and (3) achieves significant improvements over the conventional pseudo label learning and yields competitive performance on all three benchmarks.


title: Identification of relevant performance indicators in round-robin tournaments

abstract: A myriad of different data are generated to characterize a soccer match. Here we discuss which performance indicators are particularly helpful to forecast the future results of a team via an estimation of the underlying team strengths with minimum statistical uncertainty. We introduce an appropriate statistical framework and exemplify it for different performance indicators for the German premier soccer league. Two aspects are involved: (i) It is quantified how well the estimation process would work if no statistical noise due to finite information is present. The related score directly expresses to which degree the chosen performance indicator reflects the underlying team strength. (ii) Additionally, the reduction of the forecasting quality due to statistical noise is determined. From both pieces of information a normalized value can be constructed which is a direct measure of the overall forecasting quality. It turns out that the so-called packing rate works best. New perspectives of performance indicators enter when trying to understand the outcome of single matches based on match-specific observations from the same match. Implications for the purpose of forecasting as well as consequences for the interpretation of team strengths are discussed.


title: Data Analysis for the COVID-19 early dynamics in Northern Italy. The effect of first restrictive measures

abstract: In a recent report we have collected some data about the COVID-19 epidemics in Northern Italy; in this follow-up we analyze how these changed after the mild restrictive measures taken by the Government two weeks ago and the large campaign of public awareness developed in the meanwhile.


title: Nature-Inspired Optimization Algorithms: Challenges and Open Problems

abstract: Many problems in science and engineering can be formulated as optimization problems, subject to complex nonlinear constraints. The solutions of highly nonlinear problems usually require sophisticated optimization algorithms, and traditional algorithms may struggle to deal with such problems. A current trend is to use nature-inspired algorithms due to their flexibility and effectiveness. However, there are some key issues concerning nature-inspired computation and swarm intelligence. This paper provides an in-depth review of some recent nature-inspired algorithms with the emphasis on their search mechanisms and mathematical foundations. Some challenging issues are identified and five open problems are highlighted, concerning the analysis of algorithmic convergence and stability, parameter tuning, mathematical framework, role of benchmarking and scalability. These problems are discussed with the directions for future research.


title: Graphs, Convolutions, and Neural Networks: From Graph Filters to Graph Neural Networks

abstract: Network data can be conveniently modeled as a graph signal, where data values are assigned to nodes of a graph that describes the underlying network topology. Successful learning from network data is built upon methods that effectively exploit this graph structure. In this work, we leverage graph signal processing to characterize the representation space of graph neural networks (GNNs). We discuss the role of graph convolutional filters in GNNs and show that any architecture built with such filters has the fundamental properties of permutation equivariance and stability to changes in the topology. These two properties offer insight about the workings of GNNs and help explain their scalability and transferability properties which, coupled with their local and distributed nature, make GNNs powerful tools for learning in physical networks. We also introduce GNN extensions using edge-varying and autoregressive moving average graph filters and discuss their properties. Finally, we study the use of GNNs in recommender systems and learning decentralized controllers for robot swarms.


title: Adversarial Attacks on Probabilistic Autoregressive Forecasting Models

abstract: We develop an effective generation of adversarial attacks on neural models that output a sequence of probability distributions rather than a sequence of single values. This setting includes the recently proposed deep probabilistic autoregressive forecasting models that estimate the probability distribution of a time series given its past and achieve state-of-the-art results in a diverse set of application domains. The key technical challenge we address is effectively differentiating through the Monte-Carlo estimation of statistics of the joint distribution of the output sequence. Additionally, we extend prior work on probabilistic forecasting to the Bayesian setting which allows conditioning on future observations, instead of only on past observations. We demonstrate that our approach can successfully generate attacks with small input perturbations in two challenging tasks where robust decision making is crucial: stock market trading and prediction of electricity consumption.


title: Deep Adversarial Reinforcement Learning for Object Disentangling

abstract: Deep learning in combination with improved training techniques and high computational power has led to recent advances in the field of reinforcement learning (RL) and to successful robotic RL applications such as in-hand manipulation. However, most robotic RL relies on a well known initial state distribution. In real-world tasks, this information is however often not available. For example, when disentangling waste objects the actual position of the robot w.r.t.\ the objects may not match the positions the RL policy was trained for. To solve this problem, we present a novel adversarial reinforcement learning (ARL) framework. The ARL framework utilizes an adversary, which is trained to steer the original agent, the protagonist, to challenging states. We train the protagonist and the adversary jointly to allow them to adapt to the changing policy of their opponent. We show that our method can generalize from training to test scenarios by training an end-to-end system for robot control to solve a challenging object disentangling task. Experiments with a KUKA LBR+ 7-DOF robot arm show that our approach outperforms the baseline method in disentangling when starting from different initial states than provided during training.


title: DADA: Differentiable Automatic Data Augmentation

abstract: Data augmentation (DA) techniques aim to increase data variability, and thus train deep networks with better generalisation. The pioneering AutoAugment automated the search for optimal DA policies with reinforcement learning. However, AutoAugment is extremely computationally expensive, limiting its wide applicability. Followup works such as Population Based Augmentation (PBA) and Fast AutoAugment improved efficiency, but their optimization speed remains a bottleneck. In this paper, we propose Differentiable Automatic Data Augmentation (DADA) which dramatically reduces the cost. DADA relaxes the discrete DA policy selection to a differentiable optimization problem via Gumbel-Softmax. In addition, we introduce an unbiased gradient estimator, RELAX, leading to an efficient and effective one-pass optimization strategy to learn an efficient and accurate DA policy. We conduct extensive experiments on CIFAR-10, CIFAR-100, SVHN, and ImageNet datasets. Furthermore, we demonstrate the value of Auto DA in pre-training for downstream detection problems. Results show our DADA is at least one order of magnitude faster than the state-of-the-art while achieving very comparable accuracy. The code is available at https://github.com/VDIGPKU/DADA.


title: Mixing times for the simple exclusion process with open boundaries

abstract: We study mixing times of the symmetric and asymmetric simple exclusion process on the segment where particles are allowed to enter and exit at the endpoints. We consider different regimes depending on the entering and exiting rates as well as on the rates in the bulk, and show that the process exhibits pre-cutoff and in some cases cutoff. Our main contribution is to study mixing times for the asymmetric simple exclusion process with open boundaries. We show that the order of the mixing time can be linear or exponential in the size of the segment depending on the choice of the boundary parameters, proving a strikingly different (and richer) behavior for the simple exclusion process with open boundaries than for the process on the closed segment. Our arguments combine coupling, second class particle and censoring techniques with current estimates. A novel idea is the use of multi-species particle arguments, where the particles only obey a partial ordering.


title: An $L_p$-theory for the stochastic heat equation on angular domains in $\mathbb{R}^2$ with mixed weights

abstract: We establish a refined $L_p$-estimate ($p\geq 2$) for the stochastic heat equation on angular domains in $\mathbb{R}^2$ with mixed weights based on both, the distance to the boundary and the distance to the vertex. This way we can capture both causes for singularities of the solution: the incompatibility of noise and boundary condition on the one hand and the influence of boundary singularities (here, the vertex) on the other hand. Higher order $L_p$-Sobolev regularity with mixed weights is also established.


title: Quantum fluctuation of entanglement for accelerated two-level detectors

abstract: Quantum entanglement as the one of the most general quantum resources, can be quantified by von Neumann entropy. However, as we know, the von Neumann entropy is only statistical quantity or operator, it therefore has fluctuation. The quantum fluctuation of entanglement (QFE) between Unruh-Dewitt detector modeled by a two-level atom is investigated in a relativistic setting. The Unruh radiation and quantum fluctuation effects affect the precise measurement of quantum entanglement. Inspired by this we present how the relativistic motion effects QFE for two entangled Unruh-Dewitt detectors when one of them is accelerated and interacts with the neighbor external scalar field. We find that QFE first increases by the Unruh thermal noise and then suddenly decays when the acceleration reaches at a considerably large value, which indicates that relativistic effect will lead to non-negligible QFE effect. We also find that the initial QFE (without acceleration effect) is minimum with the maximally entangled state. Moreover, although QFE has a huge decay when the acceleration is greater than $\sim0.96$, concurrence also decays to a very low value, the ratio $\Delta E/C$ therefore still large. According to the equivalence principle, our findings could be in principle applied to dynamics of QFE under the influence of gravitation field.


title: Voltage-Induced Inertial Domain Wall Motion in an Antiferromagnetic Nanowire

abstract: Racetrack memory based on magnetic domain walls (DWs) motion exhibits advantages of small volume and high reading speed. When compared to current-induced DW motion, voltage-induced DW motion exhibits lower dissipation. On the other hand, the DW in an antiferromagnet (AFM) moves at a high velocity with weak stray field. In this work, the AFM DW motion induced by a gradient of magnetic anisotropy energy under a voltage pulse has been investigated in theory. The dynamics equation for the DW motion was derived. The solution indicates that the DW velocity is higher than 100 m/s, and because of inertia, the DW is able to keep moving at a speed of around 100 m/s for several nano seconds after turning off the voltage in a period of pulse. The mechanism for this DW inertia is explained based on the Lagrangian route. On the other hand, a spin wave is emitted while the DW is moving, yet the DW is still able to move at an ever increasing velocity with enlarging DW width. This indicates energy loss from emission of spin wave is less than the energy gain from the effective field of the gradient of anisotropy energy.


title: Dependently Typed Knowledge Graphs

abstract: Reasoning over knowledge graphs is traditionally built upon a hierarchy of languages in the Semantic Web Stack. Starting from the Resource Description Framework (RDF) for knowledge graphs, more advanced constructs have been introduced through various syntax extensions to add reasoning capabilities to knowledge graphs. In this paper, we show how standardized semantic web technologies (RDF and its query language SPARQL) can be reproduced in a unified manner with dependent type theory. In addition to providing the basic functionalities of knowledge graphs, dependent types add expressiveness in encoding both entities and queries, explainability in answers to queries through witnesses, and compositionality and automation in the construction of witnesses. Using the Coq proof assistant, we demonstrate how to build and query dependently typed knowledge graphs as a proof of concept for future works in this direction.


title: Ramsey degrees: big v. small

abstract: In this paper we investigate algebraic properties of big Ramsey degrees in categories satisfying some mild conditions. As the first nontrivial consequence of the generalization we advocate in this paper we prove that small Ramsey degrees are the minima of the corresponding big ones. We also prove that big Ramsey degrees are subadditive and show that equality is enforced by an abstract property of objects we refer to as self-similarity. Finally, we apply the abstract machinery developed in the paper to show that if a countable relational structure has finite big Ramsey degrees, then so do its quantifier-free reducts. In particular, it follows that the reducts of (Q, <), the random graph, the random tournament and (Q, <, 0) all have finite big Ramsey degrees.


title: Mind the Gap: Enlarging the Domain Gap in Open Set Domain Adaptation

abstract: Unsupervised domain adaptation aims to leverage labeled data from a source domain to learn a classifier for an unlabeled target domain. Among its many variants, open set domain adaptation (OSDA) is perhaps the most challenging, as it further assumes the presence of unknown classes in the target domain. In this paper, we study OSDA with a particular focus on enriching its ability to traverse across larger domain gaps. Firstly, we show that existing state-of-the-art methods suffer a considerable performance drop in the presence of larger domain gaps, especially on a new dataset (PACS) that we re-purposed for OSDA. We then propose a novel framework to specifically address the larger domain gaps. The key insight lies with how we exploit the mutually beneficial information between two networks; (a) to separate samples of known and unknown classes, (b) to maximize the domain confusion between source and target domain without the influence of unknown samples. It follows that (a) and (b) will mutually supervise each other and alternate until convergence. Extensive experiments are conducted on Office-31, Office-Home, and PACS datasets, demonstrating the superiority of our method in comparison to other state-of-the-arts. Code available at https://github.com/dongliangchang/Mutual-to-Separate/


title: One dimensional cell motility patterns

abstract: During migration cells exhibit a rich variety of seemingly random migration patterns, which makes unraveling the underlying mechanisms that control cell migration a daunting challenge. For efficient migration cells require a mechanism for polarization, so that traction forces are produced in the direction of motion, while adhesion is released to allow forward migration. To simplify the study of this process cells have been studied when placed along one-dimensional tracks, where single cells exhibit both smooth and stick-slip migration modes. The stick-slip motility mode is characterized by protrusive motion at the cell front, coupled with slow cell elongation, which is followed by rapid retractions of the cell back. In this study, we explore a minimal physical model that couples the force applied on the adhesion bonds to the length variations of the cell and the traction forces applied by the polarized actin retrograde flow. We show that the rich spectrum of cell migration patterns emerges from this model as different \emph{deterministic} dynamical phases. This result suggests a source for the large cell-to-cell variability (CCV) in cell migration patterns observed in single cells over time and within cell populations. The large heterogeneity can arise from small fluctuations in the cellular components that are greatly amplified due to moving the cells' internal state across the dynamical phase transition lines. Temporal noise is shown to drive random changes in the cellular polarization direction, which is enhanced during the stick-slip migration mode. These results offer a new framework to explain experimental observations of migrating cells, resulting from noisy switching between underlying deterministic migration modes.


title: Influence of Initialization on the Performance of Metaheuristic Optimizers

abstract: All metaheuristic optimization algorithms require some initialization, and the initialization for such optimizers is usually carried out randomly. However, initialization can have some significant influence on the performance of such algorithms. This paper presents a systematic comparison of 22 different initialization methods on the convergence and accuracy of five optimizers: differential evolution (DE), particle swarm optimization (PSO), cuckoo search (CS), artificial bee colony (ABC) algorithm and genetic algorithm (GA). We have used 19 different test functions with different properties and modalities to compare the possible effects of initialization, population sizes and the numbers of iterations. Rigorous statistical ranking tests indicate that 43.37\% of the functions using the DE algorithm show significant differences for different initialization methods, while 73.68\% of the functions using both PSO and CS algorithms are significantly affected by different initialization methods. The simulations show that DE is less sensitive to initialization, while both PSO and CS are more sensitive to initialization. In addition, under the condition of the same maximum number of function evaluations (FEs), the population size can also have a strong effect. Particle swarm optimization usually requires a larger population, while the cuckoo search needs only a small population size. Differential evolution depends more heavily on the number of iterations, a relatively small population with more iterations can lead to better results. Furthermore, ABC is more sensitive to initialization, while such initialization has little effect on GA. Some probability distributions such as the beta distribution, exponential distribution and Rayleigh distribution can usually lead to better performance. The implications of this study and further research topics are also discussed in detail.


title: The relative Hodge-Tate spectral sequence -- an overview

abstract: We give in this note an overview of a recent work leading to a generalization of the Hodge-Tate spectral sequence to morphisms. The latter takes place in Faltings topos, but its construction requires the introduction of a relative variant of this topos which is the main novelty of our work.


title: The Game of Cops and Eternal Robbers

abstract: We introduce the game of Cops and Eternal Robbers played on graphs, where there are infinitely many robbers that appear sequentially over distinct plays of the game. A positive integer $t$ is fixed, and the cops are required to capture the robber in at most $t$ time-steps in each play. The associated optimization parameter is the eternal cop number, denoted by $c_t^{\infty},$ which equals the eternal domination number in the case $t=1,$ and the cop number for sufficiently large $t.$ We study the complexity of Cops and Eternal Robbers, and show that game is NP-hard when $t$ is a fixed constant and EXPTIME-complete for large values of $t$. We determine precise values of $c_t^{\infty}$ for paths and cycles. The eternal cop number is studied for retracts, and this approach is applied to give bounds for trees, as well as for strong and Cartesian grids.


title: Real-World Airline Crew Pairing Optimization: Customized Genetic Algorithm versus Column Generation Method

abstract: Airline crew pairing optimization problem (CPOP) aims to find a set of flight sequences (crew pairings) that cover all flights in an airline's highly constrained flight schedule at minimum cost. Since crew cost is second only to the fuel cost, CPOP solutioning is critically important for an airline. However, CPOP is NP-hard, and tackling it is quite challenging. The literature suggests, that when the CPOP's scale and complexity is reasonably limited, and an enumeration of all crew pairings is possible, then Metaheuristics are used, predominantly Genetic Algorithms (GAs). Else, Column Generation (CG) based Mixed Integer Programming techniques are used. Notably, as per the literature, a maximum of 45,000 crew pairings have been tackled by GAs. In a significant departure, this paper considers over 800 flights of a US-based large airline (with a monthly network of over 33,000 flights), and tests the efficacy of GAs by enumerating all 400,000+ crew pairings, apriori. Towards it, this paper proposes a domain-knowledge-driven customized-GA. The utility of incorporating domain-knowledge in GA operations, particularly initialization and crossover, is highlighted through suitable experiments. Finally, the proposed GA's performance is compared with a CG-based approach (developed in-house by the authors). Though the latter is found to perform better in terms of solution's cost-quality and run time, it is hoped that this paper will help in better understanding the strengths and limitations of domain-knowledge-driven customizations in GAs, for solving combinatorial optimization problems, including CPOPs.


title: Bayesian Particles on Cyclic Graphs

abstract: We consider the problem of designing synthetic cells to achieve a complex goal (e.g., mimicking the immune system by seeking invaders) in a complex environment (e.g., the circulatory system), where they might have to change their control policy, communicate with each other, and deal with stochasticity including false positives and negatives---all with minimal capabilities and only a few bits of memory. We simulate the immune response using cyclic, maze-like environments and use targets at unknown locations to represent invading cells. Using only a few bits of memory, the synthetic cells are programmed to perform a reinforcement learning-type algorithm with which they update their control policy based on randomized encounters with other cells. As the synthetic cells work together to find the target, their interactions as an ensemble function as a physical implementation of a Bayesian update. That is, the particles act as a particle filter. This result provides formal properties about the behavior of the synthetic cell ensemble that can be used to ensure robustness and safety. This method of simplified reinforcement learning is evaluated in simulations, and applied to an actual model of the human circulatory system.


title: Towards Green Computing: A Survey of Performance and Energy Efficiency of Different Platforms using OpenCL

abstract: When considering different hardware platforms, not just the time-to-solution can be of importance but also the energy necessary to reach it. This is not only the case with battery powered and mobile devices but also with high-performance parallel cluster systems due to financial and practical limits on power consumption and cooling. Recent developments in hard- and software have given programmers the ability to run the same code on a range of different devices giving rise to the concept of heterogeneous computing. Many of these devices are optimized for certain types of applications. To showcase the differences and give a basic outlook on the applicability of different architectures for specific problems, the cross-platform OpenCL framework was used to compare both time- and energy-to-solution. A large set of devices ranging from ARM processors to server CPUs and consumer and enterprise level GPUs has been used with different benchmarking testcases taken from applied research applications. While the results show the overall advantages of GPUs in terms of both runtime and energy efficiency compared to CPUs, ARM devices show potential for certain applications in massively parallel systems. This study also highlights how OpenCL enables the use of the same codebase on many different systems and hardware platforms without specific code adaptations.