title: Sketches and Diagrams in Practice

abstract: Sketches and diagrams play an important role in the daily work of software developers. In this paper, we investigate the use of sketches and diagrams in software engineering practice. To this end, we used both quantitative and qualitative methods. We present the results of an exploratory study in three companies and an online survey with 394 participants. Our participants included software developers, software architects, project managers, consultants, as well as researchers. They worked in different countries and on projects from a wide range of application areas. Most questions in the survey were related to the last sketch or diagram that the participants had created. Contrary to our expectations and previous work, the majority of sketches and diagrams contained at least some UML elements. However, most of them were informal. The most common purposes for creating sketches and diagrams were designing, explaining, and understanding, but analyzing requirements was also named often. More than half of the sketches and diagrams were created on analog media like paper or whiteboards and have been revised after creation. Most of them were used for more than a week and were archived. We found that the majority of participants related their sketches to methods, classes, or packages, but not to source code artifacts with a lower level of abstraction.


title: Propagation of waves from an arbitrary shaped surface -- a generalization of the Fresnel diffraction integral

abstract: Using the method of Laplace transform the field amplitude in the paraxial approximation is found in the two-dimensional free space using initial values of the amplitude specified on an arbitrary shaped monotonic curve. The obtained amplitude depends on one {\it a priori} unknown function, which can be found from a Volterra first kind integral equation. In a special case of field amplitude specified on a concave parabolic curve the exact solution is derived. Both solutions can be used to study the light propagation from arbitrary surfaces including grazing incidence X-ray mirrors. They can find applications in the analysis of coherent imaging problems of X-ray optics, in phase retrieval algorithms as well as in inverse problems in the cases when the initial field amplitude is sought on a curved surface.


title: Efficient Online Timed Pattern Matching by Automata-Based Skipping

abstract: The timed pattern matching problem is an actively studied topic because of its relevance in monitoring of real-time systems. There one is given a log $w$ and a specification $\mathcal{A}$ (given by a timed word and a timed automaton in this paper), and one wishes to return the set of intervals for which the log $w$, when restricted to the interval, satisfies the specification $\mathcal{A}$. In our previous work we presented an efficient timed pattern matching algorithm: it adopts a skipping mechanism inspired by the classic Boyer--Moore (BM) string matching algorithm. In this work we tackle the problem of online timed pattern matching, towards embedded applications where it is vital to process a vast amount of incoming data in a timely manner. Specifically, we start with the Franek-Jennings-Smyth (FJS) string matching algorithm---a recent variant of the BM algorithm---and extend it to timed pattern matching. Our experiments indicate the efficiency of our FJS-type algorithm in online and offline timed pattern matching.


title: Entanglement dynamics in de Sitter spacetime

abstract: We apply the master equation with dynamical coarse graining approximation to a pair of detectors interacting with a scalar field. By solving the master equation numerically, we investigate evolution of negativity between comoving detectors in de Sitter space. For the massless conformal scalar field, it is found that a pair of detectors can perceive entanglement beyond the Hubble horizon scale if the initial separation of detectors is sufficiently small. At the same time, violation of the Bell-CHSH inequality on the super horizon scale is also detected. For the massless minimal scalar field, on the other hand, the entanglement decays within Hubble time scale owing to the quantum noise caused by particle creations in de Sitter space and the entanglement on the super horizon scale cannot be detected.


title: Onset of a Large Ejective Solar Eruption from a Typical Coronal-Jet-Base Field Configuration

abstract: Utilizing multiwavelength observations and magnetic field data from SDO/AIA, SDO/HMI, GOES and RHESSI, we investigate a large-scale ejective solar eruption of 2014 December 18 from active region NOAA 12241. This event produced a distinctive three-ribbon flare, having two parallel ribbons corresponding to the ribbons of a standard two-ribbon flare, and a larger-scale third quasi-circular ribbon offset from the other two ribbons. There are two components to this eruptive event. First, a flux rope forms above a strong-field polarity-inversion line and erupts and grows as the parallel ribbons turn on, grow, and spread part from that polarity-inversion line; this evolution is consistent with the tether-cutting-reconnection mechanism for eruptions. Second, the eruption of the arcade that has the erupting flux rope in its core under goes magnetic reconnection at the null point of a fan dome that envelops the erupting arcade, resulting in formation of the quasi-circular ribbon; this is consistent with the breakout reconnection mechanism for eruptions. We find that the parallel ribbons begin well before (12 min) circular ribbon onset, indicating that tether-cutting reconnection (or a non-ideal MHD instability) initiated this event, rather than breakout reconnection. The overall setup for this large-scale (circular-ribbon diameter 100000 km) eruption is analogous to that of coronal jets (base size 10000 km), many of which, according to recent findings, result from eruptions of small-scale minifilaments. Thus these findings confirm that eruptions of sheared-core magnetic arcades seated in fan-spine null-point magnetic topology happen on a wide range of size scales on the Sun.


title: Equivalence after extension and Schur coupling coincide for inessential operators

abstract: In recent years the coincidence of the operator relations equivalence after extension (EAE) and Schur coupling (SC) was settled for the Hilbert space case. For Banach space operators, it is known that SC implies EAE, but the converse implication is only known for special classes of operators, such as Fredholm operators with index zero and operators that can in norm be approximated by invertible operators. In this paper we prove that the implication EAE $\Rightarrow$ SC also holds for inessential Banach space operators. The inessential operators were introduced as a generalization of the compact operators, and include, besides the compact operators, also the strictly singular and strictly co-singular operators; in fact they form the largest ideal such that the invertible elements in the associated quotient algebra coincide with (the equivalence classes of) the Fredholm operators.


title: Additive structure of totally positive quadratic integers

abstract: Let $K=\mathbb Q(\sqrt D)$ be a real quadratic field. We consider the additive semigroup $\mathcal O_K^+(+)$ of totally positive integers in $K$ and determine its generators (indecomposable integers) and relations; they can be nicely described in terms of the periodic continued fraction for $\sqrt D$. We also characterize all uniquely decomposable integers in $K$ and estimate their norms. Using these results, we prove that the semigroup $\mathcal O_K^+(+)$ completely determines the real quadratic field $K$.


title: Randomized Local Model Order Reduction

abstract: In this paper we propose local approximation spaces for localized model order reduction procedures such as domain decomposition and multiscale methods. Those spaces are constructed from local solutions of the partial differential equation (PDE) with random boundary conditions, yield an approximation that converges provably at a nearly optimal rate, and can be generated at close to optimal computational complexity. In many localized model order reduction approaches like the generalized finite element method, static condensation procedures, and the multiscale finite element method local approximation spaces can be constructed by approximating the range of a suitably defined transfer operator that acts on the space of local solutions of the PDE. Optimal local approximation spaces that yield in general an exponentially convergent approximation are given by the left singular vectors of this transfer operator [I. Babu\v{s}ka and R. Lipton 2011, K. Smetana and A. T. Patera 2016]. However, the direct calculation of these singular vectors is computationally very expensive. In this paper, we propose an adaptive randomized algorithm based on methods from randomized linear algebra [N. Halko et al. 2011], which constructs a local reduced space approximating the range of the transfer operator and thus the optimal local approximation spaces. The adaptive algorithm relies on a probabilistic a posteriori error estimator for which we prove that it is both efficient and reliable with high probability. Several numerical experiments confirm the theoretical findings.


title: Yes-Net: An effective Detector Based on Global Information

abstract: This paper introduces a new real-time object detection approach named Yes-Net. It realizes the prediction of bounding boxes and class via single neural network like YOLOv2 and SSD, but owns more efficient and outstanding features. It combines local information with global information by adding the RNN architecture as a packed unit in CNN model to form the basic feature extractor. Independent anchor boxes coming from full-dimension k-means is also applied in Yes-Net, it brings better average IOU than grid anchor box. In addition, instead of NMS, Yes-Net uses RNN as a filter to get the final boxes, which is more efficient. For 416 x 416 input, Yes-Net achieves 79.2% mAP on VOC2007 test at 39 FPS on an Nvidia Titan X Pascal.


title: Quark-diquark structure and masses of doubly charmed baryons

abstract: The finite size of doubly heavy diquark gives a positive correction to the masses of baryons calculated in the local diquark approximation. We evaluate this correction for the basic states of doubly charmed baryons to give quite accurate predictions actual for current searches of those baryons at LHCb: $m[{\Xi_{cc}^{1/2}}^{+}]\approx m[{\Xi_{cc}^{1/2}}^{++}]=3615\pm 55$ MeV and $m[{\Xi_{cc}^{3/2}}^{+}]\approx m[{\Xi_{cc}^{3/2}}^{++}]=3747\pm 55$ MeV.


title: Phantom Domain Walls

abstract: We consider a model with two real scalar fields which admits phantom domain wall solutions. We investigate the structure and evolution of these phantom domain walls in an expanding homogeneous and isotropic universe. In particular, we show that the increase of the tension of the domain walls with cosmic time, associated to the evolution of the phantom scalar field, is responsible for an additional damping term in their equations of motion. We describe the macroscopic dynamics of phantom domain walls, showing that extended phantom defects whose tension varies on a cosmological timescale cannot be the dark energy.


title: Joint Retransmission, Compression and Channel Coding for Data Fidelity under Energy Constraints

abstract: We consider a monitoring application where sensors periodically report data to a common receiver in a time division multiplex fashion. The sensors are constrained by the limited and unpredictable energy availability provided by Energy Harvesting (EH), and by the channel impairments. To maximize the quality of the reported data, the packets transmitted contain newly generated data blocks together with up to $r - 1$ previously unsuccessfully delivered ones, where $r$ is a design parameter; such blocks are compressed, concatenated and encoded with a channel code. The scheme applies lossy compression, such that the fidelity of the individual blocks is traded with the reliability provided by the channel code. We show that the proposed strategy outperforms the one in which retransmissions are not allowed. We also investigate the tradeoff between the value of $r$, the compression and coding rates, under the constraints of the energy availability, and, once $r$ has been decided, use a Markov Decision Process (MDP) to optimize the compression/coding rates. Finally, we implement a reinforcement learning algorithm, through which devices can learn the optimal transmission policy without knowing a priori the statistics of the EH process, and show that it indeed reaches the performance obtained via MDP.


