title: Efficient Rank Minimization to Tighten Semidefinite Programming for Unconstrained Binary Quadratic Optimization

abstract: We propose a method for low-rank semidefinite programming in application to the semidefinite relaxation of unconstrained binary quadratic problems. The method improves an existing solution of the semidefinite programming relaxation to achieve a lower rank solution. This procedure is computationally efficient as it does not require projecting on the cone of positive-semidefinite matrices. Its performance in terms of objective improvement and rank reduction is tested over multiple graphs of large-scale Gset graph collection and over binary optimization problems from the Biq Mac collection.


title: Graph Minors and the Linear Reducibility of Feynman Diagrams

abstract: We look at a graph property called reducibility which is closely related to a condition developed by Brown to evaluate Feynman integrals. We show for graphs with a fixed number of external momenta, that reducibility with respect to both Symanzik polynomials is graph minor closed. We also survey the known forbidden minors and the known structural results. This gives some structural information on those Feynman diagrams which are reducible.


title: Video Frame Interpolation via Adaptive Separable Convolution

abstract: Standard video frame interpolation methods first estimate optical flow between input frames and then synthesize an intermediate frame guided by motion. Recent approaches merge these two steps into a single convolution process by convolving input frames with spatially adaptive kernels that account for motion and re-sampling simultaneously. These methods require large kernels to handle large motion, which limits the number of pixels whose kernels can be estimated at once due to the large memory demand. To address this problem, this paper formulates frame interpolation as local separable convolution over input frames using pairs of 1D kernels. Compared to regular 2D kernels, the 1D kernels require significantly fewer parameters to be estimated. Our method develops a deep fully convolutional neural network that takes two input frames and estimates pairs of 1D kernels for all pixels simultaneously. Since our method is able to estimate kernels and synthesizes the whole video frame at once, it allows for the incorporation of perceptual loss to train the neural network to produce visually pleasing frames. This deep neural network is trained end-to-end using widely available video data without any human annotation. Both qualitative and quantitative experiments show that our method provides a practical solution to high-quality video frame interpolation.


title: Nematic Fluctuations in Iron-Oxychalcogenide Mott Insulators

abstract: Nematic fluctuations occur in a wide range of physical systems from liquid crystals to biological molecules to solids such as exotic magnets, cuprates and iron-based high-$T_c$ superconductors. Nematic fluctuations are thought to be closely linked to the formation of Cooper-pairs in iron-based superconductors. It is unclear whether the anisotropy inherent in this nematicity arises from electronic spin or orbital degrees of freedom. We have studied the iron-based Mott insulators La$_{2}$O$_{2}$Fe$_{2}$O$M$$_{2}$ $M$ = (S, Se) which are structurally similar to the iron pnictide superconductors. They are also in close electronic phase diagram proximity to the iron pnictides. Nuclear magnetic resonance (NMR) revealed a critical slowing down of nematic fluctuations as observed by the spin-lattice relaxation rate ($1/T_1$). This is complemented by the observation of a change of electrical field gradient over a similar temperature range using M\"ossbauer spectroscopy. The neutron pair distribution function technique applied to the nuclear structure reveals the presence of local nematic $C_2$ fluctuations over a wide temperature range while neutron diffraction indicates that global $C_{4}$ symmetry is preserved. Theoretical modeling of a geometrically frustrated spin-$1$ Heisenberg model with biquadratic and single-ion anisotropic terms provides the interpretation of magnetic fluctuations in terms of hidden quadrupolar spin fluctuations. Nematicity is closely linked to geometrically frustrated magnetism, which emerges from orbital selectivity. The results highlight orbital order and spin fluctuations in the emergence of nematicity in Fe-based oxychalcogenides. The detection of nematic fluctuation within these Mott insulator expands the group of iron-based materials that show short-range symmetry-breaking.


title: Iterated Higher Whitehead products in topology of moment-angle complexes

abstract: In this paper we study the topological structure of moment-angle complexes $\mathcal{Z_K}$. We consider two classes of simplicial complexes. The first class $B_{\Delta}$ consists of simplicial complexes $\mathcal{K}$ for which $\mathcal{Z_K}$ is homotopy equivalent to a wedge spheres. The second class $W_{\Delta}$ consists of $\mathcal{K}\in B_{\Delta}$ such that all spheres in the wedge are realized by iterated higher Whitehead products. Buchstaber and Panov asked if it is true that $B_{\Delta} = W_{\Delta}$. In this paper we show that this is not the case. Namely, we give an example of a simplicial complex whose corresponding moment-angle complex is homotopy equivalent to a wedge of spheres, but there is a sphere which cannot be realized by any linear combination of iterated higher Whitehead products. On the other hand we show that class $W_{\Delta}$ is large enough. Namely, we show that the class $W_{\Delta}$ is closed with respect to two explicitly defined operations on simplicial complexes. Then using these operations we prove that there exists a simplicial complex that realizes any given iterated higher Whitehead product. Also we describe the smallest simplicial complex that realizes an iterated product with only two pairs of nested brackets.


title: Stellar Stream Candidates in the Solar Neighborhood Found in the LAMOST DR3 and TGAS

abstract: We have cross-matched the LAMOST DR3 with the Gaia DR1 TGAS catalogs and obtained a sample of 166,827 stars with reliable kinematics. A technique based on the wavelet transform was applied to detect significant overdensities in velocity space among five subsamples divided by spatial position. In total, 16 significant overdensities of stars with very similar kinematics were identified. Among these, four are new stream candidates and the rest are previously known groups. Both the U-V velocity and metallicity distributions of the local sample show a clear gap between the Hercules structure and the Hyades-Pleiades structure. The U-V positions of these peaks shift with the spatial position. Following a description of our analysis, we speculate on possible origins of our stream candidates.


title: Study of Sparsity-Aware Set-Membership Adaptive Algorithms with Adjustable Penalties

abstract: In this paper, we propose sparsity-aware data-selective adaptive filtering algorithms with adjustable penalties. Prior work incorporates a penalty function into the cost function used in the optimization that originates the algorithms to improve their performance by exploiting sparsity. However, the strength of the penalty function is controlled by a scalar that is often a fixed parameter. In contrast to prior work, we develop a framework to derive algorithms that automatically adjust the penalty function parameter and the step size to achieve a better performance. Simulations for a system identification application show that the proposed algorithms outperform in convergence speed existing sparsity-aware algorithms.


title: Adversarial Robustness: Softmax versus Openmax

abstract: Deep neural networks (DNNs) provide state-of-the-art results on various tasks and are widely used in real world applications. However, it was discovered that machine learning models, including the best performing DNNs, suffer from a fundamental problem: they can unexpectedly and confidently misclassify examples formed by slightly perturbing otherwise correctly recognized inputs. Various approaches have been developed for efficiently generating these so-called adversarial examples, but those mostly rely on ascending the gradient of loss. In this paper, we introduce the novel logits optimized targeting system (LOTS) to directly manipulate deep features captured at the penultimate layer. Using LOTS, we analyze and compare the adversarial robustness of DNNs using the traditional Softmax layer with Openmax, which was designed to provide open set recognition by defining classes derived from deep representations, and is claimed to be more robust to adversarial perturbations. We demonstrate that Openmax provides less vulnerable systems than Softmax to traditional attacks, however, we show that it can be equally susceptible to more sophisticated adversarial generation techniques that directly work on deep representations.


title: Integrated HI emission in galaxy groups and clusters

abstract: The integrated HI emission from hierarchical structures such as groups and clusters of galaxies can be detected by FAST at intermediate redshifts. Here we propose to use FAST to study the evolution of the global HI content of clusters and groups over cosmic time by measuring their integrated HI emissions. We use the Virgo cluster as an example to estimate the detection limit of FAST, and have estimated the integration time to detect a Virgo type cluster at different redshifts (from z=0.1 to z=1.5). We have also employed a semi-analytic model (SAM) to simulate the evolution of HI contents in galaxy clusters. Our simulations suggest that the HI mass of a Virgo-like cluster could be 2-3 times higher and the physical size could be more than 50\% smaller when redshift increases from z=0.3 to z=1. Thus the integration time could be reduced significantly and gas rich clusters at intermediate redshifts can be detected by FAST in less than 2 hour of integration time. For the local universe, we have also used SAM simulations to create mock catalogs of clusters to predict the outcomes from FAST all sky surveys. Comparing with the optically selected catalogs derived by cross matching the galaxy catalogs from the SDSS survey and the ALFALFA survey, we find that the HI mass distribution of the mock catalog with 20 second of integration time agrees well with that of observations. However, the mock catalog with 120 second integration time predicts much more groups and clusters that contains a population of low mass HI galaxies not detected by the ALFALFA survey. Future deep HI blind sky survey with FAST would be able to test such prediction and set constraints to the numerical simulation models. Observational strategy and sample selections for the future FAST observations of galaxy clusters at high redshifts are also discussed.


title: Global bounds on stable polynomials

abstract: A classical inequality of Sz\'asz bounds polynomials with no zeros in the upper half plane entirely in terms of their first few coefficients. Borcea-Br\"and\'en generalized this result to several variables as a piece of their characterization of linear maps on polynomials preserving stability. In this paper, we improve Sz\'asz's original inequality, use determinantal representations to prove Sz\'asz type inequalities in two variables, and then prove that one can use the two variable inequality to prove an inequality for several variables.


title: On Certain Colouring Parameters of Mycielski Graphs of Some Graphs

abstract: Colouring the vertices of a graph $G$ according to certain conditions can be considered as a random experiment and a discrete random variable $X$ can be defined as the number of vertices having a particular colour in the proper colouring of $G$. The concepts of mean and variance, two important statistical measures, have also been introduced to the theory of graph colouring and determined the values of these parameters for a number of standard graphs. In this paper, we discuss the colouring parameters of the Mycielskian of certain standard graphs.


title: One level density of low-lying zeros of quadratic and quartic Hecke $L$-functions

