title: Predictability and Strength of a Heterogeneous System : The Role of System Size and Disorder

abstract: In this work I have studied the effect of disorder and system size in fiber bundle model with a certain range of stress redistribution. The strength of the bundle as well as the failure abruptness is observed with varying disorder, stress release range and system sizes. With a local stress concentration, the strength of the bundle is observed to decrease with system size. The behavior of such decrement changes drastically as disorder strength is tuned. At moderate disorder, the critical stress scales with system size in an inverse logarithmic manner. In low disorder, where the brittle response is highly expected, the strength decreases in a scale free manner. With increasing system size and stress release range the model approaches thermodynamic limit and the mean field limit respectively. A detail study expresses different limit in the model and the corresponding modes of failure on the plane of above mentioned parameters.


title: A Similarity Measure for GPU Kernel Subgraph Matching

abstract: Accelerator architectures specialize in executing SIMD (single instruction, multiple data) in lockstep. Because the majority of CUDA applications are parallelized loops, control flow information can provide an in-depth characterization of a kernel. CUDAflow is a tool that statically separates CUDA binaries into basic block regions and dynamically measures instruction and basic block frequencies. CUDAflow captures this information in a control flow graph (CFG) and performs subgraph matching across various kernel's CFGs to gain insights to an application's resource requirements, based on the shape and traversal of the graph, instruction operations executed and registers allocated, among other information. The utility of CUDAflow is demonstrated with SHOC and Rodinia application case studies on a variety of GPU architectures, revealing novel thread divergence characteristics that facilitates end users, autotuners and compilers in generating high performing code.


title: Search for new high-mass phenomena in the dilepton final state using 36 fb$^{-1}$ of proton-proton collision data at $\sqrt{s}$ = 13 TeV with the ATLAS detector

abstract: A search is conducted for new resonant and non-resonant high-mass phenomena in dielectron and dimuon final states. The search uses 36.1 fb$^{-1}$ of proton-proton collision data, collected at $\sqrt{s}$ = 13 TeV by the ATLAS experiment at the LHC in 2015 and 2016. No significant deviation from the Standard Model prediction is observed. Upper limits at 95% credibility level are set on the cross-section times branching ratio for resonances decaying into dileptons, which are converted to lower limits on the resonance mass, up to 4.1 for the E$_{6}$-motivated Z'$_{\chi}$. Lower limits on the $qq \ell\ell$ contact interaction scale are set between 24 TeV and 40 TeV, depending on the model.


title: Nonlinear dynamics of damped DNA systems with long-range interactions

abstract: We investigate the nonlinear dynamics of a damped Peyrard-Bishop DNA model taking into account long-range interactions with distance dependence |l|^-s on the elastic coupling constant between different DNA base pairs. Considering both Stokes and long-range hydrodynamical damping forces, we use the discrete difference operator technique and show in the short wavelength modes that the lattice equation can be governed by the complex Ginzburg-Landau equation. We found analytically that the technique leads to the correct expression for the breather soliton parameters. We found that the viscosity makes the amplitude of the breather to damp out. We compare the approximate analytic results with numerical simulations for the value s = 3 (dipole-dipole interactions).


title: Electron and thermal transport via Variable Range Hopping in MoSe$_{2}$ single crystals

abstract: Bulk single crystal Molybdenum diselenide has been studied for its electronic and thermal transport properties. We perform resistivity measurements with current in-plane (CIP) and current perpendicular to plane (CPP) as a function of temperature. The CIP measurements exhibit metal to semiconductor transition at $\simeq 31$ K. In the semiconducting phase ($T > 31$ K), the transport is best explained by variable range hopping (VRH) model. Large magnitude of resistivity in CPP mode indicates strong structural anisotropy. Seebeck coefficient as a function of temperature measured in the range $90 - 300$ K, also agrees well with the VRH model. The room temperature Seebeck coefficient is found to be $139$ $\mu$V/K. VRH fittings of the resistivity and Seebeck coefficient data indicate high degree of localization.


title: Deep Learning for Vanishing Point Detection Using an Inverse Gnomonic Projection

abstract: We present a novel approach for vanishing point detection from uncalibrated monocular images. In contrast to state-of-the-art, we make no a priori assumptions about the observed scene. Our method is based on a convolutional neural network (CNN) which does not use natural images, but a Gaussian sphere representation arising from an inverse gnomonic projection of lines detected in an image. This allows us to rely on synthetic data for training, eliminating the need for labelled images. Our method achieves competitive performance on three horizon estimation benchmark datasets. We further highlight some additional use cases for which our vanishing point detection algorithm can be used.


title: Combinatorial Optimization Problems with Interaction Costs: Complexity and Solvable Cases

abstract: We introduce and study the combinatorial optimization problem with interaction costs (COPIC). COPIC is the problem of finding two combinatorial structures, one from each of two given families, such that the sum of their independent linear costs and the interaction costs between elements of the two selected structures is minimized. COPIC generalizes the quadratic assignment problem and many other well studied combinatorial optimization problems, and hence covers many real world applications. We show how various topics from different areas in the literature can be formulated as special cases of COPIC. The main contributions of this paper are results on the computational complexity and approximability of COPIC for different families of combinatorial structures (e.g. spanning trees, paths, matroids), and special structures of the interaction costs. More specifically, we analyze the complexity if the interaction cost matrix is parameterized by its rank and if it is a diagonal matrix. Also, we determine the structure of the intersection cost matrix, such that COPIC is equivalent to independently solving linear optimization problems for the two given families of combinatorial structures.


title: Weyl-Schr\"odinger representations of infinite-dimensional Heisenberg groups on symmetric Wiener spaces

