title: Does the second law hold at cosmic scales?

abstract: The second law of thermodynamics is known to hold at small scales also when gravity plays a leading role, as in the case of black holes and self-gravitating radiation spheres. It has been suggested that it should as well at large scales. Here, by a purely kinematic analysis \textemdash based on the history of the Hubble factor and independent of any cosmological model \textemdash , we explore if this law is fulfilled in the case of homogeneous and isotropic universes regardless of the sign of the spatial curvature.


title: Generalized Holomorphic Cartan geometries

abstract: This is largely a survey paper, dealing with Cartan geometries in the complex analytic category. We first remind some standard facts going back to the seminal works of F. Klein, E. Cartan and C. Ehresmann. Then we present the concept of a branched holomorphic Cartan geometry which was introduced by the authors in [BD]. It generalizes to higher dimension the notion of a branched (flat) complex projective structure on a Riemann surface introduced by Mandelbaum. This new framework is much more flexible than that of the usual holomorphic Cartan geometries (e.g. all compact complex projective manifolds admit branched holomorphic projective structures). At the same time, this new definition is rigid enough to enable us to classify branched holomorphic Cartan geometries on compact simply connected Calabi-Yau manifolds.


title: Real-time shaping of entangled photons by classical control and feedback

abstract: Quantum technologies hold great promise for revolutionizing photonic applications such as cryptography. Yet their implementation in real-world scenarios is held back, mostly due to sensitivity of quantum light to scattering. Recent developments in optimizing the shape of single photons introduce new ways to control quantum light. Nevertheless, shaping single photons in real-time remains a challenge due to the weak associated signals, which are too noisy for optimization processes. Here, we overcome this challenge and control scattering of entangled photons by shaping the classical laser beam that stimulates their creation. We discover that since the classical beam and the entangled photons follow the same path, the strong classical signal can be used for optimizing the weak quantum signal. We show that this approach can increase the length of free-space turbulent quantum links by up to two orders of magnitude, opening the door for employing wavefront shaping for quantum communications.


title: Using sequencing coverage statistics to identify sex chromosomes in minke whales

abstract: The ever-increasing number of genome sequencing and resequencing projects is a central source of insights into the ecology and evolution of non-model organisms. An important aspect of genomics is the elucidation of sex determination systems and identifying genes on sex chromosomes. This not only helps reveal mechanisms behind sex determination in the species under study, but their characteristics make sex chromosomes a unique tool for studying the mechanisms and effects of recombination and genomic rearrangements and how they affect adaption and selection. Despite this, many sequencing projects omit such investigations. Here, we apply a simple method using sequencing coverage statistics to identify scaffolds belonging to the sex chromosomes of minke whale, and show how the sex chromosome system can be determined using coverage statistics alone. Using publicly available data, we identify the previously unknown sex of an Antarctic minke whale as female. We further investigate public sequence data from the different species and sub-species of minke whale, and classify genomic scaffolds from a published minke whale assembly as X or Y chromosomal sequences. Our findings are consistent with previous results that identified a handful of scaffolds as sex chromosomal, but we are able to identify a much larger set of scaffolds, likely to represent close to the complete sex chromosomal sequences for the minke whale. Sequence coverage statistics provides a readily available tool for investigating the sex determination system and locate genes on sex chromosomes. This analysis is straightforward and can often be performed with existing resources.


title: ENBB Processor: Towards the ExaScale Numerical Brain Box [Position Paper]

abstract: ExaScale systems will be a key driver for simulations that are essential for advance of science and economic growth. We aim to present a new concept of microprocessor for floating-point computations useful for being a basic building block of ExaScale systems and beyond. The proposed microprocessor architecture has a frontend for programming interface based on the concept of event-driven simulation. The user program is executed as an event-driven simulation using a hardware/software co-designed simulator. This is the flexible part of the system. The back-end exploits the concept of uniform topology as in a brain: a massive packet switched interconnection network with flit credit-based flow control with virtual channels that incorporates seamlessly communication, arithmetic and storage. Floating-point computations are incorporated as on-line arithmetic operators in the output ports of the switches as virtual arithmetic output channels, and storage as virtual input channels. The front-end carries out the event-driven simulation of the user program, and uses the arithmetic network for the hard floating-point work by means of virtual dataflows. We expect to reduce significantly the needs of main memory due to the execution model proposed, where variables are just virtual interconnections in the network or signals stored in the virtual channels. Moreover, we have the hypothesis that the problem size assigned to a microprocessor should allow maximum concurrency and it should not be oversized. This may lead to systems composed of microprocessors with main memory incorporated in 3D chips. We identified several challenges that a research to develop this microprocessor should address, and several hypothesis that should be demonstrated by means of scientific evidence.


title: Proving Erasure

abstract: It seems impossible to certify that a remote hosting service does not leak its users' data --- or does quantum mechanics make it possible? We investigate if a server hosting data can information-theoretically prove its definite deletion using a "BB84-like" protocol. To do so, we first rigorously introduce an alternative to privacy by encryption: privacy delegation. We then apply this novel concept to provable deletion and remote data storage. For both tasks, we present a protocol, sketch its partial security, and display its vulnerability to eavesdropping attacks targeting only a few bits.


title: Quantum Storage of Frequency-Multiplexed Heralded Single Photons

abstract: We report on the quantum storage of a heralded frequency-multiplexed single photon in an integrated laser-written rare-earth doped waveguide. The single photon contains 15 discrete frequency modes separated by 261 MHz and spaning across 4 GHz. It is obtained from a non-degenerate photon pair created via cavity-enhanced spontaneous down conversion, where the heralding photon is at telecom wavelength and the heralded photon is at 606 nm. The frequency-multimode photon is stored in a praseodymium-doped waveguide using the atomic frequency comb (AFC) scheme, by creating multiple combs within the inhomogeneous broadening of the crystal. Thanks to the intrinsic temporal multimodality of the AFC scheme, each spectral bin includes 9 temporal modes, such that the total number of stored modes is about 130. We demonstrate that the storage preserves the non-classical properties of the single photon, and its normalized frequency spectrum.


title: Finding the limit of incompleteness I

abstract: In this paper, we examine the limit of applicability of G\"{o}del's first incompleteness theorem ($\sf G1$ for short). We first define the notion "$\sf G1$ holds for the theory $T$". This paper is motivated by the following question: can we find a theory with a minimal degree of interpretation for which $\sf G1$ holds. To approach this question, we first examine the following question: is there a theory $T$ such that Robinson's $\mathbf{R}$ interprets $T$ but $T$ does not interpret $\mathbf{R}$ (i.e. $T$ is weaker than $\mathbf{R}$ w.r.t. interpretation) and $\sf G1$ holds for $T$? In this paper, we show that there are many such theories based on Je\v{r}\'{a}bek's work using some model theory. We prove that for each recursively inseparable pair $\langle A,B\rangle$, we can construct a r.e. theory $U_{\langle A,B\rangle}$ such that $U_{\langle A,B\rangle}$ is weaker than $\mathbf{R}$ w.r.t. interpretation and $\sf G1$ holds for $U_{\langle A,B\rangle}$. As a corollary, we answer a question from Albert Visser. Moreover, we prove that for any Turing degree $\mathbf{0}< \mathbf{d}<\mathbf{0}^{\prime}$, there is a theory $T$ with Turing degree $\mathbf{d}$ such that $\sf G1$ holds for $T$ and $T$ is weaker than $\mathbf{R}$ w.r.t. Turing reducibility. As a corollary, based on Shoenfield's work using some recursion theory, we show that there is no theory with a minimal degree of Turing reducibility for which $\sf G1$ holds.


title: Theory-plus-code documentation of the DEPAM workflow for soundscape description

abstract: In the Big Data era, the community of PAM faces strong challenges, including the need for more standardized processing tools accross its different applications in oceanography, and for more scalable and high-performance computing systems to process more efficiently the everly growing datasets. In this work we address conjointly both issues by first proposing a detailed theory-plus-code document of a classical analysis workflow to describe the content of PAM data, which hopefully will be reviewed and adopted by a maximum of PAM experts to make it standardized. Second, we transposed this workflow into the Scala language within the Spark/Hadoop frameworks so it can be directly scaled out on several node cluster.


title: A Novel Universal Solar Energy Predictor

abstract: Solar energy is one of the most economical and clean sustainable energy sources on the planet. However, the solar energy throughput is highly unpredictable due to its dependency on a plethora of conditions including weather, seasons, and other ecological/environmental conditions. Thus, the solar energy prediction is an inevitable necessity to optimize solar energy and also to improve the efficiency of solar energy systems. Conventionally, the optimization of the solar energy is undertaken by subject matter experts using their domain knowledge; although it is impractical for even the experts to tune the solar systems on a continuous basis. We strongly believe that the power of machine learning can be harnessed to better optimize the solar energy production by learning the correlation between various conditions and solar energy production from historical data which is typically readily available. For this use, this paper predicts the daily total energy generation of an installed solar program using the Naive Bayes classifier. In the forecast procedure, one year historical dataset including daily moderate temperatures, daily total sunshine duration, daily total global solar radiation and daily total photovoltaic energy generation parameters are used as the categorical valued features. By way of this Naive Bayes program the sensitivity and the precision measures are improved for the photovoltaic energy prediction and also the consequences of other solar characteristics on the solar energy production have been assessed.


title: A Commodity SBC-Edge Cluster for Smart Cities

abstract: The commodity Single Board Computers (SBCs) are increasingly becoming powerful and can execute standard operating systems and mainstream workloads. In the context of cloud-based smart city applications, SBCs can be utilized as Edge computing devices reducing the network communication. In this paper, we investigate the design and implementation of a SBC based edge cluster (SBC-EC) framework for a smart parking application. Since SBCs are resource constrained devices, we devise a container-based framework for a lighter foot-print. Kubernetes was used as an orchestration tool to orchestrate various containers in the framework. To validate our approach, we implemented a proof-of-concept of the SBC based Edge cluster for a smart parking application, as a possible IoT use-case. Our implementation shows that, the use of SBC devices at the edge of a cloud based smart parking application is a cost effective and low energy, green computing solution. The proposed framework can be extended to similar cloud-based applications in the context of a smart city.


