title: Linear Time Algorithms for Multiple Cluster Scheduling and Multiple Strip Packing

abstract: We study the Multiple Cluster Scheduling problem and the Multiple Strip Packing problem. For both problems, there is no algorithm with approximation ratio better than $2$ unless $P = NP$. In this paper, we present an algorithm with approximation ratio $2$ and running time $O(n)$ for both problems. While a $2$ approximation was known before, the running time of the algorithm is at least $\Omega(n^{256})$ in the worst case. Therefore, an $O(n)$ algorithm is surprising and the best possible. We archive this result by calling an AEPTAS with approximation guarantee $(1+\varepsilon)OPT +p_{\max}$ and running time of the form $O(n\log(1/\varepsilon)+ f(1/\varepsilon))$ with a constant $\varepsilon$ to schedule the jobs on a single cluster. This schedule is then distributed on the $N$ clusters in $O(n)$. Moreover, this distribution technique can be applied to any variant of of Multi Cluster Scheduling for which there exists an AEPTAS with additive term $p_{\max}$. While the above result is strong from a theoretical point of view, it might not be very practical due to a large hidden constant caused by calling an AEPTAS with a constant $\varepsilon \geq 1/8$ as subroutine. Nevertheless, we point out that the general approach of finding first a schedule on one cluster and then distributing it onto the other clusters might come in handy in practical approaches. We demonstrate this by presenting a practical algorithm with running time $O(n\log(n))$, with out hidden constants, that is a $9/4$-approximation for one third of all possible instances, i.e, all instances where the number of clusters is dividable by $3$, and has an approximation ratio of at most $2.3$ for all instances with at least $9$ clusters.


title: Clustering Bioactive Molecules in 3D Chemical Space with Unsupervised Deep Learning

abstract: Unsupervised clustering has broad applications in data stratification, pattern investigation and new discovery beyond existing knowledge. In particular, clustering of bioactive molecules facilitates chemical space mapping, structure-activity studies, and drug discovery. These tasks, conventionally conducted by similarity-based methods, are complicated by data complexity and diversity. We ex-plored the superior learning capability of deep autoencoders for unsupervised clustering of 1.39 mil-lion bioactive molecules into band-clusters in a 3-dimensional latent chemical space. These band-clusters, displayed by a space-navigation simulation software, band molecules of selected bioactivity classes into individual band-clusters possessing unique sets of common sub-structural features beyond structural similarity. These sub-structural features form the frameworks of the literature-reported pharmacophores and privileged fragments. Within each band-cluster, molecules are further banded into selected sub-regions with respect to their bioactivity target, sub-structural features and molecular scaffolds. Our method is potentially applicable for big data clustering tasks of different fields.


title: HNLB: Utilizing Hardware Matching Capabilities of NICs for Offloading Stateful Load Balancers

abstract: In order to scale web or other services, the load on single instances of the respective service has to be balanced. Many services are stateful such that packets belonging to the same connection must be delivered to the same instance. This requires stateful load balancers which are mostly implemented in software. On the one hand, modern packet processing frameworks supporting software load balancers, such as the Data Plane Development Kit (DPDK), deliver high performance compared to older approaches. On the other hand, common Network Interface Cards (NICs) provide additional matching capabilities that can be utilized for increasing the performance even further and in turn reduce the necessary server resources. In fact, offloading the packet matching to hardware can free up CPU cycles of the servers. Therefore, in this work, we propose the Hybrid NIC-offloading Load Balancer (HNLB), a high performance hybrid hardware-software load balancer, utilizing the NIC-offloading hardware matching capabilities. The results of our performance evaluations show that the throughput using NIC offloading can be increased by up to 50%, compared to a high performance software-only implementation. Furthermore, we investigated the limitations of our proposed approach, e.g., the limited number of possible concurrent connections.


title: On the maximal minimal cube lengths in distinct DNF tautologies

