title: GANSynth: Adversarial Neural Audio Synthesis

abstract: Efficient audio synthesis is an inherently difficult machine learning task, as human perception is sensitive to both global structure and fine-scale waveform coherence. Autoregressive models, such as WaveNet, model local structure at the expense of global latent structure and slow iterative sampling, while Generative Adversarial Networks (GANs), have global latent conditioning and efficient parallel sampling, but struggle to generate locally-coherent audio waveforms. Herein, we demonstrate that GANs can in fact generate high-fidelity and locally-coherent audio by modeling log magnitudes and instantaneous frequencies with sufficient frequency resolution in the spectral domain. Through extensive empirical investigations on the NSynth dataset, we demonstrate that GANs are able to outperform strong WaveNet baselines on automated and human evaluation metrics, and efficiently generate audio several orders of magnitude faster than their autoregressive counterparts.


title: Scaling properties of noise-induced switching in a bistable tunnel diode circuit

abstract: Noise-induced switching between coexisting metastable states occurs in a wide range of far-from-equilibrium systems including micro-mechanical oscillators, epidemiological and climate change models, and nonlinear electronic transport in tunneling structures such as semiconductor superlattices and tunnel diodes. In the case of tunnel diode circuits, noise-induced switching behavior is associated with negative differential resistance in the static current-voltage characteristics and bistability, i.e., the existence of two macroscopic current states for a given applied voltage. Noise effects are particularly strong near the onset and offset of bistable current behavior, corresponding to bifurcation points in the associated dynamical system. In this paper, we show that the tunnel diode system provides an excellent experimental platform for the precision measurement of scaling properties of mean switching times versus applied voltage near bifurcation points. More specifically, experimental data confirm that the mean switching time scales logarithmically as the 3/2 power of voltage difference over an exceptionally wide range of time scales and noise intensities.


title: Allocating Limited Resources to Protect a Massive Number of Targets using a Game Theoretic Model

abstract: Resource allocation is the process of optimizing the rare resources. In the area of security, how to allocate limited resources to protect a massive number of targets is especially challenging. This paper addresses this resource allocation issue by constructing a game theoretic model. A defender and an attacker are players and the interaction is formulated as a trade-off between protecting targets and consuming resources. The action cost which is a necessary role of consuming resource, is considered in the proposed model. Additionally, a bounded rational behavior model (Quantal Response, QR), which simulates a human attacker of the adversarial nature, is introduced to improve the proposed model. To validate the proposed model, we compare the different utility functions and resource allocation strategies. The comparison results suggest that the proposed resource allocation strategy performs better than others in the perspective of utility and resource effectiveness.


title: Quasi-ballistic thermal transport across MoS$_2$ thin films

abstract: Layered two-dimensional (2D) materials have highly anisotropic thermal properties between the in-plane and cross-plane directions. In general, it is thought that cross-plane thermal conductivities ($\kappa_z$) are low, and therefore c-axis phonon mean free paths (MFPs) are small. Here, we measure $\kappa_z$ across MoS$_2$ films of varying thickness (20 to 240 nm) and uncover evidence of very long c-axis phonon MFPs at room temperature in these layered semiconductors. Experimental data obtained using time-domain thermoreflectance (TDTR) are in good agreement with first-principles density functional theory (DFT). These calculations reveal that ~50% of the heat is carried by phonons with MFP >200 nm, exceeding kinetic theory estimates by nearly two orders of magnitude. Because of quasi-ballistic effects, the $\kappa_z$ of nanometer thin films of MoS$_2$ scales with their thickness and the volumetric thermal resistance asymptotes to a non-zero value, ~10 m$^{2}$KGW$^{-1}$. This contributes as much as 30% to the total thermal resistance of a 20 nm thick film, the rest being limited by thermal interface resistance with the SiO$_2$ substrate and top-side aluminum transducer. These findings are essential for understanding heat flow across nanometer-thin films of MoS$_2$ for optoelectronic and thermoelectric applications.


title: General symmetry in the reduced dynamics of two-level system

abstract: We study general transformation on the density matrix of two-level system that keeps the expectation value of observable invariant. We introduce a set of generators that yields hermiticity and trace preserving general transformation which casts the transformation into simple form. The general transformation is in general not factorized and not completely positive. Consequently, either the parameter of transformation or the density matrix it acts on needs to be restricted. It can transform the system in the forward and backward direction with regard to its parameter, not as a semigroup in the time translation symmetry of dynamical maps. The general transformation can rotate the Bloch vector circularly or hyperbolically, dilate it or translate it. We apply the general transformation to study the general symmetry of amplitude damping and phase damping in two-level system. We generalize the generators to higher level systems.


title: Bayesian discrimination of the panchromatic spectral energy distribution modelings of galaxies

abstract: Fitting the multi-wavelength spectral energy distributions (SEDs) of galaxies is a widely used technique to extract information about the physical properties of galaxies. However, a major difficulty lies in the numerous uncertainties regarding almost all ingredients of the SED modeling of galaxies. The Bayesian methods provide a consistent conceptual basis for dealing with the problem of inference with many uncertainties. While the Bayesian parameter estimation method have become quite popular in the field of SED fitting of galaxies, the Bayesian model comparison method, which is based on the same Bayes' rule, is still not widely used in this field. With the application of Bayesian model comparison method in a series of papers, we show that the results obtained with Bayesian model comparison are understandable in the context of stellar/galaxy physics. These results indicate that Bayesian model comparison is a reliable and very powerful method for the SED fitting of galaxies.


title: Spatio-Temporal Convolutional LSTMs for Tumor Growth Prediction by Learning 4D Longitudinal Patient Data

abstract: Prognostic tumor growth modeling via volumetric medical imaging observations can potentially lead to better outcomes of tumor treatment and surgical planning. Recent advances of convolutional networks have demonstrated higher accuracy than traditional mathematical models in predicting future tumor volumes. This indicates that deep learning-based techniques may have great potentials on addressing such problem. However, current 2D patch-based modeling approaches cannot make full use of the spatio-temporal imaging context of the tumor's longitudinal 4D (3D + time) data. Moreover, they are incapable to predict clinically-relevant tumor properties, other than volumes. In this paper, we exploit to formulate the tumor growth process through convolutional Long Short-Term Memory (ConvLSTM) that extract tumor's static imaging appearances and capture its temporal dynamic changes within a single network. We extend ConvLSTM into the spatio-temporal domain (ST-ConvLSTM) by jointly learning the inter-slice 3D contexts and the longitudinal or temporal dynamics from multiple patient studies. Our approach can incorporate other non-imaging patient information in an end-to-end trainable manner. Experiments are conducted on the largest 4D longitudinal tumor dataset of 33 patients to date. Results validate that the ST-ConvLSTM produces a Dice score of 83.2%+-5.1% and a RVD of 11.2%+-10.8%, both significantly outperforming (p<0.05) other compared methods of linear model, ConvLSTM, and generative adversarial network (GAN) under the metric of predicting future tumor volumes. Additionally, our new method enables the prediction of both cell density and CT intensity numbers. Last, we demonstrate the generalizability of ST-ConvLSTM by employing it in 4D medical image segmentation task, which achieves an averaged Dice score of 86.3+-1.2% for left-ventricle segmentation in 4D ultrasound with 3 seconds per patient.


title: A Mixed Discontinuous Galerkin Method for Linear Elasticity with Strongly Imposed Symmetry

abstract: In this paper, we study a mixed discontinuous Galerkin (MDG) method to solve linear elasticity problem with arbitrary order discontinuous finite element spaces in $d$-dimension ($d=2,3$). This method uses polynomials of degree $k+1$ for the stress and of degree $k$ for the displacement ($k\geq 0$). The mixed DG scheme is proved to be well-posed under proper norms. Specifically, we prove that, for any $k \geq 0$, the $H({\rm div})$-like error estimate for the stress and $L^2$ error estimate for the displacement are optimal. We further establish the optimal $L^2$ error estimate for the stress provided that the $\mathcal{P}_{k+2}-\mathcal{P}_{k+1}^{-1}$ Stokes pair is stable and $k \geq d$. We also provide numerical results of MDG showing that the orders of convergence are actually sharp.


title: Small-scale motions in solar filaments as the precursors of eruptions

abstract: Filaments, the dense cooler plasma floating in the solar corona supported by magnetic fields, generally exhibit certain activations before they erupt. In our previous study (Seki et al. 2017 ), we observed that the standard deviation of the line-of-sight (LOS) velocities of the small-scale motions in a filament increased prior to its eruption. However, because that study only analyzed one event, it is unclear whether such an increase in the standard deviation of LOS velocities is common in filament eruptions. In this study, 12 filaments that vanished in H{\alpha} line center images were analyzed in a manner similar to the one in our previous work; these included two quiescent filaments, four active region filaments, and six intermediate filaments. We verified that in all the 12 events, the standard deviation of the LOS velocities increased before the filaments vanished. Moreover, we observed that the quiescent filaments had approximately 10 times longer duration of an increase in the standard deviation than the other types of filaments. We concluded that the standard deviation of the LOS velocities of the small-scale motions in a filament can potentially be used as the precursor of a filament eruption.


title: Leavitt path algebras of hypergraphs

abstract: We define Leavitt path algebras of hypergraphs generalizing simultaneously Leavitt path algebras of finitely separated graphs and Leavitt path algebras of row-finite vertex-weighted graphs. We find linear bases for those algebras, compute their Gelfand-Kirillov dimension, obtain some results on ring-theoretic properties like simplicity, von Neumann regularity and Noetherianess and investigate their K-theory and graded K-theory. By doing so we obtain new results on the Gelfand-Kirillov dimension and graded K-theory of Leavitt path algebras of separated graphs and on the graded K-theory of weighted Leavitt path algebras.


title: Inner horns for 2-quasi-categories

