title: Radial Distributions of Power and Isotopic Concentrations in Candidate Accident Tolerant Fuel U3Si2 and UO2/U3Si2 Fuel Pins with FeCrAl Cladding

abstract: Monte Carlo simulations show similarity on radial distributions of power and isotopic concentrations at any effective full power depletion time among five kinds of fuel-cladding combinations with the same cycle length, including the normal UO2-zircaloy combination, the candidate Accident Tolerant Fuel (ATF) UO2/U3Si2-FeCrAl combination, and three kinds of candidate ATF U3Si2-FeCrAl combinations. An analytical formula f(x,s) including the fuel exposure (s) and the relative radial (x) is proposed to describe the radial properties for all five kinds of fuel-cladding combinations. f(x,s) has the form of the second order polynomial term of s with the exponential type of coefficients depending on x. It is shown that the suggested function f(x,s) gives a nice description on the simulation data with rather small deviations and can immediately provide radial distribution of power, burnup, and isotopic concentrations of 235U, 238U, 239Pu, and 241Pu at any fuel exposure and relative radius. It is useful to discuss the fuel temperature through the present analytical formula. The realistic radial power distribution gives flatter radial temperature distribution compared with the uniform power distribution. Because of the different thermal conductivities of fuels and claddings and the different thicknesses of claddings, the present discussed five kinds of fuel-cladding combinations have different radial temperature distributions, although their radial power distributions are quite similar. The present work provides an analytical formula to describe the radial properties of the ATF which is expected to be helpful for further neutronic and multi-physics coupling studies.


title: On the computation of fusion over the affine Temperley-Lieb algebra

abstract: Fusion product originates in the algebraisation of the operator product expansion in conformal field theory. Read and Saleur (2007) introduced an analogue of fusion for modules over associative algebras, for example those appearing in the description of 2d lattice models. The article extends their definition for modules over the affine Temperley-Lieb algebra $\atl n$. Since the regular Temperley-Lieb algebra $\tl n$ is a subalgebra of the affine $\atl n$, there is a natural pair of adjoint induction-restriction functors $(\Indar{}, \Resar{})$. The existence of an algebra morphism $\phi:\atl n\to\tl n$ provides a second pair of adjoint functors $(\Indphi{},\Resphi{})$. Two fusion products between $\atl{}$-modules are proposed and studied. They are expressed in terms of these four functors. The action of these functors is computed on the standard, cell and irreducible $\atl n$-modules. As a byproduct, the Peirce decomposition of $\atl n(q+q^{-1})$, when $q$ is not a root of unity, is given as direct sum of the induction $\Indar{\TheS{n,k}}$ of standard $\tl n$-modules to $\atl n$-modules. Examples of fusion products of various pairs of affine modules are given.


title: Downlink User Association and Uplink Scheduling for Energy Harvesting Users in Software-Defined Mobile Networks

abstract: In this paper we consider a heterogeneous network which consists of a macro base station and some pico base stations utilizing massive MIMO and MIMO techniques, respectively. A central software-defined mobile network (SDMN) controller is adopted in order to provide user association and energy scheduling. The users are considered battery limited and are capable of simultaneous wireless information and power transfer (SWIPT) in order to harvest energy and address the energy shortage issue. These users harvest energy from the received signals in the downlink and consume it via their uplink communications. This paper deals with the downlink user association by jointly optimizing the overall sum-rate of the network and the harvested energy by introducing an appropriate utility function. In this regard, the optimum user association and power splitting factor for each user are calculated via the downlink optimization stage. Then, the process of uplink scheduling is defined as choosing the best users in each time epoch to transfer data as well as optimizing their transmit power by solving Lyapunov drift-plus-penalty function. Simulation results are provided in order to confirm the optimality of the proposed algorithm in comparison with the previous user association and uplink scheduling approaches in terms of providing fairness and battery management among users.


title: Surface tension of the horizon

abstract: The idea of treating the horizon of a black hole as a stretched membrane with surface tension has a long history. In this work, we discuss the microscopic origin of the surface tension of the horizon in quantum pictures of spaces, which are Bose-Einstein condensates of gravitons. The horizon is a phase interface of gravitons, the surface tension of which is found to be a result of the difference in the strength of the interaction between the gravitons on its two sides. The gravitational source, such as a Schwarzschild black hole, creates a transitional zone by changing the energy and distribution of its surrounding gravitons. Archimedes' principle for gravity can be expressed as follows: "the gravity on an object is equal to the weight of the gravitons that it displaces."


title: On the RR Lyrae stars in globulars: V. the complete Near-Infrared (JHKs) census of omega Centauri RR Lyrae variables

abstract: We present a new complete Near-Infrared (NIR, $JHK_s$) census of RR Lyrae stars (RRLs) in the globular $\omega$ Cen (NGC 5139). We collected 15,472 $JHK_s$ images with 4-8m class telescopes over 15 years (2000-2015) covering a sky area around the cluster center of 60x34 arcmin$^2$. These images provided calibrated photometry for 182 out of the 198 cluster RRL candidates with ten to sixty measurements per band. We also provide new homogeneous estimates of the photometric amplitude for 180 ($J$), 176 ($H$) and 174 ($K_s$) RRLs. These data were supplemented with single-epoch $JK_s$ magnitudes from VHS and with single-epoch $H$ magnitudes from 2MASS. Using proprietary optical and NIR data together with new optical light curves (ASAS-SN) we also updated pulsation periods for 59 candidate RRLs. As a whole, we provide $JHK_s$ magnitudes for 90 RRab (fundamentals), 103 RRc (first overtones) and one RRd (mixed--mode pulsator). We found that NIR/optical photometric amplitude ratios increase when moving from first overtone to fundamental and to long-period (P>0.7 days) fundamental RRLs. Using predicted Period-Luminosity-Metallicity relations, we derive a true distance modulus of 13.674$\pm$0.008$\pm$0.038 mag (statistical error and standard deviation of the median)---based on spectroscopic iron abundances---and of 13.698$\pm$0.004$\pm$0.048 mag---based on photometric iron abundances. We also found evidence of possible systematics at the 5-10% level in the zero-point of the PLs based on the five calibrating RRLs whose parallaxes had been determined with HST


title: On the weighted safe set problem on paths and cycles

abstract: Let $G$ be a graph, and let $w: V(G) \to \mathbb{R}$ be a weight function on the vertices of $G$. For every subset $X$ of $V(G)$, let $w(X)=\sum_{v \in X} w(v).$ A non-empty subset $S \subset V(G)$ is a weighted safe set of $(G,w)$ if, for every component $C$ of the subgraph induced by $S$ and every component $D$ of $G-S$, we have $w(C) \geq w(D)$ whenever there is an edge between $C$ and $D$. If the subgraph of $G$ induced by a weighted safe set $S$ is connected, then the set $S$ is called a connected weighted safe set of $(G,w)$. The weighted safe number $s(G,w)$ and connected weighted safe number $cs(G,w)$ of $(G,w)$ are the minimum weights $w(S)$ among all weighted safe sets and all connected weighted safe sets of $(G,w)$, respectively. It is easy to see that for any pair $(G,w)$, ${s}(G,w) \le {cs}(G,w)$ by their definitions. In this paper, we discuss the possible equality when $G$ is a path or a cycle. We also give an answer to a problem due to Tittmann et al. [Eur. J. Combin. Vol. 32 (2011)] concerning subgraph component polynomials for cycles and complete graphs.


title: Bees with attitude: the effect of gusts on flight dynamics

abstract: Flight is a complicated task at small scales in part due to the ubiquitous unsteady air which contains it. Flying organisms deal with these difficulties using active and passive control mechanisms to steer their body motion. Body attitudes of flapping organisms are linked with their resultant flight trajectories and performance, yet little is understood about how discrete unsteady aerodynamic phenomena affect the interlaced dynamics of such systems. In this study, we examined freely flying bumblebees subject to a single discrete gust to emulate aerodynamic disturbances encountered in nature. Bumblebees are expert commanders of the aerial domain as they persistently forage within complex terrain elements. Physical obstacles such as flowers produce local effects representative of a typified gust which threatens the precise control of intricate maneuvers. By tracking the 3D dynamics of bees flying through gusts, we determined the sequences of motion that permit flight in three disturbance conditions. Bees repetitively executed a series of passive impulsive maneuvers followed by active recovery maneuvers. Impulsive motion was unique in each gust direction, maintaining control purely by passive manipulation of the body. Bees pitched up and slowed-down at the beginning of recovery in every disturbance, followed by corrective maneuvers which brought attitudes back to their original state. Bees were displaced the most by the sideward gust, displaying large lateral translations and roll deviations. Upward gusts were easier for bees to fly through, causing only minor flight changes and minimal recovery times. Downward gusts severely impaired the control response of bees, inflicting strong adverse forces which sharply upset trajectories. Bees used interesting control strategies when flying in each disturbance, offering new insights into insect-scale flapping flight and bio-inspired robotic systems.


title: 2-gram-based Phonetic Feature Generation for Convolutional Neural Network in Assessment of Trademark Similarity

abstract: A trademark is a mark used to identify various commodities. If same or similar trademark is registered for the same or similar commodity, the purchaser of the goods may be confused. Therefore, in the process of trademark registration examination, the examiner judges whether the trademark is the same or similar to the other applied or registered trademarks. The confusion in trademarks is based on the visual, phonetic or conceptual similarity of the marks. In this paper, we focus specifically on the phonetic similarity between trademarks. We propose a method to generate 2D phonetic feature for convolutional neural network in assessment of trademark similarity. This proposed algorithm is tested with 12,553 trademark phonetic similar pairs and 34,020 trademark phonetic non-similar pairs from 2010 to 2016. As a result, we have obtained approximately 92% judgment accuracy.


title: The full moment problem on subsets of probabilities and point configurations

