title: Variational principle for shape memory alloys

abstract: The quasistatic problem of shape memory alloys is reviewed within the phenomenological mechanics of solids without microphysics analysis. The assumption is that the temperature variation rate is small. Reissner's type of generalized variational principle is presented, and its mathematical justification is given for three-dimensional bodies made of shape memory materials.


title: Characterizing the complexity of time series network graphs: A simplicial approach

abstract: We analyze the time series obtained from different dynamical regimes of the logistic map by constructing their equivalent time series (TS) networks, using the visibility algorithm. The regimes analyzed include both periodic and chaotic regimes, as well as intermittent regimes and the Feigenbaum attractor at the edge of chaos. We use the methods of algebraic topology to define the simplicial characterizers, which can analyse the simplicial structure of the networks at both the global and local levels. The simplicial characterisers bring out the hierarchical levels of complexity at various topological levels. These hierarchical levels of complexity find the skeleton of the local dynamics embedded in the network which influence the global dynamical properties of the system, and also permit the identification of dominant motifs. We also analyze the same networks using conventional network characterizers such as average path lengths and clustering coefficients. We see that the simplicial characterizers are capable of distinguishing between different dynamical regimes and can pick up subtle differences in dynamical behavior, whereas the usual characterizers provide a coarser characterization. However, the two taken in conjunction, can provide information about the dynamical behavior of the time series, as well as the correlations in the evolving system. Our methods can therefore provide powerful tools for the analysis of dynamical systems.

categories: physics.soc-ph cond-mat.dis-nn cond-mat.soft cond-mat.stat-mech nlin.CD


title: Jigsaw Puzzle Solving Using Local Feature Co-Occurrences in Deep Neural Networks

abstract: Archaeologists are in dire need of automated object reconstruction methods. Fragments reassembly is close to puzzle problems, which may be solved by computer vision algorithms. As they are often beaten on most image related tasks by deep learning algorithms, we study a classification method that can solve jigsaw puzzles. In this paper, we focus on classifying the relative position: given a couple of fragments, we compute their local relation (e.g. on top). We propose several enhancements over the state of the art in this domain, which is outperformed by our method by 25\%. We propose an original dataset composed of pictures from the Metropolitan Museum of Art. We propose a greedy reconstruction method based on the predicted relative positions.


title: Meshless method for solving radiative transfer problems in complex two-dimensional and three-dimensional geometries

abstract: A meshless method is presented to solve the radiative transfer equation in the even parity formulation of the discrete ordinates method in complex 2D and 3D geometries. Prediction results of radiative heat transfer problems obtained by the proposed method are compared with reference in order to assess the correctness of the present method.


title: Addressing environmental and atmospheric challenges for capturing high-precision thermal infrared data in the field of astro-ecology

abstract: Using thermal infrared detectors mounted on drones, and applying techniques from astrophysics, we hope to support the field of conservation ecology by creating an automated pipeline for the detection and identification of certain endangered species and poachers from thermal infrared data. We test part of our system by attempting to detect simulated poachers in the field. Whilst we find that we can detect humans hiding in the field in some types of terrain, we also find several environmental factors that prevent accurate detection, such as ambient heat from the ground, absorption of infrared emission by the atmosphere, obscuring vegetation and spurious sources from the terrain. We discuss the effect of these issues, and potential solutions which will be required for our future vision for a fully automated drone-based global conservation monitoring system.


title: Response in violation of Bell inequality to imperfect photon addition and subtraction in noisy squeezed states of light

abstract: Violation of Bell inequality is a prominent detection method for quantum correlations present in composite quantum systems, both in finite and infinite dimensions. We investigate the consequence on the violation of local realism based on pseduospin operators when photons are added or subtracted in a single mode or in both the modes of the two-mode squeezed states of light in presence of noise. In the noiseless situation, we show that for addition (subtraction) of photons in a single mode, there is an overall enhancement in the maximal violation, although we observe an interplay between monotonicity and non-monotonicity in the violation of Bell inequality depending on the squeezing strength. Moreover, we report that for low squeezing or low number of photons added or subtracted, subtraction in both the modes can lead to higher violation of local realism than that in the case of addition. For any choice of parameters, such ordering is not seen if one compares their entanglement contents. In the event of a faulty twin-beam generator, we obtain a lower-than-expected squeezing in the state. In such a case, or in imperfect photon addition (subtraction), or under local noise, we find that the violation of local realism by the noise-affected two-mode squeezed states always decreases. Interestingly however, we notice that photon addition (subtraction) can in general help to conquer the ill-effects of noise by enhancing the violation of local realism or by transforming non-violating states to violating ones, thereby acting as an activating agent.


title: Forecasting Disease Trajectories in Alzheimer's Disease Using Deep Learning

abstract: Joint models for longitudinal and time-to-event data are commonly used in longitudinal studies to forecast disease trajectories over time. Despite the many advantages of joint modeling, the standard forms suffer from limitations that arise from a fixed model specification and computational difficulties when applied to large datasets. We adopt a deep learning approach to address these limitations, enhancing existing methods with the flexibility and scalability of deep neural networks while retaining the benefits of joint modeling. Using data from the Alzheimer's Disease Neuroimaging Institute, we show improvements in performance and scalability compared to traditional methods.


title: A new ultrasound despeckling method through adaptive threshold

abstract: An efficient despeckling method using a quantum-inspired adaptive threshold function is presented for reducing noise of ultrasound images. In the first step, the ultrasound image is decorrelated by an spectrum equalization procedure due to the fact that speckle noise is neither Gaussian nor white. In fact, a linear filter is exploited to flatten the power spectral density (PSD) of the ultrasound image. Then, the proposed method shrinks complex wavelet coefficients based on the quantum-inspired adaptive threshold function. The proposed approach has been used to denoise both real and simulated data sets and compare with other widely adopted techniques. Experimental results demonstrate that the proposed method has a competitive performance to remove speckle noise and can preserve details and textures of medical ultrasound images.


title: A proof of a support theorem for stochastic wave equations in Holder norm with some general noises

abstract: In this paper, we characterize the topological support in Holder norm of the law of the solution to a stochastic wave equation with three-dimensional space variable is proved. This note is a continuation of [9] and [10]. The result is a consequence of an approximation theorem, in the convergence of probability, for a sequence of evolution equations driven by a family of regularizations of the driving noise. We extend two previous results on this subject. The first extension is that we cover the case of multiplicative noise and non-zero initial conditions. The second extension is related to the covariance function associated with the noise, here we follow the approach of Hu, Huang and Nualart and ask conditions in terms the of the mean Holder continuity of such covariance function.


title: Deep Learning Based Sphere Decoding

abstract: In this paper, a deep learning (DL)-based sphere decoding algorithm is proposed, where the radius of the decoding hypersphere is learned by a deep neural network (DNN). The performance achieved by the proposed algorithm is very close to the optimal maximum likelihood decoding (MLD) over a wide range of signal-to-noise ratios (SNRs), while the computational complexity, compared to existing sphere decoding variants, is significantly reduced. This improvement is attributed to DNN's ability of intelligently learning the radius of the hypersphere used in decoding. The expected complexity of the proposed DL-based algorithm is analytically derived and compared with existing ones. It is shown that the number of lattice points inside the decoding hypersphere drastically reduces in the DL-based algorithm in both the average and worst-case senses. The effectiveness of the proposed algorithm is shown through simulation for high-dimensional multiple-input multiple-output (MIMO) systems, using high-order modulations.


title: New sources of gravitational wave signals: The black hole graviton laser

abstract: A graviton laser works, in principle, by the stimulated emission of coherent gravitons from a lasing medium. For significant amplification, we must have a very long path length and/or very high densities. Black holes and the existence of weakly interacting sub-eV dark matter particles (WISPs) solve both of these obstacles. Orbiting trajectories for massless particles around black holes are well understood \cite{mtw} and allow for arbitrarily long graviton path lengths. Superradiance from Kerr black holes of WISPs can provide the sufficiently high density \cite{ABH}. This suggests that black holes can act as efficient graviton lasers. Thus directed graviton laser beams have been emitted since the beginning of the universe and give rise to new sources of gravitational wave signals. To be in the path of particularly harmfully amplified graviton death rays will not be pleasant.


title: Higher extensions in exact Mal'tsev categories: distributivity of congruences and the $3^n$-Lemma

abstract: The aim of this article is to better understand the correspondence between $n$-cubic extensions and $3^n$-diagrams, which may be seen as non-abelian Yoneda extensions, useful in (co)homology of non-abelian algebraic structures. We study a higher-dimensional version of the coequaliser/kernel pair adjunction, which relates $n$-fold reflexive graphs with $n$-fold arrows in any exact Mal'tsev category. We first ask ourselves how this adjunction restricts to an equivalence of categories. This leads to the concept of an effective $n$-fold equivalence relation, corresponding to the $n$-fold regular epimorphisms. We characterise those in terms of what (when $n=2$) Bourn calls parallelistic $n$-fold equivalence relations. We then further restrict the equivalence, with the aim of characterising the $n$-cubic extensions. We find a congruence distributivity condition, resulting in a denormalised $3^n$-Lemma valid in exact Mal'tsev categories. We deduce a $3^n$-Lemma for short exact sequences in semi-abelian categories, which involves a distributivity condition between joins and meets of normal subobjects. This turns out to be new even in the abelian case.


title: Sparse Deep Neural Network Exact Solutions

