title: Sets of lengths in atomic unit-cancellative finitely presented monoids

abstract: For an element $a$ of a monoid $H$, its set of lengths $\mathsf L (a) \subset \mathbb N$ is the set of all positive integers $k$ for which there is a factorization $a=u_1 \cdot \ldots \cdot u_k$ into $k$ atoms. We study the system $\mathcal L (H) = \{\mathsf L (a) \mid a \in H \}$ with a focus on the unions $\mathcal U_k (H) \subset \mathbb N$ which are the unions of all sets of lengths containing a given $k \in \mathbb N$. The Structure Theorem for Unions -- stating that for all sufficiently large $k$, the sets $\mathcal U_k (H)$ are almost arithmetical progressions with the same difference and global bound -- has found much attention for commutative monoids and domains. We show that it holds true for the not necessarily commutative monoids in the title satisfying suitable algebraic finiteness conditions. Furthermore, we give an explicit description of the system of sets of lengths of monoids $B_{n} = \langle a,b \mid ba=b^{n} \rangle$ for $n \in \N_{\ge 2}$. Based on this description, we show that the monoids $B_n$ are not transfer Krull, which implies that their systems $\mathcal L (B_n)$ are distinct from systems of sets of lengths of commutative Krull monoids and others.


title: Derivation of the gap and Bethe-Salpeter equations at large $N_c$ limit and symmetry preserving truncations

abstract: We develop a framework for deriving Dyson-Schwinger Equations (DSEs) and Bethe-Salpeter Equation (BSE) in QCD at large $N_c$ limit. The starting point is a modified form (with auxiliary fields) of QCD generating functional. This framework provides a natural order-by-order truncation scheme for DSEs and BSE, and the kernels of the equations up to any order are explicitly given. Chiral symmetry (at chiral limit) is preserved in any order truncation, so it exemplifies the symmetry preserving truncation scheme. It provides a method to study DSEs and BSE beyond the Rainbow-Ladder truncation, and is especially useful to study contributions from non-Abelian dynamics (those arise from gluon self-interactions). We also derive the equation for the quark-ghost scattering kernel, and discuss the Slavnov-Taylor identity connecting the quark-gluon vertex, the quark propagator and the quark-ghost scattering kernel.


title: Direct detection of pixel-level myocardial infarction areas via a deep-learning algorithm

abstract: Accurate detection of the myocardial infarction (MI) area is crucial for early diagnosis planning and follow-up management. In this study, we propose an end-to-end deep-learning algorithm framework (OF-RNN ) to accurately detect the MI area at the pixel level. Our OF-RNN consists of three different function layers: the heart localization layers, which can accurately and automatically crop the region-of-interest (ROI) sequences, including the left ventricle, using the whole cardiac magnetic resonance image sequences; the motion statistical layers, which are used to build a time-series architecture to capture two types of motion features (at the pixel-level) by integrating the local motion features generated by long short-term memory-recurrent neural networks and the global motion features generated by deep optical flows from the whole ROI sequence, which can effectively characterize myocardial physiologic function; and the fully connected discriminate layers, which use stacked auto-encoders to further learn these features, and they use a softmax classifier to build the correspondences from the motion features to the tissue identities (infarction or not) for each pixel. Through the seamless connection of each layer, our OF-RNN can obtain the area, position, and shape of the MI for each patient. Our proposed framework yielded an overall classification accuracy of 94.35% at the pixel level, from 114 clinical subjects. These results indicate the potential of our proposed method in aiding standardized MI assessments.


title: Battery Recharge Time of a Stochastic Linear and Non-Linear Energy Harvesting System

abstract: Systems harvesting energy from a stochastic source have been widely studied in the literature. However, we are not aware of any work that deals with the time it takes for a battery to recharge up to a given level, when the energy source is discrete stochastic. This letter aims to examine the recharge time of a perfect battery. We examine the cases when the energy arrival is a Poisson process, and more generally, a renewal process. We obtain formulas for the distribution of the recharge time as well as the expected value of the recharge time. Using these, we find the switching time of the system, which is then applied to the design of a harvest-then-transmit protocol for green communications. Monte-Carlo simulations verify the obtained formulas.


title: Upper Bounds on Number of Steals in Rooted Trees

abstract: Inspired by applications in parallel computing, we analyze the setting of work stealing in multithreaded computations. We obtain tight upper bounds on the number of steals when the computation can be modeled by rooted trees. In particular, we show that if the computation with $n$ processors starts with one processor having a complete $k$-ary tree of height $h$ (and the remaining $n-1$ processors having nothing), the maximum possible number of steals is $\sum_{i=1}^n(k-1)^i\binom{h}{i}$.


title: A note on the Diophantine equations $x^{2}\pm5^{\alpha}\cdot p^{n}=y^{n}$

abstract: Suppose that $x$ is odd, $n\geq7$ and $p\notin\{2,5\}$ are primes. In this paper, we prove that the Diophantine equations $x^{2}\pm5^{\alpha}p^{n}=y^{n}$ have no solutions in positive integers $\alpha,x,y$ with $gcd(x,y)=1$.


title: Second-order Nonlinear Optical Microscopy of Spider Silk

abstract: Asymmetric $\rm \beta$-sheet protein structures in spider silk should induce nonlinear optical interaction such as second harmonic generation (SHG) which is experimentally observed for a radial line and dragline spider silk by using an imaging femtosecond laser SHG microscope. By comparing different spider silks, we found that the SHG signal correlates with the existence of the protein $\rm \beta$-sheets. Measurements of the polarization dependence of SHG from the dragline indicated that the $\rm \beta$-sheet has a nonlinear response depending on the direction of the incident electric field. We propose a model of what orientation the $\rm \beta$-sheet takes in spider silk.


title: Self-gravitational solitary waves in astrophysical compact objects

abstract: The condition for the existence of self-gravitational solitary waves (SGSWs), and their polarity in any astrophysical compact object are theoretically found for the first time. The pseudo-potential approach, which is valid for arbitrary amplitude SGSWs, is emplyed. The general analytical results are applied in white dwarfs and neutron stars to identify the basic features (polarity, amplitude, and width) of the SGSWs formed in them. It found for the first time that the SGSWs exist with negative self-gravitational potential in perturbed states of white dwarfs and neutron stars. It is also estimated that for their typical degenerate plasma parmeters, the amplitude and the width of the SGSWs (moving with the speed 2 cm/s) in white dwarfs are $\sim -1.5$ ergs/gm and $\sim 50$ cm, respectively, and those of the SGSWs (moving with the speed $\sim 27$ m/s) in neutron stars are $\sim -7.76\times 10^4$ Joules/kg, and $5.5$ km, respectively.


title: Radiative Transfer for Exoplanet Atmospheres

abstract: Remote sensing of the atmospheres of distant worlds motivates a firm understanding of radiative transfer. In this review, we provide a pedagogical cookbook that describes the principal ingredients needed to perform a radiative transfer calculation and predict the spectrum of an exoplanet atmosphere, including solving the radiative transfer equation, calculating opacities (and chemistry), iterating for radiative equilibrium (or not), and adapting the output of the calculations to the astronomical observations. A review of the state of the art is performed, focusing on selected milestone papers. Outstanding issues, including the need to understand aerosols or clouds and elucidating the assumptions and caveats behind inversion methods, are discussed. A checklist is provided to assist referees/reviewers in their scrutiny of works involving radiative transfer. A table summarizing the methodology employed by past studies is provided.


title: Two-Scale Topology Optimization with Microstructures

abstract: In this paper we present a novel two-scale framework to optimize the structure and the material distribution of an object given its functional specifications. Our approach utilizes multi-material microstructures as low-level building blocks of the object. We start by precomputing the material property gamut -- the set of bulk material properties that can be achieved with all material microstructures of a given size. We represent the boundary of this material property gamut using a level set field. Next, we propose an efficient and general topology optimization algorithm that simultaneously computes an optimal object topology and spatially-varying material properties constrained by the precomputed gamut. Finally, we map the optimal spatially-varying material properties onto the microstructures with the corresponding properties in order to generate a high-resolution printable structure. We demonstrate the efficacy of our framework by designing, optimizing, and fabricating objects in different material property spaces on the level of a trillion voxels, i.e several orders of magnitude higher than what can be achieved with current systems.


title: Image Matching via Loopy RNN

abstract: Most existing matching algorithms are one-off algorithms, i.e., they usually measure the distance between the two image feature representation vectors for only one time. In contrast, human's vision system achieves this task, i.e., image matching, by recursively looking at specific/related parts of both images and then making the final judgement. Towards this end, we propose a novel loopy recurrent neural network (Loopy RNN), which is capable of aggregating relationship information of two input images in a progressive/iterative manner and outputting the consolidated matching score in the final iteration. A Loopy RNN features two uniqueness. First, built on conventional long short-term memory (LSTM) nodes, it links the output gate of the tail node to the input gate of the head node, thus it brings up symmetry property required for matching. Second, a monotonous loss designed for the proposed network guarantees increasing confidence during the recursive matching process. Extensive experiments on several image matching benchmarks demonstrate the great potential of the proposed method.


title: Classification of Questions and Learning Outcome Statements (LOS) Into Blooms Taxonomy (BT) By Similarity Measurements Towards Extracting Of Learning Outcome from Learning Material

abstract: Blooms Taxonomy (BT) have been used to classify the objectives of learning outcome by dividing the learning into three different domains; the cognitive domain, the effective domain and the psychomotor domain. In this paper, we are introducing a new approach to classify the questions and learning outcome statements (LOS) into Blooms taxonomy (BT) and to verify BT verb lists, which are being cited and used by academicians to write questions and (LOS). An experiment was designed to investigate the semantic relationship between the action verbs used in both questions and LOS to obtain more accurate classification of the levels of BT. A sample of 775 different action verbs collected from different universities allows us to measure an accurate and clear-cut cognitive level for the action verb. It is worth mentioning that natural language processing techniques were used to develop our rules as to induce the questions into chunks in order to extract the action verbs. Our proposed solution was able to classify the action verb into a precise level of the cognitive domain. We, on our side, have tested and evaluated our proposed solution using confusion matrix. The results of evaluation tests yielded 97% for the macro average of precision and 90% for F1. Thus, the outcome of the research suggests that it is crucial to analyse and verify the action verbs cited and used by academicians to write LOS and classify their questions based on blooms taxonomy in order to obtain a definite and more accurate classification.