abstract: The aim of this paper is to study the full $K-$moment problem for measures supported on some particular non-linear subsets $K$ of an infinite dimensional vector space. We focus on the case of random measures, that is $K$ is a subset of all non-negative Radon measures on $\mathbb{R}^d$. We consider as $K$ the space of sub-probabilities, probabilities and point configurations on $\mathbb{R}^d$. For each of these spaces we provide at least one representation as a generalized basic closed semi-algebraic set to apply the main result in [J. Funct. Anal., 267 (2014) no.5: 1382--1418]. We demonstrate that this main result can be significantly improved by further considerations based on the particular chosen representation of $K$. In the case when $K$ is a space of point configurations, the correlation functions (also known as factorial moment functions) are easier to handle than the ordinary moment functions. Hence, we additionally express the main results in terms of correlation functions.


title: Distributed One-class Learning

abstract: We propose a cloud-based filter trained to block third parties from uploading privacy-sensitive images of others to online social media. The proposed filter uses Distributed One-Class Learning, which decomposes the cloud-based filter into multiple one-class classifiers. Each one-class classifier captures the properties of a class of privacy-sensitive images with an autoencoder. The multi-class filter is then reconstructed by combining the parameters of the one-class autoencoders. The training takes place on edge devices (e.g. smartphones) and therefore users do not need to upload their private and/or sensitive images to the cloud. A major advantage of the proposed filter over existing distributed learning approaches is that users cannot access, even indirectly, the parameters of other users. Moreover, the filter can cope with the imbalanced and complex distribution of the image content and the independent probability of addition of new users. We evaluate the performance of the proposed distributed filter using the exemplar task of blocking a user from sharing privacy-sensitive images of other users. In particular, we validate the behavior of the proposed multi-class filter with non-privacy-sensitive images, the accuracy when the number of classes increases, and the robustness to attacks when an adversary user has access to privacy-sensitive images of other users.


title: Joint Learning for Pulmonary Nodule Segmentation, Attributes and Malignancy Prediction

abstract: Refer to the literature of lung nodule classification, many studies adopt Convolutional Neural Networks (CNN) to directly predict the malignancy of lung nodules with original thoracic Computed Tomography (CT) and nodule location. However, these studies cannot tell how the CNN works in terms of predicting the malignancy of the given nodule, e.g., it's hard to conclude that whether the region within the nodule or the contextual information matters according to the output of the CNN. In this paper, we propose an interpretable and multi-task learning CNN -- Joint learning for \textbf{P}ulmonary \textbf{N}odule \textbf{S}egmentation \textbf{A}ttributes and \textbf{M}alignancy \textbf{P}rediction (PN-SAMP). It is able to not only accurately predict the malignancy of lung nodules, but also provide semantic high-level attributes as well as the areas of detected nodules. Moreover, the combination of nodule segmentation, attributes and malignancy prediction is helpful to improve the performance of each single task. In addition, inspired by the fact that radiologists often change window widths and window centers to help to make decision on uncertain nodules, PN-SAMP mixes multiple WW/WC together to gain information for the raw CT input images. To verify the effectiveness of the proposed method, the evaluation is implemented on the public LIDC-IDRI dataset, which is one of the largest dataset for lung nodule malignancy prediction. Experiments indicate that the proposed PN-SAMP achieves significant improvement with respect to lung nodule classification, and promising performance on lung nodule segmentation and attribute learning, compared with the-state-of-the-art methods.


title: Theory of Friedel oscillations in monolayer graphene and group-VI dichalcogenides in a magnetic field

abstract: Friedel oscillations (FO) of electron density caused by a delta-like neutral impurity in two-dimensional (2D) systems in a magnetic field are calculated. Three 2D cases are considered: free electron gas, monolayer graphene and group-VI dichalcogenides. An exact form of the renormalized Green's function is used in the calculations, as obtained by a summation of the infinite Dyson series and regularization procedure. Final results are valid for large ranges of potential strengths $V_0$, electron densities $n_e$, magnetic fields $B$ and distances from the impurity $r$. Realistic models for the impurities are used. The first FO of induced density in WS$_2$ are described by the relation $\Delta n(\vec{r}) \propto \sin(2\pi r/T_{FO})/r^2$, where $T_{FO} \propto 1/\sqrt{E_F}$. For weak impurity potentials, the amplitudes of FO are proportional to $V_0$. For attractive potentials and high fields the total electron density remains positive for all $r$. On the other hand, for low fields, repulsive potentials and small $r$, the total electron density may become negative, so that many-body effects should be taken into account.


title: Predicting the breaking strength of gravity water waves

abstract: We revisit the classical but as yet unresolved problem of predicting the strength of breaking 2-D and 3-D gravity water waves, as quantified by the amount of wave energy dissipated per breaking event. Following Duncan (1983), the wave energy dissipation rate per unit length of breaking crest may be related to the fifth moment of the wave speed and the non-dimensional breaking strength parameter $b$. We use a finite-volume Navier-Stokes solver with LES resolution and volume-of-fluid surface reconstruction (Derakhti and Kirby 2014a, 2016) to simulate wave packet evolution, breaking onset and post-breaking evolution for representative cases of wave packets with breaking due to dispersive focusing and to modulational instability. The present study uses these results to investigate the relationship between the breaking strength parameter $b$ and the breaking onset parameter $B$ proposed recently by Barthelemy et al. (2018). The latter, formed from the local energy flux normalized by the local energy density and the local crest speed, simplifies, on the wave surface, to the ratio of fluid speed to crest speed. Following a wave crest, when $B$ exceeds a generic threshold value at the wave crest (Barthelemy et al., 2018), breaking is imminent. We find a robust relationship between the breaking strength parameter $b$ and the rate of change of breaking onset parameter, $dB/dt$ at the wave crest, as it transitions through the generic breaking onset threshold ($B\sim 0.85$), scaled by the local period of the breaking wave. This result significantly refines previous efforts to express $b$ in terms of a wave packet steepness parameter, which is both difficult to define robustly and which does not provide a generically accurate forecast of the energy dissipated by breaking.


title: Network Flow-Based Refinement for Multilevel Hypergraph Partitioning

abstract: We present a refinement framework for multilevel hypergraph partitioning that uses max-flow computations on pairs of blocks to improve the solution quality of a $k$-way partition. The framework generalizes the flow-based improvement algorithm of KaFFPa from graphs to hypergraphs and is integrated into the hypergraph partitioner KaHyPar. By reducing the size of hypergraph flow networks, improving the flow model used in KaFFPa, and developing techniques to improve the running time of our algorithm, we obtain a partitioner that computes the best solutions for a wide range of benchmark hypergraphs from different application areas while still having a running time comparable to that of hMetis.


title: Single SiV$^-$ centers in low-strain nanodiamonds with bulk-like spectral properties and nano-manipulation capabilities

abstract: We report on the isolation of single SiV$^-$ centers in nanodiamonds. We observe the fine-structure of single SiV$^-$ center with improved inhomogeneous ensemble linewidth below the excited state splitting, stable optical transitions, good polarization contrast and excellent spectral stability under resonant excitation. Based on our experimental results we elaborate an analytical strain model where we extract the ratio between strain coefficients of excited and ground states as well the intrinsic zero-strain spin-orbit splittings. The observed strain values are as low as best values in low-strain bulk diamond. We achieve our results by means of H-plasma treatment of the diamond surface and in combination with resonant and off-resonant excitation. Our work paves the way for indistinguishable, single photon emission. Furthermore, we demonstrate controlled nano-manipulation via atomic force microscope cantilever of 1D- and 2D-alignments with a so-far unreached accuracy of about 10nm, as well as new tools including dipole rotation and cluster decomposition. Combined, our results show the potential to utilize SiV$^-$ centers in nanodiamonds for the controlled interfacing via optical coupling of individually well-isolated atoms for bottom-up assemblies of complex quantum systems.

categories: cond-mat.mes-hall cond-mat.mtrl-sci physics.optics quant-ph


title: Distributed Log Analysis on the Cloud Using MapReduce

abstract: In this paper we describe our work on designing a web based, distributed data analysis system based on the popular MapReduce framework deployed on a small cloud; developed specifically for analyzing web server logs. The log analysis system consists of several cluster nodes, it splits the large log files on a distributed file system and quickly processes them using MapReduce programming model. The cluster is created using an open source cloud infrastructure, which allows us to easily expand the computational power by adding new nodes. This gives us the ability to automatically resize the cluster according to the data analysis requirements. We implemented MapReduce programs for basic log analysis needs like frequency analysis, error detection, busy hour detection etc. as well as more complex analyses which require running several jobs. The system can automatically identify and analyze several web server log types such as Apache, IIS, Squid etc. We use open source projects for creating the cloud infrastructure and running MapReduce jobs.


title: Alternative explanation for the steep subthreshold slope in Ferroelectric FETs

abstract: Since many years, sub-60mV/decade switching has been reported in ferroelectric FETs. However, thus far these reports have lacked full physical explanation since they typically use a negative capacitance in the ferroelectric layer to be able to explain the experimental observations. Because negative capacitance as such is not a physical concept, we propose an alternative model that relies on the non-linear and non-equilibrium behavior of the ferroelectric layer. It is shown that a steep subthreshold slope can be obtained by a 2-step switching process, referred to as nucleation and propagation. Making use of the concept of domain wall motion as known also from fracture dynamics, we are able to explain the steep slope effect. A simple mathematical model is added to further describe this phenomenon, and to further investigate its eventual benefit for obtaining steep slope transistors in the sub-10nm era.


title: New Reductions of a Matrix Generalized Heisenberg Ferromagnet Equation

abstract: We present in this report 1+1 dimensional nonlinear partial differential equation integrable through inverse scattering transform. The integrable system under consideration is a pseudo-Hermitian reduction of a matrix generalization of classical 1+1 dimensional Heisenberg ferromagnet equation. We derive recursion operators and describe the integrable hierarchy related to that matrix equation.


title: Uniqueness results on phaseless inverse scattering with a reference ball

