title: PC Proxy: A Method for Dynamical Tracer Reconstruction

abstract: A detailed development of the principal component proxy method of dynamical tracer reconstruction is presented, including error analysis. The method works by correlating the largest principal components of a matrix representation of the transport dynamics with a set of sparse measurements. The Lyapunov spectrum was measured and used to quantify the lifetime of each principal component. The method was tested on the 500 K isentropic surface with stratospheric ozone concentration measurements from the Polar Aerosol and Ozone Measurement (POAM) III satellite instrument during October and November 1998 and compared with the older proxy tracer method which works by correlating measurements with a single other tracer or proxy. Using a 60 day integration time and five (5) principal components, cross validation of globally reconstructed ozone and comparison with ozone sondes returned root-mean-square errors of 0.16 ppmv and 0.36 ppmv, respectively. This compares favourably with the classic proxy tracer method in which a passive tracer equivalent latitude field was used for the proxy and which returned RMS errors of 0.22 ppmv and 0.59 ppmv for cross-validation and sonde validation respectively. The method seems especially effective for shorter lived tracers and was far more accurate than the classic method at predicting ozone concentration in the Southern hemisphere over the same time period. It is also more effective when reconstruction is performed over the entire Earth rather than a single hemisphere allowing for seamless reconstruction of global fields.


title: Low-mass X-ray binaries from black-hole retaining globular clusters

abstract: Recent studies suggest that globular clusters (GCs) may retain a substantial population of stellar-mass black holes (BHs), in contrast to the long-held belief of a few to zero BHs. We model the population of BH low-mass X-ray binaries (BH-LMXBs), an ideal observable proxy for elusive single BHs, produced from a representative group of Milky Way GCs with variable BH populations. We simulate the formation of BH-binaries in GCs through exchange interactions between binary and single stars in the company of tens to hundreds of BHs. Additionally, we consider the impact of the BH population on the rate of compact binaries undergoing gravitational wave driven mergers. The characteristics of the BH-LMXB population and binary properties are sensitive to the GCs structural parameters as well as its unobservable BH population. We find that GCs retaining $\sim 1000$ BHs produce a galactic population of $\sim 150$ ejected BH-LMXBs whereas GCs retaining only $\sim20$ BHs produce zero ejected BH-LMXBs. Moreover, we explore the possibility that some of the presently known BH-LMXBs might have originated in GCs and identify five candidate systems.


title: Time-dependent topological systems: A study of the Bott index

abstract: The Bott index is an index that discerns among pairs of unitary matrices that can or cannot be approximated by a pair of commuting unitary matrices. It has been successfully employed to describe the approximate integer quantization of the transverse conductance of a system described by a short-range, bounded and spectrally gapped Hamiltonian on a finite two dimensional lattice on a torus and to describe the invariant of the Bernevig- Hughes-Zhang model even with disorder. This paper shows the constancy in time of the Bott index and the Chern number related to the time-evolved Fermi projection of a thermodynamically large system described by a short-range and time-dependent Hamiltonian that is initially gapped. The general situation of a ramp of a time-dependent perturbation is considered, a section is dedicated to time-periodic perturbations.


title: Accelerating Kernel Classifiers Through Borders Mapping

abstract: Support vector machines (SVM) and other kernel techniques represent a family of powerful statistical classification methods with high accuracy and broad applicability. Because they use all or a significant portion of the training data, however, they can be slow, especially for large problems. Piecewise linear classifiers are similarly versatile, yet have the additional advantages of simplicity, ease of interpretation and, if the number of component linear classifiers is not too large, speed. Here we show how a simple, piecewise linear classifier can be trained from a kernel-based classifier in order to improve the classification speed. The method works by finding the root of the difference in conditional probabilities between pairs of opposite classes to build up a representation of the decision boundary. When tested on 17 different datasets, it succeeded in improving the classification speed of a SVM for 12 of them by up to two orders-of-magnitude. Of these, two were less accurate than a simple, linear classifier. The method is best suited to problems with continuum features data and smooth probability functions. Because the component linear classifiers are built up individually from an existing classifier, rather than through a simultaneous optimization procedure, the classifier is also fast to train.


title: Adaptive Sampling for Rapidly Matching Histograms

abstract: In exploratory data analysis, analysts often have a need to identify histograms that possess a specific distribution, among a large class of candidate histograms, e.g., find countries whose income distribution is most similar to that of Greece. This distribution could be a new one that the user is curious about, or a known distribution from an existing histogram visualization. At present, this process of identification is brute-force, requiring the manual generation and evaluation of a large number of histograms. We present FastMatch: an end-to-end approach for interactively retrieving the histogram visualizations most similar to a user-specified target, from a large collection of histograms. The primary technical contribution underlying FastMatch is a probabilistic algorithm, HistSim, a theoretically sound sampling-based approach to identify the top-$k$ closest histograms under $\ell_1$ distance. While HistSim can be used independently, within FastMatch we couple HistSim with a novel system architecture that is aware of practical considerations, employing asynchronous block-based sampling policies, building on lightweight sampling engines developed in recent work. FastMatch obtains near-perfect accuracy with up to $35\times$ speedup over approaches that do not use sampling on several real-world datasets.


title: Rigidity, graphs and Hausdorff dimension

abstract: For a compact set $E \subset \mathbb R^d$ and a connected graph $G$ on $k+1$ vertices, we define a $G$-framework to be a collection of $k+1$ points in $E$ such that the distance between a pair of points is specified if the corresponding vertices of $G$ are connected by an edge. We regard two such frameworks as equivalent if the specified distances are the same. We show that in a suitable sense the set of equivalences of such frameworks naturally embeds in ${\mathbb R}^m$ where $m$ is the number of "essential" edges of $G$. We prove that there exists a threshold $s_k<d$ such that if the Hausdorff dimension of $E$ is greater than $s_k$, then the $m$-dimensional Hausdorff measure of the set of equivalences of $G$-frameworks is positive. The proof relies on combinatorial, topological and analytic considerations.


title: Asymptotically optimal appointment schedules with customer no-shows

abstract: We consider the problem of scheduling appointments for a finite customer population to a service facility with customer no-shows, to minimize the sum of customer waiting time and server overtime costs. Since appointments need to be scheduled ahead of time we refer to this problem as an optimization problem rather than a dynamic control one. We study this optimization problem in fluid and diffusion scales and identify asymptotically optimal schedules in both scales. In fluid scale, we show that it is optimal to schedule appointments so that the system is in critical load; thus heavy-traffic conditions are obtained as a result of optimization rather than as an assumption. In diffusion scale, we solve this optimization problem in the large horizon limit. Our explicit stationary solution of the corresponding Brownian Optimization Problem translates the customer-delay versus server-overtime tradeoff to a tradeoff between the state of a reflected Brownian motion in the half-line and its local time at zero. Motivated by work on competitive ratios, we also consider a reference model in which an oracle provides the decision maker with the complete randomness information. The difference between the values of the scheduling problem for the two models, to which we refer as the stochasticity gap (SG), quantifies the degree to which it is harder to design a schedule under uncertainty than when the stochastic primitives (i.e., the no-shows and service times) are known in advance. In the fluid scale, the SG converges to zero, but in the diffusion scale it converges to a positive constant that we compute.


title: Transitory Queueing Networks

abstract: Queueing networks are notoriously difficult to analyze sans both Markovian and stationarity assumptions. Much of the theoretical contribution towards performance analysis of time-inhomogeneous single class queueing networks has focused on Markovian networks, with the recent exception of work in Liu and Whitt (2011) and Mandelbaum and Ramanan (2010). In this paper, we introduce transitory queueing networks as a model of inhomogeneous queueing networks, where a large, but finite, number of jobs arrive at queues in the network over a fixed time horizon. The queues offer FIFO service, and we assume that the service rate can be time-varying. The non-Markovian dynamics of this model complicate the analysis of network performance metrics, necessitating approximations. In this paper we develop fluid and diffusion approximations to the number-in-system performance metric by scaling up the number of external arrivals to each queue, following Honnappa et al. (2014). We also discuss the implications for bottleneck detection in tandem queueing networks.


title: 360-degree Video Stitching for Dual-fisheye Lens Cameras Based On Rigid Moving Least Squares

abstract: Dual-fisheye lens cameras are becoming popular for 360-degree video capture, especially for User-generated content (UGC), since they are affordable and portable. Images generated by the dual-fisheye cameras have limited overlap and hence require non-conventional stitching techniques to produce high-quality 360x180-degree panoramas. This paper introduces a novel method to align these images using interpolation grids based on rigid moving least squares. Furthermore, jitter is the critical issue arising when one applies the image-based stitching algorithms to video. It stems from the unconstrained movement of stitching boundary from one frame to another. Therefore, we also propose a new algorithm to maintain the temporal coherence of stitching boundary to provide jitter-free 360-degree videos. Results show that the method proposed in this paper can produce higher quality stitched images and videos than prior work.


title: Signatures of spin-orbital states of ${t_{2g}}^{2}$ system in the optical conductivity : The case of $R$VO$_{3}$ ($R$=Y and La)

abstract: We investigate signatures of spin and orbital states of $R$VO$_{3}$ ($R$=Y and La) in the optical conductivity using density functional theory plus dynamical mean-field theory (DFT+DMFT). From the assignment of multiplet states to optical transitions, DFT+DMFT reproduces experimental temperature dependent evolutions of optical conductivity for both YVO$_{3}$ and LaVO$_{3}$. We also show that the optical conductivity is a useful quantity to probe the evolution of the orbital state even in the absence of spin order. The result provides a reference to investigate spin and orbital states of ${t_{2g}}^{2}$ vanadate systems which is an important issue for both fundamental physics on spin and orbital states and applications of vanadates by means of orbital state control.


title: A Deep Q-Network for the Beer Game: A Deep Reinforcement Learning algorithm to Solve Inventory Optimization Problems