abstract: Deep neural networks (DNNs) have emerged as key enablers of machine learning. Applying larger DNNs to more diverse applications is an important challenge. The computations performed during DNN training and inference are dominated by operations on the weight matrices describing the DNN. As DNNs incorporate more layers and more neurons per layers, these weight matrices may be required to be sparse because of memory limitations. Sparse DNNs are one possible approach, but the underlying theory is in the early stages of development and presents a number of challenges, including determining the accuracy of inference and selecting nonzero weights for training. Associative array algebra has been developed by the big data community to combine and extend database, matrix, and graph/network concepts for use in large, sparse data problems. Applying this mathematics to DNNs simplifies the formulation of DNN mathematics and reveals that DNNs are linear over oscillating semirings. This work uses associative array DNNs to construct exact solutions and corresponding perturbation models to the rectified linear unit (ReLU) DNN equations that can be used to construct test vectors for sparse DNN implementations over various precisions. These solutions can be used for DNN verification, theoretical explorations of DNN properties, and a starting point for the challenge of sparse training.


title: MDS codes with arbitrary dimensional hull and their applications

abstract: The hull of linear codes have promising utilization in coding theory and quantum coding theory. In this paper, we study the hull of generalized Reed-Solomon codes and extended generalized Reed-Solomon codes over finite fields with respect to the Euclidean inner product. Several infinite families of MDS codes with arbitrary dimensional hull are presented. As an application, using these MDS codes with arbitrary dimensional hull, we construct several new infinite families of entanglement-assisted quantum error-correcting codes with flexible parameters.


title: Data Augmentation for Detection of Architectural Distortion in Digital Mammography using Deep Learning Approach

abstract: Early detection of breast cancer can increase treatment efficiency. Architectural Distortion (AD) is a very subtle contraction of the breast tissue and may represent the earliest sign of cancer. Since it is very likely to be unnoticed by radiologists, several approaches have been proposed over the years but none using deep learning techniques. To train a Convolutional Neural Network (CNN), which is a deep neural architecture, is necessary a huge amount of data. To overcome this problem, this paper proposes a data augmentation approach applied to clinical image dataset to properly train a CNN. Results using receiver operating characteristic analysis showed that with a very limited dataset we could train a CNN to detect AD in digital mammography with area under the curve (AUC = 0.74).


title: NAPS: Natural Program Synthesis Dataset

abstract: We present a program synthesis-oriented dataset consisting of human written problem statements and solutions for these problems. The problem statements were collected via crowdsourcing and the program solutions were extracted from human-written solutions in programming competitions, accompanied by input/output examples. We propose using this dataset for the program synthesis tasks aimed for working with real user-generated data. As a baseline we present few models, with the best model achieving 8.8% accuracy, showcasing both the complexity of the dataset and large room for future research.


title: Correlated bursts in temporal networks slow down spreading

abstract: Spreading dynamics has been considered to take place in temporal networks, where temporal interaction patterns between nodes show non-Poissonian bursty nature. The effects of inhomogeneous interevent times (IETs) on the spreading have been extensively studied in recent years, yet little is known about the effects of correlations between IETs on the spreading. In order to investigate those effects, we study two-step deterministic susceptible-infected (SI) and probabilistic SI dynamics when the interaction patterns are modeled by inhomogeneous and correlated IETs, i.e., correlated bursts. By analyzing the transmission time statistics in a single-link setup and by simulating the spreading in Bethe lattices and random graphs, we conclude that the positive correlation between IETs slows down the spreading. We also argue that the shortest transmission time from one infected node to its susceptible neighbors can successfully explain our numerical results.


title: Input Current Sensorless Control for a AC-DC Converter with Unknown Load and Source Voltage Amplitude

abstract: Input current estimation is indispensable in the sensorless control algorithms for the problem of power factor compensation (PFC) of an AC-DC boost converter. The system estimator design is challenged by the bilinear form dynamics and uncertain parameters of the system. In this paper, the system dynamics is immersed to a proper form by a new filtered transformation. Thanks to the proposed transformation, the input current, input voltage amplitude, and load conductance are globally estimated. The exponential convergent of the estimates is established in normal converter operation. An application of the proposed estimator is presented in conjunction with a well-known dynamic controller.


title: Energy Stable Second Order Linear Schemes for the Allen-Cahn Phase-Field Equation

abstract: Phase-field model is a powerful mathematical tool to study the dynamics of interface and morphology changes in fluid mechanics and material sciences. However, numerically solving a phase field model for a real problem is a challenge task due to the non-convexity of the bulk energy and the small interface thickness parameter in the equation. In this paper, we propose two stabilized second order semi-implicit linear schemes for the Allen-Cahn phase-field equation based on backward differentiation formula and Crank-Nicolson method, respectively. In both schemes, the nonlinear bulk force is treated explicitly with two second-order stabilization terms, which make the schemes unconditional energy stable and numerically efficient. By using a known result of the spectrum estimate of the linearized Allen-Cahn operator and some regularity estimate of the exact solution, we obtain an optimal second order convergence in time with a prefactor depending on the inverse of the characteristic interface thickness only in some lower polynomial order. Both 2-dimensional and 3-dimensional numerical results are presented to verify the accuracy and efficiency of proposed schemes.


title: Asymptotic analysis of a Cucker-Smale system with leadership and distributed delay

abstract: We extend the analysis developed in [33] in order to prove convergence to consensus results for a Cucker-Smale type model with hierarchical leadership and distributed delay. Flocking estimates are obtained for a general interaction potential with divergent tail. We analyze also the model when the ultimate leader can change its velocity. In this case we give a flocking result under suitable conditions on the leader's acceleration.


title: Graph of brain structures grading for early detection of Alzheimer's disease

abstract: Alzheimer's disease is the most common dementia leading to an irreversible neurodegenerative process. To date, subject revealed advanced brain structural alterations when the diagnosis is established. Therefore, an earlier diagnosis of this dementia is crucial although it is a challenging task. Recently, many studies have proposed biomarkers to perform early detection of Alzheimer's disease. Some of them have proposed methods based on inter-subject similarity while other approaches have investigated framework using intra-subject variability. In this work, we propose a novel framework combining both approaches within an efficient graph of brain structures grading. Subsequently, we demonstrate the competitive performance of the proposed method compared to state-of-the-art methods.


title: A quantum uncertainty entails entangled linguistic sequences

abstract: Synchronization of finite spike sequences is the way two brain regions compare their content and extract the most suitable sequence. This is the core of the linguistic comparison between a word and a previous one retrieved by memory. Classifying the information content of neural spike trains, an uncertainty relation emerges between the bit size of a word and its duration. This uncertainty affects the task of synchronizing spike trains of different duration representing different words, entailing the occurrence of entangled sequences, so that word comparison amounts to a measurement based quantum computation. Entanglement explains the inverse Bayes inference that connects different words in a linguistic search. The behaviour here discussed provides an explanation for other reported evidences of quantum effects in human cognitive processes lacking a plausible framework, since either no assignment of an appropriate quantum constant had been associated, or speculating on microscopic processes dependent on Planck's constant resulted in unrealistic de-coherence times.


title: Rigidity of the $K(1)$-local stable homotopy category

abstract: We investigate a new case of rigidity in stable homotopy theory which is the rigidity of the $K(1)$-local stable homotopy category $\mathrm{Ho}(L_{K(1)}\mathrm{Sp})$ at $p=2$. In other words, we show that recovering higher homotopy information by just looking at the triangulated structure of $\mathrm{Ho}(L_{K(1)}\mathrm{Sp})$ is possible, which is a property that only few interesting stable model categories are known to possess.


title: The noisy voter model under the influence of contrarians

abstract: The influence of contrarians on the noisy voter model is studied at the mean-field level. The noisy voter model is a variant of the voter model where agents can adopt two opinions, optimistic or pessimistic, and can change them by means of an imitation (herding) and an intrinsic (noise) mechanisms. An ensemble of noisy voters undergoes a finite-size phase transition, upon increasing the relative importance of the noise to the herding, form a bimodal phase where most of the agents shear the same opinion to a unimodal phase where almost the same fraction of agent are in opposite states. By the inclusion of contrarians we allow for some voters to adopt the opposite opinion of other agents (anti-herding). We first consider the case of only contrarians and show that the only possible steady state is the unimodal one. More generally, when voters and contrarians are present, we show that the bimodal-unimodal transition of the noisy voter model prevails only if the number of contrarians in the system is smaller than four, and their characteristic rates are small enough. For the number of contrarians bigger or equal to four, the voters and the contrarians can be seen only in the unimodal phase. Moreover, if the number of voters and contrarians, as well as the noise and herding rates, are of the same order, then the probability functions of the steady state are very well approximated by the Gaussian distribution.


title: Scanning Gate Microscopy in a Viscous Electron Fluid

abstract: We measure transport through a Ga[Al]As heterostructure at temperatures between 0.1 K and 30 K. Increasing the temperature enhances the electron-electron scattering rate and viscous effects in the two-dimensional electron gas arise. To probe this regime we measure so-called vicinity voltages and use a voltage-biased scanning tip to induce a movable local perturbation. We find that the scanning gate images differentiate reliably between the different regimes of electron transport. Our data are in good agreement with recent theories for interacting electron liquids in the ballistic and viscous regimes stimulated by measurements in graphene. However, the range of temperatures and densities where viscous effects are observable in Ga[Al]As are very distinct from the graphene material system.


title: Verification of a many-ion simulator of the Dicke model through slow quenches across a phase transition

abstract: We use a self-assembled two-dimensional Coulomb crystal of $\sim 70$ ions in the presence of an external transverse field to engineer a simulator of the Dicke Hamiltonian, an iconic model in quantum optics which features a quantum phase transition between a superradiant/ferromagnetic and a normal/paramagnetic phase. We experimentally implement slow quenches across the quantum critical point and benchmark the dynamics and the performance of the simulator through extensive theory-experiment comparisons which show excellent agreement. The implementation of the Dicke model in fully controllable trapped ion arrays can open a path for the generation of highly entangled states useful for enhanced metrology and the observation of scrambling and quantum chaos in a many-body system.


title: YouTube for Patient Education: A Deep Learning Approach for Understanding Medical Knowledge from User-Generated Videos

