title: Finite Symmetries of surfaces of $p$-groups of co-class 1

abstract: The genus spectrum of a finite group $G$ is a set of integers $g \geq 2$ such that $G$ acts on a closed orientable compact surface $\Sigma_g$ of genus $g$ preserving the orientation. In this paper we complete the study of spectrum sets of finite $p$-groups of co-class $1$, where $p$ is an odd prime. As a consequence we prove that given an order $p^n$ and exponent $p^e$, there are at the most eight genus spectrum despite the infinite growth of their isomorphism types along $(n,e)$. Based on these results we also classify these groups which has unique stable upper genus $\sigma_e(p^e) - p^e$, where $\sigma_e(p)$ is a constant that depends on $p$ and $e$.


title: Search for a light CP-odd Higgs boson and low-mass dark matter at the Belle experiment

abstract: We report on the first Belle search for a light CP-odd Higgs boson, $A^{0}$, that decays into low mass dark matter, $\chi$, in final states with a single photon and missing energy. We search for events produced via the dipion transition $\Upsilon(\textrm{2S})\rightarrow\Upsilon(\textrm{1S})\pi^{+}\pi^{-}$, followed by the on-shell process $\Upsilon(\textrm{1S})\rightarrow\gamma A^{0}$ with $A^{0} \rightarrow\chi\chi$, or by the off-shell process $\Upsilon(\textrm{1S})\rightarrow\gamma\chi\chi$. Utilizing a data sample of 157.3 $\times$ 10$^{6}$ $\Upsilon(\textrm{2S})$ decays, we find no evidence for a signal. We set limits on the branching fractions of such processes in the mass ranges $M_{A^{0}} <$ 8.97 $\textrm{GeV/}\textit{c}^{2}$ and $M_{\chi} <$ 4.44 $\textrm{GeV/}\textit{c}^{2}$. We then use the limits on the off-shell process to set competitive limits on WIMP-nucleon scattering in the WIMP mass range below 5 $\textrm{GeV/}\textit{c}^{2}$.


title: A sample of 1959 massive galaxy clusters at high redshifts

abstract: We identify a sample of 1959 massive clusters of galaxies in the redshift range of 0.7<z<1.0 from the survey data of Sloan Digital Sky Survey (SDSS) and Wide-field Infrared Survey Explorer (WISE). These clusters are recognized as the overdensity regions around the SDSS luminous red galaxies, having a richness greater than 15 or an equivalent mass M_{500} \ge 2.5*10^{14}M_{\odot}. Among them, 1505 clusters are identified for the first time, which significantly enlarge the number of high-redshift clusters of z>0.75. By comparing them with clusters at lower redshifts, we confirm that richer clusters host more luminous brightest cluster galaxies (BCGs) also at high redshifts, and that the fraction of blue galaxies is larger in clusters at higher redshifts. A small fraction of BCGs show ongoing star formation or active nuclei. The number density profile of member galaxies in stacked samples of clusters shows no significant redshift evolution.


title: Automatic Debiased Machine Learning of Causal and Structural Effects

abstract: Many causal and structural effects depend on regressions. Examples include policy effects, average derivatives, regression decompositions, average treatment effects, causal mediation, and parameters of economic structural models. The regressions may be high dimensional, making machine learning useful. Plugging machine learners into identifying equations can lead to poor inference due to bias from regularization and/or model selection. This paper gives automatic debiasing for linear and nonlinear functions of regressions. The debiasing is automatic in using Lasso and the function of interest without the full form of the bias correction. The debiasing can be applied to any regression learner, including neural nets, random forests, Lasso, boosting, and other high dimensional methods. In addition to providing the bias correction we give standard errors that are robust to misspecification, convergence rates for the bias correction, and primitive conditions for asymptotic inference for estimators of a variety of estimators of structural and causal effects. The automatic debiased machine learning is used to estimate the average treatment effect on the treated for the NSW job training data and to estimate demand elasticities from Nielsen scanner data while allowing preferences to be correlated with prices and income.


title: A Variational Observation Model of 3D Object for Probabilistic Semantic SLAM

abstract: We present a Bayesian object observation model for complete probabilistic semantic SLAM. Recent studies on object detection and feature extraction have become important for scene understanding and 3D mapping. However, 3D shape of the object is too complex to formulate the probabilistic observation model; therefore, performing the Bayesian inference of the object-oriented features as well as their pose is less considered. Besides, when the robot equipped with an RGB mono camera only observes the projected single view of an object, a significant amount of the 3D shape information is abandoned. Due to these limitations, semantic SLAM and viewpoint-independent loop closure using volumetric 3D object shape is challenging. In order to enable the complete formulation of probabilistic semantic SLAM, we approximate the observation model of a 3D object with a tractable distribution. We also estimate the variational likelihood from the 2D image of the object to exploit its observed single view. In order to evaluate the proposed method, we perform pose and feature estimation, and demonstrate that the automatic loop closure works seamlessly without additional loop detector in various environments.


title: Explicit bounds on exceptional zeroes of Dirichlet $L$-functions

abstract: The aim of this paper is to improve the upper bound for the exceptional zeroes $\beta_0$ of Dirichlet $L$-functions. We do this by improving on explicit estimate for $L'(\sigma, \chi)$ for $\sigma$ close to unity.


title: Branched covering surface-knots with degree three have the simplifying numbers less than three

abstract: A branched covering surface-knot is a surface-knot in the form of a branched covering over a surface-knot. For a branched covering surface-knot, we have a numerical invariant called the simplifying number. We show that branched covering surface-knots with degree three have the simplifying numbers less than three.


title: Probabilistic Optimal Power Flow Considering Correlation of Wind Farms via Markov Chain Quasi-Monte Carlo Sampling

abstract: The probabilistic characteristics of daily wind speed are not well captured by simple density functions such as Normal or Weibull distribuions as suggested by the existing literature. The unmodeled uncertainties can cause unknown influences on the power system operation. In this paper, we develop a new stochastic scheme for the probabilistic optimal power flow (POPF) problem, which can cope with arbitrarily complex wind speed distributions and also take into account the correlation of different wind farms. A multivariate Gaussian mixture model (GMM) is employed to approximate actual wind speed distributions from multiple wind farms. Furthermore, we propose to adopt the Markov Chain Monte Carlo (MCMC) sampling technique to deliver wind speed samples as the input of POPF. We also novelly integrate a Sobol-based quasi-Monte Carlo (QMC) technique into the MCMC sampling process to obtain a faster convergence rate. The IEEE 14- and 118-bus benchmark systems with additional wind farms are used to examine the effectiveness of the proposed POPF scheme.


title: Future developments in cyber risk assessment for the internet of things

abstract: This article is focused on the economic impact assessment of Internet of Things (IoT) and its associated cyber risks vectors and vertices - a reinterpretation of IoT verticals. We adapt to IoT both the Cyber Value at Risk model, a well-established model for measuring the maximum possible loss over a given time period, and the MicroMort model, a widely used model for predicting uncertainty through units of mortality risk. The resulting new IoT MicroMort for calculating IoT risk is tested and validated with real data from the BullGuard's IoT Scanner - over 310,000 scans - and the Garner report on IoT connected devices. Two calculations are developed, the current state of IoT cyber risk and the future forecasts of IoT cyber risk. Our work therefore advances the efforts of integrating cyber risk impact assessments and offer a better understanding of economic impact assessment for IoT cyber risk.


title: On Generalized Ordered Sets: A constructive development

abstract: We propose a notion of a generalized order, which can be used for the notion of a strict partial order. We introduce a weak order to replace the usual weak order defined from a strict partial order. In a constructive setting, that usual weak order causes problems on the real numbers because their strict order cannot be proved to be trichotomous.


title: VoxelMorph: A Learning Framework for Deformable Medical Image Registration

abstract: We present VoxelMorph, a fast learning-based framework for deformable, pairwise medical image registration. Traditional registration methods optimize an objective function for each pair of images, which can be time-consuming for large datasets or rich deformation models. In contrast to this approach, and building on recent learning-based methods, we formulate registration as a function that maps an input image pair to a deformation field that aligns these images. We parameterize the function via a convolutional neural network (CNN), and optimize the parameters of the neural network on a set of images. Given a new pair of scans, VoxelMorph rapidly computes a deformation field by directly evaluating the function. In this work, we explore two different training strategies. In the first (unsupervised) setting, we train the model to maximize standard image matching objective functions that are based on the image intensities. In the second setting, we leverage auxiliary segmentations available in the training data. We demonstrate that the unsupervised model's accuracy is comparable to state-of-the-art methods, while operating orders of magnitude faster. We also show that VoxelMorph trained with auxiliary data improves registration accuracy at test time, and evaluate the effect of training set size on registration. Our method promises to speed up medical image analysis and processing pipelines, while facilitating novel directions in learning-based registration and its applications. Our code is freely available at voxelmorph.csail.mit.edu.


title: Optimal Power Flow for AC/DC System Based on Cooperative Multi-objective Particle Swarm Optimization

abstract: In order to unifiedly coordinate economy and voltage deviations, a novel multi-objective optimal power flow (MOPF) algorithm is proposed for an AC/DC system with VSC-HVDC based on cooperative multi-objective particle swarm optimization (CMOPSO). In order to minimize power generation costs and voltage deviations, the MOPF model of the AC/DC system is firstly built based on the VSC-HVDC steady-state model. Then, the CMOPSO is adopted for solving the MOPF model to find well-distributed Pareto-optimal solutions. Next, the solutions are divided into different groups via the fuzzy C-means algorithm, and finally the best compromise solutions reflecting decision-makers' different preferences are identified from each group by comparing the priority memberships which are calculated by using the grey relation projection method. The validity of the proposed approach is verified by using the modified IEEE 14-bus and 118- bus systems.


title: Unsupervised Abstractive Sentence Summarization using Length Controlled Variational Autoencoder