abstract: In this paper, we prove some one level density results for the low-lying zeros of famliies of quadratic and quartic Hecke $L$-functions of the Gaussian field. As corollaries, we deduce that, respectively, at least $94.27 \%$ and $5\%$ of the members of the quadratic family and the quartic family do not vanish at the central point.


title: Enhanced Photon Traps for Hyper-Kamiokande

abstract: Hyper-Kamiokande, the next generation large water Cherenkov detector in Japan, is planning to use approximately 80,000 20-inch photomultiplier tubes (PMTs). They are one of the major cost factors of the experiment. We propose a novel enhanced photon trap design based on a smaller and more economical PMT in combination with wavelength shifters, dichroic mirrors, and broadband mirrors. GEANT4 is utilized to obtain photon collection efficiencies and timing resolution of the photon traps. We compare the performance of different trap configurations and sizes. Our simulations indicate an enhanced photon trap with a 12-inch PMT can match a 20-inch PMTs collection efficiency, however at a cost of reduced timing resolution. The photon trap might be suitable as detection module for the outer detector with large photo coverage area.


title: The tightly super 3-extra connectivity and 3-extra diagnosability of crossed cubes

abstract: Many multiprocessor systems have interconnection networks as underlying topologies and an interconnection network is usually represented by a graph where nodes represent processors and links represent communication links between processors. In 2016, Zhang et al. proposed the $g$-extra diagnosability of $G$, which restrains that every component of $G-S$ has at least $(g +1)$ vertices. As an important variant of the hypercube, the $n$-dimensional crossed cube $CQ_{n}$ has many good properties. In this paper, we prove that $CQ_{n}$ is tightly $(4n-9)$ super 3-extra connected for $n\geq 7$ and the 3-extra diagnosability of $CQ_{n}$ is $4n-6$ under the PMC model $(n\geq5)$ and MM$^*$ model $(n\geq7)$.


title: Discrete Local Induction Equation

abstract: The local induction equation, or the binormal flow on space curves is a well-known model of deformation of space curves as it describes the dynamics of vortex filaments, and the complex curvature is governed by the nonlinear Schr\"odinger equation. In this paper, we present its discrete analogue, namely, a model of deformation of discrete space curves by the discrete nonlinear Schr\"odinger equation. We also present explicit formulas for both smooth and discrete curves in terms of $\tau$ functions of the two-component KP hierarchy.


title: Photonic temporal-mode multiplexing by quantum frequency conversion in a dichroic-finesse cavity

abstract: Orthogonal temporal modes (TMs) form a field-orthogonal, continuous-variable degree of freedom that is in principle infinite dimensional, and create a promising resource for quantum information science and technology. The ideal quantum pulse gate (QPG) is a device that multiplexes and demultiplexes temporally orthogonal optical pulses that have the same carrier frequency, spatial mode, and polarization. The QPG is the chief enabling technology for usage of orthogonal temporal modes as a basis for high-dimensional quantum information storage and processing. The greatest hurdle for QPG implementation using nonlinear-optical, parametric processes with time-varying pump or control fields is the limitation on achievable temporal mode selectivity, defined as perfect TM discrimination combined with unity efficiency. We propose the use of pulsed nonlinear frequency conversion in an optical cavity having greatly different finesses for different frequencies to implement a nearly perfectly TM-selective QPG in a low-loss integrated-optics platform.


title: Comparative Analysis and Framework Evaluating Mimicry-Resistant and Invisible Web Authentication Schemes

abstract: Many password alternatives for web authentication proposed over the years, despite having different designs and objectives, all predominantly rely on the knowledge of some secret. This motivates us, herein, to provide the first detailed exploration of the integration of a fundamentally different element of defense into the design of web authentication schemes: a mimicry-resistance dimension. We analyze web authentication mechanisms with respect to new usability and security properties related to mimicry-resistance (augmenting the UDS framework), and in particular evaluate invisible techniques (those requiring neither user actions, nor awareness) that provide some mimicry-resistance (unlike those relying solely on static secrets), including device fingerprinting schemes, PUFs (physically unclonable functions), and a subset of Internet geolocation mechanisms.


title: Transport through Andreev bound states in a Weyl semimetal quantum dot

abstract: We study transport through a Weyl semimetal quantum dot sandwiched between an $s$-wave superconductor and a normal lead. The conductance peaks at regular intervals and exhibits double periodicity with respect to two characteristic frequencies of the system, one that originates from Klein tunneling in the system and the other coming from the chiral nature of the excitations. Using a scattering matrix approach as well as a lattice simulation, we demonstrate the universal features of the conductance through the system and discuss the feasibility of observing them in experiments.


title: A Structured Inverse Spectrum Problem for Infinite Graphs and Unbounded Operators

abstract: Given an infinite graph $G$ on countably many vertices, and a closed, infinite set $\Lambda$ of real numbers, we prove the existence of an unbounded self-adjoint operator whose graph is $G$ and whose spectrum is $\Lambda$.


title: On the Effective Field Theory for Quasi-Single Field Inflation

abstract: We study the effective field theory (EFT) description of the virtual particle effects in quasi-single field inflation, which unifies the previous results on large mass and large mixing cases. By using a horizon crossing approximation and matching with known limits, approximate expressions for the power spectrum and the spectral index are obtained. The error of the approximate solution is within 10% in dominate parts of the parameter space, which corresponds to less-than-0.1% error in the $n_s$-$r$ diagram. The quasi-single field corrections on the $n_s$-$r$ diagram are plotted for a few inflation models. Especially, the quasi-single field correction drives $m^2\phi^2$ inflation to the best fit region on the $n_s$-$r$ diagram, with an amount of equilateral non-Gaussianity which can be tested in future experiments.


title: Fuel Minimisation for a Vehicle Equipped with a Flywheel and Battery on a Three-Dimensional Track

abstract: An optimal control based methodology is proposed for minimising the combustible fuel consumption of a hybrid vehicle equipped with an internal combustion engine, a high-speed flywheel and a battery. The three-dimensionality of the road is recognised by the optimal control calculations. Fuel efficiency is achieved by optimally exploiting the primary and secondary energy sources and controlling the vehicle so that the fuel consumption is minimised for a given, but arbitrary three-dimensional route. A time-of-arrival constraint rather than a driving cycle is used. The benefits of using multiple auxiliary storage systems are demonstrated and a lower-bound estimate of the fuel consumption is presented.


title: Modular curves with infinitely many cubic points

abstract: In this study, we determine all modular curves $X_0(N)$ that admit infinitely many cubic points.


title: Phase field modelling of precipitate morphologies in systems with tetragonal interfacial free energy anisotropy

abstract: A wide variety of morphologies arise due to the tetragonal anisotropy in interfacial free energy. In this paper, we report on a family of Extended Cahn-Hilliard (ECH) models for incorporating tetragonal anisotropy in interfacial free energy. We list the non-zero and independent parameters that are introduced in our model and list the constraints on them. For appropriate choice of these parameters, our model can produce a many of the morphologies seen in tetragonal systems such as di-pyramids, rods, plates and their truncated variants. We analyse these morphologies and show that they indeed are equilibrium morphologies consistent with the Wulff construction.


title: Automatic Question-Answering Using A Deep Similarity Neural Network

abstract: Automatic question-answering is a classical problem in natural language processing, which aims at designing systems that can automatically answer a question, in the same way as human does. In this work, we propose a deep learning based model for automatic question-answering. First the questions and answers are embedded using neural probabilistic modeling. Then a deep similarity neural network is trained to find the similarity score of a pair of answer and question. Then for each question, the best answer is found as the one with the highest similarity score. We first train this model on a large-scale public question-answering database, and then fine-tune it to transfer to the customer-care chat data. We have also tested our framework on a public question-answering database and achieved very good performance.


title: Hamilton-Jacobi formalism to warm inflationary scenario

abstract: Hamilton-Jacobi formalism as a powerful method is being utilized to reconsider warm inflationary scenario, where the scalar field as the main component deriving inflation interacts with other field. Separating the context to strong and weak dissipative regimes, the goal is followed for two popular function of dissipation coefficient. Applying slow-rolling approximations, the required perturbation parameters are extracted and by comparison to the latest Planck data, the free parameters are restricted. Possibility of producing an acceptable inflation is studied where the result shows that for all cases the model could successfully suggests amplitude of scalar perturbation, scalar spectral index , its running, and the tensor-to-scalar ratio.


title: Training Deep AutoEncoders for Collaborative Filtering

abstract: This paper proposes a novel model for the rating prediction task in recommender systems which significantly outperforms previous state-of-the art models on a time-split Netflix data set. Our model is based on deep autoencoder with 6 layers and is trained end-to-end without any layer-wise pre-training. We empirically demonstrate that: a) deep autoencoder models generalize much better than the shallow ones, b) non-linear activation functions with negative parts are crucial for training deep models, and c) heavy use of regularization techniques such as dropout is necessary to prevent over-fiting. We also propose a new training algorithm based on iterative output re-feeding to overcome natural sparseness of collaborate filtering. The new algorithm significantly speeds up training and improves model performance. Our code is available at https://github.com/NVIDIA/DeepRecommender


title: Microbial mutualism at a distance: the role of geometry in diffusive exchanges

abstract: The exchange of diffusive metabolites is known to control the spatial patterns formed by microbial populations, as revealed by recent studies in the laboratory. However, the matrices used, such as agarose pads, lack the structured geometry of many natural microbial habitats, including in the soil or on the surfaces of plants or animals. Here we address the important question of how such geometry may control diffusive exchanges and microbial interaction. We model mathematically mutualistic interactions within a minimal unit of structure: two growing reservoirs linked by a diffusive channel through which metabolites are exchanged. The model is applied to study a synthetic mutualism, experimentally parameterised on a model algal-bacterial co-culture. Analytical and numerical solutions of the model predict conditions for the successful establishment of remote mutualisms, and how this depends, often counterintutively, on diffusion geometry. We connect our findings to understanding complex behaviour in synthetic and naturally occurring microbial communities.


title: Latest astronomical constraints on some nonlinear parametric dark energy models