abstract: YouTube presents an unprecedented opportunity to explore how machine learning methods can improve healthcare information dissemination. We propose an interdisciplinary lens that synthesizes machine learning methods with healthcare informatics themes to address the critical issue of developing a scalable algorithmic solution to evaluate videos from a health literacy and patient education perspective. We develop a deep learning method to understand the level of medical knowledge encoded in YouTube videos. Preliminary results suggest that we can extract medical knowledge from YouTube videos and classify videos according to the embedded knowledge with satisfying performance. Deep learning methods show great promise in knowledge extraction, natural language understanding, and image classification, especially in an era of patient-centric care and precision medicine.


title: Heavy-flavor flow-harmonics in high-energy nuclear collisions: time-development and eccentricity fluctuations

abstract: We study the development of heavy-flavor flow harmonics in high-energy nuclear collisions. The elliptic and triangular flow of heavy-flavor hadrons, arising from the finite impact parameter of the two nuclei and from event-by-event fluctuations of the initial geometry, is analyzed in detail, considering the contribution from particles decoupling from the fireball at various times. We also study the dependence of the flow harmonics on the event-shape fluctuations, considering events belonging to the same centrality class but characterized by very different eccentricities (or vice-versa).


title: The relative Mishchenko--Fomenko higher index and almost flat bundles I: The relative Mishchenko--Fomenko index

abstract: In this paper, the first of two, we introduce an alternative definition of the Chang--Weinberger--Yu relative higher index, which is thought of as a relative analogue of the Mishchenko--Fomenko index pairing. A main result of this paper is that our map coincides with the existing relative higher index maps. We make use of this fact for understanding the relative higher index. First, we relate the relative higher index with the higher index of amalgamated free product groups. Second, we define the dual relative higher index map and show its rational surjectivity under certain assumptions.


title: Generalized Approximate Message Passing for Unlimited Sampling of Sparse Signals

abstract: In this paper we consider the generalized approximate message passing (GAMP) algorithm for recovering a sparse signal from modulo samples of randomized projections of the unknown signal. The modulo samples are obtained by a self-reset (SR) analog to digital converter (ADC). Additionally, in contrast to previous work on SR ADC, we consider a scenario where the compressed sensing (CS) measurements (i.e., randomized projections) are sent through a communication channel, namely an additive white Gaussian noise (AWGN) channel before being quantized by a SR ADC. To show the effectiveness of the proposed approach, we conduct Monte-Carlo (MC) simulations for both noiseless and noisy case. The results show strong ability of the proposed algorithm to fight the nonlinearity of the SR ADC, as well as the possible additional distortion introduced by the AWGN channel.


title: Filtering with Wavelet Zeros and Gaussian Analytic Functions

abstract: We present the continuous wavelet transform (WT) of white Gaussian noise and establish a connection to the theory of Gaussian analytic functions. Based on this connection, we propose a methodology that detects components of a signal in white noise based on the distribution of the zeros of its continuous WT. To illustrate that the continuous theory can be employed in a discrete setting, we establish a uniform convergence result for the discretized continuous WT and apply the proposed method to a variety of acoustic signals.


title: Prediction regions through Inverse Regression

abstract: Predict a new response from a covariate is a challenging task in regression, which raises new question since the era of high-dimensional data. In this paper, we are interested in the inverse regression method from a theoretical viewpoint. Theoretical results have already been derived for the well-known linear model, but recently, the curse of dimensionality has increased the interest of practitioners and theoreticians into generalization of those results for various estimators, calibrated for the high-dimension context. To deal with high-dimensional data, inverse regression is used in this paper. It is known to be a reliable and efficient approach when the number of features exceeds the number of observations. Indeed, under some conditions, dealing with the inverse regression problem associated to a forward regression problem drastically reduces the number of parameters to estimate and make the problem tractable. When both the responses and the covariates are multivariate, estimators constructed by the inverse regression are studied in this paper, the main result being explicit asymptotic prediction regions for the response. The performances of the proposed estimators and prediction regions are also analyzed through a simulation study and compared with usual estimators.


title: On strangeness in NA61/SHINE

abstract: NA61/SHINE is a fixed target experiment at the CERN Super-Proton- Synchrotron. The main goals of the experiment are to discover the critical point of strongly interacting matter and to study the properties of the onset of deconfinement. In order to reach these goals, a study of hadron production properties is performed in nucleus-nucleus, proton-proton and proton-nucleus interactions as a function of collision energy and size of the colliding nuclei. In this paper, I will review recent results on strangeness production in p+p, Be+Be and Ar+Sc collisions in the SPS energy range. Kinematic spectra and mean multiplicities of kaons obtained with various analysis methods will be shown. An overview of strangeness production and its dependence on system size in the vicinity of the phase transition will be presented as well.


title: Non-linear critical current thermal response of an asymmetric Josephson tunnel junction

abstract: We theoretically investigate the critical current of a thermally-biased SIS Josephson junction formed by electrodes made by different BCS superconductors. The response of the device is analyzed as a function of the asymmetry parameter, $r=T_{c_1} /T_{c_2}$. We highlight the appearance of jumps in the critical current of an asymmetric junction, namely, when $r\neq1$. In fact, in such case at temperatures at which the BCS superconducting gaps coincide, the critical current suddenly increases or decreases. In particular, we thoroughly discuss the counterintuitively behaviour of the critical current, which increases by enhancing the temperature of one lead, instead of monotonically reducing. In this case, we found that the largest jump of the critical current is obtained for moderate asymmetries, $r\simeq3$. In view of these results, the discussed behavior can be speculatively proposed as a temperature-based threshold single-photon detector with photon-counting capabilities, which operates non-linearly in the non-dissipative channel.


title: An optimal nonconforming finite element method for the Stokes equations

abstract: In this paper, we propose and develop an optimal nonconforming finite element method for the Stokes equations approximated by the Crouzix-Raviart element for velocity and the continuous linear element for pressure. Previous result in using the stabilization method for this finite element pair is improved and then proven to be stable. Then, optimal order error estimate is obtained and numerical results show the accuracy and robustness of the method.


title: Phenomenological bound on the viscosity of the hadron resonance gas

abstract: We have explored some phenomenological issues during calculations of transport coefficients for hadronic matter, produced in the experiments of heavy ion collisions. Here, we have used an ideal hadron resonance gas model to demonstrate the issues. On the basis of dissipation mechanism, the hadronic zoo is classified into resonance and non-resonance members, who participate in dissipation via strong decay and scattering channels respectively. Imposing our phenomenological restriction, we are able to provide a rough upper and lower bound estimations of transport coefficients. Interestingly, we find that our proposed lower limit estimation for shear viscosity to entropy density ratio is little larger than its quantum lower bound. By taking a simple example, we have demonstrated how our proposed restriction help to tune any estimation of transport coefficients within its numerical band, proposed by us.


title: Multiplicity of the saturated special fiber ring of height two perfect ideals

abstract: Let $R$ be a polynomial ring and $I \subset R$ be a perfect ideal of height two minimally generated by forms of the same degree. We provide a formula for the multiplicity of the saturated special fiber ring of $I$. Interestingly, this formula is equal to an elementary symmetric polynomial in terms of the degrees of the syzygies of $I$. Applying ideas introduced in arXiv:1805.05180, we obtain the value of the j-multiplicity of $I$ and an effective method for determining the degree and birationality of rational maps defined by homogeneous generators of $I$.


title: Higher de Rham epsilon factors

abstract: This article is devoted to the study of a higher-dimensional generalisation of de Rham epsilon lines. To a holonomic $D$-module $M$ on a smooth variety $X$ and a generic tuple of $1$-form $(\nu_1,\dots,\nu_n)$, we associate a point of the $K$-theory space $K(X,Z)$. If $X$ is proper this $K$-theory class is related to the de Rham cohomology $R\Gamma_{dR}(X,M)$. The novel feature of our construction is that $Z$ is allowed to be of dimension $0$. Furthermore, we allow the tuple of $1$-forms to vary in families, and observe that this leads naturally to a crystal akin to the epsilon connection for curves. Our approach is based on combining a construction of Patel with a homotopy invariance property of algebraic $K$-theory with respect to $(\mathbb{P}^1,\infty)$. This homotopical viewpoint leads us naturally to the definition of an epsilon connection in higher dimensions. Along the way we prove the compatibility of Patel's epsilon factors with the graded lines defined by Deligne and Beilinson--Bloch--Esnault in the case of curves.


title: Approximate k-space models and Deep Learning for fast photoacoustic reconstruction

abstract: We present a framework for accelerated iterative reconstructions using a fast and approximate forward model that is based on k-space methods for photoacoustic tomography. The approximate model introduces aliasing artefacts in the gradient information for the iterative reconstruction, but these artefacts are highly structured and we can train a CNN that can use the approximate information to perform an iterative reconstruction. We show feasibility of the method for human in-vivo measurements in a limited-view geometry. The proposed method is able to produce superior results to total variation reconstructions with a speed-up of 32 times.


title: Thresholded ConvNet Ensembles: Neural Networks for Technical Forecasting

abstract: Much of modern practice in financial forecasting relies on technicals, an umbrella term for several heuristics applying visual pattern recognition to price charts. Despite its ubiquity in financial media, the reliability of its signals remains a contentious and highly subjective form of 'domain knowledge'. We investigate the predictive value of patterns in financial time series, applying machine learning and signal processing techniques to 22 years of US equity data. By reframing technical analysis as a poorly specified, arbitrarily preset feature-extractive layer in a deep neural network, we show that better convolutional filters can be learned directly from the data, and provide visual representations of the features being identified. We find that an ensemble of shallow, thresholded CNNs optimised over different resolutions achieves state-of-the-art performance on this domain, outperforming technical methods while retaining some of their interpretability.


