title: Training with Exploration Improves a Greedy Stack-LSTM Parser

abstract: We adapt the greedy Stack-LSTM dependency parser of Dyer et al. (2015) to support a training-with-exploration procedure using dynamic oracles(Goldberg and Nivre, 2013) instead of cross-entropy minimization. This form of training, which accounts for model predictions at training time rather than assuming an error-free action history, improves parsing accuracies for both English and Chinese, obtaining very strong results for both languages. We discuss some modifications needed in order to get training with exploration to work well for a probabilistic neural-network.


title: Atomic-scale control of magnetic anisotropy via novel spin-orbit coupling effect in La2/3Sr1/3MnO3/SrIrO3 superlattices

abstract: Magnetic anisotropy (MA) is one of the most important material properties for modern spintronic devices. Conventional manipulation of the intrinsic MA, i.e. magnetocrystalline anisotropy (MCA), typically depends upon crystal symmetry. Extrinsic control over the MA is usually achieved by introducing shape anisotropy or exchange bias from another magnetically ordered material. Here we demonstrate a pathway to manipulate MA of 3d transition metal oxides (TMOs) by digitally inserting non-magnetic 5d TMOs with pronounced spin-orbit coupling (SOC). High quality superlattices comprised of ferromagnetic La2/3Sr1/3MnO3 (LSMO) and paramagnetic SrIrO3 (SIO) are synthesized with the precise control of thickness at atomic scale. Magnetic easy axis reorientation is observed by controlling the dimensionality of SIO, mediated through the emergence of a novel spin-orbit state within the nominally paramagnetic SIO.


title: Demonstrating the Feasibility of Automatic Game Balancing

abstract: Game balancing is an important part of the (computer) game design process, in which designers adapt a game prototype so that the resulting gameplay is as entertaining as possible. In industry, the evaluation of a game is often based on costly playtests with human players. It suggests itself to automate this process using surrogate models for the prediction of gameplay and outcome. In this paper, the feasibility of automatic balancing using simulation- and deck-based objectives is investigated for the card game top trumps. Additionally, the necessity of a multi-objective approach is asserted by a comparison with the only known (single-objective) method. We apply a multi-objective evolutionary algorithm to obtain decks that optimise objectives, e.g. win rate and average number of tricks, developed to express the fairness and the excitement of a game of top trumps. The results are compared with decks from published top trumps decks using simulation-based objectives. The possibility to generate decks better or at least as good as decks from published top trumps decks in terms of these objectives is demonstrated. Our results indicate that automatic balancing with the presented approach is feasible even for more complex games such as real-time strategy games.


title: Adjoint Multi-Start Based Estimation of Cardiac Hyperelastic Material Parameters using Shear Data

abstract: Cardiac muscle tissue during relaxation is commonly modelled as a hyperelastic material with strongly nonlinear and anisotropic stress response. Adapting the behavior of such a model to experimental or patient data gives rise to a parameter estimation problem which involves a significant number of parameters. Gradient-based optimization algorithms provide a way to solve such nonlinear parameter estimation problems with relatively few iterations, but require the gradient of the objective functional with respect to the model parameters. This gradient has traditionally been obtained using finite differences, the calculation of which scales linearly with the number of model parameters, and introduces a differencing error. By using an automatically derived adjoint equation, we are able to calculate this gradient more efficiently, and with minimal implementation effort. We test this adjoint framework on a least squares fitting problem involving data from simple shear tests on cardiac tissue samples. A second challenge which arises in gradient-based optimization is the dependency of the algorithm on a suitable initial guess. We show how a multi-start procedure can alleviate this dependency. Finally, we provide estimates for the material parameters of the Holzapfel and Ogden strain energy law using finite element models together with experimental shear data.


title: Lectures on Dark Matter Physics

abstract: Rotation curve measurements provided the first strong indication that a significant fraction of matter in the Universe is non-baryonic. Since then, a tremendous amount of progress has been made on both the theoretical and experimental fronts in the search for this missing matter, which we now know constitutes nearly 85% of the Universe's matter density. These series of lectures, first given at the TASI 2015 summer school, provide an introduction to the basics of dark matter physics. They are geared for the advanced undergraduate or graduate student interested in pursuing research in high-energy physics. The primary goal is to build an understanding of how observations constrain the assumptions that can be made about the astro- and particle physics properties of dark matter. The lectures begin by delineating the basic assumptions that can be inferred about dark matter from rotation curves. A detailed discussion of thermal dark matter follows, motivating Weakly Interacting Massive Particles, as well as lighter-mass alternatives. As an application of these concepts, the phenomenology of direct and indirect detection experiments is discussed in detail.


title: ALFALFA Discovery of the Most Metal-Poor Gas-Rich Galaxy Known: AGC 198691

abstract: We present spectroscopic observations of the nearby dwarf galaxy AGC 198691. This object is part of the Survey of HI in Extremely Low-Mass Dwarfs (SHIELD) project, which is a multi-wavelength study of galaxies with HI masses in the range of 10$^{6}$-10$^{7.2}$~M$_{\odot}$ discovered by the ALFALFA survey. We have obtained spectra of the lone HII region in AGC 198691 with the new high-throughput KPNO Ohio State Multi-Object Spectrograph (KOSMOS) on the Mayall 4-m as well as with the Blue Channel spectrograph on the MMT 6.5-m telescope. These observations enable the measurement of the temperature-sensitive [OIII]$\lambda$4363 line and hence the determination of a "direct" oxygen abundance for AGC 198691. We find this system to be an extremely metal-deficient (XMD) system with an oxygen abundance of 12+log(O/H) = 7.02 $\pm$ 0.03, making AGC 198691 the lowest-abundance star-forming galaxy known in the local universe. Two of the five lowest-abundance galaxies known have been discovered by the ALFALFA blind HI survey; this high yield of XMD galaxies represents a paradigm shift in the search for extremely metal-poor galaxies.


title: $\ell_1$ Adaptive Trend Filter via Fast Coordinate Descent

abstract: Identifying the unknown underlying trend of a given noisy signal is extremely useful for a wide range of applications. The number of potential trends might be exponential, which can be computationally exhaustive even for short signals. Another challenge, is the presence of abrupt changes and outliers at unknown times which impart resourceful information regarding the signal's characteristics. In this paper, we present the $\ell_1$ Adaptive Trend Filter, which can consistently identify the components in the underlying trend and multiple level-shifts, even in the presence of outliers. Additionally, an enhanced coordinate descent algorithm which exploit the filter design is presented. Some implementation details are discussed and a version in the Julia language is presented along with two distinct applications to illustrate the filter's potential.


title: Diophantine approximation on matrices and Lie groups

abstract: We study the general problem of extremality for metric Diophantine approximation on submanifolds of matrices. We formulate a criterion for extremality in terms of a certain family of algebraic obstructions and show that it is sharp. In general, the almost sure diophantine exponent of a submanifold is shown to depend only on its Zariski closure, and when the latter is defined over the rational numbers, we prove that the exponent is rational and give a method to effectively compute it. This method is applied to a number of cases of interest, in particular, we manage to determine the diophantine exponent of random subgroups of certain nilpotent Lie groups in terms of representation theoretic data.


title: Thermal Pressures in the Interstellar Medium of the Magellanic Clouds

abstract: We discuss the thermal pressures ($n_H T$) in predominantly cold, neutral interstellar gas in the Magellanic Clouds, derived from analyses of the fine-structure excitation of neutral carbon, as seen in high-resolution HST/STIS spectra of seven diverse sight lines in the LMC and SMC. Detailed fits to the line profiles of the absorption from C I, C I*, and C I** yield consistent column densities for the 3--6 C I multiplets detected in each sight line. In the LMC and SMC, $N$(C I$_{\rm tot}$) is consistent with Galactic trends versus $N$(Na I) and $N$(CH), but is slightly lower versus $N$(K I) and $N$(H$_2$). As for $N$(Na I) and $N$(K I), $N$(C I$_{\rm tot}$) is generally significantly lower, for a given $N$(H$_{\rm tot}$), in the LMC and (especially) in the SMC, compared to the local Galactic relationship. For the LMC and SMC components with well determined column densities for C I, C I*, and C I**, the derived thermal pressures are typically factors of a few higher than the values found for most cold, neutral clouds in the Galactic ISM. Such differences are consistent with the predictions of models for clouds in systems (like the LMC and SMC) that are characterized by lower metallicities, lower dust-to-gas ratios, and enhanced radiation fields -- where higher pressures are required for stable cold, neutral clouds. The pressures may be further enhanced by energetic activity (e.g., due to stellar winds, star formation, and/or supernova remnants) in several of the regions probed by these sight lines. Comparisons are made with the C I observed in some quasar absorption-line systems.


title: Direct-Digital-Drive Microring Modulator

abstract: The method of Direct Digital Drive is applied to a microring resonator. The microring resonator is thus controlled by a segmented set of electrodes each of which is driven by binary (digital) signal. Digital linearization is performed with the aid of digital memory lookup table. The method is applied to a single microring modulator to provide an M-bit digital-toanalog converter (DAC), which may also be viewed as an M-level pulse amplitude modulator (M-PAM). It is shown, by means of simulation, that a 4-bit DAC can achieve an effective number of bits (ENOB) of 3.74bits. Applying the same method for two rings, enables the generation of two-dimensional optical M-QAM signals. It is shown, by means of simulation, that a 16-QAM modulator achieves an EVM better than -30dB.


title: Many intermingled basins in dimension 3

abstract: We construct a diffeomorphism of $\mathbb{T}^3$ admitting any finite or countable number of physical measures with intermingled basins. The examples are partially hyperbolic with splitting $T\mathbb{T}^3 = E^{cs} \oplus E^u$ and can be made volume hyperbolic and topologically mixing.


title: Optomechanical Quantum Control of a Nitrogen Vacancy Center in Diamond

abstract: We demonstrate optomechanical quantum control of the internal electronic states of a diamond nitrogen vacancy (NV) center in the resolved-sideband regime by coupling the NV to both optical fields and surface acoustic waves via a phonon-assisted optical transition and by taking advantage of the strong excited-state electron-phonon coupling of a NV center. Optomechanically-driven Rabi oscillations as well as quantum interferences between the optomechanical sideband and the direct dipole-optical transitions have been realized. These studies open the door to using resolved-sideband optomechanical coupling for quantum control of both the atom-like internal states and the motional states of a coupled NV-nanomechanical system, leading to the development of a solid-state analog of trapped ions.