abstract: We consider nonlinear redshift-dependent equation of state parameters as dark energy models in a spatially flat Friedmann-Lema\^itre-Robertson-Walker universe. To depict the expansion history of the universe in such cosmological scenarios, we take into account the large scale behaviour of such parametric models and fit them using a set of latest observational data with distinct origin that includes cosmic microwave background radiation, Supernove Type Ia, baryon acoustic oscillations, redshift space distortion, weak gravitational lensing, Hubble parameter measurements from cosmic chronometers and finally the local Hubble constant from Hubble space telescope. The fitting technique avails the publicly available code Cosmological Monte Carlo (CosmoMC), to extract the cosmological information out of these parametric dark energy models. From our analysis it follows that those models could describe the late time accelerating phase of the universe, while they are distinguished from the $\Lambda-$cosmology.


title: Discovery of a radio relic in the low mass, merging galaxy cluster PLCK G200.9-28.2

abstract: Radio relics at the peripheries of galaxy clusters are tracers of the elusive cluster merger shocks. We report the discovery of a single radio relic in the galaxy cluster PLCK G200.9-28.2 ($z=0.22$, $M_{500} = 2.7\pm0.2 \times 10^{14} M_{\odot}$) using the Giant Metrewave Radio Telescope at 235 and 610 MHz and the Karl G. Jansky Very Large Array at 1500 MHz. The relic has a size of $\sim 1 \times 0.28$ Mpc, an arc-like morphology and is located at 0.9 Mpc from the X-ray brightness peak in the cluster. The integrated spectral index of the relic is $1.21\pm0.15$. The spectral index map between 235 and 610 MHz shows steepening from the outer to the inner edge of the relic in line with the expectation from a cluster merger shock. Under the assumption of diffusive shock acceleration, the radio spectral index implies a Mach number of $3.3\pm1.8$ for the shock. The analysis of archival XMM Newton data shows that PLCK G200.9-28.2 consists of a northern brighter sub-cluster, and a southern sub-cluster in a state of merger. This cluster has the lowest mass among the clusters hosting single radio relics. The position of the Planck Sunyaev Ze'ldovich effect in this cluster is offset by 700 kpc from the X-ray peak in the direction of the radio relic, suggests a physical origin for the offset. Such large offsets in low mass clusters can be a useful tool to select disturbed clusters and to study the state of merger.


title: Simulations of imaging extended sources using the GMRT and the U-GMRT: Implications to observing strategies

abstract: Astrophysical sources such as radio halos and relics in galaxy clusters, supernova remnants and radio galaxies have angular sizes from a few to several $10$s of arcminutes. In radio interferometric imaging of such sources, the largest angular size of the source that can be imaged is limited by the shortest projected baseline towards the source. It is essential to determine the limitations of the recovery of the extended features on various angular scales in order to interpret the radio image. We simulated observations of a model extended source of Gaussian shape with the Giant Metrewave Radio Telescope (GMRT) using Common Astronomy Software Applications (CASA). The recovery in flux density and in morphology of the model source was quantified in a variety of observing cases with changing source properties and the uv-coverage. If $\theta_{lar}$ is the largest angular scale sampled in an observation with the GMRT, then $>80\%$ recovery of a source of size $0.3\times\theta_{lar}$ is possible. The upgraded GMRT (U-GMRT) providing 200 MHz instantaneous bandwidth between 300 - 500 MHz will allow a factor of two better recovery of a source of size $\theta_{lar}$ as compared to the GMRT at 300 MHz with 33 MHz bandwidth. We provide quantitative estimates for the improvement in extended source recovery in observations at low elevations and long durations. The presented simulations can be carried out for future radio telescopes such as the Square Kilometre Array (SKA) for optimisation of observing strategies to image extended radio sources.


title: Copper-oxide Nanowires based Humidity Sensor

abstract: This paper presents investigated results of copper-oxide nanowires used as a humidity sensor. Copper-oxide nanowires films were grown over cross-comb type gold electrodes on a SiO2 substrate using thermal annealing technique, and its humidity sensitive characteristics were investigated through resistance across the gold electrodes. These copper-oxide nanowires films revealed high sensitivity and long-term stability with fast response time. It was found that resistance across gold electrodes of the fabricated sensor decreases with increase in humidity almost linearly on a logarithmic scale. It appears that copper-oxide nanowires can be used as low-cost humidity sensor with high output reliability and reproduction rate. The observations were carried out at room temperature (RT) and relative humidity (RH) in the range of 6% to 97%.


title: New approach for SCR selection and optimization for Septum magnet power supply with high reliability

abstract: A new approach for selection of Silicon-Controlled Rectifier (SCR) for switching high pulsed currents in the septum magnet power supply is described. In this approach, an attempt is made to select the SCR from its I2t rating given in data sheet. For this, a factor which we have called I2t derating factor is defined as the ratio of I2t rating of SCR to the I2t value of current pulse to be switched. Thus, the SCR to be used in power supply is selected from its I2t derating factor. Three different experiments were performed using SCR of different manufacturers, to estimate the value of I2t derating factors. In these experiments, the SCR was subjected to maximum thermal stress till SCR started showing degradation. The forward blocking voltage and the leakage current are the parameters used for characterizing the SCR before and after the stress. The results of these experiments are presented and discussed. This approach will be of great help when pulse rating of SCR, like, transient thermal impedance is not available. Finally, a method is presented which can contribute to design low-cost and high-reliability septum magnet power supply.


title: Modified Truncated Randomized Singular Value Decomposition (MTRSVD) Algorithms for Large Scale Discrete Ill-posed Problems with General-Form Regularization

abstract: In this paper, we propose new randomization based algorithms for large scale linear discrete ill-posed problems with general-form regularization: ${\min} \|Lx\|$ subject to ${\min} \|Ax - b\|$, where $L$ is a regularization matrix. Our algorithms are inspired by the modified truncated singular value decomposition (MTSVD) method, which suits only for small to medium scale problems, and randomized SVD (RSVD) algorithms that generate good low rank approximations to $A$. We use rank-$k$ truncated randomized SVD (TRSVD) approximations to $A$ by truncating the rank-$(k+q)$ RSVD approximations to $A$, where $q$ is an oversampling parameter. The resulting algorithms are called modified TRSVD (MTRSVD) methods. At every step, we use the LSQR algorithm to solve the resulting inner least squares problem, which is proved to become better conditioned as $k$ increases so that LSQR converges faster. We present sharp bounds for the approximation accuracy of the RSVDs and TRSVDs for severely, moderately and mildly ill-posed problems, and substantially improve a known basic bound for TRSVD approximations. We prove how to choose the stopping tolerance for LSQR in order to guarantee that the computed and exact best regularized solutions have the same accuracy. Numerical experiments illustrate that the best regularized solutions by MTRSVD are as accurate as the ones by the truncated generalized singular value decomposition (TGSVD) algorithm, and at least as accurate as those by some existing truncated randomized generalized singular value decomposition (TRGSVD) algorithms.


title: Optimizing Region Selection for Weakly Supervised Object Detection

abstract: Training object detectors with only image-level annotations is very challenging because the target objects are often surrounded by a large number of background clutters. Many existing approaches tackle this problem through object proposal mining. However, the collected positive regions are either low in precision or lack of diversity, and the strategy of collecting negative regions is not carefully designed, neither. Moreover, training is often slow because region selection and object detector training are processed separately. In this context, the primary contribution of this work is to improve weakly supervised detection with an optimized region selection strategy. The proposed method collects purified positive training regions by progressively removing easy background clutters, and selects discriminative negative regions by mining class-specific hard samples. This region selection procedure is further integrated into a CNN-based weakly supervised detection (WSD) framework, and can be performed in each stochastic gradient descent mini-batch during training. Therefore, the entire model can be trained end-to-end efficiently. Extensive evaluation results on PASCAL VOC 2007, VOC 2010 and VOC 2012 datasets are presented which demonstrate that the proposed method effectively improves WSD.


title: Social contagions with communication channels alternation on multiplex networks

abstract: Internet communication channels, e.g., Facebook, Twitter, and email, are multiplex networks that facilitate interaction and information-sharing among individuals. During brief time periods users often use a single communication channel, but then communication channel alteration (CCA) occurs. This means that we must refine our understanding of the dynamics of social contagions. We propose a non-Markovian behavior spreading model in multiplex networks that takes into account the CCA mechanism, and we develop a generalized edge-based compartmental method to describe the spreading dynamics. Through extensive numerical simulations and theoretical analyses we find that the time delays induced by CCA slow the behavior spreading but do not affect the final adoption size. We also find that the CCA suppresses behavior spreading. On two coupled random regular networks, the adoption size exhibits hybrid growth, i.e., it grows first continuously and then discontinuously with the information transmission probability. CCA in ER-SF multiplex networks in which two subnetworks are Erd\H{o}s-R\'{e}nyi (ER) and scale-free (SF) introduces a crossover from continuous to hybrid growth in adoption size versus information transmission probability. Our results extend our understanding of the role of CCA in spreading dynamics, and may elicit further research.


title: Coupon-Coloring and total domination in Hamiltonian planar triangulations

abstract: We consider the so-called coupon-coloring of the vertices of a graph where every color appears in every open neighborhood, and our aim is to determine the maximal number of colors in such colorings. In other words, every color class must be a total dominating set in the graph and we study the total domatic number of the graph. We determine this parameter in every maximal outerplanar graph, and show that every Hamiltonian maximal planar graph has domatic number at least two, partially answering a conjecture of Goddard and Henning.


title: Halogenation of SiC for band-gap engineering and excitonic functionalization

