title: Geometric phase effects in excited state dynamics through a conical intersection in large molecules: N-dimensional linear vibronic coupling model study

abstract: We investigate geometric phase (GP) effects in nonadiabatic transitions through a conical intersection (CI) in an N-dimensional linear vibronic coupling (ND-LVC) model. This model allows for the coordinate transformation encompassing all nonadiabatic effects within a two-dimensional (2D) subsystem while the other N-2 dimensions form a system of uncoupled harmonic oscillators identical for both electronic states and coupled bi-linearly with the subsystem coordinates. The 2D subsystem governs ultra-fast nonadiabatic dynamics through the CI and provides a convenient model for studying GP effects. Parameters of the original ND-LVC model define the Hamiltonian of the transformed 2D subsystem and thus influence GP effects directly. Our analysis reveals what values of ND-LVC parameters can introduce symmetry breaking in the 2D subsystem that diminishes GP effects.


title: $^{13}$C isotopic fractionation of HC$_{3}$N in two starless cores: L1521B and L134N (L183)

abstract: We observed the $J=5-4$ rotational lines of the normal species and three $^{13}$C isotopologues of HC$_{3}$N at the 45 GHz band toward two low-mass starless cores, L1521B and L134N (L183), using the Nobeyama 45 m radio telescope in order to study the main formation pathways of HC$_{3}$N in each core. The abundance ratios of the three $^{13}$C isotopologues in L1521B are derived to be [H$^{13}$CCCN]:[HC$^{13}$CCN]:[HCC$^{13}$CN] = 0.98 (+- 0.14) : 1.00 : 1.52 (+- 0.16) (1 sigma). The fractionation pattern is consistent with that at the cyanopolyyne peak in Taurus Molecular Cloud-1. This fractionation pattern suggests that the main formation pathway of HC$_{3}$N is the neutral-neutral reaction between C$_{2}$H$_{2}$ and CN. On the other hand, their abundance ratios in L134N are found to be [H$^{13}$CCCN]:[HC$^{13}$CCN]:[HCC$^{13}$CN]= 1.5 (+- 0.2) : 1.0 : 2.1 (+- 0.4) (1 sigma), which are different from those in L1521B. From this fractionation pattern, we propose that the reaction between HNC and CCH is a possible main formation pathway of HC$_{3}$N in L134N. We find out that the main formation pathways of the same molecule are not common even in the similar physical conditions. We discuss the possible factors to make a difference in fractionation pattern between L134N and L1521B/TMC-1.


title: Incidence Results and Bounds of Trilinear and Quadrilinear Exponential Sums

abstract: We give a new bound on the number of collinear triples for two arbitrary subsets of a finite field. This improves on existing results which rely on the Cauchy inequality. We then us this to provide a new bound on trilinear and quadrilinear exponential sums.


title: Isomorphic classification of $\ast$-algebras of log-integrable functions

abstract: Using the notion of passport of a normed Boolean algebra, necessary and sufficient conditions for a $\ast$-isomorphism of $\ast$-algebras of log-integrable measurable functions are found.


title: Polynomial-Time Approximation Schemes for k-Center and Bounded-Capacity Vehicle Routing in Graphs with Bounded Highway Dimension

abstract: The concept of bounded highway dimension was developed to capture observed properties of the metrics of road networks. We show that a graph with bounded highway dimension, for any vertex, can be embedded into a a graph of bounded treewidth in such a way that the distance between $u$ and $v$ is preserved up to an additive error of $\epsilon$ times the distance from $u$ or $v$ to the selected vertex. We show that this theorem yields a PTAS for Bounded-Capacity Vehicle Routing in graphs of bounded highway dimension. In this problem, the input specifies a depot and a set of clients, each with a location and demand; the output is a set of depot-to-depot tours, where each client is visited by some tour and each tour covers at most $Q$ units of client demand. Our PTAS can be extended to handle penalties for unvisited clients. We extend this embedding result to handle a set $S$ of distinguished vertices. The treewidth depends on $|S|$, and the distance between $u$ and $v$ is preserved up to an additive error of $\epsilon$ times the distance from $u$ and $v$ to $S$. This embedding result implies a PTAS for Multiple Depot Bounded-Capacity Vehicle Routing: the tours can go from one depot to another. The embedding result also implies that, for fixed $k$, there is a PTAS for $k$-Center in graphs of bounded highway dimension. In this problem, the goal is to minimize $d$ such that there exist $k$ vertices (the centers) such that every vertex is within distance $d$ of some center. Similarly, for fixed $k$, there is a PTAS for $k$-Median in graphs of bounded highway dimension. In this problem, the goal is to minimize the sum of distances to the $k$ centers.


title: A Preamble Collision Resolution Scheme via Tagged Preambles for Cellular IoT/M2M Communications

abstract: In this paper, we propose a preamble (PA) collision resolution (PACR) scheme based on multiple timing advance (TA) values captured via tagged PAs. In the proposed PACR scheme, tags are embedded in random access (RA) PAs and multiple TA values are captured for a single detected PA during a tag detection procedure. The proposed PACR scheme significantly improves RA success probability for stationary machine nodes since the nodes using collided PAs can successfully complete the corresponding RAs using exclusive data resource blocks.


title: A Change-Sensitive Algorithm for Maintaining Maximal Bicliques in a Dynamic Bipartite Graph

abstract: We consider the maintenance of maximal bicliques from a dynamic bipartite graph that changes over time due to the addition or deletion of edges. When the set of edges in a graph changes, we are interested in knowing the change in the set of maximal bicliques (the "change"), rather than in knowing the set of maximal bicliques that remain unaffected. The challenge in an efficient algorithm is to enumerate the change without explicitly enumerating the set of all maximal bicliques. In this work, we present (1) near-tight bounds on the magnitude of change in the set of maximal bicliques of a graph, due to a change in the edge set (2) a "change-sensitive" algorithm for enumerating the change in the set of maximal bicliques, whose time complexity is proportional to the magnitude of change that actually occurred in the set of maximal bicliques in the graph. To our knowledge, these are the first algorithms for enumerating maximal bicliques in a dynamic graph, with such provable performance guarantees. Our algorithms are easy to implement, and experimental results show that their performance exceeds that of current baseline implementations by orders of magnitude.


title: MMGAN: Manifold Matching Generative Adversarial Network

abstract: It is well-known that GANs are difficult to train, and several different techniques have been proposed in order to stabilize their training. In this paper, we propose a novel training method called manifold-matching, and a new GAN model called manifold-matching GAN (MMGAN). MMGAN finds two manifolds representing the vector representations of real and fake images. If these two manifolds match, it means that real and fake images are statistically identical. To assist the manifold-matching task, we also use i) kernel tricks to find better manifold structures, ii) moving-averaged manifolds across mini-batches, and iii) a regularizer based on correlation matrix to suppress mode collapse. We conduct in-depth experiments with three image datasets and compare with several state-of-the-art GAN models. 32.4% of images generated by the proposed MMGAN are recognized as fake images during our user study (16% enhancement compared to other state-of-the-art model). MMGAN achieved an unsupervised inception score of 7.8 for CIFAR-10.


title: A universal tree-based network with the minimum number of reticulations

abstract: A tree-based network $\mathcal N$ on $X$ is universal if every rooted binary phylogenetic $X$-tree is a base tree for $\mathcal N$. Hayamizu and, independently, Zhang constructively showed that, for all positive integers $n$, there exists an universal tree-based network on $n$ leaves. For all $n$, Hayamizu's construction contains $\Theta(n!)$ reticulations, while Zhang's construction contains $\Theta(n^2)$ reticulations. A simple counting argument shows that an universal tree-based network has $\Omega(n\log n)$ reticulations. With this in mind, Hayamizu as well as Steel posed the problem of determining whether or not such networks exists with $O(n\log n)$ reticulations. In this paper, we show that, for all $n$, there exists an universal tree-based network on $n$ leaves with $O(n\log n)$ reticulations.


title: An Exploration of Approaches to Integrating Neural Reranking Models in Multi-Stage Ranking Architectures

abstract: We explore different approaches to integrating a simple convolutional neural network (CNN) with the Lucene search engine in a multi-stage ranking architecture. Our models are trained using the PyTorch deep learning toolkit, which is implemented in C/C++ with a Python frontend. One obvious integration strategy is to expose the neural network directly as a service. For this, we use Apache Thrift, a software framework for building scalable cross-language services. In exploring alternative architectures, we observe that once trained, the feedforward evaluation of neural networks is quite straightforward. Therefore, we can extract the parameters of a trained CNN from PyTorch and import the model into Java, taking advantage of the Java Deeplearning4J library for feedforward evaluation. This has the advantage that the entire end-to-end system can be implemented in Java. As a third approach, we can extract the neural network from PyTorch and "compile" it into a C++ program that exposes a Thrift service. We evaluate these alternatives in terms of performance (latency and throughput) as well as ease of integration. Experiments show that feedforward evaluation of the convolutional neural network is significantly slower in Java, while the performance of the compiled C++ network does not consistently beat the PyTorch implementation.


title: Simultaneous weak measurement of non-commuting observables

abstract: In contrast to a projective quantum measurement in which the system is projected onto an eigenstate of the measured operator, in a weak measurement the system is only weakly perturbed while only partial information on the measured observable is obtained. A full description of such measurement should describe the measurement protocol and provide an explicit form of the measurement operator that transform the quantum state to its post measurement form. A simultaneous measurement of non-commuting observables cannot be projective, however the strongest possible such measurement can be defined as providing their values at the smallest uncertainty limit. Starting with the Arthurs and Kelly (AK) protocol for such measurement of position and momentum, we derive a systematic extension to a corresponding weak measurement along three steps: First, a plausible form of the weak measurement operator analogous to the Gaussian Kraus operator often used to model a weak measurement of a single observable is obtained by projecting a na\"ive extension (valid for commuting observable) onto the corresponding Gabor space. Second, we show that the so obtained set of measurement operators satisfies the normalization condition for the probability to obtain given values of the position and momentum in the weak measurement operation, namely that this set constitutes a positive operator valued measure (POVM) in the position-momentum space. Finally, we show that the so-obtained measurement operator corresponds to a generalization of the AK measurement protocol in which the initial detector wavefunctions is suitable broadened.