title: Median-Truncated Nonconvex Approach for Phase Retrieval with Outliers

abstract: This paper investigates the phase retrieval problem, which aims to recover a signal from the magnitudes of its linear measurements. We develop statistically and computationally efficient algorithms for the situation when the measurements are corrupted by sparse outliers that can take arbitrary values. We propose a novel approach to robustify the gradient descent algorithm by using the sample median as a guide for pruning spurious samples in initialization and local search. Adopting the Poisson loss and the reshaped quadratic loss respectively, we obtain two algorithms termed median-TWF and median-RWF, both of which provably recover the signal from a near-optimal number of measurements when the measurement vectors are composed of i.i.d. Gaussian entries, up to a logarithmic factor, even when a constant fraction of the measurements are adversarially corrupted. We further show that both algorithms are stable in the presence of additional dense bounded noise. Our analysis is accomplished by developing non-trivial concentration results of median-related quantities, which may be of independent interest. We provide numerical experiments to demonstrate the effectiveness of our approach.


title: Mechanism Design for Subadditive Agents via an Ex-Ante Relaxation

abstract: We consider the problem of maximizing revenue for a monopolist offering multiple items to multiple heterogeneous buyers. We develop a simple mechanism that obtains a constant factor approximation under the assumption that the buyers' values are additive subject to a feasibility constraint and independent across items. Importantly, different buyers in our setting can have different constraints on the sets of items they desire. Our mechanism is a sequential variant of two-part tariffs. Prior to our work, simple approximation mechanisms for such multi-buyer problems were known only for the special cases of all unit-demand or all additive value buyers. Our work expands upon and unifies long lines of work on unit-demand settings and additive settings. We employ the ex ante relaxation approach developed by Alaei (2011) for reducing a multiple-buyer mechanism design problem with an ex post supply constraint into single-buyer ones with ex ante supply constraints. Solving the single-agent problems requires us to significantly extend techniques developed in the context of additive values by Li and Yao (2013) and their extension to subadditive values by Rubinstein and Weinberg (2015).


title: Separating hyperfine from spin-orbit interactions in organic semiconductors by multi-octave magnetic resonance using coplanar waveguide microresonators

abstract: Separating the influence of hyperfine from spin-orbit interactions in spin-dependent carrier recombination and dissociation processes necessitates magnetic resonance spectroscopy over a wide range of frequencies. We have designed compact and versatile coplanar waveguide resonators for continuous-wave electrically detected magnetic resonance, and tested these on organic light-emitting diodes. By exploiting both the fundamental and higher-harmonic modes of the resonators we cover almost five octaves in resonance frequency within a single setup. The measurements with a common pi-conjugated polymer as the active material reveal small but non-negligible effects of spin-orbit interactions, which give rise to a broadening of the magnetic resonance spectrum with increasing frequency.


title: Tangle Insertion Invariants for Pseudoknots, Singular Knots, and Rigid Vertex Spatial Graphs

abstract: The notion of a pseudoknot is defined as an equivalence class of knot diagrams that may be missing some crossing information. We provide here a topological invariant schema for pseudoknots and their relatives, 4-valent rigid vertex spatial graphs and singular knots, that is obtained by replacing unknown crossings or vertices by rational tangles.


title: Gold Standard for Expert Ranking: A Survey on the XWiki Dataset

abstract: We are designing an automated technique to find and recommend experts for helping in Requirements Engineering tasks, which can be done by ranking the available people by level of expertise. For evaluating the correctness of the rankings produced by the automated technique, we want to compare them to a gold standard. In this work, we ask external people to look at a set of discussions and to rank their participants, before to evaluate the reliability of these rankings to serve as a gold standard. We describe the setting and running of this survey, the method used to build the gold standard from the rankings of the subjects, and the analysis of the results to obtain and validate this gold standard. Through the analysis of the results, we conclude that we obtained a reasonable gold standard although we lack evidences to support its total correctness. We also made the interesting observation that the most reliable subjects build the least ordered rankings (i.e. has few ranks with several people per rank), which goes against the usual assumptions of Information Retrieval measures.


title: Critical temperature of two-dimensional hydrogenated multilayer graphene-based diluted ferromagnet

abstract: In the paper a theoretical study of critical (Curie) temperature of diluted ferromagnet based on multilayer graphene (or graphite) with hydrogen adatoms deposited over carbon atoms belonging to single sublattice is presented. The calculations are performed within Pair Approximation (PA) for diluted ferromagnetic system with long-range interactions. The method is able to take into account the spin-space anisotropy of coupling. The results obtained within Mean Field Approximation (MFA) are also presented for comparison. The assumed interaction between hydrogen adatom spins is inversely proportional to their mutual distance, with the additional exponential attenuation reflecting the presence of disorder in the system. The results obtained for a wide range of impurity concentrations and interaction decay length are discussed. The strongly non-linear behaviour of critical temperature as a function of dilution is predicted, at variance with MFA predictions. Moreover, MFA tends to overestimate heavily the critical temperature values compared to PA. An universal dependence of critical temperature on impurity concentration and interaction decay length is found for strong dilution regime.


title: Double roots of random polynomials with integer coefficients

abstract: We consider random polynomials whose coefficients are independent and identically distributed on the integers. We prove that if the coefficient distribution has bounded support and its probability to take any particular value is at most $\tfrac12$, then the probability of the polynomial to have a double root is dominated by the probability that either $0$, $1$, or $-1$ is a double root up to an error of $o(n^{-2})$. We also show that if the support of coefficient distribution excludes $0$ then the double root probability is $O(n^{-2})$. Our result generalizes a similar result of Peled, Sen and Zeitouni for Littlewood polynomials.


title: BMS Modules in Three Dimensions

abstract: We build unitary representations of the BMS algebra and its higher-spin extensions in three dimensions, using induced representations as a guide. Our prescription naturally emerges from an ultrarelativistic limit of highest-weight representations of Virasoro and W algebras, which is to be contrasted with non-relativistic limits that typically give non-unitary representations. To support this dichotomy, we also point out that the ultrarelativistic and non-relativistic limits of generic W algebras differ in the structure of their non-linear terms.


title: Multiplicative Function Mean Values: Asymptotic Estimates

abstract: Classical mean-value results of Wirsing type in analytic number theory are established under weaker than classical conditions.


title: Solving MaxSAT by Successive Calls to a SAT Solver

abstract: The Maximum Satisfiability (MaxSAT) problem is the problem of finding a truth assignment that maximizes the number of satisfied clauses of a given Boolean formula in Conjunctive Normal Form (CNF). Many exact solvers for MaxSAT have been developed during recent years, and many of them were presented in the well-known SAT conference. Algorithms for MaxSAT generally fall into two categories: (1) branch and bound algorithms and (2) algorithms that use successive calls to a SAT solver (SAT- based), which this paper in on. In practical problems, SAT-based algorithms have been shown to be more efficient. This paper provides an experimental investigation to compare the performance of recent SAT-based and branch and bound algorithms on the benchmarks of the MaxSAT Evaluations.


title: Initial validation for the estimation of resting-state fMRI effective connectivity by a generalization of the correlation approach

abstract: Resting-state functional MRI (rs-fMRI) is widely used to noninvasively study human brain networks. Network functional connectivity is often estimated by calculating the timeseries correlation between blood-oxygen-level dependent (BOLD) signal from different regions of interest. However, standard correlation cannot characterize the direction of information flow between regions. In this paper, we introduce and test a new concept, prediction correlation, to estimate effective connectivity in functional brain networks from rs-fMRI. In this approach, the correlation between two BOLD signals is replaced by a correlation between one BOLD signal and a prediction of this signal via a causal system driven by another BOLD signal. Three validations are described: (1) Prediction correlation performed well on simulated data where the ground truth was known, and outperformed four other methods. (2) On simulated data designed to display the "common driver" problem, prediction correlation did not introduce false connections between non-interacting driven ROIs. (3) On experimental data, prediction correlation recovered the previously identified network organization of human brain. Prediction correlation scales well to work with hundreds of ROIs, enabling it to assess whole brain interregional connectivity at the single subject level. These results provide an initial validation that prediction correlation can capture the direction of information flow and estimate the duration of extended temporal delays in information flow between regions of interest based on BOLD signal. This approach not only maintains the high sensitivity to network connectivity provided by the correlation analysis, but also performs well in the estimation of causal information flow in the brain.


title: Fluid flow vorticity measurement using laser beams with orbital angular momentum

abstract: We report on the direct measurements of fluid flow vorticity using a spatially shaped beam with a superposition of Laguerre-Gaussian modes that reports on the rotational Doppler shift from microparticles intersecting the beam focus. Experiments are carried out on fluid flows with well-characterized vorticity and the experimental results are found to be in excellent agreement with the expected values even for 200 ms integration times. This method allows for localized real-time determination of vorticity in a fluid flow.


title: Eigenvalue vs perimeter in a shape theorem for self-interacting random walks

abstract: We study paths of time-length $t$ of a continuous-time random walk on $\mathbb Z^2$ subject to self-interaction that depends on the geometry of the walk range and a collection of random, uniformly positive and finite edge weights. The interaction enters through a Gibbs weight at inverse temperature $\beta$; the "energy" is the total sum of the edge weights for edges on the outer boundary of the range. For edge weights sampled from a translation-invariant, ergodic law, we prove that the range boundary condensates around an asymptotic shape in the limit $t\to\infty$ followed by $\beta\to\infty$. The limit shape is a minimizer (unique, modulo translates) of the sum of the principal harmonic frequency of the domain and the perimeter with respect to the first-passage percolation norm derived from (the law of) the edge weights. A dense subset of all norms in $\mathbb R^2$, and thus a large variety of shapes, arise from the class of weight distributions to which our proofs apply.


title: Degree Four Plane Spanners: Simpler and Better

