title: Solving the distance discrepancy for the open cluster NGC 2453. The planetary nebula NGC 2452 is not a cluster member

abstract: The open cluster (OC) NGC 2453 is of particular importance since it has been considered to host the planetary nebula (PN) NGC 2452, however their distances and radial velocities are strongly contested. In order to obtain a complete picture of the fundamental parameters of the OC NGC 2453, 11 potential members were studied. The results allowed us to resolve the PN NGC 2452 membership debate. Radial velocities for the 11 stars in NGC 2453 and the PN were measured and matched with Gaia data release 2 (DR2) to estimate the cluster distance. In addition, we used deep multi-band UBVRI photometry to get fundamental parameters of the cluster via isochrone fitting on the most likely cluster members, reducing inaccuracies due to field stars.The distance of the OC NGC 2453 (4.7 $\pm$ 0.2 kpc) was obtained with an independent method solving the discrepancy reported in the literature. This result is in good agreement with an isochrone fitting of 40-50 Myr. On the other hand, the radial velocity of NGC 2453 ($78 \pm 3$ km s$^{-1}$) disagrees with the velocity of NGC2452 ($62 \pm 2$ km s$^{-1}$). Our results show that the PN is a foreground object in the line of sight. Due to the discrepancies found in the parameters studied, we conclude that the PN NGC 2452 is not a member of the OC NGC 2453.


title: Learning partial correlation graphs and graphical models by covariance queries

abstract: We study the problem of recovering the structure underlying large Gaussian graphical models or, more generally, partial correlation graphs. In high-dimensional problems it is often too costly to store the entire sample covariance matrix. We propose a new input model in which one can query single entries of the covariance matrix. We prove that it is possible to recover the support of the inverse covariance matrix with low query and computational complexity. Our algorithms work in a regime when this support is represented by tree-like graphs and, more generally, for graphs of small treewidth. Our results demonstrate that for large classes of graphs, the structure of the corresponding partial correlation graphs can be determined much faster than even computing the empirical covariance matrix.


title: On Decomposition Models in Imaging Sciences and Multi-time Hamilton-Jacobi Partial Differential Equations

abstract: This paper provides new theoretical connections between multi-time Hamilton-Jacobi partial differential equations and variational image decomposition models in imaging sciences. We show that the minimal values of these optimization problems are governed by multi-time Hamilton-Jacobi partial differential equations. The minimizers of these optimization problems can be represented using the momentum in the corresponding Hamilton-Jacobi partial differential equation. Moreover, variational behaviors of both the minimizers and the momentum are investigated as the regularization parameters approach zero. In addition, we provide a new perspective from convex analysis to prove the uniqueness of convex solutions to Hamilton-Jacobi equations. Finally we consider image decomposition models that do not have unique minimizers and we propose a regularization approach to perform the analysis using multi-time Hamilton-Jacobi partial differential equations.


title: LNL-FPC: The Linear/Non-linear Fixpoint Calculus

abstract: We describe a type system with mixed linear and non-linear recursive types called LNL-FPC (the linear/non-linear fixpoint calculus). The type system supports linear typing, which enhances the safety properties of programs, but also supports non-linear typing as well, which makes the type system more convenient for programming. Just as in FPC, we show that LNL-FPC supports type-level recursion, which in turn induces term-level recursion. We also provide sound and computationally adequate categorical models for LNL-FPC that describe the categorical structure of the substructural operations of Intuitionistic Linear Logic at all non-linear types, including the recursive ones. In order to do so, we describe a new technique for solving recursive domain equations within cartesian categories by constructing the solutions over pre-embeddings. The type system also enjoys implicit weakening and contraction rules that we are able to model by identifying the canonical comonoid structure of all non-linear types. We also show that the requirements of our abstract model are reasonable by constructing a large class of concrete models that have found applications not only in classical functional programming, but also in emerging programming paradigms that incorporate linear types, such as quantum programming and circuit description programming languages.


title: Meson-Hybrid Mixing in Vector ($1^{--}$) and Axial Vector ($1^{++}$) Charmonium

abstract: We study mixing between conventional and hybrid mesons in vector and axial vector charmonium using QCD Laplace sum-rules. We compute meson-hybrid cross correlators within the operator product expansion, taking into account condensate contributions up to and including those of dimension-six as well as composite operator renormalization-induced diagrams. Using measured masses of charmonium-like states as input, we probe known resonances for nonzero coupling to both conventional and hybrid meson currents, a signal for meson-hybrid mixing.


title: Error Tolerant Path Planning for Swarms of Micro Aerial Vehicles with Quality Amplification

abstract: We present an error tolerant path planning algorithm for Micro Aerial Vehicle (MAV) swarms. We assume navigation without GPS-like techniques. The MAVs find their path using sensors and cameras, identifying and following a series of visual landmarks. The visual landmarks lead the MAVs towards their destination. MAVs are assumed to be unaware of the terrain and locations of the landmarks. They hold a priori information about landmarks, whose interpretation is prone to errors. Errors are of two types, recognition or advice. Recognition errors follow from misinterpretation of sensed data or a priori information, or confusion of objects, e.g., due to faulty sensors. Advice errors are consequences of outdated or wrong information about landmarks, e.g., due to weather conditions. Our path planning algorithm is cooperative. MAVs communicate and exchange information wirelessly, to minimize the number of recognition and advice errors. Hence, the quality of the navigation decision process is amplified. Our solution successfully achieves an adaptive error tolerant navigation system. Quality amplification is parameterized with respect to the number of MAVs. We validate our approach with theoretical proofs and numeric simulations.


title: Ekar: An Explainable Method for Knowledge Aware Recommendation

abstract: This paper studies recommender systems with knowledge graphs, which can effectively address the problems of data sparsity and cold start. Recently, a variety of methods have been developed for this problem, which generally try to learn effective representations of users and items and then match items to users according to their representations. Though these methods have been shown quite effective, they lack good explanations, which are critical to recommender systems. In this paper, we take a different route and propose generating recommendations by finding meaningful paths from users to items. Specifically, we formulate the problem as a sequential decision process, where the target user is defined as the initial state, and the edges on the graphs are defined as actions. We shape the rewards according to existing state-of-the-art methods and then train a policy function with policy gradient methods. Experimental results on three real-world datasets show that our proposed method not only provides effective recommendations but also offers good explanations.


title: Local Exchangeability

abstract: Exchangeability -- in which the distribution of an infinite sequence is invariant to reorderings of its elements -- implies the existence of a simple conditional independence structure that may be leveraged in the design of statistical models and inference procedures. In this work, we study a relaxation of exchangeability in which this invariance need not hold precisely. We introduce the notion of local exchangeability -- where swapping data associated with nearby covariates causes a bounded change in the distribution. We prove that locally exchangeable processes correspond to independent observations from an underlying measure-valued stochastic process. Using this main probabilistic result, we show that the local empirical measure of a finite collection of observations provides an approximation of the underlying measure-valued process and Bayesian posterior predictive distributions. The paper concludes with applications of the main theoretical results to a model from Bayesian nonparametrics and covariate-dependent permutation tests.


title: Trajectory Generation for UAVs in Unknown Environments with Extreme Wind Disturbances

abstract: The widespread use of unmanned aerial vehicles (UAVs) by the military, commercial companies, and academia continues to push research for autonomous vehicle navigation, particularly in varying environmental conditions and beyond-line-of-sight (BLOS) applications. This article addresses trajectory generation for UAVs operating in extreme environments where the wind disturbances may exceed the vehicle's closed-loop stability bounds. To do this, a controller is developed that has two modes of operation: (1) normal mode, and (2) drift mode. In the normal mode the vehicle's thrust and sensor limitations are not exceeded by environmental conditions, whereas in the drift mode they are. In the drift mode, a drift frame that moves with the prevailing wind is established in which the vehicle maintains control authority to generate and track trajectories. The vehicle maintains control authority by relaxing the inertial frame trajectory tracking requirement and re-planning the trajectory in the drift frame. Guarantees are established to ensure tracking of the trajectory, collision avoidance, and respecting the vehicle thrust and sensor limitations. Simulation results demonstrate the algorithm properties through two scenarios. First, the performance of two quadrotors is compared where one utilizes the drift mode and the other does not. Second, multiple vehicles navigate through two narrow openings between protected and windy environments to demonstrate on-board updates to navigation parameters based on environmental conditions.


title: Output coupling from x-ray free-electron laser cavities with intracavity beam splitters

abstract: Permeable mirrors are typically used for coupling photons out of laser cavities. A similar approach was proposed for output coupling photons from the cavities of x-ray free-electron laser (XFEL) oscillators. One of the Bragg-reflecting crystal mirrors is thin, just a few extinction length, and is used as a permeable mirror. However, this method is very often limited to extractions of only a few tenths of the intracavity power. Other cavity-based XFELs, such as the high-gain regenerative amplifier XFEL, require much higher outcoupling efficiency. Here, alternative schemes are proposed and analyzed for coupling x-ray photons out of XFEL cavities using intracavity Bragg-reflecting, x-ray-transparent diamond crystal beam splitters. The intracavity beam splitters are efficient and flexible in terms of the amount of the power they are capable of coupling out of the cavity, an amount that can be varied promptly from zero to close to 100%. The schemes can be readily extended to multi-beam outcoupling.


title: Learning Belief Representations for Imitation Learning in POMDPs

abstract: We consider the problem of imitation learning from expert demonstrations in partially observable Markov decision processes (POMDPs). Belief representations, which characterize the distribution over the latent states in a POMDP, have been modeled using recurrent neural networks and probabilistic latent variable models, and shown to be effective for reinforcement learning in POMDPs. In this work, we investigate the belief representation learning problem for generative adversarial imitation learning in POMDPs. Instead of training the belief module and the policy separately as suggested in prior work, we learn the belief module jointly with the policy, using a task-aware imitation loss to ensure that the representation is more aligned with the policy's objective. To improve robustness of representation, we introduce several informative belief regularization techniques, including multi-step prediction of dynamics and action-sequences. Evaluated on various partially observable continuous-control locomotion tasks, our belief-module imitation learning approach (BMIL) substantially outperforms several baselines, including the original GAIL algorithm and the task-agnostic belief learning algorithm. Extensive ablation analysis indicates the effectiveness of task-aware belief learning and belief regularization.