title: An adaptive fast solver for a general class of positive definite matrices via energy decomposition

abstract: In this paper, we propose an adaptive fast solver for a general class of symmetric positive definite (SPD) matrices which include the well-known graph Laplacian. We achieve this by developing an adaptive operator compression scheme and a multiresolution matrix factorization algorithm which achieve nearly optimal performance on both complexity and well-posedness. To develop our adaptive operator compression and multiresolution matrix factorization methods, we first introduce a novel notion of energy decomposition for SPD matrix $A$ using the representation of energy elements. The interaction between these energy elements depicts the underlying topological structure of the operator. This concept of decomposition naturally reflects the hidden geometric structure of the operator which inherits the localities of the structure. By utilizing the intrinsic geometric information under this Energy framework, we propose a systematic operator compression scheme for the inverse operator $A^{-1}$. In particular, with an appropriate partition of the underlying geometric structure, we can construct localized basis by using the concept of interior and closed energy. Meanwhile, two important localized quantities are introduced, namely the error factor and the condition factor. Our error analysis results show that these two factors will be the guidelines for finding the appropriate partition of the basis functions such that prescribed compression error and acceptable condition number can be achieved. By virtue of this insight, we propose the Patch Pairing algorithm to realize our energy partition framework for operator compression with controllable compression error and condition number.


title: Decay estimates for evolutionary equations with fractional time-diffusion

abstract: We consider an evolution equation whose time-diffusion is of fractional type and we provide decay estimates in time for the $L^s$-norm of the solutions in a bounded domain. The spatial operator that we take into account is very general and comprises classical local and nonlocal diffusion equations.


title: A General and Yet Efficient Scheme for Sub-Nyquist Radar Processing

abstract: We study the target parameter estimation for sub-Nyquist pulse-Doppler radar. Several past works have addressed this problem but either have low estimation accuracy for off-grid targets, take large computation load, or lack versatility for analog-to-information conversion (AIC) systems. To overcome these difficulties, we present a general and efficient estimation scheme. The scheme first formulates a general model in the sense that it is applicable to all AICs regardless of whether the targets are on or off the grids. The estimation of Doppler shifts and delays is performed sequentially, in which the Doppler estimation is formulated into a spatial spectrum estimation problem and the delay estimation is decomposed into a series of compressive parameter estimation problems with each corresponding to an estimated Doppler shift. By the sequential and decomposed processing, the computational complexity is substantially reduced, and by the parametric estimation techniques, the high accurate estimation is obtained. Theoretical analyses and numerical experiments show the effectiveness and the correctness of the proposed scheme.


title: Radial Acceleration Relation between Baryons and Dark or Phantom Matter in the Super-critical Acceleration Regime of Nearly Spherical Galaxies

abstract: The central regions of nearby elliptical galaxies are dominated by baryons (stars) and provide interesting laboratories for studying the radial acceleration relation (RAR). We carry out exploratory analyses and discuss the possibility of constraining the RAR in the super-critical acceleration range $(10^{-9.5},\hspace{1ex}10^{-8})$~${\rm m}~{\rm s}^{-2}$ using a sample of nearly round pure-bulge (spheroidal, dispersion-dominated) galaxies including 24 ATLAS$^{\rm 3D}$ galaxies and 4201 SDSS galaxies covering a wide range of masses, sizes and luminosity density profiles. We consider a range of current possibilities for the stellar mass-to-light ratio ($M_\star/L$), its gradient and dark or phantom matter (DM/PM) halo profiles. We obtain the probability density functions (PDFs) of the parameters of the considered models via Bayesian inference based on spherical Jeans Monte Carlo modeling of the observed velocity dispersions. We then constrain the DM/PM-to-baryon acceleration ratio $a_{\rm X}/a_{\rm B}$ from the PDFs. Unless we ignore observed radial gradients in $M_\star/L$, or assume unreasonably strong gradients, marginalization over nuisance factors suggests $a_{\rm X}/a_{\rm B} = 10^{p} (a_{\rm B}/a_{+1})^q$ with $p = -1.00 \pm 0.03$ (stat) $^{+0.11}_{-0.06}$ (sys) and $q=-1.02 \pm 0.09$ (stat) $^{+0.16}_{-0.00}$ (sys) around a super-critical acceleration $a_{+1}\equiv 1.2\times 10^{-9}~{\rm m}~{\rm s}^{-2}$. In the context of the $\Lambda$CDM paradigm, this RAR suggests that the NFW DM halo profile is a reasonable description of galactic halos even after the processes of galaxy formation and evolution. In the context of the MOND paradigm, this RAR favors the Simple interpolating function but is inconsistent with the vast majority of other theoretical proposals and fitting functions motivated mainly from sub-critical acceleration data.


title: On the existence of topological dyons and dyonic black holes in anti-de Sitter Einstein-Yang-Mills theories with compact semisimple gauge groups

