title: DIRK Schemes with High Weak Stage Order

abstract: Runge-Kutta time-stepping methods in general suffer from order reduction: the observed order of convergence may be less than the formal order when applied to certain stiff problems. Order reduction can be avoided by using methods with high stage order. However, diagonally-implicit Runge-Kutta (DIRK) schemes are limited to low stage order. In this paper we explore a weak stage order criterion, which for initial boundary value problems also serves to avoid order reduction, and which is compatible with a DIRK structure. We provide specific DIRK schemes of weak stage order up to 3, and demonstrate their performance in various examples.


title: PDFs in small boxes

abstract: PDFs can be studied directly using lattice QCD by evaluating matrix elements of non-local operators. A number of groups are pursuing numerical calculations and investigating possible systematic uncertainties. One systematic that has received less attention is the effect of calculating in a finite spacetime volume. Here we present first attempts to assess the role of the finite volume for spatially non-local operators. We find that these matrix elements may suffer from large finite-volume artifacts and more careful investigation is needed.


title: Towards Sparse Hierarchical Graph Classifiers

abstract: Recent advances in representation learning on graphs, mainly leveraging graph convolutional networks, have brought a substantial improvement on many graph-based benchmark tasks. While novel approaches to learning node embeddings are highly suitable for node classification and link prediction, their application to graph classification (predicting a single label for the entire graph) remains mostly rudimentary, typically using a single global pooling step to aggregate node features or a hand-designed, fixed heuristic for hierarchical coarsening of the graph structure. An important step towards ameliorating this is differentiable graph coarsening---the ability to reduce the size of the graph in an adaptive, data-dependent manner within a graph neural network pipeline, analogous to image downsampling within CNNs. However, the previous prominent approach to pooling has quadratic memory requirements during training and is therefore not scalable to large graphs. Here we combine several recent advances in graph neural network design to demonstrate that competitive hierarchical graph classification results are possible without sacrificing sparsity. Our results are verified on several established graph classification benchmarks, and highlight an important direction for future research in graph-based neural networks.


title: Black Hole Spectroscopy and AdS$_2$ Holography

abstract: We compute the spectrum of extremal nonBPS black holes in four dimensions by studying supergravity on their AdS$_2\times S^2$ near horizon geometry. We find that the spectrum exhibits significant simplifications even though supersymmetry is completely broken. We interpret our results in the framework of nAdS$_2$/nCFT$_1$ correspondence and by comparing with dimensional reduction from AdS$_3$/CFT$_2$ duality. As an additional test we compute quantum corrections to extremal black hole entropy on the nonBPS branch and recover results previously determined using very different methods.


title: Epitaxial Synthesis of Blue Phosphorene

abstract: Phosphorene is a new two-dimensional material composed of a single or few atomic layers of black phosphorus. Phosphorene has both an intrinsic tunable direct band gap and high carrier mobility values, which make it suitable for a large variety of optical and electronic devices. However, the synthesis of single-layer phosphorene is a major challenge. The standard procedure to obtain phosphorene is by exfoliation. More recently, the epitaxial growth of single-layer phosphorene on Au(111) has been investigated by molecular beam epitaxy and the obtained structure has been described as a blue-phosphorene sheet. In the present study, large areas of high-quality monolayer phosphorene, with a band gap value at least equal to 0.8 eV, have been synthesized on Au(111). Our experimental investigations, coupled with DFT calculations, give evidence of two distinct phases of blue phosphorene on Au(111), instead of one as previously reported, and their atomic structures have been determined.


title: Auto-ML Deep Learning for Rashi Scripts OCR

abstract: In this work we propose an OCR scheme for manuscripts printed in Rashi font that is an ancient Hebrew font and corresponding dialect used in religious Jewish literature, for more than 600 years. The proposed scheme utilizes a convolution neural network (CNN) for visual inference and Long-Short Term Memory (LSTM) to learn the Rashi scripts dialect. In particular, we derive an AutoML scheme to optimize the CNN architecture, and a book-specific CNN training to improve the OCR accuracy. The proposed scheme achieved an accuracy of more than 99.8% using a dataset of more than 3M annotated letters from the Responsa Project dataset.


title: Compelling experimental evidence of a Dirac cone in the electronic structure of a 2D Silicon layer

abstract: The remarkable properties of graphene stem from its two-dimensional (2D) structure, with a linear dispersion of the electronic states at the corners of the Brillouin zone (BZ) forming a Dirac cone. Since then, other 2D materials have been suggested based on boron, silicon, germanium, phosphorus, tin, and metal di-chalcogenides. Here, we present an experimental investigation of a single silicon layer on Au(111) using low energy electron diffraction (LEED), high resolution angle-resolved photoemission spectroscopy (HR-ARPES), and scanning tunneling microscopy (STM). The HR-ARPES data show compelling evidence that the silicon based 2D overlayer is responsible for the observed linear dispersed feature in the valence band, with a Fermi velocity of v_F ~10^(+6) m.s^(-1) comparable to that of graphene. The STM images show extended and homogeneous domains, offering a viable route to the fabrication of silicene-based opto-electronic devices.


title: Geometry-Aware Recurrent Neural Networks for Active Visual Recognition

abstract: We present recurrent geometry-aware neural networks that integrate visual information across multiple views of a scene into 3D latent feature tensors, while maintaining an one-to-one mapping between 3D physical locations in the world scene and latent feature locations. Object detection, object segmentation, and 3D reconstruction is then carried out directly using the constructed 3D feature memory, as opposed to any of the input 2D images. The proposed models are equipped with differentiable egomotion-aware feature warping and (learned) depth-aware unprojection operations to achieve geometrically consistent mapping between the features in the input frame and the constructed latent model of the scene. We empirically show the proposed model generalizes much better than geometryunaware LSTM/GRU networks, especially under the presence of multiple objects and cross-object occlusions. Combined with active view selection policies, our model learns to select informative viewpoints to integrate information from by "undoing" cross-object occlusions, seamlessly combining geometry with learning from experience.


title: Resonant optical spin initialization and readout of single silicon vacancies in 4H-SiC

abstract: The silicon monovacancy in 4H-SiC is a promising candidate for solid-state quantum information processing. We perform high-resolution optical spectroscopy on single V2 defects at cryogenic temperatures. We find favorable low temperature optical properties that are essential for optical readout and coherent control of its spin and for the development of a spin-photon interface. The common features among individual defects include two narrow, nearly lifetime-limited optical transitions that correspond to $m_s{=}\pm 3/2$ and $m_s{=}\pm 1/2$ spin states with no discernable zero-field splitting fluctuations. Initialization and readout of the spin states is characterized by time-resolved optical spectroscopy under resonant excitation of these transitions, showing significant differences between the $\pm 3/2$ and $\pm 1/2$ spin states. These results are well-described by a theoretical model that strengthens our understanding of the quantum properties of this defect.


title: Learning Contextual Hierarchical Structure of Medical Concepts with Poincair\'e Embeddings to Clarify Phenotypes

abstract: Biomedical association studies are increasingly done using clinical concepts, and in particular diagnostic codes from clinical data repositories as phenotypes. Clinical concepts can be represented in a meaningful, vector space using word embedding models. These embeddings allow for comparison between clinical concepts or for straightforward input to machine learning models. Using traditional approaches, good representations require high dimensionality, making downstream tasks such as visualization more difficult. We applied Poincar\'e embeddings in a 2-dimensional hyperbolic space to a large-scale administrative claims database and show performance comparable to 100-dimensional embeddings in a euclidean space. We then examine disease relationships under different disease contexts to better understand potential phenotypes.


title: The reciprocal algebraic integers having small houses

abstract: Let $\alpha$ be an algebraic integer of degree $d$, which is reciprocal. The house of $\alpha$ is the largest modulus of its conjugates. We proved that $d$-th power of the house of reciprocal $\alpha$ has a limit point. We presented a property of antireciprocal hexanomials. We compute the minimum of the houses of all reciprocal algebraic integers of degree $d$ having the minimal polynomial which is a factor of a $D$-th degree reciprocal or antireciprocal polynomial with at most eight monomials, say $\mathrm{mr}(d)$, for $d$ at most 180, $D\le 1.5d$ and $D\le 210$. We show that it is not necessary to take into account unprimitive polynomials. The computations suggest several conjectures.


title: Tight complexity lower bounds for integer linear programming with few constraints

abstract: We consider the ILP Feasibility problem: given an integer linear program $\{Ax = b, x\geq 0\}$, where $A$ is an integer matrix with $k$ rows and $\ell$ columns and $b$ is a vector of $k$ integers, we ask whether there exists $x\in\mathbb{N}^\ell$ that satisfies $Ax = b$. Our goal is to study the complexity of ILP Feasibility when both $k$, the number of constraints (rows of $A$), and $\|A\|_\infty$, the largest absolute value in $A$, are small. Papadimitriou [J. ACM, 1981] was the first to give a fixed-parameter algorithm for ILP Feasibility in this setting, with running time $\left((\|A\mid b\|_\infty) \cdot k\right)^{O(k^2)}$. This was very recently improved by Eisenbrand and Weismantel [SODA 2018], who used the Steinitz lemma to design an algorithm with running time $(k\|A\|_\infty)^{O(k)}\cdot \|b\|_\infty^2$, and subsequently by Jansen and Rohwedder [2018] to $O(k\|A\|_\infty)^{k}\cdot \log \|b\|_\infty$. We prove that for $\{0,1\}$-matrices $A$, the dependency on $k$ is probably optimal: an algorithm with running time $2^{o(k\log k)}\cdot (\ell+\|b\|_\infty)^{o(k)}$ would contradict ETH. This improves previous non-tight lower bounds of Fomin et al. [ESA 2018]. We then consider ILPs with many constraints, but structured in a shallow way. Precisely, we consider the dual treedepth of the matrix $A$, which is the treedepth of the graph over the rows of $A$, with two rows adjacent if in some column they both contain a non-zero entry. It was recently shown by Kouteck\'{y} et al. [ICALP 2018] that ILP Feasibility can be solved in time $\|A\|_\infty^{2^{O(td(A))}}\cdot (k+\ell+\log \|b\|_\infty)^{O(1)}$. We present a streamlined proof of this fact and prove optimality: even assuming that all entries of $A$ and $b$ are in $\{-1,0,1\}$, the existence of an algorithm with running time $2^{2^{o(td(A))}}\cdot (k+\ell)^{O(1)}$ would contradict ETH.


