title: High scale impact in alignment and decoupling in two-Higgs doublet models

abstract: The two-Higgs doublet model (2HDM) provides an excellent benchmark to study physics beyond the Standard Model (SM). In this work we discuss how the behaviour of the model at high energy scales causes it to have a scalar with properties very similar to those of the SM -- which means the 2HDM can be seen to naturally favor a decoupling or alignment limit. For a type II 2HDM, we show that requiring the model to be theoretically valid up to a scale of 1 TeV, by studying the renormalization group equations (RGE) of the parameters of the model, causes a significant reduction in the allowed magnitude of the quartic couplings. This, combined with $B$-physics bounds, forces the model to be naturally decoupled. As a consequence, any non-decoupling limits in type II, like the wrong-sign scenario, are excluded. On the contrary, even with the very constraining limits for the Higgs couplings from the LHC, the type I model can deviate substantially from alignment. An RGE analysis similar to that made for type II shows, however, that requiring a single scalar to be heavier than about 500 GeV would be sufficient for the model to be decoupled. Finally, we show that not only a 2HDM where the lightest of the CP-even scalars is the 125 GeV one does not require new physics to be stable up to the Planck scale but this is also true when the heavy CP-even Higgs is the 125 GeV and the theory has no decoupling limit for the type I model.


title: Spatiotemporal attractors generated by the Turing-Hopf bifurcation in a time-delayed reaction-diffusion system

abstract: We study the Turing-Hopf bifurcation and give a simple and explicit calculation formula of the normal forms for a general two-components system of reaction-diffusion equation with time delays. We declare that our formula can be automated by Matlab. At first, we extend the normal forms method given by Faria in 2000 to Hopf-zero singularity. Then, an explicit formula of the normal forms for Turing-Hopf bifurcation are given. Finally, we obtain the possible attractors of the original system near the Turing-Hopf singularity by the further analysis of the normal forms, which mainly include, the spatially non-homogeneous steady-state solutions, periodic solutions and quasi-periodic solutions.


title: Two-Proton Radioactivity with 2p halo in light mass nuclei A$=$18$-$34

abstract: Two-proton radioactivity with 2p halo is reported theoretically in light mass nuclei A $=$ 18-34. We predict $^{19}$Mg, $^{22}$Si, $^{26}$S, $^{30}$Ar and $^{34}$Ca as promising candidates of ground state 2p-radioactivity with S$_{2p}$ $<$ 0 and S$_{p}$ $>$ 0. Observation of extended tail of spatial charge density distribution, larger charge radius and study of proton single particle states, Fermi energy and the wave functions indicate 2p halo like structure which supports direct 2p emission. The Coulomb and centrifugal barriers in experimentally identified 2p unbound $^{22}$Si show a quasi-bound state that ensures enough life time for such experimental probes. Our predictions are in good accord with experimental and other theoretical data available so far.


title: Multiplicative structures of hypercyclic functions for convolution operators

abstract: In this note, it is proved the existence of an infinitely generated multiplicative group consisting of entire functions that are, except for the constant function 1, hypercyclic with respect to the convolution operator associated to a given entire function of subexponential type. A certain stability under multiplication is also shown for compositional hypercyclicity on complex domains.


title: Exact evaluation of the causal spectrum and localization properties of electronic states on a scale-free network

abstract: A nearest-neighbor tight-binding model on a tree structure is investigated. The full energy spectrum of the normalized Hamiltonian can be expressed in terms of successively increasing number of contributions at any finite step of construction of the tree, resulting in a causal chain. The degree of quantum localization of any eigenstate, measured by the inverse participation ratio (IPR), is also analytically expressed by means of terms in corresponding eigenvalue chain. The resulting IPR scaling behavior is expressed by the tails of eigenvalue chains as well.


title: A Distributed Parallel Model to Analyze Journal Impact Factors

abstract: A simple abstract model is developed as a parallel experimental basis for the aim of exploring the differences of journal impact factors, particularly between different disciplines. Our model endeavors to simulate the publication and citation behaviors of the articles in the journals belonging to a similar discipline, in a distributed manner. Based on simulation experiments, the mechanism of influence from several fundamental factors to the trend of impact factor is revealed. These factors include the average review cycle, average number of references and yearly distribution of references. Moreover, satisfactory approximation could possibly be observed between certain actual data and simulation results.


title: Cox's proportional hazards model with a high-dimensional and sparse regression parameter

abstract: This paper deals with the proportional hazards model proposed by D. R. Cox in a high-dimensional and sparse setting for a regression parameter. To estimate the regression parameter, the Dantzig selector is applied. The variable selection consistency of the Dantzig selector for the model will be proved. This property enables us to reduce the dimension of the parameter and to construct asymptotically normal estimators for the regression parameter and the cumulative baseline hazard function.


title: Correction to the article: Floer homology and splicing knot complements

abstract: This note corrects the mistakes in the splicing formulas of the paper "Floer homology and splicing knot complements". The mistakes are the result of the incorrect assumption that for a knot $K$ inside a homology sphere $Y$, the involution on the knot Floer homology of $K$ which corresponds to moving the basepoints by one full twist around $K$ is trivial. The correction implicitly involves considering the contribution from this (possibly non-trivial) involution in a number of places.


title: Efficient Licence Plate Detection By Unique Edge Detection Algorithm and Smarter Interpretation Through IoT

abstract: Vehicles play a vital role in modern day transportation systems. Number plate provides a standard means of identification for any vehicle. To serve this purpose, automatic licence plate recognition system was developed. This consisted of four major steps: Pre-processing of the obtained image, extraction of licence plate region, segmentation and character recognition. In earlier research, direct application of Sobel edge detection algorithm or applying threshold were used as key steps to extract the licence plate region, which does not produce effective results when the captured image is subjected to the high intensity of light. The use of morphological operations causes deformity in the characters during segmentation. We propose a novel algorithm to tackle the mentioned issues through a unique edge detection algorithm. It is also a tedious task to create and update the database of required vehicles frequently. This problem is solved by the use of Internet of things(IOT) where an online database can be created and updated from any module instantly. Also, through IoT, we connect all the cameras in a geographical area to one server to create a universal eye which drastically increases the probability of tracing a vehicle over having manual database attached to each camera for identification purpose.


title: Channel Coherence Classification with Frame-Shifting in Massive MIMO Systems

abstract: This paper considers the uplink pilot overhead in a time division duplexing (TDD) massive Multiple Input Multiple Output (MIMO) mobile systems. A common scenario of conventional massive MIMO systems is a Base Station (BS) serving all user terminals (UTs) in the cell with the same TDD frame format that fits the coherence interval of the worst-case scenario of user mobility (e.g. a moving train with velocity 300 Km/s). Furthermore, the BS has to estimate all the channels each time-slot for all users even for those with long coherence intervals. In fact, within the same cell, sensors or pedestrian with low mobility UTs (e.g. moving 1.38 m/s) share the same short TDD frame and thus are obliged to upload their pilots each time-slot. The channel coherence interval of the pedestrian UTs with a carrier frequency of 1.9 GHz can be as long as 60 times that of the train passenger users. In other words, conventional techniques waste 59-uploaded pilot sequences for channel estimation. In this paper, we are aware of the resources waste due to various coherence intervals among different user mobility. We classify users based on their coherence interval length, and we propose to skip uploading pilots of UTs with large coherence intervals. Then, we shift frames with the same pilot reused sequence toward an empty pilot time-slot. Simulation results had proved that the proposed technique overcome the performance of conventional massive MIMO systems in both energy and spectral efficiency.


title: General purpose graphics-processing-unit implementation of cosmological domain wall network evolution

abstract: Topological defects unavoidably form at symmetry breaking phase transitions in the early Universe. To probe the parameter space of theoretical models and set tighter experimental constraints (exploiting the recent advances in astrophysical observations), one requires more and more demanding simulations, and therefore more hardware resources and computation time. Improving the speed and efficiency of existing codes is essential. Here we present a General Purpose Graphics Processing Unit implementation of the canonical Press-Ryden-Spergel algorithm for the evolution of cosmological domain wall networks. This is ported to the Open Computing Language standard, and as a consequence significant speed-ups are achieved both in 2D and 3D simulations.


title: Topic-based Integrator Matching for Pull Request

abstract: Pull Request (PR) is the main method for code contributions from the external contributors in GitHub. PR review is an essential part of open source software developments to maintain the quality of software. Matching a new PR for an appropriate integrator will make the PR reviewing more effective. However, PR and integrator matching are now organized manually in GitHub. To make this process more efficient, we propose a Topic-based Integrator Matching Algorithm (TIMA) to predict highly relevant collaborators(the core developers) as the integrator to incoming PRs . TIMA takes full advantage of the textual semantics of PRs. To define the relationships between topics and collaborators, TIMA builds a relation matrix about topic and collaborators. According to the relevance between topics and collaborators, TIMA matches the suitable collaborators as the PR integrator.


title: Resonant semilinear Robin problems with a general potential

abstract: We consider a semilinear Robin problem driven by the Laplacian plus an indefinite and unbounded potential. The reaction term is a Carath\'eodory function which is resonant with respect to any nonprincipal eigenvalue both at $\pm \infty$ and 0. Using a variant of the reduction method, we show that the problem has at least two nontrivial smooth solutions.


title: The anomalous antiferromagnetic topological phase in pressurized SmB6

abstract: Antiferromagnetic materials, whose time-reversal symmetry is broken, can be classified into the Z2 topology if they respect some specific symmetry. Since the theoretical proposal, however, no materials have been found to host the antiferromagnetic topological (AFT) phase to date. Here, for the first time, we demonstrate that the topological Kondo insulator SmB6 can be an AFT system when pressurized to undergo an antiferromagnetic phase transition. In addition to propose the possible candidate for an AFT material, in this work we also illustrate the anomalous topological surface states of the AFT phase which has not been discussed before. Originating from the interplay between the topological properties and the antiferromagnetic surface magnetization, the topological surface states of the AFT phase behave differently as compared with those of a topological insulator. Besides, the AFT insulators are also found promising in the generation of tunable spin currents, which is an important application in spintronics.