abstract: Inspired by a recent article by Anthony Zaleski and Doron Zeilberger, we investigate the question of determining the largest k for which there exists boolean formulas in disjunctive normal form (DNF) with n variables, none of whose conjunctions are `parallel', and such that all of them have at least k literals. Using a SAT solver, we answer some of the questions they left open. We also determine the corresponding numbers for DNFs obeying certain symmetries.


title: Polarization sensitive laser intensity inside femtosecond filament in air

abstract: Polarization dependence on clamping intensity inside femtosecond filament was experimentally measured in air. By tuning the laser pulse ellipse from linear polarization to circular polarization, the measured clamping intensity inside laser filament is gradually increased up to 1.7 times. The experimental results are in good agreement with the simulation results by solving the extended nonlinear Schrodinger equation (NLSE). The polarization sensitive clamping intensity inside filaments offers an important factor towards fully understanding the polarization related phenomenon observed so far.


title: Terahertz oscilloscope for recording time information of ultrashort electron beams

abstract: We propose and demonstrate a Terahertz (THz) oscilloscope for recording time information of an ultrashort electron beam. By injecting a laser-driven THz pulse with circular polarization into a dielectric tube, the electron beam is swept helically such that the time information is uniformly encoded into the angular distribution that allows one to characterize both the temporal profile and timing jitter of an electron beam. The dynamic range of the measurement in such a configuration is significantly increased compared to deflection with a linearly polarized THz pulse. With this THz oscilloscope, nearly 50-fold longitudinal compression of a relativistic electron beam to about 15 fs (rms) is directly visualized with its arrival time determined with 3 fs accuracy. This technique bridges the gap between streaking of photoelectrons with optical lasers and deflection of relativistic electron beams with radio-frequency deflectors, and should have wide applications in many ultrashort electron beam based facilities.


title: Normalized multi-pion Hanbury Brown and Twiss correlation functions of pion-emitting sources with Bose-Einstein condensation

abstract: Recently, the ALICE collaboration analyzed the three- and four-pion Hanbury Brown-Twiss (HBT) correlations in Pb-Pb collisions at the Large Hadron Collider (LHC). The measured suppressions of three- and four-pion correlations may originate from a substantial coherence of the particle-emitting sources. In this work we investigate the normalized three- and four-pion HBT correlation functions for evolving pion gas (EPG) sources with Bose-Einstein condensation. We find that the intercepts of the normalized correlation functions at zero relative momentum are sensitive to source condensation and particle momentum. The normalized correlation functions in low average-momentum regions of three and four pions decrease with decreasing temperature and increasing particle number of the source, indicating a dependence of the normalized correlation functions on source condensation. However, this dependence becomes weak in an intermediate average-momentum region because particles with high momenta are likely emitted from excited states incoherently in the EPG model, even if the source has a considerable condensation fraction. For a wide momentum range, the normalized correlation functions for low source temperatures are enhanced at larger relative momenta because of a rapid increase of two-pion chaoticity parameter with increasing particle momentum. We hope the significant enhancement of the normalized four-pion correlation function at high relative momentum will be identified through future analyses of experimental data.


title: Analytic degree distributions of horizontal visibility graphs mapped from unrelated random series and multifractal binomial measures

abstract: Complex network is not only a powerful tool for the analysis of complex system, but also a promising way to analyze time series. The algorithm of horizontal visibility graph (HVG) maps time series into graphs, whose degree distributions are numerically and analytically investigated for certain time series. We derive the degree distributions of HVGs through an iterative construction process of HVGs. The degree distributions of the HVG and the directed HVG for random series are derived to be exponential, which confirms the analytical results from other methods. We also obtained the analytical expressions of degree distributions of HVGs and in-degree and out-degree distributions of directed HVGs transformed from multifractal binomial measures, which agree excellently with numerical simulations.


title: Interference Removal for Radar/Communication Co-existence: the Random Scattering Case

abstract: In this paper we consider an un-cooperative spectrum sharing scenario, wherein a radar system is to be overlaid to a pre-existing wireless communication system. Given the order of magnitude of the transmitted powers in play, we focus on the issue of interference mitigation at the communication receiver. We explicitly account for the reverberation produced by the (typically high-power) radar transmitter whose signal hits scattering centers (whether targets or clutter) producing interference onto the communication receiver, which is assumed to operate in an un-synchronized and un-coordinated scenario. We first show that receiver design amounts to solving a non-convex problem of joint interference removal and data demodulation: next, we introduce two algorithms, both exploiting sparsity of a proper representation of the interference and of the vector containing the errors of the data block. The first algorithm is basically a relaxed constrained Atomic Norm minimization, while the latter relies on a two-stage processing structure and is based on alternating minimization. The merits of these algorithms are demonstrated through extensive simulations: interestingly, the two-stage alternating minimization algorithm turns out to achieve satisfactory performance with moderate computational complexity.


title: Train tracks and measured laminations on infinite surfaces

abstract: Let $X$ be an infinite Riemann surface equipped with its conformal hyperbolic metric such that the action of the covering group $\pi_1(X)$ on $\tilde{X}$ is of the first kind-i.e., the surface $X$ is equal to its convex core. We first prove that any geodesic lamination on $X$ is nowhere dense. Given a fixed geodesic pants decomposition of $X$ we define a family of train tracks on $X$ such that any geodesic lamination of $X$ is weakly carried by at least one train track. Then we parametrize all measured laminations on $X$ carried by a train track by the corresponding edge weight systems on the train track. Furthermore, we show that the weak* topology on the measured laminations weakly carried by a train track corresponds to a pointwise (weak) convergence of the edge weight systems. When one considers the Teichm\"uller space $T(X)$ of the Riemann surface $X$, it is natural to restrict the attention to the space $ML_b(X)$ of bounded measured laminations. When $X$ has a bounded geometry, we prove that a measured lamination weakly carried by a train track is bounded if and only if the corresponding edge weight system has a finite supremum norm. The Teichm\"uller space considerations lead to a natural uniform weak* topology on the space of bounded measured laminations on $X$. We prove that the correspondence between bounded measured laminations weakly carried by a train track and their edge weight systems is a homeomorphism when $ML_b(X)$ is equipped with the uniform weak* topology and the edge weight system is equipped with the topology induced by the supremum norm.


title: Metric Curvatures and their Applications 2: Metric Ricci Curvature and Flow

abstract: In this second part of our overview of the different metric curvatures and their various applications, we concentrate on the Ricci curvature and flow for polyhedral surfaces and higher dimensional manifolds, and we largely review our previous studies on the subject, based upon Wald's curvature. In addition to our previous metric approaches to the discretization of Ricci curvature, we consider yet another one, based on the Haantjes curvature, interpreted as a geodesic curvature. We also try to understand the mathematical reasons behind the recent proliferation of discretizations of Ricci curvature. Furthermore, we propose another approach to the metrization of Ricci curvature, based on Forman's discretization, and in particular we propose on that uses our graph version of Forman's Ricci curvature.


title: PoliFi: Airtime Policy Enforcement for WiFi

abstract: As WiFi grows ever more popular, airtime contention becomes an increasing problem. One way to alleviate this is through network policy enforcement. Unfortunately, WiFi lacks protocol support for configuring policies for its usage, and since network-wide coordination cannot generally be ensured, enforcing policy is challenging. However, as we have shown in previous work, an access point can influence the behaviour of connected devices by changing its scheduling of transmission opportunities, which can be used to achieve airtime fairness. In this work, we show that this mechanism can be extended to successfully enforce airtime usage policies in WiFi networks. We implement this as an extension our previous airtime fairness work, and present PoliFi, the resulting policy enforcement system. Our evaluation shows that PoliFi makes it possible to express a range of useful policies. These include prioritisation of specific devices; balancing groups of devices for sharing between different logical networks or network slices; and limiting groups of devices to implement guest networks or other low-priority services. We also show how these can be used to improve the performance of a real-world DASH video streaming application.


title: Simulating extrapolated dynamics with parameterization networks

abstract: An artificial neural network architecture, parameterization networks, is proposed for simulating extrapolated dynamics beyond observed data in dynamical systems. Parameterization networks are used to ensure the long term integrity of extrapolated dynamics, while careful tuning of model hyperparameters against validation errors controls overfitting. A parameterization network is demonstrated on the logistic map, where chaos and other nonlinear phenomena consistent with the underlying model can be extrapolated from non-chaotic training time series with good fidelity. The stated results are a lot less fantastical than they appear to be because the neural network is only extrapolating between quadratic return maps. Nonetheless, the results do suggest that successful extrapolation of qualitatively different behaviors requires learning to occur on a level of abstraction where the corresponding behaviors are more similar in nature.


title: The complete $L^q$-spectrum and large deviations for return times for equilibrium states with summable potentials

abstract: Let $(X_k)_{k\geq 0}$ be a stationary and ergodic process with joint distribution $\mu$ where the random variables $X_k$ take values in a finite set $\mathcal{A}$. Let $R_n$ be the first time this process repeats its first $n$ symbols of output. It is well-known that $\frac{1}{n}\log R_n$ converges almost surely to the entropy of the process. Refined properties of $R_n$ (large deviations, multifractality, etc) are encoded in the return-time $L^q$-spectrum defined as \[ \mathcal{R}(q)=\lim_n\frac{1}{n}\log\int R_n^q \,d\mu\quad (q\in\mathbb{R}) \] provided the limit exists. We consider the case where $(X_k)_{k\geq 0}$ is distributed according to the equilibrium state of a potential $\varphi:\mathcal{A}^{\mathbb{N}}\to\mathbb{R}$ with summable variation, and we prove that \[ \mathcal{R}(q) = \begin{cases} P((1-q)\varphi) & \text{for}\;\; q\geq q_\varphi^*\\ \sup_\eta \int \varphi \, d\eta & \text{for}\;\; q<q_\varphi^{*} \end{cases} \] where $P((1-q)\varphi)$ is the topological pressure of $(1-q)\varphi$, the supremum is taken over all shift-invariant measures, and $q_\varphi^*$ is the unique solution of $P((1-q)\varphi) =\sup_\eta \int \varphi \, d\eta$. Unexpectedly, this spectrum does not coincide with the $L^q$-spectrum of $\mu_\varphi$, which is $P((1-q)\varphi)$, and does not coincide with the waiting-time $L^q$-spectrum in general. In fact, the return-time $L^q$-spectrum coincides with the waiting-time $L^q$-spectrum if and only if the equilibrium state of $\varphi$ is the measure of maximal entropy. As a by-product, we also improve the large deviation asymptotics of $\frac{1}{n}\log R_n$.


title: Yes, we GAN: Applying Adversarial Techniques for Autonomous Driving

abstract: Generative Adversarial Networks (GAN) have gained a lot of popularity from their introduction in 2014 till present. Research on GAN is rapidly growing and there are many variants of the original GAN focusing on various aspects of deep learning. GAN are perceived as the most impactful direction of machine learning in the last decade. This paper focuses on the application of GAN in autonomous driving including topics such as advanced data augmentation, loss function learning, semi-supervised learning, etc. We formalize and review key applications of adversarial techniques and discuss challenges and open problems to be addressed.


title: Infrared bands of CS2 dimer and trimer at 4.5 cm-1

abstract: We report observation of new infrared bands of (CS2)2 and (CS2)3 in the region of the CS2 {\nu}1+ {\nu}3 combination band (at 4.5 cm-1) using a quantum cascade laser. The complexes are formed in a pulsed supersonic slit-jet expansion of a gas mixture of carbon disulfide in helium. We have previously shown that the most stable isomer of (CS2)2 is a cross-shaped structure with D2d symmetry and that for (CS2)3 is a barrel-shaped structure with D3 symmetry. The dimer has one doubly degenerate infrared-active band in the {\nu}1+ {\nu}3 region of the CS2 monomer. This band is observed to have a rather small vibrational shift of -0.846 cm-1. We expect one parallel and one perpendicular infrared-active band for the trimer but observe two parallel and one perpendicular bands. Much larger vibrational shifts of -8.953 cm-1 for the perpendicular band and -8.845 cm-1 and +16.681 cm-1 for the parallel bands are observed. Vibrational shifts and possible vibrational assignments, in the case of the parallel bands of the trimer, are discussed using group theoretical arguments.


title: Venn GAN: Discovering Commonalities and Particularities of Multiple Distributions

abstract: We propose a GAN design which models multiple distributions effectively and discovers their commonalities and particularities. Each data distribution is modeled with a mixture of $K$ generator distributions. As the generators are partially shared between the modeling of different true data distributions, shared ones captures the commonality of the distributions, while non-shared ones capture unique aspects of them. We show the effectiveness of our method on various datasets (MNIST, Fashion MNIST, CIFAR-10, Omniglot, CelebA) with compelling results.


title: A nonlinear, geometric Hall effect without magnetic field

abstract: The classical Hall effect, the traditional means of determining charge-carrier sign and density in a conductor, requires a magnetic field to produce transverse voltages across a current-carrying wire. We show that along curved paths -- $\mathrm{\textit{without}}$ any magnetic field -- geometry alone can produce nonlinear transverse potentials that reflect the charge-carrier sign and density. We demonstrate this effect in curved graphene wires where the transverse potentials are consistent with the doping and change polarity as we switch the carrier sign. In straight wires, we measure transverse potential fluctuations with random polarity demonstrating that the current follows a complex, tortuous path. This geometrically-induced potential offers a sensitive characterization of inhomogeneous current flow in thin films.


title: Cavitation and ventilation modalities during ditching

abstract: The flow taking place in the rear part of the fuselage during the emergency landing on water is investigated experimentally in realistic conditions. To this aim, tests on a double curvature specimen have been performed at horizontal velocities ranging from 21 m/s to 45 m/s. Tests data highlight different cavitation and/or ventilation modalities which are highly dependent on the horizontal velocity, with substantial variations in the flow features occurring with velocity variations of few meters per second. For the specimen considered here, the inception of the cavitation is found at about 30 m/s, confirming that scaled model tests performed at small horizontal velocities are unable to capture the hydrodynamics correctly. By comparing pressure data, underwater movies and force measurements, it is shown that the transition from cavitation to ventilation condition has a significant effect of the longitudinal distribution of the loading which, together with inertia, aerodynamic loads and engine thrust, governs the aircraft dynamics.


title: The application of the Lattice Boltzmann method to the one-dimensional blood flow dynamics in elastic vessels

abstract: The one-dimensional nonlinear equations for the blood flow motion in distensible vessels are considered using the kinetic approach. It is shown that the Lattice Boltzmann (LB) model for non-ideal gas is asymptotically equivalent to the blood flow equations for compliant vessels at the limit of low Knudsen numbers. The equations of state for non-ideal gas are transformed to the pressure-luminal area response. This property allows to model arbitrary pressure-luminal area relations. Several test problems are considered: the propagation of a sole nonlinear wave in an elastic vessel, the propagation of a pulse wave in a vessel with varying mechanical properties (artery stiffening) and in an artery bifurcation, in the last problem Resistor-Capacitor-Resistor (RCR) boundary conditions are considered. The comparison with the previous results show a good precision.


title: The multi-scale nature of the solar wind

abstract: The solar wind is a magnetized plasma and as such exhibits collective plasma behavior associated with its characteristic spatial and temporal scales. The characteristic length scales include the size of the heliosphere, the collisional mean free paths of all species, their inertial lengths, their gyration radii, and their Debye lengths. The characteristic timescales include the expansion time, the collision times, and the periods associated with gyration, waves, and oscillations. We review the past and present research into the multi-scale nature of the solar wind based on in-situ spacecraft measurements and plasma theory. We emphasize that couplings of processes across scales are important for the global dynamics and thermodynamics of the solar wind. We describe methods to measure in-situ properties of particles and fields. We then discuss the role of expansion effects, non-equilibrium distribution functions, collisions, waves, turbulence, and kinetic microinstabilities for the multi-scale plasma evolution.


title: Double epitaxy of tetragonal and hexagonal phases in the FeSe system

abstract: Epitaxial films which contains more than one crystallographic orientation are of interest due to the possibility of altered magnetic, electrical, and optical properties. Thin films of FeSe have been grown on single-crystal MgO substrates under conditions that produces the simultaneous, epitaxial growth of tetragonal and hexagonal phases. We show that this double epitaxy is characterized by phase domains with a well-defined epitaxial relationship to each other and that the relative phase fraction can be controlled. For growth temperatures of 350-450 degrees C, the (001)-oriented tetragonal phase (${\beta}$-FeSe) grows with its unit cell aligned with the cubic substrate, while a (101)-oriented hexagonal phase (Fe$_7$Se$_8$) shows domains with two different in-plane orientations separated by 45 degrees. Additionally, the ${\beta}$-FeSe phase can be chosen to be (001)- or (101)-oriented with respect to the substrate, with the (101) orientation containing three rotated domains.


title: Decoupling for certain quadratic surfaces of low co-dimensions

abstract: We prove sharp $\ell^{p}L^{p}$ decoupling inequalities for $2$ quadratic forms in $4$ variables. We also recover several previous results (arXiv:1409.1634, arXiv:1501.07224, arXiv:1609.02022, arXiv:1609.04107) in a unified way.


title: 3D Hand Shape and Pose from Images in the Wild

abstract: We present in this work the first end-to-end deep learning based method that predicts both 3D hand shape and pose from RGB images in the wild. Our network consists of the concatenation of a deep convolutional encoder, and a fixed model-based decoder. Given an input image, and optionally 2D joint detections obtained from an independent CNN, the encoder predicts a set of hand and view parameters. The decoder has two components: A pre-computed articulated mesh deformation hand model that generates a 3D mesh from the hand parameters, and a re-projection module controlled by the view parameters that projects the generated hand into the image domain. We show that using the shape and pose prior knowledge encoded in the hand model within a deep learning framework yields state-of-the-art performance in 3D pose prediction from images on standard benchmarks, and produces geometrically valid and plausible 3D reconstructions. Additionally, we show that training with weak supervision in the form of 2D joint annotations on datasets of images in the wild, in conjunction with full supervision in the form of 3D joint annotations on limited available datasets allows for good generalization to 3D shape and pose predictions on images in the wild.


title: Tests of cryogenic Fabry-Perot cavity with mirrors on different substrates

abstract: Experiments were performed with Fabry-Perot optical resonators in vacuum at low temperatures. Mirrors were applied on substrates of various optical materials. The infrared laser with a wavelength of 1.064 microns was used. The pump power at the maximum could reach 450 mW. The evolution of the optical properties of the FP cavity was traced in the temperature range (300 - 10)K. The main parameters measured were the integral characteristics of the FP resonances: sharpness (finesse) and contrast of interference. Three types of substrates were tested: a sitall -- the optical glass with ultra low thermal expansion (ULE), sapphire and calcium fluoride. During cooling, the degradation of the integral characteristics of the FP cavity was observed for the sitall mirrors due to the loss of the properties of (ULE), for sapphire mirrors due to the birefringence effect. The satisfactory constancy of the integral characteristics of the FP resonator on calcium fluoride was demonstrated in the entire temperature range studied 1


title: Distance metric learning based on structural neighborhoods for dimensionality reduction and classification performance improvement

abstract: Distance metric learning can be viewed as one of the fundamental interests in pattern recognition and machine learning, which plays a pivotal role in the performance of many learning methods. One of the effective methods in learning such a metric is to learn it from a set of labeled training samples. The issue of data imbalance is the most important challenge of recent methods. This research tries not only to preserve the local structures but also covers the issue of imbalanced datasets. To do this, the proposed method first tries to extract a low dimensional manifold from the input data. Then, it learns the local neighborhood structures and the relationship of the data points in the ambient space based on the adjacencies of the same data points on the embedded low dimensional manifold. Using the local neighborhood relationships extracted from the manifold space, the proposed method learns the distance metric in a way which minimizes the distance between similar data and maximizes their distance from the dissimilar data points. The evaluations of the proposed method on numerous datasets from the UCI repository of machine learning, and also the KDDCup98 dataset as the most imbalance dataset, justify the supremacy of the proposed approach in comparison with other approaches especially when the imbalance factor is high.


title: Multi-choice opinion dynamics model based on Latane theory

abstract: In this paper Nowak--Szamrej-Latan\'e model is reconsidered. This computerised model of opinion formation bases on Latan\'e theory of social impact. We modify this model to allow for multi (more than two) opinions. With computer simulations we show that in the modified model the signatures of order/disorder phase transition are still observed. The transition may be observed in the average fraction of actors sharing the $i$-th opinion, its variation and also average number of clusters of actors with the same opinion and the average size of the largest cluster of actors sharing the same opinion. Also an influence of model control parameters on simulation results is shortly reviewed. For a homogeneous society with identical actors' supportiveness and persuasiveness the critical social temperature $T_C$ decreases with an increase of available opinions $K$ from $T_C=6.1$ ($K=2$) via 4.7, 4.1 to $T_C=3.6$ for $K=3$, 4, 5, respectively.


title: Contextual Recurrent Neural Networks

abstract: There is an implicit assumption that by unfolding recurrent neural networks (RNN) in finite time, the misspecification of choosing a zero value for the initial hidden state is mitigated by later time steps. This assumption has been shown to work in practice and alternative initialization may be suggested but often overlooked. In this paper, we propose a method of parameterizing the initial hidden state of an RNN. The resulting architecture, referred to as a Contextual RNN, can be trained end-to-end. The performance on an associative retrieval task is found to improve by conditioning the RNN initial hidden state on contextual information from the input sequence. Furthermore, we propose a novel method of conditionally generating sequences using the hidden state parameterization of Contextual RNN.


title: Equivalence of regression curves sharing common parameters

abstract: In clinical trials the comparison of two different populations is a frequently addressed problem. Non-linear (parametric) regression models are commonly used to describe the relationship between covariates as the dose and a response variable in the two groups. In some situations it is reasonable to assume some model parameters to be the same, for instance the placebo effect or the maximum treatment effect. In this paper we develop a (parametric) bootstrap test to establish the similarity of two regression curves sharing some common parameters. We show by theoretical arguments and by means of a simulation study that the new test controls its level and achieves a reasonable power. Moreover, it is demonstrated that under the assumption of common parameters a considerable more powerful test can be constructed compared to the test which does not use this assumption. Finally, we illustrate potential applications of the new methodology by a clinical trial example.


title: Are trading invariants really invariant? Trading costs matter

abstract: We revisit the trading invariance hypothesis recently proposed by Kyle and Obizhaeva by empirically investigating a large dataset of bets, or metaorders, provided by ANcerno. The hypothesis predicts that the quantity $I:=\ri/N^{3/2}$, where $\ri$ is the exchanged risk (volatility $\times$ volume $\times$ price) and $N$ is the number of bets, is invariant. We find that the $3/2$ scaling between $\ri$ and $N$ works well and is robust against changes of year, market capitalisation and economic sector. However our analysis clearly shows that $I$ is not invariant. We find a very high correlation $R^2>0.8$ between $I$ and the total trading cost (spread and market impact) of the bet. We propose new invariants defined as a ratio of $I$ and costs and find a large decrease in variance. We show that the small dispersion of the new invariants is mainly driven by (i) the scaling of the spread with the volatility per transaction, (ii) the near invariance of the distribution of metaorder size and of the volume and number fractions of bets across stocks.


title: Stability of graphical tori with almost nonnegative scalar curvature

abstract: By works of Schoen-Yau and Gromov-Lawson any Riemannian manifold with nonnegative scalar curvature and diffeomorphic to a torus is isometric to a flat torus. Gromov conjectured subconvergence of tori with respect to a weak Sobolev type metric when the scalar curvature goes to $0$. We prove flat and intrinsic flat subconvergence to a flat torus for noncollapsing sequences of $3$-dimensional tori $M_j$ that can be realized as graphs of certain functions defined over flat tori satisfying a uniform upper diameter bound and scalar curvature bounds of the form $R_{g_{M_j}} \geq -1/j$. We also show that the volume of the manifolds of the convergent subsequence converges to the volume of the limit space. We do so adapting results of Huang-Lee, Huang-Lee-Sormani and Allen-Perales-Sormani. Furthermore, our results also hold when the condition on the scalar curvature of a torus $(M, g_M)$ is replaced by a bound on the quantity $-\int_T \min\{R_{g_M},0\} d{\mbox{vol}_{g_T}}$, where $M=\mbox{graph}(f)$, $f: T \to \mathbb R$ and $(T,g_T)$ is a flat torus. Using arguments developed by Alaee, McCormick and the first named author after this work was completed, our results hold for dimensions $n \geq 4$ as well.


title: Super-realtime facial landmark detection and shape fitting by deep regression of shape model parameters

abstract: We present a method for highly efficient landmark detection that combines deep convolutional neural networks with well established model-based fitting algorithms. Motivated by established model-based fitting methods such as active shapes, we use a PCA of the landmark positions to allow generative modeling of facial landmarks. Instead of computing the model parameters using iterative optimization, the PCA is included in a deep neural network using a novel layer type. The network predicts model parameters in a single forward pass, thereby allowing facial landmark detection at several hundreds of frames per second. Our architecture allows direct end-to-end training of a model-based landmark detection method and shows that deep neural networks can be used to reliably predict model parameters directly without the need for an iterative optimization. The method is evaluated on different datasets for facial landmark detection and medical image segmentation. PyTorch code is freely available at https://github.com/justusschock/shapenet


title: Quickest Change Detection in the Presence of a Nuisance Change

abstract: In the quickest change detection problem in which both nuisance and critical changes may occur, the objective is to detect the critical change as quickly as possible without raising an alarm when either there is no change or a nuisance change has occurred. A window-limited sequential change detection procedure based on the generalized likelihood ratio test statistic is proposed. A recursive update scheme for the proposed test statistic is developed and is shown to be asymptotically optimal under mild technical conditions. In the scenario where the post-change distribution belongs to a parametrized family, a generalized stopping time and a lower bound on its average run length are derived. The proposed stopping rule is compared with the FMA stopping time and the naive 2-stage procedure that detects the nuisance or critical change using separate CuSum stopping procedures for the nuisance and critical changes. Simulations demonstrate that the proposed rule outperforms the FMA stopping time and the 2-stage procedure, and experiments on a real dataset on bearing failure verify the performance of the proposed stopping time.


title: Conjecture of Wilf: a survey

abstract: This paper intends to survey the vast literature devoted to a problem posed by Wilf in 1978 which, despite the attention it attracted, remains unsolved. As it frequently happens with combinatorial problems, many researchers who got involved in the search for a solution thought at some point that a solution would be just around the corner, but in the present case that corner has never been reached. By writing this paper I intend to give the reader a broad approach on the problem and, when possible, connections between the various available results. With the hope of gathering some more information than just using set inclusion, at the end of the paper a slightly different way of comparing results is developed.


title: Self- texturizing electronic-properties in a 2-dimensional GdAu2 layer on Au(111): the role of out-of-plane atomic displacement

abstract: Here, we show that the electronic properties of a surface-supported 2-dimensional (2D) layer structure can be self-texturized at the nanoscale. The local electronic properties are determined by structural relaxation processes through variable adsorption stacking configurations. We demonstrate that the spatially modulated layer-buckling, which arises from the lattice mismatch and the layer/substrate coupling at the GdAu2/Au(111) interface, is sufficient to locally open an energy gap of ~0.5eV at the Fermi level in an otherwise metallic layer. Additionally, this out-of-plane displacement of the Gd atoms patterns the character of the hybridized Gd-d states and shifts the center of mass of the Gd 4f multiplet proportionally to the lattice distortion. These findings demonstrate the close correlation between the electronic properties of the 2D-layer and its planarity. We demonstrate that the resulting template shows different chemical reactivity which may find important applications.


title: Thick GaN film stress-induced self-separation

abstract: Cracking of thick GaN films on sapphire substrates during the cooling down after the growth was studied. The cracking was suppressed by increasing the film-to-substrate thickness ratio and by using an intermediate carbon buffer layer, that reduced the binding energy between the GaN film and the substrate. Wafer-scale self-separation of thick GaN films has been demonstrated.


title: A possible feedback mechanism of outflows from a black hole hyperaccretion disk in the center of jet-driven iPTF14hls

abstract: iPTF14hls is an unusually bright, long-lived II-P supernova (SN), whose light curve has at least five peaks. We propose that the outflows from the black hole hyperaccretion systems in the center of the collapsars should continuously inject into the envelope. For a jet-driven core-collapsar model, the outflow feedback results in prolonging the accretion timescale and fluctuating accretion rates in our analytic solutions. Thus, the long period of luminous, varying SN iPTF14hls might originate from the choked jets, which are regulated by the feedback of the strong disk outflows in a massive core-collapsar. One can expect that jet-driven iPTF14hls may last no more than approximately 3,000 days, and the luminosity may quickly decrease in the later stages. Moreover, the double-peak light curves in some SNe might be explained by the outflow feedback mechanism.


title: Robustness of ferromagnetism in (In,Fe)Sb diluted magnetic semiconductor to variation of charge carrier concentration and Fermi level position

abstract: The influence of He+ ion irradiation on the transport and magnetic properties of epitaxial layers of a diluted magnetic semiconductor (DMS) (In,Fe)Sb, a two-phase (In,Fe)Sb composite and a nominally undoped InSb semiconductor has been investigated. In all layers, a conductivity type conversion from the initial n-type to the ptype has been found. The ion fluence at which the conversion occurs depends on the Fe concentration in the InSb matrix. Magnetotransport properties of the two-phase (In,Fe)Sb layer are strongly affected by ferromagnetic Fe inclusions. An influence of the number of electrically active radiation defects on the magnetic properties of the single-phase In0.75Fe0.25Sb DMS has been found. At the same time, the results show that the magnetic properties of the In0.75Fe0.25Sb DMS are quite resistant to significant changes of the charge carrier concentration and the Fermi level position. The results confirm a weak interrelation between the ferromagnetism and the charge carrier concentration in (In,Fe)Sb.


title: Hierarchical Multi-task Deep Neural Network Architecture for End-to-End Driving

abstract: A novel hierarchical Deep Neural Network (DNN) model is presented to address the task of end-to-end driving. The model consists of a master classifier network which determines the driving task required from an input stereo image and directs said image to one of a set of subservient network regression models that perform inference and output a steering command. These subservient networks are designed and trained for a specific driving task: straightaway, swerve maneuver, tight turn, gradual turn, and chicane. Using this modular network strategy allows for two primary advantages: an overall reduction in the amount of data required to train the complete system, and for model tailoring where more complex models can be used for more challenging tasks while simplified networks can handle more mundane tasks. It is this latter facet of the model that makes the approach attractive to a number of applications beyond the current vehicle steering strategy.


title: Asymptotic analysis of internal relaxation-oscillations in a conceptual climate model

abstract: We construct a dynamical system based on the KCG (K\"all\'en, Crafoord, Ghil) conceptual climate model which includes the ice-albedo and precipitation-temperature feedbacks. Further, we classify the stability of various critical points of the system and identify a parameter which change generates a Hopf bifurcation. This gives rise to a stable limit cycle around a physically interesting critical point. Moreover, it follows from the general theory that the periodic orbit exhibits relaxation-oscillations which are a characteristic feature of the Pleistocene ice-ages. We provide an asymptotic analysis of their behaviour and derive a formula for the period along with several estimates. They, in turn, are in a decent agreement with paleoclimatic data and are independent of any parametrization used. Whence, our simple but robust model shows that a climate may exhibit internal relaxation-oscillations without any external forcing and for a wide range of parameters.


title: Synthetic Data Generators: Sequential and Private

abstract: We study the sample complexity of private synthetic data generation over an unbounded sized class of statistical queries, and show that any class that is privately proper PAC learnable admits a private synthetic data generator (perhaps non-efficient). Previous work on synthetic data generators focused on the case that the query class $\mathcal{D}$ is finite and obtained sample complexity bounds that scale logarithmically with the size $|\mathcal{D}|$. Here we construct a private synthetic data generator whose sample complexity is independent of the domain size, and we replace finiteness with the assumption that $\mathcal{D}$ is privately PAC learnable (a formally weaker task, hence we obtain equivalence between the two tasks).


title: Efficient ion-photon qubit SWAP gate in realistic ion cavity-QED systems without strong coupling

abstract: We present a scheme for deterministic ion-photon qubit exchange, namely a SWAP gate, based on realistic cavity-QED systems with 171Yb+, 40Ca+ and 138Ba+ ions. The gate can also serve as a single-photon quantum memory, in which an outgoing photon heralds the successful arrival of the incoming photonic qubit. Although strong coupling, namely having the single-photon Rabi frequency be the fastest rate in the system, is often assumed essential, this gate (similarly to the Duan-Kimble C-phase gate) requires only Purcell enhancement, i.e. high single-atom cooperativity. Accordingly, it does not require small mode volume cavities, which are challenging to incorporate with ions due to the difficulty of trapping them close to dielectric surfaces. Instead, larger cavities, potentially more compatible with the trap apparatus, are sufficient, as long as their numerical aperture is high enough to maintain small mode area at the ion's position. We define the optimal parameters for the gate's operation and simulate the expected fidelities and efficiencies, demonstrating that efficient photon-ion qubit exchange, a valuable building block for scalable quantum computation, is practically attainable with current experimental capabilities.


title: A combinatorial identity with applications to forest graphs

abstract: We give an elementary proof of an interesting combinatorial identity which is of particular interest in graph theory and its applications. Two applications to enumeration of forests with closed-form expressions are given.


title: Depth-Map Generation using Pixel Matching in Stereoscopic Pair of Images

abstract: Modern day multimedia content generation and dissemination is moving towards the presentation of more and more `realistic' scenarios. The switch from 2-dimensional (2D) to 3-dimensional (3D) has been a major driving force in that direction. Over the recent past, a large number of approaches have been proposed for creating 3D images/videos most of which are based on the generation of depth-maps. This paper presents a new algorithm for obtaining depth information pertaining to a depicted scene from a set of available pair of stereoscopic images. The proposed algorithm performs a pixel-to-pixel matching of the two images in the stereo pair for estimation of depth. It is shown that the obtained depth-maps show improvements over the reported counterparts.