title: Beyond single-threshold searches: the Event Stacking Test

abstract: We present a new statistical test that examines the consistency of the tails of two empirical distributions at multiple thresholds. Such distributions are often encountered in counting experiments, in physics and elsewhere, where the significance of populations of events is evaluated. This multi-threshold approach has the effect of "stacking" multiple events into the tail bin of the distribution, and thus we call it the Event Stacking Test. This test has the ability to confidently detect inconsistencies composed of multiple events, even if these events are low-significance outliers in isolation. We derive the Event Stacking Test from first principles and show that the p-value it reports is a well-calibrated representation of noise fluctuations. When applying this test to the detection of gravitational-wave transients in LIGO-Virgo data, we find that it performs better than or comparably to other statistical tests historically used within the gravitational-wave community. This test is particularly well-suited for detecting classes of gravitational-wave transients that are minimally-modeled, i.e., gravitational-wave bursts. We show that the Event Stacking Test allows us to set upper limits on the astrophysical rate-density of gravitational-wave bursts that are stricter than those set using other statistical tests by factors of up to 2 - 3.


title: Inexact alternating projections on nonconvex sets

abstract: Given two arbitrary closed sets in Euclidean space, a simple transversality condition guarantees that the method of alternating projections converges locally, at linear rate, to a point in the intersection. Exact projection onto nonconvex sets is typically intractable, but we show that computationally-cheap inexact projections may suffice instead. In particular, if one set is defined by sufficiently regular smooth constraints, then projecting onto the approximation obtained by linearizing those constraints around the current iterate suffices. On the other hand, if one set is a smooth manifold represented through local coordinates, then the approximate projection resulting from linearizing the coordinate system around the preceding iterate on the manifold also suffices.


title: SimplerVoice: A Key Message & Visual Description Generator System for Illiteracy

abstract: We introduce SimplerVoice: a key message and visual description generator system to help low-literate adults navigate the information-dense world with confidence, on their own. SimplerVoice can automatically generate sensible sentences describing an unknown object, extract semantic meanings of the object usage in the form of a query string, then, represent the string as multiple types of visual guidance (pictures, pictographs, etc.). We demonstrate SimplerVoice system in a case study of generating grocery products' manuals through a mobile application. To evaluate, we conducted a user study on SimplerVoice's generated description in comparison to the information interpreted by users from other methods: the original product package and search engines' top result, in which SimplerVoice achieved the highest performance score: 4.82 on 5-point mean opinion score scale. Our result shows that SimplerVoice is able to provide low-literate end-users with simple yet informative components to help them understand how to use the grocery products, and that the system may potentially provide benefits in other real-world use cases


title: A simple method to generate exact physically acceptable anisotropic solutions in general relativity

abstract: By using the gravitational decoupling through the minimal geometric deformation approach (MGD-decoupling), we show a simple and powerful method to generate physically acceptable exact analytical solutions for anisotropic stellar distributions in general relativity. We find that some perfect fluid configurations could be incompatible with anisotropic effects produced by scalar fields.


title: Instrumental Variable Methods using Dynamic Interventions

abstract: Recent work on dynamic interventions has greatly expanded the range of causal questions researchers can study while weakening identifying assumptions and yielding effects that are more practically relevant. However, most work in dynamic interventions to date has focused on settings where we directly alter some unconfounded treatment of interest. In policy analysis, decision makers rarely have this level of control over behaviors or access to experimental data. Instead, they are often faced with treatments they can affect only indirectly and whose effects must be learned from observational data. In this paper, we propose new estimands and estimators of causal effects based on dynamic interventions with instrumental variables. This method does not rely on parametric models and does not require an experiment. Instead, we estimate the effect of a dynamic intervention on the instrument. This robustness should reassure policy makers that these estimates can be used to effectively inform policy. We demonstrate the usefulness of this estimation strategy in a case study examining the effect of visitation on recidivism.


title: Adversarial Gain

abstract: Adversarial examples can be defined as inputs to a model which induce a mistake - where the model output is different than that of an oracle, perhaps in surprising or malicious ways. Original models of adversarial attacks are primarily studied in the context of classification and computer vision tasks. While several attacks have been proposed in natural language processing (NLP) settings, they often vary in defining the parameters of an attack and what a successful attack would look like. The goal of this work is to propose a unifying model of adversarial examples suitable for NLP tasks in both generative and classification settings. We define the notion of adversarial gain: based in control theory, it is a measure of the change in the output of a system relative to the perturbation of the input (caused by the so-called adversary) presented to the learner. This definition, as we show, can be used under different feature spaces and distance conditions to determine attack or defense effectiveness across different intuitive manifolds. This notion of adversarial gain not only provides a useful way for evaluating adversaries and defenses, but can act as a building block for future work in robustness under adversaries due to its rooted nature in stability and manifold theory.


title: Space-Time Sampling for Network Observability

abstract: Designing sparse sampling strategies is one of the important components in having resilient estimation and control in networked systems as they make network design problems more cost-effective due to their reduced sampling requirements and less fragile to where and when samples are collected. It is shown that under what conditions taking coarse samples from a network will contain the same amount of information as a more finer set of samples. Our goal is to estimate initial condition of linear time-invariant networks using a set of noisy measurements. The observability condition is reformulated as the frame condition, where one can easily trace location and time stamps of each sample. We compare estimation quality of various sampling strategies using estimation measures, which depend on spectrum of the corresponding frame operators. Using properties of the minimal polynomial of the state matrix, deterministic and randomized methods are suggested to construct observability frames. Intrinsic tradeoffs assert that collecting samples from fewer subsystems dictates taking more samples (in average) per subsystem. Three scalable algorithms are developed to generate sparse space-time sampling strategies with explicit error bounds.


title: ColNet: Embedding the Semantics of Web Tables for Column Type Prediction

abstract: Automatically annotating column types with knowledge base (KB) concepts is a critical task to gain a basic understanding of web tables. Current methods rely on either table metadata like column name or entity correspondences of cells in the KB, and may fail to deal with growing web tables with incomplete meta information. In this paper we propose a neural network based column type annotation framework named ColNet which is able to integrate KB reasoning and lookup with machine learning and can automatically train Convolutional Neural Networks for prediction. The prediction model not only considers the contextual semantics within a cell using word representation, but also embeds the semantics of a column by learning locality features from multiple cells. The method is evaluated with DBPedia and two different web table datasets, T2Dv2 from the general Web and Limaye from Wikipedia pages, and achieves higher performance than the state-of-the-art approaches.


title: Block-wise Partitioning for Extreme Multi-label Classification

abstract: Extreme multi-label classification aims to learn a classifier that annotates an instance with a relevant subset of labels from an extremely large label set. Many existing solutions embed the label matrix to a low-dimensional linear subspace, or examine the relevance of a test instance to every label via a linear scan. In practice, however, those approaches can be computationally exorbitant. To alleviate this drawback, we propose a Block-wise Partitioning (BP) pretreatment that divides all instances into disjoint clusters, to each of which the most frequently tagged label subset is attached. One multi-label classifier is trained on one pair of instance and label clusters, and the label set of a test instance is predicted by first delivering it to the most appropriate instance cluster. Experiments on benchmark multi-label data sets reveal that BP pretreatment significantly reduces prediction time, and retains almost the same level of prediction accuracy.


title: A dataset for benchmarking vision-based localization at intersections

abstract: In this report we present the work performed in order to build a dataset for benchmarking vision-based localization at intersections, i.e., a set of stereo video sequences taken from a road vehicle that is approaching an intersection, altogether with a reliable measure of the observer position. This report is meant to complement our paper "Vision-Based Localization at Intersections using Digital Maps" submitted to ICRA2019. It complements the paper because the paper uses the dataset, but it had no space for describing the work done to obtain it. Moreover, the dataset is of interest for all those tackling the task of online localization at intersections for road vehicles, e.g., for a quantitative comparison with the proposal in our submitted paper, and it is therefore appropriate to put the dataset description in a separate report. We considered all datasets from road vehicles that we could find as for the end of August 2018. After our evaluation, we kept only sub-sequences from the KITTI dataset. In the future we will increase the collection of sequences with data from our vehicle.


title: Towards Unsupervised Speech-to-Text Translation

abstract: We present a framework for building speech-to-text translation (ST) systems using only monolingual speech and text corpora, in other words, speech utterances from a source language and independent text from a target language. As opposed to traditional cascaded systems and end-to-end architectures, our system does not require any labeled data (i.e., transcribed source audio or parallel source and target text corpora) during training, making it especially applicable to language pairs with very few or even zero bilingual resources. The framework initializes the ST system with a cross-modal bilingual dictionary inferred from the monolingual corpora, that maps every source speech segment corresponding to a spoken word to its target text translation. For unseen source speech utterances, the system first performs word-by-word translation on each speech segment in the utterance. The translation is improved by leveraging a language model and a sequence denoising autoencoder to provide prior knowledge about the target language. Experimental results show that our unsupervised system achieves comparable BLEU scores to supervised end-to-end models despite the lack of supervision. We also provide an ablation analysis to examine the utility of each component in our system.


title: Tunable induced magnetic moment and in-plane conductance of graphene in Ni/graphene/Ni nano-spin-valve-like structure: a first principles study

