title: Change of variable formula for local time of continuous semimartingale

abstract: In this paper we generalize a representation formula for the local time of a function of a semimartingale due to Coquet and Ouknine \cite{Ouknine} , our formula being a pointwise equality between two processes we show in addition that the equality is in fact trajectorial, finally we give an application in mathematical finance.


title: Matrix-propagator approach to compute fluid Love numbers and applicability to extrasolar planets

abstract: Context. The mass and radius of a planet directly provide its bulk density, which can be interpreted in terms of its overall composition. Any measure of the radial mass distribution provides a first step in constraining the interior structure. The fluid Love number $k_2$ provides such a measure, and estimates of $k_2$ for extrasolar planets are expected to be available in the coming years thanks to improved observational facilities and the ever-extending temporal baseline of extrasolar planet observations. Aims. We derive a method for calculating the Love numbers $k_n$ of any object given its density profile, which is routinely calculated from interior structure codes. Methods. We used the matrix-propagator technique, a method frequently used in the geophysical community. Results. We detail the calculation and apply it to the case of GJ 436b, a classical example of the degeneracy of mass-radius relationships, to illustrate how measurements of $k_2$ can improve our understanding of the interior structure of extrasolar planets. We implemented the method in a code that is fast, freely available, and easy to combine with preexisting interior structure codes. While the linear approach presented here for the calculation of the Love numbers cannot treat the presence of nonlinear effects that may arise under certain dynamical conditions, it is applicable to close-in gaseous extrasolar planets like hot Jupiters, likely the first targets for which $k_2$ will be measured.


title: Statistical mechanics of low-rank tensor decomposition

abstract: Often, large, high dimensional datasets collected across multiple modalities can be organized as a higher order tensor. Low-rank tensor decomposition then arises as a powerful and widely used tool to discover simple low dimensional structures underlying such data. However, we currently lack a theoretical understanding of the algorithmic behavior of low-rank tensor decompositions. We derive Bayesian approximate message passing (AMP) algorithms for recovering arbitrarily shaped low-rank tensors buried within noise, and we employ dynamic mean field theory to precisely characterize their performance. Our theory reveals the existence of phase transitions between easy, hard and impossible inference regimes, and displays an excellent match with simulations. Moreover, it reveals several qualitative surprises compared to the behavior of symmetric, cubic tensor decomposition. Finally, we compare our AMP algorithm to the most commonly used algorithm, alternating least squares (ALS), and demonstrate that AMP significantly outperforms ALS in the presence of noise.


title: A Fusion Approach for Multi-Frame Optical Flow Estimation

abstract: To date, top-performing optical flow estimation methods only take pairs of consecutive frames into account. While elegant and appealing, the idea of using more than two frames has not yet produced state-of-the-art results. We present a simple, yet effective fusion approach for multi-frame optical flow that benefits from longer-term temporal cues. Our method first warps the optical flow from previous frames to the current, thereby yielding multiple plausible estimates. It then fuses the complementary information carried by these estimates into a new optical flow field. At the time of writing, our method ranks first among published results in the MPI Sintel and KITTI 2015 benchmarks. Our models will be available on https://github.com/NVlabs/PWC-Net.


title: On the generalized mixed Schwarz inequality

abstract: In this work, an extension of the generalized mixed Schwarz inequality is proved. A companion of the generalized mixed Schwarz inequality is established by merging both Cartesian and Polar decompositions of operators. Based on that some numerical radius inequalities are proved.


title: Enhanced finite triangulated categories

abstract: We give a necessary and sufficient condition for the existence of an enhancement of a finite triangulated category. Moreover, we show that enhancements are unique when they exist, up to Morita equivalence.


title: Search for new particles decaying to a jet and an emerging jet

abstract: A search is performed for events consistent with the pair production of a new heavy particle that acts as a mediator between a dark sector and normal matter, and that decays to a light quark and a new fermion called a dark quark. The search is based on data corresponding to an integrated luminosity of 16.1 fb$^{-1}$ from proton-proton collisions at $\sqrt{s} =$ 13 TeV collected by the CMS experiment at the LHC in 2016. The dark quark is charged only under a new quantum-chromodynamics-like force, and forms an "emerging jet" via a parton shower, containing long-lived dark hadrons that give rise to displaced vertices when decaying to standard model hadrons. The data are consistent with the expectation from standard model processes. Limits are set at 95% confidence level excluding dark pion decay lengths between 5 and 225 mm for dark mediators with masses between 400 and 1250 GeV. Decay lengths smaller than 5 mm and greater than 225 mm are also excluded in the lower part of this mass range. The dependence of the limit on the dark pion mass is weak for masses between 1 and 10 GeV. This analysis is the first dedicated search for the pair production of a new particle that decays to a jet and an emerging jet.


title: Quaternionic inner and outer functions

abstract: We study properties of inner and outer functions in the Hardy space of the quaternionic unit ball. In particular, we give sufficient conditions as well as necessary ones for functions to be inner or outer.


title: Nothing's plenty: The significance of null results in physics education research

abstract: A central aim of physics education research is to understand the processes of learning and use that understanding to inform instruction. To this end, researchers often conduct studies to measure the effect of classroom interventions on student learning outcomes. Many of these intervention studies have provided an empirical foundation of reformed teaching techniques, such as active engagement. However, many times there is not sufficient evidence to conclude that the intervention had the intended effect, and these null results often end up in the file drawer. In this paper, we argue that null results can contribute significantly to physics education research, even if the results are not statistically significant. First, we review social sciences and biomedical research that has found widespread publication bias against null results, exploring why it occurs and how it can hurt the field. We then present three cases from physics education research to highlight how studies that yield null results can contribute to our understanding of teaching and learning. Finally, we distill from these studies some general principles for learning from null results, proposing that we should evaluate them not on whether they reject the null hypothesis, but according to their potential for generating new understanding.


title: Climate Modeling of a Potential ExoVenus

abstract: The planetary mass and radius sensitivity of exoplanet discovery capabilities has reached into the terrestrial regime. The focus of such investigations is to search within the Habitable Zone where a modern Earth-like atmosphere may be a viable comparison. However, the detection bias of the transit and radial velocity methods lies close to the host star where the received flux at the planet may push the atmosphere into a runaway greenhouse state. One such exoplanet discovery, Kepler-1649b, receives a similar flux from its star as modern Venus does from the Sun, and so was categorized as a possible exoVenus. Here we discuss the planetary parameters of Kepler-1649b with relation to Venus to establish its potential as a Venus analog. We utilize the general circulation model ROCKE-3D to simulate the evolution of the surface temperature of Kepler-1649b under various assumptions, including relative atmospheric abundances. We show that in all our simulations the atmospheric model rapidly diverges from temperate surface conditions towards a runaway greenhouse with rapidly escalating surface temperatures. We calculate transmission spectra for the evolved atmosphere and discuss these spectra within the context of the James Webb Space Telescope (JWST) Near-Infrared Spectrograph (NIRSpec) capabilities. We thus demonstrate the detectability of the key atmospheric signatures of possible runaway greenhouse transition states and outline the future prospects of characterizing potential Venus analogs.


title: Structural Analogs of the Milky Way Galaxy: Stellar Populations in the Boxy Bulges of NGC 4565 and NGC 5746

abstract: We present NGC 4565 and NGC 5746 as structural analogs of our Milky Way. All three are giant, SBb - SBbc galaxies with two pseudobulges, i. e., a compact, disky, star-forming pseudobulge embedded in a vertically thick, "red and dead", boxy pseudobulge that really is a bar seen almost end-on. The stars in the boxy bulge of our Milky Way are old and enhanced in alpha elements, indicating that star formation finished within ~ 1 Gyr of when it started. Here, we present Hobby-Eberly Telescope spectroscopy of the boxy pseudobulges of NGC 4565 and NGC 5746 and show that they also are made of old and alpha-element-enhanced stars. Evidently it is not rare that the formation of stars that now live in bars finished quickly and early, even in galaxies of intermediate Hubble types whose disks still form stars now. Comparison of structural component parameters leads us to suggest that NGC 4565 and NGC 5746 are suitable analogs of the Milky Way, because they show signatures of similar evolution processes.


title: Morphisms in categories of nonlocal games

abstract: Synchronous correlations provide a class of nonlocal games that behave like functions between finite sets. In this work we examine categories whose morphisms are games with synchronous classical, quantum, or general nonsignaling correlations. In particular, we characterize when morphisms in these categories are monic, epic, sections, or retractions.


title: Rigidification and the Coherent Nerve for Enriched Quasicategories

abstract: We introduce, for \(\C\) a regular Cartesian Reedy category a model category whose fibrant objects are an analogue of quasicategories enriched in simplicial presheaves on \(C\). We then develop a coherent realization and nerve for this model structure and demonstrate using an enriched version of the necklaces of Dugger and Spivak that our model category is Quillen-equivalent to the category of categories enriched in simplicial presheaves on \(\C\). We then show that for any Cartesian-closed left-Bousfield localization of the category of simplicial presheaves on \(\C\), the coherent nerve and realization descend to a Quillen equivalence on the localizations of these model categories. As an application, we demonstrate a version of Yoneda's lemma for these enriched quasicategories.


title: A Statistical Approach to Adult Census Income Level Prediction

abstract: The prominent inequality of wealth and income is a huge concern especially in the United States. The likelihood of diminishing poverty is one valid reason to reduce the world's surging level of economic inequality. The principle of universal moral equality ensures sustainable development and improve the economic stability of a nation. Governments in different countries have been trying their best to address this problem and provide an optimal solution. This study aims to show the usage of machine learning and data mining techniques in providing a solution to the income equality problem. The UCI Adult Dataset has been used for the purpose. Classification has been done to predict whether a person's yearly income in US falls in the income category of either greater than 50K Dollars or less equal to 50K Dollars category based on a certain set of attributes. The Gradient Boosting Classifier Model was deployed which clocked the highest accuracy of 88.16%, eventually breaking the benchmark accuracy of existing works.


title: Arithmetic progressions in the trace of Brownian motion in space

abstract: It is shown that the trace of $3$ dimensional Brownian motion contains arithmetic progressions of length $5$ and no arithmetic progressions of length $6$ a.s.


title: Model Selection for Nonnegative Matrix Factorization by Support Union Recovery