abstract: In this work we present an unsupervised approach to summarize sentences in abstractive way using Variational Autoencoder (VAE). VAE are known to learn a semantically rich latent variable, representing high dimensional input. VAEs are trained by learning to reconstruct the input from the probabilistic latent variable. Explicitly providing the information about output length during training influences the VAE to not encode this information and thus can be manipulated during inference. Instructing the decoder to produce a shorter output sequence leads to expressing the input sentence with fewer words. We show on different summarization data sets, that these shorter sentences can not beat a simple baseline but yield higher ROUGE scores than trying to reconstruct the whole sentence.


title: In-Route Task Selection in Crowdsourcing

abstract: One important problem in crowdsourcing is that of assigning tasks to workers. We consider a scenario where a worker is traveling on a preferred/typical path (e.g., from school to home) and there is a set of tasks available to be performed. Furthermore, we assume that: each task yields a positive reward, the worker has the skills necessary to perform all available tasks and he/she is willing to possibly deviate from his/her preferred path as long as he/she travels at most a total given distance/time. We call this problem the In-Route Task Selection (IRTS) problem and investigate it using the skyline paradigm in order to obtain the exact set of non-dominated solutions, i.e., good and diverse solutions yielding different combinations of smaller or larger rewards while traveling more or less. This is a practically relevant problem as it empowers the worker as he/she can decide, in real time, which tasks suit his/her needs and/or availability better. After showing that the IRTS problem is NP-hard, we propose an exact (but expensive) solution and a few others practical heuristic solutions. While the exact solution is suitable only for reasonably small IRTS instances, the heuristic solutions can produce solutions with good values of precision and recall for problems of realistic sizes within practical, in fact most often sub-second, query processing time.


title: Evaluating Certificate Policy - Certification Practice Statement of Unique Government Certification Authority using Public Key Infrastructure Assessment Guidelines: Research in Progress

abstract: OSD PSE is the Indonesian Government Certification Authority (CA) for National e-Procurement System and later named OSD PSE G2. It has a unique hierarchical structure under the OSD Lemsaneg. As an Issuing CA, the OSD PSE G2 publishes and guarantee the quality of the Certificate Policy and Certification Practice Statement (CP-CPS) in order to gain the PKI user trustworthy. In this article, we analyze the CP-CPS version 1.0 that published by OSD PSE G2. For this purpose, we apply the methodology of PKI Assessment Guidelines (PAG). The quality assessment of this CP-CPS, including its compliance to the related reference/standard, namely: CP OSD Lemsaneg v.1.1; RFC 3647; and CA Business Practice Disclosure Principle on Trust Service Principles and Criteria for Certification Authorities (BPDP-TSPCCA) version 2.0. We finally found that the CP-CPS version 1.0 does not comply with related standard and reference. Hence, the CP-CPS need to be updated following the current condition of OSD PSE G2.


title: A class of non-weight modules over the Schr\"{o}dinger-Virasoro algebras

abstract: We construct and classify the free $U(\mathbb{C}L_0\oplus \mathbb{C}M_0\oplus\mathbb{C}Y_0)$-modules of rank $1$ over the Schr\"{o}dinger-Virasoro algebra $\mathfrak{sv}(s)$ for $s=0$.Moreover, we show that the class of free $U(\mathbb{C}L_0\oplus\mathbb{C}M_0)$-modules of rank $1$ over the Schr\"{o}dinger-Virasoro algebra $\mathfrak{sv}(s)$ for $s=\frac{1}{2}$ is nonexistent.


title: Spin Readout Techniques of the Nitrogen-Vacancy Center in Diamond

abstract: The diamond nitrogen-vacancy (NV) center is a leading platform for quantum information science due to its optical addressability and room-temperature spin coherence. However, measurements of the NV center's spin state typically require averaging over many cycles to overcome noise. Here, we review several approaches to improve the readout performance and highlight future avenues of research that could enable single-shot electron-spin readout at room temperature.


title: S-Mbank: Secure Mobile Banking Authentication Scheme Using Signcryption, Pair Based Text Authentication, and Contactless Smartcard

abstract: Nowadays, mobile banking becomes a popular tool which consumers can conduct financial transactions such as shopping, monitoring accounts balance, transferring funds and other payments. Consumers dependency on mobile needs, make people take a little bit more interest in mobile banking. The use of the one-time password which is sent to the user mobile phone by short message service (SMS) is a vulnerability which we want to solve with proposing a new scheme called S-Mbank. We replace the authentication using the one-time password with the contactless smart card to prevent attackers to use the unencrypted message which is sent to the user's mobile phone. Moreover, it deals vulnerability of spoofer to send an SMS pretending as a bank's server. The contactless smart card is proposed because of its flexibility and security which easier to bring in our wallet than the common passcode generators. The replacement of SMS-based authentication with contactless smart card removes the vulnerability of unauthorized users to act as a legitimate user to exploit the mobile banking user's account. Besides that, we use public-private key pair and PIN to provide two factors authentication and mutual authentication. We use signcryption scheme to provide the efficiency of the computation. Pair based text authentication is also proposed for the login process as a solution to shoulder-surfing attack. We use Scyther tool to analyze the security of authentication protocol in S-Mbank scheme. From the proposed scheme, we are able to provide more security protection for mobile banking service.


title: Follow Me at the Edge: Mobility-Aware Dynamic Service Placement for Mobile Edge Computing

abstract: Mobile edge computing is a new computing paradigm, which pushes cloud computing capabilities away from the centralized cloud to the network edge. However, with the sinking of computing capabilities, the new challenge incurred by user mobility arises: since end-users typically move erratically, the services should be dynamically migrated among multiple edges to maintain the service performance, i.e., user-perceived latency. Tackling this problem is non-trivial since frequent service migration would greatly increase the operational cost. To address this challenge in terms of the performance-cost trade-off, in this paper we study the mobile edge service performance optimization problem under long-term cost budget constraint. To address user mobility which is typically unpredictable, we apply Lyapunov optimization to decompose the long-term optimization problem into a series of real-time optimization problems which do not require a priori knowledge such as user mobility. As the decomposed problem is NP-hard, we first design an approximation algorithm based on Markov approximation to seek a near-optimal solution. To make our solution scalable and amenable to future 5G application scenario with large-scale user devices, we further propose a distributed approximation scheme with greatly reduced time complexity, based on the technique of best response update. Rigorous theoretical analysis and extensive evaluations demonstrate the efficacy of the proposed centralized and distributed schemes.


title: Universal scaling behavior of the upper critical field in strained FeSe0.7Te0.3 thin films

abstract: Revealing the universal behaviors of iron-based superconductors (FBS) is important to elucidate the microscopic theory of superconductivity. In this work, we investigate the effect of in-plane strain on the slope of the upper critical field Hc2 at the superconducting transition temperature Tc (i.e. -dHc2/dT) for FeSe0.7Te0.3 thin films. The in-plane strain tunes Tc in a broad range, while the composition and disorder are almost unchanged. We show that -dHc2/dT scales linearly with Tc, indicating that FeSe0.7Te0.3 follows the same universal behavior as observed for pnictide FBS. The observed behavior is consistent with a multiband superconductivity paired by interband interaction such as sign change s+- superconductivity.


title: Graph Pattern Mining and Learning through User-defined Relations (Extended Version)

abstract: In this work we propose R-GPM, a parallel computing framework for graph pattern mining (GPM) through a user-defined subgraph relation. More specifically, we enable the computation of statistics of patterns through their subgraph classes, generalizing traditional GPM methods. R-GPM provides efficient estimators for these statistics by employing a MCMC sampling algorithm combined with several optimizations. We provide both theoretical guarantees and empirical evaluations of our estimators in application scenarios such as stochastic optimization of deep high-order graph neural network models and pattern (motif) counting. We also propose and evaluate optimizations that enable improvements of our estimators accuracy, while reducing their computational costs in up to 3-orders-of-magnitude. Finally,we show that R-GPM is scalable, providing near-linear speedups on 44 cores in all of our tests.


title: Neural Network Topologies for Sparse Training

abstract: The sizes of deep neural networks (DNNs) are rapidly outgrowing the capacity of hardware to store and train them. Research over the past few decades has explored the prospect of sparsifying DNNs before, during, and after training by pruning edges from the underlying topology. The resulting neural network is known as a sparse neural network. More recent work has demonstrated the remarkable result that certain sparse DNNs can train to the same precision as dense DNNs at lower runtime and storage cost. An intriguing class of these sparse DNNs is the X-Nets, which are initialized and trained upon a sparse topology with neither reference to a parent dense DNN nor subsequent pruning. We present an algorithm that deterministically generates sparse DNN topologies that, as a whole, are much more diverse than X-Net topologies, while preserving X-Nets' desired characteristics.


title: Random Fixed Points, Limits and Systemic risk

abstract: We consider vector fixed point (FP) equations in large dimensional spaces involving random variables, and study their realization-wise solutions. We have an underlying directed random graph, that defines the connections between various components of the FP equations. Existence of an edge between nodes i, j implies the i th FP equation depends on the j th component. We consider a special case where any component of the FP equation depends upon an appropriate aggregate of that of the random neighbor components. We obtain finite dimensional limit FP equations (in a much smaller dimensional space), whose solutions approximate the solution of the random FP equations for almost all realizations, in the asymptotic limit (number of components increase). Our techniques are different from the traditional mean-field methods, which deal with stochastic FP equations in the space of distributions to describe the stationary distributions of the systems. In contrast our focus is on realization-wise FP solutions. We apply the results to study systemic risk in a large financial heterogeneous network with many small institutions and one big institution, and demonstrate some interesting phenomenon.


title: The Three Hundred Project: The influence of environment on simulated galaxy properties