abstract: This study theoretically investigated the magnetic properties and electronic structure of a graphene-based nano-spin-valve-like structure. Magnetic nickel layers on both sides of the graphene were considered. A spin-polarized generalized-gradient approximation determined the electronic states. In an energetically stable stacking arrangement of graphene and two nickel layers, the anti-parallel spin configuration of the underlayer and overlayer magnetic moments had the lowest energy, which is in agreement with previous experimental studies. The spin density mapping and obtained band-structure results show that when the upper and lower Ni(111) slabs have an anti-parallel (parallel) magnetic-moment configuration, the carbon atoms of sublattices A and B will have an antiferromagnetic (ferromagnetic) spin configuration. A band gap at the Dirac cone was open when the alignment had an anti-parallel configuration and closed when the alignment had a parallel configuration. Therefore, the in-plane conductance of the graphene layer depends on the magnetic alignment of the two nickel slabs when the Fermi level is adjusted at the Dirac point. Both the magnetic properties and electronic structures of the Ni/graphene/Ni nanostructure cause the system to be a new prospective spintronic device showing controllable in-plane magnetoresistance.


title: Challenges Implementing non-Abelian SU(2) Quantum Chromodynamics Gauge Links On a Universal Quantum Computer

abstract: The traditional approach for studying the physics of the strong interactions employs a basic computational construct originally proposed by Wilson in the 1970s. Over the years additional enhancements have been added to this formulation to improve computational performance and accuracy. This formulation has been successfully implemented on high performance computing systems and has yielded accurate calculations for many static properties of the strong interactions (such as the hadron mass spectrum). With the recent advances in quantum computing, the question that is now being asked is whether an equivalent type of gauge invariant formulation of a field theory can be constructed on a quantum computer to calculate dynamical processes that cannot be simulated on a traditional supercomputer. Using the Quantum Link Model (QLM) plus the concept of rishons, this paper will specifically focus on the challenges implementing a basic gauge link lattice construct using SU(2) non-Abelian links for illustration. The paper will also discuss the physics that may potentially be simulated on a quantum computer with this construct and speculate on the prospects for having quantum computers become a part of the set of hardware platforms for lattice gauge theory simulations in the future.


title: Activating the 4th Neutrino of the 3+1 Scheme

abstract: Non-Standard Interactions (NSI) of neutrinos with matter has received renewed interest in recent years. In particular, it has been shown that NSI can reconcile the $3+1$ solution with IceCube atmospheric data with $E_\nu >500$ GeV, provided that the effective coupling of NSI is large, e.g. $\sim 6 G_F$. The main goal of the present paper is to show that contrary to intuition, it is possible to build viable models with large NSI by invoking a new $U(1)$ gauge symmetry with gauge boson of mass $\sim 10$ eV. We refer to these new constructions as $3+1+ U(1)$ models. In the framework of a $3+1$ solution to LSND and MiniBooNE anomalies, we show that this novel NSI can help to solve the tension with cosmological bounds and constraints from IceCube atmospheric data with $E_\nu>500$ GeV. We then discuss the implications of the MINOS and MINOS+ results for the 3+1+$U(1)$ scenario.


title: Singular Optimal Controls of Stochastic Recursive Systems and Hamilton-Jacobi-Bellman Inequality

abstract: In this paper, we study the optimal singular controls for stochastic recursive systems, in which the control has two components: the regular control, and the singular control. Under certain assumptions, we establish the dynamic programming principle for this kind of optimal singular controls problem, and prove that the value function is a unique viscosity solution of the corresponding Hamilton-Jacobi-Bellman inequality, in a given class of bounded and continuous functions. At last, an example is given for illustration.


title: Adversarial Black-Box Attacks on Automatic Speech Recognition Systems using Multi-Objective Evolutionary Optimization

abstract: Fooling deep neural networks with adversarial input have exposed a significant vulnerability in the current state-of-the-art systems in multiple domains. Both black-box and white-box approaches have been used to either replicate the model itself or to craft examples which cause the model to fail. In this work, we propose a framework which uses multi-objective evolutionary optimization to perform both targeted and un-targeted black-box attacks on Automatic Speech Recognition (ASR) systems. We apply this framework on two ASR systems: Deepspeech and Kaldi-ASR, which increases the Word Error Rates (WER) of these systems by upto 980%, indicating the potency of our approach. During both un-targeted and targeted attacks, the adversarial samples maintain a high acoustic similarity of 0.98 and 0.97 with the original audio.


title: Lower Bounds for External Memory Integer Sorting via Network Coding

abstract: Sorting extremely large datasets is a frequently occuring task in practice. These datasets are usually much larger than the computer's main memory; thus external memory sorting algorithms, first introduced by Aggarwal and Vitter (1988), are often used. The complexity of comparison based external memory sorting has been understood for decades by now, however the situation remains elusive if we assume the keys to be sorted are integers. In internal memory, one can sort a set of $n$ integer keys of $\Theta(\lg n)$ bits each in $O(n)$ time using the classic Radix Sort algorithm, however in external memory, there are no faster integer sorting algorithms known than the simple comparison based ones. In this paper, we present a tight conditional lower bound on the complexity of external memory sorting of integers. Our lower bound is based on a famous conjecture in network coding by Li and Li, who conjectured that network coding cannot help anything beyond the standard multicommodity flow rate in undirected graphs. The only previous work connecting the Li and Li conjecture to lower bounds for algorithms is due to Adler et al. Adler et al. indeed obtain relatively simple lower bounds for oblivious algorithms (the memory access pattern is fixed and independent of the input data). Unfortunately obliviousness is a strong limitations, especially for integer sorting: we show that the Li and Li conjecture implies an $\Omega(n \log n)$ lower bound for internal memory oblivious sorting when the keys are $\Theta(\lg n)$ bits. This is in sharp contrast to the classic (non-oblivious) Radix Sort algorithm. Indeed going beyond obliviousness is highly non-trivial; we need to introduce several new methods and involved techniques, which are of their own interest, to obtain our tight lower bound for external memory integer sorting.


title: Modeling Traffic Networks Using Integrated Route and Link Data

abstract: Real-time navigation services, such as Google Maps and Waze, are widely used in daily life. These services provide rich data resources in real-time traffic conditions and travel time predictions; however, they have not been fully applied in transportation modeling. This paper aims to use traffic data from Google Maps and applying cutting-edge technologies in maximum likelihood estimation to model traffic networks and travel time reliability. This paper integrates Google Maps travel time data for routes and traffic condition data for links to model the complexities of traffic networks. We then formulate the Fisher information matrix and apply the asymptotic normality to obtain the probability distribution of the travel time estimates for a random route within the network of interest. We also derive the travel time reliability by considering two levels of uncertainties, i.e., the uncertainty of the route's travel time and the uncertainty of its travel time estimates. The proposed method could provide a more realistic and precise travel time reliability estimate. The methodology is applied to a small network in the downtown Baltimore area, where we propose a link data collection strategy and provide empirical evidence to show data independence by following this strategy. We also show results for maximum likelihood estimates and travel time reliability measures for different routes within the network. Furthermore, we use the historical data from a different network to validate this approach, showing our method provides a more accurate and precise estimate compared to the sample mean of the empirical data.


title: Modeling Stated Preference for Mobility-on-Demand Transit: A Comparison of Machine Learning and Logit Models

abstract: Logit models are usually applied when studying individual travel behavior, i.e., to predict travel mode choice and to gain behavioral insights on traveler preferences. Recently, some studies have applied machine learning to model travel mode choice and reported higher out-of-sample predictive accuracy than traditional logit models (e.g., multinomial logit). However, little research focuses on comparing the interpretability of machine learning with logit models. In other words, how to draw behavioral insights from the high-performance "black-box" machine-learning models remains largely unsolved in the field of travel behavior modeling. This paper aims at providing a comprehensive comparison between the two approaches by examining the key similarities and differences in model development, evaluation, and behavioral interpretation between logit and machine-learning models for travel mode choice modeling. To complement the theoretical discussions, the paper also empirically evaluates the two approaches on the stated-preference survey data for a new type of transit system integrating high-frequency fixed-route services and ridesourcing. The results show that machine learning can produce significantly higher predictive accuracy than logit models. Moreover, machine learning and logit models largely agree on many aspects of behavioral interpretations. In addition, machine learning can automatically capture the nonlinear relationship between the input features and choice outcomes. The paper concludes that there is great potential in merging ideas from machine learning and conventional statistical methods to develop refined models for travel behavior research and suggests some new research directions.


title: Nonlinear Collaborative Scheme for Deep Neural Networks

abstract: Conventional research attributes the improvements of generalization ability of deep neural networks either to powerful optimizers or the new network design. Different from them, in this paper, we aim to link the generalization ability of a deep network to optimizing a new objective function. To this end, we propose a \textit{nonlinear collaborative scheme} for deep network training, with the key technique as combining different loss functions in a nonlinear manner. We find that after adaptively tuning the weights of different loss functions, the proposed objective function can efficiently guide the optimization process. What is more, we demonstrate that, from the mathematical perspective, the nonlinear collaborative scheme can lead to (i) smaller KL divergence with respect to optimal solutions; (ii) data-driven stochastic gradient descent; (iii) tighter PAC-Bayes bound. We also prove that its advantage can be strengthened by nonlinearity increasing. To some extent, we bridge the gap between learning (i.e., minimizing the new objective function) and generalization (i.e., minimizing a PAC-Bayes bound) in the new scheme. We also interpret our findings through the experiments on Residual Networks and DenseNet, showing that our new scheme performs superior to single-loss and multi-loss schemes no matter with randomization or not.


title: An Analysis of Centrality Measures for Complex and Social Networks

abstract: Measures of complex network analysis, such as vertex centrality, have the potential to unveil existing network patterns and behaviors. They contribute to the understanding of networks and their components by analyzing their structural properties, which makes them useful in several computer science domains and applications. Unfortunately, there is a large number of distinct centrality measures and little is known about their common characteristics in practice. By means of an empirical analysis, we aim at a clear understanding of the main centrality measures available, unveiling their similarities and differences in a large number of distinct social networks. Our experiments show that the vertex centrality measures known as information, eigenvector, subgraph, walk betweenness and betweenness can distinguish vertices in all kinds of networks with a granularity performance at 95%, while other metrics achieved a considerably lower result. In addition, we demonstrate that several pairs of metrics evaluate the vertices in a very similar way, i.e. their correlation coefficient values are above 0.7. This was unexpected, considering that each metric presents a quite distinct theoretical and algorithmic foundation. Our work thus contributes towards the development of a methodology for principled network analysis and evaluation.