abstract: Nonnegative matrix factorization (NMF) has been widely used in machine learning and signal processing because of its non-subtractive, part-based property which enhances interpretability. It is often assumed that the latent dimensionality (or the number of components) is given. Despite the large amount of algorithms designed for NMF, there is little literature about automatic model selection for NMF with theoretical guarantees. In this paper, we propose an algorithm that first calculates an empirical second-order moment from the empirical fourth-order cumulant tensor, and then estimates the latent dimensionality by recovering the support union (the index set of non-zero rows) of a matrix related to the empirical second-order moment. By assuming a generative model of the data with additional mild conditions, our algorithm provably detects the true latent dimensionality. We show on synthetic examples that our proposed algorithm is able to find an approximately correct number of components.


title: Harnessing entropy to enhance toughness in reversibly crosslinked polymer networks

abstract: Reversible crosslinking is a design paradigm for polymeric materials, wherein they are microscopically reinforced with chemical species that form transient crosslinks between the polymer chains. Besides the potential for self-healing, recent experimental work suggests that freely diffusing reversible crosslinks in polymer networks, such as gels, can enhance the toughness of the material without substantial change in elasticity. This presents the opportunity for making highly elastic materials that can be strained to a large extent before rupturing. Here, we employ Gaussian chain theory, molecular simulation, and polymer self-consistent field theory for networks to construct an equilibrium picture for how reversible crosslinks can toughen a polymer network without affecting its linear elasticity. Maximisation of polymer entropy drives the reversible crosslinks to bind preferentially near the permanent crosslinks in the network, leading to local molecular reinforcement without significant alteration of the network topology. In equilibrium conditions, permanent crosslinks share effectively the load with neighbouring reversible crosslinks, forming multi-functional crosslink points. The network is thereby globally toughened, while the linear elasticity is left largely unaltered. Practical guidelines are proposed to optimise this design in experiment, along with a discussion of key kinetic and timescale considerations.


title: Overcoming the Challenges Associated with Image-based Mapping of Small Bodies in Preparation for the OSIRIS-REx Mission to (101955) Bennu

abstract: The OSIRIS-REx Asteroid Sample Return Mission is the third mission in NASA's New Frontiers Program and is the first U.S. mission to return samples from an asteroid to Earth. The most important decision ahead of the OSIRIS-REx team is the selection of a prime sample-site on the surface of asteroid (101955) Bennu. Mission success hinges on identifying a site that is safe and has regolith that can readily be ingested by the spacecraft's sampling mechanism. To inform this mission-critical decision, the surface of Bennu is mapped using the OSIRIS-REx Camera Suite and the images are used to develop several foundational data products. Acquiring the necessary inputs to these data products requires observational strategies that are defined specifically to overcome the challenges associated with mapping a small irregular body. We present these strategies in the context of assessing candidate sample-sites at Bennu according to a framework of decisions regarding the relative safety, sampleability, and scientific value across the asteroid's surface. To create data products that aid these assessments, we describe the best practices developed by the OSIRIS-REx team for image-based mapping of irregular small bodies. We emphasize the importance of using 3D shape models and the ability to work in body-fixed rectangular coordinates when dealing with planetary surfaces that cannot be uniquely addressed by body-fixed latitude and longitude.


title: Approximating Annual Mean Incoming Solar Radiation

abstract: We derive the Legendre series expansion for the insolation distribution on rapidly rotating planets as a function of sine of the latitude and the planet's obliquity. We give an explicit formula for the coefficients of this series as it depends on the obliquity and approximate the convergence rate. We determine the optimal truncation of the series for use in climate models and compare this approximation to other approximations in the literature.


title: A Continuous-Time View of Early Stopping for Least Squares

abstract: We study the statistical properties of the iterates generated by gradient descent, applied to the fundamental problem of least squares regression. We take a continuous-time view, i.e., consider infinitesimal step sizes in gradient descent, in which case the iterates form a trajectory called gradient flow. Our primary focus is to compare the risk of gradient flow to that of ridge regression. Under the calibration $t=1/\lambda$---where $t$ is the time parameter in gradient flow, and $\lambda$ the tuning parameter in ridge regression---we prove that the risk of gradient flow is no less than 1.69 times that of ridge, along the entire path (for all $t \geq 0$). This holds in finite samples with very weak assumptions on the data model (in particular, with no assumptions on the features $X$). We prove that the same relative risk bound holds for prediction risk, in an average sense over the underlying signal $\beta_0$. Finally, we examine limiting risk expressions (under standard Marchenko-Pastur asymptotics), and give supporting numerical experiments.


title: Remote control of chemistry in optical cavities