title: First determination of the temperature of a lunar impact flash and its evolution

abstract: We report the first analysis of a flash produced by the impact of a meteoroid on the lunar surface and recorded both in the near-infrared and in the visible. Despite the fact that similar data have been recently published by other team during the refereeing process of our manuscript (Bonanos et al. 2018), our result still forms the first measurement of the temperature of a telescopic lunar impact flash (Madiedo and Ortiz 2016, 2018). The flash exhibited a peak magnitude of 5.1 $\pm$ 0.3 in the near-infrared I band and 7.3 $\pm$ 0.2 in the visible, and the total duration of the event in these bands was 0.20 s and 0.18 s, respectively. The origin of the meteoroid was investigated, and we inferred that the most likely scenario is that the impactor that belonged to the sporadic background. The analysis of this event has provided for the first time an estimation of the emission efficiency in the near-infrared {\eta}I for sporadic meteoroids impacting the Moon. We have determined that this efficiency is around 56% higher than in the visible band and we have found a maximum impact plume temperature of ~4000 K at the initial phase followed by temperatures of around 3200 K after the peak brightness. The size of the crater produced as a consequence of this impact is also calculated.


title: Proposal to Test Quantum Wave-Particle Superposition on Massive Mechanical Resonators

abstract: We present and analyze a proposal for a macroscopic quantum delayed-choice experiment with massive mechanical resonators. In our approach, the electronic spin of a single nitrogen-vacancy impurity is employed to control the coherent coupling between the mechanical modes of two carbon nanotubes. We demonstrate that a mechanical phonon can be in a coherent superposition of wave and particle, thus exhibiting both behaviors at the same time. We also discuss the mechanical noise tolerable in our proposal and predict a critical temperature below which the morphing between wave and particle states can be effectively observed in the presence of environment-induced fluctuations. Furthermore, we describe how to amplify single-phonon excitations of the mechanical-resonator superposition states to a macroscopic level, via squeezing the mechanical modes. This approach corresponds to the phase-covariant cloning. Therefore, our proposal can serve as a test of macroscopic quantum superpositions of massive objects even with large excitations. This work, which describes a fundamental test of the limits of quantum mechanics at the macroscopic scale, would have implications for quantum metrology and quantum information processing.


title: Hidden strange pentaquark in constituent quark models

abstract: In the framework of the chiral quark model, we investigate the hidden strange pentaquark system of the $N\phi$ state with the quantum numbers of IJ=$\frac{1}{2}$$\frac{3}{2}$. The results show that the $N\phi$ state can be bound through the interaction of the $\sigma$ meson exchange plus the effect of the channel coupling, which means that the effect of the channel coupling has an influence on the existence of this bound state.


title: On the incidence of planet candidates in open clusters and a planet confirmation

abstract: Detecting exoplanets in clusters of different ages is a powerful tool for understanding a number of open questions, such as how the occurrence rate of planets depends on stellar metallicity, on mass, or on stellar environment. We present the first results of our HARPS long-term radial velocity (RV) survey which aims to discover exoplanets around intermediate-mass (between ~ 2 and 6 Msun) evolved stars in open clusters. We selected 826 bona fide HARPS observations of 114 giants from an initial list of 29 open clusters and computed the half peak-to-peak variability of the HARPS RV measurements, namely DeltaRV/2, for each target, to search for the best planet-host candidates. We also performed time series analysis for a few targets with enough observations to search for orbital solutions. Although we attempted to rule out the presence of binaries on the basis of previous surveys, we detected 14 new binary candidates in our sample, most of them identified from a comparison between HARPS and CORAVEL data. We also suggest 11 new planet-host candidates based on a relation between the stellar surface gravity and DeltaRV/2. Ten of the candidates have less than 3 Msun, showing evidence of a low planet occurrence rate for massive stars. One of the planet-host candidates and one of the binary candidates show very clear RV periodic variations, allowing us to confirm the discovery of a new planet and to compute the orbital solution for the binary. The planet is IC 4651 9122b, with a minimum mass of msini = 6.3 MJ and a semi-major axis a = 2.0 AU. The binary companion is NGC 5822 201B, with a very low minimum mass of msini = 0.11 Msun and a semi-major axis a = 6.5 AU, which is comparable to the Jupiter distance to the Sun.


title: Catalog of Formalized Application Integration Patterns

abstract: Enterprise application integration (EAI) solutions are the centrepiece of current enterprise IT architectures (e.g., cloud and mobile computing, business networks), however, require the formalization of their building blocks, represented by integration patterns, verification and optimization. This work serves as an instructive pattern formalization catalog that leads to the formalization of all currently known integration patterns. Therefore, we explain the classification of the underlying requirements of the pattern semantics and formalize representative patterns from the different categories, by realizing them in timed db-net. In this way, the catalog will allow for the addition of future patterns by assigning them to a category and applying the described formalism.


title: Statistics of bounded processes driven by Poisson white noise

abstract: We study the statistical properties of jump processes in a bounded domain that are driven by Poisson white noise. We derive the corresponding Kolmogorov-Feller equation and provide a general representation for its stationary solutions. Exact stationary solutions of this equation are found and analyzed in two particular cases. All our analytical findings are confirmed by numerical simulations.


title: A Convergence Study for Reduced Rank Extrapolation on Nonlinear Systems

abstract: Reduced Rank Extrapolation (RRE) is a polynomial type method used to accelerate the convergence of sequences of vectors $\{\boldsymbol{x}_m\}$. It is applied successfully in different disciplines of science and engineering in the solution of large and sparse systems of linear and nonlinear equations of very large dimension. If $\boldsymbol{s}$ is the solution to the system of equations $\boldsymbol{x}=\boldsymbol{f}(\boldsymbol{x})$, first, a vector sequence $\{\boldsymbol{x}_m\}$ is generated via the fixed-point iterative scheme $\boldsymbol{x}_{m+1}=\boldsymbol{f}(\boldsymbol{x}_m)$, $m=0,1,\ldots,$ and next, RRE is applied to this sequence to accelerate its convergence. RRE produces approximations $\boldsymbol{s}_{n,k}$ to $\boldsymbol{s}$ that are of the form $\boldsymbol{s}_{n,k}=\sum^k_{i=0}\gamma_i\boldsymbol{x}_{n+i}$ for some scalars $\gamma_i$ depending (nonlinearly) on $\boldsymbol{x}_n, \boldsymbol{x}_{n+1},\ldots,\boldsymbol{x}_{n+k+1}$ and satisfying $\sum^k_{i=0}\gamma_i=1$. The convergence properties of RRE when applied in conjunction with linear $\boldsymbol{f}(\boldsymbol{x})$ have been analyzed in different publications. In this work, we discuss the convergence of the $\boldsymbol{s}_{n,k}$ obtained from RRE with nonlinear $\boldsymbol{f}(\boldsymbol{x})$ (i)\,when $n\to\infty$ with fixed $k$, and (ii)\,in two so-called {\em cycling} modes.


title: The CodRep Machine Learning on Source Code Competition

abstract: CodRep is a machine learning competition on source code data. It is carefully designed so that anybody can enter the competition, whether professional researchers, students or independent scholars, without specific knowledge in machine learning or program analysis. In particular, it aims at being a common playground on which the machine learning and the software engineering research communities can interact. The competition has started on April 14th 2018 and has ended on October 14th 2018. The CodRep data is hosted at https://github.com/KTH/CodRep-competition/.


title: 3D printing of optical materials: an investigation of the microscopic properties

abstract: 3D printing technologies are currently enabling the fabrication of objects with complex architectures and tailored properties. In such framework, the production of 3D optical structures, which are typically based on optical transparent matrices, optionally doped with active molecular compounds and nanoparticles, is still limited by the poor uniformity of the printed structures. Both bulk inhomogeneities and surface roughness of the printed structures can negatively affect the propagation of light in 3D printed optical components. Here we investigate photopolymerization-based printing processes by laser confocal microscopy. The experimental method we developed allows the printing process to be investigated in-situ, with microscale spatial resolution, and in real-time. The modelling of the photo-polymerization kinetics allows the different polymerization regimes to be investigated and the influence of process variables to be rationalized. In addition, the origin of the factors limiting light propagation in printed materials are rationalized, with the aim of envisaging effective experimental strategies to improve optical properties of printed materials.


title: Gross-Neveu-Wilson model and correlated symmetry-protected topological phases

abstract: We show that a Wilson-type discretization of the Gross-Neveu model, a fermionic N-flavor quantum field theory displaying asymptotic freedom and chiral symmetry breaking, can serve as a playground to explore correlated symmetry-protected phases of matter using techniques borrowed from high-energy physics. A large- N study, both in the Hamiltonian and Euclidean formalisms, yields a phase diagram with trivial, topological, and symmetry-broken phases separated by critical lines that meet at a tri-critical point. We benchmark these predictions using tools from condensed matter and quantum information science, which show that the large-N method captures the essence of the phase diagram even at N = 1. Moreover, we describe a cold-atom scheme for the quantum simulation of this lattice model, which would allow to explore the single-flavor phase diagram.

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


title: Low-Cost Experiments with Everyday Objects for Homework Assignments

abstract: We describe four classical undergraduate physics experiments that were done with everyday objects and low-cost sensors: mechanical oscillations, transmittance of light through a slab of matter, beam deformation under load, and thermal relaxation due to heat loss. We used these experiments to train students for experimental homework projects but they could be used and expanded in a variety of contexts: lecture demonstrations, low cost students' labs, science projects, distance learning courses...


title: Solar energy harvesting with carbon nitrides: Do we understand the mechanism?

