title: Neural Packet Classification

abstract: Packet classification is a fundamental problem in computer networking. This problem exposes a hard tradeoff between the computation and state complexity, which makes it particularly challenging. To navigate this tradeoff, existing solutions rely on complex hand-tuned heuristics, which are brittle and hard to optimize. In this paper, we propose a deep reinforcement learning (RL) approach to solve the packet classification problem. There are several characteristics that make this problem a good fit for Deep RL. First, many of the existing solutions are iteratively building a decision tree by splitting nodes in the tree. Second, the effects of these actions (e.g., splitting nodes) can only be evaluated once we are done with building the tree. These two characteristics are naturally captured by the ability of RL to take actions that have sparse and delayed rewards. Third, it is computationally efficient to generate data traces and evaluate decision trees, which alleviate the notoriously high sample complexity problem of Deep RL algorithms. Our solution, NeuroCuts, uses succinct representations to encode state and action space, and efficiently explore candidate decision trees to optimize for a global objective. It produces compact decision trees optimized for a specific set of rules and a given performance metric, such as classification time, memory footprint, or a combination of the two. Evaluation on ClassBench shows that NeuroCuts outperforms existing hand-crafted algorithms in classification time by 18% at the median, and reduces both time and memory footprint by up to 3x.


title: A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics

abstract: We consider the problem of extracting safe environments and controllers for reach-avoid objectives for systems with known state and control spaces, but unknown dynamics. In a given environment, a common approach is to synthesize a controller from an abstraction or a model of the system (potentially learned from data). However, in many situations, the relationship between the dynamics of the model and the \textit{actual system} is not known; and hence it is difficult to provide safety guarantees for the system. In such cases, the Standard Simulation Metric (SSM), defined as the worst-case norm distance between the model and the system output trajectories, can be used to modify a reach-avoid specification for the system into a more stringent specification for the abstraction. Nevertheless, the obtained distance, and hence the modified specification, can be quite conservative. This limits the set of environments for which a safe controller can be obtained. We propose SPEC, a specification-centric simulation metric, which overcomes these limitations by computing the distance using only the trajectories that violate the specification for the system. We show that modifying a reach-avoid specification with SPEC allows us to synthesize a safe controller for a larger set of environments compared to SSM. We also propose a probabilistic method to compute SPEC for a general class of systems. Case studies using simulators for quadrotors and autonomous cars illustrate the advantages of the proposed metric for determining safe environment sets and controllers.


title: Cauchy problem for fractional non-autonomous evolution equations