abstract: This paper is devoted to the uniqueness in inverse acoustic scattering problems for the Helmholtz equation with phaseless far-field data. Some novel techniques are developed to overcome the difficulty of translation invariance induced by a single incident plane wave. In this paper, based on adding a reference ball as an extra artificial impenetrable obstacle (resp. penetrable homogeneous medium) to the inverse obstacle (resp. medium) scattering system and then using superpositions of a fixed plane wave and some point sources as the incident waves, we rigorously prove that the location and shape of the obstacle as well as its boundary condition or the refractive index can be uniquely determined by the modulus of far-field patterns. The reference ball technique in conjunction with the superposition of incident waves brings in several salient benefits. First, the framework of our theoretical analysis can be applied to both the inverse obstacle and medium scattering problems. Second, for inverse obstacle scattering, the underlying boundary condition could be of a general type and be uniquely determined. Finally, only a single frequency is needed.


title: Dynamics of observables in rank-based models and performance of functionally generated portfolios

abstract: In the seminal work [9], several macroscopic market observables have been introduced, in an attempt to find characteristics capturing the diversity of a financial market. Despite the crucial importance of such observables for investment decisions, a concise mathematical description of their dynamics has been missing. We fill this gap in the setting of rank-based models and expect our ideas to extend to other models of large financial markets as well. The results are then used to study the performance of multiplicatively and additively functionally generated portfolios, in particular, over short-term and medium-term horizons.


title: Online Learning for Effort Reduction in Interactive Neural Machine Translation

abstract: Neural machine translation systems require large amounts of training data and resources. Even with this, the quality of the translations may be insufficient for some users or domains. In such cases, the output of the system must be revised by a human agent. This can be done in a post-editing stage or following an interactive machine translation protocol. We explore the incremental update of neural machine translation systems during the post-editing or interactive translation processes. Such modifications aim to incorporate the new knowledge, from the edited sentences, into the translation system. Updates to the model are performed on-the-fly, as sentences are corrected, via online learning techniques. In addition, we implement a novel interactive, adaptive system, able to react to single-character interactions. This system greatly reduces the human effort required for obtaining high-quality translations. In order to stress our proposals, we conduct exhaustive experiments varying the amount and type of data available for training. Results show that online learning effectively achieves the objective of reducing the human effort required during the post-editing or the interactive machine translation stages. Moreover, these adaptive systems also perform well in scenarios with scarce resources. We show that a neural machine translation system can be rapidly adapted to a specific domain, exclusively by means of online learning techniques.


title: Deconstructing a galaxy: colour distributions of point sources in Messier 83

abstract: What do we see when we look at a nearby, well-resolved galaxy? Thousands of individual sources are detected in multiband imaging observations of even a fraction of a nearby galaxy, and characterizing those sources is a complex process. This work analyses a ten-band photometric catalogue of nearly 70 000 point sources in a 7.3 square arcmin region of the nearby spiral galaxy Messier 83, made as part of the Early Release Science programme with the Hubble Space Telescope's Wide Field Camera 3. Colour distributions were measured for both broad-band and broad-and-narrow-band colours; colours made from broad-bands with large wavelength differences generally had broader distributions although B - V was an exception. Two- and three-dimensional colour spaces were generated using various combinations of four bands and clustered with the K-Means and Mean Shift algorithms. Neither algorithm was able to consistently segment the colour distributions: while some distinct features in colour space were apparent in visual examinations, these features were not compact or isolated enough to be recognized as clusters in colour space. K-Means clustering of the UBVI colour space was able to identify a group of objects more likely to be star clusters. Mean Shift was successful in identifying outlying groups at the edges of colour distributions. For identifying objects whose emission is dominated by spectral lines, there was no clear benefit from combining narrow-band photometry in multiple bands compared to a simple continuum subtraction. The clustering analysis results are used to inform recommendations for future surveys of nearby galaxies.


title: Deep Meta-Learning: Learning to Learn in the Concept Space

abstract: Few-shot learning remains challenging for meta-learning that learns a learning algorithm (meta-learner) from many related tasks. In this work, we argue that this is due to the lack of a good representation for meta-learning, and propose deep meta-learning to integrate the representation power of deep learning into meta-learning. The framework is composed of three modules, a concept generator, a meta-learner, and a concept discriminator, which are learned jointly. The concept generator, e.g. a deep residual net, extracts a representation for each instance that captures its high-level concept, on which the meta-learner performs few-shot learning, and the concept discriminator recognizes the concepts. By learning to learn in the concept space rather than in the complicated instance space, deep meta-learning can substantially improve vanilla meta-learning, which is demonstrated on various few-shot image recognition problems. For example, on 5-way-1-shot image recognition on CIFAR-100 and CUB-200, it improves Matching Nets from 50.53% and 56.53% to 58.18% and 63.47%, improves MAML from 49.28% and 50.45% to 56.65% and 64.63%, and improves Meta-SGD from 53.83% and 53.34% to 61.62% and 66.95%, respectively.


title: Document Classification Using Distributed Machine Learning

abstract: In this paper, we investigate the performance and success rates of Na\"ive Bayes Classification Algorithm for automatic classification of Turkish news into predetermined categories like economy, life, health etc. We use Apache Big Data technologies such as Hadoop, HDFS, Spark and Mahout, and apply these distributed technologies to Machine Learning.


title: The monoid of order isomorphisms of principal filters of a power of the positive integers

abstract: Let $n$ be any positive integer and $\mathscr{I\!\!P\!F}(\mathbb{N}^n)$ be the semigroup of all order isomorphisms between principal filters of the $n$-th power of the set of positive integers $\mathbb{N}$ with the product order. We study algebraic properties of the semigroup $\mathscr{I\!\!P\!F}(\mathbb{N}^n)$. In particular, we show that $\mathscr{I\!\!P\!F}(\mathbb{N}^n)$ is a bisimple, $E$-unitary, $F$-inverse semigroup, describe Green's relations on $\mathscr{I\!\!P\!F}(\mathbb{N}^n)$ and its maximal subgroups. We show that the semigroup $\mathscr{I\!\!P\!F}(\mathbb{N}^n)$ is isomorphic to the semidirect product of the direct $n$-th power of the bicyclic monoid ${\mathscr{C}}^n(p,q)$ by the group of permutation $\mathscr{S}_n$. Also we prove that every non-identity congruence $\mathfrak{C}$ on the semigroup $\mathscr{I\!\!P\!F}(\mathbb{N}^n)$ is group and describe the least group congruence on $\mathscr{I\!\!P\!F}(\mathbb{N}^n)$. We show that every Hausdorff shift-continuous topology on $\mathscr{I\!\!P\!F}(\mathbb{N}^n)$ is discrete and discuss embedding of the semigroup $\mathscr{I\!\!P\!F}(\mathbb{N}^n)$ into compact-like topological semigroups.


title: Laplacian Dynamics on Cographs: Controllability Analysis through Joins and Unions

abstract: In this paper, we examine the controllability of Laplacian dynamic networks on cographs. Cographs appear in modeling a wide range of networks and include as special instances, the threshold graphs. In this work, we present necessary and sufficient conditions for the controllability of cographs, and provide an efficient method for selecting a minimal set of input nodes from which the network is controllable. In particular, we define a sibling partition in a cograph and show that the network is controllable if all nodes of any cell of this partition except one are chosen as control nodes. The key ingredient for such characterizations is the intricate connection between the modularity of cographs and their modal properties. Finally, we use these results to characterize the controllability conditions for certain subclasses of cographs.


title: Regularity of Solutions to the Navier-Stokes equations in $\dot{B}_{\infty,\infty}^{-1}$

abstract: We prove that if $u$ is a suitable weak solution to the three dimensional Navier-Stokes equations from the space $L_{\infty}(0,T;\dot{B}_{\infty,\infty}^{-1})$, then all scaled energy quantities of $u$ are bounded. As a consequence, it is shown that any axially symmetric suitable weak solution $u$, belonging to $L_{\infty}(0,T;\dot{B}_{\infty,\infty}^{-1})$, is smooth.


title: Deep Visual Domain Adaptation: A Survey

abstract: Deep domain adaption has emerged as a new learning technique to address the lack of massive amounts of labeled data. Compared to conventional methods, which learn shared feature subspaces or reuse important source instances with shallow representations, deep domain adaption methods leverage deep networks to learn more transferable representations by embedding domain adaptation in the pipeline of deep learning. There have been comprehensive surveys for shallow domain adaption, but few timely reviews the emerging deep learning based methods. In this paper, we provide a comprehensive survey of deep domain adaptation methods for computer vision applications with four major contributions. First, we present a taxonomy of different deep domain adaption scenarios according to the properties of data that define how two domains are diverged. Second, we summarize deep domain adaption approaches into several categories based on training loss, and analyze and compare briefly the state-of-the-art methods under these categories. Third, we overview the computer vision applications that go beyond image classification, such as face recognition, semantic segmentation and object detection. Fourth, some potential deficiencies of current methods and several future directions are highlighted.


title: Revisiting Spatial-Dependent Propagation Model with Latest Observations of Cosmic Ray Nuclei

abstract: Recently AMS-02 collaboration publish their measurements of light cosmic-ray nuclei, including lithium, beryllium, boron, carbon and oxygen. All of them reveal a prominent excess above $\sim$ 200 GV, coinciding with proton and helium. Particularly, the secondary cosmic rays even harden than the primary components above that break. One of the viable interpretations for above anomalies is the spatial-dependent diffusion process. Such model has been successfully applied to multiple observational phenomena, for example primary cosmic ray nuclei, diffuse gamma ray and anisotropy. In this work, we investigate the spatial-dependent propagation model in light of the new observational data. We find that such model is able to explain the upturn of secondary spectrum as well as the primary's. All the spectra can be well reproduced and the calculated ratios are also in good agreement with the observations.


title: Running genetic algorithms on Hadoop for solving high dimensional optimization problems

abstract: Hadoop is a popular MapReduce framework for developing parallel applications in distributed environments. Several advantages of MapReduce such as programming ease and ability to use commodity hardware make the applicability of soft computing methods for parallel and distributed systems easier than before. In this paper, we present the results of an experimental study on running soft computing algorithms using Hadoop. This study shows how a simple genetic algorithm running on Hadoop can be used to produce solutions for high dimensional optimization problems. In addition, a simple but effective technique, which did not need MapReduce chains, has been proposed.


title: Feature-Distributed SVRG for High-Dimensional Linear Classification