abstract: Let ${\cal P}$ be a set of $n$ points embedded in the plane, and let ${\cal C}$ be the complete Euclidean graph whose point-set is ${\cal P}$. Each edge in ${\cal C}$ between two points $p, q$ is realized as the line segment $[pq]$, and is assigned a weight equal to the Euclidean distance $|pq|$. In this paper, we show how to construct in $O(n\lg{n})$ time a plane spanner of ${\cal C}$ of maximum degree at most 4 and stretch factor at most 20. This improves a long sequence of results on the construction of plane spanners of ${\cal C}$. Our result matches the smallest known upper bound of 4 by Bonichon et al. on the maximum degree of plane spanners of ${\cal C}$, while significantly improving their stretch factor upper bound from 156.82 to 20. The construction of our spanner is based on Delaunay triangulations defined with respect to the equilateral-triangle distance, and uses a different approach than that used by Bonichon et al. Our approach leads to a simple and intuitive construction of a well-structured spanner, and reveals useful structural properties of the Delaunay triangulations defined with respect to the equilateral-triangle distance. The structure of the constructed spanner implies that when ${\cal P}$ is in convex position, the maximum degree of this spanner is at most 3. Combining the above degree upper bound with the fact that 3 is a lower bound on the maximum degree of any plane spanner of ${\cal C}$ when the point-set ${\cal P}$ is in convex position, the results in this paper give a tight bound of 3 on the maximum degree of plane spanners of ${\cal C}$ for point-sets in convex position.


title: Birth/birth-death processes and their computable transition probabilities with biological applications

abstract: Birth-death processes track the size of a univariate population, but many biological systems involve interaction between populations, necessitating models for two or more populations simultaneously. A lack of efficient methods for evaluating finite-time transition probabilities of bivariate processes, however, has restricted statistical inference in these models. Researchers rely on computationally expensive methods such as matrix exponentiation or Monte Carlo approximation, restricting likelihood-based inference to small systems, or indirect methods such as approximate Bayesian computation. In this paper, we introduce the birth(death)/birth-death process, a tractable bivariate extension of the birth-death process. We develop an efficient and robust algorithm to calculate the transition probabilities of birth(death)/birth-death processes using a continued fraction representation of their Laplace transforms. Next, we identify several exemplary models arising in molecular epidemiology, macro-parasite evolution, and infectious disease modeling that fall within this class, and demonstrate advantages of our proposed method over existing approaches to inference in these models. Notably, the ubiquitous stochastic susceptible-infectious-removed (SIR) model falls within this class, and we emphasize that computable transition probabilities newly enable direct inference of parameters in the SIR model. We also propose a very fast method for approximating the transition probabilities under the SIR model via a novel branching process simplification, and compare it to the continued fraction representation method with application to the 17th century plague in Eyam. Although the two methods produce similar maximum a posteriori estimates, the branching process approximation fails to capture the correlation structure in the joint posterior distribution.


title: Faster and Cheaper: Parallelizing Large-Scale Matrix Factorization on GPUs

abstract: Matrix factorization (MF) is employed by many popular algorithms, e.g., collaborative filtering. The emerging GPU technology, with massively multicore and high intra-chip memory bandwidth but limited memory capacity, presents an opportunity for accelerating MF much further when appropriately exploiting the GPU architectural characteristics. This paper presents cuMF, a CUDA-based matrix factorization library that implements memory-optimized alternate least square (ALS) method to solve very large-scale MF. CuMF uses a variety set of techniques to maximize the performance on either single or multiple GPUs. These techniques include smart access of sparse data leveraging GPU memory hierarchy, using data parallelism in conjunction with model parallelism, minimizing the communication overhead between computing units, and utilizing a novel topology-aware parallel reduction scheme. With only a single machine with four Nvidia GPU cards, cuMF can be 6-10 times as fast, and 33-100 times as cost-efficient, compared with the state-of-art distributed CPU solutions. Moreover, this cuMF can solve the largest matrix factorization problem ever reported yet in current literature, while maintaining impressively good performance.


title: Geometric back-reaction in pre-inflation from relativistic quantum geometry

abstract: The pre-inflationary evolution of the universe describes the beginning of the expansion from a static initial state, such that the Hubble parameter is initially zero, but increases to an asymptotic constant value, in which it could achieve a de Sitter (inflationary) expansion. The expansion is driven by a background phantom field. The back-reaction effects at this moment should describe vacuum geometrical excitations, which are studied with detail in this work using Relativistic Quantum Geometry.


title: On Thurston's Euler class one conjecture

abstract: In 1976, Thurston proved that taut foliations on closed hyperbolic 3-manifolds have Euler class of norm at most one, and conjectured that conversely, any integral second cohomology class with norm equal to one is the Euler class of a taut foliation. This is the first from a series of two papers that together give a negative answer to Thurston's conjecture. Here counterexamples have been constructed conditional on the fully marked surface theorem. In the second paper, joint with David Gabai, a proof of the fully marked surface theorem is given.


title: Light Curves of 213 Type Ia Supernovae from the ESSENCE Survey

abstract: The ESSENCE survey discovered 213 Type Ia supernovae at redshifts 0.1 < z < 0.81 between 2002 and 2008. We present their R and I-band photometry, measured from images obtained using the MOSAIC II camera at the CTIO 4 m Blanco telescope, along with rapid-response spectroscopy for each object. We use our spectroscopic follow-up observations to determine an accurate, quantitative classification and a precise redshift. Through an extensive calibration program we have improved the precision of the CTIO Blanco natural photometric system. We use several empirical metrics to measure our internal photometric consistency and our absolute calibration of the survey. We assess the effect of various potential sources of systematic bias on our measured fluxes, and we estimate that the dominant term in the systematic error budget from the photometric calibration on our absolute fluxes is ~1%.


title: Automating the Horae: Boundary-work in the age of computers

abstract: This paper describes the intense software filtering that has allowed the arXiv eprint repository to sort and process large numbers of submissions with minimal human intervention, making it one of the most important and influential cases of open access repositories to date. The paper narrates arXiv's transformation, using sophisticated sorting-filtering algorithms to decrease human workload, from a small mailing list used by a few hundred researchers to a site that processes thousands of papers per month. However there are significant negative consequences for authors who have been filtered out of the main categories. There is thus a continued need to check and balance arXiv's boundaries, based in the essential tension between stability and innovation.


title: Towards a Network of Faint DA White Dwarfs as High-Precision Spectrophotometric Standards

abstract: We present initial results from a program aimed at establishing a network of hot DA white dwarfs to serve as spectrophotometric standards for present and future wide-field surveys. These stars span the equatorial zone and are faint enough to be conveniently observed throughout the year with large-aperture telescopes. Spectra of these white dwarfs are analyzed to generate a non-local-thermodynamic-equilibrium (NLTE) model atmosphere normalized to HST colors, including adjustments for wavelength-dependent interstellar extinction. Once established, this standard star network will serve ground-based observatories in both hemispheres as well as space-based instrumentation from the UV to the near IR. We demonstrate the effectiveness of this concept and show how two different approaches to the problem using somewhat different assumptions produce equivalent results. We discuss lessons learned and the resulting corrective actions applied to our program.


title: Mapping EU fishing activities using ship tracking data

abstract: Information and understanding of fishing activities at sea are fundamental components of marine knowledge and maritime situational awareness. Such information is important to fisheries science, public authorities and policy makers. In this paper we introduce a first map at European scale of EU fishing activities extracted using Automatic Identification System (AIS) ship tracking data. The resulting map is a density of points that identify fishing activities. A measure of the reliability of such information is also presented as a map of coverage reception capabilities.


title: Sequential Short-Text Classification with Recurrent and Convolutional Neural Networks

abstract: Recent approaches based on artificial neural networks (ANNs) have shown promising results for short-text classification. However, many short texts occur in sequences (e.g., sentences in a document or utterances in a dialog), and most existing ANN-based systems do not leverage the preceding short texts when classifying a subsequent one. In this work, we present a model based on recurrent neural networks and convolutional neural networks that incorporates the preceding short texts. Our model achieves state-of-the-art results on three different datasets for dialog act prediction.


title: Assessing Executive Function Using a Computer Game: Computational Modeling of Cognitive Processes

abstract: Early and reliable detection of cognitive decline is one of the most important challenges of current healthcare. In this project we developed an approach whereby a frequently played computer game can be used to assess a variety of cognitive processes and estimate the results of the pen-and-paper Trail-Making Test (TMT) - known to measure executive function, as well as visual pattern recognition, speed of processing, working memory, and set-switching ability. We developed a computational model of the TMT based on a decomposition of the test into several independent processes, each characterized by a set of parameters that can be estimated from play of a computer game designed to resemble the TMT. An empirical evaluation of the model suggests that it is possible to use the game data to estimate the parameters of the underlying cognitive processes and using the values of the parameters to estimate the TMT performance. Cognitive measures and trends in these measures can be used to identify individuals for further assessment, to provide a mechanism for improving the early detection of neurological problems, and to provide feedback and monitoring for cognitive interventions in the home.


title: Quantum criticality and global phase diagram of an Ising-anisotropic Kondo lattice

abstract: Recent studies of heavy-fermion systems with tunable quantum fluctuations have focused on a variety of zero-temperature phase transitions that involve not only the onset of magnetic order but also the destruction of Kondo entanglement. Motivated by these developments, we investigate the effect of enhanced quantum fluctuations induced by a transverse magnetic field in an Ising-anisotropic Kondo lattice model, solved within an extended dynamical mean field theory using the numerical renormalization group. A line of locally critical points describes a direct transition from a Kondo-screened paramagnetic heavy-fermion state to a Kondo-destroyed antiferromagnetic phase. Along the line, the extracted critical exponents remain unchanged. By probing the the interplay between quantum fluctuations of the local moments, the Kondo effect, and magnetic order, this study provides significant new insight into the global phase diagram of heavy-fermion systems.


title: Homoscedasticity tests for both low and high-dimensional fixed design regressions

abstract: This paper is to prove the asymptotic normality of a statistic for detecting the existence of heteroscedasticity for linear regression models without assuming randomness of covariates when the sample size $n$ tends to infinity and the number of covariates $p$ is either fixed or tends to infinity. Moreover our approach indicates that its asymptotic normality holds even without homoscedasticity.


title: Non-monotonic anisotropy in charge conduction induced by antiferrodistortive transition in metallic SrTiO$_{3}$