title: Effective Stochastic Generator with Site-dependent Interactions

abstract: It is known that the stochastic generators of effective processes associated with the unconditioned dynamics of rare events might consist of non-local interactions; however, it can be shown that there are special cases for which these generators can include local interactions. In this paper we investigate this possibility by considering systems of classical particles moving on a one-dimensional lattice with open boundaries. The particles might have hard-core interactions similar to the particles in an exclusion process or there can be arbitrary many particles at single site as in a zero-range process. Assuming that the interactions in the original process are local and site-independent, we will show that under certain constraints on the microscopic reaction rules, the stochastic generator of unconditioned process can be local but site-dependent. As two examples, the asymmetric zero-temperature Glauber model and the A-model with diffusion are presented and studied under the above mentioned constraints.


title: The theory of representations of groups $SO_{0}(2,1)$ and $ISO(2,1)$. Wigner coefficients of the group $SO_{0}(2,1)$

abstract: This paper is devoted to the representations of the groups $SO (2,1)$ and $ISO (2,1)$. Those groups have an important role in cosmology, elementary particle theory and mathematical physics. Irreducible unitary representations of the principal continuous and supplementary as well as discrete series were obtained. Explicit expressions for spherical functions of the group $SO_0(2,1)$ are obtained through the Gauss hypergeometric functions. The Wigner coefficients of the group $SO_{0}(2,1)$ were computed and their explicit expressions using the bilateral series were represented. The results could be used to study the non-degenerate representations of the de Sitter group $SO(3,2)$.


title: Area Law Violations and Quantum Phase Transitions in Modified Motzkin Walk Spin Chains

abstract: Area law violations for entanglement entropy in the form of a square root has recently been studied for one-dimensional frustration-free quantum systems based on the Motzkin walks and their variations. Here we consider a Motzkin walk with a different Hilbert space on each step of the walk spanned by elements of a {\it Symmetric Inverse Semigroup} with the direction of each step governed by its algebraic structure. This change alters the number of paths allowed in the Motzkin walk and introduces a ground state degeneracy sensitive to boundary perturbations. We study the frustration-free spin chains based on three symmetric inverse semigroups, $\cS^3_1$, $\cS^3_2$ and $\cS^2_1$. The system based on $\cS^3_1$ and $\cS^3_2$ provide examples of quantum phase transitions in one dimensions with the former exhibiting a transition between the area law and a logarithmic violation of the area law and the latter providing an example of transition from logarithmic scaling to a square root scaling in the system size, mimicking a colored $\cS^3_1$ system. The system with $\cS^2_1$ is much simpler and produces states that continue to obey the area law.

categories: quant-ph cond-mat.stat-mech cond-mat.str-el hep-th


title: DevRank: Mining Influential Developers In Github

abstract: As the social coding is becoming increasingly popular, understanding the influence of developers can benefit various applications, such as advertisement for new projects and innovations. However, most existing works have focused only on ranking influential nodes in non-weighted and homogeneous networks, which are not able to transfer proper importance scores to the real important node. To rank developers in Github, we define developer's influence on the capacity of attracting attention which can be measured by the number of followers obtained in the future. We further defined a new method, DevRank, which ranks the developers by influence propagation through heterogeneous network constructed according to user behaviors, including "commit" and "follow". Our experiment compares the performance between DevRank and some other link analysis algorithms, the results have shown that DevRank can improve the ranking accuracy.


title: Generalized Phase Representation of Integrate-and-Fire Models

abstract: The quadratic integrate-and-fire (QIF) model captures the normal form bifurcation dynamics of Type-I neurons found in cortex. Remarkably, this model is known to have a dual equivalent representation in terms of phase, called the $\theta$-model, which has advantages for numerical simulations and analysis over the QIF model. Here, I investigate the nature of the dual representation and derive the general phase model expression for all integrate-and-fire models. Moreover, I show the condition for which the phase models exhibit discontinuous onset firing rate, the hallmark of Type-II spiking neurons.


title: Einstein Static Universe in Rastall Theory of Gravity

abstract: We investigate stability of the Einstein static solution against homogeneous scalar, vector and tensor perturbations in the context of Rastall theory of gravity. We show that this solution in the presence of perfect fluid and vacuum energy originating from conformally-invariant fields is stable. Using the fix point method and taking linear homogeneous perturbations, we find that the scale factor of Einstein static universe for closed deformed isotropic and homogeneous FLRW universe depends on the coupling parameter $\lambda$ between the energy-momentum tensor and the gradient of Ricci scalar. Thus, in the present model and in presence of vacuum energy, our universe can stay at the Einstein static state past-eternally, which means that the big bang singularity may be resolved successfully in the context of Einstein static universe in Rastall theory.


title: Superconductivity at T=200K in Bismuth Cuprates Synthesized Using Solar Energy

abstract: When investigating low-frequency (0.1 Hz) oscillations of miltiphase high-temperature cuprate superconductors (HTSC) Bi1,7Pb0,3Sr2Ca(n-1)CunOy (n=2-30), a wide attenuation peak with a maximal at T=200K detected. This peak was particularly pronounced in field cooling (FC) experiments, i.e. after abrupt cooling of the sample in the external magnetic field at the temperature T less Tc with subsequent slow warming up to room temperature with invariance of applied field. The attenuation peak height depended on the preliminary orientation (before cooling) of the samples in the measured permanent magnetic field H. On the one hand, it is well khow that, after the FC procedure and subsequent slow warming up, at the temperatures close to the critical temperature Tc, the attenuation peak associated with "melting" of the Abrikosov frozen vortex structure and its disappearance at T more Tc is detected in monophase samples. At the same time, in most multiphase bismuth HTSC samples, synthesized using solar energy and superfast quenching of the melt, the attenuation peak with the maximum at T=200K was observed. Depending on the conditions of synthesis, the attenuation peak could be two-humped and could be located in the temperature range much wider than Tc of the major superconducting phase. We assume that this is due to the existence of frozen magnetic fluxes (after FC) in superconducting "dropping" regions, which gradually (with increasing temperature) transfer into the normal state and release pinned vortex threads. This fact could be a sause of observed dissipative processes, so as also the evidence of the existence of superconductivity at T more 240K.


title: Uniform rank gradient, cost and local-global convergence

abstract: We analyze the rank gradient of finitely generated groups with respect to sequences of subgroups of finite index that do not necessarily form a chain, by connecting it to the cost of p.m.p. actions. We generalize several results that were only known for chains before. The connection is made by the notion of local-global convergence. In particular, we show that for a finitely generated group $\Gamma$ with fixed price $c$, every Farber sequence has rank gradient $c-1$. By adapting Lackenby's trichotomy theorem to this setting, we also show that in a finitely presented amenable group, every sequence of subgroups with index tending to infinity has vanishing rank gradient.


title: Jointly Tracking and Separating Speech Sources Using Multiple Features and the generalized labeled multi-Bernoulli Framework

abstract: This paper proposes a novel joint multi-speaker tracking-and-separation method based on the generalized labeled multi-Bernoulli (GLMB) multi-target tracking filter, using sound mixtures recorded by microphones. Standard multi-speaker tracking algorithms usually only track speaker locations, and ambiguity occurs when speakers are spatially close. The proposed multi-feature GLMB tracking filter treats the set of vectors of associated speaker features (location, pitch and sound) as the multi-target multi-feature observation, characterizes transitioning features with corresponding transition models and overall likelihood function, thus jointly tracks and separates each multi-feature speaker, and addresses the spatial ambiguity problem. Numerical evaluation verifies that the proposed method can correctly track locations of multiple speakers and meanwhile separate speech signals.


title: An Ontology to support automated negotiation

abstract: In this work we propose an ontology to support automated negotiation in multiagent systems. The ontology can be connected with some domain-specific ontologies to facilitate the negotiation in different domains, such as Intelligent Transportation Systems (ITS), e-commerce, etc. The specific negotiation rules for each type of negotiation strategy can also be defined as part of the ontology, reducing the amount of knowledge hardcoded in the agents and ensuring the interoperability. The expressiveness of the ontology was proved in a multiagent architecture for the automatic traffic light setting application on ITS.


title: Simple groups, generation and probabilistic methods

abstract: It is well known that every finite simple group can be generated by two elements and this leads to a wide range of problems that have been the focus of intensive research in recent years. In this survey article we discuss some of the extraordinary generation properties of simple groups, focussing on topics such as random generation, $(a,b)$-generation and spread, as well as highlighting the application of probabilistic methods in the proofs of many of the main results. We also present some recent work on the minimal generation of maximal and second maximal subgroups of simple groups, which has applications to the study of subgroup growth and the generation of primitive permutation groups.


title: Quantum Analog of Carnot Engine

abstract: In order to build a quantum analog of traditional Carnot engine, a common choice is replacing the two thermodynamic adiabatic processes with two quantum mechanical adiabatic processes. In general, such quantum Carnot engine has six strokes. We analyze the efficiency of such six-stroke quantum Carnot engine in a perturbative way.


title: Investigation of Frame Alignments for GMM-based Digit-prompted Speaker Verification

abstract: Frame alignments can be computed by different methods in GMM-based speaker verification. By incorporating a phonetic Gaussian mixture model (PGMM), we are able to compare the performance using alignments extracted from the deep neural networks (DNN) and the conventional hidden Markov model (HMM) in digit-prompted speaker verification. Based on the different characteristics of these two alignments, we present a novel content verification method to improve the system security without much computational overhead. Our experiments on the RSR2015 Part-3 digit-prompted task show that, the DNN based alignment performs on par with the HMM alignment. The results also demonstrate the effectiveness of the proposed Kullback-Leibler (KL) divergence based scoring to reject speech with incorrect pass-phrases.


title: Seeds Of Life In Space (SOLIS): The organic composition diversity at 300--1000 au scale in Solar-type star forming regions