abstract: Linear classification has been widely used in many high-dimensional applications like text classification. To perform linear classification for large-scale tasks, we often need to design distributed learning methods on a cluster of multiple machines. In this paper, we propose a new distributed learning method, called feature-distributed stochastic variance reduced gradient (FD-SVRG) for high-dimensional linear classification. Unlike most existing distributed learning methods which are instance-distributed, FD-SVRG is feature-distributed. FD-SVRG has lower communication cost than other instance-distributed methods when the data dimensionality is larger than the number of data instances. Experimental results on real data demonstrate that FD-SVRG can outperform other state-of-the-art distributed methods for high-dimensional linear classification in terms of both communication cost and wall-clock time, when the dimensionality is larger than the number of instances in training data.


title: Combinets: Creativity via Recombination of Neural Networks

abstract: One of the defining characteristics of human creativity is the ability to make conceptual leaps, creating something surprising from typical knowledge. In comparison, deep neural networks often struggle to handle cases outside of their training data, which is especially problematic for problems with limited training data. Approaches exist to transfer knowledge from problems with sufficient data to those with insufficient data, but they tend to require additional training or a domain-specific method of transfer. We present a new approach, conceptual expansion, that serves as a general representation for reusing existing trained models to derive new models without backpropagation. We evaluate our approach on few-shot variations of two tasks: image classification and image generation, and outperform standard transfer learning approaches.


title: Distributed NLP

abstract: In this paper we present the performance of parallel text processing with Map Reduce on a cloud platform. Scientific papers in Turkish language are processed using Zemberek NLP library. Experiments were run on a Hadoop cluster and compared with the single machines performance.


title: Microfluidic switchboards with integrated inertial pumps

abstract: Arrays of H-shape microfluidic channels connecting two different fluidic reservoirs have been built with silicon/SU8 microfabrication technologies utilized in production of thermal inkjet printheads. The fluids are delivered to the channels via slots etched through the silicon wafer. Every H-shape channel comprises four thermal inkjet resistors, one in each of the four legs. The resistors vaporize water and generate drive bubbles that pump the fluids from the bulk reservoirs into and out of the channels. By varying relative frequencies of the four pumps, input fluids can be routed to any part of the network in any proportion. Several fluidic operations including dilution, mixing, dynamic valving, and routing have been demonstrated. Thus, a fully integrated microfluidic switchboard that does not require external sources of mechanical power has been achieved. A matrix formalism to describe flow in complex switchboards has been developed and tested.


title: MOEA/D with Angle-based Constrained Dominance Principle for Constrained Multi-objective Optimization Problems

abstract: This paper proposes a novel constraint-handling mechanism named angle-based constrained dominance principle (ACDP) embedded in a decomposition-based multi-objective evolutionary algorithm (MOEA/D) to solve constrained multi-objective optimization problems (CMOPs). To maintain the diversity of the working population, ACDP utilizes the information of the angle of solutions to adjust the dominance relation of solutions during the evolutionary process. This paper uses 14 benchmark instances to evaluate the performance of the MOEA/D with ACDP (MOEA/D-ACDP). Additionally, an engineering optimization problem (which is I-beam optimization problem) is optimized. The proposed MOEA/D-ACDP, and four other decomposition-based CMOEAs, including C-MOEA/D, MOEA/D-CDP, MOEA/D-Epsilon and MOEA/D-SR are tested by the above benchmarks and the engineering application. The experimental results manifest that MOEA/D-ACDP is significantly better than the other four CMOEAs on these test instances and the real-world case, which indicates that ACDP is more effective for solving CMOPs.


title: The Strong Gravitational Lens Finding Challenge

abstract: Large scale imaging surveys will increase the number of galaxy-scale strong lensing candidates by maybe three orders of magnitudes beyond the number known today. Finding these rare objects will require picking them out of at least tens of millions of images and deriving scientific results from them will require quantifying the efficiency and bias of any search method. To achieve these objectives automated methods must be developed. Because gravitational lenses are rare objects reducing false positives will be particularly important. We present a description and results of an open gravitational lens finding challenge. Participants were asked to classify 100,000 candidate objects as to whether they were gravitational lenses or not with the goal of developing better automated methods for finding lenses in large data sets. A variety of methods were used including visual inspection, arc and ring finders, support vector machines (SVM) and convolutional neural networks (CNN). We find that many of the methods will be easily fast enough to analyse the anticipated data flow. In test data, several methods are able to identify upwards of half the lenses after applying some thresholds on the lens characteristics such as lensed image brightness, size or contrast with the lens galaxy without making a single false-positive identification. This is significantly better than direct inspection by humans was able to do. (abridged)


title: On the additive complexity of a Thue-Morse like sequence

abstract: In this paper, we study the additive complexity $\rho^{+}_{\mathbf{t}}(n)$ of a Thue-Morse like sequence $\mathbf{t}=\sigma^{\infty}(0)$ with the morphism $\sigma: 0\to 01, 1\to 12, 2\to 20$. We show that $\rho^{+}_{\mathbf{t}}(n)=2\lfloor\log_2(n)\rfloor+3$ for all integers $n\geq 1$. Consequently, $(\rho_{\mathbf{t}}(n))_{n\geq 1}$ is a $2$-regular sequence.


title: Searching isomorphic graphs

abstract: To determine that two given undirected graphs are isomorphic, we construct for them auxiliary graphs, using the breadth-first search. This makes capability to position vertices in each digraph with respect to each other. If the given graphs are isomorphic, in each of them we can find such positionally equivalent auxiliary digraphs that have the same mutual positioning of vertices. Obviously, if the given graphs are isomorphic, then such equivalent digraphs exist. Proceeding from the arrangement of vertices in one of the digraphs, we try to determine the corresponding vertices in another digraph. As a result we develop the algorithm for constructing a bijective mapping between vertices of the given graphs if they are isomorphic. The running time of the algorithm equal to $O(n^5)$, where $n$ is the number of graph vertices.


title: 2017 Update of the Discoveries of Nuclides

abstract: The 2017 update of the discovery of nuclide project is presented. 34 new nuclides were observed for the first time in 2017. However, the assignment of six previously identified nuclides had to be retracted.


title: Security level analysis of academic information systems based on standard ISO 27002:2003 using SSE-CMM

abstract: This research was conducted to find out the level of information security in an organization to give recommendations improvements in information security management at the organization. This research uses the ISO 27002 by involving the entire clause that exists in ISO 27002 check-lists. Based on the analysis results, 13 objective controls and 43 security controls were scattered in 3 clauses of ISO 27002. From the analysis it was concluded that the maturity level of information system security governance was 2.51, which means the level of security is still at level 2 planned and tracked is planned and tracked actively) but is approaching level 3 well defined.


title: Rigidity of manifolds admitting stable solutions of an elliptic problem

abstract: In this paper, we study geometric rigidity of Riemannian manifolds admitting stable solutions of certain elliptic problems (stability in a variational sense), that is, under suitable hypotheses, we are able to characterize the Riemannian manifold which admits a stable solution. Furthermore, under the non-negativity of the weighted Ricci curvature, we deduce several data about the stable solution and a splitting result for the manifold.


title: Geometry, packing, and evolutionary paths to increased multicellular size

abstract: The evolutionary transition to multicellularity transformed life on earth, allowing for the evolution of large, complex organisms. While multicellularity can be strongly advantageous, its earliest stages bring unique physical challenges. Nascent multicellular organisms must contend with a novel constraint: intercellular stresses arising from cell-cell interactions that can limit multicellular size. Among the possible evolutionary routes to overcoming this size limit, two appear obvious: multicellular organisms can increase intercellular bond strength, allowing them to tolerate larger stresses, or, they can slow the rate of stress accumulation by altering their internal structure. Recent experiments demonstrated that multicellular 'snowflake yeast' readily find a solution to this problem via the latter route. By evolving more elongated cells, which decreases cellular packing fraction and thus the rate of internal stress accumulation during growth, snowflake yeast evolve to delay fracture and grow larger. However, it is unclear if snowflake yeast evolved large size along an optimal path, or if the observed path to large size was taken due to proximate biological reasons. Here, we examine the geometric efficiency of both strategies using a minimal model that was previously demonstrated to replicate many experimentally observed structural properties of snowflake yeast. We find that changing geometry is a far more efficient route to large size than evolving increased intercellular adhesion. In fact, increasing cellular aspect ratio is on average ~13 times more effective at increasing the number of cells in a cluster than increasing bond strength. These results suggest that geometrically-imposed physical constraints may have been a key early selective force guiding the emergence of multicellular complexity.


title: Disjointness of continuous g-frames and Riesz-type continuous g-frames

abstract: In this paper we introduce concepts of disjoint, strongly disjoint and weakly disjoint continuous $g$-frames in Hilbert spaces and we get some equivalent conditions to these notions. We also construct a continuous g-frame by disjoint continuous g-frames. Furthermore, we provide some results related to the Riesz-type continuous $g$-frames.


title: Optimize transfer learning for lung diseases in bronchoscopy using a new concept: sequential fine-tuning

abstract: Bronchoscopy inspection as a follow-up procedure from the radiological imaging plays a key role in lung disease diagnosis and determining treatment plans for the patients. Doctors needs to make a decision whether to biopsy the patients timely when performing bronchoscopy. However, the doctors also needs to be very selective with biopsies as biopsies may cause uncontrollable bleeding of the lung tissue which is life-threaten. To help doctors to be more selective on biopsies and provide a second opinion on diagnosis, in this work, we propose a computer-aided diagnosis (CAD) system for lung diseases including cancers and tuberculosis (TB). The system is developed based on transfer learning. We propose a novel transfer learning method: sentential fine-tuning . Compared to traditional fine-tuning methods, our methods achieves the best performance. We obtained a overall accuracy of 77.0% a dataset of 81 normal cases, 76 tuberculosis cases and 277 lung cancer cases while the other traditional transfer learning methods achieve an accuracy of 73% and 68%. . The detection accuracy of our method for cancers, TB and normal cases are 87%, 54% and 91% respectively. This indicates that the CAD system has potential to improve lung disease diagnosis accuracy in bronchoscopy and it also might be used to be more selective with biopsies.


title: Invertibility of Multipliers for Continuous G-frames