abstract: Cubic SrTiO$_{3}$ becomes tetragonal below 105 K. The antiferrodistortive (AFD) distortion leads to clockwise and counter-clockwise rotation of adjacent TiO$_{6}$ octahedra. This insulator becomes a metal upon the introduction of extremely low concentration of n-type dopants. However, signatures of the structural phase transition in charge conduction have remained elusive. Employing the Montgomery technique, we succeed in resolving the anisotropy of charge conductivity induced by the AFD transition, in the presence of different types of dopants. We find that the slight lattice distortion ($<6 \times 10^{-4}$) gives rise to a twenty percent anisotropy in charge conductivity, in agreement with the expectations of band calculations. Application of uniaxial strain amplifies the detectable anisotropy by disfavoring one of the three possible tetragonal domains. In contrast with all other known anisotropic Fermi liquids, the anisotropy has opposite signs for elastic and inelastic scattering. Increasing the concentration of dopants leads to a drastic shift in the temperature of the AFD transition either upward or downward. The latter result puts strong constraints on any hypothetical role played by the AFD soft mode in the formation of Cooper pairs and the emergence of superconductivity in SrTiO$_3$.


title: Constructing genus 3 hyperelliptic Jacobians with CM

abstract: Given a sextic CM field $K$, we give an explicit method for finding all genus 3 hyperelliptic curves defined over $\mathbb{C}$ whose Jacobians are simple and have complex multiplication by the maximal order of this field, via an approximation of their Rosenhain invariants. Building on the work of Weng, we give an algorithm which works in complete generality, for any CM sextic field $K$, and computes minimal polynomials of the Rosenhain invariants for any period matrix of the Jacobian. This algorithm can be used to generate genus 3 hyperelliptic curves over a finite field $\mathbb{F}_p$ with a given zeta function by finding roots of the Rosenhain minimal polynomials modulo $p$.


title: From virtual demonstration to real-world manipulation using LSTM and MDN

abstract: Robots assisting the disabled or elderly must perform complex manipulation tasks and must adapt to the home environment and preferences of their user. Learning from demonstration is a promising choice, that would allow the non-technical user to teach the robot different tasks. However, collecting demonstrations in the home environment of a disabled user is time consuming, disruptive to the comfort of the user, and presents safety challenges. It would be desirable to perform the demonstrations in a virtual environment. In this paper we describe a solution to the challenging problem of behavior transfer from virtual demonstration to a physical robot. The virtual demonstrations are used to train a deep neural network based controller, which is using a Long Short Term Memory (LSTM) recurrent neural network to generate trajectories. The training process uses a Mixture Density Network (MDN) to calculate an error signal suitable for the multimodal nature of demonstrations. The controller learned in the virtual environment is transferred to a physical robot (a Rethink Robotics Baxter). An off-the-shelf vision component is used to substitute for geometric knowledge available in the simulation and an inverse kinematics module is used to allow the Baxter to enact the trajectory. Our experimental studies validate the three contributions of the paper: (1) the controller learned from virtual demonstrations can be used to successfully perform the manipulation tasks on a physical robot, (2) the LSTM+MDN architectural choice outperforms other choices, such as the use of feedforward networks and mean-squared error based training signals and (3) allowing imperfect demonstrations in the training set also allows the controller to learn how to correct its manipulation mistakes.


title: Comparative Advantage Driven Resource Allocation for Virtual Network Functions

abstract: As Communication Service Providers (CSPs) adopt the Network Function Virtualization (NFV) paradigm, they need to transition their network function capacity to a virtualized infrastructure with different Network Functions running on a set of heterogeneous servers. This abstract describes a novel technique for allocating server resources (compute, storage and network) for a given set of Virtual Network Function (VNF) requirements. Our approach helps the telco providers decide the most effective way to run several VNFs on servers with different performance characteristics. Our analysis of prior VNF performance characterization on heterogeneous/different server resource allocations shows that the ability to arbitrarily create many VNFs among different servers' resource allocations leads to a comparative advantage among servers. We propose a VNF resource allocation method called COMPARE that maximizes the total throughput of the system by formulating this resource allocation problem as a comparative advantage problem among heterogeneous servers. There several applications for using the VNF resource allocation from COMPARE including transitioning current Telco deployments to NFV based solutions and providing initial VNF placement for Service Function Chain (SFC) provisioning.


title: Distinctive ultraviolet structure of extra-dimensional Yang-Mills theories by integration of heavy Kaluza-Klein modes

abstract: One-loop Standard Model observables produced by virtual heavy Kaluza-Klein fields play a prominent role in the minimal model of universal extra dimensions. Motivated by this aspect, we integrate out all the Kaluza-Klein heavy modes coming from the Yang-Mills theory set on a spacetime with an arbitrary number, $n$, of compact extra dimensions. After fixing the gauge with respect to the Kaluza-Klein heavy gauge modes in a covariant manner, we calculate a gauge independent effective Lagrangian expansion containing multiple Kaluza-Klein sums that entail a bad divergent behavior. We use the Epstein-zeta function to regularize and characterize discrete divergences within such multiple sums, and then we discuss the interplay between the number of extra dimensions and the degree of accuracy of effective Lagrangians to generate or not divergent terms of discrete origin. We find that nonrenormalizable terms with mass dimension $k$ are finite as long as $k>4+n$. Multiple Kaluza-Klein sums of nondecoupling logarithmic terms, not treatable by Epstein-zeta regularization, are produced by four-dimensional momentum integration. On the grounds of standard renormalization, we argue that such effects are unobservable.


title: Near-Isometric Binary Hashing for Large-scale Datasets

abstract: We develop a scalable algorithm to learn binary hash codes for indexing large-scale datasets. Near-isometric binary hashing (NIBH) is a data-dependent hashing scheme that quantizes the output of a learned low-dimensional embedding to obtain a binary hash code. In contrast to conventional hashing schemes, which typically rely on an $\ell_2$-norm (i.e., average distortion) minimization, NIBH is based on a $\ell_{\infty}$-norm (i.e., worst-case distortion) minimization that provides several benefits, including superior distance, ranking, and near-neighbor preservation performance. We develop a practical and efficient algorithm for NIBH based on column generation that scales well to large datasets. A range of experimental evaluations demonstrate the superiority of NIBH over ten state-of-the-art binary hashing schemes.


title: Intrusion Detection A Text Mining Based Approach

abstract: Intrusion Detection is one of major threats for organization. The approach of intrusion detection using text processing has been one of research interests which is gaining significant importance from researchers. In text mining based approach for intrusion detection, system calls serve as source for mining and predicting possibility of intrusion or attack. When an application runs, there might be several system calls which are initiated in the background. These system calls form the strong basis and the deciding factor for intrusion detection. In this paper, we mainly discuss the approach for intrusion detection by designing a distance measure which is designed by taking into consideration the conventional Gaussian function and modified to suit the need for similarity function. A Framework for intrusion detection is also discussed as part of this research.


title: A note on smoothing properties of the Bergman projection

abstract: Recently Herbig, McNeal, and Straube have showed that the Bergman projection of conjugate holomorphic functions is smooth up to the boundary on a class of pseudoconvex domains. We show that a further smoothing property holds on a family of Reinhardt domains; namely, the Bergman projection of conjugate holomorphic functions is holomorphic past the boundary.


title: On a drift-diffusion system for semiconductor devices

abstract: In this note we study a fractional Poisson-Nernst-Planck equation modeling a semiconductor device. We prove several decay estimates for the Lebesgue and Sobolev norms in one, two and three dimensions. We also provide the first term of the asymptotic expansion as $t\rightarrow\infty$.


title: Turner doubles and generalized Schur algebras

abstract: Turner's Conjecture describes all blocks of symmetric groups and Hecke algebras up to derived equivalence in terms of certain double algebras. With a view towards a proof of this conjecture, we develop a general theory of Turner doubles. In particular, we describe doubles as explicit maximal symmetric subalgebras of certain generalized Schur algebras and establish a Schur-Weyl duality with wreath product algebras.


title: Effects of interface oxygen vacancies on electronic bands of FeSe/SrTiO3(001)

abstract: Modifications of the electronic bands of thin FeSe films due to oxygen vacancies in the supporting SrTiO 3 (001) substrate - and the interplay with spin-orbit coupling, magnetism, and epitaxy - are investigated by first-principles supercell calculations. Unfolded (k-projected) bands show that the oxygen vacancies both provide electron doping to the interface FeSe layer and also have notable effects on the details of the bands around the Fermi level, including renormalizing the width of the Fe-3d band near the Fermi level by a factor of about 0.6, and causing a splitting of ~40 meV at the M point for the checkerboard antiferromagnetic configuration. For an FeSe bilayer, the modifications to the bands are mainly limited to the interface FeSe layer. While spin-orbit-coupling induced band splittings of ~30 meV at M for the ideal FeSe/SrTiO3 (001) interfaces are comparable to the splitting due to oxygen vacancies, the effects are not simply additive. Calculations and comparison to our scanning tunneling microscopy images of MBE-grown FeSe films on SrTiO3 (001) suggest that a common defect may be Se bound to an oxygen vacancy at the interface


title: On hereditary properties of quantum group amenability

abstract: Given a locally compact quantum group $\mathbb{G}$ and a closed quantum subgroup $\mathbb{H}$, we show that $\mathbb{G}$ is amenable if and only if $\mathbb{H}$ is amenable and $\mathbb{G}$ acts amenably on the quantum homogenous space $\mathbb{G}/\mathbb{H}$. We also study the existence of $L^1(\widehat{\mathbb{G}})$-module projections from $L^{\infty}(\widehat{\mathbb{G}})$ onto $L^{\infty}(\widehat{\mathbb{H}})$.


title: Blocks of symmetric groups, semicuspidal KLR algebras and zigzag Schur-Weyl duality

abstract: We prove Turner's conjecture, which describes the blocks of the Hecke algebras of the symmetric groups up to derived equivalence as certain explicit Turner double algebras. Turner doubles are Schur-algebra-like `local' objects, which replace wreath products of Brauer tree algebras in the context of the Brou\'e abelian defect group conjecture for blocks of symmetric groups with non-abelian defect groups. The main tools used in the proof are generalized Schur algebras corresponding to wreath products of zigzag algebras and imaginary semicuspidal quotients of affine KLR algebras.