abstract: Dimitri Ara's 2-quasi-categories, which are certain presheaves over Andr\'{e} Joyal's 2-cell category $\Theta_2$, are an example of a concrete model that realises the abstract notion of $(\infty,2)$-category. In this paper, we prove that the 2-quasi-categories and the fibrations into them can be characterised using the inner horn inclusions and the equivalence extensions introduced by David Oury. These maps are more tractable than the maps that Ara originally used and therefore our result can serve as a combinatorial foundation for the study of 2-quasi-categories.


title: Online Control with Adversarial Disturbances

abstract: We study the control of a linear dynamical system with adversarial disturbances (as opposed to statistical noise). The objective we consider is one of regret: we desire an online control procedure that can do nearly as well as that of a procedure that has full knowledge of the disturbances in hindsight. Our main result is an efficient algorithm that provides nearly tight regret bounds for this problem. From a technical standpoint, this work generalizes upon previous work in two main aspects: our model allows for adversarial noise in the dynamics, and allows for general convex costs.


title: A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks

abstract: Verification of neural networks enables us to gauge their robustness against adversarial attacks. Verification algorithms fall into two categories: exact verifiers that run in exponential time and relaxed verifiers that are efficient but incomplete. In this paper, we unify all existing LP-relaxed verifiers, to the best of our knowledge, under a general convex relaxation framework. This framework works for neural networks with diverse architectures and nonlinearities and covers both primal and dual views of robustness verification. We further prove strong duality between the primal and dual problems under very mild conditions. Next, we perform large-scale experiments, amounting to more than 22 CPU-years, to obtain exact solution to the convex-relaxed problem that is optimal within our framework for ReLU networks. We find the exact solution does not significantly improve upon the gap between PGD and existing relaxed verifiers for various networks trained normally or robustly on MNIST and CIFAR datasets. Our results suggest there is an inherent barrier to tight verification for the large class of methods captured by our framework. We discuss possible causes of this barrier and potential future directions for bypassing it. Our code and trained models are available at http://github.com/Hadisalman/robust-verify-benchmark .


title: Slightly Superexponential Parameterized Problems

abstract: A central problem in parameterized algorithms is to obtain algorithms with running time $f(k)\cdot n^{O(1)}$ such that $f$ is as slow growing function of the parameter $k$ as possible. In particular, a large number of basic parameterized problems admit parameterized algorithms where $f(k)$ is single-exponential, that is, $c^k$ for some constant $c$, which makes aiming for such a running time a natural goal for other problems as well. However there are still plenty of problems where the $f(k)$ appearing in the best known running time is worse than single-exponential and it remained ``slightly superexponential'' even after serious attempts to bring it down. A natural question to ask is whether the $f(k)$ appearing in the running time of the best-known algorithms is optimal for any of these problems. In this paper, we examine parameterized problems where $f(k)$ is $k^{O(k)}=2^{O(k\log k)}$ in the best known running time and for a number of such problems, we show that the dependence on $k$ in the running time cannot be improved to single exponential. (See paper for the longer abstract.)


title: Absorption cross-section spectroscopy of single strong coupling system between plasmon and molecular exciton resonance using single silver nanoparticle dimer generating surface enhanced resonant Raman scattering

abstract: This study investigated spectral changes in the absorption cross-sections of single strong coupling systems composed of single silver nanoparticle dimers and a few dye molecules during the quenching of surface-enhanced resonant Raman scattering (SERRS). The absorption cross-section was obtained by subtracting the scattering cross-section from an extinction cross-section. The spectral changes in these cross-sections were evaluated using a classical hybridization model composed of a plasmon and a molecular exciton including a molecular multi-level property. The changes in the scattering and extinction cross-sections exhibit blue-shifts in their peak energy and increased peak intensities, respectively, during SERRS quenching. These properties are effectively reproduced in the model by decreasing the coupling energy. In particular, the peaks in the scattering and extinction cross-sections appear as peaks or dips in the absorption cross-sections depending on the degree of scattering loss, which reflects the dimer sizes. These results are useful for optimizing photophysical and photochemical effects mediated by the electronic excited states of strong coupling systems.


title: Logic Blog 2018

abstract: Some notions from algorithmic randomness are extended to measures and to quantum states. There is a lot on group theory and its relation to logic. This includes some new results on oligomorphic groups. There's also metric spaces and Scott rank, and interpretability.


title: A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-based Service Smart Contracts

abstract: This paper reports on the development of a formal symbolic process virtual machine (FSPVM) denoted as FSPVM-E for verifying the reliability and security of Ethereum-based services at the source code level of smart contracts, and a Coq proof assistant is employed for both programming the system and for proving its correctness. The current version of FSPVM-E adopts execution-verification isomorphism, which is an application extension of Curry-Howard isomorphism, as its fundamental theoretical framework to combine symbolic execution and higher-order logic theorem proving. The four primary components of FSPVM-E include a general, extensible, and reusable formal memory framework, an extensible and universal formal intermediate programming language denoted as Lolisa, which is a large subset of the Solidity programming language using generalized algebraic datatypes, the corresponding formally verified interpreter of Lolisa, denoted as FEther, and assistant tools and libraries. The self-correctness of all components is certified in Coq. Currently, FSPVM-E supports the ERC20 token standard, and can automatically and symbolically execute Ethereum-based smart contracts, scan their standard vulnerabilities, and verify their reliability and security properties with Hoare-style logic in Coq. To the best of authors' knowledge, the present work represents the first hybrid formal verification system implemented in Coq for Ethereum smart contracts that is applied at the Solidity source code level.


title: Unsupervised Visual Domain Adaptation: A Deep Max-Margin Gaussian Process Approach

abstract: In unsupervised domain adaptation, it is widely known that the target domain error can be provably reduced by having a shared input representation that makes the source and target domains indistinguishable from each other. Very recently it has been studied that not just matching the marginal input distributions, but the alignment of output (class) distributions is also critical. The latter can be achieved by minimizing the maximum discrepancy of predictors (classifiers). In this paper, we adopt this principle, but propose a more systematic and effective way to achieve hypothesis consistency via Gaussian processes (GP). The GP allows us to define/induce a hypothesis space of the classifiers from the posterior distribution of the latent random functions, turning the learning into a simple large-margin posterior separation problem, far easier to solve than previous approaches based on adversarial minimax optimization. We formulate a learning objective that effectively pushes the posterior to minimize the maximum discrepancy. This is further shown to be equivalent to maximizing margins and minimizing uncertainty of the class predictions in the target domain, a well-established principle in classical (semi-)supervised learning. Empirical results demonstrate that our approach is comparable or superior to the existing methods on several benchmark domain adaptation datasets.


title: Designing for Participation and Change in Digital Institutions

abstract: Whether we recognize it or not, the Internet is rife with exciting and original institutional forms that are transforming social organization on and offline. Issues of governance in these Internet platforms and other digital institutions have posed a challenge for software engineers, many of whom have little exposure to the relevant history or theory of institutional design. Here, we offer one useful framework with an aim to stimulate dialogue between computer scientists and political scientists. The dominant guiding practices for the design of digital institutions to date in human-computer interaction, computer-supported cooperative work, and the tech industry at large have been an incentive-focused behavioral engineering paradigm, a collection of atheoretical approaches such as A/B-testing, and incremental issue-driven software engineering. One institutional analysis framework that has been useful in the design of traditional institutions is the body of resource governance literature known as the "Ostrom Workshop". A key finding of this literature that has yet to be broadly incorporated in the design of many digital institutions is the importance of including participatory change process mechanisms in what is called a "constitutional layer" of institutional design---in other words, defining rules that allow and facilitate diverse stakeholder participation in the ongoing process of institutional design change. We explore to what extent this consideration is met or could be better met in three varied cases of digital institutions: cryptocurrencies, cannabis informatics, and amateur Minecraft server governance. Examining such highly varied cases allows us to demonstrate the broad relevance of constitutional layers in many different types of digital institutions.


title: A Weighted Least-Squares Transport Equation Compatible with Source Iteration and Voids

abstract: Least-squares (LS) forms of the transport equation can circumvent the void problems of other second order forms, but are almost always non-conservative. Additionally, the standard LS form is not compatible with discrete ordinates method (Sn) iterative solution techniques such as source iteration. A new form of the least-squares transport equation has recently been developed that is compatible with voids and standard Sn iterative solution techniques. Performing Nonlinear Diffusion Acceleration (NDA) using an independently-differenced low-order equation enforces conservation for the whole system, and makes this equation suitable for reactor physics calculations. In this context independent means that both the transport and low-order solutions converge to the same scalar flux and current as the spatial mesh is refined, but for a given mesh, the solutions are not necessarily equal. In this paper we show that introducing a weight function to this least-squares equation improves issues with causality and can render our equation equal to the Self-Adjoint Angular Flux (SAAF) equation. Causality is a principle of the transport equation which states that information only travels downstream along characteristics. This principle can be violated numerically. We show how to limit the weight function in voids and demonstrate the effect of this limit on the accuracy. Using the C5G7 benchmark, we compare our method to the self-adjoint angular flux formulation with a void treatment (\SAAFt), which is not self-adjoint and has a non-symmetric coefficient matrix. We show that the weighted least-squares equation with NDA gives acceptable accuracy relative to the SAAFt equation while maintaining a symmetric positive-definite system matrix.


title: AliGraph: A Comprehensive Graph Neural Network Platform

abstract: An increasing number of machine learning tasks require dealing with large graph datasets, which capture rich and complex relationship among potentially billions of elements. Graph Neural Network (GNN) becomes an effective way to address the graph learning problem by converting the graph data into a low dimensional space while keeping both the structural and property information to the maximum extent and constructing a neural network for training and referencing. However, it is challenging to provide an efficient graph storage and computation capabilities to facilitate GNN training and enable development of new GNN algorithms. In this paper, we present a comprehensive graph neural network system, namely AliGraph, which consists of distributed graph storage, optimized sampling operators and runtime to efficiently support not only existing popular GNNs but also a series of in-house developed ones for different scenarios. The system is currently deployed at Alibaba to support a variety of business scenarios, including product recommendation and personalized search at Alibaba's E-Commerce platform. By conducting extensive experiments on a real-world dataset with 492.90 million vertices, 6.82 billion edges and rich attributes, AliGraph performs an order of magnitude faster in terms of graph building (5 minutes vs hours reported from the state-of-the-art PowerGraph platform). At training, AliGraph runs 40%-50% faster with the novel caching strategy and demonstrates around 12 times speed up with the improved runtime. In addition, our in-house developed GNN models all showcase their statistically significant superiorities in terms of both effectiveness and efficiency (e.g., 4.12%-17.19% lift by F1 scores).