title: Syntax and Typing for Cedille Core

abstract: This document specifies a core version of the type theory implemented in the Cedille tool. Cedille is a language for dependently typed programming and computer-checked proof. Cedille can elaborate source programs down to Cedille Core, which can be checked in a straightforward way by a small checker (a reference implementation included with Cedille is under 1000 lines of Haskell). Other tools could also target Cedille Core as an expressive backend type theory. The document describes syntax and typing rules for Cedille Core.


title: Synchronized Multi-Load Balancer with Fault Tolerance in Cloud

abstract: In this method, service of one load balancer can be borrowed or shared among other load balancers when any correction is needed in the estimation of the load.


title: Uncertainty and Robustness of Surplus Extraction

abstract: This paper studies a robust version of the classic surplus extraction problem, in which the designer knows only that the beliefs of each type belong to some set, and designs mechanisms that are suitable for all possible beliefs in that set. We derive necessary and sufficient conditions for full extraction in this setting, and show that these are natural set-valued analogues of the classic convex independence condition identified by Cremer and McLean (1985, 1988). We show that full extraction is neither generically possible nor generically impossible, in contrast to the standard setting in which full extraction is generic. When full extraction fails, we show that natural additional conditions can restrict both the nature of the contracts a designer can offer and the surplus the designer can obtain.


title: Role of gallium diffusion in the formation of a magnetically dead layer at Y3Fe5O12 / Gd3Ga5O12 epitaxial interface

abstract: We have clarified the origin of magnetically dead interface layer formed in yttrium iron garnet (YIG) films grown at above 700{\deg}C onto gadolinium gallium garnet (GGG) substrate by means of laser molecular beam epitaxy. The diffusion-assisted formation of a Ga-rich region at the YIG / GGG interface is demonstrated by means of composition depth profiling performed by X-ray photoelectron spectroscopy, secondary ion mass spectroscopy and X-ray and neutron reflectometry. Our finding is in sharp contrast to the earlier expressed assumption that Gd acts as a migrant element in the YIG/GGG system. We further correlate the presence of Ga-rich transition layer with considerable quenching of ferromagnetic resonance and spin wave propagation in thin YIG films. Finally, we clarify the origin of the enigmatic low-density overlayer that is often observed in neutron and X-ray reflectometry studies of the YIG / GGG epitaxial system.


title: Pressure effects in the weak-field limit of f(R) = R + alpha R^2 gravity

abstract: We investigate the linear regime of f(R) = R + alpha R^2 gravity for static, spherically symmetric and asymptotically flat configurations of matter. We show that, in vacuum and deep inside the range of the extra scalar degree of freedom, the post-Newtonian parameter gamma is not equal to 1/2, as established in the literature, but it assumes larger values depending on the pressure of the star. We provide an explicit expression for gamma in terms of the mass, of the integrated pressure of the star and of the ratio between the star's radius and the range of the extra degree of freedom. We corroborate our results by providing numerical solutions for the case of a neutron star.


title: A Batched Scalable Multi-Objective Bayesian Optimization Algorithm

abstract: The surrogate-assisted optimization algorithm is a promising approach for solving expensive multi-objective optimization problems. However, most existing surrogate-assisted multi-objective optimization algorithms have three main drawbacks: 1) cannot scale well for solving problems with high dimensional decision space, 2) cannot incorporate available gradient information, and 3) do not support batch optimization. These drawbacks prevent their use for solving many real-world large scale optimization problems. This paper proposes a batched scalable multi-objective Bayesian optimization algorithm to tackle these issues. The proposed algorithm uses the Bayesian neural network as the scalable surrogate model. Powered with Monte Carlo dropout and Sobolov training, the model can be easily trained and can incorporate available gradient information. We also propose a novel batch hypervolume upper confidence bound acquisition function to support batch optimization. Experimental results on various benchmark problems and a real-world application demonstrate the efficiency of the proposed algorithm.


title: X(3872) in the molecular model

abstract: We discuss methods and approaches to the description of molecular states in the spectrum of heavy quarks and investigate in detail various properties of the exotic charmonium-like state X(3872) in the framework of the mesonic molecule model.


title: Schur-Weyl duality for certain infinite dimensional $\rm{U}_q(\mathfrak{sl}_2)$-modules

abstract: Let $V$ be the two-dimensional simple module and $M$ be a projective Verma module for the quantum group of $\mathfrak{sl}_2$ at generic $q$. We show that for any $r\ge 1$, the endomorphism algebra of $M\otimes V^{\otimes r}$ is isomorphic to the type $B$ Temperley-Lieb algebra $\rm{TLB}_r(q, Q)$ for an appropriate parameter $Q$ depending on $M$. The parameter $Q$ is determined explicitly. We also use the cellular structure to determine precisely for which values of $r$ the endomorphism algebra is semisimple. A key element of our method is to identify the algebras $\rm{TLB}_r(q,Q)$ as the endomorphism algebras of the objects in a quotient category of the category of coloured ribbon graphs of Freyd-Yetter or the tangle diagrams of Turaev and Reshitikhin.


title: Impacts of EUV Wavefronts on Coronal Structures in Homologous Coronal Mass Ejections

abstract: Large-scale propagating fronts are frequently observed during solar eruptions, yet it is open whether they are waves or not, partly because the propagation is modulated by coronal structures, whose magnetic field we still cannot measure. However, when a front impacts coronal structures, an opportunity arises for us to look into the magnetic properties of both interacting parties in the low-$\beta$ corona. Here we studied large-scale EUV fronts accompanying three coronal mass ejections (CMEs), each originating from a kinking rope-like structure in the NOAA active region (AR) 12371. These eruptions were homologous and the surrounding coronal structures remained stationary. Hence we treated the events as one observed from three different viewing angles, and found that the primary front directly associated with the CME consistently transmits through 1) a polar coronal hole, 2) the ends of a crescent-shaped equatorial coronal hole, leaving a stationary front outlining its AR-facing boundary, and 3) two quiescent filaments, producing slow and diffuse secondary fronts. The primary front also propagates along an arcade of coronal loops and slows down due to foreshortening at the far side, where local plasma heating is indicated by an enhancement in 211 {\AA} (Fe XIV) but a dimming in 193 {\AA} (Fe XII) and 171 {\AA} (Fe IX). The strength of coronal magnetic field is therefore estimated to be $\sim\,$2 G in the polar coronal hole and $\sim\,$4 G in the coronal arcade neighboring the active region. These observations substantiate the wave nature of the primary front and shed new light on slow fronts.


title: Dynamical speedup of a two-level system induced by coupling in the hierarchical environment

abstract: We investigate the dynamics of a two-level system in the presence of an overall environment composed of two layers. The first layer is just one single-mode cavity which decays to memoryless reservoir while the second layer is the two coupled single-mode cavities which decay to memoryless or memory-keeping reservoirs. In the weak-coupling regime between the qubit and the first-layer environment, our attention is focused on the effects of the coupling in the hierarchical environment on the non-Markovian speedup dynamics behavior of the system. We show that, by controlling the coupling in the second-layer environment, the multiple dynamics crossovers from Markovian to non-Markovian and from no-speedup to speedup can be realized. This results hold independently on the nature of the second-layer environment. Differently, we find that how the coupling between the two layers affects the non-Markovian speedup dynamics behavior depends on the nature of the second-layer environment.


title: RA-UNet: A hybrid deep attention-aware network to extract liver and tumor in CT scans

abstract: Automatic extraction of liver and tumor from CT volumes is a challenging task due to their heterogeneous and diffusive shapes. Recently, 2D and 3D deep convolutional neural networks have become popular in medical image segmentation tasks because of the utilization of large labeled datasets to learn hierarchical features. However, 3D networks have some drawbacks due to their high cost on computational resources. In this paper, we propose a 3D hybrid residual attention-aware segmentation method, named RA-UNet, to precisely extract the liver volume of interests (VOI) and segment tumors from the liver VOI. The proposed network has a basic architecture as a 3D U-Net which extracts contextual information combining low-level feature maps with high-level ones. Attention modules are stacked so that the attention-aware features change adaptively as the network goes "very deep" and this is made possible by residual learning. This is the first work that an attention residual mechanism is used to process medical volumetric images. We evaluated our framework on the public MICCAI 2017 Liver Tumor Segmentation dataset and the 3DIRCADb dataset. The results show that our architecture outperforms other state-of-the-art methods. We also extend our RA-UNet to brain tumor segmentation on the BraTS2018 and BraTS2017 datasets, and the results indicate that RA-UNet achieves good performance on a brain tumor segmentation task as well.


title: First calculation of $\hat{q}$ on a quenched SU(3) plasma

abstract: The jet transport coefficient $\hat{q}$ is the leading transport coefficient that controls the modification of hard jets produced in heavy-ion collisions. This coefficient is inherently non-perturbative, and hence, is challenging to compute from first principles. In this report, we present a perturbative quantum chromodynamics (pQCD) and lattice gauge theory based formulation to study $\hat{q}$. We formulate $\hat{q}$ within a 4-dimensional (4D) quenched SU(3) lattice. We consider a leading order diagram for a hard parton passing through the quark-gluon plasma. The non-perturbative part is expressed in terms of a non-local (two-point) Field-Strength-Field-Strength (FF) operator product which can be Taylor expanded after analytic continuation to the Euclidean region. Such an expansion allows us to write $\hat{q}$ in terms of the expectation of local operators. Finally, we present our results for $\hat{q}$ in a pure gluon plasma.


title: Emergent D-instanton as a source of Dark Energy