abstract: In this paper we study the concept of multipliers for continuous $g$-Bessel families in Hilbert spaces. We present necessary conditions for invertibility of multipliers for continuous $g$-Bessel families and sufficient conditions for invertibility of multipliers for continuous $g$-frames.


title: A note on local BRST cohomology of Yang-Mills type theories with free abelian factors

abstract: We extend previous work on antifield dependent local BRST cohomology for matter coupled gauge theories of Yang-Mills type to the case of gauge groups that involve free abelian factors. More precisely, we first investigate in a model independent way how the dynamics enters the computation of the cohomology for a general class of Lagrangians in general spacetime dimensions. We then discuss explicit solutions in the case of specific models. Our analysis has implications for the structure of characteristic cohomology and for consistent deformations of the classical models, as well as for divergences/counterterms and for gauge anomalies that may appear during perturbative quantization.


title: Optimal approximation of continuous functions by very deep ReLU networks

abstract: We consider approximations of general continuous functions on finite-dimensional cubes by general deep ReLU neural networks and study the approximation rates with respect to the modulus of continuity of the function and the total number of weights $W$ in the network. We establish the complete phase diagram of feasible approximation rates and show that it includes two distinct phases. One phase corresponds to slower approximations that can be achieved with constant-depth networks and continuous weight assignments. The other phase provides faster approximations at the cost of depths necessarily growing as a power law $L\sim W^{\alpha}, 0<\alpha\le 1,$ and with necessarily discontinuous weight assignments. In particular, we prove that constant-width fully-connected networks of depth $L\sim W$ provide the fastest possible approximation rate $\|f-\widetilde f\|_\infty = O(\omega_f(O(W^{-2/\nu})))$ that cannot be achieved with less deep networks.


title: Preliminary result on stochastic system control theory for aperiod sample-data systems

abstract: In this paper, we obtain some preliminary results on stochastic control theory for time-varying linear systems both continuous and discrete, and further apply to aperiod sample-data linear systems. The Ito's lemma is utilized in this proposed theory, and deduced that the stability of a linear time-varying system is determined by the eigenvalues expectation of system matrix, which coincidences with the stable conditions for time-invariant system, i.e. Hurwitz for continuous systems or inside the unit circle for discrete systems. The control method for aperiod time-invariant sample-data system is also derived. It is shown that the stable condition is determined by the expectation of the sample-interval but the up-bound and the aperiod interval can be arbitrarily large even infinity. To verify the efficiency of our theory, serval experiments are demonstrated in the final of the paper.


title: Optimal preconditioners for systems defined by functions of Toeplitz matrices

abstract: We propose several circulant preconditioners for systems defined by some functions $g$ of Toeplitz matrices $A_n$. In this paper we are interested in solving $g(A_n)\mathbf{x}=\mathbf{b}$ by the preconditioned conjugate method or the preconditioned minimal residual method, namely in the cases when $g(z)$ are the functions $e^{z}$, $\sin{z}$ and $\cos{z}$. Numerical results are given to show the effectiveness of the proposed preconditioners.


title: Difffusion Dynamics on the Coexistence Subspace in a Stochastic Evolutionary Game

abstract: Frequency-dependent selection reflects the interaction between different species as they battle for limited resources in their environment. In a stochastic evolutionary game the species relative fitnesses guides the evolutionary dynamics which fluctuate due to random drift. Dependence of species selection advantages on the environment introduces additional possibilities for the evolutionary dynamics. We analyse a simple model in which a random environment allows competing species to coexist for a long time before a fixation of a single species happens. In our analysis we use stability in a linear combination of competing species to approximate the stochastic dynamics of the system by a diffusion on a one dimensional co-existence region. Our method significantly simplifies calculating the probability of first extinction and its expected time, and demonstrates a rigorous model reduction technique for evaluating quasistationary properties of a stochastic evolutionary model.


title: Lectures on the Euler characteristic of affine manifolds

abstract: These are lecture notes prepared for the summer school "Geometric, algebraic and topological methods in quantum field theory", held in Villa de Leyva in July 2017. Our goal is to provide an introduction to a conjecture of Chern that states that the Euler characteristic of a closed affine manifold vanishes. We present part of the history and motivation for the conjecture as well as some recent developments. All comments and corrections are most welcome!


title: The Follower Count Fallacy: Detecting Twitter Users with Manipulated Follower Count

abstract: Online Social Networks (OSN) are increasingly being used as platform for an effective communication, to engage with other users, and to create a social worth via number of likes, followers and shares. Such metrics and crowd-sourced ratings give the OSN user a sense of social reputation which she tries to maintain and boost to be more influential. Users artificially bolster their social reputation via black-market web services. In this work, we identify users which manipulate their projected follower count using an unsupervised local neighborhood detection method. We identify a neighborhood of the user based on a robust set of features which reflect user similarity in terms of the expected follower count. We show that follower count estimation using our method has 84.2% accuracy with a low error rate. In addition, we estimate the follower count of the user under suspicion by finding its neighborhood drawn from a large random sample of Twitter. We show that our method is highly tolerant to synthetic manipulation of followers. Using the deviation of predicted follower count from the displayed count, we are also able to detect customers with a high precision of 98.62%


title: Infrared spectra of C2H4 dimer and trimer

abstract: Spectra of ethylene dimers and trimers are studied in the nu11 and (for the dimer) nu9 fundamental band regions of C2H4 (~2990 and 3100 cm-1) using a tunable optical parametric oscillator source to probe a pulsed supersonic slit jet expansion. The deuterated trimer has been observed previously, but this represents the first rotationally resolved spectrum of (C2H4)3. The results support the previously determined cross-shaped (D2d) dimer and barrel-shaped (C3h or C3) trimer structures. However, the dimer spectrum in the nu9 fundamental region of C2H4 is apparently very perturbed and a previous rotational analysis is not well verified.


title: Detecting Multiple Change Points Using Adaptive Regression Splines with Application to Neural Recordings

abstract: Time series, as frequently the case in neuroscience, are rarely stationary, but often exhibit abrupt changes due to attractor transitions or bifurcations in the dynamical systems producing them. A plethora of methods for detecting such change points in time series statistics have been developed over the years, in addition to test criteria to evaluate their significance. Issues to consider when developing change point analysis methods include computational demands, difficulties arising from either limited amount of data or a large number of covariates, and arriving at statistical tests with sufficient power to detect as many changes as contained in potentially high-dimensional time series. Here, a general method called Paired Adaptive Regressors for Cumulative Sum is developed for detecting multiple change points in the mean of multivariate time series. The method's advantages over alternative approaches are demonstrated through a series of simulation experiments. This is followed by a real data application to neural recordings from rat medial prefrontal cortex during learning. Finally, the method's flexibility to incorporate useful features from state-of-the-art change point detection techniques is discussed, along with potential drawbacks and suggestions to remedy them.


title: Learning Correlation Space for Time Series

abstract: We propose an approximation algorithm for efficient correlation search in time series data. In our method, we use Fourier transform and neural network to embed time series into a low-dimensional Euclidean space. The given space is learned such that time series correlation can be effectively approximated from Euclidean distance between corresponding embedded vectors. Therefore, search for correlated time series can be done using an index in the embedding space for efficient nearest neighbor search. Our theoretical analysis illustrates that our method's accuracy can be guaranteed under certain regularity conditions. We further conduct experiments on real-world datasets and the results show that our method indeed outperforms the baseline solution. In particular, for approximation of correlation, our method reduces the approximation loss by a half in most test cases compared to the baseline solution. For top-$k$ highest correlation search, our method improves the precision from 5\% to 20\% while the query time is similar to the baseline approach query time.


title: Astrolabe: Curating, Linking and Computing Astronomy's Dark Data

abstract: Where appropriate repositories are not available to support all relevant astronomical data products, data can fall into darkness: unseen and unavailable for future reference and re-use. Some data in this category are legacy or old data, but newer datasets are also often uncurated and could remain "dark". This paper provides a description of the design motivation and development of Astrolabe, a cyberinfrastructure project that addresses a set of community recommendations for locating and ensuring the long-term curation of dark or otherwise at-risk data and integrated computing. This paper also describes the outcomes of the series of community workshops that informed creation of Astrolabe. According to participants in these workshops, much astronomical dark data currently exist that are not curated elsewhere, as well as software that can only be executed by a few individuals and therefore becomes unusable because of changes in computing platforms. Astronomical research questions and challenges would be better addressed with integrated data and computational resources that fall outside the scope of existing observatory and space mission projects. As a solution, the design of the Astrolabe system is aimed at developing new resources for management of astronomical data. The project is based in CyVerse cyberinfrastructure technology and is a collaboration between the University of Arizona and the American Astronomical Society. Overall the project aims to support open access to research data by leveraging existing cyberinfrastructure resources and promoting scientific discovery by making potentially-useful data in a computable format broadly available to the astronomical community.


title: Solution to Briot and Bouquet problem on singularities of differential equations

abstract: We solve Briot and Bouquet problem (1856) on the existence of non-monodromic (multivalued) solutions for singularities of differential equations in the complex domain. The solution is an application of hedgehog dynamics for indifferent irrational fixed points. We present an important simplification by only using a local hedgehog for which we give a simpler and direct construction of quasi-invariant curves which does not rely on complex renormalization.


title: Commutative rings over which the support of any module is the collection of prime ideals containing the annihilator

abstract: The support of any module over a commutative ring is defined as the collection of all prime ideals of the ring at which the localization of the module is non-zero. For finitely generated modules, the support is the collection of all prime ideals containing the annihilator of the module. In this article, we raise the natural question that over which commutative rings, the support of every module is the collection of all the prime ideals of its annihilator. We completely classify such rings, and in the process it also comes out that it is enough to require that only for countably generated modules, the support is the collection of all prime ideals containing the annihilator of the module.


title: Classifying spaces for commutativity of low-dimensional Lie groups

abstract: For each of the groups $G = O(2), SU(2), U(2)$, we compute the integral and $\mathbb{F}_2$-cohomology rings of $B_\text{com} G$ (the classifying space for commutativity of $G$), the action of the Steenrod algebra on the mod 2 cohomology, the homotopy type of $E_\text{com} G$ (the homotopy fiber of the inclusion $B_\text{com} G \to BG$), and some low-dimensional homotopy groups of $B_\text{com} G$.