title: Nonlinear Diffusion Acceleration of the Least-Squares Transport Equation in Geometries with Voids

abstract: In this paper we show the extension of the Nonlinear-Diffusion Acceleration (NDA) to geometries containing small voids using a weighted least-squares (WLS) high order equation. Even though the WLS equation is well defined in voids, the low-order drift diffusion equation was not defined in materials with a zero cross section. This paper derives the necessary modifications to the NDA algorithm. We show that a small change to the NDA closure term and a non-local definition of the diffusion coefficient solve the problems for voids regions. These changes do not affect the algorithm for optical thick material regions, while making the algorithm well defined in optically thin ones. We use a Fourier analysis to perform an iterative analysis to confirm that the modifications result in a stable and efficient algorithm. Numerical results of our method will be presented in the second part of the paper. We test this formulation with a small, one-dimensional test problem. Additionally we present results for a modified version of the C5G7 benchmark containing voids as a more complex, reactor like problem. We compared our results to PDT, Texas A\&M's transport code, utilizing a first order discontinuous formulation as reference and the self-adjoint angular flux equation with void treatment (SAAFt), a different second order form. The results indicate, that the NDA WLS performed comparably or slightly worse then the asymmetric SAAFt, while maintaining a symmetric discretization matrix.


title: Room temperature local nematicity in FeSe superconductor

abstract: We report pair distribution function measurements of the iron-based superconductor FeSe above and below the structural transition temperature. Structural analysis reveals a local orthorhombic distortion with a correlation length of about 4 nm at temperatures where an average tetragonal symmetry is observed. The analysis further demonstrates that the local distortion is larger than the distortion at temperatures where the average observed symmetry is orthorhombic. Our results suggest that the low-temperature macroscopic nematic state in FeSe forms from an imperfect ordering of orbital-degeneracy-lifted nematic fluctuations which persist up to at least 300 K.


title: Effects of multiple scattering on angle-independent structural color in disordered colloidal materials

abstract: Disordered packings of colloidal spheres show angle-independent structural color when the particles are on the scale of the wavelength of visible light. Previous work has shown that the positions of the peaks in the reflectance spectra can be predicted accurately from a single-scattering model that accounts for the effective refractive index of the material. This agreement shows that the main color peak arises from short-range correlations between particles. However, the single-scattering model does not quantitatively reproduce the observed color: the main peak in the reflectance spectrum is much broader and the reflectance at low wavelengths is much larger than predicted by the model. We use a combination of experiment and theory to understand these features. We find that one significant contribution to the breadth of the main peak is light that is scattered, totally internally reflected from the boundary of the sample, and then scattered again. The high reflectance at low wavelengths also results from multiple scattering but can be traced to the increase in the scattering cross-section of individual particles with decreasing wavelength. Both of these effects tend to reduce the saturation of the structural color, which limits the use of these materials in applications. We show that while the single-scattering model cannot reproduce the observed saturations, it can be used to design materials in which multiple scattering is suppressed and the color saturated, even in the absence of absorbing components.


title: Dynamics of General Barotropic Stellar Fluid in the Framework of $R+2\alpha T$ Gravity

abstract: Gravitational collapse of a spherically symmetric homogeneous perfect barotropic fluid with linear as well as polytropic type Equation of State (EoS) has been investigated in the framework of a linear model of $f(R,T)$ gravity. This modified gravity has the potential to explain the observed cosmic acceleration. The calculations have been done taking the transformed time coordinate $t \to \sqrt{\frac{\rho_0}{3}} t$, where $\rho_0$ is the initial density of the fluid. For linear EoS $p=\omega\rho$, the condition for being a true singularity, along with sufficient condition for the formation of apparent horizon covering the singularity has been derived. For a polytrope having the EoS $p=K\rho^{1+\frac{1}{n}}$, the scale factor ($A$) as a function of fluid density ($\rho$) has been obtained which is then used to study the dynamics of the fluid. Role of the polytropic index ($n$) and the constant of proportionality ($K$) in the dynamics of the fluid is also studied. A new type of exotic matter field having varied dependence of scale factor on the density, and having the potential to give rise to bouncing cosmology, provided it is the dominating fluid in the universe, is obtained in this domain and is investigated. Energy conditions are discussed.


title: Robust Principal Component Analysis with Non-Sparse Errors

abstract: We show that when a high-dimensional data matrix is the sum of a low-rank matrix and a random error matrix with independent entries, the low-rank component can be consistently estimated by solving a convex minimization problem. We develop a new theoretical argument to establish consistency without assuming sparsity or the existence of any moments of the error matrix, so that fat-tailed continuous random errors such as Cauchy are allowed. The results are illustrated by simulations.


title: Wavenilm: A causal neural network for power disaggregation from the complex power signal

abstract: Non-intrusive load monitoring (NILM) helps meet energy conservation goals by estimating individual appliance power usage from a single aggregate measurement. Deep neural networks have become increasingly popular in attempting to solve NILM problems; however, many of them are not causal which is important for real-time application. We present a causal 1-D convolutional neural network inspired by WaveNet for NILM on low-frequency data. We also study using various components of the complex power signal for NILM, and demonstrate that using all four components available in a popular NILM dataset (current, active power, reactive power, and apparent power) we achieve faster convergence and higher performance than state-of-the-art results for the same dataset.


title: Linky: Visualizing User Identity Linkage Results For Multiple Online Social Networks

abstract: User identity linkage across online social networks is an emerging research topic that has attracted attention in recent years. Many user identity linkage methods have been proposed so far and most of them utilize user profile, content and network information to determine if two social media accounts belong to the same person. In most cases, user identity linkage methods are evaluated by performing some prediction tasks with the results presented using some overall accuracy measures. However, the methods are rarely compared at the individual user level where a predicted matched (or linked) pair of user identities from different online social networks can be visually compared in terms of user profile (e.g. username), content and network information. Such a comparison is critical to determine the relative strengths and weaknesses of each method. In this work, we present Linky, a visual analytical tool which extracts the results from different user identity linkage methods performed on multiple online social networks and visualizes the user profiles, content and ego networks of the linked user identities. Linky is designed to help researchers to (a) inspect the linked user identities at the individual user level, (b) compare results returned by different user linkage methods, and (c) provide a preliminary empirical understanding on which aspects of the user identities, e.g. profile, content or network, contributed to the user identity linkage results.


title: Correlated Electric and Magnetic Dipole Moment in Natural Supersymmetry

abstract: In the context of supersymmetry, the two-loop Barr-Zee diagrams which induce CP-violating electric dipole moment of electron due to superpartners simultaneously yield CP-conserving magnetic dipole moment of muon. In this paper, we derive the coherence between the electric and magnetic dipole moments at two-loop level due to stops, charginos or neutralinos-charginos. We also use the coherence to constrain superpartner masses and their CP-violating phases, in the light of recent ACME limit on the electric dipole moment of electron and future experiments about magnetic dipole moment of muon such as Fermilab E989 experiment.


title: New doubly even self-dual codes having minimum weight 20

abstract: In this note, we construct new doubly even self-dual codes having minimum weight $20$ for lengths $112$, $120$ and $128$. This implies that there are at least three inequivalent extremal doubly even self-dual codes of length $112$.


title: Behavioral Petri Net Mining and Automated Analysis for Human-Computer Interaction Recommendations in Multi-Application Environments

abstract: Process Mining is a famous technique which is frequently applied to Software Development Processes, while being neglected in Human-Computer Interaction (HCI) recommendation applications. Organizations usually train employees to interact with required IT systems. Often, employees, or users in general, develop their own strategies for solving repetitive tasks and processes. However, organizations find it hard to detect whether employees interact efficiently with IT systems or not. Hence, we have developed a method which detects inefficient behavior assuming that at least one optimal HCI strategy is known. This method provides recommendations to gradually adapt users' behavior towards the optimal way of interaction considering satisfaction of users. Based on users' behavior logs tracked by a Java application suitable for multi-application and multi-instance environments, we demonstrate the applicability for a specific task in a common Windows environment utilizing realistic simulated behaviors of users.


title: Bayesian Modeling of Microbiome Data for Differential Abundance Analysis

abstract: The advances of next-generation sequencing technology have accelerated study of the microbiome and stimulated the high throughput profiling of metagenomes. The large volume of sequenced data has encouraged the rise of various studies for detecting differentially abundant taxonomic features across healthy and diseased populations, with the ultimate goal of deciphering the relationship between the microbiome diversity and health conditions. As the microbiome data are high-dimensional, typically featuring by uneven sampling depth, overdispersion and a huge amount of zeros, these data characteristics often hamper the downstream analysis. Moreover, the taxonomic features are implicitly imposed by the phylogenetic tree structure and often ignored. To overcome these challenges, we propose a Bayesian hierarchical modeling framework for the analysis of microbiome count data for differential abundance analysis. Under this framework, we introduce a bi-level Bayesian hierarchical model that allows a flexible choice of the count generating process, and hyperpriors in the feature selection scheme. We particularly focus on employing a zero-inflated negative binomial model with a Bayesian nonparametric prior model on the bottom level, and applying Gaussian mixture models for differentially abundant taxa detection on the top level. Our method allows for the simultaneous modeling of sample heterogeneity and detecting differentially abundant taxa. We conducted comprehensive simulations and summarized the improved statistical performances of the proposed model. We applied the model in two real microbiome study datasets and successfully identified biologically validated differentially abundant taxa. We hope that the proposed framework and model can facilitate further microbiome studies and elucidate disease etiology.


