title: Hadamard type operators on temperate distributions

abstract: We study Hadamard operators on $S'(R^d)$ and give a complete characterization. They have the form $L(S)=S*T$ where * here means the multiplicative convolution and T is in the space of distributions which are $\theta$-rapidly decreasing in infinity and at the coordinate hyperplanes. To show this we study and characterize convolution operators on the space $Y(R^d)$ of exponentially decreasing $C^\infty$-functions on $R^d$. We use this and the exponential transformation to characterize the Hadamard operators on $S'(Q)$, $Q$ the positive quadrant, and this result we use as a building block for our main result.


title: Analysis of the $(\mu/\mu_I,\lambda)$-$\sigma$-Self-Adaptation Evolution Strategy with Repair by Projection Applied to a Conically Constrained Problem

abstract: A theoretical performance analysis of the $(\mu/\mu_I,\lambda)$-$\sigma$-Self-Adaptation Evolution Strategy ($\sigma$SA-ES) is presented considering a conically constrained problem. Infeasible offspring are repaired using projection onto the boundary of the feasibility region. Closed-form approximations are used for the one-generation progress of the evolution strategy. Approximate deterministic evolution equations are formulated for analyzing the strategy's dynamics. By iterating the evolution equations with the approximate one-generation expressions, the evolution strategy's dynamics can be predicted. The derived theoretical results are compared to experiments for assessing the approximation quality. It is shown that in the steady state the $(\mu/\mu_I,\lambda)$-$\sigma$SA-ES exhibits a performance as if the ES were optimizing a sphere model. Unlike the non-recombinative $(1,\lambda)$-ES, the parental steady state behavior does not evolve on the cone boundary but stays away from the boundary to a certain extent.


title: Spatial separation of rotating binary Bose-Einstein condensate by tuning the dipolar interactions

abstract: We are pointing out relevant anisotropic effects, related to spatial separation, miscibility and mass-symmetry, due to dipole-dipole interactions in rotating binary dipolar Bose-Einstein condensates, by considering symmetric ($^{164}$Dy-$^{162}$Dy) and asymmetric ($^{168}$Er-$^{164}$Dy, $^{164}$Dy-$^{87}$Rb) dipolar mixtures. The binary mixtures are kept in strong pancake-shaped trap, modeled by an effective two-dimensional coupled Gross-Pitaevskii equation. The anisotropy of the dipolar interactions, on miscibility and vortex-lattice structures, is studied by tuning the polarization angle of the dipoles $\varphi$, which can enhance the attractive part of the dipole-dipole interaction (DDI) for both inter- and intra-species. Within this procedure of changing to attractive the DDI, a clear spatial separation is verified in the densities at some critical polarization angle. The spatial separations, being angular for symmetric mixtures and radial for asymmetric ones, are verified for repulsive contact interactions when the inter- to intra-species ratio $\delta$ is larger than one, implying the system is less miscible. The corresponding result for the critical polarization angle as a function of $\delta$ is shown in the particular dipolar symmetric case. A striking outcome of the present study is the observed sensibility of the vortex-pattern binary distributions due to the mass-asymmetry. This is exemplified by the symmetric dipolar mixture, where the two isotopes are of the same species.


title: Inclusive search for supersymmetry in pp collisions at $\sqrt{s} =$ 13 TeV using razor variables and boosted object identification in zero and one lepton final states

abstract: An inclusive search for supersymmetry (SUSY) using the razor variables is performed using a data sample of proton-proton collisions corresponding to an integrated luminosity of 35.9 fb$^{-1}$, collected with the CMS experiment in 2016 at a center-of-mass energy of $\sqrt{s} =$ 13 TeV. The search looks for an excess of events with large transverse energy, large jet multiplicity, and large missing transverse momentum. The razor kinematic variables are sensitive to large mass differences between the parent particle and the invisible particles of a decay chain and help to identify the presence of SUSY particles. The search covers final states with zero or one charged lepton and features event categories divided according to the presence of a high transverse momentum hadronically decaying W boson or top quark, the number of jets, the number of b-tagged jets, and the values of the razor kinematic variables, in order to separate signal from background for a broad range of SUSY signatures. The addition of the boosted W boson and top quark categories within the analysis further increases the sensitivity of the search, particularly to signal models with large mass splitting between the produced gluino or squark and the lightest SUSY particle. The analysis is interpreted using simplified models of $R$-parity conserving SUSY, focusing on gluino pair production and top squark pair production. Limits on the gluino mass extend to 2.0 TeV, while limits on top squark mass reach 1.14 TeV.


title: Multi-Tasking Genetic Algorithm (MTGA) for Fuzzy System Optimization

abstract: Multi-task learning uses auxiliary data or knowledge from relevant tasks to facilitate the learning in a new task. Multi-task optimization applies multi-task learning to optimization to study how to effectively and efficiently tackle multiple optimization problems simultaneously. Evolutionary multi-tasking, or multi-factorial optimization, is an emerging subfield of multi-task optimization, which integrates evolutionary computation and multi-task learning. This paper proposes a novel and easy-to-implement multi-tasking genetic algorithm (MTGA), which copes well with significantly different optimization tasks by estimating and using the bias among them. Comparative studies with eight state-of-the-art single- and multi-task approaches in the literature on nine benchmarks demonstrated that on average the MTGA outperformed all of them, and had lower computational cost than six of them. Based on the MTGA, a simultaneous optimization strategy for fuzzy system design is also proposed. Experiments on simultaneous optimization of type-1 and interval type-2 fuzzy logic controllers for couple-tank water level control demonstrated that the MTGA can find better fuzzy logic controllers than other approaches.


title: Employing machine learning for theory validation and identification of experimental conditions in laser-plasma physics

abstract: The validation of a theory is commonly based on appealing to clearly distinguishable and describable features in properly reduced experimental data, while the use of ab-initio simulation for interpreting experimental data typically requires complete knowledge about initial conditions and parameters. We here apply the methodology of using machine learning for overcoming these natural limitations. We outline some basic universal ideas and show how we can use them to resolve long-standing theoretical and experimental difficulties in the problem of high-intensity laser-plasma interactions. In particular we show how an artificial neural network can "read" features imprinted in laser-plasma harmonic spectra that are currently analysed with spectral interferometry.


title: Geometric functionals of fractal percolation

abstract: Fractal percolation exhibits a dramatic topological phase transition, changing abruptly from a dust-like set to a system spanning cluster. The transition points are unknown and difficult to estimate. In many classical percolation models the percolation thresholds have been approximated well using additive geometric functionals, known as intrinsic volumes. Motivated by the question whether a similar approach is possible for fractal models, we introduce corresponding geometric functionals for the fractal percolation process $F$. They arise as limits of expected functionals of finite approximations of $F$. We establish the existence of these limit functionals and obtain explicit formulas for them as well as for their finite approximations.


title: Tubular approaches to Baker's method for curves and varieties

abstract: Baker's method, relying on estimates on linear forms in logarithms of algebraic numbers, allows one to prove in several situations the effective finiteness of integral points on varieties. In this article, we give a generalisation of results of Levin regarding Baker's method for varieties, and explain how, quite surprisingly, it mixes (under additional hypotheses) with Runge's method to improve some known estimates in the case of curves by bypassing (or more generally reducing) the need for linear forms in $p$-adic logarithms.


title: Generative adversarial networks for generation and classification of physical rehabilitation movement episodes

abstract: This article proposes a method for mathematical modeling of human movements related to patient exercise episodes performed during physical therapy sessions by using artificial neural networks. The generative adversarial network structure is adopted, whereby a discriminative and a generative model are trained concurrently in an adversarial manner. Different network architectures are examined, with the discriminative and generative models structured as deep subnetworks of hidden layers comprised of convolutional or recurrent computational units. The models are validated on a data set of human movements recorded with an optical motion tracker. The results demonstrate an ability of the networks for classification of new instances of motions, and for generation of motion examples that resemble the recorded motion sequences.


title: A kinetic-Monte Carlo perspective on active matter

abstract: We study non-equilibrium phases for interacting two-dimensional self-propelled particles with isotropic pair-wise interactions using a persistent kinetic Monte Carlo (MC) approach. We establish the quantitative phase diagram, including the motility-induced phase separation (MIPS) that is a commonly observed collective phenomena in active matter. In addition, we demonstrate for several different potential forms the presence of two-step melting, with an intermediate hexatic phase, in regions far from equilibrium. Increased activity can melt a two-dimensional solid and the melting lines remain disjoint from MIPS. We establish this phase diagram for a range of the inter-particle potential stiffnesses, and identify the MIPS phase even in the hard-disk limit. We establish that the full description of the phase behavior requires three independent control parameters.


title: Extending classical surrogate modelling to high-dimensions through supervised dimensionality reduction: a data-driven approach

abstract: Thanks to their versatility, ease of deployment and high-performance, surrogate models have become staple tools in the arsenal of uncertainty quantification (UQ). From local interpolants to global spectral decompositions, surrogates are characterised by their ability to efficiently emulate complex computational models based on a small set of model runs used for training. An inherent limitation of many surrogate models is their susceptibility to the curse of dimensionality, which traditionally limits their applicability to a maximum of $\mathcal{O}(10^2)$ input dimensions. We present a novel approach at high-dimensional surrogate modelling that is model-, dimensionality reduction- and surrogate model- agnostic (black box), and can enable the solution of high dimensional (i.e. up to $\mathcal{O}(10^4)$) problems. After introducing the general algorithm, we demonstrate its performance by combining Kriging and polynomial chaos expansions surrogates and kernel principal component analysis. In particular, we compare the generalisation performance that the resulting surrogates achieve to the classical sequential application of dimensionality reduction followed by surrogate modelling on several benchmark applications, comprising an analytical function and two engineering applications of increasing dimensionality and complexity.


title: Non-Gaussian Geostatistical Modeling using (skew) t Processes