title: Translation Invariant Diffusions in the space of tempered distributions

abstract: In this paper we prove existence and pathwise uniqueness for a class of stochastic differential equations (with coefficients $\sigma_{ij},b_i$ and initial condition $y$ in the space of tempered distributions) that maybe viewed as a generalisation of Ito's original equations with smooth coefficients . The solutions are characterized as the translates of a finite dimensional diffusion whose coefficients $\sigma_{ij}\star \tilde{y},b_i\star \tilde{y}$ are assumed to be locally Lipshitz.Here $\star$ denotes convolution and $\tilde{y}$ is the distribution which on functions, is realised by the formula $\tilde{y}(r) := y(-r)$ . The expected value of the solution satisfies a non linear evolution equation which is related to the forward Kolmogorov equation associated with the above finite dimensional diffusion.


title: Dispersion on Trees

abstract: In the $k$-dispersion problem, we need to select $k$ nodes of a given graph so as to maximize the minimum distance between any two chosen nodes. This can be seen as a generalization of the independent set problem, where the goal is to select nodes so that the minimum distance is larger than 1. We design an optimal $O(n)$ time algorithm for the dispersion problem on trees consisting of $n$ nodes, thus improving the previous $O(n\log n)$ time solution from 1997. We also consider the weighted case, where the goal is to choose a set of nodes of total weight at least $W$. We present an $O(n\log^2n)$ algorithm improving the previous $O(n\log^4 n)$ solution. Our solution builds on the search version (where we know the minimum distance $\lambda$ between the chosen nodes) for which we present tight $\Theta(n\log n)$ upper and lower bounds.


title: Stochastic Bandit Models for Delayed Conversions

abstract: Online advertising and product recommendation are important domains of applications for multi-armed bandit methods. In these fields, the reward that is immediately available is most often only a proxy for the actual outcome of interest, which we refer to as a conversion. For instance, in web advertising, clicks can be observed within a few seconds after an ad display but the corresponding sale --if any-- will take hours, if not days to happen. This paper proposes and investigates a new stochas-tic multi-armed bandit model in the framework proposed by Chapelle (2014) --based on empirical studies in the field of web advertising-- in which each action may trigger a future reward that will then happen with a stochas-tic delay. We assume that the probability of conversion associated with each action is unknown while the distribution of the conversion delay is known, distinguishing between the (idealized) case where the conversion events may be observed whatever their delay and the more realistic setting in which late conversions are censored. We provide performance lower bounds as well as two simple but efficient algorithms based on the UCB and KLUCB frameworks. The latter algorithm, which is preferable when conversion rates are low, is based on a Poissonization argument, of independent interest in other settings where aggregation of Bernoulli observations with different success probabilities is required.


title: Multiple imputation in Cox regression when there are time-varying effects of exposures

abstract: In Cox regression it is sometimes of interest to study time-varying effects (TVE) of exposures and to test the proportional hazards assumption. TVEs can be investigated with log hazard ratios modelled as a function of time. Missing data on exposures are common and multiple imputation (MI) is a popular approach to handling this, to avoid the potential bias and loss of efficiency resulting from a 'complete-case' analysis. Two MI methods have been proposed for when the substantive model is a Cox proportional hazards regression: an approximate method (White and Royston, Statist. Med. 2009;28:1982-98) and a substantive-model-compatible method (Bartlett et al., SMMR 2015;24:462-87). At present, neither method accommodates TVEs of exposures. We extend them to do so for a general form for the TVEs and give specific details for TVEs modelled using restricted cubic splines. Simulation studies assess the performance of the methods under several underlying shapes for TVEs. Our proposed methods give approximately unbiased TVE estimates for binary exposures with missing data, but for continuous exposures the substantive-model-compatible method performs better. The methods also give approximately correct type I errors in the test for proportional hazards when there is no TVE, and gain power to detect TVEs relative to complete-case analysis. Ignoring TVEs at the imputation stage results in biased TVE estimates, incorrect type I errors and substantial loss of power in detecting TVEs. We also propose a multivariable TVE model selection algorithm. The methods are illustrated using data from the Rotterdam Breast Cancer Study. Example R code is provided.


title: Optimal quinary cyclic codes with minimum distance four

abstract: In this paper, by analyzing solutions of certain equations in the finite field $\mathbb{F}_{5^m}$, three classes of new optimal quinary cyclic codes with parameters $[5^m-1,5^m-2m-2,4]$ and two theorems are presented. With the help of the two theorems, perfect nonlinear monomials, almost perfect nonlinear monomials and a number of other monomials are used to construct more classes of new optimal quinary cyclic codes with the same parameters.


title: Counter-example to a Kr\"oger type spectral inequality

abstract: Given a Riemannian manifold, Weyl's law indicates how the spectrum of the Laplacian behaves asymptotically. Because of that result, there has been a growing interest in finding geometrical bounds compatible with this law. In the case of hypersurfaces, the isoperimetric ratio is a natural geometrical quantity, that allows to bound the spectrum from above. We investigate the problem and find an example of hypersurface where the eigenvalues are minorated by the isoperimetric ratio.


title: Energy conversion in isothermal nonlinear irreversible processes - struggling for higher efficiency

abstract: First we discuss some early work of Ulrike Feudel on structure formation in nonlinear reactions including ions and the efficiency of the conversion of chemical into electrical energy. Then we give some survey about energy conversion from chemical to higher forms of energy like mechanical, electrical and ecological energy. We consider examples of energy conversion in several natural processes and in some devices like fuel cells. Further, as an example, we study analytically the dynamics and efficiency of a simple "active circuit" converting chemical into electrical energy and driving currents which is roughly modeling fuel cells. Finally we investigate an analogous ecological system of Lotka - Volterra type consisting of an "active species" consuming some passive "chemical food". We show analytically for both these models that the efficiency increases with the load, reaches values higher then 50 percent in a narrow regime of optimal load and goes beyond some maximal load abrupt to zero.


title: The application of the Quark-Hadron Chiral Parity-Doublet Model to neutron star matter

abstract: The Quark-Hadron Chiral Parity-Doublet model (Q$\chi$P) is applied to calculate compact star properties in the presence of a deconfinement phase transition. Within this model, a consistent description of nuclear matter properties, chiral symmetry restoration, and a transition from hadronic to quark and gluonic degrees of freedom is possible within one unified approach. We find that the equation of state obtained is consistent with recent perturbative quantum chromodynamics (QCD) results and is able to accommodate observational constraints of massive and small neutron stars. Furthermore, we show that important features of the equation of state, such as the symmetry energy and its slope, are well within their observational constraints.


title: Network Topology Inference Using Information Cascades with Limited Statistical Knowledge

abstract: We study the problem of inferring network topology from information cascades, in which the amount of time taken for information to diffuse across an edge in the network follows an unknown distribution. Unlike previous studies, which assume knowledge of these distributions, we only require that diffusion along different edges in the network be independent together with limited moment information (e.g., the means). We introduce the concept of a separating vertex set for a graph, which is a set of vertices in which for any two given distinct vertices of the graph, there exists a vertex whose distance to them are different. We show that a necessary condition for reconstructing a tree perfectly using distance information between pairs of vertices is given by the size of an observed separating vertex set. We then propose an algorithm to recover the tree structure using infection times, whose differences have means corresponding to the distance between two vertices. To improve the accuracy of our algorithm, we propose the concept of redundant vertices, which allows us to perform averaging to better estimate the distance between two vertices. Though the theory is developed mainly for tree networks, we demonstrate how the algorithm can be extended heuristically to general graphs. Simulations using synthetic and real networks, and experiments using real-world data suggest that our proposed algorithm performs better than some current state-of-the-art network reconstruction methods.


title: A Parameterized Approach to Personalized Variable Length Summarization of Soccer Matches

abstract: We present a parameterized approach to produce personalized variable length summaries of soccer matches. Our approach is based on temporally segmenting the soccer video into 'plays', associating a user-specifiable 'utility' for each type of play and using 'bin-packing' to select a subset of the plays that add up to the desired length while maximizing the overall utility (volume in bin-packing terms). Our approach systematically allows a user to override the default weights assigned to each type of play with individual preferences and thus see a highly personalized variable length summarization of soccer matches. We demonstrate our approach based on the output of an end-to-end pipeline that we are building to produce such summaries. Though aspects of the overall end-to-end pipeline are human assisted at present, the results clearly show that the proposed approach is capable of producing semantically meaningful and compelling summaries. Besides the obvious use of producing summaries of superior league matches for news broadcasts, we anticipate our work to promote greater awareness of the local matches and junior leagues by producing consumable summaries of them.


title: Lie models for nilpotent spaces

abstract: Let $(L,d)$ be a differential graded Lie algebra, where $L=L(V)$ is free as graded Lie algebra and $V=V_{\geq 0}$ is a finite type graded vector space. We prove that the injection of $(L,d)$ into its completion $(\widehat{L},d)$ is a quasi-isomorphism if and only if $H(L,d)$ is a finite type pronilpotent graded Lie algebra. As a consequence, we obtain an equivalence between graded Lie models for nilpotent spaces in rational homotopy theory.


title: Generating Log-normal Mock Catalog of Galaxies in Redshift Space

abstract: We present a public code to generate a mock galaxy catalog in redshift space assuming a log-normal probability density function (PDF) of galaxy and matter density fields. We draw galaxies by Poisson-sampling the log-normal field, and calculate the velocity field from the linearised continuity equation of matter fields, assuming zero vorticity. This procedure yields a PDF of the pairwise velocity fields that is qualitatively similar to that of N-body simulations. We check fidelity of the catalog, showing that the measured two-point correlation function and power spectrum in real space agree with the input precisely. We find that a linear bias relation in the power spectrum does not guarantee a linear bias relation in the density contrasts, leading to a cross-correlation coefficient of matter and galaxies deviating from unity on small scales. We also find that linearising the Jacobian of the real-to-redshift space mapping provides a poor model for the two-point statistics in redshift space. That is, non-linear redshift-space distortion is dominated by non-linearity in the Jacobian. The power spectrum in redshift space shows a damping on small scales that is qualitatively similar to that of the well-known Fingers-of-God (FoG) effect due to random velocities, except that the log-normal mock does not include random velocities. This damping is a consequence of non-linearity in the Jacobian, and thus attributing the damping of the power spectrum solely to FoG, as commonly done in the literature, is misleading.