title: Optimal Algorithm to Reconstruct a Tree from a Subtree Distance

abstract: This paper addresses the problem of finding a representation of a subtree distance, which is an extension of the tree metric. We show that a minimal representation is uniquely determined by a given subtree distance, and give a linear time algorithm that finds such a representation. This algorithm achieves the optimal time complexity.


title: Spectroscopic study on hot-electron transport in a quantum Hall edge channel

abstract: Hot electron transport in a quantum Hall edge channel of an AlGaAs/GaAs heterostructure is studied by investigating the energy distribution function in the channel. Ballistic hot-electron transport, its optical-phonon replicas, weak electron-electron scattering, and electron-hole excitation in the Fermi sea are clearly identified in the energy spectra. The optical-phonon scattering is analyzed to evaluate the edge potential profile. We find that the electron-electron scattering is significantly suppressed with increasing the hot-electron's energy well above the Fermi energy. This can be understood with suppressed Coulomb potential with longer distance for higher energy. The results suggest that the relaxation can be suppressed further by softening the edge potential. This is essential for studying non-interacting chiral transport over a long distance.


title: On Greedy Algorithms for Binary de Bruijn Sequences

abstract: We propose a general greedy algorithm for binary de Bruijn sequences, called Generalized Prefer-Opposite (GPO) Algorithm, and its modifications. By identifying specific feedback functions and initial states, we demonstrate that most previously-known greedy algorithms that generate binary de Bruijn sequences are particular cases of our new algorithm.


title: Multivariate Feedback Particle Filter via F-divergence and the Well-posedness of its Admissible Control Input

abstract: In this paper, we shall first derive the admissible control input of the multivariate feedback particle filter (FPF) by minimizing the f-divergence of the posterior conditional density function and the empirical conditional density of the controlled particles. On the contrast, in the original derivation \cite{YMM}, a special f-divergence, Kullback-Leibler (K-L) divergence, is used in the 1-dimensional nonlinear filtering problems. We show that the control input is invariant under the f-divergence class. That is, the control input satisfies exactly the same equations as those obtained by minimizing K-L divergence, no matter what f-divergence in use. In the latter half of this paper, we show the existence and uniqueness of the control input under suitable regular conditions. We confirm that the explicit expression of the control input given in \cite{YLMM} is the only admissible one.


title: Can Google Scholar and Mendeley help to assess the scholarly impacts of dissertations?

abstract: Dissertations can be the single most important scholarly outputs of junior researchers. Whilst sets of journal articles are often evaluated with the help of citation counts from the Web of Science or Scopus, these do not index dissertations and so their impact is hard to assess. In response, this article introduces a new multistage method to extract Google Scholar citation counts for large collections of dissertations from repositories indexed by Google. The method was used to extract Google Scholar citation counts for 77,884 American doctoral dissertations from 2013-2017 via ProQuest, with a precision of over 95%. Some ProQuest dissertations that were dual indexed with other repositories could not be retrieved with ProQuest-specific searches but could be found with Google Scholar searches of the other repositories. The Google Scholar citation counts were then compared with Mendeley reader counts, a known source of scholarly-like impact data. A fifth of the dissertations had at least one citation recorded in Google Scholar and slightly fewer had at least one Mendeley reader. Based on numerical comparisons, the Mendeley reader counts seem to be more useful for impact assessment purposes for dissertations that are less than two years old, whilst Google Scholar citations are more useful for older dissertations, especially in social sciences, arts and humanities. Google Scholar citation counts may reflect a more scholarly type of impact than that of Mendeley reader counts because dissertations attract a substantial minority of their citations from other dissertations. In summary, the new method now makes it possible for research funders, institutions and others to systematically evaluate the impact of dissertations, although additional Google Scholar queries for other online repositories are needed to ensure comprehensive coverage.


title: On ultrametric-preserving functions

abstract: Characterizations of pseudoultrametric-preserving functions and semimetric-preserving functions are found. The structural properties of pseudoultrametrics which can be represented as a composition of an ultrametric and ultrametric-pseudoultrametric-preserving function are found. A dual form of Pongsriiam-Termwuttipong characterization of the ultrametric-preserving functions is described. We also introduce a concept of $k$-separating family of functions and use it to characterize the ultrametric spaces.


title: Unsupervised generation of high dynamic range solar images: A novel algorithm for self-calibration of interferometry data

abstract: Solar radio emission, especially at metre-wavelengths, is well known to vary over small spectral ($\lesssim$100\,kHz) and temporal ($<1$\,s) spans. It is comparatively recently, with the advent of a new generation of instruments, that it has become possible to capture data with sufficient resolution (temporal, spectral and angular) that one can begin to characterize the solar morphology simultaneously along the axes of time and frequency. This ability is naturally accompanied by an enormous increase in data volumes and computational burden, a problem which will only become more acute with the next generation of instruments such as the Square Kilometre Array (SKA). The usual approach, which requires manual guidance of the calibration process, is impractical. Here we present the "Automated Imaging Routine for Compact Arrays for the Radio Sun (AIRCARS)", an end-to-end imaging pipeline optimized for solar imaging with arrays with a compact core. We have used AIRCARS so far on data from the Murchison Widefield Array (MWA) Phase-I. The dynamic range of the images is routinely from a few hundred to a few thousand. In the few cases, where we have pushed AIRCARS to its limits, the dynamic range can go as high as $\sim$75000. The images made represent a substantial improvement in the state-of-the-art in terms of imaging fidelity and dynamic range. This has the potential to transform the multi-petabyte MWA solar archive from raw visibilities into science-ready images. AIRCARS can also be tuned to upcoming telescopes like the SKA, making it a very useful tool for the heliophysics community.


title: An Improved Standard Model Comes with Explicit CPV and Productive of BAU

abstract: In this manuscript, we present an explicit way to describe the violation of CP symmetry in the standard model (SM) of electroweak interactions. In such a way, complex Cabbibo-Kobayashi-Maskawa (CKM) matrices are achieved which stand for the violation of CP symmetry. At the beginning, two necessary but not sufficient conditions for yielding a complex CKM matrix are stated as criteria. Then we found an interesting condition between the real and imaginary parts of a Hermitian $3\times 3$ matrix may provide extra relations among its parameters and reduce the number of them from eighteen down to five. In previous investigations, this can be done only down to nine. With another assumption among some of those parameters, the mass-matrix pattern is further simplified so as to be diagonalized analytically and in consequence four matrices which reveal $S_N$ symmetries among or between quark generations are obtained. In some of such $S_N$-symmetric cases, the derived CKM matrices are complex which indicate that CP symmetry is violated accordingly. Taking the Jarlskog invariant as an estimate of the CPV strength, the value predicted by this model is orders stronger than the empirical value detected experimentally. However, that happens to fill partly the gap between the cosmologically observed amount of Baryon Asymmetry of the Universe (BAU) and that current Standard Model of particle physics predicts. It also proves the long suspected existence of BAU-productive eras in early universe if some fermions were indistinguishable, i.e., $S_N$-symmetric, under circumstances of extremely high temperatures.


title: New edge asymptotics of skew Young diagrams via free boundaries

abstract: We study edge asymptotics of poissonized Plancherel-type measures on skew Young diagrams (integer partitions). These measures can be seen as generalizations of those studied by Baik--Deift--Johansson and Baik--Rains in resolving Ulam's problem on longest increasing subsequences of random permutations and the last passage percolation (corner growth) discrete versions thereof. Moreover they interpolate between said measures and the uniform measure on partitions. In the new KPZ-like 1/3 exponent edge scaling limit with logarithmic corrections, we find new probability distributions generalizing the classical Tracy--Widom GUE, GOE and GSE distributions from the theory of random matrices.


title: Segal-Bargmann transforms from hyperbolic Hamiltonians

abstract: We consider the imaginary time flow of a quadratic hyperbolic Hamiltonian on the symplectic plane, apply it to the Schr\"odinger polarization and study the corresponding evolution of polarized sections. The flow is periodic in imaginary time and the evolution of polarized sections has interesting features. On the time intervals for which the polarization is real or K\"ahler, the half--form corrected time evolution of polarized sections is given by unitary operators which turn out to be equivalent to the classical Segal-Bargmann transforms (which are usually associated to the quadratic elliptic Hamiltonian $H=\frac12 p^2$ and to the heat operator). At the right endpoint of these intervals, the evolution of polarized sections is given by the Fourier transform from the Schr\"odinger to the momentum representation. In the complementary intervals of imaginary time, the polarizations are anti--K\"ahler and the Hilbert space of polarized sections collapses to ${\mathcal H}= \{0\}$. Hyperbolic quadratic Hamiltonians thus give rise to a new factorization of the Segal-Bargmann transform, which is very different from the usual one, where one first applies a bounded contraction operator (the heat kernel operator), mapping $L^2$--states to real analytic functions with unique analytic continuation, and then one applies analytic continuation. In the factorization induced by an hyperbolic complexifier, both factors are unbounded operators but their composition is, in the K\"ahler or real sectors, unitary. In another paper [KMNT], we explore the application of the above family of unitary transforms to the definition of new holomorphic fractional Fourier transforms.


title: Pixel detector R&D for the Compact Linear Collider