abstract: We revisit a non-perturbative formulation leading to a vacuum created gravitational pair of (33)-brane by a Poincare dual higher form U (1) gauge theory on a D4 -brane. In particular, the analysis has revealed a dynamical geometric torsion H 3 for an on-shell Neveu-Schwarz (NS) form on a fat 4-brane. We argue that a D-instanton can be a viable candidate to incorporate the quintessence correction hidden to an emergent (3 + 1)-dimensional brane universe. It is shown that a dynamical non-perturbative correction may be realized with an axionic scalar QFT on an emergent anti 3-brane within a gravitational pair. The theoretical tool provokes thought to believe for an extra instantaneous dimension transverse to our classical brane-universe in an emergent scenario. Interestingly a D-instanton correction, sourced by an axion on an anti 3-brane, may serve as a potential candidate to explain the accelerated rate of expansion of our 3-brane universe and may provide a clue to the origin of dark energy.


title: Elastic CRFs for Open-ontology Slot Filling

abstract: Slot filling is a crucial component in task-oriented dialog systems that is used to parse (user) utterances into semantic concepts called slots. An ontology is defined by the collection of slots and the values that each slot can take. The most widely used practice of treating slot filling as a sequence labeling task suffers from two main drawbacks. First, the ontology is usually pre-defined and fixed and therefore is not able to detect new labels for unseen slots. Second, the one-hot encoding of slot labels ignores the correlations between slots with similar semantics, which makes it difficult to share knowledge learned across different domains. To address these problems, we propose a new model called elastic conditional random field (eCRF), where each slot is represented by the embedding of its natural language description and modeled by a CRF layer. New slot values can be detected by eCRF whenever a language description is available for the slot. In our experiment, we show that eCRFs outperform existing models in both in-domain and cross-domain tasks, especially in predicting unseen slots and values.


title: Validated Asynchronous Byzantine Agreement with Optimal Resilience and Asymptotically Optimal Time and Word Communication

abstract: We provide a new protocol for Validated Asynchronous Byzantine Agreement. Validated (multi-valued) Asynchronous Byzantine Agreement is a key building block in constructing Atomic Broadcast and fault-tolerant state machine replication in the asynchronous setting. Our protocol can withstand the optimal number $f<n/3$ of Byzantine failures and reaches agreement in the asymptotically optimal expected $O(1)$ running time. Honest parties in our protocol send only an expected $O(n^2)$ messages where each message contains a value and a constant number of signatures. Hence our total expected communication is $O(n^2)$ words. The best previous result of Cachin et al. from 2001 solves Validated Byzantine Agreement with optimal resilience and $O(1)$ expected time but with $O(n^3)$ expected word communication. Our work addresses an open question of Cachin et al. from 2001 and improves the expected word communication from $O(n^3)$ to the asymptotically optimal $O(n^2)$.


title: Improving GAN with neighbors embedding and gradient matching

abstract: We propose two new techniques for training Generative Adversarial Networks (GANs). Our objectives are to alleviate mode collapse in GAN and improve the quality of the generated samples. First, we propose neighbor embedding, a manifold learning-based regularization to explicitly retain local structures of latent samples in the generated samples. This prevents generator from producing nearly identical data samples from different latent samples, and reduces mode collapse. We propose an inverse t-SNE regularizer to achieve this. Second, we propose a new technique, gradient matching, to align the distributions of the generated samples and the real samples. As it is challenging to work with high-dimensional sample distributions, we propose to align these distributions through the scalar discriminator scores. We constrain the difference between the discriminator scores of the real samples and generated ones. We further constrain the difference between the gradients of these discriminator scores. We derive these constraints from Taylor approximations of the discriminator function. We perform experiments to demonstrate that our proposed techniques are computationally simple and easy to be incorporated in existing systems. When Gradient matching and Neighbour embedding are applied together, our GN-GAN achieves outstanding results on 1D/2D synthetic, CIFAR-10 and STL-10 datasets, e.g. FID score of $30.80$ for the STL-10 dataset. Our code is available at: https://github.com/tntrung/gan


title: On the log canonical ring of projective plt pairs with the Kodaira dimension two

abstract: The log canonical ring of a projective plt pair with the Kodaira dimension two is finitely generated.


title: Bi-Real Net: Binarizing Deep Network Towards Real-Network Performance

abstract: In this paper, we study 1-bit convolutional neural networks (CNNs), of which both the weights and activations are binary. While efficient, the lacking of representational capability and the training difficulty impede 1-bit CNNs from performing as well as real-valued networks. We propose Bi-Real net with a novel training algorithm to tackle these two challenges. To enhance the representational capability, we propagate the real-valued activations generated by each 1-bit convolution via a parameter-free shortcut. To address the training difficulty, we propose a training algorithm using a tighter approximation to the derivative of the sign function, a magnitude-aware gradient for weight updating, a better initialization method, and a two-step scheme for training a deep network. Experiments on ImageNet show that an 18-layer Bi-Real net with the proposed training algorithm achieves 56.4% top-1 classification accuracy, which is 10% higher than the state-of-the-arts (e.g., XNOR-Net) with greater memory saving and lower computational cost. Bi-Real net is also the first to scale up 1-bit CNNs to an ultra-deep network with 152 layers, and achieves 64.5% top-1 accuracy on ImageNet. A 50-layer Bi-Real net shows comparable performance to a real-valued network on the depth estimation task with only a 0.3% accuracy gap.


title: A Function Fitting Method

abstract: In this article, we describe a function fitting method that has potential applications in machine learning and also prove relevant theorems. The described function fitting method is a convex minimization problem and can be solved using a gradient descent algorithm. We also provide qualitative analysis on fitness to data of this function fitting method. The function fitting problem is also shown to be a solution of a linear, weak partial differential equation(PDE). We describe a way to fit a Sobolev function by giving a method to choose the optimal $\lambda$ parameter. We describe a closed-form solution to the derived PDE, which enables the parametrization of the solution function. We describe a simple numerical solution using a gradient descent algorithm, that converges uniformly to the actual solution. As the functional of the minimization problem is a quadratic form, there also exists a numerical method using linear algebra. Lastly, we give some numerical examples and also numerically demonstrate its application to a binary classification problem.


title: On the Distribution of Zero Sets of Holomorphic Functions

abstract: Let $M$ be a subharmonic function with Riesz measure $\nu_M$ in a domain $D$ in the $n$-dimensional complex Euclidean space $\mathbb C^n$, and let $f$ be a nonzero function that is holomorphic in $D$, vanishes on a set ${\sf Z}\subset D$, and satisfies $|f| \leq \exp M$ on $D$. Then restrictions on the growth of $\nu_M$ near the boundary of $D$ imply certain restrictions on the area/volume of $\sf Z$. We give a quantitative study of this phenomenon in the subharmonic framework.


title: Deep Robust Framework for Protein Function Prediction using Variable-Length Protein Sequences

abstract: Amino acid sequence portrays most intrinsic form of a protein and expresses primary structure of protein. The order of amino acids in a sequence enables a protein to acquire a particular stable conformation that is responsible for the functions of the protein. This relationship between a sequence and its function motivates the need to analyse the sequences for predicting protein functions. Early generation computational methods using BLAST, FASTA, etc. perform function transfer based on sequence similarity with existing databases and are computationally slow. Although machine learning based approaches are fast, they fail to perform well for long protein sequences (i.e., protein sequences with more than 300 amino acid residues). In this paper, we introduce a novel method for construction of two separate feature sets for protein sequences based on analysis of 1) single fixed-sized segments and 2) multi-sized segments, using bi-directional long short-term memory network. Further, model based on proposed feature set is combined with the state of the art Multi-lable Linear Discriminant Analysis (MLDA) features based model to improve the accuracy. Extensive evaluations using separate datasets for biological processes and molecular functions demonstrate promising results for both single-sized and multi-sized segments based feature sets. While former showed an improvement of +3.37% and +5.48%, the latter produces an improvement of +5.38% and +8.00% respectively for two datasets over the state of the art MLDA based classifier. After combining two models, there is a significant improvement of +7.41% and +9.21% respectively for two datasets compared to MLDA based classifier. Specifically, the proposed approach performed well for the long protein sequences and superior overall performance.


title: A Novel Predictive-Coding-Inspired Variational RNN Model for Online Prediction and Recognition

abstract: This study introduces PV-RNN, a novel variational RNN inspired by the predictive-coding ideas. The model learns to extract the probabilistic structures hidden in fluctuating temporal patterns by dynamically changing the stochasticity of its latent states. Its architecture attempts to address two major concerns of variational Bayes RNNs: how can latent variables learn meaningful representations and how can the inference model transfer future observations to the latent variables. PV-RNN does both by introducing adaptive vectors mirroring the training data, whose values can then be adapted differently during evaluation. Moreover, prediction errors during backpropagation, rather than external inputs during the forward computation, are used to convey information to the network about the external data. For testing, we introduce error regression for predicting unseen sequences as inspired by predictive coding that leverages those mechanisms. The model introduces a weighting parameter, the meta-prior, to balance the optimization pressure placed on two terms of a lower bound on the marginal likelihood of the sequential data. We test the model on two datasets with probabilistic structures and show that with high values of the meta-prior the network develops deterministic chaos through which the data's randomness is imitated. For low values, the model behaves as a random process. The network performs best on intermediate values, and is able to capture the latent probabilistic structure with good generalization. Analyzing the meta-prior's impact on the network allows to precisely study the theoretical value and practical benefits of incorporating stochastic dynamics in our model. We demonstrate better prediction performance on a robot imitation task with our model using error regression compared to a standard variational Bayes model lacking such a procedure.


title: Subcarrier Multiplexing for Parallel Data Transmission in Indoor Visible Light Communication Systems