title: Oscillatory thermocapillary instability of a film heated by a thick substrate

abstract: In this work we consider a new class of oscillatory instabilities that pertain to thermocapillary destabilization of a liquid film heated by a solid substrate. We assume the substrate thickness and substrate-film thermal conductivity ratio are large so that the effect of substrate thermal diffusion is retained at leading order in the long-wave approximation. As a result, system dynamics are described by a nonlinear partial differential equation for the film thickness that is nonlocally coupled to the full substrate heat equation. Perturbing about a steady quiescent state, we find that its stability is described by a non-self adjoint eigenvalue problem. We show that, under appropriate model parameters, the linearized eigenvalue problem admits complex eigenvalues that physically correspond to oscillatory (in time) instabilities of the thin film height. As the principal results of our work, we provide a complete picture of the susceptibility to oscillatory instabilities for different model parameters. Using this description, we conclude that oscillatory instabilities are more relevant experimentally for films heated by insulating substrates. Furthermore, we show that oscillatory instability where the fastest-growing (most unstable) wavenumber is complex, arises only for systems with sufficiently large substrate thicknesses.


title: On the Yang-Yau inequality for the first Laplace eigenvalue

abstract: In a seminal paper published in 1980, P. C. Yang and S.-T. Yau proved an inequality bounding the first eigenvalue of the Laplacian on an orientable Riemannian surface in terms of its genus $\gamma$ and the area. The equality in Yang-Yau's estimate is attained for $\gamma=0$ by an old result of J. Hersch and it was recently shown by S. Nayatani and T. Shoda that it is also attained for $\gamma=2$. In the present article we combine techniques from algebraic geometry and minimal surface theory to show that Yang-Yau's inequality is strict for all genera $\gamma> 2$. Previously this was only known for $\gamma=1$. In the second part of the paper we apply Chern-Wolfson's notion of harmonic sequence to obtain an upper bound on the total branching order of harmonic maps from surfaces to spheres. Applications of these results to extremal metrics for eigenvalues are discussed.


