title: Dust as interstellar catalyst - II. How chemical desorption impacts the gas

abstract: Context. Interstellar dust particles, which represent 1% of the total mass, are recognized to be very powerful interstellar catalysts in star-forming regions. The presence of dust can have a strong impact on the chemical composition of molecular clouds. While observations show that many species that formed onto dust grains populate the gas phase, the process that transforms solid state into gas phase remains unclear. Aims. The aim of this paper is to consider the chemical desorption process, i.e. the process that releases solid species into the gas phase, in astrochemical models. These models allow determining the chemical composition of star-forming environments with an accurate treatment of the solid-phase chemistry. Methods. In paper I we derived a formula based on experimental studies with which we quantified the efficiencies of the chemical desorption process. Here we extend these results to astrophysical conditions. Results. The simulations of astrophysical environments show that the abundances of gas-phase methanol and H2O2 increase by four orders of magnitude, whereas gas-phase H2CO and HO2 increase by one order of magnitude when the chemical desorption process is taken into account. The composition of the ices strongly varies when the chemical desorption is considered or neglected. Conclusions. We show that the chemical desorption process, which directly transforms solid species into gas-phase species, is very efficient for many reactions. Applied to astrophysical environments such as Rho Oph A, we show that the chemical desorption efficiencies derived in this study reproduce the abundances of observed gas-phase methanol, HO2, and H2O2, and that the presence of these molecules in the gas shows the last signs of the evolution of a cloud before the frost.


title: LOGO-Net: Large-scale Deep Logo Detection and Brand Recognition with Deep Region-based Convolutional Networks

abstract: Logo detection from images has many applications, particularly for brand recognition and intellectual property protection. Most existing studies for logo recognition and detection are based on small-scale datasets which are not comprehensive enough when exploring emerging deep learning techniques. In this paper, we introduce "LOGO-Net", a large-scale logo image database for logo detection and brand recognition from real-world product images. To facilitate research, LOGO-Net has two datasets: (i)"logos-18" consists of 18 logo classes, 10 brands, and 16,043 logo objects, and (ii) "logos-160" consists of 160 logo classes, 100 brands, and 130,608 logo objects. We describe the ideas and challenges for constructing such a large-scale database. Another key contribution of this work is to apply emerging deep learning techniques for logo detection and brand recognition tasks, and conduct extensive experiments by exploring several state-of-the-art deep region-based convolutional networks techniques for object detection tasks. The LOGO-net will be released at http://logo-net.org/


title: Sympathetic cooling in a large ion crystal

abstract: We analyze the dynamics and steady state of a linear ion array when some of the ions are continuously laser cooled. We calculate the ions' local temperature measured by its position fluctuation under various trapping and cooling configurations, taking into account background heating due to the noisy environment. For a large system, we demonstrate that by arranging the cooling ions evenly in the array, one can suppress the overall heating considerably. We also investigate the effect of different cooling rates and find that the optimal cooling efficiency is achieved by an intermediate cooling rate. We discuss the relaxation time for the ions to approach the steady state, and show that with periodic arrangement of the cooling ions, the cooling efficiency does not scale down with the system size.


title: An Industrial THz Killer Application?

abstract: Terahertz technology is mature enough for large-volume sensing applications. However, Dook van Mechelen says there are a few hurdles preventing its industrial debut. THz spectroscopy has a number of advantages that point to abundant industrial applications, in areas such quality control, security and biomedical imaging. Yet despite those advantages, the search for a THz "killer application"--a novel, innovative use with a business case strong enough to bring the technology into the industrial mainstream--has remained fruitless, and even the hope of finding such an application has begun to falter. Why has a killer app for THz radiation been so elusive? And how can the road to industrial application of this versatile technology be cleared?


title: A new humanlike facial attractiveness predictor with cascaded fine-tuning deep learning model

abstract: This paper proposes a deep leaning method to address the challenging facial attractiveness prediction problem. The method constructs a convolutional neural network of facial beauty prediction using a new deep cascaded fine-turning scheme with various face inputting channels, such as the original RGB face image, the detail layer image, and the lighting layer image. With a carefully designed CNN model of deep structure, large input size and small convolutional kernels, we have achieved a high prediction correlation of 0.88. This result convinces us that the problem of facial attractiveness prediction can be solved by deep learning approach, and it also shows the important roles of the facial smoothness, lightness, and color information that were involved in facial beauty perception, which is consistent with the result of recent psychology studies. Furthermore, we analyze the high-level features learnt by CNN through visualization of its hidden layers, and some interesting phenomena were observed. It is found that the contours and appearance of facial features, especially eyes and moth, are the most significant facial attributes for facial attractiveness prediction, which is also consistent with the visual perception intuition of human.


title: Ratiometric Organic Fibers for Localized and Reversible Ion Sensing with Micrometer-Scale Spatial Resolution

abstract: A fundamental issue in biomedical and environmental sciences is the development of sensitive and robust sensors able to probe the analyte of interest, under physiological and pathological conditions or in environmental samples, and with very high spatial resolution. In this work, novel hybrid organic fibers that can effectively report the analyte concentration within the local microenvironment are reported. The nanostructured and flexible wires are prepared by embedding fluorescent pH sensors based on seminaphtho-rhodafluor-1-dextran conjugate. By adjusting capsule/polymer ratio and spinning conditions, the diameter of the fibers and the alignment of the reporting capsules are both tuned. The hybrid wires display excellent stability, high sensitivity, as well as reversible response, and their operation relies on effective diffusional kinetic coupling of the sensing regions and the embedding polymer matrix. These devices are believed to be a powerful new sensing platform for clinical diagnostics, bioassays and environmental monitoring.


title: On Congruences on Ultraproducts of Algebraic Structures