abstract: We propose a new model for regression and dependence analysis when addressing spatial data with possibly heavy tails and an asymmetric marginal distribution. We first propose a stationary process with $t$ marginals obtained through scale mixing of a Gaussian process with an inverse square root process with Gamma marginals. We then generalize this construction by considering a skew-Gaussian process, thus obtaining a process with skew-t marginal distributions. For the proposed (skew) $t$ process we study the second-order and geometrical properties and in the $t$ case, we provide analytic expressions for the bivariate distribution. In an extensive simulation study, we investigate the use of the weighted pairwise likelihood as a method of estimation for the $t$ process. Moreover we compare the performance of the optimal linear predictor of the $t$ process versus the optimal Gaussian predictor. Finally, the effectiveness of our methodology is illustrated by analyzing a georeferenced dataset on maximum temperatures in Australia


title: Nonlinear emergent elasticity and structural transitions of skyrmion crystal under uniaxial distortion

abstract: Emergent crystals are periodic alignment of "emergent particles", i.e., localized collective behavior of atoms or their charges/spins/orbits. These novel states of matter, widely observed in various systems, may deform under mechanical forces with elasticity strikingly different from that of the underlying material. However, their nonlinear and critical behaviors under strong fields are hitherto unclear. Here we theoretically study the nonlinear elasticity and structural transitions of skyrmion crystals (SkX) suffering uniaxial distortion by using three different methods. Under moderate tension, SkX behaves like a ductile material, with a negative crossover elastic stiffness and a negative emergent Poisson's ratio at appropriate conditions of magnetic field. Under strong straining, we observe at most six phase transitions, leading to appearance of four novel emergent crystals that are thermodynamically metastable. When subject to external loads, emergent crystals rotate globally, and their composing "particles" have unlimited deformability, which render their exotic polymorphism.


title: A Stallings' type theorem for quasi-transitive graphs

abstract: We consider infinite connected quasi-transitive locally finite graphs and show that every such graph with more than one end is a tree amalgamation of two other such graphs. This can be seen as a graph-theoretical version of Stallings' splitting theorem for multi-ended finitely generated groups and indeed it implies this theorem. It will also lead to a characterisation of accessible graphs in terms of tree amalgamations. We obtain applications of our results for hyperbolic graphs, planar graphs and graphs without any thick end. The application for planar graphs answers a question of Mohar in the affirmative.


title: On the Sign Distributions of Hilbert Space Frames

abstract: We show that the positive and negative parts $ u_{k}^{\pm }$ of any frame in a real $ L^{2}$ space with respect to a continuous measure have both "infinite $ l^{2}$ masses": 1) always, $ \sum _{k}u_{k}^{\pm }(x)^{2}=\infty $ almost everywhere (in particular, there exist no positive frames, nor Riesz bases), but 2) $ \sum _{k=1}^{n}(u_{k}^{+}(x)-u_{k}^{-}(x))^{2}$ can grow "locally" as slow as we wish (for $ n\longrightarrow \infty $), and 3) it can happen that $ \sum _{k=1}^{n}u_{k}^{-}(x)^{2}=\, o(\sum _{k=1}^{n}u_{k}^{+}(x)^{2})$, and vice versa, as $ n\longrightarrow \infty $ on a set of positive measure. Property 1) for the case of an orthonormal basis in $ L^{2}(0,1)$ was settled earlier (V. Ya. Kozlov, 1948) using completely different (and more involved) arguments. Our elementary treatment includes also the case of unconditional bases in a variety of Banach spaces. For property 2), we show that, moreover, whatever is a monotone sequence $ \epsilon _{k}>0$ satisfying $ \sum _{k}\epsilon ^{2}_{k}=\, \infty $ there exists an orthonormal basis $ (u_{k})_{k\, }$in $ L^{2}$ such that $ \vert u_{k}(x)\vert \leq \, A(x)\epsilon _{k}$, $ 0<A(x)<\, \infty $.


title: PiCANet: Pixel-wise Contextual Attention Learning for Accurate Saliency Detection

abstract: In saliency detection, every pixel needs contextual information to make saliency prediction. Previous models usually incorporate contexts holistically. However, for each pixel, usually only part of its context region is useful and contributes to its prediction, while some other part may serve as noises and distractions. In this paper, we propose a novel pixel-wise contextual attention network, \ie PiCANet, to learn to selectively attend to informative context locations at each pixel. Specifically, PiCANet generates an attention map over the context region of each pixel, where each attention weight corresponds to the relevance of a context location w.r.t the referred pixel. Then, attentive contextual features can be constructed via selectively incorporating the features of useful context locations with the learned attention. We propose three specific formulations of the PiCANet via embedding the pixel-wise contextual attention mechanism into the pooling and convolution operations with attending to global or local contexts. All the three models are fully differentiable and can be integrated with CNNs with joint training. We introduce the proposed PiCANets into a U-Net architecture for salient object detection. Experimental results indicate that the proposed PiCANets can significantly improve the saliency detection performance. The generated global and local attention can learn to incorporate global contrast and smoothness, respectively, which help localize salient objects more accurately and highlight them more uniformly. Consequently, our saliency model performs favorably against other state-of-the-art methods. Moreover, we also validate that PiCANets can also improve semantic segmentation and object detection performances, which further demonstrates their effectiveness and generalization ability.


title: Breaking the bonds of weak coupling: the dynamic causal modelling of oscillator amplitudes

abstract: Models of coupled oscillators are useful in describing a wide variety of phenomena in physics, biology and economics. These models typically rest on the premise that the oscillators are weakly coupled, meaning that amplitudes can be assumed to be constant and dynamics can therefore be described purely in terms of phase differences. Whilst mathematically convenient, the restrictive nature of the weak coupling assumption can limit the explanatory power of these phase-coupled oscillator models. We therefore propose an extension to the weakly-coupled oscillator model that incorporates both amplitude and phase as dependent variables. We use the bilinear neuronal state equations of dynamic causal modelling as a foundation in deriving coupled differential equations that describe the activity of both weakly and strongly coupled oscillators. We show that weakly-coupled oscillator models are inadequate in describing the processes underlying the temporally variable signals observed in a variety of systems. We demonstrate that phase-coupled models perform well on simulations of weakly coupled systems but fail when connectivity is no longer weak. On the other hand, using Bayesian model selection, we show that our phase-amplitude coupling model can describe non-weakly coupled systems more effectively despite the added complexity associated with using amplitude as an extra dependent variable. We demonstrate the advantage of our phase-amplitude model in the context of model-generated data, as well as of a simulation of inter-connected pendula, neural local field potential recordings in rodents under anaesthesia and international economic gross domestic product data.


title: On subgrid multiscale stabilized finite element method for advection-diffusion-reaction equation with variable coefficients

abstract: In this study a stabilized finite element method for solving advection-diffusion-reaction equation with spatially variable coefficients has been carried out. Here subgrid scale approach along with algebraic approximation to the sub-scales has been chosen as stabilized method among various other methods. Both a priori and a posteriori finite element error estimates in $L_2$ norms have been derived after introducing the stabilized formulation of the variational form. An expression of the stabilization parameter for this 2D problem has also been derived here. At last numerical experiments are presented to verify numerical performance of the stabilized method and check the credibility of the theoretically derived expression of the stabilization parameter.


title: Spectral peculiarity and criticality of the human connectome

abstract: We have performed the comparative spectral analysis of structural connectomes for various organisms using open-access data. Our analysis indicates several new peculiar features of the human connectome. We found that the spectral density of human connectome has the maximal deviation from the spectral density of the randomized network compared to all other organisms. For many animals except human structural peculiarities of connectomes are well reproduced in the network evolution induced by the preference of 3-cycles formation. To get the reliable fit , we discovered the crucial role of the conservation of local clusterization in human connectome evolution. We investigated for the first time the level spacing distribution in the spectrum of human connectome graph Laplacian. It turns out that the spectral statistics of human connectome corresponds exactly to the critical regime familiar in the condensed matter physics which is hybrid of Wigner-Dyson and Poisson distributions. This observation provides the strong support for the much debated statement of the brain criticality.


title: A faint halo star cluster discovered in the Blanco Imaging of the Southern Sky Survey

abstract: We present the discovery of a faint, resolved stellar system, BLISS J0321+0438 (BLISS 1), found in Dark Energy Camera data from the first observing run of the Blanco Imaging of the Southern Sky (BLISS) Survey. BLISS J0321+0438 (BLISS 1) is located at (RA, Dec) = (177.511, -41.772) deg with a heliocentric distance of D = 23.7$^{+1.9}_{-1.0}$ kpc. It is a faint, Mv = 0.0$^{+1.7}_{-0.7}$ mag, and compact, rh = 4.1 +/- 1 pc, system consistent with previously discovered faint halo star clusters. Using data from the second data release of the Gaia satellite, we measure a proper motion of $(\mu_\alpha \cos \delta, \mu_\delta)$ = (-2.37 +/- 0.06, 0.16 +/- 0.04) mas/yr. Combining the available positional and velocity information with simulations of the accreted satellite population of the Large Magellanic Cloud, we find that it is unlikely that BLISS J0321+0438 (BLISS 1) originated with the Large Magellanic Cloud.


title: Likelihood Quantile Networks for Coordinating Multi-Agent Reinforcement Learning

abstract: When multiple agents learn in a decentralized manner, the environment appears non-stationary from the perspective of an individual agent due to the exploration and learning of the other agents. Recently proposed deep multi-agent reinforcement learning methods have tried to mitigate this non-stationarity by attempting to determine which samples are from other agent exploration or suboptimality and take them less into account during learning. Based on the same philosophy, this paper introduces a decentralized quantile estimator, which aims to improve performance by distinguishing non-stationary samples based on the likelihood of returns. In particular, each agent considers the likelihood that other agent exploration and policy changes are occurring, essentially utilizing the agent's own estimations to weigh the learning rate that should be applied towards the given samples. We introduce a formal method of calculating differences of our return distribution representations and methods for utilizing it to guide updates. We also explore the effect of risk-seeking strategies for adjusting learning over time and propose adaptive risk distortion functions which guides risk sensitivity. Our experiments, on traditional benchmarks and new domains, show our methods are more stable, sample efficient and more likely to converge to a joint optimal policy than previous methods.


title: On the conformal method for the Einstein constraint equations