title: Identification of the oscillation period of chemical reactors by chaotic sampling of the conversion degree

abstract: To stabilize the periodic operation of a chemical reactor the oscillation period should be determined precisely in real time. The method discussed in the paper is based on adaptive sampling of the state variable with the use of chaotic mapping to itself. It enables precise determination of the oscillation period in real time and could be used for a proper control system, that can successfully control the process and maintain the oscillation period at a set level. The method was applied to a tank reactor and tubular reactor with recycle.


title: A Comparison of Two Complexes

abstract: In this paper we prove the conjecture of Lusztig in "Generic character sheaves on groups over $\mathbf{k}[\epsilon]/(\epsilon^r)$." Given a reductive group over $\mathbb{F}_q$ for some $r\geq 2$, there is a notion of a character sheaf defined in "Character sheaves and generalizations" by Lusztig. On the other hand, there is also a geometric analogue of the character constructed by G\'erardin. The conjecture states that the two constructions are equivalent, which Lusztig also proved for $r=2, 3, 4$. Here we generalize his method to prove this conjecture for general $r$. As a corollary we prove that the characters derived from these two complexes are equal.


title: One-way Quantum Deficit and Decoherence for Two-qubit $X$ States

abstract: We study one-way quantum deficit of two-qubit $X$ states systematically from analytical derivations. An effective approach to compute one-way quantum deficit of two-qubit $X$ states has been provided. Analytical results are presented as for detailed examples. Moreover, we demonstrate the decoherence of one-way quantum deficit under phase damping channel.


title: Thermo-magnetic effects in quark matter: Nambu--Jona-Lasinio model constrained by lattice QCD

abstract: The phenomenon of inverse magnetic catalysis of chiral symmetry in QCD predicted by lattice simulations can be reproduced within the Nambu--Jona-Lasinio model if the coupling~$G$ of the model decreases with the strength $B$ of the magnetic field and temperature~$T$. The thermo-magnetic dependence of $G(B,T)$ is obtained by fitting recent lattice QCD predictions for the chiral transition order parameter. Different thermodynamic quantities of magnetized quark matter evaluated with $G(B, T)$ are compared with the ones obtained at constant coupling, $G$. The model with $G(B,T)$ predicts a more dramatic chiral transition as the field intensity increases. In addition, the pressure and magnetization always increase with $B$ for a given temperature. Being parametrized by four magnetic field dependent coefficients and having a rather simple exponential thermal dependence our accurate ansatz for the coupling constant can be easily implemented to improve typical model applications to magnetized quark matter.


title: Preparation of entangled states through Hilbert space engineering

abstract: Entangled states are a crucial resource for quantum-based technologies such as quantum computers and quantum communication systems (1,2). Exploring new methods for entanglement generation is important for diversifying and eventually improving current approaches. Here, we create entanglement in atomic ions by applying laser fields to constrain the evolution to a restricted number of states, in an approach that has become known as "quantum Zeno dynamics" (3-5). With two trapped $^9\rm{Be}^+$ ions, we obtain Bell state fidelities up to $0.990^{+2}_{-5}$, with three ions, a W-state (6) fidelity of $0.910^{+4}_{-7}$ is obtained. Compared to other methods of producing entanglement in trapped ions, this procedure is relatively insensitive to certain imperfections such as fluctuations in laser intensity, laser frequency, and ion-motion frequencies.


title: Queue Theory based Response Time Analyses for Geo-Information Processing Chain

abstract: Typical characteristics of remote sensing applications are concurrent tasks, such as those found in disaster rapid response. The existing composition approach to geographical information processing service chain, searches for an optimisation solution and is what can be deemed a "selfish" way. This way leads to problems of conflict amongst concurrent tasks and decreases the performance of all service chains. In this study, a non-cooperative game-based mathematical model to analyse the competitive relationships between tasks, is proposed. A best response function is used, to assure each task maintains utility optimisation by considering composition strategies of other tasks and quantifying conflicts between tasks. Based on this, an iterative algorithm that converges to Nash equilibrium is presented, the aim being to provide good convergence and maximise the utilisation of all tasks under concurrent task conditions. Theoretical analyses and experiments showed that the newly proposed method, when compared to existing service composition methods, has better practical utility in all tasks.


title: Totally acyclic complexes

abstract: For a given class of modules $\A$, we denote by $\widetilde{\A}$ the class of exact complexes $X$ having all cycles in $\A$, and by $dw(\A)$ the class of complexes $Y$ with all components $Y_j$ in $\A$. We consider a two sided noetherian ring $R$ and we use the notations $\mathcal{GI}$ $(\mathcal{GF}, \mathcal{GP})$ for the class of Gorenstein injective (flat, projective respectively) $R$-modules. We prove (Theorem 1) that the following are equivalent: 1. Every exact complex of injective modules is totally acyclic. 2. Every exact complex of Gorenstein injective modules is in $\widetilde{\mathcal{GI}}$. 3. Every complex in $dw(\mathcal{GI})$ is dg-Gorenstein injective. Theorem 2 shows that the analogue result for complexes of flat and Gorenstein flat modules also holds. We prove (Corollary 1) that, over a commutative noetherian ring $R$, the equivalent statements in Theorem 1 (as well as their counterparts from Theorem 2) hold if and only if the ring is Gorenstein. Thus we improve on a result of Iyengar's and Krause's; in [18] they proved that for a commutative noetherian ring $R$ with a dualizing complex, the class of exact complexes of injectives coincides with that of totally acyclic complexes of injectives if and only if $R$ is Gorenstein. We are able to remove the dualizing complex hypothesis. In the second part of the paper we focus on two sided noetherian rings that satisfy the Auslander condition. We prove (Theorem 6) that for such a ring $R$ that also has finite finitistic flat dimension, every complex of injective (left and respectively right) $R$-modules is totally acyclic if and only if $R$ is a Gorenstein ring.


title: Superconductivity driven by pairing of the coherent parts of the physical electrons

abstract: How the superconductivity in unconventional superconductors emerges from the diverse mother normal states is still a big puzzle. Whatever the mother normal states are the superconductivity is {\em normal} with BCS-like behaviours of the paired quasiparticles in condensation. To reconcile the diverse mother normal states and the normal superconductivity in unconventional superconductors, we revisit a proposal that the emergence of the low-energy coherent parts of the physical electrons, which survive from the interaction correlations, is an essential prerequisite for superconductivity. The superconductivity is driven by the pair condensation of these coherent parts of the physical electrons. Moreover the incoherent parts of the physical electrons can enhance the superconducting transition temperature $T_c$ although they are not in driving role in the emergence of the superconductivity. Some experimental responses of the coherent parts of the physical electrons are predicted.


title: Physical and Geometrical Parameters of CVBS X: The Spectroscopic Binary Gliese 762.1

abstract: We present the physical and geometrical parameters of the individual components of the close visual double-lined spectroscopic binary system Gliese 762.1, which were estimated using Al-Wardat's complex method for analyzing close visual binary systems. The estimated parameters of the individual components of the system are as follows: radius $R_{A}=0.845\pm0.09 R_\odot$, $R_{B}=0.795\pm0.10 R_\odot$, effective temperature $T_{\rm eff}^{A} =5300\pm50$\,K, $T_{\rm eff}^{B} =5150\pm50$\,K, surface gravity log $g_{A}=4.52\pm0.10$, log $g_{B}=4.54\pm0.15$ and luminosity $L_A=0.51\pm0.08 L_\odot$, $L_B=0.40\pm0.07L_\odot$. New orbital elements are presented with a semi-major axis of $0.0865 \pm 0.010 $ arcsec using the Hippracos parallax $\pi=58.96\pm0.65$ mas, and an accurate total mass and individual masses of the system are determined as $M=1.72\pm0.60M_\odot$, $M_A=0.89 \pm0.08M_\odot$ and $M_B=0.83 \pm0.07M_\odot$. Finally, the spectral types and luminosity classes of both components are assigned as K0V and K1.5V for the primary and secondary components respectively, and their positions on the H-R diagram and evolutionary tracks are given.


title: Mass constraint for a planet in a protoplanetary disk from the gap width

abstract: A giant planet creates a gap in a protoplanetary disk, which might explain the observed gaps in protoplanetary disks. The width and depth of the gaps depend on the planet mass and disk properties. We have performed two--dimensional hydrodynamic simulations for various planet masses, disk aspect ratios and viscosities, to obtain an empirical formula for the gap width. The gap width is proportional to the square root of the planet mass, -3/4 power of the disk aspect ratio and -1/4 power of the viscosity. This empirical formula enables us to estimate the mass of a planet embedded in the disk from the width of an observed gap. We have applied the empirical formula for the gap width to the disk around HL~Tau, assuming that each gap observed by ALMA observations is produced by planets, and discussed the planet masses within the gaps. The estimate of planet masses from the gap widths is less affected by the observational resolution and dust filtration than that from the gap depth.


title: Two Lectures on Gauge Theory and Khovanov Homology

abstract: In the first of these two lectures, I use a comparison to symplectic Khovanov homology to motivate the idea that the Jones polynomial and Khovanov homology of knots can be defined by counting the solutions of certain elliptic partial differential equations in 4 or 5 dimensions. The second lecture is devoted to a description of the rather unusual boundary conditions by which these equations should be supplemented. An appendix describes some physical background. (Versions of these lectures have been presented at various institutions including the Simons Center at Stonybrook, the TSIMF conference center in Sanya, and also Columbia University and the University of Pennsylvania.)


title: Size of the Largest Induced Forest in Subcubic Graphs of Girth at least Four and Five

abstract: In this paper, we address the maximum number of vertices of induced forests in subcubic graphs with girth at least four or five. We provide a unified approach to prove that every 2-connected subcubic graph on $n$ vertices and $m$ edges with girth at least four or five, respectively, has an induced forest on at least $n-\frac{2}{9}m$ or $n-\frac{1}{5}m$ vertices, respectively, except for finitely many exceptional graphs. Our results improve a result of Liu and Zhao and are tight in the sense that the bounds are attained by infinitely many 2-connected graphs. Equivalently, we prove that such graphs admit feedback vertex sets with size at most $\frac{2}{9}m$ or $\frac{1}{5}m$, respectively. Those exceptional graphs will be explicitly constructed, and our result can be easily modified to drop the 2-connectivity requirement.