abstract: The physics aims at the proposed future CLIC high-energy linear $e^+ e^-$ collider pose challenging demands on the performance of the detector system. In particular the vertex and tracking detectors have to combine precision measurements with robustness against the expected high rates of beam-induced backgrounds. A spatial resolution of a few microns and a material budget down to 0.2\% of a radiation length per vertex-detector layer have to be achieved together with a few nanoseconds time stamping accuracy. These requirements are addressed with innovative technologies in an ambitious detector R\&D programme, comprising hardware developments as well as detailed device and Monte Carlo simulations based on TCAD, Geant4 and Allpix-Squared. Various fine pitch hybrid silicon pixel detector technologies are under investigation for the CLIC vertex detector. The CLICpix and CLICpix2 readout ASICs with \SI{25}{\micro\meter} pixel pitch have been produced in a \SI{65}{\nano\meter} commercial CMOS process and bump-bonded to planar active edge sensors as well as capacitively coupled to High-Voltage (HV) CMOS sensors. Monolithic silicon tracking detectors are foreseen for the large surface ($\approx$ \SI{140}{\meter\squared}) CLIC tracker. Fully monolithic prototypes are currently under development in High-Resistivity (HR) CMOS, HV-CMOS and Silicon on Insulator (SOI) technologies. The laboratory and beam tests of all recent prototypes profit from the development of the CaRIBou universal readout system. This talk presents an overview of the CLIC pixel-detector R\&D programme, focusing on recent test-beam and simulation results.


title: Quantum Learning Boolean Linear Functions w.r.t. Product Distributions

abstract: The problem of learning Boolean linear functions from quantum examples w.r.t. the uniform distribution can be solved on a quantum computer using the Bernstein-Vazirani algorithm. A similar strategy can be applied in the case of noisy quantum training data, as was observed in arXiv:1702.08255v2 [quant-ph]. However, extensions of these learning algorithms beyond the uniform distribution have not yet been studied. We employ the biased quantum Fourier transform introduced in arXiv:1802.05690v2 [quant-ph] to develop efficient quantum algorithms for learning Boolean linear functions on $n$ bits from quantum examples w.r.t. a biased product distribution. Our first procedure is applicable to any (except full) bias and requires $\mathcal{O}(\ln (n))$ quantum examples. The number of quantum examples used by our second algorithm is independent of $n$, but the strategy is applicable only for small bias. Moreover, we show that the second procedure is stable w.r.t. noisy training data and w.r.t. faulty quantum gates. This also enables us to solve a version of the learning problem in which the underlying distribution is not known in advance. Finally, we prove lower bounds on the classical and quantum sample complexities of the learning problem. Whereas classically, $\Omega (n)$ examples are necessary independently of the bias, we are able to establish a quantum sample complexity lower bound of $\Omega (\ln (n))$ only under an assumption of large bias. Nevertheless, this allows for a discussion of the performance of our suggested learning algorithms w.r.t. sample complexity. With our analysis we contribute to a more quantitative understanding of the power and limitations of quantum training data for learning classical functions.


title: Quasistatic magnetoconvection: Heat transport enhancement and boundary layer crossing

abstract: We present a numerical study of quasistatic magnetoconvection in a cubic Rayleigh-B\'enard (RB) convection cell subjected to a vertical external magnetic field. For moderate values of the Hartmann number Ha, we find an enhancement of heat transport. Furthermore, a maximum heat transport enhancement is observed at certain optimal $Ha_{opt}$. The enhanced heat transport may be understood as a result of the increased coherency of the thermal plumes, which are elementary heat carriers of the system. To our knowledge this is the first time that a heat transfer enhancement by the stabilising Lorentz force in quasistatic magnetoconvection has been observed. We further found that the optimal enhancement may be understood in terms of the crossing between the thermal and the momentum boundary layers (BL) and the fact that temperature fluctuations are maximum near the position where the BLs cross. These findings demonstrate that the heat transport enhancement phenomenon in the quasistatic magnetoconvection system belongs to the same universality class of stabilising$-$destabilising ($S$-$D$) turbulent flows as the systems of confined Rayleigh-B\'enard (CRB), rotating Rayleigh-B\'enard (RRB) and double-diffusive convection (DDC). This is further supported by the findings that the heat transport, boundary layer ratio and the temperature fluctuations in magnetoconvection at the boundary layer crossing point are similar to the other three cases.


title: Parallel Rendering and Large Data Visualization

abstract: We are living in the big data age: An ever increasing amount of data is being produced through data acquisition and computer simulations. While large scale analysis and simulations have received significant attention for cloud and high-performance computing, software to efficiently visualise large data sets is struggling to keep up. Visualization has proven to be an efficient tool for understanding data, in particular visual analysis is a powerful tool to gain intuitive insight into the spatial structure and relations of 3D data sets. Large-scale visualization setups are becoming ever more affordable, and high-resolution tiled display walls are in reach even for small institutions. Virtual reality has arrived in the consumer space, making it accessible to a large audience. This thesis addresses these developments by advancing the field of parallel rendering. We formalise the design of system software for large data visualization through parallel rendering, provide a reference implementation of a parallel rendering framework, introduce novel algorithms to accelerate the rendering of large amounts of data, and validate this research and development with new applications for large data visualization. Applications built using our framework enable domain scientists and large data engineers to better extract meaning from their data, making it feasible to explore more data and enabling the use of high-fidelity visualization installations to see more detail of the data.


title: Stabilizing zero-field skyrmions in Ir/Fe/Co/Pt thin film multilayers by magnetic history control

abstract: We present a study of the stability of room-temperature skyrmions in [Ir/Fe/Co/Pt] thin film multilayers, using the First Order Reversal Curve (FORC) technique and magnetic force microscopy (MFM). FORC diagrams reveal irreversible changes in magnetization upon field reversals, which can be correlated with the evolution of local magnetic textures probed by MFM. Using this approach, we have identified two different mechanisms - (1) skyrmion merger and (2) skyrmion nucleation followed by stripe propagation - which facilitate magnetization reversal in a changing magnetic field. Analysing the signatures of these mechanisms in the FORC diagram allows us to identify magnetic "histories" - i.e. precursor field sweep protocols - capable of enhancing the final zero-field skyrmion density. Our results indicate that FORC measurements can play a useful role in characterizing spin topology in thin film multilayers, and are particularly suitable for identifying samples in which skyrmion populations can be stabilized at zero field.


title: Role of environment on nuclear activity

abstract: Motivated by the apparently conflicting results reported in the literature on the effect of environment on nuclear activity, we have carried out a new analysis by comparing the fraction of galaxies hosting active galactic nuclei (AGNs) in the most overdense regions (rich galaxy clusters) and the most underdense ones (voids) in the local universe. Exploiting the classical BPT diagnostics, we have extracted volume limited samples of star forming and AGN galaxies. We find that, at variance with star-forming galaxies, AGN galaxies have similar distributions of specific star formation rates and of galactic ages (as indicated by the Dn4000 parameter) both in clusters and in voids. In both environments galaxies hosting AGNs are generally old, with low star formation activity. The AGN fraction increases faster with stellar mass in clusters than in voids, especially above 10^10.2 M(sun). Our results indicate that, in the local universe, the nuclear activity correlates with stellar mass and galaxy morphology and is weakly, if at all, affected by the local galaxy density.


title: Another proof of the Nowicki conjecture

abstract: Let $K[X_d,Y_d]=K[x_1,\ldots,x_d,y_1,\ldots,y_d]$ be the polynomial algebra in $2d$ variables over a field $K$ of characteristic 0 and let $\delta$ be the derivation of $K[X_d,Y_d]$ defined by $\delta(y_i)=x_i$, $\delta(x_i)=0$, $i=1,\ldots,d$. In 1994 Nowicki conjectured that the algebra $K[X_d,Y_d]^{\delta}$ of constants of $\delta$ is generated by $X_d$ and $x_iy_j-y_ix_j$ for all $1\leq i<j\leq d$. The affirmative answer was given by several authors using different ideas. In the present paper we give another proof of the conjecture based on representation theory of the general linear group $GL_2(K)$.


title: Properties of a potential energy matrix in oscillator basis

abstract: Matrix elements of potential energy are examined in detail. We consider a model problem - a particle in a central potential. The most popular forms of central potential are taken up, namely, square-well potential, Gaussian, Yukawa and exponential potentials. We study eigenvalues and eigenfunctions of the potential energy matrix constructed with oscillator functions. It is demonstrated that eigenvalues coincide with the potential energy in coordinate space at some specific discrete points. We establish approximate values for these points. It is also shown that the eigenfunctions of the potential energy matrix are the expansion coefficients of the spherical Bessel functions in a harmonic oscillator basis. We also demonstrate a close relation between the separable approximation and $L^{2}$ basis (J-matrix) method for the quantum theory of scattering.


title: A metrizable semitopological semilattice with non-closed partial order

abstract: We construct a metrizable semitopological semilattice $X$ whose partial order $P=\{(x,y)\in X\times X:xy=x\}$ is a non-closed dense subset of $X\times X$. As a by-product we find necessary and sufficient conditions for the existence of a (metrizable) Hausdorff topology on a set, act, semigroup or semilattice, having a prescribed countable family of convergent sequences.


title: Modeling warm dense matter formation within tight binding approximation

abstract: This contribution discusses challenges in the modeling of formation of the warm dense matter (WDM) state in solids exposed to femtosecond X-ray free-electron laser pulses. It is based upon our previously reported code XTANT (X-ray-induced Thermal And Nonthermal Transition; N. Medvedev et. al, 4open 1, 3, 2018), which combines tight-binding (TB) molecular dynamics for atoms with Monte Carlo modeling of high-energy electrons and core-holes, and Boltzmann collision integrals for nonadiabatic electron-ion coupling. The current version of the code, XTANT-3, includes LCAO basis sets sp3, sp3s*, and sp3d5, and can operate with both orthogonal and nonorthogonal Hamiltonians. It includes the TB parameterizations by Goodwin et al., a transferrable version of Vogl's et al. TB, NRL, and DFTB. Considering that other modules of the code are applicable to any chemical element, this makes XTANT-3 capable of treating a large variety of materials. In order to extend it to the WDM regime, a few limitations that must be overcome are discussed here: short-range repulsion potential must be sufficiently strong; basis sets must span large enough energy space within the conduction band; dependence of the electronic scattering cross sections on the electronic and atomic temperatures and structure needs to be considered. Directions at solving these issues are outlined in this proceeding.


title: On multidimensional Bochner-Phillips functional calculus