title: The complex magnetic field topology of the cool Ap star 49 Cam

abstract: 49 Cam is a cool magnetic chemically peculiar star which has been noted for showing strong, complex Zeeman linear polarisation signatures. This paper describes magnetic and chemical surface maps obtained for 49 Cam using the INVERS10 magnetic Doppler imaging code and high-resolution spectropolarimetric data in all four Stokes parameters collected with the ESPaDOnS and Narval spectropolarimeters at the Canada-France-Hawaii Telescope and Pic du Midi Observatory. The reconstructed magnetic field maps of 49 Cam show a relatively complex structure. Describing the magnetic field topology in terms of spherical harmonics, we find significant contributions of modes up to l=3, including toroidal components. Observations cannot be reproduced using a simple low-order multipolar magnetic field structure. 49 Cam exhibits a level of field complexity that has not been seen in magnetic maps of other cool Ap stars. Hence we concluded that relatively complex magnetic fields are observed in Ap stars at both low and high effective temperatures. In addition to mapping the magnetic field, we also derive surface abundance distributions of nine chemical elements, including Ca, Sc, Ti, Cr, Fe, Ce, Pr, Nd, Eu. Comparing these abundance maps with the reconstructed magnetic field geometry, we find no clear relationship of the abundance distributions with the magnetic field for some elements. However, for other elements some distinct patterns are found. We discuss these results in the context of other recent magnetic mapping studies and theoretical predictions of radiative diffusion.


title: Storage Capacity as an Information-Theoretic Vertex Cover and the Index Coding Rate

abstract: Motivated by applications in distributed storage, the storage capacity of a graph was recently defined to be the maximum amount of information that can be stored across the vertices of a graph such that the information at any vertex can be recovered from the information stored at the neighboring vertices. Computing the storage capacity is a fundamental problem in network coding and is related, or equivalent, to some well-studied problems such as index coding with side information and generalized guessing games. In this paper, we consider storage capacity as a natural information-theoretic analogue of the minimum vertex cover of a graph. Indeed, while it was known that storage capacity is upper bounded by minimum vertex cover, we show that by treating it as such we can get a 3/2 approximation for planar graphs, and a 4/3 approximation for triangle-free planar graphs. Since the storage capacity is intimately related to the index coding rate, we get a 2 approximation of index coding rate for planar graphs and 3/2 approximation for triangle-free planar graphs. We also show a polynomial time approximation scheme for the index coding rate when the alphabet size is constant. We then develop a general method of "gadget covering" to upper bound the storage capacity in terms of the average of a set of vertex covers. This method is intuitive and leads to the exact characterization of storage capacity for various families of graphs. As an illustrative example, we use this approach to derive the exact storage capacity of cycles-with-chords, a family of graphs related to outerplanar graphs. Finally, we generalize the storage capacity notion to include recovery from partial node failures in distributed storage. We show tight upper and lower bounds on this partial recovery capacity that scales nicely with the fraction of failures in a vertex.


title: Multidimensional Free Poisson Limits on Free Stochastic Integral Algebras

abstract: In this paper, we prove four-moment theorems for multidimensional free Poisson limits on free Wigner chaos or the free Poisson algebra. We prove that, under mild technical conditions, a bi-indexed sequence of free stochastic integrals in free Wigner algebra or free Poisson algebra converges to a free sequence of free Poisson random variables if and only if the moments with order not greater than four of the sequence converge to the corresponding moments of the limit sequence of random variables. Similar four-moment theorems hold when the limit sequence is not free, but has a multidimensional free Poisson distribution with parameters $\lambda>0$ and $\alpha=\{\alpha_i: 0\ne \alpha_i\in \mathbb{R}, i=1, 2, \cdots\}$.


title: Return to axi-symmetry for pipe flows generated after a fractal orifice

abstract: We present experimental results obtained from pipe flows generated by fractal shaped orifices or openings. We compare different fractal orifices and their efficiencies to re-generate axi-symmetric flows and to return to the standard flow generated by a perforated plate or a circular orifice plate. We consider two families of fractal openings: mono-orifice and complex-orifice and emphasize the differences between the two fractal families. For the Reynolds number we use, we found that there is an optimum iteration for the fractal level above which no improvement for practical application such as flowmetering is to be expected. The main parameters we propose for the characterisation of the fractal orifice are the connexity parameter, the symmetry angle and the gap to the wall $\delta^*_g$. The results presented here are among the firsts for flows forced through fractal openings and will serve as reference for future studies and bench marks for numerical applications.


title: Energy-Based Sequence GANs for Recommendation and Their Connection to Imitation Learning

abstract: Recommender systems aim to find an accurate and efficient mapping from historic data of user-preferred items to a new item that is to be liked by a user. Towards this goal, energy-based sequence generative adversarial nets (EB-SeqGANs) are adopted for recommendation by learning a generative model for the time series of user-preferred items. By recasting the energy function as the feature function, the proposed EB-SeqGANs is interpreted as an instance of maximum-entropy imitation learning.


title: Dynamic current-current susceptibility in 3D Dirac and Weyl semimetals

abstract: We study the linear response of doped three dimensional Dirac and Weyl semimetals to vector potentials, by calculating the wave-vector and frequency dependent current-current response function analytically. The longitudinal part of the dynamic current-current response function is then used to study the plasmon dispersion, and the optical conductivity. The transverse response in the static limit yields the orbital magnetic susceptibility. In a Weyl semimetal, along with the current-current response function, all these quantities are significantly impacted by the presence of parallel electric and magnetic fields (a finite ${\bf E}\cdot{\bf B}$ term), and can be used to experimentally explore the chiral anomaly.


title: Stability analysis of VBT Echelle spectrograph for precise radial velocity measurements

abstract: A fiber-fed Echelle spectrograph at 2.3 m Vainu Bappu Telescope (VBT), Kavalur, has been in operation since 2005. Owing to various technological advancements in precision spectroscopy in recent years, several research avenues have been opened in observational astronomy. These developments have created a demand to improve the Doppler precision of our spectrograph. Currently, the stability of the instrument is compromised by the temperature and pressure fluctuations inside the Echelle room. Further, a better wavelength calibration approach is needed to carefully track and disentangle the instrumental effects from stellar spectra. While planning a possible upgrade with an Iodine absorption gas cell, we measured the raw stability of the spectrograph using a series of calibration frames taken with the ThAr gas discharge lamp. The time series data were analysed with cross-correlation method and the shift in ThAr emission lines was accurately measured across different Echelle orders. In this paper, we present our stability analysis methodology and results for the Kavalur spectrograph. We also identify possible sources of error and discuss our strategy to mitigate them.


title: Shedding new light on the Crab with polarized X-rays

abstract: Strong magnetic fields, synchrotron emission, and Compton scattering are omnipresent in compact celestial X-ray sources. Emissions in the X-ray energy band are consequently expected to be linearly polarized. X-ray polarimetry provides a unique diagnostic to study the location and fundamental mechanisms behind emission processes. The polarization of emissions from a bright celestial X-ray source, the Crab, is reported here for the first time in the hard X-ray band (~20-160 keV). The Crab is a complex system consisting of a central pulsar, a diffuse pulsar wind nebula, as well as structures in the inner nebula including a jet and torus. Measurements are made by a purpose-built and calibrated polarimeter, PoGO+. The polarization vector is found to be aligned with the spin axis of the pulsar for a polarization fraction, PF = (20.9 $\pm$ 5.0)%. This is higher than that of the optical diffuse nebula, implying a more compact emission site, though not as compact as, e.g., the synchrotron knot. Contrary to measurements at higher energies, no significant temporal evolution of phase-integrated polarisation parameters is observed. The polarization parameters for the pulsar itself are measured for the first time in the X-ray energy band and are consistent with observations at optical wavelengths.


title: The semi-classical stress-energy tensor in a Schwarzschild background, the information paradox, and the fate of an evaporating black hole

abstract: Analytic approximations to and numerical results for the semi-classical stress-energy tensor outside the horizon of a Schwarzschild black hole obtained in the 1980's and 1990's are re-examined in order to better understand the origin of Hawking radiation and the implications for the black hole information paradox. Polynomial fits to the numerical results for the tangential stress in 4D are obtained for conformally coupled spin 0 and spin 1 fields in the Hartle-Hawking and Unruh quantum states. What these results show is that the origin of the Hawking radiation is not pair creation or tunneling very close to the black hole horizon, but rather is a nonlocal process extending beyond the potential barrier in the mode propagation equations centered around $r = 3M$. Arguments are presented that the black hole information paradox cannot plausibly be addressed by processes occurring close to the horizon of a black hole whose geometry is close to Schwarzschild. However, a toy model for the evolution of the black hole geometry based on the Bousso covariant entropy bound suggests a possible resolution.


title: Calculation of hyperfine structure constants of small molecules using Z-vector method in the relativistic coupled-cluster framework

abstract: The Z-vector method in the relativistic coupled-cluster framework is employed to calculate the parallel and perpendicular components of the magnetic hyperfine structure constant of a few small alkaline earth hydrides (BeH, MgH, and CaH) and fluorides (MgF and CaF). We have compared our Z-vector results with the values calculated by the extended coupled-cluster (ECC) method reported in Phys. Rev. A 91 022512 (2015). All these results are compared with the available experimental values. The Z-vector results are found to be in better agreement with the experimental values than those of the ECC values.


title: Semantic Web Prefetching Using Semantic Relatedness between Web pages