title: A Blockchain-enabled Trustless Crowd-Intelligence Ecosystem on Mobile Edge Computing

abstract: Crowd-intelligence tries to gather, process, infer and ascertain massive useful information by utilizing the intelligence of crowds or distributed computers, which has great potential in Industrial Internet of Things (IIoT). A crowd-intelligence ecosystem involves three stakeholders, namely the platform, workers (e.g., individuals, sensors or processors), and task publisher. The stakeholders have no mutual trust but interest conflict, which means bad cooperation of them. Due to lack of trust, transferring raw data (e.g., pictures or video clips) between publisher and workers requires the remote platform center to serve as a relay node, which implies network congestion. First we use a reward-penalty model to align the incentives of stakeholders. Then the predefined rules are implemented using blockchain smart contract on many edge servers of the mobile edge computing network, which together function as a trustless hybrid human-machine crowd-intelligence platform. As edge servers are near to workers and publisher, network congestion can be effectively improved. Further, we proved the existence of the only one strong Nash equilibrium, which can maximize the interests of involved edge servers and make the ecosystem bigger. Theoretical analysis and experiments validate the proposed method respectively.


title: VEDAR: Accountable Behavioural Change Detection

abstract: With exponential increase in the availability oftelemetry / streaming / real-time data, understanding contextualbehavior changes is a vital functionality in order to deliverunrivalled customer experience and build high performance andhigh availability systems. Real-time behavior change detectionfinds a use case in number of domains such as social networks,network traffic monitoring, ad exchange metrics etc. In streamingdata, behavior change is an implausible observation that does notfit in with the distribution of rest of the data. A timely and preciserevelation of such behavior changes can give us substantialinformation about the system in critical situations which can bea driving factor for vital decisions. Detecting behavior changes instreaming fashion is a difficult task as the system needs to processhigh speed real-time data and continuously learn from data alongwith detecting anomalies in a single pass of data. In this paperwe introduce a novel algorithm called Accountable BehaviorChange Detection (VEDAR) which can detect and elucidate thebehavior changes in real-time and operates in a fashion similarto human perception. We have bench marked our algorithmon open source anomaly detection datasets. We have benchmarked our algorithm by comparing its performance on opensource anomaly datasets against industry standard algorithmslike Numenta HTM and Twitter AdVec (SH-ESD). Our algorithmoutperforms above mentioned algorithms for behaviour changedetection, efficacy is given in section V.


title: Adhesive contact of model randomly rough rubber surfaces

abstract: We study experimentally and theoretically the equilibrium adhesive contact between a smooth glass lens and a rough rubber surface textured with spherical microasperities with controlled height and spatial distributions. Measurements of the real contact area $A$ versus load $P$ are performed under compression by imaging the light transmitted at the microcontacts. $A(P)$ is found to be non-linear and to strongly depend on the standard deviation of the asperity height distribution. Experimental results are discussed in the light of a discrete version of Fuller and Tabor's (FT) original model (\textit{Proceedings of the Royal Society A} \textbf{345} (1975) 327), which allows to take into account the elastic coupling arising from both microasperities interactions and curvature of the glass lens. Our experimental data on microcontact size distributions are well captured by our discrete extended model. We show that the elastic coupling arising from the lens curvature has a significant contribution to the $A(P)$ relationship. Our discrete model also clearly shows that the adhesion-induced effect on $A$ remains significant even for vanishingly small pull-off forces. Last, at the local asperity length scale, our measurements show that the pressure dependence of the microcontacts density can be simply described by the original FT model.


title: Investigation of finite-volume methods to capture shocks and turbulence spectra in compressible flows

abstract: The aim of the present paper is to provide a comparison between several finite-volume methods of different numerical accuracy: second-order Godunov method with PPM interpolation and high-order finite-volume WENO method. The results show that while on a smooth problem the high-order method perform better than the second-order one, when the solution contains a shock all the methods collapse to first-order accuracy. In the context of the decay of compressible homogeneous isotropic turbulence with shocklets, the actual overall order of accuracy of the methods reduces to second-order, despite the use of fifth-order reconstruction schemes at cell interfaces. Most important, results in terms of turbulent spectra are similar regardless of the numerical methods employed, except that the PPM method fails to provide an accurate representation in the high-frequency range of the spectra. It is found that this specific issue comes from the slope-limiting procedure and a novel hybrid PPM/WENO method is developed that has the ability to capture the turbulent spectra with the accuracy of a high-order method, but at the cost of the second-order Godunov method. Overall, it is shown that virtually the same physical solution can be obtained much faster by refining a simulation with the second-order method and carefully chosen numerical procedures, rather than running a coarse high-order simulation. Our results demonstrate the importance of evaluating the accuracy of a numerical method in terms of its actual spectral dissipation and dispersion properties on mixed smooth/shock cases, rather than by the theoretical formal order of convergence rate.


title: Capturing shocks and turbulence spectra in compressible flows. Part 2: A new hybrid PPM/WENO method

abstract: In the Part 1 of the present paper the performance of several different low and high-order finite-volume methods were assessed by investigating how well they can capture the turbulent spectra of a compressible flow where small smooth turbulent structures interact with shocks and discontinuities. The comparisons showed that a second-order Godunov method with PPM interpolation provides results virtually the same as a fourth-order WENO scheme but at a significant lower cost. However, it is shown that the PPM method fails to provide an accurate representation in the high-frequency range of the spectra. In the present paper we show that this specific issue comes from the slope-limiting procedure and a novel hybrid PPM/WENO method is developed, which has the ability to capture the turbulent spectra with the accuracy of a formally high-order method, but at the cost of the second-order Godunov method. Overall, it is shown that virtually the same physical solution can be obtained much faster by refining a simulation with the second-order method and carefully chosen numerical procedures, rather than running a coarse high-order simulation.


title: Hierarchical Graph Convolutional Networks for Semi-supervised Node Classification

abstract: Graph convolutional networks (GCNs) have been successfully applied in node classification tasks of network mining. However, most of these models based on neighborhood aggregation are usually shallow and lack the "graph pooling" mechanism, which prevents the model from obtaining adequate global information. In order to increase the receptive field, we propose a novel deep Hierarchical Graph Convolutional Network (H-GCN) for semi-supervised node classification. H-GCN first repeatedly aggregates structurally similar nodes to hyper-nodes and then refines the coarsened graph to the original to restore the representation for each node. Instead of merely aggregating one- or two-hop neighborhood information, the proposed coarsening procedure enlarges the receptive field for each node, hence more global information can be captured. The proposed H-GCN model shows strong empirical performance on various public benchmark graph datasets, outperforming state-of-the-art methods and acquiring up to 5.9% performance improvement in terms of accuracy. In addition, when only a few labeled samples are provided, our model gains substantial improvements.


title: Asymptotic Hecke algebras and Lusztig-Vogan bijection via affine matrix-ball construction

abstract: Affine matrix-ball construction (abbreviated AMBC) was developed by Chmutov, Lewis, Pylyavskyy, and Yudovina as an affine generalization of Robinson-Schensted correspondence. We show that AMBC gives a simple way to compute a distinguished (or Duflo) involution in each Kazhdan-Lusztig cell of affine symmetric groups. We then use AMBC to give the first known canonical presentation for the asymptotic Hecke algebras of extended affine symmetric groups. As an application, we show that AMBC gives a conceptual way to compute Lusztig-Vogan bijection. For the latter we build upon prior works of Achar and Rush.


title: Near-critical reflection of internal waves

abstract: Internal waves describe the (linear) response of an incompressible stably stratified fluid to small perturbations. The inclination of their group velocity with respect to the vertical is completely determined by their frequency. Therefore the reflection on a sloping boundary cannot follow Descartes' laws, and it is expected to be singular if the slope has the same inclination as the group velocity. In this paper, we prove that in this critical geometry the weakly viscous and weakly nonlinear wave equations have actually a solution which is well approximated by the sum of the incident wave packet, a reflected second harmonic and some boundary layer terms. This result confirms the prediction by Dauxois and Young, and provides precise estimates on the time of validity of this approximation.


title: Increasing city safety awareness regarding disruptive traffic stream

abstract: Transportation systems serve the people in essence, in this study we focus in traffic information related to violation events to respond to safety requirements of the cities. Traffic violation events have an important role in city safety awareness and secure travel. In this work, we describe the use of knowledge discovery from traffic violation reports in combination with demographics approach using inductive logic programming to automatically extract knowledge about traffic violation behavior and their impact on the environment.


title: An Exploration of User and Bystander Attitudes About Mobile Live-Streaming Video

abstract: Thanks to mobile apps such as Periscope and Facebook Live, live-streaming video is having a moment again. It has not been clear, however, to what extent the current ubiquity of smartphones is impacting this technology's acceptance in everyday social situations and how mobile contexts or affordances will affect and be affected by shifts in social norms and policy debates regarding privacy, surveillance and intellectual property. This ethnographic-style research explores familiarity with and attitudes about mobile live-streaming video and related legal and ethical issues among a sample of "Middle America" participants at two typical outdoor social events: sports tailgating and a rooftop party. In situ observations of n=110 bystanders to the use of a smartphone, including interviews with n=20, revealed that many are not fully aware of when their image or speech is being live-streamed in a casual context and want stronger notifications of and ability to consent to such broadcasting.


title: Big Data and Geospatial Analysis