abstract: The functional calculus of semigroup generators, based on the class of Bernstein functions in several variables is developed, the condition for holomorphy of semigroups, generated by operators which arisen in the calculus is given, and in the one-dimensional case the moment inequality for such operators is proved.


title: Shapely Atoms

abstract: The study of vibrational properties in engineered periodic structures relies on the early intuitions of Ha\"uy and Boscovich, who regarded crystals as ensembles of periodically arranged mass points interacting via attractive and repulsive forces. Contrary to electromagnetism, where mechanical properties do not couple to the wave propagation mechanism, in elasticity this paradigm inevitably led to low stiffness and high-density materials. Here, we transcend the Ha\"uy-Boscovich perception, proposing the concept of shaped atoms, which relaxes the link between the mass and inertia of atoms, to achieve unusual dynamic behavior at lower frequencies, leaving the stiffness unaltered. Exploiting tacticity, we successfully demonstrate its feasibility in continuous elastic chiral systems, opening the way to the conception of new mechanisms for wave control, selective wave filtering and vibration isolation.


title: Behavior of two-level quantum system driven by non-classical inputs

abstract: Two level quantum system (Qubit) and non-classical states of light such as single photon and superposition of coherent state are under special attention in quantum technologies such as quantum computing, quantum communication and quantum computers. So, behavior of two-level system driven by such inputs is important. In this paper, the behavior of two-level quantum system driven by vacuum state, single photon and superposition of coherent state was investigated by assuming Pauli matrices as system operators in quantum filtering equations. The purity of conditioned and unconditioned state are also analyzed when the system is driven by different inputs. The results show that the stochastic master equation dynamic has more information about the status of system than master equation dynamic.


title: Fully Automatic, Verified Classification of all Frankl-Complete (FC(6)) Set Families

abstract: The Frankl's conjecture, formulated in 1979. and still open, states that in every family of sets closed for unions there is an element contained in at least half of the sets. A family Fc is called Frankl-complete (or FC-family) if in every union-closed family F containing Fc, one of the elements of union Fc occurs in at least half of the elements of F (so F satisfies the Frankl's condition). FC-families play an important role in attacking the Frankl's conjecture, since they enable significant search space pruning. We extend previous work by giving a total characterization of all FC-families over a 6-element universe, by defining and enumerating all minimal FC and maximal nonFC-families. We use a fully automated, computer assisted approach, formally verified within the proof-assistant Isabelle/HOL.


title: Constraining quark-hadron interface tension in the multi-messenger era

abstract: We study the interface effects of quark-hadron mixed phase in compact stars. The properties of nuclear matter are obtained based on the relativistic-mean-field model. For the quark phase, we adopt perturbation model with running quark masses and coupling constant. At certain choices of parameter sets, it is found that varying the quark-hadron interface tension will have sizable effects on the radii ($\Delta R \approx 600$ m) and tidal deformabilities ($\Delta \Lambda/\Lambda \approx 50\%$) of hybrid stars. These provide possibilities for us to constrain the quark-hadron interface tension with future gravitational wave observations as well as the ongoing NICER mission.


title: VoroCrust: Voronoi Meshing Without Clipping

abstract: Polyhedral meshes are increasingly becoming an attractive option with particular advantages over traditional meshes for certain applications. What has been missing is a robust polyhedral meshing algorithm that can handle broad classes of domains exhibiting arbitrarily curved boundaries and sharp features. In addition, the power of primal-dual mesh pairs, exemplified by Voronoi-Delaunay meshes, has been recognized as an important ingredient in numerous formulations. The VoroCrust algorithm is the first provably-correct algorithm for conforming polyhedral Voronoi meshing for non-convex and non-manifold domains with guarantees on the quality of both surface and volume elements. A robust refinement process estimates a suitable sizing field that enables the careful placement of Voronoi seeds across the surface circumventing the need for clipping and avoiding its many drawbacks. The algorithm has the flexibility of filling the interior by either structured or random samples, while preserving all sharp features in the output mesh. We demonstrate the capabilities of the algorithm on a variety of models and compare against state-of-the-art polyhedral meshing methods based on clipped Voronoi cells establishing the clear advantage of VoroCrust output.


title: Stueckelberg Bosons as an Ultralight Dark Matter Candidate

abstract: In this letter, we propose a new model of fuzzy dark matter based on Stueckelberg theory. Dark matter is treated as a Bose-Einstein condensate of Stueckelberg particles and the resulting cosmological effects are analyzed. Fits are understood for the density and halo sizes of such particles and comparison with existing models is made. Certain attractive properties of the model are demonstrated and lines for future work are laid out.


title: A Decentralised Digital Identity Architecture

abstract: Current architectures to validate, certify, and manage identity are based on centralised, top-down approaches that rely on trusted authorities and third-party operators. We approach the problem of digital identity starting from a human rights perspective, with a primary focus on identity systems in the developed world. We assert that individual persons must be allowed to manage their personal information in a multitude of different ways in different contexts and that to do so, each individual must be able to create multiple unrelated identities. Therefore, we first define a set of fundamental constraints that digital identity systems must satisfy to preserve and promote privacy as required for individual autonomy. With these constraints in mind, we then propose a decentralised, standards-based approach, using a combination of distributed ledger technology and thoughtful regulation, to facilitate many-to-many relationships among providers of key services. Our proposal for digital identity differs from others in its approach to trust in that we do not seek to bind credentials to each other or to a mutually trusted authority to achieve strong non-transferability. Because the system does not implicitly encourage its users to maintain a single aggregated identity that can potentially be constrained or reconstructed against their interests, individuals and organisations are free to embrace the system and share in its benefits.


title: SYZ geometry for Calabi-Yau 3-folds: Taub-NUT and Ooguri-Vafa type metrics

abstract: We construct a family of Calabi-Yau metrics on $\C^3$ with properties analogous to the Taub-NUT metric on $\C^2$, and construct a family of Calabi-Yau 3-fold metric models on the positive and negative vertices of SYZ fibrations with properties analogous to the Ooguri-Vafa metric.


title: Formation of planetary systems by pebble accretion and migration: Growth of gas giants

abstract: Giant planets migrate though the protoplanetary disc as they grow. We investigate how the formation of planetary systems depends on the radial flux of pebbles through the protoplanetary disc and on the planet migration rate. Our N-body simulations confirm previous findings that Jupiter-like planets in orbits outside the water ice line originate from embryos starting out at 20-40 AU when using nominal type-I and type-II migration rates and a pebble flux of 100-200 Earth masses per million years, enough to grow Jupiter within the lifetime of the solar nebula. The planetary embryos placed up to 30AU migrate into the inner system (r<1AU) and form super-Earths or hot and warm gas giants, producing systems that are inconsistent with the configuration of the solar system, but consistent with some exoplanetary systems. We also explore slower migration rates which allow the formation of gas giants from embryos originating from the 5-10AU region, which are stranded exterior to 1 AU at the end of the gas-disc phase. We identify a pebble flux threshold below which migration dominates and moves the planetary core to the inner disc, where the pebble isolation mass is too low for the planet to accrete gas efficiently. Giant planet growth requires a sufficiently-high pebble flux to enable growth to out-compete migration. Even higher pebble fluxes produce systems with multiple gas giants. We show that planetary embryos starting interior to 5AU do not grow into gas giants, even if migration is slow and the pebble flux is large. Instead they grow to the mass regime of super-Earths. This stunted growth is caused by the low pebble isolation mass in the inner disc and is independent of the pebble flux. Additionally we show that the long term evolution of our formed planetary systems can produce systems with hot super-Earths and outer gas giants as well as systems of giants on eccentric orbits (abridged).


title: Formation of planetary systems by pebble accretion and migration: Hot super-Earth systems from breaking compact resonant chains

abstract: At least 30\% of main sequence stars host planets with sizes of between 1 and 4 Earth radii and orbital periods of less than 100 days. We use N-body simulations including a model for gas-assisted pebble accretion and disk--planet tidal interaction to study the formation of super-Earth systems. We show that the integrated pebble mass reservoir creates a bifurcation between hot super-Earths or hot-Neptunes ($\lesssim15M_{\oplus}$) and super-massive planetary cores potentially able to become gas giant planets ($\gtrsim15M_{\oplus}$). Simulations with moderate pebble fluxes grow multiple super-Earth-mass planets that migrate inwards and pile up at the inner edge of the disk forming long resonant chains. We follow the long-term dynamical evolution of these systems and use the period ratio distribution of observed planet-pairs to constrain our model. Up to $\sim$95\% of resonant chains become dynamically unstable after the gas disk dispersal, leading to a phase of late collisions that breaks the original resonant configurations. Our simulations naturally match observations when they produce a dominant fraction ($\gtrsim95\%$) of unstable systems with a sprinkling ($\lesssim5\%$) of stable resonant chains (the Trappist-1 system represents one such example). Our results demonstrate that super-Earth systems are inherently multiple (${\rm N\geq2}$) and that the observed excess of single-planet transits is a consequence of the mutual inclinations excited by the planet--planet instability. In simulations in which planetary seeds are initially distributed in the inner and outer disk, close-in super-Earths (abridged).


title: Managing mobile production-inventory systems influenced by a modulation process

abstract: We investigate the potential added value of being able to relocate production capacity, relative to fixed production capacity, in a network of multiple, geographically distributed manufacturing sites. There is a growing interest in production capacity that can be geographically relocated; e.g., modular units for pharmaceutical intermediates. It shows promise for enabling the fast fulfillment of a distributed network with a reduction in the total inventory and total production capacity of a distributed network with fixed production capacity without sacrificing customer service levels or total system resilience. Allowing also for transshipment, we model a production-inventory system with L production sites and Y units of relocatable production capacity, develop efficient and effective heuristic solution methods for dynamic relocation and multi-location inventory control, and analyze the potential added value. We describe the (L, Y) problem as a problem of sequential decision making under uncertainty to determine transshipment, mobile production capacity relocation, and replenishment decisions at each decision epoch. To enhance model realism, we use a partially observed stochastic process, the modulation process, to model the exogenous and partially observable forces (e.g., the macro-economy) that affect demand. We then model the (L, Y) problem as a partially observed Markov decision process. Due to the considerable computational challenges of solving this model exactly, we propose two efficient, high quality heuristics. We show for an instance set with five locations that production capacity mobility and transshipment, relative to the fixed production capacity case, can improve systems performance by as much as 41\% on average over the no-flexibility case and that production capacity mobility can yield as much as 10\% more savings compared to when only transshipment is permitted.