abstract: In this work, we use the global analysis and degree-theoretic methods introduced by Smale to study the existence and multiplicity of solutions of the vacuum Einstein constraint equations given by the conformal method of Lichnerowicz-Choquet-Bruhat-York. In particular this approach gives a new proof of the existence result of Maxwell and Holst-Nagy-Tsogtgerel. We also relate the method to the limit equation of Dahl-Gicquaud-Humbert and the non-existence result of Nguyen.


title: Quantum Pressure Focusing in Solids: A Reconstruction from Experimental Electron Density

abstract: We present an approach for reconstructing the distribution of electronic internal quantum pressure in the electronic continuum of solids from the experimental electron density. Using the formalism of the density functional theory, we obtain the spatial inner-crystal map of the quantum pressure. The results are visualized via the indicator of quantum pressure focusing (IQPF) which reveals the regions where the pressure is concentrated or depleted due to the quantum effects. IQPF contains all quantum electron shell structure-forming contributions resulting from kinetic, exchange and correlation effects, and presents a clear picture of the chemical bond features in crystals with different type of bonding mechanisms.


title: Elucidating the long-range charge carrier mobility in metal halide perovskite thin films

abstract: Many optoelectronic properties have been reported for lead halide perovskite polycrystalline films. However, ambiguities in the evaluation of these properties remain, especially for long-range lateral charge transport, where ionic conduction can complicate interpretation of data. Here we demonstrate a new technique to measure the long-range charge carrier mobility in such materials. We combine quasi-steady-state photo-conductivity measurements (electrical probe) with photo-induced transmission and reflection measurements (optical probe) to simultaneously evaluate the conductivity and charge carrier density. With this knowledge we determine the lateral mobility to be ~ 2 cm2/Vs for CH3NH3PbI3 (MAPbI3) polycrystalline perovskite films prepared from the acetonitrile/methylamine solvent system. Furthermore, we present significant differences in long-range charge carrier mobilities, from 2.2 to 0.2 cm2/Vs, between films of contemporary perovskite compositions prepared via different fabrication processes, including solution and vapour phase deposition techniques. Arguably, our work provides the first accurate evaluation of the long-range lateral charge carrier mobility in lead halide perovskite films, with charge carrier density in the range typically achieved under photovoltaic operation.


title: Calculus on parameterized quantum circuits

abstract: Mitarai, Negoro, Kitagawa, and Fujii proposed a type of parameterized quantum circuits, for which they gave a way to estimate derivatives wrt the parameters using only changes in the values of the parameters, not in the circuit itself, i.e., no ancillas or controlled operations. Recently, Schuld et al. have extended the results, but they need to revert to ancillas and controlled operations for some cases. In this note, we extend the types of MiNKiF circuits for which derivatives can be computed without ancillas or controlled operations --- at the cost of a larger number of evaluation points. We also propose a "training" (i.e., optimizing the parameters) which takes advantage of our approach.


title: Some $q$-supercongruences from transformation formulas for basic hypergeometric series

abstract: Several new $q$-supercongruences are obtained using transformation formulas for basic hypergeometric series, together with various techniques such as suitably combining terms, and creative microscoping, a method recently developed by the first author in collaboration with Wadim Zudilin. More concretely, the results in this paper include $q$-analogues of supercongruences (referring to $p$-adic identities remaining valid for some higher power of $p$) established by Long, by Long and Ramakrishna, and several other $q$-supercongruences. The six basic hypergeometric transformation formulas which are made use of are Watson's transformation, a quadratic transformation of Rahman, a cubic transformation of Gasper and Rahman, a quartic transformation of Gasper and Rahman, a double series transformation of Ismail, Rahman and Suslov, and a new transformation formula for a nonterminating very-well-poised ${}_{12}\phi_{11}$ series. Also, the nonterminating $q$-Dixon summation formula is used. A special case of the new ${}_{12}\phi_{11}$ transformation formula is further utilized to obtain a generalization of Rogers' linearization formula for the continuous $q$-ultraspherical polynomials.


title: Data-efficient Auto-tuning with Bayesian Optimization: An Industrial Control Study

abstract: Bayesian optimization is proposed for automatic learning of optimal controller parameters from experimental data. A probabilistic description (a Gaussian process) is used to model the unknown function from controller parameters to a user-defined cost. The probabilistic model is updated with data, which is obtained by testing a set of parameters on the physical system and evaluating the cost. In order to learn fast, the Bayesian optimization algorithm selects the next parameters to evaluate in a systematic way, for example, by maximizing information gain about the optimum. The algorithm thus iteratively finds the globally optimal parameters with only few experiments. Taking throttle valve control as a representative industrial control example, the proposed auto-tuning method is shown to outperform manual calibration: it consistently achieves better performance with a low number of experiments. The proposed auto-tuning framework is flexible and can handle different control structures and objectives.


title: Hypercomplex Generalizations of Gaussian-type Measures

abstract: The article is devoted to a new type of measures which are hypercomplex generalizations of Gaussian-type measures. The considered such measures are related with solutions of high order hyperbolic PDEs and related Markov processes. Their characteristic functionals are investigated. Cylindrical distributions of these measures are studied.


title: An incomplete and biased survey on selected resource management for distributed applications as basis for interoperability of medical devices

abstract: The popularity and wide spread of IoT technology has brought about a rich hardware infrastructure over which it is possible to run powerful applications that were not previously imagined. Among this infrastructure, there are the medical hardware that is progressively advancing but at a slower pace. Nevertheless, medical devices are more powerful now to run more sophisticated functions and applications and exchange big data with external systems in a secure and safe fashion. Towards the design of an architecture for interoperability of medical devices, this paper initially focuses on the background work that is taken by the author for this objective. The paper briefly describes the role of the software in the advances of medical systems and their possibilities for interoperability. It focuses attention on the distribution software layer that is responsible for connectivity, efficiency, and time-sensitivity in the basic operation of medical systems such as exchange of information and commands across devices and systems. The paper analyses a number of previous work on middleware (mostly performed at his research group and also in a broader research community), and pay especial attention to the middleware for web-based systems and how they relate to the development of distributed medical systems.


title: Solving the Classical Nucleation Theory with respect to the surface energy

abstract: An essential parameter of the Classical Nucleation Theory (CNT) is the surface energy between a critical-size nucleus and the ambient phase, $\sigma$. In condensed matter, this parameter cannot be experimentally determined independently of CNT. A common practice to obtain $\sigma$ is to assume a model for its temperature-dependence and perform a regression of the CNT equation against experimental nucleation data. The drawback of this practice is that assuming the temperature-dependence of $\sigma$ adds a bias to the analysis. Nonetheless, this practice is common because an analytical solution of the Classical Nucleation Theory with respect to $\sigma$ is not possible considering common expressions of this theory. In this article, a general numerical solution to this problem using the Lambert $W$ function is proposed, tested, and compared with typical regression methods. The major advantage of the proposed method is that there is no need to assume a model for the temperature-dependence of $\sigma$.


title: Layer Based Partition for Matrix Multiplication on Heterogeneous Processor Platforms

abstract: While many approaches have been proposed to analyze the problem of matrix multiplication parallel computing, few of them address the problem on heterogeneous processor platforms. It still remains an open question on heterogeneous processor platforms to find the optimal schedule that balances the load within the heterogeneous processor set while minimizing the amount of communication. A great many studies are based on rectangular partition, whereas the optimality of rectangular partition as the basis has not been well justified. In this paper, we propose a new method that schedules matrix multiplication on heterogeneous processor platforms with the mixed co-design goal of minimizing the total communication volume and the multiplication completion time. We first present the schema of our layer based partition (LBP) method. Subsequently, we demonstrate that our approach guarantees minimal communication volume, which is smaller than what rectangular partition can reach. We further analyze the problem of minimizing the task completion time, with network topologies taken into account. We solve this problem in both single-neighbor network case and multi-neighbor network case. In single-neighbor network cases, we propose an equality based method to solve LBP, and simulation shows that the total communication volume is reduced by 75% from the lower bound of rectangular partition. In multi-neighbor network cases, we formulate LBP as a Mixed Integer Programming problem, and reduce the total communication volume by 81% through simulation. To summarize, this is a promising perspective of tackling matrix multiplication problems on heterogeneous processor platforms.


title: Resonance production in high energy collisions from small to big systems

abstract: The aim of this paper is to understand resonance production (and more generally particle production) for different collision systems, namely proton-proton (pp), proton-nucleus (pA), and nucleus-nucleus (AA) scattering at the LHC. We will investigate in particular particle yields and ratios versus multiplicity, using the same multiplicity definition for the three different systems, in order to analyse in a compact way the evolution of particle production with the system size and the origin of a very different system size dependence of the different particles.


title: Optical properties and electromagnetic modes of Weyl semimetals

abstract: We present systematic theoretical studies of both bulk and surface electromagnetic eigenmodes, or polaritons, in Weyl semimetals. We derive the tensors of bulk and surface conductivity taking into account all possible combinations of the optical transitions involving bulk and surface electron states. We show how information about electronic structure of Weyl semimetals, such as position and separation of Weyl nodes, Fermi energy, and Fermi arc surface states, can be unambiguously extracted from measurements of the dispersion, transmission, reflection, and polarization of electromagnetic waves.


title: Spectrum and fine spectrum of generalised lower triangular triple band matrices over the sequence space $l_p$

abstract: The spectrum of triangular band matrices defined on the sequence spaces where the entries of each band is a constant or convergent sequence is well studied. In this article, the spectrum and fine spectrum of a new generalised difference operator defined by a lower triangular triple band matrix on the sequence space $l_p (1 \leq p < \infty)$ are obtained where the bands are considered as periodic sequences. The approximate point spectrum, defect spectrum, compression spectrum and the Goldberg classification of the spectrum are also discussed. Suitable examples are given in order to supplement the results. Several special cases of our findings are discussed which confirm that our study is more general and extensive.


title: Thermodynamics in Single-Electron Circuits and Superconducting Qubits