abstract: Perhaps one of the mostly hotly debated topics in recent years has been the question of "GIS and Big Data". Much of the discussion has been about the data: huge volumes of 2D and 3D spatial data and spatio-temporal data are now being collected and stored; so how they can be accessed? and how can we map and interpret massive datasets in an effective manner? Less attention has been paid to questions regarding the analysis of Big Data, although this has risen up the agenda in recent times. Examples include the use of density analysis to represent map request events, with Esri demonstrating that (given sufficient resources) they can process and analyze large numbers of data point events using kernel density techniques within a very short timeframe (under a minute); data filtering (to extract subsets of data that are of particular interest); and data mining (broader than simple filtering). For real-time data, sequential analysis has also been successfully applied; in this case the data are received as a stream and are used to build up a dynamic map or to cumulatively generate statistical values that may be mapped and/or used to trigger events or alarms. To this extent the analysis is similar to that conducted on smaller datasets, but with data and processing architectures that are specifically designed to cope with the data volumes involved and with a focus on data exploration as a key mechanism for discovery. Miller and Goodchild (2014) have argued that considerable care is required when working with Big Data significant issues arise from each of the "four Vs of Big Data": the sheer Volume of data; the Velocity of data arrival; the Variety of forms of data and their origins; and the Veracity of such data. As such, geospatial research has had to adapt to harness new forms of data to validly represent real-world phenomena.


title: Fake News Detection on Social Media using Geometric Deep Learning

abstract: Social media are nowadays one of the main news sources for millions of people around the globe due to their low cost, easy access and rapid dissemination. This however comes at the cost of dubious trustworthiness and significant risk of exposure to 'fake news', intentionally written to mislead the readers. Automatically detecting fake news poses challenges that defy existing content-based analysis approaches. One of the main reasons is that often the interpretation of the news requires the knowledge of political or social context or 'common sense', which current NLP algorithms are still missing. Recent studies have shown that fake and real news spread differently on social media, forming propagation patterns that could be harnessed for the automatic fake news detection. Propagation-based approaches have multiple advantages compared to their content-based counterparts, among which is language independence and better resilience to adversarial attacks. In this paper we show a novel automatic fake news detection model based on geometric deep learning. The underlying core algorithms are a generalization of classical CNNs to graphs, allowing the fusion of heterogeneous data such as content, user profile and activity, social graph, and news propagation. Our model was trained and tested on news stories, verified by professional fact-checking organizations, that were spread on Twitter. Our experiments indicate that social network structure and propagation are important features allowing highly accurate (92.7% ROC AUC) fake news detection. Second, we observe that fake news can be reliably detected at an early stage, after just a few hours of propagation. Third, we test the aging of our model on training and testing data separated in time. Our results point to the promise of propagation-based approaches for fake news detection as an alternative or complementary strategy to content-based approaches.


title: Faceted patterns and anomalous surface roughening driven by long-term correlated noise

abstract: We investigate Kardar-Parisi-Zhang (KPZ) surface growth in the presence of long-term correlated noise. By means of extensive numerical simulations of models in the KPZ universality class we find that, as the noise correlator range increases, the surface develops a pattern of macroscopic facets that completely dominate the dynamics and induce anomalous kinetic roughening. This novel phenomenon is not described by the conventional dynamic renormalisation group calculations and can explain the singular behavior observed in the analytical treatment of this problem in the seminal paper of Medina {\it et al} [Phys. Rev. A {\bf 39}, 3053 (1989)].


title: Limit behaviour of a singular perturbation problem for the biharmonic operator

abstract: We study here a singular perturbation problem of biLaplacian type, which can be seen as the biharmonic counterpart of classical combustion models. We provide different results, that include the convergence to a free boundary problem driven by a biharmonic operator, as introduced in a previous paper of ours, and a monotonicity formula in the plane. For the latter result, an important tool is provided by an integral identity that is satisfied by solutions of the singular perturbation problem. We also investigate the quadratic behaviour of solutions near the zero level set, at least for small values of the perturbation parameter. Some counterexamples to the uniform regularity are also provided if one does not impose some structural assumptions on the forcing term.


title: Generative Adversarial Networks Synthesize Realistic OCT Images of the Retina

abstract: We report, to our knowledge, the first end-to-end application of Generative Adversarial Networks (GANs) towards the synthesis of Optical Coherence Tomography (OCT) images of the retina. Generative models have gained recent attention for the increasingly realistic images they can synthesize, given a sampling of a data type. In this paper, we apply GANs to a sampling distribution of OCTs of the retina. We observe the synthesis of realistic OCT images depicting recognizable pathology such as macular holes, choroidal neovascular membranes, myopic degeneration, cystoid macular edema, and central serous retinopathy amongst others. This represents the first such report of its kind. Potential applications of this new technology include for surgical simulation, for treatment planning, for disease prognostication, and for accelerating the development of new drugs and surgical procedures to treat retinal disease.


title: Poisson and heat semigroups for Bessel operator and on the hyperbolic space

abstract: In this paper we find explicit formulas for the Poisson and heat semigroups associated to the modified Bessel operator and on the hyperbolic spaces $\mathbb{H}^n$.


title: On the emergence of Zipf's law in music

abstract: Zipf's law is found when the vocabulary of long written texts is ranked according to the frequency of word occurrences, establishing a power-law decay for the frequency vs rank relation. This law is a robust statistical property observed even in ancient untranslated languages. Interestingly, this law seems to be also manifested in music records when several metrics---functioning as words in written texts---are used. Even though music can be regarded as a language, finding an accurate equivalent of the concept of words in music is difficult because it lacks a functional semantic. This raises the question of which is the appropriate choice of Zipfian units in music, which is extensive to other contexts where this law can emerge. In particular, this is still an open question in written texts, where several alternatives have been proposed as Zipfian units besides the canonical use of words. Seeking to validate a natural election of Zipfian units in music, in this work we find that Zipf's law emerges when a combination of chords and notes are chosen as Zipfian units. Our results are grounded on a consistent analysis of the statistical properties of music and texts, complemented with theoretical considerations that combine different reference models, including a simple model inspired in the Lempel-Ziv compression algorithm that we have devised to explain the emergence of Zipf's law as the consequence of languages evolving into more efficient forms of communication.


title: Link Prediction via Higher-Order Motif Features

abstract: Link prediction requires predicting which new links are likely to appear in a graph. Being able to predict unseen links with good accuracy has important applications in several domains such as social media, security, transportation, and recommendation systems. A common approach is to use features based on the common neighbors of an unconnected pair of nodes to predict whether the pair will form a link in the future. In this paper, we present an approach for link prediction that relies on higher-order analysis of the graph topology, well beyond common neighbors. We treat the link prediction problem as a supervised classification problem, and we propose a set of features that depend on the patterns or motifs that a pair of nodes occurs in. By using motifs of sizes 3, 4, and 5, our approach captures a high level of detail about the graph topology within the neighborhood of the pair of nodes, which leads to a higher classification accuracy. In addition to proposing the use of motif-based features, we also propose two optimizations related to constructing the classification dataset from the graph. First, to ensure that positive and negative examples are treated equally when extracting features, we propose adding the negative examples to the graph as an alternative to the common approach of removing the positive ones. Second, we show that it is important to control for the shortest-path distance when sampling pairs of nodes to form negative examples, since the difficulty of prediction varies with the shortest-path distance. We experimentally demonstrate that using off-the-shelf classifiers with a well constructed classification dataset results in up to 10 percentage points increase in accuracy over prior topology-based and feature learning methods.


title: A Broad Evaluation of the Tor English Content Ecosystem

abstract: Tor is among most well-known dark net in the world. It has noble uses, including as a platform for free speech and information dissemination under the guise of true anonymity, but may be culturally better known as a conduit for criminal activity and as a platform to market illicit goods and data. Past studies on the content of Tor support this notion, but were carried out by targeting popular domains likely to contain illicit content. A survey of past studies may thus not yield a complete evaluation of the content and use of Tor. This work addresses this gap by presenting a broad evaluation of the content of the English Tor ecosystem. We perform a comprehensive crawl of the Tor dark web and, through topic and network analysis, characterize the types of information and services hosted across a broad swath of Tor domains and their hyperlink relational structure. We recover nine domain types defined by the information or service they host and, among other findings, unveil how some types of domains intentionally silo themselves from the rest of Tor. We also present measurements that (regrettably) suggest how marketplaces of illegal drugs and services do emerge as the dominant type of Tor domain. Our study is the product of crawling over 1 million pages from 20,000 Tor seed addresses, yielding a collection of over 150,000 Tor pages. We make a dataset of the intend to make the domain structure publicly available as a dataset at https://github.com/wsu-wacs/TorEnglishContent.


title: A uniform ergodic theorem for degenerate flows on the annulus

abstract: Motivated by the well-known phase-space portrait of the nonlinear pendulum, the purpose of this paper is to obtain convergence rates in the ergodic theorem for flows in the plane that have arbitrarily slow trajectories. Considering bounded periodic trajectories near the heteroclinic orbits, it is shown that despite lacking a spectral gap, there exists a functional space (which is a strict subset of $L^2$) on which time averages converge uniformly to spatial averages (with an explicit rate). The main ingredient of the proof is an estimate of the density of the spectrum of the generator of the flow near zero.


title: Analysis of the Main Factors Affecting M-Commerce Adoption in Iraq

abstract: The telecommunications sector in Iraq is one of the most dynamic and active industries. This sector has prime importance only next to oil & gas, as revealed by recent reports. This industry has grown in leaps and bounds with the rising demand for mobile services. Mobile services were inaccessible prior to 2003. As of 2016, there are 29 million mobile telephone subscribers, with only 2.3 million fixed-line users. With the easy availability of telephone services, the telecommunication sector has reported a rapid boom. Subsequent to the fall of Saddam Hussein's regime on April 9, 2003, mobile commerce has reached new heights. This phenomenon is mainly attributed to the increasing internet and smartphone usage. Telecommunication is now an imperative element in the social and economic growth of the country. This sector has also expanded access to various prospects and has altered the manner of consumer interaction, comparing prices, researching goods, and making purchases. Several studies have reviewed the penetration of mobile commerce to varied sectors. These studies have also delved on the challenges, prospects, concerns, and impediments in this sector. However, none of these studies has considered the situation in Iraq. This paper examines the current literature to ascertain the parameters affecting m-commerce adoption in Iraq


