title: On Incidence Algebras and their Representations

abstract: We provide a unified approach, via deformations of incidence algebras, to several important types of representations with finiteness conditions, as well as the combinatorial algebras which produce them. We show that over finite dimensional algebras, representations with finitely many orbits, or finitely many invariant subspaces, or distributive coincide, and further coincide with thin modules in the acyclic case. Incidence algebras produce examples of such modules, and we show that algebras which are locally hereditary, and whose projective are distributive, or equivalently, which have finitely many ideals, are precisely the deformations of incidence algebras, and they are the finite dimensional algebra analogue of Pr${\rm \ddot{u}}$fer rings. New characterizations of incidence algebras are obtained, such as they are exactly algebras which have a faithful thin module. A main consequence is that "every thin module comes from an incidence algebra": if $V$ is either a thin module over a finite dimensional algebra $A$, or $V$ is distributive and $A$ is acyclic, then $A/{\rm ann}(V)$ is an incidence algebra and $V$ can be presented as its defining representation. We classify thin/distributive modules, and respectively deformations, of incidence algebras in terms of first and second cohomology of the simplicial realization of the poset. As a main application we obtain a complete classification of thin modules over any finite dimensional algebra. Their moduli spaces are multilinear varieties, and we show that any multilinear variety can be obtained in this way. A few other applications, to Grothendieck rings of combinatorial algebras, to graphs and their incidence matrices, to linear algebra (tori actions on matrices), and to a positive answer to the "no-gap conjecture" of Ringel and Bongartz, in the distributive case, are given. Other results in the literature are re-derived.


title: Finite-bath corrections to the second law of thermodynamics

abstract: The second law of thermodynamics states that a system in contact with a heat bath can undergo a transformation if and only if its free energy decreases. However, the "if" part of this statement is only true when the effective heat bath is infinite. In this article we remove this idealization and derive corrections to the second law in the case where the bath has a finite size, or equivalently finite heat capacity. This can also be translated to processes lasting a finite time, and we show that thermodynamical reversibility is lost in this regime. We do so in full generality, that is without assuming any particular model for the bath, the only parameters defining the bath are its temperature and heat capacity. We find connections with second order Shannon information theory, in particular in the case of Landauer erasure. We also consider the case of non-fluctuating work, and derive finite-bath corrections to the min and max free energies employed in single-shot thermodynamics.


title: The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries

abstract: Our concern is the overhead of answering OWL 2 QL ontology-mediated queries (OMQs) in ontology-based data access compared to evaluating their underlying tree-shaped and bounded treewidth conjunctive queries (CQs). We show that OMQs with bounded-depth ontologies have nonrecursive datalog (NDL) rewritings that can be constructed and evaluated in LOGCFL for combined complexity, even in NL if their CQs are tree-shaped with a bounded number of leaves, and so incur no overhead in complexity-theoretic terms. For OMQs with arbitrary ontologies and bounded-leaf CQs, NDL-rewritings are constructed and evaluated in LOGCFL. We show experimentally feasibility and scalability of our rewritings compared to previously proposed NDL-rewritings. On the negative side, we prove that answering OMQs with tree-shaped CQs is not fixed-parameter tractable if the ontology depth or the number of leaves in the CQs is regarded as the parameter, and that answering OMQs with a fixed ontology (of infinite depth) is NP-complete for tree-shaped and LOGCFL for bounded-leaf CQs.


title: A mean-field approach to Kondo-attractive-Hubbard model