abstract: The beer game is a widely used in-class game that is played in supply chain management classes to demonstrate the bullwhip effect. The game is a decentralized, multi-agent, cooperative problem that can be modeled as a serial supply chain network in which agents cooperatively attempt to minimize the total cost of the network even though each agent can only observe its own local information. Each agent chooses order quantities to replenish its stock. Under some conditions, a base-stock replenishment policy is known to be optimal. However, in a decentralized supply chain in which some agents (stages) may act irrationally (as they do in the beer game), there is no known optimal policy for an agent wishing to act optimally. We propose a machine learning algorithm, based on deep Q-networks, to optimize the replenishment decisions at a given stage. When playing alongside agents who follow a base-stock policy, our algorithm obtains near-optimal order quantities. It performs much better than a base-stock policy when the other agents use a more realistic model of human ordering behavior. Unlike most other algorithms in the literature, our algorithm does not have any limits on the beer game parameter values. Like any deep learning algorithm, training the algorithm can be computationally intensive, but this can be performed ahead of time; the algorithm executes in real time when the game is played. Moreover, we propose a transfer learning approach so that the training performed for one agent and one set of cost coefficients can be adapted quickly for other agents and costs. Our algorithm can be extended to other decentralized multi-agent cooperative games with partially observed information, which is a common type of situation in real-world supply chain problems.


title: Neutron-proton pairing and double-beta decay in the interacting boson model

abstract: Background: The interacting boson model (IBM) has been used extensively to calculate the matrix elements governing neutrinoless double-beta decay. Studies within other models indicate that a good description of neutron-proton pairing is essential for accurate calculations of those matrix elements. The usual interacting boson model is based only on like-particle pairs, however, and the extent to which it captures neutron-proton pairing is not clear. Purpose: To determine whether neutron-proton pairing should be explicitly included as neutron-proton bosons in IBM calculations of neutrinoless double-beta decay matrix elements. Method: An isospin-invariant version of the nucleon-pair shell model is applied to carry out shell-model calculations in a large space and in a collective subspace, and to define effective operators in the latter. A democratic mapping is then used to define corresponding boson operators for the IBM, with and without an isoscalar neutron-proton pair boson. Results: IBM calculations with and without the isoscalar boson are carried out for nuclei near the beginning of the $pf$ shell, with a realistic shell-model Hamiltonian and neutrinoless double-beta-decay operator as the starting point. Energy spectra and double-beta matrix elements are compared to those obtained in the underlying shell model. Conclusions: The isoscalar boson does not improve energy spectra but does improve double-beta matrix elements. To be useful at the level of precision we need, the mapping procedure must be further developed to better determine the dependence of the boson Hamiltonian and decay operator on particle number and isospin. But the benefits provided by the isoscalar boson suggest that through an appropriate combination of mappings and fitting, it would make IBM matrix elements more accurate for the heavier nuclei used in experiments.


title: Tamper-Evident Complex Genomic Networks

abstract: Networks are important storage data structures now used to store personal information of individuals around the globe. With the advent of personal genome sequencing, networks are going to be used to store personal genomic sequencing of people. In contrast to social media networks, the importance of relationships in this genomic network is extremely significant. Losing connections between individuals thus implies losing relationship information (E.g. father or son etc.). There currently exists a considerably serious problem in the current approach to storing network data. Simply stated, network data is not tamper-evident. In other words, if some links or nodes were changed/removed/added by a malicious attacker, it would be impossible for the administrator to detect such changes. While, in the current age of social media networks, change in node characteristics and links can be bad in terms of relationships, in the case of networks for storing personal genomes, the results could be truly devastating. Here we present a scheme for building tamper-evident networks using a combination of Cryptographic and Ego-based Network analytic methods. Using actual published data-sets, we also demonstrate the utility and validity of the scheme besides demonstrating its working in various possible scenarios of usage. Results from the extensive experiments demonstrate the validity of the proposed approach.


title: Si-based GeSn lasers with wavelength coverage of 2 to 3 {\mu}m and operating temperatures up to 180 K

abstract: A Si-based monolithic laser is highly desirable for full integration of Si-photonics. Lasing from direct bandgap group-IV GeSn alloy has opened a completely new venue from the traditional III-V integration approach. We demonstrated optically pumped GeSn lasers on Si with broad wavelength coverage from 2 to 3 {\mu}m. The GeSn alloys were grown using newly developed approaches with an industry standard chemical vapor deposition reactor and low-cost commercially available precursors. The achieved maximum Sn composition of 17.5% exceeded the generally acknowledged Sn incorporation limits for using similar deposition chemistries. The highest lasing temperature was measured as 180 K with the active layer thickness as thin as 260 nm. The unprecedented lasing performance is mainly due to the unique growth approaches, which offer high-quality epitaxial materials. The results reported in this work show a major advance towards Si-based mid-infrared laser sources for integrated photonics.


title: Constraining $qqtt$ operators from four-top production: a case for enhanced EFT sensitivity

abstract: Recently, experimental collaborations have reported $\mathcal{O}(10)$ upper limits on the signal strength of four-top production at the LHC. Surprisingly, we find that the constraining power of four-top production on the $qqtt$ type of operators is already competitive with the measurements of top-pair production, even though the precision level of the latter is more than two orders of magnitude better. This is explained by the enhanced sensitivity of the four-top cross section to $qqtt$ operators, due to multiple insertion of operators in the squared amplitude, and to the large threshold energy of four-top production. We point out that even though the dominant contribution beyond the standard model comes from the $\mathcal{O}(C^4/\Lambda^8)$ terms, the effective field theory expansion remains valid for a wide range of underlying theories. Considering the possible improvements of this measurement with higher integrated luminosity, we believe that this process will become even more crucial for probing and testing the standard model deviations in the top-quark sector, and will eventually provide valuable information about the top-quark properties, leading to significant improvements in precision top physics.


title: Explaining Anomalies in Groups with Characterizing Subspace Rules

abstract: Anomaly detection has numerous applications and has been studied vastly. We consider a complementary problem that has a much sparser literature: anomaly description. Interpretation of anomalies is crucial for practitioners for sense-making, troubleshooting, and planning actions. To this end, we present a new approach called x-PACS (for eXplaining Patterns of Anomalies with Characterizing Subspaces), which "reverse-engineers" the known anomalies by identifying (1) the groups (or patterns) that they form, and (2) the characterizing subspace and feature rules that separate each anomalous pattern from normal instances. Explaining anomalies in groups not only saves analyst time and gives insight into various types of anomalies, but also draws attention to potentially critical, repeating anomalies. In developing x-PACS, we first construct a desiderata for the anomaly description problem. From a descriptive data mining perspective, our method exhibits five desired properties in our desiderata. Namely, it can unearth anomalous patterns (i) of multiple different types, (ii) hidden in arbitrary subspaces of a high dimensional space, (iii) interpretable by the analysts, (iv) different from normal patterns of the data, and finally (v) succinct, providing the shortest data description. Furthermore, x-PACS is highly parallelizable and scales linearly in terms of data size. No existing work on anomaly description satisfies all of these properties simultaneously. While not our primary goal, the anomalous patterns we find serve as interpretable "signatures" and can be used for detection. We show the effectiveness of x-PACS in explanation as well as detection on real-world datasets as compared to state-of-the-art.


title: Solving a New 3D Bin Packing Problem with Deep Reinforcement Learning Method

abstract: In this paper, a new type of 3D bin packing problem (BPP) is proposed, in which a number of cuboid-shaped items must be put into a bin one by one orthogonally. The objective is to find a way to place these items that can minimize the surface area of the bin. This problem is based on the fact that there is no fixed-sized bin in many real business scenarios and the cost of a bin is proportional to its surface area. Our research shows that this problem is NP-hard. Based on previous research on 3D BPP, the surface area is determined by the sequence, spatial locations and orientations of items. Among these factors, the sequence of items plays a key role in minimizing the surface area. Inspired by recent achievements of deep reinforcement learning (DRL) techniques, especially Pointer Network, on combinatorial optimization problems such as TSP, a DRL-based method is applied to optimize the sequence of items to be packed into the bin. Numerical results show that the method proposed in this paper achieve about 5% improvement than heuristic method.


title: Innovations orthogonalization: a solution to the major pitfalls of EEG/MEG "leakage correction"

abstract: The problem of interest here is the study of brain functional and effective connectivity based on non-invasive EEG-MEG inverse solution time series. These signals generally have low spatial resolution, such that an estimated signal at any one site is an instantaneous linear mixture of the true, actual, unobserved signals across all cortical sites. False connectivity can result from analysis of these low-resolution signals. Recent efforts toward "unmixing" have been developed, under the name of "leakage correction". One recent noteworthy approach is that by Colclough et al (2015 NeuroImage, 117:439-448), which forces the inverse solution signals to have zero cross-correlation at lag zero. One goal is to show that Colclough's method produces false human connectomes under very broad conditions. The second major goal is to develop a new solution, that appropriately "unmixes" the inverse solution signals, based on innovations orthogonalization. The new method first fits a multivariate autoregression to the inverse solution signals, giving the mixed innovations. Second, the mixed innovations are orthogonalized. Third, the mixed and orthogonalized innovations allow the estimation of the "unmixing" matrix, which is then finally used to "unmix" the inverse solution signals. It is shown that under very broad conditions, the new method produces proper human connectomes, even when the signals are not generated by an autoregressive model.


title: Fundamental Limits of Weak Recovery with Applications to Phase Retrieval

abstract: In phase retrieval we want to recover an unknown signal $\boldsymbol x\in\mathbb C^d$ from $n$ quadratic measurements of the form $y_i = |\langle{\boldsymbol a}_i,{\boldsymbol x}\rangle|^2+w_i$ where $\boldsymbol a_i\in \mathbb C^d$ are known sensing vectors and $w_i$ is measurement noise. We ask the following weak recovery question: what is the minimum number of measurements $n$ needed to produce an estimator $\hat{\boldsymbol x}(\boldsymbol y)$ that is positively correlated with the signal $\boldsymbol x$? We consider the case of Gaussian vectors $\boldsymbol a_i$. We prove that - in the high-dimensional limit - a sharp phase transition takes place, and we locate the threshold in the regime of vanishingly small noise. For $n\le d-o(d)$ no estimator can do significantly better than random and achieve a strictly positive correlation. For $n\ge d+o(d)$ a simple spectral estimator achieves a positive correlation. Surprisingly, numerical simulations with the same spectral estimator demonstrate promising performance with realistic sensing matrices. Spectral methods are used to initialize non-convex optimization algorithms in phase retrieval, and our approach can boost the performance in this setting as well. Our impossibility result is based on classical information-theory arguments. The spectral algorithm computes the leading eigenvector of a weighted empirical covariance matrix. We obtain a sharp characterization of the spectral properties of this random matrix using tools from free probability and generalizing a recent result by Lu and Li. Both the upper and lower bound generalize beyond phase retrieval to measurements $y_i$ produced according to a generalized linear model. As a byproduct of our analysis, we compare the threshold of the proposed spectral method with that of a message passing algorithm.