abstract: Manipulation of chemical reactivity often involves changing reagents or environmental conditions. Alternatively, strong coupling between light and matter offers a way to tunably hybridize their physicochemical properties and thereby change reaction dynamics without synthetic modifications to the starting material. Here, we theoretically design a polaritonic (hybrid photonic-molecular) device that supports ultrafast tuning of reaction yields even when the catalyst and its reactant are spatially separated across several optical wavelengths. We demonstrate how photoexcitation of a `remote catalyst' in an optical microcavity can control photochemistry of a reactant in another microcavity. Harnessing delocalization across the spatially separated compounds that arises from strong cavity-molecule coupling, this intriguing phenomenon is shown for the infrared-induced \textit{cis} $\rightarrow$ \textit{trans} conformational isomerization of nitrous acid (HONO). Indeed, increasing the excited-state population of the remote catalyst can enhance the isomerization efficiency by an order of magnitude. The theoretical proposal reported herein is generalizable to other reactions and thus introduces a versatile tool to control photochemistry.


title: Dynamical Analysis of Three Distant Trans-Neptunian Objects with Similar Orbits

abstract: This paper reports the discovery and orbital characterization of two extreme trans-Neptunian objects (ETNOs), 2016 QV$_{89}$ and 2016 QU$_{89}$, which have orbits that appear similar to that of a previously known object, 2013 UH$_{15}$. All three ETNOs have semi-major axes $a\approx 172$ AU and eccentricities $e\approx0.77$. The angular elements $(i,\omega,\Omega)$ vary by 6, 15, and 49 deg, respectively between the three objects. The two new objects add to the small number of TNOs currently known to have semi-major axes between 150 and 250 AU, and serve as an interesting dynamical laboratory to study the outer realm of our Solar System. Using a large ensemble of numerical integrations, we find that the orbits are expected to reside in close proximity in the $(a,e)$ phase plane for roughly 100 Myr before diffusing to more separated values. We then explore other scenarios that could influence their orbits. With aphelion distances over 300 AU, the orbits of these ETNOs extend far beyond the classical Kuiper Belt, and an order of magnitude beyond Neptune. As a result, their orbital dynamics can be affected by the proposed new Solar System member, referred to as Planet Nine in this work. With perihelion distances of 35-40 AU, these orbits are also influenced by resonant interactions with Neptune. A full assessment of any possible, new Solar System planets must thus take into account this emerging class of TNOs.


title: A Proximal Zeroth-Order Algorithm for Nonconvex Nonsmooth Problems

abstract: In this paper, we focus on solving an important class of nonconvex optimization problems which includes many problems for example signal processing over a networked multi-agent system and distributed learning over networks. Motivated by many applications in which the local objective function is the sum of smooth but possibly nonconvex part, and non-smooth but convex part subject to a linear equality constraint, this paper proposes a proximal zeroth-order primal dual algorithm (PZO-PDA) that accounts for the information structure of the problem. This algorithm only utilize the zeroth-order information (i.e., the functional values) of smooth functions, yet the flexibility is achieved for applications that only noisy information of the objective function is accessible, where classical methods cannot be applied. We prove convergence and rate of convergence for PZO-PDA. Numerical experiments are provided to validate the theoretical results.


title: Finite-time Guarantees for Byzantine-Resilient Distributed State Estimation with Noisy Measurements

abstract: This work considers resilient, cooperative state estimation in unreliable multi-agent networks. A network of agents aims to collaboratively estimate the value of an unknown vector parameter, while an {\em unknown} subset of agents suffer Byzantine faults. Faulty agents malfunction arbitrarily and may send out {\em highly unstructured} messages to other agents in the network. As opposed to fault-free networks, reaching agreement in the presence of Byzantine faults is far from trivial. In this paper, we propose a computationally-efficient algorithm that is provably robust to Byzantine faults. At each iteration of the algorithm, a good agent (1) performs a gradient descent update based on noisy local measurements, (2) exchanges its update with other agents in its neighborhood, and (3) robustly aggregates the received messages using coordinate-wise trimmed means. Under mild technical assumptions, we establish that good agents learn the true parameter asymptotically in almost sure sense. We further complement our analysis by proving (high probability) {\em finite-time} convergence rate, encapsulating network characteristics.


title: Determining the eigenvalues of a square matrix through known information of its submatrix

abstract: In this paper we bring to light an unprecedented property of the eigenvalues of a matrix A with the eigenvalues and eigenvectors of a submatrix of A. This property can be used, through the technique developed here, to determine some of eigenvalues of A and, thus, reduce the degree of the characteristic polynomial associated with this matrix. This reduction can occur in two ways: when restrictions between some elements of A are checked (or imposed) and/or when some eigenvalues of the submatrix of A are degenerate. As an application, we show how to obtain matrices of arbitrary size, not trivial, that allow the algebraic calculation of eigenvalues and eigenvectors and how to share a set of eigenvectors of a submatrix of A with matrix A itself, preserving norm, direction and sense.


title: Detecting $\beta$ elements in iterated algebraic K-theory

abstract: The Lichtenbaum--Quillen conjecture (LQC) relates special values of zeta functions to algebraic K-theory groups. The Ausoni--Rognes red-shift conjectures generalize the LQC to higher chromatic heights in a precise sense. In this paper, we propose an alternate generalization of the LQC to higher chromatic heights and give evidence for it at height two. In particular, if the $n$-th Greek letter family is detected by a commutative ring spectrum $R$, then we conjecture that the $n+1$-st Greek letter family will be detected by the algebraic K-theory of $R$. We prove this in the case $n=1$ for $R=\text{K}(\mathbb{F}_q)$ modulo $(p,v_1)$ where $p\ge 5$ and $q=\ell^k$ is a prime power generator of the units in $\mathbb{Z}/p^2\mathbb{Z}$. In particular, we prove that the commutative ring spectrum $\text{K}(\text{K}(\mathbb{F}_q))$ detects the part of the $p$-primary $\beta$-family that survives mod $(p,v_1)$. The method of proof also implies that these $\beta$ elements are detected in iterated algebraic K-theory of the integers. Consequently, one may relate iterated algebraic K-theory groups of the integers to integral modular forms satisfying certain congruences.


title: An Upper Bound for Lebesgue's Covering Problem

abstract: A covering problem posed by Henri Lebesgue in 1914 seeks to find the convex shape of smallest area that contains a subset congruent to any point set of unit diameter in the Euclidean plane. Methods used previously to construct such a covering can be refined and extended to provide an improved upper bound for the optimal area. An upper bound of 0.8440935944 is found.


title: NestDNN: Resource-Aware Multi-Tenant On-Device Deep Learning for Continuous Mobile Vision

abstract: Mobile vision systems such as smartphones, drones, and augmented-reality headsets are revolutionizing our lives. These systems usually run multiple applications concurrently and their available resources at runtime are dynamic due to events such as starting new applications, closing existing applications, and application priority changes. In this paper, we present NestDNN, a framework that takes the dynamics of runtime resources into account to enable resource-aware multi-tenant on-device deep learning for mobile vision systems. NestDNN enables each deep learning model to offer flexible resource-accuracy trade-offs. At runtime, it dynamically selects the optimal resource-accuracy trade-off for each deep learning model to fit the model's resource demand to the system's available runtime resources. In doing so, NestDNN efficiently utilizes the limited resources in mobile vision systems to jointly maximize the performance of all the concurrently running applications. Our experiments show that compared to the resource-agnostic status quo approach, NestDNN achieves as much as 4.2% increase in inference accuracy, 2.0x increase in video frame processing rate and 1.7x reduction on energy consumption.


title: Emergence of novel magnetic order at finite temperature in overdoped pnictides

abstract: We examine the temperature dependence of the magnetic ordering in the frustrated Heisenberg $J_1-J_2$ model in presence of two different kind of dopants: vacancies or magnetic impurities. We demonstrate that, irrespective to their magnetic ratio, the introduction of impurities quenches the order by disorder selection mechanism associated with an Ising-like phase transition at low temperatures and gives way to a $90^\circ$ (anticollinear) order . The presence of dopants triggers a non trivial competition between entropically selected states (collinear) and energetically favoured ones (anticollinear) in dependence of both dilution and temperature. While in case of magnetic impurity, the interesting magnetic phases are observed for full range of temperature and doping, in case of nonmagnetic impurities every magnetic order is destroyed at all temperatures above $12\%$ dilution. At fixed low temperature and tuning the doping we show a first order phase transition leading to the re-entrance of the Ising-like order with percolation of islands of $90^\circ$ order. At fixed doping and varying the temperature we observe a transition from the anticollinear to the collinear phase assisted by a new emerging magnetic phase in the presence of magnetic impurities, whilst in case of vacancies this transition is characterised by a coexistent region of both. Furthermore, tuning the magnetic moment of the impurities, a complete collapse of the Ising-like order is attained. This is in agreement with observations of Ir dopant atoms in superconducting Ba(Fe$_{1-x}$Ir$_x$)$_2$As$_2$ with $x<0.047$.


title: Search for pair-produced three-jet resonances in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: A search has been performed for pair-produced resonances decaying into three jets. The proton-proton collision data used for this analysis were collected with the CMS detector in 2016 at a center-of-mass energy of 13 TeV and correspond to an integrated luminosity of 35.9 fb$^{-1}$. The mass range from 200 to 2000 GeV is explored in four separate mass regions. The observations show agreement with standard model expectations. The results are interpreted within the framework of $R$-parity violating SUSY, where pair-produced gluinos decay to a six quark final state. Gluino masses below 1500 GeV are excluded at 95% confidence level. An analysis based on data with multijet events reconstructed at the trigger level extends the reach to masses as low as 200 GeV. Improved analysis techniques have led to enhanced sensitivity, allowing the most stringent limits to date to be set on gluino pair production.


title: Structured Domain Randomization: Bridging the Reality Gap by Context-Aware Synthetic Data

abstract: We present structured domain randomization (SDR), a variant of domain randomization (DR) that takes into account the structure and context of the scene. In contrast to DR, which places objects and distractors randomly according to a uniform probability distribution, SDR places objects and distractors randomly according to probability distributions that arise from the specific problem at hand. In this manner, SDR-generated imagery enables the neural network to take the context around an object into consideration during detection. We demonstrate the power of SDR for the problem of 2D bounding box car detection, achieving competitive results on real data after training only on synthetic data. On the KITTI easy, moderate, and hard tasks, we show that SDR outperforms other approaches to generating synthetic data (VKITTI, Sim 200k, or DR), as well as real data collected in a different domain (BDD100K). Moreover, synthetic SDR data combined with real KITTI data outperforms real KITTI data alone.


title: Novel Adaptive Algorithms for Estimating Betweenness, Coverage and k-path Centralities

abstract: An important index widely used to analyze social and information networks is betweenness centrality. In this paper, first given a directed network $G$ and a vertex $r\in V(G)$, we present a novel adaptive algorithm for estimating betweenness score of $r$. Our algorithm first computes two subsets of the vertex set of $G$, called $\mathcal{RF}(r)$ and $\mathcal{RT}(r)$, that define the sample spaces of the start-points and the end-points of the samples. Then, it adaptively samples from $\mathcal{RF}(r)$ and $\mathcal{RT}(r)$ and stops as soon as some condition is satisfied. The stopping condition depends on the samples met so far, $|\mathcal{RF}(r)|$ and $|\mathcal{RT}(r)|$. We show that compared to the well-known existing methods, our algorithm gives a more efficient $(\lambda,\delta)$-approximation. Then, we propose a novel algorithm for estimating $k$-path centrality of $r$. Our algorithm is based on computing two sets $\mathcal{RF}(r)$ and $\mathcal{D}(r)$. While $\mathcal{RF}(r)$ defines the sample space of the source vertices of the sampled paths, $\mathcal{D}(r)$ defines the sample space of the other vertices of the paths. We show that in order to give a $(\lambda,\delta)$-approximation of the $k$-path score of $r$, our algorithm requires considerably less samples. Moreover, it processes each sample faster and with less memory. Finally, we empirically evaluate our proposed algorithms and show their superior performance. Also, we show that they can be used to efficiently compute centrality scores of a set of vertices.


title: Loop Grassmannians of quivers and affine quantum groups

abstract: We construct for each choice of a quiver $Q$, a cohomology theory $A$ and a poset $P$ a "loop Grassmannian" $\mathcal{G}^P(Q,A)$. This generalizes loop Grassmannians of semisimple groups and the loop Grassmannians of based quadratic forms. The addition of a dilation torus $\mathcal{D}\subset\mathbb{G}_m^2$ gives a quantization $\mathcal{G}^P_\mathcal{D}(Q,A)$. The construction is motivated by the program of introducing an inner cohomology theory in algebraic geometry adequate for the Geometric Langlands program ['Some extensions of the notion of loop Grassmannians', Rad Hrvat. Akad. Znan. Umjet. Mat. Znan., the Mardesic issue. No. 532, (2017) 53--74.] and on the construction of affine quantum groups from generalized cohomologies ArXiv: 1708.01418.


title: Learning Representations in Model-Free Hierarchical Reinforcement Learning

abstract: Common approaches to Reinforcement Learning (RL) are seriously challenged by large-scale applications involving huge state spaces and sparse delayed reward feedback. Hierarchical Reinforcement Learning (HRL) methods attempt to address this scalability issue by learning action selection policies at multiple levels of temporal abstraction. Abstraction can be had by identifying a relatively small set of states that are likely to be useful as subgoals, in concert with the learning of corresponding skill policies to achieve those subgoals. Many approaches to subgoal discovery in HRL depend on the analysis of a model of the environment, but the need to learn such a model introduces its own problems of scale. Once subgoals are identified, skills may be learned through intrinsic motivation, introducing an internal reward signal marking subgoal attainment. In this paper, we present a novel model-free method for subgoal discovery using incremental unsupervised learning over a small memory of the most recent experiences (trajectories) of the agent. When combined with an intrinsic motivation learning mechanism, this method learns both subgoals and skills, based on experiences in the environment. Thus, we offer an original approach to HRL that does not require the acquisition of a model of the environment, suitable for large-scale applications. We demonstrate the efficiency of our method on two RL problems with sparse delayed feedback: a variant of the rooms environment and the first screen of the ATARI 2600 Montezuma's Revenge game.


title: Curvature of gap closing features and the extraction of Majorana nanowire parameters

abstract: Recent tunneling conductance measurements of Majorana nanowires show a strong variation in the magnetic field dependence of the superconducting gap among different devices. Here, we theoretically study the magnetic field dependence of the gap closing feature and establish that the degree of convexity (or concavity) of the gap closing as a function of Zeeman field can provide critical constraints on the underlying microscopic parameters of the semiconductor-superconductor hybrid system model. Specifically, we show that the gap closing feature is entirely concave only for strong spin-orbit coupling strength relative to the chemical potential. Additionally, the non-linearity (i.e. concavity or convexity) of the gap closing as a function of magnetic field complicates the simple assignment of a constant effective $ g $-factor to the states in the Majorana nanowire. We develop a procedure to estimate the effective $ g $-factor from recent experimental data that accounts for the non-linear gap closing resulting from the interplay between chemical potential and spin-orbit coupling. Thus, measurements of the magnetic field dependence of the gap closure on the trivial side of the topological quantum phase transition can provide useful information on parameters that are critical to the theoretical modeling of Majorana nanowires.


title: Deblending galaxy superpositions with branched generative adversarial networks

abstract: Near-future large galaxy surveys will encounter blended galaxy images at a fraction of up to 50% in the densest regions of the universe. Current deblending techniques may segment the foreground galaxy while leaving missing pixel intensities in the background galaxy flux. The problem is compounded by the diffuse nature of galaxies in their outer regions, making segmentation significantly more difficult than in traditional object segmentation applications. We propose a novel branched generative adversarial network (GAN) to deblend overlapping galaxies, where the two branches produce images of the two deblended galaxies. We show that generative models are a powerful engine for deblending given their innate ability to infill missing pixel values occluded by the superposition. We maintain high peak signal-to-noise ratio and structural similarity scores with respect to ground truth images upon deblending. Our model also predicts near-instantaneously, making it a natural choice for the immense quantities of data soon to be created by large surveys such as LSST, Euclid and WFIRST.


title: Classical pattern distributions in $\mathcal{S}_{n}(132)$ and $\mathcal{S}_{n}(123)$

abstract: Classical pattern avoidance and occurrence are well studied in the symmetric group $\mathcal{S}_{n}$. In this paper, we provide explicit recurrence relations to the generating functions counting the number of classical pattern occurrence in the set of 132-avoiding permutations and the set of 123-avoiding permutations.


title: Dynamical properties and secondary decay effects of projectile fragmentation in 107,124Sn + 120Sn collisions at 600 MeV/nucleon

abstract: The formation of the projectile spectator and the fragmentation processes in 107,124Sn + 120Sn collisions at 600 MeV/nucleon are studied with the isospin-dependent quantum molecular dynamics (IQMD) model. The minimum spanning tree algorithm and the ratio of parallel to transverse kinetic quantities are applied to identify the equilibrated projectile spectator during the dynamical evolution. The influence of secondary decay on fragmentation observables is investigated by performing calculations with and without the statistical code GEMINI. The validity of the theoretical approach is examined by comparing the calculated product yields and correlations with the experimental results of the ALADIN Collaboration for the studied reactions.


title: Hidden symmetries in plasmonic gratings

abstract: Plasmonic gratings constitute a paradigmatic instance of the wide range of applications enabled by plasmonics. While subwavelength metal gratings find applications in optical biosensing and photovoltaics, atomically thin gratings achieved by periodically doping a graphene monolayer perform as metasurfaces for the control of terahertz radiation. In this paper we show how these two instances of plasmonic gratings inherit their spectral properties from an underlying slab with translational symmetry.We develop an analytical formalism to accurately derive the mode spectrum of the gratings that provides a great physical insight.


title: Comparative Evaluation of Tree-Based Ensemble Algorithms for Short-Term Travel Time Prediction

abstract: Disseminating accurate travel time information to road users helps achieve traffic equilibrium and reduce traffic congestion. The deployment of Connected Vehicles technology will provide unique opportunities for the implementation of travel time prediction models. The aim of this study is twofold: (1) estimate travel times in the freeway network at five-minute intervals using Basic Safety Messages (BSM); (2) develop an eXtreme Gradient Boosting (XGB) model for short-term travel time prediction on freeways. The XGB tree-based ensemble prediction model is evaluated against common tree-based ensemble algorithms and the evaluations are performed at five-minute intervals over a 30-minute horizon. BSMs generated by the Safety Pilot Model Deployment conducted in Ann Arbor, Michigan, were used. Nearly two billion messages were processed for providing travel time estimates for the entire freeway network. A Combination of grid search and five-fold cross-validation techniques using the travel time estimates were used for developing the prediction models and tuning their parameters. About 9.6 km freeway stretch was used for evaluating the XGB together with the most common tree-based ensemble algorithms. The results show that XGB is superior to all other algorithms, followed by the Gradient Boosting. XGB travel time predictions were accurate and consistent with variations during peak periods, with mean absolute percentage error in prediction about 5.9% and 7.8% for 5-minute and 30-minute horizons, respectively. Additionally, through applying the developed models to another 4.7 km stretch along the eastbound segment of M-14, the XGB demonstrated its considerable advantages in travel time prediction during congested and uncongested conditions.


title: Fast Computation of Steady-State Response for Nonlinear Vibrations of High-Degree-of-Freedom Systems

abstract: We discuss an integral equation approach that enables fast computation of the response of nonlinear multi-degree-of-freedom mechanical systems under periodic and quasi-periodic external excitation. The kernel of this integral equation is a Green's function that we compute explicitly for general mechanical systems. We derive conditions under which the integral equation can be solved by a simple and fast Picard iteration even for non-smooth mechanical systems. The convergence of this iteration cannot be guaranteed for near-resonant forcing, for which we employ a Newton--Raphson iteration instead, obtaining robust convergence. We further show that this integral-equation approach can be appended with standard continuation schemes to achieve an additional, significant performance increase over common approaches to computing steady-state response.


title: Perturbation theory challenge for cosmological parameters estimation: Matter power spectrum in real space

abstract: We study the accuracy with which cosmological parameters can be determined from real space power spectrum of matter density contrast at weakly nonlinear scales using analytical approaches. From power spectra measured in $N$-body simulations and using Markov chain Monte-Carlo technique, the best-fitting cosmological input parameters are determined with several analytical methods as a theoretical template, such as the standard perturbation theory, the regularized perturbation theory, and the effective field theory. We show that at redshift 1, all two-loop level calculations can fit the measured power spectrum down to scales $k \sim 0.2 \, h \, \mathrm{Mpc}^{-1}$ and cosmological parameters are successfully estimated in an unbiased way. Introducing the Figure of bias (FoB) and Figure of merit (FoM) parameter, we determine the validity range of those models and then evaluate their relative performances. With one free parameter, namely the damping scale, the regularized perturbation theory is found to be able to provide the largest FoM parameter while keeping the FoB in the acceptance range.


title: A new formulation for coupled magma/mantle dynamics

abstract: Many open problems in the Earth sciences can only be understood by modelling the porous flow of melt through a viscously deforming solid rock matrix. However, the system of equations describing this process becomes mathematically degenerate in the limit of vanishing melt fraction. Numerical methods that do not consider this degeneracy or avoid it solely by regularising specific material properties generally become computationally expensive as soon as the melt fraction approaches zero in some part of the domain. Here, we present a new formulation of the equations for coupled magma/mantle dynamics that addresses this problem, and allows it to accurately compute large-scale 3-D magma/mantle dynamics simulations with extensive regions of zero melt fraction. We achieve this by rescaling one of the solution variables, the compaction pressure, which ensures that for vanishing melt fraction, the equation causing the degeneracy becomes an identity and the other two equations revert to the Stokes system. This allows us to split the domain into two parts, and to solve the coupled magma/mantle dynamics system only in cells where melt is present. We have implemented this formulation in the open source geodynamic modelling code ASPECT and illustrate the improved performance compared to the previous three-field formulation, showing numerically that the new formulation is optimal in terms of problem size and only minimally sensitive to model parameters. Beyond that, we demonstrate the applicability to realistic problems by showing large-scale 2-D and 3-D models of mid-ocean ridges with complex rheology. Hence, we believe that our new formulation and its implementation in ASPECT will prove a valuable tool for studying the interaction of melt segregating through and interacting with a solid host rock in the Earth and other planetary bodies using high-resolution, three-dimensional simulations.


title: Design algorithms of driving-induced nonreciprocal components

abstract: We utilize an effective Hamiltonian formalism, within the Floquet scattering framework, to design a class of driving-induced non-reciprocal components with {\it minimal} complexity. In the high driving-frequency limit, where our scheme is formally applicable, these designs demonstrate a leading order non-reciprocal performance which is inverse proportional to the driving frequency. Surprisingly, the optimal non-reciprocal behavior persists also in the slow driving regime. Our approach highlights the importance of physical loops in the design of these driven non-reciprocal components.


title: Autowarp: Learning a Warping Distance from Unlabeled Time Series Using Sequence Autoencoders

abstract: Measuring similarities between unlabeled time series trajectories is an important problem in domains as diverse as medicine, astronomy, finance, and computer vision. It is often unclear what is the appropriate metric to use because of the complex nature of noise in the trajectories (e.g. different sampling rates or outliers). Domain experts typically hand-craft or manually select a specific metric, such as dynamic time warping (DTW), to apply on their data. In this paper, we propose Autowarp, an end-to-end algorithm that optimizes and learns a good metric given unlabeled trajectories. We define a flexible and differentiable family of warping metrics, which encompasses common metrics such as DTW, Euclidean, and edit distance. Autowarp then leverages the representation power of sequence autoencoders to optimize for a member of this warping distance family. The output is a metric which is easy to interpret and can be robustly learned from relatively few trajectories. In systematic experiments across different domains, we show that Autowarp often outperforms hand-crafted trajectory similarity metrics.


title: Reproducing AmbientGAN: Generative models from lossy measurements

abstract: In recent years, Generative Adversarial Networks (GANs) have shown substantial progress in modeling complex distributions of data. These networks have received tremendous attention since they can generate implicit probabilistic models that produce realistic data using a stochastic procedure. While such models have proven highly effective in diverse scenarios, they require a large set of fully-observed training samples. In many applications access to such samples are difficult or even impractical and only noisy or partial observations of the desired distribution is available. Recent research has tried to address the problem of incompletely observed samples to recover the distribution of the data. \citep{zhu2017unpaired} and \citep{yeh2016semantic} proposed methods to solve ill-posed inverse problem using cycle-consistency and latent-space mappings in adversarial networks, respectively. \citep{bora2017compressed} and \citep{kabkab2018task} have applied similar adversarial approaches to the problem of compressed sensing. In this work, we focus on a new variant of GAN models called AmbientGAN, which incorporates a measurement process (e.g. adding noise, data removal and projection) into the GAN training. While in the standard GAN, the discriminator distinguishes a generated image from a real image, in AmbientGAN model the discriminator has to separate a real measurement from a simulated measurement of a generated image. The results shown by \citep{bora2018ambientgan} are quite promising for the problem of incomplete data, and have potentially important implications for generative approaches to compressed sensing and ill-posed problems.


title: Et Tu Alexa? When Commodity WiFi Devices Turn into Adversarial Motion Sensors

abstract: Our work demonstrates a new set of silent reconnaissance attacks, which leverages the presence of commodity WiFi devices to track users inside private homes and offices, without compromising any WiFi network, data packets, or devices. We show that just by sniffing existing WiFi signals, an adversary can accurately detect and track movements of users inside a building. This is made possible by our new signal model that links together human motion near WiFi transmitters and variance of multipath signal propagation seen by the attacker sniffer outside of the property. The resulting attacks are cheap, highly effective, and yet difficult to detect. We implement the attack using a single commodity smartphone, deploy it in 11 real-world offices and residential apartments, and show it is highly effective. Finally, we evaluate potential defenses, and propose a practical and effective defense based on AP signal obfuscation.


title: Resource-Constrained Simultaneous Detection and Labeling of Objects in High-Resolution Satellite Images

abstract: We describe a strategy for detection and classification of man-made objects in large high-resolution satellite photos under computational resource constraints. We detect and classify candidate objects by using five pipelines of convolutional neural network processing (CNN), run in parallel. Each pipeline has its own unique strategy for fine tunning parameters, proposal region filtering, and dealing with image scales. The conflicting region proposals are merged based on region confidence and not just based on overlap areas, which improves the quality of the final bounding-box regions selected. We demonstrate this strategy using the recent xView challenge, which is a complex benchmark with more than 1,100 high-resolution images, spanning 800,000 aerial objects around the world covering a total area of 1,400 square kilometers at 0.3 meter ground sample distance. To tackle the resource-constrained problem posed by the xView challenge, where inferences are restricted to be on CPU with 8GB memory limit, we used lightweight CNN's trained with the single shot detector algorithm. Our approach was competitive on sequestered sets; it was ranked third.


title: A Simple Constructive Proof of Wigner's Theorem

abstract: This expository note presents a constructive proof of Wigner's theorem using only a few basic facts about Hilbert spaces, such as the existence of orthonormal bases and the Fourier decomposition of a vector. Our proof is based on a proof by Steven Weinberg found in the first volume of his series of textbooks on quantum field theory, but differs in a few places for the sake of greater simplicity and rigor.


title: A learning-based method for solving ill-posed nonlinear inverse problems: a simulation study of Lung EIT

abstract: This paper proposes a new approach for solving ill-posed nonlinear inverse problems. For ease of explanation of the proposed approach, we use the example of lung electrical impedance tomography (EIT), which is known to be a nonlinear and ill-posed inverse problem. Conventionally, penalty-based regularization methods have been used to deal with the ill-posed problem. However, experiences over the last three decades have shown methodological limitations in utilizing prior knowledge about tracking expected imaging features for medial diagnosis. The proposed method's paradigm is completely different from conventional approaches; the proposed reconstruction uses a variety of training data sets to generate a low dimensional manifold of approximate solutions, which allows to convert the ill-posed problem to a well-posed one. Variational autoencoder was used to produce a compact and dense representation for lung EIT images with a low dimensional latent space. Then, we learn a robust connection between the EIT data and the low-dimensional latent data. Numerical simulations validate the effectiveness and feasibility of the proposed approach.


title: How different is the core of $^{25}$F from $^{24}$O$_{g.s.}$?

abstract: The neutron-shell structure of $^{25}$F was studied using quasi-free (p,2p) knockout reaction at 270A MeV in inverse kinematics. The sum of spectroscopic factors of $\pi$0d$_{5/2}$ orbital is found to be $1.0 \pm 0.3$. However, the spectroscopic factor for the ground-state to ground-state transition ($^{25}$F, $^{24}$O$_{g.s.}$) is only $0.36\pm 0.13$, and $^{24}$O excited states are produced from the 0d$_{5/2}$ proton knockout. The result shows that the $^{24}$O core of $^{25}$F nucleus significantly differs from a free $^{24}$O nucleus, and the core consists of 35% $^{24}$O$_{g.s}$. and 65% excited $^{24}$O.


title: On the log-normality of the degree distribution in large homogeneous binary multiplicative attribute graph models

abstract: The muliplicative attribute graph (MAG) model was introduced by Kim and Leskovec as a mathematically tractable model for networks where network structure is believed to be shaped by features or attributes associated with individual nodes. For large homogeneous binary MAGs, they argued through approximation arguments that the "tail of [the] degree distribution follows a log-normal distribution" as the number of nodes becomes unboundedly large and the number of attributes scales logarithmically with the number of nodes. Under the same limiting regime, we revisit the asymptotic behavior of the degree distribution: Under weaker conditions we obtain a precise convergence result to log-normality, develop from it reasoned log-normal approximations to the degree distribution and derive various rates of convergence. In particular, we show that a certain transformation of the node degree converges in distribution to a log-normal distribution, and give its convergence rate in the form of a Berry-Esseen type estimate.


title: Analysis of differential observations of the cosmological radio background : studying the SZE-21cm

abstract: In pursuit of understanding the early Universe and early processes occurring particularly in the Dark Ages (DA) and the Epoch of Reionization (EoR), it is vital that a suitable probe is identified. Probing these epochs will be useful in studies of the origin of first galaxies and most importantly formation of early black-holes. Over the past decade numerous probes have been proposed, with one of the most promising being the SZE-21cm, a specific form of the Sunyaev-Zeldovich effect (SZE) produced when photons of the 21cm background are inverse Compton up-scattered by electrons residing in hot plasma of cosmic structures such as galaxy clusters and active radio galaxies. The SZE-21cm is calculated in a full relativistic approach of the scattering processes of the CMB photons modified by the cosmological redshifted 21cm background in the hot intra-cluster medium of galaxy clusters capturing effects induced by relativistic corrections to this scattering and by multiple scattering effects. We apply image differencing techniques to simulated radio observations of galaxy clusters using the redshifted 21cm background, we conduct this making use of the public semi-numeric code 21cmFAST. We are able to achieve subtraction of contaminating foregrounds through pixel by pixel operations on the data retrieved from our simulated data cubes. We demonstrate that SZE-21cm can be recovered through differential observations of the 21cm background.


title: Relativistic resistive magnetohydrodynamic reconnection and plasmoid formation in merging flux tubes

abstract: We apply the general relativistic resistive magnetohydrodynamics code {\tt BHAC} to perform a 2D study of the formation and evolution of a reconnection layer in between two merging magnetic flux tubes in Minkowski spacetime. Small-scale effects in the regime of low resistivity most relevant for dilute astrophysical plasmas are resolved with very high accuracy due to the extreme resolutions obtained with adaptive mesh refinement. Numerical convergence in the highly nonlinear plasmoid-dominated regime is confirmed for a sweep of resolutions. We employ both uniform resistivity and non-uniform resistivity based on the local, instantaneous current density. For uniform resistivity we find Sweet-Parker reconnection, from $\eta = 10^{-2}$ down to $\eta = 10^{-4}$, for a reference case of magnetisation $\sigma = 3.33$ and plasma-$\beta = 0.1$. {For uniform resistivity $\eta=5\times10^{-5}$ the tearing mode is recovered, resulting in the formation of secondary plasmoids. The plasmoid instability enhances the reconnection rate to $v_{\rm rec} \sim 0.03c$ compared to $v_{\rm rec} \sim 0.01c$ for $\eta=10^{-4}$.} For non-uniform resistivity with a base level $\eta_0 = 10^{-4}$ and an enhanced current-dependent resistivity in the current sheet, we find an increased reconnection rate of $v_{\rm rec} \sim 0.1c$. The influence of the magnetisation $\sigma$ and the plasma-$\beta$ is analysed for cases with uniform resistivity $\eta=5\times10^{-5}$ and $\eta=10^{-4}$ in a range $0.5 \leq \sigma \leq 10$ and $0.01 \leq \beta \leq 1$ in regimes that are applicable for black hole accretion disks and jets. The plasmoid instability is triggered for Lundquist numbers larger than a critical value of $S_{\rm c} \approx 8000$.


title: End-to-End Diagnosis and Segmentation Learning from Cardiac Magnetic Resonance Imaging

abstract: Cardiac magnetic resonance (CMR) is used extensively in the diagnosis and management of cardiovascular disease. Deep learning methods have proven to deliver segmentation results comparable to human experts in CMR imaging, but there have been no convincing results for the problem of end-to-end segmentation and diagnosis from CMR. This is in part due to a lack of sufficiently large datasets required to train robust diagnosis models. In this paper, we propose a learning method to train diagnosis models, where our approach is designed to work with relatively small datasets. In particular, the optimisation loss is based on multi-task learning that jointly trains for the tasks of segmentation and diagnosis classification. We hypothesize that segmentation has a regularizing effect on the learning of features relevant for diagnosis. Using the 100 training and 50 testing samples available from the Automated Cardiac Diagnosis Challenge (ACDC) dataset, which has a balanced distribution of 5 cardiac diagnoses, we observe a reduction of the classification error from 32% to 22%, and a faster convergence compared to a baseline without segmentation. To the best of our knowledge, this is the best diagnosis results from CMR using an end-to-end diagnosis and segmentation learning method.


title: Interpreting Black Box Predictions using Fisher Kernels

abstract: Research in both machine learning and psychology suggests that salient examples can help humans to interpret learning models. To this end, we take a novel look at black box interpretation of test predictions in terms of training examples. Our goal is to ask `which training examples are most responsible for a given set of predictions'? To answer this question, we make use of Fisher kernels as the defining feature embedding of each data point, combined with Sequential Bayesian Quadrature (SBQ) for efficient selection of examples. In contrast to prior work, our method is able to seamlessly handle any sized subset of test predictions in a principled way. We theoretically analyze our approach, providing novel convergence bounds for SBQ over discrete candidate atoms. Our approach recovers the application of influence functions for interpretability as a special case yielding novel insights from this connection. We also present applications of the proposed approach to three use cases: cleaning training data, fixing mislabeled examples and data summarization.