title: Measurement of the inclusive jet cross-sections in proton--proton collisions at $\sqrt{s}= $8 TeV with the ATLAS detector

abstract: Inclusive jet production cross-sections are measured in proton--proton collisions at a centre-of-mass energy of $\sqrt{s}=$8 TeV recorded by the ATLAS experiment at the Large Hadron Collider at CERN. The total integrated luminosity of the analysed data set amounts to $20.2$ fb$^{-1}$. Double-differential cross-sections are measured for jets defined by the anti-$k_{t}$ jet clustering algorithm with radius parameters of $R=0.4$ and $R=0.6$ and are presented as a function of the jet transverse momentum, in the range between 70 GeV and 2.5 TeV and in six bins of the absolute jet rapidity, between 0 and 3.0. The measured cross-sections are compared to predictions of quantum chromodynamics, calculated at next-to-leading order in perturbation theory, and corrected for non-perturbative and electroweak effects. The level of agreement with predictions, using a selection of different parton distribution functions for the proton, is quantified. Tensions between the data and the theory predictions are observed.


title: Smoothed generalized free energies for thermodynamics

abstract: In the study of thermodynamics for nanoscale quantum systems, a family of quantities known as generalized free energies have been derived as necessary and sufficient conditions that govern state transitions. These free energies become important especially in the regime where the system of interest consists of only a few (quantum) particles. In this work, we introduce a new family of smoothed generalized free energies, by constructing explicit smoothing procedures that maximize/minimize the free energies over an $ \varepsilon$-ball of quantum states. In contrast to previously known smoothed free energies, these quantities now allow us to make an operational statement for approximate thermodynamic state transitions. We show that these newly defined smoothed quantities converge to the standard free energy in the thermodynamic limit.


title: Water-enhanced interdiffusion of major elements between natural shoshonite and high-K rhyolite melts

abstract: The interdiffusion of six major elements (Si, Ti, Fe, Mg, Ca, K) between natural shoshonite and a high-K calc-alkaline rhyolite (Vulcano island, Aeolian archipelago, Italy) has been experimentally measured by the diffusion couple technique at 1200{\deg}C, pressures from 50 to 500 MPa and water contents from 0.3 (nominally dry) to 2 wt%. The experiments were carried out in an internally heated pressure vessel, and major element profiles were later acquired by electron probe microanalysis. The concentration-distance profiles are evaluated using a concentration-dependent diffusivity approach. Effective binary diffusion coefficients for four intermediate silica contents are obtained by the Sauer-Freise modified Boltzmann-Matano method. At the experimental temperature and pressures, the diffusivity of all studied elements notably increases with dissolved H2O content. Particularly, diffusion is up to 1.4 orders of magnitude faster in a melt containing 2 wt.% H2O than in nominally dry melts. This effect is slightly enhanced in the more mafic compositions. Uphill diffusion was observed for Al, while all other elements can be described by the concept of effective binary interdiffusion. Ti is the slowest diffusing element through all experimental conditions and compositions, followed by Si. Fe, Mg, Ca and K diffuse at similar rates but always more rapidly than Si and Ti. This trend suggests a strong coupling between melt components. Since effects of composition (including water content) are dominant, a pressure effect on diffusion cannot be clearly resolved in the experimental pressure range.


title: Standard model effective potential from trace anomalies

abstract: By analogy with the low energy QCD effective linear sigma model we construct a standard model effective potential based entirely on the requirement that the tree level and quantum level trace anomalies must be satisfied. We discuss a particular realization of this potential in connection to the Higgs boson mass and Higgs boson effective couplings to two photons and two gluons. We find that this kind of potential may describe well the knwon phenomenology of the Higgs boson.


title: Online Learning for Neural Machine Translation Post-editing

abstract: Neural machine translation has meant a revolution of the field. Nevertheless, post-editing the outputs of the system is mandatory for tasks requiring high translation quality. Post-editing offers a unique opportunity for improving neural machine translation systems, using online learning techniques and treating the post-edited translations as new, fresh training data. We review classical learning methods and propose a new optimization algorithm. We thoroughly compare online learning algorithms in a post-editing scenario. Results show significant improvements in translation quality and effort reduction.


title: A note on the fundamental group of Kodaira fibrations

abstract: The fundamental group $\pi$ of a Kodaira fibration is, by definition, the extension of a surface group $\Pi_b$ by another surface group $\Pi_g$, i.e. \[ 1 \rightarrow \Pi_g \rightarrow \pi \rightarrow \Pi_b \rightarrow 1. \] Conversely, we can inquire about what conditions need to be satisfied by a group of that sort in order to be the fundamental group of a Kodaira fibration. In this short note we collect some restriction on the image of the classifying map $m \colon \Pi_b \to \Gamma_g$ in terms of the coinvariant homology of $\Pi_g$. In particular, we observe that if $\pi$ is the fundamental group of a Kodaira fibration with relative irregularity $g-s$, then $g \leq 1+ 6s$, and we show that this effectively constrains the possible choices for $\pi$, namely that there are group extensions as above that fail to satisfy this bound, hence cannot be the fundamental group of a Kodaira fibration. In particular this provides examples of symplectic $4$--manifolds that fail to admit a K\"ahler structure for reasons that eschew the usual obstructions.


title: On a common refinement of Stark units and Gross-Stark units

abstract: The purpose of this paper is to formulate and study a common refinement of a version of Stark's conjecture and its $p$-adic analogue, in terms of Fontaine's $p$-adic period ring and $p$-adic Hodge theory. We construct period-ring-valued functions under a generalization of Yoshida's conjecture on the transcendental parts of CM-periods. Then we conjecture a reciprocity law on their special values concerning the absolute Frobenius action. We show that our conjecture implies a part of Stark's conjecture when the base field is an arbitrary real field and the splitting place is its real place. It also implies a refinement of the Gross-Stark conjecture under a certain assumption. When the base field is the rational number field, our conjecture follows from Coleman's formula on Fermat curves. We also prove some partial results in other cases.


title: Toward Optimal Run Racing: Application to Deep Learning Calibration

abstract: This paper aims at one-shot learning of deep neural nets, where a highly parallel setting is considered to address the algorithm calibration problem - selecting the best neural architecture and learning hyper-parameter values depending on the dataset at hand. The notoriously expensive calibration problem is optimally reduced by detecting and early stopping non-optimal runs. The theoretical contribution regards the optimality guarantees within the multiple hypothesis testing framework. Experimentations on the Cifar10, PTB and Wiki benchmarks demonstrate the relevance of the approach with a principled and consistent improvement on the state of the art with no extra hyper-parameter.


title: Critical Hyper-Parameters: No Random, No Cry

abstract: The selection of hyper-parameters is critical in Deep Learning. Because of the long training time of complex models and the availability of compute resources in the cloud, "one-shot" optimization schemes - where the sets of hyper-parameters are selected in advance (e.g. on a grid or in a random manner) and the training is executed in parallel - are commonly used. It is known that grid search is sub-optimal, especially when only a few critical parameters matter, and suggest to use random search instead. Yet, random search can be "unlucky" and produce sets of values that leave some part of the domain unexplored. Quasi-random methods, such as Low Discrepancy Sequences (LDS) avoid these issues. We show that such methods have theoretical properties that make them appealing for performing hyperparameter search, and demonstrate that, when applied to the selection of hyperparameters of complex Deep Learning models (such as state-of-the-art LSTM language models and image classification models), they yield suitable hyperparameters values with much fewer runs than random search. We propose a particularly simple LDS method which can be used as a drop-in replacement for grid or random search in any Deep Learning pipeline, both as a fully one-shot hyperparameter search or as an initializer in iterative batch optimization.


title: Shock Acceleration Model with Postshock Turbulence for Giant Radio Relics

abstract: We explore the shock acceleration model for giant radio relics, in which relativistic electrons are accelerated via diffusive shock acceleration (DSA) by merger-driven shocks in the outskirts of galaxy clusters. In addition to DSA, turbulent acceleration by compressive MHD mode downstream of the shock is included as well as energy losses of postshock electrons by Coulomb scattering, synchrotron emission, and inverse Compton scattering off the cosmic background radiation. Considering that only a small fraction of merging clusters host radio relics, we favor the reacceleration scenario in which radio relics are generated preferentially when shocks encounter the regions containing low-energy ($\gamma_{\rm e} \lesssim 300$) cosmic ray electrons (CRe). We perform time-dependent DSA simulations of spherically expanding shocks with physical parameters relevant for the Sausage radio relic, and calculate the radio synchrotron emission from the accelerated CRe. We find that significant level of postshock turbulent acceleration is required in order to reproduce broad profiles of the observed radio flux densities of the Sausage relic. Moreover, the spectral curvature in the observed integrated radio spectrum can be explained, if the putative shock should have swept up and exited out of the preshock region of fossil CRe about 10~Myr ago.


title: Spin wave nonreciprocity and magnonic band structure in thin permalloy film induced by dynamical coupling with an array of Ni stripes

abstract: An efficient way for the control of spin wave propagation in a magnetic medium is the use of periodic patterns known as magnonic crystals (MCs). However, the fabrication of MCs especially bi-components, with periodicity on nanoscale, is a challenging task due to the requirement for sharp interfaces. An alternative method to circumvent this problem is to use homogeneous ferromagnetic film with modified periodically surrounding. The structure is also suitable for exploiting nonreciprocal properties of the surface spin waves. In this work, we demonstrate that the magnonic band structure forms in thin permalloy film due to dynamical magnetostatic coupling with Ni stripes near its surface. We show, that the band gap width can be systematically tuned by the changing interlayer thickness between film and stripes. We show also the effect of nonreciprocity, which is seen at the band gap edge shifted from the Brillouin zone boundary and also in nonreciprocal interaction of propagating spin waves in Py film with the standing spin waves in Ni stripes. Our findings open possibility for further investigation and exploitation of the nonreciprocity and band structure in magnonic devices.