title: Large anomalous Nernst and spin Nernst effects in noncollinear antiferromagnets Mn$_3X$ ($X$ = Sn, Ge, Ga)

abstract: Noncollinear antiferromagnets have recently been attracting considerable interest partly due to recent surprising discoveries of the anomalous Hall effect (AHE) in them and partly because they have promising applications in antiferromagnetic spintronics. Here we study the anomalous Nernst effect (ANE), a phenomenon having the same origin as the AHE, and also the spin Nernst effect (SNE) as well as AHE and the spin Hall effect (SHE) in noncollinear antiferromagnetic Mn$_3X$ ($X$ = Sn, Ge, Ga) within the Berry phase formalism based on {\it ab initio} relativistic band structure calculations. For comparison, we also calculate the anomalous Nernst conductivity (ANC) and anomalous Hall conductivity (AHC) of ferromagnetic iron as well as the spin Nernst conductivity (SNC) of platinum metal. Remarkably, the calculated ANC at room temperature (300 K) for all three alloys is huge, being up to 5 times larger than that of iron. Moreover, the calculated SNC for Mn$_3$Sn and Mn$_3$Ga is also large, being as large as that of platinum. This suggests that these anitferromagnets would be useful materials for thermoelectronic devices and spin caloritronic devices. The calculated ANC of Mn$_3$Sn and iron are in reasonably good agreement with the very recent experiments. The calculated SNC of platinum also agrees with the very recent experiments in both sign and magnitude. The calculated thermoelectric and thermomagnetic properties are analyzed in terms of the band structures as well as the energy-dependent AHC, ANC, SNC and spin Hall conductivity via the Mott relations.


title: The weighted composition operators on the large weighted Bergman spaces

abstract: In this paper, we characterize bounded, compact or Schatten class weighted composition operators acting on Bergman spaces with the exponential type weights. Moreover, we give the proof of the necessary part for the boundedness of composition operators on large weighted Bergman spaces given by Kriete and Maccluer in 1992.


title: Software-Defined Robotics -- Idea & Approach

abstract: The methodology of Software-Defined Robotics hierarchical-based and stand-alone framework can be designed and implemented to program and control different sets of robots, regardless of their manufacturers' parameters and specifications, with unified commands and communications. This framework approach will increase the capability of (re)programming a specific group of robots during the runtime without affecting the others as desired in the critical missions and industrial operations, expand the shared bandwidth, enhance the reusability of code, leverage the computational processing power, decrease the unnecessary analyses of vast supplemental electrical components for each robot, as well as get advantages of the most state-of-the-art industrial trends in the cloud-based computing, Virtual Machines (VM), and Robot-as-a-Service (RaaS) technologies.


title: On Koszul-Tate resolutions and Sullivan models

abstract: We report on Koszul-Tate resolutions in Algebra, in Mathematical Physics, in Cohomological Analysis of PDE-s, and in Homotopy Theory. Further, we define an abstract Koszul-Tate resolution in the frame of $\mathcal{D}$-Geometry, i.e., geometry over differential operators. We prove Comparison Theorems for these resolutions, thus providing a dictionary between the different fields. Eventually, we show that all these resolutions are of the new $\mathcal{D}$-geometric type.


title: Renormalization of total sets of states into generalized bases with a resolution of the identity