abstract: The optical excitation spectra and excitonic resonances are investigated in systematically functionalized SiC with Fluorine and/or Chlorine utilizing density functional theory in combination with many-body perturbation theory. The latter is required for a realistic description of the energy band-gaps as well as for the theoretical realization of excitons. Structural, electronic and optical properties are scrutinized and show the high stability of the predicted two-dimensional materials. Their realization in laboratory is thus possible. Huge band-gaps of the order of 4 eV are found in the so-called GW approximation, with the occurrence of bright excitons, optically active in the four investigated materials. Their binding energies vary from 0.9 eV to 1.75 eV depending on the decoration choice and in one case, a dark exciton is foreseen to exist in the fully chlorinated SiC. The wide variety of opto-electronic properties suggest halogenated SiC as interesting materials with potential not only for solar cell applications, anti-reflection coatings or high-reflective systems but also for a possible realization of excitonic Bose-Einstein condensation.


title: SU(2) graph invariants, Regge actions and polytopes

abstract: We revisit the the large spin asymptotics of 15j symbols in terms of cosines of the 4d Euclidean Regge action, as derived by Barrett and collaborators using a saddle point approximation. We bring it closer to the perspective of area-angle Regge calculus and twisted geometries, and compute explicitly the Hessian and phase offsets. We then extend it to more general SU(2) graph invariants, showing that saddle points still exist and have a similar structure. For graphs dual to 4d polytopes we find again two distinct saddle points leading to a cosine asymptotic formula, however a conformal shape-mismatch is allowed by these configurations, and the asymptotic action is thus a generalisation of the Regge action. The allowed mismatch correspond to angle-matched twisted geometries, 3d polyhedral tessellations with adjacent faces matching areas and 2d angles, but not their diagonals. We study these geometries, identify the relevant subsets corresponding to 3d Regge data and flat polytope data, and discuss the corresponding Regge actions emerging in the asymptotics. Finally, we also provide the first numerical confirmation of the large spin asymptotics of the 15j symbol. We show that the agreement is accurate to the per cent level already at spins of order 10, and the next-to-leading order oscillates with the same frequency and same global phase.


title: Privileged Data within Digital Evidence

abstract: In recent years the use of digital communication has increased. This also increased the chance to find privileged data in the digital evidence. Privileged data is protected by law from viewing by anyone other than the client. It is up to the digital investigator to handle this privileged data properly without being able to view the contents. Procedures on handling this information are available, but do not provide any practical information nor is it known how effective filtering is. The objective of this paper is to describe the handling of privileged data in the current digital forensic tools and the creation of a script within the digital forensic tool Nuix. The script automates the handling of privileged data to minimize the exposure of the contents to the digital investigator. The script also utilizes technology within Nuix that extends the automated search of identical privileged document to relate files based on their contents. A comparison of the 'traditional' ways of filtering within the digital forensic tools and the script written in Nuix showed that digital forensic tools are still limited when used on privileged data. The script manages to increase the effectiveness as direct result of the use of relations based on file content.


title: Inception Score, Label Smoothing, Gradient Vanishing and -log(D(x)) Alternative

abstract: In this article, we mathematically study several GAN related topics, including Inception score, label smoothing, gradient vanishing and the -log(D(x)) alternative. --- An advanced version is included in arXiv:1703.02000 "Activation Maximization Generative Adversarial Nets". Please refer Section 6 in 1703.02000 for detailed analysis on Inception Score, and refer its appendix for the discussions on Label Smoothing, Gradient Vanishing and -log(D(x)) Alternative.


title: Evaluation of Digital Forensic Process Models with Respect to Digital Forensics as a Service

abstract: Digital forensic science is very much still in its infancy, but is becoming increasingly invaluable to investigators. A popular area for research is seeking a standard methodology to make the digital forensic process accurate, robust, and efficient. The first digital forensic process model proposed contains four steps: Acquisition, Identification, Evaluation and Admission. Since then, numerous process models have been proposed to explain the steps of identifying, acquiring, analysing, storage, and reporting on the evidence obtained from various digital devices. In recent years, an increasing number of more sophisticated process models have been proposed. These models attempt to speed up the entire investigative process or solve various of problems commonly encountered in the forensic investigation. In the last decade, cloud computing has emerged as a disruptive technological concept, and most leading enterprises such as IBM, Amazon, Google, and Microsoft have set up their own cloud-based services. In the field of digital forensic investigation, moving to a cloud-based evidence processing model would be extremely beneficial and preliminary attempts have been made in its implementation. Moving towards a Digital Forensics as a Service model would not only expedite the investigative process, but can also result in significant cost savings - freeing up digital forensic experts and law enforcement personnel to progress their caseload. This paper aims to evaluate the applicability of existing digital forensic process models and analyse how each of these might apply to a cloud-based evidence processing paradigm.


title: Integration of Ether Unpacker into Ragpicker for plugin-based Malware Analysis and Identification

abstract: Malware is a pervasive problem in both personal computing devices and distributed computing systems. Identification of malware variants and their families others a great benefit in early detection resulting in a reduction of the analyses time needed. In order to classify malware, most of the current approaches are based on the analysis of the unpacked and unencrypted binaries. However, most of the unpacking solutions in the literature have a low unpacking rate. This results in a low contribution towards the identification of transferred code and re-used code. To develop a new malware analysis solution based on clusters of binary code sections, it is required to focus on increasing of the unpacking rate of malware samples to extend the underlying code database. In this paper, we present a new approach of analysing malware by integrating Ether Unpacker into the plugin-based malware analysis tool, Ragpicker. We also evaluate our approach against real-world malware patterns.


title: Private Web Browser Forensics: A Case Study of the Epic Privacy Browser

abstract: Organised crime, as well as individual criminals, is benefiting from the protection of private browsers provide to those who would carry out illegal activity, such as money laundering, drug trafficking, the online exchange of child-abuse material, etc. The protection afforded to users of the Epic Privacy Browser illustrates these benefits. This browser is currently in use in approximately 180 countries worldwide. This paper outlines the location and type of evidence available through live and post-mortem state analyses of the Epic Privacy Browser. This study identifies the manner in which the browser functions during use, where evidence can be recovered after use, as well as the tools and effective presentation of the recovered material.


title: Boosting Variational Inference: an Optimization Perspective

abstract: Variational inference is a popular technique to approximate a possibly intractable Bayesian posterior with a more tractable one. Recently, boosting variational inference has been proposed as a new paradigm to approximate the posterior by a mixture of densities by greedily adding components to the mixture. However, as is the case with many other variational inference algorithms, its theoretical properties have not been studied. In the present work, we study the convergence properties of this approach from a modern optimization viewpoint by establishing connections to the classic Frank-Wolfe algorithm. Our analyses yields novel theoretical insights regarding the sufficient conditions for convergence, explicit rates, and algorithmic simplifications. Since a lot of focus in previous works for variational inference has been on tractability, our work is especially important as a much needed attempt to bridge the gap between probabilistic models and their corresponding theoretical properties.


title: Statistical nature of infrared dynamics on de Sitter background

abstract: In this study, we formulate a systematic way of deriving an effective equation of motion(EoM) for long wavelength modes of a massless scalar field with a general potential $V(\phi)$ on de Sitter background, and investigate whether or not the effective EoM can be described as a classical stochastic process. Our formulation gives an extension of the usual stochastic formalism to including sub-leading secular growth coming from the nonlinearity of short wavelength modes. Applying our formalism to $\lambda \phi^4$ theory, we explicitly derive an effective EoM which correctly recovers the next-to-leading secularly growing part at a late time, and show that this effective EoM can be seen as a classical stochastic process. Our extended stochastic formalism can describe all secularly growing terms which appear in all correlation functions with a specific operator ordering, which will not be a big drawback because the commutator of a light scalar field becomes negligible at large scales owing to the squeezing.


title: S-matrix element of two R-R and one NS states

abstract: We explicitly calculate the disk-level S-matrix element of two closed string R-R and one open string NS vertex operators in RNS formalism. We show that the amplitude satisfies various duality Ward identities. In particular, when one of the R-R is zero-form, the other one is two-form and the NS state is gauge boson, the amplitude transforms under S-duality Ward identity to the amplitude of one dilaton, one B-field and one gauge boson which has been recently calculated explicitly. We have also proposed a soft theorem for disk-level scattering amplitude of arbitrary number of hard closed strings and one soft open string at the leading order of soft momentum, and shown that the above amplitude satisfies the soft theorem.


title: Helicity Antenna Showers for Hadron Colliders

abstract: We present a complete set of helicity-dependent 2->3 antenna functions for QCD initial- and final- state radiation. The functions are implemented in the Vincia shower Monte Carlo framework and are used to generate showers for hadron-collider processes in which helicities are explicitly sampled (and conserved) at each step of the evolution. Although not capturing the full effects of spin correlations, the explicit helicity sampling does permit a significantly faster evaluation of fixed-order matrix-element corrections. A further speed increase is achieved via the implementation of a new fast library of analytical MHV amplitudes, while matrix elements from Madgraph are used for non-MHV configurations. A few examples of applications to QCD 2->2 processes are given, comparing the newly released Vincia 2.200 to Pythia 8.226.


title: Precise measurement of coupling strength and high temperature quantum effect in a nonlinearly coupled qubit-oscillator system

abstract: We study the coherence dynamics of a qubit coupled to a harmonic oscillator with both linear and quadratic interactions. As long as the linear coupling strength is much smaller than the oscillator frequency, the long time behavior of the coherence is dominated by the quadratic coupling strength $g_2$. The coherence decays and revives at a period $2\pi/g_2$, with the width of coherence peak decreases as the temperature increases, hence providing a way to measure $g_2$ precisely without cooling. Unlike the case of linear coupling, here the coherence dynamics never reduces to the classical limit in which the oscillator is classical. Finally, the validity of linear coupling approximation is discussed and the coherence under Hahn-echo is evaluated


title: Proton imaging of stochastic magnetic fields