title: A fully semi-Lagrangian discretization for the 2D Navier--Stokes equations in the vorticity--streamfunction formulation

abstract: A numerical method for the two-dimensional, incompressible Navier--Stokes equations in vorticity--streamfunction form is proposed, which employs semi-Lagrangian discretizations for both the advection and diffusion terms, thus achieving unconditional stability without the need to solve linear systems beyond that required by the Poisson solver for the reconstruction of the streamfunction. A description of the discretization of Dirichlet boundary conditions for the semi-Lagrangian approach to diffusion terms is also presented. Numerical experiments on classical benchmarks for incompressible flow in simple geometries validate the proposed method.


title: On the rationality of Kawamata log terminal singularities in positive characteristic

abstract: We show that there exists a natural number $p_0$ such that any three-dimensional Kawamata log terminal singularity defined over an algebraically closed field of characteristic $p>p_0$ is rational and in particular Cohen-Macaulay.


title: Item Silk Road: Recommending Items from Information Domains to Social Users

abstract: Online platforms can be divided into information-oriented and social-oriented domains. The former refers to forums or E-commerce sites that emphasize user-item interactions, like Trip.com and Amazon; whereas the latter refers to social networking services (SNSs) that have rich user-user connections, such as Facebook and Twitter. Despite their heterogeneity, these two domains can be bridged by a few overlapping users, dubbed as bridge users. In this work, we address the problem of cross-domain social recommendation, i.e., recommending relevant items of information domains to potential users of social networks. To our knowledge, this is a new problem that has rarely been studied before. Existing cross-domain recommender systems are unsuitable for this task since they have either focused on homogeneous information domains or assumed that users are fully overlapped. Towards this end, we present a novel Neural Social Collaborative Ranking (NSCR) approach, which seamlessly sews up the user-item interactions in information domains and user-user connections in SNSs. In the information domain part, the attributes of users and items are leveraged to strengthen the embedding learning of users and items. In the SNS part, the embeddings of bridge users are propagated to learn the embeddings of other non-bridge users. Extensive experiments on two real-world datasets demonstrate the effectiveness and rationality of our NSCR method.


title: Analysis of Anomalies in the Internet Traffic Observed at the Campus Network Gateway

abstract: A considerable portion of the machine learning literature applied to intrusion detection uses outdated data sets based on a simulated network with a limited environment. Moreover, flaws usually appear in datasets and the way we handle them may impact on measurements. Finally, the detection capacity of intrusion detection is highly influenced by the system configuration. We focus on a topic rarely investigated: the characterization of anomalies in a large network environment. Intrusion Detection System (IDS) are used to detect exploits or other attacks that raise alarms. These anomalous events usually receive less attention than attack alarms, causing them to be frequently overlooked by security administrators. However, the observation of this activity contributes to understand the traffic network characteristics. On one hand, abnormal behaviors may be legitimate, e.g., misinterpreted protocols or malfunctioning network equipment, but on the other hand an attacker may intentionally craft packets to introduce anomalies to evade monitoring systems. Anomalies found in operational network environments may indicate cases of evasion attacks, application bugs, and a wide variety of factors that highly influence intrusion detection performance. This study explores the nature of anomalies found in U-Tokyo Network using cooperatively Bro and Snort IDS among other resources. We analyze 6.5 TB of compressed binary tcpdump data representing 12 hours of network traffic. Our major contributions can be summarized in: 1) reporting the anomalies observed in real, up-to-date traffic from a large academic network environment, and documenting problems in research that may lead to wrong results due to misinterpretations of data or misconfigurations in software; 2) assessing the quality of data by analyzing the potential and the real problems in the capture process.


title: Towards Statistical Reasoning in Description Logics over Finite Domains (Full Version)

abstract: We present a probabilistic extension of the description logic $\mathcal{ALC}$ for reasoning about statistical knowledge. We consider conditional statements over proportions of the domain and are interested in the probabilistic-logical consequences of these proportions. After introducing some general reasoning problems and analyzing their properties, we present first algorithms and complexity results for reasoning in some fragments of Statistical $\mathcal{ALC}$.


title: Simulations and Antichains for Efficient Handling of Finite Automata

abstract: This thesis is focused on techniques for finite automata and their use in practice, with the main emphasis on nondeterministic tree automata. This concerns namely techniques for size reduction and language inclusion testing, which are two problems that are crucial for many applications of tree automata. For size reduction of tree automata, we adapt the simulation quotient technique that is well established for finite word automata. We give efficient algorithms for computing tree automata simulations and we also introduce a new type of relation that arises from a combination of tree automata downward and upward simulation and that is very well suited for quotienting. The combination principle is relevant also for word automata. We then generalise the so called antichain universality and language inclusion checking technique developed originally for finite word automata for tree automata. Subsequently, we improve the antichain technique for both word and tree automata by combining it with the simulation-based inclusion checking techniques, significantly improving efficiency of the antichain method. We then show how the developed reduction and inclusion checking methods improve the method of abstract regular tree model checking, the method that was the original motivation for starting the work on tree automata. Both the reduction and the language inclusion methods are based on relatively simple and general principles that can be further extended for other types of automata and related formalisms. An example is our adaptation of the reduction methods for alternating B\"uchi automata, which results in an efficient alternating automata size reduction technique.


title: Born-Infeld gravity with a Brans-Dicke scalar

abstract: Recently proposed Born-Infeld (BI) theories of gravity assume a constant BI parameter ($\kappa$). However, no clear consensus exists on the sign and value of $\kappa$. Recalling the Brans-Dicke (BD) approach, where a scalar field was used to generate the gravitational constant $G$, we suggest an extension of Born-Infeld gravity with a similar Brans-Dicke flavor. Thus, a new action, with $\kappa$ elevated to a spacetime dependent real scalar field, is proposed. We illustrate this new theory in a cosmological setting with pressureless dust and radiation as matter. Assuming a functional form of $\kappa(t)$, we numerically obtain the scale factor evolution and other details of the background cosmology. It is known that BI gravity differs from general relativity (GR) in the strong-field regime but reduces to GR for intermediate and weak fields. Our studies in cosmology demonstrate how, with this new, scalar-tensor BI gravity, deviations from GR as well as usual BI gravity, may arise in the weak-field regime too. For example, we note a late-time acceleration without any dark energy contribution. Apart from such qualitative differences, we note that fixing the sign and value of $\kappa$ is no longer a necessity in this theory, though the origin of the BD scalar does remain an open question.


title: Human Mobility Mining through Head/Tail Breaks

abstract: Nowadays as the world population has become more interconnected and is relying on faster transportation methods, simplified connections and shorter commuting times, we witness a rapid increase in human mobility. In this situation unveiling and understanding human mobility patterns have become a crucial issue to support decisions and prediction activities when managing the complexity of the today social organization. In practice, the mobility pattern of each individual person consists of the sequence of visited places. Those places and their correlations represent the foundation of most modelling and activity researches for understanding human mobility. Even though visited places underpin almost the majority of works in this field, their features remain largely unknown because in previous works, they have been mainly considered as uncharacterized spot points in an area or social gathering places, without considering the roles and importance of places to the behavior of each single user.


title: A connection between angular dependent phase ambiguities and the uniqueness of the partial wave decomposition

abstract: Unconstrained partial-wave amplitudes obtained at discrete energies from fits to complete sets of experimental data may not vary smoothly with energy, and are in principle non-unique. We demonstrate how this behavior can be ascribed to the continuum ambiguity. Starting from the spinless scattering case, we demonstrate how an unknown overall phase depending on energy and angle mixes the structures seen in the associated partial-wave amplitudes making the partial wave decomposition non-unique, and illustrate it on a simple toy model. We then apply these principles to pseudo-scalar meson photoproduction and show that the non-uniqueness effect can be removed through a phase rotation, allowing a consistent comparison with model amplitudes. The effect of this phase ambiguity is also considered for Legendre expansions of experimental observables. 5 pages,


title: Mapping the magnonic landscape in patterned magnetic structures

abstract: We report the development of a hybrid numerical / analytical model capable of mapping the spatially-varying distributions of the local ferromagnetic resonance (FMR) frequency and dynamic magnetic susceptibility in a wide class of patterned and compositionally modulated magnetic structures. Starting from the numerically simulated static micromagnetic state, the magnetization is deliberately deflected orthogonally to its equilibrium orientation, and the magnetic fields generated in response to this deflection are evaluated using micromagnetic software. This allows us to calculate the elements of the effective demagnetizing tensor, which are then used within a linear analytical formalism to map the local FMR frequency and dynamic magnetic susceptibility. To illustrate the typical results that one can obtain using this model, we analyze three micromagnetic systems boasting non-uniformity in either one or two dimensions, and successfully explain the spin-wave emission observed in each case, demonstrating the ubiquitous nature of the Schl\"omann excitation mechanism underpinning the observations. Finally, the developed model of local FMR frequency could be used to explain how spin waves could be confined and steered using magnetic non-uniformities of various origins, rendering it a powerful tool for the mapping of the graded magnonic index in magnonics.


title: Neoclassical toroidal viscosity torque in tokamak edge pedestal induced by external resonant magnetic perturbation

abstract: The characteristic profile and magnitude are predicted in theory for the neoclassical toroidal viscosity (NTV) torque induced by plasma response to the resonant magnetic perturbation (RMP) in a tokamak with an edge pedestal. For a low-$\beta$ equilibrium, the NTV torque is dominated by the toroidal component with the same dominant toroidal mode number of RMP. The NTV torque profile is found to be localized, whose peak location is determined by profiles of both the equilibrium temperature (pressure) and the plasma response. In general, the peak of NTV torque profile is found to track the pedestal position. The magnitude of NTV torque strongly depends on the $\beta$ value of pedestal, which suggests a more significant role of NTV torque in higher plasma $\beta$ regimes. For a fixed plasma $\beta$, decreasing density hence increasing temperature can also enhance the amplitude of NTV torque due to the reduced collisionality in the $1/\nu$ regime. Based on those findings, we identify the tokamak operation regimes where the significance of NTV torque in edge pedestal induced by RMP can approach those from other momentum sources such as the neutral beam injections.