title: Cation dependent electroosmotic flow in glass nanopores

abstract: We present our findings on the changes to electroosmotic flow outside glass nanopores with respect to the choice of Group 1 cation species. In contrast with standard electrokinetic theory, flow reversal was observed for all salts under a negative driving voltage. Moving down Group 1 resulted in weaker flow when the driving voltage was negative, in line with the reduction in the zeta potential on the glass surface going down the periodic table. No trend emerged with a positive driving voltage, however for Cs, flow was uniquely found to be in reverse. These results are explained by the interplay between the flow inside the nanopore and flow along the outer walls in the vicinity of the nanopore.


title: On the Secrecy Rate of Spatial Modulation Based Indoor Visible Light Communications

abstract: In this paper, we investigate the physical-layer security for a spatial modulation (SM) based indoor visible light communication (VLC) system, which includes multiple transmitters, a legitimate receiver, and a passive eavesdropper (Eve). At the transmitters, the SM scheme is employed, i.e., only one transmitter is active at each time instant. To choose the active transmitter, a uniform selection (US) scheme is utilized. Two scenarios are considered: one is with non-negativity and average optical intensity constraints, the other is with non-negativity, average optical intensity and peak optical intensity constraints. Then, lower and upper bounds on the secrecy rate are derived for these two scenarios. Besides, the asymptotic behaviors for the derived secrecy rate bounds at high signal-to-noise ratio (SNR) are analyzed. To further improve the secrecy performance, a channel adaptive selection (CAS) scheme and a greedy selection (GS) scheme are proposed to select the active transmitter. Numerical results show that the lower and upper bounds of the secrecy rate are tight. At high SNR, small asymptotic performance gaps exist between the derived lower and upper bounds. Moreover, the proposed GS scheme has the best performance, followed by the CAS scheme and the US scheme.


title: Image Retrieval and Pattern Spotting using Siamese Neural Network

abstract: This paper presents a novel approach for image retrieval and pattern spotting in document image collections. The manual feature engineering is avoided by learning a similarity-based representation using a Siamese Neural Network trained on a previously prepared subset of image pairs from the ImageNet dataset. The learned representation is used to provide the similarity-based feature maps used to find relevant image candidates in the data collection given an image query. A robust experimental protocol based on the public Tobacco800 document image collection shows that the proposed method compares favorably against state-of-the-art document image retrieval methods, reaching 0.94 and 0.83 of mean average precision (mAP) for retrieval and pattern spotting (IoU=0.7), respectively. Besides, we have evaluated the proposed method considering feature maps of different sizes, showing the impact of reducing the number of features in the retrieval performance and time-consuming.


title: Dynamic enlargement of a hole in a sheet: crater formation and propagation of cylindrical shock waves