title: Shape Derivatives

abstract: Shape Theory, together with Shape-and-Scale Theory, comprise Relational Theory. This consists of $N$-point models on a manifold $M$, for which some geometrical automorphism group $G$ is regarded as meaningless and is thus quotiented out from the $N$-point model's product space $\times_{I = 1}^N M$. Each such model has an associated function space of preserved quantities, solving the PDE system for zero brackets with the sums over $N$ of each of $G$'s generators. These are smooth functions of the $N$-point geometrical invariants. Each $(M, G)$ pair has moreover a `minimal nontrivially relational unit' value of $N$; we now show that relationally-invariant derivatives can be defined on these, yielding the titular notions of shape(-and-scale) derivatives. We obtain each by Taylor-expanding a functional version of the underlying geometrical invariant, and isolating a shape-independent derivative factor in the nontrivial leading-order term. We do this for translational, dilational, dilatational and projective geometries in 1-$d$, the last of which gives a shape-theoretic rederivation of the Schwarzian derivative. We next phrase and solve the ODEs for zero and constant values of each derivative. We then consider translational, dilational, rotational, rotational-and-dilational, Euclidean and equi-top-form (alias unimodular affine) cases in $\geq 2$-$d$. We finally pose the PDEs for zero and constant values of each of our $\geq 2$-$d$ derivatives, and solve a subset of these geometrically-motivated PDEs. This work is significant for Relational Motion and Background Independence in Theoretical Physics, and foundational for both Flat and Differential Geometry.


title: Dynamic Transitions and Stability for the Acetabularia Whorl Formation

abstract: Dynamical transitions of the Acetabularia whorl formation caused by outside calcium concentration is carefully analyzed using a chemical reaction diffusion model on a thin annulus. Restricting ourselves with Turing instabilities, we found all three types of transition, continuous, catastrophic and random can occur under different parameter regimes. Detailed linear analysis and numerical investigations are also provided. The main tool used in the transition analysis is Ma \& Wang's dynamical transition theory including the center manifold reduction.


title: nGraph-HE: A Graph Compiler for Deep Learning on Homomorphically Encrypted Data

abstract: Homomorphic encryption (HE)---the ability to perform computation on encrypted data---is an attractive remedy to increasing concerns about data privacy in deep learning (DL). However, building DL models that operate on ciphertext is currently labor-intensive and requires simultaneous expertise in DL, cryptography, and software engineering. DL frameworks and recent advances in graph compilers have greatly accelerated the training and deployment of DL models to various computing platforms. We introduce nGraph-HE, an extension of nGraph, Intel's DL graph compiler, which enables deployment of trained models with popular frameworks such as TensorFlow while simply treating HE as another hardware target. Our graph-compiler approach enables HE-aware optimizations-- implemented at compile-time, such as constant folding and HE-SIMD packing, and at run-time, such as special value plaintext bypass. Furthermore, nGraph-HE integrates with DL frameworks such as TensorFlow, enabling data scientists to benchmark DL models with minimal overhead.


title: PoPPy: A Point Process Toolbox Based on PyTorch

abstract: PoPPy is a Point Process toolbox based on PyTorch, which achieves flexible designing and efficient learning of point process models. It can be used for interpretable sequential data modeling and analysis, e.g., Granger causality analysis of multi-variate point processes, point process-based simulation and prediction of event sequences. In practice, the key points of point process-based sequential data modeling include: 1) How to design intensity functions to describe the mechanism behind observed data? 2) How to learn the proposed intensity functions from observed data? The goal of PoPPy is providing a user-friendly solution to the key points above and achieving large-scale point process-based sequential data analysis, simulation and prediction.


title: Finding Safety in Numbers with Secure Allegation Escrows

abstract: For fear of retribution, the victim of a crime may be willing to report it only if other victims of the same perpetrator also step forward. Common examples include 1) identifying oneself as the victim of sexual harassment, especially by a person in a position of authority or 2) accusing an influential politician, an authoritarian government, or ones own employer of corruption. To handle such situations, legal literature has proposed the concept of an allegation escrow: a neutral third-party that collects allegations anonymously, matches them against each other, and de-anonymizes allegers only after de-anonymity thresholds (in terms of number of co-allegers), pre-specified by the allegers, are reached. An allegation escrow can be realized as a single trusted third party; however, this party must be trusted to keep the identity of the alleger and content of the allegation private. To address this problem, this paper introduces Secure Allegation Escrows (SAE, pronounced "say"). A SAE is a group of parties with independent interests and motives, acting jointly as an escrow for collecting allegations from individuals, matching the allegations, and de-anonymizing the allegations when designated thresholds are reached. By design, SAEs provide a very strong property: No less than a majority of parties constituting a SAE can de-anonymize or disclose the content of an allegation without a sufficient number of matching allegations (even in collusion with any number of other allegers). Once a sufficient number of matching allegations exist, the join escrow discloses the allegation with the allegers' identities. We describe how SAEs can be constructed using a novel authentication protocol and a novel allegation matching and bucketing algorithm, provide formal proofs of the security of our constructions, and evaluate a prototype implementation, demonstrating feasibility in practice.


title: Delocalization of uniform graph homomorphisms from $\mathbb{Z}^2$ to $\mathbb{Z}$

abstract: Graph homomorphisms from the $\mathbb{Z}^d$ lattice to $\mathbb{Z}$ are functions on $\mathbb{Z}^d$ whose gradients equal one in absolute value. These functions are the height functions corresponding to proper $3$-colorings of $\mathbb{Z}^d$ and, in two dimensions, corresponding to the $6$-vertex model (square ice). We consider the uniform model, obtained by sampling uniformly such a graph homomorphism subject to boundary conditions. Our main result is that the model delocalizes in two dimensions, having no translation-invariant Gibbs measures. Additional results are obtained in higher dimensions and include the fact that every Gibbs measure which is ergodic under even translations is extremal and that these Gibbs measures are stochastically ordered.


title: Taking Mermin's Relational Interpretation of QM Beyond Cabello's and Seevinck's No-Go Theorems

abstract: In this paper we address a deeply interesting debate that took place at the end of the last millennia between David Mermin, Adan Cabello and Michiel Seevinck, regarding the meaning of relationalism within quantum theory. In a series of papers, Mermin proposed an interpretation in which quantum correlations were considered as elements of physical reality. Unfortunately, the very young relational proposal by Mermin was too soon tackled by specially suited no-go theorems designed by Cabello and Seevinck. In this work we attempt to reconsider Mermin's program from the viewpoint of the Logos Categorical Approach to QM. Following Mermin's original proposal, we will provide a redefinition of quantum relation which not only can be understood as a preexistent element of physical reality but is also capable to escape Cabello's and Seevinck's no-go-theorems. In order to show explicitly that our notion of ontological quantum relation is safe from no-go theorems we will derive a non-contextuality theorem. We end the paper with a discussion regarding the physical meaning of quantum relationalism.


title: Area Attention

abstract: Existing attention mechanisms are trained to attend to individual items in a collection (the memory) with a predefined, fixed granularity, e.g., a word token or an image grid. We propose area attention: a way to attend to areas in the memory, where each area contains a group of items that are structurally adjacent, e.g., spatially for a 2D memory such as images, or temporally for a 1D memory such as natural language sentences. Importantly, the shape and the size of an area are dynamically determined via learning, which enables a model to attend to information with varying granularity. Area attention can easily work with existing model architectures such as multi-head attention for simultaneously attending to multiple areas in the memory. We evaluate area attention on two tasks: neural machine translation (both character and token-level) and image captioning, and improve upon strong (state-of-the-art) baselines in all the cases. These improvements are obtainable with a basic form of area attention that is parameter free.


title: Continued fractions and irrationality exponents for modified Engel and Pierce series

abstract: An Engel series is a sum of reciprocals of a non-decreasing sequence $(x_n)$ of positive integers, which is such that each term is divisible by the previous one, and a Pierce series is an alternating sum of the reciprocals of a sequence with the same property. Given an arbitrary rational number, we show that there is a family of Engel series which when added to it produces a transcendental number $\alpha$ whose continued fraction expansion is determined explicitly by the corresponding sequence $(x_n)$, where the latter is generated by a certain nonlinear recurrence of second order. We also present an analogous result for a rational number with a Pierce series added to or subtracted from it. In both situations (a rational number combined with either an Engel or a Pierce series), the irrationality exponent is bounded below by $(3+\sqrt{5})/2$, and we further identify infinite families of transcendental numbers $\alpha$ whose irrationality exponent can be computed precisely. In addition, we construct the continued fraction expansion for an arbitrary rational number added to an Engel series with the stronger property that $x_j^2$ divides $x_{j+1}$ for all $j$.


title: A Remark on the Arcsine Distribution and the Hilbert Transform

abstract: It is known that if $(p_n)_{n \in \mathbb{N}}$ is a sequence of orthogonal polynomials in $L^2([-1,1], w(x)dx)$, then the roots are distributed according to an arcsine distribution $\pi^{-1} (1-x^2)^{-1}dx$ for a wide variety of weights $w(x)$. We connect this to a result of the Hilbert transform due to Tricomi: if $f(x)(1-x^2)^{1/4} \in L^2(-1,1)$ and its Hilbert transform $Hf$ vanishes on $(-1,1)$, then the function $f$ is a multiple of the arcsine distribution $$ f(x) = \frac{c}{\sqrt{1-x^2}}\chi_{(-1,1)} \qquad \mbox{where}~c~\in \mathbb{R}.$$ We also prove a localized Parseval-type identity that seems to be new: if $f(x)(1-x^2)^{1/4} \in L^2(-1,1)$ and $f(x) \sqrt{1-x^2}$ has mean value 0 on $(-1,1)$, then $$ \int_{-1}^{1}{ (Hf)(x)^2 \sqrt{1-x^2} dx} = \int_{-1}^{1}{ f(x)^2 \sqrt{1-x^2} dx}.$$


title: Driving nanomechanical resonators by phonon flux in superfluid \(\mathbf{^4He}\)

abstract: We report on nanomechanical resonators with very high-quality factors operated as mechanical probes in liquid helium \(^4\mathrm{He}\), with special attention to the superfluid regime down to millikelvin temperatures. Such resonators have been used to map out the full range of damping mechanisms in the liquid on the nanometer scale from \(10\,\mathrm{mK}\) up to \(\sim3\,\mathrm{K}\). The high sensitivity of these doubly-clamped beams to thermal excitations in the superfluid \(^4\mathrm{He}\) makes it possible to drive them using the momentum transfer from phonons generated by a nearby heater. This so-called "\textit{phonon wind}" is an inverse thermomechanical effect that until now has never been demonstrated, and provides the possibility to perform a new type of optomechanical experiments in quantum fluids.


title: The Far Infrared Emission of the First Massive Galaxies

abstract: Massive Population II galaxies undergoing the first phase of vigorous star formation after the initial Population III stage should have high energy densities and silicate-rich interstellar dust. We have modeled the resulting far-infrared spectral energy distributions (SEDs), demonstrating that they are shifted substantially to bluer (`warmer') wavelengths relative to the best fitting ones at z ~ 3, and with strong outputs in the 10 - 40 micron range. When combined with a low level of emission by carbon dust, their SEDs match that of Haro 11, a local moderately-low-metallicity galaxy undergoing a very young and vigorous starburst that is likely to approximate the relevant conditions in young Population II galaxies. We expect to see similar SEDs at high redshifts (z >= 5) given the youth of galaxies at this epoch. In fact, we find a progression with redshift in observed galaxy SEDs, from those resembling local ones at 2 < z < 4 to a closer resemblance with Haro 11 at 5 < z < 7. In addition to the insight on conditions in high redshift galaxies, this result implies that estimates of the total infrared luminosities at z ~ 6 based on measurements near lambda ~ 1 mm can vary by factors of 2 - 4, depending on the SED template used. Currently popular modified blackbodies or local templates can result in significant underestimates compared with the preferred template based on the SED of Haro 11.