title: Differentiability of the van der Waals interaction between two atoms

abstract: In this work we improve upon previous results on the expansion of the interaction energy of two atoms. On the one hand we prove the van der Waals-London's law, assuming that only one of the ground state eigenspaces of the atoms is irreducible in an appropriate sense. On the other hand we prove strict monotonicity of the interaction energy at large distances and, under more restrictive assumptions, we provide the leading order of its first two derivatives. The first derivative is interpreted as the force in Physics. Moreover, the estimates of the first two derivatives provide a rigorous proof of the monotonicity and concavity of the interaction energy at large distances.


title: Learning Topological Representation for Networks via Hierarchical Sampling

abstract: The topological information is essential for studying the relationship between nodes in a network. Recently, Network Representation Learning (NRL), which projects a network into a low-dimensional vector space, has been shown their advantages in analyzing large-scale networks. However, most existing NRL methods are designed to preserve the local topology of a network, they fail to capture the global topology. To tackle this issue, we propose a new NRL framework, named HSRL, to help existing NRL methods capture both the local and global topological information of a network. Specifically, HSRL recursively compresses an input network into a series of smaller networks using a community-awareness compressing strategy. Then, an existing NRL method is used to learn node embeddings for each compressed network. Finally, the node embeddings of the input network are obtained by concatenating the node embeddings from all compressed networks. Empirical studies for link prediction on five real-world datasets demonstrate the advantages of HSRL over state-of-the-art methods.


title: Optimal allocation of defibrillator drones in mountainous regions

abstract: Responding to emergencies in Alpine terrain is quite challenging as air ambulances and mountain rescue services are often confronted with logistics challenges and adverse weather conditions that extend the response times required to provide life-saving support. Among other medical emergencies, sudden cardiac arrest (SCA) is the most time-sensitive event that requires the quick provision of medical treatment including cardiopulmonary resuscitation and electric shocks by automated external defibrillators (AED). An emerging technology called unmanned aerial vehicles (or drones) is regarded to support mountain rescuers in overcoming the time criticality of these emergencies by reducing the time span between SCA and early defibrillation. A drone that is equipped with a portable AED can fly from a base station to the patient's site where a bystander receives it and starts treatment. This paper considers such a response system and proposes an integer linear program to determine the optimal allocation of drone base stations in a given geographical region. In detail, the developed model follows the objectives to minimize the number of used drones and to minimize the average travel times of defibrillator drones responding to SCA patients. In an example of application, under consideration of historical helicopter response times, the authors test the developed model and demonstrate the capability of drones to speed up the delivery of AEDs to SCA patients. Results indicate that time spans between SCA and early defibrillation can be reduced by the optimal allocation of drone base stations in a given geographical region, thus increasing the survival rate of SCA patients.


title: Phase field modelling of crack propagation, branching and coalescence in rocks

abstract: We present a phase field model (PFM) for simulating complex crack patterns including crack propagation, branching and coalescence in rock. The phase field model is implemented in COMSOL and is based on the strain decomposition for the elastic energy, which drives the evolution of the phase field. Then, numerical simulations of notched semi-circular bend (NSCB) tests and Brazil splitting tests are performed. Subsequently, crack propagation and coalescence in rock plates with multiple echelon flaws and twenty parallel flaws are studied. Finally, complex crack patterns are presented for a plate subjected to increasing internal pressure, the (3D) Pertersson beam and a 3D NSCB test. All results are in good agreement with previous experimental and numerical results.


title: Sub-linear Memory Sketches for Near Neighbor Search on Streaming Data

abstract: We present the first sublinear memory sketch that can be queried to find the nearest neighbors in a dataset. Our online sketching algorithm compresses an N element dataset to a sketch of size $O(N^b \log^3 N)$ in $O(N^{(b+1)} \log^3 N)$ time, where $b < 1$. This sketch can correctly report the nearest neighbors of any query that satisfies a stability condition parameterized by $b$. We achieve sublinear memory performance on stable queries by combining recent advances in locality sensitive hash (LSH)-based estimators, online kernel density estimation, and compressed sensing. Our theoretical results shed new light on the memory-accuracy tradeoff for nearest neighbor search, and our sketch, which consists entirely of short integer arrays, has a variety of attractive features in practice. We evaluate the memory-recall tradeoff of our method on a friend recommendation task in the Google Plus social media network. We obtain orders of magnitude better compression than the random projection based alternative while retaining the ability to report the nearest neighbors of practical queries.


title: Fundamental Diagram of Traffic Flow from Prigogine-Herman-Enskog Equation

abstract: Recent applications of a new methodology to measure fundamental traffic relations on freeways shows that many of the critical parameters of the flow-density and speed-spacing diagrams depend on vehicle length. In response to this fact, we present in this work a generalization of the Prigogine-Herman traffic equation for aggressive drivers which takes into account the fact that vehicles are not point-like objects but have an effective length. Our approach is similar to that introduced by Enskog for dense gases and provides the construction of fundamental diagrams which are in excellent agreement with empirical traffic data.


title: Non-Suicidal Self-Injury Online Posts: Implications for Mental Health Professionals

abstract: While non-suicidal self-injury (NSSI) is not a new phenomenon, there is still a limited yet little is still known about understanding of the behavior, the intent behind the behavior and what the individuals themselves say about their behavior. This study collected pro-NSSI public blog posts from Reddit on pro-NSSI and analyzed the content linguistically using LIWC software, in order to examine the use of NSSI specific words, linguistic properties and the psychological linguistic properties. were examined. The results inform current counseling practices by dispelling myths and providing insight into the inner world of people who engage in use NSSII to cope. The most frequently appearing category of For NSSI specific words categories, in the Reddit blogs was the reasons in which one engagesfor engaging in NSSI was the most frequently used in the Reddit blogs. The linguistic properties found in the analysis reflected the predicted results; authors of pro-NSSI posts used demonstrated expected results of first-person singular pronouns extensively, which indicatesing high levels of mental health distress and isolation. The psychological linguistic properties that could be observed of in these public Reddit posts were dominantly in a negative emotional tone which demonstrates youth and impulsivity. The linguistic properties found when these posts were analyzed supports the work of earlier studies that dispelled common myths about NSSI that were circulating in the mental health community. These findings suggest that the language of people who engage in NSSI supports research findings in dispelling common myths about NSSI.


title: General series identities, some additive theorems on hypergeometric functions and their applications

abstract: Motivated by the substantial development of the special functions, we contribute to establish some rigorous results on the general series identities with bounded sequences and hypergeometric functions with different arguments, which are generally applicable in nature. For the application purpose, we apply our results to some functions e.g. Trigonometric functions, Elliptic integrals, Dilogarithmic function, Error function, Incomplete gamma function, and many other special functions.


title: Openbots

abstract: Social bots have recently gained attention in the context of public opinion manipulation on social media platforms. While a lot of research effort has been put into the classification and detection of such (semi-)automated programs, it is still unclear how sophisticated those bots actually are, which platforms they target, and where they originate from. To answer these questions, we gathered repository data from open source collaboration platforms to identify the status-quo as well as trends of publicly available bot code. Our findings indicate that most of the code on collaboration platforms is of supportive nature and provides modules of automation instead of fully fledged social bot programs. Hence, the cost (in terms of additional programming effort) for building social bots with the goal of topic-specific manipulation is higher than assumed and that methods in context of machine- or deep-learning currently only play a minor role. However, our approach can be applied as multifaceted knowledge discovery framework to monitor trends in public bot code evolution to detect new developments and streams.


title: Analysis of Coauthorship Network in Political Science using Centrality Measures

abstract: In recent era, networks of data are growing massively and forming a shape of complex structure. Data scientists try to analyze different complex networks and utilize these networks to understand the complex structure of a network in a meaningful way. There is a need to detect and identify such a complex network in order to know how these networks provide communication means while using the complex structure. Social network analysis provides methods to explore and analyze such complex networks using graph theories, network properties and community detection algorithms. In this paper, an analysis of coauthorship network of Public Relation and Public Administration subjects of Microsoft Academic Graph (MAG) is presented, using common centrality measures. The authors belong to different research and academic institutes present all over the world. Cohesive groups of authors have been identified and ranked on the basis of centrality measures, such as betweenness, degree, page rank and closeness. Experimental results show the discovery of authors who are good in specific domain, have a strong field knowledge and maintain collaboration among their peers in the field of Public Relations and Public Administration.


title: Bayesian method for evaluation an airline profitability on the base components of Airline Route Planning

abstract: Airline route planning takes into account the factors of commercial and customer preferences, safety, and should allow a flexibility given the tremendous uncertainty about market conditions. The mathematical model on the Bayes formula allows optimizing the interaction of the base factors.


title: Pretorsion theories, stable category and preordered sets

abstract: We show that in the category of preordered sets, there is a natural notion of pretorsion theory, in which the partially ordered sets are the torsion-free objects and the sets endowed with an equivalence relation are the torsion objects. Correspondingly, it is possible to construct a stable category factoring out the objects that are both torsion and torsion-free.


title: The limit of the Riemann zeta function and its nontrivial zeros

abstract: In this article, with a new approach, which is not discussed in the literature yet, the limit of the Riemann zeta function or Euler-Riemann zeta function is approximately explored by applying Dirichlet's rearrangement theorem for absolutely convergent series to the Riemann zeta function by rearranging its terms as geometric series for sufficiently large $n$. The limit of the Riemann zeta function or Euler-Riemann zeta functions, $\lim_{n\to\infty} \zeta(z)$, is first time explored. The limit obtained here is a very promising for the nontrivial or complex zeros of the Rieman zeta function.


title: On the Partial Sums and Marcinkiewicz and Fej\'er Means on the One- and Two-dimensional One-parameter Martingale Hardy Spaces