title: Reiterative $m_{n}$-distributional chaos of type $s$ in Fr\' echet spaces

abstract: The main aim of this paper is to consider various notions of (dense) $m_{n}$-distributional chaos of type $s$ and (dense) reiterative $m_{n}$-distributional chaos of type $s$ for general sequences of linear not necessarily continuous operators in Fr\' echet spaces. Here, $(m_{n})$ is an increasing sequence in $[1,\infty)$ satisfying $\liminf_{n\rightarrow \infty}\frac{m_{n}}{n}>0$ and $s$ could be $0,1,2,2+,2\frac{1}{2},3,1+,2-,2_{Bd},2_{Bd}+.$ We investigate $m_{n}$-distributionally chaotic properties and reiteratively $m_{n}$-distributionally chaotic properties of some special classes of operators like weighted forward shift operators and weighted backward shift operators in Fr\' echet sequence spaces, considering also continuous analogues of introduced notions and some applications to abstract partial differential equations.


title: Pure Exploration with Multiple Correct Answers

abstract: We determine the sample complexity of pure exploration bandit problems with multiple good answers. We derive a lower bound using a new game equilibrium argument. We show how continuity and convexity properties of single-answer problems ensures that the Track-and-Stop algorithm has asymptotically optimal sample complexity. However, that convexity is lost when going to the multiple-answer setting. We present a new algorithm which extends Track-and-Stop to the multiple-answer case and has asymptotic sample complexity matching the lower bound.