abstract: Complex organic molecules have been observed for decades in the interstellar medium. Some of them might be considered as small bricks of the macromolecules at the base of terrestrial life. It is hence particularly important to understand organic chemistry in Solar-like star forming regions. In this article, we present a new observational project: SOLIS (Seeds Of Life In Space). This is a Large Project at the IRAM-NOEMA interferometer, and its scope is to image the emission of several crucial organic molecules in a sample of Solar-like star forming regions in different evolutionary stage and environments. Here, we report the first SOLIS results, obtained from analysing the spectra of different regions of the Class 0 source NGC1333-IRAS4A, the protocluster OMC-2 FIR4, and the shock site L1157-B1. The different regions were identified based on the images of formamide (NH2CHO) and cyanodiacetylene (HC5N) lines. We discuss the observed large diversity in the molecular and organic content, both on large (3000-10000 au) and relatively small (300-1000 au) scales. Finally, we derive upper limits to the methoxy fractional abundance in the three observed regions of the same order of magnitude of that measured in few cold prestellar objects, namely ~10^-12-10^-11 with respect to H2 molecules.


title: On the theory of spherically symmetric thin shells in conformal gravity

abstract: The spherically symmetric thin shells are the nearest generalizations of the point-like particles. Moreover, they serve as the simple sources of the gravitational fields both in General Relativity and much more complex quadratic gravity theories. We are interested in the special and physically important case when all the quadratic in curvature tensor (Riemann tensor) and its contractions (Ricci tensor and scalar curvature) terms are present in the form of the square of Weyl tensor. By definition, the energy-momentum tensor of the thin shell is proportional to Dirac delta-function. We constructed the theory of the spherically symmetric thin shells for three types of gravitational theories with the shell: (1) General Relativity; (2) Pure conformal (Weyl) gravity where the gravitational part of the total Lagrangian is just the square of the Weyl tensor; (3) Weyl+Einstein gravity. The results are compared with these in General Relativity (Israel equations). We considered in details the shells immersed in the vacuum. Some peculiar properties of such shells are found. In particular, for the traceless (= massless) shells it is shown that their dynamics can not be derived from the matching conditions and, thus, is completely arbitrary. On the contrary, in the case of the Weyl+Einstein gravity the trajectory of the same type of shell is completely restored even without knowledge of the outside solution.


title: Generalized Josephson relation for conserved charges in multi-component bosons

abstract: The Josephson relation is generalized for conserved charges in multi-component bosons. With linear response theory, a formula for derivation of generalized superfluid density is given. When there are several conserved charges, the superfluid density is generally a second order tensor in internal spin space. When the rank of Green's function matrix is one, Josephson relation is given explicitly with phase operator method. For two-component bosons, with quantum field theory, we show a generalized Hugenholtz-Pines relation hold and existence of two gapless phonons. When the interactions are $U(2)$ invariant, we show there is a gapless quadratic dispersion excitation no matter how strong the interactions are. The corresponding generalized Josephson relation is expressed with Green's function matrix elements.


title: Sets of degrees of maps between SU(2)-bundles over the 5-sphere

abstract: We compute the sets of degrees of maps between principal $SU(2)$-bundles over $S^5$, i.e. between any of the manifolds $SU(2)\times S^5$ and $SU(3)$. We show that the Steenrod squares provide the only obstruction to the existence of a mapping degree between these manifolds, and construct explicit maps realizing each integer that occurs as a mapping degree. Added Erratum. After this manuscript was accepted for publication by Transformation Groups, Xueqi Wang pointed out a mistake in our paper. At the end of this arXiv version we add an erratum, where we correct the statement and the proof of Theorem 1.1.


title: Heavy Nuclei as Thermal Insulation for Proto-Neutron Stars

abstract: A proto-neutron star (PNS) is a newly formed compact object in a core collapse supernova. In this Letter, the neutrino emission from the cooling process of a PNS is investigated using two types of nuclear equation of state (EOS). It is found that the neutrino signal is mainly determined by the high-density EOS. The neutrino luminosity and mean energy are higher and the cooling time scale is longer for the softer EOS. Meanwhile, the neutrino mean energy and the cooling time scale are also affected by the low-density EOS because of the difference in the population of heavy nuclei. Heavy nuclei have a large scattering cross section with neutrinos owing to the coherent effects and act as thermal insulation near the surface of a PNS. The neutrino mean energy is higher and the cooling time scale is longer for an EOS with a large symmetry energy at low densities, namely a small density derivative coefficient of the symmetry energy, $L$.


title: Data Analysis for Time-Resolved QENS Experiments in Biophysics

abstract: To study the correlation between internal protein dynamics and protein functionality of bacteriorhodopsin, we have performed time-resolved quasielastic neutron scattering (QENS) experiments combined with in situ laser activation of protein function. A set of purple membrane samples with different lamellar lattice constants and, hence, different hydration levels has been examined at different time delays between the laser and neutron pulses. While the water content affected the lineshapes of QENS spectra, the laser-induced response remained constant within the accuracy of the method.


title: Role of point defects in spinel Mg chalcogenide conductors

abstract: Close-packed chalcogenide spinels, such as MgSc$_2$Se$_4$, MgIn$_2$S$_4$ and MgSc$_2$S$_4$, show potential as solid electrolytes in Mg batteries, but are affected by non-negligible electronic conductivity, which contributes to self-discharge when used in an electrochemical storage device. Using first-principles calculations, we evaluate the energy of point defects as function of synthesis conditions and Fermi level to identify the origins of the undesired electronic conductivity. Our results suggest that Mg-vacancies and Mg-metal anti-sites (where Mg is exchanged with Sc or In) are the dominant point defects that can occur in the systems under consideration. While we find anion-excess conditions and slow cooling to likely create conditions for low electronic conductivity, the spinels are likely to exhibit significant $n$-type conductivity under anion-poor environments, which are often present during high temperature synthesis. Finally, we explore extrinsic aliovalent doping to potentially mitigate the electronic conductivity in these chalcogenide spinels. The computational strategy is general and can be easily extended to other solid electrolytes (and electrodes) to aid in the optimization of the electronic properties of the corresponding frameworks.


title: Compressive Time-of-Flight 3D Imaging Using Block-Structured Sensing Matrices

abstract: Spatially and temporally highly resolved depth information enables numerous applications including human-machine interaction in gaming or safety functions in the automotive industry. In this paper, we address this issue using Time-of-flight (ToF) 3D cameras which are compact devices providing highly resolved depth information. Practical restrictions often require to reduce the amount of data to be read-out and transmitted. Using standard ToF cameras, this can only be achieved by lowering the spatial or temporal resolution. To overcome such a limitation, we propose a compressive ToF camera design using block-structured sensing matrices that allows to reduce the amount of data while keeping high spatial and temporal resolution. We propose the use of efficient reconstruction algorithms based on l^1-minimization and TV-regularization. The reconstruction methods are applied to data captured by a real ToF camera system and evaluated in terms of reconstruction quality and computational effort. For both, l^1-minimization and TV-regularization, we use a local as well as a global reconstruction strategy. For all considered instances, global TV-regularization turns out to clearly perform best in terms of evaluation metrics including the PSNR.


title: Some properties of small perturbations against a stationary solution of the nonlinear Schrodinger equation

abstract: In this paper, classical small perturbations against a stationary solution of the nonlinear Schrodinger equation with the general form of nonlinearity are examined. It is shown that in order to obtain correct (in particular, conserved over time) nonzero expressions for the basic integrals of motion of a perturbation even in the quadratic order in the expansion parameter, it is necessary to consider nonlinear equations of motion for the perturbations. It is also shown that, despite the nonlinearity of the perturbations, the additivity property is valid for the integrals of motion of different nonlinear modes forming the perturbation (at least up to the second order in the expansion parameter).


title: Lam\'e Parameter Estimation from Static Displacement Field Measurements in the Framework of Nonlinear Inverse Problems

abstract: We consider a problem of quantitative static elastography, the estimation of the Lam\'e parameters from internal displacement field data. This problem is formulated as a nonlinear operator equation. To solve this equation, we investigate the Landweber iteration both analytically and numerically. The main result of this paper is the verification of a nonlinearity condition in an infinite dimensional Hilbert space context. This condition guarantees convergence of iterative regularization methods. Furthermore, numerical examples for recovery of the Lam\'e parameters from displacement data simulating a static elastography experiment are presented.


title: The quadratic Wasserstein metric for earthquake location