title: Real-time 3D scene description using Spheres, Cones and Cylinders

abstract: The paper describes a novel real-time algorithm for finding 3D geometric primitives (cylinders, cones and spheres) from 3D range data. In its core, it performs a fast model fitting with a model update in constant time (O(1)) for each new data point added to the model. We use a three stage approach.The first step inspects 1.5D sub spaces, to find ellipses. The next stage uses these ellipses as input by examining their neighborhood structure to form sets of candidates for the 3D geometric primitives. Finally, candidate ellipses are fitted to the geometric primitives. The complexity for point processing is O(n); additional time of lower order is needed for working on significantly smaller amount of mid-level objects. This allows the approach to process 30 frames per second on Kinect depth data, which suggests this approach as a pre-processing step for 3D real-time higher level tasks in robotics, like tracking or feature based mapping.


title: Minimal Graphs in the Hyperbolic Space with Singular Asymptotic Boundaries

abstract: We study asymptotic behaviors of solutions $f$ to the Dirichlet problem for minimal graphs in the hyperbolic space with singular asymptotic boundaries under the assumption that the boundaries are piecewise regular with positive curvatures. We derive an estimate of such solutions by the corresponding solutions in the intersections of interior tangent balls. The positivity of curvatures plays an important role.


title: Determination of a dineutron correlation in Borromean nuclei via a quasi-free knockout ($p,pn$) reaction?

abstract: To discuss the dineutron correlation in the ground state, the quasi-free neutron knockout reaction on $^6$He is investigated.In the present work, the momentum distribution of the two emitted neutrons is calculated with the $\alpha$~+~$n$~+~$n$ three-body model and a simple reaction model to assess the effects of the knockout process via the $^5$He resonance and the target dependence in the momentum distribution. A clear signature of the dineutron correlation can be obtained by choosing the kinematical condition so the process via the $^5$He resonance is excluded because the $^5$He resonance drastically changes the momentum distribution. Using the proton target is important in the quantitative discussion on the dineutron correlation by the knockout reaction. In addition to theoretical arguments, a possible experimental setup to determine the dineutron correlation via the quasi-free knockout reaction is considered.


title: Cataclysmic Variables observed during K2 Campaigns 0 and 1

abstract: There are 15 cataclysmic variables (CVs) observed in the first two campaigns of the K2 mission. In this paper, the eight CVs showing distinct features are analyzed in detail. Among these eight, modulations during quiescence are evident at the known orbital periods in the SU UMa stars QZ Vir and RZ Leo, and at our newly determined orbital periods of 1RXS J0632+2536 and WD 1144+011. The periodogram analysis for the quiescent light curve of QZ Vir reveals multi-period modulations and the coexistence of orbital and superhump periods. The phased orbital light curves for the other 3 CVs in quiescence display wide (about half cycle) and shallow (< 0.5 mag) eclipse features. Besides these modulations, their quiescent light curves reveal several transient events: a sudden decrease of system light in 1RXS J0632+2536, a low level flare-like event in QZ Vir, a short brightening event in RZ Leo and a temporary disappearance of the orbital modulation in WD 1144+011. The two known dwarf novae UV Gem and TW Vir and the CVs USNO-B1.01144-00115322 and CSS130516:111236.7+002807 show outbursts, including 1 complete and 3 incomplete normal outbursts and 2 complete superoutbursts. An incomplete but typical normal outburst confirms the dwarf nova identification of the USNO-B1.01144-00115322. The one complete normal outburst in UV Gem possibly provides the orbital period, since its modulations are shorter than the previously observed superhump period. The superoutbursts of TW Vir and CSS130516:111236.7+002807, along with their corresponding superhump periods, indicate that both objects are SU UMa stars. The derived superhump period of CSS130516:111236.7+002807 is 1.44 hr, implying that this new SU UMa star is close to the period minimum.


title: Green's Function of Magnetic Topological Insulator in Gradient Expansion Approach

abstract: We study the Keldysh Green's function of the Weyl-fermion surface state of the three-dimensional topological insulator coupled with a space-time dependent magnetization in the gradient expansion. Based on it we analyze the electric charge and current densities as well as the energy density and current induced by spatially and temporally slowly-varying magnetization fields. We show that all the above quantities except the energy current are generated by the emergent electromagnetic fields. The energy current emerges as the circular current reflecting the spatial modulation of an induced gap of the Weyl fermion.


title: Photodisintegration cross section of $^9$Be up to 16 MeV in the $\alpha$ + $\alpha$ + n three-body model

abstract: The photodisintegration of $^9$Be in the energy region lower than $E_\gamma = 16$ MeV is investigated by using the $\alpha$~+~$\alpha$~+~$n$ three-body model and the complex scaling method. The cross section exhibits two aspects in the different two energy regions. In the low energy region up to $E_\gamma = 6$ MeV, the cross section is explained by the transition strengths into the excited resonant states of $^9$Be, while the dipole transition into the non-resonant continuum states of $^8$Be(2$^+$)~+~$n$ dominates the cross section in the energy region of $6 \le E_\gamma \le 16$ MeV. Furthermore, it is shown that the dipole strength at $E_\gamma \sim 8$ MeV is understood to be caused by the single-neutron excitation from the $^8$Be(2$^+$)~$\otimes$~$\nu p_{3/2}$ configuration in the ground state.


title: On nonnegatively curved hypersurfaces in hyperbolic space

abstract: In this paper we prove the conjecture of Alexander and Currier that states, except for covering maps of equidistant surfaces in hyperbolic 3-space, a complete, nonnegatively curved immersed hypersurface in hyperbolic space is necessarily properly embedded.


title: Restrictions of free arrangements and the division theorem

abstract: This is a survey and research note on the modified Orlik conjecture derived from the division theorem introduced in [2]. The division theorem is a generalization of classical addition-deletion theorems for free arrangements. The division theorem can be regarded as a modified converse of the Orlik's conjecture with a combinatorial condition, i.e., an arrangement is free if the restriction is free and the characteristic polynomial of the restriction divides that of an arrangement. In this article we recall, summarize, pose and re-formulate some of results and problems related to the division theorem based on [2], and study the modified Orlik's conjecture with partial answers.


title: The Cosmological Lithium Problem Revisited

abstract: After a brief review of the cosmological lithium problem, we report a few recent attempts to find theoretical solutions by our group at Texas A&M University (Commerce & College Station). We will discuss our studies on the theoretical description of electron screening, the possible existence of parallel universes of dark matter, and the use of non-extensive statistics during the Big Bang nucleosynthesis epoch. Last but not least, we discuss possible solutions within nuclear physics realm. The impact of recent measurements of relevant nuclear reaction cross sections for the Big Bang nucleosynthesis based on indirect methods is also assessed. Although our attempts may not able to explain the observed discrepancies between theory and observations, they suggest theoretical developments that can be useful also for stellar nucleosynthesis.


title: FORS2 Rotating Flat Field Systematics Fixed -- Recent Exchange of FORS LADC Prisms Improves the Long-known Flat-fielding Problem

abstract: For many years the FORS2 instrument has suffered from artefacts in the flat fields caused by surface inhomogeneities on the longitudinal atmospheric dispersion corrector (LADC) that affected high-precision photometric and spectroscopic measurements. Recently, the FORS LADC prisms were exchanged, and our analysis of a large number of flat fields shows that this exchange has resulted in a significant decrease in the level of small-scale artefacts.


title: Radio continuum detection in blue early-type weak emission line galaxies

abstract: The star formation rates (SFRs) in weak emission line (WEL) galaxies in a volume-limited ($0.02 < z < 0.05$) sample of blue early-type galaxies (ETGs) identified from SDSS, are constrained here using 1.4 GHz radio continuum emission. The direct detection of 1.4 GHz radio continuum emission is made in 8 WEL galaxies and a median stacking is performed on 57 WEL galaxies using VLA FIRST images. The median stacked 1.4 GHz flux density and luminosity are estimated as 79 $\pm$ 19 $\mu$Jy and 0.20 $\pm$ 0.05 $\times$ 10$^{21}$ W Hz$^{-1}$ respectively. The radio far-infrared correlation in 4 WEL galaxies suggests that the radio continuum emission from WEL galaxies is most likely due to star formation activities. The median SFR for WEL galaxies is estimated as 0.23 $\pm$ 0.06 M$_{\odot}$yr$^{-1}$, which is much less compared to SFRs ($0.5 - 50$ M$_{\odot}$yr$^{-1}$) in purely star forming blue ETGs. The SFRs in blue ETGs are found to be correlated with their stellar velocity dispersions ($\sigma$) and decreasing gradually beyond $\sigma$ of $\sim 100$ km s$^{-1}$. This effect is most likely linked with the growth of black hole and suppression of star formation via AGN feedback. The color differences between SF and WEL sub-types of blue ETGs appear to be driven to large extent by the level of current star formation activities. In a likely scenario of an evolutionary sequence between sub-types, the observed color distribution in blue ETGs can be explained best in terms of fast evolution through AGN feedback.


title: A distance constrained synaptic plasticity model of C. elegans neuronal network

abstract: Brain research has been driven by enquiry for principles of brain structure organization and its control mechanisms. The neuronal wiring map of C. elegans, the only complete connectome available till date, presents an incredible opportunity to learn basic governing principles that drive structure and function of its neuronal architecture. Despite its apparently simple nervous system, C. elegans is known to possess complex functions. The neuronal architecture forms an important underlying framework which specifies phenotypic features associated to sensation, movement, conditioning and memory. In this study, with the help of graph theoretical models, we investigated the C. elegans neuronal network to identify network features that are critical for its control. The 'driver neurons' are associated with important biological functions such as reproduction, signalling processes and anatomical structural development. We created 1D and 2D network models of C. elegans neuronal system to probe the role of features that confer controllability and small world nature. The simple 1D ring model is critically poised for the number of feed forward motifs, neuronal clustering and characteristic path-length in response to synaptic rewiring, indicating optimal rewiring. Using empirically observed distance constraint in the neuronal network as a guiding principle, we created a distance constrained synaptic plasticity model that simultaneously explains small world nature, saturation of feed forward motifs as well as observed number of driver neurons. The distance constrained model suggests optimum long distance synaptic connections as a key feature specifying control of the network.