abstract: Internet as become the way of life in the fast growing digital life.Even with the increase in the internet speed, higher latency time is still a challenge. To reduce latency, caching and pre fetching techniques can be used. However, caching fails for dynamic websites which keeps on changing rapidly. Another technique is web prefetching, which prefetches the web pages that the user is likely to request for in the future. Semantic web prefetching makes use of keywords and descriptive texts like anchor text, titles, text surrounding anchor text of the present web pages for predicting users future requests. Semantic information is embedded within the web pages during their designing for the purpose of reflecting the relationship between the web pages. The client can fetch this information from the server. However, this technique involves load on web designers for adding external tags and on server for providing this information along with the desired page, which is not desirable. This paper is an effort to find the semantic relation between web pages using the keywords provided by the user and the anchor texts of the hyperlinks on the present web page.It provides algorithms for sequential and similar semantic relations. These algorithms will be implemented on the client side which will not cause overhead on designers and load on server for semantic information.


title: Classification of boundary Lefschetz fibrations over the disc

abstract: We show that a four-manifold admits a boundary Lefschetz fibration over the disc if and only if it is diffeomorphic to $S^1 \times S^3\# n \overline{\mathbb{C} P^2}$, $\# m\mathbb{C} P^2 \#n\overline{\mathbb{C} P^2}$ or $\# m (S^2 \times S^2)$. Given the relation between boundary Lefschetz fibrations and stable generalized complex structures, we conclude that the manifolds $S^1 \times S^3\# n \overline{\mathbb{C} P^2}$, $\#(2m+1)\mathbb{C} P^2 \#n\overline{\mathbb{C} P^2}$ and $\# (2m+1) S^2 \times S^2$ admit stable structures whose type change locus has a single component and are the only four-manifolds whose stable structure arise from boundary Lefschetz fibrations over the disc.


title: Asteroid mass estimation using Markov-chain Monte Carlo

abstract: Estimates for asteroid masses are based on their gravitational perturbations on the orbits of other objects such as Mars, spacecraft, or other asteroids and/or their satellites. In the case of asteroid-asteroid perturbations, this leads to an inverse problem in at least 13 dimensions where the aim is to derive the mass of the perturbing asteroid(s) and six orbital elements for both the perturbing asteroid(s) and the test asteroid(s) based on astrometric observations. We have developed and implemented three different mass estimation algorithms utilizing asteroid-asteroid perturbations: the very rough 'marching' approximation, in which the asteroids' orbital elements are not fitted, thereby reducing the problem to a one-dimensional estimation of the mass, an implementation of the Nelder-Mead simplex method, and most significantly, a Markov-chain Monte Carlo (MCMC) approach. We describe each of these algorithms with particular focus on the MCMC algorithm, and present example results using both synthetic and real data. Our results agree with the published mass estimates, but suggest that the published uncertainties may be misleading as a consequence of using linearized mass-estimation methods. Finally, we discuss remaining challenges with the algorithms as well as future plans.


title: Stability of stratified two-phase channel flows of Newtonian/non-Newtonian shear-thinning fluids