abstract: Classical and quantum electronic circuits provide ideal platforms to investigate stochastic thermodynamics and they have served as a stepping stone to realize Maxwell's demons with highly controllable protocols. In this article we first review the central thermal phenomena in quantum nanostructures. Thermometry and basic refrigeration methods will be described as enabling tools for thermodynamics experiments. Next we discuss the role of information in thermodynamics which leads to the concept of Maxwell's demon. Various Maxwell's demons realized in single-electron circuits over the past couple of years will be described. Currently true quantum thermodynamics in superconducting circuits is in focus of attention, and we end the review by discussing the ideas and first experiments in this exciting area of research.


title: Study of longitudinal fluctuations of the Sherrington-Kirkpatrick model

abstract: We study finite-size corrections to the free energy of the Sherrington-Kirkpatrick spin glass in the low temperature phase. We investigate the role of longitudinal fluctuations in these corrections, neglecting the transverse contribution. In particular, we are interested in the exponent $\alpha$ defined by the relation $f-f_\infty\sim N^{-\alpha}$. We perform both an analytical and numerical estimate of the analytical result for $\alpha$. From both the approaches we get the result: $\alpha=0.8$.


title: A Note on a Picture-Hanging Puzzle

abstract: In the picture-hanging puzzle we are to hang a picture so that the string loops around $n$ nails and the removal of any nail results in a fall of the picture. We show that the length of a sequence representing an element in the free group with $n$ generators that corresponds to a solution of the picture-hanging puzzle must be at least $n2^{\sqrt{\log_2 n}}$. In other words, this is a lower bound on the length of a sequence representing a non-trivial element in the free group with $n$ generators such that if we replace any of the generators by the identity the sequence becomes trivial.


title: Self adaptation of chimera states

abstract: Chimera states in spatiotemporal dynamical systems have been investigated in physical, chemical, and biological systems, and have been shown to be robust against random perturbations. How do chimera states achieve their robustness? We uncover a self-adaptation behavior by which, upon a spatially localized perturbation, the coherent component of the chimera state spontaneously drifts to an optimal location as far away from the perturbation as possible, exposing only its incoherent component to the perturbation to minimize the disturbance. A systematic numerical analysis of the evolution of the spatiotemporal pattern of the chimera state towards the optimal stable state reveals an exponential relaxation process independent of the spatial location of the perturbation, implying that its effects can be modeled as restoring and damping forces in a mechanical system and enabling the articulation of a phenomenological model. Not only is the model able to reproduce the numerical results, it can also predict the trajectory of drifting. Our finding is striking as it reveals that, inherently, chimera states possess a kind of "intelligence" in achieving robustness through self adaptation. The behavior can be exploited for controlled generation of chimera states with their coherent component placed in any desired spatial region of the system.


title: Origraph: Interactive Network Wrangling

abstract: Networks are a natural way of thinking about many datasets. The data on which a network is based, however, is rarely collected in a form that suits the analysis process, making it necessary to create and reshape networks. Data wrangling is widely acknowledged to be a critical part of the data analysis pipeline, yet interactive network wrangling has received little attention in the visualization research community. In this paper, we discuss a set of operations that are important for wrangling network datasets and introduce a visual data wrangling tool, Origraph, that enables analysts to apply these operations to their datasets. Key operations include creating a network from source data such as tables, reshaping a network by introducing new node or edge classes, filtering nodes or edges, and deriving new node or edge attributes. Our tool, Origraph, enables analysts to execute these operations with little to no programming, and to immediately visualize the results. Origraph provides views to investigate the network model, a sample of the network, and node and edge attributes. In addition, we introduce interfaces designed to aid analysts in specifying arguments for sensible network wrangling operations. We demonstrate the usefulness of Origraph in two Use Cases: first, we investigate gender bias in the film industry, and then the influence of money on the political support for the war in Yemen.


title: The Origin of the Multiwavelength Emission of PKS 0502+049

abstract: The origin of the multiwavelength emission from PKS 0502+049 neighboring the first cosmic neutrino source TXS 0506+056 is studied using the data observed by Fermi-LAT and Swift UVOT/XRT. This source was in a flaring state in the considered bands before and after the neutrino observations in 2014-2015, characterized by hard emission spectra in the X-ray and $\gamma$-ray bands, $1.5-1.8$ and $\leq2.0$, respectively. During the neutrino observations, the $\gamma$-ray spectrum shows a deviation from a simple power-law shape, indicating a spectral cutoff at $E_c =8.50\pm2.06$ GeV. The spectral energy distributions of PKS 0502+049 are modeled within a one-zone leptonic scenario assuming that high energy $\gamma$-ray emission is produced either by IC scattering of synchrotron or dusty torus photons by the electron population that produce the radio-to-optical emission. Alternatively, the observed $\gamma$-rays are modeled considering inelastic interaction of protons, when the jet interacts with a dense gaseous target. During the neutrino observations, the $\gamma$-ray data are best described when the proton energy distribution is $E_p^{-2.61}$ and if the protons are effectively accelerated up to 10 PeV, the expected neutrino rate is $\sim1.1$ events within 110 days. In principle, if the $\gamma$-ray emission with a hard photon index observed during the flaring periods extends up to TeV, the expected rate can be somewhat higher, but such conditions are hardly possible. Within the hadronic interpretation, the $\gamma$-ray data can be reproduced only when the accretion rate of PKS 0502+049 is in the supper-Eddington regime, as opposed to the leptonic scenario. From the point of view of the necessary energetics as well as considering that the required parameters are physically reasonable, when the neutrinos were observed, the broadband emission from PKS 0502+049 is most likely of a leptonic origin.


title: Minkowski identities for hypersurfaces in constant sectional curvature manifolds

abstract: We give a new proof of the generalized Minkowski identities relating the higher degree mean curvatures of orientable closed hypersurfaces immersed in a given constant sectional curvature manifold. Our methods rely on a fundamental differential system of Riemannian geometry introduced by the author. We develop the notion of position vector field, which lies at the core of the Minkowski identities.


title: 3D TQFT and HOMFLYPT homology

abstract: We describe a family of 3d topological B-models whose target spaces are Hilbert schemes of points in $\mathbb{C}^2$. The interfaces separating theories with different numbers of points correspond to braid strands. The Hilbert space of the picture of a closed braid is the HOMFLY-PT homology of the corresponding link.


title: Decidable fragments of first-order modal logics with counting quantifiers over varying domains

abstract: This paper explores the computational complexity of various natural one-variable fragments of first-order modal logics with the addition of counting quantifiers, over both constant and varying domains. The addition of counting quantifiers provides us a rich language with which to succinctly express statements about the quantity of objects satisfying a given first-order property, using a single variable. Optimal NExpTime upper-bounds are provided for the satisfiability problems of the one-variable fragment of the minimal first-order modal logic QK, over both constant and expanding/decreasing domain models, where counting quantifiers are encoded as binary strings. For the case where the counting quantifiers are encoded as unary strings, or are restricted to a finite set of quantifiers, it is shown that the satisfiability problem over expanding domains is PSpace-complete, whereas over decreasing domains the problem is shown to be ExpTime-hard.


title: Decomposition of balanced multipartite tournaments into strongly connected tournaments

abstract: Decomposing a digraph into subdigraphs with a fixed structure or property is a classical problem in graph theory and a useful tool in a number of applications of networks and communication. A digraph is strongly connected if it contains a directed path from each vertex to all others. In this paper we consider multipartite tournaments, and we study the existence of a partition of a multipartite tournament with $c$ partite sets into strongly connected $c$-tournaments. This is a continuation of the study started in 1999 by Volkmann of the existence of strongly connected subtournaments in multipartite tournaments.


title: On C*-completions of discrete quantum group rings

abstract: We discuss just infiniteness of C*-algebras associated to discrete quantum groups and relate it to the C*-uniqueness of the quantum groups in question, i.e. to the uniqueness of a C*-completion of the underlying Hopf *-algebra. It is shown that duals of q-deformations of simply connected semisimple compact Lie groups are never C*-unique. On the other hand we present an example of a discrete quantum group which is not locally finite and yet is C*-unique.


title: Effective Field Theory and Lattice QCD approaches for hard probes in QCD matter

abstract: Hard Probes are an essential tool to discover the properties of the quark-gluon plasma created in heavy-ion collisions. The study of hard probes always involves taking into account very different energy scales, and this is precisely the situation in which Effective Fields Theories (EFTs) are useful. EFTs can be used to separate the short-distance and perturbative physics from the long-distance and non-perturbative. This method combined with Lattice QCD evaluations of the long-distance effects can provide accurate and first principles results. In this proceeding, I will report recent advances in this direction. Results from an EFT computation of quarkonium $R_{AA}$ at $\sqrt{s_{NN}}=5.02\,\textit{TeV}$ are shown for the first time here.


title: Motion deviation of test body induced by spin and cosmological constant in extreme mass ratio inspiral binary system

abstract: The future space-borne detectors will provide the possibility to detect gravitational waves emitted from extreme mass ratio inspirals of stellar-mass compact objects into supermassive black holes. It is natural to expect that the spin of the compact object and cosmological constant will affect the orbit of the inspiral process and hence lead to the considerable phase shift of the corresponding gravitational waves. In this paper, we investigate the motion of a spinning test particle in the spinning black hole background with a cosmological constant and give the order of motion deviation induced by the particle's spin and the cosmological constant by considering the corresponding innermost stable circular orbit. By taking the neutron star or kerr black hole as the small body, the deviations of the innermost stable circular orbit parameters induced by the particle's spin and cosmological constant are given. Our results show that the deviation induced by particle's spin is much larger than that induced by cosmological constant when the test particle locates not very far away from the black hole, the accumulation of phase shift during the inspiral from the cosmological constant can be ignored when compared to the one induced by the particle's spin. However when the test particle locates very far away from the black hole, the impact from the cosmological constant will increase dramatically. Therefore the accumulation of phase shift for the whole process of inspiral induced by the cosmological constant and the particle's spin should be handled with caution.


title: Reconfigurable quantum logic gates using Rashba controlled spin polarized currents