abstract: Let $I$ be a non-empty set and $\mathcal{D}$ an ultrafilter over $I$. For similar algebraic structures $B_i$, $i\in I$ let $\Pi (B_i|i\in I)$ and $\Pi _{\mathcal{D}}(B_i|i\in I)$ denote the direct product and the ultraproduct of $B_i$, respectively. Let $\mathcal{D}^*$ denote the ultraproduct congruence on $\Pi (B_i|i\in I)$. Let the $\wedge$-semilattice of all congruences on an algebraic structure $B$ denoted by ${\bf Con}(B)$. In this paper we show that, for any similar algebraic structures $A_i$, $i\in I$, there is an embedding $\Phi$ of $\Pi _{\mathcal{D}}({\bf Con}(A_i)|i\in I)$ into ${\bf Con}(\Pi _{\mathcal{D}}(A_i|i\in I)$. We also show that, for every $\sigma \in \Pi ({\bf Con}(A_i)|i\in I)$, the factor algebra $\Pi _{\mathcal{D}}(A_i|i\in I)/\Phi (\sigma /\mathcal{D}^*)$ is isomorphic to $\Pi _{\mathcal{D}}(A_i/\sigma (i)|i\in I)$. Moreover, if $A$ is an algebraic structure, $\sigma(i)\in {\bf Con}(A)$, $i\in I$ and $\mathcal{D}=\{ K_j| j\in J\}$ then the restriction of $\Phi (\sigma /\mathcal{D}^*)$ to $A$ equals $\vee _{j\in J}(\wedge _{k\in K_j}\sigma (k))$.


title: Higher order analogues of unitarity condition for quantum R-matrices

abstract: We prove a family of $n$-th order identities for quantum $R$-matrices of Baxter-Belavin type in fundamental representation. The set of identities includes the unitarity condition as the simplest one ($n=2$). Our study is inspired by the fact that the third order identity provides commutativity of the Knizhnik-Zamolodchikov-Bernard connections. On the other hand the same identity gives rise to $R$-matrix valued Lax pairs for the classical integrable systems of Calogero type. The latter construction uses interpretation of quantum $R$-matrix as matrix generalization of the Kronecker function. We present a proof of the higher order scalar identities for the Kronecker functions which is then naturally generalized to the $R$-matrix identities.


title: Spin excitations in 3d transition-metal adatoms on Pt(111): Observable with inelastic scanning tunneling spectroscopy or not?

abstract: Spin excitations in atomic-scale nanostructures have been investigated with inelastic scanning tunneling spectroscopy, sometimes with conflicting results. In this work we present a theoretical viewpoint on a recent experimental controversy regarding the spin excitations of Co adatoms on Pt(111). While one group [Balashov et al., Phys. Rev. Lett. \textbf{102}, 257203 (2009)] claims to have detected them, another group reported their observation only after the hydrogenation of the Co adatom [Dubout et al., Phys. Rev. Lett. \textbf{114}, 106807 (2015)]. Utilizing time-dependent density functional theory in combination with many-body perturbation theory we demonstrate that, although inelastic spin excitations are possible for Cr, Mn, Fe, and Co adatoms, their efficiency differs. While the excitation signature is less pronounced for Mn and Co adatoms, it is larger for Cr and Fe adatoms. We find that the tunneling matrix elements related to the nature and symmetry of the relevant electronic states are more favorable for triggering the spin excitations in Fe than in Co. An enhancement of the tunneling and of the inelastic spectra is possible by attaching hydrogen to the adatom at the appropriate position.


title: The large sieve with square norm moduli in Z[i]

abstract: We prove a large sieve inequality for square norm moduli in Z[i].


title: Entanglement witness via symmetric two-body correlations

abstract: We construct an entanglement witness for many-qubit systems, based on symmetric two-body correlations with two measurement settings. This witness is able to detect the entanglement of some Dicke states for any number of particles, and such detection exhibits some robustness against white noise and thermal noise under the Lipkin-Meshkov-Glick Hamiltonian. In addition, it detects the entanglement of spin-squeezed states, with a detection strength that approaches the maximal value for sufficiently large numbers of particles. As spin-squeezed states can be experimentally generated, the properties of the witness with respect to these states may be amenable to experimental investigation. Finally, we show that while the witness is unable to detect GHZ states, it is instead able to detect superpositions of Dicke states with GHZ states.


title: Development of Water $\v{C}$erenkov Detector for On-line Proton Rejection in $\Xi^{-}$ Hypernuclear Spectroscopy via the $(K^{-},K^{+})$ Reaction

abstract: The missing mass spectroscopy of $\Xi^{-}$ hypernuclei with the $(K^{-},K^{+})$ reaction is planned to be performed at the J-PARC K1.8 beam line by using a new magnetic spectrometer, Strangeness $-2$ Spectrometer (S-2S). A $\v{C}$cerenkov detector with a radiation medium of pure water (refractive index of 1.33) is designed to be used for on-line proton rejection for a momentum range of 1.2 to 1.6 GeV/$c$ in S-2S. Prototype water $\v{C}$erenkov detectors were developed and tested with positron beams and cosmic rays to estimate their proton-rejection capability. We achieved an average number of photoelectrons of greater than 200 with the latest prototype for cosmic rays, which was stable during an expected beam time of one month. The performance of the prototype in the cosmic-ray test was well reproduced with a Monte Carlo simulation in which some input parameters were adjusted. Based on the Monte Carlo simulation, we expect to achieve $>90\%$ proton-rejection efficiency while maintaining $>95\%$ $K^{+}$ survival ratio in the whole S-2S acceptance. The performance satisfies the requirements to conduct the spectroscopic study of $\Xi^{-}$ hypernuclei at J-PARC.


title: Dynamics of entanglement in qubit-qutrit with x component of DM interaction

abstract: In this present paper we study the entanglement dynamics in qubit A-qutrit B pair under x component of Dzyaloshinshkii-Moriya $(D_{x})$ by taking an auxiliary qubit C. Here we consider an entangled qubit-qutrit pair initially prepared in two parameter qubit-qutrit states and one auxiliary qubit prepared in pure state interacts with the qutrit of the pair through DM interaction. We trace away the auxiliary qubit and calculate the reduced dynamics in qubit A-qutrit B pair to study the influence of the state of auxiliary qubit C and $D_{x}$ on entanglement. We find that the state (probability amplitude) of auxiliary qubit does not influence the entanglement, only $D_{x}$ influences the same. The phenomenon of entanglement sudden death (ESD) induced by $D_{x}$ has also been observed. We also present the affected and unaffected two parameter qubit-qutrit states by $D_{x}$.


title: Parallel extragradient-proximal methods for split equilibrium problems

abstract: In this paper, we introduce two parallel extragradient-proximal methods for solving split equilibrium problems. The algorithms combine the extragradient method, the proximal method and the hybrid (outer approximation) method. The weak and strong convergence theorems for iterative sequences generated by the algorithms are established under widely used assumptions for equilibrium bifunctions.


title: On Sylvester Colorings of Cubic Graphs

abstract: If $G$ and $H$ are two cubic graphs, then an $H$-coloring of $G$ is a proper edge-coloring $f$ with edges of $H$, such that for each vertex $x$ of $G$, there is a vertex $y$ of $H$ with $f(\partial_G(x))=\partial_H(y)$. If $G$ admits an $H$-coloring, then we will write $H\prec G$. The Petersen coloring conjecture of Jaeger states that for any bridgeless cubic graph $G$, one has: $P\prec G$. The second author has recently introduced the Sylvester coloring conjecture, which states that for any cubic graph $G$ one has: $S\prec G$. Here $S$ is the Sylvester graph on $10$ vertices. In this paper, we prove the analogue of Sylvester coloring conjecture for cubic pseudo-graphs. Moreover, we show that if $G$ is any connected simple cubic graph $G$ with $G\prec P$, then $G = P$. This implies that the Petersen graph does not admit an $S_{16}$-coloring, where $S_{16}$ is the smallest connected simple cubic graph without a perfect matching. $S_{16}$ has $16$ vertices. %We conjecture that there are infinitely many connected cubic simple graphs which do not admit an %$S_{16}$-coloring. Finally, we obtain $2$ results towards the Sylvester coloring conjecture. The first result states that any cubic graph $G$ has a coloring with edges of Sylvester graph $S$ such that at least $\frac45$ of vertices of $G$ meet the conditions of Sylvester coloring conjecture. The second result states that any claw-free cubic graph graph admits an $S$-coloring. This results is an application of our result on cubic pseudo-graphs.


title: Statistical physics of inference: Thresholds and algorithms

abstract: Many questions of fundamental interest in todays science can be formulated as inference problems: Some partial, or noisy, observations are performed over a set of variables and the goal is to recover, or infer, the values of the variables based on the indirect information contained in the measurements. For such problems, the central scientific questions are: Under what conditions is the information contained in the measurements sufficient for a satisfactory inference to be possible? What are the most efficient algorithms for this task? A growing body of work has shown that often we can understand and locate these fundamental barriers by thinking of them as phase transitions in the sense of statistical physics. Moreover, it turned out that we can use the gained physical insight to develop new promising algorithms. Connection between inference and statistical physics is currently witnessing an impressive renaissance and we review here the current state-of-the-art, with a pedagogical focus on the Ising model which formulated as an inference problem we call the planted spin glass. In terms of applications we review two classes of problems: (i) inference of clusters on graphs and networks, with community detection as a special case and (ii) estimating a signal from its noisy linear measurements, with compressed sensing as a case of sparse estimation. Our goal is to provide a pedagogical review for researchers in physics and other fields interested in this fascinating topic.


title: Hadronic deuteron polarizability contribution to the Lamb shift in muonic deuterium

abstract: Hadronic deuteron polarizability correction to the Lamb shift of muonic deuterium is calculated on the basis of unitary isobar model and modern experimental data on the structure functions of deep inelastic lepton-deuteron scattering and their parameterizations in the resonance and nonresonance regions.


title: On the number of ramified primes in specializations of function fields over $\mathbb{Q}$

abstract: We study the number of ramified prime numbers in finite Galois extensions of $\mathbb{Q}$ obtained by specializing a finite Galois extension of $\mathbb{Q}(T)$. Our main result is a central limit theorem for this number. We also give some Galois theoretical applications.


title: Nonlinear evolution of cylindrical gravitational waves: numerical method and physical aspects

abstract: General cylindrical waves are the simplest axisymmetrical gravitational waves that contain both $+$ and $\times$ modes of polarization. In this paper, we have studied the evolution of general cylindrical gravitational waves in the realm of the characteristic scheme with a numerical code based on the Galerkin-Collocation method. The investigation consists of the numerical realization of concepts such as Bondi mass and the news functions adapted to cylindrical symmetry. The Bondi mass decays due to the presence of the news functions associated with both polarization modes. We have interpreted that each polarization mode as channels from which mass is extracted. Under this perspective, we have presented the enhancement effect of the polarization mode $+$ due to the nonlinear interaction with the mode $\times$. After discussing the role of matter in cylindrical symmetry, we have extended the numerical code to include electromagnetic fields.


title: Lensing effect of electromagnetically induced transparency involving a Rydberg state

abstract: We study the lensing effect experienced by a weak probe field under conditions of electromagnetically induced transparency (EIT) involving a Rydberg state. A Gaussian coupling beam tightly focused on a laser-cooled atomic cloud produces an inhomogeneity in the coupling Rabi frequency along the transverse direction and makes the EIT area acting like a gradient-index medium. We image the probe beam at the position where it exits the atomic cloud, and observe that a red-detuned probe light is strongly focused with a greatly enhanced intensity whereas a blue-detuned one is de-focused with a reduced intensity. Our experimental results agree very well with the numerical solutions of Maxwell-Bloch equations.


title: Upper semicontinuity of pullback attractors for damped wave equations

abstract: In this paper, we study the upper semicontinuity of pullback attractors for a strongly damped wave equation. In particular, under some proper assumptions, we prove that, the pullback attractor $\{A_\varepsilon(t)\}_{t\in\mathbb R}$} of Eq.(1.1) with $\varepsilon\in[0,1]$ satisfies that for any $[a,b]\subset\mathbb R$ and $\varepsilon_0\in[0,1]$, $\lim_{\varepsilon\to\varepsilon_0} \sup_{t\in[a,b]} \mathrm{dist}_{H_0^1\times L^2} (A_\varepsilon(t), A_{\varepsilon_0}(t))=0$, and $\cup_{t\in[a,b]} \cup_{\varepsilon\in[0,1]} A_\varepsilon(t)$ is precompact in $H_0^1 (\Omega) \times L^2(\Omega)$.


title: Ergodic Properties of the Random Walk Adic Transformation over the Beta Transformation

abstract: We define a random walk adic transformation associated to an aperiodic random walk on $G=\mathbb{Z}^{k}\times\mathbb{R}^{D-k}$ driven by a $\beta$-transformation and study its ergodic properties. In particular, this transformation is conservative, ergodic, infinite measure preserving and we prove that it is asymptotically distributionally stable and bounded rationally ergodic. Related earlier work appears in [AS] and [ANSS] for random walk adic transformations associated to an aperiodic random walk driven by a subshift of finite type.


title: Quantum phase transitions and decoupling of magnetic sublattices in the quasi-two-dimensional Ising magnet Co3V2O8 in a transverse magnetic field

abstract: The application of a magnetic field transverse to the easy axis, Ising direction in the quasi-two-dimensional Kagome staircase magnet, Co3V2O8, induces three quantum phase transitions at low temperatures, ultimately producing a novel high field polarized state, with two distinct sublattices. New time-of-flight neutron scattering techniques, accompanied by large angular access, high magnetic field infrastructure allow the mapping of a sequence of ferromagnetic and incommensurate phases and their accompanying spin excitations. At least one of the transitions to incommensurate phases at \mu 0Hc1~6.25 T and \mu 0Hc2~7 T is discontinuous, while the final quantum critical point at \mu 0Hc3~13 T is continuous.


title: Interdicting Structured Combinatorial Optimization Problems with {0,1}-Objectives

abstract: Interdiction problems ask about the worst-case impact of a limited change to an underlying optimization problem. They are a natural way to measure the robustness of a system, or to identify its weakest spots. Interdiction problems have been studied for a wide variety of classical combinatorial optimization problems, including maximum $s$-$t$ flows, shortest $s$-$t$ paths, maximum weight matchings, minimum spanning trees, maximum stable sets, and graph connectivity. Most interdiction problems are NP-hard, and furthermore, even designing efficient approximation algorithms that allow for estimating the order of magnitude of a worst-case impact, has turned out to be very difficult. Not very surprisingly, the few known approximation algorithms are heavily tailored for specific problems. Inspired by an approach of Burch et al. (2003), we suggest a general method to obtain pseudoapproximations for many interdiction problems. More precisely, for any $\alpha>0$, our algorithm will return either a $(1+\alpha)$-approximation, or a solution that may overrun the interdiction budget by a factor of at most $1+\alpha^{-1}$ but is also at least as good as the optimal solution that respects the budget. Furthermore, our approach can handle submodular interdiction costs when the underlying problem is to find a maximum weight independent set in a matroid, as for example the maximum weight forest problem. The approach can sometimes be refined by exploiting additional structural properties of the underlying optimization problem to obtain stronger results. We demonstrate this by presenting a PTAS for interdicting $b$-stable sets in bipartite graphs.