title: On the error bound in the normal approximation for Jack measures

abstract: In this paper, we obtain uniform and non-uniform bounds on the Kolmogorov distance in the normal approximation for Jack deformations of the character ratio, by using Stein's method and zero-bias couplings. Our uniform bound comes very close to that conjectured by Fulman [J. Combin. Theory Ser. A, 108 (2004), 275--296]. As a by-product of the proof of the non-uniform bound, we obtain a Rosenthal-type inequality for zero-bias couplings.


title: The Omniglot challenge: a 3-year progress report

abstract: Three years ago, we released the Omniglot dataset for one-shot learning, along with five challenge tasks and a computational model that addresses these tasks. The model was not meant to be the final word on Omniglot; we hoped that the community would build on our work and develop new approaches. In the time since, we have been pleased to see wide adoption of the dataset. There has been notable progress on one-shot classification, but researchers have adopted new splits and procedures that make the task easier. There has been less progress on the other four tasks. We conclude that recent approaches are still far from human-like concept learning on Omniglot, a challenge that requires performing many tasks with a single model.


title: Stability of Mc Kean-Vlasov stochastic differential equations and applications

abstract: We consider Mc Kean-Vlasov stochastic differential equations (MVSDEs), which are SDEs where the drift and diffusion coefficients depend not only on the state of the unknown process but also on its probability distribution. This type of SDEs was studied in statistical physics and represents the natural setting for stochastic mean-field games. We will first discuss questions of existence and uniqueness of solutions under an Osgood type condition improving the well known Lipschitz case. Then we derive various stability properties with respect to initial data, coefficients and driving processes, generalizing known results for classical SDEs. Finally, we establish a result on the approximation of the solution of a MVSDE associated to a relaxed control by the solutions of the same equation associated to strict controls. As a consequence, we show that the relaxed and strict control problems have the same value function. This last property improves known results proved for a special class of MVSDEs, where the dependence on the distribution was made via a linear functional. Key words: Mc Kean-Vlasov stochastic differential equation -- Stability -- Martingale measure - Wasserstein metric -- Existence -- Mean-field control -- Relaxed control.


title: Synthesis for observability of logical control networks

abstract: Finite-state systems have applications in systems biology, formal verification and synthesis of infinite-state (hybrid) systems, etc. As deterministic finite-state systems, logical control networks (LCNs) consist of a finite number of nodes which can be in a finite number of states and update their states. In this paper, we investigate the synthesis problem for observability of LCNs based on state feedback with exogenous input by using the semitensor product proposed by Daizhan Cheng and the notion of observability graph (previously called weighted pair graph) proposed by us. We show that state feedback with exogenous input can either enforce or weaken observability of an LCN. We prove that for an LCN $\Sigma$ and another closed-loop LCN $\Sigma_{\mathcal{C}}$ obtained by feeding a state-feedback controller $\mathcal{C}$ with exogenous input into $\Sigma$, (1) if $\Sigma$ is observable, then $\Sigma_{\mathcal{C}}$ can be either observable or not; (2) if $\Sigma$ is not observable, $\Sigma_{\mathcal{C}}$ can also be observable or not. We also prove that if an unobservable LCN can be made observable by state feedback with exogenous input, then it can also be made observable by state feedback (without exogenous input, equivalent to state feedback with constant input). Furthermore, we give an upper bound on the number of state-feedback controllers that are needed to be tested in order to verify whether an unobservable LCN can be made observable by state feedback, and based on the procedure of obtaining the upper bound, we design an observability synthesis algorithm, by additionally combining the ideas of a greedy algorithm and dynamic programming. These results open the study of observability synthesis in LCNs.


title: Lost in Math? A review of 'Lost in Math: How Beauty Leads Physics Astray', by Sabine Hossenfelder

abstract: This is a review of Hossenfelder's book, 'Lost in Math: How Beauty Leads Physics Astray'. The book gives a breezy exposition of the present situation in fundamental physics, and raises important questions: both about the content of the physics, and the way physics research is organized. I first state my main disagreements. Then, I mostly praise the book: I concentrate on Hossenfelder's discussion of supersymmetry, naturalness and the multiverse.


title: Steep X-ray reflection emissivity profiles in AGN as the result of radially-structured disc ionisation

abstract: X-ray observations suggest high compactness of coronae in active galactic nuclei as well as in X-ray binaries. The compactness of the source implies a strong radial dependence in the illumination of the accretion disc. This will, for any reasonable radial profile of the density, lead to a radial profile of the disc ionisation. Svoboda et al. (2012) showed on a single example that assuming a radially-structured ionisation profile of the disc can cause an artificial increase of the radial-emissivity parameter. We further investigate how the X-ray spectra are modified and quantify this effect for a wide range of parameters. Computations are carried out with the current state-of-the-art models for relativistic reflection. We simulated spectra using the response files of the micro-calorimeter X-IFU, which is planned to be on board of Athena. We assumed typical parameters for X-ray bright Seyfert-1 galaxies and considered two scenarios for the disc ionisation: 1) a radial profile for the disc ionisation, 2) a constant disc ionisation. We found that steep emissivity profiles can be indeed achieved due to the radial profile of the disc ionisation, which becomes more important for the cases where the corona is located at low heights above the black hole and this effect may be even more prominent than the geometrical effects. We also found that the cases with high inner disc ionisation, rapidly decreasing with radius, may result in an inaccurate black hole spin measurements.


title: Nonlinear parabolic equations with soft measure data