abstract: The relationship between galaxy properties and environment is a widely discussed topic within astrophysics. Here we use galaxy samples from hydrodynamical re-simulations to examine this relationship. We use the over-density ($\delta_1$) within a $1 h^{-1}{\rm Mpc}$ sphere around a galaxy to evaluate its environment. Then the relations between galaxy properties, such as specific star formation rate(sSFR), fraction of star forming galaxies, $g-r$ colour and $\delta_1$ are examined within three galactic samples formed from galaxies within large clusters, those in the vicinity of large clusters and those in the field. We find tight environmental correlations for these galaxy properties. In brief, galaxies in denser environments tend to be redder and are more likely to be quenched. This is consistent with observations. We find that although the sSFR decreases with $\delta_1$, this is mainly because that galaxies with higher stellar mass reside in environment with higher overdensity. At fixed over-density a galaxy's color is also independent of whether it lives within a cluster or within the field, but the relative fractions of the two samples varies dramatically with over-density and this drives an apparent evolution.


title: Distributed and Efficient Resource Balancing Among Many Suppliers and Consumers

abstract: Achieving a balance of supply and demand in a multi-agent system with many individual self-interested and rational agents that act as suppliers and consumers is a natural problem in a variety of real-life domains---smart power grids, data centers, and others. In this paper, we address the profit-maximization problem for a group of distributed supplier and consumer agents, with no inter-agent communication. We simulate a scenario of a market with $S$ suppliers and $C$ consumers such that at every instant, each supplier agent supplies a certain quantity and simultaneously, each consumer agent consumes a certain quantity. The information about the total amount supplied and consumed is only kept with the center. The proposed algorithm is a combination of the classical additive-increase multiplicative-decrease (AIMD) algorithm in conjunction with a probabilistic rule for the agents to respond to a capacity signal. This leads to a nonhomogeneous Markov chain and we show almost sure convergence of this chain to the social optimum, for our market of distributed supplier and consumer agents. Employing this AIMD-type algorithm, the center sends a feedback message to the agents in the supplier side if there is a scenario of excess supply, or to the consumer agents if there is excess consumption. Each agent has a concave utility function whose derivative tends to 0 when an optimum quantity is supplied/consumed. Hence when social convergence is reached, each agent supplies or consumes a quantity which leads to its individual maximum profit, without the need of any communication. So eventually, each agent supplies or consumes a quantity which leads to its individual maximum profit, without communicating with any other agents. Our simulations show the efficacy of this approach.


title: Light-dressed states under intense optical near fields

abstract: We studied the excitation dynamics of a finite quantum system with an intense optical near field (ONF) from a perspective of light-dressed states. A simple model consisting of a single electron and a nano-sized short dipole source were employed. By calculating the time-dependent wave function subjected to the ONF, we demonstrated that the optical responses involved not only the first- and third-order but also the second-, fourth-order harmonic generations that were not obtained from conventional spatially homogeneous laser fields. In order to elucidate the origins of the exotic high-order harmonic generations, the dressed states altered by the ONF were explored. The result showed that the spatial distribution of the dressed states were significantly influenced by the ONF, making forbidden optical transitions to be allowed by parity breaking. This was caused by the spatial inhomogeneousness of the ONF, specifically its asymmetry, that was inherited to the dressed states.


title: Revisiting Random Binning Features: Fast Convergence and Strong Parallelizability