abstract: Recent laser-plasma experiments report the existence of dynamically significant magnetic fields, whose statistical characterisation is essential for understanding the physical processes these experiments are attempting to investigate. In this paper, we show how a proton imaging diagnostic can be used to determine a range of relevant magnetic field statistics, including the magnetic-energy spectrum. To achieve this goal, we explore the properties of an analytic relation between a stochastic magnetic field and the image-flux distribution created upon imaging that field. We conclude that features of the beam's final image-flux distribution often display a universal character determined by a single, field-scale dependent parameter - the contrast parameter - which quantifies the relative size of the correlation length of the stochastic field, proton displacements due to magnetic deflections, and the image magnification. For stochastic magnetic fields, we establish the existence of four contrast regimes - linear, nonlinear injective, caustic and diffusive - under which proton-flux images relate to their parent fields in a qualitatively distinct manner. As a consequence, it is demonstrated that in the linear or nonlinear injective regimes, the path-integrated magnetic field experienced by the beam can be extracted uniquely, as can the magnetic-energy spectrum under a further statistical assumption of isotropy. This is no longer the case in the caustic or diffusive regimes. We also discuss complications to the contrast-regime characterisation arising for inhomogeneous, multi-scale stochastic fields, as well as limitations currently placed by experimental capabilities on extracting magnetic field statistics. The results presented in this paper provide a comprehensive description of proton images of stochastic magnetic fields, with applications for improved analysis of given proton-flux images.


title: Crystal growth with oxygen partial pressure of the $BaCuSi_2O_6$ and $Ba_{1-x}Sr_xCuSi_2O_6$ spin dimer compounds

abstract: $BaCuSi_2O_6$ is a quasi-two dimensional spin dimer system and a model material for studying Bose-Einstein condensation (BEC) of magnons in high magnetic fields. The new $Ba_{1-x}Sr_xCuSi_2O_6$ mixed system, which can be grown with x < 0.3, and $BaCuSi_2O_6$, both grown by using a crystal growth method with enhanced oxygen partial pressure, have the same tetragonal structure ($I4_1/acd$) at room temperature. The mixed system shows no structural phase transition, so that the tetragonal structure is stable down to low temperatures. The oxygen partial pressure acts as control parameter for the growth process. A detailed understanding of the crystal structure depending on the oxygen content will enable the study of the spin dynamics of field-induced order states in this model magnetic compound of high current interest with only one type of dimer layers, which shows the same distance between the Cu atoms, in the structure.


title: Geometrical phase shift in Friedel oscillations

abstract: This work addresses the problem of elastic scattering through a localized impurity in a one-dimensional crystal with sublattice freedom degrees. The impurity yields long-range interferences in the local density of states known as Friedel oscillations. Here, we show that the internal degrees of freedom of Bloch waves are responsible for a geometrical phase shift in Friedel oscillations. The Fourier transform of the energy-resolved interference pattern reveals a topological property of this phase shift, which is intrinsically related to the Bloch band structure topology in the absence of impurity. Therefore, Friedel oscillations in the local density of states can be regarded as a probe of wave topological properties in a broad class of classical and quantum systems, such as acoustic and photonic crystals, ultracold atomic gases in optical lattices, and electronic compounds.


title: Learning Discriminative Alpha-Beta-divergence for Positive Definite Matrices (Extended Version)

abstract: Symmetric positive definite (SPD) matrices are useful for capturing second-order statistics of visual data. To compare two SPD matrices, several measures are available, such as the affine-invariant Riemannian metric, Jeffreys divergence, Jensen-Bregman logdet divergence, etc.; however, their behaviors may be application dependent, raising the need of manual selection to achieve the best possible performance. Further and as a result of their overwhelming complexity for large-scale problems, computing pairwise similarities by clever embedding of SPD matrices is often preferred to direct use of the aforementioned measures. In this paper, we propose a discriminative metric learning framework, Information Divergence and Dictionary Learning (IDDL), that not only learns application specific measures on SPD matrices automatically, but also embeds them as vectors using a learned dictionary. To learn the similarity measures (which could potentially be distinct for every dictionary atom), we use the recently introduced alpha-beta-logdet divergence, which is known to unify the measures listed above. We propose a novel IDDL objective, that learns the parameters of the divergence and the dictionary atoms jointly in a discriminative setup and is solved efficiently using Riemannian optimization. We showcase extensive experiments on eight computer vision datasets, demonstrating state-of-the-art performances.


title: The black ring entropy from the Weyl tensor

abstract: A black ring is an asymptotically flat vacuum solution of the Einstein equations with an event horizon of topology $S^1\times S^2$. A connection between the black ring entropy and its Weyl tensor $C_{\mu\nu\lambda\rho}$ is explored by interpreting the Weyl scalar invariant $C_{\mu\nu\lambda\rho} C^{\mu\nu\lambda\rho}$ as the entropy density in 5-dimensional space-time. We calculate the proper volume integral of $C_{\mu\nu\lambda\rho} C^{\mu\nu\lambda\rho}$ for a neutral black ring and prove that it is proportional to the entropy of a thin black ring. Similar calculations are extended to more general cases: the black string, the black ring with two angular momenta, and the black ring with a cosmological constant. The proportionality still maintains or is valid at least at the leading order.


title: Glauber Gluon Effects in Soft Collinear Factorization

abstract: Effects of Glauber gluons, which cause the elastic scattering process between different jets, are studied in the frame of soft-collinear effective theory(SCET). Glauber modes are added into the Lagrangian before integrated out, which is helpful in studies on Glauber couplings of collinear and soft particles explicitly. It is proved that interactions after the hard collision cancel out in processes inclusive enough. So are interactions with the light cone coordinates Sx^{+}$ and $x^{-}$ greater than those of the hard collision. Eikonalization of Glauber couplings of active particles and absorption of active-active and active-soft and active-spectator Glauber exchanges into soft and collinear Wilson lines are discussed, which is related to loop level definitions of Glauber gluons here. The active-spectator coherence are proved to be harmless on inclusive summation of spectator-spectator and spectator-soft Glauber exchanges. Based on this result, spectator-spectator and spectator-soft Glauber exchanges are proved to cancel out in processes considered here. Graphic aspects of the cancellation are also discussed to explain relations between the graphic cancellation of Glauber gluons in the frame of perturbative QCD and operator level skills in the paper.


title: An aggregating strategy for shifting experts in discrete sequence prediction

abstract: We study how we can adapt a predictor to a non-stationary environment with advises from multiple experts. We study the problem under complete feedback when the best expert changes over time from a decision theoretic point of view. Proposed algorithm is based on popular exponential weighing method with exponential discounting. We provide theoretical results bounding regret under the exponential discounting setting. Upper bound on regret is derived for finite time horizon problem. Numerical verification of different real life datasets are provided to show the utility of proposed algorithm.


title: On the Quest for an Acyclic Graph

abstract: The paper aims at finding acyclic graphs under a given set of constraints. More specifically, given a propositional formula {\phi} over edges of a fixed-size graph, the objective is to find a model of {\phi} that corresponds to a graph that is acyclic. The paper proposes several encodings of the problem and compares them in an experimental evaluation using stateof-the-art SAT solvers.


title: A simple genome-wide association study algorithm

abstract: A computationally simple genome-wide association study (GWAS) algorithm for estimating the main and epistatic effects of markers or single nucleotide polymorphisms (SNPs) is proposed. It is based on the intuitive assumption that changes of alleles corresponding to important SNPs in a pair of individuals lead to large difference of phenotype values of these individuals. The algorithm is based on considering pairs of individuals instead of SNPs or pairs of SNPs. The main advantage of the algorithm is that it weakly depends on the number of SNPs in a genotype matrix. It mainly depends on the number of individuals, which is typically very small in comparison with the number of SNPs. Numerical experiments with real data sets illustrate the proposed algorithm.


title: Low energy bands and transport properties of chromium arsenide

abstract: We apply a method that combines the tight-binding approximation and the Lowdin down-folding procedure to evaluate the electronic band structure of the newly discovered pressure-induced superconductor CrAs. By integrating out all low-lying arsenic degrees of freedom, we derive an effective Hamiltonian model describing the Cr d bands near the Fermi level. We calculate and make predictions for the energy spectra, the Fermi surface, the density of states and transport and magnetic properties of this compound. Our results are consistent with local-density approximation calculations as well as they show good agreement with available experimental data for resistivity and Cr magnetic moment.


title: Hybridized Plasmons in 2D Nanoslits: From Graphene to Anisotropic 2D Materials

abstract: Plasmon coupling and hybridization in complex nanostructures constitutes a fertile playground for controlling light at the nanoscale. Here, we present a semi-analytical model to describe the emergence of hybrid plasmon modes guided along 2D nano-slits. In particular, we find two new coupled plasmonic resonances arising from symmetric and antisymmetric hybridizations of the edge plasmons of the constituent half-sheets. These give rise to an antibonding and a bonding mode, lying above and below the energy of the bare edge plasmon. Our treatment is notably generic, being able to account for slits of arbitrary width, and remains valid irrespective of the 2D conductive material (e.g., doped graphene, 2D transition metal dichalcogenides, or phosphorene). We derive the dispersion relation of the hybrid modes of a 2D nano-slit along with the corresponding induced potential and electric field distributions. We also discuss the plasmonic spectrum of a 2D slit together with the one from its complementarity structure, that is, a ribbon. Finally, the case of a nano-slit made from an anisotropic 2D material is considered. Focusing on black phosphorus (which is highly anisotropic), we investigate the features of its plasmonic spectrum along the two main crystal axes. Our results offer insights into the interaction of plasmons in complex 2D nanostructures, thereby expanding the current toolkit of plasmonic resonances in 2D materials, and paving the way for the emergence of future compact devices based on atomically thin plasmonics.


title: SurfaceNet: An End-to-end 3D Neural Network for Multiview Stereopsis

abstract: This paper proposes an end-to-end learning framework for multiview stereopsis. We term the network SurfaceNet. It takes a set of images and their corresponding camera parameters as input and directly infers the 3D model. The key advantage of the framework is that both photo-consistency as well geometric relations of the surface structure can be directly learned for the purpose of multiview stereopsis in an end-to-end fashion. SurfaceNet is a fully 3D convolutional network which is achieved by encoding the camera parameters together with the images in a 3D voxel representation. We evaluate SurfaceNet on the large-scale DTU benchmark.


title: Quotients of the square of a curve by a mixed action, further quotients and Albanese morphisms