abstract: In this PhD thesis we are dealing with convergence and summability of partial sums, Fej\'er and Marcinkiewicz means with respect to one- and two-dimensional Walsh-Fourier series on the martingale Hardy spaces. This thesis is focus to achieve the following main results: To find estimation of convergence and divergence of the subsequences of partial sums of the one-dimensional Walsh-Fourier series on the martingale Hardy spaces $H_p(G)$, when $0<p\leq1$. To find necessary and sufficient conditions in terms of modulus of continuity of martingale Hardy spaces, for which subsequences of partial sums of the one-dimensional Walsh-Fourier series convergence in $H_p(G)$ norm, when $0<p\leq1$. To find estimation of convergence and divergence of the subsequences of Fej\'er means of the one-dimensional Walsh-Fourier series on the martingale Hardy spaces $H_p(G)$, when $0<p\leq1/2$. To find necessary and sufficient conditions in terms of modulus of continuity of martingale Hardy spaces, for which subsequences of Fej\'er means of the one-dimensional Walsh-Fourier series converge in $H_{p}(G)$ norm, when $0<p\leq1/2$. To prove strong convergence of one-dimensional Fej\'er means with respect to Walsh system on the martingale Hardy spaces $H_{p}(G)$, when $0<p\leq 1/2$. To prove strong convergence of diagonal partial sums with respect to the two-dimensional Walsh-Fourier series on the martingale Hardy spaces $H_{p}(G^2)$, when $0<p<1$. To prove strong convergence of Marcinkiewicz means with respect to the two-dimensional Walsh-Fourier series in $H_{2/3}(G^2)$ norm. To find necessary and sufficient conditions in terms of modulus of continuity of Hardy spaces, for which Marcinkiewicz means of the two-dimensional Walsh-Fourier series converge in $H_{2/3}(G^2)$ norm.


title: Helical transport in coupled resonator waveguides

abstract: We show that a synthetic pseudospin-momentum coupling can be used to design quasi-one-dimensional disorder-resistant coupled resonator optical waveguides (CROW). In this structure, the propagating Bloch waves exhibit a pseudospin-momentum locking at specific momenta where backscattering is suppressed. We quantify this resistance to disorder using two methods. First, we calculate the Anderson localization length $\xi$, obtaining an order of magnitude enhancement compared to a conventional CROW for typical device parameters. Second, we study propagation in the time domain, finding that the loss of wavepacket purity in the presence of disorder rapidly saturates, indicating the preservation of phase information before the onset of Anderson localization. Our approach of directly optimizing the bulk Bloch waves is a promising alternative to disorder-robust transport based on higher dimensional topological edge states.


title: Stable Fractional Matchings

abstract: We study a generalization of the classical stable matching problem that allows for cardinal preferences (as opposed to ordinal) and fractional matchings (as opposed to integral). After observing that, in this cardinal setting, stable fractional matchings can have much higher social welfare than stable integral ones, our goal is to understand the computational complexity of finding an optimal (i.e., welfare-maximizing) or nearly-optimal stable fractional matching. We present simple approximation algorithms for this problem with weak welfare guarantees and, rather unexpectedly, we furthermore show that achieving better approximations is hard. This computational hardness persists even for approximate stability. To the best of our knowledge, these are the first computational complexity results for stable fractional matchings. En route to these results, we provide a number of structural observations.


title: The Cauchy problem for the inhomogeneous non-cutoff Kac equation in critical Besov space

abstract: In this work, we investigate the Cauchy problem for the spatially inhomogeneous non-cutoff Kac equation. If the initial datum belongs to the spatially critical Besov space, we can prove the well-posedness of weak solution under a perturbation framework. Furthermore, it is shown that the solution enjoys Gelfand-Shilov regularizing properties with respect to the velocity variable and Gevrey regularizing properties with respect to the position variable. In comparison with the recent result in [18], the Gelfand-Shilov regularity index is improved to be optimal. To the best of our knowledge, our work is the first one that exhibits smoothing effect for the kinetic equation in Besov spaces.


title: A Speculative Study on 6G

abstract: While 5G is being tested worldwide and anticipated to be rolled out gradually in 2019, researchers around the world are beginning to turn their attention to what 6G might be in 10+ years time, and there are already initiatives in various countries focusing on the research of possible 6G technologies. This article aims to extend the vision of 5G to more ambitious scenarios in a more distant future and speculates on the visionary technologies that could provide the step changes needed for enabling 6G.


title: HybridSN: Exploring 3D-2D CNN Feature Hierarchy for Hyperspectral Image Classification