title: Photometric Observations of the 2017 Outburst of Recurrent Nova M31N 2007-10b

abstract: M31 is an ideal laboratory for observing and studying recurrent novae. To date, there have been 18 recurrent nova discovered in M31, six of which have recurrence periods less than nine years. M31N 2017-12a (AT2017jdm) is a transient that was reported near the center of M31, with the time of outburst estimated to be 2017 December 24.141 +/- 0.42 based on constraints from previous data. Here we present the photometric observations of M31N 2017-12a, which we confirm as a recurrence of M31N 2007-10b.


title: Smoothed Online Optimization for Regression and Control

abstract: We consider Online Convex Optimization (OCO) in the setting where the costs are $m$-strongly convex and the online learner pays a switching cost for changing decisions between rounds. We show that the recently proposed Online Balanced Descent (OBD) algorithm is constant competitive in this setting, with competitive ratio $3 + O(1/m)$, irrespective of the ambient dimension. Additionally, we show that when the sequence of cost functions is $\epsilon$-smooth, OBD has near-optimal dynamic regret and maintains strong per-round accuracy. We demonstrate the generality of our approach by showing that the OBD framework can be used to construct competitive algorithms for a variety of online problems across learning and control, including online variants of ridge regression, logistic regression, maximum likelihood estimation, and LQR control.