title: Magnetic ground state of FeSe

abstract: Elucidating the nature of the magnetism of a high-temperature superconductor is crucial for establishing its pairing mechanism. The parent compounds of the cuprate and iron-pnictide superconductors exhibit N\'eel and stripe magnetic order, respectively. However, FeSe, the structurally simplest iron-based superconductor, shows nematic order (Ts = 90 K), but not magnetic order in the parent phase, and its magnetic ground state is intensely debated. Here, we report inelastic neutron-scattering experiments that reveal both stripe and N\'eel spin fluctuations over a wide energy range at 110 K. On entering the nematic phase, a substantial amount of spectral weight is transferred from the N\'eel to the stripe spin fluctuations. Moreover, the total fluctuating magnetic moment of FeSe is ~ 60% larger than that in the iron pnictide BaFe2As2. Our results suggest that FeSe is a novel S = 1 nematic quantum-disordered paramagnet interpolating between the N\'eel and stripe magnetic instabilities.


title: Hardness and Approximation for Network Flow Interdiction

abstract: In the Network Flow Interdiction problem an adversary attacks a network in order to minimize the maximum s-t-flow. Very little is known about the approximatibility of this problem despite decades of interest in it. We present the first approximation hardness, showing that Network Flow Interdiction and several of its variants cannot be much easier to approximate than Densest k-Subgraph. In particular, any $n^{o(1)}$-approximation algorithm for Network Flow Interdiction would imply an $n^{o(1)}$-approximation algorithm for Densest k-Subgraph. We complement this hardness results with the first approximation algorithm for Network Flow Interdiction, which has approximation ratio 2(n-1). We also show that Network Flow Interdiction is essentially the same as the Budgeted Minimum s-t-Cut problem, and transferring our results gives the first approximation hardness and algorithm for that problem, as well.


title: Performance of D-criteria in isolating meteor showers from the sporadic background in an optical data set

abstract: Separating meteor showers from the sporadic meteor background is critical for the study of both showers and the sporadic complex. The linkage of meteors to meteor showers, to parent bodies, and to other meteors is done using measures of orbital similarity. These measures often take the form of so-called D-parameters and are generally paired with some cutoff value within which two orbits are considered related. The appropriate cutoff value can depend on the size of the data-set (Southworth & Hawkins 1963), the sporadic contribution within the observed size range (Jopek 1995), or the inclination of the shower (Galligan 2001). If the goal is to minimize sporadic contamination of the extracted shower, the cutoff value should also reflect the strength of the shower compared to the local sporadic background. In this paper, we present a method for determining, on a per-shower basis, the orbital similarity cutoff value that corresponds to a chosen acceptable false-positive rate. This method also assists us in distinguishing which showers are significant within a set of data. We apply these methods to optical meteor observations from the NASA All-Sky and Southern Ontario Meteor Networks.


title: Evidence for Two-Component Jet in Sw J1644+57

abstract: The continued observations of Sw J1644+57 in X-ray and radio bands accumulated a rich data set to study the relativistic jet launched in this tidal disruption event. We find that the re-brightening feature in the radio light curve can be naturally explained by the two-component jet model. The possible origin of this structured jet are the Blandford-Znajek and Blandford-Payne mechanisms. We also show that this two-component jet model can interpret the two kinds of quasi-periodic variations in the X-ray light curve: a 200 second quasi-periodic oscillation (QPO) and a 2.7-day quasi-periodic variation. The latter is interpreted by a precessing outer jet launched near the Bardeen-Petterson radius of a warped disk. The $\sim$ 200s QPO could be associated with a second, narrower jet sweeping the observer line-of-sight periodically, which is launched from a spinning black hole in the misaligned direction with respect to the black hole's angular momentum.


title: Fine Magnetic Structure and Origin of Counter-Streaming Mass Flows in a Quiescent Solar Prominence

abstract: We present high-resolution observations of a quiescent solar prominence which was consisted of a vertical and a horizontal foot encircled by an overlying spine, and counter-streaming mass flows were ubiquitous in the prominence. While the horizontal foot and the spine were connecting to the solar surface, the vertical foot was suspended above the solar surface and supported by a semicircular bubble structure. The bubble first collapsed and then reformed at a similar height, finally, it started to oscillate for a long time. We find that the collapsing and oscillation of the bubble boundary were tightly associated with a flare-like feature located at the bottom of the bubble. Based on the observational results, we propose that the prominence should be composed of an overlying horizontal spine encircling a low-lying horizontal and a vertical foot, in which the horizontal foot was consisted of shorter field lines running partially along the spine and with the both ends connecting to the solar surface, while the vertical foot was consisted of piling-up dips due to the sagging of the spine fields and supported by a bipolar magnetic system formed by parasitic polarities (i.e., the bubble). The upflows in the vertical foot were possibly caused by the magnetic reconnection at the separator between the bubble and the overlying dips, which intruded into the persistent downflow field and formed the picture of counter-streaming mass flows. In addition, the counter-streaming flows in the horizontal foot were possibly caused by the imbalanced pressure at the both ends.


title: Autotuning OpenCL Workgroup Size for Stencil Patterns

abstract: Selecting an appropriate workgroup size is critical for the performance of OpenCL kernels, and requires knowledge of the underlying hardware, the data being operated on, and the implementation of the kernel. This makes portable performance of OpenCL programs a challenging goal, since simple heuristics and statically chosen values fail to exploit the available performance. To address this, we propose the use of machine learning-enabled autotuning to automatically predict workgroup sizes for stencil patterns on CPUs and multi-GPUs. We present three methodologies for predicting workgroup sizes. The first, using classifiers to select the optimal workgroup size. The second and third proposed methodologies employ the novel use of regressors for performing classification by predicting the runtime of kernels and the relative performance of different workgroup sizes, respectively. We evaluate the effectiveness of each technique in an empirical study of 429 combinations of architecture, kernel, and dataset, comparing an average of 629 different workgroup sizes for each. We find that autotuning provides a median 3.79x speedup over the best possible fixed workgroup size, achieving 94% of the maximum performance.


title: Multiplicativity, from Lie groups to generalized geometry

abstract: We survey the concept of multiplicativity from its initial appearance in the theory of Poisson-Lie groups to the far-reaching generalizations, for multivectors and differential forms in the geometry and the generalized geometry of Lie groupoids, as well as their infinitesimal counterparts in the theory of Lie algebroids.


title: VideoStory Embeddings Recognize Events when Examples are Scarce

abstract: This paper aims for event recognition when video examples are scarce or even completely absent. The key in such a challenging setting is a semantic video representation. Rather than building the representation from individual attribute detectors and their annotations, we propose to learn the entire representation from freely available web videos and their descriptions using an embedding between video features and term vectors. In our proposed embedding, which we call VideoStory, the correlations between the terms are utilized to learn a more effective representation by optimizing a joint objective balancing descriptiveness and predictability.We show how learning the VideoStory using a multimodal predictability loss, including appearance, motion and audio features, results in a better predictable representation. We also propose a variant of VideoStory to recognize an event in video from just the important terms in a text query by introducing a term sensitive descriptiveness loss. Our experiments on three challenging collections of web videos from the NIST TRECVID Multimedia Event Detection and Columbia Consumer Videos datasets demonstrate: i) the advantages of VideoStory over representations using attributes or alternative embeddings, ii) the benefit of fusing video modalities by an embedding over common strategies, iii) the complementarity of term sensitive descriptiveness and multimodal predictability for event recognition without examples. By it abilities to improve predictability upon any underlying video feature while at the same time maximizing semantic descriptiveness, VideoStory leads to state-of-the-art accuracy for both few- and zero-example recognition of events in video.


title: Hiding in plain view: Colloidal self-assembly from polydisperse populations

abstract: We report small-angle x-ray scattering (SAXS) experiments on aqueous dispersions of colloidal silica with a broad monomodal size distribution (polydispersity 18%, size 8 nm). Over a range of volume fractions the silica particles segregate to build first one, then two distinct sets of colloidal crystals. These dispersions thus demonstrate fractional crystallization and multiple-phase (bcc, Laves AB$_2$, liquid) coexistence. Their remarkable ability to build complex crystal structures from a polydisperse population originates from the intermediate-range nature of interparticle forces, and suggests routes for designing self-assembling colloidal crystals from the bottom-up.


title: A lightweight optimization selection method for Sparse Matrix-Vector Multiplication

abstract: In this paper, we propose an optimization selection methodology for the ubiquitous sparse matrix-vector multiplication (SpMV) kernel. We propose two models that attempt to identify the major performance bottleneck of the kernel for every instance of the problem and then select an appropriate optimization to tackle it. Our first model requires online profiling of the input matrix in order to detect its most prevailing performance issue, while our second model only uses comprehensive structural features of the sparse matrix. Our method delivers high performance stability for SpMV across different platforms and sparse matrices, due to its application and architecture awareness. Our experimental results demonstrate that a) our approach is able to distinguish and appropriately optimize special matrices in multicore platforms that fall out of the standard class of memory bandwidth bound matrices, and b) lead to a significant performance gain of 29% in a manycore platform compared to an architecture-centric optimization, as a result of the successful selection of the appropriate optimization for the great majority of the matrices. With a runtime overhead equivalent to a couple dozen SpMV operations, our approach is practical for use in iterative numerical solvers of real-life applications.


title: The expanding light echoes from supernova 2014J in M82