abstract: Linear stability of horizontal and inclined stratified channel flows of Newtonian/non-Newtonian shear-thinning fluids is investigated with respect to all wavelength perturbations. The Carreau model has been chosen for the modeling of the rheology of a shear-thinning fluid, owing to its capability to describe properly the constant viscosity limits (Newtonian behavior) at low and high shear rates. The results are presented in the form of stability boundaries on flow pattern maps (with the phases' superficial velocities as coordinates) for several practically important gas-liquid and liquid-liquid systems. The stability maps are accompanied by spatial profiles of the critical perturbations, along with the distributions of the effective and tangent viscosities in the non-Newtonian layer, to show the influence of the complex rheological behavior of shear-thinning liquids on the mechanisms responsible for triggering instability. Due to the complexity of the considered problem, a working methodology is proposed to alleviate the search for the stability boundary. Implementation of the proposed methodology helps to reveal that in many cases the investigation of the simpler Newtonian problem is sufficient for the prediction of the exact (non-Newtonian) stability boundary of smooth stratified flow (i.e., in case of horizontal gas-liquid flow). Therefore, the knowledge gained from the stability analysis of Newtonian fluids is applicable to those (usually highly viscous) non-Newtonian systems. Since the stability of stratified flow involving highly viscous Newtonian liquids has not been researched in the literature, interesting findings on the viscosity effects are also obtained.


title: Checkerboard graph monodromies

abstract: We associate an open book with any connected plane checkerboard graph, thus providing a common extension of the classes of prime positive braid links and positive tree-like Hopf plumbings. As an application, we prove that the link type of a prime positive braid closure is determined by the linking graph associated with that braid.


title: An intrinsic curvature condition for submersions over Riemannian manifolds

abstract: Let $\pi{:}\,(M,\mathcal{H})\to (B,b)$ be a submersion equipped with a horizontal connection $\cal H$ over a Riemannian manifold $(B,b)$. We present an intrinsic curvature condition that only depends on the pair $(\cal H,b)$. By studying a set of relative flat planes, we prove that a certain class of pairs $(\cal H,b)$ admits a compatible metric with positive sectional curvature only if they are \textit{fat}, verifying Wilhelm's Conjecture in this class.


title: Extending the class of solvable potentials. IV Inverse square potential with a rich spectrum

abstract: This is the fourth article in a series where we succeed in enlarging the class of exactly solvable quantum systems. We do that by working in a complete set of square integrable basis that carries a tridiagonal matrix representation for the wave operator. Consequently, the matrix wave equation becomes a three-term recursion relation for the expansion coefficients of the wavefunction. Finding solutions of this recursion relation in terms of orthogonal polynomials is equivalent to solving the original problem. This method, called the Tridiagonal Representation Approach (TRA), gives a larger class of solvable potentials. Here, we obtain S-wave solutions for a new four-parameter 1/r2 singular but short-range radial potential with an elaborate configuration structure and rich spectral property. A particle scattered by this potential has to overcome a barrier then could be trapped within the potential valley in a resonance or bound state. Using complex scaling (complex rotation), we display the rich spectral property of the potential in the complex energy plane for non-zero angular momentum and show how this structure varies with the physical parameters.


title: Monte Carlo study of magnetic nanoparticles adsorbed on halloysite $Al_2Si_2O_5(OH)_4$ nanotubes

abstract: We study properties of magnetic nanoparticles adsorbed on the halloysite surface. For that a distinct magnetic Hamiltonian with random distribution of spins on a cylindrical surface was solved by using a nonequilibrium Monte Carlo method. The parameters for our simulations: anisotropy constant, nanoparticle size distribution, saturated magnetization and geometrical parameters of the halloysite template were taken from recent experiments. We calculate the hysteresis loops and temperature dependence of the zero field cooling (ZFC) susceptibility, which maximum determines the blocking temperature. It is shown that the dipole-dipole interaction between nanoparticles moderately increases the blocking temperature and weakly increases the coercive force. The obtained hysteresis loops (e.g., the value of the coercive force) for Ni nanoparticles are in reasonable agreement with the experimental data. We also discuss the sensitivity of the hysteresis loops and ZFC susceptibilities to the change of anisotropy and dipole-dipole interaction, as well as the 3d-shell occupation of the metallic nanoparticles; in particular we predict larger coercive force for Fe, than for Ni nanoparticles.


title: Green's identities, comparison principle and uniqueness of positive solutions for nonlinear $p$-sub-Laplacian equations on stratified Lie groups

abstract: We propose analogues of Green's and Picone's identities for the $p$-sub-Laplacian on stratified Lie groups. In particular, these imply a generalised D\'iaz-Sa\'a inequality for the $p$-sub-Laplacian on stratified Lie groups. Using these we derive a comparison principle and uniqueness of a positive solution to nonlinear hypoelliptic equations on general stratified Lie groups extending to the setting of the general stratified Lie groups previously known results on Euclidean and Heisenberg groups.


title: Stellar laboratories. IX. New Se V, Sr IV - VII, Te VI, and I VI oscillator strengths and the Se, Sr, Te, and I abundances in the hot white dwarfs G191-B2B and RE 0503-289

abstract: To analyze spectra of hot stars, advanced non-local thermodynamic equilibrium (NLTE) model-atmosphere techniques are mandatory. Reliable atomic data is for the calculation of such model atmospheres. We aim to calculate new Sr IV - VII oscillator strengths to identify for the first time Sr spectral lines in hot white dwarf (WD) stars and to determine the photospheric Sr abundances. o measure the abundances of Se, Te, and I in hot WDs, we aim to compute new Se V, Te VI, and I VI oscillator strengths. To consider radiative and collisional bound-bound transitions of Se V, Sr IV - VII, Te VI, and I VI in our NLTE atmosphere models, we calculated oscillator strengths for these ions. We newly identified four Se V, 23 Sr V, 1 Te VI, and three I VI lines in the ultraviolet (UV) spectrum of RE0503-289. We measured a photospheric Sr abundance of 6.5 +3.8/-2.4 x 10**-4 (mass fraction, 9500 - 23800 times solar). We determined the abundances of Se (1.6 +0.9/-0.6 x 10**-3, 8000 - 20000), Te (2.5 +1.5/-0.9 x 10**-4, 11000 - 28000), and I (1.4 +0.8/-0.5 x 10**-5, 2700 - 6700). No Se, Sr, Te, and I line was found in the UV spectra of G191-B2B and we could determine only upper abundance limits of approximately 100 times solar. All identified Se V, Sr V, Te VI, and I VI lines in the UV spectrum of RE0503-289 were simultaneously well reproduced with our newly calculated oscillator strengths.


title: Coupled Spatiotemporal Characterization of Monsoon Cloud Cover and Vegetation Phenology

abstract: Many biogeophysical processes continuously evolve in both space and time. Some of these processes change gradually enough across both space and time to be oversampled by the satellite image archive. In these cases, image time series of Earth observations can support robust spatiotemporal analysis. In this analysis, we leverage the spectral differences of green vegetation, soil, and clouds to perform an EOF analysis which simultaneously characterizes monsoon cloud cover and vegetation phenology in a temperate cloud forest in Dhofar, southern Oman. The Normalized Difference Vegetation Index of daily MODIS reflectance clearly distinguishes clouds and bare soil from both grassland and cloud forest vegetation. Using the temporal feature space of the low order principal components of the NDVI time series, we identify distinct annual cycles of cloud cover and vegetation phenology corresponding to geographically contiguous areas of coupled monsoon-phenological activity (phenoregions). The EOF analysis characterizes the temporal dynamics of these phenoregions. The wadi cloud forests of the Jabal Al Qara and Jabal Al Qamar can each be described with 2 distinct spatiotemporal patterns of monsoon phenology, corresponding to the eastern and western portions of each range. In addition, the rangetop grasslands of the Jabal Al Qara show 3 distinct spatiotemporal patterns, corresponding to eastern, central, and western portions of the range. While each phenoregion has a clearly repeating annual cycle, each also demonstrates substantial interannual variability in both cloud cover and phenology. This interannual variability is of a sufficient magnitude to mask any trends in cloud cover or phenology in any of the regions in the Dhofar Mountains. Finally, using the degree of asymmetry of the cumulative NDVI time series, we infer a causal link between duration of cloud cover and amplitude of phenology.


title: Bottomonia Suppression in Heavy Ion Collisions from AdS/CFT

abstract: We compute for the first time the suppression of bottomonia in a strongly coupled QGP and compare the results to those from a weakly coupled QGP. Using imaginary time techniques we numerically determine the real and imaginary parts of the ground state binding energy of the bottomonia in one potential computed from AdS/CFT and another computed from pQCD. We then use these binding energies in a suppression model to determine the $\Upsilon$(1S) nuclear modification factor in $\sqrt{s}_{NN}=2.76$ TeV Pb+Pb collisions. AdS/CFT significantly overpredicts the suppression compared to data, although the predictive power of our calculation is limited by its significant sensitivity to the exact details of the suppression model.


title: Central limit theorems in the geometry of numbers

abstract: We investigate in this paper the distribution of the discrepancy of various lattice counting functions. In particular, we prove that the number of lattice points contained in certain domains defined by products of linear forms satisfies a Central Limit Theorem. Furthermore, we show that the Central Limit Theorem holds for the number of rational approximants for weighted Diophantine approximation in $\mathbb{R}^d$. Our arguments exploit chaotic properties of the Cartan flow on the space of lattices.


title: PhyNetLab: An IoT-Based Warehouse Testbed

abstract: Future warehouses will be made of modular embedded entities with communication ability and energy aware operation attached to the traditional materials handling and warehousing objects. This advancement is mainly to fulfill the flexibility and scalability needs of the emerging warehouses. However, it leads to a new layer of complexity during development and evaluation of such systems due to the multidisciplinarity in logistics, embedded systems, and wireless communications. Although each discipline provides theoretical approaches and simulations for these tasks, many issues are often discovered in a real deployment of the full system. In this paper we introduce PhyNetLab as a real scale warehouse testbed made of cyber physical objects (PhyNodes) developed for this type of application. The presented platform provides a possibility to check the industrial requirement of an IoT-based warehouse in addition to the typical wireless sensor networks tests. We describe the hardware and software components of the nodes in addition to the overall structure of the testbed. Finally, we will demonstrate the advantages of the testbed by evaluating the performance of the ETSI compliant radio channel access procedure for an IoT warehouse.


title: Time-Dependent Cooling in Photoionized Plasma

abstract: I explore the thermal evolution and ionization states in gas cooling from an initially hot state in the presence of external photoionizing radiation. I compute the equilibrium and nonequilibrium cooling efficiencies, heating rates, and ion fractions for low-density gas cooling while exposed to the ionizing metagalactic background radiation at various redshifts (z=0 - 3), for a range of temperatures (1e8-1e4 K), densities (1e-7 - 1e3 cm^-3) and metallicities (1e-3 - 2 times solar). The results indicate the existence of a threshold ionization parameter, above which the cooling efficiencies are very close to those in photoionization equilibrium (so that departures from equilibrium may be neglected), and below which the cooling efficiencies resemble those in collisional time-dependent gas cooling with no external radiation (and are thus independent of density)


title: Electron-nucleus scalar-pseudoscalar interaction in PbF: Z-vector study in the relativistic coupled-cluster framework

abstract: The scalar-pseudoscalar interaction constant of PbF in its ground state electronic configuration is calculated using the Z-vector method in the relativistic coupled-cluster framework. The precise calculated value is very important to set upper bound limit on P,T-odd scalar-pseudoscalar interaction constant, k_s, from the experimentally observed P,T-odd frequency shift. Further, the ratio of the effective electric field to the scalar-pseudoscalar interaction constant is also calculated which is required to get an independent upper bound limit of electric dipole moment of electron, d_e, and k_s and how these (d_e and k_s) are interrelated is also presented here.


title: A Stronger Multiple Exchange Property for M$^{\natural}$-concave Functions

abstract: The multiple exchange property for matroid bases has recently been generalized for valuated matroids and M$^{\natural}$-concave set functions. This paper establishes a stronger form of this multiple exchange property that imposes a cardinality condition on the exchangeable subset. The stronger form immediately implies the defining exchange property of M$^{\natural}$-concave set functions, which was not the case with the recently established multiple exchange property without the cardinality condition.


title: Blow-up analysis for nodal radial solutions in Moser-Trudinger critical equations in $R^2$

abstract: In this paper we consider nodal radial solutions $u_\epsilon$ to the problem \[ \begin{cases} -\Delta u=\lambda ue^{u^2+|u|^{1+\epsilon}}&\text{ in }B,\\ u=0&\text{ on }\partial B. \end{cases} \] and we study their asymptotic behaviour as $\epsilon\searrow0$, $\epsilon>0$. We show that when $u_\epsilon$ has $k$ interior zeros, it exhibits a multiple blow-up behaviour in the first $k$ nodal sets while it converges to the least energy solution of the problem with $\epsilon=0$ in the $(k+1)$-th one. We also prove that in each concentration set, with an appropriate scaling, $u_\epsilon$ converges to the solution of the classical Liouville problem in $R^2$.


title: An Optimal Execution Problem with S-shaped Market Impact Functions

abstract: In this study, we extend the optimal execution problem with convex market impact function studied in Kato (2014) to the case where the market impact function is S-shaped, that is, concave on $[0, \bar {x}_0]$ and convex on $[\bar {x}_0, \infty )$ for some $\bar {x}_0 \geq 0$. We study the corresponding Hamilton-Jacobi-Bellman equation and show that the optimal execution speed under the S-shaped market impact is equal to zero or larger than $\bar {x}_0$. Moreover, we provide some examples of the Black-Scholes model. We show that the optimal strategy for a risk-neutral trader with small shares is the time-weighted average price strategy whenever the market impact function is S-shaped.


title: FPGA-Based Tracklet Approach to Level-1 Track Finding at CMS for the HL-LHC

abstract: During the High Luminosity LHC, the CMS detector will need charged particle tracking at the hardware trigger level to maintain a manageable trigger rate and achieve its physics goals. The tracklet approach is a track-finding algorithm based on a road-search algorithm that has been implemented on commercially available FPGA technology. The tracklet algorithm has achieved high performance in track-finding and completes tracking within 3.4 $\mu$s on a Xilinx Virtex-7 FPGA. An overview of the algorithm and its implementation on an FPGA is given, results are shown from a demonstrator test stand and system performance studies are presented.


title: Effective Floquet Hamiltonian theory of multiple-quantum NMR in anisotropic solids involving quadrupolar spins: Challenges and Perspectives

abstract: The response of a quadrupolar nucleus (nuclear spin with I>1/2) to an oscillating radio-frequency (RF) pulse/field is delicately dependent on the ratio of the quadrupolar coupling constant to the amplitude of the pulse in addition to its duration and oscillating frequency. Consequently, analytic description of the excitation process in the density operator formalism has remained less transparent within existing theoretical frameworks. As an alternative, the utility of the "concept of effective Floquet Hamiltonians" is explored in the present study to explicate the nuances of the excitation process in multilevel systems. Employing spin I=3/2 as a case study, a unified theoretical framework for describing the excitation of multiple-quantum (MQ) transitions in static isotropic and anisotropic solids is proposed within the framework of perturbation theory. The challenges resulting from the anisotropic nature of the quadrupolar interactions are addressed within the effective Hamiltonian framework. The possible role of the various interaction frames on the convergence of the perturbation corrections is discussed along with a proposal for a "hybrid method" for describing the excitation process in anisotropic solids. Employing suitable model systems, the validity of the proposed hybrid method is substantiated through a rigorous comparison between simulations emerging from exact numerical and analytic methods.


title: Generalized weighted Ostrowski and Ostrowski-Gr\"uss type inequalities on time scales via a parameter function

abstract: We prove generalized weighted Ostrowski and Ostrowski--Gr\"uss type inequalities on time scales via a parameter function. In particular, our result extends a result of Dragomir and Barnett. Furthermore, we apply our results to the continuous, discrete, and quantum cases, to obtain some interesting new inequalities.


title: The Probability of the Auger Effect from Inner Shells of the Atom

abstract: The mechanism leading to an Auger transition is based on the residual Coulomb interaction between the valence electron and the core electrons. On the assumption that the wave field is switched on adiabatically, the probability of the Auger effect of the inner electrons of the atom is determined.


title: CDCL-inspired Word-level Learning for Bit-vector Constraint Solving

abstract: The theory of quantifier-free bit-vectors (QF_BV) is of paramount importance in software verification. The standard approach for satisfiability checking reduces the bit-vector problem to a Boolean problem, leveraging the powerful SAT solving techniques and their conflict-driven clause learning (CDCL) mechanisms. Yet, this bit-level approach loses the structure of the initial bit-vector problem. We propose a conflict-driven, word-level, combinable constraints learning for the theory of quantifier-free bit-vectors. This work paves the way to truly word-level decision procedures for bit-vectors, taking full advantage of word-level propagations recently designed in CP and SMT communities.


title: Accelerations for Graph Isomorphism

abstract: In this paper, we present two main results. First, by only one conjecture (Conjecture 2.9) for recognizing a vertex symmetric graph, which is the hardest task for our problem, we construct an algorithm for finding an isomorphism between two graphs in polynomial time $ O(n^{3}) $. Second, without that conjecture, we prove the algorithm to be of quasi-polynomial time $ O(n^{1.5\log n}) $. The conjectures in this paper are correct for all graphs of size no larger than $ 5 $ and all graphs we have encountered. At least the conjecture for determining if a graph is vertex symmetric is quite true intuitively. We are not able to prove them by hand, so we have planned to find possible counterexamples by a computer. We also introduce new concepts like collapse pattern and collapse tomography, which play important roles in our algorithms.


title: Asymptotic Confidence Regions for High-dimensional Structured Sparsity

abstract: In the setting of high-dimensional linear regression models, we propose two frameworks for constructing pointwise and group confidence sets for penalized estimators which incorporate prior knowledge about the organization of the non-zero coefficients. This is done by desparsifying the estimator as in van de Geer et al. [18] and van de Geer and Stucky [17], then using an appropriate estimator for the precision matrix $\Theta$. In order to estimate the precision matrix a corresponding structured matrix norm penalty has to be introduced. After normalization the result is an asymptotic pivot. The asymptotic behavior is studied and simulations are added to study the differences between the two schemes.


title: Interaction of electron beams with optical nanostructures and metamaterials: From coherent photon sources towards shaping the wave function

abstract: Investigating the interaction of electron beams with materials and light has been a field of research since more than a century. The field was advanced theoretically by the raise of quantum mechanics and technically by the introduction of electron microscopes and accelerators. It is possible nowadays to uncover a multitude of information from electron-induced excitations in matter by means of advanced techniques like holography, tomography, and most recently photon-induced near-field electron microscopy. The question is whether the interaction can be controlled in an even more efficient way in order to unravel important questions like modal decomposition of the electron-induced polarization, by performing experiments with better spatial, temporal, and energy resolutions. This review discusses recent advances in controlling the electron and light interactions at the nanoscale. Theoretical and numerical aspects of the interaction of electrons with nanostructures and metamaterials will be discussed, with the aim to understand mechanisms of radiation in interaction of electrons with even more sophisticated structures.


title: Modeling Temporally Evolving and Spatially Globally Dependent Data

abstract: The last decades have seen an unprecedented increase in the availability of data sets that are inherently global and temporally evolving, from remotely sensed networks to climate model ensembles. This paper provides a view of statistical modeling techniques for space-time processes, where space is the sphere representing our planet. In particular, we make a distintion between (a) second order-based, and (b) practical approaches to model temporally evolving global processes. The former are based on the specification of a class of space-time covariance functions, with space being the two-dimensional sphere. The latter are based on explicit description of the dynamics of the space-time process, i.e., by specifying its evolution as a function of its past history with added spatially dependent noise. We especially focus on approach (a), where the literature has been sparse. We provide new models of space-time covariance functions for random fields defined on spheres cross time. Practical approaches, (b), are also discussed, with special emphasis on models built directly on the sphere, without projecting the spherical coordinate on the plane. We present a case study focused on the analysis of air pollution from the 2015 wildfires in Equatorial Asia, an event which was classified as the year's worst environmental disaster. The paper finishes with a list of the main theoretical and applied research problems in the area, where we expect the statistical community to engage over the next decade.


title: Oscillons in the presence of external potential

abstract: We discuss similarity between oscillons and oscillational mode in perturbed $\phi^4$. For small depths of the perturbing potential it is difficult to distinguish between oscillons and the mode in moderately long time evolution, moreover one can transform one into the other by adiabatically switching on and off the potential. Basins of attraction are presented in the parameter space describing the potential and initial conditions.


title: Suppressed carrier density for the patterned high mobility two-dimensional electron gas at gamma-Al2O3/SrTiO3 heterointerfaces

abstract: The two-dimensional electron gas (2DEG) at the non-isostructural interface between spinel gamma-Al2O3 and perovskite SrTiO3 is featured by a record electron mobility among complex oxide interfaces in addition to a high carrier density up to the order of 1E15 cm-2. Herein, we report on the patterning of 2DEG at the gamma-Al2O3/SrTiO3 interface grown at 650 {\deg}C by pulsed laser deposition using a hard mask of LaMnO3. The patterned 2DEG exhibits a critical thickness of 2 unit cells of gamma-Al2O3 for the occurrence of interface conductivity, similar to the unpatterned sample. However, its maximum carrier density is found to be approximately 3E13 cm-2, much lower than that of the unpatterned sample (1E15 cm-2). Remarkably, a high electron mobility of approximately 3,600 cm2V-1s-1 was obtained at low temperatures for the patterned 2DEG at a carrier density of 7E12 cm-2, which exhibits clear Shubnikov-de Hass quantum oscillations. The patterned high-mobility 2DEG at the gamma-Al2O3/SrTiO3 interface paves the way for the design and application of spinel/perovskite interfaces for high-mobility all-oxide electronic devices.


title: Subtropical Satisfiability

abstract: Quantifier-free nonlinear arithmetic (QF_NRA) appears in many applications of satisfiability modulo theories solving (SMT). Accordingly, efficient reasoning for corresponding constraints in SMT theory solvers is highly relevant. We propose a new incomplete but efficient and terminating method to identify satisfiable instances. The method is derived from the subtropical method recently introduced in the context of symbolic computation for computing real zeros of single very large multivariate polynomials. Our method takes as input conjunctions of strict polynomial inequalities, which represent more than 40% of the QF_NRA section of the SMT-LIB library of benchmarks. The method takes an abstraction of polynomials as exponent vectors over the natural numbers tagged with the signs of the corresponding coefficients. It then uses, in turn, SMT to solve linear problems over the reals to heuristically find suitable points that translate back to satisfying points for the original problem. Systematic experiments on the SMT-LIB demonstrate that our method is not a sufficiently strong decision procedure by itself but a valuable heuristic to use within a portfolio of techniques.


title: Approximate Birkhoff-James orthogonality in the space of bounded linear operators

abstract: There are two notions of approximate Birkhoff-James orthogonality in a normed space. We characterize both the notions of approximate Birkhoff-James orthogonality in the space of bounded linear operators defined on a normed space. A complete characterization of approximate Birkhoff-James orthogonality in the space of bounded linear operators defined on Hilbert space of any dimension is obtained which improves on the recent result by Chmieli\'nski et al. [ J. Chmieli\'nski, T. Stypula and P. W\'ojcik, \textit{Approximate orthogonality in normed spaces and its applications}, Linear Algebra and its Applications, \textbf{531} (2017), 305--317.], in which they characterized approximate Birkhoff-James orthogonality of linear operators on finite dimensional Hilbert space and also of compact operators on any Hilbert space.


title: Instabilities of a U(1) quantum spin liquid in disordered non-Kramers pyrochlores

abstract: Quantum spin liquids (QSLs) are exotic phases of matter exhibiting long-range entanglement and supporting emergent gauge fields. A vigorous search for experimental realizations of these states has identified several materials with properties hinting at QSL physics. A key issue in understanding these QSL candidates is often the interplay of weak disorder of the crystal structure with the spin liquid state. It has recently been pointed out that in at least one important class of candidate QSLs - pyrochlore magnets based on non-Kramers ions such as Pr$^{3+}$ or Tb$^{3+}$- structural disorder can actually promote a $U(1)$ QSL ground state. Here we set this proposal on a quantitative footing by analyzing the stability of the QSL state in the minimal model for these systems: a random transverse field Ising model. We consider two kinds of instability, which are relevant in different limits of the phase diagram: condensation of spinons and confinement of the $U(1)$ gauge fields. Having obtained stability bounds on the QSL state we apply our results directly to the disordered candidate QSL Pr$_2$Zr$_2$O$_7$. We find that the available data for currently studied samples of Pr$_2$Zr$_2$O$_7$ is most consistent with it a ground state outside the spin liquid regime, in a paramagnetic phase with quadrupole moments near saturation due to the influence of structural disorder.


title: Scattered EXIT Charts for Finite Length LDPC Code Design

abstract: We introduce the Scattered Extrinsic Information Transfer (S-EXIT) chart as a tool for optimizing degree profiles of short length Low-Density Parity-Check (LDPC) codes under iterative decoding. As degree profile optimization is typically done in the asymptotic length regime, there is space for further improvement when considering the finite length behavior. We propose to consider the average extrinsic information as a random variable, exploiting its specific distribution properties for guiding code design. We explain, step-by-step, how to generate an S-EXIT chart for short-length LDPC codes. We show that this approach achieves gains in terms of bit error rate (BER) of 0.5 dB and 0.6 dB over the additive white Gaussian noise (AWGN) channel for codeword lengths of 128 and 180 bits, respectively, at a target BER of $10^{-4}$ when compared to conventional Extrinsic Information Transfer (EXIT) chart-based optimization. Also, a performance gain for the Binary Erasure Channel (BEC) for a block (i.e., codeword) length of 180 bits is shown.


title: Local fluctuations of the signed traded volumes and the dependencies of demands: a copula analysis

abstract: We investigate how the local fluctuations of the signed traded volumes affect the dependence of demands between stocks. We analyze the empirical dependence of demands using copulas and show that they are well described by a bivariate $\mathcal{K}$ copula density function. We find that large local fluctuations strongly increase the positive dependence but lower slightly the negative one in the copula density. This interesting feature is due to cross-correlations of volume imbalances between stocks. Also, we explore the asymmetries of tail dependencies of the copula density, which are moderate for the negative dependencies but strong for the positive ones. For the latter, we reveal that large local fluctuations of the signed traded volumes trigger stronger dependencies of demands than of supplies, probably indicating a bull market with persistent raising of prices.


title: Confinement Effects on an Electron Transfer Reaction in Nanoporous Carbon Electrodes

abstract: Nanoconfinement generally leads to drastic effect on the physical and chemical properties of ionic liquids. Here we investigate how the electrochemical reactivity in such media may be impacted inside nanoporous carbon electrodes. To this end, we study a simple electron transfer reaction using molecular dynamics simulations. The electrodes are held at constant electric potential by allowing the atomic charges on the carbon atoms to fluctuate. We show that the $\mathrm{Fe^{3+}}/\mathrm{Fe^{2+}}$ couple dissolved in an ionic liquid exhibits a deviation with respect to Marcus theory. This behavior is rationalized by the stabilization of a solvation state of the Fe$^{3+}$ cation in the disordered nanoporous electrode that is not observed in the bulk. The simulation results are fitted with a recently proposed two solvation state model, which allows us to estimate the effect of such a deviation on the kinetics of electron transfer inside nanoporous electrodes.


title: Total variation regularized non-negative matrix factorization for smooth hyperspectral unmixing

abstract: Hyperspectral analysis has gained popularity over recent years as a way to infer what materials are displayed on a picture whose pixels consist of a mixture of spectral signatures. Computing both signatures and mixture coefficients is known as unsupervised unmixing, a set of techniques usually based on non-negative matrix factorization. Unmixing is a difficult non-convex problem, and algorithms may converge to one out of many local minima, which may be far removed from the true global minimum. Computing this true minimum is NP-hard and seems therefore out of reach. Aiming for interesting local minima, we investigate the addition of total variation regularization terms. Advantages of these regularizers are two-fold. Their computation is typically rather light, and they are deemed to preserve sharp edges in pictures. This paper describes an algorithm for regularized hyperspectral unmixing based on the Alternating Direction Method of Multipliers.


title: Location Optimization of ATM Networks

abstract: ATMs enable the public to perform financial transactions. Banks try to strategically position their ATMs in order to maximize transactions and revenue. In this paper, we introduce a model which provides a score to an ATM location, which serves as an indicator of its relative likelihood of transactions. In order to efficiently capture the spatially dynamic features, we utilize two concurrent prediction models: the local model which encodes the spatial variance by considering highly energetic features in a given location, and the global model which enforces the dominant trends in the entire data and serves as a feedback to the local model to prevent overfitting. The major challenge in learning the model parameters is the lack of an objective function. The model is trained using a synthetic objective function using the dominant features returned from the k-means clustering algorithm in the local model. The results obtained from the energetic features using the models are encouraging.


title: An Applied Knowledge Framework to Study Complex Systems

abstract: The complexity of knowledge production on complex systems is well-known, but there still lacks knowledge framework that would both account for a certain structure of knowledge production at an epistemological level and be directly applicable to the study and management of complex systems. We set a basis for such a framework, by first analyzing in detail a case study of the construction of a geographical theory of complex territorial systems, through mixed methods, namely qualitative interview analysis and quantitative citation network analysis. We can therethrough inductively build a framework that considers knowledge entreprises as perspectives, with co-evolving components within complementary knowledge domains. We finally discuss potential applications and developments.


title: Academic Performance and Behavioral Patterns

abstract: Identifying the factors that influence academic performance is an essential part of educational research. Previous studies have documented the importance of personality traits, class attendance, and social network structure. Because most of these analyses were based on a single behavioral aspect and/or small sample sizes, there is currently no quantification of the interplay of these factors. Here, we study the academic performance among a cohort of 538 undergraduate students forming a single, densely connected social network. Our work is based on data collected using smartphones, which the students used as their primary phones for two years. The availability of multi-channel data from a single population allows us to directly compare the explanatory power of individual and social characteristics. We find that the most informative indicators of performance are based on social ties and that network indicators result in better model performance than individual characteristics (including both personality and class attendance). We confirm earlier findings that class attendance is the most important predictor among individual characteristics. Finally, our results suggest the presence of strong homophily and/or peer effects among university students.


title: The Frobenius problem for four numerical semigroups

abstract: The greatest integer that does not belong to a numerical semigroup $S$ is called the Frobenius number of $S$ and finding the Frobenius number is called the Frobenius problem. In this paper, we introduce the Frobenius problem for numerical semigroups generated by Thabit number base b and Thabit number of the second kind base b which are motivated by the Frobenius problem for Thabit numerical semigroups. Also, we introduce the Frobenius problem for numerical semigroups generated by Cunningham number and Fermat number base $b$


title: On Reliability of Android Wearable Health Devices

abstract: Wearable devices are increasingly being used for monitoring health signals and for fitness purposes with typical uses being calorie tracker, workout assistant, and step counter. Even though these wearables can measure many health signals (e.g. heart rate), they are still not perceived as highly accurate, relative to clinical monitoring devices. In this paper, we investigate the accuracy of heart monitor as included in two popular wearables Motorola Moto 360 and the Apple Watch. We analyze the accuracy from a hardware and a software perspective and show the effects of body motion on the heart rate monitors based on the use of photoplethysmography (PPG) signals used in Android wearables. We then do a software reliability study of the Android Wear OS, on which many wearables are based, using fuzz testing.


title: Logic Programming for an Introductory Computer Science Course for High School Students

abstract: This paper investigates how high school students approach computing through an introductory computer science course situated in the Logic Programming (LP) paradigm. This study shows how novice students operate within the LP paradigm while engaging in foundational computing concepts and skills, and presents a case for LP as a viable paradigm choice for introductory CS courses.


title: Logics and practices of transparency and opacity in real-world applications of public sector machine learning

abstract: Machine learning systems are increasingly used to support public sector decision-making across a variety of sectors. Given concerns around accountability in these domains, and amidst accusations of intentional or unintentional bias, there have been increased calls for transparency of these technologies. Few, however, have considered how logics and practices concerning transparency have been understood by those involved in the machine learning systems already being piloted and deployed in public bodies today. This short paper distils insights about transparency on the ground from interviews with 27 such actors, largely public servants and relevant contractors, across 5 OECD countries. Considering transparency and opacity in relation to trust and buy-in, better decision-making, and the avoidance of gaming, it seeks to provide useful insights for those hoping to develop socio-technical approaches to transparency that might be useful to practitioners on-the-ground. An extended, archival version of this paper is available as Veale M., Van Kleek M., & Binns R. (2018). `Fairness and accountability design needs for algorithmic support in high-stakes public sector decision-making' Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems (CHI'18), http://doi.org/10.1145/3173574.3174014.


title: A table of some coherency matrices, coherency matrix factors (CMFs), and their respective Mueller matrices

abstract: Many books on polarization give tables of Mueller matrices. Here we give a table of Mueller matrices M, coherency matrices C, and coherency matrix factors F for different polarization components. F is not given for some complicated cases. In many cases, though, F has a very simple form. The terms are defined in the Appendix.


title: Some aspects of an induced electric dipole moment in rotating and nonrotating frames

abstract: Quantum effects on a neutral particle (atom or molecule) with an induced electric dipole moment are investigated when it is subject to the Kratzer potential and a scalar potential proportional to the radial distance. In addition, this neutral is placed in a region with electric and magnetic fields. This system is analysed in both nonrotating and rotating reference frames. Then, it is shown that bound state solutions to the Schr\"odinger equation can be achieved and, in the search for polynomial solutions to the radial wave function, a restriction on the values of the cyclotron frequency is analysed in both references frames.


title: On the stability of projection methods for the incompressible Navier-Stokes equations based on high-order discontinuous Galerkin discretizations

abstract: The present paper deals with the numerical solution of the incompressible Navier-Stokes equations using high-order discontinuous Galerkin (DG) methods for discretization in space. For DG methods applied to the dual splitting projection method, instabilities have recently been reported that occur for coarse spatial resolutions and small time step sizes. By means of numerical investigation we give evidence that these instabilities are related to the discontinuous Galerkin formulation of the velocity divergence term and the pressure gradient term that couple velocity and pressure. Integration by parts of these terms with a suitable definition of boundary conditions is required in order to obtain a stable and robust method. Since the intermediate velocity field does not fulfill the boundary conditions prescribed for the velocity, a consistent boundary condition is derived from the convective step of the dual splitting scheme to ensure high-order accuracy with respect to the temporal discretization. This new formulation is stable in the limit of small time steps for both equal-order and mixed-order polynomial approximations. Although the dual splitting scheme itself includes inf-sup stabilizing contributions, we demonstrate that spurious pressure oscillations appear for equal-order polynomials and small time steps highlighting the necessity to consider inf-sup stability explicitly.


title: Minimal hard surface-unlink and classical unlink diagrams

abstract: We describe a method for generating minimal hard prime surface-link diagrams. We extend the known examples of minimal hard prime classical unknot and unlink diagrams up to three components and generate figures of all minimal hard prime surface-unknot and surface-unlink diagrams with prime base surface components up to ten crossings.


title: The E2E Dataset: New Challenges For End-to-End Generation

abstract: This paper describes the E2E data, a new dataset for training end-to-end, data-driven natural language generation systems in the restaurant domain, which is ten times bigger than existing, frequently used datasets in this area. The E2E dataset poses new challenges: (1) its human reference texts show more lexical richness and syntactic variation, including discourse phenomena; (2) generating from this set requires content selection. As such, learning from this dataset promises more natural, varied and less template-like system utterances. We also establish a baseline on this dataset, which illustrates some of the difficulties associated with this data.


title: Multilevel preconditioner of Polynomial Chaos Method for quantifying uncertainties in a blood pump

abstract: More than 23 million people are suffered by Heart failure worldwide. Despite the modern transplant operation is well established, the lack of heart donations becomes a big restriction on transplantation frequency. With respect to this matter, ventricular assist devices (VADs) can play an important role in supporting patients during waiting period and after the surgery. Moreover, it has been shown that VADs by means of blood pump have advantages for working under different conditions. While a lot of work has been done on modeling the functionality of the blood pump, but quantifying uncertainties in a numerical model is a challenging task. We consider the Polynomial Chaos (PC) method, which is introduced by Wiener for modeling stochastic process with Gaussian distribution. The Galerkin projection, the intrusive version of the generalized Polynomial Chaos (gPC), has been densely studied and applied for various problems. The intrusive Galerkin approach could represent stochastic process directly at once with Polynomial Chaos series expansions, it would therefore optimize the total computing effort comparing with classical non-intrusive methods. We compared different preconditioning techniques for a steady state simulation of a blood pump configuration in our previous work, the comparison shows that an inexact multilevel preconditioner has a promising performance. In this work, we show an instationary blood flow through a FDA blood pump configuration with Galerkin Projection method, which is implemented in our open source Finite Element library Hiflow3. Three uncertainty sources are considered: inflow boundary condition, rotor angular speed and dynamic viscosity, the numerical results are demonstrated with more than 30 Million degrees of freedom by using supercomputer.


title: Higher spin currents in the critical $O(N)$ vector model at $1/N^2$

abstract: We calculate the anomalous dimensions of higher spin singlet currents in the critical $O(N)$ vector model at order $1/N^2$. The results are shown to be in agreement with the four-loop perturbative computation in $\phi^4$ theory in $4-2\epsilon$ dimensions. It is known that the order $1/N$ anomalous dimensions of higher-spin currents happen to be the same in the Gross-Neveu and the critical vector model. On the contrary, the order $1/N^2$ corrections are different. The results can also be interpreted as a prediction for the two-loop computation in the dual higher-spin gravity.


title: Snapshot spectra in the world-line quantum Monte Carlo for one-dimensional quantum spin systems

abstract: We introduce a snapshot density matrix and snapshot spectrum for world-line (WL) quantum Monte Carlo simulations, by integrating out the continuous-imaginary-time index of WL snapshots. For the transverse-field Ising chain, we reveal fundamental properties of the snapshot spectrum as follows. (i) In the ordered phase, the isolated peak corresponding to the maximum eigenvalue appears, indicating the classical nature of WL configurations. (ii) In the disordered phase, the spectrum converges to the dome-like distribution characterized by an effective aspect ratio of the snapshots. (iii) At the critical point, the power-law distribution is observed with an appropriate scaling analysis of the fixed aspect ratio. For the XXZ chain, we also obtain numerical results consistent with the above properties. In addition, the representation-basis dependence of the snapshot spectrum is also discussed.


title: Classic papers: d\'ej\`a vu, a step further in the bibliometric exploitation of Google Scholar

abstract: After giving a brief overview of Eugene Garfield contributions to the issue of identifying and studying the most cited scientific articles, manifested in the creation of his Citation Classics, the main characteristics and features of Google Scholar new service Classic Papers, as well as its main strengths and weaknesses, are addressed. This product currently displays the most cited English-language original research articles by fields and published in 2006


title: Experimental protection of the coherence of a molecular qubit exceeding a millisecond

abstract: There are several important solid-state systems, such as defects in solids, superconducting circuits and molecular qubits, for attractive candidates of quantum computations. Molecular qubits, which benefit from the power of chemistry for the tailored and inexpensive synthesis of new systems, face the challenge from decoherence effect. The decoherence effect is due to the molecular qubits' inevitable interactions to their environment. Strategies to overcome decoherence effect have been developed, such as designing a nuclear spin free environment and working at atomic clock transitions. These chemical approaches, however, have some fundamental limitations. For example, chemical approach restricts the ligand selection and design to ligands with zero nuclear magnetic dipole moment, such as carbon, oxygen, and sulfur. Herein, a physical approach, named Dynamical decoupling (DD), is utilized to combat decoherence, while the limitations of the chemical approaches can be avoided. The phase memory time $T_2$ for a transition metal complex has been prolonged to exceed one millisecond ($1.4~$ms) by employing DD. The single qubit figure of merit $Q_M $ reaches $ 1.4\times 10^5$, which is $40$ times better than that previously reported value for such system. Our results show that molecular qubits, with milliseconds $T_2$, are promising candidates for quantum information processing.


title: Well-posedness and stability results for a quasilinear periodic Muskat problem

abstract: We study the Muskat problem describing the spatially periodic motion of two fluids with equal viscosities under the effect of gravity in a vertical unbounded two-dimensional geometry. We first prove that the classical formulation of the problem is equivalent to a nonlocal and nonlinear evolution equation expressed in terms of singular integrals and having only the interface between the fluids as unknown. Secondly, we show that this evolution equation has a quasilinear structure, which is at a formal level not obvious, and we also disclose the parabolic character of the equation. Exploiting these aspects, we establish the local well-posedness of the problem for arbitrary initial data in $H^s(\mathbb{S})$, with $s\in(3/2,2)$, determine a new criterion for the global existence of solutions, and uncover a parabolic smoothing property. Besides, we prove that the zero steady-state solution is exponentially stable.


title: Valley filtering and spatial maps of coupling between silicon donors and quantum dots

abstract: Exchange coupling is a key ingredient for spin-based quantum technologies since it can be used to entangle spin qubits and create logical spin qubits. However, the influence of the electronic valley degree of freedom in silicon on exchange interactions is presently the subject of important open questions. Here we investigate the influence of valleys on exchange in a coupled donor/quantum dot system, a basic building block of recently proposed schemes for robust quantum information processing. Using a scanning tunneling microscope tip to position the quantum dot with sub-nm precision, we find a near monotonic exchange characteristic where lattice-aperiodic modulations associated with valley degrees of freedom comprise less than 2~\% of exchange. From this we conclude that intravalley tunneling processes that preserve the donor's $\pm x$ and $\pm y$ valley index are filtered out of the interaction with the $\pm z$ valley quantum dot, and that the $\pm x$ and $\pm y$ intervalley processes where the electron valley index changes are weak. Complemented by tight-binding calculations of exchange versus donor depth, the demonstrated electrostatic tunability of donor/QD exchange can be used to compensate the remaining intravalley $\pm z$ oscillations to realise uniform interactions in an array of highly coherent donor spins.


title: Hierarchical Attentive Recurrent Tracking

abstract: Class-agnostic object tracking is particularly difficult in cluttered environments as target specific discriminative models cannot be learned a priori. Inspired by how the human visual cortex employs spatial attention and separate "where" and "what" processing pathways to actively suppress irrelevant visual features, this work develops a hierarchical attentive recurrent model for single object tracking in videos. The first layer of attention discards the majority of background by selecting a region containing the object of interest, while the subsequent layers tune in on visual features particular to the tracked object. This framework is fully differentiable and can be trained in a purely data driven fashion by gradient methods. To improve training convergence, we augment the loss function with terms for a number of auxiliary tasks relevant for tracking. Evaluation of the proposed model is performed on two datasets: pedestrian tracking on the KTH activity recognition dataset and the more difficult KITTI object tracking dataset.


title: Capacitance of Nanoporous Carbon-Based Supercapacitors is a Trade-Off Between the Concentration and the Separability of the Ions

abstract: Nanoporous carbon-based supercapacitors store electricity through adsorption of ions from the electrolyte at the surface of the electrodes. Room temperature ionic liquids, which show the largest ion concentrations among organic liquid electrolytes, should in principle yield larger capacitances. Here we show by using electrochemical measurements that the capacitance is not significantly affected when switching from a pure ionic liquid to a conventional organic electrolyte using the same ionic species. By performing additional molecular dynamics simulations, we interpret this result as an increasing difficulty of separating ions of opposite charges when they are more concentrated, i.e. in the absence of a solvent which screens the Coulombic interactions. The charging mechanism consistently changes with ion concentration, switching from counter-ion adsorption in the diluted organic electrolyte to ion exchange in the pure ionic liquid. Contrarily to the capacitance, in-pore diffusion coefficients largely depend on the composition, with a noticeable slowing of the dynamics in the pure ionic liquid.


title: Simply Connected 3-Manifolds with a Dense Set of Ends of Specified Genus

abstract: We show that for every sequence $(n_i)$, where each $n_i$ is either an integer greater than 1 or is $\infty$, there exists a simply connected open 3-manifold $M$ with a countable dense set of ends $\{e_i\}$ so that, for every $i$, the genus of end $e_i$ is equal to $n_i$. In addition, the genus of the ends not in the dense set is shown to be less than or equal to 2. These simply connected 3-manifolds are constructed as the complements of certain Cantor sets in $S^3$. The methods used require careful analysis of the genera of ends and new techniques for dealing with infinite genus.


title: Weak index pairs and the Conley index for discrete multivalued dynamical systems. Part II: properties of the index

abstract: Motivation to revisit the Conley index theory for discrete multivalued dynamical systems stems from the needs of broader real applications, in particular in sampled dynamics or in combinatorial dynamics. The new construction of the index in [B. Batko and M. Mrozek, {\em SIAM J. Applied Dynamical Systems}, 15(2016), pp. 1143-1162] based on weak index pairs, under the circumstances of the absence of index pairs caused by relaxing the isolation property, seems to be a promising step towards this direction. The present paper is a direct continuation of [B. Batko and M. Mrozek, {\em SIAM J. Applied Dynamical Systems}, 15(2016), pp. 1143-1162] and concerns properties of the index defined therin, namely Wa\.zewski property, the additivity property, the homotopy (continuation) property and the commutativity property. We also present the construction of weak index pairs in an isolating block.


title: A Web-based Application for the Management of Seminar Assignments

abstract: Seminar activities never occur randomly or in a vacuum. Carefully planned and well-organized thematically, they allow both undergraduates and graduates to explore in (more) detail various subject areas of particular interest to every individual or group. Discussion and participation characterize this form of learning, which is often supplemented by in-class presentations of previously assigned tasks. The preparation of assignments often presupposes a lot of self-study and research; it is desirable that the student group enrolled in the same seminar be able to share all points of view, results and conclusions. The present paper presents an information system designed to manage the assignments proposed in a seminar and balance students' individual study load. The system was developed in PHP language with all editable features stored in MySQL database for the best speed and performance results. With a modular organization, the system relies on various entities such as Student, Theme, Keyword, Reference, etc. The implemented procedures are enhanced by a user-friendly graphic interface (this will be described in another paper). The system is easy to use; it eliminates appointment dysfunctions, allows students to have their say in selecting/accepting a task and even to correlate their decision with the proposed date for presentation.