abstract: With the purpose of investigating coexistence between magnetic order and superconductivity, we consider a model in which conduction electrons interact with each other, via an attractive Hubbard on-site coupling $U$, and with local moments on every site, via a Kondo-like coupling, $J$. The model is solved on a simple cubic lattice through a Hartree-Fock approximation, within a `semi-classical' framework which allows spiral magnetic modes to be stabilized. For a fixed electronic density, $n_c$, the small $J$ region of the ground state ($T=0$) phase diagram displays spiral antiferromagnetic (SAFM) states for small $U$. Upon increasing $U$, a state with coexistence between superconductivity (SC) and SAFM sets in; further increase in $U$ turns the spiral mode into a N\'eel antiferromagnet. The large $J$ region is a (singlet) Kondo phase. At finite temperatures, and in the region of coexistence, thermal fluctuations suppress the different ordered phases in succession: the SAFM phase at lower temperatures and SC at higher temperatures; also, reentrant behaviour is found to be induced by temperature. Our results provide a qualitative description of the competition between local moment magnetism and superconductivity in the borocarbides family.


title: The zeroth law in quasi-homogeneous thermodynamics and black holes

abstract: Motivated by black holes thermodynamics, we consider the zeroth law of thermodynamics for systems whose entropy is a quasi-homogeneous function of the extensive variables. We show that the generalized Gibbs-Duhem identity and the Maxwell construction for phase coexistence based on the standard zeroth law are incompatible in this case. We argue that the generalized Gibbs-Duhem identity suggests a revision of the zeroth law which in turns permits to reconsider Maxwell's construction in analogy with the standard case. The physical feasibility of our proposal is considered in the particular case of black holes.


title: Quasi-Monte Carlo for discontinuous integrands with singularities along the boundary of the unit cube

abstract: This paper studies randomized quasi-Monte Carlo (QMC) sampling for discontinuous integrands having singularities along the boundary of the unit cube $[0,1]^d$. Both discontinuities and singularities are extremely common in the pricing and hedging of financial derivatives and have a tremendous impact on the accuracy of QMC. It was previously known that the root mean square error of randomized QMC is only $o(n^{-1/2})$ for discontinuous functions with singularities. We find that under some mild conditions, randomized QMC yields an expected error of $O(n^{-1/2-1/(4d-2)+\epsilon})$ for arbitrarily small $\epsilon>0$. Moreover, one can get a better rate if the boundary of discontinuities is parallel to some coordinate axes. As a by-product, we find that the expected error rate attains $O(n^{-1+\epsilon})$ if the discontinuities are QMC-friendly, in the sense that all the discontinuity boundaries are parallel to coordinate axes. The results can be used to assess the QMC accuracy for some typical problems from financial engineering.


title: Numerical simulation of artificial microswimmers driven by Marangoni flow

abstract: In the present paper the behavior of a single artificial microswimmer is addressed, namely an active droplet moving by Marangoni flow. The non-uniform surface tension distribution underlying the propulsion mechanism of the droplet, is generated by a non-uniform distribution of surfactant on its surface. We provide a numerical treatment for the main factors playing a role in real systems, such as advection, diffusion and the presence of chemical species with different behaviors. The flow field inside and outside the droplet is derived, thus accounting for the two-way coupling between the surrounding fluid and the motion of the swimmer. Mass diffusion is also taken into account. In particular, we consider two concentration fields: the surfactant concentration in the bulk, i.e. in the liquid surrounding the droplet, and the surfactant concentration on the surface. The latter is related to the local surface tension, through an equation of state (Langmuir equation). We examine different interaction mechanisms between the bulk and the surface concentration fields, namely the case of insoluble surfactants attached to the surface (no exchange between the bulk and the surface) and soluble surfactants with adsorption/desorption at the surface. We also consider the case where the bulk concentration field is in equilibrium with the content of the droplet. The numerical results are validated through comparison with analytical calculations. We show that our model can reproduce the typical pusher/puller behavior presented by squirmers. It is also able to capture the self-propulsion mechanism of droplets driven by Belousov-Zhabotinsky (BZ) reactions, as well as a typical chemotactic behavior.


title: A Higher-Order Abstract Syntax Approach to the Verified Compilation of Functional Programs

abstract: We argue that the implementation and verification of compilers for functional programming languages are greatly simplified by employing a higher-order representation of syntax known as Higher-Order Abstract Syntax or HOAS. The underlying idea of HOAS is to use a meta-language that provides a built-in and logical treatment of binding related notions. By embedding the meta-language within a larger programming or reasoning framework, it is possible to absorb the treatment of binding structure in the object language into the meta-theory of the system, thereby greatly simplifying the overall implementation and reasoning processes. We develop the above argument in this thesis by presenting and demonstrating the effectiveness of an approach to the verified implementation of compiler transformations for functional programs that exploits HOAS. In this approach, transformations on functional programs are first articulated in the form of rule-based relational specifications. These specifications are rendered into programs in the language lambda Prolog. On the one hand, these programs serve directly as implementations. On the other hand, they can be used as input to the Abella system which allows us to prove properties about them and thereby about the implementations. Both lambda Prolog and Abella support the use of the HOAS approach. Thus, they constitute a framework that can be used to test out the benefits of the HOAS approach in verified compilation. We use them to implement and verify a compiler for a representative functional programming language that embodies the transformations that form the core of many compilers for such languages. In both the programming and the reasoning phases, we show how the use of the HOAS approach significantly simplifies the representation, manipulation, analysis and reasoning of binding structure.


title: Techniques in Lattice Basis Reduction

abstract: The credit on {\it reduction theory} goes back to the work of Lagrange, Gauss, Hermite, Korkin, Zolotarev, and Minkowski. Modern reduction theory is voluminous and includes the work of A. Lenstra, H. Lenstra and L. Lovasz who created the well known LLL algorithm, and many other researchers such as L. Babai and C. P. Schnorr who created significant new variants of basis reduction algorithms. In this paper, we propose and investigate the efficacy of new optimization techniques to be used along with LLL algorithm. The techniques we have proposed are: i) {\it hill climbing (HC)}, ii) {\it lattice diffusion-sub lattice fusion (LDSF)}, and iii) {\it multistage hybrid LDSF-HC}. The first technique relies on the sensitivity of LLL to permutations of the input basis $B$, and optimization ideas over the symmetric group $S_m$ viewed as a metric space. The second technique relies on partitioning the lattice into sublattices, performing basis reduction in the partition sublattice blocks, fusing the sublattices, and repeating. We also point out places where parallel computation can reduce run-times achieving almost linear speedup. The multistage hybrid technique relies on the lattice diffusion and sublattice fusion and hill climbing algorithms.


title: Efficiency of Synchrotron Radiation from Rotation-Powered Pulsars

abstract: Synchrotron radiation is widely considered as the origin of the pulsed non-thermal emissions from rotation-powered pulsars in optical and X-ray bands. In this paper, we study the synchrotron radiation emitted by the created electron and positron pairs in the pulsar magnetosphere to constrain on the energy conversion efficiency from the Poynting flux to the particle energy flux. We model two pair creation processes, two-photon collision which efficiently works in young $\gamma$-ray pulsars ($\lesssim10^6$ yr), and magnetic pair creation which is the dominant process to supply pairs in old pulsars ($\gtrsim10^6$ yr). Using the analytical model, we derive the maximum synchrotron luminosity as a function of the energy conversion efficiency. From the comparison with observations, we find that the energy conversion efficiency to the accelerated particles should be an order of unity in the magnetosphere, even though we make a number of the optimistic assumptions to enlarge the synchrotron luminosity. In order to explain the luminosity of the non-thermal X-ray/optical emission from pulsars with low spin-down luminosity $L_{\rm sd}\lesssim10^{34}$ erg s$^{-1}$, non-dipole magnetic field components should be dominant at the emission region. For the $\gamma$-ray pulsars with $L_{\rm sd}\lesssim10^{35}$ erg s$^{-1}$, observed $\gamma$-ray to X-ray and optical flux ratios are much higher than the flux ratio between curvature and the synchrotron radiations. We discuss some possibilities such as the coexistence of multiple accelerators in the magnetosphere as suggested from the recent numerical simulation results. The obtained maximum luminosity would be useful to select observational targets in X-ray and optical bands.


title: Decentralized Sparse Multitask RLS over Networks

abstract: Distributed adaptive signal processing has attracted much attention in the recent decade owing to its effectiveness in many decentralized real-time applications in networked systems. Because many natural signals are highly sparse with most entries equal to zero, several decentralized sparse adaptive algorithms have been proposed recently. Most of them is focused on the single task estimation problems, in which all nodes receive data associated with the same unknown vector and collaborate to estimate it. However, many applications are inherently multitask oriented and each node has its own unknown vector different from others'. The related multitask estimation problem benefits from collaborations among the nodes as neighbor nodes usually share analogous properties and thus similar unknown vectors. In this work, we study the distributed sparse multitask recursive least squares (RLS) problem over networks. We first propose a decentralized online alternating direction method of multipliers (ADMM) algorithm for the formulated RLS problem. The algorithm is simplified for easy implementation with closed-form computations in each iteration and low storage requirements. Moreover, to further reduce the complexity, we present a decentralized online subgradient method with low computational overhead. We theoretically analyze the convergence behavior of the proposed subgradient method and derive an error bound related to the network topology and algorithm parameters. The effectiveness of the proposed algorithms is corroborated by numerical simulations and an accuracy-complexity tradeoff between the proposed two algorithms is highlighted.


title: Distributed Linearized ADMM for Network Cost Minimization

abstract: In this work, we study a generic network cost minimization problem, in which every node has a local decision vector to determine. Each node incurs a cost depending on its decision vector and each link also incurs a cost depending on the decision vectors of its two end nodes. All nodes cooperate to minimize the overall network cost. The formulated network cost minimization problem has broad applications in distributed signal processing and control over multi-agent systems. To obtain a decentralized algorithm for the formulated problem, we resort to the distributed alternating direction method of multipliers (DADMM). However, each iteration of the DADMM involves solving a local optimization problem at each node, leading to intractable computational burden in many circumstances. As such, we propose a distributed linearized ADMM (DLADMM) algorithm for network cost minimization. In the DLADMM, each iteration only involves closed-form computations and avoids local optimization problems, which greatly reduces the computational complexity compared to the DADMM. We prove that the DLADMM converges to an optimal point when the local cost functions are convex and have Lipschitz continuous gradients. Linear convergence rate of the DLADMM is also established if the local cost functions are further strongly convex. Numerical experiments are conducted to corroborate the effectiveness of the DLADMM and we observe that the DLADMM has similar convergence performance as DADMM does while the former enjoys much lower computational overhead. The impact of network topology, connectivity and algorithm parameters are also investigated through simulations.


title: On the problem of existence and conjugacy of injectors of generalized $\pi$-soluble groups

abstract: In this paper, we prove the existence and conjugacy of injectors of a generalized $\pi$-soluble groups for the Hartley class defined by a invariable Hartley function, and give a description of the structure of the injectors.


title: On F-injectors of Fitting set of a finite group

abstract: Let $G$ be some generalized $\pi$-soluble groups and ${\cal F}$ be a Fitting set of $G$. In this paper, we prove the existence and conjugacy of ${\cal F}$-injectors of $G$, and give a description of the structure of the injectors.


title: Non-Universal and Universal Aspects of The Large Scattering Length Limit

abstract: The momentum density, $n(k)$ of interacting many-body Fermionic systems is studied (for $k>k_F)$ using examples of several well-known two-body interaction models. This work shows that $n(k)$ can not be approximated by a zero-range model for momenta $k$ greater than about $1/(a r_e^2)^{1/3}$, where $a$ is the scattering length, and $r_e$ the effective range. However, if the scattering length is large and one includes the effects of a fixed value of $r_e\ne0$, $n(k)$ is universal for momenta $k$ up to about $2/r_e$. An accurate relation between the energy of a two component Fermi-gas and an integral involving the density is derived. The short separation distance, $s$, behavior of the pair density is shown to vary as $s^6$.

categories: nucl-th cond-mat.quant-gas nucl-ex physics.atm-clus physics.atom-ph


title: Finite groups with permutable Hall subgroups

abstract: Let $\sigma =\{\sigma_{i} | i\in I\}$ be a partition of the set of all primes $\Bbb{P}$ and $G$ a finite group. A set ${\cal H}$ of subgroups of $G$ is said to be a \emph{complete Hall $\sigma $-set} of $G$ if every member $\ne 1$ of ${\cal H}$ is a Hall $\sigma _{i}$-subgroup of $G$ for some $i\in I$ and $\cal H$ contains exactly one Hall $\sigma _{i}$-subgroup of $G$ for every $i$ such that $\sigma _{i}\cap \pi (G)\ne \emptyset$. In this paper, we study the structure of $G$ assuming that some subgroups of $G$ permutes with all members of ${\cal H}$.


title: The Connectivity of Millimeter-Wave Networks in Urban Environments Modeled Using Random Lattices

abstract: Millimeter-wave (mmWave) communication opens up tens of giga-hertz (GHz) spectrum in the mmWave band for use by next-generation wireless systems, thereby solving the problem of spectrum scarcity. Maintaining connectivity stands out to be a key design challenge for mmWave networks deployed in urban regions due to the blockage effect characterizing mmWave propagation. Specifically, mmWave signals can be blocked by buildings and other large urban objects. In this paper, we set out to investigate the blockage effect on the connectivity of mmWave networks in a Manhattan-type urban region modeled using a random regular lattice while base stations (BSs) are Poisson distributed in the plane. In particular, we analyze the connectivity probability that a typical user is within the transmission range of a BS and connected by a line-of-sight. Using random lattice and stochastic geometry theories, different lower bounds on the connectivity probability are derived as functions of the buildings' size and probability of a lattice cell being occupied by a building as well as BS density and transmission range. The asymptotic connectivity probability is also derived for cases of dense buildings. Last, the results are extended to heterogeneous networks. Our study yields closed-form relations between the parameters of the building process and the BS process, providing useful guidelines for practical mmWave network deployment.


title: Predicting Stable Phase Monolayer Mo$_2$C (MXene), a Superconductor with Chemically-Tunable Critical Temperature

abstract: Two-dimensional (2D) superconductors have attracted great attention in recent years due to the possibility of new phenomena in lower dimensions. With many bulk transition metal carbides being well-known conventional superconductors, here we perform first-principles calculations to evaluate the possible superconductivity in a 2D monolayer Mo$_2$C. Three candidate structures (monolayer alpha-Mo$_2$C, 1T MXene-Mo$_2$C, and 2H MXene-Mo$_2$C) are considered and the most stable form is found to be the 2H MXene-Mo$_2$C. Electronic structure calculations indicate that both unpassivated and passivated 2H forms exhibit metallic properties. We obtain the phonon frequencies and electron-phonon couplings using density-functional perturbation theory, and based on the BCS theory and McMillan equation, estimate the critical temperatures to be in the ~0-13 K range, depending on the species of the surface termination (O, H and OH). The most interesting termination group is H, which can increase the electron-phonon coupling and bring the critical temperature to 13 K. This shows a rather high critical temperature, tunable by surface termination, making this 2D carbide an interesting test bed for low-dimensional superconductivity.


title: On the classification of the spectrally stable standing waves of the Hartree problem

abstract: We consider the fractional Hartree model, with general power non-linearity and space dimension. We construct variationally the "normalized" solutions for the corresponding Choquard-Pekar model - in particular a number of key properties, like smoothness and bell-shapedness are established. As a consequence of the construction, we show that these solitons are spectrally stable as solutions to the time-dependent Hartree model. In addition, we analyze the spectral stability of the Moroz-Van Schaftingen solitons of the classical Hartree problem, in any dimensions and power non-linearity. A full classification is obtained, the main conclusion of which is that only and exactly the "normalized" solutions (which exist only in a portion of the range) are spectrally stable.


title: Derandomized Balanced Allocation

abstract: In this paper, we study the maximum loads of explicit hash families in the $d$-choice schemes when allocating sequentially $n$ balls into $n$ bins. We consider the \emph{Uniform-Greedy} scheme, which provides $d$ independent bins for each ball and places the ball into the bin with the least load, and its non-uniform variant --- the \emph{Always-Go-Left} scheme introduced by V\"ocking. We construct a hash family with $O(\log n \log \log n)$ random bits based on the previous work of Celis et al. and show the following results. 1. With high probability, this hash family has a maximum load of $\frac{\log \log n}{\log d} + O(1)$ in the \emph{Uniform-Greedy} scheme. 2. With high probability, it has a maximum load of $\frac{\log \log n}{d \log \phi_d} + O(1)$ in the \emph{Always-Go-Left} scheme for a constant $\phi_d>1.61$. The maximum loads of our hash family match the maximum loads of a perfectly random hash function in the \emph{Uniform-Greedy} and \emph{Always-Go-Left} scheme separately, up to the low order term of constants. Previously, the best known hash families matching the same maximum loads of a perfectly random hash function in $d$-choice schemes were $O(\log n)$-wise independent functions, which needs $\Theta(\log^2 n)$ random bits.


title: From non-symmetric particle systems to non-linear PDEs on fractals

abstract: We present new results and challenges in obtaining hydrodynamic limits for non-symmetric (weakly asymmetric) particle systems (exclusion processes on pre-fractal graphs) converging to a non-linear heat equation. We discuss a joint density-current law of large numbers and a corresponding large deviations principle.

categories: math-ph cond-mat.stat-mech math.AP math.MP math.PR


title: Uniform confidence bands for nonparametric errors-in-variables regression

abstract: This paper develops a method to construct uniform confidence bands for a nonparametric regression function where a predictor variable is subject to a measurement error. We allow for the distribution of the measurement error to be unknown, but assume the availability of validation data or repeated measurements on the latent predictor variable. The proposed confidence band builds on the deconvolution kernel estimation and a novel application of the multiplier bootstrap method. We establish asymptotic validity of the proposed confidence band. To our knowledge, this is the first paper to derive asymptotically valid uniform confidence bands for nonparametric errors-in-variables regression.


title: Excitonic coupling dominates the homogeneous photoluminescence excitation linewidth in semicrystalline polymeric semiconductors

abstract: We measure the homogeneous excitation linewidth of regioregular poly(3-hexylthiophene), a model semicrystalline polymeric semiconductor, by means of two-dimensional coherent photoluminescence excitation spectroscopy. At a temperature of 8\,K, we find a linewidth that is always $\gtrsim 110$\,meV full-width-at-half-maximum, which is a significant fraction of the total linewidth. It displays a spectral dependence and is minimum near the 0--0 origin peak. We interpret this spectral dependence of the homogeneous excitation linewidth within the context of a weakly coupled aggregate model.


title: Secure Fingerprint Alignment and Matching Protocols

abstract: We present three private fingerprint alignment and matching protocols, based on what are considered to be the most precise and efficient fingerprint recognition algorithms, which use minutia points. Our protocols allow two or more honest-but-curious parties to compare their respective privately-held fingerprints in a secure way such that they each learn nothing more than an accurate score of how well the fingerprints match. To the best of our knowledge, this is the first time fingerprint alignment based on minutiae is considered in a secure computation framework. We build secure fingerprint alignment and matching protocols in both the two-party setting using garbled circuit evaluation and in the multi-party setting using secret sharing techniques. In addition to providing precise and efficient secure fingerprint alignment and matching, our contributions include the design of a number of secure sub-protocols for complex operations such as sine, cosine, arctangent, square root, and selection, which are likely to be of independent interest.


title: Training Deep Neural Networks via Optimization Over Graphs

abstract: In this work, we propose to train a deep neural network by distributed optimization over a graph. Two nonlinear functions are considered: the rectified linear unit (ReLU) and a linear unit with both lower and upper cutoffs (DCutLU). The problem reformulation over a graph is realized by explicitly representing ReLU or DCutLU using a set of slack variables. We then apply the alternating direction method of multipliers (ADMM) to update the weights of the network layerwise by solving subproblems of the reformulated problem. Empirical results suggest that the ADMM-based method is less sensitive to overfitting than the stochastic gradient descent (SGD) and Adam methods.


title: Symmetry Breaking in Occupation Number Based Slave-Particle Methods

abstract: We describe a theoretical approach for finding spontaneously symmetry-broken electronic phases due to strong electronic interactions when using recently developed slave-particle (slave-boson) approaches based on occupation numbers. We describe why, to date, spontaneous symmetry breaking has proven difficult to achieve in such approaches. We then provide a total-energy based approach for introducing auxiliary symmetry breaking fields into the solution of the slave-particle problem that leads to lowered total energies for symmetry broken phases. We point out that not all slave-particle approaches yield to energy lowering: the slave-particle model being used must explicitly describe the degrees of freedom that break symmetry. Finally, our total energy approach permits us to greatly simplify the formalism used to achieve a self-consistent solution between spinon and slave modes while increasing numerical stability and greatly speeding up the calculations.


title: Short Maturity Asian Options for the CEV Model

abstract: We present a rigorous study of the short maturity asymptotics for Asian options with continuous-time averaging, under the assumption that the underlying asset follows the Constant Elasticity of Variance (CEV) model. We present an analytical approximation for the Asian options prices which has the appropriate short maturity asymptotics, and demonstrate good numerical agreement of the asymptotic results with the results of Monte Carlo simulations and benchmark test cases for option parameters relevant in practical applications.


title: The chirality theorem

abstract: We show how chirality of the weak interactions stems from string independence in the string-local formalism of quantum field theory.


title: Dynamical Sampling on Finite Index Sets

abstract: We consider bounded operators $A$ acting iteratively on a finite set of vectors $\{f_i : i\in I\}$ in a Hilbert space $\mathcal H$ and address the problem of providing necessary and sufficient conditions for the collection of iterates $\{A^nf_i : i\in I,\,n=0,1,2,\ldots\}$ to form a frame for the space $\mathcal H$. For normal operators $A$ we completely solve the problem by proving a characterization theorem. Our proof incorporates techniques from different areas of mathematics, such as operator theory, spectral theory, harmonic analysis, and complex analysis in the unit disk. In the second part of the paper we drop the strong condition on $A$ to be normal. Despite this quite general setting, we are able to prove a characterization which allows to infer many strong necessary conditions on the operator $A$. For example, $A$ needs to be similar to a contraction of a very special kind. We also prove a characterization theorem for the finite-dimensional case. --- These results provide a theoretical solution to the so-called Dynamical Sampling problem where a signal $f$ that is evolving in time through iterates of an operator $A$ is spatially sub-sampled at various times and one seeks to reconstruct the signal $f$ from these spatial-temporal samples.


title: On the Improvement of Quality and Reliability of Trust Cues in Micro-task Crowdsourcing (Position paper)

abstract: Micro-task crowdsourcing has become a successful mean to obtain high-quality data from a large crowd of diverse people. In this context, trust between all the involved actors (i.e. requesters, workers, and platform owners) is a critical factor for acceptance and long-term success. As actors have no expectation for "real life" meetings, thus trust can only be attributed through computer-mediated trust cues like workers qualifications and requester ratings. Such cues are often the result of technical or social assessments that are performed in isolation, considering only a subset of relevant properties, and with asynchronous and asymmetrical interactions. In this paper, we advocate for a new generation of micro-task crowdsourcing systems that pursue an holistic understanding of trust, by offering an open, transparent, privacy-friendly, and socially-aware view on the all the actors of a micro-task crowdsourcing environment.


title: The cosmic shoreline: the evidence that escape determines which planets have atmospheres, and what this may mean for Proxima Centauri b

abstract: The planets of the Solar System divide neatly between those with atmospheres and those without when arranged by insolation ($I$) and escape velocity ($v_{\mathrm{esc}}$). The dividing line goes as $I \propto v_{\mathrm{esc}}^4$. Exoplanets with reported masses and radii are shown to crowd against the extrapolation of the Solar System trend, making a metaphorical cosmic shoreline that unites all the planets. The $I \propto v_{\mathrm{esc}}^4$ relation may implicate thermal escape. We therefore address the general behavior of hydrodynamic thermal escape models ranging from Pluto to highly-irradiated Extrasolar Giant Planets (EGPs). Energy-limited escape is harder to test because copious XUV radiation is mostly a feature of young stars, and hence requires extrapolating to historic XUV fluences ($I_{\mathrm{xuv}}$) using proxies and power laws. An energy-limited shoreline should scale as $I_{\mathrm{xuv}} \propto v_{\mathrm{esc}}^3\sqrt{\rho}$, which differs distinctly from the apparent $I_{\mathrm{xuv}} \propto v_{\mathrm{esc}}^4$ relation. Energy-limited escape does provide good quantitative agreement to the highly irradiated EGPs. Diffusion-limited escape implies that no planet can lose more than 1% of its mass as H$_2$. Impact erosion, to the extent that impact velocities $v_{\mathrm{imp}}$ can be estimated for exoplanets, fits to a $v_{\mathrm{imp}} \approx 4\,-\,5\, v_{\mathrm{esc}}$ shoreline. The proportionality constant is consistent with what the collision of comet Shoemaker-Levy 9 showed us we should expect of modest impacts in deep atmospheres. With respect to the shoreline, Proxima Centauri b is on the metaphorical beach. Known hazards include its rapid energetic accretion, high impact velocities, its early life on the wrong side of the runaway greenhouse, and Proxima Centauri's XUV radiation. In its favor is a vast phase space of unknown unknowns.


title: Technical Details of the Proof of the Sine Inequality \\[1.2ex] {\normalsize $\displaystyle \sum_{k=1}^{n-1}\left( \frac{n}{k} - \frac{k}{n} \right) ^\beta \sin(kx) \geq 0$

abstract: In a recent study, H. Alzer and the author showed that the sine polynomial $$ \sum_{k=1}^{n-1} \left( \frac{n}{k} - \frac{k}{n} \right) ^\beta \,\sin(kx) > 0 $$ is nonnegative for $ x\in[0,\pi ] $, $ n\geq 2, \, \beta \geq \beta _1 := \frac{\log(2)}{\log(16/5)} . $ This result, among others, will be presented in a forthcoming article. The proof relies on quite a number of technical Lemmas and inequalities. We have decided to delegate all the tedious details of the proofs of these Lemmas in a separate article, namely, the current one. Some of the proofs require brute-force numerical computation, performed with the help of the computer software MAPLE. A few of the Lemmas included here are of independent interest.


title: On the functional window of the avian compass

abstract: The functional window is an experimentally observed property of the avian compass that refers to its selectivity around the geomagnetic field strength. We show that the radical-pair model, using biologically feasible hyperfine parameters, can qualitatively explain the salient features of the avian compass as observed from behavioral experiments: its functional window, as well as disruption of the compass action by an RF field of specific frequencies. Further, we show that adjustment of the hyperfine parameters can tune the functional window, suggesting a possible mechanism for its observed adaptability to field variation. While these lend strong support to the radical-pair model, we find it impossible to explain quantitatively the observed width of the functional window within this model, or even with simple augmentations thereto. This suggests that a deeper generalization of this model may be called for; we conjecture that environmental coupling may be playing a subtle role here that has not been captured accurately. Lastly, we examine a possible biological purpose to the functional window; assuming evolutionary benefit from radical-pair magnetoreception, we conjecture that the functional window is simply a corollary thereof and brings no additional advantage.


title: Whale swarm algorithm for function optimization

abstract: Increasing nature-inspired metaheuristic algorithms are applied to solving the real-world optimization problems, as they have some advantages over the classical methods of numerical optimization. This paper has proposed a new nature-inspired metaheuristic called Whale Swarm Algorithm for function optimization, which is inspired by the whales behavior of communicating with each other via ultrasound for hunting. The proposed Whale Swarm Algorithm has been compared with several popular metaheuristic algorithms on comprehensive performance metrics. According to the experimental results, Whale Swarm Algorithm has a quite competitive performance when compared with other algorithms.


title: K-Dominant Skyline Join Queries: Extending the Join Paradigm to K-Dominant Skylines

abstract: Skyline queries enable multi-criteria optimization by filtering objects that are worse in all the attributes of interest than another object. To handle the large answer set of skyline queries in high-dimensional datasets, the concept of k-dominance was proposed where an object is said to dominate another object if it is better (or equal) in at least k attributes. This relaxes the full domination criterion of normal skyline queries and, therefore, produces lesser number of skyline objects. This is called the k-dominant skyline set. Many practical applications, however, require that the preferences are applied on a joined relation. Common examples include flights having one or multiple stops, a combination of product price and shipping costs, etc. In this paper, we extend the k-dominant skyline queries to the join paradigm by enabling such queries to be asked on joined relations. We call such queries KSJQ (k-dominant skyline join queries). The number of skyline attributes, k, that an object must dominate is from the combined set of skyline attributes of the joined relation. We show how pre-processing the base relations helps in reducing the time of answering such queries over the naive method of joining the relations first and then running the k-dominant skyline computation. We also extend the query to handle cases where the skyline preference is on aggregated values in the joined relation (such as total cost of the multiple legs of the flight) which are available only after the join is performed. In addition to these problems, we devise efficient algorithms to choose the value of k based on the desired cardinality of the final skyline set. Experiments on both real and synthetic datasets demonstrate the efficiency, scalability and practicality of our algorithms.


title: Enhanced Kauffman bracket

abstract: S. Nelson, M. Orrison, V. Rivera {\cite{S}} modified Kauffman's construction of bracket. Their invariant $\Phi^{\beta}_X$ takes value in a finite ring $Z_2[t]/(1+t+t^3)$. In this paper, the author generalizes this invariant. The new invariant takes value in a polynomial ring. Furthermore, for a tricolorable link diagram, the author gives a bracket invariant which gives lower bound on number of crossings with different (same) colors.


title: Structure and Magnetization of Co4N Thin Film

abstract: In this work, we studied the local structure and the magnetization of Co4N thin films deposited by a reactive dc magnetron sputtering process. The interstitial incorporation of N atoms in a fcc Co lattice is expected to expand the structure and such expansion yields interesting magnetic properties characterized by a larger than Co magnetic moment and a very high value of spin polarization ratio in Co4N. By optimizing the growth conditions, we prepared Co4N film having lattice parameter close to its theoretically predicted value. The N concentration was measured using secondary ion mass spectroscopy. Detailed magnetization measurements using bulk magnetization method and polarized neutron reflectivity confirm that the magnetic moment of Co in Co4N is higher than that of Co.


title: Wind Accretion - Observations Vs Theory

abstract: The theory of quasi-spherical subsonic accretion onto magnetized rotating neutron star is reviewed. Different regimes of quasi-spherical accretion onto a neutron star: supersonic (Bondi) accretion, which takes place when the captured matter cools down rapidly and falls supersonically towards the neutron-star magnetosphere, and subsonic (settling) accretion which occurs when the plasma remains hot until it meets the magnetospheric boundary. In subsonic accretion, which works at X-ray luminosities $\lesssim 4\times 10^{36}$~erg~s$^{-1}$, a hot quasi-spherical shell must form around the magnetosphere, and the actual accretion rate onto the neutron star is determined by the ability of the plasma to enter the magnetosphere due to the Rayleigh-Taylor instability. We show how the dimensionless parameters of the theory can be determined from observations of equilibrium X-ray pulsars (Vela X-1, GX 301-2). We also discuss how in the settling accretion theory bright X-ray flares ($\sim 10^{38}-10^{40}$~ergs) observed in supergiant fast X-ray transients (SFXT) may be produced by sporadic capture of magnetized stellar-wind plasma. At sufficiently low accretion rates, magnetic reconnection can enhance the magnetospheric plasma entry rate, resulting in copious production of X-ray photons, strong Compton cooling and ultimately in unstable accretion of the entire shell. A bright flare develops on the free-fall time scale in the shell, and the typical energy released in an SFXT bright flare corresponds to the mass of the shell.


title: Bilevel Optimization based on Iterative Approximation of Multiple Mappings

abstract: A large number of application problems involve two levels of optimization, where one optimization task is nested inside the other. These problems are known as bilevel optimization problems and have been studied by both classical optimization community and evolutionary optimization community. Most of the solution procedures proposed until now are either computationally very expensive or applicable to only small classes of bilevel optimization problems adhering to mathematically simplifying assumptions. In this paper, we propose an evolutionary optimization method that tries to reduce the computational expense by iteratively approximating two important mappings in bilevel optimization; namely, the lower level rational reaction mapping and the lower level optimal value function mapping. The algorithm has been tested on a large number of test problems and comparisons have been performed with other algorithms. The results show the performance gain to be quite significant. To the best knowledge of the authors, a combined theory-based and population-based solution procedure utilizing mappings has not been suggested yet for bilevel problems.


title: Restoring the Pauli principle in the random phase approximation ground state

abstract: Random phase approximation ground state contains electronic configurations where two (and more) identical electrons can occupy the same molecular spin-orbital violating the Pauli exclusion principle. This overcounting of electronic configurations happens due to quasiboson approximation in the treatment of electron-hole pair operators. We describe the method to restore the Pauli principle in the RPA wavefunction. The proposed theory is illustrated by the calculations of molecular dipole moments and electronic kinetic energies. The Hartree-Fock based RPA, which is corrected for the Pauli principle, gives the results of comparable accuracy with M{\o}ller-Plesset second order perturbation theory and coupled-cluster singles and doubles method.


title: Discriminating leptonic Yukawa interactions with doubly charged scalar at the ILC

abstract: We explore discrimination of two types of leptonic Yukawa interactions associated with Higgs triplet, $\bar L^c_L \Delta L_L$, and with $SU(2)$ singlet doubly charged scalar, $\bar e_R^c k^{++} e_R$. These interactions can be distinguished by measuring the effects of doubly charged scalar boson exchange in the $e^+ e^- \to \ell^+ ell^-$ processes at polarized electron-positron colliders. We study a forward-backward asymmetry of scattering angular distribution to estimate the sensitivity for these effects at the ILC. In addition, we investigate prospects of upper bounds on the Yukawa couplings by combining the constraints of lepton flavor violation processes and the $e^+ e^- \to \ell^+ \ell^-$ processes at the LEP and the ILC.


title: Helen of Troy, and the birth of Fuzzy Logic

abstract: The poem Helen of the Nobel laureate George Seferis was inspired by the anti war play Helen of Euripides. In his poem, Seferis empathizes with the hero of the tragedy, Teucer, who opposed the involvement of The Gods in the lives of the humans, posing unanswered and contradictory questions. With the verse What is god; What is not a god; what is there in between them, the ancient poet Euripides sets foundations to the kind of logic that one can consider as a predecessor of Fuzzy Logic. It is worth noting that when Seferis received the Nobel Prize in Stockholm in 1963, he stated: Right now I feel I am a contradiction myself, a sentence charged with the new language of mathematical logic of the 20th century. Interplaying with the famous words of Karl Weierstrass It is true that a mathematician who is not somewhat of a poet, will never be a perfect mathematician in this article we discuss, through two poems, of how poetry and mathematical logic might have influenced each other.


title: Dependence of the 0.5(2e2/h) conductance plateau on the aspect ratio of InAs quantum point contacts with in-plane side gates

abstract: The observation of a 0.5 conductance plateau in asymmetrically biased quantum point contacts with in-plane side gates has been attributed to the onset of spin-polarized current through these structures. For InAs quantum point contacts with the same width but longer channel length, there is roughly a fourfold increase in the range of common sweep voltage applied to the side gates over which the 0.5 conductance plateau is observed when the QPC aspect ratio (ratio of length over width of the narrow portion of the structure) is increased by a factor 3. Non-equilibrium Green s function simulations indicate that the increase in the size of the 0.5 conductance plateau is due to an increased importance, over a larger range of common sweep voltage, of the effects of electron-electron interactions in QPC devices with larger aspect ratio. The use of asymmetrically biased QPCs with in-plane side gates and large aspect ratio could therefore pave the way to build robust spin injectors and detectors for the successful implementation of spin field effect transistors


title: Toposes from Forcing for Intuitionistic ZF with Atoms

abstract: We introduce the forcing model of IZFA (Intuitionistic Zermelo-Fraenkel set theory with Atoms) for every Grothendieck topology and prove that the topos of sheaves on every site is equivalent to the category of 'sets in this forcing model'.


title: Gathering Anonymous, Oblivious Robots on a Grid

abstract: We consider a swarm of $n$ autonomous mobile robots, distributed on a 2-dimensional grid. A basic task for such a swarm is the gathering process: All robots have to gather at one (not predefined) place. A common local model for extremely simple robots is the following: The robots do not have a common compass, only have a constant viewing radius, are autonomous and indistinguishable, can move at most a constant distance in each step, cannot communicate, are oblivious and do not have flags or states. The only gathering algorithm under this robot model, with known runtime bounds, needs $\mathcal{O}(n^2)$ rounds and works in the Euclidean plane. The underlying time model for the algorithm is the fully synchronous $\mathcal{FSYNC}$ model. On the other side, in the case of the 2-dimensional grid, the only known gathering algorithms for the same time and a similar local model additionally require a constant memory, states and "flags" to communicate these states to neighbors in viewing range. They gather in time $\mathcal{O}(n)$. In this paper we contribute the (to the best of our knowledge) first gathering algorithm on the grid that works under the same simple local model as the above mentioned Euclidean plane strategy, i.e., without memory (oblivious), "flags" and states. We prove its correctness and an $\mathcal{O}(n^2)$ time bound in the fully synchronous $\mathcal{FSYNC}$ time model. This time bound matches the time bound of the best known algorithm for the Euclidean plane mentioned above. We say gathering is done if all robots are located within a $2\times 2$ square, because in $\mathcal{FSYNC}$ such configurations cannot be solved.


title: A Minimax Algorithm Better Than Alpha-beta?: No and Yes

abstract: This paper has three main contributions to our understanding of fixed-depth minimax search: (A) A new formulation for Stockman's SSS* algorithm, based on Alpha-Beta, is presented. It solves all the perceived drawbacks of SSS*, finally transforming it into a practical algorithm. In effect, we show that SSS* = alpha-beta + ransposition tables. The crucial step is the realization that transposition tables contain so-called solution trees, structures that are used in best-first search algorithms like SSS*. Having created a practical version, we present performance measurements with tournament game-playing programs for three different minimax games, yielding results that contradict a number of publications. (B) Based on the insights gained in our attempts at understanding SSS*, we present a framework that facilitates the construction of several best-first fixed- depth game-tree search algorithms, known and new. The framework is based on depth-first null-window Alpha-Beta search, enhanced with storage to allow for the refining of previous search results. It focuses attention on the essential differences between algorithms. (C) We present a new instance of the framework, MTD(f). It is well-suited for use with iterative deepening, and performs better than algorithms that are currently used in most state-of-the-art game-playing programs. We provide experimental evidence to explain why MTD(f) performs better than the other fixed-depth minimax algorithms.


title: Parallel Long Short-Term Memory for Multi-stream Classification

abstract: Recently, machine learning methods have provided a broad spectrum of original and efficient algorithms based on Deep Neural Networks (DNN) to automatically predict an outcome with respect to a sequence of inputs. Recurrent hidden cells allow these DNN-based models to manage long-term dependencies such as Recurrent Neural Networks (RNN) and Long Short-Term Memory (LSTM). Nevertheless, these RNNs process a single input stream in one (LSTM) or two (Bidirectional LSTM) directions. But most of the information available nowadays is from multistreams or multimedia documents, and require RNNs to process these information synchronously during the training. This paper presents an original LSTM-based architecture, named Parallel LSTM (PLSTM), that carries out multiple parallel synchronized input sequences in order to predict a common output. The proposed PLSTM method could be used for parallel sequence classification purposes. The PLSTM approach is evaluated on an automatic telecast genre sequences classification task and compared with different state-of-the-art architectures. Results show that the proposed PLSTM method outperforms the baseline n-gram models as well as the state-of-the-art LSTM approach.


title: Davenport's constant for groups with large exponent

abstract: Let $G$ be a finite abelian group. We show that its Davenport constant $D(G)$ satisfies $D(G)\leq \exp(G)+\frac{|G|}{\exp(G)}-1$, provided that $\exp(G)\geq\sqrt{|G|}$, and $D(G)\leq 2\sqrt{|G|}-1$, if $\exp(G)<\sqrt{|G|}$. This proves a conjecture by Balasubramanian and the first named author.


title: Phase-controlled dual-comb coherent anti-Stokes Raman spectroscopic imaging

abstract: Coherent Raman microscopy provide label-free imaging by interrogating the intrinsic vibration of biomolecules. Nevertheless, trade-off between high chemical-specificity and high imaging-speed currently exists in transition from spectroscopy to spectroscopic imaging when capturing dynamics in complex living systems. Here, we present a novel concept in dual-comb scheme to substantially beat this trade-off and facilitate high-resolution broadband coherent anti-Stokes Raman spectroscopic imaging based on down-converted, automatically varying delay-time in spectral focusing excitation. A rapid measurement of vibrational microspectroscopy on sub-microsecond scale over a spectral span ~700 cm-1 with solid signal-to-noise ratio provides access to well-resolved molecular signatures within the fingerprint region. We demonstrate this high-performance spectroscopic imaging of spatially inhomogeneous distributions of chemical substances as well as the carotenoids accumulation in plant cells. This technique offers an unprecedented route for broadband CARS imaging with hundreds of kHz frame rate using available 1-GHz oscillators.


title: Tighter entanglement monogamy relations of qubit systems

abstract: Monogamy relations characterize the distributions of entanglement in multipartite systems. We investigate monogamy relations related to the concurrence $C$ and the entanglement of formation $E$. We present new entanglement monogamy relations satisfied by the $\alpha$-th power of concurrence for all $\alpha\geq2$, and the $\alpha$-th power of the entanglement of formation for all $\alpha\geq\sqrt{2}$. These monogamy relations are shown to be tighter than the existing ones.


title: Recombination of open-f-shell tungsten ions

abstract: We review experimental and theoretical efforts aimed at a detailed understanding of the recombination of electrons with highly-charged tungsten ions characterised by an open 4f sub-shell. Highly-charged tungsten occurs as a plasma contaminant in ITER-like tokamak experiments, where it acts as an unwanted cooling agent. Modelling of the charge state populations in a plasma requires reliable thermal rate coefficients for charge-changing electron collisions. The electron recombination of medium-charged tungsten species with open 4f sub-shells is especially challenging to compute reliably. Storage-ring experiments have been conducted that yielded recombination rate coefficients at high energy resolution and well-understood systematics. Significant deviations compared to simplified, but prevalent, computational models have been found. A new class of ab-initio numerical calculations has been developed that provides reliable predictions of the total plasma recombination rate coefficients for these ions.


title: Reverse Classification Accuracy: Predicting Segmentation Performance in the Absence of Ground Truth

abstract: When integrating computational tools such as automatic segmentation into clinical practice, it is of utmost importance to be able to assess the level of accuracy on new data, and in particular, to detect when an automatic method fails. However, this is difficult to achieve due to absence of ground truth. Segmentation accuracy on clinical data might be different from what is found through cross-validation because validation data is often used during incremental method development, which can lead to overfitting and unrealistic performance expectations. Before deployment, performance is quantified using different metrics, for which the predicted segmentation is compared to a reference segmentation, often obtained manually by an expert. But little is known about the real performance after deployment when a reference is unavailable. In this paper, we introduce the concept of reverse classification accuracy (RCA) as a framework for predicting the performance of a segmentation method on new data. In RCA we take the predicted segmentation from a new image to train a reverse classifier which is evaluated on a set of reference images with available ground truth. The hypothesis is that if the predicted segmentation is of good quality, then the reverse classifier will perform well on at least some of the reference images. We validate our approach on multi-organ segmentation with different classifiers and segmentation methods. Our results indicate that it is indeed possible to predict the quality of individual segmentations, in the absence of ground truth. Thus, RCA is ideal for integration into automatic processing pipelines in clinical routine and as part of large-scale image analysis studies.


title: Multispectral computational ghost imaging with multiplexed illumination

abstract: Computational ghost imaging is a robust and compact system that has drawn wide attentions over the last two decades. Multispectral imaging possesses spatial and spectral resolving abilities, is very useful for surveying scenes and extracting detailed information. Existing multispectral imagers mostly utilize narrow band filters or dispersive optical devices to separate lights of different wavelengths, and then use multiple bucket detectors or an array detector to record them separately. Here, we propose a novel multispectral ghost imaging method that uses one single bucket detector with multiplexed illumination to produce colored image. The multiplexed illumination patterns are produced by three binary encoded matrices (corresponding to red, green, blue colored information, respectively) and random patterns. The results of simulation and experiment have verified that our method can be effective to recover the colored object. Our method has two major advantages: one is that the binary encoded matrices as cipher keys can protect the security of private contents; the other is that multispectral images are produced simultaneously by one single-pixel detector, which significantly reduces the amount of the data acquisition.


title: Disruptive Behavior Disorder (DBD) Rating Scale for Georgian Population

abstract: In the presented study Parent/Teacher Disruptive Behavior Disorder (DBD) rating scale based on the Diagnostic and Statistical Manual of Mental Disorders (DSM-IV-TR [APA, 2000]) which was developed by Pelham and his colleagues (Pelham et al., 1992) was translated and adopted for assessment of childhood behavioral abnormalities, especially ADHD, ODD and CD in Georgian children and adolescents. The DBD rating scale was translated into Georgian language using back translation technique by English language philologists and checked and corrected by qualified psychologists and psychiatrist of Georgia. Children and adolescents in the age range of 6 to 16 years (N 290; Mean Age 10.50, SD=2.88) including 153 males (Mean Age 10.42, SD= 2.62) and 141 females (Mean Age 10.60, SD=3.14) were recruited from different public schools of Tbilisi and the Neurology Department of the Pediatric Clinic of the Tbilisi State Medical University. Participants objectively were assessed via interviewing parents/teachers and qualified psychologists in three different settings including school, home and clinic. In terms of DBD total scores revealed statistically significant differences between healthy controls (M=27.71, SD=17.26) and children and adolescents with ADHD (M=61.51, SD= 22.79). Statistically significant differences were found for inattentive subtype between control (M=8.68, SD=5.68) and ADHD (M=18.15, SD=6.57) groups. In general it was shown that children and adolescents with ADHD had high score on DBD in comparison to typically developed persons. In the study also was determined gender wise prevalence in children and adolescents with ADHD, ODD and CD. The research revealed prevalence of males in comparison with females in all investigated categories.


title: ArtGAN: Artwork Synthesis with Conditional Categorical GANs

abstract: This paper proposes an extension to the Generative Adversarial Networks (GANs), namely as ARTGAN to synthetically generate more challenging and complex images such as artwork that have abstract characteristics. This is in contrast to most of the current solutions that focused on generating natural images such as room interiors, birds, flowers and faces. The key innovation of our work is to allow back-propagation of the loss function w.r.t. the labels (randomly assigned to each generated images) to the generator from the discriminator. With the feedback from the label information, the generator is able to learn faster and achieve better generated image quality. Empirically, we show that the proposed ARTGAN is capable to create realistic artwork, as well as generate compelling real world images that globally look natural with clear shape on CIFAR-10.


title: Citation-based clustering of publications using CitNetExplorer and VOSviewer

abstract: Clustering scientific publications in an important problem in bibliometric research. We demonstrate how two software tools, CitNetExplorer and VOSviewer, can be used to cluster publications and to analyze the resulting clustering solutions. CitNetExplorer is used to cluster a large set of publications in the field of astronomy and astrophysics. The publications are clustered based on direct citation relations. CitNetExplorer and VOSviewer are used together to analyze the resulting clustering solutions. Both tools use visualizations to support the analysis of the clustering solutions, with CitNetExplorer focusing on the analysis at the level of individual publications and VOSviewer focusing on the analysis at an aggregate level. The demonstration provided in this paper shows how a clustering of publications can be created and analyzed using freely available software tools. Using the approach presented in this paper, bibliometricians are able to carry out sophisticated cluster analyses without the need to have a deep knowledge of clustering techniques and without requiring advanced computer skills.


title: Optimal heat transfer enhancement in plane Couette flow

abstract: We discuss what is an optimal velocity field for more heat transfer and less energy dissipation under the constraints of the continuity equation for the velocity and the advection-diffusion equation for temperature in plane Couette flow. The excess of a wall heat flux (or equivalently total scalar dissipation) over total energy dissipation is taken as an objective functional, and by using a variational method the Euler-Lagrange equations are derived, which are solved numerically to obtain the optimal states in the sense of maximisation of the functional. At high Reynolds numbers, the optimal heat transfer is found in three-dimensional velocity field in which hierarchical self-similar quasi-streamwise vortical structures appear. The streamwise vortices are tilted in the spanwise direction so that they may produce the anticyclonic vorticity antiparallel to the mean-shear vorticity, bringing about significant three-dimensionality. The isotherms wrapped around the tilted anticyclonic vortices undergo the cross-axial shear of the mean flow, so that the spacing of the wrapped isotherms is narrower and so the temperature gradient is steeper than those around a purely streamwise (two-dimensional) vortex tube, intensifying scalar dissipation and so a wall heat flux. Moreover, the tilted anticyclonic vortices induce the flow towards the wall to push low- (or high-) temperature fluids on the hot (or cold) wall, enhancing a wall heat flux. The optimised three-dimensional velocity fields achieve a much higher wall heat flux and much lower energy dissipation than those of plane Couette turbulence.


title: Quasinormal modes of gravitational perturbation around some well-known regular black holes

abstract: In this paper, the quasinormal modes of gravitational perturbation around some well-known regular black holes were evaluated by using the WKB approximation as well as the asymptotic iteration method. Through numerical calculation, we make a detailed analysis of the gravitational QNM frequencies by varying the characteristic parameters of the gravitational perturbation and the spacetime charge parameters of the regular black holes. It is found that the imaginary part of quasinormal modes as a function of the charge parameter has different monotonic behaviors for different black hole spacetimes. Moreover, the asymptotic expressions of gravitational QNMs for $l \gg 1$ are obtained by using the eikonal limit method. We demonstrate that the gravitational perturbation is stable in all these spacetimes.


title: On the strongest three-valued paraconsistent logic contained in classical logic and its dual

abstract: LP$^{\supset,\mathsf{F}}$ is a three-valued paraconsistent propositional logic which is essentially the same as J3. It has most properties that have been proposed as desirable properties of a reasonable paraconsistent propositional logic. However, it follows easily from already published results that there are exactly 8192 different three-valued paraconsistent propositional logics that have the properties concerned. In this paper, properties concerning the logical equivalence relation of a logic are used to distinguish LP$^{\supset,\mathsf{F}}$ from the others. As one of the bonuses of focussing on the logical equivalence relation, it is found that only 32 of the 8192 logics have a logical equivalence relation that satisfies the identity, annihilation, idempotent, and commutative laws for conjunction and disjunction. For most properties of LP$^{\supset,\mathsf{F}}$ that have been proposed as desirable properties of a reasonable paraconsistent propositional logic, its paracomplete analogue has a comparable property. In this paper, properties concerning the logical equivalence relation of a logic are also used to distinguish the paracomplete analogue of LP$^{\supset,\mathsf{F}}$ from the other three-valued paracomplete propositional logics with those comparable properties.


title: Elastic Neumann-Poincar\'e operators on three dimensional smooth domains: Polynomial compactness and spectral structure

abstract: We prove that the elastic Neumann--Poincar\'e operator defined on the smooth boundary of a bounded domain in three dimensions, which is known to be non-compact, is in fact polynomially compact. As a consequence, we prove that the spectrum of the elastic Neumann-Poincar\'e operator consists of three non-empty sequences of eigenvalues accumulating to certain numbers determined by Lam\'e parameters. These results are proved using the surface Riesz transform, calculus of pseudo-differential operators and the spectral mapping theorem.


title: Twisted finite-volume corrections to $K_{l3}$ decays with partially-quenched and rooted-staggered quarks

abstract: The determination of $|V_{us}|$ from kaon semileptonic decays requires the value of the form factor $f_+(q^2=0)$ which can be calculated precisely on the lattice. We provide the one-loop partially quenched chiral perturbation theory expressions both with and without including the effects of staggered quarks for all form factors at finite volume and with partially twisted boundary conditions for both the vector current and scalar density matrix elements at all $q^2$. We point out that at finite volume there are more form factors than just $f_+$ and $f_-$ for the vector current matrix element but that the Ward identity is fully satisfied. The size of the finite-volume corrections at present lattice sizes is small. This will help improve the lattice determination of $f_+(q^2=0)$ since the finite-volume error is the dominant error source for some calculations. The size of the finite-volume corrections may be estimated on a single lattice ensemble by comparing results for various twist choices.


title: On a spiked model for large volatility matrix estimation from noisy high-frequency data

abstract: Recently, inference about high-dimensional integrated covariance matrices (ICVs) based on noisy high-frequency data has emerged as a challenging problem. In the literature, a pre-averaging estimator (PA-RCov) is proposed to deal with the microstructure noise. Using the large-dimensional random matrix theory, it has been established that the eigenvalue distribution of the PA-RCov matrix is intimately linked to that of the ICV through the Marcenko-Pastur equation. Consequently, the spectrum of the ICV can be inferred from that of the PA-RCov. However, extensive data analyses demonstrate that the spectrum of the PA-RCov is spiked, that is, a few large eigenvalues (spikes) stay away from the others which form a rather continuous distribution with a density function (bulk). Therefore, any inference on the ICVs must take into account this spiked structure. As a methodological contribution, we propose a spiked model for the ICVs where spikes can be inferred from those of the available PA-RCov matrices. The consistency of the inference procedure is established and is checked by extensive simulation studies. In addition, we apply our method to the real data from the US and Hong Kong markets. It is found that our model clearly outperforms the existing one in predicting the existence of spikes and in mimicking the empirical PA-RCov matrices.


title: Exponential distance distribution of connected neurons in simulations of two-dimensional in vitro neural network development

abstract: The distribution of the geometric distances of connected neurons is a practical factor underlying neural networks in the brain. It can affect the brain\'s dynamic properties at the ground level. Karbowski derived a power-law decay distribution that has not yet been verified by experiment. In this work, we check its validity using simulations with a phenomenological model. Based on the in vitro two-dimensional development of neural networks in culture vessels by Ito, we match the synapse number saturation time to obtain suitable parameters for the development process, then determine the distribution of distances between connected neurons under such conditions. Our simulations obtain a clear exponential distribution instead of a power-law one, which indicates that Karbowski's conclusion is invalid, at least for the case of in vitro neural network development in two-dimensional culture vessels.


title: Perpetual points: New tool for localization of co-existing attractors in dynamical systems

abstract: Perpetual points (PPs) are special critical points for which the magnitude of acceleration describing dynamics drops to zero, while the motion is still possible (stationary points are excluded), e.g. considering the motion of the particle in the potential field, at perpetual point it has zero acceleration and non-zero velocity. We show that using PPs we can trace all the stable fixed points in the system, and that the structure of trajectories leading from former points to stable equilibria may be similar to orbits obtained from unstable stationary points. Moreover, we argue that the concept of perpetual points may be useful in tracing unexpected attractors (hidden or rare attractors with small basins of attraction). We show potential applicability of this approach by analysing several representative systems of physical significance, including the damped oscillator, pendula and the Henon map. We suggest that perpetual points may be a useful tool for localization of co-existing attractors in dynamical systems.


title: Why PeV scale left-right symmetry is a good thing

abstract: Left-right symmetric gauge theory presents a minimal paradigm to accommodate massive neutrinos with all known conserved symmetries duly gauged. The work presented here is based on the argument that the see-saw mechanism does not force the new right handed symmetry scale to be very high, and as such some of the species from the spectrum of the new gauge and Higgs bosons can have masses within a few orders of magnitude of the TeV scale. The scale of the left-right parity breaking in turn can be sequestered from the Planck scale by supersymmetry. We have studied several formulations of such Just Beyond Standard Model (JBSM) theories for their consistency with cosmology. Specifically the need to eliminate phenomenologically undesirable domain walls gives many useful clues. The possibility that the exact left-right symmetry breaks in conjunction with supersymmetry has been explored in the context of gauge mediation, placing restrictions on the available parameter space. Finally we have also studied a left-right symmetric model in the context of metastable supersymmetric vacua and obtained constraints on the mass scale of Right handed symmetry. In all the cases studied, The mass scale of right handed neutrino $M_R$ remains bounded from above, and in some of the cases the scale $10^9$ GeV favourable for supersymmetric thermal leptogenesis is disallowed. On the other hand PeV scale remains a viable option, and the results warrant a more detailed study of such models for their observability in collider and astroparticle experiments.


title: The age of 47Tuc from self-consistent isochrone fits to colour-magnitude diagrams and the eclipsing member V69

abstract: Our aim is to derive a self-consistent age, distance and composition for the globular cluster $47\,$Tucanae ($47\,$Tuc; NGC104). First, we reevaluate the reddening towards the cluster resulting in a nominal $E(B-V)=0.03\pm0.01$ as the best estimate. The $T_{\rm eff}$ of the components of the eclipsing binary member V69 is found to be $5900\pm72$ K from both photometric and spectroscopic evidence. This yields a true distance modulus $(m-M)_0=13.21\pm0.06$(random)$ \pm0.03 $(systematic) to $47\,$Tuc when combined with existing measurements of V69 radii and luminosity ratio. We then present a new completely self-consistent isochrone fitting method to ground based and $\textit{HST}$ cluster colour-magnitude diagrams and the eclipsing binary member V69. The analysis suggests that the composition of V69, and by extension one of the populations of $47\,$Tuc, is given by [Fe/H]$\sim-0.70$, [O/Fe]$\sim+0.60$, and $Y\sim0.250$ on the solar abundance scale of Asplund, Grevesse & Sauval. However, this depends on the accuracy of the model $T_{\rm eff}$ scale which is 50-75 K cooler than our best estimate but within measurement uncertainties. Our best estimate of the age of $47\,$Tuc is 11.8 Gyr, with firm ($3 \sigma$) lower and upper limits of 10.4 and 13.4 Gyr, respectively, in satisfactory agreement with the age derived from the white dwarf cooling sequence if our determination of the distance modulus is adopted.


title: Phase-tuned entangled state generation between distant spin qubits

abstract: Quantum entanglement between distant qubits is an important feature of quantum networks. Distribution of entanglement over long distances can be enabled through coherently interfacing qubit pairs via photonic channels. Here, we report the realization of optically generated quantum entanglement between electron spin qubits confined in two distant semiconductor quantum dots. The protocol relies on spin-photon entanglement in the trionic $\Lambda$-system and quantum erasure of the Raman-photon path. The measurement of a single Raman photon is used to project the spin qubits into a joint quantum state with an interferometrically stabilized and tunable relative phase. We report an average Bell-state fidelity for $|\psi^{(+)}\rangle$ and $|\psi^{(-)}\rangle$ states of $61.6\pm2.3\%$ and a record-high entanglement generation rate of 7.3 kHz between distant qubits.


title: Odd sphere bundles, symplectic manifolds, and their intersection theory

abstract: Recently, Tsai-Tseng-Yau constructed new invariants of symplectic manifolds: a sequence of Aoo-algebras built of differential forms on the symplectic manifold. We show that these symplectic Aoo-algebras have a simple topological interpretation. Namely, when the cohomology class of the symplectic form is integral, these Aoo-algebras are equivalent to the standard de Rham differential graded algebra on certain odd-dimensional sphere bundles over the symplectic manifold. From this equivalence, we deduce for a closed symplectic manifold that Tsai-Tseng-Yau's symplectic Aoo-algebras satisfy the Calabi-Yau property, and importantly, that they can be used to define an intersection theory for coisotropic/isotropic chains. We further demonstrate that these symplectic Aoo-algebras satisfy several functorial properties and lay the groundwork for addressing Weinstein functoriality and invariance in the smooth category.


title: A Upper Bound for the Number of Solutions of Ternary Purely Exponential Diophantine Equations

abstract: Let $a,b,c$ be fixed coprime positive integers with $\min\{a,b,c\}>1$. In this paper, combining the Gel'fond-Baker method with an elementary approach, we prove that if $\max\{a,b,c\}>5\times 10^{27}$, then the equation $a^x+b^y=c^z$ has at most three positive integer solutions $(x,y,z)$.


title: Infinite-dimensional Log-Determinant divergences between positive definite Hilbert-Schmidt operators

abstract: The current work generalizes the author's previous work on the infinite-dimensional Alpha Log-Determinant (Log-Det) divergences and Alpha-Beta Log-Det divergences, defined on the set of positive definite unitized trace class operators on a Hilbert space, to the entire Hilbert manifold of positive definite unitized Hilbert-Schmidt operators. This generalization is carried out via the introduction of the extended Hilbert-Carleman determinant for unitized Hilbert-Schmidt operators, in addition to the previously introduced extended Fredholm determinant for unitized trace class operators. The resulting parametrized family of Alpha-Beta Log-Det divergences is general and contains many divergences between positive definite unitized Hilbert-Schmidt operators as special cases, including the infinite-dimensional affine-invariant Riemannian distance and the infinite-dimensional generalization of the symmetric Stein divergence.


title: Measuring CP nature of top-Higgs couplings at the future Large Hadron electron collider

abstract: We investigate the sensitivity of top-Higgs coupling by considering the associated vertex as CP phase ($\zeta_t$) dependent through the process $p\, e^- \to \bar t \,h \,\nu_e$ in the future Large Hadron electron collider. In particular the decay modes are taken to be $h \to b\bar b$ and $\bar t \to$ leptonic mode. Several distinct $\zeta_t$ dependent features are demonstrated by considering observables like cross sections, top-quark polarisation, rapidity difference between $h$ and $\bar t$ and different angular asymmetries. Luminosity ($L$) dependent exclusion limits are obtained for $\zeta_t$ by considering significance based on fiducial cross sections at different $\sigma$-levels. For electron and proton beam-energies of 60 GeV and 7 TeV respectively, at $L = 100$~fb$^{-1}$, the regions above $\pi/5 < \zeta_t \leq \pi$ are excluded at 2$\sigma$ confidence level, which reflects better sensitivity expected at the Large Hadron Collider. With appropriate error fitting methodology we find that the accuracy of SM top-Higgs coupling could be measured to be $\kappa = 1.00 \pm 0.17 (0.08)$ at $\sqrt{s} = 1.3 (1.8)$ TeV for an ultimate $L = 1 \,\rm{ab}^{-1}$.


title: Higher-genus quasimap wall-crossing via localization

abstract: We give a new proof of Ciocan-Fontanine and Kim's wall-crossing formula relating the virtual classes of the moduli spaces of $\epsilon$-stable quasimaps for different $\epsilon$ in any genus, whenever the target is a complete intersection in projective space and there is at least one marked point. Our techniques involve a twisted graph space, which we expect to generalize to yield wall-crossing formulas for general gauged linear sigma models.


title: Complete bounded $\lambda$-hypersurfaces in the weighted volume-preserving mean curvature flow

abstract: In this paper, we study the complete bounded $\lambda$-hypersurfaces in weighted volume-preserving mean curvature flow. Firstly, we investigate the volume comparison theorem of complete bounded $\lambda$-hypersurfaces with $|A|\leq\alpha$ and get some applications of the volume comparison theorem. Secondly, we consider the relation among $\lambda$, extrinsic radius $k$, intrinsic diameter $d$, and dimension $n$ of the complete $\lambda$-hypersurface, and we obtain some estimates for the intrinsic diameter and the extrinsic radius. At last, we get some topological properties of the bounded $\lambda$-hypersurface with some natural and general restrictions.


title: Decoupled Sampling Based Planning Method for Multiple Autonomous Vehicles

abstract: This paper proposes a sampling based planning algorithm to control autonomous vehicles. We propose an improved Rapidly-exploring Random Tree which includes the definition of K- nearest points and propose a two-stage sampling strategy to adjust RRT in other to perform maneuver while avoiding collision. The simulation results show the success of the algorithm.


title: Addressing the missing matter problem in galaxies through a new fundamental gravitational radius

abstract: We demonstrate that the existence of a Noether symmetry in $f(R)$ theories of gravity gives rise to a further gravitational radius, besides the standard Schwarzschild one, determining the dynamics at galactic scales. By this feature, it is possible to explain the baryonic Tully-Fisher relation and the rotation curve of gas-rich galaxies without the dark matter hypothesis.


title: Crossing Nets: Combining GANs and VAEs with a Shared Latent Space for Hand Pose Estimation

abstract: State-of-the-art methods for 3D hand pose estimation from depth images require large amounts of annotated training data. We propose to model the statistical relationships of 3D hand poses and corresponding depth images using two deep generative models with a shared latent space. By design, our architecture allows for learning from unlabeled image data in a semi-supervised manner. Assuming a one-to-one mapping between a pose and a depth map, any given point in the shared latent space can be projected into both a hand pose and a corresponding depth map. Regressing the hand pose can then be done by learning a discriminator to estimate the posterior of the latent pose given some depth maps. To improve generalization and to better exploit unlabeled depth maps, we jointly train a generator and a discriminator. At each iteration, the generator is updated with the back-propagated gradient from the discriminator to synthesize realistic depth maps of the articulated hand, while the discriminator benefits from an augmented training set of synthesized and unlabeled samples. The proposed discriminator network architecture is highly efficient and runs at 90 FPS on the CPU with accuracies comparable or better than state-of-art on 3 publicly available benchmarks.


title: Spread, then Target, and Advertise in Waves: Optimal Budget Allocation Across Advertising Channels

abstract: We analyze optimal strategies for the allocation of a finite budget that can be invested in different advertising channels over time with the objective of influencing social opinions in a network of individuals. In our analysis, we consider both exogenous influence mechanisms, such as advertising campaigns, as well as endogenous mechanisms of social influence, such as word-of-mouth and peer-pressure, which are modeled using diffusion dynamics. We show that for a broad family of objective functions, the optimal influence strategy at every time uses all channels at either their maximum rate or not at all, i.e., a bang-bang strategy. Furthermore, we prove that the number of switches between these extremes is bounded above by a term that is typically much smaller than the number of agents. This means that the optimal influence strategy is to exert maximum effort in waves for every channel, and then cease effort and let the effects propagate. We also show that, at the beginning of the campaign, the total cost-adjusted reach of an exogenous advertising channel determines its relative value. In contrast, as we approach our investment horizon (e.g., election day), the optimal strategy is to invest in channels able to target individuals instead of broad-reaching channels. We demonstrate that the optimal influence strategies are easily computable in several practical cases, and explicitly characterize the optimal controls for the case of linear objective functions in closed form. Finally, we see that, in the canonical example of designing an election campaign, identifying late-deciders is a critical component in the optimal design.


title: Path Assignment Techniques For Vehicle Tracking

abstract: Many driver assistance systems such as Adaptive Cruise Control require the identification of the closest vehicle that is in the host vehicle's path. This entails an assignment of detected vehicles to the host vehicle path or neighboring paths. After reviewing approaches to the estimation of the host vehicle path and lane assignment techniques we introduce two methods that are motivated by the rationale to filter measured data as late in the processing stages as possible in order to avoid delays and other artifacts of intermediate filters. These filters generate discrete posterior probability distributions from which a path or "lane" index is extracted by a median estimator. The relative performance of those methods is illustrated by a ROC using experimental data and labeled ground truth data.


title: Asymptotic Properties of the p-Adic Fractional Integration Operator

abstract: We study asymptotic properties of the p-adic version of a fractional integration operator introduced in the paper by A. N. Kochubei, Radial solutions of non-Archimedean pseudo-differential equations, Pacif. J. Math. 269 (2014), 355-369.


title: Distributed Mapping with Privacy and Communication Constraints: Lightweight Algorithms and Object-based Models

abstract: We consider the following problem: a team of robots is deployed in an unknown environment and it has to collaboratively build a map of the area without a reliable infrastructure for communication. The backbone for modern mapping techniques is pose graph optimization, which estimates the trajectory of the robots, from which the map can be easily built. The first contribution of this paper is a set of distributed algorithms for pose graph optimization: rather than sending all sensor data to a remote sensor fusion server, the robots exchange very partial and noisy information to reach an agreement on the pose graph configuration. Our approach can be considered as a distributed implementation of the two-stage approach of Carlone et al., where we use the Successive Over-Relaxation (SOR) and the Jacobi Over-Relaxation (JOR) as workhorses to split the computation among the robots. As a second contribution, we extend %and demonstrate the applicability of the proposed distributed algorithms to work with object-based map models. The use of object-based models avoids the exchange of raw sensor measurements (e.g., point clouds) further reducing the communication burden. Our third contribution is an extensive experimental evaluation of the proposed techniques, including tests in realistic Gazebo simulations and field experiments in a military test facility. Abundant experimental evidence suggests that one of the proposed algorithms (the Distributed Gauss-Seidel method or DGS) has excellent performance. The DGS requires minimal information exchange, has an anytime flavor, scales well to large teams, is robust to noise, and is easy to implement. Our field tests show that the combined use of our distributed algorithms and object-based models reduces the communication requirements by several orders of magnitude and enables distributed mapping with large teams of robots in real-world problems.


title: Top Quark Properties at the Tevatron

abstract: I report on the status of the studies of top-quark properties carried out by the Tevatron experiments CDF and D0.


title: Sharp Uniqueness Results for Discrete Evolutions

abstract: We prove sharp uniqueness results for a wide class of one-dimensional discrete evolutions. The proof is based on a construction from the theory of complex Jacobi matrices combined with growth estimates of entire functions.


title: The Carriers of the "Unidentified" Infrared Emission Features: Clues from Polycyclic Aromatic Hydrocarbons with Aliphatic Sidegroups

abstract: The "unidentified" infrared emission (UIE) features at 3.3, 6.2, 7.7, 8.6, and 11.3 $\mu$m are ubiquitously seen in various astrophysical regions. The UIE features are characteristic of the stretching and bending vibrations of aromatic hydrocarbons. The 3.3 $\mu$m feature resulting from aromatic C--H stretches is often accompanied by a weaker feature at 3.4 $\mu$m often attributed to aliphatic C--H stretches. The ratio of the observed intensity of the 3.3 $\mu$m aromatic C--H feature ($I_{3.3}$) to that of the 3.4 $\mu$m aliphatic C--H feature ($I_{3.4}$) allows one to estimate the aliphatic fraction (i.e. $N_{\rm C,aliph}/N_{\rm C,arom}$, the number of C atoms in aliphatic units to that in aromatic rings) of the UIE carriers, provided the intrinsic oscillator strengths of the 3.3 $\mu$m aromatic C--H stretch ($A_{3.3}$) and the 3.4 $\mu$m aliphatic C--H stretch ($A_{3.4}$) are known. In this article we summarize the computational results on $A_{3.3}$ and $A_{3.4}$ and their implications for the aromaticity and aliphaticity of the UIE carriers. We use density functional theory and second-order perturbation theory to derive $A_{3.3}$ and $A_{3.4}$ from the infrared vibrational spectra of seven PAHs with various aliphatic substituents (e.g., methyl-, dimethyl-, ethyl-, propyl-, butyl-PAHs, and PAHs with unsaturated alkyl-chains). The mean band strengths of the aromatic ($A_{3.3}$) and aliphatic ($A_{3.4}$) C--H stretches are derived and then employed to estimate the aliphatic fraction of the UIE carriers by comparing $A_{3.4}$/$A_{3.3}$ with $I_{3.4}$/$I_{3.3}$. We conclude that the UIE emitters are predominantly aromatic, as revealed by the observationally-derived ratio <$I_{3.4}$/$I_{3.3}$> ~ 0.12 and the computationally-derived ratio <$A_{3.4}$/$A_{3.3}$> ~ 1.76 which suggest an upper limit of $N_{\rm C,aliph}/N_{\rm C,arom}$ ~ 0.02 for the aliphatic fraction of the UIE carriers.


title: On number of isomorphism classes of derived subgroups

abstract: In this paper we show that a finite nonabelian characteristically simple group G satisfying n = |\pi(G)|+2 if and only if G is isomorphic to A5, where n is the number of isomorphism classes of derived subgroups of G and \pi(G) is the set of prime divisors of the group G.


title: LIGO-Virgo events localization as a test of gravitational wave polarization state

abstract: The detection of the gravitational wave events GW150914, GW151226, LVT 151012 and GW170104 by the Advanced LIGO antennas has opened a new possibility for the study of fundamental physics of gravitational interaction. We suggest a new method for determining the polarization state of a gravitational wave, which is independent of the nature of a GW source. For this, we calculate the allowed sky positions of GW sources along apparent circles. This is done for each polarization state by considering the sensitivity pattern of each antenna and relative amplitudes of detected signals. The positions of circles are calculated with respect to the line joining both LIGO antennas using the observed arrival time delay of the signal between them. The apparent circles (AC) on the sky for allowed positions of the GW sources for the GW150914, GW151226 and LVT151012 events are parallel to the plane of the disc-like large scale structure known as the Local Super-Cluster (LSC) of galaxies which extends up to radius $\sim 100$ Mpc and having thickness $\sim 30$ Mpc. For the GW170104 event, the AC is perpendicular to the LSC plane but the predicted position of the source may also belong to the LSC plane, which is consistent with detection of possible optical counterpart ATLAS17aeu. The next aLIGO-aVirgo observing runs are proposed to test the possibility of clustering the GW sources along the LSC plane.


title: Rings of Dyadic range 1

abstract: Using the concept of ring diadic range 1 we proved that a commutative Bezout ring is an elementary divisor ring iff it is a ring diadic range 1.


title: On sensitivity value of pair-matched observational studies

abstract: An observational study may be biased for estimating causal effects by failing to control for unmeasured confounders. This paper proposes a new quantity called the "sensitivity value", which is defined as the minimum strength of unmeasured confounders needed to change the qualitative conclusions of a naive analysis assuming no unmeasured confounder. We establish the asymptotic normality of the sensitivity value in pair-matched observational studies. The theoretical results are then used to approximate the power of a sensitivity analysis and select the design of a study. We explore the potential to use sensitivity values to screen multiple hypotheses in presence of unmeasured confounding using a microarray dataset.


title: Group Scissor: Scaling Neuromorphic Computing Design to Large Neural Networks

abstract: Synapse crossbar is an elementary structure in Neuromorphic Computing Systems (NCS). However, the limited size of crossbars and heavy routing congestion impedes the NCS implementations of big neural networks. In this paper, we propose a two-step framework (namely, group scissor) to scale NCS designs to big neural networks. The first step is rank clipping, which integrates low-rank approximation into the training to reduce total crossbar area. The second step is group connection deletion, which structurally prunes connections to reduce routing congestion between crossbars. Tested on convolutional neural networks of LeNet on MNIST database and ConvNet on CIFAR-10 database, our experiments show significant reduction of crossbar area and routing area in NCS designs. Without accuracy loss, rank clipping reduces total crossbar area to 13.62\% and 51.81\% in the NCS designs of LeNet and ConvNet, respectively. Following rank clipping, group connection deletion further reduces the routing area of LeNet and ConvNet to 8.1\% and 52.06\%, respectively.


title: Steady-state analysis of single exponential vacation in a $PH/MSP/1/\infty$ queue using roots

abstract: We consider an infinite-buffer single-server queue where inter-arrival times are phase-type ($PH$), the service is provided according to Markovian service process $(MSP)$, and the server may take single, exponentially distributed vacations when the queue is empty. The proposed analysis is based on roots of the associated characteristic equation of the vector-generating function (VGF) of system-length distribution at a pre-arrival epoch. Also, we obtain the steady-state system-length distribution at an arbitrary epoch along with some important performance measures such as the mean number of customers in the system and the mean system sojourn time of a customer. Later, we have established heavy- and light-traffic approximations as well as an approximation for the tail probabilities at pre-arrival epoch based on one root of the characteristic equation. At the end, we present numerical results in the form of tables to show the effect of model parameters on the performance measures.


title: On the K-theory of weighted projective curves

abstract: We present a largely self contained account on the K-theory of a weighted smooth projective curve over an algebraically closed field. In particular, we discuss the weighted version of divisor theory, Euler form, and Riemann-Roch theorem. This includes a treatment of the orbifold Euler characteristic.


title: On the Global-Local Dichotomy in Sparsity Modeling

abstract: The traditional sparse modeling approach, when applied to inverse problems with large data such as images, essentially assumes a sparse model for small overlapping data patches. While producing state-of-the-art results, this methodology is suboptimal, as it does not attempt to model the entire global signal in any meaningful way - a nontrivial task by itself. In this paper we propose a way to bridge this theoretical gap by constructing a global model from the bottom up. Given local sparsity assumptions in a dictionary, we show that the global signal representation must satisfy a constrained underdetermined system of linear equations, which can be solved efficiently by modern optimization methods such as Alternating Direction Method of Multipliers (ADMM). We investigate conditions for unique and stable recovery, and provide numerical evidence corroborating the theory.


title: A Collective, Probabilistic Approach to Schema Mapping: Appendix

abstract: In this appendix we provide additional supplementary material to "A Collective, Probabilistic Approach to Schema Mapping." We include an additional extended example, supplementary experiment details, and proof for the complexity result stated in the main paper.


title: Higher Dimensional Charged AdS Black Holes at Ultra-spinning Limit and Their 2d CFT Duals

abstract: By using the ultra-spinning limit as a generating solution technique, we construct a novel class of charged rotating asymptotic AdS black holes. That describes the exact D-dimnsioanl solutions of Einstein-Maxwell dilaton theory in the presence of negative cosmological constant. The obtained geometries possess some punctures, describing a noncompact horizon, but has a finite area. We then explicitly investigate the validity of the Kerr/CFT correspondence for all dimensional cases. We find a main result for the central charges associated to $[(d-1)/2]$ copies of dual $2D$ CFTs. We then argue the existence of a precise agreement between the microscopic entropy of dual CFTs and the entropy of the noncompact horizon.