abstract: We study mixed surfaces, the minimal resolution S of the singularities of a quotient (C x C)/G of the "square" of a curve by a finite group G of automorphisms that contains elements not preserving the factors. We study them through the "further quotients" by (C x C)/G' where G' contains G. As a first application we prove that if the irregularity is at least 3, then S is also minimal. The result is sharp. The main result is a complete description of the Albanese morphism of S through a determined further quotient (C x C)/G' that is an \'etale cover of the symmetric square of a curve. In particular, if the irregularity of S is at least 2, then S has maximal Albanese dimension. We apply our result to all the "semi-isogenous" mixed surfaces of maximal Albanese dimension constructed by Cancian and Frapporti, relating them with the other constructions appearing in the literature of surfaces of general type having the same invariants.


title: Training-free Measures Based on Algorithmic Probability Identify High Nucleosome Occupancy in DNA Sequences

abstract: We introduce and study a set of training-free methods of information-theoretic and algorithmic complexity nature applied to DNA sequences to identify their potential capabilities to determine nucleosomal binding sites. We test our measures on well-studied genomic sequences of different sizes drawn from different sources. The measures reveal the known in vivo versus in vitro predictive discrepancies and uncover their potential to pinpoint (high) nucleosome occupancy. We explore different possible signals within and beyond the nucleosome length and find that complexity indices are informative of nucleosome occupancy. We compare against the gold standard (Kaplan model) and find similar and complementary results with the main difference that our sequence complexity approach. For example, for high occupancy, complexity-based scores outperform the Kaplan model for predicting binding representing a significant advancement in predicting the highest nucleosome occupancy following a training-free approach.


title: Spin Injection and Detection via the Anomalous Spin Hall Effect in a Ferromagnetic Metal

abstract: We report a novel spin injection and detection mechanism via the anomalous Hall effect in a ferromagnetic metal. The anomalous spin Hall effect (ASHE) refers to the transverse spin current generated within the ferromagnet. We utilize the ASHE and its reciprocal effect to electrically inject and detect magnons in a magnetic insulator in a non-local geometry. Our experiments reveal that permalloy can have a higher spin injection and detection efficiency to that of platinum, owing to the ASHE. We also demonstrate the tunability of the ASHE via the orientation of the permalloy magnetization, thus creating new possibilities for spintronic applications.


title: Abelian groups gradings on null-filiform and one-parametric filiform Leibniz algebras

abstract: We classify, up to equivalences, all abelian groups gradings on null-filiform and one-parametric filiform Leibniz algebras. Any grading on a null-filiform Leibniz algebra is toral but there are non-toral gradings on one-parametric filiform Leibniz algebras.


title: Diagonals of separately continuous maps with values in box products

abstract: We prove that if $X$ is a paracompact connected space and $Z=\prod_{s\in S}Z_s$ is a product of a family of equiconnected metrizable spaces endowed with the box topology, then for every Baire-one map $g:X\to Z$ there exists a separately continuous map $f:X^2\to Z$ such that $f(x,x)=g(x)$ for all $x\in X$.


title: Upper and lower Lebesgue classification of multivalued mappings of two variables

abstract: We introduce a functional Lebesgue classification of multivalued mappings and obtain results on upper and lower Lebesgue classifications of multivalued mappings $F:X\times Y\to Z$ for wide classes of spaces $X$, $Y$ and $Z$.


title: A counterpart of Landau -- Hadamard type inequality for manifold-valued mappings

abstract: We obtain a Landau -- Hadamard type inequality for mappings defined on the whole real axis and taking values in Riemannian manifolds. In terms of an auxiliary convex function, we find conditions under which the boundedness of covariant derivative along the curve under consideration ensures the boundedness of the corresponding tangent vector field. As an example we obtain a Landau -- Hadamard type inequality for curves on 2D unite sphere.


title: A one dimensional modal approach for flows controlled by contact line motion

abstract: The hydrodynamics of a liquid-vapour interface in contact with an heterogeneous surface is largely impacted by the presence of defects at the smaller scales. Such defects introduce morphological disturbances on the contact line and ultimately determine the force exerted on the wedge of liquid in contact with the surface. From the mathematical point of view, defects introduce perturbation modes, whose space-time evolution is governed by the interfacial hydrodynamic equations of the contact line. In this paper we derive the response function of the contact line to such generic perturbations. The contact line response may be used to design simplified 1+1 dimensional models accounting for the complexity of interfacial flows coupled to nanoscale defects, yet offering a more tractable mathematical framework to include thermal fluctuations and explore thermally activated contact line motion through a disordered energy landscape.


title: Measuring 14 elemental abundances with R=1,800 LAMOST spectra

abstract: The LAMOST survey has acquired low-resolution spectra (R=1,800) for 5 million stars across the Milky Way, far more than any current stellar survey at a corresponding or higher spectral resolution. It is often assumed that only very few elemental abundances can be measured from such low-resolution spectra, limiting their utility for Galactic archaeology studies. However, Ting et al. (2017) used ab initio models to argue that low-resolution spectra should enable precision measurements of many elemental abundances, at least in theory. Here we verify this claim in practice by measuring the relative abundances of 14 elements from LAMOST spectra with a precision of $\lesssim$ 0.1 dex for objects with ${\rm S/N}_{\rm LAMOST}$ > 30 (per pixel). We employ a spectral modeling method in which a data-driven model is combined with priors that the model gradient spectra should resemble ab initio spectral models. This approach assures that the data-driven abundance determinations draw on physically sensible features in the spectrum in their predictions and do not just exploit astrophysical correlations among abundances. Our analysis is constrained to the number of elemental abundances measured in the APOGEE survey, which is the source of the training labels. Obtaining high quality/resolution spectra for a subset of LAMOST stars to measure more elemental abundances as training labels and then applying this method to the full LAMOST catalog will provide a sample with more than 20 elemental abundances that is an order of magnitude larger than current high-resolution surveys, substantially increasing the sample size for Galactic archaeology.


title: Referenceless Quality Estimation for Natural Language Generation

abstract: Traditional automatic evaluation measures for natural language generation (NLG) use costly human-authored references to estimate the quality of a system output. In this paper, we propose a referenceless quality estimation (QE) approach based on recurrent neural networks, which predicts a quality score for a NLG system output by comparing it to the source meaning representation only. Our method outperforms traditional metrics and a constant baseline in most respects; we also show that synthetic data helps to increase correlation results by 21% compared to the base system. Our results are comparable to results obtained in similar QE tasks despite the more challenging setting.


title: Upper bounds on the spectral gaps of quasi-periodic Schr\"odinger operators with Liouville frequencies

abstract: We prove that the size of the spectral gaps of weakly coupled quasi-periodic Schr\"odinger operators with Liouville frequencies decays exponentially. As an application, we obtain the homogeneity of the spectrum.


title: Optimization of Non Binary Parity Check Coefficients

abstract: This paper generalizes the method proposed by Poulliat et al. for the determination of the optimal Galois Field coefficients of a Non-Binary LDPC parity check constraint based on the binary image of the code. Optimal, or almost-optimal, parity check coefficients are given for check degree varying from 4 to 20 and Galois Field varying from GF(64) up to GF(1024). For all given sets of coefficients, no codeword of Hamming weight two exists. A reduced complexity algorithm to compute the binary Hamming weight 3 of a parity check is proposed. When the number of sets of coefficients is too high for an exhaustive search and evaluation, a local greedy search is performed. Explicit tables of coefficients are given. The proposed sets of coefficients can effectively replace the random selection of coefficients often used in NB-LDPC construction.


title: Exponential Decay of the lengths of Spectral Gaps for Extended Harper's Model with Liouvillean Frequency

abstract: In this paper, we study the non-self dual extended Harper's model with Liouvillean frequency. By establishing quantitative reducibility results together with the averaging method, we prove that the lengths of spectral gaps decay exponentially.


title: A von Neumann algebra characterization of property (T) for groupoids

abstract: For an arbitrary discrete probability-measure-preserving groupoid $G$, we provide a characterization of property (T) for $G$ in terms of the groupoid von Neumann algebra $L(G)$. More generally, we obtain a characterization of relative property (T) for a subgroupoid $H\subset G$ in terms of the inclusion $L\left( H\right) \subset L\left( G\right) $.


title: Symmetries and invariance properties of stochastic differential equations driven by semimartingales with jumps