abstract: Predicting the shape of a crater formed by high velocity impact is of interest in several fields. It can aid in design of more efficient protective structures, in forensic analysis of bullet holes, and in understanding the effects of meteorite impact in both space systems and in extreme geological events. In this paper we present, for the first time, a complete theoretical solution of the dynamic plane-stress problem. We consider the steady-state expansion of a cylindrical hole in a strain hardening elastoplastic sheet and find that a self-similar field emerges if the `specific cavitation energy' is constant. It is shown that at the quasistatic limit this solution reduces to available classical solutions, while at high expansion velocities shock waves can appear. Investigation of the constitutive sensitivities of the expansion field is conducted and compared with available results for the spherical field which is commonly applied to predict resistance to high velocity penetration. It is shown that shock waves appear at significantly lower expansion velocities, in the plane-stress deformation pattern, for which material compressibility is found to have a negligible effect. This insensitivity can be taken advantage of in the future for design of light weight protective layers by incorporating porosity.


title: Dynamics and correlations in Motzkin and Fredkin spin chains

abstract: The Motzkin and Fredkin quantum spin chains are described by frustration-free Hamiltonians recently introduced and studied because of their anomalous behaviors in the correlation functions and in the entanglement properties. In this paper we analyze their quantum dynamical properties, focusing in particular on the time evolution of the excitations driven by a quantum quench, looking at the correlations functions of spin operators defined along different directions, and discussing the results in relation with the cluster decomposition property.


title: Atom-in-jellium equations of state for cryogenic liquids

abstract: Equations of state (EOS) calculated from a computationally efficient atom-in-jellium treatment of the electronic structure have recently been shown to be consistent with more rigorous path integral Monte Carlo (PIMC) and quantum molecular dynamics (QMD) simulations of metals in the warm dense matter regime. Here we apply the atom-in-jellium model to predict wide-ranging EOS for the cryogenic liquid elements nitrogen, oxygen, and fluorine. The principal Hugoniots for these substances were surprisingly consistent with available shock data and Thomas-Fermi (TF) EOS for very high pressures, and exhibited systematic variations from TF associated with shell ionization effects, in good agreement with PIMC, though deviating from QMD and experiment in the molecular regime. The new EOS are accurate much higher in pressure than previous widely-used models for nitrogen and oxygen in particular, and should allow much more accurate predictions for oxides and nitrides in the liquid, vapor, and plasma regime, where these have previously been constructed as mixtures containing the older EOS.


title: Laser-plasma accelerated protons: energy increase in gas-mixtures using high mass number atomic species

abstract: The idea of using a gas-mixture comprising atoms with high mass number in order to increase proton energies in laser induced plasma acceleration at under critical density is investigated by means of 2D PIC (Particle-In-Cell) simulations. Comparing and discussing the case of a pure hydrogen plasma, and that of a plasma containing higher mass number species with a small percentage of hydrogen, we demonstrated that the mixture enhances the energies of the accelerated protons. We also show that using a gas-mixture introduces the possibility of using the densities ratio to change the relative acceleration of the species.


title: Spectral algebras and non-commutative Hodge-to-de Rham degeneration

abstract: We revisit the non-commutative Hodge-to-de Rham Degeneration Theorem of the first author, and present its proof in a somewhat streamlined and improved form that explicitly uses spectral algebraic geometry. We also try to explain why topology is essential to the proof.


title: Hubble constants and luminosity distance in the renormalized cosmological models due to general-relativistic second-order perturbations

abstract: Renormalized cosmological models based on the general-relativistic second-order perturbation theory were proposed in the previous papers to solve a tension on the observed Hubble constants. The cosmological random adiabatic fluctuations were found to play an important role as the first-order perturbations. The second-order metric perturbations in a previous paper are revised in the present paper. It is shown as a result that two types of Hubble constants (the kinematic constant H_kin and the dynamic constant H_dyn) are derived, and their values are found to be comparable, and larger than the background value. The optical quantities such as redshift and luminosity distance are derived using the revised metric perturbations.


title: Power Efficient Trajectory Optimization for the Cellular-Connected Aerial Vehicles

abstract: Aerial vehicles have recently attracted significant attention in a variety of commercial and civilian applications due to their high mobility, flexible deployment and cost-effectiveness. To leverage these promising features, the aerial users have to satisfy two critical requirements: First, they have to maintain a reliable communication link to the ground base stations (GBSs) throughout their flights, to support command and control data flows. Second, the aerial vehicles have to minimize their propulsion power consumption to remain functional until the end of their mission. In this paper, we study the trajectory optimization problem for an aerial user flying over an area including a set of GBSs. The objective of this problem is to find the trajectory of the aerial user so that the total propulsion-related power consumption of the aerial user is minimized while a cellular-connectivity constraint is satisfied. This problem is a non-convex mixed integer non-linear problem and hence, it is challenging to find the solution. To deal with, first, the problem is relaxed and reformulated to a more mathematically tractable form. Then, using successive convex approximation (SCA) technique, an iterative algorithm is proposed to convert the problem into a sequence of convex problems which can be solved efficiently.


title: Mumford-Shah functionals on graphs and their asymptotics

abstract: We consider adaptations of the Mumford-Shah functional to graphs. These are based on discretizations of nonlocal approximations to the Mumford-Shah functional. Motivated by applications in machine learning we study the random geometric graphs associated to random samples of a measure. We establish the conditions on the graph constructions under which the minimizers of graph Mumford-Shah functionals converge to a minimizer of a continuum Mumford-Shah functional. Furthermore we explicitly identify the limiting functional. Moreover we describe an efficient algorithm for computing the approximate minimizers of the graph Mumford-Shah functional.


title: Imprint of a Steep Equation of State in the growth of structure

abstract: We study the cosmological properties of a dynamical of dark energy (DE) component determined by a Steep Equation of State (SEoS) $w(z)=w_0+w_i\frac{(z/z_T)^q}{1+(z/z_T)^q}$. The SEoS has a transition at $z_T$ between two pivotal values ($w_i, w_0$) which can be taken as an early time and present day values of $w$ and the steepness is given by $q$. We describe the impact of this dynamical DE at background and perturbative level. The steepness of the transition has a better cosmological fit than a conventional CPL model with $w=w_0+w_a(1-a)$. Furthermore, we analyze the impact of steepness of the transition in the growth of matter perturbations and structure formation. This is manifest in the linear matter power spectrum, $P(k)$, the logarithmic growth function, $f\sigma_8(z)$, and the differential mass function $dn/d\log M(z=0)$. The differences in these last three quantities is at a percent-level using the same cosmological baseline parameters in our SEoS and a $\Lambda CDM$ model. However, we find an increase in the power spectrum, producing a bump at $k\approx k_T$ with $k_T\equiv a_TH(a_T)$ the mode associated to the time of the steep transition ($a_T = 1/(1+z_T)$). Different dynamics of DE lead to a different amount of DM at present time which has an impact in Power Spectrum and accordingly in structure formation.


title: On Indecomposable triples associated with nilpotent operators

abstract: We consider in this paper the family of triples $(V, T, U),$ where $ V$ is a finite dimensional space, $T $ is a nilpotent linear operator on $V$ and $U $ is an invariant subspace of $T$. Denote $[U]= ker(T_{|U})$, and $n_U= dim([U] )$. Our main goal is to investigate possible classification of indecomposable triples. The obtained classification depends on the order of nilpotency $p$, on $n_U$ and on $n_V$. Complete classifications are given for arbitrary $p$, when $n_U=1$, and when $n_U=2$ and $n_V \le 3$. The case $ p \le 5$, treated in \cite{ring} is recaptured by using constructive proofs based on linear algebra tools. The case $p\ge 6$, where the number of indecomposable triples is infinite, is also investigated.


title: Fractional-order Backpropagation Neural Networks: Modified Fractional-order Steepest Descent Method for Family of Backpropagation Neural Networks

abstract: This paper offers a novel mathematical approach, the modified Fractional-order Steepest Descent Method (FSDM) for training BackPropagation Neural Networks (BPNNs); this differs from the majority of the previous approaches and as such. A promising mathematical method, fractional calculus, has the potential to assume a prominent role in the applications of neural networks and cybernetics because of its inherent strengths such as long-term memory, nonlocality, and weak singularity. Therefore, to improve the optimization performance of classic first-order BPNNs, in this paper we study whether it could be possible to modified FSDM and generalize classic first-order BPNNs to modified FSDM based Fractional-order Backpropagation Neural Networks (FBPNNs). Motivated by this inspiration, this paper proposes a state-of-the-art application of fractional calculus to implement a modified FSDM based FBPNN whose reverse incremental search is in the negative directions of the approximate fractional-order partial derivatives of the square error. At first, the theoretical concept of a modified FSDM based FBPNN is described mathematically. Then, the mathematical proof of the fractional-order global optimal convergence, an assumption of the structure, and the fractional-order multi-scale global optimization of a modified FSDM based FBPNN are analysed in detail. Finally, we perform comparative experiments and compare a modified FSDM based FBPNN with a classic first-order BPNN, i.e., an example function approximation, fractional-order multi-scale global optimization, and two comparative performances with real data. The more efficient optimal searching capability of the fractional-order multi-scale global optimization of a modified FSDM based FBPNN to determine the global optimal solution is the major advantage being superior to a classic first-order BPNN.


title: Defending Against Adversarial Examples with K-Nearest Neighbor

abstract: Robustness is an increasingly important property of machine learning models as they become more and more prevalent. We propose a defense against adversarial examples based on a k-nearest neighbor (kNN) on the intermediate activation of neural networks. Our scheme surpasses state-of-the-art defenses on MNIST and CIFAR-10 against l2-perturbation by a significant margin. With our models, the mean perturbation norm required to fool our MNIST model is 3.07 and 2.30 on CIFAR-10. Additionally, we propose a simple certifiable lower bound on the l2-norm of the adversarial perturbation using a more specific version of our scheme, a 1-NN on representations learned by a Lipschitz network. Our model provides a nontrivial average lower bound of the perturbation norm, comparable to other schemes on MNIST with similar clean accuracy.


title: Learning Waveform-Based Acoustic Models using Deep Variational Convolutional Neural Networks

abstract: We investigate the potential of stochastic neural networks for learning effective waveform-based acoustic models. The waveform-based setting, inherent to fully end-to-end speech recognition systems, is motivated by several comparative studies of automatic and human speech recognition that associate standard non-adaptive feature extraction techniques with information loss which can adversely affect robustness. Stochastic neural networks, on the other hand, are a class of models capable of incorporating rich regularization mechanisms into the learning process. We consider a deep convolutional neural network that first decomposes speech into frequency sub-bands via an adaptive parametric convolutional block where filters are specified by cosine modulations of compactly supported windows. The network then employs standard non-parametric 1D convolutions to extract relevant spectro-temporal patterns while gradually compressing the structured high dimensional representation generated by the parametric block. We rely on a probabilistic parametrization of the proposed neural architecture and learn the model using stochastic variational inference. This requires evaluation of an analytically intractable integral defining the Kullback-Leibler divergence term responsible for regularization, for which we propose an effective approximation based on the Gauss-Hermite quadrature. Our empirical results demonstrate a superior performance of the proposed approach over comparable waveform-based baselines and indicate that it could lead to robustness. Moreover, the approach outperforms a recently proposed deep convolutional neural network for learning of robust acoustic models with standard FBANK features.


title: Observation of charge density wave transition in TaSe3 mesowires

abstract: The quasi-one-dimensional (quasi-1D) TaSe3 attracts considerable attention for its intriguing superconductivity and possible interplay with nontrivial topology and charge density wave (CDW) state. However, unlike the isostructural analogues, CDW has not been observed for TaSe3 despite its quasi-1D character that is supposed to promote Peierls instabilities and CDW. Here we synthesize TaSe3 mesowires (MWs) using a one-step approach. For the MW of ~300 nm thick, a distinct CDW transition occurs at 65 K in the resistivity measurement, which has not been reported before and is further evidenced by the Raman characterization and susceptibility measurement. For comparison, we have also prepared bulk single crystal TaSe3. Although no anomaly appears in the resistivity and magnetoresistance measurements, the carrier type detected by Hall effect varies from n-type to p-type below 50 K, suggesting a reconstruction of Fermi surface that could be associated with CDW. The enhancement of CDW in the MWs is attributed to the reduced dimensionality. TaSe3 is demonstrated to be a promising platform to study the correlation and competition of CDW and superconductivity in the quasi-1D systems.


title: Neural networks with motivation

abstract: How can animals behave effectively in conditions involving different motivational contexts? Here, we propose how reinforcement learning neural networks can learn optimal behavior for dynamically changing motivational salience vectors. First, we show that Q-learning neural networks with motivation can navigate in environment with dynamic rewards. Second, we show that such networks can learn complex behaviors simultaneously directed towards several goals distributed in an environment. Finally, we show that in Pavlovian conditioning task, the responses of the neurons in our model resemble the firing patterns of neurons in the ventral pallidum (VP), a basal ganglia structure involved in motivated behaviors. We show that, similarly to real neurons, recurrent networks with motivation are composed of two oppositely-tuned classes of neurons, responding to positive and negative rewards. Our model generates predictions for the VP connectivity. We conclude that networks with motivation can rapidly adapt their behavior to varying conditions without changes in synaptic strength when expected reward is modulated by motivation. Such networks may also provide a mechanism for how hierarchical reinforcement learning is implemented in the brain.


title: Learning Activation Functions: A new paradigm for understanding Neural Networks

abstract: The scope of research in the domain of activation functions remains limited and centered around improving the ease of optimization or generalization quality of neural networks (NNs). However, to develop a deeper understanding of deep learning, it becomes important to look at the non linear component of NNs more carefully. In this paper, we aim to provide a generic form of activation function along with appropriate mathematical grounding so as to allow for insights into the working of NNs in future. We propose "Self-Learnable Activation Functions" (SLAF), which are learned during training and are capable of approximating most of the existing activation functions. SLAF is given as a weighted sum of pre-defined basis elements which can serve for a good approximation of the optimal activation function. The coefficients for these basis elements allow a search in the entire space of continuous functions (consisting of all the conventional activations). We propose various training routines which can be used to achieve performance with SLAF equipped neural networks (SLNNs). We prove that SLNNs can approximate any neural network with lipschitz continuous activations, to any arbitrary error highlighting their capacity and possible equivalence with standard NNs. Also, SLNNs can be completely represented as a collections of finite degree polynomial upto the very last layer obviating several hyper parameters like width and depth. Since the optimization of SLNNs is still a challenge, we show that using SLAF along with standard activations (like ReLU) can provide performance improvements with only a small increase in number of parameters.


title: Chemical-potential Multiphase Lattice Boltzmann Method with Superlarge Density Ratios

abstract: The liquid-gas density ratio is a key property of multiphase flow methods to model real fluid systems. Here, a chemical-potential multiphase lattice Boltzmann method is constructed to realize extremely large density ratios. The simulations show that the method reaches very low temperatures, at which the liquid-gas density ratio is more than 10^14, while the thermodynamic consistency is still preserved. Decoupling the mesh space from the momentum space through a proportional coefficient, a smaller mesh step provides denser lattice nodes to exactly describe the transition region and the resulting dimensional transformation has no loss of accuracy. A compact finite-difference method is applied to calculate the discrete derivatives in the mesh space with high-order accuracy. These enhance the computational accuracy of the nonideal force and suppress the spurious currents to a very low level, even if the density ratio is up to tens of thousands. The simulation of drop splashing verifies that the present model is Galilean invariant for dynamic flow field. An upper limit of the chemical potential is used to reduce the influence of nonphysical factors and improve the stability.


title: Bias Correction of Learned Generative Models using Likelihood-Free Importance Weighting

abstract: A learned generative model often produces biased statistics relative to the underlying data distribution. A standard technique to correct this bias is importance sampling, where samples from the model are weighted by the likelihood ratio under model and true distributions. When the likelihood ratio is unknown, it can be estimated by training a probabilistic classifier to distinguish samples from the two distributions. We employ this likelihood-free importance weighting method to correct for the bias in generative models. We find that this technique consistently improves standard goodness-of-fit metrics for evaluating the sample quality of state-of-the-art deep generative models, suggesting reduced bias. Finally, we demonstrate its utility on representative applications in a) data augmentation for classification using generative adversarial networks, and b) model-based policy evaluation using off-policy data.


title: Smaller Text Classifiers with Discriminative Cluster Embeddings

abstract: Word embedding parameters often dominate overall model sizes in neural methods for natural language processing. We reduce deployed model sizes of text classifiers by learning a hard word clustering in an end-to-end manner. We use the Gumbel-Softmax distribution to maximize over the latent clustering while minimizing the task loss. We propose variations that selectively assign additional parameters to words, which further improves accuracy while still remaining parameter-efficient.


title: Efficient Implementation of Second-Order Stochastic Approximation Algorithms in High-Dimensional Problems

abstract: Stochastic approximation (SA) algorithms have been widely applied in minimization problems when the loss functions and/or the gradient information are only accessible through noisy evaluations. Stochastic gradient (SG) descent---a first-order algorithm and a workhorse of much machine learning---is perhaps the most famous form of SA. Among all SA algorithms, the second-order simultaneous perturbation stochastic approximation (2SPSA) and the second-order stochastic gradient (2SG) are particularly efficient in handling high-dimensional problems, covering both gradient-free and gradient-based scenarios. However, due to the necessary matrix operations, the per-iteration floating-point-operations (FLOPs) cost of the standard 2SPSA/2SG is $O(p^3)$, where $p$ is the dimension of the underlying parameter. Note that the $O(p^3)$ FLOPs cost is distinct from the classical SPSA-based per-iteration $O(1)$ cost in terms of the number of noisy function evaluations. In this work, we propose a technique to efficiently implement the 2SPSA/2SG algorithms via the symmetric indefinite matrix factorization and show that the FLOPs cost is reduced from $O(p^3)$ to $O(p^2)$. The formal almost sure convergence and rate of convergence for the newly proposed approach are directly inherited from the standard 2SPSA/2SG. The improvement in efficiency and numerical stability is demonstrated in two numerical studies.


title: Measurement of $\gamma$ rays from the giant resonances excited by $^{12}$C$(p,p')$ reaction at 392 MeV and 0$^{\circ}$

abstract: We measured both the differential cross section ($\sigma_{p,p^\prime}$ $=d^2\sigma/d\Omega dE_{x}$) and the $\gamma$-ray emission probability ($R_\gamma(E_x)$ $=\sigma_{p,p^\prime\gamma}$/$\sigma_{p,p^\prime}$) from the giant resonances excited by $\rm^{12}C$(\textit{p,p}$^\prime$) reaction at 392 MeV and 0$^\circ$, using a magnetic spectrometer and an array of NaI(Tl) counters. The absolute value of $R_\gamma(E_x)$ was calibrated by using the well-known $\gamma$-ray emission probability from $\rm^{12}C^* ( 15.11$ MeV, $ 1^+$, $T=1$) and $\rm^{16}O^* ( 6.9$ MeV, $2^+$, $T=0$) states within 5\% uncertainty. We found that $R_\gamma(E_x)$ starts from zero at $E_x=16$ MeV, increases to a maximum of 53.3$\pm$0.4$\pm$3.9\% at $E_x=27$ MeV and then decreases. We also compared the measured values of $R_\gamma(E_x)$ with statistical model calculation based on the Hauser-Feshbach formalism in the energy region $E_x=$ 16-32 MeV and discussed the features of $\gamma$-ray emission probability quantitatively.


title: Variational Sequential Labelers for Semi-Supervised Learning

abstract: We introduce a family of multitask variational methods for semi-supervised sequence labeling. Our model family consists of a latent-variable generative model and a discriminative labeler. The generative models use latent variables to define the conditional probability of a word given its context, drawing inspiration from word prediction objectives commonly used in learning word embeddings. The labeler helps inject discriminative information into the latent space. We explore several latent variable configurations, including ones with hierarchical structure, which enables the model to account for both label-specific and word-specific information. Our models consistently outperform standard sequential baselines on 8 sequence labeling datasets, and improve further with unlabeled data.


title: Inferring Latent dimension of Linear Dynamical System with Minimum Description Length

abstract: Time-invariant linear dynamical system arises in many real-world applications,and its usefulness is widely acknowledged. A practical limitation with this model is that its latent dimension that has a large impact on the model capability needs to be manually specified. It can be demonstrated that a lower-order model class could be totally nested into a higher-order class, and the corresponding likelihood is nondecreasing. Hence, criterion built on the likelihood is not appropriate for model selection. This paper addresses the issue and proposes a criterion for linear dynamical system based on the principle of minimum description length. The latent structure, which is omitted in previous work, is explicitly considered in this newly proposed criterion. Our work extends the principle of minimum description length and demonstrates its effectiveness in the tasks of model training. The experiments on both univariate and multivariate sequences confirm the good performance of our newly proposed method.


title: Algebraic Statistics in Practice: Applications to Networks

abstract: Algebraic statistics uses tools from algebra (especially from multilinear algebra, commutative algebra and computational algebra), geometry and combinatorics to provide insight into knotty problems in mathematical statistics. In this survey we illustrate this on three problems related to networks, namely network models for relational data, causal structure discovery and phylogenetics. For each problem we give an overview of recent results in algebraic statistics with emphasis on the statistical achievements made possible by these tools and their practical relevance for applications to other scientific disciplines.


title: On the non-existence of $\kappa$-mad families

abstract: Starting from a model with a Laver-indestructible supercompact cardinal $\kappa$, we construct a model of $ZF+DC_{\kappa}$ where there are no $\kappa$-mad families.


title: Deep urban unaided precise Global Navigation Satellite System vehicle positioning

abstract: This paper presents the most thorough study to date of vehicular carrier-phase differential GNSS (CDGNSS) positioning performance in a deep urban setting unaided by complementary sensors. Using data captured during approximately 2 hours of driving in and around the dense urban center of Austin, TX, a CDGNSS system is demonstrated to achieve 17-cm-accurate 3D urban positioning (95% probability) with solution availability greater than 87%. The results are achieved without any aiding by inertial, electro-optical, or odometry sensors. Development and evaluation of the unaided GNSS-based precise positioning system is a key milestone toward the overall goal of combining precise GNSS, vision, radar, and inertial sensing for all-weather high-integrity high-absolute-accuracy positioning for automated and connected vehicles. The system described and evaluated herein is composed of a densely-spaced reference network, a software-defined GNSS receiver, and a real-time kinematic (RTK) positioning engine. A performance sensitivity analysis reveals that navigation data wipeoff for fully-modulated GNSS signals and a dense reference network are key to high-performance urban RTK positioning. A comparison with existing unaided systems for urban GNSS processing indicates that the proposed system has significantly greater availability or accuracy.


title: Multi-Scale Attentional Network for Multi-Focal Segmentation of Active Bleed after Pelvic Fractures

abstract: Trauma is the worldwide leading cause of death and disability in those younger than 45 years, and pelvic fractures are a major source of morbidity and mortality. Automated segmentation of multiple foci of arterial bleeding from abdominopelvic trauma CT could provide rapid objective measurements of the total extent of active bleeding, potentially augmenting outcome prediction at the point of care, while improving patient triage, allocation of appropriate resources, and time to definitive intervention. In spite of the importance of active bleeding in the quick tempo of trauma care, the task is still quite challenging due to the variable contrast, intensity, location, size, shape, and multiplicity of bleeding foci. Existing work [4] presents a heuristic rule-based segmentation technique which requires multiple stages and cannot be efficiently optimized end-to-end. To this end, we present, Multi-Scale Attentional Network (MSAN), the first yet reliable end-to-end network, for automated segmentation of active hemorrhage from contrast-enhanced trauma CT scans. MSAN consists of the following components: 1) an encoder which fully integrates the global contextual information from holistic 2D slices; 2) a multi-scale strategy applied both in the training stage and the inference stage to handle the challenges induced by variation of target sizes; 3) an attentional module to further refine the deep features, leading to better segmentation quality; and 4) a multi-view mechanism to fully leverage the 3D information. Our MSAN reports a significant improvement of more than 7% compared to prior arts in terms of DSC.


title: A Uniform Approach to Random Process Model

abstract: There is a lot of research on probabilistic transition systems. There are not many studies in probabilistic process models. The lack of investigation into the interactive aspect of probabilistic processes is mainly due to the difficulty caused by the discrepancy between probabilistic actions and nondeterministic behaviours. The paper proposes a uniform approach to probabilistic process models and a bisimulation congruence for probabilistic concurrency.


title: New Optimal $Z$-Complementary Code Sets from Matrices of Polynomials

abstract: The concept of paraunitary (PU) matrices arose in the early 1990s in the study of multi-rate filter banks. So far, these matrices have found wide applications in cryptography, digital signal processing, and wireless communications. Existing PU matrices are subject to certain constraints on their existence and hence their availability is not guaranteed in practice. Motivated by this, for the first time, we introduce a novel concept, called $Z$-paraunitary (ZPU) matrix, whose orthogonality is defined over a matrix of polynomials with identical degree not necessarily taking the maximum value. We show that there exists an equivalence between a ZPU matrix and a $Z$-complementary code set when the latter is expressed as a matrix with polynomial entries. Furthermore, we investigate some important properties of ZPU matrices, which are useful for the extension of matrix sizes and sequence lengths. Finally, we propose a unifying construction framework for optimal ZPU matrices which includes existing PU matrices as a special case.


title: Cross-lingual Data Transformation and Combination for Text Classification

abstract: Text classification is a fundamental task for text data mining. In order to train a generalizable model, a large volume of text must be collected. To address data insufficiency, cross-lingual data may occasionally be necessary. Cross-lingual data sources may however suffer from data incompatibility, as text written in different languages can hold distinct word sequences and semantic patterns. Machine translation and word embedding alignment provide an effective way to transform and combine data for cross-lingual data training. To the best of our knowledge, there has been little work done on evaluating how the methodology used to conduct semantic space transformation and data combination affects the performance of classification models trained from cross-lingual resources. In this paper, we systematically evaluated the performance of two commonly used CNN (Convolutional Neural Network) and RNN (Recurrent Neural Network) text classifiers with differing data transformation and combination strategies. Monolingual models were trained from English and French alongside their translated and aligned embeddings. Our results suggested that semantic space transformation may conditionally promote the performance of monolingual models. Bilingual models were trained from a combination of both English and French. Our results indicate that a cross-lingual classification model can significantly benefit from cross-lingual data by learning from translated or aligned embedding spaces.


title: A Reliability-Oriented Cost Optimisation Method for Capacity Planning of a Multi-Carrier Micro-Grid: A Case Study of Stewart Island, New Zealand

abstract: Nearly all types of energy systems (such as power systems, natural gas supply systems, fuel supply systems, and so forth) are going through a major transition from centralised, top-down structures to distributed, clean energy approaches in order to address the concerns regarding climate change, air quality, depletion of natural resources, and energy security, whilst also enabling the supply of energy to communities in line with the goals of sustainable development. Accordingly, the establishment of the concept of sustainable, decentralised, multi-carrier energy systems, together with the declining costs of renewable energy technologies, has proposed changes in the energy industry towards the development of integrated energy systems. Notwithstanding the potential benefits, the optimal capacity planning of these systems with multiple energy carriers (such as electricity, heat, hydrogen, and biogas) is exceedingly complex due to the concurrent goals and interrelated constraints that must be satisfied, as well as the heavily context-dependent nature of such schemes. This paper puts forward an innovative optimal capacity planning method for a cutting-edge, stand-alone multiple energy carrier micro-grid (MECM) serving the electricity, hot water, and transportation fuel demands of remote communities. The proposed MECM system is equipped with wind turbines, a hydrogen sub-system (including an electrolyser, a hydrogen reservoir, and a fuel cell), a hybrid super-capacitor/battery energy storage system, a hot water storage tank, a heat exchanger, an inline electric heater, a hydrogen refuelling station, and some power converters. A numerical case study for the optimal capacity planning of the suggested MECM configuration, to be realised on Stewart Island, New Zealand, is presented to evaluate the effectiveness of the proposed optimisation method.


title: Coherent modulation of the electron temperature and electron-phonon couplings in a 2D material

abstract: Ultrashort light pulses can selectively excite charges, spins and phonons in materials, providing a powerful approach for manipulating their properties. Here we use femtosecond laser pulses to coherently manipulate the electron and phonon distributions, and their couplings, in the charge density wave (CDW) material 1T-TaSe$_2$. After exciting the material with a short light pulse, spatial smearing of the electrons launches a coherent lattice breathing mode, which in turn modulates the electron temperature. This indicates a bi-directional energy exchange between the electrons and the strongly-coupled phonons. By tuning the laser excitation fluence, we can control the magnitude of the electron temperature modulation, from ~ 200 K in the case of weak excitation, to ~ 1000 K for strong laser excitation. This is accompanied by a switching of the dominant mechanism from anharmonic phonon-phonon coupling to coherent electron-phonon coupling, as manifested by a phase change of $\pi$ in the electron temperature modulation. Our approach thus opens up possibilities for coherently manipulating the interactions and properties of quasi-2D and other quantum materials using light.


title: Experimental Security Analysis of Controller Software in SDNs: A Review

abstract: The software defined networking paradigm relies on the programmability of the network to automatically perform management and reconfiguration tasks. The result of adopting this programmability feature is twofold: first by designing new solutions and, second, by concurrently making room for the exploitation of new security threats. As a malfunction in the controller software may lead to a collapse of the network, assessing the security of solutions before their deployment, is a major concern in SDNs. In light of this, we have conducted a comprehensive review of the literature on the experimental security analysis of the control plane in SDNs, with an emphasis on vulnerabilities of the controller software. Additionally, we have introduced a taxonomy of the techniques found in the literature with regard to the experimental security analysis of SDN controller software. Furthermore, a comparative study has been carried out of existing experimental approaches considering the security requirements defined by the Open Network Foundation (ONF). As a result, we highlighted that there is a need for a standardization of the methodologies employed for automated security analysis, that can meet the appropriate requirements, and support the development of reliable and secure software for SDNs.


title: Semidiscrete quantum droplets and vortices

abstract: We consider a binary bosonic condensate with weak mean-field (MF) residual repulsion, loaded in an array of nearly one-dimensional traps coupled by transverse hopping. With the MF force balanced by the effectively one-dimensional attraction, induced in each trap by the Lee-Hung-Yang correction (produced by quantum fluctuations around the MF state), stable onsite-centered and intersite-centered semi-discrete quantum droplets (QDs) emerge in the array, as fundamental ones and self-trapped vortices, with winding numbers, at least, up to 5, in both tightly-bound and quasi-continuum forms. The application of a relatively strong trapping potential leads to squeezing transitions, which increase the number of sites in fundamental QDs, and eventually replace vortex modes by fundamental or dipole ones. The results provide the first realization of stable semi-discrete vortex QDs, including ones with multiple vorticity.


title: Computation Offloading and Resource Allocation for Backhaul Limited Cooperative MEC Systems

abstract: In this paper, we jointly optimize computation offloading and resource allocation to minimize the weighted sum of energy consumption of all mobile users in a backhaul limited cooperative MEC system with multiple fog servers. Considering the partial offloading strategy and TDMA transmission at each base station, the underlying optimization problem with constraints on maximum task latency and limited computation resource at mobile users and fog servers is non-convex. We propose to convexify the problem exploiting the relationship among some optimization variables from which an optimal algorithm is proposed to solve the resulting problem. We then present numerical results to demonstrate the significant gains of our proposed design compared to conventional designs without exploiting cooperation among fog servers and a greedy algorithm.


title: Fully Automatic Liver Attenuation Estimation Combing CNN Segmentation and Morphological Operations

abstract: Manually tracing regions of interest (ROIs) within the liver is the de facto standard method for measuring liver attenuation on computed tomography (CT) in diagnosing nonalcoholic fatty liver disease (NAFLD). However, manual tracing is resource intensive. To address these limitations and to expand the availability of a quantitative CT measure of hepatic steatosis, we propose the automatic liver attenuation ROI-based measurement (ALARM) method for automated liver attenuation estimation. The ALARM method consists of two major stages: (1) deep convolutional neural network (DCNN)-based liver segmentation and (2) automated ROI extraction. First, liver segmentation was achieved using our previously developed SS-Net. Then, a single central ROI (center-ROI) and three circles ROI (periphery-ROI) were computed based on liver segmentation and morphological operations. The ALARM method is available as an open source Docker container (https://github.com/MASILab/ALARM).246 subjects with 738 abdomen CT scans from the African American-Diabetes Heart Study (AA-DHS) were used for external validation (testing), independent from the training and validation cohort (100 clinically acquired CT abdominal scans).


title: Reinforcement Learning-Based Trajectory Design for the Aerial Base Stations

abstract: In this paper, the trajectory optimization problem for a multi-aerial base station (ABS) communication network is investigated. The objective is to find the trajectory of the ABSs so that the sum-rate of the users served by each ABS is maximized. To reach this goal, along with the optimal trajectory design, optimal power and sub-channel allocation is also of great importance to support the users with the highest possible data rates. To solve this complicated problem, we divide it into two sub-problems: ABS trajectory optimization sub-problem, and joint power and sub-channel assignment sub-problem. Then, based on the Q-learning method, we develop a distributed algorithm which solves these sub-problems efficiently, and does not need significant amount of information exchange between the ABSs and the core network. Simulation results show that although Q-learning is a model-free reinforcement learning technique, it has a remarkable capability to train the ABSs to optimize their trajectories based on the received reward signals, which carry decent information from the topology of the network.


title: Confidence Calibration for Convolutional Neural Networks Using Structured Dropout

abstract: In classification applications, we often want probabilistic predictions to reflect confidence or uncertainty. Dropout, a commonly used training technique, has recently been linked to Bayesian inference, yielding an efficient way to quantify uncertainty in neural network models. However, as previously demonstrated, confidence estimates computed with a naive implementation of dropout can be poorly calibrated, particularly when using convolutional networks. In this paper, through the lens of ensemble learning, we associate calibration error with the correlation between the models sampled with dropout. Motivated by this, we explore the use of structured dropout to promote model diversity and improve confidence calibration. We use the SVHN, CIFAR-10 and CIFAR-100 datasets to empirically compare model diversity and confidence errors obtained using various dropout techniques. We also show the merit of structured dropout in a Bayesian active learning application.


title: A Cratered Photonic Crystal Cavity Mode for Nonlocal Exciton-Photon Interactions

abstract: Optical nanocavities for coherent interfaces usually have their electric field maximum at the center point, which normally benefits interactions with small local quantum emitters. Here, we propose a partial thickness modulation on 2D slab photonic crystal cavities for a cratered cavity mode function to improve nonlocal interactions. The thickness modulation is applied around the central region, and has little effect on the fringe electric field, which determines the coupling to waveguides or other cavities. Furthermore, the partial modulation enhances the cratered electric field at positions that are distant from the center point. Therefore, interactions with multiple separated emitters are simultaneously enhanced, and the interaction with a large emitter beyond the dipole approximation is also doubled. The improvement of the nonlocal interactions demonstrates a great potential for the cratered cavity mode profile for applications in quantum photonic networks.


title: The impact of asymmetric neutrino emissions on nucleosynthesis in core-collapse supernovae

abstract: We investigate the impact of asymmetric neutrino emissions on the explosive nucleosynthesis in neutrino-driven core-collapse supernovae (CCSNe). We find that the asymmetric emissions tend to yield larger amounts of proton-rich ejecta (electron fraction, $Y_e > 0.51$) in the hemisphere of the higher $\nu_{\rm e}$ emissions, meanwhile neutron-rich matter ($Y_e < 0.49$) are ejected in the opposite hemisphere of the higher ${\bar \nu}_{\rm e}$ emissions. For larger asymmetric cases with $\ge 30\%$, the neutron-rich ejecta is abundantly produced, in which there are too much elements heavier than Zn compared to the solar abundances. This may place an upper limit of the asymmetric neutrino emissions in CCSNe. The characteristic features are also observed in elemental distribution; (1) abundances lighter than Ca are insensitive to the asymmetric neutrino emissions: (2) the production of Zn and Ge is larger in the neutron-rich ejecta even for smaller asymmetric cases with $\le 10\%$. We discuss these observational consequences, which may account for the (anti-)correlations among asymmetries of heavy elements and neutron star kicks in supernova remnants (SNRs). Future SNR observations of the direct measurement for the mass and spatial distributions of $\alpha$ elements, Fe, Zn and Ge will provide us the information on the asymmetric degree of neutrino emissions.


title: Swift UVOT Grism Observations of Nearby Type Ia Supernovae -- II. Probing the Progenitor Metallicity of SNe Ia with Ultraviolet Spectra

abstract: Ultraviolet (UV) observations of Type Ia supernovae (SNe Ia) are crucial for constraining the properties of their progenitor systems. Theoretical studies predicted that the UV spectra, which probe the outermost layers of a SN, should be sensitive to the metal content of the progenitor. Using the largest SN Ia UV (lambda<2900 A) spectroscopic sample obtained from Neil Gehrels Swift Observatory, we investigate the dependence of UV spectra on metallicity. For the first time, our results reveal a correlation (~2 sigma) between SN Ia UV flux and host-galaxy metallicities, with SNe in more metal-rich galaxies (which are likely to have higher progenitor metallicities) having lower UV flux level. We find that this metallicity effect is only significant at short wavelengths (lambda<2700 A), which agrees well with the theoretical predictions. We produce UV spectral templates for SNe Ia at peak brightness. With our sample, we could disentangle the effect of light-curve shape and metallicity on the UV spectra. We also examine the correlation between the UV spectra and SN luminosities as parameterised by Hubble residuals. However, we do not see a significant trend with Hubble residuals. This is probably due to the large uncertainties in SN distances, as the majority of our sample members are extremely nearby (redshift z<0.01). Future work with SNe discovered in the Hubble flow will be necessary to constrain a potential metallicity bias on SN Ia cosmology.


title: The Differences Between Consecutive Primes. V

abstract: We show that \[\sum_{\substack{p_n\le x\\ p_{n+1}-p_n\ge\sqrt{p_n}}}(p_{n+1}-p_n)\ll_{\varepsilon} x^{3/5+\varepsilon}\] for any fixed $\varepsilon>0$. This improves a result of Matom\"{a}ki, in which the exponent was $2/3$.


title: DAL: Dual Adversarial Learning for Dialogue Generation

abstract: In open-domain dialogue systems, generative approaches have attracted much attention for response generation. However, existing methods are heavily plagued by generating safe responses and unnatural responses. To alleviate these two problems, we propose a novel framework named Dual Adversarial Learning (DAL) for high-quality response generation. DAL is the first work to innovatively utilizes the duality between query generation and response generation to avoid safe responses and increase the diversity of the generated responses. Additionally, DAL uses adversarial learning to mimic human judges and guides the system to generate natural responses. Experimental results demonstrate that DAL effectively improves both diversity and overall quality of the generated responses. DAL outperforms the state-of-the-art methods regarding automatic metrics and human evaluations.


title: Posterior-Guided Neural Architecture Search

abstract: The emergence of neural architecture search (NAS) has greatly advanced the research on network design. Recent proposals such as gradient-based methods or one-shot approaches significantly boost the efficiency of NAS. In this paper, we formulate the NAS problem from a Bayesian perspective. We propose explicitly estimating the joint posterior distribution over pairs of network architecture and weights. Accordingly, a hybrid network representation is presented which enables us to leverage the Variational Dropout so that the approximation of the posterior distribution becomes fully gradient-based and highly efficient. A posterior-guided sampling method is then presented to sample architecture candidates and directly make evaluations. As a Bayesian approach, our posterior-guided NAS (PGNAS) avoids tuning a number of hyper-parameters and enables a very effective architecture sampling in posterior probability space. Interestingly, it also leads to a deeper insight into the weight sharing used in the one-shot NAS and naturally alleviates the mismatch between the sampled architecture and weights caused by the weight sharing. We validate our PGNAS method on the fundamental image classification task. Results on Cifar-10, Cifar-100 and ImageNet show that PGNAS achieves a good trade-off between precision and speed of search among NAS methods. For example, it takes 11 GPU days to search a very competitive architecture with 1.98% and 14.28% test errors on Cifar10 and Cifar100, respectively.


title: New sharp necessary optimality conditions for mathematical programs with equilibrium constraints

abstract: In this paper, we study the mathematical program with equilibrium constraints (MPEC) formulated as a mathematical program with a parametric generalized equation involving the regular normal cone. We derive a new necessary optimality condition which is sharper than the usual M-stationary condition and is applicable even when no constraint qualifications hold for the corresponding mathematical program with complementarity constraints (MPCC) reformulation.


title: A Quark-Nova in the wake of a core-collapse Supernova: a unifying model for long duration Gamma-Ray Bursts and Fast Radio Bursts

abstract: [Abridged] By appealing to a Quark-Nova (QN; the explosive transition of a neutron star to a quark star) in the wake of a core-collapse Supernova explosion of a massive star, we develop a unified model for long duration Gamma-ray Bursts (LGRBs) and Fast Radio Bursts (FRBs). The time delay (years to decades) between the SN and the QN and, the fragmented nature (i.e. millions of chunks) of the relativistic QN ejecta are key to yielding a robust LGRB engine. In our model, a LGRB light-curve exhibits the interaction of the fragmented QN ejecta with a turbulent (i.e. filamentary and magnetically saturated) SN ejecta which is shaped by its interaction with an underlying pulsar wind nebula (PWN). The afterglow is due to the interaction of the QN chunks, exiting the SN ejecta, with the surrounding medium. Our model can fit BAT/XRT prompt and afterglow light-curves, simultaneously with their spectra, thus yielding the observed properties of LGRBs (e.g. the Band function and the X-ray flares). We find that the Yonetoku law and the Amati law are not fundamental but phenomenological. FRBs result from coherent synchrotron emission when the QN chunks interact with non-turbulent weakly magnetized PWN-SN ejecta, where conditions are prone to the Weibel instability. Magnetic field amplification induced by the Weibel instability sets the bunching length for electrons and pairs to radiate coherently. The resulting emission frequency, luminosity, duration and dispersion measure in our model are consistent with FRB data. We find a natural unification of high-energy burst phenomena from FRBs to LGRBs including X-ray Flashes and X-ray rich GRBs as well as Super-Luminous SNe. We find a possible connection between Ultra-High Energy Cosmic Rays and FRBs and propose that a QN following a binary neutron star merger can yield a short GRB (SGRB) with fits to BAT/XRT light-curves.


title: Retrial Queueing Models: A Survey on Theory and Applications

abstract: Retrial phenomenon naturally arises in various systems such as call centers, cellular networks and random access protocols in local area networks. This paper gives a comprehensive survey on theory and applications of retrial queues in these systems. We investigate the state of the art of the theoretical researches including exact solutions, stability, asymptotic analyses and multidimensional models. We present an overview on retrial models arising from real world applications. Some open problems and promising research directions are also discussed.


title: On the Role of Counterterms in Holographic Complexity

abstract: We consider the Complexity=Action (CA) proposal in Einstein gravity and investigate new counterterms which are able to remove all the UV divergences of holographic complexity. We first show that the two different methods for regularizing the gravitational on-shell action proposed in Ref. \cite{Carmi:2016wjl} are completely equivalent, provided that one considers the Gibbons-Hawking-York term as well as new counterterms inspired from holographic renormalization on timelike boundaries of the WDW patch. Next, we introduce new counterterms on the null boundaries of the WDW patch for four and five dimensional asymptotically AdS spacetimes which are able to remove all the UV divergences of the on-shell action. Moreover, they are covariant and do not change the equations of motion. At the end, by applying the null counterterms, we calculate the holographic complexity of an AdS-Schwarzschild black hole as well as the complexity of formation. We show that the null counterterms do not change the complexity of formation.


title: Nuclear modification of jet shape for inclusive jets and $\gamma$-jets at the LHC energies

abstract: With our coupled jet-fluid model, we study the nuclear modifications of full jets and jet structures for single inclusive jets and $\gamma$-jets in Pb+Pb collisions at $5.02$~ATeV and $2.76$~ATeV. The in-medium evolution of full jet shower is described by a set of coupled transport equations including the effects of collisional energy loss, transverse momentum broadening and medium-induced splitting process. The dynamical evolution of bulk medium is simulated by solving relativistic hydrodynamic equation with source term which accounts for the energy and momentum deposited by hard jet shower to soft medium. Our study demonstrates that the hydrodynamic medium response to jet propagation significantly enhances the broadening of jet shape at large angles and is essential for the cone-size dependence of jet energy loss and nuclear modification factor of inclusive jet production. It is also found that the nuclear modification pattern of jet shape is sensitive to jet energy but has weak dependence on the flavor of the parton that initiates the jet. Our result can naturally explain the different nuclear modification patterns of jet shape functions for single inclusive jet and $\gamma$-jet events as observed by the CMS Collaboration, and can be tested in the future by measuring the jet shape function over a wider range of jet energies in heavy-ion collisions.


title: A Distributed Predictive Control Approach for Cooperative Manipulation of Multiple Underwater Vehicle Manipulator Systems

abstract: This paper addresses the problem of cooperative object transportation for multiple Underwater Vehicle Manipulator Systems (UVMSs) in a constrained workspace involving static obstacles. We propose a Nonlinear Model Predictive Control (NMPC) approach for a team of UVMSs in order to transport an object while avoiding significant constraints and limitations such as: kinematic and representation singularities, obstacles within the workspace, joint limits and control input saturations. More precisely, by exploiting the coupled dynamics between the robots and the object, and using certain load sharing coefficients, we design a distributed NMPC for each UVMS in order to cooperatively transport the object within the workspace's feasible region. Moreover, the control scheme adopts load sharing among the UVMSs according to their specific payload capabilities. Additionally, the feedback relies on each UVMS's locally measurements and no explicit data is exchanged online among the robots, thus reducing the required communication bandwidth. Finally, real-time simulation results conducted in UwSim dynamic simulator running in ROS environment verify the efficiency of the theoretical finding.


title: Electrophoresis of active Janus particles

abstract: We theoretically consider the dynamics of a self-propelled active Janus motor moving in an external electric field. The external field can manipulate the route of a Janus particle and enforce it to move towards the desired targets. To investigate the trajectory of this active motor, we use a perturbative scheme. At the leading orders of surface activity of the Janus particle and also the external field, the orientational dynamics of the Janus particles behave like a mathematical pendulum with an angular the velocity that is sensitive to both the electric field and surface activity of the motor.


title: Single photon sources: ubiquitous tools in quantum information processing

abstract: Quantum technologies are the next big revolution in information technologies, computing, communication security, sensing as well as metrology. What do you use to explore all these fascinating applications when you work in Optics? Photons of course. In this review, we discuss the different available single photon source technologies, compare and contrast them in terms of applicability and properties, discuss state of the art and conclude that the future is indeed bright!


title: Dark Sector Physics at the Belle II Experiment

abstract: The Belle II experiment at the SuperKEKB energy-asymmetric $e^+ e^-$ collider is a substantial upgrade of the B factory facility at the Japanese KEK laboratory. The design luminosity of the machine is $8\times 10^{35}$ cm$^{-2}$s$^{-1}$ and the Belle II experiment aims to record 50 ab$^{-1}$ of data, a factor of 50 more than its predecessor. From February to July 2018, the machine has completed a commissioning run, achieved a peak luminosity of $5.5\times 10^{33}$ cm$^{-2}$s$^{-1}$, and Belle II has recorded a data sample of about 0.5 fb$^{-1}$. Main operation of SuperKEKB has started in March 2019. Already this early data set with specifically designed triggers offers the possibility to search for a large variety of dark sector particles in the GeV mass range complementary to the Large Hadron Collider (LHC) and dedicated low energy experiments; these searches will benefit from more data in the process of being accumulated. This talk will review the state of the dark sector searches at Belle II with a focus on the discovery potential of the early data, and show the first results.


title: On the Local Input-Output Stability of Event-Triggered Control Systems

abstract: This paper studies performance preserving event design in nonlinear event-based control systems based on a local L2-type performance criterion. Considering a finite gain local L2-stable disturbance driven continuous-time system, we propose a triggering mechanism so that the resulting sampled-data system preserves similar disturbance attenuation local L2-gain property. The results are applicable to nonlinear systems with exogenous disturbances bounded by some Lipschitz-continuous function of state. It is shown that an exponentially decaying function of time, combined with the proposed triggering condition, extends the inter-event periods. Compared to the existing works, this paper analytically estimates the increase in intersampling periods at least for an arbitrary period of time. We also propose a so-called discrete triggering condition to quantitatively find the improvement in inter-event times at least for an arbitrary number of triggering iterations. Illustrative examples support the analytically derived results.


title: Probing magnetism via spin dynamics in graphene/2D-ferromagnet heterostructures

abstract: The recent discovery of two-dimensional magnetic insulators has generated a great deal of excitement over their potential for nanoscale manipulation of spin or magnetism. One intriguing use for these materials is to put them in contact with graphene, with the goal of making graphene magnetic while maintaining its unique electronic properties. Such a system could prove useful in applications such as magnetic memories, or could serve as a host for exotic states of matter. Proximity to a magnetic insulator will alter the spin transport properties of graphene, and the strength of this interaction can be probed with Hanle spin precession experiments. To aid in the analysis of such experiments, in this work we derive an explicit expression for Hanle spin precession in graphene interfaced with a ferromagnetic insulator whose magnetization points perpendicular to the graphene plane. We find that this interface results in a shifted and asymmetric Hanle response, and we discuss how this behavior can be used to interpret measurements of spin transport in these systems.


title: Systematic improvement of user engagement with academic titles using computational linguistics

abstract: This paper describes a novel approach to systematically improve information interactions based solely on its wording. Following an interdisciplinary literature review, we recognized three key attributes of words that drive user engagement: (1) Novelty (2) Familiarity (3) Emotionality. Based on these attributes, we developed a model to systematically improve a given content using computational linguistics, natural language processing (NLP) and text analysis (word frequency, sentiment analysis and lexical substitution). We conducted a pilot study (n=216) in which the model was used to formalize evaluation and optimization of academic titles. A between-group design (A/B testing) was used to compare responses to the original and modified (treatment) titles. Data was collected for selection and evaluation (User Engagement Scale). The pilot results suggest that user engagement with digital information is fostered by, and perhaps dependent upon, the wording being used. They also provide empirical support that engaging content can be systematically evaluated and produced. The preliminary results show that the modified (treatment) titles had significantly higher scores for information use and user engagement (selection and evaluation). We propose that computational linguistics is a useful approach for optimizing information interactions. The empirically based insights can inform the development of digital content strategies, thereby improving the success of information interactions.elop more sophisticated interaction measures.


title: Simultaneous approximations to p-adic numbers and algebraic dependence via multidimensional continued fractions

abstract: Unlike the real case, there are not many studies and general techniques for providing simultaneous approximations in the field of $p$--adic numbers $\mathbb Q_p$. Here, we study the use of multidimensional continued fractions (MCFs) in this context. MCFs were introduced in $\mathbb R$ by Jacobi and Perron as a generalization of continued fractions and they have been recently defined also in $\mathbb Q_p$. We focus on the dimension two and study the quality of the simultaneous approximation to two $p$-adic numbers provided by $p$-adic MCFs, where $p$ is an odd prime. Moreover, given algebraically dependent $p$--adic numbers, we see when infinitely many simultaneous approximations satisfy the same algebraic relation. This also allows to give a condition that ensures the finiteness of the $p$--adic Jacobi--Perron algorithm when it processes some kinds of $\mathbb Q$--linearly dependent inputs.


title: A Practical Marine Wireless Sensor Network Monitoring System Based on LoRa and MQTT

abstract: Under the advocacy of the international community, more and more research topics have been built around the ocean. This paper proposed an implementation scheme of marine wireless sensor network monitoring system based on LoRa and MQTT. Different from the traditional network architecture, the system was constructed by combining with two network forms, and according to their respective characteristics, the overall design followed the transition from LoRa to MQTT. We first used LoRa to interconnect the sensor nodes with the gateway, and on this basis, the collected data was sent to the server visualization platform through MQTT, the backend management server would continuously refresh the monitoring page. At the same time, the client could use a browser-based web application to directly access and call data for global maritime information monitoring. In the future, we will further improve the system and optimize the algorithm, to achieve more dimensions and deeper exploration of the underwater world.


title: On a Singular Perturbation of the Navier-Stokes Equations

abstract: The paper is aimed at analysing a singular perturbation of the Navier-Stokes equations on a compact closed manifold. The case of compact smooth manifolds with boundary under the Dirichlet conditions is also included. Global existence and uniqueness is established for the weak solutions of the Cauchy problem. The solution of the regularised system is shown to converge to the solution of the conventional Navier-Stokes equations provided it is uniformly bounded in parameter.


title: A Neural Vocoder with Hierarchical Generation of Amplitude and Phase Spectra for Statistical Parametric Speech Synthesis

abstract: This paper presents a neural vocoder named HiNet which reconstructs speech waveforms from acoustic features by predicting amplitude and phase spectra hierarchically. Different from existing neural vocoders such as WaveNet, SampleRNN and WaveRNN which directly generate waveform samples using single neural networks, the HiNet vocoder is composed of an amplitude spectrum predictor (ASP) and a phase spectrum predictor (PSP). The ASP is a simple DNN model which predicts log amplitude spectra (LAS) from acoustic features. The predicted LAS are sent into the PSP for phase recovery. Considering the issue of phase warping and the difficulty of phase modeling, the PSP is constructed by concatenating a neural source-filter (NSF) waveform generator with a phase extractor. We also introduce generative adversarial networks (GANs) into both ASP and PSP. Finally, the outputs of ASP and PSP are combined to reconstruct speech waveforms by short-time Fourier synthesis. Since there are no autoregressive structures in both predictors, the HiNet vocoder can generate speech waveforms with high efficiency. Objective and subjective experimental results show that our proposed HiNet vocoder achieves better naturalness of reconstructed speech than the conventional STRAIGHT vocoder, a 16-bit WaveNet vocoder using open source implementation and an NSF vocoder with similar complexity to the PSP and obtains similar performance with a 16-bit WaveRNN vocoder. We also find that the performance of HiNet is insensitive to the complexity of the neural waveform generator in PSP to some extend. After simplifying its model structure, the time consumed for generating 1s waveforms of 16kHz speech using a GPU can be further reduced from 0.34s to 0.19s without significant quality degradation.


title: The GMRT High Resolution Southern Sky Survey for pulsars and transients -II. New discoveries, timing and polarization properties

abstract: We have been conducting the GMRT High Resolution Southern Sky (GHRSS) survey for the last four years and have discovered 18 pulsars to date. The GHRSS survey is an off-Galactic-plane survey at 322 MHz in a region of the sky (declination range -40 degrees to -54 degrees) complementary to other ongoing low-frequency surveys. In this paper we report the discovery of three pulsars, PSRs J1239-48, J1516-43 and J1726-52. We also present timing solutions for three pulsars previously discovered with the GHRSS survey: PSR J2144-5237, a millisecond pulsar with a period P=5 ms in a 10 day orbit around a < 0.18 Msun companion; PSR J1516-43, a mildly recycled P=36 ms pulsar in a 228 day orbit with a companion of mass ~0.4 Msun; and the P=320 ms PSR J0514-4408 which we show is a source of pulsed $\gamma$-ray emission. We also report radio polarimetric observations of three of the GHRSS discoveries, PSRs J0418-4154, J0514-4408 and J2144-5237.


title: Accelerating Primal Solution Findings for Mixed Integer Programs Based on Solution Prediction

abstract: Mixed Integer Programming (MIP) is one of the most widely used modeling techniques for combinatorial optimization problems. In many applications, a similar MIP model is solved on a regular basis, maintaining remarkable similarities in model structures and solution appearances but differing in formulation coefficients. This offers the opportunity for machine learning methods to explore the correlations between model structures and the resulting solution values. To address this issue, we propose to represent an MIP instance using a tripartite graph, based on which a Graph Convolutional Network (GCN) is constructed to predict solution values for binary variables. The predicted solutions are used to generate a local branching type cut which can be either treated as a global (invalid) inequality in the formulation resulting in a heuristic approach to solve the MIP, or as a root branching rule resulting in an exact approach. Computational evaluations on 8 distinct types of MIP problems show that the proposed framework improves the primal solution finding performance significantly on a state-of-the-art open-source MIP solver.


title: Combining Machine Learning and Social Network Analysis to Reveal the Organizational Structures

abstract: Formation of a hierarchy within an organization is a natural way of assigning the duties, delegating responsibilities and optimizing the flow of information. Only for the smallest companies the lack of the hierarchy, that is, a flat one, is possible. Yet, if they grow, the introduction of a hierarchy is inevitable. Most often, its existence results in different nature of the tasks and duties of its members located at various organizational levels or in distant parts of it. On the other hand, employees often send dozens of emails each day, and by doing so, and also by being engaged in other activities, they naturally form an informal social network where nodes are individuals and edges are the actions linking them. At first, such a social network seems distinct from the organizational one. However, the analysis of this network may lead to reproducing the organizational hierarchy of companies. This is due to the fact that that people holding a similar position in the hierarchy possibly share also a similar way of behaving and communicating attributed to their role. The key concept of this work is to evaluate how well social network measures when combined with other features gained from the feature engineering align with the classification of the members of organizational social network. As a technique for answering this research question, machine learning apparatus was employed. Here, for the classification task, Decision Trees, Random Forest, {Neural Networks and Support Vector Machines} have been evaluated, as well as a collective classification algorithm, which is also proposed in this paper. The results demonstrate that the social network built using the metadata on communication highly exposes the organizational structure.


title: Exact resolution function for double-disk chopper neutron time-of-flight spectrometers : Application to reflectivity

abstract: The exact resolution function in transfer vector for the reflectometer HERM\`ES at Laboratoire L\'eon Brillouin is calculated as an example of neutron time-of-fligh spectrometer with double-disk chopper. Calculation accounts for wavelength distribution of the incident beam, tilt of the chopper axis, collimation and gravity, without approximation of gaussian distributions or independence of these different contributions. Numerical implementation is provided that matches the sections of the paper. We show that data fitting using this exact resolution function allows us to reach much better results than its usual approximation by a gaussian profile.


title: Two Scenarios for the Onset and Suppression of Collective Oscillations in Heterogeneous Populations of Active Rotators

abstract: We consider the macroscopic regimes and the scenarios for the onset and the suppression of collective oscillations in a heterogeneous population of active rotators, comprised of excitable or oscillatory elements. We analyze the system in the continuum limit within the framework of Ott-Antonsen reduction method, determining the states with a constant mean field and their stability boundaries in terms of the characteristics of the rotators' frequency distribution. The system is established to display three macroscopic regimes, namely the homogeneous stationary state, the oscillatory state and the heterogeneous stationary state, whereby the transitions between the characteristic domains involve a complex bifurcation structure, organized around three codimension-two bifurcation points: a Bogdanov-Takens point, a cusp point and a fold-homoclinic point. Apart from the monostable domains, our study also reveals two domains admitting bistable behavior, manifested as coexistence between the two stationary solutions, or between a stationary and a periodic solution. It is shown that the collective mode may emerge via two generic scenarios, guided by a SNIPER or the Hopf bifurcation, such that the transition from the homogeneous to the heterogeneous stationary state under increasing diversity may follow the classical paradigm, but may also be hysteretic. We demonstrate that the basic bifurcation structure holds qualitatively in presence of small noise or small coupling delay, with the boundaries of the characteristic domains shifted compared to the noiseless and delay-free case.


title: Top condensation model: a step towards the correct prediction of the Higgs mass

abstract: A realization of the composite Higgs scenario in the context of the effective model with the $SU(2)_L\times U(1)_R$ symmetric four-Fermi interactions proposed by Miransky, Tanabashi and Yamawaki is studied. The model implements Nambu's mechanism of dynamical electroweak symmetry breaking leading to the formation of $\bar tt$ and $\bar bb$ quark condensates. We explore the vacuum structure and spectrum of the model by using the Schwinger proper-time method. As a direct consequence of this mechanism, the Higgs acquires a mass in accord with its experimental value. The present prediction essentially differs from the known overestimated value, $m_\chi= 2m_t$, making more favourable the top condensation scenario presented here. The mass formulas for the members of the second Higgs doublet are also obtained. The Nambu sum rule is discussed. It is shown that the anomalous $U(1)_A$ symmetry breaking modifies this rule at next to leading order in $1/N_c$.


title: Characterisation of a charged particle levitated nano-oscillator

abstract: We describe the construction and characterisation of a nano-oscillator formed by a Paul trap. The frequency and temperature stability of the nano-oscillator was measured over several days allowing us to identify the major sources of trap and environmental fluctuations. We measure an overall frequency stability of 2 ppm/hr and a temperature stability of more than 5 hours via the Allan deviation. Importantly, we find that the charge on the nanoscillator is stable over a timescale of at least two weeks and that the mass of the oscillator, can be measured with a 3 % uncertainty. This allows us to distinguish between the trapping of a single nanosphere and a nano-dumbbell formed by a cluster of two nanospheres.


title: Robust convex clustering: How does fusion penalty enhance robustness?

abstract: Convex clustering has gained popularity recently due to its desirable performance in empirical studies. It involves solving a convex optimization problem with the cost function being a squared error loss plus a fusion penalty that encourages the estimated centroids for observations in the same cluster to be identical. However, when data are contaminated, convex clustering with a squared error loss will fail to identify correct cluster memberships even when there is only one arbitrary outlier. To address this challenge, we propose a robust convex clustering method. Theoretically, we show that the new estimator is resistant to arbitrary outliers: it does not break down until more than half of the observations are arbitrary outliers. In particular, we observe a new phenomenon that the fusion penalty can help enhance robustness. Numerical studies are performed to demonstrate the competitive performance of the proposed method.


title: A support theorem for the Hitchin fibration: the case of $GL_n$ and $K_C$

abstract: We compute the supports of the perverse cohomology sheaves of the Hitchin fibration for $GL_n$ over the locus of reduced spectral curves. In contrast to the case of meromorphic Higgs fields we find additional supports at the loci of reducible spectral curves. Their contribution to the global cohomology is governed by a finite twist of Hitchin fibrations for Levi subgroups. The corresponding summands give non-trivial contributions to the cohomology of the moduli spaces for every $n \geq 3$. A key ingredient is a restriction result for intersection cohomology sheaves that allows us to compare the fibration to the one defined over the versal deformations of spectral curves.


title: Spectral Noncommutative Geometry, Standard Model and all that

abstract: We review the approach to the standard model of particle interactions based on spectral noncommutative geometry. The paper is (nearly) self-contained and presents both the mathematical and phenomenological aspects. In particular the bosonic spectral action and the fermionic action are discussed in detail, and how they lead to phenomenology. We also discuss the Euclidean vs. Lorentz issues and how to go beyond the standard model in this framework.


title: A UK Case Study on Cybersecurity Education and Accreditation

abstract: This paper presents a national case study-based analysis of the numerous dimensions to cybersecurity education and how they are prioritised, implemented and accredited; from understanding the interaction of hardware and software, moving from theory to practice (and vice versa), to human factors, policy and politics (as well as various other important facets). A multitude of model curricula and recommendations have been presented and discussed in international fora in recent years, with varying levels of impact on education, policy and practice. This paper address three key questions: i) what is taught and what should be taught for cybersecurity to general computer science students; ii) should cybersecurity be taught stand-alone or in an integrated manner to general computer science students; and iii) can accreditation by national professional, statutory and regulatory bodies enhance the provision of cybersecurity within a body's jurisdiction? Evaluating how cybersecurity is taught in all aspects of computer science is clearly a task of considerable size, one that is beyond the scope of this paper. Instead a case study-based research approach -- primarily focusing on the UK -- has been adopted to evaluate the evidence of the teaching of cybersecurity within general computer science to university-level students. Thus, in the context of widespread international computer science/engineering curriculum reform, what does this need to embed cybersecurity knowledge and skills mean more generally for institutions and educators, and how can we teach this subject more effectively? Through this UK case study, and by contrasting with related initiatives in the US, we demonstrate the positive effect that national accreditation requirements can have, and offer some recommendations both for future research and curriculum developments.


title: On the exponent conjecture of Schur

abstract: It is a longstanding conjecture that for a finite group $G$, the exponent of the second homology group $H_2(G, \mathbb{Z})$ divides the exponent of $G$. In this paper, we prove this conjecture for $p$-groups of class at most $p$, finite nilpotent groups of odd exponent and of nilpotency class 5, $p$-central metabelian $p$-groups, and groups considered by L. E . Wilson in \cite{LEW}. Moreover, we improve several bounds given by various authors. We achieve most of our results using an induction argument.


title: A Fine-Grained Variant of the Hierarchy of Lasserre

abstract: There has been much recent interest in hierarchies of progressively stronger convexifications of polynomial optimisation problems (POP). These often converge to the global optimum of the POP, asymptotically, but prove challenging to solve beyond the first level in the hierarchy for modest instances. We present a finer-grained variant of the Lasserre hierarchy, together with first-order methods for solving the convexifications, which allow for efficient warm-starting with solutions from lower levels in the hierarchy.