abstract: A reconfigurable logic gate is proposed in a two-dimensional double quantum wire system with a coupling window enabled by a Rashba field. Manipulating the spin states of incoming electrons several quantum logic gates (OR, AND, XOR, CNOT) can be implemented. The logic gate functionality can be switched by tuning the Rashba parameter only. In this context, we investigate suitable configurations of the device region by embedding a quantum point contact located in the coupling region to obtain all four logic gates. The ballistic spin polarized transmission functions are calculated using an effective mass scattering formalism in the framework of a multi-channel, multi-terminal system. Owing its versatility, the proposed logic gate can be integrated in programmable architectures, able to implement both classical and quantum algorithms.


title: Optimal Regular Expressions for Permutations

abstract: The permutation language $P_n$ consists of all words that are permutations of a fixed alphabet of size $n$. Using divide-and-conquer, we construct a regular expression $R_n$ that specifies $P_n$. We then give explicit bounds for the length of $R_n$, which we find to be $4^n n^{-(\lg n)/4+\Theta(1)}$, and use these bounds to show that $R_n$ has minimum size over all regular expressions specifying $P_n$.


title: Enumeration, structural and dimensional synthesis of robotic hands: theory and implementation

abstract: Designing robotic hands for specific tasks could help in the creation of optimized end-effectors for grasping and manipulation. However the systematic design of robotic hands for a simultaneous task of all fingertips presents many challenges. In this work the algorithms and implementation of an overall synthesis process is presented, which could be a first step towards a complete design tool for robotic end-effectors. Type synthesis for a given task and number of fingers, solvability and dimensional synthesis for arbitrary topologies are developed and implemented. The resulting solver is a powerful tool that can aid in the creation of innovative robotic hands with arbitrary number of fingers and palms. Several examples of type synthesis, solvability calculations and dimensional synthesis are presented.


title: InverSynth: Deep Estimation of Synthesizer Parameter Configurations from Audio Signals

abstract: Sound synthesis is a complex field that requires domain expertise. Manual tuning of synthesizer parameters to match a specific sound can be an exhaustive task, even for experienced sound engineers. In this paper, we introduce InverSynth - an automatic method for synthesizer parameters tuning to match a given input sound. InverSynth is based on strided convolutional neural networks and is capable of inferring the synthesizer parameters configuration from the input spectrogram and even from the raw audio. The effectiveness InverSynth is demonstrated on a subtractive synthesizer with four frequency modulated oscillators, envelope generator and a gater effect. We present extensive quantitative and qualitative results that showcase the superiority InverSynth over several baselines. Furthermore, we show that the network depth is an important factor that contributes to the prediction accuracy.


title: Mutual synchronization of constriction-based spin Hall nano-oscillators in weak in-plane fields

abstract: We study mutual synchronization in double nanoconstriction-based spin Hall nano-oscillators (SHNOs) under weak in-plane fields ($\mu_0H_\mathrm{IP}$ = 30-40 mT) and also investigate its angular dependence. We compare SHNOs with different nano-constriction spacings of 300 and 900 nm. In all devices, mutual synchronization occurs below a certain critical angle, which is higher for the 300 nm spacing than for the 900 nm spacing, reflecting the stronger coupling at shorter distances. Alongside the synchronization, we observe a strong second harmonic consistent with predictions that the synchronization may be mediated by the propagation of second harmonic spin waves. However, although Brillouin Light Scattering microscopy confirms the synchronization, it fails to detect any related increase of the second harmonic. Micromagnetic simulations instead explain the angular dependent synchronization as predominantly due to magneto-dipolar coupling between neighboring SHNOs.


title: On the forking topology of a reduct of a simple theory

abstract: Let $T$ be simple and $T^-$ a reduct of $T$. For variables $x$, we call an $\emptyset$-invariant set $\Gamma(x)$ of ${{\cal C}}$ with the property that for every formula $\phi^-(x,y)\in L^-$: for every $a$, $\phi^-(x,a)$ $L^-$-forks over $\emptyset$ iff $\Gamma(x)\wedge \phi^-(x,a)$ $L$-forks over $\emptyset$, a \em universal transducer\em. We show that there is a greatest universal transducer $\tilde\Gamma_x$ (for any $x$) and it is type-definable. In particular, the forking topology on $S_y(T)$ refines the forking topology on $S_y(T^-)$. Moreover, we describe the set of universal transducers in terms of certain topology on the Stone space and show that $\tilde\Gamma_x$ is the unique universal transducer that is $L^-$-type-definable with parameters. In the case where $T^-$ is a theory with the wnfcp (the weak nfcp) and $T$ is the theory of its lovely pairs we show $\tilde\Gamma_x=(x=x)$ and give a more precise description of all its universal transducers in case $T^-$ has the nfcp.


title: An efficient adaptive accelerated inexact proximal point method for solving linearly constrained nonconvex composite problems

abstract: This paper proposes an efficient adaptive variant of a quadratic penalty accelerated inexact proximal point (QP-AIPP) method proposed earlier by the authors. Both the QP-AIPP method and its variant solve linearly set constrained nonconvex composite optimization problems using a quadratic penalty approach where the generated penalized subproblems are solved by a variant of the underlying AIPP method. The variant, in turn, solves a given penalized subproblem by generating a sequence of proximal subproblems which are then solved by an accelerated composite gradient algorithm. The main difference between AIPP and its variant is that the proximal subproblems in the former are always convex while the ones in the latter are not necessarily convex due to the fact that their prox parameters are chosen as aggressively as possible so as to improve efficiency. The possibly nonconvex proximal subproblems generated by the AIPP variant are also tentatively solved by a novel adaptive accelerated composite gradient algorithm based on the validity of some key convergence inequalities. As a result, the variant generates a sequence of proximal subproblems where the stepsizes are adaptively changed according to the responses obtained from the calls to the accelerated composite gradient algorithm. Finally, numerical results are given to demonstrate the efficiency of the proposed AIPP and QP-AIPP variants.


title: Enabling visible-light absorption and p-type doping in In2O3 by adding Bi

abstract: In2O3 is a prototype wide-band-gap semiconductor that exhibits metallic conductivity when highly doped with Sn while retaining a high degree of transparency to visible light. It is widely used as a transparent window/electrode in solar cells and LEDs. The functionality of In2O3 would be greatly extended if p-type conductivity could also be achieved. Using electronic structure calculations, we show that adding Bi to In2O3, in the form of dilute (In_{1-x}Bi_{x})_2O3} alloys, leads to a new valence band that is sufficiently higher in energy than the original O-2p valence band to allow for p-type doping. Moreover, the raised valence band in the (In_{1-x}Bi_{x})_2O3} dilute alloys leads to strong optical absorption in the visible spectrum, opening up for new applications such as a wide band gap absorber layer in tandem solar cells.


title: Verifying the Medical Specialty from User Profile of Online Community for Health-Related Advices

abstract: The paper describes the verifying methods of medical specialty from user profile of online community for health-related advices. To avoid critical situations with the proliferation of unverified and inaccurate information in medical online community, it is necessary to develop a comprehensive software solution for verifying the user medical specialty of online community for health-related advices. The algorithm for forming the information profile of a medical online community user is designed. The scheme systems of formation of indicators of user specialization in the profession based on a training sample is presented. The method of forming the user information profile of online community for healthrelated advices by computer-linguistic analysis of the information content is suggested. The system of indicators based on a training sample of users in medical online communities is formed. The matrix of medical specialties indicators and method of determining weight coefficients these indicators is investigated. The proposed method of verifying the medical specialty from user profile is tested in online medical community.


title: Lifelong Path Planning with Kinematic Constraints for Multi-Agent Pickup and Delivery

abstract: The Multi-Agent Pickup and Delivery (MAPD) problem models applications where a large number of agents attend to a stream of incoming pickup-and-delivery tasks. Token Passing (TP) is a recent MAPD algorithm that is efficient and effective. We make TP even more efficient and effective by using a novel combinatorial search algorithm, called Safe Interval Path Planning with Reservation Table (SIPPwRT), for single-agent path planning. SIPPwRT uses an advanced data structure that allows for fast updates and lookups of the current paths of all agents in an online setting. The resulting MAPD algorithm TP-SIPPwRT takes kinematic constraints of real robots into account directly during planning, computes continuous agent movements with given velocities that work on non-holonomic robots rather than discrete agent movements with uniform velocity, and is complete for well-formed MAPD instances. We demonstrate its benefits for automated warehouses using both an agent simulator and a standard robot simulator. For example, we demonstrate that it can compute paths for hundreds of agents and thousands of tasks in seconds and is more efficient and effective than existing MAPD algorithms that use a post-processing step to adapt their paths to continuous agent movements with given velocities.


title: Searching with Consistent Prioritization for Multi-Agent Path Finding

abstract: We study prioritized planning for Multi-Agent Path Finding (MAPF). Existing prioritized MAPF algorithms depend on rule-of-thumb heuristics and random assignment to determine a fixed total priority ordering of all agents a priori. We instead explore the space of all possible partial priority orderings as part of a novel systematic and conflict-driven combinatorial search framework. In a variety of empirical comparisons, we demonstrate state-of-the-art solution qualities and success rates, often with similar runtimes to existing algorithms. We also develop new theoretical results that explore the limitations of prioritized planning, in terms of completeness and optimality, for the first time.


title: Vertex Operator Algebras with central charge 8 and 16

abstract: We will partially classify spaces of characters of vertex operator algebras $V$ with central charges 8 and 16, such that the spaces of characters is 3-dimensional and the characters forms a basis of the solution space of a third order monic modular linear differential equation with rational indicial roots. Assuming a mild arithmetic condition, we show that the space of characters of $V$ coincides with the space of characters of lattice vertex operators associated with integral lattices $\sqrt{2}E_8$ or the affine vertex operator algebra of type $D_{20}^{(1)}$ for $c=8$, and the Barnes--Wall lattice $\Lambda_{16}$, the affine vertex operator algebras of type $D_{16}^{(1)}$ with level 1 and type $D_{28}^{(1)}$ with level 1 for $c=16$. (The central charge of the affine vertex operator algebra of type $D_{28}^{(1)}$ with level 1 is 28, but the space of characters satisfies the differential equations for $c=16$.) Supposing a mild condition on characters of $V$, then it uniquely determines (up to isomorphism) the spaces of characters of the lattice $\sqrt{2}E_8$ and the Barnes--Wall lattice $\Lambda_{16}$, respectively. The reason why vertex operator algebras with central charges 8 and 16 are intensively studied is that there are solutions which do not depend on extra parameters (which represent conformal weights). This fact is well understood using the hypergeometric function $3F2$. Hence we cannot apply our standard method to classify vertex operator algebras in which we are interested. In appendix we classify $c=4$ vertex operator algebras with the same conditions mentioned above.