title: Simplicial complexes and tilting theory for Brauer tree algebras

abstract: We study 2-term tilting complexes of Brauer tree algebras in terms of simplicial complexes. We show the symmetry and convexity of the simplicial complexes as lattice polytopes. Via a geometric interpretation of derived equivalences, we show that the $f$-vector of simplicial complexes of Brauer tree algebras only depends the number of the edges of the Brauer trees and hence it is a derived invariant. In particular, this result implies that the number of 2-term tilting complexes, which is in bijection with support $\tau$-tilting modules, is a derived invariant. Moreover, we apply our result to the enumeration problem of Coxeter-biCatalan combinatorics.


title: Acoustic Rabi oscillations between gravitational quantum states and impact on symmetron dark energy

abstract: The standard model of cosmology provides a robust description of the evolution of the universe. Nevertheless, the small magnitude of the vacuum energy is troubling from a theoretical point of view. An appealing resolution to this problem is to introduce additional scalar fields. However, these have so far escaped experimental detection, suggesting some kind of screening mechanism may be at play. Although extensive exclusion regions in parameter space have been established for one screening candidate - chameleon fields - another natural screening mechanism based on spontaneous symmetry breaking has also been proposed, in the form of symmetrons 11. Such fields would change the energy of quantum states of ultra-cold neutrons in the gravitational potential of the earth. Here we demonstrate a spectroscopic approach based on the Rabi resonance method that probes these quantum states with a resolution of E=2 x 10^(-15) eV. This allows us to exclude the symmetron as the origin of Dark Energy for a large volume of the three-dimensional parameter space.


title: On uniqueness of the foliation by comoving observers restspaces of a Generalized Robertson Walker spacetime

abstract: A characterization of the foliation by spacelike slices of an $(n+1)$-dimensional spatially closed Generalized Robertson-Walker spacetime is given by means of studying a natural mean curvature type equation on spacelike graphs. Under some natural assumptions, of physical or geometric nature, all the entire solutions of such an equation are obtained. In particular, the case of entire spacelike graphs in de Sitter spacetime is faced and completely solved by means of a new application of a known integral formula.


title: Multilinear Cryptography using Nilpotent Groups

abstract: In this paper we generalize the definition of a multilinear map to arbitrary groups and develop a novel idea of multilinear cryptosystem using nilpotent group identities.


title: Three examples of Sharp Commutator Estimates via Harmonic Extensions

abstract: Recently, Lenzmann and the author observed how to obtain a large class of sharp commutator estimates by a combination of an integration by parts, an harmonic extension, and trace space estimates. In this survey we review this approach in three concrete examples: the Jacobian estimate by Coifman-Lions-Meyer-Semmes, the Coifman-Rochberg-Weiss commutator estimate for Riesz transforms, and a Kato-Ponce-Vega-type inequality.


title: Optimal Resource Allocation for Wireless Powered Mobile Edge Computing with Dynamic Task Arrivals

abstract: This paper considers a wireless powered multiuser mobile edge computing (MEC) system, where a multi-antenna access point (AP) employs the radio-frequency (RF) signal based wireless power transfer (WPT) to charge a number of distributed users, and each user utilizes the harvested energy to execute computation tasks via local computing and task offloading. We consider the frequency division multiple access (FDMA) protocol to support simultaneous task offloading from multiple users to the AP. Different from previous works that considered one-shot optimization with static task models, we study the joint computation and wireless resource allocation optimization with dynamic task arrivals over a finite time horizon consisting of multiple slots. Under this setup, our objective is to minimize the system energy consumption including the AP's transmission energy and the MEC server's computing energy over the whole horizon, by jointly optimizing the transmit energy beamforming at the AP, and the local computing and task offloading strategies at the users over different time slots. To characterize the fundamental performance limit of such systems, we focus on the offline optimization by assuming the task and channel information are known a-priori at the AP. In this case, the energy minimization problem corresponds to a convex optimization problem. Leveraging the Lagrange duality method, we obtain the optimal solution to this problem in a well structure. It is shown that in order to maximize the system energy efficiency, the optimal number of task input-bits at each user and the AP are monotonically increasing over time, and the offloading strategies at different users depend on both the wireless channel conditions and the task load at the AP. Numerical results demonstrate the benefit of the proposed joint-WPT-MEC design over alternative benchmark schemes without such joint design.


title: Stochastic Hosting Capacity in LV Distribution Networks

abstract: Hosting capacity is defined as the level of penetration that a particular technology can connect to a distribution network without causing power quality problems. In this work, we study the impact of solar photovoltaics (PV) on voltage rise. In most cases, the locations and sizes of the PV are not known in advance, so hosting capacity must be considered as a random variable. Most hosting capacity methods study the problem considering a large number of scenarios, many of which provide little additional information. We overcome this problem by studying only cases where voltage constraints are active, with results illustrating a reduction in the number of scenarios required by an order of magnitude. A linear power flow model is utilised for this task, showing excellent performance. The hosting capacity is finally studied as a function of the number of generators connected, demonstrating that assumptions about the penetration level will have a large impact on the conclusions drawn for a given network.


title: Energy Flux in Hierarchical Equations of Motion Method and Its Application to a Three-Level Heat Engine

abstract: We derive the formula of energy flux for the hierarchical equations of motion (HEOM) method with the help of stochastic decoupling technique. The resulting expression is a combination of the terms in the first two layers of the hierarchy. The formula is applied to a three-level "heat engine" coupled respectively to three baths, of which two for heat sources and one for work dump. All the three baths are modeled by collections of harmonic oscillators. We illustrate the proper parameterizing to converge the third bath to the "work-dump" limit. As an example, the effect of the engine parameters on working efficiency is studied.


title: The spin-1/2 coupled tetramer system Ba(TiO)Cu$_4$(PO$_4$)$ _4$ probed by magnetization, specific heat, and $^{31}$P-NMR

abstract: We present the synthesis and a detailed investigation of structural and magnetic properties of polycrystalline Ba(TiO)Cu$_{4}$(PO$_{4}$)$_{4}$ (BTCPO) via x-ray diffraction, magnetic susceptibility, heat capacity, and $^{31}$P Nuclear Magnetic Resonance (NMR) measurements. BTCPO has a 2D layered structure with interlinked Cu$_{4}$O$_{12}$ tetramer units. A broad maximum is observed around 16.5 K in our magnetization data accompanied by a sharp anomaly around $T$ = 9.5 K in the heat capacity. An anomaly at $T$ = 9.5 K is also found in the temperature dependence of the $^{31}$P NMR spin-lattice relaxation rate $1/T_1$. A power law behavior for the heat capacity as well as for the $^{31}$P $1/T_1$ below the ordering temperature could be obtained. The $^{31}$P NMR lineshape is asymmetric and the NMR shift tracks the bulk spin-susceptibility. We estimated the isotropic and axial components of the hyperfine coupling tensor to be as the $A^{iso}_{hf} \backsimeq 6794$ $\rm{Oe/\mu_{B}}$ and $A^{ax}_{hf} \backsimeq 818$ $\rm{Oe/\mu_{B}}$, respectively.


title: Two-body charmed baryon decays involving vector meson with $SU(3)$ flavor symmetry

abstract: We study the two-body anti-triplet charmed baryon decays of ${\bf B}_c\to {\bf B}_n V$, with ${\bf B}_c=(\Xi_c^{0},-\Xi_c^{+},\Lambda_c^+)$ and ${\bf B}_n(V)$ the baryon (vector meson) states. Based on the $SU(3)$ flavor symmetry, we predict that ${\cal B}(\Lambda^{+}_{c}\to \Sigma^{+}\rho^{0},\Lambda^0 \rho^+)=(0.61\pm 0.46,0.74\pm 0.34)\%$, in agreement with the experimental upper bounds of $(1.7,6)\%$, respectively. We also find ${\cal B}(\Lambda^+_c \to \Xi^0 K^{*+},\Sigma^0 K^{*+},\Lambda^0 K^{*+}) =(8.7 \pm 2.7,1.2\pm 0.3,2.0\pm 0.5)\times 10^{-3}$ to be compatible with the pseudoscalar counterparts. For the doubly Cabibbo-suppressed decay $\Xi^+_c \to p\phi$, measured for the first time, we predict its branching ratio to be $(1.5\pm 0.7)\times 10^{-4}$, together with ${\cal B}(\Xi^+_c \to p \bar K^{*0},\Sigma^+ \phi) =(7.8 \pm 2.2,1.9\pm0.9)\times 10^{-3}$. The ${\bf B}_c\to{\bf B}_n V$ decays with ${\cal B}\simeq {\cal O}(10^{-4}-10^{-3})$ are accessible to the BESIII, BELLEII and LHCb experiments.


title: New Frontiers in Multidimensional Self-Trapping of Nonlinear Fields and Matter