title: Tipping the magnetic instability in paramagnetic Sr$_3$Ru$_2$O$_7$ by Fe impurities

abstract: We report the magnetic and electronic properties of the bilayer ruthenate Sr$_3$Ru$_2$O$_7$ upon Fe substitution for Ru. We find that Sr$_3$(Ru$_{1-x}$Fe$_x$)$_2$O$_7$ shows a spin-glass-like phase below 4 K for $x$ = 0.01 and commensurate E-type antiferromagnetically ordered insulating ground state characterized by the propagation vector $q_c$ = (0.25 0.25 0) for $x$ $\geq$ 0.03, respectively, in contrast to the paramagnetic metallic state in the parent compound with strong spin fluctuations occurring at wave vectors $q$ = (0.09 0 0) and (0.25 0 0). The observed antiferromagnetic ordering is quasi-two-dimensional with very short correlation length along the $c$ axis, a feature similar to the Mn-doped Sr$_3$Ru$_2$O$_7$. Our results suggest that this ordered ground state is associated with the intrinsic magnetic instability in the pristine compound, which can be readily tipped by the local magnetic coupling between the 3$d$ orbitals of the magnetic dopants and Ru 4$d$ orbitals.


title: On the Tractability of (k,i)-Coloring

abstract: In an undirected graph, a proper (k,i)-coloring is an assignment of a set of k colors to each vertex such that any two adjacent vertices have at most i common colors. The (k,i)-coloring problem is to compute the minimum number of colors required for a proper (k,i)-coloring. This is a generalization of the classic graph coloring problem. We show a parameterized algorithm for the (k,i)-coloring problem with the size of the feedback vertex set as a parameter. Our algorithm does not use tree-width machinery, thus answering a question of Majumdar, Neogi, Raman and Tale [CALDAM 2017]. We also give a faster and simpler exact algorithm for (k, k-1)-coloring. From the hardness perspective, we show that the (k,i)-coloring problem is NP-complete for any fixed values i, k, whenever i<k, thereby settling a conjecture of Mendez-Diaz and Zabala [1999] and again asked by Majumdar, Neogi, Raman and Tale. The NP-completeness result improves the partial NP-completeness shown in the preliminary version of this paper published in CALDAM 2018.


title: The matter-gravity entanglement hypothesis

abstract: I outline some of my work (some dating back to 1998, some more recent) on my matter-gravity entanglement hypothesis, according to which the entropy of a closed quantum gravitational system is equal to the system's matter-gravity entanglement entropy. The main arguments presented are: (1) this hypothesis is capable of resolving the second-law puzzle, i.e. the puzzle as to how the entropy increase of a closed system can be reconciled with the asssumption of unitary time-evolution; (2) the black hole information loss puzzle may be regarded as a special case of this second law puzzle and therefore the same resolution applies to it; (3) the black hole thermal atmosphere puzzle (which I recall) can be resolved by adopting a radically different-from-usual description of quantum black hole equilibrium states, according to which they are total pure states, entangled between matter and gravity so that the partial states of matter and gravity are each approximately thermal equilibrium states (at the Hawking temperature); (4) the Susskind-Horowitz-Polchinski string-theoretic understanding of black hole entropy as the logarithm of the degeneracy of a long string (which is the weak string coupling limit of a black hole) cannot be correct but should be replaced by a modified understanding according to which it is the entanglement entropy between a long string and its stringy atmosphere, when in a total pure equilibrium state in a suitable box, which (in line with (3)) goes over, at strong-coupling, to a black hole in equilibrium with its thermal atmosphere. The modified understanding in (4) is based on a general result, which I describe, about the likely state of a quantum system weakly coupled to an energy-bath when the total state is a random pure state with given energy. This result generalizes Goldstein et al.'s 'canonical typicality' result to systems which are not necessarily small.

categories: hep-th cond-mat.stat-mech gr-qc quant-ph


title: Probabilistic modelling and reconstruction of strain

abstract: This paper deals with modelling and reconstruction of strain fields, relying upon data generated from neutron Bragg-edge measurements. We propose a probabilistic approach in which the strain field is modelled as a Gaussian process, assigned a covariance structure customised by incorporation of the so-called equilibrium constraints. The computational complexity is significantly reduced by utilising an approximation scheme well suited for the problem. We illustrate the method on simulations and real data. The results indicate a high potential and can hopefully inspire the concept of probabilistic modelling to be used within other tomographic applications as well.


title: Effect of predomination and vertex removal on the game total domination number of a graph

abstract: The game total domination number, ${\gamma_{g}^{t}}$, was introduced by Henning et al.\ in 2015. In this paper we study the effect of vertex predomination on the game total domination number. We prove that ${\gamma_{g}^{t}}(G|v) \geq {\gamma_{g}^{t}}(G) - 2$ holds for all vertices $v$ of a graph $G$ and present infinite families attaining the equality. To achieve this, some new variations of the total domination game are introduced. The effect of vertex removal is also studied. We show that ${\gamma_{g}^{t}}(G) \leq {\gamma_{g}^{t}}(G-v) + 4$ and ${\gamma_{g}^{t}}'(G) \leq {\gamma_{g}^{t}}'(G-v) + 4$.


title: Beyond Markov Logic: Efficient Mining of Prediction Rules in Large Graphs

abstract: Graph representations of large knowledge bases may comprise billions of edges. Usually built upon human-generated ontologies, several knowledge bases do not feature declared ontological rules and are far from being complete. Current rule mining approaches rely on schemata or store the graph in-memory, which can be unfeasible for large graphs. In this paper, we introduce HornConcerto, an algorithm to discover Horn clauses in large graphs without the need of a schema. Using a standard fact-based confidence score, we can mine close Horn rules having an arbitrary body size. We show that our method can outperform existing approaches in terms of runtime and memory consumption and mine high-quality rules for the link prediction task, achieving state-of-the-art results on a widely-used benchmark. Moreover, we find that rules alone can perform inference significantly faster than embedding-based methods and achieve accuracies on link prediction comparable to resource-demanding approaches such as Markov Logic Networks.


title: Martingale Characterizations of Risk-Averse Stochastic Optimization Problems

abstract: This paper addresses risk awareness of stochastic optimization problems. Nested risk measures appear naturally in this context, as they allow beneficial reformulations for algorithmic treatments. The reformulations presented extend usual Hamilton-Jacobi-Bellman equations in dynamic optimization by involving risk awareness in the problem formulation. Nested risk measures are built on risk measures, which originate by conditioning on the history of a stochastic process. We derive martingale properties of these risk measures and use them to prove continuity. It is demonstrated that stochastic optimization problems, which incorporate risk awareness via nesting risk measures, are continuous with respect to the natural distance governing these optimization problems, the nested distance.


title: Noise Analysis for High-Fidelity Quantum Entangling Gates in an Anharmonic Linear Paul Trap

abstract: The realization of high fidelity quantum gates in a multi-qubit system, with a typical target set at 99.9%, is a critical requirement for the implementation of fault-tolerant quantum computation. To reach this level of fidelity, one needs to carefully analyze the noises and imperfections in the experimental system and optimize the gate operations to mitigate their effects. Here, we consider one of the leading experimental systems for the fault-tolerant quantum computation, ions in an anharmonic linear Paul trap, and optimize entangling quantum gates using segmented laser pulses with the assistance of all the collective transverse phonon modes of the ion crystal. We present detailed analyses of the effects of various kinds of intrinsic experimental noises as well as errors from imperfect experimental controls. Through explicit calculations, we find the requirements on these relevant noise levels and control precisions to achieve the targeted high fidelity of 99.9% for the entangling quantum gates in a multi-ion crystal.


title: Same Same, but Different: A Descriptive Differentiation of Intra-cloud Iaas Services

abstract: Users of cloud computing are overwhelmed with choice, even within the services offered by one provider. As such, many users select cloud services based on description alone. We investigate the degree to which such strategy is optimal. In this quantitative study, we investigate the services of 2 of major IaaS providers. We use 2 representative applications to obtain longitudinal observations over 7 days of the week and over different times of the day, totalling over 14,000 executions. We give evidence of significant variations of performance offered within IaaS services, calling for brokers to use automated and adaptive decision making processes with means for incorporating expressive user constraints.


title: Graph Planning with Expected Finite Horizon

abstract: Graph planning gives rise to fundamental algorithmic questions such as shortest path, traveling salesman problem, etc. A classical problem in discrete planning is to consider a weighted graph and construct a path that maximizes the sum of weights for a given time horizon $T$. However, in many scenarios, the time horizon is not fixed, but the stopping time is chosen according to some distribution such that the expected stopping time is $T$. If the stopping time distribution is not known, then to ensure robustness, the distribution is chosen by an adversary, to represent the worst-case scenario. A stationary plan for every vertex always chooses the same outgoing edge. For fixed horizon or fixed stopping-time distribution, stationary plans are not sufficient for optimality. Quite surprisingly we show that when an adversary chooses the stopping-time distribution with expected stopping time $T$, then stationary plans are sufficient. While computing optimal stationary plans for fixed horizon is NP-complete, we show that computing optimal stationary plans under adversarial stopping-time distribution can be achieved in polynomial time. Consequently, our polynomial-time algorithm for adversarial stopping time also computes an optimal plan among all possible plans.


title: Electroforming Free Controlled Bipolar Resistive Switching in Al/CoFe2O4/FTO device with Self-Compliance Effect

abstract: Controlled bipolar resistive switching (BRS) has been observed in nanostructured CoFe2O4 films using Al(aluminum)/CoFe2O4/FTO(fluorine-doped tin oxide) device. The fabricated device shows electroforming-free uniform BRS with two clearly distinguished and stable resistance states without any application of compliance current (CC), with a resistance ratio of high resistance state (HRS) and low resistance state (LRS) > 102. Small switching voltage (< 1 volt) and lower current in both the resistance states confirms the fabrication of low power consumption device. In the LRS, the conduction mechanism was found to be of Ohmic in nature, while the high-resistance state (HRS/OFF state) was governed by space charge-limited conduction mechanism, which indicates the presence of an interfacial layer with imperfect microstructure near the top Al/CFO interface. The device shows nonvolatile behavior with good endurance properties, acceptable resistance ratio, uniform resistive switching due to stable, less random filament formation/rupture and a control over the resistive switching properties by choosing different stop voltages, which makes the device suitable for its application in future nonvolatile resistive random access memory (ReRAM).