title: Asymptotic behavior of the $W^{1/q,q}$-norm of mollified $BV$ functions and applications to singular perturbation problems

abstract: Motivated by results of Figalli and Jerison and Hern\'andez, we prove the following formula: \begin{equation*} \lim_{\epsilon\to 0^+}\frac{1}{|\ln{\epsilon}|}\big\|\eta_\epsilon*u\big\|^q_{W^{1/q,q}(\Omega)}= C_0\int_{J_u}\Big|u^+(x)-u^-(x)\Big|^qd\mathcal{H}^{N-1}(x), \end{equation*} where $\Omega\subset\mathbb{R}^N$ is a regular domain, $u\in BV(\Omega)\cap L^\infty$, $q>1$ and $\eta_\epsilon(z)=\epsilon^{-N}\eta(z/\epsilon)$ is a smooth mollifier. In addition, we apply the above formula to the study of certain singular perturbation problems.


title: Search for an exotic decay of the Higgs boson to a pair of light pseudoscalars in the final state with two muons and two b quarks in pp collisions at 13 TeV

abstract: A search for exotic decays of the Higgs boson to a pair of light pseudoscalar particles a$_1$ is performed under the hypothesis that one of the pseudoscalars decays to a pair of opposite sign muons and the other decays to b$\overline{\mathrm{b}}$. Such signatures are predicted in a number of extensions of the standard model (SM), including next-to-minimal supersymmetry and two-Higgs-doublet models with an additional scalar singlet. The results are based on a data set of proton-proton collisions corresponding to an integrated luminosity of 35.9 fb$^{-1}$, accumulated with the CMS experiment at the CERN LHC in 2016 at a centre-of-mass energy of 13 TeV. No statistically significant excess is observed with respect to the SM backgrounds in the search region for pseudoscalar masses from 20 GeV to half of the Higgs boson mass. Upper limits at 95% confidence level are set on the product of the production cross section and branching fraction, $\sigma_{\mathrm{h}}\mathcal{B}$(h $\to$ a$_1$ a$_1$ $\to$ $\mu^+\mu^-\mathrm{b}\bar{\mathrm{b}}$), ranging from 5 to 33 fb, depending on the pseudoscalar mass. Corresponding limits on the branching fraction, assuming the SM prediction for $\sigma_{\mathrm{h}}$, are (1$-$7)$\times$ 10$^{-4}$.


title: A Bandit Approach to Maximum Inner Product Search

abstract: There has been substantial research on sub-linear time approximate algorithms for Maximum Inner Product Search (MIPS). To achieve fast query time, state-of-the-art techniques require significant preprocessing, which can be a burden when the number of subsequent queries is not sufficiently large to amortize the cost. Furthermore, existing methods do not have the ability to directly control the suboptimality of their approximate results with theoretical guarantees. In this paper, we propose the first approximate algorithm for MIPS that does not require any preprocessing, and allows users to control and bound the suboptimality of the results. We cast MIPS as a Best Arm Identification problem, and introduce a new bandit setting that can fully exploit the special structure of MIPS. Our approach outperforms state-of-the-art methods on both synthetic and real-world datasets.


title: Bernoulli Ballot Polling: A Manifest Improvement for Risk-Limiting Audits

abstract: We present a method and software for ballot-polling risk-limiting audits (RLAs) based on Bernoulli sampling: ballots are included in the sample with probability $p$, independently. Bernoulli sampling has several advantages: (1) it does not require a ballot manifest; (2) it can be conducted independently at different locations, rather than requiring a central authority to select the sample from the whole population of cast ballots or requiring stratified sampling; (3) it can start in polling places on election night, before margins are known. If the reported margins for the 2016 U.S. Presidential election are correct, a Bernoulli ballot-polling audit with a risk limit of 5% and a sampling rate of $p_0 = 1\%$ would have had at least a 99% probability of confirming the outcome in 42 states. (The other states were more likely to have needed to examine additional ballots.) Logistical and security advantages that auditing in the polling place affords may outweigh the cost of examining more ballots than some other methods might require.


title: Low-rank semidefinite programming for the MAX2SAT problem

abstract: This paper proposes a new algorithm for solving MAX2SAT problems based on combining search methods with semidefinite programming approaches. Semidefinite programming techniques are well-known as a theoretical tool for approximating maximum satisfiability problems, but their application has traditionally been very limited by their speed and randomized nature. Our approach overcomes this difficult by using a recent approach to low-rank semidefinite programming, specialized to work in an incremental fashion suitable for use in an exact search algorithm. The method can be used both within complete or incomplete solver, and we demonstrate on a variety of problems from recent competitions. Our experiments show that the approach is faster (sometimes by orders of magnitude) than existing state-of-the-art complete and incomplete solvers, representing a substantial advance in search methods specialized for MAX2SAT problems.


title: A Synchrophasor Data-driven Method for Forced Oscillation Localization under Resonance Conditions

abstract: This paper proposes a data-driven algorithm of locating the source of forced oscillations and suggests the physical interpretation of the method. By leveraging the sparsity of the forced oscillation sources along with the low-rank nature of synchrophasor data, the problem of source localization under resonance conditions is cast as computing the sparse and low-rank components using Robust Principal Component Analysis (RPCA), which can be efficiently solved by the exact Augmented Lagrange Multiplier method. Based on this problem formulation, an efficient and practically implementable algorithm is proposed to pinpoint the forced oscillation source during real-time operation. Furthermore, we provide theoretical insights into the efficacy of the proposed approach by use of physical model-based analysis, in specific by establishing the fact that the rank of the resonance component matrix is at most 2. The effectiveness of the proposed method is validated in the IEEE 68-bus power system and the WECC 179-bus benchmark system.


title: One-loop Dirac neutrino mass and mixed axion/WIMP dark matter

abstract: We consider the Peccei-Quinn (PQ) mechanism as the one behind the Dirac neutrino masses when these are generated through the $d=5$ effective operator $\bar{L}\tilde{H}N_R\phi$ at one loop level, with $\phi$ being a Standard Model singlet scalar. In this setup, the PQ symmetry guarantees that the one-loop realization of such an effective operator gives the leading contribution to the Dirac neutrino masses by forbidding the contributions arising from its tree level realizations. All the mediators in the one-loop neutrino mass diagrams can be stabilized by a remnant $Z_N$ symmetry from the PQ symmetry breaking, thus forming a dark sector besides the axion sector and leading to mixed axion/WIMP dark matter scenarios.


title: Observation of topological nodal-loop state in RAs3 (R = Ca, Sr)

abstract: Topological nodal-line semimetals (NLSs) are unique materials, which harbor one-dimensional line nodes along with the so-called drumhead surface states arising from nearly dispersionless two dimensional surface bands. However, a direct observation of these drumhead surface states in the currently realized NLSs has remained elusive. Here, by using high-resolution angle-resolved photoemission spectroscopy (ARPES) along with parallel first principles calculations, we examine the topological characteristics of SrAs3 and CaAs3. SrAs3 is found to show the presence of a topological nodal-loop, while CaAs3 is found to lie near a topologically trivial phase. Our analysis reveals that the surface projections of the bulk nodal-points in SrAs3 are connected by drumhead surface states. Notably, the topological states in SrAs3 and CaAs3 are well separated from other irrelevant bands in the vicinity of the Fermi level. These compounds thus provide a hydrogen-like simple platform for developing an in-depth understanding of the quantum phase transitions of NLSs.


title: Jet substructure modification in a QGP from a multi-scale description of jet evolution with JETSCAPE

abstract: The modification of jet substructure in relativistic heavy-ion collisions is studied using JETSCAPE, a publicly available software package containing a framework for Monte Carlo event generators. Multi-stage jet evolution in JETSCAPE provides an integrated description of jet quenching by combining multiple models, with each becoming active at a different stage of the parton shower evolution. Jet substructure modification due to different aspects of jet quenching is studied using jet shape and jet fragmentation observables. Various combinations of jet energy loss models are exploed, with medium background provided by (2 + 1)-D VISHNU with TRENTo+freestreaming initial conditions. Results reported here are from simulations performed within JETSCAPE framework.


title: Action Quality Assessment Across Multiple Actions