abstract: Kernel method has been developed as one of the standard approaches for nonlinear learning, which however, does not scale to large data set due to its quadratic complexity in the number of samples. A number of kernel approximation methods have thus been proposed in the recent years, among which the random features method gains much popularity due to its simplicity and direct reduction of nonlinear problem to a linear one. The Random Binning (RB) feature, proposed in the first random-feature paper \cite{rahimi2007random}, has drawn much less attention than the Random Fourier (RF) feature. In this work, we observe that the RB features, with right choice of optimization solver, could be orders-of-magnitude more efficient than other random features and kernel approximation methods under the same requirement of accuracy. We thus propose the first analysis of RB from the perspective of optimization, which by interpreting RB as a Randomized Block Coordinate Descent in the infinite-dimensional space, gives a faster convergence rate compared to that of other random features. In particular, we show that by drawing $R$ random grids with at least $\kappa$ number of non-empty bins per grid in expectation, RB method achieves a convergence rate of $O(1/(\kappa R))$, which not only sharpens its $O(1/\sqrt{R})$ rate from Monte Carlo analysis, but also shows a $\kappa$ times speedup over other random features under the same analysis framework. In addition, we demonstrate another advantage of RB in the L1-regularized setting, where unlike other random features, a RB-based Coordinate Descent solver can be parallelized with guaranteed speedup proportional to $\kappa$. Our extensive experiments demonstrate the superior performance of the RB features over other random features and kernel approximation methods. Our code and data is available at { \url{https://github.com/teddylfwu/RB_GEN}}.


title: Manipulate elastic waves with conventional isotropic materials

abstract: Transformation methods have stimulated many interesting applications of manipulating electromagnetic and acoustic waves by using metamaterials, such as super-lens imaging and cloaking. These successes are mainly due to the form-invariant property of the Maxwell equations and acoustic equations. However, the similar progress in manipulating elastic waves is very slow, because the elastodynamic equations are not form-invariant. Here we show that the expression of the elastodynamic potential energy can almost retain its form after conformal mapping, if the longitudinal wave velocity is much larger than the transverse wave velocity, or if the wavelength can be shortened by converting the waves into surface modes. Based on these findings, it is possible to design and fabricate novel devices with ease to manipulate elastic waves at will. One example presented in this paper is an efficient vibration isolator, which contain a 180-degree wave bender made of conventional rubbers. Compared with a conventional isolator of the same shape, similar static support stiffness and smaller damping ratio, this isolator can further reduce wave transmissions by up to 39.9dB in the range of 483 to 1800 Hz in the experiment.


title: A General Framework for Bounding Approximate Dynamic Programming Schemes

abstract: For years, there has been interest in approximation methods for solving dynamic programming problems, because of the inherent complexity in computing optimal solutions characterized by Bellman's principle of optimality. A wide range of approximate dynamic programming (ADP) methods now exists. It is of great interest to guarantee that the performance of an ADP scheme be at least some known fraction, say $\beta$, of optimal. This paper introduces a general approach to bounding the performance of ADP methods, in this sense, in the stochastic setting. The approach is based on new results for bounding greedy solutions in string optimization problems, where one has to choose a string (ordered set) of actions to maximize an objective function. This bounding technique is inspired by submodularity theory, but submodularity is not required for establishing bounds. Instead, the bounding is based on quantifying certain notions of curvature of string functions; the smaller the curvatures the better the bound. The key insight is that any ADP scheme is a greedy scheme for some surrogate string objective function that coincides in its optimal solution and value with those of the original optimal control problem. The ADP scheme then yields to the bounding technique mentioned above, and the curvatures of the surrogate objective determine the value $\beta$ of the bound. The surrogate objective and its curvatures depend on the specific ADP.


title: Real-Time Nonparametric Anomaly Detection in High-Dimensional Settings

abstract: Timely detection of abrupt anomalies is crucial for real-time monitoring and security of modern systems producing high-dimensional data. With this goal, we propose effective and scalable algorithms. Proposed algorithms are nonparametric as both the nominal and anomalous multivariate data distributions are assumed unknown. We extract useful univariate summary statistics and perform anomaly detection in a single-dimensional space. We model anomalies as persistent outliers and propose to detect them via a cumulative sum-like algorithm. In case the observed data have a low intrinsic dimensionality, we learn a submanifold in which the nominal data are embedded and evaluate whether the sequentially acquired data persistently deviate from the nominal submanifold. Further, in the general case, we learn an acceptance region for nominal data via Geometric Entropy Minimization and evaluate whether the sequentially observed data persistently fall outside the acceptance region. We provide an asymptotic lower bound and an asymptotic approximation for the average false alarm period of the proposed algorithm. Moreover, we provide a sufficient condition to asymptotically guarantee that the decision statistic of the proposed algorithm does not diverge in the absence of anomalies. Experiments illustrate the effectiveness of the proposed schemes in quick and accurate anomaly detection in high-dimensional settings.


title: A subclass of harmonic univalent mappings with a restricted analytic part

abstract: In this article, a subclass of univalent harmonic mapping is introduced by restricting its analytic part to lie in the class $\mathcal{S}^{\delta}[\alpha]$, $0\leq \alpha < 1$, $-\infty < \delta < \infty$ which has been introduced and studied by Kumar \cite{Kumar87} (see also \cite{Mishra95}, \cite{MishraChoudhury95}, \cite{MishraDas96}, \cite{MishraGochhayat06}). Coefficient estimations, growth and distortion properties, area theorem and covering estimates of functions in the newly defined class have been established. Furthermore, we also found bounds for the Bloch's constant for all functions in that family.


title: CIMTDetect: A Community Infused Matrix-Tensor Coupled Factorization Based Method for Fake News Detection

abstract: Detecting whether a news article is fake or genuine is a crucial task in today's digital world where it's easy to create and spread a misleading news article. This is especially true of news stories shared on social media since they don't undergo any stringent journalistic checking associated with main stream media. Given the inherent human tendency to share information with their social connections at a mouse-click, fake news articles masquerading as real ones, tend to spread widely and virally. The presence of echo chambers (people sharing same beliefs) in social networks, only adds to this problem of wide-spread existence of fake news on social media. In this paper, we tackle the problem of fake news detection from social media by exploiting the very presence of echo chambers that exist within the social network of users to obtain an efficient and informative latent representation of the news article. By modeling the echo-chambers as closely-connected communities within the social network, we represent a news article as a 3-mode tensor of the structure - <News, User, Community> and propose a tensor factorization based method to encode the news article in a latent embedding space preserving the community structure. We also propose an extension of the above method, which jointly models the community and content information of the news article through a coupled matrix-tensor factorization framework. We empirically demonstrate the efficacy of our method for the task of Fake News Detection over two real-world datasets. Further, we validate the generalization of the resulting embeddings over two other auxiliary tasks, namely: \textbf{1)} News Cohort Analysis and \textbf{2)} Collaborative News Recommendation. Our proposed method outperforms appropriate baselines for both the tasks, establishing its generalization.


title: New constructions of Hadamard matrices

abstract: In this paper, we obtain a number of new infinite families of Hadamard matrices. Our constructions are based on four new constructions of difference families with four or eight blocks. By applying the Wallis-Whiteman array or the Kharaghani array to the difference families constructed, we obtain new Hadamard matrices of order $4(uv+1)$ for $u=2$ and $v\in \Phi_1\cup \Phi_2 \cup \Phi_3 \cup \Phi_4$; and for $u\in \{3,5\}$ and $v\in \Phi_1\cup \Phi_2 \cup \Phi_3$. Here, $\Phi_1=\{q^2:q\equiv 1\pmod{4}\mbox{ is a prime power}\}$, $\Phi_2=\{n^4\in \mathbb{N}:n\equiv 1\pmod{2}\} \cup \{9n^4\in \mathbb{N}:n\equiv 1\pmod{2}\}$, $\Phi_3=\{5\}$ and $\Phi_4=\{13,37\}$. Moreover, our construction also yields new Hadamard matrices of order $8(uv+1)$ for any $u\in \Phi_1\cup \Phi_2$ and $v\in \Phi_1\cup \Phi_2 \cup \Phi_3$.


title: Extended temporal association memory by inhibitory Hebbian learning

abstract: Hebbian learning of excitatory synapses plays a central role in storing activity patterns in associative memory models. Furthermore, interstimulus Hebbian learning associates multiple items in the brain by converting temporal correlation to spatial correlation between attractors. However, growing experimental evidence suggests that learning of inhibitory synapses creates "inhibitory engrams", which presumably balance with the patterns encoded in the excitatory network. Controlling inhibitory engrams may modify the behavior of associative memory in neural networks, but the consequence of such control has not been theoretically understood. Noting that Hebbian learning of inhibitory synapses yields an anti-Hebbian effect, we show that the combination of Hebbian and anti-Hebbian learning can increase the span of temporal association between the correlated attractors. The balance of targetted and global inhibition regulates this span of association in the network. Our results suggest a nontrivial role of anti-Hebbian learning and inhibitory engrams in associative memory.


title: SQL-to-Text Generation with Graph-to-Sequence Model

abstract: Previous work approaches the SQL-to-text generation task using vanilla Seq2Seq models, which may not fully capture the inherent graph-structured information in SQL query. In this paper, we first introduce a strategy to represent the SQL query as a directed graph and then employ a graph-to-sequence model to encode the global structure information into node embeddings. This model can effectively learn the correlation between the SQL query pattern and its interpretation. Experimental results on the WikiSQL dataset and Stackoverflow dataset show that our model significantly outperforms the Seq2Seq and Tree2Seq baselines, achieving the state-of-the-art performance.


title: Exceptional Points of Degeneracy in Periodic Coupled Waveguides and the Interplay of Gain and Radiation Loss: Theoretical and Experimental Demonstration

abstract: We present a novel paradigm for dispersion engineering in coupled transmission lines (CTLs) based on exceptional points of degeneracy (EPDs). We develop a theory for fourth-order EPDs consisting of four Floquet-Bloch eigenmodes coalescing into one degenerate eigenmode. We present unique wave propagation properties associated to the EPD and develop a figure of merit to assess the practical occurrence of fourth-order EPDs in CTLs with tolerances and losses. We experimentally verify for the first time the existence of a fourth EPD (the degenerate band edge), through dispersion and transmission measurements in microstrip-based CTLs at microwave frequencies. In addition, we report that based on experimental observation and the developed figure of merit, the EPD features are still observable in structures that radiate (leak energy away), even in the presence of fabrication tolerances and dissipative losses. We investigate the gain and loss balance regime in CTLs as a mean of recovering an EPD in the presence of radiation and/or dissipative losses, without necessarily resorting to Parity-Time (PT)-symmetry regimes. The versatile EPD concept is promising in applications such as high intensity and power-efficiency oscillators, spatial power combiners, or low-threshold oscillators and opens new frontiers for boosting the performance of large coherent sources.


title: Masses of the doubly heavy tetraquarks in a constituent quark model

abstract: We perform a constituent quark model analysis for the masses of the doubly heavy tetraquark states $T_{QQ}$ after we fix the parameters to fit the masses of the newly observed $\Xi_{cc}^{++}$ and hadrons involving heavy quarks relevant to the stability of these states. We investigate in detail how the relative distances between quark pairs vary as we change the quark content and how they affect the various contributions to the total tetraquark masses. We also find that our full calculations give in general less binding compared to simplified quark model calculations that treat quark dynamics inside the tetraquark the same as that inside a baryon. We trace the main origin to be the differences in the number of relative kinetic energies which increases as one goes from meson, baryon and tetraquarks. We also compare our new results with previous works using less constrained parameters and find that the tetraquark state $T_{bb}(ud\bar{b}\bar{b})$ and $T_{bb}(us\bar{b}\bar{b})$ are bound by 120.56 MeV and 7.3 MeV respectively.


title: Online Cyber-Attack Detection in Smart Grid: A Reinforcement Learning Approach

abstract: Early detection of cyber-attacks is crucial for a safe and reliable operation of the smart grid. In the literature, outlier detection schemes making sample-by-sample decisions and online detection schemes requiring perfect attack models have been proposed. In this paper, we formulate the online attack/anomaly detection problem as a partially observable Markov decision process (POMDP) problem and propose a universal robust online detection algorithm using the framework of model-free reinforcement learning (RL) for POMDPs. Numerical studies illustrate the effectiveness of the proposed RL-based algorithm in timely and accurate detection of cyber-attacks targeting the smart grid.


title: Random Warping Series: A Random Features Method for Time-Series Embedding

abstract: Time series data analytics has been a problem of substantial interests for decades, and Dynamic Time Warping (DTW) has been the most widely adopted technique to measure dissimilarity between time series. A number of global-alignment kernels have since been proposed in the spirit of DTW to extend its use to kernel-based estimation method such as support vector machine. However, those kernels suffer from diagonal dominance of the Gram matrix and a quadratic complexity w.r.t. the sample size. In this work, we study a family of alignment-aware positive definite (p.d.) kernels, with its feature embedding given by a distribution of \emph{Random Warping Series (RWS)}. The proposed kernel does not suffer from the issue of diagonal dominance while naturally enjoys a \emph{Random Features} (RF) approximation, which reduces the computational complexity of existing DTW-based techniques from quadratic to linear in terms of both the number and the length of time-series. We also study the convergence of the RF approximation for the domain of time series of unbounded length. Our extensive experiments on 16 benchmark datasets demonstrate that RWS outperforms or matches state-of-the-art classification and clustering methods in both accuracy and computational time. Our code and data is available at { \url{https://github.com/IBM/RandomWarpingSeries}}.


title: Sharp conditions for the existence of an even $[a,b]$-factor in a graph

abstract: Let $a$ and $b$ be positive integers. An even $[a,b]$-factor of a graph $G$ is a spanning subgraph $H$ such that for every vertex $v \in V(G)$, $d_H(v)$ is even and $a \le d_H(v) \le b$. Matsuda conjectured that if $G$ is an $n$-vertex 2-edge-connected graph such that $n \ge 2a+b+\frac{a^2-3a}b - 2$, $\delta(G) \ge a$, and $\sigma_2(G) \ge \frac{2an}{a+b}$, then $G$ has an even $[a,b]$-factor. In this paper, we provide counterexamples, which are highly connected. Furthermore, we give sharp sufficient conditions for a graph to have an even $[a,b]$-factor. For even $an$, we conjecture a lower bound for $\lambda_1(G)$ in an $n$-vertex graph to have an $[a,b]$-factor, where $\lambda_1(G)$ is the largest eigenvalue of $G$.


title: Purity and flatness in symmetric monoidal closed exact categories

abstract: Let A be a symmetric monoidal closed exact category. This category is a natural framework to define the notions of purity and flatness. We show that an object F in A is flat if and only if any conflation ending in F is pure. Furthermore, we prove a generalization of the Lambek Theorem ([La64]) in A. In the case A is a quasi-abelian category, we prove that A has enough pure injective objects.


title: Network Recasting: A Universal Method for Network Architecture Transformation

abstract: This paper proposes network recasting as a general method for network architecture transformation. The primary goal of this method is to accelerate the inference process through the transformation, but there can be many other practical applications. The method is based on block-wise recasting; it recasts each source block in a pre-trained teacher network to a target block in a student network. For the recasting, a target block is trained such that its output activation approximates that of the source block. Such a block-by-block recasting in a sequential manner transforms the network architecture while preserving the accuracy. This method can be used to transform an arbitrary teacher network type to an arbitrary student network type. It can even generate a mixed-architecture network that consists of two or more types of block. The network recasting can generate a network with fewer parameters and/or activations, which reduce the inference time significantly. Naturally, it can be used for network compression by recasting a trained network into a smaller network of the same type. Our experiments show that it outperforms previous compression approaches in terms of actual speedup on a GPU.


title: Anomalous Nernst effect on a magnetically-doped topological insulator surface: A Green's function approach

abstract: By generalizing the Kubo-Streda formula for calculating electrical conductivities to the thermoelectric coefficients, we theoretically study the anomalous Nernst effect (ANE) on the surface of a topological insulator induced by a finite concentration of magnetic impurities. The ANE is found to be modulated by the impurity scattering and thermal fluctuations, simultaneously, and so exhibits rich structures in the energy space. While the anomalous Hall conductivity is half-integer quantized with the Fermi level across the magnetic-impurity-induced gap, the anomalous Nernst signal (ANS) is fully suppressed and the thermopower is linear-dependent on the Fermi energy. Around the magnetic-impurity-induced localized levels, the ANS and thermopower are resonant enhanced. The suppression and enhancement of the thermoelectric coefficients will compete with each other as the magnetic impurity potential increases continually. More interestingly, when a finite charge potential is included, the resonant peaks of the ANS and thermopower will be renormalized, making the signs of the ANS and thermopower tunable by the strength of the charge potential.


title: Strong Coupling Theory of Superconductivity

abstract: The electronic properties of correlated metals with a strong electron-phonon coupling may be understood in terms of a combination of Landau's Fermi-liquid theory and the strong-coupling theory of Migdal and Eliashberg. In these lecture notes we discuss the microscopic foundations of this phenomenological Fermi-liquid model of correlated, strong-coupling metals. We formulate the basic equations of the model, which are quasiclassical transport equations that describe both equilibrium and non-equilibrium phenomena for the normal and superconducting states of a metal. Our emphasis is on superconductors close to equilibrium, for which we derive the general linear response theory. As an application we calculate the dynamical conductivity of strong-coupling superconductors.


title: The degrees, number of edges, spectral radius and weakly Hamilton-connectedness of bipartite graphs

abstract: A path of a graph $G$ is called a Hamilton path if it passes through all the vertices of $G$. A graph is Hamilton-connected if any two vertices are connected by a Hamilton path. Note that any bipartite graph is not Hamilton-connected. We consider the weak version of Hamilton-connected property among bipartite graphs. A weakly Hamilton-connected graph is a balanced bipartite graph $G=(X,Y,E)$ that there is a Hamilton path between any vertex $x\in X$ and $y\in Y$. In this paper, we present some degrees, number of edges, and spectral radius conditions for a simple balanced bipartite graph to be weakly Hamilton-connected.


title: Linear-and-quadratic reservoir engineering of non-Gaussian states

abstract: We study the dissipative preparation of pure non-Gaussian states of a target mode which is coupled both linearly and quadratically to an auxiliary damped mode. We show that any pure state achieved independently of the initial condition is either (i) a cubic phase state, namely a state given by the action of a non-Gaussian (cubic) unitary on a squeezed vacuum or (ii) a (squeezed and displaced) finite superposition of Fock states. Which of the two states is realized depends on whether the transformation induced by the engineered reservoir on the target mode is canonical (i) or not (ii). We discuss how to prepare these states in an optomechanical cavity driven with multiple control lasers, by tuning the relative strengths and phases of the drives. Relevant examples in (ii) include the stabilization of mechanical Schr\"odinger cat-like states or Fock-like states of any order. Our analysis is entirely analytical, it extends reservoir engineering to the non-Gaussian regime and enables the preparation of novel mechanical states with negative Wigner function.


title: Detection-by-Localization: Maintenance-Free Change Object Detector

abstract: Recent researches demonstrate that self-localization performance is a very useful measure of likelihood-of-change (LoC) for change detection. In this paper, this "detection-by-localization" scheme is studied in a novel generalized task of object-level change detection. In our framework, a given query image is segmented into object-level subimages (termed "scene parts"), which are then converted to subimage-level pixel-wise LoC maps via the detection-by-localization scheme. Our approach models a self-localization system as a ranking function, outputting a ranked list of reference images, without requiring relevance score. Thanks to this new setting, we can generalize our approach to a broad class of self-localization systems. Our ranking based self-localization model allows to fuse self-localization results from different modalities via an unsupervised rank fusion derived from a field of multi-modal information retrieval (MMR).


title: Supervised Machine Learning for Extractive Query Based Summarisation of Biomedical Data

abstract: The automation of text summarisation of biomedical publications is a pressing need due to the plethora of information available on-line. This paper explores the impact of several supervised machine learning approaches for extracting multi-document summaries for given queries. In particular, we compare classification and regression approaches for query-based extractive summarisation using data provided by the BioASQ Challenge. We tackled the problem of annotating sentences for training classification systems and show that a simple annotation approach outperforms regression-based summarisation.


title: Temporal variability and estimation of jet parameters for Ton 599

abstract: The TeV blazar Ton 599 has exhibited a peculiar flare in 2017 November. The temporal variation of the source is studied using simultaneous $\gamma$-ray data from $\textit{Fermi}$ Large Area Telescope and radio data from Owens Valley Radio Observatory's 40 m telescope, over the period of nine years. Four major flaring periods are observed in the $\gamma$-ray energy band of 0.1-300 GeV. These periods are studied on a shorter timescale and modeled with a time-dependent function containing exponential rising and decaying components. The physical parameters of the jet are estimated numerically and compared with those reported in the literature. During the fourth flare a bunch of high energy photons ($>$10 GeV) were detected. The two highest energy photons having an energy of 76.9 GeV and 61.9 GeV are detected on MJD 58059.0 and 58073.3, respectively. This observation possibly constrains the $\gamma$-ray emission region to lie near outer edge or outside the broad line region of size $\sim$0.08 pc. The variation of equivalent width of a Mg-II line is studied using the spectroscopic data from Steward observatory. It was observed that the equivalent width of the line varies inversely with the underlying power-law continuum.


title: Quasi-affineness and the 1-Resolution Property

abstract: We prove that, under mild hypothesis, every normal algebraic space which satisfies the $1$-resolution property is quasi-affine. More generally, we show that for algebraic stacks satisfying similar hypotheses, the 1-resolution property guarantees the existence of a finite flat cover by a quasi-affine scheme.


title: Synchronization of dynamical systems: an approach using a Computer Algebra System

abstract: The synchronization between two dynamical systems is one of the most appealing phenomena occurring in Nature. Already observed by Huygens in the case of two pendula, it is a current area of research in the case of chaotic systems, with numerous applications in Physics, Biology or Engineering. We present an elementary but detailed exploration of the theory behind this phenomenon, including some graphical animations, with the aid of the free CAS Maxima, but the code can be easily ported to other CASs. The examples used are the Lorentz attractor and a pair of coupled pendula because these are well-known models of dynamical systems, but the procedures are applicable to any system described by a system of first-order differential equations.


title: NLO and NNLO corrections to polarized top quark decays

abstract: We present partial results on NLO and NNLO QCD, and NLO electroweak corrections to polarized top quark decays. In parallel we derive positivity bounds for the polarized structure functions in polarized top quark decays and check them against the perturbative corrections to the structure functions.


title: A linear algorithm for reliable predictive network control

abstract: This paper introduces a novel control approach for network scheduling and routing that is predictive and reliable in its nature, yet builds upon a linear program, making it fast in execution. First, we describe the canonical system model and how we expand it to be able to predict the success of transmissions. Furthermore, we define a notion of reliability and then explain the algorithm. With extended simulations, we demonstrate the gains in performance over the well known MaxWeight policy.


title: Dueling Bandits with Qualitative Feedback

abstract: We formulate and study a novel multi-armed bandit problem called the qualitative dueling bandit (QDB) problem, where an agent observes not numeric but qualitative feedback by pulling each arm. We employ the same regret as the dueling bandit (DB) problem where the duel is carried out by comparing the qualitative feedback. Although we can naively use classic DB algorithms for solving the QDB problem, this reduction significantly worsens the performance---actually, in the QDB problem, the probability that one arm wins the duel over another arm can be directly estimated without carrying out actual duels. In this paper, we propose such direct algorithms for the QDB problem. Our theoretical analysis shows that the proposed algorithms significantly outperform DB algorithms by incorporating the qualitative feedback, and experimental results also demonstrate vast improvement over the existing DB algorithms.


title: Learning to Fingerprint the Latent Structure in Question Articulation

abstract: Abstract Machine understanding of questions is tightly related to recognition of articulation in the context of the computational capabilities of an underlying processing algorithm. In this paper a mathematical model to capture and distinguish the latent structure in the articulation of questions is presented. We propose an objective-driven approach to represent this latent structure and show that such an approach is beneficial when examples of complementary objectives are not available. We show that the latent structure can be represented as a system that maximizes a cost function related to the underlying objective. Further, we show that the optimization formulation can be approximated to building a memory of patterns represented as a trained neural auto-encoder. Experimental evaluation using many clusters of questions, each related to an objective, shows 80% recognition accuracy and negligible false positive across these clusters of questions. We then extend the same memory to a related task where the goal is to iteratively refine a dataset of questions based on the latent articulation. We also demonstrate a refinement scheme called K-fingerprints, that achieves nearly 100% recognition with negligible false positive across the different clusters of questions.


title: Unidirectional Photonic Circuit with Phase-Change Fano Resonator

abstract: We demonstrate that the integration of a phase-change material (PCM) in one of the two microresonators of a photonic metamolecule, coupled to a bus waveguide, can lead to unidirectional Fano resonances and to the emergence of a unidirectional transmission window. The phase change is caused by light-induced heating and is accompanied by an abrupt increase in the extinction coefficient of the PCM resonator. Due to the photonic circuit asymmetry, the critical value of the input light intensity triggering the phase change is strongly dependent on the input light direction. The latter determines the unidirectional nature of the emerging transmission window. This effect can be utilized in on-chip magnetic-free isolators and Q-switches.


title: Distributed MPC with Prediction of Time-Varying Communication Delay

abstract: The novel idea presented in this paper is to interweave distributed model predictive control with a reliable scheduling of the information that is interchanged between local controllers of the plant subsystems. To this end, a dynamic model of the communication network and a predictive scheduling algorithm are proposed, the latter providing predictions of the delay between sending and receiving information. These predictions can be used by the local subsystem controllers to improve their control performance, as exemplary shown for a platooning example.


title: Solar wind interaction with comet 67P: impacts of corotating interaction regions

abstract: We present observations from the Rosetta Plasma Consortium of the effects of stormy solar wind on comet 67P/Churyumov-Gerasimenko. Four corotating interaction regions (CIRs), where the first event has possibly merged with a CME, are traced from Earth via Mars (using Mars Express and MAVEN) and to comet 67P from October to December 2014. When the comet is 3.1-2.7 AU from the Sun and the neutral outgassing rate $\sim10^{25}-10^{26}$ s$^{-1}$ the CIRs significantly influence the cometary plasma environment at altitudes down to 10-30 km. The ionospheric low-energy \textcolor{black}{($\sim$5 eV) plasma density increases significantly in all events, by a factor $>2$ in events 1-2 but less in events 3-4. The spacecraft potential drops below -20V upon impact when the flux of electrons increases}. The increased density is \textcolor{black}{likely} caused by compression of the plasma environment, increased particle impact ionisation, and possibly charge exchange processes and acceleration of mass loaded plasma back to the comet ionosphere. During all events, the fluxes of suprathermal ($\sim$10-100 eV) electrons increase significantly, suggesting that the heating mechanism of these electrons is coupled to the solar wind energy input. At impact the magnetic field strength in the coma increases by a factor of ~2-5 as more interplanetary magnetic field piles up around of the comet. During two CIR impact events, we observe possible plasma boundaries forming, or moving past Rosetta, as the strong solar wind compresses the cometary plasma environment. \textcolor{black}{We also discuss the possibility of seeing some signatures of the ionospheric response to tail disconnection events


title: Stein and Weinstein structures on disk cotangent bundles of surfaces

abstract: In 1998, Gompf described a Stein domain structure on the disk cotangent bundle of any closed surface S, by a Legendrian handlebody diagram. We prove that Gompf's Stein domain is symplectomorphic to the disk cotangent bundle equipped with its canonical symplectic structure and the boundary of this domain is contactomorphic to the unit cotangent bundle of S equipped with its canonical contact structure. As a corollary, we obtain a surgery diagram for the canonical contact structure on the unit cotangent bundle of S.


title: The effects of free stream turbulence on the hydrodynamic characteristics of an AUV hull form

abstract: This article presents experimental and numerical studies on the effect of free stream turbulence on evolution of flow over an autonomous underwater vehicle (AUV) hull form at three Reynolds numbers with different submergence depths and angles of attack. The experiments were conducted in a recirculating water tank and the instantaneous velocity profiles were recorded along the AUV using Acoustic Doppler Velocimetry (ADV). The experimental results of stream-wise mean velocity, turbulent kinetic energy(TKE) and Reynolds stresses were used to validate the predictive capability of a Reynolds stress model (RSM) with the wall reflection term of the pressure strain correlation. From the high fidelity RSM based simulations it is observed that in presence of free stream turbulence, the pressure, skin friction, drag and lift coefficients decrease on the AUV hull. The variation of the hydrodynamic coefficients were also plotted along the AUV hull for different values of submergence depth and angle of attack with different levels of free stream turbulence. The conclusions from this experimental and numerical investigation give guidance for improved design paradigms for the design of AUVs.


title: Type II Singularities on complete non-compact Yamabe flow

abstract: This work concerns with the existence and detailed asymptotic analysis of Type II singularities for solutions to complete non-compact conformally flat Yamabe flow with cylindrical behavior at infinity. We provide the specific blow-up rate of the maximum curvature and show that the solution converges, after blowing-up around the curvature maximum points, to a rotationally symmetric steady soliton. It is the first time that the steady soliton is shown to be a finite time singularity model of the Yamabe flow.


title: Singlet-triplet transition in double quantum dots in two-dimensional topological insulators

abstract: We study two-electron states confined in two coupled quantum dots formed by a short-range potential in a two-dimensional topological insulator. It is shown that there is a fairly wide range of the system parameters, where the ground state is a tripletlike state formed by a superposition of two spin-polarized states. Outside this range, the ground state is a singlet. A transition between the singlet and triplet states can be realized by changing the potential of the quantum dots. The effect is caused by a significant change in the energies of the Coulomb repulsion and the exchange interaction of electrons due to the presence of the pseudospin components of the wave function when the band spectrum is inverted.


title: Macquarie University at BioASQ 6b: Deep learning and deep reinforcement learning for query-based multi-document summarisation

abstract: This paper describes Macquarie University's contribution to the BioASQ Challenge (BioASQ 6b, Phase B). We focused on the extraction of the ideal answers, and the task was approached as an instance of query-based multi-document summarisation. In particular, this paper focuses on the experiments related to the deep learning and reinforcement learning approaches used in the submitted runs. The best run used a deep learning model under a regression-based framework. The deep learning architecture used features derived from the output of LSTM chains on word embeddings, plus features based on similarity with the query, and sentence position. The reinforcement learning approach was a proof-of-concept prototype that trained a global policy using REINFORCE. The global policy was implemented as a neural network that used $tf.idf$ features encoding the candidate sentence, question, and context.


title: Variational Autoencoder with Implicit Optimal Priors

abstract: The variational autoencoder (VAE) is a powerful generative model that can estimate the probability of a data point by using latent variables. In the VAE, the posterior of the latent variable given the data point is regularized by the prior of the latent variable using Kullback Leibler (KL) divergence. Although the standard Gaussian distribution is usually used for the prior, this simple prior incurs over-regularization. As a sophisticated prior, the aggregated posterior has been introduced, which is the expectation of the posterior over the data distribution. This prior is optimal for the VAE in terms of maximizing the training objective function. However, KL divergence with the aggregated posterior cannot be calculated in a closed form, which prevents us from using this optimal prior. With the proposed method, we introduce the density ratio trick to estimate this KL divergence without modeling the aggregated posterior explicitly. Since the density ratio trick does not work well in high dimensions, we rewrite this KL divergence that contains the high-dimensional density ratio into the sum of the analytically calculable term and the low-dimensional density ratio term, to which the density ratio trick is applied. Experiments on various datasets show that the VAE with this implicit optimal prior achieves high density estimation performance.


title: Keypoint Based Weakly Supervised Human Parsing

abstract: Fully convolutional networks (FCN) have achieved great success in human parsing in recent years. In conventional human parsing tasks, pixel-level labeling is required for guiding the training, which usually involves enormous human labeling efforts. To ease the labeling efforts, we propose a novel weakly supervised human parsing method which only requires simple object keypoint annotations for learning. We develop an iterative learning method to generate pseudo part segmentation masks from keypoint labels. With these pseudo masks, we train an FCN network to output pixel-level human parsing predictions. Furthermore, we develop a correlation network to perform joint prediction of part and object segmentation masks and improve the segmentation performance. The experiment results show that our weakly supervised method is able to achieve very competitive human parsing results. Despite our method only uses simple keypoint annotations for learning, we are able to achieve comparable performance with fully supervised methods which use the expensive pixel-level annotations.


title: Deep CNN Frame Interpolation with Lessons Learned from Natural Language Processing

abstract: A major area of growth within deep learning has been the study and implementation of convolutional neural networks. The general explanation within the deep learning community of the robustness of convolutional neural networks (CNNs) within image recognition rests upon the idea that CNNs are able to extract localized features. However, recent developments in fields such as Natural Language Processing are demonstrating that this paradigm may be incorrect. In this paper, we analyze the current state of the field concerning CNN's and present a hypothesis that provides a novel explanation for the robustness of CNN models. From there, we demonstrate the effectiveness of our approach by presenting novel deep CNN frame interpolation architecture that is comparable to the state of the art interpolation models with a fraction of the complexity.


title: Dushnik-Miller dimension of d-dimensional tilings with boxes

abstract: Planar graphs are the graphs with Dushnik-Miller dimension at most three (W. Schnyder, Planar graphs and poset dimension, Order 5, 323-343, 1989). Consider the intersection graph of interior disjoint axis parallel rectangles in the plane. It is known that if at most three rectangles intersect on a point, then this intersection graph is planar, that is it has Dushnik-Miller dimension at most three. This paper aims at generalizing this from the plane to $R^d$ by considering tilings of $R^d$ with axis parallel boxes, where at most $d+1$ boxes intersect on a point. Such tilings induce simplicial complexes and we will show that those simplicial complexes have Dushnik-Miller dimension at most $d+1$.


title: Characterizing Variation in Crowd-Sourced Data for Training Neural Language Generators to Produce Stylistically Varied Outputs

abstract: One of the biggest challenges of end-to-end language generation from meaning representations in dialogue systems is making the outputs more natural and varied. Here we take a large corpus of 50K crowd-sourced utterances in the restaurant domain and develop text analysis methods that systematically characterize types of sentences in the training data. We then automatically label the training data to allow us to conduct two kinds of experiments with a neural generator. First, we test the effect of training the system with different stylistic partitions and quantify the effect of smaller, but more stylistically controlled training data. Second, we propose a method of labeling the style variants during training, and show that we can modify the style of the generated utterances using our stylistic labels. We contrast and compare these methods that can be used with any existing large corpus, showing how they vary in terms of semantic quality and stylistic control.


title: Lyapunov Theory for Discrete Time Systems

abstract: In this work, we present the equivalent of many theorems available for continuous time systems. In particular, the theory is applied to Averaging Theory and Separation of time scales. In particular the proofs developed for Averaging Theory and Separation of time scales departs from those typically used in continuous time systems that are based on twice differentiable change of variables and the multiple use of the Implicit Function Theorem and Mean Value Theorem. More specifically, by constructing a suitable Lyapunov function only Lipschitz conditions are necessary. Finally, it is shown that under mild condition on the so-called "interconnection conditions" the proposed tools can guarantee semi-global exponential stability rather than the more stringent local exponential stability typically found in the literature


title: Simpler than vacuum: Antiscalar alternatives to black holes

abstract: The Janis-Newman-Winicour and Papapetrou metrics represent counterparts to the Schwarzschild black hole with scalar and antiscalar background fields, correspondingly (where "anti" is to be understood as in "anti-de Sitter"). There is also a scalar counterpart (the Krori-Bhattacharjee metric) to the Kerr black hole. Here we study analytical connections between these solutions and obtain the exact rotational generalization of the antiscalar Papapetrou spacetime as a viable alternative to the Kerr black hole. The antiscalar metrics appear to be the simplest ones as they do not reveal event horizons and ergospheres, and they do not involve an extra parameter for scalar charge. Static antiscalar field is thermodynamically stable and self-consistent, but this is not the case for the scalar Janis-Newman-Winicour solution; besides, antiscalar thermodynamics is reducible to black-hole thermodynamics. Lensing, geodetic and Lense-Thirring effects are found to be practically indistinguishable between antiscalar and vacuum solutions in weak fields. Only strong-field observations might provide a test for the existence of antiscalar background. In particular, the antiscalar solution predicts 5% larger shadows of supermassive compact objects, as compared to the vacuum solution. Another measurable aspect is the 6.92% difference in the frequency of the innermost stable circular orbit, characterizing the upper cut-off in the gravitational wave spectrum.


title: Commutative algebraic monoid structures on affine spaces

abstract: We study commutative associative polynomial operations $\mathbb{A}^n\times\mathbb{A}^n\to\mathbb{A}^n$ with unit on the affine space $\mathbb{A}^n$ over an algebraically closed field of characteristic zero. A classification of such operations is obtained up to dimension 3. Several series of operations are constructed in arbitrary dimension. Also we explore a connection between commutative algebraic monoids on affine spaces and additive actions on toric varieties.


title: Efficient Rank Minimization via Solving Non-convexPenalties by Iterative Shrinkage-Thresholding Algorithm

abstract: Rank minimization (RM) is a wildly investigated task of finding solutions by exploiting low-rank structure of parameter matrices. Recently, solving RM problem by leveraging non-convex relaxations has received significant attention. It has been demonstrated by some theoretical and experimental work that non-convex relaxation, e.g. Truncated Nuclear Norm Regularization (TNNR) and Reweighted Nuclear Norm Regularization (RNNR), can provide a better approximation of original problems than convex relaxations. However, designing an efficient algorithm with theoretical guarantee remains a challenging problem. In this paper, we propose a simple but efficient proximal-type method, namely Iterative Shrinkage-Thresholding Algorithm(ISTA), with concrete analysis to solve rank minimization problems with both non-convex weighted and reweighted nuclear norm as low-rank regularizers. Theoretically, the proposed method could converge to the critical point under very mild assumptions with the rate in the order of $O(1/T)$. Moreover, the experimental results on both synthetic data and real world data sets show that proposed algorithm outperforms state-of-arts in both efficiency and accuracy.


title: Boundaries of boundaries: a systematic approach to lattice models with solvable boundary states of arbitrary codimension

abstract: We present a generic and systematic approach for constructing D-dimensional lattice models with exactly solvable d-dimensional boundary states localized to corners, edges, hinges and surfaces. These solvable models represent a class of "sweet spots" in the space of possible tight-binding models---the exact solutions remain valid for any tight-binding parameters as long as they obey simple locality conditions that are manifest in the underlying lattice structure. Consequently, our models capture the physics of both (higher-order) topological and non-topological phases as well as the transitions between them in a particularly illuminating and transparent manner.


title: Effect of shear flow on Wormlike micelles

abstract: We use a hybrid method that combines the Multiparticle collision dynamics (MPCD) for solvent particles with the molecular dynamics for equilibrium polymers to simulate the shearing of the equilibrium polymers (or Wormlike micelles) at a mesoscopic length scale. The MPCD method incorporates the hydrodynamic interaction with the polymeric chains. We show successful implementation of the method on the model equilibrium polymers (or Wormlike micelles) and observe that the order of the Iso-Nem transition of the polymeric system is affected by the shear rate. Moreover, the chains of the equilibrium polymers first increase in their average length with the increase in shear rate but then show a decrease in their average length after crossing a particular value of the shear rate which shows the breaking of chains due to shear stress when their nematic order remains unchanged. This model and method can be further used to investigate the shear banding in Wormlike micelles or other interesting properties of such systems.


title: A Schr\"{o}dinger equation for relativistic laser-matter interactions

abstract: A semi-relativistic formulation of light-matter interaction is derived using the so called propagation gauge and the relativistic mass shift. We show that relativistic effects induced by a super-intense laser field can, to a surprisingly large extent, be accounted for by the Schr{\"o}dinger equation, provided that we replace the rest mass in the propagation gauge Hamiltonian by the corresponding time-dependent field-dressed mass. The validity of the semi-relativistic approach is tested numerically on a hydrogen atom exposed to an intense XUV laser pulse strong enough to accelerate the electron towards relativistic velocities. It is found that while the results obtained from the ordinary (non-relativistic) Schr{\"o}dinger equation generally differ from those of the Dirac equation, merely demonstrating that relativistic effects are significant, the semi-relativistic formulation provides results in quantitative agreement with a fully relativistic treatment.


title: Skeleton-to-Response: Dialogue Generation Guided by Retrieval Memory

abstract: For dialogue response generation, traditional generative models generate responses solely from input queries. Such models rely on insufficient information for generating a specific response since a certain query could be answered in multiple ways. Consequentially, those models tend to output generic and dull responses, impeding the generation of informative utterances. Recently, researchers have attempted to fill the information gap by exploiting information retrieval techniques. When generating a response for a current query, similar dialogues retrieved from the entire training data are considered as an additional knowledge source. While this may harvest massive information, the generative models could be overwhelmed, leading to undesirable performance. In this paper, we propose a new framework which exploits retrieval results via a skeleton-then-response paradigm. At first, a skeleton is generated by revising the retrieved responses. Then, a novel generative model uses both the generated skeleton and the original query for response generation. Experimental results show that our approaches significantly improve the diversity and informativeness of the generated responses.


title: Hard X-ray selected giant radio galaxies - I. The X-ray properties and radio connection

abstract: We present the first broad-band X-ray study of the nuclei of 14 hard X-ray selected giant radio galaxies, based both on the literature and on the analysis of archival X-ray data from NuSTAR, XMM-Newton, Swift and INTEGRAL. The X-ray properties of the sources are consistent with an accretion-related X-ray emission, likely originating from an X-ray corona coupled to a radiatively efficient accretion flow. We find a correlation between the X-ray luminosity and the radio core luminosity, consistent with that expected for AGNs powered by efficient accretion. In most sources, the luminosity of the radio lobes and the estimated jet power are relatively low compared with the nuclear X-ray emission. This indicates that either the nucleus is more powerful than in the past, consistent with a restarting of the central engine, or that the giant lobes are dimmer due to expansion losses.


title: A Domain Agnostic Normalization Layer for Unsupervised Adversarial Domain Adaptation

abstract: We propose a normalization layer for unsupervised domain adaption in semantic scene segmentation. Normalization layers are known to improve convergence and generalization and are part of many state-of-the-art fully-convolutional neural networks. We show that conventional normalization layers worsen the performance of current Unsupervised Adversarial Domain Adaption (UADA), which is a method to improve network performance on unlabeled datasets and the focus of our research. Therefore, we propose a novel Domain Agnostic Normalization layer and thereby unlock the benefits of normalization layers for unsupervised adversarial domain adaptation. In our evaluation, we adapt from the synthetic GTA5 data set to the real Cityscapes data set, a common benchmark experiment, and surpass the state-of-the-art. As our normalization layer is domain agnostic at test time, we furthermore demonstrate that UADA using Domain Agnostic Normalization improves performance on unseen domains, specifically on Apolloscape and Mapillary.


title: An On-line Design of Physical Watermarks

abstract: This paper considers the problem to design physical watermark signals to protect a control system against replay attacks. We first define the replay attack model, where an adversary replays the previous sensory data in order to fool the system. The physical watermarking scheme, which leverages a random control input as a watermark, to detect the replay attack is introduced. The optimal watermark signal design problem is then proposed as an optimization problem, which achieves the optimal trade-off between the control performance and attack detection performance. For the system with unknown parameters, we provide a procedure to asymptotically derive the optimal watermarking signal. Numerical examples are provided to illustrate the effectiveness of the proposed strategy.


title: Revisiting topology optimization with buckling constraints

abstract: We review some features of topology optimization with a lower bound on the critical load factor, as computed by linearized buckling analysis. The change of the optimized design, the competition between stiffness and stability requirements and the activation of several buckling modes, depending on the value of such lower bound, are studied. We also discuss some specific issues which are of particular interest for this problem, as the use of non-conforming finite elements for the analysis, the use of inconsistent sensitivities in the optimization and the replacement of the single eigenvalue constraints with an aggregated measure. We discuss the influence of these practices on the optimization result, giving some recommendations.


title: Optimal Bayesian design for model discrimination via classification

abstract: Performing optimal Bayesian design for discriminating between competing models is computationally intensive as it involves estimating posterior model probabilities for thousands of simulated datasets. This issue is compounded further when the likelihood functions for the rival models are computationally expensive. A new approach using supervised classification methods is developed to perform Bayesian optimal model discrimination design. This approach requires considerably fewer simulations from the candidate models than previous approaches using approximate Bayesian computation. Further, it is easy to assess the performance of the optimal design through the misclassification error rate. The approach is particularly useful in the presence of models with intractable likelihoods but can also provide computational advantages when the likelihoods are manageable.


title: Some effective estimates for Andr\'e-Oort in $Y(1)^n$

abstract: Let $X\subset Y(1)^n$ be a subvariety defined over a number field $\mathbb F$ and let $(P_1,\ldots,P_n)\in X$ be a special point not contained in a positive-dimensional special subvariety of $X$. We show that the if a coordinate $P_i$ corresponds to an order not contained in a single exceptional Siegel-Tatuzawa imaginary quadratic field $K_*$ then the associated discriminant $|\Delta(P_i)|$ is bounded by an effective constant depending only on $\operatorname{deg} X$ and $[{\mathbb F}:{\mathbb Q}]$. We derive analogous effective results for the positive-dimensional maximal special subvarieties. From the main theorem we deduce various effective results of Andr\'e-Oort type. In particular we define a genericity condition on the leading homogeneous part of a polynomial, and give a fully effective Andr\'e-Oort statement for hypersurfaces defined by polynomials satisfying this condition.


title: Local controllability of reaction-diffusion systems around nonnegative stationary states

abstract: We consider a $n \times n$ nonlinear reaction-diffusion system posed on a smooth bounded domain $\Omega$ of $\mathbb{R}^N$. This system models reversible chemical reactions. We act on the system through $m$ controls ($1 \leq m < n$), localized in some arbitrary nonempty open subset $\omega$ of the domain $\Omega$. We prove the local exact controllability to nonnegative (constant) stationary states in any time $T >0$. A specificity of this control system is the existence of some invariant quantities in the nonlinear dynamics that prevents controllability from happening in the whole space $L^\infty(\Omega)^n$. The proof relies on several ingredients. First, an adequate affine change of variables transforms the system into a cascade system with second order coupling terms. Secondly, we establish a new null-controllability result for the linearized system thanks to a spectral inequality for finite sums of eigenfunctions of the Neumann Laplacian operator, due to David Jerison, Gilles Lebeau and Luc Robbiano and precise observability inequalities for a family of finite dimensional systems. Thirdly, the source term method, introduced by Yuning Liu, Tak\'eo Takahashi and Marius Tucsnak, is revisited in a $L^{\infty}$-context. Finally, an appropriate inverse mapping theorem enables to go back to the nonlinear reaction-diffusion system.


title: Nearly K\"ahler six-manifolds with two-torus symmetry

abstract: We consider nearly K\"ahler 6-manifolds with effective 2-torus symmetry. The multi-moment map for the $T^2$-action becomes an eigenfunction of the Laplace operator. At regular values, we prove the $T^2$-action is necessarily free on the level sets and determines the geometry of three-dimensional quotients. An inverse construction is given locally producing nearly K\"ahler six-manifolds from three-dimensional data. This is illustrated for structures on the Heisenberg group.


title: On the energy content of electromagnetic and gravitational plane waves through super-energy tensors

abstract: The energy content of (exact) electromagnetic and gravitational plane waves is studied in terms of super-energy tensors (the Bel, Bel-Robinson and the --less familiar-- Chevreton tensors) and natural observers. Starting from the case of single waves, the more interesting situation of colliding waves is then discussed, where the nonlinearities of the Einstein's theory play an important role. The causality properties of the super-momentum four vectors associated with each of these tensors are also investigated when passing from the single-wave regions to the interaction region.


title: Single-cell bacterial electrophysiology reveals mechanisms of stress-induced damage

abstract: Electrochemical gradient of protons, or proton motive force (PMF), is at the basis of bacterial energetics. It powers vital cellular processes and defines the physiological state of the cell. Here we use an electric circuit analogy of an Escherichia coli cell to mathematically describe the relationship between bacterial PMF, electric properties of the cell membrane and catabolism. We combine the analogy with the use of bacterial flagellar motor as a single-cell "voltmeter" to measure cellular PMF in varied and dynamic external environments, for example, under different stresses. We find that butanol acts as an ionophore, and functionally characterise membrane damage caused by the light of shorter wavelengths. Our approach coalesces non-invasive and fast single-cell voltmeter with a well-defined mathematical framework to enable quantitative bacterial electrophysiology.


title: Interaction of infalling solid bodies with primordial atmospheres of disk-embedded planets

abstract: Planets that form early enough to be embedded in the circumstellar gas disk accumulate thick atmospheres of nebular gas. Models of these atmospheres need to specify the surface luminosity (i.e. energy loss rate) of the planet. This luminosity is usually associated with a continuous inflow of solid bodies, where the gravitational energy released from these bodies is the source of energy. However, if these bodies release energy in the atmosphere instead of at the surface, this assumption might not be justified. Our aim is to explore the interactions of infalling planetesimals with primordial atmospheres at an embedded phase of evolution. We investigate effects of atmospheric interaction on the planetesimals (mass loss) and the atmosphere (heating/cooling). We used atmospheric parameters from a snapshot of time-dependent evolution simulations for embedded atmospheres and simulated purely radial, infall events of siliceous planetesimals in a 1D, explicit code. We implemented energy transfer between friction, radiation transfer by the atmosphere and the body and thermal ablation; this gives us the possibility to examine the effects on the planetesimals and the atmosphere. We find that a significant amount of gravitational energy is indeed dissipated into the atmosphere, especially for larger planetary cores, which consequently cannot contribute to the atmospheric planetary luminosity. Furthermore, we examine that planetesimal infall events for cores, $M_\mathrm{C} > 2$M$_{\oplus}$, which actually result in a local cooling of the atmosphere; this is totally in contradiction with the classical model.


title: Stochastic LQ and Associated Riccati equation of PDEs Driven by State-and Control-Dependent White Noise

abstract: The optimal stochastic control problem with a quadratic cost functional for linear partial differential equations (PDEs) driven by a state-and control-dependent white noise is formulated and studied. Both finite-and infinite-time horizons are considered. The multi-plicative white noise dynamics of the system give rise to a new phenomenon of singularity to the associated Riccati equation and even to the Lyapunov equation. Well-posedness of both Riccati equation and Lyapunov equation are obtained for the first time. The linear feedback coefficient of the optimal control turns out to be singular and expressed in terms of the solution of the associated Riccati equation. The null controllability is shown to be equivalent to the existence of the solution to Riccati equation with the singular terminal value. Finally, the controlled Anderson model is addressed as an illustrating example.


title: On Plans With Loops and Noise

abstract: In an influential paper, Levesque proposed a formal specification for analysing the correctness of program-like plans, such as conditional plans, iterative plans, and knowledge-based plans. He motivated a logical characterisation within the situation calculus that included binary sensing actions. While the characterisation does not immediately yield a practical algorithm, the specification serves as a general skeleton to explore the synthesis of program-like plans for reasonable, tractable fragments. Increasingly, classical plan structures are being applied to stochastic environments such as robotics applications. This raises the question as to what the specification for correctness should look like, since Levesque's account makes the assumption that sensing is exact and actions are deterministic. Building on a situation calculus theory for reasoning about degrees of belief and noise, we revisit the execution semantics of generalised plans. The specification is then used to analyse the correctness of example plans.


title: Gauged Wess-Zumino terms for a general coset space

abstract: The low-energy physics of systems with spontaneously broken continuous symmetry is dominated by the ensuing Nambu-Goldstone bosons. It has been known for half a century how to construct invariant Lagrangian densities for the low-energy effective theory of Nambu-Goldstone bosons. Contributions, invariant only up to a surface term -- also known as the Wess-Zumino (WZ) terms -- are more subtle, and as a rule are topological in nature. Although WZ terms have been studied intensively in theoretically oriented literature, explicit expressions do not seem to be available in sufficient generality in a form suitable for practical applications. Here we construct the WZ terms in $d=1,2,3,4$ spacetime dimensions for an arbitrary compact, semisimple and simply connected symmetry group $G$ and its arbitrary connected unbroken subgroup $H$, provided that the $d$-th homotopy group of the coset space $G/H$ is trivial. Coupling to gauge fields for the whole group $G$ is included throughout the construction. We list a number of explicit matrix expressions for the WZ terms in four spacetime dimensions, including those for QCD-like theories, that is vector-like gauge theories with fermions in a complex, real or pseudoreal representation of the gauge group.

categories: hep-th cond-mat.str-el cond-mat.supr-con hep-ph


title: Topological quantum pump of strongly interacting fermions in coupled chains

abstract: We analyze a tight binding model of two coupled chains with strongly interacting fermions. Depending on the parameter $w$, the many body lowest energy band consists of either single particles or bound pairs. A topological quantum pump can be created by periodically varying the coupling strengths under adiabatic conditions. We numerically show that the single particles and bound pairs are pumped in opposite directions along topologically non-trivial paths. The exact quantization of the pumped charge can be expressed by a (many body) Chern number.


title: Global invertibility of mappings between Banach spaces and applications to nonlinear equations

abstract: We provide sufficient conditions for a mapping between two Banach spaces to be a diffeomorphism using the approach of an auxiliary functional and also by the aid of a duality mapping corresponding to a normalization function. We simplify and generalize our previous results. Applications to algebraic equations and to integro-differential systems are also given.


title: Effect of an advanced model-based iterative reconstruction algorithm on texture and visual impression of images privieded by a dual source CT scanner

abstract: Purpose: To evaluate the influence of ADMIRE algorithm on image texture and image visual impression as a supplement to measurements of common image quality parameters such as noise levels and spatial resolution. Methods: An ACR phantom was examined at different radiation dose levels. To characterize the image texture, two Haralick texture parameters, contrast and entropy, for different dose level and reconstruction algorithms were assessed. The visual impression of images and their structural differences were evaluated using the structural similarity index (SSIM). Noise was determined for all dose and AMIRE levels and compared to those by filtered back projection (FBP). The spatial resolution was determined by the modulation transfer functions and the line spread function. Results: The Haralick texture parameters decreased with increasing ADMIRE levels I up to V. ADMIRE III, IV and V offered a comparable contrast and entropy to those calculated by FBP with a radiation dose reduction up to 50%. SSIM improved with increasing ADMIRE levels. SSIM calculated by ADMIRE IV and V showed similar values by the filter back projection with a dose decrease up to 50%. Spatial resolution was retained up to 90% dose reduction. With increasing ADMIRE as well as dose level the noise distribution shifted to a more narrow distribution, which was in accordance with the reconstructed images using ADMIRE. Conclusion: Texture analysis and SSIM allow a more realistic assessment of the dose reduction potential of iterative reconstruction algorithms than quality metrics only based on physical measurements of noise distribution or spatial resolution. This work presented that by means of the ADMIRE algorithm, a comparable image quality at reduced radiation doses can be reached.


title: Reasoning about Discrete and Continuous Noisy Sensors and Effectors in Dynamical Systems

abstract: Among the many approaches for reasoning about degrees of belief in the presence of noisy sensing and acting, the logical account proposed by Bacchus, Halpern, and Levesque is perhaps the most expressive. While their formalism is quite general, it is restricted to fluents whose values are drawn from discrete finite domains, as opposed to the continuous domains seen in many robotic applications. In this work, we show how this limitation in that approach can be lifted. By dealing seamlessly with both discrete distributions and continuous densities within a rich theory of action, we provide a very general logical specification of how belief should change after acting and sensing in complex noisy domains.