abstract: We present the measurement of the size and surface brightness of the expanding light echoes from supernova (SN) 2014J in the nearby starburst galaxy M82. Hubble Space Telescope (HST) ACS/WFC images were taken ~277 and ~416 days (after the time of B-band maximum light) in the filters F475W, F606W, and F775W, each combined with the three polarizing filters: POL0V, POL60V, and POL120V. The two epochs' imaging reveals the time evolution of at least two major echoes. Three concentric bright regions between position angles (PA, 0^{\circ} from North, counterclockwise). 80^{\circ} ~ 170^{\circ} have projected radius of 0.60" on the sky on ~277 days and expanding to 0.75" on ~416 days, corresponding to scattering materials at a foreground distance of 222\pm37 pc. Another fainter but evident light echo extending over a wide range of PA has radii of 0.75" and 0.96" on ~277 and ~416 days. This corresponds to scattering material at a foreground distance of 367\pm61 pc. Multiple light echoes with S/N > 2.5 reside at smaller radii on ~277 days but become less significant on ~416 days indicating a complex structure of foreground interstellar medium (ISM). The light echo shows bluer color than predicted under a Rayleigh scattering case. We also found the light echo brightened from V_{echo}=21.68\pm0.07 on 2014 September 5, to V_{echo}=21.05\pm0.08 on 2014 November 6, suggesting an enhancement of echoing materials at different distances projected on to the plane of the sky.


title: Development of an isotropic optical light source for testing nuclear instruments

abstract: Nuclear instruments that require precise characterization and calibration of their optical components need well-characterized optical light sources with the desired wavelength, intensity, and directivity. This paper presents a novel technique for determining the performance of optical components by producing an isotropic-like source with a robotically positioned LED. The theory of operation for this light source, results of Monte Carlo validation studies, and experimental results are presented.


title: Understanding the meaning of Greek temples' orientations. Akragas Valley of the Temples as a case study

abstract: The issue of the orientation of Greek Temples has been the subject of several debates since the end of the 19 century. In fact, although a general tendency to orientation within the arc of the rising sun is undeniable, specific patterns and true meaning remain obscure. With the aim of shedding light on this problem we present here a new complete, high precision survey of the temples of Akragas, the so called Valley of the Temples UNESCO site. Our results include a important temple which was essentially yet unpublished, and most of all show that very different reasons influenced the orientation choices, some symbolical, but others by far more practical, besides the general rule of orienting to the rising sun. In particular, the existence of temples orientated in accordance with the towns grid, as well as to the cardinal points irrespectively from the sun's declination associated to true east at the uneven horizon, is evidenced. Finally, for two temples having anomalous orientations a stellar and a lunar proposal are made respectively


title: Characteristic specific prioritized dynamic average burst round robin scheduling for uniprocessor and multiprocessor environment

abstract: CPU scheduling is one of the most crucial operations performed by operating systems. Different conventional algorithms like FCFS, SJF, Priority, and RR (Round Robin) are available for CPU Scheduling. The effectiveness of Priority and Round Robin scheduling algorithm completely depends on selection of priority features of processes and on the choice of time quantum. In this paper a new CPU scheduling algorithm has been proposed, named as CSPDABRR (Characteristic specific Prioritized Dynamic Average Burst Round Robin), that uses seven priority features for calculating priority of processes and uses dynamic time quantum instead of static time quantum used in RR. The performance of the proposed algorithm is experimentally compared with traditional RR and Priority scheduling algorithm in both uni-processor and multi-processor environment. The results of our approach presented in this paper demonstrate improved performance in terms of average waiting time, average turnaround time, and optimal priority feature.


title: A point symmetry based method for transforming ODEs with three-dimensional symmetry algebras to their canonical forms

abstract: We provide an algorithmic approach to the construction of point transformations for scalar ordinary differential equations that admit three-dimensional symmetry algebras which lead to their respective canonical forms.


title: Poisson Inverse Problems by the Plug-and-Play scheme

abstract: The Anscombe transform offers an approximate conversion of a Poisson random variable into a Gaussian one. This transform is important and appealing, as it is easy to compute, and becomes handy in various inverse problems with Poisson noise contamination. Solution to such problems can be done by first applying the Anscombe transform, then applying a Gaussian-noise-oriented restoration algorithm of choice, and finally applying an inverse Anscombe transform. The appeal in this approach is due to the abundance of high-performance restoration algorithms designed for white additive Gaussian noise (we will refer to these hereafter as "Gaussian-solvers"). This process is known to work well for high SNR images, where the Anscombe transform provides a rather accurate approximation. When the noise level is high, the above path loses much of its effectiveness, and the common practice is to replace it with a direct treatment of the Poisson distribution. Naturally, with this we lose the ability to leverage on vastly available Gaussian-solvers. In this work we suggest a novel method for coupling Gaussian denoising algorithms to Poisson noisy inverse problems, which is based on a general approach termed "Plug-and-Play". Deploying the Plug-and-Play approach to such problems leads to an iterative scheme that repeats several key steps: 1) A convex programming task of simple form that can be easily treated; 2) A powerful Gaussian denoising algorithm of choice; and 3) A simple update step. Such a modular method, just like the Anscombe transform, enables other developers to plug their own Gaussian denoising algorithms to our scheme in an easy way. While the proposed method bares some similarity to the Anscombe operation, it is in fact based on a different mathematical basis, which holds true for all SNR ranges.


title: Dimensional reduction and localization of a Bose-Einstein condensate in a quasi-1D bichromatic optical lattice

abstract: We analyze the localization of a Bose-Einstein condensate (BEC) in a one-dimensional bichromatic quasi-periodic optical-lattice potential by numerically solving the 1D Gross-Pitaevskii equation (1D GPE). We first derive the 1D GPE from the dimensional reduction of the 3D quantum field theory of interacting bosons obtaining two coupled differential equations (for axial wavefuction and space-time dependent transverse width) which reduce to the 1D GPE under strict conditions. Then, by using the 1D GPE we report the suppression of localization in the interacting BEC when the repulsive scattering length between bosonic atoms is sufficiently large.


title: Search for nucleon-nucleon correlations in neutrino-argon scattering

abstract: A sample of two proton and no pion events selected in the ArgoNeuT neutrino scattering experiment on liquid argon target [Phys. Rev. D90 (2014) 012008] is analyzed with NuWro Monte Carlo event generator. An attempt is made to estimate how likely it is to obtain observed numbers of laboratory frame and reconstructed back-to-back nucleon pairs. For laboratory frame back-to-back events a clear data/MC discrepancy is seen. For the reconstructed nucleon pairs a good agreement is reported. We provide a simple kinematical argument why this accordance is expected.


title: Bearing fault diagnosis based on spectrum images of vibration signals

abstract: Bearing fault diagnosis has been a challenge in the monitoring activities of rotating machinery, and it's receiving more and more attention. The conventional fault diagnosis methods usually extract features from the waveforms or spectrums of vibration signals in order to realize fault classification. In this paper, a novel feature in the form of images is presented, namely the spectrum images of vibration signals. The spectrum images are simply obtained by doing fast Fourier transformation. Such images are processed with two-dimensional principal component analysis (2DPCA) to reduce the dimensions, and then a minimum distance method is applied to classify the faults of bearings. The effectiveness of the proposed method is verified with experimental data.


title: Elucidating the Structure of the Magnesium Aluminum Chloride Complex electrolyte for Magnesium-ion batteries

abstract: We present a rigorous analysis of the Magnesium Aluminum Chloro Complex (MACC) in tetrahydrofuran (THF), one of the few electrolytes that can reversibly plate and strip Mg. We use \emph{ab initio} calculations and classical molecular dynamics simulations to interrogate the MACC electrolyte composition with the goal of addressing two urgent questions that have puzzled battery researchers: \emph{i}) the functional species of the electrolyte, and \emph{ii}) the complex equilibria regulating the MACC speciation after prolonged electrochemical cycling, a process termed as conditioning, and after prolonged inactivity, a process called aging. A general computational strategy to untangle the complex structure of electrolytes, ionic liquids and other liquid media is presented. The analysis of formation energies and grand-potential phase diagrams of Mg-Al-Cl-THF suggests that the MACC electrolyte bears a simple chemical structure with few simple constituents, namely the electro-active species MgCl$^+$ and AlCl$_4^-$ in equilibrium with MgCl$_2$ and AlCl$_3$. Knowledge of the stable species of the MACC electrolyte allows us to determine the most important equilibria occurring during electrochemical cycling. We observe that Al deposition is always preferred to Mg deposition, explaining why freshly synthesized MACC cannot operate and needs to undergo preparatory conditioning. Similarly, we suggest that aluminum displacement and depletion from the solution upon electrolyte resting (along with continuous MgCl$_2$ regeneration) represents one of the causes of electrolyte aging. Finally, we compute the NMR shifts from shielding tensors of selected molecules and ions providing fingerprints to guide future experimental investigations.


title: There are infinitely many bent functions for which the dual is not bent

abstract: Bent functions can be classified into regular bent functions, weakly regular but not regular bent functions, and non-weakly regular bent functions. Regular and weakly regular bent functions always appear in pairs since their duals are also bent functions. In general this does not apply to non-weaky regular bent functions. However, the first known construction of non-weakly regular bent functions by Ce\c{s}melio\u{g}lu et {\it al.}, 2012, yields bent functions for which the dual is also bent. In this paper the first construction of non-weakly regular bent functions for which the dual is not bent is presented. We call such functions non-dual-bent functions. Until now, only sporadic examples found via computer search were known. We then show that with the direct sum of bent functions and with the construction by Ce\c{s}melio\u{g}lu et {\it al.} one can obtain infinitely many non-dual-bent functions once one example of a non-dual-bent function is known.


title: Towards Structured Deep Neural Network for Automatic Speech Recognition

abstract: In this paper we propose the Structured Deep Neural Network (structured DNN) as a structured and deep learning framework. This approach can learn to find the best structured object (such as a label sequence) given a structured input (such as a vector sequence) by globally considering the mapping relationships between the structures rather than item by item. When automatic speech recognition is viewed as a special case of such a structured learning problem, where we have the acoustic vector sequence as the input and the phoneme label sequence as the output, it becomes possible to comprehensively learn utterance by utterance as a whole, rather than frame by frame. Structured Support Vector Machine (structured SVM) was proposed to perform ASR with structured learning previously, but limited by the linear nature of SVM. Here we propose structured DNN to use nonlinear transformations in multi-layers as a structured and deep learning approach. This approach was shown to beat structured SVM in preliminary experiments on TIMIT.


title: Uniqueness of one-dimensional N\'eel wall profiles

abstract: We study the domain wall structure in thin uniaxial ferromagnetic films in the presence of an in-plane applied external field in the direction normal to the easy axis. Using the reduced one-dimensional thin film micromagnetic model, we analyze the critical points of the obtained non-local variational problem. We prove that the minimizer of the one-dimensional energy functional in the form of the N\'eel wall is the unique (up to translations) critical point of the energy among all monotone profiles with the same limiting behavior at infinity. Thus, we establish uniqueness of the one-dimensional monotone N\'eel wall profile in the considered setting. We also obtain some uniform estimates for general one-dimensional domain wall profiles.