abstract: Stochastic symmetries and related invariance properties of finite dimensional SDEs driven by general c\`adl\`ag semimartingales taking values in Lie groups are defined and investigated. In order to enlarge the class of possible symmetries of SDEs, the new concepts of gauge and time symmetries for semimartingales on Lie groups are introduced. Markovian and non-Markovian examples of gauge and time symmetric processes are provided. The considered set of SDEs includes affine and Marcus type SDEs as well as smooth SDEs driven by L\'evy processes. Non trivial invariance results concerning a class of iterated random maps are obtained as special cases.


title: Grid Obstacle Representation of Graphs

abstract: The grid obstacle representation, or alternately, $\ell_1$-obstacle representation of a graph $G=(V,E)$ is an injective function $f:V \rightarrow \mathbb{Z}^2$ and a set of point obstacles $\mathcal{O}$ on the grid points of $\mathbb{Z}^2$ (where no vertex of $V$ has been mapped) such that $uv$ is an edge in $G$ if and only if there exists a Manhattan path between $f(u)$ and $f(v)$ in $\mathbb{Z}^2$ avoiding the obstacles of $\mathcal{O}$ and points in $f(V)$. This work shows that planar graphs admit such a representation while there exist some non-planar graphs that do not admit such a representation. Moreover, we show that every graph admits a grid obstacle representation in $\mathbb{Z}^3$. We also show NP-hardness result for the point set embeddability of an $\ell_1$-obstacle representation.


title: A Syllable-based Technique for Word Embeddings of Korean Words

abstract: Word embedding has become a fundamental component to many NLP tasks such as named entity recognition and machine translation. However, popular models that learn such embeddings are unaware of the morphology of words, so it is not directly applicable to highly agglutinative languages such as Korean. We propose a syllable-based learning model for Korean using a convolutional neural network, in which word representation is composed of trained syllable vectors. Our model successfully produces morphologically meaningful representation of Korean words compared to the original Skip-gram embeddings. The results also show that it is quite robust to the Out-of-Vocabulary problem.


title: Coverage Analysis in Millimeter Wave Cellular Networks with Reflections

abstract: The coverage probability of a user in a mmwave system depends on the availability of line-of-sight paths or reflected paths from any base station. Many prior works modelled blockages using random shape theory and analyzed the SIR distribution with and without interference. While, it is intuitive that the reflected paths do not significantly contribute to the coverage (because of longer path lengths), there are no works which provide a model and study the coverage with reflections. In this paper, we model and analyze the impact of reflectors using stochastic geometry. We observe that the reflectors have very little impact on the coverage probability.


title: Modification of the Magnetic Properties of Co2Y Hexaferrites by Divalent and Trivalent Metal Substitutions

abstract: The present study is concerned with the fabrication and characterization of Me2Y substituted hexaferrites, Ba2Me2Fe12-xTxO22 (Me = Co2+, Mg2+, and Cr2+, and T = Fe3+, and Ga3+). The samples were prepared by the conventional ball milling technique and sintering at 1200{\deg} C. The effect of the choices of Me and T ions on the structural and magnetic properties of the hexaferrites were investigated. XRD patterns, magnetic parameters, and M\"ossbauer spectra of the Co2Y were consistent with a single phase Y-type hexaferrite. However, the CoCr-Y sample was found to be dominated by the Y-type hexaferrite, and M-type and BaCrO4 minority phases were observed in the XRD pattern of the sample. The small increase in saturation magnetization from about 34 emu/g up to 37.5 emu/g was therefore attributed to the development of the M-type phase. On the other hand, XRD pattern of the Cr2Y sample indicated the dominance of the M-type phase in this sample. The high coercivity (1445 Oe) of this sample is evidence of the transformation of the material from a typically soft magnetic material (Y-type) to a hard magnet (M-type). The Ga-substitution for Fe in Co2Y did not affect the saturation magnetization significantly, but the coercivity was reduced. However, the sample Ba2CoMgFe11GaO22 exhibited a significant reduction of the saturation magnetization down to a value 26.6 emu/g, which could be due to the attenuation of the super-exchange interactions induced by the Mg2+ substitution.


title: Extractive Multi Document Summarization using Dynamical Measurements of Complex Networks

abstract: Due to the large amount of textual information available on Internet, it is of paramount relevance to use techniques that find relevant and concise content. A typical task devoted to the identification of informative sentences in documents is the so called extractive document summarization task. In this paper, we use complex network concepts to devise an extractive Multi Document Summarization (MDS) method, which extracts the most central sentences from several textual sources. In the proposed model, texts are represented as networks, where nodes represent sentences and the edges are established based on the number of shared words. Differently from previous works, the identification of relevant terms is guided by the characterization of nodes via dynamical measurements of complex networks, including symmetry, accessibility and absorption time. The evaluation of the proposed system revealed that excellent results were obtained with particular dynamical measurements, including those based on the exploration of networks via random walks.


title: Multi-peak positive solutions to a class of Kirchhoff equations

abstract: In the present paper, we consider the nonlocal Kirchhoff problem \begin{eqnarray*} -\left(\epsilon^2a+\epsilon b\int_{\mathbb{R}^{3}}|\nabla u|^{2}\right)\Delta u+V(x)u=u^{p},\,\,\,u>0 & & \text{in }\mathbb{R}^{3}, \end{eqnarray*} where $a,b>0$, $1<p<5$ are constants, $\epsilon>0$ is a parameter. Under some mild assumptions on the function $V$, we obtain multi-peak solutions for $\epsilon$ sufficiently small by Lyapunov-Schmidt reduction method. Even though many results on single peak solutions to singularly perturbed Kirchhoff problems have been derived in the literature by various methods, there exist no results on multi-peak solutions before this paper, due to some difficulties caused by the nonlocal term $\left(\int_{\mathbb{R}^3}|\nabla u|^2\right)\Delta u$. A remarkable new feature of this problem is that the corresponding unperturbed problem turns out to be a system of partial differential equations, but not a single Kirchhoff equation, which is quite different from most of elliptic singular perturbation problems.


title: Neural Machine Translation with Word Predictions

abstract: In the encoder-decoder architecture for neural machine translation (NMT), the hidden states of the recurrent structures in the encoder and decoder carry the crucial information about the sentence.These vectors are generated by parameters which are updated by back-propagation of translation errors through time. We argue that propagating errors through the end-to-end recurrent structures are not a direct way of control the hidden vectors. In this paper, we propose to use word predictions as a mechanism for direct supervision. More specifically, we require these vectors to be able to predict the vocabulary in target sentence. Our simple mechanism ensures better representations in the encoder and decoder without using any extra data or annotation. It is also helpful in reducing the target side vocabulary and improving the decoding efficiency. Experiments on Chinese-English and German-English machine translation tasks show BLEU improvements by 4.53 and 1.3, respectively


title: Quantifying homologous proteins and proteoforms

abstract: Many proteoforms - arising from alternative splicing, post-translational modifications (PTMs), or paralogous genes - have distinct biological functions, such as histone PTM proteoforms. However, their quantification by existing bottom-up mass-spectrometry (MS) methods is undermined by peptide-specific biases. To avoid these biases, we developed and implemented a first-principles model (HIquant) for quantifying proteoform stoichiometries. We characterized when MS data allow inferring proteoform stoichiometries by HIquant, derived an algorithm for optimal inference, and demonstrated experimentally high accuracy in quantifying fractional PTM occupancy without using external standards, even in the challenging case of the histone modification code. HIquant server is implemented at: https://web.northeastern.edu/slavov/2014_HIquant/

categories: q-bio.QM q-bio.GN stat.AP stat.ME stat.ML


title: FEMPAR: An object-oriented parallel finite element framework

abstract: FEMPAR is an open source object oriented Fortran200X scientific software library for the high-performance scalable simulation of complex multiphysics problems governed by partial differential equations at large scales, by exploiting state-of-the-art supercomputing resources. It is a highly modularized, flexible, and extensible library, that provides a set of modules that can be combined to carry out the different steps of the simulation pipeline. FEMPAR includes a rich set of algorithms for the discretization step, namely (arbitrary-order) grad, div, and curl-conforming finite element methods, discontinuous Galerkin methods, B-splines, and unfitted finite element techniques on cut cells, combined with $h$-adaptivity. The linear solver module relies on state-of-the-art bulk-asynchronous implementations of multilevel domain decomposition solvers for the different discretization alternatives and block-preconditioning techniques for multiphysics problems. FEMPAR is a framework that provides users with out-of-the-box state-of-the-art discretization techniques and highly scalable solvers for the simulation of complex applications, hiding the dramatic complexity of the underlying algorithms. But it is also a framework for researchers that want to experience with new algorithms and solvers, by providing a highly extensible framework. In this work, the first one in a series of articles about FEMPAR, we provide a detailed introduction to the software abstractions used in the discretization module and the related geometrical module. We also provide some ingredients about the assembly of linear systems arising from finite element discretizations, but the software design of complex scalable multilevel solvers is postponed to a subsequent work.


title: Thick hyperbolic 3-manifolds with bounded rank

abstract: We construct a geometric decomposition for the convex core of a thick hyperbolic 3-manifold M with bounded rank. Corollaries include upper bounds in terms of rank and injectivity radius on the Heegaard genus of M and on the radius of any embedded ball in the convex core of M.


title: Flavours and Infra-red Instability in Holography

abstract: Within a phenomenological holographic model in $(4+1)$-bulk dimensions, defined by Einstein-gravity with a negative cosmological constant, coupled to a Dirac-Born-Infeld and a Chern-Simons term, we explore the fate of BF-bound violation for a probe scalar field and a fluctuation mode of the corresponding geometry. We assume this simple model to capture the dynamics of a strongly coupled SU$(N_c)$ gauge theory with $N_f$ fundamental matter, which in the limit ${\cal O} \left( N_c \right) \sim {\cal O}\left(N_f\right)$ and with a non-vanishing matter density, is holographically described by an AdS$_2$-geometry in the IR. We demonstrate that, superconductor/superfluid instabilities are facilitated and spontaneous breaking of translational invariance is inhibited with increasing values of $\left(N_f / N_c \right) $. This is similar, in spirit, with known results in large $N_c$ Quantum Chromodynamics with $N_f$ quarks and a non-vanishing density, in which the chiral density wave phase becomes suppressed and superconducting instabilities become favoured as the number of quarks is increased.


title: e-QRAQ: A Multi-turn Reasoning Dataset and Simulator with Explanations

abstract: In this paper we present a new dataset and user simulator e-QRAQ (explainable Query, Reason, and Answer Question) which tests an Agent's ability to read an ambiguous text; ask questions until it can answer a challenge question; and explain the reasoning behind its questions and answer. The User simulator provides the Agent with a short, ambiguous story and a challenge question about the story. The story is ambiguous because some of the entities have been replaced by variables. At each turn the Agent may ask for the value of a variable or try to answer the challenge question. In response the User simulator provides a natural language explanation of why the Agent's query or answer was useful in narrowing down the set of possible answers, or not. To demonstrate one potential application of the e-QRAQ dataset, we train a new neural architecture based on End-to-End Memory Networks to successfully generate both predictions and partial explanations of its current understanding of the problem. We observe a strong correlation between the quality of the prediction and explanation.


title: Finding a subdivision of a prescribed digraph of order 4

abstract: The problem of when a given digraph contains a subdivision of a fixed digraph $F$ is considered. Bang-Jensen et al. laid out foundations for approaching this problem from the algorithmic point of view. In this paper we give further support to several open conjectures and speculations about algorithmic complexity of finding $F$-subdivisions. In particular, up to 5 exceptions, we completely classify for which 4-vertex digraphs $F$, the $F$-subdivision problem is polynomial-time solvable and for which it is NP-complete. While all NP-hardness proofs are made by reduction from some version of the 2-linkage problem in digraphs, some of the polynomial-time solvable cases involve relatively complicated algorithms.


title: The strong ring of simplicial complexes

abstract: We define a ring R of geometric objects G generated by finite abstract simplicial complexes. To every G belongs Hodge Laplacian H as the square of the Dirac operator determining its cohomology and a unimodular connection matrix L). The sum of the matrix entries of the inverse of L is the Euler characteristic. The spectra of H as well as inductive dimension add under multiplication while the spectra of L multiply. The nullity of the Hodge of H are the Betti numbers which can now be signed. The map assigning to G its Poincare polynomial is a ring homomorphism from R the polynomials. Especially the Euler characteristic is a ring homomorphism. Also Wu characteristic produces a ring homomorphism. The Kuenneth correspondence between cohomology groups is explicit as a basis for the product can be obtained from a basis of the factors. The product in R produces the strong product for the connection graphs and leads to tensor products of connection Laplacians. The strong ring R is also a subring of the full Stanley-Reisner ring S Every element G can be visualized by its Barycentric refinement graph G1 and its connection graph G'. Gauss-Bonnet, Poincare-Hopf or the Brouwer-Lefschetz extend to the strong ring. The isomorphism of R with a subring of the strong Sabidussi ring shows that the multiplicative primes in R are the simplicial complexes and that every connected element in the strong ring has a unique prime factorization. The Sabidussi ring is dual to the Zykov ring, in which the Zykov join is the addition. The connection Laplacian of the d-dimensional lattice remains invertible in the infinite volume limit: there is a mass gap in any dimension.


title: Complexity/Action duality of shock wave geometry in a massive gravity theory

abstract: On the holographic complexity dual to the bulk action, we investigate the action growth for a shock wave geometry in a massive gravity theory within the Wheeler-De Witt (WDW) patch at the late time limit. For a global shock wave, the graviton mass does not affect the action growth in the bulk, i.e. the complexity on the boundary, showing that the action growth (complexity) is the same for both the Einstein gravity and the massive gravity. Nevertheless, for a local shock wave that depends on transverse coordinates, the action growth (complexity) is proportional to the butterfly velocity for the two gravity theories, but the butterfly velocity of the massive gravity theory is smaller than that of the Einstein gravity theory, indicating that the action growth (complexity) of the massive gravity is depressed by the graviton mass. In addition, we extend the black hole thermodynamics of the massive gravity and obtain the right Smarr formula.


title: Algebraic Cuntz-Krieger algebras

abstract: We show that $E$ is a finite graph with no sinks if and only if the Leavitt path algebra $L_R(E)$ is isomorphic to an algebraic Cuntz-Krieger algebra if and only if the $C^*$-algebra $C^*(E)$ is unital and $rank(K_0(C^*(E)))=rank(K_1(C^*(E)))$. When $k$ is a field and $rank(k^{\times})< \infty$, we show that the Leavitt path algebra $L_k(E)$ is isomorphic to an algebraic Cuntz-Krieger algebra if and only if $L_k(E)$ is unital and $rank(K_1(L_k(E)))=(rank(k^{\times})+1)rank(K_0(L_k(E)))$. We also show that any unital $k$-algebra which is Morita equivalent or stably isomorphic to an algebraic Cuntz-Krieger algebra, is isomorphic to an algebraic Cuntz-Krieger algebra. As a consequence, corners of algebraic Cuntz-Krieger algebras are algebraic Cuntz-Krieger algebras.


title: Maximum number of colourings. I. 4-chromatic graphs

abstract: It is proved that every connected graph $G$ on $n$ vertices with $\chi(G) \geq 4$ has at most $k(k-1)^{n-3}(k-2)(k-3)$ $k$-colourings for every $k \geq 4$. Equality holds for some (and then for every) $k$ if and only if the graph is formed from $K_4$ by repeatedly adding leaves. This confirms (a strengthening of) the $4$-chromatic case of a long-standing conjecture of Tomescu [Le nombre des graphes connexes $k$-chromatiques minimaux aux sommets etiquetes, C. R. Acad. Sci. Paris 273 (1971), 1124-1126]. Proof methods may be of independent interest. In particular, one of our auxiliary results about list-chromatic polynomials solves a recent conjecture of Brown, Erey, and Li.


title: Hyperbolicity over function fields of quadrics

abstract: A strong consequence of quadratic forms becoming hyperbolic over the function field of a form is established. This result is invoked to obtain a new characterisation of hyperbolicity over function fields, and to recover a number of important established results in quadratic form theory by means of novel, short and elementary proofs.


title: Interactively Transferring CNN Patterns for Part Localization

abstract: In the scenario of one/multi-shot learning, conventional end-to-end learning strategies without sufficient supervision are usually not powerful enough to learn correct patterns from noisy signals. Thus, given a CNN pre-trained for object classification, this paper proposes a method that first summarizes the knowledge hidden inside the CNN into a dictionary of latent activation patterns, and then builds a new model for part localization by manually assembling latent patterns related to the target part via human interactions. We use very few (e.g., three) annotations of a semantic object part to retrieve certain latent patterns from conv-layers to represent the target part. We then visualize these latent patterns and ask users to further remove incorrect patterns, in order to refine part representation. With the guidance of human interactions, our method exhibited superior performance of part localization in experiments.


title: Super pulses of orbital angular momentum in fractional-order spiroid vortex-beams

abstract: We consider optical properties of Hypergeometric-Gaussian beam compositions with spiral-like intensity and phase distributions that were called the spiroid beams. Their orbital angular momentum as a function of a fractional-order topological charge has a chain of supper-pulses (bursts and dips).The form of the supper-pulses can be controlled by the spiral parameters. Such a phenomenon can be used in optical switches and triggers for optical devices and communication systems.


title: Interpreting CNN Knowledge via an Explanatory Graph

abstract: This paper learns a graphical model, namely an explanatory graph, which reveals the knowledge hierarchy hidden inside a pre-trained CNN. Considering that each filter in a conv-layer of a pre-trained CNN usually represents a mixture of object parts, we propose a simple yet efficient method to automatically disentangles different part patterns from each filter, and construct an explanatory graph. In the explanatory graph, each node represents a part pattern, and each edge encodes co-activation relationships and spatial relationships between patterns. More importantly, we learn the explanatory graph for a pre-trained CNN in an unsupervised manner, i.e., without a need of annotating object parts. Experiments show that each graph node consistently represents the same object part through different images. We transfer part patterns in the explanatory graph to the task of part localization, and our method significantly outperforms other approaches.


title: The mutual transformations of fractional-order and integer-order optical vortices

abstract: We consider the problem of singular beams in optics as a part of the general questions of interactions, shaping and transformations of vortex states with fractional topological charges in physics, in particular, in hydrodynamic and quantum mechanic. Starting from the representation of the fractional-order vortex states as a superposition of infinite number of integer-order vortices with distinctive energy distributions (the vortex spectra) we showed that the smooth wave front of the fractional vortex beam can either decay into an asymmetric array of integer-order vortices or, vice versa, the array of optical vortices can be gathered together forming a smooth wave front with a helicoid-shaped phase distribution under propagation in free space. We revealed that a simple superposition of a finite number of the fractional-order vortex beams enables us to shape symmetric singular beams with the integer-order vortices of the desired topological charges.


title: Round-Trip Sketches: Supporting the Lifecycle of Software Development Sketches from Analog to Digital and Back

abstract: Sketching is an important activity for understanding, designing, and communicating different aspects of software systems such as their requirements or architecture. Often, sketches start on paper or whiteboards, are revised, and may evolve into a digital version. Users may then print a revised sketch, change it on paper, and digitize it again. Existing tools focus on a paperless workflow, i.e., archiving analog documents, or rely on special hardware - they do not focus on integrating digital versions into the analog-focused workflow that many users follow. In this paper, we present the conceptual design and a prototype of LivelySketches, a tool that supports the "round-trip" lifecycle of sketches from analog to digital and back. The proposed workflow includes capturing both analog and digital sketches as well as relevant context information. In addition, users can link sketches to other related sketches or documents. They may access the linked artifacts and captured information using digital as well as augmented analog versions of the sketches. We further present results from a formative user study with four students and outline possible directions for future work.


title: Neutrino scattering in supernovae and spin correlations of a unitary gas

abstract: Core collapse supernova simulations can be sensitive to neutrino interactions near the neutrinosphere. This is the surface of last scattering. We model the neutrinosphere region as a warm unitary gas of neutrons. A unitary gas is a low density system of particles with large scattering lengths. We calculate modifications to neutrino scattering cross sections because of the universal spin and density correlations of a unitary gas. These correlations can be studied in laboratory cold atom experiments. We find significant reductions in cross sections, compared to free space interactions, even at relatively low densities. These reductions could reduce the delay time from core bounce to successful explosion in multidimensional supernova simulations.


title: Planck stars: new sources in radio and gamma astronomy?

abstract: A new phenomenon, recently studied in theoretical physics, may have considerable interest for astronomers: the explosive decay of old primordial black holes via quantum tunnelling. Models predict radio and gamma bursts with a characteristic frequency-distance relation making them identifiable. Their detection would be of major theoretical importance.


title: Extreme solar storms based on solar magnetic field

abstract: Many questions have to be answered before understanding the relationship between the emerging magnetic flux through the solar surface and the extreme geoeffective events. Which threshold determines the onset of the eruption? What is the upper limit in energy for a flare? Is the size of sunspot the only criteria to get extreme solar events? Based on observations of previous solar cycles, and theory, the main ingredients for getting X ray class flares and large Interplanetary Corona Mass Ejections e.g. the built up of the electric current in the corona, are presented such as the existence of magnetic free energy, magnetic helicity, twist and stress in active regions. The upper limit of solar flare energy in space research era and the possible chances to get super-flares and extreme solar events can be predicted using MHD simulation of coronal mass ejections