title: A perturbation analysis of some Markov chains models with time-varying parameters

abstract: We study some regularity properties in locally stationary Markov models which are fundamental for controlling the bias of nonparametric kernel estimators. In particular, we provide an alternative to the standard notion of derivative process developed in the literature and that can be used for studying a wide class of Markov processes. To this end, for some families of V-geometrically ergodic Markov kernels indexed by a real parameter u, we give conditions under which the invariant probability distribution is differentiable with respect to u, in the sense of signed measures. Our results also complete the existing literature for the perturbation analysis of Markov chains, in particular when exponential moments are not finite. Our conditions are checked on several original examples of locally stationary processes such as integer-valued autoregressive processes, categorical time series or threshold autoregressive processes.


title: Realization of Shor's Algorithm at Room Temperature

abstract: Shor's algorithm can find prime factors of a large number more efficiently than any known classical algorithm. Understanding the properties that gives the speedup is essential for a general and scalable construction. Here we present a realization of Shor's algorithm, that does not need any of the simplifications presently needed in current experiments and also gives smaller systematic errors than any former experimental implementation. Our realization is based on classical pass-transistor logic, runs at room temperature, and uses the same amount of resources as a scalable quantum computer. In this paper, the focus is not on the result of the factorization, but to compare our realization with current state-of-the-art experiment, factoring 15. Our result gives further insight to the resources needed for quantum computation, aiming for a true understanding of the subject.


title: Articulation rate in Swedish child-directed speech increases as a function of the age of the child even when surprisal is controlled for

abstract: In earlier work, we have shown that articulation rate in Swedish child-directed speech (CDS) increases as a function of the age of the child, even when utterance length and differences in articulation rate between subjects are controlled for. In this paper we show on utterance level in spontaneous Swedish speech that i) for the youngest children, articulation rate in CDS is lower than in adult-directed speech (ADS), ii) there is a significant negative correlation between articulation rate and surprisal (the negative log probability) in ADS, and iii) the increase in articulation rate in Swedish CDS as a function of the age of the child holds, even when surprisal along with utterance length and differences in articulation rate between speakers are controlled for. These results indicate that adults adjust their articulation rate to make it fit the linguistic capacity of the child.


title: Carlsson's rank conjecture and a conjecture on square-zero upper triangular matrices

abstract: Let $k$ be an algebraically closed field and $A$ the polynomial algebra in $r$ variables with coefficients in $k$. In case the characteristic of $k$ is $2$, Carlsson conjectured that for any $DG$-$A$-module $M$ of dimension $N$ as a free $A$-module, if the homology of $M$ is nontrivial and finite dimensional as a $k$-vector space, then $2^r\leq N$. Here we state a stronger conjecture about varieties of square-zero upper-triangular $N\times N$ matrices with entries in $A$. Using stratifications of these varieties via Borel orbits, we show that the stronger conjecture holds when $N < 8$ or $r < 3$ without any restriction on the characteristic of $k$. As a consequence, we attain a new proof for many of the known cases of Carlsson's conjecture and give new results when $N > 4$ and $r = 2$.


title: Extremal Type II $\mathbb{Z}_4$-codes constructed from binary doubly even self-dual codes of length $40$

abstract: In this note, we demonstrate that every binary doubly even self-dual code of length $40$ can be realized as the residue code of some extremal Type II $\mathbb{Z}_4$-code. As a consequence, it is shown that there are at least $94356$ inequivalent extremal Type II $\mathbb{Z}_4$-codes of length $40$.


title: Effect of filter type on the statistics of energy transfer between resolved and subfilter scales from a-priori analysis of direct numerical simulations of isotropic turbulence

abstract: The effects of different filtering strategies on the statistical properties of the resolved-to-sub-filter scale (SFS) energy transfer are analyzed in forced homogeneous and isotropic turbulence. We carry out a priori analyses of statistical characteristics of SFS energy transfer by filtering data obtained from direct numerical simulations (DNS) with up to $2048^3$ grid points as a function of the filter cutoff scale. In order to quantify the dependence of extreme events and anomalous scaling on the filter, we compare a sharp Fourier Galerkin projector, a Gaussian filter and a novel class of Galerkin projectors with non-sharp spectral filter profiles. Of interest is the importance of Galilean invariance and we confirm that local SFS energy transfer displays intermittency scaling in both skewness and flatness as a function of the cutoff scale. Furthermore, we quantify the robustness of scaling as a function of the filtering type.


title: Exploring Convolutional Networks for End-to-End Visual Servoing

abstract: Present image based visual servoing approaches rely on extracting hand crafted visual features from an image. Choosing the right set of features is important as it directly affects the performance of any approach. Motivated by recent breakthroughs in performance of data driven methods on recognition and localization tasks, we aim to learn visual feature representations suitable for servoing tasks in unstructured and unknown environments. In this paper, we present an end-to-end learning based approach for visual servoing in diverse scenes where the knowledge of camera parameters and scene geometry is not available a priori. This is achieved by training a convolutional neural network over color images with synchronised camera poses. Through experiments performed in simulation and on a quadrotor, we demonstrate the efficacy and robustness of our approach for a wide range of camera poses in both indoor as well as outdoor environments.


title: Spin Hall effect originated from fractal surface

abstract: Spin hall effect (SHE) in thin films is inherited by surface roughness. Although roughness effect on SHE has been studied in thin films, but roughness is not only parameter in rough surfaces. Our results show that how other statistical parameters of rough surface play important role in SHE. In this paper we investigate theoretically the effects of correlated surface roughness in the SHE with self affine fractal surface in non-heavy metallic thin films in the frame work of the Born approximation. The surface roughness is described by the k-correlation model and is characterized by the roughness exponent H (0 <= H <= 1), the in plane correlation length kesi and the rms roughness amplitude delta. We show that the spin Hall angle can increase by one order of magnitude when H decreasing from H = 1 to H = 0. We also demonstrate the SHE for surface roughness with distribution function of the Gaussian profile is mainly contributed by the side jump scattering while for that with a non-Gaussian profile, both side jump and skew scattering are present. our achievements demonstrate the important role of roughness texture profile for SHE in non-heavy metals.


title: Phase-diagram and dynamics of Rydberg-dressed fermions in two-dimensions

abstract: We investigate the ground-state properties and the collective modes of a two-dimensional two-component Rydberg-dressed Fermi liquid in the dipole-blockade regime. We find instability of the homogeneous system toward phase separated and density ordered phases, using the Hartree-Fock and random-phase approximations, respectively. The spectral weight of collective density oscillations in the homogenous phase also signals the emergence of density-wave instability. We examine the effect of exchange-hole on the density-wave instability and on the collective mode dispersion using the Hubbard local-field factor.


title: A duality based approach to the minimizing total variation flow in the space $H^{-s}$

abstract: We consider a gradient flow of the total variation in a negative Sobolev space $H^{-s}$ $(0\leq s \leq 1)$ under the periodic boundary condition. If $s=0$, the flow is nothing but the classical total variation flow. If $s=1$, this is the fourth order total variation flow. We consider a convex variational problem which gives an implicit-time discrete scheme for the flow. By a duality based method, we give a simple numerical scheme to calculate this minimizing problem numerically and discuss convergence of a forward-backward splitting scheme. Several numerical experiments are given.


title: Stability and Robust Regulation of Passive Linear Systems

abstract: We study the stability of coupled impedance passive regular linear systems under power-preserving interconnections. We present new conditions for strong, exponential, and non-uniform stability of the closed-loop system. We apply the stability results to the construction of passive error feedback controllers for robust output tracking and disturbance rejection for strongly stabilizable passive systems. In the case of nonsmooth reference and disturbance signals we present conditions for non-uniform rational and logarithmic rates of convergence of the output. The results are illustrated with examples on designing controllers for linear wave and heat equations, and on studying the stability of a system of coupled partial differential equations.


title: IRTF/TEXES Observations of the HII Regions H1 and H2 in the Galactic Centre

abstract: We present new [Ne II] (12.8 micron) IRTF/TEXES observations of the Galactic Center HII regions H1 and H2, which are at a projected distance of ~11 pc from the center of the Galaxy. The new observations allow to map the radial velocity distributions of ionized gas. The high spectroscopic resolution (~4 km/s) helps us to disentangle different velocity components and enables us to resolve previous ambiguity regarding the nature of these sources. The spatial distributions of the intensity and radial velocity of the [Ne II] line are mapped. In H1, the intensity distributions of the Paschen-\alpha (1.87 micron) and [Ne II] lines are significantly different, which suggests a strong variation of extinction across the HII region of A_K~0.56. The radial velocity distributions across these HII regions are consistent with the predictions of a bow-shock model for H1 and the pressure-driven model for H2. Furthermore, we find a concentration of bright stars in H2. These stars have similar H-K_s colors and can be explained as part of a 2 Myr old stellar cluster. H2 also falls on the orbit of the molecular clouds, suggested to be around Sgr A*. Our new results confirm what we had previously suggested: the O supergiant P114 in H1 is a runaway star, moving towards us through the -30-0 {km/s} molecular cloud, whereas the O If star P35 in H2 formed in-situ, and may mark the position of a so-far unknown small star cluster formed within the central 30 pc of the Galaxy.


title: Maximum Correntropy Adaptive Filtering Approach for Robust Compressive Sensing Reconstruction