title: Cytoplasmic flows as signatures for the mechanics of mitotic positioning

abstract: The proper positioning of the mitotic spindle is crucial for asymmetric cell division and generating cell diversity during development. Proper position in the single-cell embryo of Caenorhabditis elegans is achieved initially by the migration and rotation of the pronuclear complex (PNC) and its two associated centrosomal arrays of microtubules (MTs). We present here the first systematic theoretical study of how these $O(1000)$ centrosomal microtubules (MTs) interact through the immersing cytoplasm, the cell periphery and PNC, and with each other, to achieve proper position. This study is made possible through our development of a highly efficient and parallelized computational framework that accounts explicitly for long-ranged hydrodynamic interactions (HIs) between the MTs, while also capturing their flexibility, dynamic instability, and interactions with molecular motors and boundaries. First, we show through direct simulation that previous estimates of the PNC drag coefficient, based on either ignoring or partially including HIs, lead to misprediction of the active forces and time-scales of migration. We then directly study the dynamics of PNC migration under various force-transduction models, including the pushing or pulling of MTs at the cortex, and the pulling of MTs by cytoplasmically-bound force generators. While achieving proper position and orientation on physiologically reasonable time-scales does not uniquely choose a model, we find that each model produces a different signature in its induced cytoplasmic flow and MT conformations. We suggest then that cytoplasmic flows and MT conformations can be used to differentiate between mechanisms and to determine their contribution to the migration process.


title: Form factors in $B\to \pi\pi\ell\bar\nu_\ell$ from QCD light-cone sum rules

abstract: The form factors of the semileptonic $B\to \pi\pi\ell\bar\nu$ decay are calculated from QCD light-cone sum rules with the distribution amplitudes of dipion states. This method is valid in the kinematical region, where the hadronic dipion state has a small invariant mass and simultaneously a large recoil. The derivation of the sum rules is complicated by the presence of an additional variable related to the angle between the two pions. In particular, we realize that not all invariant amplitudes in the underlying correlation function can be used, some of them generating kinematical singularities in the dispersion relation. The two sum rules that are free from these ambiguities are obtained in the leading twist-2 approximation, predicting the $\bar{B}^0\to \pi^+\pi^0$ form factors $F_{\perp}$ and $F_{\parallel}$ of the vector and axial $b\to u$ current, respectively. We calculate these form factors at the momentum transfers $0<q^2\lesssim 12 $ GeV$^2$ and at the dipion mass close to the threshold $4m_\pi^2$. The sum rule results indicate that the contributions of the higher partial waves to the form factors are suppressed with respect to the lowest $P$-wave contribution and that the latter is not completely saturated by the $\rho$-meson term.


title: Diffusion-driven blowup of nonnegative solutions to reaction-diffusion-ODE systems

abstract: In this paper we provide an example of a class of two reaction-diffusion-ODE equations with homogeneous Neumann boundary conditions, in which Turing-type instability not only destabilizes constant steady states but also induces blow-up of nonnegative spatially heterogeneous solutions. Solutions of this problem preserve nonnegativity and uniform boundedness of the total mass. Moreover, for the corresponding system with two non-zero diffusion coefficients, all nonnegative solutions are global in time. We prove that a removal of diffusion in one of the equations leads to a finite-time blow-up of some nonnegative spatially heterogeneous solutions.


title: The Cosmic Microwave Background Radiation Power Spectrum as a Random Bit Generator for Symmetric and Asymmetric-Key Cryptography

abstract: In this note, the Cosmic Microwave Background (CMB) Radiation is shown to be capable of functioning as a Random Bit Generator, and constitutes an effectively infinite supply of truly random one-time pad values of arbitrary length. It is further argued that the CMB power spectrum potentially conforms to the FIPS 140-2 standard. Additionally, its applicability to the generation of a (n x n) random key matrix for a Vernam cipher is established.


title: The data sharing advantage in astrophysics

abstract: We present here evidence for the existence of a citation advantage within astrophysics for papers that link to data. Using simple measures based on publication data from NASA Astrophysics Data System we find a citation advantage for papers with links to data receiving on the average significantly more citations per paper than papers without links to data. Furthermore, using INSPEC and Web of Science databases we investigate whether either papers of an experimental or theoretical nature display different citation behavior.


title: Algorithmic Stability for Adaptive Data Analysis

abstract: Adaptivity is an important feature of data analysis---the choice of questions to ask about a dataset often depends on previous interactions with the same dataset. However, statistical validity is typically studied in a nonadaptive model, where all questions are specified before the dataset is drawn. Recent work by Dwork et al. (STOC, 2015) and Hardt and Ullman (FOCS, 2014) initiated the formal study of this problem, and gave the first upper and lower bounds on the achievable generalization error for adaptive data analysis. Specifically, suppose there is an unknown distribution $\mathbf{P}$ and a set of $n$ independent samples $\mathbf{x}$ is drawn from $\mathbf{P}$. We seek an algorithm that, given $\mathbf{x}$ as input, accurately answers a sequence of adaptively chosen queries about the unknown distribution $\mathbf{P}$. How many samples $n$ must we draw from the distribution, as a function of the type of queries, the number of queries, and the desired level of accuracy? In this work we make two new contributions: (i) We give upper bounds on the number of samples $n$ that are needed to answer statistical queries. The bounds improve and simplify the work of Dwork et al. (STOC, 2015), and have been applied in subsequent work by those authors (Science, 2015, NIPS, 2015). (ii) We prove the first upper bounds on the number of samples required to answer more general families of queries. These include arbitrary low-sensitivity queries and an important class of optimization queries. As in Dwork et al., our algorithms are based on a connection with algorithmic stability in the form of differential privacy. We extend their work by giving a quantitatively optimal, more general, and simpler proof of their main theorem that stability implies low generalization error. We also study weaker stability guarantees such as bounded KL divergence and total variation distance.


title: Whole-genome modeling accurately predicts quantitative traits in plants

abstract: Understanding the relationship between genomic variation and variation in phenotypes for quantitative traits such as physiology, yield, fitness or behavior, will provide important insights for both predicting adaptive evolution and for breeding schemes. A particular question is whether the genetic variation that influences quantitative phenotypes is typically the result of one or two mutations of large effect, or multiple mutations of small effect. In this paper we explore this issue using the wild model legume Medicago truncatula. We show that phenotypes, such as quantitative disease resistance, can be well-predicted using genome-wide patterns of admixture, from which it follows that there must be many mutations of small effect. Our findings prove the potential of our novel 'whole-genome modeling' -WhoGEM- method and experimentally validate, for the first time, the infinitesimal model as a mechanism for adaptation of quantitative phenotypes in plants. This insight can accelerate breeding and biomedicine research programs.


title: Estimating a smooth function on a large graph by Bayesian Laplacian regularisation

abstract: We study a Bayesian approach to estimating a smooth function in the context of regression or classification problems on large graphs. We derive theoretical results that show how asymptotically optimal Bayesian regularization can be achieved under an asymptotic shape assumption on the underlying graph and a smoothness condition on the target function, both formulated in terms of the graph Laplacian. The priors we study are randomly scaled Gaussians with precision operators involving the Laplacian of the graph.


title: Quantum Transport Simulation of III-V TFETs with Reduced-Order K.P Method

abstract: III-V tunneling field-effect transistors (TFETs) offer great potentials in future low-power electronics application due to their steep subthreshold slope and large "on" current. Their 3D quantum transport study using non-equilibrium Green's function method is computationally very intensive, in particular when combined with multiband approaches such as the eight-band K.P method. To reduce the numerical cost, an efficient reduced-order method is developed in this article and applied to study homojunction InAs and heterojunction GaSb-InAs nanowire TFETs. Device performances are obtained for various channel widths, channel lengths, crystal orientations, doping densities, source pocket lengths, and strain conditions.


title: Descent With Approximate Multipliers is Enough: Generalising Max-Weight

abstract: We study the use of approximate Lagrange multipliers and discrete actions in solving convex optimisation problems. We observe that descent, which can be ensured using a wide range of approaches (gradient, subgradient, Newton, etc.), is orthogonal to the choice of multipliers. Using the Skorokhod representation for a queueing process we show that approximate multipliers can be constructed in a number of ways. These observations lead to the generalisation of (i) essentially any descent method to encompass use of discrete actions and queues and (ii) max-weight scheduling to encompass new descent methods including those with unsynchronised updates such as block coordinate descent. This also allows consideration of communication delays and of updates at varying time-scales within the same clean and consistent framework.


title: On the non-commutative endomorphism rings of abelian surfaces

abstract: A conjecture of Coleman implies that only finitely many quaternion algebras over the rational numbers can be the endomorphism $\mathbf{Q}$-algebras of abelian surfaces over the complex numbers which can be defined over $\mathbf{Q}$. One may think of this as a higher-dimensional version of the Gauss Class Number problem. Before now, no one has ruled out quaternion algebras over $\mathbf{Q}$ not already ruled out by the Albert classification. We rule out infinitely many such quaternion algebras by showing that for infinitely many $D$, the Atkin-Lehner quotient Shimura curve $X^D/w_D$ has no $\mathbf{Q}$-rational points. Our principal method is to use the level structure maps above $X^D$ to create torsors for use in the descent obstruction. Numerous Diophantine and analytic results on Shimura curves are also proved.


title: Nonlinear actuation dynamics of driven Casimir oscillators with rough surfaces

abstract: At separations below 100 nm, Casimir-Lifshitz forces strongly influence the actuation dynamics of micro-electromechanical systems (MEMS) in dry vacuum conditions. For a micron size plate oscillating near a surface, which mimics a frequently used setup in experiments with MEMS, we show that the roughness of the surfaces significantly influences the qualitative dynamics of the oscillator. Via a combination of analytical and numerical methods, it is shown that surface roughness leads to a clear increase of initial conditions associated with chaotic motion, that eventually lead to stiction between the surfaces. Since stiction leads to malfunction of MEMS oscillators, our results are of central interest for the design of microdevices. Moreover, they are of significance for fundamentally motivated experiments performed with MEMS.


title: Inertia Sets For Families of Graphs