abstract: In this paper we prove existence and uniqueness results for nonlinear parabolic problems with Dirichlet boundary values whose model is \[ \left\{ \begin{aligned} &b(u)_t-\Delta_{p}u=\mu\;\mbox{in }(0,T)\times\Omega,\\ &b(u(0,x))=b(u_{0})\;\mbox{in }\Omega,\\ &u(t,x)=0\;\mbox{on }(0,T)\times\partial\Omega. \end{aligned} \right. \] where $\Delta_{p}u=\text{div}(|\nabla u|^{p-2}\nabla u)$ is the usual $p-$Laplace operator, $b$ is a increasing $C^{1}-$function and $\mu$ is a finite measure which does not charge sets of zero parabolic $p-$capacity, and we discuss their main properties.


title: An Euler phi function for the Eisenstein integers and some applications

abstract: The Euler phi function on a given integer $n$ yields the number of positive integers less than $n$ that are relatively prime to $n$. Equivalently, it gives the order of the group of units in the quotient ring $\mathbb{Z}/(n)$. We generalize the Euler phi function to the Eisenstein integer ring $\mathbb{Z}[\rho]$ where $\rho$ is the primitive third root of unity $e^{2\pi i/3}$ by finding the order of the group of units in the ring $\mathbb{Z}[\rho]/(\theta)$ for any given Eisenstein integer $\theta$. As one application we investigate a sufficiency criterion for when certain unit groups $\left(\mathbb{Z}[\rho]/(\gamma^n)\right)^\times$ are cyclic where $\gamma$ is prime in $\mathbb{Z}[\rho]$ and $n \in \mathbb{N}$, thereby generalizing well-known results of similar applications in the integers and some lesser known results in the Gaussian integers. As another application, we prove that the celebrated Euler-Fermat theorem holds for the Eisenstein integers.


title: Non-uniqueness of blowing-up solutions to the Gelfand problem

abstract: We consider the Gelfand problem on a planar domain. Under some conditions on the potential, we provide the first examples of multiplicity for blowing-up solutions at a given point in the domain. The argument is based on a refined Lyapunov-Schmidt reduction and the computation of the degree of a finite-dimensional map.


title: Approximate perfect fluid solutions with quadrupole moment

abstract: We investigate the interior Einstein's equations in the case of a static, axially symmetric, perfect fluid source. We present a particular line element that is specially suitable for the investigation of this type of interior gravitational fields. Assuming that the deviation from spherically symmetry is small, we linearize the corresponding field equations and find several classes of vacuum and perfect fluid solutions. We find physically meaninful spacetimes by imposing appropriate matching conditions.


title: Machine Learning Forcefield for Silicate Glasses

abstract: Developing accurate, transferable, and computationally-efficient interatomic forcefields is key to facilitate the modeling of silicate glasses. However, the high number of forcefield parameters that need to be optimized render traditional parameterization methods poorly efficient or potentially subject to bias. Here, we present a new forcefield parameterization methodology based on ab initio molecular dynamics simulations, Gaussian process regression, and Bayesian optimization. By taking the example of glassy silica, we show that our methodology yields a new interatomic forcefield that offers an unprecedented description of the atomic structure of silica. This methodology offers a new route to efficiently parameterize new empirical interatomic forcefields for silicate glasses with very limited need for intuition.


title: A Quasi-static Model and Simulation Approach for Pushing, Grasping, and Jamming

abstract: Quasi-static models of robotic motion with frictional contact provide a computationally efficient framework for analysis and have been widely used for planning and control of non-prehensile manipulation. In this work, we present a novel quasi-static model of planar manipulation that directly maps commanded manipulator velocities to object motion. While quasi-static models have traditionally been unable to capture grasping and jamming behaviors, our approach solves this issue by explicitly modeling the limiting behavior of a velocity-controlled manipulator. We retain the precise modeling of surface contact pressure distributions and efficient computation of contact-rich behaviors of previous methods and additionally prove existence of solutions for any desired manipulator motion. We derive continuous and time-stepping formulations, both posed as tractable Linear Complementarity Problems (LCPs).


title: Validating Gravity-Based Market Share Models Using Large-Scale Transactional Data

abstract: Customer patronage behavior has been widely studied in market share modeling contexts, which is an essential step towards modeling and solving competitive facility location problems. Existing studies have conducted surveys to estimate merchants' market share and factors of attractiveness to use in various proposed mathematical models. Recent trends in Big Data analysis allow us to better understand human behavior and decision making, potentially leading to location models with more realistic assumptions. In this paper, we propose a novel approach for validating Huff gravity market share model, using a large-scale transactional dataset that describes customer patronage behavior in a regional scale. Although the Huff model has been well-studied and widely used in the context of competitive facility location and demand allocation, this paper is the first in validating the Huff model with a real dataset. Our approach helps to easily apply the model in different regions and with different merchant categories. Experimental results show that the Huff model fits well when modeling customer shopping behavior for a number of shopping categories including grocery stores, clothing stores, gas stations, and restaurants. We also conduct regression analysis to show that certain features such as gender diversity and marital status diversity lead to stronger validation of the Huff model. We believe we provide strong evidence, with the help of real world data, that gravity-based market share models are viable assumptions for competitive facility location models.


title: Lumen boundary detection using neutrosophic c-means in IVOCT images

abstract: In this paper, a novel method for lumen boundary identification is proposed using Neutrosophic c_means. This method clusters pixels of the intravascular optical coherence tomography image into several clusters using indeterminacy and Neutrosophic theory, which aims to detect the boundaries. Intravascular optical coherence tomography images are cross-sectional and high-resolution images which are taken from the coronary arterial wall. Coronary Artery Disease cause a lot of death each year. The first step for diagnosing this kind of diseases is to detect lumen boundary. Employing this approach, we obtained 0.972, 0.019, 0.076 mm2, 0.32 mm, and 0.985 as mean value for Jaccard measure (JACC), the percentage of area difference (PAD), average distance (AD), Hausdorff distance (HD), and dice index (DI), respectively. Based on our results, this method enjoys high accuracy performance.


title: Isotropic-Nematic Transition and Demixing Behaviour in Binary Mixtures of Hard Spheres and Hard Spherocylinders Confined in a Disordered Porous Medium: Scaled Particle Theory

abstract: We develop the scaled particle theory to describe the thermodynamic properties and orientation ordering of a binary mixture of hard spheres (HS) and hard spherocylinders (HSC) confined in a disordered porous medium. Using this theory the analytical expressions of the free energy, the pressure and the chemical potentials of HS and HSC have been derived. The improvement of obtained results is considered by introducing the Carnahan-Starling-like and Parsons-Lee-like corrections. Phase diagrams for the isotropic-nematic transition are calculated from the bifurcation analysis of the integral equation for the orientation singlet distribution function and from the conditions of thermodynamic equilibrium. Both the approaches correctly predict the isotropic-nematic transition at low concentrations of hard spheres. However, the thermodynamic approach provides more accurate results and is able to describe the demixing phenomena in the isotropic and nematic phases. The effects of porous medium on the isotropic-nematic phase transition and demixing behaviour in a binary HS/HSC mixture are discussed.


title: On the problem of Pillai with Fibonacci numbers, Padovan numbers, and Tribonacci numbers and powers of $3$

abstract: Consider the sequences: $ \{F_{n}\}_{n\geq 0} $ of Fibonacci numbers defined by $ F_0=0 $, $ F_1 =1$ and $ F_{n+2}=F_{n+1}+ F_{n} $ for all $ n\geq 0 $; $ \{P_{n}\}_{n\geq 0} $ of Padovan numbers defined by $ P_0=0 $, $ P_1 =1 = P_2 $ and $ P_{n+3}=P_{n+1}+ P_{n} $ for all $ n\geq 0 $; and $ \{T_{n}\}_{n\geq 0} $ of Tribonacci numbers defined by $ T_0=0 $, $ T_1 =1= T_2$ and $ T_{n+3}=T_{n_2}+T_{n+1}+ T_{n} $ for all $ n\geq 0 $. In this paper, we find all integers $ c $ having at least two representations as a difference between: a Fibonacci number and a power of $ 3 $; a Padovan number and a power of $3$; and a Tribonacci number and a power of $3$.


title: The Perils of Detecting Measurement Faults in Environmental Monitoring Networks

abstract: Scientists deploy environmental monitoring net-works to discover previously unobservable phenomena and quantify subtle spatial and temporal differences in the physical quantities they measure. Our experience, shared by others, has shown that measurements gathered by such networks are perturbed by sensor faults. In response, multiple fault detection techniques have been proposed in the literature. However, in this paper we argue that these techniques may misclassify events (e.g. rain events for soil moisture measurements) as faults, potentially discarding the most interesting measurements. We support this argument by applying two commonly used fault detection techniques on data collected from a soil monitoring network. Our results show that in this case, up to 45% of the event measurements are misclassified as faults. Furthermore, tuning the fault detection algorithms to avoid event misclassification, causes them to miss the majority of actual faults. In addition to exposing the tension between fault and event detection, our findings motivate the need to develop novel fault detection mechanisms which incorporate knowledge of the underlying events and are customized to the sensing modality they monitor.


title: Deep Algorithm Unrolling for Blind Image Deblurring

abstract: Blind image deblurring remains a topic of enduring interest. Learning based approaches, especially those that employ neural networks have emerged to complement traditional model based methods and in many cases achieve vastly enhanced performance. That said, neural network approaches are generally empirically designed and the underlying structures are difficult to interpret. In recent years, a promising technique called algorithm unrolling has been developed that has helped connect iterative algorithms such as those for sparse coding to neural network architectures. However, such connections have not been made yet for blind image deblurring. In this paper, we propose a neural network architecture based on this idea. We first present an iterative algorithm that may be considered as a generalization of the traditional total-variation regularization method in the gradient domain. We then unroll the algorithm to construct a neural network for image deblurring which we refer to as Deep Unrolling for Blind Deblurring (DUBLID). Key algorithm parameters are learned with the help of training images. Our proposed deep network DUBLID achieves significant practical performance gains while enjoying interpretability at the same time. Extensive experimental results show that DUBLID outperforms many state-of-the-art methods and in addition is computationally faster.


title: On some classical type Sobolev orthogonal polynomials

abstract: In this paper we propose a way to construct classical type Sobolev orthogonal polynomials. We consider two families of hypergeometric polynomials: ${}_2 F_2(-n,1;q,r;x)$ and ${}_3 F_2(-n,n-1+a+b,1;a,c;x)$ ($a,b,c,q,r>0$, $n=0,1,...$), which generalize Laguerre and Jacobi polynomials, respectively. These polynomials satisfy higher-order differential equations of the following form: $L y + \lambda_n D y = 0$, where $L,D$ are linear differential operators with polynomial coefficients not depending on $n$. For positive integer values of the parameters $r,c$ these polynomials are Sobolev orthogonal polynomials with some explicitly given measures. Some basic properties of these polynomials, including recurrence relations, are obtained.


title: Evaluating reliability of complex systems for Predictive maintenance

abstract: Predictive Maintenance (PdM) can only be implemented when the online knowledge of system condition is available, and this has become available with deployment of on-equipment sensors. To date, most studies on predicting the remaining useful lifetime of a system have been focusing on either single-component systems or systems with deterministic reliability structures. This assumption is not applicable on some realistic problems, where there exist uncertainties in reliability structures of complex systems. In this paper, a PdM scheme is developed by employing a Discrete Time Markov Chain (DTMC) for forecasting the health of monitored components and a Bayesian Network (BN) for modeling the multi-component system reliability. Therefore, probabilistic inferences on both the system and its components status can be made and PdM can be scheduled on both levels.


title: Recognition of M-type stars in the unclassified spectra of LAMOST DR5 using a hash learning method

abstract: Our study aims to recognize M-type stars which are classified as "UNKNOWN" due to bad quality in Large sky Area Multi-Object fibre Spectroscopic Telescope (LAMOST) DR5 V1. A binary nonlinear hashing algorithm based on Multi-Layer Pseudo Inverse Learning (ML-PIL) is proposed to effectively learn spectral features for the M-type star detection, which can overcome the bad fitting problem of template matching, particularly for low S/N spectra. The key steps and the performance of the search scheme are presented. A positive dataset is obtained by clustering the existing M-type spectra to train the ML-PIL networks. By employing this new method, we find 11,410 M-type spectra out of 642,178 "UNKNOWN" spectra, and provide a supplemental catalogue. Both the supplemental objects and released M-type stars in DR5 V1 are composed a whole M type sample, which will be released in the official DR5 to the public in June 2019, All the M-type stars in the dataset are classified to giants and dwarfs by two suggested separators: 1) color diagram of H versus J~K from 2MASS; 2) line indices CaOH versus CaH1, and the separation is validated with HRD derived from Gaia DR2. The magnetic activities and kinematics of M dwarfs are also provided with the EW of H_alpha emission line and the astrometric data from Gaia DR2 respectively.