abstract: Robust compressive sensing(CS) reconstruction has become an attractive research topic in recent years. Robust CS aims to reconstruct the sparse signals under non-Gaussian(i.e. heavy tailed) noises where traditional CS reconstruction algorithms may perform very poorly due to utilizing $l_2$ norm of the residual vector in optimization. Most of existing robust CS reconstruction algorithms are based on greedy pursuit method or convex relaxation approach. Recently, the adaptive filtering framework has been introduced to deal with the CS reconstruction, which shows desirable performance in both efficiency and reconstruction performance under Gaussian noise. In this paper, we propose an adaptive filtering based robust CS reconstruction algorithm, called $l_0$ regularized maximum correntropy criterion($l_0$-MCC) algorithm, which combines the adaptive filtering framework and maximum correntropy criterion(MCC). MCC has recently been successfully used in adaptive filtering due to its robustness to impulsive non-Gaussian noises and low computational complexity. We analyze theoretically the stability of the proposed $l_0$-MCC algorithm. A mini-batch based $l_0$-MCC(MB-$l_0$-MCC) algorithm is further developed to speed up the convergence. Comparison with existing robust CS reconstruction algorithms is conducted via simulations, showing that the proposed $l_0$-MCC and MB-$l_0$-MCC can achieve significantly better performance than other algorithms.


title: Generate Identity-Preserving Faces by Generative Adversarial Networks

abstract: Generating identity-preserving faces aims to generate various face images keeping the same identity given a target face image. Although considerable generative models have been developed in recent years, it is still challenging to simultaneously acquire high quality of facial images and preserve the identity. Here we propose a compelling method using generative adversarial networks (GAN). Concretely, we leverage the generator of trained GAN to generate plausible faces and FaceNet as an identity-similarity discriminator to ensure the identity. Experimental results show that our method is qualified to generate both plausible and identity-preserving faces with high quality. In addition, our method provides a universal framework which can be realized in various ways by combining different face generators and identity-similarity discriminator.


title: Impact of a star formation efficiency profile on the evolution of open clusters

abstract: We study the effect of the instantaneous gas expulsion on star clusters wherein the residual gas has a density profile shallower than that of the embedded cluster. This is expected if star formation proceeds with a given SFE per free-fall time in a centrally-concentrated molecular clump. We perform direct N-body simulations whose initial conditions are generated by the program "mkhalo" "falcON" adapted for our models. Our model clusters initially have a Plummer profile and are in virial equilibrium with the gravitational potential of the cluster-forming clump. The residual gas contribution is computed based on the model of Parmentier&Pfalzner(2013). Our simulations include mass loss by stellar evolution and the tidal field of the Galaxy. We find that a star cluster with a minimum global SFE of 15% is able to survive instantaneous gas expulsion and to produce a bound cluster. Its violent relaxation lasts no longer than 20 Myr, independently of its global SFE and initial stellar mass. At the end of violent relaxation the bound fractions of surviving clusters with the same global SFEs are similar regardless of their initial stellar mass. Their subsequent lifetime in the gravitational field of the Galaxy depends on their bound stellar masses. We therefore conclude that the critical SFE needed to produce a bound cluster is 15%, which is twice smaller than earlier estimates of 33%. Thus we have improved the survival likelihood of young clusters after instantaneous gas expulsion. Those can now survive instantaneous gas expulsion with global SFEs as low as those observed for embedded clusters of Solar Neighbourhood (15-30%). This is the consequence of the star cluster having a density profile steeper than that of the residual gas. However, in terms of the effective SFE, measured by the virial ratio of the cluster at gas expulsion, our results are in agreement with previous studies.


title: Smart patterned surfaces with programmable thermal emissivity and their design through combinatorial strategies

abstract: The emissivity of common materials remains constant with temperature variations, and cannot drastically change. However, it is possible to design its entire behaviour as a function of temperature, and to significantly modify the thermal emissivity of a surface through the combination of different materials and patterns. Here, we show that smart patterned surfaces consisting of smaller structures (motifs) may be designed to respond uniquely through combinatorial design strategies by transforming themselves from 2D to 3D complex structures with a two-way shape memory effect. The smart surfaces can passively manipulate thermal radiation without-the use of controllers and power supplies-because their modus operandi has already been programmed and integrated into their intrinsic characteristics; the environment provides the energy required for their activation. Each motif emits thermal radiation in a certain manner, as it changes its geometry; however, the spatial distribution of these motifs causes them to interact with each other. Therefore, their combination and interaction determine the global behaviour of the surfaces, thus enabling their a priori design. The emissivity behaviour is not random; it is determined by two fundamental parameters, namely the combination of orientations in which the motifs open (n-fold rotational symmetry (rn)) and the combination of materials (colours) on the motifs; these generate functions which fully determine the dependency of the emissivity on the temperature.


title: Calibrations of SITELLE's first data release

abstract: SITELLE is an imaging Fourier Transform Spectrometer installed at the Canada-France-Hawaii Telescope since July 2015. It delivers spectral cubes covering an 11'x11' field-of-view with a seeing-limited spatial resolution and a tunable spectral resolution (R=1-10 000) in selected passbands of the visible band (350-900 nm). We present an accurate picture of the calibration accuracy of SITELLE's first data release. To this purpose, most of the operations of the reduction pipeline (ORBS) are described in details.


title: Field reconstruction of holograms for interactive free space true three dimensional display

abstract: Holographic display can show pictures in the way that looks like the same with the real world, and is thought as the ultimate display technology. But due to the complexity of the traditional holographic technique, it can hardly be applied to commercial display systems. In this paper, the field reconstruction of holograms (or real-time reconstruction of holograms) method, which is more practical and better than traditional holographic technique in image quality, is first proposed for realizing the display of true 3D image at free space. By combining the advantages of geometrical optics and the wave optics, a true 3D display is successfully designed. And by designing an interactive image generation chip, the designed 3D display allows user to interact with the 3D image in the style that's natural to them.


title: Darwinian Data Structure Selection

abstract: Data structure selection and tuning is laborious but can vastly improve an application's performance and memory footprint. Some data structures share a common interface and enjoy multiple implementations. We call them Darwinian Data Structures (DDS), since we can subject their implementations to survival of the fittest. We introduce ARTEMIS a multi-objective, cloud-based search-based optimisation framework that automatically finds optimal, tuned DDS modulo a test suite, then changes an application to use that DDS. ARTEMIS achieves substantial performance improvements for \emph{every} project in $5$ Java projects from DaCapo benchmark, $8$ popular projects and $30$ uniformly sampled projects from GitHub. For execution time, CPU usage, and memory consumption, ARTEMIS finds at least one solution that improves \emph{all} measures for $86\%$ ($37/43$) of the projects. The median improvement across the best solutions is $4.8\%$, $10.1\%$, $5.1\%$ for runtime, memory and CPU usage. These aggregate results understate ARTEMIS's potential impact. Some of the benchmarks it improves are libraries or utility functions. Two examples are gson, a ubiquitous Java serialization framework, and xalan, Apache's XML transformation tool. ARTEMIS improves gson by $16.5$\%, $1\%$ and $2.2\%$ for memory, runtime, and CPU; ARTEMIS improves xalan's memory consumption by $23.5$\%. \emph{Every} client of these projects will benefit from these performance improvements.


title: On some interesting ternary formulas

abstract: We obtain the following results about the avoidance of ternary formulas. Up to renaming of the letters, the only infinite ternary words avoiding the formula $ABCAB.ABCBA.ACB.BAC$ (resp. $ABCA.BCAB.BCB.CBA$) have the same set of recurrent factors as the fixed point of $\texttt{0}\mapsto\texttt{012}$, $\texttt{1}\mapsto\texttt{02}$, $\texttt{2}\mapsto\texttt{1}$. The formula $ABAC.BACA.ABCA$ is avoided by polynomially many binary words and there exist arbitrarily many infinite binary words with different sets of recurrent factors that avoid it. If every variable of a ternary formula appears at least twice in the same fragment, then the formula is $3$-avoidable. The pattern $ABACADABCA$ is unavoidable for the class of $C_4$-minor-free graphs with maximum degree~$3$. This disproves a conjecture of Grytczuk. The formula $ABCA.ACBA$, or equivalently the palindromic pattern $ABCADACBA$, has avoidability index $4$.


title: Security proof of the two-way quantum secure direct communication with channel loss and noise

abstract: Quantum secure direct communication is one of the important mode of quantum communication, which sends secret information through a quantum channel directly without setting up a prior key. Over the past decade, numerous protocols have been proposed, and part of them have been experimentally demonstrated. However, the strict security proof is still in suspense. Two-way protocol is seen as one of the most practical protocol, in this paper, the security of the two-way quantum secure direct communication protocol will be proved against general attacks when the noisy and lossy channel is taken into account. There are two steps included in the proof, firstly, we need to prove that the mutual information between Alice and Bob is larger than the mutual information shared between Alice and the eavesdropper when the error rate in control mode is less than the predetermined threshold. Secondly, once the error rate is lower than the threshold, one can always find out a forward error correction code to guarantee the security of information transmission.


title: ACCNet: Actor-Coordinator-Critic Net for "Learning-to-Communicate" with Deep Multi-agent Reinforcement Learning

abstract: Communication is a critical factor for the big multi-agent world to stay organized and productive. Typically, most previous multi-agent "learning-to-communicate" studies try to predefine the communication protocols or use technologies such as tabular reinforcement learning and evolutionary algorithm, which can not generalize to changing environment or large collection of agents. In this paper, we propose an Actor-Coordinator-Critic Net (ACCNet) framework for solving "learning-to-communicate" problem. The ACCNet naturally combines the powerful actor-critic reinforcement learning technology with deep learning technology. It can efficiently learn the communication protocols even from scratch under partially observable environment. We demonstrate that the ACCNet can achieve better results than several baselines under both continuous and discrete action space environments. We also analyse the learned protocols and discuss some design considerations.


title: The Spectrum of the Axion Dark Sector

