title: Kelvin transformation and inverse multipoles in electrostatics

abstract: The inversion in the sphere or Kelvin transformation, which exchanges the radial coordinate for its inverse, is used as a guide to relate distinct electrostatic problems with dual features. The exact solution of some nontrivial problems are obtained through the mapping from simple highly symmetric systems. In particular, the concept of multipole expansion is revisited from a point of view opposed to the usual one: the sources are distributed in a region far from the origin while the electrostatic potential is described at points close to it.


title: Extern Objects in P4: an ROHC Header Compression Scheme Case Study

abstract: P4 is an emergent packet-processing language with which the user can describe how the packets are to be processed in a switching element. This paper presents a way to implement complex operations that are not natively supported in P4. In this work, we explored two different methods to add extensions to P4: i) using new native primitives and ii) using extern instances. As a case study, an ROHC entity was implemented and invoked in a P4 program. The tests showed similar relative performance in both methods in terms of normalized packet latency. However, extern instances appear to be more suitable for target-specific switching applications, where the manufacturer/vendor can specify its own specific operations without changes in the P4 syntax and semantics. Extern instances only require changes in the target-specific backend compiler while keeping the P4 frontend compiler unchanged. The use of externs also results in a more elegant code solution since they are implemented outside the switch-core, thus reducing side effects risks that can be caused by a modification in a switch pipeline implementation.


title: Parallelepipeds obtaining HBL lower bounds

abstract: This work studies the application of the discrete Holder-Brascamp-Lieb (HBL) inequalities to the design of communication optimal algorithms. In particular, it describes optimal tiling (blocking) strategies for nested loops that lack data dependencies and exhibit linear memory access patterns. We attain known lower bounds for communication costs by unraveling the relationship between the HBL linear program, its dual, and tile selection. The methods used are constructive and algorithmic. The case when all arrays have one index is explored in depth, as a useful example in which a particularly efficient tiling can be determined.


title: On Rational Knots and Links in the Solid Torus

abstract: We introduce the notion of rational links in the solid torus. We show that rational links in the solid torus are fully characterized by rational tangles, and hence by the continued fraction of the rational tangle. Furthermore, we generalize this by giving an infinite family of ambient isotopy invariants of colored diagrams in the Kauffman bracket skein module of an oriented surface.


title: Greatly enhanced intensity-difference squeezing for narrow-band quantum metrology applications

abstract: Narrow-band intensity-difference squeezing beams have important applications in quantum metrology and gravitational wave detection. The best way to generate narrow-band intensity-difference squeezing is to employ parametrically-amplified four-wave mixing process in high-gain atomic media. Such IDS can be further enhanced by cascading multiple parametrically-amplified four-wave mixing processes in separate atomic media. The complicated experimental setup, added losses and required high-power pump laser with the increase of number of stages can limit the wide uses of such scheme in practical applications. Here, we show that by modulating the internal energy level(s) with additional laser(s), the degree of original intensity-difference squeezing can be substantially increased. With an initial intensity-difference squeezing of $-8.5\pm0.4$ dB using parametrically-amplified-non-degenerate four-wave mixing process in a three-level $\Lambda$-type configuration, the degree of intensity-difference squeezing can be enhanced to $-11.9\pm0.4$ dB/$-13.9\pm0.4$ dB (corrected for losses) when we use one/two laser beam(s) to modulate the involved ground/excited state(s). More importantly, a maximal noise reduction of $-9.7\pm0.4$ dB (only corrected for electronic noise) is observed below the standard quantum limit, which is the strongest reported to date in phase insensitive amplification in four-wave mixing. Applying the model to quantum metrology, the signal-to-noise ratio is improved by 23 dB compared to the conventional Mach-Zehnder interferometer under the same phase-sensing intensity, which is a 14-fold enhancement in rms phase measurement sensitivity beyond the shot noise limit. Our results show a low-loss, robust and efficient way to produce high degree of IDS and facilitate its potential applications.


title: Minimal Problems for the Calibrated Trifocal Variety

abstract: We determine the algebraic degree of minimal problems for the calibrated trifocal variety in computer vision. We rely on numerical algebraic geometry and the homotopy continuation software Bertini.


title: Interval projections of self-similar sets

abstract: We show that if $K$ is a self-similar $1$-set that is not contained in a line and either satisfies the strong separation condition or is defined via homotheties then there are at most finitely many lines through the origin such that the projection of $K$ onto them is an interval.


title: On the condition number theory of the equality constrained indefinite least squares problem

abstract: In this paper, within a unified framework of the condition number theory we present the explicit expression of the projected condition number of the equality constrained indefinite least squares problem. By setting specific norms and parameters, some widely used condition numbers, like the normwise, mixed and componentwise condition numbers follow as its special cases. Considering practical applications and computation, some new compact forms or upper bounds of the projected condition numbers are given to improve the computational efficiency. The new compact forms are of particular interest in calculating the exact value of the 2-norm projected condition numbers. When the equality constrained indefinite least squares problem degenerates into some specific least squares problems, our results give some new findings on the condition number theory of these specific least squares problems. Numerical experiments are given to illustrate our theoretical results.


title: Analysis of a Design Pattern for Teaching with Features and Labels

abstract: We study the task of teaching a machine to classify objects using features and labels. We introduce the Error-Driven-Featuring design pattern for teaching using features and labels in which a teacher prefers to introduce features only if they are needed. We analyze the potential risks and benefits of this teaching pattern through the use of teaching protocols, illustrative examples, and by providing bounds on the effort required for an optimal machine teacher using a linear learning algorithm, the most commonly used type of learners in interactive machine learning systems. Our analysis provides a deeper understanding of potential trade-offs of using different learning algorithms and between the effort required for featuring (creating new features) and labeling (providing labels for objects).


title: Holographic QCD for H-dibaryon (uuddss)

abstract: The H-dibaryon (uuddss) is studied in holographic QCD for the first time. In holographic QCD, four-dimensional QCD, i.e., SU($N_c$) gauge theory with chiral quarks, can be formulated with $S^1$-compactified D4/D8/$\overline{\rm D8}$-brane system. In holographic QCD with large $N_c$, all the baryons appear as topological chiral solitons of Nambu-Goldstone bosons and (axial) vector mesons, and the H-dibaryon can be described as an SO(3)-type topological soliton with $B=2$. We derive the low-energy effective theory to describe the H-dibaryon in holographic QCD. The H-dibaryon mass is found to be twice of the $B=1$ hedgehog-baryon mass, $M_{\rm H} \simeq 2.00 M_{B=1}^{\rm HH}$, and is estimated about 1.7GeV, which is smaller than mass of two nucleons (flavor-octet baryons), in the chiral limit.


title: Symmetric Morse potential is exactly solvable

abstract: Morse potential $V_M(x)= g^2\exp (2x)-g(2h+1)\exp(x)$ is defined on the full line, $-\infty<x<\infty$ and it defines an exactly solvable 1-d quantum mechanical system with finitely many discrete eigenstates. By taking its right half $0\le x<\infty$ and glueing it with the left half of its mirror image $V_M(-x)$, $-\infty<x\le0$, the symmetric Morse potential $V(x)= g^2\exp (2|x|)-g(2h+1)\exp(|x|)$ is obtained. The quantum mechanical system of this piecewise analytic potential has infinitely many discrete eigenstates with the corresponding eigenfunctions given by the Whittaker W function. The eigenvalues are the square of the zeros of the Whittaker function $W_{k,\nu}(x)$ and its linear combination with $W'_{k,\nu}(x)$ as a function of $\nu$ with fixed $k$ and $x$. This quantum mechanical system seems to offer an interesting example for discussing the Hilbert-P\'olya conjecture on the pure imaginary zeros of Riemann zeta function on Re$(s)=\tfrac12$.

categories: math-ph hep-th math.CA math.MP nlin.SI quant-ph


title: Lossy DC Power Flow

abstract: The DC Power Flow approximation has been widely used for decades in both industry and academia due to its computational speed and simplicity, but suffers from inaccuracy, in part due to the assumption of a lossless network. Here we present a natural extension of the DC Power Flow to lossy networks. Our approach is based on reformulating the lossy active power flow equations into a novel fixed-point equation, and iterating this fixed-point mapping to generate a sequence of improving estimates for the active power flow solution. Each iteration requires the solution of a standard DC Power Flow problem with a modified vector of power injections. The first iteration returns the standard DC Power Flow, and one or two additional iterations yields a one or two order-of-magnitude improvement in accuracy. For radial networks, we give explicit conditions on the power flow data which guarantee (i) that the active power flow equations possess a unique solution, and (ii) that our iteration converges exponentially and monotonically to this solution. For meshed networks, we extensively test our results via standard power flow cases.


title: On extremal multiplicative Zagreb indices of trees with given domination number

abstract: For a graph $G$, the first multiplicative Zagreb index $\prod_1$ is equal to the product of squares of the vertex degrees, and the second multiplicative Zagreb index $\prod_2$ is equal to the product of the products of degrees of pairs of adjacent vertices. The (mutiplicative) Zagreb indices have been the focus of considerable research in computational chemistry dating back to Gutman and Trinajsti\'c in 1972. In this paper, we explore the mutiplicative Zagreb indices in terms of arbitrary domination number. The sharp upper and lower bounds of $\prod_1(G)$ and $\prod_2(G)$ are given. In addition, the corresponding extreme graphs are charaterized.


title: A Characterization of Prediction Errors

abstract: Understanding prediction errors and determining how to fix them is critical to building effective predictive systems. In this paper, we delineate four types of prediction errors and demonstrate that these four types characterize all prediction errors. In addition, we describe potential remedies and tools that can be used to reduce the uncertainty when trying to determine the source of a prediction error and when trying to take action to remove a prediction errors.


title: Galois and Cartan Cohomology of Real Groups

abstract: Real forms of a complex reductive group are classified by Galois cohomology H^1(Gamma,G_ad) where G_ad is the adjoint group. Cartan's classification of real forms in terms of maximal compact subgroups can be stated in terms of H^(Z/2Z,G_ad) where the action is by a (holomorphic) Cartan involution. The main result is that for any complex reductive group, possibly disconnected, there is a canonical isomorphism between H^1(Gamma,G) and H^1(Z/2Z,G). As applications we give short proofs of some well known results, including the Sekiguchi correspondence, Matsuki duality, results on Cartan subgroups, the rational Weyl group, and strong real forms. We also compute H^1(Gamma,G) for all simple, simply connected real groups.