title: Symmetry Breaking in Density Functional Theory due to Dirac Exchange for a Hydrogen Molecule

abstract: We study symmetry breaking in the mean field solutions to the 2 electron hydrogen molecule within Kohn Sham (KS) local spin density function theory with Dirac exchange (the XLDA model). This simplified model shows behavior related to that of the (KS) spin density functional theory (SDFT) predictions in condensed and molecular systems. The Kohn Sham solutions to the constrained SDFT variation problem undergo spontaneous symmetry breaking as the relative strength of the non-convex exchange term increases. This results in the change of the molecular ground state from a paramagnetic state to an antiferromagnetic ground states and a stationary symmetric delocalized 1st excited state. We further characterize the limiting behavior of the minimizer when the strength of the exchange term goes to infinity. This leads to further bifurcations and highly localized states with varying character. The stability of the various solution classes is demonstrated by Hessian analysis. Finite element numerical results provide support for the formal conjectures.


title: Space lower bounds for linear prediction in the streaming model

abstract: We show that fundamental learning tasks, such as finding an approximate linear separator or linear regression, require memory at least \emph{quadratic} in the dimension, in a natural streaming setting. This implies that such problems cannot be solved (at least in this setting) by scalable memory-efficient streaming algorithms. Our results build on a memory lower bound for a simple linear-algebraic problem -- finding orthogonal vectors -- and utilize the estimates on the packing of the Grassmannian, the manifold of all linear subspaces of fixed dimension.


title: Multilingual Neural Machine Translation With Soft Decoupled Encoding

abstract: Multilingual training of neural machine translation (NMT) systems has led to impressive accuracy improvements on low-resource languages. However, there are still significant challenges in efficiently learning word representations in the face of paucity of data. In this paper, we propose Soft Decoupled Encoding (SDE), a multilingual lexicon encoding framework specifically designed to share lexical-level information intelligently without requiring heuristic preprocessing such as pre-segmenting the data. SDE represents a word by its spelling through a character encoding, and its semantic meaning through a latent embedding space shared by all languages. Experiments on a standard dataset of four low-resource languages show consistent improvements over strong multilingual NMT baselines, with gains of up to 2 BLEU on one of the tested languages, achieving the new state-of-the-art on all four language pairs.


title: Homotopy pro-nilpotent structured ring spectra and topological Quillen localization

abstract: The aim of this paper is to show that homotopy pro-nilpotent structured ring spectra are TQ-local, where structured ring spectra are described as algebras over a spectral operad O. Here, TQ is short for topological Quillen homology, which is weakly equivalent to O-algebra stabilization. An O-algebra is called homotopy pro-nilpotent if it is equivalent to a limit of nilpotent O-algebras. Our result provides new positive evidence to a conjecture by Francis-Gaisgory on Koszul duality for general operads. As an application, we simultaneously extend the previously known 0-connected and nilpotent TQ-Whitehead theorems to a homotopy pro-nilpotent TQ-Whitehead theorem.


title: Assessing the Local Interpretability of Machine Learning Models

abstract: The increasing adoption of machine learning tools has led to calls for accountability via model interpretability. But what does it mean for a machine learning model to be interpretable by humans, and how can this be assessed? We focus on two definitions of interpretability that have been introduced in the machine learning literature: simulatability (a user's ability to run a model on a given input) and "what if" local explainability (a user's ability to correctly determine a model's prediction under local changes to the input, given knowledge of the model's original prediction). Through a user study with 1,000 participants, we test whether humans perform well on tasks that mimic the definitions of simulatability and "what if" local explainability on models that are typically considered locally interpretable. To track the relative interpretability of models, we employ a simple metric, the runtime operation count on the simulatability task. We find evidence that as the number of operations increases, participant accuracy on the local interpretability tasks decreases. In addition, this evidence is consistent with the common intuition that decision trees and logistic regression models are interpretable and are more interpretable than neural networks.


title: Accelerated Sampling Kaczmarz Motzkin Algorithm for The Linear Feasibility Problem

abstract: The Sampling Kaczmarz Motzkin (SKM) algorithm is a generalized method for solving large scale linear systems of inequalities. Having its root in the relaxation method of Agmon, Schoenberg, and Motzkin and the randomized Kaczmarz method, SKM outperforms the state of the art methods in solving large-scale Linear Feasibility (LF) problems. Motivated by SKM's success, in this work, we propose an Accelerated Sampling Kaczmarz Motzkin (ASKM) algorithm which achieves better convergence compared to the standard SKM algorithm on ill conditioned problems. We provide a thorough convergence analysis for the proposed accelerated algorithm and validate the results with various numerical experiments. We compare the performance and effectiveness of ASKM algorithm with SKM, Interior Point Method (IPM) and Active Set Method (ASM) on randomly generated instances as well as Netlib LPs. In most of the test instances, the proposed ASKM algorithm outperforms the other state of the art methods.


title: Analysis of an approximation to a fractional extension problem

abstract: The purpose of this work is to study an approximation to an abstract Bessel-type problem, which is a generalization of the extension problem associated with fractional powers of the Laplace operator. Motivated by the success of such approaches in the analysis of time-stepping methods for abstract Cauchy problems, we adopt a similar framework, herein. The proposed method differs from many standard techniques, as we approximate the true solution to the abstract problem, rather than solve an associated discrete problem. The numerical method is shown to be consistent, stable, and convergent in an appropriate Banach space. These results are built upon well understood results from semigroup theory. Numerical experiments are provided to demonstrate the theoretical results.


title: Replica-mean-field limits for intensity-based neural networks

abstract: Neural computations emerge from myriads of neuronal interactions occurring in intricate spiking networks. Due to the inherent complexity of neural models, relating the spiking activity of a network to its structure requires simplifying assumptions, such as considering models in the thermodynamic mean-field limit. In the thermodynamic mean-field limit, an infinite number of neurons interact via vanishingly small interactions, thereby erasing the finite size of interactions. To better capture the finite-size effects of interactions, we propose to analyze the activity of neural networks in the replica-mean-field limit. Replica-mean-field models are made of infinitely many replicas which interact according to the same basic structure as that of the finite network of interest. Here, we analytically characterize the stationary dynamics of an intensity-based neural network with spiking reset and heterogeneous excitatory synapses in the replica-mean-field limit. Specifically, we functionally characterize the stationary dynamics of these limit networks via ordinary differential equations derived from the Poisson Hypothesis of queuing theory. We then reduce this functional characterization to a system of self-consistency equations specifying the stationary neuronal firing rates. Of general applicability, our approach combines rate-conservation principles from point-process theory and analytical considerations from generating-function methods. We validate our approach by demonstrating numerically that replica-mean-field models better capture the dynamics of neural networks with large, sparse connections than their thermodynamic counterparts. Finally, we explain that improved performance by analyzing the neuronal rate-transfer functions, which saturate due to finite-size effects in the replica-mean-field limit.


title: Universal optimal configurations for the $p$-frame potentials

abstract: Given $d, N\geq 2$ and $p\in (0, \infty]$ we consider a family of functionals, the $p$-frame potentials FP$_{p, N, d}$, defined on the set of all collections of $N$ unit-norm vectors in $\mathbb R^d$. For the special case $p=2$ and $p=\infty$, both the minima and the minimizers of these potentials have been thoroughly investigated. In this paper, we investigate the minimizers of the functionals FP$_{p, N, d}$, by first establishing some general properties of their minima. Thereafter, we focus on the special case $d=2$, for which, surprisingly, not much is known. One of our main results establishes the unique minimizer for big enough $p$. Moreover, this minimizer is universal in the sense that it minimizes a large range of energy functions that includes the $p$-frame potential. We conclude the paper by reporting some numerical experiments for the case $d\geq 3$, $N=d+1$, $p\in (0, 2)$. These experiments lead to some conjectures that we pose.


title: A Game of Drones: Cyber-Physical Security of Time-Critical UAV Applications with Cumulative Prospect Theory Perceptions and Valuations

abstract: In this paper, a novel mathematical framework is introduced for modeling and analyzing the cyber-physical security of time-critical UAV applications. A general UAV security network interdiction game is formulated to model interactions between a UAV operator and an interdictor, each of which can be benign or malicious. In this game, the interdictor chooses the optimal location(s) from which to target the drone system by interdicting the potential paths of the UAVs. Meanwhile, the UAV operator responds by finding an optimal path selection policy that enables its UAVs to evade attacks and minimize their mission completion time. New notions from cumulative prospect theory (PT) are incorporated into the game to capture the operator's and interdictor's subjective valuations of mission completion times and perceptions of the risk levels facing the UAVs. The equilibrium of the game, with and without PT, is then analytically characterized and studied. Novel algorithms are then proposed to reach the game's equilibria under both PT and classical game theory. Simulation results show the properties of the equilibrium for both the rational and PT cases. The results show that the operator's and interdictor's bounded rationality is more likely to be disadvantageous to the UAV operator.


title: When do factors promoting balanced selection also promote population persistence? A demographic perspective on Gillespie's SAS-CFF model

abstract: Classical stochastic demography predicts that environmental stochasticity reduces population growth rates and, thereby, can increase extinction risk. In contrast, the SAS-CFF model demonstrates that environmental stochasticity can promote genetic diversity. Extending the SAS-CFF to account for demography, I examine the simultaneous effects of environmental stochasticity on genetic diversity and population persistence. Consistent with Gillespie's analysis, if the log-fitness function is concave and allelic responses to the environment are not perfectly correlated, then per-capita growth rates of rare alleles are positive and genetic diversity is maintained in the sense of stochastic persistence i.e. allelic frequencies tend to stay away from zero almost-surely and in probability. Alternatively, if the log-fitness function is convex, then per-capita growth rates of rare alleles are negative and an allele asymptotically fixates with probability one. If the population's low-density, per-capita growth rate is positive, then the population persists in the sense of stochastic persistence, else it goes asymptotically extinct with probability one. In contrast to per-capita growth rates of rare alleles, the population's per-capita growth rate is a decreasing function of the concavity of the log-fitness function. Moreover, when the log-fitness function is concave, allelic diversity increases the population's per-capita growth rate while decreasing the per-capita growth rate of rare alleles, and environmental stochasticity increases the per-capita growth rate of rare alleles but decreases the population's per-capita growth rate. Collectively, these results (i) highlight how mechanisms promoting population persistence may be at odds with mechanisms promoting genetic diversity, and (ii) provide conditions under which population persistence relies on existing standing genetic variation.