abstract: This paper consists of a few results, discovered and proved during the 2012-2013 research group at Eastern Oregon University. Inertia tables are a visual representation of the possible inertias of a given graph. The inertia of a graph counts the number of real positive and negative eigenvalues of its corresponding adjacency matrix. The problem of studying inertia tables is directly related to the inverse eigenvalue problem and can be used as a tool for the minimum rank problem. This paper describes the inverse eigenvalue problem, and tools used. We describe a number of new general formulas for various simple undirected graphs and improved upon an established notation for inertia tables.


title: Centre de Bernstein dual pour les groupes classiques

abstract: In this article, we consider the links between parabolic induction and the local Langlands correspondence. We enunciate a conjecture about the (enhanced) Langlands parameters of supercuspidal representation of split reductives $p$-adics groups. We are able to verify this in those known cases of the local Langlands correspondence for linear groups and classical groups. Furthermore, in the case of classical groups, we can construct the "cuspidal support" of an enhanced Langlands parameter and get a decomposition of the set of enhanced Langlands parameters a la Bernstein. We check that these constructions match under the Langlands correspondence and as consequence, we obtain the compatibility of the Langlands correspondence with parabolic induction.


title: CLASH-VLT: Dissecting the Frontier Fields Galaxy Cluster MACS J0416.1-2403 with $\sim800$ Spectra of Member Galaxies

abstract: We present VIMOS-VLT spectroscopy of the Frontier Fields cluster MACS~J0416.1-2403 (z=0.397). Taken as part of the CLASH-VLT survey, the large spectroscopic campaign provided more than 4000 reliable redshifts, including ~800 cluster member galaxies. The unprecedented sample of cluster members at this redshift allows us to perform a highly detailed dynamical and structural analysis of the cluster out to ~2.2$r_{200}$ (~4Mpc). Our analysis of substructures reveals a complex system composed of a main massive cluster ($M_{200}$~0.9$\times 10^{15} M_{\odot}$) presenting two major features: i) a bimodal velocity distribution, showing two central peaks separated by $\Delta V_{rf}$~1100 km s$^{-1}$ with comparable galaxy content and velocity dispersion, ii) a projected elongation of the main substructures along the NE-SW direction, with a prominent subclump ~600 kpc SW of the center and an isolated BCG approximately halfway between the center and the SW clump. We also detect a low mass structure at z~0.390, ~10' S of the cluster center, projected at ~3Mpc, with a relative line-of-sight velocity of $\Delta V_{rf}$~-1700 km s$^{-1}$. The cluster mass profile that we obtain through our dynamical analysis deviates significantly from the "universal" NFW, being best fit by a Softened Isothermal Sphere model instead. The mass profile measured from the galaxy dynamics is found to be in relatively good agreement with those obtained from strong and weak lensing, as well as with that from the X-rays, despite the clearly unrelaxed nature of the cluster. Our results reveal overall a complex dynamical state of this massive cluster and support the hypothesis that the two main subclusters are being observed in a pre-collisional phase, in line with recent findings from radio and deep X-ray data. With this article we also release the entire redshift catalog of 4386 sources in the field of this cluster.


title: Modified Radon transform inversion using moments in $\mathbb{R}^2$

abstract: A modified Radon transform for noisy data is introduced and its inversion formula is established. The problem of recovering the multivariate probability density function $f$ from the moments of its modified Radon transform $\widehat{R}f$ is considered.


title: Dark Matter from the vector of SO(10)

abstract: SO(10) grand unified theories can ensure the stability of new particles in terms of the gauge group structure itself, and in this respect are well suited to accommodate dark matter (DM) candidates in the form of new stable massive particles. We introduce new fermions in two vector 10 representations. When SO(10) is broken to the standard model by a minimal 45 + 126 + 10 scalar sector with $SU(3)_C \otimes SU(2)_L \otimes SU(2)_R\otimes U(1)_{B-L}$ as intermediate symmetry group, the resulting lightest new states are two Dirac fermions corresponding to combinations of the neutral members of the $SU(2)_L$ doublets in the 10's, which get splitted in mass by loop corrections involving $W_R$. The resulting lighter mass eigenstate is stable, and has only non-diagonal $Z_{L,R}$ neutral current couplings to the heavier neutral state. Direct detection searches are evaded if the mass splitting is sufficiently large to suppress kinematically inelastic light-to-heavy scatterings. By requiring that this condition is satisfied, we obtain the upper limit $M_{W_R} \lesssim 25$ TeV.


title: Improved Approximation Algorithms for Relay Placement

abstract: In the relay placement problem the input is a set of sensors and a number $r \ge 1$, the communication range of a relay. In the one-tier version of the problem the objective is to place a minimum number of relays so that between every pair of sensors there is a path through sensors and/or relays such that the consecutive vertices of the path are within distance $r$ if both vertices are relays and within distance 1 otherwise. The two-tier version adds the restrictions that the path must go through relays, and not through sensors. We present a 3.11-approximation algorithm for the one-tier version and a PTAS for the two-tier version. We also show that the one-tier version admits no PTAS, assuming P $\ne$ NP.


title: Resolving the HD 100546 Protoplanetary System with the Gemini Planet Imager: Evidence for Multiple Forming, Accreting Planets

abstract: We report Gemini Planet Imager H band high-contrast imaging/integral field spectroscopy and polarimetry of the HD 100546, a 10 $Myr$-old early-type star recently confirmed to host a thermal infrared bright (super)jovian protoplanet at wide separation, HD 100546 b. We resolve the inner disk cavity in polarized light, recover the thermal-infrared (IR) bright arm, and identify one additional spiral arm. We easily recover HD 100546 b and show that much of its emission originates an unresolved, point source. HD 100546 b likely has extremely red infrared colors compared to field brown dwarfs, qualitatively similar to young cloudy superjovian planets, however, these colors may instead indicate that HD 100546 b is still accreting material from a circumplanetary disk. Additionally, we identify a second point source-like peak at $r_{proj}$ $\sim$ 14 AU, located just interior to or at inner disk wall consistent with being a 10--20 $M_{J}$ candidate second protoplanet-- "HD 100546 c" -- and lying within a weakly polarized region of the disk but along an extension of the thermal IR bright spiral arm. Alternatively, it is equally plausible that this feature is a weakly polarized but locally bright region of the inner disk wall. Astrometric monitoring of this feature over the next 2 years and emission line measurements could confirm its status as a protoplanet, rotating disk hot spot that is possibly a signpost of a protoplanet, or a stationary emission source from within the disk.


title: Asymptotics of lattice walks via analytic combinatorics in several variables

abstract: We consider the enumeration of walks on the two dimensional non-negative integer lattice with short steps. Up to isomorphism there are 79 unique two dimensional models to consider, and previous work in this area has used the kernel method, along with a rigorous computer algebra approach, to show that 23 of the 79 models admit D-finite generating functions. In 2009, Bostan and Kauers used Pad\'e-Hermite approximants to guess differential equations which these 23 generating functions satisfy, in the process guessing asymptotics of their coefficient sequences. In this article we provide, for the first time, a complete rigorous verification of these guesses. Our technique is to use the kernel method to express 19 of the 23 generating functions as diagonals of tri-variate rational functions and apply the methods of analytic combinatorics in several variables (the remaining 4 models have algebraic generating functions and can thus be handled by univariate techniques). This approach also shows the link between combinatorial properties of the models and features of its asymptotics such as asymptotic and polynomial growth factors. In addition, we give expressions for the number of walks returning to the x-axis, the y-axis, and the origin, proving recently conjectured asymptotics of Bostan, Chyzak, van Hoeij, Kauers, and Pech.


title: Proceedings Workshop on Models for Formal Analysis of Real Systems

abstract: This volume contains the proceedings of MARS 2015, the first workshop on Models for Formal Analysis of Real Systems, held on November 23, 2015 in Suva, Fiji, as an affiliated workshop of LPAR 2015, the 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. The workshop emphasises modelling over verification. It aims at discussing the lessons learned from making formal methods for the verification and analysis of realistic systems. Examples are: (1) Which formalism is chosen, and why? (2) Which abstractions have to be made and why? (3) How are important characteristics of the system modelled? (4) Were there any complications while modelling the system? (5) Which measures were taken to guarantee the accuracy of the model? We invited papers that present full models of real systems, which may lay the basis for future comparison and analysis. An aim of the workshop is to present different modelling approaches and discuss pros and cons for each of them. Alternative formal descriptions of the systems presented at this workshop are encouraged, which should foster the development of improved specification formalisms.


title: Proceedings First International Workshop on Focusing

abstract: This volume constitutes the proceedings of WoF'15, the First International Workshop on Focusing, held on November 23rd, 2015 in Suva, Fiji. The workshop was a half-day satellite event of LPAR-20, the 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning. The program committee selected four papers for presentation at WoF'15, and inclusion in this volume. In addition, the program included an invited talk by Elaine Pimentel. Focusing is a proof search strategy that alternates two phases: an inversion phase where invertible sequent rules are applied exhaustively and a chaining phase where it selects a formula and decomposes it maximally using non-invertible rules. Focusing is one of the most exciting recent developments in computational logic: it is complete for many logics of interest and provides a foundation for their use as programming languages and rewriting calculi.


title: On 2d incompressible Euler equations with partial damping

abstract: We consider various questions about the 2d incompressible Navier-Stokes and Euler equations on a torus when dissipation is removed from or added to some of the Fourier modes.


title: Asymptotic Safety in the Conformal Hidden Sector?

abstract: We combine the notion of asymptotic safety (AS) with conformal invariance in a hidden sector beyond the Standard Model. We use the renormalization group (RG) equations as a bridge to connect UV boundary conditions and EW/TeV scale physics and furnish a detailed example in the context of a leptophobic $U(1)'$ model. A broad selection of UV boundary conditions are formulated corresponding to differing AS scenarios, and we find an AS scenario with very strong predictive power, allowing unique determination of most of the parameters in the model. We obtain the interrelationships among the couplings, the transition scale of the fixed point $M_{UV}$ and the generations of quarks coupled to the $Z'$, and especially the correlation between $M_{UV}$ and the top quark Yukawa coupling $Y_t$. Several phenomenological implications of our results are presented for selected $Z'$ masses.


title: Stabilization of Topological Insulator Emerging from Electron Correlations on Honeycomb Lattice and Its Possible Relevance in Twisted Bilayer Graphene