abstract: Hyperspectral image (HSI) classification is widely used for the analysis of remotely sensed images. Hyperspectral imagery includes varying bands of images. Convolutional Neural Network (CNN) is one of the most frequently used deep learning based methods for visual data processing. The use of CNN for HSI classification is also visible in recent works. These approaches are mostly based on 2D CNN. Whereas, the HSI classification performance is highly dependent on both spatial and spectral information. Very few methods have utilized the 3D CNN because of increased computational complexity. This letter proposes a Hybrid Spectral Convolutional Neural Network (HybridSN) for HSI classification. Basically, the HybridSN is a spectral-spatial 3D-CNN followed by spatial 2D-CNN. The 3D-CNN facilitates the joint spatial-spectral feature representation from a stack of spectral bands. The 2D-CNN on top of the 3D-CNN further learns more abstract level spatial representation. Moreover, the use of hybrid CNNs reduces the complexity of the model compared to 3D-CNN alone. To test the performance of this hybrid approach, very rigorous HSI classification experiments are performed over Indian Pines, Pavia University and Salinas Scene remote sensing datasets. The results are compared with the state-of-the-art hand-crafted as well as end-to-end deep learning based methods. A very satisfactory performance is obtained using the proposed HybridSN for HSI classification. The source code can be found at \url{https://github.com/gokriznastic/HybridSN}.


title: The Frobenius and factor universality problems of the Kleene star of a finite set of words

abstract: We solve open problems concerning the Kleene star $L^*$ of a finite set $L$ of words over an alphabet $\Sigma$. The \emph{Frobenius monoid} problem is the question for a given finite set of words $L$, whether the language $L^*$ is cofinite. We show that it is PSPACE-complete. We also exhibit an infinite family of sets $L$ such that the length of the longest words not in $L^*$ (when $L^*$ is cofinite) is exponential in the length of the longest words in $L$ and subexponential in the sum of the lengths of words in $L$. The \emph{factor universality} problem is the question for a given finite set of words $L$, whether every word over $\Sigma$ is a factor (substring) of some word from $L^*$. We show that it is also PSPACE-complete. Besides that, we exhibit an infinite family of sets $L$ such that the length of the shortest words not being a factor of any word in $L^*$ is exponential in the length of the longest words in $L$ and subexponential in the sum of the lengths of words in $L$. This essentially settles in the negative the longstanding Restivo's conjecture (1981) and its weak variations. All our solutions base on one shared construction, and as an auxiliary general tool, we introduce the concept of \emph{set rewriting systems}. Finally, we complement the results with upper bounds.


title: Spectrum-Diverse Neuroevolution with Unified Neural Models

abstract: Learning algorithms are being increasingly adopted in various applications. However, further expansion will require methods that work more automatically. To enable this level of automation, a more powerful solution representation is needed. However, by increasing the representation complexity a second problem arises. The search space becomes huge and therefore an associated scalable and efficient searching algorithm is also required. To solve both problems, first a powerful representation is proposed that unifies most of the neural networks features from the literature into one representation. Secondly, a new diversity preserving method called Spectrum Diversity is created based on the new concept of chromosome spectrum that creates a spectrum out of the characteristics and frequency of alleles in a chromosome. The combination of Spectrum Diversity with a unified neuron representation enables the algorithm to either surpass or equal NeuroEvolution of Augmenting Topologies (NEAT) on all of the five classes of problems tested. Ablation tests justifies the good results, showing the importance of added new features in the unified neuron representation. Part of the success is attributed to the novelty-focused evolution and good scalability with chromosome size provided by Spectrum Diversity. Thus, this study sheds light on a new representation and diversity preserving mechanism that should impact algorithms and applications to come. To download the code please access the following https://github.com/zweifel/Physis-Shard.


title: Towards Non-saturating Recurrent Units for Modelling Long-term Dependencies

abstract: Modelling long-term dependencies is a challenge for recurrent neural networks. This is primarily due to the fact that gradients vanish during training, as the sequence length increases. Gradients can be attenuated by transition operators and are attenuated or dropped by activation functions. Canonical architectures like LSTM alleviate this issue by skipping information through a memory mechanism. We propose a new recurrent architecture (Non-saturating Recurrent Unit; NRU) that relies on a memory mechanism but forgoes both saturating activation functions and saturating gates, in order to further alleviate vanishing gradients. In a series of synthetic and real world tasks, we demonstrate that the proposed model is the only model that performs among the top 2 models across all tasks with and without long-term dependencies, when compared against a range of other architectures.


title: On Evaluating Adversarial Robustness

abstract: Correctly evaluating defenses against adversarial examples has proven to be extremely difficult. Despite the significant amount of recent work attempting to design defenses that withstand adaptive attacks, few have succeeded; most papers that propose defenses are quickly shown to be incorrect. We believe a large contributing factor is the difficulty of performing security evaluations. In this paper, we discuss the methodological foundations, review commonly accepted best practices, and suggest new methods for evaluating defenses to adversarial examples. We hope that both researchers developing defenses as well as readers and reviewers who wish to understand the completeness of an evaluation consider our advice in order to avoid common pitfalls.


title: Magnetic Field-controlled Transmission and Ultra-narrow Superradiant Lasing by Dark Atom-light Dressed States

abstract: Optical lattice clock systems with ultra-cold strontium-88 atoms have been used to demonstrate superradiant lasing and magnetic field-controlled optical transmission. We explain these phenomena theoretically with a rigorous model for three-level atoms coupled to a single cavity mode. We identify a class of dark atom-light dressed states which become accessible due to mixing with bright dressed states in the presence of a magnetic field. We predict that these states, under moderate incoherent pumping, lead to lasing with a linewidth of only tens of Hz, orders of magnitude smaller than the cavity linewidth and the atomic incoherent decay and pumping rates.


title: Long colimits of topological groups I: Continuous maps and homeomorphisms

abstract: The union of a directed family of topological groups can be equipped with two noteworthy topologies: the finest topology making each injection continuous, and the finest group topology making each injection continuous. This begs the question of whether the two topologies coincide. If the family is countable, the answer is well known in many cases. We study this question in the context of so-called long families, which are as far as possible from countable ones. As a first step, we present answers to the question for families of group-valued continuous maps and homeomorphism groups, and provide additional examples.


title: A Hamiltonian $\coprod\limits_n BO(n)$-action, stratified Morse theory and the $J$-homomorphism

abstract: We use sheaves of spectra to quantize a Hamiltonian $\coprod\limits_n BO(n)$-action on $\varinjlim\limits_{N}T^*\mathbf{R}^N$ that naturally arises from Bott periodicity. We employ the category of correspondences developed in [GaRo] to give an enrichment of stratified Morse theory by the $J$-homomorphism. This provides a key step in the following work [Jin] on the proof of a claim in [JiTr]: the classifying map of the local system of brane structures on an (immersed) exact Lagrangian submanifold $L\subset T^*\mathbf{R}^N$ is given by the composition of the stable Gauss map $L\rightarrow U/O$ and the delooping of the $J$-homomorphism $U/O\rightarrow B\mathrm{Pic}(\mathbf{S})$. We put special emphasis on the functoriality and (symmetric) monoidal structures of the categories involved, and as a byproduct, we produce several concrete constructions of (commutative) algebra/module objects and (right-lax) morphisms between them in the (symmetric) monoidal $(\infty, 2)$-category of correspondences, generalizing the construction out of Segal objects in [GaRo], which might be of interest by its own.


title: Bulk Locality and Asymptotic Causal Diamonds

abstract: In AdS/CFT, the non-uniqueness of the reconstructed bulk from boundary subregions has motivated the notion of code subspaces. We present some closely related structures that arise in flat space. A useful organizing idea is that of an {\em asymptotic} causal diamond (ACD): a causal diamond attached to the conformal boundary of Minkowski space. The space of ACDs is defined by pairs of points, one each on the future and past null boundaries, ${\cal I}^{\pm}$. We observe that for flat space with an IR cut-off, this space (a) encodes a preferred class of boundary ``subregions'', (b) is a plausible way to capture holographic data for local bulk reconstruction, (c) has a natural interpretation as the kinematic space for holography, (d) leads to a holographic entanglement entropy in flat space that matches previous definitions and satisfies strong sub-additivity, and, (e) has a bulk union/intersection structure isomorphic to the one that motivated the introduction of quantum error correction in AdS/CFT. By sliding the cut-off, we also note one substantive way in which flat space holography differs from that in AdS. Even though our discussion is centered around flat space (and AdS), we note that there are notions of ACDs in other spacetimes as well. They could provide a covariant way to abstractly characterize tensor sub-factors of Hilbert spaces of holographic theories.


title: Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited

abstract: In recent years, we have seen a great deal of both academic and practical interest in the topic of vulnerabilities in smart contracts, particularly those developed for the Ethereum blockchain. While most of the work has focused on detecting *vulnerable* contracts, in this paper, we focus on finding how many of these vulnerable contracts have actually been *exploited*. We survey the 23,327 vulnerable contracts reported by six recent academic projects and find that, despite the amounts at stake, only 1.98% of them have been exploited since deployment. This corresponds to at most 8,487 ETH (~1.7 million USD), or only 0.27% of the 3 million ETH (600 million USD) at stake. We explain these results by demonstrating that the funds are very concentrated in a small number of contracts which are *not exploitable* in practice.


title: Incremental Cluster Validity Indices for Hard Partitions: Extensions and Comparative Study

abstract: Validation is one of the most important aspects of clustering, but most approaches have been batch methods. Recently, interest has grown in providing incremental alternatives. This paper extends the incremental cluster validity index (iCVI) family to include incremental versions of Calinski-Harabasz (iCH), I index and Pakhira-Bandyopadhyay-Maulik (iI and iPBM), Silhouette (iSIL), Negentropy Increment (iNI), Representative Cross Information Potential (irCIP) and Representative Cross Entropy (irH), and Conn_Index (iConn_Index). Additionally, the effect of under- and over-partitioning on the behavior of these six iCVIs, the Partition Separation (PS) index, as well as two other recently developed iCVIs (incremental Xie-Beni (iXB) and incremental Davies-Bouldin (iDB)) was examined through a comparative study. Experimental results using fuzzy adaptive resonance theory (ART)-based clustering methods showed that while evidence of most under-partitioning cases could be inferred from the behaviors of all these iCVIs, over-partitioning was found to be a more challenging scenario indicated only by the iConn_Index. The expansion of incremental validity indices provides significant novel opportunities for assessing and interpreting the results of unsupervised learning.


title: A highly variable methanol maser in G111.256-0.770

abstract: G111.256-0.770 is a high-mass young stellar object associated with a weak 6.7 GHz methanol maser showing strong variability. We present results of a multi-epoch monitoring program of the target, conducted with the Torun 32 m telescope for more than a decade. We found that the isotropic maser luminosity varied by a factor 16 on a timescale of 5-6 yr and individual features showed small amplitude short-lived (about 0.2 yr) bursts superimposed on higher amplitude slow (>5 yr) variations.


title: SFCM-R: A novel algorithm for the hamiltonian sequence problem

abstract: A hamiltonian sequence is a path walk $P$ that can be a hamiltonian path or hamiltonian circuit. Determining whether such hamiltonian sequence exists in a given graph \G is a NP-Complete problem. In this paper, a novel algorithm for hamiltonian sequence problem is proposed. The proposed algorithm assumes that $G$ has potential forbidden minors that prevent a potential hamiltonian sequence $P^\prime$ from being a hamiltonian sequence. The algorithm's goal is to degenerate such potential forbidden minors in a two-phrase process. In first phrase, the algorithm passes through $G$ in order to construct a potential hamiltonian sequence $P^\prime$ with the aim of degenerating these potential forbidden minors. The algorithm, in turn, tries to reconstruct $P^\prime$ in second phrase by using a goal-oriented approach.


title: A parallel Fortran framework for neural networks and deep learning

abstract: This paper describes neural-fortran, a parallel Fortran framework for neural networks and deep learning. It features a simple interface to construct feed-forward neural networks of arbitrary structure and size, several activation functions, and stochastic gradient descent as the default optimization algorithm. Neural-fortran also leverages the Fortran 2018 standard collective subroutines to achieve data-based parallelism on shared- or distributed-memory machines. First, I describe the implementation of neural networks with Fortran derived types, whole-array arithmetic, and collective sum and broadcast operations to achieve parallelism. Second, I demonstrate the use of neural-fortran in an example of recognizing hand-written digits from images. Finally, I evaluate the computational performance in both serial and parallel modes. Ease of use and computational performance are similar to an existing popular machine learning framework, making neural-fortran a viable candidate for further development and use in production.


title: Anomalous Supersymmetry

abstract: We show that supersymmetry is anomalous in ${\cal N}=1$ superconformal quantum field theories (SCFTs) with an anomalous R-symmetry. This anomaly was originally found in holographic SCFTs at strong coupling. Here we show that this anomaly is present in general and demonstrate it for the massless superconformal Wess-Zumino model via a one loop computation. The anomaly appears first in four-point functions of two supercurrents with either two R-currents or with an R-current and an energy momentum tensor. In fact, the Wess-Zumino consistency conditions together with the standard R-symmetry anomaly imply the existence of the anomaly. We outline the implications of this anomaly.


title: Holograms to focus arbitrary ultrasonic fields through the skull

abstract: We report 3D-printed acoustic holographic lenses for the formation of ultrasonic fields of complex spatial distribution inside the skull. Using holographic lenses, we experimentally, numerically and theoretically produce acoustic beams whose spatial distribution matches target structures of the central nervous system. In particular, we produce three types of targets of increasing complexity. First, a set of points are selected at the center of both right and left human hippocampi. Experiments using a skull phantom and 3D printed acoustic holographic lenses show that the corresponding bifocal lens simultaneously focuses acoustic energy at the target foci, with good agreement between theory and simulations. Second, an arbitrary curve is set as the target inside the skull phantom. Using time-reversal methods the holographic beam bends following the target path, in a similar way as self-bending beams do in free space. Finally, the right human hippocampus is selected as a target volume. The focus of the corresponding holographic lens overlaps with the target volume in excellent agreement between theory in free-media, and experiments and simulations including the skull phantom. The precise control of focused ultrasound into the central nervous system is mainly limited due to the strong phase aberrations produced by refraction and attenuation of the skull. Using the present method, the ultrasonic beam can be focused not only at a single point but overlapping one or various target structures simultaneously using low-cost 3D-printed acoustic holographic lens. The results open new paths to spread incoming biomedical ultrasound applications including blood-brain barrier opening or neuromodulation.


title: Supersymmetry anomalies in $\mathcal{N}=1$ conformal supergravity

abstract: We solve the Wess-Zumino consistency conditions of $\mathcal{N}=1$ off-shell conformal supergravity in four dimensions and determine the general form of the superconformal anomalies for arbitrary $a$ and $c$ anomaly coefficients to leading non trivial order in the gravitino. Besides the well known Weyl and $R$-symmetry anomalies, we compute explicitly the fermionic $\mathcal{Q}$- and $\mathcal{S}$-supersymmetry anomalies. In particular, we show that $\mathcal{Q}$-supersymmetry is anomalous if and only if $R$-symmetry is anomalous. The $\mathcal{Q}$- and $\mathcal{S}$-supersymmetry anomalies give rise to an anomalous supersymmetry transformation for the supercurrent on curved backgrounds admitting Killing spinors, resulting in a deformed rigid supersymmetry algebra. Our results may have implications for supersymmetric localization and supersymmetry phenomenology. Analogous results are expected to hold in dimensions two and six and for other supergravity theories. The present analysis of the Wess-Zumino consistency conditions reproduces the holographic result of arxiv:1703.04299 and generalizes it to arbitrary $a$ and $c$ anomaly coefficients.


title: Approximate Bayesian Model Inversion for PDEs with Heterogeneous and State-Dependent Coefficients

abstract: We present two approximate Bayesian inference methods for parameter estimation in partial differential equation (PDE) models with space-dependent and state-dependent parameters. We demonstrate that these methods provide accurate and cost-effective alternatives to Markov Chain Monte Carlo simulation. We assume a parameterized Gaussian prior on the unknown functions, and approximate the posterior density by a parameterized multivariate Gaussian density. The parameters of the prior and posterior are estimated from sparse observations of the PDE model's states and the unknown functions themselves by maximizing the evidence lower bound (ELBO), a lower bound on the log marginal likelihood of the observations. The first method, Laplace-EM, employs the expectation maximization algorithm to maximize the ELBO, with a Laplace approximation of the posterior on the E-step, and minimization of a Kullback-Leibler divergence on the M-step. The second method, DSVI-EB, employs the doubly stochastic variational inference (DSVI) algorithm, in which the ELBO is maximized via gradient-based stochastic optimization, with nosiy gradients computed via simple Monte Carlo sampling and Gaussian backpropagation. We apply these methods to identifying diffusion coefficients in linear and nonlinear diffusion equations, and we find that both methods provide accurate estimates of posterior densities and the hyperparameters of Gaussian priors. While the Laplace-EM method is more accurate, it requires computing Hessians of the physics model. The DSVI-EB method is found to be less accurate but only requires gradients of the physics model.


title: The future of US-China relations: a scientific investigation

abstract: In earlier centuries kings and governments employed astrologists to help them take the best decisions. Present-day governments no longer employ astrologists but still have no clear analytical tool to replace them. Over the past two decades we have developed a methodology for the scientific investigation of recurrent historical events. It consists in two steps. (i) Identification and comparison of historical episodes driven by a common mechanism. (ii) Under the reasonable assumption that what has happened several times in the past is likely to happen again, one then derives testable predictions. This of course is nothing other than the protocol used in experimental science when exploring new phenomena. We believe such a tool can give decision makers much better insight. In the present paper we illustrate this analysis by considering challenges, that span more than a century, to US hegemony in the Pacific. The outcomes suggest that it is only through the sidelining of one of the contenders that the confrontation will end. At the time of writing (late 2018) early evidence of this confrontation is already visible at three levels. (i) Growing US concerns for domestic security that are leading to a new form of McCarthyism. (ii) Political instability due to China-US polarization in several Asian countries as well as in the countries participating in the Belt and Road Initiative. (iii) Tension and sanctions in procurement and trade.


title: Wide Neural Networks of Any Depth Evolve as Linear Models Under Gradient Descent

abstract: A longstanding goal in deep learning research has been to precisely characterize training and generalization. However, the often complex loss landscapes of neural networks have made a theory of learning dynamics elusive. In this work, we show that for wide neural networks the learning dynamics simplify considerably and that, in the infinite width limit, they are governed by a linear model obtained from the first-order Taylor expansion of the network around its initial parameters. Furthermore, mirroring the correspondence between wide Bayesian neural networks and Gaussian processes, gradient-based training of wide neural networks with a squared loss produces test set predictions drawn from a Gaussian process with a particular compositional kernel. While these theoretical results are only exact in the infinite width limit, we nevertheless find excellent empirical agreement between the predictions of the original network and those of the linearized version even for finite practically-sized networks. This agreement is robust across different architectures, optimization methods, and loss functions.


title: Comparison of the lateral retention forces on sessile, pendant, and inverted sessile drops

abstract: We compare the lateral retention forces on sessile drops (which are drops that are placed on top of a solid surface), pendant drops (which are drops that are placed on the underside of the surface), and inverted sessile drops (which are drops that are first placed on top and then on the underside of the surface by flipping the surface). We have found experimentally that the retention force on a truly pendant drop is always smaller than that on a sessile drop. However, the retention force on an inverted sessile drop is comparable to, and usually larger than, that on a sessile drop. Thus, the retention force on a drop depends not only on whether it is placed on top or on bottom of a surface, but also on the history of drop deposition, since such history affects the width, the shape and the contact angles of the drop.


title: On simultaneous approximation of several eigenvalues of a semi-definite self-adjoint linear operator in a Hilbert space

abstract: A lower semi-definite self-adjoint linear operator in a Hilbert space is taken whose discrete spectrum is not empty and comprises at least several eigenvalues $\lambda_{min}=\lambda_1\leqslant\ldots\leqslant\lambda_m<\sigma_{ess}$. The problem of approximation of these eigenvalues by eigenvalues of some linear operator in a finite-dimensional space of the dimension $s$ is considered and solved. The accuracy of the approximation obtained becomes unlimitedly high as $s\to\infty$.


title: Lattice-based equation of state at finite baryon number, electric charge and strangeness chemical potentials

abstract: We construct an equation of state for Quantum Chromodynamics (QCD) at finite temperature and chemical potentials for baryon number $B$, electric charge $Q$ and strangeness $S$. We use the Taylor expansion method, up to the fourth power for the chemical potentials. This requires the knowledge of all diagonal and non-diagonal $BQS$ correlators up to fourth order: these results recently became available from lattice QCD simulations, albeit only at a finite lattice spacing $N_t=12$. We smoothly merge these results to the Hadron Resonance Gas (HRG) model, to be able to reach temperatures as low as 30 MeV; in the high temperature regime, we impose a smooth approach to the Stefan-Boltzmann limit. We provide a parameterization for each one of these $BQS$ correlators as functions of the temperature. We then calculate pressure, energy density, entropy density, baryonic, strangeness, electric charge densities and compare the two cases of strangeness neutrality and $\mu_S=\mu_Q=0$. We also calculate the isentropic trajectories and compare them in the two cases. Our equation of state can be readily used as an input of hydrodynamical simulations of matter created at the Relativistic Heavy Ion Collider (RHIC).


title: On a theorem of Baxter and Zeilberger via a result of Roselle

abstract: We provide a new proof of a result of Baxter and Zeilberger showing that inv and maj on permutations are jointly independently asymptotically normally distributed. The main feature of our argument is that it uses a generating function due to Roselle, answering a question raised by Romik and Zeilberger.


title: Magnetic topologies of young suns: The weak-line T Tauri stars TWA 6 and TWA 8A

abstract: We present a spectropolarimetric study of two weak-line T Tauri stars (wTTSs), TWA 6 and TWA 8A, as part of the MaTYSSE (Magnetic Topologies of Young Stars and the Survival of close-in giant Exoplanets) program. Both stars display significant Zeeman signatures that we have modelled using Zeeman Doppler Imaging (ZDI). The magnetic field of TWA 6 is split equally between poloidal and toroidal components, with the largest fraction of energy in higher-order modes, with a total unsigned flux of 840 G, and a poloidal component tilted $35^{\circ}$ from the rotation axis. TWA 8A has a 70 per cent poloidal field, with most of the energy in higher-order modes, with an unsigned flux of 1.4 kG (with a magnetic filling factor of 0.2), and a poloidal field tilted $20^{\circ}$ from the rotation axis. Spectral fitting of the very strong field in \tb (in individual lines, simultaneously for Stokes $I$ and $V$) yielded a mean magnetic field strength of $6.0\pm0.5$ kG. The higher field strengths recovered from spectral fitting suggests that a significant proportion of magnetic energy lies in small-scale fields that are unresolved by ZDI. So far, wTTSs in MaTYSSE appear to show that the poloidal-field axisymmetry correlates with the magnetic field strength. Moreover, it appears that classical T Tauri stars (cTTSs) and wTTSs are mostly poloidal and axisymmetric when mostly convective and cooler than $\sim4300$ K, with hotter stars being less axisymmetric and poloidal, regardless of internal structure.


title: Orientation of ground-state orbital in CeCoIn$_5$ and CeRhIn$_5$

abstract: We present core level non-resonant inelastic x-ray scattering (NIXS) data of the heavy fermion compounds CeCoIn$_5$ and CeRhIn$_5$ measured at the Ce $N_{4,5}$-edges. The higher than dipole transitions in NIXS allow determining the orientation of the $\Gamma_7$ crystal-field ground-state orbital within the unit cell. The crystal-field parameters of the Ce$M$In$_5$ compounds and related substitution phase diagrams have been investigated in great detail in the past; however, whether the ground-state wavefunction is the $\Gamma_7^+$ ($x^2\,-\,y^2$) or $\Gamma_7^-$ ($xy$ orientation) remained undetermined. We show that the $\Gamma_7^-$ doublet with lobes along the (110) direction forms the ground state in CeCoIn$_5$ and CeRhIn$_5$. For CeCoIn$_5$, however, we find also some contribution of the first excited state crystal-field state in the ground state due to the stronger hybridization of 4$f$ and conduction electrons, suggesting a smaller $\alpha^2$ value than originally anticipated from x-ray absorption. A comparison is made to the results of existing density functional theory plus dynamical mean-field theory calculations.


title: Single-step fabrication of surface waveguides in fused silica with few-cycle laser pulses

abstract: Direct laser writing of surface waveguides with ultrashort pulses is a crucial achievement towards all-laser manufacturing of photonic integrated circuits sensitive to their environment. In this Letter, few-cycle laser pulses (with a sub-10 fs duration) are used to produce subsurface waveguides in a non-doped, non-coated fused silica substrate. The fabrication technique relies on laser-induced microdensification below the threshold for nanopore formation. The optical losses of the fabricated waveguides are governed by the optical properties of the superstrate. We have measured losses ranging from less than 0.1~dB/mm (air superstrate) up to 2.8~dB/mm when immersion oil is applied on top of the waveguide.


title: Jacobi Sums and Correlations of Sidelnikov Sequences

abstract: We consider the problem of determining the cross-correlation values of the sequences in the families comprised of constant multiples of $M$-ary Sidelnikov sequences over $\mathbb{F}_q$, where $q$ is a power of an odd prime $p$. We show that the cross-correlation values of pairs of sequences from such a family can be expressed in terms of certain Jacobi sums. This insight facilitates the computation of the cross-correlation values of these sequence pairs so long as $\phi(M)^{\phi(M)} \leq q.$ We are also able to use our Jacobi sum expression to deduce explicit formulae for the cross-correlation distribution of a family of this type in the special case that there exists an integer $x$ such that $p^x \equiv -1 \pmod{M}.$


title: 3D Scene Reconstruction with Multi-layer Depth and Epipolar Transformers

abstract: We tackle the problem of automatically reconstructing a complete 3D model of a scene from a single RGB image. This challenging task requires inferring the shape of both visible and occluded surfaces. Our approach utilizes viewer-centered, multi-layer representation of scene geometry adapted from recent methods for single object shape completion. To improve the accuracy of view-centered representations for complex scenes, we introduce a novel "Epipolar Feature Transformer" that transfers convolutional network features from an input view to other virtual camera viewpoints, and thus better covers the 3D scene geometry. Unlike existing approaches that first detect and localize objects in 3D, and then infer object shape using category-specific models, our approach is fully convolutional, end-to-end differentiable, and avoids the resolution and memory limitations of voxel representations. We demonstrate the advantages of multi-layer depth representations and epipolar feature transformers on the reconstruction of a large database of indoor scenes.


title: Comment on 'The aestivation hypothesis for resolving Fermi's paradox'

abstract: In their article [arXiv:1705.03394], 'That is not dead which can eternal lie: the aestivation hypothesis for resolving Fermi's paradox', Sandberg et al. try to explain the Fermi paradox (we see no aliens) by claiming that Landauer's principle implies that a civilization can in principle perform far more (${\sim} 10^{30}$ times more) irreversible logical operations (e.g., error-correcting bit erasures) if it conserves its resources until the distant future when the cosmic background temperature is very low. So perhaps aliens are out there, but quietly waiting. Sandberg et al. implicitly assume, however, that computer-generated entropy can only be disposed of by transferring it to the cosmological background. In fact, while this assumption may apply in the distant future, our universe today contains vast reservoirs and other physical systems in non-maximal entropy states, and computer-generated entropy can be transferred to them at the adiabatic conversion rate of one bit of negentropy to erase one bit of error. This can be done at any time, and is not improved by waiting for a low cosmic background temperature. Thus aliens need not wait to be active. As Sandberg et al. do not provide a concrete model of the effect they assert, we construct one and show where their informal argument goes wrong.


title: Resolving the decades-long transient FIRST J141918.9+394036: an orphan long gamma-ray burst or a young magnetar nebula?

abstract: Ofek (2017) identified FIRST J141918.9+394036 (hereafter FIRST J1419+3940) as a radio source sharing similar properties and host galaxy type to the compact, persistent radio source associated with the first known repeating fast radio burst, FRB 121102. Law et al. (2018) showed that FIRST J1419+3940 is a transient source decaying in brightness over the last few decades. One possible interpretation is that FIRST J1419+3940 is a nearby analogue to FRB 121102 and that the radio emission represents a young magnetar nebula (as several scenarios assume for FRB 121102). Another interpretation is that FIRST J1419+3940 is the afterglow of an `orphan' long gamma-ray burst (GRB). The environment is similar to where most such events are produced. To distinguish between these hypotheses, we conducted radio observations using the European VLBI Network at 1.6 GHz to spatially resolve the emission and to search for millisecond-duration radio bursts. We detect FIRST J1419+3940 as a compact radio source with a flux density of $620 \pm 20\ \mathrm{\mu Jy}$ (on 2018 September 18) and a source size of $3.9 \pm 0.7\ \mathrm{mas}$ (i.e. $1.6 \pm 0.3\ \mathrm{pc}$ given the angular diameter distance of $83\ \mathrm{Mpc}$). These results confirm that the radio emission is non-thermal and imply an average expansion velocity of $(0.10 \pm 0.02)c$. Contemporaneous high-time-resolution observations using the 100-m Effelsberg telescope detected no millisecond-duration bursts of astrophysical origin. The source properties and lack of short-duration bursts are consistent with a GRB jet expansion, whereas they disfavor a magnetar birth nebula.


title: Positive Transversality via transfer operators and holomorphic motions with applications to monotonicity for interval maps

abstract: In this paper we will develop a general approach which shows that generalized "critical relations" of families of locally defined holomorphic maps on the complex plane unfold transversally. The main idea is to define a transfer operator, which is a local analogue of the Thurston pullback operator, using holomorphic motions. Assuming a so-called lifting property is satisfied, we obtain information about the spectrum of this transfer operator and thus about transversality. An important new feature of our method is that it is not global: the maps we consider are only required to be defined and holomorphic on a neighbourhood of some finite set. We will illustrate this method by obtaining transversality for a wide class of one-parameter families of interval and circle maps, for example for maps with flat critical points, but also for maps with complex analytic extensions such as certain polynomial-like maps. As in Tsujii's approach \cite{Tsu0,Tsu1}, for real maps we obtain {\em positive} transversality (where $>0$ holds instead of just $\ne 0$), and thus monotonicity of entropy for these families, and also (as an easy application) for the real quadratic family. This method additionally gives results for unimodal families of the form $x\mapsto |x|^\ell+c$ for $\ell>1$ not necessarily an even integer and $c$ real.


title: A static higher-order dependency pair framework

abstract: We revisit the static dependency pair method for proving termination of higher-order term rewriting and extend it in a number of ways: (1) We introduce a new rewrite formalism designed for general applicability in termination proving of higher-order rewriting, Algebraic Functional Systems with Meta-variables. (2) We provide a syntactically checkable soundness criterion to make the method applicable to a large class of rewrite systems. (3) We propose a modular dependency pair framework for this higher-order setting. (4) We introduce a fine-grained notion of formative and computable chains to render the framework more powerful. (5) We formulate several existing and new termination proving techniques in the form of processors within our framework. The framework has been implemented in the (fully automatic) higher-order termination tool WANDA.


title: Author Profiling for Hate Speech Detection

abstract: The rapid growth of social media in recent years has fed into some highly undesirable phenomena such as proliferation of abusive and offensive language on the Internet. Previous research suggests that such hateful content tends to come from users who share a set of common stereotypes and form communities around them. The current state-of-the-art approaches to hate speech detection are oblivious to user and community information and rely entirely on textual (i.e., lexical and semantic) cues. In this paper, we propose a novel approach to this problem that incorporates community-based profiling features of Twitter users. Experimenting with a dataset of 16k tweets, we show that our methods significantly outperform the current state of the art in hate speech detection. Further, we conduct a qualitative analysis of model characteristics. We release our code, pre-trained models and all the resources used in the public domain.


title: Exit Boundaries of Multidimensional SDEs

abstract: We show that solutions to multidimensional SDEs with Lipschitz coefficients and driven by Brownian motion never reach the set where all coefficients vanish unless the initial position belongs to that set.


title: Gravitational perturbations from oscillons and transients after inflation

abstract: We study the scalar and tensor perturbations generated by the fragmentation of the inflaton condensate into oscillons or transients after inflation, using nonlinear classical lattice simulations. Without including the backreaction of metric perturbations, we find that the magnitude of scalar metric perturbations never exceeds a few $\times 10^{-3}$, whereas the maximal strength of the gravitational wave signal today is $\mathcal{O}(10^{-9})$ for standard post-inflationary expansion histories. We provide parameter scalings for the $\alpha$-attractor models of inflation, which can be easily applied to other models. We also discuss the likelihood of primordial black hole formation, as well as conditions under which the gravitational wave signal can be at observationally interesting frequencies and amplitudes. Finally, we provide an upper bound on the frequency of the peak of the gravitational wave signal, which applies to all preheating scenarios.


title: On the Performance of NOMA-based Cooperative Relaying with Receive Diversity

abstract: Non-orthogonal multiple access (NOMA) is widely recognized as a potential multiple access (MA) technology for efficient spectrum utilization in the fifth-generation (5G) wireless standard. In this paper, we present the achievable sum rate analysis of a cooperative relaying system (CRS) using NOMA with two different receive diversity schemes - selection combining (SC), where the antenna with highest instantaneous signal-to-noise ratio (SNR) is selected, and maximal-ratio combining (MRC). We also present the outage probability and diversity analysis for the CRS-NOMA system. Analytical results confirm that the CRS-NOMA system outperforms the CRS with conventional orthogonal multiple access (OMA) by achieving higher spectral efficiency at high transmit SNR and achieves a full diversity order.


title: On the Feynman Rules of Massive Gauge Theory in Physical Gauges

abstract: For a massive gauge theory with Higgs mechanism in a physical gauge, the longitudinal polarization of gauge bosons can be naturally identified as mixture of the goldstone component and a remnant gauge component that vanishes at the limit of zero mass, making the goldstone equivalence manifest. In light of this observation, we re-examine the Feynman rules of massive gauge theory by treating gauge fields and their corresponding goldstone fields as single objects, writing them uniformly as 5-component "vector" fields. The gauge group is taken to be $SU(2)_L$ to preserve custodial symmetry. We find the derivation of gauge-goldstone propagators becomes rather trivial by noticing there is a remarkable parallel between massless gauge theory and massive gauge theory in this notation. We also derive the Feynman rules of all vertices, finding the vertex for self-interactions of vector (gauge-goldstone) bosons are especially simplified. We then demonstrate that the new form of the longitudinal polarization vector and the standard form give the same results for all the 3-point on-shell amplitudes. This on-shell matching confirms similar results obtained with on-shell approach for massive scattering amplitudes by Arkani-Hamed et.al. Finally we calculate some $1\rightarrow 2$ collinear splitting amplitudes by making use of the new Feynman rules and the on-shell match condition.