abstract: Can learning to measure the quality of an action help in measuring the quality of other actions? If so, can consolidated samples from multiple actions help improve the performance of current approaches? In this paper, we carry out experiments to see if knowledge transfer is possible in the action quality assessment (AQA) setting. Experiments are carried out on our newly released AQA dataset (http://rtis.oit.unlv.edu/datasets.html) consisting of 1106 action samples from seven actions with quality scores as measured by expert human judges. Our experimental results show that there is utility in learning a single model across multiple actions.


title: Quantum geometry of correlated many-body states

abstract: We provide a definition of the quantum distances of correlated many fermion wave functions in terms of the expectation values of certain operators that we call exchange operators. We prove that the distances satisfy the triangle inequalities. We apply our formalism to the one-dimensional t-V model, which we solve numerically by exact diagonalisation. We compute the distance matrix and illustrate that it shows clear signatures of the metal-insulator transition.


title: Provable limitations of deep learning

abstract: As the success of deep learning reaches more grounds, one would like to also envision the potential limits of deep learning. This paper gives a first set of results proving that certain deep learning algorithms fail at learning certain efficiently learnable functions. The results put forward a notion of cross-predictability that characterizes when such failures take place. Parity functions provide an extreme example with a cross-predictability that decays exponentially, while a mere super-polynomial decay of the cross-predictability is shown to be sufficient to obtain failures. Examples in community detection and arithmetic learning are also discussed. Recall that it is known that the class of neural networks (NNs) with polynomial network size can express any function that can be implemented in polynomial time, and that their sample complexity scales polynomially with the network size. The challenge is with the optimization error (the ERM is NP-hard), and the success behind deep learning is to train deep NNs with descent algorithms. The failures shown in this paper apply to training poly-size NNs on function distributions of low cross-predictability with a descent algorithm that is either run with limited memory per sample or that is initialized and run with enough randomness. We further claim that such types of constraints are necessary to obtain failures, in that exact SGD with careful non-random initialization can be shown to learn parities. The cross-predictability in our results plays a similar role the statistical dimension in statistical query (SQ) algorithms, with distinctions explained in the paper. The proof techniques are based on exhibiting algorithmic constraints that imply a statistical indistinguishability between the algorithm's output on the test model v.s.\ a null model, using information measures to bound the total variation distance.


title: Yttrium-substituted Mg-Zn ferrites: correlation of physical properties with Yttrium content

abstract: Yttrium (Y) substituted Mg Zn ferrites with the compositions of Mg0.5Zn0.5YxFe2 xO4 have been synthesized by conventional standard ceramic technique. The effect of Y3+ substitution on the structural, electrical, dielectric and magnetic properties of Mg Zn ferrites has been studied.


title: Trust Region Based Adversarial Attack on Neural Networks

abstract: Deep Neural Networks are quite vulnerable to adversarial perturbations. Current state-of-the-art adversarial attack methods typically require very time consuming hyper-parameter tuning, or require many iterations to solve an optimization based adversarial attack. To address this problem, we present a new family of trust region based adversarial attacks, with the goal of computing adversarial perturbations efficiently. We propose several attacks based on variants of the trust region optimization method. We test the proposed methods on Cifar-10 and ImageNet datasets using several different models including AlexNet, ResNet-50, VGG-16, and DenseNet-121 models. Our methods achieve comparable results with the Carlini-Wagner (CW) attack, but with significant speed up of up to $37\times$, for the VGG-16 model on a Titan Xp GPU. For the case of ResNet-50 on ImageNet, we can bring down its classification accuracy to less than 0.1\% with at most $1.5\%$ relative $L_\infty$ (or $L_2$) perturbation requiring only $1.02$ seconds as compared to $27.04$ seconds for the CW attack. We have open sourced our method which can be accessed at [1].


title: New Near-Infrared $JHK_s$ light-curve templates for RR Lyrae variables

abstract: We provide homogeneous optical (UBVRI) and near-infrared (JHK) time series photometry for 254 cluster (omega Cen, M4) and field RR Lyrae (RRL) variables. We ended up with more than 551,000 measurements. For 94 fundamental (RRab) and 51 first overtones (RRc) we provide a complete optical/NIR characterization (mean magnitudes, luminosity amplitudes, epoch of the anchor point). The NIR light curves of these variables were adopted to provide new and accurate light-curve templates for both RRc (single period bin) and RRab (three period bins) variables. The templates for the J and the H band are newly introduced, together with the use of the pulsation period to discriminate among the different RRab templates. To overcome subtle uncertainties in the fit of secondary features of the light curves we provide two independent sets of analytical functions (Fourier series, Periodic Gaussian functions). The new templates were validated by using 26 omega Cen and Bulge RRLs covering the four period bins. We found that the difference between the measured mean magnitude along the light curve and the mean magnitude estimated by using the template on a single randomly extracted phase point is better than 0.01 mag (sigma=0.04 mag). We also validated the template on variables for which at least three phase points were available, but without information on the phase of the anchor point. The accuracy of the mean magnitudes is ~0.01 mag (sigma=0.04 mag). The new templates were applied to the Large Magellanic Cloud (LMC) globular Reticulum and by using literature data and predicted PLZ relations we found true distance moduli of 18.47+-0.10+-0.03 mag (J) and 18.49+-0.09+-0.05 mag (K). We also used literature optical and mid-infrared data and we found a mean true distance modulus of 18.47+-0.02+-0.06 mag, suggesting that Reticulum is ~1 kpc closer than the LMC.


title: Modeling holographic dark energy with particle and future horizons

abstract: In this work we explore some cosmological properties coming from the particle and future horizons when are considered as candidates to model the dark energy sector within a holographic context in a flat Friedmann-Lemaitre-Robertson-Walker universe; we focus on some thermodynamics characteristics of the resulting dark energy scenario. Within the interacting scheme for cosmological fluids we obtain that in the dark sector, the dark energy fluid will always have negative entropy production and additionally, the positivity for the entropy and temperature can not be guaranteed simultaneously; this result holds for both horizons. However, this last issue can be solved if chemical potential is introduced in the thermodynamics description. For the non interacting approach, we obtain similar results as those of the single fluid description for the entropy behavior. We also find that the model admits a genuine big rip singularity when the dark energy density is sketched by the future horizon, in consequence the resulting parameter state can cross to the phantom regime. For the particle horizon case the cosmological fluid can emulate ordinary matter and the coincidence parameter has a decreasing behavior when the future horizon is elected.


title: Intrinsic and extrinsic geometries of correlated many-body states

abstract: We explore two approaches to characterise the quantum geometry of the ground state of correlated fermions in terms of the distance matrix in the spectral parameter space. (a) An intrinsic geometry approach, in which we study the intrinsic curvature defined in terms of the distance matrix. (b) An extrinsic geometry approach, in which we investigate how the distance matrix can be approximately embedded in finite dimensional Euclidean spaces. We implement these approaches for the ground state of a system of one-dimensional fermions on a 18-site lattice with nearest neighbour repulsion. The intrinsic curvature sharply changes around the Fermi points in the metallic regime but is more or less uniform in the insulating regime. In the metallic regime, the embedded points clump into two well seperated sets, one corresponding to modes in the Fermi sea and the other to the modes outside it. In the insulating regime, the two sets tend to merge.


title: Thermodynamical path integral and emergent symmetry

abstract: We investigate a thermally isolated quantum many-body system with an external control represented by a step protocol of a parameter. The propagator at each step of the parameter change is described by thermodynamic quantities under some assumptions. For the time evolution of such systems, we formulate a path integral over the trajectories in the thermodynamic state space. In particular, for quasi-static operations, we derive an effective action of the thermodynamic entropy and its canonically conjugate variable. Then, the symmetry for the uniform translation of the conjugate variable emerges in the path integral. This leads to the entropy as a Noether invariant in quantum mechanics.


title: Partition of graphs and quantum walk based search algorithms

abstract: In this paper, we show reduction methods for search algorithms on graphs using quantum walks. By using a graph partitioning method called equitable partition for the the given graph, we determine "effective subspace" for the search algorithm to reduce the size of the problem. We introduce the equitable partition for quantum walk based search algorithms and show how to determine "effective subspace" and reduced operator.


title: Evaluating Row Buffer Locality in Future Non-Volatile Main Memories

abstract: DRAM-based main memories have read operations that destroy the read data, and as a result, must buffer large amounts of data on each array access to keep chip costs low. Unfortunately, system-level trends such as increased memory contention in multi-core architectures and data mapping schemes that improve memory parallelism may cause only a small amount of the buffered data to be accessed. This makes buffering large amounts of data on every memory array access energy-inefficient. Emerging non-volatile memories (NVMs) such as PCM, STT-RAM, and RRAM, however, do not have destructive read operations, opening up opportunities for employing small row buffers without incurring additional area penalty and/or design complexity. In this work, we discuss architectural changes to enable small row buffers at a low cost in NVMs. We provide a memory access protocol, energy model, and timing model to enable further system-level evaluation. We evaluate the system-level tradeoffs of employing different row buffer sizes in NVM main memories in terms of energy, performance, and endurance, with different data mapping schemes. We find that on a multi-core CMP system, reducing the row buffer size can greatly reduce main memory dynamic energy compared to a DRAM baseline with large row sizes, without greatly affecting endurance, and for some memories, leads to improved performance.


title: Efficient Super Resolution Using Binarized Neural Network

abstract: Deep convolutional neural networks (DCNNs) have recently demonstrated high-quality results in single-image super-resolution (SR). DCNNs often suffer from over-parametrization and large amounts of redundancy, which results in inefficient inference and high memory usage, preventing massive applications on mobile devices. As a way to significantly reduce model size and computation time, binarized neural network has only been shown to excel on semantic-level tasks such as image classification and recognition. However, little effort of network quantization has been spent on image enhancement tasks like SR, as network quantization is usually assumed to sacrifice pixel-level accuracy. In this work, we explore an network-binarization approach for SR tasks without sacrificing much reconstruction accuracy. To achieve this, we binarize the convolutional filters in only residual blocks, and adopt a learnable weight for each binary filter. We evaluate this idea on several state-of-the-art DCNN-based architectures, and show that binarized SR networks achieve comparable qualitative and quantitative results as their real-weight counterparts. Moreover, the proposed binarized strategy could help reduce model size by 80% when applying on SRResNet, and could potentially speed up inference by 5 times.


title: Closed Discrete Selection in the Compact Open Topology

abstract: In 2017, Tkachuk isolated the closed discrete selection property while working on problems related to function spaces [15]. In this paper we will study the closed discrete selection property and the related games and strategies on $C_k(X)$. Clontz and Holshouser showed previously that the closed discrete selection game on $C_p(X)$ is equivalent to a modification of the point-open game on $X$. In this paper we show that the closed discrete selection game on $C_k(X)$ is equivalent to a modification of the compact-open game on $X$. We also connect discrete selection properties on $C_k(X)$ to a variety of other properties on $X$, $C_k(X)$, and hyperspaces of $X$.


title: Note on a Non Linear Perturbation of the Ideal Bose Gas

abstract: In this work we show that the introduction of a U(1) symmetry breaking field in the energy operator of the boson-free gas, is equivalent, in the thermodynamic limit, to the inclusion, in the Hamiltonian of the ideal gas, of a non-linear function of the number operator associated with the zero mode. In other words, the limit pressures coincide. Moreover, both models undergo non conventional Bose-Einstein condensation (BEC) for strictly negative values of the chemical potential $\mu.$ Finally, the proof of equivalence of limit pressures is extended to a class of full-diagonal models.


title: Embedding Push and Pull Search in the Framework of Differential Evolution for Solving Constrained Single-objective Optimization Problems

abstract: This paper proposes a push and pull search method in the framework of differential evolution (PPS-DE) to solve constrained single-objective optimization problems (CSOPs). More specifically, two sub-populations, including the top and bottom sub-populations, are collaborated with each other to search global optimal solutions efficiently. The top sub-population adopts the pull and pull search (PPS) mechanism to deal with constraints, while the bottom sub-population use the superiority of feasible solutions (SF) technique to deal with constraints. In the top sub-population, the search process is divided into two different stages --- push and pull stages.An adaptive DE variant with three trial vector generation strategies is employed in the proposed PPS-DE. In the top sub-population, all the three trial vector generation strategies are used to generate offsprings, just like in CoDE. In the bottom sub-population, a strategy adaptation, in which the trial vector generation strategies are periodically self-adapted by learning from their experiences in generating promising solutions in the top sub-population, is used to choose a suitable trial vector generation strategy to generate one offspring. Furthermore, a parameter adaptation strategy from LSHADE44 is employed in both sup-populations to generate scale factor $F$ and crossover rate $CR$ for each trial vector generation strategy. Twenty-eight CSOPs with 10-, 30-, and 50-dimensional decision variables provided in the CEC2018 competition on real parameter single objective optimization are optimized by the proposed PPS-DE. The experimental results demonstrate that the proposed PPS-DE has the best performance compared with the other seven state-of-the-art algorithms, including AGA-PPS, LSHADE44, LSHADE44+IDE, UDE, IUDE, $\epsilon$MAg-ES and C$^2$oDE.


title: Temperature dependence of the $^{13}$C hyperfine structure of the negatively-charged nitrogen-vacancy center in diamond

abstract: The nitrogen-vacancy (NV) center is a well utilized system for quantum technology, in particular quantum sensing and microscopy. Fully employing the NV center's capabilities for metrology requires a strong understanding of the behavior of the NV center with respect to changing temperature. Here, we probe the NV electronic spin density as the surrounding crystal temperature changes from 10 K to 700 K by examining its $^{13}$C hyperfine interactions. These results are corroborated with \textit{ab initio} calculations and demonstrate that the change in hyperfine interaction is small and dominated by a change in the hybridization of the orbitals constituting the spin density. Thus indicating that the defect and local crystal geometry is returning towards an undistorted structure at higher temperature.


title: Exact normalized eigenfunctions for general deformed Hulth\'en potentials

abstract: The exact solutions of Schr\"odinger's equation with the deformed Hulth\'en potential $V_q(x)=-{\mu\, e^{-\delta\,x }}/({1-q\,e^{-\delta\,x}}),~ \delta,\mu, q>0$ are given, along with a closed--form formula for the normalization constants of the eigenfunctions for arbitrary $q>0$. The Crum-Darboux transformation is then used to derive the corresponding exact solutions for the extended Hulth\'en potentials $V(x)= -{\mu\, e^{-\delta\,x }}/({1-q\,e^{-\delta\,x}})+ {q\,j(j+1)\, e^{-\delta\,x }}/({1-q\,e^{-\delta\,x}})^2, j=0,1,2,\dots.$ A general formula for the new normalization condition is also provided.


title: TET-GAN: Text Effects Transfer via Stylization and Destylization

abstract: Text effects transfer technology automatically makes the text dramatically more impressive. However, previous style transfer methods either study the model for general style, which cannot handle the highly-structured text effects along the glyph, or require manual design of subtle matching criteria for text effects. In this paper, we focus on the use of the powerful representation abilities of deep neural features for text effects transfer. For this purpose, we propose a novel Texture Effects Transfer GAN (TET-GAN), which consists of a stylization subnetwork and a destylization subnetwork. The key idea is to train our network to accomplish both the objective of style transfer and style removal, so that it can learn to disentangle and recombine the content and style features of text effects images. To support the training of our network, we propose a new text effects dataset with as much as 64 professionally designed styles on 837 characters. We show that the disentangled feature representations enable us to transfer or remove all these styles on arbitrary glyphs using one network. Furthermore, the flexible network design empowers TET-GAN to efficiently extend to a new text style via one-shot learning where only one example is required. We demonstrate the superiority of the proposed method in generating high-quality stylized text over the state-of-the-art methods.


title: Interaction-Driven Topological Switch in a $P$-Band Honeycomb Lattice

abstract: The non-interacting band structure of spinless fermions in a two-dimensional ($d=2$) $p$-band honeycomb lattice exhibits two quadratic band touching points (QBTPs), which lie at the Fermi levels of filling $\nu=1/4$ and its particle-hole conjugated filling $\nu=3/4$. A weak Hubbard interaction $U$ spontaneously breaks the time-reversal symmetry and removes the QBTP, rendering the system into a quantum anomalous Hall insulator (QAHI). The first-order topological nature of QAHI is characterized by a nontrivial Chern number and supports ($d-1$)-dimensional chiral edge modes. With increasing the interaction $U$, the system is driven into a Dirac semimetal by breaking the crystal symmetry through a discontinuous quantum phase transition. The emergent Dirac points each with Berry flux $\pi$ are generated in pairs, originating from the $2\pi$ Berry flux of QBTP. A sufficiently large $U$ ultimately drives the system into a dimerized insulator (DI) by simultaneously annihilating the Dirac points at the Brillouin zone boundary. The second-order topological nature of DI is characterized by the quantized polarizations and supports ($d-2$)-dimensional corner states. Our study provides a unique setting for exploring the topological switch between the first-order and second-order topological insulators.


title: Ramsey theory for highly connected monochromatic subgraphs

abstract: An infinite graph is highly connected if the complement of any subgraph of smaller size is connected. We consider weaker versions of Ramsey's Theorem asserting that in any coloring of the edges of a complete graph there exist large highly connected subgraphs all of whose edges are colored by the same color.


title: Pre-Trained Convolutional Neural Network Features for Facial Expression Recognition

abstract: Facial expression recognition has been an active area in computer vision with application areas including animation, social robots, personalized banking, etc. In this study, we explore the problem of image classification for detecting facial expressions based on features extracted from pre-trained convolutional neural networks trained on ImageNet database. Features are extracted and transferred to a Linear Support Vector Machine for classification. All experiments are performed on two publicly available datasets such as JAFFE and CK+ database. The results show that representations learned from pre-trained networks for a task such as object recognition can be transferred, and used for facial expression recognition. Furthermore, for a small dataset, using features from earlier layers of the VGG19 network provides better classification accuracy. Accuracies of 92.26% and 92.86% were achieved for the CK+ and JAFFE datasets respectively.


title: First observations with the 25 cm telescope of the Shumen Astronomical Observatory

abstract: The first observations with the 25 cm telescope of the Shumen Astronomical Observatory led to the following conclusions: (a) Intra-night observations of variable stars with an amplitude larger than 0.1 mag are possible down to 14 mag with an acceptable quality with this setup; (b) The equipment is suitable for observations of bright extended objects with sizes up to 30 arcmin (planets, comets, clusters, nebulae, galaxies) with resolution 0.88 arcsec/pix; (c) The guiding of telescope is very good which makes the equipment appropriate for prolonged patrols; (d) The observations with the 25 cm are already fully remote-controlled; (e) The determined transformation coefficients allow transfer from instrumental to standard photometric system BVRcIc and realization of differential photometry.


title: Generation of optical frequency comb in a chi-2 sheet micro optical parametric oscillator via cavity phase matching

abstract: Chi-3 micro resonators have enabled compact and portable frequency comb generation, but require sophisticated dispersion control. Here we demonstrate an alternative approach using a chi-2 sheet cavity, where the dispersion requirement is relaxed by cavity phase matching. 21.2 THz broadband comb generation is achieved with uniform line spacing of 133.0 GHz, despite a relatively large dispersion of 275.4 fs^2/mm around 1064nm. With 22.6 % high slope efficiency and 14.9 kW peak power handling, this chi-2 comb can be further stabilized for navigation, telecommunication, astronomy, and spectroscopy applications.


title: Radiation Conditions for the Difference Schr\"{o}dinger Operators

abstract: The problem of determining a unique solution of the Schr\"{o}dinger equation $\left(\Delta+q-\lambda\right) \psi=f$ on the lattice $\mathbb{Z}^{d}$ is considered, where $\Delta$ is the difference Laplacian and both $f$ and $q$ have finite supports$.$ It is shown that there is an exceptional set $S_{0}$ of points on $Sp(\Delta)=[-2d,2d]$ for which the limiting absorption principle fails, even for unperturbed operator ($q(x)=0$). This exceptional set consists of the points $\left\{ \pm4n\right\} $ when $d$ is even and $\left\{ \pm2(2n+1)\right\} $ when $d$ is odd. For all values of $\lambda \in[-2d,2d]\backslash S_{0},$ the radiation conditions are found which single out the same solutions of the problem as the ones determined by the limiting absorption principle. These solutions are combinations of several waves propagating with different frequencies, and the number of waves depends on the value of $\lambda.$


title: Fast MVAE: Joint separation and classification of mixed sources based on multichannel variational autoencoder with auxiliary classifier

abstract: This paper proposes an alternative algorithm for multichannel variational autoencoder (MVAE), a recently proposed multichannel source separation approach. While MVAE is notable in its impressive source separation performance, the convergence-guaranteed optimization algorithm and that it allows us to estimate source-class labels simultaneously with source separation, there are still two major drawbacks, i.e., the high computational complexity and unsatisfactory source classification accuracy. To overcome these drawbacks, the proposed method employs an auxiliary classifier VAE, an information-theoretic extension of the conditional VAE, for learning the generative model of the source spectrograms. Furthermore, with the trained auxiliary classifier, we introduce a novel algorithm for the optimization that is able to not only reduce the computational time but also improve the source classification performance. We call the proposed method "fast MVAE (fMVAE)". Experimental evaluations revealed that fMVAE achieved comparative source separation performance to MVAE and about 80% source classification accuracy rate while it reduced about 93% computational time.