title: Photonic ferromagnetic-like spontaneous mode-locking phase transition with replica symmetry breaking in multimode Nd:YAG laser

abstract: The recent reports of the replica symmetry breaking (RSB) phenomenon in photonic experiments [1-5] boosted the understanding of the role of disorder in multimode lasers, as well as helped to settle enlightening connections [6-13] with the statistical physics of complex systems. RSB manifests when identically-prepared system replicas reach distinct states, yielding different measures of observable quantities [14]. Here we demonstrate the RSB in the spontaneous mode-locking regime of a conventional multimode Nd:YAG laser in a closed cavity. The underlying mechanism is quite distinct from that of the RSB spinglass phase in cavityless random lasers with incoherently-oscillating modes. Here, a specific nonuniform distribution of the gain takes place in each pulse, and frustration is induced since the coherent oscillation of a given subset of longitudinal modes dominates and simultaneously inhibits the others. Nevertheless, when high losses are introduced only the replica-symmetric amplified stimulation emission is observed. We therefore suggest that the RSB transition can be used as an identifier of the threshold in standard multimode lasers, as recently proposed and demonstrated for random lasers [1,2].


title: Influence of temperature and humidity on the detection of benzene vapor by piezoelectric crystal sensor

abstract: The effects of temperature and humidity on the estimation of air pollution by benzene by using the piezoelectric crystal gas sensor were studied. Polyvinylchloride films were used as substrate for the immobilization of polymethylphenylsiloxane onto the electrode surface of the piezoelectric crystal. The sensing layer consisting of polymethylphenylsiloxane and polyvinylchloride was used for real-time monitoring of benzene, one of the atmospheric pollutants. According to the humidity from 35% to 75%, the upper limit of detection by this sensor was decreased and the response time and frequency recovery time for detecting benzene were long. On the other hand, as increasing the temperature, the response time and the frequency recovery time of the sensor were short, but its sensitivity got worse. The models for the correlation between the benzene concentration and temperature (or humidity) were presented.


title: Hotelling-Downs Model with Limited Attraction

abstract: In this paper we study variations of the standard Hotelling-Downs model of spatial competition, where each agent attracts the clients in a restricted neighborhood, each client randomly picks one attractive agent for service. Two utility functions for agents are considered: support utility and winner utility. We generalize the results by Feldman et al. to the case where the clients are distributed arbitrarily. In the support utility setting, we show that a pure Nash equilibrium always exists by formulating the game as a potential game. In the winner utility setting, we show that there exists a Nash equilibrium in two cases: when there are at most 3 agents and when the size of attraction area is at least half of the entire space. We also consider the price of anarchy and the fairness of equilibria and give tight bounds on these criteria.


title: Two Photon Transition Form Factor of $\bar{c}c $ Quarkonia

abstract: The two photon transition of $\bar{c}c$ quarkonia are studied within a covariant approach based on the consistent truncation scheme of the quantum chromodynamics Dyson-Schwinger equation for the quark propagator and the Bethe--Salpeter equation for the mesons. We find the decay widths of $\eta_{c}^{} \to \gamma\gamma$ and $\chi_{c0,2}^{} \to \gamma\gamma$ in good agreement with experimental data. The obtained transition form factor of $\eta_{c}^{} \to \gamma\gamma^{\ast}$ for a wide range of space-like photon momentum transfer squared is also in agreement with the experimental findings of the BABAR experiment. As a by-product, the decay widths of $\eta_{b}^{},\chi_{b0,2}^{} \to \gamma\gamma$ and the transition form factor of $\eta_{b}^{}, \chi_{c0,b0}^{} \to\gamma\gamma^{\ast}$ are predicted, which await for experimental test.


title: Stochastic Recursive Inclusions in two timescales with non-additive iterate dependent Markov noise

abstract: In this paper we study the asymptotic behavior of a stochastic approximation scheme on two timescales with set-valued drift functions and in the presence of non-additive iterate-dependent Markov noise. It is shown that the recursion on each timescale tracks the flow of a differential inclusion obtained by averaging the set-valued drift function in the recursion with respect to a set of measures which take into account both the averaging with respect to the stationary distributions of the Markov noise terms and the interdependence between the two recursions on different timescales. The framework studied in this paper builds on the works of \it{A. Ramaswamy et al. }\rm by allowing for the presence of non-additive iterate-dependent Markov noise. As an application, we consider the problem of computing the optimum in a constrained convex optimization problem where the objective function and the constraints are averaged with respect to the stationary distribution of an underlying Markov chain. Further the proposed scheme neither requires the differentiability of the objective function nor the knowledge of the averaging measure.


title: Word and Document Embeddings based on Neural Network Approaches

abstract: Data representation is a fundamental task in machine learning. The representation of data affects the performance of the whole machine learning system. In a long history, the representation of data is done by feature engineering, and researchers aim at designing better features for specific tasks. Recently, the rapid development of deep learning and representation learning has brought new inspiration to various domains. In natural language processing, the most widely used feature representation is the Bag-of-Words model. This model has the data sparsity problem and cannot keep the word order information. Other features such as part-of-speech tagging or more complex syntax features can only fit for specific tasks in most cases. This thesis focuses on word representation and document representation. We compare the existing systems and present our new model. First, for generating word embeddings, we make comprehensive comparisons among existing word embedding models. In terms of theory, we figure out the relationship between the two most important models, i.e., Skip-gram and GloVe. In our experiments, we analyze three key points in generating word embeddings, including the model construction, the training corpus and parameter design. We evaluate word embeddings with three types of tasks, and we argue that they cover the existing use of word embeddings. Through theory and practical experiments, we present some guidelines for how to generate a good word embedding. Second, in Chinese character or word representation. We introduce the joint training of Chinese character and word. ... Third, for document representation, we analyze the existing document representation models, including recursive NNs, recurrent NNs and convolutional NNs. We point out the drawbacks of these models and present our new model, the recurrent convolutional neural networks. ...


title: Reweighted Low-Rank Tensor Decomposition based on t-SVD and its Applications in Video Denoising

abstract: The t-SVD based Tensor Robust Principal Component Analysis (TRPCA) decomposes low rank multi-linear signal corrupted by gross errors into low multi-rank and sparse component by simultaneously minimizing tensor nuclear norm and l 1 norm. But if the multi-rank of the signal is considerably large and/or large amount of noise is present, the performance of TRPCA deteriorates. To overcome this problem, this paper proposes a new efficient iterative reweighted tensor decomposition scheme based on t-SVD which significantly improves tensor multi-rank in TRPCA. Further, the sparse component of the tensor is also recovered by reweighted l 1 norm which enhances the accuracy of decomposition. The effectiveness of the proposed method is established by applying it to the video denoising problem and the experimental results reveal that the proposed algorithm outperforms its counterparts.


title: Reweighted Low-Rank Tensor Completion and its Applications in Video Recovery

abstract: This paper focus on recovering multi-dimensional data called tensor from randomly corrupted incomplete observation. Inspired by reweighted $l_1$ norm minimization for sparsity enhancement, this paper proposes a reweighted singular value enhancement scheme to improve tensor low tubular rank in the tensor completion process. An efficient iterative decomposition scheme based on t-SVD is proposed which improves low-rank signal recovery significantly. The effectiveness of the proposed method is established by applying to video completion problem, and experimental results reveal that the algorithm outperforms its counterparts.


title: Another characterizations of Muckenhoupt $A_{p}$ class