abstract: Realization and design of topological insulators emerging from electron correlations, called topological Mott insulators (TMIs), is pursued by using mean-field approximations as well as multi-variable variational Monte Carlo (MVMC) methods for Dirac electrons on honeycomb lattices. The topological insulator phases predicted in the previous studies by the mean-field approximation for an extended Hubbard model on the honeycomb lattice turn out to disappear, when we consider the possibility of a long-period charge-density-wave (CDW) order taking over the TMI phase. Nevertheless, we further show that the TMI phase is still stabilized when we are able to tune the Fermi velocity of the Dirac point of the electron band. Beyond the limitation of the mean-field calculation, we apply the newly developed MVMC to make accurate predictions after including the many-body and quantum fluctuations. By taking the extrapolation to the thermodynamic and weak external field limit, we present realistic criteria for the emergence of the topological insulator caused by the electron correlations. By suppressing the Fermi velocity to a tenth of that of the original honeycomb lattice, the topological insulator emerges in an extended region as a spontaneous symmetry breaking surviving competitions with other orders. We discuss experimental ways to realize it in a bilayer graphenesystem.


title: The Gerstenhaber bracket as a Schouten bracket for polynomial rings extended by finite groups

abstract: We apply new techniques to Gerstenhaber brackets on the Hochschild cohomology of a skew group algebra formed from a polynomial ring and a finite group (in characteristic 0). We show that the Gerstenhaber brackets can always be expressed in terms of Schouten brackets. We obtain as consequences some conditions under which brackets are always 0, strengthening known results.


title: Order Determination of Large Dimensional Dynamic Factor Model

abstract: Consider the following dynamic factor model: $\mathbf{R}_t=\sum_{i=0}^q \mathbf{\Lambda}_i \mathbf{f}_{t-i}+\mathbf{e}_t,t=1,...,T$, where $\mathbf{\Lambda}_i$ is an $n\times k$ loading matrix of full rank, $\{\mathbf{f}_t\}$ are i.i.d. $k\times1$-factors, and $\mathbf{e}_t$ are independent $n\times1$ white noises. Now, assuming that $n/T\to c>0$, we want to estimate the orders $k$ and $q$ respectively. Define a random matrix $$\mathbf{\Phi}_n(\tau)=\frac{1}{2T}\sum_{j=1}^T (\mathbf{R}_j \mathbf{R}_{j+\tau}^* + \mathbf{R}_{j+\tau} \mathbf{R}_j^*),$$ where $\tau\ge 0$ is an integer. When there are no factors, the matrix $\Phi_{n}(\tau)$ reduces to $$\mathbf{M}_n(\tau) = \frac{1}{2T} \sum_{j=1}^T (\mathbf{e}_j \mathbf{e}_{j+\tau}^* + \mathbf{e}_{j+\tau} \mathbf{e}_j^*).$$ When $\tau=0$, $\mathbf{M}_n(\tau)$ reduces to the usual sample covariance matrix whose ESD tends to the well known MP law and $\mathbf{\Phi}_n(0)$ reduces to the standard spike model. Hence the number $k(q+1)$ can be estimated by the number of spiked eigenvalues of $\mathbf{\Phi}_n(0)$. To obtain separate estimates of $k$ and $q$ , we have employed the spectral analysis of $\mathbf{M}_n(\tau)$ and established the spiked model analysis for $\mathbf{\Phi}_n(\tau)$.


title: Energy and discrepancy of rotationally invariant determinantal point processes in high dimensional spheres

abstract: We study expected Riesz s-energies and linear statistics of some determinantal processes on the sphere. In particular, we compute the expected Riesz and logarithmic energies of the determinantal processes given by the reproducing kernel of the space of spherical harmonics. This kernel defines the so called harmonic ensemble on the sphere. With these computations we improve previous estimates for the discrete minimal energy of configurations of points in the sphere. We prove a comparison result for Riesz 2-energies of points defined through determinantal point processes associated to isotropic kernels. As a corollary we get that the Riesz 2-energy of the harmonic ensemble is optimal among ensembles defined by isotropic kernels with the same trace. Finally, we study the variance of smooth and rough linear statistics for the harmonic ensemble and compare the results with the variance for the spherical ensemble.


title: Deformed and twisted black holes with NUTs

abstract: We construct a new class of vacuum black hole solutions whose geometry is deformed and twisted by the presence of NUT charges. The solutions are obtained by `unspinning' the general Kerr-NUT-(A)dS spacetimes, effectively switching off some of their rotation parameters. The resulting geometry has a structure of warped space with the Kerr-like Lorentzian part warped to a Euclidean metric of deformed and/or twisted sphere, with the deformation and twist characterized by the `Euclidean NUT' parameters. In the absence of NUTs, the solution reduces to a well known Kerr-(A)dS black hole with several rotations switched off. New geometries inherit the original symmetry of the Kerr-NUT-(A)dS family, namely, they possess the full Killing tower of hidden and explicit symmetries. As expected, for vanishing NUT, twist, and deformation parameters, the symmetry is further enlarged.


title: Exponential Segregation in a Two-Dimensional Schelling Model with Tolerant Individuals

abstract: We prove that the two-dimensional Schelling segregation model yields monochromatic regions of size exponential in the area of individuals' neighborhoods, provided that the tolerance parameter is a constant strictly less than 1/2 but sufficiently close to it. Our analysis makes use of a connection with the first-passage percolation model from the theory of stochastic processes.


title: On the Tits p-indexes of semisimple algebraic groups

abstract: The first author has recently shown that semisimple algebraic groups are classified up to motivic equivalence by the local versions of the classical Tits indexes over field extensions, known as Tits p-indexes. We provide in this article the complete description of the values of the Tits p-indexes over fields. From this exhaustive study, we also deduce criteria of motivic equivalence for semisimple groups of many types, hence giving a dictionary between classic algebraic structures, representation theory, cohomological invariants and Chow motives of the twisted flag varieties for those groups.


title: Azimuthons and pattern formation in annularly confined exciton-polariton Bose-Einstein condensates

abstract: We present numerical analysis of steady states in a two-component (spinor) driven-dissipative quantum fluid formed by condensed exciton-polaritons in an annular optically induced trap. We demonstrate that an incoherent ring-shaped optical pump creating the exciton-polariton confinement supports the existence of stationary and rotating azimuthon steady states with azimuthally modulated density. Such states can be imprinted by coherent light pulses with a defined orbital angular momentum, as well as generated spontaneously in the presence of thermal noise.


title: Speed learning on the fly

abstract: The practical performance of online stochastic gradient descent algorithms is highly dependent on the chosen step size, which must be tediously hand-tuned in many applications. The same is true for more advanced variants of stochastic gradients, such as SAGA, SVRG, or AdaGrad. Here we propose to adapt the step size by performing a gradient descent on the step size itself, viewing the whole performance of the learning trajectory as a function of step size. Importantly, this adaptation can be computed online at little cost, without having to iterate backward passes over the full data.


title: Dynamical structure of Pure Lovelock gravity

abstract: We study dynamical structure of Pure Lovelock gravity in spacetime dimensions higher than four using the Hamiltonian formalism. The action consists of cosmological constant and a single higher-order polynomial in the Riemann tensor. Similarly to Einstein-Hilbert action, it possesses a unique constant curvature vacuum and charged black hole solutions. We analyze physical degrees of freedom and local symmetries in this theory. In contrast to the Einstein-Hilbert case, a number of degrees of freedom depends on the background and can vary from zero to the maximal value carried by the Lovelock theory.


title: Neutrino and gravitational wave signal of a delayed-detonation model of Type Ia supernovae

abstract: The progenitor system(s) and the explosion mechanism(s) of Type Ia supernovae (SNe Ia) are still under debate. Non-electromagnetic observables, in particular gravitational waves and neutrino emission, of thermonuclear supernovae are a complementary window to light curves and spectra for studying these enigmatic objects. A leading model for SNe Ia is the thermonuclear incineration of a near-Chandrasekhar mass carbon-oxygen white dwarf star in a "delayed-detonation". We calculate a three-dimensional hydrodynamic explosion for the N100 delayed-detonation model extensively discussed in the literature, taking the dynamical effects of neutrino emission from all important contributing source terms into account. Although neutrinos carry away $2 \times 10^{49}$ erg of energy, we confirm the common view that neutrino energy losses are dynamically not very important, resulting in only a modest reduction of the final kinetic energy by two per cent. We then calculate the gravitational wave signal from the time evolution of the quadrupole moment. Our model radiates $7 \times 10^{39}$ erg in gravitational waves and the spectrum has a pronounced peak around 0.4 Hz. Depending on viewing angle and polarization, we find that the future space-based gravitational wave missions DECIGO and BBO would be able to detect our source to a distance of 1.3 Mpc. We predict a clear signature of the deflagration-to-detonation transition in the neutrino and the gravitational wave signals. If observed, such a feature would be a strong indicator of the realization of delayed-detonations in near-Chandrasekhar mass white dwarfs.


title: Sandwiching the marginal likelihood using bidirectional Monte Carlo

abstract: Computing the marginal likelihood (ML) of a model requires marginalizing out all of the parameters and latent variables, a difficult high-dimensional summation or integration problem. To make matters worse, it is often hard to measure the accuracy of one's ML estimates. We present bidirectional Monte Carlo, a technique for obtaining accurate log-ML estimates on data simulated from a model. This method obtains stochastic lower bounds on the log-ML using annealed importance sampling or sequential Monte Carlo, and obtains stochastic upper bounds by running these same algorithms in reverse starting from an exact posterior sample. The true value can be sandwiched between these two stochastic bounds with high probability. Using the ground truth log-ML estimates obtained from our method, we quantitatively evaluate a wide variety of existing ML estimators on several latent variable models: clustering, a low rank approximation, and a binary attributes model. These experiments yield insights into how to accurately estimate marginal likelihoods.


title: On unavoidable induced subgraphs in large prime graphs

abstract: Chudnovsky, Kim, Oum, and Seymour recently established that any prime graph contains one of a short list of induced prime subgraphs [1]. In the present paper we reprove their theorem using many of the same ideas, but with the key model-theoretic ingredient of first determining the so-called amount of stability of the graph. This approach changes the applicable Ramsey theorem, improves the bounds and offers a different structural perspective on the graphs in question. Complementing this, we give an infinitary proof which implies the finite result.


title: A Fractional-Order Infectivity SIR Model