abstract: This paper deals with the following Cauchy problem to nonlinear time fractional non-autonomous integro-differential evolution equation of mixed type via measure of noncompactness $$ \left\{\begin{array}{ll} ^CD^{\alpha}_tu(t)+A(t)u(t)= f(t,u(t),(Tu)(t), (Su)(t)),\quad t\in [0,a], \\[12pt] u(0)=A^{-1}(0)u_0 \end{array} \right. $$ in infinite-dimensional Banach space $E$, where $ ^CD^{\alpha}_t$ is the standard Caputo's fractional time derivative of order $0<\alpha\leq 1$, $A(t)$ is a family of closed linear operators defined on a dense domain $D(A)$ in Banach space $E$ into $E$ such that $D(A)$ is independent of $t$, $a>0$ is a constant, $f:[0,a]\times E\times E\times E\rightarrow E$ is a Carath\'{e}odory type function, $u_0\in E$, $T$ and $S$ are Volterra and Fredholm integral operators, respectively. Combining the theory of fractional calculus and evolution families, the fixed point theorem with respect to convex-power condensing operator and a new estimation technique of the measure of noncompactness, we obtained the existence of mild solutions under the situation that the nonlinear function satisfy some appropriate local growth condition and a noncompactness measure condition. Our results generalize and improve some previous results on this topic, since the condition of uniformly continuity of the nonlinearity is not required, and also the strong restriction on the constants in the condition of noncompactness measure is completely deleted. As samples of applications, we consider the initial value problem to a class of time fractional non-autonomous partial differential equation with homogeneous Dirichlet boundary condition at the end of this paper.


title: Spatio-Temporal Dynamics and Semantic Attribute Enriched Visual Encoding for Video Captioning

abstract: Automatic generation of video captions is a fundamental challenge in computer vision. Recent techniques typically employ a combination of Convolutional Neural Networks (CNNs) and Recursive Neural Networks (RNNs) for video captioning. These methods mainly focus on tailoring sequence learning through RNNs for better caption generation, whereas off-the-shelf visual features are borrowed from CNNs. We argue that careful designing of visual features for this task is equally important, and present a visual feature encoding technique to generate semantically rich captions using Gated Recurrent Units (GRUs). Our method embeds rich temporal dynamics in visual features by hierarchically applying Short Fourier Transform to CNN features of the whole video. It additionally derives high level semantics from an object detector to enrich the representation with spatial dynamics of the detected objects. The final representation is projected to a compact space and fed to a language model. By learning a relatively simple language model comprising two GRU layers, we establish new state-of-the-art on MSVD and MSR-VTT datasets for METEOR and ROUGE_L metrics.


title: Quantifying Dissipation in Actomyosin Networks

abstract: Quantifying entropy production in various active matter phases will open new avenues for probing self-organization principles in these far-from-equilibrium systems. It has been hypothesized that the dissipation of free energy by active matter systems may be optimized to produce highly dissipative dynamical states, hence, leading to spontaneous emergence of more ordered states. This interesting idea has not been widely tested. In particular, it is not clear whether emergent states of actomyosin networks, which represent a salient example of biological active matter, self-organize following the principle of dissipation optimization. In order to start addressing this question using detailed computational modeling, we rely on the MEDYAN simulation platform, which allows simulating active matter networks from fundamental molecular principles. We have extended the capabilities of MEDYAN to allow quantification of the rates of dissipation resulting from chemical reactions and relaxation of mechanical stresses during simulation trajectories. We validate our approach with a mean-field model that estimates the rates of dissipation from filament treadmilling. Applying this methodology to the self-organization of small disordered actomyosin networks, we find that compact and highly cross-linked networks tend to allow more efficient transduction of chemical free energy into mechanical energy. In these simple systems, we do not observe that spontaneous network reorganizations lead to increases in the total dissipation rate as predicted by the dissipation-driven adaptation hypothesis mentioned above. However, whether such a principle operates in more general, more complex cytoskeletal networks remains to be investigated.


title: Weighted composition operators acting from the Lipschitz space to the space of bounded functions on a tree

abstract: We study the weighted composition operators between the Lipschitz space and the space of bounded functions on the set of vertices of an infinite tree. We characterized the boundedness, the compactness, and the boundedness from below of weighted composition operators. We also determine the isometric weighted composition operators.


title: Ergodic Approach to Robust Optimization and Infinite Programming Problems

abstract: In this work, we show the consistency of an approach for solving robust optimization problems using sequences of sub-problems generated by ergodic measure preserving transformations. The main result of this paper is that the minimizers and the optimal value of the sub-problems converge, in some sense, to the minimizers and the optimal value of the initial problem, respectively. Our result particularly implies the consistency of the scenario approach for nonconvex optimization problems. Finally, we show that our method can also be used to solve infinite programming problems.


title: CN-Probase: A Data-driven Approach for Large-scale Chinese Taxonomy Construction

abstract: Taxonomies play an important role in machine intelligence. However, most well-known taxonomies are in English, and non-English taxonomies, especially Chinese ones, are still very rare. In this paper, we focus on automatic Chinese taxonomy construction and propose an effective generation and verification framework to build a large-scale and high-quality Chinese taxonomy. In the generation module, we extract isA relations from multiple sources of Chinese encyclopedia, which ensures the coverage. To further improve the precision of taxonomy, we apply three heuristic approaches in verification module. As a result, we construct the largest Chinese taxonomy with high precision about 95% called CN-Probase. Our taxonomy has been deployed on Aliyun, with over 82 million API calls in six months.


title: Machine learning for subgroup discovery under treatment effect

abstract: In many practical tasks it is needed to estimate an effect of treatment on individual level. For example, in medicine it is essential to determine the patients that would benefit from a certain medicament. In marketing, knowing the persons that are likely to buy a new product would reduce the amount of spam. In this chapter, we review the methods to estimate an individual treatment effect from a randomized trial, i.e., an experiment when a part of individuals receives a new treatment, while the others do not. Finally, it is shown that new efficient methods are needed in this domain.


title: Weighted Maximum Independent Set of Geometric Objects in Turnstile Streams

abstract: We study the Maximum Independent Set problem for geometric objects given in the data stream model. A set of geometric objects is said to be independent if the objects are pairwise disjoint. We consider geometric objects in one and two dimensions, i.e., intervals and disks. Let $\alpha$ be the cardinality of the largest independent set. Our goal is to estimate $\alpha$ in a small amount of space, given that the input is received as a one-pass stream. We also consider a generalization of this problem by assigning weights to each object and estimating $\beta$, the largest value of a weighted independent set. We initialize the study of this problem in the turnstile streaming model (insertions and deletions) and provide the first algorithms for estimating $\alpha$ and $\beta$. For unit-length intervals, we obtain a $(2+\epsilon)$-approximation to $\alpha$ and $\beta$ in poly$(\frac{\log(n)}{\epsilon})$ space. We also show a matching lower bound. Combined with the $3/2$-approximation for insertion-only streams by Cabello and Perez-Lanterno [CP15], our result implies a separation between the insertion-only and turnstile model. For unit-radius disks, we obtain a $\left(\frac{8\sqrt{3}}{\pi}\right)$-approximation to $\alpha$ and $\beta$ in poly$(\log(n), \epsilon^{-1})$ space, which is closely related to the hexagonal circle packing constant. We provide algorithms for estimating $\alpha$ for arbitrary-length intervals under a bounded intersection assumption and study the parameterized space complexity of estimating $\alpha$ and $\beta$, where the parameter is the ratio of maximum to minimum interval length.


title: Constraining dimension-six nonminimal Lorentz-violating electron-nucleon interactions with EDM physics

abstract: The electric dipole moment (EDM) of an atom could arise also from $P$-odd and $T$-odd electron-nucleon couplings. In this work we investigate a general class of dimension-$6$ electron-nucleon ($e$-$N$) nonminimal interactions mediated by Lorentz-violating (LV) tensors of rank ranging from $1$ to $4$. The possible couplings are listed as well as their behavior under $C$, $P$ and $T$, allowing us to select the couplings compatible with EDM physics. The unsuppressed contributions of these couplings to the atom's Hamiltonian can be read as EDM-equivalent. The LV coefficients' magnitudes are limited using EDM experimental data to the level of $3.2\times 10^{-13} \text{(GeV)}^{-2}$ or $1.6\times10^{-15} \text{(GeV)}^{-2}$.


title: Backscatter Data Collection with Unmanned Ground Vehicle: Mobility Management and Power Allocation

abstract: Collecting data from massive Internet of Things (IoT) devices is a challenging task, since communication circuits are power-demanding while energy supply at IoT devices is limited. To overcome this challenge, backscatter communication emerges as a promising solution as it eliminates radio frequency components in IoT devices. Unfortunately, the transmission range of backscatter communication is short. To facilitate backscatter communication, this work proposes to integrate unmanned ground vehicle (UGV) with backscatter data collection. With such a scheme, the UGV could improve the communication quality by approaching various IoT devices. However, moving also costs energy consumption and a fundamental question is: what is the right balance between spending energy on moving versus on communication? To answer this question, this paper studies energy minimization under a joint graph mobility and backscatter communication model. With the joint model, the mobility management and power allocation problem unfortunately involves nonlinear coupling between discrete variables brought by mobility and continuous variables brought by communication. Despite the optimization challenges, an algorithm that theoretically achieves the minimum energy consumption is derived, and it leads to automatic trade-off between spending energy on moving versus on communication in the UGV backscatter system. Simulation results show that if the noise power is small (e.g., -100 dBm), the UGV should collect the data with small movements. However, if the noise power is increased to a larger value (e.g., -60 dBm), the UGV should spend more motion energy to get closer to IoT users.


title: A Highly Spinning and Aligned Binary Black Hole Merger in the Advanced LIGO First Observing Run

abstract: We report a new binary black hole merger in the publicly available LIGO First Observing Run (O1) data release. The event has an inverse false alarm rate of one per six years in the detector-frame chirp-mass range $\mathcal{M}^{\rm det} \in [20,40]M_\odot$ in a new independent analysis pipeline that we developed. Our best estimate of the probability that the event is of astrophysical origin is $P_{\rm astro} \sim 0.71\, .$ The estimated physical parameters of the event indicate that it is the merger of two massive black holes, $\mathcal{M}^{\rm det} = 31^{+2}_{-3}\,M_\odot$ with an effective spin parameter, $\chi_{\rm eff} = 0.81^{+0.15}_{-0.21}$, making this the most highly spinning merger reported to date. It is also among the two highest redshift mergers observed so far. The high aligned spin of the merger supports the hypothesis that merging binary black holes can be created by binary stellar evolution.


title: Oscillatory integrals and periodic homogenization of Robin boundary value problems

abstract: In this paper, we consider a family of second-order elliptic systems subject to a periodically oscillating Robin boundary condition. We establish the qualitative homogenization theorem on any Lipschitz domains satisfying a non-resonance condition. We also use the quantitative estimates of oscillatory integrals to obtain the dimension-dependent convergence rates in $L^2$, assuming that the domain is smooth and strictly convex.


title: Towards label-free distributed fiber hydrogen sensor with stimulated Raman spectroscopy

abstract: Hydrogen detection is of great importance in chemical and energy industries. Optical fiber hydrogen sensors show flexibility and compactness and have the potential for distributed analysis. However, traditional fiber sensors encounter a challenge for light to interact with hydrogen directly since hydrogen only display weak quadrupole absorption, and metallic palladium and platinum thin-film coatings are typically used as an optically detectable label. Here, based on stimulated Raman spectroscopy in hollow-core photonic crystal fibers, we investigate the label-free optical fiber distributed hydrogen sensors operating in the optical telecommunication band. The approach of distributed Raman measurement represents a new paradigm in fiber sensors, potentially allowing distributed chemical analysis in gas or liquid phase with high sensitivity and selectivity.


title: Generalized transportation cost spaces

abstract: The paper is devoted to the geometry of transportation cost spaces and their generalizations introduced by Melleray, Petrov, and Vershik (2008). Transportation cost spaces are also known as Arens-Eells, Lipschitz-free, or Wasserstein $1$ spaces. In this work, the existence of metric spaces with the following properties is proved: (1) uniformly discrete infinite metric spaces transportation cost spaces on which do not contain isometric copies of $\ell_1$, this result answers a question raised by Cuth and Johanis (2017); (2) locally finite metric spaces which admit isometric embeddings only into Banach spaces containing isometric copies of $\ell_1$; (3) metric spaces for which the double-point norm is not a norm. In addition, it is proved that the double-point norm spaces corresponding to trees are close to $\ell_\infty^d$ of the corresponding dimension, and that for all finite metric spaces $M$, except a very special class, the infimum of all seminorms for which the embedding of $M$ into the corresponding seminormed space is isometric, is not a seminorm.


title: Growth Window of Ferroelectric Epitaxial Hf0.5Zr0.5O2 Thin Films

abstract: The metastable orthorhombic phase of hafnia is generally obtained in polycrystalline films, whereas in epitaxial films, its formation has been much less investigated. We have grown Hf0.5Zr0.5O2 films by pulsed laser deposition, and the growth window (temperature and oxygen pressure during deposition and film thickness) for epitaxial stabilization of the ferroelectric phase is mapped. The remnant ferroelectric polarization, up to around 24 uC/cm2, depends on the amount of orthorhombic phase and interplanar spacing and increases with temperature and pressure for a fixed film thickness. The leakage current decreases with an increase in thickness or temperature, or when decreasing oxygen pressure. The coercive electric field (EC) depends on thickness (t) according to the coercive electric field (Ec) - thickness (t)-2/3 scaling, which is observed for the first time in ferroelectric hafnia, and the scaling extends to thicknesses down to around 5 nm. The proven ability to tailor the functional properties of high-quality epitaxial ferroelectric Hf0.5Zr0.5O2 films paves the way toward understanding their ferroelectric properties and prototyping devices.


title: Distributed Byzantine Tolerant Stochastic Gradient Descent in the Era of Big Data

abstract: The recent advances in sensor technologies and smart devices enable the collaborative collection of a sheer volume of data from multiple information sources. As a promising tool to efficiently extract useful information from such big data, machine learning has been pushed to the forefront and seen great success in a wide range of relevant areas such as computer vision, health care, and financial market analysis. To accommodate the large volume of data, there is a surge of interest in the design of distributed machine learning, among which stochastic gradient descent (SGD) is one of the mostly adopted methods. Nonetheless, distributed machine learning methods may be vulnerable to Byzantine attack, in which the adversary can deliberately share falsified information to disrupt the intended machine learning procedures. Therefore, two asynchronous Byzantine tolerant SGD algorithms are proposed in this work, in which the honest collaborative workers are assumed to store the model parameters derived from their own local data and use them as the ground truth. The proposed algorithms can deal with an arbitrary number of Byzantine attackers and are provably convergent. Simulation results based on a real-world dataset are presented to verify the theoretical results and demonstrate the effectiveness of the proposed algorithms.


title: Deterministic "Snakes and Ladders" Heuristic for the Hamiltonian Cycle Problem

abstract: We present a polynomial complexity, deterministic, heuristic for solving the Hamiltonian Cycle Problem (HCP) in an undirected graph of order $n$. Although finding a Hamiltonian cycle is not theoretically guaranteed, we have observed that the heuristic is successful even in cases where such cycles are extremely rare, and it also performs very well on all HCP instances of large graphs listed on the TSPLIB web page. The heuristic owes its name to a visualisation of its iterations. All vertices of the graph are placed on a given circle in some order. The graph's edges are classified as either snakes or ladders, with snakes forming arcs of the circle and ladders forming its chords. The heuristic strives to place exactly $n$ snakes on the circle, thereby forming a Hamiltonian cycle. The Snakes and Ladders Heuristic (SLH) uses transformations inspired by $k-$opt algorithms such as the, now classical, Lin-Kernighan heuristic to reorder the vertices on the circle in order to transform some ladders into snakes and vice versa. The use of a suitable stopping criterion ensures the heuristic terminates in polynomial time if no improvement is made in $n^3$ major iterations.


title: Correspondence between Phase Oscillator Network and Classical XY Model with the same random and frustrated interactions

abstract: We study correspondence between a phase oscillator network with distributed natural frequencies and a classical XY model at finite temperatures with the same random and frustrated interactions used in the Sherrington-Kirkpatrick model. We perform numerical calculations of the spin glass order parameter $q$ and the distributions of the local fields. As a result, we find that the parameter dependences of these quantities in both models agree fairly well if parameters are normalized by using the previously obtained correspondence relation between two models with the same other types of interactions. Furthermore, we numerically calculate several quantities such as the time evolution of the instantaneous local field in the phase oscillator network in order to study the roles of synchronous and asynchronous oscillators. We also study the self-consistent equation of the local fields in the oscillator network and XY model derived by the mean field approximation.


title: How Large a Vocabulary Does Text Classification Need? A Variational Approach to Vocabulary Selection

abstract: With the rapid development in deep learning, deep neural networks have been widely adopted in many real-life natural language applications. Under deep neural networks, a pre-defined vocabulary is required to vectorize text inputs. The canonical approach to select pre-defined vocabulary is based on the word frequency, where a threshold is selected to cut off the long tail distribution. However, we observed that such simple approach could easily lead to under-sized vocabulary or over-sized vocabulary issues. Therefore, we are interested in understanding how the end-task classification accuracy is related to the vocabulary size and what is the minimum required vocabulary size to achieve a specific performance. In this paper, we provide a more sophisticated variational vocabulary dropout (VVD) based on variational dropout to perform vocabulary selection, which can intelligently select the subset of the vocabulary to achieve the required performance. To evaluate different algorithms on the newly proposed vocabulary selection problem, we propose two new metrics: Area Under Accuracy-Vocab Curve and Vocab Size under X\% Accuracy Drop. Through extensive experiments on various NLP classification tasks, our variational framework is shown to significantly outperform the frequency-based and other selection baselines on these metrics.


title: CP-violating Dark Photon Interaction

abstract: We introduce a scenario for CP-violating (CPV) dark photon interactions in the context of non-abelian kinetic mixing. Assuming an effective field theory that extends the Standard Model (SM) field content with an additional $U(1)$ gauge boson ($X$) and a $SU(2)_L$ triplet scalar, we show that there exist both CP-conserving and CPV dimension five operators involving these new degrees of freedom and the SM $SU(2)_L$ gauge bosons. The former yields kinetic mixing between the $X$ and the neutral $SU(2)_L$ gauge boson (yielding the dark photon), while the latter induces CPV interactions of the dark photon with the SM particles. We discuss experimental probes of these interactions using searches for permanent electric dipole moments (EDMs) and di-jet correlations in high-energy $pp$ collisions. It is found that the experimental limit on the electron EDM currently gives the strongest restriction on the CPV interaction. In principle, high energy $pp$ collisions provide a complementary probe through azimuthal angular correlations of the two forward tagging jets in vector boson fusion. In practice, observation of the associated CPV asymmetry is likely to be challenging.


title: A New Search Pipeline for Compact Binary Mergers: Results for Binary Black Holes in the First Observing Run of Advanced LIGO

abstract: In this paper, we report on the construction of a new and independent pipeline for analyzing the public data from the first observing run of advanced LIGO for mergers of compact binary systems. The pipeline incorporates different techniques and makes independent implementation choices in all its stages including the search design, the method to construct template banks, the automatic routines to detect bad data segments ("glitches") and to insulate good data from them, the procedure to account for the non-stationary nature of the detector noise, the signal-quality vetoes at the single-detector level and the methods to combine results from multiple detectors. Our pipeline enabled us to identify a new binary black-hole merger GW151216 in the public LIGO data. This paper serves as a bird's eye view of the pipeline's important stages. Full details and derivations underlying the various stages will appear in accompanying papers.


title: A New Heuristic for Detecting Non-Hamiltonicity in Cubic Graphs

abstract: We analyse a polyhedron which contains the convex hull of all Hamiltonian cycles of a given undirected connected cubic graph. Our constructed polyhedron is defined by polynomially-many linear constraints in polynomially-many continuous (relaxed) variables. Clearly, the emptiness of the constructed polyhedron implies that the graph is non-Hamiltonian. However, whenever a constructed polyhedron is non-empty, the result is inconclusive. Hence, the following natural question arises: if we assume that a non-empty polyhedron implies Hamiltonicity, how frequently is this diagnosis incorrect? We prove that, in the case of bridge graphs, the constructed polyhedron is always empty. We also demonstrate that some non-bridge non-Hamiltonian cubic graphs induce empty polyhedra as well. We compare our approach to the famous Dantzig-Fulkerson-Johnson relaxation of a TSP, and give empirical evidence which suggests that the latter is infeasible if and only if our constructed polyhedron is also empty. By considering special edge cut sets which are present in most cubic graphs, we describe a heuristic approach, built on our constructed polyhedron, for which incorrect diagnoses of non-Hamiltonian graphs as Hamiltonian appear to be very rare. In particular, for cubic graphs containing up to 18 vertices, only four out of 45,982 undirected connected cubic graphs were so misdiagnosed. By constrast, we demonstrate that an equivalent heuristic, when built on the Dantzig-Fulkerson-Johnson relaxation of a TSP, is mostly unsuccessful in identifying additional non-Hamiltonian graphs. These empirical results suggest that polynomial algorithms based on our constructed polyhedron may be able to correctly identify Hamiltonicity of a cubic graph in all but rare cases.


title: A Periodogram-Based Method to Identify Forced and Natural Oscillations Using PMUs

abstract: Sustained oscillations in power systems are dangerous. There are various mechanisms, for instance, limit cycle and forced oscillation, that may lead to sustained oscillations, which nevertheless are hard to differentiate. In this paper, a novel periodogram-based method to distinguish different oscillation mechanism is proposed, which can quantitatively extract essential signatures of different mechanisms from power spectral density. Numerical study shows that the proposed method can accurately distinguish different oscillation mechanisms even when the forced oscillation frequency is close to the natural frequency.


title: Non-Hamiltonian 3-Regular Graphs with Arbitrary Girth

abstract: It is well known that 3--regular graphs with arbitrarily large girth exist. Three constructions are given that use the former to produce non-Hamiltonian 3--regular graphs without reducing the girth, thereby proving that such graphs with arbitrarily large girth also exist. The resulting graphs can be 1--, 2-- or 3--edge-connected depending on the construction chosen. From the constructions arise (naive) upper bounds on the size of the smallest non-Hamiltonian 3--regular graphs with particular girth. Several examples are given of the smallest such graphs for various choices of girth and connectedness.


title: Stateful Dataflow Multigraphs: A Data-Centric Model for Performance Portability on Heterogeneous Architectures

abstract: The ubiquity of accelerators in high-performance computing has driven programming complexity beyond the skill-set of the average domain scientist. To maintain performance portability in the future, it is imperative to decouple architecture-specific programming paradigms from the underlying scientific computations. We present the Stateful DataFlow multiGraph (SDFG), a data-centric intermediate representation that enables separating program definition from its optimization. By combining fine-grained data dependencies with high-level control-flow, SDFGs are both expressive and amenable to program transformations, such as tiling and double-buffering. These transformations are applied to the SDFG in an interactive process, using extensible pattern matching, graph rewriting, and a graphical user interface. We demonstrate SDFGs on CPUs, GPUs, and FPGAs over various motifs --- from fundamental computational kernels to graph analytics. We show that SDFGs deliver competitive performance, allowing domain scientists to develop applications naturally and port them to approach peak hardware performance without modifying the original scientific code.


title: Asymptotic analysis of solutions related to the game-theoretic p-laplacian

abstract: We consider the (viscosity) solution $u(x,t)$ of the nonlinear evolution equation $u_t-\Delta^G_p u=0$ in a (not necessarily bounded) domain $\Omega$, such that $u=0$ in $\Omega$ at time $t=0$ and $u=1$ on the boundary of $\Omega$ at all times. Here, $\Delta_p^G$ is the game-theoretic $p$-laplacian, a $1$-homogeneous version of the standard $p$-laplacian. Also, we consider the (viscosity) solution $u^\varepsilon$ of the nonlinear elliptic equation $\varepsilon^2\Delta_p^G u^\varepsilon= u^\varepsilon$ in $\Omega$, satisfying $u^\varepsilon=1$ on its boundary. In this thesis, we establish asymptotic formulas for small positive values of $t$ and $\varepsilon$ involving both the values of $u(x,t)$ and $u^\varepsilon(x)$ and their $q$-means on balls touching the boundary. In the spirit of S.~R.~S.~Varadhan's work, we associate appropriate rescalings of the values of $u(x,t)$ and $u^\varepsilon(x)$ to the distance of $x$ to the boundary of $\Omega$. We also provide accurate uniform estimates of the rate of approximation in these formulas, highlighting the dependence on both the parameter $p$ and the regularity of the domain. The uniform estimates are new results also in the linear case. Also, we connect the asymptotic behavior of $q$-means on balls touching the boundary to a suitable function of principal curvatures. These results generalize and extend formulas for the heat content, obtained by R. Magnanini and S. Sakaguchi for $p=q=2$. Finally, we give a few applications of the asymptotic formulas to geometric and symmetry results. In particular, we characterize time-invariant level surfaces of $u(x,t)$ (or $\varepsilon$-invariant level surfaces of $u^\varepsilon(x)$) as spheres and hyperplanes.


title: ABCD-Strategy: Budgeted Experimental Design for Targeted Causal Structure Discovery

abstract: Determining the causal structure of a set of variables is critical for both scientific inquiry and decision-making. However, this is often challenging in practice due to limited interventional data. Given that randomized experiments are usually expensive to perform, we propose a general framework and theory based on optimal Bayesian experimental design to select experiments for targeted causal discovery. That is, we assume the experimenter is interested in learning some function of the unknown graph (e.g., all descendants of a target node) subject to design constraints such as limits on the number of samples and rounds of experimentation. While it is in general computationally intractable to select an optimal experimental design strategy, we provide a tractable implementation with provable guarantees on both approximation and optimization quality based on submodularity. We evaluate the efficacy of our proposed method on both synthetic and real datasets, thereby demonstrating that our method realizes considerable performance gains over baseline strategies such as random sampling.


title: On the Determinant and its Derivatives of the Rank-one Corrected Generator of a Markov Chain on a Graph

abstract: We present an algorithm to find the determinant and its first and second derivatives of a rank-one corrected generator matrix of a doubly stochastic Markov chain. The motivation arises from the fact that the global minimiser of this determinant solves the Hamiltonian cycle problem. It is essential for algorithms that find global minimisers to evaluate both first and second derivatives at every iteration. Potentially the computation of these derivatives could require an overwhelming amount of work since for the Hessian $N^2$ cofactors are required. We show how the doubly stochastic structure and the properties of the objective may be exploited to calculate all cofactors from a single LU decomposition.


title: Linearly-growing Reductions of Karp's 21 NP-complete Problems

abstract: We address the question of whether it may be worthwhile to convert certain, now classical, NP-complete problems to one of a smaller number of kernel NP-complete problems. In particular, we show that Karp's classical set of 21 NP-complete problems contains a kernel subset of six problems with the property that each problem in the larger set can be converted to one of these six problems with only linear growth in problem size. This finding has potential applications in optimisation theory because the kernel subset includes 0-1 integer programming, job sequencing and undirected Hamiltonian cycle problems.


title: Deeper Connections between Neural Networks and Gaussian Processes Speed-up Active Learning

abstract: Active learning methods for neural networks are usually based on greedy criteria which ultimately give a single new design point for the evaluation. Such an approach requires either some heuristics to sample a batch of design points at one active learning iteration, or retraining the neural network after adding each data point, which is computationally inefficient. Moreover, uncertainty estimates for neural networks sometimes are overconfident for the points lying far from the training sample. In this work we propose to approximate Bayesian neural networks (BNN) by Gaussian processes, which allows us to update the uncertainty estimates of predictions efficiently without retraining the neural network, while avoiding overconfident uncertainty prediction for out-of-sample points. In a series of experiments on real-world data including large-scale problems of chemical and physical modeling, we show superiority of the proposed approach over the state-of-the-art methods.


title: Constructing Arbitrarily Large Graphs with a Specified Number of Hamiltonian Cycles

abstract: A constructive method is provided that outputs a directed graph which is named a broken crown graph, containing $5n-9$ vertices and $k$ Hamiltonian cycles for any choice of integers $n \geq k \geq 4$. The construction is not designed to be minimal in any sense, but rather to ensure that the graphs produced remain non-trivial instances of the Hamiltonian cycle problem even when $k$ is chosen to be much smaller than $n$.


title: FHCP Challenge Set: The First Set of Structurally Difficult Instances of the Hamiltonian Cycle Problem

abstract: The FHCP Challenge Set, comprising of 1001 instances of Hamiltonian cycle problem, is introduced. This set is the first to contain instances of Hamiltonian cycle problem for which the primary difficulty is the underlying graph structure, rather than simply size. A summary of the kinds of graphs contained in the FHCP Challenge Set is given. A discussion of the results of the FHCP Challenge, a year-long competition to solve all instances of the FHCP Challenge Set first announced at the 59th Annual Meeting for the Australian Mathematical Society, is also included.


title: A physical mechanism of heterogeneity in stem cell, cancer and cancer stem cell

abstract: Heterogeneity is ubiquitous in stem cells (SC), cancer cells (CS), and cancer stem cells (CSC). SC and CSC heterogeneity is manifested as diverse sub-populations with self-renewing and unique regeneration capacity. Moreover, the CSC progeny possesses multiple plasticity and cancerous characteristics. Many studies have demonstrated that cancer heterogeneity is one of the greatest obstacle for therapy. This leads to the incomplete anti-cancer therapies and transitory efficacy. Furthermore, numerous micro-metastasis leads to the wide spread of the tumor cells across the body which is the beginning of metastasis. The epigenetic processes (DNA methylation or histone remodification etc.) can provide a source for certain heterogeneity. In this study, we develop a mathematical model to quantify the heterogeneity of SC, CSC and cancer taking both genetic and epigenetic effects into consideration. We uncovered the roles and physical mechanisms of heterogeneity from the three aspects (SC, CSC and cancer). In the adiabatic regime (relatively fast regulatory binding and effective coupling among genes), seven native states (SC, CSC, Cancer, Premalignant, Normal, Lesion and Hyperplasia) emerge. In non-adiabatic regime (relatively slow regulatory binding and effective weak coupling among genes), multiple meta-stable SC, CS, CSC and differentiated states emerged which can explain the origin of heterogeneity. In other words, the slow regulatory binding mimicking the epigenetics can give rise to heterogeneity. Elucidating the origin of heterogeneity and dynamical interrelationship between intra-tumoral cells has clear clinical significance in helping to understand the cellular basis of treatment response, therapeutic resistance, and tumor relapse.


title: A Linearly-growing Conversion from the Set Splitting Problem to the Directed Hamiltonian Cycle Problem

abstract: We consider a direct conversion of the, classical, set splitting problem to the directed Hamiltonian cycle problem. A constructive procedure for such a conversion is given, and it is shown that the input size of the converted instance is a linear function of the input size of the original instance. A proof that the two instances are equivalent is given, and a procedure for identifying a solution to the original instance from a solution of the converted instance is also provided. We conclude with two examples of set splitting problem instances, one with solutions and one without, and display the corresponding instances of the directed Hamiltonian cycle problem, along with a solution in the first example.


title: Catching and Reversing a Quantum Jump Mid-Flight

abstract: A quantum system driven by a weak deterministic force while under strong continuous energy measurement exhibits quantum jumps between its energy levels (Nagourney et al., 1986, Sauter et al., 1986, Bergquist et al., 1986). This celebrated phenomenon is emblematic of the special nature of randomness in quantum physics. The times at which the jumps occur are reputed to be fundamentally unpredictable. However, certain classical phenomena, like tsunamis, while unpredictable in the long term, may possess a degree of predictability in the short term, and in some cases it may be possible to prevent a disaster by detecting an advance warning signal. Can there be, despite the indeterminism of quantum physics, a possibility to know if a quantum jump is about to occur or not? In this dissertation, we answer this question affirmatively by experimentally demonstrating that the completed jump from the ground to an excited state of a superconducting artificial atom can be tracked, as it follows its predictable "flight," by monitoring the population of an auxiliary level coupled to the ground state. Furthermore, the experimental results demonstrate that the jump when completed is continuous, coherent, and deterministic. Exploiting these features, we catch and reverse a quantum jump mid-flight, thus deterministically preventing its completion. This real-time intervention is based on a particular lull period in the population of the auxiliary level, which serves as our advance warning signal. Our results, which agree with theoretical predictions essentially without adjustable parameters, support the modern quantum trajectory theory and provide new ground for the exploration of real-time intervention techniques in the control of quantum systems, such as early detection of error syndromes.

categories: quant-ph cond-mat.mes-hall cond-mat.supr-con physics.atom-ph


title: A Note on Using the Resistance-Distance Matrix to solve Hamiltonian Cycle Problem

abstract: An instance of Hamiltonian cycle problem can be solved by converting it to an instance of Travelling salesman problem, assigning any choice of weights to edges of the underlying graph. In this note we demonstrate that, for difficult instances, choosing the edge weights to be the resistance distance between its two incident vertices is often a good choice. We also demonstrate that arguably stronger performance arises from using the inverse of the resistance distance. Examples are provided demonstrating benefits gained from these choices.


title: On the Crossing Number of the Cartesian Product of a Sunlet Graph and a Star Graph

abstract: The exact crossing number is only known for a small number of families of graphs. Many of the families for which crossing numbers have been determined correspond to cartesian products of two graphs. Here, the cartesian product of the Sunlet graph, denoted $\mathcal{S}_n$, and the Star graph, denoted $K_{1,m}$, is considered for the first time. It is proved that the crossing number of $\mathcal{S}_n \Box K_{1,2}$ is $n$, and the crossing number of $\mathcal{S}_n \Box K_{1,3}$ is $3n$. An upper bound for the crossing number of $\mathcal{S}_n \Box K_{1,m}$ is also given.


title: The rigid body and the pendulum revisited

abstract: In this paper we revisit the construction by which the $SL(2,\mathbb{R})$ symmetry of the Euler equations allows to obtain the simple pendulum from the rigid body. We begin reviewing the original relation found by Holm and Marsden in which, starting from the two Casimir functions of the extended rigid body with Lie algebra $ISO(2)$ and introducing a proper momentum map, it is possible to obtain both the Hamiltonian and equations of motion of the pendulum. Important in this construction is the fact that both Casimirs have the geometry of an elliptic cylinder. By considering the whole $SL(2,\mathbb{R})$ symmetry group, in this contribution we give all possible combinations of the Casimir functions and the corresponding momentum maps that produce the simple pendulum, showing that this system can also appear when the geometry of one of the Casimirs is given by a hyperbolic cylinder and the another one by an elliptic cylinder. As a result we show that from the extended rigid body with Lie algebra $ISO(1,1)$, it is possible to obtain the pendulum but only in circulating movement. Finally, as a by product of our analysis we provide the momentum maps that give origin to the pendulum with an imaginary time. Our discussion covers both the algebraic and the geometric point of view.


title: Charge and Orbital Orderings, and Frustration in Quasi-one-dimensional Ferrimagnetic Insulator $\beta$-V$_2$O(PO$_4$)

abstract: Using ab initio calculations based on the correlated band theory, we have investigated the quasi-one-dimensional chain system $\beta$-V$_2$O(PO$_4$), showing both charge and spin orderings. Even in the uncorrelated region, the pure transition from the tetragonal to the monoclinic structure leads to a sizable charge difference between the two types of V ions, regardless of magnetic orders. In the ferrimagnetic phase, inclusion of the on-site Coulomb repulsion $U$ leads to a full orbital-polarization of V1 ($t_{2g}^{3\uparrow}$, $S=\frac{3}{2}$) and V2 ($a_{1g}^{1\downarrow}e_g^{\prime{1\downarrow}}$, $S=1$) above $U^c_{eff}\approx3.5$ eV, leading to local spin moments of 2.30 and --1.54 $\mu_B$, respectively, with small orbital moments of several hundredth $\mu_B$. So, the net moment is nearly 1 $\mu_B$ per formula unit, which is about 2--3 times larger than the experimental value. Our results show significant variations, strongly depending on the strength of $U_{eff}$, in energy differences between various magnetic states as well as a small magnetic anisotropy. These results suggest that the substantial difference between the calculated and experimental moments is attributed to quantum fluctuation of the pyrochlore-like weakly linked V$_4$ tetrahedral structure. Our findings are expected to provide a good platform to investigate the interplay among the charge-, spin-, and lattice-degrees of freedom, and geometrical frustration.


title: An Editorial Network for Enhanced Document Summarization

abstract: We suggest a new idea of Editorial Network - a mixed extractive-abstractive summarization approach, which is applied as a post-processing step over a given sequence of extracted sentences. Our network tries to imitate the decision process of a human editor during summarization. Within such a process, each extracted sentence may be either kept untouched, rephrased or completely rejected. We further suggest an effective way for training the "editor" based on a novel soft-labeling approach. Using the CNN/DailyMail dataset we demonstrate the effectiveness of our approach compared to state-of-the-art extractive-only or abstractive-only baseline methods.


title: Direct laser cooling to Bose-Einstein condensation in a dipole trap

abstract: We present a method for producing three-dimensional Bose-Einstein condensates using only laser cooling. The phase transition to condensation is crossed with $2.5 {\times} 10^{4}$ $^{87}\mathrm{Rb}$ atoms at a temperature of $T_{\mathrm{c}} = 0.6\ \mu\mathrm{K}$ after 1.4 s of cooling. Atoms are trapped in a crossed optical dipole trap and cooled using Raman cooling with far-off-resonant optical pumping light to reduce atom loss and heating. The achieved temperatures are well below the effective recoil temperature. We find that during the final cooling stage at atomic densities above $10^{14}\ \mathrm{cm}^{-3}$, careful tuning of trap depth and optical-pumping rate is necessary to evade heating and loss mechanisms. The method may enable the fast production of quantum degenerate gases in a variety of systems including fermions.


title: Dilations of $q$-commuting unitaries

abstract: Let $q = e^{i \theta} \in \mathbb{T}$ (where $\theta \in \mathbb{R}$), and let $u,v$ be $q$-commuting unitaries, i.e., $u$ and $v$ are unitaries such that $vu = quv$. In this paper we find the optimal constant $c = c_\theta$ such that $u,v$ can be dilated to a pair of operators $c U, c V$, where $U$ and $V$ are commuting unitaries. We show that \[ c_\theta = \frac{4}{\|u_\theta+u_\theta^*+v_\theta+v_\theta^*\|}, \] where $u_\theta, v_\theta$ are the universal $q$-commuting pair of unitaries, and we give numerical estimates for the above quantity. In the course of our proof, we also consider dilating $q$-commuting unitaries to scalar multiples of $q'$-commuting unitaries. The techniques that we develop allow us to give new and simple "dilation theoretic" proofs of well known results regarding the continuity of the field of rotations algebras. In particular, for the so-called "Almost Mathieu Operator" $h_\theta = u_\theta+u_\theta^*+v_\theta+v_\theta^*$, we recover the fact that the norm $\|h_\theta\|$ is a Lipshitz continuous function of $\theta$, as well as the result that the spectrum $\sigma(h_\theta)$ is a $\frac{1}{2}$-H\"older continuous function in $\theta$ with respect to the Hausdorff metric. In fact, we obtain this H\"older continuity of the spectrum for every selfadjoint $*$-polynomial $p(u_\theta,v_\theta)$, which in turn endows the rotation algebras with the natural structure of a continuous field of C*-algebras.


title: The Importance of Metric Learning for Robotic Vision: Open Set Recognition and Active Learning

abstract: State-of-the-art deep neural network recognition systems are designed for a static and closed world. It is usually assumed that the distribution at test time will be the same as the distribution during training. As a result, classifiers are forced to categorise observations into one out of a set of predefined semantic classes. Robotic problems are dynamic and open world; a robot will likely observe objects that are from outside of the training set distribution. Classifier outputs in robotic applications can lead to real-world robotic action and as such, a practical recognition system should not silently fail by confidently misclassifying novel observations. We show how a deep metric learning classification system can be applied to such open set recognition problems, allowing the classifier to label novel observations as unknown. Further to detecting novel examples, we propose an open set active learning approach that allows a robot to efficiently query a user about unknown observations. Our approach enables a robot to improve its understanding of the true distribution of data in the environment, from a small number of label queries. Experimental results show that our approach significantly outperforms comparable methods in both the open set recognition and active learning problems.


title: Multi-loss-aware Channel Pruning of Deep Networks

abstract: Channel pruning, which seeks to reduce the model size by removing redundant channels, is a popular solution for deep networks compression. Existing channel pruning methods usually conduct layer-wise channel selection by directly minimizing the reconstruction error of feature maps between the baseline model and the pruned one. However, they ignore the feature and semantic distributions within feature maps and real contribution of channels to the overall performance. In this paper, we propose a new channel pruning method by explicitly using both intermediate outputs of the baseline model and the classification loss of the pruned model to supervise layer-wise channel selection. Particularly, we introduce an additional loss to encode the differences in the feature and semantic distributions within feature maps between the baseline model and the pruned one. By considering the reconstruction error, the additional loss and the classification loss at the same time, our approach can significantly improve the performance of the pruned model. Comprehensive experiments on benchmark datasets demonstrate the effectiveness of the proposed method.


title: A Distributionally Robust Optimization Method for Adversarial Multiple Kernel Learning

abstract: We propose a novel data-driven method to learn a mixture of multiple kernels with random features that is certifiabaly robust against adverserial inputs. Specifically, we consider a distributionally robust optimization of the kernel-target alignment with respect to the distribution of training samples over a distributional ball defined by the Kullback-Leibler (KL) divergence. The distributionally robust optimization problem can be recast as a min-max optimization whose objective function includes a log-sum term. We develop a mini-batch biased stochastic primal-dual proximal method to solve the min-max optimization. To debias the minibatch algorithm, we use the Gumbel perturbation technique to estimate the log-sum term. We establish theoretical guarantees for the performance of the proposed multiple kernel learning method. In particular, we prove the consistency, asymptotic normality, stochastic equicontinuity, and the minimax rate of the empirical estimators. In addition, based on the notion of Rademacher and Gaussian complexities, we establish distributionally robust generalization bounds that are tighter than previous known bounds. More specifically, we leverage matrix concentration inequalities to establish distributionally robust generalization bounds. We validate our kernel learning approach for classification with the kernel SVMs on synthetic dataset generated by sampling multvariate Gaussian distributions with differernt variance structures. We also apply our kernel learning approach to the MNIST data-set and evaluate its robustness to perturbation of input images under different adversarial models. More specifically, we examine the robustness of the proposed kernel model selection technique against FGSM, PGM, C\&W, and DDN adversarial perturbations, and compare its performance with alternative state-of-the-art multiple kernel learning paradigms.


title: Leveraging Motifs to Model the Temporal Dynamics of Diffusion Networks

abstract: Information diffusion mechanisms based on social influence models are mainly studied using likelihood of adoption when active neighbors expose a user to a message. The problem arises primarily from the fact that for the most part, this explicit information of who-exposed-whom among a group of active neighbors in a social network, before a susceptible node is infected is not available. In this paper, we attempt to understand the diffusion process through information cascades by studying the temporal network structure of the cascades. In doing so, we accommodate the effect of exposures from active neighbors of a node through a network pruning technique that leverages network motifs to identify potential infectors responsible for exposures from among those active neighbors. We attempt to evaluate the effectiveness of the components used in modeling cascade dynamics and especially whether the additional effect of the exposure information is useful. Following this model, we develop an inference algorithm namely InferCut, that uses parameters learned from the model and the exposure information to predict the actual parent node of each potentially susceptible user in a given cascade. Empirical evaluation on a real world dataset from Weibo social network demonstrate the significance of incorporating exposure information in recovering the exact parents of the exposed users at the early stages of the diffusion process.


title: Generalised Jordan map, symplectic transformations and Dirac's representation of the 3 + 2 de Sitter group

abstract: In his 1963 paper, Dirac [1] gave `A Remarkable Representation of the 3 + 2 de- Sitter Group'. We reproduce this representation using a generalised Jordan map which is motivated by the infinitesimal symplectic transformations related to the four dimensional symplectic group Sp(4). A physical picture of Dirac's representation is also discussed.


title: Extending functions from Nikolskii-Besov spaces of mixed smoothness beyond a cube

abstract: The article examines Nikolskii and Besov spaces with norms defined using "$L_p$-averaged" mixed moduli of continuity of functions of appropriate orders, instead of mixed moduli of continuity of known orders for certain mixed derivative functions. The author builds continuous linear mappings of such spaces of functions defined on cube $ I^d, $ to ordinary Nikolskii and Besov spaces of mixed smoothness in $ \mathbb R^d, $ that are function extension operators, thus incurring coincidence of both kinds of spaces on the cube $ I^d. $


title: Counting to Ten with Two Fingers: Compressed Counting with Spiking Neurons

abstract: We consider the task of measuring time with probabilistic threshold gates implemented by bio-inspired spiking neurons. In the model of spiking neural networks, network evolves in discrete rounds, where in each round, neurons fire in pulses in response to a sufficiently high membrane potential. This potential is induced by spikes from neighboring neurons that fired in the previous round, which can have either an excitatory or inhibitory effect. We first consider a deterministic implementation of a neural timer and show that $\Theta(\log t)$ (deterministic) threshold gates are both sufficient and necessary. This raised the question of whether randomness can be leveraged to reduce the number of neurons. We answer this question in the affirmative by considering neural timers with spiking neurons where the neuron $y$ is required to fire for $t$ consecutive rounds with probability at least $1-\delta$, and should stop firing after at most $2t$ rounds with probability $1-\delta$ for some input parameter $\delta \in (0,1)$. Our key result is a construction of a neural timer with $O(\log\log 1/\delta)$ spiking neurons. Interestingly, this construction uses only one spiking neuron, while the remaining neurons can be deterministic threshold gates. We complement this construction with a matching lower bound of $\Omega(\min\{\log\log 1/\delta, \log t\})$ neurons. This provides the first separation between deterministic and randomized constructions in the setting of spiking neural networks. Finally, we demonstrate the usefulness of compressed counting networks for synchronizing neural networks.


title: Cluster Regularized Quantization for Deep Networks Compression

abstract: Deep neural networks (DNNs) have achieved great success in a wide range of computer vision areas, but the applications to mobile devices is limited due to their high storage and computational cost. Much efforts have been devoted to compress DNNs. In this paper, we propose a simple yet effective method for deep networks compression, named Cluster Regularized Quantization (CRQ), which can reduce the presentation precision of a full-precision model to ternary values without significant accuracy drop. In particular, the proposed method aims at reducing the quantization error by introducing a cluster regularization term, which is imposed on the full-precision weights to enable them naturally concentrate around the target values. Through explicitly regularizing the weights during the re-training stage, the full-precision model can achieve the smooth transition to the low-bit one. Comprehensive experiments on benchmark datasets demonstrate the effectiveness of the proposed method.


title: Query Term Weighting based on Query Performance Prediction

abstract: This work presents a general query term weighting approach based on query performance prediction (QPP). To this end, a given term is weighed according to its predicted effect on query performance. Such an effect is assumed to be manifested in the responses made by the underlying retrieval method for the original query and its (simple) variants in the form of a single-term expanded query. Focusing on search re-ranking as the underlying application, the effectiveness of the proposed term weighting approach is demonstrated using several state-of-the-art QPP methods evaluated over TREC corpora.


title: On a non-critical symmetric square $L$-value of the congruent number elliptic curves

abstract: The congruent number elliptic curves are defined by $E_d: y^2=x^3-d^2x$, where $d\in \mathbb{N}.$ We give a simple proof of a formula for $L(\mathrm{Sym}^2(E_d),3)$ in terms of the determinant of the elliptic trilogarithm evaluated at some degree zero divisors supported on the torsion points on $E_d(\overline{\mathbb{Q}})$.


title: Introducing Minkowski Normality

abstract: We introduce the concept of Minkowski normality, a different type of normality for the regular continued fraction expansion. We use the ordering \[ \frac{1}{2},\quad \frac{1}{3}, \frac{2}{3},\quad \frac{1}{4}, \frac{3}{4},\frac{2}{5}, \frac{3}{5},\quad \frac{1}{5}, \cdots \] of rationals obtained from the Kepler tree to give a concrete construction of an infinite continued fraction whose digits are distributed according to the Minkowski question mark measure. To do this we define an explicit correspondence between continued fraction expansions and binary codes to show that we can use the dyadic Champernowne number to prove normality of the constructed number. Furthermore, we provide a generalised construction based on the underlying structure of the Kepler tree, which shows that any construction that concatenates the continued fraction expansions of all rationals, ordered so that the sum of the digits of the continued fraction expansion are non-decreasing, results in a number that is Minkowski normal.


title: Domain-Constrained Advertising Keyword Generation

abstract: Advertising (ad for short) keyword suggestion is important for sponsored search to improve online advertising and increase search revenue. There are two common challenges in this task. First, the keyword bidding problem: hot ad keywords are very expensive for most of the advertisers because more advertisers are bidding on more popular keywords, while unpopular keywords are difficult to discover. As a result, most ads have few chances to be presented to the users. Second, the inefficient ad impression issue: a large proportion of search queries, which are unpopular yet relevant to many ad keywords, have no ads presented on their search result pages. Existing retrieval-based or matching-based methods either deteriorate the bidding competition or are unable to suggest novel keywords to cover more queries, which leads to inefficient ad impressions. To address the above issues, this work investigates to use generative neural networks for keyword generation in sponsored search. Given a purchased keyword (a word sequence) as input, our model can generate a set of keywords that are not only relevant to the input but also satisfy the domain constraint which enforces that the domain category of a generated keyword is as expected. Furthermore, a reinforcement learning algorithm is proposed to adaptively utilize domain-specific information in keyword generation. Offline evaluation shows that the proposed model can generate keywords that are diverse, novel, relevant to the source keyword, and accordant with the domain constraint. Online evaluation shows that generative models can improve coverage (COV), click-through rate (CTR), and revenue per mille (RPM) substantially in sponsored search.


title: Cross validation in sparse linear regression with piecewise continuous nonconvex penalties and its acceleration

abstract: We investigate the signal reconstruction performance of sparse linear regression in the presence of noise when piecewise continuous nonconvex penalties are used. Among such penalties, we focus on the SCAD penalty. The contributions of this study are three-fold: We first present a theoretical analysis of a typical reconstruction performance, using the replica method, under the assumption that each component of the design matrix is given as an independent and identically distributed (i.i.d.) Gaussian variable. This clarifies the superiority of the SCAD estimator compared with $\ell_1$ in a wide parameter range, although the nonconvex nature of the penalty tends to lead to solution multiplicity in certain regions. This multiplicity is shown to be connected to replica symmetry breaking in the spin-glass theory. We also show that the global minimum of the mean square error between the estimator and the true signal is located in the replica symmetric phase. Second, we develop an approximate formula efficiently computing the cross-validation error without actually conducting the cross-validation, which is also applicable to the non-i.i.d. design matrices. It is shown that this formula is only applicable to the unique solution region and tends to be unstable in the multiple solution region. We implement instability detection procedures, which allows the approximate formula to stand alone and resultantly enables us to draw phase diagrams for any specific dataset. Third, we propose an annealing procedure, called nonconvexity annealing, to obtain the solution path efficiently. Numerical simulations are conducted on simulated datasets to examine these results to verify the theoretical results consistency and the approximate formula efficiency. Another numerical experiment on a real-world dataset is conducted; its results are consistent with those of earlier studies using the $\ell_0$ formulation.


title: User-based collaborative filtering approach for content recommendation in OpenCourseWare platforms

abstract: A content recommender system or a recommendation system represents a subclass of information filtering systems which seeks to predict the user preferences, i.e. the content that would be most likely positively "rated" by the user. Nowadays, the recommender systems of OpenCourseWare (OCW) platforms typically generate a list of recommendations in one of two ways, i.e. through the content-based filtering, or user-based collaborative filtering (CF). In this paper, the conceptual idea of the content recommendation module was provided, which is capable of proposing the related decks (presentations, educational material, etc.) to the user having in mind past user activities, preferences, type and content similarity, etc. It particularly analyses suitable techniques for implementation of the user-based CF approach and user-related features that are relevant for the content evaluation. The proposed approach also envisages a hybrid recommendation system as a combination of user-based and content-based approaches in order to provide a holistic and efficient solution for content recommendation. Finally, for evaluation and testing purposes, a designated content recommendation module was implemented as part of the SlideWiki authoring OCW platform.


title: Spin squeezing by one-photon-two-atom excitations processes in atomic ensembles

abstract: It has been shown elsewhere that two spatially separated atoms can jointly absorb one photon, whose frequency is equal to the sum of the transition frequencies of the two atoms. We describe this process in the presence of an ensemble of many two-level atoms, and show that it can be used to generate spin squeezing and entanglement. This resonant collective process allows to create a sizeable squeezing already at the single-photon limit. It represents a novel way for generating manybody spin-spin interactions, yielding a two-axis twisting-like interaction among the spins, which is very effcient for the generation of spin squeezing. We perform explicit calculations for ensembles of magnetic molecules coupled to a superconducting coplanar cavities. This system represents an attractive on-chip architecture for the realization of improved sensing.


title: A cobordism category attached to Khovanov-Rozansky link homologies based on operads

abstract: We consider colored operads and their actions on categories. As a special example we construct a cobordism category with a colored operad action arising from oriented planar arc diagrams. This is used to construct an invariant of oriented tangle diagrams with values in the homotopy category attached to the cobordism category. Motivated by Bar-Natan's categorification of the Jones polynomial, it categorifies the quantum $sl_n$ quantum invariants and is adapted to the categorification of the $sl_n$ quantum invariants by Khovanov and Rozansky using matrix factorizations. We conjecture to exist the consistency of the cobordism category and to have an explicit functor from the cobordism category to a category of matrix factorizations.


title: Can learning from natural image denoising be used for seismic data interpolation?

abstract: We propose a convolutional neural network (CNN) denoising based method for seismic data interpolation. It provides a simple and efficient way to break though the lack problem of geophysical training labels that are often required by deep learning methods. The new method consists of two steps: (1) Train a set of CNN denoisers from natural image clean-noisy pairs to learn denoising; (2) Integrate the trained CNN denoisers into project onto convex set (POCS) framework to perform seismic data interpolation. The method alleviates the demanding of seismic big data with similar features as applications of end-to-end deep learning on seismic data interpolation. Additionally, the proposed method is flexible for many cases of traces missing because missing cases are not involved in the training step, and thus it is of plug-and-play nature. These indicate the high generalizability of our approach and the reduction of the need of the problem-specific training. Primary results on synthetic and field data show promising interpolation performances of the presented CNN-POCS method in terms of signal-to-noise ratio, de-aliasing and weak-feature reconstruction, in comparison with traditional $f$-$x$ prediction filtering and curvelet transform based POCS methods.


title: On field extensions given by periods of Drinfeld modules

abstract: In this short note, we answer a question raised by M. Papikian on a universal upper bound for the degree of the extension of $K_\infty$ given by adjoining the periods of a Drinfeld module of rank 2. We show that contrary to the rank 1 case such a universal upper bound does not exist, and the proof generalises to higher rank. Moreover, we give an upper and lower bound for the extension degree depending on the valuations of the defining coefficients of the Drinfeld module. In particular, the lower bound shows the non-existence of a universal upper bound.


title: Adaptation for nonparametric estimators of locally stationary processes

abstract: Two adaptive bandwidth selection methods for nonparametric estimators in locally stationary processes are proposed. We investigate a cross validation approach and a method based on contrast minimization and derive asymptotic properties of both methods. The results are applicable for different statistics under a broad setting of locally stationarity including nonlinear processes. At the same time we deepen the general framework for local stationarity based on stationary approximations. For example a general Bernstein inequality is derived for such processes. A simulation study performed on the covariance function and more complicated functionals shows that both adaptation methods work well.


title: Cosmic ray acceleration to ultrahigh energy in radio galaxies

abstract: The origin of ultrahigh energy cosmic rays (UHECRs) is an open question. In this proceeding, we first review the general physical requirements that a source must meet for acceleration to 10-100 EeV, including the consideration that the shock is not highly relativistic. We show that shocks in the backflows of radio galaxies can meet these requirements. We discuss a model in which giant-lobed radio galaxies such as Centaurus A and Fornax A act as slowly-leaking UHECR reservoirs, with the UHECRs being accelerated during a more powerful past episode. We also show that Centaurus A, Fornax A and other radio galaxies may explain the observed anisotropies in data from the Pierre Auger Observatory, before examining some of the difficulties in associating UHECR anisotropies with astrophysical sources.


title: Stokes flow analogous to viscous electron current in graphene

abstract: Electron transport in two-dimensional conducting materials such as graphene, with dominant electron-electron interaction, exhibits unusual vortex flow that leads to a nonlocal current-field relation (negative resistance), distinct from the classical Ohm's law. The transport behavior of these materials is best described by low Reynolds number hydrodynamics, where the constitutive pressure-speed relation is Stoke's law. Here we report evidence of such vortices observed in a viscous flow of Newtonian fluid in a microfluidic device consisting of a rectangular cavity$-$analogous to the electronic system. We extend our experimental observations to elliptic cavities of different eccentricities, and validate them by numerically solving bi-harmonic equation obtained for the viscous flow with no-slip boundary conditions. We verify the existence of a predicted threshold at which vortices appear. Strikingly, we find that a two-dimensional theoretical model captures the essential features of three-dimensional Stokes flow in experiments.


title: Query Scheduling in the Presence of Complex User Profiles

abstract: Advances in Web technology enable personalization proxies that assist users in satisfying their complex information monitoring and aggregation needs through the repeated querying of multiple volatile data sources. Such proxies face a scalability challenge when trying to maximize the number of clients served while at the same time fully satisfying clients' complex user profiles. In this work we use an abstraction of complex execution intervals (CEIs) constructed over simple execution intervals (EIs) represents user profiles and use existing offline approximation as a baseline for maximizing completeness of capturing CEIs. We present three heuristic solutions for the online problem of query scheduling to satisfy complex user profiles. The first only considers properties of individual EIs while the other two exploit properties of all EIs in the CEI. We use an extensive set of experiments on real traces and synthetic data to show that heuristics that exploit knowledge of the CEIs dominate across multiple parameter settings.


title: Reducing Artificial Neural Network Complexity: A Case Study on Exoplanet Detection

abstract: Despite their successes in the field of self-learning AI, Convolutional Neural Networks (CNNs) suffer from having too many trainable parameters, impacting computational performance. Several approaches have been proposed to reduce the number of parameters in the visual domain, the Inception architecture [Szegedy et al., 2016] being a prominent example. This raises the question whether the number of trainable parameters in CNNs can also be reduced for 1D inputs, such as time-series data, without incurring a substantial loss in classification performance. We propose and examine two methods for complexity reduction in AstroNet [Shallue & Vanderburg, 2018], a CNN for automatic classification of time-varying brightness data of stars to detect exoplanets. The first method makes only a tactical reduction of layers in AstroNet while the second method also modifies the original input data by means of a Gaussian pyramid. We conducted our experiments with various degrees of dropout regularization. Our results show only a non-substantial loss in accuracy compared to the original AstroNet, while reducing training time up to 85 percent. These results show potential for similar reductions in other CNN applications while largely retaining accuracy.


title: Homotopy abelianity of the DG-Lie algebra controlling deformations of pairs (variety with trivial canonical bundle, line bundle)

abstract: We investigate the deformations of pairs $(X,L)$, where $L$ is a line bundle on a smooth projective variety $X$, defined over an algebraically closed field $\mathbb{K}$ of characteristic 0. In particular, we prove that the DG-Lie algebra controlling the deformations of the pair $(X,L)$ is homotopy abelian whenever $X$ has trivial canonical bundle, and so these deformations are unobstructed.


title: Reduction of Feynman Integrals in the Parametric Representation

abstract: In this paper, the reduction of Feynman integrals in the parametric representation is considered. This method proves to be more efficient than the integration-by-part (IBP) method in the momentum space. Tensor integrals can directly be parametrized without performing tensor reductions. The integrands of parametric integrals are functions of Lorentz scalars, instead of four momenta. The complexity of a calculation is determined by the number of propagators that are present rather than the number of all the linearly independent propagators. Furthermore, the symmetries of Feynman integrals under permutations of indices are transparent in the parametric representation. Since all the indices of the propagators are nonnegative, an algorithm to solve those identities can easily be developed, which can be used for automatic calculations.


title: Interference Management in NOMA-based Fog-Radio Access Networks via Joint Scheduling and Power Adaptation

abstract: Non-Orthogonal Multiple Access (NOMA) and Fog Radio Access Networks (FRAN) are promising candidates within the 5G and beyond systems. This work examines the benefit of adopting NOMA in an FRAN architecture with constrained capacity fronthaul. The paper proposes methods for optimizing joint scheduling and power adaptation in the downlink of a NOMA-based FRAN with multiple resource blocks (RB). We consider a mixed-integer optimization problem which maximizes a network-wide rate-based utility function subject to fronthaul-capacity constraints, so as to determine i) the user-to-RB assignment, ii) the allocated power to each RB, and iii) the power split levels of the NOMA users in each RB. The paper proposes a feasible decoupled solution for such non-convex optimization problem using a three-step hybrid centralized/distributed approach. The proposed solution complies with FRAN operation that aims to partially shift the network control to the FAPs, so as to overcome delays due to fronthaul rate constraints. The paper proposes and compares two distinct methods for solving the assignment problem, namely the Hungarian method, and the Multiple Choice Knapsack method. The power allocation and the NOMA power split optimization, on the other hand, are solved using the alternating direction method of multipliers (ADMM). Simulations results illustrate the advantages of the proposed methods compared to different baseline schemes including the conventional Orthogonal Multiple Access (OMA), for different utility functions and different network environments.


title: Constraining spatial pattern of early activity of comet 67P/C-G with 3D modeling of the MIRO observations

abstract: Our aim is to investigate early activity (July 2014) of 67P/CG with 3D coma and radiative transfer modeling of MIRO measurements, accounting for nucleus shape, illumination, and orientation of the comet. We investigate MIRO line shape information for spatial distribution of water activity on the nucleus during the onset of activity. During this period we show that MIRO line shape have enough information to clearly isolate contribution from Hapi and Inhotep independently, and compare it to the nominal case of activity from the entire illuminated surface. We also demonstrate that spectral line shapes differ from the 1D model for different viewing geometries and coma conditions relevant to this study. Specifically, line shapes are somewhat sensitive to the location of the terminator in the coma. At last, fitting the MIRO observations we show that the Imhotep region (possible extended source of H$_{2}$O due to CO$_{2}$ activity) contributes only a small fraction of the total number of water molecules into MIRO beam in the early activity. On the other hand, a strong enhancement of water activity from the Hapi region seems required to fit the MIRO line shapes. This is consistent with earlier Rosetta results. Nevertheless, within the assumption of our coma and surface boundary conditions, we cannot get a reasonable fit to all MIRO mapping observations in July 2014, which may illustrate that a more sophisticated coma model or more accurate temperature/velocity distribution is needed.


title: Combining multiple structural inversions to constrain the Solar modelling problem

abstract: The Sun is the most studied of stars and a laboratory of fundamental physics. However, the understanding of our star is stained by the solar modelling problem which can stem from various causes. We combine inversions of sound speed, an entropy proxy and the Ledoux discriminant with the position of the base of the convective zone and the photospheric helium abundance to test combinations of ingredients such as equation of state, abundance and opacity tables. We study the potential of the inversions to constrain ad-hoc opacity modifications and additional mixing in the Sun. We show that they provide constraints on these modifications to the ingredients and that the solar problem likely occurs from various sources and using phase shifts with our approach is the next step to take.


title: One and Two Bit Message Passing for SC-LDPC Codes with Higher-Order Modulation

abstract: Low complexity decoding algorithms are necessary to meet data rate requirements in excess of 1 Tbps. In this paper, we study one and two bit message passing algorithms for belief propagation decoding of low-density parity-check (LDPC) codes and analyze them by density evolution. The variable nodes (VNs) exploit soft information from the channel output. To decrease the data flow, the messages exchanged between check nodes (CNs) and VNs are represented by one or two bits. The newly proposed quaternary message passing (QMP) algorithm is compared asymptotically and in finite length simulations to binary message passing (BMP) and ternary message passing (TMP) for spectrally efficient communication with higher-order modulation and probabilistic amplitude shaping (PAS). To showcase the potential for high throughput forward error correction, spatially coupled LDPC codes and a target spectral efficiency (SE) of 3 bits/QAM symbol are considered. Gains of about 0.7 dB and 0.1 dB are observed compared to BMP and TMP, respectively. The gap to unquantized belief propagation (BP) decoding is reduced to about 0.75 dB. For smaller code rates, the gain of QMP compared to TMP is more pronounced and amounts to 0.24 dB in the considered example.


title: Enhancing thermophotovoltaic performance using graphene-BN-InSb near-field heterostructures

abstract: Graphene---hexagonal-boron-nitride---InSb near-field structures are designed and optimized to enhance the output power and energy efficiency of the thermophotovoltaic systems working in the temperature range of common industrial waste heat, $400~\rm K \sim 800~\rm K$, which is also the working temperature range for conventional thermoelectric devices. We show that the optimal output electric power can reach $3.5\times10^{4} \rm\ W/\rm m^2$ for the system with a graphene---hexagonal-boron-nitride heterostructure emitter and a graphene-covered InSb cell, whereas the best efficiency is achieved by the system with the heterostructure emitter and an uncovered InSb cell (reaching to $27\%$ of the Carnot efficiency). These results show that the performances of near-field thermophotovoltaic systems can be comparable with or even superior than the state-of-art thermoelectric devices. The underlying physics for the significant enhancement of the thermophotovoltaic performance is understood as due to the resonant coupling between the emitter and the cell, where the surface plasmons in graphene and surface phonon-polaritons in boron-nitride play important roles. Our study provides a stepping stone for future high-performance thermophotovoltaic systems.


title: Using prior expansions for prior-data conflict checking

abstract: Any Bayesian analysis involves combining information represented through different model components, and when different sources of information are in conflict it is important to detect this. Here we consider checking for prior-data conflict in Bayesian models by expanding the prior used for the analysis into a larger family of priors, and considering a marginal likelihood score statistic for the expansion parameter. Consideration of different expansions can be informative about the nature of any conflict, and extensions to hierarchically specified priors and connections with other approaches to prior-data conflict checking are discussed. Implementation in complex situations is illustrated with two applications. The first concerns testing for the appropriateness of a LASSO penalty in shrinkage estimation of coefficients in linear regression. Our method is compared with a recent suggestion in the literature designed to be powerful against alternatives in the exponential power family, and we use this family as the prior expansion for constructing our check. A second application concerns a problem in quantum state estimation, where a multinomial model is considered with physical constraints on the model parameters. In this example, the usefulness of different prior expansions is demonstrated for obtaining checks which are sensitive to different aspects of the prior.


title: Compiling basic linear algebra subroutines for quantum computers

abstract: Efficiently processing basic linear algebra subroutines is of great importance for a wide range of computational problems. In this paper, we consider techniques to implement matrix functions on a quantum computer, which are composed of basic matrix operations on a set of matrices. These matrix operations include addition, multiplication, Kronecker sum, tensor product, Hadamard product, and single-matrix functions. We discuss the composed matrix functions in terms of the estimation of scalar quantities such as inner products, trace, determinant and Schatten p-norms. We thus provide a framework for compiling instructions for linear algebraic computations into gate sequences on actual quantum computers.


title: Quantized Polar Code Decoders: Analysis and Design

abstract: Applications of massive machine-type communications, such as sensor networks, smart metering, 'internet-of-things', or process and factory automation, are forecast to have great economic impact in the next five to ten years. Low-complexity energy- and cost-efficient communication schemes are essential to enable large-scale deployments. To target these requirements, we study decoding of polar codes with coarse quantization in the short block length regime. In particular, we devise schemes to mitigate the impact of coarse quantization, which has not been adequately explored in prior works. We introduce the 3-level quantized successive cancellation (SC) and SC list (SCL) decoder. Coarse quantization of log-likelihood ratios (LLRs) leads to quantization of path metrics (PMs). Quantized PMs severely impact the list management of SCL decoders, and hence cause performance degradation. Two mitigation strategies are presented: 1.) Selecting the winning codeword from the decoder's list based on maximum-likelihood (ML) rather than PM. 2.) Utilizing statistical knowledge about the reliability of bit estimates in each decoding step to improve list management. We demonstrate the effectiveness of our techniques in simulations. In particular, our enhancements prove useful in the low code rate regime, where theory available in the literature predicts pronounced losses caused by quantization. Furthermore, we put our work into perspective by comparing it to finer quantization and partially unquantized schemes. This yields insights and recommendations as to which quantization schemes offer the best cost-benefit ratio for practical implementation.


title: HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories

abstract: We present a simple resolution proof system for higher-order constrained Horn clauses (HoCHC) - a system of higher-order logic modulo theories - and prove its soundness and refutational completeness w.r.t. the standard semantics. As corollaries, we obtain the compactness theorem and semi-decidability of HoCHC for semi-decidable background theories, and we prove that HoCHC satisfies a canonical model property. Moreover a variant of the well-known translation from higher-order to 1st-order logic is shown to be sound and complete for HoCHC in standard semantics. We illustrate how to transfer decidability results for (fragments of) 1st-order logic modulo theories to our higher-order setting, using as example the Bernays-Schonfinkel-Ramsey fragment of HoCHC modulo a restricted form of Linear Integer Arithmetic.


title: On the relative Connections

abstract: We investigate relative connections on a sheaf of modules. A sufficient condition is given for the existence of a relative holomorphic connection on a holomorphic vector bundle over a complex analytic family. We show that the relative Chern classes of a holomorphic vector bundle admitting relative holomorphic connection vanish, if each of the fiber of the complex analytic family is compact and K\"ahler.


title: High-performance dendritic metamaterial absorber for broadband and near-meter wave radar

abstract: Absorbing materials in ultra-high frequency (UHF) band has constantly been a major challenge. The size of the absorber in UHF band is large, whereas the resonant frequency band is narrow. According to Rozanov's theory, two kinds of composite metamaterial absorbers are designed to realize the requirements of low-frequency broadband metamaterial microwave absorber: the magnetic-metamaterial composite absorber1 (MA1) and the dielectric-metamaterial composite absorber 2 (MA2). In the range of approximately 300-1000MHz, both absorbers achieve absorption of over 90% and feature good adaptability to the incident angle of the incident wave. The absorbers also present good absorption rate of over 80% in the range of 0-45 degree. Processing samples of indium tin oxide (ITO) resistance film and polymethacrylimide (PMI) foam board feature simple preparation and low cost, and the most important thing is to consider the weight problem, which features certain advantages in terms of use.


title: Current problems in stellar evolution

abstract: The theory of stellar evolution plays a central role in astrophysics as stellar models are used to infer properties for Galactic and Extragalactic stellar populations as well as exoplanetary systems. However, despite decades of experience, stellar models still face major issues linked to transport processes of chemicals and angular momentum. This review will focus on some of the processes responsible for the most sizable uncertainties in stellar models such as for example convection, rotation and mass loss. The presentation will discuss their implementation, their impact on theoretical predictions and how various observational constraints can help us gain insight on the physics inside stars and face the current challenges of the theory of stellar evolution.


title: Cavity Quantum Electrodynamics with Frequency-Dependent Reflectors

abstract: We present a general framework for cavity quantum electrodynamics with strongly frequency-dependent mirrors. The method is applicable to a variety of reflectors exhibiting sharp internal resonances as can be realized, for example, with photonic-crystal mirrors or with two-dimensional atomic arrays around subradiant points. Our approach is based on a modification of the standard input--output formalism to explicitly include the dynamics of the mirror's internal resonance. We show how to directly extract the interaction tuning parameters from the comparison with classical transfer matrix theory and how to treat the non-Markovian dynamics of the cavity field mode introduced by the mirror's internal resonance. As an application within optomechanics, we illustrate how a non-Markovian Fano cavity possessing a flexible photonic crystal mirror can provide both sideband resolution as well as strong heating suppression in optomechanical cooling. This approach, amenable to a wide range of systems, opens up possibilities for using hybrid frequency-dependent reflectors in cavity quantum electrodynamics for engineering novel forms of light-matter interactions.


title: Band topology in classical waves: Wilson-loop approach to topological numbers and fragile topology

abstract: The rapid development of topological photonics and acoustics calls for accurate understanding of band topology in classical waves, which is not yet achieved in many situations. Here, we present the Wilson-loop approach for exact numerical calculation of the topological invariants for several photonic/sonic crystals. We demonstrate that these topological photonic/sonic crystals are topological crystalline insulators with fragile topology, a feature which has been ignored in previous studies. We further discuss the bulk-edge correspondence in these systems with emphasis on symmetry broken on the edges.


title: Social Credibility Incorporating Semantic Analysis and Machine Learning: A Survey of the State-of-the-Art and Future Research Directions

abstract: The wealth of Social Big Data (SBD) represents a unique opportunity for organisations to obtain the excessive use of such data abundance to increase their revenues. Hence, there is an imperative need to capture, load, store, process, analyse, transform, interpret, and visualise such manifold social datasets to develop meaningful insights that are specific to an application domain. This paper lays the theoretical background by introducing the state-of-the-art literature review of the research topic. This is associated with a critical evaluation of the current approaches, and fortified with certain recommendations indicated to bridge the research gap.


title: Performance Analysis in DF Based Cooperative SWIPT Networks with Direct Link

abstract: This letter proposes a dynamic power splitting scheme (DPSS) for decode-and-forward (DF) based cooperative simultaneous wireless information and power transfer (SWIPT) networks with direct link. The relay node adopts an optimal dynamic power splitting factor determined by instantaneous channel state information (CSI) to harvest energy and process information. The expressions for the optimal dynamic power splitting factor, outage probability and ergodic capacity of the proposed network are derived. Numerical results show that the proposed scheme is better than or the same as the existing PS schemes in terms of outage probability, while it achieves higher ergodic capacity compared to the existing PS schemes.


title: Hypernetwork functional image representation

abstract: Motivated by the human way of memorizing images we introduce their functional representation, where an image is represented by a neural network. For this purpose, we construct a hypernetwork which takes an image and returns weights to the target network, which maps point from the plane (representing positions of the pixel) into its corresponding color in the image. Since the obtained representation is continuous, one can easily inspect the image at various resolutions and perform on it arbitrary continuous operations. Moreover, by inspecting interpolations we show that such representation has some properties characteristic to generative models. To evaluate the proposed mechanism experimentally, we apply it to image super-resolution problem. Despite using a single model for various scaling factors, we obtained results comparable to existing super-resolution methods.


title: Mean-field moral hazard for optimal energy demand response management

abstract: We study the problem of demand response contracts in electricity markets by quantifying the impact of considering a mean-field of consumers, whose consumption is impacted by a common noise. We formulate the problem as a Principal-Agent problem with moral hazard in which the Principal - she - is an electricity producer who observes continuously the consumption of a continuum of risk-averse consumers, and designs contracts in order to reduce her production costs. More precisely, the producer incentivises the consumers to reduce the average and the volatility of their consumption in different usages, without observing the efforts they make. We prove that the producer can benefit from considering the mean-field of consumers by indexing contracts on the consumption of one Agent and aggregate consumption statistics from the distribution of the entire population of consumers. In the case of linear energy valuation, we provide closed-form expression for this new type of optimal contracts that maximises the utility of the producer. In most cases, we show that this new type of contracts allows the Principal to choose the risks she wants to bear, and to reduce the problem at hand to an uncorrelated one.