abstract: Here we study the global existence of `hairy' dyonic black hole and dyon solutions to four dimensional, anti-de Sitter Einstein-Yang-Mills theories for a general simply-connected and semisimple gauge group $G$, for so-called topologically symmetric systems, concentrating here on the regular case. We generalise here cases in the literature which considered purely magnetic spherically symmetric solutions for a general gauge group and topological dyonic solutions for $\mathfrak{su}(N)$. We are able to establish the global existence of non-trivial solutions to all such systems, both near existing embedded solutions and as $|\Lambda|\rightarrow\infty$. In particular, we can identify non-trivial solutions where the gauge field functions have no zeroes, which in the $\mathfrak{su}(N)$ case proved important to stability. We believe that these are the most general analytically proven solutions in 4D anti-de Sitter Einstein-Yang-Mills systems to date.


title: Consistency relations in multi-field inflation

abstract: We study the consequences of spatial coordinate transformation in multi-field inflation. Among the spontaneously broken de Sitter isometries, only dilatation in the comoving gauge preserves the form of the metric and thus results in quantum-protected Slavnov-Taylor identities. We derive the corresponding consistency relations between correlation functions of cosmological perturbations in two different ways, by the connected and one-particle-irreducible Green's functions. The lowest-order consistency relations are explicitly given, and we find that even in multi-field inflation the consistency relations in the soft limit are independent of the detail of the matter sector.


title: Uniform hyperbolicity of the graphs of nonseparating curves via bicorn curves

abstract: We show that the graphs of nonseparating curves for oriented finite type surfaces are uniformly hyperbolic. Our proof follows the proof of uniform hyperbolicity of the graphs of curves for closed surfaces due to Przytycki-Sisto, while introducing new arguments using homology to certify that certain curves are nonseparating. As demonstrated by Aramayona-Valdez, this proves also that the graph of nonseparating curves for any oriented infinite type surface with finite positive genus is hyperbolic.


title: Effects of population- and seed bank noise on neutral evolution and efficacy of natural selection

abstract: Population genetics models typically consider a fixed population size and a unique selection coefficient. However, population dynamics inherently generate noise in numbers of individuals and selection acts on various components of the individuals' fitness. In plant species with seed banks, the size of both the above- and below-ground compartments present noise depending on seed production and the state of the seed bank. We investigate if this noise has consequences on 1)~the rate of genetic drift, and 2)~the efficacy of selection. We consider four variants of two-allele Moran-type models defined by combinations of presence and absence of noise in above-ground and seed bank compartments. Time scale analysis and dimension reduction methods allow us to reduce the corresponding Fokker-Planck equation to a one-dimensional diffusion approximation of a Moran model. We first show that if the above-ground noise classically affects the rate of genetic drift, below-ground noise reduces the diversity storage effect of the seed bank. Second, we consider that selection can act on four different components of the plant fitness: plant or seed death rate, seed production or seed germination. Our striking result is that the efficacy of selection for seed death rate or germination rate is reduced by seed bank noise, whereas selection occurring on plant death rate or seed production is not affected. We derive the expected site-frequency spectrum reflecting this heterogeneity in selection efficacy between genes underpinning different plant fitness components. Our results highlight the importance to consider the effect of ecological noise to predict the impact of seed banks on neutral and selective evolution.


title: Revealing of hidden quantum steerability using local filtering operations

abstract: Nonlocal quantum correlation is at the heart of bizarre nature of quantum physics. While there are various classes of nonlocal quantum correlation, steerability of a quantum state by local measurements provides unique operational features. Here, we theoretically and experimentally investigate the hidden quantum steerability. In particular, we find that there are initially unsteerable states which can reveal the steerability by using local filters on individual quantum systems. It is remarkable that a certain set of local filters are more effective on revealing steerability than Bell nonlocality whereas there exists another set of filters that is more effective on revealing Bell nonlocality than steerability. Finally, we present a counter-intuitive result that mixed states originating from non-maximally pure entangled states can have hidden steerability while the mixed state from a maximally pure entangled state fails to show steerability.


title: Thermoelectricity near Anderson localization transitions

abstract: The electronic thermoelectric coefficients are analyzed in the vicinity of one and two Anderson localization thresholds in three dimensions. For a single mobility edge, we correct and extend previous studies, and find universal approximants which allow to deduce the critical exponent for the zero-temperature conductivity from thermoelectric measurements. In particular, we find that at non-zero low temperatures the Seebeck coefficient and the thermoelectric efficiency can be very large on the "insulating" side, for chemical potentials below the (zero-temperature) localization threshold. Corrections to the leading power-law singularity in the zero-temperature conductivity are shown to introduce non-universal temperature-dependent corrections to the otherwise universal functions which describe the Seebeck coefficient, the figure of merit and the Wiedemann-Franz ratio. Next, the thermoelectric coefficients are shown to have interesting dependences on the system size. While the Seebeck coefficient decreases with decreasing size, the figure of merit first decreases but then increases, while the Wiedemann-Franz ratio first increases but then decreases as the size decreases. Small (but finite) samples may thus have larger thermoelectric efficiencies. In the last part we study thermoelectricity in systems with a pair of localization edges, the ubiquitous situation in random systems near the centers of electronic energy bands. As the disorder increases, the two thresholds approach each other, and then the Seebeck coefficient and the figure of merit increase significantly, as expected from the general arguments of Mahan and Sofo [J. D. Mahan and J. O. Sofo, Proc. Natl. Acad. Sci. U.S.A. 93, 7436 (1996)] for a narrow energy-range of the zero-temperature metallic behavior.


title: Unsupervised Motion Artifact Detection in Wrist-Measured Electrodermal Activity Data

abstract: One of the main benefits of a wrist-worn computer is its ability to collect a variety of physiological data in a minimally intrusive manner. Among these data, electrodermal activity (EDA) is readily collected and provides a window into a person's emotional and sympathetic responses. EDA data collected using a wearable wristband are easily influenced by motion artifacts (MAs) that may significantly distort the data and degrade the quality of analyses performed on the data if not identified and removed. Prior work has demonstrated that MAs can be successfully detected using supervised machine learning algorithms on a small data set collected in a lab setting. In this paper, we demonstrate that unsupervised learning algorithms perform competitively with supervised algorithms for detecting MAs on EDA data collected in both a lab-based setting and a real-world setting comprising about 23 hours of data. We also find, somewhat surprisingly, that incorporating accelerometer data as well as EDA improves detection accuracy only slightly for supervised algorithms and significantly degrades the accuracy of unsupervised algorithms.


title: Why there is no an existence theorem for a convex polytope with prescribed directions and perimeters of the faces?

abstract: We choose some special unit vectors $\boldsymbol{n}_1,\dots,\boldsymbol{n}_5$ in $\mathbb{R}^3$ and denote by $\mathscr{L}\subset\mathbb{R}^5$ the set of all points $(L_1,\dots,L_5)\in\mathbb{R}^5$ with the following property: there exists a compact convex polytope $P\subset\mathbb{R}^3$ such that the vectors $\boldsymbol{n}_1,\dots,\boldsymbol{n}_5$ (and no other vector) are unit outward normals to the faces of $P$ and the perimeter of the face with the outward normal $\boldsymbol{n}_k$ is equal to $L_k$ for all $k=1,\dots,5$. Our main result reads that $\mathscr{L}$ is not a locally-analytic set, i.\,e., we prove that, for some point $(L_1,\dots,L_5)\in\mathscr{L}$, it is not possible to find a neighborhood $U\subset\mathbb{R}^5$ and an analytic set $A\subset\mathbb{R}^5$ such that $\mathscr{L}\cap U=A\cap U$. We interpret this result as an obstacle for finding an existence theorem for a compact convex polytope with prescribed directions and perimeters of the faces.


title: Fast Deep Matting for Portrait Animation on Mobile Phone

abstract: Image matting plays an important role in image and video editing. However, the formulation of image matting is inherently ill-posed. Traditional methods usually employ interaction to deal with the image matting problem with trimaps and strokes, and cannot run on the mobile phone in real-time. In this paper, we propose a real-time automatic deep matting approach for mobile devices. By leveraging the densely connected blocks and the dilated convolution, a light full convolutional network is designed to predict a coarse binary mask for portrait images. And a feathering block, which is edge-preserving and matting adaptive, is further developed to learn the guided filter and transform the binary mask into alpha matte. Finally, an automatic portrait animation system based on fast deep matting is built on mobile devices, which does not need any interaction and can realize real-time matting with 15 fps. The experiments show that the proposed approach achieves comparable results with the state-of-the-art matting solvers.


title: Fast calculation of entropy with Zhang's estimator

abstract: Entropy is a fundamental property of a repertoire. Here, we present an efficient algorithm to estimate the entropy of types with the help of Zhang's estimator. The algorithm takes advantage of the fact that the number of different frequencies in a text is in general much smaller than the number of types. We justify the convenience of the algorithm by means of an analysis of the statistical properties of texts from more than 1000 languages. Our work opens up various possibilities for future research.


title: Online Wideband Spectrum Sensing Using Sparsity

abstract: Wideband spectrum sensing is an essential part of cognitive radio systems. Exact spectrum estimation is usually inefficient as it requires sampling rates at or above the Nyquist rate. Using prior information on the structure of the signal could allow near exact reconstruction at much lower sampling rates. Sparsity of the sampled signal in the frequency domain is one of the popular priors studied for cognitive radio applications. Reconstruction of signals under sparsity assumptions has been studied rigorously by researchers in the field of Compressed Sensing (CS). CS algorithms that operate on batches of samples are known to be robust but can be computationally costly, making them unsuitable for cheap low power cognitive radio devices that require spectrum sensing in real time. On the other hand, on line algorithms that are based on variations of the Least Mean Squares (LMS) algorithm have very simple updates so they are computationally efficient and can easily adapt in real time to changes of the underlying spectrum. In this paper we will present two variations of the LMS algorithm that enforce sparsity in the estimated spectrum given an upper bound on the number of non-zero coefficients. Assuming that the number of non-zero elements in the spectrum is known we show that under conditions the hard threshold operation can only reduce the error of our estimation. We will also show that we can estimate the number of non-zero elements of the spectrum at each iteration based on our online estimations. Finally, we numerically compare our algorithm with other on line sparsity-inducing algorithms in the literature.


title: Modified Ringel-Hall Algebras, Green's formula and Derived Hall Algebras

abstract: In this paper we define the modified Ringel-Hall algebra $\cm\ch(\ca)$ of a hereditary abelian category $\ca$ from the category $C^b(\mathcal{A})$ of bounded $\mathbb{Z}$-graded complexes. Two main results have been obtained. One is to give a new proof of Green's formula on Ringel-Hall numbers by using the associative multiplication of the modified Ringel-Hall algebra. The other is to show that in certain twisted cases the derived Hall algebra can be embedded in the modified Ringel-Hall algebra. As a consequence of the second result, we get that in certain twisted cases the modified Ringel-Hall algebra is isomorphic to the tensor algebra of the derived Hall algebra and the torus of acyclic complexes and so the modified Ringel-Hall algebra is invariant under derived equivalences.


title: Holographic entanglement negativity conjecture for adjacent intervals in $AdS_3/CFT_2$

abstract: We propose a holographic entanglement negativity conjecture involving the bulk geometry, for mixed states of adjacent intervals in $(1+1)$-dimensional dual conformal field theories through the $AdS/CFT$ correspondence. The holographic entanglement negativity is obtained from a specific algebraic sum of the geodesics anchored on respective intervals on the boundary which reduces to the holographic mutual information between them. Utilizing our conjecture we obtain the entanglement negativity of adjacent intervals in zero and finite temperature ($1+1$)-dimensional holographic conformal field theories dual to the bulk $AdS_3$ vacuum and the Euclidean BTZ black hole respectively. Our holographic conjecture exactly reproduces the conformal field theory results obtained through the replica technique, in the large central charge limit. We briefly elucidate the corresponding issue for the $AdS_{d+1}/CFT_d$ scenario.


title: Relating Catlin and D'Angelo $q$-types

abstract: We clarify the relationship between the two most standard measurements of the order of contact of q-dimensional complex varieties with a real hypersurface, the Catlin and D'Angelo $q$-types, by showing that the former equals the generic value of the normalized order of contact measured along curves whose infimum is by definition the D'Angelo $q$-type.


title: Current correlations for the transport of interacting electrons through parallel quantum dots in a photon cavity

abstract: We calculate the current correlations for the steady-state electron transport through multi-level parallel quantum dots embedded in a short quantum wire, that is placed in a non-perfect photon cavity. We account for the electron-electron Coulomb interaction, and the para- and diamagnetic electron-photon interactions with a stepwise scheme of configuration interactions and truncation of the many-body Fock spaces. In the spectral density of the temporal current-current correlations we identify all the transitions, radiative and non-radiative, active in the system in order to maintain the steady state. We observe strong signs of two types of Rabi oscillations.


title: Stochastic self-consistent second-order Green's function method for correlation energies of large electronic systems

abstract: The second-order Matsubara Green's function method (GF2) is a robust temperature dependent quantum chemistry approach, extending beyond the random-phase approximation. However, till now the scope of GF2 applications was quite limited as they require computer resources which rise steeply with system size. In each step of the self-consistent GF2 calculation there are two parts: the estimation of the self-energy from the previous step's Green's function, and updating the Green's function from the self-energy. The first part formally scales as the fifth power of the system size while the second has a much gentler cubic scaling. Here, we develop a stochastic approach to GF2 (sGF2) which reduces the fifth power scaling of the first step to merely quadratic, leaving the overall sGF2 scaling as cubic. We apply the method to linear hydrogen chains containing up to 1000 electrons, showing that the approach is numerically stable, efficient and accurate. The stochastic errors are very small, of the order of 0.1% or less of the correlation energy for large systems, with only a moderate computational effort. The first iteration of GF2 is an MP2 calculation that is done in linear scaling, hence we obtain an extremely fast stochastic MP2 (sMP2) method as a by-product. While here we consider finite systems with large band gaps where at low temperatures effects are negligible, the sGF2 formalism is temperature dependent and general and can be applied to finite or periodic systems with small gaps at finite temperatures.

categories: physics.chem-ph cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el physics.comp-ph


title: Some applications of Rees products of posets to equivariant gamma-positivity

abstract: The Rees product of partially ordered sets was introduced by Bj\"orner and Welker. Using the theory of lexicographic shellability, Linusson, Shareshian and Wachs proved formulas, of significance in the theory of gamma-positivity, for the dimension of the homology of the Rees product of a graded poset $P$ with a certain $t$-analogue of the chain of the same length as $P$. Equivariant generalizations of these formulas are proven in this paper, when a group of automorphisms acts on $P$, and are applied to establish the Schur gamma-positivity of certain symmetric functions arising in algebraic and geometric combinatorics.


title: Variable Selection for High-dimensional Generalized Linear Models using an Iterated Conditional Modes/Medians Algorithm

abstract: High-dimensional linear and nonlinear models have been extensively used to identify associations between response and explanatory variables. The variable selection problem is commonly of interest in the presence of massive and complex data. An empirical Bayes model for high-dimensional generalized linear models (GLMs) is considered in this paper. The extension of the Iterated Conditional Modes/Medians (ICM/M) algorithm is proposed to build up a GLM. With the construction of pseudodata and pseudovariances based on iteratively reweighted least squares (IRLS), conditional modes are employed to obtain data-drive optimal values for hyperparameters and conditional medians are used to estimate regression coefficients. With a spike-and-slab prior for each coefficient, a conditional median can enforce variable estimation and selection at the same time. The ICM/M algorithm can also incorporate more complicated prior by taking the network structural information into account through the Ising model prior. Here we focus on two extensively used models for genomic data: binary logistic and Cox's proportional hazards models. The performance of the proposed method is demonstrated through both simulation studies and real data examples. The implementation of the ICM/M algorithm for both linear and nonlinear models can be found in the icmm R package which is freely available on CRAN.


title: Assessing the collision nature of coronal mass ejections in the inner heliosphere

abstract: There have been few attempts in the past to understand the collision of individual cases of interacting Coronal Mass Ejections (CMEs). We selected 8 cases of interacting CMEs and estimated their propagation and expansion speeds, direction of impact and masses exploiting coronagraphic and heliospheric imaging observations. Using these estimates with ignoring the errors therein, we find that the nature of collision is perfectly inelastic for 2 cases (e.g., 2012 March and November), inelastic for 2 cases (e.g., 2012 June and 2011 August), elastic for 1 case (e.g., 2013 October) and super-elastic for 3 cases (e.g., 2011 February, 2010 May and 2012 September). Admitting large uncertainties in the estimated directions, angular widths and pre-collision speeds; the probability of perfectly inelastic collision for 2012 March and November cases diverge from 98%-60% and 100%-40%, respectively, reserving some probability for other nature of collision. Similarly, the probability of inelastic collision diverge from 95%-50% for 2012 June case, 85%-50% for 2011 August case, and 75%-15% for 2013 October case. We note that probability of super-elastic collision for 2011 February, 2010 May and 2012 September CMEs diverge from 90%-75%, 60%-45% and 90%-50%, respectively. Although the sample size is small, we find a good dependence of nature of collision on CMEs parameters. The crucial pre-collision parameters of the CMEs responsible for increasing the probability of super-elastic collision, in descending order of priority, are their lower approaching speed, higher expansion speed of the following CME over the preceding one, and longer duration of collision phase.


title: Practical Adversarial Combinatorial Bandit Algorithm via Compression of Decision Sets

abstract: We consider the adversarial combinatorial multi-armed bandit (CMAB) problem, whose decision set can be exponentially large with respect to the number of given arms. To avoid dealing with such large decision sets directly, we propose an algorithm performed on a zero-suppressed binary decision diagram (ZDD), which is a compressed representation of the decision set. The proposed algorithm achieves either $O(T^{2/3})$ regret with high probability or $O(\sqrt{T})$ expected regret as the any-time guarantee, where $T$ is the number of past rounds. Typically, our algorithm works efficiently for CMAB problems defined on networks. Experimental results show that our algorithm is applicable to various large adversarial CMAB instances including adaptive routing problems on real-world networks.


title: Graph-Based Classification of Omnidirectional Images

abstract: Omnidirectional cameras are widely used in such areas as robotics and virtual reality as they provide a wide field of view. Their images are often processed with classical methods, which might unfortunately lead to non-optimal solutions as these methods are designed for planar images that have different geometrical properties than omnidirectional ones. In this paper we study image classification task by taking into account the specific geometry of omnidirectional cameras with graph-based representations. In particular, we extend deep learning architectures to data on graphs; we propose a principled way of graph construction such that convolutional filters respond similarly for the same pattern on different positions of the image regardless of lens distortions. Our experiments show that the proposed method outperforms current techniques for the omnidirectional image classification problem.


title: Hybrid Precoding in Millimeter Wave Systems: How Many Phase Shifters Are Needed?

abstract: Hybrid precoding has been recently proposed as a cost-effective transceiver solution for millimeter wave (mm-wave) systems. The analog component in such precoders, which is composed of a phase shifter network, is the key differentiating element in contrast to conventional fully digital precoders. While a large number of phase shifters with unquantized phases are commonly assumed in existing works, in practice the phase shifters should be discretized with a coarse quantization, and their number should be reduced to a minimum due to cost and power consideration. In this paper, we propose a new hybrid precoder implementation using a small number of phase shifters with quantized and fixed phases, i.e., a fixed phase shifter (FPS) implementation, which significantly reduces the cost and hardware complexity. In addition, a dynamic switch network is proposed to enhance the spectral efficiency. Based on the proposed FPS implementation, an effective alternating minimization (AltMin) algorithm is developed with closed-form solutions in each iteration. Simulation results show that the proposed algorithm with the FPS implementation outperforms existing ones. More importantly, it needs much fewer phase shifters than existing hybrid precoder proposals, e.g., $\sim$10 fixed phase shifters are sufficient for practically relevant system settings.


title: Slotted Rotatable Target Assembly Used In a Search for Possible Long Range Spin Dependent Interactions From Vector Boson Exchange Using Polarized Slow Neutrons

abstract: We discuss the design and construction of a novel target array of nonmagnetic test masses used in a neutron polarimetry measurement made in search for new possible exotic spin dependent neutron-atom interactions of Nature at sub\,-$mm$ length scales. This target was designed to accept and efficiently transmit a transversely polarized slow neutron beam through a series of long open parallel slots bounded by flat rectangular plates. These openings possessed equal atom density gradients across the slots from the flat test masses with dimensions optimized to achieve maximum sensitivity to an exotic spin-dependent interaction from vector boson exchanges with ranges in the millimeter to micron regime. The parallel slots were oriented differently in four quadrants that can be rotated about the neutron beam axis using a Geneva drive. The spin rotation signals from the 4 quadrants were measured using a segmented neutron ion chamber in parallel to suppress possible systematic errors from stray magnetic fields in the target region. Design constraints and systematic effects are discussed.


title: Eckhaus Instability in the Fourier-Domain Mode Locked Fiber Laser Cavity

abstract: High frequency fluctuation in the optical signal generated in Fourier-Domain Mode Locked fiber laser (FDML-FL), which is the major problem and degrades the laser performance, is not yet fully analyzed or studied. The basic theory which is causing this high frequency fluctuation is required to clearly understand its dynamics and to control it for various applications. In this letter, by analyzing the signal and system dynamics of FDML-FL, we theoretically demonstrate that the high frequency fluctuation is induced by the intrinsic instability of frequency offset of the signal in cavity with nonlinear gain and spectral filter. Unlike the instabilities observed in other laser cavities this instability is very unique to FDML-FL as the central frequency of the optical signal continuously shifts away from the center frequency of the filter due to the effects like dispersion and/or nonlinearity. This instability is none other than the Eckhaus instability reported and well studied in fluid dynamics governed by real Ginzburg-Landau equation.


title: On Non-Orthogonal Multiple Access with Finite-Alphabet Inputs in Z-Channels

abstract: This paper focuses on the design of non-orthogonal multiple access (NOMA) in a classical two-transmitter two-receiver Z-channel, wherein one transmitter sends information to its intended receiver from the direct link while the other transmitter sends information to both receivers from the direct and cross links. Unlike most existing designs using (continuous) Gaussian input distribution, we consider the practical finite-alphabet (i.e., discrete) inputs by assuming that the widely-used quadrature amplitude modulation (QAM) constellations are adopted by both transmitters. To balance the error performance of two receivers, we apply the max-min fairness design criterion in this paper. More specifically, we propose to jointly optimize the scaling factors at both transmitters, which control the minimum Euclidean distance of transmitting constellations, to maximize the smaller minimum Euclidean distance of two resulting constellations at the receivers, subject to an individual average power constraint at each transmitter. The formulated problem is a mixed continuous-discrete optimization problem and is thus intractable in general. By resorting to the Farey sequence, we manage to attain the closed-form expression for the optimal solution to the formulated problem. This is achieved by dividing the overall feasible region of the original optimization problem into a finite number of sub-intervals and deriving the optimal solution in each sub-interval. Through carefully observing the structure of the optimal solutions in all sub-intervals, we obtain compact and closed-form expressions for the optimal solutions to the original problem in three possible scenarios defined by the relative strength of the cross link. Simulation studies are provided to validate our analysis and demonstrate the merits of the proposed design over existing orthogonal or non-orthogonal schemes.


title: Heavy molecules and one-$\sigma/\omega$-exchange model

abstract: In the framework of the one-boson-exchange model, we explore whether the intermediate and short-range forces from $\sigma/\omega$-exchange can be strong enough to bind heavy molecular states. $\Lambda_cD(\bar{D})$, and $\Lambda_c\Lambda_c(\bar{\Lambda}_c)$ systems have been studied and compared. We find that the force from $\sigma$-exchange is attractive and dominant, whereas the $\omega$-exchange force not. As a consequence, the S-wave $\Lambda_cD$, $\Lambda_c\Lambda_c$, and $\Lambda_c\bar{\Lambda}_c$ can be possible molecular candidates. We further indicate that one hadron-hadron system with more light quarks $(u,d)$ can be easier to form a bound state. As a byproduct, by studying the heavy-quark mass dependence for the $\Lambda_cD(\bar{D})$-like and $\Lambda_c\Lambda_c(\bar{\Lambda}_c)$-like systems, we find that the charm/bottom sector can easily accommodates molecular states. Finally, the $\Lambda_cN(\bar{N})$ and $\Lambda_bN(\bar{N})$ systems are investigated. Our results indicate that they are also likely to form bound states. By including one-$\pi$-exchange forces providing additional attraction when coupled channels are included, we expect many molecular states in heavy quark sectors.


title: The photon identification loophole in EPRB experiments: computer models with single-wing selection

abstract: Recent Einstein-Podolsky-Rosen-Bohm experiments [M. Giustina et al. Phys. Rev. Lett. 115, 250401 (2015); L. K. Shalm et al. Phys. Rev. Lett. 115, 250402 (2015)] that claim to be loophole free are scrutinized and are shown to suffer a photon identification loophole. The combination of a digital computer and discrete-event simulation is used to construct a minimal but faithful model of the most perfected realization of these laboratory experiments. In contrast to prior simulations, all photon selections are strictly made, as they are in the actual experiments, at the local station and no other "post-selection" is involved. The simulation results demonstrate that a manifestly non-quantum model that identifies photons in the same local manner as in these experiments can produce correlations that are in excellent agreement with those of the quantum theoretical description of the corresponding thought experiment, in conflict with Bell's theorem. The failure of Bell's theorem is possible because of our recognition of the photon identification loophole. Such identification measurement-procedures are necessarily included in all actual experiments but are not included in the theory of Bell and his followers.


title: Tensor Regression Networks

abstract: Convolutional neural networks typically consist of many convolutional layers followed by one or more fully connected layers. While convolutional layers map between high-order activation tensors, the fully connected layers operate on flattened activation vectors. Despite empirical success, this approach has notable drawbacks. Flattening followed by fully connected layers discards multilinear structure in the activations and requires many parameters. We address these problems by incorporating tensor algebraic operations that preserve multilinear structure at every layer. First, we introduce Tensor Contraction Layers (TCLs) that reduce the dimensionality of their input while preserving their multilinear structure using tensor contraction. Next, we introduce Tensor Regression Layers (TRLs), which express outputs through a low-rank multilinear mapping from a high-order activation tensor to an output tensor of arbitrary order. We learn the contraction and regression factors end-to-end, and produce accurate nets with fewer parameters. Additionally, our layers regularize networks by imposing low-rank constraints on the activations (TCL) and regression weights (TRL). Experiments on ImageNet show that, applied to VGG and ResNet architectures, TCLs and TRLs reduce the number of parameters compared to fully connected layers by more than 65% while maintaining or increasing accuracy. In addition to the space savings, our approach's ability to leverage topological structure can be crucial for structured data such as MRI. In particular, we demonstrate significant performance improvements over comparable architectures on three tasks associated with the UK Biobank dataset.


title: Probabilistic Graphical Models for Credibility Analysis in Evolving Online Communities

abstract: One of the major hurdles preventing the full exploitation of information from online communities is the widespread concern regarding the quality and credibility of user-contributed content. Prior works in this domain operate on a static snapshot of the community, making strong assumptions about the structure of the data (e.g., relational tables), or consider only shallow features for text classification. To address the above limitations, we propose probabilistic graphical models that can leverage the joint interplay between multiple factors in online communities --- like user interactions, community dynamics, and textual content --- to automatically assess the credibility of user-contributed online content, and the expertise of users and their evolution with user-interpretable explanation. To this end, we devise new models based on Conditional Random Fields for different settings like incorporating partial expert knowledge for semi-supervised learning, and handling discrete labels as well as numeric ratings for fine-grained analysis. This enables applications such as extracting reliable side-effects of drugs from user-contributed posts in healthforums, and identifying credible content in news communities. Online communities are dynamic, as users join and leave, adapt to evolving trends, and mature over time. To capture this dynamics, we propose generative models based on Hidden Markov Model, Latent Dirichlet Allocation, and Brownian Motion to trace the continuous evolution of user expertise and their language model over time. This allows us to identify expert users and credible content jointly over time, improving state-of-the-art recommender systems by explicitly considering the maturity of users. This also enables applications such as identifying helpful product reviews, and detecting fake and anomalous reviews with limited information.


title: Iterative method for simultaneous sparse approximation

abstract: This paper studies the problem of Simultaneous Sparse Approximation (SSA). This problem arises in many applications which work with multiple signals maintaining some degree of dependency such as radar and sensor networks. In this paper, we introduce a new method towards joint recovery of several independent sparse signals with the same support. We provide an analytical discussion on the convergence of our method called Simultaneous Iterative Method with Adaptive Thresholding (SIMAT). Additionally, we compare our method with other group-sparse reconstruction techniques, i.e., Simultaneous Orthogonal Matching Pursuit (SOMP), and Block Iterative Method with Adaptive Thresholding (BIMAT) through numerical experiments. The simulation results demonstrate that SIMAT outperforms these algorithms in terms of the metrics Signal to Noise Ratio (SNR) and Success Rate (SR). Moreover, SIMAT is considerably less complicated than BIMAT, which makes it feasible for practical applications such as implementation in MIMO radar systems.


title: Finite semisimple group algebra of a normally monomial group

abstract: In this paper, the complete algebraic structure of finite semisimple group algebra of a normally monomial group is described. The main result is illustrated by computing the explicit Wedderburn decomposition of finite semisimple group algebras of various normally monomial groups. The automorphism groups of these group algebras are also determined.


title: Optimal Control with State Constraints for Stochastic Evolution Equation with Jumps in Hilbert Space

abstract: This paper studies a stochastic optimal control problem with state constraint, where the state equation is described by a controlled stochastic evolution equation with jumps in Hilbert Space and the control domain is assumed to be convex. By means of Ekland variational principle, combining the convex variation method and the duality technique, necessary conditions for optimality are derived in the form of stochastic maximum principles.


title: Cascaded Scene Flow Prediction using Semantic Segmentation

abstract: Given two consecutive frames from a pair of stereo cameras, 3D scene flow methods simultaneously estimate the 3D geometry and motion of the observed scene. Many existing approaches use superpixels for regularization, but may predict inconsistent shapes and motions inside rigidly moving objects. We instead assume that scenes consist of foreground objects rigidly moving in front of a static background, and use semantic cues to produce pixel-accurate scene flow estimates. Our cascaded classification framework accurately models 3D scenes by iteratively refining semantic segmentation masks, stereo correspondences, 3D rigid motion estimates, and optical flow fields. We evaluate our method on the challenging KITTI autonomous driving benchmark, and show that accounting for the motion of segmented vehicles leads to state-of-the-art performance.


title: Singularities of Hermitian-Yang-Mills connections and Harder-Narasimhan-Seshadri filtrations

abstract: This is the first of a series of papers where we relate tangent cones of Hermitian-Yang-Mills connections at an isolated singularity to the complex algebraic geometry of the underlying reflexive sheaf, when the sheaf is locally modelled on the pull-back of a holomorphic vector bundle from the projective space. In this paper we shall impose an extra assumption that the graded sheaf determined by the Harder-Narasimhan-Seshadri filtrations of the vector bundle is reflexive. In general we conjecture that the tangent cone is uniquely determined by the double dual of the associated graded object of a Harder-Narasimhan-Seshadri filtration of an algebraic tangent cone, which is a certain torsion-free sheaf on the projective space. In this paper we also prove this conjecture when there is an algebraic tangent cone which is locally free and stable.


title: Four-Loop Non-Singlet Splitting Functions in the Planar Limit and Beyond

abstract: We present the next-to-next-to-next-to-leading order (N^3LO) contributions to the non-singlet splitting functions for both parton distribution and fragmentation functions in perturbative QCD. The exact expressions are derived for the terms contributing in the limit of a large number of colours. For the remaining contributions, approximations are provided that are sufficient for all collider-physics applications. From their threshold limits we derive analytical and high-accuracy numerical results, respectively, for all contributions to the four-loop cusp anomalous dimension for quarks, including the terms proportional to quartic Casimir operators. We briefly illustrate the numerical size of the four-loop corrections, and the remarkable renormalization-scale stability of the N^3LO results, for the evolution of the non-singlet parton distribution and the fragmentation functions. Our results appear to provide a first point of contact of four-loop QCD calculations and the so-called wrapping corrections to anomalous dimensions in N=4 super Yang-Mills theory.


title: Learning Sparse Representations in Reinforcement Learning with Sparse Coding

abstract: A variety of representation learning approaches have been investigated for reinforcement learning; much less attention, however, has been given to investigating the utility of sparse coding. Outside of reinforcement learning, sparse coding representations have been widely used, with non-convex objectives that result in discriminative representations. In this work, we develop a supervised sparse coding objective for policy evaluation. Despite the non-convexity of this objective, we prove that all local minima are global minima, making the approach amenable to simple optimization strategies. We empirically show that it is key to use a supervised objective, rather than the more straightforward unsupervised sparse coding approach. We compare the learned representations to a canonical fixed sparse representation, called tile-coding, demonstrating that the sparse coding representation outperforms a wide variety of tilecoding representations.


title: Very Large Array multi-band monitoring observations of M 31*

abstract: The Andromeda galaxy (M\,31) hosts one of the nearest and most quiescent super-massive black holes, which provides a rare, but promising opportunity for studying the physics of black hole accretion at the lowest state. We have conducted a multi-frequency, multi-epoch observing campaign, using the Karl G. Jansky Very Large Array (VLA) in its extended configurations in 2011-2012, to advance our knowledge of the still poorly known radio properties of M\,31*. For the first time, we detect M\,31* at 10, 15 and 20 GHz, and measure its spectral index, $\alpha \approx -0.45\pm0.08$ (S$_{\nu}$ $\varpropto$ $\nu^{\alpha}$), over the frequency range of 5-20 GHz. The relatively steep spectrum suggests that the observed radio flux is dominated by the optically-thin part of a putative jet, which is located at no more than a few thousand Schwarzschild radii from the black hole. On the other hand, our sensitive radio images show little evidence for an extended component, perhaps except for several parsec-scale "plumes", the nature of which remains unclear. Our data also reveal significant (a few tens of percent) flux variation of M\,31* at 6 GHz, on timescales of hours to days. Furthermore, a curious decrease of the mean flux density, by $\sim$50\%, is found between VLA observations taken during 2002-2005 and our new observations, which might be associated with a substantial increase in the mean X-ray flux of M\,31* starting in 2006.


title: The Kazdan-Warner equation on canonically compactifiable graphs

abstract: We study the Kazdan-Warner equation on canonically compactifiable graphs. These graphs are distinguished as analytic properties of Laplacians on these graphs carry a strong resemblance to Laplacians on open pre-compact manifolds.


title: Fractional derivatives of composite functions and the Cauchy problem for the nonlinear half wave equation

abstract: We show new results of wellposedness for the Cauchy problem for the half wave equation with power-type nonlinear terms. For the purpose, we propose two approaches on the basis of the contraction-mapping argument. One of them relies upon the $L_t^q L_x^\infty$ Strichartz-type estimate together with the chain rule of fairly general fractional orders. This chain rule has a significance of its own. Furthermore, in addition to the weighted fractional chain rule established in Hidano, Jiang, Lee, and Wang (arXiv:1605.06748v1 [math.AP]), the other approach uses weighted space-time $L^2$ estimates for the inhomogeneous equation which are recovered from those for the second-order wave equation. In particular, by the latter approach we settle the problem left open in Bellazzini, Georgiev, and Visciglia (arXiv:1611.04823v1 [math.AP]) concerning the local wellposedness in $H^{s}_{{\rm rad}}({\mathbb R}^n)$ with $s>1/2$.


title: Chiral Spin Order in Kondo-Heisenberg systems

abstract: We demonstrate that Kondo-Heisenberg systems, consisting of itinerant electrons and localized magnetic moments (Kondo impurities), can be used as a principally new platform to realize scalar chiral spin order. The underlying physics is governed by a competition of the Ruderman-Kittel-Kosuya-Yosida (RKKY) indirect exchange interaction between the local moments with the direct Heisenberg one. When the direct exchange is weak and RKKY dominates the isotropic system is in the disordered phase. A moderately large direct exchange leads to an Ising-type phase transition to the phase with chiral spin order. Our finding paves the way towards pioneering experimental realizations of the chiral spin liquid in low dimensional systems with spontaneously broken time reversal symmetry.


title: Props in Network Theory

abstract: Long before the invention of Feynman diagrams, engineers were using similar diagrams to reason about electrical circuits and more general networks containing mechanical, hydraulic, thermodynamic and chemical components. We can formalize this reasoning using props: that is, strict symmetric monoidal categories where the objects are natural numbers, with the tensor product of objects given by addition. In this approach, each kind of network corresponds to a prop, and each network of this kind is a morphism in that prop. A network with $m$ inputs and $n$ outputs is a morphism from $m$ to $n$, putting networks together in series is composition, and setting them side by side is tensoring. Here we work out the details of this approach for various kinds of electrical circuits, starting with circuits made solely of ideal perfectly conductive wires, then circuits with passive linear components, and then circuits that also have voltage and current sources. Each kind of circuit corresponds to a mathematically natural prop. We describe the "behavior" of these circuits using morphisms between props. In particular, we give a new proof of the black-boxing theorem proved by Fong and the first author; unlike the original proof, this new one easily generalizes to circuits with nonlinear components. We also use a morphism of props to clarify the relation between circuit diagrams and the signal-flow diagrams in control theory. Technically, the key tools are the Rosebrugh-Sabadini-Walters result relating circuits to special commutative Frobenius monoids, the monadic adjunction between props and signatures, and a result saying which symmetric monoidal categories are equivalent to props.


title: Discrete Latent Factor Model for Cross-Modal Hashing

abstract: Due to its storage and retrieval efficiency, cross-modal hashing~(CMH) has been widely used for cross-modal similarity search in multimedia applications. According to the training strategy, existing CMH methods can be mainly divided into two categories: relaxation-based continuous methods and discrete methods. In general, the training of relaxation-based continuous methods is faster than discrete methods, but the accuracy of relaxation-based continuous methods is not satisfactory. On the contrary, the accuracy of discrete methods is typically better than relaxation-based continuous methods, but the training of discrete methods is time-consuming. In this paper, we propose a novel CMH method, called discrete latent factor model based cross-modal hashing~(DLFH), for cross modal similarity search. DLFH is a discrete method which can directly learn the binary hash codes for CMH. At the same time, the training of DLFH is efficient. Experiments on real datasets show that DLFH can achieve significantly better accuracy than existing methods, and the training time of DLFH is comparable to that of relaxation-based continuous methods which are much faster than existing discrete methods.


title: Pigmento: Pigment-Based Image Analysis and Editing

abstract: The colorful appearance of a physical painting is determined by the distribution of paint pigments across the canvas, which we model as a per-pixel mixture of a small number of pigments with multispectral absorption and scattering coefficients. We present an algorithm to efficiently recover this structure from an RGB image, yielding a plausible set of pigments and a low RGB reconstruction error. We show that under certain circumstances we are able to recover pigments that are close to ground truth, while in all cases our results are always plausible. Using our decomposition, we repose standard digital image editing operations as operations in pigment space rather than RGB, with interestingly novel results. We demonstrate tonal adjustments, selection masking, cut-copy-paste, recoloring, palette summarization, and edge enhancement.


title: Ab initio Study of Nonlinear Optical Susceptibilities in Silicon Nanowires

abstract: Using Time Independent Density Functional Theory (TIDFT) it is shown that the 2nd order optical susceptibilities of narrow (1nm-2nm) Silicon Nanowires (SiNW) are enhanced due to surface termination. The value of $\chi^{(2)}$ is enhanced up to 200 pm/V which is promising a strong Second Harmonic Generation (SHG) in SiNWs. For [100], [110] and [111] SiNWs, yxx component of $\chi^{(2)}$ tensor is 81, 225 and 81 pm/V, respectively. These are in close agreement with $\chi^{(2)}$ values reported for strained silicon waveguides in experiments. The 3rd order susceptibility, $\chi^{(3)}$, is within the range of (0.1-12)x$10^{-18} \frac{m^{2}}{V^{2}}$ which is close to the experimental values of bulk silicon (0.1-0.2)x$10^{-18} \frac{m^{2}}{V^{2}}$ for [110] and [100] SiNWs and it is 100 times better for [111] SiNW. This study suggests possibilities of enhancing SHG in SiNWs through symmetry breaking via strain and surface termination/reconstruction as well as suitability of this DFT-based method in predicting nonlinear optical susceptibilities of nano structures.


title: Asymmetric Deep Supervised Hashing

abstract: Hashing has been widely used for large-scale approximate nearest neighbor search because of its storage and search efficiency. Recent work has found that deep supervised hashing can significantly outperform non-deep supervised hashing in many applications. However, most existing deep supervised hashing methods adopt a symmetric strategy to learn one deep hash function for both query points and database (retrieval) points. The training of these symmetric deep supervised hashing methods is typically time-consuming, which makes them hard to effectively utilize the supervised information for cases with large-scale database. In this paper, we propose a novel deep supervised hashing method, called asymmetric deep supervised hashing (ADSH), for large-scale nearest neighbor search. ADSH treats the query points and database points in an asymmetric way. More specifically, ADSH learns a deep hash function only for query points, while the hash codes for database points are directly learned. The training of ADSH is much more efficient than that of traditional symmetric deep supervised hashing methods. Experiments show that ADSH can achieve state-of-the-art performance in real applications.


title: Integrating car path optimization with train formation plan: a non-linear binary programming model and simulated annealing based heuristics

abstract: An essential issue that a freight transportation system faced is how to deliver shipments (OD pairs) on a capacitated physical network optimally; that is, to determine the best physical path for each OD pair and assign each OD pair into the most reasonable freight train service sequence. Instead of pre-specifying or pre-solving the railcar routing beforehand and optimizing the train formation plan subsequently, which is a standard practice in China railway system and a widely used method in existing literature to reduce the problem complexity, this paper proposes a non-linear binary programming model to address the integrated railcar itinerary and train formation plan optimization problem. The model comprehensively considers various operational requirements and a set of capacity constraints, including link capacity, yard reclassification capacity and the maximal number of blocks a yard can be formed, while trying to minimize the total costs of accumulation, reclassification and transportation. An efficient simulated annealing based heuristic solution approach is developed to solve the mathematical model. To tackle the difficult capacity constraints, we use a penalty function method. Furthermore, a customized heuristics for satisfying the operational requirements is designed as well.


title: Evidence of a critical phase transition in a purely temporal dynamics with long-delayed feedback

abstract: Experimental evidence of an absorbing phase transition, so far associated with spatio-temporal dynamics is provided in a purely temporal optical system. A bistable semiconductor laser, with long-delayed opto-electronic feedback and multiplicative noise shows the peculiar features of a critical phenomenon belonging to the directed percolation universality class. The numerical study of a simple, effective model provides accurate estimates of the transition critical exponents, in agreement with both theory and our experiment. This result pushes forward an hard equivalence of non-trivial stochastic, long-delayed systems with spatio-temporal ones and opens a new avenue for studying out-of-equilibrium universality classes in purely temporal dynamics.


title: Near-UV transit photometry of HAT-P-32 b with the LBT: Silicate aerosols in the planetary atmosphere

abstract: Broad-band exoplanet transit photometry can characterize the planetary atmosphere when observed at multiple selected filters. This observing technique can reveal gradients in the spectra of extrasolar planets, for example the slope of decreasing opacity from short to long optical wavelengths caused by aerosol scattering. In this work we observed a transit of the hot Jupiter HAT-P-32 b in the shortest wavelength possible from the ground using the Large Binocular Telescope (LBT). The data comprise the best-quality ground-based U-band taken so far of an exoplanet transit. Compared to broad-band observations of intermediate and long optical wavelength published previously, a clear scattering slope in the planetary transmission spectrum is revealed. Most likely, the scattering particles are magnesium silicate aerosols larger than 0.1 micrometer. We define a spectral index to compare this scattering feature of HAT-P-32 b to published results of other exoplanets. It turns out to be very typical in amplitude within the comparison sample. Furthermore, we searched for correlation in this sample of the spectral index with planetary equilibrium temperature, surface acceleration and stellar activity indicator, but could not reveal any.


title: Uniformly bounded representations and completely bounded multipliers of SL(2,R)

abstract: We estimate the norms of many matrix coefficients of irreducible uniformly bounded representations of SL(2, R) as completely bounded multipliers of the Fourier algebra. Our results suggest that the known inequality relating the uniformly bounded norm of a representation and the completely bounded norm of its coefficients may not be optimal.


title: On some algebras associated to genus one curves

abstract: Haile, Han and Kuo have studied certain non-commutative algebras associated to a binary quartic or ternary cubic form. We extend their construction to pairs of quadratic forms in four variables, and conjecture a further generalisation to genus one curves of arbitrary degree. These constructions give an explicit realisation of an isomorphism relating the Weil-Chatelet and Brauer groups of an elliptic curve.


title: Engineering Frequency-dependent Superfluidity in Bose-Fermi Mixtures

abstract: Unconventional superconductivity or superfluidity are among the most exciting and fascinating quantum states in condensed matter physics. Usually these states are characterized by non-trivial spatial symmetry of the pairing order parameter, such as in $^{3}He$ and high-$T_{c}$ cuprates. Besides spatial dependence the order parameter could have unconventional frequency dependence, which is also allowed by Fermi-Dirac statistics. For instance, odd-frequency pairing is an exciting paradigm when discussing exotic superfluidity or superconductivity and is yet to be realized in the experiments. In this paper we propose a symmetry-based method of controlling frequency dependence of the pairing order parameter via manipulating the inversion symmetry of the system. First, a toy model is introduced to illustrate that frequency dependence of the order parameter can be adjusted by controlling the inversion symmetry of the system. Second, taking advantage of the recent rapid developments of shaken optical lattices in ultracold gases, we propose a Bose-Fermi mixture to realize such frequency dependent superfluids. The key idea is introducing the frequency-dependent attraction between Fermions mediated by Bogoliubov phonons with asymmetric dispersion. Our proposal should pave an alternative way for exploring frequency-dependent superconductors or superfluids with cold atoms.


title: Dynamics of Deformable Active Particles under External Flow Field

abstract: In most practical situations, active particles are affected by their environment, for example, by a chemical concentration gradient, light intensity, gravity, or confinement. In particular, the effect of an external flow field is important for particles swimming in a solvent fluid. For deformable active particles such as self-propelled liquid droplets and active vesicles, as well as microorganisms such as euglenas and neutrophils, a general description has been developed by focusing on shape deformation. In this review, we present our recent studies concerning the dynamics of a single active deformable particle under an external flow field. First, a set of model equations of active deformable particles including the effect of a general external flow is introduced. Then, the dynamics under two specific flow profiles is discussed: a linear shear flow, as the simplest example, and a swirl flow. In the latter case, the scattering dynamics of the active deformable particles by the swirl flow is also considered.


title: Realistic theory of electronic correlations in nanoscopic systems

abstract: Nanostructures with open shell transition metal or molecular constituents host often strong electronic correlations and are highly sensitive to atomistic material details. This tutorial review discusses method developments and applications of theoretical approaches for the realistic description of the electronic and magnetic properties of nanostructures with correlated electrons. First, the implementation of a flexible interface between density functional theory and a variant of dynamical mean field theory (DMFT) highly suitable for the simulation of complex correlated structures is explained and illustrated. On the DMFT side, this interface is largely based on recent developments of quantum Monte Carlo and exact diagonalization techniques allowing for efficient descriptions of general four fermion Coulomb interactions, reduced symmetries and spin-orbit coupling, which are explained here. With the examples of the Cr (001) surfaces, magnetic adatoms, and molecular systems it is shown how the interplay of Hubbard U and Hund's J determines charge and spin fluctuations and how these interactions drive different sorts of correlation effects in nanosystems. Non-local interactions and correlations present a particular challenge for the theory of low dimensional systems. We present our method developments addressing these two challenges, i.e., advancements of the dynamical vertex approximation and a combination of the constrained random phase approximation with continuum medium theories. We demonstrate how non-local interaction and correlation phenomena are controlled not only by dimensionality but also by coupling to the environment which is typically important for determining the physics of nanosystems.


title: Asymptotic forecast uncertainty and the unstable subspace in the presence of additive model error

abstract: It is well understood that dynamic instability is among the primary drivers of forecast uncertainty in chaotic, physical systems. Data assimilation techniques have been designed to exploit this phenomena, reducing the effective dimension of the data assimilation problem to the directions of rapidly growing errors. Recent mathematical work has, moreover, provided formal proofs of the central hypothesis of the Assimilation in the Unstable Subspace methodology of Anna Trevisan and her collaborators: for filters and smoothers in perfect, linear, Gaussian models, the distribution of forecast errors asymptotically conforms to the unstable-neutral subspace. Specifically, the column span of the forecast and posterior error covariances asymptotically align with the span of backward Lyapunov vectors with non-negative exponents. Earlier mathematical studies have focused on perfect models, and this current work now explores the relationship between dynamical instability, the precision of observations and the evolution of forecast error in linear models with additive model error. We prove bounds for the asymptotic uncertainty, explicitly relating the rate of dynamical expansion, model precision and observational accuracy. Formalizing this relationship, we provide a novel, necessary criterion for the boundedness of forecast errors. Furthermore, we numerically explore the relationship between observational design, dynamical instability and filter boundedness. Additionally, we include a detailed introduction to the Multiplicative Ergodic Theorem and to the theory and construction of Lyapunov vectors.


title: Long-range effect of a Zeeman field on the electric current through the helical metal-superconductor interface in Andreev interferometer

abstract: It is shown that the spin-orbit and Zeeman interactions result in phase shifts of Andreev-reflected holes in disordered topological insulator, or normal Rashba spin-orbit-coupled wires, which are in a contact with an s-wave superconductor. Due to interference of the holes reflected through different paths in Andreev interferometer the electric current through the contact varies depending on the strength and direction of the Zeeman field. It also depends on mutual orientations of Zeeman fields in different shoulders of the interferometer. Such a nonlocal effect is a result of the long-range coherency caused by the superconducting proximity effect. This current has been calculated within the semiclassical theory for Green functions of a dirty system.


title: Directed, cylindric and radial Brownian webs

abstract: The Brownian web (BW) is a collection of coalescing Brownian paths indexed by the plane. It appears in particular as continuous limit of various discrete models of directed forests of coalescing random walks and navigation schemes. Radial counterparts have been considered but global invariance principles are hard to establish. In this paper, we consider cylindrical forests which in some sense interpolate between the directed and radial forests: we keep the topology of the plane while still taking into account the angular component. We define in this way the cylindric Brownian web (CBW), which is locally similar to the planar BW but has several important macroscopic differences. For example, in the CBW, the coalescence time between two paths admits exponential moments and the CBW as its dual contain each a.s. a unique bi-infinite path. This pair of bi-infinite paths is distributed as a pair of reflected Brownian motions on the cylinder. Projecting the CBW on the radial plane, we obtain a radial Brownian web (RBW), i.e. a family of coalescing paths where under a natural parametrization, the angular coordinate of a trajectory is a Brownian motion. Recasting some of the discrete radial forests of the literature on the cylinder, we propose rescalings of these forests that converge to the CBW, and deduce the global convergence of the corresponding rescaled radial forests to the RBW. In particular, a modification of the radial model proposed in Coletti and Valencia is shown to converge to the CBW.


title: Correlations between synapses in pairs of neurons slow down dynamics in randomly connected neural networks

abstract: Networks of randomly connected neurons are among the most popular models in theoretical neuroscience. The connectivity between neurons in the cortex is however not fully random, the simplest and most prominent deviation from randomness found in experimental data being the overrepresentation of bidirectional connections among pyramidal cells. Using numerical and analytical methods, we investigated the effects of partially symmetric connectivity on dynamics in networks of rate units. We considered the two dynamical regimes exhibited by random neural networks: the weak-coupling regime, where the firing activity decays to a single fixed point unless the network is stimulated, and the strong-coupling or chaotic regime, characterized by internally generated fluctuating firing rates. In the weak-coupling regime, we computed analytically for an arbitrary degree of symmetry the auto-correlation of network activity in presence of external noise. In the chaotic regime, we performed simulations to determine the timescale of the intrinsic fluctuations. In both cases, symmetry increases the characteristic asymptotic decay time of the autocorrelation function and therefore slows down the dynamics in the network.


title: On permutation-invariance of limit theorems

abstract: By a classical principle of probability theory, sufficiently thin subsequences of general sequences of random variables behave like i.i.d.\ sequences. This observation not only explains the remarkable properties of lacunary trigonometric series, but also provides a powerful tool in many areas of analysis, such the theory of orthogonal series and Banach space theory. In contrast to i.i.d.\ sequences, however, the probabilistic structure of lacunary sequences is not permutation-invariant and the analytic properties of such sequences can change after rearrangement. In a previous paper we showed that permutation-invariance of subsequences of the trigonometric system and related function systems is connected with Diophantine properties of the index sequence. In this paper we will study permutation-invariance of subsequences of general r.v.\ sequences.


title: Prior specification for binary Markov mesh models

abstract: We propose prior distributions for all parts of the specification of a Markov mesh model. In the formulation we define priors for the sequential neighborhood, for the parametric form of the conditional distributions and for the parameter values. By simulating from the resulting posterior distribution when conditioning on an observed scene, we thereby obtain an automatic model selection procedure for Markov mesh models. To sample from such a posterior distribution, we construct a reversible jump Markov chain Monte Carlo algorithm (RJMCMC). We demonstrate the usefulness of our prior formulation and the limitations of our RJMCMC algorithm in two examples.


title: Structure-Preserving Image Super-resolution via Contextualized Multi-task Learning

abstract: Single image super resolution (SR), which refers to reconstruct a higher-resolution (HR) image from the observed low-resolution (LR) image, has received substantial attention due to its tremendous application potentials. Despite the breakthroughs of recently proposed SR methods using convolutional neural networks (CNNs), their generated results usually lack of preserving structural (high-frequency) details. In this paper, regarding global boundary context and residual context as complimentary information for enhancing structural details in image restoration, we develop a contextualized multi-task learning framework to address the SR problem. Specifically, our method first extracts convolutional features from the input LR image and applies one deconvolutional module to interpolate the LR feature maps in a content-adaptive way. Then, the resulting feature maps are fed into two branched sub-networks. During the neural network training, one sub-network outputs salient image boundaries and the HR image, and the other sub-network outputs the local residual map, i.e., the residual difference between the generated HR image and ground-truth image. On several standard benchmarks (i.e., Set5, Set14 and BSD200), our extensive evaluations demonstrate the effectiveness of our SR method on achieving both higher restoration quality and computational efficiency compared with several state-of-the-art SR approaches. The source code and some SR results can be found at: http://hcp.sysu.edu.cn/structure-preserving-image-super-resolution/


title: An Activity-Based Quality Model for Maintainability

abstract: Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for assessing and improving the maintainability of software systems. Quality models have been proposed to solve this problem. Nevertheless, existing approaches do not explicitly take into account the maintenance activities, that largely determine the software maintenance effort. This paper proposes a 2-dimensional model of maintainability that explicitly associates system properties with the activities carried out during maintenance. The separation of activities and properties facilitates the identification of sound quality criteria and allows to reason about their interdependencies. This transforms the quality model into a structured and comprehensive quality knowledge base that is usable in industrial project environments. For example, review guidelines can be generated from it. The model is based on an explicit quality metamodel that supports its systematic construction and fosters preciseness as well as completeness. An industrial case study demonstrates the applicability of the model for the evaluation of the maintainability of Matlab Simulink models that are frequently used in model-based development of embedded systems.


title: Declarative Sequential Pattern Mining of Care Pathways

abstract: Sequential pattern mining algorithms are widely used to explore care pathways database, but they generate a deluge of patterns, mostly redundant or useless. Clinicians need tools to express complex mining queries in order to generate less but more significant patterns. These algorithms are not versatile enough to answer complex clinician queries. This article proposes to apply a declarative pattern mining approach based on Answer Set Programming paradigm. It is exemplified by a pharmaco-epidemiological study investigating the possible association between hospitalization for seizure and antiepileptic drug switch from a french medico-administrative database.


title: Dynamics beyond dynamic jam; unfolding the Painlev\'e paradox singularity

abstract: This paper analyses in detail the dynamics in a neighbourhood of a G\'enot-Brogliato point, colloquially termed the G-spot, which physically represents so-called dynamic jam in rigid body mechanics with unilateral contact and Coulomb friction. Such singular points arise in planar rigid body problems with slipping point contacts at the intersection between the conditions for onset of lift-off and for the Painlev\'e paradox. The G-spot can be approached in finite time by an open set of initial conditions in a general class of problems. The key question addressed is what happens next. In principle trajectories could, at least instantaneously, lift off, continue in slip, or undergo a so-called impact without collision. Such impacts are non-local in momentum space and depend on properties evaluated away from the G-spot. The results are illustrated on a particular physical example, namely the a frictional impact oscillator first studied by Leine et al. The answer is obtained via an analysis that involves a consistent contact regularisation with a stiffness proportional to $1/\varepsilon^2$. Taking a singular limit as $\varepsilon \to 0$, one finds an inner and an outer asymptotic zone in the neighbourhood of the G-spot. Two distinct cases are found according to whether the contact force becomes infinite or remains finite as the G-spot is approached. In the former case it is argued that there can be no such canards and so an impact without collision must occur. In the latter case, the canard trajectory acts as a dividing surface between trajectories that momentarily lift off and those that do not before taking the impact. The orientation of the initial condition set leading to each eventuality is shown to change each time a certain positive parameter $\beta$ passes through an integer.


title: The evolution of Galactic planetary nebula progenitors through the comparison of their nebular abundances with AGB yields

abstract: We study the chemical abundances of a wide sample of 142 Galactic planetary nebulae (PNe) with good quality observations, for which the abundances have been derived more or less homogeneously, thus allowing a reasonable comparison with stellar models. The goal is the determination of mass, chemical composition and formation epoch of their progenitors, through comparison of the data with results from AGB evolution. The dust properties of PNe, when available, were also used to further support our interpretation. We find that the majority ($\sim60\%$) of the Galactic PNe studied has nearly solar chemical composition, while $\sim40\%$ of the sources investigated have sub-solar metallicities. About half of the PNe have carbon star progenitors, in the $1.5~M_{\odot} < M < 3~M_{\odot}$ mass range, which have formed between 300 Myr and 2 Gyr ago. The remaining PNe are almost equally distributed among PNe enriched in nitrogen, which we interpret as the progeny of $M > 3.5~M_{\odot}$ stars, younger than 250 Myr, and a group of oxygen-rich PNe, descending from old ($> 2$ Gyr) low-mass ($M < 1.5~M_{\odot}$) stars that never became C-stars. This analysis confirms the existence of an upper limit to the amount of carbon which can be accumulated at the surface of carbon stars, probably due to the acceleration of mass loss in the late AGB phases. The chemical composition of the present sample suggests that in massive AGB stars of solar (or slightly sub-solar) metallicity, the effects of third dredge up combine with hot bottom burning, resulting in nitrogen-rich - but not severely carbon depleted - gaseous material to be ejected.


title: Fully Finite Element Adaptive Algebraic Multigrid Method for Time-Space Caputo-Riesz Fractional Diffusion Equations

abstract: The paper aims to establish a fully discrete finite element (FE) scheme and provide cost-effective solutions for one-dimensional time-space Caputo-Riesz fractional diffusion equations on a bounded domain $\Omega$. Firstly, we construct a fully discrete scheme of the linear FE method in both temporal and spatial directions, derive many characterizations on the coefficient matrix and numerically verify that the fully FE approximation possesses the saturation error order under $L^2(\Omega)$ norm. Secondly, we theoretically prove the estimation $1+\mathcal{O}(\tau^\alpha h^{-2\beta})$ on the condition number of the coefficient matrix, in which $\tau$ and $h$ respectively denote time and space step sizes. Finally, on the grounds of the estimation and fast Fourier transform, we develop and analyze an adaptive algebraic multigrid (AMG) method with low algorithmic complexity, reveal a reference formula to measure the strength-of-connection tolerance which severely affect the robustness of AMG methods in handling fractional diffusion equations, and illustrate the well robustness and high efficiency of the proposed algorithm compared with the classical AMG, conjugate gradient and Jacobi iterative methods.


title: Remarks on Artin approximation with constraints

abstract: We study various approximation results of solutions of equations $f(x,Y)=0$ where $f(x,Y)\in\mathbb K[[x]][Y]^r$ and $x$ and $Y$ are two sets of variables, and where some components of the solutions $y(x)\in\mathbb K[[x]]^m$ do not depend on all the variables $x_j$. These problems have been highlighted by M. Artin.


title: RankIQA: Learning from Rankings for No-reference Image Quality Assessment

abstract: We propose a no-reference image quality assessment (NR-IQA) approach that learns from rankings (RankIQA). To address the problem of limited IQA dataset size, we train a Siamese Network to rank images in terms of image quality by using synthetically generated distortions for which relative image quality is known. These ranked image sets can be automatically generated without laborious human labeling. We then use fine-tuning to transfer the knowledge represented in the trained Siamese Network to a traditional CNN that estimates absolute image quality from single images. We demonstrate how our approach can be made significantly more efficient than traditional Siamese Networks by forward propagating a batch of images through a single network and backpropagating gradients derived from all pairs of images in the batch. Experiments on the TID2013 benchmark show that we improve the state-of-the-art by over 5%. Furthermore, on the LIVE benchmark we show that our approach is superior to existing NR-IQA techniques and that we even outperform the state-of-the-art in full-reference IQA (FR-IQA) methods without having to resort to high-quality reference images to infer IQA.


title: Graphs encoding the generating properties of a finite group

abstract: Assume that $G$ is a finite group. For every $a, b \in\mathbb N,$ we define a graph $\Gamma_{a,b}(G)$ whose vertices correspond to the elements of $G^a\cup G^b$ and in which two tuples $(x_1,\dots,x_a)$ and $(y_1,\dots,y_b)$ are adjacent if and only if $\langle x_1,\dots,x_a,y_1,\dots,y_b \rangle =G.$ We study several properties of these graphs (isolated vertices, loops, connectivity, diameter of the connected components) and we investigate the relations between their properties and the group structure, with the aim of understanding which information about $G$ are encoded by these graphs.


title: Can string kernels pass the test of time in Native Language Identification?

abstract: We describe a machine learning approach for the 2017 shared task on Native Language Identification (NLI). The proposed approach combines several kernels using multiple kernel learning. While most of our kernels are based on character p-grams (also known as n-grams) extracted from essays or speech transcripts, we also use a kernel based on i-vectors, a low-dimensional representation of audio recordings, provided by the shared task organizers. For the learning stage, we choose Kernel Discriminant Analysis (KDA) over Kernel Ridge Regression (KRR), because the former classifier obtains better results than the latter one on the development set. In our previous work, we have used a similar machine learning approach to achieve state-of-the-art NLI results. The goal of this paper is to demonstrate that our shallow and simple approach based on string kernels (with minor improvements) can pass the test of time and reach state-of-the-art performance in the 2017 NLI shared task, despite the recent advances in natural language processing. We participated in all three tracks, in which the competitors were allowed to use only the essays (essay track), only the speech transcripts (speech track), or both (fusion track). Using only the data provided by the organizers for training our models, we have reached a macro F1 score of 86.95% in the closed essay track, a macro F1 score of 87.55% in the closed speech track, and a macro F1 score of 93.19% in the closed fusion track. With these scores, our team (UnibucKernel) ranked in the first group of teams in all three tracks, while attaining the best scores in the speech and the fusion tracks.