abstract: The photocatalytic splitting of water into molecular hydrogen and molecular oxygen with sunlight is the dream reaction for solar energy conversion. Since decades, transition-metal-oxide semiconductors and supramolecular organometallic structures have been extensively explored as photocatalysts for solar water splitting. More recently, polymeric carbon nitride materials consisting of triazine or heptazine building blocks have attracted considerable attention as hydrogen-evolution photocatalysts. The mechanism of hydrogen evolution with polymeric carbon nitrides is discussed throughout the current literature in terms of the familiar concepts developed for photoelectrochemical water splitting with semiconductors since the 1970s. We discuss in this perspective an alternative mechanistic paradigm for photoinduced water splitting with carbon nitrides, which focusses on the specific features of the photochemistry of aromatic N-heterocycles in aqueous environments. It is shown that a water molecule which is hydrogen-bonded to an N-heterocycle can be decomposed into hydrogen and hydroxyl radicals by two simple sequential photochemical reactions. This concept is illustrated by first-principles calculations of excited-state reaction paths and their energy profiles for hydrogen-bonded complexes of pyridine, triazine and heptazine with a water molecule.


title: Bandit Online Learning with Unknown Delays

abstract: This paper deals with bandit online learning problems involving feedback of unknown delay that can emerge in multi-armed bandit (MAB) and bandit convex optimization (BCO) settings. MAB and BCO require only values of the objective function involved that become available through feedback, and are used to estimate the gradient appearing in the corresponding iterative algorithms. Since the challenging case of feedback with \emph{unknown} delays prevents one from constructing the sought gradient estimates, existing MAB and BCO algorithms become intractable. For such challenging setups, delayed exploration, exploitation, and exponential (DEXP3) iterations, along with delayed bandit gradient descent (DBGD) iterations are developed for MAB and BCO, respectively. Leveraging a unified analysis framework, it is established that the regret of DEXP3 and DBGD are ${\cal O}\big( \sqrt{K\bar{d}(T+D)} \big)$ and ${\cal O}\big( \sqrt{K(T+D)} \big)$, respectively, where $\bar{d}$ is the maximum delay and $D$ denotes the delay accumulated over $T$ slots. Numerical tests using both synthetic and real data validate the performance of DEXP3 and DBGD.


title: Black-box quantum state preparation without arithmetic

abstract: Black-box quantum state preparation is an important subroutine in many quantum algorithms. The standard approach requires the quantum computer to do arithmetic, which is a key contributor to the complexity. Here we present a new algorithm that avoids arithmetic. We thereby reduce the number of gates by a factor of 286-374 over the best prior work for realistic precision; the improvement factor increases with the precision. As quantum state preparation is a crucial subroutine in many approaches to simulating physics on a quantum computer, our new method brings useful quantum simulation closer to reality.


title: The XXL Survey XXVIII. Galaxy luminosity functions of the XXL-N clusters

abstract: The main goal of this study is to investigate the LF of a sample of 142 X-ray selected clusters, with spectroscopic redshift confirmation and a well defined selection function, spanning a wide redshift and mass range, and to test the LF dependence on cluster global properties, in a homogeneous and unbiased way. Our study is based on the Canada-France-Hawaii Telescope Legacy Survey (CFHTLS) photometric galaxy catalogue,associated with photometric redshifts. We constructed LFs inside a scaled radius using a selection in photometric redshift around the cluster spectroscopic redshift in order to reduce projection effects. The width of the photometric redshift selection was carefully determined to avoid biasing the LF and depended on both the cluster redshift and the galaxy magnitudes. The purity was then enhanced by applying a precise background subtraction. We constructed composite luminosity functions (CLFs) by stacking the individual LFs and studied their evolution with redshift and richness, analysing separately the brightest cluster galaxy (BCG) and non-BCG members. We fitted the dependences of the CLFs and BCG distributions parameters with redshift and richness conjointly in order to distinguish between these two effects. We find that the usual photometric redshift selection methods can bias the LF estimate if the redshift and magnitude dependence of the photometric redshift quality is not taken into account. Our main findings concerning the evolution of the galaxy luminosity distribution with redshift and richness are that, in the inner region of clusters and in the redshift-mass range we probe (about $0<z<1$ and $10^{13} M_{\odot}<M_{500}<5\times10^{14}M_{\odot}$), the bright part of the LF (BCG excluded) does not depend much on mass or redshift except for its amplitude, whereas the BCG luminosity increases both with redshift and richness, and its scatter decreases with redshift.


title: Global fits of the MSSM with GAMBIT

abstract: The minimal supersymmetric standard model is a popular and well-motivated extension of the standard model. As such, it has been constrained by a large number of different experimental searches. To truly assess the impacts of these experiments on the model one must perform a global fit, scanning over the multi-dimensional parameter space and combining all the data in a statistically rigorous manner. In this talk, I presented results from global fits of supersymmetric models performed with GAMBIT, the Global and Modular Beyond-the-Standard-Model (BSM) Inference Tool. I showed MSSM results from the latest GAMBIT papers, as well as exciting preliminary results from a dedicated study of the collider constraints on the electroweakino sector.


title: Eigenvalues and minimizers for a non-standard growth non-local operator

abstract: In this article we study eigenvalues and minimizers of a fractional non-standard growth problem. We prove several properties on this quantities and their corresponding eigenfunctions.


title: Efficient Decentralized Deep Learning by Dynamic Model Averaging

abstract: We propose an efficient protocol for decentralized training of deep neural networks from distributed data sources. The proposed protocol allows to handle different phases of model training equally well and to quickly adapt to concept drifts. This leads to a reduction of communication by an order of magnitude compared to periodically communicating state-of-the-art approaches. Moreover, we derive a communication bound that scales well with the hardness of the serialized learning problem. The reduction in communication comes at almost no cost, as the predictive performance remains virtually unchanged. Indeed, the proposed protocol retains loss bounds of periodically averaging schemes. An extensive empirical evaluation validates major improvement of the trade-off between model performance and communication which could be beneficial for numerous decentralized learning applications, such as autonomous driving, or voice recognition and image classification on mobile phones.


title: Discreteness of Ultra-Parallel Complex Hyperbolic Triangle Groups of Type $[m_1,m_2,0]$

abstract: In this paper we consider ultra-parallel complex hyperbolic triangle groups of type $[m_1,m_2,0]$, i.e. groups of isometries of the complex hyperbolic plane, generated by complex reflections in three ultra-parallel complex geodesics two of which intersect on the boundary. We prove some discreteness and non-discreteness results for these groups and discuss the connection between the discreteness results and ellipticity of certain group elements.


title: RNNIDS: Enhancing Network Intrusion Detection Systems through Deep Learning

abstract: Security of information passing through the Internet is threatened by today's most advanced malware ranging from orchestrated botnets to simpler polymorphic worms. These threats, as examples of zero-day attacks, are able to change their behavior several times in the early phases of their existence to bypass the network intrusion detection systems (NIDS). In fact, even well-designed, and frequently-updated signature-based NIDS cannot detect the zero-day treats due to the lack of an adequate signature database, adaptive to intelligent attacks on the Internet. More importantly, having an NIDS, it should be tested on malicious traffic dataset that not only represents known attacks, but also can to some extent reflect the characteristics of unknown, zero-day attacks. Generating such traffic is identified in the literature as one of the main obstacles for evaluating the effectiveness of NIDS. To address these issues, we introduce RNNIDS that applies Recurrent Neural Networks (RNNs) to find complex patterns in attacks and generate similar ones. In this regard, for the first time, we demonstrate that RNNs are helpful to generate new, unseen mutants of attacks as well as synthetic signatures from the most advanced malware to improve the intrusion detection rate. Besides, to further enhance the design of an NIDS, RNNs can be employed to generate malicious datasets containing, e.g., unseen mutants of a malware. To evaluate the feasibility of our approaches, we conduct extensive experiments by incorporating publicly available datasets, where we show a considerable improvement in the detection rate of an off-the-shelf NIDS (up to 16.67%).


title: Modeling the measurement accuracy of pre-atmosphere velocities of meteoroids

abstract: Many existing optical meteor trajectory estimation methods use the approximation that the velocity of the meteor at the beginning of its luminous phase is equivalent to its velocity before atmospheric entry. Meteoroid kinetic energy loss prior to the luminous phase cannot be measured, but for some masses and entry geometries neglecting this loss may lead to non-negligible deceleration prior to thermal ablation. Using a numerical meteoroid ablation model, we simulate the kinematics of meteoroids beginning at 180 km with initial velocities ranging from 11 km/s to 71 km/s, and compare model velocities at the moment of detection to measurements. We validate the simulations by comparing the simulated luminous beginning heights with observed beginning heights of different populations of meteors detected with different optical systems. We find that most low-velocity meteoroids have a significant velocity difference of 100 m/s to 750 m/s (depending on meteoroid type, mass, and observation system). This systematic underestimate of meteoroid speeds also results in systematically lower semi-major axes for meteoroid orbits.


title: A Regularized and Smoothed Fischer-Burmeister Method for Quadratic Programming with Applications to Model Predictive Control

abstract: This paper considers solving convex quadratic programs (QPs) in a real-time setting using a regularized and smoothed Fischer-Burmeister method (FBRS). The Fischer-Burmeister function is used to map the optimality conditions of the quadratic program to a nonlinear system of equations which is solved using Newton's method. Regularization and smoothing are applied to improve the practical performance of the algorithm and a merit function is used to globalize convergence. FBRS is simple to code, easy to warmstart, robust to early termination, and has attractive theoretical properties, making it appealing for real-time and embedded applications. Numerical experiments using several predictive control examples show that the proposed method is competitive with other state of the art solvers.


title: Fuzzy Logic Interpretation of Quadratic Networks