title: Voltage Collapse Stabilization: A Game Theory Viewpoint

abstract: Voltage collapse is a type of blackout-inducing dynamic instability that occurs when the power demand exceeds the maximum power that can be transferred through the network. The traditional (preventive) approach to avoid voltage collapse is based on ensuring that the network never reaches its maximum capacity. However, such an approach leads to inefficiencies as it prevents operators to fully utilize the network resources and does not account for unprescribed events. To overcome this limitation, this paper seeks to initiate the study of voltage collapse stabilization. More precisely, for a DC network, we formulate the problem of voltage stability as a dynamic problem where each load seeks to achieve a constant power consumption by updating its conductance as the voltage changes. We show that such a system can be interpreted as a dynamic game, where each player (load) seeks to myopically maximize their utility, and where every stable power flow solution amounts to a Local Nash Equilibrium. Using this framework, we show that voltage collapse is equivalent to the non-existence of a Local Nash Equilibrium in the game and, as a result, it is caused by the lack of cooperation between loads. Finally, we propose a Voltage Collapse Stabilizer (VCS) controller that uses (flexible) loads that are willing to cooperate and provides a fair allocation of the curtailed demand. Our solution stabilizes voltage collapse even in the presence of non-cooperative loads. Numerical simulations validate several features of our controllers.