abstract: This paper presents an indoor visible light communication (VLC) system in conjunction with an imaging receiver with parallel data transmission (spatial multiplexing) to decrease the effects of inter-symbol interference (ISI). To distinguish between light units (transmitters) and to match the light units used to convey the data with the pixels of the imaging receiver, we propose the use of subcarrier multiplexing (SCM) tones. Each light unit transmission is multiplexed with a unique tone. At the receiver, a SCM tone decision system is utilized to measure the power level of each SCM tone and consequently associate each pixel with a light unit. In addition, the level of co-channel interference (CCI) between light units is estimated using the SCM tones. Our proposed system is examined in two indoor environments taking into account reflective components (first and second order reflections). The results show that this system has the potential to achieve an aggregate data rate of 8 Gb/s with a bit error rate (BER) of 10-6 for each light unit, using simple on-off-keying (OOK).


title: WDM for Multi-user Indoor VLC Systems with SCM

abstract: A system that employs wavelength division multiplexing (WDM) in conjunction with subcarrier multiplexing (SCM) tones is proposed to realize high data rate multi-user indoor visible light communication (VLC). The SCM tones, which are unmodulated signals, are used to identify each light unit, to find the optimum light unit for each user and to calculate the level of the co-channel interference (CCI). WDM is utilized to attain a high data rate for each user. In this paper, multicolour (four colours) laser diodes (LDs) are utilized as sources of lighting and data communication. One of the WDM colours is used to convey the SCM tones at the beginning of the connection to set up the connection among receivers and light units (to find the optimum light unit for each user). To evaluate the performance of our VLC system, we propose two types of receivers: an array of non-imaging receivers (NI-R) and an array of non-imaging angle diversity receivers (NI-ADR). In this paper, we consider the effects of diffuse reflections, CCI and mobility on the system performance.


title: Galerkin FEM for a time-fractional Oldroyd-B fluid problem

abstract: We consider the numerical approximation of a generalized fractional Oldroyd-B fluid problem involving two Riemann-Liouville fractional derivatives in time. We establish regularity results for the exact solution which play an important role in the error analysis. A semidiscrete scheme based on the piecewise linear Galerkin finite element method in space is analyzed and optimal with respect to the data regularity error estimates are established. Further, two fully discrete schemes based on convolution quadrature in time generated by the backward Euler and the second-order backward difference methods are investigated and related error estimates for smooth and nonsmooth data are derived. Numerical experiments are performed with different values of the problem parameters to illustrate the efficiency of the method and confirm the theoretical results.


title: Underwater Single Image Color Restoration Using Haze-Lines and a New Quantitative Dataset

abstract: Underwater images suffer from color distortion and low contrast, because light is attenuated while it propagates through water. Attenuation under water varies with wavelength, unlike terrestrial images where attenuation is assumed to be spectrally uniform. The attenuation depends both on the water body and the 3D structure of the scene, making color restoration difficult. Unlike existing single underwater image enhancement techniques, our method takes into account multiple spectral profiles of different water types. By estimating just two additional global parameters: the attenuation ratios of the blue-red and blue-green color channels, the problem is reduced to single image dehazing, where all color channels have the same attenuation coefficients. Since the water type is unknown, we evaluate different parameters out of an existing library of water types. Each type leads to a different restored image and the best result is automatically chosen based on color distribution. We collected a dataset of images taken in different locations with varying water properties, showing color charts in the scenes. Moreover, to obtain ground truth, the 3D structure of the scene was calculated based on stereo imaging. This dataset enables a quantitative evaluation of restoration algorithms on natural images and shows the advantage of our method.


title: Exploring the Relation Between Two Levels of Scheduling Using a Novel Simulation Approach

abstract: Modern high performance computing (HPC) systems exhibit a rapid growth in size, both "horizontally" in the number of nodes, as well as "vertically" in the number of cores per node. As such, they offer additional levels of hardware parallelism. Each such level requires and employs algorithms for appropriately scheduling the computational work at the respective level. The present work explores the relation between two scheduling levels: batch and application. Understanding this relation is important for improving the performance of scientific applications, that are scheduled and executed in batches on HPC systems. The relation between batch and application level scheduling is understudied in the literature. Understanding the relation and interaction between these two scheduling levels requires their simultaneous analysis during operation. In this work, such an analysis is performed via simultaneous simulation of batch and application level scheduling for a number of scenarios. A generic simulation approach is presented that bridges two existing simulators from the two scheduling levels. A novel two-level simulator that implements the proposed approach is introduced. The two-level simulator is used to simulate all combinations of three batch scheduling and four application scheduling algorithms from the literature. These combinations are considered for allocating resources and executing the parallel jobs of two batches from two production HPC systems. The results of the scheduling experiments reveal the strong relation between the two scheduling levels and their mutual influence. Complementing the simulations, the two-level simulator produces standard parallel execution traces, which can visually be examined and which illustrate the execution of different jobs and, for each job, the execution of its tasks at node and core levels, respectively.


title: IteRank: An iterative network-oriented approach to neighbor-based collaborative ranking

abstract: Neighbor-based collaborative ranking (NCR) techniques follow three consecutive steps to recommend items to each target user: first they calculate the similarities among users, then they estimate concordance of pairwise preferences to the target user based on the calculated similarities. Finally, they use estimated pairwise preferences to infer the total ranking of items for the target user. This general approach faces some problems as the rank data is usually sparse as users usually have compared only a few pairs of items and consequently, the similarities among users is calculated based on limited information and is not accurate enough for inferring true values of preference concordance and can lead to an invalid ranking of items. This article presents a novel framework, called IteRank, that models the data as a bipartite network containing users and pairwise preferences. It then simultaneously refines users' similarities and preferences' concordances using a random walk method on this graph structure. It uses the information in this first step in another network structure for simultaneously adjusting the concordances of preferences and rankings of items. Using this approach, IteRank can overcome some existing problems caused by the sparsity of the data. Experimental results show that IteRank improves the performance of recommendation compared to the state of the art NCR techniques that use the traditional NCR framework for recommendation.


title: Excitonic complexes in MOCVD-grown InGaAs/GaAs quantum dots emitting at telecom wavelengths

abstract: Hereby, we present a comprehensive experimental and theoretical study of the electronic structure and optical properties of excitonic complexes in strain-engineered InGaAs/GaAs quantum dots (QDs) grown by metal-organic chemical vapour deposition and emitting at the 1300 nm telecommunication window. Single QD properties have been determined experimentally for a number of nanostructures by means of excitation-power-dependent and polarization-resolved microphotoluminescence and further compared with the results of confined states calculations employing the 8-band kp theory combined with the configuration interaction method. The origin of excitonic complexes has been exemplarily confirmed based on magnetooptical and correlation spectroscopy study. Understanding the influence of structural parameters and compositions (of QDs themselves as well as in the neighbouring strain reducing layer) allows to distinguish which of them are crucial to control the emission wavelength to achieve the telecommunication spectral range or to affect binding energies of the fundamental excitonic complexes. The obtained results provide deeper knowledge on control and on limitations of the investigated structures in terms of good spectral isolation of individual optical transitions and the spatial confinement that are crucial in view of QD applications in single-photon sources of high purity at telecom wavelengths.


title: Some Results on the Circuit Complexity of Bounded Width Circuits and Nondeterministic Circuits

abstract: In this paper, we consider bounded width circuits and nondeterministic circuits in three somewhat new directions. In the first part of this paper, we mainly consider bounded width circuits. The main purpose of this part is to prove that there is a Boolean function $f$ which cannot be computed by any nondeterministic circuit of size $O(n)$ and width $o(n)$. To the best of our knowledge, this is the first result on the lower bound of (nonuniform) bounded width circuits computing an explicit Boolean function, even for deterministic circuits. Actually, we prove a more generalized lower bound. Our proof outline for the lower bound also provides a satisfiability algorithm for nondeterministic bounded width circuits. In the second part of this paper, we consider the power of nondeterministic circuits. We prove that there is a Boolean function $f$ such that the nondeterministic $U_2$-circuit complexity of $f$ is at most $2n + o(n)$ and the deterministic $U_2$-circuit complexity of $f$ is $3n - o(n)$. This is the first separation on the power of deterministic and nondeterministic circuits for general circuits. In the third part of this paper, we show a relation between deterministic bounded width circuits and nondeterministic bounded width circuits. As the main consequence, we prove that $\mathsf{L/quasipoly} \supseteq \mathsf{NL/poly}$. As a corollary, we obtain that $\mathsf{L/quasipoly} \supset \mathsf{NL}$. To the best of our knowledge, this is the first result on $\mathsf{L}$ with large (more precisely, superpolynomial size) advice.


title: Structure and Content of the Visible Darknet

abstract: In this paper, we analyze the topology and the content found on the "darknet", the set of websites accessible via Tor. We created a darknet spider and crawled the darknet starting from a bootstrap list by recursively following links. We explored the whole connected component of more than 34,000 hidden services, of which we found 10,000 to be online. Contrary to folklore belief, the visible part of the darknet is surprisingly well-connected through hub websites such as wikis and forums. We performed a comprehensive categorization of the content using supervised machine learning. We observe that about half of the visible dark web content is related to apparently licit activities based on our classifier. A significant amount of content pertains to software repositories, blogs, and activism-related websites. Among unlawful hidden services, most pertain to fraudulent websites, services selling counterfeit goods, and drug markets.


title: Non-Markovian intracellular transport with sub-diffusion and run-length dependent detachment rate

abstract: Intracellular transport of organelles is fundamental to cell function and health. The mounting evidence suggests that this transport is in fact anomalous. However, the reasons for the anomaly is still under debate. We examined experimental trajectories of organelles inside a living cell and propose a mathematical model that describes the previously reported transition from sub-diffusive to super-diffusive motion. In order to explain super-diffusive behaviour at long times, we introduce non-Markovian detachment kinetics of the cargo: the rate of detachment is inversely proportional to the time since the last attachment. Recently, we observed the non-Markovian detachment rate experimentally in eukaryotic cells. Here we further discuss different scenarios of how this effective non-Markovian detachment rate could arise. The non-Markovian model is successful in simultaneously describing the time-averaged variance (the time-averaged mean squared displacement corrected for directed motion), the mean first passage time of trajectories and the multiple peaks observed in the distributions of cargo velocities. We argue that non-Markovian kinetics could be biologically beneficial compared to the Markovian kinetics commonly used for modelling, by increasing the average distance the cargoes travel when a microtubule is blocked by other filaments. In turn, sub-diffusion allows cargoes to reach neighbouring filaments with higher probability, which promotes active motion along the microtubules.