abstract: Axions arise in many theoretical extensions of the Standard Model of particle physics, in particular the "string axiverse". If the axion masses, $m_a$, and (effective) decay constants, $f_a$, lie in specific ranges, then axions contribute to the cosmological dark matter and dark energy densities. We compute the background cosmological (quasi-)observables for models with a large number of axion fields, $n_{\rm ax}\sim \mathcal{O}(10-100)$, with the masses and decay constants drawn from statistical distributions. This reduces the number of parameters from $2n_{\rm ax}$ to a small number of "hyperparameters". We consider a number of distributions, from those motivated purely by statistical considerations, to those where the structure is specified according to a class of M-theory models. Using Bayesian methods we are able to constrain the hyperparameters of the distributions. In some cases the hyperparameters can be related to string theory, e.g. constraining the number ratio of axions to moduli, or the typical decay constant scale needed to provide the correct relic densities. Our methodology incorporates the use of both random matrix theory and Bayesian networks.


title: Velocity-selective two-photon absorption induced by a diode laser in combination with a train of ultrashort pulses

abstract: The two-photon transition $5S-5P-5D$ in rubidium vapor is investigated by detecting the fluorescence from the $6P_{3/2}$ state when the atomic system is excited by the combined action of a cw diode laser and a train of ultrashort pulses. The cw-laser plays a role as a velocity-selective filter and allows for a spectroscopy over a large spectral range including the $5D_{3/2}$ and $5D_{5/2}$ states. For a counterpropagating beam configuration, the response of each atomic velocity group is well characterized within the Doppler profile, and the excited hyperfine levels are clearly resolved. The contribution of the optical pumping to the direct two-photon process is also revealed. The results are well described in a frequency domain picture by considering the interaction of each velocity group with the cw laser and the modes of the frequency comb.


title: Thom form in equivariant Cech-de Rham theory

abstract: In the present paper, we provide the foundation of a $G$-equivariant Cech-de Rham theory for a compact Lie group $G$ by using the Cartan model of equivariant differential forms. Our approach is quite elementary without referring to the Mathai-Quillen framework. In particular, by a direct computation, we give an explicit formula of the $U(l)$-equivariant Thom form of C^l, which deforms the classical Bochnor-Martinelli kernel. Also we discuss a version of equivariant Riemann-Roch formula.


title: Tricritical behavior of two-dimensional intrinsic ferromagnetic semiconducting CrGeTe3

abstract: CrGeTe3 recently emerges as a new two-dimensional (2D) ferromagnetic semiconductor that is promising for spintronic device applications. Unlike CrSiTe3 whose magnetism can be understood using the 2D-Ising model, CrGeTe3 exhibits a smaller van der Waals gap and larger cleavage energy, which could lead to a transition of magnetic mechanism from 2D to 3D. To confirm this speculation, we investigate the critical behavior CrGeTe3 around the second-order paramagnetic-ferromagnetic phase transition. We obtain the critical exponents estimated by several common experimental techniques including the modified Arrott plot, Kouvel-Fisher method and critical isotherm analysis, which show that the magnetism of CrGeTe3 follows the tricritical mean-field model with the critical exponents \b{eta}, {\gamma}, and {\delta} of 0.240, 1.000, and 5.070, respectively, at the Curie temperature of 67.9 K. We therefore suggest that the magnetic phase transition from 2D to 3D for CrGeTe3 should locate near a tricritical point. Our experiment provides a direct demonstration of the applicability of the tricritical mean-field model to a 2D ferromagnetic semiconductor.


title: Example of C-rigid polytopes which are not B-rigid

abstract: A simple polytope $P$ is said to be \emph{B-rigid} if its combinatorial structure is characterized by its Tor-algebra, and is said to be \emph{C-rigid} if its combinatorial structure is characterized by the cohomology ring of a quasitoric manifold over $P$. It is known that a B-rigid simple polytope is C-rigid. In this paper, we, further, show that the B-rigidity is not equivalent to the C-rigidity.


title: Chance-Constrained AC Optimal Power Flow: Reformulations and Efficient Algorithms

abstract: Higher levels of renewable electricity generation increase uncertainty in power system operation. To ensure secure system operation, new tools that account for this uncertainty are required. In this paper, we formulate a chance-constrained AC optimal power flow problem, which guarantees that generation, power flows and voltages remain within their bounds with a pre-defined probability. We then propose an accurate, yet tractable analytical reformulation of the chance constraints. The reformulation maintains the full, non-linear AC power flow equations for the forecasted operating point, and models the impact of uncertainty through a linearization around this point. We discuss different solution algorithms, including one-shot optimization with and without recourse, and an iterative algorithm which enables scalable implementations. We further discuss how more general chance constraint reformulations can be incorporated within the iterative solution algorithm. In a case study based on four different IEEE systems, we compare the performance of the solution algorithms, and demonstrate scalability of the iterative scheme. We further show that the analytical reformulation accurately and efficiently enforces chance constraints in both in- and out-of-sample tests, and that the analytical approach outperforms two alternative, sample based chance constraint reformulations.


title: On Freud-Sobolev type orthogonal polynomials

abstract: In this contribution we deal with sequences of monic polynomials orthogonal with respect to the Freud Sobolev-type inner product \begin{equation*} \left\langle p,q\right\rangle _{s}=\int_{\mathbb{R}}p(x)q(x)e^{-x^{4}}dx+M_{0}p(0)q(0)+M_{1}p^{\prime }(0)q^{\prime }(0), \end{equation*}% where $p,q$ are polynomials, $M_{0}$ and $M_{1}$ are nonnegative real numbers. Connection formulas between these polynomials and Freud polynomials are deduced and, as a consequence, a five term recurrence relation for such polynomials is obtained. The location of their zeros as well as their asymptotic behavior is studied. Finally, an electrostatic interpretation of them in terms of a logarithmic interaction in the presence of an external field is given.


title: Near-Infrared Variability Study of the Central 2.3 arcmin x 2.3 arcmin of the Galactic Centre I. Catalog of Variable Sources

abstract: We used four-year baseline HST/WFC3 IR observations of the Galactic Centre in the F153M band (1.53 micron) to identify variable stars in the central ~2.3'x2.3' field. We classified 3845 long-term (periods from months to years) and 76 short-term (periods of a few days or less) variables among a total sample of 33070 stars. For 36 of the latter ones, we also derived their periods (<3 days). Our catalog not only confirms bright long period variables and massive eclipsing binaries identified in previous works, but also contains many newly recognized dim variable stars. For example, we found \delta Scuti and RR Lyrae stars towards the Galactic Centre for the first time, as well as one BL Her star (period < 1.3 d). We cross-correlated our catalog with previous spectroscopic studies and found that 319 variables have well-defined stellar types, such as Wolf-Rayet, OB main sequence, supergiants and asymptotic giant branch stars. We used colours and magnitudes to infer the probable variable types for those stars without accurately measured periods or spectroscopic information. We conclude that the majority of unclassified variables could potentially be eclipsing/ellipsoidal binaries and Type II Cepheids. Our source catalog will be valuable for future studies aimed at constraining the distance, star formation history and massive binary fraction of the Milky Way nuclear star cluster.


title: Models for the Displacement Calculus

abstract: The displacement calculus $\mathbf{D}$ is a conservative extension of the Lambek calculus $\mathbf{L1}$ (with empty antecedents allowed in sequents). $\mathbf{L1}$ can be said to be the logic of concatenation, while $\mathbf{D}$ can be said to be the logic of concatenation and intercalation. In many senses, it can be claimed that $\mathbf{D}$ mimics $\mathbf{L1}$ in that the proof theory, generative capacity and complexity of the former calculus are natural extensions of the latter calculus. In this paper, we strengthen this claim. We present the appropriate classes of models for $\mathbf{D}$ and prove some completeness results; strikingly, we see that these results and proofs are natural extensions of the corresponding ones for $\mathbf{L1}$.


title: Response of Timepix detector with GaAs:Cr and Si sensor to heavy ions

abstract: The response of the Timepix detector to neon ions with kinetic energy 77 and 158.4 MeV has been studied at the cyclotron U-400M of the JINR Flerov Laboratory of Nuclear Reaction. Sensors produced from gallium arsenide compensated by chromium and from silicon are used for these measurements. While in Timepix detector with Si sensor the well-known so-called "volcano effect" observed, in Timepix detector with GaAs:Cr sensor such effect was completely absent. In the work the behavior of the Timepix detector with GaAs:Cr sensor under irradiation with heavy ions is described in comparison with the detector based on Si sensor. Also the possible reason for absence of "volcano" effect in GaAs:Cr detector is proposed.


title: Aftershocks following crash of currency exchange rate: The case of RUB/USD in 2014

abstract: The dynamical behavior of the currency exchange rate after its large-scale catastrophe is discussed through a case study of the rate of Russian rubles to US dollars after its crash in 2014. It is shown that, similarly to the case of the stock market crash, the relaxation is characterized by a power law, which is in analogy with the Omori-Utsu law for earthquake aftershocks. The waiting-time distribution is found to also obey a power law. Furthermore, the event-event correlation is discussed, and the aging phenomenon and scaling property are observed. Comments are made on (non-)Markovianity of the aftershock process and on a possible relevance of glassy dynamics to the market system after the crash.


title: Structured singular value analysis for spintronics network information transfer control

abstract: Control laws for selective transfer of information encoded in excitations of a quantum network, based on shaping the energy landscape using time-invariant, spatially-varying bias fields, can be successfully designed using numerical optimization. Such control laws, already departing from classicality by replacing closed-loop asymptotic stability with alternative notions of localization, have the intriguing property that for all practical purposes they achieve the upper bound on the fidelity, yet the (logarithmic) sensitivity of the fidelity to such structured perturbation as spin coupling errors and bias field leakages is nearly vanishing. Here, these differential sensitivity results are extended to large structured variations using $\mu$-design tools to reveal a crossover region in the space of controllers where objectives usually thought to be conflicting are actually concordant.


title: Linear time-periodic dynamical systems: An H2 analysis and a model reduction framework