abstract: Over past several years, deep learning has achieved huge successes in various applications. However, such a data-driven approach is often criticized for lack of interpretability. Recently, we proposed artificial quadratic neural networks consisting of second-order neurons in potentially many layers. In each second-order neuron, a quadratic function is used in the place of the inner product in a traditional neuron, and then undergoes a nonlinear activation. With a single second-order neuron, any fuzzy logic operation, such as XOR, can be implemented. In this sense, any deep network constructed with quadratic neurons can be interpreted as a deep fuzzy logic system. Since traditional neural networks and second-order counterparts can represent each other and fuzzy logic operations are naturally implemented in second-order neural networks, it is plausible to explain how a deep neural network works with a second-order network as the system model. In this paper, we generalize and categorize fuzzy logic operations implementable with individual second-order neurons, and then perform statistical/information theoretic analyses of exemplary quadratic neural networks.


title: Ballistocardiogram-based Authentication using Convolutional Neural Networks

abstract: The goal of this work is to demonstrate the use of the ballistocardiogram (BCG) signal, derived using head-mounted wearable devices, as a viable biometric for authentication. The BCG signal is the measure of an person's body acceleration as a result of the heart's ejection of blood. It is a characterization of the cardiac cycle and can be derived non-invasively from the measurement of subtle movements of a person's extremities. In this paper, we use several versions of the BCG signal, derived from accelerometer and gyroscope sensors on a Smart Eyewear (SEW) device, for authentication. The derived BCG signals are used to train a convolutional neural network (CNN) as an authentication model, which is personalized for each subject. We evaluate our authentication models using data from 12 subjects and show that our approach has an equal error rate (EER) of 3.5% immediately after training and 13\% after about 2 months, in the worst case. We also explore the use of our authentication approach for people with motor disabilities. Our analysis using a separate dataset of 6 subjects with non-spastic cerebral palsy shows an EER of 11.2% immediately after training and 21.6% after about 2 months, in the worst-case.


title: A uniform result in dimension 2

abstract: We give a uniqueness result in dimension 2 for the solutions to an equation on compact Riemannian surface without boundary.


title: Optimal distributed control of a generalized fractional Cahn-Hilliard system