title: Nonlinear instability in Vlasov type equations around rough velocity profiles

abstract: In the Vlasov-Poisson equation, every configuration which is homogeneous in space provides a stationary solution. Penrose gave in 1960 a criterion for such a configuration to be linearly unstable. While this criterion makes sense in a measure-valued setting, the existing results concerning nonlinear instability always suppose some regularity with respect to the velocity variable. Here, thanks to a multiphasic reformulation of the problem, we can prove an "almost Lyapounov instability" result for the Vlasov-Poisson equation, and an ill-posedness result for the kinetic Euler equation and the Vlasov-Benney equation (two quasineutral limits of the Vlasov-Poisson equation), both around any unstable measure.


title: Size-Degree Trade-Offs for Sums-of-Squares and Positivstellensatz Proofs

abstract: We show that if a system of degree-$k$ polynomial constraints on~$n$ Boolean variables has a Sums-of-Squares (SOS) proof of unsatisfiability with at most~$s$ many monomials, then it also has one whose degree is of the order of the square root of~$n \log s$ plus~$k$. A similar statement holds for the more general Positivstellensatz (PS) proofs. This establishes size-degree trade-offs for SOS and PS that match their analogues for weaker proof systems such as Resolution, Polynomial Calculus, and the proof systems for the LP and SDP hierarchies of Lov\'asz and Schrijver. As a corollary to this, and to the known degree lower bounds, we get optimal integrality gaps for exponential size SOS proofs for sparse random instances of the standard NP-hard constraint optimization problems. We also get exponential size SOS lower bounds for Tseitin and Knapsack formulas. The proof of our main result relies on a zero-gap duality theorem for pre-ordered vector spaces that admit an order unit, whose specialization to PS and SOS may be of independent interest.


title: Coexistence of exchange bias training effect and spin-orbit torque in IrMn-layer/ferromagnetic-ribbon heterostructures via magnetoimpedance effect

abstract: We investigate a possible correlation between spin orbit torque (SOT) and exchange-bias (EB) in IrMn-layer/ferromagnetic-ribbon heterostructure by performing magnetoimpedance (MI) measurements. To uncover this correlation, we benefit from EB training effect probed by MI effect at room temperature. A damping-like SOT driven by ac current through the antiferromagnetic IrMn applies to the ferromagnetic ribbon layer, determined by MI magnetic field and frequency sweeps. Importantly, magnitude of the SOT is observed to remain intact against EB training and decrease of EB through alternative magnetic field sweep cycles. Our results pave the way to better elucidate the EB effect, EB training and the SOT, useful for future spintronic elements.


title: Testing Reviewer Suggestions Derived from Bibliometric Specialty Approximations in Real Research Evaluations

abstract: Many contemporary research funding instruments and research policies aim for excellence at the level of individual scientists, teams or research programmes. Good bibliometric approximations of related specialties could be useful for instance to help assign reviewers to applications. This paper reports findings on the usability of reviewer suggestions derived from a recently developed specialty approximation method combining key sources, title words, authors and references (Rons, 2018). Reviewer suggestions for applications for Senior Research Fellowships were made available to the evaluation coordinators. Those who were invited to review an application showed a normal acceptance rate, and responses from experts and coordinators contained no indications of mismatched scientific focus. The results confirm earlier indications that this specialty approximation method can successfully support tasks in research management.


title: Channel input adaptation via natural type selection

abstract: We consider a channel-independent decoder which is for i.i.d. random codes what the maximum mutual-information decoder is for constant composition codes. We show that this decoder results in exactly the same i.i.d. random coding error exponent and almost the same correct-decoding exponent for a given codebook distribution as the maximum-likelihood decoder. We propose an algorithm for computation of the optimal correct-decoding exponent which operates on the corresponding expression for the channel-independent decoder. The proposed algorithm comes in two versions: computation at a fixed rate and for a fixed slope. The fixed-slope version of the algorithm presents an alternative to the Arimoto algorithm for computation of the random coding exponent function in the correct-decoding regime. The fixed-rate version of the computation algorithm translates into a stochastic iterative algorithm for adaptation of the i.i.d. codebook distribution to a discrete memoryless channel in the limit of large block length. The adaptation scheme uses i.i.d. random codes with the channel-independent decoder and relies on one bit of feedback per transmitted block. The communication itself is assumed reliable at a constant rate $R$. In the end of the iterations the resulting codebook distribution guarantees reliable communication for all rates below $R + \Delta$ for some predetermined parameter of decoding confidence $\Delta > 0$, provided that $R + \Delta$ is less than the channel capacity.


title: Semi-Supervised Confidence Network aided Gated Attention based Recurrent Neural Network for Clickbait Detection

abstract: Clickbaits are catchy headlines that are frequently used by social media outlets in order to allure its viewers into clicking them and thus leading them to dubious content. Such venal schemes thrive on exploiting the curiosity of naive social media users, directing traffic to web pages that won't be visited otherwise. In this paper, we propose a novel, semi-supervised classification based approach, that employs attentions sampled from a Gumbel-Softmax distribution to distill contexts that are fairly important in clickbait detection. An additional loss over the attention weights is used to encode prior knowledge. Furthermore, we propose a confidence network that enables learning over weak labels and improves robustness to noisy labels. We show that with merely 30% of strongly labeled samples we can achieve over 97% of the accuracy, of current state of the art methods in clickbait detection.


title: Multiuser Wirelessly Powered Backscatter Communications: Nonlinearity, Waveform Design and SINR-Energy Tradeoff

abstract: Wireless power transfer and backscatter communications have emerged as promising solutions for energizing and communicating with power limited devices. Despite some progress in wirelessly powered backscatter communications, the focus has been concentrated on backscatter and energy harvester. Recently, significant progress has been made on the design of transmit multisine waveform, adaptive to the Channel State Information at the transmitter (CSIT), in point-to-point backscatter system. In this paper, we leverage the work and study the design of transmit multisine waveform in a multiuser backscatter system, made of one transmitter, one reader and multiple tags active simultaneously. We derive an efficient algorithm to optimize the transmit waveform so as to identify the tradeoff between the amount of energy harvested at the tags and the reliability of the communication, measured in terms of Signal-to-Interference-plus-Noise Ratio (SINR) at the reader. Performance with the optimized waveform based on linear and nonlinear energy harvester (EH) models are studied. Numerical results demonstrate the benefits of accounting for the energy harvester nonlinearity, multiuser diversity, frequency diversity and multisine waveform adaptive to the CSIT to enlarge the SINR-energy region.


title: Philipp Reis's telephone in Aberdeen

abstract: A telephone sender following the design of Johann Philipp Reis made by W Ladd, London 1863, in the Natural Philosophy Collection of the University of Aberdeen is illustrated and described. How Reis came to invent a telephone some 15 years before Graham Bell's patent is discussed, with 19th century illustrations. The method employed by Reis is outlined and contemporary letters by Reis are reproduced, including an extensive letter to the instrument maker William Ladd. The origin of the Aberdeen instrument is given and some of the reasons why Bell was granted his patent in spite of the existence of Reis's instrument are suggested. The monument to Reis erected after his early death is shown.


title: Perturbative approach to the self-focusing of intense X-ray laser beam propagating in thermal quantum plasma

abstract: In this theoretical study, the problem of self-focusing of an X-ray intense laser beam in the thermal quantum plasma is studied. Using a relativistic fluid model and taking into account the hydrodynamic pressure of degenerate electrons in the zero temperature limit, the nonlinear momentum equation of electrons is solved by means of a perturbative method and the nonlinear current density of the relativistic degenerate electrons is obtained. Saving only the third-order nonlinearity of the laser beam amplitude, a nonlinear equation describing the interaction of laser beam with the quantum plasma is derived. It is shown that considering the nonlinearity of system through solving nonlinear equation of degenerate electron leads to the originally different wave equation in comparison with outcomes of the approach in which the permittivity of longitudinal waves of quantum plasma is problematically extended to the relativistic case. The evolution of laser beam spot size with Gaussian profile is considered and the effect of quantum terms on the self-focusing quality is studied. It is shown that considering quantum effects leads to the decrease in the self-focusing property and the effect of Bohm tunneling potential is more dominant than the degenerate electrons pressure term.


title: The Stellar Membership of the Taurus Star-forming Region

abstract: The high-precision astrometry from the second data release of the Gaia mission has made it possible to greatly improve the census of members of nearby clusters and associations. I have applied the Gaia data to the Taurus star-forming region, refining the sample of known members and identifying candidates for undiscovered members. The resulting samples of members and candidates provide the best constraints to date on the distribution of ages and the initial mass function (IMF) in Taurus. Several studies over the last 30 years have proposed the existence of a population of older stars (>=10 Myr) that is associated with the Taurus clouds. The data from Gaia demonstrate that such a population does not exist. Meanwhile, previous IMF estimates for small fields surrounding the Taurus aggregates have exhibited a surplus of K7-M0 stars (0.7-0.8 Msun) relative to star-forming clusters like IC 348 and the Orion Nebula Cluster. However, that difference disappears when the new census of the entire region is considered, which should be complete for spectral types earlier than M6-M7 at A_J<1. Thus, there is little variation in the stellar IMF across the 3-4 orders of magnitude in stellar density that are present in nearby star-forming regions. Finally, I note that the proper motions of two previously known members, KPNO 15 and 2MASS J04355209+2255039, indicate that they may have been ejected from the same location within the L1536 cloud ~7200 years ago.


title: Optimal small data Scattering for the generalized derivative nonlinear Schr\"odinger equations