title: Learning to Match via Inverse Optimal Transport

abstract: We propose a unified data-driven framework based on inverse optimal transport that can learn adaptive, nonlinear interaction cost function from noisy and incomplete empirical matching matrix and predict new matching in various matching contexts. We emphasize that the discrete optimal transport plays the role of a variational principle which gives rise to an optimization-based framework for modeling the observed empirical matching data. Our formulation leads to a non-convex optimization problem which can be solved efficiently by an alternating optimization method. A key novel aspect of our formulation is the incorporation of marginal relaxation via regularized Wasserstein distance, significantly improving the robustness of the method in the face of noisy or missing empirical matching data. Our model falls into the category of prescriptive models, which not only predict potential future matching, but is also able to explain what leads to empirical matching and quantifies the impact of changes in matching factors. The proposed approach has wide applicability including predicting matching in online dating, labor market, college application and crowdsourcing. We back up our claims with numerical experiments on both synthetic data and real world data sets.


title: Link diagrams in Seifert manifolds and applications to skein modules

abstract: In this survey paper we present results about link diagrams in Seifert manifolds using arrow diagrams, starting with link diagrams in $F\times S^1$ and $N\hat{\times}S^1$, where $F$ is an orientable and $N$ an unorientable surface. Reidemeister moves for such arrow diagrams make the study of link invariants possible. Transitions between arrow diagrams and alternative diagrams are presented. We recall results about %the knot group presentation for lens spaces and the Kauffman bracket and HOMFLYPT skein modules of some Seifert manifolds using arrow diagrams, namely lens spaces, a product of a disk with two holes times $S^1$, $\mathbb{R}P^3 \# \mathbb{R}P^3$, and prism manifolds. We also present new bases of the Kauffman bracket and HOMFLYPT skein modules of the solid torus and lens spaces.


title: On the Universal Approximability and Complexity Bounds of Quantized ReLU Neural Networks

abstract: Compression is a key step to deploy large neural networks on resource-constrained platforms. As a popular compression technique, quantization constrains the number of distinct weight values and thus reducing the number of bits required to represent and store each weight. In this paper, we study the representation power of quantized neural networks. First, we prove the universal approximability of quantized ReLU networks on a wide class of functions. Then we provide upper bounds on the number of weights and the memory size for a given approximation error bound and the bit-width of weights for function-independent and function-dependent structures. Our results reveal that, to attain an approximation error bound of $\epsilon$, the number of weights needed by a quantized network is no more than $\mathcal{O}\left(\log^5(1/\epsilon)\right)$ times that of an unquantized network. This overhead is of much lower order than the lower bound of the number of weights needed for the error bound, supporting the empirical success of various quantization techniques. To the best of our knowledge, this is the first in-depth study on the complexity bounds of quantized neural networks.


title: Quantum correlations as probes of chaos and ergodicity

abstract: Long-time average behavior of quantum correlations in a multi-qubit system, collectively modeled as a kicked top, is addressed here. The behavior of dynamical generation of quantum correlations such as entanglement, discord, concurrence, as previously studied, and Bell correlation function and tangle, as identified in this study, is a function of initially localized coherent states. Their long-time average reproduces coarse-grained classical phase space structures of the kicked top which contrast, often starkly, chaotic and regular regions. Apart from providing numerical evidence of such correspondence in the semiclassical regime of a large number of qubits, we use data from a recent transmons based experiment to explore this in the deep quantum regime of a 3-qubit kicked top. The degree to which quantum correlations can be regarded as a quantum signature of chaos, and in what ways the various correlation measures are similar or distinct are discussed.


title: Tur\'an, involution and shifting

abstract: We propose a strengthening of the conclusion in Tur\'an's (3,4)-conjecture in terms of algebraic shifting, and show that its analogue for graphs does hold. In another direction, we generalize the Mantel-Tur\'an theorem by weakening its assumption: for any graph G on n vertices and any involution on its vertex set, if for any 3-set S of the vertices, the number of edges in G spanned by S, plus the number of edges in G spanned by the image of S under the involution, is at least 2, then the number of edges in G is at least the Mantel-Tur\'an bound, namely the number achieved by two disjoint cliques of sizes n/2 rounded up and down.


title: Low-Rank Methods in Event Detection and Subsampled Point-to-Subspace Proximity Tests

abstract: Monitoring of streamed data to detect abnormal behaviour (variously known as event detection, anomaly detection, change detection, or outlier detection) underlies many applications of the Internet of Things. There, one often collects data from a variety of sources, with asynchronous sampling, and missing data. In this setting, one can predict abnormal behavior using low-rank techniques. In particular, we assume that normal observations come from a low-rank subspace, prior to being corrupted by a uniformly distributed noise. Correspondingly, we aim to recover a representation of the subspace, and perform event detection by running point-to-subspace distance query for incoming data. In particular, we use a variant of low-rank factorisation, which considers interval uncertainty sets around "known entries", on a suitable flattening of the input data to obtain a low-rank model. On-line, we compute the distance of incoming data to the low-rank normal subspace and update the subspace to keep it consistent with the seasonal changes present. For the distance computation, we suggest to consider subsampling. We bound the one-sided error as a function of the number of coordinates employed using techniques from learning theory and computational geometry. In our experimental evaluation, we have tested the ability of the proposed algorithm to identify samples of abnormal behavior in induction-loop data from Dublin, Ireland.


title: Achieving Efficient Realization of Kalman Filter on CGRA through Algorithm-Architecture Co-design

abstract: In this paper, we present efficient realization of Kalman Filter (KF) that can achieve up to 65% of the theoretical peak performance of underlying architecture platform. KF is realized using Modified Faddeeva Algorithm (MFA) as a basic building block due to its versatility and REDEFINE Coarse Grained Reconfigurable Architecture (CGRA) is used as a platform for experiments since REDEFINE is capable of supporting realization of a set algorithmic compute structures at run-time on a Reconfigurable Data-path (RDP). We perform several hardware and software based optimizations in the realization of KF to achieve 116% improvement in terms of Gflops over the first realization of KF. Overall, with the presented approach for KF, 4-105x performance improvement in terms of Gflops/watt over several academically and commercially available realizations of KF is attained. In REDEFINE, we show that our implementation is scalable and the performance attained is commensurate with the underlying hardware resources


title: Deep learning with t-exponential Bayesian kitchen sinks

abstract: Bayesian learning has been recently considered as an effective means of accounting for uncertainty in trained deep network parameters. This is of crucial importance when dealing with small or sparse training datasets. On the other hand, shallow models that compute weighted sums of their inputs, after passing them through a bank of arbitrary randomized nonlinearities, have been recently shown to enjoy good test error bounds that depend on the number of nonlinearities. Inspired from these advances, in this paper we examine novel deep network architectures, where each layer comprises a bank of arbitrary nonlinearities, linearly combined using multiple alternative sets of weights. We effect model training by means of approximate inference based on a t-divergence measure; this generalizes the Kullback-Leibler divergence in the context of the t-exponential family of distributions. We adopt the t-exponential family since it can more flexibly accommodate real-world data, that entail outliers and distributions with fat tails, compared to conventional Gaussian model assumptions. We extensively evaluate our approach using several challenging benchmarks, and provide comparative results to related state-of-the-art techniques.


title: Approximating Sparse Graphs: The Random Overlapping Communities Model

abstract: How can we approximate sparse graphs and sequences of sparse graphs (with unbounded average degree)? We consider convergence in the first $k$ moments of the graph spectrum (equivalent to the numbers of closed $k$-walks) appropriately normalized. We introduce a simple, easy to sample, random graph model that captures the limiting spectra of many sequences of interest, including the sequence of hypercube graphs. The Random Overlapping Communities (ROC) model is specified by a distribution on pairs $(s,q)$, $s \in \mathbb{Z}_+, q \in (0,1]$. A graph on $n$ vertices with average degree $d$ is generated by repeatedly picking pairs $(s,q)$ from the distribution, adding an Erd\H{o}s-R\'{e}nyi random graph of edge density $q$ on a subset of vertices chosen by including each vertex with probability $s/n$, and repeating this process so that the expected degree is $d$. Our proof of convergence to a ROC random graph is based on the Stieltjes moment condition. We also show that the model is an effective approximation for individual graphs. For almost all possible triangle-to-edge and four-cycle-to-edge ratios, there exists a pair $(s,q)$ such that the ROC model with this single community type produces graphs with both desired ratios, a property that cannot be achieved by stochastic block models of bounded description size. Moreover, ROC graphs exhibit an inverse relationship between degree and clustering coefficient, a characteristic of many real-world networks.


title: On Symplectic Optimization

abstract: Accelerated gradient methods have had significant impact in machine learning -- in particular the theoretical side of machine learning -- due to their ability to achieve oracle lower bounds. But their heuristic construction has hindered their full integration into the practical machine-learning algorithmic toolbox, and has limited their scope. In this paper we build on recent work which casts acceleration as a phenomenon best explained in continuous time, and we augment that picture by providing a systematic methodology for converting continuous-time dynamics into discrete-time algorithms while retaining oracle rates. Our framework is based on ideas from Hamiltonian dynamical systems and symplectic integration. These ideas have had major impact in many areas in applied mathematics, but have not yet been seen to have a relationship with optimization.


title: Beyond the One Step Greedy Approach in Reinforcement Learning