abstract: We investigate the group $\mathcal{H}_\mathbb{C}$ of complexified Heisenberg matrices with entries from an infinite-dimensional complex Hilbert space $H$. Irreducible representations of the Weyl--Schr{\"o}dinger type on the space $L^2_\chi$ of quadratically integrable $\mathbb{C}$-valued functions are described. Integrability is understood with respect to the projective limit $\chi=\varprojlim\chi_i$ of probability Haar measures $\chi_i$ defined on groups of unitary $i\times i$-matrices $U(i)$. The measure $\chi$ is invariant under the infinite-dimensional group $U(\infty)=\bigcup U(i)$ and satisfies the abstract Kolmogorov consistency conditions. The space $L^2_\chi$ is generated by Schur polynomials on Paley--Wiener maps. The Fourier-image of $L^2_\chi$ coincides with the Hardy space ${H}^2_\beta$ of Hilbert--Schmidt analytic functions on $H$ generated by the correspondingly weighted Fock space $\Gamma_\beta(H)$. An application to heat equation over $\mathcal{H}_\mathbb{C}$ is considered.


title: Combining Forecasts Using Ensemble Learning

abstract: The problem of combining individual forecasters to produce a forecaster with improved performance is considered. The connections between probability elicitation and classification are used to pose the combining forecaster problem as that of ensemble learning. With this connection in place, a number of theoretically sound ensemble learning methods such as Bagging and Boosting are adapted for combining forecasters. It is shown that the simple yet effective method of averaging the forecasts is equivalent to Bagging. This provides theoretical insight into why the well established averaging of forecasts method works so well. Also, a nonlinear combination of forecasters can be attained through Boosting which is shown to theoretically produce combined forecasters that are both calibrated and highly refined. Finally, the proposed methods of combining forecasters are applied to the Good Judgment Project data set and are shown to outperform the individual forecasters.


title: The disturbing function for polar Centaurs and transneptunian objects

abstract: The classical disturbing function of the three-body problem is based on an expansion of the gravitational interaction in the vicinity of nearly coplanar orbits. Consequently, it is not suitable for the identification and study of resonances of the Centaurs and transneptunian objects on nearly polar orbits with the solar system planets. Here, we provide a series expansion algorithm of the gravitational interaction in the vicinity of polar orbits and produce explicitly the disturbing function to fourth order in eccentricity and inclination cosine. The properties of the polar series differ significantly from those of the classical disturbing function: the polar series can model any resonance as the expansion order is not related to the resonance order. The powers of eccentricity and inclination of the force amplitude of a $p$:$q$ resonance do not depend on the value of the resonance order $|p-q|$ but only on its parity. Thus all even resonance order eccentricity amplitudes are $\propto e^2$ and odd ones $\propto e$ to lowest order in eccentricity $e$. With the new findings on the structure of the polar disturbing function and the possible resonant critical arguments, we illustrate the dynamics of the polar resonances 1:3, 3:1, 2:9 and 7:9 where transneptunian object 471325 could currently be locked.


title: Deep Semantic Segmentation for Automated Driving: Taxonomy, Roadmap and Challenges

abstract: Semantic segmentation was seen as a challenging computer vision problem few years ago. Due to recent advancements in deep learning, relatively accurate solutions are now possible for its use in automated driving. In this paper, the semantic segmentation problem is explored from the perspective of automated driving. Most of the current semantic segmentation algorithms are designed for generic images and do not incorporate prior structure and end goal for automated driving. First, the paper begins with a generic taxonomic survey of semantic segmentation algorithms and then discusses how it fits in the context of automated driving. Second, the particular challenges of deploying it into a safety system which needs high level of accuracy and robustness are listed. Third, different alternatives instead of using an independent semantic segmentation module are explored. Finally, an empirical evaluation of various semantic segmentation architectures was performed on CamVid dataset in terms of accuracy and speed. This paper is a preliminary shorter version of a more detailed survey which is work in progress.


title: Planar waveguide structures for production of modally entangled biphotons with spectrum broadening

abstract: We study the generation of biphoton modally entangled states in such waveguide structures that lead to spectrum broadening. The process of spontaneous parametric down conversion (SPDC) has been considered for the biphoton generation. The main subject of our study is the dependence of the biphoton spectra on the structure spatial characteristics. The representation of the core structures as definite assembles of nonlinear layers allows us to find analytical description for biphoton spectrum. We show that chirped biphotons with discrete as well as continuous spectra can be generated depending on the waveguide structure. The conditions for spectrum discretization are obtained analytically. It is shown that the biphoton entangled states can be controlled by varying the parameters of the waveguide structure.


title: Two Peculiar Fast Transients in a Strongly Lensed Host Galaxy

abstract: A massive galaxy cluster can serve as a magnifying glass for distant stellar populations, with strong gravitational lensing exposing details in the lensed background galaxies that would otherwise be undetectable. The MACS J0416.1-2403 cluster (hereafter MACS0416) is one of the most efficient lenses in the sky, and in 2014 it was observed with high-cadence imaging from the Hubble Space Telescope (HST). Here we describe two unusual transient events that appeared behind MACS0416 in a strongly lensed galaxy at redshift $z = 1.0054 \pm 0.0002$. These transients---designated HFF14Spo-NW and HFF14Spo-SE and collectively nicknamed "Spock"---were faster and fainter than any supernova (SN), but significantly more luminous than a classical nova. They reached peak luminosities of $\sim10^{41}$ erg s$^{-1}$ ($M_{\rm AB} < -14$ mag) in 5 rest-frame days, then faded below detectability in roughly the same time span. Models of the cluster lens suggest that these events may be spatially coincident at the source plane, but are most likely not temporally coincident. We find that HFF14Spo can be explained as a luminous blue variable (LBV), a recurrent nova (RN), or a pair of stellar microlensing events. To distinguish between these hypotheses will require a clarification of the positions of nearby critical curves, along with high-cadence monitoring of the field that could detect new transient episodes in the host galaxy.


title: Computer Self-efficacy and Its Relationship with Web Portal Usage: Evidence from the University of the East

abstract: The University of the East Web Portal is an academic, web based system that provides educational electronic materials and e-learning services. To fully optimize its usage, it is imperative to determine the factors that relate to its usage. Thus, this study, to determine the computer self-efficacy of the faculty members of the University of the East and its relationship with their web portal usage, was conceived. Using a validated questionnaire, the profile of the respondents, their computer self-efficacy, and web portal usage were gathered. Data showed that the respondents were relatively young (M = 40 years old), majority had masters degree (f = 85, 72%), most had been using the web portal for four semesters (f = 60, 51%), and the large part were intermediate web portal users (f = 69, 59%). They were highly skilled in using the computer (M = 4.29) and skilled in using the Internet (M = 4.28). E-learning services (M = 3.29) and online library resources (M = 3.12) were only used occasionally. Pearson correlation revealed that age was positively correlated with online library resources (r = 0.267, p < 0.05) and a negative relationship existed between perceived skill level in using the portal and online library resources usage (r = -0.206, p < 0.05). A 2x2 chi square revealed that the highest educational attainment had a significant relationship with online library resources (chi square = 5.489, df = 1, p < 0.05). Basic computer (r = 0.196, p < 0.05) and Internet skills (r = 0.303, p < 0.05) were significantly and positively related with e-learning services usage but not with online library resources usage. Other individual factors such as attitudes towards the web portal and anxiety towards using the web portal can be investigated.


title: New electro-acoustic waves in a degenerate quantum plasma system

abstract: The existence of new electro-acoustic (EA) waves [named here `degenerate pressure driven EA' (DPDEA) waves] propagating in a degenerate quantum plasma (DQP) system [containing non-inertial, cold, non-relativistically (NR)/ultra-relativistically (UR) degenerate electron species (DES), and inertial, cold, NR degenerate positive particle species (PPS)] is predicted for the first time. The DPDEA waves, in which the inertia is mainly provided by the mass density of the inertial PPS, and the restoring force is mainly provided by the non-inertial, NR/UR DES, are new since they are completely disappeared if the degenerate pressure of the plasma particle species is neglected. The dispersion relation (derived here for the first time) is applied in a white dwarf DQP system to show the dispersion properties of the new DPDEA waves.


title: Assessing the risk of advanced persistent threats

abstract: As a new type of cyber attacks, advanced persistent threats (APTs) pose a severe threat to modern society. This paper focuses on the assessment of the risk of APTs. Based on a dynamic model characterizing the time evolution of the state of an organization, the organization's risk is defined as its maximum possible expected loss, and the risk assessment problem is modeled as a constrained optimization problem. The influence of different factors on an organization's risk is uncovered through theoretical analysis. Based on extensive experiments, we speculate that the attack strategy obtained by applying the hill-climbing method to the proposed optimization problem, which we call the HC strategy, always leads to the maximum possible expected loss. We then present a set of five heuristic attack strategies and, through comparative experiments, show that the HC strategy causes a higher risk than all these heuristic strategies do, which supports our conjecture. Finally, the impact of two factors on the attacker's HC cost profit is determined through computer simulations. These findings help understand the risk of APTs in a quantitative manner.


title: Physical effects of massless cosmic strings

abstract: We study massless cosmic strings which are one-dimensional objects moving with the speed of light. Perturbations of velocities of test bodies and anisotropy of cosmic microwave background generated by massless cosmic strings are analysed. These phenomena are analogous to the string wake effect and the Kaiser-Stebbins effect for standard (massive) cosmic strings. There are two regimes depending on the energy $E$ of a massless string per unit length. At low energies, $EG/c^4\ll 1$, massless and massive strings act similarly. At high energies, $EG/c^4 \sim 1$, massless string effects are quite different. Our work provides a method to describe different physical phenomena on spacetimes of massless strings which take into account the presence of a parabolic holonomy.


title: Self Adversarial Training for Human Pose Estimation

abstract: This paper presents a deep learning based approach to the problem of human pose estimation. We employ generative adversarial networks as our learning paradigm in which we set up two stacked hourglass networks with the same architecture, one as the generator and the other as the discriminator. The generator is used as a human pose estimator after the training is done. The discriminator distinguishes ground-truth heatmaps from generated ones, and back-propagates the adversarial loss to the generator. This process enables the generator to learn plausible human body configurations and is shown to be useful for improving the prediction accuracy.


title: Whittle Indexability in Egalitarian Processor Sharing Systems

abstract: The egalitarian processor sharing model is viewed as a restless bandit and its Whittle indexability is established. A numerical scheme for computing the Whittle indices is provided, along with supporting numerical experiments.


title: Gravitational Wave signatures of inflationary models from Primordial Black Hole Dark Matter

abstract: Primordial Black Holes (PBH) could be the cold dark matter of the universe. They could have arisen from large (order one) curvature fluctuations produced during inflation that reentered the horizon in the radiation era. At reentry, these fluctuations source gravitational waves (GW) via second order anisotropic stresses. These GW, together with those (possibly) sourced during inflation by the same mechanism responsible for the large curvature fluctuations, constitute a primordial stochastic GW background (SGWB) that unavoidably accompanies the PBH formation. We study how the amplitude and the range of frequencies of this signal depend on the statistics (Gaussian versus $\chi^2$) of the primordial curvature fluctuations, and on the evolution of the PBH mass function due to accretion and merging. We then compare this signal with the sensitivity of present and future detectors, at PTA and LISA scales. We find that this SGWB will help to probe, or strongly constrain, the early universe mechanism of PBH production. The comparison between the peak mass of the PBH distribution and the peak frequency of this SGWB will provide important information on the merging and accretion evolution of the PBH mass distribution from their formation to the present era. Different assumptions on the statistics and on the PBH evolution also result in different amounts of CMB $\mu$-distortions. Therefore the above results can be complemented by the detection (or the absence) of $\mu$-distortions with an experiment such as PIXIE.


title: The Cat and the Noisy Mouse

abstract: We consider a variant of a pursuit and evasion game studied independently by Britnell and Wildon as well as Haslegrave. In their game, a cat has to catch an invisible mouse that moves along the edges of some graph $G$. In our version, the cat receives partial information about its distance to the mouse, and we show that the cat has a winning strategy if and only if $G$ is a forest. Seager proposed a similar game with complete distance information whose rules cause some small yet important differences to the game we consider.


title: On determinant representation and integrability of Nekrasov functions

abstract: Conformal blocks and their AGT relations to LMNS integrals and Nekrasov functions are best described by "conformal" (or Dotsenko-Fateev) matrix models, but in non-Gaussian Dijkgraaf-Vafa phases, where different eigenvalues are integrated along different contours. In such matrix models, the determinant representations and integrability are restored only after a peculiar Fourier transform in the numbers of integrations. From the point of view of conformal blocks, this is Fourier transform w.r.t. the intermediate dimensions and this explains why such quantities are expressed through tau-functions in Miwa parametrization, with external dimensions playing the role of multiplicities. In particular, these determinant representations provide solutions to the Painlev\'e VI equation. We also explain how this pattern looks in the pure gauge limit, which is described by the Brezin-Gross-Witten matrix model.


title: Global optimality conditions for deep neural networks

abstract: We study the error landscape of deep linear and nonlinear neural networks with the squared error loss. Minimizing the loss of a deep linear neural network is a nonconvex problem, and despite recent progress, our understanding of this loss surface is still incomplete. For deep linear networks, we present necessary and sufficient conditions for a critical point of the risk function to be a global minimum. Surprisingly, our conditions provide an efficiently checkable test for global optimality, while such tests are typically intractable in nonconvex optimization. We further extend these results to deep nonlinear neural networks and prove similar sufficient conditions for global optimality, albeit in a more limited function space setting.


title: Blow-up solutions for a Kirchhoff type elliptic equation with trapping potential

abstract: We study a generalized Kirchhoff type equation with trapping potential. The existence and blow-up behavior of solutions with normalized L2-norm for this problem are discussed.


title: Computing spectral bounds of the Heisenberg ferromagnet from geometric considerations

abstract: We give a polynomial-time algorithm for computing upper bounds on some of the smaller energy eigenvalues in a spin-1/2 ferromagnetic Heisenberg model with any graph $G$ for the underlying interactions. An important ingredient is the connection between Heisenberg models and the symmetric products of $G$. Our algorithms for computing upper bounds are based on generalized diameters of graphs. Computing the upper bounds amounts to solving the minimum assignment problem on $G$, which has well-known polynomial-time algorithms from the field of combinatorial optimization. We also study the possibility of computing the lower bounds on some of the smaller energy eigenvalues of Heisenberg models. This amounts to estimating the isoperimetric inequalities of the symmetric product of graphs. By using connections with discrete Sobolev inequalities, we show that this can be performed by considering just the vertex-induced subgraphs of $G$. If our conjecture for a polynomial time approximation algorithm to solve the edge-isoperimetric problem holds, then our proposed method of estimating the energy eigenvalues via approximating the edge-isoperimetric properties of vertex-induced subgraphs will yield a polynomial time algorithm for estimating the smaller energy eigenvalues of the Heisenberg ferromagnet.

categories: quant-ph cond-mat.other math-ph math.CO math.MP


title: Pediatric hospitalizations associated with respiratory syncytial virus (RSV) and influenza, and the frequency of asthma as a secondary diagnosis

abstract: Background: There is uncertainty about the burden of severe outcomes associated with RSV and influenza in children. Methods: We have applied previously developed methodology to estimate the rates of influenza and RSV-associated hospitalizations with different diagnoses in different age subgroups of US children between the 2003-04 through the 2009-10 seasons. Results: The average annual rates (per 100,000) of influenza and RSV-associated hospitalizations for any cause excluding asthma (ICD-9 code 493) in the principal diagnosis with a respiratory cause (ICD-9 codes 460-519) in the diagnosis (either principal or secondary) were 173.1(95%CI (134.3,212.6)) (influenza) vs. 2336(2209,2463) (RSV) (age <1y); 77.9(51.1,105.2) vs. 625.7(540,711.5) (age 1y); 56.3(40.9,72.2) vs. 324.2(275.1,375) (age 2y); 44.6(32.9,56.6) vs. 172.2(134.2,211) (age 3y); 36.4(27.7,45.3) vs. 89.7(60.6,117.8) (age 4y); 36.6(29.3,43.9) vs. 62.3(38.8,86.4) (ages 5-6y); 20.5(16.3,24.6) vs. 30.2(16.1,43.9) (ages 7-11y); and 16.1(10.6,21.7) vs. 36.9(17.8,55.9) (ages 12-17y). The rates of RSV-associated hospitalizations with asthma as a secondary (non-principal) diagnosis were 162.6(143.6,181.6) (age <1y), 144.7(120.8,168.2) (age 1y), 99.5(82.3,116.8) (age 2y), 60.9(46.4,75.3) (age 3y), 23.5(10.7,36.4) (age 4y), 16.1(5.1,27) (ages 5-6y), 11.4(4.7,18.3) (ages 7-11y), and 15.8(4.9,26.7) (ages 12-17y). Conclusions: The estimated rates of RSV-associated hospitalizations in young children are high, with those rates declining rapidly with age. Additionally, the estimated rates of RSV-associated hospitalizations with asthma as a secondary diagnosis in young children, combined with data on the prevalence of asthma in those age groups suggest very high rates of RSV-associated hospitalizations in young children with asthma. Those children may be considered as potential target groups for RSV-related mitigation efforts.


title: A Global Survey of EUV Corona Power Spectra

abstract: We present results of a global survey of single-pixel intensity power spectra from a 12-hour time period on 26 June 2013 in a 1600x1600 pixel region from four channels of the Solar Dynamics Observatory (SDO) Atmospheric Imaging Assembly (AIA) instrument. We extract single-pixel time series from a derotated image sequence, fit models to the power spectra of these time series, and study the spatial dependence of the model parameters. Two power spectra models are considered: i) a three-parameter power-law + tail model and ii) a power-law + tail model + three-parameter localized Lorentzian, the latter to model periodicity. Spectra are well-described by at least one of these models for all pixel locations, with the spatial distribution of best-fit model parameters shown to provide new and unique insights into turbulent, quiescent and periodic features in the EUV corona and upper photosphere. Findings include: individual model parameters correspond clearly and directly to visible solar features; detection of numerous quasi-periodic three- and five-minute oscillations; observational identification of concentrated magnetic flux as regions of largest power-law indices [n]; identification of unique spectral features of coronal holes and filaments; identification of sporadic and pervasive five-minute oscillations throughout the corona; detection of the known global ~4.0-minute chromospheric oscillation; "coronal bullseyes" appearing as radially decaying periodicities over sunspots and sporadic foot-point regions; and "penumbral periodic voids" appearing as broad rings around sunspots in 1600 and 1700 {\AA} in which spectra contain no statistically significant periodic component.


title: Deterministic Quantum Dense Coding Networks

abstract: We consider the scenario of deterministic classical information transmission between multiple senders and a single receiver, when they a priori share a multipartite quantum state -- an attempt towards building a deterministic dense coding network. Specifically, we prove that in the case of two or three senders and a single receiver, generalized Greenberger-Horne-Zeilinger (gGHZ) states are not beneficial for sending classical information deterministically beyond the classical limit, except when the shared state is the GHZ state itself. On the other hand, three- and four-qubit generalized W (gW) states with specific parameters as well as the four-qubit Dicke states can provide a quantum advantage of sending the information in deterministic dense coding. Interestingly however, numerical simulations in the three-qubit scenario reveal that the percentage of states from the GHZ-class that are deterministic dense codeable is higher than that of states from the W-class.


title: Cobordism groups of simple branched coverings

abstract: We consider branched coverings which are simple in the sense that any point of the target has at most one singular preimage. The cobordism classes of $k$-fold simple branched coverings between $n$-manifolds form an abelian group $Cob^1(n,k)$. Moreover, $Cob^1(*,k) = \bigoplus_{n=0}^{\infty} Cob^1(n,k)$ is a module over $\Omega^{SO}_*$. We construct a universal $k$-fold simple branched covering, and use it to compute this module rationally. As a corollary, we determine the rank of the groups $Cob^1(n,k)$. In the case $n = 2$ we compute the group $Cob^1(2,k)$, give a complete set of invariants and construct generators.


title: Effect of surfactant concentration on the responsiveness of a thermoresponsive copolymer/surfactant mixture with potential application on Smart foams formulations

abstract: We studied a system formed by a mixture of a thermoresponsive negatively charged graft copolymer (Alg-g-PNIPAAm) with a brush-type structure, and an oppositely charged surfactant (DTAB), in bulk and at the air-solution interface. We performed experiments of surface tension, electrophoretic mobility, dynamic and static light scattering and atomic force microscopy in order to characterize the complexes formed as a function of DTAB concentration and temperature. We found that these polymer-surfactant complexes are able to respond by changing their sizes, both in bulk and at the air-solution interface, when T is increased above the coil-globule transition temperature (LSCT) of the copolymer. However, the thermoresponse was found to be dependent on surfactant concentration, cs: for cs < 2.8 mM, the size of the aggregates decreases as T increases but, for cs >= 2.8 mM, the opposite behavior takes place, i.e. the size increases with T. At the interface, the intensity of the effect produced on the surface tension by increasing T above LCST diminishes continuously as cs increases, reducing the ability of the interfacial complex to respond to temperature changes. We studied the stability of aqueous foams formulated with these mixtures as a function of T and cs. We found that the stability of the foam can be modulated by changing T, but we observed that this effect is dependent on the surfactant concentration range. We found a correlation between changes in the aggregates sizes, the surface tension behavior and the responsiveness of foam stability to changes of temperature.


title: Combinatorics of involutive divisions

abstract: The classical involutive division theory by Janet decomposes in the same way both the ideal and the escalier. The aim of this paper, following Janet's approach, is to discuss the combinatorial properties of involutive divisions, when defined on the set of all terms in a fixed degree D, postponing the discussion of ideal membership and related test. We adapt the theory by Gerdt and Blinkov, introducing relative involutive divisions and then, given a complete description of the combinatorial structure of a relative involutive division, we turn our attention to the problem of membership. In order to deal with this problem, we introduce two graphs as tools, one is strictly related to Seiler's L-graph, whereas the second generalizes it, to cover the case of "non-continuous" (in the sense of Gerdt-Blinkov) relative involutive divisions. Indeed, given an element in the ideal (resp. escalier), walking backwards (resp. forward) in the graph, we can identify all the other generators of the ideal (resp. elements of degree D in the escalier).


title: Dynamics and complex formation in charged and uncharged Ficoll70 solutions

abstract: We apply pulsed-field-gradient NMR (PFG NMR) technique to measure the translational diffusion for both uncharged and charged polysaccharide (Ficoll70) in water. Analysis of the data indicate that NMR signal attenuation above a certain packing fraction can be adequately fitted with a bi-exponential function. The self-diffusion measurements show also that the Ficoll70, an often-used compact, spherical polysucrose molecule, is itself non-ideal, exhibiting signs of both softness and attractive interactions in the form of a stable suspension consisting of monomers and clusters. Further, we can quantify the fraction of monomer and cluster. This work strengthens the picture of the existence of a bound water layer within and around a porous Ficoll70 particle.


title: Discovery of a lensed ultrabright submillimeter galaxy at z=2.0439

abstract: We report an ultra-bright lensed submillimeter galaxy (SMG) at $z=2.0439$, {\it WISE} J132934.18+224327.3, identified as a result of a full-sky cross-correlation of the {\it AllWISE} and {\it Planck} compact source catalogs aimed to search for bright analogs of the submillimeter galaxy SMMJ2135, the Cosmic Eyelash. Inspection of archival SCUBA-2 observations of the candidates revealed a source with fluxes (S$_{850 \mu m}$= 130 mJy) consistent with the {\it Planck} measurements. The centroid of the SCUBA-2 source coincides within 1 arcsec with the position of the {\it AllWISE} mid-IR source, and, remarkably, with an arc shaped lensed galaxy in {\it HST} images at visible wavelengths. Low-resolution rest-frame UV-optical spectroscopy of this lensed galaxy obtained with 10.4 m GTC reveals the typical absorption lines of a starburst galaxy. Gemini-N near-IR spectroscopy provided a clear detection of H$_{\alpha}$ emission. The lensed source appears to be gravitationally magnified by a massive foreground galaxy cluster lens at $z = 0.44$, modeling with Lenstool indicates a lensing amplification factor of $11\pm 2$. We determine an intrinsic rest-frame 8-1000-$\mu$m luminosity, $L_{\rm IR}$, of $(1.3 \pm 0.1) \times 10^{13}$ $L_\sun$, and a likely star-formation rate (SFR) of $\sim 500-2000$ $M_\sun yr^{-1}$. The SED shows a remarkable similarity with the Cosmic Eyelash from optical-mid/IR to sub-millimeter/radio, albeit at higher fluxes.


title: Efficient excitation of nonlinear phonons via chirped mid-infrared pulses: induced structural phase transitions

abstract: Nonlinear phononics play important role in strong laser-solid interactions. We discuss nonlinear dynamical protocols which allow for efficient excitation and control of nonlinear phonons. We consider recent inspiring proposals: inducing ferroelectricity in paraelectric material such as KTaO$_3$ and inducing structural deformations in cuprates like La$_2$CuO$_4$ [A. Subedi et.al, Phys. Rev. B 89,220301 (2014), A.Subedi, Phys. Rev. B 95, 134113 (2017)]. High-frequency phonon modes are driven by mid-infrared pulses, and coupled to lower-frequency modes those indirect excitation causes structural deformations. Such proposals are in line with a series of recent experiments on light-induced phase transitions. We study in a more detail the case of KTaO$_3$ without strain, where (at first glance) it was not possible to excite the needed low frequency phonon mode by resonant driving of the higher frequency one. Behaviour of the phonon system is explained using a reduced model of coupled driven nonlinear oscillators. We find a dynamical mechanism which prevents effective excitation at resonance driving, and show that for certain detunings of driving frequency from the exact resonance the system response is, counterintuitively, greatly amplified. In order to induce ferroelectricity in KTaO$_3$ without a strain we employ driving with sweeping frequency, realizing so called capture into resonance. The method works for realistic femtosecond pulses. Our approach can be applied to other related systems, e.g. laser driven orthorombic perovskites like ErFeO$_3$.


title: $C_T$ for conformal higher spin fields from partition function on conically deformed sphere

abstract: We consider the one-parameter generalization $S^4_q$ of 4-sphere with a conical singularity due to identification $\tau=\tau + 2 \pi q$ in one isometric angle. We compute the value of the spectral zeta-function at zero $z(q) = \zeta(0, q)$ that controls the coefficient of the logarithmic UV divergence of the one-loop partition function on $S^4_q$. While the value of the conformal anomaly a-coefficient is proportional to $z(1)$, we argue that in general the second $c = C_T$ anomaly coefficient is related to a particular combination of the second and first derivatives of $z(q) $ at $q=1$. The universality of this relation for $C_T$ is supported also by examples in 6 and 2 dimensions. We use it to compute the c-coefficient for conformal higher spins finding that it coincides with the "$r=-1$" value of the one-parameter Ansatz suggested in arXiv:1309.0785. Like the sums of $a_s$ and $c_s$ coefficients, the regularized sum of $z_s(q)$ over the whole tower of conformal higher spins $s=1,2, ...$ is found to vanish, implying UV finiteness on $S^4_q$ and thus also the vanishing of the associated Re'nyi entropy. Similar conclusions are found to apply to the standard 2-derivative massless higher spin tower. We also present an independent computation of the full set of conformal anomaly coefficients of the 6d Weyl graviton theory defined by a particular combination of the three 6d Weyl invariants that has a (2,0) supersymmetric extension.


title: Quantum Order-by-Disorder in Strongly Correlated Metals

abstract: Entropic forces in classical many-body systems, e.g. colloidal suspensions, can lead to the formation of new phases. Quantum fluctuations can have similar effects: spin fluctuations drive the superfluidity of Helium-3 and a similar mechanism operating in metals can give rise to superconductivity. It is conventional to discuss the latter in terms of the forces induced by the quantum fluctuations. However, focusing directly upon the free energy provides a useful alternative perspective in the classical case and can also be applied to study quantum fluctuations. Villain first developed this approach for insulating magnets and coined the term order-by-disorder to describe the observed effect. We discuss the application of this idea to metallic systems, recent progress made in doing so, and the broader prospects for the future.


title: Equilibrium stability for non-uniformly hyperbolic systems

abstract: We prove that for a wide family of non-uniformly hyperbolic maps and hyperbolic potentials we have equilibrium stability, i.e. the equilibrium states depend continuously on the dynamics and the potential. For this we deduce that the topological pressure is continuous as a function of the dynamics and the potential. We also prove the existence of finitely many ergodic equilibrium states for non-uniformly hyperbolic skew products and hyperbolic H\"older continuous potentials. Finally we show that these equilibrium states vary continuously in the weak$^\ast$ topology within such systems.


title: Improving Multilingual Named Entity Recognition with Wikipedia Entity Type Mapping

abstract: The state-of-the-art named entity recognition (NER) systems are statistical machine learning models that have strong generalization capability (i.e., can recognize unseen entities that do not appear in training data) based on lexical and contextual information. However, such a model could still make mistakes if its features favor a wrong entity type. In this paper, we utilize Wikipedia as an open knowledge base to improve multilingual NER systems. Central to our approach is the construction of high-accuracy, high-coverage multilingual Wikipedia entity type mappings. These mappings are built from weakly annotated data and can be extended to new languages with no human annotation or language-dependent knowledge involved. Based on these mappings, we develop several approaches to improve an NER system. We evaluate the performance of the approaches via experiments on NER systems trained for 6 languages. Experimental results show that the proposed approaches are effective in improving the accuracy of such systems on unseen entities, especially when a system is applied to a new domain or it is trained with little training data (up to 18.3 F1 score improvement).


title: A Study of Dark Matter and QCD-Charged Mediators in the Quasi-Degenerate Regime

abstract: We study a scenario in which the only light new particles are a Majorana fermion dark matter candidate and one or more QCD-charged scalars, which couple to light quarks. This scenario has several interesting phenomenological features if the new particles are nearly degenerate in mass. In particular, LHC searches for the light scalars have reduced sensitivity, since the visible and invisible products tend to be softer. Moreover, dark matter-scalar co-annihilation can allow even relatively heavy dark matter candidates to be consistent thermal relics. Finally, the dark matter nucleon scattering cross section is enhanced in the quasi-degenerate limit, allowing direct detection experiments to use both spin-independent and spin-dependent scattering to probe regions of parameter space beyond those probed by the LHC. Although this scenario has broad application, we phrase this study in terms of the MSSM, in the limit where the only light sparticles are a bino-like dark matter candidate and light-flavored squarks.


title: Subspace Clustering with Missing and Corrupted Data

abstract: Given full or partial information about a collection of points that lie close to a union of several subspaces, subspace clustering refers to the process of clustering the points according to their subspace and identifying the subspaces. One popular approach, sparse subspace clustering (SSC), represents each sample as a weighted combination of the other samples, with weights of minimal $\ell_1$ norm, and then uses those learned weights to cluster the samples. SSC is stable in settings where each sample is contaminated by a relatively small amount of noise. However, when there is a significant amount of additive noise, or a considerable number of entries are missing, theoretical guarantees are scarce. In this paper, we study a robust variant of SSC and establish clustering guarantees in the presence of corrupted or missing data. We give explicit bounds on amount of noise and missing data that the algorithm can tolerate, both in deterministic settings and in a random generative model. Notably, our approach provides guarantees for higher tolerance to noise and missing data than existing analyses for this method. By design, the results hold even when we do not know the locations of the missing data; e.g., as in presence-only data.


title: Spin-Orbit Coupling and Electronic Correlations in Sr2RuO4

abstract: We investigate the interplay of spin-orbit coupling (SOC) and electronic correlations in Sr2RuO4 using dynamical mean-field theory. We find that SOC does not affect the correlation-induced renormalizations, which validates the Hund's metal picture of ruthenates even in the presence of the sizable SOC relevant to these materials. Nonetheless, SOC found to change significantly the electronic structure at k-points where a degeneracy applies in its absence. We explain why these two observations are consistent with one another and calculate effects of SOC on the correlated electronic structure. The magnitude of these effects is found to depend on the energy of the quasiparticle state under consideration, leading us to introduce the notion of an "energy-dependent quasiparticle spin-orbit coupling". This notion is generally applicable to all materials in which both the spin-orbit coupling and electronic correlations are sizable.


title: Modeling the effects of variable feeding patterns of larval ticks on the transmission of Borrelia lusitaniae and Borrelia afzelii

abstract: Spirochetes belonging to the Borrelia burgdoferi sensu lato (sl) group cause Lyme Borreliosis (LB), which is the most commonly reported vector-borne zoonosis in Europe. B. burgdorferi sl is maintained in nature in a complex cycle involving Ixodes ricinus ticks and several species of vertebrate hosts. The transmission dynamics of B. burgdorferi sl is complicated by the varying competence of animals for different genospecies of spirochetes that, in turn, vary in their capability of causing disease. In this study, a set of difference equations simplifying the complex interaction between vectors and their hosts (competent and not for Borrelia) is built to gain insights into conditions underlying the dominance of B. lusitaniae (transmitted by lizards to susceptible ticks) and the maintenance of B. afzelii (transmitted by wild rodents) observed in a study area in Tuscany, Italy. Findings, in agreement with field observations, highlight the existence of a threshold for the fraction of larvae feeding on rodents below which the persistence of B. afzelii is not possible. Furthermore, thresholds change as nonlinear functions of the expected number of nymph bites on mice, and the transmission and recovery probabilities. In conclusion, our model provided an insight into mechanisms underlying the relative frequency of different Borrelia genospecies, as observed in field studies.


title: Strongly verbally closed groups

abstract: It was recently proven that all free and many virtually free verbally closed subgroups are algebraically closed in any group. We establish sufficient conditions for a group that is an extension of a free non-abelian group by a group satisfying a non-trivial law to be algebraically closed in any group in which it is verbally closed. We apply these conditions to prove that the fundamental groups of all closed surfaces (except the Klein bottle) and almost all free products of groups satisfying a non-trivial law are algebraically closed in any group in which they are verbally closed.


title: Strain-controlled valley and spin separation in silicene heterojunctions

abstract: We adopt the tight-binding mode-matching method to study the strain effect on silicene heterojunctions. It is found that valley- and spin-dependent separation of electrons cannot be achieved by the electric field only. When a strain and an electric field are simultaneously applied to the central scattering region, not only are the electrons of valleys K and K' separated into two distinct transmission lobes in opposite transverse directions, but the up-spin and down-spin electrons will also move in the two opposite transverse directions. Therefore, one can realize an effective modulation of valley- and spin-dependent transport by changing the amplitude and the stretch direction of the strain. The phenomenon of the strain-induced valley and spin deflection can be exploited for silicene-based valleytronics devices.


title: Recalling a Witness: Foundations and Applications of Monotonic State

abstract: We provide a way to ease the verification of programs whose state evolves monotonically. The main idea is that a property witnessed in a prior state can be soundly recalled in the current state, provided (1) state evolves according to a given preorder, and (2) the property is preserved by this preorder. In many scenarios, such monotonic reasoning yields concise modular proofs, saving the need for explicit program invariants. We distill our approach into the monotonic-state monad, a general yet compact interface for Hoare-style reasoning about monotonic state in a dependently typed language. We prove the soundness of the monotonic-state monad and use it as a unified foundation for reasoning about monotonic state in the F* verification system. Based on this foundation, we build libraries for various mutable data structures like monotonic references and apply these libraries at scale to the verification of several distributed applications.


title: Random Walks on Small World Networks

abstract: We study the mixing time of random walks on small-world networks modelled as follows: starting with the 2-dimensional periodic grid, each pair of vertices $\{u,v\}$ with distance $d>1$ is added as a "long-range" edge with probability proportional to $d^{-r}$, where $r\geq 0$ is a parameter of the model. Kleinberg studied a close variant of this network model and proved that the (decentralised) routing time is $O((\log n)^2)$ when $r=2$ and $n^{\Omega(1)}$ when $r\neq 2$. Here, we prove that the random walk also undergoes a phase transition at $r=2$, but in this case the phase transition is of a different form. We establish that the mixing time is $\Theta(\log n)$ for $r<2$, $O((\log n)^4)$ for $r=2$ and $n^{\Omega(1)}$ for $r>2$.


title: Magnetic ground state and magnon-phonon interaction in multiferroic h-YMnO$_3$

abstract: Inelastic neutron scattering has been used to study the magneto-elastic excitations in the multiferroic manganite hexagonal YMnO$_3$. An avoided crossing is found between magnon and phonon modes close to the Brillouin zone boundary in the $(a,b)$-plane. Neutron polarization analysis reveals that this mode has mixed magnon-phonon character. An external magnetic field along the $c$-axis is observed to cause a linear field-induced splitting of one of the spin wave branches. A theoretical description is performed, using a Heisenberg model of localized spins, acoustic phonon modes and a magneto-elastic coupling via the single-ion magnetostriction. The model quantitatively reproduces the dispersion and intensities of all modes in the full Brillouin zone, describes the observed magnon-phonon hybridized modes, and quantifies the magneto-elastic coupling. The combined information, including the field-induced magnon splitting, allows us to exclude several of the earlier proposed models and point to the correct magnetic ground state symmetry, and provides an effective dynamic model relevant for the multiferroic hexagonal manganites.


title: Tailoring Artificial Neural Networks for Optimal Learning

abstract: As one of the most important paradigms of recurrent neural networks, the echo state network (ESN) has been applied to a wide range of fields, from robotics to medicine, finance, and language processing. A key feature of the ESN paradigm is its reservoir --- a directed and weighted network of neurons that projects the input time series into a high dimensional space where linear regression or classification can be applied. Despite extensive studies, the impact of the reservoir network on the ESN performance remains unclear. Combining tools from physics, dynamical systems and network science, we attempt to open the black box of ESN and offer insights to understand the behavior of general artificial neural networks. Through spectral analysis of the reservoir network we reveal a key factor that largely determines the ESN memory capacity and hence affects its performance. Moreover, we find that adding short loops to the reservoir network can tailor ESN for specific tasks and optimize learning. We validate our findings by applying ESN to forecast both synthetic and real benchmark time series. Our results provide a new way to design task-specific ESN. More importantly, it demonstrates the power of combining tools from physics, dynamical systems and network science to offer new insights in understanding the mechanisms of general artificial neural networks.


title: Quasi-2D behavior of 112-type iron-based superconductors

abstract: Fluctuation magnetoconductivity and magnetization above the superconducting transition temperature (Tc) are measured on the recently discovered 112 family of iron-based superconductors (IBS), Ca$_{1-x}$La$_x$Fe$_{1-y}$Ni$_y$As$_2$, which presents an extra As-As chain spacer-layer. The analysis in terms of a generalization of the Lawrence-Doniach (LD) approach to finite applied magnetic fields indicates that these compounds are among the most anisotropic IBS ($\gamma$ up to ~30), and provides a compelling evidence of a quasi-two-dimensional behavior for doping levels near the optimal one.


title: Searching for left sneutrino LSP at the LHC

abstract: We analyze relevant signals expected at the LHC for a left sneutrino as the lightest supersymmetric particle (LSP). The discussion is carried out in the `$\mu$ from $\nu$' supersymmetric standard model ($\mu \nu$SSM), where the presence of $R$-parity breaking couplings involving right-handed neutrinos solves the $\mu$ problem and reproduces neutrino data. The sneutrinos are pair produced via a virtual $W$, $Z$ or $\gamma$ in the $s$ channel. From the prompt decay of a pair of left sneutrinos LSPs of any family, a significant diphoton signal plus missing transverse energy (MET) from neutrinos can be present in the mass range 118-132 GeV, with 13 TeV center-of-mass energy and an integrated luminosity of 100 fb$^{-1}$. In addition, in the case of a pair of tau left sneutrinos LSPs, given the large value of the tau Yukawa coupling diphoton plus leptons and/or multileptons can appear. We find that the number of expected events for the multilepton signal, together with properly adopted search strategies, is sufficient to give a significant evidence for a sneutrino of mass in the range 130-310 GeV, even with the integrated luminosity of 20 fb$^{-1}$. In the case of the signal producing diphoton plus leptons, an integrated luminosity of 100 fb$^{-1}$ is needed to give a significant evidence in the mass range 95-145 GeV. Finally, we discuss briefly the presence of displaced vertices and the associated range of masses.


title: Off-diagonal and pointwise estimates for compact Calderon-Zygmund operators

abstract: We prove several off-diagonal and pointwise estimates for singular integral operators that extend compactly on $L^{p}(\mathbb R^{n})$.


title: Decycling a graph by the removal of a matching: new algorithmic and structural aspects in some classes of graphs

abstract: A graph $G$ is {\em matching-decyclable} if it has a matching $M$ such that $G-M$ is acyclic. Deciding whether $G$ is matching-decyclable is an NP-complete problem even if $G$ is 2-connected, planar, and subcubic. In this work we present results on matching-decyclability in the following classes: Hamiltonian subcubic graphs, chordal graphs, and distance-hereditary graphs. In Hamiltonian subcubic graphs we show that deciding matching-decyclability is NP-complete even if there are exactly two vertices of degree two. For chordal and distance-hereditary graphs, we present characterizations of matching-decyclability that lead to $O(n)$-time recognition algorithms.


title: Origin of the $1/f^{\alpha}$-Spectral-Noise in Chaotic and Regular Quantum Systems

abstract: Based on the connection between the spectral form factor and the probability to return, the origin of the $1/f^\alpha$-noise in fully chaotic and fully integrable systems is traced to the quantum interference between invariant manifolds of the classical dynamics and the dimensionality of those invariant manifolds. This connection and the order-to-chaos transition are analyzed in terms of the statistics of Floquet's quasienergies of a classically chaotic driving non-linear system. An immediate prediction of the connection established here is that in the presence of decoherence, the spectral exponent $\alpha$ takes the same value, $\alpha=2$, for both, fully chaotic and fully integrable systems.


title: Extension technique for complete Bernstein functions of the Laplace operator

abstract: We discuss representation of certain functions of the Laplace operator $\Delta$ as Dirichlet-to-Neumann maps for appropriate elliptic operators in half-space. A classical result identifies $(-\Delta)^{1/2}$, the square root of the $d$-dimensional Laplace operator, with the Dirichlet-to-Neumann map for the $(d + 1)$-dimensional Laplace operator $\Delta_{t,x}$ in $(0, \infty) \times \mathbf{R}^d$. Caffarelli and Silvestre extended this to fractional powers $(-\Delta)^{\alpha/2}$, which correspond to operators $\nabla_{t,x} (t^{1 - \alpha} \nabla_{t,x})$. We provide an analogous result for all complete Bernstein functions of $-\Delta$ using Krein's spectral theory of strings. Two sample applications are provided: a Courant--Hilbert nodal line theorem for harmonic extensions of the eigenfunctions of non-local Schr\"odinger operators $\psi(-\Delta) + V(x)$, as well as an upper bound for the eigenvalues of these operators. Here $\psi$ is a complete Bernstein function and $V$ is a confining potential.


title: Adversarial Examples, Uncertainty, and Transfer Testing Robustness in Gaussian Process Hybrid Deep Networks

abstract: Deep neural networks (DNNs) have excellent representative power and are state of the art classifiers on many tasks. However, they often do not capture their own uncertainties well making them less robust in the real world as they overconfidently extrapolate and do not notice domain shift. Gaussian processes (GPs) with RBF kernels on the other hand have better calibrated uncertainties and do not overconfidently extrapolate far from data in their training set. However, GPs have poor representational power and do not perform as well as DNNs on complex domains. In this paper we show that GP hybrid deep networks, GPDNNs, (GPs on top of DNNs and trained end-to-end) inherit the nice properties of both GPs and DNNs and are much more robust to adversarial examples. When extrapolating to adversarial examples and testing in domain shift settings, GPDNNs frequently output high entropy class probabilities corresponding to essentially "don't know". GPDNNs are therefore promising as deep architectures that know when they don't know.


title: Hyperspectral Image Restoration via Total Variation Regularized Low-rank Tensor Decomposition

abstract: Hyperspectral images (HSIs) are often corrupted by a mixture of several types of noise during the acquisition process, e.g., Gaussian noise, impulse noise, dead lines, stripes, and many others. Such complex noise could degrade the quality of the acquired HSIs, limiting the precision of the subsequent processing. In this paper, we present a novel tensor-based HSI restoration approach by fully identifying the intrinsic structures of the clean HSI part and the mixed noise part respectively. Specifically, for the clean HSI part, we use tensor Tucker decomposition to describe the global correlation among all bands, and an anisotropic spatial-spectral total variation (SSTV) regularization to characterize the piecewise smooth structure in both spatial and spectral domains. For the mixed noise part, we adopt the $\ell_1$ norm regularization to detect the sparse noise, including stripes, impulse noise, and dead pixels. Despite that TV regulariztion has the ability of removing Gaussian noise, the Frobenius norm term is further used to model heavy Gaussian noise for some real-world scenarios. Then, we develop an efficient algorithm for solving the resulting optimization problem by using the augmented Lagrange multiplier (ALM) method. Finally, extensive experiments on simulated and real-world noise HSIs are carried out to demonstrate the superiority of the proposed method over the existing state-of-the-art ones.


title: Elongation of Flare Ribbons

abstract: We present an analysis of the apparent elongation motion of flare ribbons along the polarity inversion line (PIL) as well as the shear of flare loops in several two-ribbon flares. Flare ribbons and loops spread along the PIL at a speed ranging from a few to a hundred km/s. The shear measured from conjugate foot-points is consistent with the measurement from flare loops, and both show the decrease of shear toward a potential field as a flare evolves and ribbons and loops spread along the PIL. Flares exhibiting fast bi-directional elongation appear to have a strong shear, which may indicate a large magnetic guide field relative to the reconnection field in the coronal current sheet. We discuss how the analysis of ribbon motion could help infer properties in the corona where reconnection takes place.


title: Image of the Artin groups of classical types inside the finite Iwahori-Hecke algebras

abstract: We determine the image of the Artin groups of types B and D inside the Iwahori-Hecke algebras, when defined over finite fields, in the semisimple case. This generalizes earlier work on type A by Brunat, Magaard and Marin. In this multi-parameter case, this image depends heavily on the parameters.


title: Gradual Solar Coronal Dimming and Evolution of Coronal Mass Ejection in the Early Phase

abstract: We report observations of a two-stage coronal dimming in an eruptive event of a two-ribbon flare and a fast coronal mass ejection (CME). Weak gradual dimming persists for more than half an hour before the onset of the two-ribbon flare and the fast rise of the CME. It is followed by abrupt rapid dimming. The two-stage dimming occurs in a pair of conjugate dimming regions adjacent to the two flare ribbons, and the flare onset marks the transition between the two stages of dimming. At the onset of the two-ribbon flare, transient brightenings are also observed inside the dimming regions, before rapid dimming occurs at the same places. These observations suggest that the CME structure, most probably anchored at the twin dimming regions, undergoes a slow rise before the flare onset, and its kinematic evolution has significantly changed at the onset of flare reconnection. We explore diagnostics of the CME evolution in the early phase with analysis of the gradual dimming signatures prior to the CME eruption.


title: Trees, homology, and automorphism groups of RAAGs

abstract: We study the homology of an explicit finite-index subgroup of the automorphism group of a partially commutative group, in the case when its defining graph is a tree. More concretely, we give a lower bound on the first Betti number of this subgroup, based on the number and degree of a certain type of vertices, which we call deep. We then use combinatorial methods to analyze the average value of this Betti number, in terms of the size of the defining tree.


title: On the Interplay Between Edge Caching and HARQ in Fog-RAN

abstract: In a Fog Radio Access Network (Fog-RAN), edge caching is combined with cloud-aided transmission in order to compensate for the limited hit probability of the caches at the base stations (BSs). Unlike the typical wired scenarios studied in the networking literature in which entire files are typically cached, recent research has suggested that fractional caching at the BSs of a wireless system can be beneficial. This paper investigates the benefits of fractional caching in a scenario with a cloud processor connected via a wireless fronthaul link to a BS, which serves a number of mobile users on a wireless downlink channel using orthogonal spectral resources. The fronthaul and downlink channels occupy orthogonal frequency bands. The end-to-end delivery latency for given requests of the users depends on the HARQ processes run on the two links to counteract fading-induced outages. An analytical framework based on theory of Markov chains with rewards is provided that enables the optimization of fractional edge caching at the BSs. Numerical results demonstrate meaningful advantages for fractional caching due to the interplay between caching and HARQ transmission. The gains are observed in the typical case in which the performance is limited by the wireless downlink channel and the file popularity distribution is not too skewed.


title: Weakly Supervised Cross-Lingual Named Entity Recognition via Effective Annotation and Representation Projection

abstract: The state-of-the-art named entity recognition (NER) systems are supervised machine learning models that require large amounts of manually annotated data to achieve high accuracy. However, annotating NER data by human is expensive and time-consuming, and can be quite difficult for a new language. In this paper, we present two weakly supervised approaches for cross-lingual NER with no human annotation in a target language. The first approach is to create automatically labeled NER data for a target language via annotation projection on comparable corpora, where we develop a heuristic scheme that effectively selects good-quality projection-labeled data from noisy data. The second approach is to project distributed representations of words (word embeddings) from a target language to a source language, so that the source-language NER system can be applied to the target language without re-training. We also design two co-decoding schemes that effectively combine the outputs of the two projection-based approaches. We evaluate the performance of the proposed approaches on both in-house and open NER data for several target languages. The results show that the combined systems outperform three other weakly supervised approaches on the CoNLL data.


title: Estimation of mean residual life

abstract: Yang (1978) considered an empirical estimate of the mean residual life function on a fixed finite interval. She proved it to be strongly uniformly consistent and (when appropriately standardized) weakly convergent to a Gaussian process. These results are extended to the whole half line, and the variance of the the limiting process is studied. Also, nonparametric simultaneous confidence bands for the mean residual life function are obtained by transforming the limiting process to Brownian motion.


title: MDNet: A Semantically and Visually Interpretable Medical Image Diagnosis Network

abstract: The inability to interpret the model prediction in semantically and visually meaningful ways is a well-known shortcoming of most existing computer-aided diagnosis methods. In this paper, we propose MDNet to establish a direct multimodal mapping between medical images and diagnostic reports that can read images, generate diagnostic reports, retrieve images by symptom descriptions, and visualize attention, to provide justifications of the network diagnosis process. MDNet includes an image model and a language model. The image model is proposed to enhance multi-scale feature ensembles and utilization efficiency. The language model, integrated with our improved attention mechanism, aims to read and explore discriminative image feature descriptions from reports to learn a direct mapping from sentence words to image pixels. The overall network is trained end-to-end by using our developed optimization strategy. Based on a pathology bladder cancer images and its diagnostic reports (BCIDR) dataset, we conduct sufficient experiments to demonstrate that MDNet outperforms comparative baselines. The proposed image model obtains state-of-the-art performance on two CIFAR datasets as well.


title: Multi-Antenna NOMA for Computation Offloading in Multiuser Mobile Edge Computing Systems

abstract: This paper studies a multiuser mobile edge computing (MEC) system, in which one base station (BS) serves multiple users with intensive computation tasks. We exploit the multi-antenna non-orthogonal multiple access (NOMA) technique for multiuser computation offloading, such that different users can simultaneously offload their computation tasks to the multi-antenna BS over the same time/frequency resources, and the BS can employ successive interference cancellation (SIC) to efficiently decode all users' offloaded tasks for remote execution. We aim to minimize the weighted sum-energy consumption at all users subject to their computation latency constraints, by jointly optimizing the communication and computation resource allocation as well as the BS's decoding order for SIC. For the case with partial offloading, the weighted sum-energy minimization is a convex optimization problem, for which an efficient algorithm based on the Lagrange duality method is presented to obtain the globally optimal solution. For the case with binary offloading, the weighted sum-energy minimization corresponds to a {\em mixed Boolean convex problem} that is generally more difficult to be solved. We first use the branch-and-bound (BnB) method to obtain the globally optimal solution, and then develop two low-complexity algorithms based on the greedy method and the convex relaxation, respectively, to find suboptimal solutions with high quality in practice. Via numerical results, it is shown that the proposed NOMA-based computation offloading design significantly improves the energy efficiency of the multiuser MEC system as compared to other benchmark schemes. It is also shown that for the case with binary offloading, the proposed greedy method performs close to the optimal BnB based solution, and the convex relaxation based solution achieves a suboptimal performance but with lower implementation complexity.


title: The energy spectrum of ultraheavy nuclei above 10$^{20}$ eV

abstract: A major feature of the energy spectrum of the cosmic radiation above 10$^{19}$ eV is the increasing fraction of heavy nuclei with respect to light nuclei. This fact, along with other simple assumptions, is adopted to calculate the energy spectrum of the cosmic radiation up to 2.4$\times$10$^{21}$ eV. The predicted spectrum maintains the index of 2.67 observed at lower energies which is the basic, known, empirical well-assessed feature of the physical mechanism accelerating cosmic rays in the Galaxy. Indeed above 10$^{19}$ eV the injection of nuclei is inhibited by some filter and this inhibition causes a staircase profile of the energy spectrum. It is argued that particle injection failure versus energy commences with protons, followed by Helium and then by other heavier nuclei up to Uranium. Around 7.5$\times$10$^{20}$ the cosmic radiation consists solely of nuclei heavier than Copper and the estimated intensity is 1.8$\times$10$^{-30}$ particles/GeV s sr m$^2$.


title: Light curve solutions of the eccentric binaries KIC 10992733, KIC 5632781, KIC 10026136 and their out-of-eclipse variability

abstract: We determined the orbits and stellar parameters of three eccentric eclipsing binaries by light curve solutions of their Kepler data. KIC 10992733 and KIC 5632781 undergo total eclipses while KIC 10026136 reveals partial eclipses. The components of the targets are G and K stars. KIC 10992733 exhibited variations which were attributed to variable visibility of spot(s) on asynchronously rotating component. KIC 5632781 and KIC 1002613 reveal tidally-induced features at periastron, i.e. they might be considered as eclipsing heartbeat stars. The characteristics of the periastron features (shape, width and amplitude) confirm the theoretical predictions.


title: First Principles Modeling of Mn(II) Migration above and Dissolution from Li(x)Mn(2)O(4) (001) Surfaces

abstract: Density functional theory and ab initio molecular dynamics simulations are applied to investigate the migration of Mn(II) ions to above-surface sites on spinel Li(x)Mn(2)O(4) (001) surfaces, the subsequent Mn dissolution into the organic liquid electrolyte, and the detrimental effects on graphite anode solid electrolyte interphase (SEI) passivating films after Mn(II) ions diffuse through the separator. The dissolution mechanism proves complex, the much-quoted Hunter disproportionation of Mn(III) to form Mn(II) is far from sufficient. Key steps that facilitate Mn(II) loss include concerted liquid/solid-state motions, proton-induced weakening of Mn-O bonds forming mobile OH- surface groups, and chemical reactions of adsorbed decomposed organic fragments. Mn(II) lodged between the inorganic Li(2)CO(3) and organic lithium ethylene dicarbonate (LEDC) anode SEI components facilitates electrochemical reduction and decomposition of LEDC. These findings help inform future design of protective coatings, electrolytes, additives, and interfaces.


title: On the concept of a filtered bundle

abstract: We present the notion of a filtered bundle as a generalisation of a graded bundle. In particular, we weaken the necessity of the transformation laws for local coordinates to exactly respect the weight of the coordinates by allowing more general polynomial transformation laws. The key examples of such bundles include affine bundles and various jet bundles, both of which play fundamental roles in geometric mechanics and classical field theory. We also present the notion of double filtered bundles which provide natural generalisations of double vector bundles and double affine bundles. Furthermore, we show that the linearisation of a filtered bundle - which can be seen as a partial polarisation of the admissible changes of local coordinates - is well defined.


title: Anomalous current from covariant Wigner functions

abstract: We consider accelerated and rotating media of weakly interacting fermions in local thermodynamic equilibrium. Kinetic properties of this media are described by covariant Wigner function calculated on the basis of relativistic distribution function of particles with spin. We obtain the formulae for axial current beyond the approximation of smallness of thermal vorticity tensor and chemical potential and calculate its divergence. In the massless limit higher order terms in vorticity and chemical potential compensate each other with only the low-order contributions surviving. It is shown, that axial current gets a topological component along the 4-acceleration vector. The similarity between different approaches to baryon polarisation is established.


title: PageRank on inhomogeneous random digraphs

abstract: We study the typical behavior of a generalized version of Google's PageRank algorithm on a large family of inhomogeneous random digraphs. This family includes as special cases directed versions of classical models such as the Erd\"os-R\'enyi model, the Chung-Lu model, the Poissonian random graph and the generalized random graph, and is suitable for modeling scale-free directed complex networks where the number of neighbors a vertex has is related to its attributes. In particular, we show that the rank of a randomly chosen node in a graph from this family converges weakly to the attracting endogenous solution to the stochastic fixed-point equation $$\mathcal{R} \stackrel{\mathcal{D}}{=} \sum_{i=1}^{\mathcal{N}} \mathcal{C}_i \mathcal{R}_i + \mathcal{Q},$$ where $(\mathcal{N}, \mathcal{Q}, \{\mathcal{C}_i\}_{i \geq 1})$ is a real-valued vector with $\mathcal{N}\in \{0,1,2,...\}$, the $\{ \mathcal{R}_i\}$ are i.i.d.~copies of $\mathcal{R}$, independent of $(\mathcal{N}, \mathcal{Q}, \{\mathcal{C}_i\}_{i \geq 1})$, with $\{ \mathcal{C}_i\}$ i.i.d.~and independent of $(\mathcal{N}, \mathcal{Q})$; $\stackrel{\mathcal{D}}{=}$ denotes equality in distribution. This result can then be used to provide further evidence of the power-law behavior of PageRank on scale-free graphs.


title: Decomposition Configuration Types in Minimally Tamely Ramified Extensions of $\mathbb{Q}$

abstract: We examine whether it is possible to realize finite groups $G$ as Galois groups of minimally tamely ramified extensions of $\mathbb{Q}$ and also specify both the inertia groups and the further decomposition of the ramified primes.


title: Analysis of Footnote Chasing and Citation Searching in an Academic Search Engine

abstract: In interactive information retrieval, researchers consider the user behavior towards systems and search tasks in order to adapt search results by analyzing their past interactions. In this paper, we analyze the user behavior towards Marcia Bates' search stratagems such as 'footnote chasing' and 'citation search' in an academic search engine. We performed a preliminary analysis of their frequency and stage of use in the social sciences search engine sowiport. In addition, we explored the impact of these stratagems on the whole search process performance. We can conclude that the appearance of these two search features in real retrieval sessions lead to an improvement of the precision in terms of positive interactions with 16% when using footnote chasing and 17% for the citation search stratagem.


title: Liouville-type results for stationary maps of a class of functional related to pullback metrics

abstract: We study a generalized functional related to the pullback metrics (3). We derive the first variation formula which yield stationary maps. We introduce the stress-energy tensor which is naturally linked to conservation law and yield monotonicity formula via the coarea formula and comparison theorem in Riemannian geometry. A version of this monotonicity inequalities enables us to derive some Liouville type results. Also we investigate the constant Dirichlet boundary value problems and the generalized Chern type results for tension field equation with respect to this functional.


title: Consistency of extended Nelson-Siegel curve families with the Ho-Lee and Hull and White short rate models

abstract: Nelson and Siegel curves are widely used to fit the observed term structure of interest rates in a particular date. By the other hand, several interest rate models have been developed such their initial forward rate curve can be adjusted to any observed data, as the Ho-Lee and the Hull and White one factor models. In this work we study the evolution of the forward curve process for each of this models assuming that the initial curve is of Nelson-Siegel type. We conclude that the forward curve process produces curves belonging to a parametric family of curves that can be seen as extended Nelson and Siegel curves.


title: Faster and more accurate computation of the $\mathcal{H}_\infty$ norm via optimization

abstract: In this paper, we propose an improved method for computing the $\mathcal{H}_\infty$ norm of linear dynamical systems that results in a code that is often several times faster than existing methods. By using standard optimization tools to rebalance the work load of the standard algorithm due to Boyd, Balakrishnan, Bruinsma, and Steinbuch, we aim to minimize the number of expensive eigenvalue computations that must be performed. Unlike the standard algorithm, our modified approach can also calculate the $\mathcal{H}_\infty$ norm to full precision with little extra work, and also offers more opportunity to further accelerate its performance via parallelization. Finally, we demonstrate that the local optimization we have employed to speed up the standard globally-convergent algorithm can also be an effective strategy on its own for approximating the $\mathcal{H}_\infty$ norm of large-scale systems.


title: Norms in Central Simple Algebras

abstract: Let A be a central simple algebra central over a number field K whose ring of integers is R. An outlier is an element r of R so that: r is a reduced norm of an element of A, but not the norm of an algebraic integer in A. We study properties and distribution of outliers. We end with a structure theorem about products of super singular elliptic curves over GF(p).


title: Predicting the Quality of Short Narratives from Social Media

abstract: An important and difficult challenge in building computational models for narratives is the automatic evaluation of narrative quality. Quality evaluation connects narrative understanding and generation as generation systems need to evaluate their own products. To circumvent difficulties in acquiring annotations, we employ upvotes in social media as an approximate measure for story quality. We collected 54,484 answers from a crowd-powered question-and-answer website, Quora, and then used active learning to build a classifier that labeled 28,320 answers as stories. To predict the number of upvotes without the use of social network features, we create neural networks that model textual regions and the interdependence among regions, which serve as strong benchmarks for future research. To our best knowledge, this is the first large-scale study for automatic evaluation of narrative quality.


title: The $0$ to $R_1$ cylinder radial coordinate transformation can not be used to make cylinder layer electromagnetic cloak

abstract: In this paper, we discover and proved that the $0$ to $R_1$ cylinder radial coordinate transformation can not be used to make cylinder layer electromagnetic EM cloak. Because in the $0$ to $R_1$ cylinder radial coordinate transformation, the value area of the electric wave field $E_z (\rho,\phi,z)$ and magnetic wave field $H_z (\rho,\phi,z)$ are invariant. After $0$ to $R_1$ cylinder radial transformation,$\rho _q = R_1 + Q(\rho)$, $E_z (\rho _q,\phi,z) = E_z (\rho,\phi,z)$,$H_z (\rho _q,\phi,z) = H_z (\rho,\phi,z)$ . in the physical inner cylinder boundary, $E_z (R_1,\phi,z) \ne 0$,$H_z (R_1,\phi,z) \ne 0$, The cylinder EM wave field will propagation penetrate into the inner cylinder $\rho < R_1,\left| z \right| < \infty $ .Therefore, the inner cylinder $\rho < R_1,\left| z \right| < \infty $ . can not be cloaked. In many published papers on EM cylinder cloak, the $0$ to $R_1$ cylinder radial transformation is wrongfully used for their EM cylinder layer cloak.


title: Galois groups in a family of dynatomic polynomials

abstract: For every nonconstant polynomial $f\in\mathbb Q[x]$, let $\Phi_{4,f}$ denote the fourth dynatomic polynomial of $f$. We determine here the structure of the Galois group and the degrees of the irreducible factors of $\Phi_{4,f}$ for every quadratic polynomial $f$. As an application we prove new results related to a uniform boundedness conjecture of Morton and Silverman. In particular we show that if $f$ is a quadratic polynomial, then, for more than $39\%$ of all primes $p$, $f$ does not have a point of period four in $\mathbb Q_p$.


title: Marginalization in nonlinear mixed-effects models with an application to dose-response analysis

abstract: Inference in hierarchical nonlinear models needs careful consideration about targeting parameters that have either a conditional or population-average interpretation. For the special case of mixed-effects nonlinear sigmoidal models we propose a method for the estimation of derived parameters with a marginal interpretation, but also maintaining the random effect structure of the nonlinear model, by using a combination of numerical quadrature and the delta method, integrating over the random effect distribution conditional on the estimated variance components. The difference between these marginalized estimates, generalized nonlinear least squares estimates, and conditional estimation is characterised by means of two representative case studies. The case studies consist of the estimation of effective dose levels in a human toxicology study, and the relative potency estimation for two herbicides in an agricultural field trial. Both case studies exhibit an experimental design that results in data with at least one hierarchical level of between- and within-cluster variation. A user-friendly software implementation is made available with the R package medrc, providing an automated framework for mixed-effects dose-response modelling.


title: Demand Shaping in Cellular Networks

abstract: Demand shaping is a promising way to mitigate the wireless cellular capacity shortfall in the presence of ever-increasing wireless data demand. In this paper, we formulate demand shaping as an optimization problem that minimizes the variation in aggregate traffic. We design a distributed and randomized offline demand shaping algorithm under complete traffic information and prove its almost surely convergence. We further consider a more realistic setting where the traffic information is incomplete but the future traffic can be predicted to a certain degree of accuracy. We design an online demand shaping algorithm that updates the schedules of deferrable applications (DAs) each time when new information is available, based on solving at each timeslot an optimization problem over a shrinking horizon from the current time to the end of the day. We compare the performance of the online algorithm against the optimal offline algorithm, and provide numerical examples to complement the theoretical analysis.


title: Spectral features in the cosmic ray fluxes

abstract: The cosmic ray energy distributions contain spectral features, that is narrow energy regions where the slope of the spectrum changes rapidly. The identification and study of these features is of great importance to understand the astrophysical mechanisms of acceleration and propagation that form the spectra. In first approximation a spectral feature in often described as a discontinuous change in slope, however very valuable information is also contained in its width, that is the length of the interval in logarithm of energy where the change in spectral index develops. In this work we discuss the best way to define and parametrize the width a spectral feature, and for illustration discuss some of the most prominent known structures.


title: Exact Analytic Solutions for a Ballistic Orbiting Wind

abstract: Much theoretical and observational work has been done on stellar winds within binary systems. We present a new solution for a ballistic wind launched from a source in a circular orbit. Our method emphasizes the curved streamlines in the corotating frame, where the flow is steady-state, allowing us to obtain an exact solution for the mass density at all pre-shock locations. Assuming an initially isotropic wind, fluid elements launched from the interior hemisphere of the wind will be the first to cross other streamlines, resulting in a spiral structure bounded by two shock surfaces. Streamlines from the outer wind hemisphere later intersect these shocks as well. An analytic solution is obtained for the geometry of the two shock surfaces. Although the inner and outer shock surfaces asymptotically trace Archimedean spirals, our tail solution suggests many crossings where the shocks overlap, beyond which the analytic solution cannot be continued. Our solution can be readily extended to an initially anisotropic wind.


title: Isomorphism and classification for countable structures

abstract: We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and computable structure theory, extending concepts from the latter beyond computable structures to examine the isomorphism problem on arbitrary countable structures. We give examples using specific classes of fields and of trees, illustrating how the new concepts can yield classifications that reveal differences between seemingly similar classes. Finally, we use a computable homeomorphism to define a measure on the space of isomorphism types of algebraic fields, and examine the prevalence of relative computable categoricity under this measure.


title: Assouad dimension of random processes

abstract: In this paper we study the Assouad dimension of graphs of certain L\'evy processes and functions defined by stochastic integrals. We do this by introducing a convenient condition which guarantees a graph to have full Assouad dimension and then show that graphs of our studied processes satisfy this condition.


title: Generic elements of a Zariski-dense subgroup form an open subset

abstract: Let G be a semi-simple algebraic group over a finitely generated field K of characteristic zero, and let \Gamma < G(K) be a finitely generated Zariski-dense subgroup. In this note we prove that the set of K-generic elements of \Gamma (whose existence was established earlier in [9]) is open in the profinite topology of \Gamma. We then extend this result to the fields of positive characteristic, and also prove the existence of generic elements in this case.


title: Connecting dynamical quantum phase transitions and topological steady-state transitions by tuning the energy gap

abstract: Considerable theoretical and experimental efforts have been devoted to the quench dynamics, in particular, the dynamical quantum phase transition (DQPT) and the steady-state transition. These developments have motivated us to study the quench dynamics of the topological systems, from which we find the connection between these two transitions, that is, the DQPT, accompanied by a nonanalytic behavior as a function of time, always merges into a steady-state transition signaled by the nonanalyticity of observables in the steady limit. As the characteristic time of the DQPT diverges, it exhibits universal scaling behavior, which is related to the scaling behavior at the corresponding steady-state transition.


title: Variational Inference via Transformations on Distributions

abstract: Variational inference methods often focus on the problem of efficient model optimization, with little emphasis on the choice of the approximating posterior. In this paper, we review and implement the various methods that enable us to develop a rich family of approximating posteriors. We show that one particular method employing transformations on distributions results in developing very rich and complex posterior approximation. We analyze its performance on the MNIST dataset by implementing with a Variational Autoencoder and demonstrate its effectiveness in learning better posterior distributions.


title: Feature Model-to-Ontology for SPL Application Realisation

abstract: Feature model are widely used to capture commonalities and variabilities of artefacts in Software Product Line (SPL). Several studies have discussed the formal representation of feature diagram using ontologies with different styles of mapping. However, they still focused on the ontology approach for problem space and keep the solution space aside. In this paper, we present the modelling of feature model using OWL ontology and produce an application based on the ontology. Firstly, we map the features in a running example feature diagram to OWL classes and properties. Secondly, we verify the consistency of the OWL ontology by using reasoning engines. Finally, we use the ontology as an input of Zotonic framework for application realisation.


title: Ultrafast Epitaxial Growth of Metre-Sized Single-Crystal Graphene on Industrial Cu Foil

abstract: A foundation of the modern technology that uses single-crystal silicon has been the growth of high-quality single-crystal Si ingots with diameters up to 12 inches or larger. For many applications of graphene, large-area high-quality (ideally of single-crystal) material will be enabling. Since the first growth on copper foil a decade ago, inch-sized single-crystal graphene has been achieved. We present here the growth, in 20 minutes, of a graphene film of 5 x 50 cm2 dimension with > 99% ultra-highly oriented grains. This growth was achieved by: (i) synthesis of sub-metre-sized single-crystal Cu(111) foil as substrate; (ii) epitaxial growth of graphene islands on the Cu(111) surface; (iii) seamless merging of such graphene islands into a graphene film with high single crystallinity and (iv) the ultrafast growth of graphene film. These achievements were realized by a temperature-driven annealing technique to produce single-crystal Cu(111) from industrial polycrystalline Cu foil and the marvellous effects of a continuous oxygen supply from an adjacent oxide. The as-synthesized graphene film, with very few misoriented grains (if any), has a mobility up to ~ 23,000 cm2V-1s-1 at 4 K and room temperature sheet resistance of ~ 230 ohm/square. It is very likely that this approach can be scaled up to achieve exceptionally large and high-quality graphene films with single crystallinity, and thus realize various industrial-level applications at a low cost.


title: Crystals and Schur $P$-positive expansions

abstract: We give a new characterization of Littlewood-Richardson-Stembridge tableaux for Schur $P$-functions by using the theory of $\mf{q}(n)$-crystals. We also give alternate proofs of the Schur $P$-expansion of a skew Schur function due to Ardila and Serrano, and the Schur expansion of a Schur $P$-function due to Stembridge using the associated crystal structures.


title: An Adaptive, Multivariate Partitioning Algorithm for Global Optimization of Nonconvex Programs

abstract: In this work, we develop an adaptive, multivariate partitioning algorithm for solving mixed-integer nonlinear programs (MINLP) with multi-linear terms to global optimality. This iterative algorithm primarily exploits the advantages of piecewise polyhedral relaxation approaches via disjunctive formulations to solve MINLPs to global optimality in contrast to the conventional spatial branch-and-bound approaches. In order to maintain relatively small-scale mixed-integer linear programs at every iteration of the algorithm, we adaptively partition the variable domains appearing in the multi-linear terms. We also provide proofs on convergence guarantees of the proposed algorithm to a global solution. Further, we discuss a few algorithmic enhancements based on the sequential bound-tightening procedure as a presolve step, where we observe the importance of solving piecewise relaxations compared to basic convex relaxations to speed-up the convergence of the algorithm to global optimality. We demonstrate the effectiveness of our disjunctive formulations and the algorithm on well-known benchmark problems (including Pooling and Blending instances) from MINLPLib and compare with state-of-the-art global optimization solvers. With this novel approach, we solve several large-scale instances which are, in some cases, intractable by the global optimization solver. We also shrink the best known optimality gap for one of the hard, generalized pooling problem instance.


title: A Fast Integrated Planning and Control Framework for Autonomous Driving via Imitation Learning

abstract: For safe and efficient planning and control in autonomous driving, we need a driving policy which can achieve desirable driving quality in long-term horizon with guaranteed safety and feasibility. Optimization-based approaches, such as Model Predictive Control (MPC), can provide such optimal policies, but their computational complexity is generally unacceptable for real-time implementation. To address this problem, we propose a fast integrated planning and control framework that combines learning- and optimization-based approaches in a two-layer hierarchical structure. The first layer, defined as the "policy layer", is established by a neural network which learns the long-term optimal driving policy generated by MPC. The second layer, called the "execution layer", is a short-term optimization-based controller that tracks the reference trajecotries given by the "policy layer" with guaranteed short-term safety and feasibility. Moreover, with efficient and highly-representative features, a small-size neural network is sufficient in the "policy layer" to handle many complicated driving scenarios. This renders online imitation learning with Dataset Aggregation (DAgger) so that the performance of the "policy layer" can be improved rapidly and continuously online. Several exampled driving scenarios are demonstrated to verify the effectiveness and efficiency of the proposed framework.


title: Estimations of the discrete Green's function of the SDFEM on Shishkin triangular meshes for singularly perturbed problems with characteristic layers

abstract: In this technical report, we present estimations of the discrete Green's function of the streamline diffusion finite element method (SDFEM) on Shishkin triangular meshes for singularly perturbed problems with characteristic layers.