abstract: Linear time-periodic (LTP) dynamical systems frequently appear in the modeling of phenomena related to fluid dynamics, electronic circuits, and structural mechanics via linearization centered around known periodic orbits of nonlinear models. Such LTP systems can reach orders that make repeated simulation or other necessary analysis prohibitive, motivating the need for model reduction. We develop here an algorithmic framework for constructing reduced models that retains the linear time-periodic structure of the original LTP system. Our approach generalizes optimal approaches that have been established previously for linear time-invariant (LTI) model reduction problems. We employ an extension of the usual H2 Hardy space defined for the LTI setting to time-periodic systems and within this broader framework develop an a posteriori error bound expressible in terms of related LTI systems. Optimization of this bound motivates our algorithm. We illustrate the success of our method on two numerical examples.


title: Characterizing and Predicting Supply-side Engagement on Crowd-contributed Video Sharing Platforms

abstract: Video sharing and entertainment websites have rapidly grown in popularity and now constitute some of the most visited websites on the Internet. Despite the active user engagement on these online video-sharing platforms, most of recent research on online media platforms have restricted themselves to networking based social media sites, like Facebook or Twitter. We depart from previous studies in the online media space that have focused exclusively on demand-side user engagement, by modeling the supply-side of the crowd-contributed videos on this platform. The current study is among the first to perform a large-scale empirical study using longitudinal video upload data from a large online video platform. The modeling and subsequent prediction of video uploads is made complicated by the heterogeneity of video types (e.g. popular vs. niche video genres), and the inherent time trend effects associated with media uploads. We identify distinct genre-clusters from our dataset and employ a self-exciting Hawkes point-process model on each of these clusters to fully specify and estimate the video upload process. Additionally, we go beyond prediction to disentangle potential factors that govern user engagement and determine the video upload rates, which improves our analysis with additional explanatory power. Our findings show that using a relatively parsimonious point-process model, we are able to achieve higher model fit, and predict video uploads to the platform with a higher accuracy than competing models. The findings from this study can benefit platform owners in better understanding how their supply-side users engage with their site over time. We also offer a robust method for performing media upload prediction that is likely to be generalizable across media platforms which demonstrate similar temporal and genre-level heterogeneity.


title: Energy structure, density of states and transmission properties of the periodic 1D Tight-Binding lattice with a generic unit cell of $u$ sites

abstract: We report on the electronic structure, density of states and transmission properties of the periodic one-dimensional Tight-Binding (TB) lattice with a single orbital per site and nearest-neighbor interactions, with a generic unit cell of $u$ sites. The determination of the eigenvalues is equivalent to the diagonalization of a real tridiagonal symmetric $u$-Toeplitz matrix with (cyclic boundaries) or without (fixed boundaries) perturbed upper right and lower left corners. We solve the TB equations via the Transfer Matrix Method, producing, analytical solutions and recursive relations for its eigenvalues, closely related to the Chebyshev polynomials. We examine the density of states and provide relevant analytical relations. We attach semi-infinite leads, determine and discuss the transmission coefficient at zero bias and investigate the peaks number and position, and the effect of the coupling strength and asymmetry as well as of the lead properties on the transmission profiles. We introduce a generic optimal coupling condition and demonstrate its physical meaning.


title: Proposal for a High Precision Tensor Processing Unit

abstract: This whitepaper proposes the design and adoption of a new generation of Tensor Processing Unit which has the performance of Google's TPU, yet performs operations on wide precision data. The new generation TPU is made possible by implementing arithmetic circuits which compute using a new general purpose, fractional arithmetic based on the residue number system.


title: Effects of transmutation elements in tungsten

abstract: Tungsten (W) is widely considered as the most promising plasma facing material (PFM), which will be used in nuclear fusion devices. Due to the transmutation reaction caused by the fusion neutron irradiation, transmutation elements (such as Re, Os, and Ta) are generated in the W-based PFM during the operation of nuclear fusion devices. In this paper, transmutation elements effects on mechanical properties of the W and the behavior of hydrogen/helium (H/He) atom in the W were investigated by using the first-principles calculation method. The results show that the ductility of the W is enhanced by transmutation elements if dislocation and other defects were ignored, while mechanical properties of the W incompletely depend on transmutation elements content. Compared with the pure W, the formation energy of the H/He in the W is reduced by transmutation elements, but the most favorable sites of the H/He in the W is not changed. Except for a repulsion between Ta and He in the W, the H/He in the W is attracted by transmutation elements. In addition, transmutation elements can change the best diffusion path of the H/He in the W and increase the diffusion rate of the H/He in W. This study provides a theoretical basis for the Tungsten (W) application, and further study on the effects of transmutation elements in the W will be needed.


title: Peculiar AGNs from the INTEGRAL and RXTE data

abstract: We analysed how the active galactic nucleus (AGN) X-ray primary continuum depends on AGN activity in radio, using the data of RXTE Spectral & Timing Database (Rossi X-ray Timing Explorer) and INTEGRAL (INTErnational Gamma-Ray Astrophysics Laboratory). Our aim is to test the relation between spectral shapes of these AGNs and the prediction of the "spin-paradigm" model of the AGN "central engine". We have found that for the major part of radio-quiet (RQ) AGNs the value of high-energy exponential cut-off in primary spectrum appears to be significantly higher than 100 keV and thus follows the "spin-paradigm" predictions. In the same time, near 25% of radio-loud (RL) AGNs demonstrate the high-energy cut-off at the energies above 150 keV, contradicting the "spin paradigm". We have composed a sample of "peculiar" 69 RQ and 10 RL AGNs that seem to contradict to the "spin paradigm" for further individual studies of these objects.


title: On Hash-Based Work Distribution Methods for Parallel Best-First Search

abstract: Parallel best-first search algorithms such as Hash Distributed A* (HDA*) distribute work among the processes using a global hash function. We analyze the search and communication overheads of state-of-the-art hash-based parallel best-first search algorithms, and show that although Zobrist hashing, the standard hash function used by HDA*, achieves good load balance for many domains, it incurs significant communication overhead since almost all generated nodes are transferred to a different processor than their parents. We propose Abstract Zobrist hashing, a new work distribution method for parallel search which, instead of computing a hash value based on the raw features of a state, uses a feature projection function to generate a set of abstract features which results in a higher locality, resulting in reduced communications overhead. We show that Abstract Zobrist hashing outperforms previous methods on search domains using hand-coded, domain specific feature projection functions. We then propose GRAZHDA*, a graph-partitioning based approach to automatically generating feature projection functions. GRAZHDA* seeks to approximate the partitioning of the actual search space graph by partitioning the domain transition graph, an abstraction of the state space graph. We show that GRAZHDA* outperforms previous methods on domain-independent planning.


title: First-principles study on various point defects formed by hydrogen and helium atoms in tungsten

abstract: The different point defects formed by two hydrogen atoms or two helium atoms in tungsten were investigated through first-principles calculation. The energetically favorable site for a hydrogen atom is tetrahedral interstitial site while substitutional site is the most preferred site for a helium atom. The formation energies of two hydrogen or helium atoms are determined by their positions, and there are not a multiple of a single atom's. After relaxation, two adjacent hydrogen atoms are away from each other while helium atoms are close to. The reasons for the interaction between two hydrogen or helium atoms are also discussed.


title: Progressive Neural Networks for Transfer Learning in Emotion Recognition

abstract: Many paralinguistic tasks are closely related and thus representations learned in one domain can be leveraged for another. In this paper, we investigate how knowledge can be transferred between three paralinguistic tasks: speaker, emotion, and gender recognition. Further, we extend this problem to cross-dataset tasks, asking how knowledge captured in one emotion dataset can be transferred to another. We focus on progressive neural networks and compare these networks to the conventional deep learning method of pre-training and fine-tuning. Progressive neural networks provide a way to transfer knowledge and avoid the forgetting effect present when pre-training neural networks on different tasks. Our experiments demonstrate that: (1) emotion recognition can benefit from using representations originally learned for different paralinguistic tasks and (2) transfer learning can effectively leverage additional datasets to improve the performance of emotion recognition systems.


title: Helicity Conservation, and Twisted Seifert Surfaces for Superfluid Vortices

abstract: Starting from the continuum definition of helicity, we derive from first principles its different contributions for superfluid vortices. Our analysis shows that an internal twist contribution emerges naturally from the mathematical derivation. This reveals that the spanwise vector that is used to characterise the twist contribution must point in the direction of a surface of constant velocity potential. An immediate consequence of the Seifert framing is that the continuum definition of helicity for a superfluid is trivially zero at all times. It follows that the Gauss-linking number is a more appropriate definition of helicity for superfluids. Despite this, we explain how a quasiclassical limit can arise in a superfluid in which the continuum definition for helicity can be used. This provides a clear connection between a microscopic and a macroscopic description of a superfluid as provided by the Hall-Vinen-Bekarevich-Khalatnikov equations. This leads to consistency with the definition of helicity used for classical vortices.

categories: math-ph cond-mat.quant-gas math.MP physics.flu-dyn


title: Implications of texture zeros for a variant of tribimaximal Mixing

abstract: We study the phenomenological implications of the presence of two texture zeros in the neutrino mass matrix assuming that the neutrino mixing matrix has its first column identical to that of the tribimaximal mixing matrix. Only two patterns of this kind are compatible with the experimental data. These textures have definite predictions for the neutrino observables that are testable in future neutrino experiments.


title: Hydrogen Line Observations of Cometary Spectra at 1420 Mhz

abstract: In 2016, the Center for Planetary Science proposed a hypothesis arguing a comet and/or its hydrogen cloud were a strong candidate for the source of the Wow! Signal. From 27 November 2016 to 24 February 2017, the Center for Planetary Science conducted 200 observations in the radio spectrum to validate the hypothesis. The investigation discovered that comet 266/P Christensen emitted a radio signal at 1420.25 MHz. The results of this investigation, therefore, conclude that cometary spectra are detectable at 1420 MHz and, more importantly, that the 1977 Wow! Signal was a natural phenomenon from a Solar System body.


title: Cooperation and Environment Characterize the Low-Lying Optical Spectrum of Liquid Water