title: A Binary Optimization Approach for Constrained K-Means Clustering

abstract: K-Means clustering still plays an important role in many computer vision problems. While the conventional Lloyd method, which alternates between centroid update and cluster assignment, is primarily used in practice, it may converge to a solution with empty clusters. Furthermore, some applications may require the clusters to satisfy a specific set of constraints, e.g., cluster sizes, must-link/cannot-link. Several methods have been introduced to solve constrained K-Means clustering. Due to the non-convex nature of K-Means, however, existing approaches may result in sub-optimal solutions that poorly approximate the true clusters. In this work, we provide a new perspective to tackle this problem. Particularly, we reconsider constrained K-Means as a Binary Optimization Problem and propose a novel optimization scheme to search for feasible solutions in the binary domain. This approach allows us to solve constrained K-Means where multiple types of constraints can be simultaneously enforced. Experimental results on synthetic and real datasets show that our method provides better clustering accuracy with faster runtime compared to several commonly used techniques.


title: Approximation of nonnegative systems by moving averages of fixed order

abstract: We pose the approximation problem for scalar nonnegative input-output systems via impulse response convolutions of finite order, i.e. finite order moving averages, based on repeated observations of input/output signal pairs. The problem is converted into a nonnegative matrix factorization with special structure for which we use Csisz\'ar's I-divergence as the criterion of optimality. Conditions are given, on the input/output data, that guarantee the existence and uniqueness of the minimum. We propose an algorithm of the alternating minimization type for I-divergence minimization, and present its asymptotic behavior. For the case of noisy observations we give the large sample properties of the statistical version of the minimization problem for different observation regimes. Numerical experiments confirm the asymptotic results and exhibit fast convergence of the proposed algorithm.


title: Local Homology of Word Embeddings

abstract: Topological data analysis (TDA) has been widely used to make progress on a number of problems. However, it seems that TDA application in natural language processing (NLP) is at its infancy. In this paper we try to bridge the gap by arguing why TDA tools are a natural choice when it comes to analysing word embedding data. We describe a parallelisable unsupervised learning algorithm based on local homology of datapoints and show some experimental results on word embedding data. We see that local homology of datapoints in word embedding data contains some information that can potentially be used to solve the word sense disambiguation problem.


title: On minimal log discrepancies and Koll\'ar components

abstract: In this article we prove a local implication of boundedness of Fano varieties. More precisely, we prove that $d$-dimensional $a$-log canonical singularities, with standard coefficients, which admit an $\epsilon$-plt blow-up have minimal log discrepancies belonging to a finite set which only depends on $d,a$ and $\epsilon$. This result gives a natural geometric stratification of the possible mld's in a fixed dimension by finite sets. As an application, we prove the ascending chain condition for minimal log discrepancies of exceptional singularities. We also introduce an invariant for klt singularities related to the total discrepancy of Koll\'ar components.


title: Bayesian Modeling of Nonlinear Poisson Regression with Artificial Neural Networks

abstract: Being in the era of big data, modeling and prediction of count data have become significantly important in many fields including health, finance, social, etc. Although linear Poisson regression has been widely used to model count and rate data, it might not be always suitable as it cannot capture some inherent variability within complex data. In this study, we introduce a probabilistically driven nonlinear Poisson regression model with Bayesian artificial neural networks (ANN) to model count or rate data. This new nonlinear Poisson regression model developed with Bayesian ANN provides higher prediction accuracies over traditional Poisson or negative binomial regression models as revealed in our simulation and real data studies.


title: Joint Transaction Transmission and Channel Selection in Cognitive Radio Based Blockchain Networks: A Deep Reinforcement Learning Approach

abstract: To ensure that the data aggregation, data storage, and data processing are all performed in a decentralized but trusted manner, we propose to use the blockchain with the mining pool to support IoT services based on cognitive radio networks. As such, the secondary user can send its sensing data, i.e., transactions, to the mining pools. After being verified by miners, the transactions are added to the blocks. However, under the dynamics of the primary channel and the uncertainty of the mempool state of the mining pool, it is challenging for the secondary user to determine an optimal transaction transmission policy. In this paper, we propose to use the deep reinforcement learning algorithm to derive an optimal transaction transmission policy for the secondary user. Specifically, we adopt a Double Deep-Q Network (DDQN) that allows the secondary user to learn the optimal policy. The simulation results clearly show that the proposed deep reinforcement learning algorithm outperforms the conventional Q-learning scheme in terms of reward and learning speed.


title: Overdensity of submillimeter galaxies around the $z\simeq 2.3$ MAMMOTH-1 nebula

abstract: In the hierarchical model of structure formation, giant elliptical galaxies form through merging processes within the highest density peaks known as protoclusters. While high-redshift radio galaxies usually pinpoint the location of these environments, we have recently discovered at z~2-3 three Enormous (>200 kpc) Lyman-Alpha Nebulae (ELANe) that host multiple AGN and that are surrounded by overdensities of Lyman-alpha Emitters (LAE). These regions are prime candidates of massive protoclusters in the early stages of assembly. To characterize the star-forming activity within these rare structures - both on ELAN and protocluster scales - we have initiated an observational campaign with the JCMT and the APEX telescopes. In this paper we report on sensitive SCUBA-2/JCMT 850 and 450 $\mu$m observations of a 128 arcmin$^2$ field comprising the ELAN MAMMOTH-1, together with the peak of the hosting BOSS1441 LAE overdensity at z=2.32. These observations unveil $4.0\pm1.3$ times higher source counts at 850 $\mu$m with respect to blank fields, likely confirming the presence of an overdensity also in obscured tracers. We find a strong detection at 850 $\mu$m associated with the continuum source embedded within the ELAN MAMMOTH-1, which - together with the available data from the literature - allow us to constrain the spectral energy distribution of this source to be of an ULIRG with a far-infrared luminosity of $L_{\rm FIR}^{\rm SF}=2.4^{+7.4}_{-2.1}\times10^{12}$ L$_{\odot}$, and hosting an obscured AGN. Such a source is thus able to power the hard photoionization plus outflow scenario depicted in Cai et al. (2017b) to explain the extended Lyman-alpha, HeII$\lambda1640$ and CIV$\lambda1549$ emission, and their kinematics. In addition, the two brightest detections at 850 $\mu$m ($f_{850}>18$ mJy) sit at the density peak of the LAEs overdensity, likely pinpointing the core of the protocluster.


title: Symmetry-Breaking of Turbulent Flow in Porous Media Composed of Periodically Arranged Solid Obstacles