title: Nematic Fluctuations in the Cuprate Superconductor Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$

abstract: Establishing the presence and the nature of a quantum critical point in their phase diagram is a central enigma of the high-temperature superconducting cuprates. It could explain their pseudogap and strange metal phases, and ultimately their high superconducting temperatures. Yet, while solid evidences exist in several unconventional superconductors of ubiquitous critical fluctuations associated to a quantum critical point, in the cuprates they remain undetected until now. Here using symmetry-resolved electronic Raman scattering in the cuprate Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$, we report the observation of enhanced electronic nematic fluctuations near the endpoint of the pseudogap phase. While our data hint at the possible presence of an incipient nematic quantum critical point, the doping dependence of the nematic fluctuations deviates significantly from a canonical quantum critical scenario. The observed nematic instability rather appears to be tied to the presence of a van Hove singularity in the band structure.


title: Statistical Lyapunov theory based on bifurcation analysis of energy cascade in isotropic homogeneous turbulence: a physical -- mathematical review

abstract: This work presents a review of previous articles dealing with an original turbulence theory proposed by the author, and provides new theoretical insights into some related issues. The new theoretical procedures and methodological approaches confirm and corroborate the previous results. These articles study the regime of homogeneous isotropic turbulence for incompressible fluids and propose theoretical approaches based on a specific Lyapunov theory for determining the closures of the von K\'arm\'an-Howarth and Corrsin equations, and the statistics of velocity and temperature difference. Furthermore, novel theoretical issues are here presented among which we can mention the following ones. The bifurcation rate of the velocity gradient, calculated along fluid particles trajectories, is shown to be much larger than the corresponding maximal Lyapunov exponent. On that basis, an interpretation of the energy cascade phenomenon is given and the statistics of finite time Lyapunov exponent of the velocity gradient is shown to be represented by normal distribution functions. Next, the self--similarity produced by the proposed closures is analyzed, and a proper bifurcation analysis of the closed von K\'arm\'an--Howarth equation is performed. This latter investigates the route from developed turbulence toward the non--chaotic regimes, leading to an estimate of the critical Taylor scale Reynolds number. A proper statistical decomposition based on extended distribution functions and on the Navier--Stokes equations is presented, which leads to the statistics of velocity and temperature difference.


title: Inverse Projection Representation and Category Contribution Rate for Robust Tumor Recognition

abstract: Sparse representation based classification (SRC) methods have achieved remarkable results. SRC, however, still suffer from requiring enough training samples, insufficient use of test samples and instability of representation. In this paper, a stable inverse projection representation based classification (IPRC) is presented to tackle these problems by effectively using test samples. An IPR is firstly proposed and its feasibility and stability are analyzed. A classification criterion named category contribution rate is constructed to match the IPR and complete classification. Moreover, a statistical measure is introduced to quantify the stability of representation-based classification methods. Based on the IPRC technique, a robust tumor recognition framework is presented by interpreting microarray gene expression data, where a two-stage hybrid gene selection method is introduced to select informative genes. Finally, the functional analysis of candidate's pathogenicity-related genes is given. Extensive experiments on six public tumor microarray gene expression datasets demonstrate the proposed technique is competitive with state-of-the-art methods.


title: Nonparametric Density Estimation & Convergence Rates for GANs under Besov IPM Losses

abstract: We study the problem of estimating a nonparametric probability density under a large family of losses called Besov IPMs, which include, for example, $\mathcal{L}^p$ distances, total variation distance, and generalizations of both Wasserstein and Kolmogorov-Smirnov distances. For a wide variety of settings, we provide both lower and upper bounds, identifying precisely how the choice of loss function and assumptions on the data interact to determine the minimax optimal convergence rate. We also show that linear distribution estimates, such as the empirical distribution or kernel density estimator, often fail to converge at the optimal rate. Our bounds generalize, unify, or improve several recent and classical results. Moreover, IPMs can be used to formalize a statistical model of generative adversarial networks (GANs). Thus, we show how our results imply bounds on the statistical error of a GAN, showing, for example, that GANs can strictly outperform the best linear estimator.

categories: math.ST cs.IT cs.LG math.IT stat.ML stat.TH


title: Non-standard Verma type modules for $\mathfrak{q}(n)^{(2)}$

abstract: We study non-standard Verma type modules over the Kac-Moody queer Lie superalgebra $\mathfrak{q}(n)^{(2)}$. We give a sufficient condition under which such modules are irreducible. We also give a classification of all irreducible diagonal $\mathbb{Z}$-graded modules over certain Heisenberg Lie superalgebras contained in $\mathfrak{q}(n)^{(2)}$.


title: Computational Complexity and the Nature of Quantum Mechanics (Extended version)

abstract: Quantum theory (QT) has been confirmed by numerous experiments, yet we still cannot fully grasp the meaning of the theory. As a consequence, the quantum world appears to us paradoxical. Here we shed new light on QT by having it follow from two main postulates (i) the theory should be logically consistent; (ii) inferences in the theory should be computable in polynomial time. The first postulate is what we require to each well-founded mathematical theory. The computation postulate defines the physical component of the theory. We show that the computation postulate is the only true divide between QT, seen as a generalised theory of probability, and classical probability. All quantum paradoxes, and entanglement in particular, arise from the clash of trying to reconcile a computationally intractable, somewhat idealised, theory (classical physics) with a computationally tractable theory (QT) or, in other words, from regarding physics as fundamental rather than computation.


title: Facial Micro-Expression Spotting and Recognition using Time Contrasted Feature with Visual Memory

abstract: Facial micro-expressions are sudden involuntary minute muscle movements which reveal true emotions that people try to conceal. Spotting a micro-expression and recognizing it is a major challenge owing to its short duration and intensity. Many works pursued traditional and deep learning based approaches to solve this issue but compromised on learning low-level features and higher accuracy due to unavailability of datasets. This motivated us to propose a novel joint architecture of spatial and temporal network which extracts time-contrasted features from the feature maps to contrast out micro-expression from rapid muscle movements. The usage of time contrasted features greatly improved the spotting of micro-expression from inconspicuous facial movements. Also, we include a memory module to predict the class and intensity of the micro-expression across the temporal frames of the micro-expression clip. Our method achieves superior performance in comparison to other conventional approaches on CASMEII dataset.


title: Multi-Domain Translation by Learning Uncoupled Autoencoders

abstract: Multi-domain translation seeks to learn a probabilistic coupling between marginal distributions that reflects the correspondence between different domains. We assume that data from different domains are generated from a shared latent representation based on a structural equation model. Under this assumption, we show that the problem of computing a probabilistic coupling between marginals is equivalent to learning multiple uncoupled autoencoders that embed to a given shared latent distribution. In addition, we propose a new framework and algorithm for multi-domain translation based on learning the shared latent distribution and training autoencoders under distributional constraints. A key practical advantage of our framework is that new autoencoders (i.e., new domains) can be added sequentially to the model without retraining on the other domains, which we demonstrate experimentally on image as well as genomics datasets.


title: Skew-Polynomial Rings and Skew-Cyclic Codes

abstract: This is a survey on the theory of skew-cyclic codes based on skew-polynomial rings of automorphism type. Skew-polynomial rings have been introduced and discussed by Ore (1933). Evaluation of skew polynomials and sets of (right) roots were first considered by Lam (1986) and studied in great detail by Lam and Leroy thereafter. After a detailed presentation of the most relevant properties of skew polynomials, we survey the algebraic theory of skew-cyclic codes as introduced by Boucher and Ulmer (2007) and studied by many authors thereafter. A crucial role will be played by skew-circulant matrices. Finally, skew-cyclic codes with designed minimum distance are discussed, and we report on two different kinds of skew-BCH codes, which were designed in 2014 and later.


title: Biadversarial Variational Autoencoder

abstract: In the original version of the Variational Autoencoder, Kingma et al. assume Gaussian distributions for the approximate posterior during the inference and for the output during the generative process. This assumptions are good for computational reasons, e.g. we can easily optimize the parameters of a neural network using the reparametrization trick and the KL divergence between two Gaussians can be computed in closed form. However it results in blurry images due to its difficulty to represent multimodal distributions. We show that using two adversarial networks, we can optimize the parameters without any Gaussian assumptions.


title: Architecting Non-Volatile Main Memory to Guard Against Persistence-based Attacks

abstract: DRAM-based main memory and its associated components increasingly account for a significant portion of application performance bottlenecks and power budget demands inside the computing ecosystem. To alleviate the problems of storage density and power constraints associated with DRAM, system architects are investigating alternative non-volatile memory technologies such as Phase Change Memory (PCM) to either replace or be used alongside DRAM memory. While such alternative memory types offer many promises to overcome the DRAM-related issues, they present a significant security threat to the users due to persistence of memory data even after power down. In this paper, we investigate smart mechanisms to obscure the data left in non-volatile memory after power down. In particular, we analyze the effect of using a single encryption algorithm versus differentiated encryption based on the security needs of the application phases. We also explore the effect of encryption on a hybrid main memory that has a DRAM buffer cache plus PCM main memory. Our mechanism takes into account the limited write endurance problem associated with several non-volatile memory technologies including PCM, and avoids any additional writes beyond those originally issued by the applications. We evaluate using Gem5 simulator and SPEC 2006 applications, and show the performance and power overheads of our proposed design.