abstract: A total set of states for which we have no resolution of the identity (a `pre-basis'), is considered in a finite dimensional Hilbert space. A dressing formalism renormalizes them into density matrices which resolve the identity, and makes them a `generalized basis', which is practically useful. The dresssing mechanism is inspired by Shapley's methodology in cooperative game theory, and it uses M\"obius transforms. There is non-independence and redundancy in these generalized bases, which is quantified with a Shannon type of entropy. Due to this redundancy, calculations based on generalized bases, are sensitive to physical changes and robust in the presence of noise. For example, the representation of an arbitrary vector in such generalized bases, is robust when noise is inserted in the coefficients. Also in a physical system with ground state which changes abruptly at some value of the coupling constant, the proposed methodology detects such changes, even when noise is added to the parameters in the Hamiltonian of the system.


title: Emergent L\'evy behavior in single-cell stochastic gene expression

abstract: Single-cell gene expression is inherently stochastic; its emergent behavior can be defined in terms of the chemical master equation describing the evolution of the mRNA and protein copy numbers as the latter tends to infinity. We establish two types of "macroscopic limits": the Kurtz limit is consistent with the classical chemical kinetics, while the L\'{e}vy limit provides a theoretical foundation for an empirical equation proposed in [Phys. Rev. Lett. 97:168302, 2006]. Furthermore, we clarify the biochemical implications and ranges of applicability for various macroscopic limits and calculate a comprehensive analytic expression for the protein concentration distribution in autoregulatory gene networks. The relationship between our work and modern population genetics is discussed.

categories: q-bio.MN cond-mat.stat-mech q-bio.CB q-bio.QM


title: Message Passing in C-RAN: Joint User Activity and Signal Detection

abstract: In cloud radio access network (C-RAN), remote radio heads (RRHs) and users are uniformly distributed in a large area such that the channel matrix can be considered as sparse. Based on this phenomenon, RRHs only need to detect the relatively strong signals from nearby users and ignore the weak signals from far users, which is helpful to develop low-complexity detection algorithms without causing much performance loss. However, before detection, RRHs require to obtain the realtime user activity information by the dynamic grant procedure, which causes the enormous latency. To address this issue, in this paper, we consider a grant-free C-RAN system and propose a low-complexity Bernoulli-Gaussian message passing (BGMP) algorithm based on the sparsified channel, which jointly detects the user activity and signal. Since active users are assumed to transmit Gaussian signals at any time, the user activity can be regarded as a Bernoulli variable and the signals from all users obey a Bernoulli-Gaussian distribution. In the BGMP, the detection functions for signals are designed with respect to the Bernoulli-Gaussian variable. Numerical results demonstrate the robustness and effectivity of the BGMP. That is, for different sparsified channels, the BGMP can approach the mean-square error (MSE) of the genie-aided sparse minimum mean-square error (GA-SMMSE) which exactly knows the user activity information. Meanwhile, the fast convergence and strong recovery capability for user activity of the BGMP are also verified.


title: Search for Jacobi shape transition in A $\sim30$ nuclei

abstract: This paper reports the first observation of the Jacobi shape transition in $^{31}$P using high energy $\gamma$-rays from the decay of giant dipole resonance (GDR) as a probe. The measured GDR spectrum in the decay of $^{31}$P shows a distinct low energy component around 10 MeV, which is a clear signature of Corioli's splitting in a highly deformed rotating nucleus. Interestingly, a self-conjugate $\alpha$-cluster nucleus $^{28}$Si, populated at similar initial excitation energy and angular momentum, exhibits a vastly different GDR line shape. Even though the angular momentum of the compound nucleus $^{28}$Si is higher than the critical angular momentum required for the Jacobi shape transition, the GDR lineshape is akin to a prolate deformed nucleus. Considering the present results for $^{28}$Si and similar observation recently reported in $^{32}$S, it is proposed that the nuclear orbiting phenomenon exhibited by $\alpha$-cluster nuclei hinders the Jacobi shape transition. The present experimental results suggest a possibility to investigate the nuclear orbiting phenomenon using high energy $\gamma$-rays as a probe.


title: Multi-window dilation-and-modulation frames on the half real line

abstract: Wavelet and Gabor systems are based on translation-and-dilation and translation-and-modulation operators, respectively. They have been extensively studied. However, dilation-and-modulation systems have not, and they cannot be derived from wavelet or Gabor systems. In this paper, we investigate a class of dilation-and-modulation systems in the causal signal space $L^{2}(\Bbb R_{+})$. $L^{2}(\Bbb R_{+})$ can be identified a subspace of $L^{2}(\Bbb R)$ consisting of all $L^{2}(\Bbb R)$-functions supported on $\Bbb R_{+}$, and is unclosed under the Fourier transform. So the Fourier transform method does not work in $L^{2}(\Bbb R_{+})$. In this paper, we introduce the notion of $\Theta_{a}$-transform in $L^{2}(\Bbb R_{+})$, using $\Theta_{a}$-transform we characterize dilation-and-modulation frames and dual frames in $L^{2}(\Bbb R_{+})$; and present an explicit expression of all duals with the same structure for a general dilation-and-modulation frame for $L^{2}(\Bbb R_{+})$. Interestingly, we prove that an arbitrary frame of this form is always nonredundant whenever the number of the generators is $1$, and is always redundant whenever it is greater than $1$. Some examples are also provided to illustrate the generality of our results.


title: The Helsinki Neural Machine Translation System

abstract: We introduce the Helsinki Neural Machine Translation system (HNMT) and how it is applied in the news translation task at WMT 2017, where it ranked first in both the human and automatic evaluations for English--Finnish. We discuss the success of English--Finnish translations and the overall advantage of NMT over a strong SMT baseline. We also discuss our submissions for English--Latvian, English--Chinese and Chinese--English.


title: Neural Machine Translation with Extended Context

abstract: We investigate the use of extended context in attention-based neural machine translation. We base our experiments on translated movie subtitles and discuss the effect of increasing the segments beyond single translation units. We study the use of extended source language context as well as bilingual context extensions. The models learn to distinguish between information from different segments and are surprisingly robust with respect to translation quality. In this pilot study, we observe interesting cross-sentential attention patterns that improve textual coherence in translation at least in some selected cases.


title: Lattice Boltzmann models based on the vielbein formalism for the simulation of flows in curvilinear geometries

abstract: In this paper, we consider the Boltzmann equation with respect to orthonormal vielbein fields in conservative form. This formalism allows the use of arbitrary coordinate systems to describe the space geometry, as well as of an adapted coordinate system in the momentum space, which is linked to the physical space through the use of vielbeins. Taking advantage of the conservative form, we derive the macroscopic equations in a covariant tensor notation, and show that the hydrodynamic limit can be obtained via the Chapman-Enskog expansion in the Bhatnaghar-Gross-Krook (BGK) approximation for the collision term. We highlight that in this formalism, the component of the momentum which is perpendicular to some curved boundary can be isolated as a separate momentum coordinate, for which the half-range Gauss-Hermite quadrature can be applied. We illustrate the capabilities of this formalism by considering two applications. The first one is the circular Couette flow between rotating coaxial cylinders, for which benchmarking data is available for all degrees of rarefaction, from the hydrodynamic to the ballistic regime. The second application concerns the flow in a gradually expanding channel. We employ finite-difference lattice Boltzmann models based on half-range Gauss-Hermite quadratures for the implementation of diffuse reflection, together with the fifth order WENO and third-order TVD Runge-Kutta numerical methods for the advection and time-stepping, respectively.


title: Theoretical prediction of the Fine and Hyperfine structure of heavy muonic atoms

abstract: Precision calculations of the fine and hyperfine structure of muonic atoms are performed in a relativistic approach and results for muonic 205 Bi, 147 Sm, and 89 Zr are presented. The hyperfine structure due to magnetic dipole and electric quadrupole splitting is calculated in first order perturbation theory, using extended nuclear charge and current distributions. The leading correction from quantum electrodynamics, namely vacuum polarization in Uehling approximation, is included as a potential directly in the Dirac equation. Also, an effective screening potential due to the surrounding electrons is calculated, and the leading relativistic recoil correction is estimated.


title: Entanglement and quantum combinatorial designs

abstract: We introduce several classes of quantum combinatorial designs, namely quantum Latin squares, cubes, hypercubes and a notion of orthogonality between them. A further introduced notion, quantum orthogonal arrays, generalizes all previous classes of designs. We show that mutually orthogonal quantum Latin arrangements can be entangled in the same way than quantum states are entangled. Furthermore, we show that such designs naturally define a remarkable class of genuinely multipartite highly entangled states called $k$-uniform, i.e. multipartite pure states such that every reduction to $k$ parties is maximally mixed. We derive infinitely many classes of mutually orthogonal quantum Latin arrangements and quantum orthogonal arrays having an arbitrary large number of columns. The corresponding multipartite $k$-uniform states exhibit a high persistency of entanglement, which makes them ideal candidates to develop multipartite quantum information protocols.


title: Golden Angle Modulation

abstract: Quadrature amplitude modulation (QAM) exhibits a shaping-loss of $\pi \mathrm{e}/6$, ($\approx1.53$ dB) compared to the AWGN Shannon capacity. With inspiration gained from special (leaf, flower petal, and seed) packing arrangements (spiral phyllotaxis) found among plants, a novel, shape-versatile, circular symmetric, modulation scheme, the Golden Angle Modulation (GAM) is introduced. Disc-shaped, and complex Gaussian approximating bell-shaped, GAM-signal constellations are considered. For bell-GAM, a high-rate approximation, and a mutual information optimization formulation, are developed. Bell-GAM overcomes the asymptotic shaping-loss seen in QAM, and offers Shannon capacity approaching performance. Transmitter resource limited links, such as space probe-to-earth, and mobile-to-basestation, are cases where GAM could be particularly valuable.


title: Time-dependent Real-space Renormalization-Group Approach: application to an adiabatic random quantum Ising model

abstract: We develop a time-dependent real-space renormalization-group approach which can be applied to Hamiltonians with time-dependent random terms. To illustrate the renormalization-group analysis, we focus on the quantum Ising Hamiltonian with random site- and time-dependent (adiabatic) transverse-field and nearest-neighbour exchange couplings. We demonstrate how the method works in detail, by calculating the off-critical flows and recovering the ground state properties of the Hamiltonian such as magnetization and correlation functions. The adiabatic time allows us to traverse the parameter space, remaining near-to the ground state which is broadened if the rate of change of the Hamiltonian is finite. The quantum critical point, or points, depend on time through the time-dependence of the parameters of the Hamiltonian. We, furthermore, make connections with Kibble-Zurek dynamics and provide a scaling argument for the density of defects as we adiabatically pass through the critical point of the system.


title: A Representation Theorem for Generic Line Arrangements with Global Cyclicity in the Plane

abstract: In this article, we prove a representation theorem that any generic line arrangement in the plane over an ordered field which has global cyclicity can be represented isomorphically by a line arrangement with a given set of distinct slopes of the same cardinality.


title: New extremal singly even self-dual codes of lengths $64$ and $66$

abstract: For lengths $64$ and $66$, we construct extremal singly even self-dual codes with weight enumerators for which no extremal singly even self-dual codes were previously known to exist. We also construct new $40$ inequivalent extremal doubly even self-dual $[64,32,12]$ codes with covering radius $12$ meeting the Delsarte bound.


title: On reverses of the Golden-Thompson type inequalities

abstract: In this paper we present some reverses of the Golden-Thompson type inequalities: Let $H$ and $K$ be Hermitian matrices such that $ e^s e^H \preceq_{ols} e^K \preceq_{ols} e^t e^H$ for some scalars $s \leq t$, and $\alpha \in [0 , 1]$. Then for all $p>0$ and $k =1,2,\ldots, n$ \begin{align*} \label{} \lambda_k (e^{(1-\alpha)H + \alpha K} ) \leq (\max \lbrace S(e^{sp}), S(e^{tp})\rbrace)^{\frac{1}{p}} \lambda_k (e^{pH} \sharp_\alpha e^{pK})^{\frac{1}{p}}, \end{align*} where $A\sharp_\alpha B = A^\frac{1}{2} \big ( A^{-\frac{1}{2}} B^\frac{1}{2} A^{-\frac{1}{2}} \big) ^\alpha A^\frac{1}{2}$ is $\alpha$-geometric mean, $S(t)$ is the so called Specht's ratio and $\preceq_{ols}$ is the so called Olson order. The same inequalities are also provided with other constants. The obtained inequalities improve some known results.


title: Static capacitive pressure sensing using a single graphene drum

abstract: To realize nanomechanical graphene-based pressure and gas sensors, it is beneficial to have a method to electrically readout the static displacement of a suspended graphene membrane. Capacitive readout, typical in micro-electro-mechanical systems (MEMS), gets increasingly challenging as one starts shrinking the dimensions of these devices, since the expected responsivity of such devices is below 0.1 aF/Pa. To overcome the challenges of detecting small capacitance changes, we design an electrical readout device fabricated on top of an insulating quartz substrate, maximizing the contribution of the suspended membrane to the total capacitance of the device. The capacitance of the drum is further increased by reducing the gap size to 110 nm. Using external pressure load, we demonstrate successful detection of capacitance changes of a single graphene drum down to 50 aF, and pressure differences down to 25 mbar.


title: SIMP dark matter and its cosmic abundances

abstract: We give a review on the thermal average of the annihilation cross-sections for $3\rightarrow 2$ and general higher-order processes. Thermal average of higher order annihilations highly depend on the velocity of dark matter, especially, for the case with resonance poles. We show such examples for scalar dark matter in gauged $Z_3$ models.


title: Local tuning of the order parameter in superconducting weak links: A zero-inductance nano device

abstract: Controlling both the amplitude and phase of the quantum order parameter ({\psi}) in nanostructures is important for next-generation information and communication technologies. The long-range coherence of attractive electrons in superconductors render these materials as a nearly ideal platform for such applications. To-date, control over {\psi} has remained limited to the macroscopic scale, either by adjusting untunable materials properties, such as film thickness, stoichiometry and homogeneity or by tuning external magnetic fields. Yet, although local tuning of {\psi} is desired, the lack of electric resistance in superconductors, which may be advantageous for some technologies hinders convenient voltage-bias tuning. Likewise, challenges related to nanoscale fabrication of superconductors encumber local tunability of {\psi}. Here, we demonstrate local tunability of {\psi}, obtained by patterning with a single lithography step a Nb nano superconducting quantum interference device (nano-SQUID) that is biased at its nano bridges. Our design helped us reveal also unusual electric characteristics-effective zero inductance, which is promising for quantum technologies and nanoscale magnetic sensing. Finally, we accompanied our experimental results by a semi-classical model, which not only is extending the applicability of our devices, but is also useful for describing planar nano-SQUIDs in general.


title: On the mixed problem for the semilinear Darcy-Forchheimer-Brinkman PDE system in Besov spaces on creased Lipschitz domains

abstract: The purpose of this paper is to study the mixed Dirichlet-Neumann boundary value problem for the semilinear Darcy-Forchheimer-Brinkman system in $L_p$-based Besov spaces on a bounded Lipschitz domain in ${\mathbb R}^3$, with $p$ in a neighborhood of $2$. This system is obtained by adding the semilinear term $|{\bf u}|{\bf u}$ to the linear Brinkman equation. {First, we provide some results about} equivalence between the Gagliardo and non-tangential traces, as well as between the weak canonical conormal derivatives and the non-tangential conormal derivatives. Various mapping and invertibility properties of some integral operators of potential theory for the linear Brinkman system, and well posedness results for the Dirichlet and Neumann problems in $L_p$-based Besov spaces on bounded Lipschitz domains in ${\mathbb R}^n$ ($n\geq 3$) are also presented. Then, employing integral potential operators, we show the well-posedness in $L_2$-based Sobolev spaces for the mixed problem of Dirichlet-Neumann type for the linear Brinkman system on a bounded Lipschitz domain in ${\mathbb R}^n$ $(n\geq 3)$. Further, by using some stability results of Fredholm and invertibility properties and exploring invertibility of the associated Neumann-to-Dirichlet operator, we extend the well-posedness property to some $L_p$-based Sobolev spaces. Next we use the well-posedness result in the linear case combined with a fixed point theorem in order to show the existence and uniqueness for a mixed boundary value problem of Dirichlet and Neumann type for the semilinear Darcy-Forchheimer-Brinkman system in $L_p$-based Besov spaces, with $p\in (2-\varepsilon ,2+\varepsilon)$ and some parameter $\varepsilon >0$.


title: An End-to-End Trainable Neural Network Model with Belief Tracking for Task-Oriented Dialog

abstract: We present a novel end-to-end trainable neural network model for task-oriented dialog systems. The model is able to track dialog state, issue API calls to knowledge base (KB), and incorporate structured KB query results into system responses to successfully complete task-oriented dialogs. The proposed model produces well-structured system responses by jointly learning belief tracking and KB result processing conditioning on the dialog history. We evaluate the model in a restaurant search domain using a dataset that is converted from the second Dialog State Tracking Challenge (DSTC2) corpus. Experiment results show that the proposed model can robustly track dialog state given the dialog history. Moreover, our model demonstrates promising results in producing appropriate system responses, outperforming prior end-to-end trainable neural network models using per-response accuracy evaluation metrics.


title: A new Mertens decomposition of $\mathscr{Y}^{g,\xi}$-submartingale systems. Application to BSDEs with weak constraints at stopping times

abstract: We first introduce the concept of $\mathscr{Y}^{g,\xi}$-submartingale systems, where the nonlinear operator $\mathscr{Y}^{g,\xi}$ corresponds to the first component of the solution of a reflected BSDE with generator $g$ and lower obstacle $\xi$. We first show that, in the case of a left-limited right-continuous obstacle, any $\mathscr{Y}^{g,\xi}$-submartingale system can be aggregated by a process which is right-lower semicontinuous. We then prove a \textit{Mertens decomposition}, by using an original approach which does not make use of the standard penalization technique. These results are in particular useful for the treatment of control/stopping game problems and, to the best of our knowledge, they are completely new in the literature. As an application, we introduce a new class of \textit{Backward Stochastic Differential Equations (in short BSDEs) with weak constraints at stopping times}, which are related to the partial hedging of American options. We study the wellposedness of such equations and, using the $\mathscr{Y}^{g,\xi}$-Mertens decomposition, we show that the family of minimal time-$t$-values $Y_t$, with $(Y,Z)$ a supersolution of the BSDE with weak constraints, admits a representation in terms of a reflected backward stochastic differential equation.


title: Customers' abandonment strategy in an M/G/1 queue

abstract: We consider an M/G/1 queue in which the customers, while waiting in line, may renege from it. We study the Nash equilibrium profile among customers, and show that it is defined by two sequences of thresholds. For each customer, the decision is based on the observed past (which determines from what sequence the threshold is taken), and the observed queue length (which determines the appropriate element in the chosen sequence). We construct the a of equations that has the Nash equilibrium as its solution, and discuss the relationships between the properties of the service time distribution and the properties of the Nash equilibrium, such as uniqueness and finiteness.


title: Kirchhoff Index As a Measure of Edge Centrality in Weighted Networks: Nearly Linear Time Algorithms

abstract: Most previous work of centralities focuses on metrics of vertex importance and methods for identifying powerful vertices, while related work for edges is much lesser, especially for weighted networks, due to the computational challenge. In this paper, we propose to use the well-known Kirchhoff index as the measure of edge centrality in weighted networks, called $\theta$-Kirchhoff edge centrality. The Kirchhoff index of a network is defined as the sum of effective resistances over all vertex pairs. The centrality of an edge $e$ is reflected in the increase of Kirchhoff index of the network when the edge $e$ is partially deactivated, characterized by a parameter $\theta$. We define two equivalent measures for $\theta$-Kirchhoff edge centrality. Both are global metrics and have a better discriminating power than commonly used measures, based on local or partial structural information of networks, e.g. edge betweenness and spanning edge centrality. Despite the strong advantages of Kirchhoff index as a centrality measure and its wide applications, computing the exact value of Kirchhoff edge centrality for each edge in a graph is computationally demanding. To solve this problem, for each of the $\theta$-Kirchhoff edge centrality metrics, we present an efficient algorithm to compute its $\epsilon$-approximation for all the $m$ edges in nearly linear time in $m$. The proposed $\theta$-Kirchhoff edge centrality is the first global metric of edge importance that can be provably approximated in nearly-linear time. Moreover, according to the $\theta$-Kirchhoff edge centrality, we present a $\theta$-Kirchhoff vertex centrality measure, as well as a fast algorithm that can compute $\epsilon$-approximate Kirchhoff vertex centrality for all the $n$ vertices in nearly linear time in $m$.


title: Forbidden Channels and SIMP Dark Matter

abstract: In this review, we focus on dark matter production from thermal freeze-out with forbidden channels and SIMP processes. We show that forbidden channels can be dominant to produce dark matter depending on the dark photon and / or dark Higgs mass compared to SIMP.


title: $\eta_{Q}$ meson photoproduction in ultrarelativistic heavy ion collisions

abstract: The transverse momentum distributions for inclusive $\eta_{c,b}$ meson described by gluon-gluon interactions from photoproduction processes in relativistic heavy ion collisions are calculated. We considered the color singlet (CS) and color octet (CO) components with the framework of non-relativistic Quantum Chromodynamics (NRQCD) into the production of heavy quarkonium. The phenomenological values of the matrix elements for the color-singlet and color-octet components give the main contribution to the production of heavy quarkonium from the gluon-gluon interaction caused by the emission of additional gluon in the initial state. The numerical results indicate that the contribution of photoproduction processes cannot be negligible for mid-rapidity in p-p and Pb-Pb collisions at the Large Hadron Collider (LHC) energies.


title: Knots having the same Seifert form and primary decomposition of knot concordance

abstract: We show that for each Seifert form of an algebraically slice knot with nontrivial Alexander polynomial, there exists an infinite family of knots having the Seifert form such that the knots are linearly independent in the knot concordance group and not concordant to any knot with coprime Alexander polynomial. Key ingredients for the proof are Cheeger-Gromov-von Neumann rho-invariants for amenable groups developed by Cha and Orr and polynomial splittings of metabelian rho-invariants.


title: Neural Networks Compression for Language Modeling

abstract: In this paper, we consider several compression techniques for the language modeling problem based on recurrent neural networks (RNNs). It is known that conventional RNNs, e.g, LSTM-based networks in language modeling, are characterized with either high space complexity or substantial inference time. This problem is especially crucial for mobile applications, in which the constant interaction with the remote server is inappropriate. By using the Penn Treebank (PTB) dataset we compare pruning, quantization, low-rank factorization, tensor train decomposition for LSTM networks in terms of model size and suitability for fast inference.


title: Spectral properties of fractional differentiation operators

abstract: We consider fractional differentiation operators in various senses and show that the strictly accretive property is the common property of fractional differentiation operators. Also we prove that the sectorial property holds for differential operators second order with a fractional derivative in the final term, we explore a location of the spectrum and resolvent sets and show that the spectrum is discrete. We prove that there exists a two-sided estimate for eigenvalues of the real component of operators second order with the fractional derivative in the final term.


title: On the topology effects in wireless sensor networks based prognostics and health management

abstract: In this work, we consider the usage of wireless sensor networks (WSN) to monitor an area of interest, in order to diagnose on real time its state. Each sensor node forwards information about relevant features towards the sink where the data is processed. Nevertheless, energy conservation is a key issue in the design of such networks and once a sensor exhausts its resources, it will be dropped from the network. This will lead to broken links and data loss. It is therefore important to keep the network running for as long as possible by preserving the energy held by the nodes. Indeed, saving the quality of service (QoS) of a wireless sensor network for a long period is very important in order to ensure accurate data. Then, the area diagnosing will be more accurate. From another side, packet transmission is the phase that consumes the highest amount of energy comparing to other activities in the network. Therefore, we can see that the network topology has an important impact on energy efficiency, and thus on data and diagnosis accuracies. In this paper, we study and compare four network topologies: distributed, hierarchical, centralized, and decentralized topology and show their impact on the resulting estimation of diagnostics. We have used six diagnostic algorithms, to evaluate both prognostic and health management with the variation of type of topology in WSN.


title: Incremental Import Vector Machines for Classifying Hyperspectral Data

abstract: In this paper we propose an incremental learning strategy for import vector machines (IVM), which is a sparse kernel logistic regression approach. We use the procedure for the concept of self-training for sequential classification of hyperspectral data. The strategy comprises the inclusion of new training samples to increase the classification accuracy and the deletion of non-informative samples to be memory- and runtime-efficient. Moreover, we update the parameters in the incremental IVM model without re-training from scratch. Therefore, the incremental classifier is able to deal with large data sets. The performance of the IVM in comparison to support vector machines (SVM) is evaluated in terms of accuracy and experiments are conducted to assess the potential of the probabilistic outputs of the IVM. Experimental results demonstrate that the IVM and SVM perform similar in terms of classification accuracy. However, the number of import vectors is significantly lower when compared to the number of support vectors and thus, the computation time during classification can be decreased. Moreover, the probabilities provided by IVM are more reliable, when compared to the probabilistic information, derived from an SVM's output. In addition, the proposed self-training strategy can increase the classification accuracy. Overall, the IVM and the its incremental version is worthwhile for the classification of hyperspectral data.


title: A canonical basis of two-cycles on a K3 surface

abstract: We construct a canonical basis of two-cycles, on a $K3$ surface, in which the intersection form takes the canonical form $2E_8(-1) \oplus 3H$. The basic elements are realized by formal sums of smooth submanifolds.


title: Bifurcations of buckled, clamped anisotropic rods and thin bands under lateral end translations

abstract: Motivated by observations of snap-through phenomena in buckled elastic strips subject to clamping and lateral end translations, we experimentally explore the multi-stability and bifurcations of thin bands of various widths and compare these results with numerical continuation of a perfectly anisotropic Kirchhoff rod. Our choice of boundary conditions is not easily satisfied by the anisotropic structures, forcing a cooperation between bending and twisting deformations. We find that, despite clear physical differences between rods and strips, a naive Kirchhoff model works surprisingly well as an organizing framework for the experimental observations. In the context of this model, we observe that anisotropy creates new states and alters the connectivity between existing states. Our results are a preliminary look at relatively unstudied boundary conditions for rods and strips that may arise in a variety of engineering applications, and may guide the avoidance of jump phenomena in such settings. We also briefly comment on the limitations of current strip models.


title: Applying Data Augmentation to Handwritten Arabic Numeral Recognition Using Deep Learning Neural Networks

abstract: Handwritten character recognition has been the center of research and a benchmark problem in the sector of pattern recognition and artificial intelligence, and it continues to be a challenging research topic. Due to its enormous application many works have been done in this field focusing on different languages. Arabic, being a diversified language has a huge scope of research with potential challenges. A convolutional neural network model for recognizing handwritten numerals in Arabic language is proposed in this paper, where the dataset is subject to various augmentation in order to add robustness needed for deep learning approach. The proposed method is empowered by the presence of dropout regularization to do away with the problem of data overfitting. Moreover, suitable change is introduced in activation function to overcome the problem of vanishing gradient. With these modifications, the proposed system achieves an accuracy of 99.4\% which performs better than every previous work on the dataset.


title: An improved watermarking scheme for Internet applications

abstract: In this paper, a data hiding scheme ready for Internet applications is proposed. An existing scheme based on chaotic iterations is improved, to respond to some major Internet security concerns, such as digital rights management, communication over hidden channels, and social search engines. By using Reed Solomon error correcting codes and wavelets domain, we show that this data hiding scheme can be improved to solve issues and requirements raised by these Internet fields.


title: Galaxy cluster luminosities and colours, and their dependence on cluster mass and merger state

abstract: We study a sample of 19 galaxy clusters in the redshift range $0.15<z<0.30$ with highly complete spectroscopic membership catalogues (to $K < K^{\ast}(\rm z)+1.5$) from the Arizona Cluster Redshift Survey (ACReS); individual weak-lensing masses and near-infrared data from the Local Cluster Substructure Survey (LoCuSS); and optical photometry from the Sloan Digital Sky Survey (SDSS). We fit the scaling relations between total cluster luminosity in each of six bandpasses (${\it grizJK}$) and cluster mass, finding cluster luminosity to be a promising mass proxy with low intrinsic scatter $\sigma_{\ln L|M}$ of only $\sim 10-20$ per cent for all relations. At fixed overdensity radius, the intercept increases with wavelength, consistent with an old stellar population. The scatter and slope are consistent across all wavelengths, suggesting that cluster colour is not a function of mass. Comparing colour with indicators of the level of disturbance in the cluster, we find a narrower variety in the cluster colours of 'disturbed' clusters than of 'undisturbed' clusters. This trend is more pronounced with indicators sensitive to the initial stages of a cluster merger, e.g. the Dressler Schectman statistic. We interpret this as possible evidence that the total cluster star formation rate is 'standardised' in mergers, perhaps through a process such as a system-wide shock in the intracluster medium.


title: The embedding problem in topological dynamics and Takens' theorem

abstract: We prove that every $\mathbb{Z}^{k}$-action $(X,\mathbb{Z}^{k},T)$ of mean dimension less than $D/2$ admitting a factor $(Y,\mathbb{Z}^{k},S)$ of Rokhlin dimension not greater than $L$ embeds in $(([0,1]^{(L+1)D})^{\mathbb{Z}^{k}}\times Y,\sigma\times S)$, where $D\in\mathbb{N}$, $L\in\mathbb{N}\cup\{0\}$ and $\sigma$ is the shift on the Hilbert cube $([0,1]^{(L+1)D})^{\mathbb{Z}^{k}}$; in particular, when $(Y,\mathbb{Z}^{k},S)$ is an irrational $\mathbb{Z}^{k}$-rotation on the $k$-torus, $(X,\mathbb{Z}^{k},T)$ embeds in $(([0,1]^{2^kD+1})^{\mathbb{Z}^k},\sigma)$, which is compared to a previous result by the first named author, Lindenstrauss and Tsukamoto. Moreover, we give a complete and detailed proof of Takens' embedding theorem with a continuous observable for $\mathbb{Z}$-actions and deduce the analogous result for $\mathbb{Z}^{k}$-actions. Lastly, we show that the Lindenstrauss--Tsukamoto conjecture for $\mathbb{Z}$-actions holds generically, discuss an analogous conjecture for $\mathbb{Z}^{k}$-actions appearing in a forthcoming paper by the first two authors and Tsukamoto and verify it for $\mathbb{Z}^{k}$-actions on finite dimensional spaces.


title: An increase in $T_c$ under hydrostatic pressure in the superconducting doped topological insulator Nb$_{0.25}$Bi$_2$Se$_3$

abstract: We report an unexpected positive hydrostatic pressure derivative of the superconducting transition temperature in the doped topological insulator \NBS via $dc$ SQUID magnetometry in pressures up to 0.6 GPa. This result is contrary to reports on the homologues \CBS and \SBS where smooth suppression of $T_c$ is observed. Our results are consistent with recent Ginzburg-Landau theory predictions of a pressure-induced enhancement of $T_c$ in the nematic multicomponent $E_u$ state proposed to explain observations of rotational symmetry breaking in doped Bi$_2$Se$_3$ superconductors.


title: Shapelet-based Sparse Representation for Landcover Classification of Hyperspectral Images

abstract: This paper presents a sparse representation-based classification approach with a novel dictionary construction procedure. By using the constructed dictionary sophisticated prior knowledge about the spatial nature of the image can be integrated. The approach is based on the assumption that each image patch can be factorized into characteristic spatial patterns, also called shapelets, and patch-specific spectral information. A set of shapelets is learned in an unsupervised way and spectral information are embodied by training samples. A combination of shapelets and spectral information are represented in an undercomplete spatial-spectral dictionary for each individual patch, where the elements of the dictionary are linearly combined to a sparse representation of the patch. The patch-based classification is obtained by means of the representation error. Experiments are conducted on three well-known hyperspectral image datasets. They illustrate that our proposed approach shows superior results in comparison to sparse representation-based classifiers that use only limited spatial information and behaves competitively with or better than state-of-the-art classifiers utilizing spatial information and kernelized sparse representation-based classifiers.


title: Superposition solutions to the extended KdV equation for water surface waves

abstract: The KdV equation can be derived in the shallow water limit of the Euler equations. Over the last few decades, this equation has been extended to include higher order effects. Although this equation has only one conservation law, exact periodic and solitonic solutions exist. Khare and Saxena \cite{KhSa,KhSa14,KhSa15} demonstrated the possibility of generating new exact solutions by combining known ones for several fundamental equations (e.g., Korteweg - de Vries, Nonlinear Schr\"{o}dinger). Here we find that this construction can be repeated for higher order, non-integrable extensions of these equations. Contrary to many statements in the literature, there seems to be no correlation between integrability and the number of nonlinear one variable wave solutions.


title: On the construction of small subsets containing special elements in a finite field

abstract: In this note we construct a series of small subsets containing a non-d-th power element in a finite field by applying certain bounds on incomplete character sums. Precisely, let $h=\lfloor q^{\delta}\rfloor>1$ and $d\mid q^h-1$. Let $r$ be a prime divisor of $q-1$ such that the largest prime power part of $q-1$ has the form $r^s$. Then there is a constant $0<\epsilon<1$ such that for a ratio at least $ {q^{-\epsilon h}}$ of $\alpha\in \mathbb{F}_{q^{h}} \backslash\mathbb{F}_{q}$, the set $S=\{ \alpha-x^t, x\in\mathbb{F}_{q}\}$ of cardinality $1+\frac {q-1} {M(h)}$ contains a non-d-th power in $\mathbb{F}_{q^{\lfloor q^\delta\rfloor}}$, where $t$ is the largest power of $r$ such that $t<\sqrt{q}/h$ and $M(h)$ is defined as $$M(h)=\max_{r \mid (q-1)} r^{\min\{v_r(q-1), \lfloor\log_r{q}/2-\log_r h\rfloor\}}.$$ Here $r$ runs thourgh prime divisors and $v_r(x)$ is the $r$-adic oder of $x$. For odd $q$, the choice of $\delta=\frac 12-d, d=o(1)>0$ shows that there exists an explicit subset of cardinality $q^{1-d}=O(\log^{2+\epsilon'}(q^h))$ containing a non-quadratic element in the field $\mathbb{F}_{q^h}$. On the other hand, the choice of $h=2$ shows that for any odd prime power $q$, there is an explicit subset of cardinality $1+\frac {q-1}{M(2)}$ containing a non-quadratic element in $\mathbb{F}_{q^2}$. This improves a $q-1$ construction by Coulter and Kosick \cite{CK} since $\lfloor \log_2{(q-1)}\rfloor\leq M(2) < \sqrt{q}$. In addition, we obtain a similar construction for small sets containing a primitive element. The construction works well provided $\phi(q^h-1)$ is very small, where $\phi$ is the Euler's totient function.


title: Edge-regular graphs with regular cliques

abstract: We exhibit infinitely many examples of edge-regular graphs that have regular cliques and that are not strongly regular. This answers a question of Neumaier from 1981.


title: Stochastic Primal-Dual Proximal ExtraGradient Descent for Compositely Regularized Optimization

abstract: We consider a wide range of regularized stochastic minimization problems with two regularization terms, one of which is composed with a linear function. This optimization model abstracts a number of important applications in artificial intelligence and machine learning, such as fused Lasso, fused logistic regression, and a class of graph-guided regularized minimization. The computational challenges of this model are in two folds. On one hand, the closed-form solution of the proximal mapping associated with the composed regularization term or the expected objective function is not available. On the other hand, the calculation of the full gradient of the expectation in the objective is very expensive when the number of input data samples is considerably large. To address these issues, we propose a stochastic variant of extra-gradient type methods, namely \textsf{Stochastic Primal-Dual Proximal ExtraGradient descent (SPDPEG)}, and analyze its convergence property for both convex and strongly convex objectives. For general convex objectives, the uniformly average iterates generated by \textsf{SPDPEG} converge in expectation with $O(1/\sqrt{t})$ rate. While for strongly convex objectives, the uniformly and non-uniformly average iterates generated by \textsf{SPDPEG} converge with $O(\log(t)/t)$ and $O(1/t)$ rates, respectively. The order of the rate of the proposed algorithm is known to match the best convergence rate for first-order stochastic algorithms. Experiments on fused logistic regression and graph-guided regularized logistic regression problems show that the proposed algorithm performs very efficiently and consistently outperforms other competing algorithms.


title: An Efficient Single Chord-based Accumulation Technique (SCA) to Detect More Reliable Corners

abstract: Corner detection is a vital operation in numerous computer vision applications. The Chord-to-Point Distance Accumulation (CPDA) detector is recognized as the contour-based corner detector producing the lowest localization error while localizing corners in an image. However, in our experiment part, we demonstrate that CPDA detector often misses some potential corners. Moreover, the detection algorithm of CPDA is computationally costly. In this paper, We focus on reducing localization error as well as increasing average repeatability. The preprocessing and refinements steps of proposed process are similar to CPDA. Our experimental results will show the effectiveness and robustness of proposed process over CPDA.


title: Attentive Semantic Video Generation using Captions

abstract: This paper proposes a network architecture to perform variable length semantic video generation using captions. We adopt a new perspective towards video generation where we allow the captions to be combined with the long-term and short-term dependencies between video frames and thus generate a video in an incremental manner. Our experiments demonstrate our network architecture's ability to distinguish between objects, actions and interactions in a video and combine them to generate videos for unseen captions. The network also exhibits the capability to perform spatio-temporal style transfer when asked to generate videos for a sequence of captions. We also show that the network's ability to learn a latent representation allows it generate videos in an unsupervised manner and perform other tasks such as action recognition. (Accepted in International Conference in Computer Vision (ICCV) 2017)


title: On the family of Wigner functions for N-level quantum system

abstract: The family of unitary non-equivalent Weyl-Stratonovich kernels determining the Wigner probability distribution function of an arbitrary N-level quantum system is constructed.


title: Virtual knot cobordism and bounding the slice genus

abstract: In this paper, we compute the slice genus for many low-crossing virtual knots. For instance, we show that 1295 out of 92800 virtual knots with 6 or fewer crossings are slice, and that all but 248 of the rest are not slice. Key to these results are computations of Turaev's graded genus, which we show extends to give an invariant of virtual knot concordance. The graded genus is remarkably effective as a slice obstruction, and we develop an algorithm that applies virtual unknotting operations to determine the slice genus of many virtual knots with 6 or fewer crossings.


title: Binary functions, degeneracy, and alternating dimaps

abstract: This paper continues the study of combinatorial properties of binary functions --- that is, functions $f:2^E\rightarrow\mathbb{C}$ such that $f(\emptyset)=1$, where $E$ is a finite set. Binary functions have previously been shown to admit families of transforms that generalise duality, including a trinity transform, and families of associated minor operations that generalise deletion and contraction, with both these families parameterised by the complex numbers. Binary function representations exist for graphs (via the indicator functions of their cutset spaces) and indeed arbitrary matroids (as shown by the author previously). In this paper, we characterise degenerate elements --- analogues of loops and coloops --- in binary functions, with respect to any pair of minor operations from our complex-parameterised family. We then apply this to study the relationship between binary functions and Tutte's alternating dimaps, which also support a trinity transform and three associated minor operations. It is shown that only the simplest alternating dimaps have binary representations of the form we consider, which seems to be the most direct type of representation. The question of whether there exist other, more sophisticated types of binary function representations for alternating dimaps is left open.


title: Charge and pairing dynamics in the attractive Hubbard model: mode coupling and the validity of linear-response theory

abstract: Pump-probe experiments have turned out as a powerful tool in order to study the dynamics of competing orders in a large variety of materials. The corresponding analysis of the data often relies on standard linear-response theory generalized to non-equilibrium situations. Here we examine the validity of such an approach within the attractive Hubbard model for which the dynamics of pairing and charge-density wave orders is computed using the time-dependent Hartree-Fock approximation (TDHF). Our calculations reveal that the `linear-response assumption' is justified for small to moderate non-equilibrium situations (i.e., pump pulses) when the symmetry of the pump-induced state differs from that of the external field. This is the case, when we consider the pairing response in a charge-ordered state or the charge-order response in a superconducting state. The situation is very different when the non-equilibrium state and the external probe field have the same symmetry. In this case, we observe significant changes of the response in magnitude but also due to mode coupling when moving away from an equilibrium state, indicating the failure of the linear-response assumption.


title: Non-radial Oscillation Modes of Compact Stars with a Crust

abstract: Oscillation modes of isolated compact stars can, in principle, be a fingerprint of the equation of state (EoS) of dense matter. We study the non-radial high-frequency l=2 spheroidal modes of neutron stars and strange quark stars, adopting a two-component model (core and crust) for these two types of stars. Using perturbed fluid equations in the relativistic Cowling approximation, we explore the effect of a strangelet or hadronic crust on the oscillation modes of strange stars. The results differ from the case of neutron stars with a crust. In comparison to fluid-only configurations, we find that a solid crust on top of a neutron star increases the p-mode frequency slightly with little effect on the f-mode frequency, whereas for strange stars, a strangelet crust on top of a quark core significantly increases the f-mode frequency with little effect on the p-mode frequency.


title: 2D Materials in Electro-optic Modulation: energy efficiency, electrostatics, mode overlap, material transfer and integration

abstract: Here we discuss the physics of electro-optic modulators deploying 2D materials. We include a scaling laws analysis showing how energy-efficiency and speed change for three underlying cavity systems as a function of critical device length scaling. A key result is that the energy-per-bit of the modulator is proportional to the volume of the device, thus making the case for submicron-scale modulators possible deploying a plasmonic optical mode. We then show how Graphenes Pauli-blocking modulation mechanism is sensitive to the device operation temperature, whereby a reduction of the temperature enables a 10x reduction in modulator energy efficiency. Furthermore, we show how the high index tunability of Graphene is able to compensate for the small optical overlap factor of 2D-based material modulators, which is unlike classical Silicon-based dispersion devices. Lastly we demonstrate a novel method towards a 2D material printer suitable for cross-contamination free and on-demand printing. The latter paves the way to integrate 2D materials seamlessly into taped-out photonic chips.


title: Perceptual audio loss function for deep learning

abstract: PESQ and POLQA , are standards are standards for automated assessment of voice quality of speech as experienced by human beings. The predictions of those objective measures should come as close as possible to subjective quality scores as obtained in subjective listening tests. Wavenet is a deep neural network originally developed as a deep generative model of raw audio wave-forms. Wavenet architecture is based on dilated causal convolutions, which exhibit very large receptive fields. In this short paper we suggest using the Wavenet architecture, in particular its large receptive filed in order to learn PESQ algorithm. By doing so we can use it as a differentiable loss function for speech enhancement.


title: Acoustic Macroscopic Rigid Body Levitation by Responsive Boundary Hologram

abstract: Propagated acoustic waves, which generate radiation pressure, exert a non-contact force on a remote object. By suitably designing the wave field, remote tweezers are produced that stably levitate particles in the air without any mechanical contact forces. Recent works have revealed that holographic traps can levitate particles even with a single-sided wave source. However, the levitatable objects in the previous studies were limited to particles smaller than the wavelength, or flat parts placed near a rigid wall. Here, we achieve a stable levitation of a macroscopic rigid body by a holographic design of acoustic field without any dynamic control. The levitator models the acoustic radiation force and torque applied to a rigid body by discretising the body's surface, as well as the acoustic wave sources, and optimizes the acoustic field on the body surface to achieve the Lyapunov stability so that the field can properly respond to the fluctuation of the body position and rotation. In an experiment, a 40 kHz (8.5 mm wavelength) ultrasonic phased array levitated a polystyrene sphere and a regular octahedron with a size of ~50 mm located 200 mm away from acoustic elements in the air. This method not only expands the variety of levitatable objects but also contributes to microscopic contexts, such as in-vivo micromachines, since shorter-wavelength ultrasound than the size of target objects can be used to achieve higher controllability and stability.


title: On Structural Stability of 3D Filippov Systems: A Semi-Local Approach

abstract: The main purpose of this work is to provide a non-local approach to study aspects of structural stability of 3D Filippov systems. We introduce a notion of semi-local structural stability which detects when a piecewise smooth vector field is robust around the whole switching manifold and we give a complete characterization of such systems. In particular, we present some methods in the qualitative theory of piecewise smooth vector fields, emphasizing a geometrical analysis of the foliations generated by their orbits. Such approach displays surprisingly a rich dynamical behaviour that has been studied in details in this work. It is worth to say that this subject has not been treated recently from a non-local point of view, and we hope that the approach adopted in this work contributes to the understanding of the structural stability for piecewise-smooth vector fields in its most global sense.


title: On the Genus of the Moonshine Module

abstract: We provide a novel and simple description of Schellekens' seventy-one affine Kac-Moody structures of self-dual vertex operator algebras of central charge 24 by utilizing cyclic subgroups of the glue codes of the Niemeier lattices with roots. We also discuss a possible uniform construction procedure of the self-dual vertex operator algebras of central charge 24 starting from the Leech lattice. This also allows us to consider the uniqueness question for all non-trivial affine Kac-Moody structures. We finally discuss our description from a Lorentzian viewpoint.


title: Measurably entire functions and their growth

abstract: In 1997 B. Weiss introduced the notion of measurably entire functions and proved that they exist on every arbitrary free C- action defined on standard probability space. In the same paper he asked about the minimal possible growth of measurably entire functions. In this work we show that for every arbitrary free C- action defined on a standard probability space there exists a measurably entire function whose growth does not exceed exp (exp[log^p |z|]) for any p > 3. This complements a recent result by Buhovski, Gl\"ucksam, Logunov, and Sodin (arXiv:1703.08101) who showed that such functions cannot grow slower than exp (exp[log^p |z|]) for any p < 2.


title: Expanding Abbreviations in a Strongly Inflected Language: Are Morphosyntactic Tags Sufficient?

abstract: In this paper, the problem of recovery of morphological information lost in abbreviated forms is addressed with a focus on highly inflected languages. Evidence is presented that the correct inflected form of an expanded abbreviation can in many cases be deduced solely from the morphosyntactic tags of the context. The prediction model is a deep bidirectional LSTM network with tag embedding. The training and evaluation data are gathered by finding the words which could have been abbreviated and using their corresponding morphosyntactic tags as the labels, while the tags of the context words are used as the input features for classification. The network is trained on over 10 million words from the Polish Sejm Corpus and achieves 74.2% prediction accuracy on a smaller, but more general National Corpus of Polish. The analysis of errors suggests that performance in this task may improve if some prior knowledge about the abbreviated word is incorporated into the model.


title: Topological invariants of Floquet systems: General formulation, special properties, and Floquet topological defects

abstract: Periodically driven (Floquet) systems have been under active theoretical and experimental investigations. This paper aims at a systematic study in the following aspects of Floquet systems: (i) A systematic formulation of topological invariants of Floquet systems based on the cooperation of topology and symmetries. Topological invariants are constructed for the ten symmetry classes in all spatial dimensions, for both homogeneous Floquet systems (Floquet topological insulators and superconductors) and Floquet topological defects. Meanwhile, useful representative Dirac Hamiltonians for all the symmetry classes are obtained and studied. (ii) A general theory of Floquet topological defects, based on the proposed topological invariants. (iii) Models and proposals of Floquet topological defects in low dimensions. Among other defect modes, we investigate Floquet Majorana zero modes and Majorana Pi modes in vortices of topologically trivial superconductors under a periodic drive. In addition, we clarified several notable issues about Floquet topological invariants. Among other issues, we prove the equivalence between the effective-Hamiltonian-based band topological invariants and the frequency-domain band topological invariants.


title: Study of $b\bar{b}$ correlations in high energy proton-proton collisions

abstract: Kinematic correlations for pairs of beauty hadrons, produced in high energy proton-proton collisions, are studied. The data sample used was collected with the LHCb experiment at centre-of-mass energies of 7 and 8 TeV and corresponds to an integrated luminosity of 3 fb$^{-1}$. The measurement is performed using inclusive $b\rightarrow J/\psi X$ decays in the rapidity range $2<y^{J/\psi}<4.5$. The observed correlations are in good agreement with theoretical predictions.


title: Fermi Liquid Model for Hadrons in Medium

abstract: A Fermi liquid model for hadrons has been suggested for the hadrons in medium. The hadrons are supposed to behave like quasi particle as Fermi excitation while in the medium and the effective mass of the hadrons have been estimated using Fermi liquid model. Considering a momentum dependent potential inside the medium to describe the interaction, the effective masses of the hadrons are estimated. The temperature dependence of effective masses has also been studied. The possibility of describing masses of the quarks as Fermi excitation has been investigated. Compressibility, specific heats, density of states in medium has been studied. The potential depth for light and singly heavy baryons in medium has been extracted. The results are found to be very interesting and compared with the other studies available in literature.


title: Solar Surface Magnetic Field Simulation Enabled Prediction of the Large-Scale Coronal Structure of the 21 August 2017 Great American Eclipse: An Assessment of Model Predictions and Observations

abstract: On 21 August 2017 a total solar eclipse swept across the contiguous United States providing excellent opportunities for diagnostics of the Sun's corona. The Sun's coronal structure is notoriously difficult to observe except during solar eclipses; thus theoretical models must be relied upon for inferring the underlying magnetic structure of the Sun's outer atmosphere. These models are necessary for understanding the role of magnetic fields in the heating of the corona to a million degrees and generation of severe space weather. Here we present a methodology for predicting the structure of the coronal field based on long-term surface flux transport simulations whose output is utilized to extrapolate the coronal magnetic field structures. This prescription was applied to the 21 August 2017 solar eclipse. Post-eclipse analysis shows good agreement between model simulated and observed coronal structures and their locations on the limb. We demonstrate that slow changes in the Sun's surface magnetic field distribution driven by long-term flux emergence and evolution govern large-scale coronal structures with a (plausibly cycle-phase dependent) dynamical memory timescale on the order of few solar rotations -- opening up the possibility of large-scale, global corona predictions at least a month in advance.


title: A Batch Noise Contrastive Estimation Approach for Training Large Vocabulary Language Models

abstract: Training large vocabulary Neural Network Language Models (NNLMs) is a difficult task due to the explicit requirement of the output layer normalization, which typically involves the evaluation of the full softmax function over the complete vocabulary. This paper proposes a Batch Noise Contrastive Estimation (B-NCE) approach to alleviate this problem. This is achieved by reducing the vocabulary, at each time step, to the target words in the batch and then replacing the softmax by the noise contrastive estimation approach, where these words play the role of targets and noise samples at the same time. In doing so, the proposed approach can be fully formulated and implemented using optimal dense matrix operations. Applying B-NCE to train different NNLMs on the Large Text Compression Benchmark (LTCB) and the One Billion Word Benchmark (OBWB) shows a significant reduction of the training time with no noticeable degradation of the models performance. This paper also presents a new baseline comparative study of different standard NNLMs on the large OBWB on a single Titan-X GPU.


title: The Neron-Tate pairing and elliptic K3 surfaces

abstract: In this paper, we demonstrate a connection between the group structure and Neron-Tate pairing on elliptic curves in an elliptic fibration with section on a K3 surface, and the structure of the ample cone for the K3 surface. Part of the result can be thought of as a case of the specialization theorem.


title: Jointly Optimal Routing and Caching for Arbitrary Network Topologies

abstract: We study a problem of fundamental importance to ICNs, namely, minimizing routing costs by jointly optimizing caching and routing decisions over an arbitrary network topology. We consider both source routing and hop-by-hop routing settings. The respective offline problems are NP-hard. Nevertheless, we show that there exist polynomial time approximation algorithms producing solutions within a constant approximation from the optimal. We also produce distributed, adaptive algorithms with the same approximation guarantees. We simulate our adaptive algorithms over a broad array of different topologies. Our algorithms reduce routing costs by several orders of magnitude compared to prior art, including algorithms optimizing caching under fixed routing.


title: Efficient Online Inference for Infinite Evolutionary Cluster models with Applications to Latent Social Event Discovery

abstract: The Recurrent Chinese Restaurant Process (RCRP) is a powerful statistical method for modeling evolving clusters in large scale social media data. With the RCRP, one can allow both the number of clusters and the cluster parameters in a model to change over time. However, application of the RCRP has largely been limited due to the non-conjugacy between the cluster evolutionary priors and the Multinomial likelihood. This non-conjugacy makes inference di cult and restricts the scalability of models which use the RCRP, leading to the RCRP being applied only in simple problems, such as those that can be approximated by a single Gaussian emission. In this paper, we provide a novel solution for the non-conjugacy issues for the RCRP and an example of how to leverage our solution for one speci c problem - the social event discovery problem. By utilizing Sequential Monte Carlo methods in inference, our approach can be massively paralleled and is highly scalable, to the extent it can work on tens of millions of documents. We are able to generate high quality topical and location distributions of the clusters that can be directly interpreted as real social events, and our experimental results suggest that the approaches proposed achieve much better predictive performance than techniques reported in prior work. We also demonstrate how the techniques we develop can be used in a much more general ways toward similar problems.


title: The eccentric Kozai-Lidov effect as a resonance phenomenon

abstract: Exploring weakly perturbed Keplerian motion within the restricted three-body problem, Lidov (1962) and, independently, Kozai (1962) discovered coupled oscillations of eccentricity and inclination (the KL-cycles). Their classical studies were based on an integrable model of the secular evolution, obtained by double averaging of the disturbing function approximated with its first non-trivial term. This was the quadrupole term in the series expansion with respect to the ratio of the semimajor axis of the disturbed body to that of the disturbing body. If the next (octupole) term is kept in the expression for the disturbing function, long-term modulation of the KL-cycles can established (Ford et al., 2000, Naoz et al., 2011, Katz et al., 2011). Specifically, flips between the prograde and retrograde orbits become possible. Since such flips are observed only when the perturber has a non-zero eccentricity, the term "Eccentric Kozai-Lidov Effect" (or EKL-effect) was proposed by Lithwick and Naoz (2011) to specify such behaviour. We demonstrate that the EKL-effect can be interpreted as a resonance phenomenon. To this end, we write down the equations of motion in terms of "action-angle" variables emerging in the integrable Kozai-Lidov model. It turns out that for some initial values the resonance is degenerate and the usual "pendulum" approximation is insufficient to describe the evolution of the resonance phase. Analysis of the related bifurcations allows us to estimate the typical time between the successive flips for different parts of the phase space.


title: Quantum state certification

abstract: We consider the problem of quantum state certification, where one is given $n$ copies of an unknown $d$-dimensional quantum mixed state $\rho$, and one wants to test whether $\rho$ is equal to some known mixed state $\sigma$ or else is $\epsilon$-far from $\sigma$. The goal is to use notably fewer copies than the $\Omega(d^2)$ needed for full tomography on $\rho$ (i.e., density estimation). We give two robust state certification algorithms: one with respect to fidelity using $n = O(d/\epsilon)$ copies, and one with respect to trace distance using $n = O(d/\epsilon^2)$ copies. The latter algorithm also applies when $\sigma$ is unknown as well. These copy complexities are optimal up to constant factors.


title: Exact Solution of the Two-Dimensional Scattering Problem for a Class of $\delta$-Function Potentials Supported on Subsets of a Line

abstract: We use the transfer matrix formulation of scattering theory in two-dimensions to treat the scattering problem for a potential of the form $v(x,y)=\zeta\,\delta(ax+by)g(bx-ay)$ where $\zeta,a$, and $b$ are constants, $\delta(x)$ is the Dirac $\delta$ function, and $g$ is a real- or complex-valued function. We map this problem to that of $v(x,y)=\zeta\,\delta(x)g(y)$ and give its exact and analytic solution for the following choices of $g(y)$: i) A linear combination of $\delta$-functions, in which case $v(x,y)$ is a finite linear array of two-dimensional $\delta$-functions; ii) A linear combination of $e^{i\alpha_n y}$ with $\alpha_n$ real; iii) A general periodic function that has the form of a complex Fourier series. In particular we solve the scattering problem for a potential consisting of an infinite linear periodic array of two-dimensional $\delta$-functions. We also prove a general theorem that gives a sufficient condition for different choices of $g(y)$ to produce the same scattering amplitude within specific ranges of values of the wavelength $\lambda$. For example, we show that for arbitrary real and complex parameters, $a$ and $\mathfrak{z}$, the potentials $ \mathfrak{z} \sum_{n=-\infty}^\infty\delta(x)\delta(y-an)$ and $a^{-1}\mathfrak{z}\delta(x)[1+2\cos(2\pi y/a)]$ have the same scattering amplitude for $a< \lambda\leq 2a$.


title: Boltzmann machines for time-series

abstract: We review Boltzmann machines extended for time-series. These models often have recurrent structure, and back propagration through time (BPTT) is used to learn their parameters. The per-step computational complexity of BPTT in online learning, however, grows linearly with respect to the length of preceding time-series (i.e., learning rule is not local in time), which limits the applicability of BPTT in online learning. We then review dynamic Boltzmann machines (DyBMs), whose learning rule is local in time. DyBM's learning rule relates to spike-timing dependent plasticity (STDP), which has been postulated and experimentally confirmed for biological neural networks.