title: Comparative Analysis of SN 2012dn Optical Spectra: Days -14 to +114

abstract: SN 2012dn is a super-Chandrasekhar mass candidate in a purportedly normal spiral (SAcd) galaxy, and poses a challenge for theories of type Ia supernova diversity. Here we utilize the fast and highly parameterized spectrum synthesis tool, SYNAPPS, to estimate relative expansion velocities of species inferred from optical spectra obtained with six facilities. As with previous studies of normal SN Ia, we find that both unburned carbon and intermediate mass elements are spatially coincident within the ejecta near and below 14,000 km/s. Although the upper limit on SN 2012dn's peak luminosity is comparable to some of the most luminous normal SN Ia, we find a progenitor mass exceeding ~1.6 Msun is not strongly favored by leading merger models since these models do not accurately predict spectroscopic observations of SN 2012dn and more normal events. In addition, a comparison of light curves and host-galaxy masses for a sample of literature and Palomar Transient Factory SN Ia reveals a diverse distribution of SN Ia subtypes where carbon-rich material remains unburned in some instances. Such events include SN 1991T, 1997br, and 1999aa where trace signatures of C III at optical wavelengths are presumably detected.


title: Trace and determinant preserving maps of matrices

abstract: Suppose a map $\phi$ on the set of positive definite matrices satisfies $\det(A+B)=\det(\phi(A)+\phi(B))$. Then we have $${\rm tr}(AB^{-1}) = {\rm tr}(\phi(A){\phi(B)}^{-1}).$$ Through this viewpoint, we show that $\phi$ is of the form $\phi(A)= M^*AM$ or $\phi(A)= M^*A^tM$ for some invertible matrix $M$ with $\det (M^*M)=1$. We also characterize the map $\phi: \mathcal{S} \rightarrow \mathcal{S}$ preserving the determinant of convex combinations in $\mathcal{S}$ by using similar method. Here $\mathcal{S}$ can be the set of complex matrices, positive definite matrices, symmetric matrices, and upper triangular matrices.


title: Spin Hall Effect and Origins of Nonlocal Resistance in Adatom-Decorated Graphene

abstract: Recent experiments reporting unexpectedly large spin Hall effect (SHE) in graphene decorated with adatoms have raised a fierce controversy. We apply numerically exact Kubo and Landauer- Buttiker formulas to realistic models of gold-decorated disordered graphene (including adatom clustering) to obtain the spin Hall conductivity and spin Hall angle, as well as the nonlocal resistance as a quantity accessible to experiments. Large spin Hall angles of 0.1 are obtained at zero-temperature, but their dependence on adatom clustering differs from the predictions of semiclassical transport theories. Furthermore, we find multiple background contributions to the nonlocal resistance, some of which are unrelated to SHE or any other spin-dependent origin, as well as a strong suppression of SHE at room temperature. This motivates us to design a multiterminal graphene geometry which suppresses these background contributions and could, therefore, quantify the upper limit for spin current generation in two-dimensional materials.


title: Shapes of drums with lowest base frequency under non-isotropic perimeter constraints

abstract: We study the minimizers of the sum of the principal Dirichlet eigenvalue of the negative Laplacian and the perimeter with respect to a general norm in the class of Jordan domains in the plane. This is equivalent (modulo scaling) to minimizing the said eigenvalue (or the base frequency of a drum of this shape) subject to a hard constraint on the perimeter. We show that, for all norms, a minimizer exists, is unique up to spatial translations and is convex but not necessarily smooth. We give conditions on the norm that characterize the appearance of facets and corners. We also demonstrate that near minimizers have to be close to the optimal ones in the Hausdorff distance. Our motivation for considering this class of variational problems comes from a study of random walks in random environment interacting through the boundary of their support.


title: Flexible MgO barrier magnetic tunnel junctions

abstract: Flexible electronic devices require the integration of multiple crucial components on soft substrates to achieve their functions. In particular, memory devices are the fundamental component for data storage and processing in flexible electronics. Here, we present flexible MgO barrier magnetic tunnel junction (MTJ) devices fabricated using a transfer printing process, which exhibit reliable and stable operation under substantial deformation of the device substrates. In addition, the flexible MTJ devices yield significantly enhanced tunneling magnetoresistance (TMR) of ~300 % and improved abruptness of switching, as residual strain in the MTJ structure induced by the fabrication process is released during the transfer process. This approach could be useful for a wide range of flexible electronic systems that require high performance memory components.


title: Neural Discourse Relation Recognition with Semantic Memory

abstract: Humans comprehend the meanings and relations of discourses heavily relying on their semantic memory that encodes general knowledge about concepts and facts. Inspired by this, we propose a neural recognizer for implicit discourse relation analysis, which builds upon a semantic memory that stores knowledge in a distributed fashion. We refer to this recognizer as SeMDER. Starting from word embeddings of discourse arguments, SeMDER employs a shallow encoder to generate a distributed surface representation for a discourse. A semantic encoder with attention to the semantic memory matrix is further established over surface representations. It is able to retrieve a deep semantic meaning representation for the discourse from the memory. Using the surface and semantic representations as input, SeMDER finally predicts implicit discourse relations via a neural recognizer. Experiments on the benchmark data set show that SeMDER benefits from the semantic memory and achieves substantial improvements of 2.56\% on average over current state-of-the-art baselines in terms of F1-score.


title: Analysis of the nonlinear option pricing model under variable transaction costs

abstract: In this paper we analyze a nonlinear Black--Scholes model for option pricing under variable transaction costs. The diffusion coefficient of the nonlinear parabolic equation for the price $V$ is assumed to be a function of the underlying asset price and the Gamma of the option. We show that the generalizations of the classical Black--Scholes model can be analyzed by means of transformation of the fully nonlinear parabolic equation into a quasilinear parabolic equation for the second derivative of the option price. We show existence of a classical smooth solution and prove useful bounds on the option prices. Furthermore, we construct an effective numerical scheme for approximation of the solution. The solutions are obtained by means of the efficient numerical discretization scheme of the Gamma equation. Several computational examples are presented.


title: Towards Building an RGBD-M Scanner

abstract: We present a portable device to capture both shape and reflectance of an indoor scene. Consisting of a Kinect, an IR camera and several IR LEDs, our device allows the user to acquire data in a similar way as he/she scans with a single Kinect. Scene geometry is reconstructed by KinectFusion. To estimate reflectance from incomplete and noisy observations, 3D vertices of the same material are identified by our material segmentation propagation algorithm. Then BRDF observations at these vertices are merged into a more complete and accurate BRDF for the material. Effectiveness of our device is demonstrated by quality results on real-world scenes.


title: Variational Neural Discourse Relation Recognizer

abstract: Implicit discourse relation recognition is a crucial component for automatic discourselevel analysis and nature language understanding. Previous studies exploit discriminative models that are built on either powerful manual features or deep discourse representations. In this paper, instead, we explore generative models and propose a variational neural discourse relation recognizer. We refer to this model as VarNDRR. VarNDRR establishes a directed probabilistic model with a latent continuous variable that generates both a discourse and the relation between the two arguments of the discourse. In order to perform efficient inference and learning, we introduce neural discourse relation models to approximate the prior and posterior distributions of the latent variable, and employ these approximated distributions to optimize a reparameterized variational lower bound. This allows VarNDRR to be trained with standard stochastic gradient methods. Experiments on the benchmark data set show that VarNDRR can achieve comparable results against stateof- the-art baselines without using any manual features.


title: Minimal surfaces in the product of two dimensional real space forms endowed with a neutral metric

abstract: We investigate minimal surfaces in products of two-spheres ${\mathbb S}^2_p\times {\mathbb S}^2_p$, with the neutral metric given by $(g,-g)$. Here ${\mathbb S}^2_p\subset {\mathbb R}^{p,3-p}$ , and $g$ is the induced metric on the sphere. We compute all totally geodesic surfaces and we give a relation between minimal surfaces and the solutions of the Gordon equations. Finally, in some cases we give a topological classification of compact minimal surfaces.


title: Magnetic field geometry of an unusual cometary cloud Gal 110-13

abstract: We carried out optical polarimetry of an isolated cloud, Gal 110-13, to map the plane-of-the-sky magnetic field geometry. The main aim of the study is to understand the most plausible mechanism responsible for the unusual cometary shape of the cloud in the context of its magnetic field geometry. When unpolarized starlight passes through the intervening interstellar dust grains that are aligned with their short axes parallel to the local magnetic field, it gets linearly polarized. The plane-of-the-sky magnetic field component can therefore be traced by doing polarization measurements of background stars projected on clouds. Because the light in the optical wavelength range is most efficiently polarized by the dust grains typically found in the outer layers of the molecular clouds, optical polarimetry enables us to trace the magnetic field geometry of the outer layers of the clouds. We made R-band polarization measurements of 207 stars in the direction of Gal 110-13. The distance of Gal 110-13 was determined as $\sim450\pm80$ pc using our polarization and 2MASS near-infrared data. The foreground interstellar contribution was removed from the observed polarization values by observing a number of stars located in the vicinity of Gal 110-13 which has Hipparcos parallax measurements. The plane-of-the-sky magnetic field lines are found to be well ordered and aligned with the elongated structure of Gal 110-13. Using structure function analysis, we estimated the strength of the plane-of-the-sky component of the magnetic field as $\sim25\mu$G. Based on our results and comparing them with those from simulations, we conclude that compression by the ionization fronts from 10 Lac is the most plausible cause of the comet-like morphology of Gal 110-13 and of the initiation of subsequent star formation.


title: Dark Energy: The Shadowy Reflection of Dark Matter?