abstract: We review the state of the art and recently obtained theoretical and experimental results for two- and three-dimensional (2D and 3D) solitons and related states, such as quantum droplets, in optical systems, atomic Bose-Einstein condensates (BECs), and other fields - in particular, liquid crystals. The central challenge is avoiding the trend of 2D and 3D solitary states supported by the ubiquitous cubic nonlinearity to be strongly unstable - a property far less present in one-dimensional systems. Many possibilities for the stabilization of multi-dimensional states have been theoretically proposed over the years. Most strategies involve non-cubic nonlinearities or using different sorts of potentials, including periodic ones. New important avenues have arisen recently in systems based on two-component BEC with spin-orbit coupling, which have been predicted to support stable 2D and metastable 3D solitons. An important recent breakthrough is the creation of 3D quantum droplets. These are self-sustained states existing in two-component BECs, which are stabilized by the presence of Lee-Hung-Yang quantum fluctuations around the underlying mean-field states. By and large, multi-dimensional geometries afford unique opportunities to explore the existence of complex self-sustained states, including topologically rich ones, which by their very nature are not possible in one-dimensional geometries. In addition to vortex solitons, these are hopfions, skyrmions, and hybrid vortex-antivortex complexes, which have been predicted in different models. Here we review recent landmark findings in this field and outline outstanding open challenges.

categories: physics.optics cond-mat.other cond-mat.quant-gas nlin.PS


title: A Deep, Information-theoretic Framework for Robust Biometric Recognition

abstract: Deep neural networks (DNN) have been a de facto standard for nowadays biometric recognition solutions. A serious, but still overlooked problem in these DNN-based recognition systems is their vulnerability against adversarial attacks. Adversarial attacks can easily cause the output of a DNN system to greatly distort with only tiny changes in its input. Such distortions can potentially lead to an unexpected match between a valid biometric and a synthetic one constructed by a strategic attacker, raising security issue. In this work, we show how this issue can be resolved by learning robust biometric features through a deep, information-theoretic framework, which builds upon the recent deep variational information bottleneck method but is carefully adapted to biometric recognition tasks. Empirical evaluation demonstrates that our method not only offers stronger robustness against adversarial attacks but also provides better recognition performance over state-of-the-art approaches.


title: The optimal geometry of transportation networks

abstract: Motivated by the shape of transportation networks such as subways, we consider a distribution of points in the plane and ask for the network $G$ of given length $L$ that is optimal in a certain sense. In the general model, the optimality criterion is to minimize the average (over pairs of points chosen independently from the distribution) time to travel between the points, where a travel path consists of any line segments in the plane traversed at slow speed and any route within the subway network traversed at a faster speed. Of major interest is how the shape of the optimal network changes as $L$ increases. We first study the simplest variant of this problem where the optimization criterion is to minimize the average distance from a point to the network, and we provide some general arguments about the optimal networks. As a second variant we consider the optimal network that minimizes the average travel time to a central destination, and discuss both analytically and numerically some simple shapes such as the star network, the ring or combinations of both these elements. Finally, we discuss numerically the general model where the network minimizes the average time between all pairs of points. For this case, we propose a scaling form for the average time that we verify numerically. We also show that in the medium-length regime, as $L$ increases, resources go preferentially to radial branches and that there is a sharp transition at a value $L_c$ where a loop appears.


title: Dynamical enhancement of nonparaxial effects in the electromagnetic field of a vortex electron

abstract: A quantum state of an electron influences its electromagnetic field. If a spatial profile of the electron wave packet is not Gaussian, the particle may acquire additional intrinsic multipole moments, which alter its field, especially at small distances. Here the fields of a vortex electron with orbital angular momentum $\ell$ are obtained in a form of a multipole expansion with an electric quadrupole term kept by using the generalized (non-paraxial) Laguerre-Gaussian beams. The quadrupole contribution arises beyond a paraxial approximation, is linearly enhanced for highly twisted packets with $|\ell| \gg 1$, and can be important for the interactions of twisted beams with bulk matter and artificial structures. Moreover, this term results in an azimuthal asymmetry of the magnetic field in a rest frame of the electron, which appears thanks to the spreading of the packet with time. Thus, somewhat contrary to physical intuition, the spreading may enhance non-paraxial phenomena. For the available electron beams, this asymmetry can in principle be reliably detected, which would be experimental evidence of a non-paraxial effect with the vortex electrons.

categories: quant-ph hep-ph physics.atom-ph physics.optics


title: Facial Motion Prior Networks for Facial Expression Recognition

abstract: Deep learning based facial expression recognition (FER) has received a lot of attention in the past few years. Most of the existing deep learning based FER methods do not consider domain knowledge well, which thereby fail to extract representative features. In this work, we propose a novel FER framework, named Facial Motion Prior Networks (FMPN). Particularly, we introduce an addition branch to generate a facial mask so as to focus on facial muscle moving regions. To guide the facial mask learning, we propose to incorporate prior domain knowledge by using the average differences between neutral faces and the corresponding expressive faces as the training guidance. Extensive experiments on three facial expression benchmark datasets demonstrate the effectiveness of the proposed method, compared with the state-of-the-art approaches.


title: Experimental Study on CTL model checking using Machine Learning

abstract: The existing core methods, which are employed by the popular CTL model checking tools, are facing the famous state explode problem. In our previous study, a method based on the Machine Learning (ML) algorithms was proposed to address this problem. However, the accuracy is not satisfactory. First, we conduct a comprehensive experiment on Graph Lab to seek the optimal accuracy using the five machine learning algorithms. Second, given the optimal accuracy, the average time is seeked. The results show that the Logistic Regressive (LR)-based approach can simulate CTL model checking with the accuracy of 98.8%, and its average efficiency is 459 times higher than that of the existing method, as well as the Boosted Tree (BT)-based approach can simulate CTL model checking with the accuracy of 98.7%, and its average efficiency is 639 times higher than that of the existing method.


title: Multifunctional quantum thermal device utilizing three qubits

abstract: Quantum thermal devices which can manage heat as their electronic analogues for the electronic currents have attracted increasing attention. Here a three-terminal quantum thermal device is designed by three coupling qubits interacting with three heat baths with different temperatures. Based on the steady-state behavior solved from the dynamics of this system, it is demonstrated that such a device integrates multiple interesting thermodynamic functions. It can serve as a heat current transistor to use the weak heat current at one terminal to effectively amplify the currents through the other two terminals, to continuously modulate them ranging in a large amplitude, and even to switch on/off the heat currents. It is also found that the three currents are not sensitive to the fluctuation of the temperature at the low temperature terminal, so it can behave as a thermal stabilizer. In addition, we can utilize one terminal temperature to ideally turn off the heat current at any one terminal and to allow the heat currents through the other two terminals, so it can be used as a thermal valve. Finally, we illustrate that this thermal device can control the heat currents to flow unidirectionally, so it has the function as a thermal rectifier.


title: Local loop lemma

abstract: We prove that an idempotent operation generates a loop from a strongly connected digraph containing directed cycles of all lengths under very mild (local) algebraic assumptions. Using the result, we reprove the existence of a weakest non-trivial idempotent equations, and that a strongly connected digraph with algebraic length 1 compatible with a Taylor term has a loop.


title: Identifying Malicious Web Domains Using Machine Learning Techniques with Online Credibility and Performance Data

abstract: Malicious web domains represent a big threat to web users' privacy and security. With so much freely available data on the Internet about web domains' popularity and performance, this study investigated the performance of well-known machine learning techniques used in conjunction with this type of online data to identify malicious web domains. Two datasets consisting of malware and phishing domains were collected to build and evaluate the machine learning classifiers. Five single classifiers and four ensemble classifiers were applied to distinguish malicious domains from benign ones. In addition, a binary particle swarm optimisation (BPSO) based feature selection method was used to improve the performance of single classifiers. Experimental results show that, based on the web domains' popularity and performance data features, the examined machine learning techniques can accurately identify malicious domains in different ways. Furthermore, the BPSO-based feature selection procedure is shown to be an effective way to improve the performance of classifiers.


title: A visual encoding model based on deep neural networks and transfer learning

abstract: Background: Building visual encoding models to accurately predict visual responses is a central challenge for current vision-based brain-machine interface techniques. To achieve high prediction accuracy on neural signals, visual encoding models should include precise visual features and appropriate prediction algorithms. Most existing visual encoding models employ hand-craft visual features (e.g., Gabor wavelets or semantic labels) or data-driven features (e.g., features extracted from deep neural networks (DNN)). They also assume a linear mapping between feature representation to brain activity. However, it remains unknown whether such linear mapping is sufficient for maximizing prediction accuracy. New Method: We construct a new visual encoding framework to predict cortical responses in a benchmark functional magnetic resonance imaging (fMRI) dataset. In this framework, we employ the transfer learning technique to incorporate a pre-trained DNN (i.e., AlexNet) and train a nonlinear mapping from visual features to brain activity. This nonlinear mapping replaces the conventional linear mapping and is supposed to improve prediction accuracy on brain activity. Results: The proposed framework can significantly predict responses of over 20% voxels in early visual areas (i.e., V1-lateral occipital region, LO) and achieve unprecedented prediction accuracy. Comparison with Existing Methods: Comparing to two conventional visual encoding models, we find that the proposed encoding model shows consistent higher prediction accuracy in all early visual areas, especially in relatively anterior visual areas (i.e., V4 and LO). Conclusions: Our work proposes a new framework to utilize pre-trained visual features and train non-linear mappings from visual features to brain activity.


title: On the time evolution of fermionic occupation numbers

abstract: We derive an equation for the time evolution of the natural occupation numbers for fermionic systems with more than two electrons. The evolution of such numbers is connected with the symmetry-adapted generalized Pauli exclusion principle, as well as with the evolution of the natural orbitals and a set of many-body relative phases. We then relate the evolution of these phases to a geometrical and a dynamical term, attached to each one of the Slater determinants appearing in the configuration-interaction expansion of the wave function.


title: VCWE: Visual Character-Enhanced Word Embeddings

abstract: Chinese is a logographic writing system, and the shape of Chinese characters contain rich syntactic and semantic information. In this paper, we propose a model to learn Chinese word embeddings via three-level composition: (1) a convolutional neural network to extract the intra-character compositionality from the visual shape of a character; (2) a recurrent neural network with self-attention to compose character representation into word embeddings; (3) the Skip-Gram framework to capture non-compositionality directly from the contextual information. Evaluations demonstrate the superior performance of our model on four tasks: word similarity, sentiment analysis, named entity recognition and part-of-speech tagging.