abstract: The famous Policy Iteration algorithm alternates between policy improvement and policy evaluation. Implementations of this algorithm with several variants of the latter evaluation stage, e.g, $n$-step and trace-based returns, have been analyzed in previous works. However, the case of multiple-step lookahead policy improvement, despite the recent increase in empirical evidence of its strength, has to our knowledge not been carefully analyzed yet. In this work, we introduce the first such analysis. Namely, we formulate variants of multiple-step policy improvement, derive new algorithms using these definitions and prove their convergence. Moreover, we show that recent prominent Reinforcement Learning algorithms are, in fact, instances of our framework. We thus shed light on their empirical success and give a recipe for deriving new algorithms for future study.


title: Sparse Dowker Nerves

abstract: We propose sparse versions of filtered simplicial complexes used to compte persistent homology of point clouds and of networks. In particular we extend a slight variation of the Sparse \v{C}ech Complex of Cavanna, Jahanseir and Sheehy from point clouds in Cartesian space to point clouds in arbitrary metric spaces. Along the way we formulate interleaving in terms of strict $2$-categories, and we introduce the concept of Dowker dissimilarities that can be considered as a common generalization of metric spaces and networks.


title: TextZoo, a New Benchmark for Reconsidering Text Classification

abstract: Text representation is a fundamental concern in Natural Language Processing, especially in text classification. Recently, many neural network approaches with delicate representation model (e.g. FASTTEXT, CNN, RNN and many hybrid models with attention mechanisms) claimed that they achieved state-of-art in specific text classification datasets. However, it lacks an unified benchmark to compare these models and reveals the advantage of each sub-components for various settings. We re-implement more than 20 popular text representation models for classification in more than 10 datasets. In this paper, we reconsider the text classification task in the perspective of neural network and get serval effects with analysis of the above results.


title: Generalized Fitch Graphs: Edge-labeled Graphs that are explained by Edge-labeled Trees

abstract: Fitch graphs $G=(X,E)$ are di-graphs that are explained by $\{\otimes,1\}$-edge-labeled rooted trees with leaf set $X$: there is an arc $xy\in E$ if and only if the unique path in $T$ that connects the least common ancestor $\textrm{lca}(x,y)$ of $x$ and $y$ with $y$ contains at least one edge with label $1$. In practice, Fitch graphs represent xenology relations, i.e., pairs of genes $x$ and $y$ for which a horizontal gene transfer happened along the path from $\textrm{lca}(x,y)$ to $y$. In this contribution, we generalize the concept of xenology and Fitch graphs and consider complete di-graphs $K_{|X|}$ with vertex set $X$ and a map $\epsilon$ that assigns to each arc $xy$ a unique label $\epsilon(x,y)\in M\cup \{\otimes\}$, where $M$ denotes an arbitrary set of symbols. A di-graph $(K_{|X|},\epsilon)$ is a generalized Fitch graph if there is an $M\cup \{\otimes\}$-edge-labeled tree $(T,\lambda)$ that can explain $(K_{|X|},\epsilon)$. We provide a simple characterization of generalized Fitch graphs $(K_{|X|},\epsilon)$ and give an $O(|X|^2)$-time algorithm for their recognition as well as for the reconstruction of the unique least resolved phylogenetic tree that explains $(K_{|X|},\epsilon)$.


title: A geometric approach to integer factorization

abstract: We give a geometric approach to integer factorization. This approach is based on special approximations of segments of the curve that is represented by $y=n/x$, where $n$ is the integer whose factorization we need.


title: Backward Stochastic Volterra Integral Equations--- Representation of Adapted Solutions

abstract: For backward stochastic Volterra integral equations (BSVIEs, for short), under some mild conditions, the so-called adapted solutions or adapted M-solutions uniquely exist. However, satisfactory regularity of the solutions is difficult to obtain in general. Inspired by the decoupling idea of forward-backward stochastic differential equations, in this paper, for a class of BSVIEs, a representation of adapted M-solutions is established by means of the so-called representation partial differential equations and (forward) stochastic differential equations. Well-posedness of the representation partial differential equations are also proved in certain sense.


title: Tuning emission energy and fine structure splitting in quantum dots emitting in the telecom O-band

abstract: We report on optical investigations of MOVPE-grown InGaAs/GaAs quantum dots emitting at the telecom O-band that were integrated onto uniaxial piezoelectric actuators. This promising technique, which does not degrade the optical quality or performances of the quantum emitters, enables us to tune the quantum dot emission wavelengths and their fine-structure splitting. By spectrally analyzing the emitted light with respect to its polarization, we are able to demonstrate the cancelation of the fine structure splitting within the experimental resolution limit. This work represents an important step towards the high-yield generation of entangled photon pairs at telecommunication wavelength, together with the capability to precisely tune the emission to target wavelengths.


title: Irrationality of motivic zeta functions

abstract: Let $K_0(\mathrm{Var}_{\mathbb{Q}})[1/\mathbb{L}]$ denote the Grothendieck ring of $\mathbb{Q}$-varieties with the Lefschetz class inverted. We show that there exists a K3 surface X over $\mathbb{Q}$ such that the motivic zeta function $\zeta_X(t) := \sum_n [\mathrm{Sym}^n X]t^n$ regarded as an element in $K_0(\mathrm{Var}_{\mathbb{Q}})[1/\mathbb{L}][[t]]$ is not a rational function in $t$, thus disproving a conjecture of Denef and Loeser.


title: Sparse Random Matrices have Simple Spectrum

abstract: Let $M_n$ be a class of symmetric sparse random matrices, with independent entries $M_{ij} = \delta_{ij} \xi_{ij}$ for $i \leq j$. $\delta_{ij}$ are i.i.d. Bernoulli random variables taking the value $1$ with probability $p \geq n^{-1+\delta}$ for any constant $\delta > 0$ and $\xi_{ij}$ are i.i.d. centered, subgaussian random variables. We show that with high probability this class of random matrices has simple spectrum (i.e. the eigenvalues appear with multiplicity one). We can slightly modify our proof to show that the adjacency matrix of a sparse Erd\H{o}s-R\'enyi graph has simple spectrum for $n^{-1+\delta } \leq p \leq 1- n^{-1+\delta}$. These results are optimal in the exponent. The result for graphs has connections to the notorious graph isomorphism problem.


title: On the microscopic bidomain problem with FitzHugh-Nagumo ionic transport

abstract: The microscopic bidomain problem with FitzHhugh-Nagumo ionic transport is studied in the $L_p\!-\!L_q$-framework. Reformulating the problem as a semilinear evolution equation on the interface, local well-posedness is proved in strong as well as in weak settings. We obtain solvability for initial data in the critical spaces of the problem. For dimension $d\leq 3$, by means of energy estimates and a recent result of Serrin type, global existence is shown. Finally, stability of spatially constant equilibria is investigated, to the result that the stability properties of such equilibria parallel those of the classical FitzHugh-Nagumo system in ODE's. These properties of the bidomain equations are obtained combining recent results on Dirichlet-to-Neumann operators, on critical spaces for parabolic evolution equations, and qualitative theory of evolution equations.


title: The role of breccia lenses in regolith generation from the formation of small, simple craters: Application to the Apollo 15 landing site

abstract: Impact cratering is likely a primary agent of regolith generation on airless bodies. Regolith production via impact cratering has long been a key topic of study since the Apollo era. The evolution of regolith due to impact cratering, however, is not well understood. A better formulation is needed to help quantify the formation mechanism and timescale of regolith evolution. Here, we propose an analytically derived stochastic model that describes the evolution of regolith generated by small, simple craters. We account for ejecta blanketing as well as regolith infilling of the transient crater cavity. Our results show that the regolith infilling plays a key role in producing regolith. Our model demonstrates that, because of the stochastic nature of impact cratering, the regolith thickness varies laterally, which is consistent with earlier work. We apply this analytical model to the regolith evolution at the Apollo 15 site. The regolith thickness is computed considering the observed crater size-frequency distribution of small, simple lunar craters (< 381 m in radius for ejecta blanketing and < 100 m in radius for the regolith infilling). Allowing for some amount of regolith coming from the outside of the area, our result is consistent with an empirical result from the Apollo 15 seismic experiment. Finally, we find that the timescale of regolith growth is longer than that of crater equilibrium, implying that even if crater equilibrium is observed on a cratered surface, it is likely the regolith thickness is still evolving due to additional impact craters.


title: On quantum compatibility of counterterm deformations and duality symmetries in ${\cal N}\geq 5$ supergravities

abstract: In ${\cal N}=5, 6, 8$ supergravities there are hidden symmetries of equations of motion, described by duality groups $SU(1,5), \, SO^*(12), \, E_{7(7)}$ respectively. UV divergences and known candidate counterterms violate the deformed duality symmetry current conservation. Extra higher derivative terms in the action are required to restore duality. We study the effect of a two-vector part of the counterterm for ${\cal N}\geq 5$ supergravities using the universality of the symplectic structure of extended supergravities. We construct a compact form of a deformed action with infinite number of higher derivative terms and restored duality symmetry with deformation parameter $\lambda$. We find, in $\lambda^2$ approximation, that the $SU({\cal N})$ symmetry of the deformed theory is restored on shell.


title: Bound electron nonlinearity beyond the ionization threshold

abstract: Although high field laser-induced ionization is a fundamental process underlying many applications, there have been no absolute measurements of the nonlinear polarizability of atoms and molecules in the presence of ionization. Such information is crucial, for example, for understanding the propagation of high intensity ultrashort pulses in matter. Here, we present absolute space- and time-resolved measurements of the ultrafast laser-driven nonlinear polarizability in argon, krypton, xenon, nitrogen, and oxygen up to an ionization fraction of a few percent. These measurements enable determination of the non-perturbative bound electron nonlinearity well beyond the ionization threshold, where it is found to be approximately linear in intensity.


title: An Investigation of the Monitoring Activity in Self Adaptive Systems

abstract: Runtime monitoring is essential for the violation detection during the underlying software system execution. In this paper, an investigation of the monitoring activity of MAPE-K control loop is performed which aims at exploring:(1) the architecture of the monitoring activity in terms of the involved components and control and data flow between them; (2) the standard interface of the monitoring component with other MAPE-K components; (3) the adaptive monitoring and its importance to the monitoring overhead issue; and (4) the monitoring mode and its relevance to some specific situations and systems. This paper also presented a Java framework for the monitoring process for self adaptive systems.