abstract: This manuscript addresses Muckenhoupt $A_{p}$ weight theory in connection to Morrey and BMO spaces. It is proved that $\omega$ belongs to Muckenhoupt $A_{p}$ class, if and only if Hardy-Littlewood maximal function $M$ is bounded from weighted Lebesgue spaces $L^{p}(\omega)$ to weighted Morrey spaces $M^{p}_{q}(\omega)$ for $1<q< p<\infty$. As a corollary, if $M$ is (weak) bounded on $M^{p}_{q}(\omega)$, then $\omega\in A_{p}$. The $A_{p}$ condition also characterizes the boundedness of the Riesz transform $R_{j}$ and convolution operators $T_{\epsilon}$ on weighted Morrey spaces. Finally, we show that $\omega\in A_{p}$ if and only if $\omega\in \mathrm{BMO}^{p'}(\omega)$ for $1\leq p< \infty$ and $1/p+1/p'=1$.


title: Dark matter candidates in the constrained Exceptional Supersymmetric Standard Model

abstract: The Exceptional Supersymmetric Standard Model (E$_6$SSM) is a low energy alternative to the MSSM with an extra $U(1)$ gauge symmetry and three generations of matter filling complete 27-plet representations of $E_6$. This provides both new D and F term contributions that raise the Higgs mass at tree level, and a compelling solution to the $\mu$-problem of the MSSM by forbidding such a term with the extra $U(1)$ symmetry. Instead, an effective $\mu$-term is generated from the VEV of an SM singlet which breaks the extra $U(1)$ symmetry at low energies, giving rise to a massive $Z^\prime$. We explore the phenomenology of the constrained version of this model (cE$_6$SSM) in substantially more detail than has been carried out previously, performing a ten dimensional scan that reveals a large volume of viable parameter space. We classify the different mechanisms for generating the measured relic density of dark matter found in the scan, including the identification of a new mechanism involving mixed bino/inert-Higgsino dark matter. We show which mechanisms can evade the latest direct detection limits from the LUX 2016 experiment. Finally we present benchmarks consistent with all the experimental constraints and which could be discovered with the XENON1T experiment.


title: Nonempty intersection of longest paths in $2K_2$-free graphs

abstract: In 1966, Gallai asked whether all longest paths in a connected graph share a common vertex. Counterexamples indicate that this is not true in general. However, Gallai's question is positive for certain well-known classes of connected graphs, such as split graphs, interval graphs, circular arc graphs, outerplanar graphs, and series-parallel graphs. A graph is $2K_2$-free if it does not contain two independent edges as an induced subgraph. In this paper, we show that in nonempty $2K_2$-free graphs, every vertex of maximum degree is common to all longest paths. Our result implies that all longest paths in a nonempty $2K_2$-free graph have a nonempty intersection. In particular, it gives a new proof for the result on split graphs, as split graphs are $2K_2$-free.


title: NGC 5523: An Isolated Product of Soft Galaxy Mergers?

abstract: Multi-band images of the very isolated spiral galaxy NGC 5523 show a number of unusual features consistent with NGC 5523 having experienced a significant merger: (1) Near-infrared (NIR) images from the Spitzer Space Telescope (SST) and the WIYN 3.5-m telescope reveal a nucleated bulge-like structure embedded in a spiral disk. (2) The bulge is offset by ~1.8 kpc from a brightness minimum at the center of the optically bright inner disk. (3) A tidal stream, possibly associated with an ongoing satellite interaction, extends from the nucleated bulge along the disk. We interpret these properties as the results of one or more non-disruptive mergers between NGC 5523 and companion galaxies or satellites, raising the possibility that some galaxies become isolated because they have merged with former companions.


title: Quiver mutation sequences and $q$-binomial identities

abstract: In this paper, first we introduce a quantity called a partition function for a quiver mutation sequence. The partition function is a generating function whose weight is a $q$-binomial associated with each mutation. Then, we show that the partition function can be expressed as a ratio of products of quantum dilogarithms. This provides a systematic way of constructing various $q$-binomial multisum identities.


title: Nucleon resonance structure in the finite volume of lattice QCD

abstract: An approach for relating the nucleon resonances extracted from $\pi N$ reaction data to lattice QCD calculations has been developed by using the finite-volume Hamiltonian method. Within models of $\pi N$ reactions, bare states are introduced to parametrize the intrinsic excitations of the nucleon. We show that the resonance pole positions can be related to the probability $P_{N^*}(E)$ of finding the bare state, $N^*$, in the $\pi N$ scattering states in infinite volume. We further demonstrate that the probability $P_{N^*}^V(E)$ of finding the same bare states in the eigenfunctions of the underlying Hamiltonian in finite volume approaches $P_{N^*}(E)$ as the volume increases. Our findings suggest that the comparison of $P_{N^*}(E)$ and $P_{N^*}^V(E)$ can be used to examine whether the nucleon resonances extracted from the $\pi N$ reaction data within the dynamical models are consistent with lattice QCD calculation. We also discuss the measurement of $P_{N^*}^V(E)$ directly from lattice QCD. The practical differences between our approach and the approach using the L\"uscher formalism to relate LQCD calculations to the nucleon resonance poles embedded in the data are also discussed.


title: Finding Mirror Symmetry via Registration

abstract: Symmetry is prevalent in nature and a common theme in man-made designs. Both the human visual system and computer vision algorithms can use symmetry to facilitate object recognition and other tasks. Detecting mirror symmetry in images and data is, therefore, useful for a number of applications. Here, we demonstrate that the problem of fitting a plane of mirror symmetry to data in any Euclidian space can be reduced to the problem of registering two datasets. The exactness of the resulting solution depends entirely on the registration accuracy. This new Mirror Symmetry via Registration (MSR) framework involves (1) data reflection with respect to an arbitrary plane, (2) registration of original and reflected datasets, and (3) calculation of the eigenvector of eigenvalue -1 for the transformation matrix representing the reflection and registration mappings. To support MSR, we also introduce a novel 2D registration method based on random sample consensus of an ensemble of normalized cross-correlation matches. With this as its registration back-end, MSR achieves state-of-the-art performance for symmetry line detection in two independent 2D testing databases. We further demonstrate the generality of MSR by testing it on a database of 3D shapes with an iterative closest point registration back-end. Finally, we explore its applicability to examining symmetry in natural systems by assessing the degree of symmetry present in myelinated axon reconstructions from a larval zebrafish.


title: Second-Order Self-Consistent-Field Density-Matrix Renormalization Group

abstract: We present a matrix-product state (MPS)-based quadratically convergent density-matrix renormalization group self-consistent-field (DMRG-SCF) approach. Following a proposal by Werner and Knowles (JCP 82, 5053, (1985)), our DMRG-SCF algorithm is based on a direct minimization of an energy expression which is correct to second-order with respect to changes in the molecular orbital basis. We exploit a simultaneous optimization of the MPS wave function and molecular orbitals in order to achieve quadratic convergence. In contrast to previously reported (augmented Hessian) Newton-Raphson and super-configuration-interaction algorithms for DMRG-SCF, energy convergence beyond a quadratic scaling is possible in our ansatz. Discarding the set of redundant active-active orbital rotations, the DMRG-SCF energy converges typically within two to four cycles of the self-consistent procedure

categories: physics.chem-ph cond-mat.str-el physics.comp-ph quant-ph


title: NCBO Ontology Recommender 2.0: An Enhanced Approach for Biomedical Ontology Recommendation

abstract: Biomedical researchers use ontologies to annotate their data with ontology terms, enabling better data integration and interoperability. However, the number, variety and complexity of current biomedical ontologies make it cumbersome for researchers to determine which ones to reuse for their specific needs. To overcome this problem, in 2010 the National Center for Biomedical Ontology (NCBO) released the Ontology Recommender, which is a service that receives a biomedical text corpus or a list of keywords and suggests ontologies appropriate for referencing the indicated terms. We developed a new version of the NCBO Ontology Recommender. Called Ontology Recommender 2.0, it uses a new recommendation approach that evaluates the relevance of an ontology to biomedical text data according to four criteria: (1) the extent to which the ontology covers the input data; (2) the acceptance of the ontology in the biomedical community; (3) the level of detail of the ontology classes that cover the input data; and (4) the specialization of the ontology to the domain of the input data. Our evaluation shows that the enhanced recommender provides higher quality suggestions than the original approach, providing better coverage of the input data, more detailed information about their concepts, increased specialization for the domain of the input data, and greater acceptance and use in the community. In addition, it provides users with more explanatory information, along with suggestions of not only individual ontologies but also groups of ontologies. It also can be customized to fit the needs of different scenarios. Ontology Recommender 2.0 combines the strengths of its predecessor with a range of adjustments and new features that improve its reliability and usefulness. Ontology Recommender 2.0 recommends over 500 biomedical ontologies from the NCBO BioPortal platform, where it is openly available.


title: Linearly polarized gluons in charmonium and bottomonium production in color octet model

abstract: We study the possibility to probe the unpolarized and linearly polarized transverse momentum- dependent gluon distributions in unpolarized pp collision in charmonium and bottomonium produc- tion, employing non-relativistic QCD (NRQCD) based color octet model within transverse momentum dependent (TMD) factorization framework. The transverse momentum (p T ) and rapidity distributions of J/{\psi} and {\Upsilon}(1S) at LHCb, RHIC and AFTER energies are estimated. Significant modulations in transverse momentum spectrum of quarkonium in the low p T region is obtained when contributions of linearly polarized gluons inside an unpolarized proton are taken into account. The results of quarko- nium production in color octet model and color evaporation model are compared.


title: Hardware-Based Linear Program Decoding with the Alternating Direction Method of Multipliers

abstract: We present a hardware-based implementation of Linear Program (LP) decoding for binary linear codes. LP decoding frames error-correction as an optimization problem. In contrast, variants of Belief Propagation (BP) decoding frame error-correction as a problem of graphical inference. LP decoding has several advantages over BP-based methods, including convergence guarantees and better error-rate performance in high-reliability channels. The latter makes LP decoding attractive for optical transport and storage applications. However, LP decoding, when implemented with general solvers, does not scale to large blocklengths and is not suitable for a parallelized implementation in hardware. It has been recently shown that the Alternating Direction Method of Multipliers (ADMM) can be applied to decompose the LP decoding problem. The result is a message-passing algorithm with a structure very similar to BP. We present new intuition for this decoding algorithm as well as for its major computational primitive: projection onto the parity polytope. Furthermore, we present results for a fixed-point Verilog implementation of ADMM-LP decoding. This implementation targets a Field-Programmable Gate Array (FPGA) platform to evaluate error-rate performance and estimate resource usage. We show that Frame Error Rate (FER) performance well within 0.5dB of double-precision implementations is possible with 10-bit messages. Finally, we outline a number of research opportunities that should be explored en-route to the realization of an Application Specific Integrated Circuit (ASIC) implementation capable of gigabit per second throughput.


title: Determining a hopping polarons bandwidth from its Seebeck coefficient: Measuring the disorder energy of a non-crystalline semiconductor

abstract: Charge carriers that execute multi-phonon hopping generally interact strongly enough with phonons to form polarons. A polarons sluggish motion is linked to slowly shifting atomic displacements that severely reduce the intrinsic width of its transport band. Here a means to estimate hopping polarons bandwidths from Seebeck-coefficient measurements is described. The magnitudes of semiconductors Seebeck coefficients are usually quite large (greater than 86 microvolts/K) near room temperature. However, in accord with the third law of thermodynamics, Seebeck coefficients must vanish at absolute zero. Here the transition of the Seebeck coefficient of hopping polarons to its low-temperature regime is investigated. The temperature and sharpness of this transition depends on the concentration of carriers and on the width of their transport band. This feature provides a means of estimating the width of a polarons transport band. Since the intrinsic broadening of polaron bands is very small, less than the characteristic phonon energy, the net widths of polaron transport bands in disordered semiconductors approach the energetic disorder experienced by their hopping carriers, their disorder energy.


title: Robust and Scalable Column/Row Sampling from Corrupted Big Data

abstract: Conventional sampling techniques fall short of drawing descriptive sketches of the data when the data is grossly corrupted as such corruptions break the low rank structure required for them to perform satisfactorily. In this paper, we present new sampling algorithms which can locate the informative columns in presence of severe data corruptions. In addition, we develop new scalable randomized designs of the proposed algorithms. The proposed approach is simultaneously robust to sparse corruption and outliers and substantially outperforms the state-of-the-art robust sampling algorithms as demonstrated by experiments conducted using both real and synthetic data.


title: A viable non-axisymmetric non-force-free field to represent solar active regions

abstract: A combination of analytical calculations and vectormagnetogram data are utilized to develop a non-axisymmetric non-force-free magnetic field and asses its viability in describing solar active regions. For the purpose, we construct a local spherical shell where a planar surface, tangential to the inner sphere, represents a Cartesian cutout of an active region. The magnetic field defined on the surface is then correlated with magnetograms. The analysis finds the non-axisymmetric non-force-free magnetic field, obtained by a superposition of two linear-force-free fields, correlates reasonably well with magnetograms.


title: A Reverse Minkowski Theorem

abstract: $ \newcommand{\R}{\mathbb{R}} \newcommand{\lat}{\mathcal{L}} $We prove a conjecture due to Dadush, showing that if $\lat \subset \R^n$ is a lattice such that $\det(\lat') \ge 1$ for all sublattices $\lat' \subseteq \lat$, then \[ \sum_{\vec y \in \lat} e^{-\pi t^2 \|\vec y\|^2} \le 3/2 \; , \] where $t := 10(\log n + 2)$. From this we derive bounds on the number of short lattice vectors, which can be viewed as a partial converse to Minkowski's celebrated first theorem. We also derive a bound on the covering radius.


title: Precondition Inference for Peephole Optimizations in LLVM

abstract: Peephole optimizations are a common source of compiler bugs. Compiler developers typically transform an incorrect peephole optimization into a valid one by strengthening the precondition. This process is challenging and tedious. This paper proposes ALIVE-INFER, a data-driven approach that infers preconditions for peephole optimizations expressed in Alive. ALIVE-INFER generates positive and negative examples for an optimization, enumerates predicates on-demand, and learns a set of predicates that separate the positive and negative examples. ALIVE-INFER repeats this process until it finds a precondition that ensures the validity of the optimization. ALIVE-INFER reports both a weakest precondition and a set of succinct partial preconditions to the developer. Our prototype generates preconditions that are weaker than LLVM's preconditions for 73 optimizations in the Alive suite. We also demonstrate the applicability of this technique to generalize 54 optimization patterns generated by Souper, an LLVM~IR--based superoptimizer.


title: Orbifold Stability and Miyaoka-Yau Inequality for minimal pairs

abstract: After establishing suitable notions of stability and Chern classes for singular pairs, we use K\"ahler-Einstein metrics with conical and cuspidal singularities to prove the slope semistability of orbifold tangent sheaves of minimal log-canonical pairs of log general type. We then proceed to prove the Miyaoka-Yau inequality for all minimal pairs with standard coefficients. Our result in particular provides an alternative proof of the Abundance theorem for threefolds that is independent of positivity results for tangent sheaves.


title: The 3-permutation orbifold of a lattice vertex operator algebra

abstract: Irreducible modules of the 3-permutation orbifold of a rank one lattice vertex operator algebra are listed explicitly. Fusion rules are determined by using the quantum dimensions. The $S$-matrix is also given.


title: Equidistribution of random waves on small balls

abstract: In this paper, we investigate the small scale equidistribution properties of randomised sums of Laplacian eigenfunctions (i.e. random waves) on a compact manifold. We prove small scale expectation and variance results for random waves on all compact manifolds. Here, "small scale" refers to balls of radius $r(\lambda)\to 0$ such that $r/r_{\text{Planck}}\to\infty$, where $r_{\text{Planck}}$ is the Planck scale. For balls at a larger scale (although still $r(\lambda)\to 0$) we also obtain estimates showing that the probability that a random wave fails to equidistribute decays exponentially with the eigenvalue.


title: Celeris: A GPU-accelerated open source software with a Boussinesq-type wave solver for real-time interactive simulation and visualization

abstract: In this paper, we introduce an interactive coastal wave simulation and visualization software, called Celeris. Celeris is an open source software which needs minimum preparation to run on a Windows machine. The software solves the extended Boussinesq equations using a hybrid finite volume - finite difference method and supports moving shoreline boundaries. The simulation and visualization are performed on the GPU using Direct3D libraries, which enables the software to run faster than real-time. Celeris provides a first-of-its-kind interactive modeling platform for coastal wave applications and it supports simultaneous visualization with both photorealistic and colormapped rendering capabilities. We validate our software through comparison with three standard benchmarks for non-breaking and breaking waves.


title: Compressed Sensing from Phaseless Gaussian Measurements via Linear Programming in the Natural Parameter Space

abstract: We consider faithfully combining phase retrieval with classical compressed sensing. Inspired by the recent novel formulation for phase retrieval called PhaseMax, we present and analyze SparsePhaseMax, a linear program for phaseless compressed sensing in the natural parameter space. We establish that when provided with an initialization that correlates with an arbitrary $k$-sparse $n$-vector, SparsePhaseMax recovers this vector up to global sign with high probability from $O(k \log \frac{n}{k})$ magnitude measurements against i.i.d. Gaussian random vectors. Our proof of this fact exploits a curious newfound connection between phaseless and 1-bit compressed sensing. This is the first result to establish bootstrapped compressed sensing from phaseless Gaussian measurements under optimal sample complexity.


title: Discovery of five low luminosity active galactic nuclei at the centre of the Perseus cluster

abstract: According to optical stellar kinematics observations, an over-massive black hole candidate has been reported by van den Bosch et al. (2012) in the normal early-type galaxy NGC 1277. This galaxy is located in the central region of the Perseus cluster. Westerbork Synthesis Radio Telescope (WSRT) observations have shown that NGC 1277 and other early-type galaxies in the neighbourhood have radio counterparts. These nuclear radio sources have stable flux densities on time scale of years. In order to investigate the origin of the radio emission from these normal galaxies, we selected five sources (NGC 1270, NGC 1272, NGC 1277, NGC 1278 and VZw 339) residing in the central 10 arcminute region of the Perseus cluster and requested to re-correlate the data of an existing very long baseline interferometry (VLBI) experiment at these new positions. With the re-correlation data provided by the European VLBI Network (EVN), we imaged the five sources with a resolution of about eight milliarcseconds and detected all of them with a confidence level above 5{\sigma} at 1.4 GHz. They show compact structure and brightness temperatures above $10^7$ K, which implies that the radio emission is non-thermal. We rule out ongoing nuclear star formation and conclude that these VLBI-detected radio sources are parsec-scale jet activity associated with the supermassive black holes in low luminosity active galactic nuclei (LLAGNs), although there are no clear signs of nuclear activity observed in the optical and infrared bands. Using the fundamental plane relation in black holes, we find no significant evidence for or against an extremely massive black hole hiding in NGC 1277.


title: Study of complex properties of binary system of ethanol-methanol at extreme concentrations

abstract: At low concentrations of methanol in ethanol-methanol binary system, the molecular interactions are seen to be uniquely complex. It is observed that the ethanol aggregates are not strictly hydrogen-bonded complexes; dispersion forces also play a dominant role in the self- association of ethanol molecules. On the addition of small amount of methanol to ethanol, the dipolar association of ethanol is destroyed. The repulsive forces between the two moieties dominate the behavior of the binary system at lower concentration of methanol. At higher concentration of methanol (> 30%), the strength and extent (number) of formation of hydrogen bonds between ethanol and methanol increases. The geometry of molecular structure at high concentration favors the fitting of component molecules with each other. Intermolecular interactions in the ethanol-methanol binary system over the entire concentration range were investigated in detail using broadband dielectric spectroscopy, FTIR, surface tension and refractive index studies. Molecular Dynamics simulations show that the hydrogen bond density is a direct function of the number of methanol molecules present, as the ethanol aggregates are not strictly hydrogen-bond constructed which is in agreement with the experimental results.


title: On asymptotic property C

abstract: Asymptotic property C was introduced by Dranishnikov to study spaces with infinite asymptotic dimension. We show that asymptotic property C is preserved by infinite products. We also show that countable restricted direct products of countable groups with finite asymptotic dimension have asymptotic property C. Then we introduce hyperbolic property C, an infinite dimensional version of hyperbolic dimension.


title: Axially symmetric, asymptotically flat vacuum metric with a naked singularity and closed timelike curves

abstract: We present an axially symmetric, asymptotically flat empty space solution of the Einstein field equations containing a naked singularity. The spacetime is regular everywhere except on the symmetry axis where it possess a true curvature singularity. The spacetime is of type D in the Petrov classification scheme and is locally isometric to the metrics of case IV in the Kinnersley classification of type D vacuum metrics. Additionally, the spacetime also shows the evolution of closed timelike curves (CTCs) from an initial hypersurface free from CTCs.


title: Monte Carlo Tableau Proof Search

abstract: We study Monte Carlo Tree Search to guide proof search in tableau calculi. This includes proposing a number of proof-state evaluation heuristics, some of which are learnt from previous proofs. We present an implementation based on the leanCoP prover. The system is trained and evaluated on a large suite of related problems coming from the Mizar proof assistant, showing that it is capable to find new and different proofs.


title: Almost-Polynomial Ratio ETH-Hardness of Approximating Densest $k$-Subgraph

abstract: In the Densest $k$-Subgraph problem, given an undirected graph $G$ and an integer $k$, the goal is to find a subgraph of $G$ on $k$ vertices that contains maximum number of edges. Even though the state-of-the-art algorithm for the problem achieves only $O(n^{1/4 + \varepsilon})$ approximation ratio (Bhaskara et al., 2010), previous attempts at proving hardness of approximation, including those under average case assumptions, fail to achieve a polynomial ratio; the best ratios ruled out under any worst case assumption and any average case assumption are only any constant (Raghavendra and Steurer, 2010) and $2^{\Omega(\log^{2/3} n)}$ (Alon et al., 2011) respectively. In this work, we show, assuming the exponential time hypothesis (ETH), that there is no polynomial-time algorithm that approximates Densest $k$-Subgraph to within $n^{1/(\log \log n)^c}$ factor of the optimum, where $c > 0$ is a universal constant independent of $n$. In addition, our result has "perfect completeness", meaning that we prove that it is ETH-hard to even distinguish between the case in which $G$ contains a $k$-clique and the case in which every induced $k$-subgraph of $G$ has density at most $1/n^{-1/(\log \log n)^c}$ in polynomial time. Moreover, if we make a stronger assumption that there is some constant $\varepsilon > 0$ such that no subexponential-time algorithm can distinguish between a satisfiable 3SAT formula and one which is only $(1 - \varepsilon)$-satisfiable (also known as Gap-ETH), then the ratio above can be improved to $n^{f(n)}$ for any function $f$ whose limit is zero as $n$ goes to infinity (i.e. $f \in o(1)$).


title: Secure and Energy-Efficient Beamforming for Simultaneous Information and Energy Transfer

abstract: Next-generation communication networks will likely involve the energy-efficient transfer of information and energy over the same wireless channel, for which the physical layer will become more vulnerable to cyber attacks by potential multi-antenna eavesdroppers. To address this issue, this paper considers transmit time-switching (TS) mode, in which energy and information signals are transmitted separately in time by the BS. This protocol is not only easy to implement but also delivers the opportunity of multi-purpose beamforming, in which energy beamformers during wireless power transfer are useful in jamming the eavesdropper. In the presence of imperfect channel estimation and multi-antenna eavesdroppers, the energy and information beamformers and the transmit TS ratio are jointly optimized to maximize the worst-case user secrecy rate subject to UEs' harvested energy thresholds and a BS transmit power budget. New robust path-following algorithms, which involve one simple convex quadratic program at each iteration are proposed for computational solutions of this difficult optimization problem and also the problem of secure energy efficiency maximization. The latter is further complex due to additional optimization variables appearing in the denominator of the secrecy rate function. Numerical results confirm that the performance of the proposed computational solutions is robust against the channel uncertainties.


title: On spectra of probability measures generated by GLS-expansions

abstract: We study properties of distributions of random variables with independent identically distributed symbols of generalized L\"{u}roth series (GLS) expansions (the family of GLS-expansions contains L\"{u}roth expansion and $Q_{\infty}$- and $G_{\infty}^2$-expansions). To this end, we explore fractal properties of the family of Cantor-like sets $C[\mathit{GLS},V]$ consisting of real numbers whose GLS-expansions contain only symbols from some countable set $V\subset N\cup\{0\}$, and derive exact formulae for the determination of the Hausdorff--Besicovitch dimension of $C[\mathit{GLS},V]$. Based on these results, we get general formulae for the Hausdorff--Besicovitch dimension of the spectra of random variables with independent identically distributed GLS-symbols for the case where all but countably many points from the unit interval belong to the basis cylinders of GLS-expansions.


title: A Dissection of the Test-Driven Development Process: Does It Really Matter to Test-First or to Test-Last?

abstract: Background: Test-driven development (TDD) is a technique that repeats short coding cycles interleaved with testing. The developer first writes a unit test for the desired functionality, followed by the necessary production code, and refactors the code. Many empirical studies neglect unique process characteristics related to TDD iterative nature. Aim: We formulate four process characteristic: sequencing, granularity, uniformity, and refactoring effort. We investigate how these characteristics impact quality and productivity in TDD and related variations. Method: We analyzed 82 data points collected from 39 professionals, each capturing the process used while performing a specific development task. We built regression models to assess the impact of process characteristics on quality and productivity. Quality was measured by functional correctness. Result: Quality and productivity improvements were primarily positively associated with the granularity and uniformity. Sequencing, the order in which test and production code are written, had no important influence. Refactoring effort was negatively associated with both outcomes. We explain the unexpected negative correlation with quality by possible prevalence of mixed refactoring. Conclusion: The claimed benefits of TDD may not be due to its distinctive test-first dynamic, but rather due to the fact that TDD-like processes encourage fine-grained, steady steps that improve focus and flow.


title: Wireless-powered relaying with finite block-length codes

abstract: This paper studies the outage probability and the throughput of amplify-and-forward relay networks with wireless information and energy transfer. We use some recent results on finite block-length codes to analyze the system performance in the cases with short codewords. Specifically, the time switching relaying and the power splitting relaying protocols are considered for energy and information transfer. We derive tight approximations for the outage probability/throughput. Then, we analyze the outage probability in asymptotically high signal-to-noise ratios. Finally, we use numerical results to confirm the accuracy of our analysis and to evaluate the system performance in different scenarios. Our results indicate that, in delay-constrained scenarios, the codeword length affects the outage probability/throughput of the joint energy and information transfer systems considerably.


title: Global viscosity solutions for eikonal equations on class A Lorentzian 2-tori

abstract: On the Abelian cover $(\mathbb{R}^{2},g)$ of a class A Lorentzian 2-torus $(\mathbb{T}^{2},g)$, we showed the existence of global viscosity solutions to the eikonal equation $$ g(\nabla u,\nabla u)=-1 $$ associated to those homologies in the interior of the homology cone. Some other related dynamical properties are also considered. As an application of the main results, we study the differentiability of the unit sphere of the stable time separation associated to the class A Lorentzian 2-torus.


title: Fisher information of a squeezed-state interferometer with a finite photon-number resolution

abstract: Squeezed-state interferometry plays an important role in quantum-enhanced optical phase estimation, as it allows the estimation precision to be improved up to the Heisenberg limit by using ideal photon-number-resolving detectors at the output ports. Here we show that for each individual $N$-photon component of the phase-matched coherent $\otimes$ squeezed vacuum input state, the classical Fisher information always saturates the quantum Fisher information. Moreover, the total Fisher information is the sum of the contributions from each individual $N$-photon components, where the largest $N$ is limited by the finite number resolution of available photon counters. Based on this observation, we provide an approximate analytical formula that quantifies the amount of lost information due to the finite photon number resolution, e.g., given the mean photon number $\bar{n}$ in the input state, over $96$ percent of the Heisenberg limit can be achieved with the number resolution larger than $5\bar{n}$.


title: Weak Decoupling, Polynomial Folds, and Approximate Optimization over the Sphere

abstract: We consider the following basic problem: given an $n$-variate degree-$d$ homogeneous polynomial $f$ with real coefficients, compute a unit vector $x \in \mathbb{R}^n$ that maximizes $|f(x)|$. Besides its fundamental nature, this problem arises in diverse contexts ranging from tensor and operator norms to graph expansion to quantum information theory. The homogeneous degree $2$ case is efficiently solvable as it corresponds to computing the spectral norm of an associated matrix, but the higher degree case is NP-hard. We give approximation algorithms for this problem that offer a trade-off between the approximation ratio and running time: in $n^{O(q)}$ time, we get an approximation within factor $O_d((n/q)^{d/2-1})$ for arbitrary polynomials, $O_d((n/q)^{d/4-1/2})$ for polynomials with non-negative coefficients, and $O_d(\sqrt{m/q})$ for sparse polynomials with $m$ monomials. The approximation guarantees are with respect to the optimum of the level-$q$ sum-of-squares (SoS) SDP relaxation of the problem. Known polynomial time algorithms for this problem rely on "decoupling lemmas." Such tools are not capable of offering a trade-off like our results as they blow up the number of variables by a factor equal to the degree. We develop new decoupling tools that are more efficient in the number of variables at the expense of less structure in the output polynomials. This enables us to harness the benefits of higher level SoS relaxations. We complement our algorithmic results with some polynomially large integrality gaps, albeit for a slightly weaker (but still very natural) relaxation. Toward this, we give a method to lift a level-$4$ solution matrix $M$ to a higher level solution, under a mild technical condition on $M$.


title: Stochastic wave equation in a plane driven by spatial stable noise

abstract: The main object of this paper is the planar wave equation \[\bigg(\frac{\partial^2}{\partial t^2}-a^2\varDelta\bigg)U(x,t)=f(x,t),\quad t\ge0, x\in \mathbb {R}^2,\] with random source $f$. The latter is, in certain sense, a symmetric $\alpha$-stable spatial white noise multiplied by some regular function $\sigma$. We define a candidate solution $U$ to the equation via Poisson's formula and prove that the corresponding expression is well defined at each point almost surely, although the exceptional set may depend on the particular point $(x,t)$. We further show that $U$ is H\"{o}lder continuous in time but with probability 1 is unbounded in any neighborhood of each point where $\sigma$ does not vanish. Finally, we prove that $U$ is a generalized solution to the equation.


title: Description of the $^{11}$Li$(p,d){^{10}}$Li transfer reaction using structure overlaps from a full three-body model

abstract: Recent data on the differential angular distribution for the transfer reaction $^{11}$Li(p,d)$^{10}$Li at $E/A=5.7$ MeV in inverse kinematics are analysed within the DWBA reaction framework, using the overlap functions calculated within a three-body model of $^{11}$Li. The weight of the different $^{10}$Li configurations in the system's ground state is obtained from the structure calculations unambiguously. The effect of the $^{9}$Li spin in the calculated observables is also investigated. We find that, although all the considered models succeed in reproducing the shape of the data, the magnitude is very sensitive to the content of $p_{1/2}$ wave in the $^{11}$Li ground-state wave function. Among the considered models, the best agreement with the data is obtained when the $^{11}$Li ground state contains a $\sim$31\% of $p_{1/2}$ wave in the $n$-$^9$Li subsystem. Although this model takes into account explicitly the splitting of the $1^+$ and $2^+$ resonances due to the coupling of the $p_{1/2}$ wave to the $3/2^-$ spin of the core, a similar degree of agreement can be achieved with a model in which the $^{9}$Li spin is ignored, provided that it contains a similar p-wave content.


title: On the homogenization of the Helmholtz problem with thin perforated walls of finite length

abstract: In this work, we present a new solution representation for the Helmholtz transmission problem in a bounded domain in $\mathbb{R}^2$ with a thin and periodic layer of finite length. The layer may consists of a periodic pertubation of the material coefficients or it is a wall modelled by boundary conditions with an periodic array of small perforations. We consider the periodicity in the layer as the small variable $\delta$ and the thickness of the layer to be at the same order. Moreover we assume the thin layer to terminate at re-entrant corners leading to a singular behaviour in the asymptotic expansion of the solution representation. This singular behaviour becomes visible in the asymptotic expansion in powers of $\delta$ where the powers depend on the opening angle. We construct the asymptotic expansion order by order. It consists of a macroscopic representation away from the layer, a boundary layer corrector in the vicinity of the layer, and a near field corrector in the vicinity of the end-points. The boundary layer correctors and the near field correctors are obtained by the solution of canonical problems based, respectively, on the method of periodic surface homogenization and on the method of matched asymptotic expansions. This will lead to transmission conditions for the macroscopic part of the solution on an infinitely thin interface and corner conditions to fix the unbounded singular behaviour at its end-points. Finally, theoretical justifications of the second order expansion are given and illustrated by numerical experiments. The solution representation introduced in this article can be used to compute a highly accurate approximation of the solution with a computational effort independent of the small periodicity $\delta$.


title: Averaged deviations of Orlicz processes and majorizing measures

abstract: This paper is devoted to investigation of supremum of averaged deviations $|X(t)-f(t)-\int_{\mathbb {T}}(X(u)-f(u))\,\mathrm {d}\mu(u)/\mu(\mathbb {T})|$ of a stochastic process from Orlicz space of random variables using the method of majorizing measures. An estimate of distribution of supremum of deviations $|X(t)-f(t)|$ is derived. A special case of the $L_q$ space is considered. As an example, the obtained results are applied to stochastic processes from the $L_2$ space with known covariance functions.


title: Charge Density Waves and the Hidden Nesting of Purple Bronze K$_{0.9}$Mo$_6$O$_{17}$

abstract: We introduce the first multiorbital effective tight-binding model to describe the effect of electron-electron interactions in this system. Upon fixing all the effective hopping parameters in the normal state against an ab initio band structure, and with only the overall scale of the interactions as the sole adjustable parameter, we find that a self-consistent Hartree-Fock solution reproduces extremely well the experimental behavior of the charge density wave (CDW) order parameter in the full range $0<T<T_{\text{c}}$, as well as the precise reciprocal space locations of the partial gap opening and Fermi arc development. The interaction strengths extracted from fitting to the experimental CDW gap are consistent with those derived from an independent Stoner-type analysis.


title: Ultra-high-density local structure of liquid water

abstract: The local structure of liquid water plays a key role in determining the anomalous properties of water. We run all-atom simulations for three microscopic water models, and use multiple order parameters to analyse the local structure of water. We identify three types of local structures. In addition to the well known low-density-liquid and high-density-liquid structures, the newly identified third type possesses an ultra high density and overcoordinated H-bonds. The existence of this third type decreases the rate of transition from the high-density-structure to low-density-structure and increases the rate of the reverse one, leading to the enhancement of the high-density-structure stability.


title: Comment on "Critique and correction of the currently accepted solution of the infinite spherical well in quantum mechanics" by Huang Young-Sea and Thomann Hans-Rudolph

abstract: We comment on the paper "Critique and correction of the currently accepted solution of the infinite spherical well in quantum mechanics" by Huang Young-Sea and Thomann Hans-Rudolph, EPL 115, 60001 (2016) .


title: An analysis of a minimal vectorlike extension of the Standard Model

abstract: We analyze an extension of the Standard Model with an additional SU(2) hypercolor gauge group keeping the Higgs boson as a fundamental field. Vectorlike interactions of new hyperquarks with the intermediate vector bosons are explicitly constructed. We also consider pseudo-Nambu--Goldstone bosons caused by the symmetry breaking SU(4)-> Sp(4). A specific global symmetry of the model with zero hypercharge of the hyperquark doublets ensures the stability of a neutral pseudoscalar field. Some possible manifestations of the lightest states at colliders are also examined.


title: Searches for top-antitop quark resonances at $\sqrt{s}=13~\mathrm{TeV}$ with the CMS detector

abstract: We present the first results on searches for new massive resonances decaying to a top-antitop quark ($t\bar{t}$) pair with the CMS detector at the LHC in proton-proton collisions with a center of mass energy of $\sqrt{s}=13~\mathrm{TeV}$. The data set considered corresponds to an integrated luminosity of $2.6~\mathrm{fb}^{-1}$ recorded during the the first year of the LHC Run-2. Searches are performed by measuring the invariant mass distribution of the $t\bar{t}$ system in semileptonic and fully-hadronic final states. Dedicated techniques are used to identify the decay of highly-boosted top quarks in order to maximize the analyses' sensitivity for $t\bar{t}$ resonances with a mass above the TeV scale. No significant excess is observed in the data compared to the expected SM background and exclusion limits are set on the cross section of a $t\bar{t}$ resonance in various new physics scenarios.


title: Multi-User Millimeter Wave MIMO with Full-Dimensional Lens Antenna Array

abstract: Millimeter wave (mmWave) communication by utilizing lens antenna arrays is a promising technique for realizing cost-effective 5G wireless systems with large MIMO (multiple-input multiple-output) but only limited radio frequency (RF) chains. This paper studies an uplink multi-user mmWave single-sided lens MIMO system, where only the base station (BS) is equipped with a full-dimensional (FD) lens antenna array with both elevation and azimuth angle resolution capabilities, and each mobile station (MS) employs the conventional uniform planar array (UPA) without the lens. By exploiting the angle-dependent energy focusing property of the lens antenna array at the BS as well as the multi-path sparsity of mmWave channels, we propose a low-complexity path division multiple access (PDMA) scheme, which enables virtually interference-free multi-user communications when the angle of arrivals (AoAs) of all MS multi-path signals are sufficiently separable at the BS. To this end, a new technique called path delay compensation is proposed at the BS to effectively transform the multi-user frequency-selective MIMO channels to parallel frequency-flat small-size MIMO channels for different MSs, for each of which the low-complexity single-carrier(SC) transmission is applied. For general scenarios with insufficient AoA separations, analog beamforming at the MSs and digital combining at the BS are jointly designed to maximize the achievable sum-rate of the MSs based on their effective MIMO channels resulting from path delay compensation. In addition, we propose a new and efficient channel estimation scheme tailored for PDMA, which requires negligible training overhead in practical mmWave systems and yet leads to comparable performance as that based on perfect channel state information (CSI).


title: Fuzzy Statistical Matrices for Cell Classification

abstract: In this paper, we generalize image (texture) statistical descriptors and propose algorithms that improve their efficacy. Recently, a new method showed how the popular Co-Occurrence Matrix (COM) can be modified into a fuzzy version (FCOM) which is more effective and robust to noise. Here, we introduce new fuzzy versions of two additional higher order statistical matrices: the Run Length Matrix (RLM) and the Size Zone Matrix (SZM). We define the fuzzy zones and propose an efficient algorithm to compute the descriptors. We demonstrate the advantage of the proposed improvements over several state-of-the-art methods on three tasks from quantitative cell biology: analyzing and classifying Human Epithelial type 2 (HEp-2) cells using Indirect Immunofluorescence protocol (IFF).


title: Value-at-Risk Prediction in R with the GAS Package

abstract: GAS models have been recently proposed in time-series econometrics as valuable tools for signal extraction and prediction. This paper details how financial risk managers can use GAS models for Value-at-Risk (VaR) prediction using the novel GAS package for R. Details and code snippets for prediction, comparison and backtesting with GAS models are presented. An empirical application considering Dow Jones Index constituents investigates the VaR forecasting performance of GAS models.


title: Online Visual Multi-Object Tracking via Labeled Random Finite Set Filtering

abstract: This paper proposes an online visual multi-object tracking algorithm using a top-down Bayesian formulation that seamlessly integrates state estimation, track management, clutter rejection, occlusion and mis-detection handling into a single recursion. This is achieved by modeling the multi-object state as labeled random finite set and using the Bayes recursion to propagate the multi-object filtering density forward in time. The proposed filter updates tracks with detections but switches to image data when mis-detection occurs, thereby exploiting the efficiency of detection data and the accuracy of image data. Furthermore the labeled random finite set framework enables the incorporation of prior knowledge that mis-detections of long tracks which occur in the middle of the scene are likely to be due to occlusions. Such prior knowledge can be exploited to improve occlusion handling, especially long occlusions that can lead to premature track termination in on-line multi-object tracking. Tracking performance are compared to state-of-the-art algorithms on well-known benchmark video datasets.


title: Adaptive Multilevel Monte Carlo Methods for Stochastic Variational Inequalities

abstract: While multilevel Monte Carlo (MLMC) methods for the numerical approximation of partial differential equations with random coefficients enjoy great popularity, combinations with spatial adaptivity seem to be rare. We present an adaptive MLMC finite element approach based on deterministic adaptive mesh refinement for the arising "pathwise" problems and outline a convergence theory in terms of desired accuracy and required computational cost. Our theoretical and heuristic reasoning together with the efficiency of our new approach are confirmed by numerical experiments.


title: Improving training of deep neural networks via Singular Value Bounding

abstract: Deep learning methods achieve great success recently on many computer vision problems, with image classification and object detection as the prominent examples. In spite of these practical successes, optimization of deep networks remains an active topic in deep learning research. In this work, we focus on investigation of the network solution properties that can potentially lead to good performance. Our research is inspired by theoretical and empirical results that use orthogonal matrices to initialize networks, but we are interested in investigating how orthogonal weight matrices perform when network training converges. To this end, we propose to constrain the solutions of weight matrices in the orthogonal feasible set during the whole process of network training, and achieve this by a simple yet effective method called Singular Value Bounding (SVB). In SVB, all singular values of each weight matrix are simply bounded in a narrow band around the value of 1. Based on the same motivation, we also propose Bounded Batch Normalization (BBN), which improves Batch Normalization by removing its potential risk of ill-conditioned layer transform. We present both theoretical and empirical results to justify our proposed methods. Experiments on benchmark image classification datasets show the efficacy of our proposed SVB and BBN. In particular, we achieve the state-of-the-art results of 3.06% error rate on CIFAR10 and 16.90% on CIFAR100, using off-the-shelf network architectures (Wide ResNets). Our preliminary results on ImageNet also show the promise in large-scale learning.


title: Dissipation phenomena and magnetic phase diagram of Cu$_2$OSeO$_3$ below 50 K

abstract: The magnetic phase diagram of the chiral magnet Cu$_2$OSeO$_3$ has been investigated by dc magnetisation and ac susceptibility over a very large frequency range from 0.1 Hz up to 1 kHz and temperatures below 50 K. Qualitatively different phase diagrams have been obtained by applying the magnetic field along the easy $\langle100\rangle$ or the hard $\langle110\rangle$ crystallographic directions. Strong $\chi"$ appears close to $B_{c2}$, but only below 30 K and is more pronounced when $B$ is applied along $\langle100\rangle$. In addition, the transition from the helical to the conical phase leads to two adjacent $B_{c1}$ lines below 50 K. The frequency dependence of $\chi"$ indicates the existence of very broad distributions of relaxation times both at $B_{c1}$ and $B_{c2}$. The associated very long characteristic times eventually prevent the system from reaching thermal equilibrium at low temperatures and lead to thermal hysteresis.


title: Scaling Relations in Coronal Mass Ejections and Energetic Proton Events associated with Solar Superflares

abstract: In order to discuss the potential impact of solar 'superflares' on space weather, we investigated statistical relations among energetic proton peak flux with energy higher than $ 10 \rm MeV$ ($F_p$), CME speed near the Sun ($V_{CME}$) obtained by {\it SOHO}/LASCO coronagraph and flare soft X-ray peak flux in 1-8\AA band ($F_{SXR}$) during 110 major solar proton events (SPEs) recorded from 1996 to 2014. The linear regression fit results in the scaling relations $V_{CME} \propto F_{SXR}^\alpha$, $F_p\propto F_{SXR}^\beta$ and $F_p\propto V_{CME}^\gamma$ with $\alpha = 0.30\pm 0.04$, $\beta = 1.19 \pm 0.08$ and $\gamma = 4.35 \pm 0.50$, respectively. On the basis of simple physical assumptions, on the other hand, we derive scaling relations expressing CME mass ($M_{CME}$), CME speed and energetic proton flux in terms of total flare energy ($E_{flare}$) as, $M_{CME}\propto E_{flare}^{2/3}$, $V_{CME}\propto E_{flare}^{1/6}$ and $F_{p}\propto E_{flare}^{5/6}\propto V_{CME}^5$, respectively. We then combine the derived scaling relations with observation, and estimated the upper limit of $V_{CME}$ and $F_p$ to be associated with possible solar superflares.


title: Chern numbers, localisation and the bulk-edge correspondence for continuous models of topological phases

abstract: In order to study continuous models of disordered topological phases, we construct an unbounded Kasparov module and a semifinite spectral triple for the crossed product of a separable $C^*$-algebra by a twisted $\mathbb{R}^d$-action. The spectral triple allows us to employ the non-unital local index formula to obtain the higher Chern numbers in the continuous setting with complex observable algebra. In addition, the pairing can be extended to a larger algebra closely related to dynamical localisation, as in the tight-binding approximation. The Kasparov module allows us to exploit the Wiener-Hopf extension and the Kasparov product to obtain a bulk-boundary correspondence for continuous models of disordered topological phases.


abstract: We give a generalization of Beurling's theorem for the Clifford-Fourier transform. Then, analogues of Hardy, Cowling-Price and Gelfand-Shilov theorems are obtained in Clifford analysis.


title: Surface acoustic wave unidirectional transducers for quantum applications

abstract: The conversion efficiency of electric microwave signals into surface acoustic waves in different types of superconducting transducers is studied with the aim of quantum applications. We compare delay lines containing either conventional symmetric transducers (IDTs) or unidirectional transducers (UDTs) at 2.3 GHz and 10 mK. The UDT delay lines improve the insertion loss with 4.7 dB and a directivity of 22 dB is found for each UDT, indicating that 99.4 % of the acoustic power goes in the desired direction. The power lost in the undesired direction accounts for more than 90 % of the total loss in IDT delay lines, but only ~3 % percent of the total loss in the FEUDT delay lines.


title: Correlation inequalities for classical and quantum XY models

abstract: We review correlation inequalities of truncated functions for the classical and quantum XY models. A consequence is that the critical temperature of the XY model is necessarily smaller than that of the Ising model, in both the classical and quantum cases. We also discuss an explicit lower bound on the critical temperature of the quantum XY model.


title: QCD-inspired determination of NJL model parameters

abstract: The QCD phase diagram at finite temperature and density has attracted considerable interest over many decades now, not least because of its relevance for a better understanding of heavy-ion collision experiments. Models provide some insight into the QCD phase structure but usually rely on various parameters. Based on renormalization group arguments, we discuss how the parameters of QCD low-energy models can be determined from the fundamental theory of the strong interaction. We particularly focus on a determination of the temperature dependence of these parameters in this work and comment on the effect of a finite quark chemical potential. We present first results and argue that our findings can be used to improve the predictive power of future model calculations.


title: A perturbative approach to Lagrangian flow networks

abstract: Complex network approaches have been successfully applied for studying transport processes in complex systems ranging from road, railway or airline infrastructure over industrial manufacturing to fluid dynamics. Here, we utilize a generic framework for describing the dynamics of geophysical flows such as ocean currents or atmospheric wind fields in terms of Lagrangian flow networks. In this approach, information on the passive advection of particles is transformed into a Markov chain based on transition probabilities of particles between the volume elements of a given partition of space for a fixed time step. We employ perturbation-theoretic methods to investigate the effects of modifications of transport processes in the underlying flow for three different problem classes: efficient absorption (corresponding to particle trapping or leaking), constant input of particles (with additional source terms modeling, e.g., localized contamination), and shifts of the steady state under probability mass conservation (as arising if the background flow is perturbed itself). Our results demonstrate that in all three cases, changes to the steady state solution can be analytically expressed in terms of the eigensystem of the unperturbed flow and the perturbation itself. These results are potentially relevant for developing more efficient strategies for coping with contaminations of fluid or gaseous media such as ocean and atmosphere by oil spills, radioactive substances, non-reactive chemicals or volcanic aerosols.


title: Connecting blazars with ultra high energy cosmic rays and astrophysical neutrinos

abstract: We present a strong hint of a connection between high energy $\gamma$-ray emitting blazars, very high energy neutrinos, and ultra high energy cosmic rays. We first identify potential hadronic sources by filtering $\gamma$-ray emitters %from existing catalogs that are in spatial coincidence with the high energy neutrinos detected by IceCube. The neutrino filtered $\gamma$-ray emitters are then correlated with the ultra high energy cosmic rays from the Pierre Auger Observatory and the Telescope Array by scanning in $\gamma$-ray flux ($F_{\gamma}$) and angular separation ($\theta$) between sources and cosmic rays. A maximal excess of 80 cosmic rays (42.5 expected) is found at $\theta\leq10^{\circ}$ from the neutrino filtered $\gamma$-ray emitters selected from the second hard {\it Fermi}-LAT catalogue (2FHL) and for $F_\gamma\left(>50\:\mathrm{GeV}\right)\geq1.8\times10^{-11}\:\mathrm{ph}\,\mathrm{cm}^{-2}\,\mathrm{s}^{-1}$. The probability for this to happen is $2.4 \times 10^{-5}$, which translates to $\sim 2.4 \times 10^{-3}$ after compensation for all the considered trials. No excess of cosmic rays is instead observed for the complement sample of $\gamma$-ray emitters (i.e. not in spatial connection with IceCube neutrinos). A likelihood ratio test comparing the connection between the neutrino filtered and the complement source samples with the cosmic rays favours a connection between neutrino filtered emitters and cosmic rays with a probability of $\sim1.8\times10^{-3}$ ($2.9\sigma)$ after compensation for all the considered trials. The neutrino filtered $\gamma$-ray sources that make up the cosmic rays excess are blazars of the high synchrotron peak type. More statistics is needed to further investigate these sources as candidate cosmic ray and neutrino emitters.


title: Radio pulse search and X-Ray monitoring of SAX J1808.4-3658: What Causes its Orbital Evolution?

abstract: The accreting millisecond X-ray pulsar (AMXP) SAX J1808.4-3658, shows a peculiar orbital evolution that proceeds at a much faster pace than predicted by conservative binary evolution models. It is important to identify the underlying mechanism responsible for this behavior because it can help to understand how this system evolves. It has also been suggested that, when in quiescence, SAX J1808.4-3658 turns on as a radio pulsar, a circumstance that might provide a link between AMXPs and black-widow radio pulsars. In this work we report the results of a deep radio pulsation search at 2 GHz using the Green Bank Telescope in August 2014 and an X-ray monitoring of the 2015 outburst with Chandra, Swift, and INTEGRAL. In particular, we present the X-ray timing analysis of a 30-ks Chandra observation executed during the 2015 outburst. We detect no radio pulsations, and place the strongest limit to date on the pulsed radio flux density of any AMXP. We also find that the orbit of SAX J1808.4-3658 continues evolving at a fast pace and we compare it to the bhevior of other accreting and non-accreting binaries. We discuss two scenarios: either the neutron star has a large moment of inertia (I>1.7x10^45 g cm^2) and is ablating the donor (by using its spin-down power) thus generating mass-loss with an efficiency of 40% or the donor star is undergoing quasi-cyclic variations due to a varying mass-quadrupole induced by either a strong (1 kG) field or by some unidentified mechanism probably linked to irradiation.


title: Carleman estimates and null controllability for a degenerate population model

abstract: We deal with a degenerate model describing the dynamics of a population depending on time, on age and on space. We assume that the degeneracy can occur at the boundary or in the interior of the space domain and we focus on null controllability problem. To this aim, we prove first Carleman estimates for the associated adjoint problem, then, via cut off functions, we prove the existence of a null control function localized in the interior of the space domain.


title: Solar-system tests of the relativistic gravity

abstract: In 1859, Le Verrier discovered the Mercury perihelion advance anomaly. This anomaly turned out to be the first relativistic-gravity effect observed. During the 157 years to 2016, the precisions and accuracies of laboratory and space experiments, and of astrophysical and cosmological observations on relativistic gravity have been improved by 3-4 orders of magnitude. The improvements have been mainly from optical observations at first followed by radio observations. The achievements for the past 50 years are from radio Doppler tracking and radio ranging together with lunar laser ranging. At the present, the radio observations and lunar laser ranging experiments are similar in the accuracy of testing relativistic gravity. We review and summarize the present status of solar-system tests of relativistic gravity. With planetary laser ranging, spacecraft laser ranging and interferometric laser ranging (laser Doppler ranging) together with the development of drag-free technology, the optical observations will improve the accuracies by another 3-4 orders of magnitude in both the equivalence principle tests and solar-system dynamics tests of relativistic gravity. Clock tests and atomic interferometry tests of relativistic gravity will reach an ever-increasing precision. These will give crucial clues in both experimental and theoretical aspects of gravity, and may lead to answers to some profound issues in gravity and cosmology.


title: Cross Domain Knowledge Transfer for Person Re-identification

abstract: Person Re-Identification (re-id) is a challenging task in computer vision, especially when there are limited training data from multiple camera views. In this paper, we pro- pose a deep learning based person re-identification method by transferring knowledge of mid-level attribute features and high-level classification features. Building on the idea that identity classification, attribute recognition and re- identification share the same mid-level semantic representations, they can be trained sequentially by fine-tuning one based on another. In our framework, we train identity classification and attribute recognition tasks from deep Convolutional Neural Network (dCNN) to learn person information. The information can be transferred to the person re-id task and improves its accuracy by a large margin. Further- more, a Long Short Term Memory(LSTM) based Recurrent Neural Network (RNN) component is extended by a spacial gate. This component is used in the re-id model to pay attention to certain spacial parts in each recurrent unit. Experimental results show that our method achieves 78.3% of rank-1 recognition accuracy on the CUHK03 benchmark.


title: Chemical evolution of the Universe at 0.7 < z < 1.6 derived from abundance diagnostics of the broad-line region of quasars

abstract: We present an analysis of Mg II $\lambda2798$ and Fe II UV emission lines for archival Sloan Digital Sky Survey (SDSS) quasars to explore diagnostics of the magnesium-to-iron abundance ratio in a broad-line region cloud. Our sample consists of 17,432 quasars selected from the SDSS Data Release 7 with a redshift range of $0.72 < z < 1.63$. A strong anticorrelation between Mg II equivalent width (EW) and the Eddington ratio is found, while only a weak positive correlation is found between Fe II EW and the Eddington ratio. To investigate the origin of these differing behaviors of Mg II and Fe II emission lines, we have performed photoionization calculations using the Cloudy code, where constraints from recent reverberation mapping studies are considered. We find from calculations that (i) Mg II and Fe II emission lines are created at different regions in a photoionized cloud, and (ii) their EW correlations with the Eddington ratio can be explained by just changing the cloud gas density. These results indicate that the Mg II/Fe II flux ratio, which has been used as a first-order proxy for the Mg/Fe abundance ratio in chemical evolution studies with quasar emission lines, depends largely on the cloud gas density. By correcting this density dependence, we propose new diagnostics of the Mg/Fe abundance ratio for a broad line region cloud. Comparing the derived Mg/Fe abundance ratios with chemical evolution models, we suggest that $\alpha$-enrichment by mass loss from metal-poor intermediate-mass stars occurred at $z\sim2$ or earlier.


title: Entanglement in macroscopic systems

abstract: We present a theoretical study of entanglement in ensembles consisting of an arbitrary number of particles. Multipartite entanglement criteria in terms of observables are formulated for a fixed number of particles as well as for systems with a fluctuating particle number. To access the quality of the verified entanglement, the operational measure of the entanglement visibility is introduced. As an example, we perform an analytical characterization of quantum systems composed of interacting harmonic oscillators and witness the entanglement via energy measurements. Our analysis shows that the detectable entanglement decays for macroscopic particle numbers without the need for decoherence processes and for all considered coupling regimes. We further study thermal states of the given correlated system together with the temperature dependence of entanglement.


abstract: Multiple gaps in the tight-binding band of a pentagonal lattice are found. Unlike the Cairo pentagonal lattice this lattice is made of irregular pentagons with arms of different lengths. The tight-binding Hamiltonian is exactly solved to obtain analytic expressions of dispersion relations and eigenvectors. Four different band-gaps are identified along with two distinct indirect band-gaps at the Harrison point. Multiple band-gaps in this model may give rise to exotic electronic properties.


title: A microscopic theory for discontinuous shear thickening of frictional granular materials

abstract: We extend a recent theory for the rheology of frictionless granular materials [K. Suzuki and H. Hayakawa, Phys. Rev. Lett. 2015, 115, 098001] to the case of frictional disks in two dimensions. Employing a frictional contact model for molecular dynamics simulations, we derive difference equations of the shear stress, the granular temperature, and the spin temperature from the generalized Green-Kubo formula, where all the terms are given by microscopic expressions. The numerical solutions of the difference equations not only describe the flow curve, but also reproduce the hysteresis of shear stress, which can be the signature of discontinuous shear thickening of frictional disks.


title: Equitable coloring of sparse planar graphs

abstract: A proper vertex coloring of a graph $G$ is equitable if the sizes of color classes differ by at most one. The equitable chromatic threshold $\chi_{eq}^*(G)$ of $G$ is the smallest integer $m$ such that $G$ is equitably $n$-colorable for all $n\ge m$. We show that for planar graphs $G$ with minimum degree at least two, $\chi_{eq}^*(G)\le 4$ if the girth of $G$ is at least $10$, and $\chi_{eq}^*(G)\le 3$ if the girth of $G$ is at least $14$.


title: Embeddings of right-angled Artin groups into higher dimensional Thompson groups

abstract: In this paper, we construct embeddings of right-angled Artin groups into higher dimensional Thompson groups. In particular, we embed every right-angled Artin groups into n-dimensional Thompson group, where n is the number of complementary edges in the defining graph.


title: Holographic flows and thermodynamics of Polyakov loop impurities

abstract: We study holographic probes dual to heavy quark impurities interpolating between fundamental and symmetric/antisymmetric tensor representations in strongly coupled N=4 supersymmetric gauge theory. These correspond to non-conformal D3- and D5-brane probe embeddings in AdS_5 x S^5 exhibiting flows on their world-volumes. By examining the asymptotic regimes of the embeddings and the one-point function of static fields sourced by the boundary impurity, we conclude that the D5-brane embedding describes the screening of fundamental quarks in the UV into an antisymmetric source in the IR, whilst the non-conformal, D3-brane solution interpolates between the symmetric representation in the UV and fundamental sources in the IR. The D5-brane embeddings exhibit nontrivial thermodynamics with multiple branches of solutions, whilst the thermal analogue of the interpolating D3-brane solution does not appear to exist.


title: Asymptotic Theory of the Sparse Group LASSO

abstract: This paper proposes a general framework for penalized convex empirical criteria and a new version of the Sparse-Group LASSO (SGL, Simon and al., 2013), called the adaptive SGL, where both penalties of the SGL are weighted by preliminary random coefficients. We explore extensively its asymptotic properties and prove that this estimator satisfies the so-called oracle property (Fan and Li, 2001), that is the sparsity based estimator recovers the true underlying sparse model and is asymptotically normally distributed. Then we study its asymptotic properties in a double-asymptotic framework, where the number of parameters diverges with the sample size. We show by simulations that the adaptive SGL outperforms other oracle-like methods in terms of estimation precision and variable selection.


title: A New Class of Positive Semi-definite Tensors

abstract: In this paper, a new class of positive semi-definite tensors, the MO tensor, is introduced. It is inspired by the structure of Moler matrix, a class of test matrices. Then we focus on two special cases in the MO-tensors: Sup-MO tensor and essential MO tensor. They are proved to be positive definite tensors. Especially, the smallest H-eigenvalue of a Sup-MO tensor is positive and tends to zero as the dimension tends to infinity, and an essential MO tensor is also a completely positive tensor.


title: Action Principles for Relativistic Extended Magnetohydrodynamics: A Unified Theory of Magnetofluid Models

abstract: Two types of Eulerian action principles for relativistic extended magnetohydrodynamics (MHD) are formulated. With the first, the action is extremized under the constraints of density, entropy, and Lagrangian label conservation, which leads to a Clebsch representation for a generalized momentum and a generalized vector potential. The second action arises upon transformation to physical field variables, giving rise to a covariant bracket action principle, i.e., a variational principle in which constrained variations are generated by a degenerate Poisson bracket. Upon taking appropriate limits, the action principles lead to relativistic Hall MHD and well-known relativistic ideal MHD. For the first time, the Hamiltonian formulation of relativistic Hall MHD with electron thermal inertia (akin to [Comisso \textit{et al.}, Phys. Rev. Lett. {\bf 113}, 045001 (2014)] for the electron--positron plasma) is introduced. This thermal inertia effect allows for violation of the frozen-in magnetic flux condition in marked contrast to nonrelativistic Hall MHD that does satisfy the frozen-in condition. We also find violation of the frozen-in condition is accompanied by freezing-in of an alternative flux determined by a generalized vector potential. Finally, we derive a more general 3+1 Poisson bracket for nonrelativistic extended MHD, one that does not assume smallness of the electron ion mass ratio.


title: Slice regular Malmquist-Takenaka system in the quaternionic Hardy spaces

abstract: A slice regular analogue of the Malmquist-Takenaka system is investigated. It is proved that they form a complete orthonormal system in the quaternionic Hardy spaces of the unit ball. The properties of associated projection operator are studied. Key Words and Phrases: Functions of hypercomplex variables, quaternionic Hardy spaces, series expansions, interpolation, approximation by rational functions, quaternionic Malmquist-Takenaka system


title: Polynomial self-stabilizing algorithm and proof for a 2/3-approximation of a maximum matching

abstract: We present the first polynomial self-stabilizing algorithm for finding a $\frac23$-approximation of a maximum matching in a general graph. The previous best known algorithm has been presented by Manne \emph{et al.} \cite{ManneMPT11} and has a sub-exponential time complexity under the distributed adversarial daemon \cite{Coor}. Our new algorithm is an adaptation of the Manne \emph{et al.} algorithm and works under the same daemon, but with a time complexity in $O(n^3)$ moves. Moreover, our algorithm only needs one more boolean variable than the previous one, thus as in the Manne \emph{et al.} algorithm, it only requires a constant amount of memory space (three identifiers and $two$ booleans per node).


title: Pre-feasibility Study of Astronomical Data Archive Systems Powered by Public Cloud Computing and Hadoop Hive

abstract: The size of astronomical observational data is increasing yearly. For example, while Atacama Large Millimeter/submillimeter Array is expected to generate 200 TB raw data every year, Large Synoptic Survey Telescope is estimated to produce 15 TB raw data every night. Since the increasing rate of computing is much lower than that of astronomical data, to provide high performance computing (HPC) resources together with scientific data will be common in the next decade. However, the installation and maintenance costs of a HPC system can be burdensome for the provider. I note public cloud computing for an alternative way to get sufficient computing resources inexpensively. I build Hadoop and Hive clusters by utilizing a virtual private server (VPS) service and Amazon Elastic MapReduce (EMR), and measure their performances. The VPS cluster behaves differently day by day, while the EMR clusters are relatively stable. Since partitioning is essential for Hive, several partitioning algorithms are evaluated. In this paper, I report the results of the benchmarks and the performance optimizations in cloud computing environment.


title: Renormalization of the three-boson system with short-range interactions revisited

abstract: We consider renormalization of the three-body scattering problem in low-energy effective field theory of self-interacting scalar particles by applying time-ordered perturbation theory to the manifestly Lorentz-invariant formulation. The obtained leading-order equation is perturbatively renormalizable and non-perturbatively finite and does not require a three-body counter term in contrast to its non-relativistic approximation.