abstract: Fractional-order SIR models have become increasingly popular in the literature in recent years, however unlike the standard SIR model, they often lack a derivation from an underlying stochastic process. Here we derive a fractional-order infectivity SIR model from a stochastic process that incorporates a time-since-infection dependence on the infectivity of individuals. The fractional derivative appears in the generalised master equations of a continuous time random walk through SIR compartments, with a power-law function in the infectivity. We show that this model can also be formulated as an infection-age structured Kermack-McKendrick integro-differential SIR model. Under the appropriate limit the fractional infectivity model reduces to the standard ordinary differential equation SIR model.


title: Existence of axially symmetric weak solutions to steady MHD with non-homogeneous boundary conditions

abstract: We establish the existence of axially symmetric weak solutions to steady incompressible magnetohydrodynamics with non-homogeneous boundary conditions. The key issue is the Bernoulli's law for the total head pressure $\Phi=\f 12(|{\bf u}|^2+|{\bf h}|^2)+p$ to a special class of solutions to the inviscid, non-resistive MHD system, where the magnetic field only contains the swirl component.


title: Decentralized Algorithms for 3D Symmetric Formations in Robotic Networks: a Contraction Theory Approach

abstract: This paper presents decentralized algorithms for formation control of multiple robots in three dimensions. Specifically, we leverage the mathematical properties of cyclic pursuit along with results from contraction and partial contraction theory to design decentralized control algorithms that ensure global convergence to symmetric formations. We first consider regular polygon formations as a base case, and then extend the results to Johnson solid and other polygonal mesh formations. The algorithms are further augmented to allow control over formation size and avoid collisions with other robots in the formation. The robustness properties of the algorithms are assessed in the presence of bounded additive disturbances and their effect on the quality of the formation is quantified. Finally, we present a general methodology for embedding the control laws on complex dynamical systems, in this case, quadcopters, and validate this approach via simulations and experiments on a fleet of quadcopters.


title: Distributed Security Constrained Economic Dispatch

abstract: In this paper, we investigate two decomposition methods for their convergence rate which are used to solve security constrained economic dispatch (SCED): 1) Lagrangian Relaxation (LR), and 2) Augmented Lagrangian Relaxation (ALR). First, the centralized SCED problem is posed for a 6-bus test network and then it is decomposed into subproblems using both of the methods. In order to model the tie-line between decomposed areas of the test network, a novel method is proposed. The advantages and drawbacks of each method are discussed in terms of accuracy and information privacy. We show that there is a tradeoff between the information privacy and the convergence rate. It has been found that ALR converges faster compared to LR, due to the large amount of shared data.


title: Quantifying the Origins of Life on a Planetary Scale

abstract: A simple, heuristic formula with parallels to the Drake Equation is introduced to help focus discussion on open questions for the origins of life in a planetary context. This approach indicates a number of areas where quantitative progress can be made on parameter estimation for determining origins of life probabilities. We also suggest that the probability of origin of life events can be dramatically increased on planets with parallel chemistries that can undergo the development of complexity, and in solar systems where more than one planet is available for chemical evolution, and where efficient impact ejecta exchange occurs, increasing the effective chemical search space and available time.


title: Cross-wired lamplighter groups and linearity of automata groups

abstract: We consider the two generalizations of lamplighter groups: automata groups generated by Cayley machine and cross-wired lamplighter groups. For a finite step two nilpotent group with central squares, we study its associated Cayley machine and give a presentation of the corresponding automata group. We show the automata group is a cross-wired lamplighter group and does not embed in the wreath product of a finite group with a torsion free group. For a subfamily of such finite step two nilpotent groups, we prove that their associated automata groups are linear.


title: Backward Iteration Algorithms for Julia sets of M\"obius Semigroups

abstract: We extend a result regarding the Random Backward Iteration algorithm for drawing Julia sets (known to work for certain rational semigroups containing a non-M\"obius element) to a class of M\"obius semigroups which includes certain settings not yet been dealt with in the literature, namely, when the Julia set is not a thick attractor in the sense given in [David Fried, Sebastian. M. Marotta, and Rich Stankewitz, Complex dynamics of M\"obius semigroups, Ergodic Theory Dynam. Systems, 32(6):1889--1929, 2012].


title: Estimation for bivariate quantile varying coefficient model

abstract: We propose a bivariate quantile regression method for the bivariate varying coefficient model through a directional approach. The varying coefficients are approximated by the B-spline basis and an $L_{2}$ type penalty is imposed to achieve desired smoothness. We develop a multistage estimation procedure based the Propagation-Separation~(PS) approach to borrow information from nearby directions. The PS method is capable of handling the computational complexity raised by simultaneously considering multiple directions to efficiently estimate varying coefficients while guaranteeing certain smoothness along directions. We reformulate the optimization problem and solve it by the Alternating Direction Method of Multipliers~(ADMM), which is implemented using R while the core is written in C to speed it up. Simulation studies are conducted to confirm the finite sample performance of our proposed method. A real data on Diffusion Tensor Imaging~(DTI) properties from a clinical study on neurodevelopment is analyzed.


title: Proximity Effect Induced Electronic Properties of Epitaxial Graphene on Bi2Te2Se

abstract: We report that the {\pi}-electrons of graphene can be spin-polarized to create a phase with a significant spin-orbit gap at the Dirac point (DP) using a graphene-interfaced topological insulator hybrid material. We have grown epitaxial Bi2Te2Se (BTS) films on a chemical vapor deposition (CVD) graphene. We observe two linear surface bands both from the CVD graphene notably flattened and BTS coexisting with their DPs separated by 0.53 eV in the photoemission data measured with synchrotron photons. We further demonstrate that the separation between the two DPs, {\Delta}D-D, can be artificially fine-tuned by adjusting the amount of Cs atoms adsorbed on the graphene to a value as small as {\Delta}D-D = 0.12 eV to find any proximity effect induced by the DPs. Our density functional theory calculation shows a spin-orbit gap of ~20 meV in the {\pi}-band enhanced by three orders of magnitude from that of a pristine graphene, and a concomitant phase transition from a semi-metallic to a quantum spin Hall phase when {\Delta}D-D $\leq$ 0.20 eV. We thus present a practical means of spin-polarizing the {\pi}-band of graphene, which can be pivotal to advance the graphene-based spintronics.


title: Deep Recurrent Neural Networks for Sequential Phenotype Prediction in Genomics

abstract: In analyzing of modern biological data, we are often dealing with ill-posed problems and missing data, mostly due to high dimensionality and multicollinearity of the dataset. In this paper, we have proposed a system based on matrix factorization (MF) and deep recurrent neural networks (DRNNs) for genotype imputation and phenotype sequences prediction. In order to model the long-term dependencies of phenotype data, the new Recurrent Linear Units (ReLU) learning strategy is utilized for the first time. The proposed model is implemented for parallel processing on central processing units (CPUs) and graphic processing units (GPUs). Performance of the proposed model is compared with other training algorithms for learning long-term dependencies as well as the sparse partial least square (SPLS) method on a set of genotype and phenotype data with 604 samples, 1980 single-nucleotide polymorphisms (SNPs), and two traits. The results demonstrate performance of the ReLU training algorithm in learning long-term dependencies in RNNs.


title: Nuclear isospin asymmetry in $\alpha$ decays of heavy nuclei

abstract: The effects of nuclear isospin asymmetry on $\alpha$ decay lifetimes of heavy nuclei are investigated within various phenomenological models of nuclear potential for the $\alpha$ particle. We consider the widely used simple square well potential and Woods-Saxon potential, and modify them by including an isospin asymmetry term. We then suggest a model for the potential of the $\alpha$ particle motivated by a microscopic phenomenological approach of the Skyrme force model, which naturally introduce the isospin dependent form of the nuclear potential for the $\alpha$ particle. The empirical $\alpha$ decay lifetime formula of Viola and Seaborg is also modified to include isospin asymmetry effects. The obtained $\alpha$ decay half-lives are in good agreement with the experimental data and we find that including the nuclear isospin effects somehow improves the theoretical results for $\alpha$ decay half-lives. The implications of these results are discussed and the predictions on the $\alpha$ decay lifetimes of superheavy elements are also presented.


title: Sentiment Expression via Emoticons on Social Media

abstract: Emoticons (e.g., :) and :( ) have been widely used in sentiment analysis and other NLP tasks as features to ma- chine learning algorithms or as entries of sentiment lexicons. In this paper, we argue that while emoticons are strong and common signals of sentiment expression on social media the relationship between emoticons and sentiment polarity are not always clear. Thus, any algorithm that deals with sentiment polarity should take emoticons into account but extreme cau- tion should be exercised in which emoticons to depend on. First, to demonstrate the prevalence of emoticons on social media, we analyzed the frequency of emoticons in a large re- cent Twitter data set. Then we carried out four analyses to examine the relationship between emoticons and sentiment polarity as well as the contexts in which emoticons are used. The first analysis surveyed a group of participants for their perceived sentiment polarity of the most frequent emoticons. The second analysis examined clustering of words and emoti- cons to better understand the meaning conveyed by the emoti- cons. The third analysis compared the sentiment polarity of microblog posts before and after emoticons were removed from the text. The last analysis tested the hypothesis that removing emoticons from text hurts sentiment classification by training two machine learning models with and without emoticons in the text respectively. The results confirms the arguments that: 1) a few emoticons are strong and reliable signals of sentiment polarity and one should take advantage of them in any senti- ment analysis; 2) a large group of the emoticons conveys com- plicated sentiment hence they should be treated with extreme caution.


title: Linear magnetoresistance induced by intra-scattering semiclassics of Bloch electrons

abstract: The weak field magnetoresistance has seen a revived interest due to the distinct role played by the momentum-space Berry curvature of Bloch electrons. While most previous studies in this regard focus on the inter-scattering motion of semiclassical Bloch electrons in electromagnetic fields, the intra-scattering effects of the semiclassical dynamics augmented by the Berry curvature, magnetic moment and shift vector on the magnetoresistance have been largely overlooked. Here we uncover that these intra-scattering effects, which are neglected in the field-independent relaxation time approximation to the Boltzmann collision integral, can be as important as the inter-scattering ones. Concrete calculations on the two dimensional gapped Dirac model show that the sign of the negative linear magnetoresistance given by the Berry curvature alone is reversed when one considers the magnetic moment and shift vector.