abstract: In [Engquist et al., Commun. Math. Sci., 14(2016)], the Wasserstein metric was successfully introduced to the full waveform inversion. We apply this method to the earthquake location problem. For this problem, the seismic stations are far from each other. Thus, the trace by trace comparison [Yang et al., arXiv(2016)] is a natural way to compare the earthquake signals. Under this framework, we have derived a concise analytic expression of the Fr\`echet gradient of the Wasserstein metric, which leads to a simple and efficient implementation for the adjoint method. We square and normalize the earthquake signals for comparison so that the convexity of the misfit function with respect to earthquake hypocenter and origin time can be observed numerically. To reduce the impact of noise, which can not offset each other after squaring the signals, a new control parameter is introduced. Finally, the LMF (Levenberg-Marquardt-Fletcher) method is applied to solve the resulted optimization problem. According to the numerical experiments, only a few iterations are required to converge to the real earthquake hypocenter and origin time. Even for data with noise, we can obtain reasonable and convergent numerical results.


title: Interplay of interlayer pairing and many-body screening in a bilayer of dipolar fermions

abstract: In a bilayer system of fermionic dipoles, a full control over the strength of the attractive interactions between two layers leads to the BCS-BEC crossover. Here, using the BCS mean field theory, we study such a crossover in symmetric bilayers of ultracold dipolar fermions with their dipole moments being perpendicular to layers. In particular, we investigate how the pairing between two layers and the many-body screening of interlayer interaction affect each other. We compare results for pairings obtained with three different approximations for the interlayer interactions namely, bare dipole-dipole interaction, the random-phase approximation for screening obtained in the normal phase, and the self-consistent superfluid phase screening within the random-phase approximation. We find that at weak couplings the screening further suppresses the pairing while at strong couplings, the screening would be suppressed due to the pairing gap in the quasi-particle spectrum. Therefore a self-consistent treatment of both screening and pairing on equal footings is necessary for obtaining a correct picture of the phase diagram and order parameter at both small and large layer spacings and densities. We also notice that the highly speculated density-wave instability in bilayers with the parallel polarization of dipoles in two layers is simply an artifact of the incorrect screening scheme.


title: Criticality and hidden criticality in multi-species Bose-Einstein condensates

abstract: A general approach is proposed to solve the coupled Gross-Pitaevskii equations (CGP) for K-species Bose-Einstein condensates (BEC). Analytical solutions have been obtained under the Thomas-Fermi approximation. We aim at finding out the common features of the K-species BEC. In particular, two types of phase-transitions, full-state-transition and partial-state transition, are found. In the former all species are involved in the transition, while in the latter only a few specified species are essentially involved. This leads to the criticality and the hidden criticality (previously found in multi-band superconductivity). We further found that the former originates from the singularity of the whole matrix of the CGP, while the latter originates from the singularity of a specified sub-matrix (which is contributed by only a few specified species). It is emphasized that the singularity is not a by-product of the TFA, but is inherent in the CGP.


title: Shift-enabled graphs: Graphs where shift-invariant filters are representable as polynomials of shift operations

abstract: In digital signal processing, shift-invariant filters can be represented as a polynomial expansion of a shift operation,that is, the Z-transform representation. When extended to graph signal processing (GSP), this would mean that a shift-invariant graph filter can be represented as a polynomial of the adjacency (shift) matrix of the graph. However, the characteristic and minimum polynomials of the adjacency matrix must be identical for the property to hold. While it has been suggested that this condition might be ignored as it is always possible to find a polynomial transform to represent the original adjacency matrix by another adjacency matrix that satisfies the condition, this letter shows that a filter that is shift invariant in terms of the original graph may not be shift invariant anymore under the modified graph and vice versa. We introduce the notion of "shift-enabled graph" for graphs that satisfy the aforementioned condition, and present a concrete example of a graph that is not "shift-enabled" and a shift-invariant filter that is not a polynomial of the shift operation matrix. The result provides a deeper understanding of shift-invariant filters when applied in GSP and shows that further investigation of shift-enabled graphs is needed to make it applicable to practical scenarios.


title: Sample-level CNN Architectures for Music Auto-tagging Using Raw Waveforms

abstract: Recent work has shown that the end-to-end approach using convolutional neural network (CNN) is effective in various types of machine learning tasks. For audio signals, the approach takes raw waveforms as input using an 1-D convolution layer. In this paper, we improve the 1-D CNN architecture for music auto-tagging by adopting building blocks from state-of-the-art image classification models, ResNets and SENets, and adding multi-level feature aggregation to it. We compare different combinations of the modules in building CNN architectures. The results show that they achieve significant improvements over previous state-of-the-art models on the MagnaTagATune dataset and comparable results on Million Song Dataset. Furthermore, we analyze and visualize our model to show how the 1-D CNN operates.


title: Criteria for input-to-state practical stability

abstract: For a broad class of infinite-dimensional systems, we characterize input-to-state practical stability (ISpS) using the uniform limit property and in terms of input-to-state stability. We specialize our results to the systems with Lipschitz continuous flows and evolution equations in Banach spaces. Even for the special case of ordinary differential equations our results are novel and improve existing criteria for ISpS.


title: Inducing Regular Grammars Using Recurrent Neural Networks

abstract: Grammar induction is the task of learning a grammar from a set of examples. Recently, neural networks have been shown to be powerful learning machines that can identify patterns in streams of data. In this work we investigate their effectiveness in inducing a regular grammar from data, without any assumptions about the grammar. We train a recurrent neural network to distinguish between strings that are in or outside a regular language, and utilize an algorithm for extracting the learned finite-state automaton. We apply this method to several regular languages and find unexpected results regarding the connections between the network's states that may be regarded as evidence for generalization.


title: Information ratchets exploiting spatially structured information reservoirs

abstract: Information ratchets extract work from heat baths using low entropy information reservoirs. We find that the structure of the reservoirs affects both their performance and phase diagram. By deriving exact probabilities of recurrence in d-dimensional reservoirs we calculate the net extraction of work. Performance is characterised by two critical dimensions (i) For d < 3 driven exploration of the reservoir is essential to extract work (ii) For d > 4 purely diffusive exploration is optimal. This has important consequences for computation where sequential operations constitute a 1D path.


title: All partitions have small parts - Gallai-Ramsey numbers of bipartite graphs

abstract: Gallai-colorings are edge-colored complete graphs in which there are no rainbow triangles. Within such colored complete graphs, we consider Ramsey-type questions, looking for specified monochromatic graphs. In this work, we consider monochromatic bipartite graphs since the numbers are known to grow more slowly than for non-bipartite graphs. The main result shows that it suffices to consider only $3$-colorings which have a special partition of the vertices. Using this tool, we find several sharp numbers and conjecture the sharp value for all bipartite graphs. In particular, we determine the Gallai-Ramsey numbers for all bipartite graphs with two vertices in one part and initiate the study of linear forests.


title: Feasibility Study of OFDM-MFSK Modulation Scheme for Smart Metering Technology

abstract: The Orthogonal Frequency Division Multiplexing based M-ary Frequency Shift Keying (OFDM-MFSK) is a noncoherent modulation scheme which merges MFSK with the OFDM waveform. It is designed to improve the receiver sensitivity in the hard environments where channel estimation is very difficult to perform. In this paper, the OFDM-MFSK is suggested for the smart metering technology and its performance is measured and compared with the ordinary OFDM-BPSK. Our results show that, depending on the MFSK size value (M), the Packet Error Rate (PER) has dramatically improved for OFDM-MFSK. Additionally, the adaptive OFDM-MFSK, which selects the best M value that gives the minimum PER and higher throughput for each Smart Meter (SM), has better coverage than OFDM-BPSK. Although its throughput and capacity are lower than OFDMBPSK, the connected SMs per sector are higher. Based on the smart metering technology requirements which imply the need for high coverage and low amount of data exchanged between the network and the SMs, The OFDM-MFSK can be efficiently used in this technology.


title: Wasserstein Identity Testing

abstract: Uniformity testing and the more general identity testing are well studied problems in distributional property testing. Most previous work focuses on testing under $L_1$-distance. However, when the support is very large or even continuous, testing under $L_1$-distance may require a huge (even infinite) number of samples. Motivated by such issues, we consider the identity testing in Wasserstein distance (a.k.a. transportation distance and earthmover distance) on a metric space (discrete or continuous). In this paper, we propose the Wasserstein identity testing problem (Identity Testing in Wasserstein distance). We obtain nearly optimal worst-case sample complexity for the problem. Moreover, for a large class of probability distributions satisfying the so-called "Doubling Condition", we provide nearly instance-optimal sample complexity.

categories: cs.LG cs.DS cs.IT math.IT math.ST stat.TH


title: Universality of Quantum Information in Chaotic CFTs

abstract: We study the Eigenstate Thermalization Hypothesis (ETH) in chaotic conformal field theories (CFTs) of arbitrary dimensions. Assuming local ETH, we compute the reduced density matrix of a ball-shaped subsystem of finite size in the infinite volume limit when the full system is an energy eigenstate. This reduced density matrix is close in trace distance to a density matrix, to which we refer as the ETH density matrix, that is independent of all the details of an eigenstate except its energy and charges under global symmetries. In two dimensions, the ETH density matrix is universal for all theories with the same value of central charge. We argue that the ETH density matrix is close in trace distance to the reduced density matrix of the (micro)canonical ensemble. We support the argument in higher dimensions by comparing the Von Neumann entropy of the ETH density matrix with the entropy of a black hole in holographic systems in the low temperature limit. Finally, we generalize our analysis to the coherent states with energy density that varies slowly in space, and show that locally such states are well described by the ETH density matrix.


title: Involution symmetries and the PMNS matrix

abstract: Lam suggested that the PMNS matrix (or at least some of its elements) can be predicted by embedding the residual symmetry of the leptonic mass terms into a bigger symmetry. We analyze the possibility that the residual symmetries consist of involution generators only and explore how Lam's idea can be implemented.


title: Toward predictive machine learning for active vision

abstract: We develop a comprehensive description of the active inference framework, as proposed by Friston (2010), under a machine-learning compliant perspective. Stemming from a biological inspiration and the auto-encoding principles, the sketch of a cognitive architecture is proposed that should provide ways to implement estimation-oriented control policies. Computer simulations illustrate the effectiveness of the approach through a foveated inspection of the input data. The pros and cons of the control policy are analyzed in detail, showing interesting promises in terms of processing compression. Though optimizing future posterior entropy over the actions set is shown enough to attain locally optimal action selection, offline calculation using class-specific saliency maps is shown better for it saves processing costs through saccades pathways pre-processing, with a negligible effect on the recognition/compression rates.


title: Dirac perturbations on Schwarzschild-Anti-de Sitter spacetimes: Generic boundary conditions and new quasinormal modes

abstract: We study Dirac quasinormal modes of Schwarzschild-Anti-de Sitter (Schwarzschild-AdS) black holes, following the generic principle for allowed boundary conditions proposed in \cite{PhysRevD.92.124006}. After deriving the equations of motion for Dirac fields on the aforementioned background, we impose vanishing energy flux boundary conditions to solve these equations. We find a set of two Robin boundary conditions are allowed. These two boundary conditions are used to calculate Dirac normal modes on empty AdS and quasinormal modes on Schwarzschild-AdS black holes. In the former case, we recover the known normal modes of empty AdS; in the latter case, the two sets of Robin boundary conditions lead to two different branches of quasinormal modes. The impact on these modes of the black hole size, the angular momentum quantum number and the overtone number are discussed. Our results show that vanishing energy flux boundary conditions are a robust principle, applicable not only to bosonic fields but also to fermionic fields.


title: Some more counterexamples for Bombieri's conjecture on univalent functions

abstract: We disprove a conjecture of Bombieri regarding univalent functions in the unit disk in some previously unknown cases. The key step in the argument is showing that the global minimum of the real function $\big(n\sin{x}-\sin(nx)\big)/\big(m\sin{x}-\sin(mx)\big)$ is attained at $x = 0$ for integers $m>n\geq2$ when $m$ is odd and $n$ is even, $m$ is sufficiently big and $0.5 \leq n/m \leq 0.8194$.


title: Role of pressure anisotropy on relativistic compact stars

abstract: We investigate a compact spherically symmetric relativistic body with anisotropic particle pressure profiles. The distribution possesses characteristics relevant to modeling compact stars within the framework of general relativity. For this purpose, we consider a spatial metric potential of Korkina and Orlyanskii [Ukr. Phys. J. 36, 885 (1991)] type in order to solve the Einstein field equations. An additional prescription we make is that the pressure anisotropy parameter takes the functional form proposed by Lake [Phys. Rev. D 67, 104015 (2003)]. Specifying these two geometric quantities allows for further analysis to be carried out in determining unknown constants and obtaining a limit of the mass-radius diagram, which adequately describes compact strange star candidates like Her X-1 and SMC X-1. Using the anisotropic Tolman-Oppenheimer-Volkoff equations, we explore the hydrostatic equilibrium and the stability of such compact objects. Then, we investigate other physical features of this models, such as the energy conditions, speeds of sound and compactness of the star in detail and show that our results satisfy all the required elementary conditions for a physically acceptable stellar model. The results obtained are useful in analyzing the stability of other anisotropic compact objects like white dwarfs, neutron stars, and gravastars.


title: Omnidirectional Precoding and Combining Based Synchronization for Millimeter Wave Massive MIMO Systems

abstract: In this paper, we design the precoding matrices at the base station side and the combining matrices at the user terminal side for initial downlink synchronization in millimeter wave massive multiple-input multiple-output systems. First, we demonstrate two basic requirements for the precoding and combining matrices, including that all the entries therein should have constant amplitude under the implementation architecture constraint, and the average transmission power over the total K time slots taking for synchronization should be constant for any spatial direction. Then, we derive the optimal synchronization detector based on generalized likelihood ratio test. By utilizing this detector, we analyze the effect of the precoding and combining matrices to the missed detection probability and the false alarm probability, respectively, and present the corresponding conditions that should be satisfied. It is shown that, both of the precoding and combining matrices should guarantee the perfect omnidirectional coverage at each time slot, i.e., the average transmission power at each time slot is constant for any spatial direction, which is more strict than the second basic requirement mentioned above. We also show that such omnidirectional precoding matrices and omnidirectional combining matrices exist only when both of the number of transmit streams and the number of receive streams are equal to or greater than two. In this case, we propose to utilize Golay complementary pairs and Golay-Hadamard matrices to design the precoding and combining matrices. Simulation results verify the effectiveness of the propose approach.


title: Faith's problem on R-projectivity is undecidable

abstract: In \cite{F}, Faith asked for what rings $R$ does the Dual Baer Criterion hold in Mod-$R$, that is, when does $R$-projectivity imply projectivity for all right $R$-modules? Such rings $R$ were called right testing. Sandomierski proved that if $R$ is right perfect, then $R$ is right testing. Puninski et al.\ \cite{AIPY} have recently shown for a number of non-right perfect rings that they are not right testing, and noticed that \cite{T2} proved consistency with ZFC of the statement {\lq}each right testing ring is right perfect{\rq} (the proof used Shelah's uniformization). Here, we prove the complementing consistency result: the existence of a right testing, but not right perfect ring is also consistent with ZFC (our proof uses Jensen-functions). Thus the answer to the Faith's question above is undecidable in ZFC. We also provide examples of non-right perfect rings such that the Dual Baer Criterion holds for {\lq}small{\rq} modules (where {\lq}small{\rq} means countably generated, or $\leq 2^{\aleph_0}$-presented of projective dimension $\leq 1$).


title: Scale-Robust Localization Using General Object Landmarks

abstract: Visual localization under large changes in scale is an important capability in many robotic mapping applications, such as localizing at low altitudes in maps built at high altitudes, or performing loop closure over long distances. Existing approaches, however, are robust only up to about a 3x difference in scale between map and query images. We propose a novel combination of deep-learning-based object features and state-of-the-art SIFT point-features that yields improved robustness to scale change. This technique is training-free and class-agnostic, and in principle can be deployed in any environment out-of-the-box. We evaluate the proposed technique on the KITTI Odometry benchmark and on a novel dataset of outdoor images exhibiting changes in visual scale of $7\times$ and greater, which we have released to the public. Our technique consistently outperforms localization using either SIFT features or the proposed object features alone, achieving both greater accuracy and much lower failure rates under large changes in scale.


title: Generalized End-to-End Loss for Speaker Verification

abstract: In this paper, we propose a new loss function called generalized end-to-end (GE2E) loss, which makes the training of speaker verification models more efficient than our previous tuple-based end-to-end (TE2E) loss function. Unlike TE2E, the GE2E loss function updates the network in a way that emphasizes examples that are difficult to verify at each step of the training process. Additionally, the GE2E loss does not require an initial stage of example selection. With these properties, our model with the new loss function decreases speaker verification EER by more than 10%, while reducing the training time by 60% at the same time. We also introduce the MultiReader technique, which allows us to do domain adaptation - training a more accurate model that supports multiple keywords (i.e. "OK Google" and "Hey Google") as well as multiple dialects.


title: Speaker Diarization with LSTM

abstract: For many years, i-vector based audio embedding techniques were the dominant approach for speaker verification and speaker diarization applications. However, mirroring the rise of deep learning in various domains, neural network based audio embeddings, also known as d-vectors, have consistently demonstrated superior speaker verification performance. In this paper, we build on the success of d-vector based speaker verification systems to develop a new d-vector based approach to speaker diarization. Specifically, we combine LSTM-based d-vector audio embeddings with recent work in non-parametric clustering to obtain a state-of-the-art speaker diarization system. Our system is evaluated on three standard public datasets, suggesting that d-vector based diarization systems offer significant advantages over traditional i-vector based systems. We achieved a 12.0% diarization error rate on NIST SRE 2000 CALLHOME, while our model is trained with out-of-domain data from voice search logs.


title: Measurement Device Independent Quantum Private Query with Qutrits

abstract: Measurement Device Independent Quantum Private Query (MDI QPQ) with qutrits is presented. We compare the database security and client's privacy in MDI QPQ for qubits with qutrits. For some instances, we observe that qutrit will provide better security for database than qubit. However, when it comes to the question of client's privacy we have to take additional measures in case of qutrit. Hence we conclude that though in case of Quantum Key Distribution (QKD) higher dimension provides better security but in case of QPQ this is not obvious.


title: Attention-Based Models for Text-Dependent Speaker Verification

abstract: Attention-based models have recently shown great performance on a range of tasks, such as speech recognition, machine translation, and image captioning due to their ability to summarize relevant information that expands through the entire length of an input sequence. In this paper, we analyze the usage of attention mechanisms to the problem of sequence summarization in our end-to-end text-dependent speaker recognition system. We explore different topologies and their variants of the attention layer, and compare different pooling methods on the attention weights. Ultimately, we show that attention-based models can improves the Equal Error Rate (EER) of our speaker verification system by relatively 14% compared to our non-attention LSTM baseline model.


title: Refurbishing Voyager 1 & 2 Planetary Radio Astronomy (PRA) Data

abstract: Voyager/PRA (Planetary Radio Astronomy) data from digitized tapes archived at CNES have been reprocessed and recalibrated. The data cover the Jupiter and Saturn flybys of both Voyager probes. We have also reconstructed goniopolarimetric datasets (flux and polarization) at full resolution. These datasets are currently not available to the scientific community, but they are of primary interest for the analysis of the Cassini data at Saturn, and the Juno data at Jupiter, as well as for the preparation of the JUICE mission. We present the first results derived from the re-analysis of this dataset.


title: Overview of North Ecliptic Pole Deep multi-wavelength Survey (NEP-Deep)

abstract: The recent updates of the North Ecliptic Pole deep (0.5~deg$^2$, NEP-Deep) multi-wavelength survey covering from X-ray to radio-wave is presented. The NEP-Deep provides us with several thousands of 15~$\mu$m or 18~$\mu$m selected sample of galaxies, which is the largest sample ever made at this wavelengths. A continuous filter coverage in the mid-infrared wavelength (7, 9, 11, 15, 18, and 24~$\mu$m) is unique and vital to diagnose the contributions from starbursts and AGNs in the galaxies out to $z$=2.The new goal of the project is to resolve the nature of the cosmic star formation history at the violent epoch (e.g. $z$=1--2), and to find a clue to understand its decline from $z$=1 to present universe by utilizing the unique power of the multi-wavelength survey. The progress in this context is briefly mentioned.


title: SeeThrough: Finding Chairs in Heavily Occluded Indoor Scene Images

abstract: Discovering 3D arrangements of objects from single indoor images is important given its many applications including interior design, content creation, etc. Although heavily researched in the recent years, existing approaches break down under medium or heavy occlusion as the core object detection module starts failing in absence of directly visible cues. Instead, we take into account holistic contextual 3D information, exploiting the fact that objects in indoor scenes co-occur mostly in typical near-regular configurations. First, we use a neural network trained on real indoor annotated images to extract 2D keypoints, and feed them to a 3D candidate object generation stage. Then, we solve a global selection problem among these 3D candidates using pairwise co-occurrence statistics discovered from a large 3D scene database. We iterate the process allowing for candidates with low keypoint response to be incrementally detected based on the location of the already discovered nearby objects. Focusing on chairs, we demonstrate significant performance improvement over combinations of state-of-the-art methods, especially for scenes with moderately to severely occluded objects.


title: Reverse Engineering Camouflaged Sequential Integrated Circuits Without Scan Access

abstract: Integrated circuit (IC) camouflaging is a promising technique to protect the design of a chip from reverse engineering. However, recent work has shown that even camouflaged ICs can be reverse engineered from the observed input/output behaviour of a chip using SAT solvers. However, these so-called SAT attacks have so far targeted only camouflaged combinational circuits. For camouflaged sequential circuits, the SAT attack requires that the internal state of the circuit is controllable and observable via the scan chain. It has been implicitly assumed that restricting scan chain access increases the security of camouflaged ICs from reverse engineering attacks. In this paper, we develop a new attack methodology to decamouflage sequential circuits without scan access. Our attack uses a model checker (a more powerful reasoning tool than a SAT solver) to find a discriminating set of input sequences, i.e., one that is sufficient to determine the functionality of camouflaged gates. We propose several refinements, including the use of a bounded model checker, and sufficient conditions for determining when a set of input sequences is discriminating to improve the run-time and scalabilty of our attack. Our attack is able to decamouflage a large sequential benchmark circuit that implements a subset of the VIPER processor.


title: Data-driven learning of total and local energies in elemental boron

abstract: The allotropes of boron continue to challenge structural elucidation and solid-state theory. Here we use machine learning combined with random structure searching (RSS) algorithms to systematically construct an interatomic potential for boron. Starting from ensembles of randomized atomic configurations, we use alternating single-point quantum-mechanical energy and force computations, Gaussian approximation potential (GAP) fitting, and GAP-driven RSS to iteratively generate a representation of the element's potential-energy surface. Beyond the total energies of the very different boron allotropes, our model readily provides atom-resolved, local energies and thus deepened insight into the frustrated $\beta$-rhombohedral boron structure. Our results open the door for the efficient and automated generation of GAPs and other machine-learning-based interatomic potentials, and suggest their usefulness as a tool for materials discovery.


title: Nearly locally presentable categories

abstract: We introduce a new class of categories generalizing locally presentable ones. The distinction does not manifest in the abelian case and, assuming Vopenka's principle, the same happens in the regular case. The category of complete partial orders is the natural example of a nearly locally finitely presentable category which is not locally presentable.


title: Geographic Differential Privacy for Mobile Crowd Coverage Maximization

abstract: For real-world mobile applications such as location-based advertising and spatial crowdsourcing, a key to success is targeting mobile users that can maximally cover certain locations in a future period. To find an optimal group of users, existing methods often require information about users' mobility history, which may cause privacy breaches. In this paper, we propose a method to maximize mobile crowd's future location coverage under a guaranteed location privacy protection scheme. In our approach, users only need to upload one of their frequently visited locations, and more importantly, the uploaded location is obfuscated using a geographic differential privacy policy. We propose both analytic and practical solutions to this problem. Experiments on real user mobility datasets show that our method significantly outperforms the state-of-the-art geographic differential privacy methods by achieving a higher coverage under the same level of privacy protection.


title: Loxodromic elements in the cyclic splitting complex and their centralizers

abstract: We show that an outer automorphism acts loxodromically on the cyclic splitting complex if and only if it has a filling lamination and no generic leaf of the lamination is carried by a vertex group of a cyclic splitting. This is the analog for the cyclic splitting complex of Handel-Mosher's theorem on loxodromics for the free splitting complex. We also show that such outer automorphisms have virtually cyclic centralizers.


title: Solutions of local and nonlocal equations reduced from the AKNS hierarchy

abstract: In the paper possible local and nonlocal reductions of the Ablowitz-Kaup-Newell-Suger (AKNS) hierarchy are collected, including the Korteweg-de Vries (KdV) hierarchy, modified KdV hierarchy and their nonlocal versions, nonlinear Schr\"{o}dinger hierarchy and their nonlocal versions, sine-Gordon equation in nonpotential form and its nonlocal forms. A reduction technique for solutions is employed, by which exact solutions in double Wronskian form are obtained for these reduced equations from those double Wronskian solutions of the AKNS hierarchy. As examples of dynamics we illustrate new interaction of two-soliton solutions of the reverse-$t$ nonlinear Schr\"{o}dinger equation. Although as a single soliton it is always stationary, two solitons travel along completely symmetric trajectories in $\{x,t\}$ plane and their amplitudes are affected by phase parameters. Asymptotic analysis is given as demonstration. The approach and relation described in this paper are systematic and general and can be used to other nonlocal equations.


title: Charge and spin photocurrents in the Rashba model

abstract: In metallic noncentrosymmetric crystals and at surfaces the response of spin currents and charge currents to applied electric fields contains contributions that are second order in the electric field, which are forbidden by symmetry in centrosymmetric systems. Thereby, photocurrents and spin photocurrents can be generated in inversion asymmetric metals by the application of femtosecond laser pulses. We study the laser-induced charge current in the ferromagnetic Rashba model with in-plane magnetization and find that this \textit{magnetic photogalvanic effect} can be tuned to be comparable in size to the laser-induced photocurrents measured experimentally in magnetic bilayer systems such as Co/Pt. Additionally, we show that femtosecond laser pulses excite strong spin currents in the nonmagnetic Rashba model when the Rashba parameter is large.


title: Quantum Newton duality

abstract: Newton revealed an underlying duality relation between power potentials in classical mechanics. In this paper, we establish the quantum version of the Newton duality. The main aim of this paper is threefold: (1) first generalizing the original Newton duality to more general potentials, including general polynomial potentials and transcendental-function potentials, 2) constructing a quantum version of the Newton duality, including power potentials, general polynomial potentials, transcendental-function potentials, and power potentials in different spatial dimensions, and 3) suggesting a method for solving eigenproblems in quantum mechanics based on the quantum Newton duality provided in the paper. The classical Newton duality is a duality among orbits of classical dynamical systems. Our result shows that the Newton duality is not only limited to power potentials, but a more universal duality relation among dynamical systems with various potentials. The key task of this paper is to construct a quantum Newton duality, the quantum version of the classical Newton duality. The quantum Newton duality provides a duality relations among wave functions and eigenvalues. As applications, we suggest a method for solving potentials from their Newtonianly dual potential: once the solution of a potential is known, the solution of all its dual potentials can be obtained by the duality transformation directly. Using this method, we obtain a series of exact solutions of various potentials. In appendices, as preparations, we solve the potentials which is solved by the Newton duality method in this paper by directly solving the eigenequation.


title: A reference-searching-based algorithm for large-scale data envelopment analysis computation

abstract: Data envelopment analysis (DEA) is a linear program (LP)-based method used to determine the efficiency of a decision making unit (DMU), which transforms inputs to outputs, by peer comparison. This paper presents a new computation algorithm to determine DEA efficiencies by solving small-size LPs instead of a full-size LP. The concept is based on searching the corresponding references, which is a subset of the efficient DMUs with numbers no greater than the dimension (number of inputs and outputs). The results of empirical case studies show that the proposed algorithm computes 3 times faster than the current state of the art for large-scale, high-dimension, and high-density (percentage of efficient DMUs) cases. It is flexible enough to compute the efficiencies of a subset of the full data set without setup costs, and it can also serve as a sub-procedure for other algorithms.


title: Information, complexity, and quantum entanglement on doubly excited states of helium atom

abstract: The electronic density \rho(r) in atoms, molecules and solids is, in general, a distribution that can be observed experimentally, containing spatial information projected from the total wave function. These density distributions can be though as probability distributions subject to the scrutiny of the analytical methods of information theory, namely, entropy measures, quantifiers for the complexity, or entanglement measures. Although the classification of resonant doubly excited states of He-like atoms in terms of labels of approximate quantum numbers have not been exempt from controversies, a well known proposal follows after the works by Herrick and Sinanoglu and Lin, with a labeling based on K, T, and A numbers for the Rydberg series of increasing n2 and for a given ionization He+ (N = n1). In this work we intend to justify this kind of classification from the topological analysis of the one-particle \rho (r) and two-particle \r{ho}(r1,r2) density distributions of the localized part of the resonances (computed with a Feshbach projection formalism and configuration interaction wave functions in terms of B-splines bases), using global quantifiers (Shannon) as well as local ones (Fisher information). We also studied measures for the entanglement using the von Neumann and linear entropies computed from the reduced one-particle density matrix within our correlated configuration interaction approach. We find in this study that global measures like the Shannon entropy hardly distinguishes among resonances in the whole Rydberg series. On the contrary, measures like the Fisher information, von Neumann and linear entropies are able to qualitatively discriminate the resonances, grouping them according to their (K, T)A labels.


title: On the $\alpha$-index of graphs with pendent paths

abstract: Let $G$ be a graph with adjacency matrix $A(G)$ and let $D(G)$ be the diagonal matrix of the degrees of $G$. For every real $\alpha\in\left[ 0,1\right] $, write $A_{\alpha}\left( G\right) $ for the matrix \[ A_{\alpha}\left( G\right) =\alpha D\left( G\right) +(1-\alpha)A\left( G\right) . \] This paper presents some extremal results about the spectral radius $\rho_{\alpha}\left( G\right) $ of $A_{\alpha}\left( G\right) $ that generalize previous results about $\rho_{0}\left( G\right) $ and $\rho _{1/2}\left( G\right) $. In particular, write $B_{p,q,r}$ be the graph obtained from a complete graph $K_{p}$ by deleting an edge and attaching paths $P_{q}$ and $P_{r}$ to its ends. It is shown that if $\alpha\in\left[ 0,1\right) $ and $G$ is a graph of order $n$ and diameter at least $k,$ then% \[ \rho_{\alpha}(G)\leq\rho_{\alpha}(B_{n-k+2,\lfloor k/2\rfloor,\lceil k/2\rceil}), \] with equality holding if and only if $G=B_{n-k+2,\lfloor k/2\rfloor,\lceil k/2\rceil}$. This result generalizes results of Hansen and Stevanovi\'{c} \cite{HaSt08}, and Liu and Lu \cite{LiLu14}.


title: Delayed pull-in transitions in overdamped MEMS devices

abstract: We consider the dynamics of overdamped MEMS devices undergoing the pull-in instability. Numerous previous experiments and numerical simulations have shown a significant increase in the pull-in time under DC voltages close to the pull-in voltage. Here the transient dynamics slow down as the device passes through a meta-stable or bottleneck phase, but this slowing down is not well understood quantitatively. Using a lumped parallel-plate model, we perform a detailed analysis of the pull-in dynamics in this regime. We show that the bottleneck phenomenon is a type of critical slowing down arising from the pull-in transition. This allows us to show that the pull-in time obeys an inverse square-root scaling law as the transition is approached; moreover we determine an analytical expression for this pull-in time. We then compare our prediction to a wide range of pull-in time data reported in the literature, showing that the observed slowing down is well captured by our scaling law, which appears to be generic for overdamped pull-in under DC loads. This realization provides a useful design rule with which to tune dynamic response in applications, including state-of-the-art accelerometers and pressure sensors that use pull-in time as a sensing mechanism. We also propose a method to estimate the pull-in voltage based only on data of the pull-in times.


title: Jeans type instability of a complex self-interacting scalar field in general relativity

abstract: We study the gravitational instability of a general relativistic complex scalar field with a quartic self-interaction in an infinite homogeneous static background. This quantum relativistic Jeans problem provides a simplified framework to study the formation of the large-scale structures of the Universe in the case where dark matter is made of a scalar field. The scalar field may represent the wave function of a relativistic self-gravitating Bose-Einstein condensate. Exact analytical expressions for the dispersion relation and Jeans length $\lambda_J$ are obtained from a hydrodynamical representation of the Klein-Gordon-Einstein equations. When relativistic effects are fully accounted for, we find that the perturbations are stabilized at very large scales of the order of the Hubble length $\lambda_H$. Numerical applications are made for ultralight bosons without self-interaction (fuzzy dark matter), for bosons with a repulsive self-interaction, and for bosons with an attractive self-interaction (QCD axions and ultralight axions). We show that the Jeans instability is inhibited in the ultrarelativistic regime (early Universe and radiationlike era) because the Jeans length is of the order of the Hubble length ($\lambda_J\sim\lambda_H$), except when the self-interaction of the bosons is attractive. By contrast, structure formation can take place in the nonrelativistic regime (matterlike era) for $\lambda_J\le \lambda\le \lambda_H$. Since the scalar field has a nonzero Jeans length due to its quantum nature (Heisenberg uncertainty principle or quantum pressure due to the self-interaction of the bosons), it appears that the wave properties of the scalar field can stabilize gravitational collapse at small scales, providing halo cores and suppressing small-scale linear power. This may solve the CDM crisis such as the cusp problem and the missing satellite problem.


title: Dual control Monte Carlo method for tight bounds of value function under Heston stochastic volatility model

abstract: The aim of this paper is to study the fast computation of the lower and upper bounds on the value function for utility maximization under the Heston stochastic volatility model with general utility functions. It is well known there is a closed form solution of the HJB equation for power utility due to its homothetic property. It is not possible to get closed form solution for general utilities and there is little literature on the numerical scheme to solve the HJB equation for the Heston model. In this paper we propose an efficient dual control Monte Carlo method for computing tight lower and upper bounds of the value function. We identify a particular form of the dual control which leads to the closed form upper bound for a class of utility functions, including power, non-HARA and Yarri utilities. Finally, we perform some numerical tests to see the efficiency, accuracy, and robustness of the method. The numerical results support strongly our proposed scheme.


title: $\widetilde{J}$-tangent affine hypersurfaces with an induced almost paracontact structure

abstract: We study real affine hypersurfaces $f\colon M\rightarrow \mathbb{R}^{2n+2}$ with an almost paracontact structure $(\varphi ,\xi,\eta)$ induced by a $\widetilde{J}$-tangent transversal vector filed, where $\widetilde{J}$ is the canonical paracomplex structure on $\mathbb{R}^{2n+2}$. We give a classification of hypersurfaces for which an induced almost paracontact structure is metric relative to the second fundamental form. Some other properties of such hypersurfaces are also studied.


title: ILAPF: Incremental Learning Assisted Particle Filtering

abstract: This paper is concerned with dynamic system state estimation based on a series of noisy measurement with the presence of outliers. An incremental learning assisted particle filtering (ILAPF) method is presented, which can learn the value range of outliers incrementally during the process of particle filtering. The learned range of outliers is then used to improve subsequent filtering of the future state. Convergence of the outlier range estimation procedure is indicated by extensive empirical simulations using a set of differing outlier distribution models. The validity of the ILAPF algorithm is evaluated by illustrative simulations, and the result shows that ILAPF is more accurate and faster than a recently published state-ofthe-art robust particle filter. It also shows that the incremental learning property of the ILAPF algorithm provides an efficient way to implement transfer learning among related state filtering tasks.


title: Analytical Estimation of the Scalability of Iterative Numerical Algorithms on Distributed Memory Multiprocessors

abstract: This article presents a new high-level parallel computational model named BSF - Bulk Synchronous Farm. The BSF model extends the BSP model to deal with the compute-intensive iterative numerical methods executed on distributed-memory multiprocessor systems. The BSF model is based on the master-worker paradigm and the SPMD programming model. The BSF model makes it possible to predict the upper scalability bound of a BSF-program with great accuracy. The BSF model also provides equations for estimating the speedup and parallel efficiency of a BSF-program.


title: On $rth$ coefficient of divisors of $x^n-1$

abstract: Let $r,n$ be two natural numbers and let $H(r,n)$ denote the maximal absolute value of $r$th coefficient of divisors of $x^n-1$. In this paper, we show that $\sum_{n\leq x}H(r,n)$ is asymptotically equal to $c(r)x(\log x)^{2^r-1}$ for some constant $c(r)>0$. Furthermore, we give an explicit expression of $c(r)$ in terms of $r$.


title: Optical evaluation of the wave filtering properties of graded undulated lattices

abstract: We investigate and experimentally demonstrate the elastic wave filtering properties of graded undulated lattices. Square reticulates composed of curved beams are characterized by graded mechanical properties which result from the spatial modulation of the curvature parameter. Among such properties, the progressive formation of frequency bandgaps leads to strong wave attenuation over a broad frequency range. The experimental investigation of wave transmission, and the detection of full wavefields effectively illustrate this behavior. Transmission measurements are conducted using a scanning Laser vibrometer, while a dedicated digital image correlation procedure is implemented to capture in-plane wave motion at selected frequencies. The presented results illustrate the broadband attenuation characteristics resulting from spatial grading of the lattice curvature, whose in-depth investigation is enabled by the presented experimental procedures.


title: Bell's Inequality, Generalized Concurrence and Entanglement in Qubits

abstract: It is well known that the maximal violation of the Bell's inequality for a two-qubit system is related to the entanglement formation in terms of a concurrence. However, a generalization of this relation to an $n$-qubit state has not been found. In the paper, we demonstrate some extensions of the relation between the upper bound of the Bell's violation and a {\it generalized} concurrence in several $n$-qubit states. In particular, we show the upper bound of the Bell's violation can be expressed as a function of the generalized concurrence, if a state can be expressed in terms of two variables. We apply the relation to the Wen-Plaquette model and show that the topological entanglement entropy can be extracted from the maximal Bell's violation.

categories: quant-ph cond-mat.mes-hall cond-mat.str-el hep-th


title: Steady-state mechanical squeezing and ground-state cooling of a Duffing anharmonic oscillator in an optomechanical cavity assisted by a nonlinear medium

abstract: In this paper, we study theoretically a hybrid optomechanical system consisting of a degenerate optical parametric amplifier inside a driven optical cavity with a moving end mirror which is modeled as a stiffening Duffing-like anharmonic quantum mechanical oscillator. By providing analytical expressions for the critical values of the system parameters corresponding to the emergence of the multistability behavior in the steady-state response of the system, we show that the stiffening mechanical Duffing anharmonicity reduces the width of the multistability region while the optical parametric nonlinearity can be exploited to drive the system toward the multistability region. We also show that for appropriate values of the mechanical anharmonicity strength the steady-state mechanical squeezing and the ground-state cooling of the mechanical resonator can be achieved. Moreover, we find that the presence of the nonlinear gain medium can lead to the improvement of the mechanical anharmonicity-induced cooling of the mechanical motion, as well as to the mechanical squeezing beyond the standard quantum limit of 3 dB.


title: A Quantum Algorithm for Testing Junta Variables and Learning Boolean Functions via Entanglement Measure

abstract: Given a black-box representing an unknown Boolean function $f$ of $n$ variables, in this paper we propose a fast quantum algorithm to test whether or not a certain variable in the function $f$ is a junta variable. The proposed algorithm creates entanglement between the variable under test and an auxiliary qubit, where the entanglement is measured using concurrence measure to decide if the variable is junta. The paper shows applications to the proposed algorithm in learning and categorization of Boolean functions.


title: On jets, almost symmetric tensors, and traction hyper-stresses

abstract: The paper considers the formulation of higher-order continuum mechanics on differentiable manifolds devoid of any metric or parallelism structure. For generalized velocities modeled as sections of some vector bundle, a variational kth order hyper-stress is an object that acts on jets of generalized velocities to produce power densities. The traction hyper-stress is introduced as an object that induces hyper-traction fields on the boundaries of subbodies. Additional aspects of multilinear algebra relevant to the analysis of these objects are reviewed.


title: Stochastic Navier-Stokes-Fourier equations

abstract: We study the full Navier--Stokes--Fourier system governing the motion of a general viscous, heat-conducting, and compressible fluid subject to stochastic perturbation. Stochastic effects are implemented through (i) random initial data, (ii) a forcing term in the momentum equation represented by a multiplicative white noise, (iii) random heat source in the internal energy balance. We establish existence of a weak martingale solution under physically grounded structural assumptions. As a byproduct of our theory we can show that stationary martingale solutions only exist in certain trivial cases.


title: Topic Based Sentiment Analysis Using Deep Learning

abstract: In this paper , we tackle Sentiment Analysis conditioned on a Topic in Twitter data using Deep Learning . We propose a 2-tier approach : In the first phase we create our own Word Embeddings and see that they do perform better than state-of-the-art embeddings when used with standard classifiers. We then perform inference on these embeddings to learn more about a word with respect to all the topics being considered, and also the top n-influencing words for each topic. In the second phase we use these embeddings to predict the sentiment of the tweet with respect to a given topic, and all other topics under discussion.


title: Precision Mass Measurements of Neutron-Rich Co Isotopes Beyond N=40

abstract: The region near Z=28, N=40 is a subject of great interest for nuclear structure studies due to spectroscopic signatures in $^{68}$Ni suggesting a subshell closure at N=40. Trends in nuclear masses and their derivatives provide a complementary approach to shell structure investigations via separation energies. Penning trap mass spectrometry has provided precise measurements for a number of nuclei in this region, however a complete picture of the mass surfaces has so far been limited by the large uncertainty remaining for nuclei with N > 40 along the iron and cobalt chains. Here we present the first Penning trap measurements of $^{68,69}$Co, performed at the Low-Energy Beam and Ion Trap facility at the National Superconducting Cyclotron Laboratory. In addition, we perform ab initio calculations of ground state and two-neutron separation energies of cobalt isotopes with the valence-space in-medium similarity renormalization group approach based on a particular set of two- and three-nucleon forces which predict saturation in infinite matter. We discuss the importance of these measurements and calculations for understanding the evolution of nuclear structure near $^{68}$Ni.


title: The Minimal Axion Minimal Linear $\sigma$ Model

abstract: The minimal $SO(5)/SO(4)$ linear $\sigma$ model is extended including an additional complex scalar field, singlet under the global $SO(5)$ and the Standard Model gauge symmetries. The presence of this scalar field creates the conditions to generate an axion \`a la KSVZ, providing a solution to the strong CP problem, or an axion-like-particle. Different choices for the PQ charges are possible and lead to physically distinct Lagrangians. The internal consistency of each model necessarily requires the study of the scalar potential describing the $SO(5)\to SO(4)$, electroweak and PQ symmetry breaking. A single minimal scenario is identified and the associated scalar potential is minimised including counterterms needed to ensure one-loop renormalizability. In the allowed parameter space, phenomenological features of the scalar degrees of freedom, of the exotic fermions and of the axion are illustrated. Two distinct possibilities for the axion arise: either it is a QCD axion with an associated scale larger than $\sim10^{5}$ TeV and therefore falling in the category of the invisible axions; or it is a more massive axion-like-particle, such as a $1$ GeV axion with an associated scale of $\sim200$ TeV, that may show up in collider searches.


title: Learning to diagnose from scratch by exploiting dependencies among labels

abstract: The field of medical diagnostics contains a wealth of challenges which closely resemble classical machine learning problems; practical constraints, however, complicate the translation of these endpoints naively into classical architectures. Many tasks in radiology, for example, are largely problems of multi-label classification wherein medical images are interpreted to indicate multiple present or suspected pathologies. Clinical settings drive the necessity for high accuracy simultaneously across a multitude of pathological outcomes and greatly limit the utility of tools which consider only a subset. This issue is exacerbated by a general scarcity of training data and maximizes the need to extract clinically relevant features from available samples -- ideally without the use of pre-trained models which may carry forward undesirable biases from tangentially related tasks. We present and evaluate a partial solution to these constraints in using LSTMs to leverage interdependencies among target labels in predicting 14 pathologic patterns from chest x-rays and establish state of the art results on the largest publicly available chest x-ray dataset from the NIH without pre-training. Furthermore, we propose and discuss alternative evaluation metrics and their relevance in clinical practice.


title: Edge magnetism impact on electrical conductance and thermoelectric properties of graphenelike nanoribbons

abstract: Edge states in narrow quasi two-dimensional nanostructures determine, to a large extent, their electric, thermoelectric and magnetic properties. Non-magnetic edge states may quite often lead to topological insulator type behavior. However another scenario develops when the zigzag edges are magnetic and the time reversal symmetry is broken. In this work we report on the electronic band structure modifications, electrical conductance and thermoelectric properties of narrow zigzag nanoribbons with spontaneously magnetized edges. Theoretical studies based on the Kane-Mele- Hubbard tight-binding model show that for silicene, germanene and stanene both the Seebeck coefficient and the thermoelectric power factor are strongly enhanced for energies close to the charge neutrality point. Perpendicular gate voltage lifts the spin degeneracy of energy bands in the ground state with antiparallel magnetized zigzag edges and makes the electrical conductance significantly spin-polarized. Simultaneously the gate voltage worsens the thermoelectric performance. Estimated room-temperature figures of merit for the aforementioned nanoribbons can exceed a value of 3 if phonon thermal conductances are adequately reduced.


title: Customer sojourn time in GI/G/1 feedback queue in the presence of heavy tails

abstract: We consider a single-server GI/GI/1 queueing system with feedback. We assume the service times distribution to be (intermediate) regularly varying. We find the tail asymptotics for a customer's sojourn time in two regimes: the customer arrives in an empty system, and the customer arrives in the system in the stationary regime. In particular, in the case of Poisson input we use the branching processes structure and provide more precise formulae. As auxiliary results, we find the tail asymptotics for the busy period distribution in a single-server queue with an intermediate varying service times distribution and establish the principle-of-a-single-big-jump equivalences that characterise the asymptotics.


title: Phase Conductor on Multi-layered Attentions for Machine Comprehension

abstract: Attention models have been intensively studied to improve NLP tasks such as machine comprehension via both question-aware passage attention model and self-matching attention model. Our research proposes phase conductor (PhaseCond) for attention models in two meaningful ways. First, PhaseCond, an architecture of multi-layered attention models, consists of multiple phases each implementing a stack of attention layers producing passage representations and a stack of inner or outer fusion layers regulating the information flow. Second, we extend and improve the dot-product attention function for PhaseCond by simultaneously encoding multiple question and passage embedding layers from different perspectives. We demonstrate the effectiveness of our proposed model PhaseCond on the SQuAD dataset, showing that our model significantly outperforms both state-of-the-art single-layered and multiple-layered attention models. We deepen our results with new findings via both detailed qualitative analysis and visualized examples showing the dynamic changes through multi-layered attention models.


title: Anisotropic polygonal and polyhedral discretizations in finite element analysis

abstract: New interpolation and quasi-interpolation operators of Cl\'ement- and Scott-Zhang-type are analyzed on anisotropic polygonal and polyhedral meshes. Since no reference element is available, an appropriate linear mapping to a reference configuration plays a crucial role. A priori error estimates are derived respecting the anisotropy of the discretization. Finally, the found estimates are employed to propose an adaptive mesh refinement based on bisection which leads to highly anisotropic and adapted discretizations with general element shapes in two- and three-dimensions.


title: Sensitive spin detection using an on-chip SQUID-waveguide resonator

abstract: Precise detection of spin resonance is of paramount importance to achieve coherent spin control in quantum computing. We present a novel setup for spin resonance measurements, which uses a dc-SQUID flux detector coupled to an antenna from a coplanar waveguide. The SQUID and the waveguide are fabricated from 20~nm Nb thin film, allowing high magnetic field operation with the field applied parallel to the chip. We observe a resonance signal between the first and third excited states of Gd spins $S=7/2$ in a CaWO$_4$ crystal, relevant for state control in multi-level systems.


title: Dissolution instability and roughening transition

abstract: We theoretically investigate the pattern formation observed when a fluid flows over a solid substrate that can dissolve or melt. We use a turbulent mixing description that includes the effect of the bed roughness. We show that the dissolution instability at the origin of the pattern is associated with an anomaly at the transition from a laminar to a turbulent hydrodynamic response with respect to the bed elevation. This anomaly, and therefore the instability, disappears when the bed becomes hydrodynamically rough, above a threshold roughness-based Reynolds number. This suggests a possible mechanism for the selection of the pattern amplitude. The most unstable wavelength scales as observed in nature on the thickness of the viscous sublayer, with a multiplicative factor that depends on the dimensionless parameters of the problem.


title: High-Resolution, Three-Dimensional Reconstruction of the Outflow Tract Demonstrates Segmental Differences in Cleared Eyes

abstract: Purpose: The rate of conventional aqueous humor outflow is the highest nasally. We hypothesized that this is reflected in regionally different outflow structures and analyzed the entire limbus by high-resolution, full-thickness ribbon-scanning confocal microscopy (RSCM). Methods: We perfused pig eyes by anterior chamber cannulation with eight lectin-fluorophore conjugates, followed by optical clearance with benzyl alcohol benzyl benzoate (BABB). RSCM and an advanced analysis software (Imaris) were used to reconstruct a three-dimensional, whole-specimen rendering of the perilimbal outflow structures. We performed morphometric analyses of the outflow tract from the level of the trabecular meshwork (TM) to the scleral vascular plexus (SVP). Results: Except for pigmented structures, BABB cleared the entire eye. Rhodamine-conjugated Glycine max agglutinin (soybean, SBA) labeled the outflow tract evenly and retained fluorescence for months. RSCM produced terabyte-sized files allowing for in silico dissection of outflow tract vessel at a high resolution and in 3D. Networks of interconnected lumina were traced from the TM to downstream drainage structures. The collector channel (CC) volumes were ten times smaller than the receiving SVP vessels, the largest of which were in the inferior limbus. Proximal CC diameters were up to four times the size of distal diameters and more elliptical at their proximal ends. The largest CCs were found in the superonasal and inferonasal quadrants where the highest outflow occurs. Conclusions: RSCM of cleared eyes enabled high-resolution, volumetric analysis of the outflow tract. The proximal structures had greater diameters nasally while the SVP was larger in the inferior limbus.