abstract: In this work, we consider the following generalized derivative nonlinear Schr\"odinger equation \begin{align*} i\partial_t u+\partial_{xx} u +i |u|^{2\sigma}\partial_x u=0, \quad (t,x)\in \mathbb R\times \mathbb R. \end{align*} We prove that when $\sigma\ge 2$, the solution is global and scattering when the initial data is small in $H^s(\mathbb R)$, $\frac 12\leq s\leq1$. Moreover, we show that when $0<\sigma<2$, there exist a class of solitary wave solutions $\{\phi_c\}$ satisfying $$ \|\phi_c\|_{H^1(\mathbb R)}\to 0, $$ when $c$ tends to some endpoint, which is against the small data scattering statement. Therefore, in this model, the exponent $\sigma\ge2$ is optimal for small data scattering. We remark that this exponent is larger than the short range exponent and the Strauss exponent.


title: Divergence of the quadrupole-strain susceptibility of YbRu$_2$Ge$_2$; a local moment realization of electronic nematicity

abstract: Ferroquadrupole order associated with local $4f$ atomic orbitals of rare earth ions is a realization of electronic nematic order. However, there are relatively few examples of intermetallic materials which exhibit continuous ferroquadrupole phase transitions, motivating the search for additional materials that fall in to this category. Furthermore, it is not clear a priori whether experimental approaches based on transport measurements which have been successfully used to probe the nematic susceptibility in materials such as the Fe-based superconductors, will be as effective in the case of $4f$ intermetallic materials, for which the important electronic degrees of freedom are local rather than itinerant and are consequently less strongly coupled to the charge-carrying quasiparticles near the Fermi energy. In the present work, we demonstrate that the intermetallic compound YbRu$_2$Ge$_2$ exhibits a tetragonal-to-orthorhombic phase transition consistent with ferroquadrupole order of the Yb ions, and go on to show that elastoresistivity measurements can indeed provide a clear window on the diverging nematic susceptibility in this system. This material provides a new arena in which to study the causes and consequences of electronic nematicity.


title: Bounds on the Capacity Region of the Optical Intensity Multiple Access Channel

abstract: This paper provides new inner and outer bounds on the capacity region of optical intensity multiple access channel (OIMAC) with per-user average or peak power constraint. For the average power constrained OIMAC, our bounds at high power are asymptotically tight, thereby characterizing the asymptotic capacity region. The bounds are extended to K-user OIMAC with average power constraint without loss of asymptotic optimality. For the peak power constrained OIMAC, at high power, we bound the asymptotic capacity region to within 0.09 bits, and determine the asymptotic capacity region in the symmetric case. At moderate power, for both types of constraints, the capacity regions are bounded to within fairly small gaps.


title: A New Formula for Predicting Solar Cycles

abstract: A new formula for predicting solar cycles based on the current theoretical understanding of the solar cycle from flux transport dynamo is presented. Two important processes---fluctuations in the Babcock-Leighton mechanism and variations in the meridional circulation, which are believed to be responsible for irregularities of the solar cycle---are constrained by using observational data. We take the polar field near minima of the cycle as a measure of the randomness in the Babcock-Leighton process, and the decay rate near the minima as a consequence of the change in meridional circulation. We couple these two observationally derived quantities into a single formula to predict the amplitude of the future solar cycle. Our new formula suggests that the cycle 25 would be a moderate cycle. Whether this formula for predicting the future solar cycle can be justified theoretically is also discussed using simulations from the flux transport dynamo model.


title: Solutions of Navier--Stokes--Maxwell systems in large energy spaces

abstract: Large weak solutions to Navier--Stokes--Maxwell systems are not known to exist in their corresponding energy space in full generality. Here, we mainly focus on the three-dimensional setting of a classical incompressible Navier--Stokes--Maxwell system and --- in an effort to build solutions in the largest possible functional spaces --- prove that global solutions exist under the assumption that the initial velocity and electromagnetic fields have finite energy, and that the initial electromagnetic field is small in $\dot H^s\left({\mathbb R}^3\right)$ with $s\in \left[\frac 12,\frac 32\right)$. We also apply our method to improve known results in two dimensions by providing uniform estimates as the speed of light tends to infinity. The method of proof relies on refined energy estimates and a Gr\"onwall-like argument, along with a new maximal estimate on the heat flow in Besov spaces. The latter parabolic estimate allows us to bypass the use of the so-called Chemin--Lerner spaces altogether, which is crucial and could be of independent interest.


title: Controlling the size distribution of nanoparticles through the use of physical boundaries during laser ablation in liquids

abstract: A simple, yet effective method of controlling the size and size distributions of nanoparticles produced as a result of laser ablation of target material is presented. The method employs the presence of physical boundaries on either sides of the ablation site. In order to demonstrate the potential of the method, experiments have been conducted with copper and titanium as the target materials that are placed in two different liquid media (water and isopropyl alcohol). The ablation of the target material immersed in the liquid medium has been carried out using an Nd:YAG laser. Significant differences in the size and size distributions are observed in the cases of nanoparticles produced with and without confining boundaries. It is seen that for any given liquid medium and the target material, the mean size of the nanoparticles obtained with the boundary-fitted target surface is consistently higher than that achieved in the case of open (flat) targets. The observed trend has been attributed to the plausible role(s) of the confining boundaries in prolonging the thermalisation time of the plasma plume. In order to ascertain that the observed differences in sizes of the nanoparticles produced with and without the presence of the physical barriers are predominantly because of the prolonged thermalisation of the plasma plume and not due to the possible formation of oxide layer, select experiments with gold as the target material in water have also been performed. The experiments also show that, irrespective of the liquid medium, the increase in the mean size of the copper-based nanoparticles due to the presence of physical boundaries is relatively higher than that observed in the case of titanium target material under similar experimental conditions.


title: Symmetric simple exclusion process in dynamic environment: hydrodynamics

abstract: We consider the symmetric simple exclusion process in $\mathbb Z^d$ with quenched bounded dynamic random conductances and prove its hydrodynamic limit in path space. The main tool is the connection, due to the self-duality of the process, between the invariance principle for single particles starting from all points and the macroscopic behavior of the density field. While the hydrodynamic limit at fixed macroscopic times is obtained via a generalization to the time-inhomogeneous context of the strategy introduced in \cite{nagy_symmetric_2002}, in order to prove tightness for the sequence of empirical density fields we develop a new criterion based on the notion of uniform conditional stochastic continuity, following \cite{varadhan_stochasticprocesses_2007}. In conclusion, we show that uniform elliptic dynamic conductances provide an example of environments in which the so-called arbitrary starting point invariance principle may be derived from the invariance principle of a single particle starting from the origin. Therefore, our hydrodynamics result applies to the examples of quenched environments considered in, e.g.,\ \cite{andres2014}, \cite{andres_quenched_2018}, \cite{biskup_invariance_2019} in combination with the hypothesis of uniform ellipticity.


title: Weak universality of the dynamical $\Phi_3^4$ model on the whole space

abstract: We prove the large scale convergence of a class of stochastic weakly nonlinear reaction-diffusion models on $\mathbb{R}^3$ to the dynamical $\Phi^4_3$ model by paracontrolled distributions on weighted Besov space. Our approach depends on the delicate choice of the weight, the localization operator technique and a modification version of the maximal principle from [GH18].


title: Super-Eddington accretion of dusty gas onto seed black holes: metallicity-dependent efficiency of mass growth

abstract: The super-Eddington accretion onto intermediate seed BHs is a potential formation mode of supermassive black holes exceeding $10^9~M_\odot$ in the early universe. We here investigate how such rapid accretion may occur with finite amounts of heavy elements contained in the gas and dust. In our 1D radiation-hydrodynamics simulations, the radiative transfer is solved for both the direct UV lights emitted by an accretion disk and the diffuse IR lights thermally emitted by dust grains. Our results show that the radiative force by the IR lights causes a strong feedback to regulate the mass accretion. The resulting mean accretion rate is lower with the higher metallicity, and there is the critical metallicity $Z \sim 10^{-2}~Z_\odot$, above which the super-Eddington accretion is prevented by the radiation pressure of the IR lights. With this taken into account, we examine if the dusty super-Eddington accretion occurs in young galaxies using a simple model. We show that a sufficient number of galaxies at $z \gtrsim 10$ can be such potential sites if BHs accrete the cold dense gas with $T \sim 10^2$ K, approximately the thermal equilibrium value at $Z = 10^{-2}~Z_\odot$. We argue that the efficiency of the BH growth via the rapid accretion depends on the metallicity, and that the metallicity slightly lower than $10^{-2}~Z_\odot$ provides a chance for the most efficient growth.


title: The trimer-based spin liquid candidate Ba4NbIr3O12

abstract: Ba4NbIr3O12, a previously unreported material with a triangular planar geometry of Ir3O12 trimers, is described. Magnetic susceptibility measurements show no magnetic ordering down to 1.8 K despite the Curie-Weiss temperature of -13 K. The material has a very low effective magnetic moment of 0.80 {\mu}B/f.u. To look at the lower temperature behavior, the specific heat (Cp) was measured down to 0.35 K; it shows no indication of magnetic ordering and fitting a power law to Cp vs. T below 2 K yields the power {\alpha} = 3/4. Comparison to the previously unreported trimer compound made with the 4d element Rh in place of the 5d element Ir, Ba4NbRh3O12, is presented. The analysis suggests that Ba4NbIr3O12 is a candidate spin liquid material.


title: Math in the Black Forest: Workshop on New Directions in Shape Analysis

abstract: These are the proceedings of the workshop "Math in the Black Forest", which brought together researchers in shape analysis to discuss promising new directions. Shape analysis is an inter-disciplinary area of research with theoretical foundations in infinite-dimensional Riemannian geometry, geometric statistics, and geometric stochastics, and with applications in medical imaging, evolutionary development, and fluid dynamics. The workshop is the 6th instance of a series of workshops on the same topic.