abstract: Microscale turbulence in porous media is a new physical phenomenon that exhibits unique properties unlike those in classical turbulence flows. At low values of porosity, the surface forces on the solid obstacles compete with the inertial force of the fluid flow to result in the formation of flow instabilities. In this paper, we report the origin and mechanism of a symmetry-breaking phenomenon in periodic porous media that causes a deviation in the direction of the mean flow from that of the applied pressure gradient. Large Eddy Simulation (LES) is used to simulate turbulent flow in a homogeneous porous medium consisting of a periodic, square lattice arrangement of cylindrical solid obstacles. Direct Numerical Simulation (DNS) is used to simulate the transient stages during symmetry breakdown and also to validate the LES method. Quantitative and qualitative observations are made from the following approaches: (1) macroscale momentum budget, (2) 2D & 3D flow visualization. The phenomenon draws its roots from the amplification of a flow instability that emerges from the vortex shedding process. The symmetry-breaking phenomenon is a pitchfork bifurcation that can exhibit multiple modes depending on the local vortex shedding process. The phenomenon is observed to be sensitive to the porosity, solid obstacle shape, and the Reynolds number. It is a source of macroscale turbulence anisotropy in porous media for symmetric solid obstacle geometries. The resulting macroscale flow field is oriented such that it does not align with the plane of symmetry of the porous matrix geometry. The principal axis of the Reynolds stress tensor is not aligned with any of the geometric axes of symmetry, nor with the direction of flow. Thus, symmetry-breaking in porous media involves new flow physics that should be taken into consideration while modeling flow inhomogeneity in the macroscale.


title: Bistable firing pattern in a neural network model

abstract: Excessively high, neural synchronisation has been associated with epileptic seizures, one of the most common brain diseases worldwide. A better understanding of neural synchronisation mechanisms can thus help control or even treat epilepsy. In this paper, we study neural synchronisation in a random network where nodes are neurons with excitatory and inhibitory synapses, and neural activity for each node is provided by the adaptive exponential integrate-and-fire model. In this framework, we verify that the decrease in the influence of inhibition can generate synchronisation originating from a pattern of desynchronised spikes. The transition from desynchronous spikes to synchronous bursts of activity, induced by varying the synaptic coupling, emerges in a hysteresis loop due to bistability where abnormal (excessively high synchronous) regimes exist. We verify that, for parameters in the bistability regime, a square current pulse can trigger excessively high (abnormal) synchronisation, a process that can reproduce features of epileptic seizures. Then, we show that it is possible to suppress such abnormal synchronisation by applying a small-amplitude external current on less than 10% of the neurons in the network. Our results demonstrate that external electrical stimulation not only can trigger synchronous behaviour, but more importantly, it can be used as a means to reduce abnormal synchronisation and thus, control or treat effectively epileptic seizures.


title: The Unit-B Method -- Refinement Guided by Progress Concerns

abstract: We present Unit-B, a formal method inspired by Event-B and UNITY. Unit-B aims at the stepwise design of software systems satisfying safety and liveness properties. The method features the novel notion of coarse and fine schedules, a generalisation of weak and strong fairness for specifying events' scheduling assumptions. Based on events schedules, we propose proof rules to reason about progress properties and a refinement order preserving both liveness and safety properties. We illustrate our approach by an example to show that systems development can be driven by not only safety but also liveness requirements.


title: On the Reconstruction of Geodesic Subspaces of $\mathbb{R}^N$

abstract: We consider the topological and geometric reconstruction of a geodesic subspace of $\mathbb{R}^N$ both from the \v{C}ech and Vietoris-Rips filtrations on a finite, Hausdorff-close, Euclidean sample. Our reconstruction technique leverages the intrinsic length metric induced by the geodesics on the subspace. We consider the distortion and convexity radius as our sampling parameters for a successful reconstruction. For a geodesic subspace with finite distortion and positive convexity radius, we guarantee a correct computation of its homotopy and homology groups from the sample. For geodesic subspaces of $\mathbb{R}^2$, we also devise an algorithm to output a homotopy equivalent geometric complex that has a very small Hausdorff distance to the unknown shape of interest.


title: Sojourn times of Gaussian processes with trend

abstract: We derive exact tail asymptotics of sojourn time above the level $u\geq 0$ $$ \mathbb{P}\left(v(u)\int_0^T \mathbb{I}(X(t)-ct>u)d t>x\right), \quad x\geq 0 $$ as $u\to\infty$, where $X$ is a Gaussian process with continuous sample paths, $c>0$, $v(u)$ is a positive function of $u$ and $T\in (0,\infty]$. Additionally, we analyze asymptotic distributional properties of $$\tau_u(x):=\inf\left\{t\geq 0: v(u) \int_0^t \mathbb{I}(X(s)-cs>u)d s>x\right\}, $$ as $u\to\infty$, $x\geq 0$, where $\inf\emptyset=\infty$. The findings of this contribution are illustrated by a detailed analysis of a class of Gaussian processes with stationary increments and a family of self-similar processes.


title: Observation of OZI suppressed decays $\chi_{cJ}\to\omega\phi$

abstract: Decays $\chi_{cJ}~(J=0,1,2)\to\omega\phi$ are studied using $(448.1\pm2.9)\times 10^{6} ~\psi(3686)$ events collected with the BESIII detector in 2009 and 2012. In addition to the previously established $\chi_{c0}\to\omega\phi$, first observation of $\chi_{c1} \to \omega \phi$ is reported in this paper. The measured product branching fractions are ${\cal{B}}(\psi(3686)\to\gamma\chi_{c0})\times{\cal{B}}(\chi_{c0}\to\omega\phi)=(13.83\pm 0.70\pm 1.01)\times10^{-6}$ and ${\cal{B}}(\psi(3686)\to\gamma\chi_{c1})\times{\cal{B}}(\chi_{c1}\to\omega\phi)=(2.67\pm 0.31\pm 0.27)\times10^{-6}$, and the absolute branching fractions are ${\cal{B}}(\chi_{c0}\to\omega\phi)=(13.84\pm 0.70\pm 1.08)\times10^{-5}$ and ${\cal{B}}(\chi_{c1}\to\omega\phi)=(2.80\pm 0.32\pm 0.30)\times10^{-5}$. We also find a strong evidence for $\chi_{c2}\to\omega\phi$ with a statistical significance of 4.8$\sigma$, and the corresponding product and absolute branching fractions are measured to be ${\cal{B}}(\psi(3686)\to\gamma\chi_{c2})\times{\cal{B}}(\chi_{c2}\to\omega\phi)=(0.91\pm0.23\pm0.12)\times10^{-6} $ and ${\cal{B}}(\chi_{c2}\to\omega\phi)=(1.00\pm0.25\pm0.14)\times10^{-5}$. Here, the first errors are statistical and the second ones systematic.


title: FewRel: A Large-Scale Supervised Few-Shot Relation Classification Dataset with State-of-the-Art Evaluation

abstract: We present a Few-Shot Relation Classification Dataset (FewRel), consisting of 70, 000 sentences on 100 relations derived from Wikipedia and annotated by crowdworkers. The relation of each sentence is first recognized by distant supervision methods, and then filtered by crowdworkers. We adapt the most recent state-of-the-art few-shot learning methods for relation classification and conduct a thorough evaluation of these methods. Empirical results show that even the most competitive few-shot learning models struggle on this task, especially as compared with humans. We also show that a range of different reasoning skills are needed to solve our task. These results indicate that few-shot relation classification remains an open problem and still requires further research. Our detailed analysis points multiple directions for future research. All details and resources about the dataset and baselines are released on http://zhuhao.me/fewrel.


title: A Deep-Learning-Based Fashion Attributes Detection Model

abstract: Analyzing fashion attributes is essential in the fashion design process. Current fashion forecasting firms, such as WGSN utilizes information from all around the world (from fashion shows, visual merchandising, blogs, etc). They gather information by experience, by observation, by media scan, by interviews, and by exposed to new things. Such information analyzing process is called abstracting, which recognize similarities or differences across all the garments and collections. In fact, such abstraction ability is useful in many fashion careers with different purposes. Fashion forecasters abstract across design collections and across time to identify fashion change and directions; designers, product developers and buyers abstract across a group of garments and collections to develop a cohesive and visually appeal lines; sales and marketing executives abstract across product line each season to recognize selling points; fashion journalist and bloggers abstract across runway photos to recognize symbolic core concepts that can be translated into editorial features. Fashion attributes analysis for such fashion insiders requires much detailed and in-depth attributes annotation than that for consumers, and requires inference on multiple domains. In this project, we propose a data-driven approach for recognizing fashion attributes. Specifically, a modified version of Faster R-CNN model is trained on images from a large-scale localization dataset with 594 fine-grained attributes under different scenarios, for example in online stores and street snapshots. This model will then be used to detect garment items and classify clothing attributes for runway photos and fashion illustrations.


title: Recursive Utility Processes, Dynamic Risk Measures and Quadratic Backward Stochastic Volterra Integral Equations

abstract: For an $\cF_T$-measurable payoff of a European type contingent claim, the recursive utility process/dynamic risk measure can be described by the adapted solution to a backward stochastic differential equation (BSDE). However, for an $\cF_T$-measurable stochastic process (called a position process, not necessarily $\dbF$-adapted), mimicking BSDE's approach will lead to a time-inconsistent recursive utility/dynamic risk measure. It is found that a more proper approach is to use the adapted solution to a backward stochastic Volterra integral equation (BSVIE). The corresponding notions are called equilibrium recursive utility and equilibrium dynamic risk measure, respectively. Motivated by this, the current paper is concerned with BSVIEs whose generators are allowed to have quadratic growth (in $Z(t,s)$). The existence and uniqueness for both the so-called adapted solutions and adapted M-solutions are established. A comparison theorem for adapted solutions to the so-called Type-I BSVIEs is established as well. As consequences of these results, some general continuous-time equilibrium dynamic risk measures and equilibrium recursive utility processes are constructed.


title: Stringy Hirzebruch classes of Weierstrass fibrations

abstract: A Weierstrass fibration is an elliptic fibration $Y\to B$ whose total space $Y$ may be given by a global Weierstrass equation in a $\mathbb{P}^2$-bundle over $B$. In this note, we compute stringy Hirzebruch classes of singular Weierstrass fibrations associated with constructing non-Abelian gauge theories in $F$-theory. For each Weierstrass fibration $Y\to B$ we then derive a generating function $\chi^{\text{str}}_y(Y;t)$, whose degree-$d$ coefficient encodes the stringy $\chi_y$-genus of $Y\to B$ over an unspecified base of dimension $d$, solely in terms of invariants of the base. To facilitate our computations, we prove a formula for general characteristic classes of blowups along (possibly singular) complete intersections.