abstract: In this article, we review a series of recent theoretical results regarding a conventional approach to the dark energy (DE) concept. This approach is distinguished among others for its simplicity and its physical relevance. By compromising General Relativity (GR) and Thermodynamics at cosmological scale, we end up with a model without DE. Instead, the Universe we are proposing is filled with a perfect fluid of self-interacting dark matter (DM), the volume elements of which perform hydrodynamic flows. To the best of our knowledge, it is the first time in a cosmological framework that the energy of the cosmic fluid internal motions is also taken into account as a source of the universal gravitational field. As we demonstrate, this form of energy may compensate for the DE needed to compromise spatial flatness, while, depending on the particular type of thermodynamic processes occurring in the interior of the DM fluid (isothermal or polytropic), the Universe depicts itself as either decelerating or accelerating (respectively). In both cases, there is no disagreement between observations and the theoretical prediction of the distant supernovae (SNe) Type Ia distribution. In fact, the cosmological model with matter content in the form of a thermodynamically-involved DM fluid not only interprets the observational data associated with the recent history of Universe expansion, but also confronts successfully with every major cosmological issue (such as the age and the coincidence problems). In this way, depending on the type of thermodynamic processes in it, such a model may serve either for a conventional DE cosmology or for a viable alternative one.


title: Interpenetrating subspaces as a funnel to extra space

abstract: New solution for two interpenetrating universes is found. Higher derivative gravity acting in 6-dimensional space is the basis of the study that allows to obtain stable solution without introducing matter of any sort. Stability of the solution is maintained by a difference between asymptotic behavior at spacial infinities. For an external observer such a funnel looks similar to a spherical wormhole.


title: On alternating sums of binomial coefficients and $q$-binomial coefficients

abstract: In this paper we shall evaluate two alternating sums of binomial coefficients by a combinatorial argument. Moreover, by combining the same combinatorial idea with partition theoretic techniques, we provide $q$-analogues involving the $q$-binomial coefficients.


title: MOJAVE XIII. Parsec-Scale AGN Jet Kinematics Analysis Based on 19 years of VLBA Observations at 15 GHz

abstract: We present 1625 new 15 GHz (2 cm) VLBA images of 295 jets associated with active galactic nuclei (AGNs) from the MOJAVE and 2 cm VLBA surveys, spanning observations between 1994 Aug 31 and 2013 Aug 20. For 274 AGNs with at least 5 VLBA epochs, we have analyzed the kinematics of 961 individual bright features in their parsec-scale jets. A total of 122 of these jets have not been previously analyzed by the MOJAVE program. In the case of 451 jet features that had at least 10 epochs, we also examined their kinematics for possible accelerations. At least half of the well-sampled features have non-radial and/or accelerating trajectories, indicating that non-ballistic motion is common in AGN jets. Since it is impossible to extrapolate any accelerations that occurred before our monitoring period, we could only determine reliable ejection dates for about 24% of those features that had significant proper motions. The distribution of maximum apparent jet speeds in all 295 AGNs measured by our program to date is peaked below 5c, with very few jets with apparent speeds above 30c. The fastest speed in our survey is about 50c, measured in the jet of the quasar PKS 0805-07, and is indicative of a maximum jet Lorentz factor of about 50 in the parent population. The Fermi LAT-detected gamma-ray AGNs in our sample have, on average, higher jet speeds than non LAT-detected AGNs, indicating a strong correlation between pc-scale jet speed and gamma-ray Doppler boosting factor. We have identified 11 moderate-redshift (z<0.35) AGNs with fast apparent speeds (>10c) that are strong candidates for future TeV gamma-ray detection. Of the five gamma-ray loud narrow-lined Seyfert I AGNs in our sample, three show highly superluminal jet motions, while the others have sub-luminal speeds. (abridged)


title: Hamilton-Jacobi formalism for inflation with non-minimal derivative coupling

abstract: In inflation with nonminimal derivative coupling there is not a conformal transformation to the Einstein frame where calculations are straightforward, and thus in order to extract inflationary observables one needs to perform a detailed and lengthy perturbation investigation. In this work we bypass this problem by performing a Hamilton-Jacobi analysis, namely rewriting the cosmological equations considering the scalar field to be the time variable. We apply the method to two specific models, namely the power-law and the exponential cases, and for each model we calculate various observables such as the tensor-to-scalar ratio, and the spectral index and its running. We compare them with 2013 and 2015 Planck data, and we show that they are in a very good agreement with observations.


title: Grounding Recursive Aggregates: Preliminary Report

abstract: Problem solving in Answer Set Programming consists of two steps, a first grounding phase, systematically replacing all variables by terms, and a second solving phase computing the stable models of the obtained ground program. An intricate part of both phases is the treatment of aggregates, which are popular language constructs that allow for expressing properties over sets. In this paper, we elaborate upon the treatment of aggregates during grounding in Gringo series 4. Consequently, our approach is applicable to grounding based on semi-naive database evaluation techniques. In particular, we provide a series of algorithms detailing the treatment of recursive aggregates and illustrate this by a running example.


title: On equicontinuity of Sobolev classes in domains with locally connected boundary

abstract: A behavior of homeomorphisms of Orlicz classes in a closure of a domain is investigated. It is proved that above classes are equicontinuous in the closure of domains with some restrictions on it's boundaries provided that the corresponding inner dilatation of order $p$ has a majorant of finite mean oscillation at every point.


title: The coherent matching distance in 2D persistent homology

abstract: Comparison between multidimensional persistent Betti numbers is often based on the multidimensional matching distance. While this metric is rather simple to define and compute by considering a suitable family of filtering functions associated with lines having a positive slope, it has two main drawbacks. First, it forgets the natural link between the homological properties of filtrations associated with lines that are close to each other. As a consequence, part of the interesting homological information is lost. Second, its intrinsically discontinuous definition makes it difficult to study its properties. In this paper we introduce a new matching distance for 2D persistent Betti numbers, called coherent matching distance and based on matchings that change coherently with the filtrations we take into account. Its definition is not trivial, as it must face the presence of monodromy in multidimensional persistence, i.e. the fact that different paths in the space parameterizing the above filtrations can induce different matchings between the associated persistent diagrams. In our paper we prove that the coherent 2D matching distance is well-defined and stable.


title: Uncountably many planar embeddings of unimodal inverse limit spaces

abstract: For point $x$ in the inverse limit space $X$ with a single unimodal bonding map we construct, with the use of symbolic dynamics, a planar embedding such that $x$ is accessible. It follows that there are uncountably many non-equivalent planar embeddings of $X$.


title: Performance Evaluation of Unified Parallel C for Molecular Dynamics

abstract: Partitioned Global Address Space (PGAS) integrates the concepts of shared memory programming and the control of data distribution and locality provided by message passing into a single parallel programming model. The purpose of allying distributed data with shared memory is to cultivate a locality-aware shared memory paradigm. PGAS is comprised of a single shared address space, which is partitioned among threads. Each thread has a portion of the shared address space in local memory and therefore it can exploit data locality by mainly doing computation on local data. Unified Parallel C (UPC) is a parallel extension of ISO C and an implementation of the PGAS model. In this paper, we evaluate the performance of UPC based on a real-world scenario from Molecular Dynamics.


title: Fast M\"obius inversion in semimodular lattices and U-labelable posets

abstract: We consider the problem of fast zeta and M\"obius transforms in finite posets, particularly in lattices. It has previously been shown that for a certain family of lattices, zeta and M\"obius transforms can be computed in $O(e)$ elementary arithmetic operations, where $e$ denotes the size of the covering relation. We show that this family is exactly that of geometric lattices. We also extend the algorithms so that they work in $e$ operations for all semimodular lattices, including chains and divisor lattices. Finally, for both transforms, we provide a more general algorithm that works in $e$ operations for all R-labelable posets and their non-graded generalization, which we call U-labelable.


title: On the existence of a Gysin morphism for the Blow-up of an ordinary singularity

abstract: In this paper we characterize the Blowing-up maps of ordinary singularities for which there exists a natural Gysin morphism, i.e. a bivariant class $\theta \in Hom_{D(Y)}(R\pi_*\mathbb Q_X, \mathbb Q_Y)$, compatible with pullback and with restriction to the complement of the singularity.


title: Asymptotic Expansions for Stationary Distributions of Perturbed Semi-Markov Processes

abstract: New algorithms for computing of asymptotic expansions for stationary distributions of nonlinearly perturbed semi-Markov processes are presented. The algorithms are based on special techniques of sequential phase space reduction, which can be applied to processes with asymptotically coupled and uncoupled finite phase spaces.


title: "Varopoulos paradigm": Mackey property vs. metrizability in topological groups

abstract: The class of all locally quasi-convex (lqc) abelian groups contains all locally convex vector spaces (lcs) considered as topological groups. Therefore it is natural to extend classical properties of locally convex spaces to this larger class of abelian topological groups. In the present paper we consider the following well known property of lcs: "A metrizable locally convex space carries its Mackey topology ". This claim cannot be extended to lqc-groups in the natural way, as we have recently proved with other coauthors (\cite{AD}, \cite{DMPT}). We say that an abelian group $G$ satisfies the \emph{Varopoulos paradigm} (VP) if any metrizable locally quasi-convex topology on $G$ is the Mackey topology. Surprisingly VP - which is a topological property of the group - is characterizes an algebraic feature, namely being of finite exponent.


title: Non metrizable topologies on Z with countable dual group

abstract: In this paper we give two families of non-metrizable topologies on the group of the integers having a countable dual group which is isomorphic to a infinite torsion subgroup of the unit circle in the complex plane. Both families are related to $D$-sequences, which are sequences of natural numbers such that each term divides the following. The first family consists of locally quasi-convex group topologies. The second consists of complete topologies which are not locally quasi-convex. In order to study the dual groups for both families we need to make numerical considerations of independent interest.


title: A peridynamic approach to flexoelectricity

abstract: A flexoelectric peridynamic (PD) theory is proposed. Using the PD framework, the formulation introduces, perhaps for the first time, a nanoscale flexoelectric coupling that entails non-uniform strain in centrosymmetric dielectrics. This potentially enables PD modeling of a large class of phenomena in solid dielectrics involving cracks, discontinuities etc. wherein large strain gradients are present and the classical electromechanical theory based on partial differential equations do not directly apply. Derived from Hamilton's principle, PD electromechanical equations are shown to satisfy the global balance requirements. Linear PD constitutive equations reflect the electromechanical coupling effect, with the mechanical force state affected by the polarization state and the electrical force state in turn by the displacement state. An analytical solution of the PD electromechanical equations in the integral form is presented for the static case when a point mechanical force and a point electric force act in a three dimensional infinite solid dielectric. A parametric study on how the different length scales influence the response is also undertaken.