abstract: The optical spectrum of liquid water is analyzed by subsystem time-dependent density functional theory. We provide simple explanations for several important (and so far elusive) features. Due to the disordered environment surrounding each water molecule, the joint density of states of the liquid is much broader than that of the vapor. This results in a red shifted Urbach tail. Confinement effects provided by the first solvation shell are responsible for the blue shift of the first absorption peak compared to the vapor. In addition, we also characterize many-body excitonic effects. These dramatically affect the spectral weights at low frequencies, contributing to the refractive index by a small but significant amount.


title: A Bayesian Hyperprior Approach for Joint Image Denoising and Interpolation, with an Application to HDR Imaging

abstract: Recently, impressive denoising results have been achieved by Bayesian approaches which assume Gaussian models for the image patches. This improvement in performance can be attributed to the use of per-patch models. Unfortunately such an approach is particularly unstable for most inverse problems beyond denoising. In this work, we propose the use of a hyperprior to model image patches, in order to stabilize the estimation procedure. There are two main advantages to the proposed restoration scheme: Firstly it is adapted to diagonal degradation matrices, and in particular to missing data problems (e.g. inpainting of missing pixels or zooming). Secondly it can deal with signal dependent noise models, particularly suited to digital cameras. As such, the scheme is especially adapted to computational photography. In order to illustrate this point, we provide an application to high dynamic range imaging from a single image taken with a modified sensor, which shows the effectiveness of the proposed scheme.


title: Quasinormal modes of Einstein-Gauss-Bonnet-dilaton black holes

abstract: We study quasinormal modes of static Einstein-Gauss-Bonnet-dilaton black holes. Both axial and polar perturbations are considered and studied from $l=0$ to $l=3$. We emphasize the difference in the spectrum between the Schwarzschild solutions and dilatonic black holes. At large Gauss-Bonnet coupling constant a small secondary branch of black holes is present, when the dilaton coupling is sufficiently strong. The modes of the primary branch can differ from the Schwarzschild modes up to $10\%$. The secondary branch is unstable and possesses long-lived modes. We address the possible effects of these modes on future observations of gravitational waves emitted during the ringdown phase of astrophysical black holes.


title: A Grid-Based Approximation Algorithm for the Minimum Weight Triangulation Problem

abstract: Given a set of $n$ points on a plane, in the Minimum Weight Triangulation problem, we wish to find a triangulation that minimizes the sum of Euclidean length of its edges. This incredibly challenging problem has been studied for more than four decades and has been only recently shown to be NP-Hard. In this paper we present a novel polynomial-time algorithm that computes a $14$-approximation of the minimum weight triangulation -- a constant that is significantly smaller than what has been previously known. In our algorithm, we use grids to partition the edges into levels where shorter edges appear at smaller levels and edges with similar lengths appear at the same level. We then triangulate the point set incrementally by introducing edges in increasing order of their levels. We introduce the edges of any level $i+1$ in two steps. In the first step, we add edges using a variant of the well-known ring heuristic to generate a partial triangulation $\hat{\mathcal{A}}_i$. In the second step, we greedily add non-intersecting level $i+1$ edges to $\hat{\mathcal{A}}_i$ in increasing order of their length and obtain a partial triangulation $\mathcal{A}_{ i+1}$. The ring heuristic is known to yield only an $O(\log n)$-approximation even for a convex polygon and the greedy heuristic achieves only a $\Theta(\sqrt{n})$-approximation. Therefore, it is surprising that their combination leads to an improved approximation ratio of $14$. For the proof, we identify several useful properties of $\hat{\mathcal{A}}_i$ and combine it with a new Euler characteristic based technique to show that $\hat{\mathcal{A}}_i$ has more edges than $\mathcal{T}_i$; here $\mathcal{T}_i$ is the partial triangulation consisting of level $\le i$ edges of some minimum weight triangulation. We then use a simple greedy stays ahead proof strategy to bound the approximation ratio.


title: Construction of analysis-suitable $G^1$ planar multi-patch parameterizations

abstract: Isogeometric analysis allows to define shape functions of global $C^{1}$ continuity (or of higher continuity) over multi-patch geometries. The construction of such $C^{1}$-smooth isogeometric functions is a non-trivial task and requires particular multi-patch parameterizations, so-called analysis-suitable $G^{1}$ (in short, AS-$G^{1}$) parameterizations, to ensure that the resulting $C^{1}$ isogeometric spaces possess optimal approximation properties, cf. [7]. In this work, we show through examples that it is possible to construct AS-$G^{1}$ multi-patch parameterizations of planar domains, given their boundary. More precisely, given a generic multi-patch geometry, we generate an AS-$G^{1}$ multi-patch parameterization possessing the same boundary, the same vertices and the same first derivatives at the vertices, and which is as close as possible to this initial geometry. Our algorithm is based on a quadratic optimization problem with linear side constraints. Numerical tests also confirm that $C^{1}$ isogeometric spaces over AS-$G^{1}$ multi-patch parameterized domains converge optimally under mesh refinement, while for generic parameterizations the convergence order is severely reduced.


title: Stepwise regression for unsupervised learning

abstract: I consider unsupervised extensions of the fast stepwise linear regression algorithm \cite{efroymson1960multiple}. These extensions allow one to efficiently identify highly-representative feature variable subsets within a given set of jointly distributed variables. This in turn allows for the efficient dimensional reduction of large data sets via the removal of redundant features. Fast search is effected here through the avoidance of repeat computations across trial fits, allowing for a full representative-importance ranking of a set of feature variables to be carried out in $O(n^2 m)$ time, where $n$ is the number of variables and $m$ is the number of data samples available. This runtime complexity matches that needed to carry out a single regression and is $O(n^2)$ faster than that of naive implementations. I present pseudocode suitable for efficient forward, reverse, and forward-reverse unsupervised feature selection. To illustrate the algorithm's application, I apply it to the problem of identifying representative stocks within a given financial market index -- a challenge relevant to the design of Exchange Traded Funds (ETFs). I also characterize the growth of numerical error with iteration step in these algorithms, and finally demonstrate and rationalize the observation that the forward and reverse algorithms return exactly inverted feature orderings in the weakly-correlated feature set regime.


title: An Empirical Study of Some Selected IR Models for Bengali Monolingual Information Retrieval

abstract: This paper presents an evaluation and an analysis of some selected information retrieval models for Bengali monolingual information retrieval task. Two models, TF-IDF model and the Okapi BM25 model have been considered for our study. The developed IR models are tested on FIRE ad hoc retrieval data sets released for different years from 2008 to 2012 and the obtained results have been reported in this paper.


title: An Alternative to EM for Gaussian Mixture Models: Batch and Stochastic Riemannian Optimization

abstract: We consider maximum likelihood estimation for Gaussian Mixture Models (Gmms). This task is almost invariably solved (in theory and practice) via the Expectation Maximization (EM) algorithm. EM owes its success to various factors, of which is its ability to fulfill positive definiteness constraints in closed form is of key importance. We propose an alternative to EM by appealing to the rich Riemannian geometry of positive definite matrices, using which we cast Gmm parameter estimation as a Riemannian optimization problem. Surprisingly, such an out-of-the-box Riemannian formulation completely fails and proves much inferior to EM. This motivates us to take a closer look at the problem geometry, and derive a better formulation that is much more amenable to Riemannian optimization. We then develop (Riemannian) batch and stochastic gradient algorithms that outperform EM, often substantially. We provide a non-asymptotic convergence analysis for our stochastic method, which is also the first (to our knowledge) such global analysis for Riemannian stochastic gradient. Numerous empirical results are included to demonstrate the effectiveness of our methods.


title: Maximum Area Rectangle Separating Red and Blue Points

abstract: Given a set R of n red points and a set B of m blue points, we study the problem of finding a rectangle that contains all the red points, the minimum number of blue points and has the largest area. We call such rectangle a maximum separating rectangle. We address the planar, axis-aligned (2D) version, and present an O(mlogm+n) time, O(m+n) space algorithm. The running time reduces to O(m + n) if the points are pre-sorted by one of the coordinates. We further prove that our algorithm is optimal in the decision model of computation.


title: An Online Learning Approach to Generative Adversarial Networks

abstract: We consider the problem of training generative models with a Generative Adversarial Network (GAN). Although GANs can accurately model complex distributions, they are known to be difficult to train due to instabilities caused by a difficult minimax optimization problem. In this paper, we view the problem of training GANs as finding a mixed strategy in a zero-sum game. Building on ideas from online learning we propose a novel training method named Chekhov GAN 1 . On the theory side, we show that our method provably converges to an equilibrium for semi-shallow GAN architectures, i.e. architectures where the discriminator is a one layer network and the generator is arbitrary. On the practical side, we develop an efficient heuristic guided by our theoretical results, which we apply to commonly used deep GAN architectures. On several real world tasks our approach exhibits improved stability and performance compared to standard GAN training.


title: Interstellar Extinction

abstract: This review describes our current understanding of interstellar extinction. This differ substantially from the ideas of the 20th century. With infrared surveys of hundreds of millions of stars over the entire sky, such as 2MASS, SPITZER-IRAC, and WISE, we have looked at the densest and most rarefied regions of the interstellar medium at distances of a few kpc from the sun. Observations at infrared and microwave wavelengths, where the bulk of the interstellar dust absorbs and radiates, have brought us closer to an understanding of the distribution of the dust particles on scales of the Galaxy and the Universe. We are in the midst of a scientific revolution in our understanding of the interstellar medium and dust. Progress in, and the key results of, this revolution are still difficult to predict. Nevertheless, (a) a physically justified model has been developed for the spatial distribution of absorbing material over the nearest few kiloparsecs, including the Gould belt as a dust container, which gives an accurate estimate of the extinction for any object just in terms of its galactic coordinates. It is also clear that (b) the interstellar medium makes up roughly half the mass of matter in the galactic vicinity of the solar system (the other half is made up of stars, their remnants, and dark matter) and (c) the interstellar medium and, especially, dust, differ substantially in different regions of space, and deep space cannot be understood by only studying nearby space.