abstract: In the recent paper `Well-posedness and regularity for a generalized fractional Cahn-Hilliard system' (arXiv:1804.11290) by the same authors, general well-posedness results have been established for a a class of evolutionary systems of two equations having the structure of a viscous Cahn-Hilliard system, in which nonlinearities of double-well type occur. The operators appearing in the system equations are fractional versions in the spectral sense of general linear operators A,B having compact resolvents, which are densely defined, unbounded, selfadjoint, and monotone in a Hilbert space of functions defined in a smooth domain. In this work we complement the results given in arXiv:1804.11290 by studying a distributed control problem for this evolutionary system. The main difficulty in the analysis is to establish a rigorous Frechet differentiability result for the associated control-to-state mapping. This seems only to be possible if the state stays bounded, which, in turn, makes it necessary to postulate an additional global boundedness assumption. One typical situation, in which this assumption is satisfied, arises when B is the negative Laplacian with zero Dirichlet boundary conditions and the nonlinearity is smooth with polynomial growth of at most order four. Also a case with logarithmic nonlinearity can be handled. Under the global boundedness assumption, we establish existence and first-order necessary optimality conditions for the optimal control problem in terms of a variational inequality and the associated adjoint state system.


title: Implementation of quantum secret sharing and quantum binary voting protocol in the IBM quantum computer

abstract: Quantum secret sharing is a way to share secret messages among the clients in a group with complete security. For the first time, Hillery et al. (Phys Rev A 59:1829, 1999) proposed the quantum version of the classical secret sharing protocol using GHZ states. Here, we implement the above quantum secret sharing protocol in 'IBM Q 5 Tenerife' quantum processor and compare the experimentally obtained results with the theoretically predicted ones. Further, a new quantum binary voting protocol is proposed and implemented in the 14-qubit 'IBM Q 14 Melbourne' quantum processor. The results are analyzed through the technique of quantum state tomography, and the fidelity of states is calculated for a different number of executions made in the device.


title: TaAs Weyl semimetal based one-dimensional photonic structures

abstract: Weyl semimetals can be described as the three-dimensional analogue of graphene, showing linear dispersion around nodes (Weyl points) [1]. Tantalum arsenide (TaAs) is among the most studied Weyl semimetals. It has been demonstrated that TaAs has a very high value of the real part of the complex refractive index in the infrared region [2]. In this work we show one-dimensional photonic crystals alternating TaAs with SiO2 or TiO2 and a microcavity where a layer of TaAs is embedded between two SiO2-TiO2 multilayer.


title: Discrete Gauging in Coulomb branches of Three Dimensional $\mathcal{N}=4$ Supersymmetric Gauge Theories

abstract: This paper tests a conjecture on discrete non-Abelian gauging of 3d $\mathcal{N} = 4$ supersymmetric quiver gauge theories. Given a parent quiver with a bouquet of $n$ nodes of rank $1$, invariant under a discrete $S_n$ global symmetry, one can construct a daughter quiver where the bouquet is substituted by a single adjoint $n$ node. Based on the main conjecture in this paper, the daughter quiver corresponds to a theory where the $S_n$ discrete global symmetry is gauged and the new Coulomb branch is a non-Abelian orbifold of the parent Coulomb branch. We demonstrate and test the conjecture for three simply laced families of bouquet quivers and a non-simply laced bouquet quiver with $C_2$ factor in the global symmetry.


title: Secure quantum key distribution over 421 km of optical fiber

abstract: We present a quantum key distribution system with a 2.5 GHz repetition rate using a three-state time-bin protocol combined with a one-decoy approach. Taking advantage of superconducting single-photon detectors optimized for quantum key distribution and ultra low-loss fiber, we can distribute secret keys at a maximum distance of 421 km and obtain secret key rates of 6.5 bps over 405 km.


title: Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints

abstract: We study the problem of synthesizing a policy that maximizes the entropy of a Markov decision process (MDP) subject to a temporal logic constraint. Such a policy minimizes the predictability of the paths it generates, or dually, maximizes the exploration of different paths in an MDP while ensuring the satisfaction of a temporal logic specification. We first show that the maximum entropy of an MDP can be finite, infinite or unbounded. We provide necessary and sufficient conditions under which the maximum entropy of an MDP is finite, infinite or unbounded. We then present an algorithm which is based on a convex optimization problem to synthesize a policy that maximizes the entropy of an MDP. We also show that maximizing the entropy of an MDP is equivalent to maximizing the entropy of the paths that reach a certain set of states in the MDP. Finally, we extend the algorithm to an MDP subject to a temporal logic specification. In numerical examples, we demonstrate the proposed method on different motion planning scenarios and illustrate the relation between the restrictions imposed on the paths by a specification, the maximum entropy, and the predictability of paths.


title: Design and Evaluation of a Tutor Platform for Personalized Vocabulary Learning

abstract: This paper presents our experiences in designing, implementing, and piloting an intelligent vocabulary learning tutor. The design builds on several intelligent tutoring design concepts, including graph-based knowledge representation, learner modeling, and adaptive learning content and assessment exposition. Specifically, we design a novel phased learner model approach to enable systematic exposure to words during vocabulary instruction. We also built an example application over the tutor platform that uses a learning activity involving videos and an assessment activity involving word to picture/image association. More importantly, the tutor adapts to the significant variation in children's knowledge at the beginning of kindergarten, and evolves the application at the speed of each individual learner. A pilot study with 180 kindergarten learners allowed the tutor to collect various kinds of activity information suitable for insights and interventions both at an individual- and class-level. The effort also demonstrates that we can do A/B testing for a variety of hypotheses at scale with such a framework.


title: Effects of Load-Based Frequency Regulation on Distribution Network Operation

abstract: This paper examines the operation of distribution networks that have large aggregations of thermostatically controlled loads (TCLs) providing secondary frequency regulation to the bulk power system. Specifically, we assess the prevalence of distribution network constraint violations, such as over- or under-voltages and overloading of transformers. Our goal is to determine the set of constraints that are at increased risk of being violated when TCLs provide regulation. We compare network operation in two cases: first with TCLs operating freely, and second with TCLs controlled to track a regulation signal. Using GridLAB-D, we run power flow simulations of five real distribution networks. Our results indicate that voltage limits are at increased risk of violation when TCLs provide regulation because of increased voltage variation. Effects on transformer aging are more nuanced and depend on the method used for dispatching TCLs. We find that in many distribution networks it may only be necessary to consider voltage constraints when designing a TCL control strategy that protects the distribution network.


title: Convergence without points

abstract: We introduce a pointfree theory of convergence on lattices and coframes. A convergence lattice is a lattice $L$ with a monotonic map $\lim_L$ from the lattice of filters on $L$ to $L$, meant to be an abstract version of the map sending every filter of subsets to its set of limits. This construction exhibits the category of convergence spaces as a coreflective subcategory of the opposite of the category of convergence lattices. We extend this construction to coreflections between limit spaces and the opposite of so-called limit lattices and limit coframes, between pretopological convergence spaces and the opposite of so-called pretopological convergence coframes, between adherence spaces and the opposite of so-called adherence coframes, between topological spaces and the opposite of so-called topological coframes. All of our pointfree categories are complete and cocomplete, and topological over the category of coframes. Our final pointfree category, that of topological coframes, shares with the category of frames the property of being in a dual adjunction with the category of topological spaces. We show that the latter arises as a retract of the former, and that this retraction restricts to a reflection between frames and so-called strong topological coframes.


title: FHIRChain: Applying Blockchain to Securely and Scalably Share Clinical Data

abstract: Secure and scalable data sharing is essential for collaborative clinical decision making. Conventional clinical data efforts are often siloed, however, which creates barriers to efficient information exchange and impedes effective treatment decision made for patients. This paper provides four contributions to the study of applying blockchain technology to clinical data sharing in the context of technical requirements defined in the "Shared Nationwide Interoperability Roadmap" from the Office of the National Coordinator for Health Information Technology (ONC). First, we analyze the ONC requirements and their implications for blockchain-based systems. Second, we present FHIRChain, which is a blockchain-based architecture designed to meet ONC requirements by encapsulating the HL7 Fast Healthcare Interoperability Resources (FHIR) standard for shared clinical data. Third, we demonstrate a FHIRChain-based decentralized app using digital health identities to authenticate participants in a case study of collaborative decision making for remote cancer care. Fourth, we highlight key lessons learned from our case study.


title: Self-control of a passively phase-locked Er:fibre frequency comb

abstract: Femtosecond frequency combs have boosted progress in various fields of precision metrology. Nevertheless, demanding applications such as front-end frequency and time standards, ultrastable microwave generation or high-resolution spectroscopy still necessitate improved stability. The spectral bandwidth and absolute position of individual comb lines are crucial in this context. Typically, both parameters are controlled on short and long time scales by tight locking to external optical and microwave references which represent costly and cumbersome additions to the entire setup. Here, we demonstrate fully self-controlled stabilization of a fibre-based femtosecond frequency comb requiring neither optical nor radio frequency external references. In the first step, this technology allows us to optically eliminate the carrier-envelope phase slip via ultrabroadband difference frequency generation. The resulting amplification of intrinsically quantum-limited phase noise from the mode-locked oscillator is elegantly addressed in the second step. We efficiently suppress these excess fluctuations by a direct transfer of the superior short-time noise properties of the fundamental oscillator to the offset-free comb. Our combined scheme provides a high-precision frequency reference operating completely autonomously, thus marking a new era for fibre-based sources in advanced applications ranging from space exploration to tests of the invariability of fundamental constants.


title: Probability measure-valued polynomial diffusions

abstract: We introduce a class of probability measure-valued diffusions, coined polynomial, of which the well-known Fleming--Viot process is a particular example. The defining property of finite dimensional polynomial processes considered by Cuchiero et al. (2012) and Filipovic and Larsson (2016) is transferred to this infinite dimensional setting. This leads to a representation of conditional marginal moments via a finite dimensional linear PDE, whose spatial dimension corresponds to the degree of the moment. As a result, the tractability of finite dimensional polynomial processes are preserved in this setting. We also obtain a representation of the corresponding extended generators, and prove well-posedness of the associated martingale problems. In particular, uniqueness is obtained from the duality relationship with the PDEs mentioned above.


title: AF-embeddings of residually finite dimensional C*-algebras

abstract: It is shown that a separable exact residually finite dimensional C*-algebra with locally finitely generated (rational) even K-homology embeds in a uniformly hyperfinite C*-algebra.


title: Lasing and Amplification from Two-Dimensional Atom Arrays

abstract: We explore the ability of two-dimensional periodic atom arrays to produce light amplification and generate laser emission when gain is introduced through external optical pumping. Specifically, we predict that lasing can take place for arbitrarily weak atomic scatterers assisted by cooperative interaction among atoms in a 2D lattice. We base this conclusion on analytical theory for three-level scatterers, which additionally reveals a rich interplay between lattice and atomic resonances. Our results provide a general background to understand light amplification and lasing in periodic atomic arrays, with promising applications in the generation, manipulation, and control of coherent photon states at the nanoscale.


title: Robust Heartbeat Detection from Multimodal Data via CNN-based Generalizable Information Fusion

abstract: Objective: Heartbeat detection remains central to cardiac disease diagnosis and management, and is traditionally performed based on electrocardiogram (ECG). To improve robustness and accuracy of detection, especially, in certain critical-care scenarios, the use of additional physiological signals such as arterial blood pressure (BP) has recently been suggested. There, estimation of heartbeat location requires information fusion from multiple signals. However, reported efforts in this direction often obtain multimodal estimates somewhat indirectly, by voting among separately obtained signal-specific intermediate estimates. In contrast, we propose to directly fuse information from multiple signals without requiring intermediate estimates, and thence estimate heartbeat location in a robust manner. Method: We propose as a heartbeat detector, a convolutional neural network (CNN) that learns fused features from multiple physiological signals. This method eliminates the need for hand-picked signal-specific features and ad hoc fusion schemes. Further, being data-driven, the same algorithm learns suitable features from arbitrary set of signals. Results: Using ECG and BP signals of PhysioNet 2014 Challenge database, we obtained a score of 94%. Further, using two ECG channels of MIT-BIH arrhythmia database, we scored 99.92\%. Both those scores compare favourably with previously reported database-specific results. Also, our detector achieved high accuracy in a variety of clinical conditions. Conclusion: The proposed CNN-based information fusion (CIF) algorithm is generalizable, robust and efficient in detecting heartbeat location from multiple signals. Significance: In medical signal monitoring systems, our technique would accurately estimate heartbeat locations even when only a subset of channels are reliable.


title: A New ECOC Algorithm for Multiclass Microarray Data Classification

abstract: The classification of multi-class microarray datasets is a hard task because of the small samples size in each class and the heavy overlaps among classes. To effectively solve these problems, we propose novel Error Correcting Output Code (ECOC) algorithm by Enhance Class Separability related Data Complexity measures during encoding process, named as ECOCECS. In this algorithm, two nearest neighbor related DC measures are deployed to extract the intrinsic overlapping information from microarray data. Our ECOC algorithm aims to search an optimal class split scheme by minimizing these measures. The class splitting process ends when each class is separated from others, and then the class assignment scheme is mapped as a coding matrix. Experiments are carried out on five microarray datasets, and results demonstrate the effectiveness and robustness of our method in comparison with six state-of-art ECOC methods. In short, our work confirm the probability of applying DC to ECOC framework.


title: Bayesian Sequential Joint Detection and Estimation

abstract: Joint detection and estimation refers to deciding between two or more hypotheses and, depending on the test outcome, simultaneously estimating the unknown parameters of the underlying distribution. This problem is investigated in a sequential framework under mild assumptions on the underlying random process. We formulate an unconstrained sequential decision problem, whose cost function is the weighted sum of the expected run-length and the detection/estimation errors. Then, a strong connection between the derivatives of the cost function with respect to the weights, which can be interpreted as Lagrange multipliers, and the detection/estimation errors of the underlying scheme is shown. This property is used to characterize the solution of a closely related sequential decision problem, whose objective function is the expected run-length under constraints on the average detection/estimation errors. We show that the solution of the constrained problem coincides with the solution of the unconstrained problem with suitably chosen weights. These weights are characterized as the solution of a linear program, which can be solved using efficient off-the-shelf solvers. The theoretical results are illustrated with two example problems, for which optimal sequential schemes are designed numerically and whose performance is validated via Monte Carlo simulations.


title: Fashion is Taking Shape: Understanding Clothing Preference Based on Body Shape From Online Sources

abstract: To study the correlation between clothing garments and body shape, we collected a new dataset (Fashion Takes Shape), which includes images of users with clothing category annotations. We employ our multi-photo approach to estimate body shapes of each user and build a conditional model of clothing categories given body-shape. We demonstrate that in real-world data, clothing categories and body-shapes are correlated and show that our multi-photo approach leads to a better predictive model for clothing categories compared to models based on single-view shape estimates or manually annotated body types. We see our method as the first step towards the large-scale understanding of clothing preferences from body shape.


title: Automatic multi-objective based feature selection for classification

abstract: Objective: Accurately classifying the malignancy of lesions detected in a screening scan is critical for reducing false positives. Radiomics holds great potential to differentiate malignant from benign tumors by extracting and analyzing a large number of quantitative image features. Since not all radiomic features contribute to an effective classifying model, selecting an optimal feature subset is critical. Methods: This work proposes a new multi-objective based feature selection (MO-FS) algorithm that considers sensitivity and specificity simultaneously as the objective functions during feature selection. For MO-FS, we developed a modified entropy based termination criterion (METC) that stops the algorithm automatically rather than relying on a preset number of generations. We also designed a solution selection methodology for multi-objective learning that uses the evidential reasoning approach (SMOLER) to automatically select the optimal solution from the Pareto-optimal set. Furthermore, we developed an adaptive mutation operation to generate the mutation probability in MO-FS automatically. Results: We evaluated the MO-FS for classifying lung nodule malignancy in low-dose CT and breast lesion malignancy in digital breast tomosynthesis. Conclusion: The experimental results demonstrated that the feature set selected by MO-FS achieved better classification performance than features selected by other commonly used methods. Significance: The proposed method is general and more effective radiomic feature selection strategy.


title: Magnetic Flux Cancelation as the Buildup and Trigger Mechanism for CME-Producing Eruptions in two Small Active Regions

abstract: We follow two small, magnetically isolated CME-producing solar active regions (ARs) from the time of their emergence until several days later, when their core regions erupt to produce the CMEs. In both cases, magnetograms show: (a) following an initial period where the poles of the emerging regions separate from each other, the poles then reverse direction and start to retract inward; (b) during the retraction period, flux cancelation occurs along the main neutral line of the regions; (c) this cancelation builds the sheared core field/flux rope that eventually erupts to make the CME. In the two cases, respectively 30% and 50% of the maximum flux of the region cancels prior to the eruption. Recent studies indicate that solar coronal jets frequently result from small-scale filaments eruptions, with those "minifilament" eruptions also being built up and triggered by cancelation of magnetic flux. Together, the small-AR eruptions here and the coronal jet results suggest that isolated bipolar regions tend to erupt when some threshold fraction, perhaps in the range of 50%, of the region's maximum flux has canceled. Our observed erupting filaments/flux ropes form at sites of flux cancelation, in agreement with previous observations. Thus, the recent finding that minifilaments that erupt to form jets also form via flux cancelation is further evidence that minifilaments are small-scale versions of the long-studied full-sized filaments.


title: Exploring Brain-wide Development of Inhibition through Deep Learning

abstract: We introduce here a fully automated convolutional neural network-based method for brain image processing to Detect Neurons in different brain Regions during Development (DeNeRD). Our method takes a developing mouse brain as input and i) registers the brain sections against a developing mouse reference atlas, ii) detects various types of neurons, and iii) quantifies the neural density in many unique brain regions at different postnatal (P) time points. Our method is invariant to the shape, size and expression of neurons and by using DeNeRD, we compare the brain-wide neural density of all GABAergic neurons in developing brains of ages P4, P14 and P56. We discover and report 6 different clusters of regions in the mouse brain in which GABAergic neurons develop in a differential manner from early age (P4) to adulthood (P56). These clusters reveal key steps of GABAergic cell development that seem to track with the functional development of diverse brain regions as the mouse transitions from a passive receiver of sensory information (<P14) to an active seeker (>P14).


title: Helicity dynamics, inverse and bi-directional cascades in fluid and MHD turbulence: A brief review

abstract: We briefly review helicity dynamics, inverse and bi-directional cascades in fluid and magnetohydrodynamic (MHD) turbulence, with an emphasis on the latter. The energy of a turbulent system, an invariant in the non-dissipative case, is transferred to small scales through nonlinear mode coupling. Fifty years ago, it was realized that, for a two-dimensional fluid, energy cascades instead to larger scales, and so does magnetic helicity in three-dimensional MHD. However, evidence obtained recently indicates that in fact, for a range of governing parameters, there are systems for which their ideal invariants can be transferred, with constant fluxes, to both the large scales and the small scales, as for MHD or rotating stratified flows, in the latter case including with quasi-geostrophic forcing. Such bi-directional, split, cascades directly affect the rate at which mixing and dissipation occur in these flows in which nonlinear eddies interact with fast waves with anisotropic dispersion laws, due for example to imposed rotation, stratification or uniform magnetic fields. The directions of cascades can be obtained in some cases through the use of phenomenological arguments, one of which we derive here following classical lines in the case of the inverse magnetic helicity cascade in electron MHD. With more highly-resolved data sets stemming from large laboratory experiments, high-performance computing and in-situ satellite observations, machine-learning tools are bringing novel perspectives to turbulence research, e.g. in helping devise new explicit sub-grid scale parameterizations, which may lead to enhanced physical insight, including in the future in the case of these new bi-directional cascades.


title: PAW mediated ab initio simulations on linear response phonon dynamics of anisotropic black phosphorous monolayer for thermoelectric applications

abstract: The first order standard perturbation theory combined with ab initio projector augmented wave operator challenges the realization of the standard Sternheimer equation with linear computational efficiency. This efficiency motivates us to describe the electron-phonon interaction in two-dimensional (2D) black phosphorous monolayer using generalized density functional perturbation theory (DFPT) with Boltzmann transport theory (BTE). Subsequently, linear response phonon dynamic behaviour in terms of conductivities, seebeck coefficients and transport properties are focused for its thermoelectric application. The analysis reveals the crystal orientation dependence via structural anisotropy and the density of states of the monolayer structure. Momentum dependent phonon population dynamics along with the phonon linewidth are efficient in terms of reciprocal space electronic states. The optimized values of thermal conductivities of electrons and Seebeck coefficients act as driving force to modulate thermoelectric effects. Figure of merit is calculated to be 0.074 at 300 K and 0.152 at 500 K of the MLBP system as a function of the power factor. The value of lattice thermal conductivity is 37.15 W/mK at room temperature and follows the inverse dependency with temperature. With the anticipated superior performance, profound thermoelectric applications can be achieved particularly in the monolayer black phosphorous system.


title: Microfluidic study of effects of flow velocity and nutrient concentration on biofilm accumulation and adhesive strength in a microchannel

abstract: Biofilm accumulation in the porous media can cause plugging and change many physical properties of porous media. Targeted bioplugging may have significant applications for industrial processes. A deeper understanding of the relative influences of hydrodynamic conditions including flow velocity and nutrient concentration, on biofilm growth and detachment is necessary to plan and analyze bioplugging experiments and field trials. The experimental results by means of microscopic imaging over a T-shape microchannel show that increase in fluid velocity could facilitate biofilm growth, but that above a velocity threshold, biofilm detachment and inhibition of biofilm formation due to high shear stress were observed. High nutrient concentration prompts the biofilm growth, but was accompanied by a relatively weak adhesive strength. This letter provides an overview of biofilm development in a hydrodynamic environment for better predicting and modelling the bioplugging associated with porous system in petroleum industry, hydrogeology, and water purification.


title: On a new type of non-stationary helical flows for incompressible couple stress fluid

abstract: We have explored here the case of three-dimensional non-stationary flows of helical type for the incompressible couple stress fluid with given Bernoulli-function in the whole space (the Cauchy problem). In our presentation, the case of non-stationary helical flows with constant coefficient of proportionality alpha between velocity and the curl field of flow is investigated. Conditions for the existence of the exact solution for the aforementioned type of flows are obtained, for which non-stationary helical flow with invariant Bernoulli-function is considered satisfying to Laplace equation. The spatial and time-dependent parts of the pressure field of the fluid flow should be determined via Bernoulli-function, if components of the velocity of the flow are already obtained. Analytical and numerical findings have been outlined including outstandung graphical presentations of various types of constructed solution in illuminating dynamical snap-shots which demonstrate developing in time the structural behaviour of topology of the aforepresented solutions.


title: On a question of Perlis and Stuart regarding arithmetic equivalence

abstract: Let $K$ be a number field. The $K$-arithmetic type of a rational prime $\ell$ is the tuple $A_{K}(\ell)=(f^{K}_{1},...,f^{K}_{g_{\ell}})$ of the residue degrees of $\ell$ in $K$, written in ascending order. A well known result of Perlis from the 70's states that two number fields have the same Dedekind zeta function if and only if for almost all primes $\ell$ the arithmetic types of $\ell$ in both fields coincide. By the end of the 90's Perlis and Stuart asked if having the same zeta function implies that for ramified primes the sum of the ramification degrees coincide. Here we study and answer their question for septic number fields.


title: Steepest Entropy Ascent for Two-State Systems with Slowly Varying Hamiltonians

abstract: The Steepest Entropy Ascent approach is considered and applied to few-state systems. When the Hamiltonian of the system is time dependent, the principle of maximum entropy production can still be exploited; arguments to support this fact are given. In the limit of slowly varying Hamiltonians which allows for the adiabatic approximation for the unitary part of the dynamics, the system exhibits significant robustness to the thermalization process. Specific examples such as a spin in a rotating field and a generic two-state system undergoing an avoided crossing are considered.


title: The influence of atomic alignment on absorption and emission spectroscopy

abstract: Spectroscopic observations play essential roles in astrophysics. They are crucial for determining physical parameters in the universe, providing information about the chemistry of various astronomical environments. The proper execution of the spectroscopic analysis requires accounting for all the physical effects that are compatible to the signal-to-noise ratio. We find in this paper the influence on spectroscopy from the atomic/ground state alignment owing to anisotropic radiation and modulated by interstellar magnetic field, has significant impact on the study of interstellar gas. In different observational scenarios, we comprehensively demonstrate how atomic alignment influences the spectral analysis and provide the expressions for correcting the effect. The variations are even more pronounced for multiplets and line ratios. We show the variation of the deduced physical parameters caused by the atomic alignment effect, including alpha-to-iron ratio ([X/Fe]) and ionisation fraction. Synthetic observations are performed to illustrate the visibility of such effect with current facilities. A study of PDRs in $\rho$ Ophiuchi cloud is presented to demonstrate how to account for atomic alignment in practice. Our work has shown that due to its potential impact, atomic alignment has to be included in an accurate spectroscopic analysis of the interstellar gas with current observational capability.


title: A Survey of Distributed Certificate Authorities in MANETs

abstract: A Certificate Authority (CA) provides the critical authentication and security services for Public Key Infrastructure (PKI) which are used for the Internet and wired networks. In MANETs (wireless and ad hoc) there is an inability to offer a centralized CA to provide these security services. Recent research has looked to facilitate the use of CAs within MANETs through the use of a Distributed Certificate Authority (DCA) for wireless and ad hoc networks. This paper presents a number of different types of DCA protocols and categorizes them into groups based on their factors and specifications. The paper concludes by proposing the best DCA security services in terms of performance and level of security.


title: An Intriguing Failing of Convolutional Neural Networks and the CoordConv Solution

abstract: Few ideas have enjoyed as large an impact on deep learning as convolution. For any problem involving pixels or spatial representations, common intuition holds that convolutional neural networks may be appropriate. In this paper we show a striking counterexample to this intuition via the seemingly trivial coordinate transform problem, which simply requires learning a mapping between coordinates in (x,y) Cartesian space and one-hot pixel space. Although convolutional networks would seem appropriate for this task, we show that they fail spectacularly. We demonstrate and carefully analyze the failure first on a toy problem, at which point a simple fix becomes obvious. We call this solution CoordConv, which works by giving convolution access to its own input coordinates through the use of extra coordinate channels. Without sacrificing the computational and parametric efficiency of ordinary convolution, CoordConv allows networks to learn either complete translation invariance or varying degrees of translation dependence, as required by the end task. CoordConv solves the coordinate transform problem with perfect generalization and 150 times faster with 10--100 times fewer parameters than convolution. This stark contrast raises the question: to what extent has this inability of convolution persisted insidiously inside other tasks, subtly hampering performance from within? A complete answer to this question will require further investigation, but we show preliminary evidence that swapping convolution for CoordConv can improve models on a diverse set of tasks. Using CoordConv in a GAN produced less mode collapse as the transform between high-level spatial latents and pixels becomes easier to learn. A Faster R-CNN detection model trained on MNIST showed 24% better IOU when using CoordConv, and in the RL domain agents playing Atari games benefit significantly from the use of CoordConv layers.